Trace number 4249518

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
R1: choco-solver 5a (2017-07-05)? 390.719 233.51

General information on the benchmark

NameBinPacking/
BinPacking-tab-fu/BinPacking-tab-fu0500-12.xml
MD5SUMc3cbaa9ce8e56a4446daa69c64b890b7
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark73
Best CPU time to get the best result obtained on this benchmark2520.0801
Satisfiable
(Un)Satisfiability was proved
Number of variables1919
Number of constraints277
Number of domains2
Minimum domain size82
Maximum domain size275
Distribution of domain sizes[{"size":82,"count":1918},{"size":275,"count":1}]
Minimum variable degree2
Maximum variable degree4
Distribution of variable degrees[{"degree":2,"count":1},{"degree":3,"count":1644},{"degree":4,"count":274}]
Minimum constraint arity7
Maximum constraint arity1918
Distribution of constraint arities[{"arity":7,"count":274},{"arity":275,"count":1},{"arity":1918,"count":2}]
Number of extensional constraints274
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":274},{"type":"lex","count":1},{"type":"count","count":1},{"type":"cardinality","count":1}]
Optimization problemYES
Type of objectivemax VAR

Solver Data 

0.00/0.00	c java -server -Xmx10000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4249518-1500695119.xml"  -tl '2400s' -p 8 -x 3
0.00/0.19	c [HOME/instance-4249518-1500695119.xml, -tl, 2400s, -p, 8, -x, 3]
0.00/0.24	c 8 solvers in parallel
0.00/0.31	c parse instance...
358.29/227.86	Exception in thread "main" java.lang.OutOfMemoryError: Java heap space
373.89/230.64		at org.chocosolver.solver.constraints.extension.nary.PropCompactTable.computeSupports(PropCompactTable.java:98)
373.89/230.64		at org.chocosolver.solver.constraints.extension.nary.PropCompactTable.<init>(PropCompactTable.java:61)
373.89/230.64		at org.chocosolver.solver.constraints.IIntConstraintFactory.table(IIntConstraintFactory.java:1853)
373.89/230.64		at org.chocosolver.solver.constraints.IIntConstraintFactory.table(IIntConstraintFactory.java:1809)
373.89/230.64		at org.chocosolver.parser.xcsp.XCSPParser.buildCtrExtension(XCSPParser.java:313)
373.89/230.64		at org.xcsp.parser.loaders.CtrLoaderInteger.extension(CtrLoaderInteger.java:413)
373.89/230.64		at org.xcsp.parser.loaders.CtrLoaderInteger.load(CtrLoaderInteger.java:130)
373.89/230.64		at org.xcsp.parser.XCallbacks.loadCtr(XCallbacks.java:457)
373.89/230.64		at org.xcsp.parser.XCallbacks.lambda$loadCtrs$346(XCallbacks.java:440)
373.89/230.64		at org.xcsp.parser.XCallbacks$$Lambda$70/1025309396.accept(Unknown Source)
373.89/230.64		at java.util.Spliterators$ArraySpliterator.forEachRemaining(Spliterators.java:948)
373.89/230.64		at java.util.stream.ReferencePipeline$Head.forEach(ReferencePipeline.java:580)
373.89/230.64		at org.xcsp.parser.XCallbacks.loadCtrs(XCallbacks.java:437)
373.89/230.64		at org.chocosolver.parser.xcsp.XCSPParser.loadGroup(XCSPParser.java:1406)
373.89/230.64		at org.xcsp.parser.XCallbacks.loadConstraints(XCallbacks.java:368)
373.89/230.64		at org.xcsp.parser.XCallbacks.loadConstraints(XCallbacks.java:353)
373.89/230.64		at org.xcsp.parser.XCallbacks.loadInstance(XCallbacks.java:260)
373.89/230.64		at org.chocosolver.parser.xcsp.XCSPParser.model(XCSPParser.java:88)
373.89/230.64		at org.chocosolver.parser.xcsp.XCSP.parse(XCSP.java:114)
373.89/230.64		at org.chocosolver.parser.xcsp.XCSP.buildModel(XCSP.java:101)
373.89/230.64		at org.chocosolver.parser.xcsp.ChocoXCSP.main(ChocoXCSP.java:23)
390.63/233.46	s UNKNOWN
390.63/233.46	c Unexpected resolution interruption!

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-4249518-1500695119/watcher-4249518-1500695119 -o /tmp/evaluation-result-4249518-1500695119/solver-4249518-1500695119 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node131-1500682620-7802 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 1690189379 HOME/instance-4249518-1500695119.xml 

pid=31051
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: 16.18 15.20 14.17 10/270 31054
/proc/meminfo: memFree=31608660/32770624 swapFree=5860/291068
[pid=31054] ppid=31051 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31054/stat : 31054 (xcsp3-exec) S 31051 31054 7411 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4779348 9740288 346 33554432000 4194304 5098028 140721081010208 140721081008312 139802620736124 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 21323776 140721081017486 140721081017696 140721081017696 140721081020395 0
/proc/31054/statm: 2378 346 289 221 0 87 0

