Trace number 4246945

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
R1: Concrete 3.4? (TO) 2414.53 2298.48

General information on the benchmark

NameSocialGolfers/SocialGolfers-xcsp2-s1/
SocialGolfers-08-4-8_X2.xml
MD5SUM5b948440152400779ab8a0c6bf9e55ba
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 variables6016
Number of constraints32560
Number of domains1
Minimum domain size2
Maximum domain size2
Distribution of domain sizes[{"size":2,"count":6016}]
Minimum variable degree9
Maximum variable degree33
Distribution of variable degrees[{"degree":9,"count":3968},{"degree":33,"count":2048}]
Minimum constraint arity3
Maximum constraint arity32
Distribution of constraint arities[{"arity":3,"count":31744},{"arity":8,"count":752},{"arity":32,"count":64}]
Number of extensional constraints0
Number of intensional constraints31744
Distribution of constraint types[{"type":"intension","count":31744},{"type":"sum","count":816}]
Optimization problemNO
Type of objective

Solver Data 

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

Verifier Data


Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4246945-1500721315/watcher-4246945-1500721315 -o /tmp/evaluation-result-4246945-1500721315/solver-4246945-1500721315 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node129-1500716625-14915 --watchdog 2560 bin/concrete HOME/instance-4246945-1500721315.xml 

pid=16045
running on 8 cores: 1,3,5,7,9,11,13,15

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


[startup+0 s]
/proc/loadavg: 2.19 1.64 1.55 4/262 16048
/proc/meminfo: memFree=29743028/32770624 swapFree=5780/154132
[pid=16048] ppid=16045 vsize=9508 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/16048/stat : 16048 (bash) S 16045 16048 14883 0 -1 4202496 685 1534 0 0 0 0 0 0 20 0 1 0 7398870 9736192 350 33554432000 4194304 5098028 140731247873472 140731247871112 140358829759488 0 0 4100 65536 18446744071580971376 0 0 17 11 0 0 0 0 0 7196144 7232144 39682048 140731247879438 140731247879523 140731247879523 140731247882222 0
/proc/16048/statm: 2377 350 277 221 0 86 0

[startup+0.100063 s]
/proc/loadavg: 2.19 1.64 1.55 4/262 16048
/proc/meminfo: memFree=29743028/32770624 swapFree=5780/154132
[pid=16048] ppid=16045 vsize=9640 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/16048/stat : 16048 (bash) S 16045 16048 14883 0 -1 4202496 879 6422 0 0 0 0 0 1 20 0 1 0 7398870 9871360 378 33554432000 4194304 5098028 140731247873472 140731247867480 140358829759488 0 0 4100 65536 18446744071580971376 0 0 17 11 0 0 0 0 0 7196144 7232144 39682048 140731247879438 140731247879523 140731247879523 140731247882222 0
/proc/16048/statm: 2410 378 296 221 0 119 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9640

[startup+0.200354 s]
/proc/loadavg: 2.19 1.64 1.55 4/262 16048
/proc/meminfo: memFree=29743028/32770624 swapFree=5780/154132
[pid=16048] ppid=16045 vsize=10901808 CPUtime=0.19 cores=1,3,5,7,9,11,13,15
/proc/16048/stat : 16048 (java) S 16045 16048 14883 0 -1 1077944320 5370 12599 0 0 8 1 6 4 20 0 20 0 7398870 11163451392 5636 33554432000 4194304 4196468 140729326581104 140729326563648 140655430737655 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 23588864 140729326582465 140729326585239 140729326585239 140729326587855 0
/proc/16048/statm: 2725452 5636 2584 1 0 2713890 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 10901808

[startup+0.300325 s]
/proc/loadavg: 2.19 1.64 1.55 4/262 16048
/proc/meminfo: memFree=29743028/32770624 swapFree=5780/154132
[pid=16048] ppid=16045 vsize=10902392 CPUtime=0.36 cores=1,3,5,7,9,11,13,15
/proc/16048/stat : 16048 (java) S 16045 16048 14883 0 -1 1077944320 9245 12599 0 0 24 2 6 4 20 0 20 0 7398870 11164049408 10836 33554432000 4194304 4196468 140729326581104 140729326563648 140655430737655 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 23588864 140729326582465 140729326585239 140729326585239 140729326587855 0
/proc/16048/statm: 2725598 10836 2981 1 0 2713890 0
Current children cumulated CPU time (s) 0.36
Current children cumulated vsize (KiB) 10902392

[startup+0.700204 s]
/proc/loadavg: 2.19 1.64 1.55 4/262 16048
/proc/meminfo: memFree=29743028/32770624 swapFree=5780/154132
[pid=16048] ppid=16045 vsize=10902720 CPUtime=1.02 cores=1,3,5,7,9,11,13,15
/proc/16048/stat : 16048 (java) S 16045 16048 14883 0 -1 1077944320 12685 12599 0 0 88 4 6 4 20 0 20 0 7398870 11164385280 16524 33554432000 4194304 4196468 140729326581104 140729326563648 140655430737655 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 23588864 140729326582465 140729326585239 140729326585239 140729326587855 0
/proc/16048/statm: 2725680 16524 3229 1 0 2713890 0
Current children cumulated CPU time (s) 1.02
Current children cumulated vsize (KiB) 10902720

