Trace number 4262313

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 NameAnswerCPU timeWall clock time
Concrete 3.4? (TO) 2524.1201 2442.1499

General information on the benchmark

NameFischer/Fischer-m1-s1/
Fischer-11-14-fair.xml
MD5SUMabdfed4353cf02606058846107286b36
Bench CategoryCSP (decision problem)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables40248
Number of constraints38137
Number of domains3
Minimum domain size2
Maximum domain size20001
Distribution of domain sizes[{"size":2,"count":5342},{"size":201,"count":180},{"size":20001,"count":34726}]
Minimum variable degree2
Maximum variable degree320
Distribution of variable degrees[{"degree":2,"count":35660},{"degree":3,"count":924},{"degree":4,"count":47},{"degree":5,"count":374},{"degree":6,"count":208},{"degree":7,"count":781},{"degree":8,"count":1143},{"degree":9,"count":638},{"degree":10,"count":24},{"degree":12,"count":29},{"degree":13,"count":336},{"degree":14,"count":11},{"degree":24,"count":1},{"degree":35,"count":15},{"degree":57,"count":15},{"degree":59,"count":12},{"degree":70,"count":1},{"degree":80,"count":14},{"degree":125,"count":2},{"degree":126,"count":12},{"degree":320,"count":1}]
Minimum constraint arity1
Maximum constraint arity3
Distribution of constraint arities[{"arity":1,"count":2},{"arity":2,"count":6162},{"arity":3,"count":31973}]
Number of extensional constraints0
Number of intensional constraints38137
Distribution of constraint types[{"type":"intension","count":38137}]
Optimization problemNO
Type of objective

Solver Data 

3.28/2.22	c Concrete v3.4 running
2523.99/2442.13	java.util.concurrent.TimeoutException
2523.99/2442.13		at concrete.MAC.mac(MAC.scala:74)
2523.99/2442.13		at concrete.MAC.$anonfun$oneRun$1(MAC.scala:145)
2523.99/2442.13		at scala.util.Try$.apply(Try.scala:209)
2523.99/2442.13		at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194)
2523.99/2442.13		at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182)
2523.99/2442.13		at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12)
2523.99/2442.13		at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61)
2523.99/2442.13		at org.scalameter.Measurer$Default.measure(Measurer.scala:131)
2523.99/2442.13		at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51)
2523.99/2442.13		at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61)
2523.99/2442.13		at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181)
2523.99/2442.13		at cspom.StatisticsManager$.measure(StatisticsManager.scala:194)
2523.99/2442.13		at concrete.MAC.oneRun(MAC.scala:146)
2523.99/2442.13		at concrete.MAC.nextSolution(MAC.scala:166)
2523.99/2442.13		at concrete.MAC.$anonfun$nextSolution$2(MAC.scala:196)
2523.99/2442.13		at concrete.ProblemState.map(ProblemState.scala:203)
2523.99/2442.13		at concrete.ProblemState.map(ProblemState.scala:188)
2523.99/2442.13		at concrete.MAC.nextSolution(MAC.scala:195)
2523.99/2442.13		at concrete.Solver.hasNext(Solver.scala:202)
2523.99/2442.13		at scala.collection.Iterator.toStream(Iterator.scala:1403)
2523.99/2442.13		at scala.collection.Iterator.toStream$(Iterator.scala:1402)
2523.99/2442.13		at concrete.Solver.toStream(Solver.scala:73)
2523.99/2442.13		at scala.collection.TraversableOnce.toIterable(TraversableOnce.scala:296)
2523.99/2442.13		at scala.collection.TraversableOnce.toIterable$(TraversableOnce.scala:296)
2523.99/2442.13		at concrete.Solver.toIterable(Solver.scala:73)
2523.99/2442.13		at concrete.runner.ConcreteRunner.$anonfun$run$10(ConcreteRunner.scala:162)
2523.99/2442.13		at scala.util.Success.$anonfun$map$1(Try.scala:251)
2523.99/2442.13		at scala.util.Success.map(Try.scala:209)
2523.99/2442.13		at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:154)
2523.99/2442.13		at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:72)
2523.99/2442.13		at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:17)
2523.99/2442.13		at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:119)
2523.99/2442.13		at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:17)
2523.99/2442.13		at scala.Function0.apply$mcV$sp(Function0.scala:34)
2523.99/2442.13		at scala.Function0.apply$mcV$sp$(Function0.scala:34)
2523.99/2442.13		at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12)
2523.99/2442.13		at scala.App.$anonfun$main$1$adapted(App.scala:76)
2523.99/2442.13		at scala.collection.immutable.List.foreach(List.scala:389)
2523.99/2442.13		at scala.App.main(App.scala:76)
2523.99/2442.13		at scala.App.main$(App.scala:74)
2523.99/2442.13		at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:17)
2523.99/2442.13		at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
2523.99/2442.14	s UNKNOWN

Verifier Data


Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4262313-1502479392/watcher-4262313-1502479392 -o /tmp/evaluation-result-4262313-1502479392/solver-4262313-1502479392 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node133-1502411423-4885 --watchdog 2580 bin/concrete HOME/instance-4262313-1502479392.xml 

pid=25018
running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 1.85 1.61 1.63 3/199 25021
/proc/meminfo: memFree=30540092/32770624 swapFree=0/440480
[pid=25021] ppid=25018 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/25021/stat : 25021 (runsolver) D 25018 25021 4821 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 95754400 24240128 106 18446744073709551615 4194304 4338465 140727599458240 140727599455880 139788020466391 0 0 1 24578 18446744071580418449 0 0 17 3 0 0 0 0 0 6438912 6441760 15970304 140727599464657 140727599465033 140727599465033 140727599468490 0
/proc/25021/statm: 5918 106 53 36 0 2156 0

[startup+0.100153 s]
/proc/loadavg: 1.85 1.61 1.63 3/199 25021
/proc/meminfo: memFree=30540092/32770624 swapFree=0/440480
[pid=25021] ppid=25018 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/25021/stat : 25021 (runsolver) D 25018 25021 4821 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 95754400 24240128 106 18446744073709551615 4194304 4338465 140727599458240 140727599455880 139788020466391 0 0 1 24578 18446744071580418449 0 0 17 3 0 0 0 0 0 6438912 6441760 15970304 140727599464657 140727599465033 140727599465033 140727599468490 0
/proc/25021/statm: 5918 106 53 36 0 2156 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 23672

[startup+0.200271 s]
/proc/loadavg: 1.85 1.61 1.63 3/199 25021
/proc/meminfo: memFree=30540092/32770624 swapFree=0/440480
[pid=25021] ppid=25018 vsize=9636 CPUtime=0.01 cores=1,3,5,7
/proc/25021/stat : 25021 (bash) S 25018 25021 4821 0 -1 4202496 890 6485 0 0 0 0 0 1 20 0 1 0 95754400 9867264 376 18446744073709551615 4194304 5098028 140731023924176 140731023918184 140094545525760 0 0 5 65536 18446744071580971376 0 0 17 7 0 0 10 0 0 7196144 7232144 19599360 140731023925780 140731023925865 140731023925865 140731023929322 0
/proc/25021/statm: 2409 376 296 221 0 118 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9636

[startup+0.300295 s]
/proc/loadavg: 1.85 1.61 1.63 3/199 25021
/proc/meminfo: memFree=30540092/32770624 swapFree=0/440480
[pid=25021] ppid=25018 vsize=13907308 CPUtime=0.12 cores=1,3,5,7
/proc/25021/stat : 25021 (java) S 25018 25021 4821 0 -1 1077944320 5489 12488 0 0 5 0 5 2 20 0 14 0 95754400 14241083392 5166 18446744073709551615 4194304 4196468 140726386142000 140726386124544 140148558933751 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 10 0 0 6293624 6294260 22675456 140726386149328 140726386152113 140726386152113 140726386155471 0
/proc/25021/statm: 3476827 5166 2567 1 0 3466324 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 13907308

[startup+0.700158 s]
/proc/loadavg: 1.85 1.61 1.63 3/199 25021
/proc/meminfo: memFree=30540092/32770624 swapFree=0/440480
[pid=25021] ppid=25018 vsize=13974784 CPUtime=0.58 cores=1,3,5,7
/proc/25021/stat : 25021 (java) S 25018 25021 4821 0 -1 1077944320 13353 12488 0 0 48 3 5 2 20 0 15 0 95754400 14310178816 14247 18446744073709551615 4194304 4196468 140726386142000 140726386124544 140148558933751 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 10 0 0 6293624 6294260 22675456 140726386149328 140726386152113 140726386152113 140726386155471 0
/proc/25021/statm: 3493696 14247 3054 1 0 3482965 0
Current children cumulated CPU time (s) 0.58
Current children cumulated vsize (KiB) 13974784