[startup+0.100096 s]
/proc/loadavg: 16.18 15.20 14.17 10/270 31054
/proc/meminfo: memFree=31608660/32770624 swapFree=5860/291068
[pid=31054] ppid=31051 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31054/stat : 31054 (xcsp3-exec) S 31051 31054 7411 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4779348 9740288 346 33554432000 4194304 5098028 140721081010208 140721081008312 139802620736124 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 21323776 140721081017486 140721081017696 140721081017696 140721081020395 0
/proc/31054/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.200314 s]
/proc/loadavg: 16.18 15.20 14.17 10/270 31054
/proc/meminfo: memFree=31608660/32770624 swapFree=5860/291068
[pid=31054] ppid=31051 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31054/stat : 31054 (xcsp3-exec) S 31051 31054 7411 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4779348 9740288 346 33554432000 4194304 5098028 140721081010208 140721081008312 139802620736124 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 21323776 140721081017486 140721081017696 140721081017696 140721081020395 0
/proc/31054/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.300273 s]
/proc/loadavg: 16.18 15.20 14.17 10/270 31054
/proc/meminfo: memFree=31608660/32770624 swapFree=5860/291068
[pid=31054] ppid=31051 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31054/stat : 31054 (xcsp3-exec) S 31051 31054 7411 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4779348 9740288 346 33554432000 4194304 5098028 140721081010208 140721081008312 139802620736124 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 21323776 140721081017486 140721081017696 140721081017696 140721081020395 0
/proc/31054/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.70023 s]
/proc/loadavg: 16.18 15.20 14.17 10/270 31054
/proc/meminfo: memFree=31608660/32770624 swapFree=5860/291068
[pid=31054] ppid=31051 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31054/stat : 31054 (xcsp3-exec) S 31051 31054 7411 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4779348 9740288 346 33554432000 4194304 5098028 140721081010208 140721081008312 139802620736124 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 21323776 140721081017486 140721081017696 140721081017696 140721081020395 0
/proc/31054/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+1.50074 s]
/proc/loadavg: 15.60 15.10 14.14 10/291 31075
/proc/meminfo: memFree=31411680/32770624 swapFree=5860/290868
[pid=31054] ppid=31051 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31054/stat : 31054 (xcsp3-exec) S 31051 31054 7411 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4779348 9740288 346 33554432000 4194304 5098028 140721081010208 140721081008312 139802620736124 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 21323776 140721081017486 140721081017696 140721081017696 140721081020395 0
/proc/31054/statm: 2378 346 289 221 0 87 0
[pid=31055] ppid=31054 vsize=13267208 CPUtime=2.79 cores=1,3,5,7,9,11,13,15
/proc/31055/stat : 31055 (java) S 31054 31054 7411 0 -1 1077944320 13163 0 0 0 267 12 0 0 20 0 20 0 4779349 13585620992 52162 33554432000 4194304 4196468 140727507707968 140727507690512 140546103758583 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 39489536 140727507711164 140727507711340 140727507711340 140727507713999 0
/proc/31055/statm: 3316802 52162 3211 1 0 3304035 0
[pid=31055/tid=31056] ppid=31054 vsize=13267208 CPUtime=1.45 cores=1,3,5,7,9,11,13,15
/proc/31055/task/31056/stat : 31056 (java) R 31054 31054 7411 0 -1 4202560 6529 0 0 0 141 4 0 0 20 0 20 0 4779349 13585620992 52162 33554432000 4194304 4196468 140727507707968 140546107997320 140545711727037 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 39489536 140727507711164 140727507711340 140727507711340 140727507713999 0
[pid=31055/tid=31058] ppid=31054 vsize=13267208 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31055/task/31058/stat : 31058 (java) S 31054 31054 7411 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 4779350 13585620992 52162 33554432000 4194304 4196468 140727507707968 140546035894544 140546103768789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39489536 140727507711164 140727507711340 140727507711340 140727507713999 0
[pid=31055/tid=31059] ppid=31054 vsize=13267208 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31055/task/31059/stat : 31059 (java) S 31054 31054 7411 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 20 0 4779350 13585620992 52162 33554432000 4194304 4196468 140727507707968 140546034842000 140546103768789 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 39489536 140727507711164 140727507711340 140727507711340 140727507713999 0
[pid=31055/tid=31060] ppid=31054 vsize=13267208 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31055/task/31060/stat : 31060 (java) S 31054 31054 7411 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 20 0 4779350 13585620992 52162 33554432000 4194304 4196468 140727507707968 140546033789456 140546103768789 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 39489536 140727507711164 140727507711340 140727507711340 140727507713999 0
[pid=31055/tid=31061] ppid=31054 vsize=13267208 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31055/task/31061/stat : 31061 (java) S 31054 31054 7411 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 20 0 4779350 13585620992 52162 33554432000 4194304 4196468 140727507707968 140546032736912 140546103768789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39489536 140727507711164 140727507711340 140727507711340 140727507713999 0
[pid=31055/tid=31062] ppid=31054 vsize=13267208 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31055/task/31062/stat : 31062 (java) S 31054 31054 7411 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 20 0 4779350 13585620992 52162 33554432000 4194304 4196468 140727507707968 140546031684368 140546103768789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39489536 140727507711164 140727507711340 140727507711340 140727507713999 0
[pid=31055/tid=31063] ppid=31054 vsize=13267208 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31055/task/31063/stat : 31063 (java) S 31054 31054 7411 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 4779350 13585620992 52162 33554432000 4194304 4196468 140727507707968 140546030631824 140546103768789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39489536 140727507711164 140727507711340 140727507711340 140727507713999 0
[pid=31055/tid=31064] ppid=31054 vsize=13267208 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31055/task/31064/stat : 31064 (java) S 31054 31054 7411 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 20 0 4779350 13585620992 52162 33554432000 4194304 4196468 140727507707968 140546029579280 140546103768789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39489536 140727507711164 140727507711340 140727507711340 140727507713999 0
[pid=31055/tid=31065] ppid=31054 vsize=13267208 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31055/task/31065/stat : 31065 (java) S 31054 31054 7411 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 20 0 4779350 13585620992 52162 33554432000 4194304 4196468 140727507707968 140546028526736 140546103768789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39489536 140727507711164 140727507711340 140727507711340 140727507713999 0
[pid=31055/tid=31066] ppid=31054 vsize=13267208 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31055/task/31066/stat : 31066 (java) S 31054 31054 7411 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 20 0 4779352 13585620992 52162 33554432000 4194304 4196468 140727507707968 140545566005232 140546103769730 0 0 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 39489536 140727507711164 140727507711340 140727507711340 140727507713999 0
[pid=31055/tid=31067] ppid=31054 vsize=13267208 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31055/task/31067/stat : 31067 (java) S 31054 31054 7411 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 4779353 13585620992 52162 33554432000 4194304 4196468 140727507707968 140545564951456 140546103768789 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 39489536 140727507711164 140727507711340 140727507711340 140727507713999 0
[pid=31055/tid=31068] ppid=31054 vsize=13267208 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31055/task/31068/stat : 31068 (java) S 31054 31054 7411 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 20 0 4779353 13585620992 52162 33554432000 4194304 4196468 140727507707968 140545563898864 140546103768789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39489536 140727507711164 140727507711340 140727507711340 140727507713999 0
[pid=31055/tid=31069] ppid=31054 vsize=13267208 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31055/task/31069/stat : 31069 (java) S 31054 31054 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4779357 13585620992 52162 33554432000 4194304 4196468 140727507707968 140545562847440 140546103777179 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 39489536 140727507711164 140727507711340 140727507711340 140727507713999 0
[pid=31055/tid=31070] ppid=31054 vsize=13267208 CPUtime=0.3 cores=1,3,5,7,9,11,13,15
/proc/31055/task/31070/stat : 31070 (java) S 31054 31054 7411 0 -1 1077944384 1580 0 0 0 30 0 0 0 20 0 20 0 4779357 13585620992 52162 33554432000 4194304 4196468 140727507707968 140545561795056 140546103769730 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39489536 140727507711164 140727507711340 140727507711340 140727507713999 0
[pid=31055/tid=31071] ppid=31054 vsize=13267208 CPUtime=0.31 cores=1,3,5,7,9,11,13,15
/proc/31055/task/31071/stat : 31071 (java) S 31054 31054 7411 0 -1 1077944384 1048 0 0 0 31 0 0 0 20 0 20 0 4779357 13585620992 52162 33554432000 4194304 4196468 140727507707968 140545560742512 140546103769730 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39489536 140727507711164 140727507711340 140727507711340 140727507713999 0
[pid=31055/tid=31072] ppid=31054 vsize=13267208 CPUtime=0.27 cores=1,3,5,7,9,11,13,15
/proc/31055/task/31072/stat : 31072 (java) S 31054 31054 7411 0 -1 1077944384 1078 0 0 0 27 0 0 0 20 0 20 0 4779357 13585620992 52162 33554432000 4194304 4196468 140727507707968 140545559689968 140546103769730 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 39489536 140727507711164 140727507711340 140727507711340 140727507713999 0
[pid=31055/tid=31073] ppid=31054 vsize=13267208 CPUtime=0.29 cores=1,3,5,7,9,11,13,15
/proc/31055/task/31073/stat : 31073 (java) S 31054 31054 7411 0 -1 1077944384 1471 0 0 0 29 0 0 0 20 0 20 0 4779357 13585620992 52162 33554432000 4194304 4196468 140727507707968 140545558637424 140546103769730 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 39489536 140727507711164 140727507711340 140727507711340 140727507713999 0
[pid=31055/tid=31074] ppid=31054 vsize=13267208 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31055/task/31074/stat : 31074 (java) S 31054 31054 7411 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4779357 13585620992 52162 33554432000 4194304 4196468 140727507707968 140545489889504 140546103768789 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 39489536 140727507711164 140727507711340 140727507711340 140727507713999 0
[pid=31055/tid=31075] ppid=31054 vsize=13267208 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31055/task/31075/stat : 31075 (java) S 31054 31054 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4779358 13585620992 52162 33554432000 4194304 4196468 140727507707968 140545488837040 140546103769730 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39489536 140727507711164 140727507711340 140727507711340 140727507713999 0
Current children cumulated CPU time (s) 2.79
Current children cumulated vsize (KiB) 13276720