[startup+1.50117 s]
/proc/loadavg: 2.41 1.70 1.57 8/282 16121
/proc/meminfo: memFree=29602468/32770624 swapFree=5780/154136
[pid=16048] ppid=16045 vsize=10915392 CPUtime=2.34 cores=1,3,5,7,9,11,13,15
/proc/16048/stat : 16048 (java) S 16045 16048 14883 0 -1 1077944320 26720 12599 0 0 211 13 6 4 20 0 20 0 7398870 11177361408 44490 33554432000 4194304 4196468 140729326581104 140729326563648 140655430737655 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 23588864 140729326582465 140729326585239 140729326585239 140729326587855 0
/proc/16048/statm: 2728848 44490 3413 1 0 2716962 0
[pid=16048/tid=16103] ppid=16045 vsize=10915392 CPUtime=1.43 cores=1,3,5,7,9,11,13,15
/proc/16048/task/16103/stat : 16103 (java) R 16045 16048 14883 0 -1 4202560 18952 12599 0 0 128 5 6 4 20 0 20 0 7398881 11177361408 44490 33554432000 4194304 4196468 140729326581104 140655434969784 140655414818142 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23588864 140729326582465 140729326585239 140729326585239 140729326587855 0
[pid=16048/tid=16104] ppid=16045 vsize=10915392 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/16048/task/16104/stat : 16104 (java) S 16045 16048 14883 0 -1 1077944384 41 12599 0 0 0 0 6 4 20 0 20 0 7398882 11177361408 44490 33554432000 4194304 4196468 140729326581104 140655356812432 140655430747861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23588864 140729326582465 140729326585239 140729326585239 140729326587855 0
[pid=16048/tid=16105] ppid=16045 vsize=10915392 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/16048/task/16105/stat : 16105 (java) S 16045 16048 14883 0 -1 1077944384 30 12599 0 0 1 0 6 4 20 0 20 0 7398882 11177361408 44490 33554432000 4194304 4196468 140729326581104 140655355759632 140655430747861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23588864 140729326582465 140729326585239 140729326585239 140729326587855 0
[pid=16048/tid=16106] ppid=16045 vsize=10915392 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/16048/task/16106/stat : 16106 (java) S 16045 16048 14883 0 -1 1077944384 19 12599 0 0 0 0 6 4 20 0 20 0 7398882 11177361408 44490 33554432000 4194304 4196468 140729326581104 140655354706832 140655430747861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23588864 140729326582465 140729326585239 140729326585239 140729326587855 0
[pid=16048/tid=16107] ppid=16045 vsize=10915392 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/16048/task/16107/stat : 16107 (java) S 16045 16048 14883 0 -1 1077944384 132 12599 0 0 1 0 6 4 20 0 20 0 7398882 11177361408 44490 33554432000 4194304 4196468 140729326581104 140655353654032 140655430747861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23588864 140729326582465 140729326585239 140729326585239 140729326587855 0
[pid=16048/tid=16108] ppid=16045 vsize=10915392 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/16048/task/16108/stat : 16108 (java) S 16045 16048 14883 0 -1 1077944384 20 12599 0 0 1 0 6 4 20 0 20 0 7398882 11177361408 44490 33554432000 4194304 4196468 140729326581104 140655352601232 140655430747861 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 23588864 140729326582465 140729326585239 140729326585239 140729326587855 0
[pid=16048/tid=16109] ppid=16045 vsize=10915392 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/16048/task/16109/stat : 16109 (java) S 16045 16048 14883 0 -1 1077944384 43 12599 0 0 1 0 6 4 20 0 20 0 7398882 11177361408 44490 33554432000 4194304 4196468 140729326581104 140655351548432 140655430747861 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 23588864 140729326582465 140729326585239 140729326585239 140729326587855 0
[pid=16048/tid=16110] ppid=16045 vsize=10915392 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/16048/task/16110/stat : 16110 (java) S 16045 16048 14883 0 -1 1077944384 27 12599 0 0 1 0 6 4 20 0 20 0 7398882 11177361408 44490 33554432000 4194304 4196468 140729326581104 140655350495632 140655430747861 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 23588864 140729326582465 140729326585239 140729326585239 140729326587855 0
[pid=16048/tid=16111] ppid=16045 vsize=10915392 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/16048/task/16111/stat : 16111 (java) S 16045 16048 14883 0 -1 1077944384 9 12599 0 0 0 0 6 4 20 0 20 0 7398882 11177361408 44490 33554432000 4194304 4196468 140729326581104 140655349442832 140655430747861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23588864 140729326582465 140729326585239 140729326585239 140729326587855 0
[pid=16048/tid=16112] ppid=16045 vsize=10915392 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/16048/task/16112/stat : 16112 (java) S 16045 16048 14883 0 -1 1077944384 1110 12599 0 0 1 0 6 4 20 0 20 0 7398884 11177361408 44490 33554432000 4194304 4196468 140729326581104 140654905293680 140655430748802 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23588864 140729326582465 140729326585239 140729326585239 140729326587855 0
[pid=16048/tid=16113] ppid=16045 vsize=10915392 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/16048/task/16113/stat : 16113 (java) S 16045 16048 14883 0 -1 1077944384 57 12599 0 0 0 0 6 4 20 0 20 0 7398885 11177361408 44490 33554432000 4194304 4196468 140729326581104 140654904239648 140655430747861 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 23588864 140729326582465 140729326585239 140729326585239 140729326587855 0
[pid=16048/tid=16114] ppid=16045 vsize=10915392 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/16048/task/16114/stat : 16114 (java) S 16045 16048 14883 0 -1 1077944384 44 12599 0 0 0 0 6 4 20 0 20 0 7398885 11177361408 44490 33554432000 4194304 4196468 140729326581104 140654903186800 140655430747861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23588864 140729326582465 140729326585239 140729326585239 140729326587855 0
[pid=16048/tid=16115] ppid=16045 vsize=10915392 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/16048/task/16115/stat : 16115 (java) S 16045 16048 14883 0 -1 1077944384 1 12599 0 0 0 0 6 4 20 0 20 0 7398889 11177361408 44490 33554432000 4194304 4196468 140729326581104 140654902135120 140655430756251 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 23588864 140729326582465 140729326585239 140729326585239 140729326587855 0
[pid=16048/tid=16116] ppid=16045 vsize=10915392 CPUtime=0.22 cores=1,3,5,7,9,11,13,15
/proc/16048/task/16116/stat : 16116 (java) S 16045 16048 14883 0 -1 1077944384 908 12599 0 0 12 0 6 4 20 0 20 0 7398889 11177361408 44490 33554432000 4194304 4196468 140729326581104 140654901082480 140655430748802 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 23588864 140729326582465 140729326585239 140729326585239 140729326587855 0
[pid=16048/tid=16117] ppid=16045 vsize=10915392 CPUtime=0.25 cores=1,3,5,7,9,11,13,15
/proc/16048/task/16117/stat : 16117 (java) S 16045 16048 14883 0 -1 1077944384 1257 12599 0 0 15 0 6 4 20 0 20 0 7398889 11177361408 44490 33554432000 4194304 4196468 140729326581104 140654900029680 140655430748802 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23588864 140729326582465 140729326585239 140729326585239 140729326587855 0
[pid=16048/tid=16118] ppid=16045 vsize=10915392 CPUtime=0.24 cores=1,3,5,7,9,11,13,15
/proc/16048/task/16118/stat : 16118 (java) S 16045 16048 14883 0 -1 1077944384 581 12599 0 0 14 0 6 4 20 0 20 0 7398889 11177361408 44490 33554432000 4194304 4196468 140729326581104 140654898976880 140655430748802 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23588864 140729326582465 140729326585239 140729326585239 140729326587855 0
[pid=16048/tid=16119] ppid=16045 vsize=10915392 CPUtime=0.39 cores=1,3,5,7,9,11,13,15
/proc/16048/task/16119/stat : 16119 (java) R 16045 16048 14883 0 -1 4202560 1353 12599 0 0 29 0 6 4 20 0 20 0 7398889 11177361408 44490 33554432000 4194304 4196468 140729326581104 140654897921016 140655416105799 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23588864 140729326582465 140729326585239 140729326585239 140729326587855 0
[pid=16048/tid=16120] ppid=16045 vsize=10915392 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/16048/task/16120/stat : 16120 (java) S 16045 16048 14883 0 -1 1077944384 3 12599 0 0 0 0 6 4 20 0 20 0 7398890 11177361408 44490 33554432000 4194304 4196468 140729326581104 140654896872544 140655430747861 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 23588864 140729326582465 140729326585239 140729326585239 140729326587855 0
[pid=16048/tid=16121] ppid=16045 vsize=10915392 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/16048/task/16121/stat : 16121 (java) S 16045 16048 14883 0 -1 1077944384 6 12599 0 0 0 0 6 4 20 0 20 0 7398890 11177361408 44490 33554432000 4194304 4196468 140729326581104 140654895819824 140655430748802 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23588864 140729326582465 140729326585239 140729326585239 140729326587855 0
Current children cumulated CPU time (s) 2.34
Current children cumulated vsize (KiB) 10915392

