Trace number 4284146

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
choco-solver 5a (2017-08-18)OPT261 22.933901 7.8639898

General information on the benchmark

NameScheduling/Scheduling-os-taillard/
Taillard-os-04-04-8.xml
MD5SUMaed9643ac8b54e4586138aa43d9c539b
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark261
Best CPU time to get the best result obtained on this benchmark0.201943
Satisfiable
(Un)Satisfiability was proved
Number of variables68
Number of constraints60
Number of domains6
Minimum domain size4
Maximum domain size361
Distribution of domain sizes[{"size":4,"count":32},{"size":361,"count":36}]
Minimum variable degree2
Maximum variable degree5
Distribution of variable degrees[{"degree":2,"count":20},{"degree":3,"count":32},{"degree":5,"count":16}]
Minimum constraint arity1
Maximum constraint arity6
Distribution of constraint arities[{"arity":1,"count":4},{"arity":2,"count":16},{"arity":3,"count":16},{"arity":4,"count":8},{"arity":6,"count":16}]
Number of extensional constraints16
Number of intensional constraints20
Distribution of constraint types[{"type":"extension","count":16},{"type":"intension","count":20},{"type":"allDifferent","count":4},{"type":"noOverlap","count":4},{"type":"element","count":16}]
Optimization problemYES
Type of objectivemin MAXIMUM

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.08	c java -server -Xmx11000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4284146-1503177899.xml"  -tl '2520s' -p 1 -x 3
0.11/0.26	c [HOME/instance-4284146-1503177899.xml, -tl, 2520s, -p, 1, -x, 3]
0.30/0.32	c simple solver
0.30/0.39	c parse instance...
0.96/0.63	c solve instance...
1.19/0.71	o 360 
1.19/0.74	o 359 
1.51/0.80	o 307 
1.51/0.87	o 303 
1.87/0.91	o 292 
3.79/1.53	o 291 
4.10/1.67	o 285 
4.10/1.69	o 279 
6.58/2.43	o 274 
7.80/2.84	o 267 
16.27/5.68	o 261 
22.81/7.83	s OPTIMUM FOUND
22.81/7.83	v <instantiation>
22.81/7.83	v 	<list>s[0][0] s[0][1] s[0][2] s[0][3] s[1][0] s[1][1] s[1][2] s[1][3] s[2][0] s[2][1] s[2][2] s[2][3] s[3][0] s[3][1] s[3][2] s[3][3] e[0] e[1] e[2] e[3] d[0][0] d[0][1] d[0][2] d[0][3] d[1][0] d[1][1] d[1][2] d[1][3] d[2][0] d[2][1] d[2][2] d[2][3] d[3][0] d[3][1] d[3][2] d[3][3] w[0][0] w[0][1] w[0][2] w[0][3] w[1][0] w[1][1] w[1][2] w[1][3] w[2][0] w[2][1] w[2][2] w[2][3] w[3][0] w[3][1] w[3][2] w[3][3] sd[0][0] sd[0][1] sd[0][2] sd[0][3] sd[1][0] sd[1][1] sd[1][2] sd[1][3] sd[2][0] sd[2][1] sd[2][2] sd[2][3] sd[3][0] sd[3][1] sd[3][2] sd[3][3] </list>
22.81/7.83	v 	<values>0 63 135 210 0 72 158 179 0 63 165 210 0 72 165 179 256 245 242 261 59 62 71 46 69 63 21 66 63 95 45 32 72 93 11 82 2 0 1 3 3 1 2 0 0 2 3 1 1 3 0 2 63 135 0 210 179 72 158 0 0 210 63 165 165 0 179 72 </values>
22.81/7.83	v </instantiation>

Verifier Data 

OK	261

Watcher Data 

runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL

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.

