Trace number 4402883

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.3SAT (TO)43 2520.07 2486.14

General information on the benchmark

NameStillLife/StillLife-m1-s1/
StillLife-05-15.xml
MD5SUM194a9771da43b175c5c48a6f0c769610
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark43
Best CPU time to get the best result obtained on this benchmark29.4975
Satisfiable
(Un)Satisfiability was proved
Number of variables150
Number of constraints182
Number of domains2
Minimum domain size2
Maximum domain size9
Distribution of domain sizes[{"size":2,"count":75},{"size":9,"count":75}]
Minimum variable degree2
Maximum variable degree10
Distribution of variable degrees[{"degree":2,"count":75},{"degree":7,"count":4},{"degree":8,"count":32},{"degree":10,"count":39}]
Minimum constraint arity2
Maximum constraint arity9
Distribution of constraint arities[{"arity":2,"count":75},{"arity":3,"count":32},{"arity":4,"count":4},{"arity":6,"count":32},{"arity":9,"count":39}]
Number of extensional constraints107
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":107},{"type":"sum","count":75}]
Optimization problemYES
Type of objectivemax 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.88/2.60	c Concrete v3.12.3.1568965526260 running
9.97/13.37	o 24
9.97/13.38	o 26
10.32/13.41	o 27
10.63/13.56	o 28
10.63/13.58	o 29
10.63/13.59	o 30
11.55/13.87	o 31
11.55/13.88	o 32
12.97/14.37	o 34
13.61/14.77	o 35
14.59/15.43	o 36
15.68/16.40	o 37
18.12/18.73	o 38
20.39/20.91	o 39
21.40/21.91	o 40
152.44/151.72	o 41
203.67/202.46	o 42
234.11/232.58	o 43
2520.02/2486.11	Exception in thread "main" java.util.concurrent.TimeoutException
2520.02/2486.11		at concrete.MAC.mac(MAC.scala:192)
2520.02/2486.11		at concrete.MAC.$anonfun$oneRun$1(MAC.scala:265)
2520.02/2486.11		at scala.util.Try$.apply(Try.scala:210)
2520.02/2486.11		at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:179)
2520.02/2486.11		at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:183)
2520.02/2486.11		at cspom.StatisticsManager$.measure(StatisticsManager.scala:179)
2520.02/2486.11		at concrete.MAC.oneRun(MAC.scala:265)
2520.02/2486.11		at concrete.MAC.nextSolution(MAC.scala:284)
2520.02/2486.11		at concrete.MAC.nextSolution(MAC.scala:369)
2520.02/2486.11		at concrete.Solver.hasNext(Solver.scala:160)
2520.02/2486.11		at scala.collection.IterableOnceOps.foreach(IterableOnce.scala:553)
2520.02/2486.11		at scala.collection.IterableOnceOps.foreach$(IterableOnce.scala:551)
2520.02/2486.11		at concrete.Solver.foreach(Solver.scala:67)
2520.02/2486.11		at concrete.runner.ConcreteRunner.$anonfun$run$3(ConcreteRunner.scala:73)
2520.02/2486.11		at scala.util.Success.map(Try.scala:262)
2520.02/2486.12		at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:68)
2520.02/2486.12		at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:32)
2520.02/2486.12		at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:17)
2520.02/2486.12		at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:121)
2520.02/2486.12		at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:17)
2520.02/2486.12		at scala.Function0.apply$mcV$sp(Function0.scala:39)
2520.02/2486.12		at scala.Function0.apply$mcV$sp$(Function0.scala:39)
2520.02/2486.12		at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:17)
2520.02/2486.12		at scala.App.$anonfun$main$1(App.scala:73)
2520.02/2486.12		at scala.App.$anonfun$main$1$adapted(App.scala:73)
2520.02/2486.12		at scala.collection.IterableOnceOps.foreach(IterableOnce.scala:553)
2520.02/2486.12		at scala.collection.IterableOnceOps.foreach$(IterableOnce.scala:551)
2520.02/2486.12		at scala.collection.AbstractIterable.foreach(Iterable.scala:921)
2520.02/2486.12		at scala.App.main(App.scala:73)
2520.02/2486.12		at scala.App.main$(App.scala:71)
2520.02/2486.12		at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:17)
2520.02/2486.12		at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
2520.02/2486.13	v <instantiation
2520.02/2486.13	v         cost = '43'>
2520.02/2486.13	v       <list>
2520.02/2486.13	v         x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] x[4][12] x[4][13] x[4][14] s[0][0] s[0][1] s[0][2] s[0][3] s[0][4] s[0][5] s[0][6] s[0][7] s[0][8] s[0][9] s[0][10] s[0][11] s[0][12] s[0][13] s[0][14] s[1][0] s[1][1] s[1][2] s[1][3] s[1][4] s[1][5] s[1][6] s[1][7] s[1][8] s[1][9] s[1][10] s[1][11] s[1][12] s[1][13] s[1][14] s[2][0] s[2][1] s[2][2] s[2][3] s[2][4] s[2][5] s[2][6] s[2][7] s[2][8] s[2][9] s[2][10] s[2][11] s[2][12] s[2][13] s[2][14] s[3][0] s[3][1] s[3][2] s[3][3] s[3][4] s[3][5] s[3][6] s[3][7] s[3][8] s[3][9] s[3][10] s[3][11] s[3][12] s[3][13] s[3][14] s[4][0] s[4][1] s[4][2] s[4][3] s[4][4] s[4][5] s[4][6] s[4][7] s[4][8] s[4][9] s[4][10] s[4][11] s[4][12] s[4][13] s[4][14]
2520.02/2486.13	v       </list>
2520.02/2486.13	v       <values>
2520.02/2486.13	v         1 0 1 1 0 1 1 0 1 0 1 1 0 1 1 1 1 0 1 0 1 0 1 1 1 0 1 0 1 1 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 1 1 0 1 0 1 0 1 1 1 0 1 0 1 1 1 0 1 1 0 1 1 0 1 0 1 1 0 1 1 2 4 3 2 4 2 3 4 3 4 3 2 4 3 3 2 3 5 3 6 3 5 3 3 3 5 3 5 3 3 4 4 5 2 6 2 5 4 6 4 5 2 5 4 4 2 3 5 3 6 3 5 3 3 3 5 3 5 3 3 2 4 3 2 4 2 3 4 3 4 3 2 4 3 3
2520.02/2486.13	v       </values>
2520.02/2486.13	v     </instantiation>
2520.02/2486.13	s SATISFIABLE

Verifier Data 

OK	43

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4402883-1568967638/watcher-4402883-1568967638 -o /tmp/evaluation-result-4402883-1568967638/solver-4402883-1568967638 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node120-1324482060-14012 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=1159292332 HOME/instance-4402883-1568967638.xml 

running on 4 cores: 0-3

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=14042, runsolver pid=14029

[startup+0.100152 s]*
/proc/loadavg: 0.24 0.06 0.06 3/202 14046
/proc/meminfo: memFree=4355620/32770688 swapFree=66927176/67108860
[pid=14042] ppid=14029 vsize=9376 memory=760 CPUtime=0 cores=0-3
/proc/14042/stat : 14042 (bash) R 14029 14042 13981 0 -1 4202496 479 0 0 0 0 0 0 0 20 0 1 0 472770958 9601024 125 33554432000 4194304 5098028 140728466284464 140728466284464 140711505994750 0 0 4096 0 0 0 0 17 0 0 0 10 0 0 7196144 7232144 8343552 140728466289684 140728466289809 140728466289809 140728466292718 0
/proc/14042/statm: 28274 125 98 221 0 86 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 9376 KiB
Current children cumulated memory: 760 KiB