[startup+3.10075 s]
/proc/loadavg: 15.60 15.10 14.14 10/291 31075
/proc/meminfo: memFree=31410556/32770624 swapFree=5860/290840
[pid=31054] ppid=31051 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31054/stat : 31054 (xcsp3-exec) S 31051 31054 7411 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4779348 9740288 346 33554432000 4194304 5098028 140721081010208 140721081008312 139802620736124 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 21323776 140721081017486 140721081017696 140721081017696 140721081020395 0
/proc/31054/statm: 2378 346 289 221 0 87 0
[pid=31055] ppid=31054 vsize=13267208 CPUtime=4.4 cores=1,3,5,7,9,11,13,15
/proc/31055/stat : 31055 (java) S 31054 31054 7411 0 -1 1077944320 13669 0 0 0 427 13 0 0 20 0 20 0 4779349 13585620992 52196 33554432000 4194304 4196468 140727507707968 140727507690512 140546103758583 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 39489536 140727507711164 140727507711340 140727507711340 140727507713999 0
/proc/31055/statm: 3316802 52196 3211 1 0 3304035 0
[pid=31055/tid=31056] ppid=31054 vsize=13267208 CPUtime=3.05 cores=1,3,5,7,9,11,13,15
/proc/31055/task/31056/stat : 31056 (java) R 31054 31054 7411 0 -1 4202560 7007 0 0 0 301 4 0 0 20 0 20 0 4779349 13585620992 52196 33554432000 4194304 4196468 140727507707968 140546107997776 140545711727037 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 39489536 140727507711164 140727507711340 140727507711340 140727507713999 0
[pid=31055/tid=31058] ppid=31054 vsize=13267208 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31055/task/31058/stat : 31058 (java) S 31054 31054 7411 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 4779350 13585620992 52196 33554432000 4194304 4196468 140727507707968 140546035894544 140546103768789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39489536 140727507711164 140727507711340 140727507711340 140727507713999 0
[pid=31055/tid=31059] ppid=31054 vsize=13267208 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31055/task/31059/stat : 31059 (java) S 31054 31054 7411 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 20 0 4779350 13585620992 52196 33554432000 4194304 4196468 140727507707968 140546034842000 140546103768789 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 39489536 140727507711164 140727507711340 140727507711340 140727507713999 0
[pid=31055/tid=31060] ppid=31054 vsize=13267208 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31055/task/31060/stat : 31060 (java) S 31054 31054 7411 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 20 0 4779350 13585620992 52196 33554432000 4194304 4196468 140727507707968 140546033789456 140546103768789 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 39489536 140727507711164 140727507711340 140727507711340 140727507713999 0
[pid=31055/tid=31061] ppid=31054 vsize=13267208 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31055/task/31061/stat : 31061 (java) S 31054 31054 7411 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 20 0 4779350 13585620992 52196 33554432000 4194304 4196468 140727507707968 140546032736912 140546103768789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39489536 140727507711164 140727507711340 140727507711340 140727507713999 0
[pid=31055/tid=31062] ppid=31054 vsize=13267208 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31055/task/31062/stat : 31062 (java) S 31054 31054 7411 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 20 0 4779350 13585620992 52196 33554432000 4194304 4196468 140727507707968 140546031684368 140546103768789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39489536 140727507711164 140727507711340 140727507711340 140727507713999 0
[pid=31055/tid=31063] ppid=31054 vsize=13267208 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31055/task/31063/stat : 31063 (java) S 31054 31054 7411 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 4779350 13585620992 52196 33554432000 4194304 4196468 140727507707968 140546030631824 140546103768789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39489536 140727507711164 140727507711340 140727507711340 140727507713999 0
[pid=31055/tid=31064] ppid=31054 vsize=13267208 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31055/task/31064/stat : 31064 (java) S 31054 31054 7411 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 20 0 4779350 13585620992 52196 33554432000 4194304 4196468 140727507707968 140546029579280 140546103768789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39489536 140727507711164 140727507711340 140727507711340 140727507713999 0
[pid=31055/tid=31065] ppid=31054 vsize=13267208 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31055/task/31065/stat : 31065 (java) S 31054 31054 7411 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 20 0 4779350 13585620992 52196 33554432000 4194304 4196468 140727507707968 140546028526736 140546103768789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39489536 140727507711164 140727507711340 140727507711340 140727507713999 0
[pid=31055/tid=31066] ppid=31054 vsize=13267208 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31055/task/31066/stat : 31066 (java) S 31054 31054 7411 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 20 0 4779352 13585620992 52196 33554432000 4194304 4196468 140727507707968 140545566005232 140546103769730 0 0 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 39489536 140727507711164 140727507711340 140727507711340 140727507713999 0
[pid=31055/tid=31067] ppid=31054 vsize=13267208 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31055/task/31067/stat : 31067 (java) S 31054 31054 7411 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 4779353 13585620992 52196 33554432000 4194304 4196468 140727507707968 140545564951456 140546103768789 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 39489536 140727507711164 140727507711340 140727507711340 140727507713999 0
[pid=31055/tid=31068] ppid=31054 vsize=13267208 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31055/task/31068/stat : 31068 (java) S 31054 31054 7411 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 20 0 4779353 13585620992 52196 33554432000 4194304 4196468 140727507707968 140545563898864 140546103768789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39489536 140727507711164 140727507711340 140727507711340 140727507713999 0
[pid=31055/tid=31069] ppid=31054 vsize=13267208 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31055/task/31069/stat : 31069 (java) S 31054 31054 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4779357 13585620992 52196 33554432000 4194304 4196468 140727507707968 140545562847440 140546103777179 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 39489536 140727507711164 140727507711340 140727507711340 140727507713999 0
[pid=31055/tid=31070] ppid=31054 vsize=13267208 CPUtime=0.3 cores=1,3,5,7,9,11,13,15
/proc/31055/task/31070/stat : 31070 (java) S 31054 31054 7411 0 -1 1077944384 1580 0 0 0 30 0 0 0 20 0 20 0 4779357 13585620992 52196 33554432000 4194304 4196468 140727507707968 140545561795056 140546103769730 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39489536 140727507711164 140727507711340 140727507711340 140727507713999 0
[pid=31055/tid=31071] ppid=31054 vsize=13267208 CPUtime=0.31 cores=1,3,5,7,9,11,13,15
/proc/31055/task/31071/stat : 31071 (java) S 31054 31054 7411 0 -1 1077944384 1048 0 0 0 31 0 0 0 20 0 20 0 4779357 13585620992 52196 33554432000 4194304 4196468 140727507707968 140545560742512 140546103769730 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39489536 140727507711164 140727507711340 140727507711340 140727507713999 0
[pid=31055/tid=31072] ppid=31054 vsize=13267208 CPUtime=0.27 cores=1,3,5,7,9,11,13,15
/proc/31055/task/31072/stat : 31072 (java) S 31054 31054 7411 0 -1 1077944384 1078 0 0 0 27 0 0 0 20 0 20 0 4779357 13585620992 52196 33554432000 4194304 4196468 140727507707968 140545559689968 140546103769730 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 39489536 140727507711164 140727507711340 140727507711340 140727507713999 0
[pid=31055/tid=31073] ppid=31054 vsize=13267208 CPUtime=0.29 cores=1,3,5,7,9,11,13,15
/proc/31055/task/31073/stat : 31073 (java) S 31054 31054 7411 0 -1 1077944384 1480 0 0 0 29 0 0 0 20 0 20 0 4779357 13585620992 52196 33554432000 4194304 4196468 140727507707968 140545558637424 140546103769730 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 39489536 140727507711164 140727507711340 140727507711340 140727507713999 0
[pid=31055/tid=31074] ppid=31054 vsize=13267208 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31055/task/31074/stat : 31074 (java) S 31054 31054 7411 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4779357 13585620992 52196 33554432000 4194304 4196468 140727507707968 140545489889504 140546103768789 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 39489536 140727507711164 140727507711340 140727507711340 140727507713999 0
[pid=31055/tid=31075] ppid=31054 vsize=13267208 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31055/task/31075/stat : 31075 (java) S 31054 31054 7411 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 20 0 4779358 13585620992 52196 33554432000 4194304 4196468 140727507707968 140545488837040 140546103769730 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39489536 140727507711164 140727507711340 140727507711340 140727507713999 0
Current children cumulated CPU time (s) 4.4
Current children cumulated vsize (KiB) 13276720

