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-3481722-1307577347/watcher-3481722-1307577347 -o /tmp/evaluation-result-3481722-1307577347/solver-3481722-1307577347 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3481722-1307577347.opb -seed 559528652 -budget 1800
running on 4 cores: 1,3,5,7
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.12 2.06 1.37 2/627 3338
/proc/meminfo: memFree=22354116/32950928 swapFree=34366004/67111528
[pid=3338] ppid=3336 vsize=15380 CPUtime=0 cores=1,3,5,7
/proc/3338/stat : 3338 (python) R 3336 3338 2236 0 -1 4202496 793 0 0 0 0 0 0 0 17 0 1 0 869333571 15749120 680 33554432000 4194304 5683644 140733751832176 18446744073709551615 235594864640 0 2147483391 16781312 2 0 0 0 17 5 0 0 0
/proc/3338/statm: 3845 680 322 364 0 332 0
[startup+0.0364019 s]
/proc/loadavg: 2.12 2.06 1.37 2/627 3338
/proc/meminfo: memFree=22354116/32950928 swapFree=34366004/67111528
[pid=3338] ppid=3336 vsize=18888 CPUtime=0.02 cores=1,3,5,7
/proc/3338/stat : 3338 (python) S 3336 3338 2236 0 -1 4202496 1239 0 0 0 1 1 0 0 17 0 1 0 869333571 19341312 1094 33554432000 4194304 5683644 140733751832176 18446744073709551615 235594864640 0 2147483391 16781312 2 18446744071699215550 0 0 17 5 0 0 0
/proc/3338/statm: 4722 1094 421 364 0 691 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 18888
[startup+0.100462 s]
/proc/loadavg: 2.12 2.06 1.37 2/627 3338
/proc/meminfo: memFree=22354116/32950928 swapFree=34366004/67111528
[pid=3338] ppid=3336 vsize=85620 CPUtime=0.06 cores=1,3,5,7
/proc/3338/stat : 3338 (python) S 3336 3338 2236 0 -1 4202496 2665 0 0 0 4 2 0 0 17 0 1 0 869333571 87674880 2382 33554432000 4194304 5683644 140733751832176 18446744073709551615 235594864640 0 2147483391 16781312 2 18446744071699215550 0 0 17 1 0 0 0
/proc/3338/statm: 21405 2382 715 364 0 1622 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 85620
[startup+0.300472 s]
/proc/loadavg: 2.12 2.06 1.37 2/627 3338
/proc/meminfo: memFree=22354116/32950928 swapFree=34366004/67111528
[pid=3338] ppid=3336 vsize=123744 CPUtime=0.18 cores=1,3,5,7
/proc/3338/stat : 3338 (python) S 3336 3338 2236 0 -1 4202496 5358 931 1 0 10 8 0 0 17 0 1 0 869333571 126713856 3745 33554432000 4194304 5683644 140733751832176 18446744073709551615 235594862597 0 2147483391 16781312 2 18446744071699215550 0 0 17 1 0 0 0
/proc/3338/statm: 30936 3745 987 364 0 2768 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 123744
[startup+0.700348 s]
/proc/loadavg: 2.12 2.06 1.37 2/627 3338
/proc/meminfo: memFree=22354116/32950928 swapFree=34366004/67111528
[pid=3338] ppid=3336 vsize=282820 CPUtime=0.46 cores=1,3,5,7
/proc/3338/stat : 3338 (python) R 3336 3338 2236 0 -1 4202496 9388 931 1 0 30 16 0 0 16 0 1 0 869333571 289607680 7109 33554432000 4194304 5683644 140733751832176 18446744073709551615 235598275241 0 0 16781312 33554434 0 0 0 17 1 0 0 0
/proc/3338/statm: 70705 7109 1855 364 0 5595 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 282820
[startup+1.50114 s]
/proc/loadavg: 2.12 2.06 1.37 3/631 3346
/proc/meminfo: memFree=22328540/32950928 swapFree=34366004/67111528
[pid=3338] ppid=3336 vsize=293076 CPUtime=0.47 cores=1,3,5,7
/proc/3338/stat : 3338 (python) S 3336 3338 2236 0 -1 4202496 9620 931 1 0 31 16 0 0 18 0 2 0 869333571 300109824 7132 33554432000 4194304 5683644 140733751832176 18446744073709551615 235606693323 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/3338/statm: 73269 7132 1862 364 0 8156 0
[pid=3344] ppid=3338 vsize=282832 CPUtime=0 cores=1,3,5,7
/proc/3344/stat : 3344 (python) S 3338 3338 2236 0 -1 4202560 700 0 0 0 0 0 0 0 18 0 1 0 869333642 289619968 5615 33554432000 4194304 5683644 140733751832176 18446744073709551615 235594886671 0 0 16781312 33554946 6631834782432985350 0 0 17 1 0 0 0
/proc/3344/statm: 70708 5615 349 364 0 5595 0
[pid=3346] ppid=3344 vsize=1860 CPUtime=0.78 cores=1,3,5,7
/proc/3346/stat : 3346 (clasp-1.3.7-x86) R 3344 3346 3346 0 -1 4202496 465 0 0 0 78 0 0 0 18 0 1 0 869333642 1904640 207 33554432000 134512640 136139019 4291421584 18446744073709551615 134828800 0 0 16781312 16386 0 0 0 17 3 0 0 0
/proc/3346/statm: 465 207 183 398 0 65 0
[pid=3338/tid=3345] ppid=3336 vsize=293076 CPUtime=0 cores=1,3,5,7
/proc/3338/task/3345/stat : 3345 (python) S 3336 3338 2236 0 -1 4202560 26 931 0 0 0 0 0 0 18 0 2 0 869333642 300109824 7132 33554432000 4194304 5683644 140733751832176 18446744073709551615 235606690225 0 0 16781312 33554434 18446604465102266496 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.25
Current children cumulated vsize (KiB) 577768
[startup+3.10086 s]
/proc/loadavg: 2.19 2.07 1.38 3/631 3346
/proc/meminfo: memFree=22326308/32950928 swapFree=34366004/67111528
[pid=3338] ppid=3336 vsize=293076 CPUtime=0.47 cores=1,3,5,7
/proc/3338/stat : 3338 (python) S 3336 3338 2236 0 -1 4202496 9620 931 1 0 31 16 0 0 18 0 2 0 869333571 300109824 7132 33554432000 4194304 5683644 140733751832176 18446744073709551615 235606693323 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/3338/statm: 73269 7132 1862 364 0 8156 0
[pid=3344] ppid=3338 vsize=282832 CPUtime=0 cores=1,3,5,7
/proc/3344/stat : 3344 (python) S 3338 3338 2236 0 -1 4202560 723 0 0 0 0 0 0 0 18 0 1 0 869333642 289619968 5618 33554432000 4194304 5683644 140733751832176 18446744073709551615 235594886671 0 0 16781312 33554946 6631837050175717638 0 0 17 1 0 0 0
/proc/3344/statm: 70708 5618 352 364 0 5595 0
[pid=3346] ppid=3344 vsize=1860 CPUtime=2.38 cores=1,3,5,7
/proc/3346/stat : 3346 (clasp-1.3.7-x86) R 3344 3346 3346 0 -1 4202496 466 0 0 0 238 0 0 0 22 0 1 0 869333642 1904640 208 33554432000 134512640 136139019 4291421584 18446744073709551615 134875839 0 0 16781312 16386 0 0 0 17 3 0 0 0
/proc/3346/statm: 465 208 183 398 0 65 0
[pid=3338/tid=3345] ppid=3336 vsize=293076 CPUtime=0 cores=1,3,5,7
/proc/3338/task/3345/stat : 3345 (python) S 3336 3338 2236 0 -1 4202560 26 931 0 0 0 0 0 0 18 0 2 0 869333642 300109824 7132 33554432000 4194304 5683644 140733751832176 18446744073709551615 235606690225 0 0 16781312 33554434 18446604465102266496 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2.85
Current children cumulated vsize (KiB) 577768
[startup+6.30029 s]
/proc/loadavg: 2.19 2.07 1.38 3/631 3346
/proc/meminfo: memFree=22329076/32950928 swapFree=34366004/67111528
[pid=3338] ppid=3336 vsize=293076 CPUtime=0.47 cores=1,3,5,7
/proc/3338/stat : 3338 (python) S 3336 3338 2236 0 -1 4202496 9620 931 1 0 31 16 0 0 18 0 2 0 869333571 300109824 7132 33554432000 4194304 5683644 140733751832176 18446744073709551615 235606693323 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/3338/statm: 73269 7132 1862 364 0 8156 0
[pid=3344] ppid=3338 vsize=282832 CPUtime=0.01 cores=1,3,5,7
/proc/3344/stat : 3344 (python) S 3338 3338 2236 0 -1 4202560 861 0 0 0 1 0 0 0 18 0 1 0 869333642 289619968 5641 33554432000 4194304 5683644 140733751832176 18446744073709551615 235594886671 0 0 16781312 33554946 6631846877060890886 0 0 17 1 0 0 0
/proc/3344/statm: 70708 5641 375 364 0 5595 0
[pid=3346] ppid=3344 vsize=1860 CPUtime=5.58 cores=1,3,5,7
/proc/3346/stat : 3346 (clasp-1.3.7-x86) R 3344 3346 3346 0 -1 4202496 466 0 0 0 558 0 0 0 25 0 1 0 869333642 1904640 208 33554432000 134512640 136139019 4291421584 18446744073709551615 134874996 0 0 16781312 16386 0 0 0 17 3 0 0 0
/proc/3346/statm: 465 208 183 398 0 65 0
[pid=3338/tid=3345] ppid=3336 vsize=293076 CPUtime=0 cores=1,3,5,7
/proc/3338/task/3345/stat : 3345 (python) S 3336 3338 2236 0 -1 4202560 26 931 0 0 0 0 0 0 18 0 2 0 869333642 300109824 7132 33554432000 4194304 5683644 140733751832176 18446744073709551615 235606690225 0 0 16781312 33554434 18446604465102266496 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 6.06
Current children cumulated vsize (KiB) 577768
[startup+12.7002 s]
/proc/loadavg: 2.16 2.07 1.38 3/631 3346
/proc/meminfo: memFree=22364300/32950928 swapFree=34366004/67111528
[pid=3338] ppid=3336 vsize=293076 CPUtime=0.47 cores=1,3,5,7
/proc/3338/stat : 3338 (python) S 3336 3338 2236 0 -1 4202496 9620 931 1 0 31 16 0 0 18 0 2 0 869333571 300109824 7132 33554432000 4194304 5683644 140733751832176 18446744073709551615 235606693323 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/3338/statm: 73269 7132 1862 364 0 8156 0
[pid=3344] ppid=3338 vsize=282832 CPUtime=0.03 cores=1,3,5,7
/proc/3344/stat : 3344 (python) S 3338 3338 2236 0 -1 4202560 865 0 0 0 2 1 0 0 18 0 1 0 869333642 289619968 5642 33554432000 4194304 5683644 140733751832176 18446744073709551615 235594886671 0 0 16781312 33554946 5623311482772007733 0 0 17 1 0 0 0
/proc/3344/statm: 70708 5642 376 364 0 5595 0
[pid=3346] ppid=3344 vsize=1860 CPUtime=11.98 cores=1,3,5,7
/proc/3346/stat : 3346 (clasp-1.3.7-x86) R 3344 3346 3346 0 -1 4202496 467 0 0 0 1198 0 0 0 25 0 1 0 869333642 1904640 209 33554432000 134512640 136139019 4291421584 18446744073709551615 134831196 0 0 16781312 16386 0 0 0 17 3 0 0 0
/proc/3346/statm: 465 209 183 398 0 65 0
[pid=3338/tid=3345] ppid=3336 vsize=293076 CPUtime=0 cores=1,3,5,7
/proc/3338/task/3345/stat : 3345 (python) S 3336 3338 2236 0 -1 4202560 26 931 0 0 0 0 0 0 18 0 2 0 869333642 300109824 7132 33554432000 4194304 5683644 140733751832176 18446744073709551615 235606690225 0 0 16781312 33554434 18446604465102266496 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 12.48
Current children cumulated vsize (KiB) 577768
[startup+25.5009 s]
/proc/loadavg: 2.13 2.07 1.39 3/631 3346
/proc/meminfo: memFree=22398344/32950928 swapFree=34366004/67111528
[pid=3338] ppid=3336 vsize=293076 CPUtime=0.47 cores=1,3,5,7
/proc/3338/stat : 3338 (python) S 3336 3338 2236 0 -1 4202496 9620 931 1 0 31 16 0 0 18 0 2 0 869333571 300109824 7132 33554432000 4194304 5683644 140733751832176 18446744073709551615 235606693323 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/3338/statm: 73269 7132 1862 364 0 8156 0
[pid=3344] ppid=3338 vsize=282832 CPUtime=0.09 cores=1,3,5,7
/proc/3344/stat : 3344 (python) S 3338 3338 2236 0 -1 4202560 873 0 0 0 5 4 0 0 18 0 1 0 869333642 289619968 5642 33554432000 4194304 5683644 140733751832176 18446744073709551615 235594886671 0 0 16781312 33554946 5623311482772007733 0 0 17 1 0 0 0
/proc/3344/statm: 70708 5642 376 364 0 5595 0
[pid=3346] ppid=3344 vsize=1860 CPUtime=24.79 cores=1,3,5,7
/proc/3346/stat : 3346 (clasp-1.3.7-x86) R 3344 3346 3346 0 -1 4202496 467 0 0 0 2479 0 0 0 25 0 1 0 869333642 1904640 209 33554432000 134512640 136139019 4291421584 18446744073709551615 134882950 0 0 16781312 16386 0 0 0 17 3 0 0 0
/proc/3346/statm: 465 209 183 398 0 65 0
[pid=3338/tid=3345] ppid=3336 vsize=293076 CPUtime=0 cores=1,3,5,7
/proc/3338/task/3345/stat : 3345 (python) S 3336 3338 2236 0 -1 4202560 26 931 0 0 0 0 0 0 18 0 2 0 869333642 300109824 7132 33554432000 4194304 5683644 140733751832176 18446744073709551615 235606690225 0 0 16781312 33554434 18446604465102266496 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 25.35
Current children cumulated vsize (KiB) 577768
[startup+51.1004 s]
/proc/loadavg: 2.09 2.06 1.41 3/633 3429
/proc/meminfo: memFree=22400060/32950928 swapFree=34366004/67111528
[pid=3338] ppid=3336 vsize=303876 CPUtime=0.49 cores=1,3,5,7
/proc/3338/stat : 3338 (python) S 3336 3338 2236 0 -1 4202496 10505 931 1 0 33 16 0 0 20 0 3 0 869333571 311169024 7267 33554432000 4194304 5683644 140733751832176 18446744073709551615 235606693323 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/3338/statm: 75969 7267 1873 364 0 10853 0
[pid=3344] ppid=3338 vsize=293076 CPUtime=0.18 cores=1,3,5,7
/proc/3344/stat : 3344 (python) S 3338 3338 2236 0 -1 4202560 1112 0 0 0 9 9 0 0 19 0 2 0 869333642 300109824 5683 33554432000 4194304 5683644 140733751832176 18446744073709551615 235606693323 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/3344/statm: 73269 5683 412 364 0 8156 0
[pid=3346] ppid=3344 vsize=1860 CPUtime=48.18 cores=1,3,5,7
/proc/3346/stat : 3346 (clasp-1.3.7-x86) T 3344 3346 3346 0 -1 4202496 468 0 0 0 4818 0 0 0 25 0 1 0 869333642 1904640 210 33554432000 134512640 136139019 4291421584 18446744073709551615 134831712 0 0 16781312 16386 18446744071562691360 0 0 17 3 0 0 0
/proc/3346/statm: 465 210 183 398 0 65 0
[pid=3344/tid=3425] ppid=3338 vsize=293076 CPUtime=0 cores=1,3,5,7
/proc/3344/task/3425/stat : 3425 (python) S 3338 3338 2236 0 -1 4202560 40 0 0 0 0 0 0 0 19 0 2 0 869338460 300109824 5683 33554432000 4194304 5683644 140733751832176 18446744073709551615 235606690225 0 0 16781312 33554946 18446604465090355456 0 0 -1 7 0 0 0
[pid=3426] ppid=3338 vsize=293632 CPUtime=0 cores=1,3,5,7
/proc/3426/stat : 3426 (python) S 3338 3338 2236 0 -1 4202560 824 0 0 0 0 0 0 0 16 0 1 0 869338463 300679168 5739 33554432000 4194304 5683644 140733751832176 18446744073709551615 235594886726 0 0 16781312 33554946 3025779274343776256 0 0 17 1 0 0 0
/proc/3426/statm: 73408 5739 349 364 0 8292 0
[pid=3429] ppid=3426 vsize=29880 CPUtime=2.18 cores=1,3,5,7
/proc/3429/stat : 3429 (scip-2.0.1.linu) R 3426 3429 3429 0 -1 4202496 5600 0 0 0 158 60 0 0 20 0 1 0 869338463 30597120 4973 33554432000 4194304 13684479 140734340805408 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/3429/statm: 7470 4973 804 2317 0 5148 0
[pid=3338/tid=3345] ppid=3336 vsize=303876 CPUtime=0 cores=1,3,5,7
/proc/3338/task/3345/stat : 3345 (python) S 3336 3338 2236 0 -1 4202560 26 931 0 0 0 0 0 0 18 0 3 0 869333642 311169024 7267 33554432000 4194304 5683644 140733751832176 18446744073709551615 235606690225 0 0 16781312 33554434 18446604465102266496 0 0 -1 1 0 0 0
[pid=3338/tid=3428] ppid=3336 vsize=303876 CPUtime=0 cores=1,3,5,7
/proc/3338/task/3428/stat : 3428 (python) S 3336 3338 2236 0 -1 4202560 29 931 0 0 0 0 0 0 20 0 3 0 869338463 311169024 7267 33554432000 4194304 5683644 140733751832176 18446744073709551615 235606690225 0 0 16781312 33554434 18446604465102266496 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 51.03
Current children cumulated vsize (KiB) 922324
[startup+102.3 s]
/proc/loadavg: 2.08 2.06 1.44 3/637 3436
/proc/meminfo: memFree=22286028/32950928 swapFree=34366004/67111528
[pid=3338] ppid=3336 vsize=303876 CPUtime=0.49 cores=1,3,5,7
/proc/3338/stat : 3338 (python) S 3336 3338 2236 0 -1 4202496 10505 931 1 0 33 16 0 0 20 0 3 0 869333571 311169024 7267 33554432000 4194304 5683644 140733751832176 18446744073709551615 235606693323 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/3338/statm: 75969 7267 1873 364 0 10853 0
[pid=3344] ppid=3338 vsize=293076 CPUtime=0.18 cores=1,3,5,7
/proc/3344/stat : 3344 (python) S 3338 3338 2236 0 -1 4202560 1112 0 0 0 9 9 0 0 19 0 2 0 869333642 300109824 5683 33554432000 4194304 5683644 140733751832176 18446744073709551615 235606693323 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/3344/statm: 73269 5683 412 364 0 8156 0
[pid=3346] ppid=3344 vsize=1860 CPUtime=48.18 cores=1,3,5,7
/proc/3346/stat : 3346 (clasp-1.3.7-x86) T 3344 3346 3346 0 -1 4202496 468 0 0 0 4818 0 0 0 25 0 1 0 869333642 1904640 210 33554432000 134512640 136139019 4291421584 18446744073709551615 134831712 0 0 16781312 16386 18446744071562691360 0 0 17 3 0 0 0
/proc/3346/statm: 465 210 183 398 0 65 0
[pid=3344/tid=3425] ppid=3338 vsize=293076 CPUtime=0 cores=1,3,5,7
/proc/3344/task/3425/stat : 3425 (python) S 3338 3338 2236 0 -1 4202560 40 0 0 0 0 0 0 0 19 0 2 0 869338460 300109824 5683 33554432000 4194304 5683644 140733751832176 18446744073709551615 235606690225 0 0 16781312 33554946 18446604465090355456 0 0 -1 7 0 0 0
[pid=3426] ppid=3338 vsize=294072 CPUtime=0.53 cores=1,3,5,7
/proc/3426/stat : 3426 (python) S 3338 3338 2236 0 -1 4202560 1187 0 0 0 27 26 0 0 16 0 1 0 869338463 301129728 5879 33554432000 4194304 5683644 140733751832176 18446744073709551615 235594886726 0 0 16781312 33554946 3884647268959125504 0 0 17 7 0 0 0
/proc/3426/statm: 73518 5879 376 364 0 8402 0
[pid=3429] ppid=3426 vsize=83152 CPUtime=53.37 cores=1,3,5,7
/proc/3429/stat : 3429 (scip-2.0.1.linu) R 3426 3429 3429 0 -1 4202496 18855 0 0 0 4073 1264 0 0 21 0 1 0 869338463 85147648 18228 33554432000 4194304 13684479 140734340805408 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/3429/statm: 20788 18228 804 2317 0 18466 0
[pid=3338/tid=3345] ppid=3336 vsize=303876 CPUtime=0 cores=1,3,5,7
/proc/3338/task/3345/stat : 3345 (python) S 3336 3338 2236 0 -1 4202560 26 931 0 0 0 0 0 0 18 0 3 0 869333642 311169024 7267 33554432000 4194304 5683644 140733751832176 18446744073709551615 235606690225 0 0 16781312 33554434 18446604465102266496 0 0 -1 1 0 0 0
[pid=3338/tid=3428] ppid=3336 vsize=303876 CPUtime=0 cores=1,3,5,7
/proc/3338/task/3428/stat : 3428 (python) S 3336 3338 2236 0 -1 4202560 29 931 0 0 0 0 0 0 20 0 3 0 869338463 311169024 7267 33554432000 4194304 5683644 140733751832176 18446744073709551615 235606690225 0 0 16781312 33554434 18446604465102266496 0 0 -1 7 0 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 501.46
Current children cumulated vsize (KiB) 20088012
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+497.502 s]
/proc/loadavg: 2.13 2.10 1.67 5/741 3651
/proc/meminfo: memFree=20687200/32950928 swapFree=34366004/67111528
[pid=3338] ppid=3336 vsize=355532 CPUtime=0.67 cores=1,3,5,7
/proc/3338/stat : 3338 (python) S 3336 3338 2236 0 -1 4202496 15003 931 1 0 50 17 0 0 20 0 8 0 869333571 364064768 7385 33554432000 4194304 5683644 140733751832176 18446744073709551615 235606693323 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/3338/statm: 88883 7385 1883 364 0 23752 0
[pid=3344] ppid=3338 vsize=293076 CPUtime=0.37 cores=1,3,5,7
/proc/3344/stat : 3344 (python) S 3338 3338 2236 0 -1 4202560 1139 0 0 0 18 19 0 0 18 0 2 0 869333642 300109824 5684 33554432000 4194304 5683644 140733751832176 18446744073709551615 235606693323 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/3344/statm: 73269 5684 413 364 0 8156 0
[pid=3346] ppid=3344 vsize=1860 CPUtime=94.38 cores=1,3,5,7
/proc/3346/stat : 3346 (clasp-1.3.7-x86) T 3344 3346 3346 0 -1 4202496 469 0 0 0 9438 0 0 0 25 0 1 0 869333642 1904640 211 33554432000 134512640 136139019 4291421584 18446744073709551615 134876516 0 0 16781312 16386 18446744071562691360 0 0 17 3 0 0 0
/proc/3346/statm: 465 211 183 398 0 65 0
[pid=3344/tid=3425] ppid=3338 vsize=293076 CPUtime=0 cores=1,3,5,7
/proc/3344/task/3425/stat : 3425 (python) S 3338 3338 2236 0 -1 4202560 41 0 0 0 0 0 0 0 18 0 2 0 869338460 300109824 5684 33554432000 4194304 5683644 140733751832176 18446744073709551615 235606690225 0 0 16781312 33554946 18446604465090355456 0 0 -1 7 0 0 0
[pid=3426] ppid=3338 vsize=294664 CPUtime=0.64 cores=1,3,5,7
/proc/3426/stat : 3426 (python) S 3338 3338 2236 0 -1 4202560 1370 0 0 0 32 32 0 0 17 0 2 0 869338463 301735936 5923 33554432000 4194304 5683644 140733751832176 18446744073709551615 235606693323 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/3426/statm: 73666 5923 399 364 0 8550 0
[pid=3429] ppid=3426 vsize=96044 CPUtime=63.47 cores=1,3,5,7
/proc/3429/stat : 3429 (scip-2.0.1.linu) T 3426 3429 3429 0 -1 4202496 22105 0 0 0 4862 1485 0 0 20 0 1 0 869338463 98349056 21478 33554432000 4194304 13684479 140734340805408 18446744073709551615 11876362 0 0 16781312 2 18446744071562691360 0 0 17 3 0 0 0
/proc/3429/statm: 24011 21478 804 2317 0 21689 0
[pid=3426/tid=3437] ppid=3338 vsize=294664 CPUtime=0 cores=1,3,5,7
/proc/3426/task/3437/stat : 3437 (python) S 3338 3338 2236 0 -1 4202560 46 0 0 0 0 0 0 0 17 0 2 0 869344811 301735936 5923 33554432000 4194304 5683644 140733751832176 18446744073709551615 235606690225 0 0 16781312 33554946 18446604466600907968 0 0 -1 7 0 0 0
[pid=3438] ppid=3338 vsize=303576 CPUtime=0.41 cores=1,3,5,7
/proc/3438/stat : 3438 (python) S 3338 3338 2236 0 -1 4202560 1126 0 0 0 20 21 0 0 15 0 2 0 869344813 310861824 5730 33554432000 4194304 5683644 140733751832176 18446744073709551615 235606693323 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/3438/statm: 75894 5730 397 364 0 10775 0
[pid=3440] ppid=3438 vsize=170064 CPUtime=97.12 cores=1,3,5,7
/proc/3440/stat : 3440 (wbo1.4a) T 3438 3440 3440 0 -1 4202496 42241 0 0 0 9532 180 0 0 25 0 1 0 869344813 174145536 41977 33554432000 134512640 135751879 4293826224 18446744073709551615 134616437 0 0 16781312 3 18446744071562691360 0 0 17 5 0 0 0
/proc/3440/statm: 42516 41977 143 303 0 42211 0
[pid=3438/tid=3449] ppid=3338 vsize=303576 CPUtime=0 cores=1,3,5,7
/proc/3438/task/3449/stat : 3449 (python) S 3338 3338 2236 0 -1 4202560 50 0 0 0 0 0 0 0 15 0 2 0 869349929 310861824 5730 33554432000 4194304 5683644 140733751832176 18446744073709551615 235606690225 0 0 16781312 33554946 18446604458997355584 0 0 -1 7 0 0 0
[pid=3450] ppid=3338 vsize=314612 CPUtime=0.52 cores=1,3,5,7
/proc/3450/stat : 3450 (python) S 3338 3338 2236 0 -1 4202560 1365 0 0 0 26 26 0 0 17 0 2 0 869349931 322162688 5929 33554432000 4194304 5683644 140733751832176 18446744073709551615 235606693323 0 0 16781312 33554946 18446744073709551615 0 0 17 3 0 0 0
/proc/3450/statm: 78653 5929 399 364 0 13531 0
[pid=3452] ppid=3450 vsize=82020 CPUtime=55.41 cores=1,3,5,7
/proc/3452/stat : 3452 (scip-2.0.1.linu) T 3450 3452 3452 0 -1 4202496 19379 0 0 0 4699 842 0 0 25 0 1 0 869349932 83988480 17251 33554432000 4194304 15243407 140736182976320 18446744073709551615 13277498 0 0 16781312 2 18446744071562691360 0 0 17 1 0 0 0
/proc/3452/statm: 20505 17251 928 2698 0 17800 0
[pid=3450/tid=3455] ppid=3338 vsize=314612 CPUtime=0 cores=1,3,5,7
/proc/3450/task/3455/stat : 3455 (python) S 3338 3338 2236 0 -1 4202560 48 0 0 0 0 0 0 0 17 0 2 0 869355474 322162688 5929 33554432000 4194304 5683644 140733751832176 18446744073709551615 235606690225 0 0 16781312 33554946 18446604463185388736 0 0 -1 3 0 0 0
[pid=3456] ppid=3338 vsize=324328 CPUtime=0.19 cores=1,3,5,7
/proc/3456/stat : 3456 (python) S 3338 3338 2236 0 -1 4202560 1121 0 0 0 9 10 0 0 19 0 2 0 869355477 332111872 5769 33554432000 4194304 5683644 140733751832176 18446744073709551615 235606693323 0 0 16781312 33554946 18446744073709551615 0 0 17 5 0 0 0
/proc/3456/statm: 81082 5769 397 364 0 15957 0
[pid=3459] ppid=3456 vsize=8612488 CPUtime=49.65 cores=1,3,5,7
/proc/3459/stat : 3459 (java) T 3456 3459 3459 0 -1 4202496 78950 0 1 0 4952 13 0 0 15 0 19 0 869355477 8819187712 46029 33554432000 1073741824 1073778376 140734714346608 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/3459/statm: 2153122 46029 2232 9 0 2143863 0
[pid=3459/tid=3460] ppid=3456 vsize=8612488 CPUtime=48.08 cores=1,3,5,7
/proc/3459/task/3460/stat : 3460 (java) T 3456 3459 3459 0 -1 4202560 46973 0 1 0 4802 6 0 0 25 0 19 0 869355478 8819187712 46029 33554432000 1073741824 1073778376 140734714346608 18446744073709551615 46912505687606 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=3459/tid=3461] ppid=3456 vsize=8612488 CPUtime=0.04 cores=1,3,5,7
/proc/3459/task/3461/stat : 3461 (java) T 3456 3459 3459 0 -1 4202560 2063 0 0 0 4 0 0 0 15 0 19 0 869355479 8819187712 46029 33554432000 1073741824 1073778376 140734714346608 18446744073709551615 235606682521 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=3459/tid=3462] ppid=3456 vsize=8612488 CPUtime=0.03 cores=1,3,5,7
/proc/3459/task/3462/stat : 3462 (java) T 3456 3459 3459 0 -1 4202560 2183 0 0 0 3 0 0 0 15 0 19 0 869355479 8819187712 46029 33554432000 1073741824 1073778376 140734714346608 18446744073709551615 235606682521 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=3459/tid=3464] ppid=3456 vsize=8612488 CPUtime=0.05 cores=1,3,5,7
/proc/3459/task/3464/stat : 3464 (java) T 3456 3459 3459 0 -1 4202560 1309 0 0 0 5 0 0 0 15 0 19 0 869355479 8819187712 46029 33554432000 1073741824 1073778376 140734714346608 18446744073709551615 235606682521 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=3459/tid=3465] ppid=3456 vsize=8612488 CPUtime=0.06 cores=1,3,5,7
/proc/3459/task/3465/stat : 3465 (java) T 3456 3459 3459 0 -1 4202560 2500 0 0 0 6 0 0 0 15 0 19 0 869355479 8819187712 46029 33554432000 1073741824 1073778376 140734714346608 18446744073709551615 235606682521 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=3459/tid=3466] ppid=3456 vsize=8612488 CPUtime=0.04 cores=1,3,5,7
/proc/3459/task/3466/stat : 3466 (java) T 3456 3459 3459 0 -1 4202560 2519 0 0 0 4 0 0 0 15 0 19 0 869355479 8819187712 46029 33554432000 1073741824 1073778376 140734714346608 18446744073709551615 235606682521 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=3459/tid=3467] ppid=3456 vsize=8612488 CPUtime=0.04 cores=1,3,5,7
/proc/3459/task/3467/stat : 3467 (java) T 3456 3459 3459 0 -1 4202560 2398 0 0 0 4 0 0 0 15 0 19 0 869355479 8819187712 46029 33554432000 1073741824 1073778376 140734714346608 18446744073709551615 235606682521 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=3459/tid=3469] ppid=3456 vsize=8612488 CPUtime=0.05 cores=1,3,5,7
/proc/3459/task/3469/stat : 3469 (java) T 3456 3459 3459 0 -1 4202560 2926 0 0 0 5 0 0 0 15 0 19 0 869355479 8819187712 46029 33554432000 1073741824 1073778376 140734714346608 18446744073709551615 235606682521 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=3459/tid=3472] ppid=3456 vsize=8612488 CPUtime=0.04 cores=1,3,5,7
/proc/3459/task/3472/stat : 3472 (java) T 3456 3459 3459 0 -1 4202560 1394 0 0 0 4 0 0 0 15 0 19 0 869355479 8819187712 46029 33554432000 1073741824 1073778376 140734714346608 18446744073709551615 235606682521 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=3459/tid=3473] ppid=3456 vsize=8612488 CPUtime=0 cores=1,3,5,7
/proc/3459/task/3473/stat : 3473 (java) T 3456 3459 3459 0 -1 4202560 46 0 0 0 0 0 0 0 15 0 19 0 869355480 8819187712 46029 33554432000 1073741824 1073778376 140734714346608 18446744073709551615 235606683136 0 0 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=3459/tid=3474] ppid=3456 vsize=8612488 CPUtime=0 cores=1,3,5,7
/proc/3459/task/3474/stat : 3474 (java) T 3456 3459 3459 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 869355480 8819187712 46029 33554432000 1073741824 1073778376 140734714346608 18446744073709551615 235606682521 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=3459/tid=3475] ppid=3456 vsize=8612488 CPUtime=0 cores=1,3,5,7
/proc/3459/task/3475/stat : 3475 (java) T 3456 3459 3459 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 869355480 8819187712 46029 33554432000 1073741824 1073778376 140734714346608 18446744073709551615 235606682521 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=3459/tid=3476] ppid=3456 vsize=8612488 CPUtime=0 cores=1,3,5,7
/proc/3459/task/3476/stat : 3476 (java) T 3456 3459 3459 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869355482 8819187712 46029 33554432000 1073741824 1073778376 140734714346608 18446744073709551615 235606690225 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=3459/tid=3477] ppid=3456 vsize=8612488 CPUtime=0.56 cores=1,3,5,7
/proc/3459/task/3477/stat : 3477 (java) T 3456 3459 3459 0 -1 4202560 5689 0 0 0 56 0 0 0 15 0 19 0 869355482 8819187712 46029 33554432000 1073741824 1073778376 140734714346608 18446744073709551615 235606682521 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=3459/tid=3479] ppid=3456 vsize=8612488 CPUtime=0.53 cores=1,3,5,7
/proc/3459/task/3479/stat : 3479 (java) T 3456 3459 3459 0 -1 4202560 7554 0 0 0 52 1 0 0 15 0 19 0 869355482 8819187712 46029 33554432000 1073741824 1073778376 140734714346608 18446744073709551615 235606682521 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=3459/tid=3480] ppid=3456 vsize=8612488 CPUtime=0 cores=1,3,5,7
/proc/3459/task/3480/stat : 3480 (java) T 3456 3459 3459 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869355482 8819187712 46029 33554432000 1073741824 1073778376 140734714346608 18446744073709551615 235606682521 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=3459/tid=3481] ppid=3456 vsize=8612488 CPUtime=0 cores=1,3,5,7
/proc/3459/task/3481/stat : 3481 (java) T 3456 3459 3459 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 869355482 8819187712 46029 33554432000 1073741824 1073778376 140734714346608 18446744073709551615 235606683136 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=3459/tid=3482] ppid=3456 vsize=8612488 CPUtime=0 cores=1,3,5,7
/proc/3459/task/3482/stat : 3482 (java) T 3456 3459 3459 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 869355491 8819187712 46029 33554432000 1073741824 1073778376 140734714346608 18446744073709551615 235606683136 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=3456/tid=3513] ppid=3338 vsize=324328 CPUtime=0 cores=1,3,5,7
/proc/3456/task/3513/stat : 3513 (python) S 3338 3338 2236 0 -1 4202560 47 0 0 0 0 0 0 0 19 0 2 0 869360310 332111872 5769 33554432000 4194304 5683644 140733751832176 18446744073709551615 235606690225 0 0 16781312 33554946 18446604464878486720 0 0 -1 5 0 0 0
[pid=3514] ppid=3338 vsize=335032 CPUtime=0.55 cores=1,3,5,7
/proc/3514/stat : 3514 (python) S 3338 3338 2236 0 -1 4202560 1184 0 0 0 28 27 0 0 19 0 2 0 869360313 343072768 5882 33554432000 4194304 5683644 140733751832176 18446744073709551615 235606693323 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/3514/statm: 83758 5882 397 364 0 18630 0
[pid=3516] ppid=3514 vsize=22512 CPUtime=137.55 cores=1,3,5,7
/proc/3516/stat : 3516 (bsolo_pb10) T 3514 3516 3516 0 -1 4202496 1519 0 0 0 13734 21 0 0 25 0 1 0 869360313 23052288 1246 33554432000 134512640 137138936 4288767296 18446744073709551615 134542325 0 0 16781312 16384 18446744071562691360 0 0 17 3 0 0 0
/proc/3516/statm: 5628 1246 192 642 0 4984 0
[pid=3514/tid=3619] ppid=3338 vsize=335032 CPUtime=0 cores=1,3,5,7
/proc/3514/task/3619/stat : 3619 (python) S 3338 3338 2236 0 -1 4202560 47 0 0 0 0 0 0 0 19 0 2 0 869374069 343072768 5882 33554432000 4194304 5683644 140733751832176 18446744073709551615 235606690225 0 0 16781312 33554946 18446604460564632704 0 0 -1 7 0 0 0
[pid=3631] ppid=3338 vsize=345288 CPUtime=0 cores=1,3,5,7
/proc/3631/stat : 3631 (python) S 3338 3338 2236 0 -1 4202560 842 0 0 0 0 0 0 0 18 0 1 0 869383293 353574912 5847 33554432000 4194304 5683644 140733751832176 18446744073709551615 235594886726 0 0 16781312 33554946 4294934791 0 0 17 3 0 0 0
/proc/3631/statm: 86322 5847 349 364 0 21191 0
[pid=3633] ppid=3631 vsize=8536916 CPUtime=0.53 cores=1,3,5,7
/proc/3633/stat : 3633 (java) S 3631 3633 3633 0 -1 4202496 11774 0 1 0 51 2 0 0 20 0 19 0 869383293 8741801984 10112 33554432000 1073741824 1073778376 140733224959104 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0
/proc/3633/statm: 2134229 10113 2202 9 0 2124970 0
[pid=3633/tid=3634] ppid=3631 vsize=8536916 CPUtime=0.29 cores=1,3,5,7
/proc/3633/task/3634/stat : 3634 (java) R 3631 3633 3633 0 -1 4202560 7537 0 1 0 28 1 0 0 25 0 19 0 869383294 8741801984 10397 33554432000 1073741824 1073778376 140733224959104 18446744073709551615 46912505520754 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=3633/tid=3635] ppid=3631 vsize=8536916 CPUtime=0 cores=1,3,5,7
/proc/3633/task/3635/stat : 3635 (java) S 3631 3633 3633 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 869383295 8741801984 10398 33554432000 1073741824 1073778376 140733224959104 18446744073709551615 235606682521 0 4 0 16800975 18446604454814559168 0 0 -1 7 0 0 0
[pid=3633/tid=3636] ppid=3631 vsize=8536916 CPUtime=0 cores=1,3,5,7
/proc/3633/task/3636/stat : 3636 (java) S 3631 3633 3633 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 869383295 8741801984 10399 33554432000 1073741824 1073778376 140733224959104 18446744073709551615 235606682521 0 4 0 16800975 18446604454814559168 0 0 -1 7 0 0 0
[pid=3633/tid=3637] ppid=3631 vsize=8536916 CPUtime=0 cores=1,3,5,7
/proc/3633/task/3637/stat : 3637 (java) S 3631 3633 3633 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 869383295 8741801984 10401 33554432000 1073741824 1073778376 140733224959104 18446744073709551615 235606682521 0 4 0 16800975 18446604454814559168 0 0 -1 7 0 0 0
[pid=3633/tid=3638] ppid=3631 vsize=8536916 CPUtime=0 cores=1,3,5,7
/proc/3633/task/3638/stat : 3638 (java) S 3631 3633 3633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869383295 8741801984 10401 33554432000 1073741824 1073778376 140733224959104 18446744073709551615 235606682521 0 4 0 16800975 18446604454814559168 0 0 -1 3 0 0 0
[pid=3633/tid=3639] ppid=3631 vsize=8536916 CPUtime=0 cores=1,3,5,7
/proc/3633/task/3639/stat : 3639 (java) S 3631 3633 3633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869383295 8741801984 10403 33554432000 1073741824 1073778376 140733224959104 18446744073709551615 235606682521 0 4 0 16800975 18446604454814559168 0 0 -1 3 0 0 0
[pid=3633/tid=3640] ppid=3631 vsize=8536916 CPUtime=0 cores=1,3,5,7
/proc/3633/task/3640/stat : 3640 (java) S 3631 3633 3633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869383295 8741801984 10403 33554432000 1073741824 1073778376 140733224959104 18446744073709551615 235606682521 0 4 0 16800975 18446604454814559168 0 0 -1 3 0 0 0
[pid=3633/tid=3641] ppid=3631 vsize=8536916 CPUtime=0 cores=1,3,5,7
/proc/3633/task/3641/stat : 3641 (java) S 3631 3633 3633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869383295 8741801984 10404 33554432000 1073741824 1073778376 140733224959104 18446744073709551615 235606682521 0 4 0 16800975 18446604454814559168 0 0 -1 3 0 0 0
[pid=3633/tid=3642] ppid=3631 vsize=8536916 CPUtime=0 cores=1,3,5,7
/proc/3633/task/3642/stat : 3642 (java) S 3631 3633 3633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869383295 8741801984 10405 33554432000 1073741824 1073778376 140733224959104 18446744073709551615 235606682521 0 4 0 16800975 18446604454814559168 0 0 -1 3 0 0 0
[pid=3633/tid=3643] ppid=3631 vsize=8536916 CPUtime=0 cores=1,3,5,7
/proc/3633/task/3643/stat : 3643 (java) S 3631 3633 3633 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 869383296 8741801984 10406 33554432000 1073741824 1073778376 140733224959104 18446744073709551615 235606683136 0 0 0 16800975 18446604454814559168 0 0 -1 7 0 0 0
[pid=3633/tid=3644] ppid=3631 vsize=8536916 CPUtime=0 cores=1,3,5,7
/proc/3633/task/3644/stat : 3644 (java) S 3631 3633 3633 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 869383296 8741801984 10407 33554432000 1073741824 1073778376 140733224959104 18446744073709551615 235606682521 0 4 0 16800975 18446604454814559168 0 0 -1 7 0 0 0
[pid=3633/tid=3645] ppid=3631 vsize=8536916 CPUtime=0 cores=1,3,5,7
/proc/3633/task/3645/stat : 3645 (java) S 3631 3633 3633 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 19 0 869383296 8741801984 10407 33554432000 1073741824 1073778376 140733224959104 18446744073709551615 235606682521 0 4 0 16800975 18446604454814559168 0 0 -1 3 0 0 0
[pid=3633/tid=3646] ppid=3631 vsize=8536916 CPUtime=0 cores=1,3,5,7
/proc/3633/task/3646/stat : 3646 (java) S 3631 3633 3633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869383298 8741801984 10409 33554432000 1073741824 1073778376 140733224959104 18446744073709551615 235606690225 0 4 0 16800975 18446604454814559168 0 0 -1 7 0 0 0
[pid=3633/tid=3647] ppid=3631 vsize=8536916 CPUtime=0.1 cores=1,3,5,7
/proc/3633/task/3647/stat : 3647 (java) S 3631 3633 3633 0 -1 4202560 1479 0 0 0 10 0 0 0 25 0 19 0 869383298 8741801984 10410 33554432000 1073741824 1073778376 140733224959104 18446744073709551615 235606682521 0 4 0 16800975 18446604454814559168 0 0 -1 1 0 0 0
[pid=3633/tid=3648] ppid=3631 vsize=8536916 CPUtime=0.12 cores=1,3,5,7
/proc/3633/task/3648/stat : 3648 (java) R 3631 3633 3633 0 -1 4202560 1641 0 0 0 12 0 0 0 25 0 19 0 869383298 8741801984 10410 33554432000 1073741824 1073778376 140733224959104 18446744073709551615 235606682521 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=3633/tid=3649] ppid=3631 vsize=8536916 CPUtime=0 cores=1,3,5,7
/proc/3633/task/3649/stat : 3649 (java) S 3631 3633 3633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869383298 8741801984 10412 33554432000 1073741824 1073778376 140733224959104 18446744073709551615 235606682521 0 4 0 16800975 18446604454814559168 0 0 -1 7 0 0 0
[pid=3633/tid=3650] ppid=3631 vsize=8536916 CPUtime=0 cores=1,3,5,7
/proc/3633/task/3650/stat : 3650 (java) R 3631 3633 3633 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 869383298 8741801984 10413 33554432000 1073741824 1073778376 140733224959104 18446744073709551615 235606683136 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=3633/tid=3651] ppid=3631 vsize=8536916 CPUtime=0 cores=1,3,5,7
/proc/3633/task/3651/stat : 3651 (java) S 3631 3633 3633 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 869383307 8741801984 10413 33554432000 1073741824 1073778376 140733224959104 18446744073709551615 235606683136 0 4 0 16800975 18446604454814559168 0 0 -1 3 0 0 0
[pid=3338/tid=3345] ppid=3336 vsize=355532 CPUtime=0 cores=1,3,5,7
/proc/3338/task/3345/stat : 3345 (python) S 3336 3338 2236 0 -1 4202560 31 931 0 0 0 0 0 0 18 0 8 0 869333642 364064768 7385 33554432000 4194304 5683644 140733751832176 18446744073709551615 235606690225 0 0 16781312 33554434 18446604465102266496 0 0 -1 1 0 0 0
[pid=3338/tid=3428] ppid=3336 vsize=355532 CPUtime=0 cores=1,3,5,7
/proc/3338/task/3428/stat : 3428 (python) S 3336 3338 2236 0 -1 4202560 29 931 0 0 0 0 0 0 20 0 8 0 869338463 364064768 7385 33554432000 4194304 5683644 140733751832176 18446744073709551615 235606690225 0 0 16781312 33554434 18446604465102266496 0 0 -1 7 0 0 0
[pid=3338/tid=3439] ppid=3336 vsize=355532 CPUtime=0 cores=1,3,5,7
/proc/3338/task/3439/stat : 3439 (python) S 3336 3338 2236 0 -1 4202560 36 931 0 0 0 0 0 0 18 0 8 0 869344813 364064768 7385 33554432000 4194304 5683644 140733751832176 18446744073709551615 235606690225 0 0 16781312 33554434 18446604465102266496 0 0 -1 7 0 0 0
[pid=3338/tid=3451] ppid=3336 vsize=355532 CPUtime=0 cores=1,3,5,7
/proc/3338/task/3451/stat : 3451 (python) S 3336 3338 2236 0 -1 4202560 29 931 0 0 0 0 0 0 20 0 8 0 869349932 364064768 7385 33554432000 4194304 5683644 140733751832176 18446744073709551615 235606690225 0 0 16781312 33554434 18446604465102266496 0 0 -1 7 0 0 0
[pid=3338/tid=3458] ppid=3336 vsize=355532 CPUtime=0 cores=1,3,5,7
/proc/3338/task/3458/stat : 3458 (python) S 3336 3338 2236 0 -1 4202560 28 931 0 0 0 0 0 0 20 0 8 0 869355477 364064768 7385 33554432000 4194304 5683644 140733751832176 18446744073709551615 235606690225 0 0 16781312 33554434 18446604465102266496 0 0 -1 1 0 0 0
[pid=3338/tid=3515] ppid=3336 vsize=355532 CPUtime=0 cores=1,3,5,7
/proc/3338/task/3515/stat : 3515 (python) S 3336 3338 2236 0 -1 4202560 30 931 0 0 0 0 0 0 20 0 8 0 869360313 364064768 7385 33554432000 4194304 5683644 140733751832176 18446744073709551615 235606690225 0 0 16781312 33554434 18446604465102266496 0 0 -1 7 0 0 0
[pid=3338/tid=3632] ppid=3336 vsize=355532 CPUtime=0 cores=1,3,5,7
/proc/3338/task/3632/stat : 3632 (python) S 3336 3338 2236 0 -1 4202560 29 931 0 0 0 0 0 0 20 0 8 0 869383293 364064768 7385 33554432000 4194304 5683644 140733751832176 18446744073709551615 235606690225 0 0 16781312 33554434 18446604465102266496 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 501.46
Current children cumulated vsize (KiB) 20088012
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 3338 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=505923
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=178972
# CPU time returned by wait4() is 0.684895
# while last known CPU time is 501.46
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 497.593
CPU time (s): 501.46
CPU user time (s): 474.51
CPU system time (s): 26.95
CPU usage (%): 100.777
Max. virtual memory (cumulated for all children) (KiB): 20088012
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.505923
system time used= 0.178972
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15939
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= 2878
involuntary context switches= 32
runsolver used 3.20051 second user time and 7.38888 second system time
The end