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-3481588-1307578394/watcher-3481588-1307578394 -o /tmp/evaluation-result-3481588-1307578394/solver-3481588-1307578394 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3481588-1307578394.opb -seed 744328838 -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.03 2.14 1.87 2/794 4099
/proc/meminfo: memFree=10550924/32950928 swapFree=34366004/67111528
[pid=4099] ppid=4097 vsize=15780 CPUtime=0 cores=0,2,4,6
/proc/4099/stat : 4099 (python) R 4097 4099 2236 0 -1 4202496 911 0 0 0 0 0 0 0 25 0 1 0 869438203 16158720 791 33554432000 4194304 5683644 140735150660752 18446744073709551615 235594527429 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/4099/statm: 3945 794 346 364 0 432 0
[startup+0.060812 s]
/proc/loadavg: 2.03 2.14 1.87 2/794 4099
/proc/meminfo: memFree=10550924/32950928 swapFree=34366004/67111528
[pid=4099] ppid=4097 vsize=40976 CPUtime=0.04 cores=0,2,4,6
/proc/4099/stat : 4099 (python) R 4097 4099 2236 0 -1 4202496 1678 0 0 0 3 1 0 0 25 0 1 0 869438203 41959424 1502 33554432000 4194304 5683644 140735150660752 18446744073709551615 4540219 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/4099/statm: 10244 1502 463 364 0 1027 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 40976
[startup+0.100805 s]
/proc/loadavg: 2.03 2.14 1.87 2/794 4099
/proc/meminfo: memFree=10550924/32950928 swapFree=34366004/67111528
[pid=4099] ppid=4097 vsize=96128 CPUtime=0.08 cores=0,2,4,6
/proc/4099/stat : 4099 (python) R 4097 4099 2236 0 -1 4202496 3169 929 1 0 6 2 0 0 25 0 1 0 869438203 98435072 2483 33554432000 4194304 5683644 140735150660752 18446744073709551615 5158262 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/4099/statm: 24032 2483 792 364 0 1627 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 96128
[startup+0.30077 s]
/proc/loadavg: 2.03 2.14 1.87 2/794 4099
/proc/meminfo: memFree=10550924/32950928 swapFree=34366004/67111528
[pid=4099] ppid=4097 vsize=154352 CPUtime=0.2 cores=0,2,4,6
/proc/4099/stat : 4099 (python) D 4097 4099 2236 0 -1 4202496 5716 929 1 0 14 6 0 0 25 0 1 0 869438203 158056448 4053 33554432000 4194304 5683644 140735150660752 18446744073709551615 235589942919 0 0 16781312 2 18446744071696489144 0 0 17 2 0 0 0
/proc/4099/statm: 38588 4053 1083 364 0 3229 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 154352
[startup+0.700699 s]
/proc/loadavg: 2.03 2.14 1.87 2/794 4099
/proc/meminfo: memFree=10550924/32950928 swapFree=34366004/67111528
[pid=4099] ppid=4097 vsize=154352 CPUtime=0.2 cores=0,2,4,6
/proc/4099/stat : 4099 (python) D 4097 4099 2236 0 -1 4202496 5716 929 1 0 14 6 0 0 25 0 1 0 869438203 158056448 4053 33554432000 4194304 5683644 140735150660752 18446744073709551615 235589942919 0 0 16781312 2 18446744071696489144 0 0 17 2 0 0 0
/proc/4099/statm: 38588 4053 1083 364 0 3229 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 154352
[startup+1.50056 s]
/proc/loadavg: 2.26 2.18 1.89 2/795 4105
/proc/meminfo: memFree=10528712/32950928 swapFree=34366004/67111528
[pid=4099] ppid=4097 vsize=283604 CPUtime=0.41 cores=0,2,4,6
/proc/4099/stat : 4099 (python) R 4097 4099 2236 0 -1 4202496 9495 929 1 0 30 11 0 0 16 0 1 0 869438203 290410496 7223 33554432000 4194304 5683644 140735150660752 18446744073709551615 235594886671 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/4099/statm: 70901 7223 1777 364 0 5794 0
Current children cumulated CPU time (s) 0.41
Current children cumulated vsize (KiB) 283604
[startup+3.10033 s]
/proc/loadavg: 2.26 2.18 1.89 3/795 4106
/proc/meminfo: memFree=10491388/32950928 swapFree=34366004/67111528
[pid=4099] ppid=4097 vsize=312448 CPUtime=2.42 cores=0,2,4,6
/proc/4099/stat : 4099 (python) S 4097 4099 2236 0 -1 4202496 20690 1544 1 0 172 26 35 9 19 0 2 0 869438203 319946752 11951 33554432000 4194304 5683644 140735150660752 18446744073709551615 235606693323 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0
/proc/4099/statm: 78112 11951 1871 364 0 12999 0
Current children cumulated CPU time (s) 2.42
Current children cumulated vsize (KiB) 312448
heavy processes:
[startup+6.30082 s]
/proc/loadavg: 2.26 2.18 1.89 3/798 4109
/proc/meminfo: memFree=10211756/32950928 swapFree=34366004/67111528
[pid=4099] ppid=4097 vsize=312448 CPUtime=2.42 cores=0,2,4,6
/proc/4099/stat : 4099 (python) S 4097 4099 2236 0 -1 4202496 20690 1544 1 0 172 26 35 9 19 0 2 0 869438203 319946752 11951 33554432000 4194304 5683644 140735150660752 18446744073709551615 235606693323 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0
/proc/4099/statm: 78112 11951 1871 364 0 12999 0
[pid=4107] ppid=4099 vsize=302204 CPUtime=0 cores=0,2,4,6
/proc/4107/stat : 4107 (python) S 4099 4099 2236 0 -1 4202560 708 0 0 0 0 0 0 0 15 0 1 0 869438512 309456896 10394 33554432000 4194304 5683644 140735150660752 18446744073709551615 235594886671 0 0 16781312 33554946 11074534797203177730 0 0 17 2 0 0 0
/proc/4107/statm: 75551 10394 318 364 0 10438 0
[pid=4109] ppid=4107 vsize=296884 CPUtime=3.2 cores=0,2,4,6
/proc/4109/stat : 4109 (scip-2.0.1.linu) R 4107 4109 4109 0 -1 4202496 72627 0 0 0 305 15 0 0 25 0 1 0 869438513 304009216 68653 33554432000 4194304 13684479 140736054411568 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/4109/statm: 74221 68653 788 2317 0 71899 0
[pid=4099/tid=4108] ppid=4097 vsize=312448 CPUtime=0.44 cores=0,2,4,6
/proc/4099/task/4108/stat : 4108 (python) S 4097 4099 2236 0 -1 4202560 29 1544 0 0 0 0 35 9 19 0 2 0 869438513 319946752 11951 33554432000 4194304 5683644 140735150660752 18446744073709551615 235606690225 0 0 16781312 33554434 18446604453983266688 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 5.62
Current children cumulated vsize (KiB) 911536
[startup+12.7007 s]
/proc/loadavg: 2.30 2.19 1.89 3/798 4109
/proc/meminfo: memFree=10162252/32950928 swapFree=34366004/67111528
[pid=4099] ppid=4097 vsize=312448 CPUtime=2.42 cores=0,2,4,6
/proc/4099/stat : 4099 (python) S 4097 4099 2236 0 -1 4202496 20690 1544 1 0 172 26 35 9 19 0 2 0 869438203 319946752 11951 33554432000 4194304 5683644 140735150660752 18446744073709551615 235606693323 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0
/proc/4099/statm: 78112 11951 1871 364 0 12999 0
[pid=4107] ppid=4099 vsize=302204 CPUtime=0.04 cores=0,2,4,6
/proc/4107/stat : 4107 (python) S 4099 4099 2236 0 -1 4202560 859 0 0 0 2 2 0 0 15 0 1 0 869438512 309456896 10418 33554432000 4194304 5683644 140735150660752 18446744073709551615 235594886671 0 0 16781312 33554946 72262103200705252 0 0 17 2 0 0 0
/proc/4107/statm: 75551 10418 342 364 0 10438 0
[pid=4109] ppid=4107 vsize=309944 CPUtime=9.59 cores=0,2,4,6
/proc/4109/stat : 4109 (scip-2.0.1.linu) R 4107 4109 4109 0 -1 4202496 77465 0 0 0 943 16 0 0 25 0 1 0 869438513 317382656 73210 33554432000 4194304 13684479 140736054411568 18446744073709551615 7390852 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/4109/statm: 77486 73210 787 2317 0 75164 0
[pid=4099/tid=4108] ppid=4097 vsize=312448 CPUtime=0.44 cores=0,2,4,6
/proc/4099/task/4108/stat : 4108 (python) S 4097 4099 2236 0 -1 4202560 29 1544 0 0 0 0 35 9 19 0 2 0 869438513 319946752 11951 33554432000 4194304 5683644 140735150660752 18446744073709551615 235606690225 0 0 16781312 33554434 18446604453983266688 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 12.05
Current children cumulated vsize (KiB) 924596
[startup+25.5004 s]
/proc/loadavg: 2.25 2.19 1.90 3/798 4109
/proc/meminfo: memFree=10161140/32950928 swapFree=34366004/67111528
[pid=4099] ppid=4097 vsize=312448 CPUtime=2.42 cores=0,2,4,6
/proc/4099/stat : 4099 (python) S 4097 4099 2236 0 -1 4202496 20690 1544 1 0 172 26 35 9 19 0 2 0 869438203 319946752 11951 33554432000 4194304 5683644 140735150660752 18446744073709551615 235606693323 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0
/proc/4099/statm: 78112 11951 1871 364 0 12999 0
[pid=4107] ppid=4099 vsize=302204 CPUtime=0.07 cores=0,2,4,6
/proc/4107/stat : 4107 (python) S 4099 4099 2236 0 -1 4202560 865 0 0 0 3 4 0 0 15 0 1 0 869438512 309456896 10418 33554432000 4194304 5683644 140735150660752 18446744073709551615 235594886671 0 0 16781312 33554946 72262103200705252 0 0 17 2 0 0 0
/proc/4107/statm: 75551 10418 342 364 0 10438 0
[pid=4109] ppid=4107 vsize=309944 CPUtime=22.39 cores=0,2,4,6
/proc/4109/stat : 4109 (scip-2.0.1.linu) R 4107 4109 4109 0 -1 4202496 77485 0 0 0 2222 17 0 0 25 0 1 0 869438513 317382656 73228 33554432000 4194304 13684479 140736054411568 18446744073709551615 7399887 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/4109/statm: 77486 73228 789 2317 0 75164 0
[pid=4099/tid=4108] ppid=4097 vsize=312448 CPUtime=0.44 cores=0,2,4,6
/proc/4099/task/4108/stat : 4108 (python) S 4097 4099 2236 0 -1 4202560 29 1544 0 0 0 0 35 9 19 0 2 0 869438513 319946752 11951 33554432000 4194304 5683644 140735150660752 18446744073709551615 235606690225 0 0 16781312 33554434 18446604453983266688 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 24.88
Current children cumulated vsize (KiB) 924596
[startup+51.1009 s]
/proc/loadavg: 2.16 2.17 1.90 3/798 4110
/proc/meminfo: memFree=10146200/32950928 swapFree=34366004/67111528
[pid=4099] ppid=4097 vsize=312448 CPUtime=2.42 cores=0,2,4,6
/proc/4099/stat : 4099 (python) S 4097 4099 2236 0 -1 4202496 20690 1544 1 0 172 26 35 9 19 0 2 0 869438203 319946752 11951 33554432000 4194304 5683644 140735150660752 18446744073709551615 235606693323 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0
/proc/4099/statm: 78112 11951 1871 364 0 12999 0
[pid=4107] ppid=4099 vsize=302204 CPUtime=0.18 cores=0,2,4,6
/proc/4107/stat : 4107 (python) S 4099 4099 2236 0 -1 4202560 873 0 0 0 9 9 0 0 15 0 1 0 869438512 309456896 10418 33554432000 4194304 5683644 140735150660752 18446744073709551615 235594886671 0 0 16781312 33554946 72262103200705252 0 0 17 2 0 0 0
/proc/4107/statm: 75551 10418 342 364 0 10438 0
[pid=4109] ppid=4107 vsize=320508 CPUtime=47.97 cores=0,2,4,6
/proc/4109/stat : 4109 (scip-2.0.1.linu) R 4107 4109 4109 0 -1 4202496 79935 0 0 0 4778 19 0 0 25 0 1 0 869438513 328200192 75636 33554432000 4194304 13684479 140736054411568 18446744073709551615 7390491 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/4109/statm: 80127 75636 747 2317 0 77805 0
[pid=4099/tid=4108] ppid=4097 vsize=312448 CPUtime=0.44 cores=0,2,4,6
/proc/4099/task/4108/stat : 4108 (python) S 4097 4099 2236 0 -1 4202560 29 1544 0 0 0 0 35 9 19 0 2 0 869438513 319946752 11951 33554432000 4194304 5683644 140735150660752 18446744073709551615 235606690225 0 0 16781312 33554434 18446604453983266688 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 50.57
Current children cumulated vsize (KiB) 935160
[startup+102.32 s]
/proc/loadavg: 2.10 2.15 1.91 3/807 4120
/proc/meminfo: memFree=9819644/32950928 swapFree=34366004/67111528
[pid=4099] ppid=4097 vsize=332960 CPUtime=2.47 cores=0,2,4,6
/proc/4099/stat : 4099 (python) S 4097 4099 2236 0 -1 4202496 22471 1544 1 0 177 26 35 9 20 0 4 0 869438203 340951040 11964 33554432000 4194304 5683644 140735150660752 18446744073709551615 235606693323 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/4099/statm: 83240 11964 1876 364 0 18121 0
[pid=4107] ppid=4099 vsize=312448 CPUtime=0.2 cores=0,2,4,6
/proc/4107/stat : 4107 (python) S 4099 4099 2236 0 -1 4202560 1072 0 0 0 10 10 0 0 16 0 2 0 869438512 319946752 10486 33554432000 4194304 5683644 140735150660752 18446744073709551615 235606693323 0 0 16781312 33554946 18446744073709551615 0 0 17 2 0 0 0
/proc/4107/statm: 78112 10486 405 364 0 12999 0
[pid=4109] ppid=4107 vsize=320508 CPUtime=48.57 cores=0,2,4,6
/proc/4109/stat : 4109 (scip-2.0.1.linu) T 4107 4109 4109 0 -1 4202496 79935 0 0 0 4838 19 0 0 25 0 1 0 869438513 328200192 75636 33554432000 4194304 13684479 140736054411568 18446744073709551615 7159761 0 0 16781312 2 18446744071562691360 0 0 17 6 0 0 0
/proc/4109/statm: 80127 75636 747 2317 0 77805 0
[pid=4107/tid=4111] ppid=4099 vsize=312448 CPUtime=0 cores=0,2,4,6
/proc/4107/task/4111/stat : 4111 (python) S 4099 4099 2236 0 -1 4202560 46 0 0 0 0 0 0 0 16 0 2 0 869443373 319946752 10486 33554432000 4194304 5683644 140735150660752 18446744073709551615 235606690225 0 0 16781312 33554946 18446604445184576320 0 0 -1 2 0 0 0
[pid=4112] ppid=4099 vsize=312460 CPUtime=0.21 cores=0,2,4,6
/proc/4112/stat : 4112 (python) S 4099 4099 2236 0 -1 4202560 1118 0 0 0 11 10 0 0 17 0 2 0 869443375 319959040 10471 33554432000 4194304 5683644 140735150660752 18446744073709551615 235606693323 0 0 16781312 33554946 18446744073709551615 0 0 17 0 0 0 0
/proc/4112/statm: 78115 10471 390 364 0 12999 0
[pid=4114] ppid=4112 vsize=75004 CPUtime=45.99 cores=0,2,4,6
/proc/4114/stat : 4114 (wbo1.4a) T 4112 4114 4114 0 -1 4202496 20353 0 0 0 4591 8 0 0 25 0 1 0 869443376 76804096 18049 33554432000 134512640 135751879 4288622256 18446744073709551615 134616276 0 0 16781312 3 18446744071562691360 0 0 17 6 0 0 0
/proc/4114/statm: 18751 18049 146 303 0 18446 0
[pid=4112/tid=4117] ppid=4099 vsize=312460 CPUtime=0 cores=0,2,4,6
/proc/4112/task/4117/stat : 4117 (python) S 4099 4099 2236 0 -1 4202560 48 0 0 0 0 0 0 0 17 0 2 0 869447983 319959040 10471 33554432000 4194304 5683644 140735150660752 18446744073709551615 235606690225 0 0 16781312 33554946 18446604448271136064 0 0 -1 0 0 0 0
[pid=4118] ppid=4099 vsize=322716 CPUtime=0.01 cores=0,2,4,6
/proc/4118/stat : 4118 (python) S 4099 4099 2236 0 -1 4202560 918 0 0 0 0 1 0 0 15 0 1 0 869447985 330461184 10427 33554432000 4194304 5683644 140735150660752 18446744073709551615 235594886726 0 0 16781312 33554946 13060588560329965828 0 0 17 6 0 0 0
/proc/4118/statm: 80679 10427 343 364 0 15560 0
[pid=4120] ppid=4118 vsize=286748 CPUtime=4.48 cores=0,2,4,6
/proc/4120/stat : 4120 (scip-2.0.1.linu) R 4118 4120 4120 0 -1 4202496 71934 0 0 0 434 14 0 0 25 0 1 0 869447986 293629952 61357 33554432000 4194304 15243407 140735742739344 18446744073709551615 7128842 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/4120/statm: 71687 61357 821 2698 0 68982 0
[pid=4099/tid=4108] ppid=4097 vsize=332960 CPUtime=0.44 cores=0,2,4,6
/proc/4099/task/4108/stat : 4108 (python) S 4097 4099 2236 0 -1 4202560 29 1544 0 0 0 0 35 9 19 0 4 0 869438513 340951040 11964 33554432000 4194304 5683644 140735150660752 18446744073709551615 235606690225 0 0 16781312 33554434 18446604453983266688 0 0 -1 6 0 0 0
[pid=4099/tid=4113] ppid=4097 vsize=332960 CPUtime=0.44 cores=0,2,4,6
/proc/4099/task/4113/stat : 4113 (python) S 4097 4099 2236 0 -1 4202560 29 1544 0 0 0 0 35 9 20 0 4 0 869443376 340951040 11964 33554432000 4194304 5683644 140735150660752 18446744073709551615 235606690225 0 0 16781312 33554434 18446604453983266688 0 0 -1 2 0 0 0
[pid=4099/tid=4119] ppid=4097 vsize=332960 CPUtime=0.44 cores=0,2,4,6
/proc/4099/task/4119/stat : 4119 (python) S 4097 4099 2236 0 -1 4202560 26 1544 0 0 0 0 35 9 20 0 4 0 869447986 340951040 11964 33554432000 4194304 5683644 140735150660752 18446744073709551615 235606690225 0 0 16781312 33554434 18446604453983266688 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 101.93
Current children cumulated vsize (KiB) 1962844
[startup+162.301 s]
/proc/loadavg: 2.25 2.18 1.93 3/829 4144
/proc/meminfo: memFree=8746656/32950928 swapFree=34366004/67111528
[pid=4099] ppid=4097 vsize=343216 CPUtime=2.5 cores=0,2,4,6
/proc/4099/stat : 4099 (python) S 4097 4099 2236 0 -1 4202496 23372 1544 1 0 179 27 35 9 20 0 5 0 869438203 351453184 11970 33554432000 4194304 5683644 140735150660752 18446744073709551615 235606693323 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0
/proc/4099/statm: 85804 11970 1878 364 0 20682 0
[pid=4107] ppid=4099 vsize=312448 CPUtime=0.2 cores=0,2,4,6
/proc/4107/stat : 4107 (python) S 4099 4099 2236 0 -1 4202560 1072 0 0 0 10 10 0 0 16 0 2 0 869438512 319946752 10486 33554432000 4194304 5683644 140735150660752 18446744073709551615 235606693323 0 0 16781312 33554946 18446744073709551615 0 0 17 2 0 0 0
/proc/4107/statm: 78112 10486 405 364 0 12999 0
[pid=4109] ppid=4107 vsize=320508 CPUtime=48.57 cores=0,2,4,6
/proc/4109/stat : 4109 (scip-2.0.1.linu) T 4107 4109 4109 0 -1 4202496 79935 0 0 0 4838 19 0 0 25 0 1 0 869438513 328200192 75636 33554432000 4194304 13684479 140736054411568 18446744073709551615 7159761 0 0 16781312 2 18446744071562691360 0 0 17 6 0 0 0
/proc/4109/statm: 80127 75636 747 2317 0 77805 0
################
# More data... #
################
[pid=4099/tid=4108] ppid=4097 vsize=363728 CPUtime=0.44 cores=0,2,4,6
/proc/4099/task/4108/stat : 4108 (python) S 4097 4099 2236 0 -1 4202560 35 1544 0 0 0 0 35 9 18 0 7 0 869438513 372457472 11982 33554432000 4194304 5683644 140735150660752 18446744073709551615 235606690225 0 0 16781312 33554434 18446604453983266688 0 0 -1 0 0 0 0
[pid=4099/tid=4113] ppid=4097 vsize=363728 CPUtime=0.44 cores=0,2,4,6
/proc/4099/task/4113/stat : 4113 (python) S 4097 4099 2236 0 -1 4202560 29 1544 0 0 0 0 35 9 20 0 7 0 869443376 372457472 11982 33554432000 4194304 5683644 140735150660752 18446744073709551615 235606690225 0 0 16781312 33554434 18446604453983266688 0 0 -1 2 0 0 0
[pid=4099/tid=4119] ppid=4097 vsize=363728 CPUtime=0.44 cores=0,2,4,6
/proc/4099/task/4119/stat : 4119 (python) S 4097 4099 2236 0 -1 4202560 31 1544 0 0 0 0 35 9 18 0 7 0 869447986 372457472 11982 33554432000 4194304 5683644 140735150660752 18446744073709551615 235606690225 0 0 16781312 33554434 18446604453983266688 0 0 -1 6 0 0 0
[pid=4099/tid=4124] ppid=4097 vsize=363728 CPUtime=0.44 cores=0,2,4,6
/proc/4099/task/4124/stat : 4124 (python) S 4097 4099 2236 0 -1 4202560 30 1544 0 0 0 0 35 9 20 0 7 0 869452849 372457472 11982 33554432000 4194304 5683644 140735150660752 18446744073709551615 235606690225 0 0 16781312 33554434 18446604453983266688 0 0 -1 2 0 0 0
[pid=4099/tid=4277] ppid=4097 vsize=363728 CPUtime=0.44 cores=0,2,4,6
/proc/4099/task/4277/stat : 4277 (python) S 4097 4099 2236 0 -1 4202560 24 1544 0 0 0 0 35 9 20 0 7 0 869457579 372457472 11982 33554432000 4194304 5683644 140735150660752 18446744073709551615 235606690225 0 0 16781312 33554434 18446604453983266688 0 0 -1 2 0 0 0
[pid=4099/tid=4366] ppid=4097 vsize=363728 CPUtime=0.44 cores=0,2,4,6
/proc/4099/task/4366/stat : 4366 (python) S 4097 4099 2236 0 -1 4202560 25 1544 0 0 0 0 35 9 20 0 7 0 869476173 372457472 11982 33554432000 4194304 5683644 140735150660752 18446744073709551615 235606690225 0 0 16781312 33554434 18446604453983266688 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 384.47
Current children cumulated vsize (KiB) 20246332
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+380.502 s]
/proc/loadavg: 2.64 2.30 2.03 4/839 4384
/proc/meminfo: memFree=8246864/32950928 swapFree=34366004/67111528
[pid=4099] ppid=4097 vsize=363728 CPUtime=2.6 cores=0,2,4,6
/proc/4099/stat : 4099 (python) S 4097 4099 2236 0 -1 4202496 25256 1544 1 0 189 27 35 9 20 0 7 0 869438203 372457472 11982 33554432000 4194304 5683644 140735150660752 18446744073709551615 235606693323 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/4099/statm: 90932 11982 1882 364 0 25804 0
[pid=4107] ppid=4099 vsize=312448 CPUtime=0.42 cores=0,2,4,6
/proc/4107/stat : 4107 (python) S 4099 4099 2236 0 -1 4202560 1099 0 0 0 21 21 0 0 15 0 2 0 869438512 319946752 10487 33554432000 4194304 5683644 140735150660752 18446744073709551615 235606693323 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/4107/statm: 78112 10487 406 364 0 12999 0
[pid=4109] ppid=4107 vsize=334916 CPUtime=93.79 cores=0,2,4,6
/proc/4109/stat : 4109 (scip-2.0.1.linu) T 4107 4109 4109 0 -1 4202496 83486 0 0 0 9357 22 0 0 25 0 1 0 869438513 342953984 79187 33554432000 4194304 13684479 140736054411568 18446744073709551615 7388929 0 0 16781312 2 18446744071562691360 0 0 17 0 0 0 0
/proc/4109/statm: 83729 79187 747 2317 0 81407 0
[pid=4107/tid=4111] ppid=4099 vsize=312448 CPUtime=0 cores=0,2,4,6
/proc/4107/task/4111/stat : 4111 (python) S 4099 4099 2236 0 -1 4202560 47 0 0 0 0 0 0 0 15 0 2 0 869443373 319946752 10487 33554432000 4194304 5683644 140735150660752 18446744073709551615 235606690225 0 0 16781312 33554946 18446604445184576320 0 0 -1 2 0 0 0
[pid=4112] ppid=4099 vsize=312460 CPUtime=0.21 cores=0,2,4,6
/proc/4112/stat : 4112 (python) S 4099 4099 2236 0 -1 4202560 1118 0 0 0 11 10 0 0 17 0 2 0 869443375 319959040 10471 33554432000 4194304 5683644 140735150660752 18446744073709551615 235606693323 0 0 16781312 33554946 18446744073709551615 0 0 17 0 0 0 0
/proc/4112/statm: 78115 10471 390 364 0 12999 0
[pid=4114] ppid=4112 vsize=75004 CPUtime=45.99 cores=0,2,4,6
/proc/4114/stat : 4114 (wbo1.4a) T 4112 4114 4114 0 -1 4202496 20353 0 0 0 4591 8 0 0 25 0 1 0 869443376 76804096 18049 33554432000 134512640 135751879 4288622256 18446744073709551615 134616276 0 0 16781312 3 18446744071562691360 0 0 17 6 0 0 0
/proc/4114/statm: 18751 18049 146 303 0 18446 0
[pid=4112/tid=4117] ppid=4099 vsize=312460 CPUtime=0 cores=0,2,4,6
/proc/4112/task/4117/stat : 4117 (python) S 4099 4099 2236 0 -1 4202560 48 0 0 0 0 0 0 0 17 0 2 0 869447983 319959040 10471 33554432000 4194304 5683644 140735150660752 18446744073709551615 235606690225 0 0 16781312 33554946 18446604448271136064 0 0 -1 0 0 0 0
[pid=4118] ppid=4099 vsize=322716 CPUtime=0.42 cores=0,2,4,6
/proc/4118/stat : 4118 (python) S 4099 4099 2236 0 -1 4202560 1147 0 0 0 20 22 0 0 15 0 2 0 869447985 330461184 10475 33554432000 4194304 5683644 140735150660752 18446744073709551615 235606693323 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/4118/statm: 80679 10475 390 364 0 15560 0
[pid=4120] ppid=4118 vsize=301620 CPUtime=93.82 cores=0,2,4,6
/proc/4120/stat : 4120 (scip-2.0.1.linu) T 4118 4120 4120 0 -1 4202496 241321 0 0 0 9339 43 0 0 25 0 1 0 869447986 308858880 62406 33554432000 4194304 15243407 140735742739344 18446744073709551615 8129104 0 0 16781312 2 18446744071562691360 0 0 17 2 0 0 0
/proc/4120/statm: 75405 62406 837 2698 0 72700 0
[pid=4118/tid=4122] ppid=4099 vsize=322716 CPUtime=0 cores=0,2,4,6
/proc/4118/task/4122/stat : 4122 (python) S 4099 4099 2236 0 -1 4202560 46 0 0 0 0 0 0 0 15 0 2 0 869452847 330461184 10475 33554432000 4194304 5683644 140735150660752 18446744073709551615 235606690225 0 0 16781312 33554946 18446604453391672320 0 0 -1 6 0 0 0
[pid=4123] ppid=4099 vsize=332972 CPUtime=0.21 cores=0,2,4,6
/proc/4123/stat : 4123 (python) S 4099 4099 2236 0 -1 4202560 1147 0 0 0 11 10 0 0 16 0 2 0 869452849 340963328 10479 33554432000 4194304 5683644 140735150660752 18446744073709551615 235606693323 0 0 16781312 33554946 18446744073709551615 0 0 17 2 0 0 0
/proc/4123/statm: 83243 10479 390 364 0 18121 0
[pid=4125] ppid=4123 vsize=8542908 CPUtime=49.4 cores=0,2,4,6
/proc/4125/stat : 4125 (java) T 4123 4125 4125 0 -1 4202496 292026 0 1 0 4902 38 0 0 18 0 19 0 869452849 8747937792 288750 33554432000 1073741824 1073778376 140734367994016 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/4125/statm: 2135727 288750 2249 9 0 2126468 0
[pid=4125/tid=4126] ppid=4123 vsize=8542908 CPUtime=46.95 cores=0,2,4,6
/proc/4125/task/4126/stat : 4126 (java) T 4123 4125 4125 0 -1 4202560 233792 0 1 0 4667 28 0 0 25 0 19 0 869452850 8747937792 288750 33554432000 1073741824 1073778376 140734367994016 18446744073709551615 46912506057757 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=4125/tid=4127] ppid=4123 vsize=8542908 CPUtime=0.11 cores=0,2,4,6
/proc/4125/task/4127/stat : 4127 (java) T 4123 4125 4125 0 -1 4202560 8079 0 0 0 10 1 0 0 15 0 19 0 869452851 8747937792 288750 33554432000 1073741824 1073778376 140734367994016 18446744073709551615 235606682521 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=4125/tid=4128] ppid=4123 vsize=8542908 CPUtime=0.11 cores=0,2,4,6
/proc/4125/task/4128/stat : 4128 (java) T 4123 4125 4125 0 -1 4202560 7827 0 0 0 11 0 0 0 15 0 19 0 869452851 8747937792 288750 33554432000 1073741824 1073778376 140734367994016 18446744073709551615 235606682521 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=4125/tid=4129] ppid=4123 vsize=8542908 CPUtime=0.07 cores=0,2,4,6
/proc/4125/task/4129/stat : 4129 (java) T 4123 4125 4125 0 -1 4202560 5450 0 0 0 7 0 0 0 15 0 19 0 869452851 8747937792 288750 33554432000 1073741824 1073778376 140734367994016 18446744073709551615 235606682521 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=4125/tid=4130] ppid=4123 vsize=8542908 CPUtime=0.1 cores=0,2,4,6
/proc/4125/task/4130/stat : 4130 (java) T 4123 4125 4125 0 -1 4202560 7423 0 0 0 9 1 0 0 15 0 19 0 869452851 8747937792 288750 33554432000 1073741824 1073778376 140734367994016 18446744073709551615 235606682521 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=4125/tid=4131] ppid=4123 vsize=8542908 CPUtime=0.06 cores=0,2,4,6
/proc/4125/task/4131/stat : 4131 (java) T 4123 4125 4125 0 -1 4202560 4327 0 0 0 6 0 0 0 15 0 19 0 869452851 8747937792 288750 33554432000 1073741824 1073778376 140734367994016 18446744073709551615 235606682521 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=4125/tid=4132] ppid=4123 vsize=8542908 CPUtime=0.07 cores=0,2,4,6
/proc/4125/task/4132/stat : 4132 (java) T 4123 4125 4125 0 -1 4202560 5720 0 0 0 6 1 0 0 15 0 19 0 869452851 8747937792 288750 33554432000 1073741824 1073778376 140734367994016 18446744073709551615 235606682521 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=4125/tid=4133] ppid=4123 vsize=8542908 CPUtime=0 cores=0,2,4,6
/proc/4125/task/4133/stat : 4133 (java) T 4123 4125 4125 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 869452851 8747937792 288750 33554432000 1073741824 1073778376 140734367994016 18446744073709551615 235606682521 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=4125/tid=4134] ppid=4123 vsize=8542908 CPUtime=0.09 cores=0,2,4,6
/proc/4125/task/4134/stat : 4134 (java) T 4123 4125 4125 0 -1 4202560 7613 0 0 0 8 1 0 0 15 0 19 0 869452851 8747937792 288750 33554432000 1073741824 1073778376 140734367994016 18446744073709551615 235606682521 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=4125/tid=4135] ppid=4123 vsize=8542908 CPUtime=0 cores=0,2,4,6
/proc/4125/task/4135/stat : 4135 (java) T 4123 4125 4125 0 -1 4202560 967 0 0 0 0 0 0 0 15 0 19 0 869452852 8747937792 288750 33554432000 1073741824 1073778376 140734367994016 18446744073709551615 235606683136 0 0 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=4125/tid=4136] ppid=4123 vsize=8542908 CPUtime=0 cores=0,2,4,6
/proc/4125/task/4136/stat : 4136 (java) T 4123 4125 4125 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 869452852 8747937792 288750 33554432000 1073741824 1073778376 140734367994016 18446744073709551615 235606682521 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=4125/tid=4137] ppid=4123 vsize=8542908 CPUtime=0 cores=0,2,4,6
/proc/4125/task/4137/stat : 4137 (java) T 4123 4125 4125 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 869452852 8747937792 288750 33554432000 1073741824 1073778376 140734367994016 18446744073709551615 235606682521 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=4125/tid=4138] ppid=4123 vsize=8542908 CPUtime=0 cores=0,2,4,6
/proc/4125/task/4138/stat : 4138 (java) T 4123 4125 4125 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869452855 8747937792 288750 33554432000 1073741824 1073778376 140734367994016 18446744073709551615 235606690225 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=4125/tid=4139] ppid=4123 vsize=8542908 CPUtime=0.85 cores=0,2,4,6
/proc/4125/task/4139/stat : 4139 (java) T 4123 4125 4125 0 -1 4202560 5597 0 0 0 84 1 0 0 15 0 19 0 869452855 8747937792 288750 33554432000 1073741824 1073778376 140734367994016 18446744073709551615 235606682521 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=4125/tid=4140] ppid=4123 vsize=8542908 CPUtime=0.89 cores=0,2,4,6
/proc/4125/task/4140/stat : 4140 (java) T 4123 4125 4125 0 -1 4202560 3832 0 0 0 89 0 0 0 15 0 19 0 869452855 8747937792 288750 33554432000 1073741824 1073778376 140734367994016 18446744073709551615 235606682521 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=4125/tid=4141] ppid=4123 vsize=8542908 CPUtime=0 cores=0,2,4,6
/proc/4125/task/4141/stat : 4141 (java) T 4123 4125 4125 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869452855 8747937792 288750 33554432000 1073741824 1073778376 140734367994016 18446744073709551615 235606682521 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=4125/tid=4142] ppid=4123 vsize=8542908 CPUtime=0 cores=0,2,4,6
/proc/4125/task/4142/stat : 4142 (java) T 4123 4125 4125 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 869452855 8747937792 288750 33554432000 1073741824 1073778376 140734367994016 18446744073709551615 235606683136 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=4125/tid=4143] ppid=4123 vsize=8542908 CPUtime=0 cores=0,2,4,6
/proc/4125/task/4143/stat : 4143 (java) T 4123 4125 4125 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 869452930 8747937792 288750 33554432000 1073741824 1073778376 140734367994016 18446744073709551615 235606683136 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=4123/tid=4275] ppid=4099 vsize=332972 CPUtime=0 cores=0,2,4,6
/proc/4123/task/4275/stat : 4275 (python) S 4099 4099 2236 0 -1 4202560 49 0 0 0 0 0 0 0 16 0 2 0 869457576 340963328 10479 33554432000 4194304 5683644 140735150660752 18446744073709551615 235606690225 0 0 16781312 33554946 18446604444333802752 0 0 -1 2 0 0 0
[pid=4276] ppid=4099 vsize=343228 CPUtime=0.41 cores=0,2,4,6
/proc/4276/stat : 4276 (python) S 4099 4099 2236 0 -1 4202560 1223 0 0 0 21 20 0 0 16 0 2 0 869457579 351465472 10489 33554432000 4194304 5683644 140735150660752 18446744073709551615 235606693323 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/4276/statm: 85807 10489 396 364 0 20682 0
[pid=4278] ppid=4276 vsize=103392 CPUtime=95.42 cores=0,2,4,6
/proc/4278/stat : 4278 (clasp-1.3.7-x86) T 4276 4278 4278 0 -1 4202496 26110 0 0 0 9538 4 0 0 25 0 1 0 869457579 105873408 25187 33554432000 134512640 136139019 4294892192 18446744073709551615 134627103 0 0 16781312 16386 18446744071562691360 0 0 17 0 0 0 0
/proc/4278/statm: 25848 25187 189 398 0 25448 0
[pid=4276/tid=4290] ppid=4099 vsize=343228 CPUtime=0 cores=0,2,4,6
/proc/4276/task/4290/stat : 4290 (python) S 4099 4099 2236 0 -1 4202560 45 0 0 0 0 0 0 0 17 0 2 0 869467122 351465472 10489 33554432000 4194304 5683644 140735150660752 18446744073709551615 235606690225 0 0 16781312 33554946 18446604443259993088 0 0 -1 6 0 0 0
[pid=4365] ppid=4099 vsize=353484 CPUtime=0 cores=0,2,4,6
/proc/4365/stat : 4365 (python) S 4099 4099 2236 0 -1 4202560 804 0 0 0 0 0 0 0 19 0 1 0 869476173 361967616 10415 33554432000 4194304 5683644 140735150660752 18446744073709551615 235594886726 0 0 16781312 33554946 3200011769531596800 0 0 17 0 0 0 0
/proc/4365/statm: 88371 10415 319 364 0 23243 0
[pid=4367] ppid=4365 vsize=8547456 CPUtime=1.78 cores=0,2,4,6
/proc/4367/stat : 4367 (java) S 4365 4367 4367 0 -1 4202496 57137 0 1 0 170 8 0 0 21 0 18 0 869476173 8752594944 53669 33554432000 1073741824 1073778376 140733795749296 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/4367/statm: 2136864 53669 2236 9 0 2127605 0
[pid=4367/tid=4368] ppid=4365 vsize=8547456 CPUtime=0.73 cores=0,2,4,6
/proc/4367/task/4368/stat : 4368 (java) R 4365 4367 4367 0 -1 4202560 35255 0 1 0 68 5 0 0 25 0 18 0 869476174 8752594944 53669 33554432000 1073741824 1073778376 140733795749296 18446744073709551615 46912505504760 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=4367/tid=4369] ppid=4365 vsize=8547456 CPUtime=0.05 cores=0,2,4,6
/proc/4367/task/4369/stat : 4369 (java) S 4365 4367 4367 0 -1 4202560 4226 0 0 0 5 0 0 0 16 0 18 0 869476175 8752594944 53669 33554432000 1073741824 1073778376 140733795749296 18446744073709551615 235606682521 0 4 0 16800975 18446604452163625024 0 0 -1 6 0 0 0
[pid=4367/tid=4370] ppid=4365 vsize=8547456 CPUtime=0.02 cores=0,2,4,6
/proc/4367/task/4370/stat : 4370 (java) S 4365 4367 4367 0 -1 4202560 2261 0 0 0 2 0 0 0 17 0 18 0 869476175 8752594944 53669 33554432000 1073741824 1073778376 140733795749296 18446744073709551615 235606682521 0 4 0 16800975 18446604452163625024 0 0 -1 2 0 0 0
[pid=4367/tid=4371] ppid=4365 vsize=8547456 CPUtime=0.03 cores=0,2,4,6
/proc/4367/task/4371/stat : 4371 (java) S 4365 4367 4367 0 -1 4202560 2890 0 0 0 3 0 0 0 18 0 18 0 869476175 8752594944 53669 33554432000 1073741824 1073778376 140733795749296 18446744073709551615 235606682521 0 4 0 16800975 18446604452163625024 0 0 -1 2 0 0 0
[pid=4367/tid=4372] ppid=4365 vsize=8547456 CPUtime=0 cores=0,2,4,6
/proc/4367/task/4372/stat : 4372 (java) S 4365 4367 4367 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 18 0 869476175 8752594944 53669 33554432000 1073741824 1073778376 140733795749296 18446744073709551615 235606682521 0 4 0 16800975 18446604452163625024 0 0 -1 2 0 0 0
[pid=4367/tid=4373] ppid=4365 vsize=8547456 CPUtime=0.01 cores=0,2,4,6
/proc/4367/task/4373/stat : 4373 (java) S 4365 4367 4367 0 -1 4202560 1020 0 0 0 1 0 0 0 18 0 18 0 869476175 8752594944 53669 33554432000 1073741824 1073778376 140733795749296 18446744073709551615 235606682521 0 4 0 16800975 18446604452163625024 0 0 -1 6 0 0 0
[pid=4367/tid=4374] ppid=4365 vsize=8547456 CPUtime=0 cores=0,2,4,6
/proc/4367/task/4374/stat : 4374 (java) S 4365 4367 4367 0 -1 4202560 620 0 0 0 0 0 0 0 18 0 18 0 869476175 8752594944 53669 33554432000 1073741824 1073778376 140733795749296 18446744073709551615 235606682521 0 4 0 16800975 18446604452163625024 0 0 -1 4 0 0 0
[pid=4367/tid=4375] ppid=4365 vsize=8547456 CPUtime=0 cores=0,2,4,6
/proc/4367/task/4375/stat : 4375 (java) S 4365 4367 4367 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 18 0 869476175 8752594944 53669 33554432000 1073741824 1073778376 140733795749296 18446744073709551615 235606682521 0 4 0 16800975 18446604452163625024 0 0 -1 2 0 0 0
[pid=4367/tid=4376] ppid=4365 vsize=8547456 CPUtime=0 cores=0,2,4,6
/proc/4367/task/4376/stat : 4376 (java) S 4365 4367 4367 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 18 0 869476175 8752594944 53669 33554432000 1073741824 1073778376 140733795749296 18446744073709551615 235606682521 0 4 0 16800975 18446604452163625024 0 0 -1 2 0 0 0
[pid=4367/tid=4377] ppid=4365 vsize=8547456 CPUtime=0 cores=0,2,4,6
/proc/4367/task/4377/stat : 4377 (java) S 4365 4367 4367 0 -1 4202560 73 0 0 0 0 0 0 0 18 0 18 0 869476176 8752594944 53669 33554432000 1073741824 1073778376 140733795749296 18446744073709551615 235606683136 0 0 0 16800975 18446604452163625024 0 0 -1 0 0 0 0
[pid=4367/tid=4378] ppid=4365 vsize=8547456 CPUtime=0 cores=0,2,4,6
/proc/4367/task/4378/stat : 4378 (java) S 4365 4367 4367 0 -1 4202560 17 0 0 0 0 0 0 0 19 0 18 0 869476176 8752594944 53669 33554432000 1073741824 1073778376 140733795749296 18446744073709551615 235606682521 0 4 0 16800975 18446604452163625024 0 0 -1 6 0 0 0
[pid=4367/tid=4379] ppid=4365 vsize=8547456 CPUtime=0 cores=0,2,4,6
/proc/4367/task/4379/stat : 4379 (java) S 4365 4367 4367 0 -1 4202560 10 0 0 0 0 0 0 0 19 0 18 0 869476176 8752594944 53669 33554432000 1073741824 1073778376 140733795749296 18446744073709551615 235606682521 0 4 0 16800975 18446604452163625024 0 0 -1 6 0 0 0
[pid=4367/tid=4380] ppid=4365 vsize=8547456 CPUtime=0 cores=0,2,4,6
/proc/4367/task/4380/stat : 4380 (java) S 4365 4367 4367 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869476179 8752594944 53669 33554432000 1073741824 1073778376 140733795749296 18446744073709551615 235606690225 0 4 0 16800975 18446604452163625024 0 0 -1 6 0 0 0
[pid=4367/tid=4381] ppid=4365 vsize=8547456 CPUtime=0.46 cores=0,2,4,6
/proc/4367/task/4381/stat : 4381 (java) S 4365 4367 4367 0 -1 4202560 5193 0 0 0 46 0 0 0 25 0 18 0 869476179 8752594944 53669 33554432000 1073741824 1073778376 140733795749296 18446744073709551615 235606682521 0 4 0 16800975 18446604452163625024 0 0 -1 0 0 0 0
[pid=4367/tid=4382] ppid=4365 vsize=8547456 CPUtime=0.42 cores=0,2,4,6
/proc/4367/task/4382/stat : 4382 (java) S 4365 4367 4367 0 -1 4202560 4213 0 0 0 42 0 0 0 25 0 18 0 869476179 8752594944 53669 33554432000 1073741824 1073778376 140733795749296 18446744073709551615 235606682521 0 4 0 16800975 18446604452163625024 0 0 -1 2 0 0 0
[pid=4367/tid=4383] ppid=4365 vsize=8547456 CPUtime=0 cores=0,2,4,6
/proc/4367/task/4383/stat : 4383 (java) S 4365 4367 4367 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869476179 8752594944 53669 33554432000 1073741824 1073778376 140733795749296 18446744073709551615 235606682521 0 4 0 16800975 18446604452163625024 0 0 -1 6 0 0 0
[pid=4367/tid=4384] ppid=4365 vsize=8547456 CPUtime=0 cores=0,2,4,6
/proc/4367/task/4384/stat : 4384 (java) S 4365 4367 4367 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 18 0 869476179 8752594944 53669 33554432000 1073741824 1073778376 140733795749296 18446744073709551615 235606683136 0 4 0 16800975 18446604452163625024 0 0 -1 2 0 0 0
[pid=4099/tid=4108] ppid=4097 vsize=363728 CPUtime=0.44 cores=0,2,4,6
/proc/4099/task/4108/stat : 4108 (python) S 4097 4099 2236 0 -1 4202560 35 1544 0 0 0 0 35 9 18 0 7 0 869438513 372457472 11982 33554432000 4194304 5683644 140735150660752 18446744073709551615 235606690225 0 0 16781312 33554434 18446604453983266688 0 0 -1 0 0 0 0
[pid=4099/tid=4113] ppid=4097 vsize=363728 CPUtime=0.44 cores=0,2,4,6
/proc/4099/task/4113/stat : 4113 (python) S 4097 4099 2236 0 -1 4202560 29 1544 0 0 0 0 35 9 20 0 7 0 869443376 372457472 11982 33554432000 4194304 5683644 140735150660752 18446744073709551615 235606690225 0 0 16781312 33554434 18446604453983266688 0 0 -1 2 0 0 0
[pid=4099/tid=4119] ppid=4097 vsize=363728 CPUtime=0.44 cores=0,2,4,6
/proc/4099/task/4119/stat : 4119 (python) S 4097 4099 2236 0 -1 4202560 31 1544 0 0 0 0 35 9 18 0 7 0 869447986 372457472 11982 33554432000 4194304 5683644 140735150660752 18446744073709551615 235606690225 0 0 16781312 33554434 18446604453983266688 0 0 -1 6 0 0 0
[pid=4099/tid=4124] ppid=4097 vsize=363728 CPUtime=0.44 cores=0,2,4,6
/proc/4099/task/4124/stat : 4124 (python) S 4097 4099 2236 0 -1 4202560 30 1544 0 0 0 0 35 9 20 0 7 0 869452849 372457472 11982 33554432000 4194304 5683644 140735150660752 18446744073709551615 235606690225 0 0 16781312 33554434 18446604453983266688 0 0 -1 2 0 0 0
[pid=4099/tid=4277] ppid=4097 vsize=363728 CPUtime=0.44 cores=0,2,4,6
/proc/4099/task/4277/stat : 4277 (python) S 4097 4099 2236 0 -1 4202560 24 1544 0 0 0 0 35 9 20 0 7 0 869457579 372457472 11982 33554432000 4194304 5683644 140735150660752 18446744073709551615 235606690225 0 0 16781312 33554434 18446604453983266688 0 0 -1 2 0 0 0
[pid=4099/tid=4366] ppid=4097 vsize=363728 CPUtime=0.44 cores=0,2,4,6
/proc/4099/task/4366/stat : 4366 (python) S 4097 4099 2236 0 -1 4202560 25 1544 0 0 0 0 35 9 20 0 7 0 869476173 372457472 11982 33554432000 4194304 5683644 140735150660752 18446744073709551615 235606690225 0 0 16781312 33554434 18446604453983266688 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 384.47
Current children cumulated vsize (KiB) 20246332
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 4099 and gives
# childrusage.ru_utime.tv_sec=2
# childrusage.ru_utime.tv_usec=250657
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=374943
# CPU time returned by wait4() is 2.6256
# while last known CPU time is 384.47
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 380.591
CPU time (s): 384.47
CPU user time (s): 382.05
CPU system time (s): 2.42
CPU usage (%): 101.019
Max. virtual memory (cumulated for all children) (KiB): 20246332
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.25066
system time used= 0.374943
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 26804
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= 24343
involuntary context switches= 35
runsolver used 2.84157 second user time and 6.09607 second system time
The end