[startup+1.50052 s]
/proc/loadavg: 1.85 1.61 1.63 3/214 25084
/proc/meminfo: memFree=30448984/32770624 swapFree=0/440932
[pid=25021] ppid=25018 vsize=13985408 CPUtime=1.79 cores=1,3,5,7
/proc/25021/stat : 25021 (java) S 25018 25021 4821 0 -1 1077944320 26464 12488 0 0 166 6 5 2 20 0 15 0 95754400 14321057792 33862 18446744073709551615 4194304 4196468 140726386142000 140726386124544 140148558933751 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 10 0 0 6293624 6294260 22675456 140726386149328 140726386152113 140726386152113 140726386155471 0
/proc/25021/statm: 3496352 33862 3339 1 0 3485525 0
[pid=25021/tid=25071] ppid=25018 vsize=13985408 CPUtime=1.26 cores=1,3,5,7
/proc/25021/task/25071/stat : 25071 (java) R 25018 25021 4821 0 -1 4202560 21283 12488 0 0 114 5 5 2 20 0 15 0 95754423 14321057792 33862 18446744073709551615 4194304 4196468 140726386142000 140148563165984 140148543014268 0 4 1 16800974 0 0 0 -1 5 0 0 6 0 0 6293624 6294260 22675456 140726386149328 140726386152113 140726386152113 140726386155471 0
[pid=25021/tid=25072] ppid=25018 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/25021/task/25072/stat : 25072 (java) S 25018 25021 4821 0 -1 1077944384 1 12488 0 0 0 0 5 2 20 0 15 0 95754423 14321057792 33862 18446744073709551615 4194304 4196468 140726386142000 140148478347792 140148558943957 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22675456 140726386149328 140726386152113 140726386152113 140726386155471 0
[pid=25021/tid=25073] ppid=25018 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/25021/task/25073/stat : 25073 (java) S 25018 25021 4821 0 -1 1077944384 2 12488 0 0 0 0 5 2 20 0 15 0 95754423 14321057792 33862 18446744073709551615 4194304 4196468 140726386142000 140148477295248 140148558943957 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22675456 140726386149328 140726386152113 140726386152113 140726386155471 0
[pid=25021/tid=25074] ppid=25018 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/25021/task/25074/stat : 25074 (java) S 25018 25021 4821 0 -1 1077944384 1 12488 0 0 0 0 5 2 20 0 15 0 95754423 14321057792 33862 18446744073709551615 4194304 4196468 140726386142000 140148476242192 140148558943957 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22675456 140726386149328 140726386152113 140726386152113 140726386155471 0
[pid=25021/tid=25075] ppid=25018 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/25021/task/25075/stat : 25075 (java) S 25018 25021 4821 0 -1 1077944384 2 12488 0 0 0 0 5 2 20 0 15 0 95754423 14321057792 33862 18446744073709551615 4194304 4196468 140726386142000 140148475189648 140148558943957 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22675456 140726386149328 140726386152113 140726386152113 140726386155471 0
[pid=25021/tid=25076] ppid=25018 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/25021/task/25076/stat : 25076 (java) S 25018 25021 4821 0 -1 1077944384 5 12488 0 0 0 0 5 2 20 0 15 0 95754425 14321057792 33862 18446744073709551615 4194304 4196468 140726386142000 140148037466864 140148558944898 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22675456 140726386149328 140726386152113 140726386152113 140726386155471 0
[pid=25021/tid=25077] ppid=25018 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/25021/task/25077/stat : 25077 (java) S 25018 25021 4821 0 -1 1077944384 33 12488 0 0 0 0 5 2 20 0 15 0 95754425 14321057792 33862 18446744073709551615 4194304 4196468 140726386142000 140148036413088 140148558943957 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22675456 140726386149328 140726386152113 140726386152113 140726386155471 0
[pid=25021/tid=25078] ppid=25018 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/25021/task/25078/stat : 25078 (java) S 25018 25021 4821 0 -1 1077944384 21 12488 0 0 0 0 5 2 20 0 15 0 95754425 14321057792 33862 18446744073709551615 4194304 4196468 140726386142000 140148035359984 140148558943957 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22675456 140726386149328 140726386152113 140726386152113 140726386155471 0
[pid=25021/tid=25079] ppid=25018 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/25021/task/25079/stat : 25079 (java) S 25018 25021 4821 0 -1 1077944384 3 12488 0 0 0 0 5 2 20 0 15 0 95754428 14321057792 33862 18446744073709551615 4194304 4196468 140726386142000 140148034308560 140148558952347 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22675456 140726386149328 140726386152113 140726386152113 140726386155471 0
[pid=25021/tid=25080] ppid=25018 vsize=13985408 CPUtime=0.17 cores=1,3,5,7
/proc/25021/task/25080/stat : 25080 (java) S 25018 25021 4821 0 -1 1077944384 819 12488 0 0 10 0 5 2 20 0 15 0 95754428 14321057792 33862 18446744073709551615 4194304 4196468 140726386142000 140148033255664 140148558944898 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22675456 140726386149328 140726386152113 140726386152113 140726386155471 0
[pid=25021/tid=25081] ppid=25018 vsize=13985408 CPUtime=0.25 cores=1,3,5,7
/proc/25021/task/25081/stat : 25081 (java) S 25018 25021 4821 0 -1 1077944384 886 12488 0 0 18 0 5 2 20 0 15 0 95754428 14321057792 33862 18446744073709551615 4194304 4196468 140726386142000 140148032203120 140148558944898 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22675456 140726386149328 140726386152113 140726386152113 140726386155471 0
[pid=25021/tid=25082] ppid=25018 vsize=13985408 CPUtime=0.29 cores=1,3,5,7
/proc/25021/task/25082/stat : 25082 (java) S 25018 25021 4821 0 -1 1077944384 1245 12488 0 0 22 0 5 2 20 0 15 0 95754428 14321057792 33862 18446744073709551615 4194304 4196468 140726386142000 140148031150064 140148558944898 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22675456 140726386149328 140726386152113 140726386152113 140726386155471 0
[pid=25021/tid=25083] ppid=25018 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/25021/task/25083/stat : 25083 (java) S 25018 25021 4821 0 -1 1077944384 3 12488 0 0 0 0 5 2 20 0 15 0 95754428 14321057792 33862 18446744073709551615 4194304 4196468 140726386142000 140148030097760 140148558943957 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22675456 140726386149328 140726386152113 140726386152113 140726386155471 0
[pid=25021/tid=25084] ppid=25018 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/25021/task/25084/stat : 25084 (java) S 25018 25021 4821 0 -1 1077944384 10 12488 0 0 0 0 5 2 20 0 15 0 95754435 14321057792 33862 18446744073709551615 4194304 4196468 140726386142000 140148029045808 140148558944898 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22675456 140726386149328 140726386152113 140726386152113 140726386155471 0
Current children cumulated CPU time (s) 1.79
Current children cumulated vsize (KiB) 13985408

