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-3482410-1307577840/watcher-3482410-1307577840 -o /tmp/evaluation-result-3482410-1307577840/solver-3482410-1307577840 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.dec.pickle HOME/instance-3482410-1307577840.opb -seed 1945210893 -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.09 2.06 1.62 2/456 3776
/proc/meminfo: memFree=17644164/32951124 swapFree=60787360/67111528
[pid=3776] ppid=3774 vsize=15776 CPUtime=0 cores=1,3,5,7
/proc/3776/stat : 3776 (python) S 3774 3776 3014 0 -1 4202496 903 0 0 0 0 0 0 0 17 0 1 0 869381945 16154624 784 33554432000 4194304 5683644 140734748004400 18446744073709551615 255377299456 0 2147483391 16781312 2 18446744071699453118 0 0 17 3 0 0 0
/proc/3776/statm: 3944 784 346 364 0 431 0
[startup+0.0304931 s]
/proc/loadavg: 2.09 2.06 1.62 2/456 3776
/proc/meminfo: memFree=17644164/32951124 swapFree=60787360/67111528
[pid=3776] ppid=3774 vsize=18888 CPUtime=0.01 cores=1,3,5,7
/proc/3776/stat : 3776 (python) S 3774 3776 3014 0 -1 4202496 1259 0 0 0 1 0 0 0 17 0 1 0 869381945 19341312 1113 33554432000 4194304 5683644 140734748004400 18446744073709551615 255377299456 0 2147483391 16781312 2 18446744071699453118 0 0 17 3 0 0 0
/proc/3776/statm: 4722 1113 421 364 0 691 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 18888
[startup+0.100481 s]
/proc/loadavg: 2.09 2.06 1.62 2/456 3776
/proc/meminfo: memFree=17644164/32951124 swapFree=60787360/67111528
[pid=3776] ppid=3774 vsize=96128 CPUtime=0.07 cores=1,3,5,7
/proc/3776/stat : 3776 (python) R 3774 3776 3014 0 -1 4202496 3168 929 1 0 5 2 0 0 18 0 1 0 869381945 98435072 2483 33554432000 4194304 5683644 140734748004400 18446744073709551615 5158292 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/3776/statm: 24032 2483 792 364 0 1627 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 96128
[startup+0.300444 s]
/proc/loadavg: 2.09 2.06 1.62 2/456 3776
/proc/meminfo: memFree=17644164/32951124 swapFree=60787360/67111528
[pid=3776] ppid=3774 vsize=175632 CPUtime=0.22 cores=1,3,5,7
/proc/3776/stat : 3776 (python) R 3774 3776 3014 0 -1 4202496 6239 929 1 0 16 6 0 0 17 0 1 0 869381945 179847168 4551 33554432000 4194304 5683644 140734748004400 18446744073709551615 255377299456 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/3776/statm: 43908 4551 1236 364 0 3535 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 175632
[startup+0.700383 s]
/proc/loadavg: 2.09 2.06 1.62 2/456 3776
/proc/meminfo: memFree=17644164/32951124 swapFree=60787360/67111528
[pid=3776] ppid=3774 vsize=284916 CPUtime=0.59 cores=1,3,5,7
/proc/3776/stat : 3776 (python) R 3774 3776 3014 0 -1 4202496 10764 1349 1 0 46 10 2 1 17 0 1 0 869381945 291753984 7617 33554432000 4194304 5683644 140734748004400 18446744073709551615 255376997844 0 0 16781312 33554434 0 0 0 17 3 0 0 0
/proc/3776/statm: 71229 7617 1864 364 0 6119 0
Current children cumulated CPU time (s) 0.59
Current children cumulated vsize (KiB) 284916
[startup+1.56422 s]
/proc/loadavg: 2.09 2.06 1.62 2/456 3776
/proc/meminfo: memFree=17644164/32951124 swapFree=60787360/67111528
[pid=3776] ppid=3774 vsize=295172 CPUtime=0.59 cores=1,3,5,7
/proc/3776/stat : 3776 (python) S 3774 3776 3014 0 -1 4202496 11032 1349 1 0 46 10 2 1 19 0 2 0 869381945 302256128 7628 33554432000 4194304 5683644 140734748004400 18446744073709551615 255389128139 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/3776/statm: 73793 7628 1871 364 0 8680 0
Current children cumulated CPU time (s) 0.59
Current children cumulated vsize (KiB) 295172
[startup+3.10094 s]
/proc/loadavg: 2.32 2.11 1.64 3/460 3785
/proc/meminfo: memFree=17578968/32951124 swapFree=60787360/67111528
[pid=3776] ppid=3774 vsize=295172 CPUtime=0.59 cores=1,3,5,7
/proc/3776/stat : 3776 (python) S 3774 3776 3014 0 -1 4202496 11032 1349 1 0 46 10 2 1 19 0 2 0 869381945 302256128 7628 33554432000 4194304 5683644 140734748004400 18446744073709551615 255389128139 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/3776/statm: 73793 7628 1871 364 0 8680 0
[pid=3783] ppid=3776 vsize=284928 CPUtime=0 cores=1,3,5,7
/proc/3783/stat : 3783 (python) S 3776 3776 3014 0 -1 4202560 718 0 0 0 0 0 0 0 15 0 1 0 869382015 291766272 6072 33554432000 4194304 5683644 140734748004400 18446744073709551615 255377321487 0 0 16781312 33554946 4426066710239346951 0 0 17 3 0 0 0
/proc/3783/statm: 71232 6072 319 364 0 6119 0
[pid=3785] ppid=3783 vsize=50812 CPUtime=2.38 cores=1,3,5,7
/proc/3785/stat : 3785 (scip-2.0.1.linu) R 3783 3785 3785 0 -1 4202496 11262 0 0 0 221 17 0 0 25 0 1 0 869382016 52031488 10449 33554432000 4194304 13684479 140736247587392 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/3785/statm: 12703 10449 768 2317 0 10381 0
[pid=3776/tid=3784] ppid=3774 vsize=295172 CPUtime=0.03 cores=1,3,5,7
/proc/3776/task/3784/stat : 3784 (python) S 3774 3776 3014 0 -1 4202560 26 1349 0 0 0 0 2 1 19 0 2 0 869382016 302256128 7628 33554432000 4194304 5683644 140734748004400 18446744073709551615 255389125041 0 0 16781312 33554434 18446604457303901376 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2.97
Current children cumulated vsize (KiB) 630912
[startup+6.30034 s]
/proc/loadavg: 2.29 2.10 1.64 3/460 3785
/proc/meminfo: memFree=17578772/32951124 swapFree=60787360/67111528
[pid=3776] ppid=3774 vsize=295172 CPUtime=0.59 cores=1,3,5,7
/proc/3776/stat : 3776 (python) S 3774 3776 3014 0 -1 4202496 11032 1349 1 0 46 10 2 1 19 0 2 0 869381945 302256128 7628 33554432000 4194304 5683644 140734748004400 18446744073709551615 255389128139 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/3776/statm: 73793 7628 1871 364 0 8680 0
[pid=3783] ppid=3776 vsize=284928 CPUtime=0.01 cores=1,3,5,7
/proc/3783/stat : 3783 (python) S 3776 3776 3014 0 -1 4202560 860 0 0 0 0 1 0 0 15 0 1 0 869382015 291766272 6096 33554432000 4194304 5683644 140734748004400 18446744073709551615 255377321487 0 0 16781312 33554946 4426060662925394183 0 0 17 3 0 0 0
/proc/3783/statm: 71232 6096 343 364 0 6119 0
[pid=3785] ppid=3783 vsize=50812 CPUtime=5.58 cores=1,3,5,7
/proc/3785/stat : 3785 (scip-2.0.1.linu) R 3783 3785 3785 0 -1 4202496 11285 0 0 0 538 20 0 0 25 0 1 0 869382016 52031488 10467 33554432000 4194304 13684479 140736247587392 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/3785/statm: 12703 10467 767 2317 0 10381 0
[pid=3776/tid=3784] ppid=3774 vsize=295172 CPUtime=0.03 cores=1,3,5,7
/proc/3776/task/3784/stat : 3784 (python) S 3774 3776 3014 0 -1 4202560 26 1349 0 0 0 0 2 1 19 0 2 0 869382016 302256128 7628 33554432000 4194304 5683644 140734748004400 18446744073709551615 255389125041 0 0 16781312 33554434 18446604457303901376 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 630912
[startup+12.7012 s]
/proc/loadavg: 2.27 2.10 1.65 3/460 3785
/proc/meminfo: memFree=17544368/32951124 swapFree=60787360/67111528
[pid=3776] ppid=3774 vsize=295172 CPUtime=0.59 cores=1,3,5,7
/proc/3776/stat : 3776 (python) S 3774 3776 3014 0 -1 4202496 11032 1349 1 0 46 10 2 1 19 0 2 0 869381945 302256128 7628 33554432000 4194304 5683644 140734748004400 18446744073709551615 255389128139 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/3776/statm: 73793 7628 1871 364 0 8680 0
[pid=3783] ppid=3776 vsize=284928 CPUtime=0.03 cores=1,3,5,7
/proc/3783/stat : 3783 (python) S 3776 3776 3014 0 -1 4202560 964 0 0 0 1 2 0 0 15 0 1 0 869382015 291766272 6101 33554432000 4194304 5683644 140734748004400 18446744073709551615 255377321487 0 0 16781312 33554946 5623458817330129686 0 0 17 3 0 0 0
/proc/3783/statm: 71232 6101 348 364 0 6119 0
[pid=3785] ppid=3783 vsize=82424 CPUtime=12 cores=1,3,5,7
/proc/3785/stat : 3785 (scip-2.0.1.linu) R 3783 3785 3785 0 -1 4202496 22038 0 0 0 1162 38 0 0 25 0 1 0 869382016 84402176 18542 33554432000 4194304 13684479 140736247587392 18446744073709551615 12124442 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/3785/statm: 20606 18542 835 2317 0 18284 0
[pid=3776/tid=3784] ppid=3774 vsize=295172 CPUtime=0.03 cores=1,3,5,7
/proc/3776/task/3784/stat : 3784 (python) S 3774 3776 3014 0 -1 4202560 26 1349 0 0 0 0 2 1 19 0 2 0 869382016 302256128 7628 33554432000 4194304 5683644 140734748004400 18446744073709551615 255389125041 0 0 16781312 33554434 18446604457303901376 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 662524
[startup+25.5008 s]
/proc/loadavg: 2.23 2.10 1.65 3/460 3787
/proc/meminfo: memFree=17521460/32951124 swapFree=60787360/67111528
[pid=3776] ppid=3774 vsize=295172 CPUtime=0.59 cores=1,3,5,7
/proc/3776/stat : 3776 (python) S 3774 3776 3014 0 -1 4202496 11032 1349 1 0 46 10 2 1 19 0 2 0 869381945 302256128 7628 33554432000 4194304 5683644 140734748004400 18446744073709551615 255389128139 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/3776/statm: 73793 7628 1871 364 0 8680 0
[pid=3783] ppid=3776 vsize=284928 CPUtime=0.09 cores=1,3,5,7
/proc/3783/stat : 3783 (python) S 3776 3776 3014 0 -1 4202560 970 0 0 0 4 5 0 0 15 0 1 0 869382015 291766272 6101 33554432000 4194304 5683644 140734748004400 18446744073709551615 255377321487 0 0 16781312 33554946 5623458817330129686 0 0 17 3 0 0 0
/proc/3783/statm: 71232 6101 348 364 0 6119 0
[pid=3785] ppid=3783 vsize=114276 CPUtime=24.79 cores=1,3,5,7
/proc/3785/stat : 3785 (scip-2.0.1.linu) R 3783 3785 3785 0 -1 4202496 31290 0 0 0 2416 63 0 0 25 0 1 0 869382016 117018624 25907 33554432000 4194304 13684479 140736247587392 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/3785/statm: 28569 25907 867 2317 0 26247 0
[pid=3776/tid=3784] ppid=3774 vsize=295172 CPUtime=0.03 cores=1,3,5,7
/proc/3776/task/3784/stat : 3784 (python) S 3774 3776 3014 0 -1 4202560 26 1349 0 0 0 0 2 1 19 0 2 0 869382016 302256128 7628 33554432000 4194304 5683644 140734748004400 18446744073709551615 255389125041 0 0 16781312 33554434 18446604457303901376 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 694376
[startup+51.101 s]
/proc/loadavg: 2.15 2.09 1.66 3/464 3793
/proc/meminfo: memFree=17515068/32951124 swapFree=60787360/67111528
[pid=3776] ppid=3774 vsize=305428 CPUtime=0.62 cores=1,3,5,7
/proc/3776/stat : 3776 (python) S 3774 3776 3014 0 -1 4202496 11958 1349 1 0 48 11 2 1 18 0 3 0 869381945 312758272 7635 33554432000 4194304 5683644 140734748004400 18446744073709551615 255389128139 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/3776/statm: 76357 7635 1874 364 0 11241 0
[pid=3783] ppid=3776 vsize=295172 CPUtime=0.17 cores=1,3,5,7
/proc/3783/stat : 3783 (python) S 3776 3776 3014 0 -1 4202560 1147 0 0 0 8 9 0 0 16 0 2 0 869382015 302256128 6169 33554432000 4194304 5683644 140734748004400 18446744073709551615 255389128139 0 0 16781312 33554946 18446744073709551615 0 0 17 3 0 0 0
/proc/3783/statm: 73793 6169 411 364 0 8680 0
[pid=3785] ppid=3783 vsize=108396 CPUtime=46.82 cores=1,3,5,7
/proc/3785/stat : 3785 (scip-2.0.1.linu) T 3783 3785 3785 0 -1 4202496 32765 0 0 0 4583 99 0 0 25 0 1 0 869382016 110997504 24786 33554432000 4194304 13684479 140736247587392 18446744073709551615 7401088 0 0 16781312 2 18446744071562691360 0 0 17 5 0 0 0
/proc/3785/statm: 27099 24786 846 2317 0 24777 0
[pid=3783/tid=3790] ppid=3776 vsize=295172 CPUtime=0 cores=1,3,5,7
/proc/3783/task/3790/stat : 3790 (python) S 3776 3776 3014 0 -1 4202560 43 0 0 0 0 0 0 0 16 0 2 0 869386698 302256128 6169 33554432000 4194304 5683644 140734748004400 18446744073709551615 255389125041 0 0 16781312 33554946 18446604467070501056 0 0 -1 3 0 0 0
[pid=3791] ppid=3776 vsize=295184 CPUtime=0.01 cores=1,3,5,7
/proc/3791/stat : 3791 (python) S 3776 3776 3014 0 -1 4202560 886 0 0 0 0 1 0 0 18 0 1 0 869386701 302268416 6100 33554432000 4194304 5683644 140734748004400 18446744073709551615 255377321542 0 0 16781312 33554946 13125297912001036549 0 0 17 5 0 0 0
/proc/3791/statm: 73796 6100 343 364 0 8680 0
[pid=3793] ppid=3791 vsize=4860 CPUtime=3.53 cores=1,3,5,7
/proc/3793/stat : 3793 (clasp-1.3.7-x86) R 3791 3793 3793 0 -1 4202496 1259 0 0 0 353 0 0 0 25 0 1 0 869386701 4976640 971 33554432000 134512640 136139019 4289459312 18446744073709551615 134599014 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/3793/statm: 1215 971 183 398 0 815 0
[pid=3776/tid=3784] ppid=3774 vsize=305428 CPUtime=0.03 cores=1,3,5,7
/proc/3776/task/3784/stat : 3784 (python) S 3774 3776 3014 0 -1 4202560 26 1349 0 0 0 0 2 1 19 0 3 0 869382016 312758272 7635 33554432000 4194304 5683644 140734748004400 18446744073709551615 255389125041 0 0 16781312 33554434 18446604457303901376 0 0 -1 3 0 0 0
[pid=3776/tid=3792] ppid=3774 vsize=305428 CPUtime=0.03 cores=1,3,5,7
/proc/3776/task/3792/stat : 3792 (python) S 3774 3776 3014 0 -1 4202560 30 1349 0 0 0 0 2 1 20 0 3 0 869386701 312758272 7635 33554432000 4194304 5683644 140734748004400 18446744073709551615 255389125041 0 0 16781312 33554434 18446604457303901376 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 51.15
Current children cumulated vsize (KiB) 1009040
[startup+102.301 s]
/proc/loadavg: 2.06 2.07 1.67 3/468 3799
/proc/meminfo: memFree=17439304/32951124 swapFree=60787360/67111528
[pid=3776] ppid=3774 vsize=315684 CPUtime=0.65 cores=1,3,5,7
/proc/3776/stat : 3776 (python) S 3774 3776 3014 0 -1 4202496 12885 1349 1 0 51 11 2 1 20 0 4 0 869381945 323260416 7641 33554432000 4194304 5683644 140734748004400 18446744073709551615 255389128139 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/3776/statm: 78921 7641 1876 364 0 13802 0
[pid=3783] ppid=3776 vsize=295172 CPUtime=0.17 cores=1,3,5,7
/proc/3783/stat : 3783 (python) S 3776 3776 3014 0 -1 4202560 1147 0 0 0 8 9 0 0 16 0 2 0 869382015 302256128 6169 33554432000 4194304 5683644 140734748004400 18446744073709551615 255389128139 0 0 16781312 33554946 18446744073709551615 0 0 17 3 0 0 0
/proc/3783/statm: 73793 6169 411 364 0 8680 0
[pid=3785] ppid=3783 vsize=108396 CPUtime=46.82 cores=1,3,5,7
/proc/3785/stat : 3785 (scip-2.0.1.linu) T 3783 3785 3785 0 -1 4202496 32765 0 0 0 4583 99 0 0 25 0 1 0 869382016 110997504 24786 33554432000 4194304 13684479 140736247587392 18446744073709551615 7401088 0 0 16781312 2 18446744071562691360 0 0 17 5 0 0 0
/proc/3785/statm: 27099 24786 846 2317 0 24777 0
[pid=3783/tid=3790] ppid=3776 vsize=295172 CPUtime=0 cores=1,3,5,7
/proc/3783/task/3790/stat : 3790 (python) S 3776 3776 3014 0 -1 4202560 43 0 0 0 0 0 0 0 16 0 2 0 869386698 302256128 6169 33554432000 4194304 5683644 140734748004400 18446744073709551615 255389125041 0 0 16781312 33554946 18446604467070501056 0 0 -1 3 0 0 0
[pid=3791] ppid=3776 vsize=295184 CPUtime=0.17 cores=1,3,5,7
/proc/3791/stat : 3791 (python) S 3776 3776 3014 0 -1 4202560 1110 0 0 0 8 9 0 0 19 0 2 0 869386701 302268416 6149 33554432000 4194304 5683644 140734748004400 18446744073709551615 255389128139 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/3791/statm: 73796 6149 391 364 0 8680 0
[pid=3793] ppid=3791 vsize=7292 CPUtime=48.17 cores=1,3,5,7
/proc/3793/stat : 3793 (clasp-1.3.7-x86) T 3791 3793 3793 0 -1 4202496 1879 0 0 0 4817 0 0 0 25 0 1 0 869386701 7467008 1576 33554432000 134512640 136139019 4289459312 18446744073709551615 134613508 0 0 16781312 16386 18446744071562691360 0 0 17 1 0 0 0
/proc/3793/statm: 1823 1576 183 398 0 1423 0
[pid=3791/tid=3795] ppid=3776 vsize=295184 CPUtime=0 cores=1,3,5,7
/proc/3791/task/3795/stat : 3795 (python) S 3776 3776 3014 0 -1 4202560 50 0 0 0 0 0 0 0 19 0 2 0 869391518 302268416 6149 33554432000 4194304 5683644 140734748004400 18446744073709551615 255389125041 0 0 16781312 33554946 18446604457696458880 0 0 -1 1 0 0 0
[pid=3796] ppid=3776 vsize=305440 CPUtime=0.01 cores=1,3,5,7
/proc/3796/stat : 3796 (python) S 3776 3776 3014 0 -1 4202560 910 0 0 0 1 0 0 0 15 0 1 0 869391521 312770560 6105 33554432000 4194304 5683644 140734748004400 18446744073709551615 255377321542 0 0 16781312 33554946 588708289634631680 0 0 17 1 0 0 0
/proc/3796/statm: 76360 6105 344 364 0 11241 0
[pid=3798] ppid=3796 vsize=82168 CPUtime=6.53 cores=1,3,5,7
/proc/3798/stat : 3798 (scip-2.0.1.linu) R 3796 3798 3798 0 -1 4202496 24674 0 0 0 630 23 0 0 22 0 1 0 869391521 84140032 17674 33554432000 4194304 15243407 140736820169056 18446744073709551615 13277498 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/3798/statm: 20542 17674 938 2698 0 17837 0
[pid=3776/tid=3784] ppid=3774 vsize=315684 CPUtime=0.03 cores=1,3,5,7
/proc/3776/task/3784/stat : 3784 (python) S 3774 3776 3014 0 -1 4202560 26 1349 0 0 0 0 2 1 19 0 4 0 869382016 323260416 7641 33554432000 4194304 5683644 140734748004400 18446744073709551615 255389125041 0 0 16781312 33554434 18446604457303901376 0 0 -1 3 0 0 0
[pid=3776/tid=3792] ppid=3774 vsize=315684 CPUtime=0.03 cores=1,3,5,7
/proc/3776/task/3792/stat : 3792 (python) S 3774 3776 3014 0 -1 4202560 30 1349 0 0 0 0 2 1 20 0 4 0 869386701 323260416 7641 33554432000 4194304 5683644 140734748004400 18446744073709551615 255389125041 0 0 16781312 33554434 18446604457303901376 0 0 -1 5 0 0 0
################
# More data... #
################
[pid=3861/tid=3874] ppid=3859 vsize=8545528 CPUtime=0 cores=1,3,5,7
/proc/3861/task/3874/stat : 3874 (java) T 3859 3861 3861 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869433571 8750620672 241154 33554432000 1073741824 1073778376 140736460112448 18446744073709551615 255389125041 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=3861/tid=3875] ppid=3859 vsize=8545528 CPUtime=0.98 cores=1,3,5,7
/proc/3861/task/3875/stat : 3875 (java) T 3859 3861 3861 0 -1 4202560 5614 0 0 0 98 0 0 0 15 0 19 0 869433571 8750620672 241154 33554432000 1073741824 1073778376 140736460112448 18446744073709551615 255389117337 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=3861/tid=3876] ppid=3859 vsize=8545528 CPUtime=0.7 cores=1,3,5,7
/proc/3861/task/3876/stat : 3876 (java) T 3859 3861 3861 0 -1 4202560 6326 0 0 0 70 0 0 0 15 0 19 0 869433571 8750620672 241154 33554432000 1073741824 1073778376 140736460112448 18446744073709551615 255389117337 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=3861/tid=3877] ppid=3859 vsize=8545528 CPUtime=0 cores=1,3,5,7
/proc/3861/task/3877/stat : 3877 (java) T 3859 3861 3861 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869433571 8750620672 241154 33554432000 1073741824 1073778376 140736460112448 18446744073709551615 255389117337 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=3861/tid=3878] ppid=3859 vsize=8545528 CPUtime=0 cores=1,3,5,7
/proc/3861/task/3878/stat : 3878 (java) T 3859 3861 3861 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 869433571 8750620672 241154 33554432000 1073741824 1073778376 140736460112448 18446744073709551615 255389117952 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=3861/tid=3879] ppid=3859 vsize=8545528 CPUtime=0 cores=1,3,5,7
/proc/3861/task/3879/stat : 3879 (java) T 3859 3861 3861 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 869433607 8750620672 241154 33554432000 1073741824 1073778376 140736460112448 18446744073709551615 255389117952 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=3859/tid=3885] ppid=3776 vsize=336208 CPUtime=0 cores=1,3,5,7
/proc/3859/task/3885/stat : 3885 (python) S 3776 3776 3014 0 -1 4202560 49 0 0 0 0 0 0 0 16 0 2 0 869438424 344276992 6168 33554432000 4194304 5683644 140734748004400 18446744073709551615 255389125041 0 0 16781312 33554946 18446604455241528512 0 0 -1 1 0 0 0
[pid=3910] ppid=3776 vsize=346968 CPUtime=0.36 cores=1,3,5,7
/proc/3910/stat : 3910 (python) S 3776 3776 3014 0 -1 4202560 1177 0 0 0 16 20 0 0 16 0 2 0 869480165 355295232 6298 33554432000 4194304 5683644 140734748004400 18446744073709551615 255389128139 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/3910/statm: 86742 6298 391 364 0 21611 0
[pid=3912] ppid=3910 vsize=165824 CPUtime=93.17 cores=1,3,5,7
/proc/3912/stat : 3912 (bsolo_pb10) T 3910 3912 3912 0 -1 4202496 39424 0 0 0 9298 19 0 0 25 0 1 0 869480165 169803776 39027 33554432000 134512640 137138936 4294639728 18446744073709551615 134542233 0 0 16781312 16384 18446744071562691360 0 0 17 5 0 0 0
/proc/3912/statm: 41456 39027 190 642 0 40812 0
[pid=3910/tid=3915] ppid=3776 vsize=346968 CPUtime=0 cores=1,3,5,7
/proc/3910/task/3915/stat : 3915 (python) S 3776 3776 3014 0 -1 4202560 47 0 0 0 0 0 0 0 16 0 2 0 869489483 355295232 6298 33554432000 4194304 5683644 140734748004400 18446744073709551615 255389125041 0 0 16781312 33554946 18446604469892550848 0 0 -1 7 0 0 0
[pid=3916] ppid=3776 vsize=357224 CPUtime=0.18 cores=1,3,5,7
/proc/3916/stat : 3916 (python) S 3776 3776 3014 0 -1 4202560 1232 0 0 0 9 9 0 0 19 0 2 0 869489484 365797376 6308 33554432000 4194304 5683644 140734748004400 18446744073709551615 255389128139 0 0 16781312 33554946 18446744073709551615 0 0 17 5 0 0 0
/proc/3916/statm: 89306 6308 397 364 0 24172 0
[pid=3918] ppid=3916 vsize=108356 CPUtime=48.16 cores=1,3,5,7
/proc/3918/stat : 3918 (pbct-0.1.2-linu) T 3916 3918 3918 0 -1 4202496 27621 0 0 0 4694 122 0 0 25 0 1 0 869489484 110956544 25794 33554432000 134512640 136422188 4292182816 18446744073709551615 135028660 0 0 16781312 16387 18446744071562691360 0 0 17 1 0 0 0
/proc/3918/statm: 27089 25794 213 467 0 26620 0
[pid=3916/tid=3921] ppid=3776 vsize=357224 CPUtime=0 cores=1,3,5,7
/proc/3916/task/3921/stat : 3921 (python) S 3776 3776 3014 0 -1 4202560 44 0 0 0 0 0 0 0 19 0 2 0 869494306 365797376 6308 33554432000 4194304 5683644 140734748004400 18446744073709551615 255389125041 0 0 16781312 33554946 18446604460615722176 0 0 -1 1 0 0 0
[pid=3776/tid=3784] ppid=3774 vsize=367468 CPUtime=0.03 cores=1,3,5,7
/proc/3776/task/3784/stat : 3784 (python) S 3774 3776 3014 0 -1 4202560 41 1349 0 0 0 0 2 1 18 0 9 0 869382016 376287232 7800 33554432000 4194304 5683644 140734748004400 18446744073709551615 255389125041 0 0 16781312 33554434 18446604457303901376 0 0 -1 3 0 0 0
[pid=3776/tid=3792] ppid=3774 vsize=367468 CPUtime=0.03 cores=1,3,5,7
/proc/3776/task/3792/stat : 3792 (python) S 3774 3776 3014 0 -1 4202560 40 1349 0 0 0 0 2 1 18 0 9 0 869386701 376287232 7800 33554432000 4194304 5683644 140734748004400 18446744073709551615 255389125041 0 0 16781312 33554434 18446604457303901376 0 0 -1 5 0 0 0
[pid=3776/tid=3797] ppid=3774 vsize=367468 CPUtime=0.03 cores=1,3,5,7
/proc/3776/task/3797/stat : 3797 (python) S 3774 3776 3014 0 -1 4202560 34 1349 0 0 0 0 2 1 18 0 9 0 869391521 376287232 7800 33554432000 4194304 5683644 140734748004400 18446744073709551615 255389125041 0 0 16781312 33554434 18446604457303901376 0 0 -1 7 0 0 0
[pid=3776/tid=3804] ppid=3774 vsize=367468 CPUtime=0.03 cores=1,3,5,7
/proc/3776/task/3804/stat : 3804 (python) S 3774 3776 3014 0 -1 4202560 29 1349 0 0 0 0 2 1 20 0 9 0 869400828 376287232 7800 33554432000 4194304 5683644 140734748004400 18446744073709551615 255389125041 0 0 16781312 33554434 18446604457303901376 0 0 -1 3 0 0 0
[pid=3776/tid=3810] ppid=3774 vsize=367468 CPUtime=0.03 cores=1,3,5,7
/proc/3776/task/3810/stat : 3810 (python) S 3774 3776 3014 0 -1 4202560 28 1349 0 0 0 0 2 1 20 0 9 0 869410282 376287232 7800 33554432000 4194304 5683644 140734748004400 18446744073709551615 255389125041 0 0 16781312 33554434 18446604457303901376 0 0 -1 3 0 0 0
[pid=3776/tid=3860] ppid=3774 vsize=367468 CPUtime=0.03 cores=1,3,5,7
/proc/3776/task/3860/stat : 3860 (python) S 3774 3776 3014 0 -1 4202560 29 1349 0 0 0 0 2 1 20 0 9 0 869433565 376287232 7800 33554432000 4194304 5683644 140734748004400 18446744073709551615 255389125041 0 0 16781312 33554434 18446604457303901376 0 0 -1 3 0 0 0
[pid=3776/tid=3911] ppid=3774 vsize=367468 CPUtime=0.03 cores=1,3,5,7
/proc/3776/task/3911/stat : 3911 (python) S 3774 3776 3014 0 -1 4202560 31 1349 0 0 0 0 2 1 20 0 9 0 869480165 376287232 7800 33554432000 4194304 5683644 140734748004400 18446744073709551615 255389125041 0 0 16781312 33554434 18446604457303901376 0 0 -1 5 0 0 0
[pid=3776/tid=3917] ppid=3774 vsize=367468 CPUtime=0.03 cores=1,3,5,7
/proc/3776/task/3917/stat : 3917 (python) S 3774 3776 3014 0 -1 4202560 25 1349 0 0 0 0 2 1 20 0 9 0 869489484 376287232 7800 33554432000 4194304 5683644 140734748004400 18446744073709551615 255389125041 0 0 16781312 33554434 18446604457303901376 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1144.43
Current children cumulated vsize (KiB) 12114240
[startup+1138.5 s]
/proc/loadavg: 2.17 2.14 1.94 3/515 3921
/proc/meminfo: memFree=15859656/32951124 swapFree=60787360/67111528
[pid=3776] ppid=3774 vsize=367468 CPUtime=1.28 cores=1,3,5,7
/proc/3776/stat : 3776 (python) S 3774 3776 3014 0 -1 4202496 18753 1349 1 0 113 12 2 1 18 0 9 0 869381945 376287232 7800 33554432000 4194304 5683644 140734748004400 18446744073709551615 255389131583 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/3776/statm: 91867 7800 1886 364 0 26733 0
[pid=3783] ppid=3776 vsize=295172 CPUtime=527.25 cores=1,3,5,7
/proc/3783/stat : 3783 (python) R 3776 3776 3014 0 -1 4202560 1308 32772 0 0 94 104 51930 597 16 0 2 0 869382015 302256128 6175 33554432000 4194304 5683644 140734748004400 18446744073709551615 255389125041 0 0 16781824 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/3783/statm: 73793 6175 417 364 0 8680 0
[pid=3783/tid=3790] ppid=3776 vsize=295172 CPUtime=525.27 cores=1,3,5,7
/proc/3783/task/3790/stat : 3790 (python) S 3776 3776 3014 0 -1 4202560 44 32772 0 0 0 0 51930 597 15 0 2 0 869386698 302256128 6175 33554432000 4194304 5683644 140734748004400 18446744073709551615 255389125041 0 0 16781824 33554434 18446604467070501056 0 0 -1 3 0 0 0
[pid=3791] ppid=3776 vsize=295184 CPUtime=0.88 cores=1,3,5,7
/proc/3791/stat : 3791 (python) S 3776 3776 3014 0 -1 4202560 1189 0 0 0 41 47 0 0 18 0 2 0 869386701 302268416 6149 33554432000 4194304 5683644 140734748004400 18446744073709551615 255389128139 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/3791/statm: 73796 6149 391 364 0 8680 0
[pid=3793] ppid=3791 vsize=10960 CPUtime=232.89 cores=1,3,5,7
/proc/3793/stat : 3793 (clasp-1.3.7-x86) T 3791 3793 3793 0 -1 4202496 2902 0 0 0 23289 0 0 0 25 0 1 0 869386701 11223040 2484 33554432000 134512640 136139019 4289459312 18446744073709551615 134598561 0 0 16781312 16386 18446744071562691360 0 0 17 1 0 0 0
/proc/3793/statm: 2740 2484 183 398 0 2340 0
[pid=3791/tid=3795] ppid=3776 vsize=295184 CPUtime=0 cores=1,3,5,7
/proc/3791/task/3795/stat : 3795 (python) S 3776 3776 3014 0 -1 4202560 50 0 0 0 0 0 0 0 18 0 2 0 869391518 302268416 6149 33554432000 4194304 5683644 140734748004400 18446744073709551615 255389125041 0 0 16781312 33554946 18446604457696458880 0 0 -1 1 0 0 0
[pid=3796] ppid=3776 vsize=305440 CPUtime=0.35 cores=1,3,5,7
/proc/3796/stat : 3796 (python) S 3776 3776 3014 0 -1 4202560 1141 0 0 0 16 19 0 0 15 0 2 0 869391521 312770560 6153 33554432000 4194304 5683644 140734748004400 18446744073709551615 255389128139 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/3796/statm: 76360 6153 391 364 0 11241 0
[pid=3798] ppid=3796 vsize=79756 CPUtime=92.6 cores=1,3,5,7
/proc/3798/stat : 3798 (scip-2.0.1.linu) T 3796 3798 3798 0 -1 4202496 35744 0 0 0 9199 61 0 0 25 0 1 0 869391521 81670144 17635 33554432000 4194304 15243407 140736820169056 18446744073709551615 6953052 0 0 16781312 2 18446744071562691360 0 0 17 3 0 0 0
/proc/3798/statm: 19939 17635 979 2698 0 17234 0
[pid=3796/tid=3801] ppid=3776 vsize=305440 CPUtime=0 cores=1,3,5,7
/proc/3796/task/3801/stat : 3801 (python) S 3776 3776 3014 0 -1 4202560 49 0 0 0 0 0 0 0 15 0 2 0 869396165 312770560 6153 33554432000 4194304 5683644 140734748004400 18446744073709551615 255389125041 0 0 16781312 33554946 18446604469703889152 0 0 -1 7 0 0 0
[pid=3803] ppid=3776 vsize=315696 CPUtime=0.18 cores=1,3,5,7
/proc/3803/stat : 3803 (python) R 3776 3776 3014 0 -1 4202560 1121 0 0 0 8 10 0 0 16 0 2 0 869400828 323272704 6157 33554432000 4194304 5683644 140734748004400 18446744073709551615 47373665840432 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/3803/statm: 78924 6157 391 364 0 13802 0
[pid=3805] ppid=3803 vsize=71100 CPUtime=48.31 cores=1,3,5,7
/proc/3805/stat : 3805 (minion) T 3803 3805 3805 0 -1 4202496 11070 0 0 0 4830 1 0 0 25 0 1 0 869400828 72806400 10517 33554432000 134512640 165565024 4287762976 18446744073709551615 159737071 0 0 16781312 8396802 18446744071562691360 0 0 17 5 0 0 0
/proc/3805/statm: 17775 10517 359 7582 0 10190 0
[pid=3803/tid=3807] ppid=3776 vsize=315696 CPUtime=0 cores=1,3,5,7
/proc/3803/task/3807/stat : 3807 (python) S 3776 3776 3014 0 -1 4202560 44 0 0 0 0 0 0 0 16 0 2 0 869405660 323272704 6157 33554432000 4194304 5683644 140734748004400 18446744073709551615 255389125041 0 0 16781312 33554946 18446604458757669888 0 0 -1 7 0 0 0
[pid=3809] ppid=3776 vsize=325952 CPUtime=0.19 cores=1,3,5,7
/proc/3809/stat : 3809 (python) S 3776 3776 3014 0 -1 4202560 1144 0 0 0 9 10 0 0 17 0 2 0 869410282 333774848 6161 33554432000 4194304 5683644 140734748004400 18446744073709551615 255389128139 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/3809/statm: 81488 6161 391 364 0 16363 0
[pid=3811] ppid=3809 vsize=79008 CPUtime=48 cores=1,3,5,7
/proc/3811/stat : 3811 (bsolo_pb10) T 3809 3811 3811 0 -1 4202496 17706 0 0 0 4794 6 0 0 25 0 1 0 869410283 80904192 17318 33554432000 134512640 137138936 4291759616 18446744073709551615 134542286 0 0 16781312 16384 18446744071562691360 0 0 17 5 0 0 0
/proc/3811/statm: 19752 17318 192 642 0 19108 0
[pid=3809/tid=3814] ppid=3776 vsize=325952 CPUtime=0 cores=1,3,5,7
/proc/3809/task/3814/stat : 3814 (python) S 3776 3776 3014 0 -1 4202560 48 0 0 0 0 0 0 0 17 0 2 0 869415084 333774848 6161 33554432000 4194304 5683644 140734748004400 18446744073709551615 255389125041 0 0 16781312 33554946 18446604471138828480 0 0 -1 7 0 0 0
[pid=3859] ppid=3776 vsize=336208 CPUtime=0.18 cores=1,3,5,7
/proc/3859/stat : 3859 (python) S 3776 3776 3014 0 -1 4202560 1172 0 0 0 9 9 0 0 16 0 2 0 869433565 344276992 6168 33554432000 4194304 5683644 140734748004400 18446744073709551615 255389128139 0 0 16781312 33554946 18446744073709551615 0 0 17 1 0 0 0
/proc/3859/statm: 84052 6168 391 364 0 18924 0
[pid=3861] ppid=3859 vsize=8545528 CPUtime=50.56 cores=1,3,5,7
/proc/3861/stat : 3861 (java) T 3859 3861 3861 0 -1 4202496 294219 0 1 0 5021 35 0 0 18 0 19 0 869433566 8750620672 241154 33554432000 1073741824 1073778376 140736460112448 18446744073709551615 255389104101 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0
/proc/3861/statm: 2136382 241154 2246 9 0 2127123 0
[pid=3861/tid=3862] ppid=3859 vsize=8545528 CPUtime=48.29 cores=1,3,5,7
/proc/3861/task/3862/stat : 3862 (java) T 3859 3861 3861 0 -1 4202560 246279 0 1 0 4802 27 0 0 25 0 19 0 869433567 8750620672 241154 33554432000 1073741824 1073778376 140736460112448 18446744073709551615 46912505821401 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=3861/tid=3863] ppid=3859 vsize=8545528 CPUtime=0.05 cores=1,3,5,7
/proc/3861/task/3863/stat : 3863 (java) T 3859 3861 3861 0 -1 4202560 3672 0 0 0 5 0 0 0 15 0 19 0 869433567 8750620672 241154 33554432000 1073741824 1073778376 140736460112448 18446744073709551615 255389117337 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=3861/tid=3864] ppid=3859 vsize=8545528 CPUtime=0.06 cores=1,3,5,7
/proc/3861/task/3864/stat : 3864 (java) T 3859 3861 3861 0 -1 4202560 4070 0 0 0 6 0 0 0 15 0 19 0 869433567 8750620672 241154 33554432000 1073741824 1073778376 140736460112448 18446744073709551615 255389117337 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=3861/tid=3865] ppid=3859 vsize=8545528 CPUtime=0.07 cores=1,3,5,7
/proc/3861/task/3865/stat : 3865 (java) T 3859 3861 3861 0 -1 4202560 5639 0 0 0 7 0 0 0 15 0 19 0 869433567 8750620672 241154 33554432000 1073741824 1073778376 140736460112448 18446744073709551615 255389117337 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=3861/tid=3866] ppid=3859 vsize=8545528 CPUtime=0.05 cores=1,3,5,7
/proc/3861/task/3866/stat : 3866 (java) T 3859 3861 3861 0 -1 4202560 4263 0 0 0 5 0 0 0 15 0 19 0 869433567 8750620672 241154 33554432000 1073741824 1073778376 140736460112448 18446744073709551615 255389117337 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=3861/tid=3867] ppid=3859 vsize=8545528 CPUtime=0.05 cores=1,3,5,7
/proc/3861/task/3867/stat : 3867 (java) T 3859 3861 3861 0 -1 4202560 2911 0 0 0 5 0 0 0 15 0 19 0 869433567 8750620672 241154 33554432000 1073741824 1073778376 140736460112448 18446744073709551615 255389117337 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=3861/tid=3868] ppid=3859 vsize=8545528 CPUtime=0.05 cores=1,3,5,7
/proc/3861/task/3868/stat : 3868 (java) T 3859 3861 3861 0 -1 4202560 4441 0 0 0 5 0 0 0 15 0 19 0 869433567 8750620672 241154 33554432000 1073741824 1073778376 140736460112448 18446744073709551615 255389117337 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=3861/tid=3869] ppid=3859 vsize=8545528 CPUtime=0.07 cores=1,3,5,7
/proc/3861/task/3869/stat : 3869 (java) T 3859 3861 3861 0 -1 4202560 5113 0 0 0 7 0 0 0 15 0 19 0 869433567 8750620672 241154 33554432000 1073741824 1073778376 140736460112448 18446744073709551615 255389117337 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=3861/tid=3870] ppid=3859 vsize=8545528 CPUtime=0.05 cores=1,3,5,7
/proc/3861/task/3870/stat : 3870 (java) T 3859 3861 3861 0 -1 4202560 4047 0 0 0 5 0 0 0 15 0 19 0 869433567 8750620672 241154 33554432000 1073741824 1073778376 140736460112448 18446744073709551615 255389117337 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=3861/tid=3871] ppid=3859 vsize=8545528 CPUtime=0.01 cores=1,3,5,7
/proc/3861/task/3871/stat : 3871 (java) T 3859 3861 3861 0 -1 4202560 443 0 0 0 0 1 0 0 15 0 19 0 869433568 8750620672 241154 33554432000 1073741824 1073778376 140736460112448 18446744073709551615 255389117952 0 0 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=3861/tid=3872] ppid=3859 vsize=8545528 CPUtime=0 cores=1,3,5,7
/proc/3861/task/3872/stat : 3872 (java) T 3859 3861 3861 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 869433569 8750620672 241154 33554432000 1073741824 1073778376 140736460112448 18446744073709551615 255389117337 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=3861/tid=3873] ppid=3859 vsize=8545528 CPUtime=0 cores=1,3,5,7
/proc/3861/task/3873/stat : 3873 (java) T 3859 3861 3861 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 869433569 8750620672 241154 33554432000 1073741824 1073778376 140736460112448 18446744073709551615 255389117337 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=3861/tid=3874] ppid=3859 vsize=8545528 CPUtime=0 cores=1,3,5,7
/proc/3861/task/3874/stat : 3874 (java) T 3859 3861 3861 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869433571 8750620672 241154 33554432000 1073741824 1073778376 140736460112448 18446744073709551615 255389125041 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=3861/tid=3875] ppid=3859 vsize=8545528 CPUtime=0.98 cores=1,3,5,7
/proc/3861/task/3875/stat : 3875 (java) T 3859 3861 3861 0 -1 4202560 5614 0 0 0 98 0 0 0 15 0 19 0 869433571 8750620672 241154 33554432000 1073741824 1073778376 140736460112448 18446744073709551615 255389117337 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=3861/tid=3876] ppid=3859 vsize=8545528 CPUtime=0.7 cores=1,3,5,7
/proc/3861/task/3876/stat : 3876 (java) T 3859 3861 3861 0 -1 4202560 6326 0 0 0 70 0 0 0 15 0 19 0 869433571 8750620672 241154 33554432000 1073741824 1073778376 140736460112448 18446744073709551615 255389117337 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=3861/tid=3877] ppid=3859 vsize=8545528 CPUtime=0 cores=1,3,5,7
/proc/3861/task/3877/stat : 3877 (java) T 3859 3861 3861 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869433571 8750620672 241154 33554432000 1073741824 1073778376 140736460112448 18446744073709551615 255389117337 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=3861/tid=3878] ppid=3859 vsize=8545528 CPUtime=0 cores=1,3,5,7
/proc/3861/task/3878/stat : 3878 (java) T 3859 3861 3861 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 869433571 8750620672 241154 33554432000 1073741824 1073778376 140736460112448 18446744073709551615 255389117952 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=3861/tid=3879] ppid=3859 vsize=8545528 CPUtime=0 cores=1,3,5,7
/proc/3861/task/3879/stat : 3879 (java) T 3859 3861 3861 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 869433607 8750620672 241154 33554432000 1073741824 1073778376 140736460112448 18446744073709551615 255389117952 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=3859/tid=3885] ppid=3776 vsize=336208 CPUtime=0 cores=1,3,5,7
/proc/3859/task/3885/stat : 3885 (python) S 3776 3776 3014 0 -1 4202560 49 0 0 0 0 0 0 0 16 0 2 0 869438424 344276992 6168 33554432000 4194304 5683644 140734748004400 18446744073709551615 255389125041 0 0 16781312 33554946 18446604455241528512 0 0 -1 1 0 0 0
[pid=3910] ppid=3776 vsize=346968 CPUtime=0.36 cores=1,3,5,7
/proc/3910/stat : 3910 (python) S 3776 3776 3014 0 -1 4202560 1177 0 0 0 16 20 0 0 16 0 2 0 869480165 355295232 6298 33554432000 4194304 5683644 140734748004400 18446744073709551615 255389128139 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/3910/statm: 86742 6298 391 364 0 21611 0
[pid=3912] ppid=3910 vsize=165824 CPUtime=93.17 cores=1,3,5,7
/proc/3912/stat : 3912 (bsolo_pb10) T 3910 3912 3912 0 -1 4202496 39424 0 0 0 9298 19 0 0 25 0 1 0 869480165 169803776 39027 33554432000 134512640 137138936 4294639728 18446744073709551615 134542233 0 0 16781312 16384 18446744071562691360 0 0 17 5 0 0 0
/proc/3912/statm: 41456 39027 190 642 0 40812 0
[pid=3910/tid=3915] ppid=3776 vsize=346968 CPUtime=0 cores=1,3,5,7
/proc/3910/task/3915/stat : 3915 (python) S 3776 3776 3014 0 -1 4202560 47 0 0 0 0 0 0 0 16 0 2 0 869489483 355295232 6298 33554432000 4194304 5683644 140734748004400 18446744073709551615 255389125041 0 0 16781312 33554946 18446604469892550848 0 0 -1 7 0 0 0
[pid=3916] ppid=3776 vsize=357224 CPUtime=0.18 cores=1,3,5,7
/proc/3916/stat : 3916 (python) S 3776 3776 3014 0 -1 4202560 1232 0 0 0 9 9 0 0 19 0 2 0 869489484 365797376 6308 33554432000 4194304 5683644 140734748004400 18446744073709551615 255389128139 0 0 16781312 33554946 18446744073709551615 0 0 17 5 0 0 0
/proc/3916/statm: 89306 6308 397 364 0 24172 0
[pid=3918] ppid=3916 vsize=108356 CPUtime=48.16 cores=1,3,5,7
/proc/3918/stat : 3918 (pbct-0.1.2-linu) T 3916 3918 3918 0 -1 4202496 27621 0 0 0 4694 122 0 0 25 0 1 0 869489484 110956544 25794 33554432000 134512640 136422188 4292182816 18446744073709551615 135028660 0 0 16781312 16387 18446744071562691360 0 0 17 1 0 0 0
/proc/3918/statm: 27089 25794 213 467 0 26620 0
[pid=3916/tid=3921] ppid=3776 vsize=357224 CPUtime=0 cores=1,3,5,7
/proc/3916/task/3921/stat : 3921 (python) S 3776 3776 3014 0 -1 4202560 44 0 0 0 0 0 0 0 19 0 2 0 869494306 365797376 6308 33554432000 4194304 5683644 140734748004400 18446744073709551615 255389125041 0 0 16781312 33554946 18446604460615722176 0 0 -1 1 0 0 0
[pid=3776/tid=3784] ppid=3774 vsize=367468 CPUtime=0.03 cores=1,3,5,7
/proc/3776/task/3784/stat : 3784 (python) S 3774 3776 3014 0 -1 4202560 41 1349 0 0 0 0 2 1 18 0 9 0 869382016 376287232 7800 33554432000 4194304 5683644 140734748004400 18446744073709551615 255389125041 0 0 16781312 33554434 18446604457303901376 0 0 -1 3 0 0 0
[pid=3776/tid=3792] ppid=3774 vsize=367468 CPUtime=0.03 cores=1,3,5,7
/proc/3776/task/3792/stat : 3792 (python) S 3774 3776 3014 0 -1 4202560 40 1349 0 0 0 0 2 1 18 0 9 0 869386701 376287232 7800 33554432000 4194304 5683644 140734748004400 18446744073709551615 255389125041 0 0 16781312 33554434 18446604457303901376 0 0 -1 5 0 0 0
[pid=3776/tid=3797] ppid=3774 vsize=367468 CPUtime=0.03 cores=1,3,5,7
/proc/3776/task/3797/stat : 3797 (python) S 3774 3776 3014 0 -1 4202560 34 1349 0 0 0 0 2 1 18 0 9 0 869391521 376287232 7800 33554432000 4194304 5683644 140734748004400 18446744073709551615 255389125041 0 0 16781312 33554434 18446604457303901376 0 0 -1 7 0 0 0
[pid=3776/tid=3804] ppid=3774 vsize=367468 CPUtime=0.03 cores=1,3,5,7
/proc/3776/task/3804/stat : 3804 (python) S 3774 3776 3014 0 -1 4202560 29 1349 0 0 0 0 2 1 20 0 9 0 869400828 376287232 7800 33554432000 4194304 5683644 140734748004400 18446744073709551615 255389125041 0 0 16781312 33554434 18446604457303901376 0 0 -1 3 0 0 0
[pid=3776/tid=3810] ppid=3774 vsize=367468 CPUtime=0.03 cores=1,3,5,7
/proc/3776/task/3810/stat : 3810 (python) S 3774 3776 3014 0 -1 4202560 28 1349 0 0 0 0 2 1 20 0 9 0 869410282 376287232 7800 33554432000 4194304 5683644 140734748004400 18446744073709551615 255389125041 0 0 16781312 33554434 18446604457303901376 0 0 -1 3 0 0 0
[pid=3776/tid=3860] ppid=3774 vsize=367468 CPUtime=0.03 cores=1,3,5,7
/proc/3776/task/3860/stat : 3860 (python) S 3774 3776 3014 0 -1 4202560 29 1349 0 0 0 0 2 1 20 0 9 0 869433565 376287232 7800 33554432000 4194304 5683644 140734748004400 18446744073709551615 255389125041 0 0 16781312 33554434 18446604457303901376 0 0 -1 3 0 0 0
[pid=3776/tid=3911] ppid=3774 vsize=367468 CPUtime=0.03 cores=1,3,5,7
/proc/3776/task/3911/stat : 3911 (python) S 3774 3776 3014 0 -1 4202560 31 1349 0 0 0 0 2 1 20 0 9 0 869480165 376287232 7800 33554432000 4194304 5683644 140734748004400 18446744073709551615 255389125041 0 0 16781312 33554434 18446604457303901376 0 0 -1 5 0 0 0
[pid=3776/tid=3917] ppid=3774 vsize=367468 CPUtime=0.03 cores=1,3,5,7
/proc/3776/task/3917/stat : 3917 (python) S 3774 3776 3014 0 -1 4202560 25 1349 0 0 0 0 2 1 20 0 9 0 869489484 376287232 7800 33554432000 4194304 5683644 140734748004400 18446744073709551615 255389125041 0 0 16781312 33554434 18446604457303901376 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1144.54
Current children cumulated vsize (KiB) 12005844
Child status: 0
Real time (s): 1138.59
CPU time (s): 1144.81
CPU user time (s): 1133.84
CPU system time (s): 10.9723
CPU usage (%): 100.546
Max. virtual memory (cumulated for all children) (KiB): 12114244
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1133.84
system time used= 10.9723
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 495434
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= 7448
involuntary context switches= 3301
runsolver used 7.14391 second user time and 15.7076 second system time
The end