Trace number 4249971

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: choco-solver 5a (2017-07-05)? 613.185 324.604

General information on the benchmark

NameSuperSolutions/SuperSolutions-Taillard-js20-15/
SuperTaillard-js-20-15-15.xml
MD5SUM6d7e3033fdb5217c74d2816bb8c5b7b8
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 variables600
Number of constraints9690
Number of domains95
Minimum domain size1346
Maximum domain size1444
Distribution of domain sizes[{"size":1346,"count":6},{"size":1347,"count":4},{"size":1348,"count":4},{"size":1349,"count":2},{"size":1350,"count":2},{"size":1351,"count":6},{"size":1352,"count":2},{"size":1353,"count":6},{"size":1354,"count":4},{"size":1355,"count":2},{"size":1356,"count":12},{"size":1357,"count":8},{"size":1358,"count":8},{"size":1359,"count":8},{"size":1360,"count":8},{"size":1361,"count":4},{"size":1362,"count":10},{"size":1363,"count":8},{"size":1364,"count":2},{"size":1365,"count":14},{"size":1366,"count":6},{"size":1367,"count":14},{"size":1368,"count":6},{"size":1369,"count":10},{"size":1370,"count":14},"...",{"size":1419,"count":10}, {"size":1420,"count":8}, {"size":1421,"count":6}, {"size":1422,"count":4}, {"size":1423,"count":6}, {"size":1424,"count":2}, {"size":1425,"count":8}, {"size":1426,"count":4}, {"size":1427,"count":10}, {"size":1429,"count":4}, {"size":1430,"count":12}, {"size":1431,"count":6}, {"size":1432,"count":14}, {"size":1433,"count":6}, {"size":1434,"count":12}, {"size":1435,"count":8}, {"size":1436,"count":4}, {"size":1437,"count":4}, {"size":1438,"count":6}, {"size":1439,"count":10}, {"size":1440,"count":6}, {"size":1441,"count":8}, {"size":1442,"count":8}, {"size":1443,"count":2}, {"size":1444,"count":12}]
Minimum variable degree21
Maximum variable degree43
Distribution of variable degrees[{"degree":21,"count":40},{"degree":22,"count":260},{"degree":41,"count":40},{"degree":43,"count":260}]
Minimum constraint arity2
Maximum constraint arity2
Distribution of constraint arities[{"arity":2,"count":9690}]
Number of extensional constraints0
Number of intensional constraints9690
Distribution of constraint types[{"type":"intension","count":9690}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c java -server -Xmx10000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4249971-1500696234.xml"  -tl '2400s' -p 8 -x 3
0.00/0.19	c [HOME/instance-4249971-1500696234.xml, -tl, 2400s, -p, 8, -x, 3]
0.00/0.25	c 8 solvers in parallel
0.00/0.35	c parse instance...
594.98/322.06	Exception in thread "main" java.lang.OutOfMemoryError: GC overhead limit exceeded
594.98/322.07		at java.util.stream.ReferencePipeline.mapToInt(ReferencePipeline.java:203)
594.98/322.07		at org.chocosolver.solver.expression.discrete.arithmetic.NaArExpression.ieval(NaArExpression.java:123)
594.98/322.07		at org.chocosolver.solver.expression.discrete.relational.BiReExpression.beval(BiReExpression.java:214)
594.98/322.07		at org.chocosolver.solver.expression.discrete.logical.NaLoExpression.beval(NaLoExpression.java:117)
594.98/322.07		at org.chocosolver.solver.expression.discrete.relational.ReExpression.lambda$extension$6(ReExpression.java:148)
594.98/322.07		at org.chocosolver.solver.expression.discrete.relational.ReExpression$$Lambda$76/206835546.valid(Unknown Source)
594.98/322.07		at org.chocosolver.solver.constraints.extension.TuplesFactory.generateTuples(TuplesFactory.java:88)
594.98/322.07		at org.chocosolver.solver.expression.discrete.relational.ReExpression.extension(ReExpression.java:148)
594.98/322.07		at org.chocosolver.parser.xcsp.XCSPParser.buildCtrIntension(XCSPParser.java:112)
594.98/322.07		at org.xcsp.parser.loaders.CtrLoaderInteger.intension(CtrLoaderInteger.java:394)
594.98/322.07		at org.xcsp.parser.loaders.CtrLoaderInteger.load(CtrLoaderInteger.java:127)
594.98/322.07		at org.xcsp.parser.XCallbacks.loadCtr(XCallbacks.java:457)
594.98/322.07		at org.xcsp.parser.XCallbacks.lambda$loadCtrs$346(XCallbacks.java:440)
594.98/322.07		at org.xcsp.parser.XCallbacks$$Lambda$46/2007331442.accept(Unknown Source)
594.98/322.07		at java.util.Spliterators$ArraySpliterator.forEachRemaining(Spliterators.java:948)
594.98/322.07		at java.util.stream.ReferencePipeline$Head.forEach(ReferencePipeline.java:580)
594.98/322.07		at org.xcsp.parser.XCallbacks.loadCtrs(XCallbacks.java:437)
594.98/322.07		at org.chocosolver.parser.xcsp.XCSPParser.loadGroup(XCSPParser.java:1406)
594.98/322.07		at org.xcsp.parser.XCallbacks.loadConstraints(XCallbacks.java:368)
594.98/322.07		at org.xcsp.parser.XCallbacks.loadConstraints(XCallbacks.java:353)
594.98/322.07		at org.xcsp.parser.XCallbacks.loadInstance(XCallbacks.java:260)
594.98/322.07		at org.chocosolver.parser.xcsp.XCSPParser.model(XCSPParser.java:88)
594.98/322.07		at org.chocosolver.parser.xcsp.XCSP.parse(XCSP.java:114)
594.98/322.07		at org.chocosolver.parser.xcsp.XCSP.buildModel(XCSP.java:101)
594.98/322.07		at org.chocosolver.parser.xcsp.ChocoXCSP.main(ChocoXCSP.java:23)
613.08/324.52	s UNKNOWN
613.08/324.52	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-4249971-1500696234/watcher-4249971-1500696234 -o /tmp/evaluation-result-4249971-1500696234/solver-4249971-1500696234 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node130-1500684118-8559 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 1910951436 HOME/instance-4249971-1500696234.xml 

pid=19401
running on 8 cores: 0,2,4,6,8,10,12,14

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: 14.54 12.39 13.24 10/262 19404
/proc/meminfo: memFree=21794996/32770624 swapFree=5656/335052
[pid=19404] ppid=19401 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19404/stat : 19404 (xcsp3-exec) S 19401 19404 7102 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4890912 9740288 346 33554432000 4194304 5098028 140735238001536 140735237999640 140579328995964 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 31322112 140735238009998 140735238010208 140735238010208 140735238012907 0
/proc/19404/statm: 2378 346 289 221 0 87 0

[startup+0.100103 s]
/proc/loadavg: 14.54 12.39 13.24 10/262 19404
/proc/meminfo: memFree=21794996/32770624 swapFree=5656/335052
[pid=19404] ppid=19401 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19404/stat : 19404 (xcsp3-exec) S 19401 19404 7102 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4890912 9740288 346 33554432000 4194304 5098028 140735238001536 140735237999640 140579328995964 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 31322112 140735238009998 140735238010208 140735238010208 140735238012907 0
/proc/19404/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.200364 s]
/proc/loadavg: 14.54 12.39 13.24 10/262 19404
/proc/meminfo: memFree=21794996/32770624 swapFree=5656/335052
[pid=19404] ppid=19401 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19404/stat : 19404 (xcsp3-exec) S 19401 19404 7102 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4890912 9740288 346 33554432000 4194304 5098028 140735238001536 140735237999640 140579328995964 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 31322112 140735238009998 140735238010208 140735238010208 140735238012907 0
/proc/19404/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.300321 s]
/proc/loadavg: 14.54 12.39 13.24 10/262 19404
/proc/meminfo: memFree=21794996/32770624 swapFree=5656/335052
[pid=19404] ppid=19401 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19404/stat : 19404 (xcsp3-exec) S 19401 19404 7102 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4890912 9740288 346 33554432000 4194304 5098028 140735238001536 140735237999640 140579328995964 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 31322112 140735238009998 140735238010208 140735238010208 140735238012907 0
/proc/19404/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.700232 s]
/proc/loadavg: 14.54 12.39 13.24 10/262 19404
/proc/meminfo: memFree=21794996/32770624 swapFree=5656/335052
[pid=19404] ppid=19401 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19404/stat : 19404 (xcsp3-exec) S 19401 19404 7102 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4890912 9740288 346 33554432000 4194304 5098028 140735238001536 140735237999640 140579328995964 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 31322112 140735238009998 140735238010208 140735238010208 140735238012907 0
/proc/19404/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+1.50077 s]
/proc/loadavg: 14.42 12.40 13.24 11/283 19425
/proc/meminfo: memFree=21604464/32770624 swapFree=5656/335456
[pid=19404] ppid=19401 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19404/stat : 19404 (xcsp3-exec) S 19401 19404 7102 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4890912 9740288 346 33554432000 4194304 5098028 140735238001536 140735237999640 140579328995964 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 31322112 140735238009998 140735238010208 140735238010208 140735238012907 0
/proc/19404/statm: 2378 346 289 221 0 87 0
[pid=19405] ppid=19404 vsize=13269256 CPUtime=4.53 cores=0,2,4,6,8,10,12,14
/proc/19405/stat : 19405 (java) S 19404 19404 7102 0 -1 1077944320 16553 0 0 0 405 48 0 0 20 0 20 0 4890913 13587718144 99653 33554432000 4194304 4196468 140735133344688 140735133327232 139858349448951 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 37748736 140735133349052 140735133349228 140735133349228 140735133351887 0
/proc/19405/statm: 3317314 99653 3237 1 0 3304547 0
[pid=19405/tid=19406] ppid=19404 vsize=13269256 CPUtime=1.35 cores=0,2,4,6,8,10,12,14
/proc/19405/task/19406/stat : 19406 (java) S 19404 19404 7102 0 -1 1077944384 6680 0 0 0 128 7 0 0 20 0 20 0 4890913 13587718144 99653 33554432000 4194304 4196468 140735133344688 139858353687296 139858349459157 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 37748736 140735133349052 140735133349228 140735133349228 140735133351887 0
[pid=19405/tid=19408] ppid=19404 vsize=13269256 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/19405/task/19408/stat : 19408 (java) R 19404 19404 7102 0 -1 4202560 97 0 0 0 5 4 0 0 20 0 20 0 4890914 13587718144 99653 33554432000 4194304 4196468 140735133344688 139858302069464 139858334471072 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37748736 140735133349052 140735133349228 140735133349228 140735133351887 0
[pid=19405/tid=19409] ppid=19404 vsize=13269256 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/19405/task/19409/stat : 19409 (java) R 19404 19404 7102 0 -1 4202560 100 0 0 0 5 4 0 0 20 0 20 0 4890914 13587718144 99653 33554432000 4194304 4196468 140735133344688 139858301016920 139858334476370 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 37748736 140735133349052 140735133349228 140735133349228 140735133351887 0
[pid=19405/tid=19410] ppid=19404 vsize=13269256 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/19405/task/19410/stat : 19410 (java) R 19404 19404 7102 0 -1 4202560 93 0 0 0 5 4 0 0 20 0 20 0 4890914 13587718144 99653 33554432000 4194304 4196468 140735133344688 139858299963864 139858334476370 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 37748736 140735133349052 140735133349228 140735133349228 140735133351887 0
[pid=19405/tid=19411] ppid=19404 vsize=13269256 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/19405/task/19411/stat : 19411 (java) R 19404 19404 7102 0 -1 4202560 92 0 0 0 5 4 0 0 20 0 20 0 4890914 13587718144 99653 33554432000 4194304 4196468 140735133344688 139858298911320 139858334493037 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 37748736 140735133349052 140735133349228 140735133349228 140735133351887 0
[pid=19405/tid=19412] ppid=19404 vsize=13269256 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/19405/task/19412/stat : 19412 (java) R 19404 19404 7102 0 -1 4202560 102 0 0 0 5 5 0 0 20 0 20 0 4890914 13587718144 99653 33554432000 4194304 4196468 140735133344688 139858297858976 139858334471072 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 37748736 140735133349052 140735133349228 140735133349228 140735133351887 0
[pid=19405/tid=19413] ppid=19404 vsize=13269256 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/19405/task/19413/stat : 19413 (java) R 19404 19404 7102 0 -1 4202560 101 0 0 0 6 4 0 0 20 0 20 0 4890914 13587718144 99653 33554432000 4194304 4196468 140735133344688 139858296806744 139858334471141 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 37748736 140735133349052 140735133349228 140735133349228 140735133351887 0
[pid=19405/tid=19414] ppid=19404 vsize=13269256 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/19405/task/19414/stat : 19414 (java) R 19404 19404 7102 0 -1 4202560 90 0 0 0 4 5 0 0 20 0 20 0 4890914 13587718144 99653 33554432000 4194304 4196468 140735133344688 139857942215640 139858334476037 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37748736 140735133349052 140735133349228 140735133349228 140735133351887 0
[pid=19405/tid=19415] ppid=19404 vsize=13269256 CPUtime=0.08 cores=0,2,4,6,8,10,12,14
/proc/19405/task/19415/stat : 19415 (java) R 19404 19404 7102 0 -1 4202560 86 0 0 0 4 4 0 0 20 0 20 0 4890914 13587718144 99653 33554432000 4194304 4196468 140735133344688 139857941163096 139858334476370 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37748736 140735133349052 140735133349228 140735133349228 140735133351887 0
[pid=19405/tid=19416] ppid=19404 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19405/task/19416/stat : 19416 (java) S 19404 19404 7102 0 -1 1077944384 210 0 0 0 0 0 0 0 20 0 20 0 4890917 13587718144 99653 33554432000 4194304 4196468 140735133344688 139857811673888 139858349459157 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37748736 140735133349052 140735133349228 140735133349228 140735133351887 0
[pid=19405/tid=19417] ppid=19404 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19405/task/19417/stat : 19417 (java) S 19404 19404 7102 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 4890917 13587718144 99653 33554432000 4194304 4196468 140735133344688 139857810621600 139858349459157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37748736 140735133349052 140735133349228 140735133349228 140735133351887 0
[pid=19405/tid=19418] ppid=19404 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19405/task/19418/stat : 19418 (java) S 19404 19404 7102 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 20 0 4890918 13587718144 99653 33554432000 4194304 4196468 140735133344688 139857809568496 139858349459157 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 37748736 140735133349052 140735133349228 140735133349228 140735133351887 0
[pid=19405/tid=19419] ppid=19404 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19405/task/19419/stat : 19419 (java) S 19404 19404 7102 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4890921 13587718144 99653 33554432000 4194304 4196468 140735133344688 139857808517072 139858349467547 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 37748736 140735133349052 140735133349228 140735133349228 140735133351887 0
[pid=19405/tid=19420] ppid=19404 vsize=13269256 CPUtime=0.62 cores=0,2,4,6,8,10,12,14
/proc/19405/task/19420/stat : 19420 (java) S 19404 19404 7102 0 -1 1077944384 2057 0 0 0 62 0 0 0 20 0 20 0 4890921 13587718144 99653 33554432000 4194304 4196468 140735133344688 139857807465200 139858349460098 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37748736 140735133349052 140735133349228 140735133349228 140735133351887 0
[pid=19405/tid=19421] ppid=19404 vsize=13269256 CPUtime=0.63 cores=0,2,4,6,8,10,12,14
/proc/19405/task/19421/stat : 19421 (java) S 19404 19404 7102 0 -1 1077944384 2314 0 0 0 63 0 0 0 20 0 20 0 4890921 13587718144 99653 33554432000 4194304 4196468 140735133344688 139857806412656 139858349460098 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 37748736 140735133349052 140735133349228 140735133349228 140735133351887 0
[pid=19405/tid=19422] ppid=19404 vsize=13269256 CPUtime=0.59 cores=0,2,4,6,8,10,12,14
/proc/19405/task/19422/stat : 19422 (java) S 19404 19404 7102 0 -1 1077944384 1495 0 0 0 59 0 0 0 20 0 20 0 4890921 13587718144 99653 33554432000 4194304 4196468 140735133344688 139857805359600 139858349460098 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37748736 140735133349052 140735133349228 140735133349228 140735133351887 0
[pid=19405/tid=19423] ppid=19404 vsize=13269256 CPUtime=0.44 cores=0,2,4,6,8,10,12,14
/proc/19405/task/19423/stat : 19423 (java) S 19404 19404 7102 0 -1 1077944384 1740 0 0 0 44 0 0 0 20 0 20 0 4890921 13587718144 99653 33554432000 4194304 4196468 140735133344688 139857804307056 139858349460098 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 37748736 140735133349052 140735133349228 140735133349228 140735133351887 0
[pid=19405/tid=19424] ppid=19404 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19405/task/19424/stat : 19424 (java) S 19404 19404 7102 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4890922 13587718144 99653 33554432000 4194304 4196468 140735133344688 139857803254240 139858349459157 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 37748736 140735133349052 140735133349228 140735133349228 140735133351887 0
[pid=19405/tid=19425] ppid=19404 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19405/task/19425/stat : 19425 (java) S 19404 19404 7102 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4890922 13587718144 99653 33554432000 4194304 4196468 140735133344688 139857802201776 139858349460098 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37748736 140735133349052 140735133349228 140735133349228 140735133351887 0
Current children cumulated CPU time (s) 4.53
Current children cumulated vsize (KiB) 13278768

