2018 XCSP3 competition: mini-solvers track competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
Solver of Xavier Schul & Yvhan Smal 2018-04-28	OPT	792	8.11602	3.97749
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 (9929 MiB free)
  memory of node 1: 16384 MiB (10856 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4298291-1532751529/watcher-4298291-1532751529 -o /tmp/evaluation-result-4298291-1532751529/solver-4298291-1532751529 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node107-1532741422-28016 --watchdog 2580 java -jar minicp-1.0.jar HOME/instance-4298291-1532751529.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
solver pid=29914, runsolver pid=29911
Current StackSize limit: 8192 KiB


[startup+0.100147 s]*
/proc/loadavg: 2.96 1.89 1.61 4/215 29929
/proc/meminfo: memFree=21269460/32770624 swapFree=67108860/67108860
[pid=29914] ppid=29911 vsize=10661052 memory=27716 CPUtime=0.13 cores=0,2,4,6
/proc/29914/stat : 29914 (java) S 29911 29914 27985 0 -1 1077944320 5283 0 0 0 12 1 0 0 20 0 15 0 92716117 10916917248 6929 33554432000 4194304 4196468 140733163634224 140733163616768 140228314435319 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 6987776 140733163639981 140733163640073 140733163640073 140733163642831 0
/proc/29914/statm: 2665263 6929 2844 1 0 2627263 0
[pid=29914/tid=29916] ppid=29911 vsize=10661052 memory=-8269626465541198972 CPUtime=0.09 cores=0,2,4,6
/proc/29914/task/29916/stat : 29916 (java) R 29911 29914 27985 0 -1 4202560 3142 0 0 0 9 0 0 0 20 0 15 0 92716117 10916917248 6929 33554432000 4194304 4196468 140733163634224 140228318657904 140228298811160 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 6987776 140733163639981 140733163640073 140733163640073 140733163642831 0
[pid=29914/tid=29917] ppid=29911 vsize=10661052 memory=-7522837583129502606 CPUtime=0 cores=0,2,4,6
/proc/29914/task/29917/stat : 29917 (java) S 29911 29914 27985 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 92716118 10916917248 6929 33554432000 4194304 4196468 140733163634224 140227920976784 140228314445525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6987776 140733163639981 140733163640073 140733163640073 140733163642831 0
[pid=29914/tid=29918] ppid=29911 vsize=10661052 memory=140664037779072 CPUtime=0 cores=0,2,4,6
/proc/29914/task/29918/stat : 29918 (java) S 29911 29914 27985 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92716118 10916917248 6929 33554432000 4194304 4196468 140733163634224 140227919923984 140228314445525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6987776 140733163639981 140733163640073 140733163640073 140733163642831 0
[pid=29914/tid=29919] ppid=29911 vsize=10661052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29914/task/29919/stat : 29919 (java) S 29911 29914 27985 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92716118 10916917248 6929 33554432000 4194304 4196468 140733163634224 140227918871696 140228314445525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6987776 140733163639981 140733163640073 140733163640073 140733163642831 0
[pid=29914/tid=29920] ppid=29911 vsize=10661052 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29914/task/29920/stat : 29920 (java) S 29911 29914 27985 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92716118 10916917248 6929 33554432000 4194304 4196468 140733163634224 140227917818896 140228314445525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6987776 140733163639981 140733163640073 140733163640073 140733163642831 0
[pid=29914/tid=29921] ppid=29911 vsize=10661052 memory=140664037779072 CPUtime=0 cores=0,2,4,6
/proc/29914/task/29921/stat : 29921 (java) S 29911 29914 27985 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 92716120 10916917248 6929 33554432000 4194304 4196468 140733163634224 140227874240624 140228314446466 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6987776 140733163639981 140733163640073 140733163640073 140733163642831 0
[pid=29914/tid=29922] ppid=29911 vsize=10661052 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29914/task/29922/stat : 29922 (java) S 29911 29914 27985 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 92716120 10916917248 6929 33554432000 4194304 4196468 140733163634224 140227873186592 140228314445525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6987776 140733163639981 140733163640073 140733163640073 140733163642831 0
[pid=29914/tid=29923] ppid=29911 vsize=10661052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29914/task/29923/stat : 29923 (java) S 29911 29914 27985 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 92716120 10916917248 6929 33554432000 4194304 4196468 140733163634224 140227872134256 140228314445525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6987776 140733163639981 140733163640073 140733163640073 140733163642831 0
[pid=29914/tid=29924] ppid=29911 vsize=10661052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29914/task/29924/stat : 29924 (java) S 29911 29914 27985 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92716122 10916917248 6929 33554432000 4194304 4196468 140733163634224 140227871082576 140228314453915 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6987776 140733163639981 140733163640073 140733163640073 140733163642831 0
[pid=29914/tid=29925] ppid=29911 vsize=10661052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29914/task/29925/stat : 29925 (java) R 29911 29914 27985 0 -1 1077944384 429 0 0 0 0 0 0 0 20 0 15 0 92716123 10916917248 6929 33554432000 4194304 4196468 140733163634224 140227870030448 140228314446466 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 6987776 140733163639981 140733163640073 140733163640073 140733163642831 0
[pid=29914/tid=29926] ppid=29911 vsize=10661052 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29914/task/29926/stat : 29926 (java) R 29911 29914 27985 0 -1 4202560 29 0 0 0 0 0 0 0 20 0 15 0 92716123 10916917248 6929 33554432000 4194304 4196468 140733163634224 140227868977648 140228297871057 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 6987776 140733163639981 140733163640073 140733163640073 140733163642831 0
[pid=29914/tid=29927] ppid=29911 vsize=10661052 memory=140664037779072 CPUtime=0.02 cores=0,2,4,6
/proc/29914/task/29927/stat : 29927 (java) R 29911 29914 27985 0 -1 4202560 338 0 0 0 2 0 0 0 20 0 15 0 92716123 10916917248 6929 33554432000 4194304 4196468 140733163634224 140227867925360 140228293376933 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 6987776 140733163639981 140733163640073 140733163640073 140733163642831 0
[pid=29914/tid=29928] ppid=29911 vsize=10661052 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29914/task/29928/stat : 29928 (java) S 29911 29914 27985 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92716123 10916917248 6929 33554432000 4194304 4196468 140733163634224 140227866872800 140228314445525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6987776 140733163639981 140733163640073 140733163640073 140733163642831 0
[pid=29914/tid=29929] ppid=29911 vsize=10661052 memory=140664037779072 CPUtime=0 cores=0,2,4,6
/proc/29914/task/29929/stat : 29929 (java) S 29911 29914 27985 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92716123 10916917248 6929 33554432000 4194304 4196468 140733163634224 140227865819568 140228314446466 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6987776 140733163639981 140733163640073 140733163640073 140733163642831 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 10661052 KiB
Current children cumulated memory: 27716 KiB

[startup+0.210463 s]*
/proc/loadavg: 2.96 1.89 1.61 4/215 29929
/proc/meminfo: memFree=21258428/32770624 swapFree=67108860/67108860
[pid=29914] ppid=29911 vsize=10661052 memory=40432 CPUtime=0.34 cores=0,2,4,6
/proc/29914/stat : 29914 (java) S 29911 29914 27985 0 -1 1077944320 8180 0 0 0 33 1 0 0 20 0 15 0 92716117 10916917248 10108 33554432000 4194304 4196468 140733163634224 140733163616768 140228314435319 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 6987776 140733163639981 140733163640073 140733163640073 140733163642831 0
/proc/29914/statm: 2665263 10108 2981 1 0 2627263 0
[pid=29914/tid=29916] ppid=29911 vsize=10661052 memory=7022364594140610616 CPUtime=0.2 cores=0,2,4,6
/proc/29914/task/29916/stat : 29916 (java) R 29911 29914 27985 0 -1 4202560 5107 0 0 0 19 1 0 0 20 0 15 0 92716117 10916917248 10108 33554432000 4194304 4196468 140733163634224 140228318674240 140228298478949 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 6987776 140733163639981 140733163640073 140733163640073 140733163642831 0
[pid=29914/tid=29917] ppid=29911 vsize=10661052 memory=345 CPUtime=0 cores=0,2,4,6
/proc/29914/task/29917/stat : 29917 (java) S 29911 29914 27985 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 92716118 10916917248 10108 33554432000 4194304 4196468 140733163634224 140227920976784 140228314445525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6987776 140733163639981 140733163640073 140733163640073 140733163642831 0
[pid=29914/tid=29918] ppid=29911 vsize=10661052 memory=3835018655968863904 CPUtime=0 cores=0,2,4,6
/proc/29914/task/29918/stat : 29918 (java) S 29911 29914 27985 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92716118 10916917248 10108 33554432000 4194304 4196468 140733163634224 140227919923984 140228314445525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6987776 140733163639981 140733163640073 140733163640073 140733163642831 0
[pid=29914/tid=29919] ppid=29911 vsize=10661052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29914/task/29919/stat : 29919 (java) S 29911 29914 27985 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92716118 10916917248 10108 33554432000 4194304 4196468 140733163634224 140227918871696 140228314445525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6987776 140733163639981 140733163640073 140733163640073 140733163642831 0
[pid=29914/tid=29920] ppid=29911 vsize=10661052 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29914/task/29920/stat : 29920 (java) S 29911 29914 27985 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92716118 10916917248 10108 33554432000 4194304 4196468 140733163634224 140227917818896 140228314445525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6987776 140733163639981 140733163640073 140733163640073 140733163642831 0
[pid=29914/tid=29921] ppid=29911 vsize=10661052 memory=140664037779072 CPUtime=0 cores=0,2,4,6
/proc/29914/task/29921/stat : 29921 (java) S 29911 29914 27985 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 92716120 10916917248 10108 33554432000 4194304 4196468 140733163634224 140227874240624 140228314446466 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6987776 140733163639981 140733163640073 140733163640073 140733163642831 0
[pid=29914/tid=29922] ppid=29911 vsize=10661052 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29914/task/29922/stat : 29922 (java) S 29911 29914 27985 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 92716120 10916917248 10108 33554432000 4194304 4196468 140733163634224 140227873186592 140228314445525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6987776 140733163639981 140733163640073 140733163640073 140733163642831 0
[pid=29914/tid=29923] ppid=29911 vsize=10661052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29914/task/29923/stat : 29923 (java) S 29911 29914 27985 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 92716120 10916917248 10108 33554432000 4194304 4196468 140733163634224 140227872134256 140228314445525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6987776 140733163639981 140733163640073 140733163640073 140733163642831 0
[pid=29914/tid=29924] ppid=29911 vsize=10661052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29914/task/29924/stat : 29924 (java) S 29911 29914 27985 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92716122 10916917248 10108 33554432000 4194304 4196468 140733163634224 140227871082576 140228314453915 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6987776 140733163639981 140733163640073 140733163640073 140733163642831 0
[pid=29914/tid=29925] ppid=29911 vsize=10661052 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/29914/task/29925/stat : 29925 (java) R 29911 29914 27985 0 -1 1077944384 448 0 0 0 1 0 0 0 20 0 15 0 92716123 10916917248 10108 33554432000 4194304 4196468 140733163634224 140227870030448 140228314446466 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 6987776 140733163639981 140733163640073 140733163640073 140733163642831 0
[pid=29914/tid=29926] ppid=29911 vsize=10661052 memory=-1 CPUtime=0.03 cores=0,2,4,6
/proc/29914/task/29926/stat : 29926 (java) R 29911 29914 27985 0 -1 4202560 385 0 0 0 3 0 0 0 20 0 15 0 92716123 10916917248 10108 33554432000 4194304 4196468 140733163634224 140227868970392 140228292323968 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 6987776 140733163639981 140733163640073 140733163640073 140733163642831 0
[pid=29914/tid=29927] ppid=29911 vsize=10661052 memory=140664037779072 CPUtime=0.08 cores=0,2,4,6
/proc/29914/task/29927/stat : 29927 (java) R 29911 29914 27985 0 -1 4202560 872 0 0 0 8 0 0 0 20 0 15 0 92716123 10916917248 10108 33554432000 4194304 4196468 140733163634224 140227867922168 140228306672446 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 6987776 140733163639981 140733163640073 140733163640073 140733163642831 0
[pid=29914/tid=29928] ppid=29911 vsize=10661052 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29914/task/29928/stat : 29928 (java) S 29911 29914 27985 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92716123 10916917248 10108 33554432000 4194304 4196468 140733163634224 140227866872800 140228314445525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6987776 140733163639981 140733163640073 140733163640073 140733163642831 0
[pid=29914/tid=29929] ppid=29911 vsize=10661052 memory=140664037779072 CPUtime=0 cores=0,2,4,6
/proc/29914/task/29929/stat : 29929 (java) S 29911 29914 27985 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92716123 10916917248 10108 33554432000 4194304 4196468 140733163634224 140227865819568 140228314446466 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6987776 140733163639981 140733163640073 140733163640073 140733163642831 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 10661052 KiB
Current children cumulated memory: 40432 KiB

[startup+0.310653 s]*
/proc/loadavg: 2.96 1.89 1.61 5/215 29929
/proc/meminfo: memFree=21241184/32770624 swapFree=67108860/67108860
[pid=29914] ppid=29911 vsize=10661128 memory=57052 CPUtime=0.67 cores=0,2,4,6
/proc/29914/stat : 29914 (java) S 29911 29914 27985 0 -1 1077944320 10393 0 0 0 65 2 0 0 20 0 15 0 92716117 10916995072 14263 33554432000 4194304 4196468 140733163634224 140733163616768 140228314435319 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 6987776 140733163639981 140733163640073 140733163640073 140733163642831 0
/proc/29914/statm: 2665282 14263 3073 1 0 2627263 0
[pid=29914/tid=29916] ppid=29911 vsize=10661128 memory=7311146985107750967 CPUtime=0.3 cores=0,2,4,6
/proc/29914/task/29916/stat : 29916 (java) R 29911 29914 27985 0 -1 4202560 5424 0 0 0 29 1 0 0 20 0 15 0 92716117 10916995072 14263 33554432000 4194304 4196468 140733163634224 140228318669904 140228300504689 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 6987776 140733163639981 140733163640073 140733163640073 140733163642831 0
[pid=29914/tid=29917] ppid=29911 vsize=10661128 memory=304556157652172823 CPUtime=0 cores=0,2,4,6
/proc/29914/task/29917/stat : 29917 (java) S 29911 29914 27985 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 92716118 10916995072 14263 33554432000 4194304 4196468 140733163634224 140227920976784 140228314445525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6987776 140733163639981 140733163640073 140733163640073 140733163642831 0
[pid=29914/tid=29918] ppid=29911 vsize=10661128 memory=3904824450193106592 CPUtime=0 cores=0,2,4,6
/proc/29914/task/29918/stat : 29918 (java) S 29911 29914 27985 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92716118 10916995072 14263 33554432000 4194304 4196468 140733163634224 140227919923984 140228314445525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6987776 140733163639981 140733163640073 140733163640073 140733163642831 0
[pid=29914/tid=29919] ppid=29911 vsize=10661128 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29914/task/29919/stat : 29919 (java) S 29911 29914 27985 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92716118 10916995072 14263 33554432000 4194304 4196468 140733163634224 140227918871696 140228314445525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6987776 140733163639981 140733163640073 140733163640073 140733163642831 0
[pid=29914/tid=29920] ppid=29911 vsize=10661128 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29914/task/29920/stat : 29920 (java) S 29911 29914 27985 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92716118 10916995072 14263 33554432000 4194304 4196468 140733163634224 140227917818896 140228314445525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6987776 140733163639981 140733163640073 140733163640073 140733163642831 0
[pid=29914/tid=29921] ppid=29911 vsize=10661128 memory=140664037779072 CPUtime=0 cores=0,2,4,6
/proc/29914/task/29921/stat : 29921 (java) S 29911 29914 27985 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 92716120 10916995072 14263 33554432000 4194304 4196468 140733163634224 140227874240624 140228314446466 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6987776 140733163639981 140733163640073 140733163640073 140733163642831 0
[pid=29914/tid=29922] ppid=29911 vsize=10661128 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29914/task/29922/stat : 29922 (java) S 29911 29914 27985 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 92716120 10916995072 14263 33554432000 4194304 4196468 140733163634224 140227873186592 140228314445525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6987776 140733163639981 140733163640073 140733163640073 140733163642831 0
[pid=29914/tid=29923] ppid=29911 vsize=10661128 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29914/task/29923/stat : 29923 (java) S 29911 29914 27985 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 92716120 10916995072 14263 33554432000 4194304 4196468 140733163634224 140227872134256 140228314445525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6987776 140733163639981 140733163640073 140733163640073 140733163642831 0
[pid=29914/tid=29924] ppid=29911 vsize=10661128 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29914/task/29924/stat : 29924 (java) S 29911 29914 27985 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92716122 10916995072 14263 33554432000 4194304 4196468 140733163634224 140227871082576 140228314453915 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6987776 140733163639981 140733163640073 140733163640073 140733163642831 0
[pid=29914/tid=29925] ppid=29911 vsize=10661128 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/29914/task/29925/stat : 29925 (java) R 29911 29914 27985 0 -1 4202560 1489 0 0 0 9 0 0 0 20 0 15 0 92716123 10916995072 14263 33554432000 4194304 4196468 140733163634224 140227870016328 140228299543004 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 6987776 140733163639981 140733163640073 140733163640073 140733163642831 0
[pid=29914/tid=29926] ppid=29911 vsize=10661128 memory=-1 CPUtime=0.12 cores=0,2,4,6
/proc/29914/task/29926/stat : 29926 (java) R 29911 29914 27985 0 -1 1077944384 1122 0 0 0 12 0 0 0 20 0 15 0 92716123 10916995072 14263 33554432000 4194304 4196468 140733163634224 140227868977648 140228314446466 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 6987776 140733163639981 140733163640073 140733163640073 140733163642831 0
[pid=29914/tid=29927] ppid=29911 vsize=10661128 memory=140664037779072 CPUtime=0.13 cores=0,2,4,6
/proc/29914/task/29927/stat : 29927 (java) S 29911 29914 27985 0 -1 1077944384 987 0 0 0 13 0 0 0 20 0 15 0 92716123 10916995072 14263 33554432000 4194304 4196468 140733163634224 140227867925360 140228314446466 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6987776 140733163639981 140733163640073 140733163640073 140733163642831 0
[pid=29914/tid=29928] ppid=29911 vsize=10661128 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29914/task/29928/stat : 29928 (java) S 29911 29914 27985 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92716123 10916995072 14263 33554432000 4194304 4196468 140733163634224 140227866872800 140228314445525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6987776 140733163639981 140733163640073 140733163640073 140733163642831 0
[pid=29914/tid=29929] ppid=29911 vsize=10661128 memory=140664037779072 CPUtime=0 cores=0,2,4,6
/proc/29914/task/29929/stat : 29929 (java) S 29911 29914 27985 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92716123 10916995072 14263 33554432000 4194304 4196468 140733163634224 140227865819568 140228314446466 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6987776 140733163639981 140733163640073 140733163640073 140733163642831 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 10661128 KiB
Current children cumulated memory: 57052 KiB

[startup+0.70167 s]
/proc/loadavg: 2.96 1.89 1.61 5/215 29929
/proc/meminfo: memFree=21200600/32770624 swapFree=67108860/67108860
[pid=29914] ppid=29911 vsize=10661128 memory=188296 CPUtime=1.94 cores=0,2,4,6
/proc/29914/stat : 29914 (java) S 29911 29914 27985 0 -1 1077944320 11979 0 0 0 189 5 0 0 20 0 15 0 92716117 10916995072 47074 33554432000 4194304 4196468 140733163634224 140733163616768 140228314435319 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 6987776 140733163639981 140733163640073 140733163640073 140733163642831 0
/proc/29914/statm: 2665282 47074 3122 1 0 2627263 0
[pid=29914/tid=29916] ppid=29911 vsize=10661128 memory=1836 CPUtime=0.67 cores=0,2,4,6
/proc/29914/task/29916/stat : 29916 (java) R 29911 29914 27985 0 -1 4202560 5556 0 0 0 64 3 0 0 20 0 15 0 92716117 10916995072 47074 33554432000 4194304 4196468 140733163634224 140228318672816 140227950260284 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 6987776 140733163639981 140733163640073 140733163640073 140733163642831 0
[pid=29914/tid=29917] ppid=29911 vsize=10661128 memory=13044 CPUtime=0 cores=0,2,4,6
/proc/29914/task/29917/stat : 29917 (java) S 29911 29914 27985 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 15 0 92716118 10916995072 47074 33554432000 4194304 4196468 140733163634224 140227920976784 140228314445525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6987776 140733163639981 140733163640073 140733163640073 140733163642831 0
[pid=29914/tid=29918] ppid=29911 vsize=10661128 memory=792 CPUtime=0 cores=0,2,4,6
/proc/29914/task/29918/stat : 29918 (java) S 29911 29914 27985 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 15 0 92716118 10916995072 47074 33554432000 4194304 4196468 140733163634224 140227919923984 140228314445525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6987776 140733163639981 140733163640073 140733163640073 140733163642831 0
[pid=29914/tid=29919] ppid=29911 vsize=10661128 memory=1952 CPUtime=0 cores=0,2,4,6
/proc/29914/task/29919/stat : 29919 (java) S 29911 29914 27985 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 15 0 92716118 10916995072 47074 33554432000 4194304 4196468 140733163634224 140227918871696 140228314445525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6987776 140733163639981 140733163640073 140733163640073 140733163642831 0
[pid=29914/tid=29920] ppid=29911 vsize=10661128 memory=1232 CPUtime=0 cores=0,2,4,6
/proc/29914/task/29920/stat : 29920 (java) S 29911 29914 27985 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 15 0 92716118 10916995072 47074 33554432000 4194304 4196468 140733163634224 140227917818896 140228314445525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6987776 140733163639981 140733163640073 140733163640073 140733163642831 0
[pid=29914/tid=29921] ppid=29911 vsize=10661128 memory=8556 CPUtime=0 cores=0,2,4,6
/proc/29914/task/29921/stat : 29921 (java) S 29911 29914 27985 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 92716120 10916995072 47074 33554432000 4194304 4196468 140733163634224 140227874240624 140228314446466 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6987776 140733163639981 140733163640073 140733163640073 140733163642831 0
[pid=29914/tid=29922] ppid=29911 vsize=10661128 memory=1712 CPUtime=0 cores=0,2,4,6
/proc/29914/task/29922/stat : 29922 (java) S 29911 29914 27985 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 92716120 10916995072 47074 33554432000 4194304 4196468 140733163634224 140227873186592 140228314445525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6987776 140733163639981 140733163640073 140733163640073 140733163642831 0
[pid=29914/tid=29923] ppid=29911 vsize=10661128 memory=5412 CPUtime=0 cores=0,2,4,6
/proc/29914/task/29923/stat : 29923 (java) S 29911 29914 27985 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 92716120 10916995072 47074 33554432000 4194304 4196468 140733163634224 140227872134256 140228314445525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6987776 140733163639981 140733163640073 140733163640073 140733163642831 0
[pid=29914/tid=29924] ppid=29911 vsize=10661128 memory=7668879548562892096 CPUtime=0 cores=0,2,4,6
/proc/29914/task/29924/stat : 29924 (java) S 29911 29914 27985 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92716122 10916995072 47074 33554432000 4194304 4196468 140733163634224 140227871082576 140228314453915 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6987776 140733163639981 140733163640073 140733163640073 140733163642831 0
[pid=29914/tid=29925] ppid=29911 vsize=10661128 memory=7881696724453321575 CPUtime=0.47 cores=0,2,4,6
/proc/29914/task/29925/stat : 29925 (java) R 29911 29914 27985 0 -1 4202560 1774 0 0 0 47 0 0 0 20 0 15 0 92716123 10916995072 47074 33554432000 4194304 4196468 140733163634224 140227870010000 140228297935484 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 6987776 140733163639981 140733163640073 140733163640073 140733163642831 0
[pid=29914/tid=29926] ppid=29911 vsize=10661128 memory=5787213827063244903 CPUtime=0.46 cores=0,2,4,6
/proc/29914/task/29926/stat : 29926 (java) R 29911 29914 27985 0 -1 4202560 1794 0 0 0 46 0 0 0 20 0 15 0 92716123 10916995072 47074 33554432000 4194304 4196468 140733163634224 140227868964432 140228297964016 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 6987776 140733163639981 140733163640073 140733163640073 140733163642831 0
[pid=29914/tid=29927] ppid=29911 vsize=10661128 memory=0 CPUtime=0.29 cores=0,2,4,6
/proc/29914/task/29927/stat : 29927 (java) S 29911 29914 27985 0 -1 1077944384 1369 0 0 0 29 0 0 0 20 0 15 0 92716123 10916995072 47074 33554432000 4194304 4196468 140733163634224 140227867925360 140228314446466 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6987776 140733163639981 140733163640073 140733163640073 140733163642831 0
[pid=29914/tid=29928] ppid=29911 vsize=10661128 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29914/task/29928/stat : 29928 (java) S 29911 29914 27985 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92716123 10916995072 47074 33554432000 4194304 4196468 140733163634224 140227866872800 140228314445525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6987776 140733163639981 140733163640073 140733163640073 140733163642831 0
[pid=29914/tid=29929] ppid=29911 vsize=10661128 memory=33 CPUtime=0 cores=0,2,4,6
/proc/29914/task/29929/stat : 29929 (java) S 29911 29914 27985 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92716123 10916995072 47074 33554432000 4194304 4196468 140733163634224 140227865819568 140228314446466 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6987776 140733163639981 140733163640073 140733163640073 140733163642831 0
Current children cumulated CPU time: 1.94 s
Current children cumulated vsize: 10661128 KiB
Current children cumulated memory: 188296 KiB

[startup+1.50067 s]
/proc/loadavg: 2.96 1.89 1.61 5/215 29929
/proc/meminfo: memFree=21107852/32770624 swapFree=67108860/67108860
[pid=29914] ppid=29911 vsize=10661128 memory=190808 CPUtime=3.95 cores=0,2,4,6
/proc/29914/stat : 29914 (java) S 29911 29914 27985 0 -1 1077944320 12660 0 0 0 389 6 0 0 20 0 15 0 92716117 10916995072 47702 33554432000 4194304 4196468 140733163634224 140733163616768 140228314435319 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 6987776 140733163639981 140733163640073 140733163640073 140733163642831 0
/proc/29914/statm: 2665282 47702 3144 1 0 2627263 0
[pid=29914/tid=29916] ppid=29911 vsize=10661128 memory=6791534058613427641 CPUtime=1.47 cores=0,2,4,6
/proc/29914/task/29916/stat : 29916 (java) R 29911 29914 27985 0 -1 4202560 5631 0 0 0 144 3 0 0 20 0 15 0 92716117 10916995072 47702 33554432000 4194304 4196468 140733163634224 140228318671008 140227952471914 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 6987776 140733163639981 140733163640073 140733163640073 140733163642831 0
[pid=29914/tid=29917] ppid=29911 vsize=10661128 memory=-6951259422114956437 CPUtime=0 cores=0,2,4,6
/proc/29914/task/29917/stat : 29917 (java) S 29911 29914 27985 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 15 0 92716118 10916995072 47702 33554432000 4194304 4196468 140733163634224 140227920976784 140228314445525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6987776 140733163639981 140733163640073 140733163640073 140733163642831 0
[pid=29914/tid=29918] ppid=29911 vsize=10661128 memory=-6509546260019855295 CPUtime=0 cores=0,2,4,6
/proc/29914/task/29918/stat : 29918 (java) S 29911 29914 27985 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 15 0 92716118 10916995072 47702 33554432000 4194304 4196468 140733163634224 140227919923984 140228314445525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6987776 140733163639981 140733163640073 140733163640073 140733163642831 0
[pid=29914/tid=29919] ppid=29911 vsize=10661128 memory=-7390251449858225344 CPUtime=0 cores=0,2,4,6
/proc/29914/task/29919/stat : 29919 (java) S 29911 29914 27985 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 15 0 92716118 10916995072 47702 33554432000 4194304 4196468 140733163634224 140227918871696 140228314445525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6987776 140733163639981 140733163640073 140733163640073 140733163642831 0
[pid=29914/tid=29920] ppid=29911 vsize=10661128 memory=4134692831991786133 CPUtime=0 cores=0,2,4,6
/proc/29914/task/29920/stat : 29920 (java) S 29911 29914 27985 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 15 0 92716118 10916995072 47702 33554432000 4194304 4196468 140733163634224 140227917818896 140228314445525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6987776 140733163639981 140733163640073 140733163640073 140733163642831 0
[pid=29914/tid=29921] ppid=29911 vsize=10661128 memory=-7165351541977658656 CPUtime=0 cores=0,2,4,6
/proc/29914/task/29921/stat : 29921 (java) S 29911 29914 27985 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 92716120 10916995072 47702 33554432000 4194304 4196468 140733163634224 140227874240624 140228314446466 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6987776 140733163639981 140733163640073 140733163640073 140733163642831 0

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

[startup+3.97744 s]
# the end of solver process 29914 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=7.82117 s, system=0.294853 s

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

[startup+3.20095 s]
/proc/loadavg: 2.96 1.89 1.61 3/215 29929
/proc/meminfo: memFree=21020676/32770624 swapFree=67108860/67108860
[pid=29914] ppid=29911 vsize=10661128 memory=305120 CPUtime=6.45 cores=0,2,4,6
/proc/29914/stat : 29914 (java) S 29911 29914 27985 0 -1 1077944320 15418 0 0 0 630 15 0 0 20 0 15 0 92716117 10916995072 76280 33554432000 4194304 4196468 140733163634224 140733163616768 140228314435319 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 6987776 140733163639981 140733163640073 140733163640073 140733163642831 0
/proc/29914/statm: 2665282 76280 3159 1 0 2627263 0
[pid=29914/tid=29916] ppid=29911 vsize=10661128 memory=281327874225264 CPUtime=3.1 cores=0,2,4,6
/proc/29914/task/29916/stat : 29916 (java) R 29911 29914 27985 0 -1 4202560 6293 0 0 0 307 3 0 0 20 0 15 0 92716117 10916995072 76280 33554432000 4194304 4196468 140733163634224 140228318671224 140227952837126 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 6987776 140733163639981 140733163640073 140733163640073 140733163642831 0
[pid=29914/tid=29917] ppid=29911 vsize=10661128 memory=281327874225712 CPUtime=0.06 cores=0,2,4,6
/proc/29914/task/29917/stat : 29917 (java) S 29911 29914 27985 0 -1 1077944384 112 0 0 0 4 2 0 0 20 0 15 0 92716118 10916995072 76280 33554432000 4194304 4196468 140733163634224 140227920976784 140228314445525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6987776 140733163639981 140733163640073 140733163640073 140733163642831 0
[pid=29914/tid=29918] ppid=29911 vsize=10661128 memory=281327874225648 CPUtime=0.06 cores=0,2,4,6
/proc/29914/task/29918/stat : 29918 (java) S 29911 29914 27985 0 -1 1077944384 104 0 0 0 4 2 0 0 20 0 15 0 92716118 10916995072 76280 33554432000 4194304 4196468 140733163634224 140227919923984 140228314445525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6987776 140733163639981 140733163640073 140733163640073 140733163642831 0
[pid=29914/tid=29919] ppid=29911 vsize=10661128 memory=281327874620912 CPUtime=0.06 cores=0,2,4,6
/proc/29914/task/29919/stat : 29919 (java) S 29911 29914 27985 0 -1 1077944384 108 0 0 0 4 2 0 0 20 0 15 0 92716118 10916995072 76280 33554432000 4194304 4196468 140733163634224 140227918871696 140228314445525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6987776 140733163639981 140733163640073 140733163640073 140733163642831 0
[pid=29914/tid=29920] ppid=29911 vsize=10661128 memory=4140 CPUtime=0.06 cores=0,2,4,6
/proc/29914/task/29920/stat : 29920 (java) S 29911 29914 27985 0 -1 1077944384 98 0 0 0 4 2 0 0 20 0 15 0 92716118 10916995072 76280 33554432000 4194304 4196468 140733163634224 140227917818896 140228314445525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6987776 140733163639981 140733163640073 140733163640073 140733163642831 0
[pid=29914/tid=29921] ppid=29911 vsize=10661128 memory=26884 CPUtime=0 cores=0,2,4,6
/proc/29914/task/29921/stat : 29921 (java) S 29911 29914 27985 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 92716120 10916995072 76280 33554432000 4194304 4196468 140733163634224 140227874240624 140228314446466 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6987776 140733163639981 140733163640073 140733163640073 140733163642831 0
[pid=29914/tid=29922] ppid=29911 vsize=10661128 memory=1296 CPUtime=0 cores=0,2,4,6
/proc/29914/task/29922/stat : 29922 (java) S 29911 29914 27985 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 92716120 10916995072 76280 33554432000 4194304 4196468 140733163634224 140227873186656 140228314445525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6987776 140733163639981 140733163640073 140733163640073 140733163642831 0
[pid=29914/tid=29923] ppid=29911 vsize=10661128 memory=2400 CPUtime=0 cores=0,2,4,6
/proc/29914/task/29923/stat : 29923 (java) S 29911 29914 27985 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 92716120 10916995072 76280 33554432000 4194304 4196468 140733163634224 140227872134256 140228314445525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6987776 140733163639981 140733163640073 140733163640073 140733163642831 0
[pid=29914/tid=29924] ppid=29911 vsize=10661128 memory=1836 CPUtime=0 cores=0,2,4,6
/proc/29914/task/29924/stat : 29924 (java) S 29911 29914 27985 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92716122 10916995072 76280 33554432000 4194304 4196468 140733163634224 140227871082576 140228314453915 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6987776 140733163639981 140733163640073 140733163640073 140733163642831 0
[pid=29914/tid=29925] ppid=29911 vsize=10661128 memory=13044 CPUtime=1.3 cores=0,2,4,6
/proc/29914/task/29925/stat : 29925 (java) S 29911 29914 27985 0 -1 1077944384 3192 0 0 0 129 1 0 0 20 0 15 0 92716123 10916995072 76280 33554432000 4194304 4196468 140733163634224 140227870030448 140228314446466 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6987776 140733163639981 140733163640073 140733163640073 140733163642831 0
[pid=29914/tid=29926] ppid=29911 vsize=10661128 memory=792 CPUtime=1.31 cores=0,2,4,6
/proc/29914/task/29926/stat : 29926 (java) S 29911 29914 27985 0 -1 1077944384 2429 0 0 0 131 0 0 0 20 0 15 0 92716123 10916995072 76280 33554432000 4194304 4196468 140733163634224 140227868977648 140228314446466 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6987776 140733163639981 140733163640073 140733163640073 140733163642831 0
[pid=29914/tid=29927] ppid=29911 vsize=10661128 memory=1952 CPUtime=0.42 cores=0,2,4,6
/proc/29914/task/29927/stat : 29927 (java) S 29911 29914 27985 0 -1 1077944384 1629 0 0 0 42 0 0 0 20 0 15 0 92716123 10916995072 76280 33554432000 4194304 4196468 140733163634224 140227867925360 140228314446466 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6987776 140733163639981 140733163640073 140733163640073 140733163642831 0
[pid=29914/tid=29928] ppid=29911 vsize=10661128 memory=1232 CPUtime=0 cores=0,2,4,6
/proc/29914/task/29928/stat : 29928 (java) S 29911 29914 27985 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92716123 10916995072 76280 33554432000 4194304 4196468 140733163634224 140227866872800 140228314445525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6987776 140733163639981 140733163640073 140733163640073 140733163642831 0
[pid=29914/tid=29929] ppid=29911 vsize=10661128 memory=8556 CPUtime=0 cores=0,2,4,6
/proc/29914/task/29929/stat : 29929 (java) S 29911 29914 27985 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 15 0 92716123 10916995072 76280 33554432000 4194304 4196468 140733163634224 140227865819568 140228314446466 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6987776 140733163639981 140733163640073 140733163640073 140733163642831 0
Current children cumulated CPU time: 6.45 s
Current children cumulated vsize: 10661128 KiB
Current children cumulated memory: 305120 KiB

[startup+3.60074 s]
/proc/loadavg: 2.96 1.89 1.61 3/215 29929
/proc/meminfo: memFree=21020676/32770624 swapFree=67108860/67108860
[pid=29914] ppid=29911 vsize=10661128 memory=358844 CPUtime=6.96 cores=0,2,4,6
/proc/29914/stat : 29914 (java) S 29911 29914 27985 0 -1 1077944320 17758 0 0 0 680 16 0 0 20 0 15 0 92716117 10916995072 89711 33554432000 4194304 4196468 140733163634224 140733163616768 140228314435319 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 6987776 140733163639981 140733163640073 140733163640073 140733163642831 0
/proc/29914/statm: 2665282 89711 3159 1 0 2627263 0
[pid=29914/tid=29916] ppid=29911 vsize=10661128 memory=26884 CPUtime=3.5 cores=0,2,4,6
/proc/29914/task/29916/stat : 29916 (java) R 29911 29914 27985 0 -1 4202560 6417 0 0 0 346 4 0 0 20 0 15 0 92716117 10916995072 89711 33554432000 4194304 4196468 140733163634224 140228318671224 140227952472127 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 6987776 140733163639981 140733163640073 140733163640073 140733163642831 0
[pid=29914/tid=29917] ppid=29911 vsize=10661128 memory=1296 CPUtime=0.06 cores=0,2,4,6
/proc/29914/task/29917/stat : 29917 (java) S 29911 29914 27985 0 -1 1077944384 112 0 0 0 4 2 0 0 20 0 15 0 92716118 10916995072 89711 33554432000 4194304 4196468 140733163634224 140227920976784 140228314445525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6987776 140733163639981 140733163640073 140733163640073 140733163642831 0
[pid=29914/tid=29918] ppid=29911 vsize=10661128 memory=2400 CPUtime=0.06 cores=0,2,4,6
/proc/29914/task/29918/stat : 29918 (java) S 29911 29914 27985 0 -1 1077944384 104 0 0 0 4 2 0 0 20 0 15 0 92716118 10916995072 89711 33554432000 4194304 4196468 140733163634224 140227919923984 140228314445525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6987776 140733163639981 140733163640073 140733163640073 140733163642831 0
[pid=29914/tid=29919] ppid=29911 vsize=10661128 memory=1836 CPUtime=0.06 cores=0,2,4,6
/proc/29914/task/29919/stat : 29919 (java) S 29911 29914 27985 0 -1 1077944384 108 0 0 0 4 2 0 0 20 0 15 0 92716118 10916995072 89711 33554432000 4194304 4196468 140733163634224 140227918871696 140228314445525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6987776 140733163639981 140733163640073 140733163640073 140733163642831 0
[pid=29914/tid=29920] ppid=29911 vsize=10661128 memory=13044 CPUtime=0.06 cores=0,2,4,6
/proc/29914/task/29920/stat : 29920 (java) S 29911 29914 27985 0 -1 1077944384 98 0 0 0 4 2 0 0 20 0 15 0 92716118 10916995072 89711 33554432000 4194304 4196468 140733163634224 140227917818896 140228314445525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6987776 140733163639981 140733163640073 140733163640073 140733163642831 0
[pid=29914/tid=29921] ppid=29911 vsize=10661128 memory=792 CPUtime=0 cores=0,2,4,6
/proc/29914/task/29921/stat : 29921 (java) S 29911 29914 27985 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 92716120 10916995072 89711 33554432000 4194304 4196468 140733163634224 140227874240624 140228314446466 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6987776 140733163639981 140733163640073 140733163640073 140733163642831 0
[pid=29914/tid=29922] ppid=29911 vsize=10661128 memory=1952 CPUtime=0 cores=0,2,4,6
/proc/29914/task/29922/stat : 29922 (java) S 29911 29914 27985 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 92716120 10916995072 89711 33554432000 4194304 4196468 140733163634224 140227873186656 140228314445525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6987776 140733163639981 140733163640073 140733163640073 140733163642831 0
[pid=29914/tid=29923] ppid=29911 vsize=10661128 memory=1232 CPUtime=0 cores=0,2,4,6
/proc/29914/task/29923/stat : 29923 (java) S 29911 29914 27985 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 92716120 10916995072 89711 33554432000 4194304 4196468 140733163634224 140227872134256 140228314445525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6987776 140733163639981 140733163640073 140733163640073 140733163642831 0
[pid=29914/tid=29924] ppid=29911 vsize=10661128 memory=8556 CPUtime=0 cores=0,2,4,6
/proc/29914/task/29924/stat : 29924 (java) S 29911 29914 27985 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92716122 10916995072 89711 33554432000 4194304 4196468 140733163634224 140227871082576 140228314453915 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6987776 140733163639981 140733163640073 140733163640073 140733163642831 0
[pid=29914/tid=29925] ppid=29911 vsize=10661128 memory=6791534058613427641 CPUtime=1.36 cores=0,2,4,6
/proc/29914/task/29925/stat : 29925 (java) S 29911 29914 27985 0 -1 1077944384 4060 0 0 0 135 1 0 0 20 0 15 0 92716123 10916995072 89711 33554432000 4194304 4196468 140733163634224 140227870030448 140228314446466 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6987776 140733163639981 140733163640073 140733163640073 140733163642831 0
[pid=29914/tid=29926] ppid=29911 vsize=10661128 memory=7378979013896988771 CPUtime=1.36 cores=0,2,4,6
/proc/29914/task/29926/stat : 29926 (java) S 29911 29914 27985 0 -1 1077944384 3482 0 0 0 136 0 0 0 20 0 15 0 92716123 10916995072 89711 33554432000 4194304 4196468 140733163634224 140227868977648 140228314446466 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6987776 140733163639981 140733163640073 140733163640073 140733163642831 0
[pid=29914/tid=29927] ppid=29911 vsize=10661128 memory=6153435977842387558 CPUtime=0.43 cores=0,2,4,6
/proc/29914/task/29927/stat : 29927 (java) S 29911 29914 27985 0 -1 1077944384 1924 0 0 0 43 0 0 0 20 0 15 0 92716123 10916995072 89711 33554432000 4194304 4196468 140733163634224 140227867925360 140228314446466 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6987776 140733163639981 140733163640073 140733163640073 140733163642831 0
[pid=29914/tid=29928] ppid=29911 vsize=10661128 memory=7079772140536550505 CPUtime=0 cores=0,2,4,6
/proc/29914/task/29928/stat : 29928 (java) S 29911 29914 27985 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92716123 10916995072 89711 33554432000 4194304 4196468 140733163634224 140227866872800 140228314445525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6987776 140733163639981 140733163640073 140733163640073 140733163642831 0
[pid=29914/tid=29929] ppid=29911 vsize=10661128 memory=4100 CPUtime=0 cores=0,2,4,6
/proc/29914/task/29929/stat : 29929 (java) S 29911 29914 27985 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 15 0 92716123 10916995072 89711 33554432000 4194304 4196468 140733163634224 140227865819568 140228314446466 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6987776 140733163639981 140733163640073 140733163640073 140733163642831 0
Current children cumulated CPU time: 6.96 s
Current children cumulated vsize: 10661128 KiB
Current children cumulated memory: 358844 KiB

[startup+3.81264 s]
/proc/loadavg: 2.96 1.89 1.61 3/215 29929
/proc/meminfo: memFree=21020676/32770624 swapFree=67108860/67108860
[pid=29914] ppid=29911 vsize=10661128 memory=388936 CPUtime=7.52 cores=0,2,4,6
/proc/29914/stat : 29914 (java) S 29911 29914 27985 0 -1 1077944320 20528 0 0 0 734 18 0 0 20 0 15 0 92716117 10916995072 97234 33554432000 4194304 4196468 140733163634224 140733163616768 140228314435319 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 6987776 140733163639981 140733163640073 140733163640073 140733163642831 0
/proc/29914/statm: 2665282 97234 3161 1 0 2627263 0
[pid=29914/tid=29916] ppid=29911 vsize=10661128 memory=0 CPUtime=3.7 cores=0,2,4,6
/proc/29914/task/29916/stat : 29916 (java) S 29911 29914 27985 0 -1 1077944384 7348 0 0 0 366 4 0 0 20 0 15 0 92716117 10916995072 97234 33554432000 4194304 4196468 140733163634224 140228318674512 140228314445525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6987776 140733163639981 140733163640073 140733163640073 140733163642831 0
[pid=29914/tid=29917] ppid=29911 vsize=10661128 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/29914/task/29917/stat : 29917 (java) R 29911 29914 27985 0 -1 4202560 149 0 0 0 5 2 0 0 20 0 15 0 92716118 10916995072 97746 33554432000 4194304 4196468 140733163634224 140227920976784 140228299463202 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 6987776 140733163639981 140733163640073 140733163640073 140733163642831 0
[pid=29914/tid=29918] ppid=29911 vsize=10661128 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/29914/task/29918/stat : 29918 (java) R 29911 29914 27985 0 -1 4202560 146 0 0 0 5 2 0 0 20 0 15 0 92716118 10916995072 97746 33554432000 4194304 4196468 140733163634224 140227919923984 140228299463202 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 6987776 140733163639981 140733163640073 140733163640073 140733163642831 0
[pid=29914/tid=29919] ppid=29911 vsize=10661128 memory=256288 CPUtime=0.07 cores=0,2,4,6
/proc/29914/task/29919/stat : 29919 (java) R 29911 29914 27985 0 -1 4202560 136 0 0 0 5 2 0 0 20 0 15 0 92716118 10916995072 97746 33554432000 4194304 4196468 140733163634224 140227918871896 140228299463202 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 6987776 140733163639981 140733163640073 140733163640073 140733163642831 0
[pid=29914/tid=29920] ppid=29911 vsize=10661128 memory=281327874422464 CPUtime=0.07 cores=0,2,4,6
/proc/29914/task/29920/stat : 29920 (java) R 29911 29914 27985 0 -1 4202560 136 0 0 0 5 2 0 0 20 0 15 0 92716118 10916995072 97746 33554432000 4194304 4196468 140733163634224 140227917818896 140228299463202 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 6987776 140733163639981 140733163640073 140733163640073 140733163642831 0
[pid=29914/tid=29921] ppid=29911 vsize=10661128 memory=8316868033356759116 CPUtime=0 cores=0,2,4,6
/proc/29914/task/29921/stat : 29921 (java) S 29911 29914 27985 0 -1 1077944384 353 0 0 0 0 0 0 0 20 0 15 0 92716120 10916995072 97746 33554432000 4194304 4196468 140733163634224 140227874239136 140228314445525 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6987776 140733163639981 140733163640073 140733163640073 140733163642831 0
[pid=29914/tid=29922] ppid=29911 vsize=10661128 memory=19968 CPUtime=0 cores=0,2,4,6
/proc/29914/task/29922/stat : 29922 (java) S 29911 29914 27985 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 92716120 10916995072 97746 33554432000 4194304 4196468 140733163634224 140227873186656 140228314445525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6987776 140733163639981 140733163640073 140733163640073 140733163642831 0
[pid=29914/tid=29923] ppid=29911 vsize=10661128 memory=4193472722803884064 CPUtime=0 cores=0,2,4,6
/proc/29914/task/29923/stat : 29923 (java) S 29911 29914 27985 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 92716120 10916995072 97746 33554432000 4194304 4196468 140733163634224 140227872134256 140228314445525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6987776 140733163639981 140733163640073 140733163640073 140733163642831 0
[pid=29914/tid=29924] ppid=29911 vsize=10661128 memory=3545239119946867542 CPUtime=0 cores=0,2,4,6
/proc/29914/task/29924/stat : 29924 (java) S 29911 29914 27985 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92716122 10916995072 97746 33554432000 4194304 4196468 140733163634224 140227871082576 140228314453915 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6987776 140733163639981 140733163640073 140733163640073 140733163642831 0
[pid=29914/tid=29925] ppid=29911 vsize=10661128 memory=7451885555868854080 CPUtime=1.54 cores=0,2,4,6
/proc/29914/task/29925/stat : 29925 (java) R 29911 29914 27985 0 -1 4202560 4977 0 0 0 153 1 0 0 20 0 15 0 92716123 10916995072 97746 33554432000 4194304 4196468 140733163634224 140227870017264 140228294128419 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 6987776 140733163639981 140733163640073 140733163640073 140733163642831 0
[pid=29914/tid=29926] ppid=29911 vsize=10661128 memory=7595159596023758956 CPUtime=1.44 cores=0,2,4,6
/proc/29914/task/29926/stat : 29926 (java) S 29911 29914 27985 0 -1 1077944384 3782 0 0 0 144 0 0 0 20 0 15 0 92716123 10916995072 97746 33554432000 4194304 4196468 140733163634224 140227868977648 140228314446466 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6987776 140733163639981 140733163640073 140733163640073 140733163642831 0
[pid=29914/tid=29927] ppid=29911 vsize=10661128 memory=5859271421085237344 CPUtime=0.46 cores=0,2,4,6
/proc/29914/task/29927/stat : 29927 (java) S 29911 29914 27985 0 -1 1077944384 2133 0 0 0 46 0 0 0 20 0 15 0 92716123 10916995072 97746 33554432000 4194304 4196468 140733163634224 140227867921552 140228314445525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6987776 140733163639981 140733163640073 140733163640073 140733163642831 0
[pid=29914/tid=29928] ppid=29911 vsize=10661128 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29914/task/29928/stat : 29928 (java) S 29911 29914 27985 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92716123 10916995072 97746 33554432000 4194304 4196468 140733163634224 140227866872800 140228314445525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6987776 140733163639981 140733163640073 140733163640073 140733163642831 0
[pid=29914/tid=29929] ppid=29911 vsize=10661128 memory=2241 CPUtime=0 cores=0,2,4,6
/proc/29914/task/29929/stat : 29929 (java) S 29911 29914 27985 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 15 0 92716123 10916995072 97746 33554432000 4194304 4196468 140733163634224 140227865819568 140228314446466 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6987776 140733163639981 140733163640073 140733163640073 140733163642831 0
Current children cumulated CPU time: 7.52 s
Current children cumulated vsize: 10661128 KiB
Current children cumulated memory: 388936 KiB

[startup+3.90963 s]
/proc/loadavg: 2.96 1.89 1.61 3/215 29929
/proc/meminfo: memFree=21020676/32770624 swapFree=67108860/67108860
[pid=29914] ppid=29911 vsize=10661128 memory=463400 CPUtime=7.9 cores=0,2,4,6
/proc/29914/stat : 29914 (java) S 29911 29914 27985 0 -1 1077944320 21172 0 0 0 765 25 0 0 20 0 15 0 92716117 10916995072 115850 33554432000 4194304 4196468 140733163634224 140733163616768 140228314435319 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 6987776 140733163639981 140733163640073 140733163640073 140733163642831 0
/proc/29914/statm: 2665282 115850 3161 1 0 2627263 0
[pid=29914/tid=29916] ppid=29911 vsize=10661128 memory=365904 CPUtime=3.7 cores=0,2,4,6
/proc/29914/task/29916/stat : 29916 (java) S 29911 29914 27985 0 -1 1077944384 7348 0 0 0 366 4 0 0 20 0 15 0 92716117 10916995072 115850 33554432000 4194304 4196468 140733163634224 140228318674512 140228314445525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6987776 140733163639981 140733163640073 140733163640073 140733163642831 0
[pid=29914/tid=29917] ppid=29911 vsize=10661128 memory=281327874224784 CPUtime=0.16 cores=0,2,4,6
/proc/29914/task/29917/stat : 29917 (java) R 29911 29914 27985 0 -1 4202560 236 0 0 0 12 4 0 0 20 0 15 0 92716118 10916995072 115850 33554432000 4194304 4196468 140733163634224 140227920976672 140228299463202 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 6987776 140733163639981 140733163640073 140733163640073 140733163642831 0
[pid=29914/tid=29918] ppid=29911 vsize=10661128 memory=292828 CPUtime=0.14 cores=0,2,4,6
/proc/29914/task/29918/stat : 29918 (java) R 29911 29914 27985 0 -1 4202560 189 0 0 0 10 4 0 0 20 0 15 0 92716118 10916995072 115850 33554432000 4194304 4196468 140733163634224 140227919924184 140228307535019 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 6987776 140733163639981 140733163640073 140733163640073 140733163642831 0
[pid=29914/tid=29919] ppid=29911 vsize=10661128 memory=6944656575208382560 CPUtime=0.18 cores=0,2,4,6
/proc/29914/task/29919/stat : 29919 (java) R 29911 29914 27985 0 -1 4202560 210 0 0 0 13 5 0 0 20 0 15 0 92716118 10916995072 115850 33554432000 4194304 4196468 140733163634224 140227918871896 140228299460622 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 6987776 140733163639981 140733163640073 140733163640073 140733163642831 0
[pid=29914/tid=29920] ppid=29911 vsize=10661128 memory=0 CPUtime=0.15 cores=0,2,4,6
/proc/29914/task/29920/stat : 29920 (java) R 29911 29914 27985 0 -1 4202560 205 0 0 0 11 4 0 0 20 0 15 0 92716118 10916995072 115850 33554432000 4194304 4196468 140733163634224 140227917819096 140228299463202 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 6987776 140733163639981 140733163640073 140733163640073 140733163642831 0
[pid=29914/tid=29921] ppid=29911 vsize=10661128 memory=10852 CPUtime=0 cores=0,2,4,6
/proc/29914/task/29921/stat : 29921 (java) S 29911 29914 27985 0 -1 1077944384 353 0 0 0 0 0 0 0 20 0 15 0 92716120 10916995072 115850 33554432000 4194304 4196468 140733163634224 140227874239136 140228314445525 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6987776 140733163639981 140733163640073 140733163640073 140733163642831 0
[pid=29914/tid=29922] ppid=29911 vsize=10661128 memory=17437 CPUtime=0 cores=0,2,4,6
/proc/29914/task/29922/stat : 29922 (java) S 29911 29914 27985 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 92716120 10916995072 115850 33554432000 4194304 4196468 140733163634224 140227873186656 140228314445525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6987776 140733163639981 140733163640073 140733163640073 140733163642831 0
[pid=29914/tid=29923] ppid=29911 vsize=10661128 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29914/task/29923/stat : 29923 (java) S 29911 29914 27985 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 92716120 10916995072 115850 33554432000 4194304 4196468 140733163634224 140227872134256 140228314445525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6987776 140733163639981 140733163640073 140733163640073 140733163642831 0
[pid=29914/tid=29924] ppid=29911 vsize=10661128 memory=4638778402844725328 CPUtime=0 cores=0,2,4,6
/proc/29914/task/29924/stat : 29924 (java) S 29911 29914 27985 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92716122 10916995072 115850 33554432000 4194304 4196468 140733163634224 140227871082576 140228314453915 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6987776 140733163639981 140733163640073 140733163640073 140733163642831 0
[pid=29914/tid=29925] ppid=29911 vsize=10661128 memory=7452728842579373158 CPUtime=1.61 cores=0,2,4,6
/proc/29914/task/29925/stat : 29925 (java) R 29911 29914 27985 0 -1 4202560 5348 0 0 0 160 1 0 0 20 0 15 0 92716123 10916995072 115850 33554432000 4194304 4196468 140733163634224 140227870016328 140228295956224 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 6987776 140733163639981 140733163640073 140733163640073 140733163642831 0
[pid=29914/tid=29926] ppid=29911 vsize=10661128 memory=7307470175194866769 CPUtime=1.44 cores=0,2,4,6
/proc/29914/task/29926/stat : 29926 (java) S 29911 29914 27985 0 -1 1077944384 3782 0 0 0 144 0 0 0 20 0 15 0 92716123 10916995072 115850 33554432000 4194304 4196468 140733163634224 140227868977648 140228314446466 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6987776 140733163639981 140733163640073 140733163640073 140733163642831 0
[pid=29914/tid=29927] ppid=29911 vsize=10661128 memory=128544076231912 CPUtime=0.46 cores=0,2,4,6
/proc/29914/task/29927/stat : 29927 (java) S 29911 29914 27985 0 -1 1077944384 2133 0 0 0 46 0 0 0 20 0 15 0 92716123 10916995072 115850 33554432000 4194304 4196468 140733163634224 140227867921552 140228314445525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6987776 140733163639981 140733163640073 140733163640073 140733163642831 0
[pid=29914/tid=29928] ppid=29911 vsize=10661128 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/29914/task/29928/stat : 29928 (java) S 29911 29914 27985 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92716123 10916995072 115850 33554432000 4194304 4196468 140733163634224 140227866872800 140228314445525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6987776 140733163639981 140733163640073 140733163640073 140733163642831 0
[pid=29914/tid=29929] ppid=29911 vsize=10661128 memory=2244 CPUtime=0 cores=0,2,4,6
/proc/29914/task/29929/stat : 29929 (java) S 29911 29914 27985 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 15 0 92716123 10916995072 115850 33554432000 4194304 4196468 140733163634224 140227865819568 140228314446466 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6987776 140733163639981 140733163640073 140733163640073 140733163642831 0
Current children cumulated CPU time: 7.9 s
Current children cumulated vsize: 10661128 KiB
Current children cumulated memory: 463400 KiB

Child status: 0
Real time (s): 3.97749
CPU time (s): 8.11602
CPU user time (s): 7.82117
CPU system time (s): 0.294853
CPU usage (%): 204.049
Max. virtual memory (cumulated for all children) (KiB): 10661128
Max. memory (cumulated for all children) (KiB): 463400

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 7.82117
system time used= 0.294853
maximum resident set size= 493804
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 22142
page faults= 0
swaps= 0
block input operations= 0
block output operations= 72
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1655
involuntary context switches= 38


# summary of solver processes directly reported to runsolver:
#   pid: 29914
#   total CPU time (s): 8.11602
#   total CPU user time (s): 7.82117
#   total CPU system time (s): 0.294853

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.046099 second user time and 0.076706 second system time

The end
Name	Rlfap_mini/Rlfap-opt_mini/ Rlfap-ext-scen-05-opt_c18.xml
MD5SUM	274cbe62d699e50b76b6a0f77c1be099
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	0.485781
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	2598
Number of intensional constraints	0
Distribution of constraint types	[{"type":"extension","count":2598}]
Optimization problem	YES
Type of objective	min MAXIMUM
Trace number 4298291

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data
