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-3481759-1307577203/watcher-3481759-1307577203 -o /tmp/evaluation-result-3481759-1307577203/solver-3481759-1307577203 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3481759-1307577203.opb -seed 1910217087 -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.03 1.95 1.21 3/624 23239
/proc/meminfo: memFree=21651188/32950928 swapFree=61542368/67111528
[pid=23239] ppid=23237 vsize=15384 CPUtime=0 cores=1,3,5,7
/proc/23239/stat : 23239 (python) S 23237 23239 22387 0 -1 4202496 795 0 0 0 0 0 0 0 25 0 1 0 947951051 15753216 681 33554432000 4194304 5683644 140733727003968 18446744073709551615 260905392128 0 2147483391 16781312 2 18446744071699207358 0 0 17 5 0 0 0
/proc/23239/statm: 3846 681 322 364 0 333 0
[startup+0.0825379 s]
/proc/loadavg: 2.03 1.95 1.21 3/624 23239
/proc/meminfo: memFree=21651188/32950928 swapFree=61542368/67111528
[pid=23239] ppid=23237 vsize=50020 CPUtime=0.04 cores=1,3,5,7
/proc/23239/stat : 23239 (python) R 23237 23239 22387 0 -1 4202496 1958 0 0 0 3 1 0 0 17 0 1 0 947951051 51220480 1721 33554432000 4194304 5683644 140733727003968 18446744073709551615 260905393920 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/23239/statm: 12505 1725 476 364 0 1205 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 50020
[startup+0.100445 s]
/proc/loadavg: 2.03 1.95 1.21 3/624 23239
/proc/meminfo: memFree=21651188/32950928 swapFree=61542368/67111528
[pid=23239] ppid=23237 vsize=85624 CPUtime=0.06 cores=1,3,5,7
/proc/23239/stat : 23239 (python) R 23237 23239 22387 0 -1 4202496 2663 0 0 0 4 2 0 0 17 0 1 0 947951051 87678976 2382 33554432000 4194304 5683644 140733727003968 18446744073709551615 4900555 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/23239/statm: 21406 2382 715 364 0 1623 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 85624
[startup+0.300481 s]
/proc/loadavg: 2.03 1.95 1.21 3/624 23239
/proc/meminfo: memFree=21651188/32950928 swapFree=61542368/67111528
[pid=23239] ppid=23237 vsize=123744 CPUtime=0.18 cores=1,3,5,7
/proc/23239/stat : 23239 (python) R 23237 23239 22387 0 -1 4202496 5357 928 1 0 12 6 0 0 16 0 1 0 947951051 126713856 3744 33554432000 4194304 5683644 140733727003968 18446744073709551615 260905390085 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/23239/statm: 30936 3744 987 364 0 2768 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 123744
[startup+0.700401 s]
/proc/loadavg: 2.03 1.95 1.21 3/624 23239
/proc/meminfo: memFree=21651188/32950928 swapFree=61542368/67111528
[pid=23239] ppid=23237 vsize=283324 CPUtime=0.43 cores=1,3,5,7
/proc/23239/stat : 23239 (python) R 23237 23239 22387 0 -1 4202496 9303 928 1 0 31 12 0 0 15 0 1 0 947951051 290123776 7165 33554432000 4194304 5683644 140733727003968 18446744073709551615 4302585 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/23239/statm: 70831 7165 1781 364 0 5724 0
Current children cumulated CPU time (s) 0.43
Current children cumulated vsize (KiB) 283324
[startup+1.50019 s]
/proc/loadavg: 2.03 1.95 1.21 5/625 23244
/proc/meminfo: memFree=21622536/32950928 swapFree=61542368/67111528
[pid=23239] ppid=23237 vsize=298408 CPUtime=0.78 cores=1,3,5,7
/proc/23239/stat : 23239 (python) S 23237 23239 22387 0 -1 4202496 11407 928 1 0 65 13 0 0 18 0 2 0 947951051 305569792 8440 33554432000 4194304 5683644 140733727003968 18446744073709551615 260917220811 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/23239/statm: 74602 8440 1870 364 0 9489 0
Current children cumulated CPU time (s) 0.78
Current children cumulated vsize (KiB) 298408
[startup+3.1009 s]
/proc/loadavg: 2.03 1.95 1.21 3/646 23265
/proc/meminfo: memFree=21519308/32950928 swapFree=61542368/67111528
[pid=23239] ppid=23237 vsize=298408 CPUtime=0.78 cores=1,3,5,7
/proc/23239/stat : 23239 (python) S 23237 23239 22387 0 -1 4202496 11407 928 1 0 65 13 0 0 18 0 2 0 947951051 305569792 8440 33554432000 4194304 5683644 140733727003968 18446744073709551615 260917220811 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/23239/statm: 74602 8440 1870 364 0 9489 0
[pid=23245] ppid=23239 vsize=288164 CPUtime=0 cores=1,3,5,7
/proc/23245/stat : 23245 (python) S 23239 23239 22387 0 -1 4202560 777 0 0 0 0 0 0 0 15 0 1 0 947951155 295079936 6918 33554432000 4194304 5683644 140733727003968 18446744073709551615 260905414159 0 0 16781312 33554946 4294934791 0 0 17 5 0 0 0
/proc/23245/statm: 72041 6918 352 364 0 6928 0
[pid=23247] ppid=23245 vsize=8540340 CPUtime=2.99 cores=1,3,5,7
/proc/23247/stat : 23247 (java) S 23245 23247 23247 0 -1 4202496 30818 0 1 0 295 4 0 0 19 0 19 0 947951155 8745308160 27471 33554432000 1073741824 1073778376 140735187374096 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/23247/statm: 2135085 27471 2259 9 0 2125826 0
[pid=23247/tid=23248] ppid=23245 vsize=8540340 CPUtime=2.02 cores=1,3,5,7
/proc/23247/task/23248/stat : 23248 (java) R 23245 23247 23247 0 -1 4202560 19063 0 1 0 200 2 0 0 25 0 19 0 947951156 8745308160 27471 33554432000 1073741824 1073778376 140735187374096 18446744073709551615 46912505793572 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=23247/tid=23249] ppid=23245 vsize=8540340 CPUtime=0 cores=1,3,5,7
/proc/23247/task/23249/stat : 23249 (java) S 23245 23247 23247 0 -1 4202560 899 0 0 0 0 0 0 0 18 0 19 0 947951156 8745308160 27471 33554432000 1073741824 1073778376 140735187374096 18446744073709551615 260917210009 0 4 0 16800975 18446604469981412416 0 0 -1 7 0 0 0
[pid=23247/tid=23250] ppid=23245 vsize=8540340 CPUtime=0 cores=1,3,5,7
/proc/23247/task/23250/stat : 23250 (java) S 23245 23247 23247 0 -1 4202560 261 0 0 0 0 0 0 0 18 0 19 0 947951156 8745308160 27471 33554432000 1073741824 1073778376 140735187374096 18446744073709551615 260917210009 0 4 0 16800975 18446604469981412416 0 0 -1 7 0 0 0
[pid=23247/tid=23251] ppid=23245 vsize=8540340 CPUtime=0 cores=1,3,5,7
/proc/23247/task/23251/stat : 23251 (java) S 23245 23247 23247 0 -1 4202560 911 0 0 0 0 0 0 0 18 0 19 0 947951156 8745308160 27471 33554432000 1073741824 1073778376 140735187374096 18446744073709551615 260917210009 0 4 0 16800975 18446604469981412416 0 0 -1 3 0 0 0
[pid=23247/tid=23252] ppid=23245 vsize=8540340 CPUtime=0 cores=1,3,5,7
/proc/23247/task/23252/stat : 23252 (java) S 23245 23247 23247 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 947951156 8745308160 27471 33554432000 1073741824 1073778376 140735187374096 18446744073709551615 260917210009 0 4 0 16800975 18446604469981412416 0 0 -1 3 0 0 0
[pid=23247/tid=23253] ppid=23245 vsize=8540340 CPUtime=0 cores=1,3,5,7
/proc/23247/task/23253/stat : 23253 (java) S 23245 23247 23247 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 947951156 8745308160 27471 33554432000 1073741824 1073778376 140735187374096 18446744073709551615 260917210009 0 4 0 16800975 18446604469981412416 0 0 -1 7 0 0 0
[pid=23247/tid=23254] ppid=23245 vsize=8540340 CPUtime=0 cores=1,3,5,7
/proc/23247/task/23254/stat : 23254 (java) S 23245 23247 23247 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 947951156 8745308160 27471 33554432000 1073741824 1073778376 140735187374096 18446744073709551615 260917210009 0 4 0 16800975 18446604469981412416 0 0 -1 3 0 0 0
[pid=23247/tid=23255] ppid=23245 vsize=8540340 CPUtime=0 cores=1,3,5,7
/proc/23247/task/23255/stat : 23255 (java) S 23245 23247 23247 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 947951156 8745308160 27471 33554432000 1073741824 1073778376 140735187374096 18446744073709551615 260917210009 0 4 0 16800975 18446604469981412416 0 0 -1 3 0 0 0
[pid=23247/tid=23256] ppid=23245 vsize=8540340 CPUtime=0 cores=1,3,5,7
/proc/23247/task/23256/stat : 23256 (java) S 23245 23247 23247 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 947951156 8745308160 27471 33554432000 1073741824 1073778376 140735187374096 18446744073709551615 260917210009 0 4 0 16800975 18446604469981412416 0 0 -1 3 0 0 0
[pid=23247/tid=23257] ppid=23245 vsize=8540340 CPUtime=0.01 cores=1,3,5,7
/proc/23247/task/23257/stat : 23257 (java) S 23245 23247 23247 0 -1 4202560 2028 0 0 0 1 0 0 0 15 0 19 0 947951157 8745308160 27471 33554432000 1073741824 1073778376 140735187374096 18446744073709551615 260917210624 0 0 0 16800975 18446604469981412416 0 0 -1 1 0 0 0
[pid=23247/tid=23258] ppid=23245 vsize=8540340 CPUtime=0 cores=1,3,5,7
/proc/23247/task/23258/stat : 23258 (java) S 23245 23247 23247 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 947951158 8745308160 27471 33554432000 1073741824 1073778376 140735187374096 18446744073709551615 260917210009 0 4 0 16800975 18446604469981412416 0 0 -1 1 0 0 0
[pid=23247/tid=23259] ppid=23245 vsize=8540340 CPUtime=0 cores=1,3,5,7
/proc/23247/task/23259/stat : 23259 (java) S 23245 23247 23247 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 947951158 8745308160 27471 33554432000 1073741824 1073778376 140735187374096 18446744073709551615 260917210009 0 4 0 16800975 18446604469981412416 0 0 -1 1 0 0 0
[pid=23247/tid=23260] ppid=23245 vsize=8540340 CPUtime=0 cores=1,3,5,7
/proc/23247/task/23260/stat : 23260 (java) S 23245 23247 23247 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947951160 8745308160 27471 33554432000 1073741824 1073778376 140735187374096 18446744073709551615 260917217713 0 4 0 16800975 18446604469981412416 0 0 -1 1 0 0 0
[pid=23247/tid=23261] ppid=23245 vsize=8540340 CPUtime=0.42 cores=1,3,5,7
/proc/23247/task/23261/stat : 23261 (java) S 23245 23247 23247 0 -1 4202560 3625 0 0 0 42 0 0 0 16 0 19 0 947951160 8745308160 27471 33554432000 1073741824 1073778376 140735187374096 18446744073709551615 260917210009 0 4 0 16800975 18446604469981412416 0 0 -1 1 0 0 0
[pid=23247/tid=23262] ppid=23245 vsize=8540340 CPUtime=0.5 cores=1,3,5,7
/proc/23247/task/23262/stat : 23262 (java) S 23245 23247 23247 0 -1 4202560 2650 0 0 0 50 0 0 0 15 0 19 0 947951160 8745308160 27471 33554432000 1073741824 1073778376 140735187374096 18446744073709551615 260917210009 0 4 0 16800975 18446604469981412416 0 0 -1 7 0 0 0
[pid=23247/tid=23263] ppid=23245 vsize=8540340 CPUtime=0 cores=1,3,5,7
/proc/23247/task/23263/stat : 23263 (java) S 23245 23247 23247 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947951160 8745308160 27471 33554432000 1073741824 1073778376 140735187374096 18446744073709551615 260917210009 0 4 0 16800975 18446604469981412416 0 0 -1 3 0 0 0
[pid=23247/tid=23264] ppid=23245 vsize=8540340 CPUtime=0 cores=1,3,5,7
/proc/23247/task/23264/stat : 23264 (java) S 23245 23247 23247 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 947951160 8745308160 27471 33554432000 1073741824 1073778376 140735187374096 18446744073709551615 260917210624 0 4 0 16800975 18446604469981412416 0 0 -1 7 0 0 0
[pid=23247/tid=23265] ppid=23245 vsize=8540340 CPUtime=0 cores=1,3,5,7
/proc/23247/task/23265/stat : 23265 (java) S 23245 23247 23247 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 947951202 8745308160 27471 33554432000 1073741824 1073778376 140735187374096 18446744073709551615 260917210624 0 4 0 16800975 18446604469981412416 0 0 -1 7 0 0 0
[pid=23239/tid=23246] ppid=23237 vsize=298408 CPUtime=0 cores=1,3,5,7
/proc/23239/task/23246/stat : 23246 (python) S 23237 23239 22387 0 -1 4202560 27 928 0 0 0 0 0 0 18 0 2 0 947951155 305569792 8440 33554432000 4194304 5683644 140733727003968 18446744073709551615 260917217713 0 0 16781312 33554434 18446604469122352192 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3.77
Current children cumulated vsize (KiB) 9126912
[startup+6.30137 s]
/proc/loadavg: 2.02 1.95 1.22 3/646 23265
/proc/meminfo: memFree=21476772/32950928 swapFree=61542368/67111528
[pid=23239] ppid=23237 vsize=298408 CPUtime=0.78 cores=1,3,5,7
/proc/23239/stat : 23239 (python) S 23237 23239 22387 0 -1 4202496 11407 928 1 0 65 13 0 0 18 0 2 0 947951051 305569792 8440 33554432000 4194304 5683644 140733727003968 18446744073709551615 260917220811 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/23239/statm: 74602 8440 1870 364 0 9489 0
[pid=23245] ppid=23239 vsize=288164 CPUtime=0.02 cores=1,3,5,7
/proc/23245/stat : 23245 (python) S 23239 23239 22387 0 -1 4202560 917 0 0 0 1 1 0 0 15 0 1 0 947951155 295079936 6942 33554432000 4194304 5683644 140733727003968 18446744073709551615 260905414159 0 0 16781312 33554946 4294934791 0 0 17 5 0 0 0
/proc/23245/statm: 72041 6942 376 364 0 6928 0
[pid=23247] ppid=23245 vsize=8540340 CPUtime=6.24 cores=1,3,5,7
/proc/23247/stat : 23247 (java) S 23245 23247 23247 0 -1 4202496 41221 0 1 0 618 6 0 0 19 0 19 0 947951155 8745308160 37870 33554432000 1073741824 1073778376 140735187374096 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/23247/statm: 2135085 37870 2260 9 0 2125826 0
[pid=23247/tid=23248] ppid=23245 vsize=8540340 CPUtime=5.14 cores=1,3,5,7
/proc/23247/task/23248/stat : 23248 (java) R 23245 23247 23247 0 -1 4202560 19065 0 1 0 512 2 0 0 25 0 19 0 947951156 8745308160 37870 33554432000 1073741824 1073778376 140735187374096 18446744073709551615 46912505793443 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=23247/tid=23249] ppid=23245 vsize=8540340 CPUtime=0 cores=1,3,5,7
/proc/23247/task/23249/stat : 23249 (java) S 23245 23247 23247 0 -1 4202560 2534 0 0 0 0 0 0 0 15 0 19 0 947951156 8745308160 37870 33554432000 1073741824 1073778376 140735187374096 18446744073709551615 260917210009 0 4 0 16800975 18446604469981412416 0 0 -1 7 0 0 0
[pid=23247/tid=23250] ppid=23245 vsize=8540340 CPUtime=0 cores=1,3,5,7
/proc/23247/task/23250/stat : 23250 (java) S 23245 23247 23247 0 -1 4202560 1897 0 0 0 0 0 0 0 15 0 19 0 947951156 8745308160 37870 33554432000 1073741824 1073778376 140735187374096 18446744073709551615 260917210009 0 4 0 16800975 18446604469981412416 0 0 -1 7 0 0 0
[pid=23247/tid=23251] ppid=23245 vsize=8540340 CPUtime=0 cores=1,3,5,7
/proc/23247/task/23251/stat : 23251 (java) S 23245 23247 23247 0 -1 4202560 931 0 0 0 0 0 0 0 15 0 19 0 947951156 8745308160 37870 33554432000 1073741824 1073778376 140735187374096 18446744073709551615 260917210009 0 4 0 16800975 18446604469981412416 0 0 -1 7 0 0 0
[pid=23247/tid=23252] ppid=23245 vsize=8540340 CPUtime=0 cores=1,3,5,7
/proc/23247/task/23252/stat : 23252 (java) S 23245 23247 23247 0 -1 4202560 394 0 0 0 0 0 0 0 16 0 19 0 947951156 8745308160 37870 33554432000 1073741824 1073778376 140735187374096 18446744073709551615 260917210009 0 4 0 16800975 18446604469981412416 0 0 -1 7 0 0 0
[pid=23247/tid=23253] ppid=23245 vsize=8540340 CPUtime=0 cores=1,3,5,7
/proc/23247/task/23253/stat : 23253 (java) S 23245 23247 23247 0 -1 4202560 1193 0 0 0 0 0 0 0 15 0 19 0 947951156 8745308160 37870 33554432000 1073741824 1073778376 140735187374096 18446744073709551615 260917210009 0 4 0 16800975 18446604469981412416 0 0 -1 7 0 0 0
[pid=23247/tid=23254] ppid=23245 vsize=8540340 CPUtime=0 cores=1,3,5,7
/proc/23247/task/23254/stat : 23254 (java) S 23245 23247 23247 0 -1 4202560 953 0 0 0 0 0 0 0 15 0 19 0 947951156 8745308160 37870 33554432000 1073741824 1073778376 140735187374096 18446744073709551615 260917210009 0 4 0 16800975 18446604469981412416 0 0 -1 7 0 0 0
[pid=23247/tid=23255] ppid=23245 vsize=8540340 CPUtime=0 cores=1,3,5,7
/proc/23247/task/23255/stat : 23255 (java) S 23245 23247 23247 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 947951156 8745308160 37870 33554432000 1073741824 1073778376 140735187374096 18446744073709551615 260917210009 0 4 0 16800975 18446604469981412416 0 0 -1 7 0 0 0
[pid=23247/tid=23256] ppid=23245 vsize=8540340 CPUtime=0 cores=1,3,5,7
/proc/23247/task/23256/stat : 23256 (java) S 23245 23247 23247 0 -1 4202560 485 0 0 0 0 0 0 0 16 0 19 0 947951156 8745308160 37870 33554432000 1073741824 1073778376 140735187374096 18446744073709551615 260917210009 0 4 0 16800975 18446604469981412416 0 0 -1 7 0 0 0
[pid=23247/tid=23257] ppid=23245 vsize=8540340 CPUtime=0.06 cores=1,3,5,7
/proc/23247/task/23257/stat : 23257 (java) S 23245 23247 23247 0 -1 4202560 6105 0 0 0 6 0 0 0 15 0 19 0 947951157 8745308160 37870 33554432000 1073741824 1073778376 140735187374096 18446744073709551615 260917210624 0 0 0 16800975 18446604469981412416 0 0 -1 3 0 0 0
[pid=23247/tid=23258] ppid=23245 vsize=8540340 CPUtime=0 cores=1,3,5,7
/proc/23247/task/23258/stat : 23258 (java) S 23245 23247 23247 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 947951158 8745308160 37870 33554432000 1073741824 1073778376 140735187374096 18446744073709551615 260917210009 0 4 0 16800975 18446604469981412416 0 0 -1 1 0 0 0
[pid=23247/tid=23259] ppid=23245 vsize=8540340 CPUtime=0 cores=1,3,5,7
/proc/23247/task/23259/stat : 23259 (java) S 23245 23247 23247 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 947951158 8745308160 37870 33554432000 1073741824 1073778376 140735187374096 18446744073709551615 260917210009 0 4 0 16800975 18446604469981412416 0 0 -1 1 0 0 0
[pid=23247/tid=23260] ppid=23245 vsize=8540340 CPUtime=0 cores=1,3,5,7
/proc/23247/task/23260/stat : 23260 (java) S 23245 23247 23247 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947951160 8745308160 37870 33554432000 1073741824 1073778376 140735187374096 18446744073709551615 260917217713 0 4 0 16800975 18446604469981412416 0 0 -1 1 0 0 0
[pid=23247/tid=23261] ppid=23245 vsize=8540340 CPUtime=0.43 cores=1,3,5,7
/proc/23247/task/23261/stat : 23261 (java) S 23245 23247 23247 0 -1 4202560 3626 0 0 0 43 0 0 0 15 0 19 0 947951160 8745308160 37870 33554432000 1073741824 1073778376 140735187374096 18446744073709551615 260917210009 0 4 0 16800975 18446604469981412416 0 0 -1 1 0 0 0
[pid=23247/tid=23262] ppid=23245 vsize=8540340 CPUtime=0.53 cores=1,3,5,7
/proc/23247/task/23262/stat : 23262 (java) S 23245 23247 23247 0 -1 4202560 2661 0 0 0 53 0 0 0 15 0 19 0 947951160 8745308160 37870 33554432000 1073741824 1073778376 140735187374096 18446744073709551615 260917210009 0 4 0 16800975 18446604469981412416 0 0 -1 7 0 0 0
[pid=23247/tid=23263] ppid=23245 vsize=8540340 CPUtime=0 cores=1,3,5,7
/proc/23247/task/23263/stat : 23263 (java) S 23245 23247 23247 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947951160 8745308160 37870 33554432000 1073741824 1073778376 140735187374096 18446744073709551615 260917210009 0 4 0 16800975 18446604469981412416 0 0 -1 3 0 0 0
[pid=23247/tid=23264] ppid=23245 vsize=8540340 CPUtime=0 cores=1,3,5,7
/proc/23247/task/23264/stat : 23264 (java) S 23245 23247 23247 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 947951160 8745308160 37870 33554432000 1073741824 1073778376 140735187374096 18446744073709551615 260917210624 0 4 0 16800975 18446604469981412416 0 0 -1 1 0 0 0
[pid=23247/tid=23265] ppid=23245 vsize=8540340 CPUtime=0 cores=1,3,5,7
/proc/23247/task/23265/stat : 23265 (java) S 23245 23247 23247 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 947951202 8745308160 37870 33554432000 1073741824 1073778376 140735187374096 18446744073709551615 260917210624 0 4 0 16800975 18446604469981412416 0 0 -1 7 0 0 0
[pid=23239/tid=23246] ppid=23237 vsize=298408 CPUtime=0 cores=1,3,5,7
/proc/23239/task/23246/stat : 23246 (python) S 23237 23239 22387 0 -1 4202560 27 928 0 0 0 0 0 0 18 0 2 0 947951155 305569792 8440 33554432000 4194304 5683644 140733727003968 18446744073709551615 260917217713 0 0 16781312 33554434 18446604469122352192 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 7.04
Current children cumulated vsize (KiB) 9126912
[startup+12.7202 s]
/proc/loadavg: 2.02 1.95 1.22 3/646 23265
/proc/meminfo: memFree=21445912/32950928 swapFree=61542368/67111528
[pid=23239] ppid=23237 vsize=298408 CPUtime=0.78 cores=1,3,5,7
/proc/23239/stat : 23239 (python) S 23237 23239 22387 0 -1 4202496 11407 928 1 0 65 13 0 0 18 0 2 0 947951051 305569792 8440 33554432000 4194304 5683644 140733727003968 18446744073709551615 260917220811 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/23239/statm: 74602 8440 1870 364 0 9489 0
[pid=23245] ppid=23239 vsize=288164 CPUtime=0.04 cores=1,3,5,7
/proc/23245/stat : 23245 (python) S 23239 23239 22387 0 -1 4202560 919 0 0 0 2 2 0 0 15 0 1 0 947951155 295079936 6942 33554432000 4194304 5683644 140733727003968 18446744073709551615 260905414159 0 0 16781312 33554946 4294934791 0 0 17 5 0 0 0
/proc/23245/statm: 72041 6942 376 364 0 6928 0
[pid=23247] ppid=23245 vsize=8540340 CPUtime=12.7 cores=1,3,5,7
/proc/23247/stat : 23247 (java) S 23245 23247 23247 0 -1 4202496 49186 0 1 0 1263 7 0 0 19 0 19 0 947951155 8745308160 45409 33554432000 1073741824 1073778376 140735187374096 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/23247/statm: 2135085 45409 2260 9 0 2125826 0
[pid=23247/tid=23248] ppid=23245 vsize=8540340 CPUtime=11.44 cores=1,3,5,7
/proc/23247/task/23248/stat : 23248 (java) R 23245 23247 23247 0 -1 4202560 19069 0 1 0 1142 2 0 0 25 0 19 0 947951156 8745308160 45409 33554432000 1073741824 1073778376 140735187374096 18446744073709551615 46912505828214 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=23247/tid=23249] ppid=23245 vsize=8540340 CPUtime=0.01 cores=1,3,5,7
/proc/23247/task/23249/stat : 23249 (java) S 23245 23247 23247 0 -1 4202560 3274 0 0 0 1 0 0 0 15 0 19 0 947951156 8745308160 45409 33554432000 1073741824 1073778376 140735187374096 18446744073709551615 260917210009 0 4 0 16800975 18446604469981412416 0 0 -1 7 0 0 0
[pid=23247/tid=23250] ppid=23245 vsize=8540340 CPUtime=0 cores=1,3,5,7
/proc/23247/task/23250/stat : 23250 (java) S 23245 23247 23247 0 -1 4202560 1897 0 0 0 0 0 0 0 15 0 19 0 947951156 8745308160 45409 33554432000 1073741824 1073778376 140735187374096 18446744073709551615 260917210009 0 4 0 16800975 18446604469981412416 0 0 -1 1 0 0 0
[pid=23247/tid=23251] ppid=23245 vsize=8540340 CPUtime=0.01 cores=1,3,5,7
/proc/23247/task/23251/stat : 23251 (java) S 23245 23247 23247 0 -1 4202560 1594 0 0 0 1 0 0 0 15 0 19 0 947951156 8745308160 45409 33554432000 1073741824 1073778376 140735187374096 18446744073709551615 260917210009 0 4 0 16800975 18446604469981412416 0 0 -1 7 0 0 0
[pid=23247/tid=23252] ppid=23245 vsize=8540340 CPUtime=0.01 cores=1,3,5,7
################
# More data... #
################
[pid=23345/tid=23353] ppid=23239 vsize=308676 CPUtime=0 cores=1,3,5,7
/proc/23345/task/23353/stat : 23353 (python) S 23239 23239 22387 0 -1 4202560 47 0 0 0 0 0 0 0 17 0 2 0 947970373 316084224 6972 33554432000 4194304 5683644 140733727003968 18446744073709551615 260917217713 0 0 16781312 33554946 18446604455317104768 0 0 -1 7 0 0 0
[pid=23354] ppid=23239 vsize=318932 CPUtime=0.37 cores=1,3,5,7
/proc/23354/stat : 23354 (python) S 23239 23239 22387 0 -1 4202560 995 0 0 0 17 20 0 0 15 0 1 0 947970375 326586368 6951 33554432000 4194304 5683644 140733727003968 18446744073709551615 260905414214 0 0 16781312 33554946 5623753486446373614 0 0 17 7 0 0 0
/proc/23354/statm: 79733 6951 373 364 0 14611 0
[pid=23356] ppid=23354 vsize=25100 CPUtime=89.04 cores=1,3,5,7
/proc/23356/stat : 23356 (clasp-1.3.7-x86) R 23354 23356 23356 0 -1 4202496 6423 0 0 0 8904 0 0 0 25 0 1 0 947970376 25702400 6023 33554432000 134512640 136139019 4291423408 18446744073709551615 134599813 0 0 16781312 16386 0 0 0 17 3 0 0 0
/proc/23356/statm: 6275 6023 187 398 0 5875 0
[pid=23239/tid=23246] ppid=23237 vsize=329176 CPUtime=0 cores=1,3,5,7
/proc/23239/task/23246/stat : 23246 (python) S 23237 23239 22387 0 -1 4202560 31 928 0 0 0 0 0 0 18 0 5 0 947951155 337076224 8459 33554432000 4194304 5683644 140733727003968 18446744073709551615 260917217713 0 0 16781312 33554434 18446604469122352192 0 0 -1 7 0 0 0
[pid=23239/tid=23273] ppid=23237 vsize=329176 CPUtime=0 cores=1,3,5,7
/proc/23239/task/23273/stat : 23273 (python) S 23237 23239 22387 0 -1 4202560 27 928 0 0 0 0 0 0 20 0 5 0 947955888 337076224 8459 33554432000 4194304 5683644 140733727003968 18446744073709551615 260917217713 0 0 16781312 33554434 18446604469122352192 0 0 -1 7 0 0 0
[pid=23239/tid=23346] ppid=23237 vsize=329176 CPUtime=0 cores=1,3,5,7
/proc/23239/task/23346/stat : 23346 (python) S 23237 23239 22387 0 -1 4202560 30 928 0 0 0 0 0 0 20 0 5 0 947965199 337076224 8459 33554432000 4194304 5683644 140733727003968 18446744073709551615 260917217713 0 0 16781312 33554434 18446604469122352192 0 0 -1 5 0 0 0
[pid=23239/tid=23355] ppid=23237 vsize=329176 CPUtime=0 cores=1,3,5,7
/proc/23239/task/23355/stat : 23355 (python) S 23237 23239 22387 0 -1 4202560 27 928 0 0 0 0 0 0 20 0 5 0 947970376 337076224 8459 33554432000 4194304 5683644 140733727003968 18446744073709551615 260917217713 0 0 16781312 33554434 18446604469122352192 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 284.73
Current children cumulated vsize (KiB) 10290004
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+287.602 s]
/proc/loadavg: 2.10 2.00 1.42 7/706 23407
/proc/meminfo: memFree=20445844/32950928 swapFree=61542368/67111528
[pid=23239] ppid=23237 vsize=339432 CPUtime=0.9 cores=1,3,5,7
/proc/23239/stat : 23239 (python) S 23237 23239 22387 0 -1 4202496 15156 928 1 0 76 14 0 0 20 0 6 0 947951051 347578368 8465 33554432000 4194304 5683644 140733727003968 18446744073709551615 260917220811 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/23239/statm: 84858 8465 1879 364 0 19733 0
[pid=23245] ppid=23239 vsize=298408 CPUtime=0.43 cores=1,3,5,7
/proc/23245/stat : 23245 (python) S 23239 23239 22387 0 -1 4202560 1121 0 0 0 22 21 0 0 16 0 2 0 947951155 305569792 6979 33554432000 4194304 5683644 140733727003968 18446744073709551615 260917220811 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/23245/statm: 74602 6979 408 364 0 9489 0
[pid=23247] ppid=23245 vsize=8540340 CPUtime=92.82 cores=1,3,5,7
/proc/23247/stat : 23247 (java) T 23245 23247 23247 0 -1 4202496 73114 0 1 0 9272 10 0 0 18 0 19 0 947951155 8745308160 68091 33554432000 1073741824 1073778376 140735187374096 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/23247/statm: 2135085 68091 2260 9 0 2125826 0
[pid=23247/tid=23248] ppid=23245 vsize=8540340 CPUtime=90.3 cores=1,3,5,7
/proc/23247/task/23248/stat : 23248 (java) T 23245 23247 23247 0 -1 4202560 19493 0 1 0 9028 2 0 0 25 0 19 0 947951156 8745308160 68091 33554432000 1073741824 1073778376 140735187374096 18446744073709551615 46912505864768 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=23247/tid=23249] ppid=23245 vsize=8540340 CPUtime=0.1 cores=1,3,5,7
/proc/23247/task/23249/stat : 23249 (java) T 23245 23247 23247 0 -1 4202560 6255 0 0 0 9 1 0 0 15 0 19 0 947951156 8745308160 68091 33554432000 1073741824 1073778376 140735187374096 18446744073709551615 260917210009 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=23247/tid=23250] ppid=23245 vsize=8540340 CPUtime=0.04 cores=1,3,5,7
/proc/23247/task/23250/stat : 23250 (java) T 23245 23247 23247 0 -1 4202560 2535 0 0 0 4 0 0 0 15 0 19 0 947951156 8745308160 68091 33554432000 1073741824 1073778376 140735187374096 18446744073709551615 260917210009 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=23247/tid=23251] ppid=23245 vsize=8540340 CPUtime=0.09 cores=1,3,5,7
/proc/23247/task/23251/stat : 23251 (java) T 23245 23247 23247 0 -1 4202560 5241 0 0 0 9 0 0 0 15 0 19 0 947951156 8745308160 68091 33554432000 1073741824 1073778376 140735187374096 18446744073709551615 260917210009 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=23247/tid=23252] ppid=23245 vsize=8540340 CPUtime=0.11 cores=1,3,5,7
/proc/23247/task/23252/stat : 23252 (java) T 23245 23247 23247 0 -1 4202560 5482 0 0 0 11 0 0 0 15 0 19 0 947951156 8745308160 68091 33554432000 1073741824 1073778376 140735187374096 18446744073709551615 260917210009 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=23247/tid=23253] ppid=23245 vsize=8540340 CPUtime=0.09 cores=1,3,5,7
/proc/23247/task/23253/stat : 23253 (java) T 23245 23247 23247 0 -1 4202560 5351 0 0 0 9 0 0 0 15 0 19 0 947951156 8745308160 68091 33554432000 1073741824 1073778376 140735187374096 18446744073709551615 260917210009 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=23247/tid=23254] ppid=23245 vsize=8540340 CPUtime=0.1 cores=1,3,5,7
/proc/23247/task/23254/stat : 23254 (java) T 23245 23247 23247 0 -1 4202560 6761 0 0 0 10 0 0 0 15 0 19 0 947951156 8745308160 68091 33554432000 1073741824 1073778376 140735187374096 18446744073709551615 260917210009 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=23247/tid=23255] ppid=23245 vsize=8540340 CPUtime=0.09 cores=1,3,5,7
/proc/23247/task/23255/stat : 23255 (java) T 23245 23247 23247 0 -1 4202560 3035 0 0 0 9 0 0 0 15 0 19 0 947951156 8745308160 68091 33554432000 1073741824 1073778376 140735187374096 18446744073709551615 260917210009 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=23247/tid=23256] ppid=23245 vsize=8540340 CPUtime=0.09 cores=1,3,5,7
/proc/23247/task/23256/stat : 23256 (java) T 23245 23247 23247 0 -1 4202560 1561 0 0 0 9 0 0 0 15 0 19 0 947951156 8745308160 68091 33554432000 1073741824 1073778376 140735187374096 18446744073709551615 260917210009 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=23247/tid=23257] ppid=23245 vsize=8540340 CPUtime=0.73 cores=1,3,5,7
/proc/23247/task/23257/stat : 23257 (java) T 23245 23247 23247 0 -1 4202560 9732 0 0 0 72 1 0 0 15 0 19 0 947951157 8745308160 68091 33554432000 1073741824 1073778376 140735187374096 18446744073709551615 260917210624 0 0 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=23247/tid=23258] ppid=23245 vsize=8540340 CPUtime=0 cores=1,3,5,7
/proc/23247/task/23258/stat : 23258 (java) T 23245 23247 23247 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 947951158 8745308160 68091 33554432000 1073741824 1073778376 140735187374096 18446744073709551615 260917210009 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=23247/tid=23259] ppid=23245 vsize=8540340 CPUtime=0 cores=1,3,5,7
/proc/23247/task/23259/stat : 23259 (java) T 23245 23247 23247 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 947951158 8745308160 68091 33554432000 1073741824 1073778376 140735187374096 18446744073709551615 260917210009 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=23247/tid=23260] ppid=23245 vsize=8540340 CPUtime=0 cores=1,3,5,7
/proc/23247/task/23260/stat : 23260 (java) T 23245 23247 23247 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 947951160 8745308160 68091 33554432000 1073741824 1073778376 140735187374096 18446744073709551615 260917217713 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=23247/tid=23261] ppid=23245 vsize=8540340 CPUtime=0.43 cores=1,3,5,7
/proc/23247/task/23261/stat : 23261 (java) T 23245 23247 23247 0 -1 4202560 3626 0 0 0 43 0 0 0 15 0 19 0 947951160 8745308160 68091 33554432000 1073741824 1073778376 140735187374096 18446744073709551615 260917210009 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=23247/tid=23262] ppid=23245 vsize=8540340 CPUtime=0.53 cores=1,3,5,7
/proc/23247/task/23262/stat : 23262 (java) T 23245 23247 23247 0 -1 4202560 2661 0 0 0 53 0 0 0 15 0 19 0 947951160 8745308160 68091 33554432000 1073741824 1073778376 140735187374096 18446744073709551615 260917210009 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=23247/tid=23263] ppid=23245 vsize=8540340 CPUtime=0 cores=1,3,5,7
/proc/23247/task/23263/stat : 23263 (java) T 23245 23247 23247 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 947951160 8745308160 68091 33554432000 1073741824 1073778376 140735187374096 18446744073709551615 260917210009 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=23247/tid=23264] ppid=23245 vsize=8540340 CPUtime=0 cores=1,3,5,7
/proc/23247/task/23264/stat : 23264 (java) T 23245 23247 23247 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 19 0 947951160 8745308160 68091 33554432000 1073741824 1073778376 140735187374096 18446744073709551615 260917210624 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=23247/tid=23265] ppid=23245 vsize=8540340 CPUtime=0 cores=1,3,5,7
/proc/23247/task/23265/stat : 23265 (java) T 23245 23247 23247 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 947951202 8745308160 68091 33554432000 1073741824 1073778376 140735187374096 18446744073709551615 260917210624 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=23245/tid=23271] ppid=23239 vsize=298408 CPUtime=0 cores=1,3,5,7
/proc/23245/task/23271/stat : 23271 (python) S 23239 23239 22387 0 -1 4202560 45 0 0 0 0 0 0 0 15 0 2 0 947955885 305569792 6979 33554432000 4194304 5683644 140733727003968 18446744073709551615 260917217713 0 0 16781312 33554946 18446604466993813312 0 0 -1 7 0 0 0
[pid=23272] ppid=23239 vsize=298420 CPUtime=0.25 cores=1,3,5,7
/proc/23272/stat : 23272 (python) S 23239 23239 22387 0 -1 4202560 1176 0 0 0 11 14 0 0 16 0 2 0 947955888 305582080 6974 33554432000 4194304 5683644 140733727003968 18446744073709551615 260917220811 0 0 16781312 33554946 18446744073709551615 0 0 17 3 0 0 0
/proc/23272/statm: 74605 6974 403 364 0 9489 0
[pid=23274] ppid=23272 vsize=82612 CPUtime=48.99 cores=1,3,5,7
/proc/23274/stat : 23274 (wbo1.4a) T 23272 23274 23274 0 -1 4202496 21164 0 0 0 4830 69 0 0 25 0 1 0 947955888 84594688 20145 33554432000 134512640 135751879 4294676336 18446744073709551615 135420558 0 0 16781312 3 18446744071562691360 0 0 17 5 0 0 0
/proc/23274/statm: 20653 20145 146 303 0 20348 0
[pid=23272/tid=23331] ppid=23239 vsize=298420 CPUtime=0 cores=1,3,5,7
/proc/23272/task/23331/stat : 23331 (python) S 23239 23239 22387 0 -1 4202560 46 0 0 0 0 0 0 0 16 0 2 0 947960789 305582080 6974 33554432000 4194304 5683644 140733727003968 18446744073709551615 260917217713 0 0 16781312 33554946 18446604466676893888 0 0 -1 3 0 0 0
[pid=23345] ppid=23239 vsize=308676 CPUtime=0.22 cores=1,3,5,7
/proc/23345/stat : 23345 (python) S 23239 23239 22387 0 -1 4202560 1129 0 0 0 10 12 0 0 17 0 2 0 947965199 316084224 6972 33554432000 4194304 5683644 140733727003968 18446744073709551615 260917220811 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/23345/statm: 77169 6972 397 364 0 12050 0
[pid=23347] ppid=23345 vsize=88340 CPUtime=51.73 cores=1,3,5,7
/proc/23347/stat : 23347 (pbct-0.1.2-linu) T 23345 23347 23347 0 -1 4202496 22565 0 0 0 5005 168 0 0 25 0 1 0 947965199 90460160 21347 33554432000 134512640 136422188 4288718448 18446744073709551615 134860008 0 0 16781312 16387 18446744071562691360 0 0 17 3 0 0 0
/proc/23347/statm: 22085 21347 236 467 0 21616 0
[pid=23345/tid=23353] ppid=23239 vsize=308676 CPUtime=0 cores=1,3,5,7
/proc/23345/task/23353/stat : 23353 (python) S 23239 23239 22387 0 -1 4202560 47 0 0 0 0 0 0 0 17 0 2 0 947970373 316084224 6972 33554432000 4194304 5683644 140733727003968 18446744073709551615 260917217713 0 0 16781312 33554946 18446604455317104768 0 0 -1 7 0 0 0
[pid=23354] ppid=23239 vsize=318932 CPUtime=0.39 cores=1,3,5,7
/proc/23354/stat : 23354 (python) S 23239 23239 22387 0 -1 4202560 1161 0 0 0 18 21 0 0 16 0 2 0 947970375 326586368 6976 33554432000 4194304 5683644 140733727003968 18446744073709551615 260917220811 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/23354/statm: 79733 6976 397 364 0 14611 0
[pid=23356] ppid=23354 vsize=25100 CPUtime=93.71 cores=1,3,5,7
/proc/23356/stat : 23356 (clasp-1.3.7-x86) T 23354 23356 23356 0 -1 4202496 6423 0 0 0 9371 0 0 0 25 0 1 0 947970376 25702400 6023 33554432000 134512640 136139019 4291423408 18446744073709551615 134599813 0 0 16781312 16386 18446744071562691360 0 0 17 3 0 0 0
/proc/23356/statm: 6275 6023 187 398 0 5875 0
[pid=23354/tid=23386] ppid=23239 vsize=318932 CPUtime=0 cores=1,3,5,7
/proc/23354/task/23386/stat : 23386 (python) S 23239 23239 22387 0 -1 4202560 46 0 0 0 0 0 0 0 16 0 2 0 947979748 326586368 6976 33554432000 4194304 5683644 140733727003968 18446744073709551615 260917217713 0 0 16781312 33554946 18446604470949993216 0 0 -1 7 0 0 0
[pid=23387] ppid=23239 vsize=329188 CPUtime=0 cores=1,3,5,7
/proc/23387/stat : 23387 (python) S 23239 23239 22387 0 -1 4202560 815 0 0 0 0 0 0 0 15 0 1 0 947979750 337088512 6931 33554432000 4194304 5683644 140733727003968 18446744073709551615 260905414214 0 0 16781312 33554946 3486832142279770112 0 0 17 1 0 0 0
/proc/23387/statm: 82297 6931 349 364 0 17172 0
[pid=23389] ppid=23387 vsize=8537372 CPUtime=1.25 cores=1,3,5,7
/proc/23389/stat : 23389 (java) S 23387 23389 23389 0 -1 4202496 22446 0 1 0 122 3 0 0 20 0 19 0 947979751 8742268928 20498 33554432000 1073741824 1073778376 140735870747760 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/23389/statm: 2134343 20498 2223 9 0 2125084 0
[pid=23389/tid=23390] ppid=23387 vsize=8537372 CPUtime=0.62 cores=1,3,5,7
/proc/23389/task/23390/stat : 23390 (java) R 23387 23389 23389 0 -1 4202560 16452 0 1 0 60 2 0 0 19 0 19 0 947979751 8742268928 20733 33554432000 1073741824 1073778376 140735870747760 18446744073709551615 46912505836213 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=23389/tid=23391] ppid=23387 vsize=8537372 CPUtime=0 cores=1,3,5,7
/proc/23389/task/23391/stat : 23391 (java) S 23387 23389 23389 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 947979752 8742268928 20733 33554432000 1073741824 1073778376 140735870747760 18446744073709551615 260917210009 0 4 0 16800975 18446604464824703744 0 0 -1 1 0 0 0
[pid=23389/tid=23392] ppid=23387 vsize=8537372 CPUtime=0 cores=1,3,5,7
/proc/23389/task/23392/stat : 23392 (java) S 23387 23389 23389 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 947979752 8742268928 20733 33554432000 1073741824 1073778376 140735870747760 18446744073709551615 260917210009 0 4 0 16800975 18446604464824703744 0 0 -1 1 0 0 0
[pid=23389/tid=23393] ppid=23387 vsize=8537372 CPUtime=0 cores=1,3,5,7
/proc/23389/task/23393/stat : 23393 (java) S 23387 23389 23389 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947979752 8742268928 20734 33554432000 1073741824 1073778376 140735870747760 18446744073709551615 260917210009 0 4 0 16800975 18446604464824703744 0 0 -1 1 0 0 0
[pid=23389/tid=23394] ppid=23387 vsize=8537372 CPUtime=0 cores=1,3,5,7
/proc/23389/task/23394/stat : 23394 (java) S 23387 23389 23389 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947979752 8742268928 20734 33554432000 1073741824 1073778376 140735870747760 18446744073709551615 260917210009 0 4 0 16800975 18446604464824703744 0 0 -1 3 0 0 0
[pid=23389/tid=23395] ppid=23387 vsize=8537372 CPUtime=0 cores=1,3,5,7
/proc/23389/task/23395/stat : 23395 (java) S 23387 23389 23389 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947979752 8742268928 20734 33554432000 1073741824 1073778376 140735870747760 18446744073709551615 260917210009 0 4 0 16800975 18446604464824703744 0 0 -1 3 0 0 0
[pid=23389/tid=23396] ppid=23387 vsize=8537372 CPUtime=0 cores=1,3,5,7
/proc/23389/task/23396/stat : 23396 (java) S 23387 23389 23389 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947979752 8742268928 20734 33554432000 1073741824 1073778376 140735870747760 18446744073709551615 260917210009 0 4 0 16800975 18446604464824703744 0 0 -1 3 0 0 0
[pid=23389/tid=23397] ppid=23387 vsize=8537372 CPUtime=0 cores=1,3,5,7
/proc/23389/task/23397/stat : 23397 (java) S 23387 23389 23389 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947979752 8742268928 20734 33554432000 1073741824 1073778376 140735870747760 18446744073709551615 260917210009 0 4 0 16800975 18446604464824703744 0 0 -1 3 0 0 0
[pid=23389/tid=23398] ppid=23387 vsize=8537372 CPUtime=0 cores=1,3,5,7
/proc/23389/task/23398/stat : 23398 (java) S 23387 23389 23389 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947979752 8742268928 20734 33554432000 1073741824 1073778376 140735870747760 18446744073709551615 260917210009 0 4 0 16800975 18446604464824703744 0 0 -1 3 0 0 0
[pid=23389/tid=23399] ppid=23387 vsize=8537372 CPUtime=0 cores=1,3,5,7
/proc/23389/task/23399/stat : 23399 (java) S 23387 23389 23389 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 947979753 8742268928 20734 33554432000 1073741824 1073778376 140735870747760 18446744073709551615 260917210624 0 0 0 16800975 18446604464824703744 0 0 -1 1 0 0 0
[pid=23389/tid=23400] ppid=23387 vsize=8537372 CPUtime=0 cores=1,3,5,7
/proc/23389/task/23400/stat : 23400 (java) S 23387 23389 23389 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 947979753 8742268928 20734 33554432000 1073741824 1073778376 140735870747760 18446744073709551615 260917210009 0 4 0 16800975 18446604464824703744 0 0 -1 1 0 0 0
[pid=23389/tid=23401] ppid=23387 vsize=8537372 CPUtime=0 cores=1,3,5,7
/proc/23389/task/23401/stat : 23401 (java) S 23387 23389 23389 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 947979753 8742268928 20734 33554432000 1073741824 1073778376 140735870747760 18446744073709551615 260917210009 0 4 0 16800975 18446604464824703744 0 0 -1 1 0 0 0
[pid=23389/tid=23402] ppid=23387 vsize=8537372 CPUtime=0 cores=1,3,5,7
/proc/23389/task/23402/stat : 23402 (java) S 23387 23389 23389 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947979755 8742268928 20734 33554432000 1073741824 1073778376 140735870747760 18446744073709551615 260917217713 0 4 0 16800975 18446604464824703744 0 0 -1 1 0 0 0
[pid=23389/tid=23403] ppid=23387 vsize=8537372 CPUtime=0.35 cores=1,3,5,7
/proc/23389/task/23403/stat : 23403 (java) R 23387 23389 23389 0 -1 4202560 3041 0 0 0 35 0 0 0 17 0 19 0 947979755 8742268928 20734 33554432000 1073741824 1073778376 140735870747760 18446744073709551615 47977450387131 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=23389/tid=23404] ppid=23387 vsize=8537372 CPUtime=0.29 cores=1,3,5,7
/proc/23389/task/23404/stat : 23404 (java) R 23387 23389 23389 0 -1 4202560 2187 0 0 0 29 0 0 0 17 0 19 0 947979755 8742268928 20734 33554432000 1073741824 1073778376 140735870747760 18446744073709551615 47977447959056 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=23389/tid=23405] ppid=23387 vsize=8537372 CPUtime=0 cores=1,3,5,7
/proc/23389/task/23405/stat : 23405 (java) S 23387 23389 23389 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947979755 8742268928 20734 33554432000 1073741824 1073778376 140735870747760 18446744073709551615 260917210009 0 4 0 16800975 18446604464824703744 0 0 -1 1 0 0 0
[pid=23389/tid=23406] ppid=23387 vsize=8537372 CPUtime=0 cores=1,3,5,7
/proc/23389/task/23406/stat : 23406 (java) S 23387 23389 23389 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 947979755 8742268928 20734 33554432000 1073741824 1073778376 140735870747760 18446744073709551615 260917210624 0 4 0 16800975 18446604464824703744 0 0 -1 3 0 0 0
[pid=23389/tid=23407] ppid=23387 vsize=8537372 CPUtime=0 cores=1,3,5,7
/proc/23389/task/23407/stat : 23407 (java) S 23387 23389 23389 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 947979797 8742268928 20734 33554432000 1073741824 1073778376 140735870747760 18446744073709551615 260917210624 0 4 0 16800975 18446604464824703744 0 0 -1 7 0 0 0
[pid=23239/tid=23246] ppid=23237 vsize=339432 CPUtime=0 cores=1,3,5,7
/proc/23239/task/23246/stat : 23246 (python) S 23237 23239 22387 0 -1 4202560 31 928 0 0 0 0 0 0 18 0 6 0 947951155 347578368 8465 33554432000 4194304 5683644 140733727003968 18446744073709551615 260917217713 0 0 16781312 33554434 18446604469122352192 0 0 -1 7 0 0 0
[pid=23239/tid=23273] ppid=23237 vsize=339432 CPUtime=0 cores=1,3,5,7
/proc/23239/task/23273/stat : 23273 (python) S 23237 23239 22387 0 -1 4202560 27 928 0 0 0 0 0 0 20 0 6 0 947955888 347578368 8465 33554432000 4194304 5683644 140733727003968 18446744073709551615 260917217713 0 0 16781312 33554434 18446604469122352192 0 0 -1 7 0 0 0
[pid=23239/tid=23346] ppid=23237 vsize=339432 CPUtime=0 cores=1,3,5,7
/proc/23239/task/23346/stat : 23346 (python) S 23237 23239 22387 0 -1 4202560 30 928 0 0 0 0 0 0 20 0 6 0 947965199 347578368 8465 33554432000 4194304 5683644 140733727003968 18446744073709551615 260917217713 0 0 16781312 33554434 18446604469122352192 0 0 -1 5 0 0 0
[pid=23239/tid=23355] ppid=23237 vsize=339432 CPUtime=0 cores=1,3,5,7
/proc/23239/task/23355/stat : 23355 (python) S 23237 23239 22387 0 -1 4202560 27 928 0 0 0 0 0 0 20 0 6 0 947970376 347578368 8465 33554432000 4194304 5683644 140733727003968 18446744073709551615 260917217713 0 0 16781312 33554434 18446604469122352192 0 0 -1 5 0 0 0
[pid=23239/tid=23388] ppid=23237 vsize=339432 CPUtime=0 cores=1,3,5,7
/proc/23239/task/23388/stat : 23388 (python) S 23237 23239 22387 0 -1 4202560 29 928 0 0 0 0 0 0 20 0 6 0 947979750 347578368 8465 33554432000 4194304 5683644 140733727003968 18446744073709551615 260917217713 0 0 16781312 33554434 18446604469122352192 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 290.69
Current children cumulated vsize (KiB) 19166820
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 23239 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=768883
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=145977
# CPU time returned by wait4() is 0.91486
# while last known CPU time is 290.69
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 287.686
CPU time (s): 290.69
CPU user time (s): 287.37
CPU system time (s): 3.32
CPU usage (%): 101.044
Max. virtual memory (cumulated for all children) (KiB): 19166820
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.768883
system time used= 0.145977
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16086
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= 2873
involuntary context switches= 21
runsolver used 1.61675 second user time and 3.54746 second system time
The end