[startup+3.1011 s]
/proc/loadavg: 2.41 1.70 1.57 7/282 16121
/proc/meminfo: memFree=29530608/32770624 swapFree=5780/154140
[pid=16048] ppid=16045 vsize=10923772 CPUtime=7.64 cores=1,3,5,7,9,11,13,15
/proc/16048/stat : 16048 (java) S 16045 16048 14883 0 -1 1077944320 42171 12599 0 0 726 28 6 4 20 0 20 0 7398870 11185942528 76591 33554432000 4194304 4196468 140729326581104 140729326563648 140655430737655 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 23588864 140729326582465 140729326585239 140729326585239 140729326587855 0
/proc/16048/statm: 2730943 76591 3488 1 0 2718498 0
[pid=16048/tid=16103] ppid=16045 vsize=10923772 CPUtime=2.97 cores=1,3,5,7,9,11,13,15
/proc/16048/task/16103/stat : 16103 (java) R 16045 16048 14883 0 -1 4202560 24052 12599 0 0 279 8 6 4 20 0 20 0 7398881 11185942528 76591 33554432000 4194304 4196468 140729326581104 140655434968416 140655430749590 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23588864 140729326582465 140729326585239 140729326585239 140729326587855 0
[pid=16048/tid=16104] ppid=16045 vsize=10923772 CPUtime=0.14 cores=1,3,5,7,9,11,13,15
/proc/16048/task/16104/stat : 16104 (java) S 16045 16048 14883 0 -1 1077944384 53 12599 0 0 3 1 6 4 20 0 20 0 7398882 11185942528 76591 33554432000 4194304 4196468 140729326581104 140655356812432 140655430747861 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 23588864 140729326582465 140729326585239 140729326585239 140729326587855 0
[pid=16048/tid=16105] ppid=16045 vsize=10923772 CPUtime=0.15 cores=1,3,5,7,9,11,13,15
/proc/16048/task/16105/stat : 16105 (java) S 16045 16048 14883 0 -1 1077944384 77 12599 0 0 4 1 6 4 20 0 20 0 7398882 11185942528 76591 33554432000 4194304 4196468 140729326581104 140655355759632 140655430747861 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 23588864 140729326582465 140729326585239 140729326585239 140729326587855 0
[pid=16048/tid=16106] ppid=16045 vsize=10923772 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/16048/task/16106/stat : 16106 (java) S 16045 16048 14883 0 -1 1077944384 49 12599 0 0 2 1 6 4 20 0 20 0 7398882 11185942528 76591 33554432000 4194304 4196468 140729326581104 140655354706832 140655430747861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23588864 140729326582465 140729326585239 140729326585239 140729326587855 0
[pid=16048/tid=16107] ppid=16045 vsize=10923772 CPUtime=0.14 cores=1,3,5,7,9,11,13,15
/proc/16048/task/16107/stat : 16107 (java) S 16045 16048 14883 0 -1 1077944384 155 12599 0 0 3 1 6 4 20 0 20 0 7398882 11185942528 76591 33554432000 4194304 4196468 140729326581104 140655353654032 140655430747861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23588864 140729326582465 140729326585239 140729326585239 140729326587855 0
[pid=16048/tid=16108] ppid=16045 vsize=10923772 CPUtime=0.15 cores=1,3,5,7,9,11,13,15
/proc/16048/task/16108/stat : 16108 (java) S 16045 16048 14883 0 -1 1077944384 190 12599 0 0 3 2 6 4 20 0 20 0 7398882 11185942528 76591 33554432000 4194304 4196468 140729326581104 140655352601232 140655430747861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23588864 140729326582465 140729326585239 140729326585239 140729326587855 0
[pid=16048/tid=16109] ppid=16045 vsize=10923772 CPUtime=0.15 cores=1,3,5,7,9,11,13,15
/proc/16048/task/16109/stat : 16109 (java) S 16045 16048 14883 0 -1 1077944384 114 12599 0 0 3 2 6 4 20 0 20 0 7398882 11185942528 76591 33554432000 4194304 4196468 140729326581104 140655351548432 140655430747861 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 23588864 140729326582465 140729326585239 140729326585239 140729326587855 0
[pid=16048/tid=16110] ppid=16045 vsize=10923772 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/16048/task/16110/stat : 16110 (java) S 16045 16048 14883 0 -1 1077944384 52 12599 0 0 2 1 6 4 20 0 20 0 7398882 11185942528 76591 33554432000 4194304 4196468 140729326581104 140655350495632 140655430747861 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 23588864 140729326582465 140729326585239 140729326585239 140729326587855 0
[pid=16048/tid=16111] ppid=16045 vsize=10923772 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/16048/task/16111/stat : 16111 (java) S 16045 16048 14883 0 -1 1077944384 49 12599 0 0 2 1 6 4 20 0 20 0 7398882 11185942528 76591 33554432000 4194304 4196468 140729326581104 140655349442832 140655430747861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23588864 140729326582465 140729326585239 140729326585239 140729326587855 0
[pid=16048/tid=16112] ppid=16045 vsize=10923772 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/16048/task/16112/stat : 16112 (java) S 16045 16048 14883 0 -1 1077944384 1380 12599 0 0 1 0 6 4 20 0 20 0 7398884 11185942528 76591 33554432000 4194304 4196468 140729326581104 140654905293680 140655430748802 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23588864 140729326582465 140729326585239 140729326585239 140729326587855 0
[pid=16048/tid=16113] ppid=16045 vsize=10923772 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/16048/task/16113/stat : 16113 (java) S 16045 16048 14883 0 -1 1077944384 57 12599 0 0 0 0 6 4 20 0 20 0 7398885 11185942528 76591 33554432000 4194304 4196468 140729326581104 140654904239712 140655430747861 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 23588864 140729326582465 140729326585239 140729326585239 140729326587855 0
[pid=16048/tid=16114] ppid=16045 vsize=10923772 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/16048/task/16114/stat : 16114 (java) S 16045 16048 14883 0 -1 1077944384 44 12599 0 0 0 0 6 4 20 0 20 0 7398885 11185942528 76591 33554432000 4194304 4196468 140729326581104 140654903186816 140655430747861 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 23588864 140729326582465 140729326585239 140729326585239 140729326587855 0
[pid=16048/tid=16115] ppid=16045 vsize=10923772 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/16048/task/16115/stat : 16115 (java) S 16045 16048 14883 0 -1 1077944384 1 12599 0 0 0 0 6 4 20 0 20 0 7398889 11185942528 76591 33554432000 4194304 4196468 140729326581104 140654902135120 140655430756251 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 23588864 140729326582465 140729326585239 140729326585239 140729326587855 0
[pid=16048/tid=16116] ppid=16045 vsize=10923772 CPUtime=1.17 cores=1,3,5,7,9,11,13,15
/proc/16048/task/16116/stat : 16116 (java) S 16045 16048 14883 0 -1 1077944384 3345 12599 0 0 106 1 6 4 20 0 20 0 7398889 11185942528 76591 33554432000 4194304 4196468 140729326581104 140654901082480 140655430748802 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23588864 140729326582465 140729326585239 140729326585239 140729326587855 0
[pid=16048/tid=16117] ppid=16045 vsize=10923772 CPUtime=1.25 cores=1,3,5,7,9,11,13,15
/proc/16048/task/16117/stat : 16117 (java) R 16045 16048 14883 0 -1 4202560 4792 12599 0 0 114 1 6 4 20 0 20 0 7398889 11185942528 76591 33554432000 4194304 4196468 140729326581104 140654900016064 140655409976139 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23588864 140729326582465 140729326585239 140729326585239 140729326587855 0
[pid=16048/tid=16118] ppid=16045 vsize=10923772 CPUtime=1.12 cores=1,3,5,7,9,11,13,15
/proc/16048/task/16118/stat : 16118 (java) S 16045 16048 14883 0 -1 1077944384 2287 12599 0 0 101 1 6 4 20 0 20 0 7398889 11185942528 76591 33554432000 4194304 4196468 140729326581104 140654898976880 140655430748802 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 23588864 140729326582465 140729326585239 140729326585239 140729326587855 0
[pid=16048/tid=16119] ppid=16045 vsize=10923772 CPUtime=1.07 cores=1,3,5,7,9,11,13,15
/proc/16048/task/16119/stat : 16119 (java) R 16045 16048 14883 0 -1 4202560 3335 12599 0 0 96 1 6 4 20 0 20 0 7398889 11185942528 76591 33554432000 4194304 4196468 140729326581104 140654897923776 140655415051228 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 23588864 140729326582465 140729326585239 140729326585239 140729326587855 0
[pid=16048/tid=16120] ppid=16045 vsize=10923772 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/16048/task/16120/stat : 16120 (java) S 16045 16048 14883 0 -1 1077944384 3 12599 0 0 0 0 6 4 20 0 20 0 7398890 11185942528 76591 33554432000 4194304 4196468 140729326581104 140654896872544 140655430747861 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 23588864 140729326582465 140729326585239 140729326585239 140729326587855 0
[pid=16048/tid=16121] ppid=16045 vsize=10923772 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/16048/task/16121/stat : 16121 (java) S 16045 16048 14883 0 -1 1077944384 7 12599 0 0 0 0 6 4 20 0 20 0 7398890 11185942528 76591 33554432000 4194304 4196468 140729326581104 140654895819824 140655430748802 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23588864 140729326582465 140729326585239 140729326585239 140729326587855 0
Current children cumulated CPU time (s) 7.64
Current children cumulated vsize (KiB) 10923772