[startup+3.10089 s]
/proc/loadavg: 1.85 1.61 1.63 5/214 25084
/proc/meminfo: memFree=30370620/32770624 swapFree=0/440932
[pid=25021] ppid=25018 vsize=13995836 CPUtime=5.99 cores=1,3,5,7
/proc/25021/stat : 25021 (java) S 25018 25021 4821 0 -1 1077944320 38595 12488 0 0 575 17 5 2 20 0 15 0 95754400 14331736064 78473 18446744073709551615 4194304 4196468 140726386142000 140726386124544 140148558933751 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 10 0 0 6293624 6294260 22675456 140726386149328 140726386152113 140726386152113 140726386155471 0
/proc/25021/statm: 3498959 78473 3464 1 0 3487573 0
[pid=25021/tid=25071] ppid=25018 vsize=13995836 CPUtime=2.76 cores=1,3,5,7
/proc/25021/task/25071/stat : 25071 (java) R 25018 25021 4821 0 -1 4202560 24764 12488 0 0 262 7 5 2 20 0 15 0 95754423 14331736064 78473 18446744073709551615 4194304 4196468 140726386142000 140148563166480 140148541920939 0 4 1 16800974 0 0 0 -1 1 0 0 6 0 0 6293624 6294260 22675456 140726386149328 140726386152113 140726386152113 140726386155471 0
[pid=25021/tid=25072] ppid=25018 vsize=13995836 CPUtime=0.11 cores=1,3,5,7
/proc/25021/task/25072/stat : 25072 (java) S 25018 25021 4821 0 -1 1077944384 119 12488 0 0 3 1 5 2 20 0 15 0 95754423 14331736064 78473 18446744073709551615 4194304 4196468 140726386142000 140148478347792 140148558943957 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22675456 140726386149328 140726386152113 140726386152113 140726386155471 0
[pid=25021/tid=25073] ppid=25018 vsize=13995836 CPUtime=0.12 cores=1,3,5,7
/proc/25021/task/25073/stat : 25073 (java) S 25018 25021 4821 0 -1 1077944384 237 12488 0 0 4 1 5 2 20 0 15 0 95754423 14331736064 78473 18446744073709551615 4194304 4196468 140726386142000 140148477295248 140148558943957 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22675456 140726386149328 140726386152113 140726386152113 140726386155471 0
[pid=25021/tid=25074] ppid=25018 vsize=13995836 CPUtime=0.12 cores=1,3,5,7
/proc/25021/task/25074/stat : 25074 (java) S 25018 25021 4821 0 -1 1077944384 151 12488 0 0 4 1 5 2 20 0 15 0 95754423 14331736064 78473 18446744073709551615 4194304 4196468 140726386142000 140148476242192 140148558943957 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22675456 140726386149328 140726386152113 140726386152113 140726386155471 0
[pid=25021/tid=25075] ppid=25018 vsize=13995836 CPUtime=0.12 cores=1,3,5,7
/proc/25021/task/25075/stat : 25075 (java) S 25018 25021 4821 0 -1 1077944384 274 12488 0 0 4 1 5 2 20 0 15 0 95754423 14331736064 78473 18446744073709551615 4194304 4196468 140726386142000 140148475189648 140148558943957 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22675456 140726386149328 140726386152113 140726386152113 140726386155471 0
[pid=25021/tid=25076] ppid=25018 vsize=13995836 CPUtime=0.08 cores=1,3,5,7
/proc/25021/task/25076/stat : 25076 (java) S 25018 25021 4821 0 -1 1077944384 1266 12488 0 0 1 0 5 2 20 0 15 0 95754425 14331736064 78473 18446744073709551615 4194304 4196468 140726386142000 140148037466864 140148558944898 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22675456 140726386149328 140726386152113 140726386152113 140726386155471 0
[pid=25021/tid=25077] ppid=25018 vsize=13995836 CPUtime=0.07 cores=1,3,5,7
/proc/25021/task/25077/stat : 25077 (java) S 25018 25021 4821 0 -1 1077944384 54 12488 0 0 0 0 5 2 20 0 15 0 95754425 14331736064 78473 18446744073709551615 4194304 4196468 140726386142000 140148036413152 140148558943957 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22675456 140726386149328 140726386152113 140726386152113 140726386155471 0
[pid=25021/tid=25078] ppid=25018 vsize=13995836 CPUtime=0.07 cores=1,3,5,7
/proc/25021/task/25078/stat : 25078 (java) S 25018 25021 4821 0 -1 1077944384 44 12488 0 0 0 0 5 2 20 0 15 0 95754425 14331736064 78473 18446744073709551615 4194304 4196468 140726386142000 140148035360000 140148558943957 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22675456 140726386149328 140726386152113 140726386152113 140726386155471 0
[pid=25021/tid=25079] ppid=25018 vsize=13995836 CPUtime=0.07 cores=1,3,5,7
/proc/25021/task/25079/stat : 25079 (java) S 25018 25021 4821 0 -1 1077944384 3 12488 0 0 0 0 5 2 20 0 15 0 95754428 14331736064 78473 18446744073709551615 4194304 4196468 140726386142000 140148034308560 140148558952347 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22675456 140726386149328 140726386152113 140726386152113 140726386155471 0
[pid=25021/tid=25080] ppid=25018 vsize=13995836 CPUtime=1.1 cores=1,3,5,7
/proc/25021/task/25080/stat : 25080 (java) R 25018 25021 4821 0 -1 4202560 2645 12488 0 0 102 1 5 2 20 0 15 0 95754428 14331736064 78473 18446744073709551615 4194304 4196468 140726386142000 140148033248152 140148539569810 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 22675456 140726386149328 140726386152113 140726386152113 140726386155471 0
[pid=25021/tid=25081] ppid=25018 vsize=13995836 CPUtime=1.14 cores=1,3,5,7
/proc/25021/task/25081/stat : 25081 (java) R 25018 25021 4821 0 -1 4202560 2663 12488 0 0 107 0 5 2 20 0 15 0 95754428 14331736064 78473 18446744073709551615 4194304 4196468 140726386142000 140148032201136 140148542432836 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22675456 140726386149328 140726386152113 140726386152113 140726386155471 0
[pid=25021/tid=25082] ppid=25018 vsize=13995836 CPUtime=0.9 cores=1,3,5,7
/proc/25021/task/25082/stat : 25082 (java) S 25018 25021 4821 0 -1 1077944384 4208 12488 0 0 82 1 5 2 20 0 15 0 95754428 14331736064 78473 18446744073709551615 4194304 4196468 140726386142000 140148031150064 140148558944898 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22675456 140726386149328 140726386152113 140726386152113 140726386155471 0
[pid=25021/tid=25083] ppid=25018 vsize=13995836 CPUtime=0.07 cores=1,3,5,7
/proc/25021/task/25083/stat : 25083 (java) S 25018 25021 4821 0 -1 1077944384 3 12488 0 0 0 0 5 2 20 0 15 0 95754428 14331736064 78473 18446744073709551615 4194304 4196468 140726386142000 140148030097760 140148558943957 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22675456 140726386149328 140726386152113 140726386152113 140726386155471 0
[pid=25021/tid=25084] ppid=25018 vsize=13995836 CPUtime=0.07 cores=1,3,5,7
/proc/25021/task/25084/stat : 25084 (java) S 25018 25021 4821 0 -1 1077944384 14 12488 0 0 0 0 5 2 20 0 15 0 95754435 14331736064 78473 18446744073709551615 4194304 4196468 140726386142000 140148029045808 140148558944898 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22675456 140726386149328 140726386152113 140726386152113 140726386155471 0
Current children cumulated CPU time (s) 5.99
Current children cumulated vsize (KiB) 13995836

