runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3482427-1307576528/watcher-3482427-1307576528 -o /tmp/evaluation-result-3482427-1307576528/solver-3482427-1307576528 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.dec.pickle HOME/instance-3482427-1307576528.opb -seed 1439643868 -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.61 0.52 0.18 2/505 24393
/proc/meminfo: memFree=30364868/32951124 swapFree=51712240/67111528
[pid=24393] ppid=24391 vsize=16248 CPUtime=0.01 cores=0,2,4,6
/proc/24393/stat : 24393 (python) R 24391 24393 23366 0 -1 4202496 1064 0 0 0 1 0 0 0 17 0 1 0 869255508 16637952 935 33554432000 4194304 5683644 140736076740128 18446744073709551615 216634515200 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/24393/statm: 4062 935 381 364 0 549 0
[startup+0.0536159 s]
/proc/loadavg: 1.61 0.52 0.18 2/505 24393
/proc/meminfo: memFree=30364868/32951124 swapFree=51712240/67111528
[pid=24393] ppid=24391 vsize=29792 CPUtime=0.03 cores=0,2,4,6
/proc/24393/stat : 24393 (python) S 24391 24393 23366 0 -1 4202496 1462 0 0 0 3 0 0 0 17 0 1 0 869255508 30507008 1301 33554432000 4194304 5683644 140736076740128 18446744073709551615 216634513408 0 2147483391 16781312 2 18446744071699199166 0 0 17 4 0 0 0
/proc/24393/statm: 7448 1301 443 364 0 818 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 29792
[startup+0.100567 s]
/proc/loadavg: 1.61 0.52 0.18 2/505 24393
/proc/meminfo: memFree=30364868/32951124 swapFree=51712240/67111528
[pid=24393] ppid=24391 vsize=96128 CPUtime=0.07 cores=0,2,4,6
/proc/24393/stat : 24393 (python) R 24391 24393 23366 0 -1 4202496 3169 931 1 0 5 2 0 0 18 0 1 0 869255508 98435072 2483 33554432000 4194304 5683644 140736076740128 18446744073709551615 5168736 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/24393/statm: 24032 2483 792 364 0 1627 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 96128
[startup+0.300569 s]
/proc/loadavg: 1.61 0.52 0.18 2/505 24393
/proc/meminfo: memFree=30364868/32951124 swapFree=51712240/67111528
[pid=24393] ppid=24391 vsize=168312 CPUtime=0.2 cores=0,2,4,6
/proc/24393/stat : 24393 (python) R 24391 24393 23366 0 -1 4202496 5994 931 1 0 15 5 0 0 17 0 1 0 869255508 172351488 4310 33554432000 4194304 5683644 140736076740128 18446744073709551615 216637924009 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/24393/statm: 42078 4310 1216 364 0 3295 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 168312
[startup+0.700458 s]
/proc/loadavg: 1.61 0.52 0.18 2/505 24393
/proc/meminfo: memFree=30364868/32951124 swapFree=51712240/67111528
[pid=24393] ppid=24391 vsize=300456 CPUtime=0.55 cores=0,2,4,6
/proc/24393/stat : 24393 (python) R 24391 24393 23366 0 -1 4202496 13561 931 1 0 47 8 0 0 17 0 1 0 869255508 307666944 11422 33554432000 4194304 5683644 140736076740128 18446744073709551615 47845041023384 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/24393/statm: 75114 11424 1781 364 0 10007 0
Current children cumulated CPU time (s) 0.55
Current children cumulated vsize (KiB) 300456
[startup+1.50731 s]
/proc/loadavg: 1.61 0.52 0.18 2/505 24393
/proc/meminfo: memFree=30364868/32951124 swapFree=51712240/67111528
[pid=24393] ppid=24391 vsize=329476 CPUtime=1.35 cores=0,2,4,6
/proc/24393/stat : 24393 (python) R 24391 24393 23366 0 -1 4202496 20721 931 1 0 126 9 0 0 18 0 1 0 869255508 337383424 18582 33554432000 4194304 5683644 140736076740128 18446744073709551615 47845041033105 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/24393/statm: 82369 18582 1781 364 0 17262 0
Current children cumulated CPU time (s) 1.35
Current children cumulated vsize (KiB) 329476
[startup+3.10103 s]
/proc/loadavg: 1.56 0.53 0.19 3/509 24402
/proc/meminfo: memFree=30227696/32951124 swapFree=51712240/67111528
[pid=24393] ppid=24391 vsize=355508 CPUtime=2.95 cores=0,2,4,6
/proc/24393/stat : 24393 (python) R 24391 24393 23366 0 -1 4202496 39976 931 1 0 283 12 0 0 21 0 1 0 869255508 364040192 25223 33554432000 4194304 5683644 140736076740128 18446744073709551615 216634174899 0 0 16781312 33554434 0 0 0 17 4 0 0 0
/proc/24393/statm: 88877 25223 1815 364 0 23770 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 355508
[startup+6.30051 s]
/proc/loadavg: 1.60 0.55 0.20 3/512 24405
/proc/meminfo: memFree=30201376/32951124 swapFree=51712240/67111528
[pid=24393] ppid=24391 vsize=373124 CPUtime=5.84 cores=0,2,4,6
/proc/24393/stat : 24393 (python) S 24391 24393 23366 0 -1 4202496 42097 931 1 0 572 12 0 0 25 0 2 0 869255508 382078976 27121 33554432000 4194304 5683644 140736076740128 18446744073709551615 216646342091 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/24393/statm: 93281 27121 1872 364 0 28168 0
[pid=24403] ppid=24393 vsize=362880 CPUtime=0 cores=0,2,4,6
/proc/24403/stat : 24403 (python) S 24393 24393 23366 0 -1 4202560 702 0 0 0 0 0 0 0 25 0 1 0 869256108 371589120 25593 33554432000 4194304 5683644 140736076740128 18446744073709551615 216634535439 0 0 16781312 33554946 14254399596703744260 0 0 17 4 0 0 0
/proc/24403/statm: 90720 25593 348 364 0 25607 0
[pid=24405] ppid=24403 vsize=38168 CPUtime=0.29 cores=0,2,4,6
/proc/24405/stat : 24405 (clasp-1.3.7-x86) R 24403 24405 24405 0 -1 4202496 11012 0 0 0 28 1 0 0 25 0 1 0 869256108 39084032 9027 33554432000 134512640 136139019 4290762128 18446744073709551615 135529895 0 0 16781312 16386 0 0 0 17 4 0 0 0
/proc/24405/statm: 9542 9027 170 398 0 9142 0
[pid=24393/tid=24404] ppid=24391 vsize=373124 CPUtime=0 cores=0,2,4,6
/proc/24393/task/24404/stat : 24404 (python) S 24391 24393 23366 0 -1 4202560 27 931 0 0 0 0 0 0 25 0 2 0 869256108 382078976 27121 33554432000 4194304 5683644 140736076740128 18446744073709551615 216646338993 0 0 16781312 33554434 18446604449123068864 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 6.13
Current children cumulated vsize (KiB) 774172
[startup+12.7004 s]
/proc/loadavg: 1.63 0.58 0.20 3/512 24405
/proc/meminfo: memFree=30164276/32951124 swapFree=51712240/67111528
[pid=24393] ppid=24391 vsize=373124 CPUtime=5.84 cores=0,2,4,6
/proc/24393/stat : 24393 (python) S 24391 24393 23366 0 -1 4202496 42097 931 1 0 572 12 0 0 25 0 2 0 869255508 382078976 27121 33554432000 4194304 5683644 140736076740128 18446744073709551615 216646342091 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/24393/statm: 93281 27121 1872 364 0 28168 0
[pid=24403] ppid=24393 vsize=362880 CPUtime=0.01 cores=0,2,4,6
/proc/24403/stat : 24403 (python) S 24393 24393 23366 0 -1 4202560 883 0 0 0 1 0 0 0 18 0 1 0 869256108 371589120 25620 33554432000 4194304 5683644 140736076740128 18446744073709551615 216634535439 0 0 16781312 33554946 14254401108532232452 0 0 17 4 0 0 0
/proc/24403/statm: 90720 25620 375 364 0 25607 0
[pid=24405] ppid=24403 vsize=51916 CPUtime=6.7 cores=0,2,4,6
/proc/24405/stat : 24405 (clasp-1.3.7-x86) R 24403 24405 24405 0 -1 4202496 16092 0 0 0 668 2 0 0 25 0 1 0 869256108 53161984 12543 33554432000 134512640 136139019 4290762128 18446744073709551615 134883821 0 0 16781312 16386 0 0 0 17 4 0 0 0
/proc/24405/statm: 12979 12543 184 398 0 12579 0
[pid=24393/tid=24404] ppid=24391 vsize=373124 CPUtime=0 cores=0,2,4,6
/proc/24393/task/24404/stat : 24404 (python) S 24391 24393 23366 0 -1 4202560 27 931 0 0 0 0 0 0 25 0 2 0 869256108 382078976 27121 33554432000 4194304 5683644 140736076740128 18446744073709551615 216646338993 0 0 16781312 33554434 18446604449123068864 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 12.55
Current children cumulated vsize (KiB) 787920
[startup+25.5011 s]
/proc/loadavg: 1.69 0.62 0.22 3/512 24405
/proc/meminfo: memFree=30151300/32951124 swapFree=51712240/67111528
[pid=24393] ppid=24391 vsize=373124 CPUtime=5.84 cores=0,2,4,6
/proc/24393/stat : 24393 (python) S 24391 24393 23366 0 -1 4202496 42097 931 1 0 572 12 0 0 25 0 2 0 869255508 382078976 27121 33554432000 4194304 5683644 140736076740128 18446744073709551615 216646342091 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/24393/statm: 93281 27121 1872 364 0 28168 0
[pid=24403] ppid=24393 vsize=362880 CPUtime=0.07 cores=0,2,4,6
/proc/24403/stat : 24403 (python) S 24393 24393 23366 0 -1 4202560 889 0 0 0 4 3 0 0 18 0 1 0 869256108 371589120 25620 33554432000 4194304 5683644 140736076740128 18446744073709551615 216634535439 0 0 16781312 33554946 72409437758827395 0 0 17 4 0 0 0
/proc/24403/statm: 90720 25620 375 364 0 25607 0
[pid=24405] ppid=24403 vsize=57568 CPUtime=19.47 cores=0,2,4,6
/proc/24405/stat : 24405 (clasp-1.3.7-x86) R 24403 24405 24405 0 -1 4202496 17492 0 0 0 1945 2 0 0 25 0 1 0 869256108 58949632 13943 33554432000 134512640 136139019 4290762128 18446744073709551615 134890659 0 0 16781312 16386 0 0 0 17 4 0 0 0
/proc/24405/statm: 14392 13943 184 398 0 13992 0
[pid=24393/tid=24404] ppid=24391 vsize=373124 CPUtime=0 cores=0,2,4,6
/proc/24393/task/24404/stat : 24404 (python) S 24391 24393 23366 0 -1 4202560 27 931 0 0 0 0 0 0 25 0 2 0 869256108 382078976 27121 33554432000 4194304 5683644 140736076740128 18446744073709551615 216646338993 0 0 16781312 33554434 18446604449123068864 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 25.38
Current children cumulated vsize (KiB) 793572
[startup+51.1006 s]
/proc/loadavg: 1.79 0.73 0.27 3/513 24407
/proc/meminfo: memFree=30139132/32951124 swapFree=51712240/67111528
[pid=24393] ppid=24391 vsize=373124 CPUtime=5.84 cores=0,2,4,6
/proc/24393/stat : 24393 (python) S 24391 24393 23366 0 -1 4202496 42097 931 1 0 572 12 0 0 25 0 2 0 869255508 382078976 27121 33554432000 4194304 5683644 140736076740128 18446744073709551615 216646342091 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/24393/statm: 93281 27121 1872 364 0 28168 0
[pid=24403] ppid=24393 vsize=362880 CPUtime=0.18 cores=0,2,4,6
/proc/24403/stat : 24403 (python) S 24393 24393 23366 0 -1 4202560 997 0 0 0 9 9 0 0 18 0 1 0 869256108 371589120 25625 33554432000 4194304 5683644 140736076740128 18446744073709551615 216634535439 0 0 16781312 33554946 72556772316949379 0 0 17 6 0 0 0
/proc/24403/statm: 90720 25625 380 364 0 25607 0
[pid=24405] ppid=24403 vsize=66696 CPUtime=45.06 cores=0,2,4,6
/proc/24405/stat : 24405 (clasp-1.3.7-x86) R 24403 24405 24405 0 -1 4202496 19767 0 0 0 4503 3 0 0 25 0 1 0 869256108 68296704 16218 33554432000 134512640 136139019 4290762128 18446744073709551615 134883821 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/24405/statm: 16674 16218 184 398 0 16274 0
[pid=24393/tid=24404] ppid=24391 vsize=373124 CPUtime=0 cores=0,2,4,6
/proc/24393/task/24404/stat : 24404 (python) S 24391 24393 23366 0 -1 4202560 27 931 0 0 0 0 0 0 25 0 2 0 869256108 382078976 27121 33554432000 4194304 5683644 140736076740128 18446744073709551615 216646338993 0 0 16781312 33554434 18446604449123068864 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 802700
[startup+102.301 s]
/proc/loadavg: 1.91 0.94 0.37 3/520 24415
/proc/meminfo: memFree=28941760/32951124 swapFree=51712240/67111528
[pid=24393] ppid=24391 vsize=383380 CPUtime=5.87 cores=0,2,4,6
/proc/24393/stat : 24393 (python) S 24391 24393 23366 0 -1 4202496 43031 931 1 0 574 13 0 0 20 0 3 0 869255508 392581120 27128 33554432000 4194304 5683644 140736076740128 18446744073709551615 216646342091 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/24393/statm: 95845 27128 1875 364 0 30729 0
[pid=24403] ppid=24393 vsize=373124 CPUtime=0.2 cores=0,2,4,6
/proc/24403/stat : 24403 (python) S 24393 24393 23366 0 -1 4202560 1131 0 0 0 10 10 0 0 19 0 2 0 869256108 382078976 25661 33554432000 4194304 5683644 140736076740128 18446744073709551615 216646342091 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/24403/statm: 93281 25661 411 364 0 28168 0
[pid=24405] ppid=24403 vsize=66696 CPUtime=48.15 cores=0,2,4,6
/proc/24405/stat : 24405 (clasp-1.3.7-x86) T 24403 24405 24405 0 -1 4202496 19783 0 0 0 4812 3 0 0 25 0 1 0 869256108 68296704 16234 33554432000 134512640 136139019 4290762128 18446744073709551615 134883829 0 0 16781312 16386 18446744071562691360 0 0 17 0 0 0 0
/proc/24405/statm: 16674 16234 184 398 0 16274 0
[pid=24403/tid=24408] ppid=24393 vsize=373124 CPUtime=0 cores=0,2,4,6
/proc/24403/task/24408/stat : 24408 (python) S 24393 24393 23366 0 -1 4202560 40 0 0 0 0 0 0 0 19 0 2 0 869260928 382078976 25661 33554432000 4194304 5683644 140736076740128 18446744073709551615 216646338993 0 0 16781312 33554946 18446604453425911808 0 0 -1 6 0 0 0
[pid=24409] ppid=24393 vsize=373136 CPUtime=0.2 cores=0,2,4,6
/proc/24409/stat : 24409 (python) S 24393 24393 23366 0 -1 4202560 951 0 0 0 10 10 0 0 15 0 1 0 869260930 382091264 25621 33554432000 4194304 5683644 140736076740128 18446744073709551615 216634535494 0 0 16781312 33554946 72556772316949379 0 0 17 6 0 0 0
/proc/24409/statm: 93284 25621 372 364 0 28168 0
[pid=24411] ppid=24409 vsize=961768 CPUtime=48.07 cores=0,2,4,6
/proc/24411/stat : 24411 (scip-2.0.1.linu) R 24409 24411 24411 0 -1 4202496 242027 0 0 0 4658 149 0 0 25 0 1 0 869260931 984850432 234105 33554432000 4194304 13684479 140733277232480 18446744073709551615 5110634 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/24411/statm: 240442 234105 655 2317 0 238120 0
[pid=24393/tid=24404] ppid=24391 vsize=383380 CPUtime=0 cores=0,2,4,6
/proc/24393/task/24404/stat : 24404 (python) S 24391 24393 23366 0 -1 4202560 27 931 0 0 0 0 0 0 25 0 3 0 869256108 392581120 27128 33554432000 4194304 5683644 140736076740128 18446744073709551615 216646338993 0 0 16781312 33554434 18446604449123068864 0 0 -1 4 0 0 0
[pid=24393/tid=24410] ppid=24391 vsize=383380 CPUtime=0 cores=0,2,4,6
/proc/24393/task/24410/stat : 24410 (python) S 24391 24393 23366 0 -1 4202560 31 931 0 0 0 0 0 0 20 0 3 0 869260931 392581120 27128 33554432000 4194304 5683644 140736076740128 18446744073709551615 216646338993 0 0 16781312 33554434 18446604449123068864 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 102.49
Current children cumulated vsize (KiB) 2158104
[startup+162.301 s]
/proc/loadavg: 2.06 1.16 0.48 3/532 24429
/proc/meminfo: memFree=27258216/32951124 swapFree=51712240/67111528
[pid=24393] ppid=24391 vsize=393636 CPUtime=22.27 cores=0,2,4,6
/proc/24393/stat : 24393 (python) S 24391 24393 23366 0 -1 4202496 44023 931 1 0 2209 18 0 0 25 0 4 0 869255508 403083264 27134 33554432000 4194304 5683644 140736076740128 18446744073709551615 216646342091 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/24393/statm: 98409 27134 1877 364 0 33290 0
[pid=24403] ppid=24393 vsize=373124 CPUtime=0.2 cores=0,2,4,6
/proc/24403/stat : 24403 (python) S 24393 24393 23366 0 -1 4202560 1131 0 0 0 10 10 0 0 19 0 2 0 869256108 382078976 25661 33554432000 4194304 5683644 140736076740128 18446744073709551615 216646342091 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/24403/statm: 93281 25661 411 364 0 28168 0
[pid=24405] ppid=24403 vsize=66696 CPUtime=48.15 cores=0,2,4,6
/proc/24405/stat : 24405 (clasp-1.3.7-x86) T 24403 24405 24405 0 -1 4202496 19783 0 0 0 4812 3 0 0 25 0 1 0 869256108 68296704 16234 33554432000 134512640 136139019 4290762128 18446744073709551615 134883829 0 0 16781312 16386 18446744071562691360 0 0 17 0 0 0 0
/proc/24405/statm: 16674 16234 184 398 0 16274 0
[pid=24403/tid=24408] ppid=24393 vsize=373124 CPUtime=0 cores=0,2,4,6
/proc/24403/task/24408/stat : 24408 (python) S 24393 24393 23366 0 -1 4202560 40 0 0 0 0 0 0 0 19 0 2 0 869260928 382078976 25661 33554432000 4194304 5683644 140736076740128 18446744073709551615 216646338993 0 0 16781312 33554946 18446604453425911808 0 0 -1 6 0 0 0
[pid=24409] ppid=24393 vsize=373136 CPUtime=0.22 cores=0,2,4,6
/proc/24409/stat : 24409 (python) S 24393 24393 23366 0 -1 4202560 1116 0 0 0 11 11 0 0 17 0 2 0 869260930 382091264 25646 33554432000 4194304 5683644 140736076740128 18446744073709551615 216646342091 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/24409/statm: 93284 25646 396 364 0 28168 0
[pid=24411] ppid=24409 vsize=965744 CPUtime=49.75 cores=0,2,4,6
/proc/24411/stat : 24411 (scip-2.0.1.linu) T 24409 24411 24411 0 -1 4202496 242867 0 0 0 4826 149 0 0 25 0 1 0 869260931 988921856 234945 33554432000 4194304 13684479 140733277232480 18446744073709551615 5688624 0 0 16781312 2 18446744071562691360 0 0 17 0 0 0 0
/proc/24411/statm: 241436 234945 655 2317 0 239114 0
[pid=24409/tid=24416] ppid=24393 vsize=373136 CPUtime=0 cores=0,2,4,6
/proc/24409/task/24416/stat : 24416 (python) S 24393 24393 23366 0 -1 4202560 48 0 0 0 0 0 0 0 17 0 2 0 869265907 382091264 25646 33554432000 4194304 5683644 140736076740128 18446744073709551615 216646338993 0 0 16781312 33554946 18446604451965423936 0 0 -1 6 0 0 0
[pid=24422] ppid=24393 vsize=383392 CPUtime=0.17 cores=0,2,4,6
################
# More data... #
################
[pid=24583/tid=24595] ppid=24581 vsize=8536620 CPUtime=0 cores=0,2,4,6
/proc/24583/task/24595/stat : 24595 (java) S 24581 24583 24583 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 869419424 8741498880 25866 33554432000 1073741824 1073778376 140736810643312 18446744073709551615 216646331289 0 4 0 16800975 18446604449653912832 0 0 -1 4 0 0 0
[pid=24583/tid=24596] ppid=24581 vsize=8536620 CPUtime=0 cores=0,2,4,6
/proc/24583/task/24596/stat : 24596 (java) S 24581 24583 24583 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869419426 8741498880 25868 33554432000 1073741824 1073778376 140736810643312 18446744073709551615 216646338993 0 4 0 16800975 18446604449653912832 0 0 -1 4 0 0 0
[pid=24583/tid=24597] ppid=24581 vsize=8536620 CPUtime=0.23 cores=0,2,4,6
/proc/24583/task/24597/stat : 24597 (java) S 24581 24583 24583 0 -1 4202560 2616 0 0 0 23 0 0 0 25 0 18 0 869419426 8741498880 25871 33554432000 1073741824 1073778376 140736810643312 18446744073709551615 216646331289 0 4 0 16800975 18446604449653912832 0 0 -1 0 0 0 0
[pid=24583/tid=24598] ppid=24581 vsize=8536620 CPUtime=0.25 cores=0,2,4,6
/proc/24583/task/24598/stat : 24598 (java) S 24581 24583 24583 0 -1 4202560 2253 0 0 0 25 0 0 0 17 0 18 0 869419426 8741498880 25873 33554432000 1073741824 1073778376 140736810643312 18446744073709551615 216646331289 0 4 0 16800975 18446604449653912832 0 0 -1 6 0 0 0
[pid=24583/tid=24599] ppid=24581 vsize=8536620 CPUtime=0 cores=0,2,4,6
/proc/24583/task/24599/stat : 24599 (java) S 24581 24583 24583 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869419426 8741498880 25876 33554432000 1073741824 1073778376 140736810643312 18446744073709551615 216646331289 0 4 0 16800975 18446604449653912832 0 0 -1 4 0 0 0
[pid=24583/tid=24600] ppid=24581 vsize=8536620 CPUtime=0 cores=0,2,4,6
/proc/24583/task/24600/stat : 24600 (java) S 24581 24583 24583 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 869419426 8741498880 25878 33554432000 1073741824 1073778376 140736810643312 18446744073709551615 216646331904 0 4 0 16800975 18446604449653912832 0 0 -1 0 0 0 0
[pid=24393/tid=24404] ppid=24391 vsize=444916 CPUtime=0 cores=0,2,4,6
/proc/24393/task/24404/stat : 24404 (python) S 24391 24393 23366 0 -1 4202560 37 931 0 0 0 0 0 0 18 0 9 0 869256108 455593984 27164 33554432000 4194304 5683644 140736076740128 18446744073709551615 216646338993 0 0 16781312 33554434 18446604449123068864 0 0 -1 4 0 0 0
[pid=24393/tid=24410] ppid=24391 vsize=444916 CPUtime=0 cores=0,2,4,6
/proc/24393/task/24410/stat : 24410 (python) S 24391 24393 23366 0 -1 4202560 42 931 0 0 0 0 0 0 18 0 9 0 869260931 455593984 27164 33554432000 4194304 5683644 140736076740128 18446744073709551615 216646338993 0 0 16781312 33554434 18446604449123068864 0 0 -1 4 0 0 0
[pid=24393/tid=24423] ppid=24391 vsize=444916 CPUtime=0 cores=0,2,4,6
/proc/24393/task/24423/stat : 24423 (python) S 24391 24393 23366 0 -1 4202560 29 931 0 0 0 0 0 0 25 0 9 0 869267547 455593984 27164 33554432000 4194304 5683644 140736076740128 18446744073709551615 216646338993 0 0 16781312 33554434 18446604449123068864 0 0 -1 4 0 0 0
[pid=24393/tid=24432] ppid=24391 vsize=444916 CPUtime=0 cores=0,2,4,6
/proc/24393/task/24432/stat : 24432 (python) S 24391 24393 23366 0 -1 4202560 35 931 0 0 0 0 0 0 18 0 9 0 869272335 455593984 27164 33554432000 4194304 5683644 140736076740128 18446744073709551615 216646338993 0 0 16781312 33554434 18446604449123068864 0 0 -1 0 0 0 0
[pid=24393/tid=24443] ppid=24391 vsize=444916 CPUtime=0 cores=0,2,4,6
/proc/24393/task/24443/stat : 24443 (python) S 24391 24393 23366 0 -1 4202560 29 931 0 0 0 0 0 0 20 0 9 0 869282122 455593984 27164 33554432000 4194304 5683644 140736076740128 18446744073709551615 216646338993 0 0 16781312 33554434 18446604449123068864 0 0 -1 0 0 0 0
[pid=24393/tid=24457] ppid=24391 vsize=444916 CPUtime=0 cores=0,2,4,6
/proc/24393/task/24457/stat : 24457 (python) S 24391 24393 23366 0 -1 4202560 26 931 0 0 0 0 0 0 20 0 9 0 869304548 455593984 27164 33554432000 4194304 5683644 140736076740128 18446744073709551615 216646338993 0 0 16781312 33554434 18446604449123068864 0 0 -1 0 0 0 0
[pid=24393/tid=24497] ppid=24391 vsize=444916 CPUtime=0 cores=0,2,4,6
/proc/24393/task/24497/stat : 24497 (python) S 24391 24393 23366 0 -1 4202560 30 931 0 0 0 0 0 0 20 0 9 0 869355192 455593984 27164 33554432000 4194304 5683644 140736076740128 18446744073709551615 216646338993 0 0 16781312 33554434 18446604449123068864 0 0 -1 0 0 0 0
[pid=24393/tid=24582] ppid=24391 vsize=444916 CPUtime=0 cores=0,2,4,6
/proc/24393/task/24582/stat : 24582 (python) S 24391 24393 23366 0 -1 4202560 29 931 0 0 0 0 0 0 20 0 9 0 869419421 455593984 27164 33554432000 4194304 5683644 140736076740128 18446744073709551615 216646338993 0 0 16781312 33554434 18446604449123068864 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1647.12
Current children cumulated vsize (KiB) 16768852
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1639.6 s]
/proc/loadavg: 2.04 2.06 1.72 4/597 24600
/proc/meminfo: memFree=21986824/32951124 swapFree=51712240/67111528
[pid=24393] ppid=24391 vsize=444916 CPUtime=22.51 cores=0,2,4,6
/proc/24393/stat : 24393 (python) S 24391 24393 23366 0 -1 4202496 48840 931 1 0 2231 20 0 0 20 0 9 0 869255508 455593984 27164 33554432000 4194304 5683644 140736076740128 18446744073709551615 216646342091 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/24393/statm: 111229 27164 1887 364 0 46095 0
[pid=24403] ppid=24393 vsize=373124 CPUtime=1 cores=0,2,4,6
/proc/24403/stat : 24403 (python) S 24393 24393 23366 0 -1 4202560 1201 0 0 0 49 51 0 0 18 0 2 0 869256108 382078976 25662 33554432000 4194304 5683644 140736076740128 18446744073709551615 216646342091 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/24403/statm: 93281 25662 412 364 0 28168 0
[pid=24405] ppid=24403 vsize=83208 CPUtime=228.95 cores=0,2,4,6
/proc/24405/stat : 24405 (clasp-1.3.7-x86) T 24403 24405 24405 0 -1 4202496 23879 0 0 0 22891 4 0 0 25 0 1 0 869256108 85204992 20330 33554432000 134512640 136139019 4290762128 18446744073709551615 134634749 0 0 16781312 16386 18446744071562691360 0 0 17 0 0 0 0
/proc/24405/statm: 20802 20330 184 398 0 20402 0
[pid=24403/tid=24408] ppid=24393 vsize=373124 CPUtime=0 cores=0,2,4,6
/proc/24403/task/24408/stat : 24408 (python) S 24393 24393 23366 0 -1 4202560 42 0 0 0 0 0 0 0 18 0 2 0 869260928 382078976 25662 33554432000 4194304 5683644 140736076740128 18446744073709551615 216646338993 0 0 16781312 33554946 18446604453425911808 0 0 -1 6 0 0 0
[pid=24409] ppid=24393 vsize=373136 CPUtime=4.74 cores=0,2,4,6
/proc/24409/stat : 24409 (python) S 24393 24393 23366 0 -1 4202560 1223 0 0 0 233 241 0 0 15 0 2 0 869260930 382091264 25646 33554432000 4194304 5683644 140736076740128 18446744073709551615 216646342091 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/24409/statm: 93284 25646 396 364 0 28168 0
[pid=24411] ppid=24409 vsize=2677208 CPUtime=1054.37 cores=0,2,4,6
/proc/24411/stat : 24411 (scip-2.0.1.linu) T 24409 24411 24411 0 -1 4202496 668206 0 0 0 105039 398 0 0 25 0 1 0 869260931 2741460992 660284 33554432000 4194304 13684479 140733277232480 18446744073709551615 4511329 0 0 16781312 2 18446744071562691360 0 0 17 0 0 0 0
/proc/24411/statm: 669302 660284 659 2317 0 666980 0
[pid=24409/tid=24416] ppid=24393 vsize=373136 CPUtime=0 cores=0,2,4,6
/proc/24409/task/24416/stat : 24416 (python) S 24393 24393 23366 0 -1 4202560 49 0 0 0 0 0 0 0 15 0 2 0 869265907 382091264 25646 33554432000 4194304 5683644 140736076740128 18446744073709551615 216646338993 0 0 16781312 33554946 18446604451965423936 0 0 -1 0 0 0 0
[pid=24422] ppid=24393 vsize=383392 CPUtime=0.21 cores=0,2,4,6
/proc/24422/stat : 24422 (python) S 24393 24393 23366 0 -1 4202560 1106 0 0 0 11 10 0 0 17 0 2 0 869267546 392593408 25650 33554432000 4194304 5683644 140736076740128 18446744073709551615 216646342091 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/24422/statm: 95848 25650 396 364 0 30729 0
[pid=24424] ppid=24422 vsize=369628 CPUtime=47.84 cores=0,2,4,6
/proc/24424/stat : 24424 (minion) T 24422 24424 24424 0 -1 4202496 110163 0 0 0 4770 14 0 0 25 0 1 0 869267547 378499072 84593 33554432000 134512640 165565024 4293276624 18446744073709551615 159737071 0 0 16781312 8396802 18446744071562691360 0 0 17 0 0 0 0
/proc/24424/statm: 92407 84593 346 7582 0 84822 0
[pid=24422/tid=24430] ppid=24393 vsize=383392 CPUtime=0 cores=0,2,4,6
/proc/24422/task/24430/stat : 24430 (python) S 24393 24393 23366 0 -1 4202560 48 0 0 0 0 0 0 0 17 0 2 0 869272332 392593408 25650 33554432000 4194304 5683644 140736076740128 18446744073709551615 216646338993 0 0 16781312 33554946 18446604449123067072 0 0 -1 6 0 0 0
[pid=24431] ppid=24393 vsize=393648 CPUtime=0.43 cores=0,2,4,6
/proc/24431/stat : 24431 (python) S 24393 24393 23366 0 -1 4202560 1174 0 0 0 24 19 0 0 15 0 2 0 869272335 403095552 25654 33554432000 4194304 5683644 140736076740128 18446744073709551615 216646342091 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/24431/statm: 98412 25654 396 364 0 33290 0
[pid=24433] ppid=24431 vsize=1194756 CPUtime=92.79 cores=0,2,4,6
/proc/24433/stat : 24433 (scip-2.0.1.linu) T 24431 24433 24433 0 -1 4202496 298843 0 0 0 9135 144 0 0 25 0 1 0 869272335 1223430144 290926 33554432000 4194304 15243407 140733754918224 18446744073709551615 4880950 0 0 16781312 2 18446744071562691360 0 0 17 4 0 0 0
/proc/24433/statm: 298689 290926 702 2698 0 295984 0
[pid=24431/tid=24436] ppid=24393 vsize=393648 CPUtime=0 cores=0,2,4,6
/proc/24431/task/24436/stat : 24436 (python) S 24393 24393 23366 0 -1 4202560 50 0 0 0 0 0 0 0 15 0 2 0 869277496 403095552 25654 33554432000 4194304 5683644 140736076740128 18446744073709551615 216646338993 0 0 16781312 33554946 18446604453214893056 0 0 -1 6 0 0 0
[pid=24442] ppid=24393 vsize=403904 CPUtime=0.24 cores=0,2,4,6
/proc/24442/stat : 24442 (python) S 24393 24393 23366 0 -1 4202560 1155 0 0 0 13 11 0 0 16 0 2 0 869282121 413597696 25658 33554432000 4194304 5683644 140736076740128 18446744073709551615 216646342091 0 0 16781312 33554946 18446744073709551615 0 0 17 2 0 0 0
/proc/24442/statm: 100976 25658 396 364 0 35851 0
[pid=24444] ppid=24442 vsize=72176 CPUtime=48.38 cores=0,2,4,6
/proc/24444/stat : 24444 (wbo1.4a) T 24442 24444 24444 0 -1 4202496 20224 0 0 0 4822 16 0 0 25 0 1 0 869282122 73908224 16394 33554432000 134512640 135751879 4290148464 18446744073709551615 135270609 0 0 16781312 3 18446744071562691360 0 0 17 2 0 0 0
/proc/24444/statm: 18044 16394 143 303 0 17739 0
[pid=24442/tid=24447] ppid=24393 vsize=403904 CPUtime=0 cores=0,2,4,6
/proc/24442/task/24447/stat : 24447 (python) S 24393 24393 23366 0 -1 4202560 48 0 0 0 0 0 0 0 16 0 2 0 869286961 413597696 25658 33554432000 4194304 5683644 140736076740128 18446744073709551615 216646338993 0 0 16781312 33554946 18446604449767052416 0 0 -1 2 0 0 0
[pid=24456] ppid=24393 vsize=414160 CPUtime=0.24 cores=0,2,4,6
/proc/24456/stat : 24456 (python) S 24393 24393 23366 0 -1 4202560 1143 0 0 0 13 11 0 0 16 0 2 0 869304547 424099840 25662 33554432000 4194304 5683644 140736076740128 18446744073709551615 216646342091 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/24456/statm: 103540 25662 396 364 0 38412 0
[pid=24458] ppid=24456 vsize=107472 CPUtime=50.62 cores=0,2,4,6
/proc/24458/stat : 24458 (wbo1.4b-fixed) T 24456 24458 24458 0 -1 4202496 28939 0 0 0 5048 14 0 0 25 0 1 0 869304548 110051328 25110 33554432000 134512640 135752315 4292744128 18446744073709551615 134604864 0 0 16781312 3 18446744071562691360 0 0 17 2 0 0 0
/proc/24458/statm: 26868 25110 146 303 0 26563 0
[pid=24456/tid=24482] ppid=24393 vsize=414160 CPUtime=0 cores=0,2,4,6
/proc/24456/task/24482/stat : 24482 (python) S 24393 24393 23366 0 -1 4202560 47 0 0 0 0 0 0 0 16 0 2 0 869309611 424099840 25662 33554432000 4194304 5683644 140736076740128 18446744073709551615 216646338993 0 0 16781312 33554946 18446604453425910016 0 0 -1 6 0 0 0
[pid=24496] ppid=24393 vsize=424416 CPUtime=0.42 cores=0,2,4,6
/proc/24496/stat : 24496 (python) S 24393 24393 23366 0 -1 4202560 1179 0 0 0 21 21 0 0 17 0 2 0 869355192 434601984 25666 33554432000 4194304 5683644 140736076740128 18446744073709551615 216646342091 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/24496/statm: 106104 25666 396 364 0 40973 0
[pid=24498] ppid=24496 vsize=82416 CPUtime=93.39 cores=0,2,4,6
/proc/24498/stat : 24498 (bsolo_pb10) T 24496 24498 24498 0 -1 4202496 21187 0 0 0 9331 8 0 0 25 0 1 0 869355192 84393984 17681 33554432000 134512640 137138936 4288357152 18446744073709551615 134542187 0 0 16781312 16384 18446744071562691360 0 0 17 0 0 0 0
/proc/24498/statm: 20604 17681 184 642 0 19960 0
[pid=24496/tid=24502] ppid=24393 vsize=424416 CPUtime=0 cores=0,2,4,6
/proc/24496/task/24502/stat : 24502 (python) S 24393 24393 23366 0 -1 4202560 49 0 0 0 0 0 0 0 17 0 2 0 869364532 434601984 25666 33554432000 4194304 5683644 140736076740128 18446744073709551615 216646338993 0 0 16781312 33554946 18446604441039332672 0 0 -1 6 0 0 0
[pid=24581] ppid=24393 vsize=434672 CPUtime=0 cores=0,2,4,6
/proc/24581/stat : 24581 (python) S 24393 24393 23366 0 -1 4202560 836 0 0 0 0 0 0 0 18 0 1 0 869419420 445104128 25621 33554432000 4194304 5683644 140736076740128 18446744073709551615 216634535494 0 0 16781312 33554946 2845226846449041408 0 0 17 0 0 0 0
/proc/24581/statm: 108668 25621 348 364 0 43534 0
[pid=24583] ppid=24581 vsize=8536620 CPUtime=0.99 cores=0,2,4,6
/proc/24583/stat : 24583 (java) S 24581 24583 24583 0 -1 4202496 28097 0 1 0 95 4 0 0 20 0 18 0 869419421 8741498880 25782 33554432000 1073741824 1073778376 140736810643312 18446744073709551615 216646318053 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/24583/statm: 2134155 25784 2205 9 0 2124896 0
[pid=24583/tid=24584] ppid=24581 vsize=8536620 CPUtime=0.49 cores=0,2,4,6
/proc/24583/task/24584/stat : 24584 (java) R 24581 24583 24583 0 -1 4202560 21899 0 1 0 47 2 0 0 18 0 18 0 869419422 8741498880 25841 33554432000 1073741824 1073778376 140736810643312 18446744073709551615 46912505644685 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=24583/tid=24585] ppid=24581 vsize=8536620 CPUtime=0 cores=0,2,4,6
/proc/24583/task/24585/stat : 24585 (java) S 24581 24583 24583 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 869419423 8741498880 25843 33554432000 1073741824 1073778376 140736810643312 18446744073709551615 216646331289 0 4 0 16800975 18446604449653912832 0 0 -1 4 0 0 0
[pid=24583/tid=24586] ppid=24581 vsize=8536620 CPUtime=0 cores=0,2,4,6
/proc/24583/task/24586/stat : 24586 (java) S 24581 24583 24583 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 18 0 869419423 8741498880 25846 33554432000 1073741824 1073778376 140736810643312 18446744073709551615 216646331289 0 4 0 16800975 18446604449653912832 0 0 -1 4 0 0 0
[pid=24583/tid=24587] ppid=24581 vsize=8536620 CPUtime=0 cores=0,2,4,6
/proc/24583/task/24587/stat : 24587 (java) S 24581 24583 24583 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 18 0 869419423 8741498880 25849 33554432000 1073741824 1073778376 140736810643312 18446744073709551615 216646331289 0 4 0 16800975 18446604449653912832 0 0 -1 4 0 0 0
[pid=24583/tid=24588] ppid=24581 vsize=8536620 CPUtime=0 cores=0,2,4,6
/proc/24583/task/24588/stat : 24588 (java) S 24581 24583 24583 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869419423 8741498880 25851 33554432000 1073741824 1073778376 140736810643312 18446744073709551615 216646331289 0 4 0 16800975 18446604449653912832 0 0 -1 4 0 0 0
[pid=24583/tid=24589] ppid=24581 vsize=8536620 CPUtime=0 cores=0,2,4,6
/proc/24583/task/24589/stat : 24589 (java) S 24581 24583 24583 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869419423 8741498880 25852 33554432000 1073741824 1073778376 140736810643312 18446744073709551615 216646331289 0 4 0 16800975 18446604449653912832 0 0 -1 4 0 0 0
[pid=24583/tid=24590] ppid=24581 vsize=8536620 CPUtime=0 cores=0,2,4,6
/proc/24583/task/24590/stat : 24590 (java) S 24581 24583 24583 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869419423 8741498880 25853 33554432000 1073741824 1073778376 140736810643312 18446744073709551615 216646331289 0 4 0 16800975 18446604449653912832 0 0 -1 4 0 0 0
[pid=24583/tid=24591] ppid=24581 vsize=8536620 CPUtime=0 cores=0,2,4,6
/proc/24583/task/24591/stat : 24591 (java) S 24581 24583 24583 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869419423 8741498880 25855 33554432000 1073741824 1073778376 140736810643312 18446744073709551615 216646331289 0 4 0 16800975 18446604449653912832 0 0 -1 4 0 0 0
[pid=24583/tid=24592] ppid=24581 vsize=8536620 CPUtime=0 cores=0,2,4,6
/proc/24583/task/24592/stat : 24592 (java) S 24581 24583 24583 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869419423 8741498880 25858 33554432000 1073741824 1073778376 140736810643312 18446744073709551615 216646331289 0 4 0 16800975 18446604449653912832 0 0 -1 4 0 0 0
[pid=24583/tid=24593] ppid=24581 vsize=8536620 CPUtime=0 cores=0,2,4,6
/proc/24583/task/24593/stat : 24593 (java) S 24581 24583 24583 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 869419424 8741498880 25860 33554432000 1073741824 1073778376 140736810643312 18446744073709551615 216646331904 0 0 0 16800975 18446604449653912832 0 0 -1 4 0 0 0
[pid=24583/tid=24594] ppid=24581 vsize=8536620 CPUtime=0 cores=0,2,4,6
/proc/24583/task/24594/stat : 24594 (java) S 24581 24583 24583 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 869419424 8741498880 25863 33554432000 1073741824 1073778376 140736810643312 18446744073709551615 216646331289 0 4 0 16800975 18446604449653912832 0 0 -1 4 0 0 0
[pid=24583/tid=24595] ppid=24581 vsize=8536620 CPUtime=0 cores=0,2,4,6
/proc/24583/task/24595/stat : 24595 (java) S 24581 24583 24583 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 869419424 8741498880 25866 33554432000 1073741824 1073778376 140736810643312 18446744073709551615 216646331289 0 4 0 16800975 18446604449653912832 0 0 -1 4 0 0 0
[pid=24583/tid=24596] ppid=24581 vsize=8536620 CPUtime=0 cores=0,2,4,6
/proc/24583/task/24596/stat : 24596 (java) S 24581 24583 24583 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869419426 8741498880 25868 33554432000 1073741824 1073778376 140736810643312 18446744073709551615 216646338993 0 4 0 16800975 18446604449653912832 0 0 -1 4 0 0 0
[pid=24583/tid=24597] ppid=24581 vsize=8536620 CPUtime=0.23 cores=0,2,4,6
/proc/24583/task/24597/stat : 24597 (java) S 24581 24583 24583 0 -1 4202560 2616 0 0 0 23 0 0 0 25 0 18 0 869419426 8741498880 25871 33554432000 1073741824 1073778376 140736810643312 18446744073709551615 216646331289 0 4 0 16800975 18446604449653912832 0 0 -1 0 0 0 0
[pid=24583/tid=24598] ppid=24581 vsize=8536620 CPUtime=0.25 cores=0,2,4,6
/proc/24583/task/24598/stat : 24598 (java) S 24581 24583 24583 0 -1 4202560 2253 0 0 0 25 0 0 0 17 0 18 0 869419426 8741498880 25873 33554432000 1073741824 1073778376 140736810643312 18446744073709551615 216646331289 0 4 0 16800975 18446604449653912832 0 0 -1 6 0 0 0
[pid=24583/tid=24599] ppid=24581 vsize=8536620 CPUtime=0 cores=0,2,4,6
/proc/24583/task/24599/stat : 24599 (java) S 24581 24583 24583 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869419426 8741498880 25876 33554432000 1073741824 1073778376 140736810643312 18446744073709551615 216646331289 0 4 0 16800975 18446604449653912832 0 0 -1 4 0 0 0
[pid=24583/tid=24600] ppid=24581 vsize=8536620 CPUtime=0 cores=0,2,4,6
/proc/24583/task/24600/stat : 24600 (java) S 24581 24583 24583 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 869419426 8741498880 25878 33554432000 1073741824 1073778376 140736810643312 18446744073709551615 216646331904 0 4 0 16800975 18446604449653912832 0 0 -1 0 0 0 0
[pid=24393/tid=24404] ppid=24391 vsize=444916 CPUtime=0 cores=0,2,4,6
/proc/24393/task/24404/stat : 24404 (python) S 24391 24393 23366 0 -1 4202560 37 931 0 0 0 0 0 0 18 0 9 0 869256108 455593984 27164 33554432000 4194304 5683644 140736076740128 18446744073709551615 216646338993 0 0 16781312 33554434 18446604449123068864 0 0 -1 4 0 0 0
[pid=24393/tid=24410] ppid=24391 vsize=444916 CPUtime=0 cores=0,2,4,6
/proc/24393/task/24410/stat : 24410 (python) S 24391 24393 23366 0 -1 4202560 42 931 0 0 0 0 0 0 18 0 9 0 869260931 455593984 27164 33554432000 4194304 5683644 140736076740128 18446744073709551615 216646338993 0 0 16781312 33554434 18446604449123068864 0 0 -1 4 0 0 0
[pid=24393/tid=24423] ppid=24391 vsize=444916 CPUtime=0 cores=0,2,4,6
/proc/24393/task/24423/stat : 24423 (python) S 24391 24393 23366 0 -1 4202560 29 931 0 0 0 0 0 0 25 0 9 0 869267547 455593984 27164 33554432000 4194304 5683644 140736076740128 18446744073709551615 216646338993 0 0 16781312 33554434 18446604449123068864 0 0 -1 4 0 0 0
[pid=24393/tid=24432] ppid=24391 vsize=444916 CPUtime=0 cores=0,2,4,6
/proc/24393/task/24432/stat : 24432 (python) S 24391 24393 23366 0 -1 4202560 35 931 0 0 0 0 0 0 18 0 9 0 869272335 455593984 27164 33554432000 4194304 5683644 140736076740128 18446744073709551615 216646338993 0 0 16781312 33554434 18446604449123068864 0 0 -1 0 0 0 0
[pid=24393/tid=24443] ppid=24391 vsize=444916 CPUtime=0 cores=0,2,4,6
/proc/24393/task/24443/stat : 24443 (python) S 24391 24393 23366 0 -1 4202560 29 931 0 0 0 0 0 0 20 0 9 0 869282122 455593984 27164 33554432000 4194304 5683644 140736076740128 18446744073709551615 216646338993 0 0 16781312 33554434 18446604449123068864 0 0 -1 0 0 0 0
[pid=24393/tid=24457] ppid=24391 vsize=444916 CPUtime=0 cores=0,2,4,6
/proc/24393/task/24457/stat : 24457 (python) S 24391 24393 23366 0 -1 4202560 26 931 0 0 0 0 0 0 20 0 9 0 869304548 455593984 27164 33554432000 4194304 5683644 140736076740128 18446744073709551615 216646338993 0 0 16781312 33554434 18446604449123068864 0 0 -1 0 0 0 0
[pid=24393/tid=24497] ppid=24391 vsize=444916 CPUtime=0 cores=0,2,4,6
/proc/24393/task/24497/stat : 24497 (python) S 24391 24393 23366 0 -1 4202560 30 931 0 0 0 0 0 0 20 0 9 0 869355192 455593984 27164 33554432000 4194304 5683644 140736076740128 18446744073709551615 216646338993 0 0 16781312 33554434 18446604449123068864 0 0 -1 0 0 0 0
[pid=24393/tid=24582] ppid=24391 vsize=444916 CPUtime=0 cores=0,2,4,6
/proc/24393/task/24582/stat : 24582 (python) S 24391 24393 23366 0 -1 4202560 29 931 0 0 0 0 0 0 20 0 9 0 869419421 455593984 27164 33554432000 4194304 5683644 140736076740128 18446744073709551615 216646338993 0 0 16781312 33554434 18446604449123068864 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1647.12
Current children cumulated vsize (KiB) 16768852
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 24393 and gives
# childrusage.ru_utime.tv_sec=22
# childrusage.ru_utime.tv_usec=315607
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=211967
# CPU time returned by wait4() is 22.5276
# while last known CPU time is 1647.12
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1639.7
CPU time (s): 1647.12
CPU user time (s): 1637.26
CPU system time (s): 9.86
CPU usage (%): 100.453
Max. virtual memory (cumulated for all children) (KiB): 16768852
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 22.3156
system time used= 0.211967
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 49777
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1031
involuntary context switches= 37
runsolver used 12.0462 second user time and 23.8084 second system time
The end