[startup+0.21078 s]*
/proc/loadavg: 0.24 0.06 0.06 2/205 14049
/proc/meminfo: memFree=4354188/32770688 swapFree=66927176/67108860
[pid=14042] ppid=14029 vsize=113256 memory=1452 CPUtime=0 cores=0-3
/proc/14042/stat : 14042 (bash) S 14029 14042 13981 0 -1 4202496 695 0 0 0 0 0 0 0 20 0 1 0 472770958 115974144 363 33554432000 4194304 5098028 140728466284464 140728466282104 140711505972224 0 0 4100 65536 18446744071580971376 0 0 17 0 0 0 10 0 0 7196144 7232144 8343552 140728466289684 140728466289809 140728466289809 140728466292718 0
/proc/14042/statm: 28314 363 289 221 0 119 0
[pid=14047] ppid=14042 vsize=113256 memory=708 CPUtime=0 cores=0-3
/proc/14047/stat : 14047 (bash) S 14042 14042 13981 0 -1 4202560 172 0 0 0 0 0 0 0 20 0 1 0 472770970 115974144 177 33554432000 4194304 5098028 140728466284464 140728466280632 140711505797756 0 65536 4096 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 8343552 140728466289684 140728466289809 140728466289809 140728466292718 0
/proc/14047/statm: 28314 177 101 221 0 119 0
[pid=14048] ppid=14047 vsize=113256 memory=716 CPUtime=0 cores=0-3
/proc/14048/stat : 14048 (bash) S 14047 14042 13981 0 -1 4202560 146 0 0 0 0 0 0 0 20 0 1 0 472770970 115974144 179 33554432000 4194304 5098028 140728466284464 140728466277640 140711505972224 0 0 4096 65538 18446744071580971376 0 0 17 2 0 0 0 0 0 7196144 7232144 8343552 140728466289684 140728466289809 140728466289809 140728466292718 0
/proc/14048/statm: 28314 179 103 221 0 119 0
[pid=14049] ppid=14048 vsize=113256 memory=496 CPUtime=0 cores=0-3
/proc/14049/stat : 14049 (bash) R 14048 14042 13981 0 -1 4202560 127 0 0 0 0 0 0 0 20 0 1 0 472770970 115974144 124 33554432000 4194304 5098028 140728466284464 140728466276696 140711505970549 0 0 4096 65538 0 0 0 17 3 0 0 0 0 0 7196144 7232144 8343552 140728466289684 140728466289809 140728466289809 140728466292718 0
/proc/14049/statm: 28314 124 48 221 0 119 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 453024 KiB
Current children cumulated memory: 3372 KiB

[startup+0.310854 s]*
/proc/loadavg: 0.24 0.06 0.06 2/205 14053
/proc/meminfo: memFree=4353924/32770688 swapFree=66927176/67108860
[pid=14042] ppid=14029 vsize=113256 memory=1452 CPUtime=0 cores=0-3
/proc/14042/stat : 14042 (bash) S 14029 14042 13981 0 -1 4202496 695 0 0 0 0 0 0 0 20 0 1 0 472770958 115974144 363 33554432000 4194304 5098028 140728466284464 140728466282104 140711505972224 0 0 4100 65536 18446744071580971376 0 0 17 0 0 0 10 0 0 7196144 7232144 8343552 140728466289684 140728466289809 140728466289809 140728466292718 0
/proc/14042/statm: 28314 363 289 221 0 119 0
[pid=14047] ppid=14042 vsize=113256 memory=708 CPUtime=0 cores=0-3
/proc/14047/stat : 14047 (bash) S 14042 14042 13981 0 -1 4202560 172 0 0 0 0 0 0 0 20 0 1 0 472770970 115974144 177 33554432000 4194304 5098028 140728466284464 140728466280632 140711505797756 0 65536 4096 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 8343552 140728466289684 140728466289809 140728466289809 140728466292718 0
/proc/14047/statm: 28314 177 101 221 0 119 0
[pid=14048] ppid=14047 vsize=113256 memory=884 CPUtime=0 cores=0-3
/proc/14048/stat : 14048 (bash) S 14047 14042 13981 0 -1 4202560 211 428 0 1 0 0 0 0 20 0 1 0 472770970 115974144 221 33554432000 4194304 5098028 140728466284464 140728466277928 140711505972224 0 0 4096 65538 18446744071580971376 0 0 17 2 0 0 0 0 0 7196144 7232144 8343552 140728466289684 140728466289809 140728466289809 140728466292718 0
/proc/14048/statm: 28314 221 145 221 0 119 0
[pid=14053] ppid=14048 vsize=113256 memory=488 CPUtime=0 cores=0-3
/proc/14053/stat : 14053 (bash) D 14048 14042 13981 0 -1 4202560 126 0 0 0 0 0 0 0 20 0 1 0 472770984 115974144 122 33554432000 4194304 5098028 140728466284464 140728466276984 140711505970549 0 0 4096 65538 18446744071585676691 0 0 17 0 0 0 0 0 0 7196144 7232144 8343552 140728466289684 140728466289809 140728466289809 140728466292718 0
/proc/14053/statm: 28314 122 46 221 0 119 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 453024 KiB
Current children cumulated memory: 3532 KiB

[startup+0.70054 s]
/proc/loadavg: 0.24 0.06 0.06 2/205 14099
/proc/meminfo: memFree=4352336/32770688 swapFree=66927176/67108860
[pid=14042] ppid=14029 vsize=113256 memory=1616 CPUtime=0.01 cores=0-3
/proc/14042/stat : 14042 (bash) S 14029 14042 13981 0 -1 4202496 888 5697 0 1 0 0 0 1 20 0 1 0 472770958 115974144 404 33554432000 4194304 5098028 140728466284464 140728466278472 140711505972224 0 0 4100 65536 18446744071580971376 0 0 17 0 0 0 10 0 0 7196144 7232144 8343552 140728466289684 140728466289809 140728466289809 140728466292718 0
/proc/14042/statm: 28314 404 320 221 0 119 0
[pid=14095] ppid=14042 vsize=113256 memory=712 CPUtime=0 cores=0-3
/proc/14095/stat : 14095 (bash) S 14042 14042 13981 0 -1 4202560 154 0 0 0 0 0 0 0 20 0 1 0 472771003 115974144 178 33554432000 4194304 5098028 140728466284464 140728466277144 140711505797756 0 65536 4096 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 8343552 140728466289684 140728466289809 140728466289809 140728466292718 0
/proc/14095/statm: 28314 178 94 221 0 119 0
[pid=14096] ppid=14095 vsize=30188 memory=796 CPUtime=0 cores=0-3
/proc/14096/stat : 14096 (java) D 14095 14042 13981 0 -1 4202496 362 0 0 0 0 0 0 0 20 0 1 0 472771003 30912512 199 33554432000 4194304 4196468 140723351635584 140723351617064 140012531906185 0 0 4096 0 18446744071580431491 0 0 17 3 0 0 0 0 0 6293624 6294260 38047744 140723351643276 140723351643290 140723351643290 140723351646159 0
/proc/14096/statm: 7547 199 161 1 0 159 0
[pid=14099] ppid=14095 vsize=113488 memory=972 CPUtime=0 cores=0-3
/proc/14099/stat : 14099 (awk) S 14095 14042 13981 0 -1 4202496 425 0 0 0 0 0 0 0 20 0 1 0 472771003 116211712 243 33554432000 4194304 4609284 140732330277472 140732330276648 139820938779648 0 0 4096 1216 18446744071580971376 0 0 17 0 0 0 0 0 0 6708720 6711756 26386432 140732330280124 140732330280154 140732330280154 140732330282991 0
/proc/14099/statm: 28372 243 204 102 0 88 0
Current children cumulated CPU time: 0.01 s
Current children cumulated vsize: 370188 KiB
Current children cumulated memory: 4096 KiB

[startup+1.50063 s]
/proc/loadavg: 0.38 0.10 0.07 2/207 14101
/proc/meminfo: memFree=4325716/32770688 swapFree=66927176/67108860
[pid=14042] ppid=14029 vsize=113256 memory=1616 CPUtime=0.09 cores=0-3
/proc/14042/stat : 14042 (bash) S 14029 14042 13981 0 -1 4202496 920 11026 0 2 0 0 6 3 20 0 1 0 472770958 115974144 404 33554432000 4194304 5098028 140728466284464 140728466277688 140711505972224 0 0 4100 65536 18446744071580971376 0 0 17 1 0 0 10 0 0 7196144 7232144 8343552 140728466289684 140728466289809 140728466289809 140728466292718 0
/proc/14042/statm: 28314 404 320 221 0 119 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 113256 KiB
Current children cumulated memory: 1616 KiB