[startup+3.1009 s]
/proc/loadavg: 14.42 12.40 13.24 17/283 19425
/proc/meminfo: memFree=20858192/32770624 swapFree=5656/335456
[pid=19404] ppid=19401 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19404/stat : 19404 (xcsp3-exec) S 19401 19404 7102 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4890912 9740288 346 33554432000 4194304 5098028 140735238001536 140735237999640 140579328995964 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 31322112 140735238009998 140735238010208 140735238010208 140735238012907 0
/proc/19404/statm: 2378 346 289 221 0 87 0
[pid=19405] ppid=19404 vsize=13269256 CPUtime=11.79 cores=0,2,4,6,8,10,12,14
/proc/19405/stat : 19405 (java) S 19404 19404 7102 0 -1 1077944320 33958 0 0 0 871 308 0 0 20 0 20 0 4890913 13587718144 292816 33554432000 4194304 4196468 140735133344688 140735133327232 139858349448951 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 37748736 140735133349052 140735133349228 140735133349228 140735133351887 0
/proc/19405/statm: 3317314 292816 3250 1 0 3304547 0
[pid=19405/tid=19406] ppid=19404 vsize=13269256 CPUtime=1.9 cores=0,2,4,6,8,10,12,14
/proc/19405/task/19406/stat : 19406 (java) R 19404 19404 7102 0 -1 4202560 6898 0 0 0 179 11 0 0 20 0 20 0 4890913 13587718144 292816 33554432000 4194304 4196468 140735133344688 139858353684488 139857980800609 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 37748736 140735133349052 140735133349228 140735133349228 140735133351887 0
[pid=19405/tid=19408] ppid=19404 vsize=13269256 CPUtime=0.9 cores=0,2,4,6,8,10,12,14
/proc/19405/task/19408/stat : 19408 (java) S 19404 19404 7102 0 -1 1077944384 2199 0 0 0 54 36 0 0 20 0 20 0 4890914 13587718144 292816 33554432000 4194304 4196468 140735133344688 139858302069264 139858349459157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37748736 140735133349052 140735133349228 140735133349228 140735133351887 0
[pid=19405/tid=19409] ppid=19404 vsize=13269256 CPUtime=0.91 cores=0,2,4,6,8,10,12,14
/proc/19405/task/19409/stat : 19409 (java) S 19404 19404 7102 0 -1 1077944384 2078 0 0 0 55 36 0 0 20 0 20 0 4890914 13587718144 292816 33554432000 4194304 4196468 140735133344688 139858301016720 139858349459157 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 37748736 140735133349052 140735133349228 140735133349228 140735133351887 0
[pid=19405/tid=19410] ppid=19404 vsize=13269256 CPUtime=0.89 cores=0,2,4,6,8,10,12,14
/proc/19405/task/19410/stat : 19410 (java) S 19404 19404 7102 0 -1 1077944384 2051 0 0 0 54 35 0 0 20 0 20 0 4890914 13587718144 292816 33554432000 4194304 4196468 140735133344688 139858299963664 139858349459157 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 37748736 140735133349052 140735133349228 140735133349228 140735133351887 0
[pid=19405/tid=19411] ppid=19404 vsize=13269256 CPUtime=0.92 cores=0,2,4,6,8,10,12,14
/proc/19405/task/19411/stat : 19411 (java) S 19404 19404 7102 0 -1 1077944384 2140 0 0 0 55 37 0 0 20 0 20 0 4890914 13587718144 292816 33554432000 4194304 4196468 140735133344688 139858298911120 139858349459157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37748736 140735133349052 140735133349228 140735133349228 140735133351887 0
[pid=19405/tid=19412] ppid=19404 vsize=13269256 CPUtime=0.93 cores=0,2,4,6,8,10,12,14
/proc/19405/task/19412/stat : 19412 (java) S 19404 19404 7102 0 -1 1077944384 2191 0 0 0 55 38 0 0 20 0 20 0 4890914 13587718144 292816 33554432000 4194304 4196468 140735133344688 139858297859088 139858349459157 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 37748736 140735133349052 140735133349228 140735133349228 140735133351887 0
[pid=19405/tid=19413] ppid=19404 vsize=13269256 CPUtime=0.92 cores=0,2,4,6,8,10,12,14
/proc/19405/task/19413/stat : 19413 (java) S 19404 19404 7102 0 -1 1077944384 2291 0 0 0 56 36 0 0 20 0 20 0 4890914 13587718144 292816 33554432000 4194304 4196468 140735133344688 139858296806544 139858349459157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37748736 140735133349052 140735133349228 140735133349228 140735133351887 0
[pid=19405/tid=19414] ppid=19404 vsize=13269256 CPUtime=0.9 cores=0,2,4,6,8,10,12,14
/proc/19405/task/19414/stat : 19414 (java) S 19404 19404 7102 0 -1 1077944384 2146 0 0 0 52 38 0 0 20 0 20 0 4890914 13587718144 292816 33554432000 4194304 4196468 140735133344688 139857942215440 139858349459157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37748736 140735133349052 140735133349228 140735133349228 140735133351887 0
[pid=19405/tid=19415] ppid=19404 vsize=13269256 CPUtime=0.83 cores=0,2,4,6,8,10,12,14
/proc/19405/task/19415/stat : 19415 (java) S 19404 19404 7102 0 -1 1077944384 2226 0 0 0 50 33 0 0 20 0 20 0 4890914 13587718144 292816 33554432000 4194304 4196468 140735133344688 139857941162896 139858349459157 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 37748736 140735133349052 140735133349228 140735133349228 140735133351887 0
[pid=19405/tid=19416] ppid=19404 vsize=13269256 CPUtime=0.22 cores=0,2,4,6,8,10,12,14
/proc/19405/task/19416/stat : 19416 (java) S 19404 19404 7102 0 -1 1077944384 816 0 0 0 22 0 0 0 20 0 20 0 4890917 13587718144 292816 33554432000 4194304 4196468 140735133344688 139857811675376 139858349460098 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37748736 140735133349052 140735133349228 140735133349228 140735133351887 0
[pid=19405/tid=19417] ppid=19404 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19405/task/19417/stat : 19417 (java) S 19404 19404 7102 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 4890917 13587718144 292816 33554432000 4194304 4196468 140735133344688 139857810621664 139858349459157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37748736 140735133349052 140735133349228 140735133349228 140735133351887 0
[pid=19405/tid=19418] ppid=19404 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19405/task/19418/stat : 19418 (java) S 19404 19404 7102 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 20 0 4890918 13587718144 292816 33554432000 4194304 4196468 140735133344688 139857809568512 139858349459157 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 37748736 140735133349052 140735133349228 140735133349228 140735133351887 0
[pid=19405/tid=19419] ppid=19404 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19405/task/19419/stat : 19419 (java) S 19404 19404 7102 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4890921 13587718144 292816 33554432000 4194304 4196468 140735133344688 139857808517072 139858349467547 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 37748736 140735133349052 140735133349228 140735133349228 140735133351887 0
[pid=19405/tid=19420] ppid=19404 vsize=13269256 CPUtime=0.63 cores=0,2,4,6,8,10,12,14
/proc/19405/task/19420/stat : 19420 (java) S 19404 19404 7102 0 -1 1077944384 2060 0 0 0 63 0 0 0 20 0 20 0 4890921 13587718144 292816 33554432000 4194304 4196468 140735133344688 139857807465200 139858349460098 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37748736 140735133349052 140735133349228 140735133349228 140735133351887 0
[pid=19405/tid=19421] ppid=19404 vsize=13269256 CPUtime=0.64 cores=0,2,4,6,8,10,12,14
/proc/19405/task/19421/stat : 19421 (java) S 19404 19404 7102 0 -1 1077944384 2314 0 0 0 64 0 0 0 20 0 20 0 4890921 13587718144 292816 33554432000 4194304 4196468 140735133344688 139857806412656 139858349460098 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37748736 140735133349052 140735133349228 140735133349228 140735133351887 0
[pid=19405/tid=19422] ppid=19404 vsize=13269256 CPUtime=0.6 cores=0,2,4,6,8,10,12,14
/proc/19405/task/19422/stat : 19422 (java) S 19404 19404 7102 0 -1 1077944384 1496 0 0 0 60 0 0 0 20 0 20 0 4890921 13587718144 292816 33554432000 4194304 4196468 140735133344688 139857805359600 139858349460098 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 37748736 140735133349052 140735133349228 140735133349228 140735133351887 0
[pid=19405/tid=19423] ppid=19404 vsize=13269256 CPUtime=0.45 cores=0,2,4,6,8,10,12,14
/proc/19405/task/19423/stat : 19423 (java) S 19404 19404 7102 0 -1 1077944384 1755 0 0 0 45 0 0 0 20 0 20 0 4890921 13587718144 292816 33554432000 4194304 4196468 140735133344688 139857804307056 139858349460098 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 37748736 140735133349052 140735133349228 140735133349228 140735133351887 0
[pid=19405/tid=19424] ppid=19404 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19405/task/19424/stat : 19424 (java) S 19404 19404 7102 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4890922 13587718144 292816 33554432000 4194304 4196468 140735133344688 139857803254240 139858349459157 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 37748736 140735133349052 140735133349228 140735133349228 140735133351887 0
[pid=19405/tid=19425] ppid=19404 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19405/task/19425/stat : 19425 (java) S 19404 19404 7102 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4890922 13587718144 292816 33554432000 4194304 4196468 140735133344688 139857802201776 139858349460098 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37748736 140735133349052 140735133349228 140735133349228 140735133351887 0
Current children cumulated CPU time (s) 11.79
Current children cumulated vsize (KiB) 13278768