[startup+6.30078 s]
/proc/loadavg: 2.41 1.70 1.57 9/281 16156
/proc/meminfo: memFree=31071656/32770624 swapFree=5780/154140
[pid=16048] ppid=16045 vsize=10925820 CPUtime=19 cores=1,3,5,7,9,11,13,15
/proc/16048/stat : 16048 (java) S 16045 16048 14883 0 -1 1077944320 71866 12599 0 0 1794 96 6 4 20 0 20 0 7398870 11188039680 166467 33554432000 4194304 4196468 140729326581104 140729326563648 140655430737655 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 23588864 140729326582465 140729326585239 140729326585239 140729326587855 0
/proc/16048/statm: 2731455 166467 3512 1 0 2719010 0
[pid=16048/tid=16103] ppid=16045 vsize=10925820 CPUtime=5.96 cores=1,3,5,7,9,11,13,15
/proc/16048/task/16103/stat : 16103 (java) R 16045 16048 14883 0 -1 4202560 26947 12599 0 0 574 12 6 4 20 0 20 0 7398881 11188039680 166467 33554432000 4194304 4196468 140729326581104 140655434971240 140655029457003 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23588864 140729326582465 140729326585239 140729326585239 140729326587855 0
[pid=16048/tid=16104] ppid=16045 vsize=10925820 CPUtime=0.33 cores=1,3,5,7,9,11,13,15
/proc/16048/task/16104/stat : 16104 (java) S 16045 16048 14883 0 -1 1077944384 340 12599 0 0 14 9 6 4 20 0 20 0 7398882 11188039680 166467 33554432000 4194304 4196468 140729326581104 140655356812432 140655430747861 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 23588864 140729326582465 140729326585239 140729326585239 140729326587855 0
[pid=16048/tid=16105] ppid=16045 vsize=10925820 CPUtime=0.34 cores=1,3,5,7,9,11,13,15
/proc/16048/task/16105/stat : 16105 (java) S 16045 16048 14883 0 -1 1077944384 256 12599 0 0 15 9 6 4 20 0 20 0 7398882 11188039680 166467 33554432000 4194304 4196468 140729326581104 140655355759632 140655430747861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23588864 140729326582465 140729326585239 140729326585239 140729326587855 0
[pid=16048/tid=16106] ppid=16045 vsize=10925820 CPUtime=0.31 cores=1,3,5,7,9,11,13,15
/proc/16048/task/16106/stat : 16106 (java) S 16045 16048 14883 0 -1 1077944384 214 12599 0 0 13 8 6 4 20 0 20 0 7398882 11188039680 166467 33554432000 4194304 4196468 140729326581104 140655354706832 140655430747861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23588864 140729326582465 140729326585239 140729326585239 140729326587855 0
[pid=16048/tid=16107] ppid=16045 vsize=10925820 CPUtime=0.32 cores=1,3,5,7,9,11,13,15
/proc/16048/task/16107/stat : 16107 (java) S 16045 16048 14883 0 -1 1077944384 802 12599 0 0 14 8 6 4 20 0 20 0 7398882 11188039680 166467 33554432000 4194304 4196468 140729326581104 140655353654032 140655430747861 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 23588864 140729326582465 140729326585239 140729326585239 140729326587855 0
[pid=16048/tid=16108] ppid=16045 vsize=10925820 CPUtime=0.31 cores=1,3,5,7,9,11,13,15
/proc/16048/task/16108/stat : 16108 (java) S 16045 16048 14883 0 -1 1077944384 1080 12599 0 0 13 8 6 4 20 0 20 0 7398882 11188039680 166467 33554432000 4194304 4196468 140729326581104 140655352601232 140655430747861 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 23588864 140729326582465 140729326585239 140729326585239 140729326587855 0
[pid=16048/tid=16109] ppid=16045 vsize=10925820 CPUtime=0.35 cores=1,3,5,7,9,11,13,15
/proc/16048/task/16109/stat : 16109 (java) S 16045 16048 14883 0 -1 1077944384 355 12599 0 0 15 10 6 4 20 0 20 0 7398882 11188039680 166467 33554432000 4194304 4196468 140729326581104 140655351548432 140655430747861 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 23588864 140729326582465 140729326585239 140729326585239 140729326587855 0
[pid=16048/tid=16110] ppid=16045 vsize=10925820 CPUtime=0.27 cores=1,3,5,7,9,11,13,15
/proc/16048/task/16110/stat : 16110 (java) S 16045 16048 14883 0 -1 1077944384 187 12599 0 0 10 7 6 4 20 0 20 0 7398882 11188039680 166467 33554432000 4194304 4196468 140729326581104 140655350495632 140655430747861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23588864 140729326582465 140729326585239 140729326585239 140729326587855 0
[pid=16048/tid=16111] ppid=16045 vsize=10925820 CPUtime=0.32 cores=1,3,5,7,9,11,13,15
/proc/16048/task/16111/stat : 16111 (java) S 16045 16048 14883 0 -1 1077944384 467 12599 0 0 13 9 6 4 20 0 20 0 7398882 11188039680 166467 33554432000 4194304 4196468 140729326581104 140655349442832 140655430747861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23588864 140729326582465 140729326585239 140729326585239 140729326587855 0
[pid=16048/tid=16112] ppid=16045 vsize=10925820 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/16048/task/16112/stat : 16112 (java) S 16045 16048 14883 0 -1 1077944384 1839 12599 0 0 3 0 6 4 20 0 20 0 7398884 11188039680 166467 33554432000 4194304 4196468 140729326581104 140654905293680 140655430748802 0 0 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 23588864 140729326582465 140729326585239 140729326585239 140729326587855 0
[pid=16048/tid=16113] ppid=16045 vsize=10925820 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/16048/task/16113/stat : 16113 (java) S 16045 16048 14883 0 -1 1077944384 62 12599 0 0 0 0 6 4 20 0 20 0 7398885 11188039680 166467 33554432000 4194304 4196468 140729326581104 140654904239712 140655430747861 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 23588864 140729326582465 140729326585239 140729326585239 140729326587855 0
[pid=16048/tid=16114] ppid=16045 vsize=10925820 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/16048/task/16114/stat : 16114 (java) S 16045 16048 14883 0 -1 1077944384 51 12599 0 0 0 0 6 4 20 0 20 0 7398885 11188039680 166467 33554432000 4194304 4196468 140729326581104 140654903186816 140655430747861 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 23588864 140729326582465 140729326585239 140729326585239 140729326587855 0
[pid=16048/tid=16115] ppid=16045 vsize=10925820 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/16048/task/16115/stat : 16115 (java) S 16045 16048 14883 0 -1 1077944384 1 12599 0 0 0 0 6 4 20 0 20 0 7398889 11188039680 166467 33554432000 4194304 4196468 140729326581104 140654902135120 140655430756251 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 23588864 140729326582465 140729326585239 140729326585239 140729326587855 0
[pid=16048/tid=16116] ppid=16045 vsize=10925820 CPUtime=3.19 cores=1,3,5,7,9,11,13,15
/proc/16048/task/16116/stat : 16116 (java) S 16045 16048 14883 0 -1 1077944384 10284 12599 0 0 307 2 6 4 20 0 20 0 7398889 11188039680 166467 33554432000 4194304 4196468 140729326581104 140654901082480 140655430748802 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23588864 140729326582465 140729326585239 140729326585239 140729326587855 0
[pid=16048/tid=16117] ppid=16045 vsize=10925820 CPUtime=3.29 cores=1,3,5,7,9,11,13,15
/proc/16048/task/16117/stat : 16117 (java) R 16045 16048 14883 0 -1 4202560 12152 12599 0 0 317 2 6 4 20 0 20 0 7398889 11188039680 166467 33554432000 4194304 4196468 140729326581104 140654900010976 140655415861313 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 23588864 140729326582465 140729326585239 140729326585239 140729326587855 0
[pid=16048/tid=16118] ppid=16045 vsize=10925820 CPUtime=3.41 cores=1,3,5,7,9,11,13,15
/proc/16048/task/16118/stat : 16118 (java) R 16045 16048 14883 0 -1 4202560 9103 12599 0 0 329 2 6 4 20 0 20 0 7398889 11188039680 166467 33554432000 4194304 4196468 140729326581104 140654898961712 140655423841272 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23588864 140729326582465 140729326585239 140729326585239 140729326587855 0
[pid=16048/tid=16119] ppid=16045 vsize=10925820 CPUtime=1.63 cores=1,3,5,7,9,11,13,15
/proc/16048/task/16119/stat : 16119 (java) S 16045 16048 14883 0 -1 1077944384 5473 12599 0 0 151 2 6 4 20 0 20 0 7398889 11188039680 166467 33554432000 4194304 4196468 140729326581104 140654897924080 140655430748802 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 23588864 140729326582465 140729326585239 140729326585239 140729326587855 0
[pid=16048/tid=16120] ppid=16045 vsize=10925820 CPUtime=0.1 cores=1,3,5,7,9,11,13,15

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

[pid=16048/tid=16121] ppid=16045 vsize=10931964 CPUtime=1.39 cores=1,3,5,7,9,11,13,15
/proc/16048/task/16121/stat : 16121 (java) S 16045 16048 14883 0 -1 1077944384 3999 12599 0 0 57 72 6 4 20 0 20 0 7398890 11194331136 867666 33554432000 4194304 4196468 140729326581104 140654895819824 140655430748802 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23588864 140729326582465 140729326585239 140729326585239 140729326587855 0
Current children cumulated CPU time (s) 2400.05
Current children cumulated vsize (KiB) 10931964

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

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

