2018 XCSP3 competition: sequential solvers tracks competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
Concrete 3.9.2	OPT	792	21.2489	8.24163
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 (4627 MiB free)
  memory of node 1: 16384 MiB (5429 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4304311-1534057595/watcher-4304311-1534057595 -o /tmp/evaluation-result-4304311-1534057595/solver-4304311-1534057595 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node149-1534038877-15391 --watchdog 2580 bin/xcsp-3-concrete -J-Xss64M -randomseed=871174226 HOME/instance-4304311-1534057595.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=19530, runsolver pid=19527


[startup+0.100121 s]*
/proc/loadavg: 1.28 1.29 1.36 3/206 19587
/proc/meminfo: memFree=10288532/32770624 swapFree=67108496/67108860
[pid=19530] ppid=19527 vsize=10005480 memory=20636 CPUtime=0.08 cores=1,3,5,7
/proc/19530/stat : 19530 (java) S 19527 19530 14233 0 -1 1077944320 4275 13215 0 0 1 0 5 2 20 0 6 0 223322749 10245611520 5159 33554432000 4194304 4196468 140723144102400 140723144084944 140680396394231 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 35762176 140723144108653 140723144111452 140723144111452 140723144114127 0
/proc/19530/statm: 2501370 5159 1934 1 0 2489808 0
[pid=19530/tid=19583] ppid=19527 vsize=10005480 memory=4351193298051629959 CPUtime=0.08 cores=1,3,5,7
/proc/19530/task/19583/stat : 19583 (java) R 19527 19530 14233 0 -1 4202560 2080 13215 0 0 1 0 5 2 20 0 6 0 223322758 10245611520 5159 33554432000 4194304 4196468 140723144102400 140680368230992 140680381517168 0 4 0 16784584 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35762176 140723144108653 140723144111452 140723144111452 140723144114127 0
[pid=19530/tid=19584] ppid=19527 vsize=10005480 memory=8257237230052613020 CPUtime=0.07 cores=1,3,5,7
/proc/19530/task/19584/stat : 19584 (java) S 19527 19530 14233 0 -1 1077944384 1 13215 0 0 0 0 5 2 20 0 6 0 223322759 10245611520 5159 33554432000 4194304 4196468 140723144102400 140680400636816 140680396404437 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35762176 140723144108653 140723144111452 140723144111452 140723144114127 0
[pid=19530/tid=19585] ppid=19527 vsize=10005480 memory=140678526842496 CPUtime=0.07 cores=1,3,5,7
/proc/19530/task/19585/stat : 19585 (java) S 19527 19530 14233 0 -1 1077944384 1 13215 0 0 0 0 5 2 20 0 6 0 223322759 10245611520 5159 33554432000 4194304 4196468 140723144102400 140680255355664 140680396404437 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35762176 140723144108653 140723144111452 140723144111452 140723144114127 0
[pid=19530/tid=19586] ppid=19527 vsize=10005480 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/19530/task/19586/stat : 19586 (java) S 19527 19530 14233 0 -1 1077944384 1 13215 0 0 0 0 5 2 20 0 6 0 223322759 10245611520 5159 33554432000 4194304 4196468 140723144102400 140680254303376 140680396404437 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35762176 140723144108653 140723144111452 140723144111452 140723144114127 0
[pid=19530/tid=19587] ppid=19527 vsize=10005480 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/19530/task/19587/stat : 19587 (java) S 19527 19530 14233 0 -1 1077944384 2 13215 0 0 0 0 5 2 20 0 6 0 223322759 10245611520 5159 33554432000 4194304 4196468 140723144102400 140680253250576 140680396404437 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35762176 140723144108653 140723144111452 140723144111452 140723144114127 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 10005480 KiB
Current children cumulated memory: 20636 KiB

[startup+0.210526 s]*
/proc/loadavg: 1.28 1.29 1.36 4/215 19596
/proc/meminfo: memFree=10264888/32770624 swapFree=67108496/67108860
[pid=19530] ppid=19527 vsize=10983736 memory=48444 CPUtime=0.25 cores=1,3,5,7
/proc/19530/stat : 19530 (java) S 19527 19530 14233 0 -1 1077944320 7810 13215 0 0 16 2 5 2 20 0 15 0 223322749 11247345664 12111 33554432000 4194304 4196468 140723144102400 140723144084944 140680396394231 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 35762176 140723144108653 140723144111452 140723144111452 140723144114127 0
/proc/19530/statm: 2745934 12111 2943 1 0 2708357 0
[pid=19530/tid=19583] ppid=19527 vsize=10983736 memory=7022364594140610616 CPUtime=0.18 cores=1,3,5,7
/proc/19530/task/19583/stat : 19583 (java) R 19527 19530 14233 0 -1 4202560 4477 13215 0 0 10 1 5 2 20 0 15 0 223322758 11247345664 12243 33554432000 4194304 4196468 140723144102400 140680368219040 140680389073949 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35762176 140723144108653 140723144111452 140723144111452 140723144114127 0
[pid=19530/tid=19584] ppid=19527 vsize=10983736 memory=364 CPUtime=0.07 cores=1,3,5,7
/proc/19530/task/19584/stat : 19584 (java) S 19527 19530 14233 0 -1 1077944384 1 13215 0 0 0 0 5 2 20 0 15 0 223322759 11247345664 12243 33554432000 4194304 4196468 140723144102400 140680400636816 140680396404437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35762176 140723144108653 140723144111452 140723144111452 140723144114127 0
[pid=19530/tid=19585] ppid=19527 vsize=10983736 memory=140678528024444 CPUtime=0.07 cores=1,3,5,7
/proc/19530/task/19585/stat : 19585 (java) S 19527 19530 14233 0 -1 1077944384 1 13215 0 0 0 0 5 2 20 0 15 0 223322759 11247345664 12243 33554432000 4194304 4196468 140723144102400 140680255355664 140680396404437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35762176 140723144108653 140723144111452 140723144111452 140723144114127 0
[pid=19530/tid=19586] ppid=19527 vsize=10983736 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/19530/task/19586/stat : 19586 (java) S 19527 19530 14233 0 -1 1077944384 1 13215 0 0 0 0 5 2 20 0 15 0 223322759 11247345664 12243 33554432000 4194304 4196468 140723144102400 140680254303376 140680396404437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35762176 140723144108653 140723144111452 140723144111452 140723144114127 0
[pid=19530/tid=19587] ppid=19527 vsize=10983736 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/19530/task/19587/stat : 19587 (java) S 19527 19530 14233 0 -1 1077944384 2 13215 0 0 0 0 5 2 20 0 15 0 223322759 11247345664 12309 33554432000 4194304 4196468 140723144102400 140680253250576 140680396404437 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35762176 140723144108653 140723144111452 140723144111452 140723144114127 0
[pid=19530/tid=19588] ppid=19527 vsize=10983736 memory=140678526842496 CPUtime=0.07 cores=1,3,5,7
/proc/19530/task/19588/stat : 19588 (java) S 19527 19530 14233 0 -1 1077944384 2 13215 0 0 0 0 5 2 20 0 15 0 223322760 11247345664 12309 33554432000 4194304 4196468 140723144102400 140679821867120 140680396405378 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35762176 140723144108653 140723144111452 140723144111452 140723144114127 0
[pid=19530/tid=19589] ppid=19527 vsize=10985364 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/19530/task/19589/stat : 19589 (java) S 19527 19530 14233 0 -1 1077944384 13 13215 0 0 0 0 5 2 20 0 15 0 223322761 11249012736 12309 33554432000 4194304 4196468 140723144102400 140679251485472 140680396404437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35762176 140723144108653 140723144111452 140723144111452 140723144114127 0
[pid=19530/tid=19590] ppid=19527 vsize=10985364 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/19530/task/19590/stat : 19590 (java) S 19527 19530 14233 0 -1 1077944384 1 13215 0 0 0 0 5 2 20 0 15 0 223322761 11249012736 12309 33554432000 4194304 4196468 140723144102400 140679103636592 140680396404437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35762176 140723144108653 140723144111452 140723144111452 140723144114127 0
[pid=19530/tid=19591] ppid=19527 vsize=10985364 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/19530/task/19591/stat : 19591 (java) S 19527 19530 14233 0 -1 1077944384 3 13215 0 0 0 0 5 2 20 0 15 0 223322764 11249012736 12309 33554432000 4194304 4196468 140723144102400 140678796236880 140680396412827 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35762176 140723144108653 140723144111452 140723144111452 140723144114127 0
[pid=19530/tid=19592] ppid=19527 vsize=10985364 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/19530/task/19592/stat : 19592 (java) S 19527 19530 14233 0 -1 1077944384 437 13215 0 0 1 0 5 2 20 0 15 0 223322764 11249012736 12375 33554432000 4194304 4196468 140723144102400 140679820814960 140680396405378 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35762176 140723144108653 140723144111452 140723144111452 140723144114127 0
[pid=19530/tid=19593] ppid=19527 vsize=10985364 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/19530/task/19593/stat : 19593 (java) S 19527 19530 14233 0 -1 1077944384 186 13215 0 0 1 0 5 2 20 0 15 0 223322764 11249012736 12375 33554432000 4194304 4196468 140723144102400 140679819762160 140680396405378 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35762176 140723144108653 140723144111452 140723144111452 140723144114127 0
[pid=19530/tid=19594] ppid=19527 vsize=10985364 memory=140678526842496 CPUtime=0.1 cores=1,3,5,7
/proc/19530/task/19594/stat : 19594 (java) S 19527 19530 14233 0 -1 1077944384 617 13215 0 0 3 0 5 2 20 0 15 0 223322764 11249012736 12375 33554432000 4194304 4196468 140723144102400 140679818709872 140680396405378 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35762176 140723144108653 140723144111452 140723144111452 140723144114127 0
[pid=19530/tid=19595] ppid=19527 vsize=10985364 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/19530/task/19595/stat : 19595 (java) S 19527 19530 14233 0 -1 1077944384 3 13215 0 0 0 0 5 2 20 0 15 0 223322764 11249012736 12375 33554432000 4194304 4196468 140723144102400 140678365440992 140680396404437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35762176 140723144108653 140723144111452 140723144111452 140723144114127 0
[pid=19530/tid=19596] ppid=19527 vsize=10985364 memory=140678526842496 CPUtime=0.07 cores=1,3,5,7
/proc/19530/task/19596/stat : 19596 (java) S 19527 19530 14233 0 -1 1077944384 1 13215 0 0 0 0 5 2 20 0 15 0 223322764 11249012736 12441 33554432000 4194304 4196468 140723144102400 140679817656752 140680396405378 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35762176 140723144108653 140723144111452 140723144111452 140723144114127 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 10983736 KiB
Current children cumulated memory: 48444 KiB

[startup+0.310534 s]*
/proc/loadavg: 1.28 1.29 1.36 3/215 19596
/proc/meminfo: memFree=10253072/32770624 swapFree=67108496/67108860
[pid=19530] ppid=19527 vsize=10983192 memory=58820 CPUtime=0.37 cores=1,3,5,7
/proc/19530/stat : 19530 (java) S 19527 19530 14233 0 -1 1077944320 10273 13215 0 0 28 2 5 2 20 0 15 0 223322749 11246788608 14705 33554432000 4194304 4196468 140723144102400 140723144084944 140680396394231 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 35762176 140723144108653 140723144111452 140723144111452 140723144114127 0
/proc/19530/statm: 2745798 14705 3062 1 0 2708109 0
[pid=19530/tid=19583] ppid=19527 vsize=10983192 memory=6791534058613427641 CPUtime=0.28 cores=1,3,5,7
/proc/19530/task/19583/stat : 19583 (java) R 19527 19530 14233 0 -1 4202560 6805 13215 0 0 19 2 5 2 20 0 15 0 223322758 11246788608 14705 33554432000 4194304 4196468 140723144102400 140680368206240 140680396416157 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35762176 140723144108653 140723144111452 140723144111452 140723144114127 0
[pid=19530/tid=19584] ppid=19527 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/19530/task/19584/stat : 19584 (java) S 19527 19530 14233 0 -1 1077944384 1 13215 0 0 0 0 5 2 20 0 15 0 223322759 11246788608 14705 33554432000 4194304 4196468 140723144102400 140680400636816 140680396404437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35762176 140723144108653 140723144111452 140723144111452 140723144114127 0
[pid=19530/tid=19585] ppid=19527 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/19530/task/19585/stat : 19585 (java) S 19527 19530 14233 0 -1 1077944384 1 13215 0 0 0 0 5 2 20 0 15 0 223322759 11246788608 14705 33554432000 4194304 4196468 140723144102400 140680255355664 140680396404437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35762176 140723144108653 140723144111452 140723144111452 140723144114127 0
[pid=19530/tid=19586] ppid=19527 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/19530/task/19586/stat : 19586 (java) S 19527 19530 14233 0 -1 1077944384 1 13215 0 0 0 0 5 2 20 0 15 0 223322759 11246788608 14705 33554432000 4194304 4196468 140723144102400 140680254303376 140680396404437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35762176 140723144108653 140723144111452 140723144111452 140723144114127 0
[pid=19530/tid=19587] ppid=19527 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/19530/task/19587/stat : 19587 (java) S 19527 19530 14233 0 -1 1077944384 2 13215 0 0 0 0 5 2 20 0 15 0 223322759 11246788608 14705 33554432000 4194304 4196468 140723144102400 140680253250576 140680396404437 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35762176 140723144108653 140723144111452 140723144111452 140723144114127 0
[pid=19530/tid=19588] ppid=19527 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/19530/task/19588/stat : 19588 (java) S 19527 19530 14233 0 -1 1077944384 2 13215 0 0 0 0 5 2 20 0 15 0 223322760 11246788608 14705 33554432000 4194304 4196468 140723144102400 140679821867120 140680396405378 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35762176 140723144108653 140723144111452 140723144111452 140723144114127 0
[pid=19530/tid=19589] ppid=19527 vsize=10983192 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/19530/task/19589/stat : 19589 (java) S 19527 19530 14233 0 -1 1077944384 13 13215 0 0 0 0 5 2 20 0 15 0 223322761 11246788608 14705 33554432000 4194304 4196468 140723144102400 140679251485472 140680396404437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35762176 140723144108653 140723144111452 140723144111452 140723144114127 0
[pid=19530/tid=19590] ppid=19527 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/19530/task/19590/stat : 19590 (java) S 19527 19530 14233 0 -1 1077944384 1 13215 0 0 0 0 5 2 20 0 15 0 223322761 11246788608 14705 33554432000 4194304 4196468 140723144102400 140679103636592 140680396404437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35762176 140723144108653 140723144111452 140723144111452 140723144114127 0
[pid=19530/tid=19591] ppid=19527 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/19530/task/19591/stat : 19591 (java) S 19527 19530 14233 0 -1 1077944384 3 13215 0 0 0 0 5 2 20 0 15 0 223322764 11246788608 14705 33554432000 4194304 4196468 140723144102400 140678796236880 140680396412827 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35762176 140723144108653 140723144111452 140723144111452 140723144114127 0
[pid=19530/tid=19592] ppid=19527 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/19530/task/19592/stat : 19592 (java) S 19527 19530 14233 0 -1 1077944384 437 13215 0 0 1 0 5 2 20 0 15 0 223322764 11246788608 14705 33554432000 4194304 4196468 140723144102400 140679820814960 140680396405378 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35762176 140723144108653 140723144111452 140723144111452 140723144114127 0
[pid=19530/tid=19593] ppid=19527 vsize=10983192 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/19530/task/19593/stat : 19593 (java) S 19527 19530 14233 0 -1 1077944384 187 13215 0 0 1 0 5 2 20 0 15 0 223322764 11246788608 14705 33554432000 4194304 4196468 140723144102400 140679819762160 140680396405378 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35762176 140723144108653 140723144111452 140723144111452 140723144114127 0
[pid=19530/tid=19594] ppid=19527 vsize=10983192 memory=140678526842496 CPUtime=0.12 cores=1,3,5,7
/proc/19530/task/19594/stat : 19594 (java) R 19527 19530 14233 0 -1 4202560 623 13215 0 0 5 0 5 2 20 0 15 0 223322764 11246788608 14705 33554432000 4194304 4196468 140723144102400 140679818709872 140680375263490 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35762176 140723144108653 140723144111452 140723144111452 140723144114127 0
[pid=19530/tid=19595] ppid=19527 vsize=10983192 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/19530/task/19595/stat : 19595 (java) S 19527 19530 14233 0 -1 1077944384 3 13215 0 0 0 0 5 2 20 0 15 0 223322764 11246788608 14705 33554432000 4194304 4196468 140723144102400 140678365440992 140680396404437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35762176 140723144108653 140723144111452 140723144111452 140723144114127 0
[pid=19530/tid=19596] ppid=19527 vsize=10983192 memory=140678526842496 CPUtime=0.07 cores=1,3,5,7
/proc/19530/task/19596/stat : 19596 (java) S 19527 19530 14233 0 -1 1077944384 1 13215 0 0 0 0 5 2 20 0 15 0 223322764 11246788608 14705 33554432000 4194304 4196468 140723144102400 140679817656752 140680396405378 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35762176 140723144108653 140723144111452 140723144111452 140723144114127 0
Current children cumulated CPU time: 0.37 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 58820 KiB

[startup+0.700829 s]
/proc/loadavg: 1.28 1.29 1.36 3/215 19596
/proc/meminfo: memFree=10243148/32770624 swapFree=67108496/67108860
[pid=19530] ppid=19527 vsize=10983192 memory=91352 CPUtime=0.98 cores=1,3,5,7
/proc/19530/stat : 19530 (java) S 19527 19530 14233 0 -1 1077944320 16387 13215 0 0 87 4 5 2 20 0 15 0 223322749 11246788608 22838 33554432000 4194304 4196468 140723144102400 140723144084944 140680396394231 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 35762176 140723144108653 140723144111452 140723144111452 140723144114127 0
/proc/19530/statm: 2745798 22838 3245 1 0 2708109 0
[pid=19530/tid=19583] ppid=19527 vsize=10983192 memory=0 CPUtime=0.65 cores=1,3,5,7
/proc/19530/task/19583/stat : 19583 (java) R 19527 19530 14233 0 -1 4202560 11878 13215 0 0 55 3 5 2 20 0 15 0 223322758 11246788608 22838 33554432000 4194304 4196468 140723144102400 140680368215056 140680377957712 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35762176 140723144108653 140723144111452 140723144111452 140723144114127 0
[pid=19530/tid=19584] ppid=19527 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/19530/task/19584/stat : 19584 (java) S 19527 19530 14233 0 -1 1077944384 1 13215 0 0 0 0 5 2 20 0 15 0 223322759 11246788608 22838 33554432000 4194304 4196468 140723144102400 140680400636816 140680396404437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35762176 140723144108653 140723144111452 140723144111452 140723144114127 0
[pid=19530/tid=19585] ppid=19527 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/19530/task/19585/stat : 19585 (java) S 19527 19530 14233 0 -1 1077944384 1 13215 0 0 0 0 5 2 20 0 15 0 223322759 11246788608 22838 33554432000 4194304 4196468 140723144102400 140680255355664 140680396404437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35762176 140723144108653 140723144111452 140723144111452 140723144114127 0
[pid=19530/tid=19586] ppid=19527 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/19530/task/19586/stat : 19586 (java) S 19527 19530 14233 0 -1 1077944384 1 13215 0 0 0 0 5 2 20 0 15 0 223322759 11246788608 22838 33554432000 4194304 4196468 140723144102400 140680254303376 140680396404437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35762176 140723144108653 140723144111452 140723144111452 140723144114127 0
[pid=19530/tid=19587] ppid=19527 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/19530/task/19587/stat : 19587 (java) S 19527 19530 14233 0 -1 1077944384 2 13215 0 0 0 0 5 2 20 0 15 0 223322759 11246788608 22838 33554432000 4194304 4196468 140723144102400 140680253250576 140680396404437 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35762176 140723144108653 140723144111452 140723144111452 140723144114127 0
[pid=19530/tid=19588] ppid=19527 vsize=10983192 memory=5789202856466081623 CPUtime=0.07 cores=1,3,5,7
/proc/19530/task/19588/stat : 19588 (java) S 19527 19530 14233 0 -1 1077944384 5 13215 0 0 0 0 5 2 20 0 15 0 223322760 11246788608 22838 33554432000 4194304 4196468 140723144102400 140679821867120 140680396405378 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35762176 140723144108653 140723144111452 140723144111452 140723144114127 0
[pid=19530/tid=19589] ppid=19527 vsize=10983192 memory=32804 CPUtime=0.07 cores=1,3,5,7
/proc/19530/task/19589/stat : 19589 (java) S 19527 19530 14233 0 -1 1077944384 13 13215 0 0 0 0 5 2 20 0 15 0 223322761 11246788608 22838 33554432000 4194304 4196468 140723144102400 140679251485472 140680396404437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35762176 140723144108653 140723144111452 140723144111452 140723144114127 0
[pid=19530/tid=19590] ppid=19527 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/19530/task/19590/stat : 19590 (java) S 19527 19530 14233 0 -1 1077944384 1 13215 0 0 0 0 5 2 20 0 15 0 223322761 11246788608 22838 33554432000 4194304 4196468 140723144102400 140679103636592 140680396404437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35762176 140723144108653 140723144111452 140723144111452 140723144114127 0
[pid=19530/tid=19591] ppid=19527 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/19530/task/19591/stat : 19591 (java) S 19527 19530 14233 0 -1 1077944384 3 13215 0 0 0 0 5 2 20 0 15 0 223322764 11246788608 22838 33554432000 4194304 4196468 140723144102400 140678796236880 140680396412827 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35762176 140723144108653 140723144111452 140723144111452 140723144114127 0
[pid=19530/tid=19592] ppid=19527 vsize=10983192 memory=0 CPUtime=0.17 cores=1,3,5,7
/proc/19530/task/19592/stat : 19592 (java) S 19527 19530 14233 0 -1 1077944384 1066 13215 0 0 10 0 5 2 20 0 15 0 223322764 11246788608 22838 33554432000 4194304 4196468 140723144102400 140679820814960 140680396405378 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35762176 140723144108653 140723144111452 140723144111452 140723144114127 0
[pid=19530/tid=19593] ppid=19527 vsize=10983192 memory=0 CPUtime=0.13 cores=1,3,5,7
/proc/19530/task/19593/stat : 19593 (java) S 19527 19530 14233 0 -1 1077944384 544 13215 0 0 6 0 5 2 20 0 15 0 223322764 11246788608 22838 33554432000 4194304 4196468 140723144102400 140679819762160 140680396405378 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35762176 140723144108653 140723144111452 140723144111452 140723144114127 0
[pid=19530/tid=19594] ppid=19527 vsize=10983192 memory=0 CPUtime=0.2 cores=1,3,5,7
/proc/19530/task/19594/stat : 19594 (java) S 19527 19530 14233 0 -1 1077944384 675 13215 0 0 13 0 5 2 20 0 15 0 223322764 11246788608 22838 33554432000 4194304 4196468 140723144102400 140679818709872 140680396405378 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35762176 140723144108653 140723144111452 140723144111452 140723144114127 0
[pid=19530/tid=19595] ppid=19527 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/19530/task/19595/stat : 19595 (java) S 19527 19530 14233 0 -1 1077944384 3 13215 0 0 0 0 5 2 20 0 15 0 223322764 11246788608 22838 33554432000 4194304 4196468 140723144102400 140678365440992 140680396404437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35762176 140723144108653 140723144111452 140723144111452 140723144114127 0
[pid=19530/tid=19596] ppid=19527 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/19530/task/19596/stat : 19596 (java) S 19527 19530 14233 0 -1 1077944384 1 13215 0 0 0 0 5 2 20 0 15 0 223322764 11246788608 22838 33554432000 4194304 4196468 140723144102400 140679817656752 140680396405378 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35762176 140723144108653 140723144111452 140723144111452 140723144114127 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 91352 KiB

[startup+1.50076 s]
/proc/loadavg: 1.28 1.29 1.36 6/215 19596
/proc/meminfo: memFree=10197312/32770624 swapFree=67108496/67108860
[pid=19530] ppid=19527 vsize=10996044 memory=193620 CPUtime=2.86 cores=1,3,5,7
/proc/19530/stat : 19530 (java) S 19527 19530 14233 0 -1 1077944320 24602 13215 0 0 270 9 5 2 20 0 15 0 223322749 11259949056 48405 33554432000 4194304 4196468 140723144102400 140723144084944 140680396394231 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 35762176 140723144108653 140723144111452 140723144111452 140723144114127 0
/proc/19530/statm: 2749011 48405 3448 1 0 2710669 0
[pid=19530/tid=19583] ppid=19527 vsize=10996044 memory=4951091520830867572 CPUtime=1.43 cores=1,3,5,7
/proc/19530/task/19583/stat : 19583 (java) S 19527 19530 14233 0 -1 1077944384 16374 13215 0 0 131 5 5 2 20 0 15 0 223322758 11259949056 48405 33554432000 4194304 4196468 140723144102400 140680368206832 140680396404437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35762176 140723144108653 140723144111452 140723144111452 140723144114127 0
[pid=19530/tid=19584] ppid=19527 vsize=10996044 memory=4134606225630022328 CPUtime=0.07 cores=1,3,5,7
/proc/19530/task/19584/stat : 19584 (java) S 19527 19530 14233 0 -1 1077944384 20 13215 0 0 0 0 5 2 20 0 15 0 223322759 11259949056 48405 33554432000 4194304 4196468 140723144102400 140680400636816 140680396404437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35762176 140723144108653 140723144111452 140723144111452 140723144114127 0
[pid=19530/tid=19585] ppid=19527 vsize=10996044 memory=-5153075608533367659 CPUtime=0.07 cores=1,3,5,7
/proc/19530/task/19585/stat : 19585 (java) S 19527 19530 14233 0 -1 1077944384 155 13215 0 0 0 0 5 2 20 0 15 0 223322759 11259949056 48405 33554432000 4194304 4196468 140723144102400 140680255355664 140680396404437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35762176 140723144108653 140723144111452 140723144111452 140723144114127 0
[pid=19530/tid=19586] ppid=19527 vsize=10996044 memory=-7739097050740464798 CPUtime=0.07 cores=1,3,5,7
/proc/19530/task/19586/stat : 19586 (java) S 19527 19530 14233 0 -1 1077944384 18 13215 0 0 0 0 5 2 20 0 15 0 223322759 11259949056 48405 33554432000 4194304 4196468 140723144102400 140680254303376 140680396404437 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35762176 140723144108653 140723144111452 140723144111452 140723144114127 0
[pid=19530/tid=19587] ppid=19527 vsize=10996044 memory=124856 CPUtime=0.07 cores=1,3,5,7
/proc/19530/task/19587/stat : 19587 (java) S 19527 19530 14233 0 -1 1077944384 62 13215 0 0 0 0 5 2 20 0 15 0 223322759 11259949056 48405 33554432000 4194304 4196468 140723144102400 140680253250576 140680396404437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35762176 140723144108653 140723144111452 140723144111452 140723144114127 0
[pid=19530/tid=19588] ppid=19527 vsize=10996044 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/19530/task/19588/stat : 19588 (java) R 19527 19530 14233 0 -1 4202560 52 13215 0 0 1 0 5 2 20 0 15 0 223322760 11259949056 48405 33554432000 4194304 4196468 140723144102400 140679821865408 140680381390177 0 0 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35762176 140723144108653 140723144111452 140723144111452 140723144114127 0
[pid=19530/tid=19589] ppid=19527 vsize=10996044 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/19530/task/19589/stat : 19589 (java) S 19527 19530 14233 0 -1 1077944384 13 13215 0 0 0 0 5 2 20 0 15 0 223322761 11259949056 48405 33554432000 4194304 4196468 140723144102400 140679251485472 140680396404437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35762176 140723144108653 140723144111452 140723144111452 140723144114127 0
[pid=19530/tid=19590] ppid=19527 vsize=10996044 memory=281356730958112 CPUtime=0.07 cores=1,3,5,7
/proc/19530/task/19590/stat : 19590 (java) S 19527 19530 14233 0 -1 1077944384 1 13215 0 0 0 0 5 2 20 0 15 0 223322761 11259949056 48405 33554432000 4194304 4196468 140723144102400 140679103636592 140680396404437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35762176 140723144108653 140723144111452 140723144111452 140723144114127 0
[pid=19530/tid=19591] ppid=19527 vsize=10996044 memory=281356731373056 CPUtime=0.07 cores=1,3,5,7
/proc/19530/task/19591/stat : 19591 (java) S 19527 19530 14233 0 -1 1077944384 3 13215 0 0 0 0 5 2 20 0 15 0 223322764 11259949056 48405 33554432000 4194304 4196468 140723144102400 140678796236880 140680396412827 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35762176 140723144108653 140723144111452 140723144111452 140723144114127 0
[pid=19530/tid=19592] ppid=19527 vsize=10996044 memory=140678365488768 CPUtime=0.56 cores=1,3,5,7
/proc/19530/task/19592/stat : 19592 (java) S 19527 19530 14233 0 -1 1077944384 2575 13215 0 0 49 0 5 2 20 0 15 0 223322764 11259949056 48405 33554432000 4194304 4196468 140723144102400 140679820814960 140680396405378 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35762176 140723144108653 140723144111452 140723144111452 140723144114127 0
[pid=19530/tid=19593] ppid=19527 vsize=10996044 memory=0 CPUtime=0.48 cores=1,3,5,7
/proc/19530/task/19593/stat : 19593 (java) S 19527 19530 14233 0 -1 1077944384 1444 13215 0 0 41 0 5 2 20 0 15 0 223322764 11259949056 48405 33554432000 4194304 4196468 140723144102400 140679819762160 140680396405378 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35762176 140723144108653 140723144111452 140723144111452 140723144114127 0
[pid=19530/tid=19594] ppid=19527 vsize=10996044 memory=1128 CPUtime=0.5 cores=1,3,5,7
/proc/19530/task/19594/stat : 19594 (java) S 19527 19530 14233 0 -1 1077944384 1688 13215 0 0 43 0 5 2 20 0 15 0 223322764 11259949056 48405 33554432000 4194304 4196468 140723144102400 140679818709872 140680396405378 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35762176 140723144108653 140723144111452 140723144111452 140723144114127 0
[pid=19530/tid=19595] ppid=19527 vsize=10996044 memory=15188 CPUtime=0.07 cores=1,3,5,7
/proc/19530/task/19595/stat : 19595 (java) S 19527 19530 14233 0 -1 1077944384 3 13215 0 0 0 0 5 2 20 0 15 0 223322764 11259949056 48405 33554432000 4194304 4196468 140723144102400 140678365440992 140680396404437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35762176 140723144108653 140723144111452 140723144111452 140723144114127 0
[pid=19530/tid=19596] ppid=19527 vsize=10996044 memory=4000 CPUtime=0.07 cores=1,3,5,7
/proc/19530/task/19596/stat : 19596 (java) S 19527 19530 14233 0 -1 1077944384 1 13215 0 0 0 0 5 2 20 0 15 0 223322764 11259949056 48405 33554432000 4194304 4196468 140723144102400 140679817656752 140680396405378 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35762176 140723144108653 140723144111452 140723144111452 140723144114127 0
Current children cumulated CPU time: 2.86 s
Current children cumulated vsize: 10996044 KiB

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

[startup+8.24156 s]
# the end of solver process 19530 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=20.8418 s, system=0.407074 s

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

[startup+6.40083 s]
/proc/loadavg: 1.33 1.30 1.36 3/215 19596
/proc/meminfo: memFree=9888588/32770624 swapFree=67108496/67108860
[pid=19530] ppid=19527 vsize=11010400 memory=388040 CPUtime=16.62 cores=1,3,5,7
/proc/19530/stat : 19530 (java) S 19527 19530 14233 0 -1 1077944320 52933 13215 0 0 1630 25 5 2 20 0 15 0 223322749 11274649600 97010 33554432000 4194304 4196468 140723144102400 140723144084944 140680396394231 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 35762176 140723144108653 140723144111452 140723144111452 140723144114127 0
/proc/19530/statm: 2752600 97010 3527 1 0 2714253 0
[pid=19530/tid=19583] ppid=19527 vsize=11010400 memory=0 CPUtime=6.15 cores=1,3,5,7
/proc/19530/task/19583/stat : 19583 (java) R 19527 19530 14233 0 -1 4202560 27402 13215 0 0 598 10 5 2 20 0 15 0 223322758 11274649600 97010 33554432000 4194304 4196468 140723144102400 140680368225872 140680378914580 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35762176 140723144108653 140723144111452 140723144111452 140723144114127 0
[pid=19530/tid=19584] ppid=19527 vsize=11010400 memory=0 CPUtime=0.19 cores=1,3,5,7
/proc/19530/task/19584/stat : 19584 (java) S 19527 19530 14233 0 -1 1077944384 91 13215 0 0 10 2 5 2 20 0 15 0 223322759 11274649600 97010 33554432000 4194304 4196468 140723144102400 140680400636816 140680396404437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35762176 140723144108653 140723144111452 140723144111452 140723144114127 0
[pid=19530/tid=19585] ppid=19527 vsize=11010400 memory=-7679004722349093442 CPUtime=0.18 cores=1,3,5,7
/proc/19530/task/19585/stat : 19585 (java) S 19527 19530 14233 0 -1 1077944384 231 13215 0 0 10 1 5 2 20 0 15 0 223322759 11274649600 97010 33554432000 4194304 4196468 140723144102400 140680255355664 140680396404437 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35762176 140723144108653 140723144111452 140723144111452 140723144114127 0
[pid=19530/tid=19586] ppid=19527 vsize=11010400 memory=384168 CPUtime=0.19 cores=1,3,5,7
/proc/19530/task/19586/stat : 19586 (java) S 19527 19530 14233 0 -1 1077944384 72 13215 0 0 10 2 5 2 20 0 15 0 223322759 11274649600 97010 33554432000 4194304 4196468 140723144102400 140680254303376 140680396404437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35762176 140723144108653 140723144111452 140723144111452 140723144114127 0
[pid=19530/tid=19587] ppid=19527 vsize=11010400 memory=0 CPUtime=0.18 cores=1,3,5,7
/proc/19530/task/19587/stat : 19587 (java) S 19527 19530 14233 0 -1 1077944384 246 13215 0 0 9 2 5 2 20 0 15 0 223322759 11274649600 97010 33554432000 4194304 4196468 140723144102400 140680253250576 140680396404437 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35762176 140723144108653 140723144111452 140723144111452 140723144114127 0
[pid=19530/tid=19588] ppid=19527 vsize=11010400 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/19530/task/19588/stat : 19588 (java) S 19527 19530 14233 0 -1 1077944384 2498 13215 0 0 5 0 5 2 20 0 15 0 223322760 11274649600 97010 33554432000 4194304 4196468 140723144102400 140679821867120 140680396405378 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35762176 140723144108653 140723144111452 140723144111452 140723144114127 0
[pid=19530/tid=19589] ppid=19527 vsize=11010400 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/19530/task/19589/stat : 19589 (java) S 19527 19530 14233 0 -1 1077944384 18 13215 0 0 0 0 5 2 20 0 15 0 223322761 11274649600 97010 33554432000 4194304 4196468 140723144102400 140679251485536 140680396404437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35762176 140723144108653 140723144111452 140723144111452 140723144114127 0
[pid=19530/tid=19590] ppid=19527 vsize=11010400 memory=1774 CPUtime=0.07 cores=1,3,5,7
/proc/19530/task/19590/stat : 19590 (java) S 19527 19530 14233 0 -1 1077944384 3 13215 0 0 0 0 5 2 20 0 15 0 223322761 11274649600 97010 33554432000 4194304 4196468 140723144102400 140679103636608 140680396404437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35762176 140723144108653 140723144111452 140723144111452 140723144114127 0
[pid=19530/tid=19591] ppid=19527 vsize=11010400 memory=120167 CPUtime=0.07 cores=1,3,5,7
/proc/19530/task/19591/stat : 19591 (java) S 19527 19530 14233 0 -1 1077944384 3 13215 0 0 0 0 5 2 20 0 15 0 223322764 11274649600 97010 33554432000 4194304 4196468 140723144102400 140678796236880 140680396412827 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35762176 140723144108653 140723144111452 140723144111452 140723144114127 0
[pid=19530/tid=19592] ppid=19527 vsize=11010400 memory=0 CPUtime=4.05 cores=1,3,5,7
/proc/19530/task/19592/stat : 19592 (java) R 19527 19530 14233 0 -1 4202560 6895 13215 0 0 396 2 5 2 20 0 15 0 223322764 11274649600 97010 33554432000 4194304 4196468 140723144102400 140679820804752 140680376716328 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35762176 140723144108653 140723144111452 140723144111452 140723144114127 0
[pid=19530/tid=19593] ppid=19527 vsize=11010400 memory=0 CPUtime=3.9 cores=1,3,5,7
/proc/19530/task/19593/stat : 19593 (java) R 19527 19530 14233 0 -1 4202560 5519 13215 0 0 382 1 5 2 20 0 15 0 223322764 11274649600 97010 33554432000 4194304 4196468 140723144102400 140679819747984 140680380372992 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35762176 140723144108653 140723144111452 140723144111452 140723144114127 0
[pid=19530/tid=19594] ppid=19527 vsize=11010400 memory=4580 CPUtime=2.15 cores=1,3,5,7
/proc/19530/task/19594/stat : 19594 (java) S 19527 19530 14233 0 -1 1077944384 7631 13215 0 0 206 2 5 2 20 0 15 0 223322764 11274649600 97010 33554432000 4194304 4196468 140723144102400 140679818709872 140680396405378 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35762176 140723144108653 140723144111452 140723144111452 140723144114127 0
[pid=19530/tid=19595] ppid=19527 vsize=11010400 memory=7649399358579095857 CPUtime=0.07 cores=1,3,5,7
/proc/19530/task/19595/stat : 19595 (java) S 19527 19530 14233 0 -1 1077944384 3 13215 0 0 0 0 5 2 20 0 15 0 223322764 11274649600 97010 33554432000 4194304 4196468 140723144102400 140678365440992 140680396404437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35762176 140723144108653 140723144111452 140723144111452 140723144114127 0
[pid=19530/tid=19596] ppid=19527 vsize=11010400 memory=7 CPUtime=0.07 cores=1,3,5,7
/proc/19530/task/19596/stat : 19596 (java) S 19527 19530 14233 0 -1 1077944384 128 13215 0 0 0 0 5 2 20 0 15 0 223322764 11274649600 97010 33554432000 4194304 4196468 140723144102400 140679817656752 140680396405378 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35762176 140723144108653 140723144111452 140723144111452 140723144114127 0
Current children cumulated CPU time: 16.62 s
Current children cumulated vsize: 11010400 KiB
Current children cumulated memory: 388040 KiB

[startup+7.20153 s]
/proc/loadavg: 1.33 1.30 1.36 5/215 19596
/proc/meminfo: memFree=9836208/32770624 swapFree=67108496/67108860
[pid=19530] ppid=19527 vsize=11012448 memory=437948 CPUtime=19.08 cores=1,3,5,7
/proc/19530/stat : 19530 (java) S 19527 19530 14233 0 -1 1077944320 66659 13215 0 0 1873 28 5 2 20 0 15 0 223322749 11276746752 109487 33554432000 4194304 4196468 140723144102400 140723144084944 140680396394231 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 35762176 140723144108653 140723144111452 140723144111452 140723144114127 0
/proc/19530/statm: 2753112 109487 3529 1 0 2714765 0
[pid=19530/tid=19583] ppid=19527 vsize=11012448 memory=6656426216303648864 CPUtime=6.94 cores=1,3,5,7
/proc/19530/task/19583/stat : 19583 (java) R 19527 19530 14233 0 -1 4202560 36536 13215 0 0 676 11 5 2 20 0 15 0 223322758 11276746752 109487 33554432000 4194304 4196468 140723144102400 140680368229672 140679943076072 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 35762176 140723144108653 140723144111452 140723144111452 140723144114127 0
[pid=19530/tid=19584] ppid=19527 vsize=11012448 memory=7594597771697979466 CPUtime=0.19 cores=1,3,5,7
/proc/19530/task/19584/stat : 19584 (java) S 19527 19530 14233 0 -1 1077944384 91 13215 0 0 10 2 5 2 20 0 15 0 223322759 11276746752 109487 33554432000 4194304 4196468 140723144102400 140680400636816 140680396404437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35762176 140723144108653 140723144111452 140723144111452 140723144114127 0
[pid=19530/tid=19585] ppid=19527 vsize=11012448 memory=288288857315869478 CPUtime=0.18 cores=1,3,5,7
/proc/19530/task/19585/stat : 19585 (java) S 19527 19530 14233 0 -1 1077944384 231 13215 0 0 10 1 5 2 20 0 15 0 223322759 11276746752 109487 33554432000 4194304 4196468 140723144102400 140680255355664 140680396404437 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35762176 140723144108653 140723144111452 140723144111452 140723144114127 0
[pid=19530/tid=19586] ppid=19527 vsize=11012448 memory=1209067 CPUtime=0.19 cores=1,3,5,7
/proc/19530/task/19586/stat : 19586 (java) S 19527 19530 14233 0 -1 1077944384 72 13215 0 0 10 2 5 2 20 0 15 0 223322759 11276746752 109487 33554432000 4194304 4196468 140723144102400 140680254303376 140680396404437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35762176 140723144108653 140723144111452 140723144111452 140723144114127 0
[pid=19530/tid=19587] ppid=19527 vsize=11012448 memory=6944656575208382560 CPUtime=0.18 cores=1,3,5,7
/proc/19530/task/19587/stat : 19587 (java) S 19527 19530 14233 0 -1 1077944384 246 13215 0 0 9 2 5 2 20 0 15 0 223322759 11276746752 109487 33554432000 4194304 4196468 140723144102400 140680253250576 140680396404437 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35762176 140723144108653 140723144111452 140723144111452 140723144114127 0
[pid=19530/tid=19588] ppid=19527 vsize=11012448 memory=288230574492221466 CPUtime=0.12 cores=1,3,5,7
/proc/19530/task/19588/stat : 19588 (java) S 19527 19530 14233 0 -1 1077944384 2498 13215 0 0 5 0 5 2 20 0 15 0 223322760 11276746752 109487 33554432000 4194304 4196468 140723144102400 140679821867120 140680396405378 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35762176 140723144108653 140723144111452 140723144111452 140723144114127 0
[pid=19530/tid=19589] ppid=19527 vsize=11012448 memory=288230583166042426 CPUtime=0.07 cores=1,3,5,7
/proc/19530/task/19589/stat : 19589 (java) S 19527 19530 14233 0 -1 1077944384 18 13215 0 0 0 0 5 2 20 0 15 0 223322761 11276746752 109487 33554432000 4194304 4196468 140723144102400 140679251485536 140680396404437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35762176 140723144108653 140723144111452 140723144111452 140723144114127 0
[pid=19530/tid=19590] ppid=19527 vsize=11012448 memory=14694093276057294 CPUtime=0.07 cores=1,3,5,7
/proc/19530/task/19590/stat : 19590 (java) S 19527 19530 14233 0 -1 1077944384 3 13215 0 0 0 0 5 2 20 0 15 0 223322761 11276746752 109487 33554432000 4194304 4196468 140723144102400 140679103636608 140680396404437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35762176 140723144108653 140723144111452 140723144111452 140723144114127 0
[pid=19530/tid=19591] ppid=19527 vsize=11012448 memory=649 CPUtime=0.07 cores=1,3,5,7
/proc/19530/task/19591/stat : 19591 (java) S 19527 19530 14233 0 -1 1077944384 3 13215 0 0 0 0 5 2 20 0 15 0 223322764 11276746752 109487 33554432000 4194304 4196468 140723144102400 140678796236880 140680396412827 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35762176 140723144108653 140723144111452 140723144111452 140723144114127 0
[pid=19530/tid=19592] ppid=19527 vsize=11012448 memory=383 CPUtime=4.8 cores=1,3,5,7
/proc/19530/task/19592/stat : 19592 (java) S 19527 19530 14233 0 -1 1077944384 9409 13215 0 0 471 2 5 2 20 0 15 0 223322764 11276746752 109487 33554432000 4194304 4196468 140723144102400 140679820814960 140680396405378 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35762176 140723144108653 140723144111452 140723144111452 140723144114127 0
[pid=19530/tid=19593] ppid=19527 vsize=11012448 memory=1035 CPUtime=4.56 cores=1,3,5,7
/proc/19530/task/19593/stat : 19593 (java) S 19527 19530 14233 0 -1 1077944384 7277 13215 0 0 447 2 5 2 20 0 15 0 223322764 11276746752 109487 33554432000 4194304 4196468 140723144102400 140679819762160 140680396405378 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35762176 140723144108653 140723144111452 140723144111452 140723144114127 0
[pid=19530/tid=19594] ppid=19527 vsize=11012448 memory=2071 CPUtime=2.4 cores=1,3,5,7
/proc/19530/task/19594/stat : 19594 (java) S 19527 19530 14233 0 -1 1077944384 7951 13215 0 0 230 3 5 2 20 0 15 0 223322764 11276746752 109487 33554432000 4194304 4196468 140723144102400 140679818709872 140680396405378 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35762176 140723144108653 140723144111452 140723144111452 140723144114127 0
[pid=19530/tid=19595] ppid=19527 vsize=11012448 memory=185 CPUtime=0.07 cores=1,3,5,7
/proc/19530/task/19595/stat : 19595 (java) S 19527 19530 14233 0 -1 1077944384 3 13215 0 0 0 0 5 2 20 0 15 0 223322764 11276746752 109487 33554432000 4194304 4196468 140723144102400 140678365440992 140680396404437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35762176 140723144108653 140723144111452 140723144111452 140723144114127 0
[pid=19530/tid=19596] ppid=19527 vsize=11012448 memory=495 CPUtime=0.07 cores=1,3,5,7
/proc/19530/task/19596/stat : 19596 (java) S 19527 19530 14233 0 -1 1077944384 128 13215 0 0 0 0 5 2 20 0 15 0 223322764 11276746752 109487 33554432000 4194304 4196468 140723144102400 140679817656752 140680396405378 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35762176 140723144108653 140723144111452 140723144111452 140723144114127 0
Current children cumulated CPU time: 19.08 s
Current children cumulated vsize: 11012448 KiB
Current children cumulated memory: 437948 KiB

[startup+8.00064 s]*
/proc/loadavg: 1.33 1.30 1.36 5/215 19596
/proc/meminfo: memFree=9730264/32770624 swapFree=67108496/67108860
[pid=19530] ppid=19527 vsize=11012448 memory=543172 CPUtime=20.74 cores=1,3,5,7
/proc/19530/stat : 19530 (java) S 19527 19530 14233 0 -1 1077944320 67057 13215 0 0 2032 35 5 2 20 0 15 0 223322749 11276746752 135793 33554432000 4194304 4196468 140723144102400 140723144084944 140680396394231 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 35762176 140723144108653 140723144111452 140723144111452 140723144114127 0
/proc/19530/statm: 2753112 135793 3529 1 0 2714765 0
[pid=19530/tid=19583] ppid=19527 vsize=11012448 memory=6791534058613427641 CPUtime=7.7 cores=1,3,5,7
/proc/19530/task/19583/stat : 19583 (java) R 19527 19530 14233 0 -1 4202560 36689 13215 0 0 752 11 5 2 20 0 15 0 223322758 11276746752 135793 33554432000 4194304 4196468 140723144102400 140680368224832 140680388349760 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35762176 140723144108653 140723144111452 140723144111452 140723144114127 0
[pid=19530/tid=19584] ppid=19527 vsize=11012448 memory=4126316290023845779 CPUtime=0.22 cores=1,3,5,7
/proc/19530/task/19584/stat : 19584 (java) S 19527 19530 14233 0 -1 1077944384 123 13215 0 0 12 3 5 2 20 0 15 0 223322759 11276746752 135793 33554432000 4194304 4196468 140723144102400 140680400636816 140680396404437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35762176 140723144108653 140723144111452 140723144111452 140723144114127 0
[pid=19530/tid=19585] ppid=19527 vsize=11012448 memory=-7957962119327172001 CPUtime=0.22 cores=1,3,5,7
/proc/19530/task/19585/stat : 19585 (java) S 19527 19530 14233 0 -1 1077944384 262 13215 0 0 12 3 5 2 20 0 15 0 223322759 11276746752 135793 33554432000 4194304 4196468 140723144102400 140680255355664 140680396404437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35762176 140723144108653 140723144111452 140723144111452 140723144114127 0
[pid=19530/tid=19586] ppid=19527 vsize=11012448 memory=0 CPUtime=0.22 cores=1,3,5,7
/proc/19530/task/19586/stat : 19586 (java) S 19527 19530 14233 0 -1 1077944384 119 13215 0 0 12 3 5 2 20 0 15 0 223322759 11276746752 135793 33554432000 4194304 4196468 140723144102400 140680254303376 140680396404437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35762176 140723144108653 140723144111452 140723144111452 140723144114127 0
[pid=19530/tid=19587] ppid=19527 vsize=11012448 memory=0 CPUtime=0.21 cores=1,3,5,7
/proc/19530/task/19587/stat : 19587 (java) S 19527 19530 14233 0 -1 1077944384 276 13215 0 0 11 3 5 2 20 0 15 0 223322759 11276746752 135793 33554432000 4194304 4196468 140723144102400 140680253250576 140680396404437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35762176 140723144108653 140723144111452 140723144111452 140723144114127 0
[pid=19530/tid=19588] ppid=19527 vsize=11012448 memory=0 CPUtime=0.13 cores=1,3,5,7
/proc/19530/task/19588/stat : 19588 (java) S 19527 19530 14233 0 -1 1077944384 2579 13215 0 0 6 0 5 2 20 0 15 0 223322760 11276746752 135793 33554432000 4194304 4196468 140723144102400 140679821867120 140680396405378 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35762176 140723144108653 140723144111452 140723144111452 140723144114127 0
[pid=19530/tid=19589] ppid=19527 vsize=11012448 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/19530/task/19589/stat : 19589 (java) S 19527 19530 14233 0 -1 1077944384 18 13215 0 0 0 0 5 2 20 0 15 0 223322761 11276746752 135793 33554432000 4194304 4196468 140723144102400 140679251485536 140680396404437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35762176 140723144108653 140723144111452 140723144111452 140723144114127 0
[pid=19530/tid=19590] ppid=19527 vsize=11012448 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/19530/task/19590/stat : 19590 (java) S 19527 19530 14233 0 -1 1077944384 3 13215 0 0 0 0 5 2 20 0 15 0 223322761 11276746752 135793 33554432000 4194304 4196468 140723144102400 140679103636608 140680396404437 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35762176 140723144108653 140723144111452 140723144111452 140723144114127 0
[pid=19530/tid=19591] ppid=19527 vsize=11012448 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/19530/task/19591/stat : 19591 (java) S 19527 19530 14233 0 -1 1077944384 3 13215 0 0 0 0 5 2 20 0 15 0 223322764 11276746752 135793 33554432000 4194304 4196468 140723144102400 140678796236880 140680396412827 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35762176 140723144108653 140723144111452 140723144111452 140723144114127 0
[pid=19530/tid=19592] ppid=19527 vsize=11012448 memory=0 CPUtime=5.12 cores=1,3,5,7
/proc/19530/task/19592/stat : 19592 (java) R 19527 19530 14233 0 -1 4202560 9410 13215 0 0 502 3 5 2 20 0 15 0 223322764 11276746752 135793 33554432000 4194304 4196468 140723144102400 140679820802240 140680376237825 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35762176 140723144108653 140723144111452 140723144111452 140723144114127 0
[pid=19530/tid=19593] ppid=19527 vsize=11012448 memory=3472328296227680299 CPUtime=4.91 cores=1,3,5,7
/proc/19530/task/19593/stat : 19593 (java) R 19527 19530 14233 0 -1 4202560 7282 13215 0 0 482 2 5 2 20 0 15 0 223322764 11276746752 135793 33554432000 4194304 4196468 140723144102400 140679819751760 140680381315998 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35762176 140723144108653 140723144111452 140723144111452 140723144114127 0
[pid=19530/tid=19594] ppid=19527 vsize=11012448 memory=16246557601085080 CPUtime=2.49 cores=1,3,5,7
/proc/19530/task/19594/stat : 19594 (java) S 19527 19530 14233 0 -1 1077944384 7969 13215 0 0 239 3 5 2 20 0 15 0 223322764 11276746752 135793 33554432000 4194304 4196468 140723144102400 140679818709872 140680396405378 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35762176 140723144108653 140723144111452 140723144111452 140723144114127 0
[pid=19530/tid=19595] ppid=19527 vsize=11012448 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/19530/task/19595/stat : 19595 (java) S 19527 19530 14233 0 -1 1077944384 3 13215 0 0 0 0 5 2 20 0 15 0 223322764 11276746752 135793 33554432000 4194304 4196468 140723144102400 140678365440992 140680396404437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35762176 140723144108653 140723144111452 140723144111452 140723144114127 0
[pid=19530/tid=19596] ppid=19527 vsize=11012448 memory=140678526842496 CPUtime=0.07 cores=1,3,5,7
/proc/19530/task/19596/stat : 19596 (java) S 19527 19530 14233 0 -1 1077944384 128 13215 0 0 0 0 5 2 20 0 15 0 223322764 11276746752 135793 33554432000 4194304 4196468 140723144102400 140679817656752 140680396405378 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35762176 140723144108653 140723144111452 140723144111452 140723144114127 0
Current children cumulated CPU time: 20.74 s
Current children cumulated vsize: 11012448 KiB
Current children cumulated memory: 543172 KiB

[startup+8.2007 s]
/proc/loadavg: 1.33 1.30 1.36 5/215 19596
/proc/meminfo: memFree=9730264/32770624 swapFree=67108496/67108860
[pid=19530] ppid=19527 vsize=11014496 memory=544160 CPUtime=21.17 cores=1,3,5,7
/proc/19530/stat : 19530 (java) S 19527 19530 14233 0 -1 1077944320 67385 13215 0 0 2074 36 5 2 20 0 15 0 223322749 11278843904 136040 33554432000 4194304 4196468 140723144102400 140723144084944 140680396394231 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 35762176 140723144108653 140723144111452 140723144111452 140723144114127 0
/proc/19530/statm: 2753624 136040 3532 1 0 2715277 0
[pid=19530/tid=19583] ppid=19527 vsize=11014496 memory=2547922241281 CPUtime=7.89 cores=1,3,5,7
/proc/19530/task/19583/stat : 19583 (java) R 19527 19530 14233 0 -1 4202560 36845 13215 0 0 771 11 5 2 20 0 15 0 223322758 11278843904 136040 33554432000 4194304 4196468 140723144102400 140680368225584 140679947163452 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35762176 140723144108653 140723144111452 140723144111452 140723144114127 0
[pid=19530/tid=19584] ppid=19527 vsize=11014496 memory=2603756816129 CPUtime=0.22 cores=1,3,5,7
/proc/19530/task/19584/stat : 19584 (java) S 19527 19530 14233 0 -1 1077944384 123 13215 0 0 12 3 5 2 20 0 15 0 223322759 11278843904 136040 33554432000 4194304 4196468 140723144102400 140680400636816 140680396404437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35762176 140723144108653 140723144111452 140723144111452 140723144114127 0
[pid=19530/tid=19585] ppid=19527 vsize=11014496 memory=115591621 CPUtime=0.22 cores=1,3,5,7
/proc/19530/task/19585/stat : 19585 (java) S 19527 19530 14233 0 -1 1077944384 262 13215 0 0 12 3 5 2 20 0 15 0 223322759 11278843904 136040 33554432000 4194304 4196468 140723144102400 140680255355664 140680396404437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35762176 140723144108653 140723144111452 140723144111452 140723144114127 0
[pid=19530/tid=19586] ppid=19527 vsize=11014496 memory=7512111215670221213 CPUtime=0.22 cores=1,3,5,7
/proc/19530/task/19586/stat : 19586 (java) S 19527 19530 14233 0 -1 1077944384 119 13215 0 0 12 3 5 2 20 0 15 0 223322759 11278843904 136040 33554432000 4194304 4196468 140723144102400 140680254303376 140680396404437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35762176 140723144108653 140723144111452 140723144111452 140723144114127 0
[pid=19530/tid=19587] ppid=19527 vsize=11014496 memory=7446251550593867859 CPUtime=0.21 cores=1,3,5,7
/proc/19530/task/19587/stat : 19587 (java) S 19527 19530 14233 0 -1 1077944384 276 13215 0 0 11 3 5 2 20 0 15 0 223322759 11278843904 136040 33554432000 4194304 4196468 140723144102400 140680253250576 140680396404437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35762176 140723144108653 140723144111452 140723144111452 140723144114127 0
[pid=19530/tid=19588] ppid=19527 vsize=11014496 memory=7451039979215610734 CPUtime=0.13 cores=1,3,5,7
/proc/19530/task/19588/stat : 19588 (java) S 19527 19530 14233 0 -1 1077944384 2579 13215 0 0 6 0 5 2 20 0 15 0 223322760 11278843904 136040 33554432000 4194304 4196468 140723144102400 140679821867120 140680396405378 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35762176 140723144108653 140723144111452 140723144111452 140723144114127 0
[pid=19530/tid=19589] ppid=19527 vsize=11014496 memory=5450916479880760383 CPUtime=0.07 cores=1,3,5,7
/proc/19530/task/19589/stat : 19589 (java) S 19527 19530 14233 0 -1 1077944384 18 13215 0 0 0 0 5 2 20 0 15 0 223322761 11278843904 136040 33554432000 4194304 4196468 140723144102400 140679251485536 140680396404437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35762176 140723144108653 140723144111452 140723144111452 140723144114127 0
[pid=19530/tid=19590] ppid=19527 vsize=11014496 memory=6228873362862993746 CPUtime=0.07 cores=1,3,5,7
/proc/19530/task/19590/stat : 19590 (java) S 19527 19530 14233 0 -1 1077944384 3 13215 0 0 0 0 5 2 20 0 15 0 223322761 11278843904 136040 33554432000 4194304 4196468 140723144102400 140679103636608 140680396404437 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35762176 140723144108653 140723144111452 140723144111452 140723144114127 0
[pid=19530/tid=19591] ppid=19527 vsize=11014496 memory=6935650355287975249 CPUtime=0.07 cores=1,3,5,7
/proc/19530/task/19591/stat : 19591 (java) S 19527 19530 14233 0 -1 1077944384 3 13215 0 0 0 0 5 2 20 0 15 0 223322764 11278843904 136040 33554432000 4194304 4196468 140723144102400 140678796236880 140680396412827 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35762176 140723144108653 140723144111452 140723144111452 140723144114127 0
[pid=19530/tid=19592] ppid=19527 vsize=11014496 memory=288230574492221466 CPUtime=5.21 cores=1,3,5,7
/proc/19530/task/19592/stat : 19592 (java) R 19527 19530 14233 0 -1 4202560 9412 13215 0 0 511 3 5 2 20 0 15 0 223322764 11278843904 136040 33554432000 4194304 4196468 140723144102400 140679820800400 140680375761888 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35762176 140723144108653 140723144111452 140723144111452 140723144114127 0
[pid=19530/tid=19593] ppid=19527 vsize=11014496 memory=288230583166042426 CPUtime=5.02 cores=1,3,5,7
/proc/19530/task/19593/stat : 19593 (java) S 19527 19530 14233 0 -1 1077944384 7449 13215 0 0 493 2 5 2 20 0 15 0 223322764 11278843904 136040 33554432000 4194304 4196468 140723144102400 140679819762160 140680396405378 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35762176 140723144108653 140723144111452 140723144111452 140723144114127 0
[pid=19530/tid=19594] ppid=19527 vsize=11014496 memory=14694093276057294 CPUtime=2.51 cores=1,3,5,7
/proc/19530/task/19594/stat : 19594 (java) S 19527 19530 14233 0 -1 1077944384 7972 13215 0 0 241 3 5 2 20 0 15 0 223322764 11278843904 136040 33554432000 4194304 4196468 140723144102400 140679818709872 140680396405378 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35762176 140723144108653 140723144111452 140723144111452 140723144114127 0
[pid=19530/tid=19595] ppid=19527 vsize=11014496 memory=11 CPUtime=0.07 cores=1,3,5,7
/proc/19530/task/19595/stat : 19595 (java) S 19527 19530 14233 0 -1 1077944384 3 13215 0 0 0 0 5 2 20 0 15 0 223322764 11278843904 136040 33554432000 4194304 4196468 140723144102400 140678365440992 140680396404437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35762176 140723144108653 140723144111452 140723144111452 140723144114127 0
[pid=19530/tid=19596] ppid=19527 vsize=11014496 memory=12 CPUtime=0.07 cores=1,3,5,7
/proc/19530/task/19596/stat : 19596 (java) S 19527 19530 14233 0 -1 1077944384 128 13215 0 0 0 0 5 2 20 0 15 0 223322764 11278843904 136040 33554432000 4194304 4196468 140723144102400 140679817656752 140680396405378 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35762176 140723144108653 140723144111452 140723144111452 140723144114127 0
Current children cumulated CPU time: 21.17 s
Current children cumulated vsize: 11014496 KiB
Current children cumulated memory: 544160 KiB

Child status: 0
Real time (s): 8.24163
CPU time (s): 21.2489
CPU user time (s): 20.8418
CPU system time (s): 0.407074
CPU usage (%): 257.824
Max. virtual memory (cumulated for all children) (KiB): 11014496
Max. memory (cumulated for all children) (KiB): 544160

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 20.8418
system time used= 0.407074
maximum resident set size= 546544
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 80686
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= 9027
involuntary context switches= 86


# summary of solver processes directly reported to runsolver:
#   pid: 19530
#   total CPU time (s): 21.2489
#   total CPU user time (s): 20.8418
#   total CPU system time (s): 0.407074

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.074512 second user time and 0.124076 second system time

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

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data