[startup+6.30089 s]
/proc/loadavg: 2.10 1.67 1.65 5/214 25084
/proc/meminfo: memFree=30088484/32770624 swapFree=0/440932
[pid=25021] ppid=25018 vsize=13997884 CPUtime=16.21 cores=1,3,5,7
/proc/25021/stat : 25021 (java) S 25018 25021 4821 0 -1 1077944320 68126 12488 0 0 1583 31 5 2 20 0 15 0 95754400 14333833216 127134 18446744073709551615 4194304 4196468 140726386142000 140726386124544 140148558933751 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 10 0 0 6293624 6294260 22675456 140726386149328 140726386152113 140726386152113 140726386155471 0
/proc/25021/statm: 3499471 127134 3475 1 0 3488085 0
[pid=25021/tid=25071] ppid=25018 vsize=13997884 CPUtime=5.77 cores=1,3,5,7
/proc/25021/task/25071/stat : 25071 (java) R 25018 25021 4821 0 -1 4202560 30382 12488 0 0 561 9 5 2 20 0 15 0 95754423 14333833216 127134 18446744073709551615 4194304 4196468 140726386142000 140148563160048 140148168845154 0 4 1 16800974 0 0 0 -1 5 0 0 6 0 0 6293624 6294260 22675456 140726386149328 140726386152113 140726386152113 140726386155471 0
[pid=25021/tid=25072] ppid=25018 vsize=13997884 CPUtime=0.26 cores=1,3,5,7
/proc/25021/task/25072/stat : 25072 (java) S 25018 25021 4821 0 -1 1077944384 414 12488 0 0 16 3 5 2 20 0 15 0 95754423 14333833216 127134 18446744073709551615 4194304 4196468 140726386142000 140148478347792 140148558943957 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22675456 140726386149328 140726386152113 140726386152113 140726386155471 0
[pid=25021/tid=25073] ppid=25018 vsize=13997884 CPUtime=0.25 cores=1,3,5,7
/proc/25021/task/25073/stat : 25073 (java) S 25018 25021 4821 0 -1 1077944384 479 12488 0 0 15 3 5 2 20 0 15 0 95754423 14333833216 127134 18446744073709551615 4194304 4196468 140726386142000 140148477295248 140148558943957 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22675456 140726386149328 140726386152113 140726386152113 140726386155471 0
[pid=25021/tid=25074] ppid=25018 vsize=13997884 CPUtime=0.22 cores=1,3,5,7
/proc/25021/task/25074/stat : 25074 (java) S 25018 25021 4821 0 -1 1077944384 264 12488 0 0 12 3 5 2 20 0 15 0 95754423 14333833216 127134 18446744073709551615 4194304 4196468 140726386142000 140148476242192 140148558943957 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22675456 140726386149328 140726386152113 140726386152113 140726386155471 0
[pid=25021/tid=25075] ppid=25018 vsize=13997884 CPUtime=0.26 cores=1,3,5,7
/proc/25021/task/25075/stat : 25075 (java) S 25018 25021 4821 0 -1 1077944384 948 12488 0 0 15 4 5 2 20 0 15 0 95754423 14333833216 127134 18446744073709551615 4194304 4196468 140726386142000 140148475189648 140148558943957 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22675456 140726386149328 140726386152113 140726386152113 140726386155471 0
[pid=25021/tid=25076] ppid=25018 vsize=13997884 CPUtime=0.09 cores=1,3,5,7
/proc/25021/task/25076/stat : 25076 (java) S 25018 25021 4821 0 -1 1077944384 2141 12488 0 0 2 0 5 2 20 0 15 0 95754425 14333833216 127134 18446744073709551615 4194304 4196468 140726386142000 140148037466864 140148558944898 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22675456 140726386149328 140726386152113 140726386152113 140726386155471 0
[pid=25021/tid=25077] ppid=25018 vsize=13997884 CPUtime=0.07 cores=1,3,5,7
/proc/25021/task/25077/stat : 25077 (java) S 25018 25021 4821 0 -1 1077944384 59 12488 0 0 0 0 5 2 20 0 15 0 95754425 14333833216 127134 18446744073709551615 4194304 4196468 140726386142000 140148036413152 140148558943957 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22675456 140726386149328 140726386152113 140726386152113 140726386155471 0
[pid=25021/tid=25078] ppid=25018 vsize=13997884 CPUtime=0.07 cores=1,3,5,7
/proc/25021/task/25078/stat : 25078 (java) S 25018 25021 4821 0 -1 1077944384 53 12488 0 0 0 0 5 2 20 0 15 0 95754425 14333833216 127134 18446744073709551615 4194304 4196468 140726386142000 140148035360000 140148558943957 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22675456 140726386149328 140726386152113 140726386152113 140726386155471 0
[pid=25021/tid=25079] ppid=25018 vsize=13997884 CPUtime=0.07 cores=1,3,5,7
/proc/25021/task/25079/stat : 25079 (java) S 25018 25021 4821 0 -1 1077944384 3 12488 0 0 0 0 5 2 20 0 15 0 95754428 14333833216 127134 18446744073709551615 4194304 4196468 140726386142000 140148034308560 140148558952347 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22675456 140726386149328 140726386152113 140726386152113 140726386155471 0
[pid=25021/tid=25080] ppid=25018 vsize=13997884 CPUtime=4.08 cores=1,3,5,7
/proc/25021/task/25080/stat : 25080 (java) R 25018 25021 4821 0 -1 4202560 8865 12488 0 0 400 1 5 2 20 0 15 0 95754428 14333833216 127134 18446744073709551615 4194304 4196468 140726386142000 140148033242208 140148542344729 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 22675456 140726386149328 140726386152113 140726386152113 140726386155471 0
[pid=25021/tid=25081] ppid=25018 vsize=13997884 CPUtime=4.15 cores=1,3,5,7
/proc/25021/task/25081/stat : 25081 (java) R 25018 25021 4821 0 -1 4202560 14467 12488 0 0 406 2 5 2 20 0 15 0 95754428 14333833216 127134 18446744073709551615 4194304 4196468 140726386142000 140148032187232 140148540478920 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22675456 140726386149328 140726386152113 140726386152113 140726386155471 0
[pid=25021/tid=25082] ppid=25018 vsize=13997884 CPUtime=1.59 cores=1,3,5,7
/proc/25021/task/25082/stat : 25082 (java) S 25018 25021 4821 0 -1 1077944384 7579 12488 0 0 150 2 5 2 20 0 15 0 95754428 14333833216 127134 18446744073709551615 4194304 4196468 140726386142000 140148031150064 140148558944898 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22675456 140726386149328 140726386152113 140726386152113 140726386155471 0
[pid=25021/tid=25083] ppid=25018 vsize=13997884 CPUtime=0.07 cores=1,3,5,7
/proc/25021/task/25083/stat : 25083 (java) S 25018 25021 4821 0 -1 1077944384 3 12488 0 0 0 0 5 2 20 0 15 0 95754428 14333833216 127134 18446744073709551615 4194304 4196468 140726386142000 140148030097760 140148558943957 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22675456 140726386149328 140726386152113 140726386152113 140726386155471 0
[pid=25021/tid=25084] ppid=25018 vsize=13997884 CPUtime=0.07 cores=1,3,5,7
/proc/25021/task/25084/stat : 25084 (java) S 25018 25021 4821 0 -1 1077944384 319 12488 0 0 0 0 5 2 20 0 15 0 95754435 14333833216 127134 18446744073709551615 4194304 4196468 140726386142000 140148029045808 140148558944898 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22675456 140726386149328 140726386152113 140726386152113 140726386155471 0
Current children cumulated CPU time (s) 16.21
Current children cumulated vsize (KiB) 13997884