[startup+2297.6 s]
/proc/loadavg: 1.93 1.67 1.67 10/284 16495
/proc/meminfo: memFree=27616020/32770624 swapFree=5780/155784
[pid=16048] ppid=16045 vsize=11065092 CPUtime=2408.27 cores=1,3,5,7,9,11,13,15
/proc/16048/stat : 16048 (java) S 16045 16048 14883 0 -1 1077944320 624391 12599 0 0 240103 714 6 4 20 0 22 0 7398870 11330654208 868401 33554432000 4194304 4196468 140729326581104 140729326563648 140655430737655 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 23588864 140729326582465 140729326585239 140729326585239 140729326587855 0
/proc/16048/statm: 2766273 868401 3524 1 0 2753828 0
[pid=16048/tid=16103] ppid=16045 vsize=11065092 CPUtime=2285.26 cores=1,3,5,7,9,11,13,15
/proc/16048/task/16103/stat : 16103 (java) S 16045 16048 14883 0 -1 1077944384 191749 12599 0 0 228442 74 6 4 20 0 22 0 7398881 11330654208 868401 33554432000 4194304 4196468 140729326581104 140655434975376 140655430747861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23588864 140729326582465 140729326585239 140729326585239 140729326587855 0
[pid=16048/tid=16104] ppid=16045 vsize=11065092 CPUtime=9.16 cores=1,3,5,7,9,11,13,15
/proc/16048/task/16104/stat : 16104 (java) R 16045 16048 14883 0 -1 4202560 11095 12599 0 0 841 65 6 4 20 0 22 0 7398882 11330654208 868401 33554432000 4194304 4196468 140729326581104 140655356812328 140655423365863 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23588864 140729326582465 140729326585239 140729326585239 140729326587855 0
[pid=16048/tid=16105] ppid=16045 vsize=11065092 CPUtime=9.19 cores=1,3,5,7,9,11,13,15
/proc/16048/task/16105/stat : 16105 (java) R 16045 16048 14883 0 -1 4202560 17526 12599 0 0 844 65 6 4 20 0 22 0 7398882 11330654208 868401 33554432000 4194304 4196468 140729326581104 140655355759528 140655414120690 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 23588864 140729326582465 140729326585239 140729326585239 140729326587855 0
[pid=16048/tid=16106] ppid=16045 vsize=11065092 CPUtime=9.09 cores=1,3,5,7,9,11,13,15
/proc/16048/task/16106/stat : 16106 (java) R 16045 16048 14883 0 -1 4202560 13530 12599 0 0 837 62 6 4 20 0 22 0 7398882 11330654208 868401 33554432000 4194304 4196468 140729326581104 140655354706728 140655416496472 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 23588864 140729326582465 140729326585239 140729326585239 140729326587855 0
[pid=16048/tid=16107] ppid=16045 vsize=11065092 CPUtime=9.24 cores=1,3,5,7,9,11,13,15
/proc/16048/task/16107/stat : 16107 (java) R 16045 16048 14883 0 -1 4202560 15878 12599 0 0 849 65 6 4 20 0 22 0 7398882 11330654208 868401 33554432000 4194304 4196468 140729326581104 140655353653928 140655423365863 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 23588864 140729326582465 140729326585239 140729326585239 140729326587855 0
[pid=16048/tid=16108] ppid=16045 vsize=11065092 CPUtime=9.14 cores=1,3,5,7,9,11,13,15
/proc/16048/task/16108/stat : 16108 (java) R 16045 16048 14883 0 -1 4202560 14645 12599 0 0 839 65 6 4 20 0 22 0 7398882 11330654208 868401 33554432000 4194304 4196468 140729326581104 140655352601432 140655412334113 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23588864 140729326582465 140729326585239 140729326585239 140729326587855 0
[pid=16048/tid=16109] ppid=16045 vsize=11065092 CPUtime=9.08 cores=1,3,5,7,9,11,13,15
/proc/16048/task/16109/stat : 16109 (java) R 16045 16048 14883 0 -1 4202560 11683 12599 0 0 832 66 6 4 20 0 22 0 7398882 11330654208 868401 33554432000 4194304 4196468 140729326581104 140655351548328 140655423365863 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 23588864 140729326582465 140729326585239 140729326585239 140729326587855 0
[pid=16048/tid=16110] ppid=16045 vsize=11065092 CPUtime=9 cores=1,3,5,7,9,11,13,15
/proc/16048/task/16110/stat : 16110 (java) R 16045 16048 14883 0 -1 4202560 12566 12599 0 0 827 63 6 4 20 0 22 0 7398882 11330654208 868401 33554432000 4194304 4196468 140729326581104 140655350495528 140655423365863 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23588864 140729326582465 140729326585239 140729326585239 140729326587855 0
[pid=16048/tid=16111] ppid=16045 vsize=11065092 CPUtime=9.1 cores=1,3,5,7,9,11,13,15
/proc/16048/task/16111/stat : 16111 (java) R 16045 16048 14883 0 -1 4202560 11268 12599 0 0 833 67 6 4 20 0 22 0 7398882 11330654208 868401 33554432000 4194304 4196468 140729326581104 140655349442728 140655423365863 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 23588864 140729326582465 140729326585239 140729326585239 140729326587855 0
[pid=16048/tid=16112] ppid=16045 vsize=11065092 CPUtime=1.25 cores=1,3,5,7,9,11,13,15
/proc/16048/task/16112/stat : 16112 (java) S 16045 16048 14883 0 -1 1077944384 30859 12599 0 0 101 14 6 4 20 0 22 0 7398884 11330654208 868401 33554432000 4194304 4196468 140729326581104 140654905292080 140655430747861 0 0 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 23588864 140729326582465 140729326585239 140729326585239 140729326587855 0
[pid=16048/tid=16113] ppid=16045 vsize=11065092 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/16048/task/16113/stat : 16113 (java) S 16045 16048 14883 0 -1 1077944384 68 12599 0 0 0 0 6 4 20 0 22 0 7398885 11330654208 868401 33554432000 4194304 4196468 140729326581104 140654904239680 140655430747861 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 23588864 140729326582465 140729326585239 140729326585239 140729326587855 0
[pid=16048/tid=16114] ppid=16045 vsize=11065092 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/16048/task/16114/stat : 16114 (java) S 16045 16048 14883 0 -1 1077944384 53 12599 0 0 0 0 6 4 20 0 22 0 7398885 11330654208 868401 33554432000 4194304 4196468 140729326581104 140654903186816 140655430747861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23588864 140729326582465 140729326585239 140729326585239 140729326587855 0
[pid=16048/tid=16115] ppid=16045 vsize=11065092 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/16048/task/16115/stat : 16115 (java) S 16045 16048 14883 0 -1 1077944384 80 12599 0 0 0 0 6 4 20 0 22 0 7398889 11330654208 868401 33554432000 4194304 4196468 140729326581104 140654902135120 140655430756251 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 23588864 140729326582465 140729326585239 140729326585239 140729326587855 0
[pid=16048/tid=16116] ppid=16045 vsize=11065092 CPUtime=14.55 cores=1,3,5,7,9,11,13,15
/proc/16048/task/16116/stat : 16116 (java) S 16045 16048 14883 0 -1 1077944384 68757 12599 0 0 1433 12 6 4 20 0 22 0 7398889 11330654208 868401 33554432000 4194304 4196468 140729326581104 140654901082480 140655430748802 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 23588864 140729326582465 140729326585239 140729326585239 140729326587855 0
[pid=16048/tid=16117] ppid=16045 vsize=11065092 CPUtime=13.68 cores=1,3,5,7,9,11,13,15
/proc/16048/task/16117/stat : 16117 (java) S 16045 16048 14883 0 -1 1077944384 63425 12599 0 0 1346 12 6 4 20 0 22 0 7398889 11330654208 868401 33554432000 4194304 4196468 140729326581104 140654900029680 140655430748802 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 23588864 140729326582465 140729326585239 140729326585239 140729326587855 0
[pid=16048/tid=16118] ppid=16045 vsize=11065092 CPUtime=14.86 cores=1,3,5,7,9,11,13,15
/proc/16048/task/16118/stat : 16118 (java) S 16045 16048 14883 0 -1 1077944384 76708 12599 0 0 1463 13 6 4 20 0 22 0 7398889 11330654208 868401 33554432000 4194304 4196468 140729326581104 140654898976880 140655430748802 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23588864 140729326582465 140729326585239 140729326585239 140729326587855 0
[pid=16048/tid=16119] ppid=16045 vsize=11065092 CPUtime=5.52 cores=1,3,5,7,9,11,13,15
/proc/16048/task/16119/stat : 16119 (java) S 16045 16048 14883 0 -1 1077944384 78256 12599 0 0 529 13 6 4 20 0 22 0 7398889 11330654208 868401 33554432000 4194304 4196468 140729326581104 140654897924080 140655430748802 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23588864 140729326582465 140729326585239 140729326585239 140729326587855 0
[pid=16048/tid=16120] ppid=16045 vsize=11065092 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/16048/task/16120/stat : 16120 (java) S 16045 16048 14883 0 -1 1077944384 3 12599 0 0 0 0 6 4 20 0 22 0 7398890 11330654208 868401 33554432000 4194304 4196468 140729326581104 140654896872544 140655430747861 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 23588864 140729326582465 140729326585239 140729326585239 140729326587855 0
[pid=16048/tid=16121] ppid=16045 vsize=11065092 CPUtime=1.39 cores=1,3,5,7,9,11,13,15
/proc/16048/task/16121/stat : 16121 (java) S 16045 16048 14883 0 -1 1077944384 3999 12599 0 0 57 72 6 4 20 0 22 0 7398890 11330654208 868401 33554432000 4194304 4196468 140729326581104 140654895819824 140655430748802 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 23588864 140729326582465 140729326585239 140729326585239 140729326587855 0
[pid=16048/tid=16494] ppid=16045 vsize=11065092 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/16048/task/16494/stat : 16494 (java) S 16045 16048 14883 0 -1 1077944384 85 12599 0 0 0 0 6 4 20 0 22 0 7628521 11330654208 868401 33554432000 4194304 4196468 140729326581104 140654879003248 140655430747861 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 23588864 140729326582465 140729326585239 140729326585239 140729326587855 0
[pid=16048/tid=16495] ppid=16045 vsize=11065092 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/16048/task/16495/stat : 16495 (java) S 16045 16048 14883 0 -1 1077944384 27 12599 0 0 0 0 6 4 20 0 22 0 7628521 11330654208 868401 33554432000 4194304 4196468 140729326581104 140654594127040 140655430747861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23588864 140729326582465 140729326585239 140729326585239 140729326587855 0
Current children cumulated CPU time (s) 2408.27
Current children cumulated vsize (KiB) 11065092

