runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
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.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (8664 MiB free)
memory of node 1: 16384 MiB (10223 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4302862-1532897641/watcher-4302862-1532897641 -o /tmp/evaluation-result-4302862-1532897641/solver-4302862-1532897641 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node103-1532895438-9922 --watchdog 312 bin/xcsp-3-concrete -J-Xss64M -randomseed=1316278034 -superng HOME/instance-4302862-1532897641.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 282 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 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
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=13415, runsolver pid=13412
Current StackSize limit: 8192 KiB
[startup+0.100124 s]*
/proc/loadavg: 1.48 1.61 1.75 3/207 13472
/proc/meminfo: memFree=19334768/32770624 swapFree=67108860/67108860
[pid=13415] ppid=13412 vsize=10005480 memory=16812 CPUtime=0.09 cores=1,3,5,7
/proc/13415/stat : 13415 (java) S 13412 13415 8396 0 -1 1077944320 4344 13140 0 0 1 0 5 3 20 0 6 0 107327347 10245611520 4203 33554432000 4194304 4196468 140727204808096 140727204790640 140618524073719 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 13905920 140727204809320 140727204812129 140727204812129 140727204814799 0
/proc/13415/statm: 2501370 4203 1935 1 0 2489808 0
[pid=13415/tid=13468] ppid=13412 vsize=10005480 memory=4279135703946462605 CPUtime=0.09 cores=1,3,5,7
/proc/13415/task/13468/stat : 13468 (java) R 13412 13415 8396 0 -1 4202560 2177 13140 0 0 1 0 5 3 20 0 6 0 107327356 10245611520 4203 33554432000 4194304 4196468 140727204808096 140618495910480 140618508154206 0 4 0 16784584 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13905920 140727204809320 140727204812129 140727204812129 140727204814799 0
[pid=13415/tid=13469] ppid=13412 vsize=10005480 memory=8257237230052613020 CPUtime=0.08 cores=1,3,5,7
/proc/13415/task/13469/stat : 13469 (java) S 13412 13415 8396 0 -1 1077944384 1 13140 0 0 0 0 5 3 20 0 6 0 107327357 10245611520 4203 33554432000 4194304 4196468 140727204808096 140618528315664 140618524083925 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13905920 140727204809320 140727204812129 140727204812129 140727204814799 0
[pid=13415/tid=13470] ppid=13412 vsize=10005480 memory=139666795476608 CPUtime=0.08 cores=1,3,5,7
/proc/13415/task/13470/stat : 13470 (java) S 13412 13415 8396 0 -1 1077944384 1 13140 0 0 0 0 5 3 20 0 6 0 107327357 10245611520 4203 33554432000 4194304 4196468 140727204808096 140618383034768 140618524083925 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13905920 140727204809320 140727204812129 140727204812129 140727204814799 0
[pid=13415/tid=13471] ppid=13412 vsize=10005480 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/13415/task/13471/stat : 13471 (java) S 13412 13415 8396 0 -1 1077944384 1 13140 0 0 0 0 5 3 20 0 6 0 107327357 10245611520 4203 33554432000 4194304 4196468 140727204808096 140618381982224 140618524083925 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13905920 140727204809320 140727204812129 140727204812129 140727204814799 0
[pid=13415/tid=13472] ppid=13412 vsize=10005480 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/13415/task/13472/stat : 13472 (java) S 13412 13415 8396 0 -1 1077944384 2 13140 0 0 0 0 5 3 20 0 6 0 107327357 10245611520 4203 33554432000 4194304 4196468 140727204808096 140618380929680 140618524083925 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13905920 140727204809320 140727204812129 140727204812129 140727204814799 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 10005480 KiB
Current children cumulated memory: 16812 KiB
[startup+0.209882 s]*
/proc/loadavg: 1.48 1.61 1.75 3/216 13481
/proc/meminfo: memFree=19310836/32770624 swapFree=67108860/67108860
[pid=13415] ppid=13412 vsize=10982744 memory=44936 CPUtime=0.26 cores=1,3,5,7
/proc/13415/stat : 13415 (java) S 13412 13415 8396 0 -1 1077944320 7916 13140 0 0 16 2 5 3 20 0 15 0 107327347 11246329856 11234 33554432000 4194304 4196468 140727204808096 140727204790640 140618524073719 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 13905920 140727204809320 140727204812129 140727204812129 140727204814799 0
/proc/13415/statm: 2745686 11234 2955 1 0 2708109 0
[pid=13415/tid=13468] ppid=13412 vsize=10982744 memory=-6517102902069810590 CPUtime=0.19 cores=1,3,5,7
/proc/13415/task/13468/stat : 13468 (java) R 13412 13415 8396 0 -1 4202560 4531 13140 0 0 10 1 5 3 20 0 15 0 107327356 11246329856 11234 33554432000 4194304 4196468 140727204808096 140618495873632 140618524095645 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13905920 140727204809320 140727204812129 140727204812129 140727204814799 0
[pid=13415/tid=13469] ppid=13412 vsize=10982744 memory=-7025452035940392864 CPUtime=0.08 cores=1,3,5,7
/proc/13415/task/13469/stat : 13469 (java) S 13412 13415 8396 0 -1 1077944384 1 13140 0 0 0 0 5 3 20 0 15 0 107327357 11246329856 11234 33554432000 4194304 4196468 140727204808096 140618528315664 140618524083925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13905920 140727204809320 140727204812129 140727204812129 140727204814799 0
[pid=13415/tid=13470] ppid=13412 vsize=10982744 memory=139666795476608 CPUtime=0.08 cores=1,3,5,7
/proc/13415/task/13470/stat : 13470 (java) S 13412 13415 8396 0 -1 1077944384 1 13140 0 0 0 0 5 3 20 0 15 0 107327357 11246329856 11234 33554432000 4194304 4196468 140727204808096 140618383034768 140618524083925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13905920 140727204809320 140727204812129 140727204812129 140727204814799 0
[pid=13415/tid=13471] ppid=13412 vsize=10982744 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/13415/task/13471/stat : 13471 (java) S 13412 13415 8396 0 -1 1077944384 1 13140 0 0 0 0 5 3 20 0 15 0 107327357 11246329856 11234 33554432000 4194304 4196468 140727204808096 140618381982224 140618524083925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13905920 140727204809320 140727204812129 140727204812129 140727204814799 0
[pid=13415/tid=13472] ppid=13412 vsize=10982744 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/13415/task/13472/stat : 13472 (java) S 13412 13415 8396 0 -1 1077944384 2 13140 0 0 0 0 5 3 20 0 15 0 107327357 11246329856 11234 33554432000 4194304 4196468 140727204808096 140618380929680 140618524083925 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13905920 140727204809320 140727204812129 140727204812129 140727204814799 0
[pid=13415/tid=13473] ppid=13412 vsize=10982744 memory=139666795476608 CPUtime=0.08 cores=1,3,5,7
/proc/13415/task/13473/stat : 13473 (java) S 13412 13415 8396 0 -1 1077944384 2 13140 0 0 0 0 5 3 20 0 15 0 107327358 11246329856 11234 33554432000 4194304 4196468 140727204808096 140617949735408 140618524084866 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13905920 140727204809320 140727204812129 140727204812129 140727204814799 0
[pid=13415/tid=13474] ppid=13412 vsize=10982744 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/13415/task/13474/stat : 13474 (java) S 13412 13415 8396 0 -1 1077944384 13 13140 0 0 0 0 5 3 20 0 15 0 107327358 11246329856 11234 33554432000 4194304 4196468 140727204808096 140617363482016 140618524083925 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13905920 140727204809320 140727204812129 140727204812129 140727204814799 0
[pid=13415/tid=13475] ppid=13412 vsize=10982744 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/13415/task/13475/stat : 13475 (java) S 13412 13415 8396 0 -1 1077944384 1 13140 0 0 0 0 5 3 20 0 15 0 107327359 11246329856 11234 33554432000 4194304 4196468 140727204808096 140617162155504 140618524083925 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13905920 140727204809320 140727204812129 140727204812129 140727204814799 0
[pid=13415/tid=13476] ppid=13412 vsize=10982744 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/13415/task/13476/stat : 13476 (java) S 13412 13415 8396 0 -1 1077944384 3 13140 0 0 0 0 5 3 20 0 15 0 107327361 11246329856 11234 33554432000 4194304 4196468 140727204808096 140616854756048 140618524092315 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13905920 140727204809320 140727204812129 140727204812129 140727204814799 0
[pid=13415/tid=13477] ppid=13412 vsize=10982744 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/13415/task/13477/stat : 13477 (java) S 13412 13415 8396 0 -1 1077944384 368 13140 0 0 1 0 5 3 20 0 15 0 107327361 11246329856 11234 33554432000 4194304 4196468 140727204808096 140617948682224 140618524084866 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13905920 140727204809320 140727204812129 140727204812129 140727204814799 0
[pid=13415/tid=13478] ppid=13412 vsize=10982744 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/13415/task/13478/stat : 13478 (java) S 13412 13415 8396 0 -1 1077944384 247 13140 0 0 0 0 5 3 20 0 15 0 107327361 11246329856 11234 33554432000 4194304 4196468 140727204808096 140617947629680 140618524084866 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13905920 140727204809320 140727204812129 140727204812129 140727204814799 0
[pid=13415/tid=13479] ppid=13412 vsize=10982744 memory=139666795476608 CPUtime=0.11 cores=1,3,5,7
/proc/13415/task/13479/stat : 13479 (java) R 13412 13415 8396 0 -1 4202560 604 13140 0 0 3 0 5 3 20 0 15 0 107327361 11246329856 11234 33554432000 4194304 4196468 140727204808096 140617946577136 140618502622099 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13905920 140727204809320 140727204812129 140727204812129 140727204814799 0
[pid=13415/tid=13480] ppid=13412 vsize=10982744 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/13415/task/13480/stat : 13480 (java) S 13412 13415 8396 0 -1 1077944384 3 13140 0 0 0 0 5 3 20 0 15 0 107327361 11246329856 11234 33554432000 4194304 4196468 140727204808096 140616423959136 140618524083925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13905920 140727204809320 140727204812129 140727204812129 140727204814799 0
[pid=13415/tid=13481] ppid=13412 vsize=10982744 memory=139666795476608 CPUtime=0.08 cores=1,3,5,7
/proc/13415/task/13481/stat : 13481 (java) S 13412 13415 8396 0 -1 1077944384 1 13140 0 0 0 0 5 3 20 0 15 0 107327362 11246329856 11234 33554432000 4194304 4196468 140727204808096 140617945525040 140618524084866 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13905920 140727204809320 140727204812129 140727204812129 140727204814799 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10982744 KiB
Current children cumulated memory: 44936 KiB
[startup+0.310297 s]*
/proc/loadavg: 1.48 1.61 1.75 3/216 13481
/proc/meminfo: memFree=19299324/32770624 swapFree=67108860/67108860
[pid=13415] ppid=13412 vsize=10983192 memory=55652 CPUtime=0.39 cores=1,3,5,7
/proc/13415/stat : 13415 (java) S 13412 13415 8396 0 -1 1077944320 10460 13140 0 0 28 3 5 3 20 0 15 0 107327347 11246788608 13913 33554432000 4194304 4196468 140727204808096 140727204790640 140618524073719 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 13905920 140727204809320 140727204812129 140727204812129 140727204814799 0
/proc/13415/statm: 2745798 13913 3074 1 0 2708109 0
[pid=13415/tid=13468] ppid=13412 vsize=10983192 memory=6791534058613427641 CPUtime=0.29 cores=1,3,5,7
/proc/13415/task/13468/stat : 13468 (java) R 13412 13415 8396 0 -1 4202560 7017 13140 0 0 19 2 5 3 20 0 15 0 107327356 11246788608 13913 33554432000 4194304 4196468 140727204808096 140618495885728 140618524095645 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13905920 140727204809320 140727204812129 140727204812129 140727204814799 0
[pid=13415/tid=13469] ppid=13412 vsize=10983192 memory=6009860606672261201 CPUtime=0.08 cores=1,3,5,7
/proc/13415/task/13469/stat : 13469 (java) S 13412 13415 8396 0 -1 1077944384 1 13140 0 0 0 0 5 3 20 0 15 0 107327357 11246788608 13913 33554432000 4194304 4196468 140727204808096 140618528315664 140618524083925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13905920 140727204809320 140727204812129 140727204812129 140727204814799 0
[pid=13415/tid=13470] ppid=13412 vsize=10983192 memory=2076 CPUtime=0.08 cores=1,3,5,7
/proc/13415/task/13470/stat : 13470 (java) S 13412 13415 8396 0 -1 1077944384 1 13140 0 0 0 0 5 3 20 0 15 0 107327357 11246788608 13913 33554432000 4194304 4196468 140727204808096 140618383034768 140618524083925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13905920 140727204809320 140727204812129 140727204812129 140727204814799 0
[pid=13415/tid=13471] ppid=13412 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/13415/task/13471/stat : 13471 (java) S 13412 13415 8396 0 -1 1077944384 1 13140 0 0 0 0 5 3 20 0 15 0 107327357 11246788608 13913 33554432000 4194304 4196468 140727204808096 140618381982224 140618524083925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13905920 140727204809320 140727204812129 140727204812129 140727204814799 0
[pid=13415/tid=13472] ppid=13412 vsize=10983192 memory=4126316290023845779 CPUtime=0.08 cores=1,3,5,7
/proc/13415/task/13472/stat : 13472 (java) S 13412 13415 8396 0 -1 1077944384 2 13140 0 0 0 0 5 3 20 0 15 0 107327357 11246788608 13913 33554432000 4194304 4196468 140727204808096 140618380929680 140618524083925 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13905920 140727204809320 140727204812129 140727204812129 140727204814799 0
[pid=13415/tid=13473] ppid=13412 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/13415/task/13473/stat : 13473 (java) S 13412 13415 8396 0 -1 1077944384 2 13140 0 0 0 0 5 3 20 0 15 0 107327358 11246788608 13913 33554432000 4194304 4196468 140727204808096 140617949735408 140618524084866 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13905920 140727204809320 140727204812129 140727204812129 140727204814799 0
[pid=13415/tid=13474] ppid=13412 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/13415/task/13474/stat : 13474 (java) S 13412 13415 8396 0 -1 1077944384 13 13140 0 0 0 0 5 3 20 0 15 0 107327358 11246788608 13913 33554432000 4194304 4196468 140727204808096 140617363482016 140618524083925 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13905920 140727204809320 140727204812129 140727204812129 140727204814799 0
[pid=13415/tid=13475] ppid=13412 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/13415/task/13475/stat : 13475 (java) S 13412 13415 8396 0 -1 1077944384 1 13140 0 0 0 0 5 3 20 0 15 0 107327359 11246788608 13913 33554432000 4194304 4196468 140727204808096 140617162155504 140618524083925 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13905920 140727204809320 140727204812129 140727204812129 140727204814799 0
[pid=13415/tid=13476] ppid=13412 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/13415/task/13476/stat : 13476 (java) S 13412 13415 8396 0 -1 1077944384 3 13140 0 0 0 0 5 3 20 0 15 0 107327361 11246788608 13913 33554432000 4194304 4196468 140727204808096 140616854756048 140618524092315 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13905920 140727204809320 140727204812129 140727204812129 140727204814799 0
[pid=13415/tid=13477] ppid=13412 vsize=10983192 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/13415/task/13477/stat : 13477 (java) S 13412 13415 8396 0 -1 1077944384 369 13140 0 0 1 0 5 3 20 0 15 0 107327361 11246788608 13913 33554432000 4194304 4196468 140727204808096 140617948682224 140618524084866 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13905920 140727204809320 140727204812129 140727204812129 140727204814799 0
[pid=13415/tid=13478] ppid=13412 vsize=10983192 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/13415/task/13478/stat : 13478 (java) S 13412 13415 8396 0 -1 1077944384 247 13140 0 0 1 0 5 3 20 0 15 0 107327361 11246788608 13913 33554432000 4194304 4196468 140727204808096 140617947629680 140618524084866 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13905920 140727204809320 140727204812129 140727204812129 140727204814799 0
[pid=13415/tid=13479] ppid=13412 vsize=10983192 memory=0 CPUtime=0.13 cores=1,3,5,7
/proc/13415/task/13479/stat : 13479 (java) S 13412 13415 8396 0 -1 1077944384 610 13140 0 0 5 0 5 3 20 0 15 0 107327361 11246788608 13913 33554432000 4194304 4196468 140727204808096 140617946577136 140618524084866 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13905920 140727204809320 140727204812129 140727204812129 140727204814799 0
[pid=13415/tid=13480] ppid=13412 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/13415/task/13480/stat : 13480 (java) S 13412 13415 8396 0 -1 1077944384 3 13140 0 0 0 0 5 3 20 0 15 0 107327361 11246788608 13913 33554432000 4194304 4196468 140727204808096 140616423959136 140618524083925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13905920 140727204809320 140727204812129 140727204812129 140727204814799 0
[pid=13415/tid=13481] ppid=13412 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/13415/task/13481/stat : 13481 (java) S 13412 13415 8396 0 -1 1077944384 1 13140 0 0 0 0 5 3 20 0 15 0 107327362 11246788608 13913 33554432000 4194304 4196468 140727204808096 140617945525040 140618524084866 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13905920 140727204809320 140727204812129 140727204812129 140727204814799 0
Current children cumulated CPU time: 0.39 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 55652 KiB
[startup+0.700776 s]
/proc/loadavg: 1.48 1.61 1.75 3/216 13481
/proc/meminfo: memFree=19288160/32770624 swapFree=67108860/67108860
[pid=13415] ppid=13412 vsize=10983192 memory=88652 CPUtime=0.99 cores=1,3,5,7
/proc/13415/stat : 13415 (java) S 13412 13415 8396 0 -1 1077944320 16771 13140 0 0 87 4 5 3 20 0 15 0 107327347 11246788608 22163 33554432000 4194304 4196468 140727204808096 140727204790640 140618524073719 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 13905920 140727204809320 140727204812129 140727204812129 140727204814799 0
/proc/13415/statm: 2745798 22163 3240 1 0 2708109 0
[pid=13415/tid=13468] ppid=13412 vsize=10983192 memory=0 CPUtime=0.66 cores=1,3,5,7
/proc/13415/task/13468/stat : 13468 (java) R 13412 13415 8396 0 -1 4202560 12293 13140 0 0 56 2 5 3 20 0 15 0 107327356 11246788608 22163 33554432000 4194304 4196468 140727204808096 140618495894544 140618524087623 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13905920 140727204809320 140727204812129 140727204812129 140727204814799 0
[pid=13415/tid=13469] ppid=13412 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/13415/task/13469/stat : 13469 (java) S 13412 13415 8396 0 -1 1077944384 1 13140 0 0 0 0 5 3 20 0 15 0 107327357 11246788608 22163 33554432000 4194304 4196468 140727204808096 140618528315664 140618524083925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13905920 140727204809320 140727204812129 140727204812129 140727204814799 0
[pid=13415/tid=13470] ppid=13412 vsize=10983192 memory=4140 CPUtime=0.08 cores=1,3,5,7
/proc/13415/task/13470/stat : 13470 (java) S 13412 13415 8396 0 -1 1077944384 1 13140 0 0 0 0 5 3 20 0 15 0 107327357 11246788608 22163 33554432000 4194304 4196468 140727204808096 140618383034768 140618524083925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13905920 140727204809320 140727204812129 140727204812129 140727204814799 0
[pid=13415/tid=13471] ppid=13412 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/13415/task/13471/stat : 13471 (java) S 13412 13415 8396 0 -1 1077944384 1 13140 0 0 0 0 5 3 20 0 15 0 107327357 11246788608 22163 33554432000 4194304 4196468 140727204808096 140618381982224 140618524083925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13905920 140727204809320 140727204812129 140727204812129 140727204814799 0
[pid=13415/tid=13472] ppid=13412 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/13415/task/13472/stat : 13472 (java) S 13412 13415 8396 0 -1 1077944384 2 13140 0 0 0 0 5 3 20 0 15 0 107327357 11246788608 22163 33554432000 4194304 4196468 140727204808096 140618380929680 140618524083925 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13905920 140727204809320 140727204812129 140727204812129 140727204814799 0
[pid=13415/tid=13473] ppid=13412 vsize=10983192 memory=4420 CPUtime=0.08 cores=1,3,5,7
/proc/13415/task/13473/stat : 13473 (java) S 13412 13415 8396 0 -1 1077944384 5 13140 0 0 0 0 5 3 20 0 15 0 107327358 11246788608 22163 33554432000 4194304 4196468 140727204808096 140617949735408 140618524084866 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13905920 140727204809320 140727204812129 140727204812129 140727204814799 0
[pid=13415/tid=13474] ppid=13412 vsize=10983192 memory=6628 CPUtime=0.08 cores=1,3,5,7
/proc/13415/task/13474/stat : 13474 (java) S 13412 13415 8396 0 -1 1077944384 13 13140 0 0 0 0 5 3 20 0 15 0 107327358 11246788608 22163 33554432000 4194304 4196468 140727204808096 140617363482016 140618524083925 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13905920 140727204809320 140727204812129 140727204812129 140727204814799 0
[pid=13415/tid=13475] ppid=13412 vsize=10983192 memory=8836 CPUtime=0.08 cores=1,3,5,7
/proc/13415/task/13475/stat : 13475 (java) S 13412 13415 8396 0 -1 1077944384 1 13140 0 0 0 0 5 3 20 0 15 0 107327359 11246788608 22163 33554432000 4194304 4196468 140727204808096 140617162155504 140618524083925 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13905920 140727204809320 140727204812129 140727204812129 140727204814799 0
[pid=13415/tid=13476] ppid=13412 vsize=10983192 memory=11044 CPUtime=0.08 cores=1,3,5,7
/proc/13415/task/13476/stat : 13476 (java) S 13412 13415 8396 0 -1 1077944384 3 13140 0 0 0 0 5 3 20 0 15 0 107327361 11246788608 22163 33554432000 4194304 4196468 140727204808096 140616854756048 140618524092315 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13905920 140727204809320 140727204812129 140727204812129 140727204814799 0
[pid=13415/tid=13477] ppid=13412 vsize=10983192 memory=13252 CPUtime=0.16 cores=1,3,5,7
/proc/13415/task/13477/stat : 13477 (java) S 13412 13415 8396 0 -1 1077944384 758 13140 0 0 8 0 5 3 20 0 15 0 107327361 11246788608 22163 33554432000 4194304 4196468 140727204808096 140617948682224 140618524084866 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13905920 140727204809320 140727204812129 140727204812129 140727204814799 0
[pid=13415/tid=13478] ppid=13412 vsize=10983192 memory=15460 CPUtime=0.16 cores=1,3,5,7
/proc/13415/task/13478/stat : 13478 (java) S 13412 13415 8396 0 -1 1077944384 800 13140 0 0 8 0 5 3 20 0 15 0 107327361 11246788608 22163 33554432000 4194304 4196468 140727204808096 140617947629680 140618524084866 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13905920 140727204809320 140727204812129 140727204812129 140727204814799 0
[pid=13415/tid=13479] ppid=13412 vsize=10983192 memory=17668 CPUtime=0.21 cores=1,3,5,7
/proc/13415/task/13479/stat : 13479 (java) S 13412 13415 8396 0 -1 1077944384 699 13140 0 0 13 0 5 3 20 0 15 0 107327361 11246788608 22163 33554432000 4194304 4196468 140727204808096 140617946577136 140618524084866 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13905920 140727204809320 140727204812129 140727204812129 140727204814799 0
[pid=13415/tid=13480] ppid=13412 vsize=10983192 memory=19876 CPUtime=0.08 cores=1,3,5,7
/proc/13415/task/13480/stat : 13480 (java) S 13412 13415 8396 0 -1 1077944384 3 13140 0 0 0 0 5 3 20 0 15 0 107327361 11246788608 22163 33554432000 4194304 4196468 140727204808096 140616423959136 140618524083925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13905920 140727204809320 140727204812129 140727204812129 140727204814799 0
[pid=13415/tid=13481] ppid=13412 vsize=10983192 memory=22084 CPUtime=0.08 cores=1,3,5,7
/proc/13415/task/13481/stat : 13481 (java) S 13412 13415 8396 0 -1 1077944384 1 13140 0 0 0 0 5 3 20 0 15 0 107327362 11246788608 22163 33554432000 4194304 4196468 140727204808096 140617945525040 140618524084866 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13905920 140727204809320 140727204812129 140727204812129 140727204814799 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 88652 KiB
[startup+1.50081 s]
/proc/loadavg: 1.48 1.61 1.75 4/216 13481
/proc/meminfo: memFree=19241828/32770624 swapFree=67108860/67108860
[pid=13415] ppid=13412 vsize=10998092 memory=182764 CPUtime=2.51 cores=1,3,5,7
/proc/13415/stat : 13415 (java) S 13412 13415 8396 0 -1 1077944320 24812 13140 0 0 233 10 5 3 20 0 15 0 107327347 11262046208 45691 33554432000 4194304 4196468 140727204808096 140727204790640 140618524073719 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 13905920 140727204809320 140727204812129 140727204812129 140727204814799 0
/proc/13415/statm: 2749523 45691 3470 1 0 2711181 0
[pid=13415/tid=13468] ppid=13412 vsize=10998092 memory=0 CPUtime=1.43 cores=1,3,5,7
/proc/13415/task/13468/stat : 13468 (java) R 13412 13415 8396 0 -1 4202560 17649 13140 0 0 129 6 5 3 20 0 15 0 107327356 11262046208 45691 33554432000 4194304 4196468 140727204808096 140618495881552 140618516790871 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13905920 140727204809320 140727204812129 140727204812129 140727204814799 0
[pid=13415/tid=13469] ppid=13412 vsize=10998092 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/13415/task/13469/stat : 13469 (java) S 13412 13415 8396 0 -1 1077944384 54 13140 0 0 1 0 5 3 20 0 15 0 107327357 11262046208 45691 33554432000 4194304 4196468 140727204808096 140618528315664 140618524083925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13905920 140727204809320 140727204812129 140727204812129 140727204814799 0
[pid=13415/tid=13470] ppid=13412 vsize=10998092 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/13415/task/13470/stat : 13470 (java) S 13412 13415 8396 0 -1 1077944384 16 13140 0 0 1 0 5 3 20 0 15 0 107327357 11262046208 45691 33554432000 4194304 4196468 140727204808096 140618383034768 140618524083925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13905920 140727204809320 140727204812129 140727204812129 140727204814799 0
[pid=13415/tid=13471] ppid=13412 vsize=10998092 memory=4051323354130624818 CPUtime=0.09 cores=1,3,5,7
/proc/13415/task/13471/stat : 13471 (java) S 13412 13415 8396 0 -1 1077944384 184 13140 0 0 1 0 5 3 20 0 15 0 107327357 11262046208 45691 33554432000 4194304 4196468 140727204808096 140618381982224 140618524083925 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13905920 140727204809320 140727204812129 140727204812129 140727204814799 0
[pid=13415/tid=13472] ppid=13412 vsize=10998092 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/13415/task/13472/stat : 13472 (java) S 13412 13415 8396 0 -1 1077944384 38 13140 0 0 1 0 5 3 20 0 15 0 107327357 11262046208 45691 33554432000 4194304 4196468 140727204808096 140618380929680 140618524083925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13905920 140727204809320 140727204812129 140727204812129 140727204814799 0
[pid=13415/tid=13473] ppid=13412 vsize=10998092 memory=-7965959130280075168 CPUtime=0.09 cores=1,3,5,7
/proc/13415/task/13473/stat : 13473 (java) S 13412 13415 8396 0 -1 1077944384 59 13140 0 0 1 0 5 3 20 0 15 0 107327358 11262046208 45691 33554432000 4194304 4196468 140727204808096 140617949735408 140618524084866 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13905920 140727204809320 140727204812129 140727204812129 140727204814799 0
[pid=13415/tid=13474] ppid=13412 vsize=10998092 memory=279333264500992 CPUtime=0.08 cores=1,3,5,7
/proc/13415/task/13474/stat : 13474 (java) S 13412 13415 8396 0 -1 1077944384 13 13140 0 0 0 0 5 3 20 0 15 0 107327358 11262046208 45691 33554432000 4194304 4196468 140727204808096 140617363482080 140618524083925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13905920 140727204809320 140727204812129 140727204812129 140727204814799 0
[pid=13415/tid=13475] ppid=13412 vsize=10998092 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/13415/task/13475/stat : 13475 (java) S 13412 13415 8396 0 -1 1077944384 2 13140 0 0 0 0 5 3 20 0 15 0 107327359 11262046208 45691 33554432000 4194304 4196468 140727204808096 140617162155520 140618524083925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13905920 140727204809320 140727204812129 140727204812129 140727204814799 0
[pid=13415/tid=13476] ppid=13412 vsize=10998092 memory=1196 CPUtime=0.08 cores=1,3,5,7
/proc/13415/task/13476/stat : 13476 (java) S 13412 13415 8396 0 -1 1077944384 3 13140 0 0 0 0 5 3 20 0 15 0 107327361 11262046208 45691 33554432000 4194304 4196468 140727204808096 140616854756048 140618524092315 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13905920 140727204809320 140727204812129 140727204812129 140727204814799 0
[pid=13415/tid=13477] ppid=13412 vsize=10998092 memory=5788 CPUtime=0.33 cores=1,3,5,7
/proc/13415/task/13477/stat : 13477 (java) S 13412 13415 8396 0 -1 1077944384 1306 13140 0 0 25 0 5 3 20 0 15 0 107327361 11262046208 45691 33554432000 4194304 4196468 140727204808096 140617948682224 140618524084866 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13905920 140727204809320 140727204812129 140727204812129 140727204814799 0
[pid=13415/tid=13478] ppid=13412 vsize=10998092 memory=4616 CPUtime=0.42 cores=1,3,5,7
/proc/13415/task/13478/stat : 13478 (java) S 13412 13415 8396 0 -1 1077944384 1834 13140 0 0 33 1 5 3 20 0 15 0 107327361 11262046208 45691 33554432000 4194304 4196468 140727204808096 140617947629680 140618524084866 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13905920 140727204809320 140727204812129 140727204812129 140727204814799 0
[pid=13415/tid=13479] ppid=13412 vsize=10998092 memory=12032 CPUtime=0.45 cores=1,3,5,7
/proc/13415/task/13479/stat : 13479 (java) S 13412 13415 8396 0 -1 1077944384 1460 13140 0 0 37 0 5 3 20 0 15 0 107327361 11262046208 45691 33554432000 4194304 4196468 140727204808096 140617946577136 140618524084866 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13905920 140727204809320 140727204812129 140727204812129 140727204814799 0
[pid=13415/tid=13480] ppid=13412 vsize=10998092 memory=1008 CPUtime=0.08 cores=1,3,5,7
/proc/13415/task/13480/stat : 13480 (java) S 13412 13415 8396 0 -1 1077944384 3 13140 0 0 0 0 5 3 20 0 15 0 107327361 11262046208 45691 33554432000 4194304 4196468 140727204808096 140616423959136 140618524083925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13905920 140727204809320 140727204812129 140727204812129 140727204814799 0
[pid=13415/tid=13481] ppid=13412 vsize=10998092 memory=792 CPUtime=0.08 cores=1,3,5,7
/proc/13415/task/13481/stat : 13481 (java) S 13412 13415 8396 0 -1 1077944384 1 13140 0 0 0 0 5 3 20 0 15 0 107327362 11262046208 45691 33554432000 4194304 4196468 140727204808096 140617945525040 140618524084866 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13905920 140727204809320 140727204812129 140727204812129 140727204814799 0
Current children cumulated CPU time: 2.51 s
Current children cumulated vsize: 10998092 KiB
################
# More data... #
################
/proc/13415/task/13468/stat : 13468 (java) R 13412 13415 8396 0 -1 4202560 54310 13140 0 0 16086 23 5 3 20 0 15 0 107327356 11348049920 255299 33554432000 4194304 4196468 140727204808096 140618495909408 140618071386771 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13905920 140727204809320 140727204812129 140727204812129 140727204814799 0
[pid=13415/tid=13469] ppid=13412 vsize=11082080 memory=1021196 CPUtime=0.6 cores=1,3,5,7
/proc/13415/task/13469/stat : 13469 (java) S 13412 13415 8396 0 -1 1077944384 3176 13140 0 0 47 5 5 3 20 0 15 0 107327357 11348049920 255299 33554432000 4194304 4196468 140727204808096 140618528315664 140618524083925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13905920 140727204809320 140727204812129 140727204812129 140727204814799 0
[pid=13415/tid=13470] ppid=13412 vsize=11082080 memory=1021196 CPUtime=0.59 cores=1,3,5,7
/proc/13415/task/13470/stat : 13470 (java) S 13412 13415 8396 0 -1 1077944384 1508 13140 0 0 47 4 5 3 20 0 15 0 107327357 11348049920 255299 33554432000 4194304 4196468 140727204808096 140618383034768 140618524083925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13905920 140727204809320 140727204812129 140727204812129 140727204814799 0
[pid=13415/tid=13471] ppid=13412 vsize=11082080 memory=1021196 CPUtime=0.6 cores=1,3,5,7
/proc/13415/task/13471/stat : 13471 (java) S 13412 13415 8396 0 -1 1077944384 4588 13140 0 0 47 5 5 3 20 0 15 0 107327357 11348049920 255299 33554432000 4194304 4196468 140727204808096 140618381982224 140618524083925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13905920 140727204809320 140727204812129 140727204812129 140727204814799 0
[pid=13415/tid=13472] ppid=13412 vsize=11082080 memory=1021196 CPUtime=0.58 cores=1,3,5,7
/proc/13415/task/13472/stat : 13472 (java) S 13412 13415 8396 0 -1 1077944384 1573 13140 0 0 46 4 5 3 20 0 15 0 107327357 11348049920 255299 33554432000 4194304 4196468 140727204808096 140618380929680 140618524083925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13905920 140727204809320 140727204812129 140727204812129 140727204814799 0
[pid=13415/tid=13473] ppid=13412 vsize=11082080 memory=1021196 CPUtime=0.47 cores=1,3,5,7
/proc/13415/task/13473/stat : 13473 (java) S 13412 13415 8396 0 -1 1077944384 9612 13140 0 0 37 2 5 3 20 0 15 0 107327358 11348049920 255299 33554432000 4194304 4196468 140727204808096 140617949735408 140618524084866 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13905920 140727204809320 140727204812129 140727204812129 140727204814799 0
[pid=13415/tid=13474] ppid=13412 vsize=11082080 memory=1021196 CPUtime=0.08 cores=1,3,5,7
/proc/13415/task/13474/stat : 13474 (java) S 13412 13415 8396 0 -1 1077944384 13 13140 0 0 0 0 5 3 20 0 15 0 107327358 11348049920 255299 33554432000 4194304 4196468 140727204808096 140617363482080 140618524083925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13905920 140727204809320 140727204812129 140727204812129 140727204814799 0
[pid=13415/tid=13475] ppid=13412 vsize=11082080 memory=1021196 CPUtime=0.08 cores=1,3,5,7
/proc/13415/task/13475/stat : 13475 (java) S 13412 13415 8396 0 -1 1077944384 3 13140 0 0 0 0 5 3 20 0 15 0 107327359 11348049920 255299 33554432000 4194304 4196468 140727204808096 140617162155520 140618524083925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13905920 140727204809320 140727204812129 140727204812129 140727204814799 0
[pid=13415/tid=13476] ppid=13412 vsize=11082080 memory=8 CPUtime=0.08 cores=1,3,5,7
/proc/13415/task/13476/stat : 13476 (java) S 13412 13415 8396 0 -1 1077944384 3 13140 0 0 0 0 5 3 20 0 15 0 107327361 11348049920 255299 33554432000 4194304 4196468 140727204808096 140616854756048 140618524092315 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13905920 140727204809320 140727204812129 140727204812129 140727204814799 0
[pid=13415/tid=13477] ppid=13412 vsize=11082080 memory=30448 CPUtime=7.13 cores=1,3,5,7
/proc/13415/task/13477/stat : 13477 (java) S 13412 13415 8396 0 -1 1077944384 20572 13140 0 0 700 5 5 3 20 0 15 0 107327361 11348049920 255299 33554432000 4194304 4196468 140727204808096 140617948682224 140618524084866 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13905920 140727204809320 140727204812129 140727204812129 140727204814799 0
[pid=13415/tid=13478] ppid=13412 vsize=11082080 memory=1021196 CPUtime=8.45 cores=1,3,5,7
/proc/13415/task/13478/stat : 13478 (java) S 13412 13415 8396 0 -1 1077944384 34857 13140 0 0 830 7 5 3 20 0 15 0 107327361 11348049920 255299 33554432000 4194304 4196468 140727204808096 140617947629680 140618524084866 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13905920 140727204809320 140727204812129 140727204812129 140727204814799 0
[pid=13415/tid=13479] ppid=13412 vsize=11082080 memory=288230596050944315 CPUtime=3.82 cores=1,3,5,7
/proc/13415/task/13479/stat : 13479 (java) S 13412 13415 8396 0 -1 1077944384 20181 13140 0 0 368 6 5 3 20 0 15 0 107327361 11348049920 255299 33554432000 4194304 4196468 140727204808096 140617946577136 140618524084866 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13905920 140727204809320 140727204812129 140727204812129 140727204814799 0
[pid=13415/tid=13480] ppid=13412 vsize=11082080 memory=1021196 CPUtime=0.08 cores=1,3,5,7
/proc/13415/task/13480/stat : 13480 (java) S 13412 13415 8396 0 -1 1077944384 3 13140 0 0 0 0 5 3 20 0 15 0 107327361 11348049920 255299 33554432000 4194304 4196468 140727204808096 140616423959136 140618524083925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13905920 140727204809320 140727204812129 140727204812129 140727204814799 0
[pid=13415/tid=13481] ppid=13412 vsize=11082080 memory=1021196 CPUtime=0.16 cores=1,3,5,7
/proc/13415/task/13481/stat : 13481 (java) S 13412 13415 8396 0 -1 1077944384 334 13140 0 0 4 4 5 3 20 0 15 0 107327362 11348049920 255299 33554432000 4194304 4196468 140727204808096 140617945525040 140618524084866 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13905920 140727204809320 140727204812129 140727204812129 140727204814799 0
Current children cumulated CPU time: 182.96 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 1021196 KiB
[startup+222.301 s]
/proc/loadavg: 1.55 1.57 1.70 3/215 13613
/proc/meminfo: memFree=18302860/32770624 swapFree=67108860/67108860
[pid=13415] ppid=13412 vsize=11082080 memory=1023644 CPUtime=243.92 cores=1,3,5,7
/proc/13415/stat : 13415 (java) S 13412 13415 8396 0 -1 1077944320 163782 13140 0 0 24311 73 5 3 20 0 15 0 107327347 11348049920 255911 33554432000 4194304 4196468 140727204808096 140727204790640 140618524073719 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 13905920 140727204809320 140727204812129 140727204812129 140727204814799 0
/proc/13415/statm: 2770520 255911 3532 1 0 2732173 0
[pid=13415/tid=13468] ppid=13412 vsize=11082080 memory=792 CPUtime=220.58 cores=1,3,5,7
/proc/13415/task/13468/stat : 13468 (java) R 13412 13415 8396 0 -1 4202560 56032 13140 0 0 22026 24 5 3 20 0 15 0 107327356 11348049920 255911 33554432000 4194304 4196468 140727204808096 140618495908528 140618074181190 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13905920 140727204809320 140727204812129 140727204812129 140727204814799 0
[pid=13415/tid=13469] ppid=13412 vsize=11082080 memory=1023644 CPUtime=0.88 cores=1,3,5,7
/proc/13415/task/13469/stat : 13469 (java) S 13412 13415 8396 0 -1 1077944384 3309 13140 0 0 74 6 5 3 20 0 15 0 107327357 11348049920 255911 33554432000 4194304 4196468 140727204808096 140618528315664 140618524083925 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13905920 140727204809320 140727204812129 140727204812129 140727204814799 0
[pid=13415/tid=13470] ppid=13412 vsize=11082080 memory=1023644 CPUtime=0.88 cores=1,3,5,7
/proc/13415/task/13470/stat : 13470 (java) S 13412 13415 8396 0 -1 1077944384 1624 13140 0 0 75 5 5 3 20 0 15 0 107327357 11348049920 255911 33554432000 4194304 4196468 140727204808096 140618383034768 140618524083925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13905920 140727204809320 140727204812129 140727204812129 140727204814799 0
[pid=13415/tid=13471] ppid=13412 vsize=11082080 memory=1023644 CPUtime=0.89 cores=1,3,5,7
/proc/13415/task/13471/stat : 13471 (java) S 13412 13415 8396 0 -1 1077944384 5195 13140 0 0 75 6 5 3 20 0 15 0 107327357 11348049920 255911 33554432000 4194304 4196468 140727204808096 140618381982224 140618524083925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13905920 140727204809320 140727204812129 140727204812129 140727204814799 0
[pid=13415/tid=13472] ppid=13412 vsize=11082080 memory=1023644 CPUtime=0.88 cores=1,3,5,7
/proc/13415/task/13472/stat : 13472 (java) S 13412 13415 8396 0 -1 1077944384 1691 13140 0 0 75 5 5 3 20 0 15 0 107327357 11348049920 255911 33554432000 4194304 4196468 140727204808096 140618380929680 140618524083925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13905920 140727204809320 140727204812129 140727204812129 140727204814799 0
[pid=13415/tid=13473] ppid=13412 vsize=11082080 memory=1023644 CPUtime=0.71 cores=1,3,5,7
/proc/13415/task/13473/stat : 13473 (java) S 13412 13415 8396 0 -1 1077944384 9975 13140 0 0 59 4 5 3 20 0 15 0 107327358 11348049920 255911 33554432000 4194304 4196468 140727204808096 140617949735408 140618524084866 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13905920 140727204809320 140727204812129 140727204812129 140727204814799 0
[pid=13415/tid=13474] ppid=13412 vsize=11082080 memory=1023644 CPUtime=0.08 cores=1,3,5,7
/proc/13415/task/13474/stat : 13474 (java) S 13412 13415 8396 0 -1 1077944384 13 13140 0 0 0 0 5 3 20 0 15 0 107327358 11348049920 255911 33554432000 4194304 4196468 140727204808096 140617363482080 140618524083925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13905920 140727204809320 140727204812129 140727204812129 140727204814799 0
[pid=13415/tid=13475] ppid=13412 vsize=11082080 memory=1023644 CPUtime=0.08 cores=1,3,5,7
/proc/13415/task/13475/stat : 13475 (java) S 13412 13415 8396 0 -1 1077944384 3 13140 0 0 0 0 5 3 20 0 15 0 107327359 11348049920 255911 33554432000 4194304 4196468 140727204808096 140617162155520 140618524083925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13905920 140727204809320 140727204812129 140727204812129 140727204814799 0
[pid=13415/tid=13476] ppid=13412 vsize=11082080 memory=1023644 CPUtime=0.08 cores=1,3,5,7
/proc/13415/task/13476/stat : 13476 (java) S 13412 13415 8396 0 -1 1077944384 3 13140 0 0 0 0 5 3 20 0 15 0 107327361 11348049920 255911 33554432000 4194304 4196468 140727204808096 140616854756048 140618524092315 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13905920 140727204809320 140727204812129 140727204812129 140727204814799 0
[pid=13415/tid=13477] ppid=13412 vsize=11082080 memory=1023644 CPUtime=7.17 cores=1,3,5,7
/proc/13415/task/13477/stat : 13477 (java) S 13412 13415 8396 0 -1 1077944384 22213 13140 0 0 704 5 5 3 20 0 15 0 107327361 11348049920 255911 33554432000 4194304 4196468 140727204808096 140617948682224 140618524084866 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13905920 140727204809320 140727204812129 140727204812129 140727204814799 0
[pid=13415/tid=13478] ppid=13412 vsize=11082080 memory=1023644 CPUtime=8.5 cores=1,3,5,7
/proc/13415/task/13478/stat : 13478 (java) S 13412 13415 8396 0 -1 1077944384 37938 13140 0 0 835 7 5 3 20 0 15 0 107327361 11348049920 255911 33554432000 4194304 4196468 140727204808096 140617947629680 140618524084866 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13905920 140727204809320 140727204812129 140727204812129 140727204814799 0
[pid=13415/tid=13479] ppid=13412 vsize=11082080 memory=1023644 CPUtime=3.84 cores=1,3,5,7
/proc/13415/task/13479/stat : 13479 (java) S 13412 13415 8396 0 -1 1077944384 23234 13140 0 0 370 6 5 3 20 0 15 0 107327361 11348049920 255911 33554432000 4194304 4196468 140727204808096 140617946577136 140618524084866 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13905920 140727204809320 140727204812129 140727204812129 140727204814799 0
[pid=13415/tid=13480] ppid=13412 vsize=11082080 memory=1023644 CPUtime=0.08 cores=1,3,5,7
/proc/13415/task/13480/stat : 13480 (java) S 13412 13415 8396 0 -1 1077944384 3 13140 0 0 0 0 5 3 20 0 15 0 107327361 11348049920 255911 33554432000 4194304 4196468 140727204808096 140616423959136 140618524083925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13905920 140727204809320 140727204812129 140727204812129 140727204814799 0
[pid=13415/tid=13481] ppid=13412 vsize=11082080 memory=1023644 CPUtime=0.2 cores=1,3,5,7
/proc/13415/task/13481/stat : 13481 (java) S 13412 13415 8396 0 -1 1077944384 359 13140 0 0 6 6 5 3 20 0 15 0 107327362 11348049920 255911 33554432000 4194304 4196468 140727204808096 140617945525040 140618524084866 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13905920 140727204809320 140727204812129 140727204812129 140727204814799 0
Current children cumulated CPU time: 243.92 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 1023644 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+230.11 s]
/proc/loadavg: 1.51 1.56 1.70 4/215 13613
/proc/meminfo: memFree=18302860/32770624 swapFree=67108860/67108860
[pid=13415] ppid=13412 vsize=11082080 memory=1024004 CPUtime=252.05 cores=1,3,5,7
/proc/13415/stat : 13415 (java) S 13412 13415 8396 0 -1 1077944320 167657 13140 0 0 25123 74 5 3 20 0 15 0 107327347 11348049920 256001 33554432000 4194304 4196468 140727204808096 140727204790640 140618524073719 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 13905920 140727204809320 140727204812129 140727204812129 140727204814799 0
/proc/13415/statm: 2770520 256001 3532 1 0 2732173 0
[pid=13415/tid=13468] ppid=13412 vsize=11082080 memory=8584 CPUtime=228.3 cores=1,3,5,7
/proc/13415/task/13468/stat : 13468 (java) R 13412 13415 8396 0 -1 4202560 56233 13140 0 0 22798 24 5 3 20 0 15 0 107327356 11348049920 256001 33554432000 4194304 4196468 140727204808096 140618495908944 140618068145389 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13905920 140727204809320 140727204812129 140727204812129 140727204814799 0
[pid=13415/tid=13469] ppid=13412 vsize=11082080 memory=1024004 CPUtime=0.92 cores=1,3,5,7
/proc/13415/task/13469/stat : 13469 (java) S 13412 13415 8396 0 -1 1077944384 3379 13140 0 0 78 6 5 3 20 0 15 0 107327357 11348049920 256001 33554432000 4194304 4196468 140727204808096 140618528315664 140618524083925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13905920 140727204809320 140727204812129 140727204812129 140727204814799 0
[pid=13415/tid=13470] ppid=13412 vsize=11082080 memory=1024004 CPUtime=0.93 cores=1,3,5,7
/proc/13415/task/13470/stat : 13470 (java) S 13412 13415 8396 0 -1 1077944384 1659 13140 0 0 79 6 5 3 20 0 15 0 107327357 11348049920 256001 33554432000 4194304 4196468 140727204808096 140618383034768 140618524083925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13905920 140727204809320 140727204812129 140727204812129 140727204814799 0
[pid=13415/tid=13471] ppid=13412 vsize=11082080 memory=1024004 CPUtime=0.93 cores=1,3,5,7
/proc/13415/task/13471/stat : 13471 (java) S 13412 13415 8396 0 -1 1077944384 6285 13140 0 0 79 6 5 3 20 0 15 0 107327357 11348049920 256001 33554432000 4194304 4196468 140727204808096 140618381982224 140618524083925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13905920 140727204809320 140727204812129 140727204812129 140727204814799 0
[pid=13415/tid=13472] ppid=13412 vsize=11082080 memory=1024004 CPUtime=0.92 cores=1,3,5,7
/proc/13415/task/13472/stat : 13472 (java) S 13412 13415 8396 0 -1 1077944384 1727 13140 0 0 79 5 5 3 20 0 15 0 107327357 11348049920 256001 33554432000 4194304 4196468 140727204808096 140618380929680 140618524083925 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13905920 140727204809320 140727204812129 140727204812129 140727204814799 0
[pid=13415/tid=13473] ppid=13412 vsize=11082080 memory=1024004 CPUtime=0.74 cores=1,3,5,7
/proc/13415/task/13473/stat : 13473 (java) S 13412 13415 8396 0 -1 1077944384 9978 13140 0 0 62 4 5 3 20 0 15 0 107327358 11348049920 256001 33554432000 4194304 4196468 140727204808096 140617949735408 140618524084866 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13905920 140727204809320 140727204812129 140727204812129 140727204814799 0
[pid=13415/tid=13474] ppid=13412 vsize=11082080 memory=1024004 CPUtime=0.08 cores=1,3,5,7
/proc/13415/task/13474/stat : 13474 (java) S 13412 13415 8396 0 -1 1077944384 13 13140 0 0 0 0 5 3 20 0 15 0 107327358 11348049920 256001 33554432000 4194304 4196468 140727204808096 140617363482080 140618524083925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13905920 140727204809320 140727204812129 140727204812129 140727204814799 0
[pid=13415/tid=13475] ppid=13412 vsize=11082080 memory=1023644 CPUtime=0.08 cores=1,3,5,7
/proc/13415/task/13475/stat : 13475 (java) S 13412 13415 8396 0 -1 1077944384 3 13140 0 0 0 0 5 3 20 0 15 0 107327359 11348049920 256001 33554432000 4194304 4196468 140727204808096 140617162155520 140618524083925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13905920 140727204809320 140727204812129 140727204812129 140727204814799 0
[pid=13415/tid=13476] ppid=13412 vsize=11082080 memory=1023644 CPUtime=0.08 cores=1,3,5,7
/proc/13415/task/13476/stat : 13476 (java) S 13412 13415 8396 0 -1 1077944384 3 13140 0 0 0 0 5 3 20 0 15 0 107327361 11348049920 256001 33554432000 4194304 4196468 140727204808096 140616854756048 140618524092315 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13905920 140727204809320 140727204812129 140727204812129 140727204814799 0
[pid=13415/tid=13477] ppid=13412 vsize=11082080 memory=1023644 CPUtime=7.17 cores=1,3,5,7
/proc/13415/task/13477/stat : 13477 (java) S 13412 13415 8396 0 -1 1077944384 22213 13140 0 0 704 5 5 3 20 0 15 0 107327361 11348049920 256001 33554432000 4194304 4196468 140727204808096 140617948682224 140618524084866 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13905920 140727204809320 140727204812129 140727204812129 140727204814799 0
[pid=13415/tid=13478] ppid=13412 vsize=11082080 memory=1023644 CPUtime=8.71 cores=1,3,5,7
/proc/13415/task/13478/stat : 13478 (java) S 13412 13415 8396 0 -1 1077944384 40377 13140 0 0 856 7 5 3 20 0 15 0 107327361 11348049920 256001 33554432000 4194304 4196468 140727204808096 140617947629680 140618524084866 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13905920 140727204809320 140727204812129 140727204812129 140727204814799 0
[pid=13415/tid=13479] ppid=13412 vsize=11082080 memory=1024004 CPUtime=3.84 cores=1,3,5,7
/proc/13415/task/13479/stat : 13479 (java) S 13412 13415 8396 0 -1 1077944384 23234 13140 0 0 370 6 5 3 20 0 15 0 107327361 11348049920 256001 33554432000 4194304 4196468 140727204808096 140617946577136 140618524084866 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13905920 140727204809320 140727204812129 140727204812129 140727204814799 0
[pid=13415/tid=13480] ppid=13412 vsize=11082080 memory=4140 CPUtime=0.08 cores=1,3,5,7
/proc/13415/task/13480/stat : 13480 (java) S 13412 13415 8396 0 -1 1077944384 3 13140 0 0 0 0 5 3 20 0 15 0 107327361 11348049920 256001 33554432000 4194304 4196468 140727204808096 140616423959136 140618524083925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13905920 140727204809320 140727204812129 140727204812129 140727204814799 0
[pid=13415/tid=13481] ppid=13412 vsize=11082080 memory=30448 CPUtime=0.21 cores=1,3,5,7
/proc/13415/task/13481/stat : 13481 (java) S 13412 13415 8396 0 -1 1077944384 360 13140 0 0 6 7 5 3 20 0 15 0 107327362 11348049920 256001 33554432000 4194304 4196468 140727204808096 140617945525040 140618524084866 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13905920 140727204809320 140727204812129 140727204812129 140727204814799 0
Current children cumulated CPU time: 252.05 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 1024004 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+230.145 s]
# the end of solver process 13415 was just reported to runsolver
# cumulated CPU time of all completed processes: user=251.299 s, system=0.800129 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+230.11 s]
/proc/loadavg: 1.51 1.56 1.70 4/215 13613
/proc/meminfo: memFree=18302860/32770624 swapFree=67108860/67108860
[pid=13415] ppid=13412 vsize=11082080 memory=1024004 CPUtime=252.05 cores=1,3,5,7
/proc/13415/stat : 13415 (java) S 13412 13415 8396 0 -1 1077944320 167657 13140 0 0 25123 74 5 3 20 0 15 0 107327347 11348049920 256001 33554432000 4194304 4196468 140727204808096 140727204790640 140618524073719 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 13905920 140727204809320 140727204812129 140727204812129 140727204814799 0
/proc/13415/statm: 2770520 256001 3532 1 0 2732173 0
[pid=13415/tid=13468] ppid=13412 vsize=11082080 memory=8584 CPUtime=228.3 cores=1,3,5,7
/proc/13415/task/13468/stat : 13468 (java) R 13412 13415 8396 0 -1 4202560 56233 13140 0 0 22798 24 5 3 20 0 15 0 107327356 11348049920 256001 33554432000 4194304 4196468 140727204808096 140618495908944 140618068145389 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13905920 140727204809320 140727204812129 140727204812129 140727204814799 0
[pid=13415/tid=13469] ppid=13412 vsize=11082080 memory=1024004 CPUtime=0.92 cores=1,3,5,7
/proc/13415/task/13469/stat : 13469 (java) S 13412 13415 8396 0 -1 1077944384 3379 13140 0 0 78 6 5 3 20 0 15 0 107327357 11348049920 256001 33554432000 4194304 4196468 140727204808096 140618528315664 140618524083925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13905920 140727204809320 140727204812129 140727204812129 140727204814799 0
[pid=13415/tid=13470] ppid=13412 vsize=11082080 memory=1024004 CPUtime=0.93 cores=1,3,5,7
/proc/13415/task/13470/stat : 13470 (java) S 13412 13415 8396 0 -1 1077944384 1659 13140 0 0 79 6 5 3 20 0 15 0 107327357 11348049920 256001 33554432000 4194304 4196468 140727204808096 140618383034768 140618524083925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13905920 140727204809320 140727204812129 140727204812129 140727204814799 0
[pid=13415/tid=13471] ppid=13412 vsize=11082080 memory=1024004 CPUtime=0.93 cores=1,3,5,7
/proc/13415/task/13471/stat : 13471 (java) S 13412 13415 8396 0 -1 1077944384 6285 13140 0 0 79 6 5 3 20 0 15 0 107327357 11348049920 256001 33554432000 4194304 4196468 140727204808096 140618381982224 140618524083925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13905920 140727204809320 140727204812129 140727204812129 140727204814799 0
[pid=13415/tid=13472] ppid=13412 vsize=11082080 memory=1024004 CPUtime=0.92 cores=1,3,5,7
/proc/13415/task/13472/stat : 13472 (java) S 13412 13415 8396 0 -1 1077944384 1727 13140 0 0 79 5 5 3 20 0 15 0 107327357 11348049920 256001 33554432000 4194304 4196468 140727204808096 140618380929680 140618524083925 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13905920 140727204809320 140727204812129 140727204812129 140727204814799 0
[pid=13415/tid=13473] ppid=13412 vsize=11082080 memory=1024004 CPUtime=0.74 cores=1,3,5,7
/proc/13415/task/13473/stat : 13473 (java) S 13412 13415 8396 0 -1 1077944384 9978 13140 0 0 62 4 5 3 20 0 15 0 107327358 11348049920 256001 33554432000 4194304 4196468 140727204808096 140617949735408 140618524084866 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13905920 140727204809320 140727204812129 140727204812129 140727204814799 0
[pid=13415/tid=13474] ppid=13412 vsize=11082080 memory=1024004 CPUtime=0.08 cores=1,3,5,7
/proc/13415/task/13474/stat : 13474 (java) S 13412 13415 8396 0 -1 1077944384 13 13140 0 0 0 0 5 3 20 0 15 0 107327358 11348049920 256001 33554432000 4194304 4196468 140727204808096 140617363482080 140618524083925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13905920 140727204809320 140727204812129 140727204812129 140727204814799 0
[pid=13415/tid=13475] ppid=13412 vsize=11082080 memory=1023644 CPUtime=0.08 cores=1,3,5,7
/proc/13415/task/13475/stat : 13475 (java) S 13412 13415 8396 0 -1 1077944384 3 13140 0 0 0 0 5 3 20 0 15 0 107327359 11348049920 256001 33554432000 4194304 4196468 140727204808096 140617162155520 140618524083925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13905920 140727204809320 140727204812129 140727204812129 140727204814799 0
[pid=13415/tid=13476] ppid=13412 vsize=11082080 memory=1023644 CPUtime=0.08 cores=1,3,5,7
/proc/13415/task/13476/stat : 13476 (java) S 13412 13415 8396 0 -1 1077944384 3 13140 0 0 0 0 5 3 20 0 15 0 107327361 11348049920 256001 33554432000 4194304 4196468 140727204808096 140616854756048 140618524092315 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13905920 140727204809320 140727204812129 140727204812129 140727204814799 0
[pid=13415/tid=13477] ppid=13412 vsize=11082080 memory=1023644 CPUtime=7.17 cores=1,3,5,7
/proc/13415/task/13477/stat : 13477 (java) S 13412 13415 8396 0 -1 1077944384 22213 13140 0 0 704 5 5 3 20 0 15 0 107327361 11348049920 256001 33554432000 4194304 4196468 140727204808096 140617948682224 140618524084866 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13905920 140727204809320 140727204812129 140727204812129 140727204814799 0
[pid=13415/tid=13478] ppid=13412 vsize=11082080 memory=1023644 CPUtime=8.71 cores=1,3,5,7
/proc/13415/task/13478/stat : 13478 (java) S 13412 13415 8396 0 -1 1077944384 40377 13140 0 0 856 7 5 3 20 0 15 0 107327361 11348049920 256001 33554432000 4194304 4196468 140727204808096 140617947629680 140618524084866 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13905920 140727204809320 140727204812129 140727204812129 140727204814799 0
[pid=13415/tid=13479] ppid=13412 vsize=11082080 memory=1024004 CPUtime=3.84 cores=1,3,5,7
/proc/13415/task/13479/stat : 13479 (java) S 13412 13415 8396 0 -1 1077944384 23234 13140 0 0 370 6 5 3 20 0 15 0 107327361 11348049920 256001 33554432000 4194304 4196468 140727204808096 140617946577136 140618524084866 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13905920 140727204809320 140727204812129 140727204812129 140727204814799 0
[pid=13415/tid=13480] ppid=13412 vsize=11082080 memory=4140 CPUtime=0.08 cores=1,3,5,7
/proc/13415/task/13480/stat : 13480 (java) S 13412 13415 8396 0 -1 1077944384 3 13140 0 0 0 0 5 3 20 0 15 0 107327361 11348049920 256001 33554432000 4194304 4196468 140727204808096 140616423959136 140618524083925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13905920 140727204809320 140727204812129 140727204812129 140727204814799 0
[pid=13415/tid=13481] ppid=13412 vsize=11082080 memory=30448 CPUtime=0.21 cores=1,3,5,7
/proc/13415/task/13481/stat : 13481 (java) S 13412 13415 8396 0 -1 1077944384 360 13140 0 0 6 7 5 3 20 0 15 0 107327362 11348049920 256001 33554432000 4194304 4196468 140727204808096 140617945525040 140618524084866 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13905920 140727204809320 140727204812129 140727204812129 140727204814799 0
Current children cumulated CPU time: 252.05 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 1024004 KiB
Child status: 143
Real time (s): 230.145
CPU time (s): 252.099
CPU user time (s): 251.299
CPU system time (s): 0.800129
CPU usage (%): 109.539
Max. virtual memory (cumulated for all children) (KiB): 11082740
Max. memory (cumulated for all children) (KiB): 1058768
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 251.299
system time used= 0.800129
maximum resident set size= 1060816
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 181698
page faults= 0
swaps= 0
block input operations= 0
block output operations= 464
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 30807
involuntary context switches= 657
# summary of solver processes directly reported to runsolver:
# pid: 13415
# total CPU time (s): 252.099
# total CPU user time (s): 251.299
# total CPU system time (s): 0.800129
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.35506 second user time and 2.21984 second system time
The end