[startup+6.30094 s]
/proc/loadavg: 14.42 12.40 13.24 10/283 19425
/proc/meminfo: memFree=20635152/32770624 swapFree=5656/335456
[pid=19404] ppid=19401 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19404/stat : 19404 (xcsp3-exec) S 19401 19404 7102 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4890912 9740288 346 33554432000 4194304 5098028 140735238001536 140735237999640 140579328995964 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 31322112 140735238009998 140735238010208 140735238010208 140735238012907 0
/proc/19404/statm: 2378 346 289 221 0 87 0
[pid=19405] ppid=19404 vsize=13269256 CPUtime=14.99 cores=0,2,4,6,8,10,12,14
/proc/19405/stat : 19405 (java) S 19404 19404 7102 0 -1 1077944320 34386 0 0 0 1191 308 0 0 20 0 20 0 4890913 13587718144 292820 33554432000 4194304 4196468 140735133344688 140735133327232 139858349448951 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 37748736 140735133349052 140735133349228 140735133349228 140735133351887 0
/proc/19405/statm: 3317314 292820 3251 1 0 3304547 0
[pid=19405/tid=19406] ppid=19404 vsize=13269256 CPUtime=5.1 cores=0,2,4,6,8,10,12,14
/proc/19405/task/19406/stat : 19406 (java) R 19404 19404 7102 0 -1 4202560 7322 0 0 0 499 11 0 0 20 0 20 0 4890913 13587718144 292820 33554432000 4194304 4196468 140735133344688 139858353684064 139857980800530 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 37748736 140735133349052 140735133349228 140735133349228 140735133351887 0
[pid=19405/tid=19408] ppid=19404 vsize=13269256 CPUtime=0.9 cores=0,2,4,6,8,10,12,14
/proc/19405/task/19408/stat : 19408 (java) S 19404 19404 7102 0 -1 1077944384 2199 0 0 0 54 36 0 0 20 0 20 0 4890914 13587718144 292820 33554432000 4194304 4196468 140735133344688 139858302069264 139858349459157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37748736 140735133349052 140735133349228 140735133349228 140735133351887 0
[pid=19405/tid=19409] ppid=19404 vsize=13269256 CPUtime=0.91 cores=0,2,4,6,8,10,12,14
/proc/19405/task/19409/stat : 19409 (java) S 19404 19404 7102 0 -1 1077944384 2078 0 0 0 55 36 0 0 20 0 20 0 4890914 13587718144 292820 33554432000 4194304 4196468 140735133344688 139858301016720 139858349459157 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 37748736 140735133349052 140735133349228 140735133349228 140735133351887 0
[pid=19405/tid=19410] ppid=19404 vsize=13269256 CPUtime=0.89 cores=0,2,4,6,8,10,12,14
/proc/19405/task/19410/stat : 19410 (java) S 19404 19404 7102 0 -1 1077944384 2051 0 0 0 54 35 0 0 20 0 20 0 4890914 13587718144 292820 33554432000 4194304 4196468 140735133344688 139858299963664 139858349459157 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 37748736 140735133349052 140735133349228 140735133349228 140735133351887 0
[pid=19405/tid=19411] ppid=19404 vsize=13269256 CPUtime=0.92 cores=0,2,4,6,8,10,12,14
/proc/19405/task/19411/stat : 19411 (java) S 19404 19404 7102 0 -1 1077944384 2140 0 0 0 55 37 0 0 20 0 20 0 4890914 13587718144 292820 33554432000 4194304 4196468 140735133344688 139858298911120 139858349459157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37748736 140735133349052 140735133349228 140735133349228 140735133351887 0
[pid=19405/tid=19412] ppid=19404 vsize=13269256 CPUtime=0.93 cores=0,2,4,6,8,10,12,14
/proc/19405/task/19412/stat : 19412 (java) S 19404 19404 7102 0 -1 1077944384 2191 0 0 0 55 38 0 0 20 0 20 0 4890914 13587718144 292820 33554432000 4194304 4196468 140735133344688 139858297859088 139858349459157 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 37748736 140735133349052 140735133349228 140735133349228 140735133351887 0
[pid=19405/tid=19413] ppid=19404 vsize=13269256 CPUtime=0.92 cores=0,2,4,6,8,10,12,14
/proc/19405/task/19413/stat : 19413 (java) S 19404 19404 7102 0 -1 1077944384 2291 0 0 0 56 36 0 0 20 0 20 0 4890914 13587718144 292820 33554432000 4194304 4196468 140735133344688 139858296806544 139858349459157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37748736 140735133349052 140735133349228 140735133349228 140735133351887 0
[pid=19405/tid=19414] ppid=19404 vsize=13269256 CPUtime=0.9 cores=0,2,4,6,8,10,12,14
/proc/19405/task/19414/stat : 19414 (java) S 19404 19404 7102 0 -1 1077944384 2146 0 0 0 52 38 0 0 20 0 20 0 4890914 13587718144 292820 33554432000 4194304 4196468 140735133344688 139857942215440 139858349459157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37748736 140735133349052 140735133349228 140735133349228 140735133351887 0
[pid=19405/tid=19415] ppid=19404 vsize=13269256 CPUtime=0.83 cores=0,2,4,6,8,10,12,14
/proc/19405/task/19415/stat : 19415 (java) S 19404 19404 7102 0 -1 1077944384 2226 0 0 0 50 33 0 0 20 0 20 0 4890914 13587718144 292820 33554432000 4194304 4196468 140735133344688 139857941162896 139858349459157 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 37748736 140735133349052 140735133349228 140735133349228 140735133351887 0
[pid=19405/tid=19416] ppid=19404 vsize=13269256 CPUtime=0.22 cores=0,2,4,6,8,10,12,14
/proc/19405/task/19416/stat : 19416 (java) S 19404 19404 7102 0 -1 1077944384 818 0 0 0 22 0 0 0 20 0 20 0 4890917 13587718144 292820 33554432000 4194304 4196468 140735133344688 139857811675376 139858349460098 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37748736 140735133349052 140735133349228 140735133349228 140735133351887 0
[pid=19405/tid=19417] ppid=19404 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19405/task/19417/stat : 19417 (java) S 19404 19404 7102 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 4890917 13587718144 292820 33554432000 4194304 4196468 140735133344688 139857810621664 139858349459157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37748736 140735133349052 140735133349228 140735133349228 140735133351887 0
[pid=19405/tid=19418] ppid=19404 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19405/task/19418/stat : 19418 (java) S 19404 19404 7102 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 20 0 4890918 13587718144 292820 33554432000 4194304 4196468 140735133344688 139857809568512 139858349459157 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 37748736 140735133349052 140735133349228 140735133349228 140735133351887 0
[pid=19405/tid=19419] ppid=19404 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19405/task/19419/stat : 19419 (java) S 19404 19404 7102 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4890921 13587718144 292820 33554432000 4194304 4196468 140735133344688 139857808517072 139858349467547 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 37748736 140735133349052 140735133349228 140735133349228 140735133351887 0

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