[startup+3.11107 s]
/proc/loadavg: 0.38 0.10 0.07 2/228 14175
/proc/meminfo: memFree=4230344/32770688 swapFree=66927176/67108860
[pid=14042] ppid=14029 vsize=10822316 memory=72856 CPUtime=1.02 cores=0-3
/proc/14042/stat : 14042 (java) S 14029 14042 13981 0 -1 1077944320 14462 13069 0 3 88 5 6 3 20 0 15 0 472770958 11082051584 18214 33554432000 4194304 4196468 140734731402368 140734731384912 140573045247735 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 10 0 0 6293624 6294260 30900224 140734731410159 140734731412677 140734731412677 140734731415503 0
/proc/14042/statm: 2705579 18214 3492 1 0 2667661 0
[pid=14042/tid=14147] ppid=14029 vsize=10822316 memory=0 CPUtime=0.64 cores=0-3
/proc/14042/task/14147/stat : 14147 (java) D 14029 14042 13981 0 -1 4202560 9836 13069 0 3 51 4 6 3 20 0 15 0 472771118 11082051584 18214 33554432000 4194304 4196468 140734731402368 140573017076016 140573045269661 0 4 0 16800975 18446744071580419588 0 0 -1 2 0 0 70 0 0 6293624 6294260 30900224 140734731410159 140734731412677 140734731412677 140734731415503 0
[pid=14042/tid=14152] ppid=14029 vsize=10822316 memory=-4695052241013923951 CPUtime=0.09 cores=0-3
/proc/14042/task/14152/stat : 14152 (java) S 14029 14042 13981 0 -1 1077944384 1 13069 0 3 0 0 6 3 20 0 15 0 472771121 11082051584 18214 33554432000 4194304 4196468 140734731402368 140573049490320 140573045257941 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30900224 140734731410159 140734731412677 140734731412677 140734731415503 0
[pid=14042/tid=14153] ppid=14029 vsize=10822316 memory=6944656592387989600 CPUtime=0.09 cores=0-3
/proc/14042/task/14153/stat : 14153 (java) S 14029 14042 13981 0 -1 1077944384 2 13069 0 3 0 0 6 3 20 0 15 0 472771121 11082051584 18214 33554432000 4194304 4196468 140734731402368 140572618648336 140573045257941 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30900224 140734731410159 140734731412677 140734731412677 140734731415503 0
[pid=14042/tid=14154] ppid=14029 vsize=10822316 memory=69508 CPUtime=0.09 cores=0-3
/proc/14042/task/14154/stat : 14154 (java) S 14029 14042 13981 0 -1 1077944384 2 13069 0 3 0 0 6 3 20 0 15 0 472771121 11082051584 18214 33554432000 4194304 4196468 140734731402368 140572617596048 140573045257941 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30900224 140734731410159 140734731412677 140734731412677 140734731415503 0
[pid=14042/tid=14155] ppid=14029 vsize=10822316 memory=3624 CPUtime=0.09 cores=0-3
/proc/14042/task/14155/stat : 14155 (java) S 14029 14042 13981 0 -1 1077944384 2 13069 0 3 0 0 6 3 20 0 15 0 472771121 11082051584 18214 33554432000 4194304 4196468 140734731402368 140572616543248 140573045257941 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30900224 140734731410159 140734731412677 140734731412677 140734731415503 0
[pid=14042/tid=14157] ppid=14029 vsize=10822316 memory=63464 CPUtime=0.09 cores=0-3
/proc/14042/task/14157/stat : 14157 (java) S 14029 14042 13981 0 -1 1077944384 5 13069 0 3 0 0 6 3 20 0 15 0 472771123 11082051584 18214 33554432000 4194304 4196468 140734731402368 140572115777648 140573045258882 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30900224 140734731410159 140734731412677 140734731412677 140734731415503 0
[pid=14042/tid=14160] ppid=14029 vsize=10822316 memory=984 CPUtime=0.09 cores=0-3
/proc/14042/task/14160/stat : 14160 (java) S 14029 14042 13981 0 -1 1077944384 33 13069 0 3 0 0 6 3 20 0 15 0 472771123 11082051584 18214 33554432000 4194304 4196468 140734731402368 140572114723616 140573045257941 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30900224 140734731410159 140734731412677 140734731412677 140734731415503 0
[pid=14042/tid=14161] ppid=14029 vsize=10822316 memory=2020 CPUtime=0.09 cores=0-3
/proc/14042/task/14161/stat : 14161 (java) S 14029 14042 13981 0 -1 1077944384 1 13069 0 3 0 0 6 3 20 0 15 0 472771123 11082051584 18214 33554432000 4194304 4196468 140734731402368 140571930780784 140573045257941 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30900224 140734731410159 140734731412677 140734731412677 140734731415503 0
[pid=14042/tid=14167] ppid=14029 vsize=10822316 memory=1420 CPUtime=0.09 cores=0-3
/proc/14042/task/14167/stat : 14167 (java) S 14029 14042 13981 0 -1 1077944384 3 13069 0 3 0 0 6 3 20 0 15 0 472771128 11082051584 18214 33554432000 4194304 4196468 140734731402368 140571623381072 140573045266331 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30900224 140734731410159 140734731412677 140734731412677 140734731415503 0
[pid=14042/tid=14168] ppid=14029 vsize=10822316 memory=776 CPUtime=0.18 cores=0-3
/proc/14042/task/14168/stat : 14168 (java) S 14029 14042 13981 0 -1 1077944384 936 13069 0 3 9 0 6 3 20 0 15 0 472771128 11082051584 18214 33554432000 4194304 4196468 140734731402368 140572081166960 140573045258882 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30900224 140734731410159 140734731412677 140734731412677 140734731415503 0
[pid=14042/tid=14169] ppid=14029 vsize=10822316 memory=62716454636266 CPUtime=0.19 cores=0-3
/proc/14042/task/14169/stat : 14169 (java) S 14029 14042 13981 0 -1 1077944384 672 13069 0 3 10 0 6 3 20 0 15 0 472771128 11082051584 18214 33554432000 4194304 4196468 140734731402368 140572080114160 140573045258882 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30900224 140734731410159 140734731412677 140734731412677 140734731415503 0
[pid=14042/tid=14170] ppid=14029 vsize=10822316 memory=139759577998672 CPUtime=0.25 cores=0-3
/proc/14042/task/14170/stat : 14170 (java) S 14029 14042 13981 0 -1 1077944384 758 13069 0 3 16 0 6 3 20 0 15 0 472771128 11082051584 18214 33554432000 4194304 4196468 140734731402368 140572079061872 140573045258882 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30900224 140734731410159 140734731412677 140734731412677 140734731415503 0
[pid=14042/tid=14171] ppid=14029 vsize=10822316 memory=279519155997248 CPUtime=0.09 cores=0-3
/proc/14042/task/14171/stat : 14171 (java) S 14029 14042 13981 0 -1 1077944384 3 13069 0 3 0 0 6 3 20 0 15 0 472771128 11082051584 18214 33554432000 4194304 4196468 140734731402368 140571589823456 140573045257941 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30900224 140734731410159 140734731412677 140734731412677 140734731415503 0
[pid=14042/tid=14173] ppid=14029 vsize=10822316 memory=0 CPUtime=0.09 cores=0-3
/proc/14042/task/14173/stat : 14173 (java) S 14029 14042 13981 0 -1 1077944384 1 13069 0 3 0 0 6 3 20 0 15 0 472771135 11082051584 18214 33554432000 4194304 4196468 140734731402368 140572078008752 140573045258882 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30900224 140734731410159 140734731412677 140734731412677 140734731415503 0
Current children cumulated CPU time: 1.02 s
Current children cumulated vsize: 10822316 KiB
Current children cumulated memory: 72856 KiB
heavy processes:

[startup+6.30073 s]
/proc/loadavg: 0.51 0.13 0.08 2/228 14176
/proc/meminfo: memFree=4195372/32770688 swapFree=66927176/67108860
[pid=14042] ppid=14029 vsize=10822316 memory=76668 CPUtime=1.15 cores=0-3
/proc/14042/stat : 14042 (java) S 14029 14042 13981 0 -1 1077944320 14960 13069 0 3 100 6 6 3 20 0 15 0 472770958 11082051584 19167 33554432000 4194304 4196468 140734731402368 140734731384912 140573045247735 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 10 0 0 6293624 6294260 30900224 140734731410159 140734731412677 140734731412677 140734731415503 0
/proc/14042/statm: 2705579 19167 3501 1 0 2667661 0
[pid=14042/tid=14147] ppid=14029 vsize=10822316 memory=164 CPUtime=0.7 cores=0-3
/proc/14042/task/14147/stat : 14147 (java) D 14029 14042 13981 0 -1 4202560 10280 13069 0 3 56 5 6 3 20 0 15 0 472771118 11082051584 19167 33554432000 4194304 4196468 140734731402368 140573017074128 140573045269661 0 4 0 16800975 18446744071580419588 0 0 -1 0 0 0 283 0 0 6293624 6294260 30900224 140734731410159 140734731412677 140734731412677 140734731415503 0
[pid=14042/tid=14152] ppid=14029 vsize=10822316 memory=6944656592455097440 CPUtime=0.09 cores=0-3
/proc/14042/task/14152/stat : 14152 (java) S 14029 14042 13981 0 -1 1077944384 1 13069 0 3 0 0 6 3 20 0 15 0 472771121 11082051584 19167 33554432000 4194304 4196468 140734731402368 140573049490320 140573045257941 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30900224 140734731410159 140734731412677 140734731412677 140734731415503 0
[pid=14042/tid=14153] ppid=14029 vsize=10822316 memory=3624 CPUtime=0.09 cores=0-3
/proc/14042/task/14153/stat : 14153 (java) S 14029 14042 13981 0 -1 1077944384 2 13069 0 3 0 0 6 3 20 0 15 0 472771121 11082051584 19167 33554432000 4194304 4196468 140734731402368 140572618648336 140573045257941 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30900224 140734731410159 140734731412677 140734731412677 140734731415503 0
[pid=14042/tid=14154] ppid=14029 vsize=10822316 memory=63464 CPUtime=0.09 cores=0-3
/proc/14042/task/14154/stat : 14154 (java) S 14029 14042 13981 0 -1 1077944384 2 13069 0 3 0 0 6 3 20 0 15 0 472771121 11082051584 19167 33554432000 4194304 4196468 140734731402368 140572617596048 140573045257941 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30900224 140734731410159 140734731412677 140734731412677 140734731415503 0
[pid=14042/tid=14155] ppid=14029 vsize=10822316 memory=75956 CPUtime=0.09 cores=0-3
/proc/14042/task/14155/stat : 14155 (java) S 14029 14042 13981 0 -1 1077944384 2 13069 0 3 0 0 6 3 20 0 15 0 472771121 11082051584 19167 33554432000 4194304 4196468 140734731402368 140572616543248 140573045257941 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30900224 140734731410159 140734731412677 140734731412677 140734731415503 0
[pid=14042/tid=14157] ppid=14029 vsize=10822316 memory=0 CPUtime=0.09 cores=0-3
/proc/14042/task/14157/stat : 14157 (java) S 14029 14042 13981 0 -1 1077944384 5 13069 0 3 0 0 6 3 20 0 15 0 472771123 11082051584 19167 33554432000 4194304 4196468 140734731402368 140572115777648 140573045258882 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30900224 140734731410159 140734731412677 140734731412677 140734731415503 0
[pid=14042/tid=14160] ppid=14029 vsize=10822316 memory=0 CPUtime=0.09 cores=0-3
/proc/14042/task/14160/stat : 14160 (java) S 14029 14042 13981 0 -1 1077944384 33 13069 0 3 0 0 6 3 20 0 15 0 472771123 11082051584 19167 33554432000 4194304 4196468 140734731402368 140572114723616 140573045257941 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30900224 140734731410159 140734731412677 140734731412677 140734731415503 0
[pid=14042/tid=14161] ppid=14029 vsize=10822316 memory=7085130236742295912 CPUtime=0.09 cores=0-3
/proc/14042/task/14161/stat : 14161 (java) S 14029 14042 13981 0 -1 1077944384 1 13069 0 3 0 0 6 3 20 0 15 0 472771123 11082051584 19167 33554432000 4194304 4196468 140734731402368 140571930780784 140573045257941 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30900224 140734731410159 140734731412677 140734731412677 140734731415503 0
[pid=14042/tid=14167] ppid=14029 vsize=10822316 memory=279519156134528 CPUtime=0.09 cores=0-3
/proc/14042/task/14167/stat : 14167 (java) S 14029 14042 13981 0 -1 1077944384 3 13069 0 3 0 0 6 3 20 0 15 0 472771128 11082051584 19167 33554432000 4194304 4196468 140734731402368 140571623381072 140573045266331 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30900224 140734731410159 140734731412677 140734731412677 140734731415503 0
[pid=14042/tid=14168] ppid=14029 vsize=10822316 memory=4712 CPUtime=0.18 cores=0-3
/proc/14042/task/14168/stat : 14168 (java) S 14029 14042 13981 0 -1 1077944384 945 13069 0 3 9 0 6 3 20 0 15 0 472771128 11082051584 19167 33554432000 4194304 4196468 140734731402368 140572081166960 140573045258882 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30900224 140734731410159 140734731412677 140734731412677 140734731415503 0
[pid=14042/tid=14169] ppid=14029 vsize=10822316 memory=1420 CPUtime=0.23 cores=0-3
/proc/14042/task/14169/stat : 14169 (java) S 14029 14042 13981 0 -1 1077944384 681 13069 0 3 14 0 6 3 20 0 15 0 472771128 11082051584 19167 33554432000 4194304 4196468 140734731402368 140572080114160 140573045258882 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30900224 140734731410159 140734731412677 140734731412677 140734731415503 0
[pid=14042/tid=14170] ppid=14029 vsize=10822316 memory=776 CPUtime=0.27 cores=0-3
/proc/14042/task/14170/stat : 14170 (java) S 14029 14042 13981 0 -1 1077944384 792 13069 0 3 18 0 6 3 20 0 15 0 472771128 11082051584 19167 33554432000 4194304 4196468 140734731402368 140572079061872 140573045258882 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30900224 140734731410159 140734731412677 140734731412677 140734731415503 0
[pid=14042/tid=14171] ppid=14029 vsize=10822316 memory=660 CPUtime=0.09 cores=0-3
/proc/14042/task/14171/stat : 14171 (java) S 14029 14042 13981 0 -1 1077944384 3 13069 0 3 0 0 6 3 20 0 15 0 472771128 11082051584 19167 33554432000 4194304 4196468 140734731402368 140571589823456 140573045257941 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30900224 140734731410159 140734731412677 140734731412677 140734731415503 0
[pid=14042/tid=14173] ppid=14029 vsize=10822316 memory=0 CPUtime=0.09 cores=0-3
/proc/14042/task/14173/stat : 14173 (java) S 14029 14042 13981 0 -1 1077944384 3 13069 0 3 0 0 6 3 20 0 15 0 472771135 11082051584 19167 33554432000 4194304 4196468 140734731402368 140572078008752 140573045258882 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30900224 140734731410159 140734731412677 140734731412677 140734731415503 0
Current children cumulated CPU time: 1.15 s
Current children cumulated vsize: 10822316 KiB
Current children cumulated memory: 76668 KiB
heavy processes:

[startup+12.7008 s]
/proc/loadavg: 0.71 0.18 0.10 10/228 14176
/proc/meminfo: memFree=3904124/32770688 swapFree=66927176/67108860
[pid=14042] ppid=14029 vsize=10846988 memory=264184 CPUtime=7.95 cores=0-3
/proc/14042/stat : 14042 (java) S 14029 14042 13981 0 -1 1077944320 42675 13069 2 3 763 23 6 3 20 0 15 0 472770958 11107315712 66046 33554432000 4194304 4196468 140734731402368 140734731384912 140573045247735 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 10 0 0 6293624 6294260 30900224 140734731410159 140734731412677 140734731412677 140734731415503 0
/proc/14042/statm: 2711747 66046 3617 1 0 2673805 0
[pid=14042/tid=14147] ppid=14029 vsize=10846988 memory=0 CPUtime=3.56 cores=0-3
/proc/14042/task/14147/stat : 14147 (java) R 14029 14042 13981 0 -1 4202560 23841 13069 2 3 335 12 6 3 20 0 15 0 472771118 11107315712 66046 33554432000 4194304 4196468 140734731402368 140573017071680 140573029328222 0 4 0 16800975 0 0 0 -1 2 0 0 696 0 0 6293624 6294260 30900224 140734731410159 140734731412677 140734731412677 140734731415503 0
[pid=14042/tid=14152] ppid=14029 vsize=10846988 memory=252124 CPUtime=0.12 cores=0-3
/proc/14042/task/14152/stat : 14152 (java) S 14029 14042 13981 0 -1 1077944384 72 13069 0 3 3 0 6 3 20 0 15 0 472771121 11107315712 66046 33554432000 4194304 4196468 140734731402368 140573049490320 140573045257941 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30900224 140734731410159 140734731412677 140734731412677 140734731415503 0
[pid=14042/tid=14153] ppid=14029 vsize=10846988 memory=109628 CPUtime=0.12 cores=0-3
/proc/14042/task/14153/stat : 14153 (java) S 14029 14042 13981 0 -1 1077944384 555 13069 0 3 3 0 6 3 20 0 15 0 472771121 11107315712 66046 33554432000 4194304 4196468 140734731402368 140572618648336 140573045257941 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30900224 140734731410159 140734731412677 140734731412677 140734731415503 0
[pid=14042/tid=14154] ppid=14029 vsize=10846988 memory=279519156308640 CPUtime=0.12 cores=0-3
/proc/14042/task/14154/stat : 14154 (java) S 14029 14042 13981 0 -1 1077944384 328 13069 0 3 3 0 6 3 20 0 15 0 472771121 11107315712 66046 33554432000 4194304 4196468 140734731402368 140572617596048 140573045257941 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30900224 140734731410159 140734731412677 140734731412677 140734731415503 0
[pid=14042/tid=14155] ppid=14029 vsize=10846988 memory=3690471420374038837 CPUtime=0.12 cores=0-3

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

