Trace number 4245359

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 4.0.5 (2017-07-05)? 411.408 220.714

General information on the benchmark

NameQueensKnights/QueensKnights-m1-s1/
QueensKnights-080-05-mul.xml
MD5SUMcc508950e1103ff719d16ca71225257a
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark243.529
Satisfiable
(Un)Satisfiability was proved
Number of variables85
Number of constraints3570
Number of domains2
Minimum domain size80
Maximum domain size6400
Distribution of domain sizes[{"size":80,"count":80},{"size":6400,"count":5}]
Minimum variable degree84
Maximum variable degree84
Distribution of variable degrees[{"degree":84,"count":85}]
Minimum constraint arity2
Maximum constraint arity2
Distribution of constraint arities[{"arity":2,"count":3570}]
Number of extensional constraints0
Number of intensional constraints3570
Distribution of constraint types[{"type":"intension","count":3570}]
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-4245359-1500685657.xml"  -tl '2400s' -p 8 -x 0
0.00/0.21	c [HOME/instance-4245359-1500685657.xml, -tl, 2400s, -p, 8, -x, 0]
0.00/0.29	c 8 solvers in parallel
0.00/0.38	c parse instance...
393.85/218.37	Exception in thread "main" java.lang.OutOfMemoryError: Java heap space
411.29/220.66		at org.chocosolver.solver.constraints.extension.nary.PropCompactTable.computeSupports(PropCompactTable.java:98)
411.29/220.66		at org.chocosolver.solver.constraints.extension.nary.PropCompactTable.<init>(PropCompactTable.java:61)
411.29/220.66		at org.chocosolver.solver.constraints.IIntConstraintFactory.table(IIntConstraintFactory.java:1853)
411.29/220.66		at org.chocosolver.solver.constraints.IIntConstraintFactory.table(IIntConstraintFactory.java:1809)
411.29/220.66		at org.chocosolver.solver.expression.discrete.relational.ReExpression.extension(ReExpression.java:150)
411.29/220.66		at org.chocosolver.parser.xcsp.XCSPParser.buildCtrIntension(XCSPParser.java:112)
411.29/220.66		at org.xcsp.parser.loaders.CtrLoaderInteger.intension(CtrLoaderInteger.java:394)
411.29/220.66		at org.xcsp.parser.loaders.CtrLoaderInteger.load(CtrLoaderInteger.java:127)
411.29/220.66		at org.xcsp.parser.XCallbacks.loadCtr(XCallbacks.java:457)
411.29/220.66		at org.xcsp.parser.XCallbacks.lambda$loadCtrs$346(XCallbacks.java:440)
411.29/220.66		at org.xcsp.parser.XCallbacks$$Lambda$52/446073433.accept(Unknown Source)
411.29/220.66		at java.util.Spliterators$ArraySpliterator.forEachRemaining(Spliterators.java:948)
411.29/220.66		at java.util.stream.ReferencePipeline$Head.forEach(ReferencePipeline.java:580)
411.29/220.66		at org.xcsp.parser.XCallbacks.loadCtrs(XCallbacks.java:437)
411.29/220.66		at org.chocosolver.parser.xcsp.XCSPParser.loadGroup(XCSPParser.java:1406)
411.29/220.66		at org.xcsp.parser.XCallbacks.loadConstraints(XCallbacks.java:368)
411.29/220.66		at org.xcsp.parser.XCallbacks.loadConstraints(XCallbacks.java:353)
411.29/220.66		at org.xcsp.parser.XCallbacks.loadInstance(XCallbacks.java:260)
411.29/220.66		at org.chocosolver.parser.xcsp.XCSPParser.model(XCSPParser.java:88)
411.29/220.66		at org.chocosolver.parser.xcsp.XCSP.parse(XCSP.java:114)
411.29/220.66		at org.chocosolver.parser.xcsp.XCSP.buildModel(XCSP.java:101)
411.29/220.66		at org.chocosolver.parser.xcsp.ChocoXCSP.main(ChocoXCSP.java:23)
411.29/220.66	s UNKNOWN
411.29/220.66	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-4245359-1500685657/watcher-4245359-1500685657 -o /tmp/evaluation-result-4245359-1500685657/solver-4245359-1500685657 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node132-1500682387-18841 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 1901136875 HOME/instance-4245359-1500685657.xml 

pid=32124
running on 8 cores: 0-3,8-11

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: 15.38 16.00 15.40 10/276 32127
/proc/meminfo: memFree=30516420/32770624 swapFree=5944/213304
[pid=32127] ppid=32124 vsize=9512 CPUtime=0 cores=0-3,8-11
/proc/32127/stat : 32127 (xcsp3-exec) S 32124 32127 18810 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3832830 9740288 346 33554432000 4194304 5098028 140727781609872 140727781607976 140629255533180 0 65536 4100 65538 18446744071579417331 0 0 17 10 0 0 0 0 0 7196144 7232144 27045888 140727781618830 140727781619040 140727781619040 140727781621739 0
/proc/32127/statm: 2378 346 289 221 0 87 0