[startup+321.801 s]
/proc/loadavg: 10.90 10.62 12.15 17/291 19617
/proc/meminfo: memFree=15169548/32770624 swapFree=5656/335928
[pid=19404] ppid=19401 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19404/stat : 19404 (xcsp3-exec) S 19401 19404 7102 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4890912 9740288 346 33554432000 4194304 5098028 140735238001536 140735237999640 140579328995964 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 31322112 140735238009998 140735238010208 140735238010208 140735238012907 0
/proc/19404/statm: 2378 346 289 221 0 87 0
[pid=19405] ppid=19404 vsize=13269256 CPUtime=594.32 cores=0,2,4,6,8,10,12,14
/proc/19405/stat : 19405 (java) S 19404 19404 7102 0 -1 1077944320 592150 0 0 0 55706 3726 0 0 20 0 20 0 4890913 13587718144 2610226 33554432000 4194304 4196468 140735133344688 140735133327232 139858349448951 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 37748736 140735133349052 140735133349228 140735133349228 140735133351887 0
/proc/19405/statm: 3317314 2610226 3260 1 0 3304547 0
[pid=19405/tid=19406] ppid=19404 vsize=13269256 CPUtime=276.11 cores=0,2,4,6,8,10,12,14
/proc/19405/task/19406/stat : 19406 (java) S 19404 19404 7102 0 -1 1077944384 23223 0 0 0 27591 20 0 0 20 0 20 0 4890913 13587718144 2610226 33554432000 4194304 4196468 140735133344688 139858353687184 139858349459157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37748736 140735133349052 140735133349228 140735133349228 140735133351887 0
[pid=19405/tid=19408] ppid=19404 vsize=13269256 CPUtime=38.53 cores=0,2,4,6,8,10,12,14
/proc/19405/task/19408/stat : 19408 (java) R 19404 19404 7102 0 -1 4202560 49382 0 0 0 3391 462 0 0 20 0 20 0 4890914 13587718144 2610226 33554432000 4194304 4196468 140735133344688 139858302069384 139858332831986 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 37748736 140735133349052 140735133349228 140735133349228 140735133351887 0
[pid=19405/tid=19409] ppid=19404 vsize=13269256 CPUtime=38.69 cores=0,2,4,6,8,10,12,14
/proc/19405/task/19409/stat : 19409 (java) R 19404 19404 7102 0 -1 4202560 48781 0 0 0 3412 457 0 0 20 0 20 0 4890914 13587718144 2610226 33554432000 4194304 4196468 140735133344688 139858301016840 139858342077159 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37748736 140735133349052 140735133349228 140735133349228 140735133351887 0
[pid=19405/tid=19410] ppid=19404 vsize=13269256 CPUtime=38.59 cores=0,2,4,6,8,10,12,14
/proc/19405/task/19410/stat : 19410 (java) R 19404 19404 7102 0 -1 4202560 180494 0 0 0 3403 456 0 0 20 0 20 0 4890914 13587718144 2610226 33554432000 4194304 4196468 140735133344688 139858299963864 139858342551930 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 37748736 140735133349052 140735133349228 140735133349228 140735133351887 0
[pid=19405/tid=19411] ppid=19404 vsize=13269256 CPUtime=38.77 cores=0,2,4,6,8,10,12,14
/proc/19405/task/19411/stat : 19411 (java) R 19404 19404 7102 0 -1 4202560 27747 0 0 0 3419 458 0 0 20 0 20 0 4890914 13587718144 2610226 33554432000 4194304 4196468 140735133344688 139858298911240 139858342077159 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37748736 140735133349052 140735133349228 140735133349228 140735133351887 0
[pid=19405/tid=19412] ppid=19404 vsize=13269256 CPUtime=38.64 cores=0,2,4,6,8,10,12,14
/proc/19405/task/19412/stat : 19412 (java) R 19404 19404 7102 0 -1 4202560 38133 0 0 0 3427 437 0 0 20 0 20 0 4890914 13587718144 2610226 33554432000 4194304 4196468 140735133344688 139858297859208 139858342077159 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 37748736 140735133349052 140735133349228 140735133349228 140735133351887 0
[pid=19405/tid=19413] ppid=19404 vsize=13269256 CPUtime=38.73 cores=0,2,4,6,8,10,12,14
/proc/19405/task/19413/stat : 19413 (java) R 19404 19404 7102 0 -1 4202560 30019 0 0 0 3384 489 0 0 20 0 20 0 4890914 13587718144 2610226 33554432000 4194304 4196468 140735133344688 139858296806352 139858342077159 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 37748736 140735133349052 140735133349228 140735133349228 140735133351887 0
[pid=19405/tid=19414] ppid=19404 vsize=13269256 CPUtime=38.7 cores=0,2,4,6,8,10,12,14
/proc/19405/task/19414/stat : 19414 (java) R 19404 19404 7102 0 -1 4202560 97618 0 0 0 3422 448 0 0 20 0 20 0 4890914 13587718144 2610226 33554432000 4194304 4196468 140735133344688 139857942215560 139858342077159 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 37748736 140735133349052 140735133349228 140735133349228 140735133351887 0
[pid=19405/tid=19415] ppid=19404 vsize=13269256 CPUtime=38.55 cores=0,2,4,6,8,10,12,14
/proc/19405/task/19415/stat : 19415 (java) R 19404 19404 7102 0 -1 4202560 41976 0 0 0 3375 480 0 0 20 0 20 0 4890914 13587718144 2610226 33554432000 4194304 4196468 140735133344688 139857941163016 139858342077159 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37748736 140735133349052 140735133349228 140735133349228 140735133351887 0
[pid=19405/tid=19416] ppid=19404 vsize=13269256 CPUtime=6.22 cores=0,2,4,6,8,10,12,14
/proc/19405/task/19416/stat : 19416 (java) S 19404 19404 7102 0 -1 1077944384 42793 0 0 0 619 3 0 0 20 0 20 0 4890917 13587718144 2610226 33554432000 4194304 4196468 140735133344688 139857811673920 139858349459157 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37748736 140735133349052 140735133349228 140735133349228 140735133351887 0
[pid=19405/tid=19417] ppid=19404 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19405/task/19417/stat : 19417 (java) S 19404 19404 7102 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 20 0 4890917 13587718144 2610226 33554432000 4194304 4196468 140735133344688 139857810621664 139858349459157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37748736 140735133349052 140735133349228 140735133349228 140735133351887 0
[pid=19405/tid=19418] ppid=19404 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19405/task/19418/stat : 19418 (java) S 19404 19404 7102 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 20 0 4890918 13587718144 2610226 33554432000 4194304 4196468 140735133344688 139857809568512 139858349459157 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 37748736 140735133349052 140735133349228 140735133349228 140735133351887 0
[pid=19405/tid=19419] ppid=19404 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19405/task/19419/stat : 19419 (java) S 19404 19404 7102 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4890921 13587718144 2610226 33554432000 4194304 4196468 140735133344688 139857808517072 139858349467547 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 37748736 140735133349052 140735133349228 140735133349228 140735133351887 0
[pid=19405/tid=19420] ppid=19404 vsize=13269256 CPUtime=0.67 cores=0,2,4,6,8,10,12,14
/proc/19405/task/19420/stat : 19420 (java) S 19404 19404 7102 0 -1 1077944384 2744 0 0 0 67 0 0 0 20 0 20 0 4890921 13587718144 2610226 33554432000 4194304 4196468 140735133344688 139857807465248 139858349459157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37748736 140735133349052 140735133349228 140735133349228 140735133351887 0
[pid=19405/tid=19421] ppid=19404 vsize=13269256 CPUtime=0.66 cores=0,2,4,6,8,10,12,14
/proc/19405/task/19421/stat : 19421 (java) S 19404 19404 7102 0 -1 1077944384 3093 0 0 0 66 0 0 0 20 0 20 0 4890921 13587718144 2610226 33554432000 4194304 4196468 140735133344688 139857806412704 139858349459157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37748736 140735133349052 140735133349228 140735133349228 140735133351887 0
[pid=19405/tid=19422] ppid=19404 vsize=13269256 CPUtime=0.64 cores=0,2,4,6,8,10,12,14
/proc/19405/task/19422/stat : 19422 (java) S 19404 19404 7102 0 -1 1077944384 2397 0 0 0 64 0 0 0 20 0 20 0 4890921 13587718144 2610226 33554432000 4194304 4196468 140735133344688 139857805359360 139858349459157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37748736 140735133349052 140735133349228 140735133349228 140735133351887 0
[pid=19405/tid=19423] ppid=19404 vsize=13269256 CPUtime=0.47 cores=0,2,4,6,8,10,12,14
/proc/19405/task/19423/stat : 19423 (java) S 19404 19404 7102 0 -1 1077944384 2200 0 0 0 46 1 0 0 20 0 20 0 4890921 13587718144 2610226 33554432000 4194304 4196468 140735133344688 139857804307104 139858349459157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37748736 140735133349052 140735133349228 140735133349228 140735133351887 0
[pid=19405/tid=19424] ppid=19404 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19405/task/19424/stat : 19424 (java) S 19404 19404 7102 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4890922 13587718144 2610226 33554432000 4194304 4196468 140735133344688 139857803254240 139858349459157 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 37748736 140735133349052 140735133349228 140735133349228 140735133351887 0
[pid=19405/tid=19425] ppid=19404 vsize=13269256 CPUtime=0.19 cores=0,2,4,6,8,10,12,14
/proc/19405/task/19425/stat : 19425 (java) S 19404 19404 7102 0 -1 1077944384 248 0 0 0 9 10 0 0 20 0 20 0 4890922 13587718144 2610226 33554432000 4194304 4196468 140735133344688 139857802201776 139858349460098 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 6 0 0 6293624 6294260 37748736 140735133349052 140735133349228 140735133349228 140735133351887 0
Current children cumulated CPU time (s) 594.32
Current children cumulated vsize (KiB) 13278768

