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	46	29.1323	13.1078
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 (14230 MiB free)
  memory of node 1: 16384 MiB (12723 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4293621-1532320360/watcher-4293621-1532320360 -o /tmp/evaluation-result-4293621-1532320360/solver-4293621-1532320360 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node149-1532298084-3499 --watchdog 2580 concrete-3.8/bin/xcsp-3-concrete -J-Xss32M -randomseed=616944927 -superng HOME/instance-4293621-1532320360.xml 

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

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

solver pid=8057, runsolver pid=8054

[startup+0.100128 s]*
/proc/loadavg: 1.25 1.49 1.57 3/206 8114
/proc/meminfo: memFree=27594556/32770624 swapFree=67108860/67108860
[pid=8057] ppid=8054 vsize=9972712 memory=18952 CPUtime=0.09 cores=0,2,4,6
/proc/8057/stat : 8057 (java) S 8054 8057 3468 0 -1 1077944320 4361 13016 0 0 1 1 5 2 20 0 6 0 49599229 10212057088 4738 33554432000 4194304 4196468 140733985524016 140733985506560 139969436593911 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 11976704 140733985527980 140733985531228 140733985531228 140733985533903 0
/proc/8057/statm: 2493178 4738 1934 1 0 2481616 0
[pid=8057/tid=8110] ppid=8054 vsize=9972712 memory=4718545630382498451 CPUtime=0.07 cores=0,2,4,6
/proc/8057/task/8110/stat : 8110 (java) R 8054 8057 3468 0 -1 4202560 2179 13016 0 0 0 0 5 2 20 0 6 0 49599238 10212057088 4738 33554432000 4194304 4196468 140733985524016 139969408430672 139969436615837 0 4 0 16784584 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11976704 140733985527980 140733985531228 140733985531228 140733985533903 0
[pid=8057/tid=8111] ppid=8054 vsize=9972712 memory=5793855656174193081 CPUtime=0.07 cores=0,2,4,6
/proc/8057/task/8111/stat : 8111 (java) S 8054 8057 3468 0 -1 1077944384 1 13016 0 0 0 0 5 2 20 0 6 0 49599239 10212057088 4738 33554432000 4194304 4196468 140733985524016 139969440836624 139969436604117 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11976704 140733985527980 140733985531228 140733985531228 140733985533903 0
[pid=8057/tid=8112] ppid=8054 vsize=9972712 memory=140405164299904 CPUtime=0.07 cores=0,2,4,6
/proc/8057/task/8112/stat : 8112 (java) S 8054 8057 3468 0 -1 1077944384 2 13016 0 0 0 0 5 2 20 0 6 0 49599239 10212057088 4738 33554432000 4194304 4196468 140733985524016 139969361796240 139969436604117 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11976704 140733985527980 140733985531228 140733985531228 140733985533903 0
[pid=8057/tid=8113] ppid=8054 vsize=9972712 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/8057/task/8113/stat : 8113 (java) S 8054 8057 3468 0 -1 1077944384 2 13016 0 0 0 0 5 2 20 0 6 0 49599239 10212057088 4738 33554432000 4194304 4196468 140733985524016 139969008839440 139969436604117 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11976704 140733985527980 140733985531228 140733985531228 140733985533903 0
[pid=8057/tid=8114] ppid=8054 vsize=9972712 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/8057/task/8114/stat : 8114 (java) S 8054 8057 3468 0 -1 1077944384 2 13016 0 0 0 0 5 2 20 0 6 0 49599239 10212057088 4738 33554432000 4194304 4196468 140733985524016 139969007786896 139969436604117 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11976704 140733985527980 140733985531228 140733985531228 140733985533903 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 18952 KiB

[startup+0.209877 s]*
/proc/loadavg: 1.25 1.49 1.57 3/215 8123
/proc/meminfo: memFree=27573444/32770624 swapFree=67108860/67108860
[pid=8057] ppid=8054 vsize=10818904 memory=45600 CPUtime=0.25 cores=0,2,4,6
/proc/8057/stat : 8057 (java) S 8054 8057 3468 0 -1 1077944320 9247 13016 0 0 15 3 5 2 20 0 15 0 49599229 11078557696 11400 33554432000 4194304 4196468 140733985524016 140733985506560 139969436593911 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 11976704 140733985527980 140733985531228 140733985531228 140733985533903 0
/proc/8057/statm: 2704726 11400 2964 1 0 2667149 0
[pid=8057/tid=8110] ppid=8054 vsize=10818904 memory=-2899909650764262549 CPUtime=0.18 cores=0,2,4,6
/proc/8057/task/8110/stat : 8110 (java) R 8054 8057 3468 0 -1 4202560 5895 13016 0 0 10 1 5 2 20 0 15 0 49599238 11078557696 11400 33554432000 4194304 4196468 140733985524016 139969408418720 139969420674398 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11976704 140733985527980 140733985531228 140733985531228 140733985533903 0
[pid=8057/tid=8111] ppid=8054 vsize=10818904 memory=4211974131369090442 CPUtime=0.07 cores=0,2,4,6
/proc/8057/task/8111/stat : 8111 (java) S 8054 8057 3468 0 -1 1077944384 1 13016 0 0 0 0 5 2 20 0 15 0 49599239 11078557696 11400 33554432000 4194304 4196468 140733985524016 139969440836624 139969436604117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11976704 140733985527980 140733985531228 140733985531228 140733985533903 0
[pid=8057/tid=8112] ppid=8054 vsize=10818904 memory=140405164299904 CPUtime=0.07 cores=0,2,4,6
/proc/8057/task/8112/stat : 8112 (java) S 8054 8057 3468 0 -1 1077944384 2 13016 0 0 0 0 5 2 20 0 15 0 49599239 11078557696 11400 33554432000 4194304 4196468 140733985524016 139969361796240 139969436604117 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11976704 140733985527980 140733985531228 140733985531228 140733985533903 0
[pid=8057/tid=8113] ppid=8054 vsize=10818904 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/8057/task/8113/stat : 8113 (java) S 8054 8057 3468 0 -1 1077944384 2 13016 0 0 0 0 5 2 20 0 15 0 49599239 11078557696 11400 33554432000 4194304 4196468 140733985524016 139969008839440 139969436604117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11976704 140733985527980 140733985531228 140733985531228 140733985533903 0
[pid=8057/tid=8114] ppid=8054 vsize=10818904 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/8057/task/8114/stat : 8114 (java) S 8054 8057 3468 0 -1 1077944384 2 13016 0 0 0 0 5 2 20 0 15 0 49599239 11078557696 11400 33554432000 4194304 4196468 140733985524016 139969007786896 139969436604117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11976704 140733985527980 140733985531228 140733985531228 140733985533903 0
[pid=8057/tid=8115] ppid=8054 vsize=10818904 memory=140405164299904 CPUtime=0.07 cores=0,2,4,6
/proc/8057/task/8115/stat : 8115 (java) S 8054 8057 3468 0 -1 1077944384 2 13016 0 0 0 0 5 2 20 0 15 0 49599240 11078557696 11400 33554432000 4194304 4196468 140733985524016 139968963209456 139969436605058 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11976704 140733985527980 140733985531228 140733985531228 140733985533903 0
[pid=8057/tid=8116] ppid=8054 vsize=10818904 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/8057/task/8116/stat : 8116 (java) S 8054 8057 3468 0 -1 1077944384 13 13016 0 0 0 0 5 2 20 0 15 0 49599241 11078557696 11400 33554432000 4194304 4196468 140733985524016 139968756311200 139969436604117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11976704 140733985527980 140733985531228 140733985531228 140733985533903 0
[pid=8057/tid=8117] ppid=8054 vsize=10818904 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/8057/task/8117/stat : 8117 (java) S 8054 8057 3468 0 -1 1077944384 1 13016 0 0 0 0 5 2 20 0 15 0 49599241 11078557696 11400 33554432000 4194304 4196468 140733985524016 139968286548720 139969436604117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11976704 140733985527980 140733985531228 140733985531228 140733985533903 0
[pid=8057/tid=8118] ppid=8054 vsize=10818904 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/8057/task/8118/stat : 8118 (java) S 8054 8057 3468 0 -1 1077944384 3 13016 0 0 0 0 5 2 20 0 15 0 49599243 11078557696 11400 33554432000 4194304 4196468 140733985524016 139967979149264 139969436612507 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11976704 140733985527980 140733985531228 140733985531228 140733985533903 0
[pid=8057/tid=8119] ppid=8054 vsize=10818904 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/8057/task/8119/stat : 8119 (java) S 8054 8057 3468 0 -1 1077944384 538 13016 0 0 1 0 5 2 20 0 15 0 49599244 11078557696 11400 33554432000 4194304 4196468 140733985524016 139968962157296 139969436605058 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11976704 140733985527980 140733985531228 140733985531228 140733985533903 0
[pid=8057/tid=8120] ppid=8054 vsize=10818904 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/8057/task/8120/stat : 8120 (java) S 8054 8057 3468 0 -1 1077944384 54 13016 0 0 0 0 5 2 20 0 15 0 49599244 11078557696 11400 33554432000 4194304 4196468 140733985524016 139968961104752 139969436605058 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11976704 140733985527980 140733985531228 140733985531228 140733985533903 0
[pid=8057/tid=8121] ppid=8054 vsize=10818904 memory=140405164299904 CPUtime=0.1 cores=0,2,4,6
/proc/8057/task/8121/stat : 8121 (java) R 8054 8057 3468 0 -1 4202560 552 13016 0 0 3 0 5 2 20 0 15 0 49599244 11078557696 11400 33554432000 4194304 4196468 140733985524016 139968960051696 139969420759127 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11976704 140733985527980 140733985531228 140733985531228 140733985533903 0
[pid=8057/tid=8122] ppid=8054 vsize=10818904 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/8057/task/8122/stat : 8122 (java) S 8054 8057 3468 0 -1 1077944384 3 13016 0 0 0 0 5 2 20 0 15 0 49599244 11078557696 11400 33554432000 4194304 4196468 140733985524016 139967945591648 139969436604117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11976704 140733985527980 140733985531228 140733985531228 140733985533903 0
[pid=8057/tid=8123] ppid=8054 vsize=10818904 memory=140405164299904 CPUtime=0.07 cores=0,2,4,6
/proc/8057/task/8123/stat : 8123 (java) S 8054 8057 3468 0 -1 1077944384 1 13016 0 0 0 0 5 2 20 0 15 0 49599244 11078557696 11400 33554432000 4194304 4196468 140733985524016 139968958999088 139969436605058 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11976704 140733985527980 140733985531228 140733985531228 140733985533903 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 10818904 KiB
Current children cumulated memory: 45600 KiB

[startup+0.310363 s]*
/proc/loadavg: 1.25 1.49 1.57 3/215 8123
/proc/meminfo: memFree=27560048/32770624 swapFree=67108860/67108860
[pid=8057] ppid=8054 vsize=10819352 memory=53476 CPUtime=0.38 cores=0,2,4,6
/proc/8057/stat : 8057 (java) S 8054 8057 3468 0 -1 1077944320 10467 13016 0 0 28 3 5 2 20 0 15 0 49599229 11079016448 13369 33554432000 4194304 4196468 140733985524016 140733985506560 139969436593911 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 11976704 140733985527980 140733985531228 140733985531228 140733985533903 0
/proc/8057/statm: 2704838 13369 3083 1 0 2667149 0
[pid=8057/tid=8110] ppid=8054 vsize=10819352 memory=8112282956445269571 CPUtime=0.28 cores=0,2,4,6
/proc/8057/task/8110/stat : 8110 (java) R 8054 8057 3468 0 -1 4202560 7086 13016 0 0 19 2 5 2 20 0 15 0 49599238 11079016448 13369 33554432000 4194304 4196468 140733985524016 139969408405920 139969418157471 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11976704 140733985527980 140733985531228 140733985531228 140733985533903 0
[pid=8057/tid=8111] ppid=8054 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/8057/task/8111/stat : 8111 (java) S 8054 8057 3468 0 -1 1077944384 1 13016 0 0 0 0 5 2 20 0 15 0 49599239 11079016448 13369 33554432000 4194304 4196468 140733985524016 139969440836624 139969436604117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11976704 140733985527980 140733985531228 140733985531228 140733985533903 0
[pid=8057/tid=8112] ppid=8054 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/8057/task/8112/stat : 8112 (java) S 8054 8057 3468 0 -1 1077944384 2 13016 0 0 0 0 5 2 20 0 15 0 49599239 11079016448 13369 33554432000 4194304 4196468 140733985524016 139969361796240 139969436604117 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11976704 140733985527980 140733985531228 140733985531228 140733985533903 0
[pid=8057/tid=8113] ppid=8054 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/8057/task/8113/stat : 8113 (java) S 8054 8057 3468 0 -1 1077944384 2 13016 0 0 0 0 5 2 20 0 15 0 49599239 11079016448 13369 33554432000 4194304 4196468 140733985524016 139969008839440 139969436604117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11976704 140733985527980 140733985531228 140733985531228 140733985533903 0
[pid=8057/tid=8114] ppid=8054 vsize=10819352 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/8057/task/8114/stat : 8114 (java) S 8054 8057 3468 0 -1 1077944384 2 13016 0 0 0 0 5 2 20 0 15 0 49599239 11079016448 13369 33554432000 4194304 4196468 140733985524016 139969007786896 139969436604117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11976704 140733985527980 140733985531228 140733985531228 140733985533903 0
[pid=8057/tid=8115] ppid=8054 vsize=10819352 memory=140405164299903 CPUtime=0.07 cores=0,2,4,6
/proc/8057/task/8115/stat : 8115 (java) S 8054 8057 3468 0 -1 1077944384 2 13016 0 0 0 0 5 2 20 0 15 0 49599240 11079016448 13369 33554432000 4194304 4196468 140733985524016 139968963209456 139969436605058 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11976704 140733985527980 140733985531228 140733985531228 140733985533903 0
[pid=8057/tid=8116] ppid=8054 vsize=10819352 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/8057/task/8116/stat : 8116 (java) S 8054 8057 3468 0 -1 1077944384 13 13016 0 0 0 0 5 2 20 0 15 0 49599241 11079016448 13369 33554432000 4194304 4196468 140733985524016 139968756311200 139969436604117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11976704 140733985527980 140733985531228 140733985531228 140733985533903 0
[pid=8057/tid=8117] ppid=8054 vsize=10819352 memory=140405164299904 CPUtime=0.07 cores=0,2,4,6
/proc/8057/task/8117/stat : 8117 (java) S 8054 8057 3468 0 -1 1077944384 1 13016 0 0 0 0 5 2 20 0 15 0 49599241 11079016448 13369 33554432000 4194304 4196468 140733985524016 139968286548720 139969436604117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11976704 140733985527980 140733985531228 140733985531228 140733985533903 0
[pid=8057/tid=8118] ppid=8054 vsize=10819352 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/8057/task/8118/stat : 8118 (java) S 8054 8057 3468 0 -1 1077944384 3 13016 0 0 0 0 5 2 20 0 15 0 49599243 11079016448 13369 33554432000 4194304 4196468 140733985524016 139967979149264 139969436612507 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11976704 140733985527980 140733985531228 140733985531228 140733985533903 0
[pid=8057/tid=8119] ppid=8054 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/8057/task/8119/stat : 8119 (java) S 8054 8057 3468 0 -1 1077944384 538 13016 0 0 1 0 5 2 20 0 15 0 49599244 11079016448 13369 33554432000 4194304 4196468 140733985524016 139968962157296 139969436605058 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11976704 140733985527980 140733985531228 140733985531228 140733985533903 0
[pid=8057/tid=8120] ppid=8054 vsize=10819352 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/8057/task/8120/stat : 8120 (java) S 8054 8057 3468 0 -1 1077944384 55 13016 0 0 1 0 5 2 20 0 15 0 49599244 11079016448 13369 33554432000 4194304 4196468 140733985524016 139968961104752 139969436605058 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11976704 140733985527980 140733985531228 140733985531228 140733985533903 0
[pid=8057/tid=8121] ppid=8054 vsize=10819352 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/8057/task/8121/stat : 8121 (java) S 8054 8057 3468 0 -1 1077944384 570 13016 0 0 5 0 5 2 20 0 15 0 49599244 11079016448 13369 33554432000 4194304 4196468 140733985524016 139968960051696 139969436605058 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11976704 140733985527980 140733985531228 140733985531228 140733985533903 0
[pid=8057/tid=8122] ppid=8054 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/8057/task/8122/stat : 8122 (java) S 8054 8057 3468 0 -1 1077944384 3 13016 0 0 0 0 5 2 20 0 15 0 49599244 11079016448 13369 33554432000 4194304 4196468 140733985524016 139967945591648 139969436604117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11976704 140733985527980 140733985531228 140733985531228 140733985533903 0
[pid=8057/tid=8123] ppid=8054 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/8057/task/8123/stat : 8123 (java) S 8054 8057 3468 0 -1 1077944384 1 13016 0 0 0 0 5 2 20 0 15 0 49599244 11079016448 13369 33554432000 4194304 4196468 140733985524016 139968958999088 139969436605058 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11976704 140733985527980 140733985531228 140733985531228 140733985533903 0
Current children cumulated CPU time: 0.38 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 53476 KiB

[startup+0.700674 s]
/proc/loadavg: 1.25 1.49 1.57 3/215 8123
/proc/meminfo: memFree=27550432/32770624 swapFree=67108860/67108860
[pid=8057] ppid=8054 vsize=10819352 memory=86520 CPUtime=0.98 cores=0,2,4,6
/proc/8057/stat : 8057 (java) S 8054 8057 3468 0 -1 1077944320 16749 13016 0 0 86 5 5 2 20 0 15 0 49599229 11079016448 21630 33554432000 4194304 4196468 140733985524016 140733985506560 139969436593911 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 11976704 140733985527980 140733985531228 140733985531228 140733985533903 0
/proc/8057/statm: 2704838 21630 3237 1 0 2667149 0
[pid=8057/tid=8110] ppid=8054 vsize=10819352 memory=0 CPUtime=0.66 cores=0,2,4,6
/proc/8057/task/8110/stat : 8110 (java) R 8054 8057 3468 0 -1 4202560 12304 13016 0 0 56 3 5 2 20 0 15 0 49599238 11079016448 21630 33554432000 4194304 4196468 140733985524016 139969408414736 139969414619794 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11976704 140733985527980 140733985531228 140733985531228 140733985533903 0
[pid=8057/tid=8111] ppid=8054 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/8057/task/8111/stat : 8111 (java) S 8054 8057 3468 0 -1 1077944384 1 13016 0 0 0 0 5 2 20 0 15 0 49599239 11079016448 21630 33554432000 4194304 4196468 140733985524016 139969440836624 139969436604117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11976704 140733985527980 140733985531228 140733985531228 140733985533903 0
[pid=8057/tid=8112] ppid=8054 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/8057/task/8112/stat : 8112 (java) S 8054 8057 3468 0 -1 1077944384 2 13016 0 0 0 0 5 2 20 0 15 0 49599239 11079016448 21630 33554432000 4194304 4196468 140733985524016 139969361796240 139969436604117 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11976704 140733985527980 140733985531228 140733985531228 140733985533903 0
[pid=8057/tid=8113] ppid=8054 vsize=10819352 memory=3472468700450461491 CPUtime=0.07 cores=0,2,4,6
/proc/8057/task/8113/stat : 8113 (java) S 8054 8057 3468 0 -1 1077944384 2 13016 0 0 0 0 5 2 20 0 15 0 49599239 11079016448 21630 33554432000 4194304 4196468 140733985524016 139969008839440 139969436604117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11976704 140733985527980 140733985531228 140733985531228 140733985533903 0
[pid=8057/tid=8114] ppid=8054 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/8057/task/8114/stat : 8114 (java) S 8054 8057 3468 0 -1 1077944384 2 13016 0 0 0 0 5 2 20 0 15 0 49599239 11079016448 21630 33554432000 4194304 4196468 140733985524016 139969007786896 139969436604117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11976704 140733985527980 140733985531228 140733985531228 140733985533903 0
[pid=8057/tid=8115] ppid=8054 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/8057/task/8115/stat : 8115 (java) S 8054 8057 3468 0 -1 1077944384 5 13016 0 0 0 0 5 2 20 0 15 0 49599240 11079016448 21630 33554432000 4194304 4196468 140733985524016 139968963209456 139969436605058 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11976704 140733985527980 140733985531228 140733985531228 140733985533903 0
[pid=8057/tid=8116] ppid=8054 vsize=10819352 memory=280810062373440 CPUtime=0.07 cores=0,2,4,6
/proc/8057/task/8116/stat : 8116 (java) S 8054 8057 3468 0 -1 1077944384 13 13016 0 0 0 0 5 2 20 0 15 0 49599241 11079016448 21630 33554432000 4194304 4196468 140733985524016 139968756311200 139969436604117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11976704 140733985527980 140733985531228 140733985531228 140733985533903 0
[pid=8057/tid=8117] ppid=8054 vsize=10819352 memory=4140 CPUtime=0.07 cores=0,2,4,6
/proc/8057/task/8117/stat : 8117 (java) S 8054 8057 3468 0 -1 1077944384 1 13016 0 0 0 0 5 2 20 0 15 0 49599241 11079016448 21630 33554432000 4194304 4196468 140733985524016 139968286548720 139969436604117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11976704 140733985527980 140733985531228 140733985531228 140733985533903 0
[pid=8057/tid=8118] ppid=8054 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/8057/task/8118/stat : 8118 (java) S 8054 8057 3468 0 -1 1077944384 3 13016 0 0 0 0 5 2 20 0 15 0 49599243 11079016448 21630 33554432000 4194304 4196468 140733985524016 139967979149264 139969436612507 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11976704 140733985527980 140733985531228 140733985531228 140733985533903 0
[pid=8057/tid=8119] ppid=8054 vsize=10819352 memory=0 CPUtime=0.14 cores=0,2,4,6
/proc/8057/task/8119/stat : 8119 (java) S 8054 8057 3468 0 -1 1077944384 915 13016 0 0 7 0 5 2 20 0 15 0 49599244 11079016448 21630 33554432000 4194304 4196468 140733985524016 139968962157296 139969436605058 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11976704 140733985527980 140733985531228 140733985531228 140733985533903 0
[pid=8057/tid=8120] ppid=8054 vsize=10819352 memory=2241 CPUtime=0.16 cores=0,2,4,6
/proc/8057/task/8120/stat : 8120 (java) S 8054 8057 3468 0 -1 1077944384 649 13016 0 0 9 0 5 2 20 0 15 0 49599244 11079016448 21630 33554432000 4194304 4196468 140733985524016 139968961104752 139969436605058 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11976704 140733985527980 140733985531228 140733985531228 140733985533903 0
[pid=8057/tid=8121] ppid=8054 vsize=10819352 memory=280810062109728 CPUtime=0.2 cores=0,2,4,6
/proc/8057/task/8121/stat : 8121 (java) S 8054 8057 3468 0 -1 1077944384 660 13016 0 0 13 0 5 2 20 0 15 0 49599244 11079016448 21630 33554432000 4194304 4196468 140733985524016 139968960051696 139969436605058 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11976704 140733985527980 140733985531228 140733985531228 140733985533903 0
[pid=8057/tid=8122] ppid=8054 vsize=10819352 memory=11524 CPUtime=0.07 cores=0,2,4,6
/proc/8057/task/8122/stat : 8122 (java) S 8054 8057 3468 0 -1 1077944384 3 13016 0 0 0 0 5 2 20 0 15 0 49599244 11079016448 21630 33554432000 4194304 4196468 140733985524016 139967945591648 139969436604117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11976704 140733985527980 140733985531228 140733985531228 140733985533903 0
[pid=8057/tid=8123] ppid=8054 vsize=10819352 memory=2244 CPUtime=0.07 cores=0,2,4,6
/proc/8057/task/8123/stat : 8123 (java) S 8054 8057 3468 0 -1 1077944384 1 13016 0 0 0 0 5 2 20 0 15 0 49599244 11079016448 21630 33554432000 4194304 4196468 140733985524016 139968958999088 139969436605058 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11976704 140733985527980 140733985531228 140733985531228 140733985533903 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 86520 KiB

[startup+1.50076 s]
/proc/loadavg: 1.25 1.49 1.57 3/215 8123
/proc/meminfo: memFree=27504968/32770624 swapFree=67108860/67108860
[pid=8057] ppid=8054 vsize=10832204 memory=169300 CPUtime=2.8 cores=0,2,4,6
/proc/8057/stat : 8057 (java) S 8054 8057 3468 0 -1 1077944320 24007 13016 0 0 265 8 5 2 20 0 15 0 49599229 11092176896 42325 33554432000 4194304 4196468 140733985524016 140733985506560 139969436593911 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 11976704 140733985527980 140733985531228 140733985531228 140733985533903 0
/proc/8057/statm: 2708051 42325 3452 1 0 2669709 0
[pid=8057/tid=8110] ppid=8054 vsize=10832204 memory=100868 CPUtime=1.46 cores=0,2,4,6
/proc/8057/task/8110/stat : 8110 (java) R 8054 8057 3468 0 -1 4202560 16901 13016 0 0 133 6 5 2 20 0 15 0 49599238 11092176896 42325 33554432000 4194304 4196468 140733985524016 139969408394192 139969436615837 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11976704 140733985527980 140733985531228 140733985531228 140733985533903 0
[pid=8057/tid=8111] ppid=8054 vsize=10832204 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/8057/task/8111/stat : 8111 (java) S 8054 8057 3468 0 -1 1077944384 1 13016 0 0 0 0 5 2 20 0 15 0 49599239 11092176896 42325 33554432000 4194304 4196468 140733985524016 139969440836624 139969436604117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11976704 140733985527980 140733985531228 140733985531228 140733985533903 0
[pid=8057/tid=8112] ppid=8054 vsize=10832204 memory=280810062438784 CPUtime=0.07 cores=0,2,4,6
/proc/8057/task/8112/stat : 8112 (java) S 8054 8057 3468 0 -1 1077944384 2 13016 0 0 0 0 5 2 20 0 15 0 49599239 11092176896 42325 33554432000 4194304 4196468 140733985524016 139969361796240 139969436604117 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11976704 140733985527980 140733985531228 140733985531228 140733985533903 0
[pid=8057/tid=8113] ppid=8054 vsize=10832204 memory=140405031061248 CPUtime=0.07 cores=0,2,4,6
/proc/8057/task/8113/stat : 8113 (java) S 8054 8057 3468 0 -1 1077944384 2 13016 0 0 0 0 5 2 20 0 15 0 49599239 11092176896 42325 33554432000 4194304 4196468 140733985524016 139969008839440 139969436604117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11976704 140733985527980 140733985531228 140733985531228 140733985533903 0
[pid=8057/tid=8114] ppid=8054 vsize=10832204 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/8057/task/8114/stat : 8114 (java) S 8054 8057 3468 0 -1 1077944384 2 13016 0 0 0 0 5 2 20 0 15 0 49599239 11092176896 42325 33554432000 4194304 4196468 140733985524016 139969007786896 139969436604117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11976704 140733985527980 140733985531228 140733985531228 140733985533903 0
[pid=8057/tid=8115] ppid=8054 vsize=10832204 memory=288230621803970871 CPUtime=0.07 cores=0,2,4,6
/proc/8057/task/8115/stat : 8115 (java) S 8054 8057 3468 0 -1 1077944384 12 13016 0 0 0 0 5 2 20 0 15 0 49599240 11092176896 42325 33554432000 4194304 4196468 140733985524016 139968963209456 139969436605058 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11976704 140733985527980 140733985531228 140733985531228 140733985533903 0
[pid=8057/tid=8116] ppid=8054 vsize=10832204 memory=14977762981055007 CPUtime=0.07 cores=0,2,4,6
/proc/8057/task/8116/stat : 8116 (java) S 8054 8057 3468 0 -1 1077944384 13 13016 0 0 0 0 5 2 20 0 15 0 49599241 11092176896 42325 33554432000 4194304 4196468 140733985524016 139968756311200 139969436604117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11976704 140733985527980 140733985531228 140733985531228 140733985533903 0
[pid=8057/tid=8117] ppid=8054 vsize=10832204 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/8057/task/8117/stat : 8117 (java) S 8054 8057 3468 0 -1 1077944384 1 13016 0 0 0 0 5 2 20 0 15 0 49599241 11092176896 42325 33554432000 4194304 4196468 140733985524016 139968286548720 139969436604117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11976704 140733985527980 140733985531228 140733985531228 140733985533903 0
[pid=8057/tid=8118] ppid=8054 vsize=10832204 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/8057/task/8118/stat : 8118 (java) S 8054 8057 3468 0 -1 1077944384 3 13016 0 0 0 0 5 2 20 0 15 0 49599243 11092176896 42325 33554432000 4194304 4196468 140733985524016 139967979149264 139969436612507 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11976704 140733985527980 140733985531228 140733985531228 140733985533903 0
[pid=8057/tid=8119] ppid=8054 vsize=10832204 memory=0 CPUtime=0.48 cores=0,2,4,6
/proc/8057/task/8119/stat : 8119 (java) S 8054 8057 3468 0 -1 1077944384 2079 13016 0 0 41 0 5 2 20 0 15 0 49599244 11092176896 42325 33554432000 4194304 4196468 140733985524016 139968962157296 139969436605058 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11976704 140733985527980 140733985531228 140733985531228 140733985533903 0
[pid=8057/tid=8120] ppid=8054 vsize=10832204 memory=-2127763229967212680 CPUtime=0.54 cores=0,2,4,6
/proc/8057/task/8120/stat : 8120 (java) S 8054 8057 3468 0 -1 1077944384 1315 13016 0 0 47 0 5 2 20 0 15 0 49599244 11092176896 42325 33554432000 4194304 4196468 140733985524016 139968961104752 139969436605058 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11976704 140733985527980 140733985531228 140733985531228 140733985533903 0
[pid=8057/tid=8121] ppid=8054 vsize=10832204 memory=239 CPUtime=0.5 cores=0,2,4,6
/proc/8057/task/8121/stat : 8121 (java) S 8054 8057 3468 0 -1 1077944384 1484 13016 0 0 43 0 5 2 20 0 15 0 49599244 11092176896 42325 33554432000 4194304 4196468 140733985524016 139968960051696 139969436605058 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11976704 140733985527980 140733985531228 140733985531228 140733985533903 0
[pid=8057/tid=8122] ppid=8054 vsize=10832204 memory=118 CPUtime=0.07 cores=0,2,4,6
/proc/8057/task/8122/stat : 8122 (java) S 8054 8057 3468 0 -1 1077944384 3 13016 0 0 0 0 5 2 20 0 15 0 49599244 11092176896 42325 33554432000 4194304 4196468 140733985524016 139967945591648 139969436604117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11976704 140733985527980 140733985531228 140733985531228 140733985533903 0
[pid=8057/tid=8123] ppid=8054 vsize=10832204 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/8057/task/8123/stat : 8123 (java) S 8054 8057 3468 0 -1 1077944384 1 13016 0 0 0 0 5 2 20 0 15 0 49599244 11092176896 42325 33554432000 4194304 4196468 140733985524016 139968958999088 139969436605058 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11976704 140733985527980 140733985531228 140733985531228 140733985533903 0
Current children cumulated CPU time: 2.8 s
Current children cumulated vsize: 10832204 KiB

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

[startup+6.30076 s]
/proc/loadavg: 1.31 1.50 1.57 5/215 8123
/proc/meminfo: memFree=27226664/32770624 swapFree=67108860/67108860
[pid=8057] ppid=8054 vsize=10844512 memory=462288 CPUtime=15.55 cores=0,2,4,6
/proc/8057/stat : 8057 (java) S 8054 8057 3468 0 -1 1077944320 51118 13016 0 0 1516 32 5 2 20 0 15 0 49599229 11104780288 115572 33554432000 4194304 4196468 140733985524016 140733985506560 139969436593911 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 11976704 140733985527980 140733985531228 140733985531228 140733985533903 0
/proc/8057/statm: 2711128 115572 3522 1 0 2672781 0
[pid=8057/tid=8110] ppid=8054 vsize=10844512 memory=140405031045537 CPUtime=6.07 cores=0,2,4,6
/proc/8057/task/8110/stat : 8110 (java) R 8054 8057 3468 0 -1 4202560 28107 13016 0 0 590 10 5 2 20 0 15 0 49599238 11104780288 115572 33554432000 4194304 4196468 140733985524016 139969408425568 139969044246561 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11976704 140733985527980 140733985531228 140733985531228 140733985533903 0
[pid=8057/tid=8111] ppid=8054 vsize=10844512 memory=222792 CPUtime=0.18 cores=0,2,4,6
/proc/8057/task/8111/stat : 8111 (java) S 8054 8057 3468 0 -1 1077944384 129 13016 0 0 8 3 5 2 20 0 15 0 49599239 11104780288 115572 33554432000 4194304 4196468 140733985524016 139969440836624 139969436604117 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11976704 140733985527980 140733985531228 140733985531228 140733985533903 0
[pid=8057/tid=8112] ppid=8054 vsize=10844512 memory=280810062227200 CPUtime=0.18 cores=0,2,4,6
/proc/8057/task/8112/stat : 8112 (java) S 8054 8057 3468 0 -1 1077944384 106 13016 0 0 8 3 5 2 20 0 15 0 49599239 11104780288 115572 33554432000 4194304 4196468 140733985524016 139969361796240 139969436604117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11976704 140733985527980 140733985531228 140733985531228 140733985533903 0
[pid=8057/tid=8113] ppid=8054 vsize=10844512 memory=174994147524393 CPUtime=0.17 cores=0,2,4,6
/proc/8057/task/8113/stat : 8113 (java) S 8054 8057 3468 0 -1 1077944384 148 13016 0 0 8 2 5 2 20 0 15 0 49599239 11104780288 115572 33554432000 4194304 4196468 140733985524016 139969008839440 139969436604117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11976704 140733985527980 140733985531228 140733985531228 140733985533903 0
[pid=8057/tid=8114] ppid=8054 vsize=10844512 memory=0 CPUtime=0.17 cores=0,2,4,6
/proc/8057/task/8114/stat : 8114 (java) S 8054 8057 3468 0 -1 1077944384 667 13016 0 0 8 2 5 2 20 0 15 0 49599239 11104780288 115572 33554432000 4194304 4196468 140733985524016 139969007786896 139969436604117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11976704 140733985527980 140733985531228 140733985531228 140733985533903 0
[pid=8057/tid=8115] ppid=8054 vsize=10844512 memory=7670302389373463403 CPUtime=0.1 cores=0,2,4,6
/proc/8057/task/8115/stat : 8115 (java) S 8054 8057 3468 0 -1 1077944384 284 13016 0 0 3 0 5 2 20 0 15 0 49599240 11104780288 115572 33554432000 4194304 4196468 140733985524016 139968963209456 139969436605058 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11976704 140733985527980 140733985531228 140733985531228 140733985533903 0
[pid=8057/tid=8116] ppid=8054 vsize=10844512 memory=7013916002617028195 CPUtime=0.07 cores=0,2,4,6
/proc/8057/task/8116/stat : 8116 (java) S 8054 8057 3468 0 -1 1077944384 14 13016 0 0 0 0 5 2 20 0 15 0 49599241 11104780288 115572 33554432000 4194304 4196468 140733985524016 139968756311264 139969436604117 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11976704 140733985527980 140733985531228 140733985531228 140733985533903 0
[pid=8057/tid=8117] ppid=8054 vsize=10844512 memory=280810062846816 CPUtime=0.07 cores=0,2,4,6
/proc/8057/task/8117/stat : 8117 (java) S 8054 8057 3468 0 -1 1077944384 5 13016 0 0 0 0 5 2 20 0 15 0 49599241 11104780288 115572 33554432000 4194304 4196468 140733985524016 139968286548736 139969436604117 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11976704 140733985527980 140733985531228 140733985531228 140733985533903 0
[pid=8057/tid=8118] ppid=8054 vsize=10844512 memory=8245933066544480320 CPUtime=0.07 cores=0,2,4,6
/proc/8057/task/8118/stat : 8118 (java) S 8054 8057 3468 0 -1 1077944384 3 13016 0 0 0 0 5 2 20 0 15 0 49599243 11104780288 115572 33554432000 4194304 4196468 140733985524016 139967979149264 139969436612507 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11976704 140733985527980 140733985531228 140733985531228 140733985533903 0
[pid=8057/tid=8119] ppid=8054 vsize=10844512 memory=9504 CPUtime=3.66 cores=0,2,4,6
/proc/8057/task/8119/stat : 8119 (java) S 8054 8057 3468 0 -1 1077944384 6952 13016 0 0 357 2 5 2 20 0 15 0 49599244 11104780288 115572 33554432000 4194304 4196468 140733985524016 139968962157296 139969436605058 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11976704 140733985527980 140733985531228 140733985531228 140733985533903 0
[pid=8057/tid=8120] ppid=8054 vsize=10844512 memory=288230376151887482 CPUtime=3.66 cores=0,2,4,6
/proc/8057/task/8120/stat : 8120 (java) S 8054 8057 3468 0 -1 1077944384 6561 13016 0 0 356 3 5 2 20 0 15 0 49599244 11104780288 115572 33554432000 4194304 4196468 140733985524016 139968961104752 139969436605058 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11976704 140733985527980 140733985531228 140733985531228 140733985533903 0
[pid=8057/tid=8121] ppid=8054 vsize=10844512 memory=209164 CPUtime=1.81 cores=0,2,4,6
/proc/8057/task/8121/stat : 8121 (java) S 8054 8057 3468 0 -1 1077944384 5937 13016 0 0 172 2 5 2 20 0 15 0 49599244 11104780288 115572 33554432000 4194304 4196468 140733985524016 139968960051696 139969436605058 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11976704 140733985527980 140733985531228 140733985531228 140733985533903 0
[pid=8057/tid=8122] ppid=8054 vsize=10844512 memory=646 CPUtime=0.07 cores=0,2,4,6
/proc/8057/task/8122/stat : 8122 (java) S 8054 8057 3468 0 -1 1077944384 3 13016 0 0 0 0 5 2 20 0 15 0 49599244 11104780288 115572 33554432000 4194304 4196468 140733985524016 139967945591648 139969436604117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11976704 140733985527980 140733985531228 140733985531228 140733985533903 0
[pid=8057/tid=8123] ppid=8054 vsize=10844512 memory=226 CPUtime=0.07 cores=0,2,4,6
/proc/8057/task/8123/stat : 8123 (java) S 8054 8057 3468 0 -1 1077944384 14 13016 0 0 0 0 5 2 20 0 15 0 49599244 11104780288 115572 33554432000 4194304 4196468 140733985524016 139968958999088 139969436605058 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11976704 140733985527980 140733985531228 140733985531228 140733985533903 0
Current children cumulated CPU time: 15.55 s
Current children cumulated vsize: 10844512 KiB
Current children cumulated memory: 462288 KiB

[startup+12.7007 s]
/proc/loadavg: 1.50 1.53 1.58 5/215 8123
/proc/meminfo: memFree=26701168/32770624 swapFree=67108860/67108860
[pid=8057] ppid=8054 vsize=10916192 memory=915008 CPUtime=28.05 cores=0,2,4,6
/proc/8057/stat : 8057 (java) S 8054 8057 3468 0 -1 1077944320 80352 13016 0 0 2751 47 5 2 20 0 15 0 49599229 11178180608 228752 33554432000 4194304 4196468 140733985524016 140733985506560 139969436593911 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 11976704 140733985527980 140733985531228 140733985531228 140733985533903 0
/proc/8057/statm: 2729048 228752 3531 1 0 2690701 0
[pid=8057/tid=8110] ppid=8054 vsize=10916192 memory=916592 CPUtime=12.34 cores=0,2,4,6
/proc/8057/task/8110/stat : 8110 (java) R 8054 8057 3468 0 -1 4202560 40721 13016 0 0 1209 18 5 2 20 0 15 0 49599238 11178180608 228752 33554432000 4194304 4196468 140733985524016 139969408419840 139969060094761 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11976704 140733985527980 140733985531228 140733985531228 140733985533903 0
[pid=8057/tid=8111] ppid=8054 vsize=10916192 memory=914524 CPUtime=0.28 cores=0,2,4,6
/proc/8057/task/8111/stat : 8111 (java) S 8054 8057 3468 0 -1 1077944384 256 13016 0 0 17 4 5 2 20 0 15 0 49599239 11178180608 228752 33554432000 4194304 4196468 140733985524016 139969440836624 139969436604117 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11976704 140733985527980 140733985531228 140733985531228 140733985533903 0
[pid=8057/tid=8112] ppid=8054 vsize=10916192 memory=280810062802512 CPUtime=0.27 cores=0,2,4,6
/proc/8057/task/8112/stat : 8112 (java) S 8054 8057 3468 0 -1 1077944384 188 13016 0 0 16 4 5 2 20 0 15 0 49599239 11178180608 228752 33554432000 4194304 4196468 140733985524016 139969361796240 139969436604117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11976704 140733985527980 140733985531228 140733985531228 140733985533903 0
[pid=8057/tid=8113] ppid=8054 vsize=10916192 memory=20 CPUtime=0.27 cores=0,2,4,6
/proc/8057/task/8113/stat : 8113 (java) S 8054 8057 3468 0 -1 1077944384 263 13016 0 0 17 3 5 2 20 0 15 0 49599239 11178180608 228752 33554432000 4194304 4196468 140733985524016 139969008839440 139969436604117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11976704 140733985527980 140733985531228 140733985531228 140733985533903 0
[pid=8057/tid=8114] ppid=8054 vsize=10916192 memory=7 CPUtime=0.27 cores=0,2,4,6
/proc/8057/task/8114/stat : 8114 (java) S 8054 8057 3468 0 -1 1077944384 723 13016 0 0 17 3 5 2 20 0 15 0 49599239 11178180608 228752 33554432000 4194304 4196468 140733985524016 139969007786896 139969436604117 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11976704 140733985527980 140733985531228 140733985531228 140733985533903 0
[pid=8057/tid=8115] ppid=8054 vsize=10916192 memory=683748 CPUtime=0.14 cores=0,2,4,6
/proc/8057/task/8115/stat : 8115 (java) S 8054 8057 3468 0 -1 1077944384 3037 13016 0 0 7 0 5 2 20 0 15 0 49599240 11178180608 228752 33554432000 4194304 4196468 140733985524016 139968963209456 139969436605058 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11976704 140733985527980 140733985531228 140733985531228 140733985533903 0
[pid=8057/tid=8116] ppid=8054 vsize=10916192 memory=650980 CPUtime=0.07 cores=0,2,4,6
/proc/8057/task/8116/stat : 8116 (java) S 8054 8057 3468 0 -1 1077944384 14 13016 0 0 0 0 5 2 20 0 15 0 49599241 11178180608 228752 33554432000 4194304 4196468 140733985524016 139968756311264 139969436604117 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11976704 140733985527980 140733985531228 140733985531228 140733985533903 0
[pid=8057/tid=8117] ppid=8054 vsize=10916192 memory=4140 CPUtime=0.07 cores=0,2,4,6
/proc/8057/task/8117/stat : 8117 (java) S 8054 8057 3468 0 -1 1077944384 5 13016 0 0 0 0 5 2 20 0 15 0 49599241 11178180608 228752 33554432000 4194304 4196468 140733985524016 139968286548736 139969436604117 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11976704 140733985527980 140733985531228 140733985531228 140733985533903 0
[pid=8057/tid=8118] ppid=8054 vsize=10916192 memory=820492 CPUtime=0.07 cores=0,2,4,6
/proc/8057/task/8118/stat : 8118 (java) S 8054 8057 3468 0 -1 1077944384 3 13016 0 0 0 0 5 2 20 0 15 0 49599243 11178180608 228752 33554432000 4194304 4196468 140733985524016 139967979149264 139969436612507 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11976704 140733985527980 140733985531228 140733985531228 140733985533903 0
[pid=8057/tid=8119] ppid=8054 vsize=10916192 memory=820248 CPUtime=6.18 cores=0,2,4,6
/proc/8057/task/8119/stat : 8119 (java) R 8054 8057 3468 0 -1 4202560 14762 13016 0 0 608 3 5 2 20 0 15 0 49599244 11178180608 228752 33554432000 4194304 4196468 140733985524016 139968962139232 139969417294496 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11976704 140733985527980 140733985531228 140733985531228 140733985533903 0
[pid=8057/tid=8120] ppid=8054 vsize=10916192 memory=833628 CPUtime=6.12 cores=0,2,4,6
/proc/8057/task/8120/stat : 8120 (java) R 8054 8057 3468 0 -1 4202560 10855 13016 0 0 601 4 5 2 20 0 15 0 49599244 11178180608 228752 33554432000 4194304 4196468 140733985524016 139968961095728 139969420990747 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11976704 140733985527980 140733985531228 140733985531228 140733985533903 0
[pid=8057/tid=8121] ppid=8054 vsize=10916192 memory=33 CPUtime=2.65 cores=0,2,4,6
/proc/8057/task/8121/stat : 8121 (java) S 8054 8057 3468 0 -1 1077944384 7320 13016 0 0 255 3 5 2 20 0 15 0 49599244 11178180608 228752 33554432000 4194304 4196468 140733985524016 139968960051696 139969436605058 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11976704 140733985527980 140733985531228 140733985531228 140733985533903 0
[pid=8057/tid=8122] ppid=8054 vsize=10916192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/8057/task/8122/stat : 8122 (java) S 8054 8057 3468 0 -1 1077944384 3 13016 0 0 0 0 5 2 20 0 15 0 49599244 11178180608 228752 33554432000 4194304 4196468 140733985524016 139967945591648 139969436604117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11976704 140733985527980 140733985531228 140733985531228 140733985533903 0
[pid=8057/tid=8123] ppid=8054 vsize=10916192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/8057/task/8123/stat : 8123 (java) S 8054 8057 3468 0 -1 1077944384 14 13016 0 0 0 0 5 2 20 0 15 0 49599244 11178180608 228752 33554432000 4194304 4196468 140733985524016 139968958999088 139969436605058 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11976704 140733985527980 140733985531228 140733985531228 140733985533903 0
Current children cumulated CPU time: 28.05 s
Current children cumulated vsize: 10916192 KiB
Current children cumulated memory: 915008 KiB

[startup+13.1077 s]
# the end of solver process 8057 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=28.6031 s, system=0.529185 s

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

[startup+12.8009 s]
/proc/loadavg: 1.50 1.53 1.58 5/215 8123
/proc/meminfo: memFree=26701168/32770624 swapFree=67108860/67108860
[pid=8057] ppid=8054 vsize=10916192 memory=915008 CPUtime=28.36 cores=0,2,4,6
/proc/8057/stat : 8057 (java) S 8054 8057 3468 0 -1 1077944320 80368 13016 0 0 2782 47 5 2 20 0 15 0 49599229 11178180608 228752 33554432000 4194304 4196468 140733985524016 140733985506560 139969436593911 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 11976704 140733985527980 140733985531228 140733985531228 140733985533903 0
/proc/8057/statm: 2729048 228752 3531 1 0 2690701 0
[pid=8057/tid=8110] ppid=8054 vsize=10916192 memory=280810062839200 CPUtime=12.44 cores=0,2,4,6
/proc/8057/task/8110/stat : 8110 (java) R 8054 8057 3468 0 -1 4202560 40726 13016 0 0 1219 18 5 2 20 0 15 0 49599238 11178180608 228752 33554432000 4194304 4196468 140733985524016 139969408422832 139969055868272 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11976704 140733985527980 140733985531228 140733985531228 140733985533903 0
[pid=8057/tid=8111] ppid=8054 vsize=10916192 memory=-7605839032859523011 CPUtime=0.28 cores=0,2,4,6
/proc/8057/task/8111/stat : 8111 (java) S 8054 8057 3468 0 -1 1077944384 256 13016 0 0 17 4 5 2 20 0 15 0 49599239 11178180608 228752 33554432000 4194304 4196468 140733985524016 139969440836624 139969436604117 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11976704 140733985527980 140733985531228 140733985531228 140733985533903 0
[pid=8057/tid=8112] ppid=8054 vsize=10916192 memory=0 CPUtime=0.27 cores=0,2,4,6
/proc/8057/task/8112/stat : 8112 (java) S 8054 8057 3468 0 -1 1077944384 188 13016 0 0 16 4 5 2 20 0 15 0 49599239 11178180608 228752 33554432000 4194304 4196468 140733985524016 139969361796240 139969436604117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11976704 140733985527980 140733985531228 140733985531228 140733985533903 0
[pid=8057/tid=8113] ppid=8054 vsize=10916192 memory=140405031186096 CPUtime=0.27 cores=0,2,4,6
/proc/8057/task/8113/stat : 8113 (java) S 8054 8057 3468 0 -1 1077944384 263 13016 0 0 17 3 5 2 20 0 15 0 49599239 11178180608 228752 33554432000 4194304 4196468 140733985524016 139969008839440 139969436604117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11976704 140733985527980 140733985531228 140733985531228 140733985533903 0
[pid=8057/tid=8114] ppid=8054 vsize=10916192 memory=140405031356170 CPUtime=0.27 cores=0,2,4,6
/proc/8057/task/8114/stat : 8114 (java) S 8054 8057 3468 0 -1 1077944384 723 13016 0 0 17 3 5 2 20 0 15 0 49599239 11178180608 228752 33554432000 4194304 4196468 140733985524016 139969007786896 139969436604117 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11976704 140733985527980 140733985531228 140733985531228 140733985533903 0
[pid=8057/tid=8115] ppid=8054 vsize=10916192 memory=844740 CPUtime=0.14 cores=0,2,4,6
/proc/8057/task/8115/stat : 8115 (java) S 8054 8057 3468 0 -1 1077944384 3037 13016 0 0 7 0 5 2 20 0 15 0 49599240 11178180608 228752 33554432000 4194304 4196468 140733985524016 139968963209456 139969436605058 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11976704 140733985527980 140733985531228 140733985531228 140733985533903 0
[pid=8057/tid=8116] ppid=8054 vsize=10916192 memory=796 CPUtime=0.07 cores=0,2,4,6
/proc/8057/task/8116/stat : 8116 (java) S 8054 8057 3468 0 -1 1077944384 14 13016 0 0 0 0 5 2 20 0 15 0 49599241 11178180608 228752 33554432000 4194304 4196468 140733985524016 139968756311264 139969436604117 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11976704 140733985527980 140733985531228 140733985531228 140733985533903 0
[pid=8057/tid=8117] ppid=8054 vsize=10916192 memory=1712 CPUtime=0.07 cores=0,2,4,6
/proc/8057/task/8117/stat : 8117 (java) S 8054 8057 3468 0 -1 1077944384 5 13016 0 0 0 0 5 2 20 0 15 0 49599241 11178180608 228752 33554432000 4194304 4196468 140733985524016 139968286548736 139969436604117 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11976704 140733985527980 140733985531228 140733985531228 140733985533903 0
[pid=8057/tid=8118] ppid=8054 vsize=10916192 memory=1956 CPUtime=0.07 cores=0,2,4,6
/proc/8057/task/8118/stat : 8118 (java) S 8054 8057 3468 0 -1 1077944384 3 13016 0 0 0 0 5 2 20 0 15 0 49599243 11178180608 228752 33554432000 4194304 4196468 140733985524016 139967979149264 139969436612507 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11976704 140733985527980 140733985531228 140733985531228 140733985533903 0
[pid=8057/tid=8119] ppid=8054 vsize=10916192 memory=1196 CPUtime=6.28 cores=0,2,4,6
/proc/8057/task/8119/stat : 8119 (java) R 8054 8057 3468 0 -1 4202560 14770 13016 0 0 618 3 5 2 20 0 15 0 49599244 11178180608 228752 33554432000 4194304 4196468 140733985524016 139968962143728 139969415894866 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11976704 140733985527980 140733985531228 140733985531228 140733985533903 0
[pid=8057/tid=8120] ppid=8054 vsize=10916192 memory=8360 CPUtime=6.22 cores=0,2,4,6
/proc/8057/task/8120/stat : 8120 (java) R 8054 8057 3468 0 -1 4202560 10855 13016 0 0 611 4 5 2 20 0 15 0 49599244 11178180608 228752 33554432000 4194304 4196468 140733985524016 139968961088832 139969421357636 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11976704 140733985527980 140733985531228 140733985531228 140733985533903 0
[pid=8057/tid=8121] ppid=8054 vsize=10916192 memory=5520 CPUtime=2.66 cores=0,2,4,6
/proc/8057/task/8121/stat : 8121 (java) S 8054 8057 3468 0 -1 1077944384 7323 13016 0 0 256 3 5 2 20 0 15 0 49599244 11178180608 228752 33554432000 4194304 4196468 140733985524016 139968960051696 139969436605058 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11976704 140733985527980 140733985531228 140733985531228 140733985533903 0
[pid=8057/tid=8122] ppid=8054 vsize=10916192 memory=4616 CPUtime=0.07 cores=0,2,4,6
/proc/8057/task/8122/stat : 8122 (java) S 8054 8057 3468 0 -1 1077944384 3 13016 0 0 0 0 5 2 20 0 15 0 49599244 11178180608 228752 33554432000 4194304 4196468 140733985524016 139967945591648 139969436604117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11976704 140733985527980 140733985531228 140733985531228 140733985533903 0
[pid=8057/tid=8123] ppid=8054 vsize=10916192 memory=1424 CPUtime=0.07 cores=0,2,4,6
/proc/8057/task/8123/stat : 8123 (java) S 8054 8057 3468 0 -1 1077944384 14 13016 0 0 0 0 5 2 20 0 15 0 49599244 11178180608 228752 33554432000 4194304 4196468 140733985524016 139968958999088 139969436605058 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11976704 140733985527980 140733985531228 140733985531228 140733985533903 0
Current children cumulated CPU time: 28.36 s
Current children cumulated vsize: 10916192 KiB
Current children cumulated memory: 915008 KiB

[startup+13.0007 s]*
/proc/loadavg: 1.50 1.53 1.58 3/215 8123
/proc/meminfo: memFree=26699132/32770624 swapFree=67108860/67108860
[pid=8057] ppid=8054 vsize=10916192 memory=915388 CPUtime=28.95 cores=0,2,4,6
/proc/8057/stat : 8057 (java) S 8054 8057 3468 0 -1 1077944320 80531 13016 0 0 2841 47 5 2 20 0 15 0 49599229 11178180608 228847 33554432000 4194304 4196468 140733985524016 140733985506560 139969436593911 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 11976704 140733985527980 140733985531228 140733985531228 140733985533903 0
/proc/8057/statm: 2729048 228847 3531 1 0 2690701 0
[pid=8057/tid=8110] ppid=8054 vsize=10916192 memory=8112282956445269571 CPUtime=12.64 cores=0,2,4,6
/proc/8057/task/8110/stat : 8110 (java) R 8054 8057 3468 0 -1 4202560 40879 13016 0 0 1239 18 5 2 20 0 15 0 49599238 11178180608 228847 33554432000 4194304 4196468 140733985524016 139969408428400 139969054756704 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11976704 140733985527980 140733985531228 140733985531228 140733985533903 0
[pid=8057/tid=8111] ppid=8054 vsize=10916192 memory=3762204689424869714 CPUtime=0.28 cores=0,2,4,6
/proc/8057/task/8111/stat : 8111 (java) S 8054 8057 3468 0 -1 1077944384 256 13016 0 0 17 4 5 2 20 0 15 0 49599239 11178180608 228847 33554432000 4194304 4196468 140733985524016 139969440836624 139969436604117 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11976704 140733985527980 140733985531228 140733985531228 140733985533903 0
[pid=8057/tid=8112] ppid=8054 vsize=10916192 memory=140405164299904 CPUtime=0.27 cores=0,2,4,6
/proc/8057/task/8112/stat : 8112 (java) S 8054 8057 3468 0 -1 1077944384 188 13016 0 0 16 4 5 2 20 0 15 0 49599239 11178180608 228847 33554432000 4194304 4196468 140733985524016 139969361796240 139969436604117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11976704 140733985527980 140733985531228 140733985531228 140733985533903 0
[pid=8057/tid=8113] ppid=8054 vsize=10916192 memory=7014751519717676132 CPUtime=0.27 cores=0,2,4,6
/proc/8057/task/8113/stat : 8113 (java) S 8054 8057 3468 0 -1 1077944384 263 13016 0 0 17 3 5 2 20 0 15 0 49599239 11178180608 228847 33554432000 4194304 4196468 140733985524016 139969008839440 139969436604117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11976704 140733985527980 140733985531228 140733985531228 140733985533903 0
[pid=8057/tid=8114] ppid=8054 vsize=10916192 memory=3763099673816014896 CPUtime=0.27 cores=0,2,4,6
/proc/8057/task/8114/stat : 8114 (java) S 8054 8057 3468 0 -1 1077944384 723 13016 0 0 17 3 5 2 20 0 15 0 49599239 11178180608 228847 33554432000 4194304 4196468 140733985524016 139969007786896 139969436604117 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11976704 140733985527980 140733985531228 140733985531228 140733985533903 0
[pid=8057/tid=8115] ppid=8054 vsize=10916192 memory=5787213934153056357 CPUtime=0.14 cores=0,2,4,6
/proc/8057/task/8115/stat : 8115 (java) S 8054 8057 3468 0 -1 1077944384 3037 13016 0 0 7 0 5 2 20 0 15 0 49599240 11178180608 228847 33554432000 4194304 4196468 140733985524016 139968963209456 139969436605058 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11976704 140733985527980 140733985531228 140733985531228 140733985533903 0
[pid=8057/tid=8116] ppid=8054 vsize=10916192 memory=3539882221918887985 CPUtime=0.07 cores=0,2,4,6
/proc/8057/task/8116/stat : 8116 (java) S 8054 8057 3468 0 -1 1077944384 14 13016 0 0 0 0 5 2 20 0 15 0 49599241 11178180608 228847 33554432000 4194304 4196468 140733985524016 139968756311264 139969436604117 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11976704 140733985527980 140733985531228 140733985531228 140733985533903 0
[pid=8057/tid=8117] ppid=8054 vsize=10916192 memory=3762397827369634480 CPUtime=0.07 cores=0,2,4,6
/proc/8057/task/8117/stat : 8117 (java) S 8054 8057 3468 0 -1 1077944384 5 13016 0 0 0 0 5 2 20 0 15 0 49599241 11178180608 228847 33554432000 4194304 4196468 140733985524016 139968286548736 139969436604117 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11976704 140733985527980 140733985531228 140733985531228 140733985533903 0
[pid=8057/tid=8118] ppid=8054 vsize=10916192 memory=3690471420374038581 CPUtime=0.07 cores=0,2,4,6
/proc/8057/task/8118/stat : 8118 (java) S 8054 8057 3468 0 -1 1077944384 3 13016 0 0 0 0 5 2 20 0 15 0 49599243 11178180608 228847 33554432000 4194304 4196468 140733985524016 139967979149264 139969436612507 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11976704 140733985527980 140733985531228 140733985531228 140733985533903 0
[pid=8057/tid=8119] ppid=8054 vsize=10916192 memory=0 CPUtime=6.46 cores=0,2,4,6
/proc/8057/task/8119/stat : 8119 (java) S 8054 8057 3468 0 -1 1077944384 14770 13016 0 0 636 3 5 2 20 0 15 0 49599244 11178180608 228847 33554432000 4194304 4196468 140733985524016 139968962157296 139969436605058 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11976704 140733985527980 140733985531228 140733985531228 140733985533903 0
[pid=8057/tid=8120] ppid=8054 vsize=10916192 memory=3690471420374038577 CPUtime=6.39 cores=0,2,4,6
/proc/8057/task/8120/stat : 8120 (java) S 8054 8057 3468 0 -1 1077944384 10859 13016 0 0 628 4 5 2 20 0 15 0 49599244 11178180608 228847 33554432000 4194304 4196468 140733985524016 139968961104752 139969436605058 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11976704 140733985527980 140733985531228 140733985531228 140733985533903 0
[pid=8057/tid=8121] ppid=8054 vsize=10916192 memory=3692781649917078634 CPUtime=2.69 cores=0,2,4,6
/proc/8057/task/8121/stat : 8121 (java) S 8054 8057 3468 0 -1 1077944384 7329 13016 0 0 259 3 5 2 20 0 15 0 49599244 11178180608 228847 33554432000 4194304 4196468 140733985524016 139968960051696 139969436605058 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11976704 140733985527980 140733985531228 140733985531228 140733985533903 0
[pid=8057/tid=8122] ppid=8054 vsize=10916192 memory=6944656592455097440 CPUtime=0.07 cores=0,2,4,6
/proc/8057/task/8122/stat : 8122 (java) S 8054 8057 3468 0 -1 1077944384 3 13016 0 0 0 0 5 2 20 0 15 0 49599244 11178180608 228847 33554432000 4194304 4196468 140733985524016 139967945591648 139969436604117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11976704 140733985527980 140733985531228 140733985531228 140733985533903 0
[pid=8057/tid=8123] ppid=8054 vsize=10916192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/8057/task/8123/stat : 8123 (java) S 8054 8057 3468 0 -1 1077944384 14 13016 0 0 0 0 5 2 20 0 15 0 49599244 11178180608 228847 33554432000 4194304 4196468 140733985524016 139968958999088 139969436605058 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11976704 140733985527980 140733985531228 140733985531228 140733985533903 0
Current children cumulated CPU time: 28.95 s
Current children cumulated vsize: 10916192 KiB
Current children cumulated memory: 915388 KiB

Child status: 0
Real time (s): 13.1078
CPU time (s): 29.1323
CPU user time (s): 28.6031
CPU system time (s): 0.529185
CPU usage (%): 222.252
Max. virtual memory (cumulated for all children) (KiB): 10916840
Max. memory (cumulated for all children) (KiB): 916592

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 28.6031
system time used= 0.529185
maximum resident set size= 917724
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 93647
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= 9579
involuntary context switches= 124


# summary of solver processes directly reported to runsolver:
#   pid: 8057
#   total CPU time (s): 29.1323
#   total CPU user time (s): 28.6031
#   total CPU system time (s): 0.529185

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.088167 second user time and 0.181287 second system time

The end
Name	Rlfap/Rlfap-opt/ Rlfap-scen-04-opt_c18.xml
MD5SUM	78811932529a67bdc61c23a432ac663c
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	OPT
Best value of the objective obtained on this benchmark	46
Best CPU time to get the best result obtained on this benchmark	2.11183
Satisfiable
(Un)Satisfiability was proved
Number of variables	680
Number of constraints	3968
Number of domains	5
Minimum domain size	6
Maximum domain size	44
Distribution of domain sizes	[{"size":6,"count":2},{"size":22,"count":10},{"size":24,"count":4},{"size":36,"count":336},{"size":44,"count":328}]
Minimum variable degree	3
Maximum variable degree	64
Distribution of variable degrees	[{"degree":3,"count":1},{"degree":4,"count":16},{"degree":5,"count":22},{"degree":6,"count":62},{"degree":7,"count":42},{"degree":8,"count":62},{"degree":9,"count":40},{"degree":10,"count":55},{"degree":11,"count":55},{"degree":12,"count":47},{"degree":13,"count":41},{"degree":14,"count":26},{"degree":15,"count":25},{"degree":16,"count":24},{"degree":17,"count":19},{"degree":18,"count":19},{"degree":19,"count":19},{"degree":20,"count":10},{"degree":21,"count":10},{"degree":22,"count":17},{"degree":23,"count":8},{"degree":24,"count":6},{"degree":25,"count":10},{"degree":26,"count":9},{"degree":27,"count":10},{"degree":28,"count":3},{"degree":29,"count":2},{"degree":31,"count":4},{"degree":32,"count":3},{"degree":33,"count":1},{"degree":35,"count":1},{"degree":36,"count":1},{"degree":40,"count":3},{"degree":41,"count":1},{"degree":44,"count":2},{"degree":45,"count":1},{"degree":47,"count":1},{"degree":57,"count":1},{"degree":64,"count":1}]
Minimum constraint arity	2
Maximum constraint arity	280
Distribution of constraint arities	[{"arity":2,"count":3967},{"arity":280,"count":1}]
Number of extensional constraints	0
Number of intensional constraints	3967
Distribution of constraint types	[{"type":"intension","count":3967},{"type":"instantiation","count":1}]
Optimization problem	YES
Type of objective	min NVALUES
Trace number 4293621

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data