[startup+0.10016 s]
/proc/loadavg: 15.38 16.00 15.40 10/276 32127
/proc/meminfo: memFree=30516420/32770624 swapFree=5944/213304
[pid=32127] ppid=32124 vsize=9512 CPUtime=0 cores=0-3,8-11
/proc/32127/stat : 32127 (xcsp3-exec) S 32124 32127 18810 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3832830 9740288 346 33554432000 4194304 5098028 140727781609872 140727781607976 140629255533180 0 65536 4100 65538 18446744071579417331 0 0 17 10 0 0 0 0 0 7196144 7232144 27045888 140727781618830 140727781619040 140727781619040 140727781621739 0
/proc/32127/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.20034 s]
/proc/loadavg: 15.38 16.00 15.40 10/276 32127
/proc/meminfo: memFree=30516420/32770624 swapFree=5944/213304
[pid=32127] ppid=32124 vsize=9512 CPUtime=0 cores=0-3,8-11
/proc/32127/stat : 32127 (xcsp3-exec) S 32124 32127 18810 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3832830 9740288 346 33554432000 4194304 5098028 140727781609872 140727781607976 140629255533180 0 65536 4100 65538 18446744071579417331 0 0 17 10 0 0 0 0 0 7196144 7232144 27045888 140727781618830 140727781619040 140727781619040 140727781621739 0
/proc/32127/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.300298 s]
/proc/loadavg: 15.38 16.00 15.40 10/276 32127
/proc/meminfo: memFree=30516420/32770624 swapFree=5944/213304
[pid=32127] ppid=32124 vsize=9512 CPUtime=0 cores=0-3,8-11
/proc/32127/stat : 32127 (xcsp3-exec) S 32124 32127 18810 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3832830 9740288 346 33554432000 4194304 5098028 140727781609872 140727781607976 140629255533180 0 65536 4100 65538 18446744071579417331 0 0 17 10 0 0 0 0 0 7196144 7232144 27045888 140727781618830 140727781619040 140727781619040 140727781621739 0
/proc/32127/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.700173 s]
/proc/loadavg: 15.38 16.00 15.40 10/276 32127
/proc/meminfo: memFree=30516420/32770624 swapFree=5944/213304
[pid=32127] ppid=32124 vsize=9512 CPUtime=0 cores=0-3,8-11
/proc/32127/stat : 32127 (xcsp3-exec) S 32124 32127 18810 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3832830 9740288 346 33554432000 4194304 5098028 140727781609872 140727781607976 140629255533180 0 65536 4100 65538 18446744071579417331 0 0 17 10 0 0 0 0 0 7196144 7232144 27045888 140727781618830 140727781619040 140727781619040 140727781621739 0
/proc/32127/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+1.50076 s]
/proc/loadavg: 15.38 16.00 15.40 10/297 32148
/proc/meminfo: memFree=30408688/32770624 swapFree=5944/213672
[pid=32127] ppid=32124 vsize=9512 CPUtime=0 cores=0-3,8-11
/proc/32127/stat : 32127 (xcsp3-exec) S 32124 32127 18810 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3832830 9740288 346 33554432000 4194304 5098028 140727781609872 140727781607976 140629255533180 0 65536 4100 65538 18446744071579417331 0 0 17 10 0 0 0 0 0 7196144 7232144 27045888 140727781618830 140727781619040 140727781619040 140727781621739 0
/proc/32127/statm: 2378 346 289 221 0 87 0
[pid=32128] ppid=32127 vsize=13269256 CPUtime=3.41 cores=0-3,8-11
/proc/32128/stat : 32128 (java) S 32127 32127 18810 0 -1 1077944320 17058 0 0 0 333 8 0 0 20 0 20 0 3832830 13587718144 44288 33554432000 4194304 4196468 140727574167472 140727574150016 140136096788215 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 29167616 140727574168764 140727574168940 140727574168940 140727574171599 0
/proc/32128/statm: 3317314 44288 3208 1 0 3304547 0
[pid=32128/tid=32129] ppid=32127 vsize=13269256 CPUtime=1.47 cores=0-3,8-11
/proc/32128/task/32129/stat : 32129 (java) R 32127 32127 18810 0 -1 4202560 7313 0 0 0 142 5 0 0 20 0 20 0 3832831 13587718144 44288 33554432000 4194304 4196468 140727574167472 140136101021128 140135737730993 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29167616 140727574168764 140727574168940 140727574168940 140727574171599 0
[pid=32128/tid=32131] ppid=32127 vsize=13269256 CPUtime=0 cores=0-3,8-11
/proc/32128/task/32131/stat : 32131 (java) S 32127 32127 18810 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 3832831 13587718144 44288 33554432000 4194304 4196468 140727574167472 140136059894928 140136096798421 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 29167616 140727574168764 140727574168940 140727574168940 140727574171599 0
[pid=32128/tid=32132] ppid=32127 vsize=13269256 CPUtime=0 cores=0-3,8-11
/proc/32128/task/32132/stat : 32132 (java) S 32127 32127 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3832831 13587718144 44288 33554432000 4194304 4196468 140727574167472 140135695318032 140136096798421 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29167616 140727574168764 140727574168940 140727574168940 140727574171599 0
[pid=32128/tid=32133] ppid=32127 vsize=13269256 CPUtime=0 cores=0-3,8-11
/proc/32128/task/32133/stat : 32133 (java) S 32127 32127 18810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3832831 13587718144 44288 33554432000 4194304 4196468 140727574167472 140135694265232 140136096798421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29167616 140727574168764 140727574168940 140727574168940 140727574171599 0
[pid=32128/tid=32134] ppid=32127 vsize=13269256 CPUtime=0 cores=0-3,8-11
/proc/32128/task/32134/stat : 32134 (java) S 32127 32127 18810 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 3832831 13587718144 44288 33554432000 4194304 4196468 140727574167472 140135693212432 140136096798421 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29167616 140727574168764 140727574168940 140727574168940 140727574171599 0
[pid=32128/tid=32135] ppid=32127 vsize=13269256 CPUtime=0 cores=0-3,8-11
/proc/32128/task/32135/stat : 32135 (java) S 32127 32127 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3832832 13587718144 44288 33554432000 4194304 4196468 140727574167472 140135692159632 140136096798421 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29167616 140727574168764 140727574168940 140727574168940 140727574171599 0
[pid=32128/tid=32136] ppid=32127 vsize=13269256 CPUtime=0 cores=0-3,8-11
/proc/32128/task/32136/stat : 32136 (java) S 32127 32127 18810 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 3832832 13587718144 44288 33554432000 4194304 4196468 140727574167472 140135691106832 140136096798421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29167616 140727574168764 140727574168940 140727574168940 140727574171599 0
[pid=32128/tid=32137] ppid=32127 vsize=13269256 CPUtime=0 cores=0-3,8-11
/proc/32128/task/32137/stat : 32137 (java) S 32127 32127 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3832832 13587718144 44288 33554432000 4194304 4196468 140727574167472 140135690054032 140136096798421 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 29167616 140727574168764 140727574168940 140727574168940 140727574171599 0
[pid=32128/tid=32138] ppid=32127 vsize=13269256 CPUtime=0 cores=0-3,8-11
/proc/32128/task/32138/stat : 32138 (java) S 32127 32127 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3832832 13587718144 44288 33554432000 4194304 4196468 140727574167472 140135689001232 140136096798421 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 29167616 140727574168764 140727574168940 140727574168940 140727574171599 0
[pid=32128/tid=32139] ppid=32127 vsize=13269256 CPUtime=0 cores=0-3,8-11
/proc/32128/task/32139/stat : 32139 (java) S 32127 32127 18810 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 3832834 13587718144 44288 33554432000 4194304 4196468 140727574167472 140135290551152 140136096799362 0 0 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 29167616 140727574168764 140727574168940 140727574168940 140727574171599 0
[pid=32128/tid=32140] ppid=32127 vsize=13269256 CPUtime=0 cores=0-3,8-11
/proc/32128/task/32140/stat : 32140 (java) S 32127 32127 18810 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 3832835 13587718144 44288 33554432000 4194304 4196468 140727574167472 140135289497120 140136096798421 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 29167616 140727574168764 140727574168940 140727574168940 140727574171599 0
[pid=32128/tid=32141] ppid=32127 vsize=13269256 CPUtime=0 cores=0-3,8-11
/proc/32128/task/32141/stat : 32141 (java) S 32127 32127 18810 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 3832835 13587718144 44288 33554432000 4194304 4196468 140727574167472 140135288444272 140136096798421 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 29167616 140727574168764 140727574168940 140727574168940 140727574171599 0
[pid=32128/tid=32142] ppid=32127 vsize=13269256 CPUtime=0 cores=0-3,8-11
/proc/32128/task/32142/stat : 32142 (java) S 32127 32127 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3832839 13587718144 44288 33554432000 4194304 4196468 140727574167472 140135287392592 140136096806811 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 29167616 140727574168764 140727574168940 140727574168940 140727574171599 0
[pid=32128/tid=32143] ppid=32127 vsize=13269256 CPUtime=0.51 cores=0-3,8-11
/proc/32128/task/32143/stat : 32143 (java) D 32127 32127 18810 0 -1 4202560 1702 0 0 0 51 0 0 0 20 0 20 0 3832839 13587718144 44288 33554432000 4194304 4196468 140727574167472 140135286340248 140136076712351 0 4 0 16800975 18446744072100584581 0 0 -1 10 0 0 0 0 0 6293624 6294260 29167616 140727574168764 140727574168940 140727574168940 140727574171599 0
[pid=32128/tid=32144] ppid=32127 vsize=13269256 CPUtime=0.47 cores=0-3,8-11
/proc/32128/task/32144/stat : 32144 (java) D 32127 32127 18810 0 -1 4202560 1869 0 0 0 47 0 0 0 20 0 20 0 3832839 13587718144 44288 33554432000 4194304 4196468 140727574167472 140135285287448 140136076712351 0 4 0 16800975 18446744072100584581 0 0 -1 2 0 0 0 0 0 6293624 6294260 29167616 140727574168764 140727574168940 140727574168940 140727574171599 0
[pid=32128/tid=32145] ppid=32127 vsize=13269256 CPUtime=0.46 cores=0-3,8-11
/proc/32128/task/32145/stat : 32145 (java) D 32127 32127 18810 0 -1 4202560 1820 0 0 0 45 1 0 0 20 0 20 0 3832839 13587718144 44288 33554432000 4194304 4196468 140727574167472 140135284234272 140136076712351 0 4 0 16800975 18446744072100584581 0 0 -1 3 0 0 0 0 0 6293624 6294260 29167616 140727574168764 140727574168940 140727574168940 140727574171599 0
[pid=32128/tid=32146] ppid=32127 vsize=13269256 CPUtime=0.45 cores=0-3,8-11
/proc/32128/task/32146/stat : 32146 (java) D 32127 32127 18810 0 -1 4202560 3040 0 0 0 45 0 0 0 20 0 20 0 3832839 13587718144 44288 33554432000 4194304 4196468 140727574167472 140135283181472 140136076712351 0 4 0 16800975 18446744072100584581 0 0 -1 9 0 0 0 0 0 6293624 6294260 29167616 140727574168764 140727574168940 140727574168940 140727574171599 0
[pid=32128/tid=32147] ppid=32127 vsize=13269256 CPUtime=0 cores=0-3,8-11
/proc/32128/task/32147/stat : 32147 (java) S 32127 32127 18810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3832839 13587718144 44288 33554432000 4194304 4196468 140727574167472 140135282130016 140136096798421 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 29167616 140727574168764 140727574168940 140727574168940 140727574171599 0
[pid=32128/tid=32148] ppid=32127 vsize=13269256 CPUtime=0 cores=0-3,8-11
/proc/32128/task/32148/stat : 32148 (java) D 32127 32127 18810 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 20 0 3832840 13587718144 44288 33554432000 4194304 4196468 140727574167472 140135281077216 140136081644302 0 4 0 16800975 18446744072100584581 0 0 -1 1 0 0 0 0 0 6293624 6294260 29167616 140727574168764 140727574168940 140727574168940 140727574171599 0
Current children cumulated CPU time (s) 3.41
Current children cumulated vsize (KiB) 13278768

