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-3481720-1307577331/watcher-3481720-1307577331 -o /tmp/evaluation-result-3481720-1307577331/solver-3481720-1307577331 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3481720-1307577331.opb -seed 559528652 -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.08 2.01 1.33 2/731 31553
/proc/meminfo: memFree=25852496/32950928 swapFree=43925852/67111528
[pid=31553] ppid=31551 vsize=16248 CPUtime=0.01 cores=1,3,5,7
/proc/31553/stat : 31553 (python) R 31551 31553 30488 0 -1 4202496 1052 0 0 0 1 0 0 0 25 0 1 0 869332016 16637952 923 33554432000 4194304 5683644 140735243257232 18446744073709551615 268272688896 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/31553/statm: 4062 923 381 364 0 549 0
[startup+0.0777469 s]
/proc/loadavg: 2.08 2.01 1.33 2/731 31553
/proc/meminfo: memFree=25852496/32950928 swapFree=43925852/67111528
[pid=31553] ppid=31551 vsize=45820 CPUtime=0.04 cores=1,3,5,7
/proc/31553/stat : 31553 (python) R 31551 31553 30488 0 -1 4202496 1927 0 0 0 4 0 0 0 17 0 1 0 869332016 46919680 1699 33554432000 4194304 5683644 140735243257232 18446744073709551615 4864861 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/31553/statm: 11455 1699 470 364 0 1204 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 45820
[startup+0.100742 s]
/proc/loadavg: 2.08 2.01 1.33 2/731 31553
/proc/meminfo: memFree=25852496/32950928 swapFree=43925852/67111528
[pid=31553] ppid=31551 vsize=85624 CPUtime=0.06 cores=1,3,5,7
/proc/31553/stat : 31553 (python) S 31551 31553 30488 0 -1 4202496 2666 0 0 0 5 1 0 0 17 0 1 0 869332016 87678976 2382 33554432000 4194304 5683644 140735243257232 18446744073709551615 268272687104 0 2147483391 16781312 2 18446744071699199166 0 0 17 1 0 0 0
/proc/31553/statm: 21406 2382 715 364 0 1623 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 85624
[startup+0.300722 s]
/proc/loadavg: 2.08 2.01 1.33 2/731 31553
/proc/meminfo: memFree=25852496/32950928 swapFree=43925852/67111528
[pid=31553] ppid=31551 vsize=123744 CPUtime=0.17 cores=1,3,5,7
/proc/31553/stat : 31553 (python) S 31551 31553 30488 0 -1 4202496 5357 931 1 0 12 5 0 0 16 0 1 0 869332016 126713856 3744 33554432000 4194304 5683644 140735243257232 18446744073709551615 268272685061 0 2147483391 16781312 2 18446744071699199166 0 0 17 1 0 0 0
/proc/31553/statm: 30936 3744 987 364 0 2768 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 123744
[startup+0.700634 s]
/proc/loadavg: 2.08 2.01 1.33 2/731 31553
/proc/meminfo: memFree=25852496/32950928 swapFree=43925852/67111528
[pid=31553] ppid=31551 vsize=282816 CPUtime=0.42 cores=1,3,5,7
/proc/31553/stat : 31553 (python) R 31551 31553 30488 0 -1 4202496 9381 931 1 0 31 11 0 0 16 0 1 0 869332016 289603584 7101 33554432000 4194304 5683644 140735243257232 18446744073709551615 268276127729 0 0 16781312 33554434 0 0 0 17 1 0 0 0
/proc/31553/statm: 70704 7101 1863 364 0 5594 0
Current children cumulated CPU time (s) 0.42
Current children cumulated vsize (KiB) 282816
[startup+1.50043 s]
/proc/loadavg: 2.08 2.01 1.33 3/735 31561
/proc/meminfo: memFree=25826176/32950928 swapFree=43925852/67111528
[pid=31553] ppid=31551 vsize=293072 CPUtime=0.44 cores=1,3,5,7
/proc/31553/stat : 31553 (python) S 31551 31553 30488 0 -1 4202496 9631 931 1 0 33 11 0 0 18 0 2 0 869332016 300105728 7137 33554432000 4194304 5683644 140735243257232 18446744073709551615 268284515787 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/31553/statm: 73268 7137 1870 364 0 8155 0
[pid=31559] ppid=31553 vsize=282828 CPUtime=0 cores=1,3,5,7
/proc/31559/stat : 31559 (python) S 31553 31553 30488 0 -1 4202560 700 0 0 0 0 0 0 0 18 0 1 0 869332088 289615872 5612 33554432000 4194304 5683644 140735243257232 18446744073709551615 268272709135 0 0 16781312 33554946 4497211022431453447 0 0 17 7 0 0 0
/proc/31559/statm: 70707 5612 349 364 0 5594 0
[pid=31561] ppid=31559 vsize=1860 CPUtime=0.78 cores=1,3,5,7
/proc/31561/stat : 31561 (clasp-1.3.7-x86) R 31559 31561 31561 0 -1 4202496 458 0 0 0 78 0 0 0 21 0 1 0 869332088 1904640 203 33554432000 134512640 136139019 4293550816 18446744073709551615 134831215 0 0 16781312 16386 0 0 0 17 3 0 0 0
/proc/31561/statm: 465 203 183 398 0 65 0
[pid=31553/tid=31560] ppid=31551 vsize=293072 CPUtime=0 cores=1,3,5,7
/proc/31553/task/31560/stat : 31560 (python) S 31551 31553 30488 0 -1 4202560 25 931 0 0 0 0 0 0 18 0 2 0 869332088 300105728 7137 33554432000 4194304 5683644 140735243257232 18446744073709551615 268284512689 0 0 16781312 33554434 18446604455031461056 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.22
Current children cumulated vsize (KiB) 577760
[startup+3.10014 s]
/proc/loadavg: 2.08 2.01 1.33 3/735 31561
/proc/meminfo: memFree=25823816/32950928 swapFree=43925852/67111528
[pid=31553] ppid=31551 vsize=293072 CPUtime=0.44 cores=1,3,5,7
/proc/31553/stat : 31553 (python) S 31551 31553 30488 0 -1 4202496 9631 931 1 0 33 11 0 0 18 0 2 0 869332016 300105728 7137 33554432000 4194304 5683644 140735243257232 18446744073709551615 268284515787 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/31553/statm: 73268 7137 1870 364 0 8155 0
[pid=31559] ppid=31553 vsize=282828 CPUtime=0 cores=1,3,5,7
/proc/31559/stat : 31559 (python) S 31553 31553 30488 0 -1 4202560 723 0 0 0 0 0 0 0 18 0 1 0 869332088 289615872 5615 33554432000 4194304 5683644 140735243257232 18446744073709551615 268272709135 0 0 16781312 33554946 4497203463289012487 0 0 17 7 0 0 0
/proc/31559/statm: 70707 5615 352 364 0 5594 0
[pid=31561] ppid=31559 vsize=1860 CPUtime=2.38 cores=1,3,5,7
/proc/31561/stat : 31561 (clasp-1.3.7-x86) R 31559 31561 31561 0 -1 4202496 459 0 0 0 238 0 0 0 25 0 1 0 869332088 1904640 204 33554432000 134512640 136139019 4293550816 18446744073709551615 134871063 0 0 16781312 16386 0 0 0 17 3 0 0 0
/proc/31561/statm: 465 204 183 398 0 65 0
[pid=31553/tid=31560] ppid=31551 vsize=293072 CPUtime=0 cores=1,3,5,7
/proc/31553/task/31560/stat : 31560 (python) S 31551 31553 30488 0 -1 4202560 25 931 0 0 0 0 0 0 18 0 2 0 869332088 300105728 7137 33554432000 4194304 5683644 140735243257232 18446744073709551615 268284512689 0 0 16781312 33554434 18446604455031461056 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2.82
Current children cumulated vsize (KiB) 577760
[startup+6.30063 s]
/proc/loadavg: 2.07 2.01 1.33 3/735 31561
/proc/meminfo: memFree=25816440/32950928 swapFree=43925852/67111528
[pid=31553] ppid=31551 vsize=293072 CPUtime=0.44 cores=1,3,5,7
/proc/31553/stat : 31553 (python) S 31551 31553 30488 0 -1 4202496 9631 931 1 0 33 11 0 0 18 0 2 0 869332016 300105728 7137 33554432000 4194304 5683644 140735243257232 18446744073709551615 268284515787 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/31553/statm: 73268 7137 1870 364 0 8155 0
[pid=31559] ppid=31553 vsize=282828 CPUtime=0.01 cores=1,3,5,7
/proc/31559/stat : 31559 (python) S 31553 31553 30488 0 -1 4202560 871 0 0 0 1 0 0 0 18 0 1 0 869332088 289615872 5639 33554432000 4194304 5683644 140735243257232 18446744073709551615 268272709135 0 0 16781312 33554946 4497206486945988871 0 0 17 7 0 0 0
/proc/31559/statm: 70707 5639 376 364 0 5594 0
[pid=31561] ppid=31559 vsize=1860 CPUtime=5.58 cores=1,3,5,7
/proc/31561/stat : 31561 (clasp-1.3.7-x86) R 31559 31561 31561 0 -1 4202496 459 0 0 0 558 0 0 0 25 0 1 0 869332088 1904640 204 33554432000 134512640 136139019 4293550816 18446744073709551615 134831199 0 0 16781312 16386 0 0 0 17 3 0 0 0
/proc/31561/statm: 465 204 183 398 0 65 0
[pid=31553/tid=31560] ppid=31551 vsize=293072 CPUtime=0 cores=1,3,5,7
/proc/31553/task/31560/stat : 31560 (python) S 31551 31553 30488 0 -1 4202560 25 931 0 0 0 0 0 0 18 0 2 0 869332088 300105728 7137 33554432000 4194304 5683644 140735243257232 18446744073709551615 268284512689 0 0 16781312 33554434 18446604455031461056 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 6.03
Current children cumulated vsize (KiB) 577760
[startup+12.7005 s]
/proc/loadavg: 2.15 2.03 1.34 3/738 31565
/proc/meminfo: memFree=25743940/32950928 swapFree=43925852/67111528
[pid=31553] ppid=31551 vsize=293072 CPUtime=0.44 cores=1,3,5,7
/proc/31553/stat : 31553 (python) S 31551 31553 30488 0 -1 4202496 9631 931 1 0 33 11 0 0 18 0 2 0 869332016 300105728 7137 33554432000 4194304 5683644 140735243257232 18446744073709551615 268284515787 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/31553/statm: 73268 7137 1870 364 0 8155 0
[pid=31559] ppid=31553 vsize=282828 CPUtime=0.04 cores=1,3,5,7
/proc/31559/stat : 31559 (python) S 31553 31553 30488 0 -1 4202560 875 0 0 0 2 2 0 0 18 0 1 0 869332088 289615872 5639 33554432000 4194304 5683644 140735243257232 18446744073709551615 268272709135 0 0 16781312 33554946 5623753486446373774 0 0 17 7 0 0 0
/proc/31559/statm: 70707 5639 376 364 0 5594 0
[pid=31561] ppid=31559 vsize=1860 CPUtime=11.98 cores=1,3,5,7
/proc/31561/stat : 31561 (clasp-1.3.7-x86) R 31559 31561 31561 0 -1 4202496 460 0 0 0 1198 0 0 0 25 0 1 0 869332088 1904640 205 33554432000 134512640 136139019 4293550816 18446744073709551615 134828800 0 0 16781312 16386 0 0 0 17 3 0 0 0
/proc/31561/statm: 465 205 183 398 0 65 0
[pid=31553/tid=31560] ppid=31551 vsize=293072 CPUtime=0 cores=1,3,5,7
/proc/31553/task/31560/stat : 31560 (python) S 31551 31553 30488 0 -1 4202560 25 931 0 0 0 0 0 0 18 0 2 0 869332088 300105728 7137 33554432000 4194304 5683644 140735243257232 18446744073709551615 268284512689 0 0 16781312 33554434 18446604455031461056 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 12.46
Current children cumulated vsize (KiB) 577760
[startup+25.5012 s]
/proc/loadavg: 2.11 2.03 1.35 3/738 31565
/proc/meminfo: memFree=25714316/32950928 swapFree=43925852/67111528
[pid=31553] ppid=31551 vsize=293072 CPUtime=0.44 cores=1,3,5,7
/proc/31553/stat : 31553 (python) S 31551 31553 30488 0 -1 4202496 9631 931 1 0 33 11 0 0 18 0 2 0 869332016 300105728 7137 33554432000 4194304 5683644 140735243257232 18446744073709551615 268284515787 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/31553/statm: 73268 7137 1870 364 0 8155 0
[pid=31559] ppid=31553 vsize=282828 CPUtime=0.11 cores=1,3,5,7
/proc/31559/stat : 31559 (python) S 31553 31553 30488 0 -1 4202560 882 0 0 0 5 6 0 0 18 0 1 0 869332088 289615872 5639 33554432000 4194304 5683644 140735243257232 18446744073709551615 268272709135 0 0 16781312 33554946 5623753486446373774 0 0 17 7 0 0 0
/proc/31559/statm: 70707 5639 376 364 0 5594 0
[pid=31561] ppid=31559 vsize=1860 CPUtime=24.78 cores=1,3,5,7
/proc/31561/stat : 31561 (clasp-1.3.7-x86) R 31559 31561 31561 0 -1 4202496 460 0 0 0 2478 0 0 0 25 0 1 0 869332088 1904640 205 33554432000 134512640 136139019 4293550816 18446744073709551615 134883817 0 0 16781312 16386 0 0 0 17 3 0 0 0
/proc/31561/statm: 465 205 183 398 0 65 0
[pid=31553/tid=31560] ppid=31551 vsize=293072 CPUtime=0 cores=1,3,5,7
/proc/31553/task/31560/stat : 31560 (python) S 31551 31553 30488 0 -1 4202560 25 931 0 0 0 0 0 0 18 0 2 0 869332088 300105728 7137 33554432000 4194304 5683644 140735243257232 18446744073709551615 268284512689 0 0 16781312 33554434 18446604455031461056 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 25.33
Current children cumulated vsize (KiB) 577760
[startup+51.1006 s]
/proc/loadavg: 2.07 2.02 1.37 3/742 31570
/proc/meminfo: memFree=25683360/32950928 swapFree=43925852/67111528
[pid=31553] ppid=31551 vsize=303868 CPUtime=0.47 cores=1,3,5,7
/proc/31553/stat : 31553 (python) S 31551 31553 30488 0 -1 4202496 10494 931 1 0 35 12 0 0 20 0 3 0 869332016 311160832 7264 33554432000 4194304 5683644 140735243257232 18446744073709551615 268284515787 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/31553/statm: 75967 7264 1873 364 0 10851 0
[pid=31559] ppid=31553 vsize=293072 CPUtime=0.23 cores=1,3,5,7
/proc/31559/stat : 31559 (python) S 31553 31553 30488 0 -1 4202560 1113 0 0 0 10 13 0 0 19 0 2 0 869332088 300105728 5680 33554432000 4194304 5683644 140735243257232 18446744073709551615 268284515787 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/31559/statm: 73268 5680 412 364 0 8155 0
[pid=31561] ppid=31559 vsize=1860 CPUtime=47.24 cores=1,3,5,7
/proc/31561/stat : 31561 (clasp-1.3.7-x86) T 31559 31561 31561 0 -1 4202496 460 0 0 0 4724 0 0 0 25 0 1 0 869332088 1904640 205 33554432000 134512640 136139019 4293550816 18446744073709551615 134622001 0 0 16781312 16386 18446744071562691360 0 0 17 3 0 0 0
/proc/31561/statm: 465 205 183 398 0 65 0
[pid=31559/tid=31567] ppid=31553 vsize=293072 CPUtime=0 cores=1,3,5,7
/proc/31559/task/31567/stat : 31567 (python) S 31553 31553 30488 0 -1 4202560 43 0 0 0 0 0 0 0 19 0 2 0 869336813 300105728 5680 33554432000 4194304 5683644 140735243257232 18446744073709551615 268284512689 0 0 16781312 33554946 18446604466681979904 0 0 -1 7 0 0 0
[pid=31568] ppid=31553 vsize=293624 CPUtime=0.03 cores=1,3,5,7
/proc/31568/stat : 31568 (python) S 31553 31553 30488 0 -1 4202560 964 0 0 0 2 1 0 0 15 0 1 0 869336815 300670976 5761 33554432000 4194304 5683644 140735243257232 18446744073709551615 268272709190 0 0 16781312 33554946 3599253658576879616 0 0 17 1 0 0 0
/proc/31568/statm: 73406 5761 374 364 0 8290 0
[pid=31570] ppid=31568 vsize=27156 CPUtime=3.1 cores=1,3,5,7
/proc/31570/stat : 31570 (scip-2.0.1.linu) R 31568 31570 31570 0 -1 4202496 5978 0 0 0 245 65 0 0 18 0 1 0 869336815 27807744 4496 33554432000 4194304 13684479 140735898915344 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/31570/statm: 6789 4496 804 2317 0 4467 0
[pid=31553/tid=31560] ppid=31551 vsize=303868 CPUtime=0 cores=1,3,5,7
/proc/31553/task/31560/stat : 31560 (python) S 31551 31553 30488 0 -1 4202560 25 931 0 0 0 0 0 0 18 0 3 0 869332088 311160832 7264 33554432000 4194304 5683644 140735243257232 18446744073709551615 268284512689 0 0 16781312 33554434 18446604455031461056 0 0 -1 1 0 0 0
[pid=31553/tid=31569] ppid=31551 vsize=303868 CPUtime=0 cores=1,3,5,7
/proc/31553/task/31569/stat : 31569 (python) S 31551 31553 30488 0 -1 4202560 31 931 0 0 0 0 0 0 20 0 3 0 869336815 311160832 7264 33554432000 4194304 5683644 140735243257232 18446744073709551615 268284512689 0 0 16781312 33554434 18446604455031461056 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 919580
[startup+102.323 s]
/proc/loadavg: 2.07 2.03 1.40 3/746 31575
/proc/meminfo: memFree=25613040/32950928 swapFree=43925852/67111528
[pid=31553] ppid=31551 vsize=303868 CPUtime=0.47 cores=1,3,5,7
/proc/31553/stat : 31553 (python) S 31551 31553 30488 0 -1 4202496 10494 931 1 0 35 12 0 0 20 0 3 0 869332016 311160832 7264 33554432000 4194304 5683644 140735243257232 18446744073709551615 268284515787 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/31553/statm: 75967 7264 1873 364 0 10851 0
[pid=31559] ppid=31553 vsize=293072 CPUtime=0.23 cores=1,3,5,7
/proc/31559/stat : 31559 (python) S 31553 31553 30488 0 -1 4202560 1113 0 0 0 10 13 0 0 19 0 2 0 869332088 300105728 5680 33554432000 4194304 5683644 140735243257232 18446744073709551615 268284515787 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/31559/statm: 73268 5680 412 364 0 8155 0
[pid=31561] ppid=31559 vsize=1860 CPUtime=47.24 cores=1,3,5,7
/proc/31561/stat : 31561 (clasp-1.3.7-x86) T 31559 31561 31561 0 -1 4202496 460 0 0 0 4724 0 0 0 25 0 1 0 869332088 1904640 205 33554432000 134512640 136139019 4293550816 18446744073709551615 134622001 0 0 16781312 16386 18446744071562691360 0 0 17 3 0 0 0
/proc/31561/statm: 465 205 183 398 0 65 0
[pid=31559/tid=31567] ppid=31553 vsize=293072 CPUtime=0 cores=1,3,5,7
/proc/31559/task/31567/stat : 31567 (python) S 31553 31553 30488 0 -1 4202560 43 0 0 0 0 0 0 0 19 0 2 0 869336813 300105728 5680 33554432000 4194304 5683644 140735243257232 18446744073709551615 268284512689 0 0 16781312 33554946 18446604466681979904 0 0 -1 7 0 0 0
[pid=31568] ppid=31553 vsize=293988 CPUtime=0.56 cores=1,3,5,7
/proc/31568/stat : 31568 (python) S 31553 31553 30488 0 -1 4202560 1151 0 0 0 34 22 0 0 15 0 1 0 869336815 301043712 5859 33554432000 4194304 5683644 140735243257232 18446744073709551615 268272709190 0 0 16781312 33554946 308676542194515968 0 0 17 7 0 0 0
/proc/31568/statm: 73497 5859 376 364 0 8381 0
[pid=31570] ppid=31568 vsize=67964 CPUtime=54.32 cores=1,3,5,7
/proc/31570/stat : 31570 (scip-2.0.1.linu) R 31568 31570 31570 0 -1 4202496 16202 0 0 0 4485 947 0 0 18 0 1 0 869336815 69595136 14720 33554432000 4194304 13684479 140735898915344 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/31570/statm: 16991 14720 804 2317 0 14669 0
[pid=31553/tid=31560] ppid=31551 vsize=303868 CPUtime=0 cores=1,3,5,7
/proc/31553/task/31560/stat : 31560 (python) S 31551 31553 30488 0 -1 4202560 25 931 0 0 0 0 0 0 18 0 3 0 869332088 311160832 7264 33554432000 4194304 5683644 140735243257232 18446744073709551615 268284512689 0 0 16781312 33554434 18446604455031461056 0 0 -1 1 0 0 0
[pid=31553/tid=31569] ppid=31551 vsize=303868 CPUtime=0 cores=1,3,5,7
/proc/31553/task/31569/stat : 31569 (python) S 31551 31553 30488 0 -1 4202560 31 931 0 0 0 0 0 0 20 0 3 0 869336815 311160832 7264 33554432000 4194304 5683644 140735243257232 18446744073709551615 268284512689 0 0 16781312 33554434 18446604455031461056 0 0 -1 3 0 0 0
################
# More data... #
################
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+489.402 s]
/proc/loadavg: 2.09 2.07 1.63 4/837 31917
/proc/meminfo: memFree=21009996/32950928 swapFree=43925852/67111528
[pid=31553] ppid=31551 vsize=355680 CPUtime=0.64 cores=1,3,5,7
/proc/31553/stat : 31553 (python) S 31551 31553 30488 0 -1 4202496 14914 931 1 0 51 13 0 0 20 0 8 0 869332016 364216320 7434 33554432000 4194304 5683644 140735243257232 18446744073709551615 268284515787 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/31553/statm: 88920 7434 1883 364 0 23789 0
[pid=31559] ppid=31553 vsize=293072 CPUtime=0.48 cores=1,3,5,7
/proc/31559/stat : 31559 (python) S 31553 31553 30488 0 -1 4202560 1142 0 0 0 22 26 0 0 18 0 2 0 869332088 300105728 5681 33554432000 4194304 5683644 140735243257232 18446744073709551615 268284515787 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/31559/statm: 73268 5681 413 364 0 8155 0
[pid=31561] ppid=31559 vsize=1860 CPUtime=92.48 cores=1,3,5,7
/proc/31561/stat : 31561 (clasp-1.3.7-x86) T 31559 31561 31561 0 -1 4202496 461 0 0 0 9248 0 0 0 25 0 1 0 869332088 1904640 206 33554432000 134512640 136139019 4293550816 18446744073709551615 134883821 0 0 16781312 16386 18446744071562691360 0 0 17 3 0 0 0
/proc/31561/statm: 465 206 183 398 0 65 0
[pid=31559/tid=31567] ppid=31553 vsize=293072 CPUtime=0 cores=1,3,5,7
/proc/31559/task/31567/stat : 31567 (python) S 31553 31553 30488 0 -1 4202560 44 0 0 0 0 0 0 0 18 0 2 0 869336813 300105728 5681 33554432000 4194304 5683644 140735243257232 18446744073709551615 268284512689 0 0 16781312 33554946 18446604466681979904 0 0 -1 7 0 0 0
[pid=31568] ppid=31553 vsize=293988 CPUtime=0.58 cores=1,3,5,7
/proc/31568/stat : 31568 (python) S 31553 31553 30488 0 -1 4202560 1314 0 0 0 35 23 0 0 17 0 2 0 869336815 301043712 5885 33554432000 4194304 5683644 140735243257232 18446744073709551615 268284515787 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/31568/statm: 73497 5885 399 364 0 8381 0
[pid=31570] ppid=31568 vsize=69628 CPUtime=55.51 cores=1,3,5,7
/proc/31570/stat : 31570 (scip-2.0.1.linu) T 31568 31570 31570 0 -1 4202496 16590 0 0 0 4583 968 0 0 18 0 1 0 869336815 71299072 15108 33554432000 4194304 13684479 140735898915344 18446744073709551615 4773552 0 0 16781312 2 18446744071562691360 0 0 17 3 0 0 0
/proc/31570/statm: 17407 15108 804 2317 0 15085 0
[pid=31568/tid=31576] ppid=31553 vsize=293988 CPUtime=0 cores=1,3,5,7
/proc/31568/task/31576/stat : 31576 (python) S 31553 31553 30488 0 -1 4202560 50 0 0 0 0 0 0 0 17 0 2 0 869342368 301043712 5885 33554432000 4194304 5683644 140735243257232 18446744073709551615 268284512689 0 0 16781312 33554946 18446604458703079296 0 0 -1 7 0 0 0
[pid=31577] ppid=31553 vsize=303576 CPUtime=0.52 cores=1,3,5,7
/proc/31577/stat : 31577 (python) S 31553 31553 30488 0 -1 4202560 1119 0 0 0 25 27 0 0 15 0 2 0 869342371 310861824 5713 33554432000 4194304 5683644 140735243257232 18446744073709551615 268284515787 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/31577/statm: 75894 5713 397 364 0 10775 0
[pid=31579] ppid=31577 vsize=143976 CPUtime=96.78 cores=1,3,5,7
/proc/31579/stat : 31579 (wbo1.4a) T 31577 31579 31579 0 -1 4202496 35727 0 0 0 9543 135 0 0 25 0 1 0 869342371 147431424 35468 33554432000 134512640 135751879 4294789792 18446744073709551615 135270609 0 0 16781312 3 18446744071562691360 0 0 17 5 0 0 0
/proc/31579/statm: 35994 35468 143 303 0 35689 0
[pid=31577/tid=31606] ppid=31553 vsize=303576 CPUtime=0 cores=1,3,5,7
/proc/31577/task/31606/stat : 31606 (python) S 31553 31553 30488 0 -1 4202560 46 0 0 0 0 0 0 0 15 0 2 0 869347501 310861824 5713 33554432000 4194304 5683644 140735243257232 18446744073709551615 268284512689 0 0 16781312 33554946 18446604465144464384 0 0 -1 5 0 0 0
[pid=31607] ppid=31553 vsize=314336 CPUtime=0.63 cores=1,3,5,7
/proc/31607/stat : 31607 (python) S 31553 31553 30488 0 -1 4202560 1273 0 0 0 40 23 0 0 17 0 2 0 869347504 321880064 5828 33554432000 4194304 5683644 140735243257232 18446744073709551615 268284515787 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/31607/statm: 78584 5828 398 364 0 13462 0
[pid=31609] ppid=31607 vsize=68448 CPUtime=55.5 cores=1,3,5,7
/proc/31609/stat : 31609 (scip-2.0.1.linu) T 31607 31609 31609 0 -1 4202496 16129 0 0 0 4830 720 0 0 20 0 1 0 869347504 70090752 14041 33554432000 4194304 15243407 140733850457824 18446744073709551615 13277498 0 0 16781312 2 18446744071562691360 0 0 17 5 0 0 0
/proc/31609/statm: 17112 14041 929 2698 0 14407 0
[pid=31607/tid=31703] ppid=31553 vsize=314336 CPUtime=0 cores=1,3,5,7
/proc/31607/task/31703/stat : 31703 (python) S 31553 31553 30488 0 -1 4202560 49 0 0 0 0 0 0 0 17 0 2 0 869353055 321880064 5828 33554432000 4194304 5683644 140735243257232 18446744073709551615 268284512689 0 0 16781312 33554946 18446604458170487040 0 0 -1 7 0 0 0
[pid=31704] ppid=31553 vsize=324592 CPUtime=0.25 cores=1,3,5,7
/proc/31704/stat : 31704 (python) S 31553 31553 30488 0 -1 4202560 1117 0 0 0 12 13 0 0 18 0 2 0 869353058 332382208 5850 33554432000 4194304 5683644 140735243257232 18446744073709551615 268284515787 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/31704/statm: 81148 5850 397 364 0 16023 0
[pid=31706] ppid=31704 vsize=8547544 CPUtime=47.88 cores=1,3,5,7
/proc/31706/stat : 31706 (java) T 31704 31706 31706 0 -1 4202496 87978 0 1 0 4771 17 0 0 18 0 19 0 869353058 8752685056 58562 33554432000 1073741824 1073778376 140735449478304 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/31706/statm: 2136886 58562 2227 9 0 2127627 0
[pid=31706/tid=31707] ppid=31704 vsize=8547544 CPUtime=46.08 cores=1,3,5,7
/proc/31706/task/31707/stat : 31707 (java) T 31704 31706 31706 0 -1 4202560 55190 0 1 0 4600 8 0 0 25 0 19 0 869353059 8752685056 58562 33554432000 1073741824 1073778376 140735449478304 18446744073709551615 46912505558198 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=31706/tid=31708] ppid=31704 vsize=8547544 CPUtime=0.08 cores=1,3,5,7
/proc/31706/task/31708/stat : 31708 (java) T 31704 31706 31706 0 -1 4202560 3694 0 0 0 8 0 0 0 15 0 19 0 869353059 8752685056 58562 33554432000 1073741824 1073778376 140735449478304 18446744073709551615 268284504985 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=31706/tid=31709] ppid=31704 vsize=8547544 CPUtime=0.08 cores=1,3,5,7
/proc/31706/task/31709/stat : 31709 (java) T 31704 31706 31706 0 -1 4202560 2746 0 0 0 8 0 0 0 15 0 19 0 869353059 8752685056 58562 33554432000 1073741824 1073778376 140735449478304 18446744073709551615 268284504985 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=31706/tid=31710] ppid=31704 vsize=8547544 CPUtime=0.06 cores=1,3,5,7
/proc/31706/task/31710/stat : 31710 (java) T 31704 31706 31706 0 -1 4202560 2309 0 0 0 6 0 0 0 15 0 19 0 869353059 8752685056 58562 33554432000 1073741824 1073778376 140735449478304 18446744073709551615 268284504985 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=31706/tid=31711] ppid=31704 vsize=8547544 CPUtime=0.07 cores=1,3,5,7
/proc/31706/task/31711/stat : 31711 (java) T 31704 31706 31706 0 -1 4202560 2340 0 0 0 7 0 0 0 15 0 19 0 869353059 8752685056 58562 33554432000 1073741824 1073778376 140735449478304 18446744073709551615 268284504985 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=31706/tid=31712] ppid=31704 vsize=8547544 CPUtime=0.06 cores=1,3,5,7
/proc/31706/task/31712/stat : 31712 (java) T 31704 31706 31706 0 -1 4202560 1833 0 0 0 6 0 0 0 15 0 19 0 869353059 8752685056 58562 33554432000 1073741824 1073778376 140735449478304 18446744073709551615 268284504985 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=31706/tid=31713] ppid=31704 vsize=8547544 CPUtime=0.06 cores=1,3,5,7
/proc/31706/task/31713/stat : 31713 (java) T 31704 31706 31706 0 -1 4202560 2136 0 0 0 6 0 0 0 15 0 19 0 869353059 8752685056 58562 33554432000 1073741824 1073778376 140735449478304 18446744073709551615 268284504985 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=31706/tid=31714] ppid=31704 vsize=8547544 CPUtime=0.06 cores=1,3,5,7
/proc/31706/task/31714/stat : 31714 (java) T 31704 31706 31706 0 -1 4202560 1989 0 0 0 6 0 0 0 15 0 19 0 869353059 8752685056 58562 33554432000 1073741824 1073778376 140735449478304 18446744073709551615 268284504985 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=31706/tid=31715] ppid=31704 vsize=8547544 CPUtime=0.07 cores=1,3,5,7
/proc/31706/task/31715/stat : 31715 (java) T 31704 31706 31706 0 -1 4202560 3214 0 0 0 7 0 0 0 15 0 19 0 869353059 8752685056 58562 33554432000 1073741824 1073778376 140735449478304 18446744073709551615 268284504985 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=31706/tid=31716] ppid=31704 vsize=8547544 CPUtime=0.02 cores=1,3,5,7
/proc/31706/task/31716/stat : 31716 (java) T 31704 31706 31706 0 -1 4202560 74 0 0 0 1 1 0 0 15 0 19 0 869353060 8752685056 58562 33554432000 1073741824 1073778376 140735449478304 18446744073709551615 268284505600 0 0 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=31706/tid=31717] ppid=31704 vsize=8547544 CPUtime=0 cores=1,3,5,7
/proc/31706/task/31717/stat : 31717 (java) T 31704 31706 31706 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 869353061 8752685056 58562 33554432000 1073741824 1073778376 140735449478304 18446744073709551615 268284504985 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=31706/tid=31718] ppid=31704 vsize=8547544 CPUtime=0 cores=1,3,5,7
/proc/31706/task/31718/stat : 31718 (java) T 31704 31706 31706 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 869353061 8752685056 58562 33554432000 1073741824 1073778376 140735449478304 18446744073709551615 268284504985 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=31706/tid=31719] ppid=31704 vsize=8547544 CPUtime=0 cores=1,3,5,7
/proc/31706/task/31719/stat : 31719 (java) T 31704 31706 31706 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869353063 8752685056 58562 33554432000 1073741824 1073778376 140735449478304 18446744073709551615 268284512689 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=31706/tid=31720] ppid=31704 vsize=8547544 CPUtime=0.56 cores=1,3,5,7
/proc/31706/task/31720/stat : 31720 (java) T 31704 31706 31706 0 -1 4202560 5664 0 0 0 56 0 0 0 15 0 19 0 869353063 8752685056 58562 33554432000 1073741824 1073778376 140735449478304 18446744073709551615 268284504985 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=31706/tid=31721] ppid=31704 vsize=8547544 CPUtime=0.52 cores=1,3,5,7
/proc/31706/task/31721/stat : 31721 (java) T 31704 31706 31706 0 -1 4202560 5394 0 0 0 52 0 0 0 15 0 19 0 869353063 8752685056 58562 33554432000 1073741824 1073778376 140735449478304 18446744073709551615 268284504985 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=31706/tid=31722] ppid=31704 vsize=8547544 CPUtime=0 cores=1,3,5,7
/proc/31706/task/31722/stat : 31722 (java) T 31704 31706 31706 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869353063 8752685056 58562 33554432000 1073741824 1073778376 140735449478304 18446744073709551615 268284504985 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=31706/tid=31723] ppid=31704 vsize=8547544 CPUtime=0 cores=1,3,5,7
/proc/31706/task/31723/stat : 31723 (java) T 31704 31706 31706 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 869353063 8752685056 58562 33554432000 1073741824 1073778376 140735449478304 18446744073709551615 268284505600 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=31706/tid=31724] ppid=31704 vsize=8547544 CPUtime=0 cores=1,3,5,7
/proc/31706/task/31724/stat : 31724 (java) T 31704 31706 31706 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 869353070 8752685056 58562 33554432000 1073741824 1073778376 140735449478304 18446744073709551615 268284505600 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=31704/tid=31750] ppid=31553 vsize=324592 CPUtime=0 cores=1,3,5,7
/proc/31704/task/31750/stat : 31750 (python) S 31553 31553 30488 0 -1 4202560 46 0 0 0 0 0 0 0 19 0 2 0 869357699 332382208 5850 33554432000 4194304 5683644 140735243257232 18446744073709551615 268284512689 0 0 16781312 33554946 18446604462743804096 0 0 -1 7 0 0 0
[pid=31751] ppid=31553 vsize=335008 CPUtime=0.72 cores=1,3,5,7
/proc/31751/stat : 31751 (python) S 31553 31553 30488 0 -1 4202560 1176 0 0 0 36 36 0 0 19 0 2 0 869357702 343048192 5875 33554432000 4194304 5683644 140735243257232 18446744073709551615 268284515787 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/31751/statm: 83752 5875 397 364 0 18624 0
[pid=31753] ppid=31751 vsize=21032 CPUtime=141.73 cores=1,3,5,7
/proc/31753/stat : 31753 (bsolo_pb10) T 31751 31753 31753 0 -1 4202496 1126 0 0 0 14141 32 0 0 25 0 1 0 869357702 21536768 856 33554432000 134512640 137138936 4292149360 18446744073709551615 134542339 0 0 16781312 16384 18446744071562691360 0 0 17 3 0 0 0
/proc/31753/statm: 5258 856 192 642 0 4614 0
[pid=31751/tid=31875] ppid=31553 vsize=335008 CPUtime=0 cores=1,3,5,7
/proc/31751/task/31875/stat : 31875 (python) S 31553 31553 30488 0 -1 4202560 45 0 0 0 0 0 0 0 19 0 2 0 869371876 343048192 5875 33554432000 4194304 5683644 140735243257232 18446744073709551615 268284512689 0 0 16781312 33554946 18446604459609777216 0 0 -1 7 0 0 0
[pid=31903] ppid=31553 vsize=345436 CPUtime=0 cores=1,3,5,7
/proc/31903/stat : 31903 (python) S 31553 31553 30488 0 -1 4202560 776 0 0 0 0 0 0 0 19 0 1 0 869380955 353726464 5893 33554432000 4194304 5683644 140735243257232 18446744073709551615 268272709190 0 0 16781312 33554946 11025967307020009734 0 0 17 1 0 0 0
/proc/31903/statm: 86359 5893 346 364 0 21228 0
[pid=31905] ppid=31903 vsize=8531048 CPUtime=0.05 cores=1,3,5,7
/proc/31905/stat : 31905 (java) S 31903 31905 31905 0 -1 4202496 4077 0 1 0 4 1 0 0 20 0 18 0 869380956 8735793152 3531 33554432000 1073741824 1073778376 140736159312864 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/31905/statm: 2132762 3531 1735 9 0 2123503 0
[pid=31905/tid=31906] ppid=31903 vsize=8531048 CPUtime=0.03 cores=1,3,5,7
/proc/31905/task/31906/stat : 31906 (java) R 31903 31905 31905 0 -1 4202560 2689 0 1 0 3 0 0 0 25 0 18 0 869380956 8735793152 3564 33554432000 1073741824 1073778376 140736159312864 18446744073709551615 47959590186083 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=31905/tid=31907] ppid=31903 vsize=8531048 CPUtime=0 cores=1,3,5,7
/proc/31905/task/31907/stat : 31907 (java) S 31903 31905 31905 0 -1 4202560 2 0 0 0 0 0 0 0 22 0 18 0 869380957 8735793152 3565 33554432000 1073741824 1073778376 140736159312864 18446744073709551615 268284504985 0 4 0 16800975 18446604460152322752 0 0 -1 5 0 0 0
[pid=31905/tid=31908] ppid=31903 vsize=8531048 CPUtime=0 cores=1,3,5,7
/proc/31905/task/31908/stat : 31908 (java) S 31903 31905 31905 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 18 0 869380957 8735793152 3567 33554432000 1073741824 1073778376 140736159312864 18446744073709551615 268284504985 0 4 0 16800975 18446604460152322752 0 0 -1 5 0 0 0
[pid=31905/tid=31909] ppid=31903 vsize=8531048 CPUtime=0 cores=1,3,5,7
/proc/31905/task/31909/stat : 31909 (java) S 31903 31905 31905 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 18 0 869380957 8735793152 3568 33554432000 1073741824 1073778376 140736159312864 18446744073709551615 268284504985 0 4 0 16800975 18446604460152322752 0 0 -1 5 0 0 0
[pid=31905/tid=31910] ppid=31903 vsize=8531048 CPUtime=0 cores=1,3,5,7
/proc/31905/task/31910/stat : 31910 (java) S 31903 31905 31905 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 869380957 8735793152 3570 33554432000 1073741824 1073778376 140736159312864 18446744073709551615 268284504985 0 4 0 16800975 18446604460152322752 0 0 -1 3 0 0 0
[pid=31905/tid=31911] ppid=31903 vsize=8531048 CPUtime=0 cores=1,3,5,7
/proc/31905/task/31911/stat : 31911 (java) S 31903 31905 31905 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 869380957 8735793152 3571 33554432000 1073741824 1073778376 140736159312864 18446744073709551615 268284504985 0 4 0 16800975 18446604460152322752 0 0 -1 3 0 0 0
[pid=31905/tid=31912] ppid=31903 vsize=8531180 CPUtime=0 cores=1,3,5,7
/proc/31905/task/31912/stat : 31912 (java) S 31903 31905 31905 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869380957 8735928320 3575 33554432000 1073741824 1073778376 140736159312864 18446744073709551615 268284504985 0 4 0 16800975 18446604460152322752 0 0 -1 3 0 0 0
[pid=31905/tid=31913] ppid=31903 vsize=8531180 CPUtime=0 cores=1,3,5,7
/proc/31905/task/31913/stat : 31913 (java) S 31903 31905 31905 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869380957 8735928320 3576 33554432000 1073741824 1073778376 140736159312864 18446744073709551615 268284504985 0 4 0 16800975 18446604460152322752 0 0 -1 3 0 0 0
[pid=31905/tid=31914] ppid=31903 vsize=8531180 CPUtime=0 cores=1,3,5,7
/proc/31905/task/31914/stat : 31914 (java) S 31903 31905 31905 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869380957 8735928320 3577 33554432000 1073741824 1073778376 140736159312864 18446744073709551615 268284504985 0 4 0 16800975 18446604460152322752 0 0 -1 3 0 0 0
[pid=31905/tid=31915] ppid=31903 vsize=8531180 CPUtime=0 cores=1,3,5,7
/proc/31905/task/31915/stat : 31915 (java) S 31903 31905 31905 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 869380958 8735928320 3578 33554432000 1073741824 1073778376 140736159312864 18446744073709551615 268284505600 0 0 0 16800975 18446604460152322752 0 0 -1 5 0 0 0
[pid=31905/tid=31916] ppid=31903 vsize=8531180 CPUtime=0 cores=1,3,5,7
/proc/31905/task/31916/stat : 31916 (java) S 31903 31905 31905 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 869380958 8735928320 3579 33554432000 1073741824 1073778376 140736159312864 18446744073709551615 268284504985 0 4 0 16800975 18446604460152322752 0 0 -1 5 0 0 0
[pid=31905/tid=31917] ppid=31903 vsize=8531180 CPUtime=0 cores=1,3,5,7
/proc/31905/task/31917/stat : 31917 (java) S 31903 31905 31905 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 18 0 869380958 8735928320 3579 33554432000 1073741824 1073778376 140736159312864 18446744073709551615 268284504985 0 4 0 16800975 18446604460152322752 0 0 -1 3 0 0 0
[pid=31905/tid=31918] ppid=31903 vsize=8531180 CPUtime=0 cores=1,3,5,7
/proc/31905/task/31918/stat : 31918 (java) S 31903 31905 31905 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869380960 8735928320 3581 33554432000 1073741824 1073778376 140736159312864 18446744073709551615 268284512689 0 4 0 16800975 18446604460152322752 0 0 -1 5 0 0 0
[pid=31905/tid=31919] ppid=31903 vsize=8531180 CPUtime=0 cores=1,3,5,7
/proc/31905/task/31919/stat : 31919 (java) S 31903 31905 31905 0 -1 4202560 22 0 0 0 0 0 0 0 25 0 18 0 869380960 8735928320 3581 33554432000 1073741824 1073778376 140736159312864 18446744073709551615 268284504985 0 4 0 16800975 18446604460152322752 0 0 -1 5 0 0 0
[pid=31905/tid=31920] ppid=31903 vsize=8531180 CPUtime=0 cores=1,3,5,7
/proc/31905/task/31920/stat : 31920 (java) S 31903 31905 31905 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 869380960 8735928320 3581 33554432000 1073741824 1073778376 140736159312864 18446744073709551615 268284504985 0 4 0 16800975 18446604460152322752 0 0 -1 5 0 0 0
[pid=31905/tid=31921] ppid=31903 vsize=8531180 CPUtime=0 cores=1,3,5,7
/proc/31905/task/31921/stat : 31921 (java) S 31903 31905 31905 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869380960 8735928320 3581 33554432000 1073741824 1073778376 140736159312864 18446744073709551615 268284504985 0 4 0 16800975 18446604460152322752 0 0 -1 5 0 0 0
[pid=31905/tid=31922] ppid=31903 vsize=8531180 CPUtime=0 cores=1,3,5,7
/proc/31905/task/31922/stat : 31922 (java) S 31903 31905 31905 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869380960 8735928320 3581 33554432000 1073741824 1073778376 140736159312864 18446744073709551615 268284505600 0 4 0 16800975 18446604460152322752 0 0 -1 5 0 0 0
[pid=31553/tid=31560] ppid=31551 vsize=355680 CPUtime=0 cores=1,3,5,7
/proc/31553/task/31560/stat : 31560 (python) S 31551 31553 30488 0 -1 4202560 30 931 0 0 0 0 0 0 18 0 8 0 869332088 364216320 7434 33554432000 4194304 5683644 140735243257232 18446744073709551615 268284512689 0 0 16781312 33554434 18446604455031461056 0 0 -1 1 0 0 0
[pid=31553/tid=31569] ppid=31551 vsize=355680 CPUtime=0 cores=1,3,5,7
/proc/31553/task/31569/stat : 31569 (python) S 31551 31553 30488 0 -1 4202560 31 931 0 0 0 0 0 0 20 0 8 0 869336815 364216320 7434 33554432000 4194304 5683644 140735243257232 18446744073709551615 268284512689 0 0 16781312 33554434 18446604455031461056 0 0 -1 3 0 0 0
[pid=31553/tid=31578] ppid=31551 vsize=355680 CPUtime=0 cores=1,3,5,7
/proc/31553/task/31578/stat : 31578 (python) S 31551 31553 30488 0 -1 4202560 31 931 0 0 0 0 0 0 18 0 8 0 869342371 364216320 7434 33554432000 4194304 5683644 140735243257232 18446744073709551615 268284512689 0 0 16781312 33554434 18446604455031461056 0 0 -1 3 0 0 0
[pid=31553/tid=31608] ppid=31551 vsize=355680 CPUtime=0 cores=1,3,5,7
/proc/31553/task/31608/stat : 31608 (python) S 31551 31553 30488 0 -1 4202560 35 931 0 0 0 0 0 0 20 0 8 0 869347504 364216320 7434 33554432000 4194304 5683644 140735243257232 18446744073709551615 268284512689 0 0 16781312 33554434 18446604455031461056 0 0 -1 5 0 0 0
[pid=31553/tid=31705] ppid=31551 vsize=355680 CPUtime=0 cores=1,3,5,7
/proc/31553/task/31705/stat : 31705 (python) S 31551 31553 30488 0 -1 4202560 30 931 0 0 0 0 0 0 20 0 8 0 869353058 364216320 7434 33554432000 4194304 5683644 140735243257232 18446744073709551615 268284512689 0 0 16781312 33554434 18446604455031461056 0 0 -1 7 0 0 0
[pid=31553/tid=31752] ppid=31551 vsize=355680 CPUtime=0 cores=1,3,5,7
/proc/31553/task/31752/stat : 31752 (python) S 31551 31553 30488 0 -1 4202560 30 931 0 0 0 0 0 0 20 0 8 0 869357702 364216320 7434 33554432000 4194304 5683644 140735243257232 18446744073709551615 268284512689 0 0 16781312 33554434 18446604455031461056 0 0 -1 1 0 0 0
[pid=31553/tid=31904] ppid=31551 vsize=355680 CPUtime=0 cores=1,3,5,7
/proc/31553/task/31904/stat : 31904 (python) S 31551 31553 30488 0 -1 4202560 32 931 0 0 0 0 0 0 20 0 8 0 869380956 364216320 7434 33554432000 4194304 5683644 140735243257232 18446744073709551615 268284512689 0 0 16781312 33554434 18446604455031461056 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 493.75
Current children cumulated vsize (KiB) 19949224
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 31553 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=514921
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=133979
# CPU time returned by wait4() is 0.6489
# while last known CPU time is 493.75
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 489.504
CPU time (s): 493.75
CPU user time (s): 473.41
CPU system time (s): 20.34
CPU usage (%): 100.867
Max. virtual memory (cumulated for all children) (KiB): 19949224
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.514921
system time used= 0.133979
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15849
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= 2879
involuntary context switches= 21
runsolver used 3.83342 second user time and 8.75967 second system time
The end