Trace number 4396010

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.12.2? (TO) 2520.12 2467.73

General information on the benchmark

NameBibd/Bibd-sum-open/
Bibd-sum-22-033-12-08-04.xml
MD5SUMf3f766a62b1d9930afd3b37b1c8667ba
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 variables726
Number of constraints287
Number of domains1
Minimum domain size2
Maximum domain size2
Distribution of domain sizes[{"size":2,"count":726}]
Minimum variable degree24
Maximum variable degree24
Distribution of variable degrees[{"degree":24,"count":726}]
Minimum constraint arity22
Maximum constraint arity726
Distribution of constraint arities[{"arity":22,"count":33},{"arity":33,"count":22},{"arity":66,"count":231},{"arity":726,"count":1}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"lex","count":1},{"type":"sum","count":286}]
Optimization problemNO
Type of objective

Solver Data 

0.77/0.55	c Concrete v3.12.2.1568380929293 running
2520.06/2467.72	Exception in thread "main" java.util.concurrent.TimeoutException
2520.06/2467.72		at concrete.MAC.mac(MAC.scala:192)
2520.06/2467.72		at concrete.MAC.$anonfun$oneRun$1(MAC.scala:265)
2520.06/2467.72		at scala.util.Try$.apply(Try.scala:212)
2520.06/2467.72		at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:179)
2520.06/2467.72		at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:183)
2520.06/2467.72		at cspom.StatisticsManager$.measure(StatisticsManager.scala:179)
2520.06/2467.72		at concrete.MAC.oneRun(MAC.scala:265)
2520.06/2467.72		at concrete.MAC.nextSolution(MAC.scala:284)
2520.06/2467.72		at concrete.MAC.$anonfun$nextSolution$7(MAC.scala:350)
2520.06/2467.72		at concrete.ProblemState.map(ProblemState.scala:238)
2520.06/2467.72		at concrete.ProblemState.map(ProblemState.scala:212)
2520.06/2467.72		at concrete.MAC.nextSolution(MAC.scala:348)
2520.06/2467.72		at concrete.Solver.hasNext(Solver.scala:160)
2520.06/2467.72		at scala.collection.Iterator.nextOption(Iterator.scala:104)
2520.06/2467.72		at scala.collection.Iterator.nextOption$(Iterator.scala:104)
2520.06/2467.72		at concrete.Solver.nextOption(Solver.scala:67)
2520.06/2467.72		at concrete.runner.ConcreteRunner.$anonfun$run$3(ConcreteRunner.scala:78)
2520.06/2467.72		at scala.util.Success.map(Try.scala:264)
2520.06/2467.72		at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:68)
2520.06/2467.72		at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:32)
2520.06/2467.72		at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:17)
2520.06/2467.72		at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:121)
2520.06/2467.72		at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:17)
2520.06/2467.72		at scala.Function0.apply$mcV$sp(Function0.scala:39)
2520.06/2467.72		at scala.Function0.apply$mcV$sp$(Function0.scala:39)
2520.06/2467.72		at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:17)
2520.06/2467.72		at scala.App.$anonfun$main$1(App.scala:75)
2520.06/2467.72		at scala.App.$anonfun$main$1$adapted(App.scala:75)
2520.06/2467.72		at scala.collection.IterableOnceOps.foreach(IterableOnce.scala:576)
2520.06/2467.72		at scala.collection.IterableOnceOps.foreach$(IterableOnce.scala:574)
2520.06/2467.72		at scala.collection.AbstractIterable.foreach(Iterable.scala:904)
2520.06/2467.72		at scala.App.main(App.scala:75)
2520.06/2467.72		at scala.App.main$(App.scala:73)
2520.06/2467.72		at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:17)
2520.06/2467.72		at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
2520.06/2467.72	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 (10214 MiB free)
  memory of node 1: 16384 MiB (13043 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4396010-1568396660/watcher-4396010-1568396660 -o /tmp/evaluation-result-4396010-1568396660/solver-4396010-1568396660 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node143-1568393275-31994 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=763920325 HOME/instance-4396010-1568396660.xml 

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
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=352, runsolver pid=349

[startup+0.100136 s]*
/proc/loadavg: 1.19 1.23 1.32 3/219 409
/proc/meminfo: memFree=23808088/32770624 swapFree=67108848/67108860
[pid=352] ppid=349 vsize=9972712 memory=18068 CPUtime=0.08 cores=1,3,5,7
/proc/352/stat : 352 (java) S 349 352 29438 0 -1 1077944320 4280 13253 0 0 1 0 5 2 20 0 6 0 415603431 10212057088 4517 33554432000 4194304 4196468 140736359663584 140736359646128 140692442746615 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 8945664 140736359672560 140736359675077 140736359675077 140736359677903 0
/proc/352/statm: 2493178 4517 1896 1 0 2481616 0
[pid=352/tid=405] ppid=349 vsize=9972712 memory=8389772277269004345 CPUtime=0.07 cores=1,3,5,7
/proc/352/task/405/stat : 405 (java) R 349 352 29438 0 -1 4202560 2159 13253 0 0 0 0 5 2 20 0 6 0 415603440 10212057088 4649 33554432000 4194304 4196468 140736359663584 140692414583376 140692425939320 0 4 0 16784584 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8945664 140736359672560 140736359675077 140736359675077 140736359677903 0
[pid=352/tid=406] ppid=349 vsize=9972712 memory=288293255295270935 CPUtime=0.07 cores=1,3,5,7
/proc/352/task/406/stat : 406 (java) S 349 352 29438 0 -1 1077944384 1 13253 0 0 0 0 5 2 20 0 6 0 415603440 10212057088 4649 33554432000 4194304 4196468 140736359663584 140692446989456 140692442756821 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8945664 140736359672560 140736359675077 140736359675077 140736359677903 0
[pid=352/tid=407] ppid=349 vsize=9972712 memory=140505151724204 CPUtime=0.07 cores=1,3,5,7
/proc/352/task/407/stat : 407 (java) S 349 352 29438 0 -1 1077944384 1 13253 0 0 0 0 5 2 20 0 6 0 415603440 10212057088 4649 33554432000 4194304 4196468 140736359663584 140692335262736 140692442756821 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8945664 140736359672560 140736359675077 140736359675077 140736359677903 0
[pid=352/tid=408] ppid=349 vsize=9972712 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/352/task/408/stat : 408 (java) S 349 352 29438 0 -1 1077944384 1 13253 0 0 0 0 5 2 20 0 6 0 415603440 10212057088 4649 33554432000 4194304 4196468 140736359663584 140692334209936 140692442756821 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8945664 140736359672560 140736359675077 140736359675077 140736359677903 0
[pid=352/tid=409] ppid=349 vsize=9972712 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/352/task/409/stat : 409 (java) S 349 352 29438 0 -1 1077944384 2 13253 0 0 0 0 5 2 20 0 6 0 415603440 10212057088 4649 33554432000 4194304 4196468 140736359663584 140692333157136 140692442756821 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8945664 140736359672560 140736359675077 140736359675077 140736359677903 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 18068 KiB

[startup+0.210145 s]*
/proc/loadavg: 1.19 1.23 1.32 3/228 419
/proc/meminfo: memFree=23786484/32770624 swapFree=67108848/67108860
[pid=352] ppid=349 vsize=10819664 memory=42312 CPUtime=0.24 cores=1,3,5,7
/proc/352/stat : 352 (java) S 349 352 29438 0 -1 1077944320 6886 13253 0 0 16 1 5 2 20 0 15 0 415603431 11079335936 10578 33554432000 4194304 4196468 140736359663584 140736359646128 140692442746615 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 8945664 140736359672560 140736359675077 140736359675077 140736359677903 0
/proc/352/statm: 2704916 10578 3174 1 0 2667149 0
[pid=352/tid=405] ppid=349 vsize=10819664 memory=8389772277269004345 CPUtime=0.18 cores=1,3,5,7
/proc/352/task/405/stat : 405 (java) R 349 352 29438 0 -1 4202560 3383 13253 0 0 10 1 5 2 20 0 15 0 415603440 11079335936 10578 33554432000 4194304 4196468 140736359663584 140692414556584 140692428814734 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8945664 140736359672560 140736359675077 140736359675077 140736359677903 0
[pid=352/tid=406] ppid=349 vsize=10819664 memory=288293255295270935 CPUtime=0.07 cores=1,3,5,7
/proc/352/task/406/stat : 406 (java) S 349 352 29438 0 -1 1077944384 1 13253 0 0 0 0 5 2 20 0 15 0 415603440 11079335936 10578 33554432000 4194304 4196468 140736359663584 140692446989456 140692442756821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8945664 140736359672560 140736359675077 140736359675077 140736359677903 0
[pid=352/tid=407] ppid=349 vsize=10819664 memory=140505151724204 CPUtime=0.07 cores=1,3,5,7
/proc/352/task/407/stat : 407 (java) S 349 352 29438 0 -1 1077944384 1 13253 0 0 0 0 5 2 20 0 15 0 415603440 11079335936 11090 33554432000 4194304 4196468 140736359663584 140692335262736 140692442756821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8945664 140736359672560 140736359675077 140736359675077 140736359677903 0
[pid=352/tid=408] ppid=349 vsize=10819664 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/352/task/408/stat : 408 (java) S 349 352 29438 0 -1 1077944384 1 13253 0 0 0 0 5 2 20 0 15 0 415603440 11079335936 11090 33554432000 4194304 4196468 140736359663584 140692334209936 140692442756821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8945664 140736359672560 140736359675077 140736359675077 140736359677903 0
[pid=352/tid=409] ppid=349 vsize=10819664 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/352/task/409/stat : 409 (java) S 349 352 29438 0 -1 1077944384 2 13253 0 0 0 0 5 2 20 0 15 0 415603440 11079335936 11090 33554432000 4194304 4196468 140736359663584 140692333157136 140692442756821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8945664 140736359672560 140736359675077 140736359675077 140736359677903 0
[pid=352/tid=410] ppid=349 vsize=10819664 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/352/task/410/stat : 410 (java) S 349 352 29438 0 -1 1077944384 2 13253 0 0 0 0 5 2 20 0 15 0 415603442 11079335936 11090 33554432000 4194304 4196468 140736359663584 140691901462896 140692442757762 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8945664 140736359672560 140736359675077 140736359675077 140736359677903 0
[pid=352/tid=411] ppid=349 vsize=10819664 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/352/task/411/stat : 411 (java) S 349 352 29438 0 -1 1077944384 33 13253 0 0 0 0 5 2 20 0 15 0 415603442 11079335936 11090 33554432000 4194304 4196468 140736359663584 140691900408864 140692442756821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8945664 140736359672560 140736359675077 140736359675077 140736359677903 0
[pid=352/tid=412] ppid=349 vsize=10819664 memory=140505148688000 CPUtime=0.07 cores=1,3,5,7
/proc/352/task/412/stat : 412 (java) S 349 352 29438 0 -1 1077944384 1 13253 0 0 0 0 5 2 20 0 15 0 415603442 11079335936 11090 33554432000 4194304 4196468 140736359663584 140691787211632 140692442756821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8945664 140736359672560 140736359675077 140736359675077 140736359677903 0
[pid=352/tid=413] ppid=349 vsize=10819664 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/352/task/413/stat : 413 (java) S 349 352 29438 0 -1 1077944384 2 13253 0 0 0 0 5 2 20 0 15 0 415603445 11079335936 11090 33554432000 4194304 4196468 140736359663584 140691183232848 140692442765211 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8945664 140736359672560 140736359675077 140736359675077 140736359677903 0
[pid=352/tid=415] ppid=349 vsize=10819664 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/352/task/415/stat : 415 (java) S 349 352 29438 0 -1 1077944384 334 13253 0 0 1 0 5 2 20 0 15 0 415603445 11079335936 11090 33554432000 4194304 4196468 140736359663584 140691866852208 140692442757762 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8945664 140736359672560 140736359675077 140736359675077 140736359677903 0
[pid=352/tid=416] ppid=349 vsize=10819664 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/352/task/416/stat : 416 (java) S 349 352 29438 0 -1 1077944384 304 13253 0 0 1 0 5 2 20 0 15 0 415603445 11079335936 11090 33554432000 4194304 4196468 140736359663584 140691865799408 140692442757762 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8945664 140736359672560 140736359675077 140736359675077 140736359677903 0
[pid=352/tid=417] ppid=349 vsize=10819664 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/352/task/417/stat : 417 (java) R 349 352 29438 0 -1 4202560 633 13253 0 0 3 0 5 2 20 0 15 0 415603445 11079335936 11090 33554432000 4194304 4196468 140736359663584 140691864746608 140692428527385 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8945664 140736359672560 140736359675077 140736359675077 140736359677903 0
[pid=352/tid=418] ppid=349 vsize=10819664 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/352/task/418/stat : 418 (java) S 349 352 29438 0 -1 1077944384 3 13253 0 0 0 0 5 2 20 0 15 0 415603445 11079335936 11090 33554432000 4194304 4196468 140736359663584 140690713471712 140692442756821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8945664 140736359672560 140736359675077 140736359675077 140736359677903 0
[pid=352/tid=419] ppid=349 vsize=10819664 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/352/task/419/stat : 419 (java) S 349 352 29438 0 -1 1077944384 1 13253 0 0 0 0 5 2 20 0 15 0 415603446 11079335936 11090 33554432000 4194304 4196468 140736359663584 140691863694000 140692442757762 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8945664 140736359672560 140736359675077 140736359675077 140736359677903 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 10819664 KiB
Current children cumulated memory: 42312 KiB

[startup+0.310673 s]*
/proc/loadavg: 1.19 1.23 1.32 4/228 419
/proc/meminfo: memFree=23773780/32770624 swapFree=67108848/67108860
[pid=352] ppid=349 vsize=10820148 memory=53380 CPUtime=0.39 cores=1,3,5,7
/proc/352/stat : 352 (java) S 349 352 29438 0 -1 1077944320 10576 13253 0 0 29 3 5 2 20 0 15 0 415603431 11079831552 13345 33554432000 4194304 4196468 140736359663584 140736359646128 140692442746615 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 8945664 140736359672560 140736359675077 140736359675077 140736359677903 0
/proc/352/statm: 2705037 13345 3306 1 0 2667149 0
[pid=352/tid=405] ppid=349 vsize=10820148 memory=1398720917958146503 CPUtime=0.29 cores=1,3,5,7
/proc/352/task/405/stat : 405 (java) R 349 352 29438 0 -1 4202560 7046 13253 0 0 19 3 5 2 20 0 15 0 415603440 11079831552 13345 33554432000 4194304 4196468 140736359663584 140692414552720 140692442768541 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8945664 140736359672560 140736359675077 140736359675077 140736359677903 0
[pid=352/tid=406] ppid=349 vsize=10820148 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/352/task/406/stat : 406 (java) S 349 352 29438 0 -1 1077944384 1 13253 0 0 0 0 5 2 20 0 15 0 415603440 11079831552 13345 33554432000 4194304 4196468 140736359663584 140692446989456 140692442756821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8945664 140736359672560 140736359675077 140736359675077 140736359677903 0
[pid=352/tid=407] ppid=349 vsize=10820148 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/352/task/407/stat : 407 (java) S 349 352 29438 0 -1 1077944384 1 13253 0 0 0 0 5 2 20 0 15 0 415603440 11079831552 13345 33554432000 4194304 4196468 140736359663584 140692335262736 140692442756821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8945664 140736359672560 140736359675077 140736359675077 140736359677903 0
[pid=352/tid=408] ppid=349 vsize=10820148 memory=7522230093456892247 CPUtime=0.07 cores=1,3,5,7
/proc/352/task/408/stat : 408 (java) S 349 352 29438 0 -1 1077944384 1 13253 0 0 0 0 5 2 20 0 15 0 415603440 11079831552 13345 33554432000 4194304 4196468 140736359663584 140692334209936 140692442756821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8945664 140736359672560 140736359675077 140736359675077 140736359677903 0
[pid=352/tid=409] ppid=349 vsize=10820148 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/352/task/409/stat : 409 (java) S 349 352 29438 0 -1 1077944384 2 13253 0 0 0 0 5 2 20 0 15 0 415603440 11079831552 13345 33554432000 4194304 4196468 140736359663584 140692333157136 140692442756821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8945664 140736359672560 140736359675077 140736359675077 140736359677903 0
[pid=352/tid=410] ppid=349 vsize=10820148 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/352/task/410/stat : 410 (java) S 349 352 29438 0 -1 1077944384 2 13253 0 0 0 0 5 2 20 0 15 0 415603442 11079831552 13345 33554432000 4194304 4196468 140736359663584 140691901462896 140692442757762 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8945664 140736359672560 140736359675077 140736359675077 140736359677903 0
[pid=352/tid=411] ppid=349 vsize=10820148 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/352/task/411/stat : 411 (java) S 349 352 29438 0 -1 1077944384 33 13253 0 0 0 0 5 2 20 0 15 0 415603442 11079831552 13345 33554432000 4194304 4196468 140736359663584 140691900408864 140692442756821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8945664 140736359672560 140736359675077 140736359675077 140736359677903 0
[pid=352/tid=412] ppid=349 vsize=10820148 memory=140505148688000 CPUtime=0.07 cores=1,3,5,7
/proc/352/task/412/stat : 412 (java) S 349 352 29438 0 -1 1077944384 1 13253 0 0 0 0 5 2 20 0 15 0 415603442 11079831552 13345 33554432000 4194304 4196468 140736359663584 140691787211632 140692442756821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8945664 140736359672560 140736359675077 140736359675077 140736359677903 0
[pid=352/tid=413] ppid=349 vsize=10820148 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/352/task/413/stat : 413 (java) S 349 352 29438 0 -1 1077944384 2 13253 0 0 0 0 5 2 20 0 15 0 415603445 11079831552 13345 33554432000 4194304 4196468 140736359663584 140691183232848 140692442765211 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8945664 140736359672560 140736359675077 140736359675077 140736359677903 0
[pid=352/tid=415] ppid=349 vsize=10820148 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/352/task/415/stat : 415 (java) S 349 352 29438 0 -1 1077944384 334 13253 0 0 1 0 5 2 20 0 15 0 415603445 11079831552 13345 33554432000 4194304 4196468 140736359663584 140691866852208 140692442757762 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8945664 140736359672560 140736359675077 140736359675077 140736359677903 0
[pid=352/tid=416] ppid=349 vsize=10820148 memory=-1 CPUtime=0.09 cores=1,3,5,7
/proc/352/task/416/stat : 416 (java) S 349 352 29438 0 -1 1077944384 314 13253 0 0 2 0 5 2 20 0 15 0 415603445 11079831552 13345 33554432000 4194304 4196468 140736359663584 140691865799408 140692442757762 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8945664 140736359672560 140736359675077 140736359675077 140736359677903 0
[pid=352/tid=417] ppid=349 vsize=10820148 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/352/task/417/stat : 417 (java) R 349 352 29438 0 -1 4202560 642 13253 0 0 5 0 5 2 20 0 15 0 415603445 11079831552 13345 33554432000 4194304 4196468 140736359663584 140691864746608 140692427912254 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8945664 140736359672560 140736359675077 140736359675077 140736359677903 0
[pid=352/tid=418] ppid=349 vsize=10820148 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/352/task/418/stat : 418 (java) S 349 352 29438 0 -1 1077944384 3 13253 0 0 0 0 5 2 20 0 15 0 415603445 11079831552 13345 33554432000 4194304 4196468 140736359663584 140690713471712 140692442756821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8945664 140736359672560 140736359675077 140736359675077 140736359677903 0
[pid=352/tid=419] ppid=349 vsize=10820148 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/352/task/419/stat : 419 (java) S 349 352 29438 0 -1 1077944384 1 13253 0 0 0 0 5 2 20 0 15 0 415603446 11079831552 13345 33554432000 4194304 4196468 140736359663584 140691863694000 140692442757762 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8945664 140736359672560 140736359675077 140736359675077 140736359677903 0
Current children cumulated CPU time: 0.39 s
Current children cumulated vsize: 10820148 KiB
Current children cumulated memory: 53380 KiB

[startup+0.701677 s]
/proc/loadavg: 1.19 1.23 1.32 4/228 419
/proc/meminfo: memFree=23760188/32770624 swapFree=67108848/67108860
[pid=352] ppid=349 vsize=10824360 memory=85388 CPUtime=1.12 cores=1,3,5,7
/proc/352/stat : 352 (java) S 349 352 29438 0 -1 1077944320 14589 13253 0 0 99 6 5 2 20 0 15 0 415603431 11084144640 21347 33554432000 4194304 4196468 140736359663584 140736359646128 140692442746615 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 8945664 140736359672560 140736359675077 140736359675077 140736359677903 0
/proc/352/statm: 2706090 21347 3512 1 0 2668173 0
[pid=352/tid=405] ppid=349 vsize=10824360 memory=1228 CPUtime=0.66 cores=1,3,5,7
/proc/352/task/405/stat : 405 (java) R 349 352 29438 0 -1 4202560 9814 13253 0 0 54 5 5 2 20 0 15 0 415603440 11084144640 21347 33554432000 4194304 4196468 140736359663584 140692414572672 140692426827102 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 8945664 140736359672560 140736359675077 140736359675077 140736359677903 0
[pid=352/tid=406] ppid=349 vsize=10824360 memory=2352 CPUtime=0.07 cores=1,3,5,7
/proc/352/task/406/stat : 406 (java) S 349 352 29438 0 -1 1077944384 1 13253 0 0 0 0 5 2 20 0 15 0 415603440 11084144640 21347 33554432000 4194304 4196468 140736359663584 140692446989456 140692442756821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8945664 140736359672560 140736359675077 140736359675077 140736359677903 0
[pid=352/tid=407] ppid=349 vsize=10824360 memory=1792 CPUtime=0.07 cores=1,3,5,7
/proc/352/task/407/stat : 407 (java) S 349 352 29438 0 -1 1077944384 1 13253 0 0 0 0 5 2 20 0 15 0 415603440 11084144640 21347 33554432000 4194304 4196468 140736359663584 140692335262736 140692442756821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8945664 140736359672560 140736359675077 140736359675077 140736359677903 0
[pid=352/tid=408] ppid=349 vsize=10824360 memory=33 CPUtime=0.07 cores=1,3,5,7
/proc/352/task/408/stat : 408 (java) S 349 352 29438 0 -1 1077944384 1 13253 0 0 0 0 5 2 20 0 15 0 415603440 11084144640 21347 33554432000 4194304 4196468 140736359663584 140692334209936 140692442756821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8945664 140736359672560 140736359675077 140736359675077 140736359677903 0
[pid=352/tid=409] ppid=349 vsize=10824360 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/352/task/409/stat : 409 (java) S 349 352 29438 0 -1 1077944384 2 13253 0 0 0 0 5 2 20 0 15 0 415603440 11084144640 21347 33554432000 4194304 4196468 140736359663584 140692333157136 140692442756821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8945664 140736359672560 140736359675077 140736359675077 140736359677903 0
[pid=352/tid=410] ppid=349 vsize=10824360 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/352/task/410/stat : 410 (java) S 349 352 29438 0 -1 1077944384 5 13253 0 0 0 0 5 2 20 0 15 0 415603442 11084144640 21347 33554432000 4194304 4196468 140736359663584 140691901462896 140692442757762 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8945664 140736359672560 140736359675077 140736359675077 140736359677903 0
[pid=352/tid=411] ppid=349 vsize=10824360 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/352/task/411/stat : 411 (java) S 349 352 29438 0 -1 1077944384 33 13253 0 0 0 0 5 2 20 0 15 0 415603442 11084144640 21347 33554432000 4194304 4196468 140736359663584 140691900408864 140692442756821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8945664 140736359672560 140736359675077 140736359675077 140736359677903 0
[pid=352/tid=412] ppid=349 vsize=10824360 memory=5933308270188204420 CPUtime=0.07 cores=1,3,5,7
/proc/352/task/412/stat : 412 (java) S 349 352 29438 0 -1 1077944384 1 13253 0 0 0 0 5 2 20 0 15 0 415603442 11084144640 21347 33554432000 4194304 4196468 140736359663584 140691787211632 140692442756821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8945664 140736359672560 140736359675077 140736359675077 140736359677903 0
[pid=352/tid=413] ppid=349 vsize=10824360 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/352/task/413/stat : 413 (java) S 349 352 29438 0 -1 1077944384 2 13253 0 0 0 0 5 2 20 0 15 0 415603445 11084144640 21347 33554432000 4194304 4196468 140736359663584 140691183232848 140692442765211 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8945664 140736359672560 140736359675077 140736359675077 140736359677903 0
[pid=352/tid=415] ppid=349 vsize=10824360 memory=0 CPUtime=0.16 cores=1,3,5,7
/proc/352/task/415/stat : 415 (java) S 349 352 29438 0 -1 1077944384 806 13253 0 0 9 0 5 2 20 0 15 0 415603445 11084144640 21347 33554432000 4194304 4196468 140736359663584 140691866852208 140692442757762 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8945664 140736359672560 140736359675077 140736359675077 140736359677903 0
[pid=352/tid=416] ppid=349 vsize=10824360 memory=3924 CPUtime=0.24 cores=1,3,5,7
/proc/352/task/416/stat : 416 (java) R 349 352 29438 0 -1 4202560 921 13253 0 0 17 0 5 2 20 0 15 0 415603445 11084144640 21347 33554432000 4194304 4196468 140736359663584 140691865799408 140692426245789 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8945664 140736359672560 140736359675077 140736359675077 140736359677903 0
[pid=352/tid=417] ppid=349 vsize=10824360 memory=1412 CPUtime=0.24 cores=1,3,5,7
/proc/352/task/417/stat : 417 (java) S 349 352 29438 0 -1 1077944384 792 13253 0 0 17 0 5 2 20 0 15 0 415603445 11084144640 21347 33554432000 4194304 4196468 140736359663584 140691864746608 140692442757762 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8945664 140736359672560 140736359675077 140736359675077 140736359677903 0
[pid=352/tid=418] ppid=349 vsize=10824360 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/352/task/418/stat : 418 (java) S 349 352 29438 0 -1 1077944384 3 13253 0 0 0 0 5 2 20 0 15 0 415603445 11084144640 21347 33554432000 4194304 4196468 140736359663584 140690713471712 140692442756821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8945664 140736359672560 140736359675077 140736359675077 140736359677903 0
[pid=352/tid=419] ppid=349 vsize=10824360 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/352/task/419/stat : 419 (java) S 349 352 29438 0 -1 1077944384 1 13253 0 0 0 0 5 2 20 0 15 0 415603446 11084144640 21347 33554432000 4194304 4196468 140736359663584 140691863694000 140692442757762 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8945664 140736359672560 140736359675077 140736359675077 140736359677903 0
Current children cumulated CPU time: 1.12 s
Current children cumulated vsize: 10824360 KiB
Current children cumulated memory: 85388 KiB

[startup+1.50065 s]
/proc/loadavg: 1.19 1.23 1.32 3/228 419
/proc/meminfo: memFree=23718712/32770624 swapFree=67108848/67108860
[pid=352] ppid=349 vsize=10834676 memory=177728 CPUtime=2.55 cores=1,3,5,7
/proc/352/stat : 352 (java) S 349 352 29438 0 -1 1077944320 22853 13253 0 0 237 11 5 2 20 0 15 0 415603431 11094708224 44432 33554432000 4194304 4196468 140736359663584 140736359646128 140692442746615 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 8945664 140736359672560 140736359675077 140736359675077 140736359677903 0
/proc/352/statm: 2708669 44432 3595 1 0 2670733 0
[pid=352/tid=405] ppid=349 vsize=10834676 memory=2352 CPUtime=1.42 cores=1,3,5,7
/proc/352/task/405/stat : 405 (java) R 349 352 29438 0 -1 4202560 15190 13253 0 0 128 7 5 2 20 0 15 0 415603440 11094708224 44432 33554432000 4194304 4196468 140736359663584 140692414560752 140692428117584 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8945664 140736359672560 140736359675077 140736359675077 140736359677903 0
[pid=352/tid=406] ppid=349 vsize=10834676 memory=1792 CPUtime=0.08 cores=1,3,5,7
/proc/352/task/406/stat : 406 (java) S 349 352 29438 0 -1 1077944384 80 13253 0 0 1 0 5 2 20 0 15 0 415603440 11094708224 44432 33554432000 4194304 4196468 140736359663584 140692446989456 140692442756821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8945664 140736359672560 140736359675077 140736359675077 140736359677903 0
[pid=352/tid=407] ppid=349 vsize=10834676 memory=281010046504528 CPUtime=0.08 cores=1,3,5,7
/proc/352/task/407/stat : 407 (java) S 349 352 29438 0 -1 1077944384 331 13253 0 0 1 0 5 2 20 0 15 0 415603440 11094708224 44432 33554432000 4194304 4196468 140736359663584 140692335262736 140692442756821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8945664 140736359672560 140736359675077 140736359675077 140736359677903 0
[pid=352/tid=408] ppid=349 vsize=10834676 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/352/task/408/stat : 408 (java) S 349 352 29438 0 -1 1077944384 24 13253 0 0 1 0 5 2 20 0 15 0 415603440 11094708224 44432 33554432000 4194304 4196468 140736359663584 140692334209936 140692442756821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8945664 140736359672560 140736359675077 140736359675077 140736359677903 0
[pid=352/tid=409] ppid=349 vsize=10834676 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/352/task/409/stat : 409 (java) S 349 352 29438 0 -1 1077944384 76 13253 0 0 1 0 5 2 20 0 15 0 415603440 11094708224 44432 33554432000 4194304 4196468 140736359663584 140692333157136 140692442756821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8945664 140736359672560 140736359675077 140736359675077 140736359677903 0
[pid=352/tid=410] ppid=349 vsize=10834676 memory=8045292175072724359 CPUtime=0.08 cores=1,3,5,7
/proc/352/task/410/stat : 410 (java) S 349 352 29438 0 -1 1077944384 915 13253 0 0 1 0 5 2 20 0 15 0 415603442 11094708224 44432 33554432000 4194304 4196468 140736359663584 140691901462896 140692442757762 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8945664 140736359672560 140736359675077 140736359675077 140736359677903 0
[pid=352/tid=411] ppid=349 vsize=10834676 memory=33 CPUtime=0.07 cores=1,3,5,7
/proc/352/task/411/stat : 411 (java) S 349 352 29438 0 -1 1077944384 33 13253 0 0 0 0 5 2 20 0 15 0 415603442 11094708224 44432 33554432000 4194304 4196468 140736359663584 140691900408928 140692442756821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8945664 140736359672560 140736359675077 140736359675077 140736359677903 0
[pid=352/tid=412] ppid=349 vsize=10834676 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/352/task/412/stat : 412 (java) S 349 352 29438 0 -1 1077944384 2 13253 0 0 0 0 5 2 20 0 15 0 415603442 11094708224 44432 33554432000 4194304 4196468 140736359663584 140691787211648 140692442756821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8945664 140736359672560 140736359675077 140736359675077 140736359677903 0
[pid=352/tid=413] ppid=349 vsize=10834676 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/352/task/413/stat : 413 (java) S 349 352 29438 0 -1 1077944384 2 13253 0 0 0 0 5 2 20 0 15 0 415603445 11094708224 44432 33554432000 4194304 4196468 140736359663584 140691183232848 140692442765211 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8945664 140736359672560 140736359675077 140736359675077 140736359677903 0
[pid=352/tid=415] ppid=349 vsize=10834676 memory=0 CPUtime=0.32 cores=1,3,5,7
/proc/352/task/415/stat : 415 (java) S 349 352 29438 0 -1 1077944384 1159 13253 0 0 25 0 5 2 20 0 15 0 415603445 11094708224 44432 33554432000 4194304 4196468 140736359663584 140691866852208 140692442757762 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8945664 140736359672560 140736359675077 140736359675077 140736359677903 0
[pid=352/tid=416] ppid=349 vsize=10834676 memory=5933308270188204420 CPUtime=0.42 cores=1,3,5,7
/proc/352/task/416/stat : 416 (java) S 349 352 29438 0 -1 1077944384 1367 13253 0 0 35 0 5 2 20 0 15 0 415603445 11094708224 44432 33554432000 4194304 4196468 140736359663584 140691865799408 140692442757762 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8945664 140736359672560 140736359675077 140736359675077 140736359677903 0
[pid=352/tid=417] ppid=349 vsize=10834676 memory=0 CPUtime=0.48 cores=1,3,5,7
/proc/352/task/417/stat : 417 (java) R 349 352 29438 0 -1 4202560 1465 13253 0 0 41 0 5 2 20 0 15 0 415603445 11094708224 44432 33554432000 4194304 4196468 140736359663584 140691864746608 140692426827102 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8945664 140736359672560 140736359675077 140736359675077 140736359677903 0
[pid=352/tid=418] ppid=349 vsize=10834676 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/352/task/418/stat : 418 (java) S 349 352 29438 0 -1 1077944384 3 13253 0 0 0 0 5 2 20 0 15 0 415603445 11094708224 44432 33554432000 4194304 4196468 140736359663584 140690713471712 140692442756821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8945664 140736359672560 140736359675077 140736359675077 140736359677903 0
[pid=352/tid=419] ppid=349 vsize=10834676 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/352/task/419/stat : 419 (java) S 349 352 29438 0 -1 1077944384 1 13253 0 0 0 0 5 2 20 0 15 0 415603446 11094708224 44432 33554432000 4194304 4196468 140736359663584 140691863694000 140692442757762 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8945664 140736359672560 140736359675077 140736359675077 140736359677903 0
Current children cumulated CPU time: 2.55 s
Current children cumulated vsize: 10834676 KiB

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

/proc/352/task/405/stat : 405 (java) R 349 352 29438 0 -1 4202560 65135 13253 0 0 236127 47 5 2 20 0 15 0 415603440 11107311616 94855 33554432000 4194304 4196468 140736359663584 140692414582080 140692019510982 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8945664 140736359672560 140736359675077 140736359675077 140736359677903 0
[pid=352/tid=406] ppid=349 vsize=10846984 memory=379420 CPUtime=11.7 cores=1,3,5,7
/proc/352/task/406/stat : 406 (java) S 349 352 29438 0 -1 1077944384 11856 13253 0 0 1121 42 5 2 20 0 15 0 415603440 11107311616 94855 33554432000 4194304 4196468 140736359663584 140692446989456 140692442756821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8945664 140736359672560 140736359675077 140736359675077 140736359677903 0
[pid=352/tid=407] ppid=349 vsize=10846984 memory=380448 CPUtime=11.61 cores=1,3,5,7
/proc/352/task/407/stat : 407 (java) S 349 352 29438 0 -1 1077944384 9614 13253 0 0 1113 41 5 2 20 0 15 0 415603440 11107311616 94855 33554432000 4194304 4196468 140736359663584 140692335262736 140692442756821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8945664 140736359672560 140736359675077 140736359675077 140736359677903 0
[pid=352/tid=408] ppid=349 vsize=10846984 memory=379420 CPUtime=11.67 cores=1,3,5,7
/proc/352/task/408/stat : 408 (java) S 349 352 29438 0 -1 1077944384 14903 13253 0 0 1118 42 5 2 20 0 15 0 415603440 11107311616 94855 33554432000 4194304 4196468 140736359663584 140692334209936 140692442756821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8945664 140736359672560 140736359675077 140736359675077 140736359677903 0
[pid=352/tid=409] ppid=349 vsize=10846984 memory=379420 CPUtime=11.62 cores=1,3,5,7
/proc/352/task/409/stat : 409 (java) S 349 352 29438 0 -1 1077944384 11198 13253 0 0 1114 41 5 2 20 0 15 0 415603440 11107311616 94855 33554432000 4194304 4196468 140736359663584 140692333157136 140692442756821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8945664 140736359672560 140736359675077 140736359675077 140736359677903 0
[pid=352/tid=410] ppid=349 vsize=10846984 memory=379420 CPUtime=7.13 cores=1,3,5,7
/proc/352/task/410/stat : 410 (java) R 349 352 29438 0 -1 4202560 12020 13253 0 0 653 53 5 2 20 0 15 0 415603442 11107311616 94855 33554432000 4194304 4196468 140736359663584 140691901462896 140692435463767 0 0 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8945664 140736359672560 140736359675077 140736359675077 140736359677903 0
[pid=352/tid=411] ppid=349 vsize=10846984 memory=3924 CPUtime=0.07 cores=1,3,5,7
/proc/352/task/411/stat : 411 (java) S 349 352 29438 0 -1 1077944384 43 13253 0 0 0 0 5 2 20 0 15 0 415603442 11107311616 94855 33554432000 4194304 4196468 140736359663584 140691900408992 140692442756821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8945664 140736359672560 140736359675077 140736359675077 140736359677903 0
[pid=352/tid=412] ppid=349 vsize=10846984 memory=379420 CPUtime=0.07 cores=1,3,5,7
/proc/352/task/412/stat : 412 (java) S 349 352 29438 0 -1 1077944384 17 13253 0 0 0 0 5 2 20 0 15 0 415603442 11107311616 94855 33554432000 4194304 4196468 140736359663584 140691787211648 140692442756821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8945664 140736359672560 140736359675077 140736359675077 140736359677903 0
[pid=352/tid=413] ppid=349 vsize=10846984 memory=379420 CPUtime=0.07 cores=1,3,5,7
/proc/352/task/413/stat : 413 (java) S 349 352 29438 0 -1 1077944384 2 13253 0 0 0 0 5 2 20 0 15 0 415603445 11107311616 94855 33554432000 4194304 4196468 140736359663584 140691183232848 140692442765211 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8945664 140736359672560 140736359675077 140736359675077 140736359677903 0
[pid=352/tid=415] ppid=349 vsize=10846984 memory=379420 CPUtime=7.68 cores=1,3,5,7
/proc/352/task/415/stat : 415 (java) S 349 352 29438 0 -1 1077944384 33703 13253 0 0 758 3 5 2 20 0 15 0 415603445 11107311616 94855 33554432000 4194304 4196468 140736359663584 140691866852208 140692442757762 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8945664 140736359672560 140736359675077 140736359675077 140736359677903 0
[pid=352/tid=416] ppid=349 vsize=10846984 memory=379420 CPUtime=6.81 cores=1,3,5,7
/proc/352/task/416/stat : 416 (java) S 349 352 29438 0 -1 1077944384 25647 13253 0 0 670 4 5 2 20 0 15 0 415603445 11107311616 94855 33554432000 4194304 4196468 140736359663584 140691865799408 140692442757762 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8945664 140736359672560 140736359675077 140736359675077 140736359677903 0
[pid=352/tid=417] ppid=349 vsize=10846984 memory=379420 CPUtime=2.42 cores=1,3,5,7
/proc/352/task/417/stat : 417 (java) S 349 352 29438 0 -1 1077944384 17909 13253 0 0 230 5 5 2 20 0 15 0 415603445 11107311616 94855 33554432000 4194304 4196468 140736359663584 140691864746608 140692442757762 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8945664 140736359672560 140736359675077 140736359675077 140736359677903 0
[pid=352/tid=418] ppid=349 vsize=10846984 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/352/task/418/stat : 418 (java) S 349 352 29438 0 -1 1077944384 3 13253 0 0 0 0 5 2 20 0 15 0 415603445 11107311616 94855 33554432000 4194304 4196468 140736359663584 140690713471712 140692442756821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8945664 140736359672560 140736359675077 140736359675077 140736359677903 0
[pid=352/tid=419] ppid=349 vsize=10846984 memory=0 CPUtime=1.46 cores=1,3,5,7
/proc/352/task/419/stat : 419 (java) S 349 352 29438 0 -1 1077944384 1055 13253 0 0 66 73 5 2 20 0 15 0 415603446 11107311616 94855 33554432000 4194304 4196468 140736359663584 140691863694000 140692442757762 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8945664 140736359672560 140736359675077 140736359675077 140736359677903 0
Current children cumulated CPU time: 2433.39 s
Current children cumulated vsize: 10846984 KiB
Current children cumulated memory: 379420 KiB

[startup+2442.3 s]
/proc/loadavg: 1.55 1.45 1.42 3/228 829
/proc/meminfo: memFree=23247768/32770624 swapFree=67108848/67108860
[pid=352] ppid=349 vsize=10846984 memory=382284 CPUtime=2494.28 cores=1,3,5,7
/proc/352/stat : 352 (java) S 349 352 29438 0 -1 1077944320 207136 13253 0 0 249096 325 5 2 20 0 15 0 415603431 11107311616 95571 33554432000 4194304 4196468 140736359663584 140736359646128 140692442746615 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 8945664 140736359672560 140736359675077 140736359675077 140736359677903 0
/proc/352/statm: 2711746 95571 3633 1 0 2673805 0
[pid=352/tid=405] ppid=349 vsize=10846984 memory=382284 CPUtime=2421.27 cores=1,3,5,7
/proc/352/task/405/stat : 405 (java) R 349 352 29438 0 -1 4202560 66065 13253 0 0 242072 48 5 2 20 0 15 0 415603440 11107311616 95571 33554432000 4194304 4196468 140736359663584 140692414582080 140692016997002 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8945664 140736359672560 140736359675077 140736359675077 140736359677903 0
[pid=352/tid=406] ppid=349 vsize=10846984 memory=379420 CPUtime=12.01 cores=1,3,5,7
/proc/352/task/406/stat : 406 (java) S 349 352 29438 0 -1 1077944384 11892 13253 0 0 1151 43 5 2 20 0 15 0 415603440 11107311616 95571 33554432000 4194304 4196468 140736359663584 140692446989456 140692442756821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8945664 140736359672560 140736359675077 140736359675077 140736359677903 0
[pid=352/tid=407] ppid=349 vsize=10846984 memory=379420 CPUtime=11.92 cores=1,3,5,7
/proc/352/task/407/stat : 407 (java) S 349 352 29438 0 -1 1077944384 9721 13253 0 0 1142 43 5 2 20 0 15 0 415603440 11107311616 95571 33554432000 4194304 4196468 140736359663584 140692335262736 140692442756821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8945664 140736359672560 140736359675077 140736359675077 140736359677903 0
[pid=352/tid=408] ppid=349 vsize=10846984 memory=382096 CPUtime=11.98 cores=1,3,5,7
/proc/352/task/408/stat : 408 (java) S 349 352 29438 0 -1 1077944384 15133 13253 0 0 1147 44 5 2 20 0 15 0 415603440 11107311616 95571 33554432000 4194304 4196468 140736359663584 140692334209936 140692442756821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8945664 140736359672560 140736359675077 140736359675077 140736359677903 0
[pid=352/tid=409] ppid=349 vsize=10846984 memory=382096 CPUtime=11.92 cores=1,3,5,7
/proc/352/task/409/stat : 409 (java) S 349 352 29438 0 -1 1077944384 11487 13253 0 0 1143 42 5 2 20 0 15 0 415603440 11107311616 95571 33554432000 4194304 4196468 140736359663584 140692333157136 140692442756821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8945664 140736359672560 140736359675077 140736359675077 140736359677903 0
[pid=352/tid=410] ppid=349 vsize=10846984 memory=382148 CPUtime=7.32 cores=1,3,5,7
/proc/352/task/410/stat : 410 (java) S 349 352 29438 0 -1 1077944384 12229 13253 0 0 671 54 5 2 20 0 15 0 415603442 11107311616 95571 33554432000 4194304 4196468 140736359663584 140691901462896 140692442757762 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8945664 140736359672560 140736359675077 140736359675077 140736359677903 0
[pid=352/tid=411] ppid=349 vsize=10846984 memory=382096 CPUtime=0.07 cores=1,3,5,7
/proc/352/task/411/stat : 411 (java) S 349 352 29438 0 -1 1077944384 43 13253 0 0 0 0 5 2 20 0 15 0 415603442 11107311616 95571 33554432000 4194304 4196468 140736359663584 140691900408992 140692442756821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8945664 140736359672560 140736359675077 140736359675077 140736359677903 0
[pid=352/tid=412] ppid=349 vsize=10846984 memory=382148 CPUtime=0.07 cores=1,3,5,7
/proc/352/task/412/stat : 412 (java) S 349 352 29438 0 -1 1077944384 17 13253 0 0 0 0 5 2 20 0 15 0 415603442 11107311616 95571 33554432000 4194304 4196468 140736359663584 140691787211648 140692442756821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8945664 140736359672560 140736359675077 140736359675077 140736359677903 0
[pid=352/tid=413] ppid=349 vsize=10846984 memory=382284 CPUtime=0.07 cores=1,3,5,7
/proc/352/task/413/stat : 413 (java) S 349 352 29438 0 -1 1077944384 2 13253 0 0 0 0 5 2 20 0 15 0 415603445 11107311616 95571 33554432000 4194304 4196468 140736359663584 140691183232848 140692442765211 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8945664 140736359672560 140736359675077 140736359675077 140736359677903 0
[pid=352/tid=415] ppid=349 vsize=10846984 memory=382284 CPUtime=7.68 cores=1,3,5,7
/proc/352/task/415/stat : 415 (java) S 349 352 29438 0 -1 1077944384 33705 13253 0 0 758 3 5 2 20 0 15 0 415603445 11107311616 95571 33554432000 4194304 4196468 140736359663584 140691866852208 140692442757762 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8945664 140736359672560 140736359675077 140736359675077 140736359677903 0
[pid=352/tid=416] ppid=349 vsize=10846984 memory=382284 CPUtime=6.82 cores=1,3,5,7
/proc/352/task/416/stat : 416 (java) S 349 352 29438 0 -1 1077944384 25649 13253 0 0 671 4 5 2 20 0 15 0 415603445 11107311616 95571 33554432000 4194304 4196468 140736359663584 140691865799408 140692442757762 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8945664 140736359672560 140736359675077 140736359675077 140736359677903 0
[pid=352/tid=417] ppid=349 vsize=10846984 memory=382284 CPUtime=2.42 cores=1,3,5,7
/proc/352/task/417/stat : 417 (java) S 349 352 29438 0 -1 1077944384 17911 13253 0 0 230 5 5 2 20 0 15 0 415603445 11107311616 95571 33554432000 4194304 4196468 140736359663584 140691864746608 140692442757762 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8945664 140736359672560 140736359675077 140736359675077 140736359677903 0
[pid=352/tid=418] ppid=349 vsize=10846984 memory=3924 CPUtime=0.07 cores=1,3,5,7
/proc/352/task/418/stat : 418 (java) S 349 352 29438 0 -1 1077944384 3 13253 0 0 0 0 5 2 20 0 15 0 415603445 11107311616 95571 33554432000 4194304 4196468 140736359663584 140690713471712 140692442756821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8945664 140736359672560 140736359675077 140736359675077 140736359677903 0
[pid=352/tid=419] ppid=349 vsize=10846984 memory=382284 CPUtime=1.49 cores=1,3,5,7
/proc/352/task/419/stat : 419 (java) S 349 352 29438 0 -1 1077944384 1073 13253 0 0 68 74 5 2 20 0 15 0 415603446 11107311616 95571 33554432000 4194304 4196468 140736359663584 140691863694000 140692442757762 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8945664 140736359672560 140736359675077 140736359675077 140736359677903 0
Current children cumulated CPU time: 2494.28 s
Current children cumulated vsize: 10846984 KiB
Current children cumulated memory: 382284 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2467.7 s]
/proc/loadavg: 1.28 1.40 1.40 3/228 831
/proc/meminfo: memFree=23248076/32770624 swapFree=67108848/67108860
[pid=352] ppid=349 vsize=10846984 memory=382284 CPUtime=2520.06 cores=1,3,5,7
/proc/352/stat : 352 (java) S 349 352 29438 0 -1 1077944320 207356 13253 0 0 251672 327 5 2 20 0 15 0 415603431 11107311616 95571 33554432000 4194304 4196468 140736359663584 140736359646128 140692442746615 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 8945664 140736359672560 140736359675077 140736359675077 140736359677903 0
/proc/352/statm: 2711746 95571 3633 1 0 2673805 0
[pid=352/tid=405] ppid=349 vsize=10846984 memory=2352 CPUtime=2446.44 cores=1,3,5,7
/proc/352/task/405/stat : 405 (java) R 349 352 29438 0 -1 4202560 66189 13253 0 0 244589 48 5 2 20 0 15 0 415603440 11107311616 95571 33554432000 4194304 4196468 140736359663584 140692414582080 140692019510596 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8945664 140736359672560 140736359675077 140736359675077 140736359677903 0
[pid=352/tid=406] ppid=349 vsize=10846984 memory=382284 CPUtime=12.14 cores=1,3,5,7
/proc/352/task/406/stat : 406 (java) S 349 352 29438 0 -1 1077944384 11893 13253 0 0 1164 43 5 2 20 0 15 0 415603440 11107311616 95571 33554432000 4194304 4196468 140736359663584 140692446989456 140692442756821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8945664 140736359672560 140736359675077 140736359675077 140736359677903 0
[pid=352/tid=407] ppid=349 vsize=10846984 memory=382284 CPUtime=12.04 cores=1,3,5,7
/proc/352/task/407/stat : 407 (java) S 349 352 29438 0 -1 1077944384 9751 13253 0 0 1154 43 5 2 20 0 15 0 415603440 11107311616 95571 33554432000 4194304 4196468 140736359663584 140692335262736 140692442756821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8945664 140736359672560 140736359675077 140736359675077 140736359677903 0
[pid=352/tid=408] ppid=349 vsize=10846984 memory=382284 CPUtime=12.11 cores=1,3,5,7
/proc/352/task/408/stat : 408 (java) S 349 352 29438 0 -1 1077944384 15141 13253 0 0 1160 44 5 2 20 0 15 0 415603440 11107311616 95571 33554432000 4194304 4196468 140736359663584 140692334209936 140692442756821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8945664 140736359672560 140736359675077 140736359675077 140736359677903 0
[pid=352/tid=409] ppid=349 vsize=10846984 memory=382148 CPUtime=12.04 cores=1,3,5,7
/proc/352/task/409/stat : 409 (java) S 349 352 29438 0 -1 1077944384 11537 13253 0 0 1155 42 5 2 20 0 15 0 415603440 11107311616 95571 33554432000 4194304 4196468 140736359663584 140692333157136 140692442756821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8945664 140736359672560 140736359675077 140736359675077 140736359677903 0
[pid=352/tid=410] ppid=349 vsize=10846984 memory=382096 CPUtime=7.39 cores=1,3,5,7
/proc/352/task/410/stat : 410 (java) S 349 352 29438 0 -1 1077944384 12234 13253 0 0 678 54 5 2 20 0 15 0 415603442 11107311616 95571 33554432000 4194304 4196468 140736359663584 140691901462896 140692442757762 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8945664 140736359672560 140736359675077 140736359675077 140736359677903 0
[pid=352/tid=411] ppid=349 vsize=10846984 memory=382284 CPUtime=0.07 cores=1,3,5,7
/proc/352/task/411/stat : 411 (java) S 349 352 29438 0 -1 1077944384 43 13253 0 0 0 0 5 2 20 0 15 0 415603442 11107311616 95571 33554432000 4194304 4196468 140736359663584 140691900408992 140692442756821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8945664 140736359672560 140736359675077 140736359675077 140736359677903 0
[pid=352/tid=412] ppid=349 vsize=10846984 memory=382284 CPUtime=0.07 cores=1,3,5,7
/proc/352/task/412/stat : 412 (java) S 349 352 29438 0 -1 1077944384 17 13253 0 0 0 0 5 2 20 0 15 0 415603442 11107311616 95571 33554432000 4194304 4196468 140736359663584 140691787211648 140692442756821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8945664 140736359672560 140736359675077 140736359675077 140736359677903 0
[pid=352/tid=413] ppid=349 vsize=10846984 memory=382284 CPUtime=0.07 cores=1,3,5,7
/proc/352/task/413/stat : 413 (java) S 349 352 29438 0 -1 1077944384 2 13253 0 0 0 0 5 2 20 0 15 0 415603445 11107311616 95571 33554432000 4194304 4196468 140736359663584 140691183232848 140692442765211 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8945664 140736359672560 140736359675077 140736359675077 140736359677903 0
[pid=352/tid=415] ppid=349 vsize=10846984 memory=382284 CPUtime=7.68 cores=1,3,5,7
/proc/352/task/415/stat : 415 (java) S 349 352 29438 0 -1 1077944384 33705 13253 0 0 758 3 5 2 20 0 15 0 415603445 11107311616 95571 33554432000 4194304 4196468 140736359663584 140691866852208 140692442757762 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8945664 140736359672560 140736359675077 140736359675077 140736359677903 0
[pid=352/tid=416] ppid=349 vsize=10846984 memory=7172 CPUtime=6.82 cores=1,3,5,7
/proc/352/task/416/stat : 416 (java) S 349 352 29438 0 -1 1077944384 25649 13253 0 0 671 4 5 2 20 0 15 0 415603445 11107311616 95571 33554432000 4194304 4196468 140736359663584 140691865799408 140692442757762 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8945664 140736359672560 140736359675077 140736359675077 140736359677903 0
[pid=352/tid=417] ppid=349 vsize=10846984 memory=382284 CPUtime=2.42 cores=1,3,5,7
/proc/352/task/417/stat : 417 (java) S 349 352 29438 0 -1 1077944384 17911 13253 0 0 230 5 5 2 20 0 15 0 415603445 11107311616 95571 33554432000 4194304 4196468 140736359663584 140691864746608 140692442757762 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8945664 140736359672560 140736359675077 140736359675077 140736359677903 0
[pid=352/tid=418] ppid=349 vsize=10846984 memory=382284 CPUtime=0.07 cores=1,3,5,7
/proc/352/task/418/stat : 418 (java) S 349 352 29438 0 -1 1077944384 3 13253 0 0 0 0 5 2 20 0 15 0 415603445 11107311616 95571 33554432000 4194304 4196468 140736359663584 140690713471712 140692442756821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8945664 140736359672560 140736359675077 140736359675077 140736359677903 0
[pid=352/tid=419] ppid=349 vsize=10846984 memory=382284 CPUtime=1.49 cores=1,3,5,7
/proc/352/task/419/stat : 419 (java) S 349 352 29438 0 -1 1077944384 1075 13253 0 0 68 74 5 2 20 0 15 0 415603446 11107311616 95571 33554432000 4194304 4196468 140736359663584 140691863694000 140692442757762 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8945664 140736359672560 140736359675077 140736359675077 140736359677903 0
Current children cumulated CPU time: 2520.06 s
Current children cumulated vsize: 10846984 KiB
Current children cumulated memory: 382284 KiB

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

