Trace number 4280415

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 4.0.5 par (2017-08-18)OPT1477 374.267 51.472599

General information on the benchmark

NameKnapsack/Knapsack-m1-s60/
Knapsack-60-250-13.xml
MD5SUM38d75cb998cf411a03c81843abbd85b8
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark1477
Best CPU time to get the best result obtained on this benchmark86.1866
Satisfiable
(Un)Satisfiability was proved
Number of variables60
Number of constraints1
Number of domains1
Minimum domain size2
Maximum domain size2
Distribution of domain sizes[{"size":2,"count":60}]
Minimum variable degree2
Maximum variable degree2
Distribution of variable degrees[{"degree":2,"count":60}]
Minimum constraint arity60
Maximum constraint arity60
Distribution of constraint arities[{"arity":60,"count":1}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"sum","count":1}]
Optimization problemYES
Type of objectivemax SUM

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.00	c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4280415-1503151944.xml"  -tl '20160s' -p 8 -x 0
0.12/0.14	c [HOME/instance-4280415-1503151944.xml, -tl, 20160s, -p, 8, -x, 0]
0.12/0.20	c 8 solvers in parallel
0.32/0.26	c parse instance...
0.75/0.44	c solve instance...
0.75/0.46	o 829 
0.75/0.47	o 830 
0.75/0.47	o 852 
0.75/0.48	o 854 
0.75/0.48	o 858 
0.75/0.49	o 860 
0.75/0.51	o 877 
1.17/0.52	o 880 
1.17/0.56	o 892 
1.17/0.57	o 932 
1.17/0.57	o 936 
1.17/0.57	o 968 
1.17/0.58	o 992 
1.77/0.62	o 1000 
2.47/0.70	o 1068 
2.47/0.72	o 1118 
2.47/0.74	o 1119 
2.47/0.77	o 1124 
2.47/0.78	o 1128 
2.47/0.78	o 1159 
3.19/0.80	o 1160 
3.19/0.81	o 1184 
3.19/0.85	o 1236 
3.19/0.87	o 1237 
3.19/0.90	o 1258 
3.92/0.90	o 1265 
3.92/0.91	o 1324 
3.92/0.98	o 1343 
3.92/1.00	o 1348 
4.74/1.06	o 1389 
4.74/1.08	o 1398 
5.51/1.11	o 1411 
6.16/1.20	o 1414 
6.16/1.23	o 1416 
6.16/1.24	o 1422 
6.16/1.26	o 1427 
6.16/1.29	o 1440 
6.82/1.33	o 1443 
6.82/1.36	o 1452 
7.44/1.41	o 1455 
14.46/2.47	o 1456 
94.50/13.75	o 1466 
98.05/14.27	o 1467 
100.28/14.56	o 1477 
373.81/51.46	s OPTIMUM FOUND
373.81/51.46	v <instantiation>
373.81/51.46	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] </list>
373.81/51.46	v 	<values>0 0 1 0 0 1 0 0 1 0 0 1 1 1 0 0 1 0 1 0 0 0 0 1 0 1 1 1 0 0 0 0 0 0 1 0 1 0 1 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 </values>
373.81/51.46	v </instantiation>

Verifier Data 

OK	1477

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4280415-1503151944/watcher-4280415-1503151944 -o /tmp/evaluation-result-4280415-1503151944/solver-4280415-1503151944 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node113-1503147940-20347 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 839762352 HOME/instance-4280415-1503151944.xml 

running on 8 cores: 0,2,4,6,1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=20684, runsolver pid=20681
Current StackSize limit: 8192 KiB


[startup+0.100222 s]*
/proc/loadavg: 4.45 3.19 5.23 2/199 20705
/proc/meminfo: memFree=27187744/32770624 swapFree=67108860/67108860
[pid=20684] ppid=20681 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/20684/stat : 20684 (xcsp3-exec) S 20681 20684 20320 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 148281898 9740288 345 33554432000 4194304 5098028 140733299633280 140733299631384 140670298587772 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 24064000 140733299635301 140733299635511 140733299635511 140733299638251 0
/proc/20684/statm: 2378 345 289 221 0 87 0
[pid=20686] ppid=20684 vsize=25999808 memory=26604 CPUtime=0.12 cores=0-7
/proc/20686/stat : 20686 (java) S 20684 20684 20320 0 -1 1077944320 5512 0 0 0 11 1 0 0 20 0 20 0 148281898 26623803392 6651 33554432000 4194304 4196468 140721159077904 140721159060448 139989196500727 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 15544320 140721159083154 140721159083331 140721159083331 140721159086031 0
/proc/20686/statm: 6499952 6651 2867 1 0 6488269 0
[pid=20686/tid=20687] ppid=20684 vsize=25999808 memory=8112279736428699551 CPUtime=0.08 cores=0-7
/proc/20686/task/20687/stat : 20687 (java) R 20684 20684 20320 0 -1 4202560 3512 0 0 0 8 0 0 0 20 0 20 0 148281899 26623803392 6651 33554432000 4194304 4196468 140721159077904 139989200732720 139989196522653 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15544320 140721159083154 140721159083331 140721159083331 140721159086031 0
[pid=20686/tid=20688] ppid=20684 vsize=25999808 memory=732369794224069605 CPUtime=0 cores=0-7
/proc/20686/task/20688/stat : 20688 (java) S 20684 20684 20320 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 148281900 26623803392 6651 33554432000 4194304 4196468 140721159077904 139988755200400 139989196510933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15544320 140721159083154 140721159083331 140721159083331 140721159086031 0
[pid=20686/tid=20689] ppid=20684 vsize=25999808 memory=139655886616192 CPUtime=0 cores=0-7
/proc/20686/task/20689/stat : 20689 (java) S 20684 20684 20320 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 148281900 26623803392 6651 33554432000 4194304 4196468 140721159077904 139988754147600 139989196510933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15544320 140721159083154 140721159083331 140721159083331 140721159086031 0
[pid=20686/tid=20690] ppid=20684 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/20686/task/20690/stat : 20690 (java) S 20684 20684 20320 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 148281900 26623803392 6651 33554432000 4194304 4196468 140721159077904 139988753095312 139989196510933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15544320 140721159083154 140721159083331 140721159083331 140721159086031 0
[pid=20686/tid=20691] ppid=20684 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/20686/task/20691/stat : 20691 (java) S 20684 20684 20320 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 148281900 26623803392 6651 33554432000 4194304 4196468 140721159077904 139988752042512 139989196510933 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15544320 140721159083154 140721159083331 140721159083331 140721159086031 0
[pid=20686/tid=20692] ppid=20684 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/20686/task/20692/stat : 20692 (java) S 20684 20684 20320 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 148281900 26623803392 6651 33554432000 4194304 4196468 140721159077904 139988750990224 139989196510933 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15544320 140721159083154 140721159083331 140721159083331 140721159086031 0
[pid=20686/tid=20693] ppid=20684 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/20686/task/20693/stat : 20693 (java) S 20684 20684 20320 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 148281900 26623803392 6651 33554432000 4194304 4196468 140721159077904 139988749937424 139989196510933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15544320 140721159083154 140721159083331 140721159083331 140721159086031 0
[pid=20686/tid=20694] ppid=20684 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/20686/task/20694/stat : 20694 (java) S 20684 20684 20320 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 148281900 26623803392 6651 33554432000 4194304 4196468 140721159077904 139988748885136 139989196510933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15544320 140721159083154 140721159083331 140721159083331 140721159086031 0
[pid=20686/tid=20695] ppid=20684 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/20686/task/20695/stat : 20695 (java) S 20684 20684 20320 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 148281900 26623803392 6651 33554432000 4194304 4196468 140721159077904 139988747832336 139989196510933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15544320 140721159083154 140721159083331 140721159083331 140721159086031 0
[pid=20686/tid=20696] ppid=20684 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/20686/task/20696/stat : 20696 (java) S 20684 20684 20320 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 148281901 26623803392 6651 33554432000 4194304 4196468 140721159077904 139987400996976 139989196511874 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15544320 140721159083154 140721159083331 140721159083331 140721159086031 0
[pid=20686/tid=20697] ppid=20684 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/20686/task/20697/stat : 20697 (java) S 20684 20684 20320 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 148281902 26623803392 6651 33554432000 4194304 4196468 140721159077904 139987399942944 139989196510933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15544320 140721159083154 140721159083331 140721159083331 140721159086031 0
[pid=20686/tid=20698] ppid=20684 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/20686/task/20698/stat : 20698 (java) S 20684 20684 20320 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 148281902 26623803392 6651 33554432000 4194304 4196468 140721159077904 139987398890608 139989196510933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15544320 140721159083154 140721159083331 140721159083331 140721159086031 0
[pid=20686/tid=20699] ppid=20684 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/20686/task/20699/stat : 20699 (java) S 20684 20684 20320 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 148281904 26623803392 6651 33554432000 4194304 4196468 140721159077904 139987397838928 139989196519323 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15544320 140721159083154 140721159083331 140721159083331 140721159086031 0
[pid=20686/tid=20700] ppid=20684 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/20686/task/20700/stat : 20700 (java) S 20684 20684 20320 0 -1 1077944384 301 0 0 0 0 0 0 0 20 0 20 0 148281904 26623803392 6651 33554432000 4194304 4196468 140721159077904 139987396786800 139989196511874 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15544320 140721159083154 140721159083331 140721159083331 140721159086031 0
[pid=20686/tid=20701] ppid=20684 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/20686/task/20701/stat : 20701 (java) S 20684 20684 20320 0 -1 1077944384 121 0 0 0 0 0 0 0 20 0 20 0 148281904 26623803392 6651 33554432000 4194304 4196468 140721159077904 139987395734000 139989196511874 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15544320 140721159083154 140721159083331 140721159083331 140721159086031 0
[pid=20686/tid=20702] ppid=20684 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/20686/task/20702/stat : 20702 (java) S 20684 20684 20320 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 148281904 26623803392 6651 33554432000 4194304 4196468 140721159077904 139987394681712 139989196511874 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15544320 140721159083154 140721159083331 140721159083331 140721159086031 0
[pid=20686/tid=20703] ppid=20684 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/20686/task/20703/stat : 20703 (java) S 20684 20684 20320 0 -1 1077944384 266 0 0 0 1 0 0 0 20 0 20 0 148281904 26623803392 6651 33554432000 4194304 4196468 140721159077904 139987393628912 139989196511874 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15544320 140721159083154 140721159083331 140721159083331 140721159086031 0
[pid=20686/tid=20704] ppid=20684 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/20686/task/20704/stat : 20704 (java) S 20684 20684 20320 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 148281904 26623803392 6651 33554432000 4194304 4196468 140721159077904 139987392575840 139989196510933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15544320 140721159083154 140721159083331 140721159083331 140721159086031 0
[pid=20686/tid=20705] ppid=20684 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/20686/task/20705/stat : 20705 (java) S 20684 20684 20320 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 148281905 26623803392 6651 33554432000 4194304 4196468 140721159077904 139987391523120 139989196511874 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15544320 140721159083154 140721159083331 140721159083331 140721159086031 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 27984 KiB

