runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
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-3742213-1338724123/watcher-3742213-1338724123 -o /tmp/evaluation-result-3742213-1338724123/solver-3742213-1338724123 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.dec.pickle HOME/instance-3742213-1338724123.opb -seed 905627517 -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: 1.95 2.01 2.08 2/195 2469
/proc/meminfo: memFree=26173492/32873648 swapFree=7120/7120
[pid=2469] ppid=2467 vsize=15276 CPUtime=0 cores=0,2,4,6
/proc/2469/stat : 2469 (python) D 2467 2469 27000 0 -1 4202496 672 0 0 0 0 0 0 0 20 0 1 0 338539882 15642624 559 33554432000 4194304 5683644 140734619919664 140734619887608 219513963408 0 0 16781312 2 18446744072100609316 0 0 17 0 0 0 0 0 0
/proc/2469/statm: 3819 559 324 364 0 261 0
[startup+0.035925 s]
/proc/loadavg: 1.95 2.01 2.08 2/195 2469
/proc/meminfo: memFree=26173492/32873648 swapFree=7120/7120
[pid=2469] ppid=2467 vsize=15976 CPUtime=0 cores=0,2,4,6
/proc/2469/stat : 2469 (python) D 2467 2469 27000 0 -1 4202496 976 0 0 0 0 0 0 0 20 0 1 0 338539882 16359424 820 33554432000 4194304 5683644 140734619919664 140734619885608 219513963408 0 0 16781312 2 18446744072100609316 0 0 17 0 0 0 0 0 0
/proc/2469/statm: 3994 820 367 364 0 436 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 15976
[startup+0.100234 s]
/proc/loadavg: 1.95 2.01 2.08 2/195 2469
/proc/meminfo: memFree=26173492/32873648 swapFree=7120/7120
[pid=2469] ppid=2467 vsize=19088 CPUtime=0.03 cores=0,2,4,6
/proc/2469/stat : 2469 (python) R 2467 2469 27000 0 -1 4202496 1395 0 0 0 2 1 0 0 20 0 1 0 338539882 19546112 1149 33554432000 4194304 5683644 140734619919664 140734619850168 4875559 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0
/proc/2469/statm: 4772 1149 430 364 0 696 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 19088
[startup+0.300186 s]
/proc/loadavg: 1.95 2.01 2.08 2/195 2469
/proc/meminfo: memFree=26173492/32873648 swapFree=7120/7120
[pid=2469] ppid=2467 vsize=96896 CPUtime=0.1 cores=0,2,4,6
/proc/2469/stat : 2469 (python) R 2467 2469 27000 0 -1 4202496 3911 1010 1 0 8 2 0 0 20 0 1 0 338539882 99221504 2647 33554432000 4194304 5683644 140734619919664 140734619837624 219513963408 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0
/proc/2469/statm: 24224 2647 822 364 0 1715 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 96896
[startup+0.700341 s]
/proc/loadavg: 1.95 2.01 2.08 2/195 2469
/proc/meminfo: memFree=26173492/32873648 swapFree=7120/7120
[pid=2469] ppid=2467 vsize=122380 CPUtime=0.2 cores=0,2,4,6
/proc/2469/stat : 2469 (python) R 2467 2469 27000 0 -1 4202496 5983 1010 1 0 14 6 0 0 20 0 1 0 338539882 125317120 3855 33554432000 4194304 5683644 140734619919664 140734619869256 4620076 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0
/proc/2469/statm: 30587 3854 1015 364 0 2830 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 122380
[startup+1.50019 s]
/proc/loadavg: 1.95 2.01 2.08 3/196 2474
/proc/meminfo: memFree=26157504/32873648 swapFree=7120/7120
[pid=2469] ppid=2467 vsize=289508 CPUtime=0.65 cores=0,2,4,6
/proc/2469/stat : 2469 (python) R 2467 2469 27000 0 -1 4202496 12813 1010 1 0 53 12 0 0 20 0 1 0 338539882 296456192 9085 33554432000 4194304 5683644 140734619919664 140734619912904 4438566 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0
/proc/2469/statm: 72377 9085 1814 364 0 7606 0
Current children cumulated CPU time (s) 0.65
Current children cumulated vsize (KiB) 289508
[startup+3.10034 s]
/proc/loadavg: 1.95 2.01 2.08 3/199 2477
/proc/meminfo: memFree=26115676/32873648 swapFree=7120/7120
[pid=2469] ppid=2467 vsize=366276 CPUtime=1.1 cores=0,2,4,6
/proc/2469/stat : 2469 (python) S 2467 2469 27000 0 -1 4202496 13977 1010 1 0 98 12 0 0 20 0 2 0 338539882 375066624 9431 33554432000 4194304 5683644 140734619919664 140734619914496 219517347085 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/2469/statm: 91569 9431 1902 364 0 26792 0
[pid=2475] ppid=2469 vsize=290496 CPUtime=0 cores=0,2,4,6
/proc/2475/stat : 2475 (python) S 2469 2469 27000 0 -1 4202560 766 0 0 0 0 0 0 0 20 0 1 0 338540079 297467904 7863 33554432000 4194304 5683644 140734619919664 140734619910752 219513979304 0 0 16781312 33554946 18446744071580425449 0 0 17 4 0 0 0 0 0
/proc/2475/statm: 72624 7863 340 364 0 7847 0
[pid=2477] ppid=2475 vsize=152236 CPUtime=1.12 cores=0,2,4,6
/proc/2477/stat : 2477 (scip-2.0.1.linu) R 2475 2477 2477 0 -1 4202496 36230 0 0 0 101 11 0 0 20 0 1 0 338540079 155889664 34758 33554432000 4194304 13684479 140733820626960 140733820622344 4880933 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0
/proc/2477/statm: 38059 34758 635 2317 0 35737 0
[pid=2469/tid=2476] ppid=2467 vsize=366276 CPUtime=0 cores=0,2,4,6
/proc/2469/task/2476/stat : 2476 (python) S 2467 2469 27000 0 -1 4202560 27 1010 0 0 0 0 0 0 20 0 2 0 338540079 375066624 9431 33554432000 4194304 5683644 140734619919664 140284585697840 219517343520 0 0 16781312 33554434 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 2.22
Current children cumulated vsize (KiB) 809008
heavy processes:
[startup+6.30036 s]
/proc/loadavg: 1.95 2.01 2.08 3/199 2477
/proc/meminfo: memFree=25937988/32873648 swapFree=7120/7120
[pid=2469] ppid=2467 vsize=366276 CPUtime=1.1 cores=0,2,4,6
/proc/2469/stat : 2469 (python) S 2467 2469 27000 0 -1 4202496 13977 1010 1 0 98 12 0 0 20 0 2 0 338539882 375066624 9431 33554432000 4194304 5683644 140734619919664 140734619914496 219517347085 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/2469/statm: 91569 9431 1902 364 0 26792 0
[pid=2475] ppid=2469 vsize=290496 CPUtime=0 cores=0,2,4,6
/proc/2475/stat : 2475 (python) S 2469 2469 27000 0 -1 4202560 899 0 0 0 0 0 0 0 20 0 1 0 338540079 297467904 7886 33554432000 4194304 5683644 140734619919664 140734619910752 219513979304 0 0 16781312 33554946 18446744071580425449 0 0 17 2 0 0 0 0 0
/proc/2475/statm: 72624 7886 363 364 0 7847 0
[pid=2477] ppid=2475 vsize=234328 CPUtime=4.31 cores=0,2,4,6
/proc/2477/stat : 2477 (scip-2.0.1.linu) R 2475 2477 2477 0 -1 4202496 55382 0 0 0 417 14 0 0 20 0 1 0 338540079 239951872 53910 33554432000 4194304 13684479 140733820626960 140733820622344 4880937 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0
/proc/2477/statm: 58582 53910 635 2317 0 56260 0
[pid=2469/tid=2476] ppid=2467 vsize=366276 CPUtime=0 cores=0,2,4,6
/proc/2469/task/2476/stat : 2476 (python) S 2467 2469 27000 0 -1 4202560 27 1010 0 0 0 0 0 0 20 0 2 0 338540079 375066624 9431 33554432000 4194304 5683644 140734619919664 140284585697840 219517343520 0 0 16781312 33554434 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 5.41
Current children cumulated vsize (KiB) 891100
[startup+12.7004 s]
/proc/loadavg: 1.96 2.01 2.08 3/199 2477
/proc/meminfo: memFree=25848204/32873648 swapFree=7120/7120
[pid=2469] ppid=2467 vsize=366276 CPUtime=1.1 cores=0,2,4,6
/proc/2469/stat : 2469 (python) S 2467 2469 27000 0 -1 4202496 13977 1010 1 0 98 12 0 0 20 0 2 0 338539882 375066624 9431 33554432000 4194304 5683644 140734619919664 140734619914496 219517347085 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/2469/statm: 91569 9431 1902 364 0 26792 0
[pid=2475] ppid=2469 vsize=290496 CPUtime=0.01 cores=0,2,4,6
/proc/2475/stat : 2475 (python) S 2469 2469 27000 0 -1 4202560 902 0 0 0 1 0 0 0 20 0 1 0 338540079 297467904 7886 33554432000 4194304 5683644 140734619919664 140734619910752 219513979304 0 0 16781312 33554946 18446744071580425449 0 0 17 2 0 0 0 0 0
/proc/2475/statm: 72624 7886 363 364 0 7847 0
[pid=2477] ppid=2475 vsize=291508 CPUtime=10.72 cores=0,2,4,6
/proc/2477/stat : 2477 (scip-2.0.1.linu) R 2475 2477 2477 0 -1 4202496 69159 0 0 0 1055 17 0 0 20 0 1 0 338540079 298504192 67687 33554432000 4194304 13684479 140733820626960 140733820622344 4880915 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0
/proc/2477/statm: 72877 67687 635 2317 0 70555 0
[pid=2469/tid=2476] ppid=2467 vsize=366276 CPUtime=0 cores=0,2,4,6
/proc/2469/task/2476/stat : 2476 (python) S 2467 2469 27000 0 -1 4202560 27 1010 0 0 0 0 0 0 20 0 2 0 338540079 375066624 9431 33554432000 4194304 5683644 140734619919664 140284585697840 219517343520 0 0 16781312 33554434 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 11.83
Current children cumulated vsize (KiB) 948280
[startup+25.5004 s]
/proc/loadavg: 1.97 2.01 2.08 3/200 2478
/proc/meminfo: memFree=25735732/32873648 swapFree=7120/7120
[pid=2469] ppid=2467 vsize=366276 CPUtime=1.1 cores=0,2,4,6
/proc/2469/stat : 2469 (python) S 2467 2469 27000 0 -1 4202496 13977 1010 1 0 98 12 0 0 20 0 2 0 338539882 375066624 9431 33554432000 4194304 5683644 140734619919664 140734619914496 219517347085 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/2469/statm: 91569 9431 1902 364 0 26792 0
[pid=2475] ppid=2469 vsize=290496 CPUtime=0.03 cores=0,2,4,6
/proc/2475/stat : 2475 (python) S 2469 2469 27000 0 -1 4202560 995 0 0 0 2 1 0 0 20 0 1 0 338540079 297467904 7891 33554432000 4194304 5683644 140734619919664 140734619910752 219513979304 0 0 16781312 33554946 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/2475/statm: 72624 7891 368 364 0 7847 0
[pid=2477] ppid=2475 vsize=382792 CPUtime=23.51 cores=0,2,4,6
/proc/2477/stat : 2477 (scip-2.0.1.linu) R 2475 2477 2477 0 -1 4202496 91570 0 0 0 2329 22 0 0 20 0 1 0 338540079 391979008 90098 33554432000 4194304 13684479 140733820626960 140733820623272 4880937 0 0 16781312 2 0 0 0 17 4 0 0 0 0 0
/proc/2477/statm: 95698 90098 635 2317 0 93376 0
[pid=2469/tid=2476] ppid=2467 vsize=366276 CPUtime=0 cores=0,2,4,6
/proc/2469/task/2476/stat : 2476 (python) S 2467 2469 27000 0 -1 4202560 27 1010 0 0 0 0 0 0 20 0 2 0 338540079 375066624 9431 33554432000 4194304 5683644 140734619919664 140284585697840 219517343520 0 0 16781312 33554434 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 24.64
Current children cumulated vsize (KiB) 1039564
[startup+51.1004 s]
/proc/loadavg: 1.98 2.01 2.08 3/204 2482
/proc/meminfo: memFree=25521732/32873648 swapFree=7120/7120
[pid=2469] ppid=2467 vsize=442068 CPUtime=1.13 cores=0,2,4,6
/proc/2469/stat : 2469 (python) S 2467 2469 27000 0 -1 4202496 14877 1010 1 0 101 12 0 0 20 0 3 0 338539882 452677632 9948 33554432000 4194304 5683644 140734619919664 140734619914496 219517347085 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/2469/statm: 110517 9948 1905 364 0 45737 0
[pid=2475] ppid=2469 vsize=366276 CPUtime=0.08 cores=0,2,4,6
/proc/2475/stat : 2475 (python) S 2469 2469 27000 0 -1 4202560 1152 0 0 0 5 3 0 0 20 0 2 0 338540079 375066624 7926 33554432000 4194304 5683644 140734619919664 140734619911312 219517347085 0 0 16781312 33554946 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/2475/statm: 91569 7926 396 364 0 26792 0
[pid=2477] ppid=2475 vsize=582776 CPUtime=48.43 cores=0,2,4,6
/proc/2477/stat : 2477 (scip-2.0.1.linu) T 2475 2477 2477 0 -1 4202496 141332 0 0 0 4801 42 0 0 20 0 1 0 338540079 596762624 139860 33554432000 4194304 13684479 140733820626960 140733820623272 4880915 0 0 16781312 2 18446744071579387992 0 0 17 4 0 0 0 0 0
/proc/2477/statm: 145694 139860 639 2317 0 143372 0
[pid=2475/tid=2479] ppid=2469 vsize=366276 CPUtime=0 cores=0,2,4,6
/proc/2475/task/2479/stat : 2479 (python) S 2469 2469 27000 0 -1 4202560 51 0 0 0 0 0 0 0 20 0 2 0 338544926 375066624 7926 33554432000 4194304 5683644 140734619919664 140284585697840 219517343520 0 0 16781312 33554946 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2480] ppid=2469 vsize=366288 CPUtime=0 cores=0,2,4,6
/proc/2480/stat : 2480 (python) S 2469 2469 27000 0 -1 4202560 752 0 0 0 0 0 0 0 20 0 1 0 338544928 375078912 7861 33554432000 4194304 5683644 140734619919664 140734619910752 219513979363 0 0 16781312 33554946 18446744071580425449 0 0 17 4 0 0 0 0 0
/proc/2480/statm: 91572 7861 332 364 0 26792 0
[pid=2482] ppid=2480 vsize=7780 CPUtime=0.63 cores=0,2,4,6
/proc/2482/stat : 2482 (clasp-1.3.7-x86) R 2480 2482 2482 0 -1 4202496 2238 0 0 0 63 0 0 0 20 0 1 0 338544929 7966720 1678 33554432000 134512640 136139019 4291951632 4291950464 134832169 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0
/proc/2482/statm: 1945 1678 182 398 0 1545 0
[pid=2469/tid=2476] ppid=2467 vsize=442068 CPUtime=0 cores=0,2,4,6
/proc/2469/task/2476/stat : 2476 (python) S 2467 2469 27000 0 -1 4202560 27 1010 0 0 0 0 0 0 20 0 3 0 338540079 452677632 9948 33554432000 4194304 5683644 140734619919664 140284585697840 219517343520 0 0 16781312 33554434 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2469/tid=2481] ppid=2467 vsize=442068 CPUtime=0 cores=0,2,4,6
/proc/2469/task/2481/stat : 2481 (python) S 2467 2469 27000 0 -1 4202560 20 1010 0 0 0 0 0 0 20 0 3 0 338544929 452677632 9948 33554432000 4194304 5683644 140734619919664 140284503515696 219517343520 0 0 16781312 33554434 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 50.27
Current children cumulated vsize (KiB) 1765188
[startup+102.308 s]
/proc/loadavg: 1.99 2.00 2.07 3/230 2510
/proc/meminfo: memFree=23563968/32873648 swapFree=7120/7120
[pid=2469] ppid=2467 vsize=517860 CPUtime=1.16 cores=0,2,4,6
/proc/2469/stat : 2469 (python) S 2467 2469 27000 0 -1 4202496 15799 1010 1 0 103 13 0 0 20 0 4 0 338539882 530288640 9956 33554432000 4194304 5683644 140734619919664 140734619914496 219517347085 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/2469/statm: 129465 9956 1907 364 0 64682 0
[pid=2475] ppid=2469 vsize=366276 CPUtime=0.08 cores=0,2,4,6
/proc/2475/stat : 2475 (python) S 2469 2469 27000 0 -1 4202560 1152 0 0 0 5 3 0 0 20 0 2 0 338540079 375066624 7926 33554432000 4194304 5683644 140734619919664 140734619911312 219517347085 0 0 16781312 33554946 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/2475/statm: 91569 7926 396 364 0 26792 0
[pid=2477] ppid=2475 vsize=582776 CPUtime=48.43 cores=0,2,4,6
/proc/2477/stat : 2477 (scip-2.0.1.linu) T 2475 2477 2477 0 -1 4202496 141332 0 0 0 4801 42 0 0 20 0 1 0 338540079 596762624 139860 33554432000 4194304 13684479 140733820626960 140733820623272 4880915 0 0 16781312 2 18446744071579387992 0 0 17 4 0 0 0 0 0
/proc/2477/statm: 145694 139860 639 2317 0 143372 0
[pid=2475/tid=2479] ppid=2469 vsize=366276 CPUtime=0 cores=0,2,4,6
/proc/2475/task/2479/stat : 2479 (python) S 2469 2469 27000 0 -1 4202560 51 0 0 0 0 0 0 0 20 0 2 0 338544926 375066624 7926 33554432000 4194304 5683644 140734619919664 140284585697840 219517343520 0 0 16781312 33554946 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2480] ppid=2469 vsize=366288 CPUtime=0.06 cores=0,2,4,6
/proc/2480/stat : 2480 (python) S 2469 2469 27000 0 -1 4202560 1095 0 0 0 3 3 0 0 20 0 2 0 338544928 375078912 7913 33554432000 4194304 5683644 140734619919664 140734619911312 219517347085 0 0 16781312 33554946 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2480/statm: 91572 7913 383 364 0 26792 0
[pid=2482] ppid=2480 vsize=12396 CPUtime=47.1 cores=0,2,4,6
/proc/2482/stat : 2482 (clasp-1.3.7-x86) T 2480 2482 2482 0 -1 4202496 3414 0 0 0 4710 0 0 0 20 0 1 0 338544929 12693504 2854 33554432000 134512640 136139019 4291951632 4291950496 134831212 0 0 16781312 16386 18446744071579387992 0 0 17 0 0 0 0 0 0
/proc/2482/statm: 3099 2854 182 398 0 2699 0
[pid=2480/tid=2507] ppid=2469 vsize=366288 CPUtime=0 cores=0,2,4,6
/proc/2480/task/2507/stat : 2507 (python) S 2469 2469 27000 0 -1 4202560 54 0 0 0 0 0 0 0 20 0 2 0 338549641 375078912 7913 33554432000 4194304 5683644 140734619919664 140284585697840 219517343520 0 0 16781312 33554946 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2508] ppid=2469 vsize=442080 CPUtime=0 cores=0,2,4,6
/proc/2508/stat : 2508 (python) S 2469 2469 27000 0 -1 4202560 929 0 0 0 0 0 0 0 20 0 1 0 338549644 452689920 8401 33554432000 4194304 5683644 140734619919664 140734619910752 219513979363 0 0 16781312 33554946 18446744071580425449 0 0 17 2 0 0 0 0 0
/proc/2508/statm: 110520 8401 358 364 0 45737 0
[pid=2510] ppid=2508 vsize=238516 CPUtime=4.68 cores=0,2,4,6
/proc/2510/stat : 2510 (scip-2.0.1.linu) R 2508 2510 2510 0 -1 4202496 55645 0 0 0 453 15 0 0 20 0 1 0 338549644 244240384 54686 33554432000 4194304 15243407 140737032750256 140737032745640 4880930 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0
/proc/2510/statm: 59629 54686 682 2698 0 56924 0
[pid=2469/tid=2476] ppid=2467 vsize=517860 CPUtime=0 cores=0,2,4,6
/proc/2469/task/2476/stat : 2476 (python) S 2467 2469 27000 0 -1 4202560 27 1010 0 0 0 0 0 0 20 0 4 0 338540079 530288640 9956 33554432000 4194304 5683644 140734619919664 140284585697840 219517343520 0 0 16781312 33554434 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2469/tid=2481] ppid=2467 vsize=517860 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
[pid=2538/tid=2550] ppid=2536 vsize=9558408 CPUtime=0 cores=0,2,4,6
/proc/2538/task/2550/stat : 2550 (java) S 2536 2538 2538 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 18 0 338568426 9787809792 27703 33554432000 1073741824 1073778376 140734807701056 140511727814408 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2538/tid=2551] ppid=2536 vsize=9558408 CPUtime=0 cores=0,2,4,6
/proc/2538/task/2551/stat : 2551 (java) S 2536 2538 2538 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 338568428 9787809792 27703 33554432000 1073741824 1073778376 140734807701056 140511726762896 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2538/tid=2552] ppid=2536 vsize=9558408 CPUtime=0.27 cores=0,2,4,6
/proc/2538/task/2552/stat : 2552 (java) R 2536 2538 2538 0 -1 4202560 3270 0 0 0 27 0 0 0 20 0 18 0 338568428 9787809792 27703 33554432000 1073741824 1073778376 140734807701056 140511725686744 140512383040600 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=2538/tid=2553] ppid=2536 vsize=9558408 CPUtime=0.23 cores=0,2,4,6
/proc/2538/task/2553/stat : 2553 (java) R 2536 2538 2538 0 -1 4202560 2609 0 0 0 23 0 0 0 20 0 18 0 338568428 9787809792 27703 33554432000 1073741824 1073778376 140734807701056 140511724644104 140512382542952 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=2538/tid=2554] ppid=2536 vsize=9558408 CPUtime=0 cores=0,2,4,6
/proc/2538/task/2554/stat : 2554 (java) S 2536 2538 2538 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 338568428 9787809792 27703 33554432000 1073741824 1073778376 140734807701056 140511723604600 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2538/tid=2555] ppid=2536 vsize=9558408 CPUtime=0 cores=0,2,4,6
/proc/2538/task/2555/stat : 2555 (java) S 2536 2538 2538 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 338568428 9787809792 27703 33554432000 1073741824 1073778376 140734807701056 140511722552008 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2469/tid=2476] ppid=2467 vsize=669444 CPUtime=0 cores=0,2,4,6
/proc/2469/task/2476/stat : 2476 (python) S 2467 2469 27000 0 -1 4202560 27 1010 0 0 0 0 0 0 20 0 6 0 338540079 685510656 9972 33554432000 4194304 5683644 140734619919664 140284585697840 219517343520 0 0 16781312 33554434 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2469/tid=2481] ppid=2467 vsize=669444 CPUtime=0 cores=0,2,4,6
/proc/2469/task/2481/stat : 2481 (python) S 2467 2469 27000 0 -1 4202560 24 1010 0 0 0 0 0 0 20 0 6 0 338544929 685510656 9972 33554432000 4194304 5683644 140734619919664 140284503515696 219517343520 0 0 16781312 33554434 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2469/tid=2509] ppid=2467 vsize=669444 CPUtime=0 cores=0,2,4,6
/proc/2469/task/2509/stat : 2509 (python) S 2467 2469 27000 0 -1 4202560 21 1010 0 0 0 0 0 0 20 0 6 0 338549644 685510656 9972 33554432000 4194304 5683644 140734619919664 140284493025840 219517343520 0 0 16781312 33554434 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2469/tid=2514] ppid=2467 vsize=669444 CPUtime=0 cores=0,2,4,6
/proc/2469/task/2514/stat : 2514 (python) S 2467 2469 27000 0 -1 4202560 21 1010 0 0 0 0 0 0 20 0 6 0 338559130 685510656 9972 33554432000 4194304 5683644 140734619919664 140284482535984 219517343520 0 0 16781312 33554434 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2469/tid=2537] ppid=2467 vsize=669444 CPUtime=0 cores=0,2,4,6
/proc/2469/task/2537/stat : 2537 (python) S 2467 2469 27000 0 -1 4202560 21 1010 0 0 0 0 0 0 20 0 6 0 338568421 685510656 9972 33554432000 4194304 5683644 140734619919664 140284472046128 219517343520 0 0 16781312 33554434 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 288.09
Current children cumulated vsize (KiB) 23576612
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.04 2.02 2.06 5/273 2555
/proc/meminfo: memFree=21142764/32873648 swapFree=7120/7120
[pid=2469] ppid=2467 vsize=669444 CPUtime=1.26 cores=0,2,4,6
/proc/2469/stat : 2469 (python) S 2467 2469 27000 0 -1 4202496 17756 1010 1 0 113 13 0 0 20 0 6 0 338539882 685510656 9972 33554432000 4194304 5683644 140734619919664 140734619914496 219517347085 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2469/statm: 167361 9972 1911 364 0 102572 0
[pid=2475] ppid=2469 vsize=366276 CPUtime=0.08 cores=0,2,4,6
/proc/2475/stat : 2475 (python) S 2469 2469 27000 0 -1 4202560 1152 0 0 0 5 3 0 0 20 0 2 0 338540079 375066624 7926 33554432000 4194304 5683644 140734619919664 140734619911312 219517347085 0 0 16781312 33554946 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/2475/statm: 91569 7926 396 364 0 26792 0
[pid=2477] ppid=2475 vsize=582776 CPUtime=48.43 cores=0,2,4,6
/proc/2477/stat : 2477 (scip-2.0.1.linu) T 2475 2477 2477 0 -1 4202496 141332 0 0 0 4801 42 0 0 20 0 1 0 338540079 596762624 139860 33554432000 4194304 13684479 140733820626960 140733820623272 4880915 0 0 16781312 2 18446744071579387992 0 0 17 4 0 0 0 0 0
/proc/2477/statm: 145694 139860 639 2317 0 143372 0
[pid=2475/tid=2479] ppid=2469 vsize=366276 CPUtime=0 cores=0,2,4,6
/proc/2475/task/2479/stat : 2479 (python) S 2469 2469 27000 0 -1 4202560 51 0 0 0 0 0 0 0 20 0 2 0 338544926 375066624 7926 33554432000 4194304 5683644 140734619919664 140284585697840 219517343520 0 0 16781312 33554946 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2480] ppid=2469 vsize=366288 CPUtime=0.15 cores=0,2,4,6
/proc/2480/stat : 2480 (python) S 2469 2469 27000 0 -1 4202560 1157 0 0 0 8 7 0 0 20 0 2 0 338544928 375078912 7913 33554432000 4194304 5683644 140734619919664 140734619911312 219517347085 0 0 16781312 33554946 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/2480/statm: 91572 7913 383 364 0 26792 0
[pid=2482] ppid=2480 vsize=24300 CPUtime=92.22 cores=0,2,4,6
/proc/2482/stat : 2482 (clasp-1.3.7-x86) T 2480 2482 2482 0 -1 4202496 6371 0 0 0 9221 1 0 0 20 0 1 0 338544929 24883200 5811 33554432000 134512640 136139019 4291951632 4291950560 134648728 0 0 16781312 16386 18446744071579387992 0 0 17 4 0 0 0 0 0
/proc/2482/statm: 6075 5811 182 398 0 5675 0
[pid=2480/tid=2507] ppid=2469 vsize=366288 CPUtime=0 cores=0,2,4,6
/proc/2480/task/2507/stat : 2507 (python) S 2469 2469 27000 0 -1 4202560 54 0 0 0 0 0 0 0 20 0 2 0 338549641 375078912 7913 33554432000 4194304 5683644 140734619919664 140284585697840 219517343520 0 0 16781312 33554946 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2508] ppid=2469 vsize=442080 CPUtime=0.16 cores=0,2,4,6
/proc/2508/stat : 2508 (python) S 2469 2469 27000 0 -1 4202560 1149 0 0 0 9 7 0 0 20 0 2 0 338549644 452689920 8426 33554432000 4194304 5683644 140734619919664 140734619911312 219517347085 0 0 16781312 33554946 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2508/statm: 110520 8426 383 364 0 45737 0
[pid=2510] ppid=2508 vsize=830532 CPUtime=94.76 cores=0,2,4,6
/proc/2510/stat : 2510 (scip-2.0.1.linu) T 2508 2510 2510 0 -1 4202496 202779 0 0 0 9406 70 0 0 20 0 1 0 338549644 850464768 201820 33554432000 4194304 15243407 140737032750256 140737032746568 4880927 0 0 16781312 2 18446744071579387992 0 0 17 0 0 0 0 0 0
/proc/2510/statm: 207633 201820 686 2698 0 204928 0
[pid=2508/tid=2512] ppid=2469 vsize=442080 CPUtime=0 cores=0,2,4,6
/proc/2508/task/2512/stat : 2512 (python) S 2469 2469 27000 0 -1 4202560 49 0 0 0 0 0 0 0 20 0 2 0 338554592 452689920 8426 33554432000 4194304 5683644 140734619919664 140284503515696 219517343520 0 0 16781312 33554946 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2513] ppid=2469 vsize=517872 CPUtime=0.08 cores=0,2,4,6
/proc/2513/stat : 2513 (python) S 2469 2469 27000 0 -1 4202560 1153 0 0 0 5 3 0 0 20 0 2 0 338559130 530300928 8433 33554432000 4194304 5683644 140734619919664 140734619911312 219517347085 0 0 16781312 33554946 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/2513/statm: 129468 8433 383 364 0 64682 0
[pid=2515] ppid=2513 vsize=9624972 CPUtime=49.93 cores=0,2,4,6
/proc/2515/stat : 2515 (java) T 2513 2515 2515 0 -1 4202496 18552 0 1 0 4953 40 0 0 20 0 19 0 338559131 9855971328 420769 33554432000 1073741824 1073778376 140733235095040 140733235086176 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2515/statm: 2406243 420769 2269 9 0 2396937 0
[pid=2515/tid=2516] ppid=2513 vsize=9624972 CPUtime=47.42 cores=0,2,4,6
/proc/2515/task/2516/stat : 2516 (java) T 2513 2515 2515 0 -1 4202560 3673 0 1 0 4716 26 0 0 20 0 19 0 338559132 9855971328 420769 33554432000 1073741824 1073778376 140733235095040 139774620146912 139774492762504 0 4 0 16800975 18446744071579387992 0 0 -1 2 0 0 0 0 0
[pid=2515/tid=2517] ppid=2513 vsize=9624972 CPUtime=0.07 cores=0,2,4,6
/proc/2515/task/2517/stat : 2517 (java) T 2513 2515 2515 0 -1 4202560 29 0 0 0 7 0 0 0 20 0 19 0 338559133 9855971328 420769 33554432000 1073741824 1073778376 140733235095040 139774464060072 219517334588 0 4 0 16800975 18446744071579387992 0 0 -1 0 0 0 0 0 0
[pid=2515/tid=2518] ppid=2513 vsize=9624972 CPUtime=0.05 cores=0,2,4,6
/proc/2515/task/2518/stat : 2518 (java) T 2513 2515 2515 0 -1 4202560 28 0 0 0 4 1 0 0 20 0 19 0 338559133 9855971328 420769 33554432000 1073741824 1073778376 140733235095040 139774463007528 219517334588 0 4 0 16800975 18446744071579387992 0 0 -1 2 0 0 0 0 0
[pid=2515/tid=2519] ppid=2513 vsize=9624972 CPUtime=0.08 cores=0,2,4,6
/proc/2515/task/2519/stat : 2519 (java) T 2513 2515 2515 0 -1 4202560 61 0 0 0 6 2 0 0 20 0 19 0 338559133 9855971328 420769 33554432000 1073741824 1073778376 140733235095040 139774461954984 219517334588 0 4 0 16800975 18446744071579387992 0 0 -1 2 0 0 0 0 0
[pid=2515/tid=2520] ppid=2513 vsize=9624972 CPUtime=0.1 cores=0,2,4,6
/proc/2515/task/2520/stat : 2520 (java) T 2513 2515 2515 0 -1 4202560 56 0 0 0 8 2 0 0 20 0 19 0 338559133 9855971328 420769 33554432000 1073741824 1073778376 140733235095040 139774460902440 219517334588 0 4 0 16800975 18446744071579387992 0 0 -1 2 0 0 0 0 0
[pid=2515/tid=2521] ppid=2513 vsize=9624972 CPUtime=0.09 cores=0,2,4,6
/proc/2515/task/2521/stat : 2521 (java) T 2513 2515 2515 0 -1 4202560 66 0 0 0 7 2 0 0 20 0 19 0 338559133 9855971328 420769 33554432000 1073741824 1073778376 140733235095040 139774459848872 219517334588 0 4 0 16800975 18446744071579387992 0 0 -1 2 0 0 0 0 0
[pid=2515/tid=2522] ppid=2513 vsize=9624972 CPUtime=0.07 cores=0,2,4,6
/proc/2515/task/2522/stat : 2522 (java) T 2513 2515 2515 0 -1 4202560 52 0 0 0 7 0 0 0 20 0 19 0 338559133 9855971328 420769 33554432000 1073741824 1073778376 140733235095040 139774458796328 219517334588 0 4 0 16800975 18446744071579387992 0 0 -1 2 0 0 0 0 0
[pid=2515/tid=2523] ppid=2513 vsize=9624972 CPUtime=0.1 cores=0,2,4,6
/proc/2515/task/2523/stat : 2523 (java) T 2513 2515 2515 0 -1 4202560 42 0 0 0 8 2 0 0 20 0 19 0 338559133 9855971328 420769 33554432000 1073741824 1073778376 140733235095040 139774457743784 219517334588 0 4 0 16800975 18446744071579387992 0 0 -1 2 0 0 0 0 0
[pid=2515/tid=2524] ppid=2513 vsize=9624972 CPUtime=0.07 cores=0,2,4,6
/proc/2515/task/2524/stat : 2524 (java) T 2513 2515 2515 0 -1 4202560 54 0 0 0 7 0 0 0 20 0 19 0 338559133 9855971328 420769 33554432000 1073741824 1073778376 140733235095040 139774456691240 219517334588 0 4 0 16800975 18446744071579387992 0 0 -1 2 0 0 0 0 0
[pid=2515/tid=2525] ppid=2513 vsize=9624972 CPUtime=0 cores=0,2,4,6
/proc/2515/task/2525/stat : 2525 (java) T 2513 2515 2515 0 -1 4202560 744 0 0 0 0 0 0 0 20 0 19 0 338559134 9855971328 420769 33554432000 1073741824 1073778376 140733235095040 139774444280424 219517335465 0 0 0 16800975 18446744071579387992 0 0 -1 0 0 0 0 0 0
[pid=2515/tid=2526] ppid=2513 vsize=9624972 CPUtime=0 cores=0,2,4,6
/proc/2515/task/2526/stat : 2526 (java) T 2513 2515 2515 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 338559134 9855971328 420769 33554432000 1073741824 1073778376 140733235095040 139774443226744 219517334588 0 4 0 16800975 18446744071579387992 0 0 -1 2 0 0 0 0 0
[pid=2515/tid=2527] ppid=2513 vsize=9624972 CPUtime=0 cores=0,2,4,6
/proc/2515/task/2527/stat : 2527 (java) T 2513 2515 2515 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 338559134 9855971328 420769 33554432000 1073741824 1073778376 140733235095040 139774442174088 219517334588 0 4 0 16800975 18446744071579387992 0 0 -1 2 0 0 0 0 0
[pid=2515/tid=2528] ppid=2513 vsize=9624972 CPUtime=0 cores=0,2,4,6
/proc/2515/task/2528/stat : 2528 (java) T 2513 2515 2515 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338559137 9855971328 420769 33554432000 1073741824 1073778376 140733235095040 139774441122832 219517343520 0 4 0 16800975 18446744071579387992 0 0 -1 2 0 0 0 0 0
[pid=2515/tid=2529] ppid=2513 vsize=9624972 CPUtime=0.86 cores=0,2,4,6
/proc/2515/task/2529/stat : 2529 (java) T 2513 2515 2515 0 -1 4202560 6236 0 0 0 84 2 0 0 20 0 19 0 338559137 9855971328 420769 33554432000 1073741824 1073778376 140733235095040 139774440069176 219517334588 0 4 0 16800975 18446744071579387992 0 0 -1 0 0 0 0 0 0
[pid=2515/tid=2530] ppid=2513 vsize=9624972 CPUtime=0.89 cores=0,2,4,6
/proc/2515/task/2530/stat : 2530 (java) T 2513 2515 2515 0 -1 4202560 6095 0 0 0 87 2 0 0 20 0 19 0 338559137 9855971328 420769 33554432000 1073741824 1073778376 140733235095040 139774439016632 219517334588 0 4 0 16800975 18446744071579387992 0 0 -1 2 0 0 0 0 0
[pid=2515/tid=2531] ppid=2513 vsize=9624972 CPUtime=0 cores=0,2,4,6
/proc/2515/task/2531/stat : 2531 (java) T 2513 2515 2515 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338559137 9855971328 420769 33554432000 1073741824 1073778376 140733235095040 139774437964280 219517334588 0 4 0 16800975 18446744071579387992 0 0 -1 0 0 0 0 0 0
[pid=2515/tid=2532] ppid=2513 vsize=9624972 CPUtime=0.01 cores=0,2,4,6
/proc/2515/task/2532/stat : 2532 (java) T 2513 2515 2515 0 -1 4202560 3 0 0 0 1 0 0 0 20 0 19 0 338559137 9855971328 420769 33554432000 1073741824 1073778376 140733235095040 139774436911944 219517335465 0 4 0 16800975 18446744071579387992 0 0 -1 2 0 0 0 0 0
[pid=2515/tid=2533] ppid=2513 vsize=9624972 CPUtime=0 cores=0,2,4,6
/proc/2515/task/2533/stat : 2533 (java) T 2513 2515 2515 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 338559192 9855971328 420769 33554432000 1073741824 1073778376 140733235095040 139774435857704 219517335465 0 4 0 16800975 18446744071579387992 0 0 -1 2 0 0 0 0 0
[pid=2513/tid=2535] ppid=2469 vsize=517872 CPUtime=0 cores=0,2,4,6
/proc/2513/task/2535/stat : 2535 (python) S 2469 2469 27000 0 -1 4202560 51 0 0 0 0 0 0 0 20 0 2 0 338563903 530300928 8433 33554432000 4194304 5683644 140734619919664 140284493025840 219517343520 0 0 16781312 33554946 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2536] ppid=2469 vsize=593664 CPUtime=0 cores=0,2,4,6
/proc/2536/stat : 2536 (python) S 2469 2469 27000 0 -1 4202560 854 0 0 0 0 0 0 0 20 0 1 0 338568421 607911936 8390 33554432000 4194304 5683644 140734619919664 140734619910752 219513979363 0 0 16781312 33554946 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/2536/statm: 148416 8390 335 364 0 83627 0
[pid=2538] ppid=2536 vsize=9558408 CPUtime=1.02 cores=0,2,4,6
/proc/2538/stat : 2538 (java) S 2536 2538 2538 0 -1 4202496 9758 0 1 0 99 3 0 0 20 0 18 0 338568422 9787809792 27703 33554432000 1073741824 1073778376 140734807701056 140734807692192 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/2538/statm: 2389602 27703 2235 9 0 2380296 0
[pid=2538/tid=2539] ppid=2536 vsize=9558408 CPUtime=0.48 cores=0,2,4,6
/proc/2538/task/2539/stat : 2539 (java) R 2536 2538 2538 0 -1 4202560 2463 0 1 0 46 2 0 0 20 0 18 0 338568423 9787809792 27703 33554432000 1073741824 1073778376 140734807701056 140512376574032 140512221082982 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=2538/tid=2540] ppid=2536 vsize=9558408 CPUtime=0 cores=0,2,4,6
/proc/2538/task/2540/stat : 2540 (java) S 2536 2538 2538 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 338568424 9787809792 27703 33554432000 1073741824 1073778376 140734807701056 140512220502824 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2538/tid=2541] ppid=2536 vsize=9558408 CPUtime=0 cores=0,2,4,6
/proc/2538/task/2541/stat : 2541 (java) S 2536 2538 2538 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 338568424 9787809792 27703 33554432000 1073741824 1073778376 140734807701056 140512219450024 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2538/tid=2542] ppid=2536 vsize=9558408 CPUtime=0 cores=0,2,4,6
/proc/2538/task/2542/stat : 2542 (java) S 2536 2538 2538 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 338568424 9787809792 27703 33554432000 1073741824 1073778376 140734807701056 140512218397736 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2538/tid=2543] ppid=2536 vsize=9558408 CPUtime=0 cores=0,2,4,6
/proc/2538/task/2543/stat : 2543 (java) S 2536 2538 2538 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 338568424 9787809792 27703 33554432000 1073741824 1073778376 140734807701056 140512217344936 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2538/tid=2544] ppid=2536 vsize=9558408 CPUtime=0 cores=0,2,4,6
/proc/2538/task/2544/stat : 2544 (java) S 2536 2538 2538 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 338568424 9787809792 27703 33554432000 1073741824 1073778376 140734807701056 140512216291624 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2538/tid=2545] ppid=2536 vsize=9558408 CPUtime=0 cores=0,2,4,6
/proc/2538/task/2545/stat : 2545 (java) S 2536 2538 2538 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 338568424 9787809792 27703 33554432000 1073741824 1073778376 140734807701056 140512215238824 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2538/tid=2546] ppid=2536 vsize=9558408 CPUtime=0 cores=0,2,4,6
/proc/2538/task/2546/stat : 2546 (java) S 2536 2538 2538 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 338568424 9787809792 27703 33554432000 1073741824 1073778376 140734807701056 140512214186536 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2538/tid=2547] ppid=2536 vsize=9558408 CPUtime=0 cores=0,2,4,6
/proc/2538/task/2547/stat : 2547 (java) S 2536 2538 2538 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 18 0 338568424 9787809792 27703 33554432000 1073741824 1073778376 140734807701056 140512213133736 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2538/tid=2548] ppid=2536 vsize=9558408 CPUtime=0 cores=0,2,4,6
/proc/2538/task/2548/stat : 2548 (java) S 2536 2538 2538 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 18 0 338568425 9787809792 27703 33554432000 1073741824 1073778376 140734807701056 140511729920744 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2538/tid=2549] ppid=2536 vsize=9558408 CPUtime=0 cores=0,2,4,6
/proc/2538/task/2549/stat : 2549 (java) S 2536 2538 2538 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 18 0 338568426 9787809792 27703 33554432000 1073741824 1073778376 140734807701056 140511728866808 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2538/tid=2550] ppid=2536 vsize=9558408 CPUtime=0 cores=0,2,4,6
/proc/2538/task/2550/stat : 2550 (java) S 2536 2538 2538 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 18 0 338568426 9787809792 27703 33554432000 1073741824 1073778376 140734807701056 140511727814408 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2538/tid=2551] ppid=2536 vsize=9558408 CPUtime=0 cores=0,2,4,6
/proc/2538/task/2551/stat : 2551 (java) S 2536 2538 2538 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 338568428 9787809792 27703 33554432000 1073741824 1073778376 140734807701056 140511726762896 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2538/tid=2552] ppid=2536 vsize=9558408 CPUtime=0.27 cores=0,2,4,6
/proc/2538/task/2552/stat : 2552 (java) R 2536 2538 2538 0 -1 4202560 3270 0 0 0 27 0 0 0 20 0 18 0 338568428 9787809792 27703 33554432000 1073741824 1073778376 140734807701056 140511725686744 140512383040600 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=2538/tid=2553] ppid=2536 vsize=9558408 CPUtime=0.23 cores=0,2,4,6
/proc/2538/task/2553/stat : 2553 (java) R 2536 2538 2538 0 -1 4202560 2609 0 0 0 23 0 0 0 20 0 18 0 338568428 9787809792 27703 33554432000 1073741824 1073778376 140734807701056 140511724644104 140512382542952 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=2538/tid=2554] ppid=2536 vsize=9558408 CPUtime=0 cores=0,2,4,6
/proc/2538/task/2554/stat : 2554 (java) S 2536 2538 2538 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 338568428 9787809792 27703 33554432000 1073741824 1073778376 140734807701056 140511723604600 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2538/tid=2555] ppid=2536 vsize=9558408 CPUtime=0 cores=0,2,4,6
/proc/2538/task/2555/stat : 2555 (java) S 2536 2538 2538 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 338568428 9787809792 27703 33554432000 1073741824 1073778376 140734807701056 140511722552008 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2469/tid=2476] ppid=2467 vsize=669444 CPUtime=0 cores=0,2,4,6
/proc/2469/task/2476/stat : 2476 (python) S 2467 2469 27000 0 -1 4202560 27 1010 0 0 0 0 0 0 20 0 6 0 338540079 685510656 9972 33554432000 4194304 5683644 140734619919664 140284585697840 219517343520 0 0 16781312 33554434 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2469/tid=2481] ppid=2467 vsize=669444 CPUtime=0 cores=0,2,4,6
/proc/2469/task/2481/stat : 2481 (python) S 2467 2469 27000 0 -1 4202560 24 1010 0 0 0 0 0 0 20 0 6 0 338544929 685510656 9972 33554432000 4194304 5683644 140734619919664 140284503515696 219517343520 0 0 16781312 33554434 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2469/tid=2509] ppid=2467 vsize=669444 CPUtime=0 cores=0,2,4,6
/proc/2469/task/2509/stat : 2509 (python) S 2467 2469 27000 0 -1 4202560 21 1010 0 0 0 0 0 0 20 0 6 0 338549644 685510656 9972 33554432000 4194304 5683644 140734619919664 140284493025840 219517343520 0 0 16781312 33554434 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2469/tid=2514] ppid=2467 vsize=669444 CPUtime=0 cores=0,2,4,6
/proc/2469/task/2514/stat : 2514 (python) S 2467 2469 27000 0 -1 4202560 21 1010 0 0 0 0 0 0 20 0 6 0 338559130 685510656 9972 33554432000 4194304 5683644 140734619919664 140284482535984 219517343520 0 0 16781312 33554434 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2469/tid=2537] ppid=2467 vsize=669444 CPUtime=0 cores=0,2,4,6
/proc/2469/task/2537/stat : 2537 (python) S 2467 2469 27000 0 -1 4202560 21 1010 0 0 0 0 0 0 20 0 6 0 338568421 685510656 9972 33554432000 4194304 5683644 140734619919664 140284472046128 219517343520 0 0 16781312 33554434 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 288.09
Current children cumulated vsize (KiB) 23576612
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 2469 and gives
# childrusage.ru_utime.tv_sec=1
# childrusage.ru_utime.tv_usec=137827
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=139978
# CPU time returned by wait4() is 1.27781
# while last known CPU time is 288.09
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 285.963
CPU time (s): 288.09
CPU user time (s): 286.2
CPU system time (s): 1.89
CPU usage (%): 100.744
Max. virtual memory (cumulated for all children) (KiB): 23576612
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.13783
system time used= 0.139978
maximum resident set size= 39888
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18766
page faults= 1
swaps= 0
block input operations= 0
block output operations= 448
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2073
involuntary context switches= 12
runsolver used 0.98185 second user time and 2.50562 second system time
The end