Trace number 4396390

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Concrete 3.12.2OPT115 13.7702 5.27353

General information on the benchmark

NameTpp/Tpp-zinc-s1/
Tpp-4-5-20-1.xml
MD5SUMe6e5223db5de59749ca81141a6ec4e70
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark115
Best CPU time to get the best result obtained on this benchmark0.248867
Satisfiable
(Un)Satisfiability was proved
Number of variables80
Number of constraints442
Number of domains42
Minimum domain size3
Maximum domain size20
Distribution of domain sizes[{"size":3,"count":7},{"size":4,"count":10},{"size":5,"count":3},{"size":11,"count":3},{"size":12,"count":3},{"size":13,"count":8},{"size":14,"count":2},{"size":15,"count":4},{"size":19,"count":20},{"size":20,"count":20}]
Minimum variable degree2
Maximum variable degree23
Distribution of variable degrees[{"degree":2,"count":40},{"degree":21,"count":20},{"degree":22,"count":19},{"degree":23,"count":1}]
Minimum constraint arity1
Maximum constraint arity20
Distribution of constraint arities[{"arity":1,"count":1},{"arity":2,"count":440},{"arity":20,"count":1}]
Number of extensional constraints40
Number of intensional constraints401
Distribution of constraint types[{"type":"extension","count":40},{"type":"intension","count":401},{"type":"circuit","count":1}]
Optimization problemYES
Type of objectivemin SUM

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.78/0.55	c Concrete v3.12.2.1568380929293 running
10.55/4.28	o 169
10.90/4.31	o 168
10.90/4.32	o 167
10.90/4.33	o 166
10.90/4.36	o 165
10.90/4.37	o 164
11.25/4.40	o 163
11.25/4.41	o 160
11.25/4.43	o 158
11.61/4.59	o 115
13.63/5.26	v <instantiation
13.63/5.26	v         cost = '115'>
13.63/5.26	v       <list>
13.63/5.26	v         s[0] s[1] s[2] s[3] s[4] s[5] s[6] s[7] s[8] s[9] s[10] s[11] s[12] s[13] s[14] s[15] s[16] s[17] s[18] s[19] d[0] d[1] d[2] d[3] d[4] d[5] d[6] d[7] d[8] d[9] d[10] d[11] d[12] d[13] d[14] d[15] d[16] d[17] d[18] d[19] l[0] l[1] l[2] l[3] l[4] l[5] l[6] l[7] l[8] l[9] l[10] l[11] l[12] l[13] l[14] l[15] l[16] l[17] l[18] l[19] c[0] c[1] c[2] c[3] c[4] c[5] c[6] c[7] c[8] c[9] c[10] c[11] c[12] c[13] c[14] c[15] c[16] c[17] c[18] c[19]
13.63/5.26	v       </list>
13.63/5.26	v       <values>
13.63/5.26	v         0 1 2 3 4 5 6 7 8 10 11 15 12 9 13 19 16 17 14 18 0 0 0 0 0 0 0 0 0 6 4 1 0 1 1 14 0 0 10 12 14 11 15 18 18 9 15 14 11 15 10 11 9 9 9 9 13 11 15 18 4 2 3 2 1 3 6 3 2 1 1 9 9 5 2 3 1 2 2 5
13.63/5.26	v       </values>
13.63/5.26	v     </instantiation>
13.63/5.26	s OPTIMUM FOUND

Verifier Data 

OK	115

