Trace number 4293038

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.8-SuperNG 2018-06-13OPT6 9.40475 4.24668

General information on the benchmark

NameTal/
Tal-01_c18.xml
MD5SUMbe8acda3d02cf8f075ea348930aabd56
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark6
Best CPU time to get the best result obtained on this benchmark0.030776
Satisfiable
(Un)Satisfiability was proved
Number of variables76
Number of constraints64
Number of domains6
Minimum domain size1
Maximum domain size42
Distribution of domain sizes[{"size":1,"count":9},{"size":2,"count":4},{"size":3,"count":5},{"size":6,"count":9},{"size":10,"count":6},{"size":42,"count":14}]
Minimum variable degree0
Maximum variable degree9
Distribution of variable degrees[{"degree":0,"count":29},{"degree":1,"count":9},{"degree":2,"count":13},{"degree":3,"count":4},{"degree":4,"count":5},{"degree":5,"count":7},{"degree":6,"count":5},{"degree":7,"count":2},{"degree":8,"count":1},{"degree":9,"count":1}]
Minimum constraint arity1
Maximum constraint arity6
Distribution of constraint arities[{"arity":1,"count":24},{"arity":2,"count":20},{"arity":3,"count":8},{"arity":4,"count":5},{"arity":5,"count":5},{"arity":6,"count":2}]
Number of extensional constraints9
Number of intensional constraints51
Distribution of constraint types[{"type":"extension","count":9},{"type":"intension","count":51},{"type":"count","count":4}]
Optimization problemYES
Type of objectivemin SUM

Solver Data 

0.96/0.75	c Concrete v3.8.1528841891564 running
9.04/4.19	o 6
9.34/4.20	v <instantiation cost="6">
9.34/4.20	v       <list>
9.34/4.20	v         c[0][0] c[0][1] c[0][2] c[1][0] c[1][1] c[1][2] c[2][0] c[2][1] c[2][2] c[3][0] c[3][1] c[3][2] c[4][0] c[4][1] c[4][2] c[5][0] c[5][1] c[5][2] l[0][0] l[0][1] l[0][2] l[1][0] l[1][1] l[1][2] l[2][0] l[2][1] l[2][2] l[3][0] l[3][1] l[4][0] l[4][1] l[5][0] a[1][0] a[1][1] a[1][2] a[3][0] a[3][1] a[5][0] i[2][0] i[2][1] i[2][2] i[4][0] i[4][1] cnt[0] cnt[1] cnt[2] cnt[3]
9.34/4.20	v       </list>
9.34/4.20	v       <values>
9.34/4.20	v         0 0 0 2 0 0 0 0 0 4 0 0 0 0 0 0 0 0 14 13 2 4 4 3 4 4 3 6 0 6 0 6 1 1 1 3 0 1 0 1 2 0 1 0 0 1 1
9.34/4.20	v       </values>
9.34/4.20	v     </instantiation>
9.34/4.20	s OPTIMUM FOUND

Verifier Data 

OK	6

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4293038-1532305569/watcher-4293038-1532305569 -o /tmp/evaluation-result-4293038-1532305569/solver-4293038-1532305569 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node106-1532295772-9831 --watchdog 2580 concrete-3.8/bin/xcsp-3-concrete -J-Xss32M -randomseed=1066055349 -superng HOME/instance-4293038-1532305569.xml 

running on 4 cores: 0,2,4,6

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

solver pid=11214, runsolver pid=11211

[startup+0.100213 s]*
/proc/loadavg: 1.56 1.59 1.59 2/206 11271
/proc/meminfo: memFree=16999316/32770624 swapFree=67108860/67108860
[pid=11214] ppid=11211 vsize=9972712 memory=18860 CPUtime=0.08 cores=0,2,4,6
/proc/11214/stat : 11214 (java) S 11211 11214 9800 0 -1 1077944320 4375 13422 0 0 1 0 5 2 20 0 6 0 48119829 10212057088 4715 33554432000 4194304 4196468 140727823485520 140727823468064 140389549600503 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 8208384 140727823493291 140727823496540 140727823496540 140727823499215 0
/proc/11214/statm: 2493178 4715 1934 1 0 2481616 0
[pid=11214/tid=11267] ppid=11211 vsize=9972712 memory=4279135703913235855 CPUtime=0.08 cores=0,2,4,6
/proc/11214/task/11267/stat : 11267 (java) R 11211 11214 9800 0 -1 4202560 2190 13422 0 0 1 0 5 2 20 0 6 0 48119838 10212057088 4715 33554432000 4194304 4196468 140727823485520 140389521437264 140389535283029 0 4 0 16784584 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8208384 140727823493291 140727823496540 140727823496540 140727823499215 0
[pid=11214/tid=11268] ppid=11211 vsize=9972712 memory=8257237230052613020 CPUtime=0.07 cores=0,2,4,6
/proc/11214/task/11268/stat : 11268 (java) S 11211 11214 9800 0 -1 1077944384 1 13422 0 0 0 0 5 2 20 0 6 0 48119839 10212057088 4715 33554432000 4194304 4196468 140727823485520 140389553842576 140389549610709 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8208384 140727823493291 140727823496540 140727823496540 140727823499215 0
[pid=11214/tid=11269] ppid=11211 vsize=9972712 memory=140544413853312 CPUtime=0.07 cores=0,2,4,6
/proc/11214/task/11269/stat : 11269 (java) S 11211 11214 9800 0 -1 1077944384 1 13422 0 0 0 0 5 2 20 0 6 0 48119839 10212057088 4715 33554432000 4194304 4196468 140727823485520 140389468662032 140389549610709 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8208384 140727823493291 140727823496540 140727823496540 140727823499215 0
[pid=11214/tid=11270] ppid=11211 vsize=9972712 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/11214/task/11270/stat : 11270 (java) S 11211 11214 9800 0 -1 1077944384 1 13422 0 0 0 0 5 2 20 0 6 0 48119839 10212057088 4715 33554432000 4194304 4196468 140727823485520 140389467609744 140389549610709 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8208384 140727823493291 140727823496540 140727823496540 140727823499215 0
[pid=11214/tid=11271] ppid=11211 vsize=9972712 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/11214/task/11271/stat : 11271 (java) S 11211 11214 9800 0 -1 1077944384 2 13422 0 0 0 0 5 2 20 0 6 0 48119839 10212057088 4715 33554432000 4194304 4196468 140727823485520 140389466556944 140389549610709 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8208384 140727823493291 140727823496540 140727823496540 140727823499215 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 18860 KiB