[startup+12.7007 s]
/proc/loadavg: 2.34 1.72 1.67 3/213 25085
/proc/meminfo: memFree=29138284/32770624 swapFree=0/440932
[pid=25021] ppid=25018 vsize=13999932 CPUtime=30.75 cores=1,3,5,7
/proc/25021/stat : 25021 (java) S 25018 25021 4821 0 -1 1077944320 82778 12488 0 0 3007 61 5 2 20 0 15 0 95754400 14335930368 352723 18446744073709551615 4194304 4196468 140726386142000 140726386124544 140148558933751 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 10 0 0 6293624 6294260 22675456 140726386149328 140726386152113 140726386152113 140726386155471 0
/proc/25021/statm: 3499983 352723 3479 1 0 3488597 0
[pid=25021/tid=25071] ppid=25018 vsize=13999932 CPUtime=11.91 cores=1,3,5,7
/proc/25021/task/25071/stat : 25071 (java) R 25018 25021 4821 0 -1 4202560 33805 12488 0 0 1164 20 5 2 20 0 15 0 95754423 14335930368 352723 18446744073709551615 4194304 4196468 140726386142000 140148563167104 140148156210503 0 4 1 16800974 0 0 0 -1 1 0 0 6 0 0 6293624 6294260 22675456 140726386149328 140726386152113 140726386152113 140726386155471 0
[pid=25021/tid=25072] ppid=25018 vsize=13999932 CPUtime=0.5 cores=1,3,5,7
/proc/25021/task/25072/stat : 25072 (java) S 25018 25021 4821 0 -1 1077944384 558 12488 0 0 35 8 5 2 20 0 15 0 95754423 14335930368 352723 18446744073709551615 4194304 4196468 140726386142000 140148478347792 140148558943957 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22675456 140726386149328 140726386152113 140726386152113 140726386155471 0
[pid=25021/tid=25073] ppid=25018 vsize=13999932 CPUtime=0.44 cores=1,3,5,7
/proc/25021/task/25073/stat : 25073 (java) S 25018 25021 4821 0 -1 1077944384 614 12488 0 0 31 6 5 2 20 0 15 0 95754423 14335930368 352723 18446744073709551615 4194304 4196468 140726386142000 140148477295248 140148558943957 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22675456 140726386149328 140726386152113 140726386152113 140726386155471 0
[pid=25021/tid=25074] ppid=25018 vsize=13999932 CPUtime=0.43 cores=1,3,5,7
/proc/25021/task/25074/stat : 25074 (java) S 25018 25021 4821 0 -1 1077944384 385 12488 0 0 30 6 5 2 20 0 15 0 95754423 14335930368 352723 18446744073709551615 4194304 4196468 140726386142000 140148476242192 140148558943957 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22675456 140726386149328 140726386152113 140726386152113 140726386155471 0
[pid=25021/tid=25075] ppid=25018 vsize=13999932 CPUtime=0.46 cores=1,3,5,7
/proc/25021/task/25075/stat : 25075 (java) S 25018 25021 4821 0 -1 1077944384 1086 12488 0 0 32 7 5 2 20 0 15 0 95754423 14335930368 352723 18446744073709551615 4194304 4196468 140726386142000 140148475189648 140148558943957 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22675456 140726386149328 140726386152113 140726386152113 140726386155471 0
[pid=25021/tid=25076] ppid=25018 vsize=13999932 CPUtime=0.1 cores=1,3,5,7
/proc/25021/task/25076/stat : 25076 (java) S 25018 25021 4821 0 -1 1077944384 2724 12488 0 0 3 0 5 2 20 0 15 0 95754425 14335930368 352723 18446744073709551615 4194304 4196468 140726386142000 140148037466864 140148558944898 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22675456 140726386149328 140726386152113 140726386152113 140726386155471 0
[pid=25021/tid=25077] ppid=25018 vsize=13999932 CPUtime=0.07 cores=1,3,5,7
/proc/25021/task/25077/stat : 25077 (java) S 25018 25021 4821 0 -1 1077944384 59 12488 0 0 0 0 5 2 20 0 15 0 95754425 14335930368 352723 18446744073709551615 4194304 4196468 140726386142000 140148036413152 140148558943957 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22675456 140726386149328 140726386152113 140726386152113 140726386155471 0
[pid=25021/tid=25078] ppid=25018 vsize=13999932 CPUtime=0.07 cores=1,3,5,7
/proc/25021/task/25078/stat : 25078 (java) S 25018 25021 4821 0 -1 1077944384 53 12488 0 0 0 0 5 2 20 0 15 0 95754425 14335930368 352723 18446744073709551615 4194304 4196468 140726386142000 140148035360000 140148558943957 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22675456 140726386149328 140726386152113 140726386152113 140726386155471 0
[pid=25021/tid=25079] ppid=25018 vsize=13999932 CPUtime=0.07 cores=1,3,5,7
/proc/25021/task/25079/stat : 25079 (java) S 25018 25021 4821 0 -1 1077944384 3 12488 0 0 0 0 5 2 20 0 15 0 95754428 14335930368 352723 18446744073709551615 4194304 4196468 140726386142000 140148034308560 140148558952347 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22675456 140726386149328 140726386152113 140726386152113 140726386155471 0

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

Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2440.9 s]
/proc/loadavg: 1.72 1.64 1.55 3/214 25361
/proc/meminfo: memFree=26293792/32770624 swapFree=0/441516
[pid=25021] ppid=25018 vsize=14069564 CPUtime=2520.09 cores=1,3,5,7
/proc/25021/stat : 25021 (java) S 25018 25021 4821 0 -1 1077944320 555798 12488 0 0 251628 374 5 2 20 0 15 0 95754400 14407233536 472579 18446744073709551615 4194304 4196468 140726386142000 140726386124544 140148558933751 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 10 0 0 6293624 6294260 22675456 140726386149328 140726386152113 140726386152113 140726386155471 0
/proc/25021/statm: 3517391 472579 3499 1 0 3506005 0
[pid=25021/tid=25071] ppid=25018 vsize=14069564 CPUtime=2418.42 cores=1,3,5,7
/proc/25021/task/25071/stat : 25071 (java) R 25018 25021 4821 0 -1 4202560 184856 12488 0 0 241742 93 5 2 20 0 15 0 95754423 14407233536 472579 18446744073709551615 4194304 4196468 140726386142000 140148563167952 140148178109765 0 4 1 16800974 0 0 0 -1 5 0 0 6 0 0 6293624 6294260 22675456 140726386149328 140726386152113 140726386152113 140726386155471 0
[pid=25021/tid=25072] ppid=25018 vsize=14069564 CPUtime=15.64 cores=1,3,5,7
/proc/25021/task/25072/stat : 25072 (java) S 25018 25021 4821 0 -1 1077944384 46665 12488 0 0 1517 40 5 2 20 0 15 0 95754423 14407233536 472579 18446744073709551615 4194304 4196468 140726386142000 140148478347792 140148558943957 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22675456 140726386149328 140726386152113 140726386152113 140726386155471 0
[pid=25021/tid=25073] ppid=25018 vsize=14069564 CPUtime=15.58 cores=1,3,5,7
/proc/25021/task/25073/stat : 25073 (java) S 25018 25021 4821 0 -1 1077944384 52693 12488 0 0 1512 39 5 2 20 0 15 0 95754423 14407233536 472579 18446744073709551615 4194304 4196468 140726386142000 140148477295248 140148558943957 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22675456 140726386149328 140726386152113 140726386152113 140726386155471 0
[pid=25021/tid=25074] ppid=25018 vsize=14069564 CPUtime=15.59 cores=1,3,5,7
/proc/25021/task/25074/stat : 25074 (java) S 25018 25021 4821 0 -1 1077944384 41115 12488 0 0 1517 35 5 2 20 0 15 0 95754423 14407233536 472579 18446744073709551615 4194304 4196468 140726386142000 140148476242192 140148558943957 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22675456 140726386149328 140726386152113 140726386152113 140726386155471 0
[pid=25021/tid=25075] ppid=25018 vsize=14069564 CPUtime=15.62 cores=1,3,5,7
/proc/25021/task/25075/stat : 25075 (java) S 25018 25021 4821 0 -1 1077944384 45872 12488 0 0 1518 37 5 2 20 0 15 0 95754423 14407233536 472579 18446744073709551615 4194304 4196468 140726386142000 140148475189648 140148558943957 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22675456 140726386149328 140726386152113 140726386152113 140726386155471 0
[pid=25021/tid=25076] ppid=25018 vsize=14069564 CPUtime=4.92 cores=1,3,5,7
/proc/25021/task/25076/stat : 25076 (java) S 25018 25021 4821 0 -1 1077944384 35826 12488 0 0 427 58 5 2 20 0 15 0 95754425 14407233536 472579 18446744073709551615 4194304 4196468 140726386142000 140148037466864 140148558944898 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22675456 140726386149328 140726386152113 140726386152113 140726386155471 0
[pid=25021/tid=25077] ppid=25018 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/25021/task/25077/stat : 25077 (java) S 25018 25021 4821 0 -1 1077944384 66 12488 0 0 0 0 5 2 20 0 15 0 95754425 14407233536 472579 18446744073709551615 4194304 4196468 140726386142000 140148036413216 140148558943957 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22675456 140726386149328 140726386152113 140726386152113 140726386155471 0
[pid=25021/tid=25078] ppid=25018 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/25021/task/25078/stat : 25078 (java) S 25018 25021 4821 0 -1 1077944384 64 12488 0 0 0 0 5 2 20 0 15 0 95754425 14407233536 472579 18446744073709551615 4194304 4196468 140726386142000 140148035360000 140148558943957 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22675456 140726386149328 140726386152113 140726386152113 140726386155471 0
[pid=25021/tid=25079] ppid=25018 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/25021/task/25079/stat : 25079 (java) S 25018 25021 4821 0 -1 1077944384 3 12488 0 0 0 0 5 2 20 0 15 0 95754428 14407233536 472579 18446744073709551615 4194304 4196468 140726386142000 140148034308560 140148558952347 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22675456 140726386149328 140726386152113 140726386152113 140726386155471 0
[pid=25021/tid=25080] ppid=25018 vsize=14069564 CPUtime=14.93 cores=1,3,5,7
/proc/25021/task/25080/stat : 25080 (java) S 25018 25021 4821 0 -1 1077944384 48435 12488 0 0 1480 6 5 2 20 0 15 0 95754428 14407233536 472579 18446744073709551615 4194304 4196468 140726386142000 140148033255664 140148558944898 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22675456 140726386149328 140726386152113 140726386152113 140726386155471 0
[pid=25021/tid=25081] ppid=25018 vsize=14069564 CPUtime=15.13 cores=1,3,5,7
/proc/25021/task/25081/stat : 25081 (java) S 25018 25021 4821 0 -1 1077944384 46762 12488 0 0 1499 7 5 2 20 0 15 0 95754428 14407233536 472579 18446744073709551615 4194304 4196468 140726386142000 140148032203120 140148558944898 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22675456 140726386149328 140726386152113 140726386152113 140726386155471 0
[pid=25021/tid=25082] ppid=25018 vsize=14069564 CPUtime=3.35 cores=1,3,5,7
/proc/25021/task/25082/stat : 25082 (java) S 25018 25021 4821 0 -1 1077944384 46887 12488 0 0 319 9 5 2 20 0 15 0 95754428 14407233536 472579 18446744073709551615 4194304 4196468 140726386142000 140148031150064 140148558944898 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22675456 140726386149328 140726386152113 140726386152113 140726386155471 0
[pid=25021/tid=25083] ppid=25018 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/25021/task/25083/stat : 25083 (java) S 25018 25021 4821 0 -1 1077944384 3 12488 0 0 0 0 5 2 20 0 15 0 95754428 14407233536 472579 18446744073709551615 4194304 4196468 140726386142000 140148030097760 140148558943957 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22675456 140726386149328 140726386152113 140726386152113 140726386155471 0
[pid=25021/tid=25084] ppid=25018 vsize=14069564 CPUtime=1.45 cores=1,3,5,7
/proc/25021/task/25084/stat : 25084 (java) S 25018 25021 4821 0 -1 1077944384 4401 12488 0 0 60 78 5 2 20 0 15 0 95754435 14407233536 472579 18446744073709551615 4194304 4196468 140726386142000 140148029045808 140148558944898 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22675456 140726386149328 140726386152113 140726386152113 140726386155471 0
Current children cumulated CPU time (s) 2520.09
Current children cumulated vsize (KiB) 14069564

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

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 25021 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+2441.6 s]
/proc/loadavg: 1.72 1.64 1.55 3/214 25361
/proc/meminfo: memFree=26293792/32770624 swapFree=0/441516
[pid=25021] ppid=25018 vsize=14202692 CPUtime=2522.28 cores=1,3,5,7
/proc/25021/stat : 25021 (java) S 25018 25021 4821 0 -1 1077944320 562507 12488 0 0 251846 375 5 2 20 0 17 0 95754400 14543556608 475330 18446744073709551615 4194304 4196468 140726386142000 140726386124544 140148558933751 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 10 0 0 6293624 6294260 22675456 140726386149328 140726386152113 140726386152113 140726386155471 0
/proc/25021/statm: 3550673 475330 3500 1 0 3539287 0
[pid=25021/tid=25071] ppid=25018 vsize=14202692 CPUtime=2418.56 cores=1,3,5,7
/proc/25021/task/25071/stat : 25071 (java) S 25018 25021 4821 0 -1 1077944384 185123 12488 0 0 241756 93 5 2 20 0 17 0 95754423 14543556608 475330 18446744073709551615 4194304 4196468 140726386142000 140148563171456 140148558943957 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 6 0 0 6293624 6294260 22675456 140726386149328 140726386152113 140726386152113 140726386155471 0
[pid=25021/tid=25072] ppid=25018 vsize=14202692 CPUtime=16.14 cores=1,3,5,7
/proc/25021/task/25072/stat : 25072 (java) R 25018 25021 4821 0 -1 4202560 46783 12488 0 0 1567 40 5 2 20 0 17 0 95754423 14543556608 475330 18446744073709551615 4194304 4196468 140726386142000 140148478347912 140148543634387 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22675456 140726386149328 140726386152113 140726386152113 140726386155471 0
[pid=25021/tid=25073] ppid=25018 vsize=14202692 CPUtime=16.08 cores=1,3,5,7
/proc/25021/task/25073/stat : 25073 (java) R 25018 25021 4821 0 -1 4202560 52807 12488 0 0 1562 39 5 2 20 0 17 0 95754423 14543556608 475330 18446744073709551615 4194304 4196468 140726386142000 140148477295368 140148543923336 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 22675456 140726386149328 140726386152113 140726386152113 140726386155471 0
[pid=25021/tid=25074] ppid=25018 vsize=14202692 CPUtime=16.1 cores=1,3,5,7
/proc/25021/task/25074/stat : 25074 (java) R 25018 25021 4821 0 -1 4202560 41221 12488 0 0 1567 36 5 2 20 0 17 0 95754423 14543556608 475330 18446744073709551615 4194304 4196468 140726386142000 140148476242312 140148543930260 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22675456 140726386149328 140726386152113 140726386152113 140726386155471 0
[pid=25021/tid=25075] ppid=25018 vsize=14202692 CPUtime=16.11 cores=1,3,5,7
/proc/25021/task/25075/stat : 25075 (java) R 25018 25021 4821 0 -1 4202560 45931 12488 0 0 1567 37 5 2 20 0 17 0 95754423 14543556608 475330 18446744073709551615 4194304 4196468 140726386142000 140148475189456 140148543634387 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22675456 140726386149328 140726386152113 140726386152113 140726386155471 0
[pid=25021/tid=25076] ppid=25018 vsize=14202692 CPUtime=4.96 cores=1,3,5,7
/proc/25021/task/25076/stat : 25076 (java) S 25018 25021 4821 0 -1 1077944384 41677 12488 0 0 430 59 5 2 20 0 17 0 95754425 14543556608 475330 18446744073709551615 4194304 4196468 140726386142000 140148037465488 140148558943957 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22675456 140726386149328 140726386152113 140726386152113 140726386155471 0
[pid=25021/tid=25077] ppid=25018 vsize=14202692 CPUtime=0.07 cores=1,3,5,7
/proc/25021/task/25077/stat : 25077 (java) S 25018 25021 4821 0 -1 1077944384 66 12488 0 0 0 0 5 2 20 0 17 0 95754425 14543556608 475330 18446744073709551615 4194304 4196468 140726386142000 140148036413216 140148558943957 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22675456 140726386149328 140726386152113 140726386152113 140726386155471 0
[pid=25021/tid=25078] ppid=25018 vsize=14202692 CPUtime=0.07 cores=1,3,5,7
/proc/25021/task/25078/stat : 25078 (java) S 25018 25021 4821 0 -1 1077944384 64 12488 0 0 0 0 5 2 20 0 17 0 95754425 14543556608 475330 18446744073709551615 4194304 4196468 140726386142000 140148035360000 140148558943957 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22675456 140726386149328 140726386152113 140726386152113 140726386155471 0
[pid=25021/tid=25079] ppid=25018 vsize=14202692 CPUtime=0.07 cores=1,3,5,7
/proc/25021/task/25079/stat : 25079 (java) S 25018 25021 4821 0 -1 1077944384 89 12488 0 0 0 0 5 2 20 0 17 0 95754428 14543556608 475330 18446744073709551615 4194304 4196468 140726386142000 140148034308560 140148558952347 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22675456 140726386149328 140726386152113 140726386152113 140726386155471 0
[pid=25021/tid=25080] ppid=25018 vsize=14202692 CPUtime=14.93 cores=1,3,5,7
/proc/25021/task/25080/stat : 25080 (java) S 25018 25021 4821 0 -1 1077944384 48435 12488 0 0 1480 6 5 2 20 0 17 0 95754428 14543556608 475330 18446744073709551615 4194304 4196468 140726386142000 140148033255664 140148558944898 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22675456 140726386149328 140726386152113 140726386152113 140726386155471 0
[pid=25021/tid=25081] ppid=25018 vsize=14202692 CPUtime=15.13 cores=1,3,5,7
/proc/25021/task/25081/stat : 25081 (java) S 25018 25021 4821 0 -1 1077944384 46762 12488 0 0 1499 7 5 2 20 0 17 0 95754428 14543556608 475330 18446744073709551615 4194304 4196468 140726386142000 140148032203120 140148558944898 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22675456 140726386149328 140726386152113 140726386152113 140726386155471 0
[pid=25021/tid=25082] ppid=25018 vsize=14202692 CPUtime=3.35 cores=1,3,5,7
/proc/25021/task/25082/stat : 25082 (java) S 25018 25021 4821 0 -1 1077944384 46887 12488 0 0 319 9 5 2 20 0 17 0 95754428 14543556608 475330 18446744073709551615 4194304 4196468 140726386142000 140148031150064 140148558944898 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22675456 140726386149328 140726386152113 140726386152113 140726386155471 0
[pid=25021/tid=25083] ppid=25018 vsize=14202692 CPUtime=0.07 cores=1,3,5,7
/proc/25021/task/25083/stat : 25083 (java) S 25018 25021 4821 0 -1 1077944384 3 12488 0 0 0 0 5 2 20 0 17 0 95754428 14543556608 475330 18446744073709551615 4194304 4196468 140726386142000 140148030097760 140148558943957 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22675456 140726386149328 140726386152113 140726386152113 140726386155471 0
[pid=25021/tid=25084] ppid=25018 vsize=14202692 CPUtime=1.45 cores=1,3,5,7
/proc/25021/task/25084/stat : 25084 (java) S 25018 25021 4821 0 -1 1077944384 4401 12488 0 0 60 78 5 2 20 0 17 0 95754435 14543556608 475330 18446744073709551615 4194304 4196468 140726386142000 140148029045808 140148558944898 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22675456 140726386149328 140726386152113 140726386152113 140726386155471 0
Current children cumulated CPU time (s) 2522.28
Current children cumulated vsize (KiB) 14202692