[startup+0.210524 s]*
/proc/loadavg: 4.45 3.19 5.23 3/199 20705
/proc/meminfo: memFree=27175820/32770624 swapFree=67108860/67108860
[pid=20684] ppid=20681 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/20684/stat : 20684 (xcsp3-exec) S 20681 20684 20320 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 148281898 9740288 345 33554432000 4194304 5098028 140733299633280 140733299631384 140670298587772 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 24064000 140733299635301 140733299635511 140733299635511 140733299638251 0
/proc/20684/statm: 2378 345 289 221 0 87 0
[pid=20686] ppid=20684 vsize=26004064 memory=39488 CPUtime=0.32 cores=0-7
/proc/20686/stat : 20686 (java) S 20684 20684 20320 0 -1 1077944320 8380 0 0 0 30 2 0 0 20 0 20 0 148281898 26628161536 9872 33554432000 4194304 4196468 140721159077904 140721159060448 139989196500727 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 15544320 140721159083154 140721159083331 140721159083331 140721159086031 0
/proc/20686/statm: 6501016 9872 3073 1 0 6488269 0
[pid=20686/tid=20687] ppid=20684 vsize=26004064 memory=0 CPUtime=0.2 cores=0-7
/proc/20686/task/20687/stat : 20687 (java) R 20684 20684 20320 0 -1 4202560 5424 0 0 0 19 1 0 0 20 0 20 0 148281899 26628161536 9872 33554432000 4194304 4196468 140721159077904 139989200723632 139989180581214 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15544320 140721159083154 140721159083331 140721159083331 140721159086031 0
[pid=20686/tid=20688] ppid=20684 vsize=26004064 memory=279311647192824 CPUtime=0 cores=0-7
/proc/20686/task/20688/stat : 20688 (java) S 20684 20684 20320 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 148281900 26628161536 9872 33554432000 4194304 4196468 140721159077904 139988755200400 139989196510933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15544320 140721159083154 140721159083331 140721159083331 140721159086031 0
[pid=20686/tid=20689] ppid=20684 vsize=26004064 memory=139655886616192 CPUtime=0 cores=0-7
/proc/20686/task/20689/stat : 20689 (java) S 20684 20684 20320 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 148281900 26628161536 9872 33554432000 4194304 4196468 140721159077904 139988754147600 139989196510933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15544320 140721159083154 140721159083331 140721159083331 140721159086031 0
[pid=20686/tid=20690] ppid=20684 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/20686/task/20690/stat : 20690 (java) S 20684 20684 20320 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 148281900 26628161536 9872 33554432000 4194304 4196468 140721159077904 139988753095312 139989196510933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15544320 140721159083154 140721159083331 140721159083331 140721159086031 0
[pid=20686/tid=20691] ppid=20684 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/20686/task/20691/stat : 20691 (java) S 20684 20684 20320 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 148281900 26628161536 9872 33554432000 4194304 4196468 140721159077904 139988752042512 139989196510933 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15544320 140721159083154 140721159083331 140721159083331 140721159086031 0
[pid=20686/tid=20692] ppid=20684 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/20686/task/20692/stat : 20692 (java) S 20684 20684 20320 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 148281900 26628161536 9872 33554432000 4194304 4196468 140721159077904 139988750990224 139989196510933 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15544320 140721159083154 140721159083331 140721159083331 140721159086031 0
[pid=20686/tid=20693] ppid=20684 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/20686/task/20693/stat : 20693 (java) S 20684 20684 20320 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 148281900 26628161536 9872 33554432000 4194304 4196468 140721159077904 139988749937424 139989196510933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15544320 140721159083154 140721159083331 140721159083331 140721159086031 0
[pid=20686/tid=20694] ppid=20684 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/20686/task/20694/stat : 20694 (java) S 20684 20684 20320 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 148281900 26628161536 9872 33554432000 4194304 4196468 140721159077904 139988748885136 139989196510933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15544320 140721159083154 140721159083331 140721159083331 140721159086031 0
[pid=20686/tid=20695] ppid=20684 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/20686/task/20695/stat : 20695 (java) S 20684 20684 20320 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 148281900 26628161536 9872 33554432000 4194304 4196468 140721159077904 139988747832336 139989196510933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15544320 140721159083154 140721159083331 140721159083331 140721159086031 0
[pid=20686/tid=20696] ppid=20684 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/20686/task/20696/stat : 20696 (java) S 20684 20684 20320 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 148281901 26628161536 9872 33554432000 4194304 4196468 140721159077904 139987400996976 139989196511874 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15544320 140721159083154 140721159083331 140721159083331 140721159086031 0
[pid=20686/tid=20697] ppid=20684 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/20686/task/20697/stat : 20697 (java) S 20684 20684 20320 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 148281902 26628161536 9872 33554432000 4194304 4196468 140721159077904 139987399942944 139989196510933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15544320 140721159083154 140721159083331 140721159083331 140721159086031 0
[pid=20686/tid=20698] ppid=20684 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/20686/task/20698/stat : 20698 (java) S 20684 20684 20320 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 148281902 26628161536 9872 33554432000 4194304 4196468 140721159077904 139987398890608 139989196510933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15544320 140721159083154 140721159083331 140721159083331 140721159086031 0
[pid=20686/tid=20699] ppid=20684 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/20686/task/20699/stat : 20699 (java) S 20684 20684 20320 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 148281904 26628161536 9872 33554432000 4194304 4196468 140721159077904 139987397838928 139989196519323 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15544320 140721159083154 140721159083331 140721159083331 140721159086031 0
[pid=20686/tid=20700] ppid=20684 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/20686/task/20700/stat : 20700 (java) S 20684 20684 20320 0 -1 1077944384 606 0 0 0 1 0 0 0 20 0 20 0 148281904 26628161536 9872 33554432000 4194304 4196468 140721159077904 139987396786800 139989196511874 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15544320 140721159083154 140721159083331 140721159083331 140721159086031 0
[pid=20686/tid=20701] ppid=20684 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/20686/task/20701/stat : 20701 (java) S 20684 20684 20320 0 -1 1077944384 283 0 0 0 1 0 0 0 20 0 20 0 148281904 26628161536 9872 33554432000 4194304 4196468 140721159077904 139987395734000 139989196511874 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15544320 140721159083154 140721159083331 140721159083331 140721159086031 0
[pid=20686/tid=20702] ppid=20684 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/20686/task/20702/stat : 20702 (java) S 20684 20684 20320 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 148281904 26628161536 9872 33554432000 4194304 4196468 140721159077904 139987394681712 139989196511874 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15544320 140721159083154 140721159083331 140721159083331 140721159086031 0
[pid=20686/tid=20703] ppid=20684 vsize=26004064 memory=0 CPUtime=0.07 cores=0-7
/proc/20686/task/20703/stat : 20703 (java) R 20684 20684 20320 0 -1 4202560 745 0 0 0 7 0 0 0 20 0 20 0 148281904 26628161536 9872 33554432000 4194304 4196468 140721159077904 139987393628912 139989180749109 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15544320 140721159083154 140721159083331 140721159083331 140721159086031 0
[pid=20686/tid=20704] ppid=20684 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/20686/task/20704/stat : 20704 (java) S 20684 20684 20320 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 148281904 26628161536 9872 33554432000 4194304 4196468 140721159077904 139987392575840 139989196510933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15544320 140721159083154 140721159083331 140721159083331 140721159086031 0
[pid=20686/tid=20705] ppid=20684 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/20686/task/20705/stat : 20705 (java) S 20684 20684 20320 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 148281905 26628161536 9872 33554432000 4194304 4196468 140721159077904 139987391523120 139989196511874 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15544320 140721159083154 140721159083331 140721159083331 140721159086031 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 40868 KiB