[startup+0.209857 s]*
/proc/loadavg: 1.56 1.59 1.59 3/215 11280
/proc/meminfo: memFree=16979588/32770624 swapFree=67108860/67108860
[pid=11214] ppid=11211 vsize=10818904 memory=39412 CPUtime=0.24 cores=0,2,4,6
/proc/11214/stat : 11214 (java) S 11211 11214 9800 0 -1 1077944320 7078 13422 0 0 16 1 5 2 20 0 15 0 48119829 11078557696 9853 33554432000 4194304 4196468 140727823485520 140727823468064 140389549600503 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 8208384 140727823493291 140727823496540 140727823496540 140727823499215 0
/proc/11214/statm: 2704726 9853 2966 1 0 2667149 0
[pid=11214/tid=11267] ppid=11211 vsize=10818904 memory=7022364594140610616 CPUtime=0.17 cores=0,2,4,6
/proc/11214/task/11267/stat : 11267 (java) R 11211 11214 9800 0 -1 4202560 3733 13422 0 0 10 0 5 2 20 0 15 0 48119838 11078557696 9853 33554432000 4194304 4196468 140727823485520 140389521431448 140389534766056 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 8208384 140727823493291 140727823496540 140727823496540 140727823499215 0
[pid=11214/tid=11268] ppid=11211 vsize=10818904 memory=343 CPUtime=0.07 cores=0,2,4,6
/proc/11214/task/11268/stat : 11268 (java) S 11211 11214 9800 0 -1 1077944384 1 13422 0 0 0 0 5 2 20 0 15 0 48119839 11078557696 9853 33554432000 4194304 4196468 140727823485520 140389553842576 140389549610709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8208384 140727823493291 140727823496540 140727823496540 140727823499215 0
[pid=11214/tid=11269] ppid=11211 vsize=10818904 memory=140544414133629 CPUtime=0.07 cores=0,2,4,6
/proc/11214/task/11269/stat : 11269 (java) S 11211 11214 9800 0 -1 1077944384 1 13422 0 0 0 0 5 2 20 0 15 0 48119839 11078557696 9853 33554432000 4194304 4196468 140727823485520 140389468662032 140389549610709 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8208384 140727823493291 140727823496540 140727823496540 140727823499215 0
[pid=11214/tid=11270] ppid=11211 vsize=10818904 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/11214/task/11270/stat : 11270 (java) S 11211 11214 9800 0 -1 1077944384 1 13422 0 0 0 0 5 2 20 0 15 0 48119839 11078557696 9853 33554432000 4194304 4196468 140727823485520 140389467609744 140389549610709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8208384 140727823493291 140727823496540 140727823496540 140727823499215 0
[pid=11214/tid=11271] ppid=11211 vsize=10818904 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/11214/task/11271/stat : 11271 (java) S 11211 11214 9800 0 -1 1077944384 2 13422 0 0 0 0 5 2 20 0 15 0 48119839 11078557696 9853 33554432000 4194304 4196468 140727823485520 140389466556944 140389549610709 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8208384 140727823493291 140727823496540 140727823496540 140727823499215 0
[pid=11214/tid=11272] ppid=11211 vsize=10818904 memory=140544413853312 CPUtime=0.07 cores=0,2,4,6
/proc/11214/task/11272/stat : 11272 (java) S 11211 11214 9800 0 -1 1077944384 2 13422 0 0 0 0 5 2 20 0 15 0 48119841 11078557696 9853 33554432000 4194304 4196468 140727823485520 140389076228720 140389549611650 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8208384 140727823493291 140727823496540 140727823496540 140727823499215 0
[pid=11214/tid=11273] ppid=11211 vsize=10818904 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/11214/task/11273/stat : 11273 (java) S 11211 11214 9800 0 -1 1077944384 13 13422 0 0 0 0 5 2 20 0 15 0 48119841 11078557696 9853 33554432000 4194304 4196468 140727823485520 140388992017696 140389549610709 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8208384 140727823493291 140727823496540 140727823496540 140727823499215 0
[pid=11214/tid=11274] ppid=11211 vsize=10818904 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/11214/task/11274/stat : 11274 (java) S 11211 11214 9800 0 -1 1077944384 1 13422 0 0 0 0 5 2 20 0 15 0 48119841 11078557696 9853 33554432000 4194304 4196468 140727823485520 140388388038256 140389549610709 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8208384 140727823493291 140727823496540 140727823496540 140727823499215 0
[pid=11214/tid=11275] ppid=11211 vsize=10818904 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/11214/task/11275/stat : 11275 (java) S 11211 11214 9800 0 -1 1077944384 3 13422 0 0 0 0 5 2 20 0 15 0 48119844 11078557696 9853 33554432000 4194304 4196468 140727823485520 140388080638544 140389549619099 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8208384 140727823493291 140727823496540 140727823496540 140727823499215 0
[pid=11214/tid=11276] ppid=11211 vsize=10818904 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/11214/task/11276/stat : 11276 (java) S 11211 11214 9800 0 -1 1077944384 532 13422 0 0 1 0 5 2 20 0 15 0 48119844 11078557696 9853 33554432000 4194304 4196468 140727823485520 140389075175536 140389549611650 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8208384 140727823493291 140727823496540 140727823496540 140727823499215 0
[pid=11214/tid=11277] ppid=11211 vsize=10818904 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/11214/task/11277/stat : 11277 (java) S 11211 11214 9800 0 -1 1077944384 54 13422 0 0 0 0 5 2 20 0 15 0 48119844 11078557696 9853 33554432000 4194304 4196468 140727823485520 140389074122736 140389549611650 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8208384 140727823493291 140727823496540 140727823496540 140727823499215 0
[pid=11214/tid=11278] ppid=11211 vsize=10818904 memory=140544413853312 CPUtime=0.1 cores=0,2,4,6
/proc/11214/task/11278/stat : 11278 (java) S 11211 11214 9800 0 -1 1077944384 540 13422 0 0 3 0 5 2 20 0 15 0 48119844 11078557696 9853 33554432000 4194304 4196468 140727823485520 140389073070448 140389549611650 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8208384 140727823493291 140727823496540 140727823496540 140727823499215 0
[pid=11214/tid=11279] ppid=11211 vsize=10818904 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/11214/task/11279/stat : 11279 (java) S 11211 11214 9800 0 -1 1077944384 3 13422 0 0 0 0 5 2 20 0 15 0 48119844 11078557696 9853 33554432000 4194304 4196468 140727823485520 140388047079904 140389549610709 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8208384 140727823493291 140727823496540 140727823496540 140727823499215 0
[pid=11214/tid=11280] ppid=11211 vsize=10818904 memory=140544413853312 CPUtime=0.07 cores=0,2,4,6
/proc/11214/task/11280/stat : 11280 (java) S 11211 11214 9800 0 -1 1077944384 1 13422 0 0 0 0 5 2 20 0 15 0 48119844 11078557696 9853 33554432000 4194304 4196468 140727823485520 140389072018352 140389549611650 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8208384 140727823493291 140727823496540 140727823496540 140727823499215 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 10818904 KiB
Current children cumulated memory: 39412 KiB

[startup+0.310905 s]*
/proc/loadavg: 1.56 1.59 1.59 3/215 11280
/proc/meminfo: memFree=16968300/32770624 swapFree=67108860/67108860
[pid=11214] ppid=11211 vsize=10819352 memory=53344 CPUtime=0.36 cores=0,2,4,6
/proc/11214/stat : 11214 (java) S 11211 11214 9800 0 -1 1077944320 10387 13422 0 0 28 1 5 2 20 0 15 0 48119829 11079016448 13336 33554432000 4194304 4196468 140727823485520 140727823468064 140389549600503 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 8208384 140727823493291 140727823496540 140727823496540 140727823499215 0
/proc/11214/statm: 2704838 13336 3085 1 0 2667149 0
[pid=11214/tid=11267] ppid=11211 vsize=10819352 memory=6791534058613427641 CPUtime=0.27 cores=0,2,4,6
/proc/11214/task/11267/stat : 11267 (java) R 11211 11214 9800 0 -1 4202560 7038 13422 0 0 19 1 5 2 20 0 15 0 48119838 11079016448 13336 33554432000 4194304 4196468 140727823485520 140389521390032 140389529876252 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8208384 140727823493291 140727823496540 140727823496540 140727823499215 0
[pid=11214/tid=11268] ppid=11211 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/11214/task/11268/stat : 11268 (java) S 11211 11214 9800 0 -1 1077944384 1 13422 0 0 0 0 5 2 20 0 15 0 48119839 11079016448 13336 33554432000 4194304 4196468 140727823485520 140389553842576 140389549610709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8208384 140727823493291 140727823496540 140727823496540 140727823499215 0
[pid=11214/tid=11269] ppid=11211 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/11214/task/11269/stat : 11269 (java) S 11211 11214 9800 0 -1 1077944384 1 13422 0 0 0 0 5 2 20 0 15 0 48119839 11079016448 13336 33554432000 4194304 4196468 140727823485520 140389468662032 140389549610709 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8208384 140727823493291 140727823496540 140727823496540 140727823499215 0
[pid=11214/tid=11270] ppid=11211 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/11214/task/11270/stat : 11270 (java) S 11211 11214 9800 0 -1 1077944384 1 13422 0 0 0 0 5 2 20 0 15 0 48119839 11079016448 13336 33554432000 4194304 4196468 140727823485520 140389467609744 140389549610709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8208384 140727823493291 140727823496540 140727823496540 140727823499215 0
[pid=11214/tid=11271] ppid=11211 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/11214/task/11271/stat : 11271 (java) S 11211 11214 9800 0 -1 1077944384 2 13422 0 0 0 0 5 2 20 0 15 0 48119839 11079016448 13336 33554432000 4194304 4196468 140727823485520 140389466556944 140389549610709 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8208384 140727823493291 140727823496540 140727823496540 140727823499215 0
[pid=11214/tid=11272] ppid=11211 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/11214/task/11272/stat : 11272 (java) S 11211 11214 9800 0 -1 1077944384 2 13422 0 0 0 0 5 2 20 0 15 0 48119841 11079016448 13336 33554432000 4194304 4196468 140727823485520 140389076228720 140389549611650 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8208384 140727823493291 140727823496540 140727823496540 140727823499215 0
[pid=11214/tid=11273] ppid=11211 vsize=10819352 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/11214/task/11273/stat : 11273 (java) S 11211 11214 9800 0 -1 1077944384 13 13422 0 0 0 0 5 2 20 0 15 0 48119841 11079016448 13336 33554432000 4194304 4196468 140727823485520 140388992017696 140389549610709 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8208384 140727823493291 140727823496540 140727823496540 140727823499215 0
[pid=11214/tid=11274] ppid=11211 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/11214/task/11274/stat : 11274 (java) S 11211 11214 9800 0 -1 1077944384 1 13422 0 0 0 0 5 2 20 0 15 0 48119841 11079016448 13336 33554432000 4194304 4196468 140727823485520 140388388038256 140389549610709 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8208384 140727823493291 140727823496540 140727823496540 140727823499215 0
[pid=11214/tid=11275] ppid=11211 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/11214/task/11275/stat : 11275 (java) S 11211 11214 9800 0 -1 1077944384 3 13422 0 0 0 0 5 2 20 0 15 0 48119844 11079016448 13336 33554432000 4194304 4196468 140727823485520 140388080638544 140389549619099 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8208384 140727823493291 140727823496540 140727823496540 140727823499215 0
[pid=11214/tid=11276] ppid=11211 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/11214/task/11276/stat : 11276 (java) S 11211 11214 9800 0 -1 1077944384 532 13422 0 0 1 0 5 2 20 0 15 0 48119844 11079016448 13336 33554432000 4194304 4196468 140727823485520 140389075175536 140389549611650 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8208384 140727823493291 140727823496540 140727823496540 140727823499215 0
[pid=11214/tid=11277] ppid=11211 vsize=10819352 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/11214/task/11277/stat : 11277 (java) S 11211 11214 9800 0 -1 1077944384 55 13422 0 0 1 0 5 2 20 0 15 0 48119844 11079016448 13336 33554432000 4194304 4196468 140727823485520 140389074122736 140389549611650 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8208384 140727823493291 140727823496540 140727823496540 140727823499215 0
[pid=11214/tid=11278] ppid=11211 vsize=10819352 memory=140544413853312 CPUtime=0.11 cores=0,2,4,6
/proc/11214/task/11278/stat : 11278 (java) S 11211 11214 9800 0 -1 1077944384 550 13422 0 0 4 0 5 2 20 0 15 0 48119844 11079016448 13336 33554432000 4194304 4196468 140727823485520 140389073070448 140389549611650 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8208384 140727823493291 140727823496540 140727823496540 140727823499215 0
[pid=11214/tid=11279] ppid=11211 vsize=10819352 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/11214/task/11279/stat : 11279 (java) S 11211 11214 9800 0 -1 1077944384 3 13422 0 0 0 0 5 2 20 0 15 0 48119844 11079016448 13336 33554432000 4194304 4196468 140727823485520 140388047079904 140389549610709 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8208384 140727823493291 140727823496540 140727823496540 140727823499215 0
[pid=11214/tid=11280] ppid=11211 vsize=10819352 memory=140544413853312 CPUtime=0.07 cores=0,2,4,6
/proc/11214/task/11280/stat : 11280 (java) S 11211 11214 9800 0 -1 1077944384 1 13422 0 0 0 0 5 2 20 0 15 0 48119844 11079016448 13336 33554432000 4194304 4196468 140727823485520 140389072018352 140389549611650 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8208384 140727823493291 140727823496540 140727823496540 140727823499215 0
Current children cumulated CPU time: 0.36 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 53344 KiB

