Trace number 4283694

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
choco-solver 5a (2017-08-18)SAT 17.8727 16.1

General information on the benchmark

NameHanoi/Hanoi-m1-s1/
Hanoi-07.xml
MD5SUM7f68b5f256bf6bd8019eb0158af88fa3
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark0.61620301
Satisfiable
(Un)Satisfiability was proved
Number of variables126
Number of constraints126
Number of domains1
Minimum domain size2187
Maximum domain size2187
Distribution of domain sizes[{"size":2187,"count":126}]
Minimum variable degree1
Maximum variable degree2
Distribution of variable degrees[{"degree":1,"count":125},{"degree":2,"count":1}]
Minimum constraint arity1
Maximum constraint arity2
Distribution of constraint arities[{"arity":1,"count":1},{"arity":2,"count":125}]
Number of extensional constraints125
Number of intensional constraints1
Distribution of constraint types[{"type":"extension","count":125},{"type":"intension","count":1}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c java -server -Xmx11000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4283694-1503222691.xml"  -tl '2520s' -p 1 -x 3
0.12/0.15	c [HOME/instance-4283694-1503222691.xml, -tl, 2520s, -p, 1, -x, 3]
0.12/0.20	c simple solver
0.34/0.27	c parse instance...
1.94/0.85	c solve instance...
17.77/16.09	s SATISFIABLE
17.77/16.09	v <instantiation>
17.77/16.09	v 	<list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[50] x[51] x[52] x[53] x[54] x[55] x[56] x[57] x[58] x[59] x[60] x[61] x[62] x[63] x[64] x[65] x[66] x[67] x[68] x[69] x[70] x[71] x[72] x[73] x[74] x[75] x[76] x[77] x[78] x[79] x[80] x[81] x[82] x[83] x[84] x[85] x[86] x[87] x[88] x[89] x[90] x[91] x[92] x[93] x[94] x[95] x[96] x[97] x[98] x[99] x[100] x[101] x[102] x[103] x[104] x[105] x[106] x[107] x[108] x[109] x[110] x[111] x[112] x[113] x[114] x[115] x[116] x[117] x[118] x[119] x[120] x[121] x[122] x[123] x[124] x[125] </list>
17.77/16.09	v 	<values>1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 </values>
17.77/16.09	v </instantiation>

Verifier Data 

OK

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 (12491 MiB free)
  memory of node 1: 16384 MiB (11756 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4283694-1503222691/watcher-4283694-1503222691 -o /tmp/evaluation-result-4283694-1503222691/solver-4283694-1503222691 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node112-1503215489-19072 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 1258885022 HOME/instance-4283694-1503222691.xml 

running on 4 cores: 0,2,4,6

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=19822, runsolver pid=19819

[startup+0.100901 s]*
/proc/loadavg: 1.49 1.49 1.51 3/217 19838
/proc/meminfo: memFree=24813288/32770624 swapFree=67108860/67108860
[pid=19822] ppid=19819 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/19822/stat : 19822 (xcsp3-exec) S 19819 19822 13358 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 155356730 9740288 346 33554432000 4194304 5098028 140722213014976 140722213013080 140326556209788 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 20287488 140722213020782 140722213020987 140722213020987 140722213023723 0
/proc/19822/statm: 2378 346 289 221 0 87 0
[pid=19824] ppid=19822 vsize=13978596 memory=27776 CPUtime=0.12 cores=0,2,4,6
/proc/19824/stat : 19824 (java) S 19822 19822 13358 0 -1 1077944320 5300 0 0 0 11 1 0 0 20 0 15 0 155356730 14314082304 6944 33554432000 4194304 4196468 140723414548272 140723414530816 140540926578423 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 38780928 140723414553751 140723414553927 140723414553927 140723414556623 0
/proc/19824/statm: 3494649 6944 2872 1 0 3482966 0
[pid=19824/tid=19825] ppid=19822 vsize=13978596 memory=-6962121287837372198 CPUtime=0.08 cores=0,2,4,6
/proc/19824/task/19825/stat : 19825 (java) R 19822 19822 13358 0 -1 4202560 3322 0 0 0 8 0 0 0 20 0 15 0 155356730 14314082304 6944 33554432000 4194304 4196468 140723414548272 140540930798544 140540926590358 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38780928 140723414553751 140723414553927 140723414553927 140723414556623 0
[pid=19824/tid=19826] ppid=19822 vsize=13978596 memory=-3689451258167578675 CPUtime=0 cores=0,2,4,6
/proc/19824/task/19826/stat : 19826 (java) S 19822 19822 13358 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 155356731 14314082304 6944 33554432000 4194304 4196468 140723414548272 140540864179344 140540926588629 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38780928 140723414553751 140723414553927 140723414553927 140723414556623 0
[pid=19824/tid=19827] ppid=19822 vsize=13978596 memory=140211216156288 CPUtime=0 cores=0,2,4,6
/proc/19824/task/19827/stat : 19827 (java) S 19822 19822 13358 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 155356731 14314082304 6944 33554432000 4194304 4196468 140723414548272 140540863126544 140540926588629 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38780928 140723414553751 140723414553927 140723414553927 140723414556623 0
[pid=19824/tid=19828] ppid=19822 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19824/task/19828/stat : 19828 (java) S 19822 19822 13358 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 155356731 14314082304 6944 33554432000 4194304 4196468 140723414548272 140540862073744 140540926588629 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38780928 140723414553751 140723414553927 140723414553927 140723414556623 0
[pid=19824/tid=19829] ppid=19822 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/19824/task/19829/stat : 19829 (java) S 19822 19822 13358 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 155356731 14314082304 6944 33554432000 4194304 4196468 140723414548272 140540861020944 140540926588629 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38780928 140723414553751 140723414553927 140723414553927 140723414556623 0
[pid=19824/tid=19830] ppid=19822 vsize=13978596 memory=140211216156288 CPUtime=0 cores=0,2,4,6
/proc/19824/task/19830/stat : 19830 (java) S 19822 19822 13358 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 155356732 14314082304 6944 33554432000 4194304 4196468 140723414548272 140540467951984 140540926589570 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38780928 140723414553751 140723414553927 140723414553927 140723414556623 0
[pid=19824/tid=19831] ppid=19822 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/19824/task/19831/stat : 19831 (java) S 19822 19822 13358 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 155356733 14314082304 6944 33554432000 4194304 4196468 140723414548272 140540466897952 140540926588629 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38780928 140723414553751 140723414553927 140723414553927 140723414556623 0
[pid=19824/tid=19832] ppid=19822 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19824/task/19832/stat : 19832 (java) S 19822 19822 13358 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 155356733 14314082304 6944 33554432000 4194304 4196468 140723414548272 140540465845104 140540926588629 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38780928 140723414553751 140723414553927 140723414553927 140723414556623 0
[pid=19824/tid=19833] ppid=19822 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19824/task/19833/stat : 19833 (java) S 19822 19822 13358 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 155356735 14314082304 6944 33554432000 4194304 4196468 140723414548272 140540464793424 140540926597019 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38780928 140723414553751 140723414553927 140723414553927 140723414556623 0
[pid=19824/tid=19834] ppid=19822 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19824/task/19834/stat : 19834 (java) S 19822 19822 13358 0 -1 1077944384 421 0 0 0 0 0 0 0 20 0 15 0 155356736 14314082304 6944 33554432000 4194304 4196468 140723414548272 140540463741808 140540926589570 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38780928 140723414553751 140723414553927 140723414553927 140723414556623 0
[pid=19824/tid=19835] ppid=19822 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/19824/task/19835/stat : 19835 (java) S 19822 19822 13358 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 155356736 14314082304 6944 33554432000 4194304 4196468 140723414548272 140540462689008 140540926589570 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38780928 140723414553751 140723414553927 140723414553927 140723414556623 0
[pid=19824/tid=19836] ppid=19822 vsize=13978596 memory=140211216156288 CPUtime=0.01 cores=0,2,4,6
/proc/19824/task/19836/stat : 19836 (java) R 19822 19822 13358 0 -1 4202560 255 0 0 0 1 0 0 0 20 0 15 0 155356736 14314082304 6944 33554432000 4194304 4196468 140723414548272 140540461636208 140540926592301 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38780928 140723414553751 140723414553927 140723414553927 140723414556623 0
[pid=19824/tid=19837] ppid=19822 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/19824/task/19837/stat : 19837 (java) S 19822 19822 13358 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 155356736 14314082304 6944 33554432000 4194304 4196468 140723414548272 140540460583648 140540926588629 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38780928 140723414553751 140723414553927 140723414553927 140723414556623 0
[pid=19824/tid=19838] ppid=19822 vsize=13978596 memory=140211216156288 CPUtime=0 cores=0,2,4,6
/proc/19824/task/19838/stat : 19838 (java) S 19822 19822 13358 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 155356736 14314082304 6944 33554432000 4194304 4196468 140723414548272 140540459530928 140540926589570 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38780928 140723414553751 140723414553927 140723414553927 140723414556623 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 13988108 KiB
Current children cumulated memory: 29160 KiB

[startup+0.218897 s]*
/proc/loadavg: 1.49 1.49 1.51 3/217 19838
/proc/meminfo: memFree=24802228/32770624 swapFree=67108860/67108860
[pid=19822] ppid=19819 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/19822/stat : 19822 (xcsp3-exec) S 19819 19822 13358 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 155356730 9740288 346 33554432000 4194304 5098028 140722213014976 140722213013080 140326556209788 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 20287488 140722213020782 140722213020987 140722213020987 140722213023723 0
/proc/19822/statm: 2378 346 289 221 0 87 0
[pid=19824] ppid=19822 vsize=13982852 memory=40308 CPUtime=0.34 cores=0,2,4,6
/proc/19824/stat : 19824 (java) S 19822 19822 13358 0 -1 1077944320 8196 0 0 0 32 2 0 0 20 0 15 0 155356730 14318440448 10077 33554432000 4194304 4196468 140723414548272 140723414530816 140540926578423 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 38780928 140723414553751 140723414553927 140723414553927 140723414556623 0
/proc/19824/statm: 3495713 10077 3071 1 0 3482966 0
[pid=19824/tid=19825] ppid=19822 vsize=13982852 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/19824/task/19825/stat : 19825 (java) R 19822 19822 13358 0 -1 4202560 5373 0 0 0 19 1 0 0 20 0 15 0 155356730 14318440448 10077 33554432000 4194304 4196468 140723414548272 140540930801760 140540926600349 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38780928 140723414553751 140723414553927 140723414553927 140723414556623 0
[pid=19824/tid=19826] ppid=19822 vsize=13982852 memory=2898 CPUtime=0 cores=0,2,4,6
/proc/19824/task/19826/stat : 19826 (java) S 19822 19822 13358 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 155356731 14318440448 10077 33554432000 4194304 4196468 140723414548272 140540864179344 140540926588629 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38780928 140723414553751 140723414553927 140723414553927 140723414556623 0
[pid=19824/tid=19827] ppid=19822 vsize=13982852 memory=3473877020507604640 CPUtime=0 cores=0,2,4,6
/proc/19824/task/19827/stat : 19827 (java) S 19822 19822 13358 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 155356731 14318440448 10077 33554432000 4194304 4196468 140723414548272 140540863126544 140540926588629 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38780928 140723414553751 140723414553927 140723414553927 140723414556623 0
[pid=19824/tid=19828] ppid=19822 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19824/task/19828/stat : 19828 (java) S 19822 19822 13358 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 155356731 14318440448 10077 33554432000 4194304 4196468 140723414548272 140540862073744 140540926588629 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38780928 140723414553751 140723414553927 140723414553927 140723414556623 0
[pid=19824/tid=19829] ppid=19822 vsize=13982852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/19824/task/19829/stat : 19829 (java) S 19822 19822 13358 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 155356731 14318440448 10077 33554432000 4194304 4196468 140723414548272 140540861020944 140540926588629 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38780928 140723414553751 140723414553927 140723414553927 140723414556623 0
[pid=19824/tid=19830] ppid=19822 vsize=13982852 memory=140211216156288 CPUtime=0 cores=0,2,4,6
/proc/19824/task/19830/stat : 19830 (java) S 19822 19822 13358 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 155356732 14318440448 10077 33554432000 4194304 4196468 140723414548272 140540467951984 140540926589570 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38780928 140723414553751 140723414553927 140723414553927 140723414556623 0
[pid=19824/tid=19831] ppid=19822 vsize=13982852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/19824/task/19831/stat : 19831 (java) S 19822 19822 13358 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 155356733 14318440448 10077 33554432000 4194304 4196468 140723414548272 140540466897952 140540926588629 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38780928 140723414553751 140723414553927 140723414553927 140723414556623 0
[pid=19824/tid=19832] ppid=19822 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19824/task/19832/stat : 19832 (java) S 19822 19822 13358 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 155356733 14318440448 10077 33554432000 4194304 4196468 140723414548272 140540465845104 140540926588629 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38780928 140723414553751 140723414553927 140723414553927 140723414556623 0
[pid=19824/tid=19833] ppid=19822 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19824/task/19833/stat : 19833 (java) S 19822 19822 13358 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 155356735 14318440448 10077 33554432000 4194304 4196468 140723414548272 140540464793424 140540926597019 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38780928 140723414553751 140723414553927 140723414553927 140723414556623 0
[pid=19824/tid=19834] ppid=19822 vsize=13982852 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/19824/task/19834/stat : 19834 (java) S 19822 19822 13358 0 -1 1077944384 621 0 0 0 2 0 0 0 20 0 15 0 155356736 14318440448 10077 33554432000 4194304 4196468 140723414548272 140540463741808 140540926589570 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38780928 140723414553751 140723414553927 140723414553927 140723414556623 0
[pid=19824/tid=19835] ppid=19822 vsize=13982852 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/19824/task/19835/stat : 19835 (java) S 19822 19822 13358 0 -1 1077944384 144 0 0 0 2 0 0 0 20 0 15 0 155356736 14318440448 10077 33554432000 4194304 4196468 140723414548272 140540462689008 140540926589570 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38780928 140723414553751 140723414553927 140723414553927 140723414556623 0
[pid=19824/tid=19836] ppid=19822 vsize=13982852 memory=140211216156288 CPUtime=0.08 cores=0,2,4,6
/proc/19824/task/19836/stat : 19836 (java) S 19822 19822 13358 0 -1 1077944384 757 0 0 0 8 0 0 0 20 0 15 0 155356736 14318440448 10077 33554432000 4194304 4196468 140723414548272 140540461636208 140540926589570 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38780928 140723414553751 140723414553927 140723414553927 140723414556623 0
[pid=19824/tid=19837] ppid=19822 vsize=13982852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/19824/task/19837/stat : 19837 (java) S 19822 19822 13358 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 155356736 14318440448 10077 33554432000 4194304 4196468 140723414548272 140540460583648 140540926588629 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38780928 140723414553751 140723414553927 140723414553927 140723414556623 0
[pid=19824/tid=19838] ppid=19822 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19824/task/19838/stat : 19838 (java) S 19822 19822 13358 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 155356736 14318440448 10077 33554432000 4194304 4196468 140723414548272 140540459530928 140540926589570 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38780928 140723414553751 140723414553927 140723414553927 140723414556623 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 41692 KiB

[startup+0.310519 s]*
/proc/loadavg: 1.49 1.49 1.51 3/217 19838
/proc/meminfo: memFree=24795404/32770624 swapFree=67108860/67108860
[pid=19822] ppid=19819 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/19822/stat : 19822 (xcsp3-exec) S 19819 19822 13358 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 155356730 9740288 346 33554432000 4194304 5098028 140722213014976 140722213013080 140326556209788 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 20287488 140722213020782 140722213020987 140722213020987 140722213023723 0
/proc/19822/statm: 2378 346 289 221 0 87 0
[pid=19824] ppid=19822 vsize=13982852 memory=47208 CPUtime=0.49 cores=0,2,4,6
/proc/19824/stat : 19824 (java) S 19822 19822 13358 0 -1 1077944320 8980 0 0 0 46 3 0 0 20 0 15 0 155356730 14318440448 11802 33554432000 4194304 4196468 140723414548272 140723414530816 140540926578423 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 38780928 140723414553751 140723414553927 140723414553927 140723414556623 0
/proc/19824/statm: 3495713 11802 3093 1 0 3482966 0
[pid=19824/tid=19825] ppid=19822 vsize=13982852 memory=6791534058613427641 CPUtime=0.29 cores=0,2,4,6
/proc/19824/task/19825/stat : 19825 (java) R 19822 19822 13358 0 -1 4202560 5935 0 0 0 27 2 0 0 20 0 15 0 155356730 14318440448 11802 33554432000 4194304 4196468 140723414548272 140540930804656 140540910658910 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38780928 140723414553751 140723414553927 140723414553927 140723414556623 0
[pid=19824/tid=19826] ppid=19822 vsize=13982852 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/19824/task/19826/stat : 19826 (java) S 19822 19822 13358 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 155356731 14318440448 11802 33554432000 4194304 4196468 140723414548272 140540864179344 140540926588629 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38780928 140723414553751 140723414553927 140723414553927 140723414556623 0
[pid=19824/tid=19827] ppid=19822 vsize=13982852 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/19824/task/19827/stat : 19827 (java) S 19822 19822 13358 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 155356731 14318440448 11802 33554432000 4194304 4196468 140723414548272 140540863126544 140540926588629 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38780928 140723414553751 140723414553927 140723414553927 140723414556623 0
[pid=19824/tid=19828] ppid=19822 vsize=13982852 memory=-3258418265892434876 CPUtime=0 cores=0,2,4,6
/proc/19824/task/19828/stat : 19828 (java) S 19822 19822 13358 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 155356731 14318440448 11802 33554432000 4194304 4196468 140723414548272 140540862073744 140540926588629 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38780928 140723414553751 140723414553927 140723414553927 140723414556623 0
[pid=19824/tid=19829] ppid=19822 vsize=13982852 memory=4500088472188524148 CPUtime=0 cores=0,2,4,6
/proc/19824/task/19829/stat : 19829 (java) S 19822 19822 13358 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 155356731 14318440448 11802 33554432000 4194304 4196468 140723414548272 140540861020944 140540926588629 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38780928 140723414553751 140723414553927 140723414553927 140723414556623 0
[pid=19824/tid=19830] ppid=19822 vsize=13982852 memory=6944613755495348631 CPUtime=0 cores=0,2,4,6
/proc/19824/task/19830/stat : 19830 (java) S 19822 19822 13358 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 155356732 14318440448 11802 33554432000 4194304 4196468 140723414548272 140540467951984 140540926589570 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38780928 140723414553751 140723414553927 140723414553927 140723414556623 0
[pid=19824/tid=19831] ppid=19822 vsize=13982852 memory=7893295687695687954 CPUtime=0 cores=0,2,4,6
/proc/19824/task/19831/stat : 19831 (java) S 19822 19822 13358 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 155356733 14318440448 11802 33554432000 4194304 4196468 140723414548272 140540466897952 140540926588629 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38780928 140723414553751 140723414553927 140723414553927 140723414556623 0
[pid=19824/tid=19832] ppid=19822 vsize=13982852 memory=-8813974798734826869 CPUtime=0 cores=0,2,4,6
/proc/19824/task/19832/stat : 19832 (java) S 19822 19822 13358 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 155356733 14318440448 11802 33554432000 4194304 4196468 140723414548272 140540465845104 140540926588629 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38780928 140723414553751 140723414553927 140723414553927 140723414556623 0
[pid=19824/tid=19833] ppid=19822 vsize=13982852 memory=-6664436420846796947 CPUtime=0 cores=0,2,4,6
/proc/19824/task/19833/stat : 19833 (java) S 19822 19822 13358 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 155356735 14318440448 11802 33554432000 4194304 4196468 140723414548272 140540464793424 140540926597019 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38780928 140723414553751 140723414553927 140723414553927 140723414556623 0
[pid=19824/tid=19834] ppid=19822 vsize=13982852 memory=4713750055892520310 CPUtime=0.03 cores=0,2,4,6
/proc/19824/task/19834/stat : 19834 (java) R 19822 19822 13358 0 -1 4202560 630 0 0 0 3 0 0 0 20 0 15 0 155356736 14318440448 11802 33554432000 4194304 4196468 140723414548272 140540463741808 140540909965645 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38780928 140723414553751 140723414553927 140723414553927 140723414556623 0
[pid=19824/tid=19835] ppid=19822 vsize=13982852 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/19824/task/19835/stat : 19835 (java) S 19822 19822 13358 0 -1 1077944384 249 0 0 0 3 0 0 0 20 0 15 0 155356736 14318440448 11802 33554432000 4194304 4196468 140723414548272 140540462689008 140540926589570 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38780928 140723414553751 140723414553927 140723414553927 140723414556623 0
[pid=19824/tid=19836] ppid=19822 vsize=13982852 memory=0 CPUtime=0.11 cores=0,2,4,6
/proc/19824/task/19836/stat : 19836 (java) S 19822 19822 13358 0 -1 1077944384 869 0 0 0 11 0 0 0 20 0 15 0 155356736 14318440448 11802 33554432000 4194304 4196468 140723414548272 140540461636208 140540926589570 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38780928 140723414553751 140723414553927 140723414553927 140723414556623 0
[pid=19824/tid=19837] ppid=19822 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19824/task/19837/stat : 19837 (java) S 19822 19822 13358 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 155356736 14318440448 11802 33554432000 4194304 4196468 140723414548272 140540460583648 140540926588629 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38780928 140723414553751 140723414553927 140723414553927 140723414556623 0
[pid=19824/tid=19838] ppid=19822 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19824/task/19838/stat : 19838 (java) S 19822 19822 13358 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 155356736 14318440448 11802 33554432000 4194304 4196468 140723414548272 140540459530928 140540926589570 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38780928 140723414553751 140723414553927 140723414553927 140723414556623 0
Current children cumulated CPU time: 0.49 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 48592 KiB

[startup+0.700926 s]
/proc/loadavg: 1.49 1.49 1.51 7/217 19838
/proc/meminfo: memFree=24770408/32770624 swapFree=67108860/67108860
[pid=19822] ppid=19819 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/19822/stat : 19822 (xcsp3-exec) S 19819 19822 13358 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 155356730 9740288 346 33554432000 4194304 5098028 140722213014976 140722213013080 140326556209788 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 20287488 140722213020782 140722213020987 140722213020987 140722213023723 0
/proc/19822/statm: 2378 346 289 221 0 87 0
[pid=19824] ppid=19822 vsize=13982928 memory=211520 CPUtime=1.66 cores=0,2,4,6
/proc/19824/stat : 19824 (java) S 19822 19822 13358 0 -1 1077944320 11232 0 0 0 155 11 0 0 20 0 15 0 155356730 14318518272 52880 33554432000 4194304 4196468 140723414548272 140723414530816 140540926578423 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 38780928 140723414553751 140723414553927 140723414553927 140723414556623 0
/proc/19824/statm: 3495732 52880 3204 1 0 3482966 0
[pid=19824/tid=19825] ppid=19822 vsize=13982928 memory=3472328296227679313 CPUtime=0.64 cores=0,2,4,6
/proc/19824/task/19825/stat : 19825 (java) S 19822 19822 13358 0 -1 1077944384 6371 0 0 0 60 4 0 0 20 0 15 0 155356730 14318518272 52880 33554432000 4194304 4196468 140723414548272 140540930816304 140540926588629 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38780928 140723414553751 140723414553927 140723414553927 140723414556623 0
[pid=19824/tid=19826] ppid=19822 vsize=13982928 memory=-7816663703405220396 CPUtime=0.01 cores=0,2,4,6
/proc/19824/task/19826/stat : 19826 (java) R 19822 19822 13358 0 -1 4202560 18 0 0 0 0 1 0 0 20 0 15 0 155356731 14318518272 52880 33554432000 4194304 4196468 140723414548272 140540864177152 140540919678123 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38780928 140723414553751 140723414553927 140723414553927 140723414556623 0
[pid=19824/tid=19827] ppid=19822 vsize=13982928 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/19824/task/19827/stat : 19827 (java) R 19822 19822 13358 0 -1 4202560 25 0 0 0 0 1 0 0 20 0 15 0 155356731 14318518272 52880 33554432000 4194304 4196468 140723414548272 140540863126432 140540919678123 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 38780928 140723414553751 140723414553927 140723414553927 140723414556623 0
[pid=19824/tid=19828] ppid=19822 vsize=13982928 memory=43268 CPUtime=0.01 cores=0,2,4,6
/proc/19824/task/19828/stat : 19828 (java) R 19822 19822 13358 0 -1 4202560 27 0 0 0 0 1 0 0 20 0 15 0 155356731 14318518272 52880 33554432000 4194304 4196468 140723414548272 140540862073744 140540919678123 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38780928 140723414553751 140723414553927 140723414553927 140723414556623 0
[pid=19824/tid=19829] ppid=19822 vsize=13982928 memory=2332 CPUtime=0.01 cores=0,2,4,6
/proc/19824/task/19829/stat : 19829 (java) R 19822 19822 13358 0 -1 4202560 30 0 0 0 0 1 0 0 20 0 15 0 155356731 14318518272 52880 33554432000 4194304 4196468 140723414548272 140540861020944 140540919675124 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38780928 140723414553751 140723414553927 140723414553927 140723414556623 0
[pid=19824/tid=19830] ppid=19822 vsize=13982928 memory=1292 CPUtime=0 cores=0,2,4,6
/proc/19824/task/19830/stat : 19830 (java) S 19822 19822 13358 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 15 0 155356732 14318518272 52880 33554432000 4194304 4196468 140723414548272 140540467950496 140540926588629 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38780928 140723414553751 140723414553927 140723414553927 140723414556623 0
[pid=19824/tid=19831] ppid=19822 vsize=13982928 memory=1728 CPUtime=0 cores=0,2,4,6
/proc/19824/task/19831/stat : 19831 (java) S 19822 19822 13358 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 155356733 14318518272 52880 33554432000 4194304 4196468 140723414548272 140540466897952 140540926588629 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38780928 140723414553751 140723414553927 140723414553927 140723414556623 0
[pid=19824/tid=19832] ppid=19822 vsize=13982928 memory=5788 CPUtime=0 cores=0,2,4,6
/proc/19824/task/19832/stat : 19832 (java) S 19822 19822 13358 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 155356733 14318518272 52880 33554432000 4194304 4196468 140723414548272 140540465845104 140540926588629 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38780928 140723414553751 140723414553927 140723414553927 140723414556623 0
[pid=19824/tid=19833] ppid=19822 vsize=13982928 memory=1228 CPUtime=0 cores=0,2,4,6
/proc/19824/task/19833/stat : 19833 (java) S 19822 19822 13358 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 155356735 14318518272 52880 33554432000 4194304 4196468 140723414548272 140540464793424 140540926597019 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38780928 140723414553751 140723414553927 140723414553927 140723414556623 0
[pid=19824/tid=19834] ppid=19822 vsize=13982928 memory=796 CPUtime=0.32 cores=0,2,4,6
/proc/19824/task/19834/stat : 19834 (java) S 19822 19822 13358 0 -1 1077944384 1245 0 0 0 32 0 0 0 20 0 15 0 155356736 14318518272 52880 33554432000 4194304 4196468 140723414548272 140540463726704 140540926588629 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38780928 140723414553751 140723414553927 140723414553927 140723414556623 0
[pid=19824/tid=19835] ppid=19822 vsize=13982928 memory=10088 CPUtime=0.33 cores=0,2,4,6
/proc/19824/task/19835/stat : 19835 (java) S 19822 19822 13358 0 -1 1077944384 843 0 0 0 33 0 0 0 20 0 15 0 155356736 14318518272 52880 33554432000 4194304 4196468 140723414548272 140540462674000 140540926588629 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38780928 140723414553751 140723414553927 140723414553927 140723414556623 0
[pid=19824/tid=19836] ppid=19822 vsize=13982928 memory=1948 CPUtime=0.26 cores=0,2,4,6
/proc/19824/task/19836/stat : 19836 (java) S 19822 19822 13358 0 -1 1077944384 1365 0 0 0 26 0 0 0 20 0 15 0 155356736 14318518272 52880 33554432000 4194304 4196468 140723414548272 140540461632608 140540926588629 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38780928 140723414553751 140723414553927 140723414553927 140723414556623 0
[pid=19824/tid=19837] ppid=19822 vsize=13982928 memory=8584 CPUtime=0 cores=0,2,4,6
/proc/19824/task/19837/stat : 19837 (java) S 19822 19822 13358 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 155356736 14318518272 52880 33554432000 4194304 4196468 140723414548272 140540460583648 140540926588629 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38780928 140723414553751 140723414553927 140723414553927 140723414556623 0
[pid=19824/tid=19838] ppid=19822 vsize=13982928 memory=4616 CPUtime=0 cores=0,2,4,6
/proc/19824/task/19838/stat : 19838 (java) S 19822 19822 13358 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 155356736 14318518272 52880 33554432000 4194304 4196468 140723414548272 140540459530928 140540926589570 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38780928 140723414553751 140723414553927 140723414553927 140723414556623 0
Current children cumulated CPU time: 1.66 s
Current children cumulated vsize: 13992440 KiB
Current children cumulated memory: 212904 KiB

[startup+1.50071 s]
/proc/loadavg: 1.49 1.49 1.51 3/217 19838
/proc/meminfo: memFree=24571756/32770624 swapFree=67108860/67108860
[pid=19822] ppid=19819 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/19822/stat : 19822 (xcsp3-exec) S 19819 19822 13358 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 155356730 9740288 346 33554432000 4194304 5098028 140722213014976 140722213013080 140326556209788 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 20287488 140722213020782 140722213020987 140722213020987 140722213023723 0
/proc/19822/statm: 2378 346 289 221 0 87 0

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

/proc/19822/stat : 19822 (xcsp3-exec) S 19819 19822 13358 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 155356730 9740288 346 33554432000 4194304 5098028 140722213014976 140722213013080 140326556209788 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 20287488 140722213020782 140722213020987 140722213020987 140722213023723 0
/proc/19822/statm: 2378 346 289 221 0 87 0
[pid=19824] ppid=19822 vsize=13984976 memory=272000 CPUtime=16.12 cores=0,2,4,6
/proc/19824/stat : 19824 (java) S 19822 19822 13358 0 -1 1077944320 17851 0 0 0 1593 19 0 0 20 0 15 0 155356730 14320615424 68000 33554432000 4194304 4196468 140723414548272 140723414530816 140540926578423 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 38780928 140723414553751 140723414553927 140723414553927 140723414556623 0
/proc/19824/statm: 3496244 68000 3234 1 0 3483478 0
[pid=19824/tid=19825] ppid=19822 vsize=13984976 memory=0 CPUtime=14.3 cores=0,2,4,6
/proc/19824/task/19825/stat : 19825 (java) R 19822 19822 13358 0 -1 4202560 8890 0 0 0 1425 5 0 0 20 0 15 0 155356730 14320615424 68000 33554432000 4194304 4196468 140723414548272 140540930815400 140540544968522 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38780928 140723414553751 140723414553927 140723414553927 140723414556623 0
[pid=19824/tid=19826] ppid=19822 vsize=13984976 memory=352 CPUtime=0.04 cores=0,2,4,6
/proc/19824/task/19826/stat : 19826 (java) S 19822 19822 13358 0 -1 1077944384 45 0 0 0 2 2 0 0 20 0 15 0 155356731 14320615424 68000 33554432000 4194304 4196468 140723414548272 140540864179344 140540926588629 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38780928 140723414553751 140723414553927 140723414553927 140723414556623 0
[pid=19824/tid=19827] ppid=19822 vsize=13984976 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/19824/task/19827/stat : 19827 (java) S 19822 19822 13358 0 -1 1077944384 53 0 0 0 2 3 0 0 20 0 15 0 155356731 14320615424 68000 33554432000 4194304 4196468 140723414548272 140540863126544 140540926588629 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38780928 140723414553751 140723414553927 140723414553927 140723414556623 0
[pid=19824/tid=19828] ppid=19822 vsize=13984976 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/19824/task/19828/stat : 19828 (java) S 19822 19822 13358 0 -1 1077944384 54 0 0 0 2 3 0 0 20 0 15 0 155356731 14320615424 68000 33554432000 4194304 4196468 140723414548272 140540862073744 140540926588629 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38780928 140723414553751 140723414553927 140723414553927 140723414556623 0
[pid=19824/tid=19829] ppid=19822 vsize=13984976 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/19824/task/19829/stat : 19829 (java) S 19822 19822 13358 0 -1 1077944384 57 0 0 0 2 3 0 0 20 0 15 0 155356731 14320615424 68000 33554432000 4194304 4196468 140723414548272 140540861020944 140540926588629 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38780928 140723414553751 140723414553927 140723414553927 140723414556623 0
[pid=19824/tid=19830] ppid=19822 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19824/task/19830/stat : 19830 (java) S 19822 19822 13358 0 -1 1077944384 436 0 0 0 0 0 0 0 20 0 15 0 155356732 14320615424 68000 33554432000 4194304 4196468 140723414548272 140540467951984 140540926589570 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38780928 140723414553751 140723414553927 140723414553927 140723414556623 0
[pid=19824/tid=19831] ppid=19822 vsize=13984976 memory=63 CPUtime=0 cores=0,2,4,6
/proc/19824/task/19831/stat : 19831 (java) S 19822 19822 13358 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 155356733 14320615424 68000 33554432000 4194304 4196468 140723414548272 140540466897952 140540926588629 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38780928 140723414553751 140723414553927 140723414553927 140723414556623 0
[pid=19824/tid=19832] ppid=19822 vsize=13984976 memory=59 CPUtime=0 cores=0,2,4,6
/proc/19824/task/19832/stat : 19832 (java) S 19822 19822 13358 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 155356733 14320615424 68000 33554432000 4194304 4196468 140723414548272 140540465845104 140540926588629 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38780928 140723414553751 140723414553927 140723414553927 140723414556623 0
[pid=19824/tid=19833] ppid=19822 vsize=13984976 memory=34 CPUtime=0 cores=0,2,4,6
/proc/19824/task/19833/stat : 19833 (java) S 19822 19822 13358 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 155356735 14320615424 68000 33554432000 4194304 4196468 140723414548272 140540464793424 140540926597019 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38780928 140723414553751 140723414553927 140723414553927 140723414556623 0
[pid=19824/tid=19834] ppid=19822 vsize=13984976 memory=0 CPUtime=0.64 cores=0,2,4,6
/proc/19824/task/19834/stat : 19834 (java) S 19822 19822 13358 0 -1 1077944384 2365 0 0 0 64 0 0 0 20 0 15 0 155356736 14320615424 68000 33554432000 4194304 4196468 140723414548272 140540463741808 140540926589570 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38780928 140723414553751 140723414553927 140723414553927 140723414556623 0
[pid=19824/tid=19835] ppid=19822 vsize=13984976 memory=0 CPUtime=0.59 cores=0,2,4,6
/proc/19824/task/19835/stat : 19835 (java) S 19822 19822 13358 0 -1 1077944384 2669 0 0 0 59 0 0 0 20 0 15 0 155356736 14320615424 68000 33554432000 4194304 4196468 140723414548272 140540462689008 140540926589570 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38780928 140723414553751 140723414553927 140723414553927 140723414556623 0
[pid=19824/tid=19836] ppid=19822 vsize=13984976 memory=1384 CPUtime=0.34 cores=0,2,4,6
/proc/19824/task/19836/stat : 19836 (java) S 19822 19822 13358 0 -1 1077944384 1860 0 0 0 34 0 0 0 20 0 15 0 155356736 14320615424 68000 33554432000 4194304 4196468 140723414548272 140540461636208 140540926589570 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38780928 140723414553751 140723414553927 140723414553927 140723414556623 0
[pid=19824/tid=19837] ppid=19822 vsize=13984976 memory=272000 CPUtime=0 cores=0,2,4,6
/proc/19824/task/19837/stat : 19837 (java) S 19822 19822 13358 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 155356736 14320615424 68000 33554432000 4194304 4196468 140723414548272 140540460583648 140540926588629 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38780928 140723414553751 140723414553927 140723414553927 140723414556623 0
[pid=19824/tid=19838] ppid=19822 vsize=13984976 memory=1200 CPUtime=0 cores=0,2,4,6
/proc/19824/task/19838/stat : 19838 (java) S 19822 19822 13358 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 15 0 155356736 14320615424 68000 33554432000 4194304 4196468 140723414548272 140540459530928 140540926589570 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38780928 140723414553751 140723414553927 140723414553927 140723414556623 0
Current children cumulated CPU time: 16.12 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 273384 KiB

[startup+15.2008 s]
/proc/loadavg: 1.46 1.49 1.50 3/217 19838
/proc/meminfo: memFree=24570532/32770624 swapFree=67108860/67108860
[pid=19822] ppid=19819 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/19822/stat : 19822 (xcsp3-exec) S 19819 19822 13358 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 155356730 9740288 346 33554432000 4194304 5098028 140722213014976 140722213013080 140326556209788 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 20287488 140722213020782 140722213020987 140722213020987 140722213023723 0
/proc/19822/statm: 2378 346 289 221 0 87 0
[pid=19824] ppid=19822 vsize=13984976 memory=272008 CPUtime=16.94 cores=0,2,4,6
/proc/19824/stat : 19824 (java) S 19822 19822 13358 0 -1 1077944320 18585 0 0 0 1675 19 0 0 20 0 15 0 155356730 14320615424 68002 33554432000 4194304 4196468 140723414548272 140723414530816 140540926578423 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 38780928 140723414553751 140723414553927 140723414553927 140723414556623 0
/proc/19824/statm: 3496244 68002 3234 1 0 3483478 0
[pid=19824/tid=19825] ppid=19822 vsize=13984976 memory=271980 CPUtime=15.1 cores=0,2,4,6
/proc/19824/task/19825/stat : 19825 (java) R 19822 19822 13358 0 -1 4202560 8917 0 0 0 1505 5 0 0 20 0 15 0 155356730 14320615424 68002 33554432000 4194304 4196468 140723414548272 140540930815400 140540544968543 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38780928 140723414553751 140723414553927 140723414553927 140723414556623 0
[pid=19824/tid=19826] ppid=19822 vsize=13984976 memory=4132 CPUtime=0.04 cores=0,2,4,6
/proc/19824/task/19826/stat : 19826 (java) S 19822 19822 13358 0 -1 1077944384 45 0 0 0 2 2 0 0 20 0 15 0 155356731 14320615424 68002 33554432000 4194304 4196468 140723414548272 140540864179344 140540926588629 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38780928 140723414553751 140723414553927 140723414553927 140723414556623 0
[pid=19824/tid=19827] ppid=19822 vsize=13984976 memory=43268 CPUtime=0.05 cores=0,2,4,6
/proc/19824/task/19827/stat : 19827 (java) S 19822 19822 13358 0 -1 1077944384 53 0 0 0 2 3 0 0 20 0 15 0 155356731 14320615424 68002 33554432000 4194304 4196468 140723414548272 140540863126544 140540926588629 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38780928 140723414553751 140723414553927 140723414553927 140723414556623 0
[pid=19824/tid=19828] ppid=19822 vsize=13984976 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/19824/task/19828/stat : 19828 (java) S 19822 19822 13358 0 -1 1077944384 54 0 0 0 2 3 0 0 20 0 15 0 155356731 14320615424 68002 33554432000 4194304 4196468 140723414548272 140540862073744 140540926588629 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38780928 140723414553751 140723414553927 140723414553927 140723414556623 0
[pid=19824/tid=19829] ppid=19822 vsize=13984976 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/19824/task/19829/stat : 19829 (java) S 19822 19822 13358 0 -1 1077944384 57 0 0 0 2 3 0 0 20 0 15 0 155356731 14320615424 68002 33554432000 4194304 4196468 140723414548272 140540861020944 140540926588629 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38780928 140723414553751 140723414553927 140723414553927 140723414556623 0
[pid=19824/tid=19830] ppid=19822 vsize=13984976 memory=43268 CPUtime=0 cores=0,2,4,6
/proc/19824/task/19830/stat : 19830 (java) S 19822 19822 13358 0 -1 1077944384 436 0 0 0 0 0 0 0 20 0 15 0 155356732 14320615424 68002 33554432000 4194304 4196468 140723414548272 140540467951984 140540926589570 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38780928 140723414553751 140723414553927 140723414553927 140723414556623 0
[pid=19824/tid=19831] ppid=19822 vsize=13984976 memory=2332 CPUtime=0 cores=0,2,4,6
/proc/19824/task/19831/stat : 19831 (java) S 19822 19822 13358 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 155356733 14320615424 68002 33554432000 4194304 4196468 140723414548272 140540466897952 140540926588629 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38780928 140723414553751 140723414553927 140723414553927 140723414556623 0
[pid=19824/tid=19832] ppid=19822 vsize=13984976 memory=1292 CPUtime=0 cores=0,2,4,6
/proc/19824/task/19832/stat : 19832 (java) S 19822 19822 13358 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 155356733 14320615424 68002 33554432000 4194304 4196468 140723414548272 140540465845104 140540926588629 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38780928 140723414553751 140723414553927 140723414553927 140723414556623 0
[pid=19824/tid=19833] ppid=19822 vsize=13984976 memory=1728 CPUtime=0 cores=0,2,4,6
/proc/19824/task/19833/stat : 19833 (java) S 19822 19822 13358 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 155356735 14320615424 68002 33554432000 4194304 4196468 140723414548272 140540464793424 140540926597019 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38780928 140723414553751 140723414553927 140723414553927 140723414556623 0
[pid=19824/tid=19834] ppid=19822 vsize=13984976 memory=5788 CPUtime=0.66 cores=0,2,4,6
/proc/19824/task/19834/stat : 19834 (java) S 19822 19822 13358 0 -1 1077944384 2971 0 0 0 66 0 0 0 20 0 15 0 155356736 14320615424 68002 33554432000 4194304 4196468 140723414548272 140540463741808 140540926589570 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38780928 140723414553751 140723414553927 140723414553927 140723414556623 0
[pid=19824/tid=19835] ppid=19822 vsize=13984976 memory=1228 CPUtime=0.59 cores=0,2,4,6
/proc/19824/task/19835/stat : 19835 (java) S 19822 19822 13358 0 -1 1077944384 2669 0 0 0 59 0 0 0 20 0 15 0 155356736 14320615424 68002 33554432000 4194304 4196468 140723414548272 140540462689008 140540926589570 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38780928 140723414553751 140723414553927 140723414553927 140723414556623 0
[pid=19824/tid=19836] ppid=19822 vsize=13984976 memory=796 CPUtime=0.34 cores=0,2,4,6
/proc/19824/task/19836/stat : 19836 (java) S 19822 19822 13358 0 -1 1077944384 1956 0 0 0 34 0 0 0 20 0 15 0 155356736 14320615424 68002 33554432000 4194304 4196468 140723414548272 140540461636208 140540926589570 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38780928 140723414553751 140723414553927 140723414553927 140723414556623 0
[pid=19824/tid=19837] ppid=19822 vsize=13984976 memory=10088 CPUtime=0 cores=0,2,4,6
/proc/19824/task/19837/stat : 19837 (java) S 19822 19822 13358 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 155356736 14320615424 68002 33554432000 4194304 4196468 140723414548272 140540460583648 140540926588629 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38780928 140723414553751 140723414553927 140723414553927 140723414556623 0
[pid=19824/tid=19838] ppid=19822 vsize=13984976 memory=1792 CPUtime=0 cores=0,2,4,6
/proc/19824/task/19838/stat : 19838 (java) S 19822 19822 13358 0 -1 1077944384 129 0 0 0 0 0 0 0 20 0 15 0 155356736 14320615424 68002 33554432000 4194304 4196468 140723414548272 140540459530928 140540926589570 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38780928 140723414553751 140723414553927 140723414553927 140723414556623 0
Current children cumulated CPU time: 16.94 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 273392 KiB

[startup+15.6008 s]
/proc/loadavg: 1.46 1.49 1.50 3/217 19838
/proc/meminfo: memFree=24570532/32770624 swapFree=67108860/67108860
[pid=19822] ppid=19819 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/19822/stat : 19822 (xcsp3-exec) S 19819 19822 13358 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 155356730 9740288 346 33554432000 4194304 5098028 140722213014976 140722213013080 140326556209788 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 20287488 140722213020782 140722213020987 140722213020987 140722213023723 0
/proc/19822/statm: 2378 346 289 221 0 87 0
[pid=19824] ppid=19822 vsize=13984976 memory=272032 CPUtime=17.35 cores=0,2,4,6
/proc/19824/stat : 19824 (java) S 19822 19822 13358 0 -1 1077944320 18649 0 0 0 1716 19 0 0 20 0 15 0 155356730 14320615424 68008 33554432000 4194304 4196468 140723414548272 140723414530816 140540926578423 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 38780928 140723414553751 140723414553927 140723414553927 140723414556623 0
/proc/19824/statm: 3496244 68008 3234 1 0 3483478 0
[pid=19824/tid=19825] ppid=19822 vsize=13984976 memory=2332 CPUtime=15.5 cores=0,2,4,6
/proc/19824/task/19825/stat : 19825 (java) R 19822 19822 13358 0 -1 4202560 8921 0 0 0 1545 5 0 0 20 0 15 0 155356730 14320615424 68008 33554432000 4194304 4196468 140723414548272 140540930815560 140540544968427 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38780928 140723414553751 140723414553927 140723414553927 140723414556623 0
[pid=19824/tid=19826] ppid=19822 vsize=13984976 memory=1292 CPUtime=0.04 cores=0,2,4,6
/proc/19824/task/19826/stat : 19826 (java) S 19822 19822 13358 0 -1 1077944384 45 0 0 0 2 2 0 0 20 0 15 0 155356731 14320615424 68008 33554432000 4194304 4196468 140723414548272 140540864179344 140540926588629 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38780928 140723414553751 140723414553927 140723414553927 140723414556623 0
[pid=19824/tid=19827] ppid=19822 vsize=13984976 memory=1728 CPUtime=0.05 cores=0,2,4,6
/proc/19824/task/19827/stat : 19827 (java) S 19822 19822 13358 0 -1 1077944384 53 0 0 0 2 3 0 0 20 0 15 0 155356731 14320615424 68008 33554432000 4194304 4196468 140723414548272 140540863126544 140540926588629 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38780928 140723414553751 140723414553927 140723414553927 140723414556623 0
[pid=19824/tid=19828] ppid=19822 vsize=13984976 memory=5788 CPUtime=0.05 cores=0,2,4,6
/proc/19824/task/19828/stat : 19828 (java) S 19822 19822 13358 0 -1 1077944384 54 0 0 0 2 3 0 0 20 0 15 0 155356731 14320615424 68008 33554432000 4194304 4196468 140723414548272 140540862073744 140540926588629 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38780928 140723414553751 140723414553927 140723414553927 140723414556623 0
[pid=19824/tid=19829] ppid=19822 vsize=13984976 memory=6791534058613427641 CPUtime=0.05 cores=0,2,4,6
/proc/19824/task/19829/stat : 19829 (java) S 19822 19822 13358 0 -1 1077944384 57 0 0 0 2 3 0 0 20 0 15 0 155356731 14320615424 68008 33554432000 4194304 4196468 140723414548272 140540861020944 140540926588629 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38780928 140723414553751 140723414553927 140723414553927 140723414556623 0
[pid=19824/tid=19830] ppid=19822 vsize=13984976 memory=4040 CPUtime=0 cores=0,2,4,6
/proc/19824/task/19830/stat : 19830 (java) S 19822 19822 13358 0 -1 1077944384 436 0 0 0 0 0 0 0 20 0 15 0 155356732 14320615424 68008 33554432000 4194304 4196468 140723414548272 140540467951984 140540926589570 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38780928 140723414553751 140723414553927 140723414553927 140723414556623 0
[pid=19824/tid=19831] ppid=19822 vsize=13984976 memory=24628 CPUtime=0 cores=0,2,4,6
/proc/19824/task/19831/stat : 19831 (java) S 19822 19822 13358 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 155356733 14320615424 68008 33554432000 4194304 4196468 140723414548272 140540466897952 140540926588629 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38780928 140723414553751 140723414553927 140723414553927 140723414556623 0
[pid=19824/tid=19832] ppid=19822 vsize=13984976 memory=18292 CPUtime=0 cores=0,2,4,6
/proc/19824/task/19832/stat : 19832 (java) S 19822 19822 13358 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 155356733 14320615424 68008 33554432000 4194304 4196468 140723414548272 140540465845104 140540926588629 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38780928 140723414553751 140723414553927 140723414553927 140723414556623 0
[pid=19824/tid=19833] ppid=19822 vsize=13984976 memory=1792 CPUtime=0 cores=0,2,4,6
/proc/19824/task/19833/stat : 19833 (java) S 19822 19822 13358 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 155356735 14320615424 68008 33554432000 4194304 4196468 140723414548272 140540464793424 140540926597019 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38780928 140723414553751 140723414553927 140723414553927 140723414556623 0
[pid=19824/tid=19834] ppid=19822 vsize=13984976 memory=648 CPUtime=0.66 cores=0,2,4,6
/proc/19824/task/19834/stat : 19834 (java) S 19822 19822 13358 0 -1 1077944384 2999 0 0 0 66 0 0 0 20 0 15 0 155356736 14320615424 68008 33554432000 4194304 4196468 140723414548272 140540463741808 140540926589570 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38780928 140723414553751 140723414553927 140723414553927 140723414556623 0
[pid=19824/tid=19835] ppid=19822 vsize=13984976 memory=5305 CPUtime=0.59 cores=0,2,4,6
/proc/19824/task/19835/stat : 19835 (java) S 19822 19822 13358 0 -1 1077944384 2701 0 0 0 59 0 0 0 20 0 15 0 155356736 14320615424 68008 33554432000 4194304 4196468 140723414548272 140540462689008 140540926589570 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38780928 140723414553751 140723414553927 140723414553927 140723414556623 0
[pid=19824/tid=19836] ppid=19822 vsize=13984976 memory=200 CPUtime=0.34 cores=0,2,4,6
/proc/19824/task/19836/stat : 19836 (java) S 19822 19822 13358 0 -1 1077944384 1956 0 0 0 34 0 0 0 20 0 15 0 155356736 14320615424 68008 33554432000 4194304 4196468 140723414548272 140540461636208 140540926589570 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38780928 140723414553751 140723414553927 140723414553927 140723414556623 0
[pid=19824/tid=19837] ppid=19822 vsize=13984976 memory=470 CPUtime=0 cores=0,2,4,6
/proc/19824/task/19837/stat : 19837 (java) S 19822 19822 13358 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 155356736 14320615424 68008 33554432000 4194304 4196468 140723414548272 140540460583648 140540926588629 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38780928 140723414553751 140723414553927 140723414553927 140723414556623 0
[pid=19824/tid=19838] ppid=19822 vsize=13984976 memory=1577 CPUtime=0 cores=0,2,4,6
/proc/19824/task/19838/stat : 19838 (java) S 19822 19822 13358 0 -1 1077944384 129 0 0 0 0 0 0 0 20 0 15 0 155356736 14320615424 68008 33554432000 4194304 4196468 140723414548272 140540459530928 140540926589570 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38780928 140723414553751 140723414553927 140723414553927 140723414556623 0
Current children cumulated CPU time: 17.35 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 273416 KiB

[startup+16.0008 s]*
/proc/loadavg: 1.46 1.49 1.50 3/217 19838
/proc/meminfo: memFree=24570532/32770624 swapFree=67108860/67108860
[pid=19822] ppid=19819 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/19822/stat : 19822 (xcsp3-exec) S 19819 19822 13358 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 155356730 9740288 346 33554432000 4194304 5098028 140722213014976 140722213013080 140326556209788 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 20287488 140722213020782 140722213020987 140722213020987 140722213023723 0
/proc/19822/statm: 2378 346 289 221 0 87 0
[pid=19824] ppid=19822 vsize=13984976 memory=272032 CPUtime=17.77 cores=0,2,4,6
/proc/19824/stat : 19824 (java) S 19822 19822 13358 0 -1 1077944320 18660 0 0 0 1758 19 0 0 20 0 15 0 155356730 14320615424 68008 33554432000 4194304 4196468 140723414548272 140723414530816 140540926578423 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 38780928 140723414553751 140723414553927 140723414553927 140723414556623 0
/proc/19824/statm: 3496244 68008 3234 1 0 3483478 0
[pid=19824/tid=19825] ppid=19822 vsize=13984976 memory=6791534058613427641 CPUtime=15.91 cores=0,2,4,6
/proc/19824/task/19825/stat : 19825 (java) R 19822 19822 13358 0 -1 4202560 8921 0 0 0 1586 5 0 0 20 0 15 0 155356730 14320615424 68008 33554432000 4194304 4196468 140723414548272 140540930815560 140540544968583 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38780928 140723414553751 140723414553927 140723414553927 140723414556623 0
[pid=19824/tid=19826] ppid=19822 vsize=13984976 memory=4872558044660077418 CPUtime=0.04 cores=0,2,4,6
/proc/19824/task/19826/stat : 19826 (java) S 19822 19822 13358 0 -1 1077944384 45 0 0 0 2 2 0 0 20 0 15 0 155356731 14320615424 68008 33554432000 4194304 4196468 140723414548272 140540864179344 140540926588629 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38780928 140723414553751 140723414553927 140723414553927 140723414556623 0
[pid=19824/tid=19827] ppid=19822 vsize=13984976 memory=-7306621386512690031 CPUtime=0.05 cores=0,2,4,6
/proc/19824/task/19827/stat : 19827 (java) S 19822 19822 13358 0 -1 1077944384 53 0 0 0 2 3 0 0 20 0 15 0 155356731 14320615424 68008 33554432000 4194304 4196468 140723414548272 140540863126544 140540926588629 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38780928 140723414553751 140723414553927 140723414553927 140723414556623 0
[pid=19824/tid=19828] ppid=19822 vsize=13984976 memory=5787220445994897765 CPUtime=0.05 cores=0,2,4,6
/proc/19824/task/19828/stat : 19828 (java) S 19822 19822 13358 0 -1 1077944384 54 0 0 0 2 3 0 0 20 0 15 0 155356731 14320615424 68008 33554432000 4194304 4196468 140723414548272 140540862073744 140540926588629 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38780928 140723414553751 140723414553927 140723414553927 140723414556623 0
[pid=19824/tid=19829] ppid=19822 vsize=13984976 memory=7306616923589534805 CPUtime=0.05 cores=0,2,4,6
/proc/19824/task/19829/stat : 19829 (java) S 19822 19822 13358 0 -1 1077944384 57 0 0 0 2 3 0 0 20 0 15 0 155356731 14320615424 68008 33554432000 4194304 4196468 140723414548272 140540861020944 140540926588629 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38780928 140723414553751 140723414553927 140723414553927 140723414556623 0
[pid=19824/tid=19830] ppid=19822 vsize=13984976 memory=7084270341322007360 CPUtime=0 cores=0,2,4,6
/proc/19824/task/19830/stat : 19830 (java) S 19822 19822 13358 0 -1 1077944384 436 0 0 0 0 0 0 0 20 0 15 0 155356732 14320615424 68008 33554432000 4194304 4196468 140723414548272 140540467951984 140540926589570 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38780928 140723414553751 140723414553927 140723414553927 140723414556623 0
[pid=19824/tid=19831] ppid=19822 vsize=13984976 memory=7518870977877862993 CPUtime=0 cores=0,2,4,6
/proc/19824/task/19831/stat : 19831 (java) S 19822 19822 13358 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 155356733 14320615424 68008 33554432000 4194304 4196468 140723414548272 140540466897952 140540926588629 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38780928 140723414553751 140723414553927 140723414553927 140723414556623 0
[pid=19824/tid=19832] ppid=19822 vsize=13984976 memory=7151834291566044245 CPUtime=0 cores=0,2,4,6
/proc/19824/task/19832/stat : 19832 (java) S 19822 19822 13358 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 155356733 14320615424 68008 33554432000 4194304 4196468 140723414548272 140540465845104 140540926588629 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38780928 140723414553751 140723414553927 140723414553927 140723414556623 0
[pid=19824/tid=19833] ppid=19822 vsize=13984976 memory=4279353494069338944 CPUtime=0 cores=0,2,4,6
/proc/19824/task/19833/stat : 19833 (java) S 19822 19822 13358 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 155356735 14320615424 68008 33554432000 4194304 4196468 140723414548272 140540464793424 140540926597019 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38780928 140723414553751 140723414553927 140723414553927 140723414556623 0
[pid=19824/tid=19834] ppid=19822 vsize=13984976 memory=6940425714409816164 CPUtime=0.66 cores=0,2,4,6
/proc/19824/task/19834/stat : 19834 (java) S 19822 19822 13358 0 -1 1077944384 2999 0 0 0 66 0 0 0 20 0 15 0 155356736 14320615424 68008 33554432000 4194304 4196468 140723414548272 140540463741808 140540926589570 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38780928 140723414553751 140723414553927 140723414553927 140723414556623 0
[pid=19824/tid=19835] ppid=19822 vsize=13984976 memory=7156589670649974873 CPUtime=0.59 cores=0,2,4,6
/proc/19824/task/19835/stat : 19835 (java) S 19822 19822 13358 0 -1 1077944384 2710 0 0 0 59 0 0 0 20 0 15 0 155356736 14320615424 68008 33554432000 4194304 4196468 140723414548272 140540462689008 140540926589570 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38780928 140723414553751 140723414553927 140723414553927 140723414556623 0
[pid=19824/tid=19836] ppid=19822 vsize=13984976 memory=7 CPUtime=0.34 cores=0,2,4,6
/proc/19824/task/19836/stat : 19836 (java) S 19822 19822 13358 0 -1 1077944384 1958 0 0 0 34 0 0 0 20 0 15 0 155356736 14320615424 68008 33554432000 4194304 4196468 140723414548272 140540461636208 140540926589570 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38780928 140723414553751 140723414553927 140723414553927 140723414556623 0
[pid=19824/tid=19837] ppid=19822 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19824/task/19837/stat : 19837 (java) S 19822 19822 13358 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 155356736 14320615424 68008 33554432000 4194304 4196468 140723414548272 140540460583648 140540926588629 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38780928 140723414553751 140723414553927 140723414553927 140723414556623 0
[pid=19824/tid=19838] ppid=19822 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19824/task/19838/stat : 19838 (java) S 19822 19822 13358 0 -1 1077944384 129 0 0 0 0 0 0 0 20 0 15 0 155356736 14320615424 68008 33554432000 4194304 4196468 140723414548272 140540459530928 140540926589570 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38780928 140723414553751 140723414553927 140723414553927 140723414556623 0
Current children cumulated CPU time: 17.77 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 273416 KiB

Child status: 0
Real time (s): 16.1
CPU time (s): 17.8727
CPU user time (s): 17.6722
CPU system time (s): 0.200478
CPU usage (%): 111.01
Max. virtual memory (cumulated for all children) (KiB): 13994488
Max. memory (cumulated for all children) (KiB): 273416

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 17.6722
system time used= 0.200478
maximum resident set size= 272528
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20081
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= 1970
involuntary context switches= 51


# summary of solver processes directly reported to runsolver:
#   pid: 19822
#   total CPU time (s): 17.8727
#   total CPU user time (s): 17.6722
#   total CPU system time (s): 0.200478

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.105688 second user time and 0.209584 second system time

The end

Launcher Data 

Begin job on node112 at 2017-08-20 11:37:11
IDJOB=4283694
IDBENCH=138763
IDSOLVER=2679
FILE ID=node112/4283694-1503222691
RUNJOBID= node112-1503215489-19072
PBS_JOBID= 20630869
Free space on /tmp= 61780 MiB

SOLVER NAME= choco-solver 5a
BENCH NAME= XCSP17/Hanoi/Hanoi-m1-s1/Hanoi-07.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-4283694-1503222691/watcher-4283694-1503222691 -o /tmp/evaluation-result-4283694-1503222691/solver-4283694-1503222691 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node112-1503215489-19072 --watchdog 2580  ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 1258885022 HOME/instance-4283694-1503222691.xml

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

MD5SUM BENCH= 7f68b5f256bf6bd8019eb0158af88fa3
RANDOM SEED=1258885022

node112.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.24
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.24
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.24
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.24
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:        24830212 kB
MemAvailable:   31592876 kB
Buffers:          256324 kB
Cached:          6795876 kB
SwapCached:            0 kB
Active:          1560324 kB
Inactive:        5923984 kB
Active(anon):     383900 kB
Inactive(anon):    84384 kB
Active(file):    1176424 kB
Inactive(file):  5839600 kB
Unevictable:        7844 kB
Mlocked:            7844 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              7796 kB
Writeback:             0 kB
AnonPages:        451556 kB
Mapped:            64216 kB
Shmem:             33416 kB
Slab:             152160 kB
SReclaimable:     124948 kB
SUnreclaim:        27212 kB
KernelStack:        3808 kB
PageTables:         6840 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1078308 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    378880 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= 61772 MiB
End job on node112 at 2017-08-20 11:37:27