[startup+3.10086 s]
/proc/loadavg: 15.38 16.00 15.40 10/297 32148
/proc/meminfo: memFree=30261268/32770624 swapFree=5944/213672
[pid=32127] ppid=32124 vsize=9512 CPUtime=0 cores=0-3,8-11
/proc/32127/stat : 32127 (xcsp3-exec) S 32124 32127 18810 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3832830 9740288 346 33554432000 4194304 5098028 140727781609872 140727781607976 140629255533180 0 65536 4100 65538 18446744071579417331 0 0 17 10 0 0 0 0 0 7196144 7232144 27045888 140727781618830 140727781619040 140727781619040 140727781621739 0
/proc/32127/statm: 2378 346 289 221 0 87 0
[pid=32128] ppid=32127 vsize=13269256 CPUtime=6.65 cores=0-3,8-11
/proc/32128/stat : 32128 (java) S 32127 32127 18810 0 -1 1077944320 21074 0 0 0 541 124 0 0 20 0 20 0 3832830 13587718144 99396 33554432000 4194304 4196468 140727574167472 140727574150016 140136096788215 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 29167616 140727574168764 140727574168940 140727574168940 140727574171599 0
/proc/32128/statm: 3317314 99396 3241 1 0 3304547 0
[pid=32128/tid=32129] ppid=32127 vsize=13269256 CPUtime=2.78 cores=0-3,8-11
/proc/32128/task/32129/stat : 32129 (java) R 32127 32127 18810 0 -1 4202560 7895 0 0 0 273 5 0 0 20 0 20 0 3832831 13587718144 99396 33554432000 4194304 4196468 140727574167472 140136101022152 140135738403815 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 29167616 140727574168764 140727574168940 140727574168940 140727574171599 0
[pid=32128/tid=32131] ppid=32127 vsize=13269256 CPUtime=0.2 cores=0-3,8-11
/proc/32128/task/32131/stat : 32131 (java) S 32127 32127 18810 0 -1 1077944384 189 0 0 0 6 14 0 0 20 0 20 0 3832831 13587718144 99396 33554432000 4194304 4196468 140727574167472 140136059894928 140136096798421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29167616 140727574168764 140727574168940 140727574168940 140727574171599 0
[pid=32128/tid=32132] ppid=32127 vsize=13269256 CPUtime=0.22 cores=0-3,8-11
/proc/32128/task/32132/stat : 32132 (java) S 32127 32127 18810 0 -1 1077944384 302 0 0 0 8 14 0 0 20 0 20 0 3832831 13587718144 99396 33554432000 4194304 4196468 140727574167472 140135695318032 140136096798421 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29167616 140727574168764 140727574168940 140727574168940 140727574171599 0
[pid=32128/tid=32133] ppid=32127 vsize=13269256 CPUtime=0.2 cores=0-3,8-11
/proc/32128/task/32133/stat : 32133 (java) S 32127 32127 18810 0 -1 1077944384 125 0 0 0 6 14 0 0 20 0 20 0 3832831 13587718144 99396 33554432000 4194304 4196468 140727574167472 140135694265232 140136096798421 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29167616 140727574168764 140727574168940 140727574168940 140727574171599 0
[pid=32128/tid=32134] ppid=32127 vsize=13269256 CPUtime=0.2 cores=0-3,8-11
/proc/32128/task/32134/stat : 32134 (java) S 32127 32127 18810 0 -1 1077944384 217 0 0 0 7 13 0 0 20 0 20 0 3832831 13587718144 99396 33554432000 4194304 4196468 140727574167472 140135693212432 140136096798421 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29167616 140727574168764 140727574168940 140727574168940 140727574171599 0
[pid=32128/tid=32135] ppid=32127 vsize=13269256 CPUtime=0.19 cores=0-3,8-11
/proc/32128/task/32135/stat : 32135 (java) S 32127 32127 18810 0 -1 1077944384 111 0 0 0 5 14 0 0 20 0 20 0 3832832 13587718144 99396 33554432000 4194304 4196468 140727574167472 140135692159632 140136096798421 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29167616 140727574168764 140727574168940 140727574168940 140727574171599 0
[pid=32128/tid=32136] ppid=32127 vsize=13269256 CPUtime=0.21 cores=0-3,8-11
/proc/32128/task/32136/stat : 32136 (java) S 32127 32127 18810 0 -1 1077944384 163 0 0 0 7 14 0 0 20 0 20 0 3832832 13587718144 99396 33554432000 4194304 4196468 140727574167472 140135691106832 140136096798421 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 29167616 140727574168764 140727574168940 140727574168940 140727574171599 0
[pid=32128/tid=32137] ppid=32127 vsize=13269256 CPUtime=0.2 cores=0-3,8-11
/proc/32128/task/32137/stat : 32137 (java) S 32127 32127 18810 0 -1 1077944384 110 0 0 0 6 14 0 0 20 0 20 0 3832832 13587718144 99396 33554432000 4194304 4196468 140727574167472 140135690054032 140136096798421 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 29167616 140727574168764 140727574168940 140727574168940 140727574171599 0
[pid=32128/tid=32138] ppid=32127 vsize=13269256 CPUtime=0.19 cores=0-3,8-11
/proc/32128/task/32138/stat : 32138 (java) S 32127 32127 18810 0 -1 1077944384 390 0 0 0 6 13 0 0 20 0 20 0 3832832 13587718144 99396 33554432000 4194304 4196468 140727574167472 140135689001232 140136096798421 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 29167616 140727574168764 140727574168940 140727574168940 140727574171599 0
[pid=32128/tid=32139] ppid=32127 vsize=13269256 CPUtime=0 cores=0-3,8-11
/proc/32128/task/32139/stat : 32139 (java) S 32127 32127 18810 0 -1 1077944384 281 0 0 0 0 0 0 0 20 0 20 0 3832834 13587718144 99396 33554432000 4194304 4196468 140727574167472 140135290551152 140136096799362 0 0 0 16800975 18446744071579849748 0 0 -1 9 0 0 6 0 0 6293624 6294260 29167616 140727574168764 140727574168940 140727574168940 140727574171599 0
[pid=32128/tid=32140] ppid=32127 vsize=13269256 CPUtime=0 cores=0-3,8-11
/proc/32128/task/32140/stat : 32140 (java) S 32127 32127 18810 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 20 0 3832835 13587718144 99396 33554432000 4194304 4196468 140727574167472 140135289497120 140136096798421 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29167616 140727574168764 140727574168940 140727574168940 140727574171599 0
[pid=32128/tid=32141] ppid=32127 vsize=13269256 CPUtime=0 cores=0-3,8-11
/proc/32128/task/32141/stat : 32141 (java) S 32127 32127 18810 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 20 0 3832835 13587718144 99396 33554432000 4194304 4196468 140727574167472 140135288444272 140136096798421 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 29167616 140727574168764 140727574168940 140727574168940 140727574171599 0
[pid=32128/tid=32142] ppid=32127 vsize=13269256 CPUtime=0 cores=0-3,8-11
/proc/32128/task/32142/stat : 32142 (java) S 32127 32127 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3832839 13587718144 99396 33554432000 4194304 4196468 140727574167472 140135287392592 140136096806811 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 29167616 140727574168764 140727574168940 140727574168940 140727574171599 0
[pid=32128/tid=32143] ppid=32127 vsize=13269256 CPUtime=0.58 cores=0-3,8-11
/proc/32128/task/32143/stat : 32143 (java) S 32127 32127 18810 0 -1 1077944384 1883 0 0 0 58 0 0 0 20 0 20 0 3832839 13587718144 99396 33554432000 4194304 4196468 140727574167472 140135286339952 140136096799362 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 12 0 0 6293624 6294260 29167616 140727574168764 140727574168940 140727574168940 140727574171599 0
[pid=32128/tid=32144] ppid=32127 vsize=13269256 CPUtime=0.54 cores=0-3,8-11
/proc/32128/task/32144/stat : 32144 (java) S 32127 32127 18810 0 -1 1077944384 2183 0 0 0 54 0 0 0 20 0 20 0 3832839 13587718144 99396 33554432000 4194304 4196468 140727574167472 140135285287152 140136096799362 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 15 0 0 6293624 6294260 29167616 140727574168764 140727574168940 140727574168940 140727574171599 0
[pid=32128/tid=32145] ppid=32127 vsize=13269256 CPUtime=0.52 cores=0-3,8-11
/proc/32128/task/32145/stat : 32145 (java) S 32127 32127 18810 0 -1 1077944384 2110 0 0 0 51 1 0 0 20 0 20 0 3832839 13587718144 99396 33554432000 4194304 4196468 140727574167472 140135284234352 140136096799362 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 11 0 0 6293624 6294260 29167616 140727574168764 140727574168940 140727574168940 140727574171599 0
[pid=32128/tid=32146] ppid=32127 vsize=13269256 CPUtime=0.51 cores=0-3,8-11
/proc/32128/task/32146/stat : 32146 (java) S 32127 32127 18810 0 -1 1077944384 3755 0 0 0 51 0 0 0 20 0 20 0 3832839 13587718144 99396 33554432000 4194304 4196468 140727574167472 140135283181552 140136096799362 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 17 0 0 6293624 6294260 29167616 140727574168764 140727574168940 140727574168940 140727574171599 0
[pid=32128/tid=32147] ppid=32127 vsize=13269256 CPUtime=0 cores=0-3,8-11
/proc/32128/task/32147/stat : 32147 (java) S 32127 32127 18810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3832839 13587718144 99396 33554432000 4194304 4196468 140727574167472 140135282130016 140136096798421 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 29167616 140727574168764 140727574168940 140727574168940 140727574171599 0
[pid=32128/tid=32148] ppid=32127 vsize=13269256 CPUtime=0 cores=0-3,8-11
/proc/32128/task/32148/stat : 32148 (java) S 32127 32127 18810 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 20 0 3832840 13587718144 99396 33554432000 4194304 4196468 140727574167472 140135281077296 140136096799362 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 15 0 0 6293624 6294260 29167616 140727574168764 140727574168940 140727574168940 140727574171599 0
Current children cumulated CPU time (s) 6.65
Current children cumulated vsize (KiB) 13278768