[startup+0.700724 s]
/proc/loadavg: 1.56 1.59 1.59 3/215 11280
/proc/meminfo: memFree=16956404/32770624 swapFree=67108860/67108860
[pid=11214] ppid=11211 vsize=10819352 memory=86268 CPUtime=0.96 cores=0,2,4,6
/proc/11214/stat : 11214 (java) S 11211 11214 9800 0 -1 1077944320 16754 13422 0 0 86 3 5 2 20 0 15 0 48119829 11079016448 21567 33554432000 4194304 4196468 140727823485520 140727823468064 140389549600503 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 8208384 140727823493291 140727823496540 140727823496540 140727823499215 0
/proc/11214/statm: 2704838 21567 3240 1 0 2667149 0
[pid=11214/tid=11267] ppid=11211 vsize=10819352 memory=0 CPUtime=0.65 cores=0,2,4,6
/proc/11214/task/11267/stat : 11267 (java) R 11211 11214 9800 0 -1 4202560 12314 13422 0 0 56 2 5 2 20 0 15 0 48119838 11079016448 21567 33554432000 4194304 4196468 140727823485520 140389521428104 140389533680990 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8208384 140727823493291 140727823496540 140727823496540 140727823499215 0
[pid=11214/tid=11268] ppid=11211 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/11214/task/11268/stat : 11268 (java) S 11211 11214 9800 0 -1 1077944384 1 13422 0 0 0 0 5 2 20 0 15 0 48119839 11079016448 21567 33554432000 4194304 4196468 140727823485520 140389553842576 140389549610709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8208384 140727823493291 140727823496540 140727823496540 140727823499215 0
[pid=11214/tid=11269] ppid=11211 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/11214/task/11269/stat : 11269 (java) S 11211 11214 9800 0 -1 1077944384 1 13422 0 0 0 0 5 2 20 0 15 0 48119839 11079016448 21567 33554432000 4194304 4196468 140727823485520 140389468662032 140389549610709 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8208384 140727823493291 140727823496540 140727823496540 140727823499215 0
[pid=11214/tid=11270] ppid=11211 vsize=10819352 memory=32804 CPUtime=0.07 cores=0,2,4,6
/proc/11214/task/11270/stat : 11270 (java) S 11211 11214 9800 0 -1 1077944384 1 13422 0 0 0 0 5 2 20 0 15 0 48119839 11079016448 21567 33554432000 4194304 4196468 140727823485520 140389467609744 140389549610709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8208384 140727823493291 140727823496540 140727823496540 140727823499215 0
[pid=11214/tid=11271] ppid=11211 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/11214/task/11271/stat : 11271 (java) S 11211 11214 9800 0 -1 1077944384 2 13422 0 0 0 0 5 2 20 0 15 0 48119839 11079016448 21567 33554432000 4194304 4196468 140727823485520 140389466556944 140389549610709 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8208384 140727823493291 140727823496540 140727823496540 140727823499215 0
[pid=11214/tid=11272] ppid=11211 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/11214/task/11272/stat : 11272 (java) S 11211 11214 9800 0 -1 1077944384 5 13422 0 0 0 0 5 2 20 0 15 0 48119841 11079016448 21567 33554432000 4194304 4196468 140727823485520 140389076228720 140389549611650 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8208384 140727823493291 140727823496540 140727823496540 140727823499215 0
[pid=11214/tid=11273] ppid=11211 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/11214/task/11273/stat : 11273 (java) S 11211 11214 9800 0 -1 1077944384 13 13422 0 0 0 0 5 2 20 0 15 0 48119841 11079016448 21567 33554432000 4194304 4196468 140727823485520 140388992017696 140389549610709 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8208384 140727823493291 140727823496540 140727823496540 140727823499215 0
[pid=11214/tid=11274] ppid=11211 vsize=10819352 memory=140544282080016 CPUtime=0.07 cores=0,2,4,6
/proc/11214/task/11274/stat : 11274 (java) S 11211 11214 9800 0 -1 1077944384 1 13422 0 0 0 0 5 2 20 0 15 0 48119841 11079016448 21567 33554432000 4194304 4196468 140727823485520 140388388038256 140389549610709 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8208384 140727823493291 140727823496540 140727823496540 140727823499215 0
[pid=11214/tid=11275] ppid=11211 vsize=10819352 memory=140548509794897 CPUtime=0.07 cores=0,2,4,6
/proc/11214/task/11275/stat : 11275 (java) S 11211 11214 9800 0 -1 1077944384 3 13422 0 0 0 0 5 2 20 0 15 0 48119844 11079016448 21567 33554432000 4194304 4196468 140727823485520 140388080638544 140389549619099 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8208384 140727823493291 140727823496540 140727823496540 140727823499215 0
[pid=11214/tid=11276] ppid=11211 vsize=10819352 memory=14004 CPUtime=0.14 cores=0,2,4,6
/proc/11214/task/11276/stat : 11276 (java) S 11211 11214 9800 0 -1 1077944384 915 13422 0 0 7 0 5 2 20 0 15 0 48119844 11079016448 21567 33554432000 4194304 4196468 140727823485520 140389075175536 140389549611650 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8208384 140727823493291 140727823496540 140727823496540 140727823499215 0
[pid=11214/tid=11277] ppid=11211 vsize=10819352 memory=4639098309541127269 CPUtime=0.16 cores=0,2,4,6
/proc/11214/task/11277/stat : 11277 (java) S 11211 11214 9800 0 -1 1077944384 665 13422 0 0 9 0 5 2 20 0 15 0 48119844 11079016448 21567 33554432000 4194304 4196468 140727823485520 140389074122736 140389549611650 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8208384 140727823493291 140727823496540 140727823496540 140727823499215 0
[pid=11214/tid=11278] ppid=11211 vsize=10819352 memory=7813023418146120529 CPUtime=0.2 cores=0,2,4,6
/proc/11214/task/11278/stat : 11278 (java) S 11211 11214 9800 0 -1 1077944384 639 13422 0 0 13 0 5 2 20 0 15 0 48119844 11079016448 21567 33554432000 4194304 4196468 140727823485520 140389073070448 140389549611650 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8208384 140727823493291 140727823496540 140727823496540 140727823499215 0
[pid=11214/tid=11279] ppid=11211 vsize=10819352 memory=4140 CPUtime=0.07 cores=0,2,4,6
/proc/11214/task/11279/stat : 11279 (java) S 11211 11214 9800 0 -1 1077944384 3 13422 0 0 0 0 5 2 20 0 15 0 48119844 11079016448 21567 33554432000 4194304 4196468 140727823485520 140388047079904 140389549610709 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8208384 140727823493291 140727823496540 140727823496540 140727823499215 0
[pid=11214/tid=11280] ppid=11211 vsize=10819352 memory=2241 CPUtime=0.07 cores=0,2,4,6
/proc/11214/task/11280/stat : 11280 (java) S 11211 11214 9800 0 -1 1077944384 1 13422 0 0 0 0 5 2 20 0 15 0 48119844 11079016448 21567 33554432000 4194304 4196468 140727823485520 140389072018352 140389549611650 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8208384 140727823493291 140727823496540 140727823496540 140727823499215 0
Current children cumulated CPU time: 0.96 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 86268 KiB

