2018 XCSP3 competition: sequential solvers tracks competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
Concrete 3.8 2018-06-13	SAT (TO)	16	2520.12	2453.25
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 (8659 MiB free)
  memory of node 1: 16384 MiB (9396 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4293624-1532324974/watcher-4293624-1532324974 -o /tmp/evaluation-result-4293624-1532324974/solver-4293624-1532324974 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node107-1532295923-7918 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=764678399 HOME/instance-4293624-1532324974.xml 

running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=13657, runsolver pid=13654

[startup+0.100057 s]*
/proc/loadavg: 1.75 1.51 1.45 3/206 13714
/proc/meminfo: memFree=18484944/32770624 swapFree=67108860/67108860
[pid=13657] ppid=13654 vsize=9972712 memory=16812 CPUtime=0.1 cores=0,2,4,6
/proc/13657/stat : 13657 (java) S 13654 13657 7887 0 -1 1077944320 4320 13205 0 0 1 1 5 3 20 0 6 0 50060641 10212057088 4137 33554432000 4194304 4196468 140734357713616 140734357696160 140014241603319 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 22147072 140734357719663 140734357722460 140734357722460 140734357725135 0
/proc/13657/statm: 2493178 4137 1932 1 0 2481616 0
[pid=13657/tid=13710] ppid=13654 vsize=9972712 memory=4279135703946462605 CPUtime=0.08 cores=0,2,4,6
/proc/13657/task/13710/stat : 13710 (java) R 13654 13657 7887 0 -1 4202560 2159 13205 0 0 0 0 5 3 20 0 6 0 50060650 10212057088 4203 33554432000 4194304 4196468 140734357713616 140014213440080 140014227296785 0 4 0 16784584 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22147072 140734357719663 140734357722460 140734357722460 140734357725135 0
[pid=13657/tid=13711] ppid=13654 vsize=9972712 memory=8257237230052613020 CPUtime=0.08 cores=0,2,4,6
/proc/13657/task/13711/stat : 13711 (java) S 13654 13657 7887 0 -1 1077944384 1 13205 0 0 0 0 5 3 20 0 6 0 50060651 10212057088 4203 33554432000 4194304 4196468 140734357713616 140014245846032 140014241613525 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22147072 140734357719663 140734357722460 140734357722460 140734357725135 0
[pid=13657/tid=13712] ppid=13654 vsize=9972712 memory=139782011795072 CPUtime=0.08 cores=0,2,4,6
/proc/13657/task/13712/stat : 13712 (java) S 13654 13657 7887 0 -1 1077944384 1 13205 0 0 0 0 5 3 20 0 6 0 50060651 10212057088 4203 33554432000 4194304 4196468 140734357713616 140014134119568 140014241613525 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22147072 140734357719663 140734357722460 140734357722460 140734357725135 0
[pid=13657/tid=13713] ppid=13654 vsize=9972712 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/13657/task/13713/stat : 13713 (java) S 13654 13657 7887 0 -1 1077944384 1 13205 0 0 0 0 5 3 20 0 6 0 50060651 10212057088 4203 33554432000 4194304 4196468 140734357713616 140014133066512 140014241613525 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22147072 140734357719663 140734357722460 140734357722460 140734357725135 0
[pid=13657/tid=13714] ppid=13654 vsize=9972712 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/13657/task/13714/stat : 13714 (java) S 13654 13657 7887 0 -1 1077944384 2 13205 0 0 0 0 5 3 20 0 6 0 50060651 10212057088 4203 33554432000 4194304 4196468 140734357713616 140014132013968 140014241613525 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22147072 140734357719663 140734357722460 140734357722460 140734357725135 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 16812 KiB

[startup+0.210938 s]*
/proc/loadavg: 1.75 1.51 1.45 3/215 13723
/proc/meminfo: memFree=18460728/32770624 swapFree=67108860/67108860
[pid=13657] ppid=13654 vsize=10818904 memory=43004 CPUtime=0.26 cores=0,2,4,6
/proc/13657/stat : 13657 (java) S 13654 13657 7887 0 -1 1077944320 7433 13205 0 0 16 2 5 3 20 0 15 0 50060641 11078557696 10685 33554432000 4194304 4196468 140734357713616 140734357696160 140014241603319 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 22147072 140734357719663 140734357722460 140734357722460 140734357725135 0
/proc/13657/statm: 2704726 10751 2950 1 0 2667149 0
[pid=13657/tid=13710] ppid=13654 vsize=10818904 memory=-6517102902069810590 CPUtime=0.19 cores=0,2,4,6
/proc/13657/task/13710/stat : 13710 (java) R 13654 13657 7887 0 -1 4202560 4154 13205 0 0 10 1 5 3 20 0 15 0 50060650 11078557696 10883 33554432000 4194304 4196468 140734357713616 140014213425128 140014221879068 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22147072 140734357719663 140734357722460 140734357722460 140734357725135 0
[pid=13657/tid=13711] ppid=13654 vsize=10818904 memory=-7025452035940392864 CPUtime=0.08 cores=0,2,4,6
/proc/13657/task/13711/stat : 13711 (java) S 13654 13657 7887 0 -1 1077944384 1 13205 0 0 0 0 5 3 20 0 15 0 50060651 11078557696 10883 33554432000 4194304 4196468 140734357713616 140014245846032 140014241613525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22147072 140734357719663 140734357722460 140734357722460 140734357725135 0
[pid=13657/tid=13712] ppid=13654 vsize=10818904 memory=139782011795072 CPUtime=0.08 cores=0,2,4,6
/proc/13657/task/13712/stat : 13712 (java) S 13654 13657 7887 0 -1 1077944384 1 13205 0 0 0 0 5 3 20 0 15 0 50060651 11078557696 10883 33554432000 4194304 4196468 140734357713616 140014134119568 140014241613525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22147072 140734357719663 140734357722460 140734357722460 140734357725135 0
[pid=13657/tid=13713] ppid=13654 vsize=10818904 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/13657/task/13713/stat : 13713 (java) S 13654 13657 7887 0 -1 1077944384 1 13205 0 0 0 0 5 3 20 0 15 0 50060651 11078557696 10883 33554432000 4194304 4196468 140734357713616 140014133066512 140014241613525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22147072 140734357719663 140734357722460 140734357722460 140734357725135 0
[pid=13657/tid=13714] ppid=13654 vsize=10818904 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/13657/task/13714/stat : 13714 (java) S 13654 13657 7887 0 -1 1077944384 2 13205 0 0 0 0 5 3 20 0 15 0 50060651 11078557696 10883 33554432000 4194304 4196468 140734357713616 140014132013968 140014241613525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22147072 140734357719663 140734357722460 140734357722460 140734357725135 0
[pid=13657/tid=13715] ppid=13654 vsize=10818904 memory=139782011795072 CPUtime=0.08 cores=0,2,4,6
/proc/13657/task/13715/stat : 13715 (java) S 13654 13657 7887 0 -1 1077944384 2 13205 0 0 0 0 5 3 20 0 15 0 50060652 11078557696 10883 33554432000 4194304 4196468 140734357713616 140013701118192 140014241614466 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22147072 140734357719663 140734357722460 140734357722460 140734357725135 0
[pid=13657/tid=13716] ppid=13654 vsize=10818904 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/13657/task/13716/stat : 13716 (java) S 13654 13657 7887 0 -1 1077944384 33 13205 0 0 0 0 5 3 20 0 15 0 50060653 11078557696 10949 33554432000 4194304 4196468 140734357713616 140013700064416 140014241613525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22147072 140734357719663 140734357722460 140734357722460 140734357725135 0
[pid=13657/tid=13717] ppid=13654 vsize=10818904 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/13657/task/13717/stat : 13717 (java) S 13654 13657 7887 0 -1 1077944384 1 13205 0 0 0 0 5 3 20 0 15 0 50060653 11078557696 10949 33554432000 4194304 4196468 140734357713616 140013585031920 140014241613525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22147072 140734357719663 140734357722460 140734357722460 140734357725135 0
[pid=13657/tid=13718] ppid=13654 vsize=10818904 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/13657/task/13718/stat : 13718 (java) S 13654 13657 7887 0 -1 1077944384 2 13205 0 0 0 0 5 3 20 0 15 0 50060656 11078557696 10949 33554432000 4194304 4196468 140734357713616 140012981053392 140014241621915 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22147072 140734357719663 140734357722460 140734357722460 140734357725135 0
[pid=13657/tid=13719] ppid=13654 vsize=10818904 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/13657/task/13719/stat : 13719 (java) S 13654 13657 7887 0 -1 1077944384 482 13205 0 0 1 0 5 3 20 0 15 0 50060656 11078557696 10949 33554432000 4194304 4196468 140734357713616 140013666507504 140014241614466 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22147072 140734357719663 140734357722460 140734357722460 140734357725135 0
[pid=13657/tid=13720] ppid=13654 vsize=10818904 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/13657/task/13720/stat : 13720 (java) S 13654 13657 7887 0 -1 1077944384 122 13205 0 0 0 0 5 3 20 0 15 0 50060656 11078557696 10949 33554432000 4194304 4196468 140734357713616 140013665454960 140014241614466 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22147072 140734357719663 140734357722460 140734357722460 140734357725135 0
[pid=13657/tid=13721] ppid=13654 vsize=10818904 memory=139782011795072 CPUtime=0.11 cores=0,2,4,6
/proc/13657/task/13721/stat : 13721 (java) S 13654 13657 7887 0 -1 1077944384 608 13205 0 0 3 0 5 3 20 0 15 0 50060656 11078557696 10949 33554432000 4194304 4196468 140734357713616 140013664401904 140014241614466 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22147072 140734357719663 140734357722460 140734357722460 140734357725135 0
[pid=13657/tid=13722] ppid=13654 vsize=10818904 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/13657/task/13722/stat : 13722 (java) S 13654 13657 7887 0 -1 1077944384 3 13205 0 0 0 0 5 3 20 0 15 0 50060656 11078557696 10949 33554432000 4194304 4196468 140734357713616 140012511292256 140014241613525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22147072 140734357719663 140734357722460 140734357722460 140734357725135 0
[pid=13657/tid=13723] ppid=13654 vsize=10818904 memory=139782011795072 CPUtime=0.08 cores=0,2,4,6
/proc/13657/task/13723/stat : 13723 (java) S 13654 13657 7887 0 -1 1077944384 1 13205 0 0 0 0 5 3 20 0 15 0 50060656 11078557696 10949 33554432000 4194304 4196468 140734357713616 140013663349296 140014241614466 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22147072 140734357719663 140734357722460 140734357722460 140734357725135 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10818904 KiB
Current children cumulated memory: 43004 KiB

[startup+0.310898 s]*
/proc/loadavg: 1.75 1.51 1.45 3/215 13723
/proc/meminfo: memFree=18448392/32770624 swapFree=67108860/67108860
[pid=13657] ppid=13654 vsize=10819352 memory=54076 CPUtime=0.38 cores=0,2,4,6
/proc/13657/stat : 13657 (java) S 13654 13657 7887 0 -1 1077944320 10078 13205 0 0 27 3 5 3 20 0 15 0 50060641 11079016448 13519 33554432000 4194304 4196468 140734357713616 140734357696160 140014241603319 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 22147072 140734357719663 140734357722460 140734357722460 140734357725135 0
/proc/13657/statm: 2704838 13519 3069 1 0 2667149 0
[pid=13657/tid=13710] ppid=13654 vsize=10819352 memory=6791534058613427641 CPUtime=0.28 cores=0,2,4,6
/proc/13657/task/13710/stat : 13710 (java) R 13654 13657 7887 0 -1 4202560 6618 13205 0 0 18 2 5 3 20 0 15 0 50060650 11079016448 13519 33554432000 4194304 4196468 140734357713616 140014213392848 140014221878653 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 22147072 140734357719663 140734357722460 140734357722460 140734357725135 0
[pid=13657/tid=13711] ppid=13654 vsize=10819352 memory=6224063081128939601 CPUtime=0.08 cores=0,2,4,6
/proc/13657/task/13711/stat : 13711 (java) S 13654 13657 7887 0 -1 1077944384 1 13205 0 0 0 0 5 3 20 0 15 0 50060651 11079016448 13519 33554432000 4194304 4196468 140734357713616 140014245846032 140014241613525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22147072 140734357719663 140734357722460 140734357722460 140734357725135 0
[pid=13657/tid=13712] ppid=13654 vsize=10819352 memory=2076 CPUtime=0.08 cores=0,2,4,6
/proc/13657/task/13712/stat : 13712 (java) S 13654 13657 7887 0 -1 1077944384 1 13205 0 0 0 0 5 3 20 0 15 0 50060651 11079016448 13519 33554432000 4194304 4196468 140734357713616 140014134119568 140014241613525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22147072 140734357719663 140734357722460 140734357722460 140734357725135 0
[pid=13657/tid=13713] ppid=13654 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/13657/task/13713/stat : 13713 (java) S 13654 13657 7887 0 -1 1077944384 1 13205 0 0 0 0 5 3 20 0 15 0 50060651 11079016448 13519 33554432000 4194304 4196468 140734357713616 140014133066512 140014241613525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22147072 140734357719663 140734357722460 140734357722460 140734357725135 0
[pid=13657/tid=13714] ppid=13654 vsize=10819352 memory=4126316290023845779 CPUtime=0.08 cores=0,2,4,6
/proc/13657/task/13714/stat : 13714 (java) S 13654 13657 7887 0 -1 1077944384 2 13205 0 0 0 0 5 3 20 0 15 0 50060651 11079016448 13519 33554432000 4194304 4196468 140734357713616 140014132013968 140014241613525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22147072 140734357719663 140734357722460 140734357722460 140734357725135 0
[pid=13657/tid=13715] ppid=13654 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/13657/task/13715/stat : 13715 (java) S 13654 13657 7887 0 -1 1077944384 2 13205 0 0 0 0 5 3 20 0 15 0 50060652 11079016448 13519 33554432000 4194304 4196468 140734357713616 140013701118192 140014241614466 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22147072 140734357719663 140734357722460 140734357722460 140734357725135 0
[pid=13657/tid=13716] ppid=13654 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/13657/task/13716/stat : 13716 (java) S 13654 13657 7887 0 -1 1077944384 33 13205 0 0 0 0 5 3 20 0 15 0 50060653 11079016448 13519 33554432000 4194304 4196468 140734357713616 140013700064416 140014241613525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22147072 140734357719663 140734357722460 140734357722460 140734357725135 0
[pid=13657/tid=13717] ppid=13654 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/13657/task/13717/stat : 13717 (java) S 13654 13657 7887 0 -1 1077944384 1 13205 0 0 0 0 5 3 20 0 15 0 50060653 11079016448 13519 33554432000 4194304 4196468 140734357713616 140013585031920 140014241613525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22147072 140734357719663 140734357722460 140734357722460 140734357725135 0
[pid=13657/tid=13718] ppid=13654 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/13657/task/13718/stat : 13718 (java) S 13654 13657 7887 0 -1 1077944384 2 13205 0 0 0 0 5 3 20 0 15 0 50060656 11079016448 13519 33554432000 4194304 4196468 140734357713616 140012981053392 140014241621915 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22147072 140734357719663 140734357722460 140734357722460 140734357725135 0
[pid=13657/tid=13719] ppid=13654 vsize=10819352 memory=0 CPUtime=0.1 cores=0,2,4,6
/proc/13657/task/13719/stat : 13719 (java) S 13654 13657 7887 0 -1 1077944384 485 13205 0 0 2 0 5 3 20 0 15 0 50060656 11079016448 13519 33554432000 4194304 4196468 140734357713616 140013666507504 140014241614466 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22147072 140734357719663 140734357722460 140734357722460 140734357725135 0
[pid=13657/tid=13720] ppid=13654 vsize=10819352 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/13657/task/13720/stat : 13720 (java) S 13654 13657 7887 0 -1 1077944384 126 13205 0 0 1 0 5 3 20 0 15 0 50060656 11079016448 13519 33554432000 4194304 4196468 140734357713616 140013665454960 140014241614466 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22147072 140734357719663 140734357722460 140734357722460 140734357725135 0
[pid=13657/tid=13721] ppid=13654 vsize=10819352 memory=0 CPUtime=0.13 cores=0,2,4,6
/proc/13657/task/13721/stat : 13721 (java) S 13654 13657 7887 0 -1 1077944384 613 13205 0 0 5 0 5 3 20 0 15 0 50060656 11079016448 13519 33554432000 4194304 4196468 140734357713616 140013664401904 140014241614466 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22147072 140734357719663 140734357722460 140734357722460 140734357725135 0
[pid=13657/tid=13722] ppid=13654 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/13657/task/13722/stat : 13722 (java) S 13654 13657 7887 0 -1 1077944384 3 13205 0 0 0 0 5 3 20 0 15 0 50060656 11079016448 13519 33554432000 4194304 4196468 140734357713616 140012511292256 140014241613525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22147072 140734357719663 140734357722460 140734357722460 140734357725135 0
[pid=13657/tid=13723] ppid=13654 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/13657/task/13723/stat : 13723 (java) S 13654 13657 7887 0 -1 1077944384 1 13205 0 0 0 0 5 3 20 0 15 0 50060656 11079016448 13519 33554432000 4194304 4196468 140734357713616 140013663349296 140014241614466 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22147072 140734357719663 140734357722460 140734357722460 140734357725135 0
Current children cumulated CPU time: 0.38 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 54076 KiB

[startup+0.700805 s]
/proc/loadavg: 1.75 1.51 1.45 4/215 13723
/proc/meminfo: memFree=18438356/32770624 swapFree=67108860/67108860
[pid=13657] ppid=13654 vsize=10819352 memory=88456 CPUtime=0.99 cores=0,2,4,6
/proc/13657/stat : 13657 (java) S 13654 13657 7887 0 -1 1077944320 16753 13205 0 0 86 5 5 3 20 0 15 0 50060641 11079016448 22114 33554432000 4194304 4196468 140734357713616 140734357696160 140014241603319 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 22147072 140734357719663 140734357722460 140734357722460 140734357725135 0
/proc/13657/statm: 2704838 22114 3238 1 0 2667149 0
[pid=13657/tid=13710] ppid=13654 vsize=10819352 memory=0 CPUtime=0.65 cores=0,2,4,6
/proc/13657/task/13710/stat : 13710 (java) R 13654 13657 7887 0 -1 4202560 12260 13205 0 0 54 3 5 3 20 0 15 0 50060650 11079016448 22114 33554432000 4194304 4196468 140734357713616 140014213426320 140014221878653 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22147072 140734357719663 140734357722460 140734357722460 140734357725135 0
[pid=13657/tid=13711] ppid=13654 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/13657/task/13711/stat : 13711 (java) S 13654 13657 7887 0 -1 1077944384 1 13205 0 0 0 0 5 3 20 0 15 0 50060651 11079016448 22114 33554432000 4194304 4196468 140734357713616 140014245846032 140014241613525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22147072 140734357719663 140734357722460 140734357722460 140734357725135 0
[pid=13657/tid=13712] ppid=13654 vsize=10819352 memory=4140 CPUtime=0.08 cores=0,2,4,6
/proc/13657/task/13712/stat : 13712 (java) S 13654 13657 7887 0 -1 1077944384 1 13205 0 0 0 0 5 3 20 0 15 0 50060651 11079016448 22114 33554432000 4194304 4196468 140734357713616 140014134119568 140014241613525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22147072 140734357719663 140734357722460 140734357722460 140734357725135 0
[pid=13657/tid=13713] ppid=13654 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/13657/task/13713/stat : 13713 (java) S 13654 13657 7887 0 -1 1077944384 1 13205 0 0 0 0 5 3 20 0 15 0 50060651 11079016448 22114 33554432000 4194304 4196468 140734357713616 140014133066512 140014241613525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22147072 140734357719663 140734357722460 140734357722460 140734357725135 0
[pid=13657/tid=13714] ppid=13654 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/13657/task/13714/stat : 13714 (java) S 13654 13657 7887 0 -1 1077944384 2 13205 0 0 0 0 5 3 20 0 15 0 50060651 11079016448 22114 33554432000 4194304 4196468 140734357713616 140014132013968 140014241613525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22147072 140734357719663 140734357722460 140734357722460 140734357725135 0
[pid=13657/tid=13715] ppid=13654 vsize=10819352 memory=4420 CPUtime=0.08 cores=0,2,4,6
/proc/13657/task/13715/stat : 13715 (java) S 13654 13657 7887 0 -1 1077944384 5 13205 0 0 0 0 5 3 20 0 15 0 50060652 11079016448 22114 33554432000 4194304 4196468 140734357713616 140013701118192 140014241614466 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22147072 140734357719663 140734357722460 140734357722460 140734357725135 0
[pid=13657/tid=13716] ppid=13654 vsize=10819352 memory=6628 CPUtime=0.08 cores=0,2,4,6
/proc/13657/task/13716/stat : 13716 (java) S 13654 13657 7887 0 -1 1077944384 33 13205 0 0 0 0 5 3 20 0 15 0 50060653 11079016448 22114 33554432000 4194304 4196468 140734357713616 140013700064416 140014241613525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22147072 140734357719663 140734357722460 140734357722460 140734357725135 0
[pid=13657/tid=13717] ppid=13654 vsize=10819352 memory=8836 CPUtime=0.08 cores=0,2,4,6
/proc/13657/task/13717/stat : 13717 (java) S 13654 13657 7887 0 -1 1077944384 1 13205 0 0 0 0 5 3 20 0 15 0 50060653 11079016448 22114 33554432000 4194304 4196468 140734357713616 140013585031920 140014241613525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22147072 140734357719663 140734357722460 140734357722460 140734357725135 0
[pid=13657/tid=13718] ppid=13654 vsize=10819352 memory=11044 CPUtime=0.08 cores=0,2,4,6
/proc/13657/task/13718/stat : 13718 (java) S 13654 13657 7887 0 -1 1077944384 2 13205 0 0 0 0 5 3 20 0 15 0 50060656 11079016448 22114 33554432000 4194304 4196468 140734357713616 140012981053392 140014241621915 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22147072 140734357719663 140734357722460 140734357722460 140734357725135 0
[pid=13657/tid=13719] ppid=13654 vsize=10819352 memory=13252 CPUtime=0.18 cores=0,2,4,6
/proc/13657/task/13719/stat : 13719 (java) S 13654 13657 7887 0 -1 1077944384 1085 13205 0 0 10 0 5 3 20 0 15 0 50060656 11079016448 22114 33554432000 4194304 4196468 140734357713616 140013666507504 140014241614466 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22147072 140734357719663 140734357722460 140734357722460 140734357725135 0
[pid=13657/tid=13720] ppid=13654 vsize=10819352 memory=15460 CPUtime=0.15 cores=0,2,4,6
/proc/13657/task/13720/stat : 13720 (java) S 13654 13657 7887 0 -1 1077944384 498 13205 0 0 7 0 5 3 20 0 15 0 50060656 11079016448 22114 33554432000 4194304 4196468 140734357713616 140013665454960 140014241614466 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22147072 140734357719663 140734357722460 140734357722460 140734357725135 0
[pid=13657/tid=13721] ppid=13654 vsize=10819352 memory=17668 CPUtime=0.21 cores=0,2,4,6
/proc/13657/task/13721/stat : 13721 (java) S 13654 13657 7887 0 -1 1077944384 671 13205 0 0 13 0 5 3 20 0 15 0 50060656 11079016448 22114 33554432000 4194304 4196468 140734357713616 140013664401904 140014241614466 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22147072 140734357719663 140734357722460 140734357722460 140734357725135 0
[pid=13657/tid=13722] ppid=13654 vsize=10819352 memory=19876 CPUtime=0.08 cores=0,2,4,6
/proc/13657/task/13722/stat : 13722 (java) S 13654 13657 7887 0 -1 1077944384 3 13205 0 0 0 0 5 3 20 0 15 0 50060656 11079016448 22114 33554432000 4194304 4196468 140734357713616 140012511292256 140014241613525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22147072 140734357719663 140734357722460 140734357722460 140734357725135 0
[pid=13657/tid=13723] ppid=13654 vsize=10819352 memory=22084 CPUtime=0.08 cores=0,2,4,6
/proc/13657/task/13723/stat : 13723 (java) S 13654 13657 7887 0 -1 1077944384 1 13205 0 0 0 0 5 3 20 0 15 0 50060656 11079016448 22114 33554432000 4194304 4196468 140734357713616 140013663349296 140014241614466 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22147072 140734357719663 140734357722460 140734357722460 140734357725135 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 88456 KiB

[startup+1.50499 s]
/proc/loadavg: 1.75 1.51 1.45 3/215 13723
/proc/meminfo: memFree=18396488/32770624 swapFree=67108860/67108860
[pid=13657] ppid=13654 vsize=10832204 memory=177420 CPUtime=2.93 cores=0,2,4,6
/proc/13657/stat : 13657 (java) S 13654 13657 7887 0 -1 1077944320 25136 13205 0 0 276 9 5 3 20 0 15 0 50060641 11092176896 44355 33554432000 4194304 4196468 140734357713616 140734357696160 140014241603319 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 22147072 140734357719663 140734357722460 140734357722460 140734357725135 0
/proc/13657/statm: 2708051 44355 3450 1 0 2669709 0
[pid=13657/tid=13710] ppid=13654 vsize=10832204 memory=0 CPUtime=1.45 cores=0,2,4,6
/proc/13657/task/13710/stat : 13710 (java) S 13654 13657 7887 0 -1 1077944384 17318 13205 0 0 131 6 5 3 20 0 15 0 50060650 11092176896 44355 33554432000 4194304 4196468 140734357713616 140014213418576 140014241613525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22147072 140734357719663 140734357722460 140734357722460 140734357725135 0
[pid=13657/tid=13711] ppid=13654 vsize=10832204 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/13657/task/13711/stat : 13711 (java) R 13654 13657 7887 0 -1 4202560 171 13205 0 0 0 0 5 3 20 0 15 0 50060651 11092176896 44355 33554432000 4194304 4196468 140734357713616 140014245846032 140014226611479 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22147072 140734357719663 140734357722460 140734357722460 140734357725135 0
[pid=13657/tid=13712] ppid=13654 vsize=10832204 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/13657/task/13712/stat : 13712 (java) R 13654 13657 7887 0 -1 1077944384 10 13205 0 0 0 0 5 3 20 0 15 0 50060651 11092176896 44355 33554432000 4194304 4196468 140734357713616 140014134119568 140014241613525 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 22147072 140734357719663 140734357722460 140734357722460 140734357725135 0
[pid=13657/tid=13713] ppid=13654 vsize=10832204 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/13657/task/13713/stat : 13713 (java) R 13654 13657 7887 0 -1 1077944384 10 13205 0 0 0 0 5 3 20 0 15 0 50060651 11092176896 44355 33554432000 4194304 4196468 140734357713616 140014133066512 140014241613525 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22147072 140734357719663 140734357722460 140734357722460 140734357725135 0
[pid=13657/tid=13714] ppid=13654 vsize=10832204 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/13657/task/13714/stat : 13714 (java) S 13654 13657 7887 0 -1 1077944384 52 13205 0 0 0 0 5 3 20 0 15 0 50060651 11092176896 44355 33554432000 4194304 4196468 140734357713616 140014132013968 140014241613525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22147072 140734357719663 140734357722460 140734357722460 140734357725135 0
[pid=13657/tid=13715] ppid=13654 vsize=10832204 memory=-7965959130280075168 CPUtime=0.08 cores=0,2,4,6
/proc/13657/task/13715/stat : 13715 (java) S 13654 13657 7887 0 -1 1077944384 38 13205 0 0 0 0 5 3 20 0 15 0 50060652 11092176896 44355 33554432000 4194304 4196468 140734357713616 140013701116480 140014241613525 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22147072 140734357719663 140734357722460 140734357722460 140734357725135 0
[pid=13657/tid=13716] ppid=13654 vsize=10832204 memory=279563716339968 CPUtime=0.08 cores=0,2,4,6
/proc/13657/task/13716/stat : 13716 (java) S 13654 13657 7887 0 -1 1077944384 33 13205 0 0 0 0 5 3 20 0 15 0 50060653 11092176896 44355 33554432000 4194304 4196468 140734357713616 140013700064416 140014241613525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22147072 140734357719663 140734357722460 140734357722460 140734357725135 0
[pid=13657/tid=13717] ppid=13654 vsize=10832204 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/13657/task/13717/stat : 13717 (java) S 13654 13657 7887 0 -1 1077944384 1 13205 0 0 0 0 5 3 20 0 15 0 50060653 11092176896 44355 33554432000 4194304 4196468 140734357713616 140013585031920 140014241613525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22147072 140734357719663 140734357722460 140734357722460 140734357725135 0
[pid=13657/tid=13718] ppid=13654 vsize=10832204 memory=1952 CPUtime=0.08 cores=0,2,4,6
/proc/13657/task/13718/stat : 13718 (java) S 13654 13657 7887 0 -1 1077944384 2 13205 0 0 0 0 5 3 20 0 15 0 50060656 11092176896 44355 33554432000 4194304 4196468 140734357713616 140012981053392 140014241621915 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22147072 140734357719663 140734357722460 140734357722460 140734357725135 0
[pid=13657/tid=13719] ppid=13654 vsize=10832204 memory=1232 CPUtime=0.53 cores=0,2,4,6
/proc/13657/task/13719/stat : 13719 (java) S 13654 13657 7887 0 -1 1077944384 2163 13205 0 0 44 1 5 3 20 0 15 0 50060656 11092176896 44355 33554432000 4194304 4196468 140734357713616 140013666507504 140014241614466 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22147072 140734357719663 140734357722460 140734357722460 140734357725135 0
[pid=13657/tid=13720] ppid=13654 vsize=10832204 memory=8372 CPUtime=0.62 cores=0,2,4,6
/proc/13657/task/13720/stat : 13720 (java) S 13654 13657 7887 0 -1 1077944384 1619 13205 0 0 54 0 5 3 20 0 15 0 50060656 11092176896 44355 33554432000 4194304 4196468 140734357713616 140013665454960 140014241614466 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22147072 140734357719663 140734357722460 140734357722460 140734357725135 0
[pid=13657/tid=13721] ppid=13654 vsize=10832204 memory=1708 CPUtime=0.51 cores=0,2,4,6
/proc/13657/task/13721/stat : 13721 (java) S 13654 13657 7887 0 -1 1077944384 1531 13205 0 0 43 0 5 3 20 0 15 0 50060656 11092176896 44355 33554432000 4194304 4196468 140734357713616 140013664401904 140014241614466 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22147072 140734357719663 140734357722460 140734357722460 140734357725135 0
[pid=13657/tid=13722] ppid=13654 vsize=10832204 memory=5412 CPUtime=0.08 cores=0,2,4,6
/proc/13657/task/13722/stat : 13722 (java) S 13654 13657 7887 0 -1 1077944384 3 13205 0 0 0 0 5 3 20 0 15 0 50060656 11092176896 44355 33554432000 4194304 4196468 140734357713616 140012511292256 140014241613525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22147072 140734357719663 140734357722460 140734357722460 140734357725135 0
[pid=13657/tid=13723] ppid=13654 vsize=10832204 memory=4612 CPUtime=0.08 cores=0,2,4,6
/proc/13657/task/13723/stat : 13723 (java) S 13654 13657 7887 0 -1 1077944384 1 13205 0 0 0 0 5 3 20 0 15 0 50060656 11092176896 44355 33554432000 4194304 4196468 140734357713616 140013663349296 140014241614466 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22147072 140734357719663 140734357722460 140734357722460 140734357725135 0
Current children cumulated CPU time: 2.93 s
Current children cumulated vsize: 10832204 KiB

################
# More data... #
################

/proc/13657/task/13710/stat : 13710 (java) R 13654 13657 7887 0 -1 4202560 160069 13205 0 0 229701 73 5 3 20 0 15 0 50060650 11178180608 493915 33554432000 4194304 4196468 140734357713616 140014213437456 140013809145816 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 22147072 140734357719663 140734357722460 140734357722460 140734357725135 0
[pid=13657/tid=13711] ppid=13654 vsize=10916192 memory=1975660 CPUtime=15.98 cores=0,2,4,6
/proc/13657/task/13711/stat : 13711 (java) S 13654 13657 7887 0 -1 1077944384 35494 13205 0 0 1545 45 5 3 20 0 15 0 50060651 11178180608 493915 33554432000 4194304 4196468 140734357713616 140014245846032 140014241613525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22147072 140734357719663 140734357722460 140734357722460 140734357725135 0
[pid=13657/tid=13712] ppid=13654 vsize=10916192 memory=1975660 CPUtime=15.96 cores=0,2,4,6
/proc/13657/task/13712/stat : 13712 (java) S 13654 13657 7887 0 -1 1077944384 35613 13205 0 0 1546 42 5 3 20 0 15 0 50060651 11178180608 493915 33554432000 4194304 4196468 140734357713616 140014134119568 140014241613525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22147072 140734357719663 140734357722460 140734357722460 140734357725135 0
[pid=13657/tid=13713] ppid=13654 vsize=10916192 memory=1973612 CPUtime=16 cores=0,2,4,6
/proc/13657/task/13713/stat : 13713 (java) S 13654 13657 7887 0 -1 1077944384 45423 13205 0 0 1548 44 5 3 20 0 15 0 50060651 11178180608 493915 33554432000 4194304 4196468 140734357713616 140014133066512 140014241613525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22147072 140734357719663 140734357722460 140734357722460 140734357725135 0
[pid=13657/tid=13714] ppid=13654 vsize=10916192 memory=1975660 CPUtime=15.96 cores=0,2,4,6
/proc/13657/task/13714/stat : 13714 (java) S 13654 13657 7887 0 -1 1077944384 41863 13205 0 0 1542 46 5 3 20 0 15 0 50060651 11178180608 493915 33554432000 4194304 4196468 140734357713616 140014132013968 140014241613525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22147072 140734357719663 140734357722460 140734357722460 140734357725135 0
[pid=13657/tid=13715] ppid=13654 vsize=10916192 memory=1975660 CPUtime=6.48 cores=0,2,4,6
/proc/13657/task/13715/stat : 13715 (java) S 13654 13657 7887 0 -1 1077944384 26408 13205 0 0 591 49 5 3 20 0 15 0 50060652 11178180608 493915 33554432000 4194304 4196468 140734357713616 140013701118192 140014241614466 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22147072 140734357719663 140734357722460 140734357722460 140734357725135 0
[pid=13657/tid=13716] ppid=13654 vsize=10916192 memory=1975660 CPUtime=0.08 cores=0,2,4,6
/proc/13657/task/13716/stat : 13716 (java) S 13654 13657 7887 0 -1 1077944384 57 13205 0 0 0 0 5 3 20 0 15 0 50060653 11178180608 493915 33554432000 4194304 4196468 140734357713616 140013700064544 140014241613525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22147072 140734357719663 140734357722460 140734357722460 140734357725135 0
[pid=13657/tid=13717] ppid=13654 vsize=10916192 memory=1975660 CPUtime=0.08 cores=0,2,4,6
/proc/13657/task/13717/stat : 13717 (java) S 13654 13657 7887 0 -1 1077944384 20 13205 0 0 0 0 5 3 20 0 15 0 50060653 11178180608 493915 33554432000 4194304 4196468 140734357713616 140013585031936 140014241613525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22147072 140734357719663 140734357722460 140734357722460 140734357725135 0
[pid=13657/tid=13718] ppid=13654 vsize=10916192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/13657/task/13718/stat : 13718 (java) S 13654 13657 7887 0 -1 1077944384 2 13205 0 0 0 0 5 3 20 0 15 0 50060656 11178180608 493915 33554432000 4194304 4196468 140734357713616 140012981053392 140014241621915 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22147072 140734357719663 140734357722460 140734357722460 140734357725135 0
[pid=13657/tid=13719] ppid=13654 vsize=10916192 memory=1836 CPUtime=7.74 cores=0,2,4,6
/proc/13657/task/13719/stat : 13719 (java) S 13654 13657 7887 0 -1 1077944384 84947 13205 0 0 757 9 5 3 20 0 15 0 50060656 11178180608 493915 33554432000 4194304 4196468 140734357713616 140013666507504 140014241614466 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22147072 140734357719663 140734357722460 140734357722460 140734357725135 0
[pid=13657/tid=13720] ppid=13654 vsize=10916192 memory=1973612 CPUtime=7.57 cores=0,2,4,6
/proc/13657/task/13720/stat : 13720 (java) S 13654 13657 7887 0 -1 1077944384 75773 13205 0 0 742 7 5 3 20 0 15 0 50060656 11178180608 493915 33554432000 4194304 4196468 140734357713616 140013665454960 140014241614466 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22147072 140734357719663 140734357722460 140734357722460 140734357725135 0
[pid=13657/tid=13721] ppid=13654 vsize=10916192 memory=1973612 CPUtime=3.07 cores=0,2,4,6
/proc/13657/task/13721/stat : 13721 (java) S 13654 13657 7887 0 -1 1077944384 55717 13205 0 0 292 7 5 3 20 0 15 0 50060656 11178180608 493915 33554432000 4194304 4196468 140734357713616 140013664401904 140014241614466 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22147072 140734357719663 140734357722460 140734357722460 140734357725135 0
[pid=13657/tid=13722] ppid=13654 vsize=10916192 memory=952 CPUtime=0.08 cores=0,2,4,6
/proc/13657/task/13722/stat : 13722 (java) S 13654 13657 7887 0 -1 1077944384 3 13205 0 0 0 0 5 3 20 0 15 0 50060656 11178180608 493915 33554432000 4194304 4196468 140734357713616 140012511292256 140014241613525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22147072 140734357719663 140734357722460 140734357722460 140734357725135 0
[pid=13657/tid=13723] ppid=13654 vsize=10916192 memory=2716 CPUtime=1.52 cores=0,2,4,6
/proc/13657/task/13723/stat : 13723 (java) S 13654 13657 7887 0 -1 1077944384 4186 13205 0 0 68 76 5 3 20 0 15 0 50060656 11178180608 493915 33554432000 4194304 4196468 140734357713616 140013663349296 140014241614466 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22147072 140734357719663 140734357722460 140734357722460 140734357725135 0
Current children cumulated CPU time: 2387.49 s
Current children cumulated vsize: 10916192 KiB
Current children cumulated memory: 1975660 KiB

[startup+2382.3 s]
/proc/loadavg: 1.49 1.42 1.45 3/215 14075
/proc/meminfo: memFree=16183776/32770624 swapFree=67108860/67108860
[pid=13657] ppid=13654 vsize=10916192 memory=1992256 CPUtime=2448.93 cores=0,2,4,6
/proc/13657/stat : 13657 (java) S 13654 13657 7887 0 -1 1077944320 589707 13205 0 0 244517 368 5 3 20 0 15 0 50060641 11178180608 498064 33554432000 4194304 4196468 140734357713616 140734357696160 140014241603319 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 22147072 140734357719663 140734357722460 140734357722460 140734357725135 0
/proc/13657/statm: 2729048 498064 3535 1 0 2690701 0
[pid=13657/tid=13710] ppid=13654 vsize=10916192 memory=1992256 CPUtime=2357.06 cores=0,2,4,6
/proc/13657/task/13710/stat : 13710 (java) R 13654 13657 7887 0 -1 4202560 162948 13205 0 0 235625 73 5 3 20 0 15 0 50060650 11178180608 498064 33554432000 4194304 4196468 140734357713616 140014213437728 140013825070629 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22147072 140734357719663 140734357722460 140734357722460 140734357725135 0
[pid=13657/tid=13711] ppid=13654 vsize=10916192 memory=1992256 CPUtime=16.47 cores=0,2,4,6
/proc/13657/task/13711/stat : 13711 (java) S 13654 13657 7887 0 -1 1077944384 36156 13205 0 0 1593 46 5 3 20 0 15 0 50060651 11178180608 498064 33554432000 4194304 4196468 140734357713616 140014245846032 140014241613525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22147072 140734357719663 140734357722460 140734357722460 140734357725135 0
[pid=13657/tid=13712] ppid=13654 vsize=10916192 memory=1974116 CPUtime=16.45 cores=0,2,4,6
/proc/13657/task/13712/stat : 13712 (java) S 13654 13657 7887 0 -1 1077944384 36188 13205 0 0 1594 43 5 3 20 0 15 0 50060651 11178180608 498064 33554432000 4194304 4196468 140734357713616 140014134119568 140014241613525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22147072 140734357719663 140734357722460 140734357722460 140734357725135 0
[pid=13657/tid=13713] ppid=13654 vsize=10916192 memory=1973092 CPUtime=16.49 cores=0,2,4,6
/proc/13657/task/13713/stat : 13713 (java) S 13654 13657 7887 0 -1 1077944384 47841 13205 0 0 1597 44 5 3 20 0 15 0 50060651 11178180608 498064 33554432000 4194304 4196468 140734357713616 140014133066512 140014241613525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22147072 140734357719663 140734357722460 140734357722460 140734357725135 0
[pid=13657/tid=13714] ppid=13654 vsize=10916192 memory=1992256 CPUtime=16.45 cores=0,2,4,6
/proc/13657/task/13714/stat : 13714 (java) S 13654 13657 7887 0 -1 1077944384 42978 13205 0 0 1591 46 5 3 20 0 15 0 50060651 11178180608 498064 33554432000 4194304 4196468 140734357713616 140014132013968 140014241613525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22147072 140734357719663 140734357722460 140734357722460 140734357725135 0
[pid=13657/tid=13715] ppid=13654 vsize=10916192 memory=1992256 CPUtime=6.67 cores=0,2,4,6
/proc/13657/task/13715/stat : 13715 (java) S 13654 13657 7887 0 -1 1077944384 40631 13205 0 0 609 50 5 3 20 0 15 0 50060652 11178180608 498064 33554432000 4194304 4196468 140734357713616 140013701118192 140014241614466 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22147072 140734357719663 140734357722460 140734357722460 140734357725135 0
[pid=13657/tid=13716] ppid=13654 vsize=10916192 memory=1973172 CPUtime=0.08 cores=0,2,4,6
/proc/13657/task/13716/stat : 13716 (java) S 13654 13657 7887 0 -1 1077944384 59 13205 0 0 0 0 5 3 20 0 15 0 50060653 11178180608 498064 33554432000 4194304 4196468 140734357713616 140013700064544 140014241613525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22147072 140734357719663 140734357722460 140734357722460 140734357725135 0
[pid=13657/tid=13717] ppid=13654 vsize=10916192 memory=1992256 CPUtime=0.08 cores=0,2,4,6
/proc/13657/task/13717/stat : 13717 (java) S 13654 13657 7887 0 -1 1077944384 20 13205 0 0 0 0 5 3 20 0 15 0 50060653 11178180608 498064 33554432000 4194304 4196468 140734357713616 140013585031936 140014241613525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22147072 140734357719663 140734357722460 140734357722460 140734357725135 0
[pid=13657/tid=13718] ppid=13654 vsize=10916192 memory=1975660 CPUtime=0.08 cores=0,2,4,6
/proc/13657/task/13718/stat : 13718 (java) S 13654 13657 7887 0 -1 1077944384 2 13205 0 0 0 0 5 3 20 0 15 0 50060656 11178180608 498064 33554432000 4194304 4196468 140734357713616 140012981053392 140014241621915 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22147072 140734357719663 140734357722460 140734357722460 140734357725135 0
[pid=13657/tid=13719] ppid=13654 vsize=10916192 memory=7375037376781963883 CPUtime=7.74 cores=0,2,4,6
/proc/13657/task/13719/stat : 13719 (java) S 13654 13657 7887 0 -1 1077944384 84951 13205 0 0 757 9 5 3 20 0 15 0 50060656 11178180608 498064 33554432000 4194304 4196468 140734357713616 140013666507504 140014241614466 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22147072 140734357719663 140734357722460 140734357722460 140734357725135 0
[pid=13657/tid=13720] ppid=13654 vsize=10916192 memory=1992256 CPUtime=7.57 cores=0,2,4,6
/proc/13657/task/13720/stat : 13720 (java) S 13654 13657 7887 0 -1 1077944384 75778 13205 0 0 742 7 5 3 20 0 15 0 50060656 11178180608 498064 33554432000 4194304 4196468 140734357713616 140013665454960 140014241614466 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22147072 140734357719663 140734357722460 140734357722460 140734357725135 0
[pid=13657/tid=13721] ppid=13654 vsize=10916192 memory=1992256 CPUtime=3.07 cores=0,2,4,6
/proc/13657/task/13721/stat : 13721 (java) S 13654 13657 7887 0 -1 1077944384 55722 13205 0 0 292 7 5 3 20 0 15 0 50060656 11178180608 498064 33554432000 4194304 4196468 140734357713616 140013664401904 140014241614466 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22147072 140734357719663 140734357722460 140734357722460 140734357725135 0
[pid=13657/tid=13722] ppid=13654 vsize=10916192 memory=1992256 CPUtime=0.08 cores=0,2,4,6
/proc/13657/task/13722/stat : 13722 (java) S 13654 13657 7887 0 -1 1077944384 3 13205 0 0 0 0 5 3 20 0 15 0 50060656 11178180608 498064 33554432000 4194304 4196468 140734357713616 140012511292256 140014241613525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22147072 140734357719663 140734357722460 140734357722460 140734357725135 0
[pid=13657/tid=13723] ppid=13654 vsize=10916192 memory=4140 CPUtime=1.57 cores=0,2,4,6
/proc/13657/task/13723/stat : 13723 (java) S 13654 13657 7887 0 -1 1077944384 4241 13205 0 0 71 78 5 3 20 0 15 0 50060656 11178180608 498064 33554432000 4194304 4196468 140734357713616 140013663349296 140014241614466 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22147072 140734357719663 140734357722460 140734357722460 140734357725135 0
Current children cumulated CPU time: 2448.93 s
Current children cumulated vsize: 10916192 KiB
Current children cumulated memory: 1992256 KiB

[startup+2442.3 s]
/proc/loadavg: 1.33 1.38 1.43 3/216 14084
/proc/meminfo: memFree=15709972/32770624 swapFree=67108860/67108860
[pid=13657] ppid=13654 vsize=10916192 memory=2476908 CPUtime=2509.12 cores=0,2,4,6
/proc/13657/stat : 13657 (java) S 13654 13657 7887 0 -1 1077944320 607959 13205 0 0 250525 379 5 3 20 0 15 0 50060641 11178180608 619227 33554432000 4194304 4196468 140734357713616 140734357696160 140014241603319 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 22147072 140734357719663 140734357722460 140734357722460 140734357725135 0
/proc/13657/statm: 2729048 619227 3535 1 0 2690701 0
[pid=13657/tid=13710] ppid=13654 vsize=10916192 memory=2474796 CPUtime=2416.96 cores=0,2,4,6
/proc/13657/task/13710/stat : 13710 (java) R 13654 13657 7887 0 -1 4202560 177666 13205 0 0 241607 81 5 3 20 0 15 0 50060650 11178180608 619227 33554432000 4194304 4196468 140734357713616 140014213437264 140013811244059 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 22147072 140734357719663 140734357722460 140734357722460 140734357725135 0
[pid=13657/tid=13711] ppid=13654 vsize=10916192 memory=2474796 CPUtime=16.52 cores=0,2,4,6
/proc/13657/task/13711/stat : 13711 (java) S 13654 13657 7887 0 -1 1077944384 37530 13205 0 0 1598 46 5 3 20 0 15 0 50060651 11178180608 619227 33554432000 4194304 4196468 140734357713616 140014245846032 140014241613525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22147072 140734357719663 140734357722460 140734357722460 140734357725135 0
[pid=13657/tid=13712] ppid=13654 vsize=10916192 memory=2439960 CPUtime=16.5 cores=0,2,4,6
/proc/13657/task/13712/stat : 13712 (java) S 13654 13657 7887 0 -1 1077944384 36622 13205 0 0 1599 43 5 3 20 0 15 0 50060651 11178180608 619227 33554432000 4194304 4196468 140734357713616 140014134119568 140014241613525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22147072 140734357719663 140734357722460 140734357722460 140734357725135 0
[pid=13657/tid=13713] ppid=13654 vsize=10916192 memory=2407048 CPUtime=16.55 cores=0,2,4,6
/proc/13657/task/13713/stat : 13713 (java) S 13654 13657 7887 0 -1 1077944384 48226 13205 0 0 1602 45 5 3 20 0 15 0 50060651 11178180608 619227 33554432000 4194304 4196468 140734357713616 140014133066512 140014241613525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22147072 140734357719663 140734357722460 140734357722460 140734357725135 0
[pid=13657/tid=13714] ppid=13654 vsize=10916192 memory=2116412 CPUtime=16.51 cores=0,2,4,6
/proc/13657/task/13714/stat : 13714 (java) S 13654 13657 7887 0 -1 1077944384 43404 13205 0 0 1596 47 5 3 20 0 15 0 50060651 11178180608 619227 33554432000 4194304 4196468 140734357713616 140014132013968 140014241613525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22147072 140734357719663 140734357722460 140734357722460 140734357725135 0
[pid=13657/tid=13715] ppid=13654 vsize=10916192 memory=1992256 CPUtime=6.7 cores=0,2,4,6
/proc/13657/task/13715/stat : 13715 (java) S 13654 13657 7887 0 -1 1077944384 40903 13205 0 0 612 50 5 3 20 0 15 0 50060652 11178180608 619227 33554432000 4194304 4196468 140734357713616 140013701118192 140014241614466 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22147072 140734357719663 140734357722460 140734357722460 140734357725135 0
[pid=13657/tid=13716] ppid=13654 vsize=10916192 memory=2116412 CPUtime=0.08 cores=0,2,4,6
/proc/13657/task/13716/stat : 13716 (java) S 13654 13657 7887 0 -1 1077944384 59 13205 0 0 0 0 5 3 20 0 15 0 50060653 11178180608 619227 33554432000 4194304 4196468 140734357713616 140013700064544 140014241613525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22147072 140734357719663 140734357722460 140734357722460 140734357725135 0
[pid=13657/tid=13717] ppid=13654 vsize=10916192 memory=2179580 CPUtime=0.08 cores=0,2,4,6
/proc/13657/task/13717/stat : 13717 (java) S 13654 13657 7887 0 -1 1077944384 20 13205 0 0 0 0 5 3 20 0 15 0 50060653 11178180608 619227 33554432000 4194304 4196468 140734357713616 140013585031936 140014241613525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22147072 140734357719663 140734357722460 140734357722460 140734357725135 0
[pid=13657/tid=13718] ppid=13654 vsize=10916192 memory=2341876 CPUtime=0.08 cores=0,2,4,6
/proc/13657/task/13718/stat : 13718 (java) S 13654 13657 7887 0 -1 1077944384 2 13205 0 0 0 0 5 3 20 0 15 0 50060656 11178180608 619227 33554432000 4194304 4196468 140734357713616 140012981053392 140014241621915 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22147072 140734357719663 140734357722460 140734357722460 140734357725135 0
[pid=13657/tid=13719] ppid=13654 vsize=10916192 memory=2407048 CPUtime=7.74 cores=0,2,4,6
/proc/13657/task/13719/stat : 13719 (java) S 13654 13657 7887 0 -1 1077944384 84951 13205 0 0 757 9 5 3 20 0 15 0 50060656 11178180608 619227 33554432000 4194304 4196468 140734357713616 140013666507504 140014241614466 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22147072 140734357719663 140734357722460 140734357722460 140734357725135 0
[pid=13657/tid=13720] ppid=13654 vsize=10916192 memory=2439960 CPUtime=7.58 cores=0,2,4,6
/proc/13657/task/13720/stat : 13720 (java) S 13654 13657 7887 0 -1 1077944384 76325 13205 0 0 743 7 5 3 20 0 15 0 50060656 11178180608 619227 33554432000 4194304 4196468 140734357713616 140013665454960 140014241614466 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22147072 140734357719663 140734357722460 140734357722460 140734357725135 0
[pid=13657/tid=13721] ppid=13654 vsize=10916192 memory=2474796 CPUtime=3.07 cores=0,2,4,6
/proc/13657/task/13721/stat : 13721 (java) S 13654 13657 7887 0 -1 1077944384 55813 13205 0 0 292 7 5 3 20 0 15 0 50060656 11178180608 619227 33554432000 4194304 4196468 140734357713616 140013664401904 140014241614466 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22147072 140734357719663 140734357722460 140734357722460 140734357725135 0
[pid=13657/tid=13722] ppid=13654 vsize=10916192 memory=1973172 CPUtime=0.08 cores=0,2,4,6
/proc/13657/task/13722/stat : 13722 (java) S 13654 13657 7887 0 -1 1077944384 3 13205 0 0 0 0 5 3 20 0 15 0 50060656 11178180608 619227 33554432000 4194304 4196468 140734357713616 140012511292256 140014241613525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22147072 140734357719663 140734357722460 140734357722460 140734357725135 0
[pid=13657/tid=13723] ppid=13654 vsize=10916192 memory=288230574492221466 CPUtime=1.6 cores=0,2,4,6
/proc/13657/task/13723/stat : 13723 (java) S 13654 13657 7887 0 -1 1077944384 4246 13205 0 0 72 80 5 3 20 0 15 0 50060656 11178180608 619227 33554432000 4194304 4196468 140734357713616 140013663349296 140014241614466 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22147072 140734357719663 140734357722460 140734357722460 140734357725135 0
Current children cumulated CPU time: 2509.12 s
Current children cumulated vsize: 10916192 KiB
Current children cumulated memory: 2476908 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2453.2 s]
/proc/loadavg: 1.36 1.38 1.43 3/216 14085
/proc/meminfo: memFree=15602584/32770624 swapFree=67108860/67108860
[pid=13657] ppid=13654 vsize=10916192 memory=2584344 CPUtime=2520.05 cores=0,2,4,6
/proc/13657/stat : 13657 (java) S 13654 13657 7887 0 -1 1077944320 611352 13205 0 0 251616 381 5 3 20 0 15 0 50060641 11178180608 646086 33554432000 4194304 4196468 140734357713616 140734357696160 140014241603319 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 22147072 140734357719663 140734357722460 140734357722460 140734357725135 0
/proc/13657/statm: 2729048 646086 3535 1 0 2690701 0
[pid=13657/tid=13710] ppid=13654 vsize=10916192 memory=7597679685313848683 CPUtime=2427.85 cores=0,2,4,6
/proc/13657/task/13710/stat : 13710 (java) R 13654 13657 7887 0 -1 4202560 179646 13205 0 0 242694 83 5 3 20 0 15 0 50060650 11178180608 646086 33554432000 4194304 4196468 140734357713616 140014213437664 140013809054539 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22147072 140734357719663 140734357722460 140734357722460 140734357725135 0
[pid=13657/tid=13711] ppid=13654 vsize=10916192 memory=7666367091463186535 CPUtime=16.53 cores=0,2,4,6
/proc/13657/task/13711/stat : 13711 (java) S 13654 13657 7887 0 -1 1077944384 37602 13205 0 0 1599 46 5 3 20 0 15 0 50060651 11178180608 646086 33554432000 4194304 4196468 140734357713616 140014245846032 140014241613525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22147072 140734357719663 140734357722460 140734357722460 140734357725135 0
[pid=13657/tid=13712] ppid=13654 vsize=10916192 memory=7666367091463186535 CPUtime=16.51 cores=0,2,4,6
/proc/13657/task/13712/stat : 13712 (java) S 13654 13657 7887 0 -1 1077944384 37322 13205 0 0 1600 43 5 3 20 0 15 0 50060651 11178180608 646086 33554432000 4194304 4196468 140734357713616 140014134119568 140014241613525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22147072 140734357719663 140734357722460 140734357722460 140734357725135 0
[pid=13657/tid=13713] ppid=13654 vsize=10916192 memory=7666367091463186535 CPUtime=16.55 cores=0,2,4,6
/proc/13657/task/13713/stat : 13713 (java) S 13654 13657 7887 0 -1 1077944384 48408 13205 0 0 1602 45 5 3 20 0 15 0 50060651 11178180608 646086 33554432000 4194304 4196468 140734357713616 140014133066512 140014241613525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22147072 140734357719663 140734357722460 140734357722460 140734357725135 0
[pid=13657/tid=13714] ppid=13654 vsize=10916192 memory=7666367091463186535 CPUtime=16.51 cores=0,2,4,6
/proc/13657/task/13714/stat : 13714 (java) S 13654 13657 7887 0 -1 1077944384 43511 13205 0 0 1596 47 5 3 20 0 15 0 50060651 11178180608 646086 33554432000 4194304 4196468 140734357713616 140014132013968 140014241613525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22147072 140734357719663 140734357722460 140734357722460 140734357725135 0
[pid=13657/tid=13715] ppid=13654 vsize=10916192 memory=7523936526395533416 CPUtime=6.71 cores=0,2,4,6
/proc/13657/task/13715/stat : 13715 (java) S 13654 13657 7887 0 -1 1077944384 41246 13205 0 0 613 50 5 3 20 0 15 0 50060652 11178180608 646086 33554432000 4194304 4196468 140734357713616 140013701118192 140014241614466 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22147072 140734357719663 140734357722460 140734357722460 140734357725135 0
[pid=13657/tid=13716] ppid=13654 vsize=10916192 memory=7156873361898432618 CPUtime=0.08 cores=0,2,4,6
/proc/13657/task/13716/stat : 13716 (java) S 13654 13657 7887 0 -1 1077944384 59 13205 0 0 0 0 5 3 20 0 15 0 50060653 11178180608 646086 33554432000 4194304 4196468 140734357713616 140013700064544 140014241613525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22147072 140734357719663 140734357722460 140734357722460 140734357725135 0
[pid=13657/tid=13717] ppid=13654 vsize=10916192 memory=7156873361898432618 CPUtime=0.08 cores=0,2,4,6
/proc/13657/task/13717/stat : 13717 (java) S 13654 13657 7887 0 -1 1077944384 20 13205 0 0 0 0 5 3 20 0 15 0 50060653 11178180608 646086 33554432000 4194304 4196468 140734357713616 140013585031936 140014241613525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22147072 140734357719663 140734357722460 140734357722460 140734357725135 0
[pid=13657/tid=13718] ppid=13654 vsize=10916192 memory=7305773534400637288 CPUtime=0.08 cores=0,2,4,6
/proc/13657/task/13718/stat : 13718 (java) S 13654 13657 7887 0 -1 1077944384 2 13205 0 0 0 0 5 3 20 0 15 0 50060656 11178180608 646086 33554432000 4194304 4196468 140734357713616 140012981053392 140014241621915 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22147072 140734357719663 140734357722460 140734357722460 140734357725135 0
[pid=13657/tid=13719] ppid=13654 vsize=10916192 memory=7595437751038665832 CPUtime=7.74 cores=0,2,4,6
/proc/13657/task/13719/stat : 13719 (java) S 13654 13657 7887 0 -1 1077944384 84951 13205 0 0 757 9 5 3 20 0 15 0 50060656 11178180608 646086 33554432000 4194304 4196468 140734357713616 140013666507504 140014241614466 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22147072 140734357719663 140734357722460 140734357722460 140734357725135 0
[pid=13657/tid=13720] ppid=13654 vsize=10916192 memory=7595437751038665832 CPUtime=7.58 cores=0,2,4,6
/proc/13657/task/13720/stat : 13720 (java) S 13654 13657 7887 0 -1 1077944384 76325 13205 0 0 743 7 5 3 20 0 15 0 50060656 11178180608 646086 33554432000 4194304 4196468 140734357713616 140013665454960 140014241614466 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22147072 140734357719663 140734357722460 140734357722460 140734357725135 0
[pid=13657/tid=13721] ppid=13654 vsize=10916192 memory=7595437751038665832 CPUtime=3.07 cores=0,2,4,6
/proc/13657/task/13721/stat : 13721 (java) S 13654 13657 7887 0 -1 1077944384 55813 13205 0 0 292 7 5 3 20 0 15 0 50060656 11178180608 646086 33554432000 4194304 4196468 140734357713616 140013664401904 140014241614466 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22147072 140734357719663 140734357722460 140734357722460 140734357725135 0
[pid=13657/tid=13722] ppid=13654 vsize=10916192 memory=7305773534400637288 CPUtime=0.08 cores=0,2,4,6
/proc/13657/task/13722/stat : 13722 (java) S 13654 13657 7887 0 -1 1077944384 3 13205 0 0 0 0 5 3 20 0 15 0 50060656 11178180608 646086 33554432000 4194304 4196468 140734357713616 140012511292256 140014241613525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22147072 140734357719663 140734357722460 140734357722460 140734357725135 0
[pid=13657/tid=13723] ppid=13654 vsize=10916192 memory=2509388 CPUtime=1.6 cores=0,2,4,6
/proc/13657/task/13723/stat : 13723 (java) S 13654 13657 7887 0 -1 1077944384 4255 13205 0 0 72 80 5 3 20 0 15 0 50060656 11178180608 646086 33554432000 4194304 4196468 140734357713616 140013663349296 140014241614466 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22147072 140734357719663 140734357722460 140734357722460 140734357725135 0
Current children cumulated CPU time: 2520.05 s
Current children cumulated vsize: 10916192 KiB
Current children cumulated memory: 2584344 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+2453.25 s]
# the end of solver process 13657 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2516.23 s, system=3.88244 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 143
Real time (s): 2453.25
CPU time (s): 2520.12
CPU user time (s): 2516.23
CPU system time (s): 3.88244
CPU usage (%): 102.726
Max. virtual memory (cumulated for all children) (KiB): 10916192
Max. memory (cumulated for all children) (KiB): 2932000

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.23
system time used= 3.88244
maximum resident set size= 2932000
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 628079
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3248
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 188623
involuntary context switches= 8049


