2018 XCSP3 competition: sequential solvers tracks competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
Concrete 3.8 2018-06-13	OPT	46	30.0604	13.4392
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 (8660 MiB free)
  memory of node 1: 16384 MiB (9375 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4293620-1532324959/watcher-4293620-1532324959 -o /tmp/evaluation-result-4293620-1532324959/solver-4293620-1532324959 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node107-1532295923-7918 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=871279981 HOME/instance-4293620-1532324959.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=13530, runsolver pid=13527

[startup+0.100495 s]*
/proc/loadavg: 1.23 1.40 1.42 3/203 13584
/proc/meminfo: memFree=18461496/32770624 swapFree=67108860/67108860
[pid=13530] ppid=13527 vsize=9972712 memory=18592 CPUtime=0.09 cores=0,2,4,6
/proc/13530/stat : 13530 (java) S 13527 13530 7887 0 -1 1077944320 4279 12982 0 0 1 0 5 3 20 0 6 0 50059129 10212057088 4648 33554432000 4194304 4196468 140727470019568 140727470002112 140006371741431 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 39084032 140727470025327 140727470028124 140727470028124 140727470030799 0
/proc/13530/statm: 2493178 4648 1932 1 0 2481616 0
[pid=13530/tid=13583] ppid=13527 vsize=9972712 memory=4279135703946986127 CPUtime=0.08 cores=0,2,4,6
/proc/13530/task/13583/stat : 13583 (java) R 13527 13530 7887 0 -1 4202560 2110 12982 0 0 0 0 5 3 20 0 6 0 50059138 10212057088 4648 33554432000 4194304 4196468 140727470019568 140006343578192 140006355821918 0 4 0 16784584 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 39084032 140727470025327 140727470028124 140727470028124 140727470030799 0
[pid=13530/tid=13584] ppid=13527 vsize=9972712 memory=8257237230052613020 CPUtime=0.08 cores=0,2,4,6
/proc/13530/task/13584/stat : 13584 (java) S 13527 13530 7887 0 -1 1077944384 1 12982 0 0 0 0 5 3 20 0 6 0 50059139 10212057088 4648 33554432000 4194304 4196468 140727470019568 140006375984016 140006371751637 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39084032 140727470025327 140727470028124 140727470028124 140727470030799 0
[pid=13530/tid=13585] ppid=13527 vsize=9972712 memory=140663420757632 CPUtime=0.08 cores=0,2,4,6
/proc/13530/task/13585/stat : 13585 (java) S 13527 13530 7887 0 -1 1077944384 2 12982 0 0 0 0 5 3 20 0 6 0 50059139 10212057088 4648 33554432000 4194304 4196468 140727470019568 140006274874128 140006371751637 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39084032 140727470025327 140727470028124 140727470028124 140727470030799 0
[pid=13530/tid=13586] ppid=13527 vsize=9972712 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/13530/task/13586/stat : 13586 (java) S 13527 13530 7887 0 -1 1077944384 1 12982 0 0 0 0 5 3 20 0 6 0 50059139 10212057088 4648 33554432000 4194304 4196468 140727470019568 140006273821840 140006371751637 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39084032 140727470025327 140727470028124 140727470028124 140727470030799 0
[pid=13530/tid=13587] ppid=13527 vsize=9972712 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/13530/task/13587/stat : 13587 (java) S 13527 13530 7887 0 -1 1077944384 2 12982 0 0 0 0 5 3 20 0 6 0 50059139 10212057088 4648 33554432000 4194304 4196468 140727470019568 140006272769040 140006371751637 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39084032 140727470025327 140727470028124 140727470028124 140727470030799 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 18592 KiB

[startup+0.210295 s]*
/proc/loadavg: 1.23 1.40 1.42 3/215 13596
/proc/meminfo: memFree=18440352/32770624 swapFree=67108860/67108860
[pid=13530] ppid=13527 vsize=10818904 memory=41864 CPUtime=0.26 cores=0,2,4,6
/proc/13530/stat : 13530 (java) S 13527 13530 7887 0 -1 1077944320 7204 12982 0 0 16 2 5 3 20 0 15 0 50059129 11078557696 10466 33554432000 4194304 4196468 140727470019568 140727470002112 140006371741431 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 39084032 140727470025327 140727470028124 140727470028124 140727470030799 0
/proc/13530/statm: 2704726 10466 2948 1 0 2667149 0
[pid=13530/tid=13583] ppid=13527 vsize=10818904 memory=-6517102902069810590 CPUtime=0.19 cores=0,2,4,6
/proc/13530/task/13583/stat : 13583 (java) R 13527 13530 7887 0 -1 4202560 3754 12982 0 0 10 1 5 3 20 0 15 0 50059138 11078557696 10466 33554432000 4194304 4196468 140727470019568 140006343554440 140006348965584 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 39084032 140727470025327 140727470028124 140727470028124 140727470030799 0
[pid=13530/tid=13584] ppid=13527 vsize=10818904 memory=-7025452035940392864 CPUtime=0.08 cores=0,2,4,6
/proc/13530/task/13584/stat : 13584 (java) S 13527 13530 7887 0 -1 1077944384 1 12982 0 0 0 0 5 3 20 0 15 0 50059139 11078557696 10466 33554432000 4194304 4196468 140727470019568 140006375984016 140006371751637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39084032 140727470025327 140727470028124 140727470028124 140727470030799 0
[pid=13530/tid=13585] ppid=13527 vsize=10818904 memory=140663420757632 CPUtime=0.08 cores=0,2,4,6
/proc/13530/task/13585/stat : 13585 (java) S 13527 13530 7887 0 -1 1077944384 2 12982 0 0 0 0 5 3 20 0 15 0 50059139 11078557696 10466 33554432000 4194304 4196468 140727470019568 140006274874128 140006371751637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39084032 140727470025327 140727470028124 140727470028124 140727470030799 0
[pid=13530/tid=13586] ppid=13527 vsize=10818904 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/13530/task/13586/stat : 13586 (java) S 13527 13530 7887 0 -1 1077944384 1 12982 0 0 0 0 5 3 20 0 15 0 50059139 11078557696 10466 33554432000 4194304 4196468 140727470019568 140006273821840 140006371751637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39084032 140727470025327 140727470028124 140727470028124 140727470030799 0
[pid=13530/tid=13587] ppid=13527 vsize=10818904 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/13530/task/13587/stat : 13587 (java) S 13527 13530 7887 0 -1 1077944384 2 12982 0 0 0 0 5 3 20 0 15 0 50059139 11078557696 10466 33554432000 4194304 4196468 140727470019568 140006272769040 140006371751637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39084032 140727470025327 140727470028124 140727470028124 140727470030799 0
[pid=13530/tid=13588] ppid=13527 vsize=10818904 memory=140663420757632 CPUtime=0.08 cores=0,2,4,6
/proc/13530/task/13588/stat : 13588 (java) S 13527 13530 7887 0 -1 1077944384 2 12982 0 0 0 0 5 3 20 0 15 0 50059141 11078557696 10466 33554432000 4194304 4196468 140727470019568 140005831215216 140006371752578 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39084032 140727470025327 140727470028124 140727470028124 140727470030799 0
[pid=13530/tid=13589] ppid=13527 vsize=10818904 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/13530/task/13589/stat : 13589 (java) S 13527 13530 7887 0 -1 1077944384 13 12982 0 0 0 0 5 3 20 0 15 0 50059141 11078557696 10466 33554432000 4194304 4196468 140727470019568 140005733294880 140006371751637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39084032 140727470025327 140727470028124 140727470028124 140727470030799 0
[pid=13530/tid=13590] ppid=13527 vsize=10818904 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/13530/task/13590/stat : 13590 (java) S 13527 13530 7887 0 -1 1077944384 1 12982 0 0 0 0 5 3 20 0 15 0 50059142 11078557696 10466 33554432000 4194304 4196468 140727470019568 140005129315440 140006371751637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39084032 140727470025327 140727470028124 140727470028124 140727470030799 0
[pid=13530/tid=13591] ppid=13527 vsize=10818904 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/13530/task/13591/stat : 13591 (java) S 13527 13530 7887 0 -1 1077944384 3 12982 0 0 0 0 5 3 20 0 15 0 50059144 11078557696 10466 33554432000 4194304 4196468 140727470019568 140004889024592 140006371760027 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39084032 140727470025327 140727470028124 140727470028124 140727470030799 0
[pid=13530/tid=13592] ppid=13527 vsize=10818904 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/13530/task/13592/stat : 13592 (java) S 13527 13530 7887 0 -1 1077944384 437 12982 0 0 1 0 5 3 20 0 15 0 50059144 11078557696 10466 33554432000 4194304 4196468 140727470019568 140005830163056 140006371752578 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39084032 140727470025327 140727470028124 140727470028124 140727470030799 0
[pid=13530/tid=13593] ppid=13527 vsize=10818904 memory=-1 CPUtime=0.09 cores=0,2,4,6
/proc/13530/task/13593/stat : 13593 (java) S 13527 13530 7887 0 -1 1077944384 183 12982 0 0 1 0 5 3 20 0 15 0 50059144 11078557696 10466 33554432000 4194304 4196468 140727470019568 140005829110256 140006371752578 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39084032 140727470025327 140727470028124 140727470028124 140727470030799 0
[pid=13530/tid=13594] ppid=13527 vsize=10818904 memory=140663420757632 CPUtime=0.1 cores=0,2,4,6
/proc/13530/task/13594/stat : 13594 (java) S 13527 13530 7887 0 -1 1077944384 614 12982 0 0 2 0 5 3 20 0 15 0 50059144 11078557696 10466 33554432000 4194304 4196468 140727470019568 140005828057968 140006371752578 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39084032 140727470025327 140727470028124 140727470028124 140727470030799 0
[pid=13530/tid=13595] ppid=13527 vsize=10818904 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/13530/task/13595/stat : 13595 (java) S 13527 13530 7887 0 -1 1077944384 3 12982 0 0 0 0 5 3 20 0 15 0 50059144 11078557696 10466 33554432000 4194304 4196468 140727470019568 140004855466976 140006371751637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39084032 140727470025327 140727470028124 140727470028124 140727470030799 0
[pid=13530/tid=13596] ppid=13527 vsize=10818904 memory=140663420757632 CPUtime=0.08 cores=0,2,4,6
/proc/13530/task/13596/stat : 13596 (java) S 13527 13530 7887 0 -1 1077944384 1 12982 0 0 0 0 5 3 20 0 15 0 50059145 11078557696 10466 33554432000 4194304 4196468 140727470019568 140005827004848 140006371752578 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39084032 140727470025327 140727470028124 140727470028124 140727470030799 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10818904 KiB
Current children cumulated memory: 41864 KiB

[startup+0.310123 s]*
/proc/loadavg: 1.23 1.40 1.42 3/215 13596
/proc/meminfo: memFree=18428640/32770624 swapFree=67108860/67108860
[pid=13530] ppid=13527 vsize=10819352 memory=53664 CPUtime=0.38 cores=0,2,4,6
/proc/13530/stat : 13530 (java) S 13527 13530 7887 0 -1 1077944320 9985 12982 0 0 27 3 5 3 20 0 15 0 50059129 11079016448 13416 33554432000 4194304 4196468 140727470019568 140727470002112 140006371741431 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 39084032 140727470025327 140727470028124 140727470028124 140727470030799 0
/proc/13530/statm: 2704838 13416 3067 1 0 2667149 0
[pid=13530/tid=13583] ppid=13527 vsize=10819352 memory=6791534058613427641 CPUtime=0.28 cores=0,2,4,6
/proc/13530/task/13583/stat : 13583 (java) R 13527 13530 7887 0 -1 4202560 6517 12982 0 0 19 1 5 3 20 0 15 0 50059138 11079016448 13416 33554432000 4194304 4196468 140727470019568 140006343553440 140006352016604 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 39084032 140727470025327 140727470028124 140727470028124 140727470030799 0
[pid=13530/tid=13584] ppid=13527 vsize=10819352 memory=6152005487091011665 CPUtime=0.08 cores=0,2,4,6
/proc/13530/task/13584/stat : 13584 (java) S 13527 13530 7887 0 -1 1077944384 1 12982 0 0 0 0 5 3 20 0 15 0 50059139 11079016448 13416 33554432000 4194304 4196468 140727470019568 140006375984016 140006371751637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39084032 140727470025327 140727470028124 140727470028124 140727470030799 0
[pid=13530/tid=13585] ppid=13527 vsize=10819352 memory=2080 CPUtime=0.08 cores=0,2,4,6
/proc/13530/task/13585/stat : 13585 (java) S 13527 13530 7887 0 -1 1077944384 2 12982 0 0 0 0 5 3 20 0 15 0 50059139 11079016448 13416 33554432000 4194304 4196468 140727470019568 140006274874128 140006371751637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39084032 140727470025327 140727470028124 140727470028124 140727470030799 0
[pid=13530/tid=13586] ppid=13527 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/13530/task/13586/stat : 13586 (java) S 13527 13530 7887 0 -1 1077944384 1 12982 0 0 0 0 5 3 20 0 15 0 50059139 11079016448 13416 33554432000 4194304 4196468 140727470019568 140006273821840 140006371751637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39084032 140727470025327 140727470028124 140727470028124 140727470030799 0
[pid=13530/tid=13587] ppid=13527 vsize=10819352 memory=4126316290023845779 CPUtime=0.08 cores=0,2,4,6
/proc/13530/task/13587/stat : 13587 (java) S 13527 13530 7887 0 -1 1077944384 2 12982 0 0 0 0 5 3 20 0 15 0 50059139 11079016448 13416 33554432000 4194304 4196468 140727470019568 140006272769040 140006371751637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39084032 140727470025327 140727470028124 140727470028124 140727470030799 0
[pid=13530/tid=13588] ppid=13527 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/13530/task/13588/stat : 13588 (java) S 13527 13530 7887 0 -1 1077944384 2 12982 0 0 0 0 5 3 20 0 15 0 50059141 11079016448 13416 33554432000 4194304 4196468 140727470019568 140005831215216 140006371752578 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39084032 140727470025327 140727470028124 140727470028124 140727470030799 0
[pid=13530/tid=13589] ppid=13527 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/13530/task/13589/stat : 13589 (java) S 13527 13530 7887 0 -1 1077944384 13 12982 0 0 0 0 5 3 20 0 15 0 50059141 11079016448 13416 33554432000 4194304 4196468 140727470019568 140005733294880 140006371751637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39084032 140727470025327 140727470028124 140727470028124 140727470030799 0
[pid=13530/tid=13590] ppid=13527 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/13530/task/13590/stat : 13590 (java) S 13527 13530 7887 0 -1 1077944384 1 12982 0 0 0 0 5 3 20 0 15 0 50059142 11079016448 13416 33554432000 4194304 4196468 140727470019568 140005129315440 140006371751637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39084032 140727470025327 140727470028124 140727470028124 140727470030799 0
[pid=13530/tid=13591] ppid=13527 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/13530/task/13591/stat : 13591 (java) S 13527 13530 7887 0 -1 1077944384 3 12982 0 0 0 0 5 3 20 0 15 0 50059144 11079016448 13416 33554432000 4194304 4196468 140727470019568 140004889024592 140006371760027 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39084032 140727470025327 140727470028124 140727470028124 140727470030799 0
[pid=13530/tid=13592] ppid=13527 vsize=10819352 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/13530/task/13592/stat : 13592 (java) S 13527 13530 7887 0 -1 1077944384 439 12982 0 0 1 0 5 3 20 0 15 0 50059144 11079016448 13416 33554432000 4194304 4196468 140727470019568 140005830163056 140006371752578 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39084032 140727470025327 140727470028124 140727470028124 140727470030799 0
[pid=13530/tid=13593] ppid=13527 vsize=10819352 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/13530/task/13593/stat : 13593 (java) S 13527 13530 7887 0 -1 1077944384 183 12982 0 0 1 0 5 3 20 0 15 0 50059144 11079016448 13416 33554432000 4194304 4196468 140727470019568 140005829110256 140006371752578 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39084032 140727470025327 140727470028124 140727470028124 140727470030799 0
[pid=13530/tid=13594] ppid=13527 vsize=10819352 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/13530/task/13594/stat : 13594 (java) S 13527 13530 7887 0 -1 1077944384 625 12982 0 0 4 0 5 3 20 0 15 0 50059144 11079016448 13416 33554432000 4194304 4196468 140727470019568 140005828057968 140006371752578 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39084032 140727470025327 140727470028124 140727470028124 140727470030799 0
[pid=13530/tid=13595] ppid=13527 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/13530/task/13595/stat : 13595 (java) S 13527 13530 7887 0 -1 1077944384 3 12982 0 0 0 0 5 3 20 0 15 0 50059144 11079016448 13416 33554432000 4194304 4196468 140727470019568 140004855466976 140006371751637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39084032 140727470025327 140727470028124 140727470028124 140727470030799 0
[pid=13530/tid=13596] ppid=13527 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/13530/task/13596/stat : 13596 (java) S 13527 13530 7887 0 -1 1077944384 1 12982 0 0 0 0 5 3 20 0 15 0 50059145 11079016448 13416 33554432000 4194304 4196468 140727470019568 140005827004848 140006371752578 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39084032 140727470025327 140727470028124 140727470028124 140727470030799 0
Current children cumulated CPU time: 0.38 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 53664 KiB

[startup+0.700717 s]
/proc/loadavg: 1.23 1.40 1.42 3/215 13596
/proc/meminfo: memFree=18418340/32770624 swapFree=67108860/67108860
[pid=13530] ppid=13527 vsize=10819352 memory=88232 CPUtime=0.99 cores=0,2,4,6
/proc/13530/stat : 13530 (java) S 13527 13530 7887 0 -1 1077944320 16716 12982 0 0 87 4 5 3 20 0 15 0 50059129 11079016448 22058 33554432000 4194304 4196468 140727470019568 140727470002112 140006371741431 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 39084032 140727470025327 140727470028124 140727470028124 140727470030799 0
/proc/13530/statm: 2704838 22058 3237 1 0 2667149 0
[pid=13530/tid=13583] ppid=13527 vsize=10819352 memory=0 CPUtime=0.67 cores=0,2,4,6
/proc/13530/task/13583/stat : 13583 (java) R 13527 13530 7887 0 -1 4202560 12141 12982 0 0 56 3 5 3 20 0 15 0 50059138 11079016448 22058 33554432000 4194304 4196468 140727470019568 140006343544112 140006353304935 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 39084032 140727470025327 140727470028124 140727470028124 140727470030799 0
[pid=13530/tid=13584] ppid=13527 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/13530/task/13584/stat : 13584 (java) S 13527 13530 7887 0 -1 1077944384 1 12982 0 0 0 0 5 3 20 0 15 0 50059139 11079016448 22058 33554432000 4194304 4196468 140727470019568 140006375984016 140006371751637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39084032 140727470025327 140727470028124 140727470028124 140727470030799 0
[pid=13530/tid=13585] ppid=13527 vsize=10819352 memory=4140 CPUtime=0.08 cores=0,2,4,6
/proc/13530/task/13585/stat : 13585 (java) S 13527 13530 7887 0 -1 1077944384 2 12982 0 0 0 0 5 3 20 0 15 0 50059139 11079016448 22058 33554432000 4194304 4196468 140727470019568 140006274874128 140006371751637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39084032 140727470025327 140727470028124 140727470028124 140727470030799 0
[pid=13530/tid=13586] ppid=13527 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/13530/task/13586/stat : 13586 (java) S 13527 13530 7887 0 -1 1077944384 1 12982 0 0 0 0 5 3 20 0 15 0 50059139 11079016448 22058 33554432000 4194304 4196468 140727470019568 140006273821840 140006371751637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39084032 140727470025327 140727470028124 140727470028124 140727470030799 0
[pid=13530/tid=13587] ppid=13527 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/13530/task/13587/stat : 13587 (java) S 13527 13530 7887 0 -1 1077944384 2 12982 0 0 0 0 5 3 20 0 15 0 50059139 11079016448 22058 33554432000 4194304 4196468 140727470019568 140006272769040 140006371751637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39084032 140727470025327 140727470028124 140727470028124 140727470030799 0
[pid=13530/tid=13588] ppid=13527 vsize=10819352 memory=4420 CPUtime=0.08 cores=0,2,4,6
/proc/13530/task/13588/stat : 13588 (java) S 13527 13530 7887 0 -1 1077944384 5 12982 0 0 0 0 5 3 20 0 15 0 50059141 11079016448 22058 33554432000 4194304 4196468 140727470019568 140005831215216 140006371752578 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39084032 140727470025327 140727470028124 140727470028124 140727470030799 0
[pid=13530/tid=13589] ppid=13527 vsize=10819352 memory=6628 CPUtime=0.08 cores=0,2,4,6
/proc/13530/task/13589/stat : 13589 (java) S 13527 13530 7887 0 -1 1077944384 13 12982 0 0 0 0 5 3 20 0 15 0 50059141 11079016448 22058 33554432000 4194304 4196468 140727470019568 140005733294880 140006371751637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39084032 140727470025327 140727470028124 140727470028124 140727470030799 0
[pid=13530/tid=13590] ppid=13527 vsize=10819352 memory=8836 CPUtime=0.08 cores=0,2,4,6
/proc/13530/task/13590/stat : 13590 (java) S 13527 13530 7887 0 -1 1077944384 1 12982 0 0 0 0 5 3 20 0 15 0 50059142 11079016448 22058 33554432000 4194304 4196468 140727470019568 140005129315440 140006371751637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39084032 140727470025327 140727470028124 140727470028124 140727470030799 0
[pid=13530/tid=13591] ppid=13527 vsize=10819352 memory=11044 CPUtime=0.08 cores=0,2,4,6
/proc/13530/task/13591/stat : 13591 (java) S 13527 13530 7887 0 -1 1077944384 3 12982 0 0 0 0 5 3 20 0 15 0 50059144 11079016448 22058 33554432000 4194304 4196468 140727470019568 140004889024592 140006371760027 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39084032 140727470025327 140727470028124 140727470028124 140727470030799 0
[pid=13530/tid=13592] ppid=13527 vsize=10819352 memory=13252 CPUtime=0.15 cores=0,2,4,6
/proc/13530/task/13592/stat : 13592 (java) S 13527 13530 7887 0 -1 1077944384 826 12982 0 0 7 0 5 3 20 0 15 0 50059144 11079016448 22058 33554432000 4194304 4196468 140727470019568 140005830163056 140006371752578 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39084032 140727470025327 140727470028124 140727470028124 140727470030799 0
[pid=13530/tid=13593] ppid=13527 vsize=10819352 memory=15460 CPUtime=0.17 cores=0,2,4,6
/proc/13530/task/13593/stat : 13593 (java) S 13527 13530 7887 0 -1 1077944384 827 12982 0 0 9 0 5 3 20 0 15 0 50059144 11079016448 22058 33554432000 4194304 4196468 140727470019568 140005829110256 140006371752578 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39084032 140727470025327 140727470028124 140727470028124 140727470030799 0
[pid=13530/tid=13594] ppid=13527 vsize=10819352 memory=17668 CPUtime=0.21 cores=0,2,4,6
/proc/13530/task/13594/stat : 13594 (java) S 13527 13530 7887 0 -1 1077944384 698 12982 0 0 13 0 5 3 20 0 15 0 50059144 11079016448 22058 33554432000 4194304 4196468 140727470019568 140005828057968 140006371752578 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39084032 140727470025327 140727470028124 140727470028124 140727470030799 0
[pid=13530/tid=13595] ppid=13527 vsize=10819352 memory=19876 CPUtime=0.08 cores=0,2,4,6
/proc/13530/task/13595/stat : 13595 (java) S 13527 13530 7887 0 -1 1077944384 3 12982 0 0 0 0 5 3 20 0 15 0 50059144 11079016448 22058 33554432000 4194304 4196468 140727470019568 140004855466976 140006371751637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39084032 140727470025327 140727470028124 140727470028124 140727470030799 0
[pid=13530/tid=13596] ppid=13527 vsize=10819352 memory=22084 CPUtime=0.08 cores=0,2,4,6
/proc/13530/task/13596/stat : 13596 (java) S 13527 13530 7887 0 -1 1077944384 1 12982 0 0 0 0 5 3 20 0 15 0 50059145 11079016448 22058 33554432000 4194304 4196468 140727470019568 140005827004848 140006371752578 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39084032 140727470025327 140727470028124 140727470028124 140727470030799 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 88232 KiB

[startup+1.50071 s]
/proc/loadavg: 1.23 1.40 1.42 3/215 13596
/proc/meminfo: memFree=18374800/32770624 swapFree=67108860/67108860
[pid=13530] ppid=13527 vsize=10832204 memory=168756 CPUtime=2.85 cores=0,2,4,6
/proc/13530/stat : 13530 (java) S 13527 13530 7887 0 -1 1077944320 23892 12982 0 0 269 8 5 3 20 0 15 0 50059129 11092176896 42189 33554432000 4194304 4196468 140727470019568 140727470002112 140006371741431 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 39084032 140727470025327 140727470028124 140727470028124 140727470030799 0
/proc/13530/statm: 2708051 42189 3451 1 0 2669709 0
[pid=13530/tid=13583] ppid=13527 vsize=10832204 memory=0 CPUtime=1.46 cores=0,2,4,6
/proc/13530/task/13583/stat : 13583 (java) R 13527 13530 7887 0 -1 4202560 16623 12982 0 0 132 6 5 3 20 0 15 0 50059138 11092176896 42189 33554432000 4194304 4196468 140727470019568 140006343527656 140006371763357 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 39084032 140727470025327 140727470028124 140727470028124 140727470030799 0
[pid=13530/tid=13584] ppid=13527 vsize=10832204 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/13530/task/13584/stat : 13584 (java) S 13527 13530 7887 0 -1 1077944384 1 12982 0 0 0 0 5 3 20 0 15 0 50059139 11092176896 42189 33554432000 4194304 4196468 140727470019568 140006375984016 140006371751637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39084032 140727470025327 140727470028124 140727470028124 140727470030799 0
[pid=13530/tid=13585] ppid=13527 vsize=10832204 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/13530/task/13585/stat : 13585 (java) S 13527 13530 7887 0 -1 1077944384 2 12982 0 0 0 0 5 3 20 0 15 0 50059139 11092176896 42189 33554432000 4194304 4196468 140727470019568 140006274874128 140006371751637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39084032 140727470025327 140727470028124 140727470028124 140727470030799 0
[pid=13530/tid=13586] ppid=13527 vsize=10832204 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/13530/task/13586/stat : 13586 (java) S 13527 13530 7887 0 -1 1077944384 1 12982 0 0 0 0 5 3 20 0 15 0 50059139 11092176896 42189 33554432000 4194304 4196468 140727470019568 140006273821840 140006371751637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39084032 140727470025327 140727470028124 140727470028124 140727470030799 0
[pid=13530/tid=13587] ppid=13527 vsize=10832204 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/13530/task/13587/stat : 13587 (java) S 13527 13530 7887 0 -1 1077944384 2 12982 0 0 0 0 5 3 20 0 15 0 50059139 11092176896 42189 33554432000 4194304 4196468 140727470019568 140006272769040 140006371751637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39084032 140727470025327 140727470028124 140727470028124 140727470030799 0
[pid=13530/tid=13588] ppid=13527 vsize=10832204 memory=-7965959130280075168 CPUtime=0.08 cores=0,2,4,6
/proc/13530/task/13588/stat : 13588 (java) S 13527 13530 7887 0 -1 1077944384 6 12982 0 0 0 0 5 3 20 0 15 0 50059141 11092176896 42189 33554432000 4194304 4196468 140727470019568 140005831215216 140006371752578 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39084032 140727470025327 140727470028124 140727470028124 140727470030799 0
[pid=13530/tid=13589] ppid=13527 vsize=10832204 memory=281326531979520 CPUtime=0.08 cores=0,2,4,6
/proc/13530/task/13589/stat : 13589 (java) S 13527 13530 7887 0 -1 1077944384 13 12982 0 0 0 0 5 3 20 0 15 0 50059141 11092176896 42189 33554432000 4194304 4196468 140727470019568 140005733294880 140006371751637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39084032 140727470025327 140727470028124 140727470028124 140727470030799 0
[pid=13530/tid=13590] ppid=13527 vsize=10832204 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/13530/task/13590/stat : 13590 (java) S 13527 13530 7887 0 -1 1077944384 1 12982 0 0 0 0 5 3 20 0 15 0 50059142 11092176896 42189 33554432000 4194304 4196468 140727470019568 140005129315440 140006371751637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39084032 140727470025327 140727470028124 140727470028124 140727470030799 0
[pid=13530/tid=13591] ppid=13527 vsize=10832204 memory=1952 CPUtime=0.08 cores=0,2,4,6
/proc/13530/task/13591/stat : 13591 (java) S 13527 13530 7887 0 -1 1077944384 3 12982 0 0 0 0 5 3 20 0 15 0 50059144 11092176896 42189 33554432000 4194304 4196468 140727470019568 140004889024592 140006371760027 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39084032 140727470025327 140727470028124 140727470028124 140727470030799 0
[pid=13530/tid=13592] ppid=13527 vsize=10832204 memory=1232 CPUtime=0.52 cores=0,2,4,6
/proc/13530/task/13592/stat : 13592 (java) S 13527 13530 7887 0 -1 1077944384 1509 12982 0 0 44 0 5 3 20 0 15 0 50059144 11092176896 42189 33554432000 4194304 4196468 140727470019568 140005830163056 140006371752578 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39084032 140727470025327 140727470028124 140727470028124 140727470030799 0
[pid=13530/tid=13593] ppid=13527 vsize=10832204 memory=8372 CPUtime=0.56 cores=0,2,4,6
/proc/13530/task/13593/stat : 13593 (java) S 13527 13530 7887 0 -1 1077944384 1922 12982 0 0 48 0 5 3 20 0 15 0 50059144 11092176896 42189 33554432000 4194304 4196468 140727470019568 140005829110256 140006371752578 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39084032 140727470025327 140727470028124 140727470028124 140727470030799 0
[pid=13530/tid=13594] ppid=13527 vsize=10832204 memory=1708 CPUtime=0.51 cores=0,2,4,6
/proc/13530/task/13594/stat : 13594 (java) S 13527 13530 7887 0 -1 1077944384 1613 12982 0 0 43 0 5 3 20 0 15 0 50059144 11092176896 42189 33554432000 4194304 4196468 140727470019568 140005828057968 140006371752578 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39084032 140727470025327 140727470028124 140727470028124 140727470030799 0
[pid=13530/tid=13595] ppid=13527 vsize=10832204 memory=5412 CPUtime=0.08 cores=0,2,4,6
/proc/13530/task/13595/stat : 13595 (java) S 13527 13530 7887 0 -1 1077944384 3 12982 0 0 0 0 5 3 20 0 15 0 50059144 11092176896 42189 33554432000 4194304 4196468 140727470019568 140004855466976 140006371751637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39084032 140727470025327 140727470028124 140727470028124 140727470030799 0
[pid=13530/tid=13596] ppid=13527 vsize=10832204 memory=4612 CPUtime=0.08 cores=0,2,4,6
/proc/13530/task/13596/stat : 13596 (java) S 13527 13530 7887 0 -1 1077944384 1 12982 0 0 0 0 5 3 20 0 15 0 50059145 11092176896 42189 33554432000 4194304 4196468 140727470019568 140005827004848 140006371752578 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39084032 140727470025327 140727470028124 140727470028124 140727470030799 0
Current children cumulated CPU time: 2.85 s
Current children cumulated vsize: 10832204 KiB

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

[startup+12.7007 s]
/proc/loadavg: 1.65 1.49 1.45 5/215 13596
/proc/meminfo: memFree=17641836/32770624 swapFree=67108860/67108860
[pid=13530] ppid=13527 vsize=10917000 memory=933080 CPUtime=27.89 cores=0,2,4,6
/proc/13530/stat : 13530 (java) S 13527 13530 7887 0 -1 1077944320 82056 12982 0 0 2736 45 5 3 20 0 15 0 50059129 11179008000 233270 33554432000 4194304 4196468 140727470019568 140727470002112 140006371741431 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 39084032 140727470025327 140727470028124 140727470028124 140727470030799 0
/proc/13530/statm: 2729250 233270 3529 1 0 2690903 0
[pid=13530/tid=13583] ppid=13527 vsize=10917000 memory=915800 CPUtime=12.33 cores=0,2,4,6
/proc/13530/task/13583/stat : 13583 (java) R 13527 13530 7887 0 -1 4202560 41378 12982 0 0 1207 18 5 3 20 0 15 0 50059138 11179008000 233270 33554432000 4194304 4196468 140727470019568 140006343574544 140005973000623 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 39084032 140727470025327 140727470028124 140727470028124 140727470030799 0
[pid=13530/tid=13584] ppid=13527 vsize=10917000 memory=281326532827872 CPUtime=0.28 cores=0,2,4,6
/proc/13530/task/13584/stat : 13584 (java) S 13527 13530 7887 0 -1 1077944384 390 12982 0 0 17 3 5 3 20 0 15 0 50059139 11179008000 233270 33554432000 4194304 4196468 140727470019568 140006375984016 140006371751637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39084032 140727470025327 140727470028124 140727470028124 140727470030799 0
[pid=13530/tid=13585] ppid=13527 vsize=10917000 memory=0 CPUtime=0.29 cores=0,2,4,6
/proc/13530/task/13585/stat : 13585 (java) S 13527 13530 7887 0 -1 1077944384 268 12982 0 0 17 4 5 3 20 0 15 0 50059139 11179008000 233270 33554432000 4194304 4196468 140727470019568 140006274874128 140006371751637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39084032 140727470025327 140727470028124 140727470028124 140727470030799 0
[pid=13530/tid=13586] ppid=13527 vsize=10917000 memory=0 CPUtime=0.3 cores=0,2,4,6
/proc/13530/task/13586/stat : 13586 (java) S 13527 13530 7887 0 -1 1077944384 761 12982 0 0 18 4 5 3 20 0 15 0 50059139 11179008000 233270 33554432000 4194304 4196468 140727470019568 140006273821840 140006371751637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39084032 140727470025327 140727470028124 140727470028124 140727470030799 0
[pid=13530/tid=13587] ppid=13527 vsize=10917000 memory=56 CPUtime=0.29 cores=0,2,4,6
/proc/13530/task/13587/stat : 13587 (java) S 13527 13530 7887 0 -1 1077944384 773 12982 0 0 17 4 5 3 20 0 15 0 50059139 11179008000 233270 33554432000 4194304 4196468 140727470019568 140006272769040 140006371751637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39084032 140727470025327 140727470028124 140727470028124 140727470030799 0
[pid=13530/tid=13588] ppid=13527 vsize=10917000 memory=7018111704192078695 CPUtime=0.14 cores=0,2,4,6
/proc/13530/task/13588/stat : 13588 (java) S 13527 13530 7887 0 -1 1077944384 3136 12982 0 0 6 0 5 3 20 0 15 0 50059141 11179008000 233270 33554432000 4194304 4196468 140727470019568 140005831215216 140006371752578 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39084032 140727470025327 140727470028124 140727470028124 140727470030799 0
[pid=13530/tid=13589] ppid=13527 vsize=10917000 memory=33 CPUtime=0.08 cores=0,2,4,6
/proc/13530/task/13589/stat : 13589 (java) S 13527 13530 7887 0 -1 1077944384 27 12982 0 0 0 0 5 3 20 0 15 0 50059141 11179008000 233270 33554432000 4194304 4196468 140727470019568 140005733294944 140006371751637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39084032 140727470025327 140727470028124 140727470028124 140727470030799 0
[pid=13530/tid=13590] ppid=13527 vsize=10917000 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/13530/task/13590/stat : 13590 (java) S 13527 13530 7887 0 -1 1077944384 20 12982 0 0 0 0 5 3 20 0 15 0 50059142 11179008000 233270 33554432000 4194304 4196468 140727470019568 140005129315456 140006371751637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39084032 140727470025327 140727470028124 140727470028124 140727470030799 0
[pid=13530/tid=13591] ppid=13527 vsize=10917000 memory=7956019342284947518 CPUtime=0.08 cores=0,2,4,6
/proc/13530/task/13591/stat : 13591 (java) S 13527 13530 7887 0 -1 1077944384 3 12982 0 0 0 0 5 3 20 0 15 0 50059144 11179008000 233270 33554432000 4194304 4196468 140727470019568 140004889024592 140006371760027 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39084032 140727470025327 140727470028124 140727470028124 140727470030799 0
[pid=13530/tid=13592] ppid=13527 vsize=10917000 memory=56 CPUtime=6.06 cores=0,2,4,6
/proc/13530/task/13592/stat : 13592 (java) R 13527 13530 7887 0 -1 4202560 12465 12982 0 0 596 2 5 3 20 0 15 0 50059144 11179008000 233270 33554432000 4194304 4196468 140727470019568 140005830147568 140006353260982 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 39084032 140727470025327 140727470028124 140727470028124 140727470030799 0
[pid=13530/tid=13593] ppid=13527 vsize=10917000 memory=6152010989348283492 CPUtime=6.22 cores=0,2,4,6
/proc/13530/task/13593/stat : 13593 (java) R 13527 13530 7887 0 -1 4202560 13932 12982 0 0 612 2 5 3 20 0 15 0 50059144 11179008000 233270 33554432000 4194304 4196468 140727470019568 140005829096416 140006350997902 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 39084032 140727470025327 140727470028124 140727470028124 140727470030799 0
[pid=13530/tid=13594] ppid=13527 vsize=10917000 memory=7590642725031601761 CPUtime=2.5 cores=0,2,4,6
/proc/13530/task/13594/stat : 13594 (java) S 13527 13530 7887 0 -1 1077944384 6655 12982 0 0 239 3 5 3 20 0 15 0 50059144 11179008000 233270 33554432000 4194304 4196468 140727470019568 140005828057968 140006371752578 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39084032 140727470025327 140727470028124 140727470028124 140727470030799 0
[pid=13530/tid=13595] ppid=13527 vsize=10917000 memory=7590642725048640866 CPUtime=0.08 cores=0,2,4,6
/proc/13530/task/13595/stat : 13595 (java) S 13527 13530 7887 0 -1 1077944384 3 12982 0 0 0 0 5 3 20 0 15 0 50059144 11179008000 233270 33554432000 4194304 4196468 140727470019568 140004855466976 140006371751637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39084032 140727470025327 140727470028124 140727470028124 140727470030799 0
[pid=13530/tid=13596] ppid=13527 vsize=10917000 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/13530/task/13596/stat : 13596 (java) S 13527 13530 7887 0 -1 1077944384 53 12982 0 0 0 0 5 3 20 0 15 0 50059145 11179008000 233270 33554432000 4194304 4196468 140727470019568 140005827004848 140006371752578 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39084032 140727470025327 140727470028124 140727470028124 140727470030799 0
Current children cumulated CPU time: 27.89 s
Current children cumulated vsize: 10917000 KiB
Current children cumulated memory: 933080 KiB

[startup+13.4391 s]
# the end of solver process 13530 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=29.5507 s, system=0.50965 s

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

[startup+12.8009 s]
/proc/loadavg: 1.65 1.49 1.45 5/215 13596
/proc/meminfo: memFree=17641836/32770624 swapFree=67108860/67108860
[pid=13530] ppid=13527 vsize=10916192 memory=931412 CPUtime=28.23 cores=0,2,4,6
/proc/13530/stat : 13530 (java) S 13527 13530 7887 0 -1 1077944320 82342 12982 0 0 2770 45 5 3 20 0 15 0 50059129 11178180608 232853 33554432000 4194304 4196468 140727470019568 140727470002112 140006371741431 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 39084032 140727470025327 140727470028124 140727470028124 140727470030799 0
/proc/13530/statm: 2729048 232853 3531 1 0 2690701 0
[pid=13530/tid=13583] ppid=13527 vsize=10916192 memory=-3252517613198930781 CPUtime=12.43 cores=0,2,4,6
/proc/13530/task/13583/stat : 13583 (java) R 13527 13530 7887 0 -1 4202560 41446 12982 0 0 1217 18 5 3 20 0 15 0 50059138 11178180608 232853 33554432000 4194304 4196468 140727470019568 140006343571712 140005965289631 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 39084032 140727470025327 140727470028124 140727470028124 140727470030799 0
[pid=13530/tid=13584] ppid=13527 vsize=10916192 memory=-4866526891258710369 CPUtime=0.28 cores=0,2,4,6
/proc/13530/task/13584/stat : 13584 (java) S 13527 13530 7887 0 -1 1077944384 390 12982 0 0 17 3 5 3 20 0 15 0 50059139 11178180608 232853 33554432000 4194304 4196468 140727470019568 140006375984016 140006371751637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39084032 140727470025327 140727470028124 140727470028124 140727470030799 0
[pid=13530/tid=13585] ppid=13527 vsize=10916192 memory=6791534058613427641 CPUtime=0.29 cores=0,2,4,6
/proc/13530/task/13585/stat : 13585 (java) S 13527 13530 7887 0 -1 1077944384 268 12982 0 0 17 4 5 3 20 0 15 0 50059139 11178180608 232853 33554432000 4194304 4196468 140727470019568 140006274874128 140006371751637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39084032 140727470025327 140727470028124 140727470028124 140727470030799 0
[pid=13530/tid=13586] ppid=13527 vsize=10916192 memory=7234303152781525078 CPUtime=0.3 cores=0,2,4,6
/proc/13530/task/13586/stat : 13586 (java) S 13527 13530 7887 0 -1 1077944384 761 12982 0 0 18 4 5 3 20 0 15 0 50059139 11178180608 232853 33554432000 4194304 4196468 140727470019568 140006273821840 140006371751637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39084032 140727470025327 140727470028124 140727470028124 140727470030799 0
[pid=13530/tid=13587] ppid=13527 vsize=10916192 memory=288291094993830767 CPUtime=0.29 cores=0,2,4,6
/proc/13530/task/13587/stat : 13587 (java) S 13527 13530 7887 0 -1 1077944384 773 12982 0 0 17 4 5 3 20 0 15 0 50059139 11178180608 232853 33554432000 4194304 4196468 140727470019568 140006272769040 140006371751637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39084032 140727470025327 140727470028124 140727470028124 140727470030799 0
[pid=13530/tid=13588] ppid=13527 vsize=10916192 memory=0 CPUtime=0.14 cores=0,2,4,6
/proc/13530/task/13588/stat : 13588 (java) S 13527 13530 7887 0 -1 1077944384 3136 12982 0 0 6 0 5 3 20 0 15 0 50059141 11178180608 232853 33554432000 4194304 4196468 140727470019568 140005831215216 140006371752578 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39084032 140727470025327 140727470028124 140727470028124 140727470030799 0
[pid=13530/tid=13589] ppid=13527 vsize=10916192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/13530/task/13589/stat : 13589 (java) S 13527 13530 7887 0 -1 1077944384 27 12982 0 0 0 0 5 3 20 0 15 0 50059141 11178180608 232853 33554432000 4194304 4196468 140727470019568 140005733294944 140006371751637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39084032 140727470025327 140727470028124 140727470028124 140727470030799 0
[pid=13530/tid=13590] ppid=13527 vsize=10916192 memory=834908 CPUtime=0.08 cores=0,2,4,6
/proc/13530/task/13590/stat : 13590 (java) S 13527 13530 7887 0 -1 1077944384 20 12982 0 0 0 0 5 3 20 0 15 0 50059142 11178180608 232853 33554432000 4194304 4196468 140727470019568 140005129315456 140006371751637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39084032 140727470025327 140727470028124 140727470028124 140727470030799 0
[pid=13530/tid=13591] ppid=13527 vsize=10916192 memory=15258134151170443 CPUtime=0.08 cores=0,2,4,6
/proc/13530/task/13591/stat : 13591 (java) S 13527 13530 7887 0 -1 1077944384 3 12982 0 0 0 0 5 3 20 0 15 0 50059144 11178180608 232853 33554432000 4194304 4196468 140727470019568 140004889024592 140006371760027 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39084032 140727470025327 140727470028124 140727470028124 140727470030799 0
[pid=13530/tid=13592] ppid=13527 vsize=10916192 memory=9960 CPUtime=6.15 cores=0,2,4,6
/proc/13530/task/13592/stat : 13592 (java) R 13527 13530 7887 0 -1 4202560 12496 12982 0 0 605 2 5 3 20 0 15 0 50059144 11178180608 232853 33554432000 4194304 4196468 140727470019568 140005830150336 140006356648732 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 39084032 140727470025327 140727470028124 140727470028124 140727470030799 0
[pid=13530/tid=13593] ppid=13527 vsize=10916192 memory=4004 CPUtime=6.32 cores=0,2,4,6
/proc/13530/task/13593/stat : 13593 (java) R 13527 13530 7887 0 -1 4202560 14000 12982 0 0 622 2 5 3 20 0 15 0 50059144 11178180608 232853 33554432000 4194304 4196468 140727470019568 140005829096688 140006349336368 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 39084032 140727470025327 140727470028124 140727470028124 140727470030799 0
[pid=13530/tid=13594] ppid=13527 vsize=10916192 memory=18448 CPUtime=2.58 cores=0,2,4,6
/proc/13530/task/13594/stat : 13594 (java) S 13527 13530 7887 0 -1 1077944384 6774 12982 0 0 246 4 5 3 20 0 15 0 50059144 11178180608 232853 33554432000 4194304 4196468 140727470019568 140005828057968 140006371752578 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39084032 140727470025327 140727470028124 140727470028124 140727470030799 0
[pid=13530/tid=13595] ppid=13527 vsize=10916192 memory=832868 CPUtime=0.08 cores=0,2,4,6
/proc/13530/task/13595/stat : 13595 (java) S 13527 13530 7887 0 -1 1077944384 3 12982 0 0 0 0 5 3 20 0 15 0 50059144 11178180608 232853 33554432000 4194304 4196468 140727470019568 140004855466976 140006371751637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39084032 140727470025327 140727470028124 140727470028124 140727470030799 0
[pid=13530/tid=13596] ppid=13527 vsize=10916192 memory=1836 CPUtime=0.08 cores=0,2,4,6
/proc/13530/task/13596/stat : 13596 (java) S 13527 13530 7887 0 -1 1077944384 53 12982 0 0 0 0 5 3 20 0 15 0 50059145 11178180608 232853 33554432000 4194304 4196468 140727470019568 140005827004848 140006371752578 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39084032 140727470025327 140727470028124 140727470028124 140727470030799 0
Current children cumulated CPU time: 28.23 s
Current children cumulated vsize: 10916192 KiB
Current children cumulated memory: 931412 KiB

[startup+13.2006 s]
/proc/loadavg: 1.65 1.49 1.45 5/215 13596
/proc/meminfo: memFree=17566172/32770624 swapFree=67108860/67108860
[pid=13530] ppid=13527 vsize=10916192 memory=933120 CPUtime=29.48 cores=0,2,4,6
/proc/13530/stat : 13530 (java) S 13527 13530 7887 0 -1 1077944320 82787 12982 0 0 2895 45 5 3 20 0 15 0 50059129 11178180608 233280 33554432000 4194304 4196468 140727470019568 140727470002112 140006371741431 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 39084032 140727470025327 140727470028124 140727470028124 140727470030799 0
/proc/13530/statm: 2729048 233280 3536 1 0 2690701 0
[pid=13530/tid=13583] ppid=13527 vsize=10916192 memory=15258134151170443 CPUtime=12.83 cores=0,2,4,6
/proc/13530/task/13583/stat : 13583 (java) S 13527 13530 7887 0 -1 1077944384 41615 12982 0 0 1257 18 5 3 20 0 15 0 50059138 11178180608 233280 33554432000 4194304 4196468 140727470019568 140006343569184 140006371751637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39084032 140727470025327 140727470028124 140727470028124 140727470030799 0
[pid=13530/tid=13584] ppid=13527 vsize=10916192 memory=2400 CPUtime=0.28 cores=0,2,4,6
/proc/13530/task/13584/stat : 13584 (java) S 13527 13530 7887 0 -1 1077944384 390 12982 0 0 17 3 5 3 20 0 15 0 50059139 11178180608 233280 33554432000 4194304 4196468 140727470019568 140006375984016 140006371751637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39084032 140727470025327 140727470028124 140727470028124 140727470030799 0
[pid=13530/tid=13585] ppid=13527 vsize=10916192 memory=1836 CPUtime=0.29 cores=0,2,4,6
/proc/13530/task/13585/stat : 13585 (java) S 13527 13530 7887 0 -1 1077944384 268 12982 0 0 17 4 5 3 20 0 15 0 50059139 11178180608 233280 33554432000 4194304 4196468 140727470019568 140006274874128 140006371751637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39084032 140727470025327 140727470028124 140727470028124 140727470030799 0
[pid=13530/tid=13586] ppid=13527 vsize=10916192 memory=12976 CPUtime=0.3 cores=0,2,4,6
/proc/13530/task/13586/stat : 13586 (java) S 13527 13530 7887 0 -1 1077944384 761 12982 0 0 18 4 5 3 20 0 15 0 50059139 11178180608 233280 33554432000 4194304 4196468 140727470019568 140006273821840 140006371751637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39084032 140727470025327 140727470028124 140727470028124 140727470030799 0
[pid=13530/tid=13587] ppid=13527 vsize=10916192 memory=792 CPUtime=0.29 cores=0,2,4,6
/proc/13530/task/13587/stat : 13587 (java) S 13527 13530 7887 0 -1 1077944384 773 12982 0 0 17 4 5 3 20 0 15 0 50059139 11178180608 233280 33554432000 4194304 4196468 140727470019568 140006272769040 140006371751637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39084032 140727470025327 140727470028124 140727470028124 140727470030799 0
[pid=13530/tid=13588] ppid=13527 vsize=10916192 memory=1952 CPUtime=0.14 cores=0,2,4,6
/proc/13530/task/13588/stat : 13588 (java) S 13527 13530 7887 0 -1 1077944384 3136 12982 0 0 6 0 5 3 20 0 15 0 50059141 11178180608 233280 33554432000 4194304 4196468 140727470019568 140005831215216 140006371752578 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39084032 140727470025327 140727470028124 140727470028124 140727470030799 0
[pid=13530/tid=13589] ppid=13527 vsize=10916192 memory=1232 CPUtime=0.08 cores=0,2,4,6
/proc/13530/task/13589/stat : 13589 (java) S 13527 13530 7887 0 -1 1077944384 27 12982 0 0 0 0 5 3 20 0 15 0 50059141 11178180608 233280 33554432000 4194304 4196468 140727470019568 140005733294944 140006371751637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39084032 140727470025327 140727470028124 140727470028124 140727470030799 0
[pid=13530/tid=13590] ppid=13527 vsize=10916192 memory=8372 CPUtime=0.08 cores=0,2,4,6
/proc/13530/task/13590/stat : 13590 (java) S 13527 13530 7887 0 -1 1077944384 20 12982 0 0 0 0 5 3 20 0 15 0 50059142 11178180608 233280 33554432000 4194304 4196468 140727470019568 140005129315456 140006371751637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39084032 140727470025327 140727470028124 140727470028124 140727470030799 0
[pid=13530/tid=13591] ppid=13527 vsize=10916192 memory=1708 CPUtime=0.08 cores=0,2,4,6
/proc/13530/task/13591/stat : 13591 (java) S 13527 13530 7887 0 -1 1077944384 3 12982 0 0 0 0 5 3 20 0 15 0 50059144 11178180608 233280 33554432000 4194304 4196468 140727470019568 140004889024592 140006371760027 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39084032 140727470025327 140727470028124 140727470028124 140727470030799 0
[pid=13530/tid=13592] ppid=13527 vsize=10916192 memory=5412 CPUtime=6.53 cores=0,2,4,6
/proc/13530/task/13592/stat : 13592 (java) R 13527 13530 7887 0 -1 4202560 12574 12982 0 0 643 2 5 3 20 0 15 0 50059144 11178180608 233280 33554432000 4194304 4196468 140727470019568 140005830147184 140006371762778 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 39084032 140727470025327 140727470028124 140727470028124 140727470030799 0
[pid=13530/tid=13593] ppid=13527 vsize=10916192 memory=4612 CPUtime=6.7 cores=0,2,4,6
/proc/13530/task/13593/stat : 13593 (java) R 13527 13530 7887 0 -1 4202560 14064 12982 0 0 660 2 5 3 20 0 15 0 50059144 11178180608 233280 33554432000 4194304 4196468 140727470019568 140005829094448 140006371753366 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 39084032 140727470025327 140727470028124 140727470028124 140727470030799 0
[pid=13530/tid=13594] ppid=13527 vsize=10916192 memory=1012 CPUtime=2.68 cores=0,2,4,6
/proc/13530/task/13594/stat : 13594 (java) S 13527 13530 7887 0 -1 1077944384 6908 12982 0 0 256 4 5 3 20 0 15 0 50059144 11178180608 233280 33554432000 4194304 4196468 140727470019568 140005828057968 140006371752578 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39084032 140727470025327 140727470028124 140727470028124 140727470030799 0
[pid=13530/tid=13595] ppid=13527 vsize=10916192 memory=8761640388318109335 CPUtime=0.08 cores=0,2,4,6
/proc/13530/task/13595/stat : 13595 (java) S 13527 13530 7887 0 -1 1077944384 3 12982 0 0 0 0 5 3 20 0 15 0 50059144 11178180608 233280 33554432000 4194304 4196468 140727470019568 140004855466976 140006371751637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39084032 140727470025327 140727470028124 140727470028124 140727470030799 0
[pid=13530/tid=13596] ppid=13527 vsize=10916192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/13530/task/13596/stat : 13596 (java) S 13527 13530 7887 0 -1 1077944384 53 12982 0 0 0 0 5 3 20 0 15 0 50059145 11178180608 233280 33554432000 4194304 4196468 140727470019568 140005827004848 140006371752578 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39084032 140727470025327 140727470028124 140727470028124 140727470030799 0
Current children cumulated CPU time: 29.48 s
Current children cumulated vsize: 10916192 KiB
Current children cumulated memory: 933120 KiB

[startup+13.4051 s]
/proc/loadavg: 1.65 1.49 1.45 5/215 13596
/proc/meminfo: memFree=17566172/32770624 swapFree=67108860/67108860
[pid=13530] ppid=13527 vsize=10916192 memory=933520 CPUtime=30.01 cores=0,2,4,6
/proc/13530/stat : 13530 (java) S 13527 13530 7887 0 -1 1077944320 82914 12982 0 0 2947 46 5 3 20 0 15 0 50059129 11178180608 233380 33554432000 4194304 4196468 140727470019568 140727470002112 140006371741431 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 39084032 140727470025327 140727470028124 140727470028124 140727470030799 0
/proc/13530/statm: 2729048 233380 3536 1 0 2690701 0
[pid=13530/tid=13583] ppid=13527 vsize=10916192 memory=0 CPUtime=13.03 cores=0,2,4,6
/proc/13530/task/13583/stat : 13583 (java) R 13527 13530 7887 0 -1 4202560 41735 12982 0 0 1277 18 5 3 20 0 15 0 50059138 11178180608 233380 33554432000 4194304 4196468 140727470019568 140006343573512 140005969650950 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 39084032 140727470025327 140727470028124 140727470028124 140727470030799 0
[pid=13530/tid=13584] ppid=13527 vsize=10916192 memory=-8634980985311628903 CPUtime=0.28 cores=0,2,4,6
/proc/13530/task/13584/stat : 13584 (java) S 13527 13530 7887 0 -1 1077944384 390 12982 0 0 17 3 5 3 20 0 15 0 50059139 11178180608 233380 33554432000 4194304 4196468 140727470019568 140006375984016 140006371751637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39084032 140727470025327 140727470028124 140727470028124 140727470030799 0
[pid=13530/tid=13585] ppid=13527 vsize=10916192 memory=-7522837415797432224 CPUtime=0.29 cores=0,2,4,6
/proc/13530/task/13585/stat : 13585 (java) S 13527 13530 7887 0 -1 1077944384 268 12982 0 0 17 4 5 3 20 0 15 0 50059139 11178180608 233380 33554432000 4194304 4196468 140727470019568 140006274874128 140006371751637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39084032 140727470025327 140727470028124 140727470028124 140727470030799 0
[pid=13530/tid=13586] ppid=13527 vsize=10916192 memory=-3761410806829453664 CPUtime=0.3 cores=0,2,4,6
/proc/13530/task/13586/stat : 13586 (java) S 13527 13530 7887 0 -1 1077944384 761 12982 0 0 18 4 5 3 20 0 15 0 50059139 11178180608 233380 33554432000 4194304 4196468 140727470019568 140006273821840 140006371751637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39084032 140727470025327 140727470028124 140727470028124 140727470030799 0
[pid=13530/tid=13587] ppid=13527 vsize=10916192 memory=8761640388971749472 CPUtime=0.29 cores=0,2,4,6
/proc/13530/task/13587/stat : 13587 (java) S 13527 13530 7887 0 -1 1077944384 773 12982 0 0 17 4 5 3 20 0 15 0 50059139 11178180608 233380 33554432000 4194304 4196468 140727470019568 140006272769040 140006371751637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39084032 140727470025327 140727470028124 140727470028124 140727470030799 0
[pid=13530/tid=13588] ppid=13527 vsize=10916192 memory=1399101730491701635 CPUtime=0.14 cores=0,2,4,6
/proc/13530/task/13588/stat : 13588 (java) S 13527 13530 7887 0 -1 1077944384 3136 12982 0 0 6 0 5 3 20 0 15 0 50059141 11178180608 233380 33554432000 4194304 4196468 140727470019568 140005831215216 140006371752578 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39084032 140727470025327 140727470028124 140727470028124 140727470030799 0
[pid=13530/tid=13589] ppid=13527 vsize=10916192 memory=6154846647049742689 CPUtime=0.08 cores=0,2,4,6
/proc/13530/task/13589/stat : 13589 (java) S 13527 13530 7887 0 -1 1077944384 27 12982 0 0 0 0 5 3 20 0 15 0 50059141 11178180608 233380 33554432000 4194304 4196468 140727470019568 140005733294944 140006371751637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39084032 140727470025327 140727470028124 140727470028124 140727470030799 0
[pid=13530/tid=13590] ppid=13527 vsize=10916192 memory=7883944151737461866 CPUtime=0.08 cores=0,2,4,6
/proc/13530/task/13590/stat : 13590 (java) S 13527 13530 7887 0 -1 1077944384 20 12982 0 0 0 0 5 3 20 0 15 0 50059142 11178180608 233380 33554432000 4194304 4196468 140727470019568 140005129315456 140006371751637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39084032 140727470025327 140727470028124 140727470028124 140727470030799 0
[pid=13530/tid=13591] ppid=13527 vsize=10916192 memory=7662404640702819691 CPUtime=0.08 cores=0,2,4,6
/proc/13530/task/13591/stat : 13591 (java) S 13527 13530 7887 0 -1 1077944384 3 12982 0 0 0 0 5 3 20 0 15 0 50059144 11178180608 233380 33554432000 4194304 4196468 140727470019568 140004889024592 140006371760027 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39084032 140727470025327 140727470028124 140727470028124 140727470030799 0
[pid=13530/tid=13592] ppid=13527 vsize=10916192 memory=-6440014802082882668 CPUtime=6.66 cores=0,2,4,6
/proc/13530/task/13592/stat : 13592 (java) R 13527 13530 7887 0 -1 4202560 12574 12982 0 0 656 2 5 3 20 0 15 0 50059144 11178180608 233380 33554432000 4194304 4196468 140727470019568 140005830151616 140006371753366 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 39084032 140727470025327 140727470028124 140727470028124 140727470030799 0
[pid=13530/tid=13593] ppid=13527 vsize=10916192 memory=4206186544037388384 CPUtime=6.86 cores=0,2,4,6
/proc/13530/task/13593/stat : 13593 (java) R 13527 13530 7887 0 -1 4202560 14065 12982 0 0 676 2 5 3 20 0 15 0 50059144 11178180608 233380 33554432000 4194304 4196468 140727470019568 140005829090320 140006371762778 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 39084032 140727470025327 140727470028124 140727470028124 140727470030799 0
[pid=13530/tid=13594] ppid=13527 vsize=10916192 memory=6943526294502006880 CPUtime=2.71 cores=0,2,4,6
/proc/13530/task/13594/stat : 13594 (java) R 13527 13530 7887 0 -1 1077944384 6914 12982 0 0 259 4 5 3 20 0 15 0 50059144 11178180608 233380 33554432000 4194304 4196468 140727470019568 140005828057968 140006371752578 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 39084032 140727470025327 140727470028124 140727470028124 140727470030799 0
[pid=13530/tid=13595] ppid=13527 vsize=10916192 memory=6944656592455097440 CPUtime=0.08 cores=0,2,4,6
/proc/13530/task/13595/stat : 13595 (java) S 13527 13530 7887 0 -1 1077944384 3 12982 0 0 0 0 5 3 20 0 15 0 50059144 11178180608 233380 33554432000 4194304 4196468 140727470019568 140004855466976 140006371751637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39084032 140727470025327 140727470028124 140727470028124 140727470030799 0
[pid=13530/tid=13596] ppid=13527 vsize=10916192 memory=-6935123839545469842 CPUtime=0.08 cores=0,2,4,6
/proc/13530/task/13596/stat : 13596 (java) S 13527 13530 7887 0 -1 1077944384 53 12982 0 0 0 0 5 3 20 0 15 0 50059145 11178180608 233380 33554432000 4194304 4196468 140727470019568 140005827004848 140006371752578 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39084032 140727470025327 140727470028124 140727470028124 140727470030799 0
Current children cumulated CPU time: 30.01 s
Current children cumulated vsize: 10916192 KiB
Current children cumulated memory: 933520 KiB

Child status: 0
Real time (s): 13.4392
CPU time (s): 30.0604
CPU user time (s): 29.5507
CPU system time (s): 0.50965
CPU usage (%): 223.677
Max. virtual memory (cumulated for all children) (KiB): 10917000
Max. memory (cumulated for all children) (KiB): 933520

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 29.5507
system time used= 0.50965
maximum resident set size= 935772
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 95999
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= 9532
involuntary context switches= 114


# summary of solver processes directly reported to runsolver:
#   pid: 13530
#   total CPU time (s): 30.0604
#   total CPU user time (s): 29.5507
#   total CPU system time (s): 0.50965

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.108116 second user time and 0.16502 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 4293620

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data