[startup+1.5029 s]
/proc/loadavg: 1.56 1.59 1.59 3/215 11280
/proc/meminfo: memFree=16910444/32770624 swapFree=67108860/67108860
[pid=11214] ppid=11211 vsize=10834252 memory=180064 CPUtime=2.37 cores=0,2,4,6
/proc/11214/stat : 11214 (java) S 11211 11214 9800 0 -1 1077944320 24415 13422 0 0 221 9 5 2 20 0 15 0 48119829 11094274048 45016 33554432000 4194304 4196468 140727823485520 140727823468064 140389549600503 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 8208384 140727823493291 140727823496540 140727823496540 140727823499215 0
/proc/11214/statm: 2708563 45016 3476 1 0 2670221 0
[pid=11214/tid=11267] ppid=11211 vsize=10834252 memory=12848 CPUtime=1.41 cores=0,2,4,6
/proc/11214/task/11267/stat : 11267 (java) R 11211 11214 9800 0 -1 4202560 17749 13422 0 0 129 5 5 2 20 0 15 0 48119838 11094274048 45016 33554432000 4194304 4196468 140727823485520 140389521416792 140389529411927 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8208384 140727823493291 140727823496540 140727823496540 140727823499215 0
[pid=11214/tid=11268] ppid=11211 vsize=10834252 memory=6791534058613427641 CPUtime=0.08 cores=0,2,4,6
/proc/11214/task/11268/stat : 11268 (java) S 11211 11214 9800 0 -1 1077944384 18 13422 0 0 1 0 5 2 20 0 15 0 48119839 11094274048 45016 33554432000 4194304 4196468 140727823485520 140389553842576 140389549610709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8208384 140727823493291 140727823496540 140727823496540 140727823499215 0
[pid=11214/tid=11269] ppid=11211 vsize=10834252 memory=3296 CPUtime=0.08 cores=0,2,4,6
/proc/11214/task/11269/stat : 11269 (java) S 11211 11214 9800 0 -1 1077944384 171 13422 0 0 1 0 5 2 20 0 15 0 48119839 11094274048 45016 33554432000 4194304 4196468 140727823485520 140389468662032 140389549610709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8208384 140727823493291 140727823496540 140727823496540 140727823499215 0
[pid=11214/tid=11270] ppid=11211 vsize=10834252 memory=1096776 CPUtime=0.08 cores=0,2,4,6
/proc/11214/task/11270/stat : 11270 (java) S 11211 11214 9800 0 -1 1077944384 21 13422 0 0 1 0 5 2 20 0 15 0 48119839 11094274048 45016 33554432000 4194304 4196468 140727823485520 140389467609744 140389549610709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8208384 140727823493291 140727823496540 140727823496540 140727823499215 0
[pid=11214/tid=11271] ppid=11211 vsize=10834252 memory=86268 CPUtime=0.07 cores=0,2,4,6
/proc/11214/task/11271/stat : 11271 (java) S 11211 11214 9800 0 -1 1077944384 69 13422 0 0 0 0 5 2 20 0 15 0 48119839 11094274048 45016 33554432000 4194304 4196468 140727823485520 140389466556944 140389549610709 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8208384 140727823493291 140727823496540 140727823496540 140727823499215 0
[pid=11214/tid=11272] ppid=11211 vsize=10834252 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/11214/task/11272/stat : 11272 (java) S 11211 11214 9800 0 -1 1077944384 68 13422 0 0 1 0 5 2 20 0 15 0 48119841 11094274048 45016 33554432000 4194304 4196468 140727823485520 140389076228720 140389549611650 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8208384 140727823493291 140727823496540 140727823496540 140727823499215 0
[pid=11214/tid=11273] ppid=11211 vsize=10834252 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/11214/task/11273/stat : 11273 (java) S 11211 11214 9800 0 -1 1077944384 14 13422 0 0 0 0 5 2 20 0 15 0 48119841 11094274048 45016 33554432000 4194304 4196468 140727823485520 140388992017760 140389549610709 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8208384 140727823493291 140727823496540 140727823496540 140727823499215 0
[pid=11214/tid=11274] ppid=11211 vsize=10834252 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/11214/task/11274/stat : 11274 (java) S 11211 11214 9800 0 -1 1077944384 1 13422 0 0 0 0 5 2 20 0 15 0 48119841 11094274048 45016 33554432000 4194304 4196468 140727823485520 140388388038272 140389549610709 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8208384 140727823493291 140727823496540 140727823496540 140727823499215 0
[pid=11214/tid=11275] ppid=11211 vsize=10834252 memory=6791534058613427641 CPUtime=0.07 cores=0,2,4,6
/proc/11214/task/11275/stat : 11275 (java) S 11211 11214 9800 0 -1 1077944384 3 13422 0 0 0 0 5 2 20 0 15 0 48119844 11094274048 45016 33554432000 4194304 4196468 140727823485520 140388080638544 140389549619099 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8208384 140727823493291 140727823496540 140727823496540 140727823499215 0
[pid=11214/tid=11276] ppid=11211 vsize=10834252 memory=6935649255759568960 CPUtime=0.3 cores=0,2,4,6
/proc/11214/task/11276/stat : 11276 (java) S 11211 11214 9800 0 -1 1077944384 1584 13422 0 0 23 0 5 2 20 0 15 0 48119844 11094274048 45016 33554432000 4194304 4196468 140727823485520 140389075175536 140389549611650 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8208384 140727823493291 140727823496540 140727823496540 140727823499215 0
[pid=11214/tid=11277] ppid=11211 vsize=10834252 memory=281088564435904 CPUtime=0.32 cores=0,2,4,6
/proc/11214/task/11277/stat : 11277 (java) S 11211 11214 9800 0 -1 1077944384 1196 13422 0 0 25 0 5 2 20 0 15 0 48119844 11094274048 45016 33554432000 4194304 4196468 140727823485520 140389074122736 140389549611650 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8208384 140727823493291 140727823496540 140727823496540 140727823499215 0
[pid=11214/tid=11278] ppid=11211 vsize=10834252 memory=6944656592452938395 CPUtime=0.42 cores=0,2,4,6
/proc/11214/task/11278/stat : 11278 (java) S 11211 11214 9800 0 -1 1077944384 1326 13422 0 0 35 0 5 2 20 0 15 0 48119844 11094274048 45016 33554432000 4194304 4196468 140727823485520 140389073070448 140389549611650 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8208384 140727823493291 140727823496540 140727823496540 140727823499215 0
[pid=11214/tid=11279] ppid=11211 vsize=10834252 memory=-7522837583129502606 CPUtime=0.07 cores=0,2,4,6
/proc/11214/task/11279/stat : 11279 (java) S 11211 11214 9800 0 -1 1077944384 3 13422 0 0 0 0 5 2 20 0 15 0 48119844 11094274048 45016 33554432000 4194304 4196468 140727823485520 140388047079904 140389549610709 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8208384 140727823493291 140727823496540 140727823496540 140727823499215 0
[pid=11214/tid=11280] ppid=11211 vsize=10834252 memory=4206468019014099040 CPUtime=0.07 cores=0,2,4,6
/proc/11214/task/11280/stat : 11280 (java) S 11211 11214 9800 0 -1 1077944384 1 13422 0 0 0 0 5 2 20 0 15 0 48119844 11094274048 45016 33554432000 4194304 4196468 140727823485520 140389072018352 140389549611650 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8208384 140727823493291 140727823496540 140727823496540 140727823499215 0
Current children cumulated CPU time: 2.37 s
Current children cumulated vsize: 10834252 KiB

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

