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-3481681-1307577724/watcher-3481681-1307577724 -o /tmp/evaluation-result-3481681-1307577724/solver-3481681-1307577724 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3481681-1307577724.opb -seed 1222451336 -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.03 2.06 1.58 2/601 2812
/proc/meminfo: memFree=20389528/32951124 swapFree=43359760/67111528
[pid=2812] ppid=2810 vsize=15384 CPUtime=0 cores=1,3,5,7
/proc/2812/stat : 2812 (python) R 2810 2812 1406 0 -1 4202496 813 0 0 0 0 0 0 0 21 0 1 0 869370710 15753216 698 33554432000 4194304 5683644 140734066349440 18446744073709551615 4540219 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/2812/statm: 3846 698 334 364 0 333 0
[startup+0.112445 s]
/proc/loadavg: 2.03 2.06 1.58 2/601 2812
/proc/meminfo: memFree=20389528/32951124 swapFree=43359760/67111528
[pid=2812] ppid=2810 vsize=96124 CPUtime=0.08 cores=1,3,5,7
/proc/2812/stat : 2812 (python) R 2810 2812 1406 0 -1 4202496 3169 930 1 0 7 1 0 0 18 0 1 0 869370710 98430976 2483 33554432000 4194304 5683644 140734066349440 18446744073709551615 5172176 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/2812/statm: 24031 2483 792 364 0 1626 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 96124
[startup+0.200368 s]
/proc/loadavg: 2.03 2.06 1.58 2/601 2812
/proc/meminfo: memFree=20389528/32951124 swapFree=43359760/67111528
[pid=2812] ppid=2810 vsize=123740 CPUtime=0.14 cores=1,3,5,7
/proc/2812/stat : 2812 (python) R 2810 2812 1406 0 -1 4202496 5357 930 1 0 11 3 0 0 17 0 1 0 869370710 126709760 3744 33554432000 4194304 5683644 140734066349440 18446744073709551615 246516832256 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/2812/statm: 30935 3744 987 364 0 2767 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 123740
[startup+0.30031 s]
/proc/loadavg: 2.03 2.06 1.58 2/601 2812
/proc/meminfo: memFree=20389528/32951124 swapFree=43359760/67111528
[pid=2812] ppid=2810 vsize=184596 CPUtime=0.22 cores=1,3,5,7
/proc/2812/stat : 2812 (python) R 2810 2812 1406 0 -1 4202496 6357 930 1 0 17 5 0 0 17 0 1 0 869370710 189026304 4656 33554432000 4194304 5683644 140734066349440 18446744073709551615 246516830053 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/2812/statm: 46149 4656 1251 364 0 3655 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 184596
[startup+0.700242 s]
/proc/loadavg: 2.03 2.06 1.58 2/601 2812
/proc/meminfo: memFree=20389528/32951124 swapFree=43359760/67111528
[pid=2812] ppid=2810 vsize=286712 CPUtime=0.59 cores=1,3,5,7
/proc/2812/stat : 2812 (python) R 2810 2812 1406 0 -1 4202496 10719 930 1 0 50 9 0 0 17 0 1 0 869370710 293593088 8025 33554432000 4194304 5683644 140734066349440 18446744073709551615 47750766183376 0 0 16781312 33554434 0 0 0 17 5 0 0 0
/proc/2812/statm: 71678 8025 1816 364 0 6571 0
Current children cumulated CPU time (s) 0.59
Current children cumulated vsize (KiB) 286712
[startup+1.50107 s]
/proc/loadavg: 2.03 2.06 1.59 3/605 2820
/proc/meminfo: memFree=20311004/32951124 swapFree=43359760/67111528
[pid=2812] ppid=2810 vsize=297296 CPUtime=0.71 cores=1,3,5,7
/proc/2812/stat : 2812 (python) S 2810 2812 1406 0 -1 4202496 11086 930 1 0 62 9 0 0 19 0 2 0 869370710 304431104 8163 33554432000 4194304 5683644 140734066349440 18446744073709551615 246528660939 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/2812/statm: 74324 8163 1870 364 0 9211 0
[pid=2818] ppid=2812 vsize=287052 CPUtime=0 cores=1,3,5,7
/proc/2818/stat : 2818 (python) S 2812 2812 1406 0 -1 4202560 750 0 0 0 0 0 0 0 15 0 1 0 869370792 293941248 6641 33554432000 4194304 5683644 140734066349440 18446744073709551615 246516854287 0 0 16781312 33554946 12131833493529264390 0 0 17 5 0 0 0
/proc/2818/statm: 71763 6641 352 364 0 6650 0
[pid=2820] ppid=2818 vsize=70924 CPUtime=0.66 cores=1,3,5,7
/proc/2820/stat : 2820 (scip-2.0.1.linu) R 2818 2820 2820 0 -1 4202496 16586 0 0 0 56 10 0 0 21 0 1 0 869370793 72626176 15211 33554432000 4194304 13684479 140736458948496 18446744073709551615 5690203 0 0 16781312 2 0 0 0 17 7 0 0 0
/proc/2820/statm: 17731 15211 647 2317 0 15409 0
[pid=2812/tid=2819] ppid=2810 vsize=297296 CPUtime=0 cores=1,3,5,7
/proc/2812/task/2819/stat : 2819 (python) S 2810 2812 1406 0 -1 4202560 30 930 0 0 0 0 0 0 19 0 2 0 869370793 304431104 8163 33554432000 4194304 5683644 140734066349440 18446744073709551615 246528657841 0 0 16781312 33554434 18446604463495773184 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1.37
Current children cumulated vsize (KiB) 655272
[startup+3.10082 s]
/proc/loadavg: 2.03 2.06 1.59 3/605 2820
/proc/meminfo: memFree=20265496/32951124 swapFree=43359760/67111528
[pid=2812] ppid=2810 vsize=297296 CPUtime=0.71 cores=1,3,5,7
/proc/2812/stat : 2812 (python) S 2810 2812 1406 0 -1 4202496 11086 930 1 0 62 9 0 0 19 0 2 0 869370710 304431104 8163 33554432000 4194304 5683644 140734066349440 18446744073709551615 246528660939 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/2812/statm: 74324 8163 1870 364 0 9211 0
[pid=2818] ppid=2812 vsize=287052 CPUtime=0 cores=1,3,5,7
/proc/2818/stat : 2818 (python) S 2812 2812 1406 0 -1 4202560 766 0 0 0 0 0 0 0 15 0 1 0 869370792 293941248 6641 33554432000 4194304 5683644 140734066349440 18446744073709551615 246516854287 0 0 16781312 33554946 12131833493529264390 0 0 17 5 0 0 0
/proc/2818/statm: 71763 6641 352 364 0 6650 0
[pid=2820] ppid=2818 vsize=114540 CPUtime=2.26 cores=1,3,5,7
/proc/2820/stat : 2820 (scip-2.0.1.linu) R 2818 2820 2820 0 -1 4202496 27706 0 0 0 209 17 0 0 25 0 1 0 869370793 117288960 26157 33554432000 4194304 13684479 140736458948496 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/2820/statm: 28635 26157 760 2317 0 26313 0
[pid=2812/tid=2819] ppid=2810 vsize=297296 CPUtime=0 cores=1,3,5,7
/proc/2812/task/2819/stat : 2819 (python) S 2810 2812 1406 0 -1 4202560 30 930 0 0 0 0 0 0 19 0 2 0 869370793 304431104 8163 33554432000 4194304 5683644 140734066349440 18446744073709551615 246528657841 0 0 16781312 33554434 18446604463495773184 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2.97
Current children cumulated vsize (KiB) 698888
[startup+6.30024 s]
/proc/loadavg: 2.03 2.06 1.59 3/605 2820
/proc/meminfo: memFree=20224464/32951124 swapFree=43359760/67111528
[pid=2812] ppid=2810 vsize=297296 CPUtime=0.71 cores=1,3,5,7
/proc/2812/stat : 2812 (python) S 2810 2812 1406 0 -1 4202496 11086 930 1 0 62 9 0 0 19 0 2 0 869370710 304431104 8163 33554432000 4194304 5683644 140734066349440 18446744073709551615 246528660939 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/2812/statm: 74324 8163 1870 364 0 9211 0
[pid=2818] ppid=2812 vsize=287052 CPUtime=0.01 cores=1,3,5,7
/proc/2818/stat : 2818 (python) S 2812 2812 1406 0 -1 4202560 912 0 0 0 0 1 0 0 15 0 1 0 869370792 293941248 6665 33554432000 4194304 5683644 140734066349440 18446744073709551615 246516854287 0 0 16781312 33554946 4294934789 0 0 17 5 0 0 0
/proc/2818/statm: 71763 6665 376 364 0 6650 0
[pid=2820] ppid=2818 vsize=141212 CPUtime=5.45 cores=1,3,5,7
/proc/2820/stat : 2820 (scip-2.0.1.linu) R 2818 2820 2820 0 -1 4202496 33945 0 0 0 516 29 0 0 23 0 1 0 869370793 144601088 32331 33554432000 4194304 13684479 140736458948496 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/2820/statm: 35303 32331 779 2317 0 32981 0
[pid=2812/tid=2819] ppid=2810 vsize=297296 CPUtime=0 cores=1,3,5,7
/proc/2812/task/2819/stat : 2819 (python) S 2810 2812 1406 0 -1 4202560 30 930 0 0 0 0 0 0 19 0 2 0 869370793 304431104 8163 33554432000 4194304 5683644 140734066349440 18446744073709551615 246528657841 0 0 16781312 33554434 18446604463495773184 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 6.17
Current children cumulated vsize (KiB) 725560
[startup+12.7011 s]
/proc/loadavg: 2.17 2.09 1.60 3/605 2820
/proc/meminfo: memFree=20219480/32951124 swapFree=43359760/67111528
[pid=2812] ppid=2810 vsize=297296 CPUtime=0.71 cores=1,3,5,7
/proc/2812/stat : 2812 (python) S 2810 2812 1406 0 -1 4202496 11086 930 1 0 62 9 0 0 19 0 2 0 869370710 304431104 8163 33554432000 4194304 5683644 140734066349440 18446744073709551615 246528660939 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/2812/statm: 74324 8163 1870 364 0 9211 0
[pid=2818] ppid=2812 vsize=287052 CPUtime=0.03 cores=1,3,5,7
/proc/2818/stat : 2818 (python) S 2812 2812 1406 0 -1 4202560 916 0 0 0 1 2 0 0 15 0 1 0 869370792 293941248 6665 33554432000 4194304 5683644 140734066349440 18446744073709551615 246516854287 0 0 16781312 33554946 3734419165600022528 0 0 17 5 0 0 0
/proc/2818/statm: 71763 6665 376 364 0 6650 0
[pid=2820] ppid=2818 vsize=144752 CPUtime=11.86 cores=1,3,5,7
/proc/2820/stat : 2820 (scip-2.0.1.linu) R 2818 2820 2820 0 -1 4202496 35050 0 0 0 1152 34 0 0 25 0 1 0 869370793 148226048 33436 33554432000 4194304 13684479 140736458948496 18446744073709551615 4957330 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/2820/statm: 36188 33436 779 2317 0 33866 0
[pid=2812/tid=2819] ppid=2810 vsize=297296 CPUtime=0 cores=1,3,5,7
/proc/2812/task/2819/stat : 2819 (python) S 2810 2812 1406 0 -1 4202560 30 930 0 0 0 0 0 0 19 0 2 0 869370793 304431104 8163 33554432000 4194304 5683644 140734066349440 18446744073709551615 246528657841 0 0 16781312 33554434 18446604463495773184 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 12.6
Current children cumulated vsize (KiB) 729100
[startup+25.5007 s]
/proc/loadavg: 2.15 2.08 1.60 3/605 2820
/proc/meminfo: memFree=20202376/32951124 swapFree=43359760/67111528
[pid=2812] ppid=2810 vsize=297296 CPUtime=0.71 cores=1,3,5,7
/proc/2812/stat : 2812 (python) S 2810 2812 1406 0 -1 4202496 11086 930 1 0 62 9 0 0 19 0 2 0 869370710 304431104 8163 33554432000 4194304 5683644 140734066349440 18446744073709551615 246528660939 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/2812/statm: 74324 8163 1870 364 0 9211 0
[pid=2818] ppid=2812 vsize=287052 CPUtime=0.08 cores=1,3,5,7
/proc/2818/stat : 2818 (python) S 2812 2812 1406 0 -1 4202560 928 0 0 0 4 4 0 0 15 0 1 0 869370792 293941248 6665 33554432000 4194304 5683644 140734066349440 18446744073709551615 246516854287 0 0 16781312 33554946 3148054317496270848 0 0 17 5 0 0 0
/proc/2818/statm: 71763 6665 376 364 0 6650 0
[pid=2820] ppid=2818 vsize=150284 CPUtime=24.66 cores=1,3,5,7
/proc/2820/stat : 2820 (scip-2.0.1.linu) R 2818 2820 2820 0 -1 4202496 36547 0 0 0 2420 46 0 0 18 0 1 0 869370793 153890816 34933 33554432000 4194304 13684479 140736458948496 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/2820/statm: 37571 34933 782 2317 0 35249 0
[pid=2812/tid=2819] ppid=2810 vsize=297296 CPUtime=0 cores=1,3,5,7
/proc/2812/task/2819/stat : 2819 (python) S 2810 2812 1406 0 -1 4202560 30 930 0 0 0 0 0 0 19 0 2 0 869370793 304431104 8163 33554432000 4194304 5683644 140734066349440 18446744073709551615 246528657841 0 0 16781312 33554434 18446604463495773184 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 734632
[startup+51.1011 s]
/proc/loadavg: 2.09 2.08 1.62 3/628 2846
/proc/meminfo: memFree=20050176/32951124 swapFree=43359760/67111528
[pid=2812] ppid=2810 vsize=307552 CPUtime=0.73 cores=1,3,5,7
/proc/2812/stat : 2812 (python) S 2810 2812 1406 0 -1 4202496 11978 930 1 0 64 9 0 0 19 0 3 0 869370710 314933248 8170 33554432000 4194304 5683644 140734066349440 18446744073709551615 246528660939 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/2812/statm: 76888 8170 1873 364 0 11772 0
[pid=2818] ppid=2812 vsize=297296 CPUtime=0.18 cores=1,3,5,7
/proc/2818/stat : 2818 (python) S 2812 2812 1406 0 -1 4202560 1111 0 0 0 9 9 0 0 16 0 2 0 869370792 304431104 6701 33554432000 4194304 5683644 140734066349440 18446744073709551615 246528660939 0 0 16781312 33554946 18446744073709551615 0 0 17 5 0 0 0
/proc/2818/statm: 74324 6701 407 364 0 9211 0
[pid=2820] ppid=2818 vsize=186152 CPUtime=46.79 cores=1,3,5,7
/proc/2820/stat : 2820 (scip-2.0.1.linu) T 2818 2820 2820 0 -1 4202496 45304 0 0 0 4615 64 0 0 25 0 1 0 869370793 190619648 43618 33554432000 4194304 13684479 140736458948496 18446744073709551615 7387906 0 0 16781312 2 18446744071562691360 0 0 17 1 0 0 0
/proc/2820/statm: 46538 43618 828 2317 0 44216 0
[pid=2818/tid=2823] ppid=2812 vsize=297296 CPUtime=0 cores=1,3,5,7
/proc/2818/task/2823/stat : 2823 (python) S 2812 2812 1406 0 -1 4202560 47 0 0 0 0 0 0 0 16 0 2 0 869375472 304431104 6701 33554432000 4194304 5683644 140734066349440 18446744073709551615 246528657841 0 0 16781312 33554946 18446604463495770496 0 0 -1 5 0 0 0
[pid=2824] ppid=2812 vsize=297308 CPUtime=0.01 cores=1,3,5,7
/proc/2824/stat : 2824 (python) S 2812 2812 1406 0 -1 4202560 914 0 0 0 0 1 0 0 15 0 1 0 869375475 304443392 6665 33554432000 4194304 5683644 140734066349440 18446744073709551615 246516854342 0 0 16781312 33554946 4410951998770217221 0 0 17 5 0 0 0
/proc/2824/statm: 74327 6665 372 364 0 9211 0
[pid=2827] ppid=2824 vsize=8539512 CPUtime=4.52 cores=1,3,5,7
/proc/2827/stat : 2827 (java) S 2824 2827 2827 0 -1 4202496 26813 0 1 0 448 4 0 0 17 0 19 0 869375475 8744460288 21913 33554432000 1073741824 1073778376 140733246318960 18446744073709551615 246528636901 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/2827/statm: 2134878 21913 2258 9 0 2125619 0
[pid=2827/tid=2828] ppid=2824 vsize=8539512 CPUtime=3.37 cores=1,3,5,7
/proc/2827/task/2828/stat : 2828 (java) R 2824 2827 2827 0 -1 4202560 15373 0 1 0 334 3 0 0 25 0 19 0 869375476 8744460288 21913 33554432000 1073741824 1073778376 140733246318960 18446744073709551615 46912505822397 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=2827/tid=2829] ppid=2824 vsize=8539512 CPUtime=0 cores=1,3,5,7
/proc/2827/task/2829/stat : 2829 (java) S 2824 2827 2827 0 -1 4202560 274 0 0 0 0 0 0 0 17 0 19 0 869375477 8744460288 21913 33554432000 1073741824 1073778376 140733246318960 18446744073709551615 246528650137 0 4 0 16800975 18446604458424989888 0 0 -1 7 0 0 0
[pid=2827/tid=2830] ppid=2824 vsize=8539512 CPUtime=0.01 cores=1,3,5,7
/proc/2827/task/2830/stat : 2830 (java) S 2824 2827 2827 0 -1 4202560 494 0 0 0 1 0 0 0 17 0 19 0 869375477 8744460288 21913 33554432000 1073741824 1073778376 140733246318960 18446744073709551615 246528650137 0 4 0 16800975 18446604458424989888 0 0 -1 7 0 0 0
[pid=2827/tid=2831] ppid=2824 vsize=8539512 CPUtime=0 cores=1,3,5,7
/proc/2827/task/2831/stat : 2831 (java) S 2824 2827 2827 0 -1 4202560 57 0 0 0 0 0 0 0 15 0 19 0 869375477 8744460288 21913 33554432000 1073741824 1073778376 140733246318960 18446744073709551615 246528650137 0 4 0 16800975 18446604458424989888 0 0 -1 7 0 0 0
[pid=2827/tid=2832] ppid=2824 vsize=8539512 CPUtime=0 cores=1,3,5,7
/proc/2827/task/2832/stat : 2832 (java) S 2824 2827 2827 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 869375477 8744460288 21913 33554432000 1073741824 1073778376 140733246318960 18446744073709551615 246528650137 0 4 0 16800975 18446604458424989888 0 0 -1 7 0 0 0
[pid=2827/tid=2833] ppid=2824 vsize=8539512 CPUtime=0 cores=1,3,5,7
/proc/2827/task/2833/stat : 2833 (java) S 2824 2827 2827 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 869375477 8744460288 21913 33554432000 1073741824 1073778376 140733246318960 18446744073709551615 246528650137 0 4 0 16800975 18446604458424989888 0 0 -1 7 0 0 0
[pid=2827/tid=2834] ppid=2824 vsize=8539512 CPUtime=0 cores=1,3,5,7
/proc/2827/task/2834/stat : 2834 (java) S 2824 2827 2827 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 869375477 8744460288 21913 33554432000 1073741824 1073778376 140733246318960 18446744073709551615 246528650137 0 4 0 16800975 18446604458424989888 0 0 -1 7 0 0 0
[pid=2827/tid=2835] ppid=2824 vsize=8539512 CPUtime=0 cores=1,3,5,7
/proc/2827/task/2835/stat : 2835 (java) S 2824 2827 2827 0 -1 4202560 173 0 0 0 0 0 0 0 15 0 19 0 869375477 8744460288 21913 33554432000 1073741824 1073778376 140733246318960 18446744073709551615 246528650137 0 4 0 16800975 18446604458424989888 0 0 -1 7 0 0 0
[pid=2827/tid=2836] ppid=2824 vsize=8539512 CPUtime=0 cores=1,3,5,7
/proc/2827/task/2836/stat : 2836 (java) S 2824 2827 2827 0 -1 4202560 83 0 0 0 0 0 0 0 17 0 19 0 869375477 8744460288 21913 33554432000 1073741824 1073778376 140733246318960 18446744073709551615 246528650137 0 4 0 16800975 18446604458424989888 0 0 -1 7 0 0 0
[pid=2827/tid=2837] ppid=2824 vsize=8539512 CPUtime=0.02 cores=1,3,5,7
/proc/2827/task/2837/stat : 2837 (java) S 2824 2827 2827 0 -1 4202560 946 0 0 0 2 0 0 0 15 0 19 0 869375478 8744460288 21913 33554432000 1073741824 1073778376 140733246318960 18446744073709551615 246528650752 0 0 0 16800975 18446604458424989888 0 0 -1 1 0 0 0
[pid=2827/tid=2838] ppid=2824 vsize=8539512 CPUtime=0 cores=1,3,5,7
/proc/2827/task/2838/stat : 2838 (java) S 2824 2827 2827 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 869375478 8744460288 21913 33554432000 1073741824 1073778376 140733246318960 18446744073709551615 246528650137 0 4 0 16800975 18446604458424989888 0 0 -1 1 0 0 0
[pid=2827/tid=2839] ppid=2824 vsize=8539512 CPUtime=0 cores=1,3,5,7
/proc/2827/task/2839/stat : 2839 (java) S 2824 2827 2827 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 869375478 8744460288 21913 33554432000 1073741824 1073778376 140733246318960 18446744073709551615 246528650137 0 4 0 16800975 18446604458424989888 0 0 -1 1 0 0 0
[pid=2827/tid=2840] ppid=2824 vsize=8539512 CPUtime=0 cores=1,3,5,7
/proc/2827/task/2840/stat : 2840 (java) S 2824 2827 2827 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869375481 8744460288 21913 33554432000 1073741824 1073778376 140733246318960 18446744073709551615 246528657841 0 4 0 16800975 18446604458424989888 0 0 -1 1 0 0 0
[pid=2827/tid=2841] ppid=2824 vsize=8539512 CPUtime=0.5 cores=1,3,5,7
/proc/2827/task/2841/stat : 2841 (java) S 2824 2827 2827 0 -1 4202560 4615 0 0 0 50 0 0 0 18 0 19 0 869375481 8744460288 21913 33554432000 1073741824 1073778376 140733246318960 18446744073709551615 246528650137 0 4 0 16800975 18446604458424989888 0 0 -1 7 0 0 0
[pid=2827/tid=2843] ppid=2824 vsize=8539512 CPUtime=0.56 cores=1,3,5,7
/proc/2827/task/2843/stat : 2843 (java) S 2824 2827 2827 0 -1 4202560 3404 0 0 0 56 0 0 0 15 0 19 0 869375481 8744460288 21913 33554432000 1073741824 1073778376 140733246318960 18446744073709551615 246528650137 0 4 0 16800975 18446604458424989888 0 0 -1 5 0 0 0
[pid=2827/tid=2844] ppid=2824 vsize=8539512 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
/proc/2827/task/2831/stat : 2831 (java) S 2824 2827 2827 0 -1 4202560 57 0 0 0 0 0 0 0 15 0 19 0 869375477 8744460288 21938 33554432000 1073741824 1073778376 140733246318960 18446744073709551615 246528650137 0 4 0 16800975 18446604458424989888 0 0 -1 5 0 0 0
[pid=2827/tid=2832] ppid=2824 vsize=8539512 CPUtime=0 cores=1,3,5,7
/proc/2827/task/2832/stat : 2832 (java) S 2824 2827 2827 0 -1 4202560 5 0 0 0 0 0 0 0 16 0 19 0 869375477 8744460288 21938 33554432000 1073741824 1073778376 140733246318960 18446744073709551615 246528650137 0 4 0 16800975 18446604458424989888 0 0 -1 5 0 0 0
[pid=2827/tid=2833] ppid=2824 vsize=8539512 CPUtime=0 cores=1,3,5,7
/proc/2827/task/2833/stat : 2833 (java) S 2824 2827 2827 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 869375477 8744460288 21938 33554432000 1073741824 1073778376 140733246318960 18446744073709551615 246528650137 0 4 0 16800975 18446604458424989888 0 0 -1 5 0 0 0
[pid=2827/tid=2834] ppid=2824 vsize=8539512 CPUtime=0 cores=1,3,5,7
/proc/2827/task/2834/stat : 2834 (java) S 2824 2827 2827 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 869375477 8744460288 21938 33554432000 1073741824 1073778376 140733246318960 18446744073709551615 246528650137 0 4 0 16800975 18446604458424989888 0 0 -1 5 0 0 0
[pid=2827/tid=2835] ppid=2824 vsize=8539512 CPUtime=0 cores=1,3,5,7
/proc/2827/task/2835/stat : 2835 (java) S 2824 2827 2827 0 -1 4202560 173 0 0 0 0 0 0 0 15 0 19 0 869375477 8744460288 21938 33554432000 1073741824 1073778376 140733246318960 18446744073709551615 246528650137 0 4 0 16800975 18446604458424989888 0 0 -1 5 0 0 0
[pid=2827/tid=2836] ppid=2824 vsize=8539512 CPUtime=0 cores=1,3,5,7
/proc/2827/task/2836/stat : 2836 (java) S 2824 2827 2827 0 -1 4202560 83 0 0 0 0 0 0 0 15 0 19 0 869375477 8744460288 21938 33554432000 1073741824 1073778376 140733246318960 18446744073709551615 246528650137 0 4 0 16800975 18446604458424989888 0 0 -1 5 0 0 0
[pid=2827/tid=2837] ppid=2824 vsize=8539512 CPUtime=0.03 cores=1,3,5,7
/proc/2827/task/2837/stat : 2837 (java) S 2824 2827 2827 0 -1 4202560 1040 0 0 0 3 0 0 0 16 0 19 0 869375478 8744460288 21938 33554432000 1073741824 1073778376 140733246318960 18446744073709551615 246528650752 0 0 0 16800975 18446604458424989888 0 0 -1 1 0 0 0
[pid=2827/tid=2838] ppid=2824 vsize=8539512 CPUtime=0 cores=1,3,5,7
/proc/2827/task/2838/stat : 2838 (java) S 2824 2827 2827 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 869375478 8744460288 21938 33554432000 1073741824 1073778376 140733246318960 18446744073709551615 246528650137 0 4 0 16800975 18446604458424989888 0 0 -1 1 0 0 0
[pid=2827/tid=2839] ppid=2824 vsize=8539512 CPUtime=0 cores=1,3,5,7
/proc/2827/task/2839/stat : 2839 (java) S 2824 2827 2827 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 869375478 8744460288 21938 33554432000 1073741824 1073778376 140733246318960 18446744073709551615 246528650137 0 4 0 16800975 18446604458424989888 0 0 -1 1 0 0 0
[pid=2827/tid=2840] ppid=2824 vsize=8539512 CPUtime=0 cores=1,3,5,7
/proc/2827/task/2840/stat : 2840 (java) S 2824 2827 2827 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869375481 8744460288 21938 33554432000 1073741824 1073778376 140733246318960 18446744073709551615 246528657841 0 4 0 16800975 18446604458424989888 0 0 -1 1 0 0 0
[pid=2827/tid=2841] ppid=2824 vsize=8539512 CPUtime=0.53 cores=1,3,5,7
/proc/2827/task/2841/stat : 2841 (java) S 2824 2827 2827 0 -1 4202560 4619 0 0 0 53 0 0 0 15 0 19 0 869375481 8744460288 21938 33554432000 1073741824 1073778376 140733246318960 18446744073709551615 246528650137 0 4 0 16800975 18446604458424989888 0 0 -1 7 0 0 0
[pid=2827/tid=2843] ppid=2824 vsize=8539512 CPUtime=0.61 cores=1,3,5,7
/proc/2827/task/2843/stat : 2843 (java) S 2824 2827 2827 0 -1 4202560 3405 0 0 0 61 0 0 0 15 0 19 0 869375481 8744460288 21938 33554432000 1073741824 1073778376 140733246318960 18446744073709551615 246528650137 0 4 0 16800975 18446604458424989888 0 0 -1 5 0 0 0
[pid=2827/tid=2844] ppid=2824 vsize=8539512 CPUtime=0 cores=1,3,5,7
/proc/2827/task/2844/stat : 2844 (java) S 2824 2827 2827 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869375481 8744460288 21938 33554432000 1073741824 1073778376 140733246318960 18446744073709551615 246528650137 0 4 0 16800975 18446604458424989888 0 0 -1 1 0 0 0
[pid=2827/tid=2845] ppid=2824 vsize=8539512 CPUtime=0 cores=1,3,5,7
/proc/2827/task/2845/stat : 2845 (java) S 2824 2827 2827 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 869375481 8744460288 21938 33554432000 1073741824 1073778376 140733246318960 18446744073709551615 246528650752 0 4 0 16800975 18446604458424989888 0 0 -1 5 0 0 0
[pid=2827/tid=2846] ppid=2824 vsize=8539512 CPUtime=0 cores=1,3,5,7
/proc/2827/task/2846/stat : 2846 (java) S 2824 2827 2827 0 -1 4202560 8 0 0 0 0 0 0 0 19 0 19 0 869375522 8744460288 21938 33554432000 1073741824 1073778376 140733246318960 18446744073709551615 246528650752 0 4 0 16800975 18446604458424989888 0 0 -1 1 0 0 0
[pid=2812/tid=2819] ppid=2810 vsize=307552 CPUtime=0 cores=1,3,5,7
/proc/2812/task/2819/stat : 2819 (python) S 2810 2812 1406 0 -1 4202560 30 930 0 0 0 0 0 0 19 0 3 0 869370793 314933248 8170 33554432000 4194304 5683644 140734066349440 18446744073709551615 246528657841 0 0 16781312 33554434 18446604463495773184 0 0 -1 5 0 0 0
[pid=2812/tid=2825] ppid=2810 vsize=307552 CPUtime=0 cores=1,3,5,7
/proc/2812/task/2825/stat : 2825 (python) S 2810 2812 1406 0 -1 4202560 28 930 0 0 0 0 0 0 20 0 3 0 869375475 314933248 8170 33554432000 4194304 5683644 140734066349440 18446744073709551615 246528657841 0 0 16781312 33554434 18446604463495773184 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 55.61
Current children cumulated vsize (KiB) 9627820
[startup+56.0012 s]
/proc/loadavg: 2.09 2.08 1.62 3/628 2846
/proc/meminfo: memFree=20022276/32951124 swapFree=43359760/67111528
[pid=2812] ppid=2810 vsize=307552 CPUtime=0.73 cores=1,3,5,7
/proc/2812/stat : 2812 (python) S 2810 2812 1406 0 -1 4202496 11978 930 1 0 64 9 0 0 19 0 3 0 869370710 314933248 8170 33554432000 4194304 5683644 140734066349440 18446744073709551615 246528660939 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/2812/statm: 76888 8170 1873 364 0 11772 0
[pid=2818] ppid=2812 vsize=297296 CPUtime=0.18 cores=1,3,5,7
/proc/2818/stat : 2818 (python) S 2812 2812 1406 0 -1 4202560 1111 0 0 0 9 9 0 0 16 0 2 0 869370792 304431104 6701 33554432000 4194304 5683644 140734066349440 18446744073709551615 246528660939 0 0 16781312 33554946 18446744073709551615 0 0 17 5 0 0 0
/proc/2818/statm: 74324 6701 407 364 0 9211 0
[pid=2820] ppid=2818 vsize=186152 CPUtime=46.79 cores=1,3,5,7
/proc/2820/stat : 2820 (scip-2.0.1.linu) T 2818 2820 2820 0 -1 4202496 45304 0 0 0 4615 64 0 0 25 0 1 0 869370793 190619648 43618 33554432000 4194304 13684479 140736458948496 18446744073709551615 7387906 0 0 16781312 2 18446744071562691360 0 0 17 1 0 0 0
/proc/2820/statm: 46538 43618 828 2317 0 44216 0
[pid=2818/tid=2823] ppid=2812 vsize=297296 CPUtime=0 cores=1,3,5,7
/proc/2818/task/2823/stat : 2823 (python) S 2812 2812 1406 0 -1 4202560 47 0 0 0 0 0 0 0 16 0 2 0 869375472 304431104 6701 33554432000 4194304 5683644 140734066349440 18446744073709551615 246528657841 0 0 16781312 33554946 18446604463495770496 0 0 -1 5 0 0 0
[pid=2824] ppid=2812 vsize=297308 CPUtime=0.04 cores=1,3,5,7
/proc/2824/stat : 2824 (python) S 2812 2812 1406 0 -1 4202560 920 0 0 0 2 2 0 0 16 0 1 0 869375475 304443392 6666 33554432000 4194304 5683644 140734066349440 18446744073709551615 246516854342 0 0 16781312 33554946 5623311482772007789 0 0 17 1 0 0 0
/proc/2824/statm: 74327 6666 373 364 0 9211 0
[pid=2827] ppid=2824 vsize=8543180 CPUtime=9.92 cores=1,3,5,7
/proc/2827/stat : 2827 (java) S 2824 2827 2827 0 -1 4202496 33540 0 1 0 987 5 0 0 17 0 19 0 869375475 8748216320 25883 33554432000 1073741824 1073778376 140733246318960 18446744073709551615 246528636901 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/2827/statm: 2135795 25883 2259 9 0 2126536 0
[pid=2827/tid=2828] ppid=2824 vsize=8543180 CPUtime=8.22 cores=1,3,5,7
/proc/2827/task/2828/stat : 2828 (java) R 2824 2827 2827 0 -1 4202560 15379 0 1 0 819 3 0 0 25 0 19 0 869375476 8748216320 25883 33554432000 1073741824 1073778376 140733246318960 18446744073709551615 46912505915544 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=2827/tid=2829] ppid=2824 vsize=8543180 CPUtime=0 cores=1,3,5,7
/proc/2827/task/2829/stat : 2829 (java) S 2824 2827 2827 0 -1 4202560 289 0 0 0 0 0 0 0 15 0 19 0 869375477 8748216320 25883 33554432000 1073741824 1073778376 140733246318960 18446744073709551615 246528650137 0 4 0 16800975 18446604458424989888 0 0 -1 1 0 0 0
[pid=2827/tid=2830] ppid=2824 vsize=8543180 CPUtime=0.01 cores=1,3,5,7
/proc/2827/task/2830/stat : 2830 (java) S 2824 2827 2827 0 -1 4202560 508 0 0 0 1 0 0 0 15 0 19 0 869375477 8748216320 25883 33554432000 1073741824 1073778376 140733246318960 18446744073709551615 246528650137 0 4 0 16800975 18446604458424989888 0 0 -1 5 0 0 0
[pid=2827/tid=2831] ppid=2824 vsize=8543180 CPUtime=0 cores=1,3,5,7
/proc/2827/task/2831/stat : 2831 (java) S 2824 2827 2827 0 -1 4202560 59 0 0 0 0 0 0 0 15 0 19 0 869375477 8748216320 25883 33554432000 1073741824 1073778376 140733246318960 18446744073709551615 246528650137 0 4 0 16800975 18446604458424989888 0 0 -1 5 0 0 0
[pid=2827/tid=2832] ppid=2824 vsize=8543180 CPUtime=0 cores=1,3,5,7
/proc/2827/task/2832/stat : 2832 (java) S 2824 2827 2827 0 -1 4202560 86 0 0 0 0 0 0 0 15 0 19 0 869375477 8748216320 25883 33554432000 1073741824 1073778376 140733246318960 18446744073709551615 246528650137 0 4 0 16800975 18446604458424989888 0 0 -1 5 0 0 0
[pid=2827/tid=2833] ppid=2824 vsize=8543180 CPUtime=0 cores=1,3,5,7
/proc/2827/task/2833/stat : 2833 (java) S 2824 2827 2827 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 19 0 869375477 8748216320 25883 33554432000 1073741824 1073778376 140733246318960 18446744073709551615 246528650137 0 4 0 16800975 18446604458424989888 0 0 -1 5 0 0 0
[pid=2827/tid=2834] ppid=2824 vsize=8543180 CPUtime=0 cores=1,3,5,7
/proc/2827/task/2834/stat : 2834 (java) S 2824 2827 2827 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 19 0 869375477 8748216320 25883 33554432000 1073741824 1073778376 140733246318960 18446744073709551615 246528650137 0 4 0 16800975 18446604458424989888 0 0 -1 5 0 0 0
[pid=2827/tid=2835] ppid=2824 vsize=8543180 CPUtime=0.01 cores=1,3,5,7
/proc/2827/task/2835/stat : 2835 (java) S 2824 2827 2827 0 -1 4202560 212 0 0 0 1 0 0 0 15 0 19 0 869375477 8748216320 25883 33554432000 1073741824 1073778376 140733246318960 18446744073709551615 246528650137 0 4 0 16800975 18446604458424989888 0 0 -1 5 0 0 0
[pid=2827/tid=2836] ppid=2824 vsize=8543180 CPUtime=0 cores=1,3,5,7
/proc/2827/task/2836/stat : 2836 (java) S 2824 2827 2827 0 -1 4202560 86 0 0 0 0 0 0 0 15 0 19 0 869375477 8748216320 25883 33554432000 1073741824 1073778376 140733246318960 18446744073709551615 246528650137 0 4 0 16800975 18446604458424989888 0 0 -1 5 0 0 0
[pid=2827/tid=2837] ppid=2824 vsize=8543180 CPUtime=0.05 cores=1,3,5,7
/proc/2827/task/2837/stat : 2837 (java) S 2824 2827 2827 0 -1 4202560 1040 0 0 0 5 0 0 0 15 0 19 0 869375478 8748216320 25883 33554432000 1073741824 1073778376 140733246318960 18446744073709551615 246528650752 0 0 0 16800975 18446604458424989888 0 0 -1 1 0 0 0
[pid=2827/tid=2838] ppid=2824 vsize=8543180 CPUtime=0 cores=1,3,5,7
/proc/2827/task/2838/stat : 2838 (java) S 2824 2827 2827 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 869375478 8748216320 25883 33554432000 1073741824 1073778376 140733246318960 18446744073709551615 246528650137 0 4 0 16800975 18446604458424989888 0 0 -1 1 0 0 0
[pid=2827/tid=2839] ppid=2824 vsize=8543180 CPUtime=0 cores=1,3,5,7
/proc/2827/task/2839/stat : 2839 (java) S 2824 2827 2827 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 869375478 8748216320 25883 33554432000 1073741824 1073778376 140733246318960 18446744073709551615 246528650137 0 4 0 16800975 18446604458424989888 0 0 -1 1 0 0 0
[pid=2827/tid=2840] ppid=2824 vsize=8543180 CPUtime=0 cores=1,3,5,7
/proc/2827/task/2840/stat : 2840 (java) S 2824 2827 2827 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869375481 8748216320 25883 33554432000 1073741824 1073778376 140733246318960 18446744073709551615 246528657841 0 4 0 16800975 18446604458424989888 0 0 -1 1 0 0 0
[pid=2827/tid=2841] ppid=2824 vsize=8543180 CPUtime=0.85 cores=1,3,5,7
/proc/2827/task/2841/stat : 2841 (java) S 2824 2827 2827 0 -1 4202560 10277 0 0 0 85 0 0 0 16 0 19 0 869375481 8748216320 25883 33554432000 1073741824 1073778376 140733246318960 18446744073709551615 246528650137 0 4 0 16800975 18446604458424989888 0 0 -1 7 0 0 0
[pid=2827/tid=2843] ppid=2824 vsize=8543180 CPUtime=0.71 cores=1,3,5,7
/proc/2827/task/2843/stat : 2843 (java) S 2824 2827 2827 0 -1 4202560 4202 0 0 0 71 0 0 0 16 0 19 0 869375481 8748216320 25883 33554432000 1073741824 1073778376 140733246318960 18446744073709551615 246528650137 0 4 0 16800975 18446604458424989888 0 0 -1 5 0 0 0
[pid=2827/tid=2844] ppid=2824 vsize=8543180 CPUtime=0 cores=1,3,5,7
/proc/2827/task/2844/stat : 2844 (java) S 2824 2827 2827 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869375481 8748216320 25883 33554432000 1073741824 1073778376 140733246318960 18446744073709551615 246528650137 0 4 0 16800975 18446604458424989888 0 0 -1 1 0 0 0
[pid=2827/tid=2845] ppid=2824 vsize=8543180 CPUtime=0 cores=1,3,5,7
/proc/2827/task/2845/stat : 2845 (java) S 2824 2827 2827 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 869375481 8748216320 25883 33554432000 1073741824 1073778376 140733246318960 18446744073709551615 246528650752 0 4 0 16800975 18446604458424989888 0 0 -1 1 0 0 0
[pid=2827/tid=2846] ppid=2824 vsize=8543180 CPUtime=0 cores=1,3,5,7
/proc/2827/task/2846/stat : 2846 (java) S 2824 2827 2827 0 -1 4202560 8 0 0 0 0 0 0 0 19 0 19 0 869375522 8748216320 25883 33554432000 1073741824 1073778376 140733246318960 18446744073709551615 246528650752 0 4 0 16800975 18446604458424989888 0 0 -1 1 0 0 0
[pid=2812/tid=2819] ppid=2810 vsize=307552 CPUtime=0 cores=1,3,5,7
/proc/2812/task/2819/stat : 2819 (python) S 2810 2812 1406 0 -1 4202560 30 930 0 0 0 0 0 0 19 0 3 0 869370793 314933248 8170 33554432000 4194304 5683644 140734066349440 18446744073709551615 246528657841 0 0 16781312 33554434 18446604463495773184 0 0 -1 5 0 0 0
[pid=2812/tid=2825] ppid=2810 vsize=307552 CPUtime=0 cores=1,3,5,7
/proc/2812/task/2825/stat : 2825 (python) S 2810 2812 1406 0 -1 4202560 28 930 0 0 0 0 0 0 20 0 3 0 869375475 314933248 8170 33554432000 4194304 5683644 140734066349440 18446744073709551615 246528657841 0 0 16781312 33554434 18446604463495773184 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 57.66
Current children cumulated vsize (KiB) 9631488
[startup+56.801 s]
/proc/loadavg: 2.08 2.07 1.62 3/628 2846
/proc/meminfo: memFree=20019784/32951124 swapFree=43359760/67111528
[pid=2812] ppid=2810 vsize=307552 CPUtime=0.73 cores=1,3,5,7
/proc/2812/stat : 2812 (python) S 2810 2812 1406 0 -1 4202496 11978 930 1 0 64 9 0 0 19 0 3 0 869370710 314933248 8170 33554432000 4194304 5683644 140734066349440 18446744073709551615 246528660939 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/2812/statm: 76888 8170 1873 364 0 11772 0
[pid=2818] ppid=2812 vsize=297296 CPUtime=0.18 cores=1,3,5,7
/proc/2818/stat : 2818 (python) S 2812 2812 1406 0 -1 4202560 1111 0 0 0 9 9 0 0 16 0 2 0 869370792 304431104 6701 33554432000 4194304 5683644 140734066349440 18446744073709551615 246528660939 0 0 16781312 33554946 18446744073709551615 0 0 17 5 0 0 0
/proc/2818/statm: 74324 6701 407 364 0 9211 0
[pid=2820] ppid=2818 vsize=186152 CPUtime=46.79 cores=1,3,5,7
/proc/2820/stat : 2820 (scip-2.0.1.linu) T 2818 2820 2820 0 -1 4202496 45304 0 0 0 4615 64 0 0 25 0 1 0 869370793 190619648 43618 33554432000 4194304 13684479 140736458948496 18446744073709551615 7387906 0 0 16781312 2 18446744071562691360 0 0 17 1 0 0 0
/proc/2820/statm: 46538 43618 828 2317 0 44216 0
[pid=2818/tid=2823] ppid=2812 vsize=297296 CPUtime=0 cores=1,3,5,7
/proc/2818/task/2823/stat : 2823 (python) S 2812 2812 1406 0 -1 4202560 47 0 0 0 0 0 0 0 16 0 2 0 869375472 304431104 6701 33554432000 4194304 5683644 140734066349440 18446744073709551615 246528657841 0 0 16781312 33554946 18446604463495770496 0 0 -1 5 0 0 0
[pid=2824] ppid=2812 vsize=297308 CPUtime=0.04 cores=1,3,5,7
/proc/2824/stat : 2824 (python) S 2812 2812 1406 0 -1 4202560 920 0 0 0 2 2 0 0 15 0 1 0 869375475 304443392 6666 33554432000 4194304 5683644 140734066349440 18446744073709551615 246516854342 0 0 16781312 33554946 5623311482772007789 0 0 17 1 0 0 0
/proc/2824/statm: 74327 6666 373 364 0 9211 0
[pid=2827] ppid=2824 vsize=8543180 CPUtime=10.72 cores=1,3,5,7
/proc/2827/stat : 2827 (java) S 2824 2827 2827 0 -1 4202496 33540 0 1 0 1067 5 0 0 17 0 19 0 869375475 8748216320 25883 33554432000 1073741824 1073778376 140733246318960 18446744073709551615 246528636901 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/2827/statm: 2135795 25883 2259 9 0 2126536 0
[pid=2827/tid=2828] ppid=2824 vsize=8543180 CPUtime=9.02 cores=1,3,5,7
/proc/2827/task/2828/stat : 2828 (java) R 2824 2827 2827 0 -1 4202560 15379 0 1 0 899 3 0 0 25 0 19 0 869375476 8748216320 25883 33554432000 1073741824 1073778376 140733246318960 18446744073709551615 46912505938641 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=2827/tid=2829] ppid=2824 vsize=8543180 CPUtime=0 cores=1,3,5,7
/proc/2827/task/2829/stat : 2829 (java) S 2824 2827 2827 0 -1 4202560 289 0 0 0 0 0 0 0 15 0 19 0 869375477 8748216320 25883 33554432000 1073741824 1073778376 140733246318960 18446744073709551615 246528650137 0 4 0 16800975 18446604458424989888 0 0 -1 1 0 0 0
[pid=2827/tid=2830] ppid=2824 vsize=8543180 CPUtime=0.01 cores=1,3,5,7
/proc/2827/task/2830/stat : 2830 (java) S 2824 2827 2827 0 -1 4202560 508 0 0 0 1 0 0 0 15 0 19 0 869375477 8748216320 25883 33554432000 1073741824 1073778376 140733246318960 18446744073709551615 246528650137 0 4 0 16800975 18446604458424989888 0 0 -1 5 0 0 0
[pid=2827/tid=2831] ppid=2824 vsize=8543180 CPUtime=0 cores=1,3,5,7
/proc/2827/task/2831/stat : 2831 (java) S 2824 2827 2827 0 -1 4202560 59 0 0 0 0 0 0 0 15 0 19 0 869375477 8748216320 25883 33554432000 1073741824 1073778376 140733246318960 18446744073709551615 246528650137 0 4 0 16800975 18446604458424989888 0 0 -1 5 0 0 0
[pid=2827/tid=2832] ppid=2824 vsize=8543180 CPUtime=0 cores=1,3,5,7
/proc/2827/task/2832/stat : 2832 (java) S 2824 2827 2827 0 -1 4202560 86 0 0 0 0 0 0 0 15 0 19 0 869375477 8748216320 25883 33554432000 1073741824 1073778376 140733246318960 18446744073709551615 246528650137 0 4 0 16800975 18446604458424989888 0 0 -1 5 0 0 0
[pid=2827/tid=2833] ppid=2824 vsize=8543180 CPUtime=0 cores=1,3,5,7
/proc/2827/task/2833/stat : 2833 (java) S 2824 2827 2827 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 19 0 869375477 8748216320 25883 33554432000 1073741824 1073778376 140733246318960 18446744073709551615 246528650137 0 4 0 16800975 18446604458424989888 0 0 -1 5 0 0 0
[pid=2827/tid=2834] ppid=2824 vsize=8543180 CPUtime=0 cores=1,3,5,7
/proc/2827/task/2834/stat : 2834 (java) S 2824 2827 2827 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 19 0 869375477 8748216320 25883 33554432000 1073741824 1073778376 140733246318960 18446744073709551615 246528650137 0 4 0 16800975 18446604458424989888 0 0 -1 5 0 0 0
[pid=2827/tid=2835] ppid=2824 vsize=8543180 CPUtime=0.01 cores=1,3,5,7
/proc/2827/task/2835/stat : 2835 (java) S 2824 2827 2827 0 -1 4202560 212 0 0 0 1 0 0 0 15 0 19 0 869375477 8748216320 25883 33554432000 1073741824 1073778376 140733246318960 18446744073709551615 246528650137 0 4 0 16800975 18446604458424989888 0 0 -1 5 0 0 0
[pid=2827/tid=2836] ppid=2824 vsize=8543180 CPUtime=0 cores=1,3,5,7
/proc/2827/task/2836/stat : 2836 (java) S 2824 2827 2827 0 -1 4202560 86 0 0 0 0 0 0 0 15 0 19 0 869375477 8748216320 25883 33554432000 1073741824 1073778376 140733246318960 18446744073709551615 246528650137 0 4 0 16800975 18446604458424989888 0 0 -1 5 0 0 0
[pid=2827/tid=2837] ppid=2824 vsize=8543180 CPUtime=0.05 cores=1,3,5,7
/proc/2827/task/2837/stat : 2837 (java) S 2824 2827 2827 0 -1 4202560 1040 0 0 0 5 0 0 0 16 0 19 0 869375478 8748216320 25883 33554432000 1073741824 1073778376 140733246318960 18446744073709551615 246528650752 0 0 0 16800975 18446604458424989888 0 0 -1 1 0 0 0
[pid=2827/tid=2838] ppid=2824 vsize=8543180 CPUtime=0 cores=1,3,5,7
/proc/2827/task/2838/stat : 2838 (java) S 2824 2827 2827 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 869375478 8748216320 25883 33554432000 1073741824 1073778376 140733246318960 18446744073709551615 246528650137 0 4 0 16800975 18446604458424989888 0 0 -1 1 0 0 0
[pid=2827/tid=2839] ppid=2824 vsize=8543180 CPUtime=0 cores=1,3,5,7
/proc/2827/task/2839/stat : 2839 (java) S 2824 2827 2827 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 869375478 8748216320 25883 33554432000 1073741824 1073778376 140733246318960 18446744073709551615 246528650137 0 4 0 16800975 18446604458424989888 0 0 -1 1 0 0 0
[pid=2827/tid=2840] ppid=2824 vsize=8543180 CPUtime=0 cores=1,3,5,7
/proc/2827/task/2840/stat : 2840 (java) S 2824 2827 2827 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869375481 8748216320 25883 33554432000 1073741824 1073778376 140733246318960 18446744073709551615 246528657841 0 4 0 16800975 18446604458424989888 0 0 -1 1 0 0 0
[pid=2827/tid=2841] ppid=2824 vsize=8543180 CPUtime=0.85 cores=1,3,5,7
/proc/2827/task/2841/stat : 2841 (java) S 2824 2827 2827 0 -1 4202560 10277 0 0 0 85 0 0 0 16 0 19 0 869375481 8748216320 25883 33554432000 1073741824 1073778376 140733246318960 18446744073709551615 246528650137 0 4 0 16800975 18446604458424989888 0 0 -1 7 0 0 0
[pid=2827/tid=2843] ppid=2824 vsize=8543180 CPUtime=0.71 cores=1,3,5,7
/proc/2827/task/2843/stat : 2843 (java) S 2824 2827 2827 0 -1 4202560 4202 0 0 0 71 0 0 0 16 0 19 0 869375481 8748216320 25883 33554432000 1073741824 1073778376 140733246318960 18446744073709551615 246528650137 0 4 0 16800975 18446604458424989888 0 0 -1 5 0 0 0
[pid=2827/tid=2844] ppid=2824 vsize=8543180 CPUtime=0 cores=1,3,5,7
/proc/2827/task/2844/stat : 2844 (java) S 2824 2827 2827 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869375481 8748216320 25883 33554432000 1073741824 1073778376 140733246318960 18446744073709551615 246528650137 0 4 0 16800975 18446604458424989888 0 0 -1 1 0 0 0
[pid=2827/tid=2845] ppid=2824 vsize=8543180 CPUtime=0 cores=1,3,5,7
/proc/2827/task/2845/stat : 2845 (java) S 2824 2827 2827 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 869375481 8748216320 25883 33554432000 1073741824 1073778376 140733246318960 18446744073709551615 246528650752 0 4 0 16800975 18446604458424989888 0 0 -1 1 0 0 0
[pid=2827/tid=2846] ppid=2824 vsize=8543180 CPUtime=0 cores=1,3,5,7
/proc/2827/task/2846/stat : 2846 (java) S 2824 2827 2827 0 -1 4202560 8 0 0 0 0 0 0 0 19 0 19 0 869375522 8748216320 25883 33554432000 1073741824 1073778376 140733246318960 18446744073709551615 246528650752 0 4 0 16800975 18446604458424989888 0 0 -1 1 0 0 0
[pid=2812/tid=2819] ppid=2810 vsize=307552 CPUtime=0 cores=1,3,5,7
/proc/2812/task/2819/stat : 2819 (python) S 2810 2812 1406 0 -1 4202560 30 930 0 0 0 0 0 0 19 0 3 0 869370793 314933248 8170 33554432000 4194304 5683644 140734066349440 18446744073709551615 246528657841 0 0 16781312 33554434 18446604463495773184 0 0 -1 5 0 0 0
[pid=2812/tid=2825] ppid=2810 vsize=307552 CPUtime=0 cores=1,3,5,7
/proc/2812/task/2825/stat : 2825 (python) S 2810 2812 1406 0 -1 4202560 28 930 0 0 0 0 0 0 20 0 3 0 869375475 314933248 8170 33554432000 4194304 5683644 140734066349440 18446744073709551615 246528657841 0 0 16781312 33554434 18446604463495773184 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 58.46
Current children cumulated vsize (KiB) 9631488
[startup+57.201 s]
/proc/loadavg: 2.08 2.07 1.62 3/604 2848
/proc/meminfo: memFree=20291908/32951124 swapFree=43359760/67111528
[pid=2812] ppid=2810 vsize=307112 CPUtime=58.91 cores=1,3,5,7
/proc/2812/stat : 2812 (python) R 2810 2812 1406 0 -1 4202496 16187 82769 1 1 66 10 5733 82 17 0 2 0 869370710 314482688 8065 33554432000 4194304 5683644 140734066349440 18446744073709551615 4619677 0 0 16781312 0 18446744073709551615 0 0 17 1 0 0 0
/proc/2812/statm: 76778 8066 1871 364 0 11670 0
Current children cumulated CPU time (s) 58.91
Current children cumulated vsize (KiB) 307112
Child status: 0
Real time (s): 57.2182
CPU time (s): 58.934
CPU user time (s): 58.0072
CPU system time (s): 0.926859
CPU usage (%): 102.999
Max. virtual memory (cumulated for all children) (KiB): 9631488
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 58.0072
system time used= 0.926859
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 99788
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= 1893
involuntary context switches= 645
runsolver used 0.248962 second user time and 0.628904 second system time
The end