[startup+6.30088 s]
/proc/loadavg: 15.60 15.10 14.14 10/291 31075
/proc/meminfo: memFree=31382344/32770624 swapFree=5860/290848
[pid=31054] ppid=31051 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31054/stat : 31054 (xcsp3-exec) S 31051 31054 7411 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4779348 9740288 346 33554432000 4194304 5098028 140721081010208 140721081008312 139802620736124 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 21323776 140721081017486 140721081017696 140721081017696 140721081020395 0
/proc/31054/statm: 2378 346 289 221 0 87 0
[pid=31055] ppid=31054 vsize=13269256 CPUtime=8.05 cores=1,3,5,7,9,11,13,15
/proc/31055/stat : 31055 (java) S 31054 31054 7411 0 -1 1077944320 18393 0 0 0 782 23 0 0 20 0 20 0 4779349 13587718144 58700 33554432000 4194304 4196468 140727507707968 140727507690512 140546103758583 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 39489536 140727507711164 140727507711340 140727507711340 140727507713999 0
/proc/31055/statm: 3317314 58700 3225 1 0 3304547 0
[pid=31055/tid=31056] ppid=31054 vsize=13269256 CPUtime=6.23 cores=1,3,5,7,9,11,13,15
/proc/31055/task/31056/stat : 31056 (java) R 31054 31054 7411 0 -1 4202560 8366 0 0 0 618 5 0 0 20 0 20 0 4779349 13587718144 58700 33554432000 4194304 4196468 140727507707968 140546107993776 140545712347492 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39489536 140727507711164 140727507711340 140727507711340 140727507713999 0
[pid=31055/tid=31058] ppid=31054 vsize=13269256 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/31055/task/31058/stat : 31058 (java) S 31054 31054 7411 0 -1 1077944384 113 0 0 0 1 1 0 0 20 0 20 0 4779350 13587718144 58700 33554432000 4194304 4196468 140727507707968 140546035894544 140546103768789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39489536 140727507711164 140727507711340 140727507711340 140727507713999 0
[pid=31055/tid=31059] ppid=31054 vsize=13269256 CPUtime=0.03 cores=1,3,5,7,9,11,13,15
/proc/31055/task/31059/stat : 31059 (java) S 31054 31054 7411 0 -1 1077944384 25 0 0 0 1 2 0 0 20 0 20 0 4779350 13587718144 58700 33554432000 4194304 4196468 140727507707968 140546034842000 140546103768789 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 39489536 140727507711164 140727507711340 140727507711340 140727507713999 0
[pid=31055/tid=31060] ppid=31054 vsize=13269256 CPUtime=0.03 cores=1,3,5,7,9,11,13,15
/proc/31055/task/31060/stat : 31060 (java) S 31054 31054 7411 0 -1 1077944384 137 0 0 0 1 2 0 0 20 0 20 0 4779350 13587718144 58700 33554432000 4194304 4196468 140727507707968 140546033789456 140546103768789 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 39489536 140727507711164 140727507711340 140727507711340 140727507713999 0
[pid=31055/tid=31061] ppid=31054 vsize=13269256 CPUtime=0.03 cores=1,3,5,7,9,11,13,15
/proc/31055/task/31061/stat : 31061 (java) S 31054 31054 7411 0 -1 1077944384 38 0 0 0 1 2 0 0 20 0 20 0 4779350 13587718144 58700 33554432000 4194304 4196468 140727507707968 140546032736912 140546103768789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39489536 140727507711164 140727507711340 140727507711340 140727507713999 0
[pid=31055/tid=31062] ppid=31054 vsize=13269256 CPUtime=0.03 cores=1,3,5,7,9,11,13,15
/proc/31055/task/31062/stat : 31062 (java) S 31054 31054 7411 0 -1 1077944384 56 0 0 0 2 1 0 0 20 0 20 0 4779350 13587718144 58700 33554432000 4194304 4196468 140727507707968 140546031684368 140546103768789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39489536 140727507711164 140727507711340 140727507711340 140727507713999 0
[pid=31055/tid=31063] ppid=31054 vsize=13269256 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/31055/task/31063/stat : 31063 (java) S 31054 31054 7411 0 -1 1077944384 22 0 0 0 1 1 0 0 20 0 20 0 4779350 13587718144 58700 33554432000 4194304 4196468 140727507707968 140546030631824 140546103768789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39489536 140727507711164 140727507711340 140727507711340 140727507713999 0
[pid=31055/tid=31064] ppid=31054 vsize=13269256 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/31055/task/31064/stat : 31064 (java) S 31054 31054 7411 0 -1 1077944384 22 0 0 0 1 1 0 0 20 0 20 0 4779350 13587718144 58700 33554432000 4194304 4196468 140727507707968 140546029579280 140546103768789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39489536 140727507711164 140727507711340 140727507711340 140727507713999 0
[pid=31055/tid=31065] ppid=31054 vsize=13269256 CPUtime=0.03 cores=1,3,5,7,9,11,13,15
/proc/31055/task/31065/stat : 31065 (java) S 31054 31054 7411 0 -1 1077944384 43 0 0 0 1 2 0 0 20 0 20 0 4779350 13587718144 58700 33554432000 4194304 4196468 140727507707968 140546028526736 140546103768789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39489536 140727507711164 140727507711340 140727507711340 140727507713999 0
[pid=31055/tid=31066] ppid=31054 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31055/task/31066/stat : 31066 (java) S 31054 31054 7411 0 -1 1077944384 195 0 0 0 0 0 0 0 20 0 20 0 4779352 13587718144 58700 33554432000 4194304 4196468 140727507707968 140545566005232 140546103769730 0 0 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 39489536 140727507711164 140727507711340 140727507711340 140727507713999 0
[pid=31055/tid=31067] ppid=31054 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31055/task/31067/stat : 31067 (java) S 31054 31054 7411 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 20 0 4779353 13587718144 58700 33554432000 4194304 4196468 140727507707968 140545564951520 140546103768789 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 39489536 140727507711164 140727507711340 140727507711340 140727507713999 0
[pid=31055/tid=31068] ppid=31054 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31055/task/31068/stat : 31068 (java) S 31054 31054 7411 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 20 0 4779353 13587718144 58700 33554432000 4194304 4196468 140727507707968 140545563898880 140546103768789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39489536 140727507711164 140727507711340 140727507711340 140727507713999 0
[pid=31055/tid=31069] ppid=31054 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31055/task/31069/stat : 31069 (java) S 31054 31054 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4779357 13587718144 58700 33554432000 4194304 4196468 140727507707968 140545562847440 140546103777179 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 39489536 140727507711164 140727507711340 140727507711340 140727507713999 0

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

Current children cumulated vsize (KiB) 13278768

