Trace number 4246565

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)UNSAT 151.388 53.3709

General information on the benchmark

NameQRandom/QRandom-bdd-18-21-2/
bdd-18-21-2-133-78-06.xml
MD5SUMc11db23a97f48af6ae936ba62121dffc
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 benchmark13.1703
Satisfiable
(Un)Satisfiability was proved
Number of variables21
Number of constraints133
Number of domains1
Minimum domain size2
Maximum domain size2
Distribution of domain sizes[{"size":2,"count":21}]
Minimum variable degree106
Maximum variable degree123
Distribution of variable degrees[{"degree":106,"count":1},{"degree":107,"count":1},{"degree":108,"count":1},{"degree":111,"count":2},{"degree":112,"count":4},{"degree":113,"count":2},{"degree":114,"count":1},{"degree":116,"count":1},{"degree":117,"count":4},{"degree":118,"count":2},{"degree":120,"count":1},{"degree":123,"count":1}]
Minimum constraint arity18
Maximum constraint arity18
Distribution of constraint arities[{"arity":18,"count":133}]
Number of extensional constraints133
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":133}]
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-4246565-1500687936.xml"  -tl '2400s' -p 8 -x 3
0.00/0.19	c [HOME/instance-4246565-1500687936.xml, -tl, 2400s, -p, 8, -x, 3]
0.00/0.25	c 8 solvers in parallel
0.00/0.31	c parse instance...
51.96/40.85	c solve instance...
150.93/53.35	s UNSATISFIABLE

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-4246565-1500687936/watcher-4246565-1500687936 -o /tmp/evaluation-result-4246565-1500687936/solver-4246565-1500687936 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node126-1500683384-8602 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 648354411 HOME/instance-4246565-1500687936.xml 

pid=24366
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: 6.22 11.36 13.53 4/262 24369
/proc/meminfo: memFree=23318804/32770624 swapFree=5884/274148
[pid=24369] ppid=24366 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/24369/stat : 24369 (xcsp3-exec) S 24366 24369 8571 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4061338 9740288 346 33554432000 4194304 5098028 140729548415584 140729548413688 140005678625404 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 31469568 140729548424335 140729548424544 140729548424544 140729548427243 0
/proc/24369/statm: 2378 346 289 221 0 87 0

[startup+0.100138 s]
/proc/loadavg: 6.22 11.36 13.53 4/262 24369
/proc/meminfo: memFree=23318804/32770624 swapFree=5884/274148
[pid=24369] ppid=24366 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/24369/stat : 24369 (xcsp3-exec) S 24366 24369 8571 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4061338 9740288 346 33554432000 4194304 5098028 140729548415584 140729548413688 140005678625404 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 31469568 140729548424335 140729548424544 140729548424544 140729548427243 0
/proc/24369/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.200375 s]
/proc/loadavg: 6.22 11.36 13.53 4/262 24369
/proc/meminfo: memFree=23318804/32770624 swapFree=5884/274148
[pid=24369] ppid=24366 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/24369/stat : 24369 (xcsp3-exec) S 24366 24369 8571 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4061338 9740288 346 33554432000 4194304 5098028 140729548415584 140729548413688 140005678625404 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 31469568 140729548424335 140729548424544 140729548424544 140729548427243 0
/proc/24369/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.300275 s]
/proc/loadavg: 6.22 11.36 13.53 4/262 24369
/proc/meminfo: memFree=23318804/32770624 swapFree=5884/274148
[pid=24369] ppid=24366 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/24369/stat : 24369 (xcsp3-exec) S 24366 24369 8571 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4061338 9740288 346 33554432000 4194304 5098028 140729548415584 140729548413688 140005678625404 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 31469568 140729548424335 140729548424544 140729548424544 140729548427243 0
/proc/24369/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.708029 s]
/proc/loadavg: 6.22 11.36 13.53 4/262 24369
/proc/meminfo: memFree=23318804/32770624 swapFree=5884/274148
[pid=24369] ppid=24366 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/24369/stat : 24369 (xcsp3-exec) S 24366 24369 8571 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4061338 9740288 346 33554432000 4194304 5098028 140729548415584 140729548413688 140005678625404 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 31469568 140729548424335 140729548424544 140729548424544 140729548427243 0
/proc/24369/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+1.50088 s]
/proc/loadavg: 6.22 11.36 13.53 3/283 24390
/proc/meminfo: memFree=23126300/32770624 swapFree=5884/274252
[pid=24369] ppid=24366 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/24369/stat : 24369 (xcsp3-exec) S 24366 24369 8571 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4061338 9740288 346 33554432000 4194304 5098028 140729548415584 140729548413688 140005678625404 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 31469568 140729548424335 140729548424544 140729548424544 140729548427243 0
/proc/24369/statm: 2378 346 289 221 0 87 0
[pid=24370] ppid=24369 vsize=13267208 CPUtime=2.89 cores=0,2,4,6,8,10,12,14
/proc/24370/stat : 24370 (java) S 24369 24369 8571 0 -1 1077944320 13115 0 0 0 276 13 0 0 20 0 20 0 4061338 13585620992 51589 33554432000 4194304 4196468 140723354319152 140723354301696 140024746438391 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 36225024 140723354322108 140723354322284 140723354322284 140723354324943 0
/proc/24370/statm: 3316802 51589 3209 1 0 3304035 0
[pid=24370/tid=24371] ppid=24369 vsize=13267208 CPUtime=1.46 cores=0,2,4,6,8,10,12,14
/proc/24370/task/24371/stat : 24371 (java) R 24369 24369 8571 0 -1 4202560 6556 0 0 0 140 6 0 0 20 0 20 0 4061339 13585620992 51589 33554432000 4194304 4196468 140723354319152 140024750674120 140024731519349 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 36225024 140723354322108 140723354322284 140723354322284 140723354324943 0
[pid=24370/tid=24373] ppid=24369 vsize=13267208 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/24370/task/24373/stat : 24373 (java) S 24369 24369 8571 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 20 0 4061340 13585620992 51589 33554432000 4194304 4196468 140723354319152 140024664918928 140024746448597 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36225024 140723354322108 140723354322284 140723354322284 140723354324943 0
[pid=24370/tid=24374] ppid=24369 vsize=13267208 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/24370/task/24374/stat : 24374 (java) S 24369 24369 8571 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 4061340 13585620992 51589 33554432000 4194304 4196468 140723354319152 140024663866128 140024746448597 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 36225024 140723354322108 140723354322284 140723354322284 140723354324943 0
[pid=24370/tid=24375] ppid=24369 vsize=13267208 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/24370/task/24375/stat : 24375 (java) S 24369 24369 8571 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 4061340 13585620992 51589 33554432000 4194304 4196468 140723354319152 140024662813840 140024746448597 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36225024 140723354322108 140723354322284 140723354322284 140723354324943 0
[pid=24370/tid=24376] ppid=24369 vsize=13267208 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/24370/task/24376/stat : 24376 (java) S 24369 24369 8571 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 20 0 4061340 13585620992 51589 33554432000 4194304 4196468 140723354319152 140024661761040 140024746448597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36225024 140723354322108 140723354322284 140723354322284 140723354324943 0
[pid=24370/tid=24377] ppid=24369 vsize=13267208 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/24370/task/24377/stat : 24377 (java) S 24369 24369 8571 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 20 0 4061340 13585620992 51589 33554432000 4194304 4196468 140723354319152 140024660707728 140024746448597 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36225024 140723354322108 140723354322284 140723354322284 140723354324943 0
[pid=24370/tid=24378] ppid=24369 vsize=13267208 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/24370/task/24378/stat : 24378 (java) S 24369 24369 8571 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 4061340 13585620992 51589 33554432000 4194304 4196468 140723354319152 140024659654928 140024746448597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36225024 140723354322108 140723354322284 140723354322284 140723354324943 0
[pid=24370/tid=24379] ppid=24369 vsize=13267208 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/24370/task/24379/stat : 24379 (java) S 24369 24369 8571 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 20 0 4061340 13585620992 51589 33554432000 4194304 4196468 140723354319152 140024339229328 140024746448597 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 36225024 140723354322108 140723354322284 140723354322284 140723354324943 0
[pid=24370/tid=24380] ppid=24369 vsize=13267208 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/24370/task/24380/stat : 24380 (java) S 24369 24369 8571 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 4061340 13585620992 51589 33554432000 4194304 4196468 140723354319152 140024338176528 140024746448597 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 36225024 140723354322108 140723354322284 140723354322284 140723354324943 0
[pid=24370/tid=24381] ppid=24369 vsize=13267208 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/24370/task/24381/stat : 24381 (java) S 24369 24369 8571 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 20 0 4061342 13585620992 51589 33554432000 4194304 4196468 140723354319152 140023940217456 140024746449538 0 0 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 36225024 140723354322108 140723354322284 140723354322284 140723354324943 0
[pid=24370/tid=24382] ppid=24369 vsize=13267208 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/24370/task/24382/stat : 24382 (java) S 24369 24369 8571 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 4061343 13585620992 51589 33554432000 4194304 4196468 140723354319152 140023939163424 140024746448597 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 36225024 140723354322108 140723354322284 140723354322284 140723354324943 0
[pid=24370/tid=24383] ppid=24369 vsize=13267208 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/24370/task/24383/stat : 24383 (java) S 24369 24369 8571 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 4061343 13585620992 51589 33554432000 4194304 4196468 140723354319152 140023938111088 140024746448597 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36225024 140723354322108 140723354322284 140723354322284 140723354324943 0
[pid=24370/tid=24384] ppid=24369 vsize=13267208 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/24370/task/24384/stat : 24384 (java) S 24369 24369 8571 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4061347 13585620992 51589 33554432000 4194304 4196468 140723354319152 140023937059408 140024746456987 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 36225024 140723354322108 140723354322284 140723354322284 140723354324943 0
[pid=24370/tid=24385] ppid=24369 vsize=13267208 CPUtime=0.28 cores=0,2,4,6,8,10,12,14
/proc/24370/task/24385/stat : 24385 (java) S 24369 24369 8571 0 -1 1077944384 1604 0 0 0 28 0 0 0 20 0 20 0 4061347 13585620992 51589 33554432000 4194304 4196468 140723354319152 140023936006256 140024746449538 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36225024 140723354322108 140723354322284 140723354322284 140723354324943 0
[pid=24370/tid=24386] ppid=24369 vsize=13267208 CPUtime=0.34 cores=0,2,4,6,8,10,12,14
/proc/24370/task/24386/stat : 24386 (java) S 24369 24369 8571 0 -1 1077944384 1004 0 0 0 34 0 0 0 20 0 20 0 4061347 13585620992 51589 33554432000 4194304 4196468 140723354319152 140023934953456 140024746449538 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36225024 140723354322108 140723354322284 140723354322284 140723354324943 0
[pid=24370/tid=24387] ppid=24369 vsize=13267208 CPUtime=0.33 cores=0,2,4,6,8,10,12,14
/proc/24370/task/24387/stat : 24387 (java) S 24369 24369 8571 0 -1 1077944384 854 0 0 0 33 0 0 0 20 0 20 0 4061347 13585620992 51589 33554432000 4194304 4196468 140723354319152 140023933901168 140024746449538 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 36225024 140723354322108 140723354322284 140723354322284 140723354324943 0
[pid=24370/tid=24388] ppid=24369 vsize=13267208 CPUtime=0.32 cores=0,2,4,6,8,10,12,14
/proc/24370/task/24388/stat : 24388 (java) S 24369 24369 8571 0 -1 1077944384 1649 0 0 0 32 0 0 0 20 0 20 0 4061347 13585620992 51589 33554432000 4194304 4196468 140723354319152 140023932848368 140024746449538 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 36225024 140723354322108 140723354322284 140723354322284 140723354324943 0
[pid=24370/tid=24389] ppid=24369 vsize=13267208 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/24370/task/24389/stat : 24389 (java) S 24369 24369 8571 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4061347 13585620992 51589 33554432000 4194304 4196468 140723354319152 140023931796320 140024746448597 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 36225024 140723354322108 140723354322284 140723354322284 140723354324943 0
[pid=24370/tid=24390] ppid=24369 vsize=13267208 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/24370/task/24390/stat : 24390 (java) S 24369 24369 8571 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4061348 13585620992 51589 33554432000 4194304 4196468 140723354319152 140023930743600 140024746449538 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 36225024 140723354322108 140723354322284 140723354322284 140723354324943 0
Current children cumulated CPU time (s) 2.89
Current children cumulated vsize (KiB) 13276720