[startup+323.402 s]
/proc/loadavg: 10.90 10.62 12.15 17/292 19618
/proc/meminfo: memFree=15169548/32770624 swapFree=5656/335928
[pid=19404] ppid=19401 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19404/stat : 19404 (xcsp3-exec) S 19401 19404 7102 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4890912 9740288 346 33554432000 4194304 5098028 140735238001536 140735237999640 140579328995964 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 31322112 140735238009998 140735238010208 140735238010208 140735238012907 0
/proc/19404/statm: 2378 346 289 221 0 87 0
[pid=19405] ppid=19404 vsize=13335820 CPUtime=605.58 cores=0,2,4,6,8,10,12,14
/proc/19405/stat : 19405 (java) S 19404 19404 7102 0 -1 1077944320 593259 0 0 0 56830 3728 0 0 20 0 21 0 4890913 13655879680 2610233 33554432000 4194304 4196468 140735133344688 140735133327232 139858349448951 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 37748736 140735133349052 140735133349228 140735133349228 140735133351887 0
/proc/19405/statm: 3333955 2610233 3261 1 0 3321188 0
[pid=19405/tid=19406] ppid=19404 vsize=13335820 CPUtime=276.11 cores=0,2,4,6,8,10,12,14
/proc/19405/task/19406/stat : 19406 (java) S 19404 19404 7102 0 -1 1077944384 23298 0 0 0 27591 20 0 0 20 0 21 0 4890913 13655879680 2610233 33554432000 4194304 4196468 140735133344688 139858353689632 139858349459157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37748736 140735133349052 140735133349228 140735133349228 140735133351887 0
[pid=19405/tid=19408] ppid=19404 vsize=13335820 CPUtime=39.88 cores=0,2,4,6,8,10,12,14
/proc/19405/task/19408/stat : 19408 (java) R 19404 19404 7102 0 -1 4202560 49406 0 0 0 3526 462 0 0 20 0 21 0 4890914 13655879680 2610233 33554432000 4194304 4196468 140735133344688 139858302069384 139858332831986 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 37748736 140735133349052 140735133349228 140735133349228 140735133351887 0
[pid=19405/tid=19409] ppid=19404 vsize=13335820 CPUtime=40.07 cores=0,2,4,6,8,10,12,14
/proc/19405/task/19409/stat : 19409 (java) R 19404 19404 7102 0 -1 4202560 48805 0 0 0 3549 458 0 0 20 0 21 0 4890914 13655879680 2610233 33554432000 4194304 4196468 140735133344688 139858301016840 139858342551930 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 37748736 140735133349052 140735133349228 140735133349228 140735133351887 0
[pid=19405/tid=19410] ppid=19404 vsize=13335820 CPUtime=39.97 cores=0,2,4,6,8,10,12,14
/proc/19405/task/19410/stat : 19410 (java) R 19404 19404 7102 0 -1 4202560 180736 0 0 0 3541 456 0 0 20 0 21 0 4890914 13655879680 2610233 33554432000 4194304 4196468 140735133344688 139858299963784 139858342077159 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 37748736 140735133349052 140735133349228 140735133349228 140735133351887 0
[pid=19405/tid=19411] ppid=19404 vsize=13335820 CPUtime=40.15 cores=0,2,4,6,8,10,12,14
/proc/19405/task/19411/stat : 19411 (java) R 19404 19404 7102 0 -1 4202560 27773 0 0 0 3557 458 0 0 20 0 21 0 4890914 13655879680 2610233 33554432000 4194304 4196468 140735133344688 139858298911240 139858342077159 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37748736 140735133349052 140735133349228 140735133349228 140735133351887 0
[pid=19405/tid=19412] ppid=19404 vsize=13335820 CPUtime=40.02 cores=0,2,4,6,8,10,12,14
/proc/19405/task/19412/stat : 19412 (java) R 19404 19404 7102 0 -1 4202560 38164 0 0 0 3565 437 0 0 20 0 21 0 4890914 13655879680 2610233 33554432000 4194304 4196468 140735133344688 139858297859208 139858342551937 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 37748736 140735133349052 140735133349228 140735133349228 140735133351887 0
[pid=19405/tid=19413] ppid=19404 vsize=13335820 CPUtime=40.12 cores=0,2,4,6,8,10,12,14
/proc/19405/task/19413/stat : 19413 (java) R 19404 19404 7102 0 -1 4202560 30051 0 0 0 3522 490 0 0 20 0 21 0 4890914 13655879680 2610233 33554432000 4194304 4196468 140735133344688 139858296806664 139858342077159 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37748736 140735133349052 140735133349228 140735133349228 140735133351887 0
[pid=19405/tid=19414] ppid=19404 vsize=13335820 CPUtime=40.09 cores=0,2,4,6,8,10,12,14
/proc/19405/task/19414/stat : 19414 (java) R 19404 19404 7102 0 -1 4202560 97639 0 0 0 3561 448 0 0 20 0 21 0 4890914 13655879680 2610233 33554432000 4194304 4196468 140735133344688 139857942215560 139858334149639 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 37748736 140735133349052 140735133349228 140735133349228 140735133351887 0
[pid=19405/tid=19415] ppid=19404 vsize=13335820 CPUtime=39.93 cores=0,2,4,6,8,10,12,14
/proc/19405/task/19415/stat : 19415 (java) R 19404 19404 7102 0 -1 4202560 42058 0 0 0 3513 480 0 0 20 0 21 0 4890914 13655879680 2610233 33554432000 4194304 4196468 140735133344688 139857941163016 139858342077159 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37748736 140735133349052 140735133349228 140735133349228 140735133351887 0
[pid=19405/tid=19416] ppid=19404 vsize=13335820 CPUtime=6.43 cores=0,2,4,6,8,10,12,14
/proc/19405/task/19416/stat : 19416 (java) S 19404 19404 7102 0 -1 1077944384 43219 0 0 0 640 3 0 0 20 0 21 0 4890917 13655879680 2610233 33554432000 4194304 4196468 140735133344688 139857811673920 139858349459157 0 0 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 37748736 140735133349052 140735133349228 140735133349228 140735133351887 0
[pid=19405/tid=19417] ppid=19404 vsize=13335820 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19405/task/19417/stat : 19417 (java) S 19404 19404 7102 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 21 0 4890917 13655879680 2610233 33554432000 4194304 4196468 140735133344688 139857810621664 139858349459157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37748736 140735133349052 140735133349228 140735133349228 140735133351887 0
[pid=19405/tid=19418] ppid=19404 vsize=13335820 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19405/task/19418/stat : 19418 (java) S 19404 19404 7102 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 21 0 4890918 13655879680 2610233 33554432000 4194304 4196468 140735133344688 139857809568512 139858349459157 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 37748736 140735133349052 140735133349228 140735133349228 140735133351887 0
[pid=19405/tid=19419] ppid=19404 vsize=13335820 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19405/task/19419/stat : 19419 (java) S 19404 19404 7102 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 4890921 13655879680 2610233 33554432000 4194304 4196468 140735133344688 139857808517072 139858349467547 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 37748736 140735133349052 140735133349228 140735133349228 140735133351887 0
[pid=19405/tid=19420] ppid=19404 vsize=13335820 CPUtime=0.67 cores=0,2,4,6,8,10,12,14
/proc/19405/task/19420/stat : 19420 (java) S 19404 19404 7102 0 -1 1077944384 2744 0 0 0 67 0 0 0 20 0 21 0 4890921 13655879680 2610233 33554432000 4194304 4196468 140735133344688 139857807465200 139858349460098 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 37748736 140735133349052 140735133349228 140735133349228 140735133351887 0
[pid=19405/tid=19421] ppid=19404 vsize=13335820 CPUtime=0.66 cores=0,2,4,6,8,10,12,14
/proc/19405/task/19421/stat : 19421 (java) S 19404 19404 7102 0 -1 1077944384 3149 0 0 0 66 0 0 0 20 0 21 0 4890921 13655879680 2610233 33554432000 4194304 4196468 140735133344688 139857806402848 139858349459157 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 37748736 140735133349052 140735133349228 140735133349228 140735133351887 0
[pid=19405/tid=19422] ppid=19404 vsize=13335820 CPUtime=0.64 cores=0,2,4,6,8,10,12,14
/proc/19405/task/19422/stat : 19422 (java) S 19404 19404 7102 0 -1 1077944384 2397 0 0 0 64 0 0 0 20 0 21 0 4890921 13655879680 2610233 33554432000 4194304 4196468 140735133344688 139857805359600 139858349460098 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37748736 140735133349052 140735133349228 140735133349228 140735133351887 0
[pid=19405/tid=19423] ppid=19404 vsize=13335820 CPUtime=0.47 cores=0,2,4,6,8,10,12,14
/proc/19405/task/19423/stat : 19423 (java) S 19404 19404 7102 0 -1 1077944384 2244 0 0 0 46 1 0 0 20 0 21 0 4890921 13655879680 2610233 33554432000 4194304 4196468 140735133344688 139857804302560 139858349459157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37748736 140735133349052 140735133349228 140735133349228 140735133351887 0
[pid=19405/tid=19424] ppid=19404 vsize=13335820 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19405/task/19424/stat : 19424 (java) S 19404 19404 7102 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 4890922 13655879680 2610233 33554432000 4194304 4196468 140735133344688 139857803254240 139858349459157 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 37748736 140735133349052 140735133349228 140735133349228 140735133351887 0
[pid=19405/tid=19425] ppid=19404 vsize=13335820 CPUtime=0.2 cores=0,2,4,6,8,10,12,14
/proc/19405/task/19425/stat : 19425 (java) S 19404 19404 7102 0 -1 1077944384 248 0 0 0 10 10 0 0 20 0 21 0 4890922 13655879680 2610233 33554432000 4194304 4196468 140735133344688 139857802201776 139858349460098 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 6 0 0 6293624 6294260 37748736 140735133349052 140735133349228 140735133349228 140735133351887 0
[pid=19405/tid=19618] ppid=19404 vsize=13335820 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19405/task/19618/stat : 19618 (java) S 19404 19404 7102 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 21 0 4923120 13655879680 2610233 33554432000 4194304 4196468 140735133344688 139857794190400 139858349459157 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 37748736 140735133349052 140735133349228 140735133349228 140735133351887 0
Current children cumulated CPU time (s) 605.58
Current children cumulated vsize (KiB) 13345332

