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 (10306 MiB free)
memory of node 1: 16384 MiB (10903 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4387132-1568291966/watcher-4387132-1568291966 -o /tmp/evaluation-result-4387132-1568291966/solver-4387132-1568291966 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node143-1568286551-1786 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=1596514678 HOME/instance-4387132-1568291966.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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
Current StackSize limit: 8192 KiB
solver pid=3448, runsolver pid=3445
[startup+0.100123 s]*
/proc/loadavg: 1.45 1.49 1.43 3/220 3505
/proc/meminfo: memFree=21713392/32770624 swapFree=67108848/67108860
[pid=3448] ppid=3445 vsize=9972712 memory=17076 CPUtime=0.09 cores=0,2,4,6
/proc/3448/stat : 3448 (java) S 3445 3448 466 0 -1 1077944320 4503 13453 0 0 1 0 5 3 20 0 6 0 405134042 10212057088 4269 33554432000 4194304 4196468 140725327266496 140725327249040 140523360116471 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 11243520 140725327268597 140725327271109 140725327271109 140725327273935 0
/proc/3448/statm: 2493178 4269 1935 1 0 2481616 0
[pid=3448/tid=3501] ppid=3445 vsize=9972712 memory=8514726395714820750 CPUtime=0.08 cores=0,2,4,6
/proc/3448/task/3501/stat : 3501 (java) R 3445 3448 466 0 -1 4202560 2348 13453 0 0 0 0 5 3 20 0 6 0 405134051 10212057088 4335 33554432000 4194304 4196468 140725327266496 140523331953232 140523344196958 0 4 0 16784584 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11243520 140725327268597 140725327271109 140725327271109 140725327273935 0
[pid=3448/tid=3502] ppid=3445 vsize=9972712 memory=-7025452035940392864 CPUtime=0.08 cores=0,2,4,6
/proc/3448/task/3502/stat : 3502 (java) S 3445 3448 466 0 -1 1077944384 1 13453 0 0 0 0 5 3 20 0 6 0 405134052 10212057088 4335 33554432000 4194304 4196468 140725327266496 140523364359312 140523360126677 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11243520 140725327268597 140725327271109 140725327271109 140725327273935 0
[pid=3448/tid=3503] ppid=3445 vsize=9972712 memory=140091343656576 CPUtime=0.08 cores=0,2,4,6
/proc/3448/task/3503/stat : 3503 (java) S 3445 3448 466 0 -1 1077944384 1 13453 0 0 0 0 5 3 20 0 6 0 405134052 10212057088 4335 33554432000 4194304 4196468 140725327266496 140523279178768 140523360126677 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11243520 140725327268597 140725327271109 140725327271109 140725327273935 0
[pid=3448/tid=3504] ppid=3445 vsize=9972712 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/3448/task/3504/stat : 3504 (java) S 3445 3448 466 0 -1 1077944384 1 13453 0 0 0 0 5 3 20 0 6 0 405134052 10212057088 4335 33554432000 4194304 4196468 140725327266496 140523278125968 140523360126677 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11243520 140725327268597 140725327271109 140725327271109 140725327273935 0
[pid=3448/tid=3505] ppid=3445 vsize=9972712 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/3448/task/3505/stat : 3505 (java) S 3445 3448 466 0 -1 1077944384 2 13453 0 0 0 0 5 3 20 0 6 0 405134052 10212057088 4335 33554432000 4194304 4196468 140725327266496 140522931542800 140523360126677 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11243520 140725327268597 140725327271109 140725327271109 140725327273935 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 17076 KiB
[startup+0.214273 s]*
/proc/loadavg: 1.45 1.49 1.43 3/229 3514
/proc/meminfo: memFree=21694396/32770624 swapFree=67108848/67108860
[pid=3448] ppid=3445 vsize=10818940 memory=39232 CPUtime=0.27 cores=0,2,4,6
/proc/3448/stat : 3448 (java) S 3445 3448 466 0 -1 1077944320 7145 13453 0 0 17 2 5 3 20 0 15 0 405134042 11078594560 9808 33554432000 4194304 4196468 140725327266496 140725327249040 140523360116471 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 11243520 140725327268597 140725327271109 140725327271109 140725327273935 0
/proc/3448/statm: 2704735 9808 2981 1 0 2667149 0
[pid=3448/tid=3501] ppid=3445 vsize=10818940 memory=7022364594140610616 CPUtime=0.2 cores=0,2,4,6
/proc/3448/task/3501/stat : 3501 (java) R 3445 3448 466 0 -1 4202560 3635 13453 0 0 11 1 5 3 20 0 15 0 405134051 11078594560 9808 33554432000 4194304 4196468 140725327266496 140523331949944 140523344196958 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11243520 140725327268597 140725327271109 140725327271109 140725327273935 0
[pid=3448/tid=3502] ppid=3445 vsize=10818940 memory=345 CPUtime=0.08 cores=0,2,4,6
/proc/3448/task/3502/stat : 3502 (java) S 3445 3448 466 0 -1 1077944384 1 13453 0 0 0 0 5 3 20 0 15 0 405134052 11078594560 9808 33554432000 4194304 4196468 140725327266496 140523364359312 140523360126677 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11243520 140725327268597 140725327271109 140725327271109 140725327273935 0
[pid=3448/tid=3503] ppid=3445 vsize=10818940 memory=140091343666275 CPUtime=0.08 cores=0,2,4,6
/proc/3448/task/3503/stat : 3503 (java) S 3445 3448 466 0 -1 1077944384 1 13453 0 0 0 0 5 3 20 0 15 0 405134052 11078594560 9808 33554432000 4194304 4196468 140725327266496 140523279178768 140523360126677 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11243520 140725327268597 140725327271109 140725327271109 140725327273935 0
[pid=3448/tid=3504] ppid=3445 vsize=10818940 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/3448/task/3504/stat : 3504 (java) S 3445 3448 466 0 -1 1077944384 1 13453 0 0 0 0 5 3 20 0 15 0 405134052 11078594560 9808 33554432000 4194304 4196468 140725327266496 140523278125968 140523360126677 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11243520 140725327268597 140725327271109 140725327271109 140725327273935 0
[pid=3448/tid=3505] ppid=3445 vsize=10818940 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/3448/task/3505/stat : 3505 (java) S 3445 3448 466 0 -1 1077944384 2 13453 0 0 0 0 5 3 20 0 15 0 405134052 11078594560 9808 33554432000 4194304 4196468 140725327266496 140522931542800 140523360126677 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11243520 140725327268597 140725327271109 140725327271109 140725327273935 0
[pid=3448/tid=3506] ppid=3445 vsize=10818940 memory=140091343656576 CPUtime=0.08 cores=0,2,4,6
/proc/3448/task/3506/stat : 3506 (java) S 3445 3448 466 0 -1 1077944384 2 13453 0 0 0 0 5 3 20 0 15 0 405134053 11078594560 9808 33554432000 4194304 4196468 140725327266496 140522886728048 140523360127618 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11243520 140725327268597 140725327271109 140725327271109 140725327273935 0
[pid=3448/tid=3507] ppid=3445 vsize=10818940 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/3448/task/3507/stat : 3507 (java) S 3445 3448 466 0 -1 1077944384 13 13453 0 0 0 0 5 3 20 0 15 0 405134054 11078594560 9808 33554432000 4194304 4196468 140725327266496 140522807092256 140523360126677 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11243520 140725327268597 140725327271109 140725327271109 140725327273935 0
[pid=3448/tid=3508] ppid=3445 vsize=10818940 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/3448/task/3508/stat : 3508 (java) S 3445 3448 466 0 -1 1077944384 1 13453 0 0 0 0 5 3 20 0 15 0 405134054 11078594560 9808 33554432000 4194304 4196468 140725327266496 140522203112304 140523360126677 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11243520 140725327268597 140725327271109 140725327271109 140725327273935 0
[pid=3448/tid=3509] ppid=3445 vsize=10818940 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/3448/task/3509/stat : 3509 (java) S 3445 3448 466 0 -1 1077944384 3 13453 0 0 0 0 5 3 20 0 15 0 405134056 11078594560 9808 33554432000 4194304 4196468 140725327266496 140521895712592 140523360135067 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11243520 140725327268597 140725327271109 140725327271109 140725327273935 0
[pid=3448/tid=3510] ppid=3445 vsize=10818940 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/3448/task/3510/stat : 3510 (java) S 3445 3448 466 0 -1 1077944384 476 13453 0 0 1 0 5 3 20 0 15 0 405134057 11078594560 9808 33554432000 4194304 4196468 140725327266496 140522885675888 140523360127618 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11243520 140725327268597 140725327271109 140725327271109 140725327273935 0
[pid=3448/tid=3511] ppid=3445 vsize=10818940 memory=-1 CPUtime=0.09 cores=0,2,4,6
/proc/3448/task/3511/stat : 3511 (java) S 3445 3448 466 0 -1 1077944384 161 13453 0 0 1 0 5 3 20 0 15 0 405134057 11078594560 9808 33554432000 4194304 4196468 140725327266496 140522884623088 140523360127618 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11243520 140725327268597 140725327271109 140725327271109 140725327273935 0
[pid=3448/tid=3512] ppid=3445 vsize=10818940 memory=140091343656576 CPUtime=0.11 cores=0,2,4,6
/proc/3448/task/3512/stat : 3512 (java) S 3445 3448 466 0 -1 1077944384 638 13453 0 0 3 0 5 3 20 0 15 0 405134057 11078594560 9808 33554432000 4194304 4196468 140725327266496 140522883570288 140523360127618 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11243520 140725327268597 140725327271109 140725327271109 140725327273935 0
[pid=3448/tid=3513] ppid=3445 vsize=10818940 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/3448/task/3513/stat : 3513 (java) S 3445 3448 466 0 -1 1077944384 3 13453 0 0 0 0 5 3 20 0 15 0 405134057 11078594560 9808 33554432000 4194304 4196468 140725327266496 140521862154976 140523360126677 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11243520 140725327268597 140725327271109 140725327271109 140725327273935 0
[pid=3448/tid=3514] ppid=3445 vsize=10818940 memory=140091343656576 CPUtime=0.08 cores=0,2,4,6
/proc/3448/task/3514/stat : 3514 (java) S 3445 3448 466 0 -1 1077944384 1 13453 0 0 0 0 5 3 20 0 15 0 405134057 11078594560 9808 33554432000 4194304 4196468 140725327266496 140522882517680 140523360127618 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11243520 140725327268597 140725327271109 140725327271109 140725327273935 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 10818940 KiB
Current children cumulated memory: 39232 KiB
[startup+0.310427 s]*
/proc/loadavg: 1.45 1.49 1.43 3/229 3514
/proc/meminfo: memFree=21684676/32770624 swapFree=67108848/67108860
[pid=3448] ppid=3445 vsize=10820096 memory=48468 CPUtime=0.4 cores=0,2,4,6
/proc/3448/stat : 3448 (java) S 3445 3448 466 0 -1 1077944320 10752 13453 0 0 29 3 5 3 20 0 15 0 405134042 11079778304 12117 33554432000 4194304 4196468 140725327266496 140725327249040 140523360116471 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 11243520 140725327268597 140725327271109 140725327271109 140725327273935 0
/proc/3448/statm: 2705024 12117 3232 1 0 2667149 0
[pid=3448/tid=3501] ppid=3445 vsize=10820096 memory=1398722017469774279 CPUtime=0.29 cores=0,2,4,6
/proc/3448/task/3501/stat : 3501 (java) R 3445 3448 466 0 -1 4202560 7229 13453 0 0 19 2 5 3 20 0 15 0 405134051 11079778304 12629 33554432000 4194304 4196468 140725327266496 140523331928144 140523360138397 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11243520 140725327268597 140725327271109 140725327271109 140725327273935 0
[pid=3448/tid=3502] ppid=3445 vsize=10820096 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/3448/task/3502/stat : 3502 (java) S 3445 3448 466 0 -1 1077944384 1 13453 0 0 0 0 5 3 20 0 15 0 405134052 11079778304 12629 33554432000 4194304 4196468 140725327266496 140523364359312 140523360126677 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11243520 140725327268597 140725327271109 140725327271109 140725327273935 0
[pid=3448/tid=3503] ppid=3445 vsize=10820096 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/3448/task/3503/stat : 3503 (java) S 3445 3448 466 0 -1 1077944384 1 13453 0 0 0 0 5 3 20 0 15 0 405134052 11079778304 12629 33554432000 4194304 4196468 140725327266496 140523279178768 140523360126677 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11243520 140725327268597 140725327271109 140725327271109 140725327273935 0
[pid=3448/tid=3504] ppid=3445 vsize=10820096 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/3448/task/3504/stat : 3504 (java) S 3445 3448 466 0 -1 1077944384 1 13453 0 0 0 0 5 3 20 0 15 0 405134052 11079778304 12629 33554432000 4194304 4196468 140725327266496 140523278125968 140523360126677 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11243520 140725327268597 140725327271109 140725327271109 140725327273935 0
[pid=3448/tid=3505] ppid=3445 vsize=10820096 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/3448/task/3505/stat : 3505 (java) S 3445 3448 466 0 -1 1077944384 2 13453 0 0 0 0 5 3 20 0 15 0 405134052 11079778304 12629 33554432000 4194304 4196468 140725327266496 140522931542800 140523360126677 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11243520 140725327268597 140725327271109 140725327271109 140725327273935 0
[pid=3448/tid=3506] ppid=3445 vsize=10820096 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/3448/task/3506/stat : 3506 (java) S 3445 3448 466 0 -1 1077944384 2 13453 0 0 0 0 5 3 20 0 15 0 405134053 11079778304 12629 33554432000 4194304 4196468 140725327266496 140522886728048 140523360127618 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11243520 140725327268597 140725327271109 140725327271109 140725327273935 0
[pid=3448/tid=3507] ppid=3445 vsize=10820096 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/3448/task/3507/stat : 3507 (java) S 3445 3448 466 0 -1 1077944384 13 13453 0 0 0 0 5 3 20 0 15 0 405134054 11079778304 12629 33554432000 4194304 4196468 140725327266496 140522807092256 140523360126677 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11243520 140725327268597 140725327271109 140725327271109 140725327273935 0
[pid=3448/tid=3508] ppid=3445 vsize=10820096 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/3448/task/3508/stat : 3508 (java) S 3445 3448 466 0 -1 1077944384 1 13453 0 0 0 0 5 3 20 0 15 0 405134054 11079778304 12629 33554432000 4194304 4196468 140725327266496 140522203112304 140523360126677 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11243520 140725327268597 140725327271109 140725327271109 140725327273935 0
[pid=3448/tid=3509] ppid=3445 vsize=10820096 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/3448/task/3509/stat : 3509 (java) S 3445 3448 466 0 -1 1077944384 3 13453 0 0 0 0 5 3 20 0 15 0 405134056 11079778304 12629 33554432000 4194304 4196468 140725327266496 140521895712592 140523360135067 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11243520 140725327268597 140725327271109 140725327271109 140725327273935 0
[pid=3448/tid=3510] ppid=3445 vsize=10820096 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/3448/task/3510/stat : 3510 (java) S 3445 3448 466 0 -1 1077944384 477 13453 0 0 1 0 5 3 20 0 15 0 405134057 11079778304 12629 33554432000 4194304 4196468 140725327266496 140522885675888 140523360127618 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11243520 140725327268597 140725327271109 140725327271109 140725327273935 0
[pid=3448/tid=3511] ppid=3445 vsize=10820096 memory=-1 CPUtime=0.1 cores=0,2,4,6
/proc/3448/task/3511/stat : 3511 (java) S 3445 3448 466 0 -1 1077944384 162 13453 0 0 2 0 5 3 20 0 15 0 405134057 11079778304 12629 33554432000 4194304 4196468 140725327266496 140522884623088 140523360127618 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11243520 140725327268597 140725327271109 140725327271109 140725327273935 0
[pid=3448/tid=3512] ppid=3445 vsize=10820096 memory=140091343656576 CPUtime=0.13 cores=0,2,4,6
/proc/3448/task/3512/stat : 3512 (java) S 3445 3448 466 0 -1 1077944384 647 13453 0 0 5 0 5 3 20 0 15 0 405134057 11079778304 12629 33554432000 4194304 4196468 140725327266496 140522883570288 140523360127618 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11243520 140725327268597 140725327271109 140725327271109 140725327273935 0
[pid=3448/tid=3513] ppid=3445 vsize=10820096 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/3448/task/3513/stat : 3513 (java) S 3445 3448 466 0 -1 1077944384 3 13453 0 0 0 0 5 3 20 0 15 0 405134057 11079778304 12629 33554432000 4194304 4196468 140725327266496 140521862154976 140523360126677 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11243520 140725327268597 140725327271109 140725327271109 140725327273935 0
[pid=3448/tid=3514] ppid=3445 vsize=10820096 memory=140091343656576 CPUtime=0.08 cores=0,2,4,6
/proc/3448/task/3514/stat : 3514 (java) S 3445 3448 466 0 -1 1077944384 1 13453 0 0 0 0 5 3 20 0 15 0 405134057 11079778304 12629 33554432000 4194304 4196468 140725327266496 140522882517680 140523360127618 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11243520 140725327268597 140725327271109 140725327271109 140725327273935 0
Current children cumulated CPU time: 0.4 s
Current children cumulated vsize: 10820096 KiB
Current children cumulated memory: 48468 KiB
[startup+0.700796 s]
/proc/loadavg: 1.45 1.49 1.43 5/229 3514
/proc/meminfo: memFree=21672964/32770624 swapFree=67108848/67108860
[pid=3448] ppid=3445 vsize=10824340 memory=80272 CPUtime=1.13 cores=0,2,4,6
/proc/3448/stat : 3448 (java) S 3445 3448 466 0 -1 1077944320 14811 13453 0 0 99 6 5 3 20 0 15 0 405134042 11084124160 20068 33554432000 4194304 4196468 140725327266496 140725327249040 140523360116471 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 11243520 140725327268597 140725327271109 140725327271109 140725327273935 0
/proc/3448/statm: 2706085 20068 3492 1 0 2668173 0
[pid=3448/tid=3501] ppid=3445 vsize=10824340 memory=0 CPUtime=0.66 cores=0,2,4,6
/proc/3448/task/3501/stat : 3501 (java) R 3445 3448 466 0 -1 4202560 10497 13453 0 0 54 4 5 3 20 0 15 0 405134051 11084124160 20068 33554432000 4194304 4196468 140725327266496 140523331939376 140523360138397 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11243520 140725327268597 140725327271109 140725327271109 140725327273935 0
[pid=3448/tid=3502] ppid=3445 vsize=10824340 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/3448/task/3502/stat : 3502 (java) S 3445 3448 466 0 -1 1077944384 1 13453 0 0 0 0 5 3 20 0 15 0 405134052 11084124160 20068 33554432000 4194304 4196468 140725327266496 140523364359312 140523360126677 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11243520 140725327268597 140725327271109 140725327271109 140725327273935 0
[pid=3448/tid=3503] ppid=3445 vsize=10824340 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/3448/task/3503/stat : 3503 (java) S 3445 3448 466 0 -1 1077944384 1 13453 0 0 0 0 5 3 20 0 15 0 405134052 11084124160 20068 33554432000 4194304 4196468 140725327266496 140523279178768 140523360126677 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11243520 140725327268597 140725327271109 140725327271109 140725327273935 0
[pid=3448/tid=3504] ppid=3445 vsize=10824340 memory=140091230138576 CPUtime=0.08 cores=0,2,4,6
/proc/3448/task/3504/stat : 3504 (java) S 3445 3448 466 0 -1 1077944384 1 13453 0 0 0 0 5 3 20 0 15 0 405134052 11084124160 20068 33554432000 4194304 4196468 140725327266496 140523278125968 140523360126677 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11243520 140725327268597 140725327271109 140725327271109 140725327273935 0
[pid=3448/tid=3505] ppid=3445 vsize=10824340 memory=140093243261522 CPUtime=0.08 cores=0,2,4,6
/proc/3448/task/3505/stat : 3505 (java) S 3445 3448 466 0 -1 1077944384 2 13453 0 0 0 0 5 3 20 0 15 0 405134052 11084124160 20068 33554432000 4194304 4196468 140725327266496 140522931542800 140523360126677 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11243520 140725327268597 140725327271109 140725327271109 140725327273935 0
[pid=3448/tid=3506] ppid=3445 vsize=10824340 memory=1840 CPUtime=0.08 cores=0,2,4,6
/proc/3448/task/3506/stat : 3506 (java) S 3445 3448 466 0 -1 1077944384 5 13453 0 0 0 0 5 3 20 0 15 0 405134053 11084124160 20068 33554432000 4194304 4196468 140725327266496 140522886728048 140523360127618 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11243520 140725327268597 140725327271109 140725327271109 140725327273935 0
[pid=3448/tid=3507] ppid=3445 vsize=10824340 memory=7302135314614015849 CPUtime=0.08 cores=0,2,4,6
/proc/3448/task/3507/stat : 3507 (java) S 3445 3448 466 0 -1 1077944384 13 13453 0 0 0 0 5 3 20 0 15 0 405134054 11084124160 20068 33554432000 4194304 4196468 140725327266496 140522807092256 140523360126677 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11243520 140725327268597 140725327271109 140725327271109 140725327273935 0
[pid=3448/tid=3508] ppid=3445 vsize=10824340 memory=6010179516970067026 CPUtime=0.08 cores=0,2,4,6
/proc/3448/task/3508/stat : 3508 (java) S 3445 3448 466 0 -1 1077944384 1 13453 0 0 0 0 5 3 20 0 15 0 405134054 11084124160 20068 33554432000 4194304 4196468 140725327266496 140522203112304 140523360126677 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11243520 140725327268597 140725327271109 140725327271109 140725327273935 0
[pid=3448/tid=3509] ppid=3445 vsize=10824340 memory=1100 CPUtime=0.08 cores=0,2,4,6
/proc/3448/task/3509/stat : 3509 (java) S 3445 3448 466 0 -1 1077944384 3 13453 0 0 0 0 5 3 20 0 15 0 405134056 11084124160 20068 33554432000 4194304 4196468 140725327266496 140521895712592 140523360135067 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11243520 140725327268597 140725327271109 140725327271109 140725327273935 0
[pid=3448/tid=3510] ppid=3445 vsize=10824340 memory=15208 CPUtime=0.19 cores=0,2,4,6
/proc/3448/task/3510/stat : 3510 (java) S 3445 3448 466 0 -1 1077944384 698 13453 0 0 11 0 5 3 20 0 15 0 405134057 11084124160 20068 33554432000 4194304 4196468 140725327266496 140522885675888 140523360127618 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11243520 140725327268597 140725327271109 140725327271109 140725327273935 0
[pid=3448/tid=3511] ppid=3445 vsize=10824340 memory=22884 CPUtime=0.23 cores=0,2,4,6
/proc/3448/task/3511/stat : 3511 (java) S 3445 3448 466 0 -1 1077944384 559 13453 0 0 15 0 5 3 20 0 15 0 405134057 11084124160 20068 33554432000 4194304 4196468 140725327266496 140522884623088 140523360127618 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11243520 140725327268597 140725327271109 140725327271109 140725327273935 0
[pid=3448/tid=3512] ppid=3445 vsize=10824340 memory=4048 CPUtime=0.25 cores=0,2,4,6
/proc/3448/task/3512/stat : 3512 (java) S 3445 3448 466 0 -1 1077944384 816 13453 0 0 17 0 5 3 20 0 15 0 405134057 11084124160 20068 33554432000 4194304 4196468 140725327266496 140522883570288 140523360127618 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11243520 140725327268597 140725327271109 140725327271109 140725327273935 0
[pid=3448/tid=3513] ppid=3445 vsize=10824340 memory=14288 CPUtime=0.08 cores=0,2,4,6
/proc/3448/task/3513/stat : 3513 (java) S 3445 3448 466 0 -1 1077944384 3 13453 0 0 0 0 5 3 20 0 15 0 405134057 11084124160 20068 33554432000 4194304 4196468 140725327266496 140521862154976 140523360126677 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11243520 140725327268597 140725327271109 140725327271109 140725327273935 0
[pid=3448/tid=3514] ppid=3445 vsize=10824340 memory=504 CPUtime=0.08 cores=0,2,4,6
/proc/3448/task/3514/stat : 3514 (java) S 3445 3448 466 0 -1 1077944384 1 13453 0 0 0 0 5 3 20 0 15 0 405134057 11084124160 20068 33554432000 4194304 4196468 140725327266496 140522882517680 140523360127618 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11243520 140725327268597 140725327271109 140725327271109 140725327273935 0
Current children cumulated CPU time: 1.13 s
Current children cumulated vsize: 10824340 KiB
Current children cumulated memory: 80272 KiB
[startup+1.50072 s]
/proc/loadavg: 1.45 1.49 1.43 5/229 3514
/proc/meminfo: memFree=21555568/32770624 swapFree=67108848/67108860
[pid=3448] ppid=3445 vsize=10826464 memory=380656 CPUtime=3.05 cores=0,2,4,6
/proc/3448/stat : 3448 (java) S 3445 3448 466 0 -1 1077944320 17651 13453 0 0 280 17 5 3 20 0 15 0 405134042 11086299136 95164 33554432000 4194304 4196468 140725327266496 140725327249040 140523360116471 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 11243520 140725327268597 140725327271109 140725327271109 140725327273935 0
/proc/3448/statm: 2706616 95164 3573 1 0 2668685 0
[pid=3448/tid=3501] ppid=3445 vsize=10826464 memory=1398722017469774279 CPUtime=1.41 cores=0,2,4,6
/proc/3448/task/3501/stat : 3501 (java) R 3445 3448 466 0 -1 4202560 11451 13453 0 0 123 10 5 3 20 0 15 0 405134051 11086299136 95164 33554432000 4194304 4196468 140725327266496 140523331952136 140523360128406 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11243520 140725327268597 140725327271109 140725327271109 140725327273935 0
[pid=3448/tid=3502] ppid=3445 vsize=10826464 memory=4126316290023845779 CPUtime=0.12 cores=0,2,4,6
/proc/3448/task/3502/stat : 3502 (java) S 3445 3448 466 0 -1 1077944384 86 13453 0 0 3 1 5 3 20 0 15 0 405134052 11086299136 95164 33554432000 4194304 4196468 140725327266496 140523364359312 140523360126677 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11243520 140725327268597 140725327271109 140725327271109 140725327273935 0
[pid=3448/tid=3503] ppid=3445 vsize=10826464 memory=280182460309472 CPUtime=0.1 cores=0,2,4,6
/proc/3448/task/3503/stat : 3503 (java) S 3445 3448 466 0 -1 1077944384 37 13453 0 0 2 0 5 3 20 0 15 0 405134052 11086299136 95164 33554432000 4194304 4196468 140725327266496 140523279178768 140523360126677 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11243520 140725327268597 140725327271109 140725327271109 140725327273935 0
[pid=3448/tid=3504] ppid=3445 vsize=10826464 memory=0 CPUtime=0.11 cores=0,2,4,6
/proc/3448/task/3504/stat : 3504 (java) S 3445 3448 466 0 -1 1077944384 271 13453 0 0 2 1 5 3 20 0 15 0 405134052 11086299136 95164 33554432000 4194304 4196468 140725327266496 140523278125968 140523360126677 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11243520 140725327268597 140725327271109 140725327271109 140725327273935 0
[pid=3448/tid=3505] ppid=3445 vsize=10826464 memory=0 CPUtime=0.1 cores=0,2,4,6
/proc/3448/task/3505/stat : 3505 (java) S 3445 3448 466 0 -1 1077944384 87 13453 0 0 1 1 5 3 20 0 15 0 405134052 11086299136 95164 33554432000 4194304 4196468 140725327266496 140522931542800 140523360126677 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11243520 140725327268597 140725327271109 140725327271109 140725327273935 0
[pid=3448/tid=3506] ppid=3445 vsize=10826464 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/3448/task/3506/stat : 3506 (java) S 3445 3448 466 0 -1 1077944384 86 13453 0 0 0 0 5 3 20 0 15 0 405134053 11086299136 95164 33554432000 4194304 4196468 140725327266496 140522886728048 140523360127618 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11243520 140725327268597 140725327271109 140725327271109 140725327273935 0
[pid=3448/tid=3507] ppid=3445 vsize=10826464 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/3448/task/3507/stat : 3507 (java) S 3445 3448 466 0 -1 1077944384 13 13453 0 0 0 0 5 3 20 0 15 0 405134054 11086299136 95164 33554432000 4194304 4196468 140725327266496 140522807092320 140523360126677 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11243520 140725327268597 140725327271109 140725327271109 140725327273935 0
[pid=3448/tid=3508] ppid=3445 vsize=10826464 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/3448/task/3508/stat : 3508 (java) S 3445 3448 466 0 -1 1077944384 1 13453 0 0 0 0 5 3 20 0 15 0 405134054 11086299136 95164 33554432000 4194304 4196468 140725327266496 140522203112320 140523360126677 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11243520 140725327268597 140725327271109 140725327271109 140725327273935 0
[pid=3448/tid=3509] ppid=3445 vsize=10826464 memory=33 CPUtime=0.08 cores=0,2,4,6
/proc/3448/task/3509/stat : 3509 (java) S 3445 3448 466 0 -1 1077944384 3 13453 0 0 0 0 5 3 20 0 15 0 405134056 11086299136 95164 33554432000 4194304 4196468 140725327266496 140521895712592 140523360135067 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11243520 140725327268597 140725327271109 140725327271109 140725327273935 0
[pid=3448/tid=3510] ppid=3445 vsize=10826464 memory=7163088896867331173 CPUtime=0.61 cores=0,2,4,6
/proc/3448/task/3510/stat : 3510 (java) S 3445 3448 466 0 -1 1077944384 1177 13453 0 0 53 0 5 3 20 0 15 0 405134057 11086299136 95164 33554432000 4194304 4196468 140725327266496 140522885675888 140523360127618 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11243520 140725327268597 140725327271109 140725327271109 140725327273935 0
[pid=3448/tid=3511] ppid=3445 vsize=10826464 memory=4639948313719891052 CPUtime=0.68 cores=0,2,4,6
/proc/3448/task/3511/stat : 3511 (java) S 3445 3448 466 0 -1 1077944384 1063 13453 0 0 60 0 5 3 20 0 15 0 405134057 11086299136 95164 33554432000 4194304 4196468 140725327266496 140522884623088 140523360127618 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11243520 140725327268597 140725327271109 140725327271109 140725327273935 0
[pid=3448/tid=3512] ppid=3445 vsize=10826464 memory=8112282956445269571 CPUtime=0.39 cores=0,2,4,6
/proc/3448/task/3512/stat : 3512 (java) S 3445 3448 466 0 -1 1077944384 1163 13453 0 0 31 0 5 3 20 0 15 0 405134057 11086299136 95164 33554432000 4194304 4196468 140725327266496 140522883570288 140523360127618 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11243520 140725327268597 140725327271109 140725327271109 140725327273935 0
[pid=3448/tid=3513] ppid=3445 vsize=10826464 memory=7660992747008971605 CPUtime=0.08 cores=0,2,4,6
/proc/3448/task/3513/stat : 3513 (java) S 3445 3448 466 0 -1 1077944384 3 13453 0 0 0 0 5 3 20 0 15 0 405134057 11086299136 95164 33554432000 4194304 4196468 140725327266496 140521862154976 140523360126677 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11243520 140725327268597 140725327271109 140725327271109 140725327273935 0
[pid=3448/tid=3514] ppid=3445 vsize=10826464 memory=280182460553552 CPUtime=0.08 cores=0,2,4,6
/proc/3448/task/3514/stat : 3514 (java) S 3445 3448 466 0 -1 1077944384 1 13453 0 0 0 0 5 3 20 0 15 0 405134057 11086299136 95164 33554432000 4194304 4196468 140725327266496 140522882517680 140523360127618 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11243520 140725327268597 140725327271109 140725327271109 140725327273935 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 10826464 KiB
################
# More data... #
################
[startup+13.7969 s]
# the end of solver process 3448 was just reported to runsolver
# cumulated CPU time of all completed processes: user=21.5513 s, system=1.32011 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+12.8009 s]
/proc/loadavg: 1.61 1.52 1.44 3/229 3514
/proc/meminfo: memFree=18967204/32770624 swapFree=67108848/67108860
[pid=3448] ppid=3445 vsize=10844916 memory=2788972 CPUtime=21.71 cores=0,2,4,6
/proc/3448/stat : 3448 (java) S 3445 3448 466 0 -1 1077944320 55689 13453 0 0 2037 126 5 3 20 0 15 0 405134042 11105193984 697243 33554432000 4194304 4196468 140725327266496 140725327249040 140523360116471 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 11243520 140725327268597 140725327271109 140725327271109 140725327273935 0
/proc/3448/statm: 2711229 697243 3615 1 0 2673293 0
[pid=3448/tid=3501] ppid=3445 vsize=10844916 memory=8112282956445269571 CPUtime=11.93 cores=0,2,4,6
/proc/3448/task/3501/stat : 3501 (java) R 3445 3448 466 0 -1 4202560 25035 13453 0 0 1144 41 5 3 20 0 15 0 405134051 11105193984 697243 33554432000 4194304 4196468 140725327266496 140523331952160 140522958171892 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11243520 140725327268597 140725327271109 140725327271109 140725327273935 0
[pid=3448/tid=3502] ppid=3445 vsize=10844916 memory=32 CPUtime=0.71 cores=0,2,4,6
/proc/3448/task/3502/stat : 3502 (java) S 3445 3448 466 0 -1 1077944384 761 13453 0 0 46 17 5 3 20 0 15 0 405134052 11105193984 697243 33554432000 4194304 4196468 140725327266496 140523364359312 140523360126677 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11243520 140725327268597 140725327271109 140725327271109 140725327273935 0
[pid=3448/tid=3503] ppid=3445 vsize=10844916 memory=0 CPUtime=0.68 cores=0,2,4,6
/proc/3448/task/3503/stat : 3503 (java) S 3445 3448 466 0 -1 1077944384 832 13453 0 0 42 18 5 3 20 0 15 0 405134052 11105193984 697243 33554432000 4194304 4196468 140725327266496 140523279178768 140523360126677 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11243520 140725327268597 140725327271109 140725327271109 140725327273935 0
[pid=3448/tid=3504] ppid=3445 vsize=10844916 memory=0 CPUtime=0.72 cores=0,2,4,6
/proc/3448/task/3504/stat : 3504 (java) S 3445 3448 466 0 -1 1077944384 977 13453 0 0 46 18 5 3 20 0 15 0 405134052 11105193984 697243 33554432000 4194304 4196468 140725327266496 140523278125968 140523360126677 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11243520 140725327268597 140725327271109 140725327271109 140725327273935 0
[pid=3448/tid=3505] ppid=3445 vsize=10844916 memory=0 CPUtime=0.67 cores=0,2,4,6
/proc/3448/task/3505/stat : 3505 (java) S 3445 3448 466 0 -1 1077944384 1492 13453 0 0 40 19 5 3 20 0 15 0 405134052 11105193984 697243 33554432000 4194304 4196468 140725327266496 140522931542800 140523360126677 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11243520 140725327268597 140725327271109 140725327271109 140725327273935 0
[pid=3448/tid=3506] ppid=3445 vsize=10844916 memory=0 CPUtime=0.23 cores=0,2,4,6
/proc/3448/task/3506/stat : 3506 (java) S 3445 3448 466 0 -1 1077944384 3522 13453 0 0 15 0 5 3 20 0 15 0 405134053 11105193984 697243 33554432000 4194304 4196468 140725327266496 140522886728048 140523360127618 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11243520 140725327268597 140725327271109 140725327271109 140725327273935 0
[pid=3448/tid=3507] ppid=3445 vsize=10844916 memory=280182460214752 CPUtime=0.08 cores=0,2,4,6
/proc/3448/task/3507/stat : 3507 (java) S 3445 3448 466 0 -1 1077944384 15 13453 0 0 0 0 5 3 20 0 15 0 405134054 11105193984 697243 33554432000 4194304 4196468 140725327266496 140522807092320 140523360126677 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11243520 140725327268597 140725327271109 140725327271109 140725327273935 0
[pid=3448/tid=3508] ppid=3445 vsize=10844916 memory=154885110635310 CPUtime=0.08 cores=0,2,4,6
/proc/3448/task/3508/stat : 3508 (java) S 3445 3448 466 0 -1 1077944384 1 13453 0 0 0 0 5 3 20 0 15 0 405134054 11105193984 697243 33554432000 4194304 4196468 140725327266496 140522203112320 140523360126677 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11243520 140725327268597 140725327271109 140725327271109 140725327273935 0
[pid=3448/tid=3509] ppid=3445 vsize=10844916 memory=154885110635311 CPUtime=0.08 cores=0,2,4,6
/proc/3448/task/3509/stat : 3509 (java) S 3445 3448 466 0 -1 1077944384 3 13453 0 0 0 0 5 3 20 0 15 0 405134056 11105193984 697243 33554432000 4194304 4196468 140725327266496 140521895712592 140523360135067 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11243520 140725327268597 140725327271109 140725327271109 140725327273935 0
[pid=3448/tid=3510] ppid=3445 vsize=10844916 memory=4540 CPUtime=2.79 cores=0,2,4,6
/proc/3448/task/3510/stat : 3510 (java) S 3445 3448 466 0 -1 1077944384 6419 13453 0 0 268 3 5 3 20 0 15 0 405134057 11105193984 697243 33554432000 4194304 4196468 140725327266496 140522885675888 140523360127618 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11243520 140725327268597 140725327271109 140725327271109 140725327273935 0
[pid=3448/tid=3511] ppid=3445 vsize=10844916 memory=752 CPUtime=2.94 cores=0,2,4,6
/proc/3448/task/3511/stat : 3511 (java) S 3445 3448 466 0 -1 1077944384 8477 13453 0 0 285 1 5 3 20 0 15 0 405134057 11105193984 697243 33554432000 4194304 4196468 140725327266496 140522884623088 140523360127618 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11243520 140725327268597 140725327271109 140725327271109 140725327273935 0
[pid=3448/tid=3512] ppid=3445 vsize=10844916 memory=1636 CPUtime=1.56 cores=0,2,4,6
/proc/3448/task/3512/stat : 3512 (java) R 3445 3448 466 0 -1 4202560 5879 13453 0 0 146 2 5 3 20 0 15 0 405134057 11105193984 697243 33554432000 4194304 4196468 140725327266496 140522883570288 140523338267308 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11243520 140725327268597 140725327271109 140725327271109 140725327273935 0
[pid=3448/tid=3513] ppid=3445 vsize=10844916 memory=812 CPUtime=0.08 cores=0,2,4,6
/proc/3448/task/3513/stat : 3513 (java) S 3445 3448 466 0 -1 1077944384 3 13453 0 0 0 0 5 3 20 0 15 0 405134057 11105193984 697243 33554432000 4194304 4196468 140725327266496 140521862154976 140523360126677 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11243520 140725327268597 140725327271109 140725327271109 140725327273935 0
[pid=3448/tid=3514] ppid=3445 vsize=10844916 memory=1840 CPUtime=0.08 cores=0,2,4,6
/proc/3448/task/3514/stat : 3514 (java) S 3445 3448 466 0 -1 1077944384 63 13453 0 0 0 0 5 3 20 0 15 0 405134057 11105193984 697243 33554432000 4194304 4196468 140725327266496 140522882517680 140523360127618 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11243520 140725327268597 140725327271109 140725327271109 140725327273935 0
Current children cumulated CPU time: 21.71 s
Current children cumulated vsize: 10844916 KiB
Current children cumulated memory: 2788972 KiB
[startup+13.2006 s]
/proc/loadavg: 1.61 1.52 1.44 3/229 3514
/proc/meminfo: memFree=18967688/32770624 swapFree=67108848/67108860
[pid=3448] ppid=3445 vsize=10844916 memory=2789516 CPUtime=22.16 cores=0,2,4,6
/proc/3448/stat : 3448 (java) S 3445 3448 466 0 -1 1077944320 55850 13453 0 0 2082 126 5 3 20 0 15 0 405134042 11105193984 697379 33554432000 4194304 4196468 140725327266496 140725327249040 140523360116471 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 11243520 140725327268597 140725327271109 140725327271109 140725327273935 0
/proc/3448/statm: 2711229 697379 3615 1 0 2673293 0
[pid=3448/tid=3501] ppid=3445 vsize=10844916 memory=0 CPUtime=12.33 cores=0,2,4,6
/proc/3448/task/3501/stat : 3501 (java) R 3445 3448 466 0 -1 4202560 25060 13453 0 0 1184 41 5 3 20 0 15 0 405134051 11105193984 697379 33554432000 4194304 4196468 140725327266496 140523331948288 140522970097631 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11243520 140725327268597 140725327271109 140725327271109 140725327273935 0
[pid=3448/tid=3502] ppid=3445 vsize=10844916 memory=0 CPUtime=0.71 cores=0,2,4,6
/proc/3448/task/3502/stat : 3502 (java) S 3445 3448 466 0 -1 1077944384 761 13453 0 0 46 17 5 3 20 0 15 0 405134052 11105193984 697379 33554432000 4194304 4196468 140725327266496 140523364359312 140523360126677 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11243520 140725327268597 140725327271109 140725327271109 140725327273935 0
[pid=3448/tid=3503] ppid=3445 vsize=10844916 memory=7679937539659563834 CPUtime=0.68 cores=0,2,4,6
/proc/3448/task/3503/stat : 3503 (java) S 3445 3448 466 0 -1 1077944384 832 13453 0 0 42 18 5 3 20 0 15 0 405134052 11105193984 697379 33554432000 4194304 4196468 140725327266496 140523279178768 140523360126677 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11243520 140725327268597 140725327271109 140725327271109 140725327273935 0
[pid=3448/tid=3504] ppid=3445 vsize=10844916 memory=1329904169539632232 CPUtime=0.72 cores=0,2,4,6
/proc/3448/task/3504/stat : 3504 (java) S 3445 3448 466 0 -1 1077944384 977 13453 0 0 46 18 5 3 20 0 15 0 405134052 11105193984 697379 33554432000 4194304 4196468 140725327266496 140523278125968 140523360126677 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11243520 140725327268597 140725327271109 140725327271109 140725327273935 0
[pid=3448/tid=3505] ppid=3445 vsize=10844916 memory=7882834749540411979 CPUtime=0.67 cores=0,2,4,6
/proc/3448/task/3505/stat : 3505 (java) S 3445 3448 466 0 -1 1077944384 1492 13453 0 0 40 19 5 3 20 0 15 0 405134052 11105193984 697379 33554432000 4194304 4196468 140725327266496 140522931542800 140523360126677 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11243520 140725327268597 140725327271109 140725327271109 140725327273935 0
[pid=3448/tid=3506] ppid=3445 vsize=10844916 memory=7822038051842261661 CPUtime=0.23 cores=0,2,4,6
/proc/3448/task/3506/stat : 3506 (java) S 3445 3448 466 0 -1 1077944384 3522 13453 0 0 15 0 5 3 20 0 15 0 405134053 11105193984 697379 33554432000 4194304 4196468 140725327266496 140522886728048 140523360127618 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11243520 140725327268597 140725327271109 140725327271109 140725327273935 0
[pid=3448/tid=3507] ppid=3445 vsize=10844916 memory=288230574492221466 CPUtime=0.08 cores=0,2,4,6
/proc/3448/task/3507/stat : 3507 (java) S 3445 3448 466 0 -1 1077944384 15 13453 0 0 0 0 5 3 20 0 15 0 405134054 11105193984 697379 33554432000 4194304 4196468 140725327266496 140522807092320 140523360126677 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11243520 140725327268597 140725327271109 140725327271109 140725327273935 0
[pid=3448/tid=3508] ppid=3445 vsize=10844916 memory=288230583166042426 CPUtime=0.08 cores=0,2,4,6
/proc/3448/task/3508/stat : 3508 (java) S 3445 3448 466 0 -1 1077944384 1 13453 0 0 0 0 5 3 20 0 15 0 405134054 11105193984 697379 33554432000 4194304 4196468 140725327266496 140522203112320 140523360126677 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11243520 140725327268597 140725327271109 140725327271109 140725327273935 0
[pid=3448/tid=3509] ppid=3445 vsize=10844916 memory=13854062080689923 CPUtime=0.08 cores=0,2,4,6
/proc/3448/task/3509/stat : 3509 (java) S 3445 3448 466 0 -1 1077944384 3 13453 0 0 0 0 5 3 20 0 15 0 405134056 11105193984 697379 33554432000 4194304 4196468 140725327266496 140521895712592 140523360135067 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11243520 140725327268597 140725327271109 140725327271109 140725327273935 0
[pid=3448/tid=3510] ppid=3445 vsize=10844916 memory=8 CPUtime=2.8 cores=0,2,4,6
/proc/3448/task/3510/stat : 3510 (java) S 3445 3448 466 0 -1 1077944384 6419 13453 0 0 269 3 5 3 20 0 15 0 405134057 11105193984 697379 33554432000 4194304 4196468 140725327266496 140522885675888 140523360127618 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11243520 140725327268597 140725327271109 140725327271109 140725327273935 0
[pid=3448/tid=3511] ppid=3445 vsize=10844916 memory=8 CPUtime=2.95 cores=0,2,4,6
/proc/3448/task/3511/stat : 3511 (java) S 3445 3448 466 0 -1 1077944384 8478 13453 0 0 286 1 5 3 20 0 15 0 405134057 11105193984 697379 33554432000 4194304 4196468 140725327266496 140522884623088 140523360127618 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11243520 140725327268597 140725327271109 140725327271109 140725327273935 0
[pid=3448/tid=3512] ppid=3445 vsize=10844916 memory=8 CPUtime=1.6 cores=0,2,4,6
/proc/3448/task/3512/stat : 3512 (java) S 3445 3448 466 0 -1 1077944384 6014 13453 0 0 149 3 5 3 20 0 15 0 405134057 11105193984 697379 33554432000 4194304 4196468 140725327266496 140522883570288 140523360127618 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11243520 140725327268597 140725327271109 140725327271109 140725327273935 0
[pid=3448/tid=3513] ppid=3445 vsize=10844916 memory=8 CPUtime=0.08 cores=0,2,4,6
/proc/3448/task/3513/stat : 3513 (java) S 3445 3448 466 0 -1 1077944384 3 13453 0 0 0 0 5 3 20 0 15 0 405134057 11105193984 697379 33554432000 4194304 4196468 140725327266496 140521862154976 140523360126677 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11243520 140725327268597 140725327271109 140725327271109 140725327273935 0
[pid=3448/tid=3514] ppid=3445 vsize=10844916 memory=8 CPUtime=0.08 cores=0,2,4,6
/proc/3448/task/3514/stat : 3514 (java) S 3445 3448 466 0 -1 1077944384 63 13453 0 0 0 0 5 3 20 0 15 0 405134057 11105193984 697379 33554432000 4194304 4196468 140725327266496 140522882517680 140523360127618 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11243520 140725327268597 140725327271109 140725327271109 140725327273935 0
Current children cumulated CPU time: 22.16 s
Current children cumulated vsize: 10844916 KiB
Current children cumulated memory: 2789516 KiB
[startup+13.6006 s]
/proc/loadavg: 1.61 1.52 1.44 3/229 3514
/proc/meminfo: memFree=18967688/32770624 swapFree=67108848/67108860
[pid=3448] ppid=3445 vsize=10844916 memory=2789988 CPUtime=22.61 cores=0,2,4,6
/proc/3448/stat : 3448 (java) S 3445 3448 466 0 -1 1077944320 56013 13453 0 0 2127 126 5 3 20 0 15 0 405134042 11105193984 697497 33554432000 4194304 4196468 140725327266496 140725327249040 140523360116471 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 11243520 140725327268597 140725327271109 140725327271109 140725327273935 0
/proc/3448/statm: 2711229 697497 3615 1 0 2673293 0
[pid=3448/tid=3501] ppid=3445 vsize=10844916 memory=0 CPUtime=12.73 cores=0,2,4,6
/proc/3448/task/3501/stat : 3501 (java) R 3445 3448 466 0 -1 4202560 25088 13453 0 0 1224 41 5 3 20 0 15 0 405134051 11105193984 697497 33554432000 4194304 4196468 140725327266496 140523331948288 140522968852943 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11243520 140725327268597 140725327271109 140725327271109 140725327273935 0
[pid=3448/tid=3502] ppid=3445 vsize=10844916 memory=8027215984079826535 CPUtime=0.71 cores=0,2,4,6
/proc/3448/task/3502/stat : 3502 (java) S 3445 3448 466 0 -1 1077944384 761 13453 0 0 46 17 5 3 20 0 15 0 405134052 11105193984 697497 33554432000 4194304 4196468 140725327266496 140523364359312 140523360126677 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11243520 140725327268597 140725327271109 140725327271109 140725327273935 0
[pid=3448/tid=3503] ppid=3445 vsize=10844916 memory=7588671304909280615 CPUtime=0.68 cores=0,2,4,6
/proc/3448/task/3503/stat : 3503 (java) S 3445 3448 466 0 -1 1077944384 832 13453 0 0 42 18 5 3 20 0 15 0 405134052 11105193984 697497 33554432000 4194304 4196468 140725327266496 140523279178768 140523360126677 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11243520 140725327268597 140725327271109 140725327271109 140725327273935 0
[pid=3448/tid=3504] ppid=3445 vsize=10844916 memory=7516883056508036437 CPUtime=0.72 cores=0,2,4,6
/proc/3448/task/3504/stat : 3504 (java) S 3445 3448 466 0 -1 1077944384 977 13453 0 0 46 18 5 3 20 0 15 0 405134052 11105193984 697497 33554432000 4194304 4196468 140725327266496 140523278125968 140523360126677 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11243520 140725327268597 140725327271109 140725327271109 140725327273935 0
[pid=3448/tid=3505] ppid=3445 vsize=10844916 memory=3848 CPUtime=0.67 cores=0,2,4,6
/proc/3448/task/3505/stat : 3505 (java) S 3445 3448 466 0 -1 1077944384 1492 13453 0 0 40 19 5 3 20 0 15 0 405134052 11105193984 697497 33554432000 4194304 4196468 140725327266496 140522931542800 140523360126677 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11243520 140725327268597 140725327271109 140725327271109 140725327273935 0
[pid=3448/tid=3506] ppid=3445 vsize=10844916 memory=1792 CPUtime=0.23 cores=0,2,4,6
/proc/3448/task/3506/stat : 3506 (java) S 3445 3448 466 0 -1 1077944384 3522 13453 0 0 15 0 5 3 20 0 15 0 405134053 11105193984 697497 33554432000 4194304 4196468 140725327266496 140522886728048 140523360127618 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11243520 140725327268597 140725327271109 140725327271109 140725327273935 0
[pid=3448/tid=3507] ppid=3445 vsize=10844916 memory=8612 CPUtime=0.08 cores=0,2,4,6
/proc/3448/task/3507/stat : 3507 (java) S 3445 3448 466 0 -1 1077944384 15 13453 0 0 0 0 5 3 20 0 15 0 405134054 11105193984 697497 33554432000 4194304 4196468 140725327266496 140522807092320 140523360126677 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11243520 140725327268597 140725327271109 140725327271109 140725327273935 0
[pid=3448/tid=3508] ppid=3445 vsize=10844916 memory=1192 CPUtime=0.08 cores=0,2,4,6
/proc/3448/task/3508/stat : 3508 (java) S 3445 3448 466 0 -1 1077944384 1 13453 0 0 0 0 5 3 20 0 15 0 405134054 11105193984 697497 33554432000 4194304 4196468 140725327266496 140522203112320 140523360126677 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11243520 140725327268597 140725327271109 140725327271109 140725327273935 0
[pid=3448/tid=3509] ppid=3445 vsize=10844916 memory=5536 CPUtime=0.08 cores=0,2,4,6
/proc/3448/task/3509/stat : 3509 (java) S 3445 3448 466 0 -1 1077944384 3 13453 0 0 0 0 5 3 20 0 15 0 405134056 11105193984 697497 33554432000 4194304 4196468 140725327266496 140521895712592 140523360135067 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11243520 140725327268597 140725327271109 140725327271109 140725327273935 0
[pid=3448/tid=3510] ppid=3445 vsize=10844916 memory=4540 CPUtime=2.81 cores=0,2,4,6
/proc/3448/task/3510/stat : 3510 (java) S 3445 3448 466 0 -1 1077944384 6419 13453 0 0 270 3 5 3 20 0 15 0 405134057 11105193984 697497 33554432000 4194304 4196468 140725327266496 140522885675888 140523360127618 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11243520 140725327268597 140725327271109 140725327271109 140725327273935 0
[pid=3448/tid=3511] ppid=3445 vsize=10844916 memory=752 CPUtime=2.97 cores=0,2,4,6
/proc/3448/task/3511/stat : 3511 (java) S 3445 3448 466 0 -1 1077944384 8478 13453 0 0 288 1 5 3 20 0 15 0 405134057 11105193984 697497 33554432000 4194304 4196468 140725327266496 140522884623088 140523360127618 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11243520 140725327268597 140725327271109 140725327271109 140725327273935 0
[pid=3448/tid=3512] ppid=3445 vsize=10844916 memory=1636 CPUtime=1.62 cores=0,2,4,6
/proc/3448/task/3512/stat : 3512 (java) S 3445 3448 466 0 -1 1077944384 6149 13453 0 0 151 3 5 3 20 0 15 0 405134057 11105193984 697497 33554432000 4194304 4196468 140725327266496 140522883570288 140523360127618 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11243520 140725327268597 140725327271109 140725327271109 140725327273935 0
[pid=3448/tid=3513] ppid=3445 vsize=10844916 memory=812 CPUtime=0.08 cores=0,2,4,6
/proc/3448/task/3513/stat : 3513 (java) S 3445 3448 466 0 -1 1077944384 3 13453 0 0 0 0 5 3 20 0 15 0 405134057 11105193984 697497 33554432000 4194304 4196468 140725327266496 140521862154976 140523360126677 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11243520 140725327268597 140725327271109 140725327271109 140725327273935 0
[pid=3448/tid=3514] ppid=3445 vsize=10844916 memory=1840 CPUtime=0.08 cores=0,2,4,6
/proc/3448/task/3514/stat : 3514 (java) S 3445 3448 466 0 -1 1077944384 63 13453 0 0 0 0 5 3 20 0 15 0 405134057 11105193984 697497 33554432000 4194304 4196468 140725327266496 140522882517680 140523360127618 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11243520 140725327268597 140725327271109 140725327271109 140725327273935 0
Current children cumulated CPU time: 22.61 s
Current children cumulated vsize: 10844916 KiB
Current children cumulated memory: 2789988 KiB
[startup+13.7006 s]
/proc/loadavg: 1.61 1.52 1.44 3/229 3514
/proc/meminfo: memFree=18967688/32770624 swapFree=67108848/67108860
[pid=3448] ppid=3445 vsize=10844916 memory=2790172 CPUtime=22.73 cores=0,2,4,6
/proc/3448/stat : 3448 (java) S 3445 3448 466 0 -1 1077944320 56053 13453 0 0 2139 126 5 3 20 0 15 0 405134042 11105193984 697543 33554432000 4194304 4196468 140725327266496 140725327249040 140523360116471 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 11243520 140725327268597 140725327271109 140725327271109 140725327273935 0
/proc/3448/statm: 2711229 697543 3615 1 0 2673293 0
[pid=3448/tid=3501] ppid=3445 vsize=10844916 memory=0 CPUtime=12.83 cores=0,2,4,6
/proc/3448/task/3501/stat : 3501 (java) R 3445 3448 466 0 -1 4202560 25098 13453 0 0 1234 41 5 3 20 0 15 0 405134051 11105193984 697543 33554432000 4194304 4196468 140725327266496 140523331948288 140522970095759 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11243520 140725327268597 140725327271109 140725327271109 140725327273935 0
[pid=3448/tid=3502] ppid=3445 vsize=10844916 memory=2789932 CPUtime=0.71 cores=0,2,4,6
/proc/3448/task/3502/stat : 3502 (java) S 3445 3448 466 0 -1 1077944384 761 13453 0 0 46 17 5 3 20 0 15 0 405134052 11105193984 697543 33554432000 4194304 4196468 140725327266496 140523364359312 140523360126677 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11243520 140725327268597 140725327271109 140725327271109 140725327273935 0
[pid=3448/tid=3503] ppid=3445 vsize=10844916 memory=8 CPUtime=0.68 cores=0,2,4,6
/proc/3448/task/3503/stat : 3503 (java) S 3445 3448 466 0 -1 1077944384 832 13453 0 0 42 18 5 3 20 0 15 0 405134052 11105193984 697543 33554432000 4194304 4196468 140725327266496 140523279178768 140523360126677 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11243520 140725327268597 140725327271109 140725327271109 140725327273935 0
[pid=3448/tid=3504] ppid=3445 vsize=10844916 memory=1384 CPUtime=0.72 cores=0,2,4,6
/proc/3448/task/3504/stat : 3504 (java) S 3445 3448 466 0 -1 1077944384 977 13453 0 0 46 18 5 3 20 0 15 0 405134052 11105193984 697543 33554432000 4194304 4196468 140725327266496 140523278125968 140523360126677 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11243520 140725327268597 140725327271109 140725327271109 140725327273935 0
[pid=3448/tid=3505] ppid=3445 vsize=10844916 memory=33 CPUtime=0.67 cores=0,2,4,6
/proc/3448/task/3505/stat : 3505 (java) S 3445 3448 466 0 -1 1077944384 1492 13453 0 0 40 19 5 3 20 0 15 0 405134052 11105193984 697543 33554432000 4194304 4196468 140725327266496 140522931542800 140523360126677 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11243520 140725327268597 140725327271109 140725327271109 140725327273935 0
[pid=3448/tid=3506] ppid=3445 vsize=10844916 memory=15 CPUtime=0.23 cores=0,2,4,6
/proc/3448/task/3506/stat : 3506 (java) S 3445 3448 466 0 -1 1077944384 3522 13453 0 0 15 0 5 3 20 0 15 0 405134053 11105193984 697543 33554432000 4194304 4196468 140725327266496 140522886728048 140523360127618 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11243520 140725327268597 140725327271109 140725327271109 140725327273935 0
[pid=3448/tid=3507] ppid=3445 vsize=10844916 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/3448/task/3507/stat : 3507 (java) S 3445 3448 466 0 -1 1077944384 15 13453 0 0 0 0 5 3 20 0 15 0 405134054 11105193984 697543 33554432000 4194304 4196468 140725327266496 140522807092320 140523360126677 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11243520 140725327268597 140725327271109 140725327271109 140725327273935 0
[pid=3448/tid=3508] ppid=3445 vsize=10844916 memory=64 CPUtime=0.08 cores=0,2,4,6
/proc/3448/task/3508/stat : 3508 (java) S 3445 3448 466 0 -1 1077944384 1 13453 0 0 0 0 5 3 20 0 15 0 405134054 11105193984 697543 33554432000 4194304 4196468 140725327266496 140522203112320 140523360126677 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11243520 140725327268597 140725327271109 140725327271109 140725327273935 0
[pid=3448/tid=3509] ppid=3445 vsize=10844916 memory=59 CPUtime=0.08 cores=0,2,4,6
/proc/3448/task/3509/stat : 3509 (java) S 3445 3448 466 0 -1 1077944384 3 13453 0 0 0 0 5 3 20 0 15 0 405134056 11105193984 697543 33554432000 4194304 4196468 140725327266496 140521895712592 140523360135067 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11243520 140725327268597 140725327271109 140725327271109 140725327273935 0
[pid=3448/tid=3510] ppid=3445 vsize=10844916 memory=8112282956445269571 CPUtime=2.82 cores=0,2,4,6
/proc/3448/task/3510/stat : 3510 (java) S 3445 3448 466 0 -1 1077944384 6419 13453 0 0 271 3 5 3 20 0 15 0 405134057 11105193984 697543 33554432000 4194304 4196468 140725327266496 140522885675888 140523360127618 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11243520 140725327268597 140725327271109 140725327271109 140725327273935 0
[pid=3448/tid=3511] ppid=3445 vsize=10844916 memory=7168 CPUtime=2.97 cores=0,2,4,6
/proc/3448/task/3511/stat : 3511 (java) S 3445 3448 466 0 -1 1077944384 8478 13453 0 0 288 1 5 3 20 0 15 0 405134057 11105193984 697543 33554432000 4194304 4196468 140725327266496 140522884623088 140523360127618 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11243520 140725327268597 140725327271109 140725327271109 140725327273935 0
[pid=3448/tid=3512] ppid=3445 vsize=10844916 memory=1100 CPUtime=1.63 cores=0,2,4,6
/proc/3448/task/3512/stat : 3512 (java) S 3445 3448 466 0 -1 1077944384 6179 13453 0 0 152 3 5 3 20 0 15 0 405134057 11105193984 697543 33554432000 4194304 4196468 140725327266496 140522883570288 140523360127618 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11243520 140725327268597 140725327271109 140725327271109 140725327273935 0
[pid=3448/tid=3513] ppid=3445 vsize=10844916 memory=15208 CPUtime=0.08 cores=0,2,4,6
/proc/3448/task/3513/stat : 3513 (java) S 3445 3448 466 0 -1 1077944384 3 13453 0 0 0 0 5 3 20 0 15 0 405134057 11105193984 697543 33554432000 4194304 4196468 140725327266496 140521862154976 140523360126677 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11243520 140725327268597 140725327271109 140725327271109 140725327273935 0
[pid=3448/tid=3514] ppid=3445 vsize=10844916 memory=22884 CPUtime=0.08 cores=0,2,4,6
/proc/3448/task/3514/stat : 3514 (java) S 3445 3448 466 0 -1 1077944384 63 13453 0 0 0 0 5 3 20 0 15 0 405134057 11105193984 697543 33554432000 4194304 4196468 140725327266496 140522882517680 140523360127618 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11243520 140725327268597 140725327271109 140725327271109 140725327273935 0
Current children cumulated CPU time: 22.73 s
Current children cumulated vsize: 10844916 KiB
Current children cumulated memory: 2790172 KiB
Child status: 0
Real time (s): 13.7969
CPU time (s): 22.8714
CPU user time (s): 21.5513
CPU system time (s): 1.32011
CPU usage (%): 165.772
Max. virtual memory (cumulated for all children) (KiB): 10847540
Max. memory (cumulated for all children) (KiB): 2790172
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 21.5513
system time used= 1.32011
maximum resident set size= 2792456
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 70151
page faults= 0
swaps= 0
block input operations= 0
block output operations= 184
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7321
involuntary context switches= 102
# summary of solver processes directly reported to runsolver:
# pid: 3448
# total CPU time (s): 22.8714
# total CPU user time (s): 21.5513
# total CPU system time (s): 1.32011
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.112378 second user time and 0.165661 second system time
The end