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-3481473-1307577861/watcher-3481473-1307577861 -o /tmp/evaluation-result-3481473-1307577861/solver-3481473-1307577861 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3481473-1307577861.opb -seed 1746409190 -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.16 2.11 1.68 2/693 3741
/proc/meminfo: memFree=20203612/32950928 swapFree=34366004/67111528
[pid=3741] ppid=3739 vsize=15776 CPUtime=0 cores=0,2,4,6
/proc/3741/stat : 3741 (python) R 3739 3741 2236 0 -1 4202496 898 0 0 0 0 0 0 0 25 0 1 0 869384971 16154624 779 33554432000 4194304 5683644 140733630491808 18446744073709551615 4540219 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/3741/statm: 3944 780 343 364 0 431 0
[startup+0.0400381 s]
/proc/loadavg: 2.16 2.11 1.68 2/693 3741
/proc/meminfo: memFree=20203612/32950928 swapFree=34366004/67111528
[pid=3741] ppid=3739 vsize=18888 CPUtime=0.02 cores=0,2,4,6
/proc/3741/stat : 3741 (python) S 3739 3741 2236 0 -1 4202496 1287 0 0 0 2 0 0 0 25 0 1 0 869384971 19341312 1140 33554432000 4194304 5683644 140733630491808 18446744073709551615 235594864640 0 2147483391 16781312 2 18446744071699215550 0 0 17 6 0 0 0
/proc/3741/statm: 4722 1140 421 364 0 691 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 18888
[startup+0.107573 s]
/proc/loadavg: 2.16 2.11 1.68 2/693 3741
/proc/meminfo: memFree=20203612/32950928 swapFree=34366004/67111528
[pid=3741] ppid=3739 vsize=96128 CPUtime=0.08 cores=0,2,4,6
/proc/3741/stat : 3741 (python) R 3739 3741 2236 0 -1 4202496 3168 928 1 0 6 2 0 0 18 0 1 0 869384971 98435072 2483 33554432000 4194304 5683644 140733630491808 18446744073709551615 5170261 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/3741/statm: 24032 2483 792 364 0 1627 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 96128
[startup+0.301671 s]
/proc/loadavg: 2.16 2.11 1.68 2/693 3741
/proc/meminfo: memFree=20203612/32950928 swapFree=34366004/67111528
[pid=3741] ppid=3739 vsize=203280 CPUtime=0.23 cores=0,2,4,6
/proc/3741/stat : 3741 (python) S 3739 3741 2236 0 -1 4202496 6712 928 1 0 16 7 0 0 17 0 1 0 869384971 208158720 4992 33554432000 4194304 5683644 140733630491808 18446744073709551615 235594864640 0 2147483391 16781312 2 18446744071699215550 0 0 17 6 0 0 0
/proc/3741/statm: 50820 4992 1472 364 0 3782 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 203280
[startup+0.707519 s]
/proc/loadavg: 2.16 2.11 1.68 2/693 3741
/proc/meminfo: memFree=20203612/32950928 swapFree=34366004/67111528
[pid=3741] ppid=3739 vsize=286656 CPUtime=0.63 cores=0,2,4,6
/proc/3741/stat : 3741 (python) R 3739 3741 2236 0 -1 4202496 11146 1444 1 0 33 11 16 3 18 0 1 0 869384971 293535744 7967 33554432000 4194304 5683644 140733630491808 18446744073709551615 4539162 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/3741/statm: 71664 7967 1782 364 0 6557 0
Current children cumulated CPU time (s) 0.63
Current children cumulated vsize (KiB) 286656
[startup+1.50035 s]
/proc/loadavg: 2.16 2.11 1.68 3/694 3747
/proc/meminfo: memFree=20172184/32950928 swapFree=34366004/67111528
[pid=3741] ppid=3739 vsize=300972 CPUtime=1.23 cores=0,2,4,6
/proc/3741/stat : 3741 (python) S 3739 3741 2236 0 -1 4202496 14619 1444 1 0 93 11 16 3 20 0 2 0 869384971 308195328 9082 33554432000 4194304 5683644 140733630491808 18446744073709551615 235606693323 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0
/proc/3741/statm: 75243 9082 1871 364 0 10130 0
Current children cumulated CPU time (s) 1.23
Current children cumulated vsize (KiB) 300972
[startup+3.10094 s]
/proc/loadavg: 2.16 2.11 1.68 3/697 3750
/proc/meminfo: memFree=20076060/32950928 swapFree=34366004/67111528
[pid=3741] ppid=3739 vsize=300972 CPUtime=1.23 cores=0,2,4,6
/proc/3741/stat : 3741 (python) S 3739 3741 2236 0 -1 4202496 14619 1444 1 0 93 11 16 3 20 0 2 0 869384971 308195328 9082 33554432000 4194304 5683644 140733630491808 18446744073709551615 235606693323 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0
/proc/3741/statm: 75243 9082 1871 364 0 10130 0
[pid=3748] ppid=3741 vsize=290728 CPUtime=0 cores=0,2,4,6
/proc/3748/stat : 3748 (python) S 3741 3741 2236 0 -1 4202560 719 0 0 0 0 0 0 0 15 0 1 0 869385102 297705472 7525 33554432000 4194304 5683644 140733630491808 18446744073709551615 235594886671 0 0 16781312 33554946 11238267540461289729 0 0 17 2 0 0 0
/proc/3748/statm: 72682 7525 318 364 0 7569 0
[pid=3750] ppid=3748 vsize=187856 CPUtime=1.78 cores=0,2,4,6
/proc/3750/stat : 3750 (scip-2.0.1.linu) R 3748 3750 3750 0 -1 4202496 46293 0 0 0 165 13 0 0 25 0 1 0 869385103 192364544 44191 33554432000 4194304 13684479 140736683068096 18446744073709551615 6427705 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/3750/statm: 46964 44191 761 2317 0 44642 0
[pid=3741/tid=3749] ppid=3739 vsize=300972 CPUtime=0.19 cores=0,2,4,6
/proc/3741/task/3749/stat : 3749 (python) S 3739 3741 2236 0 -1 4202560 26 1444 0 0 0 0 16 3 20 0 2 0 869385103 308195328 9082 33554432000 4194304 5683644 140733630491808 18446744073709551615 235606690225 0 0 16781312 33554434 18446604441275127872 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3.01
Current children cumulated vsize (KiB) 779556
[startup+6.30038 s]
/proc/loadavg: 2.31 2.15 1.69 4/698 3751
/proc/meminfo: memFree=20103068/32950928 swapFree=34366004/67111528
[pid=3741] ppid=3739 vsize=300972 CPUtime=1.23 cores=0,2,4,6
/proc/3741/stat : 3741 (python) S 3739 3741 2236 0 -1 4202496 14619 1444 1 0 93 11 16 3 20 0 2 0 869384971 308195328 9082 33554432000 4194304 5683644 140733630491808 18446744073709551615 235606693323 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0
/proc/3741/statm: 75243 9082 1871 364 0 10130 0
[pid=3748] ppid=3741 vsize=290728 CPUtime=0.01 cores=0,2,4,6
/proc/3748/stat : 3748 (python) S 3741 3741 2236 0 -1 4202560 868 0 0 0 1 0 0 0 15 0 1 0 869385102 297705472 7549 33554432000 4194304 5683644 140733630491808 18446744073709551615 235594886671 0 0 16781312 33554946 1962850438533349376 0 0 17 2 0 0 0
/proc/3748/statm: 72682 7549 342 364 0 7569 0
[pid=3750] ppid=3748 vsize=187856 CPUtime=4.98 cores=0,2,4,6
/proc/3750/stat : 3750 (scip-2.0.1.linu) R 3748 3750 3750 0 -1 4202496 46756 0 0 0 473 25 0 0 25 0 1 0 869385103 192364544 44506 33554432000 4194304 13684479 140736683068096 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/3750/statm: 46964 44506 804 2317 0 44642 0
[pid=3741/tid=3749] ppid=3739 vsize=300972 CPUtime=0.19 cores=0,2,4,6
/proc/3741/task/3749/stat : 3749 (python) S 3739 3741 2236 0 -1 4202560 26 1444 0 0 0 0 16 3 20 0 2 0 869385103 308195328 9082 33554432000 4194304 5683644 140733630491808 18446744073709551615 235606690225 0 0 16781312 33554434 18446604441275127872 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 779556
[startup+12.7004 s]
/proc/loadavg: 2.36 2.16 1.70 3/697 3752
/proc/meminfo: memFree=20116276/32950928 swapFree=34366004/67111528
[pid=3741] ppid=3739 vsize=300972 CPUtime=1.23 cores=0,2,4,6
/proc/3741/stat : 3741 (python) S 3739 3741 2236 0 -1 4202496 14619 1444 1 0 93 11 16 3 20 0 2 0 869384971 308195328 9082 33554432000 4194304 5683644 140733630491808 18446744073709551615 235606693323 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0
/proc/3741/statm: 75243 9082 1871 364 0 10130 0
[pid=3748] ppid=3741 vsize=290728 CPUtime=0.04 cores=0,2,4,6
/proc/3748/stat : 3748 (python) S 3741 3741 2236 0 -1 4202560 871 0 0 0 2 2 0 0 15 0 1 0 869385102 297705472 7549 33554432000 4194304 5683644 140733630491808 18446744073709551615 235594886671 0 0 16781312 33554946 1262646206643830784 0 0 17 2 0 0 0
/proc/3748/statm: 72682 7549 342 364 0 7569 0
[pid=3750] ppid=3748 vsize=191888 CPUtime=11.38 cores=0,2,4,6
/proc/3750/stat : 3750 (scip-2.0.1.linu) R 3748 3750 3750 0 -1 4202496 47713 0 0 0 1111 27 0 0 21 0 1 0 869385103 196493312 45437 33554432000 4194304 13684479 140736683068096 18446744073709551615 4941701 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/3750/statm: 47972 45437 783 2317 0 45650 0
[pid=3741/tid=3749] ppid=3739 vsize=300972 CPUtime=0.19 cores=0,2,4,6
/proc/3741/task/3749/stat : 3749 (python) S 3739 3741 2236 0 -1 4202560 26 1444 0 0 0 0 16 3 20 0 2 0 869385103 308195328 9082 33554432000 4194304 5683644 140733630491808 18446744073709551615 235606690225 0 0 16781312 33554434 18446604441275127872 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 783588
[startup+25.5011 s]
/proc/loadavg: 2.28 2.15 1.70 3/697 3752
/proc/meminfo: memFree=20108660/32950928 swapFree=34366004/67111528
[pid=3741] ppid=3739 vsize=300972 CPUtime=1.23 cores=0,2,4,6
/proc/3741/stat : 3741 (python) S 3739 3741 2236 0 -1 4202496 14619 1444 1 0 93 11 16 3 20 0 2 0 869384971 308195328 9082 33554432000 4194304 5683644 140733630491808 18446744073709551615 235606693323 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0
/proc/3741/statm: 75243 9082 1871 364 0 10130 0
[pid=3748] ppid=3741 vsize=290728 CPUtime=0.1 cores=0,2,4,6
/proc/3748/stat : 3748 (python) S 3741 3741 2236 0 -1 4202560 888 0 0 0 5 5 0 0 15 0 1 0 869385102 297705472 7549 33554432000 4194304 5683644 140733630491808 18446744073709551615 235594886671 0 0 16781312 33554946 72556772316949380 0 0 17 6 0 0 0
/proc/3748/statm: 72682 7549 342 364 0 7569 0
[pid=3750] ppid=3748 vsize=199112 CPUtime=24.18 cores=0,2,4,6
/proc/3750/stat : 3750 (scip-2.0.1.linu) R 3748 3750 3750 0 -1 4202496 66796 0 0 0 2382 36 0 0 25 0 1 0 869385103 203890688 47312 33554432000 4194304 13684479 140736683068096 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/3750/statm: 49778 47312 806 2317 0 47456 0
[pid=3741/tid=3749] ppid=3739 vsize=300972 CPUtime=0.19 cores=0,2,4,6
/proc/3741/task/3749/stat : 3749 (python) S 3739 3741 2236 0 -1 4202560 26 1444 0 0 0 0 16 3 20 0 2 0 869385103 308195328 9082 33554432000 4194304 5683644 140733630491808 18446744073709551615 235606690225 0 0 16781312 33554434 18446604441275127872 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 25.51
Current children cumulated vsize (KiB) 790812
[startup+51.1006 s]
/proc/loadavg: 2.18 2.14 1.71 3/705 3760
/proc/meminfo: memFree=19892692/32950928 swapFree=34366004/67111528
[pid=3741] ppid=3739 vsize=311228 CPUtime=1.25 cores=0,2,4,6
/proc/3741/stat : 3741 (python) S 3739 3741 2236 0 -1 4202496 15494 1444 1 0 95 11 16 3 20 0 3 0 869384971 318697472 9089 33554432000 4194304 5683644 140733630491808 18446744073709551615 235606693323 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/3741/statm: 77807 9089 1874 364 0 12691 0
[pid=3748] ppid=3741 vsize=300972 CPUtime=0.2 cores=0,2,4,6
/proc/3748/stat : 3748 (python) S 3741 3741 2236 0 -1 4202560 1097 0 0 0 10 10 0 0 16 0 2 0 869385102 308195328 7617 33554432000 4194304 5683644 140733630491808 18446744073709551615 235606693323 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/3748/statm: 75243 7617 405 364 0 10130 0
[pid=3750] ppid=3748 vsize=200488 CPUtime=46.37 cores=0,2,4,6
/proc/3750/stat : 3750 (scip-2.0.1.linu) T 3748 3750 3750 0 -1 4202496 67050 0 0 0 4593 44 0 0 25 0 1 0 869385103 205299712 47566 33554432000 4194304 13684479 140736683068096 18446744073709551615 5323431 0 0 16781312 2 18446744071562691360 0 0 17 0 0 0 0
/proc/3750/statm: 50122 47566 811 2317 0 47800 0
[pid=3748/tid=3757] ppid=3741 vsize=300972 CPUtime=0 cores=0,2,4,6
/proc/3748/task/3757/stat : 3757 (python) S 3741 3741 2236 0 -1 4202560 48 0 0 0 0 0 0 0 16 0 2 0 869389740 308195328 7617 33554432000 4194304 5683644 140733630491808 18446744073709551615 235606690225 0 0 16781312 33554946 18446604442084404096 0 0 -1 6 0 0 0
[pid=3758] ppid=3741 vsize=300984 CPUtime=0.01 cores=0,2,4,6
/proc/3758/stat : 3758 (python) S 3741 3741 2236 0 -1 4202560 903 0 0 0 0 1 0 0 15 0 1 0 869389743 308207616 7553 33554432000 4194304 5683644 140733630491808 18446744073709551615 235594886726 0 0 16781312 33554946 2220033402340376576 0 0 17 2 0 0 0
/proc/3758/statm: 75246 7553 342 364 0 10130 0
[pid=3760] ppid=3758 vsize=192884 CPUtime=3.37 cores=0,2,4,6
/proc/3760/stat : 3760 (scip-2.0.1.linu) R 3758 3760 3760 0 -1 4202496 48874 0 0 0 313 24 0 0 25 0 1 0 869389743 197513216 43293 33554432000 4194304 15243407 140735852091584 18446744073709551615 6427726 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/3760/statm: 48221 43293 879 2698 0 45516 0
[pid=3741/tid=3749] ppid=3739 vsize=311228 CPUtime=0.19 cores=0,2,4,6
/proc/3741/task/3749/stat : 3749 (python) S 3739 3741 2236 0 -1 4202560 26 1444 0 0 0 0 16 3 20 0 3 0 869385103 318697472 9089 33554432000 4194304 5683644 140733630491808 18446744073709551615 235606690225 0 0 16781312 33554434 18446604441275127872 0 0 -1 2 0 0 0
[pid=3741/tid=3759] ppid=3739 vsize=311228 CPUtime=0.19 cores=0,2,4,6
/proc/3741/task/3759/stat : 3759 (python) S 3739 3741 2236 0 -1 4202560 28 1444 0 0 0 0 16 3 20 0 3 0 869389743 318697472 9089 33554432000 4194304 5683644 140733630491808 18446744073709551615 235606690225 0 0 16781312 33554434 18446604441275127872 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 51.2
Current children cumulated vsize (KiB) 1306556
[startup+102.32 s]
/proc/loadavg: 2.25 2.16 1.74 3/731 3788
/proc/meminfo: memFree=17687856/32950928 swapFree=34366004/67111528
[pid=3741] ppid=3739 vsize=321484 CPUtime=1.28 cores=0,2,4,6
/proc/3741/stat : 3741 (python) S 3739 3741 2236 0 -1 4202496 16372 1444 1 0 98 11 16 3 20 0 4 0 869384971 329199616 9095 33554432000 4194304 5683644 140733630491808 18446744073709551615 235606693323 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/3741/statm: 80371 9095 1876 364 0 15252 0
[pid=3748] ppid=3741 vsize=300972 CPUtime=0.2 cores=0,2,4,6
/proc/3748/stat : 3748 (python) S 3741 3741 2236 0 -1 4202560 1097 0 0 0 10 10 0 0 16 0 2 0 869385102 308195328 7617 33554432000 4194304 5683644 140733630491808 18446744073709551615 235606693323 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/3748/statm: 75243 7617 405 364 0 10130 0
[pid=3750] ppid=3748 vsize=200488 CPUtime=46.37 cores=0,2,4,6
/proc/3750/stat : 3750 (scip-2.0.1.linu) T 3748 3750 3750 0 -1 4202496 67050 0 0 0 4593 44 0 0 25 0 1 0 869385103 205299712 47566 33554432000 4194304 13684479 140736683068096 18446744073709551615 5323431 0 0 16781312 2 18446744071562691360 0 0 17 0 0 0 0
/proc/3750/statm: 50122 47566 811 2317 0 47800 0
[pid=3748/tid=3757] ppid=3741 vsize=300972 CPUtime=0 cores=0,2,4,6
/proc/3748/task/3757/stat : 3757 (python) S 3741 3741 2236 0 -1 4202560 48 0 0 0 0 0 0 0 16 0 2 0 869389740 308195328 7617 33554432000 4194304 5683644 140733630491808 18446744073709551615 235606690225 0 0 16781312 33554946 18446604442084404096 0 0 -1 6 0 0 0
[pid=3758] ppid=3741 vsize=300984 CPUtime=0.23 cores=0,2,4,6
/proc/3758/stat : 3758 (python) S 3741 3741 2236 0 -1 4202560 1169 0 0 0 11 12 0 0 17 0 2 0 869389743 308207616 7608 33554432000 4194304 5683644 140733630491808 18446744073709551615 235606693323 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/3758/statm: 75246 7608 396 364 0 10130 0
[pid=3760] ppid=3758 vsize=206048 CPUtime=50.53 cores=0,2,4,6
/proc/3760/stat : 3760 (scip-2.0.1.linu) T 3758 3760 3760 0 -1 4202496 75781 0 0 0 5013 40 0 0 25 0 1 0 869389743 210993152 47508 33554432000 4194304 15243407 140735852091584 18446744073709551615 13354455 0 0 16781312 2 18446744071562691360 0 0 17 0 0 0 0
/proc/3760/statm: 51512 47508 932 2698 0 48807 0
[pid=3758/tid=3785] ppid=3741 vsize=300984 CPUtime=0 cores=0,2,4,6
/proc/3758/task/3785/stat : 3785 (python) S 3741 3741 2236 0 -1 4202560 47 0 0 0 0 0 0 0 17 0 2 0 869394797 308207616 7608 33554432000 4194304 5683644 140733630491808 18446744073709551615 235606690225 0 0 16781312 33554946 18446604447774142720 0 0 -1 6 0 0 0
[pid=3786] ppid=3741 vsize=311240 CPUtime=0.02 cores=0,2,4,6
/proc/3786/stat : 3786 (python) S 3741 3741 2236 0 -1 4202560 1015 0 0 0 1 1 0 0 15 0 1 0 869394800 318709760 7564 33554432000 4194304 5683644 140733630491808 18446744073709551615 235594886726 0 0 16781312 33554946 4294934786 0 0 17 0 0 0 0
/proc/3786/statm: 77810 7564 349 364 0 12691 0
[pid=3788] ppid=3786 vsize=17124 CPUtime=4 cores=0,2,4,6
/proc/3788/stat : 3788 (wbo1.4a) R 3786 3788 3788 0 -1 4202496 4842 0 0 0 399 1 0 0 25 0 1 0 869394800 17534976 3792 33554432000 134512640 135751879 4294669840 18446744073709551615 134611292 0 0 16781312 3 0 0 0 17 0 0 0 0
/proc/3788/statm: 4281 3792 146 303 0 3976 0
[pid=3741/tid=3749] ppid=3739 vsize=321484 CPUtime=0.19 cores=0,2,4,6
/proc/3741/task/3749/stat : 3749 (python) S 3739 3741 2236 0 -1 4202560 26 1444 0 0 0 0 16 3 20 0 4 0 869385103 329199616 9095 33554432000 4194304 5683644 140733630491808 18446744073709551615 235606690225 0 0 16781312 33554434 18446604441275127872 0 0 -1 2 0 0 0
[pid=3741/tid=3759] ppid=3739 vsize=321484 CPUtime=0.19 cores=0,2,4,6
/proc/3741/task/3759/stat : 3759 (python) S 3739 3741 2236 0 -1 4202560 28 1444 0 0 0 0 16 3 20 0 4 0 869389743 329199616 9095 33554432000 4194304 5683644 140733630491808 18446744073709551615 235606690225 0 0 16781312 33554434 18446604441275127872 0 0 -1 0 0 0 0
################
# More data... #
################
[pid=3741/tid=3759] ppid=3739 vsize=341996 CPUtime=0.19 cores=0,2,4,6
/proc/3741/task/3759/stat : 3759 (python) S 3739 3741 2236 0 -1 4202560 33 1444 0 0 0 0 16 3 18 0 6 0 869389743 350203904 9107 33554432000 4194304 5683644 140733630491808 18446744073709551615 235606690225 0 0 16781312 33554434 18446604441275127872 0 0 -1 0 0 0 0
[pid=3741/tid=3787] ppid=3739 vsize=341996 CPUtime=0.19 cores=0,2,4,6
/proc/3741/task/3787/stat : 3787 (python) S 3739 3741 2236 0 -1 4202560 31 1444 0 0 0 0 16 3 20 0 6 0 869394800 350203904 9107 33554432000 4194304 5683644 140733630491808 18446744073709551615 235606690225 0 0 16781312 33554434 18446604441275127872 0 0 -1 6 0 0 0
[pid=3741/tid=3796] ppid=3739 vsize=341996 CPUtime=0.19 cores=0,2,4,6
/proc/3741/task/3796/stat : 3796 (python) S 3739 3741 2236 0 -1 4202560 29 1444 0 0 0 0 16 3 20 0 6 0 869399403 350203904 9107 33554432000 4194304 5683644 140733630491808 18446744073709551615 235606690225 0 0 16781312 33554434 18446604441275127872 0 0 -1 0 0 0 0
[pid=3741/tid=3819] ppid=3739 vsize=341996 CPUtime=0.19 cores=0,2,4,6
/proc/3741/task/3819/stat : 3819 (python) S 3739 3741 2236 0 -1 4202560 27 1444 0 0 0 0 16 3 20 0 6 0 869404023 350203904 9107 33554432000 4194304 5683644 140733630491808 18446744073709551615 235606690225 0 0 16781312 33554434 18446604441275127872 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 346.02
Current children cumulated vsize (KiB) 10955440
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+377.202 s]
/proc/loadavg: 2.19 2.16 1.83 6/775 3910
/proc/meminfo: memFree=13400396/32950928 swapFree=34366004/67111528
[pid=3741] ppid=3739 vsize=352252 CPUtime=1.41 cores=0,2,4,6
/proc/3741/stat : 3741 (python) S 3739 3741 2236 0 -1 4202496 19076 1444 1 0 110 12 16 3 20 0 7 0 869384971 360706048 9113 33554432000 4194304 5683644 140733630491808 18446744073709551615 235606693323 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/3741/statm: 88063 9113 1882 364 0 22935 0
[pid=3748] ppid=3741 vsize=300972 CPUtime=0.41 cores=0,2,4,6
/proc/3748/stat : 3748 (python) S 3741 3741 2236 0 -1 4202560 1122 0 0 0 19 22 0 0 15 0 2 0 869385102 308195328 7618 33554432000 4194304 5683644 140733630491808 18446744073709551615 235606693323 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/3748/statm: 75243 7618 406 364 0 10130 0
[pid=3750] ppid=3748 vsize=215420 CPUtime=92.6 cores=0,2,4,6
/proc/3750/stat : 3750 (scip-2.0.1.linu) T 3748 3750 3750 0 -1 4202496 70510 0 0 0 9206 54 0 0 25 0 1 0 869385103 220590080 51023 33554432000 4194304 13684479 140736683068096 18446744073709551615 7153778 0 0 16781312 2 18446744071562691360 0 0 17 0 0 0 0
/proc/3750/statm: 53855 51023 814 2317 0 51533 0
[pid=3748/tid=3757] ppid=3741 vsize=300972 CPUtime=0 cores=0,2,4,6
/proc/3748/task/3757/stat : 3757 (python) S 3741 3741 2236 0 -1 4202560 48 0 0 0 0 0 0 0 15 0 2 0 869389740 308195328 7618 33554432000 4194304 5683644 140733630491808 18446744073709551615 235606690225 0 0 16781312 33554946 18446604442084404096 0 0 -1 6 0 0 0
[pid=3758] ppid=3741 vsize=300984 CPUtime=0.43 cores=0,2,4,6
/proc/3758/stat : 3758 (python) S 3741 3741 2236 0 -1 4202560 1213 0 0 0 22 21 0 0 15 0 2 0 869389743 308207616 7608 33554432000 4194304 5683644 140733630491808 18446744073709551615 235606693323 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/3758/statm: 75246 7608 396 364 0 10130 0
[pid=3760] ppid=3758 vsize=214244 CPUtime=96.74 cores=0,2,4,6
/proc/3760/stat : 3760 (scip-2.0.1.linu) T 3758 3760 3760 0 -1 4202496 78976 0 0 0 9627 47 0 0 25 0 1 0 869389743 219385856 48631 33554432000 4194304 15243407 140735852091584 18446744073709551615 8135854 0 0 16781312 2 18446744071562691360 0 0 17 0 0 0 0
/proc/3760/statm: 53561 48631 939 2698 0 50856 0
[pid=3758/tid=3785] ppid=3741 vsize=300984 CPUtime=0 cores=0,2,4,6
/proc/3758/task/3785/stat : 3785 (python) S 3741 3741 2236 0 -1 4202560 48 0 0 0 0 0 0 0 15 0 2 0 869394797 308207616 7608 33554432000 4194304 5683644 140733630491808 18446744073709551615 235606690225 0 0 16781312 33554946 18446604447774142720 0 0 -1 6 0 0 0
[pid=3786] ppid=3741 vsize=311240 CPUtime=0.23 cores=0,2,4,6
/proc/3786/stat : 3786 (python) S 3741 3741 2236 0 -1 4202560 1186 0 0 0 12 11 0 0 17 0 2 0 869394800 318709760 7612 33554432000 4194304 5683644 140733630491808 18446744073709551615 235606693323 0 0 16781312 33554946 18446744073709551615 0 0 17 0 0 0 0
/proc/3786/statm: 77810 7612 396 364 0 12691 0
[pid=3788] ppid=3786 vsize=60536 CPUtime=45.93 cores=0,2,4,6
/proc/3788/stat : 3788 (wbo1.4a) T 3786 3788 3788 0 -1 4202496 15716 0 0 0 4581 12 0 0 25 0 1 0 869394800 61988864 14666 33554432000 134512640 135751879 4294669840 18446744073709551615 134616489 0 0 16781312 3 18446744071562691360 0 0 17 6 0 0 0
/proc/3788/statm: 15134 14666 146 303 0 14829 0
[pid=3786/tid=3794] ppid=3741 vsize=311240 CPUtime=0 cores=0,2,4,6
/proc/3786/task/3794/stat : 3794 (python) S 3741 3741 2236 0 -1 4202560 45 0 0 0 0 0 0 0 17 0 2 0 869399400 318709760 7612 33554432000 4194304 5683644 140733630491808 18446744073709551615 235606690225 0 0 16781312 33554946 18446604443259993088 0 0 -1 0 0 0 0
[pid=3795] ppid=3741 vsize=321496 CPUtime=0.21 cores=0,2,4,6
/proc/3795/stat : 3795 (python) S 3741 3741 2236 0 -1 4202560 1139 0 0 0 11 10 0 0 16 0 2 0 869399403 329211904 7610 33554432000 4194304 5683644 140733630491808 18446744073709551615 235606693323 0 0 16781312 33554946 18446744073709551615 0 0 17 0 0 0 0
/proc/3795/statm: 80374 7610 390 364 0 15252 0
[pid=3797] ppid=3795 vsize=8549056 CPUtime=48.62 cores=0,2,4,6
/proc/3797/stat : 3797 (java) T 3795 3797 3797 0 -1 4202496 710264 0 1 0 4790 72 0 0 18 0 19 0 869399403 8754233344 700345 33554432000 1073741824 1073778376 140735686939360 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/3797/statm: 2137264 700345 2250 9 0 2128005 0
[pid=3797/tid=3798] ppid=3795 vsize=8549056 CPUtime=45.86 cores=0,2,4,6
/proc/3797/task/3798/stat : 3798 (java) T 3795 3797 3797 0 -1 4202560 635968 0 1 0 4524 62 0 0 25 0 19 0 869399403 8754233344 700345 33554432000 1073741824 1073778376 140735686939360 18446744073709551615 46912506114988 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=3797/tid=3799] ppid=3795 vsize=8549056 CPUtime=0.08 cores=0,2,4,6
/proc/3797/task/3799/stat : 3799 (java) T 3795 3797 3797 0 -1 4202560 7642 0 0 0 8 0 0 0 15 0 19 0 869399404 8754233344 700345 33554432000 1073741824 1073778376 140735686939360 18446744073709551615 235606682521 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=3797/tid=3800] ppid=3795 vsize=8549056 CPUtime=0.1 cores=0,2,4,6
/proc/3797/task/3800/stat : 3800 (java) T 3795 3797 3797 0 -1 4202560 8593 0 0 0 10 0 0 0 15 0 19 0 869399404 8754233344 700345 33554432000 1073741824 1073778376 140735686939360 18446744073709551615 235606682521 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=3797/tid=3801] ppid=3795 vsize=8549056 CPUtime=0.12 cores=0,2,4,6
/proc/3797/task/3801/stat : 3801 (java) T 3795 3797 3797 0 -1 4202560 10002 0 0 0 11 1 0 0 15 0 19 0 869399404 8754233344 700345 33554432000 1073741824 1073778376 140735686939360 18446744073709551615 235606682521 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=3797/tid=3802] ppid=3795 vsize=8549056 CPUtime=0.08 cores=0,2,4,6
/proc/3797/task/3802/stat : 3802 (java) T 3795 3797 3797 0 -1 4202560 7518 0 0 0 8 0 0 0 15 0 19 0 869399404 8754233344 700345 33554432000 1073741824 1073778376 140735686939360 18446744073709551615 235606682521 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=3797/tid=3803] ppid=3795 vsize=8549056 CPUtime=0.07 cores=0,2,4,6
/proc/3797/task/3803/stat : 3803 (java) T 3795 3797 3797 0 -1 4202560 6442 0 0 0 7 0 0 0 15 0 19 0 869399404 8754233344 700345 33554432000 1073741824 1073778376 140735686939360 18446744073709551615 235606682521 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=3797/tid=3804] ppid=3795 vsize=8549056 CPUtime=0.08 cores=0,2,4,6
/proc/3797/task/3804/stat : 3804 (java) T 3795 3797 3797 0 -1 4202560 7450 0 0 0 8 0 0 0 15 0 19 0 869399404 8754233344 700345 33554432000 1073741824 1073778376 140735686939360 18446744073709551615 235606682521 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=3797/tid=3805] ppid=3795 vsize=8549056 CPUtime=0.04 cores=0,2,4,6
/proc/3797/task/3805/stat : 3805 (java) T 3795 3797 3797 0 -1 4202560 4986 0 0 0 4 0 0 0 15 0 19 0 869399404 8754233344 700345 33554432000 1073741824 1073778376 140735686939360 18446744073709551615 235606682521 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=3797/tid=3806] ppid=3795 vsize=8549056 CPUtime=0.09 cores=0,2,4,6
/proc/3797/task/3806/stat : 3806 (java) T 3795 3797 3797 0 -1 4202560 7579 0 0 0 8 1 0 0 15 0 19 0 869399404 8754233344 700345 33554432000 1073741824 1073778376 140735686939360 18446744073709551615 235606682521 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=3797/tid=3807] ppid=3795 vsize=8549056 CPUtime=0 cores=0,2,4,6
/proc/3797/task/3807/stat : 3807 (java) T 3795 3797 3797 0 -1 4202560 1269 0 0 0 0 0 0 0 15 0 19 0 869399405 8754233344 700345 33554432000 1073741824 1073778376 140735686939360 18446744073709551615 235606683136 0 0 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=3797/tid=3808] ppid=3795 vsize=8549056 CPUtime=0 cores=0,2,4,6
/proc/3797/task/3808/stat : 3808 (java) T 3795 3797 3797 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 869399405 8754233344 700345 33554432000 1073741824 1073778376 140735686939360 18446744073709551615 235606682521 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=3797/tid=3809] ppid=3795 vsize=8549056 CPUtime=0 cores=0,2,4,6
/proc/3797/task/3809/stat : 3809 (java) T 3795 3797 3797 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 869399405 8754233344 700345 33554432000 1073741824 1073778376 140735686939360 18446744073709551615 235606682521 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=3797/tid=3810] ppid=3795 vsize=8549056 CPUtime=0 cores=0,2,4,6
/proc/3797/task/3810/stat : 3810 (java) T 3795 3797 3797 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869399407 8754233344 700345 33554432000 1073741824 1073778376 140735686939360 18446744073709551615 235606690225 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=3797/tid=3811] ppid=3795 vsize=8549056 CPUtime=0.88 cores=0,2,4,6
/proc/3797/task/3811/stat : 3811 (java) T 3795 3797 3797 0 -1 4202560 5673 0 0 0 88 0 0 0 15 0 19 0 869399407 8754233344 700345 33554432000 1073741824 1073778376 140735686939360 18446744073709551615 235606682521 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=3797/tid=3812] ppid=3795 vsize=8549056 CPUtime=1.07 cores=0,2,4,6
/proc/3797/task/3812/stat : 3812 (java) T 3795 3797 3797 0 -1 4202560 5747 0 0 0 107 0 0 0 15 0 19 0 869399407 8754233344 700345 33554432000 1073741824 1073778376 140735686939360 18446744073709551615 235606682521 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=3797/tid=3813] ppid=3795 vsize=8549056 CPUtime=0 cores=0,2,4,6
/proc/3797/task/3813/stat : 3813 (java) T 3795 3797 3797 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869399407 8754233344 700345 33554432000 1073741824 1073778376 140735686939360 18446744073709551615 235606682521 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=3797/tid=3814] ppid=3795 vsize=8549056 CPUtime=0 cores=0,2,4,6
/proc/3797/task/3814/stat : 3814 (java) T 3795 3797 3797 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 869399407 8754233344 700345 33554432000 1073741824 1073778376 140735686939360 18446744073709551615 235606683136 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=3797/tid=3815] ppid=3795 vsize=8549056 CPUtime=0 cores=0,2,4,6
/proc/3797/task/3815/stat : 3815 (java) T 3795 3797 3797 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 869399469 8754233344 700345 33554432000 1073741824 1073778376 140735686939360 18446744073709551615 235606683136 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=3795/tid=3817] ppid=3741 vsize=321496 CPUtime=0 cores=0,2,4,6
/proc/3795/task/3817/stat : 3817 (python) S 3741 3741 2236 0 -1 4202560 51 0 0 0 0 0 0 0 16 0 2 0 869404020 329211904 7610 33554432000 4194304 5683644 140733630491808 18446744073709551615 235606690225 0 0 16781312 33554946 18446604452085859264 0 0 -1 0 0 0 0
[pid=3818] ppid=3741 vsize=331752 CPUtime=0.38 cores=0,2,4,6
/proc/3818/stat : 3818 (python) S 3741 3741 2236 0 -1 4202560 1195 0 0 0 21 17 0 0 16 0 2 0 869404023 339714048 7614 33554432000 4194304 5683644 140733630491808 18446744073709551615 235606693323 0 0 16781312 33554946 18446744073709551615 0 0 17 2 0 0 0
/proc/3818/statm: 82938 7614 390 364 0 17813 0
[pid=3820] ppid=3818 vsize=13840 CPUtime=93.74 cores=0,2,4,6
/proc/3820/stat : 3820 (clasp-1.3.7-x86) T 3818 3820 3820 0 -1 4202496 3728 0 0 0 9374 0 0 0 25 0 1 0 869404023 14172160 3206 33554432000 134512640 136139019 4293339168 18446744073709551615 134875605 0 0 16781312 16386 18446744071562691360 0 0 17 2 0 0 0
/proc/3820/statm: 3460 3206 187 398 0 3060 0
[pid=3818/tid=3829] ppid=3741 vsize=331752 CPUtime=0 cores=0,2,4,6
/proc/3818/task/3829/stat : 3829 (python) S 3741 3741 2236 0 -1 4202560 47 0 0 0 0 0 0 0 16 0 2 0 869413402 339714048 7614 33554432000 4194304 5683644 140733630491808 18446744073709551615 235606690225 0 0 16781312 33554946 18446604448271136960 0 0 -1 2 0 0 0
[pid=3891] ppid=3741 vsize=342008 CPUtime=0 cores=0,2,4,6
/proc/3891/stat : 3891 (python) S 3741 3741 2236 0 -1 4202560 808 0 0 0 0 0 0 0 19 0 1 0 869422653 350216192 7546 33554432000 4194304 5683644 140733630491808 18446744073709551615 235594886726 0 0 16781312 33554946 2286716128275202048 0 0 17 2 0 0 0
/proc/3891/statm: 85502 7546 319 364 0 20374 0
[pid=3893] ppid=3891 vsize=8543012 CPUtime=0.84 cores=0,2,4,6
/proc/3893/stat : 3893 (java) S 3891 3893 3893 0 -1 4202496 17067 0 1 0 82 2 0 0 20 0 18 0 869422653 8748044288 13924 33554432000 1073741824 1073778376 140735107273328 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/3893/statm: 2135753 13924 2217 9 0 2126494 0
[pid=3893/tid=3894] ppid=3891 vsize=8543012 CPUtime=0.41 cores=0,2,4,6
/proc/3893/task/3894/stat : 3894 (java) R 3891 3893 3893 0 -1 4202560 6771 0 1 0 40 1 0 0 25 0 18 0 869422653 8748044288 14207 33554432000 1073741824 1073778376 140735107273328 18446744073709551615 46912505366267 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=3893/tid=3895] ppid=3891 vsize=8543012 CPUtime=0 cores=0,2,4,6
/proc/3893/task/3895/stat : 3895 (java) S 3891 3893 3893 0 -1 4202560 2 0 0 0 0 0 0 0 22 0 18 0 869422654 8748044288 14207 33554432000 1073741824 1073778376 140735107273328 18446744073709551615 235606682521 0 4 0 16800975 18446604442084402304 0 0 -1 2 0 0 0
[pid=3893/tid=3896] ppid=3891 vsize=8543012 CPUtime=0 cores=0,2,4,6
/proc/3893/task/3896/stat : 3896 (java) S 3891 3893 3893 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 18 0 869422654 8748044288 14207 33554432000 1073741824 1073778376 140735107273328 18446744073709551615 235606682521 0 4 0 16800975 18446604442084402304 0 0 -1 2 0 0 0
[pid=3893/tid=3897] ppid=3891 vsize=8543012 CPUtime=0 cores=0,2,4,6
/proc/3893/task/3897/stat : 3897 (java) S 3891 3893 3893 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 18 0 869422654 8748044288 14208 33554432000 1073741824 1073778376 140735107273328 18446744073709551615 235606682521 0 4 0 16800975 18446604442084402304 0 0 -1 2 0 0 0
[pid=3893/tid=3898] ppid=3891 vsize=8543012 CPUtime=0 cores=0,2,4,6
/proc/3893/task/3898/stat : 3898 (java) S 3891 3893 3893 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 18 0 869422654 8748044288 14208 33554432000 1073741824 1073778376 140735107273328 18446744073709551615 235606682521 0 4 0 16800975 18446604442084402304 0 0 -1 2 0 0 0
[pid=3893/tid=3899] ppid=3891 vsize=8543012 CPUtime=0 cores=0,2,4,6
/proc/3893/task/3899/stat : 3899 (java) S 3891 3893 3893 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 18 0 869422654 8748044288 14209 33554432000 1073741824 1073778376 140735107273328 18446744073709551615 235606682521 0 4 0 16800975 18446604442084402304 0 0 -1 2 0 0 0
[pid=3893/tid=3900] ppid=3891 vsize=8543012 CPUtime=0 cores=0,2,4,6
/proc/3893/task/3900/stat : 3900 (java) S 3891 3893 3893 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 18 0 869422654 8748044288 14209 33554432000 1073741824 1073778376 140735107273328 18446744073709551615 235606682521 0 4 0 16800975 18446604442084402304 0 0 -1 2 0 0 0
[pid=3893/tid=3901] ppid=3891 vsize=8543012 CPUtime=0 cores=0,2,4,6
/proc/3893/task/3901/stat : 3901 (java) S 3891 3893 3893 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869422654 8748044288 14209 33554432000 1073741824 1073778376 140735107273328 18446744073709551615 235606682521 0 4 0 16800975 18446604442084402304 0 0 -1 0 0 0 0
[pid=3893/tid=3902] ppid=3891 vsize=8543012 CPUtime=0 cores=0,2,4,6
/proc/3893/task/3902/stat : 3902 (java) S 3891 3893 3893 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869422654 8748044288 14210 33554432000 1073741824 1073778376 140735107273328 18446744073709551615 235606682521 0 4 0 16800975 18446604442084402304 0 0 -1 0 0 0 0
[pid=3893/tid=3903] ppid=3891 vsize=8543012 CPUtime=0 cores=0,2,4,6
/proc/3893/task/3903/stat : 3903 (java) S 3891 3893 3893 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 869422655 8748044288 14211 33554432000 1073741824 1073778376 140735107273328 18446744073709551615 235606683136 0 0 0 16800975 18446604442084402304 0 0 -1 2 0 0 0
[pid=3893/tid=3904] ppid=3891 vsize=8543012 CPUtime=0 cores=0,2,4,6
/proc/3893/task/3904/stat : 3904 (java) S 3891 3893 3893 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 869422655 8748044288 14215 33554432000 1073741824 1073778376 140735107273328 18446744073709551615 235606682521 0 4 0 16800975 18446604442084402304 0 0 -1 2 0 0 0
[pid=3893/tid=3905] ppid=3891 vsize=8543012 CPUtime=0 cores=0,2,4,6
/proc/3893/task/3905/stat : 3905 (java) S 3891 3893 3893 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 869422655 8748044288 14228 33554432000 1073741824 1073778376 140735107273328 18446744073709551615 235606682521 0 4 0 16800975 18446604442084402304 0 0 -1 2 0 0 0
[pid=3893/tid=3906] ppid=3891 vsize=8543012 CPUtime=0 cores=0,2,4,6
/proc/3893/task/3906/stat : 3906 (java) S 3891 3893 3893 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869422657 8748044288 14240 33554432000 1073741824 1073778376 140735107273328 18446744073709551615 235606690225 0 4 0 16800975 18446604442084402304 0 0 -1 6 0 0 0
[pid=3893/tid=3907] ppid=3891 vsize=8543012 CPUtime=0.22 cores=0,2,4,6
/proc/3893/task/3907/stat : 3907 (java) R 3891 3893 3893 0 -1 4202560 5115 0 0 0 22 0 0 0 25 0 18 0 869422657 8748044288 14252 33554432000 1073741824 1073778376 140735107273328 18446744073709551615 47219309294032 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=3893/tid=3908] ppid=3891 vsize=8543012 CPUtime=0.22 cores=0,2,4,6
/proc/3893/task/3908/stat : 3908 (java) R 3891 3893 3893 0 -1 4202560 4107 0 0 0 22 0 0 0 25 0 18 0 869422657 8748044288 14263 33554432000 1073741824 1073778376 140735107273328 18446744073709551615 47219307324722 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=3893/tid=3909] ppid=3891 vsize=8543012 CPUtime=0 cores=0,2,4,6
/proc/3893/task/3909/stat : 3909 (java) S 3891 3893 3893 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869422657 8748044288 14276 33554432000 1073741824 1073778376 140735107273328 18446744073709551615 235606682521 0 4 0 16800975 18446604442084402304 0 0 -1 6 0 0 0
[pid=3893/tid=3910] ppid=3891 vsize=8543012 CPUtime=0 cores=0,2,4,6
/proc/3893/task/3910/stat : 3910 (java) S 3891 3893 3893 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 869422657 8748044288 14287 33554432000 1073741824 1073778376 140735107273328 18446744073709551615 235606683136 0 4 0 16800975 18446604442084402304 0 0 -1 0 0 0 0
[pid=3741/tid=3749] ppid=3739 vsize=352252 CPUtime=0.19 cores=0,2,4,6
/proc/3741/task/3749/stat : 3749 (python) S 3739 3741 2236 0 -1 4202560 31 1444 0 0 0 0 16 3 18 0 7 0 869385103 360706048 9113 33554432000 4194304 5683644 140733630491808 18446744073709551615 235606690225 0 0 16781312 33554434 18446604441275127872 0 0 -1 2 0 0 0
[pid=3741/tid=3759] ppid=3739 vsize=352252 CPUtime=0.19 cores=0,2,4,6
/proc/3741/task/3759/stat : 3759 (python) S 3739 3741 2236 0 -1 4202560 33 1444 0 0 0 0 16 3 18 0 7 0 869389743 360706048 9113 33554432000 4194304 5683644 140733630491808 18446744073709551615 235606690225 0 0 16781312 33554434 18446604441275127872 0 0 -1 0 0 0 0
[pid=3741/tid=3787] ppid=3739 vsize=352252 CPUtime=0.19 cores=0,2,4,6
/proc/3741/task/3787/stat : 3787 (python) S 3739 3741 2236 0 -1 4202560 31 1444 0 0 0 0 16 3 20 0 7 0 869394800 360706048 9113 33554432000 4194304 5683644 140733630491808 18446744073709551615 235606690225 0 0 16781312 33554434 18446604441275127872 0 0 -1 6 0 0 0
[pid=3741/tid=3796] ppid=3739 vsize=352252 CPUtime=0.19 cores=0,2,4,6
/proc/3741/task/3796/stat : 3796 (python) S 3739 3741 2236 0 -1 4202560 29 1444 0 0 0 0 16 3 20 0 7 0 869399403 360706048 9113 33554432000 4194304 5683644 140733630491808 18446744073709551615 235606690225 0 0 16781312 33554434 18446604441275127872 0 0 -1 0 0 0 0
[pid=3741/tid=3819] ppid=3739 vsize=352252 CPUtime=0.19 cores=0,2,4,6
/proc/3741/task/3819/stat : 3819 (python) S 3739 3741 2236 0 -1 4202560 27 1444 0 0 0 0 16 3 20 0 7 0 869404023 360706048 9113 33554432000 4194304 5683644 140733630491808 18446744073709551615 235606690225 0 0 16781312 33554434 18446604441275127872 0 0 -1 6 0 0 0
[pid=3741/tid=3892] ppid=3739 vsize=352252 CPUtime=0.19 cores=0,2,4,6
/proc/3741/task/3892/stat : 3892 (python) S 3739 3741 2236 0 -1 4202560 29 1444 0 0 0 0 16 3 20 0 7 0 869422653 360706048 9113 33554432000 4194304 5683644 140733630491808 18446744073709551615 235606690225 0 0 16781312 33554434 18446604441275127872 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 381.54
Current children cumulated vsize (KiB) 19856812
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 3741 and gives
# childrusage.ru_utime.tv_sec=1
# childrusage.ru_utime.tv_usec=261808
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=160975
# CPU time returned by wait4() is 1.42278
# while last known CPU time is 381.54
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 377.29
CPU time (s): 381.54
CPU user time (s): 378.71
CPU system time (s): 2.83
CPU usage (%): 101.126
Max. virtual memory (cumulated for all children) (KiB): 19856812
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.26181
system time used= 0.160975
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20524
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= 15227
involuntary context switches= 26
runsolver used 2.79257 second user time and 5.78812 second system time
The end