[startup+232.101 s]
/proc/loadavg: 10.00 12.17 13.15 16/290 31078
/proc/meminfo: memFree=21032140/32770624 swapFree=5860/291092
[pid=31054] ppid=31051 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31054/stat : 31054 (xcsp3-exec) S 31051 31054 7411 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4779348 9740288 346 33554432000 4194304 5098028 140721081010208 140721081008312 139802620736124 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 21323776 140721081017486 140721081017696 140721081017696 140721081020395 0
/proc/31054/statm: 2378 346 289 221 0 87 0
[pid=31055] ppid=31054 vsize=13269256 CPUtime=385.23 cores=1,3,5,7,9,11,13,15
/proc/31055/stat : 31055 (java) S 31054 31054 7411 0 -1 1077944320 125072 0 0 0 34846 3677 0 0 20 0 20 0 4779349 13587718144 2612181 33554432000 4194304 4196468 140727507707968 140727507690512 140546103758583 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 39489536 140727507711164 140727507711340 140727507711340 140727507713999 0
/proc/31055/statm: 3317314 2612181 3268 1 0 3304547 0
[pid=31055/tid=31056] ppid=31054 vsize=13269256 CPUtime=202.53 cores=1,3,5,7,9,11,13,15
/proc/31055/task/31056/stat : 31056 (java) S 31054 31054 7411 0 -1 1077944384 15237 0 0 0 20242 11 0 0 20 0 20 0 4779349 13587718144 2612181 33554432000 4194304 4196468 140727507707968 140546108000176 140546103768789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39489536 140727507711164 140727507711340 140727507711340 140727507713999 0
[pid=31055/tid=31058] ppid=31054 vsize=13269256 CPUtime=21.22 cores=1,3,5,7,9,11,13,15
/proc/31055/task/31058/stat : 31058 (java) R 31054 31054 7411 0 -1 4202560 6609 0 0 0 1706 416 0 0 20 0 20 0 4779350 13587718144 2612181 33554432000 4194304 4196468 140727507707968 140546035894664 140546096386791 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 39489536 140727507711164 140727507711340 140727507711340 140727507713999 0
[pid=31055/tid=31059] ppid=31054 vsize=13269256 CPUtime=21.71 cores=1,3,5,7,9,11,13,15
/proc/31055/task/31059/stat : 31059 (java) R 31054 31054 7411 0 -1 4202560 9637 0 0 0 1670 501 0 0 20 0 20 0 4779350 13587718144 2612181 33554432000 4194304 4196468 140727507707968 140546034842200 140546096861587 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 39489536 140727507711164 140727507711340 140727507711340 140727507713999 0
[pid=31055/tid=31060] ppid=31054 vsize=13269256 CPUtime=21.72 cores=1,3,5,7,9,11,13,15
/proc/31055/task/31060/stat : 31060 (java) R 31054 31054 7411 0 -1 4202560 7701 0 0 0 1737 435 0 0 20 0 20 0 4779350 13587718144 2612181 33554432000 4194304 4196468 140727507707968 140546033789576 140546096386791 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 39489536 140727507711164 140727507711340 140727507711340 140727507713999 0
[pid=31055/tid=31061] ppid=31054 vsize=13269256 CPUtime=21.51 cores=1,3,5,7,9,11,13,15
/proc/31055/task/31061/stat : 31061 (java) R 31054 31054 7411 0 -1 4202560 10317 0 0 0 1687 464 0 0 20 0 20 0 4779350 13587718144 2612181 33554432000 4194304 4196468 140727507707968 140546032737032 140546096386791 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39489536 140727507711164 140727507711340 140727507711340 140727507713999 0
[pid=31055/tid=31062] ppid=31054 vsize=13269256 CPUtime=21.56 cores=1,3,5,7,9,11,13,15
/proc/31055/task/31062/stat : 31062 (java) R 31054 31054 7411 0 -1 4202560 5797 0 0 0 1652 504 0 0 20 0 20 0 4779350 13587718144 2612181 33554432000 4194304 4196468 140727507707968 140546031684488 140546096386791 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 39489536 140727507711164 140727507711340 140727507711340 140727507713999 0
[pid=31055/tid=31063] ppid=31054 vsize=13269256 CPUtime=21.62 cores=1,3,5,7,9,11,13,15
/proc/31055/task/31063/stat : 31063 (java) R 31054 31054 7411 0 -1 4202560 7125 0 0 0 1757 405 0 0 20 0 20 0 4779350 13587718144 2612181 33554432000 4194304 4196468 140727507707968 140546030631944 140546089517400 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 39489536 140727507711164 140727507711340 140727507711340 140727507713999 0
[pid=31055/tid=31064] ppid=31054 vsize=13269256 CPUtime=21.57 cores=1,3,5,7,9,11,13,15
/proc/31055/task/31064/stat : 31064 (java) R 31054 31054 7411 0 -1 4202560 5509 0 0 0 1688 469 0 0 20 0 20 0 4779350 13587718144 2612181 33554432000 4194304 4196468 140727507707968 140546029579400 140546096386791 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39489536 140727507711164 140727507711340 140727507711340 140727507713999 0
[pid=31055/tid=31065] ppid=31054 vsize=13269256 CPUtime=21.46 cores=1,3,5,7,9,11,13,15
/proc/31055/task/31065/stat : 31065 (java) R 31054 31054 7411 0 -1 4202560 6435 0 0 0 1693 453 0 0 20 0 20 0 4779350 13587718144 2612181 33554432000 4194304 4196468 140727507707968 140546028526856 140546096386791 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39489536 140727507711164 140727507711340 140727507711340 140727507713999 0
[pid=31055/tid=31066] ppid=31054 vsize=13269256 CPUtime=7.42 cores=1,3,5,7,9,11,13,15
/proc/31055/task/31066/stat : 31066 (java) S 31054 31054 7411 0 -1 1077944384 28622 0 0 0 739 3 0 0 20 0 20 0 4779352 13587718144 2612181 33554432000 4194304 4196468 140727507707968 140545566003776 140546103768789 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39489536 140727507711164 140727507711340 140727507711340 140727507713999 0
[pid=31055/tid=31067] ppid=31054 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31055/task/31067/stat : 31067 (java) S 31054 31054 7411 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 20 0 4779353 13587718144 2612181 33554432000 4194304 4196468 140727507707968 140545564951520 140546103768789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39489536 140727507711164 140727507711340 140727507711340 140727507713999 0
[pid=31055/tid=31068] ppid=31054 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31055/task/31068/stat : 31068 (java) S 31054 31054 7411 0 -1 1077944384 113 0 0 0 0 0 0 0 20 0 20 0 4779353 13587718144 2612181 33554432000 4194304 4196468 140727507707968 140545563898880 140546103768789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39489536 140727507711164 140727507711340 140727507711340 140727507713999 0
[pid=31055/tid=31069] ppid=31054 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31055/task/31069/stat : 31069 (java) S 31054 31054 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4779357 13587718144 2612181 33554432000 4194304 4196468 140727507707968 140545562847440 140546103777179 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 39489536 140727507711164 140727507711340 140727507711340 140727507713999 0
[pid=31055/tid=31070] ppid=31054 vsize=13269256 CPUtime=0.72 cores=1,3,5,7,9,11,13,15
/proc/31055/task/31070/stat : 31070 (java) S 31054 31054 7411 0 -1 1077944384 4722 0 0 0 71 1 0 0 20 0 20 0 4779357 13587718144 2612181 33554432000 4194304 4196468 140727507707968 140545561795056 140546103769730 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39489536 140727507711164 140727507711340 140727507711340 140727507713999 0
[pid=31055/tid=31071] ppid=31054 vsize=13269256 CPUtime=0.77 cores=1,3,5,7,9,11,13,15
/proc/31055/task/31071/stat : 31071 (java) S 31054 31054 7411 0 -1 1077944384 4955 0 0 0 76 1 0 0 20 0 20 0 4779357 13587718144 2612181 33554432000 4194304 4196468 140727507707968 140545560742512 140546103769730 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 39489536 140727507711164 140727507711340 140727507711340 140727507713999 0
[pid=31055/tid=31072] ppid=31054 vsize=13269256 CPUtime=0.65 cores=1,3,5,7,9,11,13,15
/proc/31055/task/31072/stat : 31072 (java) S 31054 31054 7411 0 -1 1077944384 4241 0 0 0 65 0 0 0 20 0 20 0 4779357 13587718144 2612181 33554432000 4194304 4196468 140727507707968 140545559689968 140546103769730 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39489536 140727507711164 140727507711340 140727507711340 140727507713999 0
[pid=31055/tid=31073] ppid=31054 vsize=13269256 CPUtime=0.5 cores=1,3,5,7,9,11,13,15
/proc/31055/task/31073/stat : 31073 (java) S 31054 31054 7411 0 -1 1077944384 6393 0 0 0 49 1 0 0 20 0 20 0 4779357 13587718144 2612181 33554432000 4194304 4196468 140727507707968 140545558637424 140546103769730 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 11 0 0 6293624 6294260 39489536 140727507711164 140727507711340 140727507711340 140727507713999 0
[pid=31055/tid=31074] ppid=31054 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31055/task/31074/stat : 31074 (java) S 31054 31054 7411 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4779357 13587718144 2612181 33554432000 4194304 4196468 140727507707968 140545489889504 140546103768789 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 39489536 140727507711164 140727507711340 140727507711340 140727507713999 0
[pid=31055/tid=31075] ppid=31054 vsize=13269256 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/31055/task/31075/stat : 31075 (java) S 31054 31054 7411 0 -1 1077944384 367 0 0 0 4 7 0 0 20 0 20 0 4779358 13587718144 2612181 33554432000 4194304 4196468 140727507707968 140545488837040 140546103769730 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 11 0 0 6293624 6294260 39489536 140727507711164 140727507711340 140727507711340 140727507713999 0
Current children cumulated CPU time (s) 385.23
Current children cumulated vsize (KiB) 13278768