[startup+2442 s]
/proc/loadavg: 1.72 1.64 1.55 6/216 25363
/proc/meminfo: memFree=26284128/32770624 swapFree=0/441516
[pid=25021] ppid=25018 vsize=14202692 CPUtime=2523.65 cores=1,3,5,7
/proc/25021/stat : 25021 (java) S 25018 25021 4821 0 -1 1077944320 562650 12488 0 0 251983 375 5 2 20 0 17 0 95754400 14543556608 475077 18446744073709551615 4194304 4196468 140726386142000 140726386124544 140148558933751 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 10 0 0 6293624 6294260 22675456 140726386149328 140726386152113 140726386152113 140726386155471 0
/proc/25021/statm: 3550673 475077 3500 1 0 3539287 0
[pid=25021/tid=25071] ppid=25018 vsize=14202692 CPUtime=2418.56 cores=1,3,5,7
/proc/25021/task/25071/stat : 25071 (java) S 25018 25021 4821 0 -1 1077944384 185123 12488 0 0 241756 93 5 2 20 0 17 0 95754423 14543556608 475077 18446744073709551615 4194304 4196468 140726386142000 140148563171456 140148558943957 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 6 0 0 6293624 6294260 22675456 140726386149328 140726386152113 140726386152113 140726386155471 0
[pid=25021/tid=25072] ppid=25018 vsize=14202692 CPUtime=16.46 cores=1,3,5,7
/proc/25021/task/25072/stat : 25072 (java) R 25018 25021 4821 0 -1 4202560 46785 12488 0 0 1599 40 5 2 20 0 17 0 95754423 14543556608 475077 18446744073709551615 4194304 4196468 140726386142000 140148478347912 140148551561959 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 22675456 140726386149328 140726386152113 140726386152113 140726386155471 0
[pid=25021/tid=25073] ppid=25018 vsize=14202692 CPUtime=16.4 cores=1,3,5,7
/proc/25021/task/25073/stat : 25073 (java) S 25018 25021 4821 0 -1 1077944384 52808 12488 0 0 1594 39 5 2 20 0 17 0 95754423 14543556608 475077 18446744073709551615 4194304 4196468 140726386142000 140148477295248 140148558943957 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22675456 140726386149328 140726386152113 140726386152113 140726386155471 0
[pid=25021/tid=25074] ppid=25018 vsize=14202692 CPUtime=16.43 cores=1,3,5,7
/proc/25021/task/25074/stat : 25074 (java) S 25018 25021 4821 0 -1 1077944384 41221 12488 0 0 1600 36 5 2 20 0 17 0 95754423 14543556608 475077 18446744073709551615 4194304 4196468 140726386142000 140148476242192 140148558943957 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22675456 140726386149328 140726386152113 140726386152113 140726386155471 0
[pid=25021/tid=25075] ppid=25018 vsize=14202692 CPUtime=16.44 cores=1,3,5,7
/proc/25021/task/25075/stat : 25075 (java) S 25018 25021 4821 0 -1 1077944384 45931 12488 0 0 1600 37 5 2 20 0 17 0 95754423 14543556608 475077 18446744073709551615 4194304 4196468 140726386142000 140148475189664 140148558943957 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22675456 140726386149328 140726386152113 140726386152113 140726386155471 0
[pid=25021/tid=25076] ppid=25018 vsize=14202692 CPUtime=5.04 cores=1,3,5,7
/proc/25021/task/25076/stat : 25076 (java) S 25018 25021 4821 0 -1 1077944384 41814 12488 0 0 438 59 5 2 20 0 17 0 95754425 14543556608 475077 18446744073709551615 4194304 4196468 140726386142000 140148037465488 140148558943957 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22675456 140726386149328 140726386152113 140726386152113 140726386155471 0
[pid=25021/tid=25077] ppid=25018 vsize=14202692 CPUtime=0.07 cores=1,3,5,7
/proc/25021/task/25077/stat : 25077 (java) S 25018 25021 4821 0 -1 1077944384 68 12488 0 0 0 0 5 2 20 0 17 0 95754425 14543556608 475077 18446744073709551615 4194304 4196468 140726386142000 140148036412816 140148558943957 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22675456 140726386149328 140726386152113 140726386152113 140726386155471 0
[pid=25021/tid=25078] ppid=25018 vsize=14202692 CPUtime=0.07 cores=1,3,5,7
/proc/25021/task/25078/stat : 25078 (java) S 25018 25021 4821 0 -1 1077944384 64 12488 0 0 0 0 5 2 20 0 17 0 95754425 14543556608 475077 18446744073709551615 4194304 4196468 140726386142000 140148035360000 140148558943957 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22675456 140726386149328 140726386152113 140726386152113 140726386155471 0
[pid=25021/tid=25079] ppid=25018 vsize=14202692 CPUtime=0.07 cores=1,3,5,7
/proc/25021/task/25079/stat : 25079 (java) S 25018 25021 4821 0 -1 1077944384 89 12488 0 0 0 0 5 2 20 0 17 0 95754428 14543556608 475077 18446744073709551615 4194304 4196468 140726386142000 140148034308560 140148558952347 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22675456 140726386149328 140726386152113 140726386152113 140726386155471 0
[pid=25021/tid=25080] ppid=25018 vsize=14202692 CPUtime=14.93 cores=1,3,5,7
/proc/25021/task/25080/stat : 25080 (java) S 25018 25021 4821 0 -1 1077944384 48435 12488 0 0 1480 6 5 2 20 0 17 0 95754428 14543556608 475077 18446744073709551615 4194304 4196468 140726386142000 140148033255664 140148558944898 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22675456 140726386149328 140726386152113 140726386152113 140726386155471 0
[pid=25021/tid=25081] ppid=25018 vsize=14202692 CPUtime=15.13 cores=1,3,5,7
/proc/25021/task/25081/stat : 25081 (java) S 25018 25021 4821 0 -1 1077944384 46762 12488 0 0 1499 7 5 2 20 0 17 0 95754428 14543556608 475077 18446744073709551615 4194304 4196468 140726386142000 140148032203120 140148558944898 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22675456 140726386149328 140726386152113 140726386152113 140726386155471 0
[pid=25021/tid=25082] ppid=25018 vsize=14202692 CPUtime=3.35 cores=1,3,5,7
/proc/25021/task/25082/stat : 25082 (java) S 25018 25021 4821 0 -1 1077944384 46887 12488 0 0 319 9 5 2 20 0 17 0 95754428 14543556608 475077 18446744073709551615 4194304 4196468 140726386142000 140148031150064 140148558944898 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22675456 140726386149328 140726386152113 140726386152113 140726386155471 0
[pid=25021/tid=25083] ppid=25018 vsize=14202692 CPUtime=0.07 cores=1,3,5,7
/proc/25021/task/25083/stat : 25083 (java) S 25018 25021 4821 0 -1 1077944384 3 12488 0 0 0 0 5 2 20 0 17 0 95754428 14543556608 475077 18446744073709551615 4194304 4196468 140726386142000 140148030097760 140148558943957 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22675456 140726386149328 140726386152113 140726386152113 140726386155471 0
[pid=25021/tid=25084] ppid=25018 vsize=14202692 CPUtime=1.45 cores=1,3,5,7
/proc/25021/task/25084/stat : 25084 (java) S 25018 25021 4821 0 -1 1077944384 4401 12488 0 0 60 78 5 2 20 0 17 0 95754435 14543556608 475077 18446744073709551615 4194304 4196468 140726386142000 140148029045808 140148558944898 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22675456 140726386149328 140726386152113 140726386152113 140726386155471 0
[pid=25021/tid=25362] ppid=25018 vsize=14202692 CPUtime=0.07 cores=1,3,5,7
/proc/25021/task/25362/stat : 25362 (java) S 25018 25021 4821 0 -1 1077944384 83 12488 0 0 0 0 5 2 20 0 17 0 95998491 14543556608 475077 18446744073709551615 4194304 4196468 140726386142000 140148005729136 140148558943957 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22675456 140726386149328 140726386152113 140726386152113 140726386155471 0
[pid=25021/tid=25363] ppid=25018 vsize=14202692 CPUtime=0.07 cores=1,3,5,7
/proc/25021/task/25363/stat : 25363 (java) S 25018 25021 4821 0 -1 1077944384 25 12488 0 0 0 0 5 2 20 0 17 0 95998491 14543556608 475077 18446744073709551615 4194304 4196468 140726386142000 140147366814912 140148558943957 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22675456 140726386149328 140726386152113 140726386152113 140726386155471 0
Current children cumulated CPU time (s) 2523.65
Current children cumulated vsize (KiB) 14202692