[startup+324.202 s]
/proc/loadavg: 10.90 10.62 12.15 18/292 19618
/proc/meminfo: memFree=14962496/32770624 swapFree=5656/335932
[pid=19404] ppid=19401 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19404/stat : 19404 (xcsp3-exec) S 19401 19404 7102 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4890912 9740288 346 33554432000 4194304 5098028 140735238001536 140735237999640 140579328995964 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 31322112 140735238009998 140735238010208 140735238010208 140735238012907 0
/proc/19404/statm: 2378 346 289 221 0 87 0
[pid=19405] ppid=19404 vsize=13335820 CPUtime=611.92 cores=0,2,4,6,8,10,12,14
/proc/19405/stat : 19405 (java) S 19404 19404 7102 0 -1 1077944320 593511 0 0 0 57462 3730 0 0 20 0 21 0 4890913 13655879680 2610234 33554432000 4194304 4196468 140735133344688 140735133327232 139858349448951 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 37748736 140735133349052 140735133349228 140735133349228 140735133351887 0
/proc/19405/statm: 3333955 2610234 3261 1 0 3321188 0
[pid=19405/tid=19406] ppid=19404 vsize=13335820 CPUtime=276.11 cores=0,2,4,6,8,10,12,14
/proc/19405/task/19406/stat : 19406 (java) S 19404 19404 7102 0 -1 1077944384 23298 0 0 0 27591 20 0 0 20 0 21 0 4890913 13655879680 2610234 33554432000 4194304 4196468 140735133344688 139858353689632 139858349459157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37748736 140735133349052 140735133349228 140735133349228 140735133351887 0
[pid=19405/tid=19408] ppid=19404 vsize=13335820 CPUtime=40.65 cores=0,2,4,6,8,10,12,14
/proc/19405/task/19408/stat : 19408 (java) R 19404 19404 7102 0 -1 4202560 49527 0 0 0 3603 462 0 0 20 0 21 0 4890914 13655879680 2610234 33554432000 4194304 4196468 140735133344688 139858302069384 139858342077159 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 37748736 140735133349052 140735133349228 140735133349228 140735133351887 0
[pid=19405/tid=19409] ppid=19404 vsize=13335820 CPUtime=40.84 cores=0,2,4,6,8,10,12,14
/proc/19405/task/19409/stat : 19409 (java) R 19404 19404 7102 0 -1 4202560 48809 0 0 0 3626 458 0 0 20 0 21 0 4890914 13655879680 2610234 33554432000 4194304 4196468 140735133344688 139858301016840 139858342551923 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 37748736 140735133349052 140735133349228 140735133349228 140735133351887 0
[pid=19405/tid=19410] ppid=19404 vsize=13335820 CPUtime=40.77 cores=0,2,4,6,8,10,12,14
/proc/19405/task/19410/stat : 19410 (java) R 19404 19404 7102 0 -1 4202560 180737 0 0 0 3621 456 0 0 20 0 21 0 4890914 13655879680 2610234 33554432000 4194304 4196468 140735133344688 139858299963784 139858342551930 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 37748736 140735133349052 140735133349228 140735133349228 140735133351887 0
[pid=19405/tid=19411] ppid=19404 vsize=13335820 CPUtime=40.94 cores=0,2,4,6,8,10,12,14
/proc/19405/task/19411/stat : 19411 (java) R 19404 19404 7102 0 -1 4202560 27899 0 0 0 3636 458 0 0 20 0 21 0 4890914 13655879680 2610234 33554432000 4194304 4196468 140735133344688 139858298911240 139858342551937 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37748736 140735133349052 140735133349228 140735133349228 140735133351887 0
[pid=19405/tid=19412] ppid=19404 vsize=13335820 CPUtime=40.82 cores=0,2,4,6,8,10,12,14
/proc/19405/task/19412/stat : 19412 (java) R 19404 19404 7102 0 -1 4202560 38164 0 0 0 3645 437 0 0 20 0 21 0 4890914 13655879680 2610234 33554432000 4194304 4196468 140735133344688 139858297859208 139858342551930 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 37748736 140735133349052 140735133349228 140735133349228 140735133351887 0
[pid=19405/tid=19413] ppid=19404 vsize=13335820 CPUtime=40.92 cores=0,2,4,6,8,10,12,14
/proc/19405/task/19413/stat : 19413 (java) R 19404 19404 7102 0 -1 4202560 30051 0 0 0 3602 490 0 0 20 0 21 0 4890914 13655879680 2610234 33554432000 4194304 4196468 140735133344688 139858296806664 139858342551923 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37748736 140735133349052 140735133349228 140735133349228 140735133351887 0
[pid=19405/tid=19414] ppid=19404 vsize=13335820 CPUtime=40.89 cores=0,2,4,6,8,10,12,14
/proc/19405/task/19414/stat : 19414 (java) R 19404 19404 7102 0 -1 4202560 97639 0 0 0 3641 448 0 0 20 0 21 0 4890914 13655879680 2610234 33554432000 4194304 4196468 140735133344688 139857942215560 139858342551944 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 37748736 140735133349052 140735133349228 140735133349228 140735133351887 0
[pid=19405/tid=19415] ppid=19404 vsize=13335820 CPUtime=40.74 cores=0,2,4,6,8,10,12,14
/proc/19405/task/19415/stat : 19415 (java) R 19404 19404 7102 0 -1 4202560 42058 0 0 0 3593 481 0 0 20 0 21 0 4890914 13655879680 2610234 33554432000 4194304 4196468 140735133344688 139857941163016 139858342551923 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37748736 140735133349052 140735133349228 140735133349228 140735133351887 0
[pid=19405/tid=19416] ppid=19404 vsize=13335820 CPUtime=6.43 cores=0,2,4,6,8,10,12,14
/proc/19405/task/19416/stat : 19416 (java) S 19404 19404 7102 0 -1 1077944384 43219 0 0 0 640 3 0 0 20 0 21 0 4890917 13655879680 2610234 33554432000 4194304 4196468 140735133344688 139857811673920 139858349459157 0 0 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 37748736 140735133349052 140735133349228 140735133349228 140735133351887 0
[pid=19405/tid=19417] ppid=19404 vsize=13335820 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19405/task/19417/stat : 19417 (java) S 19404 19404 7102 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 21 0 4890917 13655879680 2610234 33554432000 4194304 4196468 140735133344688 139857810621664 139858349459157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37748736 140735133349052 140735133349228 140735133349228 140735133351887 0
[pid=19405/tid=19418] ppid=19404 vsize=13335820 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19405/task/19418/stat : 19418 (java) S 19404 19404 7102 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 21 0 4890918 13655879680 2610234 33554432000 4194304 4196468 140735133344688 139857809568512 139858349459157 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 37748736 140735133349052 140735133349228 140735133349228 140735133351887 0
[pid=19405/tid=19419] ppid=19404 vsize=13335820 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19405/task/19419/stat : 19419 (java) S 19404 19404 7102 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 4890921 13655879680 2610234 33554432000 4194304 4196468 140735133344688 139857808517072 139858349467547 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 37748736 140735133349052 140735133349228 140735133349228 140735133351887 0
[pid=19405/tid=19420] ppid=19404 vsize=13335820 CPUtime=0.67 cores=0,2,4,6,8,10,12,14
/proc/19405/task/19420/stat : 19420 (java) S 19404 19404 7102 0 -1 1077944384 2744 0 0 0 67 0 0 0 20 0 21 0 4890921 13655879680 2610234 33554432000 4194304 4196468 140735133344688 139857807465200 139858349460098 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 37748736 140735133349052 140735133349228 140735133349228 140735133351887 0
[pid=19405/tid=19421] ppid=19404 vsize=13335820 CPUtime=0.66 cores=0,2,4,6,8,10,12,14
/proc/19405/task/19421/stat : 19421 (java) S 19404 19404 7102 0 -1 1077944384 3149 0 0 0 66 0 0 0 20 0 21 0 4890921 13655879680 2610234 33554432000 4194304 4196468 140735133344688 139857806402848 139858349459157 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 37748736 140735133349052 140735133349228 140735133349228 140735133351887 0
[pid=19405/tid=19422] ppid=19404 vsize=13335820 CPUtime=0.64 cores=0,2,4,6,8,10,12,14
/proc/19405/task/19422/stat : 19422 (java) S 19404 19404 7102 0 -1 1077944384 2397 0 0 0 64 0 0 0 20 0 21 0 4890921 13655879680 2610234 33554432000 4194304 4196468 140735133344688 139857805359600 139858349460098 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37748736 140735133349052 140735133349228 140735133349228 140735133351887 0
[pid=19405/tid=19423] ppid=19404 vsize=13335820 CPUtime=0.47 cores=0,2,4,6,8,10,12,14
/proc/19405/task/19423/stat : 19423 (java) S 19404 19404 7102 0 -1 1077944384 2244 0 0 0 46 1 0 0 20 0 21 0 4890921 13655879680 2610234 33554432000 4194304 4196468 140735133344688 139857804302560 139858349459157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37748736 140735133349052 140735133349228 140735133349228 140735133351887 0
[pid=19405/tid=19424] ppid=19404 vsize=13335820 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19405/task/19424/stat : 19424 (java) S 19404 19404 7102 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 4890922 13655879680 2610234 33554432000 4194304 4196468 140735133344688 139857803254240 139858349459157 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 37748736 140735133349052 140735133349228 140735133349228 140735133351887 0
[pid=19405/tid=19425] ppid=19404 vsize=13335820 CPUtime=0.2 cores=0,2,4,6,8,10,12,14
/proc/19405/task/19425/stat : 19425 (java) S 19404 19404 7102 0 -1 1077944384 248 0 0 0 10 10 0 0 20 0 21 0 4890922 13655879680 2610234 33554432000 4194304 4196468 140735133344688 139857802201776 139858349460098 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 6 0 0 6293624 6294260 37748736 140735133349052 140735133349228 140735133349228 140735133351887 0
[pid=19405/tid=19618] ppid=19404 vsize=13335820 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19405/task/19618/stat : 19618 (java) S 19404 19404 7102 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 21 0 4923120 13655879680 2610234 33554432000 4194304 4196468 140735133344688 139857794190400 139858349459157 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 37748736 140735133349052 140735133349228 140735133349228 140735133351887 0
Current children cumulated CPU time (s) 611.92
Current children cumulated vsize (KiB) 13345332

