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-3482239-1307578757/watcher-3482239-1307578757 -o /tmp/evaluation-result-3482239-1307578757/solver-3482239-1307578757 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3482239-1307578757.opb -seed 1422408148 -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.02 1.84 2/648 18175
/proc/meminfo: memFree=13336260/32951124 swapFree=67056304/67111528
[pid=18175] ppid=18173 vsize=15776 CPUtime=0 cores=1,3,5,7
/proc/18175/stat : 18175 (python) R 18173 18175 16077 0 -1 4202496 921 0 0 0 0 0 0 0 20 0 1 0 948106404 16154624 801 33554432000 4194304 5683644 140734880489824 18446744073709551615 260020391941 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/18175/statm: 3944 802 351 364 0 431 0
[startup+0.0869131 s]
/proc/loadavg: 1.94 2.02 1.84 2/648 18175
/proc/meminfo: memFree=13336260/32951124 swapFree=67056304/67111528
[pid=18175] ppid=18173 vsize=54504 CPUtime=0.05 cores=1,3,5,7
/proc/18175/stat : 18175 (python) R 18173 18175 16077 0 -1 4202496 2023 0 0 0 3 2 0 0 17 0 1 0 948106404 55812096 1782 33554432000 4194304 5683644 140734880489824 18446744073709551615 260015433192 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/18175/statm: 13626 1786 491 364 0 1276 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 54504
[startup+0.100899 s]
/proc/loadavg: 1.94 2.02 1.84 2/648 18175
/proc/meminfo: memFree=13336260/32951124 swapFree=67056304/67111528
[pid=18175] ppid=18173 vsize=85620 CPUtime=0.06 cores=1,3,5,7
/proc/18175/stat : 18175 (python) R 18173 18175 16077 0 -1 4202496 2662 0 0 0 4 2 0 0 17 0 1 0 948106404 87674880 2382 33554432000 4194304 5683644 140734880489824 18446744073709551615 4510784 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/18175/statm: 21405 2382 715 364 0 1622 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 85620
[startup+0.300872 s]
/proc/loadavg: 1.94 2.02 1.84 2/648 18175
/proc/meminfo: memFree=13336260/32951124 swapFree=67056304/67111528
[pid=18175] ppid=18173 vsize=123740 CPUtime=0.15 cores=1,3,5,7
/proc/18175/stat : 18175 (python) R 18173 18175 16077 0 -1 4202496 5357 930 1 0 10 5 0 0 16 0 1 0 948106404 126709760 3744 33554432000 4194304 5683644 140734880489824 18446744073709551615 260020391941 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/18175/statm: 30935 3744 987 364 0 2767 0
Current children cumulated CPU time (s) 0.15
Current children cumulated vsize (KiB) 123740
[startup+0.70487 s]
/proc/loadavg: 1.94 2.02 1.84 2/648 18175
/proc/meminfo: memFree=13336260/32951124 swapFree=67056304/67111528
[pid=18175] ppid=18173 vsize=290480 CPUtime=0.4 cores=1,3,5,7
/proc/18175/stat : 18175 (python) R 18173 18175 16077 0 -1 4202496 11097 930 1 0 28 12 0 0 15 0 1 0 948106404 297451520 8960 33554432000 4194304 5683644 140734880489824 18446744073709551615 4425318 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/18175/statm: 72620 8960 1781 364 0 7513 0
Current children cumulated CPU time (s) 0.4
Current children cumulated vsize (KiB) 290480
[startup+1.50063 s]
/proc/loadavg: 1.94 2.02 1.84 3/649 18180
/proc/meminfo: memFree=13294588/32951124 swapFree=67056304/67111528
[pid=18175] ppid=18173 vsize=319832 CPUtime=1.19 cores=1,3,5,7
/proc/18175/stat : 18175 (python) R 18173 18175 16077 0 -1 4202496 18265 930 1 0 107 12 0 0 16 0 1 0 948106404 327507968 16128 33554432000 4194304 5683644 140734880489824 18446744073709551615 260020056773 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/18175/statm: 79958 16128 1781 364 0 14851 0
Current children cumulated CPU time (s) 1.19
Current children cumulated vsize (KiB) 319832
[startup+3.11432 s]
/proc/loadavg: 1.94 2.02 1.84 3/649 18180
/proc/meminfo: memFree=13260664/32951124 swapFree=67056304/67111528
[pid=18175] ppid=18173 vsize=337892 CPUtime=2.81 cores=1,3,5,7
/proc/18175/stat : 18175 (python) R 18173 18175 16077 0 -1 4202496 32084 930 1 0 267 14 0 0 18 0 1 0 948106404 346001408 20821 33554432000 4194304 5683644 140734880489824 18446744073709551615 47877480580320 0 0 16781312 33554434 0 0 0 17 3 0 0 0
/proc/18175/statm: 84473 20821 1816 364 0 19366 0
Current children cumulated CPU time (s) 2.81
Current children cumulated vsize (KiB) 337892
[startup+6.30075 s]
/proc/loadavg: 1.94 2.02 1.84 3/652 18183
/proc/meminfo: memFree=13199056/32951124 swapFree=67056304/67111528
[pid=18175] ppid=18173 vsize=352164 CPUtime=4.13 cores=1,3,5,7
/proc/18175/stat : 18175 (python) S 18173 18175 16077 0 -1 4202496 33369 930 1 0 398 15 0 0 23 0 2 0 948106404 360615936 21880 33554432000 4194304 5683644 140734880489824 18446744073709551615 260032222667 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/18175/statm: 88041 21880 1870 364 0 22928 0
[pid=18181] ppid=18175 vsize=341920 CPUtime=0 cores=1,3,5,7
/proc/18181/stat : 18181 (python) S 18175 18175 16077 0 -1 4202560 738 0 0 0 0 0 0 0 15 0 1 0 948106847 350126080 20357 33554432000 4194304 5683644 140734880489824 18446744073709551615 260020416015 0 0 16781312 33554946 17837488845214417159 0 0 17 3 0 0 0
/proc/18181/statm: 85480 20357 351 364 0 20367 0
[pid=18183] ppid=18181 vsize=58024 CPUtime=1.87 cores=1,3,5,7
/proc/18183/stat : 18183 (wbo1.4a) R 18181 18183 18183 0 -1 4202496 24275 0 0 0 184 3 0 0 19 0 1 0 948106848 59416576 13550 33554432000 134512640 135751879 4294182800 18446744073709551615 135220911 0 0 16781312 3 0 0 0 17 5 0 0 0
/proc/18183/statm: 14506 13550 145 303 0 14201 0
[pid=18175/tid=18182] ppid=18173 vsize=352164 CPUtime=0 cores=1,3,5,7
/proc/18175/task/18182/stat : 18182 (python) S 18173 18175 16077 0 -1 4202560 25 930 0 0 0 0 0 0 23 0 2 0 948106848 360615936 21880 33554432000 4194304 5683644 140734880489824 18446744073709551615 260032219569 0 0 16781312 33554434 18446604471164544320 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 6
Current children cumulated vsize (KiB) 752108
[startup+12.7006 s]
/proc/loadavg: 1.95 2.02 1.85 3/652 18183
/proc/meminfo: memFree=13191416/32951124 swapFree=67056304/67111528
[pid=18175] ppid=18173 vsize=352164 CPUtime=4.13 cores=1,3,5,7
/proc/18175/stat : 18175 (python) S 18173 18175 16077 0 -1 4202496 33369 930 1 0 398 15 0 0 23 0 2 0 948106404 360615936 21880 33554432000 4194304 5683644 140734880489824 18446744073709551615 260032222667 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/18175/statm: 88041 21880 1870 364 0 22928 0
[pid=18181] ppid=18175 vsize=341920 CPUtime=0.03 cores=1,3,5,7
/proc/18181/stat : 18181 (python) S 18175 18175 16077 0 -1 4202560 901 0 0 0 1 2 0 0 15 0 1 0 948106847 350126080 20381 33554432000 4194304 5683644 140734880489824 18446744073709551615 260020416015 0 0 16781312 33554946 4294934790 0 0 17 3 0 0 0
/proc/18181/statm: 85480 20381 375 364 0 20367 0
[pid=18183] ppid=18181 vsize=57896 CPUtime=8.24 cores=1,3,5,7
/proc/18183/stat : 18183 (wbo1.4a) R 18181 18183 18183 0 -1 4202496 31225 0 0 0 818 6 0 0 25 0 1 0 948106848 59285504 13825 33554432000 134512640 135751879 4294182800 18446744073709551615 135270609 0 0 16781312 3 0 0 0 17 5 0 0 0
/proc/18183/statm: 14474 13825 146 303 0 14169 0
[pid=18175/tid=18182] ppid=18173 vsize=352164 CPUtime=0 cores=1,3,5,7
/proc/18175/task/18182/stat : 18182 (python) S 18173 18175 16077 0 -1 4202560 25 930 0 0 0 0 0 0 23 0 2 0 948106848 360615936 21880 33554432000 4194304 5683644 140734880489824 18446744073709551615 260032219569 0 0 16781312 33554434 18446604471164544320 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 12.4
Current children cumulated vsize (KiB) 751980
[startup+25.5012 s]
/proc/loadavg: 1.96 2.02 1.85 3/652 18183
/proc/meminfo: memFree=13189572/32951124 swapFree=67056304/67111528
[pid=18175] ppid=18173 vsize=352164 CPUtime=4.13 cores=1,3,5,7
/proc/18175/stat : 18175 (python) S 18173 18175 16077 0 -1 4202496 33369 930 1 0 398 15 0 0 23 0 2 0 948106404 360615936 21880 33554432000 4194304 5683644 140734880489824 18446744073709551615 260032222667 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/18175/statm: 88041 21880 1870 364 0 22928 0
[pid=18181] ppid=18175 vsize=341920 CPUtime=0.07 cores=1,3,5,7
/proc/18181/stat : 18181 (python) S 18175 18175 16077 0 -1 4202560 905 0 0 0 3 4 0 0 15 0 1 0 948106847 350126080 20381 33554432000 4194304 5683644 140734880489824 18446744073709551615 260020416015 0 0 16781312 33554946 4294934790 0 0 17 7 0 0 0
/proc/18181/statm: 85480 20381 375 364 0 20367 0
[pid=18183] ppid=18181 vsize=65624 CPUtime=21.04 cores=1,3,5,7
/proc/18183/stat : 18183 (wbo1.4a) R 18181 18183 18183 0 -1 4202496 33336 0 0 0 2088 16 0 0 25 0 1 0 948106848 67198976 15489 33554432000 134512640 135751879 4294182800 18446744073709551615 135270609 0 0 16781312 3 0 0 0 17 5 0 0 0
/proc/18183/statm: 16406 15489 146 303 0 16101 0
[pid=18175/tid=18182] ppid=18173 vsize=352164 CPUtime=0 cores=1,3,5,7
/proc/18175/task/18182/stat : 18182 (python) S 18173 18175 16077 0 -1 4202560 25 930 0 0 0 0 0 0 23 0 2 0 948106848 360615936 21880 33554432000 4194304 5683644 140734880489824 18446744073709551615 260032219569 0 0 16781312 33554434 18446604471164544320 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 25.24
Current children cumulated vsize (KiB) 759708
[startup+51.1006 s]
/proc/loadavg: 2.12 2.05 1.86 3/652 18184
/proc/meminfo: memFree=13171192/32951124 swapFree=67056304/67111528
[pid=18175] ppid=18173 vsize=352164 CPUtime=4.13 cores=1,3,5,7
/proc/18175/stat : 18175 (python) S 18173 18175 16077 0 -1 4202496 33369 930 1 0 398 15 0 0 23 0 2 0 948106404 360615936 21880 33554432000 4194304 5683644 140734880489824 18446744073709551615 260032222667 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/18175/statm: 88041 21880 1870 364 0 22928 0
[pid=18181] ppid=18175 vsize=341920 CPUtime=0.15 cores=1,3,5,7
/proc/18181/stat : 18181 (python) S 18175 18175 16077 0 -1 4202560 915 0 0 0 6 9 0 0 15 0 1 0 948106847 350126080 20381 33554432000 4194304 5683644 140734880489824 18446744073709551615 260020416015 0 0 16781312 33554946 4294934790 0 0 17 7 0 0 0
/proc/18181/statm: 85480 20381 375 364 0 20367 0
[pid=18183] ppid=18181 vsize=83372 CPUtime=46.64 cores=1,3,5,7
/proc/18183/stat : 18183 (wbo1.4a) R 18181 18183 18183 0 -1 4202496 39859 0 0 0 4632 32 0 0 25 0 1 0 948106848 85372928 19876 33554432000 134512640 135751879 4294182800 18446744073709551615 134616584 0 0 16781312 3 0 0 0 17 5 0 0 0
/proc/18183/statm: 20843 19876 146 303 0 20538 0
[pid=18175/tid=18182] ppid=18173 vsize=352164 CPUtime=0 cores=1,3,5,7
/proc/18175/task/18182/stat : 18182 (python) S 18173 18175 16077 0 -1 4202560 25 930 0 0 0 0 0 0 23 0 2 0 948106848 360615936 21880 33554432000 4194304 5683644 140734880489824 18446744073709551615 260032219569 0 0 16781312 33554434 18446604471164544320 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 50.92
Current children cumulated vsize (KiB) 777456
[startup+102.301 s]
/proc/loadavg: 2.05 2.04 1.86 3/645 18282
/proc/meminfo: memFree=12019188/32951124 swapFree=67056304/67111528
[pid=18175] ppid=18173 vsize=362420 CPUtime=4.15 cores=1,3,5,7
/proc/18175/stat : 18175 (python) S 18173 18175 16077 0 -1 4202496 34237 930 1 0 400 15 0 0 20 0 3 0 948106404 371118080 21887 33554432000 4194304 5683644 140734880489824 18446744073709551615 260032222667 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/18175/statm: 90605 21887 1873 364 0 25489 0
[pid=18181] ppid=18175 vsize=352164 CPUtime=0.17 cores=1,3,5,7
/proc/18181/stat : 18181 (python) S 18175 18175 16077 0 -1 4202560 1073 0 0 0 7 10 0 0 16 0 2 0 948106847 360615936 20417 33554432000 4194304 5683644 140734880489824 18446744073709551615 260032222667 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/18181/statm: 88041 20417 406 364 0 22928 0
[pid=18183] ppid=18181 vsize=83372 CPUtime=47.34 cores=1,3,5,7
/proc/18183/stat : 18183 (wbo1.4a) T 18181 18183 18183 0 -1 4202496 39859 0 0 0 4701 33 0 0 25 0 1 0 948106848 85372928 19876 33554432000 134512640 135751879 4294182800 18446744073709551615 134616336 0 0 16781312 3 18446744071562691360 0 0 17 5 0 0 0
/proc/18183/statm: 20843 19876 146 303 0 20538 0
[pid=18181/tid=18185] ppid=18175 vsize=352164 CPUtime=0 cores=1,3,5,7
/proc/18181/task/18185/stat : 18185 (python) S 18175 18175 16077 0 -1 4202560 43 0 0 0 0 0 0 0 16 0 2 0 948111585 360615936 20417 33554432000 4194304 5683644 140734880489824 18446744073709551615 260032219569 0 0 16781312 33554946 18446604466516395136 0 0 -1 5 0 0 0
[pid=18186] ppid=18175 vsize=352176 CPUtime=0.15 cores=1,3,5,7
/proc/18186/stat : 18186 (python) S 18175 18175 16077 0 -1 4202560 944 0 0 0 7 8 0 0 15 0 1 0 948111587 360628224 20382 33554432000 4194304 5683644 140734880489824 18446744073709551615 260020416070 0 0 16781312 33554946 5623753486446373771 0 0 17 7 0 0 0
/proc/18186/statm: 88044 20382 372 364 0 22928 0
[pid=18188] ppid=18186 vsize=1074656 CPUtime=50.46 cores=1,3,5,7
/proc/18188/stat : 18188 (scip-2.0.1.linu) R 18186 18188 18188 0 -1 4202496 269472 0 0 0 4843 203 0 0 25 0 1 0 948111587 1100447744 261576 33554432000 4194304 13684479 140736840717280 18446744073709551615 4880960 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/18188/statm: 268664 261576 694 2317 0 266342 0
[pid=18175/tid=18182] ppid=18173 vsize=362420 CPUtime=0 cores=1,3,5,7
/proc/18175/task/18182/stat : 18182 (python) S 18173 18175 16077 0 -1 4202560 25 930 0 0 0 0 0 0 23 0 3 0 948106848 371118080 21887 33554432000 4194304 5683644 140734880489824 18446744073709551615 260032219569 0 0 16781312 33554434 18446604471164544320 0 0 -1 7 0 0 0
[pid=18175/tid=18187] ppid=18173 vsize=362420 CPUtime=0 cores=1,3,5,7
/proc/18175/task/18187/stat : 18187 (python) S 18173 18175 16077 0 -1 4202560 27 930 0 0 0 0 0 0 20 0 3 0 948111587 371118080 21887 33554432000 4194304 5683644 140734880489824 18446744073709551615 260032219569 0 0 16781312 33554434 18446604471164544320 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 2224788
[startup+162.301 s]
/proc/loadavg: 2.02 2.03 1.87 3/675 18314
/proc/meminfo: memFree=8315752/32951124 swapFree=67056304/67111528
[pid=18175] ppid=18173 vsize=382932 CPUtime=4.21 cores=1,3,5,7
/proc/18175/stat : 18175 (python) S 18173 18175 16077 0 -1 4202496 35963 930 1 0 405 16 0 0 20 0 5 0 948106404 392122368 21899 33554432000 4194304 5683644 140734880489824 18446744073709551615 260032222667 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/18175/statm: 95733 21899 1877 364 0 30611 0
[pid=18181] ppid=18175 vsize=352164 CPUtime=0.17 cores=1,3,5,7
/proc/18181/stat : 18181 (python) S 18175 18175 16077 0 -1 4202560 1073 0 0 0 7 10 0 0 16 0 2 0 948106847 360615936 20417 33554432000 4194304 5683644 140734880489824 18446744073709551615 260032222667 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/18181/statm: 88041 20417 406 364 0 22928 0
[pid=18183] ppid=18181 vsize=83372 CPUtime=47.34 cores=1,3,5,7
/proc/18183/stat : 18183 (wbo1.4a) T 18181 18183 18183 0 -1 4202496 39859 0 0 0 4701 33 0 0 25 0 1 0 948106848 85372928 19876 33554432000 134512640 135751879 4294182800 18446744073709551615 134616336 0 0 16781312 3 18446744071562691360 0 0 17 5 0 0 0
/proc/18183/statm: 20843 19876 146 303 0 20538 0
[pid=18181/tid=18185] ppid=18175 vsize=352164 CPUtime=0 cores=1,3,5,7
/proc/18181/task/18185/stat : 18185 (python) S 18175 18175 16077 0 -1 4202560 43 0 0 0 0 0 0 0 16 0 2 0 948111585 360615936 20417 33554432000 4194304 5683644 140734880489824 18446744073709551615 260032219569 0 0 16781312 33554946 18446604466516395136 0 0 -1 5 0 0 0
[pid=18186] ppid=18175 vsize=352176 CPUtime=0.17 cores=1,3,5,7
/proc/18186/stat : 18186 (python) S 18175 18175 16077 0 -1 4202560 1110 0 0 0 8 9 0 0 16 0 2 0 948111587 360628224 20407 33554432000 4194304 5683644 140734880489824 18446744073709551615 260032222667 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/18186/statm: 88044 20407 396 364 0 22928 0
[pid=18188] ppid=18186 vsize=1085600 CPUtime=52.27 cores=1,3,5,7
/proc/18188/stat : 18188 (scip-2.0.1.linu) T 18186 18188 18188 0 -1 4202496 272020 0 0 0 5024 203 0 0 25 0 1 0 948111587 1111654400 264124 33554432000 4194304 13684479 140736840717280 18446744073709551615 4880647 0 0 16781312 2 18446744071562691360 0 0 17 1 0 0 0
/proc/18188/statm: 271400 264124 694 2317 0 269078 0
[pid=18186/tid=18283] ppid=18175 vsize=352176 CPUtime=0 cores=1,3,5,7
/proc/18186/task/18283/stat : 18283 (python) S 18175 18175 16077 0 -1 4202560 48 0 0 0 0 0 0 0 16 0 2 0 948116816 360628224 20407 33554432000 4194304 5683644 140734880489824 18446744073709551615 260032219569 0 0 16781312 33554946 18446604467411461184 0 0 -1 7 0 0 0
[pid=18284] ppid=18175 vsize=362432 CPUtime=0.15 cores=1,3,5,7
################
# More data... #
################
/proc/18188/stat : 18188 (scip-2.0.1.linu) T 18186 18188 18188 0 -1 4202496 272020 0 0 0 5024 203 0 0 25 0 1 0 948111587 1111654400 264124 33554432000 4194304 13684479 140736840717280 18446744073709551615 4880647 0 0 16781312 2 18446744071562691360 0 0 17 1 0 0 0
/proc/18188/statm: 271400 264124 694 2317 0 269078 0
[pid=18186/tid=18283] ppid=18175 vsize=352176 CPUtime=0 cores=1,3,5,7
/proc/18186/task/18283/stat : 18283 (python) S 18175 18175 16077 0 -1 4202560 48 0 0 0 0 0 0 0 16 0 2 0 948116816 360628224 20407 33554432000 4194304 5683644 140734880489824 18446744073709551615 260032219569 0 0 16781312 33554946 18446604467411461184 0 0 -1 7 0 0 0
[pid=18284] ppid=18175 vsize=362432 CPUtime=0.15 cores=1,3,5,7
/proc/18284/stat : 18284 (python) S 18175 18175 16077 0 -1 4202560 1093 0 0 0 7 8 0 0 16 0 2 0 948116818 371130368 20411 33554432000 4194304 5683644 140734880489824 18446744073709551615 260032222667 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/18284/statm: 90608 20411 396 364 0 25489 0
[pid=18286] ppid=18284 vsize=8546304 CPUtime=49.47 cores=1,3,5,7
/proc/18286/stat : 18286 (java) T 18284 18286 18286 0 -1 4202496 721476 0 1 0 4867 80 0 0 18 0 19 0 948116819 8751415296 702007 33554432000 1073741824 1073778376 140736514149056 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/18286/statm: 2136576 702007 2246 9 0 2127317 0
[pid=18286/tid=18287] ppid=18284 vsize=8546304 CPUtime=46.27 cores=1,3,5,7
/proc/18286/task/18287/stat : 18287 (java) T 18284 18286 18286 0 -1 4202560 630514 0 1 0 4560 67 0 0 25 0 19 0 948116819 8751415296 702007 33554432000 1073741824 1073778376 140736514149056 18446744073709551615 46912506057552 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=18286/tid=18288] ppid=18284 vsize=8546304 CPUtime=0.13 cores=1,3,5,7
/proc/18286/task/18288/stat : 18288 (java) T 18284 18286 18286 0 -1 4202560 9397 0 0 0 13 0 0 0 15 0 19 0 948116820 8751415296 702007 33554432000 1073741824 1073778376 140736514149056 18446744073709551615 260032211865 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=18286/tid=18289] ppid=18284 vsize=8546304 CPUtime=0.14 cores=1,3,5,7
/proc/18286/task/18289/stat : 18289 (java) T 18284 18286 18286 0 -1 4202560 8856 0 0 0 13 1 0 0 15 0 19 0 948116820 8751415296 702007 33554432000 1073741824 1073778376 140736514149056 18446744073709551615 260032211865 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=18286/tid=18290] ppid=18284 vsize=8546304 CPUtime=0.1 cores=1,3,5,7
/proc/18286/task/18290/stat : 18290 (java) T 18284 18286 18286 0 -1 4202560 7722 0 0 0 10 0 0 0 15 0 19 0 948116820 8751415296 702007 33554432000 1073741824 1073778376 140736514149056 18446744073709551615 260032211865 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=18286/tid=18291] ppid=18284 vsize=8546304 CPUtime=0.18 cores=1,3,5,7
/proc/18286/task/18291/stat : 18291 (java) T 18284 18286 18286 0 -1 4202560 13533 0 0 0 17 1 0 0 15 0 19 0 948116820 8751415296 702007 33554432000 1073741824 1073778376 140736514149056 18446744073709551615 260032211865 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=18286/tid=18292] ppid=18284 vsize=8546304 CPUtime=0.09 cores=1,3,5,7
/proc/18286/task/18292/stat : 18292 (java) T 18284 18286 18286 0 -1 4202560 6281 0 0 0 9 0 0 0 15 0 19 0 948116820 8751415296 702007 33554432000 1073741824 1073778376 140736514149056 18446744073709551615 260032211865 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=18286/tid=18293] ppid=18284 vsize=8546304 CPUtime=0.16 cores=1,3,5,7
/proc/18286/task/18293/stat : 18293 (java) T 18284 18286 18286 0 -1 4202560 10948 0 0 0 15 1 0 0 15 0 19 0 948116820 8751415296 702007 33554432000 1073741824 1073778376 140736514149056 18446744073709551615 260032211865 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=18286/tid=18294] ppid=18284 vsize=8546304 CPUtime=0.14 cores=1,3,5,7
/proc/18286/task/18294/stat : 18294 (java) T 18284 18286 18286 0 -1 4202560 10265 0 0 0 13 1 0 0 15 0 19 0 948116820 8751415296 702007 33554432000 1073741824 1073778376 140736514149056 18446744073709551615 260032211865 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=18286/tid=18295] ppid=18284 vsize=8546304 CPUtime=0.15 cores=1,3,5,7
/proc/18286/task/18295/stat : 18295 (java) T 18284 18286 18286 0 -1 4202560 9807 0 0 0 14 1 0 0 15 0 19 0 948116820 8751415296 702007 33554432000 1073741824 1073778376 140736514149056 18446744073709551615 260032211865 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=18286/tid=18296] ppid=18284 vsize=8546304 CPUtime=0 cores=1,3,5,7
/proc/18286/task/18296/stat : 18296 (java) T 18284 18286 18286 0 -1 4202560 1271 0 0 0 0 0 0 0 15 0 19 0 948116821 8751415296 702007 33554432000 1073741824 1073778376 140736514149056 18446744073709551615 260032212480 0 0 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=18286/tid=18297] ppid=18284 vsize=8546304 CPUtime=0 cores=1,3,5,7
/proc/18286/task/18297/stat : 18297 (java) T 18284 18286 18286 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 948116821 8751415296 702007 33554432000 1073741824 1073778376 140736514149056 18446744073709551615 260032211865 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=18286/tid=18298] ppid=18284 vsize=8546304 CPUtime=0 cores=1,3,5,7
/proc/18286/task/18298/stat : 18298 (java) T 18284 18286 18286 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 948116821 8751415296 702007 33554432000 1073741824 1073778376 140736514149056 18446744073709551615 260032211865 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=18286/tid=18299] ppid=18284 vsize=8546304 CPUtime=0 cores=1,3,5,7
/proc/18286/task/18299/stat : 18299 (java) T 18284 18286 18286 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 948116823 8751415296 702007 33554432000 1073741824 1073778376 140736514149056 18446744073709551615 260032219569 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=18286/tid=18300] ppid=18284 vsize=8546304 CPUtime=1.18 cores=1,3,5,7
/proc/18286/task/18300/stat : 18300 (java) T 18284 18286 18286 0 -1 4202560 4590 0 0 0 118 0 0 0 15 0 19 0 948116823 8751415296 702007 33554432000 1073741824 1073778376 140736514149056 18446744073709551615 260032211865 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=18286/tid=18301] ppid=18284 vsize=8546304 CPUtime=0.8 cores=1,3,5,7
/proc/18286/task/18301/stat : 18301 (java) T 18284 18286 18286 0 -1 4202560 6898 0 0 0 79 1 0 0 15 0 19 0 948116823 8751415296 702007 33554432000 1073741824 1073778376 140736514149056 18446744073709551615 260032211865 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=18286/tid=18302] ppid=18284 vsize=8546304 CPUtime=0 cores=1,3,5,7
/proc/18286/task/18302/stat : 18302 (java) T 18284 18286 18286 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 19 0 948116823 8751415296 702007 33554432000 1073741824 1073778376 140736514149056 18446744073709551615 260032211865 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=18286/tid=18303] ppid=18284 vsize=8546304 CPUtime=0 cores=1,3,5,7
/proc/18286/task/18303/stat : 18303 (java) T 18284 18286 18286 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 948116823 8751415296 702007 33554432000 1073741824 1073778376 140736514149056 18446744073709551615 260032212480 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=18286/tid=18304] ppid=18284 vsize=8546304 CPUtime=0 cores=1,3,5,7
/proc/18286/task/18304/stat : 18304 (java) T 18284 18286 18286 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 948116983 8751415296 702007 33554432000 1073741824 1073778376 140736514149056 18446744073709551615 260032212480 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=18284/tid=18311] ppid=18175 vsize=362432 CPUtime=0 cores=1,3,5,7
/proc/18284/task/18311/stat : 18311 (python) S 18175 18175 16077 0 -1 4202560 43 0 0 0 0 0 0 0 16 0 2 0 948121482 371130368 20411 33554432000 4194304 5683644 140734880489824 18446744073709551615 260032219569 0 0 16781312 33554946 18446604459998462912 0 0 -1 7 0 0 0
[pid=18312] ppid=18175 vsize=372688 CPUtime=5.25 cores=1,3,5,7
/proc/18312/stat : 18312 (python) S 18175 18175 16077 0 -1 4202560 1061 0 0 0 245 280 0 0 15 0 1 0 948121484 381632512 20390 33554432000 4194304 5683644 140734880489824 18446744073709551615 260020416070 0 0 16781312 33554946 5623753486446373771 0 0 17 7 0 0 0
/proc/18312/statm: 93172 20390 372 364 0 28050 0
[pid=18314] ppid=18312 vsize=1308704 CPUtime=1631.54 cores=1,3,5,7
/proc/18314/stat : 18314 (bsolo_pb10) R 18312 18314 18314 0 -1 4202496 26328958 0 0 0 160349 2805 0 0 25 0 1 0 948121485 1340112896 324532 33554432000 134512640 137138936 4292496768 18446744073709551615 134575204 0 0 16781312 16384 0 0 0 17 3 0 0 0
/proc/18314/statm: 327176 324532 192 642 0 326532 0
[pid=18175/tid=18182] ppid=18173 vsize=382932 CPUtime=0 cores=1,3,5,7
/proc/18175/task/18182/stat : 18182 (python) S 18173 18175 16077 0 -1 4202560 25 930 0 0 0 0 0 0 23 0 5 0 948106848 392122368 21899 33554432000 4194304 5683644 140734880489824 18446744073709551615 260032219569 0 0 16781312 33554434 18446604471164544320 0 0 -1 7 0 0 0
[pid=18175/tid=18187] ppid=18173 vsize=382932 CPUtime=0 cores=1,3,5,7
/proc/18175/task/18187/stat : 18187 (python) S 18173 18175 16077 0 -1 4202560 27 930 0 0 0 0 0 0 20 0 5 0 948111587 392122368 21899 33554432000 4194304 5683644 140734880489824 18446744073709551615 260032219569 0 0 16781312 33554434 18446604471164544320 0 0 -1 7 0 0 0
[pid=18175/tid=18285] ppid=18173 vsize=382932 CPUtime=0 cores=1,3,5,7
/proc/18175/task/18285/stat : 18285 (python) S 18173 18175 16077 0 -1 4202560 30 930 0 0 0 0 0 0 20 0 5 0 948116819 392122368 21899 33554432000 4194304 5683644 140734880489824 18446744073709551615 260032219569 0 0 16781312 33554434 18446604471164544320 0 0 -1 1 0 0 0
[pid=18175/tid=18313] ppid=18173 vsize=382932 CPUtime=0 cores=1,3,5,7
/proc/18175/task/18313/stat : 18313 (python) S 18173 18175 16077 0 -1 4202560 29 930 0 0 0 0 0 0 20 0 5 0 948121485 392122368 21899 33554432000 4194304 5683644 140734880489824 18446744073709551615 260032219569 0 0 16781312 33554434 18446604471164544320 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1790.57
Current children cumulated vsize (KiB) 12846372
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1791.72 s]
/proc/loadavg: 1.04 1.03 1.17 2/684 18427
/proc/meminfo: memFree=4361080/32951124 swapFree=67056304/67111528
[pid=18175] ppid=18173 vsize=382932 CPUtime=4.21 cores=1,3,5,7
/proc/18175/stat : 18175 (python) S 18173 18175 16077 0 -1 4202496 35963 930 1 0 405 16 0 0 20 0 5 0 948106404 392122368 21899 33554432000 4194304 5683644 140734880489824 18446744073709551615 260032222667 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/18175/statm: 95733 21899 1877 364 0 30611 0
[pid=18181] ppid=18175 vsize=352164 CPUtime=0.17 cores=1,3,5,7
/proc/18181/stat : 18181 (python) S 18175 18175 16077 0 -1 4202560 1073 0 0 0 7 10 0 0 16 0 2 0 948106847 360615936 20417 33554432000 4194304 5683644 140734880489824 18446744073709551615 260032222667 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/18181/statm: 88041 20417 406 364 0 22928 0
[pid=18183] ppid=18181 vsize=83372 CPUtime=47.34 cores=1,3,5,7
/proc/18183/stat : 18183 (wbo1.4a) T 18181 18183 18183 0 -1 4202496 39859 0 0 0 4701 33 0 0 25 0 1 0 948106848 85372928 19876 33554432000 134512640 135751879 4294182800 18446744073709551615 134616336 0 0 16781312 3 18446744071562691360 0 0 17 5 0 0 0
/proc/18183/statm: 20843 19876 146 303 0 20538 0
[pid=18181/tid=18185] ppid=18175 vsize=352164 CPUtime=0 cores=1,3,5,7
/proc/18181/task/18185/stat : 18185 (python) S 18175 18175 16077 0 -1 4202560 43 0 0 0 0 0 0 0 16 0 2 0 948111585 360615936 20417 33554432000 4194304 5683644 140734880489824 18446744073709551615 260032219569 0 0 16781312 33554946 18446604466516395136 0 0 -1 5 0 0 0
[pid=18186] ppid=18175 vsize=352176 CPUtime=0.17 cores=1,3,5,7
/proc/18186/stat : 18186 (python) S 18175 18175 16077 0 -1 4202560 1110 0 0 0 8 9 0 0 16 0 2 0 948111587 360628224 20407 33554432000 4194304 5683644 140734880489824 18446744073709551615 260032222667 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/18186/statm: 88044 20407 396 364 0 22928 0
[pid=18188] ppid=18186 vsize=1085600 CPUtime=52.27 cores=1,3,5,7
/proc/18188/stat : 18188 (scip-2.0.1.linu) T 18186 18188 18188 0 -1 4202496 272020 0 0 0 5024 203 0 0 25 0 1 0 948111587 1111654400 264124 33554432000 4194304 13684479 140736840717280 18446744073709551615 4880647 0 0 16781312 2 18446744071562691360 0 0 17 1 0 0 0
/proc/18188/statm: 271400 264124 694 2317 0 269078 0
[pid=18186/tid=18283] ppid=18175 vsize=352176 CPUtime=0 cores=1,3,5,7
/proc/18186/task/18283/stat : 18283 (python) S 18175 18175 16077 0 -1 4202560 48 0 0 0 0 0 0 0 16 0 2 0 948116816 360628224 20407 33554432000 4194304 5683644 140734880489824 18446744073709551615 260032219569 0 0 16781312 33554946 18446604467411461184 0 0 -1 7 0 0 0
[pid=18284] ppid=18175 vsize=362432 CPUtime=0.15 cores=1,3,5,7
/proc/18284/stat : 18284 (python) S 18175 18175 16077 0 -1 4202560 1093 0 0 0 7 8 0 0 16 0 2 0 948116818 371130368 20411 33554432000 4194304 5683644 140734880489824 18446744073709551615 260032222667 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/18284/statm: 90608 20411 396 364 0 25489 0
[pid=18286] ppid=18284 vsize=8546304 CPUtime=49.47 cores=1,3,5,7
/proc/18286/stat : 18286 (java) T 18284 18286 18286 0 -1 4202496 721476 0 1 0 4867 80 0 0 18 0 19 0 948116819 8751415296 702007 33554432000 1073741824 1073778376 140736514149056 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/18286/statm: 2136576 702007 2246 9 0 2127317 0
[pid=18286/tid=18287] ppid=18284 vsize=8546304 CPUtime=46.27 cores=1,3,5,7
/proc/18286/task/18287/stat : 18287 (java) T 18284 18286 18286 0 -1 4202560 630514 0 1 0 4560 67 0 0 25 0 19 0 948116819 8751415296 702007 33554432000 1073741824 1073778376 140736514149056 18446744073709551615 46912506057552 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=18286/tid=18288] ppid=18284 vsize=8546304 CPUtime=0.13 cores=1,3,5,7
/proc/18286/task/18288/stat : 18288 (java) T 18284 18286 18286 0 -1 4202560 9397 0 0 0 13 0 0 0 15 0 19 0 948116820 8751415296 702007 33554432000 1073741824 1073778376 140736514149056 18446744073709551615 260032211865 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=18286/tid=18289] ppid=18284 vsize=8546304 CPUtime=0.14 cores=1,3,5,7
/proc/18286/task/18289/stat : 18289 (java) T 18284 18286 18286 0 -1 4202560 8856 0 0 0 13 1 0 0 15 0 19 0 948116820 8751415296 702007 33554432000 1073741824 1073778376 140736514149056 18446744073709551615 260032211865 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=18286/tid=18290] ppid=18284 vsize=8546304 CPUtime=0.1 cores=1,3,5,7
/proc/18286/task/18290/stat : 18290 (java) T 18284 18286 18286 0 -1 4202560 7722 0 0 0 10 0 0 0 15 0 19 0 948116820 8751415296 702007 33554432000 1073741824 1073778376 140736514149056 18446744073709551615 260032211865 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=18286/tid=18291] ppid=18284 vsize=8546304 CPUtime=0.18 cores=1,3,5,7
/proc/18286/task/18291/stat : 18291 (java) T 18284 18286 18286 0 -1 4202560 13533 0 0 0 17 1 0 0 15 0 19 0 948116820 8751415296 702007 33554432000 1073741824 1073778376 140736514149056 18446744073709551615 260032211865 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=18286/tid=18292] ppid=18284 vsize=8546304 CPUtime=0.09 cores=1,3,5,7
/proc/18286/task/18292/stat : 18292 (java) T 18284 18286 18286 0 -1 4202560 6281 0 0 0 9 0 0 0 15 0 19 0 948116820 8751415296 702007 33554432000 1073741824 1073778376 140736514149056 18446744073709551615 260032211865 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=18286/tid=18293] ppid=18284 vsize=8546304 CPUtime=0.16 cores=1,3,5,7
/proc/18286/task/18293/stat : 18293 (java) T 18284 18286 18286 0 -1 4202560 10948 0 0 0 15 1 0 0 15 0 19 0 948116820 8751415296 702007 33554432000 1073741824 1073778376 140736514149056 18446744073709551615 260032211865 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=18286/tid=18294] ppid=18284 vsize=8546304 CPUtime=0.14 cores=1,3,5,7
/proc/18286/task/18294/stat : 18294 (java) T 18284 18286 18286 0 -1 4202560 10265 0 0 0 13 1 0 0 15 0 19 0 948116820 8751415296 702007 33554432000 1073741824 1073778376 140736514149056 18446744073709551615 260032211865 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=18286/tid=18295] ppid=18284 vsize=8546304 CPUtime=0.15 cores=1,3,5,7
/proc/18286/task/18295/stat : 18295 (java) T 18284 18286 18286 0 -1 4202560 9807 0 0 0 14 1 0 0 15 0 19 0 948116820 8751415296 702007 33554432000 1073741824 1073778376 140736514149056 18446744073709551615 260032211865 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=18286/tid=18296] ppid=18284 vsize=8546304 CPUtime=0 cores=1,3,5,7
/proc/18286/task/18296/stat : 18296 (java) T 18284 18286 18286 0 -1 4202560 1271 0 0 0 0 0 0 0 15 0 19 0 948116821 8751415296 702007 33554432000 1073741824 1073778376 140736514149056 18446744073709551615 260032212480 0 0 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=18286/tid=18297] ppid=18284 vsize=8546304 CPUtime=0 cores=1,3,5,7
/proc/18286/task/18297/stat : 18297 (java) T 18284 18286 18286 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 948116821 8751415296 702007 33554432000 1073741824 1073778376 140736514149056 18446744073709551615 260032211865 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=18286/tid=18298] ppid=18284 vsize=8546304 CPUtime=0 cores=1,3,5,7
/proc/18286/task/18298/stat : 18298 (java) T 18284 18286 18286 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 948116821 8751415296 702007 33554432000 1073741824 1073778376 140736514149056 18446744073709551615 260032211865 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=18286/tid=18299] ppid=18284 vsize=8546304 CPUtime=0 cores=1,3,5,7
/proc/18286/task/18299/stat : 18299 (java) T 18284 18286 18286 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 948116823 8751415296 702007 33554432000 1073741824 1073778376 140736514149056 18446744073709551615 260032219569 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=18286/tid=18300] ppid=18284 vsize=8546304 CPUtime=1.18 cores=1,3,5,7
/proc/18286/task/18300/stat : 18300 (java) T 18284 18286 18286 0 -1 4202560 4590 0 0 0 118 0 0 0 15 0 19 0 948116823 8751415296 702007 33554432000 1073741824 1073778376 140736514149056 18446744073709551615 260032211865 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=18286/tid=18301] ppid=18284 vsize=8546304 CPUtime=0.8 cores=1,3,5,7
/proc/18286/task/18301/stat : 18301 (java) T 18284 18286 18286 0 -1 4202560 6898 0 0 0 79 1 0 0 15 0 19 0 948116823 8751415296 702007 33554432000 1073741824 1073778376 140736514149056 18446744073709551615 260032211865 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=18286/tid=18302] ppid=18284 vsize=8546304 CPUtime=0 cores=1,3,5,7
/proc/18286/task/18302/stat : 18302 (java) T 18284 18286 18286 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 19 0 948116823 8751415296 702007 33554432000 1073741824 1073778376 140736514149056 18446744073709551615 260032211865 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=18286/tid=18303] ppid=18284 vsize=8546304 CPUtime=0 cores=1,3,5,7
/proc/18286/task/18303/stat : 18303 (java) T 18284 18286 18286 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 948116823 8751415296 702007 33554432000 1073741824 1073778376 140736514149056 18446744073709551615 260032212480 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=18286/tid=18304] ppid=18284 vsize=8546304 CPUtime=0 cores=1,3,5,7
/proc/18286/task/18304/stat : 18304 (java) T 18284 18286 18286 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 948116983 8751415296 702007 33554432000 1073741824 1073778376 140736514149056 18446744073709551615 260032212480 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=18284/tid=18311] ppid=18175 vsize=362432 CPUtime=0 cores=1,3,5,7
/proc/18284/task/18311/stat : 18311 (python) S 18175 18175 16077 0 -1 4202560 43 0 0 0 0 0 0 0 16 0 2 0 948121482 371130368 20411 33554432000 4194304 5683644 140734880489824 18446744073709551615 260032219569 0 0 16781312 33554946 18446604459998462912 0 0 -1 7 0 0 0
[pid=18312] ppid=18175 vsize=372688 CPUtime=5.29 cores=1,3,5,7
/proc/18312/stat : 18312 (python) S 18175 18175 16077 0 -1 4202560 1061 0 0 0 246 283 0 0 15 0 1 0 948121484 381632512 20390 33554432000 4194304 5683644 140734880489824 18446744073709551615 260020416070 0 0 16781312 33554946 5623753486446373771 0 0 17 7 0 0 0
/proc/18312/statm: 93172 20390 372 364 0 28050 0
[pid=18314] ppid=18312 vsize=1314212 CPUtime=1640.97 cores=1,3,5,7
/proc/18314/stat : 18314 (bsolo_pb10) R 18312 18314 18314 0 -1 4202496 26445599 0 0 0 161278 2819 0 0 25 0 1 0 948121485 1345753088 325915 33554432000 134512640 137138936 4292496768 18446744073709551615 134542516 0 0 16781312 16384 0 0 0 17 3 0 0 0
/proc/18314/statm: 328553 325915 192 642 0 327909 0
[pid=18175/tid=18182] ppid=18173 vsize=382932 CPUtime=0 cores=1,3,5,7
/proc/18175/task/18182/stat : 18182 (python) S 18173 18175 16077 0 -1 4202560 25 930 0 0 0 0 0 0 23 0 5 0 948106848 392122368 21899 33554432000 4194304 5683644 140734880489824 18446744073709551615 260032219569 0 0 16781312 33554434 18446604471164544320 0 0 -1 7 0 0 0
[pid=18175/tid=18187] ppid=18173 vsize=382932 CPUtime=0 cores=1,3,5,7
/proc/18175/task/18187/stat : 18187 (python) S 18173 18175 16077 0 -1 4202560 27 930 0 0 0 0 0 0 20 0 5 0 948111587 392122368 21899 33554432000 4194304 5683644 140734880489824 18446744073709551615 260032219569 0 0 16781312 33554434 18446604471164544320 0 0 -1 7 0 0 0
[pid=18175/tid=18285] ppid=18173 vsize=382932 CPUtime=0 cores=1,3,5,7
/proc/18175/task/18285/stat : 18285 (python) S 18173 18175 16077 0 -1 4202560 30 930 0 0 0 0 0 0 20 0 5 0 948116819 392122368 21899 33554432000 4194304 5683644 140734880489824 18446744073709551615 260032219569 0 0 16781312 33554434 18446604471164544320 0 0 -1 1 0 0 0
[pid=18175/tid=18313] ppid=18173 vsize=382932 CPUtime=0 cores=1,3,5,7
/proc/18175/task/18313/stat : 18313 (python) S 18173 18175 16077 0 -1 4202560 29 930 0 0 0 0 0 0 20 0 5 0 948121485 392122368 21899 33554432000 4194304 5683644 140734880489824 18446744073709551615 260032219569 0 0 16781312 33554434 18446604471164544320 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 12851880
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 18175 and gives
# childrusage.ru_utime.tv_sec=4
# childrusage.ru_utime.tv_usec=54383
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=168974
# CPU time returned by wait4() is 4.22336
# while last known CPU time is 1800.04
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1791.77
CPU time (s): 1800.04
CPU user time (s): 1765.43
CPU system time (s): 34.61
CPU usage (%): 100.462
Max. virtual memory (cumulated for all children) (KiB): 12852452
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.05438
system time used= 0.168974
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 36895
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= 2862
involuntary context switches= 27
runsolver used 10.1655 second user time and 29.1916 second system time
The end