[startup+2442.11 s]
/proc/loadavg: 1.72 1.64 1.55 6/216 25363
/proc/meminfo: memFree=26284128/32770624 swapFree=0/441516
[pid=25021] ppid=25018 vsize=14202692 CPUtime=2523.99 cores=1,3,5,7
/proc/25021/stat : 25021 (java) S 25018 25021 4821 0 -1 1077944320 562653 12488 0 0 252017 375 5 2 20 0 17 0 95754400 14543556608 475077 18446744073709551615 4194304 4196468 140726386142000 140726386124544 140148558933751 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 10 0 0 6293624 6294260 22675456 140726386149328 140726386152113 140726386152113 140726386155471 0
/proc/25021/statm: 3550673 475077 3500 1 0 3539287 0
[pid=25021/tid=25071] ppid=25018 vsize=14202692 CPUtime=2418.57 cores=1,3,5,7
/proc/25021/task/25071/stat : 25071 (java) S 25018 25021 4821 0 -1 1077944384 185123 12488 0 0 241757 93 5 2 20 0 17 0 95754423 14543556608 475077 18446744073709551615 4194304 4196468 140726386142000 140148563171456 140148558943957 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 6 0 0 6293624 6294260 22675456 140726386149328 140726386152113 140726386152113 140726386155471 0
[pid=25021/tid=25072] ppid=25018 vsize=14202692 CPUtime=16.54 cores=1,3,5,7
/proc/25021/task/25072/stat : 25072 (java) R 25018 25021 4821 0 -1 4202560 46785 12488 0 0 1607 40 5 2 20 0 17 0 95754423 14543556608 475077 18446744073709551615 4194304 4196468 140726386142000 140148478347792 140148540543497 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22675456 140726386149328 140726386152113 140726386152113 140726386155471 0
[pid=25021/tid=25073] ppid=25018 vsize=14202692 CPUtime=16.48 cores=1,3,5,7
/proc/25021/task/25073/stat : 25073 (java) R 25018 25021 4821 0 -1 4202560 52808 12488 0 0 1602 39 5 2 20 0 17 0 95754423 14543556608 475077 18446744073709551615 4194304 4196468 140726386142000 140148477295248 140148540543539 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22675456 140726386149328 140726386152113 140726386152113 140726386155471 0
[pid=25021/tid=25074] ppid=25018 vsize=14202692 CPUtime=16.51 cores=1,3,5,7
/proc/25021/task/25074/stat : 25074 (java) R 25018 25021 4821 0 -1 4202560 41221 12488 0 0 1608 36 5 2 20 0 17 0 95754423 14543556608 475077 18446744073709551615 4194304 4196468 140726386142000 140148476242192 140148543930155 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22675456 140726386149328 140726386152113 140726386152113 140726386155471 0
[pid=25021/tid=25075] ppid=25018 vsize=14202692 CPUtime=16.52 cores=1,3,5,7
/proc/25021/task/25075/stat : 25075 (java) R 25018 25021 4821 0 -1 4202560 45931 12488 0 0 1608 37 5 2 20 0 17 0 95754423 14543556608 475077 18446744073709551615 4194304 4196468 140726386142000 140148475189848 140148543930148 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 22675456 140726386149328 140726386152113 140726386152113 140726386155471 0
[pid=25021/tid=25076] ppid=25018 vsize=14202692 CPUtime=5.06 cores=1,3,5,7
/proc/25021/task/25076/stat : 25076 (java) S 25018 25021 4821 0 -1 1077944384 41814 12488 0 0 440 59 5 2 20 0 17 0 95754425 14543556608 475077 18446744073709551615 4194304 4196468 140726386142000 140148037465488 140148558943957 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22675456 140726386149328 140726386152113 140726386152113 140726386155471 0
[pid=25021/tid=25077] ppid=25018 vsize=14202692 CPUtime=0.07 cores=1,3,5,7
/proc/25021/task/25077/stat : 25077 (java) S 25018 25021 4821 0 -1 1077944384 70 12488 0 0 0 0 5 2 20 0 17 0 95754425 14543556608 475077 18446744073709551615 4194304 4196468 140726386142000 140148036413200 140148558944898 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22675456 140726386149328 140726386152113 140726386152113 140726386155471 0
[pid=25021/tid=25078] ppid=25018 vsize=14202692 CPUtime=0.07 cores=1,3,5,7
/proc/25021/task/25078/stat : 25078 (java) S 25018 25021 4821 0 -1 1077944384 64 12488 0 0 0 0 5 2 20 0 17 0 95754425 14543556608 475077 18446744073709551615 4194304 4196468 140726386142000 140148035360000 140148558943957 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22675456 140726386149328 140726386152113 140726386152113 140726386155471 0
[pid=25021/tid=25079] ppid=25018 vsize=14202692 CPUtime=0.07 cores=1,3,5,7
/proc/25021/task/25079/stat : 25079 (java) S 25018 25021 4821 0 -1 1077944384 89 12488 0 0 0 0 5 2 20 0 17 0 95754428 14543556608 475077 18446744073709551615 4194304 4196468 140726386142000 140148034308560 140148558952347 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22675456 140726386149328 140726386152113 140726386152113 140726386155471 0
[pid=25021/tid=25080] ppid=25018 vsize=14202692 CPUtime=14.93 cores=1,3,5,7
/proc/25021/task/25080/stat : 25080 (java) S 25018 25021 4821 0 -1 1077944384 48435 12488 0 0 1480 6 5 2 20 0 17 0 95754428 14543556608 475077 18446744073709551615 4194304 4196468 140726386142000 140148033255664 140148558944898 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22675456 140726386149328 140726386152113 140726386152113 140726386155471 0
[pid=25021/tid=25081] ppid=25018 vsize=14202692 CPUtime=15.13 cores=1,3,5,7
/proc/25021/task/25081/stat : 25081 (java) S 25018 25021 4821 0 -1 1077944384 46762 12488 0 0 1499 7 5 2 20 0 17 0 95754428 14543556608 475077 18446744073709551615 4194304 4196468 140726386142000 140148032203120 140148558944898 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22675456 140726386149328 140726386152113 140726386152113 140726386155471 0
[pid=25021/tid=25082] ppid=25018 vsize=14202692 CPUtime=3.35 cores=1,3,5,7
/proc/25021/task/25082/stat : 25082 (java) S 25018 25021 4821 0 -1 1077944384 46887 12488 0 0 319 9 5 2 20 0 17 0 95754428 14543556608 475077 18446744073709551615 4194304 4196468 140726386142000 140148031150064 140148558944898 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22675456 140726386149328 140726386152113 140726386152113 140726386155471 0
[pid=25021/tid=25083] ppid=25018 vsize=14202692 CPUtime=0.07 cores=1,3,5,7
/proc/25021/task/25083/stat : 25083 (java) S 25018 25021 4821 0 -1 1077944384 3 12488 0 0 0 0 5 2 20 0 17 0 95754428 14543556608 475077 18446744073709551615 4194304 4196468 140726386142000 140148030097760 140148558943957 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22675456 140726386149328 140726386152113 140726386152113 140726386155471 0
[pid=25021/tid=25084] ppid=25018 vsize=14202692 CPUtime=1.45 cores=1,3,5,7
/proc/25021/task/25084/stat : 25084 (java) S 25018 25021 4821 0 -1 1077944384 4401 12488 0 0 60 78 5 2 20 0 17 0 95754435 14543556608 475077 18446744073709551615 4194304 4196468 140726386142000 140148029045808 140148558944898 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22675456 140726386149328 140726386152113 140726386152113 140726386155471 0
[pid=25021/tid=25362] ppid=25018 vsize=14202692 CPUtime=0.07 cores=1,3,5,7
/proc/25021/task/25362/stat : 25362 (java) S 25018 25021 4821 0 -1 1077944384 83 12488 0 0 0 0 5 2 20 0 17 0 95998491 14543556608 475077 18446744073709551615 4194304 4196468 140726386142000 140148005729136 140148558943957 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22675456 140726386149328 140726386152113 140726386152113 140726386155471 0
[pid=25021/tid=25363] ppid=25018 vsize=14202692 CPUtime=0.07 cores=1,3,5,7
/proc/25021/task/25363/stat : 25363 (java) S 25018 25021 4821 0 -1 1077944384 26 12488 0 0 0 0 5 2 20 0 17 0 95998491 14543556608 475077 18446744073709551615 4194304 4196468 140726386142000 140147366814912 140148558943957 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22675456 140726386149328 140726386152113 140726386152113 140726386155471 0
Current children cumulated CPU time (s) 2523.99
Current children cumulated vsize (KiB) 14202692