# summary of solver processes directly reported to runsolver:
#   pid: 13657
#   total CPU time (s): 2520.12
#   total CPU user time (s): 2516.23
#   total CPU system time (s): 3.88244

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 12.7435 second user time and 24.9952 second system time

The end
Name	Rlfap/Rlfap-opt/ Rlfap-graph-02-opt_c18.xml
MD5SUM	f46e6f53d96372a3a8925b0c81d3424e
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	SAT
Best value of the objective obtained on this benchmark	14
Best CPU time to get the best result obtained on this benchmark	2520.07
Satisfiable
(Un)Satisfiability was proved
Number of variables	400
Number of constraints	2245
Number of domains	5
Minimum domain size	6
Maximum domain size	44
Distribution of domain sizes	[{"size":6,"count":56},{"size":22,"count":4},{"size":36,"count":66},{"size":42,"count":116},{"size":44,"count":158}]
Minimum variable degree	4
Maximum variable degree	32
Distribution of variable degrees	[{"degree":4,"count":2},{"degree":6,"count":12},{"degree":7,"count":21},{"degree":8,"count":38},{"degree":9,"count":42},{"degree":10,"count":44},{"degree":11,"count":45},{"degree":12,"count":27},{"degree":13,"count":16},{"degree":14,"count":27},{"degree":15,"count":21},{"degree":16,"count":44},{"degree":17,"count":30},{"degree":18,"count":17},{"degree":19,"count":7},{"degree":20,"count":2},{"degree":21,"count":2},{"degree":22,"count":1},{"degree":32,"count":2}]
Minimum constraint arity	2
Maximum constraint arity	2
Distribution of constraint arities	[{"arity":2,"count":2245}]
Number of extensional constraints	0
Number of intensional constraints	2245
Distribution of constraint types	[{"type":"intension","count":2245}]
Optimization problem	YES
Type of objective	min NVALUES
Trace number 4293624

Some explanations

Solver answer on this benchmark

General information on the benchmark

Quality of the solution as a function of time

Solver Data

Verifier Data

Watcher Data

Launcher Data