[startup+324.601 s]
/proc/loadavg: 10.90 10.62 12.15 18/292 19618
/proc/meminfo: memFree=14962496/32770624 swapFree=5656/335932
[pid=19404] ppid=19401 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19404/stat : 19404 (xcsp3-exec) S 19401 19404 7102 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4890912 9740288 346 33554432000 4194304 5098028 140735238001536 140735237999640 140579328995964 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 31322112 140735238009998 140735238010208 140735238010208 140735238012907 0
/proc/19404/statm: 2378 346 289 221 0 87 0
[pid=19405] ppid=19404 vsize=0 CPUtime=613.16 cores=0,2,4,6,8,10,12,14
/proc/19405/stat : 19405 (java) Z 19404 19404 7102 0 -1 4227084 594142 0 0 0 57578 3738 0 0 20 0 2 0 4890913 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 0 0 0 0 0 0 0 0
/proc/19405/statm: 0 0 0 0 0 0 0
[pid=19405/tid=19410] ppid=19404 vsize=0 CPUtime=40.97 cores=0,2,4,6,8,10,12,14
/proc/19405/task/19410/stat : 19410 (java) R 19404 19404 7102 0 -1 4203588 180737 0 0 0 3633 464 0 0 20 0 2 0 4890914 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 6 0 0 0 0 0 0 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 613.16
Current children cumulated vsize (KiB) 9512

