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-3481712-1307577300/watcher-3481712-1307577300 -o /tmp/evaluation-result-3481712-1307577300/solver-3481712-1307577300 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3481712-1307577300.opb -seed 1067838095 -budget 1800
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.95 1.95 1.29 2/643 23335
/proc/meminfo: memFree=21086984/32950928 swapFree=61542368/67111528
[pid=23335] ppid=23333 vsize=15764 CPUtime=0 cores=0,2,4,6
/proc/23335/stat : 23335 (python) R 23333 23335 22387 0 -1 4202496 845 0 0 0 0 0 0 0 25 0 1 0 947960808 16142336 728 33554432000 4194304 5683644 140734873886800 18446744073709551615 260905393920 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/23335/statm: 3941 729 334 364 0 428 0
[startup+0.055298 s]
/proc/loadavg: 1.95 1.95 1.29 2/643 23335
/proc/meminfo: memFree=21086984/32950928 swapFree=61542368/67111528
[pid=23335] ppid=23333 vsize=29784 CPUtime=0.03 cores=0,2,4,6
/proc/23335/stat : 23335 (python) R 23333 23335 22387 0 -1 4202496 1401 0 0 0 3 0 0 0 25 0 1 0 947960808 30498816 1245 33554432000 4194304 5683644 140734873886800 18446744073709551615 4279202 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/23335/statm: 7446 1245 443 364 0 816 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 29784
[startup+0.100291 s]
/proc/loadavg: 1.95 1.95 1.29 2/643 23335
/proc/meminfo: memFree=21086984/32950928 swapFree=61542368/67111528
[pid=23335] ppid=23333 vsize=87824 CPUtime=0.06 cores=0,2,4,6
/proc/23335/stat : 23335 (python) R 23333 23335 22387 0 -1 4202496 2683 0 0 0 5 1 0 0 25 0 1 0 947960808 89931776 2399 33554432000 4194304 5683644 140734873886800 18446744073709551615 260905049096 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/23335/statm: 21956 2401 730 364 0 1621 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 87824
[startup+0.300254 s]
/proc/loadavg: 1.95 1.95 1.29 2/643 23335
/proc/meminfo: memFree=21086984/32950928 swapFree=61542368/67111528
[pid=23335] ppid=23333 vsize=123740 CPUtime=0.17 cores=0,2,4,6
/proc/23335/stat : 23335 (python) S 23333 23335 22387 0 -1 4202496 5356 932 1 0 12 5 0 0 25 0 1 0 947960808 126709760 3744 33554432000 4194304 5683644 140734873886800 18446744073709551615 260905390085 0 2147483391 16781312 2 18446744071699207358 0 0 17 2 0 0 0
/proc/23335/statm: 30935 3744 987 364 0 2767 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 123740
[startup+0.70023 s]
/proc/loadavg: 1.95 1.95 1.29 2/643 23335
/proc/meminfo: memFree=21086984/32950928 swapFree=61542368/67111528
[pid=23335] ppid=23333 vsize=282832 CPUtime=0.43 cores=0,2,4,6
/proc/23335/stat : 23335 (python) R 23333 23335 22387 0 -1 4202496 9381 932 1 0 33 10 0 0 25 0 1 0 947960808 289619968 7104 33554432000 4194304 5683644 140734873886800 18446744073709551615 260905085057 0 0 16781312 33554434 0 0 0 17 2 0 0 0
/proc/23335/statm: 70708 7104 1855 364 0 5598 0
Current children cumulated CPU time (s) 0.43
Current children cumulated vsize (KiB) 282832
[startup+1.50116 s]
/proc/loadavg: 1.95 1.95 1.29 3/647 23343
/proc/meminfo: memFree=21061404/32950928 swapFree=61542368/67111528
[pid=23335] ppid=23333 vsize=293088 CPUtime=0.45 cores=0,2,4,6
/proc/23335/stat : 23335 (python) S 23333 23335 22387 0 -1 4202496 9615 932 1 0 34 11 0 0 25 0 2 0 947960808 300122112 7134 33554432000 4194304 5683644 140734873886800 18446744073709551615 260917220811 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0
/proc/23335/statm: 73272 7134 1862 364 0 8159 0
[pid=23341] ppid=23335 vsize=282844 CPUtime=0 cores=0,2,4,6
/proc/23341/stat : 23341 (python) S 23335 23335 22387 0 -1 4202560 700 0 0 0 0 0 0 0 25 0 1 0 947960879 289632256 5617 33554432000 4194304 5683644 140734873886800 18446744073709551615 260905414159 0 0 16781312 33554946 17682941490814222595 0 0 17 2 0 0 0
/proc/23341/statm: 70711 5617 349 364 0 5598 0
[pid=23343] ppid=23341 vsize=1860 CPUtime=0.78 cores=0,2,4,6
/proc/23343/stat : 23343 (clasp-1.3.7-x86) R 23341 23343 23343 0 -1 4202496 465 0 0 0 78 0 0 0 25 0 1 0 947960880 1904640 212 33554432000 134512640 136139019 4292523520 18446744073709551615 134882968 0 0 16781312 16386 0 0 0 17 4 0 0 0
/proc/23343/statm: 465 212 183 398 0 65 0
[pid=23335/tid=23342] ppid=23333 vsize=293088 CPUtime=0 cores=0,2,4,6
/proc/23335/task/23342/stat : 23342 (python) S 23333 23335 22387 0 -1 4202560 25 932 0 0 0 0 0 0 25 0 2 0 947960880 300122112 7134 33554432000 4194304 5683644 140734873886800 18446744073709551615 260917217713 0 0 16781312 33554434 18446604452453781824 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.23
Current children cumulated vsize (KiB) 577792
[startup+3.10075 s]
/proc/loadavg: 1.95 1.95 1.29 3/647 23343
/proc/meminfo: memFree=21060660/32950928 swapFree=61542368/67111528
[pid=23335] ppid=23333 vsize=293088 CPUtime=0.45 cores=0,2,4,6
/proc/23335/stat : 23335 (python) S 23333 23335 22387 0 -1 4202496 9615 932 1 0 34 11 0 0 25 0 2 0 947960808 300122112 7134 33554432000 4194304 5683644 140734873886800 18446744073709551615 260917220811 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0
/proc/23335/statm: 73272 7134 1862 364 0 8159 0
[pid=23341] ppid=23335 vsize=282844 CPUtime=0 cores=0,2,4,6
/proc/23341/stat : 23341 (python) S 23335 23335 22387 0 -1 4202560 724 0 0 0 0 0 0 0 18 0 1 0 947960879 289632256 5620 33554432000 4194304 5683644 140734873886800 18446744073709551615 260905414159 0 0 16781312 33554946 17682935443500269827 0 0 17 2 0 0 0
/proc/23341/statm: 70711 5620 352 364 0 5598 0
[pid=23343] ppid=23341 vsize=1860 CPUtime=2.38 cores=0,2,4,6
/proc/23343/stat : 23343 (clasp-1.3.7-x86) R 23341 23343 23343 0 -1 4202496 466 0 0 0 238 0 0 0 25 0 1 0 947960880 1904640 213 33554432000 134512640 136139019 4292523520 18446744073709551615 134831589 0 0 16781312 16386 0 0 0 17 4 0 0 0
/proc/23343/statm: 465 213 183 398 0 65 0
[pid=23335/tid=23342] ppid=23333 vsize=293088 CPUtime=0 cores=0,2,4,6
/proc/23335/task/23342/stat : 23342 (python) S 23333 23335 22387 0 -1 4202560 25 932 0 0 0 0 0 0 25 0 2 0 947960880 300122112 7134 33554432000 4194304 5683644 140734873886800 18446744073709551615 260917217713 0 0 16781312 33554434 18446604452453781824 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2.83
Current children cumulated vsize (KiB) 577792
[startup+6.31915 s]
/proc/loadavg: 1.96 1.95 1.29 3/647 23343
/proc/meminfo: memFree=21061604/32950928 swapFree=61542368/67111528
[pid=23335] ppid=23333 vsize=293088 CPUtime=0.45 cores=0,2,4,6
/proc/23335/stat : 23335 (python) S 23333 23335 22387 0 -1 4202496 9615 932 1 0 34 11 0 0 25 0 2 0 947960808 300122112 7134 33554432000 4194304 5683644 140734873886800 18446744073709551615 260917220811 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0
/proc/23335/statm: 73272 7134 1862 364 0 8159 0
[pid=23341] ppid=23335 vsize=282844 CPUtime=0.02 cores=0,2,4,6
/proc/23341/stat : 23341 (python) S 23335 23335 22387 0 -1 4202560 861 0 0 0 1 1 0 0 18 0 1 0 947960879 289632256 5644 33554432000 4194304 5683644 140734873886800 18446744073709551615 260905414159 0 0 16781312 33554946 4945300081340285187 0 0 17 6 0 0 0
/proc/23341/statm: 70711 5644 376 364 0 5598 0
[pid=23343] ppid=23341 vsize=1860 CPUtime=5.6 cores=0,2,4,6
/proc/23343/stat : 23343 (clasp-1.3.7-x86) R 23341 23343 23343 0 -1 4202496 467 0 0 0 560 0 0 0 25 0 1 0 947960880 1904640 214 33554432000 134512640 136139019 4292523520 18446744073709551615 134599098 0 0 16781312 16386 0 0 0 17 4 0 0 0
/proc/23343/statm: 465 214 183 398 0 65 0
[pid=23335/tid=23342] ppid=23333 vsize=293088 CPUtime=0 cores=0,2,4,6
/proc/23335/task/23342/stat : 23342 (python) S 23333 23335 22387 0 -1 4202560 25 932 0 0 0 0 0 0 25 0 2 0 947960880 300122112 7134 33554432000 4194304 5683644 140734873886800 18446744073709551615 260917217713 0 0 16781312 33554434 18446604452453781824 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 6.07
Current children cumulated vsize (KiB) 577792
[startup+12.701 s]
/proc/loadavg: 1.96 1.95 1.29 3/647 23343
/proc/meminfo: memFree=21060868/32950928 swapFree=61542368/67111528
[pid=23335] ppid=23333 vsize=293088 CPUtime=0.45 cores=0,2,4,6
/proc/23335/stat : 23335 (python) S 23333 23335 22387 0 -1 4202496 9615 932 1 0 34 11 0 0 25 0 2 0 947960808 300122112 7134 33554432000 4194304 5683644 140734873886800 18446744073709551615 260917220811 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0
/proc/23335/statm: 73272 7134 1862 364 0 8159 0
[pid=23341] ppid=23335 vsize=282844 CPUtime=0.04 cores=0,2,4,6
/proc/23341/stat : 23341 (python) S 23335 23335 22387 0 -1 4202560 867 0 0 0 2 2 0 0 18 0 1 0 947960879 289632256 5644 33554432000 4194304 5683644 140734873886800 18446744073709551615 260905414159 0 0 16781312 33554946 72556772316949377 0 0 17 6 0 0 0
/proc/23341/statm: 70711 5644 376 364 0 5598 0
[pid=23343] ppid=23341 vsize=1860 CPUtime=11.98 cores=0,2,4,6
/proc/23343/stat : 23343 (clasp-1.3.7-x86) R 23341 23343 23343 0 -1 4202496 469 0 0 0 1198 0 0 0 25 0 1 0 947960880 1904640 216 33554432000 134512640 136139019 4292523520 18446744073709551615 134831190 0 0 16781312 16386 0 0 0 17 4 0 0 0
/proc/23343/statm: 465 216 183 398 0 65 0
[pid=23335/tid=23342] ppid=23333 vsize=293088 CPUtime=0 cores=0,2,4,6
/proc/23335/task/23342/stat : 23342 (python) S 23333 23335 22387 0 -1 4202560 25 932 0 0 0 0 0 0 25 0 2 0 947960880 300122112 7134 33554432000 4194304 5683644 140734873886800 18446744073709551615 260917217713 0 0 16781312 33554434 18446604452453781824 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 12.47
Current children cumulated vsize (KiB) 577792
[startup+25.5008 s]
/proc/loadavg: 1.97 1.96 1.30 3/647 23343
/proc/meminfo: memFree=21039804/32950928 swapFree=61542368/67111528
[pid=23335] ppid=23333 vsize=293088 CPUtime=0.45 cores=0,2,4,6
/proc/23335/stat : 23335 (python) S 23333 23335 22387 0 -1 4202496 9615 932 1 0 34 11 0 0 25 0 2 0 947960808 300122112 7134 33554432000 4194304 5683644 140734873886800 18446744073709551615 260917220811 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0
/proc/23335/statm: 73272 7134 1862 364 0 8159 0
[pid=23341] ppid=23335 vsize=282844 CPUtime=0.09 cores=0,2,4,6
/proc/23341/stat : 23341 (python) S 23335 23335 22387 0 -1 4202560 873 0 0 0 4 5 0 0 18 0 1 0 947960879 289632256 5644 33554432000 4194304 5683644 140734873886800 18446744073709551615 260905414159 0 0 16781312 33554946 72262103200705409 0 0 17 2 0 0 0
/proc/23341/statm: 70711 5644 376 364 0 5598 0
[pid=23343] ppid=23341 vsize=1860 CPUtime=24.78 cores=0,2,4,6
/proc/23343/stat : 23343 (clasp-1.3.7-x86) R 23341 23343 23343 0 -1 4202496 469 0 0 0 2478 0 0 0 25 0 1 0 947960880 1904640 216 33554432000 134512640 136139019 4292523520 18446744073709551615 134599050 0 0 16781312 16386 0 0 0 17 4 0 0 0
/proc/23343/statm: 465 216 183 398 0 65 0
[pid=23335/tid=23342] ppid=23333 vsize=293088 CPUtime=0 cores=0,2,4,6
/proc/23335/task/23342/stat : 23342 (python) S 23333 23335 22387 0 -1 4202560 25 932 0 0 0 0 0 0 25 0 2 0 947960880 300122112 7134 33554432000 4194304 5683644 140734873886800 18446744073709551615 260917217713 0 0 16781312 33554434 18446604452453781824 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 25.32
Current children cumulated vsize (KiB) 577792
[startup+51.1011 s]
/proc/loadavg: 1.98 1.96 1.32 3/654 23351
/proc/meminfo: memFree=20942428/32950928 swapFree=61542368/67111528
[pid=23335] ppid=23333 vsize=303876 CPUtime=0.48 cores=0,2,4,6
/proc/23335/stat : 23335 (python) S 23333 23335 22387 0 -1 4202496 10493 932 1 0 37 11 0 0 20 0 3 0 947960808 311169024 7259 33554432000 4194304 5683644 140734873886800 18446744073709551615 260917220811 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/23335/statm: 75969 7259 1865 364 0 10853 0
[pid=23341] ppid=23335 vsize=293088 CPUtime=0.19 cores=0,2,4,6
/proc/23341/stat : 23341 (python) S 23335 23335 22387 0 -1 4202560 1108 0 0 0 9 10 0 0 19 0 2 0 947960879 300122112 5685 33554432000 4194304 5683644 140734873886800 18446744073709551615 260917220811 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/23341/statm: 73272 5685 412 364 0 8159 0
[pid=23343] ppid=23341 vsize=1860 CPUtime=48.2 cores=0,2,4,6
/proc/23343/stat : 23343 (clasp-1.3.7-x86) T 23341 23343 23343 0 -1 4202496 470 0 0 0 4820 0 0 0 25 0 1 0 947960880 1904640 217 33554432000 134512640 136139019 4292523520 18446744073709551615 134631926 0 0 16781312 16386 18446744071562691360 0 0 17 4 0 0 0
/proc/23343/statm: 465 217 183 398 0 65 0
[pid=23341/tid=23348] ppid=23335 vsize=293088 CPUtime=0 cores=0,2,4,6
/proc/23341/task/23348/stat : 23348 (python) S 23335 23335 22387 0 -1 4202560 42 0 0 0 0 0 0 0 19 0 2 0 947965700 300122112 5685 33554432000 4194304 5683644 140734873886800 18446744073709551615 260917217713 0 0 16781312 33554946 18446604451149462464 0 0 -1 6 0 0 0
[pid=23349] ppid=23335 vsize=293632 CPUtime=0 cores=0,2,4,6
/proc/23349/stat : 23349 (python) S 23335 23335 22387 0 -1 4202560 779 0 0 0 0 0 0 0 15 0 1 0 947965702 300679168 5739 33554432000 4194304 5683644 140734873886800 18446744073709551615 260905414214 0 0 16781312 33554946 10382393120871383299 0 0 17 2 0 0 0
/proc/23349/statm: 73408 5739 349 364 0 8292 0
[pid=23351] ppid=23349 vsize=9248 CPUtime=2.16 cores=0,2,4,6
/proc/23351/stat : 23351 (wbo1.4a) R 23349 23351 23351 0 -1 4202496 2151 0 0 0 214 2 0 0 25 0 1 0 947965702 9469952 1883 33554432000 134512640 135751879 4290198064 18446744073709551615 135270609 0 0 16781312 3 0 0 0 17 4 0 0 0
/proc/23351/statm: 2312 1883 143 303 0 2007 0
[pid=23335/tid=23342] ppid=23333 vsize=303876 CPUtime=0 cores=0,2,4,6
/proc/23335/task/23342/stat : 23342 (python) S 23333 23335 22387 0 -1 4202560 25 932 0 0 0 0 0 0 25 0 3 0 947960880 311169024 7259 33554432000 4194304 5683644 140734873886800 18446744073709551615 260917217713 0 0 16781312 33554434 18446604452453781824 0 0 -1 2 0 0 0
[pid=23335/tid=23350] ppid=23333 vsize=303876 CPUtime=0 cores=0,2,4,6
/proc/23335/task/23350/stat : 23350 (python) S 23333 23335 22387 0 -1 4202560 28 932 0 0 0 0 0 0 20 0 3 0 947965702 311169024 7259 33554432000 4194304 5683644 140734873886800 18446744073709551615 260917217713 0 0 16781312 33554434 18446604452453781824 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 51.03
Current children cumulated vsize (KiB) 901704
[startup+102.301 s]
/proc/loadavg: 1.99 1.96 1.35 3/662 23360
/proc/meminfo: memFree=20771948/32950928 swapFree=61542368/67111528
[pid=23335] ppid=23333 vsize=313908 CPUtime=0.5 cores=0,2,4,6
/proc/23335/stat : 23335 (python) S 23333 23335 22387 0 -1 4202496 11430 932 1 0 39 11 0 0 20 0 4 0 947960808 321441792 7221 33554432000 4194304 5683644 140734873886800 18446744073709551615 260917220811 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/23335/statm: 78477 7221 1875 364 0 13358 0
[pid=23341] ppid=23335 vsize=293088 CPUtime=0.19 cores=0,2,4,6
/proc/23341/stat : 23341 (python) S 23335 23335 22387 0 -1 4202560 1108 0 0 0 9 10 0 0 19 0 2 0 947960879 300122112 5685 33554432000 4194304 5683644 140734873886800 18446744073709551615 260917220811 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/23341/statm: 73272 5685 412 364 0 8159 0
[pid=23343] ppid=23341 vsize=1860 CPUtime=48.2 cores=0,2,4,6
/proc/23343/stat : 23343 (clasp-1.3.7-x86) T 23341 23343 23343 0 -1 4202496 470 0 0 0 4820 0 0 0 25 0 1 0 947960880 1904640 217 33554432000 134512640 136139019 4292523520 18446744073709551615 134631926 0 0 16781312 16386 18446744071562691360 0 0 17 4 0 0 0
/proc/23343/statm: 465 217 183 398 0 65 0
[pid=23341/tid=23348] ppid=23335 vsize=293088 CPUtime=0 cores=0,2,4,6
/proc/23341/task/23348/stat : 23348 (python) S 23335 23335 22387 0 -1 4202560 42 0 0 0 0 0 0 0 19 0 2 0 947965700 300122112 5685 33554432000 4194304 5683644 140734873886800 18446744073709551615 260917217713 0 0 16781312 33554946 18446604451149462464 0 0 -1 6 0 0 0
[pid=23349] ppid=23335 vsize=293632 CPUtime=0.22 cores=0,2,4,6
/proc/23349/stat : 23349 (python) S 23335 23335 22387 0 -1 4202560 1117 0 0 0 11 11 0 0 17 0 2 0 947965702 300679168 5788 33554432000 4194304 5683644 140734873886800 18446744073709551615 260917220811 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/23349/statm: 73408 5788 397 364 0 8292 0
[pid=23351] ppid=23349 vsize=117716 CPUtime=49.23 cores=0,2,4,6
/proc/23351/stat : 23351 (wbo1.4a) T 23349 23351 23351 0 -1 4202496 29229 0 0 0 4870 53 0 0 25 0 1 0 947965702 120541184 28961 33554432000 134512640 135751879 4290198064 18446744073709551615 134611200 0 0 16781312 3 18446744071562691360 0 0 17 4 0 0 0
/proc/23351/statm: 29429 28961 143 303 0 29124 0
[pid=23349/tid=23357] ppid=23335 vsize=293632 CPUtime=0 cores=0,2,4,6
/proc/23349/task/23357/stat : 23357 (python) S 23335 23335 22387 0 -1 4202560 48 0 0 0 0 0 0 0 17 0 2 0 947970625 300679168 5788 33554432000 4194304 5683644 140734873886800 18446744073709551615 260917217713 0 0 16781312 33554946 18446604450033161344 0 0 -1 6 0 0 0
[pid=23358] ppid=23335 vsize=303664 CPUtime=0.12 cores=0,2,4,6
/proc/23358/stat : 23358 (python) S 23335 23335 22387 0 -1 4202560 933 0 0 0 10 2 0 0 15 0 1 0 947970628 310951936 5716 33554432000 4194304 5683644 140734873886800 18446744073709551615 260905414214 0 0 16781312 33554946 514923246865350656 0 0 17 0 0 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 481.89
Current children cumulated vsize (KiB) 20062932
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+478.102 s]
/proc/loadavg: 2.26 2.14 1.62 5/753 23725
/proc/meminfo: memFree=18700628/32950928 swapFree=61542368/67111528
[pid=23335] ppid=23333 vsize=355496 CPUtime=0.65 cores=0,2,4,6
/proc/23335/stat : 23335 (python) S 23333 23335 22387 0 -1 4202496 14981 932 1 0 53 12 0 0 20 0 8 0 947960808 364027904 7389 33554432000 4194304 5683644 140734873886800 18446744073709551615 260917220811 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0
/proc/23335/statm: 88874 7389 1883 364 0 23743 0
[pid=23341] ppid=23335 vsize=293088 CPUtime=0.39 cores=0,2,4,6
/proc/23341/stat : 23341 (python) S 23335 23335 22387 0 -1 4202560 1130 0 0 0 18 21 0 0 18 0 2 0 947960879 300122112 5686 33554432000 4194304 5683644 140734873886800 18446744073709551615 260917220811 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/23341/statm: 73272 5686 413 364 0 8159 0
[pid=23343] ppid=23341 vsize=1860 CPUtime=93.41 cores=0,2,4,6
/proc/23343/stat : 23343 (clasp-1.3.7-x86) T 23341 23343 23343 0 -1 4202496 472 0 0 0 9341 0 0 0 25 0 1 0 947960880 1904640 219 33554432000 134512640 136139019 4292523520 18446744073709551615 134828683 0 0 16781312 16386 18446744071562691360 0 0 17 4 0 0 0
/proc/23343/statm: 465 219 183 398 0 65 0
[pid=23341/tid=23348] ppid=23335 vsize=293088 CPUtime=0 cores=0,2,4,6
/proc/23341/task/23348/stat : 23348 (python) S 23335 23335 22387 0 -1 4202560 43 0 0 0 0 0 0 0 18 0 2 0 947965700 300122112 5686 33554432000 4194304 5683644 140734873886800 18446744073709551615 260917217713 0 0 16781312 33554946 18446604451149462464 0 0 -1 6 0 0 0
[pid=23349] ppid=23335 vsize=293632 CPUtime=0.43 cores=0,2,4,6
/proc/23349/stat : 23349 (python) S 23335 23335 22387 0 -1 4202560 1139 0 0 0 21 22 0 0 15 0 2 0 947965702 300679168 5788 33554432000 4194304 5683644 140734873886800 18446744073709551615 260917220811 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/23349/statm: 73408 5788 397 364 0 8292 0
[pid=23351] ppid=23349 vsize=208360 CPUtime=94.21 cores=0,2,4,6
/proc/23351/stat : 23351 (wbo1.4a) T 23349 23351 23351 0 -1 4202496 51870 0 0 0 9319 102 0 0 25 0 1 0 947965702 213360640 51602 33554432000 134512640 135751879 4290198064 18446744073709551615 134606387 0 0 16781312 3 18446744071562691360 0 0 17 4 0 0 0
/proc/23351/statm: 52090 51602 143 303 0 51785 0
[pid=23349/tid=23357] ppid=23335 vsize=293632 CPUtime=0 cores=0,2,4,6
/proc/23349/task/23357/stat : 23357 (python) S 23335 23335 22387 0 -1 4202560 49 0 0 0 0 0 0 0 15 0 2 0 947970625 300679168 5788 33554432000 4194304 5683644 140734873886800 18446744073709551615 260917217713 0 0 16781312 33554946 18446604450033161344 0 0 -1 6 0 0 0
[pid=23358] ppid=23335 vsize=303940 CPUtime=0.59 cores=0,2,4,6
/proc/23358/stat : 23358 (python) S 23335 23335 22387 0 -1 4202560 1236 0 0 0 41 18 0 0 16 0 2 0 947970628 311234560 5807 33554432000 4194304 5683644 140734873886800 18446744073709551615 260917220811 0 0 16781312 33554946 18446744073709551615 0 0 17 0 0 0 0
/proc/23358/statm: 75985 5807 399 364 0 10866 0
[pid=23360] ppid=23358 vsize=95240 CPUtime=51.27 cores=0,2,4,6
/proc/23360/stat : 23360 (scip-2.0.1.linu) T 23358 23360 23360 0 -1 4202496 22044 0 0 0 4712 415 0 0 18 0 1 0 947970628 97525760 21423 33554432000 4194304 13684479 140736773670352 18446744073709551615 11876362 0 0 16781312 2 18446744071562691360 0 0 17 4 0 0 0
/proc/23360/statm: 23810 21423 804 2317 0 21488 0
[pid=23358/tid=23363] ppid=23335 vsize=303940 CPUtime=0 cores=0,2,4,6
/proc/23358/task/23363/stat : 23363 (python) S 23335 23335 22387 0 -1 4202560 43 0 0 0 0 0 0 0 16 0 2 0 947975767 311234560 5807 33554432000 4194304 5683644 140734873886800 18446744073709551615 260917217713 0 0 16781312 33554946 18446604450273687360 0 0 -1 0 0 0 0
[pid=23364] ppid=23335 vsize=314324 CPUtime=0.21 cores=0,2,4,6
/proc/23364/stat : 23364 (python) S 23335 23335 22387 0 -1 4202560 1146 0 0 0 11 10 0 0 18 0 2 0 947975769 321867776 5825 33554432000 4194304 5683644 140734873886800 18446744073709551615 260917220811 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/23364/statm: 78581 5825 397 364 0 13459 0
[pid=23366] ppid=23364 vsize=8542132 CPUtime=49.47 cores=0,2,4,6
/proc/23366/stat : 23366 (java) T 23364 23366 23366 0 -1 4202496 60025 0 1 0 4939 8 0 0 18 0 19 0 947975770 8747143168 45171 33554432000 1073741824 1073778376 140736153492336 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/23366/statm: 2135533 45171 2233 9 0 2126274 0
[pid=23366/tid=23367] ppid=23364 vsize=8542132 CPUtime=48.28 cores=0,2,4,6
/proc/23366/task/23367/stat : 23367 (java) T 23364 23366 23366 0 -1 4202560 35299 0 1 0 4824 4 0 0 25 0 19 0 947975771 8747143168 45171 33554432000 1073741824 1073778376 140736153492336 18446744073709551615 46912505586234 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=23366/tid=23368] ppid=23364 vsize=8542132 CPUtime=0 cores=0,2,4,6
/proc/23366/task/23368/stat : 23368 (java) T 23364 23366 23366 0 -1 4202560 1979 0 0 0 0 0 0 0 15 0 19 0 947975771 8747143168 45171 33554432000 1073741824 1073778376 140736153492336 18446744073709551615 260917210009 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=23366/tid=23369] ppid=23364 vsize=8542132 CPUtime=0 cores=0,2,4,6
/proc/23366/task/23369/stat : 23369 (java) T 23364 23366 23366 0 -1 4202560 1803 0 0 0 0 0 0 0 15 0 19 0 947975771 8747143168 45171 33554432000 1073741824 1073778376 140736153492336 18446744073709551615 260917210009 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=23366/tid=23370] ppid=23364 vsize=8542132 CPUtime=0.01 cores=0,2,4,6
/proc/23366/task/23370/stat : 23370 (java) T 23364 23366 23366 0 -1 4202560 1044 0 0 0 1 0 0 0 15 0 19 0 947975771 8747143168 45171 33554432000 1073741824 1073778376 140736153492336 18446744073709551615 260917210009 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=23366/tid=23371] ppid=23364 vsize=8542132 CPUtime=0.01 cores=0,2,4,6
/proc/23366/task/23371/stat : 23371 (java) T 23364 23366 23366 0 -1 4202560 1612 0 0 0 1 0 0 0 15 0 19 0 947975771 8747143168 45171 33554432000 1073741824 1073778376 140736153492336 18446744073709551615 260917210009 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=23366/tid=23372] ppid=23364 vsize=8542132 CPUtime=0 cores=0,2,4,6
/proc/23366/task/23372/stat : 23372 (java) T 23364 23366 23366 0 -1 4202560 1017 0 0 0 0 0 0 0 15 0 19 0 947975771 8747143168 45171 33554432000 1073741824 1073778376 140736153492336 18446744073709551615 260917210009 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=23366/tid=23373] ppid=23364 vsize=8542132 CPUtime=0.01 cores=0,2,4,6
/proc/23366/task/23373/stat : 23373 (java) T 23364 23366 23366 0 -1 4202560 1985 0 0 0 1 0 0 0 15 0 19 0 947975771 8747143168 45171 33554432000 1073741824 1073778376 140736153492336 18446744073709551615 260917210009 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=23366/tid=23374] ppid=23364 vsize=8542132 CPUtime=0.01 cores=0,2,4,6
/proc/23366/task/23374/stat : 23374 (java) T 23364 23366 23366 0 -1 4202560 1255 0 0 0 1 0 0 0 15 0 19 0 947975771 8747143168 45171 33554432000 1073741824 1073778376 140736153492336 18446744073709551615 260917210009 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=23366/tid=23375] ppid=23364 vsize=8542132 CPUtime=0 cores=0,2,4,6
/proc/23366/task/23375/stat : 23375 (java) T 23364 23366 23366 0 -1 4202560 287 0 0 0 0 0 0 0 15 0 19 0 947975771 8747143168 45171 33554432000 1073741824 1073778376 140736153492336 18446744073709551615 260917210009 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=23366/tid=23376] ppid=23364 vsize=8542132 CPUtime=0 cores=0,2,4,6
/proc/23366/task/23376/stat : 23376 (java) T 23364 23366 23366 0 -1 4202560 11 0 0 0 0 0 0 0 15 0 19 0 947975772 8747143168 45171 33554432000 1073741824 1073778376 140736153492336 18446744073709551615 260917210624 0 0 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=23366/tid=23377] ppid=23364 vsize=8542132 CPUtime=0 cores=0,2,4,6
/proc/23366/task/23377/stat : 23377 (java) T 23364 23366 23366 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 947975773 8747143168 45171 33554432000 1073741824 1073778376 140736153492336 18446744073709551615 260917210009 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=23366/tid=23378] ppid=23364 vsize=8542132 CPUtime=0 cores=0,2,4,6
/proc/23366/task/23378/stat : 23378 (java) T 23364 23366 23366 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 947975773 8747143168 45171 33554432000 1073741824 1073778376 140736153492336 18446744073709551615 260917210009 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=23366/tid=23379] ppid=23364 vsize=8542132 CPUtime=0 cores=0,2,4,6
/proc/23366/task/23379/stat : 23379 (java) T 23364 23366 23366 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 947975775 8747143168 45171 33554432000 1073741824 1073778376 140736153492336 18446744073709551615 260917217713 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=23366/tid=23380] ppid=23364 vsize=8542132 CPUtime=0.5 cores=0,2,4,6
/proc/23366/task/23380/stat : 23380 (java) T 23364 23366 23366 0 -1 4202560 5762 0 0 0 50 0 0 0 18 0 19 0 947975775 8747143168 45171 33554432000 1073741824 1073778376 140736153492336 18446744073709551615 260917210009 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=23366/tid=23381] ppid=23364 vsize=8542132 CPUtime=0.56 cores=0,2,4,6
/proc/23366/task/23381/stat : 23381 (java) T 23364 23366 23366 0 -1 4202560 6576 0 0 0 55 1 0 0 15 0 19 0 947975775 8747143168 45171 33554432000 1073741824 1073778376 140736153492336 18446744073709551615 260917210009 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=23366/tid=23382] ppid=23364 vsize=8542132 CPUtime=0 cores=0,2,4,6
/proc/23366/task/23382/stat : 23382 (java) T 23364 23366 23366 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 947975775 8747143168 45171 33554432000 1073741824 1073778376 140736153492336 18446744073709551615 260917210009 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=23366/tid=23383] ppid=23364 vsize=8542132 CPUtime=0 cores=0,2,4,6
/proc/23366/task/23383/stat : 23383 (java) T 23364 23366 23366 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 947975775 8747143168 45171 33554432000 1073741824 1073778376 140736153492336 18446744073709551615 260917210624 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=23366/tid=23384] ppid=23364 vsize=8542132 CPUtime=0 cores=0,2,4,6
/proc/23366/task/23384/stat : 23384 (java) T 23364 23366 23366 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 19 0 947975785 8747143168 45171 33554432000 1073741824 1073778376 140736153492336 18446744073709551615 260917210624 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=23364/tid=23486] ppid=23335 vsize=314324 CPUtime=0 cores=0,2,4,6
/proc/23364/task/23486/stat : 23486 (python) S 23335 23335 22387 0 -1 4202560 47 0 0 0 0 0 0 0 19 0 2 0 947980605 321867776 5825 33554432000 4194304 5683644 140734873886800 18446744073709551615 260917217713 0 0 16781312 33554946 18446604453664678848 0 0 -1 6 0 0 0
[pid=23487] ppid=23335 vsize=324580 CPUtime=0.58 cores=0,2,4,6
/proc/23487/stat : 23487 (python) S 23335 23335 22387 0 -1 4202560 1176 0 0 0 28 30 0 0 16 0 2 0 947980608 332369920 5848 33554432000 4194304 5683644 140734873886800 18446744073709551615 260917220811 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/23487/statm: 81145 5848 397 364 0 16020 0
[pid=23489] ppid=23487 vsize=26736 CPUtime=137.56 cores=0,2,4,6
/proc/23489/stat : 23489 (bsolo_pb10) T 23487 23489 23489 0 -1 4202496 2555 0 0 0 13746 10 0 0 25 0 1 0 947980608 27377664 2283 33554432000 134512640 137138936 4292832208 18446744073709551615 134575614 0 0 16781312 16384 18446744071562691360 0 0 17 2 0 0 0
/proc/23489/statm: 6684 2283 192 642 0 6040 0
[pid=23487/tid=23524] ppid=23335 vsize=324580 CPUtime=0 cores=0,2,4,6
/proc/23487/task/23524/stat : 23524 (python) S 23335 23335 22387 0 -1 4202560 51 0 0 0 0 0 0 0 16 0 2 0 947994365 332369920 5848 33554432000 4194304 5683644 140734873886800 18446744073709551615 260917217713 0 0 16781312 33554946 18446604450937344256 0 0 -1 6 0 0 0
[pid=23525] ppid=23335 vsize=334996 CPUtime=0.44 cores=0,2,4,6
/proc/23525/stat : 23525 (python) S 23335 23335 22387 0 -1 4202560 1278 0 0 0 28 16 0 0 16 0 2 0 947994367 343035904 5874 33554432000 4194304 5683644 140734873886800 18446744073709551615 260917220811 0 0 16781312 33554946 18446744073709551615 0 0 17 2 0 0 0
/proc/23525/statm: 83749 5874 398 364 0 18621 0
[pid=23527] ppid=23525 vsize=75944 CPUtime=51.43 cores=0,2,4,6
/proc/23527/stat : 23527 (scip-2.0.1.linu) T 23525 23527 23527 0 -1 4202496 17818 0 0 0 4860 283 0 0 19 0 1 0 947994368 77766656 15666 33554432000 4194304 15243407 140733244238240 18446744073709551615 5563266 0 0 16781312 2 18446744071562691360 0 0 17 0 0 0 0
/proc/23527/statm: 18986 15666 929 2698 0 16281 0
[pid=23525/tid=23676] ppid=23335 vsize=334996 CPUtime=0 cores=0,2,4,6
/proc/23525/task/23676/stat : 23676 (python) S 23335 23335 22387 0 -1 4202560 47 0 0 0 0 0 0 0 16 0 2 0 947999515 343035904 5874 33554432000 4194304 5683644 140734873886800 18446744073709551615 260917217713 0 0 16781312 33554946 18446604449015812480 0 0 -1 2 0 0 0
[pid=23705] ppid=23335 vsize=345252 CPUtime=0 cores=0,2,4,6
/proc/23705/stat : 23705 (python) S 23335 23335 22387 0 -1 4202560 838 0 0 0 0 0 0 0 15 0 1 0 948008542 353538048 5851 33554432000 4194304 5683644 140734873886800 18446744073709551615 260905414214 0 0 16781312 33554946 3659855780267425792 0 0 17 2 0 0 0
/proc/23705/statm: 86313 5851 349 364 0 21182 0
[pid=23707] ppid=23705 vsize=8547352 CPUtime=1.25 cores=0,2,4,6
/proc/23707/stat : 23707 (java) S 23705 23707 23707 0 -1 4202496 32971 0 1 0 121 4 0 0 20 0 19 0 948008542 8752488448 29876 33554432000 1073741824 1073778376 140735129417184 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/23707/statm: 2136838 29876 2239 9 0 2127579 0
[pid=23707/tid=23708] ppid=23705 vsize=8543320 CPUtime=0.77 cores=0,2,4,6
/proc/23707/task/23708/stat : 23708 (java) R 23705 23707 23707 0 -1 4202560 23476 0 1 0 74 3 0 0 19 0 19 0 948008543 8748359680 29185 33554432000 1073741824 1073778376 140735129417184 18446744073709551615 46912505672274 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=23707/tid=23709] ppid=23705 vsize=8543320 CPUtime=0 cores=0,2,4,6
/proc/23707/task/23709/stat : 23709 (java) S 23705 23707 23707 0 -1 4202560 156 0 0 0 0 0 0 0 16 0 19 0 948008544 8748359680 29185 33554432000 1073741824 1073778376 140735129417184 18446744073709551615 260917210009 0 4 0 16800975 18446604451034760448 0 0 -1 2 0 0 0
[pid=23707/tid=23710] ppid=23705 vsize=8543320 CPUtime=0 cores=0,2,4,6
/proc/23707/task/23710/stat : 23710 (java) S 23705 23707 23707 0 -1 4202560 84 0 0 0 0 0 0 0 17 0 19 0 948008544 8748359680 29185 33554432000 1073741824 1073778376 140735129417184 18446744073709551615 260917210009 0 4 0 16800975 18446604451034760448 0 0 -1 6 0 0 0
[pid=23707/tid=23711] ppid=23705 vsize=8543320 CPUtime=0 cores=0,2,4,6
/proc/23707/task/23711/stat : 23711 (java) S 23705 23707 23707 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 948008544 8748359680 29185 33554432000 1073741824 1073778376 140735129417184 18446744073709551615 260917210009 0 4 0 16800975 18446604451034760448 0 0 -1 4 0 0 0
[pid=23707/tid=23712] ppid=23705 vsize=8543320 CPUtime=0 cores=0,2,4,6
/proc/23707/task/23712/stat : 23712 (java) S 23705 23707 23707 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 948008544 8748359680 29185 33554432000 1073741824 1073778376 140735129417184 18446744073709551615 260917210009 0 4 0 16800975 18446604451034760448 0 0 -1 4 0 0 0
[pid=23707/tid=23713] ppid=23705 vsize=8543320 CPUtime=0 cores=0,2,4,6
/proc/23707/task/23713/stat : 23713 (java) S 23705 23707 23707 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 948008544 8748359680 29185 33554432000 1073741824 1073778376 140735129417184 18446744073709551615 260917210009 0 4 0 16800975 18446604451034760448 0 0 -1 6 0 0 0
[pid=23707/tid=23714] ppid=23705 vsize=8543320 CPUtime=0 cores=0,2,4,6
/proc/23707/task/23714/stat : 23714 (java) S 23705 23707 23707 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 948008544 8748359680 29185 33554432000 1073741824 1073778376 140735129417184 18446744073709551615 260917210009 0 4 0 16800975 18446604451034760448 0 0 -1 4 0 0 0
[pid=23707/tid=23715] ppid=23705 vsize=8543320 CPUtime=0 cores=0,2,4,6
/proc/23707/task/23715/stat : 23715 (java) S 23705 23707 23707 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 948008544 8748359680 29185 33554432000 1073741824 1073778376 140735129417184 18446744073709551615 260917210009 0 4 0 16800975 18446604451034760448 0 0 -1 6 0 0 0
[pid=23707/tid=23716] ppid=23705 vsize=8543320 CPUtime=0 cores=0,2,4,6
/proc/23707/task/23716/stat : 23716 (java) S 23705 23707 23707 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 948008544 8748359680 29185 33554432000 1073741824 1073778376 140735129417184 18446744073709551615 260917210009 0 4 0 16800975 18446604451034760448 0 0 -1 2 0 0 0
[pid=23707/tid=23717] ppid=23705 vsize=8543320 CPUtime=0 cores=0,2,4,6
/proc/23707/task/23717/stat : 23717 (java) S 23705 23707 23707 0 -1 4202560 254 0 0 0 0 0 0 0 19 0 19 0 948008545 8748359680 29185 33554432000 1073741824 1073778376 140735129417184 18446744073709551615 260917210624 0 0 0 16800975 18446604451034760448 0 0 -1 4 0 0 0
[pid=23707/tid=23718] ppid=23705 vsize=8543320 CPUtime=0 cores=0,2,4,6
/proc/23707/task/23718/stat : 23718 (java) S 23705 23707 23707 0 -1 4202560 17 0 0 0 0 0 0 0 19 0 19 0 948008545 8748359680 29185 33554432000 1073741824 1073778376 140735129417184 18446744073709551615 260917210009 0 4 0 16800975 18446604451034760448 0 0 -1 4 0 0 0
[pid=23707/tid=23719] ppid=23705 vsize=8543320 CPUtime=0 cores=0,2,4,6
/proc/23707/task/23719/stat : 23719 (java) S 23705 23707 23707 0 -1 4202560 10 0 0 0 0 0 0 0 19 0 19 0 948008545 8748359680 29185 33554432000 1073741824 1073778376 140735129417184 18446744073709551615 260917210009 0 4 0 16800975 18446604451034760448 0 0 -1 4 0 0 0
[pid=23707/tid=23720] ppid=23705 vsize=8543320 CPUtime=0 cores=0,2,4,6
/proc/23707/task/23720/stat : 23720 (java) S 23705 23707 23707 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 948008548 8748359680 29185 33554432000 1073741824 1073778376 140735129417184 18446744073709551615 260917217713 0 4 0 16800975 18446604451034760448 0 0 -1 2 0 0 0
[pid=23707/tid=23721] ppid=23705 vsize=8543320 CPUtime=0.2 cores=0,2,4,6
/proc/23707/task/23721/stat : 23721 (java) S 23705 23707 23707 0 -1 4202560 1967 0 0 0 20 0 0 0 16 0 19 0 948008548 8748359680 29185 33554432000 1073741824 1073778376 140735129417184 18446744073709551615 260917210009 0 4 0 16800975 18446604451034760448 0 0 -1 4 0 0 0
[pid=23707/tid=23722] ppid=23705 vsize=8543320 CPUtime=0.26 cores=0,2,4,6
/proc/23707/task/23722/stat : 23722 (java) S 23705 23707 23707 0 -1 4202560 5647 0 0 0 26 0 0 0 16 0 19 0 948008548 8748359680 29185 33554432000 1073741824 1073778376 140735129417184 18446744073709551615 260917210009 0 4 0 16800975 18446604451034760448 0 0 -1 4 0 0 0
[pid=23707/tid=23723] ppid=23705 vsize=8543320 CPUtime=0 cores=0,2,4,6
/proc/23707/task/23723/stat : 23723 (java) S 23705 23707 23707 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 948008548 8748359680 29185 33554432000 1073741824 1073778376 140735129417184 18446744073709551615 260917210009 0 4 0 16800975 18446604451034760448 0 0 -1 2 0 0 0
[pid=23707/tid=23724] ppid=23705 vsize=8543320 CPUtime=0 cores=0,2,4,6
/proc/23707/task/23724/stat : 23724 (java) S 23705 23707 23707 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 948008548 8748359680 29185 33554432000 1073741824 1073778376 140735129417184 18446744073709551615 260917210624 0 4 0 16800975 18446604451034760448 0 0 -1 0 0 0 0
[pid=23707/tid=23725] ppid=23705 vsize=8543320 CPUtime=0 cores=0,2,4,6
/proc/23707/task/23725/stat : 23725 (java) S 23705 23707 23707 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 948008558 8748359680 29185 33554432000 1073741824 1073778376 140735129417184 18446744073709551615 260917210624 0 4 0 16800975 18446604451034760448 0 0 -1 2 0 0 0
[pid=23335/tid=23342] ppid=23333 vsize=355496 CPUtime=0 cores=0,2,4,6
/proc/23335/task/23342/stat : 23342 (python) S 23333 23335 22387 0 -1 4202560 29 932 0 0 0 0 0 0 18 0 8 0 947960880 364027904 7389 33554432000 4194304 5683644 140734873886800 18446744073709551615 260917217713 0 0 16781312 33554434 18446604452453781824 0 0 -1 2 0 0 0
[pid=23335/tid=23350] ppid=23333 vsize=355496 CPUtime=0 cores=0,2,4,6
/proc/23335/task/23350/stat : 23350 (python) S 23333 23335 22387 0 -1 4202560 33 932 0 0 0 0 0 0 18 0 8 0 947965702 364027904 7389 33554432000 4194304 5683644 140734873886800 18446744073709551615 260917217713 0 0 16781312 33554434 18446604452453781824 0 0 -1 4 0 0 0
[pid=23335/tid=23359] ppid=23333 vsize=355496 CPUtime=0 cores=0,2,4,6
/proc/23335/task/23359/stat : 23359 (python) S 23333 23335 22387 0 -1 4202560 25 932 0 0 0 0 0 0 20 0 8 0 947970628 364027904 7389 33554432000 4194304 5683644 140734873886800 18446744073709551615 260917217713 0 0 16781312 33554434 18446604452453781824 0 0 -1 4 0 0 0
[pid=23335/tid=23365] ppid=23333 vsize=355496 CPUtime=0 cores=0,2,4,6
/proc/23335/task/23365/stat : 23365 (python) S 23333 23335 22387 0 -1 4202560 25 932 0 0 0 0 0 0 20 0 8 0 947975770 364027904 7389 33554432000 4194304 5683644 140734873886800 18446744073709551615 260917217713 0 0 16781312 33554434 18446604452453781824 0 0 -1 4 0 0 0
[pid=23335/tid=23488] ppid=23333 vsize=355496 CPUtime=0 cores=0,2,4,6
/proc/23335/task/23488/stat : 23488 (python) S 23333 23335 22387 0 -1 4202560 31 932 0 0 0 0 0 0 20 0 8 0 947980608 364027904 7389 33554432000 4194304 5683644 140734873886800 18446744073709551615 260917217713 0 0 16781312 33554434 18446604452453781824 0 0 -1 2 0 0 0
[pid=23335/tid=23526] ppid=23333 vsize=355496 CPUtime=0 cores=0,2,4,6
/proc/23335/task/23526/stat : 23526 (python) S 23333 23335 22387 0 -1 4202560 23 932 0 0 0 0 0 0 20 0 8 0 947994368 364027904 7389 33554432000 4194304 5683644 140734873886800 18446744073709551615 260917217713 0 0 16781312 33554434 18446604452453781824 0 0 -1 2 0 0 0
[pid=23335/tid=23706] ppid=23333 vsize=355496 CPUtime=0 cores=0,2,4,6
/proc/23335/task/23706/stat : 23706 (python) S 23333 23335 22387 0 -1 4202560 31 932 0 0 0 0 0 0 20 0 8 0 948008542 364027904 7389 33554432000 4194304 5683644 140734873886800 18446744073709551615 260917217713 0 0 16781312 33554434 18446604452453781824 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 481.89
Current children cumulated vsize (KiB) 20062932
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 23335 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=533918
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=124981
# CPU time returned by wait4() is 0.658899
# while last known CPU time is 481.89
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 478.198
CPU time (s): 481.89
CPU user time (s): 472.38
CPU system time (s): 9.51
CPU usage (%): 100.772
Max. virtual memory (cumulated for all children) (KiB): 20062932
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.533918
system time used= 0.124981
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15917
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= 2882
involuntary context switches= 30
runsolver used 3.67944 second user time and 7.59984 second system time
The end