[startup+232.901 s]
/proc/loadavg: 10.00 12.14 13.13 17/290 31078
/proc/meminfo: memFree=21032140/32770624 swapFree=5860/291092
[pid=31054] ppid=31051 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31054/stat : 31054 (xcsp3-exec) S 31051 31054 7411 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4779348 9740288 346 33554432000 4194304 5098028 140721081010208 140721081008312 139802620736124 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 21323776 140721081017486 140721081017696 140721081017696 140721081020395 0
/proc/31054/statm: 2378 346 289 221 0 87 0
[pid=31055] ppid=31054 vsize=13269256 CPUtime=387.75 cores=1,3,5,7,9,11,13,15
/proc/31055/stat : 31055 (java) S 31054 31054 7411 0 -1 1077944320 125328 0 0 0 35097 3678 0 0 20 0 20 0 4779349 13587718144 2612181 33554432000 4194304 4196468 140727507707968 140727507690512 140546103758583 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 39489536 140727507711164 140727507711340 140727507711340 140727507713999 0
/proc/31055/statm: 3317314 2612181 3268 1 0 3304547 0
[pid=31055/tid=31056] ppid=31054 vsize=13269256 CPUtime=202.53 cores=1,3,5,7,9,11,13,15
/proc/31055/task/31056/stat : 31056 (java) S 31054 31054 7411 0 -1 1077944384 15237 0 0 0 20242 11 0 0 20 0 20 0 4779349 13587718144 2612181 33554432000 4194304 4196468 140727507707968 140546108000176 140546103768789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39489536 140727507711164 140727507711340 140727507711340 140727507713999 0
[pid=31055/tid=31058] ppid=31054 vsize=13269256 CPUtime=21.47 cores=1,3,5,7,9,11,13,15
/proc/31055/task/31058/stat : 31058 (java) S 31054 31054 7411 0 -1 1077944384 6609 0 0 0 1731 416 0 0 20 0 20 0 4779350 13587718144 2612181 33554432000 4194304 4196468 140727507707968 140546035894544 140546103768789 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 39489536 140727507711164 140727507711340 140727507711340 140727507713999 0
[pid=31055/tid=31059] ppid=31054 vsize=13269256 CPUtime=21.96 cores=1,3,5,7,9,11,13,15
/proc/31055/task/31059/stat : 31059 (java) S 31054 31054 7411 0 -1 1077944384 9637 0 0 0 1695 501 0 0 20 0 20 0 4779350 13587718144 2612181 33554432000 4194304 4196468 140727507707968 140546034842000 140546103768789 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 39489536 140727507711164 140727507711340 140727507711340 140727507713999 0
[pid=31055/tid=31060] ppid=31054 vsize=13269256 CPUtime=21.97 cores=1,3,5,7,9,11,13,15
/proc/31055/task/31060/stat : 31060 (java) S 31054 31054 7411 0 -1 1077944384 7701 0 0 0 1762 435 0 0 20 0 20 0 4779350 13587718144 2612181 33554432000 4194304 4196468 140727507707968 140546033789456 140546103768789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39489536 140727507711164 140727507711340 140727507711340 140727507713999 0
[pid=31055/tid=31061] ppid=31054 vsize=13269256 CPUtime=21.76 cores=1,3,5,7,9,11,13,15
/proc/31055/task/31061/stat : 31061 (java) S 31054 31054 7411 0 -1 1077944384 10317 0 0 0 1712 464 0 0 20 0 20 0 4779350 13587718144 2612181 33554432000 4194304 4196468 140727507707968 140546032736912 140546103768789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39489536 140727507711164 140727507711340 140727507711340 140727507713999 0
[pid=31055/tid=31062] ppid=31054 vsize=13269256 CPUtime=21.81 cores=1,3,5,7,9,11,13,15
/proc/31055/task/31062/stat : 31062 (java) S 31054 31054 7411 0 -1 1077944384 5797 0 0 0 1677 504 0 0 20 0 20 0 4779350 13587718144 2612181 33554432000 4194304 4196468 140727507707968 140546031684368 140546103768789 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 39489536 140727507711164 140727507711340 140727507711340 140727507713999 0
[pid=31055/tid=31063] ppid=31054 vsize=13269256 CPUtime=21.86 cores=1,3,5,7,9,11,13,15
/proc/31055/task/31063/stat : 31063 (java) S 31054 31054 7411 0 -1 1077944384 7125 0 0 0 1780 406 0 0 20 0 20 0 4779350 13587718144 2612181 33554432000 4194304 4196468 140727507707968 140546030631824 140546103768789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39489536 140727507711164 140727507711340 140727507711340 140727507713999 0
[pid=31055/tid=31064] ppid=31054 vsize=13269256 CPUtime=21.82 cores=1,3,5,7,9,11,13,15
/proc/31055/task/31064/stat : 31064 (java) S 31054 31054 7411 0 -1 1077944384 5509 0 0 0 1713 469 0 0 20 0 20 0 4779350 13587718144 2612181 33554432000 4194304 4196468 140727507707968 140546029579280 140546103768789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39489536 140727507711164 140727507711340 140727507711340 140727507713999 0
[pid=31055/tid=31065] ppid=31054 vsize=13269256 CPUtime=21.7 cores=1,3,5,7,9,11,13,15
/proc/31055/task/31065/stat : 31065 (java) S 31054 31054 7411 0 -1 1077944384 6435 0 0 0 1716 454 0 0 20 0 20 0 4779350 13587718144 2612181 33554432000 4194304 4196468 140727507707968 140546028526736 140546103768789 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 39489536 140727507711164 140727507711340 140727507711340 140727507713999 0
[pid=31055/tid=31066] ppid=31054 vsize=13269256 CPUtime=7.97 cores=1,3,5,7,9,11,13,15
/proc/31055/task/31066/stat : 31066 (java) R 31054 31054 7411 0 -1 4202560 28878 0 0 0 794 3 0 0 20 0 20 0 4779352 13587718144 2612181 33554432000 4194304 4196468 140727507707968 140545566003664 140546088754990 0 0 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 39489536 140727507711164 140727507711340 140727507711340 140727507713999 0
[pid=31055/tid=31067] ppid=31054 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31055/task/31067/stat : 31067 (java) S 31054 31054 7411 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 20 0 4779353 13587718144 2612181 33554432000 4194304 4196468 140727507707968 140545564951520 140546103768789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39489536 140727507711164 140727507711340 140727507711340 140727507713999 0
[pid=31055/tid=31068] ppid=31054 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31055/task/31068/stat : 31068 (java) S 31054 31054 7411 0 -1 1077944384 113 0 0 0 0 0 0 0 20 0 20 0 4779353 13587718144 2612181 33554432000 4194304 4196468 140727507707968 140545563898880 140546103768789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39489536 140727507711164 140727507711340 140727507711340 140727507713999 0
[pid=31055/tid=31069] ppid=31054 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31055/task/31069/stat : 31069 (java) S 31054 31054 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4779357 13587718144 2612181 33554432000 4194304 4196468 140727507707968 140545562847440 140546103777179 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 39489536 140727507711164 140727507711340 140727507711340 140727507713999 0
[pid=31055/tid=31070] ppid=31054 vsize=13269256 CPUtime=0.72 cores=1,3,5,7,9,11,13,15
/proc/31055/task/31070/stat : 31070 (java) S 31054 31054 7411 0 -1 1077944384 4722 0 0 0 71 1 0 0 20 0 20 0 4779357 13587718144 2612181 33554432000 4194304 4196468 140727507707968 140545561795056 140546103769730 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39489536 140727507711164 140727507711340 140727507711340 140727507713999 0
[pid=31055/tid=31071] ppid=31054 vsize=13269256 CPUtime=0.77 cores=1,3,5,7,9,11,13,15
/proc/31055/task/31071/stat : 31071 (java) S 31054 31054 7411 0 -1 1077944384 4955 0 0 0 76 1 0 0 20 0 20 0 4779357 13587718144 2612181 33554432000 4194304 4196468 140727507707968 140545560742512 140546103769730 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 39489536 140727507711164 140727507711340 140727507711340 140727507713999 0
[pid=31055/tid=31072] ppid=31054 vsize=13269256 CPUtime=0.65 cores=1,3,5,7,9,11,13,15
/proc/31055/task/31072/stat : 31072 (java) S 31054 31054 7411 0 -1 1077944384 4241 0 0 0 65 0 0 0 20 0 20 0 4779357 13587718144 2612181 33554432000 4194304 4196468 140727507707968 140545559689968 140546103769730 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39489536 140727507711164 140727507711340 140727507711340 140727507713999 0
[pid=31055/tid=31073] ppid=31054 vsize=13269256 CPUtime=0.5 cores=1,3,5,7,9,11,13,15
/proc/31055/task/31073/stat : 31073 (java) S 31054 31054 7411 0 -1 1077944384 6393 0 0 0 49 1 0 0 20 0 20 0 4779357 13587718144 2612181 33554432000 4194304 4196468 140727507707968 140545558637424 140546103769730 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 11 0 0 6293624 6294260 39489536 140727507711164 140727507711340 140727507711340 140727507713999 0
[pid=31055/tid=31074] ppid=31054 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31055/task/31074/stat : 31074 (java) S 31054 31054 7411 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4779357 13587718144 2612181 33554432000 4194304 4196468 140727507707968 140545489889504 140546103768789 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 39489536 140727507711164 140727507711340 140727507711340 140727507713999 0
[pid=31055/tid=31075] ppid=31054 vsize=13269256 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/31055/task/31075/stat : 31075 (java) S 31054 31054 7411 0 -1 1077944384 367 0 0 0 4 7 0 0 20 0 20 0 4779358 13587718144 2612181 33554432000 4194304 4196468 140727507707968 140545488837040 140546103769730 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 11 0 0 6293624 6294260 39489536 140727507711164 140727507711340 140727507711340 140727507713999 0
Current children cumulated CPU time (s) 387.75
Current children cumulated vsize (KiB) 13278768

