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-3482394-1307576911/watcher-3482394-1307576911 -o /tmp/evaluation-result-3482394-1307576911/solver-3482394-1307576911 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.dec.pickle HOME/instance-3482394-1307576911.opb -seed 515914967 -budget 1800
running on 4 cores: 1,3,5,7
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.19 1.95 1.00 2/450 26494
/proc/meminfo: memFree=29913196/32950928 swapFree=52246700/67111528
[pid=26494] ppid=26492 vsize=15904 CPUtime=0 cores=1,3,5,7
/proc/26494/stat : 26494 (python) R 26492 26494 25621 0 -1 4202496 944 0 0 0 0 0 0 0 20 0 1 0 947921860 16285696 820 33554432000 4194304 5683644 140735378251296 18446744073709551615 231895488512 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/26494/statm: 3977 826 357 364 0 464 0
[startup+0.048541 s]
/proc/loadavg: 2.19 1.95 1.00 2/450 26494
/proc/meminfo: memFree=29913196/32950928 swapFree=52246700/67111528
[pid=26494] ppid=26492 vsize=29784 CPUtime=0.03 cores=1,3,5,7
/proc/26494/stat : 26494 (python) S 26492 26494 25621 0 -1 4202496 1414 0 0 0 3 0 0 0 17 0 1 0 947921860 30498816 1257 33554432000 4194304 5683644 140735378251296 18446744073709551615 231895488512 0 2147483391 16781312 2 18446744071699215550 0 0 17 5 0 0 0
/proc/26494/statm: 7446 1257 443 364 0 816 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 29784
[startup+0.100565 s]
/proc/loadavg: 2.19 1.95 1.00 2/450 26494
/proc/meminfo: memFree=29913196/32950928 swapFree=52246700/67111528
[pid=26494] ppid=26492 vsize=96124 CPUtime=0.07 cores=1,3,5,7
/proc/26494/stat : 26494 (python) R 26492 26494 25621 0 -1 4202496 3168 930 1 0 5 2 0 0 18 0 1 0 947921860 98430976 2483 33554432000 4194304 5683644 140735378251296 18446744073709551615 5168783 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/26494/statm: 24031 2483 792 364 0 1626 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 96124
[startup+0.300491 s]
/proc/loadavg: 2.19 1.95 1.00 2/450 26494
/proc/meminfo: memFree=29913196/32950928 swapFree=52246700/67111528
[pid=26494] ppid=26492 vsize=184596 CPUtime=0.22 cores=1,3,5,7
/proc/26494/stat : 26494 (python) S 26492 26494 25621 0 -1 4202496 6373 930 1 0 16 6 0 0 17 0 1 0 947921860 189026304 4670 33554432000 4194304 5683644 140735378251296 18446744073709551615 231890566791 0 2147483391 16781312 2 18446744071699215550 0 0 17 5 0 0 0
/proc/26494/statm: 46149 4670 1251 364 0 3655 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 184596
[startup+0.700477 s]
/proc/loadavg: 2.19 1.95 1.00 2/450 26494
/proc/meminfo: memFree=29913196/32950928 swapFree=52246700/67111528
[pid=26494] ppid=26492 vsize=285156 CPUtime=0.59 cores=1,3,5,7
/proc/26494/stat : 26494 (python) R 26492 26494 25621 0 -1 4202496 10990 1347 1 0 45 10 3 1 18 0 1 0 947921860 291999744 7675 33554432000 4194304 5683644 140735378251296 18446744073709551615 4943914 0 0 16781312 33554434 0 0 0 17 5 0 0 0
/proc/26494/statm: 73850 7677 1866 364 0 8737 0
Current children cumulated CPU time (s) 0.59
Current children cumulated vsize (KiB) 285156
[startup+1.50033 s]
/proc/loadavg: 2.19 1.95 1.00 5/454 26504
/proc/meminfo: memFree=29850292/32950928 swapFree=52246700/67111528
[pid=26494] ppid=26492 vsize=295400 CPUtime=0.59 cores=1,3,5,7
/proc/26494/stat : 26494 (python) S 26492 26494 25621 0 -1 4202496 11087 1347 1 0 45 10 3 1 20 0 2 0 947921860 302489600 7685 33554432000 4194304 5683644 140735378251296 18446744073709551615 231907317195 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/26494/statm: 73850 7685 1871 364 0 8737 0
[pid=26502] ppid=26494 vsize=285156 CPUtime=0 cores=1,3,5,7
/proc/26502/stat : 26502 (python) S 26494 26494 25621 0 -1 4202560 716 0 0 0 0 0 0 0 17 0 1 0 947921930 291999744 6128 33554432000 4194304 5683644 140735378251296 18446744073709551615 231895510543 0 0 16781312 33554946 1517763209577070855 0 0 17 5 0 0 0
/proc/26502/statm: 71289 6128 318 364 0 6176 0
[pid=26504] ppid=26502 vsize=49884 CPUtime=0.79 cores=1,3,5,7
/proc/26504/stat : 26504 (scip-2.0.1.linu) R 26502 26504 26504 0 -1 4202496 10898 0 0 0 63 16 0 0 22 0 1 0 947921930 51081216 10101 33554432000 4194304 13684479 140734317440832 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/26504/statm: 12471 10101 757 2317 0 10149 0
[pid=26494/tid=26503] ppid=26492 vsize=295400 CPUtime=0.04 cores=1,3,5,7
/proc/26494/task/26503/stat : 26503 (python) S 26492 26494 25621 0 -1 4202560 25 1347 0 0 0 0 3 1 20 0 2 0 947921930 302489600 7685 33554432000 4194304 5683644 140735378251296 18446744073709551615 231907314097 0 0 16781312 33554434 18446604460955859136 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1.38
Current children cumulated vsize (KiB) 630440
[startup+3.10102 s]
/proc/loadavg: 2.19 1.95 1.00 5/454 26504
/proc/meminfo: memFree=29850292/32950928 swapFree=52246700/67111528
[pid=26494] ppid=26492 vsize=295400 CPUtime=0.59 cores=1,3,5,7
/proc/26494/stat : 26494 (python) S 26492 26494 25621 0 -1 4202496 11087 1347 1 0 45 10 3 1 20 0 2 0 947921860 302489600 7685 33554432000 4194304 5683644 140735378251296 18446744073709551615 231907317195 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/26494/statm: 73850 7685 1871 364 0 8737 0
[pid=26502] ppid=26494 vsize=285156 CPUtime=0 cores=1,3,5,7
/proc/26502/stat : 26502 (python) S 26494 26494 25621 0 -1 4202560 726 0 0 0 0 0 0 0 15 0 1 0 947921930 291999744 6128 33554432000 4194304 5683644 140735378251296 18446744073709551615 231895510543 0 0 16781312 33554946 1517763209577070855 0 0 17 5 0 0 0
/proc/26502/statm: 71289 6128 318 364 0 6176 0
[pid=26504] ppid=26502 vsize=50808 CPUtime=2.38 cores=1,3,5,7
/proc/26504/stat : 26504 (scip-2.0.1.linu) R 26502 26504 26504 0 -1 4202496 11332 0 0 0 221 17 0 0 19 0 1 0 947921930 52027392 10525 33554432000 4194304 13684479 140734317440832 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/26504/statm: 12702 10525 801 2317 0 10380 0
[pid=26494/tid=26503] ppid=26492 vsize=295400 CPUtime=0.04 cores=1,3,5,7
/proc/26494/task/26503/stat : 26503 (python) S 26492 26494 25621 0 -1 4202560 25 1347 0 0 0 0 3 1 20 0 2 0 947921930 302489600 7685 33554432000 4194304 5683644 140735378251296 18446744073709551615 231907314097 0 0 16781312 33554434 18446604460955859136 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2.97
Current children cumulated vsize (KiB) 631364
[startup+6.30042 s]
/proc/loadavg: 2.42 2.00 1.02 3/454 26504
/proc/meminfo: memFree=29847228/32950928 swapFree=52246700/67111528
[pid=26494] ppid=26492 vsize=295400 CPUtime=0.59 cores=1,3,5,7
/proc/26494/stat : 26494 (python) S 26492 26494 25621 0 -1 4202496 11087 1347 1 0 45 10 3 1 20 0 2 0 947921860 302489600 7685 33554432000 4194304 5683644 140735378251296 18446744073709551615 231907317195 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/26494/statm: 73850 7685 1871 364 0 8737 0
[pid=26502] ppid=26494 vsize=285156 CPUtime=0.01 cores=1,3,5,7
/proc/26502/stat : 26502 (python) S 26494 26494 25621 0 -1 4202560 873 0 0 0 1 0 0 0 15 0 1 0 947921930 291999744 6152 33554432000 4194304 5683644 140735378251296 18446744073709551615 231895510543 0 0 16781312 33554946 1517760941834338567 0 0 17 5 0 0 0
/proc/26502/statm: 71289 6152 342 364 0 6176 0
[pid=26504] ppid=26502 vsize=50808 CPUtime=5.59 cores=1,3,5,7
/proc/26504/stat : 26504 (scip-2.0.1.linu) R 26502 26504 26504 0 -1 4202496 11365 0 0 0 540 19 0 0 25 0 1 0 947921930 52027392 10529 33554432000 4194304 13684479 140734317440832 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/26504/statm: 12702 10529 776 2317 0 10380 0
[pid=26494/tid=26503] ppid=26492 vsize=295400 CPUtime=0.04 cores=1,3,5,7
/proc/26494/task/26503/stat : 26503 (python) S 26492 26494 25621 0 -1 4202560 25 1347 0 0 0 0 3 1 20 0 2 0 947921930 302489600 7685 33554432000 4194304 5683644 140735378251296 18446744073709551615 231907314097 0 0 16781312 33554434 18446604460955859136 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 631364
[startup+12.7012 s]
/proc/loadavg: 2.38 2.00 1.03 3/454 26504
/proc/meminfo: memFree=29820708/32950928 swapFree=52246700/67111528
[pid=26494] ppid=26492 vsize=295400 CPUtime=0.59 cores=1,3,5,7
/proc/26494/stat : 26494 (python) S 26492 26494 25621 0 -1 4202496 11087 1347 1 0 45 10 3 1 20 0 2 0 947921860 302489600 7685 33554432000 4194304 5683644 140735378251296 18446744073709551615 231907317195 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/26494/statm: 73850 7685 1871 364 0 8737 0
[pid=26502] ppid=26494 vsize=285156 CPUtime=0.03 cores=1,3,5,7
/proc/26502/stat : 26502 (python) S 26494 26494 25621 0 -1 4202560 976 0 0 0 2 1 0 0 15 0 1 0 947921930 291999744 6157 33554432000 4194304 5683644 140735378251296 18446744073709551615 231895510543 0 0 16781312 33554946 1517763209577070855 0 0 17 5 0 0 0
/proc/26502/statm: 71289 6157 347 364 0 6176 0
[pid=26504] ppid=26502 vsize=77636 CPUtime=11.99 cores=1,3,5,7
/proc/26504/stat : 26504 (scip-2.0.1.linu) R 26502 26504 26504 0 -1 4202496 20019 0 0 0 1166 33 0 0 25 0 1 0 947921930 79499264 17280 33554432000 4194304 13684479 140734317440832 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/26504/statm: 19409 17280 833 2317 0 17087 0
[pid=26494/tid=26503] ppid=26492 vsize=295400 CPUtime=0.04 cores=1,3,5,7
/proc/26494/task/26503/stat : 26503 (python) S 26492 26494 25621 0 -1 4202560 25 1347 0 0 0 0 3 1 20 0 2 0 947921930 302489600 7685 33554432000 4194304 5683644 140735378251296 18446744073709551615 231907314097 0 0 16781312 33554434 18446604460955859136 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 658192
[startup+25.5008 s]
/proc/loadavg: 2.30 2.00 1.04 3/458 26508
/proc/meminfo: memFree=29773060/32950928 swapFree=52246700/67111528
[pid=26494] ppid=26492 vsize=295400 CPUtime=0.59 cores=1,3,5,7
/proc/26494/stat : 26494 (python) S 26492 26494 25621 0 -1 4202496 11087 1347 1 0 45 10 3 1 20 0 2 0 947921860 302489600 7685 33554432000 4194304 5683644 140735378251296 18446744073709551615 231907317195 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/26494/statm: 73850 7685 1871 364 0 8737 0
[pid=26502] ppid=26494 vsize=285156 CPUtime=0.09 cores=1,3,5,7
/proc/26502/stat : 26502 (python) S 26494 26494 25621 0 -1 4202560 983 0 0 0 5 4 0 0 15 0 1 0 947921930 291999744 6157 33554432000 4194304 5683644 140735378251296 18446744073709551615 231895510543 0 0 16781312 33554946 5623606151888251569 0 0 17 5 0 0 0
/proc/26502/statm: 71289 6157 347 364 0 6176 0
[pid=26504] ppid=26502 vsize=88792 CPUtime=24.79 cores=1,3,5,7
/proc/26504/stat : 26504 (scip-2.0.1.linu) R 26502 26504 26504 0 -1 4202496 24975 0 0 0 2419 60 0 0 25 0 1 0 947921930 90923008 20119 33554432000 4194304 13684479 140734317440832 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/26504/statm: 22198 20119 843 2317 0 19876 0
[pid=26494/tid=26503] ppid=26492 vsize=295400 CPUtime=0.04 cores=1,3,5,7
/proc/26494/task/26503/stat : 26503 (python) S 26492 26494 25621 0 -1 4202560 25 1347 0 0 0 0 3 1 20 0 2 0 947921930 302489600 7685 33554432000 4194304 5683644 140735378251296 18446744073709551615 231907314097 0 0 16781312 33554434 18446604460955859136 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 669348
[startup+51.1009 s]
/proc/loadavg: 2.19 2.00 1.06 3/462 26513
/proc/meminfo: memFree=29744756/32950928 swapFree=52246700/67111528
[pid=26494] ppid=26492 vsize=305656 CPUtime=0.61 cores=1,3,5,7
/proc/26494/stat : 26494 (python) S 26492 26494 25621 0 -1 4202496 11977 1347 1 0 47 10 3 1 19 0 3 0 947921860 312991744 7692 33554432000 4194304 5683644 140735378251296 18446744073709551615 231907317195 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/26494/statm: 76414 7692 1874 364 0 11298 0
[pid=26502] ppid=26494 vsize=295400 CPUtime=0.17 cores=1,3,5,7
/proc/26502/stat : 26502 (python) S 26494 26494 25621 0 -1 4202560 1172 0 0 0 9 8 0 0 16 0 2 0 947921930 302489600 6225 33554432000 4194304 5683644 140735378251296 18446744073709551615 231907317195 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/26502/statm: 73850 6225 410 364 0 8737 0
[pid=26504] ppid=26502 vsize=97228 CPUtime=47.05 cores=1,3,5,7
/proc/26504/stat : 26504 (scip-2.0.1.linu) T 26502 26504 26504 0 -1 4202496 29945 0 0 0 4614 91 0 0 25 0 1 0 947921930 99561472 22160 33554432000 4194304 13684479 140734317440832 18446744073709551615 7399101 0 0 16781312 2 18446744071562691360 0 0 17 1 0 0 0
/proc/26504/statm: 24307 22160 849 2317 0 21985 0
[pid=26502/tid=26510] ppid=26494 vsize=295400 CPUtime=0 cores=1,3,5,7
/proc/26502/task/26510/stat : 26510 (python) S 26494 26494 25621 0 -1 4202560 44 0 0 0 0 0 0 0 16 0 2 0 947926637 302489600 6225 33554432000 4194304 5683644 140735378251296 18446744073709551615 231907314097 0 0 16781312 33554946 18446604467231107200 0 0 -1 7 0 0 0
[pid=26511] ppid=26494 vsize=295412 CPUtime=0.01 cores=1,3,5,7
/proc/26511/stat : 26511 (python) S 26494 26494 25621 0 -1 4202560 889 0 0 0 1 0 0 0 18 0 1 0 947926639 302501888 6156 33554432000 4194304 5683644 140735378251296 18446744073709551615 231895510598 0 0 16781312 33554946 10433884693509144840 0 0 17 7 0 0 0
/proc/26511/statm: 73853 6156 342 364 0 8737 0
[pid=26513] ppid=26511 vsize=4480 CPUtime=3.29 cores=1,3,5,7
/proc/26513/stat : 26513 (clasp-1.3.7-x86) R 26511 26513 26513 0 -1 4202496 1155 0 0 0 329 0 0 0 25 0 1 0 947926640 4587520 867 33554432000 134512640 136139019 4288506464 18446744073709551615 134874896 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/26513/statm: 1120 867 183 398 0 720 0
[pid=26494/tid=26503] ppid=26492 vsize=305656 CPUtime=0.04 cores=1,3,5,7
/proc/26494/task/26503/stat : 26503 (python) S 26492 26494 25621 0 -1 4202560 25 1347 0 0 0 0 3 1 20 0 3 0 947921930 312991744 7692 33554432000 4194304 5683644 140735378251296 18446744073709551615 231907314097 0 0 16781312 33554434 18446604460955859136 0 0 -1 5 0 0 0
[pid=26494/tid=26512] ppid=26492 vsize=305656 CPUtime=0.04 cores=1,3,5,7
/proc/26494/task/26512/stat : 26512 (python) S 26492 26494 25621 0 -1 4202560 28 1347 0 0 0 0 3 1 20 0 3 0 947926640 312991744 7692 33554432000 4194304 5683644 140735378251296 18446744073709551615 231907314097 0 0 16781312 33554434 18446604460955859136 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 51.13
Current children cumulated vsize (KiB) 998176
[startup+102.317 s]
/proc/loadavg: 2.08 2.00 1.11 3/467 26519
/proc/meminfo: memFree=29669268/32950928 swapFree=52246700/67111528
[pid=26494] ppid=26492 vsize=315912 CPUtime=0.64 cores=1,3,5,7
/proc/26494/stat : 26494 (python) S 26492 26494 25621 0 -1 4202496 12838 1347 1 0 50 10 3 1 20 0 4 0 947921860 323493888 7698 33554432000 4194304 5683644 140735378251296 18446744073709551615 231907317195 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/26494/statm: 78978 7698 1876 364 0 13859 0
[pid=26502] ppid=26494 vsize=295400 CPUtime=0.17 cores=1,3,5,7
/proc/26502/stat : 26502 (python) S 26494 26494 25621 0 -1 4202560 1172 0 0 0 9 8 0 0 16 0 2 0 947921930 302489600 6225 33554432000 4194304 5683644 140735378251296 18446744073709551615 231907317195 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/26502/statm: 73850 6225 410 364 0 8737 0
[pid=26504] ppid=26502 vsize=97228 CPUtime=47.05 cores=1,3,5,7
/proc/26504/stat : 26504 (scip-2.0.1.linu) T 26502 26504 26504 0 -1 4202496 29945 0 0 0 4614 91 0 0 25 0 1 0 947921930 99561472 22160 33554432000 4194304 13684479 140734317440832 18446744073709551615 7399101 0 0 16781312 2 18446744071562691360 0 0 17 1 0 0 0
/proc/26504/statm: 24307 22160 849 2317 0 21985 0
[pid=26502/tid=26510] ppid=26494 vsize=295400 CPUtime=0 cores=1,3,5,7
/proc/26502/task/26510/stat : 26510 (python) S 26494 26494 25621 0 -1 4202560 44 0 0 0 0 0 0 0 16 0 2 0 947926637 302489600 6225 33554432000 4194304 5683644 140735378251296 18446744073709551615 231907314097 0 0 16781312 33554946 18446604467231107200 0 0 -1 7 0 0 0
[pid=26511] ppid=26494 vsize=295412 CPUtime=0.17 cores=1,3,5,7
/proc/26511/stat : 26511 (python) S 26494 26494 25621 0 -1 4202560 1102 0 0 0 8 9 0 0 19 0 2 0 947926639 302501888 6205 33554432000 4194304 5683644 140735378251296 18446744073709551615 231907317195 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/26511/statm: 73853 6205 390 364 0 8737 0
[pid=26513] ppid=26511 vsize=7204 CPUtime=47.17 cores=1,3,5,7
/proc/26513/stat : 26513 (clasp-1.3.7-x86) T 26511 26513 26513 0 -1 4202496 1830 0 0 0 4717 0 0 0 25 0 1 0 947926640 7376896 1535 33554432000 134512640 136139019 4288506464 18446744073709551615 134640568 0 0 16781312 16386 18446744071562691360 0 0 17 1 0 0 0
/proc/26513/statm: 1801 1535 183 398 0 1401 0
[pid=26511/tid=26516] ppid=26494 vsize=295412 CPUtime=0 cores=1,3,5,7
/proc/26511/task/26516/stat : 26516 (python) S 26494 26494 25621 0 -1 4202560 52 0 0 0 0 0 0 0 19 0 2 0 947931358 302501888 6205 33554432000 4194304 5683644 140735378251296 18446744073709551615 231907314097 0 0 16781312 33554946 18446604471131117376 0 0 -1 7 0 0 0
[pid=26517] ppid=26494 vsize=305668 CPUtime=0.01 cores=1,3,5,7
/proc/26517/stat : 26517 (python) S 26494 26494 25621 0 -1 4202560 916 0 0 0 1 0 0 0 15 0 1 0 947931361 313004032 6162 33554432000 4194304 5683644 140735378251296 18446744073709551615 231895510598 0 0 16781312 33554946 146037821595975680 0 0 17 7 0 0 0
################
# More data... #
################
/proc/26556/stat : 26556 (python) S 26494 26494 25621 0 -1 4202560 1173 0 0 0 9 10 0 0 16 0 2 0 947949886 334008320 6223 33554432000 4194304 5683644 140735378251296 18446744073709551615 231907317195 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/26556/statm: 81545 6223 391 364 0 16420 0
[pid=26558] ppid=26556 vsize=60004 CPUtime=49.02 cores=1,3,5,7
/proc/26558/stat : 26558 (bsolo_pb10) T 26556 26558 26558 0 -1 4202496 12957 0 0 0 4898 4 0 0 25 0 1 0 947949886 61444096 12564 33554432000 134512640 137138936 4291228080 18446744073709551615 134542301 0 0 16781312 16384 18446744071562691360 0 0 17 1 0 0 0
/proc/26558/statm: 15001 12564 192 642 0 14357 0
[pid=26556/tid=26560] ppid=26494 vsize=326180 CPUtime=0 cores=1,3,5,7
/proc/26556/task/26560/stat : 26560 (python) S 26494 26494 25621 0 -1 4202560 55 0 0 0 0 0 0 0 16 0 2 0 947954790 334008320 6223 33554432000 4194304 5683644 140735378251296 18446744073709551615 231907314097 0 0 16781312 33554946 18446604467900721344 0 0 -1 1 0 0 0
[pid=26570] ppid=26494 vsize=336436 CPUtime=0.18 cores=1,3,5,7
/proc/26570/stat : 26570 (python) S 26494 26494 25621 0 -1 4202560 1174 0 0 0 8 10 0 0 16 0 2 0 947973769 344510464 6227 33554432000 4194304 5683644 140735378251296 18446744073709551615 231907317195 0 0 16781312 33554946 18446744073709551615 0 0 17 3 0 0 0
/proc/26570/statm: 84109 6227 391 364 0 18981 0
[pid=26572] ppid=26570 vsize=8548164 CPUtime=49.69 cores=1,3,5,7
/proc/26572/stat : 26572 (java) T 26570 26572 26572 0 -1 4202496 297134 0 1 0 4934 35 0 0 15 0 19 0 947973769 8753319936 243106 33554432000 1073741824 1073778376 140733527125664 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/26572/statm: 2137041 243106 2246 9 0 2127782 0
[pid=26572/tid=26573] ppid=26570 vsize=8548164 CPUtime=47.25 cores=1,3,5,7
/proc/26572/task/26573/stat : 26573 (java) T 26570 26572 26572 0 -1 4202560 247367 0 1 0 4699 26 0 0 25 0 19 0 947973771 8753319936 243106 33554432000 1073741824 1073778376 140733527125664 18446744073709551615 46912506176084 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=26572/tid=26574] ppid=26570 vsize=8548164 CPUtime=0.06 cores=1,3,5,7
/proc/26572/task/26574/stat : 26574 (java) T 26570 26572 26572 0 -1 4202560 4466 0 0 0 6 0 0 0 15 0 19 0 947973771 8753319936 243106 33554432000 1073741824 1073778376 140733527125664 18446744073709551615 231907306393 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=26572/tid=26575] ppid=26570 vsize=8548164 CPUtime=0.09 cores=1,3,5,7
/proc/26572/task/26575/stat : 26575 (java) T 26570 26572 26572 0 -1 4202560 5065 0 0 0 9 0 0 0 15 0 19 0 947973771 8753319936 243106 33554432000 1073741824 1073778376 140733527125664 18446744073709551615 231907306393 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=26572/tid=26576] ppid=26570 vsize=8548164 CPUtime=0.07 cores=1,3,5,7
/proc/26572/task/26576/stat : 26576 (java) T 26570 26572 26572 0 -1 4202560 3462 0 0 0 7 0 0 0 15 0 19 0 947973771 8753319936 243106 33554432000 1073741824 1073778376 140733527125664 18446744073709551615 231907306393 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=26572/tid=26577] ppid=26570 vsize=8548164 CPUtime=0.1 cores=1,3,5,7
/proc/26572/task/26577/stat : 26577 (java) T 26570 26572 26572 0 -1 4202560 5252 0 0 0 9 1 0 0 15 0 19 0 947973771 8753319936 243106 33554432000 1073741824 1073778376 140733527125664 18446744073709551615 231907306393 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=26572/tid=26578] ppid=26570 vsize=8548164 CPUtime=0.06 cores=1,3,5,7
/proc/26572/task/26578/stat : 26578 (java) T 26570 26572 26572 0 -1 4202560 3823 0 0 0 6 0 0 0 15 0 19 0 947973771 8753319936 243106 33554432000 1073741824 1073778376 140733527125664 18446744073709551615 231907306393 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=26572/tid=26579] ppid=26570 vsize=8548164 CPUtime=0.05 cores=1,3,5,7
/proc/26572/task/26579/stat : 26579 (java) T 26570 26572 26572 0 -1 4202560 1501 0 0 0 5 0 0 0 15 0 19 0 947973771 8753319936 243106 33554432000 1073741824 1073778376 140733527125664 18446744073709551615 231907306393 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=26572/tid=26580] ppid=26570 vsize=8548164 CPUtime=0.06 cores=1,3,5,7
/proc/26572/task/26580/stat : 26580 (java) T 26570 26572 26572 0 -1 4202560 3248 0 0 0 6 0 0 0 15 0 19 0 947973771 8753319936 243106 33554432000 1073741824 1073778376 140733527125664 18446744073709551615 231907306393 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=26572/tid=26581] ppid=26570 vsize=8548164 CPUtime=0.06 cores=1,3,5,7
/proc/26572/task/26581/stat : 26581 (java) T 26570 26572 26572 0 -1 4202560 3874 0 0 0 6 0 0 0 15 0 19 0 947973771 8753319936 243106 33554432000 1073741824 1073778376 140733527125664 18446744073709551615 231907306393 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=26572/tid=26582] ppid=26570 vsize=8548164 CPUtime=0.01 cores=1,3,5,7
/proc/26572/task/26582/stat : 26582 (java) T 26570 26572 26572 0 -1 4202560 444 0 0 0 0 1 0 0 15 0 19 0 947973772 8753319936 243106 33554432000 1073741824 1073778376 140733527125664 18446744073709551615 231907307008 0 0 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=26572/tid=26583] ppid=26570 vsize=8548164 CPUtime=0 cores=1,3,5,7
/proc/26572/task/26583/stat : 26583 (java) T 26570 26572 26572 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 947973773 8753319936 243106 33554432000 1073741824 1073778376 140733527125664 18446744073709551615 231907306393 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=26572/tid=26584] ppid=26570 vsize=8548164 CPUtime=0 cores=1,3,5,7
/proc/26572/task/26584/stat : 26584 (java) T 26570 26572 26572 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 947973773 8753319936 243106 33554432000 1073741824 1073778376 140733527125664 18446744073709551615 231907306393 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=26572/tid=26585] ppid=26570 vsize=8548164 CPUtime=0 cores=1,3,5,7
/proc/26572/task/26585/stat : 26585 (java) T 26570 26572 26572 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 947973775 8753319936 243106 33554432000 1073741824 1073778376 140733527125664 18446744073709551615 231907314097 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=26572/tid=26586] ppid=26570 vsize=8548164 CPUtime=0.73 cores=1,3,5,7
/proc/26572/task/26586/stat : 26586 (java) T 26570 26572 26572 0 -1 4202560 4299 0 0 0 73 0 0 0 15 0 19 0 947973775 8753319936 243106 33554432000 1073741824 1073778376 140733527125664 18446744073709551615 231907306393 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=26572/tid=26587] ppid=26570 vsize=8548164 CPUtime=1.03 cores=1,3,5,7
/proc/26572/task/26587/stat : 26587 (java) T 26570 26572 26572 0 -1 4202560 12932 0 0 0 102 1 0 0 15 0 19 0 947973775 8753319936 243106 33554432000 1073741824 1073778376 140733527125664 18446744073709551615 231907306393 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=26572/tid=26588] ppid=26570 vsize=8548164 CPUtime=0 cores=1,3,5,7
/proc/26572/task/26588/stat : 26588 (java) T 26570 26572 26572 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 947973775 8753319936 243106 33554432000 1073741824 1073778376 140733527125664 18446744073709551615 231907306393 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=26572/tid=26589] ppid=26570 vsize=8548164 CPUtime=0 cores=1,3,5,7
/proc/26572/task/26589/stat : 26589 (java) T 26570 26572 26572 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 947973775 8753319936 243106 33554432000 1073741824 1073778376 140733527125664 18446744073709551615 231907307008 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=26572/tid=26590] ppid=26570 vsize=8548164 CPUtime=0 cores=1,3,5,7
/proc/26572/task/26590/stat : 26590 (java) T 26570 26572 26572 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 947973810 8753319936 243106 33554432000 1073741824 1073778376 140733527125664 18446744073709551615 231907307008 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=26570/tid=26593] ppid=26494 vsize=336436 CPUtime=0 cores=1,3,5,7
/proc/26570/task/26593/stat : 26593 (python) S 26494 26494 25621 0 -1 4202560 52 0 0 0 0 0 0 0 16 0 2 0 947978528 344510464 6227 33554432000 4194304 5683644 140735378251296 18446744073709551615 231907314097 0 0 16781312 33554946 18446604469069111552 0 0 -1 3 0 0 0
[pid=26494/tid=26503] ppid=26492 vsize=346680 CPUtime=0.04 cores=1,3,5,7
/proc/26494/task/26503/stat : 26503 (python) S 26492 26494 25621 0 -1 4202560 36 1347 0 0 0 0 3 1 18 0 7 0 947921930 355000320 7721 33554432000 4194304 5683644 140735378251296 18446744073709551615 231907314097 0 0 16781312 33554434 18446604460955859136 0 0 -1 5 0 0 0
[pid=26494/tid=26512] ppid=26492 vsize=346680 CPUtime=0.04 cores=1,3,5,7
/proc/26494/task/26512/stat : 26512 (python) S 26492 26494 25621 0 -1 4202560 38 1347 0 0 0 0 3 1 18 0 7 0 947926640 355000320 7721 33554432000 4194304 5683644 140735378251296 18446744073709551615 231907314097 0 0 16781312 33554434 18446604460955859136 0 0 -1 5 0 0 0
[pid=26494/tid=26518] ppid=26492 vsize=346680 CPUtime=0.04 cores=1,3,5,7
/proc/26494/task/26518/stat : 26518 (python) S 26492 26494 25621 0 -1 4202560 34 1347 0 0 0 0 3 1 18 0 7 0 947931361 355000320 7721 33554432000 4194304 5683644 140735378251296 18446744073709551615 231907314097 0 0 16781312 33554434 18446604460955859136 0 0 -1 5 0 0 0
[pid=26494/tid=26529] ppid=26492 vsize=346680 CPUtime=0.04 cores=1,3,5,7
/proc/26494/task/26529/stat : 26529 (python) S 26492 26494 25621 0 -1 4202560 29 1347 0 0 0 0 3 1 20 0 7 0 947940729 355000320 7721 33554432000 4194304 5683644 140735378251296 18446744073709551615 231907314097 0 0 16781312 33554434 18446604460955859136 0 0 -1 5 0 0 0
[pid=26494/tid=26557] ppid=26492 vsize=346680 CPUtime=0.04 cores=1,3,5,7
/proc/26494/task/26557/stat : 26557 (python) S 26492 26494 25621 0 -1 4202560 27 1347 0 0 0 0 3 1 20 0 7 0 947949886 355000320 7721 33554432000 4194304 5683644 140735378251296 18446744073709551615 231907314097 0 0 16781312 33554434 18446604460955859136 0 0 -1 5 0 0 0
[pid=26494/tid=26571] ppid=26492 vsize=346680 CPUtime=0.04 cores=1,3,5,7
/proc/26494/task/26571/stat : 26571 (python) S 26492 26494 25621 0 -1 4202560 33 1347 0 0 0 0 3 1 20 0 7 0 947973769 355000320 7721 33554432000 4194304 5683644 140735378251296 18446744073709551615 231907314097 0 0 16781312 33554434 18446604460955859136 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 954.91
Current children cumulated vsize (KiB) 11091364
[startup+949.602 s]
/proc/loadavg: 2.05 2.06 1.66 3/531 26615
/proc/meminfo: memFree=27276552/32950928 swapFree=52246700/67111528
[pid=26494] ppid=26492 vsize=346680 CPUtime=1.24 cores=1,3,5,7
/proc/26494/stat : 26494 (python) S 26492 26494 25621 0 -1 4202496 16547 1347 1 0 109 11 3 1 18 0 7 0 947921860 355000320 7721 33554432000 4194304 5683644 140735378251296 18446744073709551615 231907317195 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/26494/statm: 86670 7721 1882 364 0 21542 0
[pid=26502] ppid=26494 vsize=295400 CPUtime=1.85 cores=1,3,5,7
/proc/26502/stat : 26502 (python) S 26494 26494 25621 0 -1 4202560 1237 0 0 0 91 94 0 0 15 0 2 0 947921930 302489600 6226 33554432000 4194304 5683644 140735378251296 18446744073709551615 231895510598 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/26502/statm: 73850 6226 411 364 0 8737 0
[pid=26504] ppid=26502 vsize=97228 CPUtime=480.15 cores=1,3,5,7
/proc/26504/stat : 26504 (scip-2.0.1.linu) R 26502 26504 26504 0 -1 4202496 29948 0 0 0 47460 555 0 0 18 0 1 0 947921930 99561472 22163 33554432000 4194304 13684479 140734317440832 18446744073709551615 6733239 0 0 16781312 0 0 0 0 17 1 0 0 0
/proc/26504/statm: 24307 22163 852 2317 0 21985 0
[pid=26502/tid=26510] ppid=26494 vsize=295400 CPUtime=0 cores=1,3,5,7
/proc/26502/task/26510/stat : 26510 (python) S 26494 26494 25621 0 -1 4202560 44 0 0 0 0 0 0 0 15 0 2 0 947926637 302489600 6226 33554432000 4194304 5683644 140735378251296 18446744073709551615 231907314097 0 0 16781312 33554946 18446604467231107200 0 0 -1 7 0 0 0
[pid=26511] ppid=26494 vsize=295412 CPUtime=0.88 cores=1,3,5,7
/proc/26511/stat : 26511 (python) S 26494 26494 25621 0 -1 4202560 1186 0 0 0 44 44 0 0 18 0 2 0 947926639 302501888 6205 33554432000 4194304 5683644 140735378251296 18446744073709551615 231907317195 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/26511/statm: 73853 6205 390 364 0 8737 0
[pid=26513] ppid=26511 vsize=10252 CPUtime=232.87 cores=1,3,5,7
/proc/26513/stat : 26513 (clasp-1.3.7-x86) T 26511 26513 26513 0 -1 4202496 2627 0 0 0 23287 0 0 0 25 0 1 0 947926640 10498048 2322 33554432000 134512640 136139019 4288506464 18446744073709551615 134883461 0 0 16781312 16386 18446744071562691360 0 0 17 1 0 0 0
/proc/26513/statm: 2563 2322 183 398 0 2163 0
[pid=26511/tid=26516] ppid=26494 vsize=295412 CPUtime=0 cores=1,3,5,7
/proc/26511/task/26516/stat : 26516 (python) S 26494 26494 25621 0 -1 4202560 53 0 0 0 0 0 0 0 18 0 2 0 947931358 302501888 6205 33554432000 4194304 5683644 140735378251296 18446744073709551615 231907314097 0 0 16781312 33554946 18446604471131117376 0 0 -1 7 0 0 0
[pid=26517] ppid=26494 vsize=305668 CPUtime=0.36 cores=1,3,5,7
/proc/26517/stat : 26517 (python) S 26494 26494 25621 0 -1 4202560 1153 0 0 0 17 19 0 0 15 0 2 0 947931361 313004032 6210 33554432000 4194304 5683644 140735378251296 18446744073709551615 231907317195 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/26517/statm: 76417 6210 391 364 0 11298 0
[pid=26519] ppid=26517 vsize=82852 CPUtime=92.22 cores=1,3,5,7
/proc/26519/stat : 26519 (scip-2.0.1.linu) T 26517 26519 26519 0 -1 4202496 37152 0 0 0 9171 51 0 0 25 0 1 0 947931361 84840448 18160 33554432000 4194304 15243407 140736534900144 18446744073709551615 8112870 0 0 16781312 2 18446744071562691360 0 0 17 3 0 0 0
/proc/26519/statm: 20713 18160 980 2698 0 18008 0
[pid=26517/tid=26524] ppid=26494 vsize=305668 CPUtime=0 cores=1,3,5,7
/proc/26517/task/26524/stat : 26524 (python) S 26494 26494 25621 0 -1 4202560 50 0 0 0 0 0 0 0 15 0 2 0 947936065 313004032 6210 33554432000 4194304 5683644 140735378251296 18446744073709551615 231907314097 0 0 16781312 33554946 18446604462811941568 0 0 -1 7 0 0 0
[pid=26528] ppid=26494 vsize=315924 CPUtime=0.18 cores=1,3,5,7
/proc/26528/stat : 26528 (python) S 26494 26494 25621 0 -1 4202560 1131 0 0 0 8 10 0 0 16 0 2 0 947940728 323506176 6219 33554432000 4194304 5683644 140735378251296 18446744073709551615 231907317195 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/26528/statm: 78981 6219 391 364 0 13859 0
[pid=26530] ppid=26528 vsize=71164 CPUtime=46.29 cores=1,3,5,7
/proc/26530/stat : 26530 (minion) T 26528 26530 26530 0 -1 4202496 11081 0 0 0 4628 1 0 0 25 0 1 0 947940729 72871936 10528 33554432000 134512640 165565024 4287265200 18446744073709551615 159737071 0 0 16781312 8396802 18446744071562691360 0 0 17 1 0 0 0
/proc/26530/statm: 17791 10528 359 7582 0 10206 0
[pid=26528/tid=26553] ppid=26494 vsize=315924 CPUtime=0 cores=1,3,5,7
/proc/26528/task/26553/stat : 26553 (python) S 26494 26494 25621 0 -1 4202560 48 0 0 0 0 0 0 0 16 0 2 0 947945362 323506176 6219 33554432000 4194304 5683644 140735378251296 18446744073709551615 231907314097 0 0 16781312 33554946 18446604466855519360 0 0 -1 7 0 0 0
[pid=26556] ppid=26494 vsize=326180 CPUtime=0.19 cores=1,3,5,7
/proc/26556/stat : 26556 (python) S 26494 26494 25621 0 -1 4202560 1173 0 0 0 9 10 0 0 16 0 2 0 947949886 334008320 6223 33554432000 4194304 5683644 140735378251296 18446744073709551615 231907317195 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/26556/statm: 81545 6223 391 364 0 16420 0
[pid=26558] ppid=26556 vsize=60004 CPUtime=49.02 cores=1,3,5,7
/proc/26558/stat : 26558 (bsolo_pb10) T 26556 26558 26558 0 -1 4202496 12957 0 0 0 4898 4 0 0 25 0 1 0 947949886 61444096 12564 33554432000 134512640 137138936 4291228080 18446744073709551615 134542301 0 0 16781312 16384 18446744071562691360 0 0 17 1 0 0 0
/proc/26558/statm: 15001 12564 192 642 0 14357 0
[pid=26556/tid=26560] ppid=26494 vsize=326180 CPUtime=0 cores=1,3,5,7
/proc/26556/task/26560/stat : 26560 (python) S 26494 26494 25621 0 -1 4202560 55 0 0 0 0 0 0 0 16 0 2 0 947954790 334008320 6223 33554432000 4194304 5683644 140735378251296 18446744073709551615 231907314097 0 0 16781312 33554946 18446604467900721344 0 0 -1 1 0 0 0
[pid=26570] ppid=26494 vsize=336436 CPUtime=0.18 cores=1,3,5,7
/proc/26570/stat : 26570 (python) S 26494 26494 25621 0 -1 4202560 1174 0 0 0 8 10 0 0 16 0 2 0 947973769 344510464 6227 33554432000 4194304 5683644 140735378251296 18446744073709551615 231907317195 0 0 16781312 33554946 18446744073709551615 0 0 17 3 0 0 0
/proc/26570/statm: 84109 6227 391 364 0 18981 0
[pid=26572] ppid=26570 vsize=8548164 CPUtime=49.69 cores=1,3,5,7
/proc/26572/stat : 26572 (java) T 26570 26572 26572 0 -1 4202496 297134 0 1 0 4934 35 0 0 15 0 19 0 947973769 8753319936 243106 33554432000 1073741824 1073778376 140733527125664 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/26572/statm: 2137041 243106 2246 9 0 2127782 0
[pid=26572/tid=26573] ppid=26570 vsize=8548164 CPUtime=47.25 cores=1,3,5,7
/proc/26572/task/26573/stat : 26573 (java) T 26570 26572 26572 0 -1 4202560 247367 0 1 0 4699 26 0 0 25 0 19 0 947973771 8753319936 243106 33554432000 1073741824 1073778376 140733527125664 18446744073709551615 46912506176084 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=26572/tid=26574] ppid=26570 vsize=8548164 CPUtime=0.06 cores=1,3,5,7
/proc/26572/task/26574/stat : 26574 (java) T 26570 26572 26572 0 -1 4202560 4466 0 0 0 6 0 0 0 15 0 19 0 947973771 8753319936 243106 33554432000 1073741824 1073778376 140733527125664 18446744073709551615 231907306393 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=26572/tid=26575] ppid=26570 vsize=8548164 CPUtime=0.09 cores=1,3,5,7
/proc/26572/task/26575/stat : 26575 (java) T 26570 26572 26572 0 -1 4202560 5065 0 0 0 9 0 0 0 15 0 19 0 947973771 8753319936 243106 33554432000 1073741824 1073778376 140733527125664 18446744073709551615 231907306393 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=26572/tid=26576] ppid=26570 vsize=8548164 CPUtime=0.07 cores=1,3,5,7
/proc/26572/task/26576/stat : 26576 (java) T 26570 26572 26572 0 -1 4202560 3462 0 0 0 7 0 0 0 15 0 19 0 947973771 8753319936 243106 33554432000 1073741824 1073778376 140733527125664 18446744073709551615 231907306393 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=26572/tid=26577] ppid=26570 vsize=8548164 CPUtime=0.1 cores=1,3,5,7
/proc/26572/task/26577/stat : 26577 (java) T 26570 26572 26572 0 -1 4202560 5252 0 0 0 9 1 0 0 15 0 19 0 947973771 8753319936 243106 33554432000 1073741824 1073778376 140733527125664 18446744073709551615 231907306393 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=26572/tid=26578] ppid=26570 vsize=8548164 CPUtime=0.06 cores=1,3,5,7
/proc/26572/task/26578/stat : 26578 (java) T 26570 26572 26572 0 -1 4202560 3823 0 0 0 6 0 0 0 15 0 19 0 947973771 8753319936 243106 33554432000 1073741824 1073778376 140733527125664 18446744073709551615 231907306393 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=26572/tid=26579] ppid=26570 vsize=8548164 CPUtime=0.05 cores=1,3,5,7
/proc/26572/task/26579/stat : 26579 (java) T 26570 26572 26572 0 -1 4202560 1501 0 0 0 5 0 0 0 15 0 19 0 947973771 8753319936 243106 33554432000 1073741824 1073778376 140733527125664 18446744073709551615 231907306393 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=26572/tid=26580] ppid=26570 vsize=8548164 CPUtime=0.06 cores=1,3,5,7
/proc/26572/task/26580/stat : 26580 (java) T 26570 26572 26572 0 -1 4202560 3248 0 0 0 6 0 0 0 15 0 19 0 947973771 8753319936 243106 33554432000 1073741824 1073778376 140733527125664 18446744073709551615 231907306393 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=26572/tid=26581] ppid=26570 vsize=8548164 CPUtime=0.06 cores=1,3,5,7
/proc/26572/task/26581/stat : 26581 (java) T 26570 26572 26572 0 -1 4202560 3874 0 0 0 6 0 0 0 15 0 19 0 947973771 8753319936 243106 33554432000 1073741824 1073778376 140733527125664 18446744073709551615 231907306393 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=26572/tid=26582] ppid=26570 vsize=8548164 CPUtime=0.01 cores=1,3,5,7
/proc/26572/task/26582/stat : 26582 (java) T 26570 26572 26572 0 -1 4202560 444 0 0 0 0 1 0 0 15 0 19 0 947973772 8753319936 243106 33554432000 1073741824 1073778376 140733527125664 18446744073709551615 231907307008 0 0 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=26572/tid=26583] ppid=26570 vsize=8548164 CPUtime=0 cores=1,3,5,7
/proc/26572/task/26583/stat : 26583 (java) T 26570 26572 26572 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 947973773 8753319936 243106 33554432000 1073741824 1073778376 140733527125664 18446744073709551615 231907306393 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=26572/tid=26584] ppid=26570 vsize=8548164 CPUtime=0 cores=1,3,5,7
/proc/26572/task/26584/stat : 26584 (java) T 26570 26572 26572 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 947973773 8753319936 243106 33554432000 1073741824 1073778376 140733527125664 18446744073709551615 231907306393 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=26572/tid=26585] ppid=26570 vsize=8548164 CPUtime=0 cores=1,3,5,7
/proc/26572/task/26585/stat : 26585 (java) T 26570 26572 26572 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 947973775 8753319936 243106 33554432000 1073741824 1073778376 140733527125664 18446744073709551615 231907314097 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=26572/tid=26586] ppid=26570 vsize=8548164 CPUtime=0.73 cores=1,3,5,7
/proc/26572/task/26586/stat : 26586 (java) T 26570 26572 26572 0 -1 4202560 4299 0 0 0 73 0 0 0 15 0 19 0 947973775 8753319936 243106 33554432000 1073741824 1073778376 140733527125664 18446744073709551615 231907306393 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=26572/tid=26587] ppid=26570 vsize=8548164 CPUtime=1.03 cores=1,3,5,7
/proc/26572/task/26587/stat : 26587 (java) T 26570 26572 26572 0 -1 4202560 12932 0 0 0 102 1 0 0 15 0 19 0 947973775 8753319936 243106 33554432000 1073741824 1073778376 140733527125664 18446744073709551615 231907306393 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=26572/tid=26588] ppid=26570 vsize=8548164 CPUtime=0 cores=1,3,5,7
/proc/26572/task/26588/stat : 26588 (java) T 26570 26572 26572 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 947973775 8753319936 243106 33554432000 1073741824 1073778376 140733527125664 18446744073709551615 231907306393 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=26572/tid=26589] ppid=26570 vsize=8548164 CPUtime=0 cores=1,3,5,7
/proc/26572/task/26589/stat : 26589 (java) T 26570 26572 26572 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 947973775 8753319936 243106 33554432000 1073741824 1073778376 140733527125664 18446744073709551615 231907307008 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=26572/tid=26590] ppid=26570 vsize=8548164 CPUtime=0 cores=1,3,5,7
/proc/26572/task/26590/stat : 26590 (java) T 26570 26572 26572 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 947973810 8753319936 243106 33554432000 1073741824 1073778376 140733527125664 18446744073709551615 231907307008 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=26570/tid=26593] ppid=26494 vsize=336436 CPUtime=0 cores=1,3,5,7
/proc/26570/task/26593/stat : 26593 (python) S 26494 26494 25621 0 -1 4202560 52 0 0 0 0 0 0 0 16 0 2 0 947978528 344510464 6227 33554432000 4194304 5683644 140735378251296 18446744073709551615 231907314097 0 0 16781312 33554946 18446604469069111552 0 0 -1 3 0 0 0
[pid=26494/tid=26503] ppid=26492 vsize=346680 CPUtime=0.04 cores=1,3,5,7
/proc/26494/task/26503/stat : 26503 (python) S 26492 26494 25621 0 -1 4202560 36 1347 0 0 0 0 3 1 18 0 7 0 947921930 355000320 7721 33554432000 4194304 5683644 140735378251296 18446744073709551615 231907314097 0 0 16781312 33554434 18446604460955859136 0 0 -1 5 0 0 0
[pid=26494/tid=26512] ppid=26492 vsize=346680 CPUtime=0.04 cores=1,3,5,7
/proc/26494/task/26512/stat : 26512 (python) S 26492 26494 25621 0 -1 4202560 38 1347 0 0 0 0 3 1 18 0 7 0 947926640 355000320 7721 33554432000 4194304 5683644 140735378251296 18446744073709551615 231907314097 0 0 16781312 33554434 18446604460955859136 0 0 -1 5 0 0 0
[pid=26494/tid=26518] ppid=26492 vsize=346680 CPUtime=0.04 cores=1,3,5,7
/proc/26494/task/26518/stat : 26518 (python) S 26492 26494 25621 0 -1 4202560 34 1347 0 0 0 0 3 1 18 0 7 0 947931361 355000320 7721 33554432000 4194304 5683644 140735378251296 18446744073709551615 231907314097 0 0 16781312 33554434 18446604460955859136 0 0 -1 5 0 0 0
[pid=26494/tid=26529] ppid=26492 vsize=346680 CPUtime=0.04 cores=1,3,5,7
/proc/26494/task/26529/stat : 26529 (python) S 26492 26494 25621 0 -1 4202560 29 1347 0 0 0 0 3 1 20 0 7 0 947940729 355000320 7721 33554432000 4194304 5683644 140735378251296 18446744073709551615 231907314097 0 0 16781312 33554434 18446604460955859136 0 0 -1 5 0 0 0
[pid=26494/tid=26557] ppid=26492 vsize=346680 CPUtime=0.04 cores=1,3,5,7
/proc/26494/task/26557/stat : 26557 (python) S 26492 26494 25621 0 -1 4202560 27 1347 0 0 0 0 3 1 20 0 7 0 947949886 355000320 7721 33554432000 4194304 5683644 140735378251296 18446744073709551615 231907314097 0 0 16781312 33554434 18446604460955859136 0 0 -1 5 0 0 0
[pid=26494/tid=26571] ppid=26492 vsize=346680 CPUtime=0.04 cores=1,3,5,7
/proc/26494/task/26571/stat : 26571 (python) S 26492 26494 25621 0 -1 4202560 33 1347 0 0 0 0 3 1 20 0 7 0 947973769 355000320 7721 33554432000 4194304 5683644 140735378251296 18446744073709551615 231907314097 0 0 16781312 33554434 18446604460955859136 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 955.12
Current children cumulated vsize (KiB) 11091364
Child status: 0
Real time (s): 949.689
CPU time (s): 955.345
CPU user time (s): 946.768
CPU system time (s): 8.5767
CPU usage (%): 100.596
Max. virtual memory (cumulated for all children) (KiB): 11092404
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 946.768
system time used= 8.5767
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 420248
page faults= 2
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7830
involuntary context switches= 7130
runsolver used 5.69713 second user time and 12.7111 second system time
The end