2018 XCSP3 competition: sequential solvers tracks competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
Concrete 3.9.2-SuperNG	OPT	792	22.1898	8.49039
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 (1794 MiB free)
  memory of node 1: 16384 MiB (5104 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4304312-1534057461/watcher-4304312-1534057461 -o /tmp/evaluation-result-4304312-1534057461/solver-4304312-1534057461 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node151-1534037719-31472 --watchdog 2580 bin/xcsp-3-concrete -J-Xss64M -randomseed=473989433 -superng HOME/instance-4304312-1534057461.xml 

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

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


[startup+0.100077 s]*
/proc/loadavg: 1.35 1.31 1.38 4/207 2823
/proc/meminfo: memFree=7056532/32770624 swapFree=67108860/67108860
[pid=2766] ppid=2763 vsize=10005480 memory=17172 CPUtime=0.08 cores=1,3,5,7
/proc/2766/stat : 2766 (java) S 2763 2766 30457 0 -1 1077944320 4450 13021 0 0 1 0 5 2 20 0 6 0 223309331 10245611520 4293 33554432000 4194304 4196468 140722314771584 140722314754128 139663788048119 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20803584 140722314779236 140722314782044 140722314782044 140722314784719 0
/proc/2766/statm: 2501370 4293 1934 1 0 2489808 0
[pid=2766/tid=2819] ppid=2763 vsize=10088124 memory=-8171376296011865461 CPUtime=0.08 cores=1,3,5,7
/proc/2766/task/2819/stat : 2819 (java) R 2763 2766 30457 0 -1 4202560 2358 13021 0 0 1 0 5 2 20 0 7 0 223309340 10330238976 4425 33554432000 4194304 4196468 140722314771584 139663759891216 139663772128606 0 4 0 16784584 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20803584 140722314779236 140722314782044 140722314782044 140722314784719 0
[pid=2766/tid=2820] ppid=2763 vsize=10088124 memory=7948963741541478447 CPUtime=0.07 cores=1,3,5,7
/proc/2766/task/2820/stat : 2820 (java) S 2763 2766 30457 0 -1 1077944384 1 13021 0 0 0 0 5 2 20 0 7 0 223309341 10330238976 4425 33554432000 4194304 4196468 140722314771584 139663792290192 139663788058325 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20803584 140722314779236 140722314782044 140722314782044 140722314784719 0
[pid=2766/tid=2821] ppid=2763 vsize=10088124 memory=139724596610688 CPUtime=0.07 cores=1,3,5,7
/proc/2766/task/2821/stat : 2821 (java) S 2763 2766 30457 0 -1 1077944384 1 13021 0 0 0 0 5 2 20 0 7 0 223309341 10330238976 4425 33554432000 4194304 4196468 140722314771584 139663327963408 139663788058325 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20803584 140722314779236 140722314782044 140722314782044 140722314784719 0
[pid=2766/tid=2822] ppid=2763 vsize=10088124 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/2766/task/2822/stat : 2822 (java) S 2763 2766 30457 0 -1 1077944384 1 13021 0 0 0 0 5 2 20 0 7 0 223309341 10330238976 4425 33554432000 4194304 4196468 140722314771584 139663326911120 139663788058325 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20803584 140722314779236 140722314782044 140722314782044 140722314784719 0
[pid=2766/tid=2823] ppid=2763 vsize=10088124 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/2766/task/2823/stat : 2823 (java) S 2763 2766 30457 0 -1 1077944384 2 13021 0 0 0 0 5 2 20 0 7 0 223309341 10330238976 4425 33554432000 4194304 4196468 140722314771584 139663325858320 139663788058325 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20803584 140722314779236 140722314782044 140722314782044 140722314784719 0
[pid=2766/tid=2824] ppid=2763 vsize=10088124 memory=139724596610688 CPUtime=0.07 cores=1,3,5,7
/proc/2766/task/2824/stat : 2824 (java) S 2763 2766 30457 0 -1 1077944384 2 13021 0 0 0 0 5 2 20 0 7 0 223309342 10330238976 4425 33554432000 4194304 4196468 140722314771584 139663281179248 139663788059266 0 0 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20803584 140722314779236 140722314782044 140722314782044 140722314784719 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 10005480 KiB
Current children cumulated memory: 17172 KiB

[startup+0.210201 s]*
/proc/loadavg: 1.35 1.31 1.38 2/216 2832
/proc/meminfo: memFree=7029200/32770624 swapFree=67108860/67108860
[pid=2766] ppid=2763 vsize=10982696 memory=47176 CPUtime=0.25 cores=1,3,5,7
/proc/2766/stat : 2766 (java) S 2763 2766 30457 0 -1 1077944320 8610 13021 0 0 16 2 5 2 20 0 15 0 223309331 11246280704 11794 33554432000 4194304 4196468 140722314771584 140722314754128 139663788048119 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20803584 140722314779236 140722314782044 140722314782044 140722314784719 0
/proc/2766/statm: 2745674 11794 2970 1 0 2708109 0
[pid=2766/tid=2819] ppid=2763 vsize=10982696 memory=8389772277269004345 CPUtime=0.18 cores=1,3,5,7
/proc/2766/task/2819/stat : 2819 (java) R 2763 2766 30457 0 -1 4202560 5144 13021 0 0 10 1 5 2 20 0 15 0 223309340 11246280704 11794 33554432000 4194304 4196468 140722314771584 139663759826224 139663769421898 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20803584 140722314779236 140722314782044 140722314782044 140722314784719 0
[pid=2766/tid=2820] ppid=2763 vsize=10982696 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/2766/task/2820/stat : 2820 (java) S 2763 2766 30457 0 -1 1077944384 1 13021 0 0 0 0 5 2 20 0 15 0 223309341 11246280704 11794 33554432000 4194304 4196468 140722314771584 139663792290192 139663788058325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20803584 140722314779236 140722314782044 140722314782044 140722314784719 0
[pid=2766/tid=2821] ppid=2763 vsize=10982696 memory=139724596637591 CPUtime=0.07 cores=1,3,5,7
/proc/2766/task/2821/stat : 2821 (java) S 2763 2766 30457 0 -1 1077944384 1 13021 0 0 0 0 5 2 20 0 15 0 223309341 11246280704 11794 33554432000 4194304 4196468 140722314771584 139663327963408 139663788058325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20803584 140722314779236 140722314782044 140722314782044 140722314784719 0
[pid=2766/tid=2822] ppid=2763 vsize=10982696 memory=139724596610688 CPUtime=0.07 cores=1,3,5,7
/proc/2766/task/2822/stat : 2822 (java) S 2763 2766 30457 0 -1 1077944384 1 13021 0 0 0 0 5 2 20 0 15 0 223309341 11246280704 11794 33554432000 4194304 4196468 140722314771584 139663326911120 139663788058325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20803584 140722314779236 140722314782044 140722314782044 140722314784719 0
[pid=2766/tid=2823] ppid=2763 vsize=10982696 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/2766/task/2823/stat : 2823 (java) S 2763 2766 30457 0 -1 1077944384 2 13021 0 0 0 0 5 2 20 0 15 0 223309341 11246280704 11794 33554432000 4194304 4196468 140722314771584 139663325858320 139663788058325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20803584 140722314779236 140722314782044 140722314782044 140722314784719 0
[pid=2766/tid=2824] ppid=2763 vsize=10982696 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/2766/task/2824/stat : 2824 (java) S 2763 2766 30457 0 -1 1077944384 2 13021 0 0 0 0 5 2 20 0 15 0 223309342 11246280704 11794 33554432000 4194304 4196468 140722314771584 139663281179248 139663788059266 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20803584 140722314779236 140722314782044 140722314782044 140722314784719 0
[pid=2766/tid=2825] ppid=2763 vsize=10982696 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/2766/task/2825/stat : 2825 (java) S 2763 2766 30457 0 -1 1077944384 13 13021 0 0 0 0 5 2 20 0 15 0 223309343 11246280704 11794 33554432000 4194304 4196468 140722314771584 139662672782624 139663788058325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20803584 140722314779236 140722314782044 140722314782044 140722314784719 0
[pid=2766/tid=2826] ppid=2763 vsize=10982696 memory=139724596610688 CPUtime=0.07 cores=1,3,5,7
/proc/2766/task/2826/stat : 2826 (java) S 2763 2766 30457 0 -1 1077944384 1 13021 0 0 0 0 5 2 20 0 15 0 223309343 11246280704 11794 33554432000 4194304 4196468 140722314771584 139662471456368 139663788058325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20803584 140722314779236 140722314782044 140722314782044 140722314784719 0
[pid=2766/tid=2827] ppid=2763 vsize=10982696 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/2766/task/2827/stat : 2827 (java) S 2763 2766 30457 0 -1 1077944384 3 13021 0 0 0 0 5 2 20 0 15 0 223309346 11246280704 11794 33554432000 4194304 4196468 140722314771584 139662164056656 139663788066715 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20803584 140722314779236 140722314782044 140722314782044 140722314784719 0
[pid=2766/tid=2828] ppid=2763 vsize=10982696 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/2766/task/2828/stat : 2828 (java) S 2763 2766 30457 0 -1 1077944384 547 13021 0 0 1 0 5 2 20 0 15 0 223309346 11246280704 11794 33554432000 4194304 4196468 140722314771584 139663280126064 139663788059266 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20803584 140722314779236 140722314782044 140722314782044 140722314784719 0
[pid=2766/tid=2829] ppid=2763 vsize=10982696 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/2766/task/2829/stat : 2829 (java) S 2763 2766 30457 0 -1 1077944384 66 13021 0 0 1 0 5 2 20 0 15 0 223309346 11246280704 11794 33554432000 4194304 4196468 140722314771584 139663279073264 139663788059266 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20803584 140722314779236 140722314782044 140722314782044 140722314784719 0
[pid=2766/tid=2830] ppid=2763 vsize=10982696 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/2766/task/2830/stat : 2830 (java) S 2763 2766 30457 0 -1 1077944384 632 13021 0 0 3 0 5 2 20 0 15 0 223309346 11246280704 11794 33554432000 4194304 4196468 140722314771584 139663278020976 139663788059266 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20803584 140722314779236 140722314782044 140722314782044 140722314784719 0
[pid=2766/tid=2831] ppid=2763 vsize=10982696 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/2766/task/2831/stat : 2831 (java) S 2763 2766 30457 0 -1 1077944384 3 13021 0 0 0 0 5 2 20 0 15 0 223309346 11246280704 11794 33554432000 4194304 4196468 140722314771584 139661733259744 139663788058325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20803584 140722314779236 140722314782044 140722314782044 140722314784719 0
[pid=2766/tid=2832] ppid=2763 vsize=10982696 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/2766/task/2832/stat : 2832 (java) S 2763 2766 30457 0 -1 1077944384 1 13021 0 0 0 0 5 2 20 0 15 0 223309346 11246280704 11794 33554432000 4194304 4196468 140722314771584 139662753524656 139663788059266 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20803584 140722314779236 140722314782044 140722314782044 140722314784719 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 10982696 KiB
Current children cumulated memory: 47176 KiB

[startup+0.310284 s]*
/proc/loadavg: 1.35 1.31 1.38 3/216 2832
/proc/meminfo: memFree=7021136/32770624 swapFree=67108860/67108860
[pid=2766] ppid=2763 vsize=10983192 memory=58524 CPUtime=0.37 cores=1,3,5,7
/proc/2766/stat : 2766 (java) S 2763 2766 30457 0 -1 1077944320 10633 13021 0 0 27 3 5 2 20 0 15 0 223309331 11246788608 14631 33554432000 4194304 4196468 140722314771584 140722314754128 139663788048119 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20803584 140722314779236 140722314782044 140722314782044 140722314784719 0
/proc/2766/statm: 2745798 14631 3102 1 0 2708109 0
[pid=2766/tid=2819] ppid=2763 vsize=10983192 memory=6935054825532540783 CPUtime=0.28 cores=1,3,5,7
/proc/2766/task/2819/stat : 2819 (java) R 2763 2766 30457 0 -1 4202560 7160 13021 0 0 19 2 5 2 20 0 15 0 223309340 11246788608 14631 33554432000 4194304 4196468 140722314771584 139663759860128 139663788070045 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20803584 140722314779236 140722314782044 140722314782044 140722314784719 0
[pid=2766/tid=2820] ppid=2763 vsize=10983192 memory=4126316290023845779 CPUtime=0.07 cores=1,3,5,7
/proc/2766/task/2820/stat : 2820 (java) S 2763 2766 30457 0 -1 1077944384 1 13021 0 0 0 0 5 2 20 0 15 0 223309341 11246788608 14631 33554432000 4194304 4196468 140722314771584 139663792290192 139663788058325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20803584 140722314779236 140722314782044 140722314782044 140722314784719 0
[pid=2766/tid=2821] ppid=2763 vsize=10983192 memory=7031125463459224206 CPUtime=0.07 cores=1,3,5,7
/proc/2766/task/2821/stat : 2821 (java) S 2763 2766 30457 0 -1 1077944384 1 13021 0 0 0 0 5 2 20 0 15 0 223309341 11246788608 14631 33554432000 4194304 4196468 140722314771584 139663327963408 139663788058325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20803584 140722314779236 140722314782044 140722314782044 140722314784719 0
[pid=2766/tid=2822] ppid=2763 vsize=10983192 memory=8514701219931451533 CPUtime=0.07 cores=1,3,5,7
/proc/2766/task/2822/stat : 2822 (java) S 2763 2766 30457 0 -1 1077944384 1 13021 0 0 0 0 5 2 20 0 15 0 223309341 11246788608 14631 33554432000 4194304 4196468 140722314771584 139663326911120 139663788058325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20803584 140722314779236 140722314782044 140722314782044 140722314784719 0
[pid=2766/tid=2823] ppid=2763 vsize=10983192 memory=1328725297981317182 CPUtime=0.07 cores=1,3,5,7
/proc/2766/task/2823/stat : 2823 (java) S 2763 2766 30457 0 -1 1077944384 2 13021 0 0 0 0 5 2 20 0 15 0 223309341 11246788608 14631 33554432000 4194304 4196468 140722314771584 139663325858320 139663788058325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20803584 140722314779236 140722314782044 140722314782044 140722314784719 0
[pid=2766/tid=2824] ppid=2763 vsize=10983192 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/2766/task/2824/stat : 2824 (java) S 2763 2766 30457 0 -1 1077944384 2 13021 0 0 0 0 5 2 20 0 15 0 223309342 11246788608 14631 33554432000 4194304 4196468 140722314771584 139663281179248 139663788059266 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20803584 140722314779236 140722314782044 140722314782044 140722314784719 0
[pid=2766/tid=2825] ppid=2763 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/2766/task/2825/stat : 2825 (java) S 2763 2766 30457 0 -1 1077944384 13 13021 0 0 0 0 5 2 20 0 15 0 223309343 11246788608 14631 33554432000 4194304 4196468 140722314771584 139662672782624 139663788058325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20803584 140722314779236 140722314782044 140722314782044 140722314784719 0
[pid=2766/tid=2826] ppid=2763 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/2766/task/2826/stat : 2826 (java) S 2763 2766 30457 0 -1 1077944384 1 13021 0 0 0 0 5 2 20 0 15 0 223309343 11246788608 14631 33554432000 4194304 4196468 140722314771584 139662471456368 139663788058325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20803584 140722314779236 140722314782044 140722314782044 140722314784719 0
[pid=2766/tid=2827] ppid=2763 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/2766/task/2827/stat : 2827 (java) S 2763 2766 30457 0 -1 1077944384 3 13021 0 0 0 0 5 2 20 0 15 0 223309346 11246788608 14631 33554432000 4194304 4196468 140722314771584 139662164056656 139663788066715 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20803584 140722314779236 140722314782044 140722314782044 140722314784719 0
[pid=2766/tid=2828] ppid=2763 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/2766/task/2828/stat : 2828 (java) S 2763 2766 30457 0 -1 1077944384 549 13021 0 0 1 0 5 2 20 0 15 0 223309346 11246788608 14631 33554432000 4194304 4196468 140722314771584 139663280126064 139663788059266 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20803584 140722314779236 140722314782044 140722314782044 140722314784719 0
[pid=2766/tid=2829] ppid=2763 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/2766/task/2829/stat : 2829 (java) S 2763 2766 30457 0 -1 1077944384 66 13021 0 0 1 0 5 2 20 0 15 0 223309346 11246788608 14631 33554432000 4194304 4196468 140722314771584 139663279073264 139663788059266 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20803584 140722314779236 140722314782044 140722314782044 140722314784719 0
[pid=2766/tid=2830] ppid=2763 vsize=10983192 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/2766/task/2830/stat : 2830 (java) S 2763 2766 30457 0 -1 1077944384 637 13021 0 0 5 0 5 2 20 0 15 0 223309346 11246788608 14631 33554432000 4194304 4196468 140722314771584 139663278020976 139663788059266 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20803584 140722314779236 140722314782044 140722314782044 140722314784719 0
[pid=2766/tid=2831] ppid=2763 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/2766/task/2831/stat : 2831 (java) S 2763 2766 30457 0 -1 1077944384 3 13021 0 0 0 0 5 2 20 0 15 0 223309346 11246788608 14631 33554432000 4194304 4196468 140722314771584 139661733259744 139663788058325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20803584 140722314779236 140722314782044 140722314782044 140722314784719 0
[pid=2766/tid=2832] ppid=2763 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/2766/task/2832/stat : 2832 (java) S 2763 2766 30457 0 -1 1077944384 1 13021 0 0 0 0 5 2 20 0 15 0 223309346 11246788608 14631 33554432000 4194304 4196468 140722314771584 139662753524656 139663788059266 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20803584 140722314779236 140722314782044 140722314782044 140722314784719 0
Current children cumulated CPU time: 0.37 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 58524 KiB

[startup+0.700685 s]
/proc/loadavg: 1.35 1.31 1.38 3/216 2832
/proc/meminfo: memFree=7009568/32770624 swapFree=67108860/67108860
[pid=2766] ppid=2763 vsize=10983192 memory=90876 CPUtime=0.98 cores=1,3,5,7
/proc/2766/stat : 2766 (java) S 2763 2766 30457 0 -1 1077944320 16813 13021 0 0 86 5 5 2 20 0 15 0 223309331 11246788608 22719 33554432000 4194304 4196468 140722314771584 140722314754128 139663788048119 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20803584 140722314779236 140722314782044 140722314782044 140722314784719 0
/proc/2766/statm: 2745798 22719 3237 1 0 2708109 0
[pid=2766/tid=2819] ppid=2763 vsize=10983192 memory=0 CPUtime=0.66 cores=1,3,5,7
/proc/2766/task/2819/stat : 2819 (java) R 2763 2766 30457 0 -1 4202560 12465 13021 0 0 55 4 5 2 20 0 15 0 223309340 11246788608 22719 33554432000 4194304 4196468 140722314771584 139663759868944 139663769613089 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20803584 140722314779236 140722314782044 140722314782044 140722314784719 0
[pid=2766/tid=2820] ppid=2763 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/2766/task/2820/stat : 2820 (java) S 2763 2766 30457 0 -1 1077944384 1 13021 0 0 0 0 5 2 20 0 15 0 223309341 11246788608 22719 33554432000 4194304 4196468 140722314771584 139663792290192 139663788058325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20803584 140722314779236 140722314782044 140722314782044 140722314784719 0
[pid=2766/tid=2821] ppid=2763 vsize=10983192 memory=139724480095472 CPUtime=0.07 cores=1,3,5,7
/proc/2766/task/2821/stat : 2821 (java) S 2763 2766 30457 0 -1 1077944384 1 13021 0 0 0 0 5 2 20 0 15 0 223309341 11246788608 22719 33554432000 4194304 4196468 140722314771584 139663327963408 139663788058325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20803584 140722314779236 140722314782044 140722314782044 140722314784719 0
[pid=2766/tid=2822] ppid=2763 vsize=10983192 memory=139728171041346 CPUtime=0.07 cores=1,3,5,7
/proc/2766/task/2822/stat : 2822 (java) S 2763 2766 30457 0 -1 1077944384 1 13021 0 0 0 0 5 2 20 0 15 0 223309341 11246788608 22719 33554432000 4194304 4196468 140722314771584 139663326911120 139663788058325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20803584 140722314779236 140722314782044 140722314782044 140722314784719 0
[pid=2766/tid=2823] ppid=2763 vsize=10983192 memory=1224 CPUtime=0.07 cores=1,3,5,7
/proc/2766/task/2823/stat : 2823 (java) S 2763 2766 30457 0 -1 1077944384 2 13021 0 0 0 0 5 2 20 0 15 0 223309341 11246788608 22719 33554432000 4194304 4196468 140722314771584 139663325858320 139663788058325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20803584 140722314779236 140722314782044 140722314782044 140722314784719 0
[pid=2766/tid=2824] ppid=2763 vsize=10983192 memory=6296683625556824416 CPUtime=0.07 cores=1,3,5,7
/proc/2766/task/2824/stat : 2824 (java) S 2763 2766 30457 0 -1 1077944384 5 13021 0 0 0 0 5 2 20 0 15 0 223309342 11246788608 22719 33554432000 4194304 4196468 140722314771584 139663281179248 139663788059266 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20803584 140722314779236 140722314782044 140722314782044 140722314784719 0
[pid=2766/tid=2825] ppid=2763 vsize=10983192 memory=8099279071866868842 CPUtime=0.07 cores=1,3,5,7
/proc/2766/task/2825/stat : 2825 (java) S 2763 2766 30457 0 -1 1077944384 13 13021 0 0 0 0 5 2 20 0 15 0 223309343 11246788608 22719 33554432000 4194304 4196468 140722314771584 139662672782624 139663788058325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20803584 140722314779236 140722314782044 140722314782044 140722314784719 0
[pid=2766/tid=2826] ppid=2763 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/2766/task/2826/stat : 2826 (java) S 2763 2766 30457 0 -1 1077944384 1 13021 0 0 0 0 5 2 20 0 15 0 223309343 11246788608 22719 33554432000 4194304 4196468 140722314771584 139662471456368 139663788058325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20803584 140722314779236 140722314782044 140722314782044 140722314784719 0
[pid=2766/tid=2827] ppid=2763 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/2766/task/2827/stat : 2827 (java) S 2763 2766 30457 0 -1 1077944384 3 13021 0 0 0 0 5 2 20 0 15 0 223309346 11246788608 22719 33554432000 4194304 4196468 140722314771584 139662164056656 139663788066715 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20803584 140722314779236 140722314782044 140722314782044 140722314784719 0
[pid=2766/tid=2828] ppid=2763 vsize=10983192 memory=0 CPUtime=0.16 cores=1,3,5,7
/proc/2766/task/2828/stat : 2828 (java) S 2763 2766 30457 0 -1 1077944384 1108 13021 0 0 9 0 5 2 20 0 15 0 223309346 11246788608 22719 33554432000 4194304 4196468 140722314771584 139663280126064 139663788059266 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20803584 140722314779236 140722314782044 140722314782044 140722314784719 0
[pid=2766/tid=2829] ppid=2763 vsize=10983192 memory=25 CPUtime=0.14 cores=1,3,5,7
/proc/2766/task/2829/stat : 2829 (java) S 2763 2766 30457 0 -1 1077944384 341 13021 0 0 7 0 5 2 20 0 15 0 223309346 11246788608 22719 33554432000 4194304 4196468 140722314771584 139663279073264 139663788059266 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20803584 140722314779236 140722314782044 140722314782044 140722314784719 0
[pid=2766/tid=2830] ppid=2763 vsize=10983192 memory=0 CPUtime=0.19 cores=1,3,5,7
/proc/2766/task/2830/stat : 2830 (java) S 2763 2766 30457 0 -1 1077944384 675 13021 0 0 12 0 5 2 20 0 15 0 223309346 11246788608 22719 33554432000 4194304 4196468 140722314771584 139663278020976 139663788059266 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20803584 140722314779236 140722314782044 140722314782044 140722314784719 0
[pid=2766/tid=2831] ppid=2763 vsize=10983192 memory=30 CPUtime=0.07 cores=1,3,5,7
/proc/2766/task/2831/stat : 2831 (java) S 2763 2766 30457 0 -1 1077944384 3 13021 0 0 0 0 5 2 20 0 15 0 223309346 11246788608 22719 33554432000 4194304 4196468 140722314771584 139661733259744 139663788058325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20803584 140722314779236 140722314782044 140722314782044 140722314784719 0
[pid=2766/tid=2832] ppid=2763 vsize=10983192 memory=4 CPUtime=0.07 cores=1,3,5,7
/proc/2766/task/2832/stat : 2832 (java) S 2763 2766 30457 0 -1 1077944384 1 13021 0 0 0 0 5 2 20 0 15 0 223309346 11246788608 22719 33554432000 4194304 4196468 140722314771584 139662753524656 139663788059266 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20803584 140722314779236 140722314782044 140722314782044 140722314784719 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 90876 KiB

[startup+1.5036 s]
/proc/loadavg: 1.35 1.31 1.38 3/216 2832
/proc/meminfo: memFree=6963112/32770624 swapFree=67108860/67108860
[pid=2766] ppid=2763 vsize=10996044 memory=183240 CPUtime=2.83 cores=1,3,5,7
/proc/2766/stat : 2766 (java) S 2763 2766 30457 0 -1 1077944320 24907 13021 0 0 266 10 5 2 20 0 15 0 223309331 11259949056 45810 33554432000 4194304 4196468 140722314771584 140722314754128 139663788048119 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20803584 140722314779236 140722314782044 140722314782044 140722314784719 0
/proc/2766/statm: 2749011 45810 3453 1 0 2710669 0
[pid=2766/tid=2819] ppid=2763 vsize=10996044 memory=6944656592455097440 CPUtime=1.45 cores=1,3,5,7
/proc/2766/task/2819/stat : 2819 (java) S 2763 2766 30457 0 -1 1077944384 17136 13021 0 0 131 7 5 2 20 0 15 0 223309340 11259949056 45810 33554432000 4194304 4196468 140722314771584 139663759854128 139663788058325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20803584 140722314779236 140722314782044 140722314782044 140722314784719 0
[pid=2766/tid=2820] ppid=2763 vsize=10996044 memory=-3258418265892434876 CPUtime=0.07 cores=1,3,5,7
/proc/2766/task/2820/stat : 2820 (java) R 2763 2766 30457 0 -1 4202560 45 13021 0 0 0 0 5 2 20 0 15 0 223309341 11259949056 45810 33554432000 4194304 4196468 140722314771584 139663792290192 139663772745753 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20803584 140722314779236 140722314782044 140722314782044 140722314784719 0
[pid=2766/tid=2821] ppid=2763 vsize=10996044 memory=8292088564187963537 CPUtime=0.07 cores=1,3,5,7
/proc/2766/task/2821/stat : 2821 (java) R 2763 2766 30457 0 -1 4202560 8 13021 0 0 0 0 5 2 20 0 15 0 223309341 11259949056 45810 33554432000 4194304 4196468 140722314771584 139663327963408 139663772745753 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20803584 140722314779236 140722314782044 140722314782044 140722314784719 0
[pid=2766/tid=2822] ppid=2763 vsize=10996044 memory=-7522837583129502606 CPUtime=0.07 cores=1,3,5,7
/proc/2766/task/2822/stat : 2822 (java) R 2763 2766 30457 0 -1 4202560 11 13021 0 0 0 0 5 2 20 0 15 0 223309341 11259949056 45810 33554432000 4194304 4196468 140722314771584 139663326911120 139663772745753 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20803584 140722314779236 140722314782044 140722314782044 140722314784719 0
[pid=2766/tid=2823] ppid=2763 vsize=10996044 memory=-7533522213388100735 CPUtime=0.07 cores=1,3,5,7
/proc/2766/task/2823/stat : 2823 (java) R 2763 2766 30457 0 -1 1077944384 161 13021 0 0 0 0 5 2 20 0 15 0 223309341 11259949056 45810 33554432000 4194304 4196468 140722314771584 139663325858320 139663788058325 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20803584 140722314779236 140722314782044 140722314782044 140722314784719 0
[pid=2766/tid=2824] ppid=2763 vsize=10996044 memory=7595982047901279315 CPUtime=0.07 cores=1,3,5,7
/proc/2766/task/2824/stat : 2824 (java) S 2763 2766 30457 0 -1 1077944384 30 13021 0 0 0 0 5 2 20 0 15 0 223309342 11259949056 45810 33554432000 4194304 4196468 140722314771584 139663281177536 139663788058325 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20803584 140722314779236 140722314782044 140722314782044 140722314784719 0
[pid=2766/tid=2825] ppid=2763 vsize=10996044 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/2766/task/2825/stat : 2825 (java) S 2763 2766 30457 0 -1 1077944384 13 13021 0 0 0 0 5 2 20 0 15 0 223309343 11259949056 45810 33554432000 4194304 4196468 140722314771584 139662672782624 139663788058325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20803584 140722314779236 140722314782044 140722314782044 140722314784719 0
[pid=2766/tid=2826] ppid=2763 vsize=10996044 memory=1399111604655069571 CPUtime=0.07 cores=1,3,5,7
/proc/2766/task/2826/stat : 2826 (java) S 2763 2766 30457 0 -1 1077944384 1 13021 0 0 0 0 5 2 20 0 15 0 223309343 11259949056 45810 33554432000 4194304 4196468 140722314771584 139662471456368 139663788058325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20803584 140722314779236 140722314782044 140722314782044 140722314784719 0
[pid=2766/tid=2827] ppid=2763 vsize=10996044 memory=-7533228491584937888 CPUtime=0.07 cores=1,3,5,7
/proc/2766/task/2827/stat : 2827 (java) S 2763 2766 30457 0 -1 1077944384 3 13021 0 0 0 0 5 2 20 0 15 0 223309346 11259949056 45810 33554432000 4194304 4196468 140722314771584 139662164056656 139663788066715 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20803584 140722314779236 140722314782044 140722314782044 140722314784719 0
[pid=2766/tid=2828] ppid=2763 vsize=10996044 memory=-9001733975035308135 CPUtime=0.56 cores=1,3,5,7
/proc/2766/task/2828/stat : 2828 (java) S 2763 2766 30457 0 -1 1077944384 2611 13021 0 0 49 0 5 2 20 0 15 0 223309346 11259949056 45810 33554432000 4194304 4196468 140722314771584 139663280126064 139663788059266 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20803584 140722314779236 140722314782044 140722314782044 140722314784719 0
[pid=2766/tid=2829] ppid=2763 vsize=10996044 memory=0 CPUtime=0.47 cores=1,3,5,7
/proc/2766/task/2829/stat : 2829 (java) S 2763 2766 30457 0 -1 1077944384 1076 13021 0 0 40 0 5 2 20 0 15 0 223309346 11259949056 46322 33554432000 4194304 4196468 140722314771584 139663279073264 139663788059266 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20803584 140722314779236 140722314782044 140722314782044 140722314784719 0
[pid=2766/tid=2830] ppid=2763 vsize=10996044 memory=0 CPUtime=0.5 cores=1,3,5,7
/proc/2766/task/2830/stat : 2830 (java) S 2763 2766 30457 0 -1 1077944384 1615 13021 0 0 43 0 5 2 20 0 15 0 223309346 11259949056 46322 33554432000 4194304 4196468 140722314771584 139663278020976 139663788059266 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20803584 140722314779236 140722314782044 140722314782044 140722314784719 0
[pid=2766/tid=2831] ppid=2763 vsize=10996044 memory=13275743914299 CPUtime=0.07 cores=1,3,5,7
/proc/2766/task/2831/stat : 2831 (java) S 2763 2766 30457 0 -1 1077944384 3 13021 0 0 0 0 5 2 20 0 15 0 223309346 11259949056 46322 33554432000 4194304 4196468 140722314771584 139661733259744 139663788058325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20803584 140722314779236 140722314782044 140722314782044 140722314784719 0
[pid=2766/tid=2832] ppid=2763 vsize=10996044 memory=4137282578176515228 CPUtime=0.07 cores=1,3,5,7
/proc/2766/task/2832/stat : 2832 (java) R 2763 2766 30457 0 -1 1077944384 1 13021 0 0 0 0 5 2 20 0 15 0 223309346 11259949056 46322 33554432000 4194304 4196468 140722314771584 139662753524656 139663788059266 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 20803584 140722314779236 140722314782044 140722314782044 140722314784719 0

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

[startup+8.49034 s]
# the end of solver process 2766 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=21.782 s, system=0.407786 s

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

[startup+6.4017 s]
/proc/loadavg: 1.56 1.35 1.40 5/216 2960
/proc/meminfo: memFree=7115292/32770624 swapFree=67108860/67108860
[pid=2766] ppid=2763 vsize=11010400 memory=398316 CPUtime=16.72 cores=1,3,5,7
/proc/2766/stat : 2766 (java) S 2763 2766 30457 0 -1 1077944320 56306 13021 0 0 1637 28 5 2 20 0 15 0 223309331 11274649600 99579 33554432000 4194304 4196468 140722314771584 140722314754128 139663788048119 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20803584 140722314779236 140722314782044 140722314782044 140722314784719 0
/proc/2766/statm: 2752600 99579 3522 1 0 2714253 0
[pid=2766/tid=2819] ppid=2763 vsize=11010400 memory=1004 CPUtime=6.14 cores=1,3,5,7
/proc/2766/task/2819/stat : 2819 (java) R 2763 2766 30457 0 -1 4202560 30055 13021 0 0 594 13 5 2 20 0 15 0 223309340 11274649600 99579 33554432000 4194304 4196468 140722314771584 139663759879392 139663788060054 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20803584 140722314779236 140722314782044 140722314782044 140722314784719 0
[pid=2766/tid=2820] ppid=2763 vsize=11010400 memory=279448960106736 CPUtime=0.17 cores=1,3,5,7
/proc/2766/task/2820/stat : 2820 (java) S 2763 2766 30457 0 -1 1077944384 132 13021 0 0 9 1 5 2 20 0 15 0 223309341 11274649600 99579 33554432000 4194304 4196468 140722314771584 139663792290192 139663788058325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20803584 140722314779236 140722314782044 140722314782044 140722314784719 0
[pid=2766/tid=2821] ppid=2763 vsize=11010400 memory=2244 CPUtime=0.16 cores=1,3,5,7
/proc/2766/task/2821/stat : 2821 (java) S 2763 2766 30457 0 -1 1077944384 83 13021 0 0 8 1 5 2 20 0 15 0 223309341 11274649600 99579 33554432000 4194304 4196468 140722314771584 139663327963408 139663788058325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20803584 140722314779236 140722314782044 140722314782044 140722314784719 0
[pid=2766/tid=2822] ppid=2763 vsize=11010400 memory=-3535470213243961690 CPUtime=0.18 cores=1,3,5,7
/proc/2766/task/2822/stat : 2822 (java) S 2763 2766 30457 0 -1 1077944384 91 13021 0 0 9 2 5 2 20 0 15 0 223309341 11274649600 99579 33554432000 4194304 4196468 140722314771584 139663326911120 139663788058325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20803584 140722314779236 140722314782044 140722314782044 140722314784719 0
[pid=2766/tid=2823] ppid=2763 vsize=11010400 memory=6944652177228980320 CPUtime=0.19 cores=1,3,5,7
/proc/2766/task/2823/stat : 2823 (java) S 2763 2766 30457 0 -1 1077944384 321 13021 0 0 10 2 5 2 20 0 15 0 223309341 11274649600 99579 33554432000 4194304 4196468 140722314771584 139663325858320 139663788058325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20803584 140722314779236 140722314782044 140722314782044 140722314784719 0
[pid=2766/tid=2824] ppid=2763 vsize=11010400 memory=6944656575208382560 CPUtime=0.12 cores=1,3,5,7
/proc/2766/task/2824/stat : 2824 (java) S 2763 2766 30457 0 -1 1077944384 3390 13021 0 0 5 0 5 2 20 0 15 0 223309342 11274649600 99579 33554432000 4194304 4196468 140722314771584 139663281179248 139663788059266 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20803584 140722314779236 140722314782044 140722314782044 140722314784719 0
[pid=2766/tid=2825] ppid=2763 vsize=11010400 memory=6944656592455359580 CPUtime=0.07 cores=1,3,5,7
/proc/2766/task/2825/stat : 2825 (java) S 2763 2766 30457 0 -1 1077944384 16 13021 0 0 0 0 5 2 20 0 15 0 223309343 11274649600 99579 33554432000 4194304 4196468 140722314771584 139662672782688 139663788058325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20803584 140722314779236 140722314782044 140722314782044 140722314784719 0
[pid=2766/tid=2826] ppid=2763 vsize=11010400 memory=279448960356192 CPUtime=0.07 cores=1,3,5,7
/proc/2766/task/2826/stat : 2826 (java) S 2763 2766 30457 0 -1 1077944384 3 13021 0 0 0 0 5 2 20 0 15 0 223309343 11274649600 99579 33554432000 4194304 4196468 140722314771584 139662471456384 139663788058325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20803584 140722314779236 140722314782044 140722314782044 140722314784719 0
[pid=2766/tid=2827] ppid=2763 vsize=11010400 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/2766/task/2827/stat : 2827 (java) S 2763 2766 30457 0 -1 1077944384 3 13021 0 0 0 0 5 2 20 0 15 0 223309346 11274649600 99579 33554432000 4194304 4196468 140722314771584 139662164056656 139663788066715 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20803584 140722314779236 140722314782044 140722314782044 140722314784719 0
[pid=2766/tid=2828] ppid=2763 vsize=11010400 memory=279448960351984 CPUtime=4.24 cores=1,3,5,7
/proc/2766/task/2828/stat : 2828 (java) R 2763 2766 30457 0 -1 4202560 8284 13021 0 0 416 1 5 2 20 0 15 0 223309346 11274649600 99579 33554432000 4194304 4196468 140722314771584 139663280126064 139663772928576 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20803584 140722314779236 140722314782044 140722314782044 140722314784719 0
[pid=2766/tid=2829] ppid=2763 vsize=11010400 memory=1933339264769 CPUtime=3.94 cores=1,3,5,7
/proc/2766/task/2829/stat : 2829 (java) R 2763 2766 30457 0 -1 4202560 5419 13021 0 0 387 0 5 2 20 0 15 0 223309346 11274649600 99579 33554432000 4194304 4196468 140722314771584 139663279073264 139663772945744 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20803584 140722314779236 140722314782044 140722314782044 140722314784719 0
[pid=2766/tid=2830] ppid=2763 vsize=11010400 memory=2362835994369 CPUtime=2.02 cores=1,3,5,7
/proc/2766/task/2830/stat : 2830 (java) S 2763 2766 30457 0 -1 1077944384 6255 13021 0 0 193 2 5 2 20 0 15 0 223309346 11274649600 99579 33554432000 4194304 4196468 140722314771584 139663278020976 139663788059266 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20803584 140722314779236 140722314782044 140722314782044 140722314784719 0
[pid=2766/tid=2831] ppid=2763 vsize=11010400 memory=2453030307585 CPUtime=0.07 cores=1,3,5,7
/proc/2766/task/2831/stat : 2831 (java) S 2763 2766 30457 0 -1 1077944384 3 13021 0 0 0 0 5 2 20 0 15 0 223309346 11274649600 99579 33554432000 4194304 4196468 140722314771584 139661733259744 139663788058325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20803584 140722314779236 140722314782044 140722314782044 140722314784719 0
[pid=2766/tid=2832] ppid=2763 vsize=11010400 memory=2465915209473 CPUtime=0.07 cores=1,3,5,7
/proc/2766/task/2832/stat : 2832 (java) S 2763 2766 30457 0 -1 1077944384 58 13021 0 0 0 0 5 2 20 0 15 0 223309346 11274649600 99579 33554432000 4194304 4196468 140722314771584 139662753524656 139663788059266 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20803584 140722314779236 140722314782044 140722314782044 140722314784719 0
Current children cumulated CPU time: 16.72 s
Current children cumulated vsize: 11010400 KiB
Current children cumulated memory: 398316 KiB

[startup+7.20069 s]
/proc/loadavg: 1.56 1.35 1.40 9/216 2960
/proc/meminfo: memFree=7066820/32770624 swapFree=67108860/67108860
[pid=2766] ppid=2763 vsize=11012448 memory=433944 CPUtime=19.08 cores=1,3,5,7
/proc/2766/stat : 2766 (java) S 2763 2766 30457 0 -1 1077944320 66049 13021 0 0 1871 30 5 2 20 0 15 0 223309331 11276746752 108486 33554432000 4194304 4196468 140722314771584 140722314754128 139663788048119 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20803584 140722314779236 140722314782044 140722314782044 140722314784719 0
/proc/2766/statm: 2753112 108486 3527 1 0 2714765 0
[pid=2766/tid=2819] ppid=2763 vsize=11012448 memory=2500274947841 CPUtime=6.94 cores=1,3,5,7
/proc/2766/task/2819/stat : 2819 (java) R 2763 2766 30457 0 -1 4202560 37898 13021 0 0 673 14 5 2 20 0 15 0 223309340 11276746752 108486 33554432000 4194304 4196468 140722314771584 139663759879952 139663772102171 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20803584 140722314779236 140722314782044 140722314782044 140722314784719 0
[pid=2766/tid=2820] ppid=2763 vsize=11012448 memory=2504569915137 CPUtime=0.17 cores=1,3,5,7
/proc/2766/task/2820/stat : 2820 (java) S 2763 2766 30457 0 -1 1077944384 132 13021 0 0 9 1 5 2 20 0 15 0 223309341 11276746752 108486 33554432000 4194304 4196468 140722314771584 139663792290192 139663788058325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20803584 140722314779236 140722314782044 140722314782044 140722314784719 0
[pid=2766/tid=2821] ppid=2763 vsize=11012448 memory=2513159849473 CPUtime=0.16 cores=1,3,5,7
/proc/2766/task/2821/stat : 2821 (java) S 2763 2766 30457 0 -1 1077944384 83 13021 0 0 8 1 5 2 20 0 15 0 223309341 11276746752 108486 33554432000 4194304 4196468 140722314771584 139663327963408 139663788058325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20803584 140722314779236 140722314782044 140722314782044 140722314784719 0
[pid=2766/tid=2822] ppid=2763 vsize=11012448 memory=2543224620545 CPUtime=0.18 cores=1,3,5,7
/proc/2766/task/2822/stat : 2822 (java) S 2763 2766 30457 0 -1 1077944384 91 13021 0 0 9 2 5 2 20 0 15 0 223309341 11276746752 108486 33554432000 4194304 4196468 140722314771584 139663326911120 139663788058325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20803584 140722314779236 140722314782044 140722314782044 140722314784719 0
[pid=2766/tid=2823] ppid=2763 vsize=11012448 memory=2547519587841 CPUtime=0.19 cores=1,3,5,7
/proc/2766/task/2823/stat : 2823 (java) S 2763 2766 30457 0 -1 1077944384 321 13021 0 0 10 2 5 2 20 0 15 0 223309341 11276746752 108486 33554432000 4194304 4196468 140722314771584 139663325858320 139663788058325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20803584 140722314779236 140722314782044 140722314782044 140722314784719 0
[pid=2766/tid=2824] ppid=2763 vsize=11012448 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/2766/task/2824/stat : 2824 (java) S 2763 2766 30457 0 -1 1077944384 3390 13021 0 0 5 0 5 2 20 0 15 0 223309342 11276746752 108486 33554432000 4194304 4196468 140722314771584 139663281179248 139663788059266 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20803584 140722314779236 140722314782044 140722314782044 140722314784719 0
[pid=2766/tid=2825] ppid=2763 vsize=11012448 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/2766/task/2825/stat : 2825 (java) S 2763 2766 30457 0 -1 1077944384 16 13021 0 0 0 0 5 2 20 0 15 0 223309343 11276746752 108486 33554432000 4194304 4196468 140722314771584 139662672782688 139663788058325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20803584 140722314779236 140722314782044 140722314782044 140722314784719 0
[pid=2766/tid=2826] ppid=2763 vsize=11012448 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/2766/task/2826/stat : 2826 (java) S 2763 2766 30457 0 -1 1077944384 3 13021 0 0 0 0 5 2 20 0 15 0 223309343 11276746752 108486 33554432000 4194304 4196468 140722314771584 139662471456384 139663788058325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20803584 140722314779236 140722314782044 140722314782044 140722314784719 0
[pid=2766/tid=2827] ppid=2763 vsize=11012448 memory=437 CPUtime=0.07 cores=1,3,5,7
/proc/2766/task/2827/stat : 2827 (java) S 2763 2766 30457 0 -1 1077944384 3 13021 0 0 0 0 5 2 20 0 15 0 223309346 11276746752 108486 33554432000 4194304 4196468 140722314771584 139662164056656 139663788066715 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20803584 140722314779236 140722314782044 140722314782044 140722314784719 0
[pid=2766/tid=2828] ppid=2763 vsize=11012448 memory=408 CPUtime=4.86 cores=1,3,5,7
/proc/2766/task/2828/stat : 2828 (java) R 2763 2766 30457 0 -1 4202560 8670 13021 0 0 477 2 5 2 20 0 15 0 223309346 11276746752 108486 33554432000 4194304 4196468 140722314771584 139663280113264 139663769592386 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20803584 140722314779236 140722314782044 140722314782044 140722314784719 0
[pid=2766/tid=2829] ppid=2763 vsize=11012448 memory=205 CPUtime=4.58 cores=1,3,5,7
/proc/2766/task/2829/stat : 2829 (java) R 2763 2766 30457 0 -1 4202560 6408 13021 0 0 450 1 5 2 20 0 15 0 223309346 11276746752 108486 33554432000 4194304 4196468 140722314771584 139663279062256 139663766463706 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20803584 140722314779236 140722314782044 140722314782044 140722314784719 0
[pid=2766/tid=2830] ppid=2763 vsize=11012448 memory=0 CPUtime=2.35 cores=1,3,5,7
/proc/2766/task/2830/stat : 2830 (java) S 2763 2766 30457 0 -1 1077944384 6780 13021 0 0 225 3 5 2 20 0 15 0 223309346 11276746752 108486 33554432000 4194304 4196468 140722314771584 139663278020976 139663788059266 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20803584 140722314779236 140722314782044 140722314782044 140722314784719 0
[pid=2766/tid=2831] ppid=2763 vsize=11012448 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/2766/task/2831/stat : 2831 (java) S 2763 2766 30457 0 -1 1077944384 3 13021 0 0 0 0 5 2 20 0 15 0 223309346 11276746752 108486 33554432000 4194304 4196468 140722314771584 139661733259744 139663788058325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20803584 140722314779236 140722314782044 140722314782044 140722314784719 0
[pid=2766/tid=2832] ppid=2763 vsize=11012448 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/2766/task/2832/stat : 2832 (java) S 2763 2766 30457 0 -1 1077944384 58 13021 0 0 0 0 5 2 20 0 15 0 223309346 11276746752 108486 33554432000 4194304 4196468 140722314771584 139662753524656 139663788059266 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20803584 140722314779236 140722314782044 140722314782044 140722314784719 0
Current children cumulated CPU time: 19.08 s
Current children cumulated vsize: 11012448 KiB
Current children cumulated memory: 433944 KiB

[startup+8.00602 s]*
/proc/loadavg: 1.56 1.35 1.40 6/216 2960
/proc/meminfo: memFree=6914232/32770624 swapFree=67108860/67108860
[pid=2766] ppid=2763 vsize=11014496 memory=527696 CPUtime=20.77 cores=1,3,5,7
/proc/2766/stat : 2766 (java) S 2763 2766 30457 0 -1 1077944320 66642 13021 0 0 2036 34 5 2 20 0 15 0 223309331 11278843904 131924 33554432000 4194304 4196468 140722314771584 140722314754128 139663788048119 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20803584 140722314779236 140722314782044 140722314782044 140722314784719 0
/proc/2766/statm: 2753624 131924 3527 1 0 2715277 0
[pid=2766/tid=2819] ppid=2763 vsize=11014496 memory=6935054825532540783 CPUtime=7.72 cores=1,3,5,7
/proc/2766/task/2819/stat : 2819 (java) R 2763 2766 30457 0 -1 4202560 38120 13021 0 0 750 15 5 2 20 0 15 0 223309340 11278843904 131924 33554432000 4194304 4196468 140722314771584 139663759875744 139663773286257 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20803584 140722314779236 140722314782044 140722314782044 140722314784719 0
[pid=2766/tid=2820] ppid=2763 vsize=11014496 memory=4126316290023845779 CPUtime=0.2 cores=1,3,5,7
/proc/2766/task/2820/stat : 2820 (java) S 2763 2766 30457 0 -1 1077944384 161 13021 0 0 10 3 5 2 20 0 15 0 223309341 11278843904 131924 33554432000 4194304 4196468 140722314771584 139663792290192 139663788058325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20803584 140722314779236 140722314782044 140722314782044 140722314784719 0
[pid=2766/tid=2821] ppid=2763 vsize=11014496 memory=2596 CPUtime=0.19 cores=1,3,5,7
/proc/2766/task/2821/stat : 2821 (java) S 2763 2766 30457 0 -1 1077944384 104 13021 0 0 10 2 5 2 20 0 15 0 223309341 11278843904 131924 33554432000 4194304 4196468 140722314771584 139663327963408 139663788058325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20803584 140722314779236 140722314782044 140722314782044 140722314784719 0
[pid=2766/tid=2822] ppid=2763 vsize=11014496 memory=6935054825532540783 CPUtime=0.2 cores=1,3,5,7
/proc/2766/task/2822/stat : 2822 (java) S 2763 2766 30457 0 -1 1077944384 106 13021 0 0 10 3 5 2 20 0 15 0 223309341 11278843904 131924 33554432000 4194304 4196468 140722314771584 139663326911120 139663788058325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20803584 140722314779236 140722314782044 140722314782044 140722314784719 0
[pid=2766/tid=2823] ppid=2763 vsize=11014496 memory=4126316290023845779 CPUtime=0.21 cores=1,3,5,7
/proc/2766/task/2823/stat : 2823 (java) S 2763 2766 30457 0 -1 1077944384 351 13021 0 0 11 3 5 2 20 0 15 0 223309341 11278843904 131924 33554432000 4194304 4196468 140722314771584 139663325858320 139663788058325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20803584 140722314779236 140722314782044 140722314782044 140722314784719 0
[pid=2766/tid=2824] ppid=2763 vsize=11014496 memory=0 CPUtime=0.13 cores=1,3,5,7
/proc/2766/task/2824/stat : 2824 (java) S 2763 2766 30457 0 -1 1077944384 3475 13021 0 0 6 0 5 2 20 0 15 0 223309342 11278843904 131924 33554432000 4194304 4196468 140722314771584 139663281179248 139663788059266 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20803584 140722314779236 140722314782044 140722314782044 140722314784719 0
[pid=2766/tid=2825] ppid=2763 vsize=11014496 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/2766/task/2825/stat : 2825 (java) S 2763 2766 30457 0 -1 1077944384 16 13021 0 0 0 0 5 2 20 0 15 0 223309343 11278843904 131924 33554432000 4194304 4196468 140722314771584 139662672782688 139663788058325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20803584 140722314779236 140722314782044 140722314782044 140722314784719 0
[pid=2766/tid=2826] ppid=2763 vsize=11014496 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/2766/task/2826/stat : 2826 (java) S 2763 2766 30457 0 -1 1077944384 3 13021 0 0 0 0 5 2 20 0 15 0 223309343 11278843904 131924 33554432000 4194304 4196468 140722314771584 139662471456384 139663788058325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20803584 140722314779236 140722314782044 140722314782044 140722314784719 0
[pid=2766/tid=2827] ppid=2763 vsize=11014496 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/2766/task/2827/stat : 2827 (java) S 2763 2766 30457 0 -1 1077944384 3 13021 0 0 0 0 5 2 20 0 15 0 223309346 11278843904 131924 33554432000 4194304 4196468 140722314771584 139662164056656 139663788066715 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20803584 140722314779236 140722314782044 140722314782044 140722314784719 0
[pid=2766/tid=2828] ppid=2763 vsize=11014496 memory=0 CPUtime=5.2 cores=1,3,5,7
/proc/2766/task/2828/stat : 2828 (java) R 2763 2766 30457 0 -1 1077944384 8697 13021 0 0 511 2 5 2 20 0 15 0 223309346 11278843904 131924 33554432000 4194304 4196468 140722314771584 139663280126064 139663788059266 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20803584 140722314779236 140722314782044 140722314782044 140722314784719 0
[pid=2766/tid=2829] ppid=2763 vsize=11014496 memory=4122824664003129644 CPUtime=4.94 cores=1,3,5,7
/proc/2766/task/2829/stat : 2829 (java) R 2763 2766 30457 0 -1 4202560 6514 13021 0 0 486 1 5 2 20 0 15 0 223309346 11278843904 131924 33554432000 4194304 4196468 140722314771584 139663279057456 139663766463294 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20803584 140722314779236 140722314782044 140722314782044 140722314784719 0
[pid=2766/tid=2830] ppid=2763 vsize=11014496 memory=3832760414847155382 CPUtime=2.46 cores=1,3,5,7
/proc/2766/task/2830/stat : 2830 (java) R 2763 2766 30457 0 -1 4202560 6838 13021 0 0 236 3 5 2 20 0 15 0 223309346 11278843904 131924 33554432000 4194304 4196468 140722314771584 139663278020976 139663766661825 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20803584 140722314779236 140722314782044 140722314782044 140722314784719 0
[pid=2766/tid=2831] ppid=2763 vsize=11014496 memory=3617579288504579121 CPUtime=0.07 cores=1,3,5,7
/proc/2766/task/2831/stat : 2831 (java) S 2763 2766 30457 0 -1 1077944384 3 13021 0 0 0 0 5 2 20 0 15 0 223309346 11278843904 131924 33554432000 4194304 4196468 140722314771584 139661733259744 139663788058325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20803584 140722314779236 140722314782044 140722314782044 140722314784719 0
[pid=2766/tid=2832] ppid=2763 vsize=11014496 memory=139724596634285 CPUtime=0.07 cores=1,3,5,7
/proc/2766/task/2832/stat : 2832 (java) S 2763 2766 30457 0 -1 1077944384 58 13021 0 0 0 0 5 2 20 0 15 0 223309346 11278843904 131924 33554432000 4194304 4196468 140722314771584 139662753524656 139663788059266 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20803584 140722314779236 140722314782044 140722314782044 140722314784719 0
Current children cumulated CPU time: 20.77 s
Current children cumulated vsize: 11014496 KiB
Current children cumulated memory: 527696 KiB

[startup+8.40106 s]
/proc/loadavg: 1.56 1.35 1.40 6/216 2960
/proc/meminfo: memFree=6914232/32770624 swapFree=67108860/67108860
[pid=2766] ppid=2763 vsize=11014496 memory=548860 CPUtime=22 cores=1,3,5,7
/proc/2766/stat : 2766 (java) S 2763 2766 30457 0 -1 1077944320 67392 13021 0 0 2157 36 5 2 20 0 15 0 223309331 11278843904 137215 33554432000 4194304 4196468 140722314771584 140722314754128 139663788048119 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20803584 140722314779236 140722314782044 140722314782044 140722314784719 0
/proc/2766/statm: 2753624 137215 3529 1 0 2715277 0
[pid=2766/tid=2819] ppid=2763 vsize=11014496 memory=8112282956445269571 CPUtime=8.09 cores=1,3,5,7
/proc/2766/task/2819/stat : 2819 (java) R 2763 2766 30457 0 -1 4202560 38277 13021 0 0 787 15 5 2 20 0 15 0 223309340 11278843904 137215 33554432000 4194304 4196468 140722314771584 139663759884552 139663377920091 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20803584 140722314779236 140722314782044 140722314782044 140722314784719 0
[pid=2766/tid=2820] ppid=2763 vsize=11014496 memory=4536 CPUtime=0.2 cores=1,3,5,7
/proc/2766/task/2820/stat : 2820 (java) S 2763 2766 30457 0 -1 1077944384 162 13021 0 0 10 3 5 2 20 0 15 0 223309341 11278843904 137215 33554432000 4194304 4196468 140722314771584 139663792290192 139663788058325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20803584 140722314779236 140722314782044 140722314782044 140722314784719 0
[pid=2766/tid=2821] ppid=2763 vsize=11014496 memory=8448 CPUtime=0.2 cores=1,3,5,7
/proc/2766/task/2821/stat : 2821 (java) S 2763 2766 30457 0 -1 1077944384 118 13021 0 0 11 2 5 2 20 0 15 0 223309341 11278843904 137215 33554432000 4194304 4196468 140722314771584 139663327963408 139663788058325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20803584 140722314779236 140722314782044 140722314782044 140722314784719 0
[pid=2766/tid=2822] ppid=2763 vsize=11014496 memory=1628 CPUtime=0.21 cores=1,3,5,7
/proc/2766/task/2822/stat : 2822 (java) S 2763 2766 30457 0 -1 1077944384 122 13021 0 0 11 3 5 2 20 0 15 0 223309341 11278843904 137215 33554432000 4194304 4196468 140722314771584 139663326911120 139663788058325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20803584 140722314779236 140722314782044 140722314782044 140722314784719 0
[pid=2766/tid=2823] ppid=2763 vsize=11014496 memory=1144 CPUtime=0.22 cores=1,3,5,7
/proc/2766/task/2823/stat : 2823 (java) S 2763 2766 30457 0 -1 1077944384 359 13021 0 0 12 3 5 2 20 0 15 0 223309341 11278843904 137215 33554432000 4194304 4196468 140722314771584 139663325858320 139663788058325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20803584 140722314779236 140722314782044 140722314782044 140722314784719 0
[pid=2766/tid=2824] ppid=2763 vsize=11014496 memory=15244 CPUtime=0.13 cores=1,3,5,7
/proc/2766/task/2824/stat : 2824 (java) S 2763 2766 30457 0 -1 1077944384 3475 13021 0 0 6 0 5 2 20 0 15 0 223309342 11278843904 137215 33554432000 4194304 4196468 140722314771584 139663281179248 139663788059266 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20803584 140722314779236 140722314782044 140722314782044 140722314784719 0
[pid=2766/tid=2825] ppid=2763 vsize=11014496 memory=34612 CPUtime=0.07 cores=1,3,5,7
/proc/2766/task/2825/stat : 2825 (java) S 2763 2766 30457 0 -1 1077944384 16 13021 0 0 0 0 5 2 20 0 15 0 223309343 11278843904 137215 33554432000 4194304 4196468 140722314771584 139662672782688 139663788058325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20803584 140722314779236 140722314782044 140722314782044 140722314784719 0
[pid=2766/tid=2826] ppid=2763 vsize=11014496 memory=139724480357537 CPUtime=0.07 cores=1,3,5,7
/proc/2766/task/2826/stat : 2826 (java) S 2763 2766 30457 0 -1 1077944384 3 13021 0 0 0 0 5 2 20 0 15 0 223309343 11278843904 137215 33554432000 4194304 4196468 140722314771584 139662471456384 139663788058325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20803584 140722314779236 140722314782044 140722314782044 140722314784719 0
[pid=2766/tid=2827] ppid=2763 vsize=11014496 memory=288230596034167089 CPUtime=0.07 cores=1,3,5,7
/proc/2766/task/2827/stat : 2827 (java) S 2763 2766 30457 0 -1 1077944384 3 13021 0 0 0 0 5 2 20 0 15 0 223309346 11278843904 137215 33554432000 4194304 4196468 140722314771584 139662164056656 139663788066715 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20803584 140722314779236 140722314782044 140722314782044 140722314784719 0
[pid=2766/tid=2828] ppid=2763 vsize=11014496 memory=15822196484343519 CPUtime=5.57 cores=1,3,5,7
/proc/2766/task/2828/stat : 2828 (java) R 2763 2766 30457 0 -1 4202560 8916 13021 0 0 548 2 5 2 20 0 15 0 223309346 11278843904 137215 33554432000 4194304 4196468 140722314771584 139663280110832 139663772440362 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 20803584 140722314779236 140722314782044 140722314782044 140722314784719 0
[pid=2766/tid=2829] ppid=2763 vsize=11014496 memory=-7019007802211091872 CPUtime=5.3 cores=1,3,5,7
/proc/2766/task/2829/stat : 2829 (java) R 2763 2766 30457 0 -1 4202560 6792 13021 0 0 522 1 5 2 20 0 15 0 223309346 11278843904 137215 33554432000 4194304 4196468 140722314771584 139663279065752 139663771955421 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20803584 140722314779236 140722314782044 140722314782044 140722314784719 0
[pid=2766/tid=2830] ppid=2763 vsize=11014496 memory=0 CPUtime=2.54 cores=1,3,5,7
/proc/2766/task/2830/stat : 2830 (java) S 2763 2766 30457 0 -1 1077944384 6895 13021 0 0 244 3 5 2 20 0 15 0 223309346 11278843904 137215 33554432000 4194304 4196468 140722314771584 139663278020976 139663788059266 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20803584 140722314779236 140722314782044 140722314782044 140722314784719 0
[pid=2766/tid=2831] ppid=2763 vsize=11014496 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/2766/task/2831/stat : 2831 (java) S 2763 2766 30457 0 -1 1077944384 3 13021 0 0 0 0 5 2 20 0 15 0 223309346 11278843904 137215 33554432000 4194304 4196468 140722314771584 139661733259744 139663788058325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20803584 140722314779236 140722314782044 140722314782044 140722314784719 0
[pid=2766/tid=2832] ppid=2763 vsize=11014496 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/2766/task/2832/stat : 2832 (java) S 2763 2766 30457 0 -1 1077944384 58 13021 0 0 0 0 5 2 20 0 15 0 223309346 11278843904 137215 33554432000 4194304 4196468 140722314771584 139662753524656 139663788059266 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20803584 140722314779236 140722314782044 140722314782044 140722314784719 0
Current children cumulated CPU time: 22 s
Current children cumulated vsize: 11014496 KiB
Current children cumulated memory: 548860 KiB

Child status: 0
Real time (s): 8.49039
CPU time (s): 22.1898
CPU user time (s): 21.782
CPU system time (s): 0.407786
CPU usage (%): 261.352
Max. virtual memory (cumulated for all children) (KiB): 11014496
Max. memory (cumulated for all children) (KiB): 548860

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 21.782
system time used= 0.407786
maximum resident set size= 551048
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 80537
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= 8611
involuntary context switches= 247


# summary of solver processes directly reported to runsolver:
#   pid: 2766
#   total CPU time (s): 22.1898
#   total CPU user time (s): 21.782
#   total CPU system time (s): 0.407786

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.062479 second user time and 0.13433 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 4304312

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data
