runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
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: BIN/runsolver --timestamp -w /tmp/evaluation-result-3481864-1307576923/watcher-3481864-1307576923 -o /tmp/evaluation-result-3481864-1307576923/solver-3481864-1307576923 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3481864-1307576923.opb -seed 583250182 -budget 1800
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.07 1.80 0.94 2/600 18325
/proc/meminfo: memFree=27052664/32950928 swapFree=38525204/67111528
[pid=18325] ppid=18323 vsize=16240 CPUtime=0 cores=0,2,4,6
/proc/18325/stat : 18325 (python) S 18323 18325 17436 0 -1 4202496 1000 0 0 0 0 0 0 0 25 0 1 0 869292096 16629760 873 33554432000 4194304 5683644 140733612917536 18446744073709551615 208080230400 0 2147483391 16781312 2 18446744071699207358 0 0 17 2 0 0 0
/proc/18325/statm: 4060 873 371 364 0 547 0
[startup+0.042653 s]
/proc/loadavg: 2.07 1.80 0.94 2/600 18325
/proc/meminfo: memFree=27052664/32950928 swapFree=38525204/67111528
[pid=18325] ppid=18323 vsize=18888 CPUtime=0.02 cores=0,2,4,6
/proc/18325/stat : 18325 (python) R 18323 18325 17436 0 -1 4202496 1284 0 0 0 2 0 0 0 25 0 1 0 869292096 19341312 1137 33554432000 4194304 5683644 140733612917536 18446744073709551615 4865422 0 0 16781312 2 0 0 0 17 6 0 0 0
/proc/18325/statm: 4722 1137 421 364 0 691 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 18888
[startup+0.101946 s]
/proc/loadavg: 2.07 1.80 0.94 2/600 18325
/proc/meminfo: memFree=27052664/32950928 swapFree=38525204/67111528
[pid=18325] ppid=18323 vsize=87828 CPUtime=0.05 cores=0,2,4,6
/proc/18325/stat : 18325 (python) S 18323 18325 17436 0 -1 4202496 2691 0 0 0 4 1 0 0 17 0 1 0 869292096 89935872 2407 33554432000 4194304 5683644 140733612917536 18446744073709551615 208080230400 0 2147483391 16781312 2 18446744071699207358 0 0 17 6 0 0 0
/proc/18325/statm: 21957 2407 735 364 0 1622 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 87828
[startup+0.300616 s]
/proc/loadavg: 2.07 1.80 0.94 2/600 18325
/proc/meminfo: memFree=27052664/32950928 swapFree=38525204/67111528
[pid=18325] ppid=18323 vsize=123740 CPUtime=0.18 cores=0,2,4,6
/proc/18325/stat : 18325 (python) S 18323 18325 17436 0 -1 4202496 5356 931 1 0 13 5 0 0 18 0 1 0 869292096 126709760 3744 33554432000 4194304 5683644 140733612917536 18446744073709551615 208080228357 0 2147483391 16781312 2 18446744071699207358 0 0 17 6 0 0 0
/proc/18325/statm: 30935 3744 987 364 0 2767 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 123740
[startup+0.700524 s]
/proc/loadavg: 2.07 1.80 0.94 2/600 18325
/proc/meminfo: memFree=27052664/32950928 swapFree=38525204/67111528
[pid=18325] ppid=18323 vsize=284152 CPUtime=0.45 cores=0,2,4,6
/proc/18325/stat : 18325 (python) R 18323 18325 17436 0 -1 4202496 9487 931 1 0 33 12 0 0 17 0 1 0 869292096 290971648 7351 33554432000 4194304 5683644 140733612917536 18446744073709551615 4602978 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/18325/statm: 71038 7351 1781 364 0 5931 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 284152
[startup+1.50032 s]
/proc/loadavg: 2.31 1.85 0.96 3/601 18330
/proc/meminfo: memFree=27022648/32950928 swapFree=38525204/67111528
[pid=18325] ppid=18323 vsize=299844 CPUtime=0.95 cores=0,2,4,6
/proc/18325/stat : 18325 (python) S 18323 18325 17436 0 -1 4202496 12137 931 1 0 83 12 0 0 19 0 2 0 869292096 307040256 8800 33554432000 4194304 5683644 140733612917536 18446744073709551615 208092059083 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/18325/statm: 74961 8800 1870 364 0 9848 0
Current children cumulated CPU time (s) 0.95
Current children cumulated vsize (KiB) 299844
[startup+3.10106 s]
/proc/loadavg: 2.31 1.85 0.96 3/622 18351
/proc/meminfo: memFree=26916584/32950928 swapFree=38525204/67111528
[pid=18325] ppid=18323 vsize=299844 CPUtime=0.95 cores=0,2,4,6
/proc/18325/stat : 18325 (python) S 18323 18325 17436 0 -1 4202496 12137 931 1 0 83 12 0 0 19 0 2 0 869292096 307040256 8800 33554432000 4194304 5683644 140733612917536 18446744073709551615 208092059083 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/18325/statm: 74961 8800 1870 364 0 9848 0
[pid=18331] ppid=18325 vsize=289600 CPUtime=0 cores=0,2,4,6
/proc/18331/stat : 18331 (python) S 18325 18325 17436 0 -1 4202560 866 0 0 0 0 0 0 0 15 0 1 0 869292216 296550400 7283 33554432000 4194304 5683644 140733612917536 18446744073709551615 208080252431 0 0 16781312 33554946 3451169370963705856 0 0 17 6 0 0 0
/proc/18331/statm: 72400 7283 357 364 0 7287 0
[pid=18333] ppid=18331 vsize=8537804 CPUtime=2.46 cores=0,2,4,6
/proc/18333/stat : 18333 (java) S 18331 18333 18333 0 -1 4202496 36885 0 1 0 241 5 0 0 18 0 19 0 869292216 8742711296 34061 33554432000 1073741824 1073778376 140733866738144 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/18333/statm: 2134451 34061 2254 9 0 2125192 0
[pid=18333/tid=18334] ppid=18331 vsize=8537804 CPUtime=1.63 cores=0,2,4,6
/proc/18333/task/18334/stat : 18334 (java) R 18331 18333 18333 0 -1 4202560 24879 0 1 0 159 4 0 0 25 0 19 0 869292239 8742711296 34061 33554432000 1073741824 1073778376 140733866738144 18446744073709551615 46912505802472 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=18333/tid=18335] ppid=18331 vsize=8537804 CPUtime=0 cores=0,2,4,6
/proc/18333/task/18335/stat : 18335 (java) S 18331 18333 18333 0 -1 4202560 751 0 0 0 0 0 0 0 18 0 19 0 869292239 8742711296 34061 33554432000 1073741824 1073778376 140733866738144 18446744073709551615 208092048281 0 4 0 16800975 18446604447432106304 0 0 -1 6 0 0 0
[pid=18333/tid=18336] ppid=18331 vsize=8537804 CPUtime=0 cores=0,2,4,6
/proc/18333/task/18336/stat : 18336 (java) S 18331 18333 18333 0 -1 4202560 1789 0 0 0 0 0 0 0 18 0 19 0 869292239 8742711296 34061 33554432000 1073741824 1073778376 140733866738144 18446744073709551615 208092048281 0 4 0 16800975 18446604447432106304 0 0 -1 4 0 0 0
[pid=18333/tid=18337] ppid=18331 vsize=8537804 CPUtime=0 cores=0,2,4,6
/proc/18333/task/18337/stat : 18337 (java) S 18331 18333 18333 0 -1 4202560 67 0 0 0 0 0 0 0 18 0 19 0 869292239 8742711296 34061 33554432000 1073741824 1073778376 140733866738144 18446744073709551615 208092048281 0 4 0 16800975 18446604447432106304 0 0 -1 4 0 0 0
[pid=18333/tid=18338] ppid=18331 vsize=8537804 CPUtime=0 cores=0,2,4,6
/proc/18333/task/18338/stat : 18338 (java) S 18331 18333 18333 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869292239 8742711296 34061 33554432000 1073741824 1073778376 140733866738144 18446744073709551615 208092048281 0 4 0 16800975 18446604447432106304 0 0 -1 6 0 0 0
[pid=18333/tid=18339] ppid=18331 vsize=8537804 CPUtime=0 cores=0,2,4,6
/proc/18333/task/18339/stat : 18339 (java) S 18331 18333 18333 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869292239 8742711296 34061 33554432000 1073741824 1073778376 140733866738144 18446744073709551615 208092048281 0 4 0 16800975 18446604447432106304 0 0 -1 6 0 0 0
[pid=18333/tid=18340] ppid=18331 vsize=8537804 CPUtime=0 cores=0,2,4,6
/proc/18333/task/18340/stat : 18340 (java) S 18331 18333 18333 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869292239 8742711296 34061 33554432000 1073741824 1073778376 140733866738144 18446744073709551615 208092048281 0 4 0 16800975 18446604447432106304 0 0 -1 6 0 0 0
[pid=18333/tid=18341] ppid=18331 vsize=8537804 CPUtime=0 cores=0,2,4,6
/proc/18333/task/18341/stat : 18341 (java) S 18331 18333 18333 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869292239 8742711296 34061 33554432000 1073741824 1073778376 140733866738144 18446744073709551615 208092048281 0 4 0 16800975 18446604447432106304 0 0 -1 6 0 0 0
[pid=18333/tid=18342] ppid=18331 vsize=8537804 CPUtime=0 cores=0,2,4,6
/proc/18333/task/18342/stat : 18342 (java) S 18331 18333 18333 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 19 0 869292239 8742711296 34061 33554432000 1073741824 1073778376 140733866738144 18446744073709551615 208092048281 0 4 0 16800975 18446604447432106304 0 0 -1 6 0 0 0
[pid=18333/tid=18343] ppid=18331 vsize=8537804 CPUtime=0.01 cores=0,2,4,6
/proc/18333/task/18343/stat : 18343 (java) S 18331 18333 18333 0 -1 4202560 2561 0 0 0 1 0 0 0 15 0 19 0 869292240 8742711296 34061 33554432000 1073741824 1073778376 140733866738144 18446744073709551615 208092048896 0 0 0 16800975 18446604447432106304 0 0 -1 0 0 0 0
[pid=18333/tid=18344] ppid=18331 vsize=8537804 CPUtime=0 cores=0,2,4,6
/proc/18333/task/18344/stat : 18344 (java) S 18331 18333 18333 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 869292240 8742711296 34061 33554432000 1073741824 1073778376 140733866738144 18446744073709551615 208092048281 0 4 0 16800975 18446604447432106304 0 0 -1 6 0 0 0
[pid=18333/tid=18345] ppid=18331 vsize=8537804 CPUtime=0 cores=0,2,4,6
/proc/18333/task/18345/stat : 18345 (java) S 18331 18333 18333 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 869292240 8742711296 34061 33554432000 1073741824 1073778376 140733866738144 18446744073709551615 208092048281 0 4 0 16800975 18446604447432106304 0 0 -1 6 0 0 0
[pid=18333/tid=18346] ppid=18331 vsize=8537804 CPUtime=0 cores=0,2,4,6
/proc/18333/task/18346/stat : 18346 (java) S 18331 18333 18333 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869292243 8742711296 34061 33554432000 1073741824 1073778376 140733866738144 18446744073709551615 208092055985 0 4 0 16800975 18446604447432106304 0 0 -1 6 0 0 0
[pid=18333/tid=18347] ppid=18331 vsize=8537804 CPUtime=0.43 cores=0,2,4,6
/proc/18333/task/18347/stat : 18347 (java) S 18331 18333 18333 0 -1 4202560 2359 0 0 0 43 0 0 0 16 0 19 0 869292243 8742711296 34061 33554432000 1073741824 1073778376 140733866738144 18446744073709551615 208092048281 0 4 0 16800975 18446604447432106304 0 0 -1 4 0 0 0
[pid=18333/tid=18348] ppid=18331 vsize=8537804 CPUtime=0.35 cores=0,2,4,6
/proc/18333/task/18348/stat : 18348 (java) S 18331 18333 18333 0 -1 4202560 3096 0 0 0 35 0 0 0 17 0 19 0 869292243 8742711296 34061 33554432000 1073741824 1073778376 140733866738144 18446744073709551615 208092048281 0 4 0 16800975 18446604447432106304 0 0 -1 0 0 0 0
[pid=18333/tid=18349] ppid=18331 vsize=8537804 CPUtime=0 cores=0,2,4,6
/proc/18333/task/18349/stat : 18349 (java) S 18331 18333 18333 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869292243 8742711296 34061 33554432000 1073741824 1073778376 140733866738144 18446744073709551615 208092048281 0 4 0 16800975 18446604447432106304 0 0 -1 6 0 0 0
[pid=18333/tid=18350] ppid=18331 vsize=8537804 CPUtime=0 cores=0,2,4,6
/proc/18333/task/18350/stat : 18350 (java) S 18331 18333 18333 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 869292243 8742711296 34061 33554432000 1073741824 1073778376 140733866738144 18446744073709551615 208092048896 0 4 0 16800975 18446604447432106304 0 0 -1 0 0 0 0
[pid=18333/tid=18351] ppid=18331 vsize=8537804 CPUtime=0 cores=0,2,4,6
/proc/18333/task/18351/stat : 18351 (java) S 18331 18333 18333 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 869292290 8742711296 34061 33554432000 1073741824 1073778376 140733866738144 18446744073709551615 208092048896 0 4 0 16800975 18446604447432106304 0 0 -1 0 0 0 0
[pid=18325/tid=18332] ppid=18323 vsize=299844 CPUtime=0 cores=0,2,4,6
/proc/18325/task/18332/stat : 18332 (python) S 18323 18325 17436 0 -1 4202560 28 931 0 0 0 0 0 0 19 0 2 0 869292216 307040256 8800 33554432000 4194304 5683644 140733612917536 18446744073709551615 208092055985 0 0 16781312 33554434 18446604445188109632 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.41
Current children cumulated vsize (KiB) 9127248
[startup+6.30145 s]
/proc/loadavg: 2.20 1.84 0.96 2/609 18376
/proc/meminfo: memFree=26893504/32950928 swapFree=38525204/67111528
[pid=18325] ppid=18323 vsize=299844 CPUtime=0.95 cores=0,2,4,6
/proc/18325/stat : 18325 (python) S 18323 18325 17436 0 -1 4202496 12137 931 1 0 83 12 0 0 19 0 2 0 869292096 307040256 8800 33554432000 4194304 5683644 140733612917536 18446744073709551615 208092059083 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/18325/statm: 74961 8800 1870 364 0 9848 0
[pid=18331] ppid=18325 vsize=289600 CPUtime=0.01 cores=0,2,4,6
/proc/18331/stat : 18331 (python) S 18325 18325 17436 0 -1 4202560 999 0 0 0 0 1 0 0 15 0 1 0 869292216 296550400 7306 33554432000 4194304 5683644 140733612917536 18446744073709551615 208080252431 0 0 16781312 33554946 206630279610105856 0 0 17 6 0 0 0
/proc/18331/statm: 72400 7306 380 364 0 7287 0
[pid=18333] ppid=18331 vsize=8537804 CPUtime=5.7 cores=0,2,4,6
/proc/18333/stat : 18333 (java) S 18331 18333 18333 0 -1 4202496 46404 0 1 0 564 6 0 0 18 0 19 0 869292216 8742711296 43577 33554432000 1073741824 1073778376 140733866738144 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/18333/statm: 2134451 43577 2254 9 0 2125192 0
[pid=18333/tid=18334] ppid=18331 vsize=8537804 CPUtime=4.76 cores=0,2,4,6
/proc/18333/task/18334/stat : 18334 (java) R 18331 18333 18333 0 -1 4202560 24881 0 1 0 472 4 0 0 25 0 19 0 869292239 8742711296 43577 33554432000 1073741824 1073778376 140733866738144 18446744073709551615 46912505802366 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=18333/tid=18335] ppid=18331 vsize=8537804 CPUtime=0.01 cores=0,2,4,6
/proc/18333/task/18335/stat : 18335 (java) S 18331 18333 18333 0 -1 4202560 1684 0 0 0 1 0 0 0 16 0 19 0 869292239 8742711296 43577 33554432000 1073741824 1073778376 140733866738144 18446744073709551615 208092048281 0 4 0 16800975 18446604447432106304 0 0 -1 6 0 0 0
[pid=18333/tid=18336] ppid=18331 vsize=8537804 CPUtime=0 cores=0,2,4,6
/proc/18333/task/18336/stat : 18336 (java) S 18331 18333 18333 0 -1 4202560 1791 0 0 0 0 0 0 0 15 0 19 0 869292239 8742711296 43577 33554432000 1073741824 1073778376 140733866738144 18446744073709551615 208092048281 0 4 0 16800975 18446604447432106304 0 0 -1 4 0 0 0
[pid=18333/tid=18337] ppid=18331 vsize=8537804 CPUtime=0 cores=0,2,4,6
/proc/18333/task/18337/stat : 18337 (java) S 18331 18333 18333 0 -1 4202560 887 0 0 0 0 0 0 0 16 0 19 0 869292239 8742711296 43577 33554432000 1073741824 1073778376 140733866738144 18446744073709551615 208092048281 0 4 0 16800975 18446604447432106304 0 0 -1 4 0 0 0
[pid=18333/tid=18338] ppid=18331 vsize=8537804 CPUtime=0 cores=0,2,4,6
/proc/18333/task/18338/stat : 18338 (java) S 18331 18333 18333 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 869292239 8742711296 43577 33554432000 1073741824 1073778376 140733866738144 18446744073709551615 208092048281 0 4 0 16800975 18446604447432106304 0 0 -1 6 0 0 0
[pid=18333/tid=18339] ppid=18331 vsize=8537804 CPUtime=0 cores=0,2,4,6
/proc/18333/task/18339/stat : 18339 (java) S 18331 18333 18333 0 -1 4202560 44 0 0 0 0 0 0 0 15 0 19 0 869292239 8742711296 43577 33554432000 1073741824 1073778376 140733866738144 18446744073709551615 208092048281 0 4 0 16800975 18446604447432106304 0 0 -1 4 0 0 0
[pid=18333/tid=18340] ppid=18331 vsize=8537804 CPUtime=0 cores=0,2,4,6
/proc/18333/task/18340/stat : 18340 (java) S 18331 18333 18333 0 -1 4202560 1670 0 0 0 0 0 0 0 18 0 19 0 869292239 8742711296 43577 33554432000 1073741824 1073778376 140733866738144 18446744073709551615 208092048281 0 4 0 16800975 18446604447432106304 0 0 -1 6 0 0 0
[pid=18333/tid=18341] ppid=18331 vsize=8537804 CPUtime=0 cores=0,2,4,6
/proc/18333/task/18341/stat : 18341 (java) S 18331 18333 18333 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 869292239 8742711296 43577 33554432000 1073741824 1073778376 140733866738144 18446744073709551615 208092048281 0 4 0 16800975 18446604447432106304 0 0 -1 6 0 0 0
[pid=18333/tid=18342] ppid=18331 vsize=8537804 CPUtime=0 cores=0,2,4,6
/proc/18333/task/18342/stat : 18342 (java) S 18331 18333 18333 0 -1 4202560 2551 0 0 0 0 0 0 0 15 0 19 0 869292239 8742711296 43577 33554432000 1073741824 1073778376 140733866738144 18446744073709551615 208092048281 0 4 0 16800975 18446604447432106304 0 0 -1 6 0 0 0
[pid=18333/tid=18343] ppid=18331 vsize=8537804 CPUtime=0.05 cores=0,2,4,6
/proc/18333/task/18343/stat : 18343 (java) S 18331 18333 18333 0 -1 4202560 6056 0 0 0 5 0 0 0 16 0 19 0 869292240 8742711296 43577 33554432000 1073741824 1073778376 140733866738144 18446744073709551615 208092048896 0 0 0 16800975 18446604447432106304 0 0 -1 0 0 0 0
[pid=18333/tid=18344] ppid=18331 vsize=8537804 CPUtime=0 cores=0,2,4,6
/proc/18333/task/18344/stat : 18344 (java) S 18331 18333 18333 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 869292240 8742711296 43577 33554432000 1073741824 1073778376 140733866738144 18446744073709551615 208092048281 0 4 0 16800975 18446604447432106304 0 0 -1 6 0 0 0
[pid=18333/tid=18345] ppid=18331 vsize=8537804 CPUtime=0 cores=0,2,4,6
/proc/18333/task/18345/stat : 18345 (java) S 18331 18333 18333 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 869292240 8742711296 43577 33554432000 1073741824 1073778376 140733866738144 18446744073709551615 208092048281 0 4 0 16800975 18446604447432106304 0 0 -1 6 0 0 0
[pid=18333/tid=18346] ppid=18331 vsize=8537804 CPUtime=0 cores=0,2,4,6
/proc/18333/task/18346/stat : 18346 (java) S 18331 18333 18333 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869292243 8742711296 43577 33554432000 1073741824 1073778376 140733866738144 18446744073709551615 208092055985 0 4 0 16800975 18446604447432106304 0 0 -1 6 0 0 0
[pid=18333/tid=18347] ppid=18331 vsize=8537804 CPUtime=0.45 cores=0,2,4,6
/proc/18333/task/18347/stat : 18347 (java) S 18331 18333 18333 0 -1 4202560 2361 0 0 0 45 0 0 0 15 0 19 0 869292243 8742711296 43577 33554432000 1073741824 1073778376 140733866738144 18446744073709551615 208092048281 0 4 0 16800975 18446604447432106304 0 0 -1 4 0 0 0
[pid=18333/tid=18348] ppid=18331 vsize=8537804 CPUtime=0.37 cores=0,2,4,6
/proc/18333/task/18348/stat : 18348 (java) S 18331 18333 18333 0 -1 4202560 3100 0 0 0 37 0 0 0 15 0 19 0 869292243 8742711296 43577 33554432000 1073741824 1073778376 140733866738144 18446744073709551615 208092048281 0 4 0 16800975 18446604447432106304 0 0 -1 0 0 0 0
[pid=18333/tid=18349] ppid=18331 vsize=8537804 CPUtime=0 cores=0,2,4,6
/proc/18333/task/18349/stat : 18349 (java) S 18331 18333 18333 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869292243 8742711296 43577 33554432000 1073741824 1073778376 140733866738144 18446744073709551615 208092048281 0 4 0 16800975 18446604447432106304 0 0 -1 6 0 0 0
[pid=18333/tid=18350] ppid=18331 vsize=8537804 CPUtime=0 cores=0,2,4,6
/proc/18333/task/18350/stat : 18350 (java) S 18331 18333 18333 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 869292243 8742711296 43577 33554432000 1073741824 1073778376 140733866738144 18446744073709551615 208092048896 0 4 0 16800975 18446604447432106304 0 0 -1 0 0 0 0
[pid=18333/tid=18351] ppid=18331 vsize=8537804 CPUtime=0 cores=0,2,4,6
/proc/18333/task/18351/stat : 18351 (java) S 18331 18333 18333 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 869292290 8742711296 43577 33554432000 1073741824 1073778376 140733866738144 18446744073709551615 208092048896 0 4 0 16800975 18446604447432106304 0 0 -1 0 0 0 0
[pid=18325/tid=18332] ppid=18323 vsize=299844 CPUtime=0 cores=0,2,4,6
/proc/18325/task/18332/stat : 18332 (python) S 18323 18325 17436 0 -1 4202560 28 931 0 0 0 0 0 0 19 0 2 0 869292216 307040256 8800 33554432000 4194304 5683644 140733612917536 18446744073709551615 208092055985 0 0 16781312 33554434 18446604445188109632 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 6.66
Current children cumulated vsize (KiB) 9127248
[startup+12.7192 s]
/proc/loadavg: 2.18 1.84 0.96 3/632 18428
/proc/meminfo: memFree=26608888/32950928 swapFree=38525204/67111528
[pid=18325] ppid=18323 vsize=299844 CPUtime=0.95 cores=0,2,4,6
/proc/18325/stat : 18325 (python) S 18323 18325 17436 0 -1 4202496 12137 931 1 0 83 12 0 0 19 0 2 0 869292096 307040256 8800 33554432000 4194304 5683644 140733612917536 18446744073709551615 208092059083 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/18325/statm: 74961 8800 1870 364 0 9848 0
[pid=18331] ppid=18325 vsize=289600 CPUtime=0.04 cores=0,2,4,6
/proc/18331/stat : 18331 (python) S 18325 18325 17436 0 -1 4202560 1002 0 0 0 2 2 0 0 15 0 1 0 869292216 296550400 7306 33554432000 4194304 5683644 140733612917536 18446744073709551615 208080252431 0 0 16781312 33554946 4294934787 0 0 17 6 0 0 0
/proc/18331/statm: 72400 7306 380 364 0 7287 0
[pid=18333] ppid=18331 vsize=8536760 CPUtime=12.17 cores=0,2,4,6
/proc/18333/stat : 18333 (java) S 18331 18333 18333 0 -1 4202496 53278 0 1 0 1209 8 0 0 18 0 19 0 869292216 8741642240 50179 33554432000 1073741824 1073778376 140733866738144 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/18333/statm: 2134190 50179 2254 9 0 2124931 0
[pid=18333/tid=18334] ppid=18331 vsize=8536760 CPUtime=11.08 cores=0,2,4,6
/proc/18333/task/18334/stat : 18334 (java) R 18331 18333 18333 0 -1 4202560 24883 0 1 0 1104 4 0 0 25 0 19 0 869292239 8741642240 50179 33554432000 1073741824 1073778376 140733866738144 18446744073709551615 46912505802412 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=18333/tid=18335] ppid=18331 vsize=8536760 CPUtime=0.01 cores=0,2,4,6
/proc/18333/task/18335/stat : 18335 (java) S 18331 18333 18333 0 -1 4202560 1763 0 0 0 1 0 0 0 15 0 19 0 869292239 8741642240 50179 33554432000 1073741824 1073778376 140733866738144 18446744073709551615 208092048281 0 4 0 16800975 18446604447432106304 0 0 -1 0 0 0 0
[pid=18333/tid=18336] ppid=18331 vsize=8536760 CPUtime=0 cores=0,2,4,6
/proc/18333/task/18336/stat : 18336 (java) S 18331 18333 18333 0 -1 4202560 2127 0 0 0 0 0 0 0 16 0 19 0 869292239 8741642240 50179 33554432000 1073741824 1073778376 140733866738144 18446744073709551615 208092048281 0 4 0 16800975 18446604447432106304 0 0 -1 4 0 0 0
[pid=18333/tid=18337] ppid=18331 vsize=8536760 CPUtime=0 cores=0,2,4,6
/proc/18333/task/18337/stat : 18337 (java) S 18331 18333 18333 0 -1 4202560 1792 0 0 0 0 0 0 0 16 0 19 0 869292239 8741642240 50179 33554432000 1073741824 1073778376 140733866738144 18446744073709551615 208092048281 0 4 0 16800975 18446604447432106304 0 0 -1 4 0 0 0
[pid=18333/tid=18338] ppid=18331 vsize=8536760 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
[pid=18464/tid=18476] ppid=18462 vsize=8532240 CPUtime=0 cores=0,2,4,6
/proc/18464/task/18476/stat : 18476 (java) S 18462 18464 18464 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 869320296 8737013760 5525 33554432000 1073741824 1073778376 140734402375792 18446744073709551615 208092048281 0 4 0 16800975 18446604451058884928 0 0 -1 2 0 0 0
[pid=18464/tid=18477] ppid=18462 vsize=8532240 CPUtime=0 cores=0,2,4,6
/proc/18464/task/18477/stat : 18477 (java) S 18462 18464 18464 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869320298 8737013760 5525 33554432000 1073741824 1073778376 140734402375792 18446744073709551615 208092055985 0 4 0 16800975 18446604451058884928 0 0 -1 2 0 0 0
[pid=18464/tid=18478] ppid=18462 vsize=8532240 CPUtime=0 cores=0,2,4,6
/proc/18464/task/18478/stat : 18478 (java) S 18462 18464 18464 0 -1 4202560 237 0 0 0 0 0 0 0 18 0 18 0 869320298 8737013760 5526 33554432000 1073741824 1073778376 140734402375792 18446744073709551615 208092048281 0 4 0 16800975 18446604451058884928 0 0 -1 0 0 0 0
[pid=18464/tid=18479] ppid=18462 vsize=8532240 CPUtime=0.04 cores=0,2,4,6
/proc/18464/task/18479/stat : 18479 (java) S 18462 18464 18464 0 -1 4202560 840 0 0 0 4 0 0 0 17 0 18 0 869320298 8737013760 5526 33554432000 1073741824 1073778376 140734402375792 18446744073709551615 208092048281 0 4 0 16800975 18446604451058884928 0 0 -1 0 0 0 0
[pid=18464/tid=18480] ppid=18462 vsize=8532240 CPUtime=0 cores=0,2,4,6
/proc/18464/task/18480/stat : 18480 (java) S 18462 18464 18464 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869320298 8737013760 5526 33554432000 1073741824 1073778376 140734402375792 18446744073709551615 208092048281 0 4 0 16800975 18446604451058884928 0 0 -1 2 0 0 0
[pid=18464/tid=18481] ppid=18462 vsize=8532240 CPUtime=0 cores=0,2,4,6
/proc/18464/task/18481/stat : 18481 (java) S 18462 18464 18464 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 18 0 869320298 8737013760 5526 33554432000 1073741824 1073778376 140734402375792 18446744073709551615 208092048896 0 4 0 16800975 18446604451058884928 0 0 -1 0 0 0 0
[pid=18325/tid=18332] ppid=18323 vsize=340868 CPUtime=0 cores=0,2,4,6
/proc/18325/task/18332/stat : 18332 (python) S 18323 18325 17436 0 -1 4202560 32 931 0 0 0 0 0 0 18 0 6 0 869292216 349048832 8825 33554432000 4194304 5683644 140733612917536 18446744073709551615 208092055985 0 0 16781312 33554434 18446604445188109632 0 0 -1 0 0 0 0
[pid=18325/tid=18432] ppid=18323 vsize=340868 CPUtime=0 cores=0,2,4,6
/proc/18325/task/18432/stat : 18432 (python) S 18323 18325 17436 0 -1 4202560 24 931 0 0 0 0 0 0 20 0 6 0 869297051 349048832 8825 33554432000 4194304 5683644 140733612917536 18446744073709551615 208092055985 0 0 16781312 33554434 18446604445188109632 0 0 -1 6 0 0 0
[pid=18325/tid=18444] ppid=18323 vsize=340868 CPUtime=0 cores=0,2,4,6
/proc/18325/task/18444/stat : 18444 (python) S 18323 18325 17436 0 -1 4202560 31 931 0 0 0 0 0 0 20 0 6 0 869306139 349048832 8825 33554432000 4194304 5683644 140733612917536 18446744073709551615 208092055985 0 0 16781312 33554434 18446604445188109632 0 0 -1 4 0 0 0
[pid=18325/tid=18453] ppid=18323 vsize=340868 CPUtime=0 cores=0,2,4,6
/proc/18325/task/18453/stat : 18453 (python) S 18323 18325 17436 0 -1 4202560 28 931 0 0 0 0 0 0 20 0 6 0 869315549 349048832 8825 33554432000 4194304 5683644 140733612917536 18446744073709551615 208092055985 0 0 16781312 33554434 18446604445188109632 0 0 -1 4 0 0 0
[pid=18325/tid=18463] ppid=18323 vsize=340868 CPUtime=0 cores=0,2,4,6
/proc/18325/task/18463/stat : 18463 (python) S 18323 18325 17436 0 -1 4202560 28 931 0 0 0 0 0 0 20 0 6 0 869320293 349048832 8825 33554432000 4194304 5683644 140733612917536 18446744073709551615 208092055985 0 0 16781312 33554434 18446604445188109632 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 284.12
Current children cumulated vsize (KiB) 19232060
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+282.102 s]
/proc/loadavg: 2.03 1.96 1.23 6/677 18481
/proc/meminfo: memFree=25767568/32950928 swapFree=38525204/67111528
[pid=18325] ppid=18323 vsize=340868 CPUtime=1.08 cores=0,2,4,6
/proc/18325/stat : 18325 (python) S 18323 18325 17436 0 -1 4202496 15753 931 1 0 94 14 0 0 20 0 6 0 869292096 349048832 8825 33554432000 4194304 5683644 140733612917536 18446744073709551615 208092059083 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/18325/statm: 85217 8825 1879 364 0 20092 0
[pid=18331] ppid=18325 vsize=299844 CPUtime=0.42 cores=0,2,4,6
/proc/18331/stat : 18331 (python) S 18325 18325 17436 0 -1 4202560 1181 0 0 0 20 22 0 0 15 0 2 0 869292216 307040256 7343 33554432000 4194304 5683644 140733612917536 18446744073709551615 208092059083 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/18331/statm: 74961 7343 412 364 0 9848 0
[pid=18333] ppid=18331 vsize=8536760 CPUtime=91.91 cores=0,2,4,6
/proc/18333/stat : 18333 (java) T 18331 18333 18333 0 -1 4202496 86747 0 1 0 9177 14 0 0 18 0 19 0 869292216 8741642240 83195 33554432000 1073741824 1073778376 140733866738144 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/18333/statm: 2134190 83195 2254 9 0 2124931 0
[pid=18333/tid=18334] ppid=18331 vsize=8536760 CPUtime=89.73 cores=0,2,4,6
/proc/18333/task/18334/stat : 18334 (java) T 18331 18333 18333 0 -1 4202560 24899 0 1 0 8968 5 0 0 25 0 19 0 869292239 8741642240 83195 33554432000 1073741824 1073778376 140733866738144 18446744073709551615 46912505802263 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=18333/tid=18335] ppid=18331 vsize=8536760 CPUtime=0.09 cores=0,2,4,6
/proc/18333/task/18335/stat : 18335 (java) T 18331 18333 18333 0 -1 4202560 7358 0 0 0 8 1 0 0 15 0 19 0 869292239 8741642240 83195 33554432000 1073741824 1073778376 140733866738144 18446744073709551615 208092048281 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=18333/tid=18336] ppid=18331 vsize=8536760 CPUtime=0.05 cores=0,2,4,6
/proc/18333/task/18336/stat : 18336 (java) T 18331 18333 18333 0 -1 4202560 3146 0 0 0 5 0 0 0 15 0 19 0 869292239 8741642240 83195 33554432000 1073741824 1073778376 140733866738144 18446744073709551615 208092048281 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=18333/tid=18337] ppid=18331 vsize=8536760 CPUtime=0.11 cores=0,2,4,6
/proc/18333/task/18337/stat : 18337 (java) T 18331 18333 18333 0 -1 4202560 7559 0 0 0 10 1 0 0 15 0 19 0 869292239 8741642240 83195 33554432000 1073741824 1073778376 140733866738144 18446744073709551615 208092048281 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=18333/tid=18338] ppid=18331 vsize=8536760 CPUtime=0.03 cores=0,2,4,6
/proc/18333/task/18338/stat : 18338 (java) T 18331 18333 18333 0 -1 4202560 3664 0 0 0 3 0 0 0 15 0 19 0 869292239 8741642240 83195 33554432000 1073741824 1073778376 140733866738144 18446744073709551615 208092048281 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=18333/tid=18339] ppid=18331 vsize=8536760 CPUtime=0.05 cores=0,2,4,6
/proc/18333/task/18339/stat : 18339 (java) T 18331 18333 18333 0 -1 4202560 1956 0 0 0 5 0 0 0 15 0 19 0 869292239 8741642240 83195 33554432000 1073741824 1073778376 140733866738144 18446744073709551615 208092048281 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=18333/tid=18340] ppid=18331 vsize=8536760 CPUtime=0.06 cores=0,2,4,6
/proc/18333/task/18340/stat : 18340 (java) T 18331 18333 18333 0 -1 4202560 7620 0 0 0 5 1 0 0 15 0 19 0 869292239 8741642240 83195 33554432000 1073741824 1073778376 140733866738144 18446744073709551615 208092048281 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=18333/tid=18341] ppid=18331 vsize=8536760 CPUtime=0.1 cores=0,2,4,6
/proc/18333/task/18341/stat : 18341 (java) T 18331 18333 18333 0 -1 4202560 9245 0 0 0 9 1 0 0 15 0 19 0 869292239 8741642240 83195 33554432000 1073741824 1073778376 140733866738144 18446744073709551615 208092048281 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=18333/tid=18342] ppid=18331 vsize=8536760 CPUtime=0.06 cores=0,2,4,6
/proc/18333/task/18342/stat : 18342 (java) T 18331 18333 18333 0 -1 4202560 5458 0 0 0 6 0 0 0 15 0 19 0 869292239 8741642240 83195 33554432000 1073741824 1073778376 140733866738144 18446744073709551615 208092048281 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=18333/tid=18343] ppid=18331 vsize=8536760 CPUtime=0.67 cores=0,2,4,6
/proc/18333/task/18343/stat : 18343 (java) T 18331 18333 18333 0 -1 4202560 8985 0 0 0 66 1 0 0 15 0 19 0 869292240 8741642240 83195 33554432000 1073741824 1073778376 140733866738144 18446744073709551615 208092048896 0 0 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=18333/tid=18344] ppid=18331 vsize=8536760 CPUtime=0 cores=0,2,4,6
/proc/18333/task/18344/stat : 18344 (java) T 18331 18333 18333 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 869292240 8741642240 83195 33554432000 1073741824 1073778376 140733866738144 18446744073709551615 208092048281 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=18333/tid=18345] ppid=18331 vsize=8536760 CPUtime=0 cores=0,2,4,6
/proc/18333/task/18345/stat : 18345 (java) T 18331 18333 18333 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 869292240 8741642240 83195 33554432000 1073741824 1073778376 140733866738144 18446744073709551615 208092048281 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=18333/tid=18346] ppid=18331 vsize=8536760 CPUtime=0 cores=0,2,4,6
/proc/18333/task/18346/stat : 18346 (java) T 18331 18333 18333 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869292243 8741642240 83195 33554432000 1073741824 1073778376 140733866738144 18446744073709551615 208092055985 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=18333/tid=18347] ppid=18331 vsize=8536760 CPUtime=0.45 cores=0,2,4,6
/proc/18333/task/18347/stat : 18347 (java) T 18331 18333 18333 0 -1 4202560 2362 0 0 0 45 0 0 0 15 0 19 0 869292243 8741642240 83195 33554432000 1073741824 1073778376 140733866738144 18446744073709551615 208092048281 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=18333/tid=18348] ppid=18331 vsize=8536760 CPUtime=0.4 cores=0,2,4,6
/proc/18333/task/18348/stat : 18348 (java) T 18331 18333 18333 0 -1 4202560 3110 0 0 0 40 0 0 0 15 0 19 0 869292243 8741642240 83195 33554432000 1073741824 1073778376 140733866738144 18446744073709551615 208092048281 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=18333/tid=18349] ppid=18331 vsize=8536760 CPUtime=0 cores=0,2,4,6
/proc/18333/task/18349/stat : 18349 (java) T 18331 18333 18333 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869292243 8741642240 83195 33554432000 1073741824 1073778376 140733866738144 18446744073709551615 208092048281 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=18333/tid=18350] ppid=18331 vsize=8536760 CPUtime=0 cores=0,2,4,6
/proc/18333/task/18350/stat : 18350 (java) T 18331 18333 18333 0 -1 4202560 9 0 0 0 0 0 0 0 15 0 19 0 869292243 8741642240 83195 33554432000 1073741824 1073778376 140733866738144 18446744073709551615 208092048896 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=18333/tid=18351] ppid=18331 vsize=8536760 CPUtime=0 cores=0,2,4,6
/proc/18333/task/18351/stat : 18351 (java) T 18331 18333 18333 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 869292290 8741642240 83195 33554432000 1073741824 1073778376 140733866738144 18446744073709551615 208092048896 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=18331/tid=18430] ppid=18325 vsize=299844 CPUtime=0 cores=0,2,4,6
/proc/18331/task/18430/stat : 18430 (python) S 18325 18325 17436 0 -1 4202560 40 0 0 0 0 0 0 0 15 0 2 0 869297048 307040256 7343 33554432000 4194304 5683644 140733612917536 18446744073709551615 208092055985 0 0 16781312 33554946 18446604453683192128 0 0 -1 4 0 0 0
[pid=18431] ppid=18325 vsize=299856 CPUtime=0.23 cores=0,2,4,6
/proc/18431/stat : 18431 (python) S 18325 18325 17436 0 -1 4202560 1119 0 0 0 12 11 0 0 16 0 2 0 869297051 307052544 7327 33554432000 4194304 5683644 140733612917536 18446744073709551615 208092059083 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/18431/statm: 74964 7327 396 364 0 9848 0
[pid=18433] ppid=18431 vsize=62768 CPUtime=48.22 cores=0,2,4,6
/proc/18433/stat : 18433 (wbo1.4a) T 18431 18433 18433 0 -1 4202496 16807 0 0 0 4795 27 0 0 25 0 1 0 869297051 64274432 15191 33554432000 134512640 135751879 4293954720 18446744073709551615 134616516 0 0 16781312 3 18446744071562691360 0 0 17 0 0 0 0
/proc/18433/statm: 15692 15191 146 303 0 15387 0
[pid=18431/tid=18440] ppid=18325 vsize=299856 CPUtime=0 cores=0,2,4,6
/proc/18431/task/18440/stat : 18440 (python) S 18325 18325 17436 0 -1 4202560 48 0 0 0 0 0 0 0 16 0 2 0 869301874 307052544 7327 33554432000 4194304 5683644 140733612917536 18446744073709551615 208092055985 0 0 16781312 33554946 18446604446424299456 0 0 -1 6 0 0 0
[pid=18443] ppid=18325 vsize=310112 CPUtime=0.39 cores=0,2,4,6
/proc/18443/stat : 18443 (python) S 18325 18325 17436 0 -1 4202560 1147 0 0 0 20 19 0 0 16 0 2 0 869306139 317554688 7331 33554432000 4194304 5683644 140733612917536 18446744073709551615 208092059083 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/18443/statm: 77528 7331 396 364 0 12409 0
[pid=18445] ppid=18443 vsize=45128 CPUtime=94.06 cores=0,2,4,6
/proc/18445/stat : 18445 (clasp-1.3.7-x86) T 18443 18445 18445 0 -1 4202496 11421 0 0 0 9405 1 0 0 25 0 1 0 869306139 46211072 11028 33554432000 134512640 136139019 4287124464 18446744073709551615 134634755 0 0 16781312 16386 18446744071562691360 0 0 17 0 0 0 0
/proc/18445/statm: 11282 11028 187 398 0 10882 0
[pid=18443/tid=18451] ppid=18325 vsize=310112 CPUtime=0 cores=0,2,4,6
/proc/18443/task/18451/stat : 18451 (python) S 18325 18325 17436 0 -1 4202560 47 0 0 0 0 0 0 0 16 0 2 0 869315546 317554688 7331 33554432000 4194304 5683644 140733612917536 18446744073709551615 208092055985 0 0 16781312 33554946 18446604441401878528 0 0 -1 0 0 0 0
[pid=18452] ppid=18325 vsize=320368 CPUtime=0.2 cores=0,2,4,6
/proc/18452/stat : 18452 (python) S 18325 18325 17436 0 -1 4202560 1140 0 0 0 10 10 0 0 16 0 2 0 869315548 328056832 7335 33554432000 4194304 5683644 140733612917536 18446744073709551615 208092059083 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/18452/statm: 80092 7335 396 364 0 14970 0
[pid=18454] ppid=18452 vsize=153492 CPUtime=47.41 cores=0,2,4,6
/proc/18454/stat : 18454 (pbct-0.1.2-linu) T 18452 18454 18454 0 -1 4202496 38962 0 0 0 4679 62 0 0 25 0 1 0 869315549 157175808 37077 33554432000 134512640 136422188 4291433760 18446744073709551615 134862222 0 0 16781312 16387 18446744071562691360 0 0 17 0 0 0 0
/proc/18454/statm: 38373 37077 236 467 0 37904 0
[pid=18452/tid=18461] ppid=18325 vsize=320368 CPUtime=0 cores=0,2,4,6
/proc/18452/task/18461/stat : 18461 (python) S 18325 18325 17436 0 -1 4202560 47 0 0 0 0 0 0 0 16 0 2 0 869320291 328056832 7335 33554432000 4194304 5683644 140733612917536 18446744073709551615 208092055985 0 0 16781312 33554946 18446604449443727360 0 0 -1 6 0 0 0
[pid=18462] ppid=18325 vsize=330624 CPUtime=0 cores=0,2,4,6
/proc/18462/stat : 18462 (python) S 18325 18325 17436 0 -1 4202560 816 0 0 0 0 0 0 0 19 0 1 0 869320293 338558976 7290 33554432000 4194304 5683644 140733612917536 18446744073709551615 208080252486 0 0 16781312 33554946 3862478520382914560 0 0 17 0 0 0 0
/proc/18462/statm: 82656 7290 348 364 0 17531 0
[pid=18464] ppid=18462 vsize=8532240 CPUtime=0.2 cores=0,2,4,6
/proc/18464/stat : 18464 (java) S 18462 18464 18464 0 -1 4202496 6092 0 1 0 19 1 0 0 21 0 18 0 869320293 8737013760 5498 33554432000 1073741824 1073778376 140734402375792 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/18464/statm: 2133060 5498 2159 9 0 2123801 0
[pid=18464/tid=18465] ppid=18462 vsize=8532240 CPUtime=0.14 cores=0,2,4,6
/proc/18464/task/18465/stat : 18465 (java) R 18462 18464 18464 0 -1 4202560 3647 0 1 0 13 1 0 0 18 0 18 0 869320294 8737013760 5523 33554432000 1073741824 1073778376 140734402375792 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=18464/tid=18466] ppid=18462 vsize=8532240 CPUtime=0 cores=0,2,4,6
/proc/18464/task/18466/stat : 18466 (java) S 18462 18464 18464 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 18 0 869320295 8737013760 5524 33554432000 1073741824 1073778376 140734402375792 18446744073709551615 208092048281 0 4 0 16800975 18446604451058884928 0 0 -1 2 0 0 0
[pid=18464/tid=18467] ppid=18462 vsize=8532240 CPUtime=0 cores=0,2,4,6
/proc/18464/task/18467/stat : 18467 (java) S 18462 18464 18464 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 18 0 869320295 8737013760 5524 33554432000 1073741824 1073778376 140734402375792 18446744073709551615 208092048281 0 4 0 16800975 18446604451058884928 0 0 -1 2 0 0 0
[pid=18464/tid=18468] ppid=18462 vsize=8532240 CPUtime=0 cores=0,2,4,6
/proc/18464/task/18468/stat : 18468 (java) S 18462 18464 18464 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869320295 8737013760 5524 33554432000 1073741824 1073778376 140734402375792 18446744073709551615 208092048281 0 4 0 16800975 18446604451058884928 0 0 -1 2 0 0 0
[pid=18464/tid=18469] ppid=18462 vsize=8532240 CPUtime=0 cores=0,2,4,6
/proc/18464/task/18469/stat : 18469 (java) S 18462 18464 18464 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 869320295 8737013760 5524 33554432000 1073741824 1073778376 140734402375792 18446744073709551615 208092048281 0 4 0 16800975 18446604451058884928 0 0 -1 2 0 0 0
[pid=18464/tid=18470] ppid=18462 vsize=8532240 CPUtime=0 cores=0,2,4,6
/proc/18464/task/18470/stat : 18470 (java) S 18462 18464 18464 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 869320295 8737013760 5524 33554432000 1073741824 1073778376 140734402375792 18446744073709551615 208092048281 0 4 0 16800975 18446604451058884928 0 0 -1 6 0 0 0
[pid=18464/tid=18471] ppid=18462 vsize=8532240 CPUtime=0 cores=0,2,4,6
/proc/18464/task/18471/stat : 18471 (java) S 18462 18464 18464 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869320295 8737013760 5524 33554432000 1073741824 1073778376 140734402375792 18446744073709551615 208092048281 0 4 0 16800975 18446604451058884928 0 0 -1 6 0 0 0
[pid=18464/tid=18472] ppid=18462 vsize=8532240 CPUtime=0 cores=0,2,4,6
/proc/18464/task/18472/stat : 18472 (java) S 18462 18464 18464 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869320295 8737013760 5525 33554432000 1073741824 1073778376 140734402375792 18446744073709551615 208092048281 0 4 0 16800975 18446604451058884928 0 0 -1 6 0 0 0
[pid=18464/tid=18473] ppid=18462 vsize=8532240 CPUtime=0 cores=0,2,4,6
/proc/18464/task/18473/stat : 18473 (java) S 18462 18464 18464 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869320295 8737013760 5525 33554432000 1073741824 1073778376 140734402375792 18446744073709551615 208092048281 0 4 0 16800975 18446604451058884928 0 0 -1 6 0 0 0
[pid=18464/tid=18474] ppid=18462 vsize=8532240 CPUtime=0 cores=0,2,4,6
/proc/18464/task/18474/stat : 18474 (java) S 18462 18464 18464 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 869320296 8737013760 5525 33554432000 1073741824 1073778376 140734402375792 18446744073709551615 208092048896 0 0 0 16800975 18446604451058884928 0 0 -1 2 0 0 0
[pid=18464/tid=18475] ppid=18462 vsize=8532240 CPUtime=0 cores=0,2,4,6
/proc/18464/task/18475/stat : 18475 (java) S 18462 18464 18464 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 869320296 8737013760 5525 33554432000 1073741824 1073778376 140734402375792 18446744073709551615 208092048281 0 4 0 16800975 18446604451058884928 0 0 -1 2 0 0 0
[pid=18464/tid=18476] ppid=18462 vsize=8532240 CPUtime=0 cores=0,2,4,6
/proc/18464/task/18476/stat : 18476 (java) S 18462 18464 18464 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 869320296 8737013760 5525 33554432000 1073741824 1073778376 140734402375792 18446744073709551615 208092048281 0 4 0 16800975 18446604451058884928 0 0 -1 2 0 0 0
[pid=18464/tid=18477] ppid=18462 vsize=8532240 CPUtime=0 cores=0,2,4,6
/proc/18464/task/18477/stat : 18477 (java) S 18462 18464 18464 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869320298 8737013760 5525 33554432000 1073741824 1073778376 140734402375792 18446744073709551615 208092055985 0 4 0 16800975 18446604451058884928 0 0 -1 2 0 0 0
[pid=18464/tid=18478] ppid=18462 vsize=8532240 CPUtime=0 cores=0,2,4,6
/proc/18464/task/18478/stat : 18478 (java) S 18462 18464 18464 0 -1 4202560 237 0 0 0 0 0 0 0 18 0 18 0 869320298 8737013760 5526 33554432000 1073741824 1073778376 140734402375792 18446744073709551615 208092048281 0 4 0 16800975 18446604451058884928 0 0 -1 0 0 0 0
[pid=18464/tid=18479] ppid=18462 vsize=8532240 CPUtime=0.04 cores=0,2,4,6
/proc/18464/task/18479/stat : 18479 (java) S 18462 18464 18464 0 -1 4202560 840 0 0 0 4 0 0 0 17 0 18 0 869320298 8737013760 5526 33554432000 1073741824 1073778376 140734402375792 18446744073709551615 208092048281 0 4 0 16800975 18446604451058884928 0 0 -1 0 0 0 0
[pid=18464/tid=18480] ppid=18462 vsize=8532240 CPUtime=0 cores=0,2,4,6
/proc/18464/task/18480/stat : 18480 (java) S 18462 18464 18464 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869320298 8737013760 5526 33554432000 1073741824 1073778376 140734402375792 18446744073709551615 208092048281 0 4 0 16800975 18446604451058884928 0 0 -1 2 0 0 0
[pid=18464/tid=18481] ppid=18462 vsize=8532240 CPUtime=0 cores=0,2,4,6
/proc/18464/task/18481/stat : 18481 (java) S 18462 18464 18464 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 18 0 869320298 8737013760 5526 33554432000 1073741824 1073778376 140734402375792 18446744073709551615 208092048896 0 4 0 16800975 18446604451058884928 0 0 -1 0 0 0 0
[pid=18325/tid=18332] ppid=18323 vsize=340868 CPUtime=0 cores=0,2,4,6
/proc/18325/task/18332/stat : 18332 (python) S 18323 18325 17436 0 -1 4202560 32 931 0 0 0 0 0 0 18 0 6 0 869292216 349048832 8825 33554432000 4194304 5683644 140733612917536 18446744073709551615 208092055985 0 0 16781312 33554434 18446604445188109632 0 0 -1 0 0 0 0
[pid=18325/tid=18432] ppid=18323 vsize=340868 CPUtime=0 cores=0,2,4,6
/proc/18325/task/18432/stat : 18432 (python) S 18323 18325 17436 0 -1 4202560 24 931 0 0 0 0 0 0 20 0 6 0 869297051 349048832 8825 33554432000 4194304 5683644 140733612917536 18446744073709551615 208092055985 0 0 16781312 33554434 18446604445188109632 0 0 -1 6 0 0 0
[pid=18325/tid=18444] ppid=18323 vsize=340868 CPUtime=0 cores=0,2,4,6
/proc/18325/task/18444/stat : 18444 (python) S 18323 18325 17436 0 -1 4202560 31 931 0 0 0 0 0 0 20 0 6 0 869306139 349048832 8825 33554432000 4194304 5683644 140733612917536 18446744073709551615 208092055985 0 0 16781312 33554434 18446604445188109632 0 0 -1 4 0 0 0
[pid=18325/tid=18453] ppid=18323 vsize=340868 CPUtime=0 cores=0,2,4,6
/proc/18325/task/18453/stat : 18453 (python) S 18323 18325 17436 0 -1 4202560 28 931 0 0 0 0 0 0 20 0 6 0 869315549 349048832 8825 33554432000 4194304 5683644 140733612917536 18446744073709551615 208092055985 0 0 16781312 33554434 18446604445188109632 0 0 -1 4 0 0 0
[pid=18325/tid=18463] ppid=18323 vsize=340868 CPUtime=0 cores=0,2,4,6
/proc/18325/task/18463/stat : 18463 (python) S 18323 18325 17436 0 -1 4202560 28 931 0 0 0 0 0 0 20 0 6 0 869320293 349048832 8825 33554432000 4194304 5683644 140733612917536 18446744073709551615 208092055985 0 0 16781312 33554434 18446604445188109632 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 284.12
Current children cumulated vsize (KiB) 19232060
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 18325 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=950855
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=145977
# CPU time returned by wait4() is 1.09683
# while last known CPU time is 284.12
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 282.186
CPU time (s): 284.12
CPU user time (s): 282.31
CPU system time (s): 1.81
CPU usage (%): 100.685
Max. virtual memory (cumulated for all children) (KiB): 19232060
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.950855
system time used= 0.145977
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16686
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= 2872
involuntary context switches= 27
runsolver used 1.78573 second user time and 3.54646 second system time
The end