[startup+6.30087 s]
/proc/loadavg: 14.95 15.90 15.37 17/297 32148
/proc/meminfo: memFree=29547076/32770624 swapFree=5944/213684
[pid=32127] ppid=32124 vsize=9512 CPUtime=0 cores=0-3,8-11
/proc/32127/stat : 32127 (xcsp3-exec) S 32124 32127 18810 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3832830 9740288 346 33554432000 4194304 5098028 140727781609872 140727781607976 140629255533180 0 65536 4100 65538 18446744071579417331 0 0 17 10 0 0 0 0 0 7196144 7232144 27045888 140727781618830 140727781619040 140727781619040 140727781621739 0
/proc/32127/statm: 2378 346 289 221 0 87 0
[pid=32128] ppid=32127 vsize=13269256 CPUtime=16.07 cores=0-3,8-11
/proc/32128/stat : 32128 (java) S 32127 32127 18810 0 -1 1077944320 32409 0 0 0 1347 260 0 0 20 0 20 0 3832830 13587718144 193686 33554432000 4194304 4196468 140727574167472 140727574150016 140136096788215 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 29167616 140727574168764 140727574168940 140727574168940 140727574171599 0
/proc/32128/statm: 3317314 193686 3261 1 0 3304547 0
[pid=32128/tid=32129] ppid=32127 vsize=13269256 CPUtime=5.04 cores=0-3,8-11
/proc/32128/task/32129/stat : 32129 (java) R 32127 32127 18810 0 -1 4202560 8072 0 0 0 498 6 0 0 20 0 20 0 3832831 13587718144 193686 33554432000 4194304 4196468 140727574167472 140136101023560 140135737585962 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29167616 140727574168764 140727574168940 140727574168940 140727574171599 0
[pid=32128/tid=32131] ppid=32127 vsize=13269256 CPUtime=1.06 cores=0-3,8-11
/proc/32128/task/32131/stat : 32131 (java) S 32127 32127 18810 0 -1 1077944384 1099 0 0 0 75 31 0 0 20 0 20 0 3832831 13587718144 193686 33554432000 4194304 4196468 140727574167472 140136059894928 140136096798421 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29167616 140727574168764 140727574168940 140727574168940 140727574171599 0
[pid=32128/tid=32132] ppid=32127 vsize=13269256 CPUtime=1.07 cores=0-3,8-11
/proc/32128/task/32132/stat : 32132 (java) S 32127 32127 18810 0 -1 1077944384 1568 0 0 0 77 30 0 0 20 0 20 0 3832831 13587718144 193686 33554432000 4194304 4196468 140727574167472 140135695318032 140136096798421 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29167616 140727574168764 140727574168940 140727574168940 140727574171599 0
[pid=32128/tid=32133] ppid=32127 vsize=13269256 CPUtime=1.07 cores=0-3,8-11
/proc/32128/task/32133/stat : 32133 (java) S 32127 32127 18810 0 -1 1077944384 1365 0 0 0 76 31 0 0 20 0 20 0 3832831 13587718144 193686 33554432000 4194304 4196468 140727574167472 140135694265232 140136096798421 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29167616 140727574168764 140727574168940 140727574168940 140727574171599 0
[pid=32128/tid=32134] ppid=32127 vsize=13269256 CPUtime=1.06 cores=0-3,8-11
/proc/32128/task/32134/stat : 32134 (java) S 32127 32127 18810 0 -1 1077944384 1433 0 0 0 76 30 0 0 20 0 20 0 3832831 13587718144 193686 33554432000 4194304 4196468 140727574167472 140135693212432 140136096798421 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29167616 140727574168764 140727574168940 140727574168940 140727574171599 0
[pid=32128/tid=32135] ppid=32127 vsize=13269256 CPUtime=1.06 cores=0-3,8-11
/proc/32128/task/32135/stat : 32135 (java) S 32127 32127 18810 0 -1 1077944384 1057 0 0 0 75 31 0 0 20 0 20 0 3832832 13587718144 193686 33554432000 4194304 4196468 140727574167472 140135692159632 140136096798421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29167616 140727574168764 140727574168940 140727574168940 140727574171599 0
[pid=32128/tid=32136] ppid=32127 vsize=13269256 CPUtime=1.05 cores=0-3,8-11
/proc/32128/task/32136/stat : 32136 (java) S 32127 32127 18810 0 -1 1077944384 1345 0 0 0 74 31 0 0 20 0 20 0 3832832 13587718144 193686 33554432000 4194304 4196468 140727574167472 140135691106832 140136096798421 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29167616 140727574168764 140727574168940 140727574168940 140727574171599 0
[pid=32128/tid=32137] ppid=32127 vsize=13269256 CPUtime=1.06 cores=0-3,8-11
/proc/32128/task/32137/stat : 32137 (java) S 32127 32127 18810 0 -1 1077944384 1253 0 0 0 75 31 0 0 20 0 20 0 3832832 13587718144 193686 33554432000 4194304 4196468 140727574167472 140135690054032 140136096798421 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 29167616 140727574168764 140727574168940 140727574168940 140727574171599 0
[pid=32128/tid=32138] ppid=32127 vsize=13269256 CPUtime=1.05 cores=0-3,8-11
/proc/32128/task/32138/stat : 32138 (java) S 32127 32127 18810 0 -1 1077944384 1317 0 0 0 75 30 0 0 20 0 20 0 3832832 13587718144 193686 33554432000 4194304 4196468 140727574167472 140135689001232 140136096798421 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 29167616 140727574168764 140727574168940 140727574168940 140727574171599 0
[pid=32128/tid=32139] ppid=32127 vsize=13269256 CPUtime=0.06 cores=0-3,8-11
/proc/32128/task/32139/stat : 32139 (java) S 32127 32127 18810 0 -1 1077944384 1975 0 0 0 6 0 0 0 20 0 20 0 3832834 13587718144 193686 33554432000 4194304 4196468 140727574167472 140135290551152 140136096799362 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 6 0 0 6293624 6294260 29167616 140727574168764 140727574168940 140727574168940 140727574171599 0
[pid=32128/tid=32140] ppid=32127 vsize=13269256 CPUtime=0 cores=0-3,8-11
/proc/32128/task/32140/stat : 32140 (java) S 32127 32127 18810 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 20 0 3832835 13587718144 193686 33554432000 4194304 4196468 140727574167472 140135289497120 140136096798421 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29167616 140727574168764 140727574168940 140727574168940 140727574171599 0
[pid=32128/tid=32141] ppid=32127 vsize=13269256 CPUtime=0 cores=0-3,8-11
/proc/32128/task/32141/stat : 32141 (java) S 32127 32127 18810 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 20 0 3832835 13587718144 193686 33554432000 4194304 4196468 140727574167472 140135288444272 140136096798421 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 29167616 140727574168764 140727574168940 140727574168940 140727574171599 0
[pid=32128/tid=32142] ppid=32127 vsize=13269256 CPUtime=0 cores=0-3,8-11
/proc/32128/task/32142/stat : 32142 (java) S 32127 32127 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3832839 13587718144 193686 33554432000 4194304 4196468 140727574167472 140135287392592 140136096806811 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 29167616 140727574168764 140727574168940 140727574168940 140727574171599 0

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

/proc/32128/task/32148/stat : 32148 (java) S 32127 32127 18810 0 -1 1077944384 438 0 0 0 6 7 0 0 20 0 20 0 3832840 13587718144 2501607 33554432000 4194304 4196468 140727574167472 140135281077296 140136096799362 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 15 0 0 6293624 6294260 29167616 140727574168764 140727574168940 140727574168940 140727574171599 0
Current children cumulated CPU time (s) 368.32
Current children cumulated vsize (KiB) 13278768