[startup+233.301 s]
/proc/loadavg: 10.00 12.14 13.13 17/291 31079
/proc/meminfo: memFree=21032000/32770624 swapFree=5860/291092
[pid=31054] ppid=31051 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31054/stat : 31054 (xcsp3-exec) S 31051 31054 7411 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4779348 9740288 346 33554432000 4194304 5098028 140721081010208 140721081008312 139802620736124 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 21323776 140721081017486 140721081017696 140721081017696 140721081020395 0
/proc/31054/statm: 2378 346 289 221 0 87 0
[pid=31055] ppid=31054 vsize=13335820 CPUtime=390.36 cores=1,3,5,7,9,11,13,15
/proc/31055/stat : 31055 (java) S 31054 31054 7411 0 -1 1077944320 125751 0 0 0 35358 3678 0 0 20 0 21 0 4779349 13655879680 2612185 33554432000 4194304 4196468 140727507707968 140727507690512 140546103758583 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 39489536 140727507711164 140727507711340 140727507711340 140727507713999 0
/proc/31055/statm: 3333955 2612185 3268 1 0 3321188 0
[pid=31055/tid=31056] ppid=31054 vsize=13335820 CPUtime=202.53 cores=1,3,5,7,9,11,13,15
/proc/31055/task/31056/stat : 31056 (java) S 31054 31054 7411 0 -1 1077944384 15248 0 0 0 20242 11 0 0 20 0 21 0 4779349 13655879680 2612185 33554432000 4194304 4196468 140727507707968 140546107999264 140546103768789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39489536 140727507711164 140727507711340 140727507711340 140727507713999 0
[pid=31055/tid=31058] ppid=31054 vsize=13335820 CPUtime=21.79 cores=1,3,5,7,9,11,13,15
/proc/31055/task/31058/stat : 31058 (java) R 31054 31054 7411 0 -1 4202560 6643 0 0 0 1763 416 0 0 20 0 21 0 4779350 13655879680 2612185 33554432000 4194304 4196468 140727507707968 140546035894744 140546088754980 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 39489536 140727507711164 140727507711340 140727507711340 140727507713999 0
[pid=31055/tid=31059] ppid=31054 vsize=13335820 CPUtime=22.28 cores=1,3,5,7,9,11,13,15
/proc/31055/task/31059/stat : 31059 (java) R 31054 31054 7411 0 -1 4202560 9718 0 0 0 1727 501 0 0 20 0 21 0 4779350 13655879680 2612185 33554432000 4194304 4196468 140727507707968 140546034842200 140546096386791 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 39489536 140727507711164 140727507711340 140727507711340 140727507713999 0
[pid=31055/tid=31060] ppid=31054 vsize=13335820 CPUtime=22.29 cores=1,3,5,7,9,11,13,15
/proc/31055/task/31060/stat : 31060 (java) R 31054 31054 7411 0 -1 4202560 7798 0 0 0 1794 435 0 0 20 0 21 0 4779350 13655879680 2612185 33554432000 4194304 4196468 140727507707968 140546033789656 140546096386791 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39489536 140727507711164 140727507711340 140727507711340 140727507713999 0
[pid=31055/tid=31061] ppid=31054 vsize=13335820 CPUtime=22.08 cores=1,3,5,7,9,11,13,15
/proc/31055/task/31061/stat : 31061 (java) R 31054 31054 7411 0 -1 4202560 10338 0 0 0 1744 464 0 0 20 0 21 0 4779350 13655879680 2612185 33554432000 4194304 4196468 140727507707968 140546032737112 140546088754950 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39489536 140727507711164 140727507711340 140727507711340 140727507713999 0
[pid=31055/tid=31062] ppid=31054 vsize=13335820 CPUtime=22.13 cores=1,3,5,7,9,11,13,15
/proc/31055/task/31062/stat : 31062 (java) R 31054 31054 7411 0 -1 4202560 5953 0 0 0 1709 504 0 0 20 0 21 0 4779350 13655879680 2612185 33554432000 4194304 4196468 140727507707968 140546031684568 140546088755229 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39489536 140727507711164 140727507711340 140727507711340 140727507713999 0
[pid=31055/tid=31063] ppid=31054 vsize=13335820 CPUtime=22.17 cores=1,3,5,7,9,11,13,15
/proc/31055/task/31063/stat : 31063 (java) R 31054 31054 7411 0 -1 4202560 7125 0 0 0 1811 406 0 0 20 0 21 0 4779350 13655879680 2612185 33554432000 4194304 4196468 140727507707968 140546030631712 140546088216169 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 39489536 140727507711164 140727507711340 140727507711340 140727507713999 0
[pid=31055/tid=31064] ppid=31054 vsize=13335820 CPUtime=22.13 cores=1,3,5,7,9,11,13,15
/proc/31055/task/31064/stat : 31064 (java) R 31054 31054 7411 0 -1 4202560 5509 0 0 0 1744 469 0 0 20 0 21 0 4779350 13655879680 2612185 33554432000 4194304 4196468 140727507707968 140546029579480 140546096386791 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 39489536 140727507711164 140727507711340 140727507711340 140727507713999 0
[pid=31055/tid=31065] ppid=31054 vsize=13335820 CPUtime=22.01 cores=1,3,5,7,9,11,13,15
/proc/31055/task/31065/stat : 31065 (java) R 31054 31054 7411 0 -1 4202560 6435 0 0 0 1747 454 0 0 20 0 21 0 4779350 13655879680 2612185 33554432000 4194304 4196468 140727507707968 140546028526856 140546089517400 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 39489536 140727507711164 140727507711340 140727507711340 140727507713999 0
[pid=31055/tid=31066] ppid=31054 vsize=13335820 CPUtime=8.06 cores=1,3,5,7,9,11,13,15
/proc/31055/task/31066/stat : 31066 (java) S 31054 31054 7411 0 -1 1077944384 28878 0 0 0 803 3 0 0 20 0 21 0 4779352 13655879680 2612185 33554432000 4194304 4196468 140727507707968 140545566003776 140546103768789 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39489536 140727507711164 140727507711340 140727507711340 140727507713999 0
[pid=31055/tid=31067] ppid=31054 vsize=13335820 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31055/task/31067/stat : 31067 (java) S 31054 31054 7411 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 21 0 4779353 13655879680 2612185 33554432000 4194304 4196468 140727507707968 140545564951520 140546103768789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39489536 140727507711164 140727507711340 140727507711340 140727507713999 0
[pid=31055/tid=31068] ppid=31054 vsize=13335820 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31055/task/31068/stat : 31068 (java) S 31054 31054 7411 0 -1 1077944384 113 0 0 0 0 0 0 0 20 0 21 0 4779353 13655879680 2612185 33554432000 4194304 4196468 140727507707968 140545563898880 140546103768789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39489536 140727507711164 140727507711340 140727507711340 140727507713999 0
[pid=31055/tid=31069] ppid=31054 vsize=13335820 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31055/task/31069/stat : 31069 (java) S 31054 31054 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 4779357 13655879680 2612185 33554432000 4194304 4196468 140727507707968 140545562847440 140546103777179 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 39489536 140727507711164 140727507711340 140727507711340 140727507713999 0
[pid=31055/tid=31070] ppid=31054 vsize=13335820 CPUtime=0.72 cores=1,3,5,7,9,11,13,15
/proc/31055/task/31070/stat : 31070 (java) S 31054 31054 7411 0 -1 1077944384 4722 0 0 0 71 1 0 0 20 0 21 0 4779357 13655879680 2612185 33554432000 4194304 4196468 140727507707968 140545561795056 140546103769730 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39489536 140727507711164 140727507711340 140727507711340 140727507713999 0
[pid=31055/tid=31071] ppid=31054 vsize=13335820 CPUtime=0.77 cores=1,3,5,7,9,11,13,15
/proc/31055/task/31071/stat : 31071 (java) S 31054 31054 7411 0 -1 1077944384 4955 0 0 0 76 1 0 0 20 0 21 0 4779357 13655879680 2612185 33554432000 4194304 4196468 140727507707968 140545560742512 140546103769730 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 39489536 140727507711164 140727507711340 140727507711340 140727507713999 0
[pid=31055/tid=31072] ppid=31054 vsize=13335820 CPUtime=0.65 cores=1,3,5,7,9,11,13,15
/proc/31055/task/31072/stat : 31072 (java) S 31054 31054 7411 0 -1 1077944384 4241 0 0 0 65 0 0 0 20 0 21 0 4779357 13655879680 2612185 33554432000 4194304 4196468 140727507707968 140545559689968 140546103769730 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39489536 140727507711164 140727507711340 140727507711340 140727507713999 0
[pid=31055/tid=31073] ppid=31054 vsize=13335820 CPUtime=0.5 cores=1,3,5,7,9,11,13,15
/proc/31055/task/31073/stat : 31073 (java) S 31054 31054 7411 0 -1 1077944384 6393 0 0 0 49 1 0 0 20 0 21 0 4779357 13655879680 2612185 33554432000 4194304 4196468 140727507707968 140545558637424 140546103769730 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 11 0 0 6293624 6294260 39489536 140727507711164 140727507711340 140727507711340 140727507713999 0
[pid=31055/tid=31074] ppid=31054 vsize=13335820 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31055/task/31074/stat : 31074 (java) S 31054 31054 7411 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 4779357 13655879680 2612185 33554432000 4194304 4196468 140727507707968 140545489889504 140546103768789 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 39489536 140727507711164 140727507711340 140727507711340 140727507713999 0
[pid=31055/tid=31075] ppid=31054 vsize=13335820 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/31055/task/31075/stat : 31075 (java) S 31054 31054 7411 0 -1 1077944384 367 0 0 0 4 7 0 0 20 0 21 0 4779358 13655879680 2612185 33554432000 4194304 4196468 140727507707968 140545488837040 140546103769730 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 11 0 0 6293624 6294260 39489536 140727507711164 140727507711340 140727507711340 140727507713999 0
[pid=31055/tid=31079] ppid=31054 vsize=13335820 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31055/task/31079/stat : 31079 (java) S 31054 31054 7411 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 21 0 4802647 13655879680 2612185 33554432000 4194304 4196468 140727507707968 140545481325888 140546103768789 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 39489536 140727507711164 140727507711340 140727507711340 140727507713999 0
Current children cumulated CPU time (s) 390.36
Current children cumulated vsize (KiB) 13345332