[startup+2467.73 s]
# the end of solver process 352 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2516.81 s, system=3.30794 s

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

[startup+2467.7 s]
/proc/loadavg: 1.28 1.40 1.40 3/228 831
/proc/meminfo: memFree=23248076/32770624 swapFree=67108848/67108860
[pid=352] ppid=349 vsize=10846984 memory=382284 CPUtime=2520.06 cores=1,3,5,7
/proc/352/stat : 352 (java) S 349 352 29438 0 -1 1077944320 207356 13253 0 0 251672 327 5 2 20 0 15 0 415603431 11107311616 95571 33554432000 4194304 4196468 140736359663584 140736359646128 140692442746615 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 8945664 140736359672560 140736359675077 140736359675077 140736359677903 0
/proc/352/statm: 2711746 95571 3633 1 0 2673805 0
[pid=352/tid=405] ppid=349 vsize=10846984 memory=2352 CPUtime=2446.44 cores=1,3,5,7
/proc/352/task/405/stat : 405 (java) R 349 352 29438 0 -1 4202560 66189 13253 0 0 244589 48 5 2 20 0 15 0 415603440 11107311616 95571 33554432000 4194304 4196468 140736359663584 140692414582080 140692019510596 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8945664 140736359672560 140736359675077 140736359675077 140736359677903 0
[pid=352/tid=406] ppid=349 vsize=10846984 memory=382284 CPUtime=12.14 cores=1,3,5,7
/proc/352/task/406/stat : 406 (java) S 349 352 29438 0 -1 1077944384 11893 13253 0 0 1164 43 5 2 20 0 15 0 415603440 11107311616 95571 33554432000 4194304 4196468 140736359663584 140692446989456 140692442756821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8945664 140736359672560 140736359675077 140736359675077 140736359677903 0
[pid=352/tid=407] ppid=349 vsize=10846984 memory=382284 CPUtime=12.04 cores=1,3,5,7
/proc/352/task/407/stat : 407 (java) S 349 352 29438 0 -1 1077944384 9751 13253 0 0 1154 43 5 2 20 0 15 0 415603440 11107311616 95571 33554432000 4194304 4196468 140736359663584 140692335262736 140692442756821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8945664 140736359672560 140736359675077 140736359675077 140736359677903 0
[pid=352/tid=408] ppid=349 vsize=10846984 memory=382284 CPUtime=12.11 cores=1,3,5,7
/proc/352/task/408/stat : 408 (java) S 349 352 29438 0 -1 1077944384 15141 13253 0 0 1160 44 5 2 20 0 15 0 415603440 11107311616 95571 33554432000 4194304 4196468 140736359663584 140692334209936 140692442756821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8945664 140736359672560 140736359675077 140736359675077 140736359677903 0
[pid=352/tid=409] ppid=349 vsize=10846984 memory=382148 CPUtime=12.04 cores=1,3,5,7
/proc/352/task/409/stat : 409 (java) S 349 352 29438 0 -1 1077944384 11537 13253 0 0 1155 42 5 2 20 0 15 0 415603440 11107311616 95571 33554432000 4194304 4196468 140736359663584 140692333157136 140692442756821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8945664 140736359672560 140736359675077 140736359675077 140736359677903 0
[pid=352/tid=410] ppid=349 vsize=10846984 memory=382096 CPUtime=7.39 cores=1,3,5,7
/proc/352/task/410/stat : 410 (java) S 349 352 29438 0 -1 1077944384 12234 13253 0 0 678 54 5 2 20 0 15 0 415603442 11107311616 95571 33554432000 4194304 4196468 140736359663584 140691901462896 140692442757762 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8945664 140736359672560 140736359675077 140736359675077 140736359677903 0
[pid=352/tid=411] ppid=349 vsize=10846984 memory=382284 CPUtime=0.07 cores=1,3,5,7
/proc/352/task/411/stat : 411 (java) S 349 352 29438 0 -1 1077944384 43 13253 0 0 0 0 5 2 20 0 15 0 415603442 11107311616 95571 33554432000 4194304 4196468 140736359663584 140691900408992 140692442756821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8945664 140736359672560 140736359675077 140736359675077 140736359677903 0
[pid=352/tid=412] ppid=349 vsize=10846984 memory=382284 CPUtime=0.07 cores=1,3,5,7
/proc/352/task/412/stat : 412 (java) S 349 352 29438 0 -1 1077944384 17 13253 0 0 0 0 5 2 20 0 15 0 415603442 11107311616 95571 33554432000 4194304 4196468 140736359663584 140691787211648 140692442756821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8945664 140736359672560 140736359675077 140736359675077 140736359677903 0
[pid=352/tid=413] ppid=349 vsize=10846984 memory=382284 CPUtime=0.07 cores=1,3,5,7
/proc/352/task/413/stat : 413 (java) S 349 352 29438 0 -1 1077944384 2 13253 0 0 0 0 5 2 20 0 15 0 415603445 11107311616 95571 33554432000 4194304 4196468 140736359663584 140691183232848 140692442765211 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8945664 140736359672560 140736359675077 140736359675077 140736359677903 0
[pid=352/tid=415] ppid=349 vsize=10846984 memory=382284 CPUtime=7.68 cores=1,3,5,7
/proc/352/task/415/stat : 415 (java) S 349 352 29438 0 -1 1077944384 33705 13253 0 0 758 3 5 2 20 0 15 0 415603445 11107311616 95571 33554432000 4194304 4196468 140736359663584 140691866852208 140692442757762 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8945664 140736359672560 140736359675077 140736359675077 140736359677903 0
[pid=352/tid=416] ppid=349 vsize=10846984 memory=7172 CPUtime=6.82 cores=1,3,5,7
/proc/352/task/416/stat : 416 (java) S 349 352 29438 0 -1 1077944384 25649 13253 0 0 671 4 5 2 20 0 15 0 415603445 11107311616 95571 33554432000 4194304 4196468 140736359663584 140691865799408 140692442757762 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8945664 140736359672560 140736359675077 140736359675077 140736359677903 0
[pid=352/tid=417] ppid=349 vsize=10846984 memory=382284 CPUtime=2.42 cores=1,3,5,7
/proc/352/task/417/stat : 417 (java) S 349 352 29438 0 -1 1077944384 17911 13253 0 0 230 5 5 2 20 0 15 0 415603445 11107311616 95571 33554432000 4194304 4196468 140736359663584 140691864746608 140692442757762 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8945664 140736359672560 140736359675077 140736359675077 140736359677903 0
[pid=352/tid=418] ppid=349 vsize=10846984 memory=382284 CPUtime=0.07 cores=1,3,5,7
/proc/352/task/418/stat : 418 (java) S 349 352 29438 0 -1 1077944384 3 13253 0 0 0 0 5 2 20 0 15 0 415603445 11107311616 95571 33554432000 4194304 4196468 140736359663584 140690713471712 140692442756821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8945664 140736359672560 140736359675077 140736359675077 140736359677903 0
[pid=352/tid=419] ppid=349 vsize=10846984 memory=382284 CPUtime=1.49 cores=1,3,5,7
/proc/352/task/419/stat : 419 (java) S 349 352 29438 0 -1 1077944384 1075 13253 0 0 68 74 5 2 20 0 15 0 415603446 11107311616 95571 33554432000 4194304 4196468 140736359663584 140691863694000 140692442757762 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8945664 140736359672560 140736359675077 140736359675077 140736359677903 0
Current children cumulated CPU time: 2520.06 s
Current children cumulated vsize: 10846984 KiB
Current children cumulated memory: 382284 KiB