[startup+3.10093 s]
/proc/loadavg: 6.22 11.36 13.53 3/283 24390
/proc/meminfo: memFree=23125044/32770624 swapFree=5884/274252
[pid=24369] ppid=24366 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/24369/stat : 24369 (xcsp3-exec) S 24366 24369 8571 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4061338 9740288 346 33554432000 4194304 5098028 140729548415584 140729548413688 140005678625404 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 31469568 140729548424335 140729548424544 140729548424544 140729548427243 0
/proc/24369/statm: 2378 346 289 221 0 87 0
[pid=24370] ppid=24369 vsize=13267208 CPUtime=4.54 cores=0,2,4,6,8,10,12,14
/proc/24370/stat : 24370 (java) S 24369 24369 8571 0 -1 1077944320 13922 0 0 0 441 13 0 0 20 0 20 0 4061338 13585620992 51645 33554432000 4194304 4196468 140723354319152 140723354301696 140024746438391 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 36225024 140723354322108 140723354322284 140723354322284 140723354324943 0
/proc/24370/statm: 3316802 51645 3212 1 0 3304035 0
[pid=24370/tid=24371] ppid=24369 vsize=13267208 CPUtime=3.06 cores=0,2,4,6,8,10,12,14
/proc/24370/task/24371/stat : 24371 (java) R 24369 24369 8571 0 -1 4202560 7315 0 0 0 300 6 0 0 20 0 20 0 4061339 13585620992 51645 33554432000 4194304 4196468 140723354319152 140024750676088 140024343105089 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 36225024 140723354322108 140723354322284 140723354322284 140723354324943 0
[pid=24370/tid=24373] ppid=24369 vsize=13267208 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/24370/task/24373/stat : 24373 (java) S 24369 24369 8571 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 20 0 4061340 13585620992 51645 33554432000 4194304 4196468 140723354319152 140024664918928 140024746448597 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36225024 140723354322108 140723354322284 140723354322284 140723354324943 0
[pid=24370/tid=24374] ppid=24369 vsize=13267208 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/24370/task/24374/stat : 24374 (java) S 24369 24369 8571 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 4061340 13585620992 51645 33554432000 4194304 4196468 140723354319152 140024663866128 140024746448597 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 36225024 140723354322108 140723354322284 140723354322284 140723354324943 0
[pid=24370/tid=24375] ppid=24369 vsize=13267208 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/24370/task/24375/stat : 24375 (java) S 24369 24369 8571 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 4061340 13585620992 51645 33554432000 4194304 4196468 140723354319152 140024662813840 140024746448597 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36225024 140723354322108 140723354322284 140723354322284 140723354324943 0
[pid=24370/tid=24376] ppid=24369 vsize=13267208 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/24370/task/24376/stat : 24376 (java) S 24369 24369 8571 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 20 0 4061340 13585620992 51645 33554432000 4194304 4196468 140723354319152 140024661761040 140024746448597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36225024 140723354322108 140723354322284 140723354322284 140723354324943 0
[pid=24370/tid=24377] ppid=24369 vsize=13267208 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/24370/task/24377/stat : 24377 (java) S 24369 24369 8571 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 20 0 4061340 13585620992 51645 33554432000 4194304 4196468 140723354319152 140024660707728 140024746448597 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36225024 140723354322108 140723354322284 140723354322284 140723354324943 0
[pid=24370/tid=24378] ppid=24369 vsize=13267208 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/24370/task/24378/stat : 24378 (java) S 24369 24369 8571 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 4061340 13585620992 51645 33554432000 4194304 4196468 140723354319152 140024659654928 140024746448597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36225024 140723354322108 140723354322284 140723354322284 140723354324943 0
[pid=24370/tid=24379] ppid=24369 vsize=13267208 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/24370/task/24379/stat : 24379 (java) S 24369 24369 8571 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 20 0 4061340 13585620992 51645 33554432000 4194304 4196468 140723354319152 140024339229328 140024746448597 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 36225024 140723354322108 140723354322284 140723354322284 140723354324943 0
[pid=24370/tid=24380] ppid=24369 vsize=13267208 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/24370/task/24380/stat : 24380 (java) S 24369 24369 8571 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 4061340 13585620992 51645 33554432000 4194304 4196468 140723354319152 140024338176528 140024746448597 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 36225024 140723354322108 140723354322284 140723354322284 140723354324943 0
[pid=24370/tid=24381] ppid=24369 vsize=13267208 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/24370/task/24381/stat : 24381 (java) S 24369 24369 8571 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 20 0 4061342 13585620992 51645 33554432000 4194304 4196468 140723354319152 140023940217456 140024746449538 0 0 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 36225024 140723354322108 140723354322284 140723354322284 140723354324943 0
[pid=24370/tid=24382] ppid=24369 vsize=13267208 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/24370/task/24382/stat : 24382 (java) S 24369 24369 8571 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 4061343 13585620992 51645 33554432000 4194304 4196468 140723354319152 140023939163424 140024746448597 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 36225024 140723354322108 140723354322284 140723354322284 140723354324943 0
[pid=24370/tid=24383] ppid=24369 vsize=13267208 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/24370/task/24383/stat : 24383 (java) S 24369 24369 8571 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 4061343 13585620992 51645 33554432000 4194304 4196468 140723354319152 140023938111088 140024746448597 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36225024 140723354322108 140723354322284 140723354322284 140723354324943 0
[pid=24370/tid=24384] ppid=24369 vsize=13267208 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/24370/task/24384/stat : 24384 (java) S 24369 24369 8571 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4061347 13585620992 51645 33554432000 4194304 4196468 140723354319152 140023937059408 140024746456987 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 36225024 140723354322108 140723354322284 140723354322284 140723354324943 0
[pid=24370/tid=24385] ppid=24369 vsize=13267208 CPUtime=0.31 cores=0,2,4,6,8,10,12,14
/proc/24370/task/24385/stat : 24385 (java) S 24369 24369 8571 0 -1 1077944384 1611 0 0 0 31 0 0 0 20 0 20 0 4061347 13585620992 51645 33554432000 4194304 4196468 140723354319152 140023936006256 140024746449538 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36225024 140723354322108 140723354322284 140723354322284 140723354324943 0
[pid=24370/tid=24386] ppid=24369 vsize=13267208 CPUtime=0.35 cores=0,2,4,6,8,10,12,14
/proc/24370/task/24386/stat : 24386 (java) S 24369 24369 8571 0 -1 1077944384 1006 0 0 0 35 0 0 0 20 0 20 0 4061347 13585620992 51645 33554432000 4194304 4196468 140723354319152 140023934953456 140024746449538 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36225024 140723354322108 140723354322284 140723354322284 140723354324943 0
[pid=24370/tid=24387] ppid=24369 vsize=13267208 CPUtime=0.34 cores=0,2,4,6,8,10,12,14
/proc/24370/task/24387/stat : 24387 (java) S 24369 24369 8571 0 -1 1077944384 860 0 0 0 34 0 0 0 20 0 20 0 4061347 13585620992 51645 33554432000 4194304 4196468 140723354319152 140023933901168 140024746449538 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 36225024 140723354322108 140723354322284 140723354322284 140723354324943 0
[pid=24370/tid=24388] ppid=24369 vsize=13267208 CPUtime=0.34 cores=0,2,4,6,8,10,12,14
/proc/24370/task/24388/stat : 24388 (java) S 24369 24369 8571 0 -1 1077944384 1663 0 0 0 34 0 0 0 20 0 20 0 4061347 13585620992 51645 33554432000 4194304 4196468 140723354319152 140023932848368 140024746449538 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 36225024 140723354322108 140723354322284 140723354322284 140723354324943 0
[pid=24370/tid=24389] ppid=24369 vsize=13267208 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/24370/task/24389/stat : 24389 (java) S 24369 24369 8571 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4061347 13585620992 51645 33554432000 4194304 4196468 140723354319152 140023931796320 140024746448597 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 36225024 140723354322108 140723354322284 140723354322284 140723354324943 0
[pid=24370/tid=24390] ppid=24369 vsize=13267208 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/24370/task/24390/stat : 24390 (java) S 24369 24369 8571 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 20 0 4061348 13585620992 51645 33554432000 4194304 4196468 140723354319152 140023930743600 140024746449538 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36225024 140723354322108 140723354322284 140723354322284 140723354324943 0
Current children cumulated CPU time (s) 4.54
Current children cumulated vsize (KiB) 13276720