[startup+0.310382 s]*
/proc/loadavg: 4.45 3.19 5.23 2/199 20705
/proc/meminfo: memFree=27168740/32770624 swapFree=67108860/67108860
[pid=20684] ppid=20681 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/20684/stat : 20684 (xcsp3-exec) S 20681 20684 20320 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 148281898 9740288 345 33554432000 4194304 5098028 140733299633280 140733299631384 140670298587772 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 24064000 140733299635301 140733299635511 140733299635511 140733299638251 0
/proc/20684/statm: 2378 345 289 221 0 87 0
[pid=20686] ppid=20684 vsize=26004140 memory=46252 CPUtime=0.49 cores=0-7
/proc/20686/stat : 20686 (java) S 20684 20684 20320 0 -1 1077944320 9267 0 0 0 46 3 0 0 20 0 20 0 148281898 26628239360 11563 33554432000 4194304 4196468 140721159077904 140721159060448 139989196500727 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 15544320 140721159083154 140721159083331 140721159083331 140721159086031 0
/proc/20686/statm: 6501035 11563 3088 1 0 6488269 0
[pid=20686/tid=20687] ppid=20684 vsize=26004140 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/20686/task/20687/stat : 20687 (java) R 20684 20684 20320 0 -1 4202560 6213 0 0 0 28 1 0 0 20 0 20 0 148281899 26628239360 11563 33554432000 4194304 4196468 140721159077904 139989200733088 139989180581214 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15544320 140721159083154 140721159083331 140721159083331 140721159086031 0
[pid=20686/tid=20688] ppid=20684 vsize=26004140 memory=0 CPUtime=0 cores=0-7
/proc/20686/task/20688/stat : 20688 (java) S 20684 20684 20320 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 148281900 26628239360 11563 33554432000 4194304 4196468 140721159077904 139988755200400 139989196510933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15544320 140721159083154 140721159083331 140721159083331 140721159086031 0
[pid=20686/tid=20689] ppid=20684 vsize=26004140 memory=0 CPUtime=0 cores=0-7
/proc/20686/task/20689/stat : 20689 (java) S 20684 20684 20320 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 148281900 26628239360 11563 33554432000 4194304 4196468 140721159077904 139988754147600 139989196510933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15544320 140721159083154 140721159083331 140721159083331 140721159086031 0
[pid=20686/tid=20690] ppid=20684 vsize=26004140 memory=0 CPUtime=0 cores=0-7
/proc/20686/task/20690/stat : 20690 (java) S 20684 20684 20320 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 148281900 26628239360 11563 33554432000 4194304 4196468 140721159077904 139988753095312 139989196510933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15544320 140721159083154 140721159083331 140721159083331 140721159086031 0
[pid=20686/tid=20691] ppid=20684 vsize=26004140 memory=0 CPUtime=0 cores=0-7
/proc/20686/task/20691/stat : 20691 (java) S 20684 20684 20320 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 148281900 26628239360 11563 33554432000 4194304 4196468 140721159077904 139988752042512 139989196510933 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15544320 140721159083154 140721159083331 140721159083331 140721159086031 0
[pid=20686/tid=20692] ppid=20684 vsize=26004140 memory=2244 CPUtime=0 cores=0-7
/proc/20686/task/20692/stat : 20692 (java) S 20684 20684 20320 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 148281900 26628239360 11563 33554432000 4194304 4196468 140721159077904 139988750990224 139989196510933 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15544320 140721159083154 140721159083331 140721159083331 140721159086031 0
[pid=20686/tid=20693] ppid=20684 vsize=26004140 memory=139655760671663 CPUtime=0 cores=0-7
/proc/20686/task/20693/stat : 20693 (java) S 20684 20684 20320 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 148281900 26628239360 11563 33554432000 4194304 4196468 140721159077904 139988749937424 139989196510933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15544320 140721159083154 140721159083331 140721159083331 140721159086031 0
[pid=20686/tid=20694] ppid=20684 vsize=26004140 memory=139655760673968 CPUtime=0 cores=0-7
/proc/20686/task/20694/stat : 20694 (java) S 20684 20684 20320 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 148281900 26628239360 11563 33554432000 4194304 4196468 140721159077904 139988748885136 139989196510933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15544320 140721159083154 140721159083331 140721159083331 140721159086031 0
[pid=20686/tid=20695] ppid=20684 vsize=26004140 memory=139655760676272 CPUtime=0 cores=0-7
/proc/20686/task/20695/stat : 20695 (java) S 20684 20684 20320 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 148281900 26628239360 11563 33554432000 4194304 4196468 140721159077904 139988747832336 139989196510933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15544320 140721159083154 140721159083331 140721159083331 140721159086031 0
[pid=20686/tid=20696] ppid=20684 vsize=26004140 memory=0 CPUtime=0 cores=0-7
/proc/20686/task/20696/stat : 20696 (java) S 20684 20684 20320 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 148281901 26628239360 11563 33554432000 4194304 4196468 140721159077904 139987400996976 139989196511874 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15544320 140721159083154 140721159083331 140721159083331 140721159086031 0
[pid=20686/tid=20697] ppid=20684 vsize=26004140 memory=279311521359504 CPUtime=0 cores=0-7
/proc/20686/task/20697/stat : 20697 (java) S 20684 20684 20320 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 148281902 26628239360 11563 33554432000 4194304 4196468 140721159077904 139987399942944 139989196510933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15544320 140721159083154 140721159083331 140721159083331 140721159086031 0
[pid=20686/tid=20698] ppid=20684 vsize=26004140 memory=279311521366416 CPUtime=0 cores=0-7
/proc/20686/task/20698/stat : 20698 (java) S 20684 20684 20320 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 148281902 26628239360 11563 33554432000 4194304 4196468 140721159077904 139987398890608 139989196510933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15544320 140721159083154 140721159083331 140721159083331 140721159086031 0
[pid=20686/tid=20699] ppid=20684 vsize=26004140 memory=279311521307696 CPUtime=0 cores=0-7
/proc/20686/task/20699/stat : 20699 (java) S 20684 20684 20320 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 148281904 26628239360 11563 33554432000 4194304 4196468 140721159077904 139987397838928 139989196519323 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15544320 140721159083154 140721159083331 140721159083331 140721159086031 0
[pid=20686/tid=20700] ppid=20684 vsize=26004140 memory=279311521380240 CPUtime=0.02 cores=0-7
/proc/20686/task/20700/stat : 20700 (java) S 20684 20684 20320 0 -1 1077944384 608 0 0 0 2 0 0 0 20 0 20 0 148281904 26628239360 11563 33554432000 4194304 4196468 140721159077904 139987396786800 139989196511874 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15544320 140721159083154 140721159083331 140721159083331 140721159086031 0
[pid=20686/tid=20701] ppid=20684 vsize=26004140 memory=279311521387152 CPUtime=0.03 cores=0-7
/proc/20686/task/20701/stat : 20701 (java) S 20684 20684 20320 0 -1 1077944384 316 0 0 0 3 0 0 0 20 0 20 0 148281904 26628239360 11563 33554432000 4194304 4196468 140721159077904 139987395734000 139989196511874 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15544320 140721159083154 140721159083331 140721159083331 140721159086031 0
[pid=20686/tid=20702] ppid=20684 vsize=26004140 memory=279311521384848 CPUtime=0 cores=0-7
/proc/20686/task/20702/stat : 20702 (java) S 20684 20684 20320 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 20 0 148281904 26628239360 11563 33554432000 4194304 4196468 140721159077904 139987394681712 139989196511874 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15544320 140721159083154 140721159083331 140721159083331 140721159086031 0
[pid=20686/tid=20703] ppid=20684 vsize=26004140 memory=279311521401008 CPUtime=0.11 cores=0-7
/proc/20686/task/20703/stat : 20703 (java) S 20684 20684 20320 0 -1 1077944384 804 0 0 0 11 0 0 0 20 0 20 0 148281904 26628239360 11563 33554432000 4194304 4196468 140721159077904 139987393628912 139989196511874 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15544320 140721159083154 140721159083331 140721159083331 140721159086031 0
[pid=20686/tid=20704] ppid=20684 vsize=26004140 memory=0 CPUtime=0 cores=0-7
/proc/20686/task/20704/stat : 20704 (java) S 20684 20684 20320 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 148281904 26628239360 11563 33554432000 4194304 4196468 140721159077904 139987392575840 139989196510933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15544320 140721159083154 140721159083331 140721159083331 140721159086031 0
[pid=20686/tid=20705] ppid=20684 vsize=26004140 memory=-1 CPUtime=0 cores=0-7
/proc/20686/task/20705/stat : 20705 (java) S 20684 20684 20320 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 148281905 26628239360 11563 33554432000 4194304 4196468 140721159077904 139987391523120 139989196511874 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15544320 140721159083154 140721159083331 140721159083331 140721159086031 0
Current children cumulated CPU time: 0.49 s
Current children cumulated vsize: 26013652 KiB
Current children cumulated memory: 47632 KiB