/proc/14042/task/14147/stat : 14147 (java) R 14029 14042 13981 0 -1 4202560 82763 13069 2 3 234667 56 6 3 20 0 15 0 472771118 11109412864 339078 33554432000 4194304 4196468 140734731402368 140573017083344 140572635129344 0 4 0 16800975 0 0 0 -1 3 0 0 696 0 0 6293624 6294260 30900224 140734731410159 140734731412677 140734731412677 140734731415503 0
[pid=14042/tid=14152] ppid=14029 vsize=10849036 memory=1356312 CPUtime=11.56 cores=0-3
/proc/14042/task/14152/stat : 14152 (java) S 14029 14042 13981 0 -1 1077944384 26024 13069 0 3 1089 58 6 3 20 0 15 0 472771121 11109412864 339078 33554432000 4194304 4196468 140734731402368 140573049490320 140573045257941 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30900224 140734731410159 140734731412677 140734731412677 140734731415503 0
[pid=14042/tid=14153] ppid=14029 vsize=10849036 memory=1356312 CPUtime=11.54 cores=0-3
/proc/14042/task/14153/stat : 14153 (java) S 14029 14042 13981 0 -1 1077944384 18659 13069 0 3 1091 54 6 3 20 0 15 0 472771121 11109412864 339078 33554432000 4194304 4196468 140734731402368 140572618648336 140573045257941 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30900224 140734731410159 140734731412677 140734731412677 140734731415503 0
[pid=14042/tid=14154] ppid=14029 vsize=10849036 memory=1356312 CPUtime=11.55 cores=0-3
/proc/14042/task/14154/stat : 14154 (java) S 14029 14042 13981 0 -1 1077944384 31073 13069 0 3 1089 57 6 3 20 0 15 0 472771121 11109412864 339078 33554432000 4194304 4196468 140734731402368 140572617596048 140573045257941 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30900224 140734731410159 140734731412677 140734731412677 140734731415503 0
[pid=14042/tid=14155] ppid=14029 vsize=10849036 memory=1356312 CPUtime=11.5 cores=0-3
/proc/14042/task/14155/stat : 14155 (java) S 14029 14042 13981 0 -1 1077944384 22078 13069 0 3 1091 50 6 3 20 0 15 0 472771121 11109412864 339078 33554432000 4194304 4196468 140734731402368 140572616543248 140573045257941 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30900224 140734731410159 140734731412677 140734731412677 140734731415503 0
[pid=14042/tid=14157] ppid=14029 vsize=10849036 memory=1356312 CPUtime=10.9 cores=0-3
/proc/14042/task/14157/stat : 14157 (java) S 14029 14042 13981 0 -1 1077944384 21188 13069 0 3 1023 58 6 3 20 0 15 0 472771123 11109412864 339078 33554432000 4194304 4196468 140734731402368 140572115777648 140573045258882 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30900224 140734731410159 140734731412677 140734731412677 140734731415503 0
[pid=14042/tid=14160] ppid=14029 vsize=10849036 memory=1808 CPUtime=0.09 cores=0-3
/proc/14042/task/14160/stat : 14160 (java) S 14029 14042 13981 0 -1 1077944384 38 13069 0 3 0 0 6 3 20 0 15 0 472771123 11109412864 339078 33554432000 4194304 4196468 140734731402368 140572114723680 140573045257941 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30900224 140734731410159 140734731412677 140734731412677 140734731415503 0
[pid=14042/tid=14161] ppid=14029 vsize=10849036 memory=1356312 CPUtime=0.09 cores=0-3
/proc/14042/task/14161/stat : 14161 (java) S 14029 14042 13981 0 -1 1077944384 3 13069 0 3 0 0 6 3 20 0 15 0 472771123 11109412864 339078 33554432000 4194304 4196468 140734731402368 140571930780800 140573045257941 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30900224 140734731410159 140734731412677 140734731412677 140734731415503 0
[pid=14042/tid=14167] ppid=14029 vsize=10849036 memory=1356312 CPUtime=0.09 cores=0-3
/proc/14042/task/14167/stat : 14167 (java) S 14029 14042 13981 0 -1 1077944384 3 13069 0 3 0 0 6 3 20 0 15 0 472771128 11109412864 339078 33554432000 4194304 4196468 140734731402368 140571623381072 140573045266331 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30900224 140734731410159 140734731412677 140734731412677 140734731415503 0
[pid=14042/tid=14168] ppid=14029 vsize=10849036 memory=1356312 CPUtime=3.43 cores=0-3
/proc/14042/task/14168/stat : 14168 (java) S 14029 14042 13981 0 -1 1077944384 24676 13069 0 3 330 4 6 3 20 0 15 0 472771128 11109412864 339078 33554432000 4194304 4196468 140734731402368 140572081166960 140573045258882 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30900224 140734731410159 140734731412677 140734731412677 140734731415503 0
[pid=14042/tid=14169] ppid=14029 vsize=10849036 memory=1356312 CPUtime=3.99 cores=0-3
/proc/14042/task/14169/stat : 14169 (java) S 14029 14042 13981 0 -1 1077944384 25968 13069 0 3 386 4 6 3 20 0 15 0 472771128 11109412864 339078 33554432000 4194304 4196468 140734731402368 140572080114160 140573045258882 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30900224 140734731410159 140734731412677 140734731412677 140734731415503 0
[pid=14042/tid=14170] ppid=14029 vsize=10849036 memory=1356312 CPUtime=2.07 cores=0-3
/proc/14042/task/14170/stat : 14170 (java) S 14029 14042 13981 0 -1 1077944384 13818 13069 0 3 194 4 6 3 20 0 15 0 472771128 11109412864 339078 33554432000 4194304 4196468 140734731402368 140572079061872 140573045258882 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30900224 140734731410159 140734731412677 140734731412677 140734731415503 0
[pid=14042/tid=14171] ppid=14029 vsize=10849036 memory=928 CPUtime=0.09 cores=0-3
/proc/14042/task/14171/stat : 14171 (java) S 14029 14042 13981 0 -1 1077944384 3 13069 0 3 0 0 6 3 20 0 15 0 472771128 11109412864 339078 33554432000 4194304 4196468 140734731402368 140571589823456 140573045257941 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30900224 140734731410159 140734731412677 140734731412677 140734731415503 0
[pid=14042/tid=14173] ppid=14029 vsize=10849036 memory=776 CPUtime=1.43 cores=0-3
/proc/14042/task/14173/stat : 14173 (java) S 14029 14042 13981 0 -1 1077944384 1524 13069 0 3 69 65 6 3 20 0 15 0 472771135 11109412864 339078 33554432000 4194304 4196468 140734731402368 140572078008752 140573045258882 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30900224 140734731410159 140734731412677 140734731412677 140734731415503 0
Current children cumulated CPU time: 2414.58 s
Current children cumulated vsize: 10849036 KiB
Current children cumulated memory: 1356312 KiB

