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-3482877-1307578775/watcher-3482877-1307578775 -o /tmp/evaluation-result-3482877-1307578775/solver-3482877-1307578775 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.dec.pickle HOME/instance-3482877-1307578775.opb -seed 1300517719 -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.02 2.08 1.91 3/618 1956
/proc/meminfo: memFree=17201636/32951124 swapFree=58212620/67111528
[pid=1956] ppid=1954 vsize=15184 CPUtime=0 cores=0,2,4,6
/proc/1956/stat : 1956 (python) R 1954 1956 758 0 -1 4202496 688 0 0 0 0 0 0 0 22 0 1 0 869475558 15548416 582 33554432000 4194304 5683644 140735193861520 18446744073709551615 228244009669 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/1956/statm: 3796 584 320 364 0 283 0
[startup+0.0747809 s]
/proc/loadavg: 2.02 2.08 1.91 3/618 1956
/proc/meminfo: memFree=17201636/32951124 swapFree=58212620/67111528
[pid=1956] ppid=1954 vsize=38900 CPUtime=0.04 cores=0,2,4,6
/proc/1956/stat : 1956 (python) S 1954 1956 758 0 -1 4202496 1658 0 0 0 3 1 0 0 22 0 1 0 869475558 39833600 1485 33554432000 4194304 5683644 140735193861520 18446744073709551615 228244346880 0 2147483391 16781312 2 18446744071699199166 0 0 17 4 0 0 0
/proc/1956/statm: 9725 1485 455 364 0 1025 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 38900
[startup+0.100794 s]
/proc/loadavg: 2.02 2.08 1.91 3/618 1956
/proc/meminfo: memFree=17201636/32951124 swapFree=58212620/67111528
[pid=1956] ppid=1954 vsize=85616 CPUtime=0.06 cores=0,2,4,6
/proc/1956/stat : 1956 (python) R 1954 1956 758 0 -1 4202496 2664 0 0 0 4 2 0 0 22 0 1 0 869475558 87670784 2381 33554432000 4194304 5683644 140735193861520 18446744073709551615 228244346880 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/1956/statm: 21404 2381 715 364 0 1621 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 85616
[startup+0.300766 s]
/proc/loadavg: 2.02 2.08 1.91 3/618 1956
/proc/meminfo: memFree=17201636/32951124 swapFree=58212620/67111528
[pid=1956] ppid=1954 vsize=123740 CPUtime=0.16 cores=0,2,4,6
/proc/1956/stat : 1956 (python) S 1954 1956 758 0 -1 4202496 5357 928 1 0 10 6 0 0 17 0 1 0 869475558 126709760 3744 33554432000 4194304 5683644 140735193861520 18446744073709551615 228244344837 0 2147483391 16781312 2 18446744071699199166 0 0 17 4 0 0 0
/proc/1956/statm: 30935 3744 987 364 0 2767 0
Current children cumulated CPU time (s) 0.16
Current children cumulated vsize (KiB) 123740
[startup+0.700653 s]
/proc/loadavg: 2.02 2.08 1.91 3/618 1956
/proc/meminfo: memFree=17201636/32951124 swapFree=58212620/67111528
[pid=1956] ppid=1954 vsize=261388 CPUtime=0.37 cores=0,2,4,6
/proc/1956/stat : 1956 (python) D 1954 1956 758 0 -1 4202496 8253 928 1 0 25 12 0 0 16 0 1 0 869475558 267661312 6350 33554432000 4194304 5683644 140735193861520 18446744073709551615 228244354615 0 0 16781312 2 18446744071562154983 0 0 17 4 0 0 0
/proc/1956/statm: 65347 6350 1677 364 0 5063 0
Current children cumulated CPU time (s) 0.37
Current children cumulated vsize (KiB) 261388
[startup+1.50047 s]
/proc/loadavg: 2.02 2.08 1.91 3/618 1956
/proc/meminfo: memFree=17201636/32951124 swapFree=58212620/67111528
[pid=1956] ppid=1954 vsize=293316 CPUtime=0.48 cores=0,2,4,6
/proc/1956/stat : 1956 (python) S 1954 1956 758 0 -1 4202496 9689 928 1 0 34 14 0 0 18 0 2 0 869475558 300355584 7196 33554432000 4194304 5683644 140735193861520 18446744073709551615 228256175563 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 34
/proc/1956/statm: 73329 7196 1870 364 0 8216 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 293316
[startup+3.10125 s]
/proc/loadavg: 2.02 2.08 1.91 3/622 1964
/proc/meminfo: memFree=17149276/32951124 swapFree=58212620/67111528
[pid=1956] ppid=1954 vsize=293316 CPUtime=0.48 cores=0,2,4,6
/proc/1956/stat : 1956 (python) S 1954 1956 758 0 -1 4202496 9689 928 1 0 34 14 0 0 18 0 2 0 869475558 300355584 7196 33554432000 4194304 5683644 140735193861520 18446744073709551615 228256175563 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 34
/proc/1956/statm: 73329 7196 1870 364 0 8216 0
[pid=1962] ppid=1956 vsize=283072 CPUtime=0 cores=0,2,4,6
/proc/1962/stat : 1962 (python) S 1956 1956 758 0 -1 4202560 743 0 0 0 0 0 0 0 15 0 1 0 869475670 289865728 5674 33554432000 4194304 5683644 140735193861520 18446744073709551615 228244368911 0 0 16781312 33554946 1578522260782710784 0 0 17 4 0 0 0
/proc/1962/statm: 70768 5674 352 364 0 5655 0
[pid=1964] ppid=1962 vsize=38336 CPUtime=1.94 cores=0,2,4,6
/proc/1964/stat : 1964 (scip-2.0.1.linu) R 1962 1964 1964 0 -1 4202496 7959 0 0 0 192 2 0 0 18 0 1 0 869475671 39256064 7293 33554432000 4194304 13684479 140735099185584 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/1964/statm: 9584 7293 778 2317 0 7262 0
[pid=1956/tid=1963] ppid=1954 vsize=293316 CPUtime=0 cores=0,2,4,6
/proc/1956/task/1963/stat : 1963 (python) S 1954 1956 758 0 -1 4202560 25 928 0 0 0 0 0 0 18 0 2 0 869475671 300355584 7196 33554432000 4194304 5683644 140735193861520 18446744073709551615 228256172465 0 0 16781312 33554434 18446604444058317824 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2.42
Current children cumulated vsize (KiB) 614724
heavy processes:
[startup+6.3007 s]
/proc/loadavg: 2.01 2.08 1.91 3/622 1964
/proc/meminfo: memFree=17129448/32951124 swapFree=58212620/67111528
[pid=1956] ppid=1954 vsize=293316 CPUtime=0.48 cores=0,2,4,6
/proc/1956/stat : 1956 (python) S 1954 1956 758 0 -1 4202496 9689 928 1 0 34 14 0 0 18 0 2 0 869475558 300355584 7196 33554432000 4194304 5683644 140735193861520 18446744073709551615 228256175563 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 34
/proc/1956/statm: 73329 7196 1870 364 0 8216 0
[pid=1962] ppid=1956 vsize=283072 CPUtime=0.02 cores=0,2,4,6
/proc/1962/stat : 1962 (python) S 1956 1956 758 0 -1 4202560 879 0 0 0 1 1 0 0 15 0 1 0 869475670 289865728 5698 33554432000 4194304 5683644 140735193861520 18446744073709551615 228244368911 0 0 16781312 33554946 988704117239054336 0 0 17 4 0 0 0
/proc/1962/statm: 70768 5698 376 364 0 5655 0
[pid=1964] ppid=1962 vsize=53864 CPUtime=5.14 cores=0,2,4,6
/proc/1964/stat : 1964 (scip-2.0.1.linu) R 1962 1964 1964 0 -1 4202496 11538 0 0 0 509 5 0 0 25 0 1 0 869475671 55156736 10866 33554432000 4194304 13684479 140735099185584 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/1964/statm: 13466 10866 826 2317 0 11144 0
[pid=1956/tid=1963] ppid=1954 vsize=293316 CPUtime=0 cores=0,2,4,6
/proc/1956/task/1963/stat : 1963 (python) S 1954 1956 758 0 -1 4202560 25 928 0 0 0 0 0 0 18 0 2 0 869475671 300355584 7196 33554432000 4194304 5683644 140735193861520 18446744073709551615 228256172465 0 0 16781312 33554434 18446604444058317824 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 5.64
Current children cumulated vsize (KiB) 630252
[startup+12.7206 s]
/proc/loadavg: 2.01 2.08 1.91 3/622 1965
/proc/meminfo: memFree=17121312/32951124 swapFree=58212620/67111528
[pid=1956] ppid=1954 vsize=293316 CPUtime=0.48 cores=0,2,4,6
/proc/1956/stat : 1956 (python) S 1954 1956 758 0 -1 4202496 9689 928 1 0 34 14 0 0 18 0 2 0 869475558 300355584 7196 33554432000 4194304 5683644 140735193861520 18446744073709551615 228256175563 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 34
/proc/1956/statm: 73329 7196 1870 364 0 8216 0
[pid=1962] ppid=1956 vsize=283072 CPUtime=0.04 cores=0,2,4,6
/proc/1962/stat : 1962 (python) S 1956 1956 758 0 -1 4202560 971 0 0 0 3 1 0 0 15 0 1 0 869475670 289865728 5703 33554432000 4194304 5683644 140735193861520 18446744073709551615 228244368911 0 0 16781312 33554946 72409437758827273 0 0 17 4 0 0 0
/proc/1962/statm: 70768 5703 381 364 0 5655 0
[pid=1964] ppid=1962 vsize=53864 CPUtime=11.57 cores=0,2,4,6
/proc/1964/stat : 1964 (scip-2.0.1.linu) R 1962 1964 1964 0 -1 4202496 11539 0 0 0 1144 13 0 0 25 0 1 0 869475671 55156736 10867 33554432000 4194304 13684479 140735099185584 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/1964/statm: 13466 10867 827 2317 0 11144 0
[pid=1956/tid=1963] ppid=1954 vsize=293316 CPUtime=0 cores=0,2,4,6
/proc/1956/task/1963/stat : 1963 (python) S 1954 1956 758 0 -1 4202560 25 928 0 0 0 0 0 0 18 0 2 0 869475671 300355584 7196 33554432000 4194304 5683644 140735193861520 18446744073709551615 228256172465 0 0 16781312 33554434 18446604444058317824 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 12.09
Current children cumulated vsize (KiB) 630252
[startup+25.5003 s]
/proc/loadavg: 2.01 2.08 1.91 3/622 1965
/proc/meminfo: memFree=17108620/32951124 swapFree=58212620/67111528
[pid=1956] ppid=1954 vsize=293316 CPUtime=0.48 cores=0,2,4,6
/proc/1956/stat : 1956 (python) S 1954 1956 758 0 -1 4202496 9689 928 1 0 34 14 0 0 18 0 2 0 869475558 300355584 7196 33554432000 4194304 5683644 140735193861520 18446744073709551615 228256175563 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 34
/proc/1956/statm: 73329 7196 1870 364 0 8216 0
[pid=1962] ppid=1956 vsize=283072 CPUtime=0.11 cores=0,2,4,6
/proc/1962/stat : 1962 (python) S 1956 1956 758 0 -1 4202560 982 0 0 0 7 4 0 0 15 0 1 0 869475670 289865728 5703 33554432000 4194304 5683644 140735193861520 18446744073709551615 228244368911 0 0 16781312 33554946 3451352877736394752 0 0 17 6 0 0 0
/proc/1962/statm: 70768 5703 381 364 0 5655 0
[pid=1964] ppid=1962 vsize=53864 CPUtime=24.35 cores=0,2,4,6
/proc/1964/stat : 1964 (scip-2.0.1.linu) R 1962 1964 1964 0 -1 4202496 11541 0 0 0 2405 30 0 0 18 0 1 0 869475671 55156736 10869 33554432000 4194304 13684479 140735099185584 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/1964/statm: 13466 10869 827 2317 0 11144 0
[pid=1956/tid=1963] ppid=1954 vsize=293316 CPUtime=0 cores=0,2,4,6
/proc/1956/task/1963/stat : 1963 (python) S 1954 1956 758 0 -1 4202560 25 928 0 0 0 0 0 0 18 0 2 0 869475671 300355584 7196 33554432000 4194304 5683644 140735193861520 18446744073709551615 228256172465 0 0 16781312 33554434 18446604444058317824 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 24.94
Current children cumulated vsize (KiB) 630252
[startup+51.1008 s]
/proc/loadavg: 2.11 2.10 1.92 3/626 1970
/proc/meminfo: memFree=17074236/32951124 swapFree=58212620/67111528
[pid=1956] ppid=1954 vsize=304080 CPUtime=0.5 cores=0,2,4,6
/proc/1956/stat : 1956 (python) S 1954 1956 758 0 -1 4202496 10590 928 1 0 36 14 0 0 20 0 3 0 869475558 311377920 7318 33554432000 4194304 5683644 140735193861520 18446744073709551615 228256175563 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 34
/proc/1956/statm: 76020 7318 1873 364 0 10904 0
[pid=1962] ppid=1956 vsize=293316 CPUtime=0.26 cores=0,2,4,6
/proc/1962/stat : 1962 (python) S 1956 1956 758 0 -1 4202560 1135 0 0 0 15 11 0 0 16 0 2 0 869475670 300355584 5739 33554432000 4194304 5683644 140735193861520 18446744073709551615 228256175563 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/1962/statm: 73329 5739 412 364 0 8216 0
[pid=1964] ppid=1962 vsize=53864 CPUtime=47.71 cores=0,2,4,6
/proc/1964/stat : 1964 (scip-2.0.1.linu) T 1962 1964 1964 0 -1 4202496 11600 0 0 0 4704 67 0 0 18 0 1 0 869475671 55156736 10928 33554432000 4194304 13684479 140735099185584 18446744073709551615 7434837 0 0 16781312 2 18446744071562691360 0 0 17 0 0 0 0
/proc/1964/statm: 13466 10928 827 2317 0 11144 0
[pid=1962/tid=1966] ppid=1956 vsize=293316 CPUtime=0 cores=0,2,4,6
/proc/1962/task/1966/stat : 1966 (python) S 1956 1956 758 0 -1 4202560 42 0 0 0 0 0 0 0 16 0 2 0 869480445 300355584 5739 33554432000 4194304 5683644 140735193861520 18446744073709551615 228256172465 0 0 16781312 33554946 18446604448718886976 0 0 -1 6 0 0 0
[pid=1967] ppid=1956 vsize=293836 CPUtime=0 cores=0,2,4,6
/proc/1967/stat : 1967 (python) S 1956 1956 758 0 -1 4202560 767 0 0 0 0 0 0 0 18 0 1 0 869480448 300888064 5790 33554432000 4194304 5683644 140735193861520 18446744073709551615 228244368966 0 0 16781312 33554946 17340744541350625537 0 0 17 4 0 0 0
/proc/1967/statm: 73459 5790 349 364 0 8343 0
[pid=1969] ppid=1967 vsize=2668 CPUtime=2.2 cores=0,2,4,6
/proc/1969/stat : 1969 (clasp-1.3.7-x86) R 1967 1969 1969 0 -1 4202496 681 0 0 0 220 0 0 0 25 0 1 0 869480448 2732032 410 33554432000 134512640 136139019 4294159472 18446744073709551615 135529895 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/1969/statm: 667 410 183 398 0 267 0
[pid=1956/tid=1963] ppid=1954 vsize=304080 CPUtime=0 cores=0,2,4,6
/proc/1956/task/1963/stat : 1963 (python) S 1954 1956 758 0 -1 4202560 25 928 0 0 0 0 0 0 18 0 3 0 869475671 311377920 7318 33554432000 4194304 5683644 140735193861520 18446744073709551615 228256172465 0 0 16781312 33554434 18446604444058317824 0 0 -1 4 0 0 0
[pid=1956/tid=1968] ppid=1954 vsize=304080 CPUtime=0 cores=0,2,4,6
/proc/1956/task/1968/stat : 1968 (python) S 1954 1956 758 0 -1 4202560 29 928 0 0 0 0 0 0 20 0 3 0 869480448 311377920 7318 33554432000 4194304 5683644 140735193861520 18446744073709551615 228256172465 0 0 16781312 33554434 18446604444058317824 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 50.67
Current children cumulated vsize (KiB) 947764
[startup+102.301 s]
/proc/loadavg: 2.10 2.10 1.93 3/630 1975
/proc/meminfo: memFree=16982064/32951124 swapFree=58212620/67111528
[pid=1956] ppid=1954 vsize=314040 CPUtime=0.53 cores=0,2,4,6
/proc/1956/stat : 1956 (python) S 1954 1956 758 0 -1 4202496 11519 928 1 0 39 14 0 0 20 0 4 0 869475558 321576960 7265 33554432000 4194304 5683644 140735193861520 18446744073709551615 228256175563 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 34
/proc/1956/statm: 78510 7265 1875 364 0 13391 0
[pid=1962] ppid=1956 vsize=293316 CPUtime=0.26 cores=0,2,4,6
/proc/1962/stat : 1962 (python) S 1956 1956 758 0 -1 4202560 1135 0 0 0 15 11 0 0 16 0 2 0 869475670 300355584 5739 33554432000 4194304 5683644 140735193861520 18446744073709551615 228256175563 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/1962/statm: 73329 5739 412 364 0 8216 0
[pid=1964] ppid=1962 vsize=53864 CPUtime=47.71 cores=0,2,4,6
/proc/1964/stat : 1964 (scip-2.0.1.linu) T 1962 1964 1964 0 -1 4202496 11600 0 0 0 4704 67 0 0 18 0 1 0 869475671 55156736 10928 33554432000 4194304 13684479 140735099185584 18446744073709551615 7434837 0 0 16781312 2 18446744071562691360 0 0 17 0 0 0 0
/proc/1964/statm: 13466 10928 827 2317 0 11144 0
[pid=1962/tid=1966] ppid=1956 vsize=293316 CPUtime=0 cores=0,2,4,6
/proc/1962/task/1966/stat : 1966 (python) S 1956 1956 758 0 -1 4202560 42 0 0 0 0 0 0 0 16 0 2 0 869480445 300355584 5739 33554432000 4194304 5683644 140735193861520 18446744073709551615 228256172465 0 0 16781312 33554946 18446604448718886976 0 0 -1 6 0 0 0
[pid=1967] ppid=1956 vsize=293836 CPUtime=0.21 cores=0,2,4,6
/proc/1967/stat : 1967 (python) S 1956 1956 758 0 -1 4202560 1106 0 0 0 11 10 0 0 19 0 2 0 869480448 300888064 5839 33554432000 4194304 5683644 140735193861520 18446744073709551615 228256175563 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/1967/statm: 73459 5839 397 364 0 8343 0
[pid=1969] ppid=1967 vsize=4112 CPUtime=47.24 cores=0,2,4,6
/proc/1969/stat : 1969 (clasp-1.3.7-x86) T 1967 1969 1969 0 -1 4202496 1055 0 0 0 4724 0 0 0 25 0 1 0 869480448 4210688 784 33554432000 134512640 136139019 4294159472 18446744073709551615 134608386 0 0 16781312 16386 18446744071562691360 0 0 17 0 0 0 0
/proc/1969/statm: 1028 784 183 398 0 628 0
[pid=1967/tid=1972] ppid=1956 vsize=293836 CPUtime=0 cores=0,2,4,6
/proc/1967/task/1972/stat : 1972 (python) S 1956 1956 758 0 -1 4202560 50 0 0 0 0 0 0 0 19 0 2 0 869485173 300888064 5839 33554432000 4194304 5683644 140735193861520 18446744073709551615 228256172465 0 0 16781312 33554946 18446604444155369408 0 0 -1 6 0 0 0
[pid=1973] ppid=1956 vsize=303796 CPUtime=0.02 cores=0,2,4,6
/proc/1973/stat : 1973 (python) S 1956 1956 758 0 -1 4202560 910 0 0 0 1 1 0 0 15 0 1 0 869485175 311087104 5759 33554432000 4194304 5683644 140735193861520 18446744073709551615 228244368966 0 0 16781312 33554946 12522707472021946626 0 0 17 6 0 0 0
/proc/1973/statm: 75949 5759 373 364 0 10830 0
[pid=1975] ppid=1973 vsize=46560 CPUtime=6.12 cores=0,2,4,6
/proc/1975/stat : 1975 (scip-2.0.1.linu) R 1973 1975 1975 0 -1 4202496 14121 0 0 0 607 5 0 0 25 0 1 0 869485176 47677440 8472 33554432000 4194304 15243407 140733465576640 18446744073709551615 13354455 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/1975/statm: 11640 8472 943 2698 0 8935 0
[pid=1956/tid=1963] ppid=1954 vsize=314040 CPUtime=0 cores=0,2,4,6
/proc/1956/task/1963/stat : 1963 (python) S 1954 1956 758 0 -1 4202560 25 928 0 0 0 0 0 0 18 0 4 0 869475671 321576960 7265 33554432000 4194304 5683644 140735193861520 18446744073709551615 228256172465 0 0 16781312 33554434 18446604444058317824 0 0 -1 4 0 0 0
[pid=1956/tid=1968] ppid=1954 vsize=314040 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+386.602 s]
/proc/loadavg: 2.05 2.06 1.94 7/682 2035
/proc/meminfo: memFree=16467144/32951124 swapFree=58212620/67111528
[pid=1956] ppid=1954 vsize=355664 CPUtime=0.77 cores=0,2,4,6
/proc/1956/stat : 1956 (python) S 1954 1956 758 0 -1 4202496 15210 928 1 0 62 15 0 0 20 0 8 0 869475558 364199936 7432 33554432000 4194304 5683644 140735193861520 18446744073709551615 228256175563 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 34
/proc/1956/statm: 88916 7432 1883 364 0 23785 0
[pid=1962] ppid=1956 vsize=293316 CPUtime=0.26 cores=0,2,4,6
/proc/1962/stat : 1962 (python) S 1956 1956 758 0 -1 4202560 1135 0 0 0 15 11 0 0 16 0 2 0 869475670 300355584 5739 33554432000 4194304 5683644 140735193861520 18446744073709551615 228256175563 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/1962/statm: 73329 5739 412 364 0 8216 0
[pid=1964] ppid=1962 vsize=53864 CPUtime=47.71 cores=0,2,4,6
/proc/1964/stat : 1964 (scip-2.0.1.linu) T 1962 1964 1964 0 -1 4202496 11600 0 0 0 4704 67 0 0 18 0 1 0 869475671 55156736 10928 33554432000 4194304 13684479 140735099185584 18446744073709551615 7434837 0 0 16781312 2 18446744071562691360 0 0 17 0 0 0 0
/proc/1964/statm: 13466 10928 827 2317 0 11144 0
[pid=1962/tid=1966] ppid=1956 vsize=293316 CPUtime=0 cores=0,2,4,6
/proc/1962/task/1966/stat : 1966 (python) S 1956 1956 758 0 -1 4202560 42 0 0 0 0 0 0 0 16 0 2 0 869480445 300355584 5739 33554432000 4194304 5683644 140735193861520 18446744073709551615 228256172465 0 0 16781312 33554946 18446604448718886976 0 0 -1 6 0 0 0
[pid=1967] ppid=1956 vsize=293836 CPUtime=0.45 cores=0,2,4,6
/proc/1967/stat : 1967 (python) S 1956 1956 758 0 -1 4202560 1143 0 0 0 23 22 0 0 18 0 2 0 869480448 300888064 5839 33554432000 4194304 5683644 140735193861520 18446744073709551615 228256175563 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/1967/statm: 73459 5839 397 364 0 8343 0
[pid=1969] ppid=1967 vsize=4648 CPUtime=93.47 cores=0,2,4,6
/proc/1969/stat : 1969 (clasp-1.3.7-x86) T 1967 1969 1969 0 -1 4202496 1182 0 0 0 9347 0 0 0 25 0 1 0 869480448 4759552 911 33554432000 134512640 136139019 4294159472 18446744073709551615 134831712 0 0 16781312 16386 18446744071562691360 0 0 17 0 0 0 0
/proc/1969/statm: 1162 911 183 398 0 762 0
[pid=1967/tid=1972] ppid=1956 vsize=293836 CPUtime=0 cores=0,2,4,6
/proc/1967/task/1972/stat : 1972 (python) S 1956 1956 758 0 -1 4202560 50 0 0 0 0 0 0 0 18 0 2 0 869485173 300888064 5839 33554432000 4194304 5683644 140735193861520 18446744073709551615 228256172465 0 0 16781312 33554946 18446604444155369408 0 0 -1 6 0 0 0
[pid=1973] ppid=1956 vsize=303796 CPUtime=0.51 cores=0,2,4,6
/proc/1973/stat : 1973 (python) S 1956 1956 758 0 -1 4202560 1117 0 0 0 26 25 0 0 15 0 2 0 869485175 311087104 5784 33554432000 4194304 5683644 140735193861520 18446744073709551615 228256175563 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/1973/statm: 75949 5784 397 364 0 10830 0
[pid=1975] ppid=1973 vsize=52848 CPUtime=93.84 cores=0,2,4,6
/proc/1975/stat : 1975 (scip-2.0.1.linu) T 1973 1975 1975 0 -1 4202496 34785 0 0 0 9307 77 0 0 19 0 1 0 869485176 54116352 10003 33554432000 4194304 15243407 140733465576640 18446744073709551615 8113627 0 0 16781312 2 18446744071562691360 0 0 17 0 0 0 0
/proc/1975/statm: 13212 10003 943 2698 0 10507 0
[pid=1973/tid=1977] ppid=1956 vsize=303796 CPUtime=0 cores=0,2,4,6
/proc/1973/task/1977/stat : 1977 (python) S 1956 1956 758 0 -1 4202560 46 0 0 0 0 0 0 0 15 0 2 0 869490212 311087104 5784 33554432000 4194304 5683644 140735193861520 18446744073709551615 228256172465 0 0 16781312 33554946 18446604446735694848 0 0 -1 6 0 0 0
[pid=1978] ppid=1956 vsize=314488 CPUtime=0.25 cores=0,2,4,6
/proc/1978/stat : 1978 (python) S 1956 1956 758 0 -1 4202560 1122 0 0 0 10 15 0 0 19 0 2 0 869490214 322035712 5866 33554432000 4194304 5683644 140735193861520 18446744073709551615 228256175563 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/1978/statm: 78622 5866 397 364 0 13500 0
[pid=1980] ppid=1978 vsize=22196 CPUtime=52.25 cores=0,2,4,6
/proc/1980/stat : 1980 (pbct-0.1.2-linu) T 1978 1980 1980 0 -1 4202496 5381 0 0 0 5035 190 0 0 25 0 1 0 869490215 22728704 5115 33554432000 134512640 136422188 4294352224 18446744073709551615 134862222 0 0 16781312 16387 18446744071562691360 0 0 17 0 0 0 0
/proc/1980/statm: 5549 5115 215 467 0 5080 0
[pid=1978/tid=1982] ppid=1956 vsize=314488 CPUtime=0 cores=0,2,4,6
/proc/1978/task/1982/stat : 1982 (python) S 1956 1956 758 0 -1 4202560 48 0 0 0 0 0 0 0 19 0 2 0 869495442 322035712 5866 33554432000 4194304 5683644 140735193861520 18446744073709551615 228256172465 0 0 16781312 33554946 18446604441962353088 0 0 -1 0 0 0 0
[pid=1983] ppid=1956 vsize=324744 CPUtime=0.22 cores=0,2,4,6
/proc/1983/stat : 1983 (python) S 1956 1956 758 0 -1 4202560 1108 0 0 0 11 11 0 0 19 0 2 0 869495452 332537856 5890 33554432000 4194304 5683644 140735193861520 18446744073709551615 228256175563 0 0 16781312 33554946 18446744073709551615 0 0 17 2 0 0 0
/proc/1983/statm: 81186 5890 397 364 0 16061 0
[pid=1985] ppid=1983 vsize=64820 CPUtime=48.28 cores=0,2,4,6
/proc/1985/stat : 1985 (minion) T 1983 1985 1985 0 -1 4202496 9188 0 0 0 4827 1 0 0 25 0 1 0 869495453 66375680 8919 33554432000 134512640 165565024 4287829488 18446744073709551615 142764880 0 0 16781312 8396802 18446744071562691360 0 0 17 0 0 0 0
/proc/1985/statm: 16205 8919 350 7582 0 8620 0
[pid=1983/tid=1988] ppid=1956 vsize=324744 CPUtime=0 cores=0,2,4,6
/proc/1983/task/1988/stat : 1988 (python) S 1956 1956 758 0 -1 4202560 47 0 0 0 0 0 0 0 19 0 2 0 869500281 332537856 5890 33554432000 4194304 5683644 140735193861520 18446744073709551615 228256172465 0 0 16781312 33554946 18446604440973501504 0 0 -1 2 0 0 0
[pid=1990] ppid=1956 vsize=335164 CPUtime=0.25 cores=0,2,4,6
/proc/1990/stat : 1990 (python) S 1956 1956 758 0 -1 4202560 1127 0 0 0 11 14 0 0 17 0 2 0 869504909 343207936 5916 33554432000 4194304 5683644 140735193861520 18446744073709551615 228256175563 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/1990/statm: 83791 5916 397 364 0 18663 0
[pid=1992] ppid=1990 vsize=8536672 CPUtime=49.46 cores=0,2,4,6
/proc/1992/stat : 1992 (java) T 1990 1992 1992 0 -1 4202496 12447 0 1 0 4943 3 0 0 18 0 19 0 869504909 8741552128 10261 33554432000 1073741824 1073778376 140734987402256 18446744073709551615 228256151525 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/1992/statm: 2134168 10261 2241 9 0 2124909 0
[pid=1992/tid=1993] ppid=1990 vsize=8536672 CPUtime=48.59 cores=0,2,4,6
/proc/1992/task/1993/stat : 1993 (java) T 1990 1992 1992 0 -1 4202560 5244 0 1 0 4857 2 0 0 25 0 19 0 869504910 8741552128 10261 33554432000 1073741824 1073778376 140734987402256 18446744073709551615 46912505589030 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=1992/tid=1994] ppid=1990 vsize=8536672 CPUtime=0 cores=0,2,4,6
/proc/1992/task/1994/stat : 1994 (java) T 1990 1992 1992 0 -1 4202560 317 0 0 0 0 0 0 0 15 0 19 0 869504911 8741552128 10261 33554432000 1073741824 1073778376 140734987402256 18446744073709551615 228256164761 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=1992/tid=1995] ppid=1990 vsize=8536672 CPUtime=0.01 cores=0,2,4,6
/proc/1992/task/1995/stat : 1995 (java) T 1990 1992 1992 0 -1 4202560 167 0 0 0 1 0 0 0 15 0 19 0 869504911 8741552128 10261 33554432000 1073741824 1073778376 140734987402256 18446744073709551615 228256164761 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=1992/tid=1996] ppid=1990 vsize=8536672 CPUtime=0.02 cores=0,2,4,6
/proc/1992/task/1996/stat : 1996 (java) T 1990 1992 1992 0 -1 4202560 11 0 0 0 2 0 0 0 15 0 19 0 869504911 8741552128 10261 33554432000 1073741824 1073778376 140734987402256 18446744073709551615 228256164761 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=1992/tid=1997] ppid=1990 vsize=8536672 CPUtime=0.02 cores=0,2,4,6
/proc/1992/task/1997/stat : 1997 (java) T 1990 1992 1992 0 -1 4202560 110 0 0 0 2 0 0 0 15 0 19 0 869504911 8741552128 10261 33554432000 1073741824 1073778376 140734987402256 18446744073709551615 228256164761 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=1992/tid=1998] ppid=1990 vsize=8536672 CPUtime=0.01 cores=0,2,4,6
/proc/1992/task/1998/stat : 1998 (java) T 1990 1992 1992 0 -1 4202560 85 0 0 0 1 0 0 0 15 0 19 0 869504911 8741552128 10261 33554432000 1073741824 1073778376 140734987402256 18446744073709551615 228256164761 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=1992/tid=1999] ppid=1990 vsize=8536672 CPUtime=0.01 cores=0,2,4,6
/proc/1992/task/1999/stat : 1999 (java) T 1990 1992 1992 0 -1 4202560 167 0 0 0 1 0 0 0 15 0 19 0 869504911 8741552128 10261 33554432000 1073741824 1073778376 140734987402256 18446744073709551615 228256164761 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=1992/tid=2000] ppid=1990 vsize=8536672 CPUtime=0.01 cores=0,2,4,6
/proc/1992/task/2000/stat : 2000 (java) T 1990 1992 1992 0 -1 4202560 130 0 0 0 1 0 0 0 15 0 19 0 869504911 8741552128 10261 33554432000 1073741824 1073778376 140734987402256 18446744073709551615 228256164761 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=1992/tid=2001] ppid=1990 vsize=8536672 CPUtime=0.01 cores=0,2,4,6
/proc/1992/task/2001/stat : 2001 (java) T 1990 1992 1992 0 -1 4202560 107 0 0 0 1 0 0 0 15 0 19 0 869504911 8741552128 10261 33554432000 1073741824 1073778376 140734987402256 18446744073709551615 228256164761 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=1992/tid=2002] ppid=1990 vsize=8536672 CPUtime=0.26 cores=0,2,4,6
/proc/1992/task/2002/stat : 2002 (java) T 1990 1992 1992 0 -1 4202560 1161 0 0 0 26 0 0 0 15 0 19 0 869504912 8741552128 10261 33554432000 1073741824 1073778376 140734987402256 18446744073709551615 228256165376 0 0 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=1992/tid=2003] ppid=1990 vsize=8536672 CPUtime=0 cores=0,2,4,6
/proc/1992/task/2003/stat : 2003 (java) T 1990 1992 1992 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 869504912 8741552128 10261 33554432000 1073741824 1073778376 140734987402256 18446744073709551615 228256164761 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=1992/tid=2004] ppid=1990 vsize=8536672 CPUtime=0 cores=0,2,4,6
/proc/1992/task/2004/stat : 2004 (java) T 1990 1992 1992 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 869504912 8741552128 10261 33554432000 1073741824 1073778376 140734987402256 18446744073709551615 228256164761 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=1992/tid=2005] ppid=1990 vsize=8536672 CPUtime=0 cores=0,2,4,6
/proc/1992/task/2005/stat : 2005 (java) T 1990 1992 1992 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869504915 8741552128 10261 33554432000 1073741824 1073778376 140734987402256 18446744073709551615 228256172465 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=1992/tid=2006] ppid=1990 vsize=8536672 CPUtime=0.22 cores=0,2,4,6
/proc/1992/task/2006/stat : 2006 (java) T 1990 1992 1992 0 -1 4202560 959 0 0 0 22 0 0 0 15 0 19 0 869504915 8741552128 10261 33554432000 1073741824 1073778376 140734987402256 18446744073709551615 228256164761 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=1992/tid=2007] ppid=1990 vsize=8536672 CPUtime=0.24 cores=0,2,4,6
/proc/1992/task/2007/stat : 2007 (java) T 1990 1992 1992 0 -1 4202560 2595 0 0 0 24 0 0 0 15 0 19 0 869504915 8741552128 10261 33554432000 1073741824 1073778376 140734987402256 18446744073709551615 228256164761 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=1992/tid=2008] ppid=1990 vsize=8536672 CPUtime=0 cores=0,2,4,6
/proc/1992/task/2008/stat : 2008 (java) T 1990 1992 1992 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869504915 8741552128 10261 33554432000 1073741824 1073778376 140734987402256 18446744073709551615 228256164761 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=1992/tid=2009] ppid=1990 vsize=8536672 CPUtime=0 cores=0,2,4,6
/proc/1992/task/2009/stat : 2009 (java) T 1990 1992 1992 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 869504915 8741552128 10261 33554432000 1073741824 1073778376 140734987402256 18446744073709551615 228256165376 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=1992/tid=2010] ppid=1990 vsize=8536672 CPUtime=0 cores=0,2,4,6
/proc/1992/task/2010/stat : 2010 (java) T 1990 1992 1992 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 869504934 8741552128 10261 33554432000 1073741824 1073778376 140734987402256 18446744073709551615 228256165376 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=1990/tid=2012] ppid=1956 vsize=335164 CPUtime=0 cores=0,2,4,6
/proc/1990/task/2012/stat : 2012 (python) S 1956 1956 758 0 -1 4202560 48 0 0 0 0 0 0 0 17 0 2 0 869509803 343207936 5916 33554432000 4194304 5683644 140735193861520 18446744073709551615 228256172465 0 0 16781312 33554946 18446604445322208576 0 0 -1 6 0 0 0
[pid=2014] ppid=1956 vsize=345420 CPUtime=0 cores=0,2,4,6
/proc/2014/stat : 2014 (python) S 1956 1956 758 0 -1 4202560 815 0 0 0 0 0 0 0 17 0 1 0 869514158 353710080 5894 33554432000 4194304 5683644 140735193861520 18446744073709551615 228244368966 0 0 16781312 33554946 2985341409927626752 0 0 17 0 0 0 0
/proc/2014/statm: 86355 5894 349 364 0 21224 0
[pid=2016] ppid=2014 vsize=8545040 CPUtime=1.45 cores=0,2,4,6
/proc/2016/stat : 2016 (java) S 2014 2016 2016 0 -1 4202496 25274 0 1 0 142 3 0 0 20 0 19 0 869514159 8750120960 20319 33554432000 1073741824 1073778376 140733392201552 18446744073709551615 228256151525 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/2016/statm: 2136260 20319 2214 9 0 2127001 0
[pid=2016/tid=2017] ppid=2014 vsize=8545040 CPUtime=0.61 cores=0,2,4,6
/proc/2016/task/2017/stat : 2017 (java) R 2014 2016 2016 0 -1 4202560 12836 0 1 0 60 1 0 0 18 0 19 0 869514160 8750120960 20948 33554432000 1073741824 1073778376 140733392201552 18446744073709551615 46912505723656 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=2016/tid=2018] ppid=2014 vsize=8545040 CPUtime=0 cores=0,2,4,6
/proc/2016/task/2018/stat : 2018 (java) S 2014 2016 2016 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 869514160 8750120960 20949 33554432000 1073741824 1073778376 140733392201552 18446744073709551615 228256164761 0 4 0 16800975 18446604444100892672 0 0 -1 2 0 0 0
[pid=2016/tid=2019] ppid=2014 vsize=8545040 CPUtime=0 cores=0,2,4,6
/proc/2016/task/2019/stat : 2019 (java) S 2014 2016 2016 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 869514160 8750120960 20951 33554432000 1073741824 1073778376 140733392201552 18446744073709551615 228256164761 0 4 0 16800975 18446604444100892672 0 0 -1 2 0 0 0
[pid=2016/tid=2020] ppid=2014 vsize=8545040 CPUtime=0 cores=0,2,4,6
/proc/2016/task/2020/stat : 2020 (java) S 2014 2016 2016 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 869514160 8750120960 20953 33554432000 1073741824 1073778376 140733392201552 18446744073709551615 228256164761 0 4 0 16800975 18446604444100892672 0 0 -1 2 0 0 0
[pid=2016/tid=2021] ppid=2014 vsize=8545040 CPUtime=0 cores=0,2,4,6
/proc/2016/task/2021/stat : 2021 (java) S 2014 2016 2016 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869514160 8750120960 20956 33554432000 1073741824 1073778376 140733392201552 18446744073709551615 228256164761 0 4 0 16800975 18446604444100892672 0 0 -1 2 0 0 0
[pid=2016/tid=2022] ppid=2014 vsize=8545040 CPUtime=0 cores=0,2,4,6
/proc/2016/task/2022/stat : 2022 (java) S 2014 2016 2016 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869514160 8750120960 20956 33554432000 1073741824 1073778376 140733392201552 18446744073709551615 228256164761 0 4 0 16800975 18446604444100892672 0 0 -1 2 0 0 0
[pid=2016/tid=2023] ppid=2014 vsize=8545040 CPUtime=0 cores=0,2,4,6
/proc/2016/task/2023/stat : 2023 (java) S 2014 2016 2016 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869514160 8750120960 20956 33554432000 1073741824 1073778376 140733392201552 18446744073709551615 228256164761 0 4 0 16800975 18446604444100892672 0 0 -1 2 0 0 0
[pid=2016/tid=2024] ppid=2014 vsize=8545040 CPUtime=0 cores=0,2,4,6
/proc/2016/task/2024/stat : 2024 (java) S 2014 2016 2016 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869514160 8750120960 20956 33554432000 1073741824 1073778376 140733392201552 18446744073709551615 228256164761 0 4 0 16800975 18446604444100892672 0 0 -1 2 0 0 0
[pid=2016/tid=2025] ppid=2014 vsize=8545040 CPUtime=0 cores=0,2,4,6
/proc/2016/task/2025/stat : 2025 (java) S 2014 2016 2016 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869514160 8750120960 20957 33554432000 1073741824 1073778376 140733392201552 18446744073709551615 228256164761 0 4 0 16800975 18446604444100892672 0 0 -1 2 0 0 0
[pid=2016/tid=2026] ppid=2014 vsize=8545040 CPUtime=0 cores=0,2,4,6
/proc/2016/task/2026/stat : 2026 (java) S 2014 2016 2016 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 869514161 8750120960 20957 33554432000 1073741824 1073778376 140733392201552 18446744073709551615 228256165376 0 0 0 16800975 18446604444100892672 0 0 -1 2 0 0 0
[pid=2016/tid=2027] ppid=2014 vsize=8545040 CPUtime=0 cores=0,2,4,6
/proc/2016/task/2027/stat : 2027 (java) S 2014 2016 2016 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 869514162 8750120960 20958 33554432000 1073741824 1073778376 140733392201552 18446744073709551615 228256164761 0 4 0 16800975 18446604444100892672 0 0 -1 2 0 0 0
[pid=2016/tid=2028] ppid=2014 vsize=8545040 CPUtime=0 cores=0,2,4,6
/proc/2016/task/2028/stat : 2028 (java) S 2014 2016 2016 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 869514162 8750120960 20958 33554432000 1073741824 1073778376 140733392201552 18446744073709551615 228256164761 0 4 0 16800975 18446604444100892672 0 0 -1 2 0 0 0
[pid=2016/tid=2029] ppid=2014 vsize=8545040 CPUtime=0 cores=0,2,4,6
/proc/2016/task/2029/stat : 2029 (java) S 2014 2016 2016 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869514164 8750120960 20958 33554432000 1073741824 1073778376 140733392201552 18446744073709551615 228256172465 0 4 0 16800975 18446604444100892672 0 0 -1 2 0 0 0
[pid=2016/tid=2030] ppid=2014 vsize=8545040 CPUtime=0.42 cores=0,2,4,6
/proc/2016/task/2030/stat : 2030 (java) R 2014 2016 2016 0 -1 4202560 5974 0 0 0 42 0 0 0 17 0 19 0 869514164 8750120960 20958 33554432000 1073741824 1073778376 140733392201552 18446744073709551615 47523158998386 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=2016/tid=2031] ppid=2014 vsize=8545040 CPUtime=0.44 cores=0,2,4,6
/proc/2016/task/2031/stat : 2031 (java) R 2014 2016 2016 0 -1 4202560 6043 0 0 0 44 0 0 0 17 0 19 0 869514164 8750120960 20958 33554432000 1073741824 1073778376 140733392201552 18446744073709551615 47523158997702 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=2016/tid=2032] ppid=2014 vsize=8545040 CPUtime=0 cores=0,2,4,6
/proc/2016/task/2032/stat : 2032 (java) S 2014 2016 2016 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869514164 8750120960 20958 33554432000 1073741824 1073778376 140733392201552 18446744073709551615 228256164761 0 4 0 16800975 18446604444100892672 0 0 -1 2 0 0 0
[pid=2016/tid=2033] ppid=2014 vsize=8545040 CPUtime=0 cores=0,2,4,6
/proc/2016/task/2033/stat : 2033 (java) R 2014 2016 2016 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 869514164 8750120960 20959 33554432000 1073741824 1073778376 140733392201552 18446744073709551615 228256165258 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=2016/tid=2034] ppid=2014 vsize=8545040 CPUtime=0 cores=0,2,4,6
/proc/2016/task/2034/stat : 2034 (java) S 2014 2016 2016 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 869514183 8750120960 20961 33554432000 1073741824 1073778376 140733392201552 18446744073709551615 228256165376 0 4 0 16800975 18446604444100892672 0 0 -1 0 0 0 0
[pid=1956/tid=1963] ppid=1954 vsize=355664 CPUtime=0 cores=0,2,4,6
/proc/1956/task/1963/stat : 1963 (python) S 1954 1956 758 0 -1 4202560 25 928 0 0 0 0 0 0 18 0 8 0 869475671 364199936 7432 33554432000 4194304 5683644 140735193861520 18446744073709551615 228256172465 0 0 16781312 33554434 18446604444058317824 0 0 -1 4 0 0 0
[pid=1956/tid=1968] ppid=1954 vsize=355664 CPUtime=0 cores=0,2,4,6
/proc/1956/task/1968/stat : 1968 (python) S 1954 1956 758 0 -1 4202560 36 928 0 0 0 0 0 0 18 0 8 0 869480448 364199936 7432 33554432000 4194304 5683644 140735193861520 18446744073709551615 228256172465 0 0 16781312 33554434 18446604444058317824 0 0 -1 0 0 0 0
[pid=1956/tid=1974] ppid=1954 vsize=355664 CPUtime=0 cores=0,2,4,6
/proc/1956/task/1974/stat : 1974 (python) S 1954 1956 758 0 -1 4202560 31 928 0 0 0 0 0 0 18 0 8 0 869485175 364199936 7432 33554432000 4194304 5683644 140735193861520 18446744073709551615 228256172465 0 0 16781312 33554434 18446604444058317824 0 0 -1 6 0 0 0
[pid=1956/tid=1979] ppid=1954 vsize=355664 CPUtime=0 cores=0,2,4,6
/proc/1956/task/1979/stat : 1979 (python) S 1954 1956 758 0 -1 4202560 30 928 0 0 0 0 0 0 20 0 8 0 869490215 364199936 7432 33554432000 4194304 5683644 140735193861520 18446744073709551615 228256172465 0 0 16781312 33554434 18446604444058317824 0 0 -1 6 0 0 0
[pid=1956/tid=1984] ppid=1954 vsize=355664 CPUtime=0 cores=0,2,4,6
/proc/1956/task/1984/stat : 1984 (python) S 1954 1956 758 0 -1 4202560 29 928 0 0 0 0 0 0 20 0 8 0 869495452 364199936 7432 33554432000 4194304 5683644 140735193861520 18446744073709551615 228256172465 0 0 16781312 33554434 18446604444058317824 0 0 -1 6 0 0 0
[pid=1956/tid=1991] ppid=1954 vsize=355664 CPUtime=0 cores=0,2,4,6
/proc/1956/task/1991/stat : 1991 (python) S 1954 1956 758 0 -1 4202560 24 928 0 0 0 0 0 0 20 0 8 0 869504909 364199936 7432 33554432000 4194304 5683644 140735193861520 18446744073709551615 228256172465 0 0 16781312 33554434 18446604444058317824 0 0 -1 0 0 0 0
[pid=1956/tid=2015] ppid=1954 vsize=355664 CPUtime=0 cores=0,2,4,6
/proc/1956/task/2015/stat : 2015 (python) S 1954 1956 758 0 -1 4202560 31 928 0 0 0 0 0 0 20 0 8 0 869514159 364199936 7432 33554432000 4194304 5683644 140735193861520 18446744073709551615 228256172465 0 0 16781312 33554434 18446604444058317824 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 389.17
Current children cumulated vsize (KiB) 19846516
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 1956 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=632903
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=152976
# CPU time returned by wait4() is 0.785879
# while last known CPU time is 389.17
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 386.699
CPU time (s): 389.17
CPU user time (s): 384.63
CPU system time (s): 4.54
CPU usage (%): 100.639
Max. virtual memory (cumulated for all children) (KiB): 19846516
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.632903
system time used= 0.152976
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16142
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2880
involuntary context switches= 30
runsolver used 2.75358 second user time and 5.2522 second system time
The end