[startup+218.101 s]
/proc/loadavg: 10.22 12.82 14.24 17/297 32157
/proc/meminfo: memFree=18459556/32770624 swapFree=5944/213916
[pid=32127] ppid=32124 vsize=9512 CPUtime=0 cores=0-3,8-11
/proc/32127/stat : 32127 (xcsp3-exec) S 32124 32127 18810 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3832830 9740288 346 33554432000 4194304 5098028 140727781609872 140727781607976 140629255533180 0 65536 4100 65538 18446744071579417331 0 0 17 10 0 0 0 0 0 7196144 7232144 27045888 140727781618830 140727781619040 140727781619040 140727781621739 0
/proc/32127/statm: 2378 346 289 221 0 87 0
[pid=32128] ppid=32127 vsize=13269256 CPUtime=392.23 cores=0-3,8-11
/proc/32128/stat : 32128 (java) S 32127 32127 18810 0 -1 1077944320 171253 0 0 0 34654 4569 0 0 20 0 20 0 3832830 13587718144 2501641 33554432000 4194304 4196468 140727574167472 140727574150016 140136096788215 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 29167616 140727574168764 140727574168940 140727574168940 140727574171599 0
/proc/32128/statm: 3317314 2501641 3280 1 0 3304547 0
[pid=32128/tid=32129] ppid=32127 vsize=13269256 CPUtime=191.34 cores=0-3,8-11
/proc/32128/task/32129/stat : 32129 (java) S 32127 32127 18810 0 -1 1077944384 12964 0 0 0 19124 10 0 0 20 0 20 0 3832831 13587718144 2501641 33554432000 4194304 4196468 140727574167472 140136101024752 140136096798421 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29167616 140727574168764 140727574168940 140727574168940 140727574171599 0
[pid=32128/tid=32131] ppid=32127 vsize=13269256 CPUtime=24.52 cores=0-3,8-11
/proc/32128/task/32131/stat : 32131 (java) R 32127 32127 18810 0 -1 4202560 14188 0 0 0 1871 581 0 0 20 0 20 0 3832831 13587718144 2501641 33554432000 4194304 4196468 140727574167472 140136059895128 140136076814670 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29167616 140727574168764 140727574168940 140727574168940 140727574171599 0
[pid=32128/tid=32132] ppid=32127 vsize=13269256 CPUtime=24.51 cores=0-3,8-11
/proc/32128/task/32132/stat : 32132 (java) R 32127 32127 18810 0 -1 4202560 13475 0 0 0 1859 592 0 0 20 0 20 0 3832831 13587718144 2501641 33554432000 4194304 4196468 140727574167472 140135695318232 140136081485803 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 29167616 140727574168764 140727574168940 140727574168940 140727574171599 0
[pid=32128/tid=32133] ppid=32127 vsize=13269256 CPUtime=24.6 cores=0-3,8-11
/proc/32128/task/32133/stat : 32133 (java) R 32127 32127 18810 0 -1 4202560 12142 0 0 0 1916 544 0 0 20 0 20 0 3832831 13587718144 2501641 33554432000 4194304 4196468 140727574167472 140135694265432 140136081738757 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29167616 140727574168764 140727574168940 140727574168940 140727574171599 0
[pid=32128/tid=32134] ppid=32127 vsize=13269256 CPUtime=24.7 cores=0-3,8-11
/proc/32128/task/32134/stat : 32134 (java) R 32127 32127 18810 0 -1 4202560 25960 0 0 0 1909 561 0 0 20 0 20 0 3832831 13587718144 2501641 33554432000 4194304 4196468 140727574167472 140135693212632 140136081773511 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 29167616 140727574168764 140727574168940 140727574168940 140727574171599 0
[pid=32128/tid=32135] ppid=32127 vsize=13269256 CPUtime=24.37 cores=0-3,8-11
/proc/32128/task/32135/stat : 32135 (java) R 32127 32127 18810 0 -1 4202560 12269 0 0 0 1902 535 0 0 20 0 20 0 3832832 13587718144 2501641 33554432000 4194304 4196468 140727574167472 140135692159832 140136076814432 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29167616 140727574168764 140727574168940 140727574168940 140727574171599 0
[pid=32128/tid=32136] ppid=32127 vsize=13269256 CPUtime=24.62 cores=0-3,8-11
/proc/32128/task/32136/stat : 32136 (java) R 32127 32127 18810 0 -1 4202560 19023 0 0 0 1877 585 0 0 20 0 20 0 3832832 13587718144 2501641 33554432000 4194304 4196468 140727574167472 140135691106720 140136081485928 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 29167616 140727574168764 140727574168940 140727574168940 140727574171599 0
[pid=32128/tid=32137] ppid=32127 vsize=13269256 CPUtime=24.4 cores=0-3,8-11
/proc/32128/task/32137/stat : 32137 (java) R 32127 32127 18810 0 -1 4202560 12122 0 0 0 1852 588 0 0 20 0 20 0 3832832 13587718144 2501641 33554432000 4194304 4196468 140727574167472 140135690054232 140136081485854 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29167616 140727574168764 140727574168940 140727574168940 140727574171599 0
[pid=32128/tid=32138] ppid=32127 vsize=13269256 CPUtime=24.5 cores=0-3,8-11
/proc/32128/task/32138/stat : 32138 (java) R 32127 32127 18810 0 -1 4202560 14343 0 0 0 1896 554 0 0 20 0 20 0 3832832 13587718144 2501641 33554432000 4194304 4196468 140727574167472 140135689001432 140136081739291 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 29167616 140727574168764 140727574168940 140727574168940 140727574171599 0
[pid=32128/tid=32139] ppid=32127 vsize=13269256 CPUtime=1.58 cores=0-3,8-11
/proc/32128/task/32139/stat : 32139 (java) S 32127 32127 18810 0 -1 1077944384 17951 0 0 0 156 2 0 0 20 0 20 0 3832834 13587718144 2501641 33554432000 4194304 4196468 140727574167472 140135290549488 140136096798421 0 0 0 16800975 18446744071579849748 0 0 -1 8 0 0 6 0 0 6293624 6294260 29167616 140727574168764 140727574168940 140727574168940 140727574171599 0
[pid=32128/tid=32140] ppid=32127 vsize=13269256 CPUtime=0 cores=0-3,8-11
/proc/32128/task/32140/stat : 32140 (java) S 32127 32127 18810 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 20 0 3832835 13587718144 2501641 33554432000 4194304 4196468 140727574167472 140135289496720 140136096799362 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29167616 140727574168764 140727574168940 140727574168940 140727574171599 0
[pid=32128/tid=32141] ppid=32127 vsize=13269256 CPUtime=0 cores=0-3,8-11
/proc/32128/task/32141/stat : 32141 (java) S 32127 32127 18810 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 20 0 3832835 13587718144 2501641 33554432000 4194304 4196468 140727574167472 140135288444288 140136096798421 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 29167616 140727574168764 140727574168940 140727574168940 140727574171599 0
[pid=32128/tid=32142] ppid=32127 vsize=13269256 CPUtime=0 cores=0-3,8-11
/proc/32128/task/32142/stat : 32142 (java) S 32127 32127 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3832839 13587718144 2501641 33554432000 4194304 4196468 140727574167472 140135287392592 140136096806811 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 29167616 140727574168764 140727574168940 140727574168940 140727574171599 0
[pid=32128/tid=32143] ppid=32127 vsize=13269256 CPUtime=0.8 cores=0-3,8-11
/proc/32128/task/32143/stat : 32143 (java) S 32127 32127 18810 0 -1 1077944384 3232 0 0 0 80 0 0 0 20 0 20 0 3832839 13587718144 2501641 33554432000 4194304 4196468 140727574167472 140135286339952 140136096799362 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 12 0 0 6293624 6294260 29167616 140727574168764 140727574168940 140727574168940 140727574171599 0
[pid=32128/tid=32144] ppid=32127 vsize=13269256 CPUtime=0.7 cores=0-3,8-11
/proc/32128/task/32144/stat : 32144 (java) S 32127 32127 18810 0 -1 1077944384 3154 0 0 0 70 0 0 0 20 0 20 0 3832839 13587718144 2501641 33554432000 4194304 4196468 140727574167472 140135285287152 140136096799362 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 15 0 0 6293624 6294260 29167616 140727574168764 140727574168940 140727574168940 140727574171599 0
[pid=32128/tid=32145] ppid=32127 vsize=13269256 CPUtime=0.73 cores=0-3,8-11
/proc/32128/task/32145/stat : 32145 (java) S 32127 32127 18810 0 -1 1077944384 3157 0 0 0 72 1 0 0 20 0 20 0 3832839 13587718144 2501641 33554432000 4194304 4196468 140727574167472 140135284234352 140136096799362 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 11 0 0 6293624 6294260 29167616 140727574168764 140727574168940 140727574168940 140727574171599 0
[pid=32128/tid=32146] ppid=32127 vsize=13269256 CPUtime=0.59 cores=0-3,8-11
/proc/32128/task/32146/stat : 32146 (java) S 32127 32127 18810 0 -1 1077944384 5459 0 0 0 58 1 0 0 20 0 20 0 3832839 13587718144 2501641 33554432000 4194304 4196468 140727574167472 140135283181552 140136096799362 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 17 0 0 6293624 6294260 29167616 140727574168764 140727574168940 140727574168940 140727574171599 0
[pid=32128/tid=32147] ppid=32127 vsize=13269256 CPUtime=0 cores=0-3,8-11
/proc/32128/task/32147/stat : 32147 (java) S 32127 32127 18810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3832839 13587718144 2501641 33554432000 4194304 4196468 140727574167472 140135282130016 140136096798421 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 29167616 140727574168764 140727574168940 140727574168940 140727574171599 0
[pid=32128/tid=32148] ppid=32127 vsize=13269256 CPUtime=0.13 cores=0-3,8-11
/proc/32128/task/32148/stat : 32148 (java) S 32127 32127 18810 0 -1 1077944384 438 0 0 0 6 7 0 0 20 0 20 0 3832840 13587718144 2501641 33554432000 4194304 4196468 140727574167472 140135281077296 140136096799362 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 15 0 0 6293624 6294260 29167616 140727574168764 140727574168940 140727574168940 140727574171599 0
Current children cumulated CPU time (s) 392.23
Current children cumulated vsize (KiB) 13278768

