Trace number 4259445

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.4? (TO) 253.256 225.207

General information on the benchmark

NameCutstock/Cutstock-zinc-s1/
Cutstock-t04-1.xml
MD5SUMe916ba0c5634620e8924ec581ee284c9
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark217
Best CPU time to get the best result obtained on this benchmark1990.55
Satisfiable
(Un)Satisfiability was proved
Number of variables5040
Number of constraints262
Number of domains17
Minimum domain size2
Maximum domain size195
Distribution of domain sizes[{"size":2,"count":240},{"size":4,"count":240},{"size":25,"count":480},{"size":44,"count":240},{"size":45,"count":240},{"size":73,"count":240},{"size":78,"count":240},{"size":87,"count":480},{"size":102,"count":240},{"size":107,"count":240},{"size":130,"count":240},{"size":131,"count":240},{"size":132,"count":480},{"size":139,"count":480},{"size":170,"count":240},{"size":175,"count":240},{"size":195,"count":240}]
Minimum variable degree3
Maximum variable degree3
Distribution of variable degrees[{"degree":3,"count":5040}]
Minimum constraint arity21
Maximum constraint arity4800
Distribution of constraint arities[{"arity":21,"count":240},{"arity":240,"count":21},{"arity":4800,"count":1}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"ordered","count":1},{"type":"lex","count":1},{"type":"sum","count":260}]
Optimization problemYES
Type of objectivemin SUM

Solver Data 

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

Verifier Data


Watcher Data 

runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 16374 MiB (10697 MiB free)
  memory of node 1: 16384 MiB (15438 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4259445-1502645724/watcher-4259445-1502645724 -o /tmp/evaluation-result-4259445-1502645724/solver-4259445-1502645724 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node133-1502641620-25474 --watchdog 312 bin/concrete HOME/instance-4259445-1502645724.xml 

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

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


[startup+0.100098 s]*
/proc/loadavg: 2.49 2.07 1.95 3/205 29472
/proc/meminfo: memFree=26762460/32770624 swapFree=67108860/67108860
[pid=29460] ppid=29457 vsize=9636 memory=1464 CPUtime=0.01 cores=1,3,5,7
/proc/29460/stat : 29460 (bash) R 29457 29460 8289 0 -1 4202496 862 6166 0 0 0 0 0 1 20 0 1 0 112387562 9867264 366 18446744073709551615 4194304 5098028 140728280029168 140728280022904 140495986584576 0 0 5 65536 0 0 0 17 3 0 0 9 0 0 7196144 7232144 16281600 140728280035828 140728280035913 140728280035913 140728280039402 0
/proc/29460/statm: 2409 366 287 221 0 118 0
Current children cumulated CPU time: 0.01 s
Current children cumulated vsize: 9636 KiB
Current children cumulated memory: 1464 KiB

[startup+0.210214 s]*
/proc/loadavg: 2.49 2.07 1.95 3/220 29506
/proc/meminfo: memFree=26746540/32770624 swapFree=67108860/67108860
[pid=29460] ppid=29457 vsize=356956 memory=7532 CPUtime=0.08 cores=1,3,5,7
/proc/29460/stat : 29460 (java) S 29457 29460 8289 0 -1 1077944320 2593 12644 0 0 0 0 5 3 20 0 2 0 112387562 365522944 1883 18446744073709551615 4194304 4196468 140721239557856 140721239540400 139980410822391 0 0 1 16784584 18446744073709551615 0 0 17 5 0 0 9 0 0 6293624 6294260 23883776 140721239562160 140721239564945 140721239564945 140721239568335 0
/proc/29460/statm: 89239 1883 1036 1 0 79209 0
[pid=29460/tid=29510] ppid=29457 vsize=356956 memory=8316850467074736180 CPUtime=0.08 cores=1,3,5,7
/proc/29460/task/29510/stat : 29510 (java) S 29457 29460 8289 0 -1 1077944384 438 12644 0 0 0 0 5 3 20 0 2 0 112387584 365522944 1883 18446744073709551615 4194304 4196468 140721239557856 139980415064480 139980410833538 0 4 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23883776 140721239562160 140721239564945 140721239564945 140721239568335 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 356956 KiB
Current children cumulated memory: 7532 KiB

[startup+0.310234 s]*
/proc/loadavg: 2.49 2.07 1.95 3/217 29523
/proc/meminfo: memFree=26752152/32770624 swapFree=67108860/67108860
[pid=29460] ppid=29457 vsize=13973936 memory=23840 CPUtime=0.15 cores=1,3,5,7
/proc/29460/stat : 29460 (java) S 29457 29460 8289 0 -1 1077944320 5838 12644 0 0 7 0 5 3 20 0 15 0 112387562 14309310464 5960 18446744073709551615 4194304 4196468 140721239557856 140721239540400 139980410822391 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 9 0 0 6293624 6294260 23883776 140721239562160 140721239564945 140721239564945 140721239568335 0
/proc/29460/statm: 3493484 5960 2653 1 0 3482965 0
[pid=29460/tid=29510] ppid=29457 vsize=13973936 memory=8316850467074736180 CPUtime=0.13 cores=1,3,5,7
/proc/29460/task/29510/stat : 29510 (java) R 29457 29460 8289 0 -1 4202560 2948 12644 0 0 5 0 5 3 20 0 15 0 112387584 14309310464 5960 18446744073709551615 4194304 4196468 140721239557856 139980415056672 139980394902878 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 23883776 140721239562160 140721239564945 140721239564945 140721239568335 0
[pid=29460/tid=29511] ppid=29457 vsize=13973936 memory=8293 CPUtime=0.08 cores=1,3,5,7
/proc/29460/task/29511/stat : 29511 (java) S 29457 29460 8289 0 -1 1077944384 1 12644 0 0 0 0 5 3 20 0 15 0 112387584 14309310464 5960 18446744073709551615 4194304 4196468 140721239557856 139980367788688 139980410832597 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23883776 140721239562160 140721239564945 140721239564945 140721239568335 0
[pid=29460/tid=29512] ppid=29457 vsize=13973936 memory=320860632156649856 CPUtime=0.08 cores=1,3,5,7
/proc/29460/task/29512/stat : 29512 (java) S 29457 29460 8289 0 -1 1077944384 1 12644 0 0 0 0 5 3 20 0 15 0 112387584 14309310464 5960 18446744073709551615 4194304 4196468 140721239557856 139980009826832 139980410832597 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23883776 140721239562160 140721239564945 140721239564945 140721239568335 0
[pid=29460/tid=29513] ppid=29457 vsize=13973936 memory=6944656592455097440 CPUtime=0.08 cores=1,3,5,7
/proc/29460/task/29513/stat : 29513 (java) S 29457 29460 8289 0 -1 1077944384 1 12644 0 0 0 0 5 3 20 0 15 0 112387584 14309310464 5960 18446744073709551615 4194304 4196468 140721239557856 139980008774032 139980410832597 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23883776 140721239562160 140721239564945 140721239564945 140721239568335 0
[pid=29460/tid=29514] ppid=29457 vsize=13973936 memory=3472328296227680299 CPUtime=0.08 cores=1,3,5,7
/proc/29460/task/29514/stat : 29514 (java) S 29457 29460 8289 0 -1 1077944384 2 12644 0 0 0 0 5 3 20 0 15 0 112387584 14309310464 5960 18446744073709551615 4194304 4196468 140721239557856 139980007721232 139980410832597 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23883776 140721239562160 140721239564945 140721239564945 140721239568335 0
[pid=29460/tid=29515] ppid=29457 vsize=13973936 memory=3472468648058992304 CPUtime=0.08 cores=1,3,5,7
/proc/29460/task/29515/stat : 29515 (java) S 29457 29460 8289 0 -1 1077944384 2 12644 0 0 0 0 5 3 20 0 15 0 112387586 14309310464 5972 18446744073709551615 4194304 4196468 140721239557856 139979889015664 139980410833538 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23883776 140721239562160 140721239564945 140721239564945 140721239568335 0
[pid=29460/tid=29516] ppid=29457 vsize=13973936 memory=8607328266676888414 CPUtime=0.08 cores=1,3,5,7
/proc/29460/task/29516/stat : 29516 (java) S 29457 29460 8289 0 -1 1077944384 33 12644 0 0 0 0 5 3 20 0 15 0 112387586 14309310464 5972 18446744073709551615 4194304 4196468 140721239557856 139979887961632 139980410832597 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23883776 140721239562160 140721239564945 140721239564945 140721239568335 0
[pid=29460/tid=29517] ppid=29457 vsize=13973936 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/29460/task/29517/stat : 29517 (java) S 29457 29460 8289 0 -1 1077944384 21 12644 0 0 0 0 5 3 20 0 15 0 112387586 14309310464 5972 18446744073709551615 4194304 4196468 140721239557856 139979886908784 139980410832597 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23883776 140721239562160 140721239564945 140721239564945 140721239568335 0
[pid=29460/tid=29518] ppid=29457 vsize=13973936 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/29460/task/29518/stat : 29518 (java) S 29457 29460 8289 0 -1 1077944384 3 12644 0 0 0 0 5 3 20 0 15 0 112387589 14309310464 5972 18446744073709551615 4194304 4196468 140721239557856 139979885857104 139980410840987 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23883776 140721239562160 140721239564945 140721239564945 140721239568335 0
[pid=29460/tid=29519] ppid=29457 vsize=13973936 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/29460/task/29519/stat : 29519 (java) S 29457 29460 8289 0 -1 1077944384 29 12644 0 0 0 0 5 3 20 0 15 0 112387589 14309310464 5972 18446744073709551615 4194304 4196468 140721239557856 139979884804464 139980410833538 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23883776 140721239562160 140721239564945 140721239564945 140721239568335 0
[pid=29460/tid=29520] ppid=29457 vsize=13973936 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/29460/task/29520/stat : 29520 (java) S 29457 29460 8289 0 -1 1077944384 392 12644 0 0 0 0 5 3 20 0 15 0 112387589 14309310464 5972 18446744073709551615 4194304 4196468 140721239557856 139979883751664 139980410833538 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23883776 140721239562160 140721239564945 140721239564945 140721239568335 0
[pid=29460/tid=29521] ppid=29457 vsize=13973936 memory=140351831574144 CPUtime=0.08 cores=1,3,5,7
/proc/29460/task/29521/stat : 29521 (java) S 29457 29460 8289 0 -1 1077944384 248 12644 0 0 0 0 5 3 20 0 15 0 112387589 14309310464 5972 18446744073709551615 4194304 4196468 140721239557856 139979882698864 139980410833538 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23883776 140721239562160 140721239564945 140721239564945 140721239568335 0
[pid=29460/tid=29522] ppid=29457 vsize=13973936 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/29460/task/29522/stat : 29522 (java) S 29457 29460 8289 0 -1 1077944384 3 12644 0 0 0 0 5 3 20 0 15 0 112387589 14309310464 5972 18446744073709551615 4194304 4196468 140721239557856 139979881646304 139980410832597 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23883776 140721239562160 140721239564945 140721239564945 140721239568335 0
[pid=29460/tid=29523] ppid=29457 vsize=13973936 memory=140351831574144 CPUtime=0.08 cores=1,3,5,7
/proc/29460/task/29523/stat : 29523 (java) S 29457 29460 8289 0 -1 1077944384 1 12644 0 0 0 0 5 3 20 0 15 0 112387593 14309310464 5972 18446744073709551615 4194304 4196468 140721239557856 139979880594608 139980410833538 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23883776 140721239562160 140721239564945 140721239564945 140721239568335 0
Current children cumulated CPU time: 0.15 s
Current children cumulated vsize: 13973936 KiB
Current children cumulated memory: 23840 KiB

[startup+0.704043 s]
/proc/loadavg: 2.49 2.07 1.95 3/217 29523
/proc/meminfo: memFree=26722112/32770624 swapFree=67108860/67108860
[pid=29460] ppid=29457 vsize=13974784 memory=59548 CPUtime=0.69 cores=1,3,5,7
/proc/29460/stat : 29460 (java) S 29457 29460 8289 0 -1 1077944320 13934 12644 0 0 58 3 5 3 20 0 15 0 112387562 14310178816 14887 18446744073709551615 4194304 4196468 140721239557856 140721239540400 139980410822391 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 9 0 0 6293624 6294260 23883776 140721239562160 140721239564945 140721239564945 140721239568335 0
/proc/29460/statm: 3493696 14887 3110 1 0 3482965 0
[pid=29460/tid=29510] ppid=29457 vsize=13974784 memory=18484 CPUtime=0.51 cores=1,3,5,7
/proc/29460/task/29510/stat : 29510 (java) R 29457 29460 8289 0 -1 4202560 10247 12644 0 0 41 2 5 3 20 0 15 0 112387584 14310178816 14887 18446744073709551615 4194304 4196468 140721239557856 139980415034200 139980392386800 0 4 1 16800974 0 0 0 -1 7 0 0 3 0 0 6293624 6294260 23883776 140721239562160 140721239564945 140721239564945 140721239568335 0
[pid=29460/tid=29511] ppid=29457 vsize=13974784 memory=3912 CPUtime=0.08 cores=1,3,5,7
/proc/29460/task/29511/stat : 29511 (java) S 29457 29460 8289 0 -1 1077944384 1 12644 0 0 0 0 5 3 20 0 15 0 112387584 14310178816 14887 18446744073709551615 4194304 4196468 140721239557856 139980367788688 139980410832597 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23883776 140721239562160 140721239564945 140721239564945 140721239568335 0
[pid=29460/tid=29512] ppid=29457 vsize=13974784 memory=2884 CPUtime=0.08 cores=1,3,5,7
/proc/29460/task/29512/stat : 29512 (java) S 29457 29460 8289 0 -1 1077944384 1 12644 0 0 0 0 5 3 20 0 15 0 112387584 14310178816 14887 18446744073709551615 4194304 4196468 140721239557856 139980009826832 139980410832597 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23883776 140721239562160 140721239564945 140721239564945 140721239568335 0
[pid=29460/tid=29513] ppid=29457 vsize=13974784 memory=2888 CPUtime=0.08 cores=1,3,5,7
/proc/29460/task/29513/stat : 29513 (java) S 29457 29460 8289 0 -1 1077944384 1 12644 0 0 0 0 5 3 20 0 15 0 112387584 14310178816 14887 18446744073709551615 4194304 4196468 140721239557856 139980008774032 139980410832597 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23883776 140721239562160 140721239564945 140721239564945 140721239568335 0
[pid=29460/tid=29514] ppid=29457 vsize=13974784 memory=4068 CPUtime=0.08 cores=1,3,5,7
/proc/29460/task/29514/stat : 29514 (java) S 29457 29460 8289 0 -1 1077944384 2 12644 0 0 0 0 5 3 20 0 15 0 112387584 14310178816 14887 18446744073709551615 4194304 4196468 140721239557856 139980007721232 139980410832597 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23883776 140721239562160 140721239564945 140721239564945 140721239568335 0
[pid=29460/tid=29515] ppid=29457 vsize=13974784 memory=1156 CPUtime=0.08 cores=1,3,5,7
/proc/29460/task/29515/stat : 29515 (java) S 29457 29460 8289 0 -1 1077944384 5 12644 0 0 0 0 5 3 20 0 15 0 112387586 14310178816 14887 18446744073709551615 4194304 4196468 140721239557856 139979889015664 139980410833538 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23883776 140721239562160 140721239564945 140721239564945 140721239568335 0
[pid=29460/tid=29516] ppid=29457 vsize=13974784 memory=3032 CPUtime=0.08 cores=1,3,5,7
/proc/29460/task/29516/stat : 29516 (java) S 29457 29460 8289 0 -1 1077944384 33 12644 0 0 0 0 5 3 20 0 15 0 112387586 14310178816 14887 18446744073709551615 4194304 4196468 140721239557856 139979887961632 139980410832597 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23883776 140721239562160 140721239564945 140721239564945 140721239568335 0
[pid=29460/tid=29517] ppid=29457 vsize=13974784 memory=4564464 CPUtime=0.08 cores=1,3,5,7
/proc/29460/task/29517/stat : 29517 (java) S 29457 29460 8289 0 -1 1077944384 21 12644 0 0 0 0 5 3 20 0 15 0 112387586 14310178816 14887 18446744073709551615 4194304 4196468 140721239557856 139979886908784 139980410832597 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23883776 140721239562160 140721239564945 140721239564945 140721239568335 0
[pid=29460/tid=29518] ppid=29457 vsize=13974784 memory=4116 CPUtime=0.08 cores=1,3,5,7
/proc/29460/task/29518/stat : 29518 (java) S 29457 29460 8289 0 -1 1077944384 3 12644 0 0 0 0 5 3 20 0 15 0 112387589 14310178816 14887 18446744073709551615 4194304 4196468 140721239557856 139979885857104 139980410840987 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23883776 140721239562160 140721239564945 140721239564945 140721239568335 0
[pid=29460/tid=29519] ppid=29457 vsize=13974784 memory=4080 CPUtime=0.11 cores=1,3,5,7
/proc/29460/task/29519/stat : 29519 (java) S 29457 29460 8289 0 -1 1077944384 309 12644 0 0 3 0 5 3 20 0 15 0 112387589 14310178816 14887 18446744073709551615 4194304 4196468 140721239557856 139979884804464 139980410833538 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23883776 140721239562160 140721239564945 140721239564945 140721239568335 0
[pid=29460/tid=29520] ppid=29457 vsize=13974784 memory=4584 CPUtime=0.11 cores=1,3,5,7
/proc/29460/task/29520/stat : 29520 (java) S 29457 29460 8289 0 -1 1077944384 543 12644 0 0 3 0 5 3 20 0 15 0 112387589 14310178816 14887 18446744073709551615 4194304 4196468 140721239557856 139979883751664 139980410833538 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23883776 140721239562160 140721239564945 140721239564945 140721239568335 0
[pid=29460/tid=29521] ppid=29457 vsize=13974784 memory=1160 CPUtime=0.17 cores=1,3,5,7
/proc/29460/task/29521/stat : 29521 (java) S 29457 29460 8289 0 -1 1077944384 609 12644 0 0 9 0 5 3 20 0 15 0 112387589 14310178816 14887 18446744073709551615 4194304 4196468 140721239557856 139979882698864 139980410833538 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23883776 140721239562160 140721239564945 140721239564945 140721239568335 0
[pid=29460/tid=29522] ppid=29457 vsize=13974784 memory=2364 CPUtime=0.08 cores=1,3,5,7
/proc/29460/task/29522/stat : 29522 (java) S 29457 29460 8289 0 -1 1077944384 3 12644 0 0 0 0 5 3 20 0 15 0 112387589 14310178816 14887 18446744073709551615 4194304 4196468 140721239557856 139979881646304 139980410832597 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23883776 140721239562160 140721239564945 140721239564945 140721239568335 0
[pid=29460/tid=29523] ppid=29457 vsize=13974784 memory=52200 CPUtime=0.08 cores=1,3,5,7
/proc/29460/task/29523/stat : 29523 (java) S 29457 29460 8289 0 -1 1077944384 1 12644 0 0 0 0 5 3 20 0 15 0 112387593 14310178816 14887 18446744073709551615 4194304 4196468 140721239557856 139979880594608 139980410833538 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23883776 140721239562160 140721239564945 140721239564945 140721239568335 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 13974784 KiB
Current children cumulated memory: 59548 KiB

[startup+1.50071 s]
/proc/loadavg: 2.49 2.07 1.95 6/217 29523
/proc/meminfo: memFree=26576648/32770624 swapFree=67108860/67108860
[pid=29460] ppid=29457 vsize=13985408 memory=160712 CPUtime=1.88 cores=1,3,5,7
/proc/29460/stat : 29460 (java) S 29457 29460 8289 0 -1 1077944320 28777 12644 0 0 171 9 5 3 20 0 15 0 112387562 14321057792 40178 18446744073709551615 4194304 4196468 140721239557856 140721239540400 139980410822391 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 9 0 0 6293624 6294260 23883776 140721239562160 140721239564945 140721239564945 140721239568335 0
/proc/29460/statm: 3496352 40178 3367 1 0 3485525 0
[pid=29460/tid=29510] ppid=29457 vsize=13985408 memory=59548 CPUtime=1.29 cores=1,3,5,7
/proc/29460/task/29510/stat : 29510 (java) S 29457 29460 8289 0 -1 1077944384 21883 12644 0 0 115 6 5 3 20 0 15 0 112387584 14321057792 40178 18446744073709551615 4194304 4196468 140721239557856 139980415041392 139980410832597 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 3 0 0 6293624 6294260 23883776 140721239562160 140721239564945 140721239564945 140721239568335 0
[pid=29460/tid=29511] ppid=29457 vsize=13985408 memory=18484 CPUtime=0.08 cores=1,3,5,7
/proc/29460/task/29511/stat : 29511 (java) S 29457 29460 8289 0 -1 1077944384 54 12644 0 0 0 0 5 3 20 0 15 0 112387584 14321057792 40178 18446744073709551615 4194304 4196468 140721239557856 139980367788688 139980410832597 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23883776 140721239562160 140721239564945 140721239564945 140721239568335 0
[pid=29460/tid=29512] ppid=29457 vsize=13985408 memory=3912 CPUtime=0.08 cores=1,3,5,7
/proc/29460/task/29512/stat : 29512 (java) S 29457 29460 8289 0 -1 1077944384 46 12644 0 0 0 0 5 3 20 0 15 0 112387584 14321057792 40178 18446744073709551615 4194304 4196468 140721239557856 139980009826832 139980410832597 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23883776 140721239562160 140721239564945 140721239564945 140721239568335 0
[pid=29460/tid=29513] ppid=29457 vsize=13985408 memory=2884 CPUtime=0.08 cores=1,3,5,7
/proc/29460/task/29513/stat : 29513 (java) S 29457 29460 8289 0 -1 1077944384 49 12644 0 0 0 0 5 3 20 0 15 0 112387584 14321057792 40178 18446744073709551615 4194304 4196468 140721239557856 139980008774032 139980410832597 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23883776 140721239562160 140721239564945 140721239564945 140721239568335 0
[pid=29460/tid=29514] ppid=29457 vsize=13985408 memory=2888 CPUtime=0.08 cores=1,3,5,7
/proc/29460/task/29514/stat : 29514 (java) S 29457 29460 8289 0 -1 1077944384 195 12644 0 0 0 0 5 3 20 0 15 0 112387584 14321057792 40178 18446744073709551615 4194304 4196468 140721239557856 139980007721232 139980410832597 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23883776 140721239562160 140721239564945 140721239564945 140721239568335 0
[pid=29460/tid=29515] ppid=29457 vsize=13985408 memory=4068 CPUtime=0.09 cores=1,3,5,7
/proc/29460/task/29515/stat : 29515 (java) R 29457 29460 8289 0 -1 4202560 1307 12644 0 0 1 0 5 3 20 0 15 0 112387586 14321057792 40178 18446744073709551615 4194304 4196468 140721239557856 139979889013952 139980395177030 0 0 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23883776 140721239562160 140721239564945 140721239564945 140721239568335 0
[pid=29460/tid=29516] ppid=29457 vsize=13985408 memory=1156 CPUtime=0.08 cores=1,3,5,7
/proc/29460/task/29516/stat : 29516 (java) S 29457 29460 8289 0 -1 1077944384 33 12644 0 0 0 0 5 3 20 0 15 0 112387586 14321057792 40178 18446744073709551615 4194304 4196468 140721239557856 139979887961632 139980410832597 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23883776 140721239562160 140721239564945 140721239564945 140721239568335 0
[pid=29460/tid=29517] ppid=29457 vsize=13985408 memory=3032 CPUtime=0.08 cores=1,3,5,7
/proc/29460/task/29517/stat : 29517 (java) S 29457 29460 8289 0 -1 1077944384 21 12644 0 0 0 0 5 3 20 0 15 0 112387586 14321057792 40178 18446744073709551615 4194304 4196468 140721239557856 139979886908784 139980410832597 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23883776 140721239562160 140721239564945 140721239564945 140721239568335 0
[pid=29460/tid=29518] ppid=29457 vsize=13985408 memory=4564464 CPUtime=0.08 cores=1,3,5,7
/proc/29460/task/29518/stat : 29518 (java) S 29457 29460 8289 0 -1 1077944384 3 12644 0 0 0 0 5 3 20 0 15 0 112387589 14321057792 40178 18446744073709551615 4194304 4196468 140721239557856 139979885857104 139980410840987 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23883776 140721239562160 140721239564945 140721239564945 140721239568335 0
[pid=29460/tid=29519] ppid=29457 vsize=13985408 memory=4116 CPUtime=0.25 cores=1,3,5,7
/proc/29460/task/29519/stat : 29519 (java) S 29457 29460 8289 0 -1 1077944384 775 12644 0 0 17 0 5 3 20 0 15 0 112387589 14321057792 40178 18446744073709551615 4194304 4196468 140721239557856 139979884804464 139980410833538 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23883776 140721239562160 140721239564945 140721239564945 140721239568335 0
[pid=29460/tid=29520] ppid=29457 vsize=13985408 memory=4080 CPUtime=0.2 cores=1,3,5,7
/proc/29460/task/29520/stat : 29520 (java) S 29457 29460 8289 0 -1 1077944384 865 12644 0 0 12 0 5 3 20 0 15 0 112387589 14321057792 40178 18446744073709551615 4194304 4196468 140721239557856 139979883751664 139980410833538 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23883776 140721239562160 140721239564945 140721239564945 140721239568335 0
[pid=29460/tid=29521] ppid=29457 vsize=13985408 memory=4584 CPUtime=0.3 cores=1,3,5,7
/proc/29460/task/29521/stat : 29521 (java) S 29457 29460 8289 0 -1 1077944384 1381 12644 0 0 22 0 5 3 20 0 15 0 112387589 14321057792 40178 18446744073709551615 4194304 4196468 140721239557856 139979882694240 139980410832597 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23883776 140721239562160 140721239564945 140721239564945 140721239568335 0
[pid=29460/tid=29522] ppid=29457 vsize=13985408 memory=1160 CPUtime=0.08 cores=1,3,5,7
/proc/29460/task/29522/stat : 29522 (java) S 29457 29460 8289 0 -1 1077944384 3 12644 0 0 0 0 5 3 20 0 15 0 112387589 14321057792 40178 18446744073709551615 4194304 4196468 140721239557856 139979881646304 139980410832597 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23883776 140721239562160 140721239564945 140721239564945 140721239568335 0
[pid=29460/tid=29523] ppid=29457 vsize=13985408 memory=11136 CPUtime=0.08 cores=1,3,5,7
/proc/29460/task/29523/stat : 29523 (java) S 29457 29460 8289 0 -1 1077944384 7 12644 0 0 0 0 5 3 20 0 15 0 112387593 14321057792 40178 18446744073709551615 4194304 4196468 140721239557856 139979880594608 139980410833538 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23883776 140721239562160 140721239564945 140721239564945 140721239568335 0
Current children cumulated CPU time: 1.88 s
Current children cumulated vsize: 13985408 KiB
Current children cumulated memory: 160712 KiB

[startup+3.11075 s]
/proc/loadavg: 2.49 2.07 1.95 5/217 29523
/proc/meminfo: memFree=26432392/32770624 swapFree=67108860/67108860
[pid=29460] ppid=29457 vsize=13997884 memory=224428 CPUtime=6.25 cores=1,3,5,7
/proc/29460/stat : 29460 (java) S 29457 29460 8289 0 -1 1077944320 43970 12644 0 0 603 14 5 3 20 0 15 0 112387562 14333833216 56107 18446744073709551615 4194304 4196468 140721239557856 140721239540400 139980410822391 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 9 0 0 6293624 6294260 23883776 140721239562160 140721239564945 140721239564945 140721239568335 0
/proc/29460/statm: 3499471 56107 3453 1 0 3488085 0
[pid=29460/tid=29510] ppid=29457 vsize=13997884 memory=4168 CPUtime=2.88 cores=1,3,5,7
/proc/29460/task/29510/stat : 29510 (java) R 29457 29460 8289 0 -1 4202560 29397 12644 0 0 272 8 5 3 20 0 15 0 112387584 14333833216 56107 18446744073709551615 4194304 4196468 140721239557856 139980415053352 139980057368356 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 23883776 140721239562160 140721239564945 140721239564945 140721239568335 0
[pid=29460/tid=29511] ppid=29457 vsize=13997884 memory=2241 CPUtime=0.08 cores=1,3,5,7
/proc/29460/task/29511/stat : 29511 (java) S 29457 29460 8289 0 -1 1077944384 59 12644 0 0 0 0 5 3 20 0 15 0 112387584 14333833216 56107 18446744073709551615 4194304 4196468 140721239557856 139980367788688 139980410832597 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23883776 140721239562160 140721239564945 140721239564945 140721239568335 0
[pid=29460/tid=29512] ppid=29457 vsize=13997884 memory=211804 CPUtime=0.09 cores=1,3,5,7
/proc/29460/task/29512/stat : 29512 (java) S 29457 29460 8289 0 -1 1077944384 46 12644 0 0 1 0 5 3 20 0 15 0 112387584 14333833216 56107 18446744073709551615 4194304 4196468 140721239557856 139980009826832 139980410832597 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23883776 140721239562160 140721239564945 140721239564945 140721239568335 0
[pid=29460/tid=29513] ppid=29457 vsize=13997884 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/29460/task/29513/stat : 29513 (java) S 29457 29460 8289 0 -1 1077944384 49 12644 0 0 0 0 5 3 20 0 15 0 112387584 14333833216 56107 18446744073709551615 4194304 4196468 140721239557856 139980008774032 139980410832597 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23883776 140721239562160 140721239564945 140721239564945 140721239568335 0
[pid=29460/tid=29514] ppid=29457 vsize=13997884 memory=1 CPUtime=0.09 cores=1,3,5,7
/proc/29460/task/29514/stat : 29514 (java) S 29457 29460 8289 0 -1 1077944384 198 12644 0 0 1 0 5 3 20 0 15 0 112387584 14333833216 56107 18446744073709551615 4194304 4196468 140721239557856 139980007721232 139980410832597 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23883776 140721239562160 140721239564945 140721239564945 140721239568335 0
[pid=29460/tid=29515] ppid=29457 vsize=13997884 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/29460/task/29515/stat : 29515 (java) S 29457 29460 8289 0 -1 1077944384 1693 12644 0 0 1 0 5 3 20 0 15 0 112387586 14333833216 56107 18446744073709551615 4194304 4196468 140721239557856 139979889015664 139980410833538 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23883776 140721239562160 140721239564945 140721239564945 140721239568335 0
[pid=29460/tid=29516] ppid=29457 vsize=13997884 memory=1 CPUtime=0.08 cores=1,3,5,7
/proc/29460/task/29516/stat : 29516 (java) S 29457 29460 8289 0 -1 1077944384 54 12644 0 0 0 0 5 3 20 0 15 0 112387586 14333833216 56107 18446744073709551615 4194304 4196468 140721239557856 139979887961632 139980410832597 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23883776 140721239562160 140721239564945 140721239564945 140721239568335 0
[pid=29460/tid=29517] ppid=29457 vsize=13997884 memory=1 CPUtime=0.08 cores=1,3,5,7
/proc/29460/task/29517/stat : 29517 (java) S 29457 29460 8289 0 -1 1077944384 45 12644 0 0 0 0 5 3 20 0 15 0 112387586 14333833216 56107 18446744073709551615 4194304 4196468 140721239557856 139979886908800 139980410832597 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23883776 140721239562160 140721239564945 140721239564945 140721239568335 0
[pid=29460/tid=29518] ppid=29457 vsize=13997884 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/29460/task/29518/stat : 29518 (java) S 29457 29460 8289 0 -1 1077944384 3 12644 0 0 0 0 5 3 20 0 15 0 112387589 14333833216 56107 18446744073709551615 4194304 4196468 140721239557856 139979885857104 139980410840987 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23883776 140721239562160 140721239564945 140721239564945 140721239568335 0
[pid=29460/tid=29519] ppid=29457 vsize=13997884 memory=0 CPUtime=1.32 cores=1,3,5,7
/proc/29460/task/29519/stat : 29519 (java) R 29457 29460 8289 0 -1 4202560 4585 12644 0 0 123 1 5 3 20 0 15 0 112387589 14333833216 56107 18446744073709551615 4194304 4196468 140721239557856 139979884789664 139980390675952 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23883776 140721239562160 140721239564945 140721239564945 140721239568335 0
[pid=29460/tid=29520] ppid=29457 vsize=13997884 memory=0 CPUtime=1.03 cores=1,3,5,7
/proc/29460/task/29520/stat : 29520 (java) R 29457 29460 8289 0 -1 4202560 1725 12644 0 0 94 1 5 3 20 0 15 0 112387589 14333833216 56107 18446744073709551615 4194304 4196468 140721239557856 139979883730016 139980390515495 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23883776 140721239562160 140721239564945 140721239564945 140721239568335 0
[pid=29460/tid=29521] ppid=29457 vsize=13997884 memory=21 CPUtime=1.14 cores=1,3,5,7
/proc/29460/task/29521/stat : 29521 (java) S 29457 29460 8289 0 -1 1077944384 3949 12644 0 0 105 1 5 3 20 0 15 0 112387589 14333833216 56107 18446744073709551615 4194304 4196468 140721239557856 139979882698864 139980410833538 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23883776 140721239562160 140721239564945 140721239564945 140721239568335 0
[pid=29460/tid=29522] ppid=29457 vsize=13997884 memory=15 CPUtime=0.08 cores=1,3,5,7
/proc/29460/task/29522/stat : 29522 (java) S 29457 29460 8289 0 -1 1077944384 3 12644 0 0 0 0 5 3 20 0 15 0 112387589 14333833216 56107 18446744073709551615 4194304 4196468 140721239557856 139979881646304 139980410832597 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23883776 140721239562160 140721239564945 140721239564945 140721239568335 0
[pid=29460/tid=29523] ppid=29457 vsize=13997884 memory=35 CPUtime=0.08 cores=1,3,5,7
/proc/29460/task/29523/stat : 29523 (java) S 29457 29460 8289 0 -1 1077944384 9 12644 0 0 0 0 5 3 20 0 15 0 112387593 14333833216 56107 18446744073709551615 4194304 4196468 140721239557856 139979880594608 139980410833538 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23883776 140721239562160 140721239564945 140721239564945 140721239568335 0

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

/proc/29460/task/29514/stat : 29514 (java) S 29457 29460 8289 0 -1 1077944384 3264 12644 0 0 68 6 5 3 20 0 15 0 112387584 14407233536 243437 18446744073709551615 4194304 4196468 140721239557856 139980007721232 139980410832597 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23883776 140721239562160 140721239564945 140721239564945 140721239568335 0
[pid=29460/tid=29515] ppid=29457 vsize=14069564 memory=4168 CPUtime=0.57 cores=1,3,5,7
/proc/29460/task/29515/stat : 29515 (java) S 29457 29460 8289 0 -1 1077944384 4520 12644 0 0 44 5 5 3 20 0 15 0 112387586 14407233536 243437 18446744073709551615 4194304 4196468 140721239557856 139979889015664 139980410833538 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23883776 140721239562160 140721239564945 140721239564945 140721239568335 0
[pid=29460/tid=29516] ppid=29457 vsize=14069564 memory=976832 CPUtime=0.08 cores=1,3,5,7
/proc/29460/task/29516/stat : 29516 (java) S 29457 29460 8289 0 -1 1077944384 61 12644 0 0 0 0 5 3 20 0 15 0 112387586 14407233536 243437 18446744073709551615 4194304 4196468 140721239557856 139979887961760 139980410832597 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23883776 140721239562160 140721239564945 140721239564945 140721239568335 0
[pid=29460/tid=29517] ppid=29457 vsize=14069564 memory=977856 CPUtime=0.08 cores=1,3,5,7
/proc/29460/task/29517/stat : 29517 (java) S 29457 29460 8289 0 -1 1077944384 61 12644 0 0 0 0 5 3 20 0 15 0 112387586 14407233536 243437 18446744073709551615 4194304 4196468 140721239557856 139979886908800 139980410832597 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23883776 140721239562160 140721239564945 140721239564945 140721239568335 0
[pid=29460/tid=29518] ppid=29457 vsize=14069564 memory=978372 CPUtime=0.08 cores=1,3,5,7
/proc/29460/task/29518/stat : 29518 (java) S 29457 29460 8289 0 -1 1077944384 3 12644 0 0 0 0 5 3 20 0 15 0 112387589 14407233536 243437 18446744073709551615 4194304 4196468 140721239557856 139979885857104 139980410840987 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23883776 140721239562160 140721239564945 140721239564945 140721239568335 0
[pid=29460/tid=29519] ppid=29457 vsize=14069564 memory=4168 CPUtime=10.93 cores=1,3,5,7
/proc/29460/task/29519/stat : 29519 (java) S 29457 29460 8289 0 -1 1077944384 23415 12644 0 0 1080 5 5 3 20 0 15 0 112387589 14407233536 243437 18446744073709551615 4194304 4196468 140721239557856 139979884804464 139980410833538 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23883776 140721239562160 140721239564945 140721239564945 140721239568335 0
[pid=29460/tid=29520] ppid=29457 vsize=14069564 memory=974776 CPUtime=10.66 cores=1,3,5,7
/proc/29460/task/29520/stat : 29520 (java) S 29457 29460 8289 0 -1 1077944384 18858 12644 0 0 1053 5 5 3 20 0 15 0 112387589 14407233536 243437 18446744073709551615 4194304 4196468 140721239557856 139979883751664 139980410833538 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23883776 140721239562160 140721239564945 140721239564945 140721239568335 0
[pid=29460/tid=29521] ppid=29457 vsize=14069564 memory=4168 CPUtime=3.81 cores=1,3,5,7
/proc/29460/task/29521/stat : 29521 (java) S 29457 29460 8289 0 -1 1077944384 19744 12644 0 0 366 7 5 3 20 0 15 0 112387589 14407233536 243437 18446744073709551615 4194304 4196468 140721239557856 139979882698864 139980410833538 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23883776 140721239562160 140721239564945 140721239564945 140721239568335 0
[pid=29460/tid=29522] ppid=29457 vsize=14069564 memory=54432 CPUtime=0.08 cores=1,3,5,7
/proc/29460/task/29522/stat : 29522 (java) S 29457 29460 8289 0 -1 1077944384 3 12644 0 0 0 0 5 3 20 0 15 0 112387589 14407233536 243437 18446744073709551615 4194304 4196468 140721239557856 139979881646304 139980410832597 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23883776 140721239562160 140721239564945 140721239564945 140721239568335 0
[pid=29460/tid=29523] ppid=29457 vsize=14069564 memory=1296 CPUtime=0.2 cores=1,3,5,7
/proc/29460/task/29523/stat : 29523 (java) S 29457 29460 8289 0 -1 1077944384 1855 12644 0 0 6 6 5 3 20 0 15 0 112387593 14407233536 243437 18446744073709551615 4194304 4196468 140721239557856 139979880594608 139980410833538 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23883776 140721239562160 140721239564945 140721239564945 140721239568335 0
Current children cumulated CPU time: 249.53 s
Current children cumulated vsize: 14069564 KiB
Current children cumulated memory: 973748 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+224.801 s]
/proc/loadavg: 1.51 1.91 1.93 3/214 29654
/proc/meminfo: memFree=28312212/32770624 swapFree=67108860/67108860
[pid=29460] ppid=29457 vsize=14069564 memory=969644 CPUtime=252.06 cores=1,3,5,7
/proc/29460/stat : 29460 (java) S 29457 29460 8289 0 -1 1077944320 135928 12644 0 0 25120 78 5 3 20 0 15 0 112387562 14407233536 242411 18446744073709551615 4194304 4196468 140721239557856 140721239540400 139980410822391 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 9 0 0 6293624 6294260 23883776 140721239562160 140721239564945 140721239564945 140721239568335 0
/proc/29460/statm: 3517391 242411 3484 1 0 3506005 0
[pid=29460/tid=29510] ppid=29457 vsize=14069564 memory=2888 CPUtime=223.22 cores=1,3,5,7
/proc/29460/task/29510/stat : 29510 (java) R 29457 29460 8289 0 -1 4202560 54340 12644 0 0 22289 25 5 3 20 0 15 0 112387584 14407233536 242411 18446744073709551615 4194304 4196468 140721239557856 139980415056272 139980067227610 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 23883776 140721239562160 140721239564945 140721239564945 140721239568335 0
[pid=29460/tid=29511] ppid=29457 vsize=14069564 memory=4068 CPUtime=0.81 cores=1,3,5,7
/proc/29460/task/29511/stat : 29511 (java) S 29457 29460 8289 0 -1 1077944384 1744 12644 0 0 66 7 5 3 20 0 15 0 112387584 14407233536 242411 18446744073709551615 4194304 4196468 140721239557856 139980367788688 139980410832597 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23883776 140721239562160 140721239564945 140721239564945 140721239568335 0
[pid=29460/tid=29512] ppid=29457 vsize=14069564 memory=1160 CPUtime=0.82 cores=1,3,5,7
/proc/29460/task/29512/stat : 29512 (java) S 29457 29460 8289 0 -1 1077944384 3840 12644 0 0 67 7 5 3 20 0 15 0 112387584 14407233536 242411 18446744073709551615 4194304 4196468 140721239557856 139980009826832 139980410832597 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23883776 140721239562160 140721239564945 140721239564945 140721239568335 0
[pid=29460/tid=29513] ppid=29457 vsize=14069564 memory=3004 CPUtime=0.83 cores=1,3,5,7
/proc/29460/task/29513/stat : 29513 (java) S 29457 29460 8289 0 -1 1077944384 2059 12644 0 0 67 8 5 3 20 0 15 0 112387584 14407233536 242411 18446744073709551615 4194304 4196468 140721239557856 139980008774032 139980410832597 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23883776 140721239562160 140721239564945 140721239564945 140721239568335 0
[pid=29460/tid=29514] ppid=29457 vsize=14069564 memory=974264 CPUtime=0.83 cores=1,3,5,7
/proc/29460/task/29514/stat : 29514 (java) S 29457 29460 8289 0 -1 1077944384 3269 12644 0 0 69 6 5 3 20 0 15 0 112387584 14407233536 242411 18446744073709551615 4194304 4196468 140721239557856 139980007721232 139980410832597 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23883776 140721239562160 140721239564945 140721239564945 140721239568335 0
[pid=29460/tid=29515] ppid=29457 vsize=14069564 memory=1436 CPUtime=0.58 cores=1,3,5,7
/proc/29460/task/29515/stat : 29515 (java) S 29457 29460 8289 0 -1 1077944384 4521 12644 0 0 45 5 5 3 20 0 15 0 112387586 14407233536 242411 18446744073709551615 4194304 4196468 140721239557856 139979889015664 139980410833538 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23883776 140721239562160 140721239564945 140721239564945 140721239568335 0
[pid=29460/tid=29516] ppid=29457 vsize=14069564 memory=1200 CPUtime=0.08 cores=1,3,5,7
/proc/29460/task/29516/stat : 29516 (java) S 29457 29460 8289 0 -1 1077944384 61 12644 0 0 0 0 5 3 20 0 15 0 112387586 14407233536 242411 18446744073709551615 4194304 4196468 140721239557856 139979887961760 139980410832597 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23883776 140721239562160 140721239564945 140721239564945 140721239568335 0
[pid=29460/tid=29517] ppid=29457 vsize=14069564 memory=15876 CPUtime=0.08 cores=1,3,5,7
/proc/29460/task/29517/stat : 29517 (java) S 29457 29460 8289 0 -1 1077944384 61 12644 0 0 0 0 5 3 20 0 15 0 112387586 14407233536 242411 18446744073709551615 4194304 4196468 140721239557856 139979886908800 139980410832597 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23883776 140721239562160 140721239564945 140721239564945 140721239568335 0
[pid=29460/tid=29518] ppid=29457 vsize=14069564 memory=4040 CPUtime=0.08 cores=1,3,5,7
/proc/29460/task/29518/stat : 29518 (java) S 29457 29460 8289 0 -1 1077944384 3 12644 0 0 0 0 5 3 20 0 15 0 112387589 14407233536 242411 18446744073709551615 4194304 4196468 140721239557856 139979885857104 139980410840987 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23883776 140721239562160 140721239564945 140721239564945 140721239568335 0
[pid=29460/tid=29519] ppid=29457 vsize=14069564 memory=33440 CPUtime=10.93 cores=1,3,5,7
/proc/29460/task/29519/stat : 29519 (java) S 29457 29460 8289 0 -1 1077944384 23415 12644 0 0 1080 5 5 3 20 0 15 0 112387589 14407233536 242411 18446744073709551615 4194304 4196468 140721239557856 139979884804464 139980410833538 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23883776 140721239562160 140721239564945 140721239564945 140721239568335 0
[pid=29460/tid=29520] ppid=29457 vsize=14069564 memory=1232 CPUtime=10.66 cores=1,3,5,7
/proc/29460/task/29520/stat : 29520 (java) S 29457 29460 8289 0 -1 1077944384 18858 12644 0 0 1053 5 5 3 20 0 15 0 112387589 14407233536 242411 18446744073709551615 4194304 4196468 140721239557856 139979883751664 139980410833538 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23883776 140721239562160 140721239564945 140721239564945 140721239568335 0
[pid=29460/tid=29521] ppid=29457 vsize=14069564 memory=33440 CPUtime=3.81 cores=1,3,5,7
/proc/29460/task/29521/stat : 29521 (java) S 29457 29460 8289 0 -1 1077944384 19744 12644 0 0 366 7 5 3 20 0 15 0 112387589 14407233536 242411 18446744073709551615 4194304 4196468 140721239557856 139979882698864 139980410833538 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23883776 140721239562160 140721239564945 140721239564945 140721239568335 0
[pid=29460/tid=29522] ppid=29457 vsize=14069564 memory=-8774313645642428999 CPUtime=0.08 cores=1,3,5,7
/proc/29460/task/29522/stat : 29522 (java) S 29457 29460 8289 0 -1 1077944384 3 12644 0 0 0 0 5 3 20 0 15 0 112387589 14407233536 242411 18446744073709551615 4194304 4196468 140721239557856 139979881646304 139980410832597 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23883776 140721239562160 140721239564945 140721239564945 140721239568335 0
[pid=29460/tid=29523] ppid=29457 vsize=14069564 memory=14356 CPUtime=0.2 cores=1,3,5,7
/proc/29460/task/29523/stat : 29523 (java) S 29457 29460 8289 0 -1 1077944384 1855 12644 0 0 6 6 5 3 20 0 15 0 112387593 14407233536 242411 18446744073709551615 4194304 4196468 140721239557856 139979880594608 139980410833538 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23883776 140721239562160 140721239564945 140721239564945 140721239568335 0
Current children cumulated CPU time: 252.06 s
Current children cumulated vsize: 14069564 KiB
Current children cumulated memory: 969644 KiB

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

