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-3482217-1307578777/watcher-3482217-1307578777 -o /tmp/evaluation-result-3482217-1307578777/solver-3482217-1307578777 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3482217-1307578777.opb -seed 156440586 -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.64 2.30 2.03 2/806 4416
/proc/meminfo: memFree=8421976/32950928 swapFree=34366004/67111528
[pid=4416] ppid=4414 vsize=15772 CPUtime=0 cores=0,2,4,6
/proc/4416/stat : 4416 (python) S 4414 4416 2236 0 -1 4202496 934 0 0 0 0 0 0 0 24 0 1 0 869476565 16150528 813 33554432000 4194304 5683644 140735271247456 18446744073709551615 235594864640 0 2147483391 16781312 2 18446744071699215550 0 0 17 2 0 0 0
/proc/4416/statm: 3943 813 356 364 0 430 0
[startup+0.08073 s]
/proc/loadavg: 2.64 2.30 2.03 2/806 4416
/proc/meminfo: memFree=8421976/32950928 swapFree=34366004/67111528
[pid=4416] ppid=4414 vsize=85616 CPUtime=0.06 cores=0,2,4,6
/proc/4416/stat : 4416 (python) S 4414 4416 2236 0 -1 4202496 2662 0 0 0 5 1 0 0 24 0 1 0 869476565 87670784 2381 33554432000 4194304 5683644 140735271247456 18446744073709551615 235594864640 0 2147483391 16781312 2 18446744071699215550 0 0 17 6 0 0 0
/proc/4416/statm: 21404 2381 715 364 0 1621 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 85616
[startup+0.101128 s]
/proc/loadavg: 2.64 2.30 2.03 2/806 4416
/proc/meminfo: memFree=8421976/32950928 swapFree=34366004/67111528
[pid=4416] ppid=4414 vsize=96124 CPUtime=0.07 cores=0,2,4,6
/proc/4416/stat : 4416 (python) R 4414 4416 2236 0 -1 4202496 3167 929 1 0 6 1 0 0 25 0 1 0 869476565 98430976 2483 33554432000 4194304 5683644 140735271247456 18446744073709551615 5177994 0 0 16781312 2 0 0 0 17 6 0 0 0
/proc/4416/statm: 24031 2483 792 364 0 1626 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 96124
[startup+0.301096 s]
/proc/loadavg: 2.64 2.30 2.03 2/806 4416
/proc/meminfo: memFree=8421976/32950928 swapFree=34366004/67111528
[pid=4416] ppid=4414 vsize=203276 CPUtime=0.24 cores=0,2,4,6
/proc/4416/stat : 4416 (python) S 4414 4416 2236 0 -1 4202496 6724 929 1 0 18 6 0 0 25 0 1 0 869476565 208154624 5003 33554432000 4194304 5683644 140735271247456 18446744073709551615 235594864640 0 2147483391 16781312 2 18446744071699215550 0 0 17 6 0 0 0
/proc/4416/statm: 50819 5003 1472 364 0 3781 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 203276
[startup+0.700972 s]
/proc/loadavg: 2.64 2.30 2.03 2/806 4416
/proc/meminfo: memFree=8421976/32950928 swapFree=34366004/67111528
[pid=4416] ppid=4414 vsize=298424 CPUtime=0.62 cores=0,2,4,6
/proc/4416/stat : 4416 (python) R 4414 4416 2236 0 -1 4202496 13044 929 1 0 52 10 0 0 25 0 1 0 869476565 305586176 10907 33554432000 4194304 5683644 140735271247456 18446744073709551615 4602976 0 0 16781312 2 0 0 0 17 6 0 0 0
/proc/4416/statm: 74606 10907 1781 364 0 9499 0
Current children cumulated CPU time (s) 0.62
Current children cumulated vsize (KiB) 298424
[startup+1.50083 s]
/proc/loadavg: 2.64 2.30 2.03 3/807 4421
/proc/meminfo: memFree=8362808/32950928 swapFree=34366004/67111528
[pid=4416] ppid=4414 vsize=328580 CPUtime=1.42 cores=0,2,4,6
/proc/4416/stat : 4416 (python) R 4414 4416 2236 0 -1 4202496 20409 929 1 0 131 11 0 0 25 0 1 0 869476565 336465920 18272 33554432000 4194304 5683644 140735271247456 18446744073709551615 4602368 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/4416/statm: 82145 18272 1781 364 0 17038 0
Current children cumulated CPU time (s) 1.42
Current children cumulated vsize (KiB) 328580
[startup+3.10055 s]
/proc/loadavg: 2.83 2.34 2.04 3/807 4421
/proc/meminfo: memFree=8331932/32950928 swapFree=34366004/67111528
[pid=4416] ppid=4414 vsize=336428 CPUtime=3.02 cores=0,2,4,6
/proc/4416/stat : 4416 (python) R 4414 4416 2236 0 -1 4202496 31428 929 1 0 290 12 0 0 25 0 1 0 869476565 344502272 20455 33554432000 4194304 5683644 140735271247456 18446744073709551615 47500913393131 0 0 16781312 33554434 0 0 0 17 2 0 0 0
/proc/4416/statm: 84107 20455 1816 364 0 19000 0
Current children cumulated CPU time (s) 3.02
Current children cumulated vsize (KiB) 336428
[startup+6.30103 s]
/proc/loadavg: 2.83 2.34 2.04 3/810 4424
/proc/meminfo: memFree=8288616/32950928 swapFree=34366004/67111528
[pid=4416] ppid=4414 vsize=350356 CPUtime=3.99 cores=0,2,4,6
/proc/4416/stat : 4416 (python) S 4414 4416 2236 0 -1 4202496 32630 929 1 0 387 12 0 0 25 0 2 0 869476565 358764544 21428 33554432000 4194304 5683644 140735271247456 18446744073709551615 235606693323 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0
/proc/4416/statm: 87589 21428 1870 364 0 22476 0
[pid=4422] ppid=4416 vsize=340112 CPUtime=0 cores=0,2,4,6
/proc/4422/stat : 4422 (python) S 4416 4416 2236 0 -1 4202560 747 0 0 0 0 0 0 0 15 0 1 0 869476973 348274688 19905 33554432000 4194304 5683644 140735271247456 18446744073709551615 235594886671 0 0 16781312 33554946 12066519204304486656 0 0 17 6 0 0 0
/proc/4422/statm: 85028 19905 351 364 0 19915 0
[pid=4424] ppid=4422 vsize=42404 CPUtime=2.21 cores=0,2,4,6
/proc/4424/stat : 4424 (wbo1.4a) R 4422 4424 4424 0 -1 4202496 13814 0 0 0 219 2 0 0 25 0 1 0 869476973 43421696 9528 33554432000 134512640 135751879 4294845920 18446744073709551615 134518928 0 0 16781312 3 0 0 0 17 0 0 0 0
/proc/4424/statm: 10601 9528 146 303 0 10296 0
[pid=4416/tid=4423] ppid=4414 vsize=350356 CPUtime=0 cores=0,2,4,6
/proc/4416/task/4423/stat : 4423 (python) S 4414 4416 2236 0 -1 4202560 28 929 0 0 0 0 0 0 25 0 2 0 869476973 358764544 21428 33554432000 4194304 5683644 140735271247456 18446744073709551615 235606690225 0 0 16781312 33554434 18446604443259993088 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 732872
[startup+12.7199 s]
/proc/loadavg: 2.70 2.33 2.04 3/810 4424
/proc/meminfo: memFree=8284208/32950928 swapFree=34366004/67111528
[pid=4416] ppid=4414 vsize=350356 CPUtime=3.99 cores=0,2,4,6
/proc/4416/stat : 4416 (python) S 4414 4416 2236 0 -1 4202496 32630 929 1 0 387 12 0 0 25 0 2 0 869476565 358764544 21428 33554432000 4194304 5683644 140735271247456 18446744073709551615 235606693323 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0
/proc/4416/statm: 87589 21428 1870 364 0 22476 0
[pid=4422] ppid=4416 vsize=340112 CPUtime=0.03 cores=0,2,4,6
/proc/4422/stat : 4422 (python) S 4416 4416 2236 0 -1 4202560 903 0 0 0 1 2 0 0 15 0 1 0 869476973 348274688 19929 33554432000 4194304 5683644 140735271247456 18446744073709551615 235594886671 0 0 16781312 33554946 72262103200705331 0 0 17 2 0 0 0
/proc/4422/statm: 85028 19929 375 364 0 19915 0
[pid=4424] ppid=4422 vsize=44384 CPUtime=8.63 cores=0,2,4,6
/proc/4424/stat : 4424 (wbo1.4a) R 4422 4424 4424 0 -1 4202496 14344 0 0 0 859 4 0 0 25 0 1 0 869476973 45449216 10058 33554432000 134512640 135751879 4294845920 18446744073709551615 134616273 0 0 16781312 3 0 0 0 17 0 0 0 0
/proc/4424/statm: 11096 10058 146 303 0 10791 0
[pid=4416/tid=4423] ppid=4414 vsize=350356 CPUtime=0 cores=0,2,4,6
/proc/4416/task/4423/stat : 4423 (python) S 4414 4416 2236 0 -1 4202560 28 929 0 0 0 0 0 0 25 0 2 0 869476973 358764544 21428 33554432000 4194304 5683644 140735271247456 18446744073709551615 235606690225 0 0 16781312 33554434 18446604443259993088 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 734852
[startup+25.5006 s]
/proc/loadavg: 2.59 2.32 2.04 3/810 4424
/proc/meminfo: memFree=8270568/32950928 swapFree=34366004/67111528
[pid=4416] ppid=4414 vsize=350356 CPUtime=3.99 cores=0,2,4,6
/proc/4416/stat : 4416 (python) S 4414 4416 2236 0 -1 4202496 32630 929 1 0 387 12 0 0 25 0 2 0 869476565 358764544 21428 33554432000 4194304 5683644 140735271247456 18446744073709551615 235606693323 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0
/proc/4416/statm: 87589 21428 1870 364 0 22476 0
[pid=4422] ppid=4416 vsize=340112 CPUtime=0.08 cores=0,2,4,6
/proc/4422/stat : 4422 (python) S 4416 4416 2236 0 -1 4202560 908 0 0 0 3 5 0 0 15 0 1 0 869476973 348274688 19929 33554432000 4194304 5683644 140735271247456 18446744073709551615 235594886671 0 0 16781312 33554946 72556772316949299 0 0 17 6 0 0 0
/proc/4422/statm: 85028 19929 375 364 0 19915 0
[pid=4424] ppid=4422 vsize=55508 CPUtime=21.41 cores=0,2,4,6
/proc/4424/stat : 4424 (wbo1.4a) R 4422 4424 4424 0 -1 4202496 17105 0 0 0 2133 8 0 0 25 0 1 0 869476973 56840192 12819 33554432000 134512640 135751879 4294845920 18446744073709551615 135270609 0 0 16781312 3 0 0 0 17 0 0 0 0
/proc/4424/statm: 13877 12819 146 303 0 13572 0
[pid=4416/tid=4423] ppid=4414 vsize=350356 CPUtime=0 cores=0,2,4,6
/proc/4416/task/4423/stat : 4423 (python) S 4414 4416 2236 0 -1 4202560 28 929 0 0 0 0 0 0 25 0 2 0 869476973 358764544 21428 33554432000 4194304 5683644 140735271247456 18446744073709551615 235606690225 0 0 16781312 33554434 18446604443259993088 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 745976
[startup+51.1011 s]
/proc/loadavg: 2.39 2.29 2.04 3/818 4433
/proc/meminfo: memFree=7499092/32950928 swapFree=34366004/67111528
[pid=4416] ppid=4414 vsize=360612 CPUtime=4.01 cores=0,2,4,6
/proc/4416/stat : 4416 (python) S 4414 4416 2236 0 -1 4202496 33511 929 1 0 389 12 0 0 20 0 3 0 869476565 369266688 21435 33554432000 4194304 5683644 140735271247456 18446744073709551615 235606693323 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0
/proc/4416/statm: 90153 21435 1873 364 0 25037 0
[pid=4422] ppid=4416 vsize=350356 CPUtime=0.2 cores=0,2,4,6
/proc/4422/stat : 4422 (python) S 4416 4416 2236 0 -1 4202560 1082 0 0 0 10 10 0 0 16 0 2 0 869476973 358764544 19965 33554432000 4194304 5683644 140735271247456 18446744073709551615 235606693323 0 0 16781312 33554946 18446744073709551615 0 0 17 4 0 0 0
/proc/4422/statm: 87589 19965 406 364 0 22476 0
[pid=4424] ppid=4422 vsize=72828 CPUtime=46.57 cores=0,2,4,6
/proc/4424/stat : 4424 (wbo1.4a) T 4422 4424 4424 0 -1 4202496 21411 0 0 0 4643 14 0 0 25 0 1 0 869476973 74575872 17125 33554432000 134512640 135751879 4294845920 18446744073709551615 134604814 0 0 16781312 3 18446744071562691360 0 0 17 0 0 0 0
/proc/4424/statm: 18207 17125 146 303 0 17902 0
[pid=4422/tid=4430] ppid=4416 vsize=350356 CPUtime=0 cores=0,2,4,6
/proc/4422/task/4430/stat : 4430 (python) S 4416 4416 2236 0 -1 4202560 45 0 0 0 0 0 0 0 16 0 2 0 869481631 358764544 19965 33554432000 4194304 5683644 140735271247456 18446744073709551615 235606690225 0 0 16781312 33554946 18446604437579462592 0 0 -1 4 0 0 0
[pid=4431] ppid=4416 vsize=350368 CPUtime=0 cores=0,2,4,6
/proc/4431/stat : 4431 (python) S 4416 4416 2236 0 -1 4202560 757 0 0 0 0 0 0 0 19 0 1 0 869481634 358776832 19906 33554432000 4194304 5683644 140735271247456 18446744073709551615 235594886726 0 0 16781312 33554946 8324889175161536770 0 0 17 2 0 0 0
/proc/4431/statm: 87592 19906 348 364 0 22476 0
[pid=4433] ppid=4431 vsize=67412 CPUtime=0.41 cores=0,2,4,6
/proc/4433/stat : 4433 (scip-2.0.1.linu) R 4431 4433 4433 0 -1 4202496 14860 0 0 0 40 1 0 0 21 0 1 0 869481634 69029888 14586 33554432000 4194304 13684479 140736292429408 18446744073709551615 10577808 0 0 16781312 0 0 0 0 17 4 0 0 0
/proc/4433/statm: 16853 14586 513 2317 0 14531 0
[pid=4416/tid=4423] ppid=4414 vsize=360612 CPUtime=0 cores=0,2,4,6
/proc/4416/task/4423/stat : 4423 (python) S 4414 4416 2236 0 -1 4202560 28 929 0 0 0 0 0 0 25 0 3 0 869476973 369266688 21435 33554432000 4194304 5683644 140735271247456 18446744073709551615 235606690225 0 0 16781312 33554434 18446604443259993088 0 0 -1 2 0 0 0
[pid=4416/tid=4432] ppid=4414 vsize=360612 CPUtime=0 cores=0,2,4,6
/proc/4416/task/4432/stat : 4432 (python) S 4414 4416 2236 0 -1 4202560 26 929 0 0 0 0 0 0 20 0 3 0 869481634 369266688 21435 33554432000 4194304 5683644 140735271247456 18446744073709551615 235606690225 0 0 16781312 33554434 18446604443259993088 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 51.19
Current children cumulated vsize (KiB) 1201576
[startup+102.301 s]
/proc/loadavg: 2.17 2.24 2.03 3/862 4478
/proc/meminfo: memFree=4973864/32950928 swapFree=34366004/67111528
[pid=4416] ppid=4414 vsize=370868 CPUtime=4.05 cores=0,2,4,6
/proc/4416/stat : 4416 (python) S 4414 4416 2236 0 -1 4202496 34403 929 1 0 392 13 0 0 20 0 4 0 869476565 379768832 21441 33554432000 4194304 5683644 140735271247456 18446744073709551615 235606693323 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/4416/statm: 92717 21441 1875 364 0 27598 0
[pid=4422] ppid=4416 vsize=350356 CPUtime=0.2 cores=0,2,4,6
/proc/4422/stat : 4422 (python) S 4416 4416 2236 0 -1 4202560 1082 0 0 0 10 10 0 0 16 0 2 0 869476973 358764544 19965 33554432000 4194304 5683644 140735271247456 18446744073709551615 235606693323 0 0 16781312 33554946 18446744073709551615 0 0 17 4 0 0 0
/proc/4422/statm: 87589 19965 406 364 0 22476 0
[pid=4424] ppid=4422 vsize=72828 CPUtime=46.57 cores=0,2,4,6
/proc/4424/stat : 4424 (wbo1.4a) T 4422 4424 4424 0 -1 4202496 21411 0 0 0 4643 14 0 0 25 0 1 0 869476973 74575872 17125 33554432000 134512640 135751879 4294845920 18446744073709551615 134604814 0 0 16781312 3 18446744071562691360 0 0 17 0 0 0 0
/proc/4424/statm: 18207 17125 146 303 0 17902 0
[pid=4422/tid=4430] ppid=4416 vsize=350356 CPUtime=0 cores=0,2,4,6
/proc/4422/task/4430/stat : 4430 (python) S 4416 4416 2236 0 -1 4202560 45 0 0 0 0 0 0 0 16 0 2 0 869481631 358764544 19965 33554432000 4194304 5683644 140735271247456 18446744073709551615 235606690225 0 0 16781312 33554946 18446604437579462592 0 0 -1 4 0 0 0
[pid=4431] ppid=4416 vsize=350368 CPUtime=0.21 cores=0,2,4,6
/proc/4431/stat : 4431 (python) S 4416 4416 2236 0 -1 4202560 1091 0 0 0 10 11 0 0 17 0 2 0 869481634 358776832 19955 33554432000 4194304 5683644 140735271247456 18446744073709551615 235606693323 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/4431/statm: 87592 19955 396 364 0 22476 0
[pid=4433] ppid=4431 vsize=1046712 CPUtime=46.88 cores=0,2,4,6
/proc/4433/stat : 4433 (scip-2.0.1.linu) T 4431 4433 4433 0 -1 4202496 261060 0 0 0 4607 81 0 0 25 0 1 0 869481634 1071833088 253132 33554432000 4194304 13684479 140736292429408 18446744073709551615 4508550 0 0 16781312 2 18446744071562691360 0 0 17 4 0 0 0
/proc/4433/statm: 261678 253132 663 2317 0 259356 0
[pid=4431/tid=4435] ppid=4416 vsize=350368 CPUtime=0 cores=0,2,4,6
/proc/4431/task/4435/stat : 4435 (python) S 4416 4416 2236 0 -1 4202560 46 0 0 0 0 0 0 0 17 0 2 0 869486323 358776832 19955 33554432000 4194304 5683644 140735271247456 18446744073709551615 235606690225 0 0 16781312 33554946 18446604445899295808 0 0 -1 6 0 0 0
[pid=4436] ppid=4416 vsize=360624 CPUtime=0.02 cores=0,2,4,6
/proc/4436/stat : 4436 (python) S 4416 4416 2236 0 -1 4202560 926 0 0 0 1 1 0 0 15 0 1 0 869486326 369278976 19934 33554432000 4194304 5683644 140735271247456 18446744073709551615 235594886726 0 0 16781312 33554946 15435136615189545218 0 0 17 2 0 0 0
/proc/4436/statm: 90156 19934 372 364 0 25037 0
[pid=4438] ppid=4436 vsize=8552708 CPUtime=6.6 cores=0,2,4,6
/proc/4438/stat : 4438 (java) S 4436 4438 4438 0 -1 4202496 169996 0 1 0 641 19 0 0 20 0 19 0 869486326 8757972992 163485 33554432000 1073741824 1073778376 140735883747440 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/4438/statm: 2138177 163485 2243 9 0 2128918 0
[pid=4438/tid=4439] ppid=4436 vsize=8552708 CPUtime=4.4 cores=0,2,4,6
/proc/4438/task/4439/stat : 4439 (java) R 4436 4438 4438 0 -1 4202560 119383 0 1 0 427 13 0 0 25 0 19 0 869486327 8757972992 163485 33554432000 1073741824 1073778376 140735883747440 18446744073709551615 46912506047485 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=4438/tid=4440] ppid=4436 vsize=8552708 CPUtime=0.06 cores=0,2,4,6
/proc/4438/task/4440/stat : 4440 (java) S 4436 4438 4438 0 -1 4202560 4047 0 0 0 6 0 0 0 15 0 19 0 869486328 8757972992 163485 33554432000 1073741824 1073778376 140735883747440 18446744073709551615 235606682521 0 4 0 16800975 18446604442857152704 0 0 -1 2 0 0 0
[pid=4438/tid=4441] ppid=4436 vsize=8552708 CPUtime=0.08 cores=0,2,4,6
/proc/4438/task/4441/stat : 4441 (java) S 4436 4438 4438 0 -1 4202560 6682 0 0 0 8 0 0 0 15 0 19 0 869486328 8757972992 163485 33554432000 1073741824 1073778376 140735883747440 18446744073709551615 235606682521 0 4 0 16800975 18446604442857152704 0 0 -1 4 0 0 0
[pid=4438/tid=4442] ppid=4436 vsize=8552708 CPUtime=0 cores=0,2,4,6
/proc/4438/task/4442/stat : 4442 (java) S 4436 4438 4438 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 869486328 8757972992 163485 33554432000 1073741824 1073778376 140735883747440 18446744073709551615 235606682521 0 4 0 16800975 18446604442857152704 0 0 -1 4 0 0 0
[pid=4438/tid=4443] ppid=4436 vsize=8552708 CPUtime=0.05 cores=0,2,4,6
/proc/4438/task/4443/stat : 4443 (java) S 4436 4438 4438 0 -1 4202560 4860 0 0 0 5 0 0 0 15 0 19 0 869486328 8757972992 163485 33554432000 1073741824 1073778376 140735883747440 18446744073709551615 235606682521 0 4 0 16800975 18446604442857152704 0 0 -1 4 0 0 0
[pid=4438/tid=4444] ppid=4436 vsize=8552708 CPUtime=0.08 cores=0,2,4,6
/proc/4438/task/4444/stat : 4444 (java) S 4436 4438 4438 0 -1 4202560 7427 0 0 0 8 0 0 0 16 0 19 0 869486328 8757972992 163485 33554432000 1073741824 1073778376 140735883747440 18446744073709551615 235606682521 0 4 0 16800975 18446604442857152704 0 0 -1 6 0 0 0
################
# More data... #
################
[pid=4431] ppid=4416 vsize=350368 CPUtime=0.21 cores=0,2,4,6
/proc/4431/stat : 4431 (python) S 4416 4416 2236 0 -1 4202560 1091 0 0 0 10 11 0 0 17 0 2 0 869481634 358776832 19907 33554432000 4194304 5683644 140735271247456 18446744073709551615 235606693323 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/4431/statm: 87592 19907 396 364 0 22476 0
[pid=4433] ppid=4431 vsize=1046712 CPUtime=46.88 cores=0,2,4,6
/proc/4433/stat : 4433 (scip-2.0.1.linu) T 4431 4433 4433 0 -1 4202496 261060 0 0 0 4607 81 0 0 25 0 1 0 869481634 1071833088 253132 33554432000 4194304 13684479 140736292429408 18446744073709551615 4508550 0 0 16781312 2 18446744071562691360 0 0 17 4 0 0 0
/proc/4433/statm: 261678 253132 663 2317 0 259356 0
[pid=4431/tid=4435] ppid=4416 vsize=350368 CPUtime=0 cores=0,2,4,6
/proc/4431/task/4435/stat : 4435 (python) S 4416 4416 2236 0 -1 4202560 46 0 0 0 0 0 0 0 17 0 2 0 869486323 358776832 19907 33554432000 4194304 5683644 140735271247456 18446744073709551615 235606690225 0 0 16781312 33554946 18446604445899295808 0 0 -1 6 0 0 0
[pid=4436] ppid=4416 vsize=360624 CPUtime=0.21 cores=0,2,4,6
/proc/4436/stat : 4436 (python) S 4416 4416 2236 0 -1 4202560 1101 0 0 0 10 11 0 0 17 0 2 0 869486326 369278976 19943 33554432000 4194304 5683644 140735271247456 18446744073709551615 235606693323 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/4436/statm: 90156 19943 396 364 0 25037 0
[pid=4438] ppid=4436 vsize=8552708 CPUtime=51.39 cores=0,2,4,6
/proc/4438/stat : 4438 (java) T 4436 4438 4438 0 -1 4202496 725331 0 1 0 5048 91 0 0 18 0 19 0 869486326 8757972992 712990 33554432000 1073741824 1073778376 140735883747440 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/4438/statm: 2138177 712990 2247 9 0 2128918 0
[pid=4438/tid=4439] ppid=4436 vsize=8552708 CPUtime=48.19 cores=0,2,4,6
/proc/4438/task/4439/stat : 4439 (java) T 4436 4438 4438 0 -1 4202560 630119 0 1 0 4741 78 0 0 25 0 19 0 869486327 8757972992 712990 33554432000 1073741824 1073778376 140735883747440 18446744073709551615 46912506039840 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=4438/tid=4440] ppid=4436 vsize=8552708 CPUtime=0.17 cores=0,2,4,6
/proc/4438/task/4440/stat : 4440 (java) T 4436 4438 4438 0 -1 4202560 10080 0 0 0 16 1 0 0 15 0 19 0 869486328 8757972992 712990 33554432000 1073741824 1073778376 140735883747440 18446744073709551615 235606682521 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=4438/tid=4441] ppid=4436 vsize=8552708 CPUtime=0.16 cores=0,2,4,6
/proc/4438/task/4441/stat : 4441 (java) T 4436 4438 4438 0 -1 4202560 11389 0 0 0 15 1 0 0 15 0 19 0 869486328 8757972992 712990 33554432000 1073741824 1073778376 140735883747440 18446744073709551615 235606682521 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=4438/tid=4442] ppid=4436 vsize=8552708 CPUtime=0.09 cores=0,2,4,6
/proc/4438/task/4442/stat : 4442 (java) T 4436 4438 4438 0 -1 4202560 5812 0 0 0 9 0 0 0 15 0 19 0 869486328 8757972992 712990 33554432000 1073741824 1073778376 140735883747440 18446744073709551615 235606682521 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=4438/tid=4443] ppid=4436 vsize=8552708 CPUtime=0.16 cores=0,2,4,6
/proc/4438/task/4443/stat : 4443 (java) T 4436 4438 4438 0 -1 4202560 11820 0 0 0 15 1 0 0 15 0 19 0 869486328 8757972992 712990 33554432000 1073741824 1073778376 140735883747440 18446744073709551615 235606682521 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=4438/tid=4444] ppid=4436 vsize=8552708 CPUtime=0.19 cores=0,2,4,6
/proc/4438/task/4444/stat : 4444 (java) T 4436 4438 4438 0 -1 4202560 13968 0 0 0 17 2 0 0 15 0 19 0 869486328 8757972992 712990 33554432000 1073741824 1073778376 140735883747440 18446744073709551615 235606682521 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=4438/tid=4445] ppid=4436 vsize=8552708 CPUtime=0.13 cores=0,2,4,6
/proc/4438/task/4445/stat : 4445 (java) T 4436 4438 4438 0 -1 4202560 10300 0 0 0 12 1 0 0 15 0 19 0 869486328 8757972992 712990 33554432000 1073741824 1073778376 140735883747440 18446744073709551615 235606682521 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=4438/tid=4446] ppid=4436 vsize=8552708 CPUtime=0.13 cores=0,2,4,6
/proc/4438/task/4446/stat : 4446 (java) T 4436 4438 4438 0 -1 4202560 8237 0 0 0 12 1 0 0 15 0 19 0 869486328 8757972992 712990 33554432000 1073741824 1073778376 140735883747440 18446744073709551615 235606682521 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=4438/tid=4447] ppid=4436 vsize=8552708 CPUtime=0.1 cores=0,2,4,6
/proc/4438/task/4447/stat : 4447 (java) T 4436 4438 4438 0 -1 4202560 6912 0 0 0 9 1 0 0 15 0 19 0 869486328 8757972992 712990 33554432000 1073741824 1073778376 140735883747440 18446744073709551615 235606682521 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=4438/tid=4448] ppid=4436 vsize=8552708 CPUtime=0 cores=0,2,4,6
/proc/4438/task/4448/stat : 4448 (java) T 4436 4438 4438 0 -1 4202560 1274 0 0 0 0 0 0 0 15 0 19 0 869486329 8757972992 712990 33554432000 1073741824 1073778376 140735883747440 18446744073709551615 235606683136 0 0 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=4438/tid=4449] ppid=4436 vsize=8552708 CPUtime=0 cores=0,2,4,6
/proc/4438/task/4449/stat : 4449 (java) T 4436 4438 4438 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 869486329 8757972992 712990 33554432000 1073741824 1073778376 140735883747440 18446744073709551615 235606682521 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=4438/tid=4450] ppid=4436 vsize=8552708 CPUtime=0 cores=0,2,4,6
/proc/4438/task/4450/stat : 4450 (java) T 4436 4438 4438 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 869486329 8757972992 712990 33554432000 1073741824 1073778376 140735883747440 18446744073709551615 235606682521 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=4438/tid=4451] ppid=4436 vsize=8552708 CPUtime=0 cores=0,2,4,6
/proc/4438/task/4451/stat : 4451 (java) T 4436 4438 4438 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869486331 8757972992 712990 33554432000 1073741824 1073778376 140735883747440 18446744073709551615 235606690225 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=4438/tid=4452] ppid=4436 vsize=8552708 CPUtime=0.91 cores=0,2,4,6
/proc/4438/task/4452/stat : 4452 (java) T 4436 4438 4438 0 -1 4202560 6304 0 0 0 91 0 0 0 15 0 19 0 869486331 8757972992 712990 33554432000 1073741824 1073778376 140735883747440 18446744073709551615 235606682521 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=4438/tid=4453] ppid=4436 vsize=8552708 CPUtime=1.05 cores=0,2,4,6
/proc/4438/task/4453/stat : 4453 (java) T 4436 4438 4438 0 -1 4202560 7723 0 0 0 105 0 0 0 15 0 19 0 869486331 8757972992 712990 33554432000 1073741824 1073778376 140735883747440 18446744073709551615 235606682521 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=4438/tid=4454] ppid=4436 vsize=8552708 CPUtime=0 cores=0,2,4,6
/proc/4438/task/4454/stat : 4454 (java) T 4436 4438 4438 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869486331 8757972992 712990 33554432000 1073741824 1073778376 140735883747440 18446744073709551615 235606682521 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=4438/tid=4455] ppid=4436 vsize=8552708 CPUtime=0 cores=0,2,4,6
/proc/4438/task/4455/stat : 4455 (java) T 4436 4438 4438 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 869486331 8757972992 712990 33554432000 1073741824 1073778376 140735883747440 18446744073709551615 235606683136 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=4438/tid=4477] ppid=4436 vsize=8552708 CPUtime=0 cores=0,2,4,6
/proc/4438/task/4477/stat : 4477 (java) T 4436 4438 4438 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 869486497 8757972992 712990 33554432000 1073741824 1073778376 140735883747440 18446744073709551615 235606683136 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=4436/tid=4485] ppid=4416 vsize=360624 CPUtime=0 cores=0,2,4,6
/proc/4436/task/4485/stat : 4485 (python) S 4416 4416 2236 0 -1 4202560 46 0 0 0 0 0 0 0 17 0 2 0 869491203 369278976 19943 33554432000 4194304 5683644 140735271247456 18446744073709551615 235606690225 0 0 16781312 33554946 18446604444333802752 0 0 -1 6 0 0 0
[pid=4487] ppid=4416 vsize=370880 CPUtime=7.05 cores=0,2,4,6
/proc/4487/stat : 4487 (python) S 4416 4416 2236 0 -1 4202560 1055 0 0 0 347 358 0 0 15 0 1 0 869491206 379781120 19938 33554432000 4194304 5683644 140735271247456 18446744073709551615 235594886726 0 0 16781312 33554946 72556772316949299 0 0 17 6 0 0 0
/proc/4487/statm: 92720 19938 373 364 0 27598 0
[pid=4490] ppid=4487 vsize=1113680 CPUtime=1643.5 cores=0,2,4,6
/proc/4490/stat : 4490 (bsolo_pb10) R 4487 4490 4490 0 -1 4202496 18687048 0 0 0 162145 2205 0 0 25 0 1 0 869491206 1140408320 275836 33554432000 134512640 137138936 4292787920 18446744073709551615 134542508 0 0 16781312 16384 0 0 0 17 2 0 0 0
/proc/4490/statm: 278420 275836 192 642 0 277776 0
[pid=4416/tid=4423] ppid=4414 vsize=381124 CPUtime=0 cores=0,2,4,6
/proc/4416/task/4423/stat : 4423 (python) S 4414 4416 2236 0 -1 4202560 28 929 0 0 0 0 0 0 25 0 5 0 869476973 390270976 21447 33554432000 4194304 5683644 140735271247456 18446744073709551615 235606690225 0 0 16781312 33554434 18446604443259993088 0 0 -1 2 0 0 0
[pid=4416/tid=4432] ppid=4414 vsize=381124 CPUtime=0 cores=0,2,4,6
/proc/4416/task/4432/stat : 4432 (python) S 4414 4416 2236 0 -1 4202560 26 929 0 0 0 0 0 0 20 0 5 0 869481634 390270976 21447 33554432000 4194304 5683644 140735271247456 18446744073709551615 235606690225 0 0 16781312 33554434 18446604443259993088 0 0 -1 2 0 0 0
[pid=4416/tid=4437] ppid=4414 vsize=381124 CPUtime=0 cores=0,2,4,6
/proc/4416/task/4437/stat : 4437 (python) S 4414 4416 2236 0 -1 4202560 30 929 0 0 0 0 0 0 20 0 5 0 869486326 390270976 21447 33554432000 4194304 5683644 140735271247456 18446744073709551615 235606690225 0 0 16781312 33554434 18446604443259993088 0 0 -1 4 0 0 0
[pid=4416/tid=4488] ppid=4414 vsize=381124 CPUtime=0 cores=0,2,4,6
/proc/4416/task/4488/stat : 4488 (python) S 4414 4416 2236 0 -1 4202560 30 929 0 0 0 0 0 0 20 0 5 0 869491206 390270976 21447 33554432000 4194304 5683644 140735271247456 18446744073709551615 235606690225 0 0 16781312 33554434 18446604443259993088 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 12599280
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1790.1 s]
/proc/loadavg: 1.00 1.02 1.18 2/853 4576
/proc/meminfo: memFree=98064/32950928 swapFree=34364084/67111528
[pid=4416] ppid=4414 vsize=381124 CPUtime=4.07 cores=0,2,4,6
/proc/4416/stat : 4416 (python) S 4414 4416 2236 0 -1 4202496 35293 929 1 0 394 13 0 0 20 0 5 0 869476565 390270976 21447 33554432000 4194304 5683644 140735271247456 18446744073709551615 235606693323 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/4416/statm: 95281 21447 1877 364 0 30159 0
[pid=4422] ppid=4416 vsize=350356 CPUtime=0.2 cores=0,2,4,6
/proc/4422/stat : 4422 (python) S 4416 4416 2236 0 -1 4202560 1082 0 0 0 10 10 0 0 16 0 2 0 869476973 358764544 19522 33554432000 4194304 5683644 140735271247456 18446744073709551615 235606693323 0 0 16781312 33554946 18446744073709551615 0 0 17 4 0 0 0
/proc/4422/statm: 87589 19522 406 364 0 22476 0
[pid=4424] ppid=4422 vsize=72828 CPUtime=46.57 cores=0,2,4,6
/proc/4424/stat : 4424 (wbo1.4a) T 4422 4424 4424 0 -1 4202496 21411 0 0 0 4643 14 0 0 25 0 1 0 869476973 74575872 17125 33554432000 134512640 135751879 4294845920 18446744073709551615 134604814 0 0 16781312 3 18446744071562691360 0 0 17 0 0 0 0
/proc/4424/statm: 18207 17125 146 303 0 17902 0
[pid=4422/tid=4430] ppid=4416 vsize=350356 CPUtime=0 cores=0,2,4,6
/proc/4422/task/4430/stat : 4430 (python) S 4416 4416 2236 0 -1 4202560 45 0 0 0 0 0 0 0 16 0 2 0 869481631 358764544 19522 33554432000 4194304 5683644 140735271247456 18446744073709551615 235606690225 0 0 16781312 33554946 18446604437579462592 0 0 -1 4 0 0 0
[pid=4431] ppid=4416 vsize=350368 CPUtime=0.21 cores=0,2,4,6
/proc/4431/stat : 4431 (python) S 4416 4416 2236 0 -1 4202560 1091 0 0 0 10 11 0 0 17 0 2 0 869481634 358776832 19907 33554432000 4194304 5683644 140735271247456 18446744073709551615 235606693323 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/4431/statm: 87592 19907 396 364 0 22476 0
[pid=4433] ppid=4431 vsize=1046712 CPUtime=46.88 cores=0,2,4,6
/proc/4433/stat : 4433 (scip-2.0.1.linu) T 4431 4433 4433 0 -1 4202496 261060 0 0 0 4607 81 0 0 25 0 1 0 869481634 1071833088 253132 33554432000 4194304 13684479 140736292429408 18446744073709551615 4508550 0 0 16781312 2 18446744071562691360 0 0 17 4 0 0 0
/proc/4433/statm: 261678 253132 663 2317 0 259356 0
[pid=4431/tid=4435] ppid=4416 vsize=350368 CPUtime=0 cores=0,2,4,6
/proc/4431/task/4435/stat : 4435 (python) S 4416 4416 2236 0 -1 4202560 46 0 0 0 0 0 0 0 17 0 2 0 869486323 358776832 19907 33554432000 4194304 5683644 140735271247456 18446744073709551615 235606690225 0 0 16781312 33554946 18446604445899295808 0 0 -1 6 0 0 0
[pid=4436] ppid=4416 vsize=360624 CPUtime=0.21 cores=0,2,4,6
/proc/4436/stat : 4436 (python) S 4416 4416 2236 0 -1 4202560 1101 0 0 0 10 11 0 0 17 0 2 0 869486326 369278976 19943 33554432000 4194304 5683644 140735271247456 18446744073709551615 235606693323 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/4436/statm: 90156 19943 396 364 0 25037 0
[pid=4438] ppid=4436 vsize=8552708 CPUtime=51.39 cores=0,2,4,6
/proc/4438/stat : 4438 (java) T 4436 4438 4438 0 -1 4202496 725331 0 1 0 5048 91 0 0 18 0 19 0 869486326 8757972992 712990 33554432000 1073741824 1073778376 140735883747440 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/4438/statm: 2138177 712990 2247 9 0 2128918 0
[pid=4438/tid=4439] ppid=4436 vsize=8552708 CPUtime=48.19 cores=0,2,4,6
/proc/4438/task/4439/stat : 4439 (java) T 4436 4438 4438 0 -1 4202560 630119 0 1 0 4741 78 0 0 25 0 19 0 869486327 8757972992 712990 33554432000 1073741824 1073778376 140735883747440 18446744073709551615 46912506039840 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=4438/tid=4440] ppid=4436 vsize=8552708 CPUtime=0.17 cores=0,2,4,6
/proc/4438/task/4440/stat : 4440 (java) T 4436 4438 4438 0 -1 4202560 10080 0 0 0 16 1 0 0 15 0 19 0 869486328 8757972992 712990 33554432000 1073741824 1073778376 140735883747440 18446744073709551615 235606682521 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=4438/tid=4441] ppid=4436 vsize=8552708 CPUtime=0.16 cores=0,2,4,6
/proc/4438/task/4441/stat : 4441 (java) T 4436 4438 4438 0 -1 4202560 11389 0 0 0 15 1 0 0 15 0 19 0 869486328 8757972992 712990 33554432000 1073741824 1073778376 140735883747440 18446744073709551615 235606682521 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=4438/tid=4442] ppid=4436 vsize=8552708 CPUtime=0.09 cores=0,2,4,6
/proc/4438/task/4442/stat : 4442 (java) T 4436 4438 4438 0 -1 4202560 5812 0 0 0 9 0 0 0 15 0 19 0 869486328 8757972992 712990 33554432000 1073741824 1073778376 140735883747440 18446744073709551615 235606682521 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=4438/tid=4443] ppid=4436 vsize=8552708 CPUtime=0.16 cores=0,2,4,6
/proc/4438/task/4443/stat : 4443 (java) T 4436 4438 4438 0 -1 4202560 11820 0 0 0 15 1 0 0 15 0 19 0 869486328 8757972992 712990 33554432000 1073741824 1073778376 140735883747440 18446744073709551615 235606682521 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=4438/tid=4444] ppid=4436 vsize=8552708 CPUtime=0.19 cores=0,2,4,6
/proc/4438/task/4444/stat : 4444 (java) T 4436 4438 4438 0 -1 4202560 13968 0 0 0 17 2 0 0 15 0 19 0 869486328 8757972992 712990 33554432000 1073741824 1073778376 140735883747440 18446744073709551615 235606682521 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=4438/tid=4445] ppid=4436 vsize=8552708 CPUtime=0.13 cores=0,2,4,6
/proc/4438/task/4445/stat : 4445 (java) T 4436 4438 4438 0 -1 4202560 10300 0 0 0 12 1 0 0 15 0 19 0 869486328 8757972992 712990 33554432000 1073741824 1073778376 140735883747440 18446744073709551615 235606682521 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=4438/tid=4446] ppid=4436 vsize=8552708 CPUtime=0.13 cores=0,2,4,6
/proc/4438/task/4446/stat : 4446 (java) T 4436 4438 4438 0 -1 4202560 8237 0 0 0 12 1 0 0 15 0 19 0 869486328 8757972992 712990 33554432000 1073741824 1073778376 140735883747440 18446744073709551615 235606682521 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=4438/tid=4447] ppid=4436 vsize=8552708 CPUtime=0.1 cores=0,2,4,6
/proc/4438/task/4447/stat : 4447 (java) T 4436 4438 4438 0 -1 4202560 6912 0 0 0 9 1 0 0 15 0 19 0 869486328 8757972992 712990 33554432000 1073741824 1073778376 140735883747440 18446744073709551615 235606682521 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=4438/tid=4448] ppid=4436 vsize=8552708 CPUtime=0 cores=0,2,4,6
/proc/4438/task/4448/stat : 4448 (java) T 4436 4438 4438 0 -1 4202560 1274 0 0 0 0 0 0 0 15 0 19 0 869486329 8757972992 712990 33554432000 1073741824 1073778376 140735883747440 18446744073709551615 235606683136 0 0 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=4438/tid=4449] ppid=4436 vsize=8552708 CPUtime=0 cores=0,2,4,6
/proc/4438/task/4449/stat : 4449 (java) T 4436 4438 4438 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 869486329 8757972992 712990 33554432000 1073741824 1073778376 140735883747440 18446744073709551615 235606682521 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=4438/tid=4450] ppid=4436 vsize=8552708 CPUtime=0 cores=0,2,4,6
/proc/4438/task/4450/stat : 4450 (java) T 4436 4438 4438 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 869486329 8757972992 712990 33554432000 1073741824 1073778376 140735883747440 18446744073709551615 235606682521 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=4438/tid=4451] ppid=4436 vsize=8552708 CPUtime=0 cores=0,2,4,6
/proc/4438/task/4451/stat : 4451 (java) T 4436 4438 4438 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869486331 8757972992 712990 33554432000 1073741824 1073778376 140735883747440 18446744073709551615 235606690225 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=4438/tid=4452] ppid=4436 vsize=8552708 CPUtime=0.91 cores=0,2,4,6
/proc/4438/task/4452/stat : 4452 (java) T 4436 4438 4438 0 -1 4202560 6304 0 0 0 91 0 0 0 15 0 19 0 869486331 8757972992 712990 33554432000 1073741824 1073778376 140735883747440 18446744073709551615 235606682521 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=4438/tid=4453] ppid=4436 vsize=8552708 CPUtime=1.05 cores=0,2,4,6
/proc/4438/task/4453/stat : 4453 (java) T 4436 4438 4438 0 -1 4202560 7723 0 0 0 105 0 0 0 15 0 19 0 869486331 8757972992 712990 33554432000 1073741824 1073778376 140735883747440 18446744073709551615 235606682521 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=4438/tid=4454] ppid=4436 vsize=8552708 CPUtime=0 cores=0,2,4,6
/proc/4438/task/4454/stat : 4454 (java) T 4436 4438 4438 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869486331 8757972992 712990 33554432000 1073741824 1073778376 140735883747440 18446744073709551615 235606682521 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=4438/tid=4455] ppid=4436 vsize=8552708 CPUtime=0 cores=0,2,4,6
/proc/4438/task/4455/stat : 4455 (java) T 4436 4438 4438 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 869486331 8757972992 712990 33554432000 1073741824 1073778376 140735883747440 18446744073709551615 235606683136 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=4438/tid=4477] ppid=4436 vsize=8552708 CPUtime=0 cores=0,2,4,6
/proc/4438/task/4477/stat : 4477 (java) T 4436 4438 4438 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 869486497 8757972992 712990 33554432000 1073741824 1073778376 140735883747440 18446744073709551615 235606683136 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=4436/tid=4485] ppid=4416 vsize=360624 CPUtime=0 cores=0,2,4,6
/proc/4436/task/4485/stat : 4485 (python) S 4416 4416 2236 0 -1 4202560 46 0 0 0 0 0 0 0 17 0 2 0 869491203 369278976 19943 33554432000 4194304 5683644 140735271247456 18446744073709551615 235606690225 0 0 16781312 33554946 18446604444333802752 0 0 -1 6 0 0 0
[pid=4487] ppid=4416 vsize=370880 CPUtime=7.05 cores=0,2,4,6
/proc/4487/stat : 4487 (python) S 4416 4416 2236 0 -1 4202560 1055 0 0 0 347 358 0 0 15 0 1 0 869491206 379781120 19938 33554432000 4194304 5683644 140735271247456 18446744073709551615 235594886726 0 0 16781312 33554946 72556772316949299 0 0 17 6 0 0 0
/proc/4487/statm: 92720 19938 373 364 0 27598 0
[pid=4490] ppid=4487 vsize=1113680 CPUtime=1643.5 cores=0,2,4,6
/proc/4490/stat : 4490 (bsolo_pb10) R 4487 4490 4490 0 -1 4202496 18687048 0 0 0 162145 2205 0 0 25 0 1 0 869491206 1140408320 275836 33554432000 134512640 137138936 4292787920 18446744073709551615 134542508 0 0 16781312 16384 0 0 0 17 2 0 0 0
/proc/4490/statm: 278420 275836 192 642 0 277776 0
[pid=4416/tid=4423] ppid=4414 vsize=381124 CPUtime=0 cores=0,2,4,6
/proc/4416/task/4423/stat : 4423 (python) S 4414 4416 2236 0 -1 4202560 28 929 0 0 0 0 0 0 25 0 5 0 869476973 390270976 21447 33554432000 4194304 5683644 140735271247456 18446744073709551615 235606690225 0 0 16781312 33554434 18446604443259993088 0 0 -1 2 0 0 0
[pid=4416/tid=4432] ppid=4414 vsize=381124 CPUtime=0 cores=0,2,4,6
/proc/4416/task/4432/stat : 4432 (python) S 4414 4416 2236 0 -1 4202560 26 929 0 0 0 0 0 0 20 0 5 0 869481634 390270976 21447 33554432000 4194304 5683644 140735271247456 18446744073709551615 235606690225 0 0 16781312 33554434 18446604443259993088 0 0 -1 2 0 0 0
[pid=4416/tid=4437] ppid=4414 vsize=381124 CPUtime=0 cores=0,2,4,6
/proc/4416/task/4437/stat : 4437 (python) S 4414 4416 2236 0 -1 4202560 30 929 0 0 0 0 0 0 20 0 5 0 869486326 390270976 21447 33554432000 4194304 5683644 140735271247456 18446744073709551615 235606690225 0 0 16781312 33554434 18446604443259993088 0 0 -1 4 0 0 0
[pid=4416/tid=4488] ppid=4414 vsize=381124 CPUtime=0 cores=0,2,4,6
/proc/4416/task/4488/stat : 4488 (python) S 4414 4416 2236 0 -1 4202560 30 929 0 0 0 0 0 0 20 0 5 0 869491206 390270976 21447 33554432000 4194304 5683644 140735271247456 18446744073709551615 235606690225 0 0 16781312 33554434 18446604443259993088 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 12599280
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 4416 and gives
# childrusage.ru_utime.tv_sec=3
# childrusage.ru_utime.tv_usec=944400
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=140978
# CPU time returned by wait4() is 4.08538
# while last known CPU time is 1800.08
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1790.16
CPU time (s): 1800.08
CPU user time (s): 1772.14
CPU system time (s): 27.94
CPU usage (%): 100.554
Max. virtual memory (cumulated for all children) (KiB): 12599280
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.9444
system time used= 0.140978
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 36224
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= 1005
involuntary context switches= 35
runsolver used 15.3027 second user time and 32.3821 second system time
The end