Child status: 143
Real time (s): 2467.73
CPU time (s): 2520.12
CPU user time (s): 2516.81
CPU system time (s): 3.30794
CPU usage (%): 102.123
Max. virtual memory (cumulated for all children) (KiB): 10846984
Max. memory (cumulated for all children) (KiB): 1328824

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.81
system time used= 3.30794
maximum resident set size= 1330900
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 221295
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2992
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 210890
involuntary context switches= 5479


# summary of solver processes directly reported to runsolver:
#   pid: 352
#   total CPU time (s): 2520.12
#   total CPU user time (s): 2516.81
#   total CPU system time (s): 3.30794

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.5844 second user time and 23.4217 second system time

The end

Launcher Data 

Begin job on node143 at 2019-09-13 19:43:39
IDJOB=4396010
IDBENCH=124081
IDSOLVER=2846
FILE ID=node143/4396010-1568396660
RUNJOBID= node143-1568393275-31994
PBS_JOBID= 21701827
Free space on /tmp= 59240 MiB

SOLVER NAME= Concrete 3.12.2
BENCH NAME= XCSP17/Bibd/Bibd-sum-open/Bibd-sum-22-033-12-08-04.xml
COMMAND LINE= bin/xcsp-3-concrete -J-Xss32M -randomseed=RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4396010-1568396660/watcher-4396010-1568396660 -o /tmp/evaluation-result-4396010-1568396660/solver-4396010-1568396660 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node143-1568393275-31994 --watchdog 2580  bin/xcsp-3-concrete -J-Xss32M -randomseed=763920325 HOME/instance-4396010-1568396660.xml

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

MD5SUM BENCH= f3f766a62b1d9930afd3b37b1c8667ba
RANDOM SEED=763920325

node143.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.73
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.73
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.73
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.73
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:        23816340 kB
MemAvailable:   31293324 kB
Buffers:          188716 kB
Cached:          7578564 kB
SwapCached:            8 kB
Active:          2641100 kB
Inactive:        5638700 kB
Active(anon):     465920 kB
Inactive(anon):   145844 kB
Active(file):    2175180 kB
Inactive(file):  5492856 kB
Unevictable:      106456 kB
Mlocked:          106456 kB
SwapTotal:      67108860 kB
SwapFree:       67108848 kB
Dirty:             35456 kB
Writeback:             0 kB
AnonPages:        631152 kB
Mapped:            62136 kB
Shmem:             90756 kB
Slab:             267008 kB
SReclaimable:     237408 kB
SUnreclaim:        29600 kB
KernelStack:        4000 kB
PageTables:         9184 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1533048 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    493568 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= 59204 MiB
End job on node143 at 2019-09-13 20:24:47