[startup+225.207 s]
# the end of solver process 29460 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=252.412 s, system=0.843713 s

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

[startup+225.008 s]*
/proc/loadavg: 1.47 1.90 1.93 6/216 29656
/proc/meminfo: memFree=28310336/32770624 swapFree=67108860/67108860
[pid=29460] ppid=29457 vsize=14202692 memory=973812 CPUtime=252.78 cores=1,3,5,7
/proc/29460/stat : 29460 (java) S 29457 29460 8289 0 -1 1077944320 149395 12644 0 0 25191 79 5 3 20 0 17 0 112387562 14543556608 243453 18446744073709551615 4194304 4196468 140721239557856 140721239540400 139980410822391 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 9 0 0 6293624 6294260 23883776 140721239562160 140721239564945 140721239564945 140721239568335 0
/proc/29460/statm: 3550673 243453 3484 1 0 3539287 0
[pid=29460/tid=29510] ppid=29457 vsize=14202692 memory=-8774313645642428999 CPUtime=223.23 cores=1,3,5,7
/proc/29460/task/29510/stat : 29510 (java) S 29457 29460 8289 0 -1 1077944384 55196 12644 0 0 22290 25 5 3 20 0 17 0 112387584 14543556608 243453 18446744073709551615 4194304 4196468 140721239557856 139980415060112 139980410832597 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 3 0 0 6293624 6294260 23883776 140721239562160 140721239564945 140721239564945 140721239568335 0
[pid=29460/tid=29511] ppid=29457 vsize=14202692 memory=3004 CPUtime=0.98 cores=1,3,5,7
/proc/29460/task/29511/stat : 29511 (java) R 29457 29460 8289 0 -1 4202560 1818 12644 0 0 83 7 5 3 20 0 17 0 112387584 14543556608 243453 18446744073709551615 4194304 4196468 140721239557856 139980367788888 139980403450599 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23883776 140721239562160 140721239564945 140721239564945 140721239568335 0
[pid=29460/tid=29512] ppid=29457 vsize=14202692 memory=972724 CPUtime=0.99 cores=1,3,5,7
/proc/29460/task/29512/stat : 29512 (java) R 29457 29460 8289 0 -1 4202560 3907 12644 0 0 84 7 5 3 20 0 17 0 112387584 14543556608 243453 18446744073709551615 4194304 4196468 140721239557856 139980009826832 139980403450599 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23883776 140721239562160 140721239564945 140721239564945 140721239568335 0
[pid=29460/tid=29513] ppid=29457 vsize=14202692 memory=1160 CPUtime=1 cores=1,3,5,7
/proc/29460/task/29513/stat : 29513 (java) R 29457 29460 8289 0 -1 4202560 2120 12644 0 0 84 8 5 3 20 0 17 0 112387584 14543556608 243453 18446744073709551615 4194304 4196468 140721239557856 139980008774032 139980403450599 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23883776 140721239562160 140721239564945 140721239564945 140721239568335 0
[pid=29460/tid=29514] ppid=29457 vsize=14202692 memory=3036 CPUtime=0.99 cores=1,3,5,7
/proc/29460/task/29514/stat : 29514 (java) R 29457 29460 8289 0 -1 4202560 3320 12644 0 0 85 6 5 3 20 0 17 0 112387584 14543556608 243453 18446744073709551615 4194304 4196468 140721239557856 139980007721120 139980395772996 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 23883776 140721239562160 140721239564945 140721239564945 140721239568335 0
[pid=29460/tid=29515] ppid=29457 vsize=14202692 memory=2058944 CPUtime=0.61 cores=1,3,5,7
/proc/29460/task/29515/stat : 29515 (java) S 29457 29460 8289 0 -1 1077944384 16093 12644 0 0 48 5 5 3 20 0 17 0 112387586 14543556608 243453 18446744073709551615 4194304 4196468 140721239557856 139979889014064 139980410832597 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23883776 140721239562160 140721239564945 140721239564945 140721239568335 0
[pid=29460/tid=29516] ppid=29457 vsize=14202692 memory=-8774313645642428999 CPUtime=0.08 cores=1,3,5,7
/proc/29460/task/29516/stat : 29516 (java) S 29457 29460 8289 0 -1 1077944384 62 12644 0 0 0 0 5 3 20 0 17 0 112387586 14543556608 243453 18446744073709551615 4194304 4196468 140721239557856 139979887961664 139980410832597 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23883776 140721239562160 140721239564945 140721239564945 140721239568335 0
[pid=29460/tid=29517] ppid=29457 vsize=14202692 memory=973748 CPUtime=0.08 cores=1,3,5,7
/proc/29460/task/29517/stat : 29517 (java) S 29457 29460 8289 0 -1 1077944384 61 12644 0 0 0 0 5 3 20 0 17 0 112387586 14543556608 243453 18446744073709551615 4194304 4196468 140721239557856 139979886908800 139980410832597 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23883776 140721239562160 140721239564945 140721239564945 140721239568335 0
[pid=29460/tid=29518] ppid=29457 vsize=14202692 memory=318348440017043766 CPUtime=0.08 cores=1,3,5,7
/proc/29460/task/29518/stat : 29518 (java) S 29457 29460 8289 0 -1 1077944384 221 12644 0 0 0 0 5 3 20 0 17 0 112387589 14543556608 243453 18446744073709551615 4194304 4196468 140721239557856 139979885857104 139980410840987 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23883776 140721239562160 140721239564945 140721239564945 140721239568335 0
[pid=29460/tid=29519] ppid=29457 vsize=14202692 memory=15825482134324680 CPUtime=10.93 cores=1,3,5,7
/proc/29460/task/29519/stat : 29519 (java) S 29457 29460 8289 0 -1 1077944384 23638 12644 0 0 1080 5 5 3 20 0 17 0 112387589 14543556608 243453 18446744073709551615 4194304 4196468 140721239557856 139979884804464 139980410833538 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23883776 140721239562160 140721239564945 140721239564945 140721239568335 0
[pid=29460/tid=29520] ppid=29457 vsize=14202692 memory=1436 CPUtime=10.66 cores=1,3,5,7
/proc/29460/task/29520/stat : 29520 (java) S 29457 29460 8289 0 -1 1077944384 18858 12644 0 0 1053 5 5 3 20 0 17 0 112387589 14543556608 243453 18446744073709551615 4194304 4196468 140721239557856 139979883751664 139980410833538 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23883776 140721239562160 140721239564945 140721239564945 140721239568335 0
[pid=29460/tid=29521] ppid=29457 vsize=14202692 memory=288230574492221466 CPUtime=3.81 cores=1,3,5,7
/proc/29460/task/29521/stat : 29521 (java) S 29457 29460 8289 0 -1 1077944384 19744 12644 0 0 366 7 5 3 20 0 17 0 112387589 14543556608 243453 18446744073709551615 4194304 4196468 140721239557856 139979882698864 139980410833538 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23883776 140721239562160 140721239564945 140721239564945 140721239568335 0
[pid=29460/tid=29522] ppid=29457 vsize=14202692 memory=312437465506119990 CPUtime=0.08 cores=1,3,5,7
/proc/29460/task/29522/stat : 29522 (java) S 29457 29460 8289 0 -1 1077944384 3 12644 0 0 0 0 5 3 20 0 17 0 112387589 14543556608 243453 18446744073709551615 4194304 4196468 140721239557856 139979881646304 139980410832597 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23883776 140721239562160 140721239564945 140721239564945 140721239568335 0
[pid=29460/tid=29523] ppid=29457 vsize=14202692 memory=15825482134324680 CPUtime=0.2 cores=1,3,5,7
/proc/29460/task/29523/stat : 29523 (java) S 29457 29460 8289 0 -1 1077944384 1855 12644 0 0 6 6 5 3 20 0 17 0 112387593 14543556608 243453 18446744073709551615 4194304 4196468 140721239557856 139979880594608 139980410833538 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23883776 140721239562160 140721239564945 140721239564945 140721239568335 0
[pid=29460/tid=29655] ppid=29457 vsize=14202692 memory=7595155193062123367 CPUtime=0.08 cores=1,3,5,7
/proc/29460/task/29655/stat : 29655 (java) S 29457 29460 8289 0 -1 1077944384 313 12644 0 0 0 0 5 3 20 0 17 0 112410043 14543556608 243453 18446744073709551615 4194304 4196468 140721239557856 139979851326192 139980410832597 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23883776 140721239562160 140721239564945 140721239564945 140721239568335 0
[pid=29460/tid=29656] ppid=29457 vsize=14202692 memory=7228952860469388864 CPUtime=0.08 cores=1,3,5,7
/proc/29460/task/29656/stat : 29656 (java) S 29457 29460 8289 0 -1 1077944384 29 12644 0 0 0 0 5 3 20 0 17 0 112410043 14543556608 243453 18446744073709551615 4194304 4196468 140721239557856 139979850274112 139980410832597 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23883776 140721239562160 140721239564945 140721239564945 140721239568335 0
Current children cumulated CPU time: 252.78 s
Current children cumulated vsize: 14202692 KiB
Current children cumulated memory: 973812 KiB

