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-3482048-1307576770/watcher-3482048-1307576770 -o /tmp/evaluation-result-3482048-1307576770/solver-3482048-1307576770 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3482048-1307576770.opb -seed 910709415 -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.99 1.41 0.62 2/469 830
/proc/meminfo: memFree=29614660/32951124 swapFree=36471928/67111528
[pid=830] ppid=828 vsize=15184 CPUtime=0 cores=1,3,5,7
/proc/830/stat : 830 (python) R 828 830 32706 0 -1 4202496 704 0 0 0 0 0 0 0 20 0 1 0 869277573 15548416 595 33554432000 4194304 5683644 140735456229792 18446744073709551615 230808826565 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/830/statm: 3796 598 319 364 0 283 0
[startup+0.103872 s]
/proc/loadavg: 1.99 1.41 0.62 2/469 830
/proc/meminfo: memFree=29614660/32951124 swapFree=36471928/67111528
[pid=830] ppid=828 vsize=87828 CPUtime=0.07 cores=1,3,5,7
/proc/830/stat : 830 (python) R 828 830 32706 0 -1 4202496 2690 0 0 0 5 2 0 0 17 0 1 0 869277573 89935872 2405 33554432000 4194304 5683644 140735456229792 18446744073709551615 47449403496384 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/830/statm: 21957 2405 733 364 0 1622 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 87828
[startup+0.200901 s]
/proc/loadavg: 1.99 1.41 0.62 2/469 830
/proc/meminfo: memFree=29614660/32951124 swapFree=36471928/67111528
[pid=830] ppid=828 vsize=117900 CPUtime=0.12 cores=1,3,5,7
/proc/830/stat : 830 (python) R 828 830 32706 0 -1 4202496 4919 931 1 0 9 3 0 0 17 0 1 0 869277573 120729600 3345 33554432000 4194304 5683644 140735456229792 18446744073709551615 230809163776 0 2147483391 16781312 2 0 0 0 17 5 0 0 0
/proc/830/statm: 29475 3345 916 364 0 2445 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 117900
[startup+0.300845 s]
/proc/loadavg: 1.99 1.41 0.62 2/469 830
/proc/meminfo: memFree=29614660/32951124 swapFree=36471928/67111528
[pid=830] ppid=828 vsize=123740 CPUtime=0.17 cores=1,3,5,7
/proc/830/stat : 830 (python) S 828 830 32706 0 -1 4202496 5358 931 1 0 12 5 0 0 16 0 1 0 869277573 126709760 3744 33554432000 4194304 5683644 140735456229792 18446744073709551615 230809161733 0 2147483391 16781312 2 18446744071699199166 0 0 17 5 0 0 0
/proc/830/statm: 30935 3744 987 364 0 2767 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 123740
[startup+0.700736 s]
/proc/loadavg: 1.99 1.41 0.62 2/469 830
/proc/meminfo: memFree=29614660/32951124 swapFree=36471928/67111528
[pid=830] ppid=828 vsize=282268 CPUtime=0.4 cores=1,3,5,7
/proc/830/stat : 830 (python) R 828 830 32706 0 -1 4202496 9000 931 1 0 30 10 0 0 15 0 1 0 869277573 289042432 6885 33554432000 4194304 5683644 140735456229792 18446744073709551615 4870104 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/830/statm: 70566 6884 1763 364 0 5459 0
Current children cumulated CPU time (s) 0.4
Current children cumulated vsize (KiB) 282268
[startup+1.50159 s]
/proc/loadavg: 1.99 1.41 0.62 5/490 870
/proc/meminfo: memFree=29571456/32951124 swapFree=36471928/67111528
[pid=830] ppid=828 vsize=295584 CPUtime=0.66 cores=1,3,5,7
/proc/830/stat : 830 (python) S 828 830 32706 0 -1 4202496 10484 931 1 0 55 11 0 0 17 0 2 0 869277573 302678016 7764 33554432000 4194304 5683644 140735456229792 18446744073709551615 230820992459 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/830/statm: 73896 7764 1870 364 0 8783 0
[pid=845] ppid=830 vsize=285340 CPUtime=0 cores=1,3,5,7
/proc/845/stat : 845 (python) S 830 830 32706 0 -1 4202560 762 0 0 0 0 0 0 0 15 0 1 0 869277668 292188160 6242 33554432000 4194304 5683644 140735456229792 18446744073709551615 230809185807 0 0 16781312 33554946 613388773740249088 0 0 17 5 0 0 0
/proc/845/statm: 71335 6242 352 364 0 6222 0
[pid=847] ppid=845 vsize=8541884 CPUtime=1.22 cores=1,3,5,7
/proc/847/stat : 847 (java) S 845 847 847 0 -1 4202496 19345 0 1 0 119 3 0 0 19 0 19 0 869277669 8746889216 16527 33554432000 1073741824 1073778376 140734055085056 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/847/statm: 2135471 16527 2227 9 0 2126212 0
[pid=847/tid=848] ppid=845 vsize=8541884 CPUtime=0.53 cores=1,3,5,7
/proc/847/task/848/stat : 848 (java) R 845 847 847 0 -1 4202560 11120 0 1 0 51 2 0 0 19 0 19 0 869277669 8746889216 16528 33554432000 1073741824 1073778376 140734055085056 18446744073709551615 46912505329120 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=847/tid=849] ppid=845 vsize=8541884 CPUtime=0 cores=1,3,5,7
/proc/847/task/849/stat : 849 (java) S 845 847 847 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 869277670 8746889216 16528 33554432000 1073741824 1073778376 140734055085056 18446744073709551615 230820981657 0 4 0 16800975 18446604459516179520 0 0 -1 1 0 0 0
[pid=847/tid=850] ppid=845 vsize=8541884 CPUtime=0 cores=1,3,5,7
/proc/847/task/850/stat : 850 (java) S 845 847 847 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 869277670 8746889216 16531 33554432000 1073741824 1073778376 140734055085056 18446744073709551615 230820981657 0 4 0 16800975 18446604459516179520 0 0 -1 1 0 0 0
[pid=847/tid=851] ppid=845 vsize=8541884 CPUtime=0 cores=1,3,5,7
/proc/847/task/851/stat : 851 (java) S 845 847 847 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 869277670 8746889216 16531 33554432000 1073741824 1073778376 140734055085056 18446744073709551615 230820981657 0 4 0 16800975 18446604459516179520 0 0 -1 1 0 0 0
[pid=847/tid=858] ppid=845 vsize=8541884 CPUtime=0 cores=1,3,5,7
/proc/847/task/858/stat : 858 (java) S 845 847 847 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 869277670 8746889216 16531 33554432000 1073741824 1073778376 140734055085056 18446744073709551615 230820981657 0 4 0 16800975 18446604459516179520 0 0 -1 1 0 0 0
[pid=847/tid=859] ppid=845 vsize=8541884 CPUtime=0 cores=1,3,5,7
/proc/847/task/859/stat : 859 (java) S 845 847 847 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 869277670 8746889216 16490 33554432000 1073741824 1073778376 140734055085056 18446744073709551615 230820981657 0 4 0 16800975 18446604459516179520 0 0 -1 1 0 0 0
[pid=847/tid=860] ppid=845 vsize=8541884 CPUtime=0 cores=1,3,5,7
/proc/847/task/860/stat : 860 (java) S 845 847 847 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 869277670 8746889216 16490 33554432000 1073741824 1073778376 140734055085056 18446744073709551615 230820981657 0 4 0 16800975 18446604459516179520 0 0 -1 1 0 0 0
[pid=847/tid=861] ppid=845 vsize=8541884 CPUtime=0 cores=1,3,5,7
/proc/847/task/861/stat : 861 (java) S 845 847 847 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 869277670 8746889216 16490 33554432000 1073741824 1073778376 140734055085056 18446744073709551615 230820981657 0 4 0 16800975 18446604459516179520 0 0 -1 1 0 0 0
[pid=847/tid=862] ppid=845 vsize=8541884 CPUtime=0 cores=1,3,5,7
/proc/847/task/862/stat : 862 (java) S 845 847 847 0 -1 4202560 2 0 0 0 0 0 0 0 24 0 19 0 869277670 8746889216 16490 33554432000 1073741824 1073778376 140734055085056 18446744073709551615 230820981657 0 4 0 16800975 18446604459516179520 0 0 -1 1 0 0 0
[pid=847/tid=863] ppid=845 vsize=8541884 CPUtime=0 cores=1,3,5,7
/proc/847/task/863/stat : 863 (java) S 845 847 847 0 -1 4202560 5 0 0 0 0 0 0 0 21 0 19 0 869277671 8746889216 16490 33554432000 1073741824 1073778376 140734055085056 18446744073709551615 230820982272 0 0 0 16800975 18446604459516179520 0 0 -1 7 0 0 0
[pid=847/tid=864] ppid=845 vsize=8541884 CPUtime=0 cores=1,3,5,7
/proc/847/task/864/stat : 864 (java) S 845 847 847 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 869277671 8746889216 16490 33554432000 1073741824 1073778376 140734055085056 18446744073709551615 230820981657 0 4 0 16800975 18446604459516179520 0 0 -1 1 0 0 0
[pid=847/tid=865] ppid=845 vsize=8541884 CPUtime=0 cores=1,3,5,7
/proc/847/task/865/stat : 865 (java) S 845 847 847 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 869277671 8746889216 16490 33554432000 1073741824 1073778376 140734055085056 18446744073709551615 230820981657 0 4 0 16800975 18446604459516179520 0 0 -1 1 0 0 0
[pid=847/tid=866] ppid=845 vsize=8541884 CPUtime=0 cores=1,3,5,7
/proc/847/task/866/stat : 866 (java) S 845 847 847 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869277673 8746889216 16490 33554432000 1073741824 1073778376 140734055085056 18446744073709551615 230820989361 0 4 0 16800975 18446604459516179520 0 0 -1 1 0 0 0
[pid=847/tid=867] ppid=845 vsize=8541884 CPUtime=0.34 cores=1,3,5,7
/proc/847/task/867/stat : 867 (java) R 845 847 847 0 -1 4202560 4134 0 0 0 34 0 0 0 25 0 19 0 869277673 8746889216 16490 33554432000 1073741824 1073778376 140734055085056 18446744073709551615 230809209191 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=847/tid=868] ppid=845 vsize=8541884 CPUtime=0.32 cores=1,3,5,7
/proc/847/task/868/stat : 868 (java) R 845 847 847 0 -1 4202560 2708 0 0 0 32 0 0 0 18 0 19 0 869277673 8746889216 16490 33554432000 1073741824 1073778376 140734055085056 18446744073709551615 47390239520328 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=847/tid=869] ppid=845 vsize=8541884 CPUtime=0 cores=1,3,5,7
/proc/847/task/869/stat : 869 (java) S 845 847 847 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869277673 8746889216 16490 33554432000 1073741824 1073778376 140734055085056 18446744073709551615 230820981657 0 4 0 16800975 18446604459516179520 0 0 -1 1 0 0 0
[pid=847/tid=870] ppid=845 vsize=8541884 CPUtime=0 cores=1,3,5,7
/proc/847/task/870/stat : 870 (java) S 845 847 847 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 869277673 8746889216 16490 33554432000 1073741824 1073778376 140734055085056 18446744073709551615 230820982272 0 4 0 16800975 18446604459516179520 0 0 -1 5 0 0 0
[pid=830/tid=846] ppid=828 vsize=295584 CPUtime=0 cores=1,3,5,7
/proc/830/task/846/stat : 846 (python) S 828 830 32706 0 -1 4202560 30 931 0 0 0 0 0 0 18 0 2 0 869277669 302678016 7764 33554432000 4194304 5683644 140735456229792 18446744073709551615 230820989361 0 0 16781312 33554434 18446604467177186304 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1.88
Current children cumulated vsize (KiB) 9122808
[startup+3.10129 s]
/proc/loadavg: 1.99 1.41 0.62 5/490 870
/proc/meminfo: memFree=29571456/32951124 swapFree=36471928/67111528
[pid=830] ppid=828 vsize=295584 CPUtime=0.66 cores=1,3,5,7
/proc/830/stat : 830 (python) S 828 830 32706 0 -1 4202496 10484 931 1 0 55 11 0 0 17 0 2 0 869277573 302678016 7764 33554432000 4194304 5683644 140735456229792 18446744073709551615 230820992459 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/830/statm: 73896 7764 1870 364 0 8783 0
[pid=845] ppid=830 vsize=285340 CPUtime=0 cores=1,3,5,7
/proc/845/stat : 845 (python) S 830 830 32706 0 -1 4202560 763 0 0 0 0 0 0 0 15 0 1 0 869277668 292188160 6242 33554432000 4194304 5683644 140735456229792 18446744073709551615 230809185807 0 0 16781312 33554946 4294934791 0 0 17 5 0 0 0
/proc/845/statm: 71335 6242 352 364 0 6222 0
[pid=847] ppid=845 vsize=8541064 CPUtime=3.33 cores=1,3,5,7
/proc/847/stat : 847 (java) S 845 847 847 0 -1 4202496 23819 0 1 0 330 3 0 0 19 0 19 0 869277669 8746049536 19170 33554432000 1073741824 1073778376 140734055085056 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/847/statm: 2135266 19170 2258 9 0 2126007 0
[pid=847/tid=848] ppid=845 vsize=8541064 CPUtime=2.11 cores=1,3,5,7
/proc/847/task/848/stat : 848 (java) R 845 847 847 0 -1 4202560 12432 0 1 0 209 2 0 0 21 0 19 0 869277669 8746049536 19170 33554432000 1073741824 1073778376 140734055085056 18446744073709551615 46912506034924 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=847/tid=849] ppid=845 vsize=8541064 CPUtime=0 cores=1,3,5,7
/proc/847/task/849/stat : 849 (java) S 845 847 847 0 -1 4202560 378 0 0 0 0 0 0 0 18 0 19 0 869277670 8746049536 19170 33554432000 1073741824 1073778376 140734055085056 18446744073709551615 230820981657 0 4 0 16800975 18446604459516179520 0 0 -1 1 0 0 0
[pid=847/tid=850] ppid=845 vsize=8541064 CPUtime=0 cores=1,3,5,7
/proc/847/task/850/stat : 850 (java) S 845 847 847 0 -1 4202560 256 0 0 0 0 0 0 0 18 0 19 0 869277670 8746049536 19170 33554432000 1073741824 1073778376 140734055085056 18446744073709551615 230820981657 0 4 0 16800975 18446604459516179520 0 0 -1 5 0 0 0
[pid=847/tid=851] ppid=845 vsize=8541064 CPUtime=0 cores=1,3,5,7
/proc/847/task/851/stat : 851 (java) S 845 847 847 0 -1 4202560 44 0 0 0 0 0 0 0 18 0 19 0 869277670 8746049536 19170 33554432000 1073741824 1073778376 140734055085056 18446744073709551615 230820981657 0 4 0 16800975 18446604459516179520 0 0 -1 1 0 0 0
[pid=847/tid=858] ppid=845 vsize=8541064 CPUtime=0 cores=1,3,5,7
/proc/847/task/858/stat : 858 (java) S 845 847 847 0 -1 4202560 15 0 0 0 0 0 0 0 18 0 19 0 869277670 8746049536 19170 33554432000 1073741824 1073778376 140734055085056 18446744073709551615 230820981657 0 4 0 16800975 18446604459516179520 0 0 -1 3 0 0 0
[pid=847/tid=859] ppid=845 vsize=8541064 CPUtime=0 cores=1,3,5,7
/proc/847/task/859/stat : 859 (java) S 845 847 847 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869277670 8746049536 19170 33554432000 1073741824 1073778376 140734055085056 18446744073709551615 230820981657 0 4 0 16800975 18446604459516179520 0 0 -1 1 0 0 0
[pid=847/tid=860] ppid=845 vsize=8541064 CPUtime=0 cores=1,3,5,7
/proc/847/task/860/stat : 860 (java) S 845 847 847 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869277670 8746049536 19170 33554432000 1073741824 1073778376 140734055085056 18446744073709551615 230820981657 0 4 0 16800975 18446604459516179520 0 0 -1 1 0 0 0
[pid=847/tid=861] ppid=845 vsize=8541064 CPUtime=0 cores=1,3,5,7
/proc/847/task/861/stat : 861 (java) S 845 847 847 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869277670 8746049536 19170 33554432000 1073741824 1073778376 140734055085056 18446744073709551615 230820981657 0 4 0 16800975 18446604459516179520 0 0 -1 1 0 0 0
[pid=847/tid=862] ppid=845 vsize=8541064 CPUtime=0 cores=1,3,5,7
/proc/847/task/862/stat : 862 (java) S 845 847 847 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 19 0 869277670 8746049536 19170 33554432000 1073741824 1073778376 140734055085056 18446744073709551615 230820981657 0 4 0 16800975 18446604459516179520 0 0 -1 1 0 0 0
[pid=847/tid=863] ppid=845 vsize=8541064 CPUtime=0 cores=1,3,5,7
/proc/847/task/863/stat : 863 (java) S 845 847 847 0 -1 4202560 689 0 0 0 0 0 0 0 17 0 19 0 869277671 8746049536 19170 33554432000 1073741824 1073778376 140734055085056 18446744073709551615 230820982272 0 0 0 16800975 18446604459516179520 0 0 -1 7 0 0 0
[pid=847/tid=864] ppid=845 vsize=8541064 CPUtime=0 cores=1,3,5,7
/proc/847/task/864/stat : 864 (java) S 845 847 847 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 869277671 8746049536 19170 33554432000 1073741824 1073778376 140734055085056 18446744073709551615 230820981657 0 4 0 16800975 18446604459516179520 0 0 -1 1 0 0 0
[pid=847/tid=865] ppid=845 vsize=8541064 CPUtime=0 cores=1,3,5,7
/proc/847/task/865/stat : 865 (java) S 845 847 847 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 869277671 8746049536 19170 33554432000 1073741824 1073778376 140734055085056 18446744073709551615 230820981657 0 4 0 16800975 18446604459516179520 0 0 -1 1 0 0 0
[pid=847/tid=866] ppid=845 vsize=8541064 CPUtime=0 cores=1,3,5,7
/proc/847/task/866/stat : 866 (java) S 845 847 847 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869277673 8746049536 19170 33554432000 1073741824 1073778376 140734055085056 18446744073709551615 230820989361 0 4 0 16800975 18446604459516179520 0 0 -1 1 0 0 0
[pid=847/tid=867] ppid=845 vsize=8541064 CPUtime=0.57 cores=1,3,5,7
/proc/847/task/867/stat : 867 (java) S 845 847 847 0 -1 4202560 4477 0 0 0 57 0 0 0 17 0 19 0 869277673 8746049536 19170 33554432000 1073741824 1073778376 140734055085056 18446744073709551615 230820981657 0 4 0 16800975 18446604459516179520 0 0 -1 5 0 0 0
[pid=847/tid=868] ppid=845 vsize=8541064 CPUtime=0.61 cores=1,3,5,7
/proc/847/task/868/stat : 868 (java) S 845 847 847 0 -1 4202560 4147 0 0 0 61 0 0 0 16 0 19 0 869277673 8746049536 19170 33554432000 1073741824 1073778376 140734055085056 18446744073709551615 230820981657 0 4 0 16800975 18446604459516179520 0 0 -1 3 0 0 0
[pid=847/tid=869] ppid=845 vsize=8541064 CPUtime=0 cores=1,3,5,7
/proc/847/task/869/stat : 869 (java) S 845 847 847 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869277673 8746049536 19170 33554432000 1073741824 1073778376 140734055085056 18446744073709551615 230820981657 0 4 0 16800975 18446604459516179520 0 0 -1 1 0 0 0
[pid=847/tid=870] ppid=845 vsize=8541064 CPUtime=0 cores=1,3,5,7
/proc/847/task/870/stat : 870 (java) S 845 847 847 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 869277673 8746049536 19170 33554432000 1073741824 1073778376 140734055085056 18446744073709551615 230820982272 0 4 0 16800975 18446604459516179520 0 0 -1 5 0 0 0
[pid=830/tid=846] ppid=828 vsize=295584 CPUtime=0 cores=1,3,5,7
/proc/830/task/846/stat : 846 (python) S 828 830 32706 0 -1 4202560 30 931 0 0 0 0 0 0 18 0 2 0 869277669 302678016 7764 33554432000 4194304 5683644 140735456229792 18446744073709551615 230820989361 0 0 16781312 33554434 18446604467177186304 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3.99
Current children cumulated vsize (KiB) 9121988
[startup+6.30071 s]
/proc/loadavg: 2.07 1.44 0.64 3/491 871
/proc/meminfo: memFree=29500004/32951124 swapFree=36471928/67111528
[pid=830] ppid=828 vsize=295584 CPUtime=0.66 cores=1,3,5,7
/proc/830/stat : 830 (python) S 828 830 32706 0 -1 4202496 10484 931 1 0 55 11 0 0 17 0 2 0 869277573 302678016 7764 33554432000 4194304 5683644 140735456229792 18446744073709551615 230820992459 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/830/statm: 73896 7764 1870 364 0 8783 0
[pid=845] ppid=830 vsize=285340 CPUtime=0 cores=1,3,5,7
/proc/845/stat : 845 (python) S 830 830 32706 0 -1 4202560 896 0 0 0 0 0 0 0 15 0 1 0 869277668 292188160 6266 33554432000 4194304 5683644 140735456229792 18446744073709551615 230809185807 0 0 16781312 33554946 4294934791 0 0 17 5 0 0 0
/proc/845/statm: 71335 6266 376 364 0 6222 0
[pid=847] ppid=845 vsize=8541064 CPUtime=6.58 cores=1,3,5,7
/proc/847/stat : 847 (java) S 845 847 847 0 -1 4202496 25490 0 1 0 654 4 0 0 19 0 19 0 869277669 8746049536 20757 33554432000 1073741824 1073778376 140734055085056 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/847/statm: 2135266 20757 2258 9 0 2126007 0
[pid=847/tid=848] ppid=845 vsize=8541064 CPUtime=5.28 cores=1,3,5,7
/proc/847/task/848/stat : 848 (java) R 845 847 847 0 -1 4202560 12437 0 1 0 526 2 0 0 25 0 19 0 869277669 8746049536 20757 33554432000 1073741824 1073778376 140734055085056 18446744073709551615 46912506034851 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=847/tid=849] ppid=845 vsize=8541064 CPUtime=0 cores=1,3,5,7
/proc/847/task/849/stat : 849 (java) S 845 847 847 0 -1 4202560 439 0 0 0 0 0 0 0 15 0 19 0 869277670 8746049536 20757 33554432000 1073741824 1073778376 140734055085056 18446744073709551615 230820981657 0 4 0 16800975 18446604459516179520 0 0 -1 5 0 0 0
[pid=847/tid=850] ppid=845 vsize=8541064 CPUtime=0 cores=1,3,5,7
/proc/847/task/850/stat : 850 (java) S 845 847 847 0 -1 4202560 256 0 0 0 0 0 0 0 15 0 19 0 869277670 8746049536 20757 33554432000 1073741824 1073778376 140734055085056 18446744073709551615 230820981657 0 4 0 16800975 18446604459516179520 0 0 -1 5 0 0 0
[pid=847/tid=851] ppid=845 vsize=8541064 CPUtime=0 cores=1,3,5,7
/proc/847/task/851/stat : 851 (java) S 845 847 847 0 -1 4202560 44 0 0 0 0 0 0 0 15 0 19 0 869277670 8746049536 20757 33554432000 1073741824 1073778376 140734055085056 18446744073709551615 230820981657 0 4 0 16800975 18446604459516179520 0 0 -1 3 0 0 0
[pid=847/tid=858] ppid=845 vsize=8541064 CPUtime=0 cores=1,3,5,7
/proc/847/task/858/stat : 858 (java) S 845 847 847 0 -1 4202560 127 0 0 0 0 0 0 0 18 0 19 0 869277670 8746049536 20757 33554432000 1073741824 1073778376 140734055085056 18446744073709551615 230820981657 0 4 0 16800975 18446604459516179520 0 0 -1 3 0 0 0
[pid=847/tid=859] ppid=845 vsize=8541064 CPUtime=0 cores=1,3,5,7
/proc/847/task/859/stat : 859 (java) S 845 847 847 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 869277670 8746049536 20757 33554432000 1073741824 1073778376 140734055085056 18446744073709551615 230820981657 0 4 0 16800975 18446604459516179520 0 0 -1 1 0 0 0
[pid=847/tid=860] ppid=845 vsize=8541064 CPUtime=0 cores=1,3,5,7
/proc/847/task/860/stat : 860 (java) S 845 847 847 0 -1 4202560 73 0 0 0 0 0 0 0 16 0 19 0 869277670 8746049536 20757 33554432000 1073741824 1073778376 140734055085056 18446744073709551615 230820981657 0 4 0 16800975 18446604459516179520 0 0 -1 5 0 0 0
[pid=847/tid=861] ppid=845 vsize=8541064 CPUtime=0 cores=1,3,5,7
/proc/847/task/861/stat : 861 (java) S 845 847 847 0 -1 4202560 98 0 0 0 0 0 0 0 15 0 19 0 869277670 8746049536 20757 33554432000 1073741824 1073778376 140734055085056 18446744073709551615 230820981657 0 4 0 16800975 18446604459516179520 0 0 -1 5 0 0 0
[pid=847/tid=862] ppid=845 vsize=8541064 CPUtime=0 cores=1,3,5,7
/proc/847/task/862/stat : 862 (java) S 845 847 847 0 -1 4202560 675 0 0 0 0 0 0 0 16 0 19 0 869277670 8746049536 20757 33554432000 1073741824 1073778376 140734055085056 18446744073709551615 230820981657 0 4 0 16800975 18446604459516179520 0 0 -1 3 0 0 0
[pid=847/tid=863] ppid=845 vsize=8541064 CPUtime=0.03 cores=1,3,5,7
/proc/847/task/863/stat : 863 (java) S 845 847 847 0 -1 4202560 1340 0 0 0 3 0 0 0 15 0 19 0 869277671 8746049536 20757 33554432000 1073741824 1073778376 140734055085056 18446744073709551615 230820982272 0 0 0 16800975 18446604459516179520 0 0 -1 1 0 0 0
[pid=847/tid=864] ppid=845 vsize=8541064 CPUtime=0 cores=1,3,5,7
/proc/847/task/864/stat : 864 (java) S 845 847 847 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 869277671 8746049536 20757 33554432000 1073741824 1073778376 140734055085056 18446744073709551615 230820981657 0 4 0 16800975 18446604459516179520 0 0 -1 1 0 0 0
################
# More data... #
################
/proc/1019/stat : 1019 (wbo1.4a) T 1017 1019 1019 0 -1 4202496 21038 0 0 0 4844 84 0 0 25 0 1 0 869287531 74252288 17687 33554432000 134512640 135751879 4288875840 18446744073709551615 134616827 0 0 16781312 3 18446744071562691360 0 0 17 1 0 0 0
/proc/1019/statm: 18128 17687 146 303 0 17823 0
[pid=1017/tid=1027] ppid=830 vsize=305852 CPUtime=0 cores=1,3,5,7
/proc/1017/task/1027/stat : 1027 (python) S 830 830 32706 0 -1 4202560 42 0 0 0 0 0 0 0 17 0 2 0 869292461 313192448 6302 33554432000 4194304 5683644 140735456229792 18446744073709551615 230820989361 0 0 16781312 33554946 18446604467177187200 0 0 -1 7 0 0 0
[pid=1028] ppid=830 vsize=316728 CPUtime=0.04 cores=1,3,5,7
/proc/1028/stat : 1028 (python) S 830 830 32706 0 -1 4202560 1023 0 0 0 2 2 0 0 15 0 1 0 869292463 324329472 6407 33554432000 4194304 5683644 140735456229792 18446744073709551615 230809185862 0 0 16781312 33554946 2209923401512910848 0 0 17 1 0 0 0
/proc/1028/statm: 79182 6407 379 364 0 14060 0
[pid=1031] ppid=1028 vsize=109504 CPUtime=13.39 cores=1,3,5,7
/proc/1031/stat : 1031 (scip-2.0.1.linu) R 1028 1031 1031 0 -1 4202496 25845 0 0 0 1308 31 0 0 25 0 1 0 869292463 112132096 22205 33554432000 4194304 15243407 140733538481488 18446744073709551615 13277498 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/1031/statm: 27376 22205 882 2698 0 24671 0
[pid=830/tid=846] ppid=828 vsize=326972 CPUtime=0 cores=1,3,5,7
/proc/830/task/846/stat : 846 (python) S 828 830 32706 0 -1 4202560 30 931 0 0 0 0 0 0 18 0 5 0 869277669 334819328 7909 33554432000 4194304 5683644 140735456229792 18446744073709551615 230820989361 0 0 16781312 33554434 18446604467177186304 0 0 -1 5 0 0 0
[pid=830/tid=991] ppid=828 vsize=326972 CPUtime=0 cores=1,3,5,7
/proc/830/task/991/stat : 991 (python) S 828 830 32706 0 -1 4202560 29 931 0 0 0 0 0 0 20 0 5 0 869282449 334819328 7909 33554432000 4194304 5683644 140735456229792 18446744073709551615 230820989361 0 0 16781312 33554434 18446604467177186304 0 0 -1 1 0 0 0
[pid=830/tid=1018] ppid=828 vsize=326972 CPUtime=0 cores=1,3,5,7
/proc/830/task/1018/stat : 1018 (python) S 828 830 32706 0 -1 4202560 30 931 0 0 0 0 0 0 20 0 5 0 869287531 334819328 7909 33554432000 4194304 5683644 140735456229792 18446744073709551615 230820989361 0 0 16781312 33554434 18446604467177186304 0 0 -1 1 0 0 0
[pid=830/tid=1030] ppid=828 vsize=326972 CPUtime=0 cores=1,3,5,7
/proc/830/task/1030/stat : 1030 (python) S 828 830 32706 0 -1 4202560 29 931 0 0 0 0 0 0 20 0 5 0 869292463 334819328 7909 33554432000 4194304 5683644 140735456229792 18446744073709551615 230820989361 0 0 16781312 33554434 18446604467177186304 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 163.84
Current children cumulated vsize (KiB) 10363752
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+195.701 s]
/proc/loadavg: 2.10 1.72 0.88 5/546 1063
/proc/meminfo: memFree=28904036/32951124 swapFree=36471928/67111528
[pid=830] ppid=828 vsize=337228 CPUtime=0.76 cores=1,3,5,7
/proc/830/stat : 830 (python) S 828 830 32706 0 -1 4202496 14219 931 1 0 65 11 0 0 20 0 6 0 869277573 345321472 7915 33554432000 4194304 5683644 140735456229792 18446744073709551615 230820992459 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/830/statm: 84307 7915 1879 364 0 19182 0
[pid=845] ppid=830 vsize=295584 CPUtime=0.16 cores=1,3,5,7
/proc/845/stat : 845 (python) S 830 830 32706 0 -1 4202560 1083 0 0 0 9 7 0 0 16 0 2 0 869277668 302678016 6302 33554432000 4194304 5683644 140735456229792 18446744073709551615 230820992459 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/845/statm: 73896 6302 407 364 0 8783 0
[pid=847] ppid=845 vsize=8541064 CPUtime=49.15 cores=1,3,5,7
/proc/847/stat : 847 (java) T 845 847 847 0 -1 4202496 33784 0 1 0 4910 5 0 0 18 0 19 0 869277669 8746049536 29025 33554432000 1073741824 1073778376 140734055085056 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/847/statm: 2135266 29025 2258 9 0 2126007 0
[pid=847/tid=848] ppid=845 vsize=8541064 CPUtime=47.36 cores=1,3,5,7
/proc/847/task/848/stat : 848 (java) T 845 847 847 0 -1 4202560 12450 0 1 0 4734 2 0 0 25 0 19 0 869277669 8746049536 29025 33554432000 1073741824 1073778376 140734055085056 18446744073709551615 46912505787624 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=847/tid=849] ppid=845 vsize=8541064 CPUtime=0.02 cores=1,3,5,7
/proc/847/task/849/stat : 849 (java) T 845 847 847 0 -1 4202560 1277 0 0 0 2 0 0 0 15 0 19 0 869277670 8746049536 29025 33554432000 1073741824 1073778376 140734055085056 18446744073709551615 230820981657 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=847/tid=850] ppid=845 vsize=8541064 CPUtime=0.01 cores=1,3,5,7
/proc/847/task/850/stat : 850 (java) T 845 847 847 0 -1 4202560 754 0 0 0 1 0 0 0 15 0 19 0 869277670 8746049536 29025 33554432000 1073741824 1073778376 140734055085056 18446744073709551615 230820981657 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=847/tid=851] ppid=845 vsize=8541064 CPUtime=0.01 cores=1,3,5,7
/proc/847/task/851/stat : 851 (java) T 845 847 847 0 -1 4202560 125 0 0 0 1 0 0 0 15 0 19 0 869277670 8746049536 29025 33554432000 1073741824 1073778376 140734055085056 18446744073709551615 230820981657 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=847/tid=858] ppid=845 vsize=8541064 CPUtime=0 cores=1,3,5,7
/proc/847/task/858/stat : 858 (java) T 845 847 847 0 -1 4202560 142 0 0 0 0 0 0 0 15 0 19 0 869277670 8746049536 29025 33554432000 1073741824 1073778376 140734055085056 18446744073709551615 230820981657 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=847/tid=859] ppid=845 vsize=8541064 CPUtime=0.02 cores=1,3,5,7
/proc/847/task/859/stat : 859 (java) T 845 847 847 0 -1 4202560 1134 0 0 0 2 0 0 0 15 0 19 0 869277670 8746049536 29025 33554432000 1073741824 1073778376 140734055085056 18446744073709551615 230820981657 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=847/tid=860] ppid=845 vsize=8541064 CPUtime=0.01 cores=1,3,5,7
/proc/847/task/860/stat : 860 (java) T 845 847 847 0 -1 4202560 84 0 0 0 1 0 0 0 15 0 19 0 869277670 8746049536 29025 33554432000 1073741824 1073778376 140734055085056 18446744073709551615 230820981657 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=847/tid=861] ppid=845 vsize=8541064 CPUtime=0.01 cores=1,3,5,7
/proc/847/task/861/stat : 861 (java) T 845 847 847 0 -1 4202560 136 0 0 0 1 0 0 0 15 0 19 0 869277670 8746049536 29025 33554432000 1073741824 1073778376 140734055085056 18446744073709551615 230820981657 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=847/tid=862] ppid=845 vsize=8541064 CPUtime=0.02 cores=1,3,5,7
/proc/847/task/862/stat : 862 (java) T 845 847 847 0 -1 4202560 2105 0 0 0 2 0 0 0 15 0 19 0 869277670 8746049536 29025 33554432000 1073741824 1073778376 140734055085056 18446744073709551615 230820981657 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=847/tid=863] ppid=845 vsize=8541064 CPUtime=0.29 cores=1,3,5,7
/proc/847/task/863/stat : 863 (java) T 845 847 847 0 -1 4202560 5571 0 0 0 29 0 0 0 15 0 19 0 869277671 8746049536 29025 33554432000 1073741824 1073778376 140734055085056 18446744073709551615 230820982272 0 0 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=847/tid=864] ppid=845 vsize=8541064 CPUtime=0 cores=1,3,5,7
/proc/847/task/864/stat : 864 (java) T 845 847 847 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 869277671 8746049536 29025 33554432000 1073741824 1073778376 140734055085056 18446744073709551615 230820981657 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=847/tid=865] ppid=845 vsize=8541064 CPUtime=0 cores=1,3,5,7
/proc/847/task/865/stat : 865 (java) T 845 847 847 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 869277671 8746049536 29025 33554432000 1073741824 1073778376 140734055085056 18446744073709551615 230820981657 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=847/tid=866] ppid=845 vsize=8541064 CPUtime=0 cores=1,3,5,7
/proc/847/task/866/stat : 866 (java) T 845 847 847 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869277673 8746049536 29025 33554432000 1073741824 1073778376 140734055085056 18446744073709551615 230820989361 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=847/tid=867] ppid=845 vsize=8541064 CPUtime=0.59 cores=1,3,5,7
/proc/847/task/867/stat : 867 (java) T 845 847 847 0 -1 4202560 4477 0 0 0 59 0 0 0 15 0 19 0 869277673 8746049536 29025 33554432000 1073741824 1073778376 140734055085056 18446744073709551615 230820981657 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=847/tid=868] ppid=845 vsize=8541064 CPUtime=0.71 cores=1,3,5,7
/proc/847/task/868/stat : 868 (java) T 845 847 847 0 -1 4202560 4149 0 0 0 71 0 0 0 15 0 19 0 869277673 8746049536 29025 33554432000 1073741824 1073778376 140734055085056 18446744073709551615 230820981657 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=847/tid=869] ppid=845 vsize=8541064 CPUtime=0 cores=1,3,5,7
/proc/847/task/869/stat : 869 (java) T 845 847 847 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869277673 8746049536 29025 33554432000 1073741824 1073778376 140734055085056 18446744073709551615 230820981657 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=847/tid=870] ppid=845 vsize=8541064 CPUtime=0 cores=1,3,5,7
/proc/847/task/870/stat : 870 (java) T 845 847 847 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 869277673 8746049536 29025 33554432000 1073741824 1073778376 140734055085056 18446744073709551615 230820982272 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=847/tid=871] ppid=845 vsize=8541064 CPUtime=0 cores=1,3,5,7
/proc/847/task/871/stat : 871 (java) T 845 847 847 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 869277713 8746049536 29025 33554432000 1073741824 1073778376 140734055085056 18446744073709551615 230820982272 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=845/tid=989] ppid=830 vsize=295584 CPUtime=0 cores=1,3,5,7
/proc/845/task/989/stat : 989 (python) S 830 830 32706 0 -1 4202560 45 0 0 0 0 0 0 0 16 0 2 0 869282446 302678016 6302 33554432000 4194304 5683644 140735456229792 18446744073709551615 230820989361 0 0 16781312 33554946 18446604459110090624 0 0 -1 7 0 0 0
[pid=990] ppid=830 vsize=295596 CPUtime=0.19 cores=1,3,5,7
/proc/990/stat : 990 (python) S 830 830 32706 0 -1 4202560 1129 0 0 0 9 10 0 0 16 0 2 0 869282448 302690304 6292 33554432000 4194304 5683644 140735456229792 18446744073709551615 230820992459 0 0 16781312 33554946 18446744073709551615 0 0 17 1 0 0 0
/proc/990/statm: 73899 6292 397 364 0 8783 0
[pid=992] ppid=990 vsize=99940 CPUtime=50.71 cores=1,3,5,7
/proc/992/stat : 992 (scip-2.0.1.linu) T 990 992 992 0 -1 4202496 31716 0 0 0 4996 75 0 0 25 0 1 0 869282449 102338560 22283 33554432000 4194304 13684479 140735589235168 18446744073709551615 7360257 0 0 16781312 2 18446744071562691360 0 0 17 7 0 0 0
/proc/992/statm: 24985 22283 796 2317 0 22663 0
[pid=990/tid=1016] ppid=830 vsize=295596 CPUtime=0 cores=1,3,5,7
/proc/990/task/1016/stat : 1016 (python) S 830 830 32706 0 -1 4202560 46 0 0 0 0 0 0 0 16 0 2 0 869287529 302690304 6292 33554432000 4194304 5683644 140735456229792 18446744073709551615 230820989361 0 0 16781312 33554946 18446604459054824384 0 0 -1 1 0 0 0
[pid=1017] ppid=830 vsize=305852 CPUtime=0.19 cores=1,3,5,7
/proc/1017/stat : 1017 (python) S 830 830 32706 0 -1 4202560 1172 0 0 0 9 10 0 0 17 0 2 0 869287531 313192448 6302 33554432000 4194304 5683644 140735456229792 18446744073709551615 230820992459 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/1017/statm: 76463 6302 403 364 0 11344 0
[pid=1019] ppid=1017 vsize=72512 CPUtime=49.28 cores=1,3,5,7
/proc/1019/stat : 1019 (wbo1.4a) T 1017 1019 1019 0 -1 4202496 21038 0 0 0 4844 84 0 0 25 0 1 0 869287531 74252288 17687 33554432000 134512640 135751879 4288875840 18446744073709551615 134616827 0 0 16781312 3 18446744071562691360 0 0 17 1 0 0 0
/proc/1019/statm: 18128 17687 146 303 0 17823 0
[pid=1017/tid=1027] ppid=830 vsize=305852 CPUtime=0 cores=1,3,5,7
/proc/1017/task/1027/stat : 1027 (python) S 830 830 32706 0 -1 4202560 42 0 0 0 0 0 0 0 17 0 2 0 869292461 313192448 6302 33554432000 4194304 5683644 140735456229792 18446744073709551615 230820989361 0 0 16781312 33554946 18446604467177187200 0 0 -1 7 0 0 0
[pid=1028] ppid=830 vsize=316728 CPUtime=0.16 cores=1,3,5,7
/proc/1028/stat : 1028 (python) S 830 830 32706 0 -1 4202560 1201 0 0 0 8 8 0 0 16 0 2 0 869292463 324329472 6432 33554432000 4194304 5683644 140735456229792 18446744073709551615 230820992459 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/1028/statm: 79182 6432 403 364 0 14060 0
[pid=1031] ppid=1028 vsize=117060 CPUtime=46.56 cores=1,3,5,7
/proc/1031/stat : 1031 (scip-2.0.1.linu) T 1028 1031 1031 0 -1 4202496 76144 0 0 0 4607 49 0 0 25 0 1 0 869292463 119869440 23501 33554432000 4194304 15243407 140733538481488 18446744073709551615 8113548 0 0 16781312 2 18446744071562691360 0 0 17 3 0 0 0
/proc/1031/statm: 29265 23501 909 2698 0 26560 0
[pid=1028/tid=1040] ppid=830 vsize=316728 CPUtime=0 cores=1,3,5,7
/proc/1028/task/1040/stat : 1040 (python) S 830 830 32706 0 -1 4202560 48 0 0 0 0 0 0 0 16 0 2 0 869297120 324329472 6432 33554432000 4194304 5683644 140735456229792 18446744073709551615 230820989361 0 0 16781312 33554946 18446604459516181312 0 0 -1 7 0 0 0
[pid=1042] ppid=830 vsize=326984 CPUtime=0 cores=1,3,5,7
/proc/1042/stat : 1042 (python) S 830 830 32706 0 -1 4202560 809 0 0 0 0 0 0 0 18 0 1 0 869297123 334831616 6381 33554432000 4194304 5683644 140735456229792 18446744073709551615 230809185862 0 0 16781312 33554946 1706614411935875072 0 0 17 1 0 0 0
/proc/1042/statm: 81746 6381 349 364 0 16621 0
[pid=1044] ppid=1042 vsize=8533732 CPUtime=0.3 cores=1,3,5,7
/proc/1044/stat : 1044 (java) S 1042 1044 1044 0 -1 4202496 6659 0 1 0 29 1 0 0 20 0 18 0 869297123 8738541568 6115 33554432000 1073741824 1073778376 140736883131456 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/1044/statm: 2133433 6115 2183 9 0 2124174 0
[pid=1044/tid=1045] ppid=1042 vsize=8533732 CPUtime=0.17 cores=1,3,5,7
/proc/1044/task/1045/stat : 1045 (java) R 1042 1044 1044 0 -1 4202560 4077 0 1 0 17 0 0 0 22 0 18 0 869297124 8738541568 6160 33554432000 1073741824 1073778376 140736883131456 18446744073709551615 230820991669 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=1044/tid=1046] ppid=1042 vsize=8533732 CPUtime=0 cores=1,3,5,7
/proc/1044/task/1046/stat : 1046 (java) S 1042 1044 1044 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 869297125 8738541568 6160 33554432000 1073741824 1073778376 140736883131456 18446744073709551615 230820981657 0 4 0 16800975 18446604465627245440 0 0 -1 5 0 0 0
[pid=1044/tid=1048] ppid=1042 vsize=8533732 CPUtime=0 cores=1,3,5,7
/proc/1044/task/1048/stat : 1048 (java) S 1042 1044 1044 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 869297125 8738541568 6160 33554432000 1073741824 1073778376 140736883131456 18446744073709551615 230820981657 0 4 0 16800975 18446604465627245440 0 0 -1 7 0 0 0
[pid=1044/tid=1049] ppid=1042 vsize=8533732 CPUtime=0 cores=1,3,5,7
/proc/1044/task/1049/stat : 1049 (java) S 1042 1044 1044 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 869297125 8738541568 6160 33554432000 1073741824 1073778376 140736883131456 18446744073709551615 230820981657 0 4 0 16800975 18446604465627245440 0 0 -1 7 0 0 0
[pid=1044/tid=1050] ppid=1042 vsize=8533732 CPUtime=0 cores=1,3,5,7
/proc/1044/task/1050/stat : 1050 (java) S 1042 1044 1044 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 869297125 8738541568 6160 33554432000 1073741824 1073778376 140736883131456 18446744073709551615 230820981657 0 4 0 16800975 18446604465627245440 0 0 -1 7 0 0 0
[pid=1044/tid=1051] ppid=1042 vsize=8533732 CPUtime=0 cores=1,3,5,7
/proc/1044/task/1051/stat : 1051 (java) S 1042 1044 1044 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 869297125 8738541568 6160 33554432000 1073741824 1073778376 140736883131456 18446744073709551615 230820981657 0 4 0 16800975 18446604465627245440 0 0 -1 7 0 0 0
[pid=1044/tid=1052] ppid=1042 vsize=8533732 CPUtime=0 cores=1,3,5,7
/proc/1044/task/1052/stat : 1052 (java) S 1042 1044 1044 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 869297125 8738541568 6160 33554432000 1073741824 1073778376 140736883131456 18446744073709551615 230820981657 0 4 0 16800975 18446604465627245440 0 0 -1 7 0 0 0
[pid=1044/tid=1053] ppid=1042 vsize=8533732 CPUtime=0 cores=1,3,5,7
/proc/1044/task/1053/stat : 1053 (java) S 1042 1044 1044 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 869297125 8738541568 6160 33554432000 1073741824 1073778376 140736883131456 18446744073709551615 230820981657 0 4 0 16800975 18446604465627245440 0 0 -1 7 0 0 0
[pid=1044/tid=1054] ppid=1042 vsize=8533732 CPUtime=0 cores=1,3,5,7
/proc/1044/task/1054/stat : 1054 (java) S 1042 1044 1044 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 869297125 8738541568 6160 33554432000 1073741824 1073778376 140736883131456 18446744073709551615 230820981657 0 4 0 16800975 18446604465627245440 0 0 -1 7 0 0 0
[pid=1044/tid=1055] ppid=1042 vsize=8533732 CPUtime=0 cores=1,3,5,7
/proc/1044/task/1055/stat : 1055 (java) S 1042 1044 1044 0 -1 4202560 2 0 0 0 0 0 0 0 23 0 18 0 869297126 8738541568 6160 33554432000 1073741824 1073778376 140736883131456 18446744073709551615 230820982272 0 0 0 16800975 18446604465627245440 0 0 -1 7 0 0 0
[pid=1044/tid=1057] ppid=1042 vsize=8533732 CPUtime=0 cores=1,3,5,7
/proc/1044/task/1057/stat : 1057 (java) S 1042 1044 1044 0 -1 4202560 16 0 0 0 0 0 0 0 23 0 18 0 869297126 8738541568 6160 33554432000 1073741824 1073778376 140736883131456 18446744073709551615 230820981657 0 4 0 16800975 18446604465627245440 0 0 -1 5 0 0 0
[pid=1044/tid=1058] ppid=1042 vsize=8533732 CPUtime=0 cores=1,3,5,7
/proc/1044/task/1058/stat : 1058 (java) S 1042 1044 1044 0 -1 4202560 8 0 0 0 0 0 0 0 24 0 18 0 869297126 8738541568 6160 33554432000 1073741824 1073778376 140736883131456 18446744073709551615 230820981657 0 4 0 16800975 18446604465627245440 0 0 -1 7 0 0 0
[pid=1044/tid=1059] ppid=1042 vsize=8533732 CPUtime=0 cores=1,3,5,7
/proc/1044/task/1059/stat : 1059 (java) S 1042 1044 1044 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 869297129 8738541568 6160 33554432000 1073741824 1073778376 140736883131456 18446744073709551615 230820989361 0 4 0 16800975 18446604465627245440 0 0 -1 5 0 0 0
[pid=1044/tid=1060] ppid=1042 vsize=8533732 CPUtime=0.05 cores=1,3,5,7
/proc/1044/task/1060/stat : 1060 (java) R 1042 1044 1044 0 -1 4202560 341 0 0 0 5 0 0 0 19 0 18 0 869297129 8738541568 6160 33554432000 1073741824 1073778376 140736883131456 18446744073709551615 47703928419938 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=1044/tid=1061] ppid=1042 vsize=8533732 CPUtime=0.06 cores=1,3,5,7
/proc/1044/task/1061/stat : 1061 (java) S 1042 1044 1044 0 -1 4202560 894 0 0 0 6 0 0 0 17 0 18 0 869297129 8738541568 6160 33554432000 1073741824 1073778376 140736883131456 18446744073709551615 230820981657 0 4 0 16800975 18446604465627245440 0 0 -1 5 0 0 0
[pid=1044/tid=1062] ppid=1042 vsize=8533732 CPUtime=0 cores=1,3,5,7
/proc/1044/task/1062/stat : 1062 (java) S 1042 1044 1044 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 869297129 8738541568 6160 33554432000 1073741824 1073778376 140736883131456 18446744073709551615 230820981657 0 4 0 16800975 18446604465627245440 0 0 -1 5 0 0 0
[pid=1044/tid=1063] ppid=1042 vsize=8533732 CPUtime=0 cores=1,3,5,7
/proc/1044/task/1063/stat : 1063 (java) S 1042 1044 1044 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 869297129 8738541568 6160 33554432000 1073741824 1073778376 140736883131456 18446744073709551615 230820982272 0 4 0 16800975 18446604465627245440 0 0 -1 1 0 0 0
[pid=830/tid=846] ppid=828 vsize=337228 CPUtime=0 cores=1,3,5,7
/proc/830/task/846/stat : 846 (python) S 828 830 32706 0 -1 4202560 30 931 0 0 0 0 0 0 18 0 6 0 869277669 345321472 7915 33554432000 4194304 5683644 140735456229792 18446744073709551615 230820989361 0 0 16781312 33554434 18446604467177186304 0 0 -1 5 0 0 0
[pid=830/tid=991] ppid=828 vsize=337228 CPUtime=0 cores=1,3,5,7
/proc/830/task/991/stat : 991 (python) S 828 830 32706 0 -1 4202560 29 931 0 0 0 0 0 0 20 0 6 0 869282449 345321472 7915 33554432000 4194304 5683644 140735456229792 18446744073709551615 230820989361 0 0 16781312 33554434 18446604467177186304 0 0 -1 1 0 0 0
[pid=830/tid=1018] ppid=828 vsize=337228 CPUtime=0 cores=1,3,5,7
/proc/830/task/1018/stat : 1018 (python) S 828 830 32706 0 -1 4202560 30 931 0 0 0 0 0 0 20 0 6 0 869287531 345321472 7915 33554432000 4194304 5683644 140735456229792 18446744073709551615 230820989361 0 0 16781312 33554434 18446604467177186304 0 0 -1 1 0 0 0
[pid=830/tid=1030] ppid=828 vsize=337228 CPUtime=0 cores=1,3,5,7
/proc/830/task/1030/stat : 1030 (python) S 828 830 32706 0 -1 4202560 29 931 0 0 0 0 0 0 20 0 6 0 869292463 345321472 7915 33554432000 4194304 5683644 140735456229792 18446744073709551615 230820989361 0 0 16781312 33554434 18446604467177186304 0 0 -1 7 0 0 0
[pid=830/tid=1043] ppid=828 vsize=337228 CPUtime=0 cores=1,3,5,7
/proc/830/task/1043/stat : 1043 (python) S 828 830 32706 0 -1 4202560 31 931 0 0 0 0 0 0 20 0 6 0 869297123 345321472 7915 33554432000 4194304 5683644 140735456229792 18446744073709551615 230820989361 0 0 16781312 33554434 18446604467177186304 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 197.46
Current children cumulated vsize (KiB) 19242280
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 830 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=651900
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=121981
# CPU time returned by wait4() is 0.773881
# while last known CPU time is 197.46
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 195.774
CPU time (s): 197.46
CPU user time (s): 194.86
CPU system time (s): 2.6
CPU usage (%): 100.861
Max. virtual memory (cumulated for all children) (KiB): 19242280
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.6519
system time used= 0.121981
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15153
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= 2868
involuntary context switches= 18
runsolver used 0.869867 second user time and 2.08868 second system time
The end