[startup+2442.3 s]
/proc/loadavg: 1.18 1.34 1.31 4/228 14443
/proc/meminfo: memFree=1480424/32770688 swapFree=66927188/67108860
[pid=14042] ppid=14029 vsize=10849036 memory=1358360 CPUtime=2475.5 cores=0-3
/proc/14042/stat : 14042 (java) S 14029 14042 13981 0 -1 1077944320 271861 13069 2 3 247179 362 6 3 20 0 15 0 472770958 11109412864 339590 33554432000 4194304 4196468 140734731402368 140734731384912 140573045247735 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 10 0 0 6293624 6294260 30900224 140734731410159 140734731412677 140734731412677 140734731415503 0
/proc/14042/statm: 2712259 339590 3626 1 0 2674317 0
[pid=14042/tid=14147] ppid=14029 vsize=10849036 memory=1358360 CPUtime=2406.65 cores=0-3
/proc/14042/task/14147/stat : 14147 (java) R 14029 14042 13981 0 -1 4202560 83730 13069 2 3 240599 57 6 3 20 0 15 0 472771118 11109412864 339590 33554432000 4194304 4196468 140734731402368 140573017084048 140572632583524 0 4 0 16800975 0 0 0 -1 2 0 0 696 0 0 6293624 6294260 30900224 140734731410159 140734731412677 140734731412677 140734731415503 0
[pid=14042/tid=14152] ppid=14029 vsize=10849036 memory=1358360 CPUtime=11.88 cores=0-3
/proc/14042/task/14152/stat : 14152 (java) S 14029 14042 13981 0 -1 1077944384 26260 13069 0 3 1119 60 6 3 20 0 15 0 472771121 11109412864 339590 33554432000 4194304 4196468 140734731402368 140573049490320 140573045257941 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30900224 140734731410159 140734731412677 140734731412677 140734731415503 0
[pid=14042/tid=14153] ppid=14029 vsize=10849036 memory=1358360 CPUtime=11.85 cores=0-3
/proc/14042/task/14153/stat : 14153 (java) S 14029 14042 13981 0 -1 1077944384 18751 13069 0 3 1121 55 6 3 20 0 15 0 472771121 11109412864 339590 33554432000 4194304 4196468 140734731402368 140572618648336 140573045257941 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30900224 140734731410159 140734731412677 140734731412677 140734731415503 0
[pid=14042/tid=14154] ppid=14029 vsize=10849036 memory=1358360 CPUtime=11.86 cores=0-3
/proc/14042/task/14154/stat : 14154 (java) S 14029 14042 13981 0 -1 1077944384 31353 13069 0 3 1119 58 6 3 20 0 15 0 472771121 11109412864 339590 33554432000 4194304 4196468 140734731402368 140572617596048 140573045257941 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30900224 140734731410159 140734731412677 140734731412677 140734731415503 0
[pid=14042/tid=14155] ppid=14029 vsize=10849036 memory=1356312 CPUtime=11.81 cores=0-3
/proc/14042/task/14155/stat : 14155 (java) S 14029 14042 13981 0 -1 1077944384 22139 13069 0 3 1120 52 6 3 20 0 15 0 472771121 11109412864 339590 33554432000 4194304 4196468 140734731402368 140572616543248 140573045257941 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30900224 140734731410159 140734731412677 140734731412677 140734731415503 0
[pid=14042/tid=14157] ppid=14029 vsize=10849036 memory=1356312 CPUtime=11.19 cores=0-3
/proc/14042/task/14157/stat : 14157 (java) S 14029 14042 13981 0 -1 1077944384 21347 13069 0 3 1051 59 6 3 20 0 15 0 472771123 11109412864 339590 33554432000 4194304 4196468 140734731402368 140572115777648 140573045258882 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30900224 140734731410159 140734731412677 140734731412677 140734731415503 0
[pid=14042/tid=14160] ppid=14029 vsize=10849036 memory=1356312 CPUtime=0.09 cores=0-3
/proc/14042/task/14160/stat : 14160 (java) S 14029 14042 13981 0 -1 1077944384 38 13069 0 3 0 0 6 3 20 0 15 0 472771123 11109412864 339590 33554432000 4194304 4196468 140734731402368 140572114723680 140573045257941 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30900224 140734731410159 140734731412677 140734731412677 140734731415503 0
[pid=14042/tid=14161] ppid=14029 vsize=10849036 memory=1358360 CPUtime=0.09 cores=0-3
/proc/14042/task/14161/stat : 14161 (java) S 14029 14042 13981 0 -1 1077944384 3 13069 0 3 0 0 6 3 20 0 15 0 472771123 11109412864 339590 33554432000 4194304 4196468 140734731402368 140571930780800 140573045257941 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30900224 140734731410159 140734731412677 140734731412677 140734731415503 0
[pid=14042/tid=14167] ppid=14029 vsize=10849036 memory=1358360 CPUtime=0.09 cores=0-3
/proc/14042/task/14167/stat : 14167 (java) S 14029 14042 13981 0 -1 1077944384 3 13069 0 3 0 0 6 3 20 0 15 0 472771128 11109412864 339590 33554432000 4194304 4196468 140734731402368 140571623381072 140573045266331 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30900224 140734731410159 140734731412677 140734731412677 140734731415503 0
[pid=14042/tid=14168] ppid=14029 vsize=10849036 memory=1358360 CPUtime=3.43 cores=0-3
/proc/14042/task/14168/stat : 14168 (java) S 14029 14042 13981 0 -1 1077944384 24680 13069 0 3 330 4 6 3 20 0 15 0 472771128 11109412864 339590 33554432000 4194304 4196468 140734731402368 140572081166960 140573045258882 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30900224 140734731410159 140734731412677 140734731412677 140734731415503 0
[pid=14042/tid=14169] ppid=14029 vsize=10849036 memory=1358360 CPUtime=3.99 cores=0-3
/proc/14042/task/14169/stat : 14169 (java) S 14029 14042 13981 0 -1 1077944384 25972 13069 0 3 386 4 6 3 20 0 15 0 472771128 11109412864 339590 33554432000 4194304 4196468 140734731402368 140572080114160 140573045258882 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30900224 140734731410159 140734731412677 140734731412677 140734731415503 0
[pid=14042/tid=14170] ppid=14029 vsize=10849036 memory=1356312 CPUtime=2.07 cores=0-3
/proc/14042/task/14170/stat : 14170 (java) S 14029 14042 13981 0 -1 1077944384 13822 13069 0 3 194 4 6 3 20 0 15 0 472771128 11109412864 339590 33554432000 4194304 4196468 140734731402368 140572079061872 140573045258882 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30900224 140734731410159 140734731412677 140734731412677 140734731415503 0
[pid=14042/tid=14171] ppid=14029 vsize=10849036 memory=1358360 CPUtime=0.09 cores=0-3
/proc/14042/task/14171/stat : 14171 (java) S 14029 14042 13981 0 -1 1077944384 3 13069 0 3 0 0 6 3 20 0 15 0 472771128 11109412864 339590 33554432000 4194304 4196468 140734731402368 140571589823456 140573045257941 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30900224 140734731410159 140734731412677 140734731412677 140734731415503 0
[pid=14042/tid=14173] ppid=14029 vsize=10849036 memory=1358360 CPUtime=1.46 cores=0-3
/proc/14042/task/14173/stat : 14173 (java) S 14029 14042 13981 0 -1 1077944384 1553 13069 0 3 70 67 6 3 20 0 15 0 472771135 11109412864 339590 33554432000 4194304 4196468 140734731402368 140572078008752 140573045258882 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30900224 140734731410159 140734731412677 140734731412677 140734731415503 0
Current children cumulated CPU time: 2475.5 s
Current children cumulated vsize: 10849036 KiB
Current children cumulated memory: 1358360 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2486.11 s]
/proc/loadavg: 1.17 1.31 1.31 4/228 14447
/proc/meminfo: memFree=1478488/32770688 swapFree=66927188/67108860
[pid=14042] ppid=14029 vsize=10849036 memory=1358360 CPUtime=2520.02 cores=0-3
/proc/14042/stat : 14042 (java) S 14029 14042 13981 0 -1 1077944320 273266 13069 2 3 251624 369 6 3 20 0 15 0 472770958 11109412864 339590 33554432000 4194304 4196468 140734731402368 140734731384912 140573045247735 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 10 0 0 6293624 6294260 30900224 140734731410159 140734731412677 140734731412677 140734731415503 0
/proc/14042/statm: 2712259 339590 3626 1 0 2674317 0
[pid=14042/tid=14147] ppid=14029 vsize=10849036 memory=1358360 CPUtime=2449.95 cores=0-3
/proc/14042/task/14147/stat : 14147 (java) R 14029 14042 13981 0 -1 4202560 84484 13069 2 3 244929 57 6 3 20 0 15 0 472771118 11109412864 339590 33554432000 4194304 4196468 140734731402368 140573017083984 140572635150037 0 4 0 16800975 0 0 0 -1 0 0 0 696 0 0 6293624 6294260 30900224 140734731410159 140734731412677 140734731412677 140734731415503 0
[pid=14042/tid=14152] ppid=14029 vsize=10849036 memory=1358360 CPUtime=12.12 cores=0-3
/proc/14042/task/14152/stat : 14152 (java) S 14029 14042 13981 0 -1 1077944384 26353 13069 0 3 1142 61 6 3 20 0 15 0 472771121 11109412864 339590 33554432000 4194304 4196468 140734731402368 140573049490320 140573045257941 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30900224 140734731410159 140734731412677 140734731412677 140734731415503 0
[pid=14042/tid=14153] ppid=14029 vsize=10849036 memory=1358360 CPUtime=12.09 cores=0-3
/proc/14042/task/14153/stat : 14153 (java) S 14029 14042 13981 0 -1 1077944384 18898 13069 0 3 1143 57 6 3 20 0 15 0 472771121 11109412864 339590 33554432000 4194304 4196468 140734731402368 140572618648336 140573045257941 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30900224 140734731410159 140734731412677 140734731412677 140734731415503 0
[pid=14042/tid=14154] ppid=14029 vsize=10849036 memory=0 CPUtime=12.11 cores=0-3
/proc/14042/task/14154/stat : 14154 (java) S 14029 14042 13981 0 -1 1077944384 31579 13069 0 3 1142 60 6 3 20 0 15 0 472771121 11109412864 339590 33554432000 4194304 4196468 140734731402368 140572617596048 140573045257941 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30900224 140734731410159 140734731412677 140734731412677 140734731415503 0
[pid=14042/tid=14155] ppid=14029 vsize=10849036 memory=1358360 CPUtime=12.05 cores=0-3
/proc/14042/task/14155/stat : 14155 (java) S 14029 14042 13981 0 -1 1077944384 22212 13069 0 3 1143 53 6 3 20 0 15 0 472771121 11109412864 339590 33554432000 4194304 4196468 140734731402368 140572616543248 140573045257941 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30900224 140734731410159 140734731412677 140734731412677 140734731415503 0
[pid=14042/tid=14157] ppid=14029 vsize=10849036 memory=1358360 CPUtime=11.42 cores=0-3
/proc/14042/task/14157/stat : 14157 (java) S 14029 14042 13981 0 -1 1077944384 21437 13069 0 3 1073 60 6 3 20 0 15 0 472771123 11109412864 339590 33554432000 4194304 4196468 140734731402368 140572115777648 140573045258882 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30900224 140734731410159 140734731412677 140734731412677 140734731415503 0
[pid=14042/tid=14160] ppid=14029 vsize=10849036 memory=1358360 CPUtime=0.09 cores=0-3
/proc/14042/task/14160/stat : 14160 (java) S 14029 14042 13981 0 -1 1077944384 38 13069 0 3 0 0 6 3 20 0 15 0 472771123 11109412864 339590 33554432000 4194304 4196468 140734731402368 140572114723680 140573045257941 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30900224 140734731410159 140734731412677 140734731412677 140734731415503 0
[pid=14042/tid=14161] ppid=14029 vsize=10849036 memory=1358360 CPUtime=0.09 cores=0-3
/proc/14042/task/14161/stat : 14161 (java) S 14029 14042 13981 0 -1 1077944384 3 13069 0 3 0 0 6 3 20 0 15 0 472771123 11109412864 339590 33554432000 4194304 4196468 140734731402368 140571930780800 140573045257941 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30900224 140734731410159 140734731412677 140734731412677 140734731415503 0
[pid=14042/tid=14167] ppid=14029 vsize=10849036 memory=1358360 CPUtime=0.09 cores=0-3
/proc/14042/task/14167/stat : 14167 (java) S 14029 14042 13981 0 -1 1077944384 3 13069 0 3 0 0 6 3 20 0 15 0 472771128 11109412864 339590 33554432000 4194304 4196468 140734731402368 140571623381072 140573045266331 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30900224 140734731410159 140734731412677 140734731412677 140734731415503 0
[pid=14042/tid=14168] ppid=14029 vsize=10849036 memory=1358360 CPUtime=3.43 cores=0-3
/proc/14042/task/14168/stat : 14168 (java) S 14029 14042 13981 0 -1 1077944384 24682 13069 0 3 330 4 6 3 20 0 15 0 472771128 11109412864 339590 33554432000 4194304 4196468 140734731402368 140572081166960 140573045258882 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30900224 140734731410159 140734731412677 140734731412677 140734731415503 0
[pid=14042/tid=14169] ppid=14029 vsize=10849036 memory=3624 CPUtime=3.99 cores=0-3
/proc/14042/task/14169/stat : 14169 (java) S 14029 14042 13981 0 -1 1077944384 25974 13069 0 3 386 4 6 3 20 0 15 0 472771128 11109412864 339590 33554432000 4194304 4196468 140734731402368 140572080114160 140573045258882 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30900224 140734731410159 140734731412677 140734731412677 140734731415503 0
[pid=14042/tid=14170] ppid=14029 vsize=10849036 memory=1358360 CPUtime=2.07 cores=0-3
/proc/14042/task/14170/stat : 14170 (java) S 14029 14042 13981 0 -1 1077944384 13824 13069 0 3 194 4 6 3 20 0 15 0 472771128 11109412864 339590 33554432000 4194304 4196468 140734731402368 140572079061872 140573045258882 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30900224 140734731410159 140734731412677 140734731412677 140734731415503 0
[pid=14042/tid=14171] ppid=14029 vsize=10849036 memory=4040 CPUtime=0.09 cores=0-3
/proc/14042/task/14171/stat : 14171 (java) S 14029 14042 13981 0 -1 1077944384 3 13069 0 3 0 0 6 3 20 0 15 0 472771128 11109412864 339590 33554432000 4194304 4196468 140734731402368 140571589823456 140573045257941 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30900224 140734731410159 140734731412677 140734731412677 140734731415503 0
[pid=14042/tid=14173] ppid=14029 vsize=10849036 memory=1358360 CPUtime=1.48 cores=0-3
/proc/14042/task/14173/stat : 14173 (java) S 14029 14042 13981 0 -1 1077944384 1569 13069 0 3 71 68 6 3 20 0 15 0 472771135 11109412864 339590 33554432000 4194304 4196468 140734731402368 140572078008752 140573045258882 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30900224 140734731410159 140734731412677 140734731412677 140734731415503 0
Current children cumulated CPU time: 2520.02 s
Current children cumulated vsize: 10849036 KiB
Current children cumulated memory: 1358360 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+2486.14 s]
# the end of solver process 14042 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2516.33 s, system=3.74347 s

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