[startup+225.111 s]
/proc/loadavg: 1.47 1.90 1.93 6/216 29656
/proc/meminfo: memFree=28310336/32770624 swapFree=67108860/67108860
[pid=29460] ppid=29457 vsize=14202692 memory=972784 CPUtime=253.03 cores=1,3,5,7
/proc/29460/stat : 29460 (java) S 29457 29460 8289 0 -1 1077944320 149418 12644 0 0 25216 79 5 3 20 0 17 0 112387562 14543556608 243196 18446744073709551615 4194304 4196468 140721239557856 140721239540400 139980410822391 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 9 0 0 6293624 6294260 23883776 140721239562160 140721239564945 140721239564945 140721239568335 0
/proc/29460/statm: 3550673 243196 3484 1 0 3539287 0
[pid=29460/tid=29510] ppid=29457 vsize=14202692 memory=973748 CPUtime=223.23 cores=1,3,5,7
/proc/29460/task/29510/stat : 29510 (java) S 29457 29460 8289 0 -1 1077944384 55197 12644 0 0 22290 25 5 3 20 0 17 0 112387584 14543556608 243196 18446744073709551615 4194304 4196468 140721239557856 139980415060112 139980410832597 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 3 0 0 6293624 6294260 23883776 140721239562160 140721239564945 140721239564945 140721239568335 0
[pid=29460/tid=29511] ppid=29457 vsize=14202692 memory=978372 CPUtime=1.04 cores=1,3,5,7
/proc/29460/task/29511/stat : 29511 (java) S 29457 29460 8289 0 -1 1077944384 1820 12644 0 0 89 7 5 3 20 0 17 0 112387584 14543556608 243196 18446744073709551615 4194304 4196468 140721239557856 139980367788688 139980410832597 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23883776 140721239562160 140721239564945 140721239564945 140721239568335 0
[pid=29460/tid=29512] ppid=29457 vsize=14202692 memory=972212 CPUtime=1.05 cores=1,3,5,7
/proc/29460/task/29512/stat : 29512 (java) S 29457 29460 8289 0 -1 1077944384 3911 12644 0 0 90 7 5 3 20 0 17 0 112387584 14543556608 243196 18446744073709551615 4194304 4196468 140721239557856 139980009826832 139980410832597 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23883776 140721239562160 140721239564945 140721239564945 140721239568335 0
[pid=29460/tid=29513] ppid=29457 vsize=14202692 memory=970160 CPUtime=1.05 cores=1,3,5,7
/proc/29460/task/29513/stat : 29513 (java) S 29457 29460 8289 0 -1 1077944384 2120 12644 0 0 89 8 5 3 20 0 17 0 112387584 14543556608 243196 18446744073709551615 4194304 4196468 140721239557856 139980008774032 139980410832597 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23883776 140721239562160 140721239564945 140721239564945 140721239568335 0
[pid=29460/tid=29514] ppid=29457 vsize=14202692 memory=973628 CPUtime=1.04 cores=1,3,5,7
/proc/29460/task/29514/stat : 29514 (java) S 29457 29460 8289 0 -1 1077944384 3323 12644 0 0 90 6 5 3 20 0 17 0 112387584 14543556608 243196 18446744073709551615 4194304 4196468 140721239557856 139980007721232 139980410832597 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23883776 140721239562160 140721239564945 140721239564945 140721239568335 0
[pid=29460/tid=29515] ppid=29457 vsize=14202692 memory=1296 CPUtime=0.65 cores=1,3,5,7
/proc/29460/task/29515/stat : 29515 (java) R 29457 29460 8289 0 -1 4202560 16105 12644 0 0 52 5 5 3 20 0 17 0 112387586 14543556608 243196 18446744073709551615 4194304 4196468 140721239557856 139979889014064 139980395988030 0 0 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23883776 140721239562160 140721239564945 140721239564945 140721239568335 0
[pid=29460/tid=29516] ppid=29457 vsize=14202692 memory=2440 CPUtime=0.08 cores=1,3,5,7
/proc/29460/task/29516/stat : 29516 (java) S 29457 29460 8289 0 -1 1077944384 63 12644 0 0 0 0 5 3 20 0 17 0 112387586 14543556608 243196 18446744073709551615 4194304 4196468 140721239557856 139979887961264 139980410832597 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23883776 140721239562160 140721239564945 140721239564945 140721239568335 0
[pid=29460/tid=29517] ppid=29457 vsize=14202692 memory=976832 CPUtime=0.08 cores=1,3,5,7
/proc/29460/task/29517/stat : 29517 (java) S 29457 29460 8289 0 -1 1077944384 61 12644 0 0 0 0 5 3 20 0 17 0 112387586 14543556608 243196 18446744073709551615 4194304 4196468 140721239557856 139979886908800 139980410832597 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23883776 140721239562160 140721239564945 140721239564945 140721239568335 0
[pid=29460/tid=29518] ppid=29457 vsize=14202692 memory=977856 CPUtime=0.08 cores=1,3,5,7
/proc/29460/task/29518/stat : 29518 (java) S 29457 29460 8289 0 -1 1077944384 221 12644 0 0 0 0 5 3 20 0 17 0 112387589 14543556608 243196 18446744073709551615 4194304 4196468 140721239557856 139979885857104 139980410840987 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23883776 140721239562160 140721239564945 140721239564945 140721239568335 0
[pid=29460/tid=29519] ppid=29457 vsize=14202692 memory=970672 CPUtime=10.93 cores=1,3,5,7
/proc/29460/task/29519/stat : 29519 (java) S 29457 29460 8289 0 -1 1077944384 23638 12644 0 0 1080 5 5 3 20 0 17 0 112387589 14543556608 243196 18446744073709551615 4194304 4196468 140721239557856 139979884804464 139980410833538 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23883776 140721239562160 140721239564945 140721239564945 140721239568335 0
[pid=29460/tid=29520] ppid=29457 vsize=14202692 memory=971184 CPUtime=10.66 cores=1,3,5,7
/proc/29460/task/29520/stat : 29520 (java) S 29457 29460 8289 0 -1 1077944384 18858 12644 0 0 1053 5 5 3 20 0 17 0 112387589 14543556608 243196 18446744073709551615 4194304 4196468 140721239557856 139979883751664 139980410833538 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23883776 140721239562160 140721239564945 140721239564945 140721239568335 0
[pid=29460/tid=29521] ppid=29457 vsize=14202692 memory=971184 CPUtime=3.81 cores=1,3,5,7
/proc/29460/task/29521/stat : 29521 (java) S 29457 29460 8289 0 -1 1077944384 19744 12644 0 0 366 7 5 3 20 0 17 0 112387589 14543556608 243196 18446744073709551615 4194304 4196468 140721239557856 139979882698864 139980410833538 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23883776 140721239562160 140721239564945 140721239564945 140721239568335 0
[pid=29460/tid=29522] ppid=29457 vsize=14202692 memory=971696 CPUtime=0.08 cores=1,3,5,7
/proc/29460/task/29522/stat : 29522 (java) S 29457 29460 8289 0 -1 1077944384 3 12644 0 0 0 0 5 3 20 0 17 0 112387589 14543556608 243196 18446744073709551615 4194304 4196468 140721239557856 139979881646304 139980410832597 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23883776 140721239562160 140721239564945 140721239564945 140721239568335 0
[pid=29460/tid=29523] ppid=29457 vsize=14202692 memory=971184 CPUtime=0.2 cores=1,3,5,7
/proc/29460/task/29523/stat : 29523 (java) S 29457 29460 8289 0 -1 1077944384 1855 12644 0 0 6 6 5 3 20 0 17 0 112387593 14543556608 243196 18446744073709551615 4194304 4196468 140721239557856 139979880594608 139980410833538 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23883776 140721239562160 140721239564945 140721239564945 140721239568335 0
[pid=29460/tid=29655] ppid=29457 vsize=14202692 memory=970160 CPUtime=0.08 cores=1,3,5,7
/proc/29460/task/29655/stat : 29655 (java) S 29457 29460 8289 0 -1 1077944384 313 12644 0 0 0 0 5 3 20 0 17 0 112410043 14543556608 243196 18446744073709551615 4194304 4196468 140721239557856 139979851326192 139980410832597 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23883776 140721239562160 140721239564945 140721239564945 140721239568335 0
[pid=29460/tid=29656] ppid=29457 vsize=14202692 memory=15876 CPUtime=0.08 cores=1,3,5,7
/proc/29460/task/29656/stat : 29656 (java) S 29457 29460 8289 0 -1 1077944384 29 12644 0 0 0 0 5 3 20 0 17 0 112410043 14543556608 243196 18446744073709551615 4194304 4196468 140721239557856 139979850274112 139980410832597 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23883776 140721239562160 140721239564945 140721239564945 140721239568335 0
Current children cumulated CPU time: 253.03 s
Current children cumulated vsize: 14202692 KiB
Current children cumulated memory: 972784 KiB

