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-3481210-1307578647/watcher-3481210-1307578647 -o /tmp/evaluation-result-3481210-1307578647/solver-3481210-1307578647 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3481210-1307578647.opb -seed 288235640 -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.14 2.16 1.94 2/817 4224
/proc/meminfo: memFree=11403408/32950928 swapFree=41528364/67111528
[pid=4224] ppid=4222 vsize=15776 CPUtime=0 cores=0,2,4,6
/proc/4224/stat : 4224 (python) R 4222 4224 2544 0 -1 4202496 868 0 0 0 0 0 0 0 25 0 1 0 869463510 16154624 750 33554432000 4194304 5683644 140736345596640 18446744073709551615 4663568 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/4224/statm: 3944 751 343 364 0 431 0
[startup+0.0623319 s]
/proc/loadavg: 2.14 2.16 1.94 2/817 4224
/proc/meminfo: memFree=11403408/32950928 swapFree=41528364/67111528
[pid=4224] ppid=4222 vsize=29788 CPUtime=0.04 cores=0,2,4,6
/proc/4224/stat : 4224 (python) S 4222 4224 2544 0 -1 4202496 1461 0 0 0 3 1 0 0 25 0 1 0 869463510 30502912 1301 33554432000 4194304 5683644 140736345596640 18446744073709551615 251814238208 0 2147483391 16781312 2 18446744071699215550 0 0 17 2 0 0 0
/proc/4224/statm: 7447 1301 443 364 0 817 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 29788
[startup+0.100324 s]
/proc/loadavg: 2.14 2.16 1.94 2/817 4224
/proc/meminfo: memFree=11403408/32950928 swapFree=41528364/67111528
[pid=4224] ppid=4222 vsize=87828 CPUtime=0.06 cores=0,2,4,6
/proc/4224/stat : 4224 (python) R 4222 4224 2544 0 -1 4202496 2689 0 0 0 5 1 0 0 25 0 1 0 869463510 89935872 2405 33554432000 4194304 5683644 140736345596640 18446744073709551615 4570865 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/4224/statm: 21957 2405 733 364 0 1622 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 87828
[startup+0.300291 s]
/proc/loadavg: 2.14 2.16 1.94 2/817 4224
/proc/meminfo: memFree=11403408/32950928 swapFree=41528364/67111528
[pid=4224] ppid=4222 vsize=123740 CPUtime=0.17 cores=0,2,4,6
/proc/4224/stat : 4224 (python) S 4222 4224 2544 0 -1 4202496 5357 930 1 0 12 5 0 0 25 0 1 0 869463510 126709760 3744 33554432000 4194304 5683644 140736345596640 18446744073709551615 251814236165 0 2147483391 16781312 2 18446744071699215550 0 0 17 2 0 0 0
/proc/4224/statm: 30935 3744 987 364 0 2767 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 123740
[startup+0.700273 s]
/proc/loadavg: 2.14 2.16 1.94 2/817 4224
/proc/meminfo: memFree=11403408/32950928 swapFree=41528364/67111528
[pid=4224] ppid=4222 vsize=284044 CPUtime=0.45 cores=0,2,4,6
/proc/4224/stat : 4224 (python) R 4222 4224 2544 0 -1 4202496 9459 930 1 0 34 11 0 0 25 0 1 0 869463510 290861056 7322 33554432000 4194304 5683644 140736345596640 18446744073709551615 4445115 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/4224/statm: 71011 7322 1781 364 0 5904 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 284044
[startup+1.50103 s]
/proc/loadavg: 2.14 2.16 1.94 3/821 4232
/proc/meminfo: memFree=11348804/32950928 swapFree=41528364/67111528
[pid=4224] ppid=4222 vsize=294844 CPUtime=0.55 cores=0,2,4,6
/proc/4224/stat : 4224 (python) S 4222 4224 2544 0 -1 4202496 9913 930 1 0 44 11 0 0 25 0 2 0 869463510 301920256 7550 33554432000 4194304 5683644 140736345596640 18446744073709551615 251826066891 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0
/proc/4224/statm: 73711 7550 1870 364 0 8598 0
[pid=4230] ppid=4224 vsize=284600 CPUtime=0 cores=0,2,4,6
/proc/4230/stat : 4230 (python) S 4224 4224 2544 0 -1 4202560 746 0 0 0 0 0 0 0 19 0 1 0 869463590 291430400 6028 33554432000 4194304 5683644 140736345596640 18446744073709551615 251814260239 0 0 16781312 33554946 235933510030852096 0 0 17 6 0 0 0
/proc/4230/statm: 71150 6028 352 364 0 6037 0
[pid=4232] ppid=4230 vsize=44244 CPUtime=0.68 cores=0,2,4,6
/proc/4232/stat : 4232 (scip-2.0.1.linu) R 4230 4232 4232 0 -1 4202496 9590 0 0 0 67 1 0 0 25 0 1 0 869463590 45305856 8833 33554432000 4194304 13684479 140733203694976 18446744073709551615 4900240 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/4232/statm: 11061 8833 791 2317 0 8739 0
[pid=4224/tid=4231] ppid=4222 vsize=294844 CPUtime=0 cores=0,2,4,6
/proc/4224/task/4231/stat : 4231 (python) S 4222 4224 2544 0 -1 4202560 26 930 0 0 0 0 0 0 25 0 2 0 869463590 301920256 7550 33554432000 4194304 5683644 140736345596640 18446744073709551615 251826063793 0 0 16781312 33554434 18446604445404468480 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.23
Current children cumulated vsize (KiB) 623688
[startup+3.10076 s]
/proc/loadavg: 2.13 2.16 1.94 3/821 4232
/proc/meminfo: memFree=11337396/32950928 swapFree=41528364/67111528
[pid=4224] ppid=4222 vsize=294844 CPUtime=0.55 cores=0,2,4,6
/proc/4224/stat : 4224 (python) S 4222 4224 2544 0 -1 4202496 9913 930 1 0 44 11 0 0 25 0 2 0 869463510 301920256 7550 33554432000 4194304 5683644 140736345596640 18446744073709551615 251826066891 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0
/proc/4224/statm: 73711 7550 1870 364 0 8598 0
[pid=4230] ppid=4224 vsize=284600 CPUtime=0 cores=0,2,4,6
/proc/4230/stat : 4230 (python) S 4224 4224 2544 0 -1 4202560 748 0 0 0 0 0 0 0 15 0 1 0 869463590 291430400 6028 33554432000 4194304 5683644 140736345596640 18446744073709551615 251814260239 0 0 16781312 33554946 2502571808658554880 0 0 17 6 0 0 0
/proc/4230/statm: 71150 6028 352 364 0 6037 0
[pid=4232] ppid=4230 vsize=48260 CPUtime=2.28 cores=0,2,4,6
/proc/4232/stat : 4232 (scip-2.0.1.linu) R 4230 4232 4232 0 -1 4202496 14256 0 0 0 223 5 0 0 25 0 1 0 869463590 49418240 9850 33554432000 4194304 13684479 140733203694976 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/4232/statm: 12065 9850 820 2317 0 9743 0
[pid=4224/tid=4231] ppid=4222 vsize=294844 CPUtime=0 cores=0,2,4,6
/proc/4224/task/4231/stat : 4231 (python) S 4222 4224 2544 0 -1 4202560 26 930 0 0 0 0 0 0 25 0 2 0 869463590 301920256 7550 33554432000 4194304 5683644 140736345596640 18446744073709551615 251826063793 0 0 16781312 33554434 18446604445404468480 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2.83
Current children cumulated vsize (KiB) 627704
[startup+6.30034 s]
/proc/loadavg: 2.13 2.16 1.94 3/821 4233
/proc/meminfo: memFree=11339608/32950928 swapFree=41528364/67111528
[pid=4224] ppid=4222 vsize=294844 CPUtime=0.55 cores=0,2,4,6
/proc/4224/stat : 4224 (python) S 4222 4224 2544 0 -1 4202496 9913 930 1 0 44 11 0 0 25 0 2 0 869463510 301920256 7550 33554432000 4194304 5683644 140736345596640 18446744073709551615 251826066891 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0
/proc/4224/statm: 73711 7550 1870 364 0 8598 0
[pid=4230] ppid=4224 vsize=284600 CPUtime=0.02 cores=0,2,4,6
/proc/4230/stat : 4230 (python) S 4224 4224 2544 0 -1 4202560 981 0 0 0 1 1 0 0 15 0 1 0 869463590 291430400 6057 33554432000 4194304 5683644 140736345596640 18446744073709551615 251814260239 0 0 16781312 33554946 9577716704314622210 0 0 17 6 0 0 0
/proc/4230/statm: 71150 6057 381 364 0 6037 0
[pid=4232] ppid=4230 vsize=48260 CPUtime=5.48 cores=0,2,4,6
/proc/4232/stat : 4232 (scip-2.0.1.linu) R 4230 4232 4232 0 -1 4202496 14256 0 0 0 538 10 0 0 25 0 1 0 869463590 49418240 9850 33554432000 4194304 13684479 140733203694976 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/4232/statm: 12065 9850 820 2317 0 9743 0
[pid=4224/tid=4231] ppid=4222 vsize=294844 CPUtime=0 cores=0,2,4,6
/proc/4224/task/4231/stat : 4231 (python) S 4222 4224 2544 0 -1 4202560 26 930 0 0 0 0 0 0 25 0 2 0 869463590 301920256 7550 33554432000 4194304 5683644 140736345596640 18446744073709551615 251826063793 0 0 16781312 33554434 18446604445404468480 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 6.05
Current children cumulated vsize (KiB) 627704
[startup+12.7013 s]
/proc/loadavg: 2.11 2.16 1.94 3/821 4233
/proc/meminfo: memFree=11338512/32950928 swapFree=41528364/67111528
[pid=4224] ppid=4222 vsize=294844 CPUtime=0.55 cores=0,2,4,6
/proc/4224/stat : 4224 (python) S 4222 4224 2544 0 -1 4202496 9913 930 1 0 44 11 0 0 25 0 2 0 869463510 301920256 7550 33554432000 4194304 5683644 140736345596640 18446744073709551615 251826066891 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0
/proc/4224/statm: 73711 7550 1870 364 0 8598 0
[pid=4230] ppid=4224 vsize=284600 CPUtime=0.04 cores=0,2,4,6
/proc/4230/stat : 4230 (python) S 4224 4224 2544 0 -1 4202560 984 0 0 0 2 2 0 0 15 0 1 0 869463590 291430400 6057 33554432000 4194304 5683644 140736345596640 18446744073709551615 251814260239 0 0 16781312 33554946 72556772316949330 0 0 17 6 0 0 0
/proc/4230/statm: 71150 6057 381 364 0 6037 0
[pid=4232] ppid=4230 vsize=48260 CPUtime=11.89 cores=0,2,4,6
/proc/4232/stat : 4232 (scip-2.0.1.linu) R 4230 4232 4232 0 -1 4202496 14257 0 0 0 1173 16 0 0 25 0 1 0 869463590 49418240 9851 33554432000 4194304 13684479 140733203694976 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/4232/statm: 12065 9851 821 2317 0 9743 0
[pid=4224/tid=4231] ppid=4222 vsize=294844 CPUtime=0 cores=0,2,4,6
/proc/4224/task/4231/stat : 4231 (python) S 4222 4224 2544 0 -1 4202560 26 930 0 0 0 0 0 0 25 0 2 0 869463590 301920256 7550 33554432000 4194304 5683644 140736345596640 18446744073709551615 251826063793 0 0 16781312 33554434 18446604445404468480 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 12.48
Current children cumulated vsize (KiB) 627704
[startup+25.5011 s]
/proc/loadavg: 2.09 2.15 1.94 3/821 4233
/proc/meminfo: memFree=11338048/32950928 swapFree=41528364/67111528
[pid=4224] ppid=4222 vsize=294844 CPUtime=0.55 cores=0,2,4,6
/proc/4224/stat : 4224 (python) S 4222 4224 2544 0 -1 4202496 9913 930 1 0 44 11 0 0 25 0 2 0 869463510 301920256 7550 33554432000 4194304 5683644 140736345596640 18446744073709551615 251826066891 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0
/proc/4224/statm: 73711 7550 1870 364 0 8598 0
[pid=4230] ppid=4224 vsize=284600 CPUtime=0.12 cores=0,2,4,6
/proc/4230/stat : 4230 (python) S 4224 4224 2544 0 -1 4202560 995 0 0 0 6 6 0 0 15 0 1 0 869463590 291430400 6057 33554432000 4194304 5683644 140736345596640 18446744073709551615 251814260239 0 0 16781312 33554946 3581702644088963072 0 0 17 6 0 0 0
/proc/4230/statm: 71150 6057 381 364 0 6037 0
[pid=4232] ppid=4230 vsize=50460 CPUtime=24.69 cores=0,2,4,6
/proc/4232/stat : 4232 (scip-2.0.1.linu) R 4230 4232 4232 0 -1 4202496 14787 0 0 0 2436 33 0 0 18 0 1 0 869463590 51671040 10381 33554432000 4194304 13684479 140733203694976 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/4232/statm: 12615 10381 821 2317 0 10293 0
[pid=4224/tid=4231] ppid=4222 vsize=294844 CPUtime=0 cores=0,2,4,6
/proc/4224/task/4231/stat : 4231 (python) S 4222 4224 2544 0 -1 4202560 26 930 0 0 0 0 0 0 25 0 2 0 869463590 301920256 7550 33554432000 4194304 5683644 140736345596640 18446744073709551615 251826063793 0 0 16781312 33554434 18446604445404468480 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 25.36
Current children cumulated vsize (KiB) 629904
[startup+51.1008 s]
/proc/loadavg: 2.06 2.14 1.94 3/825 4238
/proc/meminfo: memFree=11295284/32950928 swapFree=41528364/67111528
[pid=4224] ppid=4222 vsize=305100 CPUtime=0.57 cores=0,2,4,6
/proc/4224/stat : 4224 (python) S 4222 4224 2544 0 -1 4202496 10776 930 1 0 46 11 0 0 20 0 3 0 869463510 312422400 7573 33554432000 4194304 5683644 140736345596640 18446744073709551615 251826066891 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0
/proc/4224/statm: 76275 7573 1873 364 0 11159 0
[pid=4230] ppid=4224 vsize=294844 CPUtime=0.28 cores=0,2,4,6
/proc/4230/stat : 4230 (python) S 4224 4224 2544 0 -1 4202560 1143 0 0 0 14 14 0 0 16 0 2 0 869463590 301920256 6093 33554432000 4194304 5683644 140736345596640 18446744073709551615 251826066891 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/4230/statm: 73711 6093 412 364 0 8598 0
[pid=4232] ppid=4230 vsize=54620 CPUtime=47.78 cores=0,2,4,6
/proc/4232/stat : 4232 (scip-2.0.1.linu) T 4230 4232 4232 0 -1 4202496 15830 0 0 0 4709 69 0 0 25 0 1 0 869463590 55930880 11419 33554432000 4194304 13684479 140733203694976 18446744073709551615 11876362 0 0 16781312 2 18446744071562691360 0 0 17 4 0 0 0
/proc/4232/statm: 13655 11419 821 2317 0 11333 0
[pid=4230/tid=4235] ppid=4224 vsize=294844 CPUtime=0 cores=0,2,4,6
/proc/4230/task/4235/stat : 4235 (python) S 4224 4224 2544 0 -1 4202560 41 0 0 0 0 0 0 0 16 0 2 0 869468370 301920256 6093 33554432000 4194304 5683644 140736345596640 18446744073709551615 251826063793 0 0 16781312 33554946 18446604445476416384 0 0 -1 6 0 0 0
[pid=4236] ppid=4224 vsize=294856 CPUtime=0 cores=0,2,4,6
/proc/4236/stat : 4236 (python) S 4224 4224 2544 0 -1 4202560 787 0 0 0 0 0 0 0 15 0 1 0 869468372 301932544 6045 33554432000 4194304 5683644 140736345596640 18446744073709551615 251814260294 0 0 16781312 33554946 2446406379594842112 0 0 17 2 0 0 0
/proc/4236/statm: 73714 6045 349 364 0 8598 0
[pid=4238] ppid=4236 vsize=49192 CPUtime=2.46 cores=0,2,4,6
/proc/4238/stat : 4238 (scip-2.0.1.linu) R 4236 4238 4238 0 -1 4202496 14188 0 0 0 244 2 0 0 18 0 1 0 869468373 50372608 9268 33554432000 4194304 15243407 140735769978208 18446744073709551615 8046839 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/4238/statm: 12298 9268 930 2698 0 9593 0
[pid=4224/tid=4231] ppid=4222 vsize=305100 CPUtime=0 cores=0,2,4,6
/proc/4224/task/4231/stat : 4231 (python) S 4222 4224 2544 0 -1 4202560 26 930 0 0 0 0 0 0 25 0 3 0 869463590 312422400 7573 33554432000 4194304 5683644 140736345596640 18446744073709551615 251826063793 0 0 16781312 33554434 18446604445404468480 0 0 -1 2 0 0 0
[pid=4224/tid=4237] ppid=4222 vsize=305100 CPUtime=0 cores=0,2,4,6
/proc/4224/task/4237/stat : 4237 (python) S 4222 4224 2544 0 -1 4202560 28 930 0 0 0 0 0 0 20 0 3 0 869468373 312422400 7573 33554432000 4194304 5683644 140736345596640 18446744073709551615 251826063793 0 0 16781312 33554434 18446604445404468480 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 998612
[startup+102.323 s]
/proc/loadavg: 2.02 2.11 1.94 3/829 4243
/proc/meminfo: memFree=11085616/32950928 swapFree=41528364/67111528
[pid=4224] ppid=4222 vsize=315356 CPUtime=0.6 cores=0,2,4,6
/proc/4224/stat : 4224 (python) S 4222 4224 2544 0 -1 4202496 11712 930 1 0 49 11 0 0 20 0 4 0 869463510 322924544 7579 33554432000 4194304 5683644 140736345596640 18446744073709551615 251826066891 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/4224/statm: 78839 7579 1875 364 0 13720 0
[pid=4230] ppid=4224 vsize=294844 CPUtime=0.28 cores=0,2,4,6
/proc/4230/stat : 4230 (python) S 4224 4224 2544 0 -1 4202560 1143 0 0 0 14 14 0 0 16 0 2 0 869463590 301920256 6093 33554432000 4194304 5683644 140736345596640 18446744073709551615 251826066891 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/4230/statm: 73711 6093 412 364 0 8598 0
[pid=4232] ppid=4230 vsize=54620 CPUtime=47.78 cores=0,2,4,6
/proc/4232/stat : 4232 (scip-2.0.1.linu) T 4230 4232 4232 0 -1 4202496 15830 0 0 0 4709 69 0 0 25 0 1 0 869463590 55930880 11419 33554432000 4194304 13684479 140733203694976 18446744073709551615 11876362 0 0 16781312 2 18446744071562691360 0 0 17 4 0 0 0
/proc/4232/statm: 13655 11419 821 2317 0 11333 0
[pid=4230/tid=4235] ppid=4224 vsize=294844 CPUtime=0 cores=0,2,4,6
/proc/4230/task/4235/stat : 4235 (python) S 4224 4224 2544 0 -1 4202560 41 0 0 0 0 0 0 0 16 0 2 0 869468370 301920256 6093 33554432000 4194304 5683644 140736345596640 18446744073709551615 251826063793 0 0 16781312 33554946 18446604445476416384 0 0 -1 6 0 0 0
[pid=4236] ppid=4224 vsize=294856 CPUtime=0.29 cores=0,2,4,6
/proc/4236/stat : 4236 (python) S 4224 4224 2544 0 -1 4202560 1120 0 0 0 15 14 0 0 17 0 2 0 869468372 301932544 6094 33554432000 4194304 5683644 140736345596640 18446744073709551615 251826066891 0 0 16781312 33554946 18446744073709551615 0 0 17 4 0 0 0
/proc/4236/statm: 73714 6094 397 364 0 8598 0
[pid=4238] ppid=4236 vsize=58968 CPUtime=46.51 cores=0,2,4,6
/proc/4238/stat : 4238 (scip-2.0.1.linu) T 4236 4238 4238 0 -1 4202496 68700 0 0 0 4611 40 0 0 25 0 1 0 869468373 60383232 11786 33554432000 4194304 15243407 140735769978208 18446744073709551615 7222466 0 0 16781312 2 18446744071562691360 0 0 17 4 0 0 0
/proc/4238/statm: 14742 11786 945 2698 0 12037 0
[pid=4236/tid=4240] ppid=4224 vsize=294856 CPUtime=0 cores=0,2,4,6
/proc/4236/task/4240/stat : 4240 (python) S 4224 4224 2544 0 -1 4202560 48 0 0 0 0 0 0 0 17 0 2 0 869473025 301932544 6094 33554432000 4194304 5683644 140736345596640 18446744073709551615 251826063793 0 0 16781312 33554946 18446604443807889408 0 0 -1 6 0 0 0
[pid=4241] ppid=4224 vsize=305112 CPUtime=0.02 cores=0,2,4,6
/proc/4241/stat : 4241 (python) S 4224 4224 2544 0 -1 4202560 928 0 0 0 1 1 0 0 15 0 1 0 869473028 312434688 6073 33554432000 4194304 5683644 140736345596640 18446744073709551615 251814260294 0 0 16781312 33554946 4294934787 0 0 17 0 0 0 0
################
# More data... #
################
[startup+655.502 s]
/proc/loadavg: 2.15 2.07 1.96 7/907 4405
/proc/meminfo: memFree=8003316/32950928 swapFree=41528364/67111528
[pid=4224] ppid=4222 vsize=367140 CPUtime=0.88 cores=0,2,4,6
/proc/4224/stat : 4224 (python) S 4222 4224 2544 0 -1 4202496 16490 930 1 0 75 13 0 0 20 0 9 0 869463510 375951360 7719 33554432000 4194304 5683644 140736345596640 18446744073709551615 251826066891 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/4224/statm: 91785 7719 1885 364 0 26651 0
[pid=4230] ppid=4224 vsize=294844 CPUtime=1.25 cores=0,2,4,6
/proc/4230/stat : 4230 (python) S 4224 4224 2544 0 -1 4202560 1226 0 0 0 63 62 0 0 16 0 2 0 869463590 301920256 6094 33554432000 4194304 5683644 140736345596640 18446744073709551615 251826066891 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/4230/statm: 73711 6094 413 364 0 8598 0
[pid=4232] ppid=4230 vsize=65156 CPUtime=185.33 cores=0,2,4,6
/proc/4232/stat : 4232 (scip-2.0.1.linu) T 4230 4232 4232 0 -1 4202496 18479 0 0 0 18265 268 0 0 25 0 1 0 869463590 66719744 14068 33554432000 4194304 13684479 140733203694976 18446744073709551615 7422595 0 0 16781312 2 18446744071562691360 0 0 17 4 0 0 0
/proc/4232/statm: 16289 14068 821 2317 0 13967 0
[pid=4230/tid=4235] ppid=4224 vsize=294844 CPUtime=0 cores=0,2,4,6
/proc/4230/task/4235/stat : 4235 (python) S 4224 4224 2544 0 -1 4202560 44 0 0 0 0 0 0 0 15 0 2 0 869468370 301920256 6094 33554432000 4194304 5683644 140736345596640 18446744073709551615 251826063793 0 0 16781312 33554946 18446604445476416384 0 0 -1 6 0 0 0
[pid=4236] ppid=4224 vsize=294856 CPUtime=1.35 cores=0,2,4,6
/proc/4236/stat : 4236 (python) S 4224 4224 2544 0 -1 4202560 1223 0 0 0 72 63 0 0 15 0 2 0 869468372 301932544 6095 33554432000 4194304 5683644 140736345596640 18446744073709551615 251826066891 0 0 16781312 33554946 18446744073709551615 0 0 17 2 0 0 0
/proc/4236/statm: 73714 6095 398 364 0 8598 0
[pid=4238] ppid=4236 vsize=73356 CPUtime=186.74 cores=0,2,4,6
/proc/4238/stat : 4238 (scip-2.0.1.linu) T 4236 4238 4238 0 -1 4202496 202125 0 0 0 18506 168 0 0 25 0 1 0 869468373 75116544 15202 33554432000 4194304 15243407 140735769978208 18446744073709551615 8117584 0 0 16781312 2 18446744071562691360 0 0 17 0 0 0 0
/proc/4238/statm: 18339 15202 945 2698 0 15634 0
[pid=4236/tid=4240] ppid=4224 vsize=294856 CPUtime=0 cores=0,2,4,6
/proc/4236/task/4240/stat : 4240 (python) S 4224 4224 2544 0 -1 4202560 51 0 0 0 0 0 0 0 15 0 2 0 869473025 301932544 6095 33554432000 4194304 5683644 140736345596640 18446744073709551615 251826063793 0 0 16781312 33554946 18446604443807889408 0 0 -1 6 0 0 0
[pid=4241] ppid=4224 vsize=305112 CPUtime=0.25 cores=0,2,4,6
/proc/4241/stat : 4241 (python) S 4224 4224 2544 0 -1 4202560 1106 0 0 0 13 12 0 0 16 0 2 0 869473028 312434688 6098 33554432000 4194304 5683644 140736345596640 18446744073709551615 251826066891 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/4241/statm: 76278 6098 397 364 0 11159 0
[pid=4243] ppid=4241 vsize=123804 CPUtime=46.52 cores=0,2,4,6
/proc/4243/stat : 4243 (wbo1.4a) T 4241 4243 4243 0 -1 4202496 30800 0 0 0 4626 26 0 0 25 0 1 0 869473028 126775296 30490 33554432000 134512640 135751879 4293181232 18446744073709551615 134616480 0 0 16781312 3 18446744071562691360 0 0 17 4 0 0 0
/proc/4243/statm: 30951 30490 146 303 0 30646 0
[pid=4241/tid=4245] ppid=4224 vsize=305112 CPUtime=0 cores=0,2,4,6
/proc/4241/task/4245/stat : 4245 (python) S 4224 4224 2544 0 -1 4202560 43 0 0 0 0 0 0 0 16 0 2 0 869477681 312434688 6098 33554432000 4194304 5683644 140736345596640 18446744073709551615 251826063793 0 0 16781312 33554946 18446604440652986432 0 0 -1 6 0 0 0
[pid=4246] ppid=4224 vsize=315872 CPUtime=0.51 cores=0,2,4,6
/proc/4246/stat : 4246 (python) S 4224 4224 2544 0 -1 4202560 1155 0 0 0 27 24 0 0 18 0 2 0 869477684 323452928 6212 33554432000 4194304 5683644 140736345596640 18446744073709551615 251826066891 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/4246/statm: 78968 6212 397 364 0 13846 0
[pid=4248] ppid=4246 vsize=4784 CPUtime=94.52 cores=0,2,4,6
/proc/4248/stat : 4248 (clasp-1.3.7-x86) T 4246 4248 4248 0 -1 4202496 1208 0 0 0 9452 0 0 0 25 0 1 0 869477684 4898816 932 33554432000 134512640 136139019 4294949376 18446744073709551615 134831224 0 0 16781312 16386 18446744071562691360 0 0 17 4 0 0 0
/proc/4248/statm: 1196 932 186 398 0 796 0
[pid=4246/tid=4254] ppid=4224 vsize=315872 CPUtime=0 cores=0,2,4,6
/proc/4246/task/4254/stat : 4254 (python) S 4224 4224 2544 0 -1 4202560 47 0 0 0 0 0 0 0 18 0 2 0 869482510 323452928 6212 33554432000 4194304 5683644 140736345596640 18446744073709551615 251826063793 0 0 16781312 33554946 18446604445195163584 0 0 -1 6 0 0 0
[pid=4258] ppid=4224 vsize=326128 CPUtime=0.26 cores=0,2,4,6
/proc/4258/stat : 4258 (python) S 4224 4224 2544 0 -1 4202560 1112 0 0 0 13 13 0 0 16 0 2 0 869492166 333955072 6216 33554432000 4194304 5683644 140736345596640 18446744073709551615 251826066891 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/4258/statm: 81532 6216 397 364 0 16407 0
[pid=4260] ppid=4258 vsize=129120 CPUtime=47.88 cores=0,2,4,6
/proc/4260/stat : 4260 (bsolo_pb10) T 4258 4260 4260 0 -1 4202496 30163 0 0 0 4779 9 0 0 25 0 1 0 869492166 132218880 29844 33554432000 134512640 137138936 4293998768 18446744073709551615 134544576 0 0 16781312 16384 18446744071562691360 0 0 17 0 0 0 0
/proc/4260/statm: 32280 29844 192 642 0 31636 0
[pid=4258/tid=4319] ppid=4224 vsize=326128 CPUtime=0 cores=0,2,4,6
/proc/4258/task/4319/stat : 4319 (python) S 4224 4224 2544 0 -1 4202560 49 0 0 0 0 0 0 0 16 0 2 0 869496955 333955072 6216 33554432000 4194304 5683644 140736345596640 18446744073709551615 251826063793 0 0 16781312 33554946 18446604452051961024 0 0 -1 6 0 0 0
[pid=4350] ppid=4224 vsize=336384 CPUtime=0.26 cores=0,2,4,6
/proc/4350/stat : 4350 (python) S 4224 4224 2544 0 -1 4202560 1131 0 0 0 13 13 0 0 16 0 2 0 869510740 344457216 6220 33554432000 4194304 5683644 140736345596640 18446744073709551615 251826066891 0 0 16781312 33554946 18446744073709551615 0 0 17 4 0 0 0
/proc/4350/statm: 84096 6220 397 364 0 18968 0
[pid=4352] ppid=4350 vsize=8611140 CPUtime=46.06 cores=0,2,4,6
/proc/4352/stat : 4352 (java) T 4350 4352 4352 0 -1 4202496 58715 0 1 0 4598 8 0 0 18 0 19 0 869510741 8817807360 38149 33554432000 1073741824 1073778376 140734273479264 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/4352/statm: 2152785 38149 2251 9 0 2143526 0
[pid=4352/tid=4353] ppid=4350 vsize=8611140 CPUtime=44.3 cores=0,2,4,6
/proc/4352/task/4353/stat : 4353 (java) T 4350 4352 4352 0 -1 4202560 35354 0 1 0 4426 4 0 0 25 0 19 0 869510741 8817807360 38149 33554432000 1073741824 1073778376 140734273479264 18446744073709551615 46912505902003 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=4352/tid=4354] ppid=4350 vsize=8611140 CPUtime=0.03 cores=0,2,4,6
/proc/4352/task/4354/stat : 4354 (java) T 4350 4352 4352 0 -1 4202560 1905 0 0 0 3 0 0 0 15 0 19 0 869510742 8817807360 38149 33554432000 1073741824 1073778376 140734273479264 18446744073709551615 251826056089 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=4352/tid=4355] ppid=4350 vsize=8611140 CPUtime=0.03 cores=0,2,4,6
/proc/4352/task/4355/stat : 4355 (java) T 4350 4352 4352 0 -1 4202560 1024 0 0 0 3 0 0 0 15 0 19 0 869510742 8817807360 38149 33554432000 1073741824 1073778376 140734273479264 18446744073709551615 251826056089 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=4352/tid=4356] ppid=4350 vsize=8611140 CPUtime=0.03 cores=0,2,4,6
/proc/4352/task/4356/stat : 4356 (java) T 4350 4352 4352 0 -1 4202560 1601 0 0 0 3 0 0 0 15 0 19 0 869510742 8817807360 38149 33554432000 1073741824 1073778376 140734273479264 18446744073709551615 251826056089 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=4352/tid=4357] ppid=4350 vsize=8611140 CPUtime=0.01 cores=0,2,4,6
/proc/4352/task/4357/stat : 4357 (java) T 4350 4352 4352 0 -1 4202560 1241 0 0 0 1 0 0 0 15 0 19 0 869510742 8817807360 38149 33554432000 1073741824 1073778376 140734273479264 18446744073709551615 251826056089 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=4352/tid=4358] ppid=4350 vsize=8611140 CPUtime=0.04 cores=0,2,4,6
/proc/4352/task/4358/stat : 4358 (java) T 4350 4352 4352 0 -1 4202560 1194 0 0 0 4 0 0 0 15 0 19 0 869510742 8817807360 38149 33554432000 1073741824 1073778376 140734273479264 18446744073709551615 251826056089 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=4352/tid=4359] ppid=4350 vsize=8611140 CPUtime=0.04 cores=0,2,4,6
/proc/4352/task/4359/stat : 4359 (java) T 4350 4352 4352 0 -1 4202560 1022 0 0 0 4 0 0 0 15 0 19 0 869510742 8817807360 38149 33554432000 1073741824 1073778376 140734273479264 18446744073709551615 251826056089 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=4352/tid=4360] ppid=4350 vsize=8611140 CPUtime=0.03 cores=0,2,4,6
/proc/4352/task/4360/stat : 4360 (java) T 4350 4352 4352 0 -1 4202560 1646 0 0 0 3 0 0 0 15 0 19 0 869510742 8817807360 38149 33554432000 1073741824 1073778376 140734273479264 18446744073709551615 251826056089 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=4352/tid=4361] ppid=4350 vsize=8611140 CPUtime=0.05 cores=0,2,4,6
/proc/4352/task/4361/stat : 4361 (java) T 4350 4352 4352 0 -1 4202560 1158 0 0 0 5 0 0 0 15 0 19 0 869510742 8817807360 38149 33554432000 1073741824 1073778376 140734273479264 18446744073709551615 251826056089 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=4352/tid=4362] ppid=4350 vsize=8611140 CPUtime=0.31 cores=0,2,4,6
/proc/4352/task/4362/stat : 4362 (java) T 4350 4352 4352 0 -1 4202560 1566 0 0 0 31 0 0 0 15 0 19 0 869510743 8817807360 38149 33554432000 1073741824 1073778376 140734273479264 18446744073709551615 251826056704 0 0 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=4352/tid=4363] ppid=4350 vsize=8611140 CPUtime=0 cores=0,2,4,6
/proc/4352/task/4363/stat : 4363 (java) T 4350 4352 4352 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 869510743 8817807360 38149 33554432000 1073741824 1073778376 140734273479264 18446744073709551615 251826056089 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=4352/tid=4364] ppid=4350 vsize=8611140 CPUtime=0 cores=0,2,4,6
/proc/4352/task/4364/stat : 4364 (java) T 4350 4352 4352 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 869510743 8817807360 38149 33554432000 1073741824 1073778376 140734273479264 18446744073709551615 251826056089 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=4352/tid=4365] ppid=4350 vsize=8611140 CPUtime=0 cores=0,2,4,6
/proc/4352/task/4365/stat : 4365 (java) T 4350 4352 4352 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869510745 8817807360 38149 33554432000 1073741824 1073778376 140734273479264 18446744073709551615 251826063793 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=4352/tid=4366] ppid=4350 vsize=8611140 CPUtime=0.54 cores=0,2,4,6
/proc/4352/task/4366/stat : 4366 (java) T 4350 4352 4352 0 -1 4202560 3899 0 0 0 54 0 0 0 15 0 19 0 869510745 8817807360 38149 33554432000 1073741824 1073778376 140734273479264 18446744073709551615 251826056089 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=4352/tid=4367] ppid=4350 vsize=8611140 CPUtime=0.56 cores=0,2,4,6
/proc/4352/task/4367/stat : 4367 (java) T 4350 4352 4352 0 -1 4202560 5715 0 0 0 55 1 0 0 15 0 19 0 869510745 8817807360 38149 33554432000 1073741824 1073778376 140734273479264 18446744073709551615 251826056089 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=4352/tid=4368] ppid=4350 vsize=8611140 CPUtime=0 cores=0,2,4,6
/proc/4352/task/4368/stat : 4368 (java) T 4350 4352 4352 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869510745 8817807360 38149 33554432000 1073741824 1073778376 140734273479264 18446744073709551615 251826056089 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=4352/tid=4369] ppid=4350 vsize=8611140 CPUtime=0 cores=0,2,4,6
/proc/4352/task/4369/stat : 4369 (java) T 4350 4352 4352 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 869510745 8817807360 38149 33554432000 1073741824 1073778376 140734273479264 18446744073709551615 251826056704 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=4352/tid=4370] ppid=4350 vsize=8611140 CPUtime=0 cores=0,2,4,6
/proc/4352/task/4370/stat : 4370 (java) T 4350 4352 4352 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 869510778 8817807360 38149 33554432000 1073741824 1073778376 140734273479264 18446744073709551615 251826056704 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=4350/tid=4376] ppid=4224 vsize=336384 CPUtime=0 cores=0,2,4,6
/proc/4350/task/4376/stat : 4376 (python) S 4224 4224 2544 0 -1 4202560 45 0 0 0 0 0 0 0 17 0 2 0 869515223 344457216 6220 33554432000 4194304 5683644 140736345596640 18446744073709551615 251826063793 0 0 16781312 33554946 18446604443355107520 0 0 -1 4 0 0 0
[pid=4377] ppid=4224 vsize=346640 CPUtime=0.26 cores=0,2,4,6
/proc/4377/stat : 4377 (python) S 4224 4224 2544 0 -1 4202560 1148 0 0 0 14 12 0 0 16 0 2 0 869515225 354959360 6224 33554432000 4194304 5683644 140736345596640 18446744073709551615 251826066891 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/4377/statm: 86660 6224 397 364 0 21529 0
[pid=4379] ppid=4377 vsize=131472 CPUtime=47.75 cores=0,2,4,6
/proc/4379/stat : 4379 (bsolo_pb10) T 4377 4379 4379 0 -1 4202496 30757 0 0 0 4763 12 0 0 25 0 1 0 869515225 134627328 30430 33554432000 134512640 137138936 4291625456 18446744073709551615 134542508 0 0 16781312 16384 18446744071562691360 0 0 17 0 0 0 0
/proc/4379/statm: 32868 30430 190 642 0 32224 0
[pid=4377/tid=4382] ppid=4224 vsize=346640 CPUtime=0 cores=0,2,4,6
/proc/4377/task/4382/stat : 4382 (python) S 4224 4224 2544 0 -1 4202560 47 0 0 0 0 0 0 0 16 0 2 0 869520008 354959360 6224 33554432000 4194304 5683644 140736345596640 18446744073709551615 251826063793 0 0 16781312 33554946 18446604441607409856 0 0 -1 6 0 0 0
[pid=4386] ppid=4224 vsize=356896 CPUtime=0 cores=0,2,4,6
/proc/4386/stat : 4386 (python) S 4224 4224 2544 0 -1 4202560 835 0 0 0 0 0 0 0 18 0 1 0 869529028 365461504 6179 33554432000 4194304 5683644 140736345596640 18446744073709551615 251814260294 0 0 16781312 33554946 4011188125169614848 0 0 17 4 0 0 0
/proc/4386/statm: 89224 6179 349 364 0 24090 0
[pid=4388] ppid=4386 vsize=8536956 CPUtime=0.61 cores=0,2,4,6
/proc/4388/stat : 4388 (java) S 4386 4388 4388 0 -1 4202496 10100 0 1 0 58 3 0 0 20 0 18 0 869529029 8741842944 8641 33554432000 1073741824 1073778376 140734027941088 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/4388/statm: 2134239 8641 2207 9 0 2124980 0
[pid=4388/tid=4389] ppid=4386 vsize=8536956 CPUtime=0.28 cores=0,2,4,6
/proc/4388/task/4389/stat : 4389 (java) R 4386 4388 4388 0 -1 4202560 5105 0 1 0 27 1 0 0 18 0 18 0 869529030 8741842944 8735 33554432000 1073741824 1073778376 140734027941088 18446744073709551615 46912505664497 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=4388/tid=4390] ppid=4386 vsize=8536956 CPUtime=0 cores=0,2,4,6
/proc/4388/task/4390/stat : 4390 (java) S 4386 4388 4388 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 869529030 8741842944 8739 33554432000 1073741824 1073778376 140734027941088 18446744073709551615 251826056089 0 4 0 16800975 18446604446229066880 0 0 -1 4 0 0 0
[pid=4388/tid=4391] ppid=4386 vsize=8536956 CPUtime=0 cores=0,2,4,6
/proc/4388/task/4391/stat : 4391 (java) S 4386 4388 4388 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 18 0 869529030 8741842944 8740 33554432000 1073741824 1073778376 140734027941088 18446744073709551615 251826056089 0 4 0 16800975 18446604446229066880 0 0 -1 4 0 0 0
[pid=4388/tid=4392] ppid=4386 vsize=8536956 CPUtime=0 cores=0,2,4,6
/proc/4388/task/4392/stat : 4392 (java) S 4386 4388 4388 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 18 0 869529030 8741842944 8741 33554432000 1073741824 1073778376 140734027941088 18446744073709551615 251826056089 0 4 0 16800975 18446604446229066880 0 0 -1 4 0 0 0
[pid=4388/tid=4393] ppid=4386 vsize=8536956 CPUtime=0 cores=0,2,4,6
/proc/4388/task/4393/stat : 4393 (java) S 4386 4388 4388 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869529030 8741842944 8434 33554432000 1073741824 1073778376 140734027941088 18446744073709551615 251826056089 0 4 0 16800975 18446604446229066880 0 0 -1 4 0 0 0
[pid=4388/tid=4394] ppid=4386 vsize=8535480 CPUtime=0 cores=0,2,4,6
/proc/4388/task/4394/stat : 4394 (java) S 4386 4388 4388 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869529030 8740331520 8435 33554432000 1073741824 1073778376 140734027941088 18446744073709551615 251826056089 0 4 0 16800975 18446604446229066880 0 0 -1 4 0 0 0
[pid=4388/tid=4395] ppid=4386 vsize=8535480 CPUtime=0 cores=0,2,4,6
/proc/4388/task/4395/stat : 4395 (java) S 4386 4388 4388 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869529030 8740331520 8437 33554432000 1073741824 1073778376 140734027941088 18446744073709551615 251826056089 0 4 0 16800975 18446604446229066880 0 0 -1 6 0 0 0
[pid=4388/tid=4396] ppid=4386 vsize=8535480 CPUtime=0 cores=0,2,4,6
/proc/4388/task/4396/stat : 4396 (java) S 4386 4388 4388 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869529030 8740331520 8438 33554432000 1073741824 1073778376 140734027941088 18446744073709551615 251826056089 0 4 0 16800975 18446604446229066880 0 0 -1 6 0 0 0
[pid=4388/tid=4397] ppid=4386 vsize=8535480 CPUtime=0 cores=0,2,4,6
/proc/4388/task/4397/stat : 4397 (java) S 4386 4388 4388 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869529030 8740331520 8440 33554432000 1073741824 1073778376 140734027941088 18446744073709551615 251826056089 0 4 0 16800975 18446604446229066880 0 0 -1 6 0 0 0
[pid=4388/tid=4398] ppid=4386 vsize=8535480 CPUtime=0 cores=0,2,4,6
/proc/4388/task/4398/stat : 4398 (java) S 4386 4388 4388 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 869529031 8740331520 8440 33554432000 1073741824 1073778376 140734027941088 18446744073709551615 251826056704 0 0 0 16800975 18446604446229066880 0 0 -1 4 0 0 0
[pid=4388/tid=4399] ppid=4386 vsize=8535480 CPUtime=0 cores=0,2,4,6
/proc/4388/task/4399/stat : 4399 (java) S 4386 4388 4388 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 869529032 8740331520 8440 33554432000 1073741824 1073778376 140734027941088 18446744073709551615 251826056089 0 4 0 16800975 18446604446229066880 0 0 -1 4 0 0 0
[pid=4388/tid=4400] ppid=4386 vsize=8535480 CPUtime=0 cores=0,2,4,6
/proc/4388/task/4400/stat : 4400 (java) S 4386 4388 4388 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 869529032 8740331520 8440 33554432000 1073741824 1073778376 140734027941088 18446744073709551615 251826056089 0 4 0 16800975 18446604446229066880 0 0 -1 4 0 0 0
[pid=4388/tid=4401] ppid=4386 vsize=8535480 CPUtime=0 cores=0,2,4,6
/proc/4388/task/4401/stat : 4401 (java) S 4386 4388 4388 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869529034 8740331520 8440 33554432000 1073741824 1073778376 140734027941088 18446744073709551615 251826063793 0 4 0 16800975 18446604446229066880 0 0 -1 4 0 0 0
[pid=4388/tid=4402] ppid=4386 vsize=8535480 CPUtime=0.18 cores=0,2,4,6
/proc/4388/task/4402/stat : 4402 (java) S 4386 4388 4388 0 -1 4202560 1437 0 0 0 18 0 0 0 18 0 18 0 869529034 8740331520 8440 33554432000 1073741824 1073778376 140734027941088 18446744073709551615 251826056089 0 4 0 16800975 18446604446229066880 0 0 -1 4 0 0 0
[pid=4388/tid=4403] ppid=4386 vsize=8535480 CPUtime=0.14 cores=0,2,4,6
/proc/4388/task/4403/stat : 4403 (java) S 4386 4388 4388 0 -1 4202560 2261 0 0 0 14 0 0 0 25 0 18 0 869529034 8740331520 8440 33554432000 1073741824 1073778376 140734027941088 18446744073709551615 251826056089 0 4 0 16800975 18446604446229066880 0 0 -1 0 0 0 0
[pid=4388/tid=4404] ppid=4386 vsize=8535480 CPUtime=0 cores=0,2,4,6
/proc/4388/task/4404/stat : 4404 (java) S 4386 4388 4388 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869529034 8740331520 8440 33554432000 1073741824 1073778376 140734027941088 18446744073709551615 251826056089 0 4 0 16800975 18446604446229066880 0 0 -1 4 0 0 0
[pid=4388/tid=4405] ppid=4386 vsize=8535480 CPUtime=0 cores=0,2,4,6
/proc/4388/task/4405/stat : 4405 (java) R 4386 4388 4388 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 18 0 869529034 8740331520 8442 33554432000 1073741824 1073778376 140734027941088 18446744073709551615 251826056704 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=4224/tid=4231] ppid=4222 vsize=367140 CPUtime=0 cores=0,2,4,6
/proc/4224/task/4231/stat : 4231 (python) S 4222 4224 2544 0 -1 4202560 40 930 0 0 0 0 0 0 18 0 9 0 869463590 375951360 7719 33554432000 4194304 5683644 140736345596640 18446744073709551615 251826063793 0 0 16781312 33554434 18446604445404468480 0 0 -1 2 0 0 0
[pid=4224/tid=4237] ppid=4222 vsize=367140 CPUtime=0 cores=0,2,4,6
/proc/4224/task/4237/stat : 4237 (python) S 4222 4224 2544 0 -1 4202560 44 930 0 0 0 0 0 0 18 0 9 0 869468373 375951360 7719 33554432000 4194304 5683644 140736345596640 18446744073709551615 251826063793 0 0 16781312 33554434 18446604445404468480 0 0 -1 2 0 0 0
[pid=4224/tid=4242] ppid=4222 vsize=367140 CPUtime=0 cores=0,2,4,6
/proc/4224/task/4242/stat : 4242 (python) S 4222 4224 2544 0 -1 4202560 29 930 0 0 0 0 0 0 20 0 9 0 869473028 375951360 7719 33554432000 4194304 5683644 140736345596640 18446744073709551615 251826063793 0 0 16781312 33554434 18446604445404468480 0 0 -1 6 0 0 0
[pid=4224/tid=4247] ppid=4222 vsize=367140 CPUtime=0 cores=0,2,4,6
/proc/4224/task/4247/stat : 4247 (python) S 4222 4224 2544 0 -1 4202560 36 930 0 0 0 0 0 0 18 0 9 0 869477684 375951360 7719 33554432000 4194304 5683644 140736345596640 18446744073709551615 251826063793 0 0 16781312 33554434 18446604445404468480 0 0 -1 4 0 0 0
[pid=4224/tid=4259] ppid=4222 vsize=367140 CPUtime=0 cores=0,2,4,6
/proc/4224/task/4259/stat : 4259 (python) S 4222 4224 2544 0 -1 4202560 30 930 0 0 0 0 0 0 20 0 9 0 869492166 375951360 7719 33554432000 4194304 5683644 140736345596640 18446744073709551615 251826063793 0 0 16781312 33554434 18446604445404468480 0 0 -1 4 0 0 0
[pid=4224/tid=4351] ppid=4222 vsize=367140 CPUtime=0 cores=0,2,4,6
/proc/4224/task/4351/stat : 4351 (python) S 4222 4224 2544 0 -1 4202560 28 930 0 0 0 0 0 0 20 0 9 0 869510741 375951360 7719 33554432000 4194304 5683644 140736345596640 18446744073709551615 251826063793 0 0 16781312 33554434 18446604445404468480 0 0 -1 4 0 0 0
[pid=4224/tid=4378] ppid=4222 vsize=367140 CPUtime=0 cores=0,2,4,6
/proc/4224/task/4378/stat : 4378 (python) S 4222 4224 2544 0 -1 4202560 31 930 0 0 0 0 0 0 20 0 9 0 869515225 375951360 7719 33554432000 4194304 5683644 140736345596640 18446744073709551615 251826063793 0 0 16781312 33554434 18446604445404468480 0 0 -1 4 0 0 0
[pid=4224/tid=4387] ppid=4222 vsize=367140 CPUtime=0 cores=0,2,4,6
/proc/4224/task/4387/stat : 4387 (python) S 4222 4224 2544 0 -1 4202560 30 930 0 0 0 0 0 0 20 0 9 0 869529028 375951360 7719 33554432000 4194304 5683644 140736345596640 18446744073709551615 251826063793 0 0 16781312 33554434 18446604445404468480 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 660.43
Current children cumulated vsize (KiB) 20619660
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 4224 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=756884
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=135979
# CPU time returned by wait4() is 0.892863
# while last known CPU time is 660.43
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 655.694
CPU time (s): 660.43
CPU user time (s): 653.37
CPU system time (s): 7.06
CPU usage (%): 100.722
Max. virtual memory (cumulated for all children) (KiB): 20619660
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.756884
system time used= 0.135979
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17426
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= 2892
involuntary context switches= 27
runsolver used 4.94225 second user time and 10.3124 second system time
The end