[startup+0.70127 s]
/proc/loadavg: 4.45 3.19 5.23 4/207 20761
/proc/meminfo: memFree=27049436/32770624 swapFree=67108860/67108860
[pid=20684] ppid=20681 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/20684/stat : 20684 (xcsp3-exec) S 20681 20684 20320 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 148281898 9740288 345 33554432000 4194304 5098028 140733299633280 140733299631384 140670298587772 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 24064000 140733299635301 140733299635511 140733299635511 140733299638251 0
/proc/20684/statm: 2378 345 289 221 0 87 0
[pid=20686] ppid=20684 vsize=26605264 memory=185996 CPUtime=2.47 cores=0-7
/proc/20686/stat : 20686 (java) S 20684 20684 20320 0 -1 1077944320 16823 0 0 0 237 10 0 0 20 0 28 0 148281898 27243790336 46499 33554432000 4194304 4196468 140721159077904 140721159060448 139989196500727 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 15544320 140721159083154 140721159083331 140721159083331 140721159086031 0
/proc/20686/statm: 6651316 46499 3232 1 0 6638550 0
[pid=20686/tid=20687] ppid=20684 vsize=26605264 memory=279311521695872 CPUtime=0.43 cores=0-7
/proc/20686/task/20687/stat : 20687 (java) S 20684 20684 20320 0 -1 1077944384 6703 0 0 0 41 2 0 0 20 0 28 0 148281899 27243790336 46499 33554432000 4194304 4196468 140721159077904 139989200741504 139989196510933 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15544320 140721159083154 140721159083331 140721159083331 140721159086031 0
[pid=20686/tid=20688] ppid=20684 vsize=26605264 memory=5016521802893 CPUtime=0 cores=0-7
/proc/20686/task/20688/stat : 20688 (java) S 20684 20684 20320 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 28 0 148281900 27243790336 46499 33554432000 4194304 4196468 140721159077904 139988755200400 139989196510933 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15544320 140721159083154 140721159083331 140721159083331 140721159086031 0
[pid=20686/tid=20689] ppid=20684 vsize=26605264 memory=0 CPUtime=0 cores=0-7
/proc/20686/task/20689/stat : 20689 (java) S 20684 20684 20320 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 28 0 148281900 27243790336 46499 33554432000 4194304 4196468 140721159077904 139988754147600 139989196510933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15544320 140721159083154 140721159083331 140721159083331 140721159086031 0
[pid=20686/tid=20690] ppid=20684 vsize=26605264 memory=0 CPUtime=0 cores=0-7
/proc/20686/task/20690/stat : 20690 (java) S 20684 20684 20320 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 28 0 148281900 27243790336 46499 33554432000 4194304 4196468 140721159077904 139988753095312 139989196510933 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15544320 140721159083154 140721159083331 140721159083331 140721159086031 0

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