[startup+2486.11 s]
/proc/loadavg: 1.17 1.31 1.31 4/228 14447
/proc/meminfo: memFree=1478488/32770688 swapFree=66927188/67108860
[pid=14042] ppid=14029 vsize=10849036 memory=1358360 CPUtime=2520.02 cores=0-3
/proc/14042/stat : 14042 (java) S 14029 14042 13981 0 -1 1077944320 273266 13069 2 3 251624 369 6 3 20 0 15 0 472770958 11109412864 339590 33554432000 4194304 4196468 140734731402368 140734731384912 140573045247735 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 10 0 0 6293624 6294260 30900224 140734731410159 140734731412677 140734731412677 140734731415503 0
/proc/14042/statm: 2712259 339590 3626 1 0 2674317 0
[pid=14042/tid=14147] ppid=14029 vsize=10849036 memory=1358360 CPUtime=2449.95 cores=0-3
/proc/14042/task/14147/stat : 14147 (java) R 14029 14042 13981 0 -1 4202560 84484 13069 2 3 244929 57 6 3 20 0 15 0 472771118 11109412864 339590 33554432000 4194304 4196468 140734731402368 140573017083984 140572635150037 0 4 0 16800975 0 0 0 -1 0 0 0 696 0 0 6293624 6294260 30900224 140734731410159 140734731412677 140734731412677 140734731415503 0
[pid=14042/tid=14152] ppid=14029 vsize=10849036 memory=1358360 CPUtime=12.12 cores=0-3
/proc/14042/task/14152/stat : 14152 (java) S 14029 14042 13981 0 -1 1077944384 26353 13069 0 3 1142 61 6 3 20 0 15 0 472771121 11109412864 339590 33554432000 4194304 4196468 140734731402368 140573049490320 140573045257941 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30900224 140734731410159 140734731412677 140734731412677 140734731415503 0
[pid=14042/tid=14153] ppid=14029 vsize=10849036 memory=1358360 CPUtime=12.09 cores=0-3
/proc/14042/task/14153/stat : 14153 (java) S 14029 14042 13981 0 -1 1077944384 18898 13069 0 3 1143 57 6 3 20 0 15 0 472771121 11109412864 339590 33554432000 4194304 4196468 140734731402368 140572618648336 140573045257941 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30900224 140734731410159 140734731412677 140734731412677 140734731415503 0
[pid=14042/tid=14154] ppid=14029 vsize=10849036 memory=0 CPUtime=12.11 cores=0-3
/proc/14042/task/14154/stat : 14154 (java) S 14029 14042 13981 0 -1 1077944384 31579 13069 0 3 1142 60 6 3 20 0 15 0 472771121 11109412864 339590 33554432000 4194304 4196468 140734731402368 140572617596048 140573045257941 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30900224 140734731410159 140734731412677 140734731412677 140734731415503 0
[pid=14042/tid=14155] ppid=14029 vsize=10849036 memory=1358360 CPUtime=12.05 cores=0-3
/proc/14042/task/14155/stat : 14155 (java) S 14029 14042 13981 0 -1 1077944384 22212 13069 0 3 1143 53 6 3 20 0 15 0 472771121 11109412864 339590 33554432000 4194304 4196468 140734731402368 140572616543248 140573045257941 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30900224 140734731410159 140734731412677 140734731412677 140734731415503 0
[pid=14042/tid=14157] ppid=14029 vsize=10849036 memory=1358360 CPUtime=11.42 cores=0-3
/proc/14042/task/14157/stat : 14157 (java) S 14029 14042 13981 0 -1 1077944384 21437 13069 0 3 1073 60 6 3 20 0 15 0 472771123 11109412864 339590 33554432000 4194304 4196468 140734731402368 140572115777648 140573045258882 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30900224 140734731410159 140734731412677 140734731412677 140734731415503 0
[pid=14042/tid=14160] ppid=14029 vsize=10849036 memory=1358360 CPUtime=0.09 cores=0-3
/proc/14042/task/14160/stat : 14160 (java) S 14029 14042 13981 0 -1 1077944384 38 13069 0 3 0 0 6 3 20 0 15 0 472771123 11109412864 339590 33554432000 4194304 4196468 140734731402368 140572114723680 140573045257941 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30900224 140734731410159 140734731412677 140734731412677 140734731415503 0
[pid=14042/tid=14161] ppid=14029 vsize=10849036 memory=1358360 CPUtime=0.09 cores=0-3
/proc/14042/task/14161/stat : 14161 (java) S 14029 14042 13981 0 -1 1077944384 3 13069 0 3 0 0 6 3 20 0 15 0 472771123 11109412864 339590 33554432000 4194304 4196468 140734731402368 140571930780800 140573045257941 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30900224 140734731410159 140734731412677 140734731412677 140734731415503 0
[pid=14042/tid=14167] ppid=14029 vsize=10849036 memory=1358360 CPUtime=0.09 cores=0-3
/proc/14042/task/14167/stat : 14167 (java) S 14029 14042 13981 0 -1 1077944384 3 13069 0 3 0 0 6 3 20 0 15 0 472771128 11109412864 339590 33554432000 4194304 4196468 140734731402368 140571623381072 140573045266331 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30900224 140734731410159 140734731412677 140734731412677 140734731415503 0
[pid=14042/tid=14168] ppid=14029 vsize=10849036 memory=1358360 CPUtime=3.43 cores=0-3
/proc/14042/task/14168/stat : 14168 (java) S 14029 14042 13981 0 -1 1077944384 24682 13069 0 3 330 4 6 3 20 0 15 0 472771128 11109412864 339590 33554432000 4194304 4196468 140734731402368 140572081166960 140573045258882 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30900224 140734731410159 140734731412677 140734731412677 140734731415503 0
[pid=14042/tid=14169] ppid=14029 vsize=10849036 memory=3624 CPUtime=3.99 cores=0-3
/proc/14042/task/14169/stat : 14169 (java) S 14029 14042 13981 0 -1 1077944384 25974 13069 0 3 386 4 6 3 20 0 15 0 472771128 11109412864 339590 33554432000 4194304 4196468 140734731402368 140572080114160 140573045258882 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30900224 140734731410159 140734731412677 140734731412677 140734731415503 0
[pid=14042/tid=14170] ppid=14029 vsize=10849036 memory=1358360 CPUtime=2.07 cores=0-3
/proc/14042/task/14170/stat : 14170 (java) S 14029 14042 13981 0 -1 1077944384 13824 13069 0 3 194 4 6 3 20 0 15 0 472771128 11109412864 339590 33554432000 4194304 4196468 140734731402368 140572079061872 140573045258882 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30900224 140734731410159 140734731412677 140734731412677 140734731415503 0
[pid=14042/tid=14171] ppid=14029 vsize=10849036 memory=4040 CPUtime=0.09 cores=0-3
/proc/14042/task/14171/stat : 14171 (java) S 14029 14042 13981 0 -1 1077944384 3 13069 0 3 0 0 6 3 20 0 15 0 472771128 11109412864 339590 33554432000 4194304 4196468 140734731402368 140571589823456 140573045257941 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30900224 140734731410159 140734731412677 140734731412677 140734731415503 0
[pid=14042/tid=14173] ppid=14029 vsize=10849036 memory=1358360 CPUtime=1.48 cores=0-3
/proc/14042/task/14173/stat : 14173 (java) S 14029 14042 13981 0 -1 1077944384 1569 13069 0 3 71 68 6 3 20 0 15 0 472771135 11109412864 339590 33554432000 4194304 4196468 140734731402368 140572078008752 140573045258882 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30900224 140734731410159 140734731412677 140734731412677 140734731415503 0
Current children cumulated CPU time: 2520.02 s
Current children cumulated vsize: 10849036 KiB
Current children cumulated memory: 1358360 KiB

