2018 XCSP3 competition: sequential solvers tracks competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
Concrete 3.8-SuperNG 2018-06-13	OPT	792	22.4253	8.84781
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 (7795 MiB free)
  memory of node 1: 16384 MiB (12290 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4293561-1532317785/watcher-4293561-1532317785 -o /tmp/evaluation-result-4293561-1532317785/solver-4293561-1532317785 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node104-1532294157-6740 --watchdog 2580 concrete-3.8/bin/xcsp-3-concrete -J-Xss32M -randomseed=1311953269 -superng HOME/instance-4293561-1532317785.xml 

running on 4 cores: 1,3,5,7

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

solver pid=11112, runsolver pid=11109

[startup+0.100119 s]*
/proc/loadavg: 1.49 1.46 1.40 3/206 11169
/proc/meminfo: memFree=20564204/32770624 swapFree=67108860/67108860
[pid=11112] ppid=11109 vsize=9972712 memory=14912 CPUtime=0.08 cores=1,3,5,7
/proc/11112/stat : 11112 (java) S 11109 11112 6708 0 -1 1077944320 4411 12988 0 0 1 0 5 2 20 0 6 0 49341710 10212057088 3728 33554432000 4194304 4196468 140729840748752 140729840731296 139704346509047 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 7720960 140729840756907 140729840760156 140729840760156 140729840762831 0
/proc/11112/statm: 2493178 3728 1934 1 0 2481616 0
[pid=11112/tid=11165] ppid=11109 vsize=9972712 memory=4279135703946462859 CPUtime=0.08 cores=1,3,5,7
/proc/11112/task/11165/stat : 11165 (java) R 11109 11112 6708 0 -1 4202560 2241 12988 0 0 1 0 5 2 20 0 6 0 49341719 10212057088 3794 33554432000 4194304 4196468 140729840748752 139704318345808 139704346530973 0 4 0 16784584 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7720960 140729840756907 140729840760156 140729840760156 140729840762831 0
[pid=11112/tid=11166] ppid=11109 vsize=9972712 memory=8257237230052613020 CPUtime=0.07 cores=1,3,5,7
/proc/11112/task/11166/stat : 11166 (java) S 11109 11112 6708 0 -1 1077944384 1 12988 0 0 0 0 5 2 20 0 6 0 49341720 10212057088 3794 33554432000 4194304 4196468 140729840748752 139704350751888 139704346519253 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7720960 140729840756907 140729840760156 140729840760156 140729840762831 0
[pid=11112/tid=11167] ppid=11109 vsize=9972712 memory=140457949509248 CPUtime=0.07 cores=1,3,5,7
/proc/11112/task/11167/stat : 11167 (java) S 11109 11112 6708 0 -1 1077944384 1 12988 0 0 0 0 5 2 20 0 6 0 49341720 10212057088 3794 33554432000 4194304 4196468 140729840748752 139703920028688 139704346519253 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7720960 140729840756907 140729840760156 140729840760156 140729840762831 0
[pid=11112/tid=11168] ppid=11109 vsize=9972712 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/11112/task/11168/stat : 11168 (java) S 11109 11112 6708 0 -1 1077944384 1 12988 0 0 0 0 5 2 20 0 6 0 49341720 10212057088 3794 33554432000 4194304 4196468 140729840748752 139703918975888 139704346519253 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7720960 140729840756907 140729840760156 140729840760156 140729840762831 0
[pid=11112/tid=11169] ppid=11109 vsize=9972712 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/11112/task/11169/stat : 11169 (java) S 11109 11112 6708 0 -1 1077944384 2 12988 0 0 0 0 5 2 20 0 6 0 49341720 10212057088 3794 33554432000 4194304 4196468 140729840748752 139703917923088 139704346519253 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7720960 140729840756907 140729840760156 140729840760156 140729840762831 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 14912 KiB

[startup+0.209845 s]*
/proc/loadavg: 1.49 1.46 1.40 4/215 11178
/proc/meminfo: memFree=20538896/32770624 swapFree=67108860/67108860
[pid=11112] ppid=11109 vsize=10818856 memory=40732 CPUtime=0.25 cores=1,3,5,7
/proc/11112/stat : 11112 (java) S 11109 11112 6708 0 -1 1077944320 8575 12988 0 0 17 1 5 2 20 0 15 0 49341710 11078508544 10183 33554432000 4194304 4196468 140729840748752 140729840731296 139704346509047 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 7720960 140729840756907 140729840760156 140729840760156 140729840762831 0
/proc/11112/statm: 2704714 10183 2956 1 0 2667149 0
[pid=11112/tid=11165] ppid=11109 vsize=10818856 memory=-6517102902069810590 CPUtime=0.18 cores=1,3,5,7
/proc/11112/task/11165/stat : 11165 (java) R 11109 11112 6708 0 -1 4202560 5132 12988 0 0 10 1 5 2 20 0 15 0 49341719 11078508544 10183 33554432000 4194304 4196468 140729840748752 139704318306704 139704326784718 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7720960 140729840756907 140729840760156 140729840760156 140729840762831 0
[pid=11112/tid=11166] ppid=11109 vsize=10818856 memory=-7025452035940392864 CPUtime=0.07 cores=1,3,5,7
/proc/11112/task/11166/stat : 11166 (java) S 11109 11112 6708 0 -1 1077944384 1 12988 0 0 0 0 5 2 20 0 15 0 49341720 11078508544 10183 33554432000 4194304 4196468 140729840748752 139704350751888 139704346519253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7720960 140729840756907 140729840760156 140729840760156 140729840762831 0
[pid=11112/tid=11167] ppid=11109 vsize=10818856 memory=140457949509248 CPUtime=0.07 cores=1,3,5,7
/proc/11112/task/11167/stat : 11167 (java) S 11109 11112 6708 0 -1 1077944384 1 12988 0 0 0 0 5 2 20 0 15 0 49341720 11078508544 10183 33554432000 4194304 4196468 140729840748752 139703920028688 139704346519253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7720960 140729840756907 140729840760156 140729840760156 140729840762831 0
[pid=11112/tid=11168] ppid=11109 vsize=10818856 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/11112/task/11168/stat : 11168 (java) S 11109 11112 6708 0 -1 1077944384 1 12988 0 0 0 0 5 2 20 0 15 0 49341720 11078508544 10183 33554432000 4194304 4196468 140729840748752 139703918975888 139704346519253 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7720960 140729840756907 140729840760156 140729840760156 140729840762831 0
[pid=11112/tid=11169] ppid=11109 vsize=10818856 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/11112/task/11169/stat : 11169 (java) S 11109 11112 6708 0 -1 1077944384 2 12988 0 0 0 0 5 2 20 0 15 0 49341720 11078508544 10183 33554432000 4194304 4196468 140729840748752 139703917923088 139704346519253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7720960 140729840756907 140729840760156 140729840760156 140729840762831 0
[pid=11112/tid=11170] ppid=11109 vsize=10818856 memory=140457949509248 CPUtime=0.07 cores=1,3,5,7
/proc/11112/task/11170/stat : 11170 (java) S 11109 11112 6708 0 -1 1077944384 2 12988 0 0 0 0 5 2 20 0 15 0 49341721 11078508544 10183 33554432000 4194304 4196468 140729840748752 139703618304368 139704346520194 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7720960 140729840756907 140729840760156 140729840760156 140729840762831 0
[pid=11112/tid=11171] ppid=11109 vsize=10818856 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/11112/task/11171/stat : 11171 (java) S 11109 11112 6708 0 -1 1077944384 13 12988 0 0 0 0 5 2 20 0 15 0 49341722 11078508544 10183 33554432000 4194304 4196468 140729840748752 139703340753952 139704346519253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7720960 140729840756907 140729840760156 140729840760156 140729840762831 0
[pid=11112/tid=11172] ppid=11109 vsize=10818856 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/11112/task/11172/stat : 11172 (java) S 11109 11112 6708 0 -1 1077944384 1 12988 0 0 0 0 5 2 20 0 15 0 49341722 11078508544 10183 33554432000 4194304 4196468 140729840748752 139703139427184 139704346519253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7720960 140729840756907 140729840760156 140729840760156 140729840762831 0
[pid=11112/tid=11173] ppid=11109 vsize=10818856 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/11112/task/11173/stat : 11173 (java) S 11109 11112 6708 0 -1 1077944384 3 12988 0 0 0 0 5 2 20 0 15 0 49341725 11078508544 10183 33554432000 4194304 4196468 140729840748752 139702899136336 139704346527643 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7720960 140729840756907 140729840760156 140729840760156 140729840762831 0
[pid=11112/tid=11174] ppid=11109 vsize=10818856 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/11112/task/11174/stat : 11174 (java) S 11109 11112 6708 0 -1 1077944384 532 12988 0 0 1 0 5 2 20 0 15 0 49341725 11078508544 10183 33554432000 4194304 4196468 140729840748752 139703617252208 139704346520194 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7720960 140729840756907 140729840760156 140729840760156 140729840762831 0
[pid=11112/tid=11175] ppid=11109 vsize=10818856 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/11112/task/11175/stat : 11175 (java) S 11109 11112 6708 0 -1 1077944384 59 12988 0 0 0 0 5 2 20 0 15 0 49341725 11078508544 10183 33554432000 4194304 4196468 140729840748752 139703616199408 139704346520194 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7720960 140729840756907 140729840760156 140729840760156 140729840762831 0
[pid=11112/tid=11176] ppid=11109 vsize=10818856 memory=140457949509248 CPUtime=0.1 cores=1,3,5,7
/proc/11112/task/11176/stat : 11176 (java) S 11109 11112 6708 0 -1 1077944384 632 12988 0 0 3 0 5 2 20 0 15 0 49341725 11078508544 10183 33554432000 4194304 4196468 140729840748752 139703615146608 139704346520194 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7720960 140729840756907 140729840760156 140729840760156 140729840762831 0
[pid=11112/tid=11177] ppid=11109 vsize=10818856 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/11112/task/11177/stat : 11177 (java) S 11109 11112 6708 0 -1 1077944384 3 12988 0 0 0 0 5 2 20 0 15 0 49341725 11078508544 10183 33554432000 4194304 4196468 140729840748752 139702865578720 139704346519253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7720960 140729840756907 140729840760156 140729840760156 140729840762831 0
[pid=11112/tid=11178] ppid=11109 vsize=10818856 memory=140457949509248 CPUtime=0.07 cores=1,3,5,7
/proc/11112/task/11178/stat : 11178 (java) S 11109 11112 6708 0 -1 1077944384 1 12988 0 0 0 0 5 2 20 0 15 0 49341725 11078508544 10183 33554432000 4194304 4196468 140729840748752 139703614094000 139704346520194 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7720960 140729840756907 140729840760156 140729840760156 140729840762831 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 10818856 KiB
Current children cumulated memory: 40732 KiB

[startup+0.310148 s]*
/proc/loadavg: 1.49 1.46 1.40 3/215 11178
/proc/meminfo: memFree=20528848/32770624 swapFree=67108860/67108860
[pid=11112] ppid=11109 vsize=10819352 memory=52072 CPUtime=0.38 cores=1,3,5,7
/proc/11112/stat : 11112 (java) S 11109 11112 6708 0 -1 1077944320 10636 12988 0 0 29 2 5 2 20 0 15 0 49341710 11079016448 13018 33554432000 4194304 4196468 140729840748752 140729840731296 139704346509047 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 7720960 140729840756907 140729840760156 140729840760156 140729840762831 0
/proc/11112/statm: 2704838 13018 3087 1 0 2667149 0
[pid=11112/tid=11165] ppid=11109 vsize=10819352 memory=6791534058613427641 CPUtime=0.27 cores=1,3,5,7
/proc/11112/task/11165/stat : 11165 (java) R 11109 11112 6708 0 -1 4202560 7167 12988 0 0 19 1 5 2 20 0 15 0 49341719 11079016448 13018 33554432000 4194304 4196468 140729840748752 139704318321056 139704346530973 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7720960 140729840756907 140729840760156 140729840760156 140729840762831 0
[pid=11112/tid=11166] ppid=11109 vsize=10819352 memory=6080802209292898385 CPUtime=0.07 cores=1,3,5,7
/proc/11112/task/11166/stat : 11166 (java) S 11109 11112 6708 0 -1 1077944384 1 12988 0 0 0 0 5 2 20 0 15 0 49341720 11079016448 13018 33554432000 4194304 4196468 140729840748752 139704350751888 139704346519253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7720960 140729840756907 140729840760156 140729840760156 140729840762831 0
[pid=11112/tid=11167] ppid=11109 vsize=10819352 memory=2076 CPUtime=0.07 cores=1,3,5,7
/proc/11112/task/11167/stat : 11167 (java) S 11109 11112 6708 0 -1 1077944384 1 12988 0 0 0 0 5 2 20 0 15 0 49341720 11079016448 13018 33554432000 4194304 4196468 140729840748752 139703920028688 139704346519253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7720960 140729840756907 140729840760156 140729840760156 140729840762831 0
[pid=11112/tid=11168] ppid=11109 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/11112/task/11168/stat : 11168 (java) S 11109 11112 6708 0 -1 1077944384 1 12988 0 0 0 0 5 2 20 0 15 0 49341720 11079016448 13018 33554432000 4194304 4196468 140729840748752 139703918975888 139704346519253 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7720960 140729840756907 140729840760156 140729840760156 140729840762831 0
[pid=11112/tid=11169] ppid=11109 vsize=10819352 memory=4126316290023845779 CPUtime=0.07 cores=1,3,5,7
/proc/11112/task/11169/stat : 11169 (java) S 11109 11112 6708 0 -1 1077944384 2 12988 0 0 0 0 5 2 20 0 15 0 49341720 11079016448 13018 33554432000 4194304 4196468 140729840748752 139703917923088 139704346519253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7720960 140729840756907 140729840760156 140729840760156 140729840762831 0
[pid=11112/tid=11170] ppid=11109 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/11112/task/11170/stat : 11170 (java) S 11109 11112 6708 0 -1 1077944384 2 12988 0 0 0 0 5 2 20 0 15 0 49341721 11079016448 13018 33554432000 4194304 4196468 140729840748752 139703618304368 139704346520194 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7720960 140729840756907 140729840760156 140729840760156 140729840762831 0
[pid=11112/tid=11171] ppid=11109 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/11112/task/11171/stat : 11171 (java) S 11109 11112 6708 0 -1 1077944384 13 12988 0 0 0 0 5 2 20 0 15 0 49341722 11079016448 13084 33554432000 4194304 4196468 140729840748752 139703340753952 139704346519253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7720960 140729840756907 140729840760156 140729840760156 140729840762831 0
[pid=11112/tid=11172] ppid=11109 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/11112/task/11172/stat : 11172 (java) S 11109 11112 6708 0 -1 1077944384 1 12988 0 0 0 0 5 2 20 0 15 0 49341722 11079016448 13084 33554432000 4194304 4196468 140729840748752 139703139427184 139704346519253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7720960 140729840756907 140729840760156 140729840760156 140729840762831 0
[pid=11112/tid=11173] ppid=11109 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/11112/task/11173/stat : 11173 (java) S 11109 11112 6708 0 -1 1077944384 3 12988 0 0 0 0 5 2 20 0 15 0 49341725 11079016448 13084 33554432000 4194304 4196468 140729840748752 139702899136336 139704346527643 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7720960 140729840756907 140729840760156 140729840760156 140729840762831 0
[pid=11112/tid=11174] ppid=11109 vsize=10819352 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/11112/task/11174/stat : 11174 (java) S 11109 11112 6708 0 -1 1077944384 537 12988 0 0 2 0 5 2 20 0 15 0 49341725 11079016448 13084 33554432000 4194304 4196468 140729840748752 139703617252208 139704346520194 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7720960 140729840756907 140729840760156 140729840760156 140729840762831 0
[pid=11112/tid=11175] ppid=11109 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/11112/task/11175/stat : 11175 (java) S 11109 11112 6708 0 -1 1077944384 64 12988 0 0 1 0 5 2 20 0 15 0 49341725 11079016448 13084 33554432000 4194304 4196468 140729840748752 139703616199408 139704346520194 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7720960 140729840756907 140729840760156 140729840760156 140729840762831 0
[pid=11112/tid=11176] ppid=11109 vsize=10819352 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/11112/task/11176/stat : 11176 (java) R 11109 11112 6708 0 -1 4202560 662 12988 0 0 5 0 5 2 20 0 15 0 49341725 11079016448 13084 33554432000 4194304 4196468 140729840748752 139703615146608 139704339608747 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7720960 140729840756907 140729840760156 140729840760156 140729840762831 0
[pid=11112/tid=11177] ppid=11109 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/11112/task/11177/stat : 11177 (java) S 11109 11112 6708 0 -1 1077944384 3 12988 0 0 0 0 5 2 20 0 15 0 49341725 11079016448 13084 33554432000 4194304 4196468 140729840748752 139702865578720 139704346519253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7720960 140729840756907 140729840760156 140729840760156 140729840762831 0
[pid=11112/tid=11178] ppid=11109 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/11112/task/11178/stat : 11178 (java) S 11109 11112 6708 0 -1 1077944384 1 12988 0 0 0 0 5 2 20 0 15 0 49341725 11079016448 13084 33554432000 4194304 4196468 140729840748752 139703614094000 139704346520194 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7720960 140729840756907 140729840760156 140729840760156 140729840762831 0
Current children cumulated CPU time: 0.38 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 52072 KiB

[startup+0.700861 s]
/proc/loadavg: 1.49 1.46 1.40 3/215 11178
/proc/meminfo: memFree=20517932/32770624 swapFree=67108860/67108860
[pid=11112] ppid=11109 vsize=10819352 memory=85980 CPUtime=0.99 cores=1,3,5,7
/proc/11112/stat : 11112 (java) S 11109 11112 6708 0 -1 1077944320 17150 12988 0 0 88 4 5 2 20 0 15 0 49341710 11079016448 21495 33554432000 4194304 4196468 140729840748752 140729840731296 139704346509047 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 7720960 140729840756907 140729840760156 140729840760156 140729840762831 0
/proc/11112/statm: 2704838 21495 3240 1 0 2667149 0
[pid=11112/tid=11165] ppid=11109 vsize=10819352 memory=0 CPUtime=0.65 cores=1,3,5,7
/proc/11112/task/11165/stat : 11165 (java) R 11109 11112 6708 0 -1 4202560 12575 12988 0 0 56 2 5 2 20 0 15 0 49341719 11079016448 21495 33554432000 4194304 4196468 140729840748752 139704318329872 139704328072622 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7720960 140729840756907 140729840760156 140729840760156 140729840762831 0
[pid=11112/tid=11166] ppid=11109 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/11112/task/11166/stat : 11166 (java) S 11109 11112 6708 0 -1 1077944384 1 12988 0 0 0 0 5 2 20 0 15 0 49341720 11079016448 21495 33554432000 4194304 4196468 140729840748752 139704350751888 139704346519253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7720960 140729840756907 140729840760156 140729840760156 140729840762831 0
[pid=11112/tid=11167] ppid=11109 vsize=10819352 memory=4140 CPUtime=0.07 cores=1,3,5,7
/proc/11112/task/11167/stat : 11167 (java) S 11109 11112 6708 0 -1 1077944384 1 12988 0 0 0 0 5 2 20 0 15 0 49341720 11079016448 21495 33554432000 4194304 4196468 140729840748752 139703920028688 139704346519253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7720960 140729840756907 140729840760156 140729840760156 140729840762831 0
[pid=11112/tid=11168] ppid=11109 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/11112/task/11168/stat : 11168 (java) S 11109 11112 6708 0 -1 1077944384 1 12988 0 0 0 0 5 2 20 0 15 0 49341720 11079016448 21495 33554432000 4194304 4196468 140729840748752 139703918975888 139704346519253 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7720960 140729840756907 140729840760156 140729840760156 140729840762831 0
[pid=11112/tid=11169] ppid=11109 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/11112/task/11169/stat : 11169 (java) S 11109 11112 6708 0 -1 1077944384 2 12988 0 0 0 0 5 2 20 0 15 0 49341720 11079016448 21495 33554432000 4194304 4196468 140729840748752 139703917923088 139704346519253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7720960 140729840756907 140729840760156 140729840760156 140729840762831 0
[pid=11112/tid=11170] ppid=11109 vsize=10819352 memory=4420 CPUtime=0.07 cores=1,3,5,7
/proc/11112/task/11170/stat : 11170 (java) S 11109 11112 6708 0 -1 1077944384 5 12988 0 0 0 0 5 2 20 0 15 0 49341721 11079016448 21495 33554432000 4194304 4196468 140729840748752 139703618304368 139704346520194 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7720960 140729840756907 140729840760156 140729840760156 140729840762831 0
[pid=11112/tid=11171] ppid=11109 vsize=10819352 memory=6628 CPUtime=0.07 cores=1,3,5,7
/proc/11112/task/11171/stat : 11171 (java) S 11109 11112 6708 0 -1 1077944384 13 12988 0 0 0 0 5 2 20 0 15 0 49341722 11079016448 21495 33554432000 4194304 4196468 140729840748752 139703340753952 139704346519253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7720960 140729840756907 140729840760156 140729840760156 140729840762831 0
[pid=11112/tid=11172] ppid=11109 vsize=10819352 memory=8836 CPUtime=0.07 cores=1,3,5,7
/proc/11112/task/11172/stat : 11172 (java) S 11109 11112 6708 0 -1 1077944384 1 12988 0 0 0 0 5 2 20 0 15 0 49341722 11079016448 21495 33554432000 4194304 4196468 140729840748752 139703139427184 139704346519253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7720960 140729840756907 140729840760156 140729840760156 140729840762831 0
[pid=11112/tid=11173] ppid=11109 vsize=10819352 memory=11044 CPUtime=0.07 cores=1,3,5,7
/proc/11112/task/11173/stat : 11173 (java) S 11109 11112 6708 0 -1 1077944384 3 12988 0 0 0 0 5 2 20 0 15 0 49341725 11079016448 21495 33554432000 4194304 4196468 140729840748752 139702899136336 139704346527643 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7720960 140729840756907 140729840760156 140729840760156 140729840762831 0
[pid=11112/tid=11174] ppid=11109 vsize=10819352 memory=13252 CPUtime=0.15 cores=1,3,5,7
/proc/11112/task/11174/stat : 11174 (java) S 11109 11112 6708 0 -1 1077944384 835 12988 0 0 8 0 5 2 20 0 15 0 49341725 11079016448 21495 33554432000 4194304 4196468 140729840748752 139703617252208 139704346520194 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7720960 140729840756907 140729840760156 140729840760156 140729840762831 0
[pid=11112/tid=11175] ppid=11109 vsize=10819352 memory=15460 CPUtime=0.15 cores=1,3,5,7
/proc/11112/task/11175/stat : 11175 (java) S 11109 11112 6708 0 -1 1077944384 663 12988 0 0 8 0 5 2 20 0 15 0 49341725 11079016448 21495 33554432000 4194304 4196468 140729840748752 139703616199408 139704346520194 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7720960 140729840756907 140729840760156 140729840760156 140729840762831 0
[pid=11112/tid=11176] ppid=11109 vsize=10819352 memory=17668 CPUtime=0.2 cores=1,3,5,7
/proc/11112/task/11176/stat : 11176 (java) S 11109 11112 6708 0 -1 1077944384 854 12988 0 0 13 0 5 2 20 0 15 0 49341725 11079016448 21495 33554432000 4194304 4196468 140729840748752 139703615146608 139704346520194 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7720960 140729840756907 140729840760156 140729840760156 140729840762831 0
[pid=11112/tid=11177] ppid=11109 vsize=10819352 memory=19876 CPUtime=0.07 cores=1,3,5,7
/proc/11112/task/11177/stat : 11177 (java) S 11109 11112 6708 0 -1 1077944384 3 12988 0 0 0 0 5 2 20 0 15 0 49341725 11079016448 21495 33554432000 4194304 4196468 140729840748752 139702865578720 139704346519253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7720960 140729840756907 140729840760156 140729840760156 140729840762831 0
[pid=11112/tid=11178] ppid=11109 vsize=10819352 memory=22084 CPUtime=0.07 cores=1,3,5,7
/proc/11112/task/11178/stat : 11178 (java) S 11109 11112 6708 0 -1 1077944384 1 12988 0 0 0 0 5 2 20 0 15 0 49341725 11079016448 21495 33554432000 4194304 4196468 140729840748752 139703614094000 139704346520194 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7720960 140729840756907 140729840760156 140729840760156 140729840762831 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 85980 KiB

[startup+1.50404 s]
/proc/loadavg: 1.49 1.46 1.40 4/215 11178
/proc/meminfo: memFree=20471608/32770624 swapFree=67108860/67108860
[pid=11112] ppid=11109 vsize=10832204 memory=170908 CPUtime=3.01 cores=1,3,5,7
/proc/11112/stat : 11112 (java) S 11109 11112 6708 0 -1 1077944320 25469 12988 0 0 286 8 5 2 20 0 15 0 49341710 11092176896 42727 33554432000 4194304 4196468 140729840748752 140729840731296 139704346509047 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 7720960 140729840756907 140729840760156 140729840760156 140729840762831 0
/proc/11112/statm: 2708051 42727 3450 1 0 2669709 0
[pid=11112/tid=11165] ppid=11109 vsize=10832204 memory=0 CPUtime=1.45 cores=1,3,5,7
/proc/11112/task/11165/stat : 11165 (java) S 11109 11112 6708 0 -1 1077944384 17353 12988 0 0 133 5 5 2 20 0 15 0 49341719 11092176896 42727 33554432000 4194304 4196468 140729840748752 139704318321840 139704346519253 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7720960 140729840756907 140729840760156 140729840760156 140729840762831 0
[pid=11112/tid=11166] ppid=11109 vsize=10832204 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/11112/task/11166/stat : 11166 (java) S 11109 11112 6708 0 -1 1077944384 164 12988 0 0 0 0 5 2 20 0 15 0 49341720 11092176896 42727 33554432000 4194304 4196468 140729840748752 139704350751888 139704346519253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7720960 140729840756907 140729840760156 140729840760156 140729840762831 0
[pid=11112/tid=11167] ppid=11109 vsize=10832204 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/11112/task/11167/stat : 11167 (java) S 11109 11112 6708 0 -1 1077944384 42 12988 0 0 0 0 5 2 20 0 15 0 49341720 11092176896 42727 33554432000 4194304 4196468 140729840748752 139703920028688 139704346519253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7720960 140729840756907 140729840760156 140729840760156 140729840762831 0
[pid=11112/tid=11168] ppid=11109 vsize=10832204 memory=3611949788955226161 CPUtime=0.07 cores=1,3,5,7
/proc/11112/task/11168/stat : 11168 (java) S 11109 11112 6708 0 -1 1077944384 9 12988 0 0 0 0 5 2 20 0 15 0 49341720 11092176896 42727 33554432000 4194304 4196468 140729840748752 139703918975888 139704346519253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7720960 140729840756907 140729840760156 140729840760156 140729840762831 0
[pid=11112/tid=11169] ppid=11109 vsize=10832204 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/11112/task/11169/stat : 11169 (java) S 11109 11112 6708 0 -1 1077944384 17 12988 0 0 0 0 5 2 20 0 15 0 49341720 11092176896 42727 33554432000 4194304 4196468 140729840748752 139703917923088 139704346519253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7720960 140729840756907 140729840760156 140729840760156 140729840762831 0
[pid=11112/tid=11170] ppid=11109 vsize=10832204 memory=-7965959130280075168 CPUtime=0.07 cores=1,3,5,7
/proc/11112/task/11170/stat : 11170 (java) R 11109 11112 6708 0 -1 4202560 15 12988 0 0 0 0 5 2 20 0 15 0 49341721 11092176896 42727 33554432000 4194304 4196468 140729840748752 139703618302848 139704331573792 0 0 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7720960 140729840756907 140729840760156 140729840760156 140729840762831 0
[pid=11112/tid=11171] ppid=11109 vsize=10832204 memory=280915691514112 CPUtime=0.07 cores=1,3,5,7
/proc/11112/task/11171/stat : 11171 (java) S 11109 11112 6708 0 -1 1077944384 13 12988 0 0 0 0 5 2 20 0 15 0 49341722 11092176896 42727 33554432000 4194304 4196468 140729840748752 139703340753952 139704346519253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7720960 140729840756907 140729840760156 140729840760156 140729840762831 0
[pid=11112/tid=11172] ppid=11109 vsize=10832204 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/11112/task/11172/stat : 11172 (java) S 11109 11112 6708 0 -1 1077944384 1 12988 0 0 0 0 5 2 20 0 15 0 49341722 11092176896 42727 33554432000 4194304 4196468 140729840748752 139703139427184 139704346519253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7720960 140729840756907 140729840760156 140729840760156 140729840762831 0
[pid=11112/tid=11173] ppid=11109 vsize=10832204 memory=5380 CPUtime=0.07 cores=1,3,5,7
/proc/11112/task/11173/stat : 11173 (java) S 11109 11112 6708 0 -1 1077944384 3 12988 0 0 0 0 5 2 20 0 15 0 49341725 11092176896 42727 33554432000 4194304 4196468 140729840748752 139702899136336 139704346527643 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7720960 140729840756907 140729840760156 140729840760156 140729840762831 0
[pid=11112/tid=11174] ppid=11109 vsize=10832204 memory=4616 CPUtime=0.57 cores=1,3,5,7
/proc/11112/task/11174/stat : 11174 (java) S 11109 11112 6708 0 -1 1077944384 1754 12988 0 0 50 0 5 2 20 0 15 0 49341725 11092176896 42727 33554432000 4194304 4196468 140729840748752 139703617252208 139704346520194 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7720960 140729840756907 140729840760156 140729840760156 140729840762831 0
[pid=11112/tid=11175] ppid=11109 vsize=10832204 memory=1232 CPUtime=0.64 cores=1,3,5,7
/proc/11112/task/11175/stat : 11175 (java) S 11109 11112 6708 0 -1 1077944384 2118 12988 0 0 57 0 5 2 20 0 15 0 49341725 11092176896 42727 33554432000 4194304 4196468 140729840748752 139703616190688 139704346519253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7720960 140729840756907 140729840760156 140729840760156 140729840762831 0
[pid=11112/tid=11176] ppid=11109 vsize=10832204 memory=11964 CPUtime=0.5 cores=1,3,5,7
/proc/11112/task/11176/stat : 11176 (java) S 11109 11112 6708 0 -1 1077944384 1785 12988 0 0 43 0 5 2 20 0 15 0 49341725 11092176896 42727 33554432000 4194304 4196468 140729840748752 139703615146608 139704346520194 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7720960 140729840756907 140729840760156 140729840760156 140729840762831 0
[pid=11112/tid=11177] ppid=11109 vsize=10832204 memory=1708 CPUtime=0.07 cores=1,3,5,7
/proc/11112/task/11177/stat : 11177 (java) S 11109 11112 6708 0 -1 1077944384 3 12988 0 0 0 0 5 2 20 0 15 0 49341725 11092176896 42727 33554432000 4194304 4196468 140729840748752 139702865578720 139704346519253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7720960 140729840756907 140729840760156 140729840760156 140729840762831 0
[pid=11112/tid=11178] ppid=11109 vsize=10832204 memory=8388 CPUtime=0.07 cores=1,3,5,7
/proc/11112/task/11178/stat : 11178 (java) S 11109 11112 6708 0 -1 1077944384 1 12988 0 0 0 0 5 2 20 0 15 0 49341725 11092176896 42727 33554432000 4194304 4196468 140729840748752 139703614094000 139704346520194 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7720960 140729840756907 140729840760156 140729840760156 140729840762831 0
Current children cumulated CPU time: 3.01 s
Current children cumulated vsize: 10832204 KiB

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

[startup+8.84776 s]
# the end of solver process 11112 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=22.0093 s, system=0.416057 s

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

[startup+6.40083 s]
/proc/loadavg: 1.45 1.45 1.40 3/215 11178
/proc/meminfo: memFree=20227552/32770624 swapFree=67108860/67108860
[pid=11112] ppid=11109 vsize=10846560 memory=380784 CPUtime=16.4 cores=1,3,5,7
/proc/11112/stat : 11112 (java) S 11109 11112 6708 0 -1 1077944320 58036 12988 0 0 1606 27 5 2 20 0 15 0 49341710 11106877440 95196 33554432000 4194304 4196468 140729840748752 140729840731296 139704346509047 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 7720960 140729840756907 140729840760156 140729840760156 140729840762831 0
/proc/11112/statm: 2711640 95196 3521 1 0 2673293 0
[pid=11112/tid=11165] ppid=11109 vsize=10846560 memory=7 CPUtime=6.16 cores=1,3,5,7
/proc/11112/task/11165/stat : 11165 (java) R 11109 11112 6708 0 -1 4202560 30417 12988 0 0 600 9 5 2 20 0 15 0 49341719 11106877440 95196 33554432000 4194304 4196468 140729840748752 139704318339520 139703950801504 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7720960 140729840756907 140729840760156 140729840760156 140729840762831 0
[pid=11112/tid=11166] ppid=11109 vsize=10846560 memory=7 CPUtime=0.17 cores=1,3,5,7
/proc/11112/task/11166/stat : 11166 (java) S 11109 11112 6708 0 -1 1077944384 262 12988 0 0 9 1 5 2 20 0 15 0 49341720 11106877440 95196 33554432000 4194304 4196468 140729840748752 139704350751888 139704346519253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7720960 140729840756907 140729840760156 140729840760156 140729840762831 0
[pid=11112/tid=11167] ppid=11109 vsize=10846560 memory=6791534058613427641 CPUtime=0.17 cores=1,3,5,7
/proc/11112/task/11167/stat : 11167 (java) S 11109 11112 6708 0 -1 1077944384 194 12988 0 0 9 1 5 2 20 0 15 0 49341720 11106877440 95196 33554432000 4194304 4196468 140729840748752 139703920028688 139704346519253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7720960 140729840756907 140729840760156 140729840760156 140729840762831 0
[pid=11112/tid=11168] ppid=11109 vsize=10846560 memory=7307184289356141157 CPUtime=0.16 cores=1,3,5,7
/proc/11112/task/11168/stat : 11168 (java) S 11109 11112 6708 0 -1 1077944384 197 12988 0 0 8 1 5 2 20 0 15 0 49341720 11106877440 95196 33554432000 4194304 4196468 140729840748752 139703918975888 139704346519253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7720960 140729840756907 140729840760156 140729840760156 140729840762831 0
[pid=11112/tid=11169] ppid=11109 vsize=10846560 memory=7307184289356141157 CPUtime=0.18 cores=1,3,5,7
/proc/11112/task/11169/stat : 11169 (java) S 11109 11112 6708 0 -1 1077944384 118 12988 0 0 9 2 5 2 20 0 15 0 49341720 11106877440 95196 33554432000 4194304 4196468 140729840748752 139703917923088 139704346519253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7720960 140729840756907 140729840760156 140729840760156 140729840762831 0
[pid=11112/tid=11170] ppid=11109 vsize=10846560 memory=6371592253128076140 CPUtime=0.12 cores=1,3,5,7
/proc/11112/task/11170/stat : 11170 (java) S 11109 11112 6708 0 -1 1077944384 3483 12988 0 0 5 0 5 2 20 0 15 0 49341721 11106877440 95196 33554432000 4194304 4196468 140729840748752 139703618304368 139704346520194 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7720960 140729840756907 140729840760156 140729840760156 140729840762831 0
[pid=11112/tid=11171] ppid=11109 vsize=10846560 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/11112/task/11171/stat : 11171 (java) S 11109 11112 6708 0 -1 1077944384 14 12988 0 0 0 0 5 2 20 0 15 0 49341722 11106877440 95196 33554432000 4194304 4196468 140729840748752 139703340754080 139704346519253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7720960 140729840756907 140729840760156 140729840760156 140729840762831 0
[pid=11112/tid=11172] ppid=11109 vsize=10846560 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/11112/task/11172/stat : 11172 (java) S 11109 11112 6708 0 -1 1077944384 3 12988 0 0 0 0 5 2 20 0 15 0 49341722 11106877440 95196 33554432000 4194304 4196468 140729840748752 139703139427200 139704346519253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7720960 140729840756907 140729840760156 140729840760156 140729840762831 0
[pid=11112/tid=11173] ppid=11109 vsize=10846560 memory=140457845931988 CPUtime=0.07 cores=1,3,5,7
/proc/11112/task/11173/stat : 11173 (java) S 11109 11112 6708 0 -1 1077944384 3 12988 0 0 0 0 5 2 20 0 15 0 49341725 11106877440 95196 33554432000 4194304 4196468 140729840748752 139702899136336 139704346527643 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7720960 140729840756907 140729840760156 140729840760156 140729840762831 0
[pid=11112/tid=11174] ppid=11109 vsize=10846560 memory=280915691873904 CPUtime=3.95 cores=1,3,5,7
/proc/11112/task/11174/stat : 11174 (java) R 11109 11112 6708 0 -1 4202560 7159 12988 0 0 386 2 5 2 20 0 15 0 49341725 11106877440 95196 33554432000 4194304 4196468 140729840748752 139703617233920 139704325770401 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7720960 140729840756907 140729840760156 140729840760156 140729840762831 0
[pid=11112/tid=11175] ppid=11109 vsize=10846560 memory=0 CPUtime=3.97 cores=1,3,5,7
/proc/11112/task/11175/stat : 11175 (java) R 11109 11112 6708 0 -1 4202560 6935 12988 0 0 387 3 5 2 20 0 15 0 49341725 11106877440 95196 33554432000 4194304 4196468 140729840748752 139703616182000 139704330905887 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7720960 140729840756907 140729840760156 140729840760156 140729840762831 0
[pid=11112/tid=11176] ppid=11109 vsize=10846560 memory=0 CPUtime=1.96 cores=1,3,5,7
/proc/11112/task/11176/stat : 11176 (java) R 11109 11112 6708 0 -1 1077944384 6976 12988 0 0 186 3 5 2 20 0 15 0 49341725 11106877440 95196 33554432000 4194304 4196468 140729840748752 139703615146608 139704346520194 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 7720960 140729840756907 140729840760156 140729840760156 140729840762831 0
[pid=11112/tid=11177] ppid=11109 vsize=10846560 memory=-3621219749712857441 CPUtime=0.07 cores=1,3,5,7
/proc/11112/task/11177/stat : 11177 (java) S 11109 11112 6708 0 -1 1077944384 3 12988 0 0 0 0 5 2 20 0 15 0 49341725 11106877440 95196 33554432000 4194304 4196468 140729840748752 139702865578720 139704346519253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7720960 140729840756907 140729840760156 140729840760156 140729840762831 0
[pid=11112/tid=11178] ppid=11109 vsize=10846560 memory=6944656592387989600 CPUtime=0.07 cores=1,3,5,7
/proc/11112/task/11178/stat : 11178 (java) S 11109 11112 6708 0 -1 1077944384 80 12988 0 0 0 0 5 2 20 0 15 0 49341725 11106877440 95196 33554432000 4194304 4196468 140729840748752 139703614094000 139704346520194 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7720960 140729840756907 140729840760156 140729840760156 140729840762831 0
Current children cumulated CPU time: 16.4 s
Current children cumulated vsize: 10846560 KiB
Current children cumulated memory: 380784 KiB

[startup+8.00068 s]*
/proc/loadavg: 1.66 1.49 1.41 3/215 11178
/proc/meminfo: memFree=20079524/32770624 swapFree=67108860/67108860
[pid=11112] ppid=11109 vsize=10848608 memory=501496 CPUtime=20.61 cores=1,3,5,7
/proc/11112/stat : 11112 (java) S 11109 11112 6708 0 -1 1077944320 69488 12988 0 0 2020 34 5 2 20 0 15 0 49341710 11108974592 125374 33554432000 4194304 4196468 140729840748752 140729840731296 139704346509047 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 7720960 140729840756907 140729840760156 140729840760156 140729840762831 0
/proc/11112/statm: 2712152 125374 3525 1 0 2673805 0
[pid=11112/tid=11165] ppid=11109 vsize=10848608 memory=6791534058613427641 CPUtime=7.73 cores=1,3,5,7
/proc/11112/task/11165/stat : 11165 (java) R 11109 11112 6708 0 -1 4202560 39010 12988 0 0 756 10 5 2 20 0 15 0 49341719 11108974592 125374 33554432000 4194304 4196468 140729840748752 139704318343568 139703954991299 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7720960 140729840756907 140729840760156 140729840760156 140729840762831 0
[pid=11112/tid=11166] ppid=11109 vsize=10848608 memory=4126316290023845779 CPUtime=0.2 cores=1,3,5,7
/proc/11112/task/11166/stat : 11166 (java) S 11109 11112 6708 0 -1 1077944384 292 12988 0 0 11 2 5 2 20 0 15 0 49341720 11108974592 125374 33554432000 4194304 4196468 140729840748752 139704350751888 139704346519253 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7720960 140729840756907 140729840760156 140729840760156 140729840762831 0
[pid=11112/tid=11167] ppid=11109 vsize=10848608 memory=2412 CPUtime=0.19 cores=1,3,5,7
/proc/11112/task/11167/stat : 11167 (java) S 11109 11112 6708 0 -1 1077944384 234 12988 0 0 10 2 5 2 20 0 15 0 49341720 11108974592 125374 33554432000 4194304 4196468 140729840748752 139703920028688 139704346519253 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7720960 140729840756907 140729840760156 140729840760156 140729840762831 0
[pid=11112/tid=11168] ppid=11109 vsize=10848608 memory=1836 CPUtime=0.19 cores=1,3,5,7
/proc/11112/task/11168/stat : 11168 (java) S 11109 11112 6708 0 -1 1077944384 218 12988 0 0 10 2 5 2 20 0 15 0 49341720 11108974592 125374 33554432000 4194304 4196468 140729840748752 139703918975888 139704346519253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7720960 140729840756907 140729840760156 140729840760156 140729840762831 0
[pid=11112/tid=11169] ppid=11109 vsize=10848608 memory=792 CPUtime=0.19 cores=1,3,5,7
/proc/11112/task/11169/stat : 11169 (java) S 11109 11112 6708 0 -1 1077944384 464 12988 0 0 10 2 5 2 20 0 15 0 49341720 11108974592 125374 33554432000 4194304 4196468 140729840748752 139703917923088 139704346519253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7720960 140729840756907 140729840760156 140729840760156 140729840762831 0
[pid=11112/tid=11170] ppid=11109 vsize=10848608 memory=1960 CPUtime=0.13 cores=1,3,5,7
/proc/11112/task/11170/stat : 11170 (java) S 11109 11112 6708 0 -1 1077944384 3555 12988 0 0 6 0 5 2 20 0 15 0 49341721 11108974592 125374 33554432000 4194304 4196468 140729840748752 139703618304368 139704346520194 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7720960 140729840756907 140729840760156 140729840760156 140729840762831 0
[pid=11112/tid=11171] ppid=11109 vsize=10848608 memory=5380 CPUtime=0.07 cores=1,3,5,7
/proc/11112/task/11171/stat : 11171 (java) S 11109 11112 6708 0 -1 1077944384 14 12988 0 0 0 0 5 2 20 0 15 0 49341722 11108974592 125374 33554432000 4194304 4196468 140729840748752 139703340754080 139704346519253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7720960 140729840756907 140729840760156 140729840760156 140729840762831 0
[pid=11112/tid=11172] ppid=11109 vsize=10848608 memory=4616 CPUtime=0.07 cores=1,3,5,7
/proc/11112/task/11172/stat : 11172 (java) S 11109 11112 6708 0 -1 1077944384 3 12988 0 0 0 0 5 2 20 0 15 0 49341722 11108974592 125374 33554432000 4194304 4196468 140729840748752 139703139427200 139704346519253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7720960 140729840756907 140729840760156 140729840760156 140729840762831 0
[pid=11112/tid=11173] ppid=11109 vsize=10848608 memory=1232 CPUtime=0.07 cores=1,3,5,7
/proc/11112/task/11173/stat : 11173 (java) S 11109 11112 6708 0 -1 1077944384 3 12988 0 0 0 0 5 2 20 0 15 0 49341725 11108974592 125374 33554432000 4194304 4196468 140729840748752 139702899136336 139704346527643 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7720960 140729840756907 140729840760156 140729840760156 140729840762831 0
[pid=11112/tid=11174] ppid=11109 vsize=10848608 memory=11964 CPUtime=5 cores=1,3,5,7
/proc/11112/task/11174/stat : 11174 (java) S 11109 11112 6708 0 -1 1077944384 7839 12988 0 0 491 2 5 2 20 0 15 0 49341725 11108974592 125374 33554432000 4194304 4196468 140729840748752 139703617252208 139704346520194 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7720960 140729840756907 140729840760156 140729840760156 140729840762831 0
[pid=11112/tid=11175] ppid=11109 vsize=10848608 memory=1708 CPUtime=5 cores=1,3,5,7
/proc/11112/task/11175/stat : 11175 (java) S 11109 11112 6708 0 -1 1077944384 7728 12988 0 0 490 3 5 2 20 0 15 0 49341725 11108974592 125374 33554432000 4194304 4196468 140729840748752 139703616199408 139704346520194 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7720960 140729840756907 140729840760156 140729840760156 140729840762831 0
[pid=11112/tid=11176] ppid=11109 vsize=10848608 memory=8388 CPUtime=2.42 cores=1,3,5,7
/proc/11112/task/11176/stat : 11176 (java) S 11109 11112 6708 0 -1 1077944384 7853 12988 0 0 230 5 5 2 20 0 15 0 49341725 11108974592 125374 33554432000 4194304 4196468 140729840748752 139703615146608 139704346520194 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7720960 140729840756907 140729840760156 140729840760156 140729840762831 0
[pid=11112/tid=11177] ppid=11109 vsize=10848608 memory=1012 CPUtime=0.07 cores=1,3,5,7
/proc/11112/task/11177/stat : 11177 (java) S 11109 11112 6708 0 -1 1077944384 3 12988 0 0 0 0 5 2 20 0 15 0 49341725 11108974592 125374 33554432000 4194304 4196468 140729840748752 139702865578720 139704346519253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7720960 140729840756907 140729840760156 140729840760156 140729840762831 0
[pid=11112/tid=11178] ppid=11109 vsize=10848608 memory=1444 CPUtime=0.07 cores=1,3,5,7
/proc/11112/task/11178/stat : 11178 (java) S 11109 11112 6708 0 -1 1077944384 80 12988 0 0 0 0 5 2 20 0 15 0 49341725 11108974592 125374 33554432000 4194304 4196468 140729840748752 139703614094000 139704346520194 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7720960 140729840756907 140729840760156 140729840760156 140729840762831 0
Current children cumulated CPU time: 20.61 s
Current children cumulated vsize: 10848608 KiB
Current children cumulated memory: 501496 KiB

[startup+8.40573 s]
/proc/loadavg: 1.66 1.49 1.41 3/215 11178
/proc/meminfo: memFree=20079524/32770624 swapFree=67108860/67108860
[pid=11112] ppid=11109 vsize=10848608 memory=518464 CPUtime=21.21 cores=1,3,5,7
/proc/11112/stat : 11112 (java) S 11109 11112 6708 0 -1 1077944320 69735 12988 0 0 2078 36 5 2 20 0 15 0 49341710 11108974592 129616 33554432000 4194304 4196468 140729840748752 140729840731296 139704346509047 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 7720960 140729840756907 140729840760156 140729840760156 140729840762831 0
/proc/11112/statm: 2712152 129616 3526 1 0 2673805 0
[pid=11112/tid=11165] ppid=11109 vsize=10848608 memory=33 CPUtime=8.11 cores=1,3,5,7
/proc/11112/task/11165/stat : 11165 (java) R 11109 11112 6708 0 -1 4202560 39116 12988 0 0 794 10 5 2 20 0 15 0 49341719 11108974592 129616 33554432000 4194304 4196468 140729840748752 139704318342744 139703972414944 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 7720960 140729840756907 140729840760156 140729840760156 140729840762831 0
[pid=11112/tid=11166] ppid=11109 vsize=10848608 memory=288230583166042426 CPUtime=0.21 cores=1,3,5,7
/proc/11112/task/11166/stat : 11166 (java) S 11109 11112 6708 0 -1 1077944384 300 12988 0 0 11 3 5 2 20 0 15 0 49341720 11108974592 129616 33554432000 4194304 4196468 140729840748752 139704350751888 139704346519253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7720960 140729840756907 140729840760156 140729840760156 140729840762831 0
[pid=11112/tid=11167] ppid=11109 vsize=10848608 memory=14413717810973266 CPUtime=0.21 cores=1,3,5,7
/proc/11112/task/11167/stat : 11167 (java) S 11109 11112 6708 0 -1 1077944384 242 12988 0 0 11 3 5 2 20 0 15 0 49341720 11108974592 129616 33554432000 4194304 4196468 140729840748752 139703920028688 139704346519253 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7720960 140729840756907 140729840760156 140729840760156 140729840762831 0
[pid=11112/tid=11168] ppid=11109 vsize=10848608 memory=10544 CPUtime=0.2 cores=1,3,5,7
/proc/11112/task/11168/stat : 11168 (java) S 11109 11112 6708 0 -1 1077944384 227 12988 0 0 10 3 5 2 20 0 15 0 49341720 11108974592 129616 33554432000 4194304 4196468 140729840748752 139703918975888 139704346519253 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7720960 140729840756907 140729840760156 140729840760156 140729840762831 0
[pid=11112/tid=11169] ppid=11109 vsize=10848608 memory=16436 CPUtime=0.21 cores=1,3,5,7
/proc/11112/task/11169/stat : 11169 (java) S 11109 11112 6708 0 -1 1077944384 473 12988 0 0 11 3 5 2 20 0 15 0 49341720 11108974592 129616 33554432000 4194304 4196468 140729840748752 139703917923088 139704346519253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7720960 140729840756907 140729840760156 140729840760156 140729840762831 0
[pid=11112/tid=11170] ppid=11109 vsize=10848608 memory=4048 CPUtime=0.13 cores=1,3,5,7
/proc/11112/task/11170/stat : 11170 (java) S 11109 11112 6708 0 -1 1077944384 3559 12988 0 0 6 0 5 2 20 0 15 0 49341721 11108974592 129616 33554432000 4194304 4196468 140729840748752 139703618304368 139704346520194 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7720960 140729840756907 140729840760156 140729840760156 140729840762831 0
[pid=11112/tid=11171] ppid=11109 vsize=10848608 memory=640 CPUtime=0.07 cores=1,3,5,7
/proc/11112/task/11171/stat : 11171 (java) S 11109 11112 6708 0 -1 1077944384 14 12988 0 0 0 0 5 2 20 0 15 0 49341722 11108974592 129616 33554432000 4194304 4196468 140729840748752 139703340754080 139704346519253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7720960 140729840756907 140729840760156 140729840760156 140729840762831 0
[pid=11112/tid=11172] ppid=11109 vsize=10848608 memory=1792 CPUtime=0.07 cores=1,3,5,7
/proc/11112/task/11172/stat : 11172 (java) S 11109 11112 6708 0 -1 1077944384 3 12988 0 0 0 0 5 2 20 0 15 0 49341722 11108974592 129616 33554432000 4194304 4196468 140729840748752 139703139427200 139704346519253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7720960 140729840756907 140729840760156 140729840760156 140729840762831 0
[pid=11112/tid=11173] ppid=11109 vsize=10848608 memory=960 CPUtime=0.07 cores=1,3,5,7
/proc/11112/task/11173/stat : 11173 (java) S 11109 11112 6708 0 -1 1077944384 3 12988 0 0 0 0 5 2 20 0 15 0 49341725 11108974592 129616 33554432000 4194304 4196468 140729840748752 139702899136336 139704346527643 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7720960 140729840756907 140729840760156 140729840760156 140729840762831 0
[pid=11112/tid=11174] ppid=11109 vsize=10848608 memory=1236 CPUtime=5.06 cores=1,3,5,7
/proc/11112/task/11174/stat : 11174 (java) R 11109 11112 6708 0 -1 4202560 7861 12988 0 0 496 3 5 2 20 0 15 0 49341725 11108974592 129616 33554432000 4194304 4196468 140729840748752 139703617252208 139704327919197 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7720960 140729840756907 140729840760156 140729840760156 140729840762831 0
[pid=11112/tid=11175] ppid=11109 vsize=10848608 memory=2340 CPUtime=5.06 cores=1,3,5,7
/proc/11112/task/11175/stat : 11175 (java) R 11109 11112 6708 0 -1 4202560 7740 12988 0 0 496 3 5 2 20 0 15 0 49341725 11108974592 129616 33554432000 4194304 4196468 140729840748752 139703616189328 139704326226183 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7720960 140729840756907 140729840760156 140729840760156 140729840762831 0
[pid=11112/tid=11176] ppid=11109 vsize=10848608 memory=928 CPUtime=2.47 cores=1,3,5,7
/proc/11112/task/11176/stat : 11176 (java) S 11109 11112 6708 0 -1 1077944384 7924 12988 0 0 235 5 5 2 20 0 15 0 49341725 11108974592 129616 33554432000 4194304 4196468 140729840748752 139703615146608 139704346520194 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7720960 140729840756907 140729840760156 140729840760156 140729840762831 0
[pid=11112/tid=11177] ppid=11109 vsize=10848608 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/11112/task/11177/stat : 11177 (java) S 11109 11112 6708 0 -1 1077944384 3 12988 0 0 0 0 5 2 20 0 15 0 49341725 11108974592 129616 33554432000 4194304 4196468 140729840748752 139702865578720 139704346519253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7720960 140729840756907 140729840760156 140729840760156 140729840762831 0
[pid=11112/tid=11178] ppid=11109 vsize=10848608 memory=42116 CPUtime=0.07 cores=1,3,5,7
/proc/11112/task/11178/stat : 11178 (java) S 11109 11112 6708 0 -1 1077944384 80 12988 0 0 0 0 5 2 20 0 15 0 49341725 11108974592 129616 33554432000 4194304 4196468 140729840748752 139703614094000 139704346520194 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7720960 140729840756907 140729840760156 140729840760156 140729840762831 0
Current children cumulated CPU time: 21.21 s
Current children cumulated vsize: 10848608 KiB
Current children cumulated memory: 518464 KiB

[startup+8.80079 s]
/proc/loadavg: 1.66 1.49 1.41 3/215 11178
/proc/meminfo: memFree=20079524/32770624 swapFree=67108860/67108860
[pid=11112] ppid=11109 vsize=10850656 memory=520988 CPUtime=22.32 cores=1,3,5,7
/proc/11112/stat : 11112 (java) S 11109 11112 6708 0 -1 1077944320 74486 12988 0 0 2188 37 5 2 20 0 15 0 49341710 11111071744 130247 33554432000 4194304 4196468 140729840748752 140729840731296 139704346509047 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 7720960 140729840756907 140729840760156 140729840760156 140729840762831 0
/proc/11112/statm: 2712664 130247 3528 1 0 2674317 0
[pid=11112/tid=11165] ppid=11109 vsize=10850656 memory=11838 CPUtime=8.51 cores=1,3,5,7
/proc/11112/task/11165/stat : 11165 (java) R 11109 11112 6708 0 -1 4202560 41378 12988 0 0 833 11 5 2 20 0 15 0 49341719 11111071744 130247 33554432000 4194304 4196468 140729840748752 139704318346328 139703972528842 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7720960 140729840756907 140729840760156 140729840760156 140729840762831 0
[pid=11112/tid=11166] ppid=11109 vsize=10850656 memory=6791534058613427641 CPUtime=0.21 cores=1,3,5,7
/proc/11112/task/11166/stat : 11166 (java) S 11109 11112 6708 0 -1 1077944384 300 12988 0 0 11 3 5 2 20 0 15 0 49341720 11111071744 130247 33554432000 4194304 4196468 140729840748752 139704350751888 139704346519253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7720960 140729840756907 140729840760156 140729840760156 140729840762831 0
[pid=11112/tid=11167] ppid=11109 vsize=10850656 memory=1836 CPUtime=0.21 cores=1,3,5,7
/proc/11112/task/11167/stat : 11167 (java) S 11109 11112 6708 0 -1 1077944384 242 12988 0 0 11 3 5 2 20 0 15 0 49341720 11111071744 130247 33554432000 4194304 4196468 140729840748752 139703920028688 139704346519253 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7720960 140729840756907 140729840760156 140729840760156 140729840762831 0
[pid=11112/tid=11168] ppid=11109 vsize=10850656 memory=792 CPUtime=0.2 cores=1,3,5,7
/proc/11112/task/11168/stat : 11168 (java) S 11109 11112 6708 0 -1 1077944384 227 12988 0 0 10 3 5 2 20 0 15 0 49341720 11111071744 130247 33554432000 4194304 4196468 140729840748752 139703918975888 139704346519253 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7720960 140729840756907 140729840760156 140729840760156 140729840762831 0
[pid=11112/tid=11169] ppid=11109 vsize=10850656 memory=499004 CPUtime=0.21 cores=1,3,5,7
/proc/11112/task/11169/stat : 11169 (java) S 11109 11112 6708 0 -1 1077944384 473 12988 0 0 11 3 5 2 20 0 15 0 49341720 11111071744 130247 33554432000 4194304 4196468 140729840748752 139703917923088 139704346519253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7720960 140729840756907 140729840760156 140729840760156 140729840762831 0
[pid=11112/tid=11170] ppid=11109 vsize=10850656 memory=5380 CPUtime=0.13 cores=1,3,5,7
/proc/11112/task/11170/stat : 11170 (java) S 11109 11112 6708 0 -1 1077944384 3586 12988 0 0 6 0 5 2 20 0 15 0 49341721 11111071744 130247 33554432000 4194304 4196468 140729840748752 139703618304368 139704346520194 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7720960 140729840756907 140729840760156 140729840760156 140729840762831 0
[pid=11112/tid=11171] ppid=11109 vsize=10850656 memory=6791534058613427641 CPUtime=0.07 cores=1,3,5,7
/proc/11112/task/11171/stat : 11171 (java) S 11109 11112 6708 0 -1 1077944384 14 12988 0 0 0 0 5 2 20 0 15 0 49341722 11111071744 130247 33554432000 4194304 4196468 140729840748752 139703340754080 139704346519253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7720960 140729840756907 140729840760156 140729840760156 140729840762831 0
[pid=11112/tid=11172] ppid=11109 vsize=10850656 memory=-8995268955501401465 CPUtime=0.07 cores=1,3,5,7
/proc/11112/task/11172/stat : 11172 (java) S 11109 11112 6708 0 -1 1077944384 3 12988 0 0 0 0 5 2 20 0 15 0 49341722 11111071744 130247 33554432000 4194304 4196468 140729840748752 139703139427200 139704346519253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7720960 140729840756907 140729840760156 140729840760156 140729840762831 0
[pid=11112/tid=11173] ppid=11109 vsize=10850656 memory=5782692679075529345 CPUtime=0.07 cores=1,3,5,7
/proc/11112/task/11173/stat : 11173 (java) S 11109 11112 6708 0 -1 1077944384 3 12988 0 0 0 0 5 2 20 0 15 0 49341725 11111071744 130247 33554432000 4194304 4196468 140729840748752 139702899136336 139704346527643 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7720960 140729840756907 140729840760156 140729840760156 140729840762831 0
[pid=11112/tid=11174] ppid=11109 vsize=10850656 memory=9051283677730746851 CPUtime=5.4 cores=1,3,5,7
/proc/11112/task/11174/stat : 11174 (java) R 11109 11112 6708 0 -1 4202560 8870 12988 0 0 530 3 5 2 20 0 15 0 49341725 11111071744 130247 33554432000 4194304 4196468 140729840748752 139703617252208 139704326697642 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7720960 140729840756907 140729840760156 140729840760156 140729840762831 0
[pid=11112/tid=11175] ppid=11109 vsize=10850656 memory=-2892745056948402235 CPUtime=5.39 cores=1,3,5,7
/proc/11112/task/11175/stat : 11175 (java) S 11109 11112 6708 0 -1 1077944384 8766 12988 0 0 529 3 5 2 20 0 15 0 49341725 11111071744 130247 33554432000 4194304 4196468 140729840748752 139703616199408 139704346520194 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7720960 140729840756907 140729840760156 140729840760156 140729840762831 0
[pid=11112/tid=11176] ppid=11109 vsize=10850656 memory=-7751062316387021378 CPUtime=2.52 cores=1,3,5,7
/proc/11112/task/11176/stat : 11176 (java) S 11109 11112 6708 0 -1 1077944384 8350 12988 0 0 240 5 5 2 20 0 15 0 49341725 11111071744 130247 33554432000 4194304 4196468 140729840748752 139703615146608 139704346520194 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7720960 140729840756907 140729840760156 140729840760156 140729840762831 0
[pid=11112/tid=11177] ppid=11109 vsize=10850656 memory=-3621219715169225006 CPUtime=0.07 cores=1,3,5,7
/proc/11112/task/11177/stat : 11177 (java) S 11109 11112 6708 0 -1 1077944384 3 12988 0 0 0 0 5 2 20 0 15 0 49341725 11111071744 130247 33554432000 4194304 4196468 140729840748752 139702865578720 139704346519253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7720960 140729840756907 140729840760156 140729840760156 140729840762831 0
[pid=11112/tid=11178] ppid=11109 vsize=10850656 memory=8514701219880993441 CPUtime=0.07 cores=1,3,5,7
/proc/11112/task/11178/stat : 11178 (java) S 11109 11112 6708 0 -1 1077944384 82 12988 0 0 0 0 5 2 20 0 15 0 49341725 11111071744 130247 33554432000 4194304 4196468 140729840748752 139703614094000 139704346520194 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7720960 140729840756907 140729840760156 140729840760156 140729840762831 0
Current children cumulated CPU time: 22.32 s
Current children cumulated vsize: 10850656 KiB
Current children cumulated memory: 520988 KiB

Child status: 0
Real time (s): 8.84781
CPU time (s): 22.4253
CPU user time (s): 22.0093
CPU system time (s): 0.416057
CPU usage (%): 253.456
Max. virtual memory (cumulated for all children) (KiB): 10850656
Max. memory (cumulated for all children) (KiB): 520988

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 22.0093
system time used= 0.416057
maximum resident set size= 523216
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 87783
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= 8475
involuntary context switches= 87


# summary of solver processes directly reported to runsolver:
#   pid: 11112
#   total CPU time (s): 22.4253
#   total CPU user time (s): 22.0093
#   total CPU system time (s): 0.416057

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.066886 second user time and 0.128143 second system time

The end
Name	Rlfap/Rlfap-opt/ Rlfap-scen-05-opt_c18.xml
MD5SUM	d1449c913cc5aeed08f9a5dcd27a0601
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	OPT
Best value of the objective obtained on this benchmark	792
Best CPU time to get the best result obtained on this benchmark	1.44759
Satisfiable
(Un)Satisfiability was proved
Number of variables	400
Number of constraints	2598
Number of domains	4
Minimum domain size	6
Maximum domain size	44
Distribution of domain sizes	[{"size":6,"count":2},{"size":22,"count":10},{"size":36,"count":192},{"size":44,"count":196}]
Minimum variable degree	2
Maximum variable degree	60
Distribution of variable degrees	[{"degree":2,"count":4},{"degree":3,"count":2},{"degree":4,"count":16},{"degree":5,"count":10},{"degree":6,"count":37},{"degree":7,"count":16},{"degree":8,"count":41},{"degree":9,"count":14},{"degree":10,"count":40},{"degree":11,"count":20},{"degree":12,"count":14},{"degree":13,"count":13},{"degree":14,"count":21},{"degree":15,"count":8},{"degree":16,"count":16},{"degree":17,"count":12},{"degree":18,"count":18},{"degree":19,"count":9},{"degree":20,"count":14},{"degree":21,"count":13},{"degree":22,"count":6},{"degree":23,"count":10},{"degree":24,"count":4},{"degree":25,"count":11},{"degree":26,"count":4},{"degree":27,"count":2},{"degree":28,"count":2},{"degree":29,"count":3},{"degree":30,"count":2},{"degree":31,"count":3},{"degree":32,"count":3},{"degree":33,"count":1},{"degree":37,"count":1},{"degree":39,"count":2},{"degree":40,"count":2},{"degree":43,"count":1},{"degree":44,"count":1},{"degree":45,"count":2},{"degree":53,"count":1},{"degree":60,"count":1}]
Minimum constraint arity	2
Maximum constraint arity	2
Distribution of constraint arities	[{"arity":2,"count":2598}]
Number of extensional constraints	0
Number of intensional constraints	2598
Distribution of constraint types	[{"type":"intension","count":2598}]
Optimization problem	YES
Type of objective	min MAXIMUM
Trace number 4293561

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data