[pid=20686/tid=21059] ppid=20684 vsize=26671828 memory=12132 CPUtime=33.45 cores=0-7
/proc/20686/task/21059/stat : 21059 (java) R 20684 20684 20320 0 -1 4202560 376 0 0 0 3288 57 0 0 20 0 28 0 148283355 27311951872 91956 33554432000 4194304 4196468 140721159077904 139987381907360 139988838140718 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15544320 140721159083154 140721159083331 140721159083331 140721159086031 0
[pid=20686/tid=21060] ppid=20684 vsize=26671828 memory=1440 CPUtime=33.49 cores=0-7
/proc/20686/task/21060/stat : 21060 (java) S 20684 20684 20320 0 -1 1077944384 912 0 0 0 3292 57 0 0 20 0 28 0 148283355 27311951872 91956 33554432000 4194304 4196468 140721159077904 139987384013088 139989196510933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15544320 140721159083154 140721159083331 140721159083331 140721159086031 0
[pid=20686/tid=21061] ppid=20684 vsize=26671828 memory=11089 CPUtime=34.56 cores=0-7
/proc/20686/task/21061/stat : 21061 (java) R 20684 20684 20320 0 -1 4202560 1141 0 0 0 3429 27 0 0 20 0 28 0 148283355 27311951872 91956 33554432000 4194304 4196468 140721159077904 139987375591584 139988837688070 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15544320 140721159083154 140721159083331 140721159083331 140721159086031 0
[pid=20686/tid=21062] ppid=20684 vsize=26671828 memory=4420 CPUtime=33.77 cores=0-7
/proc/20686/task/21062/stat : 21062 (java) R 20684 20684 20320 0 -1 4202560 663 0 0 0 3328 49 0 0 20 0 28 0 148283355 27311951872 91956 33554432000 4194304 4196468 140721159077904 139987374539296 139988838142470 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15544320 140721159083154 140721159083331 140721159083331 140721159086031 0
[pid=20686/tid=21063] ppid=20684 vsize=26671828 memory=6628 CPUtime=33.28 cores=0-7
/proc/20686/task/21063/stat : 21063 (java) R 20684 20684 20320 0 -1 1077944384 332 0 0 0 3262 66 0 0 20 0 28 0 148283355 27311951872 91956 33554432000 4194304 4196468 140721159077904 139987378749856 139989196510933 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 15544320 140721159083154 140721159083331 140721159083331 140721159086031 0
[pid=20686/tid=21064] ppid=20684 vsize=26671828 memory=8836 CPUtime=33.43 cores=0-7
/proc/20686/task/21064/stat : 21064 (java) R 20684 20684 20320 0 -1 4202560 362 0 0 0 3283 60 0 0 20 0 28 0 148283355 27311951872 91956 33554432000 4194304 4196468 140721159077904 139987376643872 139988837688070 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15544320 140721159083154 140721159083331 140721159083331 140721159086031 0
[pid=20686/tid=21065] ppid=20684 vsize=26671828 memory=11044 CPUtime=34.37 cores=0-7
/proc/20686/task/21065/stat : 21065 (java) R 20684 20684 20320 0 -1 4202560 2377 0 0 0 3402 35 0 0 20 0 28 0 148283355 27311951872 91956 33554432000 4194304 4196468 140721159077904 139987379801760 139988839021218 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 15544320 140721159083154 140721159083331 140721159083331 140721159086031 0
Current children cumulated CPU time: 371.61 s
Current children cumulated vsize: 26681340 KiB
Current children cumulated memory: 369204 KiB