Child status: 1
Real time (s): 324.604
CPU time (s): 613.185
CPU user time (s): 575.791
CPU system time (s): 37.3939
CPU usage (%): 188.902
Max. virtual memory (cumulated for all children) (KiB): 13345332

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 575.791
system time used= 37.3939
maximum resident set size= 10441328
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 594671
page faults= 0
swaps= 0
block input operations= 0
block output operations= 496
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 29374
involuntary context switches= 38981

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.95525 second user time and 3.43739 second system time

The end

Launcher Data 

Begin job on node130 at 2017-07-22 06:03:54
IDJOB=4249971
IDBENCH=138612
IDSOLVER=2626
FILE ID=node130/4249971-1500696234
RUNJOBID= node130-1500684118-8559
PBS_JOBID= 20623029
Free space on /tmp= 61952 MiB

SOLVER NAME= choco-solver 5a
BENCH NAME= XCSP17/SuperSolutions/SuperSolutions-Taillard-js20-15/SuperTaillard-js-20-15-15.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-4249971-1500696234/watcher-4249971-1500696234 -o /tmp/evaluation-result-4249971-1500696234/solver-4249971-1500696234 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node130-1500684118-8559 --watchdog 2560  ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 1910951436 HOME/instance-4249971-1500696234.xml

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

MD5SUM BENCH= 6d7e3033fdb5217c74d2816bb8c5b7b8
RANDOM SEED=1910951436

node130.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		: 1733.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.34
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 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		: 1600.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.34
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		: 2668.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		: 1733.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.34
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		: 2668.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		: 1600.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.34
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		: 2668.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.34
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		: 2668.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:        21794672 kB
MemAvailable:   22012540 kB
Buffers:          123060 kB
Cached:           376260 kB
SwapCached:            0 kB
Active:         10180432 kB
Inactive:         343940 kB
Active(anon):   10027696 kB
Inactive(anon):     8888 kB
Active(file):     152736 kB
Inactive(file):   335052 kB
Unevictable:        5656 kB
Mlocked:            5656 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              8620 kB
Writeback:             0 kB
AnonPages:      10030116 kB
Mapped:            42556 kB
Shmem:              8844 kB
Slab:             125984 kB
SReclaimable:      91828 kB
SUnreclaim:        34156 kB
KernelStack:        4608 kB
PageTables:        25176 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:   10696664 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   9877504 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      128384 kB
DirectMap2M:    33417216 kB

Free space on /tmp at the end= 61944 MiB
End job on node130 at 2017-07-22 06:09:19