Child status: 143
Real time (s): 225.207
CPU time (s): 253.256
CPU user time (s): 252.412
CPU system time (s): 0.843713
CPU usage (%): 112.455
Max. virtual memory (cumulated for all children) (KiB): 14202692
Max. memory (cumulated for all children) (KiB): 1168944

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 252.412
system time used= 0.843713
maximum resident set size= 1169456
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 162285
page faults= 0
swaps= 0
block input operations= 0
block output operations= 456
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 29829
involuntary context switches= 626


# summary of solver processes directly reported to runsolver:
#   pid: 29460
#   total CPU time (s): 253.256
#   total CPU user time (s): 252.412
#   total CPU system time (s): 0.843713

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.33776 second user time and 2.23712 second system time

The end

Launcher Data 

Begin job on node133 at 2017-08-13 19:21:16
IDJOB=4259445
IDBENCH=124177
IDSOLVER=2646
FILE ID=node133/4259445-1502645724
RUNJOBID= node133-1502641620-25474
PBS_JOBID= 
Free space on /tmp= 62008 MiB

SOLVER NAME= Concrete 3.4
BENCH NAME= XCSP17/Cutstock/Cutstock-zinc-s1/Cutstock-t04-1.xml
COMMAND LINE= bin/concrete BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4259445-1502645724/watcher-4259445-1502645724 -o /tmp/evaluation-result-4259445-1502645724/solver-4259445-1502645724 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node133-1502641620-25474 --watchdog 312  bin/concrete HOME/instance-4259445-1502645724.xml

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

MD5SUM BENCH= e916ba0c5634620e8924ec581ee284c9
RANDOM SEED=1655890911

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:        26763260 kB
MemAvailable:   27401852 kB
Buffers:          237524 kB
Cached:           696052 kB
SwapCached:            0 kB
Active:          5366976 kB
Inactive:         184596 kB
Active(anon):    4558708 kB
Inactive(anon):   100820 kB
Active(file):     808268 kB
Inactive(file):    83776 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             24164 kB
Writeback:             0 kB
AnonPages:       4628268 kB
Mapped:            70924 kB
Shmem:             41660 kB
Slab:             152040 kB
SReclaimable:     124768 kB
SUnreclaim:        27272 kB
KernelStack:        3824 kB
PageTables:        14524 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    5787872 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      354332 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   4395008 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= 61984 MiB
End job on node133 at 2017-08-13 19:25:01