[startup+51.4725 s]
# the end of solver process 20684 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=367.312 s, system=6.95525 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+51.2019 s]
/proc/loadavg: 5.80 3.75 5.32 7/207 21065
/proc/meminfo: memFree=26844512/32770624 swapFree=67108860/67108860
[pid=20684] ppid=20681 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/20684/stat : 20684 (xcsp3-exec) S 20681 20684 20320 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 148281898 9740288 345 33554432000 4194304 5098028 140733299633280 140733299631384 140670298587772 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 24064000 140733299635301 140733299635511 140733299635511 140733299638251 0
/proc/20684/statm: 2378 345 289 221 0 87 0
[pid=20686] ppid=20684 vsize=26671828 memory=367824 CPUtime=372.3 cores=0-7
/proc/20686/stat : 20686 (java) S 20684 20684 20320 0 -1 1077944320 54430 0 0 0 36538 692 0 0 20 0 28 0 148281898 27311951872 91956 33554432000 4194304 4196468 140721159077904 140721159060448 139989196500727 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 15544320 140721159083154 140721159083331 140721159083331 140721159086031 0
/proc/20686/statm: 6667957 91956 3265 1 0 6655191 0
[pid=20686/tid=20687] ppid=20684 vsize=26671828 memory=2448 CPUtime=0.45 cores=0-7
/proc/20686/task/20687/stat : 20687 (java) S 20684 20684 20320 0 -1 1077944384 6886 0 0 0 43 2 0 0 20 0 28 0 148281899 27311951872 91956 33554432000 4194304 4196468 140721159077904 139989200741504 139989196510933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15544320 140721159083154 140721159083331 140721159083331 140721159086031 0
[pid=20686/tid=20688] ppid=20684 vsize=26671828 memory=1732 CPUtime=0.13 cores=0-7
/proc/20686/task/20688/stat : 20688 (java) S 20684 20684 20320 0 -1 1077944384 471 0 0 0 10 3 0 0 20 0 28 0 148281900 27311951872 91956 33554432000 4194304 4196468 140721159077904 139988755200400 139989196510933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15544320 140721159083154 140721159083331 140721159083331 140721159086031 0
[pid=20686/tid=20689] ppid=20684 vsize=26671828 memory=1948 CPUtime=0.14 cores=0-7
/proc/20686/task/20689/stat : 20689 (java) S 20684 20684 20320 0 -1 1077944384 771 0 0 0 11 3 0 0 20 0 28 0 148281900 27311951872 91956 33554432000 4194304 4196468 140721159077904 139988754147600 139989196510933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15544320 140721159083154 140721159083331 140721159083331 140721159086031 0
[pid=20686/tid=20690] ppid=20684 vsize=26671828 memory=1380 CPUtime=0.13 cores=0-7
/proc/20686/task/20690/stat : 20690 (java) S 20684 20684 20320 0 -1 1077944384 1000 0 0 0 10 3 0 0 20 0 28 0 148281900 27311951872 91956 33554432000 4194304 4196468 140721159077904 139988753095312 139989196510933 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15544320 140721159083154 140721159083331 140721159083331 140721159086031 0
[pid=20686/tid=20691] ppid=20684 vsize=26671828 memory=1380 CPUtime=0.13 cores=0-7
/proc/20686/task/20691/stat : 20691 (java) S 20684 20684 20320 0 -1 1077944384 1037 0 0 0 10 3 0 0 20 0 28 0 148281900 27311951872 91956 33554432000 4194304 4196468 140721159077904 139988752042512 139989196510933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15544320 140721159083154 140721159083331 140721159083331 140721159086031 0
[pid=20686/tid=20692] ppid=20684 vsize=26671828 memory=364156 CPUtime=0.13 cores=0-7
/proc/20686/task/20692/stat : 20692 (java) S 20684 20684 20320 0 -1 1077944384 981 0 0 0 10 3 0 0 20 0 28 0 148281900 27311951872 91956 33554432000 4194304 4196468 140721159077904 139988750990224 139989196510933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15544320 140721159083154 140721159083331 140721159083331 140721159086031 0
[pid=20686/tid=20693] ppid=20684 vsize=26671828 memory=6944656592387989600 CPUtime=0.13 cores=0-7
/proc/20686/task/20693/stat : 20693 (java) S 20684 20684 20320 0 -1 1077944384 1283 0 0 0 10 3 0 0 20 0 28 0 148281900 27311951872 91956 33554432000 4194304 4196468 140721159077904 139988749937424 139989196510933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15544320 140721159083154 140721159083331 140721159083331 140721159086031 0
[pid=20686/tid=20694] ppid=20684 vsize=26671828 memory=7300714784462360658 CPUtime=0.13 cores=0-7
/proc/20686/task/20694/stat : 20694 (java) S 20684 20684 20320 0 -1 1077944384 430 0 0 0 10 3 0 0 20 0 28 0 148281900 27311951872 91956 33554432000 4194304 4196468 140721159077904 139988748885136 139989196510933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15544320 140721159083154 140721159083331 140721159083331 140721159086031 0
[pid=20686/tid=20695] ppid=20684 vsize=26671828 memory=365184 CPUtime=0.12 cores=0-7
/proc/20686/task/20695/stat : 20695 (java) S 20684 20684 20320 0 -1 1077944384 993 0 0 0 10 2 0 0 20 0 28 0 148281900 27311951872 91956 33554432000 4194304 4196468 140721159077904 139988747832336 139989196510933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15544320 140721159083154 140721159083331 140721159083331 140721159086031 0
[pid=20686/tid=20696] ppid=20684 vsize=26671828 memory=228544404855488 CPUtime=0.1 cores=0-7
/proc/20686/task/20696/stat : 20696 (java) S 20684 20684 20320 0 -1 1077944384 2991 0 0 0 8 2 0 0 20 0 28 0 148281901 27311951872 91956 33554432000 4194304 4196468 140721159077904 139987400996976 139989196511874 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15544320 140721159083154 140721159083331 140721159083331 140721159086031 0
[pid=20686/tid=20697] ppid=20684 vsize=26671828 memory=0 CPUtime=0 cores=0-7
/proc/20686/task/20697/stat : 20697 (java) S 20684 20684 20320 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 148281902 27311951872 91956 33554432000 4194304 4196468 140721159077904 139987399943008 139989196510933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15544320 140721159083154 140721159083331 140721159083331 140721159086031 0
[pid=20686/tid=20698] ppid=20684 vsize=26671828 memory=8243114992657236051 CPUtime=0 cores=0-7
/proc/20686/task/20698/stat : 20698 (java) S 20684 20684 20320 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 148281902 27311951872 91956 33554432000 4194304 4196468 140721159077904 139987398890624 139989196510933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15544320 140721159083154 140721159083331 140721159083331 140721159086031 0
[pid=20686/tid=20699] ppid=20684 vsize=26671828 memory=288291086403896155 CPUtime=0 cores=0-7
/proc/20686/task/20699/stat : 20699 (java) S 20684 20684 20320 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 148281904 27311951872 91956 33554432000 4194304 4196468 140721159077904 139987397838928 139989196519323 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15544320 140721159083154 140721159083331 140721159083331 140721159086031 0
[pid=20686/tid=20700] ppid=20684 vsize=26671828 memory=6152590427681219690 CPUtime=0.84 cores=0-7
/proc/20686/task/20700/stat : 20700 (java) S 20684 20684 20320 0 -1 1077944384 5321 0 0 0 83 1 0 0 20 0 28 0 148281904 27311951872 91956 33554432000 4194304 4196468 140721159077904 139987396786800 139989196511874 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15544320 140721159083154 140721159083331 140721159083331 140721159086031 0
[pid=20686/tid=20701] ppid=20684 vsize=26671828 memory=1404238533807934838 CPUtime=0.84 cores=0-7
/proc/20686/task/20701/stat : 20701 (java) S 20684 20684 20320 0 -1 1077944384 5510 0 0 0 83 1 0 0 20 0 28 0 148281904 27311951872 91956 33554432000 4194304 4196468 140721159077904 139987395734000 139989196511874 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15544320 140721159083154 140721159083331 140721159083331 140721159086031 0
[pid=20686/tid=20702] ppid=20684 vsize=26671828 memory=587 CPUtime=0.8 cores=0-7
/proc/20686/task/20702/stat : 20702 (java) S 20684 20684 20320 0 -1 1077944384 4726 0 0 0 79 1 0 0 20 0 28 0 148281904 27311951872 91956 33554432000 4194304 4196468 140721159077904 139987394681712 139989196511874 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15544320 140721159083154 140721159083331 140721159083331 140721159086031 0
[pid=20686/tid=20703] ppid=20684 vsize=26671828 memory=-2748367524519556131 CPUtime=0.43 cores=0-7
/proc/20686/task/20703/stat : 20703 (java) S 20684 20684 20320 0 -1 1077944384 3842 0 0 0 42 1 0 0 20 0 28 0 148281904 27311951872 91956 33554432000 4194304 4196468 140721159077904 139987393628912 139989196511874 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15544320 140721159083154 140721159083331 140721159083331 140721159086031 0
[pid=20686/tid=20704] ppid=20684 vsize=26671828 memory=20017 CPUtime=0 cores=0-7
/proc/20686/task/20704/stat : 20704 (java) S 20684 20684 20320 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 148281904 27311951872 91956 33554432000 4194304 4196468 140721159077904 139987392575840 139989196510933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15544320 140721159083154 140721159083331 140721159083331 140721159086031 0
[pid=20686/tid=20705] ppid=20684 vsize=26671828 memory=148284355 CPUtime=0 cores=0-7
/proc/20686/task/20705/stat : 20705 (java) S 20684 20684 20320 0 -1 1077944384 308 0 0 0 0 0 0 0 20 0 28 0 148281905 27311951872 91956 33554432000 4194304 4196468 140721159077904 139987391523120 139989196511874 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15544320 140721159083154 140721159083331 140721159083331 140721159086031 0
[pid=20686/tid=21058] ppid=20684 vsize=26671828 memory=58676 CPUtime=33.38 cores=0-7
/proc/20686/task/21058/stat : 21058 (java) R 20684 20684 20320 0 -1 4202560 342 0 0 0 3281 57 0 0 20 0 28 0 148283355 27311951872 91956 33554432000 4194304 4196468 140721159077904 139987382958976 139988838224159 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15544320 140721159083154 140721159083331 140721159083331 140721159086031 0
[pid=20686/tid=21059] ppid=20684 vsize=26671828 memory=279311523078192 CPUtime=33.53 cores=0-7
/proc/20686/task/21059/stat : 21059 (java) R 20684 20684 20320 0 -1 4202560 376 0 0 0 3296 57 0 0 20 0 28 0 148283355 27311951872 91956 33554432000 4194304 4196468 140721159077904 139987381907360 139988838009666 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15544320 140721159083154 140721159083331 140721159083331 140721159086031 0
[pid=20686/tid=21060] ppid=20684 vsize=26671828 memory=1380 CPUtime=33.57 cores=0-7
/proc/20686/task/21060/stat : 21060 (java) R 20684 20684 20320 0 -1 4202560 912 0 0 0 3300 57 0 0 20 0 28 0 148283355 27311951872 91956 33554432000 4194304 4196468 140721159077904 139987384013088 139988838716965 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15544320 140721159083154 140721159083331 140721159083331 140721159086031 0
[pid=20686/tid=21061] ppid=20684 vsize=26671828 memory=359840 CPUtime=34.64 cores=0-7
/proc/20686/task/21061/stat : 21061 (java) R 20684 20684 20320 0 -1 4202560 1142 0 0 0 3437 27 0 0 20 0 28 0 148283355 27311951872 91956 33554432000 4194304 4196468 140721159077904 139987375591584 139988838123863 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15544320 140721159083154 140721159083331 140721159083331 140721159086031 0
[pid=20686/tid=21062] ppid=20684 vsize=26671828 memory=644 CPUtime=33.86 cores=0-7
/proc/20686/task/21062/stat : 21062 (java) S 20684 20684 20320 0 -1 1077944384 663 0 0 0 3337 49 0 0 20 0 28 0 148283355 27311951872 91956 33554432000 4194304 4196468 140721159077904 139987374539296 139989196510933 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15544320 140721159083154 140721159083331 140721159083331 140721159086031 0
[pid=20686/tid=21063] ppid=20684 vsize=26671828 memory=960 CPUtime=33.36 cores=0-7
/proc/20686/task/21063/stat : 21063 (java) R 20684 20684 20320 0 -1 1077944384 332 0 0 0 3270 66 0 0 20 0 28 0 148283355 27311951872 91956 33554432000 4194304 4196468 140721159077904 139987378749856 139989196510933 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 15544320 140721159083154 140721159083331 140721159083331 140721159086031 0
[pid=20686/tid=21064] ppid=20684 vsize=26671828 memory=4472 CPUtime=33.52 cores=0-7
/proc/20686/task/21064/stat : 21064 (java) S 20684 20684 20320 0 -1 1077944384 362 0 0 0 3292 60 0 0 20 0 28 0 148283355 27311951872 91956 33554432000 4194304 4196468 140721159077904 139987376643872 139989196510933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15544320 140721159083154 140721159083331 140721159083331 140721159086031 0
[pid=20686/tid=21065] ppid=20684 vsize=26671828 memory=1236 CPUtime=34.46 cores=0-7
/proc/20686/task/21065/stat : 21065 (java) R 20684 20684 20320 0 -1 4202560 2377 0 0 0 3411 35 0 0 20 0 28 0 148283355 27311951872 91956 33554432000 4194304 4196468 140721159077904 139987379801760 139988838123108 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 15544320 140721159083154 140721159083331 140721159083331 140721159086031 0
Current children cumulated CPU time: 372.3 s
Current children cumulated vsize: 26681340 KiB
Current children cumulated memory: 369204 KiB