[startup+219.701 s]
/proc/loadavg: 10.22 12.82 14.24 17/297 32157
/proc/meminfo: memFree=18459308/32770624 swapFree=5944/213916
[pid=32127] ppid=32124 vsize=9512 CPUtime=0 cores=0-3,8-11
/proc/32127/stat : 32127 (xcsp3-exec) S 32124 32127 18810 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3832830 9740288 346 33554432000 4194304 5098028 140727781609872 140727781607976 140629255533180 0 65536 4100 65538 18446744071579417331 0 0 17 10 0 0 0 0 0 7196144 7232144 27045888 140727781618830 140727781619040 140727781619040 140727781621739 0
/proc/32127/statm: 2378 346 289 221 0 87 0
[pid=32128] ppid=32127 vsize=13269256 CPUtime=404.4 cores=0-3,8-11
/proc/32128/stat : 32128 (java) S 32127 32127 18810 0 -1 1077944320 171341 0 0 0 35867 4573 0 0 20 0 20 0 3832830 13587718144 2501689 33554432000 4194304 4196468 140727574167472 140727574150016 140136096788215 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 29167616 140727574168764 140727574168940 140727574168940 140727574171599 0
/proc/32128/statm: 3317314 2501689 3281 1 0 3304547 0
[pid=32128/tid=32129] ppid=32127 vsize=13269256 CPUtime=191.34 cores=0-3,8-11
/proc/32128/task/32129/stat : 32129 (java) S 32127 32127 18810 0 -1 1077944384 13022 0 0 0 19124 10 0 0 20 0 20 0 3832831 13587718144 2501689 33554432000 4194304 4196468 140727574167472 140136101027488 140136096798421 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29167616 140727574168764 140727574168940 140727574168940 140727574171599 0
[pid=32128/tid=32131] ppid=32127 vsize=13269256 CPUtime=26.04 cores=0-3,8-11
/proc/32128/task/32131/stat : 32131 (java) R 32127 32127 18810 0 -1 4202560 14189 0 0 0 2022 582 0 0 20 0 20 0 3832831 13587718144 2501689 33554432000 4194304 4196468 140727574167472 140136059895048 140136089416423 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29167616 140727574168764 140727574168940 140727574168940 140727574171599 0
[pid=32128/tid=32132] ppid=32127 vsize=13269256 CPUtime=26.04 cores=0-3,8-11
/proc/32128/task/32132/stat : 32132 (java) R 32127 32127 18810 0 -1 4202560 13480 0 0 0 2012 592 0 0 20 0 20 0 3832831 13587718144 2501689 33554432000 4194304 4196468 140727574167472 140135695318152 140136089416423 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 29167616 140727574168764 140727574168940 140727574168940 140727574171599 0
[pid=32128/tid=32133] ppid=32127 vsize=13269256 CPUtime=26.13 cores=0-3,8-11
/proc/32128/task/32133/stat : 32133 (java) R 32127 32127 18810 0 -1 4202560 12148 0 0 0 2068 545 0 0 20 0 20 0 3832831 13587718144 2501689 33554432000 4194304 4196468 140727574167472 140135694265352 140136089416423 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29167616 140727574168764 140727574168940 140727574168940 140727574171599 0
[pid=32128/tid=32134] ppid=32127 vsize=13269256 CPUtime=26.21 cores=0-3,8-11
/proc/32128/task/32134/stat : 32134 (java) R 32127 32127 18810 0 -1 4202560 25966 0 0 0 2059 562 0 0 20 0 20 0 3832831 13587718144 2501689 33554432000 4194304 4196468 140727574167472 140135693212552 140136089416423 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29167616 140727574168764 140727574168940 140727574168940 140727574171599 0
[pid=32128/tid=32135] ppid=32127 vsize=13269256 CPUtime=25.88 cores=0-3,8-11
/proc/32128/task/32135/stat : 32135 (java) R 32127 32127 18810 0 -1 4202560 12274 0 0 0 2053 535 0 0 20 0 20 0 3832832 13587718144 2501689 33554432000 4194304 4196468 140727574167472 140135692159752 140136089891208 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29167616 140727574168764 140727574168940 140727574168940 140727574171599 0
[pid=32128/tid=32136] ppid=32127 vsize=13269256 CPUtime=26.08 cores=0-3,8-11
/proc/32128/task/32136/stat : 32136 (java) R 32127 32127 18810 0 -1 4202560 19024 0 0 0 2023 585 0 0 20 0 20 0 3832832 13587718144 2501689 33554432000 4194304 4196468 140727574167472 140135691106952 140136082547032 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 29167616 140727574168764 140727574168940 140727574168940 140727574171599 0
[pid=32128/tid=32137] ppid=32127 vsize=13269256 CPUtime=25.91 cores=0-3,8-11
/proc/32128/task/32137/stat : 32137 (java) R 32127 32127 18810 0 -1 4202560 12127 0 0 0 2002 589 0 0 20 0 20 0 3832832 13587718144 2501689 33554432000 4194304 4196468 140727574167472 140135690054152 140136089891194 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 29167616 140727574168764 140727574168940 140727574168940 140727574171599 0
[pid=32128/tid=32138] ppid=32127 vsize=13269256 CPUtime=26.02 cores=0-3,8-11
/proc/32128/task/32138/stat : 32138 (java) R 32127 32127 18810 0 -1 4202560 14344 0 0 0 2048 554 0 0 20 0 20 0 3832832 13587718144 2501689 33554432000 4194304 4196468 140727574167472 140135689001352 140136089416423 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 29167616 140727574168764 140727574168940 140727574168940 140727574171599 0
[pid=32128/tid=32139] ppid=32127 vsize=13269256 CPUtime=1.65 cores=0-3,8-11
/proc/32128/task/32139/stat : 32139 (java) S 32127 32127 18810 0 -1 1077944384 17951 0 0 0 163 2 0 0 20 0 20 0 3832834 13587718144 2501689 33554432000 4194304 4196468 140727574167472 140135290549696 140136096798421 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 6 0 0 6293624 6294260 29167616 140727574168764 140727574168940 140727574168940 140727574171599 0
[pid=32128/tid=32140] ppid=32127 vsize=13269256 CPUtime=0 cores=0-3,8-11
/proc/32128/task/32140/stat : 32140 (java) S 32127 32127 18810 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 20 0 3832835 13587718144 2501689 33554432000 4194304 4196468 140727574167472 140135289497184 140136096798421 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29167616 140727574168764 140727574168940 140727574168940 140727574171599 0
[pid=32128/tid=32141] ppid=32127 vsize=13269256 CPUtime=0 cores=0-3,8-11
/proc/32128/task/32141/stat : 32141 (java) S 32127 32127 18810 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 20 0 3832835 13587718144 2501689 33554432000 4194304 4196468 140727574167472 140135288444288 140136096798421 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 29167616 140727574168764 140727574168940 140727574168940 140727574171599 0
[pid=32128/tid=32142] ppid=32127 vsize=13269256 CPUtime=0 cores=0-3,8-11
/proc/32128/task/32142/stat : 32142 (java) S 32127 32127 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3832839 13587718144 2501689 33554432000 4194304 4196468 140727574167472 140135287392592 140136096806811 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 29167616 140727574168764 140727574168940 140727574168940 140727574171599 0
[pid=32128/tid=32143] ppid=32127 vsize=13269256 CPUtime=0.8 cores=0-3,8-11
/proc/32128/task/32143/stat : 32143 (java) S 32127 32127 18810 0 -1 1077944384 3232 0 0 0 80 0 0 0 20 0 20 0 3832839 13587718144 2501689 33554432000 4194304 4196468 140727574167472 140135286339952 140136096799362 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 12 0 0 6293624 6294260 29167616 140727574168764 140727574168940 140727574168940 140727574171599 0
[pid=32128/tid=32144] ppid=32127 vsize=13269256 CPUtime=0.7 cores=0-3,8-11
/proc/32128/task/32144/stat : 32144 (java) S 32127 32127 18810 0 -1 1077944384 3154 0 0 0 70 0 0 0 20 0 20 0 3832839 13587718144 2501689 33554432000 4194304 4196468 140727574167472 140135285287152 140136096799362 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 15 0 0 6293624 6294260 29167616 140727574168764 140727574168940 140727574168940 140727574171599 0
[pid=32128/tid=32145] ppid=32127 vsize=13269256 CPUtime=0.73 cores=0-3,8-11
/proc/32128/task/32145/stat : 32145 (java) S 32127 32127 18810 0 -1 1077944384 3157 0 0 0 72 1 0 0 20 0 20 0 3832839 13587718144 2501689 33554432000 4194304 4196468 140727574167472 140135284234352 140136096799362 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 11 0 0 6293624 6294260 29167616 140727574168764 140727574168940 140727574168940 140727574171599 0
[pid=32128/tid=32146] ppid=32127 vsize=13269256 CPUtime=0.59 cores=0-3,8-11
/proc/32128/task/32146/stat : 32146 (java) S 32127 32127 18810 0 -1 1077944384 5459 0 0 0 58 1 0 0 20 0 20 0 3832839 13587718144 2501689 33554432000 4194304 4196468 140727574167472 140135283181552 140136096799362 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 17 0 0 6293624 6294260 29167616 140727574168764 140727574168940 140727574168940 140727574171599 0
[pid=32128/tid=32147] ppid=32127 vsize=13269256 CPUtime=0 cores=0-3,8-11
/proc/32128/task/32147/stat : 32147 (java) S 32127 32127 18810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3832839 13587718144 2501689 33554432000 4194304 4196468 140727574167472 140135282130016 140136096798421 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 29167616 140727574168764 140727574168940 140727574168940 140727574171599 0
[pid=32128/tid=32148] ppid=32127 vsize=13269256 CPUtime=0.13 cores=0-3,8-11
/proc/32128/task/32148/stat : 32148 (java) S 32127 32127 18810 0 -1 1077944384 438 0 0 0 6 7 0 0 20 0 20 0 3832840 13587718144 2501689 33554432000 4194304 4196468 140727574167472 140135281077296 140136096799362 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 15 0 0 6293624 6294260 29167616 140727574168764 140727574168940 140727574168940 140727574171599 0
Current children cumulated CPU time (s) 404.4
Current children cumulated vsize (KiB) 13278768

