runsolver Copyright (C) 2010 Olivier ROUSSEL This is runsolver version 3.2.9a (svn: 651) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: /home/misc2010/bin/runsolver -s SIGUSR1 -M 1124 -C 290 -d 10 -w /home/misc2010/tmp/201108251442/gj-paranoid-solver-1.0/rand105.cudf.user-upgrades.log.runsolver ./gj-paranoid-solver-1.0 /home/misc2010/data/2011/user-upgrades/rand105.cudf /home/misc2010/tmp/201108251442/gj-paranoid-solver-1.0/rand105.cudf.user-upgrades.result Enforcing CPUTime limit (soft limit, will send signal-name then SIGKILL): 290 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 320 seconds Enforcing VSIZE limit (soft limit, will send signal-name then SIGKILL): 1150976 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1202176 KiB Current StackSize limit: 8192 KiB [startup+0 s] /proc/loadavg: 1.53 1.14 0.75 5/34 6169 /proc/meminfo: memFree=311360/1048576 swapFree=0/0 [pid=6168] ppid=6167 vsize=2576 CPUtime=0 /proc/6168/stat : 6168 (gj-paranoid-sol) R 6167 6168 4778 34817 4778 4202496 355 0 0 0 0 0 0 0 25 0 1 0 10055329 2637824 269 1283457024 134512640 135304128 4287533824 18446744073709551615 4294960130 0 65538 4 65536 0 0 0 17 0 0 0 0 /proc/6168/statm: 644 269 228 194 0 31 0 [pid=6169] ppid=6168 vsize=2576 CPUtime=0 /proc/6169/stat : 6169 (gj-paranoid-sol) R 6168 6168 4778 34817 4778 4202560 0 0 0 0 0 0 0 0 25 0 1 0 10055329 2637824 41 1283457024 134512640 135304128 4287533824 18446744073709551615 4294960130 0 65538 4 65536 0 0 0 17 0 0 0 0 /proc/6169/statm: 644 41 0 194 0 31 0 [startup+0.106092 s] /proc/loadavg: 1.53 1.14 0.75 5/34 6169 /proc/meminfo: memFree=311360/1048576 swapFree=0/0 [pid=6168] ppid=6167 vsize=2576 CPUtime=0 /proc/6168/stat : 6168 (gj-paranoid-sol) S 6167 6168 4778 34817 4778 4202496 373 0 0 0 0 0 0 0 25 0 1 0 10055329 2637824 270 1283457024 134512640 135304128 4287533824 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/6168/statm: 644 270 229 194 0 31 0 [pid=6169] ppid=6168 vsize=409932 CPUtime=0.11 /proc/6169/stat : 6169 (java) S 6168 6168 4778 34817 4778 4202496 3861 0 1 0 9 2 0 0 25 0 9 0 10055329 419770368 3287 1283457024 134512640 134550932 4294910288 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/6169/statm: 102483 3287 1925 10 0 96631 0 Current children cumulated CPU time (s) 0.11 Current children cumulated vsize (KiB) 412508 [startup+0.206092 s] /proc/loadavg: 1.53 1.14 0.75 5/34 6169 /proc/meminfo: memFree=311360/1048576 swapFree=0/0 [pid=6168] ppid=6167 vsize=2576 CPUtime=0 /proc/6168/stat : 6168 (gj-paranoid-sol) S 6167 6168 4778 34817 4778 4202496 373 0 0 0 0 0 0 0 25 0 1 0 10055329 2637824 270 1283457024 134512640 135304128 4287533824 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/6168/statm: 644 270 229 194 0 31 0 [pid=6169] ppid=6168 vsize=409932 CPUtime=0.21 /proc/6169/stat : 6169 (java) S 6168 6168 4778 34817 4778 4202496 4094 0 1 0 19 2 0 0 25 0 9 0 10055329 419770368 3520 1283457024 134512640 134550932 4294910288 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/6169/statm: 102483 3520 1925 10 0 96631 0 Current children cumulated CPU time (s) 0.21 Current children cumulated vsize (KiB) 412508 [startup+0.306106 s] /proc/loadavg: 1.53 1.14 0.75 5/34 6169 /proc/meminfo: memFree=311360/1048576 swapFree=0/0 [pid=6168] ppid=6167 vsize=2576 CPUtime=0 /proc/6168/stat : 6168 (gj-paranoid-sol) S 6167 6168 4778 34817 4778 4202496 373 0 0 0 0 0 0 0 25 0 1 0 10055329 2637824 270 1283457024 134512640 135304128 4287533824 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/6168/statm: 644 270 229 194 0 31 0 [pid=6169] ppid=6168 vsize=410348 CPUtime=0.31 /proc/6169/stat : 6169 (java) S 6168 6168 4778 34817 4778 4202496 4446 0 1 0 29 2 0 0 25 0 9 0 10055329 420196352 3872 1283457024 134512640 134550932 4294910288 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/6169/statm: 102587 3872 1944 10 0 96735 0 Current children cumulated CPU time (s) 0.31 Current children cumulated vsize (KiB) 412924 [startup+0.706174 s] /proc/loadavg: 1.53 1.14 0.75 5/34 6169 /proc/meminfo: memFree=311360/1048576 swapFree=0/0 [pid=6168] ppid=6167 vsize=2576 CPUtime=0 /proc/6168/stat : 6168 (gj-paranoid-sol) S 6167 6168 4778 34817 4778 4202496 373 0 0 0 0 0 0 0 25 0 1 0 10055329 2637824 270 1283457024 134512640 135304128 4287533824 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/6168/statm: 644 270 229 194 0 31 0 [pid=6169] ppid=6168 vsize=410620 CPUtime=0.71 /proc/6169/stat : 6169 (java) S 6168 6168 4778 34817 4778 4202496 12027 0 1 0 65 6 0 0 25 0 9 0 10055329 420474880 11266 1283457024 134512640 134550932 4294910288 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/6169/statm: 102655 11266 2901 10 0 96803 0 Current children cumulated CPU time (s) 0.71 Current children cumulated vsize (KiB) 413196 [startup+1.50629 s] /proc/loadavg: 1.53 1.14 0.75 2/43 6178 /proc/meminfo: memFree=253120/1048576 swapFree=0/0 [pid=6168] ppid=6167 vsize=2576 CPUtime=0 /proc/6168/stat : 6168 (gj-paranoid-sol) S 6167 6168 4778 34817 4778 4202496 373 0 0 0 0 0 0 0 25 0 1 0 10055329 2637824 270 1283457024 134512640 135304128 4287533824 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/6168/statm: 644 270 229 194 0 31 0 [pid=6169] ppid=6168 vsize=410752 CPUtime=1.5 /proc/6169/stat : 6169 (java) S 6168 6168 4778 34817 4778 4202496 27126 0 1 0 136 14 0 0 25 0 9 0 10055329 420610048 26365 1283457024 134512640 134550932 4294910288 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/6169/statm: 102688 26365 2901 10 0 96836 0 [pid=6169/tid=6171] ppid=6168 vsize=410752 CPUtime=0.81 /proc/6169/task/6171/stat : 6171 (java) R 6168 6168 4778 34817 4778 4202560 6703 0 1 0 79 2 0 0 25 0 9 0 10055329 420610048 26365 1283457024 134512640 134550932 4294910288 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=6169/tid=6172] ppid=6168 vsize=410752 CPUtime=0.63 /proc/6169/task/6172/stat : 6172 (java) R 6168 6168 4778 34817 4778 4202560 19030 0 0 0 52 11 0 0 18 0 9 0 10055330 420610048 26365 1283457024 134512640 134550932 4294910288 18446744073709551615 4153301413 0 0 0 16800975 0 0 0 -1 0 0 0 0 [pid=6169/tid=6173] ppid=6168 vsize=410752 CPUtime=0 /proc/6169/task/6173/stat : 6173 (java) S 6168 6168 4778 34817 4778 4202560 15 0 0 0 0 0 0 0 20 0 9 0 10055330 420610048 26365 1283457024 134512640 134550932 4294910288 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0 [pid=6169/tid=6174] ppid=6168 vsize=410752 CPUtime=0 /proc/6169/task/6174/stat : 6174 (java) S 6168 6168 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 20 0 9 0 10055330 420610048 26365 1283457024 134512640 134550932 4294910288 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0 [pid=6169/tid=6175] ppid=6168 vsize=410752 CPUtime=0 /proc/6169/task/6175/stat : 6175 (java) S 6168 6168 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 9 0 10055331 420610048 26365 1283457024 134512640 134550932 4294910288 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0 [pid=6169/tid=6176] ppid=6168 vsize=410752 CPUtime=0.04 /proc/6169/task/6176/stat : 6176 (java) S 6168 6168 4778 34817 4778 4202560 450 0 0 0 4 0 0 0 16 0 9 0 10055331 420610048 26365 1283457024 134512640 134550932 4294910288 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0 [pid=6169/tid=6177] ppid=6168 vsize=410752 CPUtime=0 /proc/6169/task/6177/stat : 6177 (java) S 6168 6168 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 9 0 10055331 420610048 26365 1283457024 134512640 134550932 4294910288 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0 [pid=6169/tid=6178] ppid=6168 vsize=410752 CPUtime=0 /proc/6169/task/6178/stat : 6178 (java) S 6168 6168 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 15 0 9 0 10055332 420610048 26365 1283457024 134512640 134550932 4294910288 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1.5 Current children cumulated vsize (KiB) 413328 [startup+3.10688 s] /proc/loadavg: 1.53 1.14 0.75 2/43 6178 /proc/meminfo: memFree=181324/1048576 swapFree=0/0 [pid=6168] ppid=6167 vsize=2576 CPUtime=0 /proc/6168/stat : 6168 (gj-paranoid-sol) S 6167 6168 4778 34817 4778 4202496 373 0 0 0 0 0 0 0 25 0 1 0 10055329 2637824 270 1283457024 134512640 135304128 4287533824 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/6168/statm: 644 270 229 194 0 31 0 [pid=6169] ppid=6168 vsize=410884 CPUtime=3.1 /proc/6169/stat : 6169 (java) S 6168 6168 4778 34817 4778 4202496 50647 0 1 0 293 17 0 0 25 0 9 0 10055329 420745216 49886 1283457024 134512640 134550932 4294910288 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/6169/statm: 102721 49886 2901 10 0 96869 0 [pid=6169/tid=6171] ppid=6168 vsize=410884 CPUtime=1.42 /proc/6169/task/6171/stat : 6171 (java) R 6168 6168 4778 34817 4778 4202560 13856 0 1 0 138 4 0 0 25 0 9 0 10055329 420745216 49886 1283457024 134512640 134550932 4294910288 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=6169/tid=6172] ppid=6168 vsize=410884 CPUtime=1.61 /proc/6169/task/6172/stat : 6172 (java) R 6168 6168 4778 34817 4778 4202560 35395 0 0 0 150 11 0 0 16 0 9 0 10055330 420745216 49886 1283457024 134512640 134550932 4294910288 18446744073709551615 4151184382 0 0 0 16800975 0 0 0 -1 0 0 0 0 [pid=6169/tid=6173] ppid=6168 vsize=410884 CPUtime=0 /proc/6169/task/6173/stat : 6173 (java) S 6168 6168 4778 34817 4778 4202560 15 0 0 0 0 0 0 0 20 0 9 0 10055330 420745216 49886 1283457024 134512640 134550932 4294910288 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0 [pid=6169/tid=6174] ppid=6168 vsize=410884 CPUtime=0 /proc/6169/task/6174/stat : 6174 (java) S 6168 6168 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 20 0 9 0 10055330 420745216 49886 1283457024 134512640 134550932 4294910288 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0 [pid=6169/tid=6175] ppid=6168 vsize=410884 CPUtime=0 /proc/6169/task/6175/stat : 6175 (java) S 6168 6168 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 9 0 10055331 420745216 49886 1283457024 134512640 134550932 4294910288 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0 [pid=6169/tid=6176] ppid=6168 vsize=410884 CPUtime=0.05 /proc/6169/task/6176/stat : 6176 (java) S 6168 6168 4778 34817 4778 4202560 453 0 0 0 5 0 0 0 15 0 9 0 10055331 420745216 49886 1283457024 134512640 134550932 4294910288 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0 [pid=6169/tid=6177] ppid=6168 vsize=410884 CPUtime=0 /proc/6169/task/6177/stat : 6177 (java) S 6168 6168 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 9 0 10055331 420745216 49886 1283457024 134512640 134550932 4294910288 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0 [pid=6169/tid=6178] ppid=6168 vsize=410884 CPUtime=0 /proc/6169/task/6178/stat : 6178 (java) S 6168 6168 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 15 0 9 0 10055332 420745216 49886 1283457024 134512640 134550932 4294910288 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 3.1 Current children cumulated vsize (KiB) 413460 [startup+6.30783 s] /proc/loadavg: 1.64 1.17 0.77 2/43 6178 /proc/meminfo: memFree=44428/1048576 swapFree=0/0 [pid=6168] ppid=6167 vsize=2576 CPUtime=0 /proc/6168/stat : 6168 (gj-paranoid-sol) S 6167 6168 4778 34817 4778 4202496 373 0 0 0 0 0 0 0 25 0 1 0 10055329 2637824 270 1283457024 134512640 135304128 4287533824 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/6168/statm: 644 270 229 194 0 31 0 [pid=6169] ppid=6168 vsize=439924 CPUtime=6.3 /proc/6169/stat : 6169 (java) S 6168 6168 4778 34817 4778 4202496 78235 0 1 0 605 25 0 0 25 0 9 0 10055329 450482176 77468 1283457024 134512640 134550932 4294910288 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/6169/statm: 109981 77468 2902 10 0 104129 0 [pid=6169/tid=6171] ppid=6168 vsize=439924 CPUtime=2.3 /proc/6169/task/6171/stat : 6171 (java) R 6168 6168 4778 34817 4778 4202560 13873 0 1 0 225 5 0 0 25 0 9 0 10055329 450482176 77468 1283457024 134512640 134550932 4294910288 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=6169/tid=6172] ppid=6168 vsize=439924 CPUtime=3.91 /proc/6169/task/6172/stat : 6172 (java) R 6168 6168 4778 34817 4778 4202560 62948 0 0 0 373 18 0 0 16 0 9 0 10055330 450482176 77468 1283457024 134512640 134550932 4294910288 18446744073709551615 4152678939 0 0 0 16800975 0 0 0 -1 0 0 0 0 [pid=6169/tid=6173] ppid=6168 vsize=439924 CPUtime=0 /proc/6169/task/6173/stat : 6173 (java) S 6168 6168 4778 34817 4778 4202560 15 0 0 0 0 0 0 0 20 0 9 0 10055330 450482176 77468 1283457024 134512640 134550932 4294910288 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0 [pid=6169/tid=6174] ppid=6168 vsize=439924 CPUtime=0 /proc/6169/task/6174/stat : 6174 (java) S 6168 6168 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 20 0 9 0 10055330 450482176 77468 1283457024 134512640 134550932 4294910288 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0 [pid=6169/tid=6175] ppid=6168 vsize=439924 CPUtime=0 /proc/6169/task/6175/stat : 6175 (java) S 6168 6168 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 9 0 10055331 450482176 77468 1283457024 134512640 134550932 4294910288 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0 [pid=6169/tid=6176] ppid=6168 vsize=439924 CPUtime=0.06 /proc/6169/task/6176/stat : 6176 (java) S 6168 6168 4778 34817 4778 4202560 471 0 0 0 6 0 0 0 15 0 9 0 10055331 450482176 77468 1283457024 134512640 134550932 4294910288 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0 [pid=6169/tid=6177] ppid=6168 vsize=439924 CPUtime=0 /proc/6169/task/6177/stat : 6177 (java) S 6168 6168 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 9 0 10055331 450482176 77468 1283457024 134512640 134550932 4294910288 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0 [pid=6169/tid=6178] ppid=6168 vsize=439924 CPUtime=0 /proc/6169/task/6178/stat : 6178 (java) S 6168 6168 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 15 0 9 0 10055332 450482176 77468 1283457024 134512640 134550932 4294910288 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 6.3 Current children cumulated vsize (KiB) 442500 Solver just ended. Dumping a history of the last processes samples [startup+6.40783 s] /proc/loadavg: 1.64 1.17 0.77 2/43 6178 /proc/meminfo: memFree=44428/1048576 swapFree=0/0 [pid=6168] ppid=6167 vsize=2576 CPUtime=0 /proc/6168/stat : 6168 (gj-paranoid-sol) S 6167 6168 4778 34817 4778 4202496 373 0 0 0 0 0 0 0 25 0 1 0 10055329 2637824 270 1283457024 134512640 135304128 4287533824 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/6168/statm: 644 270 229 194 0 31 0 [pid=6169] ppid=6168 vsize=439924 CPUtime=6.4 /proc/6169/stat : 6169 (java) S 6168 6168 4778 34817 4778 4202496 78235 0 1 0 615 25 0 0 25 0 9 0 10055329 450482176 77468 1283457024 134512640 134550932 4294910288 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/6169/statm: 109981 77468 2902 10 0 104129 0 [pid=6169/tid=6171] ppid=6168 vsize=439924 CPUtime=2.3 /proc/6169/task/6171/stat : 6171 (java) R 6168 6168 4778 34817 4778 4202560 13873 0 1 0 225 5 0 0 25 0 9 0 10055329 450482176 77468 1283457024 134512640 134550932 4294910288 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=6169/tid=6172] ppid=6168 vsize=439924 CPUtime=4.01 /proc/6169/task/6172/stat : 6172 (java) R 6168 6168 4778 34817 4778 4202560 62948 0 0 0 383 18 0 0 16 0 9 0 10055330 450482176 77468 1283457024 134512640 134550932 4294910288 18446744073709551615 4151579266 0 0 0 16800975 0 0 0 -1 0 0 0 0 [pid=6169/tid=6173] ppid=6168 vsize=439924 CPUtime=0 /proc/6169/task/6173/stat : 6173 (java) S 6168 6168 4778 34817 4778 4202560 15 0 0 0 0 0 0 0 20 0 9 0 10055330 450482176 77468 1283457024 134512640 134550932 4294910288 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0 [pid=6169/tid=6174] ppid=6168 vsize=439924 CPUtime=0 /proc/6169/task/6174/stat : 6174 (java) S 6168 6168 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 20 0 9 0 10055330 450482176 77468 1283457024 134512640 134550932 4294910288 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0 [pid=6169/tid=6175] ppid=6168 vsize=439924 CPUtime=0 /proc/6169/task/6175/stat : 6175 (java) S 6168 6168 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 9 0 10055331 450482176 77468 1283457024 134512640 134550932 4294910288 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0 [pid=6169/tid=6176] ppid=6168 vsize=439924 CPUtime=0.06 /proc/6169/task/6176/stat : 6176 (java) S 6168 6168 4778 34817 4778 4202560 471 0 0 0 6 0 0 0 15 0 9 0 10055331 450482176 77468 1283457024 134512640 134550932 4294910288 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0 [pid=6169/tid=6177] ppid=6168 vsize=439924 CPUtime=0 /proc/6169/task/6177/stat : 6177 (java) S 6168 6168 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 9 0 10055331 450482176 77468 1283457024 134512640 134550932 4294910288 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0 [pid=6169/tid=6178] ppid=6168 vsize=439924 CPUtime=0 /proc/6169/task/6178/stat : 6178 (java) S 6168 6168 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 15 0 9 0 10055332 450482176 77468 1283457024 134512640 134550932 4294910288 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 6.4 Current children cumulated vsize (KiB) 442500 [startup+9.51083 s] /proc/loadavg: 1.67 1.18 0.77 3/43 6178 /proc/meminfo: memFree=11948/1048576 swapFree=0/0 [pid=6168] ppid=6167 vsize=2576 CPUtime=0 /proc/6168/stat : 6168 (gj-paranoid-sol) S 6167 6168 4778 34817 4778 4202496 373 0 0 0 0 0 0 0 25 0 1 0 10055329 2637824 270 1283457024 134512640 135304128 4287533824 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/6168/statm: 644 270 229 194 0 31 0 [pid=6169] ppid=6168 vsize=411424 CPUtime=9.52 /proc/6169/stat : 6169 (java) S 6168 6168 4778 34817 4778 4202496 92735 0 1 0 921 31 0 0 25 0 9 0 10055329 421298176 70533 1283457024 134512640 134550932 4294910288 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/6169/statm: 102856 70533 2916 10 0 97001 0 [pid=6169/tid=6171] ppid=6168 vsize=411424 CPUtime=2.79 /proc/6169/task/6171/stat : 6171 (java) R 6168 6168 4778 34817 4778 4202560 14101 0 1 0 274 5 0 0 25 0 9 0 10055329 421298176 70533 1283457024 134512640 134550932 4294910288 18446744073709551615 4115711971 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=6169/tid=6172] ppid=6168 vsize=411424 CPUtime=6.62 /proc/6169/task/6172/stat : 6172 (java) S 6168 6168 4778 34817 4778 4202560 77199 0 0 0 638 24 0 0 17 0 9 0 10055330 421298176 70533 1283457024 134512640 134550932 4294910288 18446744073709551615 4294960130 0 0 0 16800975 18446612133155121344 0 0 -1 0 0 0 0 [pid=6169/tid=6173] ppid=6168 vsize=411424 CPUtime=0 /proc/6169/task/6173/stat : 6173 (java) S 6168 6168 4778 34817 4778 4202560 15 0 0 0 0 0 0 0 18 0 9 0 10055330 421298176 70533 1283457024 134512640 134550932 4294910288 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0 [pid=6169/tid=6174] ppid=6168 vsize=411424 CPUtime=0 /proc/6169/task/6174/stat : 6174 (java) S 6168 6168 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 18 0 9 0 10055330 421298176 70533 1283457024 134512640 134550932 4294910288 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0 [pid=6169/tid=6175] ppid=6168 vsize=411424 CPUtime=0 /proc/6169/task/6175/stat : 6175 (java) S 6168 6168 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 9 0 10055331 421298176 70533 1283457024 134512640 134550932 4294910288 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0 [pid=6169/tid=6176] ppid=6168 vsize=411424 CPUtime=0.08 /proc/6169/task/6176/stat : 6176 (java) S 6168 6168 4778 34817 4778 4202560 492 0 0 0 8 0 0 0 15 0 9 0 10055331 421298176 70533 1283457024 134512640 134550932 4294910288 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0 [pid=6169/tid=6177] ppid=6168 vsize=411424 CPUtime=0 /proc/6169/task/6177/stat : 6177 (java) S 6168 6168 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 9 0 10055331 421298176 70533 1283457024 134512640 134550932 4294910288 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0 [pid=6169/tid=6178] ppid=6168 vsize=411424 CPUtime=0 /proc/6169/task/6178/stat : 6178 (java) S 6168 6168 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 15 0 9 0 10055332 421298176 70533 1283457024 134512640 134550932 4294910288 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 9.52 Current children cumulated vsize (KiB) 414000 [startup+11.1115 s] /proc/loadavg: 1.67 1.18 0.77 3/44 6179 /proc/meminfo: memFree=39592/1048576 swapFree=0/0 [pid=6168] ppid=6167 vsize=2576 CPUtime=0 /proc/6168/stat : 6168 (gj-paranoid-sol) S 6167 6168 4778 34817 4778 4202496 373 0 0 0 0 0 0 0 25 0 1 0 10055329 2637824 270 1283457024 134512640 135304128 4287533824 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/6168/statm: 644 270 229 194 0 31 0 [pid=6169] ppid=6168 vsize=411748 CPUtime=11.12 /proc/6169/stat : 6169 (java) S 6168 6168 4778 34817 4778 4202496 92803 0 1 0 1081 31 0 0 25 0 10 0 10055329 421629952 70597 1283457024 134512640 134550932 4294910288 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/6169/statm: 102937 70597 2917 10 0 97082 0 [pid=6169/tid=6171] ppid=6168 vsize=411748 CPUtime=4.02 /proc/6169/task/6171/stat : 6171 (java) R 6168 6168 4778 34817 4778 4202560 14125 0 1 0 397 5 0 0 25 0 10 0 10055329 421629952 70597 1283457024 134512640 134550932 4294910288 18446744073709551615 4115736605 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=6169/tid=6172] ppid=6168 vsize=411748 CPUtime=6.92 /proc/6169/task/6172/stat : 6172 (java) S 6168 6168 4778 34817 4778 4202560 77199 0 0 0 668 24 0 0 16 0 10 0 10055330 421629952 70597 1283457024 134512640 134550932 4294910288 18446744073709551615 4294960130 0 0 0 16800975 18446612133155121344 0 0 -1 0 0 0 0 [pid=6169/tid=6173] ppid=6168 vsize=411748 CPUtime=0 /proc/6169/task/6173/stat : 6173 (java) S 6168 6168 4778 34817 4778 4202560 15 0 0 0 0 0 0 0 18 0 10 0 10055330 421629952 70597 1283457024 134512640 134550932 4294910288 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0 [pid=6169/tid=6174] ppid=6168 vsize=411748 CPUtime=0 /proc/6169/task/6174/stat : 6174 (java) S 6168 6168 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 18 0 10 0 10055330 421629952 70597 1283457024 134512640 134550932 4294910288 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0 [pid=6169/tid=6175] ppid=6168 vsize=411748 CPUtime=0 /proc/6169/task/6175/stat : 6175 (java) S 6168 6168 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 10 0 10055331 421629952 70597 1283457024 134512640 134550932 4294910288 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0 [pid=6169/tid=6176] ppid=6168 vsize=411748 CPUtime=0.15 /proc/6169/task/6176/stat : 6176 (java) S 6168 6168 4778 34817 4778 4202560 531 0 0 0 15 0 0 0 15 0 10 0 10055331 421629952 70597 1283457024 134512640 134550932 4294910288 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0 [pid=6169/tid=6177] ppid=6168 vsize=411748 CPUtime=0 /proc/6169/task/6177/stat : 6177 (java) S 6168 6168 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 10 0 10055331 421629952 70597 1283457024 134512640 134550932 4294910288 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0 [pid=6169/tid=6178] ppid=6168 vsize=411748 CPUtime=0 /proc/6169/task/6178/stat : 6178 (java) S 6168 6168 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 15 0 10 0 10055332 421629952 70597 1283457024 134512640 134550932 4294910288 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0 [pid=6169/tid=6179] ppid=6168 vsize=411748 CPUtime=0 /proc/6169/task/6179/stat : 6179 (java) S 6168 6168 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 25 0 10 0 10056317 421629952 70597 1283457024 134512640 134550932 4294910288 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 11.12 Current children cumulated vsize (KiB) 414324 [startup+11.5116 s] /proc/loadavg: 1.67 1.18 0.77 3/44 6179 /proc/meminfo: memFree=39592/1048576 swapFree=0/0 [pid=6168] ppid=6167 vsize=2576 CPUtime=0 /proc/6168/stat : 6168 (gj-paranoid-sol) S 6167 6168 4778 34817 4778 4202496 373 0 0 0 0 0 0 0 25 0 1 0 10055329 2637824 270 1283457024 134512640 135304128 4287533824 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/6168/statm: 644 270 229 194 0 31 0 [pid=6169] ppid=6168 vsize=411748 CPUtime=11.52 /proc/6169/stat : 6169 (java) S 6168 6168 4778 34817 4778 4202496 92804 0 1 0 1121 31 0 0 25 0 10 0 10055329 421629952 70598 1283457024 134512640 134550932 4294910288 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/6169/statm: 102937 70598 2917 10 0 97082 0 [pid=6169/tid=6171] ppid=6168 vsize=411748 CPUtime=4.42 /proc/6169/task/6171/stat : 6171 (java) R 6168 6168 4778 34817 4778 4202560 14125 0 1 0 437 5 0 0 25 0 10 0 10055329 421629952 70598 1283457024 134512640 134550932 4294910288 18446744073709551615 4115735287 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=6169/tid=6172] ppid=6168 vsize=411748 CPUtime=6.92 /proc/6169/task/6172/stat : 6172 (java) S 6168 6168 4778 34817 4778 4202560 77199 0 0 0 668 24 0 0 16 0 10 0 10055330 421629952 70598 1283457024 134512640 134550932 4294910288 18446744073709551615 4294960130 0 0 0 16800975 18446612133155121344 0 0 -1 0 0 0 0 [pid=6169/tid=6173] ppid=6168 vsize=411748 CPUtime=0 /proc/6169/task/6173/stat : 6173 (java) S 6168 6168 4778 34817 4778 4202560 15 0 0 0 0 0 0 0 18 0 10 0 10055330 421629952 70598 1283457024 134512640 134550932 4294910288 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0 [pid=6169/tid=6174] ppid=6168 vsize=411748 CPUtime=0 /proc/6169/task/6174/stat : 6174 (java) S 6168 6168 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 18 0 10 0 10055330 421629952 70598 1283457024 134512640 134550932 4294910288 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0 [pid=6169/tid=6175] ppid=6168 vsize=411748 CPUtime=0 /proc/6169/task/6175/stat : 6175 (java) S 6168 6168 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 10 0 10055331 421629952 70598 1283457024 134512640 134550932 4294910288 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0 [pid=6169/tid=6176] ppid=6168 vsize=411748 CPUtime=0.15 /proc/6169/task/6176/stat : 6176 (java) S 6168 6168 4778 34817 4778 4202560 532 0 0 0 15 0 0 0 15 0 10 0 10055331 421629952 70598 1283457024 134512640 134550932 4294910288 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0 [pid=6169/tid=6177] ppid=6168 vsize=411748 CPUtime=0 /proc/6169/task/6177/stat : 6177 (java) S 6168 6168 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 10 0 10055331 421629952 70598 1283457024 134512640 134550932 4294910288 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0 [pid=6169/tid=6178] ppid=6168 vsize=411748 CPUtime=0 /proc/6169/task/6178/stat : 6178 (java) R 6168 6168 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 15 0 10 0 10055332 421629952 70598 1283457024 134512640 134550932 4294910288 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=6169/tid=6179] ppid=6168 vsize=411748 CPUtime=0 /proc/6169/task/6179/stat : 6179 (java) S 6168 6168 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 25 0 10 0 10056317 421629952 70598 1283457024 134512640 134550932 4294910288 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 11.52 Current children cumulated vsize (KiB) 414324 [startup+11.9145 s] /proc/loadavg: 1.67 1.18 0.77 3/44 6179 /proc/meminfo: memFree=39592/1048576 swapFree=0/0 [pid=6168] ppid=6167 vsize=2576 CPUtime=0 /proc/6168/stat : 6168 (gj-paranoid-sol) S 6167 6168 4778 34817 4778 4202496 373 0 0 0 0 0 0 0 25 0 1 0 10055329 2637824 270 1283457024 134512640 135304128 4287533824 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/6168/statm: 644 270 229 194 0 31 0 [pid=6169] ppid=6168 vsize=411748 CPUtime=11.92 /proc/6169/stat : 6169 (java) S 6168 6168 4778 34817 4778 4202496 92809 0 1 0 1161 31 0 0 25 0 9 0 10055329 421629952 70603 1283457024 134512640 134550932 4294910288 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/6169/statm: 102937 70603 2920 10 0 97082 0 [pid=6169/tid=6171] ppid=6168 vsize=411748 CPUtime=4.77 /proc/6169/task/6171/stat : 6171 (java) R 6168 6168 4778 34817 4778 4202560 14125 0 1 0 472 5 0 0 25 0 9 0 10055329 421629952 70603 1283457024 134512640 134550932 4294910288 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=6169/tid=6172] ppid=6168 vsize=411748 CPUtime=6.96 /proc/6169/task/6172/stat : 6172 (java) S 6168 6168 4778 34817 4778 4202560 77201 0 0 0 672 24 0 0 15 0 9 0 10055330 421629952 70603 1283457024 134512640 134550932 4294910288 18446744073709551615 4294960130 0 0 0 16800975 18446612133155121344 0 0 -1 0 0 0 0 [pid=6169/tid=6173] ppid=6168 vsize=411748 CPUtime=0 /proc/6169/task/6173/stat : 6173 (java) S 6168 6168 4778 34817 4778 4202560 15 0 0 0 0 0 0 0 18 0 9 0 10055330 421629952 70603 1283457024 134512640 134550932 4294910288 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0 [pid=6169/tid=6174] ppid=6168 vsize=411748 CPUtime=0 /proc/6169/task/6174/stat : 6174 (java) S 6168 6168 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 18 0 9 0 10055330 421629952 70603 1283457024 134512640 134550932 4294910288 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0 [pid=6169/tid=6175] ppid=6168 vsize=411748 CPUtime=0 /proc/6169/task/6175/stat : 6175 (java) S 6168 6168 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 9 0 10055331 421629952 70603 1283457024 134512640 134550932 4294910288 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0 [pid=6169/tid=6176] ppid=6168 vsize=411748 CPUtime=0.16 /proc/6169/task/6176/stat : 6176 (java) S 6168 6168 4778 34817 4778 4202560 534 0 0 0 16 0 0 0 15 0 9 0 10055331 421629952 70603 1283457024 134512640 134550932 4294910288 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0 [pid=6169/tid=6177] ppid=6168 vsize=411748 CPUtime=0 /proc/6169/task/6177/stat : 6177 (java) S 6168 6168 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 9 0 10055331 421629952 70603 1283457024 134512640 134550932 4294910288 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0 [pid=6169/tid=6178] ppid=6168 vsize=411748 CPUtime=0 /proc/6169/task/6178/stat : 6178 (java) S 6168 6168 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 15 0 9 0 10055332 421629952 70603 1283457024 134512640 134550932 4294910288 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 11.92 Current children cumulated vsize (KiB) 414324 Child status: 0 Real time (s): 11.9454 CPU time (s): 11.9447 CPU user time (s): 11.6127 CPU system time (s): 0.33202 CPU usage (%): 99.9942 Max. virtual memory (cumulated for all children) (KiB): 442500 getrusage(RUSAGE_CHILDREN,...) data: user time used= 11.6127 system time used= 0.33202 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 93197 page faults= 1 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 933 involuntary context switches= 1031 runsolver used 0 second user time and 0 second system time The end