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-3741189-1338721528/watcher-3741189-1338721528 -o /tmp/evaluation-result-3741189-1338721528/solver-3741189-1338721528 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.dec.pickle HOME/instance-3741189-1338721528.opb -seed 6412469 -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.02 2.54 2.66 3/195 5894
/proc/meminfo: memFree=24271624/32873844 swapFree=6608/6608
[pid=5894] ppid=5892 vsize=15308 CPUtime=0 cores=0,2,4,6
/proc/5894/stat : 5894 (python) R 5892 5894 3621 0 -1 4202496 651 0 0 0 0 0 0 0 20 0 1 0 338277900 15675392 545 33554432000 4194304 5683644 140736192374512 140736192360424 4540219 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0
/proc/5894/statm: 3827 549 316 364 0 269 0
[startup+0.0587961 s]
/proc/loadavg: 2.02 2.54 2.66 3/195 5894
/proc/meminfo: memFree=24271624/32873844 swapFree=6608/6608
[pid=5894] ppid=5892 vsize=16628 CPUtime=0.01 cores=0,2,4,6
/proc/5894/stat : 5894 (python) R 5892 5894 3621 0 -1 4202496 1158 0 0 0 1 0 0 0 20 0 1 0 338277900 17027072 970 33554432000 4194304 5683644 140736192374512 140736192357880 5210636 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0
/proc/5894/statm: 4157 971 399 364 0 599 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 16628
[startup+0.100213 s]
/proc/loadavg: 2.02 2.54 2.66 3/195 5894
/proc/meminfo: memFree=24271624/32873844 swapFree=6608/6608
[pid=5894] ppid=5892 vsize=19088 CPUtime=0.02 cores=0,2,4,6
/proc/5894/stat : 5894 (python) R 5892 5894 3621 0 -1 4202496 1392 0 0 0 2 0 0 0 20 0 1 0 338277900 19546112 1147 33554432000 4194304 5683644 140736192374512 140736192305016 4864861 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0
/proc/5894/statm: 4772 1147 430 364 0 696 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 19088
[startup+0.300239 s]
/proc/loadavg: 2.02 2.54 2.66 3/195 5894
/proc/meminfo: memFree=24271624/32873844 swapFree=6608/6608
[pid=5894] ppid=5892 vsize=96516 CPUtime=0.11 cores=0,2,4,6
/proc/5894/stat : 5894 (python) D 5892 5894 3621 0 -1 4202496 3658 1009 1 0 9 2 0 0 20 0 1 0 338277900 98832384 2549 33554432000 4194304 5683644 140736192374512 140736192310376 213419639696 0 0 16781312 2 18446744072100609316 0 0 17 0 0 0 0 0 0
/proc/5894/statm: 24129 2549 822 364 0 1620 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 96516
[startup+0.700207 s]
/proc/loadavg: 2.02 2.54 2.66 3/195 5894
/proc/meminfo: memFree=24271624/32873844 swapFree=6608/6608
[pid=5894] ppid=5892 vsize=122348 CPUtime=0.22 cores=0,2,4,6
/proc/5894/stat : 5894 (python) D 5892 5894 3621 0 -1 4202496 5963 1009 1 0 16 6 0 0 20 0 1 0 338277900 125284352 3842 33554432000 4194304 5683644 140736192374512 140736192285672 213419639696 0 0 16781312 2 18446744072100609316 0 0 17 0 0 0 0 0 0
/proc/5894/statm: 30587 3842 1015 364 0 2830 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 122348
[startup+1.50021 s]
/proc/loadavg: 2.02 2.54 2.66 2/196 5899
/proc/meminfo: memFree=24255340/32873844 swapFree=6608/6608
[pid=5894] ppid=5892 vsize=319924 CPUtime=0.64 cores=0,2,4,6
/proc/5894/stat : 5894 (python) R 5892 5894 3621 0 -1 4202496 11984 1009 1 0 51 13 0 0 20 0 1 0 338277900 327602176 16683 33554432000 4194304 5683644 140736192374512 140736192288584 4942009 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0
/proc/5894/statm: 79981 16683 1811 364 0 15210 0
Current children cumulated CPU time (s) 0.64
Current children cumulated vsize (KiB) 319924
[startup+3.10018 s]
/proc/loadavg: 2.02 2.54 2.66 3/196 5899
/proc/meminfo: memFree=24194492/32873844 swapFree=6608/6608
[pid=5894] ppid=5892 vsize=372496 CPUtime=2.24 cores=0,2,4,6
/proc/5894/stat : 5894 (python) R 5892 5894 3621 0 -1 4202496 24620 1009 1 0 208 16 0 0 20 0 1 0 338277900 381435904 29319 33554432000 4194304 5683644 140736192374512 140736192367128 4602354 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0
/proc/5894/statm: 93124 29319 1811 364 0 28353 0
Current children cumulated CPU time (s) 2.24
Current children cumulated vsize (KiB) 372496
heavy processes:
[startup+6.30023 s]
/proc/loadavg: 2.02 2.53 2.66 3/196 5899
/proc/meminfo: memFree=24085168/32873844 swapFree=6608/6608
[pid=5894] ppid=5892 vsize=489416 CPUtime=5.44 cores=0,2,4,6
/proc/5894/stat : 5894 (python) R 5892 5894 3621 0 -1 4202496 47495 1009 1 0 524 20 0 0 20 0 1 0 338277900 501161984 58326 33554432000 4194304 5683644 140736192374512 140736192367576 4458928 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0
/proc/5894/statm: 122354 58326 1811 364 0 57583 0
Current children cumulated CPU time (s) 5.44
Current children cumulated vsize (KiB) 489416
[startup+12.7002 s]
/proc/loadavg: 2.01 2.52 2.66 3/196 5899
/proc/meminfo: memFree=24036324/32873844 swapFree=6608/6608
[pid=5894] ppid=5892 vsize=489436 CPUtime=11.84 cores=0,2,4,6
/proc/5894/stat : 5894 (python) R 5892 5894 3621 0 -1 4202496 53993 1009 1 0 1160 24 0 0 20 0 1 0 338277900 501182464 59111 33554432000 4194304 5683644 140736192374512 140736192367688 4541442 0 0 16781312 33554434 0 0 0 17 2 0 0 0 0 0
/proc/5894/statm: 122359 59111 1847 364 0 57588 0
Current children cumulated CPU time (s) 11.84
Current children cumulated vsize (KiB) 489436
[startup+25.5003 s]
/proc/loadavg: 2.08 2.51 2.65 3/199 5902
/proc/meminfo: memFree=23927688/32873844 swapFree=6608/6608
[pid=5894] ppid=5892 vsize=576808 CPUtime=14.88 cores=0,2,4,6
/proc/5894/stat : 5894 (python) S 5892 5894 3621 0 -1 4202496 55129 1009 1 0 1463 25 0 0 20 0 2 0 338277900 590651392 62064 33554432000 4194304 5683644 140736192374512 140736192369344 213423023373 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/5894/statm: 144202 62064 1902 364 0 79425 0
[pid=5900] ppid=5894 vsize=501028 CPUtime=0 cores=0,2,4,6
/proc/5900/stat : 5900 (python) S 5894 5894 3621 0 -1 4202560 887 0 0 0 0 0 0 0 20 0 1 0 338279475 513052672 60519 33554432000 4194304 5683644 140736192374512 140736192365600 213419655592 0 0 16781312 33554946 18446744071580425449 0 0 17 2 0 0 0 0 0
/proc/5900/statm: 125257 60519 363 364 0 60480 0
[pid=5902] ppid=5900 vsize=90900 CPUtime=9.73 cores=0,2,4,6
/proc/5902/stat : 5902 (wbo1.4b-fixed) R 5900 5902 5902 0 -1 4202496 30650 0 0 0 959 14 0 0 20 0 1 0 338279476 93081600 21688 33554432000 134512640 135752315 4289369360 4289367356 134517408 0 0 16781312 3 0 0 0 17 0 0 0 0 0 0
/proc/5902/statm: 22725 21688 146 303 0 22420 0
[pid=5894/tid=5901] ppid=5892 vsize=576808 CPUtime=0 cores=0,2,4,6
/proc/5894/task/5901/stat : 5901 (python) S 5892 5894 3621 0 -1 4202560 26 1009 0 0 0 0 0 0 20 0 2 0 338279475 590651392 62064 33554432000 4194304 5683644 140736192374512 139764786926128 213423019808 0 0 16781312 33554434 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 24.61
Current children cumulated vsize (KiB) 1168736
[startup+51.1004 s]
/proc/loadavg: 2.05 2.47 2.63 3/200 5903
/proc/meminfo: memFree=23898544/32873844 swapFree=6608/6608
[pid=5894] ppid=5892 vsize=576808 CPUtime=14.88 cores=0,2,4,6
/proc/5894/stat : 5894 (python) S 5892 5894 3621 0 -1 4202496 55129 1009 1 0 1463 25 0 0 20 0 2 0 338277900 590651392 62064 33554432000 4194304 5683644 140736192374512 140736192369344 213423023373 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/5894/statm: 144202 62064 1902 364 0 79425 0
[pid=5900] ppid=5894 vsize=501028 CPUtime=0.05 cores=0,2,4,6
/proc/5900/stat : 5900 (python) S 5894 5894 3621 0 -1 4202560 1000 0 0 0 3 2 0 0 20 0 1 0 338279475 513052672 60524 33554432000 4194304 5683644 140736192374512 140736192365600 213419655592 0 0 16781312 33554946 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/5900/statm: 125257 60524 368 364 0 60480 0
[pid=5902] ppid=5900 vsize=111688 CPUtime=35.32 cores=0,2,4,6
/proc/5902/stat : 5902 (wbo1.4b-fixed) R 5900 5902 5902 0 -1 4202496 35828 0 0 0 3498 34 0 0 20 0 1 0 338279476 114368512 26866 33554432000 134512640 135752315 4289369360 4289367436 135270849 0 0 16781312 3 0 0 0 17 4 0 0 0 0 0
/proc/5902/statm: 27922 26866 146 303 0 27617 0
[pid=5894/tid=5901] ppid=5892 vsize=576808 CPUtime=0 cores=0,2,4,6
/proc/5894/task/5901/stat : 5901 (python) S 5892 5894 3621 0 -1 4202560 26 1009 0 0 0 0 0 0 20 0 2 0 338279475 590651392 62064 33554432000 4194304 5683644 140736192374512 139764786926128 213423019808 0 0 16781312 33554434 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 50.25
Current children cumulated vsize (KiB) 1189524
[startup+102.307 s]
/proc/loadavg: 2.02 2.39 2.60 3/187 5975
/proc/meminfo: memFree=24012388/32873844 swapFree=6608/6608
[pid=5894] ppid=5892 vsize=652600 CPUtime=14.92 cores=0,2,4,6
/proc/5894/stat : 5894 (python) S 5892 5894 3621 0 -1 4202496 55998 1009 1 0 1466 26 0 0 20 0 3 0 338277900 668262400 62073 33554432000 4194304 5683644 140736192374512 140736192369344 213423023373 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/5894/statm: 163150 62073 1905 364 0 98370 0
[pid=5900] ppid=5894 vsize=576808 CPUtime=0.08 cores=0,2,4,6
/proc/5900/stat : 5900 (python) S 5894 5894 3621 0 -1 4202560 1140 0 0 0 5 3 0 0 20 0 2 0 338279475 590651392 60559 33554432000 4194304 5683644 140736192374512 140736192366160 213423023373 0 0 16781312 33554946 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/5900/statm: 144202 60559 396 364 0 79425 0
[pid=5902] ppid=5900 vsize=119008 CPUtime=49.09 cores=0,2,4,6
/proc/5902/stat : 5902 (wbo1.4b-fixed) T 5900 5902 5902 0 -1 4202496 37653 0 0 0 4865 44 0 0 20 0 1 0 338279476 121864192 28691 33554432000 134512640 135752315 4289369360 4289366880 134639028 0 0 16781312 3 18446744071579387992 0 0 17 4 0 0 0 0 0
/proc/5902/statm: 29752 28691 146 303 0 29447 0
[pid=5900/tid=5904] ppid=5894 vsize=576808 CPUtime=0 cores=0,2,4,6
/proc/5900/task/5904/stat : 5904 (python) S 5894 5894 3621 0 -1 4202560 42 0 0 0 0 0 0 0 20 0 2 0 338284388 590651392 60559 33554432000 4194304 5683644 140736192374512 139764786926128 213423019808 0 0 16781312 33554946 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5905] ppid=5894 vsize=576820 CPUtime=0.06 cores=0,2,4,6
/proc/5905/stat : 5905 (python) S 5894 5894 3621 0 -1 4202560 910 0 0 0 3 3 0 0 20 0 1 0 338284390 590663680 60520 33554432000 4194304 5683644 140736192374512 140736192365600 213419655651 0 0 16781312 33554946 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/5905/statm: 144205 60520 358 364 0 79425 0
[pid=5907] ppid=5905 vsize=2956060 CPUtime=37.38 cores=0,2,4,6
/proc/5907/stat : 5907 (pbct-0.1.2-linu) R 5905 5907 5907 0 -1 4202496 678512 0 0 0 3617 121 0 0 20 0 1 0 338284390 3027005440 713366 33554432000 134512640 136422188 4293516032 4293513756 135874785 0 0 16781312 16387 0 0 0 17 4 0 0 0 0 0
/proc/5907/statm: 739015 713366 215 467 0 738546 0
[pid=5894/tid=5901] ppid=5892 vsize=652600 CPUtime=0 cores=0,2,4,6
/proc/5894/task/5901/stat : 5901 (python) S 5892 5894 3621 0 -1 4202560 26 1009 0 0 0 0 0 0 20 0 3 0 338279475 668262400 62073 33554432000 4194304 5683644 140736192374512 139764786926128 213423019808 0 0 16781312 33554434 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5894/tid=5906] ppid=5892 vsize=652600 CPUtime=0 cores=0,2,4,6
/proc/5894/task/5906/stat : 5906 (python) S 5892 5894 3621 0 -1 4202560 22 1009 0 0 0 0 0 0 20 0 3 0 338284390 668262400 62073 33554432000 4194304 5683644 140736192374512 139764776436272 213423019808 0 0 16781312 33554434 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 101.53
Current children cumulated vsize (KiB) 4881296
[startup+162.301 s]
/proc/loadavg: 2.01 2.32 2.56 3/195 5984
/proc/meminfo: memFree=23893180/32873844 swapFree=6608/6608
[pid=5894] ppid=5892 vsize=728392 CPUtime=14.94 cores=0,2,4,6
/proc/5894/stat : 5894 (python) S 5892 5894 3621 0 -1 4202496 56899 1009 1 0 1468 26 0 0 20 0 4 0 338277900 745873408 62081 33554432000 4194304 5683644 140736192374512 140736192369344 213423023373 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/5894/statm: 182098 62081 1907 364 0 117315 0
[pid=5900] ppid=5894 vsize=576808 CPUtime=0.08 cores=0,2,4,6
/proc/5900/stat : 5900 (python) S 5894 5894 3621 0 -1 4202560 1140 0 0 0 5 3 0 0 20 0 2 0 338279475 590651392 60559 33554432000 4194304 5683644 140736192374512 140736192366160 213423023373 0 0 16781312 33554946 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/5900/statm: 144202 60559 396 364 0 79425 0
[pid=5902] ppid=5900 vsize=119008 CPUtime=49.09 cores=0,2,4,6
/proc/5902/stat : 5902 (wbo1.4b-fixed) T 5900 5902 5902 0 -1 4202496 37653 0 0 0 4865 44 0 0 20 0 1 0 338279476 121864192 28691 33554432000 134512640 135752315 4289369360 4289366880 134639028 0 0 16781312 3 18446744071579387992 0 0 17 4 0 0 0 0 0
/proc/5902/statm: 29752 28691 146 303 0 29447 0
[pid=5900/tid=5904] ppid=5894 vsize=576808 CPUtime=0 cores=0,2,4,6
/proc/5900/task/5904/stat : 5904 (python) S 5894 5894 3621 0 -1 4202560 42 0 0 0 0 0 0 0 20 0 2 0 338284388 590651392 60559 33554432000 4194304 5683644 140736192374512 139764786926128 213423019808 0 0 16781312 33554946 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5905] ppid=5894 vsize=576820 CPUtime=0.08 cores=0,2,4,6
/proc/5905/stat : 5905 (python) S 5894 5894 3621 0 -1 4202560 1070 0 0 0 4 4 0 0 20 0 2 0 338284390 590663680 60546 33554432000 4194304 5683644 140736192374512 140736192366160 213423023373 0 0 16781312 33554946 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/5905/statm: 144205 60546 383 364 0 79425 0
[pid=5907] ppid=5905 vsize=2961176 CPUtime=47.95 cores=0,2,4,6
/proc/5907/stat : 5907 (pbct-0.1.2-linu) T 5905 5907 5907 0 -1 4202496 679853 0 0 0 4669 126 0 0 20 0 1 0 338284390 3032244224 714450 33554432000 134512640 136422188 4293516032 4293513648 134862160 0 0 16781312 16387 18446744071579387992 0 0 17 4 0 0 0 0 0
/proc/5907/statm: 740294 714450 215 467 0 739825 0
[pid=5905/tid=5976] ppid=5894 vsize=576820 CPUtime=0 cores=0,2,4,6
/proc/5905/task/5976/stat : 5976 (python) S 5894 5894 3621 0 -1 4202560 47 0 0 0 0 0 0 0 20 0 2 0 338289187 590663680 60546 33554432000 4194304 5683644 140736192374512 139764786926128 213423019808 0 0 16781312 33554946 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5977] ppid=5894 vsize=652612 CPUtime=0.07 cores=0,2,4,6
/proc/5977/stat : 5977 (python) S 5894 5894 3621 0 -1 4202560 939 0 0 0 4 3 0 0 20 0 1 0 338289190 668274688 60526 33554432000 4194304 5683644 140736192374512 140736192365600 213419655651 0 0 16781312 33554946 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/5977/statm: 163153 60526 358 364 0 98370 0
[pid=5979] ppid=5977 vsize=106080 CPUtime=49.37 cores=0,2,4,6
/proc/5979/stat : 5979 (wbo1.4a) R 5977 5979 5979 0 -1 4202496 34190 0 0 0 4893 44 0 0 20 0 1 0 338289190 108625920 25226 33554432000 134512640 135751879 4287047760 4287046012 135270609 0 0 16781312 3 0 0 0 17 4 0 0 0 0 0
/proc/5979/statm: 26520 25226 143 303 0 26215 0
[pid=5894/tid=5901] ppid=5892 vsize=728392 CPUtime=0 cores=0,2,4,6
/proc/5894/task/5901/stat : 5901 (python) S 5892 5894 3621 0 -1 4202560 26 1009 0 0 0 0 0 0 20 0 4 0 338279475 745873408 62081 33554432000 4194304 5683644 140736192374512 139764786926128 213423019808 0 0 16781312 33554434 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5894/tid=5906] ppid=5892 vsize=728392 CPUtime=0 cores=0,2,4,6
/proc/5894/task/5906/stat : 5906 (python) S 5892 5894 3621 0 -1 4202560 22 1009 0 0 0 0 0 0 20 0 4 0 338284390 745873408 62081 33554432000 4194304 5683644 140736192374512 139764776436272 213423019808 0 0 16781312 33554434 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5894/tid=5978] ppid=5892 vsize=728392 CPUtime=0 cores=0,2,4,6
/proc/5894/task/5978/stat : 5978 (python) S 5892 5894 3621 0 -1 4202560 21 1009 0 0 0 0 0 0 20 0 4 0 338289190 745873408 62081 33554432000 4194304 5683644 140736192374512 139764765946416 213423019808 0 0 16781312 33554434 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 161.58
Current children cumulated vsize (KiB) 5720896
[startup+222.301 s]
################
# More data... #
################
/proc/5994/task/6001/stat : 6001 (python) S 5894 5894 3621 0 -1 4202560 41 0 0 0 0 0 0 0 20 0 2 0 338304294 823496704 61071 33554432000 4194304 5683644 140736192374512 139764678255152 213423019808 0 0 16781312 33554946 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5894/tid=5901] ppid=5892 vsize=879980 CPUtime=0 cores=0,2,4,6
/proc/5894/task/5901/stat : 5901 (python) S 5892 5894 3621 0 -1 4202560 26 1009 0 0 0 0 0 0 20 0 6 0 338279475 901099520 62606 33554432000 4194304 5683644 140736192374512 139764786926128 213423019808 0 0 16781312 33554434 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5894/tid=5906] ppid=5892 vsize=879980 CPUtime=0 cores=0,2,4,6
/proc/5894/task/5906/stat : 5906 (python) S 5892 5894 3621 0 -1 4202560 22 1009 0 0 0 0 0 0 20 0 6 0 338284390 901099520 62606 33554432000 4194304 5683644 140736192374512 139764776436272 213423019808 0 0 16781312 33554434 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5894/tid=5978] ppid=5892 vsize=879980 CPUtime=0 cores=0,2,4,6
/proc/5894/task/5978/stat : 5978 (python) S 5892 5894 3621 0 -1 4202560 21 1009 0 0 0 0 0 0 20 0 6 0 338289190 901099520 62606 33554432000 4194304 5683644 140736192374512 139764765946416 213423019808 0 0 16781312 33554434 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5894/tid=5987] ppid=5892 vsize=879980 CPUtime=0 cores=0,2,4,6
/proc/5894/task/5987/stat : 5987 (python) S 5892 5894 3621 0 -1 4202560 19 1009 0 0 0 0 0 0 20 0 6 0 338294138 901099520 62606 33554432000 4194304 5683644 140736192374512 139764678255152 213423019808 0 0 16781312 33554434 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5894/tid=5995] ppid=5892 vsize=879980 CPUtime=0 cores=0,2,4,6
/proc/5894/task/5995/stat : 5995 (python) S 5892 5894 3621 0 -1 4202560 21 1009 0 0 0 0 0 0 20 0 6 0 338299294 901099520 62606 33554432000 4194304 5683644 140736192374512 139764667765296 213423019808 0 0 16781312 33554434 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 281.7
Current children cumulated vsize (KiB) 11479352
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+323.501 s]
/proc/loadavg: 2.00 2.18 2.46 3/220 6011
/proc/meminfo: memFree=16552512/32873844 swapFree=6608/6608
[pid=5894] ppid=5892 vsize=955768 CPUtime=60.24 cores=0,2,4,6
/proc/5894/stat : 5894 (python) S 5892 5894 3621 0 -1 4202496 59649 1009 1 0 5981 43 0 0 20 0 7 0 338277900 978706432 62613 33554432000 4194304 5683644 140736192374512 140736192369344 213423023373 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/5894/statm: 238942 62613 1913 364 0 174150 0
[pid=5900] ppid=5894 vsize=576808 CPUtime=0.08 cores=0,2,4,6
/proc/5900/stat : 5900 (python) S 5894 5894 3621 0 -1 4202560 1140 0 0 0 5 3 0 0 20 0 2 0 338279475 590651392 60559 33554432000 4194304 5683644 140736192374512 140736192366160 213423023373 0 0 16781312 33554946 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/5900/statm: 144202 60559 396 364 0 79425 0
[pid=5902] ppid=5900 vsize=119008 CPUtime=49.09 cores=0,2,4,6
/proc/5902/stat : 5902 (wbo1.4b-fixed) T 5900 5902 5902 0 -1 4202496 37653 0 0 0 4865 44 0 0 20 0 1 0 338279476 121864192 28691 33554432000 134512640 135752315 4289369360 4289366880 134639028 0 0 16781312 3 18446744071579387992 0 0 17 4 0 0 0 0 0
/proc/5902/statm: 29752 28691 146 303 0 29447 0
[pid=5900/tid=5904] ppid=5894 vsize=576808 CPUtime=0 cores=0,2,4,6
/proc/5900/task/5904/stat : 5904 (python) S 5894 5894 3621 0 -1 4202560 42 0 0 0 0 0 0 0 20 0 2 0 338284388 590651392 60559 33554432000 4194304 5683644 140736192374512 139764786926128 213423019808 0 0 16781312 33554946 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5905] ppid=5894 vsize=576820 CPUtime=0.08 cores=0,2,4,6
/proc/5905/stat : 5905 (python) S 5894 5894 3621 0 -1 4202560 1070 0 0 0 4 4 0 0 20 0 2 0 338284390 590663680 60546 33554432000 4194304 5683644 140736192374512 140736192366160 213423023373 0 0 16781312 33554946 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/5905/statm: 144205 60546 383 364 0 79425 0
[pid=5907] ppid=5905 vsize=2961176 CPUtime=47.95 cores=0,2,4,6
/proc/5907/stat : 5907 (pbct-0.1.2-linu) T 5905 5907 5907 0 -1 4202496 679853 0 0 0 4669 126 0 0 20 0 1 0 338284390 3032244224 714450 33554432000 134512640 136422188 4293516032 4293513648 134862160 0 0 16781312 16387 18446744071579387992 0 0 17 4 0 0 0 0 0
/proc/5907/statm: 740294 714450 215 467 0 739825 0
[pid=5905/tid=5976] ppid=5894 vsize=576820 CPUtime=0 cores=0,2,4,6
/proc/5905/task/5976/stat : 5976 (python) S 5894 5894 3621 0 -1 4202560 47 0 0 0 0 0 0 0 20 0 2 0 338289187 590663680 60546 33554432000 4194304 5683644 140736192374512 139764786926128 213423019808 0 0 16781312 33554946 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5977] ppid=5894 vsize=652612 CPUtime=0.08 cores=0,2,4,6
/proc/5977/stat : 5977 (python) S 5894 5894 3621 0 -1 4202560 1101 0 0 0 4 4 0 0 20 0 2 0 338289190 668274688 60552 33554432000 4194304 5683644 140736192374512 140736192366160 213423023373 0 0 16781312 33554946 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/5977/statm: 163153 60552 383 364 0 98370 0
[pid=5979] ppid=5977 vsize=106212 CPUtime=49.42 cores=0,2,4,6
/proc/5979/stat : 5979 (wbo1.4a) T 5977 5979 5979 0 -1 4202496 34197 0 0 0 4898 44 0 0 20 0 1 0 338289190 108761088 25233 33554432000 134512640 135751879 4287047760 4287045932 134516976 0 0 16781312 3 18446744071579387992 0 0 17 4 0 0 0 0 0
/proc/5979/statm: 26553 25233 143 303 0 26248 0
[pid=5977/tid=5985] ppid=5894 vsize=652612 CPUtime=0 cores=0,2,4,6
/proc/5977/task/5985/stat : 5985 (python) S 5894 5894 3621 0 -1 4202560 46 0 0 0 0 0 0 0 20 0 2 0 338294135 668274688 60552 33554432000 4194304 5683644 140736192374512 139764776436272 213423019808 0 0 16781312 33554946 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5986] ppid=5894 vsize=728404 CPUtime=0.08 cores=0,2,4,6
/proc/5986/stat : 5986 (python) S 5894 5894 3621 0 -1 4202560 1095 0 0 0 5 3 0 0 20 0 2 0 338294138 745885696 60558 33554432000 4194304 5683644 140736192374512 140736192366160 213423023373 0 0 16781312 33554946 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/5986/statm: 182101 60558 383 364 0 117315 0
[pid=5988] ppid=5986 vsize=2039580 CPUtime=51.5 cores=0,2,4,6
/proc/5988/stat : 5988 (scip-2.0.1.linu) T 5986 5988 5988 0 -1 4202496 362635 0 0 0 4941 209 0 0 20 0 1 0 338294138 2088529920 429661 33554432000 4194304 15243407 140734273817168 140734273811880 8116621 0 0 16781312 2 18446744071579387992 0 0 17 2 0 0 0 0 0
/proc/5988/statm: 509895 429661 847 2698 0 507190 0
[pid=5986/tid=5993] ppid=5894 vsize=728404 CPUtime=0 cores=0,2,4,6
/proc/5986/task/5993/stat : 5993 (python) S 5894 5894 3621 0 -1 4202560 47 0 0 0 0 0 0 0 20 0 2 0 338299291 745885696 60558 33554432000 4194304 5683644 140736192374512 139764765946416 213423019808 0 0 16781312 33554946 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5994] ppid=5894 vsize=804196 CPUtime=0.09 cores=0,2,4,6
/proc/5994/stat : 5994 (python) S 5894 5894 3621 0 -1 4202560 1114 0 0 0 5 4 0 0 20 0 2 0 338299293 823496704 61071 33554432000 4194304 5683644 140736192374512 140736192366160 213423023373 0 0 16781312 33554946 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/5994/statm: 201049 61071 383 364 0 136260 0
[pid=5996] ppid=5994 vsize=2034556 CPUtime=49.97 cores=0,2,4,6
/proc/5996/stat : 5996 (scip-2.0.1.linu) T 5994 5996 5996 0 -1 4202496 356925 0 0 0 4779 218 0 0 20 0 1 0 338299294 2083385344 470050 33554432000 4194304 13684479 140734942792304 140734942786456 7268346 0 0 16781312 2 18446744071579387992 0 0 17 4 0 0 0 0 0
/proc/5996/statm: 508639 470050 750 2317 0 506317 0
[pid=5994/tid=6001] ppid=5894 vsize=804196 CPUtime=0 cores=0,2,4,6
/proc/5994/task/6001/stat : 6001 (python) S 5894 5894 3621 0 -1 4202560 41 0 0 0 0 0 0 0 20 0 2 0 338304294 823496704 61071 33554432000 4194304 5683644 140736192374512 139764678255152 213423019808 0 0 16781312 33554946 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6009] ppid=5894 vsize=879988 CPUtime=0.02 cores=0,2,4,6
/proc/6009/stat : 6009 (python) S 5894 5894 3621 0 -1 4202560 939 0 0 0 1 1 0 0 20 0 1 0 338308818 901107712 61052 33554432000 4194304 5683644 140736192374512 140736192365600 213419655651 0 0 16781312 33554946 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/6009/statm: 219997 61052 358 364 0 155205 0
[pid=6011] ppid=6009 vsize=3605580 CPUtime=14.3 cores=0,2,4,6
/proc/6011/stat : 6011 (minion) R 6009 6011 6011 0 -1 4202496 445603 0 0 0 1334 96 0 0 20 0 1 0 338308819 3692113920 892550 33554432000 134512640 165565024 4293786048 4293783280 159737071 0 0 16781312 8396802 0 0 0 17 2 0 0 0 0 0
/proc/6011/statm: 901395 892550 358 7582 0 893810 0
[pid=5894/tid=5901] ppid=5892 vsize=955768 CPUtime=0 cores=0,2,4,6
/proc/5894/task/5901/stat : 5901 (python) S 5892 5894 3621 0 -1 4202560 26 1009 0 0 0 0 0 0 20 0 7 0 338279475 978706432 62613 33554432000 4194304 5683644 140736192374512 139764786926128 213423019808 0 0 16781312 33554434 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5894/tid=5906] ppid=5892 vsize=955768 CPUtime=0 cores=0,2,4,6
/proc/5894/task/5906/stat : 5906 (python) S 5892 5894 3621 0 -1 4202560 22 1009 0 0 0 0 0 0 20 0 7 0 338284390 978706432 62613 33554432000 4194304 5683644 140736192374512 139764776436272 213423019808 0 0 16781312 33554434 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5894/tid=5978] ppid=5892 vsize=955768 CPUtime=0 cores=0,2,4,6
/proc/5894/task/5978/stat : 5978 (python) S 5892 5894 3621 0 -1 4202560 21 1009 0 0 0 0 0 0 20 0 7 0 338289190 978706432 62613 33554432000 4194304 5683644 140736192374512 139764765946416 213423019808 0 0 16781312 33554434 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5894/tid=5987] ppid=5892 vsize=955768 CPUtime=0 cores=0,2,4,6
/proc/5894/task/5987/stat : 5987 (python) S 5892 5894 3621 0 -1 4202560 19 1009 0 0 0 0 0 0 20 0 7 0 338294138 978706432 62613 33554432000 4194304 5683644 140736192374512 139764678255152 213423019808 0 0 16781312 33554434 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5894/tid=5995] ppid=5892 vsize=955768 CPUtime=0 cores=0,2,4,6
/proc/5894/task/5995/stat : 5995 (python) S 5892 5894 3621 0 -1 4202560 21 1009 0 0 0 0 0 0 20 0 7 0 338299294 978706432 62613 33554432000 4194304 5683644 140736192374512 139764667765296 213423019808 0 0 16781312 33554434 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5894/tid=6010] ppid=5892 vsize=955768 CPUtime=0 cores=0,2,4,6
/proc/5894/task/6010/stat : 6010 (python) S 5892 5894 3621 0 -1 4202560 21 1009 0 0 0 0 0 0 20 0 7 0 338308818 978706432 62613 33554432000 4194304 5683644 140736192374512 139764657275440 213423019808 0 0 16781312 33554434 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 322.9
Current children cumulated vsize (KiB) 16040708
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+323.501 s]
/proc/loadavg: 2.00 2.18 2.46 3/220 6011
/proc/meminfo: memFree=16552512/32873844 swapFree=6608/6608
[pid=5894] ppid=5892 vsize=955768 CPUtime=60.24 cores=0,2,4,6
/proc/5894/stat : 5894 (python) S 5892 5894 3621 0 -1 4202496 59649 1009 1 0 5981 43 0 0 20 0 7 0 338277900 978706432 62613 33554432000 4194304 5683644 140736192374512 140736192369344 213423023373 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/5894/statm: 238942 62613 1913 364 0 174150 0
[pid=5900] ppid=5894 vsize=576808 CPUtime=0.08 cores=0,2,4,6
/proc/5900/stat : 5900 (python) S 5894 5894 3621 0 -1 4202560 1140 0 0 0 5 3 0 0 20 0 2 0 338279475 590651392 60559 33554432000 4194304 5683644 140736192374512 140736192366160 213423023373 0 0 16781312 33554946 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/5900/statm: 144202 60559 396 364 0 79425 0
[pid=5902] ppid=5900 vsize=119008 CPUtime=49.09 cores=0,2,4,6
/proc/5902/stat : 5902 (wbo1.4b-fixed) T 5900 5902 5902 0 -1 4202496 37653 0 0 0 4865 44 0 0 20 0 1 0 338279476 121864192 28691 33554432000 134512640 135752315 4289369360 4289366880 134639028 0 0 16781312 3 18446744071579387992 0 0 17 4 0 0 0 0 0
/proc/5902/statm: 29752 28691 146 303 0 29447 0
[pid=5900/tid=5904] ppid=5894 vsize=576808 CPUtime=0 cores=0,2,4,6
/proc/5900/task/5904/stat : 5904 (python) S 5894 5894 3621 0 -1 4202560 42 0 0 0 0 0 0 0 20 0 2 0 338284388 590651392 60559 33554432000 4194304 5683644 140736192374512 139764786926128 213423019808 0 0 16781312 33554946 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5905] ppid=5894 vsize=576820 CPUtime=0.08 cores=0,2,4,6
/proc/5905/stat : 5905 (python) S 5894 5894 3621 0 -1 4202560 1070 0 0 0 4 4 0 0 20 0 2 0 338284390 590663680 60546 33554432000 4194304 5683644 140736192374512 140736192366160 213423023373 0 0 16781312 33554946 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/5905/statm: 144205 60546 383 364 0 79425 0
[pid=5907] ppid=5905 vsize=2961176 CPUtime=47.95 cores=0,2,4,6
/proc/5907/stat : 5907 (pbct-0.1.2-linu) T 5905 5907 5907 0 -1 4202496 679853 0 0 0 4669 126 0 0 20 0 1 0 338284390 3032244224 714450 33554432000 134512640 136422188 4293516032 4293513648 134862160 0 0 16781312 16387 18446744071579387992 0 0 17 4 0 0 0 0 0
/proc/5907/statm: 740294 714450 215 467 0 739825 0
[pid=5905/tid=5976] ppid=5894 vsize=576820 CPUtime=0 cores=0,2,4,6
/proc/5905/task/5976/stat : 5976 (python) S 5894 5894 3621 0 -1 4202560 47 0 0 0 0 0 0 0 20 0 2 0 338289187 590663680 60546 33554432000 4194304 5683644 140736192374512 139764786926128 213423019808 0 0 16781312 33554946 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5977] ppid=5894 vsize=652612 CPUtime=0.08 cores=0,2,4,6
/proc/5977/stat : 5977 (python) S 5894 5894 3621 0 -1 4202560 1101 0 0 0 4 4 0 0 20 0 2 0 338289190 668274688 60552 33554432000 4194304 5683644 140736192374512 140736192366160 213423023373 0 0 16781312 33554946 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/5977/statm: 163153 60552 383 364 0 98370 0
[pid=5979] ppid=5977 vsize=106212 CPUtime=49.42 cores=0,2,4,6
/proc/5979/stat : 5979 (wbo1.4a) T 5977 5979 5979 0 -1 4202496 34197 0 0 0 4898 44 0 0 20 0 1 0 338289190 108761088 25233 33554432000 134512640 135751879 4287047760 4287045932 134516976 0 0 16781312 3 18446744071579387992 0 0 17 4 0 0 0 0 0
/proc/5979/statm: 26553 25233 143 303 0 26248 0
[pid=5977/tid=5985] ppid=5894 vsize=652612 CPUtime=0 cores=0,2,4,6
/proc/5977/task/5985/stat : 5985 (python) S 5894 5894 3621 0 -1 4202560 46 0 0 0 0 0 0 0 20 0 2 0 338294135 668274688 60552 33554432000 4194304 5683644 140736192374512 139764776436272 213423019808 0 0 16781312 33554946 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5986] ppid=5894 vsize=728404 CPUtime=0.08 cores=0,2,4,6
/proc/5986/stat : 5986 (python) S 5894 5894 3621 0 -1 4202560 1095 0 0 0 5 3 0 0 20 0 2 0 338294138 745885696 60558 33554432000 4194304 5683644 140736192374512 140736192366160 213423023373 0 0 16781312 33554946 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/5986/statm: 182101 60558 383 364 0 117315 0
[pid=5988] ppid=5986 vsize=2039580 CPUtime=51.5 cores=0,2,4,6
/proc/5988/stat : 5988 (scip-2.0.1.linu) T 5986 5988 5988 0 -1 4202496 362635 0 0 0 4941 209 0 0 20 0 1 0 338294138 2088529920 429661 33554432000 4194304 15243407 140734273817168 140734273811880 8116621 0 0 16781312 2 18446744071579387992 0 0 17 2 0 0 0 0 0
/proc/5988/statm: 509895 429661 847 2698 0 507190 0
[pid=5986/tid=5993] ppid=5894 vsize=728404 CPUtime=0 cores=0,2,4,6
/proc/5986/task/5993/stat : 5993 (python) S 5894 5894 3621 0 -1 4202560 47 0 0 0 0 0 0 0 20 0 2 0 338299291 745885696 60558 33554432000 4194304 5683644 140736192374512 139764765946416 213423019808 0 0 16781312 33554946 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5994] ppid=5894 vsize=804196 CPUtime=0.09 cores=0,2,4,6
/proc/5994/stat : 5994 (python) S 5894 5894 3621 0 -1 4202560 1114 0 0 0 5 4 0 0 20 0 2 0 338299293 823496704 61071 33554432000 4194304 5683644 140736192374512 140736192366160 213423023373 0 0 16781312 33554946 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/5994/statm: 201049 61071 383 364 0 136260 0
[pid=5996] ppid=5994 vsize=2034556 CPUtime=49.97 cores=0,2,4,6
/proc/5996/stat : 5996 (scip-2.0.1.linu) T 5994 5996 5996 0 -1 4202496 356925 0 0 0 4779 218 0 0 20 0 1 0 338299294 2083385344 470050 33554432000 4194304 13684479 140734942792304 140734942786456 7268346 0 0 16781312 2 18446744071579387992 0 0 17 4 0 0 0 0 0
/proc/5996/statm: 508639 470050 750 2317 0 506317 0
[pid=5994/tid=6001] ppid=5894 vsize=804196 CPUtime=0 cores=0,2,4,6
/proc/5994/task/6001/stat : 6001 (python) S 5894 5894 3621 0 -1 4202560 41 0 0 0 0 0 0 0 20 0 2 0 338304294 823496704 61071 33554432000 4194304 5683644 140736192374512 139764678255152 213423019808 0 0 16781312 33554946 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6009] ppid=5894 vsize=879988 CPUtime=0.02 cores=0,2,4,6
/proc/6009/stat : 6009 (python) S 5894 5894 3621 0 -1 4202560 939 0 0 0 1 1 0 0 20 0 1 0 338308818 901107712 61052 33554432000 4194304 5683644 140736192374512 140736192365600 213419655651 0 0 16781312 33554946 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/6009/statm: 219997 61052 358 364 0 155205 0
[pid=6011] ppid=6009 vsize=3605580 CPUtime=14.3 cores=0,2,4,6
/proc/6011/stat : 6011 (minion) R 6009 6011 6011 0 -1 4202496 445603 0 0 0 1334 96 0 0 20 0 1 0 338308819 3692113920 892550 33554432000 134512640 165565024 4293786048 4293783280 159737071 0 0 16781312 8396802 0 0 0 17 2 0 0 0 0 0
/proc/6011/statm: 901395 892550 358 7582 0 893810 0
[pid=5894/tid=5901] ppid=5892 vsize=955768 CPUtime=0 cores=0,2,4,6
/proc/5894/task/5901/stat : 5901 (python) S 5892 5894 3621 0 -1 4202560 26 1009 0 0 0 0 0 0 20 0 7 0 338279475 978706432 62613 33554432000 4194304 5683644 140736192374512 139764786926128 213423019808 0 0 16781312 33554434 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5894/tid=5906] ppid=5892 vsize=955768 CPUtime=0 cores=0,2,4,6
/proc/5894/task/5906/stat : 5906 (python) S 5892 5894 3621 0 -1 4202560 22 1009 0 0 0 0 0 0 20 0 7 0 338284390 978706432 62613 33554432000 4194304 5683644 140736192374512 139764776436272 213423019808 0 0 16781312 33554434 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5894/tid=5978] ppid=5892 vsize=955768 CPUtime=0 cores=0,2,4,6
/proc/5894/task/5978/stat : 5978 (python) S 5892 5894 3621 0 -1 4202560 21 1009 0 0 0 0 0 0 20 0 7 0 338289190 978706432 62613 33554432000 4194304 5683644 140736192374512 139764765946416 213423019808 0 0 16781312 33554434 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5894/tid=5987] ppid=5892 vsize=955768 CPUtime=0 cores=0,2,4,6
/proc/5894/task/5987/stat : 5987 (python) S 5892 5894 3621 0 -1 4202560 19 1009 0 0 0 0 0 0 20 0 7 0 338294138 978706432 62613 33554432000 4194304 5683644 140736192374512 139764678255152 213423019808 0 0 16781312 33554434 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5894/tid=5995] ppid=5892 vsize=955768 CPUtime=0 cores=0,2,4,6
/proc/5894/task/5995/stat : 5995 (python) S 5892 5894 3621 0 -1 4202560 21 1009 0 0 0 0 0 0 20 0 7 0 338299294 978706432 62613 33554432000 4194304 5683644 140736192374512 139764667765296 213423019808 0 0 16781312 33554434 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5894/tid=6010] ppid=5892 vsize=955768 CPUtime=0 cores=0,2,4,6
/proc/5894/task/6010/stat : 6010 (python) S 5892 5894 3621 0 -1 4202560 21 1009 0 0 0 0 0 0 20 0 7 0 338308818 978706432 62613 33554432000 4194304 5683644 140736192374512 139764657275440 213423019808 0 0 16781312 33554434 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 322.9
Current children cumulated vsize (KiB) 16040708
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 5894 and gives
# childrusage.ru_utime.tv_sec=59
# childrusage.ru_utime.tv_usec=814906
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=450931
# CPU time returned by wait4() is 60.2658
# while last known CPU time is 322.9
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 323.552
CPU time (s): 322.9
CPU user time (s): 314.91
CPU system time (s): 7.99
CPU usage (%): 99.7984
Max. virtual memory (cumulated for all children) (KiB): 16040708
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 59.8149
system time used= 0.450931
maximum resident set size= 286064
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 60658
page faults= 1
swaps= 0
block input operations= 0
block output operations= 97384
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2068
involuntary context switches= 86
runsolver used 1.01285 second user time and 2.6056 second system time
The end