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 (2044 MiB free)
memory of node 1: 16384 MiB (3481 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4402579-1568975760/watcher-4402579-1568975760 -o /var/tmp/evaluation-result-4402579-1568975760/solver-4402579-1568975760 -C 2520 -W 2520 -M 15500 --bin-var /var/tmp/runsolver-exch-node126-1568967600-16260 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=2142651045 HOME/instance-4402579-1568975760.xml
running on 4 cores: 1,3,5,7
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
solver pid=18561, runsolver pid=18558
Current StackSize limit: 8192 KiB
[startup+0.100124 s]*
/proc/loadavg: 1.32 1.28 1.32 3/218 18618
/proc/meminfo: memFree=5650496/32770624 swapFree=66992924/67108860
[pid=18561] ppid=18558 vsize=9972712 memory=19124 CPUtime=0.09 cores=1,3,5,7
/proc/18561/stat : 18561 (java) S 18558 18561 16228 0 -1 1077944320 4518 13108 0 0 2 0 5 2 20 0 6 0 473843755 10212057088 4781 33554432000 4194304 4196468 140730748533952 140730748516496 140511957942007 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 30093312 140730748541539 140730748544181 140730748544181 140730748547023 0
/proc/18561/statm: 2493178 4781 1935 1 0 2481616 0
[pid=18561/tid=18614] ppid=18558 vsize=9972712 memory=720575944405811505 CPUtime=0.08 cores=1,3,5,7
/proc/18561/task/18614/stat : 18614 (java) R 18558 18561 16228 0 -1 4202560 2305 13108 0 0 1 0 5 2 20 0 6 0 473843764 10212057088 4781 33554432000 4194304 4196468 140730748533952 140511929778768 140511935536736 0 4 0 16784584 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30093312 140730748541539 140730748544181 140730748544181 140730748547023 0
[pid=18561/tid=18615] ppid=18558 vsize=9972712 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18561/task/18615/stat : 18615 (java) S 18558 18561 16228 0 -1 1077944384 1 13108 0 0 0 0 5 2 20 0 6 0 473843764 10212057088 4781 33554432000 4194304 4196468 140730748533952 140511962184720 140511957952213 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30093312 140730748541539 140730748544181 140730748544181 140730748547023 0
[pid=18561/tid=18616] ppid=18558 vsize=9976824 memory=139940924242701 CPUtime=0.07 cores=1,3,5,7
/proc/18561/task/18616/stat : 18616 (java) S 18558 18561 16228 0 -1 1077944384 1 13108 0 0 0 0 5 2 20 0 6 0 473843764 10216267776 4781 33554432000 4194304 4196468 140730748533952 140511877004432 140511957952213 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30093312 140730748541539 140730748544181 140730748544181 140730748547023 0
[pid=18561/tid=18617] ppid=18558 vsize=9983520 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18561/task/18617/stat : 18617 (java) S 18558 18561 16228 0 -1 1077944384 1 13108 0 0 0 0 5 2 20 0 6 0 473843764 10223124480 4781 33554432000 4194304 4196468 140730748533952 140511875951376 140511957952213 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30093312 140730748541539 140730748544181 140730748544181 140730748547023 0
[pid=18561/tid=18618] ppid=18558 vsize=9988792 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18561/task/18618/stat : 18618 (java) S 18558 18561 16228 0 -1 1077944384 2 13108 0 0 0 0 5 2 20 0 6 0 473843764 10228523008 4781 33554432000 4194304 4196468 140730748533952 140511874898832 140511957952213 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30093312 140730748541539 140730748544181 140730748544181 140730748547023 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 19124 KiB
[startup+0.210626 s]*
/proc/loadavg: 1.32 1.28 1.32 3/227 18627
/proc/meminfo: memFree=5628876/32770624 swapFree=66992924/67108860
[pid=18561] ppid=18558 vsize=10819840 memory=45236 CPUtime=0.25 cores=1,3,5,7
/proc/18561/stat : 18561 (java) S 18558 18561 16228 0 -1 1077944320 7210 13108 0 0 17 1 5 2 20 0 15 0 473843755 11079516160 11309 33554432000 4194304 4196468 140730748533952 140730748516496 140511957942007 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 30093312 140730748541539 140730748544181 140730748544181 140730748547023 0
/proc/18561/statm: 2704960 11309 3184 1 0 2667149 0
[pid=18561/tid=18614] ppid=18558 vsize=10820000 memory=753035770744996145 CPUtime=0.18 cores=1,3,5,7
/proc/18561/task/18614/stat : 18614 (java) R 18558 18561 16228 0 -1 4202560 3760 13108 0 0 11 0 5 2 20 0 15 0 473843764 11079680000 11374 33554432000 4194304 4196468 140730748533952 140511929753040 140511881018341 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30093312 140730748541539 140730748544181 140730748544181 140730748547023 0
[pid=18561/tid=18615] ppid=18558 vsize=10820000 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18561/task/18615/stat : 18615 (java) S 18558 18561 16228 0 -1 1077944384 1 13108 0 0 0 0 5 2 20 0 15 0 473843764 11079680000 11374 33554432000 4194304 4196468 140730748533952 140511962184720 140511957952213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30093312 140730748541539 140730748544181 140730748544181 140730748547023 0
[pid=18561/tid=18616] ppid=18558 vsize=10820000 memory=139940924242701 CPUtime=0.07 cores=1,3,5,7
/proc/18561/task/18616/stat : 18616 (java) S 18558 18561 16228 0 -1 1077944384 1 13108 0 0 0 0 5 2 20 0 15 0 473843764 11079680000 11374 33554432000 4194304 4196468 140730748533952 140511877004432 140511957952213 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30093312 140730748541539 140730748544181 140730748544181 140730748547023 0
[pid=18561/tid=18617] ppid=18558 vsize=10820000 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18561/task/18617/stat : 18617 (java) S 18558 18561 16228 0 -1 1077944384 1 13108 0 0 0 0 5 2 20 0 15 0 473843764 11079680000 11374 33554432000 4194304 4196468 140730748533952 140511875951376 140511957952213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30093312 140730748541539 140730748544181 140730748544181 140730748547023 0
[pid=18561/tid=18618] ppid=18558 vsize=10820000 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18561/task/18618/stat : 18618 (java) S 18558 18561 16228 0 -1 1077944384 2 13108 0 0 0 0 5 2 20 0 15 0 473843764 11079680000 11374 33554432000 4194304 4196468 140730748533952 140511874898832 140511957952213 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30093312 140730748541539 140730748544181 140730748544181 140730748547023 0
[pid=18561/tid=18619] ppid=18558 vsize=10820000 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18561/task/18619/stat : 18619 (java) S 18558 18561 16228 0 -1 1077944384 2 13108 0 0 0 0 5 2 20 0 15 0 473843766 11079680000 11374 33554432000 4194304 4196468 140730748533952 140511484631280 140511957953154 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30093312 140730748541539 140730748544181 140730748544181 140730748547023 0
[pid=18561/tid=18620] ppid=18558 vsize=10820000 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/18561/task/18620/stat : 18620 (java) S 18558 18561 16228 0 -1 1077944384 13 13108 0 0 0 0 5 2 20 0 15 0 473843766 11079680000 11374 33554432000 4194304 4196468 140730748533952 140511398585504 140511957952213 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30093312 140730748541539 140730748544181 140730748544181 140730748547023 0
[pid=18561/tid=18621] ppid=18558 vsize=10820000 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18561/task/18621/stat : 18621 (java) S 18558 18561 16228 0 -1 1077944384 1 13108 0 0 0 0 5 2 20 0 15 0 473843767 11079680000 11374 33554432000 4194304 4196468 140730748533952 140511264367344 140511957952213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30093312 140730748541539 140730748544181 140730748544181 140730748547023 0
[pid=18561/tid=18622] ppid=18558 vsize=10820164 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18561/task/18622/stat : 18622 (java) S 18558 18561 16228 0 -1 1077944384 2 13108 0 0 0 0 5 2 20 0 15 0 473843769 11079847936 11374 33554432000 4194304 4196468 140730748533952 140510660388816 140511957960603 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30093312 140730748541539 140730748544181 140730748544181 140730748547023 0
[pid=18561/tid=18623] ppid=18558 vsize=10820164 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/18561/task/18623/stat : 18623 (java) S 18558 18561 16228 0 -1 1077944384 469 13108 0 0 1 0 5 2 20 0 15 0 473843769 11079847936 11374 33554432000 4194304 4196468 140730748533952 140511483579120 140511957953154 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30093312 140730748541539 140730748544181 140730748544181 140730748547023 0
[pid=18561/tid=18624] ppid=18558 vsize=10820164 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/18561/task/18624/stat : 18624 (java) S 18558 18561 16228 0 -1 1077944384 188 13108 0 0 0 0 5 2 20 0 15 0 473843769 11079847936 11374 33554432000 4194304 4196468 140730748533952 140511482526576 140511957953154 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30093312 140730748541539 140730748544181 140730748544181 140730748547023 0
[pid=18561/tid=18625] ppid=18558 vsize=10820164 memory=139940924225152 CPUtime=0.1 cores=1,3,5,7
/proc/18561/task/18625/stat : 18625 (java) S 18558 18561 16228 0 -1 1077944384 602 13108 0 0 3 0 5 2 20 0 15 0 473843769 11079847936 11374 33554432000 4194304 4196468 140730748533952 140511481473520 140511957953154 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30093312 140730748541539 140730748544181 140730748544181 140730748547023 0
[pid=18561/tid=18626] ppid=18558 vsize=10820164 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/18561/task/18626/stat : 18626 (java) S 18558 18561 16228 0 -1 1077944384 3 13108 0 0 0 0 5 2 20 0 15 0 473843770 11079847936 11374 33554432000 4194304 4196468 140730748533952 140510190627680 140511957952213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30093312 140730748541539 140730748544181 140730748544181 140730748547023 0
[pid=18561/tid=18627] ppid=18558 vsize=10820164 memory=139940924225152 CPUtime=0.07 cores=1,3,5,7
/proc/18561/task/18627/stat : 18627 (java) S 18558 18561 16228 0 -1 1077944384 1 13108 0 0 0 0 5 2 20 0 15 0 473843770 11079847936 11374 33554432000 4194304 4196468 140730748533952 140511480420912 140511957953154 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30093312 140730748541539 140730748544181 140730748544181 140730748547023 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 10819840 KiB
Current children cumulated memory: 45236 KiB
[startup+0.310788 s]*
/proc/loadavg: 1.32 1.28 1.32 3/227 18627
/proc/meminfo: memFree=5616444/32770624 swapFree=66992924/67108860
[pid=18561] ppid=18558 vsize=10820196 memory=54092 CPUtime=0.39 cores=1,3,5,7
/proc/18561/stat : 18561 (java) S 18558 18561 16228 0 -1 1077944320 10741 13108 0 0 29 3 5 2 20 0 15 0 473843755 11079880704 13523 33554432000 4194304 4196468 140730748533952 140730748516496 140511957942007 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 30093312 140730748541539 140730748544181 140730748544181 140730748547023 0
/proc/18561/statm: 2705049 13523 3310 1 0 2667149 0
[pid=18561/tid=18614] ppid=18558 vsize=10820196 memory=1398722017469774279 CPUtime=0.28 cores=1,3,5,7
/proc/18561/task/18614/stat : 18614 (java) R 18558 18561 16228 0 -1 4202560 7220 13108 0 0 19 2 5 2 20 0 15 0 473843764 11079880704 13523 33554432000 4194304 4196468 140730748533952 140511929753552 140511942022524 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30093312 140730748541539 140730748544181 140730748544181 140730748547023 0
[pid=18561/tid=18615] ppid=18558 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18561/task/18615/stat : 18615 (java) S 18558 18561 16228 0 -1 1077944384 1 13108 0 0 0 0 5 2 20 0 15 0 473843764 11079880704 13523 33554432000 4194304 4196468 140730748533952 140511962184720 140511957952213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30093312 140730748541539 140730748544181 140730748544181 140730748547023 0
[pid=18561/tid=18616] ppid=18558 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18561/task/18616/stat : 18616 (java) S 18558 18561 16228 0 -1 1077944384 1 13108 0 0 0 0 5 2 20 0 15 0 473843764 11079880704 13523 33554432000 4194304 4196468 140730748533952 140511877004432 140511957952213 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30093312 140730748541539 140730748544181 140730748544181 140730748547023 0
[pid=18561/tid=18617] ppid=18558 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18561/task/18617/stat : 18617 (java) S 18558 18561 16228 0 -1 1077944384 1 13108 0 0 0 0 5 2 20 0 15 0 473843764 11079880704 13523 33554432000 4194304 4196468 140730748533952 140511875951376 140511957952213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30093312 140730748541539 140730748544181 140730748544181 140730748547023 0
[pid=18561/tid=18618] ppid=18558 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18561/task/18618/stat : 18618 (java) S 18558 18561 16228 0 -1 1077944384 2 13108 0 0 0 0 5 2 20 0 15 0 473843764 11079880704 13523 33554432000 4194304 4196468 140730748533952 140511874898832 140511957952213 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30093312 140730748541539 140730748544181 140730748544181 140730748547023 0
[pid=18561/tid=18619] ppid=18558 vsize=10820196 memory=139940924225151 CPUtime=0.07 cores=1,3,5,7
/proc/18561/task/18619/stat : 18619 (java) S 18558 18561 16228 0 -1 1077944384 2 13108 0 0 0 0 5 2 20 0 15 0 473843766 11079880704 13523 33554432000 4194304 4196468 140730748533952 140511484631280 140511957953154 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30093312 140730748541539 140730748544181 140730748544181 140730748547023 0
[pid=18561/tid=18620] ppid=18558 vsize=10820196 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/18561/task/18620/stat : 18620 (java) S 18558 18561 16228 0 -1 1077944384 13 13108 0 0 0 0 5 2 20 0 15 0 473843766 11079880704 13523 33554432000 4194304 4196468 140730748533952 140511398585504 140511957952213 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30093312 140730748541539 140730748544181 140730748544181 140730748547023 0
[pid=18561/tid=18621] ppid=18558 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18561/task/18621/stat : 18621 (java) S 18558 18561 16228 0 -1 1077944384 1 13108 0 0 0 0 5 2 20 0 15 0 473843767 11079880704 13523 33554432000 4194304 4196468 140730748533952 140511264367344 140511957952213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30093312 140730748541539 140730748544181 140730748544181 140730748547023 0
[pid=18561/tid=18622] ppid=18558 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18561/task/18622/stat : 18622 (java) S 18558 18561 16228 0 -1 1077944384 2 13108 0 0 0 0 5 2 20 0 15 0 473843769 11079880704 13523 33554432000 4194304 4196468 140730748533952 140510660388816 140511957960603 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30093312 140730748541539 140730748544181 140730748544181 140730748547023 0
[pid=18561/tid=18623] ppid=18558 vsize=10820196 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/18561/task/18623/stat : 18623 (java) S 18558 18561 16228 0 -1 1077944384 470 13108 0 0 2 0 5 2 20 0 15 0 473843769 11079880704 13523 33554432000 4194304 4196468 140730748533952 140511483579120 140511957953154 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30093312 140730748541539 140730748544181 140730748544181 140730748547023 0
[pid=18561/tid=18624] ppid=18558 vsize=10820196 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/18561/task/18624/stat : 18624 (java) S 18558 18561 16228 0 -1 1077944384 197 13108 0 0 1 0 5 2 20 0 15 0 473843769 11079880704 13523 33554432000 4194304 4196468 140730748533952 140511482526576 140511957953154 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30093312 140730748541539 140730748544181 140730748544181 140730748547023 0
[pid=18561/tid=18625] ppid=18558 vsize=10820196 memory=139940924225152 CPUtime=0.12 cores=1,3,5,7
/proc/18561/task/18625/stat : 18625 (java) S 18558 18561 16228 0 -1 1077944384 621 13108 0 0 5 0 5 2 20 0 15 0 473843769 11079880704 13523 33554432000 4194304 4196468 140730748533952 140511481473520 140511957953154 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30093312 140730748541539 140730748544181 140730748544181 140730748547023 0
[pid=18561/tid=18626] ppid=18558 vsize=10820196 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/18561/task/18626/stat : 18626 (java) S 18558 18561 16228 0 -1 1077944384 3 13108 0 0 0 0 5 2 20 0 15 0 473843770 11079880704 13523 33554432000 4194304 4196468 140730748533952 140510190627680 140511957952213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30093312 140730748541539 140730748544181 140730748544181 140730748547023 0
[pid=18561/tid=18627] ppid=18558 vsize=10820196 memory=139940924225152 CPUtime=0.07 cores=1,3,5,7
/proc/18561/task/18627/stat : 18627 (java) S 18558 18561 16228 0 -1 1077944384 1 13108 0 0 0 0 5 2 20 0 15 0 473843770 11079880704 13523 33554432000 4194304 4196468 140730748533952 140511480420912 140511957953154 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30093312 140730748541539 140730748544181 140730748544181 140730748547023 0
Current children cumulated CPU time: 0.39 s
Current children cumulated vsize: 10820196 KiB
Current children cumulated memory: 54092 KiB
[startup+0.700983 s]
/proc/loadavg: 1.32 1.28 1.32 3/227 18627
/proc/meminfo: memFree=5601272/32770624 swapFree=66992924/67108860
[pid=18561] ppid=18558 vsize=10824364 memory=87584 CPUtime=1.14 cores=1,3,5,7
/proc/18561/stat : 18561 (java) S 18558 18561 16228 0 -1 1077944320 15085 13108 0 0 101 6 5 2 20 0 15 0 473843755 11084148736 21896 33554432000 4194304 4196468 140730748533952 140730748516496 140511957942007 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 30093312 140730748541539 140730748544181 140730748544181 140730748547023 0
/proc/18561/statm: 2706091 21896 3512 1 0 2668173 0
[pid=18561/tid=18614] ppid=18558 vsize=10824364 memory=7660742144744843625 CPUtime=0.66 cores=1,3,5,7
/proc/18561/task/18614/stat : 18614 (java) R 18558 18561 16228 0 -1 4202560 10470 13108 0 0 55 4 5 2 20 0 15 0 473843764 11084148736 21896 33554432000 4194304 4196468 140730748533952 140511929766400 140511942022494 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30093312 140730748541539 140730748544181 140730748544181 140730748547023 0
[pid=18561/tid=18615] ppid=18558 vsize=10824364 memory=1212 CPUtime=0.07 cores=1,3,5,7
/proc/18561/task/18615/stat : 18615 (java) S 18558 18561 16228 0 -1 1077944384 1 13108 0 0 0 0 5 2 20 0 15 0 473843764 11084148736 21896 33554432000 4194304 4196468 140730748533952 140511962184720 140511957952213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30093312 140730748541539 140730748544181 140730748544181 140730748547023 0
[pid=18561/tid=18616] ppid=18558 vsize=10824364 memory=1060 CPUtime=0.07 cores=1,3,5,7
/proc/18561/task/18616/stat : 18616 (java) S 18558 18561 16228 0 -1 1077944384 1 13108 0 0 0 0 5 2 20 0 15 0 473843764 11084148736 21896 33554432000 4194304 4196468 140730748533952 140511877004432 140511957952213 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30093312 140730748541539 140730748544181 140730748544181 140730748547023 0
[pid=18561/tid=18617] ppid=18558 vsize=10824364 memory=4580 CPUtime=0.07 cores=1,3,5,7
/proc/18561/task/18617/stat : 18617 (java) S 18558 18561 16228 0 -1 1077944384 1 13108 0 0 0 0 5 2 20 0 15 0 473843764 11084148736 21896 33554432000 4194304 4196468 140730748533952 140511875951376 140511957952213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30093312 140730748541539 140730748544181 140730748544181 140730748547023 0
[pid=18561/tid=18618] ppid=18558 vsize=10824364 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18561/task/18618/stat : 18618 (java) S 18558 18561 16228 0 -1 1077944384 2 13108 0 0 0 0 5 2 20 0 15 0 473843764 11084148736 21896 33554432000 4194304 4196468 140730748533952 140511874898832 140511957952213 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30093312 140730748541539 140730748544181 140730748544181 140730748547023 0
[pid=18561/tid=18619] ppid=18558 vsize=10824364 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18561/task/18619/stat : 18619 (java) S 18558 18561 16228 0 -1 1077944384 5 13108 0 0 0 0 5 2 20 0 15 0 473843766 11084148736 21896 33554432000 4194304 4196468 140730748533952 140511484631280 140511957953154 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30093312 140730748541539 140730748544181 140730748544181 140730748547023 0
[pid=18561/tid=18620] ppid=18558 vsize=10824364 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18561/task/18620/stat : 18620 (java) S 18558 18561 16228 0 -1 1077944384 13 13108 0 0 0 0 5 2 20 0 15 0 473843766 11084148736 21896 33554432000 4194304 4196468 140730748533952 140511398585504 140511957952213 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30093312 140730748541539 140730748544181 140730748544181 140730748547023 0
[pid=18561/tid=18621] ppid=18558 vsize=10824364 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18561/task/18621/stat : 18621 (java) S 18558 18561 16228 0 -1 1077944384 1 13108 0 0 0 0 5 2 20 0 15 0 473843767 11084148736 21896 33554432000 4194304 4196468 140730748533952 140511264367344 140511957952213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30093312 140730748541539 140730748544181 140730748544181 140730748547023 0
[pid=18561/tid=18622] ppid=18558 vsize=10824364 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18561/task/18622/stat : 18622 (java) S 18558 18561 16228 0 -1 1077944384 2 13108 0 0 0 0 5 2 20 0 15 0 473843769 11084148736 21896 33554432000 4194304 4196468 140730748533952 140510660388816 140511957960603 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30093312 140730748541539 140730748544181 140730748544181 140730748547023 0
[pid=18561/tid=18623] ppid=18558 vsize=10824364 memory=0 CPUtime=0.23 cores=1,3,5,7
/proc/18561/task/18623/stat : 18623 (java) R 18558 18561 16228 0 -1 4202560 949 13108 0 0 16 0 5 2 20 0 15 0 473843769 11084148736 21896 33554432000 4194304 4196468 140730748533952 140511483579120 140511935828576 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30093312 140730748541539 140730748544181 140730748544181 140730748547023 0
[pid=18561/tid=18624] ppid=18558 vsize=10824364 memory=0 CPUtime=0.19 cores=1,3,5,7
/proc/18561/task/18624/stat : 18624 (java) S 18558 18561 16228 0 -1 1077944384 622 13108 0 0 12 0 5 2 20 0 15 0 473843769 11084148736 21896 33554432000 4194304 4196468 140730748533952 140511482526576 140511957953154 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30093312 140730748541539 140730748544181 140730748544181 140730748547023 0
[pid=18561/tid=18625] ppid=18558 vsize=10824364 memory=0 CPUtime=0.24 cores=1,3,5,7
/proc/18561/task/18625/stat : 18625 (java) S 18558 18561 16228 0 -1 1077944384 806 13108 0 0 17 0 5 2 20 0 15 0 473843769 11084148736 21896 33554432000 4194304 4196468 140730748533952 140511481473520 140511957953154 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30093312 140730748541539 140730748544181 140730748544181 140730748547023 0
[pid=18561/tid=18626] ppid=18558 vsize=10824364 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18561/task/18626/stat : 18626 (java) S 18558 18561 16228 0 -1 1077944384 3 13108 0 0 0 0 5 2 20 0 15 0 473843770 11084148736 21896 33554432000 4194304 4196468 140730748533952 140510190627680 140511957952213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30093312 140730748541539 140730748544181 140730748544181 140730748547023 0
[pid=18561/tid=18627] ppid=18558 vsize=10824364 memory=3620 CPUtime=0.07 cores=1,3,5,7
/proc/18561/task/18627/stat : 18627 (java) S 18558 18561 16228 0 -1 1077944384 1 13108 0 0 0 0 5 2 20 0 15 0 473843770 11084148736 21896 33554432000 4194304 4196468 140730748533952 140511480420912 140511957953154 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30093312 140730748541539 140730748544181 140730748544181 140730748547023 0
Current children cumulated CPU time: 1.14 s
Current children cumulated vsize: 10824364 KiB
Current children cumulated memory: 87584 KiB
[startup+1.50071 s]
/proc/loadavg: 1.32 1.28 1.32 3/227 18627
/proc/meminfo: memFree=5555736/32770624 swapFree=66992924/67108860
[pid=18561] ppid=18558 vsize=10834680 memory=173592 CPUtime=2.45 cores=1,3,5,7
/proc/18561/stat : 18561 (java) S 18558 18561 16228 0 -1 1077944320 22090 13108 0 0 228 10 5 2 20 0 15 0 473843755 11094712320 43398 33554432000 4194304 4196468 140730748533952 140730748516496 140511957942007 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 30093312 140730748541539 140730748544181 140730748544181 140730748547023 0
/proc/18561/statm: 2708670 43398 3586 1 0 2670733 0
[pid=18561/tid=18614] ppid=18558 vsize=10834680 memory=139940771926616 CPUtime=1.42 cores=1,3,5,7
/proc/18561/task/18614/stat : 18614 (java) R 18558 18561 16228 0 -1 4202560 15481 13108 0 0 129 6 5 2 20 0 15 0 473843764 11094712320 43398 33554432000 4194304 4196468 140730748533952 140511929741712 140511957953942 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30093312 140730748541539 140730748544181 140730748544181 140730748547023 0
[pid=18561/tid=18615] ppid=18558 vsize=10834680 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/18561/task/18615/stat : 18615 (java) S 18558 18561 16228 0 -1 1077944384 397 13108 0 0 1 0 5 2 20 0 15 0 473843764 11094712320 43398 33554432000 4194304 4196468 140730748533952 140511962184720 140511957952213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30093312 140730748541539 140730748544181 140730748544181 140730748547023 0
[pid=18561/tid=18616] ppid=18558 vsize=10834680 memory=6628 CPUtime=0.08 cores=1,3,5,7
/proc/18561/task/18616/stat : 18616 (java) S 18558 18561 16228 0 -1 1077944384 22 13108 0 0 1 0 5 2 20 0 15 0 473843764 11094712320 43398 33554432000 4194304 4196468 140730748533952 140511877004432 140511957952213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30093312 140730748541539 140730748544181 140730748544181 140730748547023 0
[pid=18561/tid=18617] ppid=18558 vsize=10834680 memory=7 CPUtime=0.08 cores=1,3,5,7
/proc/18561/task/18617/stat : 18617 (java) S 18558 18561 16228 0 -1 1077944384 81 13108 0 0 1 0 5 2 20 0 15 0 473843764 11094712320 43398 33554432000 4194304 4196468 140730748533952 140511875951376 140511957952213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30093312 140730748541539 140730748544181 140730748544181 140730748547023 0
[pid=18561/tid=18618] ppid=18558 vsize=10834680 memory=279881544260000 CPUtime=0.08 cores=1,3,5,7
/proc/18561/task/18618/stat : 18618 (java) S 18558 18561 16228 0 -1 1077944384 84 13108 0 0 1 0 5 2 20 0 15 0 473843764 11094712320 43398 33554432000 4194304 4196468 140730748533952 140511874898832 140511957952213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30093312 140730748541539 140730748544181 140730748544181 140730748547023 0
[pid=18561/tid=18619] ppid=18558 vsize=10834680 memory=219644627554616 CPUtime=0.08 cores=1,3,5,7
/proc/18561/task/18619/stat : 18619 (java) S 18558 18561 16228 0 -1 1077944384 170 13108 0 0 1 0 5 2 20 0 15 0 473843766 11094712320 43398 33554432000 4194304 4196468 140730748533952 140511484631280 140511957953154 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30093312 140730748541539 140730748544181 140730748544181 140730748547023 0
[pid=18561/tid=18620] ppid=18558 vsize=10834680 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18561/task/18620/stat : 18620 (java) S 18558 18561 16228 0 -1 1077944384 14 13108 0 0 0 0 5 2 20 0 15 0 473843766 11094712320 43398 33554432000 4194304 4196468 140730748533952 140511398585568 140511957952213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30093312 140730748541539 140730748544181 140730748544181 140730748547023 0
[pid=18561/tid=18621] ppid=18558 vsize=10834680 memory=7517784899141732152 CPUtime=0.07 cores=1,3,5,7
/proc/18561/task/18621/stat : 18621 (java) S 18558 18561 16228 0 -1 1077944384 1 13108 0 0 0 0 5 2 20 0 15 0 473843767 11094712320 43398 33554432000 4194304 4196468 140730748533952 140511264367360 140511957952213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30093312 140730748541539 140730748544181 140730748544181 140730748547023 0
[pid=18561/tid=18622] ppid=18558 vsize=10834680 memory=-8412658770403813517 CPUtime=0.07 cores=1,3,5,7
/proc/18561/task/18622/stat : 18622 (java) S 18558 18561 16228 0 -1 1077944384 2 13108 0 0 0 0 5 2 20 0 15 0 473843769 11094712320 43398 33554432000 4194304 4196468 140730748533952 140510660388816 140511957960603 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30093312 140730748541539 140730748544181 140730748544181 140730748547023 0
[pid=18561/tid=18623] ppid=18558 vsize=10834680 memory=-7668917182949848256 CPUtime=0.36 cores=1,3,5,7
/proc/18561/task/18623/stat : 18623 (java) S 18558 18561 16228 0 -1 1077944384 1246 13108 0 0 29 0 5 2 20 0 15 0 473843769 11094712320 43398 33554432000 4194304 4196468 140730748533952 140511483579120 140511957953154 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30093312 140730748541539 140730748544181 140730748544181 140730748547023 0
[pid=18561/tid=18624] ppid=18558 vsize=10834680 memory=8514726395714956677 CPUtime=0.29 cores=1,3,5,7
/proc/18561/task/18624/stat : 18624 (java) S 18558 18561 16228 0 -1 1077944384 855 13108 0 0 22 0 5 2 20 0 15 0 473843769 11094712320 43398 33554432000 4194304 4196468 140730748533952 140511482526576 140511957953154 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30093312 140730748541539 140730748544181 140730748544181 140730748547023 0
[pid=18561/tid=18625] ppid=18558 vsize=10834680 memory=7100839887184299122 CPUtime=0.47 cores=1,3,5,7
/proc/18561/task/18625/stat : 18625 (java) R 18558 18561 16228 0 -1 4202560 1526 13108 0 0 40 0 5 2 20 0 15 0 473843769 11094712320 43398 33554432000 4194304 4196468 140730748533952 140511481473520 140511942022494 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30093312 140730748541539 140730748544181 140730748544181 140730748547023 0
[pid=18561/tid=18626] ppid=18558 vsize=10834680 memory=4628420171383865741 CPUtime=0.07 cores=1,3,5,7
/proc/18561/task/18626/stat : 18626 (java) S 18558 18561 16228 0 -1 1077944384 3 13108 0 0 0 0 5 2 20 0 15 0 473843770 11094712320 43398 33554432000 4194304 4196468 140730748533952 140510190627680 140511957952213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30093312 140730748541539 140730748544181 140730748544181 140730748547023 0
[pid=18561/tid=18627] ppid=18558 vsize=10834680 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18561/task/18627/stat : 18627 (java) S 18558 18561 16228 0 -1 1077944384 1 13108 0 0 0 0 5 2 20 0 15 0 473843770 11094712320 43398 33554432000 4194304 4196468 140730748533952 140511480420912 140511957953154 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30093312 140730748541539 140730748544181 140730748544181 140730748547023 0
Current children cumulated CPU time: 2.45 s
Current children cumulated vsize: 10834680 KiB
################
# More data... #
################
/proc/18561/task/18614/stat : 18614 (java) R 18558 18561 16228 0 -1 4202560 83563 13108 0 0 235425 65 5 2 20 0 15 0 473843764 11107315712 335446 33554432000 4194304 4196468 140730748533952 140511929777120 140511564373955 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30093312 140730748541539 140730748544181 140730748544181 140730748547023 0
[pid=18561/tid=18615] ppid=18558 vsize=10846988 memory=1341784 CPUtime=12.63 cores=1,3,5,7
/proc/18561/task/18615/stat : 18615 (java) S 18558 18561 16228 0 -1 1077944384 16582 13108 0 0 1195 61 5 2 20 0 15 0 473843764 11107315712 335446 33554432000 4194304 4196468 140730748533952 140511962184720 140511957952213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30093312 140730748541539 140730748544181 140730748544181 140730748547023 0
[pid=18561/tid=18616] ppid=18558 vsize=10846988 memory=1341784 CPUtime=12.62 cores=1,3,5,7
/proc/18561/task/18616/stat : 18616 (java) S 18558 18561 16228 0 -1 1077944384 11543 13108 0 0 1194 61 5 2 20 0 15 0 473843764 11107315712 335446 33554432000 4194304 4196468 140730748533952 140511877004432 140511957952213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30093312 140730748541539 140730748544181 140730748544181 140730748547023 0
[pid=18561/tid=18617] ppid=18558 vsize=10846988 memory=1341776 CPUtime=12.64 cores=1,3,5,7
/proc/18561/task/18617/stat : 18617 (java) S 18558 18561 16228 0 -1 1077944384 15244 13108 0 0 1190 67 5 2 20 0 15 0 473843764 11107315712 335446 33554432000 4194304 4196468 140730748533952 140511875951376 140511957952213 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30093312 140730748541539 140730748544181 140730748544181 140730748547023 0
[pid=18561/tid=18618] ppid=18558 vsize=10846988 memory=1341784 CPUtime=12.65 cores=1,3,5,7
/proc/18561/task/18618/stat : 18618 (java) S 18558 18561 16228 0 -1 1077944384 10432 13108 0 0 1193 65 5 2 20 0 15 0 473843764 11107315712 335446 33554432000 4194304 4196468 140730748533952 140511874898832 140511957952213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30093312 140730748541539 140730748544181 140730748544181 140730748547023 0
[pid=18561/tid=18619] ppid=18558 vsize=10846988 memory=1341784 CPUtime=11.52 cores=1,3,5,7
/proc/18561/task/18619/stat : 18619 (java) S 18558 18561 16228 0 -1 1077944384 19213 13108 0 0 1085 60 5 2 20 0 15 0 473843766 11107315712 335446 33554432000 4194304 4196468 140730748533952 140511484631280 140511957953154 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30093312 140730748541539 140730748544181 140730748544181 140730748547023 0
[pid=18561/tid=18620] ppid=18558 vsize=10846988 memory=3620 CPUtime=0.07 cores=1,3,5,7
/proc/18561/task/18620/stat : 18620 (java) S 18558 18561 16228 0 -1 1077944384 17 13108 0 0 0 0 5 2 20 0 15 0 473843766 11107315712 335446 33554432000 4194304 4196468 140730748533952 140511398585632 140511957952213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30093312 140730748541539 140730748544181 140730748544181 140730748547023 0
[pid=18561/tid=18621] ppid=18558 vsize=10846988 memory=1341784 CPUtime=0.07 cores=1,3,5,7
/proc/18561/task/18621/stat : 18621 (java) S 18558 18561 16228 0 -1 1077944384 4 13108 0 0 0 0 5 2 20 0 15 0 473843767 11107315712 335446 33554432000 4194304 4196468 140730748533952 140511264367360 140511957952213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30093312 140730748541539 140730748544181 140730748544181 140730748547023 0
[pid=18561/tid=18622] ppid=18558 vsize=10846988 memory=9520 CPUtime=0.07 cores=1,3,5,7
/proc/18561/task/18622/stat : 18622 (java) S 18558 18561 16228 0 -1 1077944384 2 13108 0 0 0 0 5 2 20 0 15 0 473843769 11107315712 335446 33554432000 4194304 4196468 140730748533952 140510660388816 140511957960603 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30093312 140730748541539 140730748544181 140730748544181 140730748547023 0
[pid=18561/tid=18623] ppid=18558 vsize=10846988 memory=1341784 CPUtime=6.25 cores=1,3,5,7
/proc/18561/task/18623/stat : 18623 (java) S 18558 18561 16228 0 -1 1077944384 39491 13108 0 0 613 5 5 2 20 0 15 0 473843769 11107315712 335446 33554432000 4194304 4196468 140730748533952 140511483579120 140511957953154 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30093312 140730748541539 140730748544181 140730748544181 140730748547023 0
[pid=18561/tid=18624] ppid=18558 vsize=10846988 memory=3620 CPUtime=5.66 cores=1,3,5,7
/proc/18561/task/18624/stat : 18624 (java) S 18558 18561 16228 0 -1 1077944384 36293 13108 0 0 553 6 5 2 20 0 15 0 473843769 11107315712 335446 33554432000 4194304 4196468 140730748533952 140511482526576 140511957953154 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 12 0 0 6293624 6294260 30093312 140730748541539 140730748544181 140730748544181 140730748547023 0
[pid=18561/tid=18625] ppid=18558 vsize=10846988 memory=44948 CPUtime=3.39 cores=1,3,5,7
/proc/18561/task/18625/stat : 18625 (java) S 18558 18561 16228 0 -1 1077944384 55347 13108 0 0 325 7 5 2 20 0 15 0 473843769 11107315712 335446 33554432000 4194304 4196468 140730748533952 140511481473520 140511957953154 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30093312 140730748541539 140730748544181 140730748544181 140730748547023 0
[pid=18561/tid=18626] ppid=18558 vsize=10846988 memory=984 CPUtime=0.07 cores=1,3,5,7
/proc/18561/task/18626/stat : 18626 (java) S 18558 18561 16228 0 -1 1077944384 3 13108 0 0 0 0 5 2 20 0 15 0 473843770 11107315712 335446 33554432000 4194304 4196468 140730748533952 140510190627680 140511957952213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30093312 140730748541539 140730748544181 140730748544181 140730748547023 0
[pid=18561/tid=18627] ppid=18558 vsize=10846988 memory=0 CPUtime=1.48 cores=1,3,5,7
/proc/18561/task/18627/stat : 18627 (java) S 18558 18561 16228 0 -1 1077944384 1285 13108 0 0 60 81 5 2 20 0 15 0 473843770 11107315712 335446 33554432000 4194304 4196468 140730748533952 140511480420912 140511957953154 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30093312 140730748541539 140730748544181 140730748544181 140730748547023 0
Current children cumulated CPU time: 2433.29 s
Current children cumulated vsize: 10846988 KiB
Current children cumulated memory: 1341784 KiB
[startup+2442.3 s]
/proc/loadavg: 1.41 1.33 1.38 3/228 19136
/proc/meminfo: memFree=4866316/32770624 swapFree=66992980/67108860
[pid=18561] ppid=18558 vsize=10846988 memory=1343904 CPUtime=2494.23 cores=1,3,5,7
/proc/18561/stat : 18561 (java) S 18558 18561 16228 0 -1 1077944320 293135 13108 0 0 249008 408 5 2 20 0 15 0 473843755 11107315712 335976 33554432000 4194304 4196468 140730748533952 140730748516496 140511957942007 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 30093312 140730748541539 140730748544181 140730748544181 140730748547023 0
/proc/18561/statm: 2711747 335976 3640 1 0 2673805 0
[pid=18561/tid=18614] ppid=18558 vsize=10846988 memory=1343904 CPUtime=2414.32 cores=1,3,5,7
/proc/18561/task/18614/stat : 18614 (java) R 18558 18561 16228 0 -1 4202560 84721 13108 0 0 241359 66 5 2 20 0 15 0 473843764 11107315712 335976 33554432000 4194304 4196468 140730748533952 140511929777392 140511553649921 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30093312 140730748541539 140730748544181 140730748544181 140730748547023 0
[pid=18561/tid=18615] ppid=18558 vsize=10846988 memory=1341812 CPUtime=12.95 cores=1,3,5,7
/proc/18561/task/18615/stat : 18615 (java) S 18558 18561 16228 0 -1 1077944384 16668 13108 0 0 1226 62 5 2 20 0 15 0 473843764 11107315712 335976 33554432000 4194304 4196468 140730748533952 140511962184720 140511957952213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30093312 140730748541539 140730748544181 140730748544181 140730748547023 0
[pid=18561/tid=18616] ppid=18558 vsize=10846988 memory=1343904 CPUtime=12.95 cores=1,3,5,7
/proc/18561/task/18616/stat : 18616 (java) S 18558 18561 16228 0 -1 1077944384 11584 13108 0 0 1225 63 5 2 20 0 15 0 473843764 11107315712 335976 33554432000 4194304 4196468 140730748533952 140511877004432 140511957952213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30093312 140730748541539 140730748544181 140730748544181 140730748547023 0
[pid=18561/tid=18617] ppid=18558 vsize=10846988 memory=1343904 CPUtime=12.96 cores=1,3,5,7
/proc/18561/task/18617/stat : 18617 (java) S 18558 18561 16228 0 -1 1077944384 15339 13108 0 0 1221 68 5 2 20 0 15 0 473843764 11107315712 335976 33554432000 4194304 4196468 140730748533952 140511875951376 140511957952213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30093312 140730748541539 140730748544181 140730748544181 140730748547023 0
[pid=18561/tid=18618] ppid=18558 vsize=10846988 memory=1343904 CPUtime=12.98 cores=1,3,5,7
/proc/18561/task/18618/stat : 18618 (java) S 18558 18561 16228 0 -1 1077944384 10715 13108 0 0 1225 66 5 2 20 0 15 0 473843764 11107315712 335976 33554432000 4194304 4196468 140730748533952 140511874898832 140511957952213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30093312 140730748541539 140730748544181 140730748544181 140730748547023 0
[pid=18561/tid=18619] ppid=18558 vsize=10846988 memory=1343904 CPUtime=11.79 cores=1,3,5,7
/proc/18561/task/18619/stat : 18619 (java) S 18558 18561 16228 0 -1 1077944384 19433 13108 0 0 1110 62 5 2 20 0 15 0 473843766 11107315712 335976 33554432000 4194304 4196468 140730748533952 140511484631280 140511957953154 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30093312 140730748541539 140730748544181 140730748544181 140730748547023 0
[pid=18561/tid=18620] ppid=18558 vsize=10846988 memory=1343904 CPUtime=0.07 cores=1,3,5,7
/proc/18561/task/18620/stat : 18620 (java) S 18558 18561 16228 0 -1 1077944384 17 13108 0 0 0 0 5 2 20 0 15 0 473843766 11107315712 335976 33554432000 4194304 4196468 140730748533952 140511398585632 140511957952213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30093312 140730748541539 140730748544181 140730748544181 140730748547023 0
[pid=18561/tid=18621] ppid=18558 vsize=10846988 memory=1343904 CPUtime=0.07 cores=1,3,5,7
/proc/18561/task/18621/stat : 18621 (java) S 18558 18561 16228 0 -1 1077944384 4 13108 0 0 0 0 5 2 20 0 15 0 473843767 11107315712 335976 33554432000 4194304 4196468 140730748533952 140511264367360 140511957952213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30093312 140730748541539 140730748544181 140730748544181 140730748547023 0
[pid=18561/tid=18622] ppid=18558 vsize=10846988 memory=1343904 CPUtime=0.07 cores=1,3,5,7
/proc/18561/task/18622/stat : 18622 (java) S 18558 18561 16228 0 -1 1077944384 2 13108 0 0 0 0 5 2 20 0 15 0 473843769 11107315712 335976 33554432000 4194304 4196468 140730748533952 140510660388816 140511957960603 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30093312 140730748541539 140730748544181 140730748544181 140730748547023 0
[pid=18561/tid=18623] ppid=18558 vsize=10846988 memory=4108 CPUtime=6.25 cores=1,3,5,7
/proc/18561/task/18623/stat : 18623 (java) S 18558 18561 16228 0 -1 1077944384 39493 13108 0 0 613 5 5 2 20 0 15 0 473843769 11107315712 335976 33554432000 4194304 4196468 140730748533952 140511483579120 140511957953154 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30093312 140730748541539 140730748544181 140730748544181 140730748547023 0
[pid=18561/tid=18624] ppid=18558 vsize=10846988 memory=1343904 CPUtime=5.66 cores=1,3,5,7
/proc/18561/task/18624/stat : 18624 (java) S 18558 18561 16228 0 -1 1077944384 36296 13108 0 0 553 6 5 2 20 0 15 0 473843769 11107315712 335976 33554432000 4194304 4196468 140730748533952 140511482526576 140511957953154 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 12 0 0 6293624 6294260 30093312 140730748541539 140730748544181 140730748544181 140730748547023 0
[pid=18561/tid=18625] ppid=18558 vsize=10846988 memory=1343904 CPUtime=3.39 cores=1,3,5,7
/proc/18561/task/18625/stat : 18625 (java) S 18558 18561 16228 0 -1 1077944384 55349 13108 0 0 325 7 5 2 20 0 15 0 473843769 11107315712 335976 33554432000 4194304 4196468 140730748533952 140511481473520 140511957953154 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30093312 140730748541539 140730748544181 140730748544181 140730748547023 0
[pid=18561/tid=18626] ppid=18558 vsize=10846988 memory=1343904 CPUtime=0.07 cores=1,3,5,7
/proc/18561/task/18626/stat : 18626 (java) S 18558 18561 16228 0 -1 1077944384 3 13108 0 0 0 0 5 2 20 0 15 0 473843770 11107315712 335976 33554432000 4194304 4196468 140730748533952 140510190627680 140511957952213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30093312 140730748541539 140730748544181 140730748544181 140730748547023 0
[pid=18561/tid=18627] ppid=18558 vsize=10846988 memory=2004 CPUtime=1.52 cores=1,3,5,7
/proc/18561/task/18627/stat : 18627 (java) S 18558 18561 16228 0 -1 1077944384 1303 13108 0 0 62 83 5 2 20 0 15 0 473843770 11107315712 335976 33554432000 4194304 4196468 140730748533952 140511480420912 140511957953154 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30093312 140730748541539 140730748544181 140730748544181 140730748547023 0
Current children cumulated CPU time: 2494.23 s
Current children cumulated vsize: 10846988 KiB
Current children cumulated memory: 1343904 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2467.7 s]
/proc/loadavg: 1.60 1.38 1.39 3/227 19137
/proc/meminfo: memFree=4866608/32770624 swapFree=66992980/67108860
[pid=18561] ppid=18558 vsize=10846988 memory=1343940 CPUtime=2520.06 cores=1,3,5,7
/proc/18561/stat : 18561 (java) S 18558 18561 16228 0 -1 1077944320 294363 13108 0 0 251587 412 5 2 20 0 15 0 473843755 11107315712 335985 33554432000 4194304 4196468 140730748533952 140730748516496 140511957942007 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 30093312 140730748541539 140730748544181 140730748544181 140730748547023 0
/proc/18561/statm: 2711747 335985 3640 1 0 2673805 0
[pid=18561/tid=18614] ppid=18558 vsize=10846988 memory=1343940 CPUtime=2439.42 cores=1,3,5,7
/proc/18561/task/18614/stat : 18614 (java) R 18558 18561 16228 0 -1 4202560 85264 13108 0 0 243869 66 5 2 20 0 15 0 473843764 11107315712 335985 33554432000 4194304 4196468 140730748533952 140511929776992 140511560668182 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30093312 140730748541539 140730748544181 140730748544181 140730748547023 0
[pid=18561/tid=18615] ppid=18558 vsize=10846988 memory=1343940 CPUtime=13.1 cores=1,3,5,7
/proc/18561/task/18615/stat : 18615 (java) S 18558 18561 16228 0 -1 1077944384 16796 13108 0 0 1240 63 5 2 20 0 15 0 473843764 11107315712 335985 33554432000 4194304 4196468 140730748533952 140511962184720 140511957952213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30093312 140730748541539 140730748544181 140730748544181 140730748547023 0
[pid=18561/tid=18616] ppid=18558 vsize=10846988 memory=1343940 CPUtime=13.09 cores=1,3,5,7
/proc/18561/task/18616/stat : 18616 (java) S 18558 18561 16228 0 -1 1077944384 11600 13108 0 0 1239 63 5 2 20 0 15 0 473843764 11107315712 335985 33554432000 4194304 4196468 140730748533952 140511877004432 140511957952213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30093312 140730748541539 140730748544181 140730748544181 140730748547023 0
[pid=18561/tid=18617] ppid=18558 vsize=10846988 memory=1343940 CPUtime=13.1 cores=1,3,5,7
/proc/18561/task/18617/stat : 18617 (java) S 18558 18561 16228 0 -1 1077944384 15393 13108 0 0 1234 69 5 2 20 0 15 0 473843764 11107315712 335985 33554432000 4194304 4196468 140730748533952 140511875951376 140511957952213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30093312 140730748541539 140730748544181 140730748544181 140730748547023 0
[pid=18561/tid=18618] ppid=18558 vsize=10846988 memory=1343940 CPUtime=13.12 cores=1,3,5,7
/proc/18561/task/18618/stat : 18618 (java) S 18558 18561 16228 0 -1 1077944384 10985 13108 0 0 1239 66 5 2 20 0 15 0 473843764 11107315712 335985 33554432000 4194304 4196468 140730748533952 140511874898832 140511957952213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30093312 140730748541539 140730748544181 140730748544181 140730748547023 0
[pid=18561/tid=18619] ppid=18558 vsize=10846988 memory=1343940 CPUtime=11.93 cores=1,3,5,7
/proc/18561/task/18619/stat : 18619 (java) S 18558 18561 16228 0 -1 1077944384 19630 13108 0 0 1123 63 5 2 20 0 15 0 473843766 11107315712 335985 33554432000 4194304 4196468 140730748533952 140511484631280 140511957953154 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30093312 140730748541539 140730748544181 140730748544181 140730748547023 0
[pid=18561/tid=18620] ppid=18558 vsize=10846988 memory=6944656592455097440 CPUtime=0.07 cores=1,3,5,7
/proc/18561/task/18620/stat : 18620 (java) S 18558 18561 16228 0 -1 1077944384 17 13108 0 0 0 0 5 2 20 0 15 0 473843766 11107315712 335985 33554432000 4194304 4196468 140730748533952 140511398585632 140511957952213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30093312 140730748541539 140730748544181 140730748544181 140730748547023 0
[pid=18561/tid=18621] ppid=18558 vsize=10846988 memory=279881545173488 CPUtime=0.07 cores=1,3,5,7
/proc/18561/task/18621/stat : 18621 (java) S 18558 18561 16228 0 -1 1077944384 4 13108 0 0 0 0 5 2 20 0 15 0 473843767 11107315712 335985 33554432000 4194304 4196468 140730748533952 140511264367360 140511957952213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30093312 140730748541539 140730748544181 140730748544181 140730748547023 0
[pid=18561/tid=18622] ppid=18558 vsize=10846988 memory=1736 CPUtime=0.07 cores=1,3,5,7
/proc/18561/task/18622/stat : 18622 (java) S 18558 18561 16228 0 -1 1077944384 2 13108 0 0 0 0 5 2 20 0 15 0 473843769 11107315712 335985 33554432000 4194304 4196468 140730748533952 140510660388816 140511957960603 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30093312 140730748541539 140730748544181 140730748544181 140730748547023 0
[pid=18561/tid=18623] ppid=18558 vsize=10846988 memory=6100 CPUtime=6.25 cores=1,3,5,7
/proc/18561/task/18623/stat : 18623 (java) S 18558 18561 16228 0 -1 1077944384 39495 13108 0 0 613 5 5 2 20 0 15 0 473843769 11107315712 335985 33554432000 4194304 4196468 140730748533952 140511483579120 140511957953154 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30093312 140730748541539 140730748544181 140730748544181 140730748547023 0
[pid=18561/tid=18624] ppid=18558 vsize=10846988 memory=1398722017469774279 CPUtime=5.66 cores=1,3,5,7
/proc/18561/task/18624/stat : 18624 (java) S 18558 18561 16228 0 -1 1077944384 36298 13108 0 0 553 6 5 2 20 0 15 0 473843769 11107315712 335985 33554432000 4194304 4196468 140730748533952 140511482526576 140511957953154 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 12 0 0 6293624 6294260 30093312 140730748541539 140730748544181 140730748544181 140730748547023 0
[pid=18561/tid=18625] ppid=18558 vsize=10846988 memory=431 CPUtime=3.39 cores=1,3,5,7
/proc/18561/task/18625/stat : 18625 (java) S 18558 18561 16228 0 -1 1077944384 55351 13108 0 0 325 7 5 2 20 0 15 0 473843769 11107315712 335985 33554432000 4194304 4196468 140730748533952 140511481473520 140511957953154 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30093312 140730748541539 140730748544181 140730748544181 140730748547023 0
[pid=18561/tid=18626] ppid=18558 vsize=10846988 memory=1343940 CPUtime=0.07 cores=1,3,5,7
/proc/18561/task/18626/stat : 18626 (java) S 18558 18561 16228 0 -1 1077944384 3 13108 0 0 0 0 5 2 20 0 15 0 473843770 11107315712 335985 33554432000 4194304 4196468 140730748533952 140510190627680 140511957952213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30093312 140730748541539 140730748544181 140730748544181 140730748547023 0
[pid=18561/tid=18627] ppid=18558 vsize=10846988 memory=1343940 CPUtime=1.53 cores=1,3,5,7
/proc/18561/task/18627/stat : 18627 (java) S 18558 18561 16228 0 -1 1077944384 1317 13108 0 0 62 84 5 2 20 0 15 0 473843770 11107315712 335985 33554432000 4194304 4196468 140730748533952 140511480420912 140511957953154 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30093312 140730748541539 140730748544181 140730748544181 140730748547023 0
Current children cumulated CPU time: 2520.06 s
Current children cumulated vsize: 10846988 KiB
Current children cumulated memory: 1343940 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2467.75 s]
# the end of solver process 18561 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2515.97 s, system=4.16447 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2467.7 s]
/proc/loadavg: 1.60 1.38 1.39 3/227 19137
/proc/meminfo: memFree=4866608/32770624 swapFree=66992980/67108860
[pid=18561] ppid=18558 vsize=10846988 memory=1343940 CPUtime=2520.06 cores=1,3,5,7
/proc/18561/stat : 18561 (java) S 18558 18561 16228 0 -1 1077944320 294363 13108 0 0 251587 412 5 2 20 0 15 0 473843755 11107315712 335985 33554432000 4194304 4196468 140730748533952 140730748516496 140511957942007 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 30093312 140730748541539 140730748544181 140730748544181 140730748547023 0
/proc/18561/statm: 2711747 335985 3640 1 0 2673805 0
[pid=18561/tid=18614] ppid=18558 vsize=10846988 memory=1343940 CPUtime=2439.42 cores=1,3,5,7
/proc/18561/task/18614/stat : 18614 (java) R 18558 18561 16228 0 -1 4202560 85264 13108 0 0 243869 66 5 2 20 0 15 0 473843764 11107315712 335985 33554432000 4194304 4196468 140730748533952 140511929776992 140511560668182 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30093312 140730748541539 140730748544181 140730748544181 140730748547023 0
[pid=18561/tid=18615] ppid=18558 vsize=10846988 memory=1343940 CPUtime=13.1 cores=1,3,5,7
/proc/18561/task/18615/stat : 18615 (java) S 18558 18561 16228 0 -1 1077944384 16796 13108 0 0 1240 63 5 2 20 0 15 0 473843764 11107315712 335985 33554432000 4194304 4196468 140730748533952 140511962184720 140511957952213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30093312 140730748541539 140730748544181 140730748544181 140730748547023 0
[pid=18561/tid=18616] ppid=18558 vsize=10846988 memory=1343940 CPUtime=13.09 cores=1,3,5,7
/proc/18561/task/18616/stat : 18616 (java) S 18558 18561 16228 0 -1 1077944384 11600 13108 0 0 1239 63 5 2 20 0 15 0 473843764 11107315712 335985 33554432000 4194304 4196468 140730748533952 140511877004432 140511957952213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30093312 140730748541539 140730748544181 140730748544181 140730748547023 0
[pid=18561/tid=18617] ppid=18558 vsize=10846988 memory=1343940 CPUtime=13.1 cores=1,3,5,7
/proc/18561/task/18617/stat : 18617 (java) S 18558 18561 16228 0 -1 1077944384 15393 13108 0 0 1234 69 5 2 20 0 15 0 473843764 11107315712 335985 33554432000 4194304 4196468 140730748533952 140511875951376 140511957952213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30093312 140730748541539 140730748544181 140730748544181 140730748547023 0
[pid=18561/tid=18618] ppid=18558 vsize=10846988 memory=1343940 CPUtime=13.12 cores=1,3,5,7
/proc/18561/task/18618/stat : 18618 (java) S 18558 18561 16228 0 -1 1077944384 10985 13108 0 0 1239 66 5 2 20 0 15 0 473843764 11107315712 335985 33554432000 4194304 4196468 140730748533952 140511874898832 140511957952213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30093312 140730748541539 140730748544181 140730748544181 140730748547023 0
[pid=18561/tid=18619] ppid=18558 vsize=10846988 memory=1343940 CPUtime=11.93 cores=1,3,5,7
/proc/18561/task/18619/stat : 18619 (java) S 18558 18561 16228 0 -1 1077944384 19630 13108 0 0 1123 63 5 2 20 0 15 0 473843766 11107315712 335985 33554432000 4194304 4196468 140730748533952 140511484631280 140511957953154 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30093312 140730748541539 140730748544181 140730748544181 140730748547023 0
[pid=18561/tid=18620] ppid=18558 vsize=10846988 memory=6944656592455097440 CPUtime=0.07 cores=1,3,5,7
/proc/18561/task/18620/stat : 18620 (java) S 18558 18561 16228 0 -1 1077944384 17 13108 0 0 0 0 5 2 20 0 15 0 473843766 11107315712 335985 33554432000 4194304 4196468 140730748533952 140511398585632 140511957952213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30093312 140730748541539 140730748544181 140730748544181 140730748547023 0
[pid=18561/tid=18621] ppid=18558 vsize=10846988 memory=279881545173488 CPUtime=0.07 cores=1,3,5,7
/proc/18561/task/18621/stat : 18621 (java) S 18558 18561 16228 0 -1 1077944384 4 13108 0 0 0 0 5 2 20 0 15 0 473843767 11107315712 335985 33554432000 4194304 4196468 140730748533952 140511264367360 140511957952213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30093312 140730748541539 140730748544181 140730748544181 140730748547023 0
[pid=18561/tid=18622] ppid=18558 vsize=10846988 memory=1736 CPUtime=0.07 cores=1,3,5,7
/proc/18561/task/18622/stat : 18622 (java) S 18558 18561 16228 0 -1 1077944384 2 13108 0 0 0 0 5 2 20 0 15 0 473843769 11107315712 335985 33554432000 4194304 4196468 140730748533952 140510660388816 140511957960603 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30093312 140730748541539 140730748544181 140730748544181 140730748547023 0
[pid=18561/tid=18623] ppid=18558 vsize=10846988 memory=6100 CPUtime=6.25 cores=1,3,5,7
/proc/18561/task/18623/stat : 18623 (java) S 18558 18561 16228 0 -1 1077944384 39495 13108 0 0 613 5 5 2 20 0 15 0 473843769 11107315712 335985 33554432000 4194304 4196468 140730748533952 140511483579120 140511957953154 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30093312 140730748541539 140730748544181 140730748544181 140730748547023 0
[pid=18561/tid=18624] ppid=18558 vsize=10846988 memory=1398722017469774279 CPUtime=5.66 cores=1,3,5,7
/proc/18561/task/18624/stat : 18624 (java) S 18558 18561 16228 0 -1 1077944384 36298 13108 0 0 553 6 5 2 20 0 15 0 473843769 11107315712 335985 33554432000 4194304 4196468 140730748533952 140511482526576 140511957953154 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 12 0 0 6293624 6294260 30093312 140730748541539 140730748544181 140730748544181 140730748547023 0
[pid=18561/tid=18625] ppid=18558 vsize=10846988 memory=431 CPUtime=3.39 cores=1,3,5,7
/proc/18561/task/18625/stat : 18625 (java) S 18558 18561 16228 0 -1 1077944384 55351 13108 0 0 325 7 5 2 20 0 15 0 473843769 11107315712 335985 33554432000 4194304 4196468 140730748533952 140511481473520 140511957953154 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30093312 140730748541539 140730748544181 140730748544181 140730748547023 0
[pid=18561/tid=18626] ppid=18558 vsize=10846988 memory=1343940 CPUtime=0.07 cores=1,3,5,7
/proc/18561/task/18626/stat : 18626 (java) S 18558 18561 16228 0 -1 1077944384 3 13108 0 0 0 0 5 2 20 0 15 0 473843770 11107315712 335985 33554432000 4194304 4196468 140730748533952 140510190627680 140511957952213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30093312 140730748541539 140730748544181 140730748544181 140730748547023 0
[pid=18561/tid=18627] ppid=18558 vsize=10846988 memory=1343940 CPUtime=1.53 cores=1,3,5,7
/proc/18561/task/18627/stat : 18627 (java) S 18558 18561 16228 0 -1 1077944384 1317 13108 0 0 62 84 5 2 20 0 15 0 473843770 11107315712 335985 33554432000 4194304 4196468 140730748533952 140511480420912 140511957953154 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30093312 140730748541539 140730748544181 140730748544181 140730748547023 0
Current children cumulated CPU time: 2520.06 s
Current children cumulated vsize: 10846988 KiB
Current children cumulated memory: 1343940 KiB
Child status: 143
Real time (s): 2467.75
CPU time (s): 2520.13
CPU user time (s): 2515.97
CPU system time (s): 4.16447
CPU usage (%): 102.123
Max. virtual memory (cumulated for all children) (KiB): 10849656
Max. memory (cumulated for all children) (KiB): 1343940
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2515.97
system time used= 4.16447
maximum resident set size= 1348064
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 308533
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3144
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 317751
involuntary context switches= 9378
# summary of solver processes directly reported to runsolver:
# pid: 18561
# total CPU time (s): 2520.13
# total CPU user time (s): 2515.97
# total CPU system time (s): 4.16447
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.4698 second user time and 24.3603 second system time
The end