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 (12904 MiB free)
memory of node 1: 16384 MiB (14129 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4401279-1568684760/watcher-4401279-1568684760 -o /tmp/evaluation-result-4401279-1568684760/solver-4401279-1568684760 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node124-1568673291-17352 --watchdog 2560 bin/xcsp-3-concrete -J-Xss32M -randomseed=535221524 HOME/instance-4401279-1568684760.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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=20659, runsolver pid=20656
Current StackSize limit: 8192 KiB
[startup+0.110168 s]*
/proc/loadavg: 1.82 1.48 1.37 3/219 20716
/proc/meminfo: memFree=27673192/32770624 swapFree=66959728/67108860
[pid=20659] ppid=20656 vsize=10186436 memory=20444 CPUtime=0.11 cores=1,3,5,7
/proc/20659/stat : 20659 (java) S 20656 20659 17320 0 -1 1077944320 4875 13161 0 0 2 1 5 3 20 0 9 0 444416169 10430910464 5111 33554432000 4194304 4196468 140720762545568 140720762528112 139709093961463 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 14086144 140720762546928 140720762549445 140720762549445 140720762552271 0
/proc/20659/statm: 2546609 5111 2077 1 0 2535047 0
[pid=20659/tid=20712] ppid=20656 vsize=10355560 memory=4351193298018140551 CPUtime=0.09 cores=1,3,5,7
/proc/20659/task/20712/stat : 20712 (java) S 20656 20659 17320 0 -1 1077944384 2652 13161 0 0 1 0 5 3 20 0 9 0 444416178 10604093440 5156 33554432000 4194304 4196468 140720762545568 139709065797488 139709086658045 0 4 0 16784584 18446744071581020693 0 0 -1 3 0 0 0 0 0 6293624 6294260 14086144 140720762546928 140720762549445 140720762549445 140720762552271 0
[pid=20659/tid=20713] ppid=20656 vsize=10355560 memory=8257237230052613020 CPUtime=0.08 cores=1,3,5,7
/proc/20659/task/20713/stat : 20713 (java) S 20656 20659 17320 0 -1 1077944384 1 13161 0 0 0 0 5 3 20 0 9 0 444416179 10604093440 5156 33554432000 4194304 4196468 140720762545568 139709098203920 139709093971669 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14086144 140720762546928 140720762549445 140720762549445 140720762552271 0
[pid=20659/tid=20714] ppid=20656 vsize=10355560 memory=140333019068032 CPUtime=0.08 cores=1,3,5,7
/proc/20659/task/20714/stat : 20714 (java) S 20656 20659 17320 0 -1 1077944384 1 13161 0 0 0 0 5 3 20 0 9 0 444416179 10604093440 5156 33554432000 4194304 4196468 140720762545568 139708986477456 139709093971669 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14086144 140720762546928 140720762549445 140720762549445 140720762552271 0
[pid=20659/tid=20715] ppid=20656 vsize=10355560 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/20659/task/20715/stat : 20715 (java) S 20656 20659 17320 0 -1 1077944384 1 13161 0 0 0 0 5 3 20 0 9 0 444416179 10604093440 5156 33554432000 4194304 4196468 140720762545568 139708985424912 139709093971669 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14086144 140720762546928 140720762549445 140720762549445 140720762552271 0
[pid=20659/tid=20716] ppid=20656 vsize=10355560 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/20659/task/20716/stat : 20716 (java) S 20656 20659 17320 0 -1 1077944384 2 13161 0 0 0 0 5 3 20 0 9 0 444416179 10604093440 5156 33554432000 4194304 4196468 140720762545568 139708984372368 139709093971669 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14086144 140720762546928 140720762549445 140720762549445 140720762552271 0
[pid=20659/tid=20717] ppid=20656 vsize=10355560 memory=140333019068032 CPUtime=0.08 cores=1,3,5,7
/proc/20659/task/20717/stat : 20717 (java) S 20656 20659 17320 0 -1 1077944384 2 13161 0 0 0 0 5 3 20 0 9 0 444416181 10604093440 5156 33554432000 4194304 4196468 140720762545568 139708096010224 139709093972610 0 0 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14086144 140720762546928 140720762549445 140720762549445 140720762552271 0
[pid=20659/tid=20718] ppid=20656 vsize=10355560 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/20659/task/20718/stat : 20718 (java) S 20656 20659 17320 0 -1 1077944384 33 13161 0 0 0 0 5 3 20 0 9 0 444416181 10604093440 5156 33554432000 4194304 4196468 140720762545568 139708094956448 139709093971669 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14086144 140720762546928 140720762549445 140720762549445 140720762552271 0
[pid=20659/tid=20719] ppid=20656 vsize=10355560 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/20659/task/20719/stat : 20719 (java) S 20656 20659 17320 0 -1 1077944384 1 13161 0 0 0 0 5 3 20 0 9 0 444416181 10604093440 5156 33554432000 4194304 4196468 140720762545568 139707971265584 139709093971669 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14086144 140720762546928 140720762549445 140720762549445 140720762552271 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 10186436 KiB
Current children cumulated memory: 20444 KiB
[startup+0.210392 s]*
/proc/loadavg: 1.82 1.48 1.37 4/228 20725
/proc/meminfo: memFree=27654280/32770624 swapFree=66959728/67108860
[pid=20659] ppid=20656 vsize=10820196 memory=44108 CPUtime=0.27 cores=1,3,5,7
/proc/20659/stat : 20659 (java) S 20656 20659 17320 0 -1 1077944320 7365 13161 0 0 17 2 5 3 20 0 15 0 444416169 11079880704 11027 33554432000 4194304 4196468 140720762545568 140720762528112 139709093961463 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 14086144 140720762546928 140720762549445 140720762549445 140720762552271 0
/proc/20659/statm: 2705049 11027 3262 1 0 2667149 0
[pid=20659/tid=20712] ppid=20656 vsize=10820196 memory=7022364594140610616 CPUtime=0.19 cores=1,3,5,7
/proc/20659/task/20712/stat : 20712 (java) R 20656 20659 17320 0 -1 4202560 3851 13161 0 0 10 1 5 3 20 0 15 0 444416178 11079880704 11027 33554432000 4194304 4196468 140720762545568 139709065794160 139709074158172 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14086144 140720762546928 140720762549445 140720762549445 140720762552271 0
[pid=20659/tid=20713] ppid=20656 vsize=10820196 memory=288230621904634245 CPUtime=0.08 cores=1,3,5,7
/proc/20659/task/20713/stat : 20713 (java) S 20656 20659 17320 0 -1 1077944384 1 13161 0 0 0 0 5 3 20 0 15 0 444416179 11079880704 11027 33554432000 4194304 4196468 140720762545568 139709098203920 139709093971669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14086144 140720762546928 140720762549445 140720762549445 140720762552271 0
[pid=20659/tid=20714] ppid=20656 vsize=10820196 memory=3688786985738324710 CPUtime=0.08 cores=1,3,5,7
/proc/20659/task/20714/stat : 20714 (java) S 20656 20659 17320 0 -1 1077944384 1 13161 0 0 0 0 5 3 20 0 15 0 444416179 11079880704 11027 33554432000 4194304 4196468 140720762545568 139708986477456 139709093971669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14086144 140720762546928 140720762549445 140720762549445 140720762552271 0
[pid=20659/tid=20715] ppid=20656 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/20659/task/20715/stat : 20715 (java) S 20656 20659 17320 0 -1 1077944384 1 13161 0 0 0 0 5 3 20 0 15 0 444416179 11079880704 11027 33554432000 4194304 4196468 140720762545568 139708985424912 139709093971669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14086144 140720762546928 140720762549445 140720762549445 140720762552271 0
[pid=20659/tid=20716] ppid=20656 vsize=10820196 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/20659/task/20716/stat : 20716 (java) S 20656 20659 17320 0 -1 1077944384 2 13161 0 0 0 0 5 3 20 0 15 0 444416179 11079880704 11027 33554432000 4194304 4196468 140720762545568 139708984372368 139709093971669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14086144 140720762546928 140720762549445 140720762549445 140720762552271 0
[pid=20659/tid=20717] ppid=20656 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/20659/task/20717/stat : 20717 (java) S 20656 20659 17320 0 -1 1077944384 2 13161 0 0 0 0 5 3 20 0 15 0 444416181 11079880704 11027 33554432000 4194304 4196468 140720762545568 139708096010224 139709093972610 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14086144 140720762546928 140720762549445 140720762549445 140720762552271 0
[pid=20659/tid=20718] ppid=20656 vsize=10820196 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/20659/task/20718/stat : 20718 (java) S 20656 20659 17320 0 -1 1077944384 33 13161 0 0 0 0 5 3 20 0 15 0 444416181 11079880704 11027 33554432000 4194304 4196468 140720762545568 139708094956448 139709093971669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14086144 140720762546928 140720762549445 140720762549445 140720762552271 0
[pid=20659/tid=20719] ppid=20656 vsize=10820196 memory=140333019068032 CPUtime=0.08 cores=1,3,5,7
/proc/20659/task/20719/stat : 20719 (java) S 20656 20659 17320 0 -1 1077944384 1 13161 0 0 0 0 5 3 20 0 15 0 444416181 11079880704 11027 33554432000 4194304 4196468 140720762545568 139707971265520 139709093971669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14086144 140720762546928 140720762549445 140720762549445 140720762552271 0
[pid=20659/tid=20720] ppid=20656 vsize=10820196 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/20659/task/20720/stat : 20720 (java) S 20656 20659 17320 0 -1 1077944384 2 13161 0 0 0 0 5 3 20 0 15 0 444416184 11079880704 11027 33554432000 4194304 4196468 140720762545568 139707635722448 139709093980059 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14086144 140720762546928 140720762549445 140720762549445 140720762552271 0
[pid=20659/tid=20721] ppid=20656 vsize=10820196 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/20659/task/20721/stat : 20721 (java) R 20656 20659 17320 0 -1 4202560 486 13161 0 0 1 0 5 3 20 0 15 0 444416184 11079880704 11027 33554432000 4194304 4196468 140720762545568 139708061399536 139709073617136 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14086144 140720762546928 140720762549445 140720762549445 140720762552271 0
[pid=20659/tid=20722] ppid=20656 vsize=10820196 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/20659/task/20722/stat : 20722 (java) S 20656 20659 17320 0 -1 1077944384 173 13161 0 0 0 0 5 3 20 0 15 0 444416184 11079880704 11027 33554432000 4194304 4196468 140720762545568 139708060346992 139709093972610 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14086144 140720762546928 140720762549445 140720762549445 140720762552271 0
[pid=20659/tid=20723] ppid=20656 vsize=10820196 memory=0 CPUtime=0.11 cores=1,3,5,7
/proc/20659/task/20723/stat : 20723 (java) S 20656 20659 17320 0 -1 1077944384 612 13161 0 0 3 0 5 3 20 0 15 0 444416184 11079880704 11027 33554432000 4194304 4196468 140720762545568 139708059294448 139709093972610 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14086144 140720762546928 140720762549445 140720762549445 140720762552271 0
[pid=20659/tid=20724] ppid=20656 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/20659/task/20724/stat : 20724 (java) S 20656 20659 17320 0 -1 1077944384 3 13161 0 0 0 0 5 3 20 0 15 0 444416184 11079880704 11027 33554432000 4194304 4196468 140720762545568 139707367287904 139709093971669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14086144 140720762546928 140720762549445 140720762549445 140720762552271 0
[pid=20659/tid=20725] ppid=20656 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/20659/task/20725/stat : 20725 (java) S 20656 20659 17320 0 -1 1077944384 1 13161 0 0 0 0 5 3 20 0 15 0 444416185 11079880704 11027 33554432000 4194304 4196468 140720762545568 139708058241328 139709093972610 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14086144 140720762546928 140720762549445 140720762549445 140720762552271 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 10820196 KiB
Current children cumulated memory: 44108 KiB
[startup+0.310584 s]*
/proc/loadavg: 1.82 1.48 1.37 3/228 20725
/proc/meminfo: memFree=27641744/32770624 swapFree=66959728/67108860
[pid=20659] ppid=20656 vsize=10820196 memory=52400 CPUtime=0.4 cores=1,3,5,7
/proc/20659/stat : 20659 (java) S 20656 20659 17320 0 -1 1077944320 10842 13161 0 0 28 4 5 3 20 0 15 0 444416169 11079880704 13100 33554432000 4194304 4196468 140720762545568 140720762528112 139709093961463 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 14086144 140720762546928 140720762549445 140720762549445 140720762552271 0
/proc/20659/statm: 2705049 13100 3309 1 0 2667149 0
[pid=20659/tid=20712] ppid=20656 vsize=10820196 memory=6791534058613427641 CPUtime=0.29 cores=1,3,5,7
/proc/20659/task/20712/stat : 20712 (java) R 20656 20659 17320 0 -1 4202560 7310 13161 0 0 18 3 5 3 20 0 15 0 444416178 11079880704 13100 33554432000 4194304 4196468 140720762545568 139709065770416 139709080139083 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14086144 140720762546928 140720762549445 140720762549445 140720762552271 0
[pid=20659/tid=20713] ppid=20656 vsize=10820196 memory=4126316290023845779 CPUtime=0.08 cores=1,3,5,7
/proc/20659/task/20713/stat : 20713 (java) S 20656 20659 17320 0 -1 1077944384 1 13161 0 0 0 0 5 3 20 0 15 0 444416179 11079880704 13100 33554432000 4194304 4196468 140720762545568 139709098203920 139709093971669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14086144 140720762546928 140720762549445 140720762549445 140720762552271 0
[pid=20659/tid=20714] ppid=20656 vsize=10820196 memory=140333019075025 CPUtime=0.08 cores=1,3,5,7
/proc/20659/task/20714/stat : 20714 (java) S 20656 20659 17320 0 -1 1077944384 1 13161 0 0 0 0 5 3 20 0 15 0 444416179 11079880704 13100 33554432000 4194304 4196468 140720762545568 139708986477456 139709093971669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14086144 140720762546928 140720762549445 140720762549445 140720762552271 0
[pid=20659/tid=20715] ppid=20656 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/20659/task/20715/stat : 20715 (java) S 20656 20659 17320 0 -1 1077944384 1 13161 0 0 0 0 5 3 20 0 15 0 444416179 11079880704 13100 33554432000 4194304 4196468 140720762545568 139708985424912 139709093971669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14086144 140720762546928 140720762549445 140720762549445 140720762552271 0
[pid=20659/tid=20716] ppid=20656 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/20659/task/20716/stat : 20716 (java) S 20656 20659 17320 0 -1 1077944384 2 13161 0 0 0 0 5 3 20 0 15 0 444416179 11079880704 13100 33554432000 4194304 4196468 140720762545568 139708984372368 139709093971669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14086144 140720762546928 140720762549445 140720762549445 140720762552271 0
[pid=20659/tid=20717] ppid=20656 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/20659/task/20717/stat : 20717 (java) S 20656 20659 17320 0 -1 1077944384 2 13161 0 0 0 0 5 3 20 0 15 0 444416181 11079880704 13100 33554432000 4194304 4196468 140720762545568 139708096010224 139709093972610 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14086144 140720762546928 140720762549445 140720762549445 140720762552271 0
[pid=20659/tid=20718] ppid=20656 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/20659/task/20718/stat : 20718 (java) S 20656 20659 17320 0 -1 1077944384 33 13161 0 0 0 0 5 3 20 0 15 0 444416181 11079880704 13100 33554432000 4194304 4196468 140720762545568 139708094956448 139709093971669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14086144 140720762546928 140720762549445 140720762549445 140720762552271 0
[pid=20659/tid=20719] ppid=20656 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/20659/task/20719/stat : 20719 (java) S 20656 20659 17320 0 -1 1077944384 1 13161 0 0 0 0 5 3 20 0 15 0 444416181 11079880704 13100 33554432000 4194304 4196468 140720762545568 139707971265520 139709093971669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14086144 140720762546928 140720762549445 140720762549445 140720762552271 0
[pid=20659/tid=20720] ppid=20656 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/20659/task/20720/stat : 20720 (java) S 20656 20659 17320 0 -1 1077944384 2 13161 0 0 0 0 5 3 20 0 15 0 444416184 11079880704 13100 33554432000 4194304 4196468 140720762545568 139707635722448 139709093980059 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14086144 140720762546928 140720762549445 140720762549445 140720762552271 0
[pid=20659/tid=20721] ppid=20656 vsize=10820196 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/20659/task/20721/stat : 20721 (java) S 20656 20659 17320 0 -1 1077944384 487 13161 0 0 2 0 5 3 20 0 15 0 444416184 11079880704 13100 33554432000 4194304 4196468 140720762545568 139708061399536 139709093972610 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14086144 140720762546928 140720762549445 140720762549445 140720762552271 0
[pid=20659/tid=20722] ppid=20656 vsize=10820196 memory=-1 CPUtime=0.09 cores=1,3,5,7
/proc/20659/task/20722/stat : 20722 (java) S 20656 20659 17320 0 -1 1077944384 174 13161 0 0 1 0 5 3 20 0 15 0 444416184 11079880704 13100 33554432000 4194304 4196468 140720762545568 139708060346992 139709093972610 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14086144 140720762546928 140720762549445 140720762549445 140720762552271 0
[pid=20659/tid=20723] ppid=20656 vsize=10820196 memory=-1 CPUtime=0.13 cores=1,3,5,7
/proc/20659/task/20723/stat : 20723 (java) S 20656 20659 17320 0 -1 1077944384 619 13161 0 0 5 0 5 3 20 0 15 0 444416184 11079880704 13100 33554432000 4194304 4196468 140720762545568 139708059294448 139709093972610 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14086144 140720762546928 140720762549445 140720762549445 140720762552271 0
[pid=20659/tid=20724] ppid=20656 vsize=10820196 memory=140333019068032 CPUtime=0.08 cores=1,3,5,7
/proc/20659/task/20724/stat : 20724 (java) S 20656 20659 17320 0 -1 1077944384 3 13161 0 0 0 0 5 3 20 0 15 0 444416184 11079880704 13100 33554432000 4194304 4196468 140720762545568 139707367287904 139709093971669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14086144 140720762546928 140720762549445 140720762549445 140720762552271 0
[pid=20659/tid=20725] ppid=20656 vsize=10820196 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/20659/task/20725/stat : 20725 (java) S 20656 20659 17320 0 -1 1077944384 1 13161 0 0 0 0 5 3 20 0 15 0 444416185 11079880704 13100 33554432000 4194304 4196468 140720762545568 139708058241328 139709093972610 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14086144 140720762546928 140720762549445 140720762549445 140720762552271 0
Current children cumulated CPU time: 0.4 s
Current children cumulated vsize: 10820196 KiB
Current children cumulated memory: 52400 KiB
[startup+0.707168 s]
/proc/loadavg: 1.82 1.48 1.37 3/227 20725
/proc/meminfo: memFree=27626552/32770624 swapFree=66959728/67108860
[pid=20659] ppid=20656 vsize=10824364 memory=85964 CPUtime=1.14 cores=1,3,5,7
/proc/20659/stat : 20659 (java) S 20656 20659 17320 0 -1 1077944320 15167 13161 0 0 100 6 5 3 20 0 15 0 444416169 11084148736 21491 33554432000 4194304 4196468 140720762545568 140720762528112 139709093961463 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 14086144 140720762546928 140720762549445 140720762549445 140720762552271 0
/proc/20659/statm: 2706091 21491 3513 1 0 2668173 0
[pid=20659/tid=20712] ppid=20656 vsize=10824364 memory=0 CPUtime=0.67 cores=1,3,5,7
/proc/20659/task/20712/stat : 20712 (java) R 20656 20659 17320 0 -1 1077944384 10474 13161 0 0 55 4 5 3 20 0 15 0 444416178 11084148736 21491 33554432000 4194304 4196468 140720762545568 139709065779392 139709086640685 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14086144 140720762546928 140720762549445 140720762549445 140720762552271 0
[pid=20659/tid=20713] ppid=20656 vsize=10824364 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/20659/task/20713/stat : 20713 (java) S 20656 20659 17320 0 -1 1077944384 1 13161 0 0 0 0 5 3 20 0 15 0 444416179 11084148736 21491 33554432000 4194304 4196468 140720762545568 139709098203920 139709093971669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14086144 140720762546928 140720762549445 140720762549445 140720762552271 0
[pid=20659/tid=20714] ppid=20656 vsize=10825388 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/20659/task/20714/stat : 20714 (java) S 20656 20659 17320 0 -1 1077944384 1 13161 0 0 0 0 5 3 20 0 15 0 444416179 11085197312 21491 33554432000 4194304 4196468 140720762545568 139708986477456 139709093971669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14086144 140720762546928 140720762549445 140720762549445 140720762552271 0
[pid=20659/tid=20715] ppid=20656 vsize=10825388 memory=2451553912321 CPUtime=0.08 cores=1,3,5,7
/proc/20659/task/20715/stat : 20715 (java) S 20656 20659 17320 0 -1 1077944384 1 13161 0 0 0 0 5 3 20 0 15 0 444416179 11085197312 21491 33554432000 4194304 4196468 140720762545568 139708985424912 139709093971669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14086144 140720762546928 140720762549445 140720762549445 140720762552271 0
[pid=20659/tid=20716] ppid=20656 vsize=10825388 memory=546658036 CPUtime=0.08 cores=1,3,5,7
/proc/20659/task/20716/stat : 20716 (java) S 20656 20659 17320 0 -1 1077944384 2 13161 0 0 0 0 5 3 20 0 15 0 444416179 11085197312 21491 33554432000 4194304 4196468 140720762545568 139708984372368 139709093971669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14086144 140720762546928 140720762549445 140720762549445 140720762552271 0
[pid=20659/tid=20717] ppid=20656 vsize=10825388 memory=14004 CPUtime=0.08 cores=1,3,5,7
/proc/20659/task/20717/stat : 20717 (java) S 20656 20659 17320 0 -1 1077944384 6 13161 0 0 0 0 5 3 20 0 15 0 444416181 11085197312 21556 33554432000 4194304 4196468 140720762545568 139708096010224 139709093972610 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14086144 140720762546928 140720762549445 140720762549445 140720762552271 0
[pid=20659/tid=20718] ppid=20656 vsize=10825388 memory=25656 CPUtime=0.08 cores=1,3,5,7
/proc/20659/task/20718/stat : 20718 (java) S 20656 20659 17320 0 -1 1077944384 33 13161 0 0 0 0 5 3 20 0 15 0 444416181 11085197312 21556 33554432000 4194304 4196468 140720762545568 139708094956448 139709093971669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14086144 140720762546928 140720762549445 140720762549445 140720762552271 0
[pid=20659/tid=20719] ppid=20656 vsize=10824364 memory=14048 CPUtime=0.08 cores=1,3,5,7
/proc/20659/task/20719/stat : 20719 (java) S 20656 20659 17320 0 -1 1077944384 1 13161 0 0 0 0 5 3 20 0 15 0 444416181 11084148736 21530 33554432000 4194304 4196468 140720762545568 139707971265520 139709093971669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14086144 140720762546928 140720762549445 140720762549445 140720762552271 0
[pid=20659/tid=20720] ppid=20656 vsize=10824364 memory=2124 CPUtime=0.08 cores=1,3,5,7
/proc/20659/task/20720/stat : 20720 (java) S 20656 20659 17320 0 -1 1077944384 2 13161 0 0 0 0 5 3 20 0 15 0 444416184 11084148736 21530 33554432000 4194304 4196468 140720762545568 139707635722448 139709093980059 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14086144 140720762546928 140720762549445 140720762549445 140720762552271 0
[pid=20659/tid=20721] ppid=20656 vsize=10824364 memory=500 CPUtime=0.21 cores=1,3,5,7
/proc/20659/task/20721/stat : 20721 (java) R 20656 20659 17320 0 -1 4202560 928 13161 0 0 13 0 5 3 20 0 15 0 444416184 11084148736 21530 33554432000 4194304 4196468 140720762545568 139708061399536 139709079071029 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14086144 140720762546928 140720762549445 140720762549445 140720762552271 0
[pid=20659/tid=20722] ppid=20656 vsize=10825388 memory=1556 CPUtime=0.2 cores=1,3,5,7
/proc/20659/task/20722/stat : 20722 (java) R 20656 20659 17320 0 -1 4202560 602 13161 0 0 12 0 5 3 20 0 15 0 444416184 11085197312 21530 33554432000 4194304 4196468 140720762545568 139708060333456 139709075485814 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 14086144 140720762546928 140720762549445 140720762549445 140720762552271 0
[pid=20659/tid=20723] ppid=20656 vsize=10825388 memory=6297270678698415205 CPUtime=0.25 cores=1,3,5,7
/proc/20659/task/20723/stat : 20723 (java) S 20656 20659 17320 0 -1 1077944384 907 13161 0 0 17 0 5 3 20 0 15 0 444416184 11085197312 21530 33554432000 4194304 4196468 140720762545568 139708059294448 139709093972610 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14086144 140720762546928 140720762549445 140720762549445 140720762552271 0
[pid=20659/tid=20724] ppid=20656 vsize=10825388 memory=7596281007774459220 CPUtime=0.08 cores=1,3,5,7
/proc/20659/task/20724/stat : 20724 (java) S 20656 20659 17320 0 -1 1077944384 3 13161 0 0 0 0 5 3 20 0 15 0 444416184 11085197312 21530 33554432000 4194304 4196468 140720762545568 139707367287904 139709093971669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14086144 140720762546928 140720762549445 140720762549445 140720762552271 0
[pid=20659/tid=20725] ppid=20656 vsize=10825388 memory=5787219337891893328 CPUtime=0.08 cores=1,3,5,7
/proc/20659/task/20725/stat : 20725 (java) S 20656 20659 17320 0 -1 1077944384 1 13161 0 0 0 0 5 3 20 0 15 0 444416185 11085197312 21530 33554432000 4194304 4196468 140720762545568 139708058241328 139709093972610 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14086144 140720762546928 140720762549445 140720762549445 140720762552271 0
Current children cumulated CPU time: 1.14 s
Current children cumulated vsize: 10824364 KiB
Current children cumulated memory: 85964 KiB
[startup+1.50072 s]
/proc/loadavg: 1.82 1.48 1.37 3/227 20725
/proc/meminfo: memFree=27584924/32770624 swapFree=66959728/67108860
[pid=20659] ppid=20656 vsize=10834680 memory=174948 CPUtime=2.47 cores=1,3,5,7
/proc/20659/stat : 20659 (java) S 20656 20659 17320 0 -1 1077944320 21822 13161 0 0 227 12 5 3 20 0 15 0 444416169 11094712320 43737 33554432000 4194304 4196468 140720762545568 140720762528112 139709093961463 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 14086144 140720762546928 140720762549445 140720762549445 140720762552271 0
/proc/20659/statm: 2708670 43737 3577 1 0 2670733 0
[pid=20659/tid=20712] ppid=20656 vsize=10834680 memory=0 CPUtime=1.44 cores=1,3,5,7
/proc/20659/task/20712/stat : 20712 (java) R 20656 20659 17320 0 -1 4202560 15327 13161 0 0 129 7 5 3 20 0 15 0 444416178 11094712320 43737 33554432000 4194304 4196468 140720762545568 139709065761360 139709093982810 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14086144 140720762546928 140720762549445 140720762549445 140720762552271 0
[pid=20659/tid=20713] ppid=20656 vsize=10834680 memory=6913 CPUtime=0.09 cores=1,3,5,7
/proc/20659/task/20713/stat : 20713 (java) S 20656 20659 17320 0 -1 1077944384 328 13161 0 0 1 0 5 3 20 0 15 0 444416179 11094712320 43737 33554432000 4194304 4196468 140720762545568 139709098203920 139709093971669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14086144 140720762546928 140720762549445 140720762549445 140720762552271 0
[pid=20659/tid=20714] ppid=20656 vsize=10834680 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/20659/task/20714/stat : 20714 (java) S 20656 20659 17320 0 -1 1077944384 57 13161 0 0 1 0 5 3 20 0 15 0 444416179 11094712320 43737 33554432000 4194304 4196468 140720762545568 139708986477456 139709093971669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14086144 140720762546928 140720762549445 140720762549445 140720762552271 0
[pid=20659/tid=20715] ppid=20656 vsize=10834680 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/20659/task/20715/stat : 20715 (java) S 20656 20659 17320 0 -1 1077944384 70 13161 0 0 0 0 5 3 20 0 15 0 444416179 11094712320 43737 33554432000 4194304 4196468 140720762545568 139708985424912 139709093971669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14086144 140720762546928 140720762549445 140720762549445 140720762552271 0
[pid=20659/tid=20716] ppid=20656 vsize=10834680 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/20659/task/20716/stat : 20716 (java) S 20656 20659 17320 0 -1 1077944384 14 13161 0 0 0 0 5 3 20 0 15 0 444416179 11094712320 43737 33554432000 4194304 4196468 140720762545568 139708984372368 139709093971669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14086144 140720762546928 140720762549445 140720762549445 140720762552271 0
[pid=20659/tid=20717] ppid=20656 vsize=10834680 memory=280665778103488 CPUtime=0.09 cores=1,3,5,7
/proc/20659/task/20717/stat : 20717 (java) S 20656 20659 17320 0 -1 1077944384 157 13161 0 0 1 0 5 3 20 0 15 0 444416181 11094712320 43737 33554432000 4194304 4196468 140720762545568 139708096010224 139709093972610 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14086144 140720762546928 140720762549445 140720762549445 140720762552271 0
[pid=20659/tid=20718] ppid=20656 vsize=10834680 memory=140332889057776 CPUtime=0.08 cores=1,3,5,7
/proc/20659/task/20718/stat : 20718 (java) S 20656 20659 17320 0 -1 1077944384 34 13161 0 0 0 0 5 3 20 0 15 0 444416181 11094712320 43737 33554432000 4194304 4196468 140720762545568 139708094956512 139709093971669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14086144 140720762546928 140720762549445 140720762549445 140720762552271 0
[pid=20659/tid=20719] ppid=20656 vsize=10834680 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/20659/task/20719/stat : 20719 (java) S 20656 20659 17320 0 -1 1077944384 1 13161 0 0 0 0 5 3 20 0 15 0 444416181 11094712320 43737 33554432000 4194304 4196468 140720762545568 139707971265536 139709093971669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14086144 140720762546928 140720762549445 140720762549445 140720762552271 0
[pid=20659/tid=20720] ppid=20656 vsize=10834680 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/20659/task/20720/stat : 20720 (java) S 20656 20659 17320 0 -1 1077944384 2 13161 0 0 0 0 5 3 20 0 15 0 444416184 11094712320 43737 33554432000 4194304 4196468 140720762545568 139707635722448 139709093980059 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14086144 140720762546928 140720762549445 140720762549445 140720762552271 0
[pid=20659/tid=20721] ppid=20656 vsize=10834680 memory=7518026630507424100 CPUtime=0.33 cores=1,3,5,7
/proc/20659/task/20721/stat : 20721 (java) R 20656 20659 17320 0 -1 1077944384 1190 13161 0 0 25 0 5 3 20 0 15 0 444416184 11094712320 43737 33554432000 4194304 4196468 140720762545568 139708061399536 139709093972610 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14086144 140720762546928 140720762549445 140720762549445 140720762552271 0
[pid=20659/tid=20722] ppid=20656 vsize=10834680 memory=7308045134030598231 CPUtime=0.32 cores=1,3,5,7
/proc/20659/task/20722/stat : 20722 (java) S 20656 20659 17320 0 -1 1077944384 866 13161 0 0 24 0 5 3 20 0 15 0 444416184 11094712320 43737 33554432000 4194304 4196468 140720762545568 139708060346992 139709093972610 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14086144 140720762546928 140720762549445 140720762549445 140720762552271 0
[pid=20659/tid=20723] ppid=20656 vsize=10834680 memory=0 CPUtime=0.49 cores=1,3,5,7
/proc/20659/task/20723/stat : 20723 (java) R 20656 20659 17320 0 -1 4202560 1568 13161 0 0 41 0 5 3 20 0 15 0 444416184 11094712320 43737 33554432000 4194304 4196468 140720762545568 139708059294448 139709093973398 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14086144 140720762546928 140720762549445 140720762549445 140720762552271 0
[pid=20659/tid=20724] ppid=20656 vsize=10834680 memory=14 CPUtime=0.08 cores=1,3,5,7
/proc/20659/task/20724/stat : 20724 (java) S 20656 20659 17320 0 -1 1077944384 3 13161 0 0 0 0 5 3 20 0 15 0 444416184 11094712320 43737 33554432000 4194304 4196468 140720762545568 139707367287904 139709093971669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14086144 140720762546928 140720762549445 140720762549445 140720762552271 0
[pid=20659/tid=20725] ppid=20656 vsize=10834680 memory=140332889320083 CPUtime=0.08 cores=1,3,5,7
/proc/20659/task/20725/stat : 20725 (java) S 20656 20659 17320 0 -1 1077944384 1 13161 0 0 0 0 5 3 20 0 15 0 444416185 11094712320 43737 33554432000 4194304 4196468 140720762545568 139708058241328 139709093972610 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14086144 140720762546928 140720762549445 140720762549445 140720762552271 0
Current children cumulated CPU time: 2.47 s
Current children cumulated vsize: 10834680 KiB
Current children cumulated memory: 174948 KiB
[startup+3.11121 s]
/proc/loadavg: 2.08 1.53 1.39 3/227 20725
/proc/meminfo: memFree=27445004/32770624 swapFree=66959728/67108860
[pid=20659] ppid=20656 vsize=10844940 memory=258072 CPUtime=6.73 cores=1,3,5,7
/proc/20659/stat : 20659 (java) S 20656 20659 17320 0 -1 1077944320 39588 13161 0 0 646 19 5 3 20 0 15 0 444416169 11105218560 64518 33554432000 4194304 4196468 140720762545568 140720762528112 139709093961463 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 14086144 140720762546928 140720762549445 140720762549445 140720762552271 0
/proc/20659/statm: 2711235 64518 3614 1 0 2673293 0
[pid=20659/tid=20712] ppid=20656 vsize=10844940 memory=230972 CPUtime=2.98 cores=1,3,5,7
/proc/20659/task/20712/stat : 20712 (java) R 20656 20659 17320 0 -1 4202560 20895 13161 0 0 281 9 5 3 20 0 15 0 444416178 11105218560 64518 33554432000 4194304 4196468 140720762545568 139709065797680 139708659428832 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14086144 140720762546928 140720762549445 140720762549445 140720762552271 0
[pid=20659/tid=20713] ppid=20656 vsize=10844940 memory=16047 CPUtime=0.11 cores=1,3,5,7
/proc/20659/task/20713/stat : 20713 (java) S 20656 20659 17320 0 -1 1077944384 356 13161 0 0 3 0 5 3 20 0 15 0 444416179 11105218560 64518 33554432000 4194304 4196468 140720762545568 139709098203920 139709093971669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14086144 140720762546928 140720762549445 140720762549445 140720762552271 0
[pid=20659/tid=20714] ppid=20656 vsize=10844940 memory=202892 CPUtime=0.11 cores=1,3,5,7
/proc/20659/task/20714/stat : 20714 (java) S 20656 20659 17320 0 -1 1077944384 87 13161 0 0 3 0 5 3 20 0 15 0 444416179 11105218560 64518 33554432000 4194304 4196468 140720762545568 139708986477456 139709093971669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14086144 140720762546928 140720762549445 140720762549445 140720762552271 0
[pid=20659/tid=20715] ppid=20656 vsize=10844940 memory=5793997818084811862 CPUtime=0.11 cores=1,3,5,7
/proc/20659/task/20715/stat : 20715 (java) S 20656 20659 17320 0 -1 1077944384 90 13161 0 0 3 0 5 3 20 0 15 0 444416179 11105218560 64518 33554432000 4194304 4196468 140720762545568 139708985424912 139709093971669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14086144 140720762546928 140720762549445 140720762549445 140720762552271 0
[pid=20659/tid=20716] ppid=20656 vsize=10844940 memory=5865473843519311953 CPUtime=0.1 cores=1,3,5,7
/proc/20659/task/20716/stat : 20716 (java) S 20656 20659 17320 0 -1 1077944384 25 13161 0 0 2 0 5 3 20 0 15 0 444416179 11105218560 64518 33554432000 4194304 4196468 140720762545568 139708984372368 139709093971669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14086144 140720762546928 140720762549445 140720762549445 140720762552271 0
[pid=20659/tid=20717] ppid=20656 vsize=10844940 memory=7235666555576670309 CPUtime=0.11 cores=1,3,5,7
/proc/20659/task/20717/stat : 20717 (java) S 20656 20659 17320 0 -1 1077944384 2577 13161 0 0 3 0 5 3 20 0 15 0 444416181 11105218560 64518 33554432000 4194304 4196468 140720762545568 139708096010224 139709093972610 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14086144 140720762546928 140720762549445 140720762549445 140720762552271 0
[pid=20659/tid=20718] ppid=20656 vsize=10844940 memory=56 CPUtime=0.08 cores=1,3,5,7
/proc/20659/task/20718/stat : 20718 (java) S 20656 20659 17320 0 -1 1077944384 37 13161 0 0 0 0 5 3 20 0 15 0 444416181 11105218560 64518 33554432000 4194304 4196468 140720762545568 139708094956512 139709093971669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14086144 140720762546928 140720762549445 140720762549445 140720762552271 0
[pid=20659/tid=20719] ppid=20656 vsize=10844940 memory=6656426216303648864 CPUtime=0.08 cores=1,3,5,7
/proc/20659/task/20719/stat : 20719 (java) S 20656 20659 17320 0 -1 1077944384 1 13161 0 0 0 0 5 3 20 0 15 0 444416181 11105218560 64518 33554432000 4194304 4196468 140720762545568 139707971265536 139709093971669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14086144 140720762546928 140720762549445 140720762549445 140720762552271 0
[pid=20659/tid=20720] ppid=20656 vsize=10844940 memory=6944656592387989600 CPUtime=0.08 cores=1,3,5,7
/proc/20659/task/20720/stat : 20720 (java) S 20656 20659 17320 0 -1 1077944384 2 13161 0 0 0 0 5 3 20 0 15 0 444416184 11105218560 64518 33554432000 4194304 4196468 140720762545568 139707635722448 139709093980059 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14086144 140720762546928 140720762549445 140720762549445 140720762552271 0
[pid=20659/tid=20721] ppid=20656 vsize=10844940 memory=0 CPUtime=1.05 cores=1,3,5,7
/proc/20659/task/20721/stat : 20721 (java) R 20656 20659 17320 0 -1 4202560 3330 13161 0 0 96 1 5 3 20 0 15 0 444416184 11105218560 64518 33554432000 4194304 4196468 140720762545568 139708061380552 139709073150969 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 14086144 140720762546928 140720762549445 140720762549445 140720762552271 0
[pid=20659/tid=20722] ppid=20656 vsize=10844940 memory=0 CPUtime=1.32 cores=1,3,5,7
/proc/20659/task/20722/stat : 20722 (java) R 20656 20659 17320 0 -1 4202560 3992 13161 0 0 123 1 5 3 20 0 15 0 444416184 11105218560 64518 33554432000 4194304 4196468 140720762545568 139708060327224 139709077447477 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14086144 140720762546928 140720762549445 140720762549445 140720762552271 0
[pid=20659/tid=20723] ppid=20656 vsize=10844940 memory=4126316290023845779 CPUtime=1.35 cores=1,3,5,7
/proc/20659/task/20723/stat : 20723 (java) R 20656 20659 17320 0 -1 4202560 5986 13161 0 0 125 2 5 3 20 0 15 0 444416184 11105218560 64518 33554432000 4194304 4196468 140720762545568 139708059294448 139709087058299 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14086144 140720762546928 140720762549445 140720762549445 140720762552271 0
[pid=20659/tid=20724] ppid=20656 vsize=10844940 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/20659/task/20724/stat : 20724 (java) S 20656 20659 17320 0 -1 1077944384 3 13161 0 0 0 0 5 3 20 0 15 0 444416184 11105218560 64518 33554432000 4194304 4196468 140720762545568 139707367287904 139709093971669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14086144 140720762546928 140720762549445 140720762549445 140720762552271 0
[pid=20659/tid=20725] ppid=20656 vsize=10844940 memory=1966187 CPUtime=0.08 cores=1,3,5,7
/proc/20659/task/20725/stat : 20725 (java) S 20656 20659 17320 0 -1 1077944384 3 13161 0 0 0 0 5 3 20 0 15 0 444416185 11105218560 64518 33554432000 4194304 4196468 140720762545568 139708058241328 139709093972610 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14086144 140720762546928 140720762549445 140720762549445 140720762552271 0
Current children cumulated CPU time: 6.73 s
Current children cumulated vsize: 10844940 KiB
Current children cumulated memory: 258072 KiB
[startup+4.21038 s]
# the end of solver process 20659 was just reported to runsolver
# cumulated CPU time of all completed processes: user=9.89727 s, system=0.274149 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3.21117 s]
/proc/loadavg: 2.08 1.53 1.39 3/227 20725
/proc/meminfo: memFree=27445004/32770624 swapFree=66959728/67108860
[pid=20659] ppid=20656 vsize=10844940 memory=266660 CPUtime=7.07 cores=1,3,5,7
/proc/20659/stat : 20659 (java) S 20656 20659 17320 0 -1 1077944320 43316 13161 0 0 680 19 5 3 20 0 15 0 444416169 11105218560 66665 33554432000 4194304 4196468 140720762545568 140720762528112 139709093961463 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 14086144 140720762546928 140720762549445 140720762549445 140720762552271 0
/proc/20659/statm: 2711235 66665 3614 1 0 2673293 0
[pid=20659/tid=20712] ppid=20656 vsize=10844940 memory=0 CPUtime=3.08 cores=1,3,5,7
/proc/20659/task/20712/stat : 20712 (java) R 20656 20659 17320 0 -1 4202560 21544 13161 0 0 291 9 5 3 20 0 15 0 444416178 11105218560 66665 33554432000 4194304 4196468 140720762545568 139709065791984 139708671834440 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14086144 140720762546928 140720762549445 140720762549445 140720762552271 0
[pid=20659/tid=20713] ppid=20656 vsize=10844940 memory=0 CPUtime=0.11 cores=1,3,5,7
/proc/20659/task/20713/stat : 20713 (java) S 20656 20659 17320 0 -1 1077944384 356 13161 0 0 3 0 5 3 20 0 15 0 444416179 11105218560 66665 33554432000 4194304 4196468 140720762545568 139709098203920 139709093971669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14086144 140720762546928 140720762549445 140720762549445 140720762552271 0
[pid=20659/tid=20714] ppid=20656 vsize=10844940 memory=0 CPUtime=0.11 cores=1,3,5,7
/proc/20659/task/20714/stat : 20714 (java) S 20656 20659 17320 0 -1 1077944384 87 13161 0 0 3 0 5 3 20 0 15 0 444416179 11105218560 66665 33554432000 4194304 4196468 140720762545568 139708986477456 139709093971669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14086144 140720762546928 140720762549445 140720762549445 140720762552271 0
[pid=20659/tid=20715] ppid=20656 vsize=10844940 memory=0 CPUtime=0.11 cores=1,3,5,7
/proc/20659/task/20715/stat : 20715 (java) S 20656 20659 17320 0 -1 1077944384 90 13161 0 0 3 0 5 3 20 0 15 0 444416179 11105218560 66665 33554432000 4194304 4196468 140720762545568 139708985424912 139709093971669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14086144 140720762546928 140720762549445 140720762549445 140720762552271 0
[pid=20659/tid=20716] ppid=20656 vsize=10844940 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/20659/task/20716/stat : 20716 (java) S 20656 20659 17320 0 -1 1077944384 25 13161 0 0 2 0 5 3 20 0 15 0 444416179 11105218560 66665 33554432000 4194304 4196468 140720762545568 139708984372368 139709093971669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14086144 140720762546928 140720762549445 140720762549445 140720762552271 0
[pid=20659/tid=20717] ppid=20656 vsize=10844940 memory=0 CPUtime=0.11 cores=1,3,5,7
/proc/20659/task/20717/stat : 20717 (java) S 20656 20659 17320 0 -1 1077944384 2577 13161 0 0 3 0 5 3 20 0 15 0 444416181 11105218560 66665 33554432000 4194304 4196468 140720762545568 139708096010224 139709093972610 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14086144 140720762546928 140720762549445 140720762549445 140720762552271 0
[pid=20659/tid=20718] ppid=20656 vsize=10844940 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/20659/task/20718/stat : 20718 (java) S 20656 20659 17320 0 -1 1077944384 37 13161 0 0 0 0 5 3 20 0 15 0 444416181 11105218560 66665 33554432000 4194304 4196468 140720762545568 139708094956512 139709093971669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14086144 140720762546928 140720762549445 140720762549445 140720762552271 0
[pid=20659/tid=20719] ppid=20656 vsize=10844940 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/20659/task/20719/stat : 20719 (java) S 20656 20659 17320 0 -1 1077944384 1 13161 0 0 0 0 5 3 20 0 15 0 444416181 11105218560 66665 33554432000 4194304 4196468 140720762545568 139707971265536 139709093971669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14086144 140720762546928 140720762549445 140720762549445 140720762552271 0
[pid=20659/tid=20720] ppid=20656 vsize=10844940 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/20659/task/20720/stat : 20720 (java) S 20656 20659 17320 0 -1 1077944384 2 13161 0 0 0 0 5 3 20 0 15 0 444416184 11105218560 66665 33554432000 4194304 4196468 140720762545568 139707635722448 139709093980059 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14086144 140720762546928 140720762549445 140720762549445 140720762552271 0
[pid=20659/tid=20721] ppid=20656 vsize=10844940 memory=1564 CPUtime=1.15 cores=1,3,5,7
/proc/20659/task/20721/stat : 20721 (java) R 20656 20659 17320 0 -1 4202560 4647 13161 0 0 106 1 5 3 20 0 15 0 444416184 11105218560 66665 33554432000 4194304 4196468 140720762545568 139708061380552 139709077447477 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 14086144 140720762546928 140720762549445 140720762549445 140720762552271 0
[pid=20659/tid=20722] ppid=20656 vsize=10844940 memory=6060 CPUtime=1.42 cores=1,3,5,7
/proc/20659/task/20722/stat : 20722 (java) R 20656 20659 17320 0 -1 4202560 4953 13161 0 0 133 1 5 3 20 0 15 0 444416184 11105218560 66665 33554432000 4194304 4196468 140720762545568 139708060328008 139709073389013 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14086144 140720762546928 140720762549445 140720762549445 140720762552271 0
[pid=20659/tid=20723] ppid=20656 vsize=10844940 memory=1060 CPUtime=1.4 cores=1,3,5,7
/proc/20659/task/20723/stat : 20723 (java) S 20656 20659 17320 0 -1 1077944384 6786 13161 0 0 130 2 5 3 20 0 15 0 444416184 11105218560 66665 33554432000 4194304 4196468 140720762545568 139708059294448 139709093972610 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14086144 140720762546928 140720762549445 140720762549445 140720762552271 0
[pid=20659/tid=20724] ppid=20656 vsize=10844940 memory=2828 CPUtime=0.08 cores=1,3,5,7
/proc/20659/task/20724/stat : 20724 (java) S 20656 20659 17320 0 -1 1077944384 3 13161 0 0 0 0 5 3 20 0 15 0 444416184 11105218560 66665 33554432000 4194304 4196468 140720762545568 139707367287904 139709093971669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14086144 140720762546928 140720762549445 140720762549445 140720762552271 0
[pid=20659/tid=20725] ppid=20656 vsize=10844940 memory=1216 CPUtime=0.08 cores=1,3,5,7
/proc/20659/task/20725/stat : 20725 (java) S 20656 20659 17320 0 -1 1077944384 3 13161 0 0 0 0 5 3 20 0 15 0 444416185 11105218560 66665 33554432000 4194304 4196468 140720762545568 139708058241328 139709093972610 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14086144 140720762546928 140720762549445 140720762549445 140720762552271 0
Current children cumulated CPU time: 7.07 s
Current children cumulated vsize: 10844940 KiB
Current children cumulated memory: 266660 KiB
[startup+4.00072 s]*
/proc/loadavg: 2.08 1.53 1.39 5/227 20725
/proc/meminfo: memFree=27389692/32770624 swapFree=66959728/67108860
[pid=20659] ppid=20656 vsize=10844940 memory=306340 CPUtime=9.58 cores=1,3,5,7
/proc/20659/stat : 20659 (java) S 20656 20659 17320 0 -1 1077944320 61343 13161 0 0 928 22 5 3 20 0 15 0 444416169 11105218560 76585 33554432000 4194304 4196468 140720762545568 140720762528112 139709093961463 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 14086144 140720762546928 140720762549445 140720762549445 140720762552271 0
/proc/20659/statm: 2711235 76585 3614 1 0 2673293 0
[pid=20659/tid=20712] ppid=20656 vsize=10844940 memory=6944656592455359545 CPUtime=3.88 cores=1,3,5,7
/proc/20659/task/20712/stat : 20712 (java) R 20656 20659 17320 0 -1 4202560 22873 13161 0 0 370 10 5 3 20 0 15 0 444416178 11105218560 76585 33554432000 4194304 4196468 140720762545568 139709065796864 139709093973398 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14086144 140720762546928 140720762549445 140720762549445 140720762552271 0
[pid=20659/tid=20713] ppid=20656 vsize=10844940 memory=3472328296227679279 CPUtime=0.11 cores=1,3,5,7
/proc/20659/task/20713/stat : 20713 (java) S 20656 20659 17320 0 -1 1077944384 356 13161 0 0 3 0 5 3 20 0 15 0 444416179 11105218560 76585 33554432000 4194304 4196468 140720762545568 139709098203920 139709093971669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14086144 140720762546928 140720762549445 140720762549445 140720762552271 0
[pid=20659/tid=20714] ppid=20656 vsize=10844940 memory=3472468629246748336 CPUtime=0.11 cores=1,3,5,7
/proc/20659/task/20714/stat : 20714 (java) S 20656 20659 17320 0 -1 1077944384 87 13161 0 0 3 0 5 3 20 0 15 0 444416179 11105218560 76585 33554432000 4194304 4196468 140720762545568 139708986477456 139709093971669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14086144 140720762546928 140720762549445 140720762549445 140720762552271 0
[pid=20659/tid=20715] ppid=20656 vsize=10844940 memory=4126316290023845779 CPUtime=0.11 cores=1,3,5,7
/proc/20659/task/20715/stat : 20715 (java) S 20656 20659 17320 0 -1 1077944384 90 13161 0 0 3 0 5 3 20 0 15 0 444416179 11105218560 76585 33554432000 4194304 4196468 140720762545568 139708985424912 139709093971669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14086144 140720762546928 140720762549445 140720762549445 140720762552271 0
[pid=20659/tid=20716] ppid=20656 vsize=10844940 memory=206 CPUtime=0.1 cores=1,3,5,7
/proc/20659/task/20716/stat : 20716 (java) S 20656 20659 17320 0 -1 1077944384 25 13161 0 0 2 0 5 3 20 0 15 0 444416179 11105218560 76585 33554432000 4194304 4196468 140720762545568 139708984372368 139709093971669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14086144 140720762546928 140720762549445 140720762549445 140720762552271 0
[pid=20659/tid=20717] ppid=20656 vsize=10844940 memory=1 CPUtime=0.11 cores=1,3,5,7
/proc/20659/task/20717/stat : 20717 (java) S 20656 20659 17320 0 -1 1077944384 3742 13161 0 0 3 0 5 3 20 0 15 0 444416181 11105218560 76585 33554432000 4194304 4196468 140720762545568 139708096010224 139709093972610 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14086144 140720762546928 140720762549445 140720762549445 140720762552271 0
[pid=20659/tid=20718] ppid=20656 vsize=10844940 memory=1 CPUtime=0.08 cores=1,3,5,7
/proc/20659/task/20718/stat : 20718 (java) S 20656 20659 17320 0 -1 1077944384 37 13161 0 0 0 0 5 3 20 0 15 0 444416181 11105218560 76585 33554432000 4194304 4196468 140720762545568 139708094956512 139709093971669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14086144 140720762546928 140720762549445 140720762549445 140720762552271 0
[pid=20659/tid=20719] ppid=20656 vsize=10844940 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/20659/task/20719/stat : 20719 (java) S 20656 20659 17320 0 -1 1077944384 1 13161 0 0 0 0 5 3 20 0 15 0 444416181 11105218560 76585 33554432000 4194304 4196468 140720762545568 139707971265536 139709093971669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14086144 140720762546928 140720762549445 140720762549445 140720762552271 0
[pid=20659/tid=20720] ppid=20656 vsize=10844940 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/20659/task/20720/stat : 20720 (java) S 20656 20659 17320 0 -1 1077944384 2 13161 0 0 0 0 5 3 20 0 15 0 444416184 11105218560 76585 33554432000 4194304 4196468 140720762545568 139707635722448 139709093980059 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14086144 140720762546928 140720762549445 140720762549445 140720762552271 0
[pid=20659/tid=20721] ppid=20656 vsize=10844940 memory=1 CPUtime=1.95 cores=1,3,5,7
/proc/20659/task/20721/stat : 20721 (java) R 20656 20659 17320 0 -1 4202560 9453 13161 0 0 185 2 5 3 20 0 15 0 444416184 11105218560 76585 33554432000 4194304 4196468 140720762545568 139708061382720 139709077453222 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14086144 140720762546928 140720762549445 140720762549445 140720762552271 0
[pid=20659/tid=20722] ppid=20656 vsize=10844940 memory=0 CPUtime=2.22 cores=1,3,5,7
/proc/20659/task/20722/stat : 20722 (java) R 20656 20659 17320 0 -1 4202560 13278 13161 0 0 212 2 5 3 20 0 15 0 444416184 11105218560 76585 33554432000 4194304 4196468 140720762545568 139708060330192 139709079329615 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14086144 140720762546928 140720762549445 140720762549445 140720762552271 0
[pid=20659/tid=20723] ppid=20656 vsize=10844940 memory=0 CPUtime=1.51 cores=1,3,5,7
/proc/20659/task/20723/stat : 20723 (java) R 20656 20659 17320 0 -1 1077944384 9183 13161 0 0 140 3 5 3 20 0 15 0 444416184 11105218560 76585 33554432000 4194304 4196468 140720762545568 139708059294448 139709093972610 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14086144 140720762546928 140720762549445 140720762549445 140720762552271 0
[pid=20659/tid=20724] ppid=20656 vsize=10844940 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/20659/task/20724/stat : 20724 (java) S 20656 20659 17320 0 -1 1077944384 3 13161 0 0 0 0 5 3 20 0 15 0 444416184 11105218560 76585 33554432000 4194304 4196468 140720762545568 139707367287904 139709093971669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14086144 140720762546928 140720762549445 140720762549445 140720762552271 0
[pid=20659/tid=20725] ppid=20656 vsize=10844940 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/20659/task/20725/stat : 20725 (java) S 20656 20659 17320 0 -1 1077944384 8 13161 0 0 0 0 5 3 20 0 15 0 444416185 11105218560 76585 33554432000 4194304 4196468 140720762545568 139708058241328 139709093972610 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14086144 140720762546928 140720762549445 140720762549445 140720762552271 0
Current children cumulated CPU time: 9.58 s
Current children cumulated vsize: 10844940 KiB
Current children cumulated memory: 306340 KiB
[startup+4.20067 s]*
/proc/loadavg: 2.08 1.53 1.39 3/214 20726
/proc/meminfo: memFree=27651620/32770624 swapFree=66959728/67108860
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 0
Real time (s): 4.21043
CPU time (s): 10.1714
CPU user time (s): 9.89727
CPU system time (s): 0.274149
CPU usage (%): 241.577
Max. virtual memory (cumulated for all children) (KiB): 10850316
Max. memory (cumulated for all children) (KiB): 309728
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 9.89727
system time used= 0.274149
maximum resident set size= 325932
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 75004
page faults= 0
swaps= 0
block input operations= 0
block output operations= 184
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6424
involuntary context switches= 45
# summary of solver processes directly reported to runsolver:
# pid: 20659
# total CPU time (s): 10.1714
# total CPU user time (s): 9.89727
# total CPU system time (s): 0.274149
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.042371 second user time and 0.091977 second system time
The end