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-3481589-1307578403/watcher-3481589-1307578403 -o /tmp/evaluation-result-3481589-1307578403/solver-3481589-1307578403 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3481589-1307578403.opb -seed 1586134773 -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.06 2.13 1.86 3/703 4154
/proc/meminfo: memFree=14644760/32951124 swapFree=43359760/67111528
[pid=4154] ppid=4152 vsize=15380 CPUtime=0 cores=0,2,4,6
/proc/4154/stat : 4154 (python) S 4152 4154 1406 0 -1 4202496 819 0 0 0 0 0 0 0 25 0 1 0 869438551 15749120 704 33554432000 4194304 5683644 140733321505120 18446744073709551615 246516832256 0 2147483391 16781312 2 18446744071699453118 0 0 17 4 0 0 0
/proc/4154/statm: 3845 704 334 364 0 332 0
[startup+0.0244431 s]
/proc/loadavg: 2.06 2.13 1.86 3/703 4154
/proc/meminfo: memFree=14644760/32951124 swapFree=43359760/67111528
[pid=4154] ppid=4152 vsize=16400 CPUtime=0.01 cores=0,2,4,6
/proc/4154/stat : 4154 (python) R 4152 4154 1406 0 -1 4202496 1085 0 0 0 1 0 0 0 25 0 1 0 869438551 16793600 956 33554432000 4194304 5683644 140733321505120 18446744073709551615 5210927 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/4154/statm: 4100 957 390 364 0 587 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 16400
[startup+0.100406 s]
/proc/loadavg: 2.06 2.13 1.86 3/703 4154
/proc/meminfo: memFree=14644760/32951124 swapFree=43359760/67111528
[pid=4154] ppid=4152 vsize=85620 CPUtime=0.07 cores=0,2,4,6
/proc/4154/stat : 4154 (python) S 4152 4154 1406 0 -1 4202496 2665 0 0 0 5 2 0 0 25 0 1 0 869438551 87674880 2382 33554432000 4194304 5683644 140733321505120 18446744073709551615 246516832256 0 2147483391 16781312 2 18446744071699453118 0 0 17 4 0 0 0
/proc/4154/statm: 21405 2382 715 364 0 1622 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 85620
[startup+0.300375 s]
/proc/loadavg: 2.06 2.13 1.86 3/703 4154
/proc/meminfo: memFree=14644760/32951124 swapFree=43359760/67111528
[pid=4154] ppid=4152 vsize=123740 CPUtime=0.17 cores=0,2,4,6
/proc/4154/stat : 4154 (python) R 4152 4154 1406 0 -1 4202496 5357 931 1 0 12 5 0 0 17 0 1 0 869438551 126709760 3744 33554432000 4194304 5683644 140733321505120 18446744073709551615 4620076 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/4154/statm: 30935 3744 987 364 0 2767 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 123740
[startup+0.707278 s]
/proc/loadavg: 2.06 2.13 1.86 3/703 4154
/proc/meminfo: memFree=14644760/32951124 swapFree=43359760/67111528
[pid=4154] ppid=4152 vsize=282536 CPUtime=0.39 cores=0,2,4,6
/proc/4154/stat : 4154 (python) S 4152 4154 1406 0 -1 4202496 9222 931 1 0 30 9 0 0 16 0 1 0 869438551 289316864 6954 33554432000 4194304 5683644 140733321505120 18446744073709551615 246516854287 0 0 16781312 2 3495644612012277760 0 0 17 4 0 0 0
/proc/4154/statm: 70634 6954 1777 364 0 5527 0
Current children cumulated CPU time (s) 0.39
Current children cumulated vsize (KiB) 282536
[startup+1.50111 s]
/proc/loadavg: 2.06 2.13 1.86 3/704 4160
/proc/meminfo: memFree=14617472/32951124 swapFree=43359760/67111528
[pid=4154] ppid=4152 vsize=296768 CPUtime=0.81 cores=0,2,4,6
/proc/4154/stat : 4154 (python) S 4152 4154 1406 0 -1 4202496 12432 1384 1 0 62 10 8 1 20 0 2 0 869438551 303890432 8060 33554432000 4194304 5683644 140733321505120 18446744073709551615 246528660939 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/4154/statm: 74192 8060 1871 364 0 9079 0
Current children cumulated CPU time (s) 0.81
Current children cumulated vsize (KiB) 296768
[startup+3.10088 s]
/proc/loadavg: 2.06 2.12 1.86 3/707 4163
/proc/meminfo: memFree=14544908/32951124 swapFree=43359760/67111528
[pid=4154] ppid=4152 vsize=296768 CPUtime=0.81 cores=0,2,4,6
/proc/4154/stat : 4154 (python) S 4152 4154 1406 0 -1 4202496 12432 1384 1 0 62 10 8 1 20 0 2 0 869438551 303890432 8060 33554432000 4194304 5683644 140733321505120 18446744073709551615 246528660939 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/4154/statm: 74192 8060 1871 364 0 9079 0
[pid=4161] ppid=4154 vsize=286524 CPUtime=0 cores=0,2,4,6
/proc/4161/stat : 4161 (python) S 4154 4154 1406 0 -1 4202560 709 0 0 0 0 0 0 0 15 0 1 0 869438662 293400576 6504 33554432000 4194304 5683644 140733321505120 18446744073709551615 246516854287 0 0 16781312 33554946 4028532302622458116 0 0 17 4 0 0 0
/proc/4161/statm: 71631 6504 319 364 0 6518 0
[pid=4163] ppid=4161 vsize=82516 CPUtime=1.98 cores=0,2,4,6
/proc/4163/stat : 4163 (scip-2.0.1.linu) R 4161 4163 4163 0 -1 4202496 19075 0 0 0 188 10 0 0 25 0 1 0 869438663 84496384 18023 33554432000 4194304 13684479 140733549240752 18446744073709551615 7390640 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/4163/statm: 20629 18023 731 2317 0 18307 0
[pid=4154/tid=4162] ppid=4152 vsize=296768 CPUtime=0.09 cores=0,2,4,6
/proc/4154/task/4162/stat : 4162 (python) S 4152 4154 1406 0 -1 4202560 24 1384 0 0 0 0 8 1 20 0 2 0 869438663 303890432 8060 33554432000 4194304 5683644 140733321505120 18446744073709551615 246528657841 0 0 16781312 33554434 18446604452249858368 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2.79
Current children cumulated vsize (KiB) 665808
[startup+6.30028 s]
/proc/loadavg: 2.06 2.12 1.86 3/707 4163
/proc/meminfo: memFree=14539284/32951124 swapFree=43359760/67111528
[pid=4154] ppid=4152 vsize=296768 CPUtime=0.81 cores=0,2,4,6
/proc/4154/stat : 4154 (python) S 4152 4154 1406 0 -1 4202496 12432 1384 1 0 62 10 8 1 20 0 2 0 869438551 303890432 8060 33554432000 4194304 5683644 140733321505120 18446744073709551615 246528660939 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/4154/statm: 74192 8060 1871 364 0 9079 0
[pid=4161] ppid=4154 vsize=286524 CPUtime=0.01 cores=0,2,4,6
/proc/4161/stat : 4161 (python) S 4154 4154 1406 0 -1 4202560 853 0 0 0 0 1 0 0 15 0 1 0 869438662 293400576 6528 33554432000 4194304 5683644 140733321505120 18446744073709551615 246516854287 0 0 16781312 33554946 4028536838107922692 0 0 17 4 0 0 0
/proc/4161/statm: 71631 6528 343 364 0 6518 0
[pid=4163] ppid=4161 vsize=87132 CPUtime=5.18 cores=0,2,4,6
/proc/4163/stat : 4163 (scip-2.0.1.linu) R 4161 4163 4163 0 -1 4202496 20215 0 0 0 507 11 0 0 25 0 1 0 869438663 89223168 19141 33554432000 4194304 13684479 140733549240752 18446744073709551615 7361380 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/4163/statm: 21783 19141 744 2317 0 19461 0
[pid=4154/tid=4162] ppid=4152 vsize=296768 CPUtime=0.09 cores=0,2,4,6
/proc/4154/task/4162/stat : 4162 (python) S 4152 4154 1406 0 -1 4202560 24 1384 0 0 0 0 8 1 20 0 2 0 869438663 303890432 8060 33554432000 4194304 5683644 140733321505120 18446744073709551615 246528657841 0 0 16781312 33554434 18446604452249858368 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 6
Current children cumulated vsize (KiB) 670424
[startup+12.7011 s]
/proc/loadavg: 2.05 2.12 1.86 3/707 4163
/proc/meminfo: memFree=14533392/32951124 swapFree=43359760/67111528
[pid=4154] ppid=4152 vsize=296768 CPUtime=0.81 cores=0,2,4,6
/proc/4154/stat : 4154 (python) S 4152 4154 1406 0 -1 4202496 12432 1384 1 0 62 10 8 1 20 0 2 0 869438551 303890432 8060 33554432000 4194304 5683644 140733321505120 18446744073709551615 246528660939 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/4154/statm: 74192 8060 1871 364 0 9079 0
[pid=4161] ppid=4154 vsize=286524 CPUtime=0.03 cores=0,2,4,6
/proc/4161/stat : 4161 (python) S 4154 4154 1406 0 -1 4202560 854 0 0 0 1 2 0 0 15 0 1 0 869438662 293400576 6528 33554432000 4194304 5683644 140733321505120 18446744073709551615 246516854287 0 0 16781312 33554946 72409437758827250 0 0 17 4 0 0 0
/proc/4161/statm: 71631 6528 343 364 0 6518 0
[pid=4163] ppid=4161 vsize=95420 CPUtime=11.57 cores=0,2,4,6
/proc/4163/stat : 4163 (scip-2.0.1.linu) R 4161 4163 4163 0 -1 4202496 24365 0 0 0 1145 12 0 0 25 0 1 0 869438663 97710080 20945 33554432000 4194304 13684479 140733549240752 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/4163/statm: 23855 20945 735 2317 0 21533 0
[pid=4154/tid=4162] ppid=4152 vsize=296768 CPUtime=0.09 cores=0,2,4,6
/proc/4154/task/4162/stat : 4162 (python) S 4152 4154 1406 0 -1 4202560 24 1384 0 0 0 0 8 1 20 0 2 0 869438663 303890432 8060 33554432000 4194304 5683644 140733321505120 18446744073709551615 246528657841 0 0 16781312 33554434 18446604452249858368 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 12.41
Current children cumulated vsize (KiB) 678712
[startup+25.5008 s]
/proc/loadavg: 2.11 2.13 1.87 3/707 4163
/proc/meminfo: memFree=14488864/32951124 swapFree=43359760/67111528
[pid=4154] ppid=4152 vsize=296768 CPUtime=0.81 cores=0,2,4,6
/proc/4154/stat : 4154 (python) S 4152 4154 1406 0 -1 4202496 12432 1384 1 0 62 10 8 1 20 0 2 0 869438551 303890432 8060 33554432000 4194304 5683644 140733321505120 18446744073709551615 246528660939 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/4154/statm: 74192 8060 1871 364 0 9079 0
[pid=4161] ppid=4154 vsize=286524 CPUtime=0.09 cores=0,2,4,6
/proc/4161/stat : 4161 (python) S 4154 4154 1406 0 -1 4202560 875 0 0 0 4 5 0 0 15 0 1 0 869438662 293400576 6528 33554432000 4194304 5683644 140733321505120 18446744073709551615 246516854287 0 0 16781312 33554946 4028532302622458116 0 0 17 4 0 0 0
/proc/4161/statm: 71631 6528 343 364 0 6518 0
[pid=4163] ppid=4161 vsize=138852 CPUtime=24.36 cores=0,2,4,6
/proc/4163/stat : 4163 (scip-2.0.1.linu) R 4161 4163 4163 0 -1 4202496 35840 0 0 0 2419 17 0 0 25 0 1 0 869438663 142184448 32214 33554432000 4194304 13684479 140733549240752 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/4163/statm: 34713 32214 822 2317 0 32391 0
[pid=4154/tid=4162] ppid=4152 vsize=296768 CPUtime=0.09 cores=0,2,4,6
/proc/4154/task/4162/stat : 4162 (python) S 4152 4154 1406 0 -1 4202560 24 1384 0 0 0 0 8 1 20 0 2 0 869438663 303890432 8060 33554432000 4194304 5683644 140733321505120 18446744073709551615 246528657841 0 0 16781312 33554434 18446604452249858368 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 25.26
Current children cumulated vsize (KiB) 722144
[startup+51.1012 s]
/proc/loadavg: 2.07 2.12 1.87 3/707 4164
/proc/meminfo: memFree=14492812/32951124 swapFree=43359760/67111528
[pid=4154] ppid=4152 vsize=307024 CPUtime=0.84 cores=0,2,4,6
/proc/4154/stat : 4154 (python) S 4152 4154 1406 0 -1 4202496 13348 1384 1 0 65 10 8 1 20 0 3 0 869438551 314392576 8067 33554432000 4194304 5683644 140733321505120 18446744073709551615 246528660939 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/4154/statm: 76756 8067 1874 364 0 11640 0
[pid=4161] ppid=4154 vsize=296768 CPUtime=0.2 cores=0,2,4,6
/proc/4161/stat : 4161 (python) S 4154 4154 1406 0 -1 4202560 1088 0 0 0 9 11 0 0 17 0 2 0 869438662 303890432 6596 33554432000 4194304 5683644 140733321505120 18446744073709551615 246528660939 0 0 16781312 33554946 18446744073709551615 0 0 17 4 0 0 0
/proc/4161/statm: 74192 6596 406 364 0 9079 0
[pid=4163] ppid=4161 vsize=138852 CPUtime=49.57 cores=0,2,4,6
/proc/4163/stat : 4163 (scip-2.0.1.linu) T 4161 4163 4163 0 -1 4202496 35868 0 0 0 4933 24 0 0 25 0 1 0 869438663 142184448 32242 33554432000 4194304 13684479 140733549240752 18446744073709551615 7095950 0 0 16781312 2 18446744071562691360 0 0 17 6 0 0 0
/proc/4163/statm: 34713 32242 822 2317 0 32391 0
[pid=4154/tid=4162] ppid=4152 vsize=307024 CPUtime=0.09 cores=0,2,4,6
/proc/4154/task/4162/stat : 4162 (python) S 4152 4154 1406 0 -1 4202560 24 1384 0 0 0 0 8 1 20 0 3 0 869438663 314392576 8067 33554432000 4194304 5683644 140733321505120 18446744073709551615 246528657841 0 0 16781312 33554434 18446604452249858368 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 50.61
Current children cumulated vsize (KiB) 742644
[startup+102.318 s]
/proc/loadavg: 2.03 2.10 1.88 3/715 4173
/proc/meminfo: memFree=14408256/32951124 swapFree=43359760/67111528
[pid=4154] ppid=4152 vsize=317280 CPUtime=0.87 cores=0,2,4,6
/proc/4154/stat : 4154 (python) S 4152 4154 1406 0 -1 4202496 14281 1384 1 0 67 11 8 1 20 0 4 0 869438551 324894720 8073 33554432000 4194304 5683644 140733321505120 18446744073709551615 246528660939 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/4154/statm: 79320 8073 1876 364 0 14201 0
[pid=4161] ppid=4154 vsize=296768 CPUtime=0.2 cores=0,2,4,6
/proc/4161/stat : 4161 (python) S 4154 4154 1406 0 -1 4202560 1088 0 0 0 9 11 0 0 17 0 2 0 869438662 303890432 6596 33554432000 4194304 5683644 140733321505120 18446744073709551615 246528660939 0 0 16781312 33554946 18446744073709551615 0 0 17 4 0 0 0
/proc/4161/statm: 74192 6596 406 364 0 9079 0
[pid=4163] ppid=4161 vsize=138852 CPUtime=49.57 cores=0,2,4,6
/proc/4163/stat : 4163 (scip-2.0.1.linu) T 4161 4163 4163 0 -1 4202496 35868 0 0 0 4933 24 0 0 25 0 1 0 869438663 142184448 32242 33554432000 4194304 13684479 140733549240752 18446744073709551615 7095950 0 0 16781312 2 18446744071562691360 0 0 17 6 0 0 0
/proc/4163/statm: 34713 32242 822 2317 0 32391 0
[pid=4161/tid=4165] ppid=4154 vsize=296768 CPUtime=0 cores=0,2,4,6
/proc/4161/task/4165/stat : 4165 (python) S 4154 4154 1406 0 -1 4202560 46 0 0 0 0 0 0 0 17 0 2 0 869443625 303890432 6596 33554432000 4194304 5683644 140733321505120 18446744073709551615 246528657841 0 0 16781312 33554946 18446604453635612992 0 0 -1 4 0 0 0
[pid=4166] ppid=4154 vsize=296780 CPUtime=0.19 cores=0,2,4,6
/proc/4166/stat : 4166 (python) S 4154 4154 1406 0 -1 4202560 1168 0 0 0 10 9 0 0 17 0 2 0 869443627 303902720 6587 33554432000 4194304 5683644 140733321505120 18446744073709551615 246528660939 0 0 16781312 33554946 18446744073709551615 0 0 17 4 0 0 0
/proc/4166/statm: 74195 6587 397 364 0 9079 0
[pid=4168] ppid=4166 vsize=85232 CPUtime=48.54 cores=0,2,4,6
/proc/4168/stat : 4168 (scip-2.0.1.linu) T 4166 4168 4168 0 -1 4202496 92434 0 0 0 4829 25 0 0 25 0 1 0 869443628 87277568 17148 33554432000 4194304 15243407 140735805998224 18446744073709551615 8112832 0 0 16781312 2 18446744071562691360 0 0 17 0 0 0 0
/proc/4168/statm: 21308 17148 824 2698 0 18603 0
[pid=4166/tid=4170] ppid=4154 vsize=296780 CPUtime=0 cores=0,2,4,6
/proc/4166/task/4170/stat : 4170 (python) S 4154 4154 1406 0 -1 4202560 110 0 0 0 0 0 0 0 17 0 2 0 869448483 303902720 6587 33554432000 4194304 5683644 140733321505120 18446744073709551615 246528657841 0 0 16781312 33554946 18446604453374518272 0 0 -1 4 0 0 0
[pid=4171] ppid=4154 vsize=307036 CPUtime=0 cores=0,2,4,6
/proc/4171/stat : 4171 (python) S 4154 4154 1406 0 -1 4202560 868 0 0 0 0 0 0 0 15 0 1 0 869448485 314404864 6520 33554432000 4194304 5683644 140733321505120 18446744073709551615 246516854342 0 0 16781312 33554946 4294934786 0 0 17 6 0 0 0
/proc/4171/statm: 76759 6520 327 364 0 11640 0
[pid=4173] ppid=4171 vsize=11928 CPUtime=2.96 cores=0,2,4,6
/proc/4173/stat : 4173 (wbo1.4a) R 4171 4173 4173 0 -1 4202496 3116 0 0 0 295 1 0 0 25 0 1 0 869448486 12214272 2533 33554432000 134512640 135751879 4294461408 18446744073709551615 134606383 0 0 16781312 3 0 0 0 17 0 0 0 0
/proc/4173/statm: 2982 2533 146 303 0 2677 0
[pid=4154/tid=4162] ppid=4152 vsize=317280 CPUtime=0.09 cores=0,2,4,6
/proc/4154/task/4162/stat : 4162 (python) S 4152 4154 1406 0 -1 4202560 24 1384 0 0 0 0 8 1 20 0 4 0 869438663 324894720 8073 33554432000 4194304 5683644 140733321505120 18446744073709551615 246528657841 0 0 16781312 33554434 18446604452249858368 0 0 -1 4 0 0 0
[pid=4154/tid=4167] ppid=4152 vsize=317280 CPUtime=0.09 cores=0,2,4,6
/proc/4154/task/4167/stat : 4167 (python) S 4152 4154 1406 0 -1 4202560 30 1384 0 0 0 0 8 1 20 0 4 0 869443628 324894720 8073 33554432000 4194304 5683644 140733321505120 18446744073709551615 246528657841 0 0 16781312 33554434 18446604452249858368 0 0 -1 4 0 0 0
[pid=4154/tid=4172] ppid=4152 vsize=317280 CPUtime=0.09 cores=0,2,4,6
/proc/4154/task/4172/stat : 4172 (python) S 4152 4154 1406 0 -1 4202560 30 1384 0 0 0 0 8 1 20 0 4 0 869448485 324894720 8073 33554432000 4194304 5683644 140733321505120 18446744073709551615 246528657841 0 0 16781312 33554434 18446604452249858368 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 102.33
Current children cumulated vsize (KiB) 1453876
[startup+162.302 s]
/proc/loadavg: 2.11 2.11 1.90 3/737 4197
/proc/meminfo: memFree=13972852/32951124 swapFree=43359760/67111528
[pid=4154] ppid=4152 vsize=327536 CPUtime=0.9 cores=0,2,4,6
/proc/4154/stat : 4154 (python) S 4152 4154 1406 0 -1 4202496 15274 1384 1 0 70 11 8 1 20 0 5 0 869438551 335396864 8079 33554432000 4194304 5683644 140733321505120 18446744073709551615 246528660939 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
################
# More data... #
################
[pid=4207/tid=4219] ppid=4205 vsize=8534292 CPUtime=0 cores=0,2,4,6
/proc/4207/task/4219/stat : 4219 (java) S 4205 4207 4207 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 869467119 8739115008 8064 33554432000 1073741824 1073778376 140734841078864 18446744073709551615 246528650137 0 4 0 16800975 18446604446650427200 0 0 -1 0 0 0 0
[pid=4207/tid=4220] ppid=4205 vsize=8534292 CPUtime=0 cores=0,2,4,6
/proc/4207/task/4220/stat : 4220 (java) S 4205 4207 4207 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 869467121 8739115008 8070 33554432000 1073741824 1073778376 140734841078864 18446744073709551615 246528657841 0 4 0 16800975 18446604446650427200 0 0 -1 4 0 0 0
[pid=4207/tid=4221] ppid=4205 vsize=8534292 CPUtime=0.11 cores=0,2,4,6
/proc/4207/task/4221/stat : 4221 (java) R 4205 4207 4207 0 -1 4202560 1638 0 0 0 11 0 0 0 17 0 18 0 869467121 8739115008 8070 33554432000 1073741824 1073778376 140734841078864 18446744073709551615 47677918398750 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=4207/tid=4222] ppid=4205 vsize=8534292 CPUtime=0.04 cores=0,2,4,6
/proc/4207/task/4222/stat : 4222 (java) R 4205 4207 4207 0 -1 4202560 667 0 0 0 4 0 0 0 19 0 18 0 869467121 8739115008 8071 33554432000 1073741824 1073778376 140734841078864 18446744073709551615 246528653074 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=4207/tid=4223] ppid=4205 vsize=8534292 CPUtime=0 cores=0,2,4,6
/proc/4207/task/4223/stat : 4223 (java) S 4205 4207 4207 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 869467121 8739115008 8071 33554432000 1073741824 1073778376 140734841078864 18446744073709551615 246528650137 0 4 0 16800975 18446604446650427200 0 0 -1 0 0 0 0
[pid=4207/tid=4224] ppid=4205 vsize=8534292 CPUtime=0 cores=0,2,4,6
/proc/4207/task/4224/stat : 4224 (java) R 4205 4207 4207 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 869467121 8739115008 8071 33554432000 1073741824 1073778376 140734841078864 18446744073709551615 246528650752 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=4154/tid=4162] ppid=4152 vsize=337792 CPUtime=0.09 cores=0,2,4,6
/proc/4154/task/4162/stat : 4162 (python) S 4152 4154 1406 0 -1 4202560 30 1384 0 0 0 0 8 1 18 0 6 0 869438663 345899008 8085 33554432000 4194304 5683644 140733321505120 18446744073709551615 246528657841 0 0 16781312 33554434 18446604452249858368 0 0 -1 4 0 0 0
[pid=4154/tid=4167] ppid=4152 vsize=337792 CPUtime=0.09 cores=0,2,4,6
/proc/4154/task/4167/stat : 4167 (python) S 4152 4154 1406 0 -1 4202560 34 1384 0 0 0 0 8 1 18 0 6 0 869443628 345899008 8085 33554432000 4194304 5683644 140733321505120 18446744073709551615 246528657841 0 0 16781312 33554434 18446604452249858368 0 0 -1 4 0 0 0
[pid=4154/tid=4172] ppid=4152 vsize=337792 CPUtime=0.09 cores=0,2,4,6
/proc/4154/task/4172/stat : 4172 (python) S 4152 4154 1406 0 -1 4202560 30 1384 0 0 0 0 8 1 20 0 6 0 869448485 345899008 8085 33554432000 4194304 5683644 140733321505120 18446744073709551615 246528657841 0 0 16781312 33554434 18446604452249858368 0 0 -1 0 0 0 0
[pid=4154/tid=4178] ppid=4152 vsize=337792 CPUtime=0.09 cores=0,2,4,6
/proc/4154/task/4178/stat : 4178 (python) S 4152 4154 1406 0 -1 4202560 32 1384 0 0 0 0 8 1 20 0 6 0 869453454 345899008 8085 33554432000 4194304 5683644 140733321505120 18446744073709551615 246528657841 0 0 16781312 33554434 18446604452249858368 0 0 -1 6 0 0 0
[pid=4154/tid=4206] ppid=4152 vsize=337792 CPUtime=0.09 cores=0,2,4,6
/proc/4154/task/4206/stat : 4206 (python) S 4152 4154 1406 0 -1 4202560 28 1384 0 0 0 0 8 1 20 0 6 0 869467116 345899008 8085 33554432000 4194304 5683644 140733321505120 18446744073709551615 246528657841 0 0 16781312 33554434 18446604452249858368 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 288.87
Current children cumulated vsize (KiB) 19301104
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+285.901 s]
/proc/loadavg: 2.06 2.09 1.91 7/761 4224
/proc/meminfo: memFree=13909724/32951124 swapFree=43359760/67111528
[pid=4154] ppid=4152 vsize=337792 CPUtime=0.98 cores=0,2,4,6
/proc/4154/stat : 4154 (python) S 4152 4154 1406 0 -1 4202496 16270 1384 1 0 78 11 8 1 20 0 6 0 869438551 345899008 8085 33554432000 4194304 5683644 140733321505120 18446744073709551615 246528660939 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/4154/statm: 84448 8085 1880 364 0 19323 0
[pid=4161] ppid=4154 vsize=296768 CPUtime=0.4 cores=0,2,4,6
/proc/4161/stat : 4161 (python) S 4154 4154 1406 0 -1 4202560 1112 0 0 0 20 20 0 0 16 0 2 0 869438662 303890432 6597 33554432000 4194304 5683644 140733321505120 18446744073709551615 246528660939 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/4161/statm: 74192 6597 407 364 0 9079 0
[pid=4163] ppid=4161 vsize=138852 CPUtime=93.69 cores=0,2,4,6
/proc/4163/stat : 4163 (scip-2.0.1.linu) T 4161 4163 4163 0 -1 4202496 35955 0 0 0 9340 29 0 0 25 0 1 0 869438663 142184448 32321 33554432000 4194304 13684479 140733549240752 18446744073709551615 7388456 0 0 16781312 2 18446744071562691360 0 0 17 0 0 0 0
/proc/4163/statm: 34713 32321 826 2317 0 32391 0
[pid=4161/tid=4165] ppid=4154 vsize=296768 CPUtime=0 cores=0,2,4,6
/proc/4161/task/4165/stat : 4165 (python) S 4154 4154 1406 0 -1 4202560 47 0 0 0 0 0 0 0 15 0 2 0 869443625 303890432 6597 33554432000 4194304 5683644 140733321505120 18446744073709551615 246528657841 0 0 16781312 33554946 18446604453635612992 0 0 -1 4 0 0 0
[pid=4166] ppid=4154 vsize=296780 CPUtime=0.39 cores=0,2,4,6
/proc/4166/stat : 4166 (python) S 4154 4154 1406 0 -1 4202560 1201 0 0 0 20 19 0 0 15 0 2 0 869443627 303902720 6587 33554432000 4194304 5683644 140733321505120 18446744073709551615 246528660939 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/4166/statm: 74195 6587 397 364 0 9079 0
[pid=4168] ppid=4166 vsize=86332 CPUtime=94.73 cores=0,2,4,6
/proc/4168/stat : 4168 (scip-2.0.1.linu) T 4166 4168 4168 0 -1 4202496 102341 0 0 0 9444 29 0 0 25 0 1 0 869443628 88403968 17822 33554432000 4194304 15243407 140735805998224 18446744073709551615 7128842 0 0 16781312 2 18446744071562691360 0 0 17 0 0 0 0
/proc/4168/statm: 21583 17822 840 2698 0 18878 0
[pid=4166/tid=4170] ppid=4154 vsize=296780 CPUtime=0 cores=0,2,4,6
/proc/4166/task/4170/stat : 4170 (python) S 4154 4154 1406 0 -1 4202560 111 0 0 0 0 0 0 0 15 0 2 0 869448483 303902720 6587 33554432000 4194304 5683644 140733321505120 18446744073709551615 246528657841 0 0 16781312 33554946 18446604453374518272 0 0 -1 4 0 0 0
[pid=4171] ppid=4154 vsize=307036 CPUtime=0.21 cores=0,2,4,6
/proc/4171/stat : 4171 (python) S 4154 4154 1406 0 -1 4202560 1177 0 0 0 12 9 0 0 17 0 2 0 869448485 314404864 6591 33554432000 4194304 5683644 140733321505120 18446744073709551615 246528660939 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/4171/statm: 76759 6591 397 364 0 11640 0
[pid=4173] ppid=4171 vsize=109832 CPUtime=49.65 cores=0,2,4,6
/proc/4173/stat : 4173 (wbo1.4a) T 4171 4173 4173 0 -1 4202496 27573 0 0 0 4949 16 0 0 25 0 1 0 869448486 112467968 26990 33554432000 134512640 135751879 4294461408 18446744073709551615 134606387 0 0 16781312 3 18446744071562691360 0 0 17 0 0 0 0
/proc/4173/statm: 27458 26990 146 303 0 27153 0
[pid=4171/tid=4176] ppid=4154 vsize=307036 CPUtime=0 cores=0,2,4,6
/proc/4171/task/4176/stat : 4176 (python) S 4154 4154 1406 0 -1 4202560 46 0 0 0 0 0 0 0 17 0 2 0 869453451 314404864 6591 33554432000 4194304 5683644 140733321505120 18446744073709551615 246528657841 0 0 16781312 33554946 18446604447903544448 0 0 -1 6 0 0 0
[pid=4177] ppid=4154 vsize=317292 CPUtime=0.2 cores=0,2,4,6
/proc/4177/stat : 4177 (python) S 4154 4154 1406 0 -1 4202560 1139 0 0 0 10 10 0 0 16 0 2 0 869453454 324907008 6589 33554432000 4194304 5683644 140733321505120 18446744073709551615 246528660939 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/4177/statm: 79323 6589 391 364 0 14201 0
[pid=4179] ppid=4177 vsize=8548580 CPUtime=48.21 cores=0,2,4,6
/proc/4179/stat : 4179 (java) T 4177 4179 4179 0 -1 4202496 101997 0 1 0 4806 15 0 0 18 0 19 0 869453454 8753745920 87705 33554432000 1073741824 1073778376 140735941491856 18446744073709551615 246528636901 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/4179/statm: 2137145 87705 2249 9 0 2127886 0
[pid=4179/tid=4180] ppid=4177 vsize=8548580 CPUtime=46 cores=0,2,4,6
/proc/4179/task/4180/stat : 4180 (java) T 4177 4179 4179 0 -1 4202560 63467 0 1 0 4592 8 0 0 25 0 19 0 869453455 8753745920 87705 33554432000 1073741824 1073778376 140735941491856 18446744073709551615 46912505917501 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=4179/tid=4181] ppid=4177 vsize=8548580 CPUtime=0.05 cores=0,2,4,6
/proc/4179/task/4181/stat : 4181 (java) T 4177 4179 4179 0 -1 4202560 3682 0 0 0 5 0 0 0 15 0 19 0 869453456 8753745920 87705 33554432000 1073741824 1073778376 140735941491856 18446744073709551615 246528650137 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=4179/tid=4182] ppid=4177 vsize=8548580 CPUtime=0.05 cores=0,2,4,6
/proc/4179/task/4182/stat : 4182 (java) T 4177 4179 4179 0 -1 4202560 3919 0 0 0 5 0 0 0 15 0 19 0 869453456 8753745920 87705 33554432000 1073741824 1073778376 140735941491856 18446744073709551615 246528650137 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=4179/tid=4183] ppid=4177 vsize=8548580 CPUtime=0.03 cores=0,2,4,6
/proc/4179/task/4183/stat : 4183 (java) T 4177 4179 4179 0 -1 4202560 2065 0 0 0 3 0 0 0 15 0 19 0 869453456 8753745920 87705 33554432000 1073741824 1073778376 140735941491856 18446744073709551615 246528650137 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=4179/tid=4184] ppid=4177 vsize=8548580 CPUtime=0.05 cores=0,2,4,6
/proc/4179/task/4184/stat : 4184 (java) T 4177 4179 4179 0 -1 4202560 3825 0 0 0 5 0 0 0 15 0 19 0 869453456 8753745920 87705 33554432000 1073741824 1073778376 140735941491856 18446744073709551615 246528650137 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=4179/tid=4185] ppid=4177 vsize=8548580 CPUtime=0.02 cores=0,2,4,6
/proc/4179/task/4185/stat : 4185 (java) T 4177 4179 4179 0 -1 4202560 1666 0 0 0 2 0 0 0 15 0 19 0 869453456 8753745920 87705 33554432000 1073741824 1073778376 140735941491856 18446744073709551615 246528650137 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=4179/tid=4186] ppid=4177 vsize=8548580 CPUtime=0.04 cores=0,2,4,6
/proc/4179/task/4186/stat : 4186 (java) T 4177 4179 4179 0 -1 4202560 4362 0 0 0 4 0 0 0 15 0 19 0 869453456 8753745920 87705 33554432000 1073741824 1073778376 140735941491856 18446744073709551615 246528650137 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=4179/tid=4187] ppid=4177 vsize=8548580 CPUtime=0.04 cores=0,2,4,6
/proc/4179/task/4187/stat : 4187 (java) T 4177 4179 4179 0 -1 4202560 2941 0 0 0 4 0 0 0 15 0 19 0 869453456 8753745920 87705 33554432000 1073741824 1073778376 140735941491856 18446744073709551615 246528650137 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=4179/tid=4188] ppid=4177 vsize=8548580 CPUtime=0.04 cores=0,2,4,6
/proc/4179/task/4188/stat : 4188 (java) T 4177 4179 4179 0 -1 4202560 3266 0 0 0 4 0 0 0 15 0 19 0 869453456 8753745920 87705 33554432000 1073741824 1073778376 140735941491856 18446744073709551615 246528650137 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=4179/tid=4189] ppid=4177 vsize=8548580 CPUtime=0 cores=0,2,4,6
/proc/4179/task/4189/stat : 4189 (java) T 4177 4179 4179 0 -1 4202560 191 0 0 0 0 0 0 0 15 0 19 0 869453457 8753745920 87705 33554432000 1073741824 1073778376 140735941491856 18446744073709551615 246528650752 0 0 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=4179/tid=4190] ppid=4177 vsize=8548580 CPUtime=0 cores=0,2,4,6
/proc/4179/task/4190/stat : 4190 (java) T 4177 4179 4179 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 869453457 8753745920 87705 33554432000 1073741824 1073778376 140735941491856 18446744073709551615 246528650137 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=4179/tid=4191] ppid=4177 vsize=8548580 CPUtime=0 cores=0,2,4,6
/proc/4179/task/4191/stat : 4191 (java) T 4177 4179 4179 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 869453457 8753745920 87705 33554432000 1073741824 1073778376 140735941491856 18446744073709551615 246528650137 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=4179/tid=4192] ppid=4177 vsize=8548580 CPUtime=0 cores=0,2,4,6
/proc/4179/task/4192/stat : 4192 (java) T 4177 4179 4179 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869453459 8753745920 87705 33554432000 1073741824 1073778376 140735941491856 18446744073709551615 246528657841 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=4179/tid=4193] ppid=4177 vsize=8548580 CPUtime=0.77 cores=0,2,4,6
/proc/4179/task/4193/stat : 4193 (java) T 4177 4179 4179 0 -1 4202560 4950 0 0 0 77 0 0 0 15 0 19 0 869453459 8753745920 87705 33554432000 1073741824 1073778376 140735941491856 18446744073709551615 246528650137 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=4179/tid=4194] ppid=4177 vsize=8548580 CPUtime=0.99 cores=0,2,4,6
/proc/4179/task/4194/stat : 4194 (java) T 4177 4179 4179 0 -1 4202560 6264 0 0 0 99 0 0 0 15 0 19 0 869453459 8753745920 87705 33554432000 1073741824 1073778376 140735941491856 18446744073709551615 246528650137 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=4179/tid=4195] ppid=4177 vsize=8548580 CPUtime=0 cores=0,2,4,6
/proc/4179/task/4195/stat : 4195 (java) T 4177 4179 4179 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869453459 8753745920 87705 33554432000 1073741824 1073778376 140735941491856 18446744073709551615 246528650137 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=4179/tid=4196] ppid=4177 vsize=8548580 CPUtime=0 cores=0,2,4,6
/proc/4179/task/4196/stat : 4196 (java) T 4177 4179 4179 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 869453459 8753745920 87705 33554432000 1073741824 1073778376 140735941491856 18446744073709551615 246528650752 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=4179/tid=4197] ppid=4177 vsize=8548580 CPUtime=0 cores=0,2,4,6
/proc/4179/task/4197/stat : 4197 (java) T 4177 4179 4179 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 869453510 8753745920 87705 33554432000 1073741824 1073778376 140735941491856 18446744073709551615 246528650752 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=4177/tid=4199] ppid=4154 vsize=317292 CPUtime=0 cores=0,2,4,6
/proc/4177/task/4199/stat : 4199 (python) S 4154 4154 1406 0 -1 4202560 48 0 0 0 0 0 0 0 16 0 2 0 869458077 324907008 6589 33554432000 4194304 5683644 140733321505120 18446744073709551615 246528657841 0 0 16781312 33554946 18446604448498627712 0 0 -1 6 0 0 0
[pid=4205] ppid=4154 vsize=327548 CPUtime=0 cores=0,2,4,6
/proc/4205/stat : 4205 (python) S 4154 4154 1406 0 -1 4202560 772 0 0 0 0 0 0 0 19 0 1 0 869467116 335409152 6521 33554432000 4194304 5683644 140733321505120 18446744073709551615 246516854342 0 0 16781312 33554946 14371505487801712898 0 0 17 0 0 0 0
/proc/4205/statm: 81887 6521 320 364 0 16762 0
[pid=4207] ppid=4205 vsize=8534292 CPUtime=0.41 cores=0,2,4,6
/proc/4207/stat : 4207 (java) S 4205 4207 4207 0 -1 4202496 8887 0 1 0 40 1 0 0 20 0 18 0 869467116 8739115008 7911 33554432000 1073741824 1073778376 140734841078864 18446744073709551615 246528636901 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/4207/statm: 2133573 7911 2203 9 0 2124314 0
[pid=4207/tid=4208] ppid=4205 vsize=8534292 CPUtime=0.27 cores=0,2,4,6
/proc/4207/task/4208/stat : 4208 (java) R 4205 4207 4207 0 -1 4202560 5335 0 1 0 26 1 0 0 18 0 18 0 869467117 8739115008 8061 33554432000 1073741824 1073778376 140734841078864 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=4207/tid=4209] ppid=4205 vsize=8534292 CPUtime=0 cores=0,2,4,6
/proc/4207/task/4209/stat : 4209 (java) S 4205 4207 4207 0 -1 4202560 2 0 0 0 0 0 0 0 22 0 18 0 869467117 8739115008 8062 33554432000 1073741824 1073778376 140734841078864 18446744073709551615 246528650137 0 4 0 16800975 18446604446650427200 0 0 -1 4 0 0 0
[pid=4207/tid=4210] ppid=4205 vsize=8534292 CPUtime=0 cores=0,2,4,6
/proc/4207/task/4210/stat : 4210 (java) S 4205 4207 4207 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 18 0 869467117 8739115008 8062 33554432000 1073741824 1073778376 140734841078864 18446744073709551615 246528650137 0 4 0 16800975 18446604446650427200 0 0 -1 4 0 0 0
[pid=4207/tid=4211] ppid=4205 vsize=8534292 CPUtime=0 cores=0,2,4,6
/proc/4207/task/4211/stat : 4211 (java) S 4205 4207 4207 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 18 0 869467117 8739115008 8062 33554432000 1073741824 1073778376 140734841078864 18446744073709551615 246528650137 0 4 0 16800975 18446604446650427200 0 0 -1 4 0 0 0
[pid=4207/tid=4212] ppid=4205 vsize=8534292 CPUtime=0 cores=0,2,4,6
/proc/4207/task/4212/stat : 4212 (java) S 4205 4207 4207 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869467117 8739115008 8062 33554432000 1073741824 1073778376 140734841078864 18446744073709551615 246528650137 0 4 0 16800975 18446604446650427200 0 0 -1 6 0 0 0
[pid=4207/tid=4213] ppid=4205 vsize=8534292 CPUtime=0 cores=0,2,4,6
/proc/4207/task/4213/stat : 4213 (java) S 4205 4207 4207 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869467117 8739115008 8063 33554432000 1073741824 1073778376 140734841078864 18446744073709551615 246528650137 0 4 0 16800975 18446604446650427200 0 0 -1 6 0 0 0
[pid=4207/tid=4214] ppid=4205 vsize=8534292 CPUtime=0 cores=0,2,4,6
/proc/4207/task/4214/stat : 4214 (java) S 4205 4207 4207 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869467117 8739115008 8063 33554432000 1073741824 1073778376 140734841078864 18446744073709551615 246528650137 0 4 0 16800975 18446604446650427200 0 0 -1 6 0 0 0
[pid=4207/tid=4215] ppid=4205 vsize=8534292 CPUtime=0 cores=0,2,4,6
/proc/4207/task/4215/stat : 4215 (java) S 4205 4207 4207 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869467117 8739115008 8063 33554432000 1073741824 1073778376 140734841078864 18446744073709551615 246528650137 0 4 0 16800975 18446604446650427200 0 0 -1 6 0 0 0
[pid=4207/tid=4216] ppid=4205 vsize=8534292 CPUtime=0 cores=0,2,4,6
/proc/4207/task/4216/stat : 4216 (java) S 4205 4207 4207 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869467117 8739115008 8063 33554432000 1073741824 1073778376 140734841078864 18446744073709551615 246528650137 0 4 0 16800975 18446604446650427200 0 0 -1 6 0 0 0
[pid=4207/tid=4217] ppid=4205 vsize=8534292 CPUtime=0 cores=0,2,4,6
/proc/4207/task/4217/stat : 4217 (java) S 4205 4207 4207 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 869467118 8739115008 8064 33554432000 1073741824 1073778376 140734841078864 18446744073709551615 246528650752 0 0 0 16800975 18446604446650427200 0 0 -1 4 0 0 0
[pid=4207/tid=4218] ppid=4205 vsize=8534292 CPUtime=0 cores=0,2,4,6
/proc/4207/task/4218/stat : 4218 (java) S 4205 4207 4207 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 18 0 869467119 8739115008 8064 33554432000 1073741824 1073778376 140734841078864 18446744073709551615 246528650137 0 4 0 16800975 18446604446650427200 0 0 -1 4 0 0 0
[pid=4207/tid=4219] ppid=4205 vsize=8534292 CPUtime=0 cores=0,2,4,6
/proc/4207/task/4219/stat : 4219 (java) S 4205 4207 4207 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 869467119 8739115008 8064 33554432000 1073741824 1073778376 140734841078864 18446744073709551615 246528650137 0 4 0 16800975 18446604446650427200 0 0 -1 0 0 0 0
[pid=4207/tid=4220] ppid=4205 vsize=8534292 CPUtime=0 cores=0,2,4,6
/proc/4207/task/4220/stat : 4220 (java) S 4205 4207 4207 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 869467121 8739115008 8070 33554432000 1073741824 1073778376 140734841078864 18446744073709551615 246528657841 0 4 0 16800975 18446604446650427200 0 0 -1 4 0 0 0
[pid=4207/tid=4221] ppid=4205 vsize=8534292 CPUtime=0.11 cores=0,2,4,6
/proc/4207/task/4221/stat : 4221 (java) R 4205 4207 4207 0 -1 4202560 1638 0 0 0 11 0 0 0 17 0 18 0 869467121 8739115008 8070 33554432000 1073741824 1073778376 140734841078864 18446744073709551615 47677918398750 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=4207/tid=4222] ppid=4205 vsize=8534292 CPUtime=0.04 cores=0,2,4,6
/proc/4207/task/4222/stat : 4222 (java) R 4205 4207 4207 0 -1 4202560 667 0 0 0 4 0 0 0 19 0 18 0 869467121 8739115008 8071 33554432000 1073741824 1073778376 140734841078864 18446744073709551615 246528653074 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=4207/tid=4223] ppid=4205 vsize=8534292 CPUtime=0 cores=0,2,4,6
/proc/4207/task/4223/stat : 4223 (java) S 4205 4207 4207 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 869467121 8739115008 8071 33554432000 1073741824 1073778376 140734841078864 18446744073709551615 246528650137 0 4 0 16800975 18446604446650427200 0 0 -1 0 0 0 0
[pid=4207/tid=4224] ppid=4205 vsize=8534292 CPUtime=0 cores=0,2,4,6
/proc/4207/task/4224/stat : 4224 (java) R 4205 4207 4207 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 869467121 8739115008 8071 33554432000 1073741824 1073778376 140734841078864 18446744073709551615 246528650752 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=4154/tid=4162] ppid=4152 vsize=337792 CPUtime=0.09 cores=0,2,4,6
/proc/4154/task/4162/stat : 4162 (python) S 4152 4154 1406 0 -1 4202560 30 1384 0 0 0 0 8 1 18 0 6 0 869438663 345899008 8085 33554432000 4194304 5683644 140733321505120 18446744073709551615 246528657841 0 0 16781312 33554434 18446604452249858368 0 0 -1 4 0 0 0
[pid=4154/tid=4167] ppid=4152 vsize=337792 CPUtime=0.09 cores=0,2,4,6
/proc/4154/task/4167/stat : 4167 (python) S 4152 4154 1406 0 -1 4202560 34 1384 0 0 0 0 8 1 18 0 6 0 869443628 345899008 8085 33554432000 4194304 5683644 140733321505120 18446744073709551615 246528657841 0 0 16781312 33554434 18446604452249858368 0 0 -1 4 0 0 0
[pid=4154/tid=4172] ppid=4152 vsize=337792 CPUtime=0.09 cores=0,2,4,6
/proc/4154/task/4172/stat : 4172 (python) S 4152 4154 1406 0 -1 4202560 30 1384 0 0 0 0 8 1 20 0 6 0 869448485 345899008 8085 33554432000 4194304 5683644 140733321505120 18446744073709551615 246528657841 0 0 16781312 33554434 18446604452249858368 0 0 -1 0 0 0 0
[pid=4154/tid=4178] ppid=4152 vsize=337792 CPUtime=0.09 cores=0,2,4,6
/proc/4154/task/4178/stat : 4178 (python) S 4152 4154 1406 0 -1 4202560 32 1384 0 0 0 0 8 1 20 0 6 0 869453454 345899008 8085 33554432000 4194304 5683644 140733321505120 18446744073709551615 246528657841 0 0 16781312 33554434 18446604452249858368 0 0 -1 6 0 0 0
[pid=4154/tid=4206] ppid=4152 vsize=337792 CPUtime=0.09 cores=0,2,4,6
/proc/4154/task/4206/stat : 4206 (python) S 4152 4154 1406 0 -1 4202560 28 1384 0 0 0 0 8 1 20 0 6 0 869467116 345899008 8085 33554432000 4194304 5683644 140733321505120 18446744073709551615 246528657841 0 0 16781312 33554434 18446604452249858368 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 288.87
Current children cumulated vsize (KiB) 19301104
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 4154 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=875866
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=128980
# CPU time returned by wait4() is 1.00485
# while last known CPU time is 288.87
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 285.981
CPU time (s): 288.87
CPU user time (s): 287.27
CPU system time (s): 1.6
CPU usage (%): 101.01
Max. virtual memory (cumulated for all children) (KiB): 19301104
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.875866
system time used= 0.12898
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18106
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= 8869
involuntary context switches= 50
runsolver used 1.91971 second user time and 3.87241 second system time
The end