[startup+2298.01 s]
/proc/loadavg: 1.93 1.67 1.67 10/284 16495
/proc/meminfo: memFree=27509452/32770624 swapFree=5780/155784
[pid=16048] ppid=16045 vsize=11065092 CPUtime=2411.23 cores=1,3,5,7,9,11,13,15
/proc/16048/stat : 16048 (java) S 16045 16048 14883 0 -1 1077944320 624392 12599 0 0 240398 715 6 4 20 0 22 0 7398870 11330654208 868401 33554432000 4194304 4196468 140729326581104 140729326563648 140655430737655 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 23588864 140729326582465 140729326585239 140729326585239 140729326587855 0
/proc/16048/statm: 2766273 868401 3524 1 0 2753828 0
[pid=16048/tid=16103] ppid=16045 vsize=11065092 CPUtime=2285.26 cores=1,3,5,7,9,11,13,15
/proc/16048/task/16103/stat : 16103 (java) S 16045 16048 14883 0 -1 1077944384 191749 12599 0 0 228442 74 6 4 20 0 22 0 7398881 11330654208 868401 33554432000 4194304 4196468 140729326581104 140655434975376 140655430747861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23588864 140729326582465 140729326585239 140729326585239 140729326587855 0
[pid=16048/tid=16104] ppid=16045 vsize=11065092 CPUtime=9.54 cores=1,3,5,7,9,11,13,15
/proc/16048/task/16104/stat : 16104 (java) R 16045 16048 14883 0 -1 4202560 11095 12599 0 0 878 66 6 4 20 0 22 0 7398882 11330654208 868401 33554432000 4194304 4196468 140729326581104 140655356812320 140655412347496 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23588864 140729326582465 140729326585239 140729326585239 140729326587855 0
[pid=16048/tid=16105] ppid=16045 vsize=11065092 CPUtime=9.54 cores=1,3,5,7,9,11,13,15
/proc/16048/task/16105/stat : 16105 (java) R 16045 16048 14883 0 -1 4202560 17526 12599 0 0 879 65 6 4 20 0 22 0 7398882 11330654208 868401 33554432000 4194304 4196468 140729326581104 140655355759832 140655415195275 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 23588864 140729326582465 140729326585239 140729326585239 140729326587855 0
[pid=16048/tid=16106] ppid=16045 vsize=11065092 CPUtime=9.46 cores=1,3,5,7,9,11,13,15
/proc/16048/task/16106/stat : 16106 (java) R 16045 16048 14883 0 -1 4202560 13530 12599 0 0 874 62 6 4 20 0 22 0 7398882 11330654208 868401 33554432000 4194304 4196468 140729326581104 140655354707032 140655412347487 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 23588864 140729326582465 140729326585239 140729326585239 140729326587855 0
[pid=16048/tid=16107] ppid=16045 vsize=11065092 CPUtime=9.6 cores=1,3,5,7,9,11,13,15
/proc/16048/task/16107/stat : 16107 (java) R 16045 16048 14883 0 -1 4202560 15878 12599 0 0 885 65 6 4 20 0 22 0 7398882 11330654208 868401 33554432000 4194304 4196468 140729326581104 140655353654232 140655415436414 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 23588864 140729326582465 140729326585239 140729326585239 140729326587855 0
[pid=16048/tid=16108] ppid=16045 vsize=11065092 CPUtime=9.5 cores=1,3,5,7,9,11,13,15
/proc/16048/task/16108/stat : 16108 (java) R 16045 16048 14883 0 -1 4202560 14645 12599 0 0 875 65 6 4 20 0 22 0 7398882 11330654208 868401 33554432000 4194304 4196468 140729326581104 140655352601432 140655415734208 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23588864 140729326582465 140729326585239 140729326585239 140729326587855 0
[pid=16048/tid=16109] ppid=16045 vsize=11065092 CPUtime=9.45 cores=1,3,5,7,9,11,13,15
/proc/16048/task/16109/stat : 16109 (java) R 16045 16048 14883 0 -1 4202560 11683 12599 0 0 869 66 6 4 20 0 22 0 7398882 11330654208 868401 33554432000 4194304 4196468 140729326581104 140655351548632 140655415436469 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 23588864 140729326582465 140729326585239 140729326585239 140729326587855 0
[pid=16048/tid=16110] ppid=16045 vsize=11065092 CPUtime=9.37 cores=1,3,5,7,9,11,13,15
/proc/16048/task/16110/stat : 16110 (java) R 16045 16048 14883 0 -1 4202560 12566 12599 0 0 864 63 6 4 20 0 22 0 7398882 11330654208 868401 33554432000 4194304 4196468 140729326581104 140655350495832 140655415195123 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23588864 140729326582465 140729326585239 140729326585239 140729326587855 0
[pid=16048/tid=16111] ppid=16045 vsize=11065092 CPUtime=9.46 cores=1,3,5,7,9,11,13,15
/proc/16048/task/16111/stat : 16111 (java) R 16045 16048 14883 0 -1 4202560 11268 12599 0 0 869 67 6 4 20 0 22 0 7398882 11330654208 868401 33554432000 4194304 4196468 140729326581104 140655349443032 140655415734059 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 23588864 140729326582465 140729326585239 140729326585239 140729326587855 0
[pid=16048/tid=16112] ppid=16045 vsize=11065092 CPUtime=1.28 cores=1,3,5,7,9,11,13,15
/proc/16048/task/16112/stat : 16112 (java) S 16045 16048 14883 0 -1 1077944384 30859 12599 0 0 104 14 6 4 20 0 22 0 7398884 11330654208 868401 33554432000 4194304 4196468 140729326581104 140654905292304 140655430747861 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23588864 140729326582465 140729326585239 140729326585239 140729326587855 0
[pid=16048/tid=16113] ppid=16045 vsize=11065092 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/16048/task/16113/stat : 16113 (java) S 16045 16048 14883 0 -1 1077944384 68 12599 0 0 0 0 6 4 20 0 22 0 7398885 11330654208 868401 33554432000 4194304 4196468 140729326581104 140654904239680 140655430747861 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 23588864 140729326582465 140729326585239 140729326585239 140729326587855 0
[pid=16048/tid=16114] ppid=16045 vsize=11065092 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/16048/task/16114/stat : 16114 (java) S 16045 16048 14883 0 -1 1077944384 53 12599 0 0 0 0 6 4 20 0 22 0 7398885 11330654208 868401 33554432000 4194304 4196468 140729326581104 140654903186816 140655430747861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23588864 140729326582465 140729326585239 140729326585239 140729326587855 0
[pid=16048/tid=16115] ppid=16045 vsize=11065092 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/16048/task/16115/stat : 16115 (java) S 16045 16048 14883 0 -1 1077944384 80 12599 0 0 0 0 6 4 20 0 22 0 7398889 11330654208 868401 33554432000 4194304 4196468 140729326581104 140654902135120 140655430756251 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 23588864 140729326582465 140729326585239 140729326585239 140729326587855 0
[pid=16048/tid=16116] ppid=16045 vsize=11065092 CPUtime=14.55 cores=1,3,5,7,9,11,13,15
/proc/16048/task/16116/stat : 16116 (java) S 16045 16048 14883 0 -1 1077944384 68757 12599 0 0 1433 12 6 4 20 0 22 0 7398889 11330654208 868401 33554432000 4194304 4196468 140729326581104 140654901082528 140655430747861 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 23588864 140729326582465 140729326585239 140729326585239 140729326587855 0
[pid=16048/tid=16117] ppid=16045 vsize=11065092 CPUtime=13.68 cores=1,3,5,7,9,11,13,15
/proc/16048/task/16117/stat : 16117 (java) S 16045 16048 14883 0 -1 1077944384 63425 12599 0 0 1346 12 6 4 20 0 22 0 7398889 11330654208 868401 33554432000 4194304 4196468 140729326581104 140654900029440 140655430747861 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 23588864 140729326582465 140729326585239 140729326585239 140729326587855 0
[pid=16048/tid=16118] ppid=16045 vsize=11065092 CPUtime=14.86 cores=1,3,5,7,9,11,13,15
/proc/16048/task/16118/stat : 16118 (java) S 16045 16048 14883 0 -1 1077944384 76708 12599 0 0 1463 13 6 4 20 0 22 0 7398889 11330654208 868401 33554432000 4194304 4196468 140729326581104 140654898976928 140655430747861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23588864 140729326582465 140729326585239 140729326585239 140729326587855 0
[pid=16048/tid=16119] ppid=16045 vsize=11065092 CPUtime=5.52 cores=1,3,5,7,9,11,13,15
/proc/16048/task/16119/stat : 16119 (java) S 16045 16048 14883 0 -1 1077944384 78256 12599 0 0 529 13 6 4 20 0 22 0 7398889 11330654208 868401 33554432000 4194304 4196468 140729326581104 140654897924128 140655430747861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23588864 140729326582465 140729326585239 140729326585239 140729326587855 0
[pid=16048/tid=16120] ppid=16045 vsize=11065092 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/16048/task/16120/stat : 16120 (java) S 16045 16048 14883 0 -1 1077944384 3 12599 0 0 0 0 6 4 20 0 22 0 7398890 11330654208 868401 33554432000 4194304 4196468 140729326581104 140654896872544 140655430747861 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 23588864 140729326582465 140729326585239 140729326585239 140729326587855 0
[pid=16048/tid=16121] ppid=16045 vsize=11065092 CPUtime=1.39 cores=1,3,5,7,9,11,13,15
/proc/16048/task/16121/stat : 16121 (java) S 16045 16048 14883 0 -1 1077944384 3999 12599 0 0 57 72 6 4 20 0 22 0 7398890 11330654208 868401 33554432000 4194304 4196468 140729326581104 140654895819824 140655430748802 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 23588864 140729326582465 140729326585239 140729326585239 140729326587855 0
[pid=16048/tid=16494] ppid=16045 vsize=11065092 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/16048/task/16494/stat : 16494 (java) S 16045 16048 14883 0 -1 1077944384 85 12599 0 0 0 0 6 4 20 0 22 0 7628521 11330654208 868401 33554432000 4194304 4196468 140729326581104 140654879003248 140655430747861 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 23588864 140729326582465 140729326585239 140729326585239 140729326587855 0
[pid=16048/tid=16495] ppid=16045 vsize=11065092 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/16048/task/16495/stat : 16495 (java) S 16045 16048 14883 0 -1 1077944384 28 12599 0 0 0 0 6 4 20 0 22 0 7628521 11330654208 868401 33554432000 4194304 4196468 140729326581104 140654594127040 140655430747861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23588864 140729326582465 140729326585239 140729326585239 140729326587855 0
Current children cumulated CPU time (s) 2411.23
Current children cumulated vsize (KiB) 11065092