[startup+6.30091 s]
/proc/loadavg: 6.45 11.33 13.51 9/283 24390
/proc/meminfo: memFree=22602256/32770624 swapFree=5884/274252
[pid=24369] ppid=24366 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/24369/stat : 24369 (xcsp3-exec) S 24366 24369 8571 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4061338 9740288 346 33554432000 4194304 5098028 140729548415584 140729548413688 140005678625404 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 31469568 140729548424335 140729548424544 140729548424544 140729548427243 0
/proc/24369/statm: 2378 346 289 221 0 87 0
[pid=24370] ppid=24369 vsize=13269256 CPUtime=8.96 cores=0,2,4,6,8,10,12,14
/proc/24370/stat : 24370 (java) S 24369 24369 8571 0 -1 1077944320 19695 0 0 0 847 49 0 0 20 0 20 0 4061338 13587718144 112583 33554432000 4194304 4196468 140723354319152 140723354301696 140024746438391 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 36225024 140723354322108 140723354322284 140723354322284 140723354324943 0
/proc/24370/statm: 3317314 112583 3229 1 0 3304547 0
[pid=24370/tid=24371] ppid=24369 vsize=13269256 CPUtime=6.12 cores=0,2,4,6,8,10,12,14
/proc/24370/task/24371/stat : 24371 (java) R 24369 24369 8571 0 -1 4202560 8865 0 0 0 605 7 0 0 20 0 20 0 4061339 13587718144 112583 33554432000 4194304 4196468 140723354319152 140024750673320 140024343105071 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 36225024 140723354322108 140723354322284 140723354322284 140723354324943 0
[pid=24370/tid=24373] ppid=24369 vsize=13269256 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/24370/task/24373/stat : 24373 (java) S 24369 24369 8571 0 -1 1077944384 179 0 0 0 8 5 0 0 20 0 20 0 4061340 13587718144 112583 33554432000 4194304 4196468 140723354319152 140024664918928 140024746448597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36225024 140723354322108 140723354322284 140723354322284 140723354324943 0
[pid=24370/tid=24374] ppid=24369 vsize=13269256 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/24370/task/24374/stat : 24374 (java) S 24369 24369 8571 0 -1 1077944384 265 0 0 0 9 4 0 0 20 0 20 0 4061340 13587718144 112583 33554432000 4194304 4196468 140723354319152 140024663866128 140024746448597 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 36225024 140723354322108 140723354322284 140723354322284 140723354324943 0
[pid=24370/tid=24375] ppid=24369 vsize=13269256 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/24370/task/24375/stat : 24375 (java) S 24369 24369 8571 0 -1 1077944384 106 0 0 0 7 6 0 0 20 0 20 0 4061340 13587718144 112583 33554432000 4194304 4196468 140723354319152 140024662813840 140024746448597 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36225024 140723354322108 140723354322284 140723354322284 140723354324943 0
[pid=24370/tid=24376] ppid=24369 vsize=13269256 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/24370/task/24376/stat : 24376 (java) S 24369 24369 8571 0 -1 1077944384 233 0 0 0 9 4 0 0 20 0 20 0 4061340 13587718144 112583 33554432000 4194304 4196468 140723354319152 140024661761040 140024746448597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36225024 140723354322108 140723354322284 140723354322284 140723354324943 0
[pid=24370/tid=24377] ppid=24369 vsize=13269256 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/24370/task/24377/stat : 24377 (java) S 24369 24369 8571 0 -1 1077944384 94 0 0 0 9 4 0 0 20 0 20 0 4061340 13587718144 112583 33554432000 4194304 4196468 140723354319152 140024660707728 140024746448597 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36225024 140723354322108 140723354322284 140723354322284 140723354324943 0
[pid=24370/tid=24378] ppid=24369 vsize=13269256 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/24370/task/24378/stat : 24378 (java) S 24369 24369 8571 0 -1 1077944384 60 0 0 0 9 4 0 0 20 0 20 0 4061340 13587718144 112583 33554432000 4194304 4196468 140723354319152 140024659654928 140024746448597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36225024 140723354322108 140723354322284 140723354322284 140723354324943 0
[pid=24370/tid=24379] ppid=24369 vsize=13269256 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/24370/task/24379/stat : 24379 (java) S 24369 24369 8571 0 -1 1077944384 117 0 0 0 9 4 0 0 20 0 20 0 4061340 13587718144 112583 33554432000 4194304 4196468 140723354319152 140024339229328 140024746448597 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36225024 140723354322108 140723354322284 140723354322284 140723354324943 0
[pid=24370/tid=24380] ppid=24369 vsize=13269256 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/24370/task/24380/stat : 24380 (java) S 24369 24369 8571 0 -1 1077944384 149 0 0 0 8 5 0 0 20 0 20 0 4061340 13587718144 112583 33554432000 4194304 4196468 140723354319152 140024338176528 140024746448597 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 36225024 140723354322108 140723354322284 140723354322284 140723354324943 0
[pid=24370/tid=24381] ppid=24369 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/24370/task/24381/stat : 24381 (java) S 24369 24369 8571 0 -1 1077944384 503 0 0 0 0 0 0 0 20 0 20 0 4061342 13587718144 112583 33554432000 4194304 4196468 140723354319152 140023940217456 140024746449538 0 0 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 36225024 140723354322108 140723354322284 140723354322284 140723354324943 0
[pid=24370/tid=24382] ppid=24369 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/24370/task/24382/stat : 24382 (java) S 24369 24369 8571 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 20 0 4061343 13587718144 112583 33554432000 4194304 4196468 140723354319152 140023939163488 140024746448597 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 36225024 140723354322108 140723354322284 140723354322284 140723354324943 0
[pid=24370/tid=24383] ppid=24369 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/24370/task/24383/stat : 24383 (java) S 24369 24369 8571 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 20 0 4061343 13587718144 112583 33554432000 4194304 4196468 140723354319152 140023938111104 140024746448597 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36225024 140723354322108 140723354322284 140723354322284 140723354324943 0
[pid=24370/tid=24384] ppid=24369 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/24370/task/24384/stat : 24384 (java) S 24369 24369 8571 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4061347 13587718144 112583 33554432000 4194304 4196468 140723354319152 140023937059408 140024746456987 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 36225024 140723354322108 140723354322284 140723354322284 140723354324943 0

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