[startup+3.11176 s]
/proc/loadavg: 1.59 1.60 1.59 5/215 11280
/proc/meminfo: memFree=16759168/32770624 swapFree=67108860/67108860
[pid=11214] ppid=11211 vsize=10844512 memory=278612 CPUtime=6.31 cores=0,2,4,6
/proc/11214/stat : 11214 (java) S 11211 11214 9800 0 -1 1077944320 50380 13422 0 0 609 15 5 2 20 0 15 0 48119829 11104780288 69653 33554432000 4194304 4196468 140727823485520 140727823468064 140389549600503 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 8208384 140727823493291 140727823496540 140727823496540 140727823499215 0
/proc/11214/statm: 2711128 69653 3499 1 0 2672781 0
[pid=11214/tid=11267] ppid=11211 vsize=10844512 memory=6935649255759568960 CPUtime=3.01 cores=0,2,4,6
/proc/11214/task/11267/stat : 11267 (java) R 11211 11214 9800 0 -1 4202560 33853 13422 0 0 286 8 5 2 20 0 15 0 48119838 11104780288 69653 33554432000 4194304 4196468 140727823485520 140389521428080 140389534968655 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8208384 140727823493291 140727823496540 140727823496540 140727823499215 0
[pid=11214/tid=11268] ppid=11211 vsize=10844512 memory=193788 CPUtime=0.08 cores=0,2,4,6
/proc/11214/task/11268/stat : 11268 (java) S 11211 11214 9800 0 -1 1077944384 18 13422 0 0 1 0 5 2 20 0 15 0 48119839 11104780288 69653 33554432000 4194304 4196468 140727823485520 140389553842576 140389549610709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8208384 140727823493291 140727823496540 140727823496540 140727823499215 0
[pid=11214/tid=11269] ppid=11211 vsize=10844512 memory=12848 CPUtime=0.08 cores=0,2,4,6
/proc/11214/task/11269/stat : 11269 (java) S 11211 11214 9800 0 -1 1077944384 171 13422 0 0 1 0 5 2 20 0 15 0 48119839 11104780288 69653 33554432000 4194304 4196468 140727823485520 140389468662032 140389549610709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8208384 140727823493291 140727823496540 140727823496540 140727823499215 0
[pid=11214/tid=11270] ppid=11211 vsize=10844512 memory=281088563875408 CPUtime=0.08 cores=0,2,4,6
/proc/11214/task/11270/stat : 11270 (java) S 11211 11214 9800 0 -1 1077944384 21 13422 0 0 1 0 5 2 20 0 15 0 48119839 11104780288 69653 33554432000 4194304 4196468 140727823485520 140389467609744 140389549610709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8208384 140727823493291 140727823496540 140727823496540 140727823499215 0
[pid=11214/tid=11271] ppid=11211 vsize=10844512 memory=50337083820522 CPUtime=0.07 cores=0,2,4,6
/proc/11214/task/11271/stat : 11271 (java) S 11211 11214 9800 0 -1 1077944384 69 13422 0 0 0 0 5 2 20 0 15 0 48119839 11104780288 69653 33554432000 4194304 4196468 140727823485520 140389466556944 140389549610709 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8208384 140727823493291 140727823496540 140727823496540 140727823499215 0
[pid=11214/tid=11272] ppid=11211 vsize=10844512 memory=50337083820522 CPUtime=0.08 cores=0,2,4,6
/proc/11214/task/11272/stat : 11272 (java) S 11211 11214 9800 0 -1 1077944384 216 13422 0 0 1 0 5 2 20 0 15 0 48119841 11104780288 69653 33554432000 4194304 4196468 140727823485520 140389076228720 140389549611650 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8208384 140727823493291 140727823496540 140727823496540 140727823499215 0
[pid=11214/tid=11273] ppid=11211 vsize=10844512 memory=50337083818986 CPUtime=0.07 cores=0,2,4,6
/proc/11214/task/11273/stat : 11273 (java) S 11211 11214 9800 0 -1 1077944384 14 13422 0 0 0 0 5 2 20 0 15 0 48119841 11104780288 69684 33554432000 4194304 4196468 140727823485520 140388992017760 140389549610709 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8208384 140727823493291 140727823496540 140727823496540 140727823499215 0
[pid=11214/tid=11274] ppid=11211 vsize=10844512 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/11214/task/11274/stat : 11274 (java) S 11211 11214 9800 0 -1 1077944384 1 13422 0 0 0 0 5 2 20 0 15 0 48119841 11104780288 69684 33554432000 4194304 4196468 140727823485520 140388388038272 140389549610709 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8208384 140727823493291 140727823496540 140727823496540 140727823499215 0
[pid=11214/tid=11275] ppid=11211 vsize=10844512 memory=188695093204955 CPUtime=0.07 cores=0,2,4,6
/proc/11214/task/11275/stat : 11275 (java) S 11211 11214 9800 0 -1 1077944384 3 13422 0 0 0 0 5 2 20 0 15 0 48119844 11104780288 69684 33554432000 4194304 4196468 140727823485520 140388080638544 140389549619099 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8208384 140727823493291 140727823496540 140727823496540 140727823499215 0
[pid=11214/tid=11276] ppid=11211 vsize=10844512 memory=188695093204956 CPUtime=1.28 cores=0,2,4,6
/proc/11214/task/11276/stat : 11276 (java) R 11211 11214 9800 0 -1 4202560 5117 13422 0 0 120 1 5 2 20 0 15 0 48119844 11104780288 69684 33554432000 4194304 4196468 140727823485520 140389075159648 140389542700203 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8208384 140727823493291 140727823496540 140727823496540 140727823499215 0
[pid=11214/tid=11277] ppid=11211 vsize=10844512 memory=188695093204957 CPUtime=0.95 cores=0,2,4,6
/proc/11214/task/11277/stat : 11277 (java) R 11211 11214 9800 0 -1 4202560 2841 13422 0 0 87 1 5 2 20 0 15 0 48119844 11104780288 69684 33554432000 4194304 4196468 140727823485520 140389074112656 140389531124934 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8208384 140727823493291 140727823496540 140727823496540 140727823499215 0
[pid=11214/tid=11278] ppid=11211 vsize=10844512 memory=188695093204958 CPUtime=1.14 cores=0,2,4,6
/proc/11214/task/11278/stat : 11278 (java) S 11211 11214 9800 0 -1 1077944384 5855 13422 0 0 106 1 5 2 20 0 15 0 48119844 11104780288 69684 33554432000 4194304 4196468 140727823485520 140389073070448 140389549611650 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8208384 140727823493291 140727823496540 140727823496540 140727823499215 0
[pid=11214/tid=11279] ppid=11211 vsize=10844512 memory=200372 CPUtime=0.07 cores=0,2,4,6
/proc/11214/task/11279/stat : 11279 (java) S 11211 11214 9800 0 -1 1077944384 3 13422 0 0 0 0 5 2 20 0 15 0 48119844 11104780288 69684 33554432000 4194304 4196468 140727823485520 140388047079904 140389549610709 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8208384 140727823493291 140727823496540 140727823496540 140727823499215 0
[pid=11214/tid=11280] ppid=11211 vsize=10844512 memory=281088564412480 CPUtime=0.07 cores=0,2,4,6
/proc/11214/task/11280/stat : 11280 (java) R 11211 11214 9800 0 -1 1077944384 9 13422 0 0 0 0 5 2 20 0 15 0 48119844 11104780288 69684 33554432000 4194304 4196468 140727823485520 140389072018352 140389549611650 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 8208384 140727823493291 140727823496540 140727823496540 140727823499215 0
Current children cumulated CPU time: 6.31 s
Current children cumulated vsize: 10844512 KiB
Current children cumulated memory: 278612 KiB

[startup+4.24663 s]
# the end of solver process 11214 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=9.1533 s, system=0.251453 s

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

