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-3739697-1338719163/watcher-3739697-1338719163 -o /tmp/evaluation-result-3739697-1338719163/solver-3739697-1338719163 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.dec.pickle HOME/instance-3739697-1338719163.opb -seed 1105868327 -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.92 2.00 2.01 3/200 5405
/proc/meminfo: memFree=25127268/32873844 swapFree=6608/6608
[pid=5405] ppid=5403 vsize=15276 CPUtime=0 cores=0,2,4,6
/proc/5405/stat : 5405 (python) D 5403 5405 3621 0 -1 4202496 633 0 0 0 0 0 0 0 20 0 1 0 338041310 15642624 527 33554432000 4194304 5683644 140735185933264 140735185919176 213419639696 0 0 16781312 2 18446744072100609316 0 0 17 0 0 0 0 0 0
/proc/5405/statm: 3819 527 312 364 0 261 0
[startup+0.0619949 s]
/proc/loadavg: 1.92 2.00 2.01 3/200 5405
/proc/meminfo: memFree=25127268/32873844 swapFree=6608/6608
[pid=5405] ppid=5403 vsize=16596 CPUtime=0.01 cores=0,2,4,6
/proc/5405/stat : 5405 (python) R 5403 5405 3621 0 -1 4202496 1197 0 0 0 1 0 0 0 20 0 1 0 338041310 16994304 997 33554432000 4194304 5683644 140735185933264 140735185900728 213419638453 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0
/proc/5405/statm: 4149 997 418 364 0 591 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 16596
[startup+0.100276 s]
/proc/loadavg: 1.92 2.00 2.01 3/200 5405
/proc/meminfo: memFree=25127268/32873844 swapFree=6608/6608
[pid=5405] ppid=5403 vsize=19088 CPUtime=0.03 cores=0,2,4,6
/proc/5405/stat : 5405 (python) R 5403 5405 3621 0 -1 4202496 1394 0 0 0 2 1 0 0 20 0 1 0 338041310 19546112 1149 33554432000 4194304 5683644 140735185933264 140735185863768 213419956291 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0
/proc/5405/statm: 4772 1149 430 364 0 696 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 19088
[startup+0.300278 s]
/proc/loadavg: 1.92 2.00 2.01 3/200 5405
/proc/meminfo: memFree=25127268/32873844 swapFree=6608/6608
[pid=5405] ppid=5403 vsize=96920 CPUtime=0.12 cores=0,2,4,6
/proc/5405/stat : 5405 (python) R 5403 5405 3621 0 -1 4202496 3959 1012 1 0 9 3 0 0 20 0 1 0 338041310 99246080 2653 33554432000 4194304 5683644 140735185933264 140735185801624 213410475303 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0
/proc/5405/statm: 24230 2653 823 364 0 1721 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 96920
[startup+0.70022 s]
/proc/loadavg: 1.92 2.00 2.01 3/200 5405
/proc/meminfo: memFree=25127268/32873844 swapFree=6608/6608
[pid=5405] ppid=5403 vsize=138348 CPUtime=0.22 cores=0,2,4,6
/proc/5405/stat : 5405 (python) R 5403 5405 3621 0 -1 4202496 6247 1012 1 0 15 7 0 0 20 0 1 0 338041310 141668352 4084 33554432000 4194304 5683644 140735185933264 140735185837496 213419639696 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0
/proc/5405/statm: 34587 4084 1098 364 0 2953 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 138348
[startup+1.50019 s]
/proc/loadavg: 1.92 2.00 2.01 3/201 5410
/proc/meminfo: memFree=25108776/32873844 swapFree=6608/6608
[pid=5405] ppid=5403 vsize=293316 CPUtime=0.68 cores=0,2,4,6
/proc/5405/stat : 5405 (python) R 5403 5405 3621 0 -1 4202496 12426 1012 1 0 55 13 0 0 20 0 1 0 338041310 300355584 9973 33554432000 4194304 5683644 140735185933264 140735185847336 4539725 0 0 16781312 2 0 0 0 17 0 0 0 1 0 0
/proc/5405/statm: 73329 9973 1811 364 0 8558 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 293316
[startup+3.10031 s]
/proc/loadavg: 1.92 2.00 2.01 3/201 5410
/proc/meminfo: memFree=25075536/32873844 swapFree=6608/6608
[pid=5405] ppid=5403 vsize=382680 CPUtime=2.15 cores=0,2,4,6
/proc/5405/stat : 5405 (python) S 5403 5405 3621 0 -1 4202496 20162 1012 1 0 201 14 0 0 20 0 2 0 338041310 391864320 13532 33554432000 4194304 5683644 140735185933264 140735185928096 213423023373 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 1 0 0
/proc/5405/statm: 95670 13532 1902 364 0 30893 0
Current children cumulated CPU time (s) 2.15
Current children cumulated vsize (KiB) 382680
heavy processes:
[startup+6.30033 s]
/proc/loadavg: 2.01 2.01 2.01 3/204 5413
/proc/meminfo: memFree=25063608/32873844 swapFree=6608/6608
[pid=5405] ppid=5403 vsize=382680 CPUtime=2.15 cores=0,2,4,6
/proc/5405/stat : 5405 (python) S 5403 5405 3621 0 -1 4202496 20162 1012 1 0 201 14 0 0 20 0 2 0 338041310 391864320 13532 33554432000 4194304 5683644 140735185933264 140735185928096 213423023373 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 1 0 0
/proc/5405/statm: 95670 13532 1902 364 0 30893 0
[pid=5411] ppid=5405 vsize=306900 CPUtime=0 cores=0,2,4,6
/proc/5411/stat : 5411 (python) S 5405 5405 3621 0 -1 4202560 887 0 0 0 0 0 0 0 20 0 1 0 338041608 314265600 11986 33554432000 4194304 5683644 140735185933264 140735185924352 213419655592 0 0 16781312 33554946 18446744071580425449 0 0 17 2 0 0 0 0 0
/proc/5411/statm: 76725 11986 362 364 0 11948 0
[pid=5413] ppid=5411 vsize=11864 CPUtime=3.31 cores=0,2,4,6
/proc/5413/stat : 5413 (clasp-1.3.7-x86) R 5411 5413 5413 0 -1 4202496 3749 0 0 0 331 0 0 0 20 0 1 0 338041608 12148736 2696 33554432000 134512640 136139019 4287102160 4287100884 135529895 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0
/proc/5413/statm: 2966 2696 183 398 0 2566 0
[pid=5405/tid=5412] ppid=5403 vsize=382680 CPUtime=0 cores=0,2,4,6
/proc/5405/task/5412/stat : 5412 (python) S 5403 5405 3621 0 -1 4202560 27 1012 0 0 0 0 0 0 20 0 2 0 338041608 391864320 13532 33554432000 4194304 5683644 140735185933264 140353613886000 213423019808 0 0 16781312 33554434 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 5.46
Current children cumulated vsize (KiB) 701444
[startup+12.7004 s]
/proc/loadavg: 2.01 2.01 2.01 3/204 5413
/proc/meminfo: memFree=24980532/32873844 swapFree=6608/6608
[pid=5405] ppid=5403 vsize=382680 CPUtime=2.15 cores=0,2,4,6
/proc/5405/stat : 5405 (python) S 5403 5405 3621 0 -1 4202496 20162 1012 1 0 201 14 0 0 20 0 2 0 338041310 391864320 13532 33554432000 4194304 5683644 140735185933264 140735185928096 213423023373 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 1 0 0
/proc/5405/statm: 95670 13532 1902 364 0 30893 0
[pid=5411] ppid=5405 vsize=306900 CPUtime=0 cores=0,2,4,6
/proc/5411/stat : 5411 (python) S 5405 5405 3621 0 -1 4202560 893 0 0 0 0 0 0 0 20 0 1 0 338041608 314265600 11987 33554432000 4194304 5683644 140735185933264 140735185924352 213419655592 0 0 16781312 33554946 18446744071580425449 0 0 17 2 0 0 0 0 0
/proc/5411/statm: 76725 11987 363 364 0 11948 0
[pid=5413] ppid=5411 vsize=17416 CPUtime=9.7 cores=0,2,4,6
/proc/5413/stat : 5413 (clasp-1.3.7-x86) R 5411 5413 5413 0 -1 4202496 5135 0 0 0 970 0 0 0 20 0 1 0 338041608 17833984 4082 33554432000 134512640 136139019 4287102160 4287101136 134883415 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0
/proc/5413/statm: 4354 4082 183 398 0 3954 0
[pid=5405/tid=5412] ppid=5403 vsize=382680 CPUtime=0 cores=0,2,4,6
/proc/5405/task/5412/stat : 5412 (python) S 5403 5405 3621 0 -1 4202560 27 1012 0 0 0 0 0 0 20 0 2 0 338041608 391864320 13532 33554432000 4194304 5683644 140735185933264 140353613886000 213423019808 0 0 16781312 33554434 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 11.85
Current children cumulated vsize (KiB) 706996
[startup+25.5003 s]
/proc/loadavg: 2.00 2.01 2.01 3/204 5413
/proc/meminfo: memFree=24972860/32873844 swapFree=6608/6608
[pid=5405] ppid=5403 vsize=382680 CPUtime=2.15 cores=0,2,4,6
/proc/5405/stat : 5405 (python) S 5403 5405 3621 0 -1 4202496 20162 1012 1 0 201 14 0 0 20 0 2 0 338041310 391864320 13532 33554432000 4194304 5683644 140735185933264 140735185928096 213423023373 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 1 0 0
/proc/5405/statm: 95670 13532 1902 364 0 30893 0
[pid=5411] ppid=5405 vsize=306900 CPUtime=0.02 cores=0,2,4,6
/proc/5411/stat : 5411 (python) S 5405 5405 3621 0 -1 4202560 901 0 0 0 1 1 0 0 20 0 1 0 338041608 314265600 11987 33554432000 4194304 5683644 140735185933264 140735185924352 213419655592 0 0 16781312 33554946 18446744071580425449 0 0 17 2 0 0 0 0 0
/proc/5411/statm: 76725 11987 363 364 0 11948 0
[pid=5413] ppid=5411 vsize=19868 CPUtime=22.51 cores=0,2,4,6
/proc/5413/stat : 5413 (clasp-1.3.7-x86) R 5411 5413 5413 0 -1 4202496 5751 0 0 0 2250 1 0 0 20 0 1 0 338041608 20344832 4698 33554432000 134512640 136139019 4287102160 4287100752 134622139 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0
/proc/5413/statm: 4967 4698 183 398 0 4567 0
[pid=5405/tid=5412] ppid=5403 vsize=382680 CPUtime=0 cores=0,2,4,6
/proc/5405/task/5412/stat : 5412 (python) S 5403 5405 3621 0 -1 4202560 27 1012 0 0 0 0 0 0 20 0 2 0 338041608 391864320 13532 33554432000 4194304 5683644 140735185933264 140353613886000 213423019808 0 0 16781312 33554434 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 24.68
Current children cumulated vsize (KiB) 709448
[startup+51.107 s]
/proc/loadavg: 2.00 2.01 2.01 3/205 5415
/proc/meminfo: memFree=24957104/32873844 swapFree=6608/6608
[pid=5405] ppid=5403 vsize=382684 CPUtime=3.15 cores=0,2,4,6
/proc/5405/stat : 5405 (python) R 5403 5405 3621 0 -1 4202496 20840 1012 1 0 301 14 0 0 20 0 2 0 338041310 391868416 13534 33554432000 4194304 5683644 140735185933264 140735185927584 4509260 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 1 0 0
/proc/5405/statm: 95671 13534 1903 364 0 30894 0
[pid=5411] ppid=5405 vsize=382680 CPUtime=0.06 cores=0,2,4,6
/proc/5411/stat : 5411 (python) S 5405 5405 3621 0 -1 4202560 1141 0 0 0 4 2 0 0 20 0 2 0 338041608 391864320 12027 33554432000 4194304 5683644 140735185933264 140735185924912 213423023373 0 0 16781312 33554946 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5411/statm: 95670 12027 396 364 0 30893 0
[pid=5413] ppid=5411 vsize=29696 CPUtime=47.08 cores=0,2,4,6
/proc/5413/stat : 5413 (clasp-1.3.7-x86) T 5411 5413 5413 0 -1 4202496 8192 0 0 0 4707 1 0 0 20 0 1 0 338041608 30408704 7139 33554432000 134512640 136139019 4287102160 4287101136 134883040 0 0 16781312 16386 18446744071579387992 0 0 17 0 0 0 0 0 0
/proc/5413/statm: 7424 7139 183 398 0 7024 0
[pid=5411/tid=5415] ppid=5405 vsize=382680 CPUtime=0 cores=0,2,4,6
/proc/5411/task/5415/stat : 5415 (python) S 5405 5405 3621 0 -1 4202560 43 0 0 0 0 0 0 0 20 0 2 0 338046321 391864320 12027 33554432000 4194304 5683644 140735185933264 140353613886000 213423019808 0 0 16781312 33554946 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5405/tid=5412] ppid=5403 vsize=382684 CPUtime=0 cores=0,2,4,6
/proc/5405/task/5412/stat : 5412 (python) S 5403 5405 3621 0 -1 4202560 27 1012 0 0 0 0 0 0 20 0 2 0 338041608 391868416 13534 33554432000 4194304 5683644 140735185933264 140353613886000 213423019808 0 0 16781312 33554434 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 50.29
Current children cumulated vsize (KiB) 795060
[startup+102.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/208 5418
/proc/meminfo: memFree=24842696/32873844 swapFree=6608/6608
[pid=5405] ppid=5403 vsize=458472 CPUtime=7.6 cores=0,2,4,6
/proc/5405/stat : 5405 (python) S 5403 5405 3621 0 -1 4202496 21164 1012 1 0 744 16 0 0 20 0 3 0 338041310 469475328 13541 33554432000 4194304 5683644 140735185933264 140735185928096 213423023373 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 1 0 0
/proc/5405/statm: 114618 13541 1905 364 0 49838 0
[pid=5411] ppid=5405 vsize=382680 CPUtime=0.06 cores=0,2,4,6
/proc/5411/stat : 5411 (python) S 5405 5405 3621 0 -1 4202560 1141 0 0 0 4 2 0 0 20 0 2 0 338041608 391864320 12027 33554432000 4194304 5683644 140735185933264 140735185924912 213423023373 0 0 16781312 33554946 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5411/statm: 95670 12027 396 364 0 30893 0
[pid=5413] ppid=5411 vsize=29696 CPUtime=47.08 cores=0,2,4,6
/proc/5413/stat : 5413 (clasp-1.3.7-x86) T 5411 5413 5413 0 -1 4202496 8192 0 0 0 4707 1 0 0 20 0 1 0 338041608 30408704 7139 33554432000 134512640 136139019 4287102160 4287101136 134883040 0 0 16781312 16386 18446744071579387992 0 0 17 0 0 0 0 0 0
/proc/5413/statm: 7424 7139 183 398 0 7024 0
[pid=5411/tid=5415] ppid=5405 vsize=382680 CPUtime=0 cores=0,2,4,6
/proc/5411/task/5415/stat : 5415 (python) S 5405 5405 3621 0 -1 4202560 43 0 0 0 0 0 0 0 20 0 2 0 338046321 391864320 12027 33554432000 4194304 5683644 140735185933264 140353613886000 213423019808 0 0 16781312 33554946 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5416] ppid=5405 vsize=382692 CPUtime=0.07 cores=0,2,4,6
/proc/5416/stat : 5416 (python) S 5405 5405 3621 0 -1 4202560 917 0 0 0 4 3 0 0 20 0 1 0 338046867 391876608 11988 33554432000 4194304 5683644 140735185933264 140735185924352 213419655651 0 0 16781312 33554946 18446744071580425449 0 0 17 2 0 0 0 0 0
/proc/5416/statm: 95673 11988 358 364 0 30893 0
[pid=5418] ppid=5416 vsize=136472 CPUtime=46.71 cores=0,2,4,6
/proc/5418/stat : 5418 (minion) R 5416 5418 5418 0 -1 4202496 24234 0 0 0 4667 4 0 0 20 0 1 0 338046867 139747328 26622 33554432000 134512640 165565024 4287555920 4287553168 159737071 0 0 16781312 8396802 0 0 0 17 0 0 0 0 0 0
/proc/5418/statm: 34118 26622 345 7582 0 26533 0
[pid=5405/tid=5412] ppid=5403 vsize=458472 CPUtime=0 cores=0,2,4,6
/proc/5405/task/5412/stat : 5412 (python) S 5403 5405 3621 0 -1 4202560 27 1012 0 0 0 0 0 0 20 0 3 0 338041608 469475328 13541 33554432000 4194304 5683644 140735185933264 140353613886000 213423019808 0 0 16781312 33554434 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5405/tid=5417] ppid=5403 vsize=458472 CPUtime=0 cores=0,2,4,6
/proc/5405/task/5417/stat : 5417 (python) S 5403 5405 3621 0 -1 4202560 22 1012 0 0 0 0 0 0 20 0 3 0 338046867 469475328 13541 33554432000 4194304 5683644 140735185933264 140353592156720 213423019808 0 0 16781312 33554434 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 101.52
Current children cumulated vsize (KiB) 1390012
[startup+162.301 s]
/proc/loadavg: 2.03 2.02 2.00 3/216 5426
/proc/meminfo: memFree=24024064/32873844 swapFree=6608/6608
[pid=5405] ppid=5403 vsize=610056 CPUtime=7.66 cores=0,2,4,6
/proc/5405/stat : 5405 (python) S 5403 5405 3621 0 -1 4202496 22984 1012 1 0 749 17 0 0 20 0 5 0 338041310 624697344 13557 33554432000 4194304 5683644 140735185933264 140735185928096 213423023373 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 1 0 0
/proc/5405/statm: 152514 13557 1909 364 0 87728 0
[pid=5411] ppid=5405 vsize=382680 CPUtime=0.06 cores=0,2,4,6
/proc/5411/stat : 5411 (python) S 5405 5405 3621 0 -1 4202560 1141 0 0 0 4 2 0 0 20 0 2 0 338041608 391864320 12027 33554432000 4194304 5683644 140735185933264 140735185924912 213423023373 0 0 16781312 33554946 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5411/statm: 95670 12027 396 364 0 30893 0
[pid=5413] ppid=5411 vsize=29696 CPUtime=47.08 cores=0,2,4,6
/proc/5413/stat : 5413 (clasp-1.3.7-x86) T 5411 5413 5413 0 -1 4202496 8192 0 0 0 4707 1 0 0 20 0 1 0 338041608 30408704 7139 33554432000 134512640 136139019 4287102160 4287101136 134883040 0 0 16781312 16386 18446744071579387992 0 0 17 0 0 0 0 0 0
/proc/5413/statm: 7424 7139 183 398 0 7024 0
[pid=5411/tid=5415] ppid=5405 vsize=382680 CPUtime=0 cores=0,2,4,6
/proc/5411/task/5415/stat : 5415 (python) S 5405 5405 3621 0 -1 4202560 43 0 0 0 0 0 0 0 20 0 2 0 338046321 391864320 12027 33554432000 4194304 5683644 140735185933264 140353613886000 213423019808 0 0 16781312 33554946 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5416] ppid=5405 vsize=382692 CPUtime=0.07 cores=0,2,4,6
/proc/5416/stat : 5416 (python) S 5405 5405 3621 0 -1 4202560 1074 0 0 0 4 3 0 0 20 0 2 0 338046867 391876608 12014 33554432000 4194304 5683644 140735185933264 140735185924912 213423023373 0 0 16781312 33554946 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5416/statm: 95673 12014 383 364 0 30893 0
[pid=5418] ppid=5416 vsize=136472 CPUtime=47.79 cores=0,2,4,6
/proc/5418/stat : 5418 (minion) T 5416 5418 5418 0 -1 4202496 24234 0 0 0 4775 4 0 0 20 0 1 0 338046867 139747328 26622 33554432000 134512640 165565024 4287555920 4287553088 134641473 0 0 16781312 8396802 18446744071579387992 0 0 17 0 0 0 0 0 0
/proc/5418/statm: 34118 26622 345 7582 0 26533 0
################
# More data... #
################
[pid=5626/tid=5638] ppid=5624 vsize=9558408 CPUtime=0 cores=0,2,4,6
/proc/5626/task/5638/stat : 5638 (java) S 5624 5626 5626 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 338203795 9787809792 41727 33554432000 1073741824 1073778376 140736048542176 140460392691464 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5626/tid=5639] ppid=5624 vsize=9558408 CPUtime=0 cores=0,2,4,6
/proc/5626/task/5639/stat : 5639 (java) S 5624 5626 5626 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 338203797 9787809792 41727 33554432000 1073741824 1073778376 140736048542176 140460391639952 213423019808 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5626/tid=5640] ppid=5624 vsize=9558408 CPUtime=0.23 cores=0,2,4,6
/proc/5626/task/5640/stat : 5640 (java) S 5624 5626 5626 0 -1 4202560 2494 0 0 0 23 0 0 0 20 0 18 0 338203797 9787809792 41727 33554432000 1073741824 1073778376 140736048542176 140460390586552 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5626/tid=5641] ppid=5624 vsize=9558408 CPUtime=0.25 cores=0,2,4,6
/proc/5626/task/5641/stat : 5641 (java) R 5624 5626 5626 0 -1 4202560 3041 0 0 0 25 0 0 0 20 0 18 0 338203797 9787809792 41727 33554432000 1073741824 1073778376 140736048542176 140460389533752 140461047294634 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=5626/tid=5642] ppid=5624 vsize=9558408 CPUtime=0 cores=0,2,4,6
/proc/5626/task/5642/stat : 5642 (java) S 5624 5626 5626 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 338203797 9787809792 41727 33554432000 1073741824 1073778376 140736048542176 140460388481656 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5626/tid=5643] ppid=5624 vsize=9558408 CPUtime=0 cores=0,2,4,6
/proc/5626/task/5643/stat : 5643 (java) S 5624 5626 5626 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 338203797 9787809792 41727 33554432000 1073741824 1073778376 140736048542176 140460387429064 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5405/tid=5412] ppid=5403 vsize=913224 CPUtime=0 cores=0,2,4,6
/proc/5405/task/5412/stat : 5412 (python) S 5403 5405 3621 0 -1 4202560 35 1012 0 0 0 0 0 0 20 0 9 0 338041608 935141376 14097 33554432000 4194304 5683644 140735185933264 140353613886000 213423019808 0 0 16781312 33554434 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5405/tid=5417] ppid=5403 vsize=913224 CPUtime=0 cores=0,2,4,6
/proc/5405/task/5417/stat : 5417 (python) S 5403 5405 3621 0 -1 4202560 22 1012 0 0 0 0 0 0 20 0 9 0 338046867 935141376 14097 33554432000 4194304 5683644 140735185933264 140353592156720 213423019808 0 0 16781312 33554434 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5405/tid=5421] ppid=5403 vsize=913224 CPUtime=0 cores=0,2,4,6
/proc/5405/task/5421/stat : 5421 (python) S 5403 5405 3621 0 -1 4202560 30 1012 0 0 0 0 0 0 20 0 9 0 338051651 935141376 14097 33554432000 4194304 5683644 140735185933264 140353581666864 213423019808 0 0 16781312 33554434 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5405/tid=5425] ppid=5403 vsize=913224 CPUtime=0 cores=0,2,4,6
/proc/5405/task/5425/stat : 5425 (python) S 5403 5405 3621 0 -1 4202560 25 1012 0 0 0 0 0 0 20 0 9 0 338056641 935141376 14097 33554432000 4194304 5683644 140735185933264 140353571177008 213423019808 0 0 16781312 33554434 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5405/tid=5429] ppid=5403 vsize=913224 CPUtime=0 cores=0,2,4,6
/proc/5405/task/5429/stat : 5429 (python) S 5403 5405 3621 0 -1 4202560 19 1012 0 0 0 0 0 0 20 0 9 0 338061627 935141376 14097 33554432000 4194304 5683644 140735185933264 140353357210160 213423019808 0 0 16781312 33554434 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5405/tid=5436] ppid=5403 vsize=913224 CPUtime=0 cores=0,2,4,6
/proc/5405/task/5436/stat : 5436 (python) S 5403 5405 3621 0 -1 4202560 22 1012 0 0 0 0 0 0 20 0 9 0 338071008 935141376 14097 33554432000 4194304 5683644 140735185933264 140353346720304 213423019808 0 0 16781312 33554434 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5405/tid=5520] ppid=5403 vsize=913224 CPUtime=0 cores=0,2,4,6
/proc/5405/task/5520/stat : 5520 (python) S 5403 5405 3621 0 -1 4202560 22 1012 0 0 0 0 0 0 20 0 9 0 338144392 935141376 14097 33554432000 4194304 5683644 140735185933264 140353336230448 213423019808 0 0 16781312 33554434 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5405/tid=5625] ppid=5403 vsize=913224 CPUtime=0 cores=0,2,4,6
/proc/5405/task/5625/stat : 5625 (python) S 5403 5405 3621 0 -1 4202560 22 1012 0 0 0 0 0 0 20 0 9 0 338203792 935141376 14097 33554432000 4194304 5683644 140735185933264 140353325740592 213423019808 0 0 16781312 33554434 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1627.55
Current children cumulated vsize (KiB) 16887236
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1625.6 s]
/proc/loadavg: 2.28 2.85 2.55 5/228 5643
/proc/meminfo: memFree=24808244/32873844 swapFree=6608/6608
[pid=5405] ppid=5403 vsize=913224 CPUtime=7.87 cores=0,2,4,6
/proc/5405/stat : 5405 (python) S 5403 5405 3621 0 -1 4202496 26905 1012 1 0 769 18 0 0 20 0 9 0 338041310 935141376 14097 33554432000 4194304 5683644 140735185933264 140735185928096 213423023373 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 1 0 0
/proc/5405/statm: 228306 14097 1917 364 0 163508 0
[pid=5411] ppid=5405 vsize=382680 CPUtime=0.39 cores=0,2,4,6
/proc/5411/stat : 5411 (python) S 5405 5405 3621 0 -1 4202560 1204 0 0 0 23 16 0 0 20 0 2 0 338041608 391864320 12028 33554432000 4194304 5683644 140735185933264 140735185924912 213423023373 0 0 16781312 33554946 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5411/statm: 95670 12028 397 364 0 30893 0
[pid=5413] ppid=5411 vsize=48468 CPUtime=229.54 cores=0,2,4,6
/proc/5413/stat : 5413 (clasp-1.3.7-x86) T 5411 5413 5413 0 -1 4202496 12860 0 0 0 22951 3 0 0 20 0 1 0 338041608 49631232 11851 33554432000 134512640 136139019 4287102160 4287101136 134883415 0 0 16781312 16386 18446744071579387992 0 0 17 0 0 0 0 0 0
/proc/5413/statm: 12117 11851 183 398 0 11717 0
[pid=5411/tid=5415] ppid=5405 vsize=382680 CPUtime=0 cores=0,2,4,6
/proc/5411/task/5415/stat : 5415 (python) S 5405 5405 3621 0 -1 4202560 43 0 0 0 0 0 0 0 20 0 2 0 338046321 391864320 12028 33554432000 4194304 5683644 140735185933264 140353613886000 213423019808 0 0 16781312 33554946 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5416] ppid=5405 vsize=382692 CPUtime=0.07 cores=0,2,4,6
/proc/5416/stat : 5416 (python) S 5405 5405 3621 0 -1 4202560 1074 0 0 0 4 3 0 0 20 0 2 0 338046867 391876608 12014 33554432000 4194304 5683644 140735185933264 140735185924912 213423023373 0 0 16781312 33554946 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5416/statm: 95673 12014 383 364 0 30893 0
[pid=5418] ppid=5416 vsize=136472 CPUtime=47.79 cores=0,2,4,6
/proc/5418/stat : 5418 (minion) T 5416 5418 5418 0 -1 4202496 24234 0 0 0 4775 4 0 0 20 0 1 0 338046867 139747328 26718 33554432000 134512640 165565024 4287555920 4287553088 134641473 0 0 16781312 8396802 18446744071579387992 0 0 17 0 0 0 0 0 0
/proc/5418/statm: 34118 26718 345 7582 0 26533 0
[pid=5416/tid=5419] ppid=5405 vsize=382692 CPUtime=0 cores=0,2,4,6
/proc/5416/task/5419/stat : 5419 (python) S 5405 5405 3621 0 -1 4202560 47 0 0 0 0 0 0 0 20 0 2 0 338051648 391876608 12014 33554432000 4194304 5683644 140735185933264 140353613886000 213423019808 0 0 16781312 33554946 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5420] ppid=5405 vsize=458484 CPUtime=1.87 cores=0,2,4,6
/proc/5420/stat : 5420 (python) S 5405 5405 3621 0 -1 4202560 1185 0 0 0 103 84 0 0 20 0 2 0 338051651 469487616 12020 33554432000 4194304 5683644 140735185933264 140735185924912 213423023373 0 0 16781312 33554946 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5420/statm: 114621 12020 383 364 0 49838 0
[pid=5422] ppid=5420 vsize=758956 CPUtime=1052.28 cores=0,2,4,6
/proc/5422/stat : 5422 (scip-2.0.1.linu) T 5420 5422 5422 0 -1 4202496 187619 0 0 0 104940 288 0 0 20 0 1 0 338051651 777170944 186703 33554432000 4194304 13684479 140734092641680 140734092635432 7390467 0 0 16781312 2 18446744071579387992 0 0 17 0 0 0 0 0 0
/proc/5422/statm: 189739 186703 804 2317 0 187417 0
[pid=5420/tid=5423] ppid=5405 vsize=458484 CPUtime=0 cores=0,2,4,6
/proc/5420/task/5423/stat : 5423 (python) S 5405 5405 3621 0 -1 4202560 43 0 0 0 0 0 0 0 20 0 2 0 338056639 469487616 12020 33554432000 4194304 5683644 140735185933264 140353592156720 213423019808 0 0 16781312 33554946 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5424] ppid=5405 vsize=534276 CPUtime=0.17 cores=0,2,4,6
/proc/5424/stat : 5424 (python) S 5405 5405 3621 0 -1 4202560 1160 0 0 0 9 8 0 0 20 0 2 0 338056641 547098624 12026 33554432000 4194304 5683644 140735185933264 140735185924912 213423023373 0 0 16781312 33554946 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5424/statm: 133569 12026 383 364 0 68783 0
[pid=5426] ppid=5424 vsize=578332 CPUtime=95.48 cores=0,2,4,6
/proc/5426/stat : 5426 (scip-2.0.1.linu) T 5424 5426 5426 0 -1 4202496 140766 0 0 0 9484 64 0 0 20 0 1 0 338056641 592211968 139831 33554432000 4194304 15243407 140736874899712 140736874896008 5491802 0 0 16781312 2 18446744071579387992 0 0 17 0 0 0 0 0 0
/proc/5426/statm: 144583 139831 707 2698 0 141878 0
[pid=5424/tid=5427] ppid=5405 vsize=534276 CPUtime=0 cores=0,2,4,6
/proc/5424/task/5427/stat : 5427 (python) S 5405 5405 3621 0 -1 4202560 45 0 0 0 0 0 0 0 20 0 2 0 338061624 547098624 12026 33554432000 4194304 5683644 140735185933264 140353581666864 213423019808 0 0 16781312 33554946 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5428] ppid=5405 vsize=610068 CPUtime=0.08 cores=0,2,4,6
/proc/5428/stat : 5428 (python) S 5405 5405 3621 0 -1 4202560 1125 0 0 0 6 2 0 0 20 0 2 0 338061627 624709632 12032 33554432000 4194304 5683644 140735185933264 140735185924912 213423023373 0 0 16781312 33554946 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5428/statm: 152517 12032 383 364 0 87728 0
[pid=5430] ppid=5428 vsize=55492 CPUtime=48.6 cores=0,2,4,6
/proc/5430/stat : 5430 (wbo1.4a) T 5428 5430 5430 0 -1 4202496 14391 0 0 0 4843 17 0 0 20 0 1 0 338061628 56823808 13148 33554432000 134512640 135751879 4292062992 4292061244 135270609 0 0 16781312 3 18446744071579387992 0 0 17 0 0 0 0 0 0
/proc/5430/statm: 13873 13148 143 303 0 13568 0
[pid=5428/tid=5434] ppid=5405 vsize=610068 CPUtime=0 cores=0,2,4,6
/proc/5428/task/5434/stat : 5434 (python) S 5405 5405 3621 0 -1 4202560 47 0 0 0 0 0 0 0 20 0 2 0 338066490 624709632 12032 33554432000 4194304 5683644 140735185933264 140353571177008 213423019808 0 0 16781312 33554946 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5435] ppid=5405 vsize=685860 CPUtime=0.08 cores=0,2,4,6
/proc/5435/stat : 5435 (python) S 5405 5405 3621 0 -1 4202560 1136 0 0 0 5 3 0 0 20 0 2 0 338071008 702320640 12545 33554432000 4194304 5683644 140735185933264 140735185924912 213423023373 0 0 16781312 33554946 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5435/statm: 171465 12545 383 364 0 106673 0
[pid=5437] ppid=5435 vsize=59312 CPUtime=49.45 cores=0,2,4,6
/proc/5437/stat : 5437 (wbo1.4b-fixed) T 5435 5437 5437 0 -1 4202496 15333 0 0 0 4929 16 0 0 20 0 1 0 338071008 60735488 14087 33554432000 134512640 135752315 4294745648 4294743648 134611171 0 0 16781312 3 18446744071579387992 0 0 17 0 0 0 0 0 0
/proc/5437/statm: 14828 14087 146 303 0 14523 0
[pid=5435/tid=5438] ppid=5405 vsize=685860 CPUtime=0 cores=0,2,4,6
/proc/5435/task/5438/stat : 5438 (python) S 5405 5405 3621 0 -1 4202560 44 0 0 0 0 0 0 0 20 0 2 0 338075956 702320640 12545 33554432000 4194304 5683644 140735185933264 140353357210160 213423019808 0 0 16781312 33554946 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5519] ppid=5405 vsize=761652 CPUtime=0.15 cores=0,2,4,6
/proc/5519/stat : 5519 (python) S 5405 5405 3621 0 -1 4202560 1167 0 0 0 9 6 0 0 20 0 2 0 338144391 779931648 12552 33554432000 4194304 5683644 140735185933264 140735185924912 213423023373 0 0 16781312 33554946 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5519/statm: 190413 12552 383 364 0 125618 0
[pid=5521] ppid=5519 vsize=125416 CPUtime=92.41 cores=0,2,4,6
/proc/5521/stat : 5521 (bsolo_pb10) T 5519 5521 5521 0 -1 4202496 31586 0 0 0 9222 19 0 0 20 0 1 0 338144392 128425984 28822 33554432000 134512640 137138936 4287652672 4287650308 136500283 0 0 16781312 16384 18446744071579387992 0 0 17 0 0 0 0 0 0
/proc/5521/statm: 31354 28822 191 642 0 30710 0
[pid=5519/tid=5527] ppid=5405 vsize=761652 CPUtime=0 cores=0,2,4,6
/proc/5519/task/5527/stat : 5527 (python) S 5405 5405 3621 0 -1 4202560 48 0 0 0 0 0 0 0 20 0 2 0 338153637 779931648 12552 33554432000 4194304 5683644 140735185933264 140353346720304 213423019808 0 0 16781312 33554946 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5624] ppid=5405 vsize=837444 CPUtime=0 cores=0,2,4,6
/proc/5624/stat : 5624 (python) S 5405 5405 3621 0 -1 4202560 843 0 0 0 0 0 0 0 20 0 1 0 338203792 857542656 12509 33554432000 4194304 5683644 140735185933264 140735185924352 213419655651 0 0 16781312 33554946 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/5624/statm: 209361 12509 335 364 0 144563 0
[pid=5626] ppid=5624 vsize=9558408 CPUtime=1.32 cores=0,2,4,6
/proc/5626/stat : 5626 (java) S 5624 5626 5626 0 -1 4202496 9545 0 1 0 127 5 0 0 20 0 18 0 338203792 9787809792 41727 33554432000 1073741824 1073778376 140736048542176 140736048533312 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/5626/statm: 2389602 41727 2253 9 0 2380296 0
[pid=5626/tid=5627] ppid=5624 vsize=9558408 CPUtime=0.76 cores=0,2,4,6
/proc/5626/task/5627/stat : 5627 (java) R 5624 5626 5626 0 -1 4202560 2496 0 1 0 72 4 0 0 20 0 18 0 338203793 9787809792 41727 33554432000 1073741824 1073778376 140736048542176 140461041442912 213423023373 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=5626/tid=5628] ppid=5624 vsize=9558408 CPUtime=0 cores=0,2,4,6
/proc/5626/task/5628/stat : 5628 (java) S 5624 5626 5626 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 18 0 338203794 9787809792 41727 33554432000 1073741824 1073778376 140736048542176 140461002943272 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5626/tid=5629] ppid=5624 vsize=9558408 CPUtime=0 cores=0,2,4,6
/proc/5626/task/5629/stat : 5629 (java) S 5624 5626 5626 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 338203794 9787809792 41727 33554432000 1073741824 1073778376 140736048542176 140461001890472 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5626/tid=5630] ppid=5624 vsize=9558408 CPUtime=0 cores=0,2,4,6
/proc/5626/task/5630/stat : 5630 (java) S 5624 5626 5626 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 338203794 9787809792 41727 33554432000 1073741824 1073778376 140736048542176 140460882390056 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5626/tid=5631] ppid=5624 vsize=9558408 CPUtime=0 cores=0,2,4,6
/proc/5626/task/5631/stat : 5631 (java) S 5624 5626 5626 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 18 0 338203794 9787809792 41727 33554432000 1073741824 1073778376 140736048542176 140460881337256 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5626/tid=5632] ppid=5624 vsize=9558408 CPUtime=0 cores=0,2,4,6
/proc/5626/task/5632/stat : 5632 (java) S 5624 5626 5626 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 18 0 338203794 9787809792 41727 33554432000 1073741824 1073778376 140736048542176 140460880283944 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5626/tid=5633] ppid=5624 vsize=9558408 CPUtime=0 cores=0,2,4,6
/proc/5626/task/5633/stat : 5633 (java) S 5624 5626 5626 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 18 0 338203794 9787809792 41727 33554432000 1073741824 1073778376 140736048542176 140460879231144 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5626/tid=5634] ppid=5624 vsize=9558408 CPUtime=0 cores=0,2,4,6
/proc/5626/task/5634/stat : 5634 (java) S 5624 5626 5626 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 338203794 9787809792 41727 33554432000 1073741824 1073778376 140736048542176 140460878178856 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5626/tid=5635] ppid=5624 vsize=9558408 CPUtime=0 cores=0,2,4,6
/proc/5626/task/5635/stat : 5635 (java) S 5624 5626 5626 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 18 0 338203794 9787809792 41727 33554432000 1073741824 1073778376 140736048542176 140460877126056 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5626/tid=5636] ppid=5624 vsize=9558408 CPUtime=0 cores=0,2,4,6
/proc/5626/task/5636/stat : 5636 (java) S 5624 5626 5626 0 -1 4202560 72 0 0 0 0 0 0 0 20 0 18 0 338203795 9787809792 41727 33554432000 1073741824 1073778376 140736048542176 140460394797800 213423011753 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5626/tid=5637] ppid=5624 vsize=9558408 CPUtime=0 cores=0,2,4,6
/proc/5626/task/5637/stat : 5637 (java) S 5624 5626 5626 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 338203795 9787809792 41727 33554432000 1073741824 1073778376 140736048542176 140460393743864 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5626/tid=5638] ppid=5624 vsize=9558408 CPUtime=0 cores=0,2,4,6
/proc/5626/task/5638/stat : 5638 (java) S 5624 5626 5626 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 338203795 9787809792 41727 33554432000 1073741824 1073778376 140736048542176 140460392691464 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5626/tid=5639] ppid=5624 vsize=9558408 CPUtime=0 cores=0,2,4,6
/proc/5626/task/5639/stat : 5639 (java) S 5624 5626 5626 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 338203797 9787809792 41727 33554432000 1073741824 1073778376 140736048542176 140460391639952 213423019808 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5626/tid=5640] ppid=5624 vsize=9558408 CPUtime=0.23 cores=0,2,4,6
/proc/5626/task/5640/stat : 5640 (java) S 5624 5626 5626 0 -1 4202560 2494 0 0 0 23 0 0 0 20 0 18 0 338203797 9787809792 41727 33554432000 1073741824 1073778376 140736048542176 140460390586552 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5626/tid=5641] ppid=5624 vsize=9558408 CPUtime=0.25 cores=0,2,4,6
/proc/5626/task/5641/stat : 5641 (java) R 5624 5626 5626 0 -1 4202560 3041 0 0 0 25 0 0 0 20 0 18 0 338203797 9787809792 41727 33554432000 1073741824 1073778376 140736048542176 140460389533752 140461047294634 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=5626/tid=5642] ppid=5624 vsize=9558408 CPUtime=0 cores=0,2,4,6
/proc/5626/task/5642/stat : 5642 (java) S 5624 5626 5626 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 338203797 9787809792 41727 33554432000 1073741824 1073778376 140736048542176 140460388481656 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5626/tid=5643] ppid=5624 vsize=9558408 CPUtime=0 cores=0,2,4,6
/proc/5626/task/5643/stat : 5643 (java) S 5624 5626 5626 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 338203797 9787809792 41727 33554432000 1073741824 1073778376 140736048542176 140460387429064 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5405/tid=5412] ppid=5403 vsize=913224 CPUtime=0 cores=0,2,4,6
/proc/5405/task/5412/stat : 5412 (python) S 5403 5405 3621 0 -1 4202560 35 1012 0 0 0 0 0 0 20 0 9 0 338041608 935141376 14097 33554432000 4194304 5683644 140735185933264 140353613886000 213423019808 0 0 16781312 33554434 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5405/tid=5417] ppid=5403 vsize=913224 CPUtime=0 cores=0,2,4,6
/proc/5405/task/5417/stat : 5417 (python) S 5403 5405 3621 0 -1 4202560 22 1012 0 0 0 0 0 0 20 0 9 0 338046867 935141376 14097 33554432000 4194304 5683644 140735185933264 140353592156720 213423019808 0 0 16781312 33554434 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5405/tid=5421] ppid=5403 vsize=913224 CPUtime=0 cores=0,2,4,6
/proc/5405/task/5421/stat : 5421 (python) S 5403 5405 3621 0 -1 4202560 30 1012 0 0 0 0 0 0 20 0 9 0 338051651 935141376 14097 33554432000 4194304 5683644 140735185933264 140353581666864 213423019808 0 0 16781312 33554434 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5405/tid=5425] ppid=5403 vsize=913224 CPUtime=0 cores=0,2,4,6
/proc/5405/task/5425/stat : 5425 (python) S 5403 5405 3621 0 -1 4202560 25 1012 0 0 0 0 0 0 20 0 9 0 338056641 935141376 14097 33554432000 4194304 5683644 140735185933264 140353571177008 213423019808 0 0 16781312 33554434 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5405/tid=5429] ppid=5403 vsize=913224 CPUtime=0 cores=0,2,4,6
/proc/5405/task/5429/stat : 5429 (python) S 5403 5405 3621 0 -1 4202560 19 1012 0 0 0 0 0 0 20 0 9 0 338061627 935141376 14097 33554432000 4194304 5683644 140735185933264 140353357210160 213423019808 0 0 16781312 33554434 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5405/tid=5436] ppid=5403 vsize=913224 CPUtime=0 cores=0,2,4,6
/proc/5405/task/5436/stat : 5436 (python) S 5403 5405 3621 0 -1 4202560 22 1012 0 0 0 0 0 0 20 0 9 0 338071008 935141376 14097 33554432000 4194304 5683644 140735185933264 140353346720304 213423019808 0 0 16781312 33554434 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5405/tid=5520] ppid=5403 vsize=913224 CPUtime=0 cores=0,2,4,6
/proc/5405/task/5520/stat : 5520 (python) S 5403 5405 3621 0 -1 4202560 22 1012 0 0 0 0 0 0 20 0 9 0 338144392 935141376 14097 33554432000 4194304 5683644 140735185933264 140353336230448 213423019808 0 0 16781312 33554434 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5405/tid=5625] ppid=5403 vsize=913224 CPUtime=0 cores=0,2,4,6
/proc/5405/task/5625/stat : 5625 (python) S 5403 5405 3621 0 -1 4202560 22 1012 0 0 0 0 0 0 20 0 9 0 338203792 935141376 14097 33554432000 4194304 5683644 140735185933264 140353325740592 213423019808 0 0 16781312 33554434 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1627.55
Current children cumulated vsize (KiB) 16887236
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 5405 and gives
# childrusage.ru_utime.tv_sec=7
# childrusage.ru_utime.tv_usec=694830
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=187971
# CPU time returned by wait4() is 7.8828
# while last known CPU time is 1627.55
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1625.67
CPU time (s): 1627.55
CPU user time (s): 1621.99
CPU system time (s): 5.56
CPU usage (%): 100.116
Max. virtual memory (cumulated for all children) (KiB): 16887236
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 7.69483
system time used= 0.187971
maximum resident set size= 56388
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 27917
page faults= 1
swaps= 0
block input operations= 0
block output operations= 11584
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2093
involuntary context switches= 27
runsolver used 6.74297 second user time and 17.6513 second system time
The end