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-3481717-1307577322/watcher-3481717-1307577322 -o /tmp/evaluation-result-3481717-1307577322/solver-3481717-1307577322 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3481717-1307577322.opb -seed 1537757541 -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: 1.94 2.00 1.30 3/698 1853
/proc/meminfo: memFree=23590104/32951124 swapFree=53733252/67111528
[pid=1853] ppid=1851 vsize=15184 CPUtime=0 cores=1,3,5,7
/proc/1853/stat : 1853 (python) R 1851 1853 1117 0 -1 4202496 705 0 0 0 0 0 0 0 25 0 1 0 869332694 15548416 596 33554432000 4194304 5683644 140733250072704 18446744073709551615 253640520389 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/1853/statm: 3796 600 319 364 0 283 0
[startup+0.0584641 s]
/proc/loadavg: 1.94 2.00 1.30 3/698 1853
/proc/meminfo: memFree=23590104/32951124 swapFree=53733252/67111528
[pid=1853] ppid=1851 vsize=29788 CPUtime=0.03 cores=1,3,5,7
/proc/1853/stat : 1853 (python) S 1851 1853 1117 0 -1 4202496 1415 0 0 0 3 0 0 0 25 0 1 0 869332694 30502912 1258 33554432000 4194304 5683644 140733250072704 18446744073709551615 253640857600 0 2147483391 16781312 2 18446744071699199166 0 0 17 5 0 0 0
/proc/1853/statm: 7448 1258 443 364 0 818 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 29788
[startup+0.100442 s]
/proc/loadavg: 1.94 2.00 1.30 3/698 1853
/proc/meminfo: memFree=23590104/32951124 swapFree=53733252/67111528
[pid=1853] ppid=1851 vsize=85620 CPUtime=0.06 cores=1,3,5,7
/proc/1853/stat : 1853 (python) S 1851 1853 1117 0 -1 4202496 2665 0 0 0 5 1 0 0 17 0 1 0 869332694 87674880 2382 33554432000 4194304 5683644 140733250072704 18446744073709551615 253640857600 0 2147483391 16781312 2 18446744071699199166 0 0 17 5 0 0 0
/proc/1853/statm: 21405 2382 715 364 0 1622 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 85620
[startup+0.300408 s]
/proc/loadavg: 1.94 2.00 1.30 3/698 1853
/proc/meminfo: memFree=23590104/32951124 swapFree=53733252/67111528
[pid=1853] ppid=1851 vsize=123740 CPUtime=0.15 cores=1,3,5,7
/proc/1853/stat : 1853 (python) S 1851 1853 1117 0 -1 4202496 5358 930 1 0 11 4 0 0 16 0 1 0 869332694 126709760 3744 33554432000 4194304 5683644 140733250072704 18446744073709551615 253640855557 0 2147483391 16781312 2 18446744071699199166 0 0 17 5 0 0 0
/proc/1853/statm: 30935 3744 987 364 0 2767 0
Current children cumulated CPU time (s) 0.15
Current children cumulated vsize (KiB) 123740
[startup+0.707373 s]
/proc/loadavg: 1.94 2.00 1.30 3/698 1853
/proc/meminfo: memFree=23590104/32951124 swapFree=53733252/67111528
[pid=1853] ppid=1851 vsize=282820 CPUtime=0.38 cores=1,3,5,7
/proc/1853/stat : 1853 (python) R 1851 1853 1117 0 -1 4202496 9372 930 1 0 29 9 0 0 16 0 1 0 869332694 289607680 7093 33554432000 4194304 5683644 140733250072704 18446744073709551615 253644297923 0 0 16781312 33554434 0 0 0 17 3 0 0 0
/proc/1853/statm: 70705 7093 1855 364 0 5595 0
Current children cumulated CPU time (s) 0.38
Current children cumulated vsize (KiB) 282820
[startup+1.50121 s]
/proc/loadavg: 1.94 2.00 1.30 3/702 1861
/proc/meminfo: memFree=23564372/32951124 swapFree=53733252/67111528
[pid=1853] ppid=1851 vsize=293076 CPUtime=0.39 cores=1,3,5,7
/proc/1853/stat : 1853 (python) S 1851 1853 1117 0 -1 4202496 9633 930 1 0 30 9 0 0 18 0 2 0 869332694 300109824 7140 33554432000 4194304 5683644 140733250072704 18446744073709551615 253652686283 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/1853/statm: 73269 7140 1870 364 0 8156 0
[pid=1859] ppid=1853 vsize=282832 CPUtime=0 cores=1,3,5,7
/proc/1859/stat : 1859 (python) S 1853 1853 1117 0 -1 4202560 700 0 0 0 0 0 0 0 18 0 1 0 869332767 289619968 5615 33554432000 4194304 5683644 140733250072704 18446744073709551615 253640879631 0 0 16781312 33554946 6359153631001805063 0 0 17 3 0 0 0
/proc/1859/statm: 70708 5615 349 364 0 5595 0
[pid=1861] ppid=1859 vsize=1860 CPUtime=0.77 cores=1,3,5,7
/proc/1861/stat : 1861 (clasp-1.3.7-x86) R 1859 1861 1861 0 -1 4202496 460 0 0 0 77 0 0 0 21 0 1 0 869332767 1904640 207 33554432000 134512640 136139019 4289125392 18446744073709551615 134871089 0 0 16781312 16386 0 0 0 17 5 0 0 0
/proc/1861/statm: 465 207 183 398 0 65 0
[pid=1853/tid=1860] ppid=1851 vsize=293076 CPUtime=0 cores=1,3,5,7
/proc/1853/task/1860/stat : 1860 (python) S 1851 1853 1117 0 -1 4202560 26 930 0 0 0 0 0 0 18 0 2 0 869332767 300109824 7140 33554432000 4194304 5683644 140733250072704 18446744073709551615 253652683185 0 0 16781312 33554434 18446604465796436224 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.16
Current children cumulated vsize (KiB) 577768
[startup+3.1009 s]
/proc/loadavg: 1.94 2.00 1.30 3/702 1861
/proc/meminfo: memFree=23561396/32951124 swapFree=53733252/67111528
[pid=1853] ppid=1851 vsize=293076 CPUtime=0.39 cores=1,3,5,7
/proc/1853/stat : 1853 (python) S 1851 1853 1117 0 -1 4202496 9633 930 1 0 30 9 0 0 18 0 2 0 869332694 300109824 7140 33554432000 4194304 5683644 140733250072704 18446744073709551615 253652686283 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/1853/statm: 73269 7140 1870 364 0 8156 0
[pid=1859] ppid=1853 vsize=282832 CPUtime=0 cores=1,3,5,7
/proc/1859/stat : 1859 (python) S 1853 1853 1117 0 -1 4202560 723 0 0 0 0 0 0 0 18 0 1 0 869332767 289619968 5618 33554432000 4194304 5683644 140733250072704 18446744073709551615 253640879631 0 0 16781312 33554946 6359158166487269639 0 0 17 3 0 0 0
/proc/1859/statm: 70708 5618 352 364 0 5595 0
[pid=1861] ppid=1859 vsize=1860 CPUtime=2.37 cores=1,3,5,7
/proc/1861/stat : 1861 (clasp-1.3.7-x86) R 1859 1861 1861 0 -1 4202496 461 0 0 0 237 0 0 0 25 0 1 0 869332767 1904640 208 33554432000 134512640 136139019 4289125392 18446744073709551615 134832815 0 0 16781312 16386 0 0 0 17 5 0 0 0
/proc/1861/statm: 465 208 183 398 0 65 0
[pid=1853/tid=1860] ppid=1851 vsize=293076 CPUtime=0 cores=1,3,5,7
/proc/1853/task/1860/stat : 1860 (python) S 1851 1853 1117 0 -1 4202560 26 930 0 0 0 0 0 0 18 0 2 0 869332767 300109824 7140 33554432000 4194304 5683644 140733250072704 18446744073709551615 253652683185 0 0 16781312 33554434 18446604465796436224 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.76
Current children cumulated vsize (KiB) 577768
[startup+6.30033 s]
/proc/loadavg: 1.95 2.00 1.31 3/702 1862
/proc/meminfo: memFree=23562796/32951124 swapFree=53733252/67111528
[pid=1853] ppid=1851 vsize=293076 CPUtime=0.39 cores=1,3,5,7
/proc/1853/stat : 1853 (python) S 1851 1853 1117 0 -1 4202496 9633 930 1 0 30 9 0 0 18 0 2 0 869332694 300109824 7140 33554432000 4194304 5683644 140733250072704 18446744073709551615 253652686283 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/1853/statm: 73269 7140 1870 364 0 8156 0
[pid=1859] ppid=1853 vsize=282832 CPUtime=0.01 cores=1,3,5,7
/proc/1859/stat : 1859 (python) S 1853 1853 1117 0 -1 4202560 874 0 0 0 0 1 0 0 18 0 1 0 869332767 289619968 5641 33554432000 4194304 5683644 140733250072704 18446744073709551615 253640879631 0 0 16781312 33554946 6359155898744537351 0 0 17 7 0 0 0
/proc/1859/statm: 70708 5641 375 364 0 5595 0
[pid=1861] ppid=1859 vsize=1860 CPUtime=5.57 cores=1,3,5,7
/proc/1861/stat : 1861 (clasp-1.3.7-x86) R 1859 1861 1861 0 -1 4202496 461 0 0 0 557 0 0 0 25 0 1 0 869332767 1904640 208 33554432000 134512640 136139019 4289125392 18446744073709551615 134608903 0 0 16781312 16386 0 0 0 17 5 0 0 0
/proc/1861/statm: 465 208 183 398 0 65 0
[pid=1853/tid=1860] ppid=1851 vsize=293076 CPUtime=0 cores=1,3,5,7
/proc/1853/task/1860/stat : 1860 (python) S 1851 1853 1117 0 -1 4202560 26 930 0 0 0 0 0 0 18 0 2 0 869332767 300109824 7140 33554432000 4194304 5683644 140733250072704 18446744073709551615 253652683185 0 0 16781312 33554434 18446604465796436224 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 5.97
Current children cumulated vsize (KiB) 577768
[startup+12.7012 s]
/proc/loadavg: 1.95 2.00 1.31 3/702 1862
/proc/meminfo: memFree=23564684/32951124 swapFree=53733252/67111528
[pid=1853] ppid=1851 vsize=293076 CPUtime=0.39 cores=1,3,5,7
/proc/1853/stat : 1853 (python) S 1851 1853 1117 0 -1 4202496 9633 930 1 0 30 9 0 0 18 0 2 0 869332694 300109824 7140 33554432000 4194304 5683644 140733250072704 18446744073709551615 253652686283 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/1853/statm: 73269 7140 1870 364 0 8156 0
[pid=1859] ppid=1853 vsize=282832 CPUtime=0.03 cores=1,3,5,7
/proc/1859/stat : 1859 (python) S 1853 1853 1117 0 -1 4202560 882 0 0 0 1 2 0 0 18 0 1 0 869332767 289619968 5642 33554432000 4194304 5683644 140733250072704 18446744073709551615 253640879631 0 0 16781312 33554946 5623753486446373647 0 0 17 7 0 0 0
/proc/1859/statm: 70708 5642 376 364 0 5595 0
[pid=1861] ppid=1859 vsize=1860 CPUtime=11.97 cores=1,3,5,7
/proc/1861/stat : 1861 (clasp-1.3.7-x86) R 1859 1861 1861 0 -1 4202496 462 0 0 0 1197 0 0 0 25 0 1 0 869332767 1904640 209 33554432000 134512640 136139019 4289125392 18446744073709551615 134831583 0 0 16781312 16386 0 0 0 17 5 0 0 0
/proc/1861/statm: 465 209 183 398 0 65 0
[pid=1853/tid=1860] ppid=1851 vsize=293076 CPUtime=0 cores=1,3,5,7
/proc/1853/task/1860/stat : 1860 (python) S 1851 1853 1117 0 -1 4202560 26 930 0 0 0 0 0 0 18 0 2 0 869332767 300109824 7140 33554432000 4194304 5683644 140733250072704 18446744073709551615 253652683185 0 0 16781312 33554434 18446604465796436224 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 12.39
Current children cumulated vsize (KiB) 577768
[startup+25.5008 s]
/proc/loadavg: 2.04 2.02 1.33 3/702 1862
/proc/meminfo: memFree=23564572/32951124 swapFree=53733252/67111528
[pid=1853] ppid=1851 vsize=293076 CPUtime=0.39 cores=1,3,5,7
/proc/1853/stat : 1853 (python) S 1851 1853 1117 0 -1 4202496 9633 930 1 0 30 9 0 0 18 0 2 0 869332694 300109824 7140 33554432000 4194304 5683644 140733250072704 18446744073709551615 253652686283 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/1853/statm: 73269 7140 1870 364 0 8156 0
[pid=1859] ppid=1853 vsize=282832 CPUtime=0.11 cores=1,3,5,7
/proc/1859/stat : 1859 (python) S 1853 1853 1117 0 -1 4202560 887 0 0 0 5 6 0 0 18 0 1 0 869332767 289619968 5642 33554432000 4194304 5683644 140733250072704 18446744073709551615 253640879631 0 0 16781312 33554946 5623753486446373647 0 0 17 7 0 0 0
/proc/1859/statm: 70708 5642 376 364 0 5595 0
[pid=1861] ppid=1859 vsize=1860 CPUtime=24.77 cores=1,3,5,7
/proc/1861/stat : 1861 (clasp-1.3.7-x86) R 1859 1861 1861 0 -1 4202496 462 0 0 0 2477 0 0 0 25 0 1 0 869332767 1904640 209 33554432000 134512640 136139019 4289125392 18446744073709551615 134832391 0 0 16781312 16386 0 0 0 17 5 0 0 0
/proc/1861/statm: 465 209 183 398 0 65 0
[pid=1853/tid=1860] ppid=1851 vsize=293076 CPUtime=0 cores=1,3,5,7
/proc/1853/task/1860/stat : 1860 (python) S 1851 1853 1117 0 -1 4202560 26 930 0 0 0 0 0 0 18 0 2 0 869332767 300109824 7140 33554432000 4194304 5683644 140733250072704 18446744073709551615 253652683185 0 0 16781312 33554434 18446604465796436224 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 25.27
Current children cumulated vsize (KiB) 577768
[startup+51.1012 s]
/proc/loadavg: 2.03 2.01 1.34 3/706 1867
/proc/meminfo: memFree=23546320/32951124 swapFree=53733252/67111528
[pid=1853] ppid=1851 vsize=303868 CPUtime=0.42 cores=1,3,5,7
/proc/1853/stat : 1853 (python) S 1851 1853 1117 0 -1 4202496 10499 930 1 0 33 9 0 0 19 0 3 0 869332694 311160832 7265 33554432000 4194304 5683644 140733250072704 18446744073709551615 253652686283 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/1853/statm: 75967 7265 1873 364 0 10851 0
[pid=1859] ppid=1853 vsize=293076 CPUtime=0.22 cores=1,3,5,7
/proc/1859/stat : 1859 (python) S 1853 1853 1117 0 -1 4202560 1122 0 0 0 11 11 0 0 19 0 2 0 869332767 300109824 5683 33554432000 4194304 5683644 140733250072704 18446744073709551615 253652686283 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/1859/statm: 73269 5683 412 364 0 8156 0
[pid=1861] ppid=1859 vsize=1860 CPUtime=47.22 cores=1,3,5,7
/proc/1861/stat : 1861 (clasp-1.3.7-x86) T 1859 1861 1861 0 -1 4202496 463 0 0 0 4722 0 0 0 25 0 1 0 869332767 1904640 210 33554432000 134512640 136139019 4289125392 18446744073709551615 134831792 0 0 16781312 16386 18446744071562691360 0 0 17 5 0 0 0
/proc/1861/statm: 465 210 183 398 0 65 0
[pid=1859/tid=1864] ppid=1853 vsize=293076 CPUtime=0 cores=1,3,5,7
/proc/1859/task/1864/stat : 1864 (python) S 1853 1853 1117 0 -1 4202560 44 0 0 0 0 0 0 0 19 0 2 0 869337490 300109824 5683 33554432000 4194304 5683644 140733250072704 18446744073709551615 253652683185 0 0 16781312 33554946 18446604468954800384 0 0 -1 5 0 0 0
[pid=1865] ppid=1853 vsize=293624 CPUtime=0.03 cores=1,3,5,7
/proc/1865/stat : 1865 (python) S 1853 1853 1117 0 -1 4202560 962 0 0 0 2 1 0 0 15 0 1 0 869337492 300670976 5762 33554432000 4194304 5683644 140733250072704 18446744073709551615 253640879686 0 0 16781312 33554946 2732955366244483072 0 0 17 7 0 0 0
/proc/1865/statm: 73406 5762 374 364 0 8290 0
[pid=1867] ppid=1865 vsize=28316 CPUtime=3.12 cores=1,3,5,7
/proc/1867/stat : 1867 (scip-2.0.1.linu) R 1865 1867 1867 0 -1 4202496 6257 0 0 0 226 86 0 0 18 0 1 0 869337492 28995584 4760 33554432000 4194304 13684479 140737003645984 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/1867/statm: 7079 4760 804 2317 0 4757 0
[pid=1853/tid=1860] ppid=1851 vsize=303868 CPUtime=0 cores=1,3,5,7
/proc/1853/task/1860/stat : 1860 (python) S 1851 1853 1117 0 -1 4202560 26 930 0 0 0 0 0 0 18 0 3 0 869332767 311160832 7265 33554432000 4194304 5683644 140733250072704 18446744073709551615 253652683185 0 0 16781312 33554434 18446604465796436224 0 0 -1 7 0 0 0
[pid=1853/tid=1866] ppid=1851 vsize=303868 CPUtime=0 cores=1,3,5,7
/proc/1853/task/1866/stat : 1866 (python) S 1851 1853 1117 0 -1 4202560 30 930 0 0 0 0 0 0 20 0 3 0 869337492 311160832 7265 33554432000 4194304 5683644 140733250072704 18446744073709551615 253652683185 0 0 16781312 33554434 18446604465796436224 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 51.01
Current children cumulated vsize (KiB) 920744
[startup+102.322 s]
/proc/loadavg: 2.01 2.01 1.38 3/706 1868
/proc/meminfo: memFree=23482812/32951124 swapFree=53733252/67111528
[pid=1853] ppid=1851 vsize=303868 CPUtime=0.42 cores=1,3,5,7
/proc/1853/stat : 1853 (python) S 1851 1853 1117 0 -1 4202496 10499 930 1 0 33 9 0 0 19 0 3 0 869332694 311160832 7265 33554432000 4194304 5683644 140733250072704 18446744073709551615 253652686283 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/1853/statm: 75967 7265 1873 364 0 10851 0
[pid=1859] ppid=1853 vsize=293076 CPUtime=0.22 cores=1,3,5,7
/proc/1859/stat : 1859 (python) S 1853 1853 1117 0 -1 4202560 1122 0 0 0 11 11 0 0 19 0 2 0 869332767 300109824 5683 33554432000 4194304 5683644 140733250072704 18446744073709551615 253652686283 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/1859/statm: 73269 5683 412 364 0 8156 0
[pid=1861] ppid=1859 vsize=1860 CPUtime=47.22 cores=1,3,5,7
/proc/1861/stat : 1861 (clasp-1.3.7-x86) T 1859 1861 1861 0 -1 4202496 463 0 0 0 4722 0 0 0 25 0 1 0 869332767 1904640 210 33554432000 134512640 136139019 4289125392 18446744073709551615 134831792 0 0 16781312 16386 18446744071562691360 0 0 17 5 0 0 0
/proc/1861/statm: 465 210 183 398 0 65 0
[pid=1859/tid=1864] ppid=1853 vsize=293076 CPUtime=0 cores=1,3,5,7
/proc/1859/task/1864/stat : 1864 (python) S 1853 1853 1117 0 -1 4202560 44 0 0 0 0 0 0 0 19 0 2 0 869337490 300109824 5683 33554432000 4194304 5683644 140733250072704 18446744073709551615 253652683185 0 0 16781312 33554946 18446604468954800384 0 0 -1 5 0 0 0
[pid=1865] ppid=1853 vsize=293984 CPUtime=0.51 cores=1,3,5,7
/proc/1865/stat : 1865 (python) S 1853 1853 1117 0 -1 4202560 1194 0 0 0 29 22 0 0 15 0 1 0 869337492 301039616 5863 33554432000 4194304 5683644 140733250072704 18446744073709551615 253640879686 0 0 16781312 33554946 3612131821661192192 0 0 17 7 0 0 0
/proc/1865/statm: 73496 5863 376 364 0 8380 0
[pid=1867] ppid=1865 vsize=89784 CPUtime=54.34 cores=1,3,5,7
/proc/1867/stat : 1867 (scip-2.0.1.linu) R 1865 1867 1867 0 -1 4202496 21489 0 0 0 4156 1278 0 0 18 0 1 0 869337492 91938816 19992 33554432000 4194304 13684479 140737003645984 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/1867/statm: 22446 19992 804 2317 0 20124 0
[pid=1853/tid=1860] ppid=1851 vsize=303868 CPUtime=0 cores=1,3,5,7
/proc/1853/task/1860/stat : 1860 (python) S 1851 1853 1117 0 -1 4202560 26 930 0 0 0 0 0 0 18 0 3 0 869332767 311160832 7265 33554432000 4194304 5683644 140733250072704 18446744073709551615 253652683185 0 0 16781312 33554434 18446604465796436224 0 0 -1 7 0 0 0
[pid=1853/tid=1866] ppid=1851 vsize=303868 CPUtime=0 cores=1,3,5,7
/proc/1853/task/1866/stat : 1866 (python) S 1851 1853 1117 0 -1 4202560 30 930 0 0 0 0 0 0 20 0 3 0 869337492 311160832 7265 33554432000 4194304 5683644 140733250072704 18446744073709551615 253652683185 0 0 16781312 33554434 18446604465796436224 0 0 -1 7 0 0 0
################
# More data... #
################
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+491.602 s]
/proc/loadavg: 2.12 2.08 1.62 5/762 1944
/proc/meminfo: memFree=22992216/32951124 swapFree=53733252/67111528
[pid=1853] ppid=1851 vsize=355488 CPUtime=0.59 cores=1,3,5,7
/proc/1853/stat : 1853 (python) S 1851 1853 1117 0 -1 4202496 14906 930 1 0 49 10 0 0 20 0 8 0 869332694 364019712 7389 33554432000 4194304 5683644 140733250072704 18446744073709551615 253652686283 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/1853/statm: 88872 7389 1883 364 0 23741 0
[pid=1859] ppid=1853 vsize=293076 CPUtime=0.45 cores=1,3,5,7
/proc/1859/stat : 1859 (python) S 1853 1853 1117 0 -1 4202560 1147 0 0 0 19 26 0 0 18 0 2 0 869332767 300109824 5684 33554432000 4194304 5683644 140733250072704 18446744073709551615 253652686283 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/1859/statm: 73269 5684 413 364 0 8156 0
[pid=1861] ppid=1859 vsize=1860 CPUtime=93.47 cores=1,3,5,7
/proc/1861/stat : 1861 (clasp-1.3.7-x86) T 1859 1861 1861 0 -1 4202496 464 0 0 0 9347 0 0 0 25 0 1 0 869332767 1904640 211 33554432000 134512640 136139019 4289125392 18446744073709551615 134883817 0 0 16781312 16386 18446744071562691360 0 0 17 5 0 0 0
/proc/1861/statm: 465 211 183 398 0 65 0
[pid=1859/tid=1864] ppid=1853 vsize=293076 CPUtime=0 cores=1,3,5,7
/proc/1859/task/1864/stat : 1864 (python) S 1853 1853 1117 0 -1 4202560 44 0 0 0 0 0 0 0 18 0 2 0 869337490 300109824 5684 33554432000 4194304 5683644 140733250072704 18446744073709551615 253652683185 0 0 16781312 33554946 18446604468954800384 0 0 -1 5 0 0 0
[pid=1865] ppid=1853 vsize=294540 CPUtime=0.58 cores=1,3,5,7
/proc/1865/stat : 1865 (python) S 1853 1853 1117 0 -1 4202560 1367 0 0 0 33 25 0 0 17 0 2 0 869337492 301608960 5897 33554432000 4194304 5683644 140733250072704 18446744073709551615 253652686283 0 0 16781312 33554946 18446744073709551615 0 0 17 3 0 0 0
/proc/1865/statm: 73635 5897 399 364 0 8519 0
[pid=1867] ppid=1865 vsize=95924 CPUtime=59.5 cores=1,3,5,7
/proc/1867/stat : 1867 (scip-2.0.1.linu) T 1865 1867 1867 0 -1 4202496 23043 0 0 0 4569 1381 0 0 18 0 1 0 869337492 98226176 21546 33554432000 4194304 13684479 140737003645984 18446744073709551615 11876362 0 0 16781312 2 18446744071562691360 0 0 17 1 0 0 0
/proc/1867/statm: 23981 21546 804 2317 0 21659 0
[pid=1865/tid=1869] ppid=1853 vsize=294540 CPUtime=0 cores=1,3,5,7
/proc/1865/task/1869/stat : 1869 (python) S 1853 1853 1117 0 -1 4202560 48 0 0 0 0 0 0 0 17 0 2 0 869343444 301608960 5897 33554432000 4194304 5683644 140733250072704 18446744073709551615 253652683185 0 0 16781312 33554946 18446604455235811136 0 0 -1 3 0 0 0
[pid=1870] ppid=1853 vsize=303636 CPUtime=0.5 cores=1,3,5,7
/proc/1870/stat : 1870 (python) S 1853 1853 1117 0 -1 4202560 1116 0 0 0 21 29 0 0 15 0 2 0 869343446 310923264 5740 33554432000 4194304 5683644 140733250072704 18446744073709551615 253652686283 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/1870/statm: 75909 5740 397 364 0 10790 0
[pid=1872] ppid=1870 vsize=169292 CPUtime=95.49 cores=1,3,5,7
/proc/1872/stat : 1872 (wbo1.4a) T 1870 1872 1872 0 -1 4202496 42060 0 0 0 9364 185 0 0 25 0 1 0 869343446 173355008 41801 33554432000 134512640 135751879 4290342912 18446744073709551615 134616336 0 0 16781312 3 18446744071562691360 0 0 17 1 0 0 0
/proc/1872/statm: 42323 41801 143 303 0 42018 0
[pid=1870/tid=1875] ppid=1853 vsize=303636 CPUtime=0 cores=1,3,5,7
/proc/1870/task/1875/stat : 1875 (python) S 1853 1853 1117 0 -1 4202560 46 0 0 0 0 0 0 0 15 0 2 0 869348572 310923264 5740 33554432000 4194304 5683644 140733250072704 18446744073709551615 253652683185 0 0 16781312 33554946 18446604467016890176 0 0 -1 1 0 0 0
[pid=1876] ppid=1853 vsize=314312 CPUtime=0.53 cores=1,3,5,7
/proc/1876/stat : 1876 (python) S 1853 1853 1117 0 -1 4202560 1277 0 0 0 33 20 0 0 17 0 2 0 869348574 321855488 5823 33554432000 4194304 5683644 140733250072704 18446744073709551615 253652686283 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/1876/statm: 78578 5823 398 364 0 13456 0
[pid=1878] ppid=1876 vsize=75504 CPUtime=55.49 cores=1,3,5,7
/proc/1878/stat : 1878 (scip-2.0.1.linu) T 1876 1878 1878 0 -1 4202496 17969 0 0 0 4688 861 0 0 18 0 1 0 869348575 77316096 15870 33554432000 4194304 15243407 140734083778448 18446744073709551615 13354455 0 0 16781312 2 18446744071562691360 0 0 17 3 0 0 0
/proc/1878/statm: 18876 15870 930 2698 0 16171 0
[pid=1876/tid=1880] ppid=1853 vsize=314312 CPUtime=0 cores=1,3,5,7
/proc/1876/task/1880/stat : 1880 (python) S 1853 1853 1117 0 -1 4202560 46 0 0 0 0 0 0 0 17 0 2 0 869354126 321855488 5823 33554432000 4194304 5683644 140733250072704 18446744073709551615 253652683185 0 0 16781312 33554946 18446604457399063488 0 0 -1 7 0 0 0
[pid=1881] ppid=1853 vsize=324568 CPUtime=0.24 cores=1,3,5,7
/proc/1881/stat : 1881 (python) S 1853 1853 1117 0 -1 4202560 1114 0 0 0 11 13 0 0 19 0 2 0 869354128 332357632 5846 33554432000 4194304 5683644 140733250072704 18446744073709551615 253652686283 0 0 16781312 33554946 18446744073709551615 0 0 17 1 0 0 0
/proc/1881/statm: 81142 5846 397 364 0 16017 0
[pid=1883] ppid=1881 vsize=8544060 CPUtime=49.6 cores=1,3,5,7
/proc/1883/stat : 1883 (java) T 1881 1883 1883 0 -1 4202496 74365 0 1 0 4947 13 0 0 18 0 19 0 869354129 8749117440 39144 33554432000 1073741824 1073778376 140733393896816 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/1883/statm: 2136015 39144 2231 9 0 2126756 0
[pid=1883/tid=1884] ppid=1881 vsize=8544060 CPUtime=48.09 cores=1,3,5,7
/proc/1883/task/1884/stat : 1884 (java) T 1881 1883 1883 0 -1 4202560 42494 0 1 0 4804 5 0 0 25 0 19 0 869354130 8749117440 39144 33554432000 1073741824 1073778376 140733393896816 18446744073709551615 46912505894445 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=1883/tid=1885] ppid=1881 vsize=8544060 CPUtime=0.04 cores=1,3,5,7
/proc/1883/task/1885/stat : 1885 (java) T 1881 1883 1883 0 -1 4202560 2498 0 0 0 4 0 0 0 15 0 19 0 869354130 8749117440 39144 33554432000 1073741824 1073778376 140733393896816 18446744073709551615 253652675481 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=1883/tid=1886] ppid=1881 vsize=8544060 CPUtime=0.05 cores=1,3,5,7
/proc/1883/task/1886/stat : 1886 (java) T 1881 1883 1883 0 -1 4202560 2764 0 0 0 5 0 0 0 15 0 19 0 869354130 8749117440 39144 33554432000 1073741824 1073778376 140733393896816 18446744073709551615 253652675481 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=1883/tid=1887] ppid=1881 vsize=8544060 CPUtime=0.06 cores=1,3,5,7
/proc/1883/task/1887/stat : 1887 (java) T 1881 1883 1883 0 -1 4202560 3068 0 0 0 6 0 0 0 15 0 19 0 869354130 8749117440 39144 33554432000 1073741824 1073778376 140733393896816 18446744073709551615 253652675481 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=1883/tid=1888] ppid=1881 vsize=8544060 CPUtime=0.04 cores=1,3,5,7
/proc/1883/task/1888/stat : 1888 (java) T 1881 1883 1883 0 -1 4202560 2520 0 0 0 4 0 0 0 15 0 19 0 869354130 8749117440 39144 33554432000 1073741824 1073778376 140733393896816 18446744073709551615 253652675481 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=1883/tid=1889] ppid=1881 vsize=8544060 CPUtime=0.05 cores=1,3,5,7
/proc/1883/task/1889/stat : 1889 (java) T 1881 1883 1883 0 -1 4202560 2516 0 0 0 5 0 0 0 15 0 19 0 869354130 8749117440 39144 33554432000 1073741824 1073778376 140733393896816 18446744073709551615 253652675481 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=1883/tid=1890] ppid=1881 vsize=8544060 CPUtime=0.05 cores=1,3,5,7
/proc/1883/task/1890/stat : 1890 (java) T 1881 1883 1883 0 -1 4202560 2826 0 0 0 5 0 0 0 15 0 19 0 869354130 8749117440 39144 33554432000 1073741824 1073778376 140733393896816 18446744073709551615 253652675481 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=1883/tid=1891] ppid=1881 vsize=8544060 CPUtime=0.04 cores=1,3,5,7
/proc/1883/task/1891/stat : 1891 (java) T 1881 1883 1883 0 -1 4202560 1701 0 0 0 4 0 0 0 15 0 19 0 869354130 8749117440 39144 33554432000 1073741824 1073778376 140733393896816 18446744073709551615 253652675481 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=1883/tid=1892] ppid=1881 vsize=8544060 CPUtime=0.04 cores=1,3,5,7
/proc/1883/task/1892/stat : 1892 (java) T 1881 1883 1883 0 -1 4202560 1971 0 0 0 4 0 0 0 15 0 19 0 869354130 8749117440 39144 33554432000 1073741824 1073778376 140733393896816 18446744073709551615 253652675481 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=1883/tid=1893] ppid=1881 vsize=8544060 CPUtime=0.01 cores=1,3,5,7
/proc/1883/task/1893/stat : 1893 (java) T 1881 1883 1883 0 -1 4202560 40 0 0 0 0 1 0 0 15 0 19 0 869354131 8749117440 39144 33554432000 1073741824 1073778376 140733393896816 18446744073709551615 253652676096 0 0 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=1883/tid=1894] ppid=1881 vsize=8544060 CPUtime=0 cores=1,3,5,7
/proc/1883/task/1894/stat : 1894 (java) T 1881 1883 1883 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 869354132 8749117440 39144 33554432000 1073741824 1073778376 140733393896816 18446744073709551615 253652675481 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=1883/tid=1895] ppid=1881 vsize=8544060 CPUtime=0 cores=1,3,5,7
/proc/1883/task/1895/stat : 1895 (java) T 1881 1883 1883 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 869354132 8749117440 39144 33554432000 1073741824 1073778376 140733393896816 18446744073709551615 253652675481 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=1883/tid=1896] ppid=1881 vsize=8544060 CPUtime=0 cores=1,3,5,7
/proc/1883/task/1896/stat : 1896 (java) T 1881 1883 1883 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869354134 8749117440 39144 33554432000 1073741824 1073778376 140733393896816 18446744073709551615 253652683185 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=1883/tid=1897] ppid=1881 vsize=8544060 CPUtime=0.47 cores=1,3,5,7
/proc/1883/task/1897/stat : 1897 (java) T 1881 1883 1883 0 -1 4202560 6127 0 0 0 47 0 0 0 15 0 19 0 869354134 8749117440 39144 33554432000 1073741824 1073778376 140733393896816 18446744073709551615 253652675481 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=1883/tid=1898] ppid=1881 vsize=8544060 CPUtime=0.54 cores=1,3,5,7
/proc/1883/task/1898/stat : 1898 (java) T 1881 1883 1883 0 -1 4202560 4446 0 0 0 54 0 0 0 15 0 19 0 869354134 8749117440 39144 33554432000 1073741824 1073778376 140733393896816 18446744073709551615 253652675481 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=1883/tid=1899] ppid=1881 vsize=8544060 CPUtime=0 cores=1,3,5,7
/proc/1883/task/1899/stat : 1899 (java) T 1881 1883 1883 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869354134 8749117440 39144 33554432000 1073741824 1073778376 140733393896816 18446744073709551615 253652675481 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=1883/tid=1900] ppid=1881 vsize=8544060 CPUtime=0 cores=1,3,5,7
/proc/1883/task/1900/stat : 1900 (java) T 1881 1883 1883 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 869354134 8749117440 39144 33554432000 1073741824 1073778376 140733393896816 18446744073709551615 253652676096 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=1883/tid=1901] ppid=1881 vsize=8544060 CPUtime=0 cores=1,3,5,7
/proc/1883/task/1901/stat : 1901 (java) T 1881 1883 1883 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 869354142 8749117440 39144 33554432000 1073741824 1073778376 140733393896816 18446744073709551615 253652676096 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=1881/tid=1903] ppid=1853 vsize=324568 CPUtime=0 cores=1,3,5,7
/proc/1881/task/1903/stat : 1903 (python) S 1853 1853 1117 0 -1 4202560 43 0 0 0 0 0 0 0 19 0 2 0 869358965 332357632 5846 33554432000 4194304 5683644 140733250072704 18446744073709551615 253652683185 0 0 16781312 33554946 18446604464555114624 0 0 -1 7 0 0 0
[pid=1904] ppid=1853 vsize=334988 CPUtime=0.67 cores=1,3,5,7
/proc/1904/stat : 1904 (python) S 1853 1853 1117 0 -1 4202560 1187 0 0 0 34 33 0 0 19 0 2 0 869358968 343027712 5871 33554432000 4194304 5683644 140733250072704 18446744073709551615 253652686283 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/1904/statm: 83747 5871 397 364 0 18619 0
[pid=1906] ppid=1904 vsize=22484 CPUtime=137.69 cores=1,3,5,7
/proc/1906/stat : 1906 (bsolo_pb10) T 1904 1906 1906 0 -1 4202496 1496 0 0 0 13750 19 0 0 25 0 1 0 869358968 23023616 1226 33554432000 134512640 137138936 4291105888 18446744073709551615 134542316 0 0 16781312 16384 18446744071562691360 0 0 17 1 0 0 0
/proc/1906/statm: 5621 1226 192 642 0 4977 0
[pid=1904/tid=1920] ppid=1853 vsize=334988 CPUtime=0 cores=1,3,5,7
/proc/1904/task/1920/stat : 1920 (python) S 1853 1853 1117 0 -1 4202560 45 0 0 0 0 0 0 0 19 0 2 0 869372739 343027712 5871 33554432000 4194304 5683644 140733250072704 18446744073709551615 253652683185 0 0 16781312 33554946 18446604457399065280 0 0 -1 1 0 0 0
[pid=1923] ppid=1853 vsize=345244 CPUtime=0 cores=1,3,5,7
/proc/1923/stat : 1923 (python) S 1853 1853 1117 0 -1 4202560 836 0 0 0 0 0 0 0 15 0 1 0 869381794 353529856 5851 33554432000 4194304 5683644 140733250072704 18446744073709551615 253640879686 0 0 16781312 33554946 4294934791 0 0 17 1 0 0 0
/proc/1923/statm: 86311 5851 349 364 0 21180 0
[pid=1925] ppid=1923 vsize=8548080 CPUtime=1 cores=1,3,5,7
/proc/1925/stat : 1925 (java) S 1923 1925 1925 0 -1 4202496 24927 0 1 0 97 3 0 0 17 0 19 0 869381794 8753233920 21886 33554432000 1073741824 1073778376 140734616657696 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/1925/statm: 2137020 21886 2231 9 0 2127761 0
[pid=1925/tid=1926] ppid=1923 vsize=8548080 CPUtime=0.62 cores=1,3,5,7
/proc/1925/task/1926/stat : 1926 (java) R 1923 1925 1925 0 -1 4202560 15642 0 1 0 60 2 0 0 19 0 19 0 869381795 8753233920 21933 33554432000 1073741824 1073778376 140734616657696 18446744073709551615 46912505529953 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=1925/tid=1928] ppid=1923 vsize=8548080 CPUtime=0 cores=1,3,5,7
/proc/1925/task/1928/stat : 1928 (java) S 1923 1925 1925 0 -1 4202560 95 0 0 0 0 0 0 0 16 0 19 0 869381796 8753233920 21933 33554432000 1073741824 1073778376 140734616657696 18446744073709551615 253652675481 0 4 0 16800975 18446604455209507904 0 0 -1 5 0 0 0
[pid=1925/tid=1929] ppid=1923 vsize=8548080 CPUtime=0 cores=1,3,5,7
/proc/1925/task/1929/stat : 1929 (java) S 1923 1925 1925 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 869381796 8753233920 21933 33554432000 1073741824 1073778376 140734616657696 18446744073709551615 253652675481 0 4 0 16800975 18446604455209507904 0 0 -1 7 0 0 0
[pid=1925/tid=1930] ppid=1923 vsize=8548080 CPUtime=0 cores=1,3,5,7
/proc/1925/task/1930/stat : 1930 (java) S 1923 1925 1925 0 -1 4202560 1 0 0 0 0 0 0 0 16 0 19 0 869381796 8753233920 21933 33554432000 1073741824 1073778376 140734616657696 18446744073709551615 253652675481 0 4 0 16800975 18446604455209507904 0 0 -1 7 0 0 0
[pid=1925/tid=1931] ppid=1923 vsize=8548080 CPUtime=0 cores=1,3,5,7
/proc/1925/task/1931/stat : 1931 (java) S 1923 1925 1925 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 869381796 8753233920 21933 33554432000 1073741824 1073778376 140734616657696 18446744073709551615 253652675481 0 4 0 16800975 18446604455209507904 0 0 -1 7 0 0 0
[pid=1925/tid=1932] ppid=1923 vsize=8548080 CPUtime=0 cores=1,3,5,7
/proc/1925/task/1932/stat : 1932 (java) S 1923 1925 1925 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 869381796 8753233920 21933 33554432000 1073741824 1073778376 140734616657696 18446744073709551615 253652675481 0 4 0 16800975 18446604455209507904 0 0 -1 7 0 0 0
[pid=1925/tid=1933] ppid=1923 vsize=8548080 CPUtime=0 cores=1,3,5,7
/proc/1925/task/1933/stat : 1933 (java) S 1923 1925 1925 0 -1 4202560 67 0 0 0 0 0 0 0 16 0 19 0 869381796 8753233920 21937 33554432000 1073741824 1073778376 140734616657696 18446744073709551615 253652675481 0 4 0 16800975 18446604455209507904 0 0 -1 7 0 0 0
[pid=1925/tid=1934] ppid=1923 vsize=8548080 CPUtime=0 cores=1,3,5,7
/proc/1925/task/1934/stat : 1934 (java) S 1923 1925 1925 0 -1 4202560 52 0 0 0 0 0 0 0 16 0 19 0 869381796 8753233920 21938 33554432000 1073741824 1073778376 140734616657696 18446744073709551615 253652675481 0 4 0 16800975 18446604455209507904 0 0 -1 7 0 0 0
[pid=1925/tid=1935] ppid=1923 vsize=8548080 CPUtime=0 cores=1,3,5,7
/proc/1925/task/1935/stat : 1935 (java) S 1923 1925 1925 0 -1 4202560 1 0 0 0 0 0 0 0 16 0 19 0 869381796 8753233920 21938 33554432000 1073741824 1073778376 140734616657696 18446744073709551615 253652675481 0 4 0 16800975 18446604455209507904 0 0 -1 7 0 0 0
[pid=1925/tid=1936] ppid=1923 vsize=8548080 CPUtime=0 cores=1,3,5,7
/proc/1925/task/1936/stat : 1936 (java) S 1923 1925 1925 0 -1 4202560 222 0 0 0 0 0 0 0 17 0 19 0 869381797 8753233920 21938 33554432000 1073741824 1073778376 140734616657696 18446744073709551615 253652676096 0 0 0 16800975 18446604455209507904 0 0 -1 5 0 0 0
[pid=1925/tid=1937] ppid=1923 vsize=8548080 CPUtime=0 cores=1,3,5,7
/proc/1925/task/1937/stat : 1937 (java) S 1923 1925 1925 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 869381797 8753233920 21938 33554432000 1073741824 1073778376 140734616657696 18446744073709551615 253652675481 0 4 0 16800975 18446604455209507904 0 0 -1 5 0 0 0
[pid=1925/tid=1938] ppid=1923 vsize=8548080 CPUtime=0 cores=1,3,5,7
/proc/1925/task/1938/stat : 1938 (java) S 1923 1925 1925 0 -1 4202560 10 0 0 0 0 0 0 0 19 0 19 0 869381797 8753233920 21938 33554432000 1073741824 1073778376 140734616657696 18446744073709551615 253652675481 0 4 0 16800975 18446604455209507904 0 0 -1 3 0 0 0
[pid=1925/tid=1939] ppid=1923 vsize=8548080 CPUtime=0 cores=1,3,5,7
/proc/1925/task/1939/stat : 1939 (java) S 1923 1925 1925 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869381799 8753233920 21938 33554432000 1073741824 1073778376 140734616657696 18446744073709551615 253652683185 0 4 0 16800975 18446604455209507904 0 0 -1 5 0 0 0
[pid=1925/tid=1940] ppid=1923 vsize=8548080 CPUtime=0.14 cores=1,3,5,7
/proc/1925/task/1940/stat : 1940 (java) S 1923 1925 1925 0 -1 4202560 2177 0 0 0 14 0 0 0 23 0 19 0 869381799 8753233920 21939 33554432000 1073741824 1073778376 140734616657696 18446744073709551615 253652675481 0 4 0 16800975 18446604455209507904 0 0 -1 1 0 0 0
[pid=1925/tid=1941] ppid=1923 vsize=8548080 CPUtime=0.25 cores=1,3,5,7
/proc/1925/task/1941/stat : 1941 (java) R 1923 1925 1925 0 -1 4202560 5326 0 0 0 25 0 0 0 16 0 19 0 869381799 8753233920 21939 33554432000 1073741824 1073778376 140734616657696 18446744073709551615 47655965261753 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=1925/tid=1942] ppid=1923 vsize=8548080 CPUtime=0 cores=1,3,5,7
/proc/1925/task/1942/stat : 1942 (java) S 1923 1925 1925 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869381799 8753233920 21939 33554432000 1073741824 1073778376 140734616657696 18446744073709551615 253652675481 0 4 0 16800975 18446604455209507904 0 0 -1 5 0 0 0
[pid=1925/tid=1943] ppid=1923 vsize=8548080 CPUtime=0 cores=1,3,5,7
/proc/1925/task/1943/stat : 1943 (java) S 1923 1925 1925 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 869381799 8753233920 21941 33554432000 1073741824 1073778376 140734616657696 18446744073709551615 253652676096 0 4 0 16800975 18446604455209507904 0 0 -1 3 0 0 0
[pid=1925/tid=1944] ppid=1923 vsize=8548080 CPUtime=0 cores=1,3,5,7
/proc/1925/task/1944/stat : 1944 (java) S 1923 1925 1925 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 869381808 8753233920 21944 33554432000 1073741824 1073778376 140734616657696 18446744073709551615 253652676096 0 4 0 16800975 18446604455209507904 0 0 -1 7 0 0 0
[pid=1853/tid=1860] ppid=1851 vsize=355488 CPUtime=0 cores=1,3,5,7
/proc/1853/task/1860/stat : 1860 (python) S 1851 1853 1117 0 -1 4202560 31 930 0 0 0 0 0 0 18 0 8 0 869332767 364019712 7389 33554432000 4194304 5683644 140733250072704 18446744073709551615 253652683185 0 0 16781312 33554434 18446604465796436224 0 0 -1 7 0 0 0
[pid=1853/tid=1866] ppid=1851 vsize=355488 CPUtime=0 cores=1,3,5,7
/proc/1853/task/1866/stat : 1866 (python) S 1851 1853 1117 0 -1 4202560 30 930 0 0 0 0 0 0 20 0 8 0 869337492 364019712 7389 33554432000 4194304 5683644 140733250072704 18446744073709551615 253652683185 0 0 16781312 33554434 18446604465796436224 0 0 -1 7 0 0 0
[pid=1853/tid=1871] ppid=1851 vsize=355488 CPUtime=0 cores=1,3,5,7
/proc/1853/task/1871/stat : 1871 (python) S 1851 1853 1117 0 -1 4202560 34 930 0 0 0 0 0 0 18 0 8 0 869343446 364019712 7389 33554432000 4194304 5683644 140733250072704 18446744073709551615 253652683185 0 0 16781312 33554434 18446604465796436224 0 0 -1 1 0 0 0
[pid=1853/tid=1877] ppid=1851 vsize=355488 CPUtime=0 cores=1,3,5,7
/proc/1853/task/1877/stat : 1877 (python) S 1851 1853 1117 0 -1 4202560 29 930 0 0 0 0 0 0 20 0 8 0 869348574 364019712 7389 33554432000 4194304 5683644 140733250072704 18446744073709551615 253652683185 0 0 16781312 33554434 18446604465796436224 0 0 -1 1 0 0 0
[pid=1853/tid=1882] ppid=1851 vsize=355488 CPUtime=0 cores=1,3,5,7
/proc/1853/task/1882/stat : 1882 (python) S 1851 1853 1117 0 -1 4202560 33 930 0 0 0 0 0 0 20 0 8 0 869354129 364019712 7389 33554432000 4194304 5683644 140733250072704 18446744073709551615 253652683185 0 0 16781312 33554434 18446604465796436224 0 0 -1 3 0 0 0
[pid=1853/tid=1905] ppid=1851 vsize=355488 CPUtime=0 cores=1,3,5,7
/proc/1853/task/1905/stat : 1905 (python) S 1851 1853 1117 0 -1 4202560 31 930 0 0 0 0 0 0 20 0 8 0 869358968 364019712 7389 33554432000 4194304 5683644 140733250072704 18446744073709551615 253652683185 0 0 16781312 33554434 18446604465796436224 0 0 -1 7 0 0 0
[pid=1853/tid=1924] ppid=1851 vsize=355488 CPUtime=0 cores=1,3,5,7
/proc/1853/task/1924/stat : 1924 (python) S 1851 1853 1117 0 -1 4202560 33 930 0 0 0 0 0 0 20 0 8 0 869381794 364019712 7389 33554432000 4194304 5683644 140733250072704 18446744073709551615 253652683185 0 0 16781312 33554434 18446604465796436224 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 495.8
Current children cumulated vsize (KiB) 20023056
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 1853 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=495924
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=105983
# CPU time returned by wait4() is 0.601907
# while last known CPU time is 495.8
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 491.701
CPU time (s): 495.8
CPU user time (s): 469.62
CPU system time (s): 26.18
CPU usage (%): 100.834
Max. virtual memory (cumulated for all children) (KiB): 20023056
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.495924
system time used= 0.105983
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15841
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= 2878
involuntary context switches= 24
runsolver used 3.50347 second user time and 8.5377 second system time
The end