[startup+51.4018 s]
/proc/loadavg: 5.80 3.75 5.32 7/207 21065
/proc/meminfo: memFree=26844512/32770624 swapFree=67108860/67108860
[pid=20684] ppid=20681 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/20684/stat : 20684 (xcsp3-exec) S 20681 20684 20320 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 148281898 9740288 345 33554432000 4194304 5098028 140733299633280 140733299631384 140670298587772 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 24064000 140733299635301 140733299635511 140733299635511 140733299638251 0
/proc/20684/statm: 2378 345 289 221 0 87 0
[pid=20686] ppid=20684 vsize=26671828 memory=367824 CPUtime=373.81 cores=0-7
/proc/20686/stat : 20686 (java) S 20684 20684 20320 0 -1 1077944320 54454 0 0 0 36688 693 0 0 20 0 28 0 148281898 27311951872 91956 33554432000 4194304 4196468 140721159077904 140721159060448 139989196500727 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 15544320 140721159083154 140721159083331 140721159083331 140721159086031 0
/proc/20686/statm: 6667957 91956 3265 1 0 6655191 0
[pid=20686/tid=20687] ppid=20684 vsize=26671828 memory=351328 CPUtime=0.45 cores=0-7
/proc/20686/task/20687/stat : 20687 (java) S 20684 20684 20320 0 -1 1077944384 6886 0 0 0 43 2 0 0 20 0 28 0 148281899 27311951872 91956 33554432000 4194304 4196468 140721159077904 139989200741504 139989196510933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15544320 140721159083154 140721159083331 140721159083331 140721159086031 0
[pid=20686/tid=20688] ppid=20684 vsize=26671828 memory=14691894252800580 CPUtime=0.13 cores=0-7
/proc/20686/task/20688/stat : 20688 (java) S 20684 20684 20320 0 -1 1077944384 471 0 0 0 10 3 0 0 20 0 28 0 148281900 27311951872 91956 33554432000 4194304 4196468 140721159077904 139988755200400 139989196510933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15544320 140721159083154 140721159083331 140721159083331 140721159086031 0
[pid=20686/tid=20689] ppid=20684 vsize=26671828 memory=348152 CPUtime=0.14 cores=0-7
/proc/20686/task/20689/stat : 20689 (java) S 20684 20684 20320 0 -1 1077944384 771 0 0 0 11 3 0 0 20 0 28 0 148281900 27311951872 91956 33554432000 4194304 4196468 140721159077904 139988754147600 139989196510933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15544320 140721159083154 140721159083331 140721159083331 140721159086031 0
[pid=20686/tid=20690] ppid=20684 vsize=26671828 memory=0 CPUtime=0.13 cores=0-7
/proc/20686/task/20690/stat : 20690 (java) S 20684 20684 20320 0 -1 1077944384 1001 0 0 0 10 3 0 0 20 0 28 0 148281900 27311951872 91956 33554432000 4194304 4196468 140721159077904 139988753095312 139989196510933 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15544320 140721159083154 140721159083331 140721159083331 140721159086031 0
[pid=20686/tid=20691] ppid=20684 vsize=26671828 memory=0 CPUtime=0.13 cores=0-7
/proc/20686/task/20691/stat : 20691 (java) S 20684 20684 20320 0 -1 1077944384 1037 0 0 0 10 3 0 0 20 0 28 0 148281900 27311951872 91956 33554432000 4194304 4196468 140721159077904 139988752042512 139989196510933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15544320 140721159083154 140721159083331 140721159083331 140721159086031 0
[pid=20686/tid=20692] ppid=20684 vsize=26671828 memory=0 CPUtime=0.13 cores=0-7
/proc/20686/task/20692/stat : 20692 (java) S 20684 20684 20320 0 -1 1077944384 981 0 0 0 10 3 0 0 20 0 28 0 148281900 27311951872 91956 33554432000 4194304 4196468 140721159077904 139988750990224 139989196510933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15544320 140721159083154 140721159083331 140721159083331 140721159086031 0
[pid=20686/tid=20693] ppid=20684 vsize=26671828 memory=800 CPUtime=0.13 cores=0-7
/proc/20686/task/20693/stat : 20693 (java) S 20684 20684 20320 0 -1 1077944384 1283 0 0 0 10 3 0 0 20 0 28 0 148281900 27311951872 91956 33554432000 4194304 4196468 140721159077904 139988749937424 139989196510933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15544320 140721159083154 140721159083331 140721159083331 140721159086031 0
[pid=20686/tid=20694] ppid=20684 vsize=26671828 memory=12132 CPUtime=0.13 cores=0-7
/proc/20686/task/20694/stat : 20694 (java) S 20684 20684 20320 0 -1 1077944384 430 0 0 0 10 3 0 0 20 0 28 0 148281900 27311951872 91956 33554432000 4194304 4196468 140721159077904 139988748885136 139989196510933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15544320 140721159083154 140721159083331 140721159083331 140721159086031 0
[pid=20686/tid=20695] ppid=20684 vsize=26671828 memory=1440 CPUtime=0.12 cores=0-7
/proc/20686/task/20695/stat : 20695 (java) S 20684 20684 20320 0 -1 1077944384 993 0 0 0 10 2 0 0 20 0 28 0 148281900 27311951872 91956 33554432000 4194304 4196468 140721159077904 139988747832336 139989196510933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15544320 140721159083154 140721159083331 140721159083331 140721159086031 0
[pid=20686/tid=20696] ppid=20684 vsize=26671828 memory=5796 CPUtime=0.1 cores=0-7
/proc/20686/task/20696/stat : 20696 (java) S 20684 20684 20320 0 -1 1077944384 2991 0 0 0 8 2 0 0 20 0 28 0 148281901 27311951872 91956 33554432000 4194304 4196468 140721159077904 139987400996976 139989196511874 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15544320 140721159083154 140721159083331 140721159083331 140721159086031 0
[pid=20686/tid=20697] ppid=20684 vsize=26671828 memory=1224 CPUtime=0 cores=0-7
/proc/20686/task/20697/stat : 20697 (java) S 20684 20684 20320 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 148281902 27311951872 91956 33554432000 4194304 4196468 140721159077904 139987399943008 139989196510933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15544320 140721159083154 140721159083331 140721159083331 140721159086031 0
[pid=20686/tid=20698] ppid=20684 vsize=26671828 memory=8712 CPUtime=0 cores=0-7
/proc/20686/task/20698/stat : 20698 (java) S 20684 20684 20320 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 148281902 27311951872 91956 33554432000 4194304 4196468 140721159077904 139987398890624 139989196510933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15544320 140721159083154 140721159083331 140721159083331 140721159086031 0
[pid=20686/tid=20699] ppid=20684 vsize=26671828 memory=1712 CPUtime=0 cores=0-7
/proc/20686/task/20699/stat : 20699 (java) S 20684 20684 20320 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 148281904 27311951872 91956 33554432000 4194304 4196468 140721159077904 139987397838928 139989196519323 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15544320 140721159083154 140721159083331 140721159083331 140721159086031 0
[pid=20686/tid=20700] ppid=20684 vsize=26671828 memory=4612 CPUtime=0.84 cores=0-7
/proc/20686/task/20700/stat : 20700 (java) S 20684 20684 20320 0 -1 1077944384 5321 0 0 0 83 1 0 0 20 0 28 0 148281904 27311951872 91956 33554432000 4194304 4196468 140721159077904 139987396786800 139989196511874 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15544320 140721159083154 140721159083331 140721159083331 140721159086031 0
[pid=20686/tid=20701] ppid=20684 vsize=26671828 memory=4100 CPUtime=0.84 cores=0-7
/proc/20686/task/20701/stat : 20701 (java) S 20684 20684 20320 0 -1 1077944384 5510 0 0 0 83 1 0 0 20 0 28 0 148281904 27311951872 91956 33554432000 4194304 4196468 140721159077904 139987395734000 139989196511874 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15544320 140721159083154 140721159083331 140721159083331 140721159086031 0
[pid=20686/tid=20702] ppid=20684 vsize=26671828 memory=40928 CPUtime=0.8 cores=0-7
/proc/20686/task/20702/stat : 20702 (java) S 20684 20684 20320 0 -1 1077944384 4726 0 0 0 79 1 0 0 20 0 28 0 148281904 27311951872 91956 33554432000 4194304 4196468 140721159077904 139987394681712 139989196511874 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15544320 140721159083154 140721159083331 140721159083331 140721159086031 0
[pid=20686/tid=20703] ppid=20684 vsize=26671828 memory=1292 CPUtime=0.43 cores=0-7
/proc/20686/task/20703/stat : 20703 (java) S 20684 20684 20320 0 -1 1077944384 3842 0 0 0 42 1 0 0 20 0 28 0 148281904 27311951872 91956 33554432000 4194304 4196468 140721159077904 139987393628912 139989196511874 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15544320 140721159083154 140721159083331 140721159083331 140721159086031 0
[pid=20686/tid=20704] ppid=20684 vsize=26671828 memory=2448 CPUtime=0 cores=0-7
/proc/20686/task/20704/stat : 20704 (java) S 20684 20684 20320 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 148281904 27311951872 91956 33554432000 4194304 4196468 140721159077904 139987392575840 139989196510933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15544320 140721159083154 140721159083331 140721159083331 140721159086031 0
[pid=20686/tid=20705] ppid=20684 vsize=26671828 memory=1732 CPUtime=0 cores=0-7
/proc/20686/task/20705/stat : 20705 (java) S 20684 20684 20320 0 -1 1077944384 308 0 0 0 0 0 0 0 20 0 28 0 148281905 27311951872 91956 33554432000 4194304 4196468 140721159077904 139987391523120 139989196511874 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15544320 140721159083154 140721159083331 140721159083331 140721159086031 0
[pid=20686/tid=21058] ppid=20684 vsize=26671828 memory=1948 CPUtime=33.58 cores=0-7
/proc/20686/task/21058/stat : 21058 (java) S 20684 20684 20320 0 -1 1077944384 343 0 0 0 3300 58 0 0 20 0 28 0 148283355 27311951872 91956 33554432000 4194304 4196468 140721159077904 139987382959072 139989196510933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15544320 140721159083154 140721159083331 140721159083331 140721159086031 0
[pid=20686/tid=21059] ppid=20684 vsize=26671828 memory=800 CPUtime=33.72 cores=0-7
/proc/20686/task/21059/stat : 21059 (java) R 20684 20684 20320 0 -1 4202560 377 0 0 0 3315 57 0 0 20 0 28 0 148283355 27311951872 91956 33554432000 4194304 4196468 140721159077904 139987381907360 139988838139917 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15544320 140721159083154 140721159083331 140721159083331 140721159086031 0
[pid=20686/tid=21060] ppid=20684 vsize=26671828 memory=12132 CPUtime=33.76 cores=0-7
/proc/20686/task/21060/stat : 21060 (java) R 20684 20684 20320 0 -1 4202560 913 0 0 0 3319 57 0 0 20 0 28 0 148283355 27311951872 91956 33554432000 4194304 4196468 140721159077904 139987384013088 139988838140808 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 15544320 140721159083154 140721159083331 140721159083331 140721159086031 0
[pid=20686/tid=21061] ppid=20684 vsize=26671828 memory=4100 CPUtime=34.84 cores=0-7
/proc/20686/task/21061/stat : 21061 (java) R 20684 20684 20320 0 -1 4202560 1149 0 0 0 3457 27 0 0 20 0 28 0 148283355 27311951872 91956 33554432000 4194304 4196468 140721159077904 139987375591488 139988838123558 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15544320 140721159083154 140721159083331 140721159083331 140721159086031 0
[pid=20686/tid=21062] ppid=20684 vsize=26671828 memory=40928 CPUtime=34.05 cores=0-7
/proc/20686/task/21062/stat : 21062 (java) R 20684 20684 20320 0 -1 4202560 669 0 0 0 3356 49 0 0 20 0 28 0 148283355 27311951872 91956 33554432000 4194304 4196468 140721159077904 139987374539296 139988839021093 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15544320 140721159083154 140721159083331 140721159083331 140721159086031 0
[pid=20686/tid=21063] ppid=20684 vsize=26671828 memory=1292 CPUtime=33.55 cores=0-7
/proc/20686/task/21063/stat : 21063 (java) R 20684 20684 20320 0 -1 1077944384 332 0 0 0 3289 66 0 0 20 0 28 0 148283355 27311951872 91956 33554432000 4194304 4196468 140721159077904 139987378749856 139989196510933 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 15544320 140721159083154 140721159083331 140721159083331 140721159086031 0
[pid=20686/tid=21064] ppid=20684 vsize=26671828 memory=2448 CPUtime=33.71 cores=0-7
/proc/20686/task/21064/stat : 21064 (java) R 20684 20684 20320 0 -1 4202560 364 0 0 0 3310 61 0 0 20 0 28 0 148283355 27311951872 91956 33554432000 4194304 4196468 140721159077904 139987376643872 139988837686966 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15544320 140721159083154 140721159083331 140721159083331 140721159086031 0
[pid=20686/tid=21065] ppid=20684 vsize=26671828 memory=1732 CPUtime=34.65 cores=0-7
/proc/20686/task/21065/stat : 21065 (java) R 20684 20684 20320 0 -1 4202560 2382 0 0 0 3430 35 0 0 20 0 28 0 148283355 27311951872 91956 33554432000 4194304 4196468 140721159077904 139987379801760 139988839021173 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15544320 140721159083154 140721159083331 140721159083331 140721159086031 0
Current children cumulated CPU time: 373.81 s
Current children cumulated vsize: 26681340 KiB
Current children cumulated memory: 369204 KiB