/proc/24370/task/24382/stat : 24382 (java) S 24369 24369 8571 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 28 0 4061343 14133010432 380546 33554432000 4194304 4196468 140723354319152 140023939163488 140024746448597 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 36225024 140723354322108 140723354322284 140723354322284 140723354324943 0
[pid=24370/tid=24383] ppid=24369 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/24370/task/24383/stat : 24383 (java) S 24369 24369 8571 0 -1 1077944384 89 0 0 0 0 0 0 0 20 0 28 0 4061343 14133010432 380546 33554432000 4194304 4196468 140723354319152 140023938111104 140024746448597 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36225024 140723354322108 140723354322284 140723354322284 140723354324943 0
[pid=24370/tid=24384] ppid=24369 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/24370/task/24384/stat : 24384 (java) S 24369 24369 8571 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4061347 14133010432 380546 33554432000 4194304 4196468 140723354319152 140023937059408 140024746456987 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 36225024 140723354322108 140723354322284 140723354322284 140723354324943 0
[pid=24370/tid=24385] ppid=24369 vsize=13801768 CPUtime=1.59 cores=0,2,4,6,8,10,12,14
/proc/24370/task/24385/stat : 24385 (java) S 24369 24369 8571 0 -1 1077944384 7529 0 0 0 157 2 0 0 20 0 28 0 4061347 14133010432 380546 33554432000 4194304 4196468 140723354319152 140023936006256 140024746449538 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36225024 140723354322108 140723354322284 140723354322284 140723354324943 0
[pid=24370/tid=24386] ppid=24369 vsize=13801768 CPUtime=2.13 cores=0,2,4,6,8,10,12,14
/proc/24370/task/24386/stat : 24386 (java) S 24369 24369 8571 0 -1 1077944384 12195 0 0 0 211 2 0 0 20 0 28 0 4061347 14133010432 380546 33554432000 4194304 4196468 140723354319152 140023934953456 140024746449538 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36225024 140723354322108 140723354322284 140723354322284 140723354324943 0
[pid=24370/tid=24387] ppid=24369 vsize=13801768 CPUtime=1.77 cores=0,2,4,6,8,10,12,14
/proc/24370/task/24387/stat : 24387 (java) S 24369 24369 8571 0 -1 1077944384 8336 0 0 0 176 1 0 0 20 0 28 0 4061347 14133010432 380546 33554432000 4194304 4196468 140723354319152 140023933901168 140024746449538 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 36225024 140723354322108 140723354322284 140723354322284 140723354324943 0
[pid=24370/tid=24388] ppid=24369 vsize=13801768 CPUtime=0.74 cores=0,2,4,6,8,10,12,14
/proc/24370/task/24388/stat : 24388 (java) S 24369 24369 8571 0 -1 1077944384 7334 0 0 0 73 1 0 0 20 0 28 0 4061347 14133010432 380546 33554432000 4194304 4196468 140723354319152 140023932848368 140024746449538 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36225024 140723354322108 140723354322284 140723354322284 140723354324943 0
[pid=24370/tid=24389] ppid=24369 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/24370/task/24389/stat : 24389 (java) S 24369 24369 8571 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4061347 14133010432 380546 33554432000 4194304 4196468 140723354319152 140023931796320 140024746448597 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 36225024 140723354322108 140723354322284 140723354322284 140723354324943 0
[pid=24370/tid=24390] ppid=24369 vsize=13801768 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/24370/task/24390/stat : 24390 (java) S 24369 24369 8571 0 -1 1077944384 1145 0 0 0 1 1 0 0 20 0 28 0 4061348 14133010432 380546 33554432000 4194304 4196468 140723354319152 140023930743600 140024746449538 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36225024 140723354322108 140723354322284 140723354322284 140723354324943 0
[pid=24370/tid=24391] ppid=24369 vsize=13801768 CPUtime=10.79 cores=0,2,4,6,8,10,12,14
/proc/24370/task/24391/stat : 24391 (java) R 24369 24369 8571 0 -1 4202560 1461 0 0 0 1079 0 0 0 20 0 28 0 4065424 14133010432 380546 33554432000 4194304 4196468 140723354319152 140023922728320 140024345220790 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36225024 140723354322108 140723354322284 140723354322284 140723354324943 0
[pid=24370/tid=24392] ppid=24369 vsize=13801768 CPUtime=10.71 cores=0,2,4,6,8,10,12,14
/proc/24370/task/24392/stat : 24392 (java) R 24369 24369 8571 0 -1 4202560 403 0 0 0 1071 0 0 0 20 0 28 0 4065425 14133010432 380546 33554432000 4194304 4196468 140723354319152 140023921677048 140024345009846 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 36225024 140723354322108 140723354322284 140723354322284 140723354324943 0
[pid=24370/tid=24393] ppid=24369 vsize=13801768 CPUtime=10.76 cores=0,2,4,6,8,10,12,14
/proc/24370/task/24393/stat : 24393 (java) R 24369 24369 8571 0 -1 4202560 708 0 0 0 1076 0 0 0 20 0 28 0 4065425 14133010432 380546 33554432000 4194304 4196468 140723354319152 140023852685416 140024345009787 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 36225024 140723354322108 140723354322284 140723354322284 140723354324943 0
[pid=24370/tid=24394] ppid=24369 vsize=13801768 CPUtime=10.75 cores=0,2,4,6,8,10,12,14
/proc/24370/task/24394/stat : 24394 (java) R 24369 24369 8571 0 -1 4202560 669 0 0 0 1075 0 0 0 20 0 28 0 4065425 14133010432 380546 33554432000 4194304 4196468 140723354319152 140023851630408 140024345271977 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36225024 140723354322108 140723354322284 140723354322284 140723354324943 0
[pid=24370/tid=24395] ppid=24369 vsize=13801768 CPUtime=10.67 cores=0,2,4,6,8,10,12,14
/proc/24370/task/24395/stat : 24395 (java) R 24369 24369 8571 0 -1 4202560 2486 0 0 0 1067 0 0 0 20 0 28 0 4065425 14133010432 380546 33554432000 4194304 4196468 140723354319152 140023850578136 140024345140704 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 36225024 140723354322108 140723354322284 140723354322284 140723354324943 0
[pid=24370/tid=24396] ppid=24369 vsize=13801768 CPUtime=10.81 cores=0,2,4,6,8,10,12,14
/proc/24370/task/24396/stat : 24396 (java) R 24369 24369 8571 0 -1 4202560 1927 0 0 0 1081 0 0 0 20 0 28 0 4065425 14133010432 380546 33554432000 4194304 4196468 140723354319152 140023849525336 140024345221124 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 36225024 140723354322108 140723354322284 140723354322284 140723354324943 0
[pid=24370/tid=24397] ppid=24369 vsize=13801768 CPUtime=10.61 cores=0,2,4,6,8,10,12,14
/proc/24370/task/24397/stat : 24397 (java) R 24369 24369 8571 0 -1 4202560 502 0 0 0 1061 0 0 0 20 0 28 0 4065425 14133010432 380546 33554432000 4194304 4196468 140723354319152 140023848473048 140024344929452 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 36225024 140723354322108 140723354322284 140723354322284 140723354324943 0
[pid=24370/tid=24398] ppid=24369 vsize=13801768 CPUtime=10.45 cores=0,2,4,6,8,10,12,14
/proc/24370/task/24398/stat : 24398 (java) R 24369 24369 8571 0 -1 4202560 379 0 0 0 1045 0 0 0 20 0 28 0 4065425 14133010432 380546 33554432000 4194304 4196468 140723354319152 140023847420328 140024345009906 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36225024 140723354322108 140723354322284 140723354322284 140723354324943 0
Current children cumulated CPU time (s) 141.38
Current children cumulated vsize (KiB) 13811280