Child status: 143
Real time (s): 2442.15
CPU time (s): 2524.12
CPU user time (s): 2520.32
CPU system time (s): 3.80195
CPU usage (%): 103.356
Max. virtual memory (cumulated for all children) (KiB): 14202692

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2520.32
system time used= 3.80195
maximum resident set size= 4128176
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 575225
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3008
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 154791
involuntary context switches= 6234

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.5555 second user time and 15.4204 second system time

The end

Launcher Data 

Begin job on node133 at 2017-08-11 21:09:04
IDJOB=4262313
IDBENCH=139180
IDSOLVER=2650
FILE ID=node133/4262313-1502479392
RUNJOBID= node133-1502411423-4885
PBS_JOBID= 
Free space on /tmp= 62004 MiB

SOLVER NAME= Concrete 3.4
BENCH NAME= XCSP17/Fischer/Fischer-m1-s1/Fischer-11-14-fair.xml
COMMAND LINE= bin/concrete BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4262313-1502479392/watcher-4262313-1502479392 -o /tmp/evaluation-result-4262313-1502479392/solver-4262313-1502479392 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node133-1502411423-4885 --watchdog 2580  bin/concrete HOME/instance-4262313-1502479392.xml

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

MD5SUM BENCH= abdfed4353cf02606058846107286b36
RANDOM SEED=1582143298

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

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

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

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

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

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

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

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.17
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:        30541256 kB
MemAvailable:   31442472 kB
Buffers:          298792 kB
Cached:           896092 kB
SwapCached:            0 kB
Active:          1319676 kB
Inactive:         473592 kB
Active(anon):     598600 kB
Inactive(anon):    33112 kB
Active(file):     721076 kB
Inactive(file):   440480 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             26048 kB
Writeback:             0 kB
AnonPages:        598136 kB
Mapped:            64952 kB
Shmem:             33468 kB
Slab:             138292 kB
SReclaimable:     110992 kB
SUnreclaim:        27300 kB
KernelStack:        3472 kB
PageTables:         6200 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1498284 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      354332 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    395264 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      132480 kB
DirectMap2M:    33413120 kB

Free space on /tmp at the end= 61980 MiB
End job on node133 at 2017-08-11 21:49:47