[startup+2298.4 s]
/proc/loadavg: 1.93 1.67 1.67 10/284 16495
/proc/meminfo: memFree=27509452/32770624 swapFree=5780/155784
[pid=16048] ppid=16045 vsize=11065092 CPUtime=2414.15 cores=1,3,5,7,9,11,13,15
/proc/16048/stat : 16048 (java) S 16045 16048 14883 0 -1 1077944320 624393 12599 0 0 240690 715 6 4 20 0 22 0 7398870 11330654208 868401 33554432000 4194304 4196468 140729326581104 140729326563648 140655430737655 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 23588864 140729326582465 140729326585239 140729326585239 140729326587855 0
/proc/16048/statm: 2766273 868401 3524 1 0 2753828 0
[pid=16048/tid=16103] ppid=16045 vsize=11065092 CPUtime=2285.26 cores=1,3,5,7,9,11,13,15
/proc/16048/task/16103/stat : 16103 (java) S 16045 16048 14883 0 -1 1077944384 191749 12599 0 0 228442 74 6 4 20 0 22 0 7398881 11330654208 868401 33554432000 4194304 4196468 140729326581104 140655434975376 140655430747861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23588864 140729326582465 140729326585239 140729326585239 140729326587855 0
[pid=16048/tid=16104] ppid=16045 vsize=11065092 CPUtime=9.9 cores=1,3,5,7,9,11,13,15
/proc/16048/task/16104/stat : 16104 (java) R 16045 16048 14883 0 -1 4202560 11095 12599 0 0 914 66 6 4 20 0 22 0 7398882 11330654208 868401 33554432000 4194304 4196468 140729326581104 140655356812320 140655415734007 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23588864 140729326582465 140729326585239 140729326585239 140729326587855 0
[pid=16048/tid=16105] ppid=16045 vsize=11065092 CPUtime=9.89 cores=1,3,5,7,9,11,13,15
/proc/16048/task/16105/stat : 16105 (java) R 16045 16048 14883 0 -1 4202560 17526 12599 0 0 914 65 6 4 20 0 22 0 7398882 11330654208 868401 33554432000 4194304 4196468 140729326581104 140655355759832 140655415734224 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23588864 140729326582465 140729326585239 140729326585239 140729326587855 0
[pid=16048/tid=16106] ppid=16045 vsize=11065092 CPUtime=9.83 cores=1,3,5,7,9,11,13,15
/proc/16048/task/16106/stat : 16106 (java) R 16045 16048 14883 0 -1 4202560 13531 12599 0 0 911 62 6 4 20 0 22 0 7398882 11330654208 868401 33554432000 4194304 4196468 140729326581104 140655354707032 140655412347401 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 23588864 140729326582465 140729326585239 140729326585239 140729326587855 0
[pid=16048/tid=16107] ppid=16045 vsize=11065092 CPUtime=9.96 cores=1,3,5,7,9,11,13,15
/proc/16048/task/16107/stat : 16107 (java) R 16045 16048 14883 0 -1 4202560 15878 12599 0 0 921 65 6 4 20 0 22 0 7398882 11330654208 868401 33554432000 4194304 4196468 140729326581104 140655353654232 140655415734056 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 23588864 140729326582465 140729326585239 140729326585239 140729326587855 0
[pid=16048/tid=16108] ppid=16045 vsize=11065092 CPUtime=9.87 cores=1,3,5,7,9,11,13,15
/proc/16048/task/16108/stat : 16108 (java) R 16045 16048 14883 0 -1 4202560 14645 12599 0 0 912 65 6 4 20 0 22 0 7398882 11330654208 868401 33554432000 4194304 4196468 140729326581104 140655352601432 140655412347265 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 23588864 140729326582465 140729326585239 140729326585239 140729326587855 0
[pid=16048/tid=16109] ppid=16045 vsize=11065092 CPUtime=9.82 cores=1,3,5,7,9,11,13,15
/proc/16048/task/16109/stat : 16109 (java) R 16045 16048 14883 0 -1 4202560 11683 12599 0 0 906 66 6 4 20 0 22 0 7398882 11330654208 868401 33554432000 4194304 4196468 140729326581104 140655351548632 140655415195277 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23588864 140729326582465 140729326585239 140729326585239 140729326587855 0
[pid=16048/tid=16110] ppid=16045 vsize=11065092 CPUtime=9.74 cores=1,3,5,7,9,11,13,15
/proc/16048/task/16110/stat : 16110 (java) R 16045 16048 14883 0 -1 4202560 12566 12599 0 0 901 63 6 4 20 0 22 0 7398882 11330654208 868401 33554432000 4194304 4196468 140729326581104 140655350495832 140655415436911 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 23588864 140729326582465 140729326585239 140729326585239 140729326587855 0
[pid=16048/tid=16111] ppid=16045 vsize=11065092 CPUtime=9.82 cores=1,3,5,7,9,11,13,15
/proc/16048/task/16111/stat : 16111 (java) R 16045 16048 14883 0 -1 4202560 11268 12599 0 0 905 67 6 4 20 0 22 0 7398882 11330654208 868401 33554432000 4194304 4196468 140729326581104 140655349443032 140655415436395 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 23588864 140729326582465 140729326585239 140729326585239 140729326587855 0
[pid=16048/tid=16112] ppid=16045 vsize=11065092 CPUtime=1.3 cores=1,3,5,7,9,11,13,15
/proc/16048/task/16112/stat : 16112 (java) S 16045 16048 14883 0 -1 1077944384 30859 12599 0 0 106 14 6 4 20 0 22 0 7398884 11330654208 868401 33554432000 4194304 4196468 140729326581104 140654905292304 140655430747861 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23588864 140729326582465 140729326585239 140729326585239 140729326587855 0
[pid=16048/tid=16113] ppid=16045 vsize=11065092 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/16048/task/16113/stat : 16113 (java) S 16045 16048 14883 0 -1 1077944384 68 12599 0 0 0 0 6 4 20 0 22 0 7398885 11330654208 868401 33554432000 4194304 4196468 140729326581104 140654904239680 140655430747861 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 23588864 140729326582465 140729326585239 140729326585239 140729326587855 0
[pid=16048/tid=16114] ppid=16045 vsize=11065092 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/16048/task/16114/stat : 16114 (java) S 16045 16048 14883 0 -1 1077944384 53 12599 0 0 0 0 6 4 20 0 22 0 7398885 11330654208 868401 33554432000 4194304 4196468 140729326581104 140654903186816 140655430747861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23588864 140729326582465 140729326585239 140729326585239 140729326587855 0
[pid=16048/tid=16115] ppid=16045 vsize=11065092 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/16048/task/16115/stat : 16115 (java) S 16045 16048 14883 0 -1 1077944384 80 12599 0 0 0 0 6 4 20 0 22 0 7398889 11330654208 868401 33554432000 4194304 4196468 140729326581104 140654902135120 140655430756251 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 23588864 140729326582465 140729326585239 140729326585239 140729326587855 0
[pid=16048/tid=16116] ppid=16045 vsize=11065092 CPUtime=14.55 cores=1,3,5,7,9,11,13,15
/proc/16048/task/16116/stat : 16116 (java) S 16045 16048 14883 0 -1 1077944384 68757 12599 0 0 1433 12 6 4 20 0 22 0 7398889 11330654208 868401 33554432000 4194304 4196468 140729326581104 140654901082528 140655430747861 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 23588864 140729326582465 140729326585239 140729326585239 140729326587855 0
[pid=16048/tid=16117] ppid=16045 vsize=11065092 CPUtime=13.68 cores=1,3,5,7,9,11,13,15
/proc/16048/task/16117/stat : 16117 (java) S 16045 16048 14883 0 -1 1077944384 63425 12599 0 0 1346 12 6 4 20 0 22 0 7398889 11330654208 868401 33554432000 4194304 4196468 140729326581104 140654900029440 140655430747861 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 23588864 140729326582465 140729326585239 140729326585239 140729326587855 0
[pid=16048/tid=16118] ppid=16045 vsize=11065092 CPUtime=14.86 cores=1,3,5,7,9,11,13,15
/proc/16048/task/16118/stat : 16118 (java) S 16045 16048 14883 0 -1 1077944384 76708 12599 0 0 1463 13 6 4 20 0 22 0 7398889 11330654208 868401 33554432000 4194304 4196468 140729326581104 140654898976928 140655430747861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23588864 140729326582465 140729326585239 140729326585239 140729326587855 0
[pid=16048/tid=16119] ppid=16045 vsize=11065092 CPUtime=5.52 cores=1,3,5,7,9,11,13,15
/proc/16048/task/16119/stat : 16119 (java) S 16045 16048 14883 0 -1 1077944384 78256 12599 0 0 529 13 6 4 20 0 22 0 7398889 11330654208 868401 33554432000 4194304 4196468 140729326581104 140654897924128 140655430747861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23588864 140729326582465 140729326585239 140729326585239 140729326587855 0
[pid=16048/tid=16120] ppid=16045 vsize=11065092 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/16048/task/16120/stat : 16120 (java) S 16045 16048 14883 0 -1 1077944384 3 12599 0 0 0 0 6 4 20 0 22 0 7398890 11330654208 868401 33554432000 4194304 4196468 140729326581104 140654896872544 140655430747861 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 23588864 140729326582465 140729326585239 140729326585239 140729326587855 0
[pid=16048/tid=16121] ppid=16045 vsize=11065092 CPUtime=1.39 cores=1,3,5,7,9,11,13,15
/proc/16048/task/16121/stat : 16121 (java) S 16045 16048 14883 0 -1 1077944384 3999 12599 0 0 57 72 6 4 20 0 22 0 7398890 11330654208 868401 33554432000 4194304 4196468 140729326581104 140654895819824 140655430748802 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 23588864 140729326582465 140729326585239 140729326585239 140729326587855 0
[pid=16048/tid=16494] ppid=16045 vsize=11065092 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/16048/task/16494/stat : 16494 (java) S 16045 16048 14883 0 -1 1077944384 85 12599 0 0 0 0 6 4 20 0 22 0 7628521 11330654208 868401 33554432000 4194304 4196468 140729326581104 140654879003248 140655430747861 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 23588864 140729326582465 140729326585239 140729326585239 140729326587855 0
[pid=16048/tid=16495] ppid=16045 vsize=11065092 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/16048/task/16495/stat : 16495 (java) S 16045 16048 14883 0 -1 1077944384 28 12599 0 0 0 0 6 4 20 0 22 0 7628521 11330654208 868401 33554432000 4194304 4196468 140729326581104 140654594127040 140655430747861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23588864 140729326582465 140729326585239 140729326585239 140729326587855 0
Current children cumulated CPU time (s) 2414.15
Current children cumulated vsize (KiB) 11065092

