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-3482374-1307576656/watcher-3482374-1307576656 -o /tmp/evaluation-result-3482374-1307576656/solver-3482374-1307576656 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.dec.pickle HOME/instance-3482374-1307576656.opb -seed 1653153964 -budget 1800
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.16 1.10 0.43 2/284 29949
/proc/meminfo: memFree=31218216/32951124 swapFree=53958412/67111528
[pid=29949] ppid=29947 vsize=15772 CPUtime=0 cores=0,2,4,6
/proc/29949/stat : 29949 (python) R 29947 29949 28606 0 -1 4202496 891 0 0 0 0 0 0 0 17 0 1 0 869266399 16150528 772 33554432000 4194304 5683644 140735347514528 18446744073709551615 4540219 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/29949/statm: 3943 773 343 364 0 430 0
[startup+0.0393991 s]
/proc/loadavg: 2.16 1.10 0.43 2/284 29949
/proc/meminfo: memFree=31218216/32951124 swapFree=53958412/67111528
[pid=29949] ppid=29947 vsize=18884 CPUtime=0.02 cores=0,2,4,6
/proc/29949/stat : 29949 (python) R 29947 29949 28606 0 -1 4202496 1288 0 0 0 2 0 0 0 17 0 1 0 869266399 19337216 1140 33554432000 4194304 5683644 140735347514528 18446744073709551615 222921442840 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/29949/statm: 4721 1140 421 364 0 690 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 18884
[startup+0.10041 s]
/proc/loadavg: 2.16 1.10 0.43 2/284 29949
/proc/meminfo: memFree=31218216/32951124 swapFree=53958412/67111528
[pid=29949] ppid=29947 vsize=96124 CPUtime=0.07 cores=0,2,4,6
/proc/29949/stat : 29949 (python) R 29947 29949 28606 0 -1 4202496 3169 929 1 0 5 2 0 0 18 0 1 0 869266399 98430976 2483 33554432000 4194304 5683644 140735347514528 18446744073709551615 5171100 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/29949/statm: 24031 2483 792 364 0 1626 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 96124
[startup+0.300388 s]
/proc/loadavg: 2.16 1.10 0.43 2/284 29949
/proc/meminfo: memFree=31218216/32951124 swapFree=53958412/67111528
[pid=29949] ppid=29947 vsize=177688 CPUtime=0.23 cores=0,2,4,6
/proc/29949/stat : 29949 (python) R 29947 29949 28606 0 -1 4202496 6248 929 1 0 17 6 0 0 17 0 1 0 869266399 181952512 4558 33554432000 4194304 5683644 140735347514528 18446744073709551615 47742537687072 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/29949/statm: 44422 4559 1238 364 0 3534 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 177688
[startup+0.700316 s]
/proc/loadavg: 2.16 1.10 0.43 2/284 29949
/proc/meminfo: memFree=31218216/32951124 swapFree=53958412/67111528
[pid=29949] ppid=29947 vsize=284880 CPUtime=0.58 cores=0,2,4,6
/proc/29949/stat : 29949 (python) R 29947 29949 28606 0 -1 4202496 10762 1349 1 0 45 9 4 0 18 0 1 0 869266399 291717120 7605 33554432000 4194304 5683644 140735347514528 18446744073709551615 222925215719 0 0 16781312 33554434 0 0 0 17 2 0 0 0
/proc/29949/statm: 71220 7605 1856 364 0 6110 0
Current children cumulated CPU time (s) 0.58
Current children cumulated vsize (KiB) 284880
[startup+1.50115 s]
/proc/loadavg: 2.16 1.10 0.43 3/288 29958
/proc/meminfo: memFree=31184208/32951124 swapFree=53958412/67111528
[pid=29949] ppid=29947 vsize=295136 CPUtime=0.58 cores=0,2,4,6
/proc/29949/stat : 29949 (python) S 29947 29949 28606 0 -1 4202496 11017 1349 1 0 45 9 4 0 20 0 2 0 869266399 302219264 7616 33554432000 4194304 5683644 140735347514528 18446744073709551615 222933603787 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0
/proc/29949/statm: 73784 7616 1863 364 0 8671 0
[pid=29956] ppid=29949 vsize=284892 CPUtime=0 cores=0,2,4,6
/proc/29956/stat : 29956 (python) S 29949 29949 28606 0 -1 4202560 664 0 0 0 0 0 0 0 19 0 1 0 869266469 291729408 6065 33554432000 4194304 5683644 140735347514528 18446744073709551615 222921797135 0 0 16781312 33554946 14145721324793725185 0 0 17 2 0 0 0
/proc/29956/statm: 71223 6065 316 364 0 6110 0
[pid=29958] ppid=29956 vsize=4604 CPUtime=0.79 cores=0,2,4,6
/proc/29958/stat : 29958 (clasp-1.3.7-x86) R 29956 29958 29958 0 -1 4202496 1192 0 0 0 79 0 0 0 22 0 1 0 869266469 4714496 911 33554432000 134512640 136139019 4287453056 18446744073709551615 134598352 0 0 16781312 16386 0 0 0 17 4 0 0 0
/proc/29958/statm: 1151 911 183 398 0 751 0
[pid=29949/tid=29957] ppid=29947 vsize=295136 CPUtime=0.04 cores=0,2,4,6
/proc/29949/task/29957/stat : 29957 (python) S 29947 29949 28606 0 -1 4202560 24 1349 0 0 0 0 4 0 20 0 2 0 869266469 302219264 7616 33554432000 4194304 5683644 140735347514528 18446744073709551615 222933600689 0 0 16781312 33554434 18446604451101884544 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.37
Current children cumulated vsize (KiB) 584632
[startup+3.10085 s]
/proc/loadavg: 2.16 1.10 0.43 3/288 29958
/proc/meminfo: memFree=31181828/32951124 swapFree=53958412/67111528
[pid=29949] ppid=29947 vsize=295136 CPUtime=0.58 cores=0,2,4,6
/proc/29949/stat : 29949 (python) S 29947 29949 28606 0 -1 4202496 11017 1349 1 0 45 9 4 0 20 0 2 0 869266399 302219264 7616 33554432000 4194304 5683644 140735347514528 18446744073709551615 222933603787 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0
/proc/29949/statm: 73784 7616 1863 364 0 8671 0
[pid=29956] ppid=29949 vsize=284892 CPUtime=0 cores=0,2,4,6
/proc/29956/stat : 29956 (python) S 29949 29949 28606 0 -1 4202560 687 0 0 0 0 0 0 0 18 0 1 0 869266469 291729408 6068 33554432000 4194304 5683644 140735347514528 18446744073709551615 222921797135 0 0 16781312 33554946 13871352835330769153 0 0 17 2 0 0 0
/proc/29956/statm: 71223 6068 319 364 0 6110 0
[pid=29958] ppid=29956 vsize=4604 CPUtime=2.39 cores=0,2,4,6
/proc/29958/stat : 29958 (clasp-1.3.7-x86) R 29956 29958 29958 0 -1 4202496 1192 0 0 0 239 0 0 0 25 0 1 0 869266469 4714496 911 33554432000 134512640 136139019 4287453056 18446744073709551615 134875844 0 0 16781312 16386 0 0 0 17 4 0 0 0
/proc/29958/statm: 1151 911 183 398 0 751 0
[pid=29949/tid=29957] ppid=29947 vsize=295136 CPUtime=0.04 cores=0,2,4,6
/proc/29949/task/29957/stat : 29957 (python) S 29947 29949 28606 0 -1 4202560 24 1349 0 0 0 0 4 0 20 0 2 0 869266469 302219264 7616 33554432000 4194304 5683644 140735347514528 18446744073709551615 222933600689 0 0 16781312 33554434 18446604451101884544 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2.97
Current children cumulated vsize (KiB) 584632
[startup+6.30024 s]
/proc/loadavg: 2.23 1.13 0.45 3/288 29958
/proc/meminfo: memFree=31180784/32951124 swapFree=53958412/67111528
[pid=29949] ppid=29947 vsize=295136 CPUtime=0.58 cores=0,2,4,6
/proc/29949/stat : 29949 (python) S 29947 29949 28606 0 -1 4202496 11017 1349 1 0 45 9 4 0 20 0 2 0 869266399 302219264 7616 33554432000 4194304 5683644 140735347514528 18446744073709551615 222933603787 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0
/proc/29949/statm: 73784 7616 1863 364 0 8671 0
[pid=29956] ppid=29949 vsize=284892 CPUtime=0 cores=0,2,4,6
/proc/29956/stat : 29956 (python) S 29949 29949 28606 0 -1 4202560 844 0 0 0 0 0 0 0 18 0 1 0 869266469 291729408 6091 33554432000 4194304 5683644 140735347514528 18446744073709551615 222921797135 0 0 16781312 33554946 13871351323502280961 0 0 17 2 0 0 0
/proc/29956/statm: 71223 6091 342 364 0 6110 0
[pid=29958] ppid=29956 vsize=5676 CPUtime=5.59 cores=0,2,4,6
/proc/29958/stat : 29958 (clasp-1.3.7-x86) R 29956 29958 29958 0 -1 4202496 1441 0 0 0 559 0 0 0 25 0 1 0 869266469 5812224 1156 33554432000 134512640 136139019 4287453056 18446744073709551615 134831795 0 0 16781312 16386 0 0 0 17 4 0 0 0
/proc/29958/statm: 1419 1156 183 398 0 1019 0
[pid=29949/tid=29957] ppid=29947 vsize=295136 CPUtime=0.04 cores=0,2,4,6
/proc/29949/task/29957/stat : 29957 (python) S 29947 29949 28606 0 -1 4202560 24 1349 0 0 0 0 4 0 20 0 2 0 869266469 302219264 7616 33554432000 4194304 5683644 140735347514528 18446744073709551615 222933600689 0 0 16781312 33554434 18446604451101884544 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 6.17
Current children cumulated vsize (KiB) 585704
[startup+12.7101 s]
/proc/loadavg: 2.21 1.15 0.46 3/288 29958
/proc/meminfo: memFree=31180472/32951124 swapFree=53958412/67111528
[pid=29949] ppid=29947 vsize=295136 CPUtime=0.58 cores=0,2,4,6
/proc/29949/stat : 29949 (python) S 29947 29949 28606 0 -1 4202496 11017 1349 1 0 45 9 4 0 20 0 2 0 869266399 302219264 7616 33554432000 4194304 5683644 140735347514528 18446744073709551615 222933603787 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0
/proc/29949/statm: 73784 7616 1863 364 0 8671 0
[pid=29956] ppid=29949 vsize=284892 CPUtime=0.02 cores=0,2,4,6
/proc/29956/stat : 29956 (python) S 29949 29949 28606 0 -1 4202560 848 0 0 0 1 1 0 0 18 0 1 0 869266469 291729408 6092 33554432000 4194304 5683644 140735347514528 18446744073709551615 222921797135 0 0 16781312 33554946 72262103200705387 0 0 17 2 0 0 0
/proc/29956/statm: 71223 6092 343 364 0 6110 0
[pid=29958] ppid=29956 vsize=6152 CPUtime=12 cores=0,2,4,6
/proc/29958/stat : 29958 (clasp-1.3.7-x86) R 29956 29958 29958 0 -1 4202496 1585 0 0 0 1200 0 0 0 25 0 1 0 869266469 6299648 1300 33554432000 134512640 136139019 4287453056 18446744073709551615 134828853 0 0 16781312 16386 0 0 0 17 4 0 0 0
/proc/29958/statm: 1538 1300 183 398 0 1138 0
[pid=29949/tid=29957] ppid=29947 vsize=295136 CPUtime=0.04 cores=0,2,4,6
/proc/29949/task/29957/stat : 29957 (python) S 29947 29949 28606 0 -1 4202560 24 1349 0 0 0 0 4 0 20 0 2 0 869266469 302219264 7616 33554432000 4194304 5683644 140735347514528 18446744073709551615 222933600689 0 0 16781312 33554434 18446604451101884544 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 12.6
Current children cumulated vsize (KiB) 586180
[startup+25.5007 s]
/proc/loadavg: 2.16 1.19 0.48 3/288 29958
/proc/meminfo: memFree=31184840/32951124 swapFree=53958412/67111528
[pid=29949] ppid=29947 vsize=295136 CPUtime=0.58 cores=0,2,4,6
/proc/29949/stat : 29949 (python) S 29947 29949 28606 0 -1 4202496 11017 1349 1 0 45 9 4 0 20 0 2 0 869266399 302219264 7616 33554432000 4194304 5683644 140735347514528 18446744073709551615 222933603787 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0
/proc/29949/statm: 73784 7616 1863 364 0 8671 0
[pid=29956] ppid=29949 vsize=284892 CPUtime=0.04 cores=0,2,4,6
/proc/29956/stat : 29956 (python) S 29949 29949 28606 0 -1 4202560 855 0 0 0 2 2 0 0 18 0 1 0 869266469 291729408 6092 33554432000 4194304 5683644 140735347514528 18446744073709551615 222921797135 0 0 16781312 33554946 72262103200705387 0 0 17 2 0 0 0
/proc/29956/statm: 71223 6092 343 364 0 6110 0
[pid=29958] ppid=29956 vsize=6960 CPUtime=24.79 cores=0,2,4,6
/proc/29958/stat : 29958 (clasp-1.3.7-x86) R 29956 29958 29958 0 -1 4202496 1784 0 0 0 2479 0 0 0 25 0 1 0 869266469 7127040 1499 33554432000 134512640 136139019 4287453056 18446744073709551615 134831892 0 0 16781312 16386 0 0 0 17 4 0 0 0
/proc/29958/statm: 1740 1499 183 398 0 1340 0
[pid=29949/tid=29957] ppid=29947 vsize=295136 CPUtime=0.04 cores=0,2,4,6
/proc/29949/task/29957/stat : 29957 (python) S 29947 29949 28606 0 -1 4202560 24 1349 0 0 0 0 4 0 20 0 2 0 869266469 302219264 7616 33554432000 4194304 5683644 140735347514528 18446744073709551615 222933600689 0 0 16781312 33554434 18446604451101884544 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 25.41
Current children cumulated vsize (KiB) 586988
[startup+51.101 s]
/proc/loadavg: 2.11 1.25 0.52 3/296 29967
/proc/meminfo: memFree=30926472/32951124 swapFree=53958412/67111528
[pid=29949] ppid=29947 vsize=305392 CPUtime=0.6 cores=0,2,4,6
/proc/29949/stat : 29949 (python) S 29947 29949 28606 0 -1 4202496 11963 1349 1 0 47 9 4 0 20 0 3 0 869266399 312721408 7631 33554432000 4194304 5683644 140735347514528 18446744073709551615 222933603787 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/29949/statm: 76348 7631 1874 364 0 11232 0
[pid=29956] ppid=29949 vsize=295136 CPUtime=0.1 cores=0,2,4,6
/proc/29956/stat : 29956 (python) S 29949 29949 28606 0 -1 4202560 1137 0 0 0 5 5 0 0 19 0 2 0 869266469 302219264 6165 33554432000 4194304 5683644 140735347514528 18446744073709551615 222933603787 0 0 16781312 33554946 18446744073709551615 0 0 17 2 0 0 0
/proc/29956/statm: 73784 6165 411 364 0 8671 0
[pid=29958] ppid=29956 vsize=7468 CPUtime=48.09 cores=0,2,4,6
/proc/29958/stat : 29958 (clasp-1.3.7-x86) T 29956 29958 29958 0 -1 4202496 1909 0 0 0 4809 0 0 0 25 0 1 0 869266469 7647232 1624 33554432000 134512640 136139019 4287453056 18446744073709551615 134828656 0 0 16781312 16386 18446744071562691360 0 0 17 4 0 0 0
/proc/29958/statm: 1867 1624 183 398 0 1467 0
[pid=29956/tid=29964] ppid=29949 vsize=295136 CPUtime=0 cores=0,2,4,6
/proc/29956/task/29964/stat : 29964 (python) S 29949 29949 28606 0 -1 4202560 42 0 0 0 0 0 0 0 19 0 2 0 869271278 302219264 6165 33554432000 4194304 5683644 140735347514528 18446744073709551615 222933600689 0 0 16781312 33554946 18446604440293627904 0 0 -1 4 0 0 0
[pid=29965] ppid=29949 vsize=295148 CPUtime=0 cores=0,2,4,6
/proc/29965/stat : 29965 (python) S 29949 29949 28606 0 -1 4202560 762 0 0 0 0 0 0 0 15 0 1 0 869271281 302231552 6073 33554432000 4194304 5683644 140735347514528 18446744073709551615 222921797190 0 0 16781312 33554946 2528304349298262276 0 0 17 6 0 0 0
/proc/29965/statm: 73787 6073 320 364 0 8671 0
[pid=29967] ppid=29965 vsize=72552 CPUtime=2.27 cores=0,2,4,6
/proc/29967/stat : 29967 (scip-2.0.1.linu) R 29965 29967 29967 0 -1 4202496 19172 0 0 0 216 11 0 0 20 0 1 0 869271281 74293248 15988 33554432000 4194304 13684479 140737039389440 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/29967/statm: 18138 15988 807 2317 0 15816 0
[pid=29949/tid=29957] ppid=29947 vsize=305392 CPUtime=0.04 cores=0,2,4,6
/proc/29949/task/29957/stat : 29957 (python) S 29947 29949 28606 0 -1 4202560 24 1349 0 0 0 0 4 0 20 0 3 0 869266469 312721408 7631 33554432000 4194304 5683644 140735347514528 18446744073709551615 222933600689 0 0 16781312 33554434 18446604451101884544 0 0 -1 2 0 0 0
[pid=29949/tid=29966] ppid=29947 vsize=305392 CPUtime=0.04 cores=0,2,4,6
/proc/29949/task/29966/stat : 29966 (python) S 29947 29949 28606 0 -1 4202560 31 1349 0 0 0 0 4 0 20 0 3 0 869271281 312721408 7631 33554432000 4194304 5683644 140735347514528 18446744073709551615 222933600689 0 0 16781312 33554434 18446604451101884544 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 975696
[startup+102.301 s]
/proc/loadavg: 2.09 1.38 0.60 3/301 29973
/proc/meminfo: memFree=30773148/32951124 swapFree=53958412/67111528
[pid=29949] ppid=29947 vsize=315648 CPUtime=0.62 cores=0,2,4,6
/proc/29949/stat : 29949 (python) S 29947 29949 28606 0 -1 4202496 12920 1349 1 0 49 9 4 0 20 0 4 0 869266399 323223552 7637 33554432000 4194304 5683644 140735347514528 18446744073709551615 222933603787 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/29949/statm: 78912 7637 1876 364 0 13793 0
[pid=29956] ppid=29949 vsize=295136 CPUtime=0.1 cores=0,2,4,6
/proc/29956/stat : 29956 (python) S 29949 29949 28606 0 -1 4202560 1137 0 0 0 5 5 0 0 19 0 2 0 869266469 302219264 6165 33554432000 4194304 5683644 140735347514528 18446744073709551615 222933603787 0 0 16781312 33554946 18446744073709551615 0 0 17 2 0 0 0
/proc/29956/statm: 73784 6165 411 364 0 8671 0
[pid=29958] ppid=29956 vsize=7468 CPUtime=48.09 cores=0,2,4,6
/proc/29958/stat : 29958 (clasp-1.3.7-x86) T 29956 29958 29958 0 -1 4202496 1909 0 0 0 4809 0 0 0 25 0 1 0 869266469 7647232 1624 33554432000 134512640 136139019 4287453056 18446744073709551615 134828656 0 0 16781312 16386 18446744071562691360 0 0 17 4 0 0 0
/proc/29958/statm: 1867 1624 183 398 0 1467 0
[pid=29956/tid=29964] ppid=29949 vsize=295136 CPUtime=0 cores=0,2,4,6
/proc/29956/task/29964/stat : 29964 (python) S 29949 29949 28606 0 -1 4202560 42 0 0 0 0 0 0 0 19 0 2 0 869271278 302219264 6165 33554432000 4194304 5683644 140735347514528 18446744073709551615 222933600689 0 0 16781312 33554946 18446604440293627904 0 0 -1 4 0 0 0
[pid=29965] ppid=29949 vsize=295148 CPUtime=0.11 cores=0,2,4,6
/proc/29965/stat : 29965 (python) S 29949 29949 28606 0 -1 4202560 1118 0 0 0 6 5 0 0 17 0 2 0 869271281 302231552 6145 33554432000 4194304 5683644 140735347514528 18446744073709551615 222933603787 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/29965/statm: 73787 6145 391 364 0 8671 0
[pid=29967] ppid=29965 vsize=85456 CPUtime=49.75 cores=0,2,4,6
/proc/29967/stat : 29967 (scip-2.0.1.linu) T 29965 29967 29967 0 -1 4202496 24524 0 0 0 4926 49 0 0 25 0 1 0 869271281 87506944 18986 33554432000 4194304 13684479 140737039389440 18446744073709551615 7354519 0 0 16781312 2 18446744071562691360 0 0 17 0 0 0 0
/proc/29967/statm: 21364 18986 844 2317 0 19042 0
[pid=29965/tid=29970] ppid=29949 vsize=295148 CPUtime=0 cores=0,2,4,6
/proc/29965/task/29970/stat : 29970 (python) S 29949 29949 28606 0 -1 4202560 50 0 0 0 0 0 0 0 17 0 2 0 869276258 302231552 6145 33554432000 4194304 5683644 140735347514528 18446744073709551615 222933600689 0 0 16781312 33554946 18446604453849262016 0 0 -1 6 0 0 0
[pid=29971] ppid=29949 vsize=305404 CPUtime=0 cores=0,2,4,6
/proc/29971/stat : 29971 (python) S 29949 29949 28606 0 -1 4202560 908 0 0 0 0 0 0 0 15 0 1 0 869276260 312733696 6100 33554432000 4194304 5683644 140735347514528 18446744073709551615 222921797190 0 0 16781312 33554946 3387636664238047492 0 0 17 4 0 0 0
################
# More data... #
################
/proc/29996/stat : 29996 (java) T 29994 29996 29996 0 -1 4202496 172458 0 1 0 4945 22 0 0 18 0 19 0 869317729 8751800320 153720 33554432000 1073741824 1073778376 140733648626256 18446744073709551615 222933579749 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/29996/statm: 2136670 153720 2249 9 0 2127411 0
[pid=29996/tid=29997] ppid=29994 vsize=8546680 CPUtime=47.14 cores=0,2,4,6
/proc/29996/task/29997/stat : 29997 (java) T 29994 29996 29996 0 -1 4202560 123401 0 1 0 4699 15 0 0 25 0 19 0 869317730 8751800320 153720 33554432000 1073741824 1073778376 140733648626256 18446744073709551615 46912505813928 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 4
[pid=29996/tid=29998] ppid=29994 vsize=8546680 CPUtime=0.08 cores=0,2,4,6
/proc/29996/task/29998/stat : 29998 (java) T 29994 29996 29996 0 -1 4202560 5207 0 0 0 8 0 0 0 15 0 19 0 869317730 8751800320 153720 33554432000 1073741824 1073778376 140733648626256 18446744073709551615 222933592985 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=29996/tid=29999] ppid=29994 vsize=8546680 CPUtime=0.07 cores=0,2,4,6
/proc/29996/task/29999/stat : 29999 (java) T 29994 29996 29996 0 -1 4202560 4254 0 0 0 7 0 0 0 15 0 19 0 869317730 8751800320 153720 33554432000 1073741824 1073778376 140733648626256 18446744073709551615 222933592985 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=29996/tid=30000] ppid=29994 vsize=8546680 CPUtime=0.1 cores=0,2,4,6
/proc/29996/task/30000/stat : 30000 (java) T 29994 29996 29996 0 -1 4202560 6362 0 0 0 10 0 0 0 15 0 19 0 869317730 8751800320 153720 33554432000 1073741824 1073778376 140733648626256 18446744073709551615 222933592985 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=29996/tid=30001] ppid=29994 vsize=8546680 CPUtime=0.07 cores=0,2,4,6
/proc/29996/task/30001/stat : 30001 (java) T 29994 29996 29996 0 -1 4202560 3685 0 0 0 7 0 0 0 15 0 19 0 869317730 8751800320 153720 33554432000 1073741824 1073778376 140733648626256 18446744073709551615 222933592985 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=29996/tid=30002] ppid=29994 vsize=8546680 CPUtime=0.07 cores=0,2,4,6
/proc/29996/task/30002/stat : 30002 (java) T 29994 29996 29996 0 -1 4202560 3010 0 0 0 7 0 0 0 15 0 19 0 869317730 8751800320 153720 33554432000 1073741824 1073778376 140733648626256 18446744073709551615 222933592985 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=29996/tid=30003] ppid=29994 vsize=8546680 CPUtime=0.07 cores=0,2,4,6
/proc/29996/task/30003/stat : 30003 (java) T 29994 29996 29996 0 -1 4202560 3930 0 0 0 7 0 0 0 15 0 19 0 869317730 8751800320 153720 33554432000 1073741824 1073778376 140733648626256 18446744073709551615 222933592985 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=29996/tid=30004] ppid=29994 vsize=8546680 CPUtime=0.07 cores=0,2,4,6
/proc/29996/task/30004/stat : 30004 (java) T 29994 29996 29996 0 -1 4202560 3791 0 0 0 7 0 0 0 15 0 19 0 869317730 8751800320 153720 33554432000 1073741824 1073778376 140733648626256 18446744073709551615 222933592985 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=29996/tid=30005] ppid=29994 vsize=8546680 CPUtime=0.06 cores=0,2,4,6
/proc/29996/task/30005/stat : 30005 (java) T 29994 29996 29996 0 -1 4202560 3042 0 0 0 6 0 0 0 15 0 19 0 869317730 8751800320 153720 33554432000 1073741824 1073778376 140733648626256 18446744073709551615 222933592985 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=29996/tid=30006] ppid=29994 vsize=8546680 CPUtime=0 cores=0,2,4,6
/proc/29996/task/30006/stat : 30006 (java) T 29994 29996 29996 0 -1 4202560 441 0 0 0 0 0 0 0 15 0 19 0 869317731 8751800320 153720 33554432000 1073741824 1073778376 140733648626256 18446744073709551615 222933593600 0 0 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=29996/tid=30007] ppid=29994 vsize=8546680 CPUtime=0 cores=0,2,4,6
/proc/29996/task/30007/stat : 30007 (java) T 29994 29996 29996 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 869317732 8751800320 153720 33554432000 1073741824 1073778376 140733648626256 18446744073709551615 222933592985 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=29996/tid=30008] ppid=29994 vsize=8546680 CPUtime=0 cores=0,2,4,6
/proc/29996/task/30008/stat : 30008 (java) T 29994 29996 29996 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 869317732 8751800320 153720 33554432000 1073741824 1073778376 140733648626256 18446744073709551615 222933592985 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=29996/tid=30009] ppid=29994 vsize=8546680 CPUtime=0 cores=0,2,4,6
/proc/29996/task/30009/stat : 30009 (java) T 29994 29996 29996 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869317734 8751800320 153720 33554432000 1073741824 1073778376 140733648626256 18446744073709551615 222933600689 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=29996/tid=30010] ppid=29994 vsize=8546680 CPUtime=0.88 cores=0,2,4,6
/proc/29996/task/30010/stat : 30010 (java) T 29994 29996 29996 0 -1 4202560 6131 0 0 0 88 0 0 0 15 0 19 0 869317734 8751800320 153720 33554432000 1073741824 1073778376 140733648626256 18446744073709551615 222933592985 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=29996/tid=30011] ppid=29994 vsize=8546680 CPUtime=0.92 cores=0,2,4,6
/proc/29996/task/30011/stat : 30011 (java) T 29994 29996 29996 0 -1 4202560 7799 0 0 0 92 0 0 0 15 0 19 0 869317734 8751800320 153720 33554432000 1073741824 1073778376 140733648626256 18446744073709551615 222933592985 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=29996/tid=30012] ppid=29994 vsize=8546680 CPUtime=0 cores=0,2,4,6
/proc/29996/task/30012/stat : 30012 (java) T 29994 29996 29996 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869317734 8751800320 153720 33554432000 1073741824 1073778376 140733648626256 18446744073709551615 222933592985 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=29996/tid=30013] ppid=29994 vsize=8546680 CPUtime=0 cores=0,2,4,6
/proc/29996/task/30013/stat : 30013 (java) T 29994 29996 29996 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 869317734 8751800320 153720 33554432000 1073741824 1073778376 140733648626256 18446744073709551615 222933593600 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=29996/tid=30014] ppid=29994 vsize=8546680 CPUtime=0 cores=0,2,4,6
/proc/29996/task/30014/stat : 30014 (java) T 29994 29996 29996 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 869317768 8751800320 153720 33554432000 1073741824 1073778376 140733648626256 18446744073709551615 222933593600 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=29994/tid=30017] ppid=29949 vsize=336676 CPUtime=0 cores=0,2,4,6
/proc/29994/task/30017/stat : 30017 (python) S 29949 29949 28606 0 -1 4202560 47 0 0 0 0 0 0 0 16 0 2 0 869322480 344756224 6287 33554432000 4194304 5683644 140735347514528 18446744073709551615 222933600689 0 0 16781312 33554946 18446604453895410688 0 0 -1 0 0 0 0
[pid=29949/tid=29957] ppid=29947 vsize=346920 CPUtime=0.04 cores=0,2,4,6
/proc/29949/task/29957/stat : 29957 (python) S 29947 29949 28606 0 -1 4202560 34 1349 0 0 0 0 4 0 18 0 7 0 869266469 355246080 7781 33554432000 4194304 5683644 140735347514528 18446744073709551615 222933600689 0 0 16781312 33554434 18446604451101884544 0 0 -1 2 0 0 0
[pid=29949/tid=29966] ppid=29947 vsize=346920 CPUtime=0.04 cores=0,2,4,6
/proc/29949/task/29966/stat : 29966 (python) S 29947 29949 28606 0 -1 4202560 43 1349 0 0 0 0 4 0 18 0 7 0 869271281 355246080 7781 33554432000 4194304 5683644 140735347514528 18446744073709551615 222933600689 0 0 16781312 33554434 18446604451101884544 0 0 -1 4 0 0 0
[pid=29949/tid=29972] ppid=29947 vsize=346920 CPUtime=0.04 cores=0,2,4,6
/proc/29949/task/29972/stat : 29972 (python) S 29947 29949 28606 0 -1 4202560 34 1349 0 0 0 0 4 0 18 0 7 0 869276261 355246080 7781 33554432000 4194304 5683644 140735347514528 18446744073709551615 222933600689 0 0 16781312 33554434 18446604451101884544 0 0 -1 6 0 0 0
[pid=29949/tid=29979] ppid=29947 vsize=346920 CPUtime=0.04 cores=0,2,4,6
/proc/29949/task/29979/stat : 29979 (python) S 29947 29949 28606 0 -1 4202560 29 1349 0 0 0 0 4 0 20 0 7 0 869285892 355246080 7781 33554432000 4194304 5683644 140735347514528 18446744073709551615 222933600689 0 0 16781312 33554434 18446604451101884544 0 0 -1 2 0 0 0
[pid=29949/tid=29985] ppid=29947 vsize=346920 CPUtime=0.04 cores=0,2,4,6
/proc/29949/task/29985/stat : 29985 (python) S 29947 29949 28606 0 -1 4202560 30 1349 0 0 0 0 4 0 20 0 7 0 869294966 355246080 7781 33554432000 4194304 5683644 140735347514528 18446744073709551615 222933600689 0 0 16781312 33554434 18446604451101884544 0 0 -1 2 0 0 0
[pid=29949/tid=29995] ppid=29947 vsize=346920 CPUtime=0.04 cores=0,2,4,6
/proc/29949/task/29995/stat : 29995 (python) S 29947 29949 28606 0 -1 4202560 31 1349 0 0 0 0 4 0 20 0 7 0 869317728 355246080 7781 33554432000 4194304 5683644 140735347514528 18446744073709551615 222933600689 0 0 16781312 33554434 18446604451101884544 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 911.07
Current children cumulated vsize (KiB) 11146068
[startup+907.102 s]
/proc/loadavg: 2.08 1.99 1.41 3/336 30030
/proc/meminfo: memFree=29600112/32951124 swapFree=53958412/67111528
[pid=29949] ppid=29947 vsize=346920 CPUtime=1.22 cores=0,2,4,6
/proc/29949/stat : 29949 (python) S 29947 29949 28606 0 -1 4202496 16892 1349 1 0 107 11 4 0 18 0 7 0 869266399 355246080 7781 33554432000 4194304 5683644 140735347514528 18446744073709551615 222933603787 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0
/proc/29949/statm: 86730 7781 1882 364 0 21602 0
[pid=29956] ppid=29949 vsize=295136 CPUtime=0.5 cores=0,2,4,6
/proc/29956/stat : 29956 (python) S 29949 29949 28606 0 -1 4202560 1200 0 0 0 25 25 0 0 18 0 2 0 869266469 302219264 6166 33554432000 4194304 5683644 140735347514528 18446744073709551615 222933603787 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/29956/statm: 73784 6166 412 364 0 8671 0
[pid=29958] ppid=29956 vsize=11432 CPUtime=228.46 cores=0,2,4,6
/proc/29958/stat : 29958 (clasp-1.3.7-x86) T 29956 29958 29958 0 -1 4202496 2927 0 0 0 22845 1 0 0 25 0 1 0 869266469 11706368 2608 33554432000 134512640 136139019 4287453056 18446744073709551615 134883821 0 0 16781312 16386 18446744071562691360 0 0 17 0 0 0 0
/proc/29958/statm: 2858 2608 183 398 0 2458 0
[pid=29956/tid=29964] ppid=29949 vsize=295136 CPUtime=0 cores=0,2,4,6
/proc/29956/task/29964/stat : 29964 (python) S 29949 29949 28606 0 -1 4202560 44 0 0 0 0 0 0 0 18 0 2 0 869271278 302219264 6166 33554432000 4194304 5683644 140735347514528 18446744073709551615 222933600689 0 0 16781312 33554946 18446604440293627904 0 0 -1 4 0 0 0
[pid=29965] ppid=29949 vsize=295148 CPUtime=1.15 cores=0,2,4,6
/proc/29965/stat : 29965 (python) S 29949 29949 28606 0 -1 4202560 1227 0 0 0 58 57 0 0 15 0 2 0 869271281 302231552 6145 33554432000 4194304 5683644 140735347514528 18446744073709551615 222921797190 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/29965/statm: 73787 6145 391 364 0 8671 0
[pid=29967] ppid=29965 vsize=93580 CPUtime=441.14 cores=0,2,4,6
/proc/29967/stat : 29967 (scip-2.0.1.linu) R 29965 29967 29967 0 -1 4202496 26821 0 0 0 43730 384 0 0 23 0 1 0 869271281 95825920 21283 33554432000 4194304 13684479 140737039389440 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/29967/statm: 23395 21283 844 2317 0 21073 0
[pid=29965/tid=29970] ppid=29949 vsize=295148 CPUtime=0 cores=0,2,4,6
/proc/29965/task/29970/stat : 29970 (python) S 29949 29949 28606 0 -1 4202560 51 0 0 0 0 0 0 0 15 0 2 0 869276258 302231552 6145 33554432000 4194304 5683644 140735347514528 18446744073709551615 222933600689 0 0 16781312 33554946 18446604453849262016 0 0 -1 6 0 0 0
[pid=29971] ppid=29949 vsize=305404 CPUtime=0.23 cores=0,2,4,6
/proc/29971/stat : 29971 (python) S 29949 29949 28606 0 -1 4202560 1145 0 0 0 12 11 0 0 15 0 2 0 869276260 312733696 6149 33554432000 4194304 5683644 140735347514528 18446744073709551615 222933603787 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/29971/statm: 76351 6149 391 364 0 11232 0
[pid=29973] ppid=29971 vsize=82152 CPUtime=92.2 cores=0,2,4,6
/proc/29973/stat : 29973 (scip-2.0.1.linu) T 29971 29973 29973 0 -1 4202496 26955 0 0 0 9171 49 0 0 25 0 1 0 869276261 84123648 18229 33554432000 4194304 15243407 140736615094544 18446744073709551615 8127336 0 0 16781312 2 18446744071562691360 0 0 17 2 0 0 0
/proc/29973/statm: 20538 18229 968 2698 0 17833 0
[pid=29971/tid=29976] ppid=29949 vsize=305404 CPUtime=0 cores=0,2,4,6
/proc/29971/task/29976/stat : 29976 (python) S 29949 29949 28606 0 -1 4202560 47 0 0 0 0 0 0 0 15 0 2 0 869281237 312733696 6149 33554432000 4194304 5683644 140735347514528 18446744073709551615 222933600689 0 0 16781312 33554946 18446604453841881088 0 0 -1 6 0 0 0
[pid=29978] ppid=29949 vsize=315660 CPUtime=0.1 cores=0,2,4,6
/proc/29978/stat : 29978 (python) S 29949 29949 28606 0 -1 4202560 1117 0 0 0 5 5 0 0 19 0 2 0 869285891 323235840 6153 33554432000 4194304 5683644 140735347514528 18446744073709551615 222933603787 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/29978/statm: 78915 6153 391 364 0 13793 0
[pid=29980] ppid=29978 vsize=74816 CPUtime=48.23 cores=0,2,4,6
/proc/29980/stat : 29980 (minion) T 29978 29980 29980 0 -1 4202496 12001 0 0 0 4822 1 0 0 25 0 1 0 869285892 76611584 11445 33554432000 134512640 165565024 4290115504 18446744073709551615 142424327 0 0 16781312 8396802 18446744071562691360 0 0 17 2 0 0 0
/proc/29980/statm: 18704 11445 359 7582 0 11119 0
[pid=29978/tid=29982] ppid=29949 vsize=315660 CPUtime=0 cores=0,2,4,6
/proc/29978/task/29982/stat : 29982 (python) S 29949 29949 28606 0 -1 4202560 47 0 0 0 0 0 0 0 19 0 2 0 869290717 323235840 6153 33554432000 4194304 5683644 140735347514528 18446744073709551615 222933600689 0 0 16781312 33554946 18446604450180117568 0 0 -1 6 0 0 0
[pid=29984] ppid=29949 vsize=325916 CPUtime=0.1 cores=0,2,4,6
/proc/29984/stat : 29984 (python) S 29949 29949 28606 0 -1 4202560 1147 0 0 0 4 6 0 0 19 0 2 0 869294966 333737984 6157 33554432000 4194304 5683644 140735347514528 18446744073709551615 222933603787 0 0 16781312 33554946 18446744073709551615 0 0 17 4 0 0 0
/proc/29984/statm: 81479 6157 391 364 0 16354 0
[pid=29986] ppid=29984 vsize=116548 CPUtime=48.13 cores=0,2,4,6
/proc/29986/stat : 29986 (pbct-0.1.2-linu) T 29984 29986 29986 0 -1 4202496 29724 0 0 0 4753 60 0 0 25 0 1 0 869294966 119345152 27863 33554432000 134512640 136422188 4294697904 18446744073709551615 134641241 0 0 16781312 16387 18446744071562691360 0 0 17 2 0 0 0
/proc/29986/statm: 29137 27863 214 467 0 28668 0
[pid=29984/tid=29989] ppid=29949 vsize=325916 CPUtime=0 cores=0,2,4,6
/proc/29984/task/29989/stat : 29989 (python) S 29949 29949 28606 0 -1 4202560 50 0 0 0 0 0 0 0 19 0 2 0 869299780 333737984 6157 33554432000 4194304 5683644 140735347514528 18446744073709551615 222933600689 0 0 16781312 33554946 18446604449367303296 0 0 -1 4 0 0 0
[pid=29994] ppid=29949 vsize=336676 CPUtime=0.12 cores=0,2,4,6
/proc/29994/stat : 29994 (python) S 29949 29949 28606 0 -1 4202560 1169 0 0 0 6 6 0 0 16 0 2 0 869317728 344756224 6287 33554432000 4194304 5683644 140735347514528 18446744073709551615 222933603787 0 0 16781312 33554946 18446744073709551615 0 0 17 0 0 0 0
/proc/29994/statm: 84169 6287 391 364 0 19041 0
[pid=29996] ppid=29994 vsize=8546680 CPUtime=49.67 cores=0,2,4,6
/proc/29996/stat : 29996 (java) T 29994 29996 29996 0 -1 4202496 172458 0 1 0 4945 22 0 0 18 0 19 0 869317729 8751800320 153720 33554432000 1073741824 1073778376 140733648626256 18446744073709551615 222933579749 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/29996/statm: 2136670 153720 2249 9 0 2127411 0
[pid=29996/tid=29997] ppid=29994 vsize=8546680 CPUtime=47.14 cores=0,2,4,6
/proc/29996/task/29997/stat : 29997 (java) T 29994 29996 29996 0 -1 4202560 123401 0 1 0 4699 15 0 0 25 0 19 0 869317730 8751800320 153720 33554432000 1073741824 1073778376 140733648626256 18446744073709551615 46912505813928 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 4
[pid=29996/tid=29998] ppid=29994 vsize=8546680 CPUtime=0.08 cores=0,2,4,6
/proc/29996/task/29998/stat : 29998 (java) T 29994 29996 29996 0 -1 4202560 5207 0 0 0 8 0 0 0 15 0 19 0 869317730 8751800320 153720 33554432000 1073741824 1073778376 140733648626256 18446744073709551615 222933592985 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=29996/tid=29999] ppid=29994 vsize=8546680 CPUtime=0.07 cores=0,2,4,6
/proc/29996/task/29999/stat : 29999 (java) T 29994 29996 29996 0 -1 4202560 4254 0 0 0 7 0 0 0 15 0 19 0 869317730 8751800320 153720 33554432000 1073741824 1073778376 140733648626256 18446744073709551615 222933592985 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=29996/tid=30000] ppid=29994 vsize=8546680 CPUtime=0.1 cores=0,2,4,6
/proc/29996/task/30000/stat : 30000 (java) T 29994 29996 29996 0 -1 4202560 6362 0 0 0 10 0 0 0 15 0 19 0 869317730 8751800320 153720 33554432000 1073741824 1073778376 140733648626256 18446744073709551615 222933592985 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=29996/tid=30001] ppid=29994 vsize=8546680 CPUtime=0.07 cores=0,2,4,6
/proc/29996/task/30001/stat : 30001 (java) T 29994 29996 29996 0 -1 4202560 3685 0 0 0 7 0 0 0 15 0 19 0 869317730 8751800320 153720 33554432000 1073741824 1073778376 140733648626256 18446744073709551615 222933592985 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=29996/tid=30002] ppid=29994 vsize=8546680 CPUtime=0.07 cores=0,2,4,6
/proc/29996/task/30002/stat : 30002 (java) T 29994 29996 29996 0 -1 4202560 3010 0 0 0 7 0 0 0 15 0 19 0 869317730 8751800320 153720 33554432000 1073741824 1073778376 140733648626256 18446744073709551615 222933592985 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=29996/tid=30003] ppid=29994 vsize=8546680 CPUtime=0.07 cores=0,2,4,6
/proc/29996/task/30003/stat : 30003 (java) T 29994 29996 29996 0 -1 4202560 3930 0 0 0 7 0 0 0 15 0 19 0 869317730 8751800320 153720 33554432000 1073741824 1073778376 140733648626256 18446744073709551615 222933592985 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=29996/tid=30004] ppid=29994 vsize=8546680 CPUtime=0.07 cores=0,2,4,6
/proc/29996/task/30004/stat : 30004 (java) T 29994 29996 29996 0 -1 4202560 3791 0 0 0 7 0 0 0 15 0 19 0 869317730 8751800320 153720 33554432000 1073741824 1073778376 140733648626256 18446744073709551615 222933592985 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=29996/tid=30005] ppid=29994 vsize=8546680 CPUtime=0.06 cores=0,2,4,6
/proc/29996/task/30005/stat : 30005 (java) T 29994 29996 29996 0 -1 4202560 3042 0 0 0 6 0 0 0 15 0 19 0 869317730 8751800320 153720 33554432000 1073741824 1073778376 140733648626256 18446744073709551615 222933592985 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=29996/tid=30006] ppid=29994 vsize=8546680 CPUtime=0 cores=0,2,4,6
/proc/29996/task/30006/stat : 30006 (java) T 29994 29996 29996 0 -1 4202560 441 0 0 0 0 0 0 0 15 0 19 0 869317731 8751800320 153720 33554432000 1073741824 1073778376 140733648626256 18446744073709551615 222933593600 0 0 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=29996/tid=30007] ppid=29994 vsize=8546680 CPUtime=0 cores=0,2,4,6
/proc/29996/task/30007/stat : 30007 (java) T 29994 29996 29996 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 869317732 8751800320 153720 33554432000 1073741824 1073778376 140733648626256 18446744073709551615 222933592985 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=29996/tid=30008] ppid=29994 vsize=8546680 CPUtime=0 cores=0,2,4,6
/proc/29996/task/30008/stat : 30008 (java) T 29994 29996 29996 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 869317732 8751800320 153720 33554432000 1073741824 1073778376 140733648626256 18446744073709551615 222933592985 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=29996/tid=30009] ppid=29994 vsize=8546680 CPUtime=0 cores=0,2,4,6
/proc/29996/task/30009/stat : 30009 (java) T 29994 29996 29996 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869317734 8751800320 153720 33554432000 1073741824 1073778376 140733648626256 18446744073709551615 222933600689 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=29996/tid=30010] ppid=29994 vsize=8546680 CPUtime=0.88 cores=0,2,4,6
/proc/29996/task/30010/stat : 30010 (java) T 29994 29996 29996 0 -1 4202560 6131 0 0 0 88 0 0 0 15 0 19 0 869317734 8751800320 153720 33554432000 1073741824 1073778376 140733648626256 18446744073709551615 222933592985 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=29996/tid=30011] ppid=29994 vsize=8546680 CPUtime=0.92 cores=0,2,4,6
/proc/29996/task/30011/stat : 30011 (java) T 29994 29996 29996 0 -1 4202560 7799 0 0 0 92 0 0 0 15 0 19 0 869317734 8751800320 153720 33554432000 1073741824 1073778376 140733648626256 18446744073709551615 222933592985 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=29996/tid=30012] ppid=29994 vsize=8546680 CPUtime=0 cores=0,2,4,6
/proc/29996/task/30012/stat : 30012 (java) T 29994 29996 29996 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869317734 8751800320 153720 33554432000 1073741824 1073778376 140733648626256 18446744073709551615 222933592985 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=29996/tid=30013] ppid=29994 vsize=8546680 CPUtime=0 cores=0,2,4,6
/proc/29996/task/30013/stat : 30013 (java) T 29994 29996 29996 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 869317734 8751800320 153720 33554432000 1073741824 1073778376 140733648626256 18446744073709551615 222933593600 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=29996/tid=30014] ppid=29994 vsize=8546680 CPUtime=0 cores=0,2,4,6
/proc/29996/task/30014/stat : 30014 (java) T 29994 29996 29996 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 869317768 8751800320 153720 33554432000 1073741824 1073778376 140733648626256 18446744073709551615 222933593600 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=29994/tid=30017] ppid=29949 vsize=336676 CPUtime=0 cores=0,2,4,6
/proc/29994/task/30017/stat : 30017 (python) S 29949 29949 28606 0 -1 4202560 47 0 0 0 0 0 0 0 16 0 2 0 869322480 344756224 6287 33554432000 4194304 5683644 140735347514528 18446744073709551615 222933600689 0 0 16781312 33554946 18446604453895410688 0 0 -1 0 0 0 0
[pid=29949/tid=29957] ppid=29947 vsize=346920 CPUtime=0.04 cores=0,2,4,6
/proc/29949/task/29957/stat : 29957 (python) S 29947 29949 28606 0 -1 4202560 34 1349 0 0 0 0 4 0 18 0 7 0 869266469 355246080 7781 33554432000 4194304 5683644 140735347514528 18446744073709551615 222933600689 0 0 16781312 33554434 18446604451101884544 0 0 -1 2 0 0 0
[pid=29949/tid=29966] ppid=29947 vsize=346920 CPUtime=0.04 cores=0,2,4,6
/proc/29949/task/29966/stat : 29966 (python) S 29947 29949 28606 0 -1 4202560 43 1349 0 0 0 0 4 0 18 0 7 0 869271281 355246080 7781 33554432000 4194304 5683644 140735347514528 18446744073709551615 222933600689 0 0 16781312 33554434 18446604451101884544 0 0 -1 4 0 0 0
[pid=29949/tid=29972] ppid=29947 vsize=346920 CPUtime=0.04 cores=0,2,4,6
/proc/29949/task/29972/stat : 29972 (python) S 29947 29949 28606 0 -1 4202560 34 1349 0 0 0 0 4 0 18 0 7 0 869276261 355246080 7781 33554432000 4194304 5683644 140735347514528 18446744073709551615 222933600689 0 0 16781312 33554434 18446604451101884544 0 0 -1 6 0 0 0
[pid=29949/tid=29979] ppid=29947 vsize=346920 CPUtime=0.04 cores=0,2,4,6
/proc/29949/task/29979/stat : 29979 (python) S 29947 29949 28606 0 -1 4202560 29 1349 0 0 0 0 4 0 20 0 7 0 869285892 355246080 7781 33554432000 4194304 5683644 140735347514528 18446744073709551615 222933600689 0 0 16781312 33554434 18446604451101884544 0 0 -1 2 0 0 0
[pid=29949/tid=29985] ppid=29947 vsize=346920 CPUtime=0.04 cores=0,2,4,6
/proc/29949/task/29985/stat : 29985 (python) S 29947 29949 28606 0 -1 4202560 30 1349 0 0 0 0 4 0 20 0 7 0 869294966 355246080 7781 33554432000 4194304 5683644 140735347514528 18446744073709551615 222933600689 0 0 16781312 33554434 18446604451101884544 0 0 -1 2 0 0 0
[pid=29949/tid=29995] ppid=29947 vsize=346920 CPUtime=0.04 cores=0,2,4,6
/proc/29949/task/29995/stat : 29995 (python) S 29947 29949 28606 0 -1 4202560 31 1349 0 0 0 0 4 0 20 0 7 0 869317728 355246080 7781 33554432000 4194304 5683644 140735347514528 18446744073709551615 222933600689 0 0 16781312 33554434 18446604451101884544 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 911.25
Current children cumulated vsize (KiB) 11146068
[startup+907.202 s]
/proc/loadavg: 2.08 1.99 1.41 3/336 30030
/proc/meminfo: memFree=29600112/32951124 swapFree=53958412/67111528
[pid=29949] ppid=29947 vsize=326352 CPUtime=911.47 cores=0,2,4,6
/proc/29949/stat : 29949 (python) R 29947 29949 28606 0 -1 4202496 19688 279765 1 1 108 11 90391 637 17 0 2 0 869266399 334184448 7762 33554432000 4194304 5683644 140735347514528 18446744073709551615 4510411 0 0 16781312 0 18446744073709551615 0 0 17 4 0 0 0
/proc/29949/statm: 81588 7762 1871 364 0 16480 0
[pid=29949/tid=29966] ppid=29947 vsize=326352 CPUtime=910.28 cores=0,2,4,6
/proc/29949/task/29966/stat : 29966 (python) S 29947 29949 28606 0 -1 4202560 43 279765 0 1 0 0 90391 637 18 0 2 0 869271281 334184448 7762 33554432000 4194304 5683644 140735347514528 18446744073709551615 222933600689 0 0 16781312 0 18446604451101884544 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 911.47
Current children cumulated vsize (KiB) 326352
Child status: 0
Real time (s): 907.213
CPU time (s): 911.504
CPU user time (s): 905.011
CPU system time (s): 6.49301
CPU usage (%): 100.473
Max. virtual memory (cumulated for all children) (KiB): 11146068
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 905.011
system time used= 6.49301
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 300930
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= 7613
involuntary context switches= 3989
runsolver used 3.9574 second user time and 8.14176 second system time
The end