Child status: 143
Real time (s): 2486.14
CPU time (s): 2520.07
CPU user time (s): 2516.33
CPU system time (s): 3.74347
CPU usage (%): 101.365
Max. virtual memory (cumulated for all children) (KiB): 10933144
Max. memory (cumulated for all children) (KiB): 1358360

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.33
system time used= 3.74347
maximum resident set size= 1362580
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 287309
page faults= 5
swaps= 0
block input operations= 66152
block output operations= 2920
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 285268
involuntary context switches= 12308


# summary of solver processes directly reported to runsolver:
#   pid: 14042
#   total CPU time (s): 2520.07
#   total CPU user time (s): 2516.33
#   total CPU system time (s): 3.74347

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.2089 second user time and 23.9359 second system time

The end

Launcher Data 

Begin job on node120 at 2011-12-21 16:41:00
IDJOB=4402883
IDBENCH=115968
IDSOLVER=2861
FILE ID=node120/4402883-1568967638
RUNJOBID= node120-1324482060-14012
PBS_JOBID= 21704627
Free space on /tmp= 23292 MiB

SOLVER NAME= Concrete 3.12.3
BENCH NAME= XCSP17/StillLife/StillLife-m1-s1/StillLife-05-15.xml
COMMAND LINE= bin/xcsp-3-concrete -J-Xss32M -randomseed=RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4402883-1568967638/watcher-4402883-1568967638 -o /tmp/evaluation-result-4402883-1568967638/solver-4402883-1568967638 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node120-1324482060-14012 --watchdog 2580  bin/xcsp-3-concrete -J-Xss32M -randomseed=1159292332 HOME/instance-4402883-1568967638.xml

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

MD5SUM BENCH= 194a9771da43b175c5c48a6f0c769610
RANDOM SEED=1159292332

node120.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		: 2667.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.49
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		: 2667.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.49
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		: 2667.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.49
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		: 2667.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.49
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		: 2667.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	: 5329.69
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		: 2667.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	: 5329.69
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		: 2667.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	: 5329.69
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		: 2667.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	: 5329.69
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770688 kB
MemFree:         4356588 kB
MemAvailable:   31781708 kB
Buffers:          103392 kB
Cached:         27282424 kB
SwapCached:        68648 kB
Active:         13728220 kB
Inactive:       13728192 kB
Active(anon):       3616 kB
Inactive(anon):   123412 kB
Active(file):   13724604 kB
Inactive(file): 13604780 kB
Unevictable:      109204 kB
Mlocked:          109204 kB
SwapTotal:      67108860 kB
SwapFree:       66927176 kB
Dirty:             45340 kB
Writeback:             0 kB
AnonPages:        112920 kB
Mapped:            57268 kB
Shmem:             47300 kB
Slab:             553024 kB
SReclaimable:     524196 kB
SUnreclaim:        28828 kB
KernelStack:        3392 kB
PageTables:         5532 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494204 kB
Committed_AS:     526732 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350212 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     67584 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      146880 kB
DirectMap2M:    33398784 kB

Free space on /tmp at the end= 23220 MiB
End job on node120 at 2011-12-21 17:22:35