[startup+3.20087 s]
/proc/loadavg: 1.59 1.60 1.59 5/215 11280
/proc/meminfo: memFree=16759168/32770624 swapFree=67108860/67108860
[pid=11214] ppid=11211 vsize=10844512 memory=284364 CPUtime=6.52 cores=0,2,4,6
/proc/11214/stat : 11214 (java) S 11211 11214 9800 0 -1 1077944320 50879 13422 0 0 630 15 5 2 20 0 15 0 48119829 11104780288 71091 33554432000 4194304 4196468 140727823485520 140727823468064 140389549600503 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 8208384 140727823493291 140727823496540 140727823496540 140727823499215 0
/proc/11214/statm: 2711128 71091 3500 1 0 2672781 0
[pid=11214/tid=11267] ppid=11211 vsize=10844512 memory=281088563956736 CPUtime=3.11 cores=0,2,4,6
/proc/11214/task/11267/stat : 11267 (java) R 11211 11214 9800 0 -1 4202560 34209 13422 0 0 295 9 5 2 20 0 15 0 48119838 11104780288 71091 33554432000 4194304 4196468 140727823485520 140389521428112 140389533680990 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8208384 140727823493291 140727823496540 140727823496540 140727823499215 0
[pid=11214/tid=11268] ppid=11211 vsize=10844512 memory=281088563956928 CPUtime=0.08 cores=0,2,4,6
/proc/11214/task/11268/stat : 11268 (java) S 11211 11214 9800 0 -1 1077944384 18 13422 0 0 1 0 5 2 20 0 15 0 48119839 11104780288 71091 33554432000 4194304 4196468 140727823485520 140389553842576 140389549610709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8208384 140727823493291 140727823496540 140727823496540 140727823499215 0
[pid=11214/tid=11269] ppid=11211 vsize=10844512 memory=281088563957120 CPUtime=0.08 cores=0,2,4,6
/proc/11214/task/11269/stat : 11269 (java) S 11211 11214 9800 0 -1 1077944384 171 13422 0 0 1 0 5 2 20 0 15 0 48119839 11104780288 71091 33554432000 4194304 4196468 140727823485520 140389468662032 140389549610709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8208384 140727823493291 140727823496540 140727823496540 140727823499215 0
[pid=11214/tid=11270] ppid=11211 vsize=10844512 memory=281088563957312 CPUtime=0.08 cores=0,2,4,6
/proc/11214/task/11270/stat : 11270 (java) S 11211 11214 9800 0 -1 1077944384 21 13422 0 0 1 0 5 2 20 0 15 0 48119839 11104780288 71091 33554432000 4194304 4196468 140727823485520 140389467609744 140389549610709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8208384 140727823493291 140727823496540 140727823496540 140727823499215 0
[pid=11214/tid=11271] ppid=11211 vsize=10844512 memory=7669461220364151104 CPUtime=0.07 cores=0,2,4,6
/proc/11214/task/11271/stat : 11271 (java) S 11211 11214 9800 0 -1 1077944384 69 13422 0 0 0 0 5 2 20 0 15 0 48119839 11104780288 71091 33554432000 4194304 4196468 140727823485520 140389466556944 140389549610709 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8208384 140727823493291 140727823496540 140727823496540 140727823499215 0
[pid=11214/tid=11272] ppid=11211 vsize=10844512 memory=7595431076679410794 CPUtime=0.08 cores=0,2,4,6
/proc/11214/task/11272/stat : 11272 (java) S 11211 11214 9800 0 -1 1077944384 216 13422 0 0 1 0 5 2 20 0 15 0 48119841 11104780288 71091 33554432000 4194304 4196468 140727823485520 140389076228720 140389549611650 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8208384 140727823493291 140727823496540 140727823496540 140727823499215 0
[pid=11214/tid=11273] ppid=11211 vsize=10844512 memory=7882828121784479853 CPUtime=0.07 cores=0,2,4,6
/proc/11214/task/11273/stat : 11273 (java) S 11211 11214 9800 0 -1 1077944384 14 13422 0 0 0 0 5 2 20 0 15 0 48119841 11104780288 71091 33554432000 4194304 4196468 140727823485520 140388992017760 140389549610709 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8208384 140727823493291 140727823496540 140727823496540 140727823499215 0
[pid=11214/tid=11274] ppid=11211 vsize=10844512 memory=281088564066640 CPUtime=0.07 cores=0,2,4,6
/proc/11214/task/11274/stat : 11274 (java) S 11211 11214 9800 0 -1 1077944384 1 13422 0 0 0 0 5 2 20 0 15 0 48119841 11104780288 71091 33554432000 4194304 4196468 140727823485520 140388388038272 140389549610709 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8208384 140727823493291 140727823496540 140727823496540 140727823499215 0
[pid=11214/tid=11275] ppid=11211 vsize=10844512 memory=7589789555246391889 CPUtime=0.07 cores=0,2,4,6
/proc/11214/task/11275/stat : 11275 (java) S 11211 11214 9800 0 -1 1077944384 3 13422 0 0 0 0 5 2 20 0 15 0 48119844 11104780288 71091 33554432000 4194304 4196468 140727823485520 140388080638544 140389549619099 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8208384 140727823493291 140727823496540 140727823496540 140727823499215 0
[pid=11214/tid=11276] ppid=11211 vsize=10844512 memory=6075747703271346536 CPUtime=1.32 cores=0,2,4,6
/proc/11214/task/11276/stat : 11276 (java) S 11211 11214 9800 0 -1 1077944384 5140 13422 0 0 124 1 5 2 20 0 15 0 48119844 11104780288 71091 33554432000 4194304 4196468 140727823485520 140389075175536 140389549611650 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8208384 140727823493291 140727823496540 140727823496540 140727823499215 0
[pid=11214/tid=11277] ppid=11211 vsize=10844512 memory=6075747703271346536 CPUtime=0.99 cores=0,2,4,6
/proc/11214/task/11277/stat : 11277 (java) S 11211 11214 9800 0 -1 1077944384 2869 13422 0 0 91 1 5 2 20 0 15 0 48119844 11104780288 71091 33554432000 4194304 4196468 140727823485520 140389074122736 140389549611650 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8208384 140727823493291 140727823496540 140727823496540 140727823499215 0
[pid=11214/tid=11278] ppid=11211 vsize=10844512 memory=7589780763448336977 CPUtime=1.18 cores=0,2,4,6
/proc/11214/task/11278/stat : 11278 (java) S 11211 11214 9800 0 -1 1077944384 5946 13422 0 0 110 1 5 2 20 0 15 0 48119844 11104780288 71091 33554432000 4194304 4196468 140727823485520 140389073070448 140389549611650 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8208384 140727823493291 140727823496540 140727823496540 140727823499215 0
[pid=11214/tid=11279] ppid=11211 vsize=10844512 memory=7589784061983220305 CPUtime=0.07 cores=0,2,4,6
/proc/11214/task/11279/stat : 11279 (java) S 11211 11214 9800 0 -1 1077944384 3 13422 0 0 0 0 5 2 20 0 15 0 48119844 11104780288 71091 33554432000 4194304 4196468 140727823485520 140388047079904 140389549610709 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8208384 140727823493291 140727823496540 140727823496540 140727823499215 0
[pid=11214/tid=11280] ppid=11211 vsize=10844512 memory=7523658367804925010 CPUtime=0.07 cores=0,2,4,6
/proc/11214/task/11280/stat : 11280 (java) S 11211 11214 9800 0 -1 1077944384 9 13422 0 0 0 0 5 2 20 0 15 0 48119844 11104780288 71091 33554432000 4194304 4196468 140727823485520 140389072018352 140389549611650 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8208384 140727823493291 140727823496540 140727823496540 140727823499215 0
Current children cumulated CPU time: 6.52 s
Current children cumulated vsize: 10844512 KiB
Current children cumulated memory: 284364 KiB

