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-3482415-1307577869/watcher-3482415-1307577869 -o /tmp/evaluation-result-3482415-1307577869/solver-3482415-1307577869 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.dec.pickle HOME/instance-3482415-1307577869.opb -seed 1146796936 -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.04 2.06 1.66 2/488 26785
/proc/meminfo: memFree=28539532/32950928 swapFree=52246700/67111528
[pid=26785] ppid=26783 vsize=15908 CPUtime=0 cores=1,3,5,7
/proc/26785/stat : 26785 (python) S 26783 26785 25621 0 -1 4202496 959 0 0 0 0 0 0 0 17 0 1 0 948017697 16289792 834 33554432000 4194304 5683644 140735510463680 18446744073709551615 231895488512 0 2147483391 16781312 2 18446744071699215550 0 0 17 1 0 0 0
/proc/26785/statm: 3977 834 357 364 0 464 0
[startup+0.0249869 s]
/proc/loadavg: 2.04 2.06 1.66 2/488 26785
/proc/meminfo: memFree=28539532/32950928 swapFree=52246700/67111528
[pid=26785] ppid=26783 vsize=16540 CPUtime=0.01 cores=1,3,5,7
/proc/26785/stat : 26785 (python) R 26783 26785 25621 0 -1 4202496 1186 0 0 0 1 0 0 0 17 0 1 0 948017697 16936960 1047 33554432000 4194304 5683644 140735510463680 18446744073709551615 4620076 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/26785/statm: 4134 1046 417 364 0 621 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 16540
[startup+0.100945 s]
/proc/loadavg: 2.04 2.06 1.66 2/488 26785
/proc/meminfo: memFree=28539532/32950928 swapFree=52246700/67111528
[pid=26785] ppid=26783 vsize=96124 CPUtime=0.07 cores=1,3,5,7
/proc/26785/stat : 26785 (python) R 26783 26785 25621 0 -1 4202496 3167 929 1 0 5 2 0 0 18 0 1 0 948017697 98430976 2483 33554432000 4194304 5683644 140735510463680 18446744073709551615 5170289 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/26785/statm: 24031 2483 792 364 0 1626 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 96124
[startup+0.300927 s]
/proc/loadavg: 2.04 2.06 1.66 2/488 26785
/proc/meminfo: memFree=28539532/32950928 swapFree=52246700/67111528
[pid=26785] ppid=26783 vsize=184596 CPUtime=0.22 cores=1,3,5,7
/proc/26785/stat : 26785 (python) R 26783 26785 25621 0 -1 4202496 6342 929 1 0 17 5 0 0 17 0 1 0 948017697 189026304 4646 33554432000 4194304 5683644 140735510463680 18446744073709551615 231895488512 0 2147483391 16781312 2 0 0 0 17 1 0 0 0
/proc/26785/statm: 46149 4646 1251 364 0 3655 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 184596
[startup+0.700827 s]
/proc/loadavg: 2.04 2.06 1.66 2/488 26785
/proc/meminfo: memFree=28539532/32950928 swapFree=52246700/67111528
[pid=26785] ppid=26783 vsize=284792 CPUtime=0.6 cores=1,3,5,7
/proc/26785/stat : 26785 (python) R 26783 26785 25621 0 -1 4202496 10864 1349 1 0 47 9 3 1 17 0 1 0 948017697 291627008 7586 33554432000 4194304 5683644 140735510463680 18446744073709551615 231898928931 0 0 16781312 33554434 0 0 0 17 1 0 0 0
/proc/26785/statm: 71198 7586 1864 364 0 6088 0
Current children cumulated CPU time (s) 0.6
Current children cumulated vsize (KiB) 284792
[startup+1.50067 s]
/proc/loadavg: 2.04 2.06 1.66 3/492 26794
/proc/meminfo: memFree=28509368/32950928 swapFree=52246700/67111528
[pid=26785] ppid=26783 vsize=295048 CPUtime=0.6 cores=1,3,5,7
/proc/26785/stat : 26785 (python) S 26783 26785 25621 0 -1 4202496 11128 1349 1 0 47 9 3 1 19 0 2 0 948017697 302129152 7597 33554432000 4194304 5683644 140735510463680 18446744073709551615 231907317195 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/26785/statm: 73762 7597 1871 364 0 8649 0
[pid=26792] ppid=26785 vsize=284804 CPUtime=0 cores=1,3,5,7
/proc/26792/stat : 26792 (python) S 26785 26785 25621 0 -1 4202560 668 0 0 0 0 0 0 0 18 0 1 0 948017768 291639296 6038 33554432000 4194304 5683644 140735510463680 18446744073709551615 231895510543 0 0 16781312 33554946 4561304097835155718 0 0 17 1 0 0 0
/proc/26792/statm: 71201 6038 316 364 0 6088 0
[pid=26794] ppid=26792 vsize=4476 CPUtime=0.79 cores=1,3,5,7
/proc/26794/stat : 26794 (clasp-1.3.7-x86) R 26792 26794 26794 0 -1 4202496 1157 0 0 0 79 0 0 0 21 0 1 0 948017768 4583424 875 33554432000 134512640 136139019 4288357424 18446744073709551615 134883821 0 0 16781312 16386 0 0 0 17 3 0 0 0
/proc/26794/statm: 1119 875 183 398 0 719 0
[pid=26785/tid=26793] ppid=26783 vsize=295048 CPUtime=0.04 cores=1,3,5,7
/proc/26785/task/26793/stat : 26793 (python) S 26783 26785 25621 0 -1 4202560 28 1349 0 0 0 0 3 1 19 0 2 0 948017768 302129152 7597 33554432000 4194304 5683644 140735510463680 18446744073709551615 231907314097 0 0 16781312 33554434 18446604458405354304 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.39
Current children cumulated vsize (KiB) 584328
[startup+3.11737 s]
/proc/loadavg: 2.04 2.06 1.66 3/492 26794
/proc/meminfo: memFree=28505756/32950928 swapFree=52246700/67111528
[pid=26785] ppid=26783 vsize=295048 CPUtime=0.6 cores=1,3,5,7
/proc/26785/stat : 26785 (python) S 26783 26785 25621 0 -1 4202496 11128 1349 1 0 47 9 3 1 19 0 2 0 948017697 302129152 7597 33554432000 4194304 5683644 140735510463680 18446744073709551615 231907317195 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/26785/statm: 73762 7597 1871 364 0 8649 0
[pid=26792] ppid=26785 vsize=284804 CPUtime=0 cores=1,3,5,7
/proc/26792/stat : 26792 (python) S 26785 26785 25621 0 -1 4202560 691 0 0 0 0 0 0 0 18 0 1 0 948017768 291639296 6041 33554432000 4194304 5683644 140735510463680 18446744073709551615 231895510543 0 0 16781312 33554946 4561316948377305350 0 0 17 1 0 0 0
/proc/26792/statm: 71201 6041 319 364 0 6088 0
[pid=26794] ppid=26792 vsize=4608 CPUtime=2.4 cores=1,3,5,7
/proc/26794/stat : 26794 (clasp-1.3.7-x86) R 26792 26794 26794 0 -1 4202496 1191 0 0 0 239 1 0 0 25 0 1 0 948017768 4718592 909 33554432000 134512640 136139019 4288357424 18446744073709551615 134634747 0 0 16781312 16386 0 0 0 17 3 0 0 0
/proc/26794/statm: 1152 909 183 398 0 752 0
[pid=26785/tid=26793] ppid=26783 vsize=295048 CPUtime=0.04 cores=1,3,5,7
/proc/26785/task/26793/stat : 26793 (python) S 26783 26785 25621 0 -1 4202560 28 1349 0 0 0 0 3 1 19 0 2 0 948017768 302129152 7597 33554432000 4194304 5683644 140735510463680 18446744073709551615 231907314097 0 0 16781312 33554434 18446604458405354304 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3
Current children cumulated vsize (KiB) 584460
[startup+6.30076 s]
/proc/loadavg: 2.04 2.06 1.66 3/492 26794
/proc/meminfo: memFree=28503964/32950928 swapFree=52246700/67111528
[pid=26785] ppid=26783 vsize=295048 CPUtime=0.6 cores=1,3,5,7
/proc/26785/stat : 26785 (python) S 26783 26785 25621 0 -1 4202496 11128 1349 1 0 47 9 3 1 19 0 2 0 948017697 302129152 7597 33554432000 4194304 5683644 140735510463680 18446744073709551615 231907317195 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/26785/statm: 73762 7597 1871 364 0 8649 0
[pid=26792] ppid=26785 vsize=284804 CPUtime=0.01 cores=1,3,5,7
/proc/26792/stat : 26792 (python) S 26785 26785 25621 0 -1 4202560 857 0 0 0 0 1 0 0 18 0 1 0 948017768 291639296 6064 33554432000 4194304 5683644 140735510463680 18446744073709551615 231895510543 0 0 16781312 33554946 4561316948377305350 0 0 17 1 0 0 0
/proc/26792/statm: 71201 6064 342 364 0 6088 0
[pid=26794] ppid=26792 vsize=5532 CPUtime=5.6 cores=1,3,5,7
/proc/26794/stat : 26794 (clasp-1.3.7-x86) R 26792 26794 26794 0 -1 4202496 1396 0 0 0 559 1 0 0 25 0 1 0 948017768 5664768 1114 33554432000 134512640 136139019 4288357424 18446744073709551615 134874832 0 0 16781312 16386 0 0 0 17 3 0 0 0
/proc/26794/statm: 1383 1114 183 398 0 983 0
[pid=26785/tid=26793] ppid=26783 vsize=295048 CPUtime=0.04 cores=1,3,5,7
/proc/26785/task/26793/stat : 26793 (python) S 26783 26785 25621 0 -1 4202560 28 1349 0 0 0 0 3 1 19 0 2 0 948017768 302129152 7597 33554432000 4194304 5683644 140735510463680 18446744073709551615 231907314097 0 0 16781312 33554434 18446604458405354304 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 585384
[startup+12.7005 s]
/proc/loadavg: 2.03 2.06 1.67 3/492 26794
/proc/meminfo: memFree=28498924/32950928 swapFree=52246700/67111528
[pid=26785] ppid=26783 vsize=295048 CPUtime=0.6 cores=1,3,5,7
/proc/26785/stat : 26785 (python) S 26783 26785 25621 0 -1 4202496 11128 1349 1 0 47 9 3 1 19 0 2 0 948017697 302129152 7597 33554432000 4194304 5683644 140735510463680 18446744073709551615 231907317195 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/26785/statm: 73762 7597 1871 364 0 8649 0
[pid=26792] ppid=26785 vsize=284804 CPUtime=0.03 cores=1,3,5,7
/proc/26792/stat : 26792 (python) S 26785 26785 25621 0 -1 4202560 863 0 0 0 1 2 0 0 18 0 1 0 948017768 291639296 6065 33554432000 4194304 5683644 140735510463680 18446744073709551615 231895510543 0 0 16781312 33554946 5623311482772007604 0 0 17 1 0 0 0
/proc/26792/statm: 71201 6065 343 364 0 6088 0
[pid=26794] ppid=26792 vsize=5928 CPUtime=11.99 cores=1,3,5,7
/proc/26794/stat : 26794 (clasp-1.3.7-x86) R 26792 26794 26794 0 -1 4202496 1499 0 0 0 1198 1 0 0 25 0 1 0 948017768 6070272 1217 33554432000 134512640 136139019 4288357424 18446744073709551615 134640568 0 0 16781312 16386 0 0 0 17 3 0 0 0
/proc/26794/statm: 1482 1217 183 398 0 1082 0
[pid=26785/tid=26793] ppid=26783 vsize=295048 CPUtime=0.04 cores=1,3,5,7
/proc/26785/task/26793/stat : 26793 (python) S 26783 26785 25621 0 -1 4202560 28 1349 0 0 0 0 3 1 19 0 2 0 948017768 302129152 7597 33554432000 4194304 5683644 140735510463680 18446744073709551615 231907314097 0 0 16781312 33554434 18446604458405354304 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 585780
[startup+25.5011 s]
/proc/loadavg: 2.03 2.05 1.67 3/496 26799
/proc/meminfo: memFree=28445804/32950928 swapFree=52246700/67111528
[pid=26785] ppid=26783 vsize=295048 CPUtime=0.6 cores=1,3,5,7
/proc/26785/stat : 26785 (python) S 26783 26785 25621 0 -1 4202496 11128 1349 1 0 47 9 3 1 19 0 2 0 948017697 302129152 7597 33554432000 4194304 5683644 140735510463680 18446744073709551615 231907317195 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/26785/statm: 73762 7597 1871 364 0 8649 0
[pid=26792] ppid=26785 vsize=284804 CPUtime=0.08 cores=1,3,5,7
/proc/26792/stat : 26792 (python) S 26785 26785 25621 0 -1 4202560 869 0 0 0 4 4 0 0 18 0 1 0 948017768 291639296 6065 33554432000 4194304 5683644 140735510463680 18446744073709551615 231895510543 0 0 16781312 33554946 5623311482772007604 0 0 17 1 0 0 0
/proc/26792/statm: 71201 6065 343 364 0 6088 0
[pid=26794] ppid=26792 vsize=6544 CPUtime=24.79 cores=1,3,5,7
/proc/26794/stat : 26794 (clasp-1.3.7-x86) R 26792 26794 26794 0 -1 4202496 1658 0 0 0 2478 1 0 0 25 0 1 0 948017768 6701056 1376 33554432000 134512640 136139019 4288357424 18446744073709551615 134828656 0 0 16781312 16386 0 0 0 17 3 0 0 0
/proc/26794/statm: 1636 1376 183 398 0 1236 0
[pid=26785/tid=26793] ppid=26783 vsize=295048 CPUtime=0.04 cores=1,3,5,7
/proc/26785/task/26793/stat : 26793 (python) S 26783 26785 25621 0 -1 4202560 28 1349 0 0 0 0 3 1 19 0 2 0 948017768 302129152 7597 33554432000 4194304 5683644 140735510463680 18446744073709551615 231907314097 0 0 16781312 33554434 18446604458405354304 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 586396
[startup+51.1013 s]
/proc/loadavg: 2.02 2.05 1.68 3/500 26803
/proc/meminfo: memFree=28403300/32950928 swapFree=52246700/67111528
[pid=26785] ppid=26783 vsize=305808 CPUtime=0.62 cores=1,3,5,7
/proc/26785/stat : 26785 (python) S 26783 26785 25621 0 -1 4202496 12054 1349 1 0 49 9 3 1 20 0 3 0 948017697 313147392 7730 33554432000 4194304 5683644 140735510463680 18446744073709551615 231907317195 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/26785/statm: 76452 7730 1874 364 0 11336 0
[pid=26792] ppid=26785 vsize=295048 CPUtime=0.18 cores=1,3,5,7
/proc/26792/stat : 26792 (python) S 26785 26785 25621 0 -1 4202560 1153 0 0 0 8 10 0 0 19 0 2 0 948017768 302129152 6138 33554432000 4194304 5683644 140735510463680 18446744073709551615 231907317195 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/26792/statm: 73762 6138 411 364 0 8649 0
[pid=26794] ppid=26792 vsize=7416 CPUtime=48.17 cores=1,3,5,7
/proc/26794/stat : 26794 (clasp-1.3.7-x86) T 26792 26794 26794 0 -1 4202496 1909 0 0 0 4816 1 0 0 25 0 1 0 948017768 7593984 1615 33554432000 134512640 136139019 4288357424 18446744073709551615 134621984 0 0 16781312 16386 18446744071562691360 0 0 17 3 0 0 0
/proc/26794/statm: 1854 1615 183 398 0 1454 0
[pid=26792/tid=26800] ppid=26785 vsize=295048 CPUtime=0 cores=1,3,5,7
/proc/26792/task/26800/stat : 26800 (python) S 26785 26785 25621 0 -1 4202560 44 0 0 0 0 0 0 0 19 0 2 0 948022586 302129152 6138 33554432000 4194304 5683644 140735510463680 18446744073709551615 231907314097 0 0 16781312 33554946 18446604462362756288 0 0 -1 7 0 0 0
[pid=26801] ppid=26785 vsize=295564 CPUtime=0 cores=1,3,5,7
/proc/26801/stat : 26801 (python) S 26785 26785 25621 0 -1 4202560 763 0 0 0 0 0 0 0 15 0 1 0 948022588 302657536 6172 33554432000 4194304 5683644 140735510463680 18446744073709551615 231895510598 0 0 16781312 33554946 4032922463573639168 0 0 17 7 0 0 0
/proc/26801/statm: 73891 6172 320 364 0 8775 0
[pid=26803] ppid=26801 vsize=48980 CPUtime=2.18 cores=1,3,5,7
/proc/26803/stat : 26803 (scip-2.0.1.linu) R 26801 26803 26803 0 -1 4202496 10822 0 0 0 200 18 0 0 21 0 1 0 948022589 50155520 10030 33554432000 4194304 13684479 140736157389232 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/26803/statm: 12245 10030 765 2317 0 9923 0
[pid=26785/tid=26793] ppid=26783 vsize=305808 CPUtime=0.04 cores=1,3,5,7
/proc/26785/task/26793/stat : 26793 (python) S 26783 26785 25621 0 -1 4202560 28 1349 0 0 0 0 3 1 19 0 3 0 948017768 313147392 7730 33554432000 4194304 5683644 140735510463680 18446744073709551615 231907314097 0 0 16781312 33554434 18446604458405354304 0 0 -1 7 0 0 0
[pid=26785/tid=26802] ppid=26783 vsize=305808 CPUtime=0.04 cores=1,3,5,7
/proc/26785/task/26802/stat : 26802 (python) S 26783 26785 25621 0 -1 4202560 25 1349 0 0 0 0 3 1 20 0 3 0 948022589 313147392 7730 33554432000 4194304 5683644 140735510463680 18446744073709551615 231907314097 0 0 16781312 33554434 18446604458405354304 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 51.15
Current children cumulated vsize (KiB) 952816
[startup+102.301 s]
/proc/loadavg: 2.01 2.04 1.69 3/505 26810
/proc/meminfo: memFree=28298536/32950928 swapFree=52246700/67111528
[pid=26785] ppid=26783 vsize=316064 CPUtime=0.65 cores=1,3,5,7
/proc/26785/stat : 26785 (python) S 26783 26785 25621 0 -1 4202496 13001 1349 1 0 52 9 3 1 19 0 4 0 948017697 323649536 7736 33554432000 4194304 5683644 140735510463680 18446744073709551615 231907317195 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/26785/statm: 79016 7736 1876 364 0 13897 0
[pid=26792] ppid=26785 vsize=295048 CPUtime=0.18 cores=1,3,5,7
/proc/26792/stat : 26792 (python) S 26785 26785 25621 0 -1 4202560 1153 0 0 0 8 10 0 0 19 0 2 0 948017768 302129152 6138 33554432000 4194304 5683644 140735510463680 18446744073709551615 231907317195 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/26792/statm: 73762 6138 411 364 0 8649 0
[pid=26794] ppid=26792 vsize=7416 CPUtime=48.17 cores=1,3,5,7
/proc/26794/stat : 26794 (clasp-1.3.7-x86) T 26792 26794 26794 0 -1 4202496 1909 0 0 0 4816 1 0 0 25 0 1 0 948017768 7593984 1615 33554432000 134512640 136139019 4288357424 18446744073709551615 134621984 0 0 16781312 16386 18446744071562691360 0 0 17 3 0 0 0
/proc/26794/statm: 1854 1615 183 398 0 1454 0
[pid=26792/tid=26800] ppid=26785 vsize=295048 CPUtime=0 cores=1,3,5,7
/proc/26792/task/26800/stat : 26800 (python) S 26785 26785 25621 0 -1 4202560 44 0 0 0 0 0 0 0 19 0 2 0 948022586 302129152 6138 33554432000 4194304 5683644 140735510463680 18446744073709551615 231907314097 0 0 16781312 33554946 18446604462362756288 0 0 -1 7 0 0 0
[pid=26801] ppid=26785 vsize=295564 CPUtime=0.2 cores=1,3,5,7
/proc/26801/stat : 26801 (python) S 26785 26785 25621 0 -1 4202560 1132 0 0 0 9 11 0 0 16 0 2 0 948022588 302657536 6244 33554432000 4194304 5683644 140735510463680 18446744073709551615 231907317195 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/26801/statm: 73891 6244 391 364 0 8775 0
[pid=26803] ppid=26801 vsize=84640 CPUtime=50.34 cores=1,3,5,7
/proc/26803/stat : 26803 (scip-2.0.1.linu) T 26801 26803 26803 0 -1 4202496 24440 0 0 0 4906 128 0 0 18 0 1 0 948022589 86671360 18803 33554432000 4194304 13684479 140736157389232 18446744073709551615 7354172 0 0 16781312 2 18446744071562691360 0 0 17 3 0 0 0
/proc/26803/statm: 21160 18803 848 2317 0 18838 0
[pid=26801/tid=26807] ppid=26785 vsize=295564 CPUtime=0 cores=1,3,5,7
/proc/26801/task/26807/stat : 26807 (python) S 26785 26785 25621 0 -1 4202560 50 0 0 0 0 0 0 0 16 0 2 0 948027624 302657536 6244 33554432000 4194304 5683644 140735510463680 18446744073709551615 231907314097 0 0 16781312 33554946 18446604471133747328 0 0 -1 7 0 0 0
[pid=26808] ppid=26785 vsize=305820 CPUtime=0 cores=1,3,5,7
/proc/26808/stat : 26808 (python) S 26785 26785 25621 0 -1 4202560 767 0 0 0 0 0 0 0 15 0 1 0 948027626 313159680 6176 33554432000 4194304 5683644 140735510463680 18446744073709551615 231895510598 0 0 16781312 33554946 1838384743016562688 0 0 17 3 0 0 0
################
# More data... #
################
[pid=26785/tid=26822] ppid=26783 vsize=377600 CPUtime=0.04 cores=1,3,5,7
/proc/26785/task/26822/stat : 26822 (python) S 26783 26785 25621 0 -1 4202560 28 1349 0 0 0 0 3 1 20 0 10 0 948046647 386662400 7772 33554432000 4194304 5683644 140735510463680 18446744073709551615 231907314097 0 0 16781312 33554434 18446604458405354304 0 0 -1 3 0 0 0
[pid=26785/tid=26832] ppid=26783 vsize=377600 CPUtime=0.04 cores=1,3,5,7
/proc/26785/task/26832/stat : 26832 (python) S 26783 26785 25621 0 -1 4202560 28 1349 0 0 0 0 3 1 20 0 10 0 948069746 386662400 7772 33554432000 4194304 5683644 140735510463680 18446744073709551615 231907314097 0 0 16781312 33554434 18446604458405354304 0 0 -1 3 0 0 0
[pid=26785/tid=26974] ppid=26783 vsize=377600 CPUtime=0.04 cores=1,3,5,7
/proc/26785/task/26974/stat : 26974 (python) S 26783 26785 25621 0 -1 4202560 31 1349 0 0 0 0 3 1 20 0 10 0 948116869 386662400 7772 33554432000 4194304 5683644 140735510463680 18446744073709551615 231907314097 0 0 16781312 33554434 18446604458405354304 0 0 -1 3 0 0 0
[pid=26785/tid=26980] ppid=26783 vsize=377600 CPUtime=0.04 cores=1,3,5,7
/proc/26785/task/26980/stat : 26980 (python) S 26783 26785 25621 0 -1 4202560 26 1349 0 0 0 0 3 1 20 0 10 0 948121771 386662400 7772 33554432000 4194304 5683644 140735510463680 18446744073709551615 231907314097 0 0 16781312 33554434 18446604458405354304 0 0 -1 5 0 0 0
[pid=26785/tid=27005] ppid=26783 vsize=377600 CPUtime=0.04 cores=1,3,5,7
/proc/26785/task/27005/stat : 27005 (python) S 26783 26785 25621 0 -1 4202560 30 1349 0 0 0 0 3 1 20 0 10 0 948188586 386662400 7772 33554432000 4194304 5683644 140735510463680 18446744073709551615 231907314097 0 0 16781312 33554434 18446604458405354304 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1791.56
Current children cumulated vsize (KiB) 12760776
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1790.7 s]
/proc/loadavg: 1.01 1.09 1.36 2/496 27009
/proc/meminfo: memFree=27882764/32950928 swapFree=52246700/67111528
[pid=26785] ppid=26783 vsize=377600 CPUtime=1.31 cores=1,3,5,7
/proc/26785/stat : 26785 (python) S 26783 26785 25621 0 -1 4202496 19684 1349 1 0 116 11 3 1 18 0 10 0 948017697 386662400 7772 33554432000 4194304 5683644 140735510463680 18446744073709551615 231907317195 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/26785/statm: 94400 7772 1888 364 0 29263 0
[pid=26792] ppid=26785 vsize=295048 CPUtime=0.9 cores=1,3,5,7
/proc/26792/stat : 26792 (python) S 26785 26785 25621 0 -1 4202560 1215 0 0 0 42 48 0 0 18 0 2 0 948017768 302129152 6139 33554432000 4194304 5683644 140735510463680 18446744073709551615 231907317195 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/26792/statm: 73762 6139 412 364 0 8649 0
[pid=26794] ppid=26792 vsize=9336 CPUtime=231.91 cores=1,3,5,7
/proc/26794/stat : 26794 (clasp-1.3.7-x86) T 26792 26794 26794 0 -1 4202496 2400 0 0 0 23190 1 0 0 25 0 1 0 948017768 9560064 2083 33554432000 134512640 136139019 4288357424 18446744073709551615 134883787 0 0 16781312 16386 18446744071562691360 0 0 17 3 0 0 0
/proc/26794/statm: 2334 2083 183 398 0 1934 0
[pid=26792/tid=26800] ppid=26785 vsize=295048 CPUtime=0 cores=1,3,5,7
/proc/26792/task/26800/stat : 26800 (python) S 26785 26785 25621 0 -1 4202560 45 0 0 0 0 0 0 0 18 0 2 0 948022586 302129152 6139 33554432000 4194304 5683644 140735510463680 18446744073709551615 231907314097 0 0 16781312 33554946 18446604462362756288 0 0 -1 7 0 0 0
[pid=26801] ppid=26785 vsize=295564 CPUtime=4.77 cores=1,3,5,7
/proc/26801/stat : 26801 (python) S 26785 26785 25621 0 -1 4202560 1322 0 0 0 222 255 0 0 15 0 2 0 948022588 302657536 6245 33554432000 4194304 5683644 140735510463680 18446744073709551615 231907317195 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/26801/statm: 73891 6245 392 364 0 8775 0
[pid=26803] ppid=26801 vsize=122972 CPUtime=1092.06 cores=1,3,5,7
/proc/26803/stat : 26803 (scip-2.0.1.linu) T 26801 26803 26803 0 -1 4202496 34305 0 0 0 105307 3899 0 0 25 0 1 0 948022589 125923328 28668 33554432000 4194304 13684479 140736157389232 18446744073709551615 7390400 0 0 16781312 2 18446744071562691360 0 0 17 5 0 0 0
/proc/26803/statm: 30743 28668 848 2317 0 28421 0
[pid=26801/tid=26807] ppid=26785 vsize=295564 CPUtime=0 cores=1,3,5,7
/proc/26801/task/26807/stat : 26807 (python) S 26785 26785 25621 0 -1 4202560 51 0 0 0 0 0 0 0 15 0 2 0 948027624 302657536 6245 33554432000 4194304 5683644 140735510463680 18446744073709551615 231907314097 0 0 16781312 33554946 18446604471133747328 0 0 -1 5 0 0 0
[pid=26808] ppid=26785 vsize=305820 CPUtime=0.55 cores=1,3,5,7
/proc/26808/stat : 26808 (python) S 26785 26785 25621 0 -1 4202560 1159 0 0 0 26 29 0 0 15 0 2 0 948027626 313159680 6248 33554432000 4194304 5683644 140735510463680 18446744073709551615 231895510598 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/26808/statm: 76455 6248 391 364 0 11336 0
[pid=26810] ppid=26808 vsize=83448 CPUtime=127.02 cores=1,3,5,7
/proc/26810/stat : 26810 (scip-2.0.1.linu) R 26808 26810 26810 0 -1 4202496 51006 0 0 0 12598 104 0 0 25 0 1 0 948027627 85450752 17894 33554432000 4194304 15243407 140734277760912 18446744073709551615 13277498 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/26810/statm: 20862 17894 967 2698 0 18157 0
[pid=26808/tid=26812] ppid=26785 vsize=305820 CPUtime=0 cores=1,3,5,7
/proc/26808/task/26812/stat : 26812 (python) S 26785 26785 25621 0 -1 4202560 47 0 0 0 0 0 0 0 15 0 2 0 948032294 313159680 6248 33554432000 4194304 5683644 140735510463680 18446744073709551615 231907314097 0 0 16781312 33554946 18446604462811941568 0 0 -1 7 0 0 0
[pid=26814] ppid=26785 vsize=316076 CPUtime=0.18 cores=1,3,5,7
/proc/26814/stat : 26814 (python) S 26785 26785 25621 0 -1 4202560 1121 0 0 0 9 9 0 0 16 0 2 0 948036857 323661824 6252 33554432000 4194304 5683644 140735510463680 18446744073709551615 231907317195 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/26814/statm: 79019 6252 391 364 0 13897 0
[pid=26816] ppid=26814 vsize=74852 CPUtime=48.32 cores=1,3,5,7
/proc/26816/stat : 26816 (minion) T 26814 26816 26816 0 -1 4202496 12005 0 0 0 4831 1 0 0 25 0 1 0 948036858 76648448 11453 33554432000 134512640 165565024 4290641328 18446744073709551615 159737071 0 0 16781312 8396802 18446744071562691360 0 0 17 5 0 0 0
/proc/26816/statm: 18713 11453 359 7582 0 11128 0
[pid=26814/tid=26818] ppid=26785 vsize=316076 CPUtime=0 cores=1,3,5,7
/proc/26814/task/26818/stat : 26818 (python) S 26785 26785 25621 0 -1 4202560 47 0 0 0 0 0 0 0 16 0 2 0 948041690 323661824 6252 33554432000 4194304 5683644 140735510463680 18446744073709551615 231907314097 0 0 16781312 33554946 18446604463741718976 0 0 -1 7 0 0 0
[pid=26821] ppid=26785 vsize=326332 CPUtime=0.19 cores=1,3,5,7
/proc/26821/stat : 26821 (python) S 26785 26785 25621 0 -1 4202560 1147 0 0 0 9 10 0 0 19 0 2 0 948046646 334163968 6256 33554432000 4194304 5683644 140735510463680 18446744073709551615 231907317195 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/26821/statm: 81583 6256 391 364 0 16458 0
[pid=26823] ppid=26821 vsize=114644 CPUtime=48.21 cores=1,3,5,7
/proc/26823/stat : 26823 (pbct-0.1.2-linu) T 26821 26823 26823 0 -1 4202496 29198 0 0 0 4714 107 0 0 25 0 1 0 948046647 117395456 27371 33554432000 134512640 136422188 4293047216 18446744073709551615 134862381 0 0 16781312 16387 18446744071562691360 0 0 17 1 0 0 0
/proc/26823/statm: 28661 27371 214 467 0 28192 0
[pid=26821/tid=26825] ppid=26785 vsize=326332 CPUtime=0 cores=1,3,5,7
/proc/26821/task/26825/stat : 26825 (python) S 26785 26785 25621 0 -1 4202560 47 0 0 0 0 0 0 0 19 0 2 0 948051469 334163968 6256 33554432000 4194304 5683644 140735510463680 18446744073709551615 231907314097 0 0 16781312 33554946 18446604462825571584 0 0 -1 7 0 0 0
[pid=26831] ppid=26785 vsize=336588 CPUtime=0.18 cores=1,3,5,7
/proc/26831/stat : 26831 (python) S 26785 26785 25621 0 -1 4202560 1176 0 0 0 8 10 0 0 16 0 2 0 948069746 344666112 6260 33554432000 4194304 5683644 140735510463680 18446744073709551615 231907317195 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/26831/statm: 84147 6260 391 364 0 19019 0
[pid=26833] ppid=26831 vsize=8544232 CPUtime=50.62 cores=1,3,5,7
/proc/26833/stat : 26833 (java) T 26831 26833 26833 0 -1 4202496 294533 0 1 0 5031 31 0 0 15 0 19 0 948069746 8749293568 281667 33554432000 1073741824 1073778376 140735520211152 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0
/proc/26833/statm: 2136058 281667 2248 9 0 2126799 0
[pid=26833/tid=26834] ppid=26831 vsize=8544232 CPUtime=48.31 cores=1,3,5,7
/proc/26833/task/26834/stat : 26834 (java) T 26831 26833 26833 0 -1 4202560 248745 0 1 0 4805 26 0 0 25 0 19 0 948069748 8749293568 281667 33554432000 1073741824 1073778376 140735520211152 18446744073709551615 46912505900889 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=26833/tid=26835] ppid=26831 vsize=8544232 CPUtime=0.05 cores=1,3,5,7
/proc/26833/task/26835/stat : 26835 (java) T 26831 26833 26833 0 -1 4202560 4050 0 0 0 5 0 0 0 15 0 19 0 948069748 8749293568 281667 33554432000 1073741824 1073778376 140735520211152 18446744073709551615 231907306393 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=26833/tid=26836] ppid=26831 vsize=8544232 CPUtime=0.05 cores=1,3,5,7
/proc/26833/task/26836/stat : 26836 (java) T 26831 26833 26833 0 -1 4202560 4027 0 0 0 5 0 0 0 15 0 19 0 948069748 8749293568 281667 33554432000 1073741824 1073778376 140735520211152 18446744073709551615 231907306393 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=26833/tid=26837] ppid=26831 vsize=8544232 CPUtime=0.04 cores=1,3,5,7
/proc/26833/task/26837/stat : 26837 (java) T 26831 26833 26833 0 -1 4202560 3776 0 0 0 4 0 0 0 15 0 19 0 948069748 8749293568 281667 33554432000 1073741824 1073778376 140735520211152 18446744073709551615 231907306393 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=26833/tid=26838] ppid=26831 vsize=8544232 CPUtime=0.03 cores=1,3,5,7
/proc/26833/task/26838/stat : 26838 (java) T 26831 26833 26833 0 -1 4202560 2806 0 0 0 3 0 0 0 15 0 19 0 948069748 8749293568 281667 33554432000 1073741824 1073778376 140735520211152 18446744073709551615 231907306393 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=26833/tid=26839] ppid=26831 vsize=8544232 CPUtime=0.06 cores=1,3,5,7
/proc/26833/task/26839/stat : 26839 (java) T 26831 26833 26833 0 -1 4202560 5407 0 0 0 6 0 0 0 15 0 19 0 948069748 8749293568 281667 33554432000 1073741824 1073778376 140735520211152 18446744073709551615 231907306393 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=26833/tid=26840] ppid=26831 vsize=8544232 CPUtime=0.03 cores=1,3,5,7
/proc/26833/task/26840/stat : 26840 (java) T 26831 26833 26833 0 -1 4202560 2016 0 0 0 3 0 0 0 15 0 19 0 948069748 8749293568 281667 33554432000 1073741824 1073778376 140735520211152 18446744073709551615 231907306393 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=26833/tid=26841] ppid=26831 vsize=8544232 CPUtime=0.05 cores=1,3,5,7
/proc/26833/task/26841/stat : 26841 (java) T 26831 26833 26833 0 -1 4202560 4377 0 0 0 5 0 0 0 15 0 19 0 948069748 8749293568 281667 33554432000 1073741824 1073778376 140735520211152 18446744073709551615 231907306393 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=26833/tid=26842] ppid=26831 vsize=8544232 CPUtime=0.06 cores=1,3,5,7
/proc/26833/task/26842/stat : 26842 (java) T 26831 26833 26833 0 -1 4202560 4387 0 0 0 6 0 0 0 15 0 19 0 948069748 8749293568 281667 33554432000 1073741824 1073778376 140735520211152 18446744073709551615 231907306393 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=26833/tid=26843] ppid=26831 vsize=8544232 CPUtime=0 cores=1,3,5,7
/proc/26833/task/26843/stat : 26843 (java) T 26831 26833 26833 0 -1 4202560 745 0 0 0 0 0 0 0 15 0 19 0 948069749 8749293568 281667 33554432000 1073741824 1073778376 140735520211152 18446744073709551615 231907307008 0 0 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=26833/tid=26844] ppid=26831 vsize=8544232 CPUtime=0 cores=1,3,5,7
/proc/26833/task/26844/stat : 26844 (java) T 26831 26833 26833 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 948069750 8749293568 281667 33554432000 1073741824 1073778376 140735520211152 18446744073709551615 231907306393 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=26833/tid=26845] ppid=26831 vsize=8544232 CPUtime=0 cores=1,3,5,7
/proc/26833/task/26845/stat : 26845 (java) T 26831 26833 26833 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 948069750 8749293568 281667 33554432000 1073741824 1073778376 140735520211152 18446744073709551615 231907306393 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=26833/tid=26846] ppid=26831 vsize=8544232 CPUtime=0 cores=1,3,5,7
/proc/26833/task/26846/stat : 26846 (java) T 26831 26833 26833 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 948069752 8749293568 281667 33554432000 1073741824 1073778376 140735520211152 18446744073709551615 231907314097 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=26833/tid=26847] ppid=26831 vsize=8544232 CPUtime=1 cores=1,3,5,7
/proc/26833/task/26847/stat : 26847 (java) T 26831 26833 26833 0 -1 4202560 6295 0 0 0 100 0 0 0 15 0 19 0 948069752 8749293568 281667 33554432000 1073741824 1073778376 140735520211152 18446744073709551615 231907306393 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=26833/tid=26848] ppid=26831 vsize=8544232 CPUtime=0.84 cores=1,3,5,7
/proc/26833/task/26848/stat : 26848 (java) T 26831 26833 26833 0 -1 4202560 6494 0 0 0 84 0 0 0 15 0 19 0 948069752 8749293568 281667 33554432000 1073741824 1073778376 140735520211152 18446744073709551615 231907306393 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=26833/tid=26849] ppid=26831 vsize=8544232 CPUtime=0 cores=1,3,5,7
/proc/26833/task/26849/stat : 26849 (java) T 26831 26833 26833 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 948069752 8749293568 281667 33554432000 1073741824 1073778376 140735520211152 18446744073709551615 231907306393 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=26833/tid=26850] ppid=26831 vsize=8544232 CPUtime=0 cores=1,3,5,7
/proc/26833/task/26850/stat : 26850 (java) T 26831 26833 26833 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 19 0 948069752 8749293568 281667 33554432000 1073741824 1073778376 140735520211152 18446744073709551615 231907307008 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=26833/tid=26851] ppid=26831 vsize=8544232 CPUtime=0 cores=1,3,5,7
/proc/26833/task/26851/stat : 26851 (java) T 26831 26833 26833 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 948069788 8749293568 281667 33554432000 1073741824 1073778376 140735520211152 18446744073709551615 231907307008 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=26831/tid=26853] ppid=26785 vsize=336588 CPUtime=0 cores=1,3,5,7
/proc/26831/task/26853/stat : 26853 (python) S 26785 26785 25621 0 -1 4202560 50 0 0 0 0 0 0 0 16 0 2 0 948074606 344666112 6260 33554432000 4194304 5683644 140735510463680 18446744073709551615 231907314097 0 0 16781312 33554946 18446604467900720448 0 0 -1 7 0 0 0
[pid=26973] ppid=26785 vsize=346844 CPUtime=0.18 cores=1,3,5,7
/proc/26973/stat : 26973 (python) S 26785 26785 25621 0 -1 4202560 1159 0 0 0 8 10 0 0 16 0 2 0 948116869 355168256 6264 33554432000 4194304 5683644 140735510463680 18446744073709551615 231907317195 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/26973/statm: 86711 6264 391 364 0 21580 0
[pid=26975] ppid=26973 vsize=80172 CPUtime=48.98 cores=1,3,5,7
/proc/26975/stat : 26975 (bsolo_pb10) T 26973 26975 26975 0 -1 4202496 18013 0 0 0 4890 8 0 0 25 0 1 0 948116870 82096128 17617 33554432000 134512640 137138936 4287045072 18446744073709551615 134542528 0 0 16781312 16384 18446744071562691360 0 0 17 5 0 0 0
/proc/26975/statm: 20043 17617 192 642 0 19399 0
[pid=26973/tid=26978] ppid=26785 vsize=346844 CPUtime=0 cores=1,3,5,7
/proc/26973/task/26978/stat : 26978 (python) S 26785 26785 25621 0 -1 4202560 48 0 0 0 0 0 0 0 16 0 2 0 948121769 355168256 6264 33554432000 4194304 5683644 140735510463680 18446744073709551615 231907314097 0 0 16781312 33554946 18446604457512536192 0 0 -1 5 0 0 0
[pid=26979] ppid=26785 vsize=357100 CPUtime=0.36 cores=1,3,5,7
/proc/26979/stat : 26979 (python) S 26785 26785 25621 0 -1 4202560 1233 0 0 0 15 21 0 0 17 0 2 0 948121770 365670400 6274 33554432000 4194304 5683644 140735510463680 18446744073709551615 231907317195 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/26979/statm: 89275 6274 397 364 0 24141 0
[pid=26981] ppid=26979 vsize=186208 CPUtime=93.16 cores=1,3,5,7
/proc/26981/stat : 26981 (bsolo_pb10) T 26979 26981 26981 0 -1 4202496 44510 0 0 0 9266 50 0 0 25 0 1 0 948121771 190676992 44119 33554432000 134512640 137138936 4291344096 18446744073709551615 134542199 0 0 16781312 16384 18446744071562691360 0 0 17 5 0 0 0
/proc/26981/statm: 46552 44119 190 642 0 45908 0
[pid=26979/tid=26984] ppid=26785 vsize=357100 CPUtime=0 cores=1,3,5,7
/proc/26979/task/26984/stat : 26984 (python) S 26785 26785 25621 0 -1 4202560 43 0 0 0 0 0 0 0 17 0 2 0 948131088 365670400 6274 33554432000 4194304 5683644 140735510463680 18446744073709551615 231907314097 0 0 16781312 33554946 18446604458405351616 0 0 -1 7 0 0 0
[pid=27003] ppid=26785 vsize=367356 CPUtime=0.21 cores=1,3,5,7
/proc/27003/stat : 27003 (python) S 26785 26785 25621 0 -1 4202560 1200 0 0 0 9 12 0 0 16 0 2 0 948188586 376172544 6278 33554432000 4194304 5683644 140735510463680 18446744073709551615 231907317195 0 0 16781312 33554946 18446744073709551615 0 0 17 5 0 0 0
/proc/27003/statm: 91839 6278 397 364 0 26702 0
[pid=27006] ppid=27003 vsize=225284 CPUtime=50.9 cores=1,3,5,7
/proc/27006/stat : 27006 (wbo1.4a) T 27003 27006 27006 0 -1 4202496 56057 0 0 0 5003 87 0 0 25 0 1 0 948188586 230690816 55727 33554432000 134512640 135751879 4291972784 18446744073709551615 134616480 0 0 16781312 3 18446744071562691360 0 0 17 7 0 0 0
/proc/27006/statm: 56321 55727 143 303 0 56016 0
[pid=27003/tid=27008] ppid=26785 vsize=367356 CPUtime=0 cores=1,3,5,7
/proc/27003/task/27008/stat : 27008 (python) S 26785 26785 25621 0 -1 4202560 46 0 0 0 0 0 0 0 16 0 2 0 948193683 376172544 6278 33554432000 4194304 5683644 140735510463680 18446744073709551615 231907314097 0 0 16781312 33554946 18446604470767675264 0 0 -1 5 0 0 0
[pid=26785/tid=26793] ppid=26783 vsize=377600 CPUtime=0.04 cores=1,3,5,7
/proc/26785/task/26793/stat : 26793 (python) S 26783 26785 25621 0 -1 4202560 38 1349 0 0 0 0 3 1 18 0 10 0 948017768 386662400 7772 33554432000 4194304 5683644 140735510463680 18446744073709551615 231907314097 0 0 16781312 33554434 18446604458405354304 0 0 -1 7 0 0 0
[pid=26785/tid=26802] ppid=26783 vsize=377600 CPUtime=0.04 cores=1,3,5,7
/proc/26785/task/26802/stat : 26802 (python) S 26783 26785 25621 0 -1 4202560 44 1349 0 0 0 0 3 1 18 0 10 0 948022589 386662400 7772 33554432000 4194304 5683644 140735510463680 18446744073709551615 231907314097 0 0 16781312 33554434 18446604458405354304 0 0 -1 3 0 0 0
[pid=26785/tid=26809] ppid=26783 vsize=377600 CPUtime=0.04 cores=1,3,5,7
/proc/26785/task/26809/stat : 26809 (python) S 26783 26785 25621 0 -1 4202560 36 1349 0 0 0 0 3 1 18 0 10 0 948027626 386662400 7772 33554432000 4194304 5683644 140735510463680 18446744073709551615 231907314097 0 0 16781312 33554434 18446604458405354304 0 0 -1 3 0 0 0
[pid=26785/tid=26815] ppid=26783 vsize=377600 CPUtime=0.04 cores=1,3,5,7
/proc/26785/task/26815/stat : 26815 (python) S 26783 26785 25621 0 -1 4202560 29 1349 0 0 0 0 3 1 20 0 10 0 948036857 386662400 7772 33554432000 4194304 5683644 140735510463680 18446744073709551615 231907314097 0 0 16781312 33554434 18446604458405354304 0 0 -1 3 0 0 0
[pid=26785/tid=26822] ppid=26783 vsize=377600 CPUtime=0.04 cores=1,3,5,7
/proc/26785/task/26822/stat : 26822 (python) S 26783 26785 25621 0 -1 4202560 28 1349 0 0 0 0 3 1 20 0 10 0 948046647 386662400 7772 33554432000 4194304 5683644 140735510463680 18446744073709551615 231907314097 0 0 16781312 33554434 18446604458405354304 0 0 -1 3 0 0 0
[pid=26785/tid=26832] ppid=26783 vsize=377600 CPUtime=0.04 cores=1,3,5,7
/proc/26785/task/26832/stat : 26832 (python) S 26783 26785 25621 0 -1 4202560 28 1349 0 0 0 0 3 1 20 0 10 0 948069746 386662400 7772 33554432000 4194304 5683644 140735510463680 18446744073709551615 231907314097 0 0 16781312 33554434 18446604458405354304 0 0 -1 3 0 0 0
[pid=26785/tid=26974] ppid=26783 vsize=377600 CPUtime=0.04 cores=1,3,5,7
/proc/26785/task/26974/stat : 26974 (python) S 26783 26785 25621 0 -1 4202560 31 1349 0 0 0 0 3 1 20 0 10 0 948116869 386662400 7772 33554432000 4194304 5683644 140735510463680 18446744073709551615 231907314097 0 0 16781312 33554434 18446604458405354304 0 0 -1 3 0 0 0
[pid=26785/tid=26980] ppid=26783 vsize=377600 CPUtime=0.04 cores=1,3,5,7
/proc/26785/task/26980/stat : 26980 (python) S 26783 26785 25621 0 -1 4202560 26 1349 0 0 0 0 3 1 20 0 10 0 948121771 386662400 7772 33554432000 4194304 5683644 140735510463680 18446744073709551615 231907314097 0 0 16781312 33554434 18446604458405354304 0 0 -1 5 0 0 0
[pid=26785/tid=27005] ppid=26783 vsize=377600 CPUtime=0.04 cores=1,3,5,7
/proc/26785/task/27005/stat : 27005 (python) S 26783 26785 25621 0 -1 4202560 30 1349 0 0 0 0 3 1 20 0 10 0 948188586 386662400 7772 33554432000 4194304 5683644 140735510463680 18446744073709551615 231907314097 0 0 16781312 33554434 18446604458405354304 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 12765476
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 26785 and gives
# childrusage.ru_utime.tv_sec=130
# childrusage.ru_utime.tv_usec=217203
# childrusage.ru_stime.tv_sec=4
# childrusage.ru_stime.tv_usec=622297
# CPU time returned by wait4() is 134.839
# while last known CPU time is 1800.01
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1790.78
CPU time (s): 1800.01
CPU user time (s): 1752.97
CPU system time (s): 47.04
CPU usage (%): 100.516
Max. virtual memory (cumulated for all children) (KiB): 12765476
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 130.217
system time used= 4.6223
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 77330
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= 5840
involuntary context switches= 260
runsolver used 11.3463 second user time and 28.8536 second system time
The end