2018 XCSP3 competition: sequential solvers tracks competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
Concrete 3.9.2	OPT	46	29.5253	13.2539
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 (4246 MiB free)
  memory of node 1: 16384 MiB (5427 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4304341-1534060075/watcher-4304341-1534060075 -o /tmp/evaluation-result-4304341-1534060075/solver-4304341-1534060075 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node149-1534038877-15391 --watchdog 2580 bin/xcsp-3-concrete -J-Xss64M -randomseed=1909163633 HOME/instance-4304341-1534060075.xml 

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

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


[startup+0.100137 s]*
/proc/loadavg: 1.48 1.63 1.59 3/206 20065
/proc/meminfo: memFree=9896580/32770624 swapFree=67108496/67108860
[pid=20008] ppid=20005 vsize=10088124 memory=18856 CPUtime=0.09 cores=1,3,5,7
/proc/20008/stat : 20008 (java) S 20005 20008 14233 0 -1 1077944320 4356 12959 0 0 1 1 5 2 20 0 7 0 223570698 10330238976 4714 33554432000 4194304 4196468 140732419398768 140732419381312 140621947473655 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 39784448 140732419402348 140732419405148 140732419405148 140732419407823 0
/proc/20008/statm: 2522031 4714 1972 1 0 2510469 0
[pid=20008/tid=20061] ppid=20005 vsize=10088124 memory=4279135704013833615 CPUtime=0.08 cores=1,3,5,7
/proc/20008/task/20061/stat : 20061 (java) R 20005 20008 14233 0 -1 4202560 2209 12959 0 0 1 0 5 2 20 0 7 0 223570706 10330238976 4780 33554432000 4194304 4196468 140732419398768 140621919316752 140621947495581 0 4 0 16784584 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39784448 140732419402348 140732419405148 140732419405148 140732419407823 0
[pid=20008/tid=20062] ppid=20005 vsize=10088124 memory=8257237230052613020 CPUtime=0.07 cores=1,3,5,7
/proc/20008/task/20062/stat : 20062 (java) S 20005 20008 14233 0 -1 1077944384 1 12959 0 0 0 0 5 2 20 0 7 0 223570707 10330238976 4780 33554432000 4194304 4196468 140732419398768 140621951716496 140621947483861 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39784448 140732419402348 140732419405148 140732419405148 140732419407823 0
[pid=20008/tid=20063] ppid=20005 vsize=10088124 memory=140568368506496 CPUtime=0.07 cores=1,3,5,7
/proc/20008/task/20063/stat : 20063 (java) S 20005 20008 14233 0 -1 1077944384 1 12959 0 0 0 0 5 2 20 0 7 0 223570707 10330238976 4780 33554432000 4194304 4196468 140732419398768 140621806435344 140621947483861 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39784448 140732419402348 140732419405148 140732419405148 140732419407823 0
[pid=20008/tid=20064] ppid=20005 vsize=10088124 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/20008/task/20064/stat : 20064 (java) S 20005 20008 14233 0 -1 1077944384 1 12959 0 0 0 0 5 2 20 0 7 0 223570707 10330238976 4780 33554432000 4194304 4196468 140732419398768 140621805382544 140621947483861 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39784448 140732419402348 140732419405148 140732419405148 140732419407823 0
[pid=20008/tid=20065] ppid=20005 vsize=10088124 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/20008/task/20065/stat : 20065 (java) S 20005 20008 14233 0 -1 1077944384 2 12959 0 0 0 0 5 2 20 0 7 0 223570707 10330238976 4780 33554432000 4194304 4196468 140732419398768 140621804329744 140621947483861 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39784448 140732419402348 140732419405148 140732419405148 140732419407823 0
[pid=20008/tid=20066] ppid=20005 vsize=10088124 memory=140568368506496 CPUtime=0.07 cores=1,3,5,7
/proc/20008/task/20066/stat : 20066 (java) S 20005 20008 14233 0 -1 1077944384 2 12959 0 0 0 0 5 2 20 0 7 0 223570709 10330238976 4780 33554432000 4194304 4196468 140732419398768 140621372287344 140621947484802 0 0 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39784448 140732419402348 140732419405148 140732419405148 140732419407823 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 10088124 KiB
Current children cumulated memory: 18856 KiB

[startup+0.210214 s]*
/proc/loadavg: 1.48 1.63 1.59 3/215 20074
/proc/meminfo: memFree=9875296/32770624 swapFree=67108496/67108860
[pid=20008] ppid=20005 vsize=10982776 memory=47388 CPUtime=0.25 cores=1,3,5,7
/proc/20008/stat : 20008 (java) S 20005 20008 14233 0 -1 1077944320 8702 12959 0 0 17 1 5 2 20 0 15 0 223570698 11246362624 11847 33554432000 4194304 4196468 140732419398768 140732419381312 140621947473655 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 39784448 140732419402348 140732419405148 140732419405148 140732419407823 0
/proc/20008/statm: 2745694 11847 2950 1 0 2708117 0
[pid=20008/tid=20061] ppid=20005 vsize=10982776 memory=7022364594140610616 CPUtime=0.19 cores=1,3,5,7
/proc/20008/task/20061/stat : 20061 (java) R 20005 20008 14233 0 -1 4202560 5442 12959 0 0 11 1 5 2 20 0 15 0 223570706 11246362624 12045 33554432000 4194304 4196468 140732419398768 140621919298464 140621940153373 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39784448 140732419402348 140732419405148 140732419405148 140732419407823 0
[pid=20008/tid=20062] ppid=20005 vsize=10982776 memory=364 CPUtime=0.07 cores=1,3,5,7
/proc/20008/task/20062/stat : 20062 (java) S 20005 20008 14233 0 -1 1077944384 1 12959 0 0 0 0 5 2 20 0 15 0 223570707 11246362624 12045 33554432000 4194304 4196468 140732419398768 140621951716496 140621947483861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39784448 140732419402348 140732419405148 140732419405148 140732419407823 0
[pid=20008/tid=20063] ppid=20005 vsize=10982776 memory=140568369692261 CPUtime=0.07 cores=1,3,5,7
/proc/20008/task/20063/stat : 20063 (java) S 20005 20008 14233 0 -1 1077944384 1 12959 0 0 0 0 5 2 20 0 15 0 223570707 11246362624 12045 33554432000 4194304 4196468 140732419398768 140621806435344 140621947483861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39784448 140732419402348 140732419405148 140732419405148 140732419407823 0
[pid=20008/tid=20064] ppid=20005 vsize=10982776 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/20008/task/20064/stat : 20064 (java) S 20005 20008 14233 0 -1 1077944384 1 12959 0 0 0 0 5 2 20 0 15 0 223570707 11246362624 12111 33554432000 4194304 4196468 140732419398768 140621805382544 140621947483861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39784448 140732419402348 140732419405148 140732419405148 140732419407823 0
[pid=20008/tid=20065] ppid=20005 vsize=10982776 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/20008/task/20065/stat : 20065 (java) S 20005 20008 14233 0 -1 1077944384 2 12959 0 0 0 0 5 2 20 0 15 0 223570707 11246362624 12111 33554432000 4194304 4196468 140732419398768 140621804329744 140621947483861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39784448 140732419402348 140732419405148 140732419405148 140732419407823 0
[pid=20008/tid=20066] ppid=20005 vsize=10982776 memory=140568368506496 CPUtime=0.07 cores=1,3,5,7
/proc/20008/task/20066/stat : 20066 (java) S 20005 20008 14233 0 -1 1077944384 2 12959 0 0 0 0 5 2 20 0 15 0 223570709 11246362624 12111 33554432000 4194304 4196468 140732419398768 140621372287344 140621947484802 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39784448 140732419402348 140732419405148 140732419405148 140732419407823 0
[pid=20008/tid=20067] ppid=20005 vsize=10982776 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/20008/task/20067/stat : 20067 (java) S 20005 20008 14233 0 -1 1077944384 13 12959 0 0 0 0 5 2 20 0 15 0 223570709 11246362624 12177 33554432000 4194304 4196468 140732419398768 140620786033696 140621947483861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39784448 140732419402348 140732419405148 140732419405148 140732419407823 0
[pid=20008/tid=20068] ppid=20005 vsize=10982776 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/20008/task/20068/stat : 20068 (java) S 20005 20008 14233 0 -1 1077944384 1 12959 0 0 0 0 5 2 20 0 15 0 223570709 11246362624 12177 33554432000 4194304 4196468 140732419398768 140620584706928 140621947483861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39784448 140732419402348 140732419405148 140732419405148 140732419407823 0
[pid=20008/tid=20069] ppid=20005 vsize=10982776 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/20008/task/20069/stat : 20069 (java) S 20005 20008 14233 0 -1 1077944384 3 12959 0 0 0 0 5 2 20 0 15 0 223570712 11246362624 12177 33554432000 4194304 4196468 140732419398768 140620277307216 140621947492251 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39784448 140732419402348 140732419405148 140732419405148 140732419407823 0
[pid=20008/tid=20070] ppid=20005 vsize=10982776 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/20008/task/20070/stat : 20070 (java) S 20005 20008 14233 0 -1 1077944384 370 12959 0 0 1 0 5 2 20 0 15 0 223570712 11246362624 12177 33554432000 4194304 4196468 140732419398768 140621371235184 140621947484802 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39784448 140732419402348 140732419405148 140732419405148 140732419407823 0
[pid=20008/tid=20071] ppid=20005 vsize=10982744 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/20008/task/20071/stat : 20071 (java) S 20005 20008 14233 0 -1 1077944384 260 12959 0 0 0 0 5 2 20 0 15 0 223570712 11246329856 12230 33554432000 4194304 4196468 140732419398768 140621370182384 140621947484802 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39784448 140732419402348 140732419405148 140732419405148 140732419407823 0
[pid=20008/tid=20072] ppid=20005 vsize=10982744 memory=140568368506496 CPUtime=0.1 cores=1,3,5,7
/proc/20008/task/20072/stat : 20072 (java) S 20005 20008 14233 0 -1 1077944384 608 12959 0 0 3 0 5 2 20 0 15 0 223570712 11246329856 12230 33554432000 4194304 4196468 140732419398768 140621369129584 140621947484802 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39784448 140732419402348 140732419405148 140732419405148 140732419407823 0
[pid=20008/tid=20073] ppid=20005 vsize=10982744 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/20008/task/20073/stat : 20073 (java) S 20005 20008 14233 0 -1 1077944384 3 12959 0 0 0 0 5 2 20 0 15 0 223570712 11246329856 12230 33554432000 4194304 4196468 140732419398768 140619846511328 140621947483861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39784448 140732419402348 140732419405148 140732419405148 140732419407823 0
[pid=20008/tid=20074] ppid=20005 vsize=10982744 memory=140568368506496 CPUtime=0.07 cores=1,3,5,7
/proc/20008/task/20074/stat : 20074 (java) S 20005 20008 14233 0 -1 1077944384 1 12959 0 0 0 0 5 2 20 0 15 0 223570712 11246329856 12230 33554432000 4194304 4196468 140732419398768 140621368076976 140621947484802 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39784448 140732419402348 140732419405148 140732419405148 140732419407823 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 10982776 KiB
Current children cumulated memory: 47388 KiB

[startup+0.310302 s]*
/proc/loadavg: 1.48 1.63 1.59 3/215 20074
/proc/meminfo: memFree=9861652/32770624 swapFree=67108496/67108860
[pid=20008] ppid=20005 vsize=10983192 memory=56796 CPUtime=0.38 cores=1,3,5,7
/proc/20008/stat : 20008 (java) S 20005 20008 14233 0 -1 1077944320 10291 12959 0 0 29 2 5 2 20 0 15 0 223570698 11246788608 14199 33554432000 4194304 4196468 140732419398768 140732419381312 140621947473655 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 39784448 140732419402348 140732419405148 140732419405148 140732419407823 0
/proc/20008/statm: 2745798 14199 3069 1 0 2708109 0
[pid=20008/tid=20061] ppid=20005 vsize=10983192 memory=6791534058613427641 CPUtime=0.28 cores=1,3,5,7
/proc/20008/task/20061/stat : 20061 (java) R 20005 20008 14233 0 -1 4202560 6826 12959 0 0 20 1 5 2 20 0 15 0 223570706 11246788608 14199 33554432000 4194304 4196468 140732419398768 140621919285664 140621939710782 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39784448 140732419402348 140732419405148 140732419405148 140732419407823 0
[pid=20008/tid=20062] ppid=20005 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/20008/task/20062/stat : 20062 (java) S 20005 20008 14233 0 -1 1077944384 1 12959 0 0 0 0 5 2 20 0 15 0 223570707 11246788608 14199 33554432000 4194304 4196468 140732419398768 140621951716496 140621947483861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39784448 140732419402348 140732419405148 140732419405148 140732419407823 0
[pid=20008/tid=20063] ppid=20005 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/20008/task/20063/stat : 20063 (java) S 20005 20008 14233 0 -1 1077944384 1 12959 0 0 0 0 5 2 20 0 15 0 223570707 11246788608 14199 33554432000 4194304 4196468 140732419398768 140621806435344 140621947483861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39784448 140732419402348 140732419405148 140732419405148 140732419407823 0
[pid=20008/tid=20064] ppid=20005 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/20008/task/20064/stat : 20064 (java) S 20005 20008 14233 0 -1 1077944384 1 12959 0 0 0 0 5 2 20 0 15 0 223570707 11246788608 14199 33554432000 4194304 4196468 140732419398768 140621805382544 140621947483861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39784448 140732419402348 140732419405148 140732419405148 140732419407823 0
[pid=20008/tid=20065] ppid=20005 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/20008/task/20065/stat : 20065 (java) S 20005 20008 14233 0 -1 1077944384 2 12959 0 0 0 0 5 2 20 0 15 0 223570707 11246788608 14199 33554432000 4194304 4196468 140732419398768 140621804329744 140621947483861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39784448 140732419402348 140732419405148 140732419405148 140732419407823 0
[pid=20008/tid=20066] ppid=20005 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/20008/task/20066/stat : 20066 (java) S 20005 20008 14233 0 -1 1077944384 2 12959 0 0 0 0 5 2 20 0 15 0 223570709 11246788608 14199 33554432000 4194304 4196468 140732419398768 140621372287344 140621947484802 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39784448 140732419402348 140732419405148 140732419405148 140732419407823 0
[pid=20008/tid=20067] ppid=20005 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/20008/task/20067/stat : 20067 (java) S 20005 20008 14233 0 -1 1077944384 13 12959 0 0 0 0 5 2 20 0 15 0 223570709 11246788608 14199 33554432000 4194304 4196468 140732419398768 140620786033696 140621947483861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39784448 140732419402348 140732419405148 140732419405148 140732419407823 0
[pid=20008/tid=20068] ppid=20005 vsize=10983192 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/20008/task/20068/stat : 20068 (java) S 20005 20008 14233 0 -1 1077944384 1 12959 0 0 0 0 5 2 20 0 15 0 223570709 11246788608 14199 33554432000 4194304 4196468 140732419398768 140620584706928 140621947483861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39784448 140732419402348 140732419405148 140732419405148 140732419407823 0
[pid=20008/tid=20069] ppid=20005 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/20008/task/20069/stat : 20069 (java) S 20005 20008 14233 0 -1 1077944384 3 12959 0 0 0 0 5 2 20 0 15 0 223570712 11246788608 14199 33554432000 4194304 4196468 140732419398768 140620277307216 140621947492251 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39784448 140732419402348 140732419405148 140732419405148 140732419407823 0
[pid=20008/tid=20070] ppid=20005 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/20008/task/20070/stat : 20070 (java) S 20005 20008 14233 0 -1 1077944384 370 12959 0 0 1 0 5 2 20 0 15 0 223570712 11246788608 14199 33554432000 4194304 4196468 140732419398768 140621371235184 140621947484802 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39784448 140732419402348 140732419405148 140732419405148 140732419407823 0
[pid=20008/tid=20071] ppid=20005 vsize=10983192 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/20008/task/20071/stat : 20071 (java) S 20005 20008 14233 0 -1 1077944384 263 12959 0 0 1 0 5 2 20 0 15 0 223570712 11246788608 14199 33554432000 4194304 4196468 140732419398768 140621370182384 140621947484802 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39784448 140732419402348 140732419405148 140732419405148 140732419407823 0
[pid=20008/tid=20072] ppid=20005 vsize=10983192 memory=140568368506496 CPUtime=0.11 cores=1,3,5,7
/proc/20008/task/20072/stat : 20072 (java) R 20005 20008 14233 0 -1 4202560 616 12959 0 0 4 0 5 2 20 0 15 0 223570712 11246788608 14199 33554432000 4194304 4196468 140732419398768 140621369129584 140621947495002 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39784448 140732419402348 140732419405148 140732419405148 140732419407823 0
[pid=20008/tid=20073] ppid=20005 vsize=10983192 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/20008/task/20073/stat : 20073 (java) S 20005 20008 14233 0 -1 1077944384 3 12959 0 0 0 0 5 2 20 0 15 0 223570712 11246788608 14199 33554432000 4194304 4196468 140732419398768 140619846511328 140621947483861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39784448 140732419402348 140732419405148 140732419405148 140732419407823 0
[pid=20008/tid=20074] ppid=20005 vsize=10983192 memory=140568368506496 CPUtime=0.07 cores=1,3,5,7
/proc/20008/task/20074/stat : 20074 (java) S 20005 20008 14233 0 -1 1077944384 1 12959 0 0 0 0 5 2 20 0 15 0 223570712 11246788608 14199 33554432000 4194304 4196468 140732419398768 140621368076976 140621947484802 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39784448 140732419402348 140732419405148 140732419405148 140732419407823 0
Current children cumulated CPU time: 0.38 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 56796 KiB

[startup+0.700781 s]
/proc/loadavg: 1.48 1.63 1.59 3/215 20074
/proc/meminfo: memFree=9852844/32770624 swapFree=67108496/67108860
[pid=20008] ppid=20005 vsize=10983192 memory=89108 CPUtime=0.98 cores=1,3,5,7
/proc/20008/stat : 20008 (java) S 20005 20008 14233 0 -1 1077944320 16358 12959 0 0 87 4 5 2 20 0 15 0 223570698 11246788608 22277 33554432000 4194304 4196468 140732419398768 140732419381312 140621947473655 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 39784448 140732419402348 140732419405148 140732419405148 140732419407823 0
/proc/20008/statm: 2745798 22277 3238 1 0 2708109 0
[pid=20008/tid=20061] ppid=20005 vsize=10983192 memory=0 CPUtime=0.66 cores=1,3,5,7
/proc/20008/task/20061/stat : 20061 (java) R 20005 20008 14233 0 -1 4202560 11861 12959 0 0 56 3 5 2 20 0 15 0 223570706 11246788608 22277 33554432000 4194304 4196468 140732419398768 140621919294480 140621929037230 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39784448 140732419402348 140732419405148 140732419405148 140732419407823 0
[pid=20008/tid=20062] ppid=20005 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/20008/task/20062/stat : 20062 (java) S 20005 20008 14233 0 -1 1077944384 1 12959 0 0 0 0 5 2 20 0 15 0 223570707 11246788608 22277 33554432000 4194304 4196468 140732419398768 140621951716496 140621947483861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39784448 140732419402348 140732419405148 140732419405148 140732419407823 0
[pid=20008/tid=20063] ppid=20005 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/20008/task/20063/stat : 20063 (java) S 20005 20008 14233 0 -1 1077944384 1 12959 0 0 0 0 5 2 20 0 15 0 223570707 11246788608 22277 33554432000 4194304 4196468 140732419398768 140621806435344 140621947483861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39784448 140732419402348 140732419405148 140732419405148 140732419407823 0
[pid=20008/tid=20064] ppid=20005 vsize=10983192 memory=8514701219931451533 CPUtime=0.07 cores=1,3,5,7
/proc/20008/task/20064/stat : 20064 (java) S 20005 20008 14233 0 -1 1077944384 1 12959 0 0 0 0 5 2 20 0 15 0 223570707 11246788608 22277 33554432000 4194304 4196468 140732419398768 140621805382544 140621947483861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39784448 140732419402348 140732419405148 140732419405148 140732419407823 0
[pid=20008/tid=20065] ppid=20005 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/20008/task/20065/stat : 20065 (java) S 20005 20008 14233 0 -1 1077944384 2 12959 0 0 0 0 5 2 20 0 15 0 223570707 11246788608 22277 33554432000 4194304 4196468 140732419398768 140621804329744 140621947483861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39784448 140732419402348 140732419405148 140732419405148 140732419407823 0
[pid=20008/tid=20066] ppid=20005 vsize=10983192 memory=6656426216303648864 CPUtime=0.07 cores=1,3,5,7
/proc/20008/task/20066/stat : 20066 (java) S 20005 20008 14233 0 -1 1077944384 5 12959 0 0 0 0 5 2 20 0 15 0 223570709 11246788608 22277 33554432000 4194304 4196468 140732419398768 140621372287344 140621947484802 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39784448 140732419402348 140732419405148 140732419405148 140732419407823 0
[pid=20008/tid=20067] ppid=20005 vsize=10983192 memory=68 CPUtime=0.07 cores=1,3,5,7
/proc/20008/task/20067/stat : 20067 (java) S 20005 20008 14233 0 -1 1077944384 13 12959 0 0 0 0 5 2 20 0 15 0 223570709 11246788608 22277 33554432000 4194304 4196468 140732419398768 140620786033696 140621947483861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39784448 140732419402348 140732419405148 140732419405148 140732419407823 0
[pid=20008/tid=20068] ppid=20005 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/20008/task/20068/stat : 20068 (java) S 20005 20008 14233 0 -1 1077944384 1 12959 0 0 0 0 5 2 20 0 15 0 223570709 11246788608 22277 33554432000 4194304 4196468 140732419398768 140620584706928 140621947483861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39784448 140732419402348 140732419405148 140732419405148 140732419407823 0
[pid=20008/tid=20069] ppid=20005 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/20008/task/20069/stat : 20069 (java) S 20005 20008 14233 0 -1 1077944384 3 12959 0 0 0 0 5 2 20 0 15 0 223570712 11246788608 22277 33554432000 4194304 4196468 140732419398768 140620277307216 140621947492251 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39784448 140732419402348 140732419405148 140732419405148 140732419407823 0
[pid=20008/tid=20070] ppid=20005 vsize=10983192 memory=0 CPUtime=0.17 cores=1,3,5,7
/proc/20008/task/20070/stat : 20070 (java) S 20005 20008 14233 0 -1 1077944384 974 12959 0 0 10 0 5 2 20 0 15 0 223570712 11246788608 22277 33554432000 4194304 4196468 140732419398768 140621371235184 140621947484802 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39784448 140732419402348 140732419405148 140732419405148 140732419407823 0
[pid=20008/tid=20071] ppid=20005 vsize=10983192 memory=0 CPUtime=0.13 cores=1,3,5,7
/proc/20008/task/20071/stat : 20071 (java) S 20005 20008 14233 0 -1 1077944384 637 12959 0 0 6 0 5 2 20 0 15 0 223570712 11246788608 22277 33554432000 4194304 4196468 140732419398768 140621370182384 140621947484802 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39784448 140732419402348 140732419405148 140732419405148 140732419407823 0
[pid=20008/tid=20072] ppid=20005 vsize=10983192 memory=0 CPUtime=0.2 cores=1,3,5,7
/proc/20008/task/20072/stat : 20072 (java) S 20005 20008 14233 0 -1 1077944384 665 12959 0 0 13 0 5 2 20 0 15 0 223570712 11246788608 22277 33554432000 4194304 4196468 140732419398768 140621369129584 140621947484802 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39784448 140732419402348 140732419405148 140732419405148 140732419407823 0
[pid=20008/tid=20073] ppid=20005 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/20008/task/20073/stat : 20073 (java) S 20005 20008 14233 0 -1 1077944384 3 12959 0 0 0 0 5 2 20 0 15 0 223570712 11246788608 22277 33554432000 4194304 4196468 140732419398768 140619846511328 140621947483861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39784448 140732419402348 140732419405148 140732419405148 140732419407823 0
[pid=20008/tid=20074] ppid=20005 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/20008/task/20074/stat : 20074 (java) S 20005 20008 14233 0 -1 1077944384 1 12959 0 0 0 0 5 2 20 0 15 0 223570712 11246788608 22277 33554432000 4194304 4196468 140732419398768 140621368076976 140621947484802 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39784448 140732419402348 140732419405148 140732419405148 140732419407823 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 89108 KiB

[startup+1.5008 s]
/proc/loadavg: 1.48 1.63 1.59 4/215 20074
/proc/meminfo: memFree=9811200/32770624 swapFree=67108496/67108860
[pid=20008] ppid=20005 vsize=10996044 memory=171020 CPUtime=3.01 cores=1,3,5,7
/proc/20008/stat : 20008 (java) S 20005 20008 14233 0 -1 1077944320 25041 12959 0 0 287 7 5 2 20 0 15 0 223570698 11259949056 42755 33554432000 4194304 4196468 140732419398768 140732419381312 140621947473655 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 39784448 140732419402348 140732419405148 140732419405148 140732419407823 0
/proc/20008/statm: 2749011 42755 3448 1 0 2710669 0
[pid=20008/tid=20061] ppid=20005 vsize=10996044 memory=-5153075608533367657 CPUtime=1.45 cores=1,3,5,7
/proc/20008/task/20061/stat : 20061 (java) R 20005 20008 14233 0 -1 4202560 16581 12959 0 0 133 5 5 2 20 0 15 0 223570706 11259949056 42755 33554432000 4194304 4196468 140732419398768 140621919303856 140621931554142 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39784448 140732419402348 140732419405148 140732419405148 140732419407823 0
[pid=20008/tid=20062] ppid=20005 vsize=10996044 memory=-7955555705726735257 CPUtime=0.07 cores=1,3,5,7
/proc/20008/task/20062/stat : 20062 (java) S 20005 20008 14233 0 -1 1077944384 1 12959 0 0 0 0 5 2 20 0 15 0 223570707 11259949056 42755 33554432000 4194304 4196468 140732419398768 140621951716496 140621947483861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39784448 140732419402348 140732419405148 140732419405148 140732419407823 0
[pid=20008/tid=20063] ppid=20005 vsize=10996044 memory=6720696446780543624 CPUtime=0.07 cores=1,3,5,7
/proc/20008/task/20063/stat : 20063 (java) S 20005 20008 14233 0 -1 1077944384 1 12959 0 0 0 0 5 2 20 0 15 0 223570707 11259949056 42755 33554432000 4194304 4196468 140732419398768 140621806435344 140621947483861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39784448 140732419402348 140732419405148 140732419405148 140732419407823 0
[pid=20008/tid=20064] ppid=20005 vsize=10996044 memory=-5153075247754915967 CPUtime=0.07 cores=1,3,5,7
/proc/20008/task/20064/stat : 20064 (java) S 20005 20008 14233 0 -1 1077944384 1 12959 0 0 0 0 5 2 20 0 15 0 223570707 11259949056 42755 33554432000 4194304 4196468 140732419398768 140621805382544 140621947483861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39784448 140732419402348 140732419405148 140732419405148 140732419407823 0
[pid=20008/tid=20065] ppid=20005 vsize=10996044 memory=123196 CPUtime=0.07 cores=1,3,5,7
/proc/20008/task/20065/stat : 20065 (java) S 20005 20008 14233 0 -1 1077944384 2 12959 0 0 0 0 5 2 20 0 15 0 223570707 11259949056 42755 33554432000 4194304 4196468 140732419398768 140621804329744 140621947483861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39784448 140732419402348 140732419405148 140732419405148 140732419407823 0
[pid=20008/tid=20066] ppid=20005 vsize=10996044 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/20008/task/20066/stat : 20066 (java) S 20005 20008 14233 0 -1 1077944384 13 12959 0 0 0 0 5 2 20 0 15 0 223570709 11259949056 42755 33554432000 4194304 4196468 140732419398768 140621372287344 140621947484802 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39784448 140732419402348 140732419405148 140732419405148 140732419407823 0
[pid=20008/tid=20067] ppid=20005 vsize=10996044 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/20008/task/20067/stat : 20067 (java) S 20005 20008 14233 0 -1 1077944384 13 12959 0 0 0 0 5 2 20 0 15 0 223570709 11259949056 42755 33554432000 4194304 4196468 140732419398768 140620786033696 140621947483861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39784448 140732419402348 140732419405148 140732419405148 140732419407823 0
[pid=20008/tid=20068] ppid=20005 vsize=10996044 memory=281136479667904 CPUtime=0.07 cores=1,3,5,7
/proc/20008/task/20068/stat : 20068 (java) S 20005 20008 14233 0 -1 1077944384 1 12959 0 0 0 0 5 2 20 0 15 0 223570709 11259949056 42755 33554432000 4194304 4196468 140732419398768 140620584706928 140621947483861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39784448 140732419402348 140732419405148 140732419405148 140732419407823 0
[pid=20008/tid=20069] ppid=20005 vsize=10996044 memory=281136480082128 CPUtime=0.07 cores=1,3,5,7
/proc/20008/task/20069/stat : 20069 (java) S 20005 20008 14233 0 -1 1077944384 3 12959 0 0 0 0 5 2 20 0 15 0 223570712 11259949056 42755 33554432000 4194304 4196468 140732419398768 140620277307216 140621947492251 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39784448 140732419402348 140732419405148 140732419405148 140732419407823 0
[pid=20008/tid=20070] ppid=20005 vsize=10996044 memory=140568239843664 CPUtime=0.66 cores=1,3,5,7
/proc/20008/task/20070/stat : 20070 (java) S 20005 20008 14233 0 -1 1077944384 2040 12959 0 0 59 0 5 2 20 0 15 0 223570712 11259949056 42755 33554432000 4194304 4196468 140732419398768 140621371235184 140621947484802 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39784448 140732419402348 140732419405148 140732419405148 140732419407823 0
[pid=20008/tid=20071] ppid=20005 vsize=10996044 memory=140568368509009 CPUtime=0.56 cores=1,3,5,7
/proc/20008/task/20071/stat : 20071 (java) S 20005 20008 14233 0 -1 1077944384 2599 12959 0 0 49 0 5 2 20 0 15 0 223570712 11259949056 42755 33554432000 4194304 4196468 140732419398768 140621370182384 140621947484802 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39784448 140732419402348 140732419405148 140732419405148 140732419407823 0
[pid=20008/tid=20072] ppid=20005 vsize=10996044 memory=7986 CPUtime=0.5 cores=1,3,5,7
/proc/20008/task/20072/stat : 20072 (java) S 20005 20008 14233 0 -1 1077944384 1595 12959 0 0 43 0 5 2 20 0 15 0 223570712 11259949056 42755 33554432000 4194304 4196468 140732419398768 140621369129584 140621947484802 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39784448 140732419402348 140732419405148 140732419405148 140732419407823 0
[pid=20008/tid=20073] ppid=20005 vsize=10996044 memory=6 CPUtime=0.07 cores=1,3,5,7
/proc/20008/task/20073/stat : 20073 (java) S 20005 20008 14233 0 -1 1077944384 3 12959 0 0 0 0 5 2 20 0 15 0 223570712 11259949056 42755 33554432000 4194304 4196468 140732419398768 140619846511328 140621947483861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39784448 140732419402348 140732419405148 140732419405148 140732419407823 0
[pid=20008/tid=20074] ppid=20005 vsize=10996044 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/20008/task/20074/stat : 20074 (java) S 20005 20008 14233 0 -1 1077944384 1 12959 0 0 0 0 5 2 20 0 15 0 223570712 11259949056 42755 33554432000 4194304 4196468 140732419398768 140621368076976 140621947484802 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39784448 140732419402348 140732419405148 140732419405148 140732419407823 0

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

[startup+6.30075 s]
/proc/loadavg: 1.60 1.66 1.60 3/215 20074
/proc/meminfo: memFree=9546128/32770624 swapFree=67108496/67108860
[pid=20008] ppid=20005 vsize=11008352 memory=462172 CPUtime=16.34 cores=1,3,5,7
/proc/20008/stat : 20008 (java) S 20005 20008 14233 0 -1 1077944320 53234 12959 0 0 1598 29 5 2 20 0 15 0 223570698 11272552448 115543 33554432000 4194304 4196468 140732419398768 140732419381312 140621947473655 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 39784448 140732419402348 140732419405148 140732419405148 140732419407823 0
/proc/20008/statm: 2752088 115543 3525 1 0 2713741 0
[pid=20008/tid=20061] ppid=20005 vsize=11008352 memory=584 CPUtime=6.08 cores=1,3,5,7
/proc/20008/task/20061/stat : 20061 (java) R 20005 20008 14233 0 -1 4202560 30395 12959 0 0 591 10 5 2 20 0 15 0 223570706 11272552448 115543 33554432000 4194304 4196468 140732419398768 140621919304352 140621484081824 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39784448 140732419402348 140732419405148 140732419405148 140732419407823 0
[pid=20008/tid=20062] ppid=20005 vsize=11008352 memory=3872 CPUtime=0.17 cores=1,3,5,7
/proc/20008/task/20062/stat : 20062 (java) S 20005 20008 14233 0 -1 1077944384 176 12959 0 0 8 2 5 2 20 0 15 0 223570707 11272552448 115543 33554432000 4194304 4196468 140732419398768 140621951716496 140621947483861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39784448 140732419402348 140732419405148 140732419405148 140732419407823 0
[pid=20008/tid=20063] ppid=20005 vsize=11008352 memory=281136480075712 CPUtime=0.17 cores=1,3,5,7
/proc/20008/task/20063/stat : 20063 (java) S 20005 20008 14233 0 -1 1077944384 350 12959 0 0 8 2 5 2 20 0 15 0 223570707 11272552448 115543 33554432000 4194304 4196468 140732419398768 140621806435344 140621947483861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39784448 140732419402348 140732419405148 140732419405148 140732419407823 0
[pid=20008/tid=20064] ppid=20005 vsize=11008352 memory=56 CPUtime=0.18 cores=1,3,5,7
/proc/20008/task/20064/stat : 20064 (java) S 20005 20008 14233 0 -1 1077944384 187 12959 0 0 9 2 5 2 20 0 15 0 223570707 11272552448 115543 33554432000 4194304 4196468 140732419398768 140621805382544 140621947483861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39784448 140732419402348 140732419405148 140732419405148 140732419407823 0
[pid=20008/tid=20065] ppid=20005 vsize=11008352 memory=291097903383192264 CPUtime=0.16 cores=1,3,5,7
/proc/20008/task/20065/stat : 20065 (java) S 20005 20008 14233 0 -1 1077944384 166 12959 0 0 7 2 5 2 20 0 15 0 223570707 11272552448 115543 33554432000 4194304 4196468 140732419398768 140621804329744 140621947483861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39784448 140732419402348 140732419405148 140732419405148 140732419407823 0
[pid=20008/tid=20066] ppid=20005 vsize=11008352 memory=56 CPUtime=0.1 cores=1,3,5,7
/proc/20008/task/20066/stat : 20066 (java) S 20005 20008 14233 0 -1 1077944384 704 12959 0 0 3 0 5 2 20 0 15 0 223570709 11272552448 115543 33554432000 4194304 4196468 140732419398768 140621372287344 140621947484802 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39784448 140732419402348 140732419405148 140732419405148 140732419407823 0
[pid=20008/tid=20067] ppid=20005 vsize=11008352 memory=7661023628161212520 CPUtime=0.07 cores=1,3,5,7
/proc/20008/task/20067/stat : 20067 (java) S 20005 20008 14233 0 -1 1077944384 15 12959 0 0 0 0 5 2 20 0 15 0 223570709 11272552448 115543 33554432000 4194304 4196468 140732419398768 140620786033760 140621947483861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39784448 140732419402348 140732419405148 140732419405148 140732419407823 0
[pid=20008/tid=20068] ppid=20005 vsize=11008352 memory=309816 CPUtime=0.07 cores=1,3,5,7
/proc/20008/task/20068/stat : 20068 (java) S 20005 20008 14233 0 -1 1077944384 2 12959 0 0 0 0 5 2 20 0 15 0 223570709 11272552448 115543 33554432000 4194304 4196468 140732419398768 140620584706944 140621947483861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39784448 140732419402348 140732419405148 140732419405148 140732419407823 0
[pid=20008/tid=20069] ppid=20005 vsize=11008352 memory=6791534058613427641 CPUtime=0.07 cores=1,3,5,7
/proc/20008/task/20069/stat : 20069 (java) S 20005 20008 14233 0 -1 1077944384 3 12959 0 0 0 0 5 2 20 0 15 0 223570712 11272552448 115543 33554432000 4194304 4196468 140732419398768 140620277307216 140621947492251 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39784448 140732419402348 140732419405148 140732419405148 140732419407823 0
[pid=20008/tid=20070] ppid=20005 vsize=11008352 memory=60480 CPUtime=4.15 cores=1,3,5,7
/proc/20008/task/20070/stat : 20070 (java) S 20005 20008 14233 0 -1 1077944384 7234 12959 0 0 407 1 5 2 20 0 15 0 223570712 11272552448 115543 33554432000 4194304 4196468 140732419398768 140621371235184 140621947484802 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39784448 140732419402348 140732419405148 140732419405148 140732419407823 0
[pid=20008/tid=20071] ppid=20005 vsize=11008352 memory=2260 CPUtime=3.99 cores=1,3,5,7
/proc/20008/task/20071/stat : 20071 (java) R 20005 20008 14233 0 -1 4202560 6296 12959 0 0 391 1 5 2 20 0 15 0 223570712 11272552448 115543 33554432000 4194304 4196468 140732419398768 140621370182384 140621931379658 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39784448 140732419402348 140732419405148 140732419405148 140732419407823 0
[pid=20008/tid=20072] ppid=20005 vsize=11008352 memory=1788 CPUtime=1.79 cores=1,3,5,7
/proc/20008/task/20072/stat : 20072 (java) S 20005 20008 14233 0 -1 1077944384 5499 12959 0 0 170 2 5 2 20 0 15 0 223570712 11272552448 115543 33554432000 4194304 4196468 140732419398768 140621369129584 140621947484802 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39784448 140732419402348 140732419405148 140732419405148 140732419407823 0
[pid=20008/tid=20073] ppid=20005 vsize=11008352 memory=860 CPUtime=0.07 cores=1,3,5,7
/proc/20008/task/20073/stat : 20073 (java) S 20005 20008 14233 0 -1 1077944384 3 12959 0 0 0 0 5 2 20 0 15 0 223570712 11272552448 115543 33554432000 4194304 4196468 140732419398768 140619846511328 140621947483861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39784448 140732419402348 140732419405148 140732419405148 140732419407823 0
[pid=20008/tid=20074] ppid=20005 vsize=11008352 memory=12604 CPUtime=0.07 cores=1,3,5,7
/proc/20008/task/20074/stat : 20074 (java) S 20005 20008 14233 0 -1 1077944384 14 12959 0 0 0 0 5 2 20 0 15 0 223570712 11272552448 115543 33554432000 4194304 4196468 140732419398768 140621368076976 140621947484802 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39784448 140732419402348 140732419405148 140732419405148 140732419407823 0
Current children cumulated CPU time: 16.34 s
Current children cumulated vsize: 11008352 KiB
Current children cumulated memory: 462172 KiB

[startup+12.7012 s]
/proc/loadavg: 1.63 1.66 1.60 4/215 20074
/proc/meminfo: memFree=8954812/32770624 swapFree=67108496/67108860
[pid=20008] ppid=20005 vsize=11080032 memory=1030120 CPUtime=27.98 cores=1,3,5,7
/proc/20008/stat : 20008 (java) S 20005 20008 14233 0 -1 1077944320 68677 12959 0 0 2747 44 5 2 20 0 15 0 223570698 11345952768 257530 33554432000 4194304 4196468 140732419398768 140732419381312 140621947473655 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 39784448 140732419402348 140732419405148 140732419405148 140732419407823 0
/proc/20008/statm: 2770008 257530 3531 1 0 2731661 0
[pid=20008/tid=20061] ppid=20005 vsize=11080032 memory=1005092 CPUtime=12.34 cores=1,3,5,7
/proc/20008/task/20061/stat : 20061 (java) R 20005 20008 14233 0 -1 4202560 40089 12959 0 0 1209 18 5 2 20 0 15 0 223570706 11345952768 257530 33554432000 4194304 4196468 140732419398768 140621919304536 140621495726542 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 39784448 140732419402348 140732419405148 140732419405148 140732419407823 0
[pid=20008/tid=20062] ppid=20005 vsize=11080032 memory=5420 CPUtime=0.27 cores=1,3,5,7
/proc/20008/task/20062/stat : 20062 (java) S 20005 20008 14233 0 -1 1077944384 284 12959 0 0 17 3 5 2 20 0 15 0 223570707 11345952768 257530 33554432000 4194304 4196468 140732419398768 140621951716496 140621947483861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39784448 140732419402348 140732419405148 140732419405148 140732419407823 0
[pid=20008/tid=20063] ppid=20005 vsize=11080032 memory=1027424 CPUtime=0.28 cores=1,3,5,7
/proc/20008/task/20063/stat : 20063 (java) S 20005 20008 14233 0 -1 1077944384 464 12959 0 0 17 4 5 2 20 0 15 0 223570707 11345952768 257530 33554432000 4194304 4196468 140732419398768 140621806435344 140621947483861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39784448 140732419402348 140732419405148 140732419405148 140732419407823 0
[pid=20008/tid=20064] ppid=20005 vsize=11080032 memory=1918 CPUtime=0.29 cores=1,3,5,7
/proc/20008/task/20064/stat : 20064 (java) S 20005 20008 14233 0 -1 1077944384 249 12959 0 0 18 4 5 2 20 0 15 0 223570707 11345952768 257530 33554432000 4194304 4196468 140732419398768 140621805382544 140621947483861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39784448 140732419402348 140732419405148 140732419405148 140732419407823 0
[pid=20008/tid=20065] ppid=20005 vsize=11080032 memory=997132 CPUtime=0.26 cores=1,3,5,7
/proc/20008/task/20065/stat : 20065 (java) S 20005 20008 14233 0 -1 1077944384 232 12959 0 0 16 3 5 2 20 0 15 0 223570707 11345952768 257530 33554432000 4194304 4196468 140732419398768 140621804329744 140621947483861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39784448 140732419402348 140732419405148 140732419405148 140732419407823 0
[pid=20008/tid=20066] ppid=20005 vsize=11080032 memory=11 CPUtime=0.13 cores=1,3,5,7
/proc/20008/task/20066/stat : 20066 (java) S 20005 20008 14233 0 -1 1077944384 2407 12959 0 0 6 0 5 2 20 0 15 0 223570709 11345952768 257530 33554432000 4194304 4196468 140732419398768 140621372287344 140621947484802 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39784448 140732419402348 140732419405148 140732419405148 140732419407823 0
[pid=20008/tid=20067] ppid=20005 vsize=11080032 memory=108 CPUtime=0.07 cores=1,3,5,7
/proc/20008/task/20067/stat : 20067 (java) S 20005 20008 14233 0 -1 1077944384 15 12959 0 0 0 0 5 2 20 0 15 0 223570709 11345952768 257530 33554432000 4194304 4196468 140732419398768 140620786033760 140621947483861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39784448 140732419402348 140732419405148 140732419405148 140732419407823 0
[pid=20008/tid=20068] ppid=20005 vsize=11080032 memory=69 CPUtime=0.07 cores=1,3,5,7
/proc/20008/task/20068/stat : 20068 (java) S 20005 20008 14233 0 -1 1077944384 2 12959 0 0 0 0 5 2 20 0 15 0 223570709 11345952768 257530 33554432000 4194304 4196468 140732419398768 140620584706944 140621947483861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39784448 140732419402348 140732419405148 140732419405148 140732419407823 0
[pid=20008/tid=20069] ppid=20005 vsize=11080032 memory=1029064 CPUtime=0.07 cores=1,3,5,7
/proc/20008/task/20069/stat : 20069 (java) S 20005 20008 14233 0 -1 1077944384 3 12959 0 0 0 0 5 2 20 0 15 0 223570712 11345952768 257530 33554432000 4194304 4196468 140732419398768 140620277307216 140621947492251 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39784448 140732419402348 140732419405148 140732419405148 140732419407823 0
[pid=20008/tid=20070] ppid=20005 vsize=11080032 memory=1788 CPUtime=6.18 cores=1,3,5,7
/proc/20008/task/20070/stat : 20070 (java) R 20005 20008 14233 0 -1 4202560 8463 12959 0 0 609 2 5 2 20 0 15 0 223570712 11345952768 257530 33554432000 4194304 4196468 140732419398768 140621371226512 140621930970489 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39784448 140732419402348 140732419405148 140732419405148 140732419407823 0
[pid=20008/tid=20071] ppid=20005 vsize=11080032 memory=164 CPUtime=6.08 cores=1,3,5,7
/proc/20008/task/20071/stat : 20071 (java) R 20005 20008 14233 0 -1 4202560 7534 12959 0 0 599 2 5 2 20 0 15 0 223570712 11345952768 257530 33554432000 4194304 4196468 140732419398768 140621370171184 140621926707040 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39784448 140732419402348 140732419405148 140732419405148 140732419407823 0
[pid=20008/tid=20072] ppid=20005 vsize=11080032 memory=-7101718590825193272 CPUtime=2.61 cores=1,3,5,7
/proc/20008/task/20072/stat : 20072 (java) S 20005 20008 14233 0 -1 1077944384 6728 12959 0 0 251 3 5 2 20 0 15 0 223570712 11345952768 257530 33554432000 4194304 4196468 140732419398768 140621369129584 140621947484802 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39784448 140732419402348 140732419405148 140732419405148 140732419407823 0
[pid=20008/tid=20073] ppid=20005 vsize=11080032 memory=7523915653492010080 CPUtime=0.07 cores=1,3,5,7
/proc/20008/task/20073/stat : 20073 (java) S 20005 20008 14233 0 -1 1077944384 3 12959 0 0 0 0 5 2 20 0 15 0 223570712 11345952768 257530 33554432000 4194304 4196468 140732419398768 140619846511328 140621947483861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39784448 140732419402348 140732419405148 140732419405148 140732419407823 0
[pid=20008/tid=20074] ppid=20005 vsize=11080032 memory=7523915653492010080 CPUtime=0.07 cores=1,3,5,7
/proc/20008/task/20074/stat : 20074 (java) S 20005 20008 14233 0 -1 1077944384 14 12959 0 0 0 0 5 2 20 0 15 0 223570712 11345952768 257530 33554432000 4194304 4196468 140732419398768 140621368076976 140621947484802 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39784448 140732419402348 140732419405148 140732419405148 140732419407823 0
Current children cumulated CPU time: 27.98 s
Current children cumulated vsize: 11080032 KiB
Current children cumulated memory: 1030120 KiB

[startup+13.2538 s]
# the end of solver process 20008 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=29.0257 s, system=0.499534 s

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

[startup+12.8074 s]
/proc/loadavg: 1.63 1.66 1.60 4/215 20074
/proc/meminfo: memFree=8954812/32770624 swapFree=67108496/67108860
[pid=20008] ppid=20005 vsize=11080032 memory=1031208 CPUtime=28.31 cores=1,3,5,7
/proc/20008/stat : 20008 (java) S 20005 20008 14233 0 -1 1077944320 71756 12959 0 0 2780 44 5 2 20 0 15 0 223570698 11345952768 257802 33554432000 4194304 4196468 140732419398768 140732419381312 140621947473655 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 39784448 140732419402348 140732419405148 140732419405148 140732419407823 0
/proc/20008/statm: 2770008 257802 3532 1 0 2731661 0
[pid=20008/tid=20061] ppid=20005 vsize=11080032 memory=5867176996057933930 CPUtime=12.44 cores=1,3,5,7
/proc/20008/task/20061/stat : 20061 (java) R 20005 20008 14233 0 -1 1077944384 42069 12959 0 0 1219 18 5 2 20 0 15 0 223570706 11345952768 257802 33554432000 4194304 4196468 140732419398768 140621919303440 140621947483861 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 39784448 140732419402348 140732419405148 140732419405148 140732419407823 0
[pid=20008/tid=20062] ppid=20005 vsize=11080032 memory=6791534058613427641 CPUtime=0.27 cores=1,3,5,7
/proc/20008/task/20062/stat : 20062 (java) S 20005 20008 14233 0 -1 1077944384 284 12959 0 0 17 3 5 2 20 0 15 0 223570707 11345952768 257802 33554432000 4194304 4196468 140732419398768 140621951716496 140621947483861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39784448 140732419402348 140732419405148 140732419405148 140732419407823 0
[pid=20008/tid=20063] ppid=20005 vsize=11080032 memory=1802 CPUtime=0.28 cores=1,3,5,7
/proc/20008/task/20063/stat : 20063 (java) S 20005 20008 14233 0 -1 1077944384 464 12959 0 0 17 4 5 2 20 0 15 0 223570707 11345952768 257802 33554432000 4194304 4196468 140732419398768 140621806435344 140621947483861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39784448 140732419402348 140732419405148 140732419405148 140732419407823 0
[pid=20008/tid=20064] ppid=20005 vsize=11080032 memory=122840 CPUtime=0.29 cores=1,3,5,7
/proc/20008/task/20064/stat : 20064 (java) S 20005 20008 14233 0 -1 1077944384 249 12959 0 0 18 4 5 2 20 0 15 0 223570707 11345952768 257802 33554432000 4194304 4196468 140732419398768 140621805382544 140621947483861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39784448 140732419402348 140732419405148 140732419405148 140732419407823 0
[pid=20008/tid=20065] ppid=20005 vsize=11080032 memory=0 CPUtime=0.26 cores=1,3,5,7
/proc/20008/task/20065/stat : 20065 (java) S 20005 20008 14233 0 -1 1077944384 232 12959 0 0 16 3 5 2 20 0 15 0 223570707 11345952768 257802 33554432000 4194304 4196468 140732419398768 140621804329744 140621947483861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39784448 140732419402348 140732419405148 140732419405148 140732419407823 0
[pid=20008/tid=20066] ppid=20005 vsize=11080032 memory=3 CPUtime=0.13 cores=1,3,5,7
/proc/20008/task/20066/stat : 20066 (java) S 20005 20008 14233 0 -1 1077944384 2407 12959 0 0 6 0 5 2 20 0 15 0 223570709 11345952768 257802 33554432000 4194304 4196468 140732419398768 140621372287344 140621947484802 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39784448 140732419402348 140732419405148 140732419405148 140732419407823 0
[pid=20008/tid=20067] ppid=20005 vsize=11080032 memory=31 CPUtime=0.07 cores=1,3,5,7
/proc/20008/task/20067/stat : 20067 (java) S 20005 20008 14233 0 -1 1077944384 15 12959 0 0 0 0 5 2 20 0 15 0 223570709 11345952768 257802 33554432000 4194304 4196468 140732419398768 140620786033760 140621947483861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39784448 140732419402348 140732419405148 140732419405148 140732419407823 0
[pid=20008/tid=20068] ppid=20005 vsize=11080032 memory=140568239923953 CPUtime=0.07 cores=1,3,5,7
/proc/20008/task/20068/stat : 20068 (java) S 20005 20008 14233 0 -1 1077944384 2 12959 0 0 0 0 5 2 20 0 15 0 223570709 11345952768 257802 33554432000 4194304 4196468 140732419398768 140620584706944 140621947483861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39784448 140732419402348 140732419405148 140732419405148 140732419407823 0
[pid=20008/tid=20069] ppid=20005 vsize=11080032 memory=635540 CPUtime=0.07 cores=1,3,5,7
/proc/20008/task/20069/stat : 20069 (java) S 20005 20008 14233 0 -1 1077944384 3 12959 0 0 0 0 5 2 20 0 15 0 223570712 11345952768 257802 33554432000 4194304 4196468 140732419398768 140620277307216 140621947492251 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39784448 140732419402348 140732419405148 140732419405148 140732419407823 0
[pid=20008/tid=20070] ppid=20005 vsize=11080032 memory=0 CPUtime=6.28 cores=1,3,5,7
/proc/20008/task/20070/stat : 20070 (java) R 20005 20008 14233 0 -1 4202560 8489 12959 0 0 619 2 5 2 20 0 15 0 223570712 11345952768 257802 33554432000 4194304 4196468 140732419398768 140621371223376 140621930884448 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39784448 140732419402348 140732419405148 140732419405148 140732419407823 0
[pid=20008/tid=20071] ppid=20005 vsize=11080032 memory=14694093276057294 CPUtime=6.19 cores=1,3,5,7
/proc/20008/task/20071/stat : 20071 (java) R 20005 20008 14233 0 -1 4202560 8057 12959 0 0 610 2 5 2 20 0 15 0 223570712 11345952768 257802 33554432000 4194304 4196468 140732419398768 140621370173040 140621933487964 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39784448 140732419402348 140732419405148 140732419405148 140732419407823 0
[pid=20008/tid=20072] ppid=20005 vsize=11080032 memory=-8183434686974696910 CPUtime=2.62 cores=1,3,5,7
/proc/20008/task/20072/stat : 20072 (java) S 20005 20008 14233 0 -1 1077944384 7278 12959 0 0 252 3 5 2 20 0 15 0 223570712 11345952768 257802 33554432000 4194304 4196468 140732419398768 140621369129584 140621947484802 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39784448 140732419402348 140732419405148 140732419405148 140732419407823 0
[pid=20008/tid=20073] ppid=20005 vsize=11080032 memory=-6584934927193706903 CPUtime=0.07 cores=1,3,5,7
/proc/20008/task/20073/stat : 20073 (java) S 20005 20008 14233 0 -1 1077944384 3 12959 0 0 0 0 5 2 20 0 15 0 223570712 11345952768 257802 33554432000 4194304 4196468 140732419398768 140619846511328 140621947483861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39784448 140732419402348 140732419405148 140732419405148 140732419407823 0
[pid=20008/tid=20074] ppid=20005 vsize=11080032 memory=7236553857132096821 CPUtime=0.07 cores=1,3,5,7
/proc/20008/task/20074/stat : 20074 (java) S 20005 20008 14233 0 -1 1077944384 14 12959 0 0 0 0 5 2 20 0 15 0 223570712 11345952768 257802 33554432000 4194304 4196468 140732419398768 140621368076976 140621947484802 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39784448 140732419402348 140732419405148 140732419405148 140732419407823 0
Current children cumulated CPU time: 28.31 s
Current children cumulated vsize: 11080032 KiB
Current children cumulated memory: 1031208 KiB

[startup+13.2007 s]
/proc/loadavg: 1.63 1.66 1.60 4/215 20074
/proc/meminfo: memFree=8924432/32770624 swapFree=67108496/67108860
[pid=20008] ppid=20005 vsize=11080032 memory=1033472 CPUtime=29.41 cores=1,3,5,7
/proc/20008/stat : 20008 (java) S 20005 20008 14233 0 -1 1077944320 75952 12959 0 0 2889 45 5 2 20 0 15 0 223570698 11345952768 258368 33554432000 4194304 4196468 140732419398768 140732419381312 140621947473655 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 39784448 140732419402348 140732419405148 140732419405148 140732419407823 0
/proc/20008/statm: 2770008 258368 3534 1 0 2731661 0
[pid=20008/tid=20061] ppid=20005 vsize=11080032 memory=7523915653492010080 CPUtime=12.83 cores=1,3,5,7
/proc/20008/task/20061/stat : 20061 (java) R 20005 20008 14233 0 -1 4202560 43141 12959 0 0 1258 18 5 2 20 0 15 0 223570706 11345952768 258368 33554432000 4194304 4196468 140732419398768 140621919308680 140621495891504 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39784448 140732419402348 140732419405148 140732419405148 140732419407823 0
[pid=20008/tid=20062] ppid=20005 vsize=11080032 memory=6791534058613427641 CPUtime=0.27 cores=1,3,5,7
/proc/20008/task/20062/stat : 20062 (java) S 20005 20008 14233 0 -1 1077944384 284 12959 0 0 17 3 5 2 20 0 15 0 223570707 11345952768 258368 33554432000 4194304 4196468 140732419398768 140621951716496 140621947483861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39784448 140732419402348 140732419405148 140732419405148 140732419407823 0
[pid=20008/tid=20063] ppid=20005 vsize=11080032 memory=9176 CPUtime=0.28 cores=1,3,5,7
/proc/20008/task/20063/stat : 20063 (java) S 20005 20008 14233 0 -1 1077944384 464 12959 0 0 17 4 5 2 20 0 15 0 223570707 11345952768 258368 33554432000 4194304 4196468 140732419398768 140621806435344 140621947483861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39784448 140732419402348 140732419405148 140732419405148 140732419407823 0
[pid=20008/tid=20064] ppid=20005 vsize=11080032 memory=21208 CPUtime=0.29 cores=1,3,5,7
/proc/20008/task/20064/stat : 20064 (java) S 20005 20008 14233 0 -1 1077944384 249 12959 0 0 18 4 5 2 20 0 15 0 223570707 11345952768 258368 33554432000 4194304 4196468 140732419398768 140621805382544 140621947483861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39784448 140732419402348 140732419405148 140732419405148 140732419407823 0
[pid=20008/tid=20065] ppid=20005 vsize=11080032 memory=288283398462768277 CPUtime=0.26 cores=1,3,5,7
/proc/20008/task/20065/stat : 20065 (java) S 20005 20008 14233 0 -1 1077944384 232 12959 0 0 16 3 5 2 20 0 15 0 223570707 11345952768 258368 33554432000 4194304 4196468 140732419398768 140621804329744 140621947483861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39784448 140732419402348 140732419405148 140732419405148 140732419407823 0
[pid=20008/tid=20066] ppid=20005 vsize=11080032 memory=0 CPUtime=0.13 cores=1,3,5,7
/proc/20008/task/20066/stat : 20066 (java) S 20005 20008 14233 0 -1 1077944384 4439 12959 0 0 6 0 5 2 20 0 15 0 223570709 11345952768 258368 33554432000 4194304 4196468 140732419398768 140621372287344 140621947484802 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39784448 140732419402348 140732419405148 140732419405148 140732419407823 0
[pid=20008/tid=20067] ppid=20005 vsize=11080032 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/20008/task/20067/stat : 20067 (java) S 20005 20008 14233 0 -1 1077944384 15 12959 0 0 0 0 5 2 20 0 15 0 223570709 11345952768 258368 33554432000 4194304 4196468 140732419398768 140620786033760 140621947483861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39784448 140732419402348 140732419405148 140732419405148 140732419407823 0
[pid=20008/tid=20068] ppid=20005 vsize=11080032 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/20008/task/20068/stat : 20068 (java) S 20005 20008 14233 0 -1 1077944384 2 12959 0 0 0 0 5 2 20 0 15 0 223570709 11345952768 258368 33554432000 4194304 4196468 140732419398768 140620584706944 140621947483861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39784448 140732419402348 140732419405148 140732419405148 140732419407823 0
[pid=20008/tid=20069] ppid=20005 vsize=11080032 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/20008/task/20069/stat : 20069 (java) S 20005 20008 14233 0 -1 1077944384 3 12959 0 0 0 0 5 2 20 0 15 0 223570712 11345952768 258368 33554432000 4194304 4196468 140732419398768 140620277307216 140621947492251 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39784448 140732419402348 140732419405148 140732419405148 140732419407823 0
[pid=20008/tid=20070] ppid=20005 vsize=11080032 memory=0 CPUtime=6.6 cores=1,3,5,7
/proc/20008/task/20070/stat : 20070 (java) R 20005 20008 14233 0 -1 4202560 9044 12959 0 0 651 2 5 2 20 0 15 0 223570712 11345952768 258368 33554432000 4194304 4196468 140732419398768 140621371235184 140621931870749 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39784448 140732419402348 140732419405148 140732419405148 140732419407823 0
[pid=20008/tid=20071] ppid=20005 vsize=11080032 memory=10 CPUtime=6.53 cores=1,3,5,7
/proc/20008/task/20071/stat : 20071 (java) R 20005 20008 14233 0 -1 4202560 8248 12959 0 0 644 2 5 2 20 0 15 0 223570712 11345952768 258368 33554432000 4194304 4196468 140732419398768 140621370182384 140621930685938 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39784448 140732419402348 140732419405148 140732419405148 140732419407823 0
[pid=20008/tid=20072] ppid=20005 vsize=11080032 memory=7236229500900889449 CPUtime=2.67 cores=1,3,5,7
/proc/20008/task/20072/stat : 20072 (java) S 20005 20008 14233 0 -1 1077944384 7623 12959 0 0 257 3 5 2 20 0 15 0 223570712 11345952768 258368 33554432000 4194304 4196468 140732419398768 140621369129584 140621947484802 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39784448 140732419402348 140732419405148 140732419405148 140732419407823 0
[pid=20008/tid=20073] ppid=20005 vsize=11080032 memory=7151824236980496725 CPUtime=0.07 cores=1,3,5,7
/proc/20008/task/20073/stat : 20073 (java) S 20005 20008 14233 0 -1 1077944384 3 12959 0 0 0 0 5 2 20 0 15 0 223570712 11345952768 258368 33554432000 4194304 4196468 140732419398768 140619846511328 140621947483861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39784448 140732419402348 140732419405148 140732419405148 140732419407823 0
[pid=20008/tid=20074] ppid=20005 vsize=11080032 memory=7649399362840178738 CPUtime=0.07 cores=1,3,5,7
/proc/20008/task/20074/stat : 20074 (java) S 20005 20008 14233 0 -1 1077944384 18 12959 0 0 0 0 5 2 20 0 15 0 223570712 11345952768 258368 33554432000 4194304 4196468 140732419398768 140621368076976 140621947484802 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39784448 140732419402348 140732419405148 140732419405148 140732419407823 0
Current children cumulated CPU time: 29.41 s
Current children cumulated vsize: 11080032 KiB
Current children cumulated memory: 1033472 KiB

Child status: 0
Real time (s): 13.2539
CPU time (s): 29.5253
CPU user time (s): 29.0257
CPU system time (s): 0.499534
CPU usage (%): 222.767
Max. virtual memory (cumulated for all children) (KiB): 11080032
Max. memory (cumulated for all children) (KiB): 1033472

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 29.0257
system time used= 0.499534
maximum resident set size= 1035740
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 89120
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= 9283
involuntary context switches= 111


# summary of solver processes directly reported to runsolver:
#   pid: 20008
#   total CPU time (s): 29.5253
#   total CPU user time (s): 29.0257
#   total CPU system time (s): 0.499534

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.100692 second user time and 0.173261 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 4304341

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data