[startup+4.00074 s]*
/proc/loadavg: 1.59 1.60 1.59 4/215 11280
/proc/meminfo: memFree=16678980/32770624 swapFree=67108860/67108860
[pid=11214] ppid=11211 vsize=10918548 memory=351264 CPUtime=8.72 cores=0,2,4,6
/proc/11214/stat : 11214 (java) S 11211 11214 9800 0 -1 1077944320 64457 13422 0 0 845 20 5 2 20 0 15 0 48119829 11180593152 87816 33554432000 4194304 4196468 140727823485520 140727823468064 140389549600503 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 8208384 140727823493291 140727823496540 140727823496540 140727823499215 0
/proc/11214/statm: 2729637 87816 3500 1 0 2691290 0
[pid=11214/tid=11267] ppid=11211 vsize=10918548 memory=738995380930871601 CPUtime=3.87 cores=0,2,4,6
/proc/11214/task/11267/stat : 11267 (java) R 11211 11214 9800 0 -1 4202560 42696 13422 0 0 370 10 5 2 20 0 15 0 48119838 11180593152 88014 33554432000 4194304 4196468 140727823485520 140389521414232 140389529876252 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8208384 140727823493291 140727823496540 140727823496540 140727823499215 0
[pid=11214/tid=11268] ppid=11211 vsize=10918548 memory=0 CPUtime=0.1 cores=0,2,4,6
/proc/11214/task/11268/stat : 11268 (java) S 11211 11214 9800 0 -1 1077944384 44 13422 0 0 3 0 5 2 20 0 15 0 48119839 11180593152 88014 33554432000 4194304 4196468 140727823485520 140389553842576 140389549610709 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8208384 140727823493291 140727823496540 140727823496540 140727823499215 0
[pid=11214/tid=11269] ppid=11211 vsize=10918548 memory=3546224080646629024 CPUtime=0.09 cores=0,2,4,6
/proc/11214/task/11269/stat : 11269 (java) S 11211 11214 9800 0 -1 1077944384 246 13422 0 0 2 0 5 2 20 0 15 0 48119839 11180593152 88014 33554432000 4194304 4196468 140727823485520 140389468662032 140389549610709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8208384 140727823493291 140727823496540 140727823496540 140727823499215 0
[pid=11214/tid=11270] ppid=11211 vsize=10918548 memory=6944656592455359580 CPUtime=0.1 cores=0,2,4,6
/proc/11214/task/11270/stat : 11270 (java) S 11211 11214 9800 0 -1 1077944384 39 13422 0 0 3 0 5 2 20 0 15 0 48119839 11180593152 88080 33554432000 4194304 4196468 140727823485520 140389467609744 140389549610709 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8208384 140727823493291 140727823496540 140727823496540 140727823499215 0
[pid=11214/tid=11271] ppid=11211 vsize=10918548 memory=6944656592455360604 CPUtime=0.09 cores=0,2,4,6
/proc/11214/task/11271/stat : 11271 (java) S 11211 11214 9800 0 -1 1077944384 102 13422 0 0 2 0 5 2 20 0 15 0 48119839 11180593152 88080 33554432000 4194304 4196468 140727823485520 140389466556944 140389549610709 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8208384 140727823493291 140727823496540 140727823496540 140727823499215 0
[pid=11214/tid=11272] ppid=11211 vsize=10918548 memory=0 CPUtime=0.1 cores=0,2,4,6
/proc/11214/task/11272/stat : 11272 (java) S 11211 11214 9800 0 -1 1077944384 2121 13422 0 0 3 0 5 2 20 0 15 0 48119841 11180593152 88080 33554432000 4194304 4196468 140727823485520 140389076228720 140389549611650 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8208384 140727823493291 140727823496540 140727823496540 140727823499215 0
[pid=11214/tid=11273] ppid=11211 vsize=10918548 memory=3472328296227418159 CPUtime=0.07 cores=0,2,4,6
/proc/11214/task/11273/stat : 11273 (java) S 11211 11214 9800 0 -1 1077944384 14 13422 0 0 0 0 5 2 20 0 15 0 48119841 11180593152 88080 33554432000 4194304 4196468 140727823485520 140388992017760 140389549610709 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8208384 140727823493291 140727823496540 140727823496540 140727823499215 0
[pid=11214/tid=11274] ppid=11211 vsize=10918548 memory=6944656592387989600 CPUtime=0.07 cores=0,2,4,6
/proc/11214/task/11274/stat : 11274 (java) S 11211 11214 9800 0 -1 1077944384 1 13422 0 0 0 0 5 2 20 0 15 0 48119841 11180593152 88080 33554432000 4194304 4196468 140727823485520 140388388038272 140389549610709 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8208384 140727823493291 140727823496540 140727823496540 140727823499215 0
[pid=11214/tid=11275] ppid=11211 vsize=10918548 memory=6944652177228980320 CPUtime=0.07 cores=0,2,4,6
/proc/11214/task/11275/stat : 11275 (java) S 11211 11214 9800 0 -1 1077944384 3 13422 0 0 0 0 5 2 20 0 15 0 48119844 11180593152 88080 33554432000 4194304 4196468 140727823485520 140388080638544 140389549619099 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8208384 140727823493291 140727823496540 140727823496540 140727823499215 0
[pid=11214/tid=11276] ppid=11211 vsize=10918548 memory=0 CPUtime=1.97 cores=0,2,4,6
/proc/11214/task/11276/stat : 11276 (java) R 11211 11214 9800 0 -1 4202560 7648 13422 0 0 188 2 5 2 20 0 15 0 48119844 11180593152 88080 33554432000 4194304 4196468 140727823485520 140389075161032 140389531147240 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8208384 140727823493291 140727823496540 140727823496540 140727823499215 0
[pid=11214/tid=11277] ppid=11211 vsize=10918548 memory=3472328279047811119 CPUtime=1.4 cores=0,2,4,6
/proc/11214/task/11277/stat : 11277 (java) S 11211 11214 9800 0 -1 1077944384 3045 13422 0 0 132 1 5 2 20 0 15 0 48119844 11180593152 88080 33554432000 4194304 4196468 140727823485520 140389074122736 140389549611650 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8208384 140727823493291 140727823496540 140727823496540 140727823499215 0
[pid=11214/tid=11278] ppid=11211 vsize=10918548 memory=3184238464489821872 CPUtime=1.46 cores=0,2,4,6
/proc/11214/task/11278/stat : 11278 (java) S 11211 11214 9800 0 -1 1077944384 6503 13422 0 0 137 2 5 2 20 0 15 0 48119844 11180593152 88080 33554432000 4194304 4196468 140727823485520 140389073070448 140389549611650 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8208384 140727823493291 140727823496540 140727823496540 140727823499215 0
[pid=11214/tid=11279] ppid=11211 vsize=10918548 memory=3472328279047811119 CPUtime=0.07 cores=0,2,4,6
/proc/11214/task/11279/stat : 11279 (java) S 11211 11214 9800 0 -1 1077944384 3 13422 0 0 0 0 5 2 20 0 15 0 48119844 11180593152 88080 33554432000 4194304 4196468 140727823485520 140388047079904 140389549610709 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8208384 140727823493291 140727823496540 140727823496540 140727823499215 0
[pid=11214/tid=11280] ppid=11211 vsize=10918548 memory=3472464442595022512 CPUtime=0.07 cores=0,2,4,6
/proc/11214/task/11280/stat : 11280 (java) S 11211 11214 9800 0 -1 1077944384 9 13422 0 0 0 0 5 2 20 0 15 0 48119844 11180593152 88080 33554432000 4194304 4196468 140727823485520 140389072018352 140389549611650 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8208384 140727823493291 140727823496540 140727823496540 140727823499215 0
Current children cumulated CPU time: 8.72 s
Current children cumulated vsize: 10918548 KiB
Current children cumulated memory: 351264 KiB