[startup+52.9014 s]
/proc/loadavg: 6.96 10.69 13.18 10/291 24398
/proc/meminfo: memFree=20053568/32770624 swapFree=5884/274304
[pid=24369] ppid=24366 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/24369/stat : 24369 (xcsp3-exec) S 24366 24369 8571 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4061338 9740288 346 33554432000 4194304 5098028 140729548415584 140729548413688 140005678625404 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 31469568 140729548424335 140729548424544 140729548424544 140729548427243 0
/proc/24369/statm: 2378 346 289 221 0 87 0
[pid=24370] ppid=24369 vsize=13801768 CPUtime=147.83 cores=0,2,4,6,8,10,12,14
/proc/24370/stat : 24370 (java) S 24369 24369 8571 0 -1 1077944320 72199 0 0 0 14539 244 0 0 20 0 28 0 4061338 14133010432 380546 33554432000 4194304 4196468 140723354319152 140723354301696 140024746438391 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 36225024 140723354322108 140723354322284 140723354322284 140723354324943 0
/proc/24370/statm: 3450442 380546 3273 1 0 3437675 0
[pid=24370/tid=24371] ppid=24369 vsize=13801768 CPUtime=38.33 cores=0,2,4,6,8,10,12,14
/proc/24370/task/24371/stat : 24371 (java) S 24369 24369 8571 0 -1 1077944384 13057 0 0 0 3820 13 0 0 20 0 28 0 4061339 14133010432 380546 33554432000 4194304 4196468 140723354319152 140024750679168 140024746448597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36225024 140723354322108 140723354322284 140723354322284 140723354324943 0
[pid=24370/tid=24373] ppid=24369 vsize=13801768 CPUtime=1.23 cores=0,2,4,6,8,10,12,14
/proc/24370/task/24373/stat : 24373 (java) S 24369 24369 8571 0 -1 1077944384 1243 0 0 0 94 29 0 0 20 0 28 0 4061340 14133010432 380546 33554432000 4194304 4196468 140723354319152 140024664918928 140024746448597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36225024 140723354322108 140723354322284 140723354322284 140723354324943 0
[pid=24370/tid=24374] ppid=24369 vsize=13801768 CPUtime=1.23 cores=0,2,4,6,8,10,12,14
/proc/24370/task/24374/stat : 24374 (java) S 24369 24369 8571 0 -1 1077944384 1178 0 0 0 97 26 0 0 20 0 28 0 4061340 14133010432 380546 33554432000 4194304 4196468 140723354319152 140024663866128 140024746448597 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 36225024 140723354322108 140723354322284 140723354322284 140723354324943 0
[pid=24370/tid=24375] ppid=24369 vsize=13801768 CPUtime=1.24 cores=0,2,4,6,8,10,12,14
/proc/24370/task/24375/stat : 24375 (java) S 24369 24369 8571 0 -1 1077944384 709 0 0 0 98 26 0 0 20 0 28 0 4061340 14133010432 380546 33554432000 4194304 4196468 140723354319152 140024662813840 140024746448597 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 36225024 140723354322108 140723354322284 140723354322284 140723354324943 0
[pid=24370/tid=24376] ppid=24369 vsize=13801768 CPUtime=1.21 cores=0,2,4,6,8,10,12,14
/proc/24370/task/24376/stat : 24376 (java) S 24369 24369 8571 0 -1 1077944384 1508 0 0 0 95 26 0 0 20 0 28 0 4061340 14133010432 380546 33554432000 4194304 4196468 140723354319152 140024661761040 140024746448597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36225024 140723354322108 140723354322284 140723354322284 140723354324943 0
[pid=24370/tid=24377] ppid=24369 vsize=13801768 CPUtime=1.2 cores=0,2,4,6,8,10,12,14
/proc/24370/task/24377/stat : 24377 (java) S 24369 24369 8571 0 -1 1077944384 938 0 0 0 97 23 0 0 20 0 28 0 4061340 14133010432 380546 33554432000 4194304 4196468 140723354319152 140024660707728 140024746448597 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36225024 140723354322108 140723354322284 140723354322284 140723354324943 0
[pid=24370/tid=24378] ppid=24369 vsize=13801768 CPUtime=1.23 cores=0,2,4,6,8,10,12,14
/proc/24370/task/24378/stat : 24378 (java) S 24369 24369 8571 0 -1 1077944384 1376 0 0 0 98 25 0 0 20 0 28 0 4061340 14133010432 380546 33554432000 4194304 4196468 140723354319152 140024659654928 140024746448597 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 36225024 140723354322108 140723354322284 140723354322284 140723354324943 0
[pid=24370/tid=24379] ppid=24369 vsize=13801768 CPUtime=1.23 cores=0,2,4,6,8,10,12,14
/proc/24370/task/24379/stat : 24379 (java) S 24369 24369 8571 0 -1 1077944384 989 0 0 0 93 30 0 0 20 0 28 0 4061340 14133010432 380546 33554432000 4194304 4196468 140723354319152 140024339229328 140024746448597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36225024 140723354322108 140723354322284 140723354322284 140723354324943 0
[pid=24370/tid=24380] ppid=24369 vsize=13801768 CPUtime=1.23 cores=0,2,4,6,8,10,12,14
/proc/24370/task/24380/stat : 24380 (java) S 24369 24369 8571 0 -1 1077944384 876 0 0 0 95 28 0 0 20 0 28 0 4061340 14133010432 380546 33554432000 4194304 4196468 140723354319152 140024338176528 140024746448597 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 36225024 140723354322108 140723354322284 140723354322284 140723354324943 0
[pid=24370/tid=24381] ppid=24369 vsize=13801768 CPUtime=1.24 cores=0,2,4,6,8,10,12,14
/proc/24370/task/24381/stat : 24381 (java) S 24369 24369 8571 0 -1 1077944384 2561 0 0 0 123 1 0 0 20 0 28 0 4061342 14133010432 380546 33554432000 4194304 4196468 140723354319152 140023940217456 140024746449538 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36225024 140723354322108 140723354322284 140723354322284 140723354324943 0
[pid=24370/tid=24382] ppid=24369 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/24370/task/24382/stat : 24382 (java) S 24369 24369 8571 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 28 0 4061343 14133010432 380546 33554432000 4194304 4196468 140723354319152 140023939163488 140024746448597 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 36225024 140723354322108 140723354322284 140723354322284 140723354324943 0
[pid=24370/tid=24383] ppid=24369 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/24370/task/24383/stat : 24383 (java) S 24369 24369 8571 0 -1 1077944384 89 0 0 0 0 0 0 0 20 0 28 0 4061343 14133010432 380546 33554432000 4194304 4196468 140723354319152 140023938111104 140024746448597 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36225024 140723354322108 140723354322284 140723354322284 140723354324943 0
[pid=24370/tid=24384] ppid=24369 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/24370/task/24384/stat : 24384 (java) S 24369 24369 8571 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4061347 14133010432 380546 33554432000 4194304 4196468 140723354319152 140023937059408 140024746456987 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 36225024 140723354322108 140723354322284 140723354322284 140723354324943 0
[pid=24370/tid=24385] ppid=24369 vsize=13801768 CPUtime=1.62 cores=0,2,4,6,8,10,12,14
/proc/24370/task/24385/stat : 24385 (java) S 24369 24369 8571 0 -1 1077944384 7780 0 0 0 160 2 0 0 20 0 28 0 4061347 14133010432 380546 33554432000 4194304 4196468 140723354319152 140023936006256 140024746449538 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36225024 140723354322108 140723354322284 140723354322284 140723354324943 0
[pid=24370/tid=24386] ppid=24369 vsize=13801768 CPUtime=2.19 cores=0,2,4,6,8,10,12,14
/proc/24370/task/24386/stat : 24386 (java) S 24369 24369 8571 0 -1 1077944384 13205 0 0 0 217 2 0 0 20 0 28 0 4061347 14133010432 380546 33554432000 4194304 4196468 140723354319152 140023934953456 140024746449538 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 36225024 140723354322108 140723354322284 140723354322284 140723354324943 0
[pid=24370/tid=24387] ppid=24369 vsize=13801768 CPUtime=1.77 cores=0,2,4,6,8,10,12,14
/proc/24370/task/24387/stat : 24387 (java) S 24369 24369 8571 0 -1 1077944384 8336 0 0 0 176 1 0 0 20 0 28 0 4061347 14133010432 380546 33554432000 4194304 4196468 140723354319152 140023933901168 140024746449538 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 36225024 140723354322108 140723354322284 140723354322284 140723354324943 0
[pid=24370/tid=24388] ppid=24369 vsize=13801768 CPUtime=0.74 cores=0,2,4,6,8,10,12,14
/proc/24370/task/24388/stat : 24388 (java) S 24369 24369 8571 0 -1 1077944384 7334 0 0 0 73 1 0 0 20 0 28 0 4061347 14133010432 380546 33554432000 4194304 4196468 140723354319152 140023932848368 140024746449538 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36225024 140723354322108 140723354322284 140723354322284 140723354324943 0
[pid=24370/tid=24389] ppid=24369 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/24370/task/24389/stat : 24389 (java) S 24369 24369 8571 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4061347 14133010432 380546 33554432000 4194304 4196468 140723354319152 140023931796320 140024746448597 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 36225024 140723354322108 140723354322284 140723354322284 140723354324943 0
[pid=24370/tid=24390] ppid=24369 vsize=13801768 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/24370/task/24390/stat : 24390 (java) S 24369 24369 8571 0 -1 1077944384 1145 0 0 0 1 1 0 0 20 0 28 0 4061348 14133010432 380546 33554432000 4194304 4196468 140723354319152 140023930743600 140024746449538 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36225024 140723354322108 140723354322284 140723354322284 140723354324943 0
[pid=24370/tid=24391] ppid=24369 vsize=13801768 CPUtime=11.6 cores=0,2,4,6,8,10,12,14
/proc/24370/task/24391/stat : 24391 (java) R 24369 24369 8571 0 -1 4202560 1471 0 0 0 1160 0 0 0 20 0 28 0 4065424 14133010432 380546 33554432000 4194304 4196468 140723354319152 140023922728320 140024345220808 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36225024 140723354322108 140723354322284 140723354322284 140723354324943 0
[pid=24370/tid=24392] ppid=24369 vsize=13801768 CPUtime=11.52 cores=0,2,4,6,8,10,12,14
/proc/24370/task/24392/stat : 24392 (java) R 24369 24369 8571 0 -1 4202560 403 0 0 0 1152 0 0 0 20 0 28 0 4065425 14133010432 380546 33554432000 4194304 4196468 140723354319152 140023921677048 140024345009869 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 36225024 140723354322108 140723354322284 140723354322284 140723354324943 0
[pid=24370/tid=24393] ppid=24369 vsize=13801768 CPUtime=11.57 cores=0,2,4,6,8,10,12,14
/proc/24370/task/24393/stat : 24393 (java) R 24369 24369 8571 0 -1 4202560 708 0 0 0 1157 0 0 0 20 0 28 0 4065425 14133010432 380546 33554432000 4194304 4196468 140723354319152 140023852683736 140024345219604 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 36225024 140723354322108 140723354322284 140723354322284 140723354324943 0
[pid=24370/tid=24394] ppid=24369 vsize=13801768 CPUtime=11.56 cores=0,2,4,6,8,10,12,14
/proc/24370/task/24394/stat : 24394 (java) R 24369 24369 8571 0 -1 4202560 675 0 0 0 1156 0 0 0 20 0 28 0 4065425 14133010432 380546 33554432000 4194304 4196468 140723354319152 140023851630408 140024345010067 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36225024 140723354322108 140723354322284 140723354322284 140723354324943 0
[pid=24370/tid=24395] ppid=24369 vsize=13801768 CPUtime=11.46 cores=0,2,4,6,8,10,12,14
/proc/24370/task/24395/stat : 24395 (java) R 24369 24369 8571 0 -1 4202560 2496 0 0 0 1146 0 0 0 20 0 28 0 4065425 14133010432 380546 33554432000 4194304 4196468 140723354319152 140023850578744 140024345010137 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 36225024 140723354322108 140723354322284 140723354322284 140723354324943 0
[pid=24370/tid=24396] ppid=24369 vsize=13801768 CPUtime=11.55 cores=0,2,4,6,8,10,12,14
/proc/24370/task/24396/stat : 24396 (java) R 24369 24369 8571 0 -1 4202560 1943 0 0 0 1155 0 0 0 20 0 28 0 4065425 14133010432 380546 33554432000 4194304 4196468 140723354319152 140023849525336 140024345010526 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36225024 140723354322108 140723354322284 140723354322284 140723354324943 0
[pid=24370/tid=24397] ppid=24369 vsize=13801768 CPUtime=11.42 cores=0,2,4,6,8,10,12,14
/proc/24370/task/24397/stat : 24397 (java) R 24369 24369 8571 0 -1 4202560 516 0 0 0 1142 0 0 0 20 0 28 0 4065425 14133010432 380546 33554432000 4194304 4196468 140723354319152 140023848473048 140024345009883 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 36225024 140723354322108 140723354322284 140723354322284 140723354324943 0
[pid=24370/tid=24398] ppid=24369 vsize=13801768 CPUtime=11.22 cores=0,2,4,6,8,10,12,14
/proc/24370/task/24398/stat : 24398 (java) R 24369 24369 8571 0 -1 4202560 379 0 0 0 1122 0 0 0 20 0 28 0 4065425 14133010432 380546 33554432000 4194304 4196468 140723354319152 140023847420328 140024345140752 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 36225024 140723354322108 140723354322284 140723354322284 140723354324943 0
Current children cumulated CPU time (s) 147.83
Current children cumulated vsize (KiB) 13811280

