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-3458877-1307146393/watcher-3458877-1307146393 -o /tmp/evaluation-result-3458877-1307146393/solver-3458877-1307146393 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3458877-1307146393.opb
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.91 1.98 1.99 2/450 20935
/proc/meminfo: memFree=24606388/32951124 swapFree=60476376/67111528
[pid=20935] ppid=20933 vsize=13508980 CPUtime=0 cores=0,2,4,6
/proc/20935/stat : 20935 (java) S 20933 20935 19226 0 -1 4202496 2846 0 1 0 0 0 0 0 22 0 2 0 807055254 13833195520 2548 33554432000 1073741824 1073778376 140736279490192 18446744073709551615 220828039141 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0
/proc/20935/statm: 3377245 2562 906 9 0 3368401 0
[pid=20935/tid=20941] ppid=20933 vsize=13526316 CPUtime=0 cores=0,2,4,6
/proc/20935/task/20941/stat : 20941 (java) R 20933 20935 19226 0 -1 4202560 4818 0 1 0 0 0 0 0 23 0 2 0 807055254 13850947584 5634 33554432000 1073741824 1073778376 140736279490192 18446744073709551615 220815930427 0 4 0 16784584 0 0 0 -1 4 0 0 0
[startup+0.035033 s]
/proc/loadavg: 1.91 1.98 1.99 2/450 20935
/proc/meminfo: memFree=24606388/32951124 swapFree=60476376/67111528
[pid=20935] ppid=20933 vsize=13537012 CPUtime=0.02 cores=0,2,4,6
/proc/20935/stat : 20935 (java) S 20933 20935 19226 0 -1 4202496 13212 0 1 0 1 1 0 0 22 0 10 0 807055254 13861900288 12911 33554432000 1073741824 1073778376 140736279490192 18446744073709551615 220828039141 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0
/proc/20935/statm: 3384253 12911 1514 9 0 3375001 0
[pid=20935/tid=20941] ppid=20933 vsize=13537012 CPUtime=0.01 cores=0,2,4,6
/proc/20935/task/20941/stat : 20941 (java) R 20933 20935 19226 0 -1 4202560 12090 0 1 0 1 0 0 0 25 0 10 0 807055254 13861900288 12911 33554432000 1073741824 1073778376 140736279490192 18446744073709551615 47629550084945 0 4 0 16784584 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 13537012
[startup+0.127089 s]
/proc/loadavg: 1.91 1.98 1.99 2/450 20935
/proc/meminfo: memFree=24606388/32951124 swapFree=60476376/67111528
[pid=20935] ppid=20933 vsize=13621968 CPUtime=0.13 cores=0,2,4,6
/proc/20935/stat : 20935 (java) S 20933 20935 19226 0 -1 4202496 15717 0 1 0 12 1 0 0 22 0 18 0 807055254 13948895232 15414 33554432000 1073741824 1073778376 140736279490192 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/20935/statm: 3405492 15414 2133 9 0 3396226 0
[pid=20935/tid=20941] ppid=20933 vsize=13621968 CPUtime=0.11 cores=0,2,4,6
/proc/20935/task/20941/stat : 20941 (java) R 20933 20935 19226 0 -1 4202560 13842 0 1 0 10 1 0 0 18 0 18 0 807055254 13948895232 15414 33554432000 1073741824 1073778376 140736279490192 18446744073709551615 46912505170474 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 13621968
[startup+0.300979 s]
/proc/loadavg: 1.91 1.98 1.99 2/450 20935
/proc/meminfo: memFree=24606388/32951124 swapFree=60476376/67111528
[pid=20935] ppid=20933 vsize=13624696 CPUtime=0.48 cores=0,2,4,6
/proc/20935/stat : 20935 (java) S 20933 20935 19226 0 -1 4202496 19565 0 1 0 46 2 0 0 22 0 18 0 807055254 13951688704 19131 33554432000 1073741824 1073778376 140736279490192 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/20935/statm: 3406174 19132 2198 9 0 3396908 0
[pid=20935/tid=20941] ppid=20933 vsize=13624696 CPUtime=0.28 cores=0,2,4,6
/proc/20935/task/20941/stat : 20941 (java) R 20933 20935 19226 0 -1 4202560 16521 0 1 0 26 2 0 0 18 0 18 0 807055254 13951688704 19133 33554432000 1073741824 1073778376 140736279490192 18446744073709551615 46912505556376 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 13624696
[startup+0.700905 s]
/proc/loadavg: 1.91 1.98 1.99 2/450 20935
/proc/meminfo: memFree=24606388/32951124 swapFree=60476376/67111528
[pid=20935] ppid=20933 vsize=13630556 CPUtime=1.43 cores=0,2,4,6
/proc/20935/stat : 20935 (java) S 20933 20935 19226 0 -1 4202496 40149 0 1 0 138 5 0 0 22 0 19 0 807055254 13957689344 37731 33554432000 1073741824 1073778376 140736279490192 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/20935/statm: 3407639 37731 2234 9 0 3398373 0
[pid=20935/tid=20941] ppid=20933 vsize=13630556 CPUtime=0.67 cores=0,2,4,6
/proc/20935/task/20941/stat : 20941 (java) R 20933 20935 19226 0 -1 4202560 32783 0 1 0 63 4 0 0 19 0 19 0 807055254 13957689344 37731 33554432000 1073741824 1073778376 140736279490192 18446744073709551615 46912505201599 0 4 0 16800975 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1.43
Current children cumulated vsize (KiB) 13630556
[startup+1.50083 s]
/proc/loadavg: 1.91 1.98 1.99 5/491 21023
/proc/meminfo: memFree=24394340/32951124 swapFree=60476376/67111528
[pid=20935] ppid=20933 vsize=13630556 CPUtime=2.37 cores=0,2,4,6
/proc/20935/stat : 20935 (java) S 20933 20935 19226 0 -1 4202496 41001 0 1 0 231 6 0 0 22 0 19 0 807055254 13957689344 38583 33554432000 1073741824 1073778376 140736279490192 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/20935/statm: 3407639 38583 2238 9 0 3398373 0
[pid=20935/tid=20941] ppid=20933 vsize=13630556 CPUtime=1.47 cores=0,2,4,6
/proc/20935/task/20941/stat : 20941 (java) R 20933 20935 19226 0 -1 4202560 33612 0 1 0 143 4 0 0 20 0 19 0 807055254 13957689344 38583 33554432000 1073741824 1073778376 140736279490192 18446744073709551615 46912505329190 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=20935/tid=20945] ppid=20933 vsize=13630556 CPUtime=0 cores=0,2,4,6
/proc/20935/task/20945/stat : 20945 (java) S 20933 20935 19226 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 807055257 13957689344 38583 33554432000 1073741824 1073778376 140736279490192 18446744073709551615 220828052377 0 4 0 16800975 18446604453937780032 0 0 -1 4 0 0 0
[pid=20935/tid=20946] ppid=20933 vsize=13630556 CPUtime=0 cores=0,2,4,6
/proc/20935/task/20946/stat : 20946 (java) S 20933 20935 19226 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807055257 13957689344 38583 33554432000 1073741824 1073778376 140736279490192 18446744073709551615 220828052377 0 4 0 16800975 18446604453937780032 0 0 -1 6 0 0 0
[pid=20935/tid=20947] ppid=20933 vsize=13630556 CPUtime=0 cores=0,2,4,6
/proc/20935/task/20947/stat : 20947 (java) S 20933 20935 19226 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807055257 13957689344 38583 33554432000 1073741824 1073778376 140736279490192 18446744073709551615 220828052377 0 4 0 16800975 18446604453937780032 0 0 -1 6 0 0 0
[pid=20935/tid=20948] ppid=20933 vsize=13630556 CPUtime=0 cores=0,2,4,6
/proc/20935/task/20948/stat : 20948 (java) S 20933 20935 19226 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807055257 13957689344 38583 33554432000 1073741824 1073778376 140736279490192 18446744073709551615 220828052377 0 4 0 16800975 18446604453937780032 0 0 -1 6 0 0 0
[pid=20935/tid=20949] ppid=20933 vsize=13630556 CPUtime=0 cores=0,2,4,6
/proc/20935/task/20949/stat : 20949 (java) S 20933 20935 19226 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807055257 13957689344 38583 33554432000 1073741824 1073778376 140736279490192 18446744073709551615 220828052377 0 4 0 16800975 18446604453937780032 0 0 -1 6 0 0 0
[pid=20935/tid=20950] ppid=20933 vsize=13630556 CPUtime=0 cores=0,2,4,6
/proc/20935/task/20950/stat : 20950 (java) S 20933 20935 19226 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807055257 13957689344 38583 33554432000 1073741824 1073778376 140736279490192 18446744073709551615 220828052377 0 4 0 16800975 18446604453937780032 0 0 -1 6 0 0 0
[pid=20935/tid=20951] ppid=20933 vsize=13630556 CPUtime=0 cores=0,2,4,6
/proc/20935/task/20951/stat : 20951 (java) S 20933 20935 19226 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807055257 13957689344 38583 33554432000 1073741824 1073778376 140736279490192 18446744073709551615 220828052377 0 4 0 16800975 18446604453937780032 0 0 -1 6 0 0 0
[pid=20935/tid=20952] ppid=20933 vsize=13630556 CPUtime=0 cores=0,2,4,6
/proc/20935/task/20952/stat : 20952 (java) S 20933 20935 19226 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807055257 13957689344 38584 33554432000 1073741824 1073778376 140736279490192 18446744073709551615 220828052377 0 4 0 16800975 18446604453937780032 0 0 -1 6 0 0 0
[pid=20935/tid=20961] ppid=20933 vsize=13630556 CPUtime=0 cores=0,2,4,6
/proc/20935/task/20961/stat : 20961 (java) S 20933 20935 19226 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 807055258 13957689344 38584 33554432000 1073741824 1073778376 140736279490192 18446744073709551615 220828052992 0 0 0 16800975 18446604453937780032 0 0 -1 4 0 0 0
[pid=20935/tid=20963] ppid=20933 vsize=13630556 CPUtime=0 cores=0,2,4,6
/proc/20935/task/20963/stat : 20963 (java) S 20933 20935 19226 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 807055258 13957689344 38584 33554432000 1073741824 1073778376 140736279490192 18446744073709551615 220828052377 0 4 0 16800975 18446604453937780032 0 0 -1 6 0 0 0
[pid=20935/tid=20964] ppid=20933 vsize=13630556 CPUtime=0 cores=0,2,4,6
/proc/20935/task/20964/stat : 20964 (java) S 20933 20935 19226 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 807055258 13957689344 38584 33554432000 1073741824 1073778376 140736279490192 18446744073709551615 220828052377 0 4 0 16800975 18446604453937780032 0 0 -1 6 0 0 0
[pid=20935/tid=20967] ppid=20933 vsize=13630556 CPUtime=0 cores=0,2,4,6
/proc/20935/task/20967/stat : 20967 (java) S 20933 20935 19226 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807055260 13957689344 38584 33554432000 1073741824 1073778376 140736279490192 18446744073709551615 220828060081 0 4 0 16800975 18446604453937780032 0 0 -1 6 0 0 0
[pid=20935/tid=20968] ppid=20933 vsize=13630556 CPUtime=0.43 cores=0,2,4,6
/proc/20935/task/20968/stat : 20968 (java) S 20933 20935 19226 0 -1 4202560 3118 0 0 0 43 0 0 0 17 0 19 0 807055260 13957689344 38584 33554432000 1073741824 1073778376 140736279490192 18446744073709551615 220828052377 0 4 0 16800975 18446604453937780032 0 0 -1 0 0 0 0
[pid=20935/tid=20969] ppid=20933 vsize=13630556 CPUtime=0.44 cores=0,2,4,6
/proc/20935/task/20969/stat : 20969 (java) S 20933 20935 19226 0 -1 4202560 3111 0 0 0 44 0 0 0 15 0 19 0 807055260 13957689344 38584 33554432000 1073741824 1073778376 140736279490192 18446744073709551615 220828052377 0 4 0 16800975 18446604453937780032 0 0 -1 4 0 0 0
[pid=20935/tid=20970] ppid=20933 vsize=13630556 CPUtime=0 cores=0,2,4,6
/proc/20935/task/20970/stat : 20970 (java) S 20933 20935 19226 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807055260 13957689344 38584 33554432000 1073741824 1073778376 140736279490192 18446744073709551615 220828052377 0 4 0 16800975 18446604453937780032 0 0 -1 6 0 0 0
[pid=20935/tid=20971] ppid=20933 vsize=13630556 CPUtime=0 cores=0,2,4,6
/proc/20935/task/20971/stat : 20971 (java) S 20933 20935 19226 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 807055260 13957689344 38584 33554432000 1073741824 1073778376 140736279490192 18446744073709551615 220828052992 0 4 0 16800975 18446604453937780032 0 0 -1 2 0 0 0
[pid=20935/tid=20979] ppid=20933 vsize=13630556 CPUtime=0 cores=0,2,4,6
/proc/20935/task/20979/stat : 20979 (java) S 20933 20935 19226 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 807055312 13957689344 38584 33554432000 1073741824 1073778376 140736279490192 18446744073709551615 220828052992 0 4 0 16800975 18446604453937780032 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.37
Current children cumulated vsize (KiB) 13630556
[startup+3.10147 s]
/proc/loadavg: 1.91 1.98 1.99 3/492 21024
/proc/meminfo: memFree=24363144/32951124 swapFree=60476376/67111528
[pid=20935] ppid=20933 vsize=13630556 CPUtime=4.02 cores=0,2,4,6
/proc/20935/stat : 20935 (java) S 20933 20935 19226 0 -1 4202496 44112 0 1 0 396 6 0 0 22 0 19 0 807055254 13957689344 41687 33554432000 1073741824 1073778376 140736279490192 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/20935/statm: 3407639 41687 2263 9 0 3398373 0
[pid=20935/tid=20941] ppid=20933 vsize=13630556 CPUtime=3.02 cores=0,2,4,6
/proc/20935/task/20941/stat : 20941 (java) R 20933 20935 19226 0 -1 4202560 33746 0 1 0 298 4 0 0 19 0 19 0 807055254 13957689344 41687 33554432000 1073741824 1073778376 140736279490192 18446744073709551615 46912505831324 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=20935/tid=20945] ppid=20933 vsize=13630556 CPUtime=0 cores=0,2,4,6
/proc/20935/task/20945/stat : 20945 (java) S 20933 20935 19226 0 -1 4202560 378 0 0 0 0 0 0 0 18 0 19 0 807055257 13957689344 41687 33554432000 1073741824 1073778376 140736279490192 18446744073709551615 220828052377 0 4 0 16800975 18446604453937780032 0 0 -1 4 0 0 0
[pid=20935/tid=20946] ppid=20933 vsize=13630556 CPUtime=0 cores=0,2,4,6
/proc/20935/task/20946/stat : 20946 (java) S 20933 20935 19226 0 -1 4202560 240 0 0 0 0 0 0 0 15 0 19 0 807055257 13957689344 41687 33554432000 1073741824 1073778376 140736279490192 18446744073709551615 220828052377 0 4 0 16800975 18446604453937780032 0 0 -1 4 0 0 0
[pid=20935/tid=20947] ppid=20933 vsize=13630556 CPUtime=0 cores=0,2,4,6
/proc/20935/task/20947/stat : 20947 (java) S 20933 20935 19226 0 -1 4202560 21 0 0 0 0 0 0 0 15 0 19 0 807055257 13957689344 41687 33554432000 1073741824 1073778376 140736279490192 18446744073709551615 220828052377 0 4 0 16800975 18446604453937780032 0 0 -1 4 0 0 0
[pid=20935/tid=20948] ppid=20933 vsize=13630556 CPUtime=0 cores=0,2,4,6
/proc/20935/task/20948/stat : 20948 (java) S 20933 20935 19226 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 807055257 13957689344 41687 33554432000 1073741824 1073778376 140736279490192 18446744073709551615 220828052377 0 4 0 16800975 18446604453937780032 0 0 -1 6 0 0 0
[pid=20935/tid=20949] ppid=20933 vsize=13630556 CPUtime=0 cores=0,2,4,6
/proc/20935/task/20949/stat : 20949 (java) S 20933 20935 19226 0 -1 4202560 369 0 0 0 0 0 0 0 15 0 19 0 807055257 13957689344 41687 33554432000 1073741824 1073778376 140736279490192 18446744073709551615 220828052377 0 4 0 16800975 18446604453937780032 0 0 -1 6 0 0 0
[pid=20935/tid=20950] ppid=20933 vsize=13630556 CPUtime=0 cores=0,2,4,6
/proc/20935/task/20950/stat : 20950 (java) S 20933 20935 19226 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 807055257 13957689344 41687 33554432000 1073741824 1073778376 140736279490192 18446744073709551615 220828052377 0 4 0 16800975 18446604453937780032 0 0 -1 6 0 0 0
[pid=20935/tid=20951] ppid=20933 vsize=13630556 CPUtime=0 cores=0,2,4,6
/proc/20935/task/20951/stat : 20951 (java) S 20933 20935 19226 0 -1 4202560 349 0 0 0 0 0 0 0 18 0 19 0 807055257 13957689344 41687 33554432000 1073741824 1073778376 140736279490192 18446744073709551615 220828052377 0 4 0 16800975 18446604453937780032 0 0 -1 4 0 0 0
[pid=20935/tid=20952] ppid=20933 vsize=13630556 CPUtime=0 cores=0,2,4,6
/proc/20935/task/20952/stat : 20952 (java) S 20933 20935 19226 0 -1 4202560 364 0 0 0 0 0 0 0 18 0 19 0 807055257 13957689344 41687 33554432000 1073741824 1073778376 140736279490192 18446744073709551615 220828052377 0 4 0 16800975 18446604453937780032 0 0 -1 6 0 0 0
[pid=20935/tid=20961] ppid=20933 vsize=13630556 CPUtime=0.04 cores=0,2,4,6
/proc/20935/task/20961/stat : 20961 (java) S 20933 20935 19226 0 -1 4202560 1249 0 0 0 4 0 0 0 15 0 19 0 807055258 13957689344 41687 33554432000 1073741824 1073778376 140736279490192 18446744073709551615 220828052992 0 0 0 16800975 18446604453937780032 0 0 -1 0 0 0 0
[pid=20935/tid=20963] ppid=20933 vsize=13630556 CPUtime=0 cores=0,2,4,6
/proc/20935/task/20963/stat : 20963 (java) S 20933 20935 19226 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 807055258 13957689344 41687 33554432000 1073741824 1073778376 140736279490192 18446744073709551615 220828052377 0 4 0 16800975 18446604453937780032 0 0 -1 0 0 0 0
[pid=20935/tid=20964] ppid=20933 vsize=13630556 CPUtime=0 cores=0,2,4,6
/proc/20935/task/20964/stat : 20964 (java) S 20933 20935 19226 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 807055258 13957689344 41687 33554432000 1073741824 1073778376 140736279490192 18446744073709551615 220828052377 0 4 0 16800975 18446604453937780032 0 0 -1 0 0 0 0
[pid=20935/tid=20967] ppid=20933 vsize=13630556 CPUtime=0 cores=0,2,4,6
/proc/20935/task/20967/stat : 20967 (java) S 20933 20935 19226 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807055260 13957689344 41687 33554432000 1073741824 1073778376 140736279490192 18446744073709551615 220828060081 0 4 0 16800975 18446604453937780032 0 0 -1 6 0 0 0
[pid=20935/tid=20968] ppid=20933 vsize=13630556 CPUtime=0.45 cores=0,2,4,6
/proc/20935/task/20968/stat : 20968 (java) S 20933 20935 19226 0 -1 4202560 3122 0 0 0 45 0 0 0 15 0 19 0 807055260 13957689344 41687 33554432000 1073741824 1073778376 140736279490192 18446744073709551615 220828052377 0 4 0 16800975 18446604453937780032 0 0 -1 0 0 0 0
[pid=20935/tid=20969] ppid=20933 vsize=13630556 CPUtime=0.47 cores=0,2,4,6
/proc/20935/task/20969/stat : 20969 (java) S 20933 20935 19226 0 -1 4202560 3122 0 0 0 47 0 0 0 16 0 19 0 807055260 13957689344 41687 33554432000 1073741824 1073778376 140736279490192 18446744073709551615 220828052377 0 4 0 16800975 18446604453937780032 0 0 -1 4 0 0 0
[pid=20935/tid=20970] ppid=20933 vsize=13630556 CPUtime=0 cores=0,2,4,6
/proc/20935/task/20970/stat : 20970 (java) S 20933 20935 19226 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807055260 13957689344 41687 33554432000 1073741824 1073778376 140736279490192 18446744073709551615 220828052377 0 4 0 16800975 18446604453937780032 0 0 -1 6 0 0 0
[pid=20935/tid=20971] ppid=20933 vsize=13630556 CPUtime=0 cores=0,2,4,6
/proc/20935/task/20971/stat : 20971 (java) S 20933 20935 19226 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 807055260 13957689344 41687 33554432000 1073741824 1073778376 140736279490192 18446744073709551615 220828052992 0 4 0 16800975 18446604453937780032 0 0 -1 2 0 0 0
[pid=20935/tid=20979] ppid=20933 vsize=13630556 CPUtime=0 cores=0,2,4,6
/proc/20935/task/20979/stat : 20979 (java) S 20933 20935 19226 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 807055312 13957689344 41687 33554432000 1073741824 1073778376 140736279490192 18446744073709551615 220828052992 0 4 0 16800975 18446604453937780032 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4.02
Current children cumulated vsize (KiB) 13630556
[startup+6.30087 s]
/proc/loadavg: 1.91 1.98 1.99 3/492 21024
/proc/meminfo: memFree=24354836/32951124 swapFree=60476376/67111528
[pid=20935] ppid=20933 vsize=13630556 CPUtime=7.27 cores=0,2,4,6
/proc/20935/stat : 20935 (java) S 20933 20935 19226 0 -1 4202496 44768 0 1 0 721 6 0 0 22 0 19 0 807055254 13957689344 42138 33554432000 1073741824 1073778376 140736279490192 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/20935/statm: 3407639 42138 2263 9 0 3398373 0
[pid=20935/tid=20941] ppid=20933 vsize=13630556 CPUtime=6.16 cores=0,2,4,6
/proc/20935/task/20941/stat : 20941 (java) R 20933 20935 19226 0 -1 4202560 33748 0 1 0 612 4 0 0 25 0 19 0 807055254 13957689344 42138 33554432000 1073741824 1073778376 140736279490192 18446744073709551615 46912505887265 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=20935/tid=20945] ppid=20933 vsize=13630556 CPUtime=0 cores=0,2,4,6
/proc/20935/task/20945/stat : 20945 (java) S 20933 20935 19226 0 -1 4202560 381 0 0 0 0 0 0 0 15 0 19 0 807055257 13957689344 42138 33554432000 1073741824 1073778376 140736279490192 18446744073709551615 220828052377 0 4 0 16800975 18446604453937780032 0 0 -1 2 0 0 0
[pid=20935/tid=20946] ppid=20933 vsize=13630556 CPUtime=0 cores=0,2,4,6
/proc/20935/task/20946/stat : 20946 (java) S 20933 20935 19226 0 -1 4202560 240 0 0 0 0 0 0 0 15 0 19 0 807055257 13957689344 42138 33554432000 1073741824 1073778376 140736279490192 18446744073709551615 220828052377 0 4 0 16800975 18446604453937780032 0 0 -1 4 0 0 0
[pid=20935/tid=20947] ppid=20933 vsize=13630556 CPUtime=0 cores=0,2,4,6
/proc/20935/task/20947/stat : 20947 (java) S 20933 20935 19226 0 -1 4202560 21 0 0 0 0 0 0 0 15 0 19 0 807055257 13957689344 42138 33554432000 1073741824 1073778376 140736279490192 18446744073709551615 220828052377 0 4 0 16800975 18446604453937780032 0 0 -1 2 0 0 0
[pid=20935/tid=20948] ppid=20933 vsize=13630556 CPUtime=0 cores=0,2,4,6
/proc/20935/task/20948/stat : 20948 (java) S 20933 20935 19226 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 807055257 13957689344 42138 33554432000 1073741824 1073778376 140736279490192 18446744073709551615 220828052377 0 4 0 16800975 18446604453937780032 0 0 -1 2 0 0 0
[pid=20935/tid=20949] ppid=20933 vsize=13630556 CPUtime=0 cores=0,2,4,6
/proc/20935/task/20949/stat : 20949 (java) S 20933 20935 19226 0 -1 4202560 494 0 0 0 0 0 0 0 15 0 19 0 807055257 13957689344 42138 33554432000 1073741824 1073778376 140736279490192 18446744073709551615 220828052377 0 4 0 16800975 18446604453937780032 0 0 -1 4 0 0 0
[pid=20935/tid=20950] ppid=20933 vsize=13630556 CPUtime=0 cores=0,2,4,6
/proc/20935/task/20950/stat : 20950 (java) S 20933 20935 19226 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 807055257 13957689344 42138 33554432000 1073741824 1073778376 140736279490192 18446744073709551615 220828052377 0 4 0 16800975 18446604453937780032 0 0 -1 2 0 0 0
[pid=20935/tid=20951] ppid=20933 vsize=13630556 CPUtime=0 cores=0,2,4,6
/proc/20935/task/20951/stat : 20951 (java) S 20933 20935 19226 0 -1 4202560 486 0 0 0 0 0 0 0 15 0 19 0 807055257 13957689344 42138 33554432000 1073741824 1073778376 140736279490192 18446744073709551615 220828052377 0 4 0 16800975 18446604453937780032 0 0 -1 2 0 0 0
[pid=20935/tid=20952] ppid=20933 vsize=13630556 CPUtime=0 cores=0,2,4,6
/proc/20935/task/20952/stat : 20952 (java) S 20933 20935 19226 0 -1 4202560 606 0 0 0 0 0 0 0 15 0 19 0 807055257 13957689344 42138 33554432000 1073741824 1073778376 140736279490192 18446744073709551615 220828052377 0 4 0 16800975 18446604453937780032 0 0 -1 2 0 0 0
[pid=20935/tid=20961] ppid=20933 vsize=13630556 CPUtime=0.08 cores=0,2,4,6
/proc/20935/task/20961/stat : 20961 (java) S 20933 20935 19226 0 -1 4202560 1376 0 0 0 8 0 0 0 15 0 19 0 807055258 13957689344 42138 33554432000 1073741824 1073778376 140736279490192 18446744073709551615 220828052992 0 0 0 16800975 18446604453937780032 0 0 -1 4 0 0 0
[pid=20935/tid=20963] ppid=20933 vsize=13630556 CPUtime=0 cores=0,2,4,6
/proc/20935/task/20963/stat : 20963 (java) S 20933 20935 19226 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 807055258 13957689344 42138 33554432000 1073741824 1073778376 140736279490192 18446744073709551615 220828052377 0 4 0 16800975 18446604453937780032 0 0 -1 0 0 0 0
[pid=20935/tid=20964] ppid=20933 vsize=13630556 CPUtime=0 cores=0,2,4,6
/proc/20935/task/20964/stat : 20964 (java) S 20933 20935 19226 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 807055258 13957689344 42138 33554432000 1073741824 1073778376 140736279490192 18446744073709551615 220828052377 0 4 0 16800975 18446604453937780032 0 0 -1 0 0 0 0
[pid=20935/tid=20967] ppid=20933 vsize=13630556 CPUtime=0 cores=0,2,4,6
/proc/20935/task/20967/stat : 20967 (java) S 20933 20935 19226 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807055260 13957689344 42138 33554432000 1073741824 1073778376 140736279490192 18446744073709551615 220828060081 0 4 0 16800975 18446604453937780032 0 0 -1 6 0 0 0
[pid=20935/tid=20968] ppid=20933 vsize=13630556 CPUtime=0.5 cores=0,2,4,6
/proc/20935/task/20968/stat : 20968 (java) S 20933 20935 19226 0 -1 4202560 3140 0 0 0 50 0 0 0 15 0 19 0 807055260 13957689344 42138 33554432000 1073741824 1073778376 140736279490192 18446744073709551615 220828052377 0 4 0 16800975 18446604453937780032 0 0 -1 0 0 0 0
[pid=20935/tid=20969] ppid=20933 vsize=13630556 CPUtime=0.47 cores=0,2,4,6
/proc/20935/task/20969/stat : 20969 (java) S 20933 20935 19226 0 -1 4202560 3122 0 0 0 47 0 0 0 15 0 19 0 807055260 13957689344 42138 33554432000 1073741824 1073778376 140736279490192 18446744073709551615 220828052377 0 4 0 16800975 18446604453937780032 0 0 -1 4 0 0 0
################
# More data... #
################
[pid=20935/tid=20950] ppid=20933 vsize=13630556 CPUtime=0.29 cores=0,2,4,6
/proc/20935/task/20950/stat : 20950 (java) S 20933 20935 19226 0 -1 4202560 228 0 0 0 29 0 0 0 16 0 19 0 807055257 13957689344 49479 33554432000 1073741824 1073778376 140736279490192 18446744073709551615 220828052377 0 4 0 16800975 18446604453937780032 0 0 -1 2 0 0 0
[pid=20935/tid=20951] ppid=20933 vsize=13630556 CPUtime=0.32 cores=0,2,4,6
/proc/20935/task/20951/stat : 20951 (java) S 20933 20935 19226 0 -1 4202560 1155 0 0 0 32 0 0 0 16 0 19 0 807055257 13957689344 49479 33554432000 1073741824 1073778376 140736279490192 18446744073709551615 220828052377 0 4 0 16800975 18446604453937780032 0 0 -1 6 0 0 0
[pid=20935/tid=20952] ppid=20933 vsize=13630556 CPUtime=0.3 cores=0,2,4,6
/proc/20935/task/20952/stat : 20952 (java) S 20933 20935 19226 0 -1 4202560 1086 0 0 0 30 0 0 0 15 0 19 0 807055257 13957689344 49479 33554432000 1073741824 1073778376 140736279490192 18446744073709551615 220828052377 0 4 0 16800975 18446604453937780032 0 0 -1 0 0 0 0
[pid=20935/tid=20961] ppid=20933 vsize=13630556 CPUtime=9.07 cores=0,2,4,6
/proc/20935/task/20961/stat : 20961 (java) S 20933 20935 19226 0 -1 4202560 5292 0 0 0 904 3 0 0 15 0 19 0 807055258 13957689344 49479 33554432000 1073741824 1073778376 140736279490192 18446744073709551615 220828052992 0 0 0 16800975 18446604453937780032 0 0 -1 4 0 0 0
[pid=20935/tid=20963] ppid=20933 vsize=13630556 CPUtime=0 cores=0,2,4,6
/proc/20935/task/20963/stat : 20963 (java) S 20933 20935 19226 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 807055258 13957689344 49479 33554432000 1073741824 1073778376 140736279490192 18446744073709551615 220828052377 0 4 0 16800975 18446604453937780032 0 0 -1 0 0 0 0
[pid=20935/tid=20964] ppid=20933 vsize=13630556 CPUtime=0 cores=0,2,4,6
/proc/20935/task/20964/stat : 20964 (java) S 20933 20935 19226 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 807055258 13957689344 49479 33554432000 1073741824 1073778376 140736279490192 18446744073709551615 220828052377 0 4 0 16800975 18446604453937780032 0 0 -1 0 0 0 0
[pid=20935/tid=20967] ppid=20933 vsize=13630556 CPUtime=0 cores=0,2,4,6
/proc/20935/task/20967/stat : 20967 (java) S 20933 20935 19226 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807055260 13957689344 49479 33554432000 1073741824 1073778376 140736279490192 18446744073709551615 220828060081 0 4 0 16800975 18446604453937780032 0 0 -1 6 0 0 0
[pid=20935/tid=20968] ppid=20933 vsize=13630556 CPUtime=0.53 cores=0,2,4,6
/proc/20935/task/20968/stat : 20968 (java) S 20933 20935 19226 0 -1 4202560 3144 0 0 0 53 0 0 0 16 0 19 0 807055260 13957689344 49479 33554432000 1073741824 1073778376 140736279490192 18446744073709551615 220828052377 0 4 0 16800975 18446604453937780032 0 0 -1 6 0 0 0
[pid=20935/tid=20969] ppid=20933 vsize=13630556 CPUtime=0.66 cores=0,2,4,6
/proc/20935/task/20969/stat : 20969 (java) S 20933 20935 19226 0 -1 4202560 6222 0 0 0 66 0 0 0 15 0 19 0 807055260 13957689344 49479 33554432000 1073741824 1073778376 140736279490192 18446744073709551615 220828052377 0 4 0 16800975 18446604453937780032 0 0 -1 4 0 0 0
[pid=20935/tid=20970] ppid=20933 vsize=13630556 CPUtime=0 cores=0,2,4,6
/proc/20935/task/20970/stat : 20970 (java) S 20933 20935 19226 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807055260 13957689344 49479 33554432000 1073741824 1073778376 140736279490192 18446744073709551615 220828052377 0 4 0 16800975 18446604453937780032 0 0 -1 6 0 0 0
[pid=20935/tid=20971] ppid=20933 vsize=13630556 CPUtime=0 cores=0,2,4,6
/proc/20935/task/20971/stat : 20971 (java) S 20933 20935 19226 0 -1 4202560 101 0 0 0 0 0 0 0 15 0 19 0 807055260 13957689344 49479 33554432000 1073741824 1073778376 140736279490192 18446744073709551615 220828052992 0 4 0 16800975 18446604453937780032 0 0 -1 0 0 0 0
[pid=20935/tid=20979] ppid=20933 vsize=13630556 CPUtime=0 cores=0,2,4,6
/proc/20935/task/20979/stat : 20979 (java) S 20933 20935 19226 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 807055312 13957689344 49479 33554432000 1073741824 1073778376 140736279490192 18446744073709551615 220828052992 0 4 0 16800975 18446604453937780032 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1724.83
Current children cumulated vsize (KiB) 13630556
[startup+1782.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/492 21075
/proc/meminfo: memFree=24309108/32951124 swapFree=60476376/67111528
[pid=20935] ppid=20933 vsize=13630556 CPUtime=1784.87 cores=0,2,4,6
/proc/20935/stat : 20935 (java) S 20933 20935 19226 0 -1 4202496 55539 0 1 0 178473 14 0 0 22 0 19 0 807055254 13957689344 49491 33554432000 1073741824 1073778376 140736279490192 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/20935/statm: 3407639 49491 2264 9 0 3398373 0
[pid=20935/tid=20941] ppid=20933 vsize=13630556 CPUtime=1771.71 cores=0,2,4,6
/proc/20935/task/20941/stat : 20941 (java) R 20933 20935 19226 0 -1 4202560 34062 0 1 0 177164 7 0 0 25 0 19 0 807055254 13957689344 49491 33554432000 1073741824 1073778376 140736279490192 18446744073709551615 46912505796682 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=20935/tid=20945] ppid=20933 vsize=13630556 CPUtime=0.34 cores=0,2,4,6
/proc/20935/task/20945/stat : 20945 (java) S 20933 20935 19226 0 -1 4202560 419 0 0 0 34 0 0 0 15 0 19 0 807055257 13957689344 49491 33554432000 1073741824 1073778376 140736279490192 18446744073709551615 220828052377 0 4 0 16800975 18446604453937780032 0 0 -1 2 0 0 0
[pid=20935/tid=20946] ppid=20933 vsize=13630556 CPUtime=0.3 cores=0,2,4,6
/proc/20935/task/20946/stat : 20946 (java) S 20933 20935 19226 0 -1 4202560 454 0 0 0 30 0 0 0 15 0 19 0 807055257 13957689344 49491 33554432000 1073741824 1073778376 140736279490192 18446744073709551615 220828052377 0 4 0 16800975 18446604453937780032 0 0 -1 0 0 0 0
[pid=20935/tid=20947] ppid=20933 vsize=13630556 CPUtime=0.34 cores=0,2,4,6
/proc/20935/task/20947/stat : 20947 (java) S 20933 20935 19226 0 -1 4202560 469 0 0 0 34 0 0 0 15 0 19 0 807055257 13957689344 49491 33554432000 1073741824 1073778376 140736279490192 18446744073709551615 220828052377 0 4 0 16800975 18446604453937780032 0 0 -1 6 0 0 0
[pid=20935/tid=20948] ppid=20933 vsize=13630556 CPUtime=0.33 cores=0,2,4,6
/proc/20935/task/20948/stat : 20948 (java) S 20933 20935 19226 0 -1 4202560 772 0 0 0 33 0 0 0 15 0 19 0 807055257 13957689344 49491 33554432000 1073741824 1073778376 140736279490192 18446744073709551615 220828052377 0 4 0 16800975 18446604453937780032 0 0 -1 2 0 0 0
[pid=20935/tid=20949] ppid=20933 vsize=13630556 CPUtime=0.29 cores=0,2,4,6
/proc/20935/task/20949/stat : 20949 (java) S 20933 20935 19226 0 -1 4202560 973 0 0 0 29 0 0 0 15 0 19 0 807055257 13957689344 49491 33554432000 1073741824 1073778376 140736279490192 18446744073709551615 220828052377 0 4 0 16800975 18446604453937780032 0 0 -1 0 0 0 0
[pid=20935/tid=20950] ppid=20933 vsize=13630556 CPUtime=0.29 cores=0,2,4,6
/proc/20935/task/20950/stat : 20950 (java) S 20933 20935 19226 0 -1 4202560 228 0 0 0 29 0 0 0 15 0 19 0 807055257 13957689344 49491 33554432000 1073741824 1073778376 140736279490192 18446744073709551615 220828052377 0 4 0 16800975 18446604453937780032 0 0 -1 0 0 0 0
[pid=20935/tid=20951] ppid=20933 vsize=13630556 CPUtime=0.32 cores=0,2,4,6
/proc/20935/task/20951/stat : 20951 (java) S 20933 20935 19226 0 -1 4202560 1155 0 0 0 32 0 0 0 16 0 19 0 807055257 13957689344 49491 33554432000 1073741824 1073778376 140736279490192 18446744073709551615 220828052377 0 4 0 16800975 18446604453937780032 0 0 -1 6 0 0 0
[pid=20935/tid=20952] ppid=20933 vsize=13630556 CPUtime=0.32 cores=0,2,4,6
/proc/20935/task/20952/stat : 20952 (java) S 20933 20935 19226 0 -1 4202560 1091 0 0 0 32 0 0 0 16 0 19 0 807055257 13957689344 49491 33554432000 1073741824 1073778376 140736279490192 18446744073709551615 220828052377 0 4 0 16800975 18446604453937780032 0 0 -1 0 0 0 0
[pid=20935/tid=20961] ppid=20933 vsize=13630556 CPUtime=9.33 cores=0,2,4,6
/proc/20935/task/20961/stat : 20961 (java) S 20933 20935 19226 0 -1 4202560 5296 0 0 0 930 3 0 0 15 0 19 0 807055258 13957689344 49491 33554432000 1073741824 1073778376 140736279490192 18446744073709551615 220828052992 0 0 0 16800975 18446604453937780032 0 0 -1 4 0 0 0
[pid=20935/tid=20963] ppid=20933 vsize=13630556 CPUtime=0 cores=0,2,4,6
/proc/20935/task/20963/stat : 20963 (java) S 20933 20935 19226 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 807055258 13957689344 49491 33554432000 1073741824 1073778376 140736279490192 18446744073709551615 220828052377 0 4 0 16800975 18446604453937780032 0 0 -1 0 0 0 0
[pid=20935/tid=20964] ppid=20933 vsize=13630556 CPUtime=0 cores=0,2,4,6
/proc/20935/task/20964/stat : 20964 (java) S 20933 20935 19226 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 807055258 13957689344 49491 33554432000 1073741824 1073778376 140736279490192 18446744073709551615 220828052377 0 4 0 16800975 18446604453937780032 0 0 -1 0 0 0 0
[pid=20935/tid=20967] ppid=20933 vsize=13630556 CPUtime=0 cores=0,2,4,6
/proc/20935/task/20967/stat : 20967 (java) S 20933 20935 19226 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807055260 13957689344 49491 33554432000 1073741824 1073778376 140736279490192 18446744073709551615 220828060081 0 4 0 16800975 18446604453937780032 0 0 -1 6 0 0 0
[pid=20935/tid=20968] ppid=20933 vsize=13630556 CPUtime=0.53 cores=0,2,4,6
/proc/20935/task/20968/stat : 20968 (java) S 20933 20935 19226 0 -1 4202560 3144 0 0 0 53 0 0 0 16 0 19 0 807055260 13957689344 49491 33554432000 1073741824 1073778376 140736279490192 18446744073709551615 220828052377 0 4 0 16800975 18446604453937780032 0 0 -1 6 0 0 0
[pid=20935/tid=20969] ppid=20933 vsize=13630556 CPUtime=0.66 cores=0,2,4,6
/proc/20935/task/20969/stat : 20969 (java) S 20933 20935 19226 0 -1 4202560 6222 0 0 0 66 0 0 0 15 0 19 0 807055260 13957689344 49491 33554432000 1073741824 1073778376 140736279490192 18446744073709551615 220828052377 0 4 0 16800975 18446604453937780032 0 0 -1 4 0 0 0
[pid=20935/tid=20970] ppid=20933 vsize=13630556 CPUtime=0 cores=0,2,4,6
/proc/20935/task/20970/stat : 20970 (java) S 20933 20935 19226 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807055260 13957689344 49491 33554432000 1073741824 1073778376 140736279490192 18446744073709551615 220828052377 0 4 0 16800975 18446604453937780032 0 0 -1 6 0 0 0
[pid=20935/tid=20971] ppid=20933 vsize=13630556 CPUtime=0 cores=0,2,4,6
/proc/20935/task/20971/stat : 20971 (java) S 20933 20935 19226 0 -1 4202560 105 0 0 0 0 0 0 0 15 0 19 0 807055260 13957689344 49491 33554432000 1073741824 1073778376 140736279490192 18446744073709551615 220828052992 0 4 0 16800975 18446604453937780032 0 0 -1 0 0 0 0
[pid=20935/tid=20979] ppid=20933 vsize=13630556 CPUtime=0 cores=0,2,4,6
/proc/20935/task/20979/stat : 20979 (java) S 20933 20935 19226 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 807055312 13957689344 49491 33554432000 1073741824 1073778376 140736279490192 18446744073709551615 220828052992 0 4 0 16800975 18446604453937780032 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1784.87
Current children cumulated vsize (KiB) 13630556
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1797.5 s]
/proc/loadavg: 2.04 2.03 2.00 3/492 21075
/proc/meminfo: memFree=24308960/32951124 swapFree=60476376/67111528
[pid=20935] ppid=20933 vsize=13630556 CPUtime=1800.08 cores=0,2,4,6
/proc/20935/stat : 20935 (java) S 20933 20935 19226 0 -1 4202496 55542 0 1 0 179994 14 0 0 22 0 19 0 807055254 13957689344 49492 33554432000 1073741824 1073778376 140736279490192 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/20935/statm: 3407639 49492 2264 9 0 3398373 0
[pid=20935/tid=20941] ppid=20933 vsize=13630556 CPUtime=1786.85 cores=0,2,4,6
/proc/20935/task/20941/stat : 20941 (java) R 20933 20935 19226 0 -1 4202560 34064 0 1 0 178678 7 0 0 25 0 19 0 807055254 13957689344 49492 33554432000 1073741824 1073778376 140736279490192 18446744073709551615 46912505711280 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=20935/tid=20945] ppid=20933 vsize=13630556 CPUtime=0.34 cores=0,2,4,6
/proc/20935/task/20945/stat : 20945 (java) S 20933 20935 19226 0 -1 4202560 419 0 0 0 34 0 0 0 15 0 19 0 807055257 13957689344 49492 33554432000 1073741824 1073778376 140736279490192 18446744073709551615 220828052377 0 4 0 16800975 18446604453937780032 0 0 -1 2 0 0 0
[pid=20935/tid=20946] ppid=20933 vsize=13630556 CPUtime=0.3 cores=0,2,4,6
/proc/20935/task/20946/stat : 20946 (java) S 20933 20935 19226 0 -1 4202560 454 0 0 0 30 0 0 0 16 0 19 0 807055257 13957689344 49492 33554432000 1073741824 1073778376 140736279490192 18446744073709551615 220828052377 0 4 0 16800975 18446604453937780032 0 0 -1 0 0 0 0
[pid=20935/tid=20947] ppid=20933 vsize=13630556 CPUtime=0.34 cores=0,2,4,6
/proc/20935/task/20947/stat : 20947 (java) S 20933 20935 19226 0 -1 4202560 469 0 0 0 34 0 0 0 16 0 19 0 807055257 13957689344 49492 33554432000 1073741824 1073778376 140736279490192 18446744073709551615 220828052377 0 4 0 16800975 18446604453937780032 0 0 -1 6 0 0 0
[pid=20935/tid=20948] ppid=20933 vsize=13630556 CPUtime=0.33 cores=0,2,4,6
/proc/20935/task/20948/stat : 20948 (java) S 20933 20935 19226 0 -1 4202560 772 0 0 0 33 0 0 0 15 0 19 0 807055257 13957689344 49492 33554432000 1073741824 1073778376 140736279490192 18446744073709551615 220828052377 0 4 0 16800975 18446604453937780032 0 0 -1 2 0 0 0
[pid=20935/tid=20949] ppid=20933 vsize=13630556 CPUtime=0.3 cores=0,2,4,6
/proc/20935/task/20949/stat : 20949 (java) S 20933 20935 19226 0 -1 4202560 974 0 0 0 30 0 0 0 15 0 19 0 807055257 13957689344 49492 33554432000 1073741824 1073778376 140736279490192 18446744073709551615 220828052377 0 4 0 16800975 18446604453937780032 0 0 -1 0 0 0 0
[pid=20935/tid=20950] ppid=20933 vsize=13630556 CPUtime=0.29 cores=0,2,4,6
/proc/20935/task/20950/stat : 20950 (java) S 20933 20935 19226 0 -1 4202560 228 0 0 0 29 0 0 0 15 0 19 0 807055257 13957689344 49492 33554432000 1073741824 1073778376 140736279490192 18446744073709551615 220828052377 0 4 0 16800975 18446604453937780032 0 0 -1 2 0 0 0
[pid=20935/tid=20951] ppid=20933 vsize=13630556 CPUtime=0.32 cores=0,2,4,6
/proc/20935/task/20951/stat : 20951 (java) S 20933 20935 19226 0 -1 4202560 1155 0 0 0 32 0 0 0 15 0 19 0 807055257 13957689344 49492 33554432000 1073741824 1073778376 140736279490192 18446744073709551615 220828052377 0 4 0 16800975 18446604453937780032 0 0 -1 6 0 0 0
[pid=20935/tid=20952] ppid=20933 vsize=13630556 CPUtime=0.32 cores=0,2,4,6
/proc/20935/task/20952/stat : 20952 (java) S 20933 20935 19226 0 -1 4202560 1091 0 0 0 32 0 0 0 15 0 19 0 807055257 13957689344 49492 33554432000 1073741824 1073778376 140736279490192 18446744073709551615 220828052377 0 4 0 16800975 18446604453937780032 0 0 -1 0 0 0 0
[pid=20935/tid=20961] ppid=20933 vsize=13630556 CPUtime=9.39 cores=0,2,4,6
/proc/20935/task/20961/stat : 20961 (java) S 20933 20935 19226 0 -1 4202560 5296 0 0 0 936 3 0 0 15 0 19 0 807055258 13957689344 49492 33554432000 1073741824 1073778376 140736279490192 18446744073709551615 220828052992 0 0 0 16800975 18446604453937780032 0 0 -1 4 0 0 0
[pid=20935/tid=20963] ppid=20933 vsize=13630556 CPUtime=0 cores=0,2,4,6
/proc/20935/task/20963/stat : 20963 (java) S 20933 20935 19226 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 807055258 13957689344 49492 33554432000 1073741824 1073778376 140736279490192 18446744073709551615 220828052377 0 4 0 16800975 18446604453937780032 0 0 -1 0 0 0 0
[pid=20935/tid=20964] ppid=20933 vsize=13630556 CPUtime=0 cores=0,2,4,6
/proc/20935/task/20964/stat : 20964 (java) S 20933 20935 19226 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 807055258 13957689344 49492 33554432000 1073741824 1073778376 140736279490192 18446744073709551615 220828052377 0 4 0 16800975 18446604453937780032 0 0 -1 0 0 0 0
[pid=20935/tid=20967] ppid=20933 vsize=13630556 CPUtime=0 cores=0,2,4,6
/proc/20935/task/20967/stat : 20967 (java) S 20933 20935 19226 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807055260 13957689344 49492 33554432000 1073741824 1073778376 140736279490192 18446744073709551615 220828060081 0 4 0 16800975 18446604453937780032 0 0 -1 6 0 0 0
[pid=20935/tid=20968] ppid=20933 vsize=13630556 CPUtime=0.53 cores=0,2,4,6
/proc/20935/task/20968/stat : 20968 (java) S 20933 20935 19226 0 -1 4202560 3144 0 0 0 53 0 0 0 16 0 19 0 807055260 13957689344 49492 33554432000 1073741824 1073778376 140736279490192 18446744073709551615 220828052377 0 4 0 16800975 18446604453937780032 0 0 -1 6 0 0 0
[pid=20935/tid=20969] ppid=20933 vsize=13630556 CPUtime=0.66 cores=0,2,4,6
/proc/20935/task/20969/stat : 20969 (java) S 20933 20935 19226 0 -1 4202560 6222 0 0 0 66 0 0 0 15 0 19 0 807055260 13957689344 49492 33554432000 1073741824 1073778376 140736279490192 18446744073709551615 220828052377 0 4 0 16800975 18446604453937780032 0 0 -1 4 0 0 0
[pid=20935/tid=20970] ppid=20933 vsize=13630556 CPUtime=0 cores=0,2,4,6
/proc/20935/task/20970/stat : 20970 (java) S 20933 20935 19226 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807055260 13957689344 49492 33554432000 1073741824 1073778376 140736279490192 18446744073709551615 220828052377 0 4 0 16800975 18446604453937780032 0 0 -1 6 0 0 0
[pid=20935/tid=20971] ppid=20933 vsize=13630556 CPUtime=0 cores=0,2,4,6
/proc/20935/task/20971/stat : 20971 (java) S 20933 20935 19226 0 -1 4202560 105 0 0 0 0 0 0 0 15 0 19 0 807055260 13957689344 49492 33554432000 1073741824 1073778376 140736279490192 18446744073709551615 220828052992 0 4 0 16800975 18446604453937780032 0 0 -1 0 0 0 0
[pid=20935/tid=20979] ppid=20933 vsize=13630556 CPUtime=0 cores=0,2,4,6
/proc/20935/task/20979/stat : 20979 (java) S 20933 20935 19226 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 807055312 13957689344 49492 33554432000 1073741824 1073778376 140736279490192 18446744073709551615 220828052992 0 4 0 16800975 18446604453937780032 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 13630556
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1797.5 s]
/proc/loadavg: 2.04 2.03 2.00 3/492 21075
/proc/meminfo: memFree=24308960/32951124 swapFree=60476376/67111528
[pid=20935] ppid=20933 vsize=13630556 CPUtime=1800.08 cores=0,2,4,6
/proc/20935/stat : 20935 (java) S 20933 20935 19226 0 -1 4202496 55542 0 1 0 179994 14 0 0 22 0 19 0 807055254 13957689344 49492 33554432000 1073741824 1073778376 140736279490192 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/20935/statm: 3407639 49492 2264 9 0 3398373 0
[pid=20935/tid=20941] ppid=20933 vsize=13630556 CPUtime=1786.85 cores=0,2,4,6
/proc/20935/task/20941/stat : 20941 (java) R 20933 20935 19226 0 -1 4202560 34064 0 1 0 178678 7 0 0 25 0 19 0 807055254 13957689344 49492 33554432000 1073741824 1073778376 140736279490192 18446744073709551615 46912505711280 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=20935/tid=20945] ppid=20933 vsize=13630556 CPUtime=0.34 cores=0,2,4,6
/proc/20935/task/20945/stat : 20945 (java) S 20933 20935 19226 0 -1 4202560 419 0 0 0 34 0 0 0 15 0 19 0 807055257 13957689344 49492 33554432000 1073741824 1073778376 140736279490192 18446744073709551615 220828052377 0 4 0 16800975 18446604453937780032 0 0 -1 2 0 0 0
[pid=20935/tid=20946] ppid=20933 vsize=13630556 CPUtime=0.3 cores=0,2,4,6
/proc/20935/task/20946/stat : 20946 (java) S 20933 20935 19226 0 -1 4202560 454 0 0 0 30 0 0 0 16 0 19 0 807055257 13957689344 49492 33554432000 1073741824 1073778376 140736279490192 18446744073709551615 220828052377 0 4 0 16800975 18446604453937780032 0 0 -1 0 0 0 0
[pid=20935/tid=20947] ppid=20933 vsize=13630556 CPUtime=0.34 cores=0,2,4,6
/proc/20935/task/20947/stat : 20947 (java) S 20933 20935 19226 0 -1 4202560 469 0 0 0 34 0 0 0 16 0 19 0 807055257 13957689344 49492 33554432000 1073741824 1073778376 140736279490192 18446744073709551615 220828052377 0 4 0 16800975 18446604453937780032 0 0 -1 6 0 0 0
[pid=20935/tid=20948] ppid=20933 vsize=13630556 CPUtime=0.33 cores=0,2,4,6
/proc/20935/task/20948/stat : 20948 (java) S 20933 20935 19226 0 -1 4202560 772 0 0 0 33 0 0 0 15 0 19 0 807055257 13957689344 49492 33554432000 1073741824 1073778376 140736279490192 18446744073709551615 220828052377 0 4 0 16800975 18446604453937780032 0 0 -1 2 0 0 0
[pid=20935/tid=20949] ppid=20933 vsize=13630556 CPUtime=0.3 cores=0,2,4,6
/proc/20935/task/20949/stat : 20949 (java) S 20933 20935 19226 0 -1 4202560 974 0 0 0 30 0 0 0 15 0 19 0 807055257 13957689344 49492 33554432000 1073741824 1073778376 140736279490192 18446744073709551615 220828052377 0 4 0 16800975 18446604453937780032 0 0 -1 0 0 0 0
[pid=20935/tid=20950] ppid=20933 vsize=13630556 CPUtime=0.29 cores=0,2,4,6
/proc/20935/task/20950/stat : 20950 (java) S 20933 20935 19226 0 -1 4202560 228 0 0 0 29 0 0 0 15 0 19 0 807055257 13957689344 49492 33554432000 1073741824 1073778376 140736279490192 18446744073709551615 220828052377 0 4 0 16800975 18446604453937780032 0 0 -1 2 0 0 0
[pid=20935/tid=20951] ppid=20933 vsize=13630556 CPUtime=0.32 cores=0,2,4,6
/proc/20935/task/20951/stat : 20951 (java) S 20933 20935 19226 0 -1 4202560 1155 0 0 0 32 0 0 0 15 0 19 0 807055257 13957689344 49492 33554432000 1073741824 1073778376 140736279490192 18446744073709551615 220828052377 0 4 0 16800975 18446604453937780032 0 0 -1 6 0 0 0
[pid=20935/tid=20952] ppid=20933 vsize=13630556 CPUtime=0.32 cores=0,2,4,6
/proc/20935/task/20952/stat : 20952 (java) S 20933 20935 19226 0 -1 4202560 1091 0 0 0 32 0 0 0 15 0 19 0 807055257 13957689344 49492 33554432000 1073741824 1073778376 140736279490192 18446744073709551615 220828052377 0 4 0 16800975 18446604453937780032 0 0 -1 0 0 0 0
[pid=20935/tid=20961] ppid=20933 vsize=13630556 CPUtime=9.39 cores=0,2,4,6
/proc/20935/task/20961/stat : 20961 (java) S 20933 20935 19226 0 -1 4202560 5296 0 0 0 936 3 0 0 15 0 19 0 807055258 13957689344 49492 33554432000 1073741824 1073778376 140736279490192 18446744073709551615 220828052992 0 0 0 16800975 18446604453937780032 0 0 -1 4 0 0 0
[pid=20935/tid=20963] ppid=20933 vsize=13630556 CPUtime=0 cores=0,2,4,6
/proc/20935/task/20963/stat : 20963 (java) S 20933 20935 19226 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 807055258 13957689344 49492 33554432000 1073741824 1073778376 140736279490192 18446744073709551615 220828052377 0 4 0 16800975 18446604453937780032 0 0 -1 0 0 0 0
[pid=20935/tid=20964] ppid=20933 vsize=13630556 CPUtime=0 cores=0,2,4,6
/proc/20935/task/20964/stat : 20964 (java) S 20933 20935 19226 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 807055258 13957689344 49492 33554432000 1073741824 1073778376 140736279490192 18446744073709551615 220828052377 0 4 0 16800975 18446604453937780032 0 0 -1 0 0 0 0
[pid=20935/tid=20967] ppid=20933 vsize=13630556 CPUtime=0 cores=0,2,4,6
/proc/20935/task/20967/stat : 20967 (java) S 20933 20935 19226 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807055260 13957689344 49492 33554432000 1073741824 1073778376 140736279490192 18446744073709551615 220828060081 0 4 0 16800975 18446604453937780032 0 0 -1 6 0 0 0
[pid=20935/tid=20968] ppid=20933 vsize=13630556 CPUtime=0.53 cores=0,2,4,6
/proc/20935/task/20968/stat : 20968 (java) S 20933 20935 19226 0 -1 4202560 3144 0 0 0 53 0 0 0 16 0 19 0 807055260 13957689344 49492 33554432000 1073741824 1073778376 140736279490192 18446744073709551615 220828052377 0 4 0 16800975 18446604453937780032 0 0 -1 6 0 0 0
[pid=20935/tid=20969] ppid=20933 vsize=13630556 CPUtime=0.66 cores=0,2,4,6
/proc/20935/task/20969/stat : 20969 (java) S 20933 20935 19226 0 -1 4202560 6222 0 0 0 66 0 0 0 15 0 19 0 807055260 13957689344 49492 33554432000 1073741824 1073778376 140736279490192 18446744073709551615 220828052377 0 4 0 16800975 18446604453937780032 0 0 -1 4 0 0 0
[pid=20935/tid=20970] ppid=20933 vsize=13630556 CPUtime=0 cores=0,2,4,6
/proc/20935/task/20970/stat : 20970 (java) S 20933 20935 19226 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807055260 13957689344 49492 33554432000 1073741824 1073778376 140736279490192 18446744073709551615 220828052377 0 4 0 16800975 18446604453937780032 0 0 -1 6 0 0 0
[pid=20935/tid=20971] ppid=20933 vsize=13630556 CPUtime=0 cores=0,2,4,6
/proc/20935/task/20971/stat : 20971 (java) S 20933 20935 19226 0 -1 4202560 105 0 0 0 0 0 0 0 15 0 19 0 807055260 13957689344 49492 33554432000 1073741824 1073778376 140736279490192 18446744073709551615 220828052992 0 4 0 16800975 18446604453937780032 0 0 -1 0 0 0 0
[pid=20935/tid=20979] ppid=20933 vsize=13630556 CPUtime=0 cores=0,2,4,6
/proc/20935/task/20979/stat : 20979 (java) S 20933 20935 19226 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 807055312 13957689344 49492 33554432000 1073741824 1073778376 140736279490192 18446744073709551615 220828052992 0 4 0 16800975 18446604453937780032 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 13630556
Child status: 143
Real time (s): 1797.56
CPU time (s): 1800.18
CPU user time (s): 1800.02
CPU system time (s): 0.159975
CPU usage (%): 100.145
Max. virtual memory (cumulated for all children) (KiB): 13630556
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.02
system time used= 0.159975
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 55596
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= 44846
involuntary context switches= 27717
runsolver used 8.87665 second user time and 18.0972 second system time
The end