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-3481828-1307576917/watcher-3481828-1307576917 -o /tmp/evaluation-result-3481828-1307576917/solver-3481828-1307576917 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3481828-1307576917.opb -seed 1067838095 -budget 1800
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.05 1.76 0.91 2/583 23053
/proc/meminfo: memFree=22853616/32950928 swapFree=61542368/67111528
[pid=23053] ppid=23051 vsize=15780 CPUtime=0 cores=1,3,5,7
/proc/23053/stat : 23053 (python) R 23051 23053 22387 0 -1 4202496 901 0 0 0 0 0 0 0 17 0 1 0 947922409 16158720 781 33554432000 4194304 5683644 140737261651472 18446744073709551615 260905054917 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/23053/statm: 3945 781 343 364 0 432 0
[startup+0.0637251 s]
/proc/loadavg: 2.05 1.76 0.91 2/583 23053
/proc/meminfo: memFree=22853616/32950928 swapFree=61542368/67111528
[pid=23053] ppid=23051 vsize=45820 CPUtime=0.04 cores=1,3,5,7
/proc/23053/stat : 23053 (python) R 23051 23053 22387 0 -1 4202496 1929 0 0 0 3 1 0 0 17 0 1 0 947922409 46919680 1701 33554432000 4194304 5683644 140737261651472 18446744073709551615 260905389925 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/23053/statm: 11455 1701 470 364 0 1204 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 45820
[startup+0.100718 s]
/proc/loadavg: 2.05 1.76 0.91 2/583 23053
/proc/meminfo: memFree=22853616/32950928 swapFree=61542368/67111528
[pid=23053] ppid=23051 vsize=96128 CPUtime=0.07 cores=1,3,5,7
/proc/23053/stat : 23053 (python) R 23051 23053 22387 0 -1 4202496 3169 929 1 0 6 1 0 0 18 0 1 0 947922409 98435072 2483 33554432000 4194304 5683644 140737261651472 18446744073709551615 5178094 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/23053/statm: 24032 2483 792 364 0 1627 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 96128
[startup+0.300683 s]
/proc/loadavg: 2.05 1.76 0.91 2/583 23053
/proc/meminfo: memFree=22853616/32950928 swapFree=61542368/67111528
[pid=23053] ppid=23051 vsize=203284 CPUtime=0.24 cores=1,3,5,7
/proc/23053/stat : 23053 (python) R 23051 23053 22387 0 -1 4202496 6713 929 1 0 18 6 0 0 17 0 1 0 947922409 208162816 4992 33554432000 4194304 5683644 140737261651472 18446744073709551615 260905393920 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/23053/statm: 50821 4992 1472 364 0 3783 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 203284
[startup+0.700609 s]
/proc/loadavg: 2.05 1.76 0.91 2/583 23053
/proc/meminfo: memFree=22853616/32950928 swapFree=61542368/67111528
[pid=23053] ppid=23051 vsize=288644 CPUtime=0.62 cores=1,3,5,7
/proc/23053/stat : 23053 (python) R 23051 23053 22387 0 -1 4202496 11785 929 1 0 52 10 0 0 17 0 1 0 947922409 295571456 8504 33554432000 4194304 5683644 140737261651472 18446744073709551615 260905052828 0 0 16781312 33554434 0 0 0 17 3 0 0 0
/proc/23053/statm: 72161 8504 1815 364 0 7054 0
Current children cumulated CPU time (s) 0.62
Current children cumulated vsize (KiB) 288644
[startup+1.67243 s]
/proc/loadavg: 2.05 1.76 0.91 2/583 23053
/proc/meminfo: memFree=22853616/32950928 swapFree=61542368/67111528
[pid=23053] ppid=23051 vsize=299888 CPUtime=0.88 cores=1,3,5,7
/proc/23053/stat : 23053 (python) S 23051 23053 22387 0 -1 4202496 12318 929 1 0 78 10 0 0 20 0 2 0 947922409 307085312 8810 33554432000 4194304 5683644 140737261651472 18446744073709551615 260917220811 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/23053/statm: 74972 8810 1870 364 0 9859 0
Current children cumulated CPU time (s) 0.88
Current children cumulated vsize (KiB) 299888
[startup+3.10117 s]
/proc/loadavg: 2.21 1.79 0.92 3/605 23079
/proc/meminfo: memFree=22691800/32950928 swapFree=61542368/67111528
[pid=23053] ppid=23051 vsize=299888 CPUtime=0.88 cores=1,3,5,7
/proc/23053/stat : 23053 (python) S 23051 23053 22387 0 -1 4202496 12318 929 1 0 78 10 0 0 20 0 2 0 947922409 307085312 8810 33554432000 4194304 5683644 140737261651472 18446744073709551615 260917220811 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/23053/statm: 74972 8810 1870 364 0 9859 0
[pid=23059] ppid=23053 vsize=289644 CPUtime=0 cores=1,3,5,7
/proc/23059/stat : 23059 (python) S 23053 23053 22387 0 -1 4202560 855 0 0 0 0 0 0 0 15 0 1 0 947922506 296595456 7293 33554432000 4194304 5683644 140737261651472 18446744073709551615 260905414159 0 0 16781312 33554946 1852886274889744384 0 0 17 7 0 0 0
/proc/23059/statm: 72411 7293 357 364 0 7298 0
[pid=23061] ppid=23059 vsize=8537112 CPUtime=2.97 cores=1,3,5,7
/proc/23061/stat : 23061 (java) S 23059 23061 23061 0 -1 4202496 38132 0 1 0 293 4 0 0 21 0 19 0 947922506 8742002688 34585 33554432000 1073741824 1073778376 140735404937968 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0
/proc/23061/statm: 2134278 34585 2257 9 0 2125019 0
[pid=23061/tid=23062] ppid=23059 vsize=8537112 CPUtime=2.06 cores=1,3,5,7
/proc/23061/task/23062/stat : 23062 (java) R 23059 23061 23061 0 -1 4202560 25395 0 1 0 204 2 0 0 25 0 19 0 947922507 8742002688 34585 33554432000 1073741824 1073778376 140735404937968 18446744073709551615 46912505791416 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=23061/tid=23063] ppid=23059 vsize=8537112 CPUtime=0.01 cores=1,3,5,7
/proc/23061/task/23063/stat : 23063 (java) S 23059 23061 23061 0 -1 4202560 2019 0 0 0 1 0 0 0 17 0 19 0 947922507 8742002688 34585 33554432000 1073741824 1073778376 140735404937968 18446744073709551615 260917210009 0 4 0 16800975 18446604462099133504 0 0 -1 1 0 0 0
[pid=23061/tid=23064] ppid=23059 vsize=8537112 CPUtime=0 cores=1,3,5,7
/proc/23061/task/23064/stat : 23064 (java) S 23059 23061 23061 0 -1 4202560 592 0 0 0 0 0 0 0 17 0 19 0 947922507 8742002688 34585 33554432000 1073741824 1073778376 140735404937968 18446744073709551615 260917210009 0 4 0 16800975 18446604462099133504 0 0 -1 3 0 0 0
[pid=23061/tid=23065] ppid=23059 vsize=8537112 CPUtime=0 cores=1,3,5,7
/proc/23061/task/23065/stat : 23065 (java) S 23059 23061 23061 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 947922507 8742002688 34585 33554432000 1073741824 1073778376 140735404937968 18446744073709551615 260917210009 0 4 0 16800975 18446604462099133504 0 0 -1 1 0 0 0
[pid=23061/tid=23066] ppid=23059 vsize=8537112 CPUtime=0 cores=1,3,5,7
/proc/23061/task/23066/stat : 23066 (java) S 23059 23061 23061 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 947922507 8742002688 34585 33554432000 1073741824 1073778376 140735404937968 18446744073709551615 260917210009 0 4 0 16800975 18446604462099133504 0 0 -1 1 0 0 0
[pid=23061/tid=23067] ppid=23059 vsize=8537112 CPUtime=0 cores=1,3,5,7
/proc/23061/task/23067/stat : 23067 (java) S 23059 23061 23061 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 947922507 8742002688 34585 33554432000 1073741824 1073778376 140735404937968 18446744073709551615 260917210009 0 4 0 16800975 18446604462099133504 0 0 -1 1 0 0 0
[pid=23061/tid=23068] ppid=23059 vsize=8537112 CPUtime=0 cores=1,3,5,7
/proc/23061/task/23068/stat : 23068 (java) S 23059 23061 23061 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 947922507 8742002688 34585 33554432000 1073741824 1073778376 140735404937968 18446744073709551615 260917210009 0 4 0 16800975 18446604462099133504 0 0 -1 1 0 0 0
[pid=23061/tid=23069] ppid=23059 vsize=8537112 CPUtime=0 cores=1,3,5,7
/proc/23061/task/23069/stat : 23069 (java) S 23059 23061 23061 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 947922507 8742002688 34585 33554432000 1073741824 1073778376 140735404937968 18446744073709551615 260917210009 0 4 0 16800975 18446604462099133504 0 0 -1 3 0 0 0
[pid=23061/tid=23070] ppid=23059 vsize=8537112 CPUtime=0 cores=1,3,5,7
/proc/23061/task/23070/stat : 23070 (java) S 23059 23061 23061 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 947922507 8742002688 34585 33554432000 1073741824 1073778376 140735404937968 18446744073709551615 260917210009 0 4 0 16800975 18446604462099133504 0 0 -1 1 0 0 0
[pid=23061/tid=23071] ppid=23059 vsize=8537112 CPUtime=0.01 cores=1,3,5,7
/proc/23061/task/23071/stat : 23071 (java) S 23059 23061 23061 0 -1 4202560 2566 0 0 0 1 0 0 0 16 0 19 0 947922508 8742002688 34585 33554432000 1073741824 1073778376 140735404937968 18446744073709551615 260917210624 0 0 0 16800975 18446604462099133504 0 0 -1 7 0 0 0
[pid=23061/tid=23072] ppid=23059 vsize=8537112 CPUtime=0 cores=1,3,5,7
/proc/23061/task/23072/stat : 23072 (java) S 23059 23061 23061 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 947922509 8742002688 34585 33554432000 1073741824 1073778376 140735404937968 18446744073709551615 260917210009 0 4 0 16800975 18446604462099133504 0 0 -1 7 0 0 0
[pid=23061/tid=23073] ppid=23059 vsize=8537112 CPUtime=0 cores=1,3,5,7
/proc/23061/task/23073/stat : 23073 (java) S 23059 23061 23061 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 947922509 8742002688 34585 33554432000 1073741824 1073778376 140735404937968 18446744073709551615 260917210009 0 4 0 16800975 18446604462099133504 0 0 -1 7 0 0 0
[pid=23061/tid=23074] ppid=23059 vsize=8537112 CPUtime=0 cores=1,3,5,7
/proc/23061/task/23074/stat : 23074 (java) S 23059 23061 23061 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947922511 8742002688 34585 33554432000 1073741824 1073778376 140735404937968 18446744073709551615 260917217713 0 4 0 16800975 18446604462099133504 0 0 -1 7 0 0 0
[pid=23061/tid=23075] ppid=23059 vsize=8537112 CPUtime=0.44 cores=1,3,5,7
/proc/23061/task/23075/stat : 23075 (java) S 23059 23061 23061 0 -1 4202560 3179 0 0 0 44 0 0 0 17 0 19 0 947922511 8742002688 34585 33554432000 1073741824 1073778376 140735404937968 18446744073709551615 260917210009 0 4 0 16800975 18446604462099133504 0 0 -1 3 0 0 0
[pid=23061/tid=23076] ppid=23059 vsize=8537112 CPUtime=0.41 cores=1,3,5,7
/proc/23061/task/23076/stat : 23076 (java) S 23059 23061 23061 0 -1 4202560 2999 0 0 0 41 0 0 0 17 0 19 0 947922511 8742002688 34585 33554432000 1073741824 1073778376 140735404937968 18446744073709551615 260917210009 0 4 0 16800975 18446604462099133504 0 0 -1 1 0 0 0
[pid=23061/tid=23077] ppid=23059 vsize=8537112 CPUtime=0 cores=1,3,5,7
/proc/23061/task/23077/stat : 23077 (java) S 23059 23061 23061 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947922511 8742002688 34585 33554432000 1073741824 1073778376 140735404937968 18446744073709551615 260917210009 0 4 0 16800975 18446604462099133504 0 0 -1 7 0 0 0
[pid=23061/tid=23078] ppid=23059 vsize=8537112 CPUtime=0 cores=1,3,5,7
/proc/23061/task/23078/stat : 23078 (java) S 23059 23061 23061 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 947922511 8742002688 34585 33554432000 1073741824 1073778376 140735404937968 18446744073709551615 260917210624 0 4 0 16800975 18446604462099133504 0 0 -1 3 0 0 0
[pid=23061/tid=23079] ppid=23059 vsize=8537112 CPUtime=0 cores=1,3,5,7
/proc/23061/task/23079/stat : 23079 (java) S 23059 23061 23061 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 947922558 8742002688 34585 33554432000 1073741824 1073778376 140735404937968 18446744073709551615 260917210624 0 4 0 16800975 18446604462099133504 0 0 -1 3 0 0 0
[pid=23053/tid=23060] ppid=23051 vsize=299888 CPUtime=0 cores=1,3,5,7
/proc/23053/task/23060/stat : 23060 (python) S 23051 23053 22387 0 -1 4202560 25 929 0 0 0 0 0 0 20 0 2 0 947922506 307085312 8810 33554432000 4194304 5683644 140737261651472 18446744073709551615 260917217713 0 0 16781312 33554434 18446604466676892096 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3.85
Current children cumulated vsize (KiB) 9126644
[startup+6.31964 s]
/proc/loadavg: 2.21 1.79 0.92 3/605 23080
/proc/meminfo: memFree=22643292/32950928 swapFree=61542368/67111528
[pid=23053] ppid=23051 vsize=299888 CPUtime=0.88 cores=1,3,5,7
/proc/23053/stat : 23053 (python) S 23051 23053 22387 0 -1 4202496 12318 929 1 0 78 10 0 0 20 0 2 0 947922409 307085312 8810 33554432000 4194304 5683644 140737261651472 18446744073709551615 260917220811 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/23053/statm: 74972 8810 1870 364 0 9859 0
[pid=23059] ppid=23053 vsize=289644 CPUtime=0.01 cores=1,3,5,7
/proc/23059/stat : 23059 (python) S 23053 23053 22387 0 -1 4202560 984 0 0 0 1 0 0 0 15 0 1 0 947922506 296595456 7316 33554432000 4194304 5683644 140737261651472 18446744073709551615 260905414159 0 0 16781312 33554946 3641202355048808448 0 0 17 7 0 0 0
/proc/23059/statm: 72411 7316 380 364 0 7298 0
[pid=23061] ppid=23059 vsize=8536924 CPUtime=6.27 cores=1,3,5,7
/proc/23061/stat : 23061 (java) S 23059 23061 23061 0 -1 4202496 50581 0 1 0 622 5 0 0 21 0 19 0 947922506 8741810176 46837 33554432000 1073741824 1073778376 140735404937968 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0
/proc/23061/statm: 2134231 46837 2257 9 0 2124972 0
[pid=23061/tid=23062] ppid=23059 vsize=8536924 CPUtime=5.18 cores=1,3,5,7
/proc/23061/task/23062/stat : 23062 (java) R 23059 23061 23061 0 -1 4202560 25400 0 1 0 516 2 0 0 25 0 19 0 947922507 8741810176 46837 33554432000 1073741824 1073778376 140735404937968 18446744073709551615 46912505808404 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=23061/tid=23063] ppid=23059 vsize=8536924 CPUtime=0.01 cores=1,3,5,7
/proc/23061/task/23063/stat : 23063 (java) S 23059 23061 23061 0 -1 4202560 2692 0 0 0 1 0 0 0 15 0 19 0 947922507 8741810176 46837 33554432000 1073741824 1073778376 140735404937968 18446744073709551615 260917210009 0 4 0 16800975 18446604462099133504 0 0 -1 3 0 0 0
[pid=23061/tid=23064] ppid=23059 vsize=8536924 CPUtime=0 cores=1,3,5,7
/proc/23061/task/23064/stat : 23064 (java) S 23059 23061 23061 0 -1 4202560 2165 0 0 0 0 0 0 0 15 0 19 0 947922507 8741810176 46837 33554432000 1073741824 1073778376 140735404937968 18446744073709551615 260917210009 0 4 0 16800975 18446604462099133504 0 0 -1 3 0 0 0
[pid=23061/tid=23065] ppid=23059 vsize=8536924 CPUtime=0 cores=1,3,5,7
/proc/23061/task/23065/stat : 23065 (java) S 23059 23061 23061 0 -1 4202560 822 0 0 0 0 0 0 0 15 0 19 0 947922507 8741810176 46837 33554432000 1073741824 1073778376 140735404937968 18446744073709551615 260917210009 0 4 0 16800975 18446604462099133504 0 0 -1 5 0 0 0
[pid=23061/tid=23066] ppid=23059 vsize=8536924 CPUtime=0 cores=1,3,5,7
/proc/23061/task/23066/stat : 23066 (java) S 23059 23061 23061 0 -1 4202560 390 0 0 0 0 0 0 0 15 0 19 0 947922507 8741810176 46837 33554432000 1073741824 1073778376 140735404937968 18446744073709551615 260917210009 0 4 0 16800975 18446604462099133504 0 0 -1 3 0 0 0
[pid=23061/tid=23067] ppid=23059 vsize=8536924 CPUtime=0 cores=1,3,5,7
/proc/23061/task/23067/stat : 23067 (java) S 23059 23061 23061 0 -1 4202560 703 0 0 0 0 0 0 0 16 0 19 0 947922507 8741810176 46837 33554432000 1073741824 1073778376 140735404937968 18446744073709551615 260917210009 0 4 0 16800975 18446604462099133504 0 0 -1 5 0 0 0
[pid=23061/tid=23068] ppid=23059 vsize=8536924 CPUtime=0 cores=1,3,5,7
/proc/23061/task/23068/stat : 23068 (java) S 23059 23061 23061 0 -1 4202560 623 0 0 0 0 0 0 0 15 0 19 0 947922507 8741810176 46837 33554432000 1073741824 1073778376 140735404937968 18446744073709551615 260917210009 0 4 0 16800975 18446604462099133504 0 0 -1 1 0 0 0
[pid=23061/tid=23069] ppid=23059 vsize=8536924 CPUtime=0 cores=1,3,5,7
/proc/23061/task/23069/stat : 23069 (java) S 23059 23061 23061 0 -1 4202560 1889 0 0 0 0 0 0 0 15 0 19 0 947922507 8741810176 46837 33554432000 1073741824 1073778376 140735404937968 18446744073709551615 260917210009 0 4 0 16800975 18446604462099133504 0 0 -1 1 0 0 0
[pid=23061/tid=23070] ppid=23059 vsize=8536924 CPUtime=0 cores=1,3,5,7
/proc/23061/task/23070/stat : 23070 (java) S 23059 23061 23061 0 -1 4202560 1394 0 0 0 0 0 0 0 15 0 19 0 947922507 8741810176 46837 33554432000 1073741824 1073778376 140735404937968 18446744073709551615 260917210009 0 4 0 16800975 18446604462099133504 0 0 -1 1 0 0 0
[pid=23061/tid=23071] ppid=23059 vsize=8536924 CPUtime=0.08 cores=1,3,5,7
/proc/23061/task/23071/stat : 23071 (java) S 23059 23061 23061 0 -1 4202560 6835 0 0 0 8 0 0 0 16 0 19 0 947922508 8741810176 46837 33554432000 1073741824 1073778376 140735404937968 18446744073709551615 260917210624 0 0 0 16800975 18446604462099133504 0 0 -1 7 0 0 0
[pid=23061/tid=23072] ppid=23059 vsize=8536924 CPUtime=0 cores=1,3,5,7
/proc/23061/task/23072/stat : 23072 (java) S 23059 23061 23061 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 947922509 8741810176 46837 33554432000 1073741824 1073778376 140735404937968 18446744073709551615 260917210009 0 4 0 16800975 18446604462099133504 0 0 -1 7 0 0 0
[pid=23061/tid=23073] ppid=23059 vsize=8536924 CPUtime=0 cores=1,3,5,7
/proc/23061/task/23073/stat : 23073 (java) S 23059 23061 23061 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 947922509 8741810176 46837 33554432000 1073741824 1073778376 140735404937968 18446744073709551615 260917210009 0 4 0 16800975 18446604462099133504 0 0 -1 7 0 0 0
[pid=23061/tid=23074] ppid=23059 vsize=8536924 CPUtime=0 cores=1,3,5,7
/proc/23061/task/23074/stat : 23074 (java) S 23059 23061 23061 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947922511 8741810176 46837 33554432000 1073741824 1073778376 140735404937968 18446744073709551615 260917217713 0 4 0 16800975 18446604462099133504 0 0 -1 7 0 0 0
[pid=23061/tid=23075] ppid=23059 vsize=8536924 CPUtime=0.46 cores=1,3,5,7
/proc/23061/task/23075/stat : 23075 (java) S 23059 23061 23061 0 -1 4202560 3183 0 0 0 46 0 0 0 15 0 19 0 947922511 8741810176 46837 33554432000 1073741824 1073778376 140735404937968 18446744073709551615 260917210009 0 4 0 16800975 18446604462099133504 0 0 -1 3 0 0 0
[pid=23061/tid=23076] ppid=23059 vsize=8536924 CPUtime=0.46 cores=1,3,5,7
/proc/23061/task/23076/stat : 23076 (java) S 23059 23061 23061 0 -1 4202560 3109 0 0 0 46 0 0 0 15 0 19 0 947922511 8741810176 46837 33554432000 1073741824 1073778376 140735404937968 18446744073709551615 260917210009 0 4 0 16800975 18446604462099133504 0 0 -1 1 0 0 0
[pid=23061/tid=23077] ppid=23059 vsize=8536924 CPUtime=0 cores=1,3,5,7
/proc/23061/task/23077/stat : 23077 (java) S 23059 23061 23061 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947922511 8741810176 46837 33554432000 1073741824 1073778376 140735404937968 18446744073709551615 260917210009 0 4 0 16800975 18446604462099133504 0 0 -1 7 0 0 0
[pid=23061/tid=23078] ppid=23059 vsize=8536924 CPUtime=0 cores=1,3,5,7
/proc/23061/task/23078/stat : 23078 (java) S 23059 23061 23061 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 947922511 8741810176 46837 33554432000 1073741824 1073778376 140735404937968 18446744073709551615 260917210624 0 4 0 16800975 18446604462099133504 0 0 -1 3 0 0 0
[pid=23061/tid=23079] ppid=23059 vsize=8536924 CPUtime=0 cores=1,3,5,7
/proc/23061/task/23079/stat : 23079 (java) S 23059 23061 23061 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 947922558 8741810176 46837 33554432000 1073741824 1073778376 140735404937968 18446744073709551615 260917210624 0 4 0 16800975 18446604462099133504 0 0 -1 3 0 0 0
[pid=23053/tid=23060] ppid=23051 vsize=299888 CPUtime=0 cores=1,3,5,7
/proc/23053/task/23060/stat : 23060 (python) S 23051 23053 22387 0 -1 4202560 25 929 0 0 0 0 0 0 20 0 2 0 947922506 307085312 8810 33554432000 4194304 5683644 140737261651472 18446744073709551615 260917217713 0 0 16781312 33554434 18446604466676892096 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 7.16
Current children cumulated vsize (KiB) 9126456
[startup+12.7014 s]
/proc/loadavg: 2.17 1.80 0.93 3/605 23080
/proc/meminfo: memFree=22614432/32950928 swapFree=61542368/67111528
[pid=23053] ppid=23051 vsize=299888 CPUtime=0.88 cores=1,3,5,7
/proc/23053/stat : 23053 (python) S 23051 23053 22387 0 -1 4202496 12318 929 1 0 78 10 0 0 20 0 2 0 947922409 307085312 8810 33554432000 4194304 5683644 140737261651472 18446744073709551615 260917220811 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/23053/statm: 74972 8810 1870 364 0 9859 0
[pid=23059] ppid=23053 vsize=289644 CPUtime=0.03 cores=1,3,5,7
/proc/23059/stat : 23059 (python) S 23053 23053 22387 0 -1 4202560 985 0 0 0 2 1 0 0 15 0 1 0 947922506 296595456 7316 33554432000 4194304 5683644 140737261651472 18446744073709551615 260905414159 0 0 16781312 33554946 4294934790 0 0 17 5 0 0 0
/proc/23059/statm: 72411 7316 380 364 0 7298 0
[pid=23061] ppid=23059 vsize=8536924 CPUtime=12.69 cores=1,3,5,7
/proc/23061/stat : 23061 (java) S 23059 23061 23061 0 -1 4202496 57891 0 1 0 1263 6 0 0 21 0 19 0 947922506 8741810176 53971 33554432000 1073741824 1073778376 140735404937968 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0
/proc/23061/statm: 2134231 53971 2257 9 0 2124972 0
[pid=23061/tid=23062] ppid=23059 vsize=8536924 CPUtime=11.48 cores=1,3,5,7
/proc/23061/task/23062/stat : 23062 (java) R 23059 23061 23061 0 -1 4202560 25403 0 1 0 1145 3 0 0 25 0 19 0 947922507 8741810176 53971 33554432000 1073741824 1073778376 140735404937968 18446744073709551615 46912505800107 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=23061/tid=23063] ppid=23059 vsize=8536924 CPUtime=0.02 cores=1,3,5,7
/proc/23061/task/23063/stat : 23063 (java) S 23059 23061 23061 0 -1 4202560 2925 0 0 0 2 0 0 0 15 0 19 0 947922507 8741810176 53971 33554432000 1073741824 1073778376 140735404937968 18446744073709551615 260917210009 0 4 0 16800975 18446604462099133504 0 0 -1 7 0 0 0
[pid=23061/tid=23064] ppid=23059 vsize=8536924 CPUtime=0 cores=1,3,5,7
/proc/23061/task/23064/stat : 23064 (java) S 23059 23061 23061 0 -1 4202560 2559 0 0 0 0 0 0 0 15 0 19 0 947922507 8741810176 53971 33554432000 1073741824 1073778376 140735404937968 18446744073709551615 260917210009 0 4 0 16800975 18446604462099133504 0 0 -1 3 0 0 0
[pid=23061/tid=23065] ppid=23059 vsize=8536924 CPUtime=0.01 cores=1,3,5,7
/proc/23061/task/23065/stat : 23065 (java) S 23059 23061 23061 0 -1 4202560 2077 0 0 0 1 0 0 0 16 0 19 0 947922507 8741810176 53971 33554432000 1073741824 1073778376 140735404937968 18446744073709551615 260917210009 0 4 0 16800975 18446604462099133504 0 0 -1 7 0 0 0
[pid=23061/tid=23066] ppid=23059 vsize=8536924 CPUtime=0.01 cores=1,3,5,7
################
# More data... #
################
/proc/23172/stat : 23172 (clasp-1.3.7-x86) T 23170 23172 23172 0 -1 4202496 11564 0 0 0 9334 1 0 0 25 0 1 0 947936583 46833664 11170 33554432000 134512640 136139019 4291302992 18446744073709551615 134634749 0 0 16781312 16386 18446744071562691360 0 0 17 5 0 0 0
/proc/23172/statm: 11434 11170 187 398 0 11034 0
[pid=23170/tid=23181] ppid=23053 vsize=310156 CPUtime=0 cores=1,3,5,7
/proc/23170/task/23181/stat : 23181 (python) S 23053 23053 22387 0 -1 4202560 46 0 0 0 0 0 0 0 17 0 2 0 947945920 317599744 7341 33554432000 4194304 5683644 140737261651472 18446744073709551615 260917217713 0 0 16781312 33554946 18446604464356369408 0 0 -1 7 0 0 0
[pid=23182] ppid=23053 vsize=320412 CPUtime=0.17 cores=1,3,5,7
/proc/23182/stat : 23182 (python) S 23053 23053 22387 0 -1 4202560 965 0 0 0 8 9 0 0 15 0 1 0 947945922 328101888 7320 33554432000 4194304 5683644 140737261651472 18446744073709551615 260905414214 0 0 16781312 33554946 5623753486446373741 0 0 17 7 0 0 0
/proc/23182/statm: 80103 7320 372 364 0 14981 0
[pid=23184] ppid=23182 vsize=155964 CPUtime=47.17 cores=1,3,5,7
/proc/23184/stat : 23184 (pbct-0.1.2-linu) R 23182 23184 23184 0 -1 4202496 39663 0 0 0 4594 123 0 0 25 0 1 0 947945922 159707136 37707 33554432000 134512640 136422188 4294800704 18446744073709551615 135874785 0 0 16781312 16387 0 0 0 17 3 0 0 0
/proc/23184/statm: 38991 37707 236 467 0 38522 0
[pid=23053/tid=23060] ppid=23051 vsize=330656 CPUtime=0 cores=1,3,5,7
/proc/23053/task/23060/stat : 23060 (python) S 23051 23053 22387 0 -1 4202560 28 929 0 0 0 0 0 0 18 0 5 0 947922506 338591744 8829 33554432000 4194304 5683644 140737261651472 18446744073709551615 260917217713 0 0 16781312 33554434 18446604466676892096 0 0 -1 3 0 0 0
[pid=23053/tid=23088] ppid=23051 vsize=330656 CPUtime=0 cores=1,3,5,7
/proc/23053/task/23088/stat : 23088 (python) S 23051 23053 22387 0 -1 4202560 29 929 0 0 0 0 0 0 20 0 5 0 947927291 338591744 8829 33554432000 4194304 5683644 140737261651472 18446744073709551615 260917217713 0 0 16781312 33554434 18446604466676892096 0 0 -1 1 0 0 0
[pid=23053/tid=23171] ppid=23051 vsize=330656 CPUtime=0 cores=1,3,5,7
/proc/23053/task/23171/stat : 23171 (python) S 23051 23053 22387 0 -1 4202560 28 929 0 0 0 0 0 0 20 0 5 0 947936583 338591744 8829 33554432000 4194304 5683644 140737261651472 18446744073709551615 260917217713 0 0 16781312 33554434 18446604466676892096 0 0 -1 1 0 0 0
[pid=23053/tid=23183] ppid=23051 vsize=330656 CPUtime=0 cores=1,3,5,7
/proc/23053/task/23183/stat : 23183 (python) S 23051 23053 22387 0 -1 4202560 30 929 0 0 0 0 0 0 20 0 5 0 947945922 338591744 8829 33554432000 4194304 5683644 140737261651472 18446744073709551615 260917217713 0 0 16781312 33554434 18446604466676892096 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 284.71
Current children cumulated vsize (KiB) 10384432
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+283.402 s]
/proc/loadavg: 2.03 1.95 1.21 5/657 23209
/proc/meminfo: memFree=21523176/32950928 swapFree=61542368/67111528
[pid=23053] ppid=23051 vsize=340912 CPUtime=1.01 cores=1,3,5,7
/proc/23053/stat : 23053 (python) S 23051 23053 22387 0 -1 4202496 15982 929 1 0 90 11 0 0 20 0 6 0 947922409 349093888 8835 33554432000 4194304 5683644 140737261651472 18446744073709551615 260917220811 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/23053/statm: 85228 8835 1879 364 0 20103 0
[pid=23059] ppid=23053 vsize=299888 CPUtime=0.41 cores=1,3,5,7
/proc/23059/stat : 23059 (python) S 23053 23053 22387 0 -1 4202560 1158 0 0 0 22 19 0 0 16 0 2 0 947922506 307085312 7353 33554432000 4194304 5683644 140737261651472 18446744073709551615 260917220811 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/23059/statm: 74972 7353 412 364 0 9859 0
[pid=23061] ppid=23059 vsize=8536924 CPUtime=92.61 cores=1,3,5,7
/proc/23061/stat : 23061 (java) T 23059 23061 23061 0 -1 4202496 92536 0 1 0 9249 12 0 0 18 0 19 0 947922506 8741810176 87501 33554432000 1073741824 1073778376 140735404937968 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0
/proc/23061/statm: 2134231 87501 2258 9 0 2124972 0
[pid=23061/tid=23062] ppid=23059 vsize=8536924 CPUtime=90.11 cores=1,3,5,7
/proc/23061/task/23062/stat : 23062 (java) T 23059 23061 23061 0 -1 4202560 25421 0 1 0 9008 3 0 0 25 0 19 0 947922507 8741810176 87501 33554432000 1073741824 1073778376 140735404937968 18446744073709551615 46912505807687 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=23061/tid=23063] ppid=23059 vsize=8536924 CPUtime=0.12 cores=1,3,5,7
/proc/23061/task/23063/stat : 23063 (java) T 23059 23061 23061 0 -1 4202560 7466 0 0 0 12 0 0 0 15 0 19 0 947922507 8741810176 87501 33554432000 1073741824 1073778376 140735404937968 18446744073709551615 260917210009 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=23061/tid=23064] ppid=23059 vsize=8536924 CPUtime=0.1 cores=1,3,5,7
/proc/23061/task/23064/stat : 23064 (java) T 23059 23061 23061 0 -1 4202560 8599 0 0 0 9 1 0 0 15 0 19 0 947922507 8741810176 87501 33554432000 1073741824 1073778376 140735404937968 18446744073709551615 260917210009 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=23061/tid=23065] ppid=23059 vsize=8536924 CPUtime=0.07 cores=1,3,5,7
/proc/23061/task/23065/stat : 23065 (java) T 23059 23061 23061 0 -1 4202560 4842 0 0 0 7 0 0 0 15 0 19 0 947922507 8741810176 87501 33554432000 1073741824 1073778376 140735404937968 18446744073709551615 260917210009 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=23061/tid=23066] ppid=23059 vsize=8536924 CPUtime=0.08 cores=1,3,5,7
/proc/23061/task/23066/stat : 23066 (java) T 23059 23061 23061 0 -1 4202560 7365 0 0 0 7 1 0 0 15 0 19 0 947922507 8741810176 87501 33554432000 1073741824 1073778376 140735404937968 18446744073709551615 260917210009 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=23061/tid=23067] ppid=23059 vsize=8536924 CPUtime=0.07 cores=1,3,5,7
/proc/23061/task/23067/stat : 23067 (java) T 23059 23061 23061 0 -1 4202560 6430 0 0 0 7 0 0 0 15 0 19 0 947922507 8741810176 87501 33554432000 1073741824 1073778376 140735404937968 18446744073709551615 260917210009 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=23061/tid=23068] ppid=23059 vsize=8536924 CPUtime=0.06 cores=1,3,5,7
/proc/23061/task/23068/stat : 23068 (java) T 23059 23061 23061 0 -1 4202560 1441 0 0 0 6 0 0 0 15 0 19 0 947922507 8741810176 87501 33554432000 1073741824 1073778376 140735404937968 18446744073709551615 260917210009 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=23061/tid=23069] ppid=23059 vsize=8536924 CPUtime=0.05 cores=1,3,5,7
/proc/23061/task/23069/stat : 23069 (java) T 23059 23061 23061 0 -1 4202560 4221 0 0 0 5 0 0 0 15 0 19 0 947922507 8741810176 87501 33554432000 1073741824 1073778376 140735404937968 18446744073709551615 260917210009 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=23061/tid=23070] ppid=23059 vsize=8536924 CPUtime=0.08 cores=1,3,5,7
/proc/23061/task/23070/stat : 23070 (java) T 23059 23061 23061 0 -1 4202560 10024 0 0 0 7 1 0 0 15 0 19 0 947922507 8741810176 87501 33554432000 1073741824 1073778376 140735404937968 18446744073709551615 260917210009 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=23061/tid=23071] ppid=23059 vsize=8536924 CPUtime=0.8 cores=1,3,5,7
/proc/23061/task/23071/stat : 23071 (java) T 23059 23061 23061 0 -1 4202560 9046 0 0 0 80 0 0 0 15 0 19 0 947922508 8741810176 87501 33554432000 1073741824 1073778376 140735404937968 18446744073709551615 260917210624 0 0 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=23061/tid=23072] ppid=23059 vsize=8536924 CPUtime=0 cores=1,3,5,7
/proc/23061/task/23072/stat : 23072 (java) T 23059 23061 23061 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 947922509 8741810176 87501 33554432000 1073741824 1073778376 140735404937968 18446744073709551615 260917210009 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=23061/tid=23073] ppid=23059 vsize=8536924 CPUtime=0 cores=1,3,5,7
/proc/23061/task/23073/stat : 23073 (java) T 23059 23061 23061 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 947922509 8741810176 87501 33554432000 1073741824 1073778376 140735404937968 18446744073709551615 260917210009 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=23061/tid=23074] ppid=23059 vsize=8536924 CPUtime=0 cores=1,3,5,7
/proc/23061/task/23074/stat : 23074 (java) T 23059 23061 23061 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 947922511 8741810176 87501 33554432000 1073741824 1073778376 140735404937968 18446744073709551615 260917217713 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=23061/tid=23075] ppid=23059 vsize=8536924 CPUtime=0.47 cores=1,3,5,7
/proc/23061/task/23075/stat : 23075 (java) T 23059 23061 23061 0 -1 4202560 3185 0 0 0 47 0 0 0 15 0 19 0 947922511 8741810176 87501 33554432000 1073741824 1073778376 140735404937968 18446744073709551615 260917210009 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=23061/tid=23076] ppid=23059 vsize=8536924 CPUtime=0.47 cores=1,3,5,7
/proc/23061/task/23076/stat : 23076 (java) T 23059 23061 23061 0 -1 4202560 3112 0 0 0 47 0 0 0 15 0 19 0 947922511 8741810176 87501 33554432000 1073741824 1073778376 140735404937968 18446744073709551615 260917210009 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=23061/tid=23077] ppid=23059 vsize=8536924 CPUtime=0 cores=1,3,5,7
/proc/23061/task/23077/stat : 23077 (java) T 23059 23061 23061 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 947922511 8741810176 87501 33554432000 1073741824 1073778376 140735404937968 18446744073709551615 260917210009 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=23061/tid=23078] ppid=23059 vsize=8536924 CPUtime=0 cores=1,3,5,7
/proc/23061/task/23078/stat : 23078 (java) T 23059 23061 23061 0 -1 4202560 9 0 0 0 0 0 0 0 15 0 19 0 947922511 8741810176 87501 33554432000 1073741824 1073778376 140735404937968 18446744073709551615 260917210624 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=23061/tid=23079] ppid=23059 vsize=8536924 CPUtime=0 cores=1,3,5,7
/proc/23061/task/23079/stat : 23079 (java) T 23059 23061 23061 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 947922558 8741810176 87501 33554432000 1073741824 1073778376 140735404937968 18446744073709551615 260917210624 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=23059/tid=23086] ppid=23053 vsize=299888 CPUtime=0 cores=1,3,5,7
/proc/23059/task/23086/stat : 23086 (python) S 23053 23053 22387 0 -1 4202560 42 0 0 0 0 0 0 0 15 0 2 0 947927288 307085312 7353 33554432000 4194304 5683644 140737261651472 18446744073709551615 260917217713 0 0 16781312 33554946 18446604462983479488 0 0 -1 7 0 0 0
[pid=23087] ppid=23053 vsize=299900 CPUtime=0.23 cores=1,3,5,7
/proc/23087/stat : 23087 (python) S 23053 23053 22387 0 -1 4202560 1114 0 0 0 11 12 0 0 17 0 2 0 947927290 307097600 7337 33554432000 4194304 5683644 140737261651472 18446744073709551615 260917220811 0 0 16781312 33554946 18446744073709551615 0 0 17 1 0 0 0
/proc/23087/statm: 74975 7337 396 364 0 9859 0
[pid=23089] ppid=23087 vsize=84796 CPUtime=49.41 cores=1,3,5,7
/proc/23089/stat : 23089 (wbo1.4a) T 23087 23089 23089 0 -1 4202496 22349 0 0 0 4882 59 0 0 25 0 1 0 947927291 86831104 20661 33554432000 134512640 135751879 4288544400 18446744073709551615 134616520 0 0 16781312 3 18446744071562691360 0 0 17 5 0 0 0
/proc/23089/statm: 21199 20661 146 303 0 20894 0
[pid=23087/tid=23147] ppid=23053 vsize=299900 CPUtime=0 cores=1,3,5,7
/proc/23087/task/23147/stat : 23147 (python) S 23053 23053 22387 0 -1 4202560 48 0 0 0 0 0 0 0 17 0 2 0 947932233 307097600 7337 33554432000 4194304 5683644 140737261651472 18446744073709551615 260917217713 0 0 16781312 33554946 18446604467811484864 0 0 -1 1 0 0 0
[pid=23170] ppid=23053 vsize=310156 CPUtime=0.37 cores=1,3,5,7
/proc/23170/stat : 23170 (python) S 23053 23053 22387 0 -1 4202560 1145 0 0 0 18 19 0 0 17 0 2 0 947936583 317599744 7341 33554432000 4194304 5683644 140737261651472 18446744073709551615 260917220811 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/23170/statm: 77539 7341 396 364 0 12420 0
[pid=23172] ppid=23170 vsize=45736 CPUtime=93.35 cores=1,3,5,7
/proc/23172/stat : 23172 (clasp-1.3.7-x86) T 23170 23172 23172 0 -1 4202496 11564 0 0 0 9334 1 0 0 25 0 1 0 947936583 46833664 11170 33554432000 134512640 136139019 4291302992 18446744073709551615 134634749 0 0 16781312 16386 18446744071562691360 0 0 17 5 0 0 0
/proc/23172/statm: 11434 11170 187 398 0 11034 0
[pid=23170/tid=23181] ppid=23053 vsize=310156 CPUtime=0 cores=1,3,5,7
/proc/23170/task/23181/stat : 23181 (python) S 23053 23053 22387 0 -1 4202560 46 0 0 0 0 0 0 0 17 0 2 0 947945920 317599744 7341 33554432000 4194304 5683644 140737261651472 18446744073709551615 260917217713 0 0 16781312 33554946 18446604464356369408 0 0 -1 7 0 0 0
[pid=23182] ppid=23053 vsize=320412 CPUtime=0.19 cores=1,3,5,7
/proc/23182/stat : 23182 (python) S 23053 23053 22387 0 -1 4202560 1134 0 0 0 9 10 0 0 16 0 2 0 947945922 328101888 7345 33554432000 4194304 5683644 140737261651472 18446744073709551615 260917220811 0 0 16781312 33554946 18446744073709551615 0 0 17 3 0 0 0
/proc/23182/statm: 80103 7345 396 364 0 14981 0
[pid=23184] ppid=23182 vsize=155964 CPUtime=47.76 cores=1,3,5,7
/proc/23184/stat : 23184 (pbct-0.1.2-linu) T 23182 23184 23184 0 -1 4202496 39663 0 0 0 4651 125 0 0 25 0 1 0 947945922 159707136 37707 33554432000 134512640 136422188 4294800704 18446744073709551615 134860008 0 0 16781312 16387 18446744071562691360 0 0 17 3 0 0 0
/proc/23184/statm: 38991 37707 236 467 0 38522 0
[pid=23182/tid=23189] ppid=23053 vsize=320412 CPUtime=0 cores=1,3,5,7
/proc/23182/task/23189/stat : 23189 (python) S 23053 23053 22387 0 -1 4202560 47 0 0 0 0 0 0 0 16 0 2 0 947950700 328101888 7345 33554432000 4194304 5683644 140737261651472 18446744073709551615 260917217713 0 0 16781312 33554946 18446604466118969408 0 0 -1 3 0 0 0
[pid=23190] ppid=23053 vsize=330668 CPUtime=0 cores=1,3,5,7
/proc/23190/stat : 23190 (python) S 23053 23053 22387 0 -1 4202560 803 0 0 0 0 0 0 0 19 0 1 0 947950702 338604032 7300 33554432000 4194304 5683644 140737261651472 18446744073709551615 260905414214 0 0 16781312 33554946 7055182218376741128 0 0 17 7 0 0 0
/proc/23190/statm: 82667 7300 348 364 0 17542 0
[pid=23192] ppid=23190 vsize=8537172 CPUtime=0.95 cores=1,3,5,7
/proc/23192/stat : 23192 (java) S 23190 23192 23192 0 -1 4202496 26030 0 1 0 90 5 0 0 17 0 18 0 947950702 8742064128 23937 33554432000 1073741824 1073778376 140733329588480 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/23192/statm: 2134293 23939 2207 9 0 2125034 0
[pid=23192/tid=23193] ppid=23190 vsize=8537172 CPUtime=0.48 cores=1,3,5,7
/proc/23192/task/23193/stat : 23193 (java) R 23190 23192 23192 0 -1 4202560 20517 0 1 0 45 3 0 0 18 0 18 0 947950703 8742064128 24252 33554432000 1073741824 1073778376 140733329588480 18446744073709551615 46912505563844 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=23192/tid=23194] ppid=23190 vsize=8537172 CPUtime=0 cores=1,3,5,7
/proc/23192/task/23194/stat : 23194 (java) S 23190 23192 23192 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 947950704 8742064128 24252 33554432000 1073741824 1073778376 140733329588480 18446744073709551615 260917210009 0 4 0 16800975 18446604469981412416 0 0 -1 5 0 0 0
[pid=23192/tid=23195] ppid=23190 vsize=8537172 CPUtime=0 cores=1,3,5,7
/proc/23192/task/23195/stat : 23195 (java) S 23190 23192 23192 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 947950704 8742064128 24253 33554432000 1073741824 1073778376 140733329588480 18446744073709551615 260917210009 0 4 0 16800975 18446604469981412416 0 0 -1 5 0 0 0
[pid=23192/tid=23196] ppid=23190 vsize=8537172 CPUtime=0 cores=1,3,5,7
/proc/23192/task/23196/stat : 23196 (java) S 23190 23192 23192 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 947950704 8742064128 24253 33554432000 1073741824 1073778376 140733329588480 18446744073709551615 260917210009 0 4 0 16800975 18446604469981412416 0 0 -1 5 0 0 0
[pid=23192/tid=23197] ppid=23190 vsize=8537172 CPUtime=0 cores=1,3,5,7
/proc/23192/task/23197/stat : 23197 (java) S 23190 23192 23192 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 947950704 8742064128 24253 33554432000 1073741824 1073778376 140733329588480 18446744073709551615 260917210009 0 4 0 16800975 18446604469981412416 0 0 -1 5 0 0 0
[pid=23192/tid=23198] ppid=23190 vsize=8537172 CPUtime=0 cores=1,3,5,7
/proc/23192/task/23198/stat : 23198 (java) S 23190 23192 23192 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 947950704 8742064128 24253 33554432000 1073741824 1073778376 140733329588480 18446744073709551615 260917210009 0 4 0 16800975 18446604469981412416 0 0 -1 5 0 0 0
[pid=23192/tid=23199] ppid=23190 vsize=8537172 CPUtime=0 cores=1,3,5,7
/proc/23192/task/23199/stat : 23199 (java) S 23190 23192 23192 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 947950704 8742064128 24254 33554432000 1073741824 1073778376 140733329588480 18446744073709551615 260917210009 0 4 0 16800975 18446604469981412416 0 0 -1 5 0 0 0
[pid=23192/tid=23200] ppid=23190 vsize=8537172 CPUtime=0 cores=1,3,5,7
/proc/23192/task/23200/stat : 23200 (java) S 23190 23192 23192 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 947950704 8742064128 24254 33554432000 1073741824 1073778376 140733329588480 18446744073709551615 260917210009 0 4 0 16800975 18446604469981412416 0 0 -1 5 0 0 0
[pid=23192/tid=23201] ppid=23190 vsize=8537172 CPUtime=0 cores=1,3,5,7
/proc/23192/task/23201/stat : 23201 (java) S 23190 23192 23192 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 947950704 8742064128 24254 33554432000 1073741824 1073778376 140733329588480 18446744073709551615 260917210009 0 4 0 16800975 18446604469981412416 0 0 -1 5 0 0 0
[pid=23192/tid=23202] ppid=23190 vsize=8537172 CPUtime=0 cores=1,3,5,7
/proc/23192/task/23202/stat : 23202 (java) S 23190 23192 23192 0 -1 4202560 2 0 0 0 0 0 0 0 21 0 18 0 947950705 8742064128 24255 33554432000 1073741824 1073778376 140733329588480 18446744073709551615 260917210624 0 0 0 16800975 18446604469981412416 0 0 -1 5 0 0 0
[pid=23192/tid=23203] ppid=23190 vsize=8537172 CPUtime=0 cores=1,3,5,7
/proc/23192/task/23203/stat : 23203 (java) S 23190 23192 23192 0 -1 4202560 16 0 0 0 0 0 0 0 22 0 18 0 947950705 8742064128 24255 33554432000 1073741824 1073778376 140733329588480 18446744073709551615 260917210009 0 4 0 16800975 18446604469981412416 0 0 -1 5 0 0 0
[pid=23192/tid=23204] ppid=23190 vsize=8537172 CPUtime=0 cores=1,3,5,7
/proc/23192/task/23204/stat : 23204 (java) S 23190 23192 23192 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 18 0 947950705 8742064128 24255 33554432000 1073741824 1073778376 140733329588480 18446744073709551615 260917210009 0 4 0 16800975 18446604469981412416 0 0 -1 5 0 0 0
[pid=23192/tid=23205] ppid=23190 vsize=8537172 CPUtime=0 cores=1,3,5,7
/proc/23192/task/23205/stat : 23205 (java) S 23190 23192 23192 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 18 0 947950708 8742064128 24255 33554432000 1073741824 1073778376 140733329588480 18446744073709551615 260917217713 0 4 0 16800975 18446604469981412416 0 0 -1 5 0 0 0
[pid=23192/tid=23206] ppid=23190 vsize=8537172 CPUtime=0.23 cores=1,3,5,7
/proc/23192/task/23206/stat : 23206 (java) S 23190 23192 23192 0 -1 4202560 1694 0 0 0 23 0 0 0 16 0 18 0 947950708 8742064128 24256 33554432000 1073741824 1073778376 140733329588480 18446744073709551615 260917210009 0 4 0 16800975 18446604469981412416 0 0 -1 5 0 0 0
[pid=23192/tid=23207] ppid=23190 vsize=8537172 CPUtime=0.21 cores=1,3,5,7
/proc/23192/task/23207/stat : 23207 (java) S 23190 23192 23192 0 -1 4202560 2744 0 0 0 21 0 0 0 25 0 18 0 947950708 8742064128 24256 33554432000 1073741824 1073778376 140733329588480 18446744073709551615 260917210009 0 4 0 16800975 18446604469981412416 0 0 -1 7 0 0 0
[pid=23192/tid=23208] ppid=23190 vsize=8537172 CPUtime=0 cores=1,3,5,7
/proc/23192/task/23208/stat : 23208 (java) S 23190 23192 23192 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 947950708 8742064128 24256 33554432000 1073741824 1073778376 140733329588480 18446744073709551615 260917210009 0 4 0 16800975 18446604469981412416 0 0 -1 3 0 0 0
[pid=23192/tid=23209] ppid=23190 vsize=8537172 CPUtime=0 cores=1,3,5,7
/proc/23192/task/23209/stat : 23209 (java) R 23190 23192 23192 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 947950708 8742064128 24256 33554432000 1073741824 1073778376 140733329588480 18446744073709551615 260917210624 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=23053/tid=23060] ppid=23051 vsize=340912 CPUtime=0 cores=1,3,5,7
/proc/23053/task/23060/stat : 23060 (python) S 23051 23053 22387 0 -1 4202560 28 929 0 0 0 0 0 0 18 0 6 0 947922506 349093888 8835 33554432000 4194304 5683644 140737261651472 18446744073709551615 260917217713 0 0 16781312 33554434 18446604466676892096 0 0 -1 3 0 0 0
[pid=23053/tid=23088] ppid=23051 vsize=340912 CPUtime=0 cores=1,3,5,7
/proc/23053/task/23088/stat : 23088 (python) S 23051 23053 22387 0 -1 4202560 29 929 0 0 0 0 0 0 20 0 6 0 947927291 349093888 8835 33554432000 4194304 5683644 140737261651472 18446744073709551615 260917217713 0 0 16781312 33554434 18446604466676892096 0 0 -1 1 0 0 0
[pid=23053/tid=23171] ppid=23051 vsize=340912 CPUtime=0 cores=1,3,5,7
/proc/23053/task/23171/stat : 23171 (python) S 23051 23053 22387 0 -1 4202560 28 929 0 0 0 0 0 0 20 0 6 0 947936583 349093888 8835 33554432000 4194304 5683644 140737261651472 18446744073709551615 260917217713 0 0 16781312 33554434 18446604466676892096 0 0 -1 1 0 0 0
[pid=23053/tid=23183] ppid=23051 vsize=340912 CPUtime=0 cores=1,3,5,7
/proc/23053/task/23183/stat : 23183 (python) S 23051 23053 22387 0 -1 4202560 30 929 0 0 0 0 0 0 20 0 6 0 947945922 349093888 8835 33554432000 4194304 5683644 140737261651472 18446744073709551615 260917217713 0 0 16781312 33554434 18446604466676892096 0 0 -1 1 0 0 0
[pid=23053/tid=23191] ppid=23051 vsize=340912 CPUtime=0 cores=1,3,5,7
/proc/23053/task/23191/stat : 23191 (python) S 23051 23053 22387 0 -1 4202560 30 929 0 0 0 0 0 0 20 0 6 0 947950702 349093888 8835 33554432000 4194304 5683644 140737261651472 18446744073709551615 260917217713 0 0 16781312 33554434 18446604466676892096 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 286.29
Current children cumulated vsize (KiB) 19262528
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 23053 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=906862
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=116982
# CPU time returned by wait4() is 1.02384
# while last known CPU time is 286.29
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 283.485
CPU time (s): 286.29
CPU user time (s): 283.56
CPU system time (s): 2.73
CPU usage (%): 100.99
Max. virtual memory (cumulated for all children) (KiB): 19262528
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.906862
system time used= 0.116982
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16914
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= 1013
involuntary context switches= 23
runsolver used 1.67874 second user time and 3.68844 second system time
The end