NUMA information:
  number of nodes: 2
  memory of node 0: 16374 MiB (14784 MiB free)
  memory of node 1: 16384 MiB (15500 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4284146-1503177899/watcher-4284146-1503177899 -o /tmp/evaluation-result-4284146-1503177899/solver-4284146-1503177899 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node124-1503172076-28737 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 1280459512 HOME/instance-4284146-1503177899.xml 

running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=29368, runsolver pid=29365

[startup+0.103089 s]*
/proc/loadavg: 1.53 1.49 1.54 3/205 29375
/proc/meminfo: memFree=31005464/32770624 swapFree=67108860/67108860
[pid=29368] ppid=29365 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/29368/stat : 29368 (xcsp3-exec) S 29365 29368 13977 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 106130535 9740288 345 18446744073709551615 4194304 5098028 140720308619360 140720308617464 140233835954812 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 8 0 0 7196144 7232144 35078144 140720308625784 140720308625989 140720308625989 140720308629483 0
/proc/29368/statm: 2378 345 289 221 0 87 0
[pid=29370] ppid=29368 vsize=13441356 memory=15952 CPUtime=0.01 cores=1,3,5,7
/proc/29370/stat : 29370 (java) S 29368 29368 13977 0 -1 1077944320 3751 0 0 0 1 0 0 0 20 0 7 0 106130544 13763948544 3988 18446744073709551615 4194304 4196468 140725565814496 140725565797040 139733532446455 0 0 1 16784584 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 21819392 140725565821361 140725565821537 140725565821537 140725565824975 0
/proc/29370/statm: 3360339 3988 2025 1 0 3349836 0
[pid=29370/tid=29371] ppid=29368 vsize=13441356 memory=-6298111921630581087 CPUtime=0.01 cores=1,3,5,7
/proc/29370/task/29371/stat : 29371 (java) R 29368 29368 13977 0 -1 4202560 2510 0 0 0 1 0 0 0 20 0 7 0 106130544 13763948544 3988 18446744073709551615 4194304 4196468 140725565814496 139733536688912 139733513840189 0 4 1 16784584 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21819392 140725565821361 140725565821537 140725565821537 140725565824975 0
[pid=29370/tid=29372] ppid=29368 vsize=13441356 memory=5767615776120654217 CPUtime=0 cores=1,3,5,7
/proc/29370/task/29372/stat : 29372 (java) S 29368 29368 13977 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 7 0 106130545 13763948544 3988 18446744073709551615 4194304 4196468 140725565814496 139733474392976 139733532456661 0 4 1 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21819392 140725565821361 140725565821537 140725565821537 140725565824975 0
[pid=29370/tid=29373] ppid=29368 vsize=13441356 memory=140489712670336 CPUtime=0 cores=1,3,5,7
/proc/29370/task/29373/stat : 29373 (java) S 29368 29368 13977 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 7 0 106130545 13763948544 3988 18446744073709551615 4194304 4196468 140725565814496 139733131336464 139733532456661 0 4 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21819392 140725565821361 140725565821537 140725565821537 140725565824975 0
[pid=29370/tid=29374] ppid=29368 vsize=13441356 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29370/task/29374/stat : 29374 (java) S 29368 29368 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 7 0 106130545 13763948544 3988 18446744073709551615 4194304 4196468 140725565814496 139733130284176 139733532456661 0 4 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21819392 140725565821361 140725565821537 140725565821537 140725565824975 0
[pid=29370/tid=29375] ppid=29368 vsize=13441356 memory=-1807685287725067907 CPUtime=0 cores=1,3,5,7
/proc/29370/task/29375/stat : 29375 (java) S 29368 29368 13977 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 7 0 106130545 13763948544 3988 18446744073709551615 4194304 4196468 140725565814496 139733129231376 139733532456661 0 4 1 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21819392 140725565821361 140725565821537 140725565821537 140725565824975 0
[pid=29370/tid=29376] ppid=29368 vsize=13441356 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29370/task/29376/stat : 29376 (java) S 29368 29368 13977 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 7 0 106130546 13763948544 3988 18446744073709551615 4194304 4196468 140725565814496 139732650518640 139733532457602 0 0 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21819392 140725565821361 140725565821537 140725565821537 140725565824975 0
Current children cumulated CPU time: 0.01 s
Current children cumulated vsize: 13450868 KiB
Current children cumulated memory: 17332 KiB

[startup+0.214635 s]*
/proc/loadavg: 1.53 1.49 1.54 4/214 29384
/proc/meminfo: memFree=30995332/32770624 swapFree=67108860/67108860
[pid=29368] ppid=29365 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/29368/stat : 29368 (xcsp3-exec) S 29365 29368 13977 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 106130535 9740288 345 18446744073709551615 4194304 5098028 140720308619360 140720308617464 140233835954812 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 8 0 0 7196144 7232144 35078144 140720308625784 140720308625989 140720308625989 140720308629483 0
/proc/29368/statm: 2378 345 289 221 0 87 0
[pid=29370] ppid=29368 vsize=13974352 memory=28152 CPUtime=0.11 cores=1,3,5,7
/proc/29370/stat : 29370 (java) S 29368 29368 13977 0 -1 1077944320 5541 0 0 0 10 1 0 0 20 0 15 0 106130544 14309736448 7038 18446744073709551615 4194304 4196468 140725565814496 140725565797040 139733532446455 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 21819392 140725565821361 140725565821537 140725565821537 140725565824975 0
/proc/29370/statm: 3493588 7038 2813 1 0 3482964 0
[pid=29370/tid=29371] ppid=29368 vsize=13974352 memory=7898640229105310110 CPUtime=0.08 cores=1,3,5,7
/proc/29370/task/29371/stat : 29371 (java) R 29368 29368 13977 0 -1 4202560 3555 0 0 0 8 0 0 0 20 0 15 0 106130544 14309736448 7038 18446744073709551615 4194304 4196468 140725565814496 139733536674688 139733532467802 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 21819392 140725565821361 140725565821537 140725565821537 140725565824975 0
[pid=29370/tid=29372] ppid=29368 vsize=13974352 memory=5767615776120654217 CPUtime=0 cores=1,3,5,7
/proc/29370/task/29372/stat : 29372 (java) S 29368 29368 13977 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106130545 14309736448 7038 18446744073709551615 4194304 4196468 140725565814496 139733474392976 139733532456661 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21819392 140725565821361 140725565821537 140725565821537 140725565824975 0
[pid=29370/tid=29373] ppid=29368 vsize=13974352 memory=140489712670336 CPUtime=0 cores=1,3,5,7
/proc/29370/task/29373/stat : 29373 (java) S 29368 29368 13977 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106130545 14309736448 7038 18446744073709551615 4194304 4196468 140725565814496 139733131336464 139733532456661 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21819392 140725565821361 140725565821537 140725565821537 140725565824975 0
[pid=29370/tid=29374] ppid=29368 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29370/task/29374/stat : 29374 (java) S 29368 29368 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106130545 14309736448 7038 18446744073709551615 4194304 4196468 140725565814496 139733130284176 139733532456661 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21819392 140725565821361 140725565821537 140725565821537 140725565824975 0
[pid=29370/tid=29375] ppid=29368 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29370/task/29375/stat : 29375 (java) S 29368 29368 13977 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106130545 14309736448 7038 18446744073709551615 4194304 4196468 140725565814496 139733129231376 139733532456661 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21819392 140725565821361 140725565821537 140725565821537 140725565824975 0
[pid=29370/tid=29376] ppid=29368 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29370/task/29376/stat : 29376 (java) S 29368 29368 13977 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106130546 14309736448 7038 18446744073709551615 4194304 4196468 140725565814496 139732650518640 139733532457602 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21819392 140725565821361 140725565821537 140725565821537 140725565824975 0
[pid=29370/tid=29377] ppid=29368 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29370/task/29377/stat : 29377 (java) S 29368 29368 13977 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 106130546 14309736448 7038 18446744073709551615 4194304 4196468 140725565814496 139732649464608 139733532456661 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21819392 140725565821361 140725565821537 140725565821537 140725565824975 0
[pid=29370/tid=29378] ppid=29368 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29370/task/29378/stat : 29378 (java) S 29368 29368 13977 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 106130547 14309736448 7038 18446744073709551615 4194304 4196468 140725565814496 139732648412272 139733532456661 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21819392 140725565821361 140725565821537 140725565821537 140725565824975 0
[pid=29370/tid=29379] ppid=29368 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29370/task/29379/stat : 29379 (java) S 29368 29368 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106130549 14309736448 7038 18446744073709551615 4194304 4196468 140725565814496 139732647360592 139733532465051 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21819392 140725565821361 140725565821537 140725565821537 140725565824975 0
[pid=29370/tid=29380] ppid=29368 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29370/task/29380/stat : 29380 (java) S 29368 29368 13977 0 -1 1077944384 294 0 0 0 0 0 0 0 20 0 15 0 106130549 14309736448 7038 18446744073709551615 4194304 4196468 140725565814496 139732646308464 139733532457602 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21819392 140725565821361 140725565821537 140725565821537 140725565824975 0
[pid=29370/tid=29381] ppid=29368 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29370/task/29381/stat : 29381 (java) S 29368 29368 13977 0 -1 1077944384 129 0 0 0 0 0 0 0 20 0 15 0 106130549 14309736448 7038 18446744073709551615 4194304 4196468 140725565814496 139732645255664 139733532457602 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21819392 140725565821361 140725565821537 140725565821537 140725565824975 0
[pid=29370/tid=29382] ppid=29368 vsize=13974352 memory=140489712670336 CPUtime=0.01 cores=1,3,5,7
/proc/29370/task/29382/stat : 29382 (java) R 29368 29368 13977 0 -1 4202560 257 0 0 0 1 0 0 0 20 0 15 0 106130549 14309736448 7038 18446744073709551615 4194304 4196468 140725565814496 139732644203376 139733532458390 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21819392 140725565821361 140725565821537 140725565821537 140725565824975 0
[pid=29370/tid=29383] ppid=29368 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29370/task/29383/stat : 29383 (java) S 29368 29368 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106130549 14309736448 7038 18446744073709551615 4194304 4196468 140725565814496 139732643150816 139733532456661 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21819392 140725565821361 140725565821537 140725565821537 140725565824975 0
[pid=29370/tid=29384] ppid=29368 vsize=13974352 memory=140489712670336 CPUtime=0 cores=1,3,5,7
/proc/29370/task/29384/stat : 29384 (java) S 29368 29368 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106130553 14309736448 7038 18446744073709551615 4194304 4196468 140725565814496 139732642097584 139733532457602 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21819392 140725565821361 140725565821537 140725565821537 140725565824975 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 29532 KiB

[startup+0.310282 s]*
/proc/loadavg: 1.53 1.49 1.54 4/214 29384
/proc/meminfo: memFree=30984344/32770624 swapFree=67108860/67108860
[pid=29368] ppid=29365 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/29368/stat : 29368 (xcsp3-exec) S 29365 29368 13977 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 106130535 9740288 345 18446744073709551615 4194304 5098028 140720308619360 140720308617464 140233835954812 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 8 0 0 7196144 7232144 35078144 140720308625784 140720308625989 140720308625989 140720308629483 0
/proc/29368/statm: 2378 345 289 221 0 87 0
[pid=29370] ppid=29368 vsize=13974352 memory=39808 CPUtime=0.3 cores=1,3,5,7
/proc/29370/stat : 29370 (java) S 29368 29368 13977 0 -1 1077944320 9128 0 0 0 28 2 0 0 20 0 15 0 106130544 14309736448 9952 18446744073709551615 4194304 4196468 140725565814496 140725565797040 139733532446455 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 21819392 140725565821361 140725565821537 140725565821537 140725565824975 0
/proc/29370/statm: 3493588 9952 3025 1 0 3482964 0
[pid=29370/tid=29371] ppid=29368 vsize=13974352 memory=-8774313645642428999 CPUtime=0.17 cores=1,3,5,7
/proc/29370/task/29371/stat : 29371 (java) R 29368 29368 13977 0 -1 4202560 6275 0 0 0 16 1 0 0 20 0 15 0 106130544 14309736448 9952 18446744073709551615 4194304 4196468 140725565814496 139733536664544 139733517826310 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 21819392 140725565821361 140725565821537 140725565821537 140725565824975 0
[pid=29370/tid=29372] ppid=29368 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29370/task/29372/stat : 29372 (java) S 29368 29368 13977 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106130545 14309736448 9952 18446744073709551615 4194304 4196468 140725565814496 139733474392976 139733532456661 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21819392 140725565821361 140725565821537 140725565821537 140725565824975 0
[pid=29370/tid=29373] ppid=29368 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29370/task/29373/stat : 29373 (java) S 29368 29368 13977 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106130545 14309736448 9952 18446744073709551615 4194304 4196468 140725565814496 139733131336464 139733532456661 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21819392 140725565821361 140725565821537 140725565821537 140725565824975 0
[pid=29370/tid=29374] ppid=29368 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29370/task/29374/stat : 29374 (java) S 29368 29368 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106130545 14309736448 9952 18446744073709551615 4194304 4196468 140725565814496 139733130284176 139733532456661 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21819392 140725565821361 140725565821537 140725565821537 140725565824975 0
[pid=29370/tid=29375] ppid=29368 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29370/task/29375/stat : 29375 (java) S 29368 29368 13977 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106130545 14309736448 9952 18446744073709551615 4194304 4196468 140725565814496 139733129231376 139733532456661 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21819392 140725565821361 140725565821537 140725565821537 140725565824975 0
[pid=29370/tid=29376] ppid=29368 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29370/task/29376/stat : 29376 (java) S 29368 29368 13977 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106130546 14309736448 9952 18446744073709551615 4194304 4196468 140725565814496 139732650518640 139733532457602 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21819392 140725565821361 140725565821537 140725565821537 140725565824975 0
[pid=29370/tid=29377] ppid=29368 vsize=13974352 memory=140489712670335 CPUtime=0 cores=1,3,5,7
/proc/29370/task/29377/stat : 29377 (java) S 29368 29368 13977 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 106130546 14309736448 9952 18446744073709551615 4194304 4196468 140725565814496 139732649464608 139733532456661 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21819392 140725565821361 140725565821537 140725565821537 140725565824975 0
[pid=29370/tid=29378] ppid=29368 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29370/task/29378/stat : 29378 (java) S 29368 29368 13977 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 106130547 14309736448 9952 18446744073709551615 4194304 4196468 140725565814496 139732648412272 139733532456661 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21819392 140725565821361 140725565821537 140725565821537 140725565824975 0
[pid=29370/tid=29379] ppid=29368 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29370/task/29379/stat : 29379 (java) S 29368 29368 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106130549 14309736448 9952 18446744073709551615 4194304 4196468 140725565814496 139732647360592 139733532465051 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21819392 140725565821361 140725565821537 140725565821537 140725565824975 0
[pid=29370/tid=29380] ppid=29368 vsize=13974352 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/29370/task/29380/stat : 29380 (java) S 29368 29368 13977 0 -1 1077944384 436 0 0 0 2 0 0 0 20 0 15 0 106130549 14309736448 9952 18446744073709551615 4194304 4196468 140725565814496 139732646308464 139733532457602 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21819392 140725565821361 140725565821537 140725565821537 140725565824975 0
[pid=29370/tid=29381] ppid=29368 vsize=13974352 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/29370/task/29381/stat : 29381 (java) S 29368 29368 13977 0 -1 1077944384 419 0 0 0 2 0 0 0 20 0 15 0 106130549 14309736448 9952 18446744073709551615 4194304 4196468 140725565814496 139732645255664 139733532457602 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21819392 140725565821361 140725565821537 140725565821537 140725565824975 0
[pid=29370/tid=29382] ppid=29368 vsize=13974352 memory=140489712670336 CPUtime=0.06 cores=1,3,5,7
/proc/29370/task/29382/stat : 29382 (java) R 29368 29368 13977 0 -1 4202560 699 0 0 0 6 0 0 0 20 0 15 0 106130549 14309736448 9952 18446744073709551615 4194304 4196468 140725565814496 139732644203376 139733532458390 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21819392 140725565821361 140725565821537 140725565821537 140725565824975 0
[pid=29370/tid=29383] ppid=29368 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29370/task/29383/stat : 29383 (java) S 29368 29368 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106130549 14309736448 9952 18446744073709551615 4194304 4196468 140725565814496 139732643150816 139733532456661 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21819392 140725565821361 140725565821537 140725565821537 140725565824975 0
[pid=29370/tid=29384] ppid=29368 vsize=13974352 memory=140489712670336 CPUtime=0 cores=1,3,5,7
/proc/29370/task/29384/stat : 29384 (java) S 29368 29368 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106130553 14309736448 9952 18446744073709551615 4194304 4196468 140725565814496 139732642097584 139733532457602 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21819392 140725565821361 140725565821537 140725565821537 140725565824975 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 41188 KiB

[startup+0.705322 s]
/proc/loadavg: 1.53 1.49 1.54 3/214 29384
/proc/meminfo: memFree=30972512/32770624 swapFree=67108860/67108860
[pid=29368] ppid=29365 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/29368/stat : 29368 (xcsp3-exec) S 29365 29368 13977 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 106130535 9740288 345 18446744073709551615 4194304 5098028 140720308619360 140720308617464 140233835954812 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 8 0 0 7196144 7232144 35078144 140720308625784 140720308625989 140720308625989 140720308629483 0
/proc/29368/statm: 2378 345 289 221 0 87 0
[pid=29370] ppid=29368 vsize=13980732 memory=68156 CPUtime=1.19 cores=1,3,5,7
/proc/29370/stat : 29370 (java) S 29368 29368 13977 0 -1 1077944320 14086 0 0 0 113 6 0 0 20 0 15 0 106130544 14316269568 17039 18446744073709551615 4194304 4196468 140725565814496 140725565797040 139733532446455 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 21819392 140725565821361 140725565821537 140725565821537 140725565824975 0
/proc/29370/statm: 3495183 17039 3170 1 0 3483476 0
[pid=29370/tid=29371] ppid=29368 vsize=13980732 memory=139 CPUtime=0.56 cores=1,3,5,7
/proc/29370/task/29371/stat : 29371 (java) R 29368 29368 13977 0 -1 4202560 9140 0 0 0 53 3 0 0 20 0 15 0 106130544 14316269568 17039 18446744073709551615 4194304 4196468 140725565814496 139733536685120 139733532458390 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 21819392 140725565821361 140725565821537 140725565821537 140725565824975 0
[pid=29370/tid=29372] ppid=29368 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29370/task/29372/stat : 29372 (java) S 29368 29368 13977 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106130545 14316269568 17039 18446744073709551615 4194304 4196468 140725565814496 139733474392976 139733532456661 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21819392 140725565821361 140725565821537 140725565821537 140725565824975 0
[pid=29370/tid=29373] ppid=29368 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29370/task/29373/stat : 29373 (java) S 29368 29368 13977 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106130545 14316269568 17039 18446744073709551615 4194304 4196468 140725565814496 139733131336464 139733532456661 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21819392 140725565821361 140725565821537 140725565821537 140725565824975 0
[pid=29370/tid=29374] ppid=29368 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29370/task/29374/stat : 29374 (java) S 29368 29368 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106130545 14316269568 17039 18446744073709551615 4194304 4196468 140725565814496 139733130284176 139733532456661 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21819392 140725565821361 140725565821537 140725565821537 140725565824975 0
[pid=29370/tid=29375] ppid=29368 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29370/task/29375/stat : 29375 (java) S 29368 29368 13977 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106130545 14316269568 17039 18446744073709551615 4194304 4196468 140725565814496 139733129231376 139733532456661 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21819392 140725565821361 140725565821537 140725565821537 140725565824975 0
[pid=29370/tid=29376] ppid=29368 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29370/task/29376/stat : 29376 (java) S 29368 29368 13977 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 106130546 14316269568 17039 18446744073709551615 4194304 4196468 140725565814496 139732650518640 139733532457602 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21819392 140725565821361 140725565821537 140725565821537 140725565824975 0
[pid=29370/tid=29377] ppid=29368 vsize=13980732 memory=8243122710528917583 CPUtime=0 cores=1,3,5,7
/proc/29370/task/29377/stat : 29377 (java) S 29368 29368 13977 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 106130546 14316269568 17039 18446744073709551615 4194304 4196468 140725565814496 139732649464608 139733532456661 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21819392 140725565821361 140725565821537 140725565821537 140725565824975 0
[pid=29370/tid=29378] ppid=29368 vsize=13980732 memory=26497 CPUtime=0 cores=1,3,5,7
/proc/29370/task/29378/stat : 29378 (java) S 29368 29368 13977 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 106130547 14316269568 17039 18446744073709551615 4194304 4196468 140725565814496 139732648412272 139733532456661 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21819392 140725565821361 140725565821537 140725565821537 140725565824975 0
[pid=29370/tid=29379] ppid=29368 vsize=13980732 memory=1095752 CPUtime=0 cores=1,3,5,7
/proc/29370/task/29379/stat : 29379 (java) S 29368 29368 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106130549 14316269568 17039 18446744073709551615 4194304 4196468 140725565814496 139732647360592 139733532465051 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21819392 140725565821361 140725565821537 140725565821537 140725565824975 0
[pid=29370/tid=29380] ppid=29368 vsize=13980732 memory=0 CPUtime=0.14 cores=1,3,5,7
/proc/29370/task/29380/stat : 29380 (java) R 29368 29368 13977 0 -1 1077944384 1029 0 0 0 14 0 0 0 20 0 15 0 106130549 14316269568 17039 18446744073709551615 4194304 4196468 140725565814496 139732646308464 139733532457602 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21819392 140725565821361 140725565821537 140725565821537 140725565824975 0
[pid=29370/tid=29381] ppid=29368 vsize=13980732 memory=0 CPUtime=0.15 cores=1,3,5,7
/proc/29370/task/29381/stat : 29381 (java) R 29368 29368 13977 0 -1 4202560 1067 0 0 0 15 0 0 0 20 0 15 0 106130549 14316269568 17039 18446744073709551615 4194304 4196468 140725565814496 139732645242976 139733518460779 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21819392 140725565821361 140725565821537 140725565821537 140725565824975 0
[pid=29370/tid=29382] ppid=29368 vsize=13980732 memory=0 CPUtime=0.3 cores=1,3,5,7
/proc/29370/task/29382/stat : 29382 (java) S 29368 29368 13977 0 -1 1077944384 1540 0 0 0 29 1 0 0 20 0 15 0 106130549 14316269568 17039 18446744073709551615 4194304 4196468 140725565814496 139732644203376 139733532457602 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21819392 140725565821361 140725565821537 140725565821537 140725565824975 0
[pid=29370/tid=29383] ppid=29368 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29370/task/29383/stat : 29383 (java) S 29368 29368 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106130549 14316269568 17039 18446744073709551615 4194304 4196468 140725565814496 139732643150816 139733532456661 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21819392 140725565821361 140725565821537 140725565821537 140725565824975 0
[pid=29370/tid=29384] ppid=29368 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29370/task/29384/stat : 29384 (java) S 29368 29368 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106130553 14316269568 17039 18446744073709551615 4194304 4196468 140725565814496 139732642097584 139733532457602 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21819392 140725565821361 140725565821537 140725565821537 140725565824975 0
Current children cumulated CPU time: 1.19 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 69536 KiB

[startup+1.50085 s]
/proc/loadavg: 1.53 1.49 1.54 5/214 29384
/proc/meminfo: memFree=30932820/32770624 swapFree=67108860/67108860
[pid=29368] ppid=29365 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/29368/stat : 29368 (xcsp3-exec) S 29365 29368 13977 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 106130535 9740288 345 18446744073709551615 4194304 5098028 140720308619360 140720308617464 140233835954812 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 8 0 0 7196144 7232144 35078144 140720308625784 140720308625989 140720308625989 140720308629483 0
/proc/29368/statm: 2378 345 289 221 0 87 0
[pid=29370] ppid=29368 vsize=13980732 memory=129764 CPUtime=3.79 cores=1,3,5,7
/proc/29370/stat : 29370 (java) S 29368 29368 13977 0 -1 1077944320 40473 0 0 0 370 9 0 0 20 0 15 0 106130544 14316269568 32441 18446744073709551615 4194304 4196468 140725565814496 140725565797040 139733532446455 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 21819392 140725565821361 140725565821537 140725565821537 140725565824975 0
/proc/29370/statm: 3495183 32441 3190 1 0 3483476 0
[pid=29370/tid=29371] ppid=29368 vsize=13980732 memory=6943526294502006880 CPUtime=1.35 cores=1,3,5,7
/proc/29370/task/29371/stat : 29371 (java) R 29368 29368 13977 0 -1 4202560 9707 0 0 0 132 3 0 0 20 0 15 0 106130544 14316269568 32441 18446744073709551615 4194304 4196468 140725565814496 139733536682232 139733154164192 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 21819392 140725565821361 140725565821537 140725565821537 140725565824975 0
[pid=29370/tid=29372] ppid=29368 vsize=13980732 memory=6656426216303648864 CPUtime=0 cores=1,3,5,7
/proc/29370/task/29372/stat : 29372 (java) S 29368 29368 13977 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106130545 14316269568 32441 18446744073709551615 4194304 4196468 140725565814496 139733474392976 139733532456661 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21819392 140725565821361 140725565821537 140725565821537 140725565824975 0
[pid=29370/tid=29373] ppid=29368 vsize=13980732 memory=6944656592387989600 CPUtime=0 cores=1,3,5,7
/proc/29370/task/29373/stat : 29373 (java) S 29368 29368 13977 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106130545 14316269568 32441 18446744073709551615 4194304 4196468 140725565814496 139733131336464 139733532456661 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21819392 140725565821361 140725565821537 140725565821537 140725565824975 0
[pid=29370/tid=29374] ppid=29368 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29370/task/29374/stat : 29374 (java) S 29368 29368 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106130545 14316269568 32441 18446744073709551615 4194304 4196468 140725565814496 139733130284176 139733532456661 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21819392 140725565821361 140725565821537 140725565821537 140725565824975 0
[pid=29370/tid=29375] ppid=29368 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29370/task/29375/stat : 29375 (java) S 29368 29368 13977 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106130545 14316269568 32441 18446744073709551615 4194304 4196468 140725565814496 139733129231376 139733532456661 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21819392 140725565821361 140725565821537 140725565821537 140725565824975 0
[pid=29370/tid=29376] ppid=29368 vsize=13980732 memory=280979177047952 CPUtime=0 cores=1,3,5,7
/proc/29370/task/29376/stat : 29376 (java) S 29368 29368 13977 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 106130546 14316269568 32441 18446744073709551615 4194304 4196468 140725565814496 139732650518640 139733532457602 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21819392 140725565821361 140725565821537 140725565821537 140725565824975 0
[pid=29370/tid=29377] ppid=29368 vsize=13980732 memory=576460756337521186 CPUtime=0 cores=1,3,5,7

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

/proc/29368/stat : 29368 (xcsp3-exec) S 29365 29368 13977 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 106130535 9740288 345 18446744073709551615 4194304 5098028 140720308619360 140720308617464 140233835954812 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 8 0 0 7196144 7232144 35078144 140720308625784 140720308625989 140720308625989 140720308629483 0
/proc/29368/statm: 2378 345 289 221 0 87 0
[pid=29370] ppid=29368 vsize=14046268 memory=312480 CPUtime=18.67 cores=1,3,5,7
/proc/29370/stat : 29370 (java) S 29368 29368 13977 0 -1 1077944320 105690 0 0 0 1849 18 0 0 20 0 15 0 106130544 14383378432 78120 18446744073709551615 4194304 4196468 140725565814496 140725565797040 139733532446455 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 21819392 140725565821361 140725565821537 140725565821537 140725565824975 0
/proc/29370/statm: 3511567 78120 3212 1 0 3499860 0
[pid=29370/tid=29371] ppid=29368 vsize=14046268 memory=288230621803970871 CPUtime=6.25 cores=1,3,5,7
/proc/29370/task/29371/stat : 29371 (java) R 29368 29368 13977 0 -1 4202560 11890 0 0 0 620 5 0 0 20 0 15 0 106130544 14383378432 78120 18446744073709551615 4194304 4196468 140725565814496 139733536682096 139733157193862 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 21819392 140725565821361 140725565821537 140725565821537 140725565824975 0
[pid=29370/tid=29372] ppid=29368 vsize=14046268 memory=-8774313645642428999 CPUtime=0 cores=1,3,5,7
/proc/29370/task/29372/stat : 29372 (java) S 29368 29368 13977 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106130545 14383378432 78120 18446744073709551615 4194304 4196468 140725565814496 139733474392976 139733532456661 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21819392 140725565821361 140725565821537 140725565821537 140725565824975 0
[pid=29370/tid=29373] ppid=29368 vsize=14046268 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29370/task/29373/stat : 29373 (java) S 29368 29368 13977 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106130545 14383378432 78120 18446744073709551615 4194304 4196468 140725565814496 139733131336464 139733532456661 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21819392 140725565821361 140725565821537 140725565821537 140725565824975 0
[pid=29370/tid=29374] ppid=29368 vsize=14046268 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29370/task/29374/stat : 29374 (java) S 29368 29368 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106130545 14383378432 78120 18446744073709551615 4194304 4196468 140725565814496 139733130284176 139733532456661 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21819392 140725565821361 140725565821537 140725565821537 140725565824975 0
[pid=29370/tid=29375] ppid=29368 vsize=14046268 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29370/task/29375/stat : 29375 (java) S 29368 29368 13977 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106130545 14383378432 78120 18446744073709551615 4194304 4196468 140725565814496 139733129231376 139733532456661 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21819392 140725565821361 140725565821537 140725565821537 140725565824975 0
[pid=29370/tid=29376] ppid=29368 vsize=14046268 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29370/task/29376/stat : 29376 (java) S 29368 29368 13977 0 -1 1077944384 203 0 0 0 0 0 0 0 20 0 15 0 106130546 14383378432 78120 18446744073709551615 4194304 4196468 140725565814496 139732650518640 139733532457602 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21819392 140725565821361 140725565821537 140725565821537 140725565824975 0
[pid=29370/tid=29377] ppid=29368 vsize=14046268 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29370/task/29377/stat : 29377 (java) S 29368 29368 13977 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 106130546 14383378432 78120 18446744073709551615 4194304 4196468 140725565814496 139732649464608 139733532456661 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21819392 140725565821361 140725565821537 140725565821537 140725565824975 0
[pid=29370/tid=29378] ppid=29368 vsize=14046268 memory=523 CPUtime=0 cores=1,3,5,7
/proc/29370/task/29378/stat : 29378 (java) S 29368 29368 13977 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 106130547 14383378432 78120 18446744073709551615 4194304 4196468 140725565814496 139732648412272 139733532456661 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21819392 140725565821361 140725565821537 140725565821537 140725565824975 0
[pid=29370/tid=29379] ppid=29368 vsize=14046268 memory=525 CPUtime=0 cores=1,3,5,7
/proc/29370/task/29379/stat : 29379 (java) S 29368 29368 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106130549 14383378432 78120 18446744073709551615 4194304 4196468 140725565814496 139732647360592 139733532465051 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21819392 140725565821361 140725565821537 140725565821537 140725565824975 0
[pid=29370/tid=29380] ppid=29368 vsize=14046268 memory=71 CPUtime=5.82 cores=1,3,5,7
/proc/29370/task/29380/stat : 29380 (java) R 29368 29368 13977 0 -1 4202560 47593 0 0 0 577 5 0 0 20 0 15 0 106130549 14383378432 78120 18446744073709551615 4194304 4196468 140725565814496 139732646301656 139733510463447 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21819392 140725565821361 140725565821537 140725565821537 140725565824975 0
[pid=29370/tid=29381] ppid=29368 vsize=14046268 memory=1380 CPUtime=5.85 cores=1,3,5,7
/proc/29370/task/29381/stat : 29381 (java) R 29368 29368 13977 0 -1 4202560 34898 0 0 0 581 4 0 0 20 0 15 0 106130549 14383378432 78120 18446744073709551615 4194304 4196468 140725565814496 139732645241688 139733512290049 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21819392 140725565821361 140725565821537 140725565821537 140725565824975 0
[pid=29370/tid=29382] ppid=29368 vsize=14046268 memory=5788 CPUtime=0.71 cores=1,3,5,7
/proc/29370/task/29382/stat : 29382 (java) S 29368 29368 13977 0 -1 1077944384 8424 0 0 0 69 2 0 0 20 0 15 0 106130549 14383378432 78120 18446744073709551615 4194304 4196468 140725565814496 139732644203376 139733532457602 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21819392 140725565821361 140725565821537 140725565821537 140725565824975 0
[pid=29370/tid=29383] ppid=29368 vsize=14046268 memory=1996 CPUtime=0 cores=1,3,5,7
/proc/29370/task/29383/stat : 29383 (java) S 29368 29368 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106130549 14383378432 78120 18446744073709551615 4194304 4196468 140725565814496 139732643150816 139733532456661 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21819392 140725565821361 140725565821537 140725565821537 140725565824975 0
[pid=29370/tid=29384] ppid=29368 vsize=14046268 memory=796 CPUtime=0 cores=1,3,5,7
/proc/29370/task/29384/stat : 29384 (java) S 29368 29368 13977 0 -1 1077944384 1378 0 0 0 0 0 0 0 20 0 15 0 106130553 14383378432 78120 18446744073709551615 4194304 4196468 140725565814496 139732642097584 139733532457602 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21819392 140725565821361 140725565821537 140725565821537 140725565824975 0
Current children cumulated CPU time: 18.67 s
Current children cumulated vsize: 14055780 KiB
Current children cumulated memory: 313860 KiB

[startup+7.20076 s]
/proc/loadavg: 1.91 1.57 1.56 5/214 29385
/proc/meminfo: memFree=30694832/32770624 swapFree=67108860/67108860
[pid=29368] ppid=29365 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/29368/stat : 29368 (xcsp3-exec) S 29365 29368 13977 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 106130535 9740288 345 18446744073709551615 4194304 5098028 140720308619360 140720308617464 140233835954812 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 8 0 0 7196144 7232144 35078144 140720308625784 140720308625989 140720308625989 140720308629483 0
/proc/29368/statm: 2378 345 289 221 0 87 0
[pid=29370] ppid=29368 vsize=14046268 memory=342052 CPUtime=21.09 cores=1,3,5,7
/proc/29370/stat : 29370 (java) S 29368 29368 13977 0 -1 1077944320 109872 0 0 0 2090 19 0 0 20 0 15 0 106130544 14383378432 85513 18446744073709551615 4194304 4196468 140725565814496 140725565797040 139733532446455 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 21819392 140725565821361 140725565821537 140725565821537 140725565824975 0
/proc/29370/statm: 3511567 85513 3232 1 0 3499860 0
[pid=29370/tid=29371] ppid=29368 vsize=14046268 memory=0 CPUtime=7.04 cores=1,3,5,7
/proc/29370/task/29371/stat : 29371 (java) R 29368 29368 13977 0 -1 4202560 12635 0 0 0 699 5 0 0 20 0 15 0 106130544 14383378432 85513 18446744073709551615 4194304 4196468 140725565814496 139733536683536 139733161705964 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 21819392 140725565821361 140725565821537 140725565821537 140725565824975 0
[pid=29370/tid=29372] ppid=29368 vsize=14046268 memory=4120 CPUtime=0 cores=1,3,5,7
/proc/29370/task/29372/stat : 29372 (java) S 29368 29368 13977 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 15 0 106130545 14383378432 85513 18446744073709551615 4194304 4196468 140725565814496 139733474392976 139733532456661 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21819392 140725565821361 140725565821537 140725565821537 140725565824975 0
[pid=29370/tid=29373] ppid=29368 vsize=14046268 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29370/task/29373/stat : 29373 (java) S 29368 29368 13977 0 -1 1077944384 489 0 0 0 0 0 0 0 20 0 15 0 106130545 14383378432 85513 18446744073709551615 4194304 4196468 140725565814496 139733131336464 139733532456661 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21819392 140725565821361 140725565821537 140725565821537 140725565824975 0
[pid=29370/tid=29374] ppid=29368 vsize=14046268 memory=280979177241120 CPUtime=0 cores=1,3,5,7
/proc/29370/task/29374/stat : 29374 (java) S 29368 29368 13977 0 -1 1077944384 31 0 0 0 0 0 0 0 20 0 15 0 106130545 14383378432 85513 18446744073709551615 4194304 4196468 140725565814496 139733130284176 139733532456661 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21819392 140725565821361 140725565821537 140725565821537 140725565824975 0
[pid=29370/tid=29375] ppid=29368 vsize=14046268 memory=2315025922063581257 CPUtime=0 cores=1,3,5,7
/proc/29370/task/29375/stat : 29375 (java) S 29368 29368 13977 0 -1 1077944384 185 0 0 0 0 0 0 0 20 0 15 0 106130545 14383378432 85513 18446744073709551615 4194304 4196468 140725565814496 139733129231376 139733532456661 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21819392 140725565821361 140725565821537 140725565821537 140725565824975 0
[pid=29370/tid=29376] ppid=29368 vsize=14046268 memory=7649399362840377650 CPUtime=0 cores=1,3,5,7
/proc/29370/task/29376/stat : 29376 (java) S 29368 29368 13977 0 -1 1077944384 376 0 0 0 0 0 0 0 20 0 15 0 106130546 14383378432 85513 18446744073709551615 4194304 4196468 140725565814496 139732650518640 139733532457602 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21819392 140725565821361 140725565821537 140725565821537 140725565824975 0
[pid=29370/tid=29377] ppid=29368 vsize=14046268 memory=4294969568 CPUtime=0 cores=1,3,5,7
/proc/29370/task/29377/stat : 29377 (java) S 29368 29368 13977 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 106130546 14383378432 85513 18446744073709551615 4194304 4196468 140725565814496 139732649464608 139733532456661 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21819392 140725565821361 140725565821537 140725565821537 140725565824975 0
[pid=29370/tid=29378] ppid=29368 vsize=14046268 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29370/task/29378/stat : 29378 (java) S 29368 29368 13977 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 106130547 14383378432 85513 18446744073709551615 4194304 4196468 140725565814496 139732648412272 139733532456661 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21819392 140725565821361 140725565821537 140725565821537 140725565824975 0
[pid=29370/tid=29379] ppid=29368 vsize=14046268 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29370/task/29379/stat : 29379 (java) S 29368 29368 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106130549 14383378432 85513 18446744073709551615 4194304 4196468 140725565814496 139732647360592 139733532465051 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21819392 140725565821361 140725565821537 140725565821537 140725565824975 0
[pid=29370/tid=29380] ppid=29368 vsize=14046268 memory=1380 CPUtime=6.61 cores=1,3,5,7
/proc/29370/task/29380/stat : 29380 (java) R 29368 29368 13977 0 -1 4202560 48942 0 0 0 656 5 0 0 20 0 15 0 106130549 14383378432 85513 18446744073709551615 4194304 4196468 140725565814496 139732646298256 139733512299993 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21819392 140725565821361 140725565821537 140725565821537 140725565824975 0
[pid=29370/tid=29381] ppid=29368 vsize=14046268 memory=318628 CPUtime=6.63 cores=1,3,5,7
/proc/29370/task/29381/stat : 29381 (java) R 29368 29368 13977 0 -1 4202560 35463 0 0 0 659 4 0 0 20 0 15 0 106130549 14383378432 85513 18446744073709551615 4194304 4196468 140725565814496 139732645244224 139733511664378 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21819392 140725565821361 140725565821537 140725565821537 140725565824975 0
[pid=29370/tid=29382] ppid=29368 vsize=14046268 memory=0 CPUtime=0.73 cores=1,3,5,7
/proc/29370/task/29382/stat : 29382 (java) S 29368 29368 13977 0 -1 1077944384 8994 0 0 0 71 2 0 0 20 0 15 0 106130549 14383378432 85513 18446744073709551615 4194304 4196468 140725565814496 139732644203376 139733532457602 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21819392 140725565821361 140725565821537 140725565821537 140725565824975 0
[pid=29370/tid=29383] ppid=29368 vsize=14046268 memory=266622979859828 CPUtime=0 cores=1,3,5,7
/proc/29370/task/29383/stat : 29383 (java) S 29368 29368 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106130549 14383378432 85513 18446744073709551615 4194304 4196468 140725565814496 139732643150816 139733532456661 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21819392 140725565821361 140725565821537 140725565821537 140725565824975 0
[pid=29370/tid=29384] ppid=29368 vsize=14046268 memory=280979176472384 CPUtime=0 cores=1,3,5,7
/proc/29370/task/29384/stat : 29384 (java) S 29368 29368 13977 0 -1 1077944384 1386 0 0 0 0 0 0 0 20 0 15 0 106130553 14383378432 85513 18446744073709551615 4194304 4196468 140725565814496 139732642097584 139733532457602 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21819392 140725565821361 140725565821537 140725565821537 140725565824975 0
Current children cumulated CPU time: 21.09 s
Current children cumulated vsize: 14055780 KiB
Current children cumulated memory: 343432 KiB

[startup+7.60076 s]
/proc/loadavg: 1.91 1.57 1.56 5/214 29385
/proc/meminfo: memFree=30694832/32770624 swapFree=67108860/67108860
[pid=29368] ppid=29365 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/29368/stat : 29368 (xcsp3-exec) S 29365 29368 13977 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 106130535 9740288 345 18446744073709551615 4194304 5098028 140720308619360 140720308617464 140233835954812 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 8 0 0 7196144 7232144 35078144 140720308625784 140720308625989 140720308625989 140720308629483 0
/proc/29368/statm: 2378 345 289 221 0 87 0
[pid=29370] ppid=29368 vsize=14046268 memory=342616 CPUtime=22.34 cores=1,3,5,7
/proc/29370/stat : 29370 (java) S 29368 29368 13977 0 -1 1077944320 110171 0 0 0 2214 20 0 0 20 0 15 0 106130544 14383378432 85654 18446744073709551615 4194304 4196468 140725565814496 140725565797040 139733532446455 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 21819392 140725565821361 140725565821537 140725565821537 140725565824975 0
/proc/29370/statm: 3511567 85654 3233 1 0 3499860 0
[pid=29370/tid=29371] ppid=29368 vsize=14046268 memory=4580 CPUtime=7.43 cores=1,3,5,7
/proc/29370/task/29371/stat : 29371 (java) R 29368 29368 13977 0 -1 4202560 12658 0 0 0 738 5 0 0 20 0 15 0 106130544 14383378432 85654 18446744073709551615 4194304 4196468 140725565814496 139733536681392 139733163160174 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 21819392 140725565821361 140725565821537 140725565821537 140725565824975 0
[pid=29370/tid=29372] ppid=29368 vsize=14046268 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29370/task/29372/stat : 29372 (java) S 29368 29368 13977 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 15 0 106130545 14383378432 85654 18446744073709551615 4194304 4196468 140725565814496 139733474392976 139733532456661 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21819392 140725565821361 140725565821537 140725565821537 140725565824975 0
[pid=29370/tid=29373] ppid=29368 vsize=14046268 memory=3689777367802476705 CPUtime=0 cores=1,3,5,7
/proc/29370/task/29373/stat : 29373 (java) S 29368 29368 13977 0 -1 1077944384 489 0 0 0 0 0 0 0 20 0 15 0 106130545 14383378432 85654 18446744073709551615 4194304 4196468 140725565814496 139733131336464 139733532456661 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21819392 140725565821361 140725565821537 140725565821537 140725565824975 0
[pid=29370/tid=29374] ppid=29368 vsize=14046268 memory=14415866997 CPUtime=0 cores=1,3,5,7
/proc/29370/task/29374/stat : 29374 (java) S 29368 29368 13977 0 -1 1077944384 31 0 0 0 0 0 0 0 20 0 15 0 106130545 14383378432 85654 18446744073709551615 4194304 4196468 140725565814496 139733130284176 139733532456661 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21819392 140725565821361 140725565821537 140725565821537 140725565824975 0
[pid=29370/tid=29375] ppid=29368 vsize=14046268 memory=280979176895936 CPUtime=0 cores=1,3,5,7
/proc/29370/task/29375/stat : 29375 (java) S 29368 29368 13977 0 -1 1077944384 185 0 0 0 0 0 0 0 20 0 15 0 106130545 14383378432 85654 18446744073709551615 4194304 4196468 140725565814496 139733129231376 139733532456661 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21819392 140725565821361 140725565821537 140725565821537 140725565824975 0
[pid=29370/tid=29376] ppid=29368 vsize=14046268 memory=280979176706808 CPUtime=0 cores=1,3,5,7
/proc/29370/task/29376/stat : 29376 (java) S 29368 29368 13977 0 -1 1077944384 376 0 0 0 0 0 0 0 20 0 15 0 106130546 14383378432 85654 18446744073709551615 4194304 4196468 140725565814496 139732650518640 139733532457602 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21819392 140725565821361 140725565821537 140725565821537 140725565824975 0
[pid=29370/tid=29377] ppid=29368 vsize=14046268 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/29370/task/29377/stat : 29377 (java) S 29368 29368 13977 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 106130546 14383378432 85654 18446744073709551615 4194304 4196468 140725565814496 139732649464608 139733532456661 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21819392 140725565821361 140725565821537 140725565821537 140725565824975 0
[pid=29370/tid=29378] ppid=29368 vsize=14046268 memory=796 CPUtime=0 cores=1,3,5,7
/proc/29370/task/29378/stat : 29378 (java) S 29368 29368 13977 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 106130547 14383378432 85654 18446744073709551615 4194304 4196468 140725565814496 139732648412272 139733532456661 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21819392 140725565821361 140725565821537 140725565821537 140725565824975 0
[pid=29370/tid=29379] ppid=29368 vsize=14046204 memory=10096 CPUtime=0 cores=1,3,5,7
/proc/29370/task/29379/stat : 29379 (java) S 29368 29368 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106130549 14383312896 85666 18446744073709551615 4194304 4196468 140725565814496 139732647360592 139733532465051 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21819392 140725565821361 140725565821537 140725565821537 140725565824975 0
[pid=29370/tid=29380] ppid=29368 vsize=14046268 memory=1716 CPUtime=7.02 cores=1,3,5,7
/proc/29370/task/29380/stat : 29380 (java) R 29368 29368 13977 0 -1 4202560 49085 0 0 0 696 6 0 0 20 0 15 0 106130549 14383378432 85666 18446744073709551615 4194304 4196468 140725565814496 139732646295248 139733525543291 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21819392 140725565821361 140725565821537 140725565821537 140725565824975 0
[pid=29370/tid=29381] ppid=29368 vsize=14046268 memory=1008 CPUtime=7.03 cores=1,3,5,7
/proc/29370/task/29381/stat : 29381 (java) R 29368 29368 13977 0 -1 4202560 35523 0 0 0 699 4 0 0 20 0 15 0 106130549 14383378432 85666 18446744073709551615 4194304 4196468 140725565814496 139732645245792 139733510274131 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21819392 140725565821361 140725565821537 140725565821537 140725565824975 0
[pid=29370/tid=29382] ppid=29368 vsize=14046268 memory=1232 CPUtime=0.77 cores=1,3,5,7
/proc/29370/task/29382/stat : 29382 (java) R 29368 29368 13977 0 -1 1077944384 9069 0 0 0 75 2 0 0 20 0 15 0 106130549 14383378432 85666 18446744073709551615 4194304 4196468 140725565814496 139732644203376 139733532457602 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 21819392 140725565821361 140725565821537 140725565821537 140725565824975 0
[pid=29370/tid=29383] ppid=29368 vsize=14046268 memory=9020 CPUtime=0 cores=1,3,5,7
/proc/29370/task/29383/stat : 29383 (java) S 29368 29368 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106130549 14383378432 85666 18446744073709551615 4194304 4196468 140725565814496 139732643150816 139733532456661 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21819392 140725565821361 140725565821537 140725565821537 140725565824975 0
[pid=29370/tid=29384] ppid=29368 vsize=14046268 memory=4616 CPUtime=0 cores=1,3,5,7
/proc/29370/task/29384/stat : 29384 (java) S 29368 29368 13977 0 -1 1077944384 1386 0 0 0 0 0 0 0 20 0 15 0 106130553 14383378432 85666 18446744073709551615 4194304 4196468 140725565814496 139732642097584 139733532457602 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21819392 140725565821361 140725565821537 140725565821537 140725565824975 0
Current children cumulated CPU time: 22.34 s
Current children cumulated vsize: 14055780 KiB
Current children cumulated memory: 343996 KiB

[startup+7.80069 s]
/proc/loadavg: 1.91 1.57 1.56 5/214 29385
/proc/meminfo: memFree=30694832/32770624 swapFree=67108860/67108860
[pid=29368] ppid=29365 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/29368/stat : 29368 (xcsp3-exec) S 29365 29368 13977 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 106130535 9740288 345 18446744073709551615 4194304 5098028 140720308619360 140720308617464 140233835954812 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 8 0 0 7196144 7232144 35078144 140720308625784 140720308625989 140720308625989 140720308629483 0
/proc/29368/statm: 2378 345 289 221 0 87 0
[pid=29370] ppid=29368 vsize=14046268 memory=342992 CPUtime=22.81 cores=1,3,5,7
/proc/29370/stat : 29370 (java) S 29368 29368 13977 0 -1 1077944320 110285 0 0 0 2261 20 0 0 20 0 15 0 106130544 14383378432 85748 18446744073709551615 4194304 4196468 140725565814496 140725565797040 139733532446455 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 21819392 140725565821361 140725565821537 140725565821537 140725565824975 0
/proc/29370/statm: 3511567 85748 3233 1 0 3499860 0
[pid=29370/tid=29371] ppid=29368 vsize=14046268 memory=7380106142448641111 CPUtime=7.63 cores=1,3,5,7
/proc/29370/task/29371/stat : 29371 (java) R 29368 29368 13977 0 -1 4202560 12664 0 0 0 758 5 0 0 20 0 15 0 106130544 14383378432 85748 18446744073709551615 4194304 4196468 140725565814496 139733536681024 139733162376531 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 21819392 140725565821361 140725565821537 140725565821537 140725565824975 0
[pid=29370/tid=29372] ppid=29368 vsize=14046268 memory=-8382795983579614581 CPUtime=0 cores=1,3,5,7
/proc/29370/task/29372/stat : 29372 (java) S 29368 29368 13977 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 15 0 106130545 14383378432 85748 18446744073709551615 4194304 4196468 140725565814496 139733474392976 139733532456661 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21819392 140725565821361 140725565821537 140725565821537 140725565824975 0
[pid=29370/tid=29373] ppid=29368 vsize=14046268 memory=-8412658753979780979 CPUtime=0 cores=1,3,5,7
/proc/29370/task/29373/stat : 29373 (java) S 29368 29368 13977 0 -1 1077944384 489 0 0 0 0 0 0 0 20 0 15 0 106130545 14383378432 85748 18446744073709551615 4194304 4196468 140725565814496 139733131336464 139733532456661 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21819392 140725565821361 140725565821537 140725565821537 140725565824975 0
[pid=29370/tid=29374] ppid=29368 vsize=14046268 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29370/task/29374/stat : 29374 (java) S 29368 29368 13977 0 -1 1077944384 31 0 0 0 0 0 0 0 20 0 15 0 106130545 14383378432 85748 18446744073709551615 4194304 4196468 140725565814496 139733130284176 139733532456661 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21819392 140725565821361 140725565821537 140725565821537 140725565824975 0
[pid=29370/tid=29375] ppid=29368 vsize=14046268 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29370/task/29375/stat : 29375 (java) S 29368 29368 13977 0 -1 1077944384 185 0 0 0 0 0 0 0 20 0 15 0 106130545 14383378432 85748 18446744073709551615 4194304 4196468 140725565814496 139733129231376 139733532456661 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21819392 140725565821361 140725565821537 140725565821537 140725565824975 0
[pid=29370/tid=29376] ppid=29368 vsize=14046268 memory=280979176423664 CPUtime=0 cores=1,3,5,7
/proc/29370/task/29376/stat : 29376 (java) S 29368 29368 13977 0 -1 1077944384 377 0 0 0 0 0 0 0 20 0 15 0 106130546 14383378432 85748 18446744073709551615 4194304 4196468 140725565814496 139732650518640 139733532457602 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21819392 140725565821361 140725565821537 140725565821537 140725565824975 0
[pid=29370/tid=29377] ppid=29368 vsize=14046268 memory=-9116517340232375276 CPUtime=0 cores=1,3,5,7
/proc/29370/task/29377/stat : 29377 (java) S 29368 29368 13977 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 106130546 14383378432 85748 18446744073709551615 4194304 4196468 140725565814496 139732649464608 139733532456661 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21819392 140725565821361 140725565821537 140725565821537 140725565824975 0
[pid=29370/tid=29378] ppid=29368 vsize=14046268 memory=8110268329075528917 CPUtime=0 cores=1,3,5,7
/proc/29370/task/29378/stat : 29378 (java) S 29368 29368 13977 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 106130547 14383378432 85748 18446744073709551615 4194304 4196468 140725565814496 139732648412272 139733532456661 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21819392 140725565821361 140725565821537 140725565821537 140725565824975 0
[pid=29370/tid=29379] ppid=29368 vsize=14046268 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7
/proc/29370/task/29379/stat : 29379 (java) S 29368 29368 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106130549 14383378432 85748 18446744073709551615 4194304 4196468 140725565814496 139732647360592 139733532465051 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21819392 140725565821361 140725565821537 140725565821537 140725565824975 0
[pid=29370/tid=29380] ppid=29368 vsize=14046268 memory=280979177301232 CPUtime=7.13 cores=1,3,5,7
/proc/29370/task/29380/stat : 29380 (java) S 29368 29368 13977 0 -1 1077944384 49108 0 0 0 707 6 0 0 20 0 15 0 106130549 14383378432 85748 18446744073709551615 4194304 4196468 140725565814496 139732646308464 139733532457602 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21819392 140725565821361 140725565821537 140725565821537 140725565824975 0
[pid=29370/tid=29381] ppid=29368 vsize=14046268 memory=6656426216303648864 CPUtime=7.17 cores=1,3,5,7
/proc/29370/task/29381/stat : 29381 (java) S 29368 29368 13977 0 -1 1077944384 35556 0 0 0 713 4 0 0 20 0 15 0 106130549 14383378432 85748 18446744073709551615 4194304 4196468 140725565814496 139732645255664 139733532457602 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21819392 140725565821361 140725565821537 140725565821537 140725565824975 0
[pid=29370/tid=29382] ppid=29368 vsize=14046268 memory=4120 CPUtime=0.81 cores=1,3,5,7
/proc/29370/task/29382/stat : 29382 (java) S 29368 29368 13977 0 -1 1077944384 9118 0 0 0 78 3 0 0 20 0 15 0 106130549 14383378432 85748 18446744073709551615 4194304 4196468 140725565814496 139732644203376 139733532457602 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21819392 140725565821361 140725565821537 140725565821537 140725565824975 0
[pid=29370/tid=29383] ppid=29368 vsize=14046268 memory=57700 CPUtime=0 cores=1,3,5,7
/proc/29370/task/29383/stat : 29383 (java) S 29368 29368 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106130549 14383378432 85748 18446744073709551615 4194304 4196468 140725565814496 139732643150816 139733532456661 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21819392 140725565821361 140725565821537 140725565821537 140725565824975 0
[pid=29370/tid=29384] ppid=29368 vsize=14046268 memory=2384 CPUtime=0 cores=1,3,5,7
/proc/29370/task/29384/stat : 29384 (java) S 29368 29368 13977 0 -1 1077944384 1386 0 0 0 0 0 0 0 20 0 15 0 106130553 14383378432 85748 18446744073709551615 4194304 4196468 140725565814496 139732642097584 139733532457602 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21819392 140725565821361 140725565821537 140725565821537 140725565824975 0
Current children cumulated CPU time: 22.81 s
Current children cumulated vsize: 14055780 KiB
Current children cumulated memory: 344372 KiB

Child status: 0
Real time (s): 7.86399
CPU time (s): 22.9339
CPU user time (s): 22.715
CPU system time (s): 0.21885
CPU usage (%): 291.632
Max. virtual memory (cumulated for all children) (KiB): 14055780
Max. memory (cumulated for all children) (KiB): 344372

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 22.7151
system time used= 0.21885
maximum resident set size= 343564
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 111050
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2940
involuntary context switches= 37


# summary of solver processes directly reported to runsolver:
#   pid: 29368
#   total CPU time (s): 22.9339
#   total CPU user time (s): 22.715
#   total CPU system time (s): 0.21885

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.067197 second user time and 0.124921 second system time

The end

Launcher Data 

Begin job on node124 at 2017-08-19 23:10:43
IDJOB=4284146
IDBENCH=115839
IDSOLVER=2679
FILE ID=node124/4284146-1503177899
RUNJOBID= node124-1503172076-28737
PBS_JOBID= 
Free space on /tmp= 62024 MiB

SOLVER NAME= choco-solver 5a
BENCH NAME= XCSP17/Scheduling/Scheduling-os-taillard/Taillard-os-04-04-8.xml
COMMAND LINE= ./xcsp3-exec -dir DIR -tl TIMEOUT -ml 11000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4284146-1503177899/watcher-4284146-1503177899 -o /tmp/evaluation-result-4284146-1503177899/solver-4284146-1503177899 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node124-1503172076-28737 --watchdog 2580  ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 1280459512 HOME/instance-4284146-1503177899.xml

TIME LIMIT= 2520 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= aed9643ac8b54e4586138aa43d9c539b
RANDOM SEED=1280459512

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

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
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.51
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	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
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.51
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	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
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.51
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	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
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.51
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	: 4
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:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        31012016 kB
MemAvailable:   31650280 kB
Buffers:          293704 kB
Cached:           637524 kB
SwapCached:            0 kB
Active:           926948 kB
Inactive:         376948 kB
Active(anon):     325200 kB
Inactive(anon):    89140 kB
Active(file):     601748 kB
Inactive(file):   287808 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              7788 kB
Writeback:             4 kB
AnonPages:        372640 kB
Mapped:            71556 kB
Shmem:             41704 kB
Slab:             156168 kB
SReclaimable:     129084 kB
SUnreclaim:        27084 kB
KernelStack:        3472 kB
PageTables:         6492 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     973592 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      354332 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    303104 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      116096 kB
DirectMap2M:    33429504 kB

Free space on /tmp at the end= 62016 MiB
End job on node124 at 2017-08-19 23:10:51