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 (4902 MiB free)
memory of node 1: 16384 MiB (7354 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4295539-1532565879/watcher-4295539-1532565879 -o /tmp/evaluation-result-4295539-1532565879/solver-4295539-1532565879 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node107-1532543154-31452 --watchdog 2580 concrete-3.8/bin/xcsp-3-concrete -J-Xss32M -randomseed=949859485 -superng HOME/instance-4295539-1532565879.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=4154, runsolver pid=4151
[startup+0.101172 s]*
/proc/loadavg: 1.58 1.46 1.48 2/206 4211
/proc/meminfo: memFree=12543252/32770624 swapFree=67108860/67108860
[pid=4154] ppid=4151 vsize=9972712 memory=16812 CPUtime=0.09 cores=0,2,4,6
/proc/4154/stat : 4154 (java) S 4151 4154 31421 0 -1 1077944320 4372 13017 0 0 1 1 4 3 20 0 6 0 74151089 10212057088 4203 33554432000 4194304 4196468 140733301097888 140733301080432 139677585420023 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 8282112 140733301102764 140733301106012 140733301106012 140733301108687 0
/proc/4154/statm: 2493178 4203 1934 1 0 2481616 0
[pid=4154/tid=4207] ppid=4151 vsize=9972712 memory=-8171376296011865461 CPUtime=0.08 cores=0,2,4,6
/proc/4154/task/4207/stat : 4207 (java) R 4151 4154 31421 0 -1 4202560 2251 13017 0 0 1 0 4 3 20 0 6 0 74151098 10212057088 4269 33554432000 4194304 4196468 140733301097888 139677557256784 139677570542960 0 4 0 16784584 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8282112 140733301102764 140733301106012 140733301106012 140733301108687 0
[pid=4154/tid=4208] ppid=4151 vsize=9972712 memory=7948963741541478447 CPUtime=0.07 cores=0,2,4,6
/proc/4154/task/4208/stat : 4208 (java) S 4151 4154 31421 0 -1 1077944384 1 13017 0 0 0 0 4 3 20 0 6 0 74151099 10212057088 4269 33554432000 4194304 4196468 140733301097888 139677589662608 139677585430229 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8282112 140733301102764 140733301106012 140733301106012 140733301108687 0
[pid=4154/tid=4209] ppid=4151 vsize=9972712 memory=139662340048512 CPUtime=0.07 cores=0,2,4,6
/proc/4154/task/4209/stat : 4209 (java) S 4151 4154 31421 0 -1 1077944384 1 13017 0 0 0 0 4 3 20 0 6 0 74151099 10212057088 4269 33554432000 4194304 4196468 140733301097888 139677158529808 139677585430229 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8282112 140733301102764 140733301106012 140733301106012 140733301108687 0
[pid=4154/tid=4210] ppid=4151 vsize=9972712 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/4154/task/4210/stat : 4210 (java) S 4151 4154 31421 0 -1 1077944384 1 13017 0 0 0 0 4 3 20 0 6 0 74151099 10212057088 4269 33554432000 4194304 4196468 140733301097888 139677157477520 139677585430229 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8282112 140733301102764 140733301106012 140733301106012 140733301108687 0
[pid=4154/tid=4211] ppid=4151 vsize=9972712 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/4154/task/4211/stat : 4211 (java) S 4151 4154 31421 0 -1 1077944384 2 13017 0 0 0 0 4 3 20 0 6 0 74151099 10212057088 4269 33554432000 4194304 4196468 140733301097888 139677156424720 139677585430229 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8282112 140733301102764 140733301106012 140733301106012 140733301108687 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 16812 KiB
[startup+0.20992 s]*
/proc/loadavg: 1.58 1.46 1.48 3/215 4220
/proc/meminfo: memFree=12518000/32770624 swapFree=67108860/67108860
[pid=4154] ppid=4151 vsize=10818904 memory=47896 CPUtime=0.25 cores=0,2,4,6
/proc/4154/stat : 4154 (java) S 4151 4154 31421 0 -1 1077944320 8152 13017 0 0 16 2 4 3 20 0 15 0 74151089 11078557696 11974 33554432000 4194304 4196468 140733301097888 140733301080432 139677585420023 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 8282112 140733301102764 140733301106012 140733301106012 140733301108687 0
/proc/4154/statm: 2704726 11974 2969 1 0 2667149 0
[pid=4154/tid=4207] ppid=4151 vsize=10819896 memory=-8171376296011865461 CPUtime=0.18 cores=0,2,4,6
/proc/4154/task/4207/stat : 4207 (java) R 4151 4154 31421 0 -1 4202560 4973 13017 0 0 10 1 4 3 20 0 15 0 74151098 11079573504 12172 33554432000 4194304 4196468 140733301097888 139677557244832 139677578099741 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8282112 140733301102764 140733301106012 140733301106012 140733301108687 0
[pid=4154/tid=4208] ppid=4151 vsize=10819896 memory=7948963741541478447 CPUtime=0.07 cores=0,2,4,6
/proc/4154/task/4208/stat : 4208 (java) S 4151 4154 31421 0 -1 1077944384 1 13017 0 0 0 0 4 3 20 0 15 0 74151099 11079573504 12172 33554432000 4194304 4196468 140733301097888 139677589662608 139677585430229 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8282112 140733301102764 140733301106012 140733301106012 140733301108687 0
[pid=4154/tid=4209] ppid=4151 vsize=10819896 memory=139662340048512 CPUtime=0.07 cores=0,2,4,6
/proc/4154/task/4209/stat : 4209 (java) S 4151 4154 31421 0 -1 1077944384 1 13017 0 0 0 0 4 3 20 0 15 0 74151099 11079573504 12172 33554432000 4194304 4196468 140733301097888 139677158529808 139677585430229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8282112 140733301102764 140733301106012 140733301106012 140733301108687 0
[pid=4154/tid=4210] ppid=4151 vsize=10819896 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/4154/task/4210/stat : 4210 (java) S 4151 4154 31421 0 -1 1077944384 1 13017 0 0 0 0 4 3 20 0 15 0 74151099 11079573504 12172 33554432000 4194304 4196468 140733301097888 139677157477520 139677585430229 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8282112 140733301102764 140733301106012 140733301106012 140733301108687 0
[pid=4154/tid=4211] ppid=4151 vsize=10819896 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/4154/task/4211/stat : 4211 (java) S 4151 4154 31421 0 -1 1077944384 2 13017 0 0 0 0 4 3 20 0 15 0 74151099 11079573504 12238 33554432000 4194304 4196468 140733301097888 139677156424720 139677585430229 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8282112 140733301102764 140733301106012 140733301106012 140733301108687 0
[pid=4154/tid=4212] ppid=4151 vsize=10819896 memory=139662340048512 CPUtime=0.07 cores=0,2,4,6
/proc/4154/task/4212/stat : 4212 (java) S 4151 4154 31421 0 -1 1077944384 2 13017 0 0 0 0 4 3 20 0 15 0 74151100 11079573504 12238 33554432000 4194304 4196468 140733301097888 139677111982192 139677585431170 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8282112 140733301102764 140733301106012 140733301106012 140733301108687 0
[pid=4154/tid=4213] ppid=4151 vsize=10819896 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/4154/task/4213/stat : 4213 (java) S 4151 4154 31421 0 -1 1077944384 13 13017 0 0 0 0 4 3 20 0 15 0 74151101 11079573504 12238 33554432000 4194304 4196468 140733301097888 139677034079008 139677585430229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8282112 140733301102764 140733301106012 140733301106012 140733301108687 0
[pid=4154/tid=4214] ppid=4151 vsize=10821524 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/4154/task/4214/stat : 4214 (java) S 4151 4154 31421 0 -1 1077944384 1 13017 0 0 0 0 4 3 20 0 15 0 74151101 11081240576 12238 33554432000 4194304 4196468 140733301097888 139676564317296 139677585430229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8282112 140733301102764 140733301106012 140733301106012 140733301108687 0
[pid=4154/tid=4215] ppid=4151 vsize=10821524 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/4154/task/4215/stat : 4215 (java) S 4151 4154 31421 0 -1 1077944384 2 13017 0 0 0 0 4 3 20 0 15 0 74151104 11081240576 12238 33554432000 4194304 4196468 140733301097888 139676295882832 139677585438619 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8282112 140733301102764 140733301106012 140733301106012 140733301108687 0
[pid=4154/tid=4216] ppid=4151 vsize=10821524 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/4154/task/4216/stat : 4216 (java) S 4151 4154 31421 0 -1 1077944384 493 13017 0 0 1 0 4 3 20 0 15 0 74151104 11081240576 12238 33554432000 4194304 4196468 140733301097888 139677110930032 139677585431170 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8282112 140733301102764 140733301106012 140733301106012 140733301108687 0
[pid=4154/tid=4217] ppid=4151 vsize=10821524 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/4154/task/4217/stat : 4217 (java) S 4151 4154 31421 0 -1 1077944384 89 13017 0 0 1 0 4 3 20 0 15 0 74151104 11081240576 12304 33554432000 4194304 4196468 140733301097888 139677109877232 139677585431170 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8282112 140733301102764 140733301106012 140733301106012 140733301108687 0
[pid=4154/tid=4218] ppid=4151 vsize=10821524 memory=139662340048512 CPUtime=0.1 cores=0,2,4,6
/proc/4154/task/4218/stat : 4218 (java) S 4151 4154 31421 0 -1 1077944384 563 13017 0 0 3 0 4 3 20 0 15 0 74151104 11081240576 12304 33554432000 4194304 4196468 140733301097888 139677108824944 139677585431170 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8282112 140733301102764 140733301106012 140733301106012 140733301108687 0
[pid=4154/tid=4219] ppid=4151 vsize=10821524 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/4154/task/4219/stat : 4219 (java) S 4151 4154 31421 0 -1 1077944384 3 13017 0 0 0 0 4 3 20 0 15 0 74151104 11081240576 12304 33554432000 4194304 4196468 140733301097888 139675826121696 139677585430229 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8282112 140733301102764 140733301106012 140733301106012 140733301108687 0
[pid=4154/tid=4220] ppid=4151 vsize=10821524 memory=139662340048512 CPUtime=0.07 cores=0,2,4,6
/proc/4154/task/4220/stat : 4220 (java) S 4151 4154 31421 0 -1 1077944384 1 13017 0 0 0 0 4 3 20 0 15 0 74151104 11081240576 12304 33554432000 4194304 4196468 140733301097888 139677107771824 139677585431170 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8282112 140733301102764 140733301106012 140733301106012 140733301108687 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 10818904 KiB
Current children cumulated memory: 47896 KiB
[startup+0.310287 s]*
/proc/loadavg: 1.58 1.46 1.48 3/215 4220
/proc/meminfo: memFree=12506836/32770624 swapFree=67108860/67108860
[pid=4154] ppid=4151 vsize=10819352 memory=58560 CPUtime=0.38 cores=0,2,4,6
/proc/4154/stat : 4154 (java) S 4151 4154 31421 0 -1 1077944320 10665 13017 0 0 28 3 4 3 20 0 15 0 74151089 11079016448 14640 33554432000 4194304 4196468 140733301097888 140733301080432 139677585420023 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 8282112 140733301102764 140733301106012 140733301106012 140733301108687 0
/proc/4154/statm: 2704838 14640 3088 1 0 2667149 0
[pid=4154/tid=4207] ppid=4151 vsize=10819352 memory=6935054825532540783 CPUtime=0.28 cores=0,2,4,6
/proc/4154/task/4207/stat : 4207 (java) R 4151 4154 31421 0 -1 4202560 7304 13017 0 0 19 2 4 3 20 0 15 0 74151098 11079016448 14640 33554432000 4194304 4196468 140733301097888 139677557232032 139677569500510 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8282112 140733301102764 140733301106012 140733301106012 140733301108687 0
[pid=4154/tid=4208] ppid=4151 vsize=10819352 memory=8514701219931451533 CPUtime=0.07 cores=0,2,4,6
/proc/4154/task/4208/stat : 4208 (java) S 4151 4154 31421 0 -1 1077944384 1 13017 0 0 0 0 4 3 20 0 15 0 74151099 11079016448 14640 33554432000 4194304 4196468 140733301097888 139677589662608 139677585430229 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8282112 140733301102764 140733301106012 140733301106012 140733301108687 0
[pid=4154/tid=4209] ppid=4151 vsize=10819352 memory=1328725297981317182 CPUtime=0.07 cores=0,2,4,6
/proc/4154/task/4209/stat : 4209 (java) S 4151 4154 31421 0 -1 1077944384 1 13017 0 0 0 0 4 3 20 0 15 0 74151099 11079016448 14640 33554432000 4194304 4196468 140733301097888 139677158529808 139677585430229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8282112 140733301102764 140733301106012 140733301106012 140733301108687 0
[pid=4154/tid=4210] ppid=4151 vsize=10819352 memory=4126316290023845779 CPUtime=0.07 cores=0,2,4,6
/proc/4154/task/4210/stat : 4210 (java) S 4151 4154 31421 0 -1 1077944384 1 13017 0 0 0 0 4 3 20 0 15 0 74151099 11079016448 14640 33554432000 4194304 4196468 140733301097888 139677157477520 139677585430229 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8282112 140733301102764 140733301106012 140733301106012 140733301108687 0
[pid=4154/tid=4211] ppid=4151 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/4154/task/4211/stat : 4211 (java) S 4151 4154 31421 0 -1 1077944384 2 13017 0 0 0 0 4 3 20 0 15 0 74151099 11079016448 14640 33554432000 4194304 4196468 140733301097888 139677156424720 139677585430229 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8282112 140733301102764 140733301106012 140733301106012 140733301108687 0
[pid=4154/tid=4212] ppid=4151 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/4154/task/4212/stat : 4212 (java) S 4151 4154 31421 0 -1 1077944384 2 13017 0 0 0 0 4 3 20 0 15 0 74151100 11079016448 14640 33554432000 4194304 4196468 140733301097888 139677111982192 139677585431170 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8282112 140733301102764 140733301106012 140733301106012 140733301108687 0
[pid=4154/tid=4213] ppid=4151 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/4154/task/4213/stat : 4213 (java) S 4151 4154 31421 0 -1 1077944384 13 13017 0 0 0 0 4 3 20 0 15 0 74151101 11079016448 14640 33554432000 4194304 4196468 140733301097888 139677034079008 139677585430229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8282112 140733301102764 140733301106012 140733301106012 140733301108687 0
[pid=4154/tid=4214] ppid=4151 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/4154/task/4214/stat : 4214 (java) S 4151 4154 31421 0 -1 1077944384 1 13017 0 0 0 0 4 3 20 0 15 0 74151101 11079016448 14640 33554432000 4194304 4196468 140733301097888 139676564317296 139677585430229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8282112 140733301102764 140733301106012 140733301106012 140733301108687 0
[pid=4154/tid=4215] ppid=4151 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/4154/task/4215/stat : 4215 (java) S 4151 4154 31421 0 -1 1077944384 2 13017 0 0 0 0 4 3 20 0 15 0 74151104 11079016448 14640 33554432000 4194304 4196468 140733301097888 139676295882832 139677585438619 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8282112 140733301102764 140733301106012 140733301106012 140733301108687 0
[pid=4154/tid=4216] ppid=4151 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/4154/task/4216/stat : 4216 (java) R 4151 4154 31421 0 -1 4202560 493 13017 0 0 1 0 4 3 20 0 15 0 74151104 11079016448 14640 33554432000 4194304 4196468 140733301097888 139677110930032 139677585431958 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8282112 140733301102764 140733301106012 140733301106012 140733301108687 0
[pid=4154/tid=4217] ppid=4151 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/4154/task/4217/stat : 4217 (java) S 4151 4154 31421 0 -1 1077944384 90 13017 0 0 1 0 4 3 20 0 15 0 74151104 11079016448 14640 33554432000 4194304 4196468 140733301097888 139677109877232 139677585431170 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8282112 140733301102764 140733301106012 140733301106012 140733301108687 0
[pid=4154/tid=4218] ppid=4151 vsize=10819352 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/4154/task/4218/stat : 4218 (java) S 4151 4154 31421 0 -1 1077944384 572 13017 0 0 5 0 4 3 20 0 15 0 74151104 11079016448 14640 33554432000 4194304 4196468 140733301097888 139677108824944 139677585431170 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8282112 140733301102764 140733301106012 140733301106012 140733301108687 0
[pid=4154/tid=4219] ppid=4151 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/4154/task/4219/stat : 4219 (java) S 4151 4154 31421 0 -1 1077944384 3 13017 0 0 0 0 4 3 20 0 15 0 74151104 11079016448 14640 33554432000 4194304 4196468 140733301097888 139675826121696 139677585430229 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8282112 140733301102764 140733301106012 140733301106012 140733301108687 0
[pid=4154/tid=4220] ppid=4151 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/4154/task/4220/stat : 4220 (java) S 4151 4154 31421 0 -1 1077944384 1 13017 0 0 0 0 4 3 20 0 15 0 74151104 11079016448 14640 33554432000 4194304 4196468 140733301097888 139677107771824 139677585431170 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8282112 140733301102764 140733301106012 140733301106012 140733301108687 0
Current children cumulated CPU time: 0.38 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 58560 KiB
[startup+0.700829 s]
/proc/loadavg: 1.58 1.46 1.48 3/215 4220
/proc/meminfo: memFree=12495932/32770624 swapFree=67108860/67108860
[pid=4154] ppid=4151 vsize=10819352 memory=90540 CPUtime=0.98 cores=0,2,4,6
/proc/4154/stat : 4154 (java) S 4151 4154 31421 0 -1 1077944320 16767 13017 0 0 86 5 4 3 20 0 15 0 74151089 11079016448 22635 33554432000 4194304 4196468 140733301097888 140733301080432 139677585420023 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 8282112 140733301102764 140733301106012 140733301106012 140733301108687 0
/proc/4154/statm: 2704838 22635 3238 1 0 2667149 0
[pid=4154/tid=4207] ppid=4151 vsize=10819352 memory=0 CPUtime=0.66 cores=0,2,4,6
/proc/4154/task/4207/stat : 4207 (java) R 4151 4154 31421 0 -1 4202560 12268 13017 0 0 55 4 4 3 20 0 15 0 74151098 11079016448 22635 33554432000 4194304 4196468 140733301097888 139677557240848 139677569500510 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8282112 140733301102764 140733301106012 140733301106012 140733301108687 0
[pid=4154/tid=4208] ppid=4151 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/4154/task/4208/stat : 4208 (java) S 4151 4154 31421 0 -1 1077944384 1 13017 0 0 0 0 4 3 20 0 15 0 74151099 11079016448 22635 33554432000 4194304 4196468 140733301097888 139677589662608 139677585430229 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8282112 140733301102764 140733301106012 140733301106012 140733301108687 0
[pid=4154/tid=4209] ppid=4151 vsize=10819352 memory=8458433173657040949 CPUtime=0.07 cores=0,2,4,6
/proc/4154/task/4209/stat : 4209 (java) S 4151 4154 31421 0 -1 1077944384 1 13017 0 0 0 0 4 3 20 0 15 0 74151099 11079016448 22635 33554432000 4194304 4196468 140733301097888 139677158529808 139677585430229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8282112 140733301102764 140733301106012 140733301106012 140733301108687 0
[pid=4154/tid=4210] ppid=4151 vsize=10819352 memory=7156871068434845793 CPUtime=0.07 cores=0,2,4,6
/proc/4154/task/4210/stat : 4210 (java) S 4151 4154 31421 0 -1 1077944384 1 13017 0 0 0 0 4 3 20 0 15 0 74151099 11079016448 22635 33554432000 4194304 4196468 140733301097888 139677157477520 139677585430229 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8282112 140733301102764 140733301106012 140733301106012 140733301108687 0
[pid=4154/tid=4211] ppid=4151 vsize=10819352 memory=4639059877604708710 CPUtime=0.07 cores=0,2,4,6
/proc/4154/task/4211/stat : 4211 (java) S 4151 4154 31421 0 -1 1077944384 2 13017 0 0 0 0 4 3 20 0 15 0 74151099 11079016448 22635 33554432000 4194304 4196468 140733301097888 139677156424720 139677585430229 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8282112 140733301102764 140733301106012 140733301106012 140733301108687 0
[pid=4154/tid=4212] ppid=4151 vsize=10819352 memory=3467824627880452160 CPUtime=0.07 cores=0,2,4,6
/proc/4154/task/4212/stat : 4212 (java) S 4151 4154 31421 0 -1 1077944384 5 13017 0 0 0 0 4 3 20 0 15 0 74151100 11079016448 22635 33554432000 4194304 4196468 140733301097888 139677111982192 139677585431170 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8282112 140733301102764 140733301106012 140733301106012 140733301108687 0
[pid=4154/tid=4213] ppid=4151 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/4154/task/4213/stat : 4213 (java) S 4151 4154 31421 0 -1 1077944384 13 13017 0 0 0 0 4 3 20 0 15 0 74151101 11079016448 22635 33554432000 4194304 4196468 140733301097888 139677034079008 139677585430229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8282112 140733301102764 140733301106012 140733301106012 140733301108687 0
[pid=4154/tid=4214] ppid=4151 vsize=10819352 memory=4140 CPUtime=0.07 cores=0,2,4,6
/proc/4154/task/4214/stat : 4214 (java) S 4151 4154 31421 0 -1 1077944384 1 13017 0 0 0 0 4 3 20 0 15 0 74151101 11079016448 22635 33554432000 4194304 4196468 140733301097888 139676564317296 139677585430229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8282112 140733301102764 140733301106012 140733301106012 140733301108687 0
[pid=4154/tid=4215] ppid=4151 vsize=10819352 memory=2241 CPUtime=0.07 cores=0,2,4,6
/proc/4154/task/4215/stat : 4215 (java) S 4151 4154 31421 0 -1 1077944384 2 13017 0 0 0 0 4 3 20 0 15 0 74151104 11079016448 22635 33554432000 4194304 4196468 140733301097888 139676295882832 139677585438619 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8282112 140733301102764 140733301106012 140733301106012 140733301108687 0
[pid=4154/tid=4216] ppid=4151 vsize=10819352 memory=2244 CPUtime=0.14 cores=0,2,4,6
/proc/4154/task/4216/stat : 4216 (java) S 4151 4154 31421 0 -1 1077944384 888 13017 0 0 7 0 4 3 20 0 15 0 74151104 11079016448 22635 33554432000 4194304 4196468 140733301097888 139677110930032 139677585431170 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8282112 140733301102764 140733301106012 140733301106012 140733301108687 0
[pid=4154/tid=4217] ppid=4151 vsize=10819352 memory=0 CPUtime=0.17 cores=0,2,4,6
/proc/4154/task/4217/stat : 4217 (java) S 4151 4154 31421 0 -1 1077944384 769 13017 0 0 10 0 4 3 20 0 15 0 74151104 11079016448 22635 33554432000 4194304 4196468 140733301097888 139677109877232 139677585431170 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8282112 140733301102764 140733301106012 140733301106012 140733301108687 0
[pid=4154/tid=4218] ppid=4151 vsize=10819352 memory=0 CPUtime=0.2 cores=0,2,4,6
/proc/4154/task/4218/stat : 4218 (java) R 4151 4154 31421 0 -1 4202560 624 13017 0 0 13 0 4 3 20 0 15 0 74151104 11079016448 22635 33554432000 4194304 4196468 140733301097888 139677108824944 139677585431958 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8282112 140733301102764 140733301106012 140733301106012 140733301108687 0
[pid=4154/tid=4219] ppid=4151 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/4154/task/4219/stat : 4219 (java) S 4151 4154 31421 0 -1 1077944384 3 13017 0 0 0 0 4 3 20 0 15 0 74151104 11079016448 22635 33554432000 4194304 4196468 140733301097888 139675826121696 139677585430229 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8282112 140733301102764 140733301106012 140733301106012 140733301108687 0
[pid=4154/tid=4220] ppid=4151 vsize=10819352 memory=30305 CPUtime=0.07 cores=0,2,4,6
/proc/4154/task/4220/stat : 4220 (java) S 4151 4154 31421 0 -1 1077944384 1 13017 0 0 0 0 4 3 20 0 15 0 74151104 11079016448 22699 33554432000 4194304 4196468 140733301097888 139677107771824 139677585431170 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8282112 140733301102764 140733301106012 140733301106012 140733301108687 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 90540 KiB
[startup+1.50067 s]
/proc/loadavg: 1.58 1.46 1.48 4/215 4220
/proc/meminfo: memFree=12451196/32770624 swapFree=67108860/67108860
[pid=4154] ppid=4151 vsize=10834252 memory=181496 CPUtime=2.26 cores=0,2,4,6
/proc/4154/stat : 4154 (java) S 4151 4154 31421 0 -1 1077944320 24083 13017 0 0 208 11 4 3 20 0 15 0 74151089 11094274048 45374 33554432000 4194304 4196468 140733301097888 140733301080432 139677585420023 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 8282112 140733301102764 140733301106012 140733301106012 140733301108687 0
/proc/4154/statm: 2708563 45374 3472 1 0 2670221 0
[pid=4154/tid=4207] ppid=4151 vsize=10834252 memory=0 CPUtime=1.42 cores=0,2,4,6
/proc/4154/task/4207/stat : 4207 (java) R 4151 4154 31421 0 -1 4202560 17976 13017 0 0 129 6 4 3 20 0 15 0 74151098 11094274048 45374 33554432000 4194304 4196468 140733301097888 139677557251488 139677570859278 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8282112 140733301102764 140733301106012 140733301106012 140733301108687 0
[pid=4154/tid=4208] ppid=4151 vsize=10834252 memory=124 CPUtime=0.08 cores=0,2,4,6
/proc/4154/task/4208/stat : 4208 (java) S 4151 4154 31421 0 -1 1077944384 39 13017 0 0 1 0 4 3 20 0 15 0 74151099 11094274048 45374 33554432000 4194304 4196468 140733301097888 139677589662608 139677585430229 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8282112 140733301102764 140733301106012 140733301106012 140733301108687 0
[pid=4154/tid=4209] ppid=4151 vsize=10834252 memory=78 CPUtime=0.08 cores=0,2,4,6
/proc/4154/task/4209/stat : 4209 (java) S 4151 4154 31421 0 -1 1077944384 52 13017 0 0 1 0 4 3 20 0 15 0 74151099 11094274048 45374 33554432000 4194304 4196468 140733301097888 139677158529808 139677585430229 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8282112 140733301102764 140733301106012 140733301106012 140733301108687 0
[pid=4154/tid=4210] ppid=4151 vsize=10834252 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/4154/task/4210/stat : 4210 (java) S 4151 4154 31421 0 -1 1077944384 21 13017 0 0 0 0 4 3 20 0 15 0 74151099 11094274048 45374 33554432000 4194304 4196468 140733301097888 139677157477520 139677585430229 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8282112 140733301102764 140733301106012 140733301106012 140733301108687 0
[pid=4154/tid=4211] ppid=4151 vsize=10834252 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/4154/task/4211/stat : 4211 (java) S 4151 4154 31421 0 -1 1077944384 206 13017 0 0 0 0 4 3 20 0 15 0 74151099 11094274048 45374 33554432000 4194304 4196468 140733301097888 139677156424720 139677585430229 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8282112 140733301102764 140733301106012 140733301106012 140733301108687 0
[pid=4154/tid=4212] ppid=4151 vsize=10834252 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/4154/task/4212/stat : 4212 (java) S 4151 4154 31421 0 -1 1077944384 65 13017 0 0 1 0 4 3 20 0 15 0 74151100 11094274048 45374 33554432000 4194304 4196468 140733301097888 139677111982192 139677585431170 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8282112 140733301102764 140733301106012 140733301106012 140733301108687 0
[pid=4154/tid=4213] ppid=4151 vsize=10834252 memory=139662203043138 CPUtime=0.07 cores=0,2,4,6
/proc/4154/task/4213/stat : 4213 (java) S 4151 4154 31421 0 -1 1077944384 13 13017 0 0 0 0 4 3 20 0 15 0 74151101 11094274048 45374 33554432000 4194304 4196468 140733301097888 139677034079072 139677585430229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8282112 140733301102764 140733301106012 140733301106012 140733301108687 0
[pid=4154/tid=4214] ppid=4151 vsize=10834252 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/4154/task/4214/stat : 4214 (java) S 4151 4154 31421 0 -1 1077944384 2 13017 0 0 0 0 4 3 20 0 15 0 74151101 11094274048 45374 33554432000 4194304 4196468 140733301097888 139676564317296 139677585430229 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8282112 140733301102764 140733301106012 140733301106012 140733301108687 0
[pid=4154/tid=4215] ppid=4151 vsize=10834252 memory=2986632698767059817 CPUtime=0.07 cores=0,2,4,6
/proc/4154/task/4215/stat : 4215 (java) S 4151 4154 31421 0 -1 1077944384 2 13017 0 0 0 0 4 3 20 0 15 0 74151104 11094274048 45374 33554432000 4194304 4196468 140733301097888 139676295882832 139677585438619 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8282112 140733301102764 140733301106012 140733301106012 140733301108687 0
[pid=4154/tid=4216] ppid=4151 vsize=10834252 memory=-2127768723096428535 CPUtime=0.25 cores=0,2,4,6
/proc/4154/task/4216/stat : 4216 (java) S 4151 4154 31421 0 -1 1077944384 1104 13017 0 0 18 0 4 3 20 0 15 0 74151104 11094274048 45374 33554432000 4194304 4196468 140733301097888 139677110930032 139677585431170 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8282112 140733301102764 140733301106012 140733301106012 140733301108687 0
[pid=4154/tid=4217] ppid=4151 vsize=10834252 memory=-2897801490638248331 CPUtime=0.3 cores=0,2,4,6
/proc/4154/task/4217/stat : 4217 (java) S 4151 4154 31421 0 -1 1077944384 1211 13017 0 0 23 0 4 3 20 0 15 0 74151104 11094274048 45374 33554432000 4194304 4196468 140733301097888 139677109877232 139677585431170 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8282112 140733301102764 140733301106012 140733301106012 140733301108687 0
[pid=4154/tid=4218] ppid=4151 vsize=10834252 memory=-2746958450906831519 CPUtime=0.37 cores=0,2,4,6
/proc/4154/task/4218/stat : 4218 (java) S 4151 4154 31421 0 -1 1077944384 1200 13017 0 0 30 0 4 3 20 0 15 0 74151104 11094274048 45374 33554432000 4194304 4196468 140733301097888 139677108824944 139677585431170 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8282112 140733301102764 140733301106012 140733301106012 140733301108687 0
[pid=4154/tid=4219] ppid=4151 vsize=10834252 memory=-6440287458061328268 CPUtime=0.07 cores=0,2,4,6
/proc/4154/task/4219/stat : 4219 (java) S 4151 4154 31421 0 -1 1077944384 3 13017 0 0 0 0 4 3 20 0 15 0 74151104 11094274048 45374 33554432000 4194304 4196468 140733301097888 139675826121696 139677585430229 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8282112 140733301102764 140733301106012 140733301106012 140733301108687 0
[pid=4154/tid=4220] ppid=4151 vsize=10834252 memory=64 CPUtime=0.07 cores=0,2,4,6
/proc/4154/task/4220/stat : 4220 (java) S 4151 4154 31421 0 -1 1077944384 1 13017 0 0 0 0 4 3 20 0 15 0 74151104 11094274048 45374 33554432000 4194304 4196468 140733301097888 139677107771824 139677585431170 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8282112 140733301102764 140733301106012 140733301106012 140733301108687 0
Current children cumulated CPU time: 2.26 s
Current children cumulated vsize: 10834252 KiB
################
# More data... #
################
/proc/4154/task/4207/stat : 4207 (java) R 4151 4154 31421 0 -1 4202560 79364 13017 0 0 237190 28 4 3 20 0 15 0 74151098 11176083456 164116 33554432000 4194304 4196468 140733301097888 139677557253488 139677196384852 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8282112 140733301102764 140733301106012 140733301106012 140733301108687 0
[pid=4154/tid=4208] ppid=4151 vsize=10914144 memory=656464 CPUtime=4.39 cores=0,2,4,6
/proc/4154/task/4208/stat : 4208 (java) S 4151 4154 31421 0 -1 1077944384 13017 13017 0 0 408 24 4 3 20 0 15 0 74151099 11176083456 164116 33554432000 4194304 4196468 140733301097888 139677589662608 139677585430229 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8282112 140733301102764 140733301106012 140733301106012 140733301108687 0
[pid=4154/tid=4209] ppid=4151 vsize=10914144 memory=656464 CPUtime=4.38 cores=0,2,4,6
/proc/4154/task/4209/stat : 4209 (java) S 4151 4154 31421 0 -1 1077944384 10590 13017 0 0 406 25 4 3 20 0 15 0 74151099 11176083456 164116 33554432000 4194304 4196468 140733301097888 139677158529808 139677585430229 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8282112 140733301102764 140733301106012 140733301106012 140733301108687 0
[pid=4154/tid=4210] ppid=4151 vsize=10914144 memory=656464 CPUtime=4.38 cores=0,2,4,6
/proc/4154/task/4210/stat : 4210 (java) S 4151 4154 31421 0 -1 1077944384 12346 13017 0 0 409 22 4 3 20 0 15 0 74151099 11176083456 164116 33554432000 4194304 4196468 140733301097888 139677157477520 139677585430229 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8282112 140733301102764 140733301106012 140733301106012 140733301108687 0
[pid=4154/tid=4211] ppid=4151 vsize=10914144 memory=656464 CPUtime=4.39 cores=0,2,4,6
/proc/4154/task/4211/stat : 4211 (java) S 4151 4154 31421 0 -1 1077944384 8427 13017 0 0 407 25 4 3 20 0 15 0 74151099 11176083456 164116 33554432000 4194304 4196468 140733301097888 139677156424720 139677585430229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8282112 140733301102764 140733301106012 140733301106012 140733301108687 0
[pid=4154/tid=4212] ppid=4151 vsize=10914144 memory=431 CPUtime=3.93 cores=0,2,4,6
/proc/4154/task/4212/stat : 4212 (java) S 4151 4154 31421 0 -1 1077944384 10867 13017 0 0 362 24 4 3 20 0 15 0 74151100 11176083456 164116 33554432000 4194304 4196468 140733301097888 139677111982192 139677585431170 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8282112 140733301102764 140733301106012 140733301106012 140733301108687 0
[pid=4154/tid=4213] ppid=4151 vsize=10914144 memory=656464 CPUtime=0.07 cores=0,2,4,6
/proc/4154/task/4213/stat : 4213 (java) S 4151 4154 31421 0 -1 1077944384 15 13017 0 0 0 0 4 3 20 0 15 0 74151101 11176083456 164116 33554432000 4194304 4196468 140733301097888 139677034079072 139677585430229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8282112 140733301102764 140733301106012 140733301106012 140733301108687 0
[pid=4154/tid=4214] ppid=4151 vsize=10914144 memory=656464 CPUtime=0.07 cores=0,2,4,6
/proc/4154/task/4214/stat : 4214 (java) S 4151 4154 31421 0 -1 1077944384 4 13017 0 0 0 0 4 3 20 0 15 0 74151101 11176083456 164116 33554432000 4194304 4196468 140733301097888 139676564317312 139677585430229 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8282112 140733301102764 140733301106012 140733301106012 140733301108687 0
[pid=4154/tid=4215] ppid=4151 vsize=10914144 memory=656464 CPUtime=0.07 cores=0,2,4,6
/proc/4154/task/4215/stat : 4215 (java) S 4151 4154 31421 0 -1 1077944384 2 13017 0 0 0 0 4 3 20 0 15 0 74151104 11176083456 164116 33554432000 4194304 4196468 140733301097888 139676295882832 139677585438619 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8282112 140733301102764 140733301106012 140733301106012 140733301108687 0
[pid=4154/tid=4216] ppid=4151 vsize=10914144 memory=656464 CPUtime=3.35 cores=0,2,4,6
/proc/4154/task/4216/stat : 4216 (java) S 4151 4154 31421 0 -1 1077944384 23666 13017 0 0 325 3 4 3 20 0 15 0 74151104 11176083456 164116 33554432000 4194304 4196468 140733301097888 139677110930032 139677585431170 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8282112 140733301102764 140733301106012 140733301106012 140733301108687 0
[pid=4154/tid=4217] ppid=4151 vsize=10914144 memory=1296 CPUtime=4.42 cores=0,2,4,6
/proc/4154/task/4217/stat : 4217 (java) S 4151 4154 31421 0 -1 1077944384 28951 13017 0 0 430 5 4 3 20 0 15 0 74151104 11176083456 164116 33554432000 4194304 4196468 140733301097888 139677109877232 139677585431170 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8282112 140733301102764 140733301106012 140733301106012 140733301108687 0
[pid=4154/tid=4218] ppid=4151 vsize=10914144 memory=656464 CPUtime=1.68 cores=0,2,4,6
/proc/4154/task/4218/stat : 4218 (java) S 4151 4154 31421 0 -1 1077944384 16213 13017 0 0 158 3 4 3 20 0 15 0 74151104 11176083456 164116 33554432000 4194304 4196468 140733301097888 139677108824944 139677585431170 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8282112 140733301102764 140733301106012 140733301106012 140733301108687 0
[pid=4154/tid=4219] ppid=4151 vsize=10914144 memory=5412 CPUtime=0.07 cores=0,2,4,6
/proc/4154/task/4219/stat : 4219 (java) S 4151 4154 31421 0 -1 1077944384 3 13017 0 0 0 0 4 3 20 0 15 0 74151104 11176083456 164116 33554432000 4194304 4196468 140733301097888 139675826121696 139677585430229 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8282112 140733301102764 140733301106012 140733301106012 140733301108687 0
[pid=4154/tid=4220] ppid=4151 vsize=10914144 memory=4612 CPUtime=1.38 cores=0,2,4,6
/proc/4154/task/4220/stat : 4220 (java) S 4151 4154 31421 0 -1 1077944384 1207 13017 0 0 66 65 4 3 20 0 15 0 74151104 11176083456 164116 33554432000 4194304 4196468 140733301097888 139677107771824 139677585431170 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8282112 140733301102764 140733301106012 140733301106012 140733301108687 0
Current children cumulated CPU time: 2404.04 s
Current children cumulated vsize: 10914144 KiB
Current children cumulated memory: 656464 KiB
[startup+2442.3 s]
/proc/loadavg: 1.30 1.37 1.40 3/216 4601
/proc/meminfo: memFree=11969912/32770624 swapFree=67108860/67108860
[pid=4154] ppid=4151 vsize=10914144 memory=656464 CPUtime=2464.33 cores=0,2,4,6
/proc/4154/stat : 4154 (java) S 4151 4154 31421 0 -1 1077944320 207449 13017 0 0 246231 195 4 3 20 0 15 0 74151089 11176083456 164116 33554432000 4194304 4196468 140733301097888 140733301080432 139677585420023 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 8282112 140733301102764 140733301106012 140733301106012 140733301108687 0
/proc/4154/statm: 2728536 164116 3521 1 0 2690189 0
[pid=4154/tid=4207] ppid=4151 vsize=10914144 memory=656464 CPUtime=2432.02 cores=0,2,4,6
/proc/4154/task/4207/stat : 4207 (java) R 4151 4154 31421 0 -1 4202560 79637 13017 0 0 243167 28 4 3 20 0 15 0 74151098 11176083456 164116 33554432000 4194304 4196468 140733301097888 139677557253648 139677193228590 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8282112 140733301102764 140733301106012 140733301106012 140733301108687 0
[pid=4154/tid=4208] ppid=4151 vsize=10914144 memory=656464 CPUtime=4.49 cores=0,2,4,6
/proc/4154/task/4208/stat : 4208 (java) S 4151 4154 31421 0 -1 1077944384 13064 13017 0 0 418 24 4 3 20 0 15 0 74151099 11176083456 164116 33554432000 4194304 4196468 140733301097888 139677589662608 139677585430229 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8282112 140733301102764 140733301106012 140733301106012 140733301108687 0
[pid=4154/tid=4209] ppid=4151 vsize=10914144 memory=656464 CPUtime=4.47 cores=0,2,4,6
/proc/4154/task/4209/stat : 4209 (java) S 4151 4154 31421 0 -1 1077944384 10606 13017 0 0 415 25 4 3 20 0 15 0 74151099 11176083456 164116 33554432000 4194304 4196468 140733301097888 139677158529808 139677585430229 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8282112 140733301102764 140733301106012 140733301106012 140733301108687 0
[pid=4154/tid=4210] ppid=4151 vsize=10914144 memory=656464 CPUtime=4.48 cores=0,2,4,6
/proc/4154/task/4210/stat : 4210 (java) S 4151 4154 31421 0 -1 1077944384 12392 13017 0 0 418 23 4 3 20 0 15 0 74151099 11176083456 164116 33554432000 4194304 4196468 140733301097888 139677157477520 139677585430229 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8282112 140733301102764 140733301106012 140733301106012 140733301108687 0
[pid=4154/tid=4211] ppid=4151 vsize=10914144 memory=656464 CPUtime=4.49 cores=0,2,4,6
/proc/4154/task/4211/stat : 4211 (java) S 4151 4154 31421 0 -1 1077944384 8433 13017 0 0 416 26 4 3 20 0 15 0 74151099 11176083456 164116 33554432000 4194304 4196468 140733301097888 139677156424720 139677585430229 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8282112 140733301102764 140733301106012 140733301106012 140733301108687 0
[pid=4154/tid=4212] ppid=4151 vsize=10914144 memory=656464 CPUtime=4.01 cores=0,2,4,6
/proc/4154/task/4212/stat : 4212 (java) S 4151 4154 31421 0 -1 1077944384 11043 13017 0 0 370 24 4 3 20 0 15 0 74151100 11176083456 164116 33554432000 4194304 4196468 140733301097888 139677111982192 139677585431170 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8282112 140733301102764 140733301106012 140733301106012 140733301108687 0
[pid=4154/tid=4213] ppid=4151 vsize=10914144 memory=656464 CPUtime=0.07 cores=0,2,4,6
/proc/4154/task/4213/stat : 4213 (java) S 4151 4154 31421 0 -1 1077944384 15 13017 0 0 0 0 4 3 20 0 15 0 74151101 11176083456 164116 33554432000 4194304 4196468 140733301097888 139677034079072 139677585430229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8282112 140733301102764 140733301106012 140733301106012 140733301108687 0
[pid=4154/tid=4214] ppid=4151 vsize=10914144 memory=656464 CPUtime=0.07 cores=0,2,4,6
/proc/4154/task/4214/stat : 4214 (java) S 4151 4154 31421 0 -1 1077944384 4 13017 0 0 0 0 4 3 20 0 15 0 74151101 11176083456 164116 33554432000 4194304 4196468 140733301097888 139676564317312 139677585430229 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8282112 140733301102764 140733301106012 140733301106012 140733301108687 0
[pid=4154/tid=4215] ppid=4151 vsize=10914144 memory=656464 CPUtime=0.07 cores=0,2,4,6
/proc/4154/task/4215/stat : 4215 (java) S 4151 4154 31421 0 -1 1077944384 2 13017 0 0 0 0 4 3 20 0 15 0 74151104 11176083456 164116 33554432000 4194304 4196468 140733301097888 139676295882832 139677585438619 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8282112 140733301102764 140733301106012 140733301106012 140733301108687 0
[pid=4154/tid=4216] ppid=4151 vsize=10914144 memory=656464 CPUtime=3.35 cores=0,2,4,6
/proc/4154/task/4216/stat : 4216 (java) S 4151 4154 31421 0 -1 1077944384 23668 13017 0 0 325 3 4 3 20 0 15 0 74151104 11176083456 164116 33554432000 4194304 4196468 140733301097888 139677110930032 139677585431170 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8282112 140733301102764 140733301106012 140733301106012 140733301108687 0
[pid=4154/tid=4217] ppid=4151 vsize=10914144 memory=656464 CPUtime=4.42 cores=0,2,4,6
/proc/4154/task/4217/stat : 4217 (java) S 4151 4154 31421 0 -1 1077944384 28953 13017 0 0 430 5 4 3 20 0 15 0 74151104 11176083456 164116 33554432000 4194304 4196468 140733301097888 139677109877232 139677585431170 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8282112 140733301102764 140733301106012 140733301106012 140733301108687 0
[pid=4154/tid=4218] ppid=4151 vsize=10914144 memory=656464 CPUtime=1.68 cores=0,2,4,6
/proc/4154/task/4218/stat : 4218 (java) S 4151 4154 31421 0 -1 1077944384 16216 13017 0 0 158 3 4 3 20 0 15 0 74151104 11176083456 164116 33554432000 4194304 4196468 140733301097888 139677108824944 139677585431170 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8282112 140733301102764 140733301106012 140733301106012 140733301108687 0
[pid=4154/tid=4219] ppid=4151 vsize=10914144 memory=656464 CPUtime=0.07 cores=0,2,4,6
/proc/4154/task/4219/stat : 4219 (java) S 4151 4154 31421 0 -1 1077944384 3 13017 0 0 0 0 4 3 20 0 15 0 74151104 11176083456 164116 33554432000 4194304 4196468 140733301097888 139675826121696 139677585430229 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8282112 140733301102764 140733301106012 140733301106012 140733301108687 0
[pid=4154/tid=4220] ppid=4151 vsize=10914144 memory=2340 CPUtime=1.42 cores=0,2,4,6
/proc/4154/task/4220/stat : 4220 (java) S 4151 4154 31421 0 -1 1077944384 1225 13017 0 0 69 66 4 3 20 0 15 0 74151104 11176083456 164116 33554432000 4194304 4196468 140733301097888 139677107771824 139677585431170 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8282112 140733301102764 140733301106012 140733301106012 140733301108687 0
Current children cumulated CPU time: 2464.33 s
Current children cumulated vsize: 10914144 KiB
Current children cumulated memory: 656464 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2497.7 s]
/proc/loadavg: 1.09 1.31 1.38 3/216 4602
/proc/meminfo: memFree=11968252/32770624 swapFree=67108860/67108860
[pid=4154] ppid=4151 vsize=10914144 memory=658512 CPUtime=2520.01 cores=0,2,4,6
/proc/4154/stat : 4154 (java) S 4151 4154 31421 0 -1 1077944320 208432 13017 0 0 251796 198 4 3 20 0 15 0 74151089 11176083456 164628 33554432000 4194304 4196468 140733301097888 140733301080432 139677585420023 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 8282112 140733301102764 140733301106012 140733301106012 140733301108687 0
/proc/4154/statm: 2728536 164628 3521 1 0 2690189 0
[pid=4154/tid=4207] ppid=4151 vsize=10914144 memory=658512 CPUtime=2487.23 cores=0,2,4,6
/proc/4154/task/4207/stat : 4207 (java) R 4151 4154 31421 0 -1 4202560 79966 13017 0 0 248687 29 4 3 20 0 15 0 74151098 11176083456 164628 33554432000 4194304 4196468 140733301097888 139677557253520 139677199314331 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8282112 140733301102764 140733301106012 140733301106012 140733301108687 0
[pid=4154/tid=4208] ppid=4151 vsize=10914144 memory=658512 CPUtime=4.59 cores=0,2,4,6
/proc/4154/task/4208/stat : 4208 (java) S 4151 4154 31421 0 -1 1077944384 13167 13017 0 0 427 25 4 3 20 0 15 0 74151099 11176083456 164628 33554432000 4194304 4196468 140733301097888 139677589662608 139677585430229 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8282112 140733301102764 140733301106012 140733301106012 140733301108687 0
[pid=4154/tid=4209] ppid=4151 vsize=10914144 memory=658512 CPUtime=4.56 cores=0,2,4,6
/proc/4154/task/4209/stat : 4209 (java) S 4151 4154 31421 0 -1 1077944384 10616 13017 0 0 424 25 4 3 20 0 15 0 74151099 11176083456 164628 33554432000 4194304 4196468 140733301097888 139677158529808 139677585430229 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8282112 140733301102764 140733301106012 140733301106012 140733301108687 0
[pid=4154/tid=4210] ppid=4151 vsize=10914144 memory=656464 CPUtime=4.57 cores=0,2,4,6
/proc/4154/task/4210/stat : 4210 (java) S 4151 4154 31421 0 -1 1077944384 12444 13017 0 0 427 23 4 3 20 0 15 0 74151099 11176083456 164628 33554432000 4194304 4196468 140733301097888 139677157477520 139677585430229 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8282112 140733301102764 140733301106012 140733301106012 140733301108687 0
[pid=4154/tid=4211] ppid=4151 vsize=10914144 memory=656464 CPUtime=4.58 cores=0,2,4,6
/proc/4154/task/4211/stat : 4211 (java) S 4151 4154 31421 0 -1 1077944384 8706 13017 0 0 425 26 4 3 20 0 15 0 74151099 11176083456 164628 33554432000 4194304 4196468 140733301097888 139677156424720 139677585430229 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8282112 140733301102764 140733301106012 140733301106012 140733301108687 0
[pid=4154/tid=4212] ppid=4151 vsize=10914144 memory=658512 CPUtime=4.1 cores=0,2,4,6
/proc/4154/task/4212/stat : 4212 (java) S 4151 4154 31421 0 -1 1077944384 11235 13017 0 0 378 25 4 3 20 0 15 0 74151100 11176083456 164628 33554432000 4194304 4196468 140733301097888 139677111982192 139677585431170 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8282112 140733301102764 140733301106012 140733301106012 140733301108687 0
[pid=4154/tid=4213] ppid=4151 vsize=10914144 memory=55 CPUtime=0.07 cores=0,2,4,6
/proc/4154/task/4213/stat : 4213 (java) S 4151 4154 31421 0 -1 1077944384 15 13017 0 0 0 0 4 3 20 0 15 0 74151101 11176083456 164628 33554432000 4194304 4196468 140733301097888 139677034079072 139677585430229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8282112 140733301102764 140733301106012 140733301106012 140733301108687 0
[pid=4154/tid=4214] ppid=4151 vsize=10914144 memory=658512 CPUtime=0.07 cores=0,2,4,6
/proc/4154/task/4214/stat : 4214 (java) S 4151 4154 31421 0 -1 1077944384 4 13017 0 0 0 0 4 3 20 0 15 0 74151101 11176083456 164628 33554432000 4194304 4196468 140733301097888 139676564317312 139677585430229 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8282112 140733301102764 140733301106012 140733301106012 140733301108687 0
[pid=4154/tid=4215] ppid=4151 vsize=10914144 memory=658512 CPUtime=0.07 cores=0,2,4,6
/proc/4154/task/4215/stat : 4215 (java) S 4151 4154 31421 0 -1 1077944384 2 13017 0 0 0 0 4 3 20 0 15 0 74151104 11176083456 164628 33554432000 4194304 4196468 140733301097888 139676295882832 139677585438619 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8282112 140733301102764 140733301106012 140733301106012 140733301108687 0
[pid=4154/tid=4216] ppid=4151 vsize=10914144 memory=658512 CPUtime=3.35 cores=0,2,4,6
/proc/4154/task/4216/stat : 4216 (java) S 4151 4154 31421 0 -1 1077944384 23670 13017 0 0 325 3 4 3 20 0 15 0 74151104 11176083456 164628 33554432000 4194304 4196468 140733301097888 139677110930032 139677585431170 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8282112 140733301102764 140733301106012 140733301106012 140733301108687 0
[pid=4154/tid=4217] ppid=4151 vsize=10914144 memory=658512 CPUtime=4.42 cores=0,2,4,6
/proc/4154/task/4217/stat : 4217 (java) S 4151 4154 31421 0 -1 1077944384 28955 13017 0 0 430 5 4 3 20 0 15 0 74151104 11176083456 164628 33554432000 4194304 4196468 140733301097888 139677109877232 139677585431170 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8282112 140733301102764 140733301106012 140733301106012 140733301108687 0
[pid=4154/tid=4218] ppid=4151 vsize=10914144 memory=658512 CPUtime=1.68 cores=0,2,4,6
/proc/4154/task/4218/stat : 4218 (java) S 4151 4154 31421 0 -1 1077944384 16218 13017 0 0 158 3 4 3 20 0 15 0 74151104 11176083456 164628 33554432000 4194304 4196468 140733301097888 139677108824944 139677585431170 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8282112 140733301102764 140733301106012 140733301106012 140733301108687 0
[pid=4154/tid=4219] ppid=4151 vsize=10914144 memory=658512 CPUtime=0.07 cores=0,2,4,6
/proc/4154/task/4219/stat : 4219 (java) S 4151 4154 31421 0 -1 1077944384 3 13017 0 0 0 0 4 3 20 0 15 0 74151104 11176083456 164628 33554432000 4194304 4196468 140733301097888 139675826121696 139677585430229 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8282112 140733301102764 140733301106012 140733301106012 140733301108687 0
[pid=4154/tid=4220] ppid=4151 vsize=10914144 memory=658512 CPUtime=1.45 cores=0,2,4,6
/proc/4154/task/4220/stat : 4220 (java) S 4151 4154 31421 0 -1 1077944384 1243 13017 0 0 70 68 4 3 20 0 15 0 74151104 11176083456 164628 33554432000 4194304 4196468 140733301097888 139677107771824 139677585431170 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8282112 140733301102764 140733301106012 140733301106012 140733301108687 0
Current children cumulated CPU time: 2520.01 s
Current children cumulated vsize: 10914144 KiB
Current children cumulated memory: 658512 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2497.73 s]
# the end of solver process 4154 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2518.02 s, system=2.03542 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2497.7 s]
/proc/loadavg: 1.09 1.31 1.38 3/216 4602
/proc/meminfo: memFree=11968252/32770624 swapFree=67108860/67108860
[pid=4154] ppid=4151 vsize=10914144 memory=658512 CPUtime=2520.01 cores=0,2,4,6
/proc/4154/stat : 4154 (java) S 4151 4154 31421 0 -1 1077944320 208432 13017 0 0 251796 198 4 3 20 0 15 0 74151089 11176083456 164628 33554432000 4194304 4196468 140733301097888 140733301080432 139677585420023 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 8282112 140733301102764 140733301106012 140733301106012 140733301108687 0
/proc/4154/statm: 2728536 164628 3521 1 0 2690189 0
[pid=4154/tid=4207] ppid=4151 vsize=10914144 memory=658512 CPUtime=2487.23 cores=0,2,4,6
/proc/4154/task/4207/stat : 4207 (java) R 4151 4154 31421 0 -1 4202560 79966 13017 0 0 248687 29 4 3 20 0 15 0 74151098 11176083456 164628 33554432000 4194304 4196468 140733301097888 139677557253520 139677199314331 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8282112 140733301102764 140733301106012 140733301106012 140733301108687 0
[pid=4154/tid=4208] ppid=4151 vsize=10914144 memory=658512 CPUtime=4.59 cores=0,2,4,6
/proc/4154/task/4208/stat : 4208 (java) S 4151 4154 31421 0 -1 1077944384 13167 13017 0 0 427 25 4 3 20 0 15 0 74151099 11176083456 164628 33554432000 4194304 4196468 140733301097888 139677589662608 139677585430229 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8282112 140733301102764 140733301106012 140733301106012 140733301108687 0
[pid=4154/tid=4209] ppid=4151 vsize=10914144 memory=658512 CPUtime=4.56 cores=0,2,4,6
/proc/4154/task/4209/stat : 4209 (java) S 4151 4154 31421 0 -1 1077944384 10616 13017 0 0 424 25 4 3 20 0 15 0 74151099 11176083456 164628 33554432000 4194304 4196468 140733301097888 139677158529808 139677585430229 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8282112 140733301102764 140733301106012 140733301106012 140733301108687 0
[pid=4154/tid=4210] ppid=4151 vsize=10914144 memory=656464 CPUtime=4.57 cores=0,2,4,6
/proc/4154/task/4210/stat : 4210 (java) S 4151 4154 31421 0 -1 1077944384 12444 13017 0 0 427 23 4 3 20 0 15 0 74151099 11176083456 164628 33554432000 4194304 4196468 140733301097888 139677157477520 139677585430229 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8282112 140733301102764 140733301106012 140733301106012 140733301108687 0
[pid=4154/tid=4211] ppid=4151 vsize=10914144 memory=656464 CPUtime=4.58 cores=0,2,4,6
/proc/4154/task/4211/stat : 4211 (java) S 4151 4154 31421 0 -1 1077944384 8706 13017 0 0 425 26 4 3 20 0 15 0 74151099 11176083456 164628 33554432000 4194304 4196468 140733301097888 139677156424720 139677585430229 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8282112 140733301102764 140733301106012 140733301106012 140733301108687 0
[pid=4154/tid=4212] ppid=4151 vsize=10914144 memory=658512 CPUtime=4.1 cores=0,2,4,6
/proc/4154/task/4212/stat : 4212 (java) S 4151 4154 31421 0 -1 1077944384 11235 13017 0 0 378 25 4 3 20 0 15 0 74151100 11176083456 164628 33554432000 4194304 4196468 140733301097888 139677111982192 139677585431170 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8282112 140733301102764 140733301106012 140733301106012 140733301108687 0
[pid=4154/tid=4213] ppid=4151 vsize=10914144 memory=55 CPUtime=0.07 cores=0,2,4,6
/proc/4154/task/4213/stat : 4213 (java) S 4151 4154 31421 0 -1 1077944384 15 13017 0 0 0 0 4 3 20 0 15 0 74151101 11176083456 164628 33554432000 4194304 4196468 140733301097888 139677034079072 139677585430229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8282112 140733301102764 140733301106012 140733301106012 140733301108687 0
[pid=4154/tid=4214] ppid=4151 vsize=10914144 memory=658512 CPUtime=0.07 cores=0,2,4,6
/proc/4154/task/4214/stat : 4214 (java) S 4151 4154 31421 0 -1 1077944384 4 13017 0 0 0 0 4 3 20 0 15 0 74151101 11176083456 164628 33554432000 4194304 4196468 140733301097888 139676564317312 139677585430229 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8282112 140733301102764 140733301106012 140733301106012 140733301108687 0
[pid=4154/tid=4215] ppid=4151 vsize=10914144 memory=658512 CPUtime=0.07 cores=0,2,4,6
/proc/4154/task/4215/stat : 4215 (java) S 4151 4154 31421 0 -1 1077944384 2 13017 0 0 0 0 4 3 20 0 15 0 74151104 11176083456 164628 33554432000 4194304 4196468 140733301097888 139676295882832 139677585438619 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8282112 140733301102764 140733301106012 140733301106012 140733301108687 0
[pid=4154/tid=4216] ppid=4151 vsize=10914144 memory=658512 CPUtime=3.35 cores=0,2,4,6
/proc/4154/task/4216/stat : 4216 (java) S 4151 4154 31421 0 -1 1077944384 23670 13017 0 0 325 3 4 3 20 0 15 0 74151104 11176083456 164628 33554432000 4194304 4196468 140733301097888 139677110930032 139677585431170 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8282112 140733301102764 140733301106012 140733301106012 140733301108687 0
[pid=4154/tid=4217] ppid=4151 vsize=10914144 memory=658512 CPUtime=4.42 cores=0,2,4,6
/proc/4154/task/4217/stat : 4217 (java) S 4151 4154 31421 0 -1 1077944384 28955 13017 0 0 430 5 4 3 20 0 15 0 74151104 11176083456 164628 33554432000 4194304 4196468 140733301097888 139677109877232 139677585431170 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8282112 140733301102764 140733301106012 140733301106012 140733301108687 0
[pid=4154/tid=4218] ppid=4151 vsize=10914144 memory=658512 CPUtime=1.68 cores=0,2,4,6
/proc/4154/task/4218/stat : 4218 (java) S 4151 4154 31421 0 -1 1077944384 16218 13017 0 0 158 3 4 3 20 0 15 0 74151104 11176083456 164628 33554432000 4194304 4196468 140733301097888 139677108824944 139677585431170 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8282112 140733301102764 140733301106012 140733301106012 140733301108687 0
[pid=4154/tid=4219] ppid=4151 vsize=10914144 memory=658512 CPUtime=0.07 cores=0,2,4,6
/proc/4154/task/4219/stat : 4219 (java) S 4151 4154 31421 0 -1 1077944384 3 13017 0 0 0 0 4 3 20 0 15 0 74151104 11176083456 164628 33554432000 4194304 4196468 140733301097888 139675826121696 139677585430229 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8282112 140733301102764 140733301106012 140733301106012 140733301108687 0
[pid=4154/tid=4220] ppid=4151 vsize=10914144 memory=658512 CPUtime=1.45 cores=0,2,4,6
/proc/4154/task/4220/stat : 4220 (java) S 4151 4154 31421 0 -1 1077944384 1243 13017 0 0 70 68 4 3 20 0 15 0 74151104 11176083456 164628 33554432000 4194304 4196468 140733301097888 139677107771824 139677585431170 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8282112 140733301102764 140733301106012 140733301106012 140733301108687 0
Current children cumulated CPU time: 2520.01 s
Current children cumulated vsize: 10914144 KiB
Current children cumulated memory: 658512 KiB
Child status: 143
Real time (s): 2497.73
CPU time (s): 2520.06
CPU user time (s): 2518.02
CPU system time (s): 2.03542
CPU usage (%): 100.894
Max. virtual memory (cumulated for all children) (KiB): 10916952
Max. memory (cumulated for all children) (KiB): 779672
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2518.02
system time used= 2.03542
maximum resident set size= 783268
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 222490
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2992
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 143625
involuntary context switches= 7295
# summary of solver processes directly reported to runsolver:
# pid: 4154
# total CPU time (s): 2520.06
# total CPU user time (s): 2518.02
# total CPU system time (s): 2.03542
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.0445 second user time and 23.9178 second system time
The end