[startup+4.20065 s]
/proc/loadavg: 1.59 1.60 1.59 4/215 11280
/proc/meminfo: memFree=16678980/32770624 swapFree=67108860/67108860
[pid=11214] ppid=11211 vsize=10919048 memory=357236 CPUtime=9.34 cores=0,2,4,6
/proc/11214/stat : 11214 (java) S 11211 11214 9800 0 -1 1077944320 67269 13422 0 0 906 21 5 2 20 0 15 0 48119829 11181105152 89309 33554432000 4194304 4196468 140727823485520 140727823468064 140389549600503 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 8208384 140727823493291 140727823496540 140727823496540 140727823499215 0
/proc/11214/statm: 2729762 89309 3501 1 0 2691415 0
[pid=11214/tid=11267] ppid=11211 vsize=10919048 memory=-8197850346480373631 CPUtime=4.05 cores=0,2,4,6
/proc/11214/task/11267/stat : 11267 (java) R 11211 11214 9800 0 -1 4202560 43442 13422 0 0 388 10 5 2 20 0 15 0 48119838 11181105152 89309 33554432000 4194304 4196468 140727823485520 140389521432592 140389533680990 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8208384 140727823493291 140727823496540 140727823496540 140727823499215 0
[pid=11214/tid=11268] ppid=11211 vsize=10919048 memory=1400242874264906928 CPUtime=0.1 cores=0,2,4,6
/proc/11214/task/11268/stat : 11268 (java) S 11211 11214 9800 0 -1 1077944384 44 13422 0 0 3 0 5 2 20 0 15 0 48119839 11181105152 89309 33554432000 4194304 4196468 140727823485520 140389553842576 140389549610709 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8208384 140727823493291 140727823496540 140727823496540 140727823499215 0
[pid=11214/tid=11269] ppid=11211 vsize=10919048 memory=7813079629587626819 CPUtime=0.09 cores=0,2,4,6
/proc/11214/task/11269/stat : 11269 (java) S 11211 11214 9800 0 -1 1077944384 246 13422 0 0 2 0 5 2 20 0 15 0 48119839 11181105152 89309 33554432000 4194304 4196468 140727823485520 140389468662032 140389549610709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8208384 140727823493291 140727823496540 140727823496540 140727823499215 0
[pid=11214/tid=11270] ppid=11211 vsize=10919048 memory=4782886866368975006 CPUtime=0.1 cores=0,2,4,6
/proc/11214/task/11270/stat : 11270 (java) S 11211 11214 9800 0 -1 1077944384 39 13422 0 0 3 0 5 2 20 0 15 0 48119839 11181105152 89309 33554432000 4194304 4196468 140727823485520 140389467609744 140389549610709 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8208384 140727823493291 140727823496540 140727823496540 140727823499215 0
[pid=11214/tid=11271] ppid=11211 vsize=10919048 memory=8763946466874782557 CPUtime=0.09 cores=0,2,4,6
/proc/11214/task/11271/stat : 11271 (java) S 11211 11214 9800 0 -1 1077944384 102 13422 0 0 2 0 5 2 20 0 15 0 48119839 11181105152 89309 33554432000 4194304 4196468 140727823485520 140389466556944 140389549610709 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8208384 140727823493291 140727823496540 140727823496540 140727823499215 0
[pid=11214/tid=11272] ppid=11211 vsize=10919048 memory=140544413864593 CPUtime=0.1 cores=0,2,4,6
/proc/11214/task/11272/stat : 11272 (java) S 11211 11214 9800 0 -1 1077944384 2121 13422 0 0 3 0 5 2 20 0 15 0 48119841 11181105152 89309 33554432000 4194304 4196468 140727823485520 140389076228720 140389549611650 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8208384 140727823493291 140727823496540 140727823496540 140727823499215 0
[pid=11214/tid=11273] ppid=11211 vsize=10919048 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/11214/task/11273/stat : 11273 (java) S 11211 11214 9800 0 -1 1077944384 14 13422 0 0 0 0 5 2 20 0 15 0 48119841 11181105152 89309 33554432000 4194304 4196468 140727823485520 140388992017760 140389549610709 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8208384 140727823493291 140727823496540 140727823496540 140727823499215 0
[pid=11214/tid=11274] ppid=11211 vsize=10919048 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/11214/task/11274/stat : 11274 (java) S 11211 11214 9800 0 -1 1077944384 1 13422 0 0 0 0 5 2 20 0 15 0 48119841 11181105152 89309 33554432000 4194304 4196468 140727823485520 140388388038272 140389549610709 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8208384 140727823493291 140727823496540 140727823496540 140727823499215 0
[pid=11214/tid=11275] ppid=11211 vsize=10919048 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/11214/task/11275/stat : 11275 (java) S 11211 11214 9800 0 -1 1077944384 3 13422 0 0 0 0 5 2 20 0 15 0 48119844 11181105152 89309 33554432000 4194304 4196468 140727823485520 140388080638544 140389549619099 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8208384 140727823493291 140727823496540 140727823496540 140727823499215 0
[pid=11214/tid=11276] ppid=11211 vsize=10919048 memory=0 CPUtime=2.15 cores=0,2,4,6
/proc/11214/task/11276/stat : 11276 (java) R 11211 11214 9800 0 -1 4202560 9225 13422 0 0 206 2 5 2 20 0 15 0 48119844 11181105152 89309 33554432000 4194304 4196468 140727823485520 140389075161696 140389531124122 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8208384 140727823493291 140727823496540 140727823496540 140727823499215 0
[pid=11214/tid=11277] ppid=11211 vsize=10919048 memory=2867664571609120 CPUtime=1.55 cores=0,2,4,6
/proc/11214/task/11277/stat : 11277 (java) R 11211 11214 9800 0 -1 4202560 3131 13422 0 0 147 1 5 2 20 0 15 0 48119844 11181105152 89309 33554432000 4194304 4196468 140727823485520 140389074113680 140389531144249 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8208384 140727823493291 140727823496540 140727823496540 140727823499215 0
[pid=11214/tid=11278] ppid=11211 vsize=10919048 memory=7523635247625295465 CPUtime=1.54 cores=0,2,4,6
/proc/11214/task/11278/stat : 11278 (java) S 11211 11214 9800 0 -1 1077944384 6698 13422 0 0 145 2 5 2 20 0 15 0 48119844 11181105152 89309 33554432000 4194304 4196468 140727823485520 140389073070448 140389549611650 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8208384 140727823493291 140727823496540 140727823496540 140727823499215 0
[pid=11214/tid=11279] ppid=11211 vsize=10919048 memory=7805974384891420736 CPUtime=0.07 cores=0,2,4,6
/proc/11214/task/11279/stat : 11279 (java) S 11211 11214 9800 0 -1 1077944384 3 13422 0 0 0 0 5 2 20 0 15 0 48119844 11181105152 89309 33554432000 4194304 4196468 140727823485520 140388047079904 140389549610709 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8208384 140727823493291 140727823496540 140727823496540 140727823499215 0
[pid=11214/tid=11280] ppid=11211 vsize=10919048 memory=45498367 CPUtime=0.07 cores=0,2,4,6
/proc/11214/task/11280/stat : 11280 (java) S 11211 11214 9800 0 -1 1077944384 10 13422 0 0 0 0 5 2 20 0 15 0 48119844 11181105152 89309 33554432000 4194304 4196468 140727823485520 140389072018352 140389549611650 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8208384 140727823493291 140727823496540 140727823496540 140727823499215 0
Current children cumulated CPU time: 9.34 s
Current children cumulated vsize: 10919048 KiB
Current children cumulated memory: 357236 KiB

Child status: 0
Real time (s): 4.24668
CPU time (s): 9.40475
CPU user time (s): 9.1533
CPU system time (s): 0.251453
CPU usage (%): 221.461
Max. virtual memory (cumulated for all children) (KiB): 10919048
Max. memory (cumulated for all children) (KiB): 357236

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 9.1533
system time used= 0.251453
maximum resident set size= 359432
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 80767
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= 6557
involuntary context switches= 48


# summary of solver processes directly reported to runsolver:
#   pid: 11214
#   total CPU time (s): 9.40475
#   total CPU user time (s): 9.1533
#   total CPU system time (s): 0.251453

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.044352 second user time and 0.086689 second system time

The end

Launcher Data 

Begin job on node106 at 2018-07-23 02:26:09
IDJOB=4293038
IDBENCH=141104
IDSOLVER=2751
FILE ID=node106/4293038-1532305569
RUNJOBID= node106-1532295772-9831
PBS_JOBID= 21018983
Free space on /tmp= 53004 MiB

SOLVER NAME= Concrete 3.8-SuperNG 2018-06-13
BENCH NAME= XCSP18/Tal/Tal-01_c18.xml
COMMAND LINE= concrete-3.8/bin/xcsp-3-concrete -J-Xss32M -randomseed=RANDOMSEED -superng BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4293038-1532305569/watcher-4293038-1532305569 -o /tmp/evaluation-result-4293038-1532305569/solver-4293038-1532305569 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node106-1532295772-9831 --watchdog 2580  concrete-3.8/bin/xcsp-3-concrete -J-Xss32M -randomseed=1066055349 -superng HOME/instance-4293038-1532305569.xml

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

MD5SUM BENCH= be8acda3d02cf8f075ea348930aabd56
RANDOM SEED=1066055349

node106.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	: 5334.11
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	: 5334.11
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	: 5334.11
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	: 5334.11
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:        17007088 kB
MemAvailable:   30851296 kB
Buffers:          254056 kB
Cached:         13678916 kB
SwapCached:            0 kB
Active:          2466016 kB
Inactive:       12607504 kB
Active(anon):    1143900 kB
Inactive(anon):    17096 kB
Active(file):    1322116 kB
Inactive(file): 12590408 kB
Unevictable:        6920 kB
Mlocked:            6920 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             26040 kB
Writeback:             0 kB
AnonPages:       1156448 kB
Mapped:            49732 kB
Shmem:             17036 kB
Slab:             387364 kB
SReclaimable:     360144 kB
SUnreclaim:        27220 kB
KernelStack:        3808 kB
PageTables:         7964 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1857024 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1054720 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      109952 kB
DirectMap2M:    33435648 kB

Free space on /tmp at the end= 52980 MiB
End job on node106 at 2018-07-23 02:26:14