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-3481205-1307578631/watcher-3481205-1307578631 -o /tmp/evaluation-result-3481205-1307578631/solver-3481205-1307578631 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3481205-1307578631.opb -seed 965774613 -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.09 2.07 1.89 2/800 9405
/proc/meminfo: memFree=11254680/32951124 swapFree=64303752/67111528
[pid=9405] ppid=9403 vsize=15772 CPUtime=0 cores=0,2,4,6
/proc/9405/stat : 9405 (python) R 9403 9405 7805 0 -1 4202496 870 0 0 0 0 0 0 0 17 0 1 0 850279019 16150528 752 33554432000 4194304 5683644 140735585589968 18446744073709551615 4540219 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/9405/statm: 3943 752 343 364 0 430 0
[startup+0.0664501 s]
/proc/loadavg: 2.09 2.07 1.89 2/800 9405
/proc/meminfo: memFree=11254680/32951124 swapFree=64303752/67111528
[pid=9405] ppid=9403 vsize=50012 CPUtime=0.05 cores=0,2,4,6
/proc/9405/stat : 9405 (python) S 9403 9405 7805 0 -1 4202496 1969 0 0 0 4 1 0 0 17 0 1 0 850279019 51212288 1732 33554432000 4194304 5683644 140735585589968 18446744073709551615 233510295552 0 2147483391 16781312 2 18446744071699207358 0 0 17 2 0 0 0
/proc/9405/statm: 12503 1732 480 364 0 1203 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 50012
[startup+0.100447 s]
/proc/loadavg: 2.09 2.07 1.89 2/800 9405
/proc/meminfo: memFree=11254680/32951124 swapFree=64303752/67111528
[pid=9405] ppid=9403 vsize=96124 CPUtime=0.07 cores=0,2,4,6
/proc/9405/stat : 9405 (python) R 9403 9405 7805 0 -1 4202496 3169 931 1 0 5 2 0 0 18 0 1 0 850279019 98430976 2483 33554432000 4194304 5683644 140735585589968 18446744073709551615 5178079 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/9405/statm: 24031 2483 792 364 0 1626 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 96124
[startup+0.300427 s]
/proc/loadavg: 2.09 2.07 1.89 2/800 9405
/proc/meminfo: memFree=11254680/32951124 swapFree=64303752/67111528
[pid=9405] ppid=9403 vsize=195524 CPUtime=0.22 cores=0,2,4,6
/proc/9405/stat : 9405 (python) S 9403 9405 7805 0 -1 4202496 6587 931 1 0 15 7 0 0 17 0 1 0 850279019 200216576 4878 33554432000 4194304 5683644 140735585589968 18446744073709551615 233510295552 0 2147483391 16781312 2 18446744071699207358 0 0 17 2 0 0 0
/proc/9405/statm: 48882 4879 1427 364 0 3677 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 195524
[startup+0.700365 s]
/proc/loadavg: 2.09 2.07 1.89 2/800 9405
/proc/meminfo: memFree=11254680/32951124 swapFree=64303752/67111528
[pid=9405] ppid=9403 vsize=286076 CPUtime=0.6 cores=0,2,4,6
/proc/9405/stat : 9405 (python) R 9403 9405 7805 0 -1 4202496 10532 931 1 0 50 10 0 0 17 0 1 0 850279019 292941824 7898 33554432000 4194304 5683644 140735585589968 18446744073709551615 4531493 0 0 16781312 33554434 0 0 0 17 0 0 0 0
/proc/9405/statm: 71519 7898 1816 364 0 6412 0
Current children cumulated CPU time (s) 0.6
Current children cumulated vsize (KiB) 286076
[startup+1.50122 s]
/proc/loadavg: 2.09 2.07 1.89 3/804 9413
/proc/meminfo: memFree=11192648/32951124 swapFree=64303752/67111528
[pid=9405] ppid=9403 vsize=296508 CPUtime=0.67 cores=0,2,4,6
/proc/9405/stat : 9405 (python) S 9403 9405 7805 0 -1 4202496 10825 931 1 0 57 10 0 0 20 0 2 0 850279019 303624192 7969 33554432000 4194304 5683644 140735585589968 18446744073709551615 233522124235 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0
/proc/9405/statm: 74127 7969 1862 364 0 9014 0
[pid=9411] ppid=9405 vsize=286264 CPUtime=0 cores=0,2,4,6
/proc/9411/stat : 9411 (python) S 9405 9405 7805 0 -1 4202560 743 0 0 0 0 0 0 0 16 0 1 0 850279096 293134336 6455 33554432000 4194304 5683644 140735585589968 18446744073709551615 233510317583 0 0 16781312 33554946 9044007231841861891 0 0 17 0 0 0 0
/proc/9411/statm: 71566 6455 352 364 0 6453 0
[pid=9413] ppid=9411 vsize=61360 CPUtime=0.71 cores=0,2,4,6
/proc/9413/stat : 9413 (scip-2.0.1.linu) R 9411 9413 9413 0 -1 4202496 14363 0 0 0 70 1 0 0 18 0 1 0 850279097 62832640 13060 33554432000 4194304 13684479 140736593934048 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/9413/statm: 15340 13060 768 2317 0 13018 0
[pid=9405/tid=9412] ppid=9403 vsize=296508 CPUtime=0 cores=0,2,4,6
/proc/9405/task/9412/stat : 9412 (python) S 9403 9405 7805 0 -1 4202560 27 931 0 0 0 0 0 0 20 0 2 0 850279097 303624192 7969 33554432000 4194304 5683644 140735585589968 18446744073709551615 233522121137 0 0 16781312 33554434 18446604441421703872 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.38
Current children cumulated vsize (KiB) 644132
[startup+3.10091 s]
/proc/loadavg: 2.09 2.07 1.89 3/804 9413
/proc/meminfo: memFree=11172636/32951124 swapFree=64303752/67111528
[pid=9405] ppid=9403 vsize=296508 CPUtime=0.67 cores=0,2,4,6
/proc/9405/stat : 9405 (python) S 9403 9405 7805 0 -1 4202496 10825 931 1 0 57 10 0 0 20 0 2 0 850279019 303624192 7969 33554432000 4194304 5683644 140735585589968 18446744073709551615 233522124235 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0
/proc/9405/statm: 74127 7969 1862 364 0 9014 0
[pid=9411] ppid=9405 vsize=286264 CPUtime=0 cores=0,2,4,6
/proc/9411/stat : 9411 (python) S 9405 9405 7805 0 -1 4202560 746 0 0 0 0 0 0 0 15 0 1 0 850279096 293134336 6455 33554432000 4194304 5683644 140735585589968 18446744073709551615 233510317583 0 0 16781312 33554946 3304714306179825664 0 0 17 0 0 0 0
/proc/9411/statm: 71566 6455 352 364 0 6453 0
[pid=9413] ppid=9411 vsize=70044 CPUtime=2.31 cores=0,2,4,6
/proc/9413/stat : 9413 (scip-2.0.1.linu) R 9411 9413 9413 0 -1 4202496 16630 0 0 0 229 2 0 0 18 0 1 0 850279097 71725056 15177 33554432000 4194304 13684479 140736593934048 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/9413/statm: 17511 15177 795 2317 0 15189 0
[pid=9405/tid=9412] ppid=9403 vsize=296508 CPUtime=0 cores=0,2,4,6
/proc/9405/task/9412/stat : 9412 (python) S 9403 9405 7805 0 -1 4202560 27 931 0 0 0 0 0 0 20 0 2 0 850279097 303624192 7969 33554432000 4194304 5683644 140735585589968 18446744073709551615 233522121137 0 0 16781312 33554434 18446604441421703872 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2.98
Current children cumulated vsize (KiB) 652816
[startup+6.30036 s]
/proc/loadavg: 2.40 2.14 1.91 3/804 9413
/proc/meminfo: memFree=11142988/32951124 swapFree=64303752/67111528
[pid=9405] ppid=9403 vsize=296508 CPUtime=0.67 cores=0,2,4,6
/proc/9405/stat : 9405 (python) S 9403 9405 7805 0 -1 4202496 10825 931 1 0 57 10 0 0 20 0 2 0 850279019 303624192 7969 33554432000 4194304 5683644 140735585589968 18446744073709551615 233522124235 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0
/proc/9405/statm: 74127 7969 1862 364 0 9014 0
[pid=9411] ppid=9405 vsize=286264 CPUtime=0.02 cores=0,2,4,6
/proc/9411/stat : 9411 (python) S 9405 9405 7805 0 -1 4202560 883 0 0 0 1 1 0 0 15 0 1 0 850279096 293134336 6478 33554432000 4194304 5683644 140735585589968 18446744073709551615 233510317583 0 0 16781312 33554946 4294934785 0 0 17 0 0 0 0
/proc/9411/statm: 71566 6478 375 364 0 6453 0
[pid=9413] ppid=9411 vsize=98636 CPUtime=5.51 cores=0,2,4,6
/proc/9413/stat : 9413 (scip-2.0.1.linu) R 9411 9413 9413 0 -1 4202496 23399 0 0 0 547 4 0 0 25 0 1 0 850279097 101003264 21946 33554432000 4194304 13684479 140736593934048 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/9413/statm: 24659 21946 823 2317 0 22337 0
[pid=9405/tid=9412] ppid=9403 vsize=296508 CPUtime=0 cores=0,2,4,6
/proc/9405/task/9412/stat : 9412 (python) S 9403 9405 7805 0 -1 4202560 27 931 0 0 0 0 0 0 20 0 2 0 850279097 303624192 7969 33554432000 4194304 5683644 140735585589968 18446744073709551615 233522121137 0 0 16781312 33554434 18446604441421703872 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 681408
[startup+12.7012 s]
/proc/loadavg: 2.37 2.13 1.91 3/804 9414
/proc/meminfo: memFree=11141296/32951124 swapFree=64303752/67111528
[pid=9405] ppid=9403 vsize=296508 CPUtime=0.67 cores=0,2,4,6
/proc/9405/stat : 9405 (python) S 9403 9405 7805 0 -1 4202496 10825 931 1 0 57 10 0 0 20 0 2 0 850279019 303624192 7969 33554432000 4194304 5683644 140735585589968 18446744073709551615 233522124235 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0
/proc/9405/statm: 74127 7969 1862 364 0 9014 0
[pid=9411] ppid=9405 vsize=286264 CPUtime=0.04 cores=0,2,4,6
/proc/9411/stat : 9411 (python) S 9405 9405 7805 0 -1 4202560 984 0 0 0 2 2 0 0 15 0 1 0 850279096 293134336 6484 33554432000 4194304 5683644 140735585589968 18446744073709551615 233510317583 0 0 16781312 33554946 72556772316949226 0 0 17 6 0 0 0
/proc/9411/statm: 71566 6484 381 364 0 6453 0
[pid=9413] ppid=9411 vsize=98636 CPUtime=11.92 cores=0,2,4,6
/proc/9413/stat : 9413 (scip-2.0.1.linu) R 9411 9413 9413 0 -1 4202496 23400 0 0 0 1184 8 0 0 25 0 1 0 850279097 101003264 21947 33554432000 4194304 13684479 140736593934048 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/9413/statm: 24659 21947 824 2317 0 22337 0
[pid=9405/tid=9412] ppid=9403 vsize=296508 CPUtime=0 cores=0,2,4,6
/proc/9405/task/9412/stat : 9412 (python) S 9403 9405 7805 0 -1 4202560 27 931 0 0 0 0 0 0 20 0 2 0 850279097 303624192 7969 33554432000 4194304 5683644 140735585589968 18446744073709551615 233522121137 0 0 16781312 33554434 18446604441421703872 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 12.63
Current children cumulated vsize (KiB) 681408
[startup+25.5009 s]
/proc/loadavg: 2.29 2.13 1.91 3/804 9414
/proc/meminfo: memFree=11142592/32951124 swapFree=64303752/67111528
[pid=9405] ppid=9403 vsize=296508 CPUtime=0.67 cores=0,2,4,6
/proc/9405/stat : 9405 (python) S 9403 9405 7805 0 -1 4202496 10825 931 1 0 57 10 0 0 20 0 2 0 850279019 303624192 7969 33554432000 4194304 5683644 140735585589968 18446744073709551615 233522124235 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0
/proc/9405/statm: 74127 7969 1862 364 0 9014 0
[pid=9411] ppid=9405 vsize=286264 CPUtime=0.11 cores=0,2,4,6
/proc/9411/stat : 9411 (python) S 9405 9405 7805 0 -1 4202560 988 0 0 0 5 6 0 0 15 0 1 0 850279096 293134336 6484 33554432000 4194304 5683644 140735585589968 18446744073709551615 233510317583 0 0 16781312 33554946 72556772316949226 0 0 17 6 0 0 0
/proc/9411/statm: 71566 6484 381 364 0 6453 0
[pid=9413] ppid=9411 vsize=98636 CPUtime=24.72 cores=0,2,4,6
/proc/9413/stat : 9413 (scip-2.0.1.linu) R 9411 9413 9413 0 -1 4202496 23400 0 0 0 2457 15 0 0 25 0 1 0 850279097 101003264 21947 33554432000 4194304 13684479 140736593934048 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/9413/statm: 24659 21947 824 2317 0 22337 0
[pid=9405/tid=9412] ppid=9403 vsize=296508 CPUtime=0 cores=0,2,4,6
/proc/9405/task/9412/stat : 9412 (python) S 9403 9405 7805 0 -1 4202560 27 931 0 0 0 0 0 0 20 0 2 0 850279097 303624192 7969 33554432000 4194304 5683644 140735585589968 18446744073709551615 233522121137 0 0 16781312 33554434 18446604441421703872 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 681408
[startup+51.1013 s]
/proc/loadavg: 2.27 2.13 1.92 3/808 9419
/proc/meminfo: memFree=11088400/32951124 swapFree=64303752/67111528
[pid=9405] ppid=9403 vsize=306764 CPUtime=0.69 cores=0,2,4,6
/proc/9405/stat : 9405 (python) S 9403 9405 7805 0 -1 4202496 11709 931 1 0 59 10 0 0 18 0 3 0 850279019 314126336 7984 33554432000 4194304 5683644 140735585589968 18446744073709551615 233522124235 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0
/proc/9405/statm: 76691 7984 1873 364 0 11575 0
[pid=9411] ppid=9405 vsize=296508 CPUtime=0.25 cores=0,2,4,6
/proc/9411/stat : 9411 (python) S 9405 9405 7805 0 -1 4202560 1137 0 0 0 12 13 0 0 17 0 2 0 850279096 303624192 6520 33554432000 4194304 5683644 140735585589968 18446744073709551615 233522124235 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/9411/statm: 74127 6520 412 364 0 9014 0
[pid=9413] ppid=9411 vsize=98636 CPUtime=49.11 cores=0,2,4,6
/proc/9413/stat : 9413 (scip-2.0.1.linu) T 9411 9413 9413 0 -1 4202496 23403 0 0 0 4880 31 0 0 25 0 1 0 850279097 101003264 21950 33554432000 4194304 13684479 140736593934048 18446744073709551615 4774657 0 0 16781312 2 18446744071562691360 0 0 17 4 0 0 0
/proc/9413/statm: 24659 21950 825 2317 0 22337 0
[pid=9411/tid=9416] ppid=9405 vsize=296508 CPUtime=0 cores=0,2,4,6
/proc/9411/task/9416/stat : 9416 (python) S 9405 9405 7805 0 -1 4202560 41 0 0 0 0 0 0 0 17 0 2 0 850284008 303624192 6520 33554432000 4194304 5683644 140735585589968 18446744073709551615 233522121137 0 0 16781312 33554946 18446604452471804992 0 0 -1 6 0 0 0
[pid=9417] ppid=9405 vsize=296520 CPUtime=0 cores=0,2,4,6
/proc/9417/stat : 9417 (python) S 9405 9405 7805 0 -1 4202560 784 0 0 0 0 0 0 0 15 0 1 0 850284011 303636480 6456 33554432000 4194304 5683644 140735585589968 18446744073709551615 233510317638 0 0 16781312 33554946 265266143797706752 0 0 17 6 0 0 0
/proc/9417/statm: 74130 6456 349 364 0 9014 0
[pid=9419] ppid=9417 vsize=70792 CPUtime=1.16 cores=0,2,4,6
/proc/9419/stat : 9419 (scip-2.0.1.linu) R 9417 9419 9419 0 -1 4202496 15557 0 0 0 114 2 0 0 18 0 1 0 850284011 72491008 14902 33554432000 4194304 15243407 140735405634992 18446744073709551615 13277498 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/9419/statm: 17698 14902 893 2698 0 14993 0
[pid=9405/tid=9412] ppid=9403 vsize=306764 CPUtime=0 cores=0,2,4,6
/proc/9405/task/9412/stat : 9412 (python) S 9403 9405 7805 0 -1 4202560 27 931 0 0 0 0 0 0 20 0 3 0 850279097 314126336 7984 33554432000 4194304 5683644 140735585589968 18446744073709551615 233522121137 0 0 16781312 33554434 18446604441421703872 0 0 -1 2 0 0 0
[pid=9405/tid=9418] ppid=9403 vsize=306764 CPUtime=0 cores=0,2,4,6
/proc/9405/task/9418/stat : 9418 (python) S 9403 9405 7805 0 -1 4202560 29 931 0 0 0 0 0 0 20 0 3 0 850284011 314126336 7984 33554432000 4194304 5683644 140735585589968 18446744073709551615 233522121137 0 0 16781312 33554434 18446604441421703872 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 51.21
Current children cumulated vsize (KiB) 1069220
[startup+102.321 s]
/proc/loadavg: 2.11 2.11 1.92 3/812 9424
/proc/meminfo: memFree=11051156/32951124 swapFree=64303752/67111528
[pid=9405] ppid=9403 vsize=317020 CPUtime=0.72 cores=0,2,4,6
/proc/9405/stat : 9405 (python) S 9403 9405 7805 0 -1 4202496 12593 931 1 0 62 10 0 0 20 0 4 0 850279019 324628480 7990 33554432000 4194304 5683644 140735585589968 18446744073709551615 233522124235 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/9405/statm: 79255 7990 1875 364 0 14136 0
[pid=9411] ppid=9405 vsize=296508 CPUtime=0.25 cores=0,2,4,6
/proc/9411/stat : 9411 (python) S 9405 9405 7805 0 -1 4202560 1137 0 0 0 12 13 0 0 17 0 2 0 850279096 303624192 6520 33554432000 4194304 5683644 140735585589968 18446744073709551615 233522124235 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/9411/statm: 74127 6520 412 364 0 9014 0
[pid=9413] ppid=9411 vsize=98636 CPUtime=49.11 cores=0,2,4,6
/proc/9413/stat : 9413 (scip-2.0.1.linu) T 9411 9413 9413 0 -1 4202496 23403 0 0 0 4880 31 0 0 25 0 1 0 850279097 101003264 21950 33554432000 4194304 13684479 140736593934048 18446744073709551615 4774657 0 0 16781312 2 18446744071562691360 0 0 17 4 0 0 0
/proc/9413/statm: 24659 21950 825 2317 0 22337 0
[pid=9411/tid=9416] ppid=9405 vsize=296508 CPUtime=0 cores=0,2,4,6
/proc/9411/task/9416/stat : 9416 (python) S 9405 9405 7805 0 -1 4202560 41 0 0 0 0 0 0 0 17 0 2 0 850284008 303624192 6520 33554432000 4194304 5683644 140735585589968 18446744073709551615 233522121137 0 0 16781312 33554946 18446604452471804992 0 0 -1 6 0 0 0
[pid=9417] ppid=9405 vsize=296520 CPUtime=0.26 cores=0,2,4,6
/proc/9417/stat : 9417 (python) S 9405 9405 7805 0 -1 4202560 1113 0 0 0 14 12 0 0 16 0 2 0 850284011 303636480 6505 33554432000 4194304 5683644 140735585589968 18446744073709551615 233522124235 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/9417/statm: 74130 6505 397 364 0 9014 0
[pid=9419] ppid=9417 vsize=84652 CPUtime=49.53 cores=0,2,4,6
/proc/9419/stat : 9419 (scip-2.0.1.linu) T 9417 9419 9419 0 -1 4202496 51014 0 0 0 4925 28 0 0 25 0 1 0 850284011 86683648 18413 33554432000 4194304 15243407 140735405634992 18446744073709551615 7438360 0 0 16781312 2 18446744071562691360 0 0 17 4 0 0 0
/proc/9419/statm: 21163 18413 946 2698 0 18458 0
[pid=9417/tid=9421] ppid=9405 vsize=296520 CPUtime=0 cores=0,2,4,6
/proc/9417/task/9421/stat : 9421 (python) S 9405 9405 7805 0 -1 4202560 46 0 0 0 0 0 0 0 16 0 2 0 850288965 303636480 6505 33554432000 4194304 5683644 140735585589968 18446744073709551615 233522121137 0 0 16781312 33554946 18446604448735703424 0 0 -1 6 0 0 0
[pid=9422] ppid=9405 vsize=306776 CPUtime=0 cores=0,2,4,6
/proc/9422/stat : 9422 (python) S 9405 9405 7805 0 -1 4202560 802 0 0 0 0 0 0 0 15 0 1 0 850288968 314138624 6460 33554432000 4194304 5683644 140735585589968 18446744073709551615 233510317638 0 0 16781312 33554946 4294934787 0 0 17 2 0 0 0
################
# More data... #
################
[pid=9405/tid=9704] ppid=9403 vsize=358592 CPUtime=0 cores=0,2,4,6
/proc/9405/task/9704/stat : 9704 (python) S 9403 9405 7805 0 -1 4202560 30 931 0 0 0 0 0 0 20 0 8 0 850330814 367198208 8140 33554432000 4194304 5683644 140735585589968 18446744073709551615 233522121137 0 0 16781312 33554434 18446604441421703872 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 522.37
Current children cumulated vsize (KiB) 20096620
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+518.001 s]
/proc/loadavg: 1.44 1.90 1.89 3/864 9722
/proc/meminfo: memFree=5888508/32951124 swapFree=64303752/67111528
[pid=9405] ppid=9403 vsize=358592 CPUtime=0.94 cores=0,2,4,6
/proc/9405/stat : 9405 (python) S 9403 9405 7805 0 -1 4202496 16603 931 1 0 83 11 0 0 20 0 8 0 850279019 367198208 8140 33554432000 4194304 5683644 140735585589968 18446744073709551615 233522124235 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/9405/statm: 89648 8140 1883 364 0 24517 0
[pid=9411] ppid=9405 vsize=296508 CPUtime=0.79 cores=0,2,4,6
/proc/9411/stat : 9411 (python) S 9405 9405 7805 0 -1 4202560 1180 0 0 0 40 39 0 0 15 0 2 0 850279096 303624192 6521 33554432000 4194304 5683644 140735585589968 18446744073709551615 233522124235 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/9411/statm: 74127 6521 413 364 0 9014 0
[pid=9413] ppid=9411 vsize=98636 CPUtime=138.22 cores=0,2,4,6
/proc/9413/stat : 9413 (scip-2.0.1.linu) T 9411 9413 9413 0 -1 4202496 23468 0 0 0 13726 96 0 0 25 0 1 0 850279097 101003264 22015 33554432000 4194304 13684479 140736593934048 18446744073709551615 7154434 0 0 16781312 2 18446744071562691360 0 0 17 4 0 0 0
/proc/9413/statm: 24659 22015 825 2317 0 22337 0
[pid=9411/tid=9416] ppid=9405 vsize=296508 CPUtime=0 cores=0,2,4,6
/proc/9411/task/9416/stat : 9416 (python) S 9405 9405 7805 0 -1 4202560 43 0 0 0 0 0 0 0 15 0 2 0 850284008 303624192 6521 33554432000 4194304 5683644 140735585589968 18446744073709551615 233522121137 0 0 16781312 33554946 18446604452471804992 0 0 -1 6 0 0 0
[pid=9417] ppid=9405 vsize=296520 CPUtime=0.8 cores=0,2,4,6
/proc/9417/stat : 9417 (python) S 9405 9405 7805 0 -1 4202560 1175 0 0 0 39 41 0 0 15 0 2 0 850284011 303636480 6505 33554432000 4194304 5683644 140735585589968 18446744073709551615 233522124235 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/9417/statm: 74130 6505 397 364 0 9014 0
[pid=9419] ppid=9417 vsize=96320 CPUtime=140.05 cores=0,2,4,6
/proc/9419/stat : 9419 (scip-2.0.1.linu) T 9417 9419 9419 0 -1 4202496 133507 0 0 0 13923 82 0 0 25 0 1 0 850284011 98631680 21333 33554432000 4194304 15243407 140735405634992 18446744073709551615 7128952 0 0 16781312 2 18446744071562691360 0 0 17 4 0 0 0
/proc/9419/statm: 24080 21333 946 2698 0 21375 0
[pid=9417/tid=9421] ppid=9405 vsize=296520 CPUtime=0 cores=0,2,4,6
/proc/9417/task/9421/stat : 9421 (python) S 9405 9405 7805 0 -1 4202560 48 0 0 0 0 0 0 0 15 0 2 0 850288965 303636480 6505 33554432000 4194304 5683644 140735585589968 18446744073709551615 233522121137 0 0 16781312 33554946 18446604448735703424 0 0 -1 6 0 0 0
[pid=9422] ppid=9405 vsize=306776 CPUtime=0.23 cores=0,2,4,6
/proc/9422/stat : 9422 (python) S 9405 9405 7805 0 -1 4202560 1119 0 0 0 11 12 0 0 17 0 2 0 850288968 314138624 6509 33554432000 4194304 5683644 140735585589968 18446744073709551615 233522124235 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/9422/statm: 76694 6509 397 364 0 11575 0
[pid=9424] ppid=9422 vsize=109756 CPUtime=46.74 cores=0,2,4,6
/proc/9424/stat : 9424 (wbo1.4a) T 9422 9424 9424 0 -1 4202496 27440 0 0 0 4658 16 0 0 25 0 1 0 850288968 112390144 26973 33554432000 134512640 135751879 4294664480 18446744073709551615 134616540 0 0 16781312 3 18446744071562691360 0 0 17 4 0 0 0
/proc/9424/statm: 27439 26973 146 303 0 27134 0
[pid=9422/tid=9426] ppid=9405 vsize=306776 CPUtime=0 cores=0,2,4,6
/proc/9422/task/9426/stat : 9426 (python) S 9405 9405 7805 0 -1 4202560 44 0 0 0 0 0 0 0 17 0 2 0 850293644 314138624 6509 33554432000 4194304 5683644 140735585589968 18446744073709551615 233522121137 0 0 16781312 33554946 18446604447000502400 0 0 -1 6 0 0 0
[pid=9427] ppid=9405 vsize=317032 CPUtime=0.45 cores=0,2,4,6
/proc/9427/stat : 9427 (python) S 9405 9405 7805 0 -1 4202560 1158 0 0 0 22 23 0 0 18 0 2 0 850293647 324640768 6513 33554432000 4194304 5683644 140735585589968 18446744073709551615 233522124235 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/9427/statm: 79258 6513 397 364 0 14136 0
[pid=9429] ppid=9427 vsize=6288 CPUtime=94.34 cores=0,2,4,6
/proc/9429/stat : 9429 (clasp-1.3.7-x86) T 9427 9429 9429 0 -1 4202496 1672 0 0 0 9433 1 0 0 25 0 1 0 850293647 6438912 1329 33554432000 134512640 136139019 4289778944 18446744073709551615 134608320 0 0 16781312 16386 18446744071562691360 0 0 17 0 0 0 0
/proc/9429/statm: 1572 1329 186 398 0 1172 0
[pid=9427/tid=9524] ppid=9405 vsize=317032 CPUtime=0 cores=0,2,4,6
/proc/9427/task/9524/stat : 9524 (python) S 9405 9405 7805 0 -1 4202560 50 0 0 0 0 0 0 0 18 0 2 0 850298469 324640768 6513 33554432000 4194304 5683644 140735585589968 18446744073709551615 233522121137 0 0 16781312 33554946 18446604452741321984 0 0 -1 6 0 0 0
[pid=9525] ppid=9405 vsize=327836 CPUtime=0.24 cores=0,2,4,6
/proc/9525/stat : 9525 (python) S 9405 9405 7805 0 -1 4202560 1120 0 0 0 14 10 0 0 17 0 2 0 850298472 335704064 6643 33554432000 4194304 5683644 140735585589968 18446744073709551615 233522124235 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/9525/statm: 81959 6643 397 364 0 16834 0
[pid=9527] ppid=9525 vsize=8549888 CPUtime=50.54 cores=0,2,4,6
/proc/9527/stat : 9527 (java) T 9525 9527 9527 0 -1 4202496 311147 0 1 0 5014 40 0 0 18 0 19 0 850298472 8755085312 289607 33554432000 1073741824 1073778376 140734270462512 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/9527/statm: 2137472 289607 2244 9 0 2128213 0
[pid=9527/tid=9528] ppid=9525 vsize=8549888 CPUtime=48.39 cores=0,2,4,6
/proc/9527/task/9528/stat : 9528 (java) T 9525 9527 9527 0 -1 4202560 250608 0 1 0 4808 31 0 0 25 0 19 0 850298473 8755085312 289607 33554432000 1073741824 1073778376 140734270462512 18446744073709551615 46912505686061 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=9527/tid=9529] ppid=9525 vsize=8549888 CPUtime=0.05 cores=0,2,4,6
/proc/9527/task/9529/stat : 9529 (java) T 9525 9527 9527 0 -1 4202560 4099 0 0 0 5 0 0 0 15 0 19 0 850298473 8755085312 289607 33554432000 1073741824 1073778376 140734270462512 18446744073709551615 233522113433 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=9527/tid=9530] ppid=9525 vsize=8549888 CPUtime=0.08 cores=0,2,4,6
/proc/9527/task/9530/stat : 9530 (java) T 9525 9527 9527 0 -1 4202560 6225 0 0 0 8 0 0 0 15 0 19 0 850298473 8755085312 289607 33554432000 1073741824 1073778376 140734270462512 18446744073709551615 233522113433 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=9527/tid=9531] ppid=9525 vsize=8549888 CPUtime=0.04 cores=0,2,4,6
/proc/9527/task/9531/stat : 9531 (java) T 9525 9527 9527 0 -1 4202560 2546 0 0 0 4 0 0 0 15 0 19 0 850298473 8755085312 289607 33554432000 1073741824 1073778376 140734270462512 18446744073709551615 233522113433 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=9527/tid=9532] ppid=9525 vsize=8549888 CPUtime=0.07 cores=0,2,4,6
/proc/9527/task/9532/stat : 9532 (java) T 9525 9527 9527 0 -1 4202560 6151 0 0 0 6 1 0 0 15 0 19 0 850298473 8755085312 289607 33554432000 1073741824 1073778376 140734270462512 18446744073709551615 233522113433 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=9527/tid=9533] ppid=9525 vsize=8549888 CPUtime=0.09 cores=0,2,4,6
/proc/9527/task/9533/stat : 9533 (java) T 9525 9527 9527 0 -1 4202560 6838 0 0 0 9 0 0 0 15 0 19 0 850298473 8755085312 289607 33554432000 1073741824 1073778376 140734270462512 18446744073709551615 233522113433 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=9527/tid=9534] ppid=9525 vsize=8549888 CPUtime=0.07 cores=0,2,4,6
/proc/9527/task/9534/stat : 9534 (java) T 9525 9527 9527 0 -1 4202560 5606 0 0 0 7 0 0 0 15 0 19 0 850298473 8755085312 289607 33554432000 1073741824 1073778376 140734270462512 18446744073709551615 233522113433 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=9527/tid=9535] ppid=9525 vsize=8549888 CPUtime=0.08 cores=0,2,4,6
/proc/9527/task/9535/stat : 9535 (java) T 9525 9527 9527 0 -1 4202560 5666 0 0 0 7 1 0 0 15 0 19 0 850298473 8755085312 289607 33554432000 1073741824 1073778376 140734270462512 18446744073709551615 233522113433 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=9527/tid=9536] ppid=9525 vsize=8549888 CPUtime=0.08 cores=0,2,4,6
/proc/9527/task/9536/stat : 9536 (java) T 9525 9527 9527 0 -1 4202560 6783 0 0 0 7 1 0 0 15 0 19 0 850298473 8755085312 289607 33554432000 1073741824 1073778376 140734270462512 18446744073709551615 233522113433 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=9527/tid=9537] ppid=9525 vsize=8549888 CPUtime=0 cores=0,2,4,6
/proc/9527/task/9537/stat : 9537 (java) T 9525 9527 9527 0 -1 4202560 742 0 0 0 0 0 0 0 15 0 19 0 850298474 8755085312 289607 33554432000 1073741824 1073778376 140734270462512 18446744073709551615 233522114048 0 0 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=9527/tid=9538] ppid=9525 vsize=8549888 CPUtime=0 cores=0,2,4,6
/proc/9527/task/9538/stat : 9538 (java) T 9525 9527 9527 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 850298475 8755085312 289607 33554432000 1073741824 1073778376 140734270462512 18446744073709551615 233522113433 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=9527/tid=9539] ppid=9525 vsize=8549888 CPUtime=0 cores=0,2,4,6
/proc/9527/task/9539/stat : 9539 (java) T 9525 9527 9527 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 850298475 8755085312 289607 33554432000 1073741824 1073778376 140734270462512 18446744073709551615 233522113433 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=9527/tid=9540] ppid=9525 vsize=8549888 CPUtime=0 cores=0,2,4,6
/proc/9527/task/9540/stat : 9540 (java) T 9525 9527 9527 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 850298477 8755085312 289607 33554432000 1073741824 1073778376 140734270462512 18446744073709551615 233522121137 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=9527/tid=9541] ppid=9525 vsize=8549888 CPUtime=0.65 cores=0,2,4,6
/proc/9527/task/9541/stat : 9541 (java) T 9525 9527 9527 0 -1 4202560 6967 0 0 0 65 0 0 0 15 0 19 0 850298477 8755085312 289607 33554432000 1073741824 1073778376 140734270462512 18446744073709551615 233522113433 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=9527/tid=9542] ppid=9525 vsize=8549888 CPUtime=0.82 cores=0,2,4,6
/proc/9527/task/9542/stat : 9542 (java) T 9525 9527 9527 0 -1 4202560 7523 0 0 0 82 0 0 0 15 0 19 0 850298477 8755085312 289607 33554432000 1073741824 1073778376 140734270462512 18446744073709551615 233522113433 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=9527/tid=9543] ppid=9525 vsize=8549888 CPUtime=0 cores=0,2,4,6
/proc/9527/task/9543/stat : 9543 (java) T 9525 9527 9527 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 850298477 8755085312 289607 33554432000 1073741824 1073778376 140734270462512 18446744073709551615 233522113433 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=9527/tid=9544] ppid=9525 vsize=8549888 CPUtime=0 cores=0,2,4,6
/proc/9527/task/9544/stat : 9544 (java) T 9525 9527 9527 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 850298477 8755085312 289607 33554432000 1073741824 1073778376 140734270462512 18446744073709551615 233522114048 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=9527/tid=9546] ppid=9525 vsize=8549888 CPUtime=0 cores=0,2,4,6
/proc/9527/task/9546/stat : 9546 (java) T 9525 9527 9527 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 850298516 8755085312 289607 33554432000 1073741824 1073778376 140734270462512 18446744073709551615 233522114048 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=9525/tid=9617] ppid=9405 vsize=327836 CPUtime=0 cores=0,2,4,6
/proc/9525/task/9617/stat : 9617 (python) S 9405 9405 7805 0 -1 4202560 44 0 0 0 0 0 0 0 17 0 2 0 850303339 335704064 6643 33554432000 4194304 5683644 140735585589968 18446744073709551615 233522121137 0 0 16781312 33554946 18446604445084272704 0 0 -1 6 0 0 0
[pid=9646] ppid=9405 vsize=338092 CPUtime=0.24 cores=0,2,4,6
/proc/9646/stat : 9646 (python) S 9405 9405 7805 0 -1 4202560 1141 0 0 0 13 11 0 0 16 0 2 0 850312259 346206208 6647 33554432000 4194304 5683644 140735585589968 18446744073709551615 233522124235 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/9646/statm: 84523 6647 397 364 0 19395 0
[pid=9648] ppid=9646 vsize=180384 CPUtime=48.73 cores=0,2,4,6
/proc/9648/stat : 9648 (bsolo_pb10) T 9646 9648 9648 0 -1 4202496 43070 0 0 0 4862 11 0 0 25 0 1 0 850312259 184713216 42677 33554432000 134512640 137138936 4289995408 18446744073709551615 134618214 0 0 16781312 16384 18446744071562691360 0 0 17 4 0 0 0
/proc/9648/statm: 45096 42677 192 642 0 44452 0
[pid=9646/tid=9654] ppid=9405 vsize=338092 CPUtime=0 cores=0,2,4,6
/proc/9646/task/9654/stat : 9654 (python) S 9405 9405 7805 0 -1 4202560 45 0 0 0 0 0 0 0 16 0 2 0 850317132 346206208 6647 33554432000 4194304 5683644 140735585589968 18446744073709551615 233522121137 0 0 16781312 33554946 18446604446450776832 0 0 -1 4 0 0 0
[pid=9703] ppid=9405 vsize=348348 CPUtime=0 cores=0,2,4,6
/proc/9703/stat : 9703 (python) S 9405 9405 7805 0 -1 4202560 774 0 0 0 0 0 0 0 19 0 1 0 850330814 356708352 6599 33554432000 4194304 5683644 140735585589968 18446744073709551615 233510317638 0 0 16781312 33554946 4436739119854354690 0 0 17 4 0 0 0
/proc/9703/statm: 87087 6599 346 364 0 21956 0
[pid=9705] ppid=9703 vsize=8465644 CPUtime=0.06 cores=0,2,4,6
/proc/9705/stat : 9705 (java) S 9703 9705 9705 0 -1 4202496 4379 0 1 0 5 1 0 0 20 0 18 0 850330815 8668819456 3831 33554432000 1073741824 1073778376 140737061550512 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/9705/statm: 2116411 3831 1748 9 0 2107152 0
[pid=9705/tid=9706] ppid=9703 vsize=8466544 CPUtime=0.05 cores=0,2,4,6
/proc/9705/task/9706/stat : 9706 (java) R 9703 9705 9705 0 -1 4202560 3016 0 1 0 5 0 0 0 25 0 18 0 850330816 8669741056 4426 33554432000 1073741824 1073778376 140737061550512 18446744073709551615 47544059833140 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=9705/tid=9707] ppid=9703 vsize=8466544 CPUtime=0 cores=0,2,4,6
/proc/9705/task/9707/stat : 9707 (java) S 9703 9705 9705 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 850330816 8669741056 4426 33554432000 1073741824 1073778376 140737061550512 18446744073709551615 233522113433 0 4 0 16800975 18446604438409443328 0 0 -1 4 0 0 0
[pid=9705/tid=9708] ppid=9703 vsize=8466544 CPUtime=0 cores=0,2,4,6
/proc/9705/task/9708/stat : 9708 (java) S 9703 9705 9705 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 18 0 850330816 8669741056 4426 33554432000 1073741824 1073778376 140737061550512 18446744073709551615 233522113433 0 4 0 16800975 18446604438409443328 0 0 -1 4 0 0 0
[pid=9705/tid=9709] ppid=9703 vsize=8466544 CPUtime=0 cores=0,2,4,6
/proc/9705/task/9709/stat : 9709 (java) S 9703 9705 9705 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 18 0 850330816 8669741056 4426 33554432000 1073741824 1073778376 140737061550512 18446744073709551615 233522113433 0 4 0 16800975 18446604438409443328 0 0 -1 4 0 0 0
[pid=9705/tid=9710] ppid=9703 vsize=8466544 CPUtime=0 cores=0,2,4,6
/proc/9705/task/9710/stat : 9710 (java) S 9703 9705 9705 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 850330816 8669741056 4426 33554432000 1073741824 1073778376 140737061550512 18446744073709551615 233522113433 0 4 0 16800975 18446604438409443328 0 0 -1 6 0 0 0
[pid=9705/tid=9711] ppid=9703 vsize=8466544 CPUtime=0 cores=0,2,4,6
/proc/9705/task/9711/stat : 9711 (java) S 9703 9705 9705 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 850330816 8669741056 4426 33554432000 1073741824 1073778376 140737061550512 18446744073709551615 233522113433 0 4 0 16800975 18446604438409443328 0 0 -1 6 0 0 0
[pid=9705/tid=9712] ppid=9703 vsize=8466544 CPUtime=0 cores=0,2,4,6
/proc/9705/task/9712/stat : 9712 (java) S 9703 9705 9705 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 850330816 8669741056 4426 33554432000 1073741824 1073778376 140737061550512 18446744073709551615 233522113433 0 4 0 16800975 18446604438409443328 0 0 -1 6 0 0 0
[pid=9705/tid=9713] ppid=9703 vsize=8466544 CPUtime=0 cores=0,2,4,6
/proc/9705/task/9713/stat : 9713 (java) S 9703 9705 9705 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 850330816 8669741056 4427 33554432000 1073741824 1073778376 140737061550512 18446744073709551615 233522113433 0 4 0 16800975 18446604438409443328 0 0 -1 6 0 0 0
[pid=9705/tid=9714] ppid=9703 vsize=8466544 CPUtime=0 cores=0,2,4,6
/proc/9705/task/9714/stat : 9714 (java) S 9703 9705 9705 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 850330816 8669741056 4427 33554432000 1073741824 1073778376 140737061550512 18446744073709551615 233522113433 0 4 0 16800975 18446604438409443328 0 0 -1 6 0 0 0
[pid=9705/tid=9715] ppid=9703 vsize=8466544 CPUtime=0 cores=0,2,4,6
/proc/9705/task/9715/stat : 9715 (java) S 9703 9705 9705 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 850330817 8669741056 4427 33554432000 1073741824 1073778376 140737061550512 18446744073709551615 233522114048 0 0 0 16800975 18446604438409443328 0 0 -1 4 0 0 0
[pid=9705/tid=9716] ppid=9703 vsize=8466544 CPUtime=0 cores=0,2,4,6
/proc/9705/task/9716/stat : 9716 (java) S 9703 9705 9705 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 850330818 8669741056 4427 33554432000 1073741824 1073778376 140737061550512 18446744073709551615 233522113433 0 4 0 16800975 18446604438409443328 0 0 -1 4 0 0 0
[pid=9705/tid=9717] ppid=9703 vsize=8466544 CPUtime=0 cores=0,2,4,6
/proc/9705/task/9717/stat : 9717 (java) S 9703 9705 9705 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 850330818 8669741056 4427 33554432000 1073741824 1073778376 140737061550512 18446744073709551615 233522113433 0 4 0 16800975 18446604438409443328 0 0 -1 4 0 0 0
[pid=9705/tid=9718] ppid=9703 vsize=8466544 CPUtime=0 cores=0,2,4,6
/proc/9705/task/9718/stat : 9718 (java) S 9703 9705 9705 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 850330820 8669741056 4427 33554432000 1073741824 1073778376 140737061550512 18446744073709551615 233522121137 0 4 0 16800975 18446604438409443328 0 0 -1 4 0 0 0
[pid=9705/tid=9719] ppid=9703 vsize=8466544 CPUtime=0 cores=0,2,4,6
/proc/9705/task/9719/stat : 9719 (java) S 9703 9705 9705 0 -1 4202560 22 0 0 0 0 0 0 0 25 0 18 0 850330820 8669741056 4428 33554432000 1073741824 1073778376 140737061550512 18446744073709551615 233522113433 0 4 0 16800975 18446604438409443328 0 0 -1 4 0 0 0
[pid=9705/tid=9720] ppid=9703 vsize=8466544 CPUtime=0 cores=0,2,4,6
/proc/9705/task/9720/stat : 9720 (java) R 9703 9705 9705 0 -1 4202560 541 0 0 0 0 0 0 0 25 0 18 0 850330820 8669741056 4428 33554432000 1073741824 1073778376 140737061550512 18446744073709551615 47544057935119 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=9705/tid=9721] ppid=9703 vsize=8466544 CPUtime=0 cores=0,2,4,6
/proc/9705/task/9721/stat : 9721 (java) S 9703 9705 9705 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 850330820 8669741056 4428 33554432000 1073741824 1073778376 140737061550512 18446744073709551615 233522113433 0 4 0 16800975 18446604438409443328 0 0 -1 4 0 0 0
[pid=9705/tid=9722] ppid=9703 vsize=8466544 CPUtime=0 cores=0,2,4,6
/proc/9705/task/9722/stat : 9722 (java) S 9703 9705 9705 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 850330820 8669741056 4428 33554432000 1073741824 1073778376 140737061550512 18446744073709551615 233522114048 0 4 0 16800975 18446604438409443328 0 0 -1 4 0 0 0
[pid=9405/tid=9412] ppid=9403 vsize=358592 CPUtime=0 cores=0,2,4,6
/proc/9405/task/9412/stat : 9412 (python) S 9403 9405 7805 0 -1 4202560 37 931 0 0 0 0 0 0 18 0 8 0 850279097 367198208 8140 33554432000 4194304 5683644 140735585589968 18446744073709551615 233522121137 0 0 16781312 33554434 18446604441421703872 0 0 -1 2 0 0 0
[pid=9405/tid=9418] ppid=9403 vsize=358592 CPUtime=0 cores=0,2,4,6
/proc/9405/task/9418/stat : 9418 (python) S 9403 9405 7805 0 -1 4202560 39 931 0 0 0 0 0 0 18 0 8 0 850284011 367198208 8140 33554432000 4194304 5683644 140735585589968 18446744073709551615 233522121137 0 0 16781312 33554434 18446604441421703872 0 0 -1 4 0 0 0
[pid=9405/tid=9423] ppid=9403 vsize=358592 CPUtime=0 cores=0,2,4,6
/proc/9405/task/9423/stat : 9423 (python) S 9403 9405 7805 0 -1 4202560 31 931 0 0 0 0 0 0 20 0 8 0 850288968 367198208 8140 33554432000 4194304 5683644 140735585589968 18446744073709551615 233522121137 0 0 16781312 33554434 18446604441421703872 0 0 -1 4 0 0 0
[pid=9405/tid=9428] ppid=9403 vsize=358592 CPUtime=0 cores=0,2,4,6
/proc/9405/task/9428/stat : 9428 (python) S 9403 9405 7805 0 -1 4202560 31 931 0 0 0 0 0 0 18 0 8 0 850293647 367198208 8140 33554432000 4194304 5683644 140735585589968 18446744073709551615 233522121137 0 0 16781312 33554434 18446604441421703872 0 0 -1 4 0 0 0
[pid=9405/tid=9526] ppid=9403 vsize=358592 CPUtime=0 cores=0,2,4,6
/proc/9405/task/9526/stat : 9526 (python) S 9403 9405 7805 0 -1 4202560 29 931 0 0 0 0 0 0 20 0 8 0 850298472 367198208 8140 33554432000 4194304 5683644 140735585589968 18446744073709551615 233522121137 0 0 16781312 33554434 18446604441421703872 0 0 -1 6 0 0 0
[pid=9405/tid=9647] ppid=9403 vsize=358592 CPUtime=0 cores=0,2,4,6
/proc/9405/task/9647/stat : 9647 (python) S 9403 9405 7805 0 -1 4202560 30 931 0 0 0 0 0 0 20 0 8 0 850312259 367198208 8140 33554432000 4194304 5683644 140735585589968 18446744073709551615 233522121137 0 0 16781312 33554434 18446604441421703872 0 0 -1 2 0 0 0
[pid=9405/tid=9704] ppid=9403 vsize=358592 CPUtime=0 cores=0,2,4,6
/proc/9405/task/9704/stat : 9704 (python) S 9403 9405 7805 0 -1 4202560 30 931 0 0 0 0 0 0 20 0 8 0 850330814 367198208 8140 33554432000 4194304 5683644 140735585589968 18446744073709551615 233522121137 0 0 16781312 33554434 18446604441421703872 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 522.37
Current children cumulated vsize (KiB) 20096620
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 9405 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=837872
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=117982
# CPU time returned by wait4() is 0.955854
# while last known CPU time is 522.37
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 518.099
CPU time (s): 522.37
CPU user time (s): 518.43
CPU system time (s): 3.94
CPU usage (%): 100.824
Max. virtual memory (cumulated for all children) (KiB): 20096620
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.837872
system time used= 0.117982
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17539
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= 1033
involuntary context switches= 26
runsolver used 4.31634 second user time and 8.72767 second system time
The end