[startup+53.3014 s]
/proc/loadavg: 6.96 10.69 13.18 10/291 24398
/proc/meminfo: memFree=20053568/32770624 swapFree=5884/274304
[pid=24369] ppid=24366 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/24369/stat : 24369 (xcsp3-exec) S 24366 24369 8571 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4061338 9740288 346 33554432000 4194304 5098028 140729548415584 140729548413688 140005678625404 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 31469568 140729548424335 140729548424544 140729548424544 140729548427243 0
/proc/24369/statm: 2378 346 289 221 0 87 0
[pid=24370] ppid=24369 vsize=13801768 CPUtime=150.93 cores=0,2,4,6,8,10,12,14
/proc/24370/stat : 24370 (java) S 24369 24369 8571 0 -1 1077944320 72277 0 0 0 14849 244 0 0 20 0 28 0 4061338 14133010432 380546 33554432000 4194304 4196468 140723354319152 140723354301696 140024746438391 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 36225024 140723354322108 140723354322284 140723354322284 140723354324943 0
/proc/24370/statm: 3450442 380546 3273 1 0 3437675 0
[pid=24370/tid=24371] ppid=24369 vsize=13801768 CPUtime=38.33 cores=0,2,4,6,8,10,12,14
/proc/24370/task/24371/stat : 24371 (java) S 24369 24369 8571 0 -1 1077944384 13057 0 0 0 3820 13 0 0 20 0 28 0 4061339 14133010432 380546 33554432000 4194304 4196468 140723354319152 140024750679168 140024746448597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36225024 140723354322108 140723354322284 140723354322284 140723354324943 0
[pid=24370/tid=24373] ppid=24369 vsize=13801768 CPUtime=1.23 cores=0,2,4,6,8,10,12,14
/proc/24370/task/24373/stat : 24373 (java) S 24369 24369 8571 0 -1 1077944384 1243 0 0 0 94 29 0 0 20 0 28 0 4061340 14133010432 380546 33554432000 4194304 4196468 140723354319152 140024664918928 140024746448597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36225024 140723354322108 140723354322284 140723354322284 140723354324943 0
[pid=24370/tid=24374] ppid=24369 vsize=13801768 CPUtime=1.23 cores=0,2,4,6,8,10,12,14
/proc/24370/task/24374/stat : 24374 (java) S 24369 24369 8571 0 -1 1077944384 1178 0 0 0 97 26 0 0 20 0 28 0 4061340 14133010432 380546 33554432000 4194304 4196468 140723354319152 140024663866128 140024746448597 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 36225024 140723354322108 140723354322284 140723354322284 140723354324943 0
[pid=24370/tid=24375] ppid=24369 vsize=13801768 CPUtime=1.24 cores=0,2,4,6,8,10,12,14
/proc/24370/task/24375/stat : 24375 (java) S 24369 24369 8571 0 -1 1077944384 709 0 0 0 98 26 0 0 20 0 28 0 4061340 14133010432 380546 33554432000 4194304 4196468 140723354319152 140024662813840 140024746448597 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 36225024 140723354322108 140723354322284 140723354322284 140723354324943 0
[pid=24370/tid=24376] ppid=24369 vsize=13801768 CPUtime=1.21 cores=0,2,4,6,8,10,12,14
/proc/24370/task/24376/stat : 24376 (java) S 24369 24369 8571 0 -1 1077944384 1508 0 0 0 95 26 0 0 20 0 28 0 4061340 14133010432 380546 33554432000 4194304 4196468 140723354319152 140024661761040 140024746448597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36225024 140723354322108 140723354322284 140723354322284 140723354324943 0
[pid=24370/tid=24377] ppid=24369 vsize=13801768 CPUtime=1.2 cores=0,2,4,6,8,10,12,14
/proc/24370/task/24377/stat : 24377 (java) S 24369 24369 8571 0 -1 1077944384 938 0 0 0 97 23 0 0 20 0 28 0 4061340 14133010432 380546 33554432000 4194304 4196468 140723354319152 140024660707728 140024746448597 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36225024 140723354322108 140723354322284 140723354322284 140723354324943 0
[pid=24370/tid=24378] ppid=24369 vsize=13801768 CPUtime=1.23 cores=0,2,4,6,8,10,12,14
/proc/24370/task/24378/stat : 24378 (java) S 24369 24369 8571 0 -1 1077944384 1376 0 0 0 98 25 0 0 20 0 28 0 4061340 14133010432 380546 33554432000 4194304 4196468 140723354319152 140024659654928 140024746448597 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 36225024 140723354322108 140723354322284 140723354322284 140723354324943 0
[pid=24370/tid=24379] ppid=24369 vsize=13801768 CPUtime=1.23 cores=0,2,4,6,8,10,12,14
/proc/24370/task/24379/stat : 24379 (java) S 24369 24369 8571 0 -1 1077944384 989 0 0 0 93 30 0 0 20 0 28 0 4061340 14133010432 380546 33554432000 4194304 4196468 140723354319152 140024339229328 140024746448597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36225024 140723354322108 140723354322284 140723354322284 140723354324943 0
[pid=24370/tid=24380] ppid=24369 vsize=13801768 CPUtime=1.23 cores=0,2,4,6,8,10,12,14
/proc/24370/task/24380/stat : 24380 (java) S 24369 24369 8571 0 -1 1077944384 876 0 0 0 95 28 0 0 20 0 28 0 4061340 14133010432 380546 33554432000 4194304 4196468 140723354319152 140024338176528 140024746448597 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 36225024 140723354322108 140723354322284 140723354322284 140723354324943 0
[pid=24370/tid=24381] ppid=24369 vsize=13801768 CPUtime=1.24 cores=0,2,4,6,8,10,12,14
/proc/24370/task/24381/stat : 24381 (java) S 24369 24369 8571 0 -1 1077944384 2561 0 0 0 123 1 0 0 20 0 28 0 4061342 14133010432 380546 33554432000 4194304 4196468 140723354319152 140023940217456 140024746449538 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36225024 140723354322108 140723354322284 140723354322284 140723354324943 0
[pid=24370/tid=24382] ppid=24369 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/24370/task/24382/stat : 24382 (java) S 24369 24369 8571 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 28 0 4061343 14133010432 380546 33554432000 4194304 4196468 140723354319152 140023939163488 140024746448597 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 36225024 140723354322108 140723354322284 140723354322284 140723354324943 0
[pid=24370/tid=24383] ppid=24369 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/24370/task/24383/stat : 24383 (java) S 24369 24369 8571 0 -1 1077944384 89 0 0 0 0 0 0 0 20 0 28 0 4061343 14133010432 380546 33554432000 4194304 4196468 140723354319152 140023938111104 140024746448597 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36225024 140723354322108 140723354322284 140723354322284 140723354324943 0
[pid=24370/tid=24384] ppid=24369 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/24370/task/24384/stat : 24384 (java) S 24369 24369 8571 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4061347 14133010432 380546 33554432000 4194304 4196468 140723354319152 140023937059408 140024746456987 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 36225024 140723354322108 140723354322284 140723354322284 140723354324943 0
[pid=24370/tid=24385] ppid=24369 vsize=13801768 CPUtime=1.62 cores=0,2,4,6,8,10,12,14
/proc/24370/task/24385/stat : 24385 (java) S 24369 24369 8571 0 -1 1077944384 7780 0 0 0 160 2 0 0 20 0 28 0 4061347 14133010432 380546 33554432000 4194304 4196468 140723354319152 140023936006256 140024746449538 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36225024 140723354322108 140723354322284 140723354322284 140723354324943 0
[pid=24370/tid=24386] ppid=24369 vsize=13801768 CPUtime=2.19 cores=0,2,4,6,8,10,12,14
/proc/24370/task/24386/stat : 24386 (java) S 24369 24369 8571 0 -1 1077944384 13205 0 0 0 217 2 0 0 20 0 28 0 4061347 14133010432 380546 33554432000 4194304 4196468 140723354319152 140023934953456 140024746449538 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 36225024 140723354322108 140723354322284 140723354322284 140723354324943 0
[pid=24370/tid=24387] ppid=24369 vsize=13801768 CPUtime=1.77 cores=0,2,4,6,8,10,12,14
/proc/24370/task/24387/stat : 24387 (java) S 24369 24369 8571 0 -1 1077944384 8336 0 0 0 176 1 0 0 20 0 28 0 4061347 14133010432 380546 33554432000 4194304 4196468 140723354319152 140023933901168 140024746449538 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 36225024 140723354322108 140723354322284 140723354322284 140723354324943 0
[pid=24370/tid=24388] ppid=24369 vsize=13801768 CPUtime=0.74 cores=0,2,4,6,8,10,12,14
/proc/24370/task/24388/stat : 24388 (java) S 24369 24369 8571 0 -1 1077944384 7334 0 0 0 73 1 0 0 20 0 28 0 4061347 14133010432 380546 33554432000 4194304 4196468 140723354319152 140023932848368 140024746449538 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36225024 140723354322108 140723354322284 140723354322284 140723354324943 0
[pid=24370/tid=24389] ppid=24369 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/24370/task/24389/stat : 24389 (java) S 24369 24369 8571 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4061347 14133010432 380546 33554432000 4194304 4196468 140723354319152 140023931796320 140024746448597 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 36225024 140723354322108 140723354322284 140723354322284 140723354324943 0
[pid=24370/tid=24390] ppid=24369 vsize=13801768 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/24370/task/24390/stat : 24390 (java) S 24369 24369 8571 0 -1 1077944384 1145 0 0 0 1 1 0 0 20 0 28 0 4061348 14133010432 380546 33554432000 4194304 4196468 140723354319152 140023930743600 140024746449538 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36225024 140723354322108 140723354322284 140723354322284 140723354324943 0
[pid=24370/tid=24391] ppid=24369 vsize=13801768 CPUtime=11.99 cores=0,2,4,6,8,10,12,14
/proc/24370/task/24391/stat : 24391 (java) R 24369 24369 8571 0 -1 4202560 1479 0 0 0 1199 0 0 0 20 0 28 0 4065424 14133010432 380546 33554432000 4194304 4196468 140723354319152 140023922728320 140024345009787 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36225024 140723354322108 140723354322284 140723354322284 140723354324943 0
[pid=24370/tid=24392] ppid=24369 vsize=13801768 CPUtime=11.91 cores=0,2,4,6,8,10,12,14
/proc/24370/task/24392/stat : 24392 (java) R 24369 24369 8571 0 -1 4202560 403 0 0 0 1191 0 0 0 20 0 28 0 4065425 14133010432 380546 33554432000 4194304 4196468 140723354319152 140023921677048 140024345750866 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 36225024 140723354322108 140723354322284 140723354322284 140723354324943 0
[pid=24370/tid=24393] ppid=24369 vsize=13801768 CPUtime=11.95 cores=0,2,4,6,8,10,12,14
/proc/24370/task/24393/stat : 24393 (java) R 24369 24369 8571 0 -1 4202560 708 0 0 0 1195 0 0 0 20 0 28 0 4065425 14133010432 380546 33554432000 4194304 4196468 140723354319152 140023852683736 140024345219670 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 36225024 140723354322108 140723354322284 140723354322284 140723354324943 0
[pid=24370/tid=24394] ppid=24369 vsize=13801768 CPUtime=11.95 cores=0,2,4,6,8,10,12,14
/proc/24370/task/24394/stat : 24394 (java) R 24369 24369 8571 0 -1 4202560 675 0 0 0 1195 0 0 0 20 0 28 0 4065425 14133010432 380546 33554432000 4194304 4196468 140723354319152 140023851630408 140024345009906 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36225024 140723354322108 140723354322284 140723354322284 140723354324943 0
[pid=24370/tid=24395] ppid=24369 vsize=13801768 CPUtime=11.85 cores=0,2,4,6,8,10,12,14
/proc/24370/task/24395/stat : 24395 (java) R 24369 24369 8571 0 -1 4202560 2508 0 0 0 1185 0 0 0 20 0 28 0 4065425 14133010432 380546 33554432000 4194304 4196468 140723354319152 140023850578744 140024340372214 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 36225024 140723354322108 140723354322284 140723354322284 140723354324943 0
[pid=24370/tid=24396] ppid=24369 vsize=13801768 CPUtime=11.94 cores=0,2,4,6,8,10,12,14
/proc/24370/task/24396/stat : 24396 (java) R 24369 24369 8571 0 -1 4202560 1984 0 0 0 1194 0 0 0 20 0 28 0 4065425 14133010432 380546 33554432000 4194304 4196468 140723354319152 140023849525336 140024345009901 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36225024 140723354322108 140723354322284 140723354322284 140723354324943 0
[pid=24370/tid=24397] ppid=24369 vsize=13801768 CPUtime=11.8 cores=0,2,4,6,8,10,12,14
/proc/24370/task/24397/stat : 24397 (java) R 24369 24369 8571 0 -1 4202560 533 0 0 0 1180 0 0 0 20 0 28 0 4065425 14133010432 380546 33554432000 4194304 4196468 140723354319152 140023848473048 140024345010137 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 36225024 140723354322108 140723354322284 140723354322284 140723354324943 0
[pid=24370/tid=24398] ppid=24369 vsize=13801768 CPUtime=11.6 cores=0,2,4,6,8,10,12,14
/proc/24370/task/24398/stat : 24398 (java) R 24369 24369 8571 0 -1 4202560 379 0 0 0 1160 0 0 0 20 0 28 0 4065425 14133010432 380546 33554432000 4194304 4196468 140723354319152 140023847420328 140024345219563 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 36225024 140723354322108 140723354322284 140723354322284 140723354324943 0
Current children cumulated CPU time (s) 150.93
Current children cumulated vsize (KiB) 13811280