Child status: 143
Real time (s): 2298.48
CPU time (s): 2414.53
CPU user time (s): 2407.31
CPU system time (s): 7.21391
CPU usage (%): 105.049
Max. virtual memory (cumulated for all children) (KiB): 11065092

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2407.31
system time used= 7.21391
maximum resident set size= 3474020
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 637185
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3088
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 99945
involuntary context switches= 128722

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.6742 second user time and 19.6488 second system time

The end

Launcher Data 

Begin job on node129 at 2017-07-22 13:01:55
IDJOB=4246945
IDBENCH=126718
IDSOLVER=2630
FILE ID=node129/4246945-1500721315
RUNJOBID= node129-1500716625-14915
PBS_JOBID= 20623360
Free space on /tmp= 61944 MiB

SOLVER NAME= Concrete 3.4
BENCH NAME= XCSP17/SocialGolfers/SocialGolfers-xcsp2-s1/SocialGolfers-08-4-8_X2.xml
COMMAND LINE= bin/concrete BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4246945-1500721315/watcher-4246945-1500721315 -o /tmp/evaluation-result-4246945-1500721315/solver-4246945-1500721315 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node129-1500716625-14915 --watchdog 2560  bin/concrete HOME/instance-4246945-1500721315.xml

TIME LIMIT= 2400 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 8

MD5SUM BENCH= 5b948440152400779ab8a0c6bf9e55ba
RANDOM SEED=1869046392

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

/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	: 8
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.96
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		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
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	: 8
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.96
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		: 2000.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
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		: 2533.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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.96
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		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
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	: 8
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.96
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		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
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:

processor	: 8
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2267.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 1
initial apicid	: 1
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.96
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 9
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2267.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 17
initial apicid	: 17
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	: 10
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2667.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 3
initial apicid	: 3
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.96
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 11
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2000.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 19
initial apicid	: 19
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	: 12
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	: 8
core id		: 2
cpu cores	: 4
apicid		: 5
initial apicid	: 5
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.96
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 13
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 21
initial apicid	: 21
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	: 14
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 7
initial apicid	: 7
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.96
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 15
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1733.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 23
initial apicid	: 23
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:        29743968 kB
MemAvailable:   29951768 kB
Buffers:          159676 kB
Cached:           319016 kB
SwapCached:            0 kB
Active:          2354076 kB
Inactive:         218976 kB
Active(anon):    2040976 kB
Inactive(anon):    64916 kB
Active(file):     313100 kB
Inactive(file):   154060 kB
Unevictable:        5780 kB
Mlocked:            5780 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             26388 kB
Writeback:             0 kB
AnonPages:       2148540 kB
Mapped:            43840 kB
Shmem:              8844 kB
Slab:             146624 kB
SReclaimable:     112952 kB
SUnreclaim:        33672 kB
KernelStack:        4864 kB
PageTables:         9784 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    3495452 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1921024 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      126336 kB
DirectMap2M:    33419264 kB

Free space on /tmp at the end= 61920 MiB
End job on node129 at 2017-07-22 13:40:14