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-3458668-1307154709/watcher-3458668-1307154709 -o /tmp/evaluation-result-3458668-1307154709/solver-3458668-1307154709 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3458668-1307154709.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: 2.25 2.12 2.03 5/548 3101
/proc/meminfo: memFree=14894708/32951132 swapFree=46579808/67111528
[pid=3101] ppid=3099 vsize=24004 CPUtime=0 cores=0,2,4,6
/proc/3101/stat : 3101 (java) S 3099 3101 32282 0 -1 4202496 1124 0 0 0 0 0 0 0 25 0 2 0 827069542 24580096 863 33554432000 1073741824 1073778376 140734105215600 18446744073709551615 242982352869 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0
/proc/3101/statm: 6001 863 652 9 0 381 0
[pid=3101/tid=3102] ppid=3099 vsize=13526316 CPUtime=0 cores=0,2,4,6
/proc/3101/task/3102/stat : 3102 (java) R 3099 3101 32282 0 -1 4202560 7880 0 1 0 0 0 0 0 25 0 2 0 827069542 13850947584 8696 33554432000 1073741824 1073778376 140734105215600 18446744073709551615 242970244155 0 4 0 16784584 0 0 0 -1 4 0 0 0
[startup+0.0838919 s]
/proc/loadavg: 2.25 2.12 2.03 5/548 3101
/proc/meminfo: memFree=14894708/32951132 swapFree=46579808/67111528
[pid=3101] ppid=3099 vsize=13686560 CPUtime=0.07 cores=0,2,4,6
/proc/3101/stat : 3101 (java) S 3099 3101 32282 0 -1 4202496 14789 0 1 0 6 1 0 0 25 0 18 0 827069542 14015037440 14487 33554432000 1073741824 1073778376 140734105215600 18446744073709551615 242982352869 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/3101/statm: 3421640 14487 1915 9 0 3412374 0
[pid=3101/tid=3102] ppid=3099 vsize=13686560 CPUtime=0.07 cores=0,2,4,6
/proc/3101/task/3102/stat : 3102 (java) D 3099 3101 32282 0 -1 4202560 13404 0 1 0 6 1 0 0 25 0 18 0 827069542 14015037440 14487 33554432000 1073741824 1073778376 140734105215600 18446744073709551615 242970593415 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 13686560
[startup+0.100521 s]
/proc/loadavg: 2.25 2.12 2.03 5/548 3101
/proc/meminfo: memFree=14894708/32951132 swapFree=46579808/67111528
[pid=3101] ppid=3099 vsize=13622324 CPUtime=0.1 cores=0,2,4,6
/proc/3101/stat : 3101 (java) S 3099 3101 32282 0 -1 4202496 15494 0 1 0 9 1 0 0 25 0 18 0 827069542 13949259776 15192 33554432000 1073741824 1073778376 140734105215600 18446744073709551615 242982352869 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/3101/statm: 3405581 15192 2093 9 0 3396315 0
[pid=3101/tid=3102] ppid=3099 vsize=13622324 CPUtime=0.08 cores=0,2,4,6
/proc/3101/task/3102/stat : 3102 (java) R 3099 3101 32282 0 -1 4202560 13601 0 1 0 7 1 0 0 25 0 18 0 827069542 13949259776 15192 33554432000 1073741824 1073778376 140734105215600 18446744073709551615 47142562932248 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 13622324
[startup+0.300455 s]
/proc/loadavg: 2.25 2.12 2.03 5/548 3101
/proc/meminfo: memFree=14894708/32951132 swapFree=46579808/67111528
[pid=3101] ppid=3099 vsize=13623896 CPUtime=0.49 cores=0,2,4,6
/proc/3101/stat : 3101 (java) S 3099 3101 32282 0 -1 4202496 19030 0 1 0 47 2 0 0 25 0 18 0 827069542 13950869504 18363 33554432000 1073741824 1073778376 140734105215600 18446744073709551615 242982352869 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/3101/statm: 3405974 18364 2202 9 0 3396708 0
[pid=3101/tid=3102] ppid=3099 vsize=13623896 CPUtime=0.28 cores=0,2,4,6
/proc/3101/task/3102/stat : 3102 (java) R 3099 3101 32282 0 -1 4202560 15951 0 1 0 26 2 0 0 25 0 18 0 827069542 13950869504 18365 33554432000 1073741824 1073778376 140734105215600 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 13623896
[startup+0.707444 s]
/proc/loadavg: 2.25 2.12 2.03 5/548 3101
/proc/meminfo: memFree=14894708/32951132 swapFree=46579808/67111528
[pid=3101] ppid=3099 vsize=13627028 CPUtime=1.04 cores=0,2,4,6
/proc/3101/stat : 3101 (java) S 3099 3101 32282 0 -1 4202496 38533 0 1 0 97 7 0 0 25 0 18 0 827069542 13954076672 36084 33554432000 1073741824 1073778376 140734105215600 18446744073709551615 242982352869 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/3101/statm: 3406757 36088 2214 9 0 3397491 0
[pid=3101/tid=3102] ppid=3099 vsize=13627028 CPUtime=0.58 cores=0,2,4,6
/proc/3101/task/3102/stat : 3102 (java) R 3099 3101 32282 0 -1 4202560 32110 0 1 0 52 6 0 0 18 0 18 0 827069542 13954076672 36090 33554432000 1073741824 1073778376 140734105215600 18446744073709551615 46912505366267 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1.04
Current children cumulated vsize (KiB) 13627028
[startup+1.50125 s]
/proc/loadavg: 2.25 2.12 2.03 3/566 3124
/proc/meminfo: memFree=14629152/32951132 swapFree=46579808/67111528
[pid=3101] ppid=3099 vsize=13627028 CPUtime=1.79 cores=0,2,4,6
/proc/3101/stat : 3101 (java) S 3099 3101 32282 0 -1 4202496 103836 0 1 0 164 15 0 0 25 0 18 0 827069542 13954076672 101387 33554432000 1073741824 1073778376 140734105215600 18446744073709551615 242982352869 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/3101/statm: 3406757 101387 2214 9 0 3397491 0
[pid=3101/tid=3102] ppid=3099 vsize=13627028 CPUtime=1.32 cores=0,2,4,6
/proc/3101/task/3102/stat : 3102 (java) R 3099 3101 32282 0 -1 4202560 97407 0 1 0 118 14 0 0 19 0 18 0 827069542 13954076672 101387 33554432000 1073741824 1073778376 140734105215600 18446744073709551615 46912505549940 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=3101/tid=3104] ppid=3099 vsize=13627028 CPUtime=0 cores=0,2,4,6
/proc/3101/task/3104/stat : 3104 (java) S 3099 3101 32282 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 827069544 13954076672 101387 33554432000 1073741824 1073778376 140734105215600 18446744073709551615 242982366105 0 4 0 16800975 18446604447888127232 0 0 -1 6 0 0 0
[pid=3101/tid=3105] ppid=3099 vsize=13627028 CPUtime=0 cores=0,2,4,6
/proc/3101/task/3105/stat : 3105 (java) S 3099 3101 32282 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 827069544 13954076672 101387 33554432000 1073741824 1073778376 140734105215600 18446744073709551615 242982366105 0 4 0 16800975 18446604447888127232 0 0 -1 6 0 0 0
[pid=3101/tid=3106] ppid=3099 vsize=13627028 CPUtime=0 cores=0,2,4,6
/proc/3101/task/3106/stat : 3106 (java) S 3099 3101 32282 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 827069544 13954076672 101387 33554432000 1073741824 1073778376 140734105215600 18446744073709551615 242982366105 0 4 0 16800975 18446604447888127232 0 0 -1 6 0 0 0
[pid=3101/tid=3110] ppid=3099 vsize=13627028 CPUtime=0 cores=0,2,4,6
/proc/3101/task/3110/stat : 3110 (java) S 3099 3101 32282 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 827069544 13954076672 101387 33554432000 1073741824 1073778376 140734105215600 18446744073709551615 242982366105 0 4 0 16800975 18446604447888127232 0 0 -1 6 0 0 0
[pid=3101/tid=3111] ppid=3099 vsize=13627028 CPUtime=0 cores=0,2,4,6
/proc/3101/task/3111/stat : 3111 (java) S 3099 3101 32282 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 827069544 13954076672 101387 33554432000 1073741824 1073778376 140734105215600 18446744073709551615 242982366105 0 4 0 16800975 18446604447888127232 0 0 -1 6 0 0 0
[pid=3101/tid=3112] ppid=3099 vsize=13627028 CPUtime=0 cores=0,2,4,6
/proc/3101/task/3112/stat : 3112 (java) S 3099 3101 32282 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 827069544 13954076672 101387 33554432000 1073741824 1073778376 140734105215600 18446744073709551615 242982366105 0 4 0 16800975 18446604447888127232 0 0 -1 6 0 0 0
[pid=3101/tid=3113] ppid=3099 vsize=13627028 CPUtime=0 cores=0,2,4,6
/proc/3101/task/3113/stat : 3113 (java) S 3099 3101 32282 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 827069544 13954076672 101387 33554432000 1073741824 1073778376 140734105215600 18446744073709551615 242982366105 0 4 0 16800975 18446604447888127232 0 0 -1 6 0 0 0
[pid=3101/tid=3114] ppid=3099 vsize=13627028 CPUtime=0 cores=0,2,4,6
/proc/3101/task/3114/stat : 3114 (java) S 3099 3101 32282 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 827069544 13954076672 101387 33554432000 1073741824 1073778376 140734105215600 18446744073709551615 242982366105 0 4 0 16800975 18446604447888127232 0 0 -1 6 0 0 0
[pid=3101/tid=3115] ppid=3099 vsize=13627028 CPUtime=0 cores=0,2,4,6
/proc/3101/task/3115/stat : 3115 (java) S 3099 3101 32282 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 18 0 827069545 13954076672 101387 33554432000 1073741824 1073778376 140734105215600 18446744073709551615 242982366720 0 0 0 16800975 18446604447888127232 0 0 -1 6 0 0 0
[pid=3101/tid=3117] ppid=3099 vsize=13627028 CPUtime=0 cores=0,2,4,6
/proc/3101/task/3117/stat : 3117 (java) S 3099 3101 32282 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 827069546 13954076672 101387 33554432000 1073741824 1073778376 140734105215600 18446744073709551615 242982366105 0 4 0 16800975 18446604447888127232 0 0 -1 4 0 0 0
[pid=3101/tid=3118] ppid=3099 vsize=13627028 CPUtime=0 cores=0,2,4,6
/proc/3101/task/3118/stat : 3118 (java) S 3099 3101 32282 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 827069546 13954076672 101387 33554432000 1073741824 1073778376 140734105215600 18446744073709551615 242982366105 0 4 0 16800975 18446604447888127232 0 0 -1 4 0 0 0
[pid=3101/tid=3119] ppid=3099 vsize=13627028 CPUtime=0 cores=0,2,4,6
/proc/3101/task/3119/stat : 3119 (java) S 3099 3101 32282 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 827069548 13954076672 101387 33554432000 1073741824 1073778376 140734105215600 18446744073709551615 242982373809 0 4 0 16800975 18446604447888127232 0 0 -1 4 0 0 0
[pid=3101/tid=3120] ppid=3099 vsize=13627028 CPUtime=0.25 cores=0,2,4,6
/proc/3101/task/3120/stat : 3120 (java) S 3099 3101 32282 0 -1 4202560 2904 0 0 0 25 0 0 0 15 0 18 0 827069548 13954076672 101387 33554432000 1073741824 1073778376 140734105215600 18446744073709551615 242982366105 0 4 0 16800975 18446604447888127232 0 0 -1 4 0 0 0
[pid=3101/tid=3121] ppid=3099 vsize=13627028 CPUtime=0.19 cores=0,2,4,6
/proc/3101/task/3121/stat : 3121 (java) S 3099 3101 32282 0 -1 4202560 2377 0 0 0 19 0 0 0 25 0 18 0 827069548 13954076672 101387 33554432000 1073741824 1073778376 140734105215600 18446744073709551615 242982366105 0 4 0 16800975 18446604447888127232 0 0 -1 6 0 0 0
[pid=3101/tid=3122] ppid=3099 vsize=13627028 CPUtime=0 cores=0,2,4,6
/proc/3101/task/3122/stat : 3122 (java) S 3099 3101 32282 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 827069548 13954076672 101387 33554432000 1073741824 1073778376 140734105215600 18446744073709551615 242982366105 0 4 0 16800975 18446604447888127232 0 0 -1 4 0 0 0
[pid=3101/tid=3124] ppid=3099 vsize=13627028 CPUtime=0 cores=0,2,4,6
/proc/3101/task/3124/stat : 3124 (java) S 3099 3101 32282 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 827069548 13954076672 101387 33554432000 1073741824 1073778376 140734105215600 18446744073709551615 242982366720 0 4 0 16800975 18446604447888127232 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1.79
Current children cumulated vsize (KiB) 13627028
[startup+3.10101 s]
/proc/loadavg: 2.25 2.12 2.03 4/566 3124
/proc/meminfo: memFree=14445908/32951132 swapFree=46579808/67111528
[pid=3101] ppid=3099 vsize=13628348 CPUtime=3.64 cores=0,2,4,6
/proc/3101/stat : 3101 (java) S 3099 3101 32282 0 -1 4202496 121350 0 1 0 342 22 0 0 25 0 19 0 827069542 13955428352 118835 33554432000 1073741824 1073778376 140734105215600 18446744073709551615 242982352869 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/3101/statm: 3407087 118835 2235 9 0 3397821 0
[pid=3101/tid=3102] ppid=3099 vsize=13628348 CPUtime=2.69 cores=0,2,4,6
/proc/3101/task/3102/stat : 3102 (java) R 3099 3101 32282 0 -1 4202560 114707 0 1 0 251 18 0 0 19 0 19 0 827069542 13955428352 118835 33554432000 1073741824 1073778376 140734105215600 18446744073709551615 47142563002552 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=3101/tid=3104] ppid=3099 vsize=13628348 CPUtime=0 cores=0,2,4,6
/proc/3101/task/3104/stat : 3104 (java) S 3099 3101 32282 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827069544 13955428352 118835 33554432000 1073741824 1073778376 140734105215600 18446744073709551615 242982366105 0 4 0 16800975 18446604447888127232 0 0 -1 6 0 0 0
[pid=3101/tid=3105] ppid=3099 vsize=13628348 CPUtime=0 cores=0,2,4,6
/proc/3101/task/3105/stat : 3105 (java) S 3099 3101 32282 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827069544 13955428352 118835 33554432000 1073741824 1073778376 140734105215600 18446744073709551615 242982366105 0 4 0 16800975 18446604447888127232 0 0 -1 6 0 0 0
[pid=3101/tid=3106] ppid=3099 vsize=13628348 CPUtime=0 cores=0,2,4,6
/proc/3101/task/3106/stat : 3106 (java) S 3099 3101 32282 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827069544 13955428352 118835 33554432000 1073741824 1073778376 140734105215600 18446744073709551615 242982366105 0 4 0 16800975 18446604447888127232 0 0 -1 6 0 0 0
[pid=3101/tid=3110] ppid=3099 vsize=13628348 CPUtime=0 cores=0,2,4,6
/proc/3101/task/3110/stat : 3110 (java) S 3099 3101 32282 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827069544 13955428352 118835 33554432000 1073741824 1073778376 140734105215600 18446744073709551615 242982366105 0 4 0 16800975 18446604447888127232 0 0 -1 6 0 0 0
[pid=3101/tid=3111] ppid=3099 vsize=13628348 CPUtime=0 cores=0,2,4,6
/proc/3101/task/3111/stat : 3111 (java) S 3099 3101 32282 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827069544 13955428352 118835 33554432000 1073741824 1073778376 140734105215600 18446744073709551615 242982366105 0 4 0 16800975 18446604447888127232 0 0 -1 6 0 0 0
[pid=3101/tid=3112] ppid=3099 vsize=13628348 CPUtime=0 cores=0,2,4,6
/proc/3101/task/3112/stat : 3112 (java) S 3099 3101 32282 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827069544 13955428352 118835 33554432000 1073741824 1073778376 140734105215600 18446744073709551615 242982366105 0 4 0 16800975 18446604447888127232 0 0 -1 6 0 0 0
[pid=3101/tid=3113] ppid=3099 vsize=13628348 CPUtime=0 cores=0,2,4,6
/proc/3101/task/3113/stat : 3113 (java) S 3099 3101 32282 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827069544 13955428352 118835 33554432000 1073741824 1073778376 140734105215600 18446744073709551615 242982366105 0 4 0 16800975 18446604447888127232 0 0 -1 6 0 0 0
[pid=3101/tid=3114] ppid=3099 vsize=13628348 CPUtime=0 cores=0,2,4,6
/proc/3101/task/3114/stat : 3114 (java) S 3099 3101 32282 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827069544 13955428352 118835 33554432000 1073741824 1073778376 140734105215600 18446744073709551615 242982366105 0 4 0 16800975 18446604447888127232 0 0 -1 6 0 0 0
[pid=3101/tid=3115] ppid=3099 vsize=13628348 CPUtime=0 cores=0,2,4,6
/proc/3101/task/3115/stat : 3115 (java) S 3099 3101 32282 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 827069545 13955428352 118835 33554432000 1073741824 1073778376 140734105215600 18446744073709551615 242982366720 0 0 0 16800975 18446604447888127232 0 0 -1 6 0 0 0
[pid=3101/tid=3117] ppid=3099 vsize=13628348 CPUtime=0 cores=0,2,4,6
/proc/3101/task/3117/stat : 3117 (java) S 3099 3101 32282 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 827069546 13955428352 118835 33554432000 1073741824 1073778376 140734105215600 18446744073709551615 242982366105 0 4 0 16800975 18446604447888127232 0 0 -1 4 0 0 0
[pid=3101/tid=3118] ppid=3099 vsize=13628348 CPUtime=0 cores=0,2,4,6
/proc/3101/task/3118/stat : 3118 (java) S 3099 3101 32282 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 827069546 13955428352 118835 33554432000 1073741824 1073778376 140734105215600 18446744073709551615 242982366105 0 4 0 16800975 18446604447888127232 0 0 -1 4 0 0 0
[pid=3101/tid=3119] ppid=3099 vsize=13628348 CPUtime=0 cores=0,2,4,6
/proc/3101/task/3119/stat : 3119 (java) S 3099 3101 32282 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827069548 13955428352 118835 33554432000 1073741824 1073778376 140734105215600 18446744073709551615 242982373809 0 4 0 16800975 18446604447888127232 0 0 -1 4 0 0 0
[pid=3101/tid=3120] ppid=3099 vsize=13628348 CPUtime=0.37 cores=0,2,4,6
/proc/3101/task/3120/stat : 3120 (java) S 3099 3101 32282 0 -1 4202560 2988 0 0 0 36 1 0 0 15 0 19 0 827069548 13955428352 118835 33554432000 1073741824 1073778376 140734105215600 18446744073709551615 242982366105 0 4 0 16800975 18446604447888127232 0 0 -1 4 0 0 0
[pid=3101/tid=3121] ppid=3099 vsize=13628348 CPUtime=0.51 cores=0,2,4,6
/proc/3101/task/3121/stat : 3121 (java) S 3099 3101 32282 0 -1 4202560 2497 0 0 0 51 0 0 0 15 0 19 0 827069548 13955428352 118835 33554432000 1073741824 1073778376 140734105215600 18446744073709551615 242982366105 0 4 0 16800975 18446604447888127232 0 0 -1 0 0 0 0
[pid=3101/tid=3122] ppid=3099 vsize=13628348 CPUtime=0 cores=0,2,4,6
/proc/3101/task/3122/stat : 3122 (java) S 3099 3101 32282 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827069548 13955428352 118835 33554432000 1073741824 1073778376 140734105215600 18446744073709551615 242982366105 0 4 0 16800975 18446604447888127232 0 0 -1 4 0 0 0
[pid=3101/tid=3124] ppid=3099 vsize=13628348 CPUtime=0 cores=0,2,4,6
/proc/3101/task/3124/stat : 3124 (java) S 3099 3101 32282 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 827069548 13955428352 118835 33554432000 1073741824 1073778376 140734105215600 18446744073709551615 242982366720 0 4 0 16800975 18446604447888127232 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3.64
Current children cumulated vsize (KiB) 13628348
[startup+6.30141 s]
/proc/loadavg: 2.23 2.12 2.03 3/567 3125
/proc/meminfo: memFree=14414076/32951132 swapFree=46579808/67111528
[pid=3101] ppid=3099 vsize=13627684 CPUtime=6.98 cores=0,2,4,6
/proc/3101/stat : 3101 (java) S 3099 3101 32282 0 -1 4202496 122415 0 1 0 675 23 0 0 25 0 19 0 827069542 13954748416 119249 33554432000 1073741824 1073778376 140734105215600 18446744073709551615 242982352869 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/3101/statm: 3406921 119249 2236 9 0 3397655 0
[pid=3101/tid=3102] ppid=3099 vsize=13627684 CPUtime=5.88 cores=0,2,4,6
/proc/3101/task/3102/stat : 3102 (java) R 3099 3101 32282 0 -1 4202560 115324 0 1 0 570 18 0 0 25 0 19 0 827069542 13954748416 119249 33554432000 1073741824 1073778376 140734105215600 18446744073709551615 46912505763189 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=3101/tid=3104] ppid=3099 vsize=13627684 CPUtime=0 cores=0,2,4,6
/proc/3101/task/3104/stat : 3104 (java) S 3099 3101 32282 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827069544 13954748416 119249 33554432000 1073741824 1073778376 140734105215600 18446744073709551615 242982366105 0 4 0 16800975 18446604447888127232 0 0 -1 6 0 0 0
[pid=3101/tid=3105] ppid=3099 vsize=13627684 CPUtime=0 cores=0,2,4,6
/proc/3101/task/3105/stat : 3105 (java) S 3099 3101 32282 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827069544 13954748416 119249 33554432000 1073741824 1073778376 140734105215600 18446744073709551615 242982366105 0 4 0 16800975 18446604447888127232 0 0 -1 6 0 0 0
[pid=3101/tid=3106] ppid=3099 vsize=13627684 CPUtime=0 cores=0,2,4,6
/proc/3101/task/3106/stat : 3106 (java) S 3099 3101 32282 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827069544 13954748416 119249 33554432000 1073741824 1073778376 140734105215600 18446744073709551615 242982366105 0 4 0 16800975 18446604447888127232 0 0 -1 6 0 0 0
[pid=3101/tid=3110] ppid=3099 vsize=13627684 CPUtime=0 cores=0,2,4,6
/proc/3101/task/3110/stat : 3110 (java) S 3099 3101 32282 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827069544 13954748416 119249 33554432000 1073741824 1073778376 140734105215600 18446744073709551615 242982366105 0 4 0 16800975 18446604447888127232 0 0 -1 6 0 0 0
[pid=3101/tid=3111] ppid=3099 vsize=13627684 CPUtime=0 cores=0,2,4,6
/proc/3101/task/3111/stat : 3111 (java) S 3099 3101 32282 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827069544 13954748416 119249 33554432000 1073741824 1073778376 140734105215600 18446744073709551615 242982366105 0 4 0 16800975 18446604447888127232 0 0 -1 6 0 0 0
[pid=3101/tid=3112] ppid=3099 vsize=13627684 CPUtime=0 cores=0,2,4,6
/proc/3101/task/3112/stat : 3112 (java) S 3099 3101 32282 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827069544 13954748416 119249 33554432000 1073741824 1073778376 140734105215600 18446744073709551615 242982366105 0 4 0 16800975 18446604447888127232 0 0 -1 6 0 0 0
[pid=3101/tid=3113] ppid=3099 vsize=13627684 CPUtime=0 cores=0,2,4,6
/proc/3101/task/3113/stat : 3113 (java) S 3099 3101 32282 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827069544 13954748416 119249 33554432000 1073741824 1073778376 140734105215600 18446744073709551615 242982366105 0 4 0 16800975 18446604447888127232 0 0 -1 6 0 0 0
[pid=3101/tid=3114] ppid=3099 vsize=13627684 CPUtime=0 cores=0,2,4,6
/proc/3101/task/3114/stat : 3114 (java) S 3099 3101 32282 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827069544 13954748416 119249 33554432000 1073741824 1073778376 140734105215600 18446744073709551615 242982366105 0 4 0 16800975 18446604447888127232 0 0 -1 6 0 0 0
[pid=3101/tid=3115] ppid=3099 vsize=13627684 CPUtime=0 cores=0,2,4,6
/proc/3101/task/3115/stat : 3115 (java) S 3099 3101 32282 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 19 0 827069545 13954748416 119249 33554432000 1073741824 1073778376 140734105215600 18446744073709551615 242982366720 0 0 0 16800975 18446604447888127232 0 0 -1 6 0 0 0
[pid=3101/tid=3117] ppid=3099 vsize=13627684 CPUtime=0 cores=0,2,4,6
/proc/3101/task/3117/stat : 3117 (java) S 3099 3101 32282 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 827069546 13954748416 119249 33554432000 1073741824 1073778376 140734105215600 18446744073709551615 242982366105 0 4 0 16800975 18446604447888127232 0 0 -1 4 0 0 0
[pid=3101/tid=3118] ppid=3099 vsize=13627684 CPUtime=0 cores=0,2,4,6
/proc/3101/task/3118/stat : 3118 (java) S 3099 3101 32282 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 827069546 13954748416 119249 33554432000 1073741824 1073778376 140734105215600 18446744073709551615 242982366105 0 4 0 16800975 18446604447888127232 0 0 -1 4 0 0 0
[pid=3101/tid=3119] ppid=3099 vsize=13627684 CPUtime=0 cores=0,2,4,6
/proc/3101/task/3119/stat : 3119 (java) S 3099 3101 32282 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827069548 13954748416 119249 33554432000 1073741824 1073778376 140734105215600 18446744073709551615 242982373809 0 4 0 16800975 18446604447888127232 0 0 -1 4 0 0 0
[pid=3101/tid=3120] ppid=3099 vsize=13627684 CPUtime=0.46 cores=0,2,4,6
/proc/3101/task/3120/stat : 3120 (java) S 3099 3101 32282 0 -1 4202560 3429 0 0 0 45 1 0 0 15 0 19 0 827069548 13954748416 119249 33554432000 1073741824 1073778376 140734105215600 18446744073709551615 242982366105 0 4 0 16800975 18446604447888127232 0 0 -1 4 0 0 0
[pid=3101/tid=3121] ppid=3099 vsize=13627684 CPUtime=0.56 cores=0,2,4,6
/proc/3101/task/3121/stat : 3121 (java) S 3099 3101 32282 0 -1 4202560 2503 0 0 0 56 0 0 0 15 0 19 0 827069548 13954748416 119249 33554432000 1073741824 1073778376 140734105215600 18446744073709551615 242982366105 0 4 0 16800975 18446604447888127232 0 0 -1 0 0 0 0
[pid=3101/tid=3122] ppid=3099 vsize=13627684 CPUtime=0 cores=0,2,4,6
/proc/3101/task/3122/stat : 3122 (java) S 3099 3101 32282 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827069548 13954748416 119249 33554432000 1073741824 1073778376 140734105215600 18446744073709551615 242982366105 0 4 0 16800975 18446604447888127232 0 0 -1 4 0 0 0
[pid=3101/tid=3124] ppid=3099 vsize=13627684 CPUtime=0 cores=0,2,4,6
/proc/3101/task/3124/stat : 3124 (java) S 3099 3101 32282 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 827069548 13954748416 119249 33554432000 1073741824 1073778376 140734105215600 18446744073709551615 242982366720 0 4 0 16800975 18446604447888127232 0 0 -1 0 0 0 0
################
# More data... #
################
[pid=3101/tid=3112] ppid=3099 vsize=13627620 CPUtime=0 cores=0,2,4,6
/proc/3101/task/3112/stat : 3112 (java) S 3099 3101 32282 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827069544 13954682880 399029 33554432000 1073741824 1073778376 140734105215600 18446744073709551615 242982366105 0 4 0 16800975 18446604447888127232 0 0 -1 6 0 0 0
[pid=3101/tid=3113] ppid=3099 vsize=13627620 CPUtime=0 cores=0,2,4,6
/proc/3101/task/3113/stat : 3113 (java) S 3099 3101 32282 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827069544 13954682880 399029 33554432000 1073741824 1073778376 140734105215600 18446744073709551615 242982366105 0 4 0 16800975 18446604447888127232 0 0 -1 6 0 0 0
[pid=3101/tid=3114] ppid=3099 vsize=13627620 CPUtime=0 cores=0,2,4,6
/proc/3101/task/3114/stat : 3114 (java) S 3099 3101 32282 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827069544 13954682880 399029 33554432000 1073741824 1073778376 140734105215600 18446744073709551615 242982366105 0 4 0 16800975 18446604447888127232 0 0 -1 6 0 0 0
[pid=3101/tid=3115] ppid=3099 vsize=13627620 CPUtime=0 cores=0,2,4,6
/proc/3101/task/3115/stat : 3115 (java) S 3099 3101 32282 0 -1 4202560 9 0 0 0 0 0 0 0 15 0 19 0 827069545 13954682880 399029 33554432000 1073741824 1073778376 140734105215600 18446744073709551615 242982366720 0 0 0 16800975 18446604447888127232 0 0 -1 0 0 0 0
[pid=3101/tid=3117] ppid=3099 vsize=13627620 CPUtime=0 cores=0,2,4,6
/proc/3101/task/3117/stat : 3117 (java) S 3099 3101 32282 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 827069546 13954682880 399029 33554432000 1073741824 1073778376 140734105215600 18446744073709551615 242982366105 0 4 0 16800975 18446604447888127232 0 0 -1 4 0 0 0
[pid=3101/tid=3118] ppid=3099 vsize=13627620 CPUtime=0 cores=0,2,4,6
/proc/3101/task/3118/stat : 3118 (java) S 3099 3101 32282 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 827069546 13954682880 399029 33554432000 1073741824 1073778376 140734105215600 18446744073709551615 242982366105 0 4 0 16800975 18446604447888127232 0 0 -1 4 0 0 0
[pid=3101/tid=3119] ppid=3099 vsize=13627620 CPUtime=0 cores=0,2,4,6
/proc/3101/task/3119/stat : 3119 (java) S 3099 3101 32282 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827069548 13954682880 399029 33554432000 1073741824 1073778376 140734105215600 18446744073709551615 242982373809 0 4 0 16800975 18446604447888127232 0 0 -1 4 0 0 0
[pid=3101/tid=3120] ppid=3099 vsize=13627620 CPUtime=0.49 cores=0,2,4,6
/proc/3101/task/3120/stat : 3120 (java) S 3099 3101 32282 0 -1 4202560 3434 0 0 0 48 1 0 0 15 0 19 0 827069548 13954682880 399029 33554432000 1073741824 1073778376 140734105215600 18446744073709551615 242982366105 0 4 0 16800975 18446604447888127232 0 0 -1 4 0 0 0
[pid=3101/tid=3121] ppid=3099 vsize=13627620 CPUtime=0.66 cores=0,2,4,6
/proc/3101/task/3121/stat : 3121 (java) S 3099 3101 32282 0 -1 4202560 2613 0 0 0 66 0 0 0 15 0 19 0 827069548 13954682880 399029 33554432000 1073741824 1073778376 140734105215600 18446744073709551615 242982366105 0 4 0 16800975 18446604447888127232 0 0 -1 0 0 0 0
[pid=3101/tid=3122] ppid=3099 vsize=13627620 CPUtime=0 cores=0,2,4,6
/proc/3101/task/3122/stat : 3122 (java) S 3099 3101 32282 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827069548 13954682880 399029 33554432000 1073741824 1073778376 140734105215600 18446744073709551615 242982366105 0 4 0 16800975 18446604447888127232 0 0 -1 4 0 0 0
[pid=3101/tid=3124] ppid=3099 vsize=13627620 CPUtime=0 cores=0,2,4,6
/proc/3101/task/3124/stat : 3124 (java) S 3099 3101 32282 0 -1 4202560 101 0 0 0 0 0 0 0 15 0 19 0 827069548 13954682880 399029 33554432000 1073741824 1073778376 140734105215600 18446744073709551615 242982366720 0 4 0 16800975 18446604447888127232 0 0 -1 0 0 0 0
[pid=3101/tid=3125] ppid=3099 vsize=13627620 CPUtime=0.04 cores=0,2,4,6
/proc/3101/task/3125/stat : 3125 (java) S 3099 3101 32282 0 -1 4202560 7 0 0 0 2 2 0 0 19 0 19 0 827069779 13954682880 399029 33554432000 1073741824 1073778376 140734105215600 18446744073709551615 242982366720 0 4 0 16800975 18446604447888127232 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1723.08
Current children cumulated vsize (KiB) 13627620
[startup+1782.3 s]
/proc/loadavg: 1.91 2.03 2.00 2/543 3209
/proc/meminfo: memFree=13647744/32951132 swapFree=46579808/67111528
[pid=3101] ppid=3099 vsize=13627620 CPUtime=1783.08 cores=0,2,4,6
/proc/3101/stat : 3101 (java) S 3099 3101 32282 0 -1 4202496 403203 0 1 0 178237 71 0 0 25 0 19 0 827069542 13954682880 399809 33554432000 1073741824 1073778376 140734105215600 18446744073709551615 242982352869 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/3101/statm: 3406905 399809 2239 9 0 3397639 0
[pid=3101/tid=3102] ppid=3099 vsize=13627620 CPUtime=1781.85 cores=0,2,4,6
/proc/3101/task/3102/stat : 3102 (java) R 3099 3101 32282 0 -1 4202560 395890 0 1 0 178119 66 0 0 25 0 19 0 827069542 13954682880 399809 33554432000 1073741824 1073778376 140734105215600 18446744073709551615 46912505867243 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=3101/tid=3104] ppid=3099 vsize=13627620 CPUtime=0 cores=0,2,4,6
/proc/3101/task/3104/stat : 3104 (java) S 3099 3101 32282 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827069544 13954682880 399809 33554432000 1073741824 1073778376 140734105215600 18446744073709551615 242982366105 0 4 0 16800975 18446604447888127232 0 0 -1 6 0 0 0
[pid=3101/tid=3105] ppid=3099 vsize=13627620 CPUtime=0 cores=0,2,4,6
/proc/3101/task/3105/stat : 3105 (java) S 3099 3101 32282 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827069544 13954682880 399809 33554432000 1073741824 1073778376 140734105215600 18446744073709551615 242982366105 0 4 0 16800975 18446604447888127232 0 0 -1 6 0 0 0
[pid=3101/tid=3106] ppid=3099 vsize=13627620 CPUtime=0 cores=0,2,4,6
/proc/3101/task/3106/stat : 3106 (java) S 3099 3101 32282 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827069544 13954682880 399809 33554432000 1073741824 1073778376 140734105215600 18446744073709551615 242982366105 0 4 0 16800975 18446604447888127232 0 0 -1 6 0 0 0
[pid=3101/tid=3110] ppid=3099 vsize=13627620 CPUtime=0 cores=0,2,4,6
/proc/3101/task/3110/stat : 3110 (java) S 3099 3101 32282 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827069544 13954682880 399809 33554432000 1073741824 1073778376 140734105215600 18446744073709551615 242982366105 0 4 0 16800975 18446604447888127232 0 0 -1 6 0 0 0
[pid=3101/tid=3111] ppid=3099 vsize=13627620 CPUtime=0 cores=0,2,4,6
/proc/3101/task/3111/stat : 3111 (java) S 3099 3101 32282 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827069544 13954682880 399809 33554432000 1073741824 1073778376 140734105215600 18446744073709551615 242982366105 0 4 0 16800975 18446604447888127232 0 0 -1 6 0 0 0
[pid=3101/tid=3112] ppid=3099 vsize=13627620 CPUtime=0 cores=0,2,4,6
/proc/3101/task/3112/stat : 3112 (java) S 3099 3101 32282 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827069544 13954682880 399809 33554432000 1073741824 1073778376 140734105215600 18446744073709551615 242982366105 0 4 0 16800975 18446604447888127232 0 0 -1 6 0 0 0
[pid=3101/tid=3113] ppid=3099 vsize=13627620 CPUtime=0 cores=0,2,4,6
/proc/3101/task/3113/stat : 3113 (java) S 3099 3101 32282 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827069544 13954682880 399809 33554432000 1073741824 1073778376 140734105215600 18446744073709551615 242982366105 0 4 0 16800975 18446604447888127232 0 0 -1 6 0 0 0
[pid=3101/tid=3114] ppid=3099 vsize=13627620 CPUtime=0 cores=0,2,4,6
/proc/3101/task/3114/stat : 3114 (java) S 3099 3101 32282 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827069544 13954682880 399809 33554432000 1073741824 1073778376 140734105215600 18446744073709551615 242982366105 0 4 0 16800975 18446604447888127232 0 0 -1 6 0 0 0
[pid=3101/tid=3115] ppid=3099 vsize=13627620 CPUtime=0 cores=0,2,4,6
/proc/3101/task/3115/stat : 3115 (java) S 3099 3101 32282 0 -1 4202560 9 0 0 0 0 0 0 0 15 0 19 0 827069545 13954682880 399809 33554432000 1073741824 1073778376 140734105215600 18446744073709551615 242982366720 0 0 0 16800975 18446604447888127232 0 0 -1 0 0 0 0
[pid=3101/tid=3117] ppid=3099 vsize=13627620 CPUtime=0 cores=0,2,4,6
/proc/3101/task/3117/stat : 3117 (java) S 3099 3101 32282 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 827069546 13954682880 399809 33554432000 1073741824 1073778376 140734105215600 18446744073709551615 242982366105 0 4 0 16800975 18446604447888127232 0 0 -1 4 0 0 0
[pid=3101/tid=3118] ppid=3099 vsize=13627620 CPUtime=0 cores=0,2,4,6
/proc/3101/task/3118/stat : 3118 (java) S 3099 3101 32282 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 827069546 13954682880 399809 33554432000 1073741824 1073778376 140734105215600 18446744073709551615 242982366105 0 4 0 16800975 18446604447888127232 0 0 -1 4 0 0 0
[pid=3101/tid=3119] ppid=3099 vsize=13627620 CPUtime=0 cores=0,2,4,6
/proc/3101/task/3119/stat : 3119 (java) S 3099 3101 32282 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827069548 13954682880 399809 33554432000 1073741824 1073778376 140734105215600 18446744073709551615 242982373809 0 4 0 16800975 18446604447888127232 0 0 -1 4 0 0 0
[pid=3101/tid=3120] ppid=3099 vsize=13627620 CPUtime=0.49 cores=0,2,4,6
/proc/3101/task/3120/stat : 3120 (java) S 3099 3101 32282 0 -1 4202560 3434 0 0 0 48 1 0 0 15 0 19 0 827069548 13954682880 399809 33554432000 1073741824 1073778376 140734105215600 18446744073709551615 242982366105 0 4 0 16800975 18446604447888127232 0 0 -1 4 0 0 0
[pid=3101/tid=3121] ppid=3099 vsize=13627620 CPUtime=0.66 cores=0,2,4,6
/proc/3101/task/3121/stat : 3121 (java) S 3099 3101 32282 0 -1 4202560 2613 0 0 0 66 0 0 0 15 0 19 0 827069548 13954682880 399809 33554432000 1073741824 1073778376 140734105215600 18446744073709551615 242982366105 0 4 0 16800975 18446604447888127232 0 0 -1 0 0 0 0
[pid=3101/tid=3122] ppid=3099 vsize=13627620 CPUtime=0 cores=0,2,4,6
/proc/3101/task/3122/stat : 3122 (java) S 3099 3101 32282 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827069548 13954682880 399809 33554432000 1073741824 1073778376 140734105215600 18446744073709551615 242982366105 0 4 0 16800975 18446604447888127232 0 0 -1 4 0 0 0
[pid=3101/tid=3124] ppid=3099 vsize=13627620 CPUtime=0 cores=0,2,4,6
/proc/3101/task/3124/stat : 3124 (java) S 3099 3101 32282 0 -1 4202560 105 0 0 0 0 0 0 0 15 0 19 0 827069548 13954682880 399809 33554432000 1073741824 1073778376 140734105215600 18446744073709551615 242982366720 0 4 0 16800975 18446604447888127232 0 0 -1 0 0 0 0
[pid=3101/tid=3125] ppid=3099 vsize=13627620 CPUtime=0.04 cores=0,2,4,6
/proc/3101/task/3125/stat : 3125 (java) S 3099 3101 32282 0 -1 4202560 7 0 0 0 2 2 0 0 19 0 19 0 827069779 13954682880 399809 33554432000 1073741824 1073778376 140734105215600 18446744073709551615 242982366720 0 4 0 16800975 18446604447888127232 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1783.08
Current children cumulated vsize (KiB) 13627620
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1799.3 s]
/proc/loadavg: 1.70 1.98 1.99 2/543 3209
/proc/meminfo: memFree=13646764/32951132 swapFree=46579808/67111528
[pid=3101] ppid=3099 vsize=13627620 CPUtime=1800.08 cores=0,2,4,6
/proc/3101/stat : 3101 (java) S 3099 3101 32282 0 -1 4202496 403486 0 1 0 179937 71 0 0 25 0 19 0 827069542 13954682880 400092 33554432000 1073741824 1073778376 140734105215600 18446744073709551615 242982352869 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/3101/statm: 3406905 400092 2239 9 0 3397639 0
[pid=3101/tid=3102] ppid=3099 vsize=13627620 CPUtime=1798.87 cores=0,2,4,6
/proc/3101/task/3102/stat : 3102 (java) R 3099 3101 32282 0 -1 4202560 396173 0 1 0 179821 66 0 0 25 0 19 0 827069542 13954682880 400092 33554432000 1073741824 1073778376 140734105215600 18446744073709551615 46912506009243 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=3101/tid=3104] ppid=3099 vsize=13627620 CPUtime=0 cores=0,2,4,6
/proc/3101/task/3104/stat : 3104 (java) S 3099 3101 32282 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827069544 13954682880 400092 33554432000 1073741824 1073778376 140734105215600 18446744073709551615 242982366105 0 4 0 16800975 18446604447888127232 0 0 -1 6 0 0 0
[pid=3101/tid=3105] ppid=3099 vsize=13627620 CPUtime=0 cores=0,2,4,6
/proc/3101/task/3105/stat : 3105 (java) S 3099 3101 32282 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827069544 13954682880 400092 33554432000 1073741824 1073778376 140734105215600 18446744073709551615 242982366105 0 4 0 16800975 18446604447888127232 0 0 -1 6 0 0 0
[pid=3101/tid=3106] ppid=3099 vsize=13627620 CPUtime=0 cores=0,2,4,6
/proc/3101/task/3106/stat : 3106 (java) S 3099 3101 32282 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827069544 13954682880 400092 33554432000 1073741824 1073778376 140734105215600 18446744073709551615 242982366105 0 4 0 16800975 18446604447888127232 0 0 -1 6 0 0 0
[pid=3101/tid=3110] ppid=3099 vsize=13627620 CPUtime=0 cores=0,2,4,6
/proc/3101/task/3110/stat : 3110 (java) S 3099 3101 32282 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827069544 13954682880 400092 33554432000 1073741824 1073778376 140734105215600 18446744073709551615 242982366105 0 4 0 16800975 18446604447888127232 0 0 -1 6 0 0 0
[pid=3101/tid=3111] ppid=3099 vsize=13627620 CPUtime=0 cores=0,2,4,6
/proc/3101/task/3111/stat : 3111 (java) S 3099 3101 32282 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827069544 13954682880 400092 33554432000 1073741824 1073778376 140734105215600 18446744073709551615 242982366105 0 4 0 16800975 18446604447888127232 0 0 -1 6 0 0 0
[pid=3101/tid=3112] ppid=3099 vsize=13627620 CPUtime=0 cores=0,2,4,6
/proc/3101/task/3112/stat : 3112 (java) S 3099 3101 32282 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827069544 13954682880 400092 33554432000 1073741824 1073778376 140734105215600 18446744073709551615 242982366105 0 4 0 16800975 18446604447888127232 0 0 -1 6 0 0 0
[pid=3101/tid=3113] ppid=3099 vsize=13627620 CPUtime=0 cores=0,2,4,6
/proc/3101/task/3113/stat : 3113 (java) S 3099 3101 32282 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827069544 13954682880 400092 33554432000 1073741824 1073778376 140734105215600 18446744073709551615 242982366105 0 4 0 16800975 18446604447888127232 0 0 -1 6 0 0 0
[pid=3101/tid=3114] ppid=3099 vsize=13627620 CPUtime=0 cores=0,2,4,6
/proc/3101/task/3114/stat : 3114 (java) S 3099 3101 32282 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827069544 13954682880 400092 33554432000 1073741824 1073778376 140734105215600 18446744073709551615 242982366105 0 4 0 16800975 18446604447888127232 0 0 -1 6 0 0 0
[pid=3101/tid=3115] ppid=3099 vsize=13627620 CPUtime=0 cores=0,2,4,6
/proc/3101/task/3115/stat : 3115 (java) S 3099 3101 32282 0 -1 4202560 9 0 0 0 0 0 0 0 15 0 19 0 827069545 13954682880 400092 33554432000 1073741824 1073778376 140734105215600 18446744073709551615 242982366720 0 0 0 16800975 18446604447888127232 0 0 -1 0 0 0 0
[pid=3101/tid=3117] ppid=3099 vsize=13627620 CPUtime=0 cores=0,2,4,6
/proc/3101/task/3117/stat : 3117 (java) S 3099 3101 32282 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 827069546 13954682880 400092 33554432000 1073741824 1073778376 140734105215600 18446744073709551615 242982366105 0 4 0 16800975 18446604447888127232 0 0 -1 4 0 0 0
[pid=3101/tid=3118] ppid=3099 vsize=13627620 CPUtime=0 cores=0,2,4,6
/proc/3101/task/3118/stat : 3118 (java) S 3099 3101 32282 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 827069546 13954682880 400092 33554432000 1073741824 1073778376 140734105215600 18446744073709551615 242982366105 0 4 0 16800975 18446604447888127232 0 0 -1 4 0 0 0
[pid=3101/tid=3119] ppid=3099 vsize=13627620 CPUtime=0 cores=0,2,4,6
/proc/3101/task/3119/stat : 3119 (java) S 3099 3101 32282 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827069548 13954682880 400092 33554432000 1073741824 1073778376 140734105215600 18446744073709551615 242982373809 0 4 0 16800975 18446604447888127232 0 0 -1 4 0 0 0
[pid=3101/tid=3120] ppid=3099 vsize=13627620 CPUtime=0.49 cores=0,2,4,6
/proc/3101/task/3120/stat : 3120 (java) S 3099 3101 32282 0 -1 4202560 3434 0 0 0 48 1 0 0 15 0 19 0 827069548 13954682880 400092 33554432000 1073741824 1073778376 140734105215600 18446744073709551615 242982366105 0 4 0 16800975 18446604447888127232 0 0 -1 4 0 0 0
[pid=3101/tid=3121] ppid=3099 vsize=13627620 CPUtime=0.66 cores=0,2,4,6
/proc/3101/task/3121/stat : 3121 (java) S 3099 3101 32282 0 -1 4202560 2613 0 0 0 66 0 0 0 15 0 19 0 827069548 13954682880 400092 33554432000 1073741824 1073778376 140734105215600 18446744073709551615 242982366105 0 4 0 16800975 18446604447888127232 0 0 -1 0 0 0 0
[pid=3101/tid=3122] ppid=3099 vsize=13627620 CPUtime=0 cores=0,2,4,6
/proc/3101/task/3122/stat : 3122 (java) S 3099 3101 32282 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827069548 13954682880 400092 33554432000 1073741824 1073778376 140734105215600 18446744073709551615 242982366105 0 4 0 16800975 18446604447888127232 0 0 -1 4 0 0 0
[pid=3101/tid=3124] ppid=3099 vsize=13627620 CPUtime=0 cores=0,2,4,6
/proc/3101/task/3124/stat : 3124 (java) S 3099 3101 32282 0 -1 4202560 105 0 0 0 0 0 0 0 15 0 19 0 827069548 13954682880 400092 33554432000 1073741824 1073778376 140734105215600 18446744073709551615 242982366720 0 4 0 16800975 18446604447888127232 0 0 -1 0 0 0 0
[pid=3101/tid=3125] ppid=3099 vsize=13627620 CPUtime=0.04 cores=0,2,4,6
/proc/3101/task/3125/stat : 3125 (java) S 3099 3101 32282 0 -1 4202560 7 0 0 0 2 2 0 0 19 0 19 0 827069779 13954682880 400092 33554432000 1073741824 1073778376 140734105215600 18446744073709551615 242982366720 0 4 0 16800975 18446604447888127232 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 13627620
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1799.3 s]
/proc/loadavg: 1.70 1.98 1.99 2/543 3209
/proc/meminfo: memFree=13646764/32951132 swapFree=46579808/67111528
[pid=3101] ppid=3099 vsize=13627620 CPUtime=1800.08 cores=0,2,4,6
/proc/3101/stat : 3101 (java) S 3099 3101 32282 0 -1 4202496 403486 0 1 0 179937 71 0 0 25 0 19 0 827069542 13954682880 400092 33554432000 1073741824 1073778376 140734105215600 18446744073709551615 242982352869 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/3101/statm: 3406905 400092 2239 9 0 3397639 0
[pid=3101/tid=3102] ppid=3099 vsize=13627620 CPUtime=1798.87 cores=0,2,4,6
/proc/3101/task/3102/stat : 3102 (java) R 3099 3101 32282 0 -1 4202560 396173 0 1 0 179821 66 0 0 25 0 19 0 827069542 13954682880 400092 33554432000 1073741824 1073778376 140734105215600 18446744073709551615 46912506009243 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=3101/tid=3104] ppid=3099 vsize=13627620 CPUtime=0 cores=0,2,4,6
/proc/3101/task/3104/stat : 3104 (java) S 3099 3101 32282 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827069544 13954682880 400092 33554432000 1073741824 1073778376 140734105215600 18446744073709551615 242982366105 0 4 0 16800975 18446604447888127232 0 0 -1 6 0 0 0
[pid=3101/tid=3105] ppid=3099 vsize=13627620 CPUtime=0 cores=0,2,4,6
/proc/3101/task/3105/stat : 3105 (java) S 3099 3101 32282 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827069544 13954682880 400092 33554432000 1073741824 1073778376 140734105215600 18446744073709551615 242982366105 0 4 0 16800975 18446604447888127232 0 0 -1 6 0 0 0
[pid=3101/tid=3106] ppid=3099 vsize=13627620 CPUtime=0 cores=0,2,4,6
/proc/3101/task/3106/stat : 3106 (java) S 3099 3101 32282 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827069544 13954682880 400092 33554432000 1073741824 1073778376 140734105215600 18446744073709551615 242982366105 0 4 0 16800975 18446604447888127232 0 0 -1 6 0 0 0
[pid=3101/tid=3110] ppid=3099 vsize=13627620 CPUtime=0 cores=0,2,4,6
/proc/3101/task/3110/stat : 3110 (java) S 3099 3101 32282 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827069544 13954682880 400092 33554432000 1073741824 1073778376 140734105215600 18446744073709551615 242982366105 0 4 0 16800975 18446604447888127232 0 0 -1 6 0 0 0
[pid=3101/tid=3111] ppid=3099 vsize=13627620 CPUtime=0 cores=0,2,4,6
/proc/3101/task/3111/stat : 3111 (java) S 3099 3101 32282 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827069544 13954682880 400092 33554432000 1073741824 1073778376 140734105215600 18446744073709551615 242982366105 0 4 0 16800975 18446604447888127232 0 0 -1 6 0 0 0
[pid=3101/tid=3112] ppid=3099 vsize=13627620 CPUtime=0 cores=0,2,4,6
/proc/3101/task/3112/stat : 3112 (java) S 3099 3101 32282 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827069544 13954682880 400092 33554432000 1073741824 1073778376 140734105215600 18446744073709551615 242982366105 0 4 0 16800975 18446604447888127232 0 0 -1 6 0 0 0
[pid=3101/tid=3113] ppid=3099 vsize=13627620 CPUtime=0 cores=0,2,4,6
/proc/3101/task/3113/stat : 3113 (java) S 3099 3101 32282 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827069544 13954682880 400092 33554432000 1073741824 1073778376 140734105215600 18446744073709551615 242982366105 0 4 0 16800975 18446604447888127232 0 0 -1 6 0 0 0
[pid=3101/tid=3114] ppid=3099 vsize=13627620 CPUtime=0 cores=0,2,4,6
/proc/3101/task/3114/stat : 3114 (java) S 3099 3101 32282 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827069544 13954682880 400092 33554432000 1073741824 1073778376 140734105215600 18446744073709551615 242982366105 0 4 0 16800975 18446604447888127232 0 0 -1 6 0 0 0
[pid=3101/tid=3115] ppid=3099 vsize=13627620 CPUtime=0 cores=0,2,4,6
/proc/3101/task/3115/stat : 3115 (java) S 3099 3101 32282 0 -1 4202560 9 0 0 0 0 0 0 0 15 0 19 0 827069545 13954682880 400092 33554432000 1073741824 1073778376 140734105215600 18446744073709551615 242982366720 0 0 0 16800975 18446604447888127232 0 0 -1 0 0 0 0
[pid=3101/tid=3117] ppid=3099 vsize=13627620 CPUtime=0 cores=0,2,4,6
/proc/3101/task/3117/stat : 3117 (java) S 3099 3101 32282 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 827069546 13954682880 400092 33554432000 1073741824 1073778376 140734105215600 18446744073709551615 242982366105 0 4 0 16800975 18446604447888127232 0 0 -1 4 0 0 0
[pid=3101/tid=3118] ppid=3099 vsize=13627620 CPUtime=0 cores=0,2,4,6
/proc/3101/task/3118/stat : 3118 (java) S 3099 3101 32282 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 827069546 13954682880 400092 33554432000 1073741824 1073778376 140734105215600 18446744073709551615 242982366105 0 4 0 16800975 18446604447888127232 0 0 -1 4 0 0 0
[pid=3101/tid=3119] ppid=3099 vsize=13627620 CPUtime=0 cores=0,2,4,6
/proc/3101/task/3119/stat : 3119 (java) S 3099 3101 32282 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827069548 13954682880 400092 33554432000 1073741824 1073778376 140734105215600 18446744073709551615 242982373809 0 4 0 16800975 18446604447888127232 0 0 -1 4 0 0 0
[pid=3101/tid=3120] ppid=3099 vsize=13627620 CPUtime=0.49 cores=0,2,4,6
/proc/3101/task/3120/stat : 3120 (java) S 3099 3101 32282 0 -1 4202560 3434 0 0 0 48 1 0 0 15 0 19 0 827069548 13954682880 400092 33554432000 1073741824 1073778376 140734105215600 18446744073709551615 242982366105 0 4 0 16800975 18446604447888127232 0 0 -1 4 0 0 0
[pid=3101/tid=3121] ppid=3099 vsize=13627620 CPUtime=0.66 cores=0,2,4,6
/proc/3101/task/3121/stat : 3121 (java) S 3099 3101 32282 0 -1 4202560 2613 0 0 0 66 0 0 0 15 0 19 0 827069548 13954682880 400092 33554432000 1073741824 1073778376 140734105215600 18446744073709551615 242982366105 0 4 0 16800975 18446604447888127232 0 0 -1 0 0 0 0
[pid=3101/tid=3122] ppid=3099 vsize=13627620 CPUtime=0 cores=0,2,4,6
/proc/3101/task/3122/stat : 3122 (java) S 3099 3101 32282 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827069548 13954682880 400092 33554432000 1073741824 1073778376 140734105215600 18446744073709551615 242982366105 0 4 0 16800975 18446604447888127232 0 0 -1 4 0 0 0
[pid=3101/tid=3124] ppid=3099 vsize=13627620 CPUtime=0 cores=0,2,4,6
/proc/3101/task/3124/stat : 3124 (java) S 3099 3101 32282 0 -1 4202560 105 0 0 0 0 0 0 0 15 0 19 0 827069548 13954682880 400092 33554432000 1073741824 1073778376 140734105215600 18446744073709551615 242982366720 0 4 0 16800975 18446604447888127232 0 0 -1 0 0 0 0
[pid=3101/tid=3125] ppid=3099 vsize=13627620 CPUtime=0.04 cores=0,2,4,6
/proc/3101/task/3125/stat : 3125 (java) S 3099 3101 32282 0 -1 4202560 7 0 0 0 2 2 0 0 19 0 19 0 827069779 13954682880 400092 33554432000 1073741824 1073778376 140734105215600 18446744073709551615 242982366720 0 4 0 16800975 18446604447888127232 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 13627620
Child status: 143
Real time (s): 1799.4
CPU time (s): 1800.19
CPU user time (s): 1799.4
CPU system time (s): 0.78588
CPU usage (%): 100.044
Max. virtual memory (cumulated for all children) (KiB): 13686560
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.4
system time used= 0.78588
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 403521
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= 36733
involuntary context switches= 24462
runsolver used 10.1845 second user time and 20.9628 second system time
The end