Child status: 0
Real time (s): 53.3709
CPU time (s): 151.388
CPU user time (s): 148.916
CPU system time (s): 2.47187
CPU usage (%): 283.652
Max. virtual memory (cumulated for all children) (KiB): 13811280

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 148.916
system time used= 2.47187
maximum resident set size= 1525908
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 73549
page faults= 0
swaps= 0
block input operations= 0
block output operations= 152
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6281
involuntary context switches= 9568

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.418365 second user time and 0.563672 second system time

The end

Launcher Data 

Begin job on node126 at 2017-07-22 03:45:36
IDJOB=4246565
IDBENCH=125996
IDSOLVER=2626
FILE ID=node126/4246565-1500687936
RUNJOBID= node126-1500683384-8602
PBS_JOBID= 20623339
Free space on /tmp= 61868 MiB

SOLVER NAME= choco-solver 5a
BENCH NAME= XCSP17/QRandom/QRandom-bdd-18-21-2/bdd-18-21-2-133-78-06.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-4246565-1500687936/watcher-4246565-1500687936 -o /tmp/evaluation-result-4246565-1500687936/solver-4246565-1500687936 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node126-1500683384-8602 --watchdog 2560  ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 648354411 HOME/instance-4246565-1500687936.xml

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

MD5SUM BENCH= c11db23a97f48af6ae936ba62121dffc
RANDOM SEED=648354411

node126.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		: 1600.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.50
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.50
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.50
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.50
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		: 2267.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 1
initial apicid	: 1
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.50
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		: 1867.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.50
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		: 1867.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.50
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.50
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:        23319064 kB
MemAvailable:   23577652 kB
Buffers:          108364 kB
Cached:           432132 kB
SwapCached:            0 kB
Active:          8721824 kB
Inactive:         282804 kB
Active(anon):    8467160 kB
Inactive(anon):     8656 kB
Active(file):     254664 kB
Inactive(file):   274148 kB
Unevictable:        5884 kB
Mlocked:            5884 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             10156 kB
Writeback:             0 kB
AnonPages:       8658148 kB
Mapped:            42448 kB
Shmem:              8840 kB
Slab:             125072 kB
SReclaimable:      91220 kB
SUnreclaim:        33852 kB
KernelStack:        5024 kB
PageTables:        21876 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    9246064 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   8460288 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      134528 kB
DirectMap2M:    33411072 kB

Free space on /tmp at the end= 61860 MiB
End job on node126 at 2017-07-22 03:46:29