Child status: 0
Real time (s): 51.4726
CPU time (s): 374.267
CPU user time (s): 367.312
CPU system time (s): 6.95525
CPU usage (%): 727.119
Max. virtual memory (cumulated for all children) (KiB): 26681340
Max. memory (cumulated for all children) (KiB): 369204

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 367.312
system time used= 6.95525
maximum resident set size= 367824
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 56065
page faults= 0
swaps= 0
block input operations= 0
block output operations= 248
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2509650
involuntary context switches= 667


# summary of solver processes directly reported to runsolver:
#   pid: 20684
#   total CPU time (s): 374.267
#   total CPU user time (s): 367.312
#   total CPU system time (s): 6.95525

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.468212 second user time and 0.610918 second system time

The end

Launcher Data 

Begin job on node113 at 2017-08-19 15:58:04
IDJOB=4280415
IDBENCH=133500
IDSOLVER=2675
FILE ID=node113/4280415-1503151944
RUNJOBID= node113-1503147940-20347
PBS_JOBID= 20630806
Free space on /tmp= 61692 MiB

SOLVER NAME= choco-solver 4.0.5 par
BENCH NAME= XCSP17/Knapsack/Knapsack-m1-s60/Knapsack-60-250-13.xml
COMMAND LINE= ./xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 22000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4280415-1503151944/watcher-4280415-1503151944 -o /tmp/evaluation-result-4280415-1503151944/solver-4280415-1503151944 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node113-1503147940-20347 --watchdog 2580  ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 839762352 HOME/instance-4280415-1503151944.xml

TIME LIMIT= 20160 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8

MD5SUM BENCH= 38d75cb998cf411a03c81843abbd85b8
RANDOM SEED=839762352

node113.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.89
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.89
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.89
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.89
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:        27202352 kB
MemAvailable:   31972752 kB
Buffers:          251168 kB
Cached:          4808516 kB
SwapCached:            0 kB
Active:          1250828 kB
Inactive:        3864020 kB
Active(anon):       4964 kB
Inactive(anon):    85836 kB
Active(file):    1245864 kB
Inactive(file):  3778184 kB
Unevictable:        7568 kB
Mlocked:            7568 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              7528 kB
Writeback:             0 kB
AnonPages:        244720 kB
Mapped:            50912 kB
Shmem:             33416 kB
Slab:             151488 kB
SReclaimable:     124372 kB
SUnreclaim:        27116 kB
KernelStack:        3568 kB
PageTables:         5120 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     333236 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    190464 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= 61684 MiB
End job on node113 at 2017-08-19 15:58:56