Watcher Data 

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 (10781 MiB free)
  memory of node 1: 16384 MiB (14422 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4396390-1568399197/watcher-4396390-1568399197 -o /tmp/evaluation-result-4396390-1568399197/solver-4396390-1568399197 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node147-1568394074-6200 --watchdog 2560 bin/xcsp-3-concrete -J-Xss32M -randomseed=1674200624 HOME/instance-4396390-1568399197.xml 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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=7942, runsolver pid=7939

[startup+0.100058 s]*
/proc/loadavg: 2.05 1.61 1.49 3/220 7999
/proc/meminfo: memFree=25802220/32770624 swapFree=66957012/67108860
[pid=7942] ppid=7939 vsize=9972712 memory=18864 CPUtime=0.09 cores=1,3,5,7
/proc/7942/stat : 7942 (java) S 7939 7942 3758 0 -1 1077944320 4476 13253 0 0 1 1 4 3 20 0 6 0 415833575 10212057088 4716 33554432000 4194304 4196468 140737140702240 140737140684784 140459873910519 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 23896064 140737140706031 140737140708549 140737140708549 140737140711375 0
/proc/7942/statm: 2493178 4716 1935 1 0 2481616 0
[pid=7942/tid=7995] ppid=7939 vsize=9972712 memory=-8600311527686586307 CPUtime=0.07 cores=1,3,5,7
/proc/7942/task/7995/stat : 7995 (java) R 7939 7942 3758 0 -1 4202560 2272 13253 0 0 0 0 4 3 20 0 6 0 415833584 10212057088 4716 33554432000 4194304 4196468 140737140702240 140459845747280 140459873932445 0 4 0 16784584 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23896064 140737140706031 140737140708549 140737140708549 140737140711375 0
[pid=7942/tid=7996] ppid=7939 vsize=9972712 memory=8257237230052613020 CPUtime=0.07 cores=1,3,5,7
/proc/7942/task/7996/stat : 7996 (java) S 7939 7942 3758 0 -1 1077944384 1 13253 0 0 0 0 4 3 20 0 6 0 415833585 10212057088 4716 33554432000 4194304 4196468 140737140702240 140459878152592 140459873920725 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23896064 140737140706031 140737140708549 140737140708549 140737140711375 0
[pid=7942/tid=7997] ppid=7939 vsize=9972712 memory=140408825693824 CPUtime=0.07 cores=1,3,5,7
/proc/7942/task/7997/stat : 7997 (java) S 7939 7942 3758 0 -1 1077944384 2 13253 0 0 0 0 4 3 20 0 6 0 415833585 10212057088 4716 33554432000 4194304 4196468 140737140702240 140459792972048 140459873920725 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23896064 140737140706031 140737140708549 140737140708549 140737140711375 0
[pid=7942/tid=7998] ppid=7939 vsize=9972712 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/7942/task/7998/stat : 7998 (java) S 7939 7942 3758 0 -1 1077944384 1 13253 0 0 0 0 4 3 20 0 6 0 415833585 10212057088 4716 33554432000 4194304 4196468 140737140702240 140459446557328 140459873920725 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23896064 140737140706031 140737140708549 140737140708549 140737140711375 0
[pid=7942/tid=7999] ppid=7939 vsize=9972712 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/7942/task/7999/stat : 7999 (java) S 7939 7942 3758 0 -1 1077944384 2 13253 0 0 0 0 4 3 20 0 6 0 415833585 10212057088 4716 33554432000 4194304 4196468 140737140702240 140459445504528 140459873920725 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23896064 140737140706031 140737140708549 140737140708549 140737140711375 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 18864 KiB

[startup+0.210216 s]*
/proc/loadavg: 2.05 1.61 1.49 4/229 8008
/proc/meminfo: memFree=25781980/32770624 swapFree=66957012/67108860
[pid=7942] ppid=7939 vsize=10819664 memory=40916 CPUtime=0.26 cores=1,3,5,7
/proc/7942/stat : 7942 (java) S 7939 7942 3758 0 -1 1077944320 7068 13253 0 0 17 2 4 3 20 0 15 0 415833575 11079335936 10229 33554432000 4194304 4196468 140737140702240 140737140684784 140459873910519 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 23896064 140737140706031 140737140708549 140737140708549 140737140711375 0
/proc/7942/statm: 2704916 10229 3165 1 0 2667149 0
[pid=7942/tid=7995] ppid=7939 vsize=10819664 memory=7022364594140610616 CPUtime=0.18 cores=1,3,5,7
/proc/7942/task/7995/stat : 7995 (java) R 7939 7942 3758 0 -1 4202560 3568 13253 0 0 10 1 4 3 20 0 15 0 415833584 11079335936 10229 33554432000 4194304 4196468 140737140702240 140459845734400 140459857991006 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23896064 140737140706031 140737140708549 140737140708549 140737140711375 0
[pid=7942/tid=7996] ppid=7939 vsize=10819664 memory=339 CPUtime=0.07 cores=1,3,5,7
/proc/7942/task/7996/stat : 7996 (java) S 7939 7942 3758 0 -1 1077944384 1 13253 0 0 0 0 4 3 20 0 15 0 415833585 11079335936 10229 33554432000 4194304 4196468 140737140702240 140459878152592 140459873920725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23896064 140737140706031 140737140708549 140737140708549 140737140711375 0
[pid=7942/tid=7997] ppid=7939 vsize=10819664 memory=140408825701421 CPUtime=0.07 cores=1,3,5,7
/proc/7942/task/7997/stat : 7997 (java) S 7939 7942 3758 0 -1 1077944384 2 13253 0 0 0 0 4 3 20 0 15 0 415833585 11079335936 10229 33554432000 4194304 4196468 140737140702240 140459792972048 140459873920725 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23896064 140737140706031 140737140708549 140737140708549 140737140711375 0
[pid=7942/tid=7998] ppid=7939 vsize=10819664 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/7942/task/7998/stat : 7998 (java) S 7939 7942 3758 0 -1 1077944384 1 13253 0 0 0 0 4 3 20 0 15 0 415833585 11079335936 10293 33554432000 4194304 4196468 140737140702240 140459446557328 140459873920725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23896064 140737140706031 140737140708549 140737140708549 140737140711375 0
[pid=7942/tid=7999] ppid=7939 vsize=10819664 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/7942/task/7999/stat : 7999 (java) S 7939 7942 3758 0 -1 1077944384 2 13253 0 0 0 0 4 3 20 0 15 0 415833585 11079335936 10293 33554432000 4194304 4196468 140737140702240 140459445504528 140459873920725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23896064 140737140706031 140737140708549 140737140708549 140737140711375 0
[pid=7942/tid=8000] ppid=7939 vsize=10819664 memory=140408825693824 CPUtime=0.07 cores=1,3,5,7
/proc/7942/task/8000/stat : 8000 (java) S 7939 7942 3758 0 -1 1077944384 2 13253 0 0 0 0 4 3 20 0 15 0 415833586 11079335936 10293 33554432000 4194304 4196468 140737140702240 140459400555120 140459873921666 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23896064 140737140706031 140737140708549 140737140708549 140737140711375 0
[pid=7942/tid=8001] ppid=7939 vsize=10819664 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/7942/task/8001/stat : 8001 (java) S 7939 7942 3758 0 -1 1077944384 13 13253 0 0 0 0 4 3 20 0 15 0 415833587 11079335936 10293 33554432000 4194304 4196468 140737140702240 140459322107168 140459873920725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23896064 140737140706031 140737140708549 140737140708549 140737140711375 0
[pid=7942/tid=8002] ppid=7939 vsize=10819664 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/7942/task/8002/stat : 8002 (java) S 7939 7942 3758 0 -1 1077944384 1 13253 0 0 0 0 4 3 20 0 15 0 415833587 11079335936 10293 33554432000 4194304 4196468 140737140702240 140458718127728 140459873920725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23896064 140737140706031 140737140708549 140737140708549 140737140711375 0
[pid=7942/tid=8003] ppid=7939 vsize=10819664 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/7942/task/8003/stat : 8003 (java) S 7939 7942 3758 0 -1 1077944384 3 13253 0 0 0 0 4 3 20 0 15 0 415833590 11079335936 10293 33554432000 4194304 4196468 140737140702240 140458410728016 140459873929115 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23896064 140737140706031 140737140708549 140737140708549 140737140711375 0
[pid=7942/tid=8004] ppid=7939 vsize=10819664 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/7942/task/8004/stat : 8004 (java) S 7939 7942 3758 0 -1 1077944384 359 13253 0 0 1 0 4 3 20 0 15 0 415833590 11079335936 10293 33554432000 4194304 4196468 140737140702240 140459399501936 140459873921666 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23896064 140737140706031 140737140708549 140737140708549 140737140711375 0
[pid=7942/tid=8005] ppid=7939 vsize=10819664 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/7942/task/8005/stat : 8005 (java) S 7939 7942 3758 0 -1 1077944384 293 13253 0 0 0 0 4 3 20 0 15 0 415833590 11079335936 10293 33554432000 4194304 4196468 140737140702240 140459398449136 140459873921666 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23896064 140737140706031 140737140708549 140737140708549 140737140711375 0
[pid=7942/tid=8006] ppid=7939 vsize=10819664 memory=140408825693824 CPUtime=0.1 cores=1,3,5,7
/proc/7942/task/8006/stat : 8006 (java) S 7939 7942 3758 0 -1 1077944384 632 13253 0 0 3 0 4 3 20 0 15 0 415833590 11079335936 10293 33554432000 4194304 4196468 140737140702240 140459397396848 140459873921666 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23896064 140737140706031 140737140708549 140737140708549 140737140711375 0
[pid=7942/tid=8007] ppid=7939 vsize=10819664 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/7942/task/8007/stat : 8007 (java) S 7939 7942 3758 0 -1 1077944384 3 13253 0 0 0 0 4 3 20 0 15 0 415833590 11079335936 10293 33554432000 4194304 4196468 140737140702240 140458377169376 140459873920725 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23896064 140737140706031 140737140708549 140737140708549 140737140711375 0
[pid=7942/tid=8008] ppid=7939 vsize=10819664 memory=140408825693824 CPUtime=0.07 cores=1,3,5,7
/proc/7942/task/8008/stat : 8008 (java) S 7939 7942 3758 0 -1 1077944384 1 13253 0 0 0 0 4 3 20 0 15 0 415833590 11079335936 10293 33554432000 4194304 4196468 140737140702240 140459396344752 140459873921666 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23896064 140737140706031 140737140708549 140737140708549 140737140711375 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10819664 KiB
Current children cumulated memory: 40916 KiB

[startup+0.310573 s]*
/proc/loadavg: 2.05 1.61 1.49 4/229 8008
/proc/meminfo: memFree=25769184/32770624 swapFree=66957012/67108860
[pid=7942] ppid=7939 vsize=10820148 memory=50072 CPUtime=0.39 cores=1,3,5,7
/proc/7942/stat : 7942 (java) S 7939 7942 3758 0 -1 1077944320 10736 13253 0 0 29 3 4 3 20 0 15 0 415833575 11079831552 12518 33554432000 4194304 4196468 140737140702240 140737140684784 140459873910519 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 23896064 140737140706031 140737140708549 140737140708549 140737140711375 0
/proc/7942/statm: 2705037 12518 3298 1 0 2667149 0
[pid=7942/tid=7995] ppid=7939 vsize=10820148 memory=8112282956445269571 CPUtime=0.28 cores=1,3,5,7
/proc/7942/task/7995/stat : 7995 (java) R 7939 7942 3758 0 -1 4202560 7192 13253 0 0 19 2 4 3 20 0 15 0 415833584 11079831552 12518 33554432000 4194304 4196468 140737140702240 140459845732288 140459854133196 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23896064 140737140706031 140737140708549 140737140708549 140737140711375 0
[pid=7942/tid=7996] ppid=7939 vsize=10820148 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/7942/task/7996/stat : 7996 (java) S 7939 7942 3758 0 -1 1077944384 1 13253 0 0 0 0 4 3 20 0 15 0 415833585 11079831552 12518 33554432000 4194304 4196468 140737140702240 140459878152592 140459873920725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23896064 140737140706031 140737140708549 140737140708549 140737140711375 0
[pid=7942/tid=7997] ppid=7939 vsize=10820148 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/7942/task/7997/stat : 7997 (java) S 7939 7942 3758 0 -1 1077944384 2 13253 0 0 0 0 4 3 20 0 15 0 415833585 11079831552 12518 33554432000 4194304 4196468 140737140702240 140459792972048 140459873920725 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23896064 140737140706031 140737140708549 140737140708549 140737140711375 0
[pid=7942/tid=7998] ppid=7939 vsize=10820148 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/7942/task/7998/stat : 7998 (java) S 7939 7942 3758 0 -1 1077944384 1 13253 0 0 0 0 4 3 20 0 15 0 415833585 11079831552 12518 33554432000 4194304 4196468 140737140702240 140459446557328 140459873920725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23896064 140737140706031 140737140708549 140737140708549 140737140711375 0
[pid=7942/tid=7999] ppid=7939 vsize=10820148 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/7942/task/7999/stat : 7999 (java) S 7939 7942 3758 0 -1 1077944384 2 13253 0 0 0 0 4 3 20 0 15 0 415833585 11079831552 12518 33554432000 4194304 4196468 140737140702240 140459445504528 140459873920725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23896064 140737140706031 140737140708549 140737140708549 140737140711375 0
[pid=7942/tid=8000] ppid=7939 vsize=10820148 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/7942/task/8000/stat : 8000 (java) S 7939 7942 3758 0 -1 1077944384 2 13253 0 0 0 0 4 3 20 0 15 0 415833586 11079831552 12518 33554432000 4194304 4196468 140737140702240 140459400555120 140459873921666 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23896064 140737140706031 140737140708549 140737140708549 140737140711375 0
[pid=7942/tid=8001] ppid=7939 vsize=10820148 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/7942/task/8001/stat : 8001 (java) S 7939 7942 3758 0 -1 1077944384 13 13253 0 0 0 0 4 3 20 0 15 0 415833587 11079831552 12518 33554432000 4194304 4196468 140737140702240 140459322107168 140459873920725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23896064 140737140706031 140737140708549 140737140708549 140737140711375 0
[pid=7942/tid=8002] ppid=7939 vsize=10820148 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/7942/task/8002/stat : 8002 (java) S 7939 7942 3758 0 -1 1077944384 1 13253 0 0 0 0 4 3 20 0 15 0 415833587 11079831552 12518 33554432000 4194304 4196468 140737140702240 140458718127728 140459873920725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23896064 140737140706031 140737140708549 140737140708549 140737140711375 0
[pid=7942/tid=8003] ppid=7939 vsize=10820148 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/7942/task/8003/stat : 8003 (java) S 7939 7942 3758 0 -1 1077944384 3 13253 0 0 0 0 4 3 20 0 15 0 415833590 11079831552 12518 33554432000 4194304 4196468 140737140702240 140458410728016 140459873929115 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23896064 140737140706031 140737140708549 140737140708549 140737140711375 0
[pid=7942/tid=8004] ppid=7939 vsize=10820148 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/7942/task/8004/stat : 8004 (java) S 7939 7942 3758 0 -1 1077944384 360 13253 0 0 2 0 4 3 20 0 15 0 415833590 11079831552 12518 33554432000 4194304 4196468 140737140702240 140459399501936 140459873921666 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23896064 140737140706031 140737140708549 140737140708549 140737140711375 0
[pid=7942/tid=8005] ppid=7939 vsize=10820148 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/7942/task/8005/stat : 8005 (java) S 7939 7942 3758 0 -1 1077944384 303 13253 0 0 1 0 4 3 20 0 15 0 415833590 11079831552 12518 33554432000 4194304 4196468 140737140702240 140459398449136 140459873921666 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23896064 140737140706031 140737140708549 140737140708549 140737140711375 0
[pid=7942/tid=8006] ppid=7939 vsize=10820148 memory=140408825693824 CPUtime=0.12 cores=1,3,5,7
/proc/7942/task/8006/stat : 8006 (java) R 7939 7942 3758 0 -1 4202560 650 13253 0 0 5 0 4 3 20 0 15 0 415833590 11079831552 12518 33554432000 4194304 4196468 140737140702240 140459397396848 140459873931866 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23896064 140737140706031 140737140708549 140737140708549 140737140711375 0
[pid=7942/tid=8007] ppid=7939 vsize=10820148 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/7942/task/8007/stat : 8007 (java) S 7939 7942 3758 0 -1 1077944384 3 13253 0 0 0 0 4 3 20 0 15 0 415833590 11079831552 12518 33554432000 4194304 4196468 140737140702240 140458377169376 140459873920725 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23896064 140737140706031 140737140708549 140737140708549 140737140711375 0
[pid=7942/tid=8008] ppid=7939 vsize=10820148 memory=140408825693824 CPUtime=0.07 cores=1,3,5,7
/proc/7942/task/8008/stat : 8008 (java) S 7939 7942 3758 0 -1 1077944384 1 13253 0 0 0 0 4 3 20 0 15 0 415833590 11079831552 12518 33554432000 4194304 4196468 140737140702240 140459396344752 140459873921666 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23896064 140737140706031 140737140708549 140737140708549 140737140711375 0
Current children cumulated CPU time: 0.39 s
Current children cumulated vsize: 10820148 KiB
Current children cumulated memory: 50072 KiB

[startup+0.700773 s]
/proc/loadavg: 2.05 1.61 1.49 4/229 8008
/proc/meminfo: memFree=25753892/32770624 swapFree=66957012/67108860
[pid=7942] ppid=7939 vsize=10824360 memory=83752 CPUtime=1.13 cores=1,3,5,7
/proc/7942/stat : 7942 (java) S 7939 7942 3758 0 -1 1077944320 15191 13253 0 0 101 5 4 3 20 0 15 0 415833575 11084144640 20938 33554432000 4194304 4196468 140737140702240 140737140684784 140459873910519 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 23896064 140737140706031 140737140708549 140737140708549 140737140711375 0
/proc/7942/statm: 2706090 20938 3511 1 0 2668173 0
[pid=7942/tid=7995] ppid=7939 vsize=10824360 memory=0 CPUtime=0.66 cores=1,3,5,7
/proc/7942/task/7995/stat : 7995 (java) R 7939 7942 3758 0 -1 4202560 10267 13253 0 0 55 4 4 3 20 0 15 0 415833584 11084144640 20938 33554432000 4194304 4196468 140737140702240 140459845740064 140459866147646 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23896064 140737140706031 140737140708549 140737140708549 140737140711375 0
[pid=7942/tid=7996] ppid=7939 vsize=10824360 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/7942/task/7996/stat : 7996 (java) S 7939 7942 3758 0 -1 1077944384 1 13253 0 0 0 0 4 3 20 0 15 0 415833585 11084144640 20938 33554432000 4194304 4196468 140737140702240 140459878152592 140459873920725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23896064 140737140706031 140737140708549 140737140708549 140737140711375 0
[pid=7942/tid=7997] ppid=7939 vsize=10824360 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/7942/task/7997/stat : 7997 (java) S 7939 7942 3758 0 -1 1077944384 2 13253 0 0 0 0 4 3 20 0 15 0 415833585 11084144640 20938 33554432000 4194304 4196468 140737140702240 140459792972048 140459873920725 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23896064 140737140706031 140737140708549 140737140708549 140737140711375 0
[pid=7942/tid=7998] ppid=7939 vsize=10824360 memory=32804 CPUtime=0.07 cores=1,3,5,7
/proc/7942/task/7998/stat : 7998 (java) S 7939 7942 3758 0 -1 1077944384 1 13253 0 0 0 0 4 3 20 0 15 0 415833585 11084144640 20938 33554432000 4194304 4196468 140737140702240 140459446557328 140459873920725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23896064 140737140706031 140737140708549 140737140708549 140737140711375 0
[pid=7942/tid=7999] ppid=7939 vsize=10824360 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/7942/task/7999/stat : 7999 (java) S 7939 7942 3758 0 -1 1077944384 2 13253 0 0 0 0 4 3 20 0 15 0 415833585 11084144640 20938 33554432000 4194304 4196468 140737140702240 140459445504528 140459873920725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23896064 140737140706031 140737140708549 140737140708549 140737140711375 0
[pid=7942/tid=8000] ppid=7939 vsize=10824360 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/7942/task/8000/stat : 8000 (java) S 7939 7942 3758 0 -1 1077944384 5 13253 0 0 0 0 4 3 20 0 15 0 415833586 11084144640 20938 33554432000 4194304 4196468 140737140702240 140459400555120 140459873921666 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23896064 140737140706031 140737140708549 140737140708549 140737140711375 0
[pid=7942/tid=8001] ppid=7939 vsize=10824360 memory=140408722174672 CPUtime=0.07 cores=1,3,5,7
/proc/7942/task/8001/stat : 8001 (java) S 7939 7942 3758 0 -1 1077944384 13 13253 0 0 0 0 4 3 20 0 15 0 415833587 11084144640 20938 33554432000 4194304 4196468 140737140702240 140459322107168 140459873920725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23896064 140737140706031 140737140708549 140737140708549 140737140711375 0
[pid=7942/tid=8002] ppid=7939 vsize=10824360 memory=140411070841421 CPUtime=0.07 cores=1,3,5,7
/proc/7942/task/8002/stat : 8002 (java) S 7939 7942 3758 0 -1 1077944384 1 13253 0 0 0 0 4 3 20 0 15 0 415833587 11084144640 20938 33554432000 4194304 4196468 140737140702240 140458718127728 140459873920725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23896064 140737140706031 140737140708549 140737140708549 140737140711375 0
[pid=7942/tid=8003] ppid=7939 vsize=10824360 memory=1096 CPUtime=0.07 cores=1,3,5,7
/proc/7942/task/8003/stat : 8003 (java) S 7939 7942 3758 0 -1 1077944384 3 13253 0 0 0 0 4 3 20 0 15 0 415833590 11084144640 20938 33554432000 4194304 4196468 140737140702240 140458410728016 140459873929115 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23896064 140737140706031 140737140708549 140737140708549 140737140711375 0
[pid=7942/tid=8004] ppid=7939 vsize=10824360 memory=7089886620845893184 CPUtime=0.2 cores=1,3,5,7
/proc/7942/task/8004/stat : 8004 (java) R 7939 7942 3758 0 -1 4202560 839 13253 0 0 13 0 4 3 20 0 15 0 415833590 11084144640 20938 33554432000 4194304 4196468 140737140702240 140459399501936 140459857410902 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23896064 140737140706031 140737140708549 140737140708549 140737140711375 0
[pid=7942/tid=8005] ppid=7939 vsize=10824360 memory=7739276948478389095 CPUtime=0.22 cores=1,3,5,7
/proc/7942/task/8005/stat : 8005 (java) R 7939 7942 3758 0 -1 4202560 946 13253 0 0 15 0 4 3 20 0 15 0 415833590 11084144640 20938 33554432000 4194304 4196468 140737140702240 140459398449136 140459857822144 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23896064 140737140706031 140737140708549 140737140708549 140737140711375 0
[pid=7942/tid=8006] ppid=7939 vsize=10824360 memory=6148935659200796009 CPUtime=0.24 cores=1,3,5,7
/proc/7942/task/8006/stat : 8006 (java) R 7939 7942 3758 0 -1 1077944384 903 13253 0 0 17 0 4 3 20 0 15 0 415833590 11084144640 20938 33554432000 4194304 4196468 140737140702240 140459397396848 140459873921666 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 23896064 140737140706031 140737140708549 140737140708549 140737140711375 0
[pid=7942/tid=8007] ppid=7939 vsize=10824360 memory=3512 CPUtime=0.07 cores=1,3,5,7
/proc/7942/task/8007/stat : 8007 (java) S 7939 7942 3758 0 -1 1077944384 3 13253 0 0 0 0 4 3 20 0 15 0 415833590 11084144640 20938 33554432000 4194304 4196468 140737140702240 140458377169376 140459873920725 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23896064 140737140706031 140737140708549 140737140708549 140737140711375 0
[pid=7942/tid=8008] ppid=7939 vsize=10824360 memory=2241 CPUtime=0.07 cores=1,3,5,7
/proc/7942/task/8008/stat : 8008 (java) R 7939 7942 3758 0 -1 1077944384 1 13253 0 0 0 0 4 3 20 0 15 0 415833590 11084144640 20938 33554432000 4194304 4196468 140737140702240 140459396344752 140459873921666 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23896064 140737140706031 140737140708549 140737140708549 140737140711375 0
Current children cumulated CPU time: 1.13 s
Current children cumulated vsize: 10824360 KiB
Current children cumulated memory: 83752 KiB

[startup+1.50427 s]
/proc/loadavg: 2.04 1.62 1.49 3/229 8008
/proc/meminfo: memFree=25712252/32770624 swapFree=66957012/67108860
[pid=7942] ppid=7939 vsize=10834676 memory=177820 CPUtime=2.67 cores=1,3,5,7
/proc/7942/stat : 7942 (java) S 7939 7942 3758 0 -1 1077944320 23862 13253 0 0 248 12 4 3 20 0 15 0 415833575 11094708224 44455 33554432000 4194304 4196468 140737140702240 140737140684784 140459873910519 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 23896064 140737140706031 140737140708549 140737140708549 140737140711375 0
/proc/7942/statm: 2708669 44455 3580 1 0 2670733 0
[pid=7942/tid=7995] ppid=7939 vsize=10834676 memory=9174 CPUtime=1.43 cores=1,3,5,7
/proc/7942/task/7995/stat : 7995 (java) R 7939 7942 3758 0 -1 4202560 15758 13253 0 0 129 7 4 3 20 0 15 0 415833584 11094708224 44455 33554432000 4194304 4196468 140737140702240 140459845728224 140459857991006 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23896064 140737140706031 140737140708549 140737140708549 140737140711375 0
[pid=7942/tid=7996] ppid=7939 vsize=10834676 memory=8112282956445269571 CPUtime=0.07 cores=1,3,5,7
/proc/7942/task/7996/stat : 7996 (java) S 7939 7942 3758 0 -1 1077944384 340 13253 0 0 0 0 4 3 20 0 15 0 415833585 11094708224 44455 33554432000 4194304 4196468 140737140702240 140459878152592 140459873920725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23896064 140737140706031 140737140708549 140737140708549 140737140711375 0
[pid=7942/tid=7997] ppid=7939 vsize=10834676 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/7942/task/7997/stat : 7997 (java) S 7939 7942 3758 0 -1 1077944384 74 13253 0 0 1 0 4 3 20 0 15 0 415833585 11094708224 44455 33554432000 4194304 4196468 140737140702240 140459792972048 140459873920725 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23896064 140737140706031 140737140708549 140737140708549 140737140711375 0
[pid=7942/tid=7998] ppid=7939 vsize=10834676 memory=571 CPUtime=0.07 cores=1,3,5,7
/proc/7942/task/7998/stat : 7998 (java) S 7939 7942 3758 0 -1 1077944384 32 13253 0 0 0 0 4 3 20 0 15 0 415833585 11094708224 44455 33554432000 4194304 4196468 140737140702240 140459446557328 140459873920725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23896064 140737140706031 140737140708549 140737140708549 140737140711375 0
[pid=7942/tid=7999] ppid=7939 vsize=10834676 memory=83752 CPUtime=0.07 cores=1,3,5,7
/proc/7942/task/7999/stat : 7999 (java) S 7939 7942 3758 0 -1 1077944384 49 13253 0 0 0 0 4 3 20 0 15 0 415833585 11094708224 44455 33554432000 4194304 4196468 140737140702240 140459445504528 140459873920725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23896064 140737140706031 140737140708549 140737140708549 140737140711375 0
[pid=7942/tid=8000] ppid=7939 vsize=10834676 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/7942/task/8000/stat : 8000 (java) S 7939 7942 3758 0 -1 1077944384 325 13253 0 0 1 0 4 3 20 0 15 0 415833586 11094708224 44455 33554432000 4194304 4196468 140737140702240 140459400555120 140459873921666 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23896064 140737140706031 140737140708549 140737140708549 140737140711375 0
[pid=7942/tid=8001] ppid=7939 vsize=10834676 memory=280817444291056 CPUtime=0.07 cores=1,3,5,7
/proc/7942/task/8001/stat : 8001 (java) S 7939 7942 3758 0 -1 1077944384 14 13253 0 0 0 0 4 3 20 0 15 0 415833587 11094708224 44455 33554432000 4194304 4196468 140737140702240 140459322107232 140459873920725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23896064 140737140706031 140737140708549 140737140708549 140737140711375 0
[pid=7942/tid=8002] ppid=7939 vsize=10834676 memory=280817444341856 CPUtime=0.07 cores=1,3,5,7
/proc/7942/task/8002/stat : 8002 (java) S 7939 7942 3758 0 -1 1077944384 1 13253 0 0 0 0 4 3 20 0 15 0 415833587 11094708224 44455 33554432000 4194304 4196468 140737140702240 140458718127744 140459873920725 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23896064 140737140706031 140737140708549 140737140708549 140737140711375 0
[pid=7942/tid=8003] ppid=7939 vsize=10834676 memory=8112282956445269571 CPUtime=0.07 cores=1,3,5,7
/proc/7942/task/8003/stat : 8003 (java) S 7939 7942 3758 0 -1 1077944384 3 13253 0 0 0 0 4 3 20 0 15 0 415833590 11094708224 44455 33554432000 4194304 4196468 140737140702240 140458410728016 140459873929115 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23896064 140737140706031 140737140708549 140737140708549 140737140711375 0
[pid=7942/tid=8004] ppid=7939 vsize=10834676 memory=6935649255759568960 CPUtime=0.4 cores=1,3,5,7
/proc/7942/task/8004/stat : 8004 (java) S 7939 7942 3758 0 -1 1077944384 1425 13253 0 0 33 0 4 3 20 0 15 0 415833590 11094708224 44455 33554432000 4194304 4196468 140737140702240 140459399501936 140459873921666 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23896064 140737140706031 140737140708549 140737140708549 140737140711375 0
[pid=7942/tid=8005] ppid=7939 vsize=10834676 memory=280817444625280 CPUtime=0.44 cores=1,3,5,7
/proc/7942/task/8005/stat : 8005 (java) S 7939 7942 3758 0 -1 1077944384 1769 13253 0 0 37 0 4 3 20 0 15 0 415833590 11094708224 44455 33554432000 4194304 4196468 140737140702240 140459398449136 140459873921666 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23896064 140737140706031 140737140708549 140737140708549 140737140711375 0
[pid=7942/tid=8006] ppid=7939 vsize=10834676 memory=6944656425123290226 CPUtime=0.49 cores=1,3,5,7
/proc/7942/task/8006/stat : 8006 (java) S 7939 7942 3758 0 -1 1077944384 1864 13253 0 0 42 0 4 3 20 0 15 0 415833590 11094708224 44455 33554432000 4194304 4196468 140737140702240 140459397396848 140459873921666 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23896064 140737140706031 140737140708549 140737140708549 140737140711375 0
[pid=7942/tid=8007] ppid=7939 vsize=10834676 memory=-7233780906022716832 CPUtime=0.07 cores=1,3,5,7
/proc/7942/task/8007/stat : 8007 (java) S 7939 7942 3758 0 -1 1077944384 3 13253 0 0 0 0 4 3 20 0 15 0 415833590 11094708224 44455 33554432000 4194304 4196468 140737140702240 140458377169376 140459873920725 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23896064 140737140706031 140737140708549 140737140708549 140737140711375 0
[pid=7942/tid=8008] ppid=7939 vsize=10834676 memory=-7522837583129502606 CPUtime=0.07 cores=1,3,5,7
/proc/7942/task/8008/stat : 8008 (java) S 7939 7942 3758 0 -1 1077944384 1 13253 0 0 0 0 4 3 20 0 15 0 415833590 11094708224 44455 33554432000 4194304 4196468 140737140702240 140459396344752 140459873921666 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23896064 140737140706031 140737140708549 140737140708549 140737140711375 0
Current children cumulated CPU time: 2.67 s
Current children cumulated vsize: 10834676 KiB

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

[startup+5.27348 s]
# the end of solver process 7942 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=13.4598 s, system=0.310423 s

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

[startup+3.20095 s]
/proc/loadavg: 2.04 1.62 1.49 5/229 8008
/proc/meminfo: memFree=25567872/32770624 swapFree=66957012/67108860
[pid=7942] ppid=7939 vsize=10846984 memory=263252 CPUtime=7.29 cores=1,3,5,7
/proc/7942/stat : 7942 (java) S 7939 7942 3758 0 -1 1077944320 44198 13253 0 0 702 20 4 3 20 0 15 0 415833575 11107311616 65813 33554432000 4194304 4196468 140737140702240 140737140684784 140459873910519 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 23896064 140737140706031 140737140708549 140737140708549 140737140711375 0
/proc/7942/statm: 2711746 65813 3609 1 0 2673805 0
[pid=7942/tid=7995] ppid=7939 vsize=10846984 memory=8112282956445269571 CPUtime=3.06 cores=1,3,5,7
/proc/7942/task/7995/stat : 7995 (java) R 7939 7942 3758 0 -1 4202560 23893 13253 0 0 289 10 4 3 20 0 15 0 415833584 11107311616 65813 33554432000 4194304 4196468 140737140702240 140459845736344 140459796954484 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23896064 140737140706031 140737140708549 140737140708549 140737140711375 0
[pid=7942/tid=7996] ppid=7939 vsize=10846984 memory=1560 CPUtime=0.09 cores=1,3,5,7
/proc/7942/task/7996/stat : 7996 (java) S 7939 7942 3758 0 -1 1077944384 374 13253 0 0 2 0 4 3 20 0 15 0 415833585 11107311616 65813 33554432000 4194304 4196468 140737140702240 140459878152592 140459873920725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23896064 140737140706031 140737140708549 140737140708549 140737140711375 0
[pid=7942/tid=7997] ppid=7939 vsize=10846984 memory=4008 CPUtime=0.09 cores=1,3,5,7
/proc/7942/task/7997/stat : 7997 (java) S 7939 7942 3758 0 -1 1077944384 93 13253 0 0 2 0 4 3 20 0 15 0 415833585 11107311616 65813 33554432000 4194304 4196468 140737140702240 140459792972048 140459873920725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23896064 140737140706031 140737140708549 140737140708549 140737140711375 0
[pid=7942/tid=7998] ppid=7939 vsize=10846984 memory=1096 CPUtime=0.1 cores=1,3,5,7
/proc/7942/task/7998/stat : 7998 (java) S 7939 7942 3758 0 -1 1077944384 120 13253 0 0 3 0 4 3 20 0 15 0 415833585 11107311616 65813 33554432000 4194304 4196468 140737140702240 140459446557328 140459873920725 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23896064 140737140706031 140737140708549 140737140708549 140737140711375 0
[pid=7942/tid=7999] ppid=7939 vsize=10846984 memory=2828 CPUtime=0.1 cores=1,3,5,7
/proc/7942/task/7999/stat : 7999 (java) S 7939 7942 3758 0 -1 1077944384 100 13253 0 0 2 1 4 3 20 0 15 0 415833585 11107311616 65813 33554432000 4194304 4196468 140737140702240 140459445504528 140459873920725 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23896064 140737140706031 140737140708549 140737140708549 140737140711375 0
[pid=7942/tid=8000] ppid=7939 vsize=10846984 memory=1164 CPUtime=0.1 cores=1,3,5,7
/proc/7942/task/8000/stat : 8000 (java) S 7939 7942 3758 0 -1 1077944384 2751 13253 0 0 3 0 4 3 20 0 15 0 415833586 11107311616 65813 33554432000 4194304 4196468 140737140702240 140459400555120 140459873921666 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23896064 140737140706031 140737140708549 140737140708549 140737140711375 0
[pid=7942/tid=8001] ppid=7939 vsize=10846984 memory=14008 CPUtime=0.07 cores=1,3,5,7
/proc/7942/task/8001/stat : 8001 (java) S 7939 7942 3758 0 -1 1077944384 15 13253 0 0 0 0 4 3 20 0 15 0 415833587 11107311616 65813 33554432000 4194304 4196468 140737140702240 140459322107232 140459873920725 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23896064 140737140706031 140737140708549 140737140708549 140737140711375 0
[pid=7942/tid=8002] ppid=7939 vsize=10846984 memory=12040 CPUtime=0.07 cores=1,3,5,7
/proc/7942/task/8002/stat : 8002 (java) S 7939 7942 3758 0 -1 1077944384 1 13253 0 0 0 0 4 3 20 0 15 0 415833587 11107311616 65813 33554432000 4194304 4196468 140737140702240 140458718127744 140459873920725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23896064 140737140706031 140737140708549 140737140708549 140737140711375 0
[pid=7942/tid=8003] ppid=7939 vsize=10846984 memory=2124 CPUtime=0.07 cores=1,3,5,7
/proc/7942/task/8003/stat : 8003 (java) S 7939 7942 3758 0 -1 1077944384 3 13253 0 0 0 0 4 3 20 0 15 0 415833590 11107311616 65813 33554432000 4194304 4196468 140737140702240 140458410728016 140459873929115 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23896064 140737140706031 140737140708549 140737140708549 140737140711375 0
[pid=7942/tid=8004] ppid=7939 vsize=10846984 memory=21444 CPUtime=1.29 cores=1,3,5,7
/proc/7942/task/8004/stat : 8004 (java) S 7939 7942 3758 0 -1 1077944384 3422 13253 0 0 121 1 4 3 20 0 15 0 415833590 11107311616 65813 33554432000 4194304 4196468 140737140702240 140459399501936 140459873921666 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23896064 140737140706031 140737140708549 140737140708549 140737140711375 0
[pid=7942/tid=8005] ppid=7939 vsize=10846984 memory=492 CPUtime=1.56 cores=1,3,5,7
/proc/7942/task/8005/stat : 8005 (java) R 7939 7942 3758 0 -1 4202560 5248 13253 0 0 148 1 4 3 20 0 15 0 415833590 11107311616 65813 33554432000 4194304 4196468 140737140702240 140459398428752 140459857396432 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23896064 140737140706031 140737140708549 140737140708549 140737140711375 0
[pid=7942/tid=8006] ppid=7939 vsize=10846984 memory=1560 CPUtime=1.34 cores=1,3,5,7
/proc/7942/task/8006/stat : 8006 (java) S 7939 7942 3758 0 -1 1077944384 5963 13253 0 0 125 2 4 3 20 0 15 0 415833590 11107311616 65813 33554432000 4194304 4196468 140737140702240 140459397396848 140459873921666 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23896064 140737140706031 140737140708549 140737140708549 140737140711375 0
[pid=7942/tid=8007] ppid=7939 vsize=10846984 memory=932 CPUtime=0.07 cores=1,3,5,7
/proc/7942/task/8007/stat : 8007 (java) S 7939 7942 3758 0 -1 1077944384 3 13253 0 0 0 0 4 3 20 0 15 0 415833590 11107311616 65813 33554432000 4194304 4196468 140737140702240 140458377169376 140459873920725 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23896064 140737140706031 140737140708549 140737140708549 140737140711375 0
[pid=7942/tid=8008] ppid=7939 vsize=10846984 memory=189324 CPUtime=0.07 cores=1,3,5,7
/proc/7942/task/8008/stat : 8008 (java) S 7939 7942 3758 0 -1 1077944384 7 13253 0 0 0 0 4 3 20 0 15 0 415833590 11107311616 65813 33554432000 4194304 4196468 140737140702240 140459396344752 140459873921666 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23896064 140737140706031 140737140708549 140737140708549 140737140711375 0
Current children cumulated CPU time: 7.29 s
Current children cumulated vsize: 10846984 KiB
Current children cumulated memory: 263252 KiB

[startup+4.0012 s]*
/proc/loadavg: 2.04 1.62 1.49 5/229 8008
/proc/meminfo: memFree=25536116/32770624 swapFree=66957012/67108860
[pid=7942] ppid=7939 vsize=10849044 memory=291304 CPUtime=9.94 cores=1,3,5,7
/proc/7942/stat : 7942 (java) S 7939 7942 3758 0 -1 1077944320 53942 13253 0 0 964 23 4 3 20 0 15 0 415833575 11109421056 72826 33554432000 4194304 4196468 140737140702240 140737140684784 140459873910519 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 23896064 140737140706031 140737140708549 140737140708549 140737140711375 0
/proc/7942/statm: 2712261 72826 3616 1 0 2674317 0
[pid=7942/tid=7995] ppid=7939 vsize=10849044 memory=737009714443845937 CPUtime=3.86 cores=1,3,5,7
/proc/7942/task/7995/stat : 7995 (java) R 7939 7942 3758 0 -1 4202560 25625 13253 0 0 369 10 4 3 20 0 15 0 415833584 11109421056 72826 33554432000 4194304 4196468 140737140702240 140459845740664 140459485757576 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23896064 140737140706031 140737140708549 140737140708549 140737140711375 0
[pid=7942/tid=7996] ppid=7939 vsize=10849044 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/7942/task/7996/stat : 7996 (java) S 7939 7942 3758 0 -1 1077944384 374 13253 0 0 2 0 4 3 20 0 15 0 415833585 11109421056 72826 33554432000 4194304 4196468 140737140702240 140459878152592 140459873920725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23896064 140737140706031 140737140708549 140737140708549 140737140711375 0
[pid=7942/tid=7997] ppid=7939 vsize=10849044 memory=15958194479285912 CPUtime=0.09 cores=1,3,5,7
/proc/7942/task/7997/stat : 7997 (java) S 7939 7942 3758 0 -1 1077944384 93 13253 0 0 2 0 4 3 20 0 15 0 415833585 11109421056 72826 33554432000 4194304 4196468 140737140702240 140459792972048 140459873920725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23896064 140737140706031 140737140708549 140737140708549 140737140711375 0
[pid=7942/tid=7998] ppid=7939 vsize=10849044 memory=6944656575208382560 CPUtime=0.1 cores=1,3,5,7
/proc/7942/task/7998/stat : 7998 (java) S 7939 7942 3758 0 -1 1077944384 120 13253 0 0 3 0 4 3 20 0 15 0 415833585 11109421056 72826 33554432000 4194304 4196468 140737140702240 140459446557328 140459873920725 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23896064 140737140706031 140737140708549 140737140708549 140737140711375 0
[pid=7942/tid=7999] ppid=7939 vsize=10849044 memory=6943526294502006880 CPUtime=0.1 cores=1,3,5,7
/proc/7942/task/7999/stat : 7999 (java) S 7939 7942 3758 0 -1 1077944384 100 13253 0 0 2 1 4 3 20 0 15 0 415833585 11109421056 72826 33554432000 4194304 4196468 140737140702240 140459445504528 140459873920725 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23896064 140737140706031 140737140708549 140737140708549 140737140711375 0
[pid=7942/tid=8000] ppid=7939 vsize=10849044 memory=0 CPUtime=0.11 cores=1,3,5,7
/proc/7942/task/8000/stat : 8000 (java) S 7939 7942 3758 0 -1 1077944384 2751 13253 0 0 4 0 4 3 20 0 15 0 415833586 11109421056 72826 33554432000 4194304 4196468 140737140702240 140459400555120 140459873921666 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23896064 140737140706031 140737140708549 140737140708549 140737140711375 0
[pid=7942/tid=8001] ppid=7939 vsize=10849044 memory=3472328296160571439 CPUtime=0.07 cores=1,3,5,7
/proc/7942/task/8001/stat : 8001 (java) S 7939 7942 3758 0 -1 1077944384 15 13253 0 0 0 0 4 3 20 0 15 0 415833587 11109421056 72826 33554432000 4194304 4196468 140737140702240 140459322107232 140459873920725 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23896064 140737140706031 140737140708549 140737140708549 140737140711375 0
[pid=7942/tid=8002] ppid=7939 vsize=10849044 memory=6944652177228980320 CPUtime=0.07 cores=1,3,5,7
/proc/7942/task/8002/stat : 8002 (java) S 7939 7942 3758 0 -1 1077944384 1 13253 0 0 0 0 4 3 20 0 15 0 415833587 11109421056 72826 33554432000 4194304 4196468 140737140702240 140458718127744 140459873920725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23896064 140737140706031 140737140708549 140737140708549 140737140711375 0
[pid=7942/tid=8003] ppid=7939 vsize=10849044 memory=-3252517613199061085 CPUtime=0.07 cores=1,3,5,7
/proc/7942/task/8003/stat : 8003 (java) S 7939 7942 3758 0 -1 1077944384 3 13253 0 0 0 0 4 3 20 0 15 0 415833590 11109421056 72826 33554432000 4194304 4196468 140737140702240 140458410728016 140459873929115 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23896064 140737140706031 140737140708549 140737140708549 140737140711375 0
[pid=7942/tid=8004] ppid=7939 vsize=10849044 memory=0 CPUtime=2.02 cores=1,3,5,7
/proc/7942/task/8004/stat : 8004 (java) R 7939 7942 3758 0 -1 4202560 5376 13253 0 0 194 1 4 3 20 0 15 0 415833590 11109421056 72826 33554432000 4194304 4196468 140737140702240 140459399484928 140459858307664 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23896064 140737140706031 140737140708549 140737140708549 140737140711375 0
[pid=7942/tid=8005] ppid=7939 vsize=10849044 memory=34110630265832 CPUtime=2.37 cores=1,3,5,7
/proc/7942/task/8005/stat : 8005 (java) R 7939 7942 3758 0 -1 4202560 10050 13253 0 0 228 2 4 3 20 0 15 0 415833590 11109421056 72826 33554432000 4194304 4196468 140737140702240 140459398437912 140459858838840 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23896064 140737140706031 140737140708549 140737140708549 140737140711375 0
[pid=7942/tid=8006] ppid=7939 vsize=10849044 memory=4122939934100629494 CPUtime=1.65 cores=1,3,5,7
/proc/7942/task/8006/stat : 8006 (java) R 7939 7942 3758 0 -1 1077944384 7219 13253 0 0 155 3 4 3 20 0 15 0 415833590 11109421056 72826 33554432000 4194304 4196468 140737140702240 140459397396848 140459873921666 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23896064 140737140706031 140737140708549 140737140708549 140737140711375 0
[pid=7942/tid=8007] ppid=7939 vsize=10849044 memory=3544649794665657138 CPUtime=0.07 cores=1,3,5,7
/proc/7942/task/8007/stat : 8007 (java) S 7939 7942 3758 0 -1 1077944384 3 13253 0 0 0 0 4 3 20 0 15 0 415833590 11109421056 72826 33554432000 4194304 4196468 140737140702240 140458377169376 140459873920725 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23896064 140737140706031 140737140708549 140737140708549 140737140711375 0
[pid=7942/tid=8008] ppid=7939 vsize=10849044 memory=3978280367779084983 CPUtime=0.07 cores=1,3,5,7
/proc/7942/task/8008/stat : 8008 (java) S 7939 7942 3758 0 -1 1077944384 7 13253 0 0 0 0 4 3 20 0 15 0 415833590 11109421056 72826 33554432000 4194304 4196468 140737140702240 140459396344752 140459873921666 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23896064 140737140706031 140737140708549 140737140708549 140737140711375 0
Current children cumulated CPU time: 9.94 s
Current children cumulated vsize: 10849044 KiB
Current children cumulated memory: 291304 KiB

[startup+4.8102 s]
/proc/loadavg: 2.04 1.62 1.49 5/229 8008
/proc/meminfo: memFree=25536116/32770624 swapFree=66957012/67108860
[pid=7942] ppid=7939 vsize=10851092 memory=332156 CPUtime=12.57 cores=1,3,5,7
/proc/7942/stat : 7942 (java) S 7939 7942 3758 0 -1 1077944320 55064 13253 0 0 1225 25 4 3 20 0 15 0 415833575 11111518208 83039 33554432000 4194304 4196468 140737140702240 140737140684784 140459873910519 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 23896064 140737140706031 140737140708549 140737140708549 140737140711375 0
/proc/7942/statm: 2712773 83039 3618 1 0 2674829 0
[pid=7942/tid=7995] ppid=7939 vsize=10851092 memory=280817444625280 CPUtime=4.65 cores=1,3,5,7
/proc/7942/task/7995/stat : 7995 (java) R 7939 7942 3758 0 -1 4202560 25746 13253 0 0 447 11 4 3 20 0 15 0 415833584 11111518208 83039 33554432000 4194304 4196468 140737140702240 140459845741120 140459488617895 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23896064 140737140706031 140737140708549 140737140708549 140737140711375 0
[pid=7942/tid=7996] ppid=7939 vsize=10851092 memory=6944656425123290226 CPUtime=0.11 cores=1,3,5,7
/proc/7942/task/7996/stat : 7996 (java) S 7939 7942 3758 0 -1 1077944384 385 13253 0 0 3 1 4 3 20 0 15 0 415833585 11111518208 83039 33554432000 4194304 4196468 140737140702240 140459878152592 140459873920725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23896064 140737140706031 140737140708549 140737140708549 140737140711375 0
[pid=7942/tid=7997] ppid=7939 vsize=10851092 memory=-7233780906022716832 CPUtime=0.1 cores=1,3,5,7
/proc/7942/task/7997/stat : 7997 (java) S 7939 7942 3758 0 -1 1077944384 95 13253 0 0 3 0 4 3 20 0 15 0 415833585 11111518208 83039 33554432000 4194304 4196468 140737140702240 140459792972048 140459873920725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23896064 140737140706031 140737140708549 140737140708549 140737140711375 0
[pid=7942/tid=7998] ppid=7939 vsize=10851092 memory=-7522837583129502606 CPUtime=0.1 cores=1,3,5,7
/proc/7942/task/7998/stat : 7998 (java) S 7939 7942 3758 0 -1 1077944384 120 13253 0 0 3 0 4 3 20 0 15 0 415833585 11111518208 83039 33554432000 4194304 4196468 140737140702240 140459446557328 140459873920725 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23896064 140737140706031 140737140708549 140737140708549 140737140711375 0
[pid=7942/tid=7999] ppid=7939 vsize=10851092 memory=33 CPUtime=0.11 cores=1,3,5,7
/proc/7942/task/7999/stat : 7999 (java) S 7939 7942 3758 0 -1 1077944384 108 13253 0 0 3 1 4 3 20 0 15 0 415833585 11111518208 83039 33554432000 4194304 4196468 140737140702240 140459445504528 140459873920725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23896064 140737140706031 140737140708549 140737140708549 140737140711375 0
[pid=7942/tid=8000] ppid=7939 vsize=10851092 memory=-7606742959547834223 CPUtime=0.11 cores=1,3,5,7
/proc/7942/task/8000/stat : 8000 (java) S 7939 7942 3758 0 -1 1077944384 2751 13253 0 0 4 0 4 3 20 0 15 0 415833586 11111518208 83039 33554432000 4194304 4196468 140737140702240 140459400555120 140459873921666 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23896064 140737140706031 140737140708549 140737140708549 140737140711375 0
[pid=7942/tid=8001] ppid=7939 vsize=10851092 memory=-7595718148000617580 CPUtime=0.07 cores=1,3,5,7
/proc/7942/task/8001/stat : 8001 (java) S 7939 7942 3758 0 -1 1077944384 15 13253 0 0 0 0 4 3 20 0 15 0 415833587 11111518208 83039 33554432000 4194304 4196468 140737140702240 140459322107232 140459873920725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23896064 140737140706031 140737140708549 140737140708549 140737140711375 0
[pid=7942/tid=8002] ppid=7939 vsize=10851092 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/7942/task/8002/stat : 8002 (java) S 7939 7942 3758 0 -1 1077944384 1 13253 0 0 0 0 4 3 20 0 15 0 415833587 11111518208 83039 33554432000 4194304 4196468 140737140702240 140458718127744 140459873920725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23896064 140737140706031 140737140708549 140737140708549 140737140711375 0
[pid=7942/tid=8003] ppid=7939 vsize=10851092 memory=-7750001083483462894 CPUtime=0.07 cores=1,3,5,7
/proc/7942/task/8003/stat : 8003 (java) S 7939 7942 3758 0 -1 1077944384 3 13253 0 0 0 0 4 3 20 0 15 0 415833590 11111518208 83039 33554432000 4194304 4196468 140737140702240 140458410728016 140459873929115 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23896064 140737140706031 140737140708549 140737140708549 140737140711375 0
[pid=7942/tid=8004] ppid=7939 vsize=10851092 memory=1399051139730258233 CPUtime=2.79 cores=1,3,5,7
/proc/7942/task/8004/stat : 8004 (java) R 7939 7942 3758 0 -1 4202560 5658 13253 0 0 270 2 4 3 20 0 15 0 415833590 11111518208 83039 33554432000 4194304 4196468 140737140702240 140459399488720 140459857816685 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23896064 140737140706031 140737140708549 140737140708549 140737140711375 0
[pid=7942/tid=8005] ppid=7939 vsize=10851092 memory=0 CPUtime=3.14 cores=1,3,5,7
/proc/7942/task/8005/stat : 8005 (java) R 7939 7942 3758 0 -1 4202560 10209 13253 0 0 305 2 4 3 20 0 15 0 415833590 11111518208 83039 33554432000 4194304 4196468 140737140702240 140459398442040 140459858306913 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 23896064 140737140706031 140737140708549 140737140708549 140737140711375 0
[pid=7942/tid=8006] ppid=7939 vsize=10851092 memory=174768460453215 CPUtime=1.92 cores=1,3,5,7
/proc/7942/task/8006/stat : 8006 (java) S 7939 7942 3758 0 -1 1077944384 7757 13253 0 0 182 3 4 3 20 0 15 0 415833590 11111518208 83039 33554432000 4194304 4196468 140737140702240 140459397396848 140459873921666 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23896064 140737140706031 140737140708549 140737140708549 140737140711375 0
[pid=7942/tid=8007] ppid=7939 vsize=10851092 memory=3102072 CPUtime=0.07 cores=1,3,5,7
/proc/7942/task/8007/stat : 8007 (java) S 7939 7942 3758 0 -1 1077944384 3 13253 0 0 0 0 4 3 20 0 15 0 415833590 11111518208 83039 33554432000 4194304 4196468 140737140702240 140458377169376 140459873920725 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23896064 140737140706031 140737140708549 140737140708549 140737140711375 0
[pid=7942/tid=8008] ppid=7939 vsize=10851092 memory=7079764443835426643 CPUtime=0.07 cores=1,3,5,7
/proc/7942/task/8008/stat : 8008 (java) S 7939 7942 3758 0 -1 1077944384 8 13253 0 0 0 0 4 3 20 0 15 0 415833590 11111518208 83039 33554432000 4194304 4196468 140737140702240 140459396344752 140459873921666 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23896064 140737140706031 140737140708549 140737140708549 140737140711375 0
Current children cumulated CPU time: 12.57 s
Current children cumulated vsize: 10851092 KiB
Current children cumulated memory: 332156 KiB

[startup+5.20077 s]
/proc/loadavg: 2.04 1.62 1.49 5/229 8008
/proc/meminfo: memFree=25487216/32770624 swapFree=66957012/67108860
[pid=7942] ppid=7939 vsize=10851092 memory=341528 CPUtime=13.63 cores=1,3,5,7
/proc/7942/stat : 7942 (java) S 7939 7942 3758 0 -1 1077944320 55371 13253 0 0 1331 25 4 3 20 0 15 0 415833575 11111518208 85382 33554432000 4194304 4196468 140737140702240 140737140684784 140459873910519 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 23896064 140737140706031 140737140708549 140737140708549 140737140711375 0
/proc/7942/statm: 2712773 85382 3619 1 0 2674829 0
[pid=7942/tid=7995] ppid=7939 vsize=10851092 memory=-6526411401870300574 CPUtime=5.03 cores=1,3,5,7
/proc/7942/task/7995/stat : 7995 (java) R 7939 7942 3758 0 -1 4202560 25746 13253 0 0 485 11 4 3 20 0 15 0 415833584 11111518208 85382 33554432000 4194304 4196468 140737140702240 140459845742464 140459487832740 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23896064 140737140706031 140737140708549 140737140708549 140737140711375 0
[pid=7942/tid=7996] ppid=7939 vsize=10851092 memory=7014751519717611364 CPUtime=0.11 cores=1,3,5,7
/proc/7942/task/7996/stat : 7996 (java) S 7939 7942 3758 0 -1 1077944384 393 13253 0 0 3 1 4 3 20 0 15 0 415833585 11111518208 85382 33554432000 4194304 4196468 140737140702240 140459878152592 140459873920725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23896064 140737140706031 140737140708549 140737140708549 140737140711375 0
[pid=7942/tid=7997] ppid=7939 vsize=10851092 memory=7014751519717611364 CPUtime=0.11 cores=1,3,5,7
/proc/7942/task/7997/stat : 7997 (java) S 7939 7942 3758 0 -1 1077944384 98 13253 0 0 3 1 4 3 20 0 15 0 415833585 11111518208 85382 33554432000 4194304 4196468 140737140702240 140459792972048 140459873920725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23896064 140737140706031 140737140708549 140737140708549 140737140711375 0
[pid=7942/tid=7998] ppid=7939 vsize=10851092 memory=7014751519717611364 CPUtime=0.11 cores=1,3,5,7
/proc/7942/task/7998/stat : 7998 (java) S 7939 7942 3758 0 -1 1077944384 126 13253 0 0 3 1 4 3 20 0 15 0 415833585 11111518208 85382 33554432000 4194304 4196468 140737140702240 140459446557328 140459873920725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23896064 140737140706031 140737140708549 140737140708549 140737140711375 0
[pid=7942/tid=7999] ppid=7939 vsize=10851092 memory=7014751519717611364 CPUtime=0.11 cores=1,3,5,7
/proc/7942/task/7999/stat : 7999 (java) S 7939 7942 3758 0 -1 1077944384 112 13253 0 0 3 1 4 3 20 0 15 0 415833585 11111518208 85382 33554432000 4194304 4196468 140737140702240 140459445504528 140459873920725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23896064 140737140706031 140737140708549 140737140708549 140737140711375 0
[pid=7942/tid=8000] ppid=7939 vsize=10851092 memory=7014751519717611364 CPUtime=0.11 cores=1,3,5,7
/proc/7942/task/8000/stat : 8000 (java) S 7939 7942 3758 0 -1 1077944384 2753 13253 0 0 4 0 4 3 20 0 15 0 415833586 11111518208 85382 33554432000 4194304 4196468 140737140702240 140459400555120 140459873921666 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23896064 140737140706031 140737140708549 140737140708549 140737140711375 0
[pid=7942/tid=8001] ppid=7939 vsize=10851092 memory=7014751519717611364 CPUtime=0.07 cores=1,3,5,7
/proc/7942/task/8001/stat : 8001 (java) S 7939 7942 3758 0 -1 1077944384 15 13253 0 0 0 0 4 3 20 0 15 0 415833587 11111518208 85382 33554432000 4194304 4196468 140737140702240 140459322107232 140459873920725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23896064 140737140706031 140737140708549 140737140708549 140737140711375 0
[pid=7942/tid=8002] ppid=7939 vsize=10851092 memory=7014751519717611364 CPUtime=0.07 cores=1,3,5,7
/proc/7942/task/8002/stat : 8002 (java) S 7939 7942 3758 0 -1 1077944384 1 13253 0 0 0 0 4 3 20 0 15 0 415833587 11111518208 85382 33554432000 4194304 4196468 140737140702240 140458718127744 140459873920725 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23896064 140737140706031 140737140708549 140737140708549 140737140711375 0
[pid=7942/tid=8003] ppid=7939 vsize=10851092 memory=7014751519717611364 CPUtime=0.07 cores=1,3,5,7
/proc/7942/task/8003/stat : 8003 (java) S 7939 7942 3758 0 -1 1077944384 3 13253 0 0 0 0 4 3 20 0 15 0 415833590 11111518208 85382 33554432000 4194304 4196468 140737140702240 140458410728016 140459873929115 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23896064 140737140706031 140737140708549 140737140708549 140737140711375 0
[pid=7942/tid=8004] ppid=7939 vsize=10851092 memory=7157735280297465700 CPUtime=3.07 cores=1,3,5,7
/proc/7942/task/8004/stat : 8004 (java) S 7939 7942 3758 0 -1 1077944384 5707 13253 0 0 298 2 4 3 20 0 15 0 415833590 11111518208 85382 33554432000 4194304 4196468 140737140702240 140459399501936 140459873921666 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23896064 140737140706031 140737140708549 140737140708549 140737140711375 0
[pid=7942/tid=8005] ppid=7939 vsize=10851092 memory=7157735280297465700 CPUtime=3.45 cores=1,3,5,7
/proc/7942/task/8005/stat : 8005 (java) S 7939 7942 3758 0 -1 1077944384 10262 13253 0 0 336 2 4 3 20 0 15 0 415833590 11111518208 85382 33554432000 4194304 4196468 140737140702240 140459398449136 140459873921666 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23896064 140737140706031 140737140708549 140737140708549 140737140711375 0
[pid=7942/tid=8006] ppid=7939 vsize=10851092 memory=7157735280297465700 CPUtime=2 cores=1,3,5,7
/proc/7942/task/8006/stat : 8006 (java) S 7939 7942 3758 0 -1 1077944384 7939 13253 0 0 190 3 4 3 20 0 15 0 415833590 11111518208 85382 33554432000 4194304 4196468 140737140702240 140459397396848 140459873921666 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23896064 140737140706031 140737140708549 140737140708549 140737140711375 0
[pid=7942/tid=8007] ppid=7939 vsize=10851092 memory=7014751519717611364 CPUtime=0.07 cores=1,3,5,7
/proc/7942/task/8007/stat : 8007 (java) S 7939 7942 3758 0 -1 1077944384 3 13253 0 0 0 0 4 3 20 0 15 0 415833590 11111518208 85382 33554432000 4194304 4196468 140737140702240 140458377169376 140459873920725 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23896064 140737140706031 140737140708549 140737140708549 140737140711375 0
[pid=7942/tid=8008] ppid=7939 vsize=10851092 memory=7014751519717611364 CPUtime=0.07 cores=1,3,5,7
/proc/7942/task/8008/stat : 8008 (java) S 7939 7942 3758 0 -1 1077944384 8 13253 0 0 0 0 4 3 20 0 15 0 415833590 11111518208 85382 33554432000 4194304 4196468 140737140702240 140459396344752 140459873921666 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23896064 140737140706031 140737140708549 140737140708549 140737140711375 0
Current children cumulated CPU time: 13.63 s
Current children cumulated vsize: 10851092 KiB
Current children cumulated memory: 341528 KiB

Child status: 0
Real time (s): 5.27353
CPU time (s): 13.7702
CPU user time (s): 13.4598
CPU system time (s): 0.310423
CPU usage (%): 261.119
Max. virtual memory (cumulated for all children) (KiB): 10851868
Max. memory (cumulated for all children) (KiB): 341528

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 13.4598
system time used= 0.310423
maximum resident set size= 343828
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 68726
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= 6804
involuntary context switches= 79


# summary of solver processes directly reported to runsolver:
#   pid: 7942
#   total CPU time (s): 13.7702
#   total CPU user time (s): 13.4598
#   total CPU system time (s): 0.310423

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.049469 second user time and 0.103337 second system time

The end

Launcher Data 

Begin job on node147 at 2019-09-13 20:25:54
IDJOB=4396390
IDBENCH=126829
IDSOLVER=2847
FILE ID=node147/4396390-1568399197
RUNJOBID= node147-1568394074-6200
PBS_JOBID= 21701856
Free space on /tmp= 58844 MiB

SOLVER NAME= Concrete 3.12.2
BENCH NAME= XCSP17/Tpp/Tpp-zinc-s1/Tpp-4-5-20-1.xml
COMMAND LINE= bin/xcsp-3-concrete -J-Xss32M -randomseed=RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4396390-1568399197/watcher-4396390-1568399197 -o /tmp/evaluation-result-4396390-1568399197/solver-4396390-1568399197 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node147-1568394074-6200 --watchdog 2560  bin/xcsp-3-concrete -J-Xss32M -randomseed=1674200624 HOME/instance-4396390-1568399197.xml

TIME LIMIT= 2400 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= e6e5223db5de59749ca81141a6ec4e70
RANDOM SEED=1674200624

node147.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.52
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.52
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.52
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.52
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        25808864 kB
MemAvailable:   30798436 kB
Buffers:          173864 kB
Cached:          5043436 kB
SwapCached:        48500 kB
Active:          3084400 kB
Inactive:        3199724 kB
Active(anon):    1018764 kB
Inactive(anon):    89344 kB
Active(file):    2065636 kB
Inactive(file):  3110380 kB
Unevictable:      107760 kB
Mlocked:          107760 kB
SwapTotal:      67108860 kB
SwapFree:       66957012 kB
Dirty:             35660 kB
Writeback:             0 kB
AnonPages:       1121820 kB
Mapped:            58324 kB
Shmem:             32768 kB
Slab:             271916 kB
SReclaimable:     242016 kB
SUnreclaim:        29900 kB
KernelStack:        3664 kB
PageTables:         8216 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    2246728 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    942080 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      120192 kB
DirectMap2M:    33425408 kB

Free space on /tmp at the end= 58812 MiB
End job on node147 at 2019-09-13 20:25:59