[startup+220.501 s]
/proc/loadavg: 10.76 12.89 14.25 17/297 32157
/proc/meminfo: memFree=18459308/32770624 swapFree=5944/213916
[pid=32127] ppid=32124 vsize=9512 CPUtime=0 cores=0-3,8-11
/proc/32127/stat : 32127 (xcsp3-exec) S 32124 32127 18810 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3832830 9740288 346 33554432000 4194304 5098028 140727781609872 140727781607976 140629255533180 0 65536 4100 65538 18446744071579417331 0 0 17 10 0 0 0 0 0 7196144 7232144 27045888 140727781618830 140727781619040 140727781619040 140727781621739 0
/proc/32127/statm: 2378 346 289 221 0 87 0
[pid=32128] ppid=32127 vsize=13269256 CPUtime=410.88 cores=0-3,8-11
/proc/32128/stat : 32128 (java) S 32127 32127 18810 0 -1 1077944320 171664 0 0 0 36512 4576 0 0 20 0 20 0 3832830 13587718144 2501714 33554432000 4194304 4196468 140727574167472 140727574150016 140136096788215 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 29167616 140727574168764 140727574168940 140727574168940 140727574171599 0
/proc/32128/statm: 3317314 2501714 3281 1 0 3304547 0
[pid=32128/tid=32129] ppid=32127 vsize=13269256 CPUtime=191.34 cores=0-3,8-11
/proc/32128/task/32129/stat : 32129 (java) S 32127 32127 18810 0 -1 1077944384 13022 0 0 0 19124 10 0 0 20 0 20 0 3832831 13587718144 2501714 33554432000 4194304 4196468 140727574167472 140136101027488 140136096798421 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29167616 140727574168764 140727574168940 140727574168940 140727574171599 0
[pid=32128/tid=32131] ppid=32127 vsize=13269256 CPUtime=26.85 cores=0-3,8-11
/proc/32128/task/32131/stat : 32131 (java) R 32127 32127 18810 0 -1 4202560 14205 0 0 0 2103 582 0 0 20 0 20 0 3832831 13587718144 2501714 33554432000 4194304 4196468 140727574167472 140136059895048 140136089416423 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29167616 140727574168764 140727574168940 140727574168940 140727574171599 0
[pid=32128/tid=32132] ppid=32127 vsize=13269256 CPUtime=26.85 cores=0-3,8-11
/proc/32128/task/32132/stat : 32132 (java) R 32127 32127 18810 0 -1 4202560 13605 0 0 0 2093 592 0 0 20 0 20 0 3832831 13587718144 2501714 33554432000 4194304 4196468 140727574167472 140135695318152 140136089416423 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 29167616 140727574168764 140727574168940 140727574168940 140727574171599 0
[pid=32128/tid=32133] ppid=32127 vsize=13269256 CPUtime=26.95 cores=0-3,8-11
/proc/32128/task/32133/stat : 32133 (java) R 32127 32127 18810 0 -1 4202560 12271 0 0 0 2150 545 0 0 20 0 20 0 3832831 13587718144 2501714 33554432000 4194304 4196468 140727574167472 140135694265352 140136080171250 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29167616 140727574168764 140727574168940 140727574168940 140727574171599 0
[pid=32128/tid=32134] ppid=32127 vsize=13269256 CPUtime=27.02 cores=0-3,8-11
/proc/32128/task/32134/stat : 32134 (java) R 32127 32127 18810 0 -1 4202560 25977 0 0 0 2140 562 0 0 20 0 20 0 3832831 13587718144 2501714 33554432000 4194304 4196468 140727574167472 140135693212552 140136089416423 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29167616 140727574168764 140727574168940 140727574168940 140727574171599 0
[pid=32128/tid=32135] ppid=32127 vsize=13269256 CPUtime=26.7 cores=0-3,8-11
/proc/32128/task/32135/stat : 32135 (java) R 32127 32127 18810 0 -1 4202560 12282 0 0 0 2134 536 0 0 20 0 20 0 3832832 13587718144 2501714 33554432000 4194304 4196468 140727574167472 140135692159752 140136089891201 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29167616 140727574168764 140727574168940 140727574168940 140727574171599 0
[pid=32128/tid=32136] ppid=32127 vsize=13269256 CPUtime=26.88 cores=0-3,8-11
/proc/32128/task/32136/stat : 32136 (java) R 32127 32127 18810 0 -1 4202560 19046 0 0 0 2102 586 0 0 20 0 20 0 3832832 13587718144 2501714 33554432000 4194304 4196468 140727574167472 140135691106952 140136089416423 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 29167616 140727574168764 140727574168940 140727574168940 140727574171599 0
[pid=32128/tid=32137] ppid=32127 vsize=13269256 CPUtime=26.72 cores=0-3,8-11
/proc/32128/task/32137/stat : 32137 (java) R 32127 32127 18810 0 -1 4202560 12136 0 0 0 2083 589 0 0 20 0 20 0 3832832 13587718144 2501714 33554432000 4194304 4196468 140727574167472 140135690054152 140136089891194 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 29167616 140727574168764 140727574168940 140727574168940 140727574171599 0
[pid=32128/tid=32138] ppid=32127 vsize=13269256 CPUtime=26.84 cores=0-3,8-11
/proc/32128/task/32138/stat : 32138 (java) R 32127 32127 18810 0 -1 4202560 14353 0 0 0 2129 555 0 0 20 0 20 0 3832832 13587718144 2501714 33554432000 4194304 4196468 140727574167472 140135689001352 140136089416423 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 29167616 140727574168764 140727574168940 140727574168940 140727574171599 0
[pid=32128/tid=32139] ppid=32127 vsize=13269256 CPUtime=1.65 cores=0-3,8-11
/proc/32128/task/32139/stat : 32139 (java) S 32127 32127 18810 0 -1 1077944384 17951 0 0 0 163 2 0 0 20 0 20 0 3832834 13587718144 2501714 33554432000 4194304 4196468 140727574167472 140135290549696 140136096798421 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 6 0 0 6293624 6294260 29167616 140727574168764 140727574168940 140727574168940 140727574171599 0
[pid=32128/tid=32140] ppid=32127 vsize=13269256 CPUtime=0 cores=0-3,8-11
/proc/32128/task/32140/stat : 32140 (java) S 32127 32127 18810 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 20 0 3832835 13587718144 2501714 33554432000 4194304 4196468 140727574167472 140135289497184 140136096798421 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29167616 140727574168764 140727574168940 140727574168940 140727574171599 0
[pid=32128/tid=32141] ppid=32127 vsize=13269256 CPUtime=0 cores=0-3,8-11
/proc/32128/task/32141/stat : 32141 (java) S 32127 32127 18810 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 20 0 3832835 13587718144 2501714 33554432000 4194304 4196468 140727574167472 140135288444288 140136096798421 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 29167616 140727574168764 140727574168940 140727574168940 140727574171599 0
[pid=32128/tid=32142] ppid=32127 vsize=13269256 CPUtime=0 cores=0-3,8-11
/proc/32128/task/32142/stat : 32142 (java) S 32127 32127 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3832839 13587718144 2501714 33554432000 4194304 4196468 140727574167472 140135287392592 140136096806811 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 29167616 140727574168764 140727574168940 140727574168940 140727574171599 0
[pid=32128/tid=32143] ppid=32127 vsize=13269256 CPUtime=0.8 cores=0-3,8-11
/proc/32128/task/32143/stat : 32143 (java) S 32127 32127 18810 0 -1 1077944384 3232 0 0 0 80 0 0 0 20 0 20 0 3832839 13587718144 2501714 33554432000 4194304 4196468 140727574167472 140135286339952 140136096799362 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 12 0 0 6293624 6294260 29167616 140727574168764 140727574168940 140727574168940 140727574171599 0
[pid=32128/tid=32144] ppid=32127 vsize=13269256 CPUtime=0.7 cores=0-3,8-11
/proc/32128/task/32144/stat : 32144 (java) S 32127 32127 18810 0 -1 1077944384 3154 0 0 0 70 0 0 0 20 0 20 0 3832839 13587718144 2501714 33554432000 4194304 4196468 140727574167472 140135285287152 140136096799362 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 15 0 0 6293624 6294260 29167616 140727574168764 140727574168940 140727574168940 140727574171599 0
[pid=32128/tid=32145] ppid=32127 vsize=13269256 CPUtime=0.73 cores=0-3,8-11
/proc/32128/task/32145/stat : 32145 (java) S 32127 32127 18810 0 -1 1077944384 3157 0 0 0 72 1 0 0 20 0 20 0 3832839 13587718144 2501714 33554432000 4194304 4196468 140727574167472 140135284234352 140136096799362 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 11 0 0 6293624 6294260 29167616 140727574168764 140727574168940 140727574168940 140727574171599 0
[pid=32128/tid=32146] ppid=32127 vsize=13269256 CPUtime=0.59 cores=0-3,8-11
/proc/32128/task/32146/stat : 32146 (java) S 32127 32127 18810 0 -1 1077944384 5459 0 0 0 58 1 0 0 20 0 20 0 3832839 13587718144 2501714 33554432000 4194304 4196468 140727574167472 140135283181552 140136096799362 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 17 0 0 6293624 6294260 29167616 140727574168764 140727574168940 140727574168940 140727574171599 0
[pid=32128/tid=32147] ppid=32127 vsize=13269256 CPUtime=0 cores=0-3,8-11
/proc/32128/task/32147/stat : 32147 (java) S 32127 32127 18810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3832839 13587718144 2501714 33554432000 4194304 4196468 140727574167472 140135282130016 140136096798421 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 29167616 140727574168764 140727574168940 140727574168940 140727574171599 0
[pid=32128/tid=32148] ppid=32127 vsize=13269256 CPUtime=0.13 cores=0-3,8-11
/proc/32128/task/32148/stat : 32148 (java) S 32127 32127 18810 0 -1 1077944384 438 0 0 0 6 7 0 0 20 0 20 0 3832840 13587718144 2501714 33554432000 4194304 4196468 140727574167472 140135281077296 140136096799362 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 15 0 0 6293624 6294260 29167616 140727574168764 140727574168940 140727574168940 140727574171599 0
Current children cumulated CPU time (s) 410.88
Current children cumulated vsize (KiB) 13278768