[startup+233.501 s]
/proc/loadavg: 10.00 12.14 13.13 17/291 31079
/proc/meminfo: memFree=21032000/32770624 swapFree=5860/291092
[pid=31054] ppid=31051 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31054/stat : 31054 (xcsp3-exec) S 31051 31054 7411 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4779348 9740288 346 33554432000 4194304 5098028 140721081010208 140721081008312 139802620736124 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 21323776 140721081017486 140721081017696 140721081017696 140721081020395 0
/proc/31054/statm: 2378 346 289 221 0 87 0
[pid=31055] ppid=31054 vsize=0 CPUtime=390.7 cores=1,3,5,7,9,11,13,15
/proc/31055/stat : 31055 (java) Z 31054 31054 7411 0 -1 4227084 125797 0 0 0 35388 3682 0 0 20 0 2 0 4779349 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 0 0 0 0 0 0 0 0
/proc/31055/statm: 0 0 0 0 0 0 0
[pid=31055/tid=31063] ppid=31054 vsize=0 CPUtime=22.21 cores=1,3,5,7,9,11,13,15
/proc/31055/task/31063/stat : 31063 (java) R 31054 31054 7411 0 -1 4203588 7125 0 0 0 1813 408 0 0 20 0 2 0 4779350 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 13 0 0 0 0 0 0 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 390.7
Current children cumulated vsize (KiB) 9512

Child status: 1
Real time (s): 233.51
CPU time (s): 390.719
CPU user time (s): 353.889
CPU system time (s): 36.8295
CPU usage (%): 167.324
Max. virtual memory (cumulated for all children) (KiB): 13345332

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 353.889
system time used= 36.8295
maximum resident set size= 10449112
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 126326
page faults= 0
swaps= 0
block input operations= 0
block output operations= 392
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 10797
involuntary context switches= 29368

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.78916 second user time and 2.64142 second system time

The end

Launcher Data 

Begin job on node131 at 2017-07-22 05:45:19
IDJOB=4249518
IDBENCH=137017
IDSOLVER=2626
FILE ID=node131/4249518-1500695119
RUNJOBID= node131-1500682620-7802
PBS_JOBID= 20623041
Free space on /tmp= 62008 MiB

SOLVER NAME= choco-solver 5a
BENCH NAME= XCSP17/BinPacking/BinPacking-tab-fu/BinPacking-tab-fu0500-12.xml
COMMAND LINE= ./xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 10000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4249518-1500695119/watcher-4249518-1500695119 -o /tmp/evaluation-result-4249518-1500695119/solver-4249518-1500695119 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node131-1500682620-7802 --watchdog 2560  ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 1690189379 HOME/instance-4249518-1500695119.xml

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

MD5SUM BENCH= c3cbaa9ce8e56a4446daa69c64b890b7
RANDOM SEED=1690189379

node131.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	: 5334.06
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		: 1733.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	: 5334.06
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		: 1733.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		: 2668.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	: 5334.06
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		: 1733.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	: 5334.06
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		: 2668.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	: 5334.06
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		: 1867.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		: 2668.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	: 5334.06
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	: 5334.06
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		: 2668.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	: 5334.06
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:        31609064 kB
MemAvailable:   31780380 kB
Buffers:          116244 kB
Cached:           337280 kB
SwapCached:            0 kB
Active:           432256 kB
Inactive:         299748 kB
Active(anon):     281000 kB
Inactive(anon):     8680 kB
Active(file):     151256 kB
Inactive(file):   291068 kB
Unevictable:        5860 kB
Mlocked:            5860 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             10280 kB
Writeback:             0 kB
AnonPages:        289344 kB
Mapped:            42696 kB
Shmem:              8844 kB
Slab:             123816 kB
SReclaimable:      89656 kB
SUnreclaim:        34160 kB
KernelStack:        4992 kB
PageTables:         5780 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1262388 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    176128 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      124288 kB
DirectMap2M:    33421312 kB

Free space on /tmp at the end= 62000 MiB
End job on node131 at 2017-07-22 05:49:13