[startup+220.701 s]
/proc/loadavg: 10.76 12.89 14.25 17/297 32157
/proc/meminfo: memFree=18459308/32770624 swapFree=5944/213916
[pid=32127] ppid=32124 vsize=9512 CPUtime=0 cores=0-3,8-11
/proc/32127/stat : 32127 (xcsp3-exec) S 32124 32127 18810 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3832830 9740288 346 33554432000 4194304 5098028 140727781609872 140727781607976 140629255533180 0 65536 4100 65538 18446744071579417331 0 0 17 10 0 0 0 0 0 7196144 7232144 27045888 140727781618830 140727781619040 140727781619040 140727781621739 0
/proc/32127/statm: 2378 346 289 221 0 87 0
[pid=32128] ppid=32127 vsize=0 CPUtime=411.39 cores=0-3,8-11
/proc/32128/stat : 32128 (java) Z 32127 32127 18810 0 -1 4227084 172032 0 0 0 36559 4580 0 0 20 0 2 0 3832830 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 0 0 0 0 0 0 0 0
/proc/32128/statm: 0 0 0 0 0 0 0
[pid=32128/tid=32131] ppid=32127 vsize=0 CPUtime=26.93 cores=0-3,8-11
/proc/32128/task/32131/stat : 32131 (java) R 32127 32127 18810 0 -1 4203588 14205 0 0 0 2107 586 0 0 20 0 2 0 3832831 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 2 0 0 0 0 0 0 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 411.39
Current children cumulated vsize (KiB) 9512

Child status: 1
Real time (s): 220.714
CPU time (s): 411.408
CPU user time (s): 365.594
CPU system time (s): 45.8144
CPU usage (%): 186.399
Max. virtual memory (cumulated for all children) (KiB): 13278768

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 365.594
system time used= 45.8144
maximum resident set size= 10007432
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 172560
page faults= 0
swaps= 0
block input operations= 0
block output operations= 360
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 11621
involuntary context switches= 29283

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.72656 second user time and 2.49141 second system time

The end

Launcher Data 

Begin job on node132 at 2017-07-22 03:07:37
IDJOB=4245359
IDBENCH=120895
IDSOLVER=2625
FILE ID=node132/4245359-1500685657
RUNJOBID= node132-1500682387-18841
PBS_JOBID= 20623322
Free space on /tmp= 61760 MiB

SOLVER NAME= choco-solver 4.0.5
BENCH NAME= XCSP17/QueensKnights/QueensKnights-m1-s1/QueensKnights-080-05-mul.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-4245359-1500685657/watcher-4245359-1500685657 -o /tmp/evaluation-result-4245359-1500685657/solver-4245359-1500685657 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node132-1500682387-18841 --watchdog 2560  ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 1901136875 HOME/instance-4245359-1500685657.xml

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

MD5SUM BENCH= cc508950e1103ff719d16ca71225257a
RANDOM SEED=1901136875

node132.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.61
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	: 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.61
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		: 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.61
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		: 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.61
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	: 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	: 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		: 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	: 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	: 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	: 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		: 1733.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.61
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		: 1600.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.61
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		: 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.61
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		: 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.61
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	: 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	: 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		: 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	: 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	: 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	: 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:        30516828 kB
MemAvailable:   30569596 kB
Buffers:           49360 kB
Cached:           312584 kB
SwapCached:            0 kB
Active:          1653416 kB
Inactive:         221932 kB
Active(anon):    1516696 kB
Inactive(anon):     8628 kB
Active(file):     136720 kB
Inactive(file):   213304 kB
Unevictable:        5944 kB
Mlocked:            5944 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              8400 kB
Writeback:             0 kB
AnonPages:       1643560 kB
Mapped:            43096 kB
Shmem:              8904 kB
Slab:              71636 kB
SReclaimable:      37156 kB
SUnreclaim:        34480 kB
KernelStack:        5248 kB
PageTables:         7784 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    3394968 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1499136 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      140672 kB
DirectMap2M:    33404928 kB

Free space on /tmp at the end= 61752 MiB
End job on node132 at 2017-07-22 03:11:18