Trace number 4269130

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 seq (2017-08-09)OPT937 379.52899 372.086

General information on the benchmark

NameKnapsack/Knapsack-m1-s50/
Knapsack-50-200-18.xml
MD5SUMfc58042bc4c17dd15fe4721e0dab7678
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark937
Best CPU time to get the best result obtained on this benchmark13.0062
Satisfiable
(Un)Satisfiability was proved
Number of variables50
Number of constraints1
Number of domains1
Minimum domain size2
Maximum domain size2
Distribution of domain sizes[{"size":2,"count":50}]
Minimum variable degree2
Maximum variable degree2
Distribution of variable degrees[{"degree":2,"count":50}]
Minimum constraint arity50
Maximum constraint arity50
Distribution of constraint arities[{"arity":50,"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.08	c java -server -Xmx11000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4269130-1502807100.xml"  -tl '2520s' -p 1 -x 0
0.10/0.27	c [HOME/instance-4269130-1502807100.xml, -tl, 2520s, -p, 1, -x, 0]
0.28/0.33	c simple solver
0.28/0.39	c parse instance...
0.67/0.53	c solve instance...
0.67/0.54	o 570 
0.67/0.55	o 611 
0.67/0.55	o 672 
0.67/0.58	o 693 
0.67/0.60	o 718 
0.67/0.60	o 719 
1.00/0.61	o 722 
1.00/0.62	o 739 
1.00/0.62	o 745 
1.00/0.62	o 755 
1.00/0.62	o 784 
2.21/1.02	o 786 
2.21/1.02	o 790 
2.21/1.02	o 806 
2.21/1.02	o 815 
2.21/1.03	o 818 
2.21/1.10	o 820 
2.51/1.17	o 834 
6.17/2.76	o 836 
6.28/2.84	o 865 
6.28/2.84	o 877 
6.28/2.84	o 894 
21.37/17.60	o 908 
62.16/58.08	o 910 
110.30/105.73	o 921 
137.83/132.99	o 926 
255.55/249.56	o 937 
379.44/372.07	s OPTIMUM FOUND
379.44/372.07	v <instantiation>
379.44/372.07	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] </list>
379.44/372.07	v 	<values>1 1 0 0 0 0 0 0 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 1 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 1 </values>
379.44/372.07	v </instantiation>

Verifier Data 

OK	937

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4269130-1502807100/watcher-4269130-1502807100 -o /tmp/evaluation-result-4269130-1502807100/solver-4269130-1502807100 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node134-1502649032-24471 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 441009890 HOME/instance-4269130-1502807100.xml 

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

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


[startup+0.100118 s]*
/proc/loadavg: 1.82 1.74 1.65 3/209 21423
/proc/meminfo: memFree=25662132/32770624 swapFree=67108764/67108860
[pid=21416] ppid=21413 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/21416/stat : 21416 (xcsp3-exec) S 21413 21416 4674 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 128216553 9740288 345 18446744073709551615 4194304 5098028 140731082895792 140731082893896 140659702579836 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 7 0 0 7196144 7232144 18305024 140731082903929 140731082904133 140731082904133 140731082907627 0
/proc/21416/statm: 2378 345 289 221 0 87 0
[pid=21418] ppid=21416 vsize=13441356 memory=15952 CPUtime=0.01 cores=1,3,5,7
/proc/21418/stat : 21418 (java) S 21416 21416 4674 0 -1 1077944320 3768 0 0 0 1 0 0 0 20 0 7 0 128216561 13763948544 3988 18446744073709551615 4194304 4196468 140737180104048 140737180086592 140618226634487 0 0 1 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 34947072 140737180111281 140737180111457 140737180111457 140737180114895 0
/proc/21418/statm: 3360339 3988 2025 1 0 3349836 0
[pid=21418/tid=21419] ppid=21416 vsize=13442384 memory=-6871798056557643345 CPUtime=0.01 cores=1,3,5,7
/proc/21418/task/21419/stat : 21419 (java) R 21416 21416 4674 0 -1 4202560 2538 0 0 0 1 0 0 0 20 0 7 0 128216562 13765001216 3988 18446744073709551615 4194304 4196468 140737180104048 140618230876944 140618219351639 0 4 1 16784584 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34947072 140737180111281 140737180111457 140737180111457 140737180114895 0
[pid=21418/tid=21420] ppid=21416 vsize=13442384 memory=735272052430568040 CPUtime=0 cores=1,3,5,7
/proc/21418/task/21420/stat : 21420 (java) S 21416 21416 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 8 0 128216562 13765001216 3988 18446744073709551615 4194304 4196468 140737180104048 140618183601040 140618226644693 0 4 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34947072 140737180111281 140737180111457 140737180111457 140737180114895 0
[pid=21418/tid=21421] ppid=21416 vsize=13442384 memory=140262131156608 CPUtime=0 cores=1,3,5,7
/proc/21418/task/21421/stat : 21421 (java) S 21416 21416 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 8 0 128216562 13765001216 3988 18446744073709551615 4194304 4196468 140737180104048 140618182548240 140618226644693 0 4 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34947072 140737180111281 140737180111457 140737180111457 140737180114895 0
[pid=21418/tid=21422] ppid=21416 vsize=13442384 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21418/task/21422/stat : 21422 (java) S 21416 21416 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 8 0 128216562 13765001216 3988 18446744073709551615 4194304 4196468 140737180104048 140618181495952 140618226644693 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34947072 140737180111281 140737180111457 140737180111457 140737180114895 0
[pid=21418/tid=21423] ppid=21416 vsize=13442384 memory=6944656592455097440 CPUtime=0 cores=1,3,5,7
/proc/21418/task/21423/stat : 21423 (java) S 21416 21416 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 8 0 128216562 13765001216 3988 18446744073709551615 4194304 4196468 140737180104048 140618180443152 140618226644693 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34947072 140737180111281 140737180111457 140737180111457 140737180114895 0
[pid=21418/tid=21424] ppid=21416 vsize=13442384 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21418/task/21424/stat : 21424 (java) S 21416 21416 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 8 0 128216564 13765001216 3988 18446744073709551615 4194304 4196468 140737180104048 140617794742384 140618226645634 0 0 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34947072 140737180111281 140737180111457 140737180111457 140737180114895 0
[pid=21418/tid=21425] ppid=21416 vsize=13442384 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21418/task/21425/stat : 21425 (java) R 21416 21416 4674 0 -1 1077944384 0 0 0 0 0 0 0 0 20 0 8 0 128216564 13765001216 3988 18446744073709551615 4194304 4196468 140737180104048 140617793690208 140618226644693 0 4 1 16784584 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34947072 140737180111281 140737180111457 140737180111457 140737180114895 0
Current children cumulated CPU time: 0.01 s
Current children cumulated vsize: 13450868 KiB
Current children cumulated memory: 17332 KiB

[startup+0.21023 s]*
/proc/loadavg: 1.82 1.74 1.65 4/218 21432
/proc/meminfo: memFree=25651256/32770624 swapFree=67108764/67108860
[pid=21416] ppid=21413 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/21416/stat : 21416 (xcsp3-exec) S 21413 21416 4674 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 128216553 9740288 345 18446744073709551615 4194304 5098028 140731082895792 140731082893896 140659702579836 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 7 0 0 7196144 7232144 18305024 140731082903929 140731082904133 140731082904133 140731082907627 0
/proc/21416/statm: 2378 345 289 221 0 87 0
[pid=21418] ppid=21416 vsize=13974352 memory=28036 CPUtime=0.1 cores=1,3,5,7
/proc/21418/stat : 21418 (java) S 21416 21416 4674 0 -1 1077944320 5421 0 0 0 9 1 0 0 20 0 15 0 128216561 14309736448 7009 18446744073709551615 4194304 4196468 140737180104048 140737180086592 140618226634487 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 34947072 140737180111281 140737180111457 140737180111457 140737180114895 0
/proc/21418/statm: 3493588 7009 2749 1 0 3482964 0
[pid=21418/tid=21419] ppid=21416 vsize=13974352 memory=7311146985107750967 CPUtime=0.07 cores=1,3,5,7
/proc/21418/task/21419/stat : 21419 (java) R 21416 21416 4674 0 -1 4202560 3563 0 0 0 7 0 0 0 20 0 15 0 128216562 14309736448 7009 18446744073709551615 4194304 4196468 140737180104048 140618230863728 140618226656413 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 34947072 140737180111281 140737180111457 140737180111457 140737180114895 0
[pid=21418/tid=21420] ppid=21416 vsize=13974352 memory=12630 CPUtime=0 cores=1,3,5,7
/proc/21418/task/21420/stat : 21420 (java) S 21416 21416 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 128216562 14309736448 7009 18446744073709551615 4194304 4196468 140737180104048 140618183601040 140618226644693 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34947072 140737180111281 140737180111457 140737180111457 140737180114895 0
[pid=21418/tid=21421] ppid=21416 vsize=13974352 memory=140262132274658 CPUtime=0 cores=1,3,5,7
/proc/21418/task/21421/stat : 21421 (java) S 21416 21416 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 128216562 14309736448 7009 18446744073709551615 4194304 4196468 140737180104048 140618182548240 140618226644693 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34947072 140737180111281 140737180111457 140737180111457 140737180114895 0
[pid=21418/tid=21422] ppid=21416 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21418/task/21422/stat : 21422 (java) S 21416 21416 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 128216562 14309736448 7009 18446744073709551615 4194304 4196468 140737180104048 140618181495952 140618226644693 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34947072 140737180111281 140737180111457 140737180111457 140737180114895 0
[pid=21418/tid=21423] ppid=21416 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21418/task/21423/stat : 21423 (java) S 21416 21416 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 128216562 14309736448 7009 18446744073709551615 4194304 4196468 140737180104048 140618180443152 140618226644693 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34947072 140737180111281 140737180111457 140737180111457 140737180114895 0
[pid=21418/tid=21424] ppid=21416 vsize=13974352 memory=140262131156608 CPUtime=0 cores=1,3,5,7
/proc/21418/task/21424/stat : 21424 (java) S 21416 21416 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 128216564 14309736448 7009 18446744073709551615 4194304 4196468 140737180104048 140617794742384 140618226645634 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34947072 140737180111281 140737180111457 140737180111457 140737180114895 0
[pid=21418/tid=21425] ppid=21416 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21418/task/21425/stat : 21425 (java) S 21416 21416 4674 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 128216564 14309736448 7009 18446744073709551615 4194304 4196468 140737180104048 140617793688352 140618226644693 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34947072 140737180111281 140737180111457 140737180111457 140737180114895 0
[pid=21418/tid=21426] ppid=21416 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21418/task/21426/stat : 21426 (java) S 21416 21416 4674 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 128216565 14309736448 7009 18446744073709551615 4194304 4196468 140737180104048 140617792636016 140618226644693 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34947072 140737180111281 140737180111457 140737180111457 140737180114895 0
[pid=21418/tid=21427] ppid=21416 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21418/task/21427/stat : 21427 (java) S 21416 21416 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 128216567 14309736448 7009 18446744073709551615 4194304 4196468 140737180104048 140617791584336 140618226653083 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34947072 140737180111281 140737180111457 140737180111457 140737180114895 0
[pid=21418/tid=21428] ppid=21416 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21418/task/21428/stat : 21428 (java) S 21416 21416 4674 0 -1 1077944384 300 0 0 0 0 0 0 0 20 0 15 0 128216567 14309736448 7009 18446744073709551615 4194304 4196468 140737180104048 140617790532208 140618226645634 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34947072 140737180111281 140737180111457 140737180111457 140737180114895 0
[pid=21418/tid=21429] ppid=21416 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21418/task/21429/stat : 21429 (java) S 21416 21416 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 128216567 14309736448 7009 18446744073709551615 4194304 4196468 140737180104048 140617789479408 140618226645634 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34947072 140737180111281 140737180111457 140737180111457 140737180114895 0
[pid=21418/tid=21430] ppid=21416 vsize=13974352 memory=140262131156608 CPUtime=0 cores=1,3,5,7
/proc/21418/task/21430/stat : 21430 (java) R 21416 21416 4674 0 -1 4202560 252 0 0 0 0 0 0 0 20 0 15 0 128216567 14309736448 7009 18446744073709551615 4194304 4196468 140737180104048 140617788427120 140618226655834 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34947072 140737180111281 140737180111457 140737180111457 140737180114895 0
[pid=21418/tid=21431] ppid=21416 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21418/task/21431/stat : 21431 (java) S 21416 21416 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 128216567 14309736448 7009 18446744073709551615 4194304 4196468 140737180104048 140617787374560 140618226644693 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34947072 140737180111281 140737180111457 140737180111457 140737180114895 0
[pid=21418/tid=21432] ppid=21416 vsize=13974352 memory=140262131156608 CPUtime=0 cores=1,3,5,7
/proc/21418/task/21432/stat : 21432 (java) S 21416 21416 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 128216572 14309736448 7009 18446744073709551615 4194304 4196468 140737180104048 140617786321328 140618226645634 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34947072 140737180111281 140737180111457 140737180111457 140737180114895 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 29416 KiB

[startup+0.310956 s]*
/proc/loadavg: 1.82 1.74 1.65 4/218 21432
/proc/meminfo: memFree=25640188/32770624 swapFree=67108764/67108860
[pid=21416] ppid=21413 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/21416/stat : 21416 (xcsp3-exec) S 21413 21416 4674 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 128216553 9740288 345 18446744073709551615 4194304 5098028 140731082895792 140731082893896 140659702579836 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 7 0 0 7196144 7232144 18305024 140731082903929 140731082904133 140731082904133 140731082907627 0
/proc/21416/statm: 2378 345 289 221 0 87 0
[pid=21418] ppid=21416 vsize=13974352 memory=37412 CPUtime=0.28 cores=1,3,5,7
/proc/21418/stat : 21418 (java) S 21416 21416 4674 0 -1 1077944320 8981 0 0 0 26 2 0 0 20 0 15 0 128216561 14309736448 9353 18446744073709551615 4194304 4196468 140737180104048 140737180086592 140618226634487 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 34947072 140737180111281 140737180111457 140737180111457 140737180114895 0
/proc/21418/statm: 3493588 9353 2973 1 0 3482964 0
[pid=21418/tid=21419] ppid=21416 vsize=13974352 memory=4278483708103473607 CPUtime=0.18 cores=1,3,5,7
/proc/21418/task/21419/stat : 21419 (java) R 21416 21416 4674 0 -1 4202560 6176 0 0 0 16 2 0 0 20 0 15 0 128216562 14309736448 9353 18446744073709551615 4194304 4196468 140737180104048 140618230861808 140617851567700 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 34947072 140737180111281 140737180111457 140737180111457 140737180114895 0
[pid=21418/tid=21420] ppid=21416 vsize=13974352 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/21418/task/21420/stat : 21420 (java) S 21416 21416 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 128216562 14309736448 9353 18446744073709551615 4194304 4196468 140737180104048 140618183601040 140618226644693 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34947072 140737180111281 140737180111457 140737180111457 140737180114895 0
[pid=21418/tid=21421] ppid=21416 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21418/task/21421/stat : 21421 (java) S 21416 21416 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 128216562 14309736448 9353 18446744073709551615 4194304 4196468 140737180104048 140618182548240 140618226644693 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34947072 140737180111281 140737180111457 140737180111457 140737180114895 0
[pid=21418/tid=21422] ppid=21416 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21418/task/21422/stat : 21422 (java) S 21416 21416 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 128216562 14309736448 9353 18446744073709551615 4194304 4196468 140737180104048 140618181495952 140618226644693 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34947072 140737180111281 140737180111457 140737180111457 140737180114895 0
[pid=21418/tid=21423] ppid=21416 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21418/task/21423/stat : 21423 (java) S 21416 21416 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 128216562 14309736448 9353 18446744073709551615 4194304 4196468 140737180104048 140618180443152 140618226644693 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34947072 140737180111281 140737180111457 140737180111457 140737180114895 0
[pid=21418/tid=21424] ppid=21416 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21418/task/21424/stat : 21424 (java) S 21416 21416 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 128216564 14309736448 9353 18446744073709551615 4194304 4196468 140737180104048 140617794742384 140618226645634 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34947072 140737180111281 140737180111457 140737180111457 140737180114895 0
[pid=21418/tid=21425] ppid=21416 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21418/task/21425/stat : 21425 (java) S 21416 21416 4674 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 128216564 14309736448 9865 18446744073709551615 4194304 4196468 140737180104048 140617793688352 140618226644693 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34947072 140737180111281 140737180111457 140737180111457 140737180114895 0
[pid=21418/tid=21426] ppid=21416 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21418/task/21426/stat : 21426 (java) S 21416 21416 4674 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 128216565 14309736448 9865 18446744073709551615 4194304 4196468 140737180104048 140617792636016 140618226644693 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34947072 140737180111281 140737180111457 140737180111457 140737180114895 0
[pid=21418/tid=21427] ppid=21416 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21418/task/21427/stat : 21427 (java) S 21416 21416 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 128216567 14309736448 9865 18446744073709551615 4194304 4196468 140737180104048 140617791584336 140618226653083 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34947072 140737180111281 140737180111457 140737180111457 140737180114895 0
[pid=21418/tid=21428] ppid=21416 vsize=13974352 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/21418/task/21428/stat : 21428 (java) R 21416 21416 4674 0 -1 4202560 434 0 0 0 2 0 0 0 20 0 15 0 128216567 14309736448 9865 18446744073709551615 4194304 4196468 140737180104048 140617790513224 140618207334784 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34947072 140737180111281 140737180111457 140737180111457 140737180114895 0
[pid=21418/tid=21429] ppid=21416 vsize=13974352 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/21418/task/21429/stat : 21429 (java) R 21416 21416 4674 0 -1 1077944384 325 0 0 0 2 0 0 0 20 0 15 0 128216567 14309736448 9865 18446744073709551615 4194304 4196468 140737180104048 140617789479408 140618226645634 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34947072 140737180111281 140737180111457 140737180111457 140737180114895 0
[pid=21418/tid=21430] ppid=21416 vsize=13974352 memory=0 CPUtime=0.06 cores=1,3,5,7
/proc/21418/task/21430/stat : 21430 (java) R 21416 21416 4674 0 -1 4202560 744 0 0 0 6 0 0 0 20 0 15 0 128216567 14309736448 9865 18446744073709551615 4194304 4196468 140737180104048 140617788427120 140618205155920 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34947072 140737180111281 140737180111457 140737180111457 140737180114895 0
[pid=21418/tid=21431] ppid=21416 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21418/task/21431/stat : 21431 (java) S 21416 21416 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 128216567 14309736448 9865 18446744073709551615 4194304 4196468 140737180104048 140617787374560 140618226644693 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34947072 140737180111281 140737180111457 140737180111457 140737180114895 0
[pid=21418/tid=21432] ppid=21416 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21418/task/21432/stat : 21432 (java) S 21416 21416 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 128216572 14309736448 9865 18446744073709551615 4194304 4196468 140737180104048 140617786321328 140618226645634 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34947072 140737180111281 140737180111457 140737180111457 140737180114895 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 38792 KiB

[startup+0.701704 s]
/proc/loadavg: 1.82 1.74 1.65 5/218 21432
/proc/meminfo: memFree=25628740/32770624 swapFree=67108764/67108860
[pid=21416] ppid=21413 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/21416/stat : 21416 (xcsp3-exec) S 21413 21416 4674 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 128216553 9740288 345 18446744073709551615 4194304 5098028 140731082895792 140731082893896 140659702579836 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 7 0 0 7196144 7232144 18305024 140731082903929 140731082904133 140731082904133 140731082907627 0
/proc/21416/statm: 2378 345 289 221 0 87 0
[pid=21418] ppid=21416 vsize=13980732 memory=66380 CPUtime=1.27 cores=1,3,5,7
/proc/21418/stat : 21418 (java) S 21416 21416 4674 0 -1 1077944320 14857 0 0 0 123 4 0 0 20 0 15 0 128216561 14316269568 16595 18446744073709551615 4194304 4196468 140737180104048 140737180086592 140618226634487 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 34947072 140737180111281 140737180111457 140737180111457 140737180114895 0
/proc/21418/statm: 3495183 16595 3176 1 0 3483476 0
[pid=21418/tid=21419] ppid=21416 vsize=13980732 memory=5788922476706229588 CPUtime=0.55 cores=1,3,5,7
/proc/21418/task/21419/stat : 21419 (java) R 21416 21416 4674 0 -1 4202560 8411 0 0 0 52 3 0 0 20 0 15 0 128216562 14316269568 16595 18446744073709551615 4194304 4196468 140737180104048 140618230871368 140617852720113 0 4 1 16800974 0 0 0 -1 7 0 0 4 0 0 6293624 6294260 34947072 140737180111281 140737180111457 140737180111457 140737180114895 0
[pid=21418/tid=21420] ppid=21416 vsize=13980732 memory=984 CPUtime=0 cores=1,3,5,7
/proc/21418/task/21420/stat : 21420 (java) S 21416 21416 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 128216562 14316269568 16595 18446744073709551615 4194304 4196468 140737180104048 140618183601040 140618226644693 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34947072 140737180111281 140737180111457 140737180111457 140737180114895 0
[pid=21418/tid=21421] ppid=21416 vsize=13980732 memory=1728 CPUtime=0 cores=1,3,5,7
/proc/21418/task/21421/stat : 21421 (java) S 21416 21416 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 128216562 14316269568 16595 18446744073709551615 4194304 4196468 140737180104048 140618182548240 140618226644693 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34947072 140737180111281 140737180111457 140737180111457 140737180114895 0
[pid=21418/tid=21422] ppid=21416 vsize=13980732 memory=4572 CPUtime=0 cores=1,3,5,7
/proc/21418/task/21422/stat : 21422 (java) S 21416 21416 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 128216562 14316269568 16595 18446744073709551615 4194304 4196468 140737180104048 140618181495952 140618226644693 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34947072 140737180111281 140737180111457 140737180111457 140737180114895 0
[pid=21418/tid=21423] ppid=21416 vsize=13980732 memory=1444 CPUtime=0 cores=1,3,5,7
/proc/21418/task/21423/stat : 21423 (java) S 21416 21416 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 128216562 14316269568 16595 18446744073709551615 4194304 4196468 140737180104048 140618180443152 140618226644693 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34947072 140737180111281 140737180111457 140737180111457 140737180114895 0
[pid=21418/tid=21424] ppid=21416 vsize=13980732 memory=12304 CPUtime=0 cores=1,3,5,7
/proc/21418/task/21424/stat : 21424 (java) S 21416 21416 4674 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 128216564 14316269568 16595 18446744073709551615 4194304 4196468 140737180104048 140617794742384 140618226645634 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34947072 140737180111281 140737180111457 140737180111457 140737180114895 0
[pid=21418/tid=21425] ppid=21416 vsize=13980732 memory=164 CPUtime=0 cores=1,3,5,7
/proc/21418/task/21425/stat : 21425 (java) S 21416 21416 4674 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 128216564 14316269568 16595 18446744073709551615 4194304 4196468 140737180104048 140617793688352 140618226644693 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34947072 140737180111281 140737180111457 140737180111457 140737180114895 0
[pid=21418/tid=21426] ppid=21416 vsize=13980732 memory=6944652177228980320 CPUtime=0 cores=1,3,5,7
/proc/21418/task/21426/stat : 21426 (java) S 21416 21416 4674 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 128216565 14316269568 16595 18446744073709551615 4194304 4196468 140737180104048 140617792636016 140618226644693 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34947072 140737180111281 140737180111457 140737180111457 140737180114895 0
[pid=21418/tid=21427] ppid=21416 vsize=13980732 memory=6944656592455097440 CPUtime=0 cores=1,3,5,7
/proc/21418/task/21427/stat : 21427 (java) S 21416 21416 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 128216567 14316269568 16595 18446744073709551615 4194304 4196468 140737180104048 140617791584336 140618226653083 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34947072 140737180111281 140737180111457 140737180111457 140737180114895 0
[pid=21418/tid=21428] ppid=21416 vsize=13980732 memory=6944656575208382560 CPUtime=0.23 cores=1,3,5,7
/proc/21418/task/21428/stat : 21428 (java) R 21416 21416 4674 0 -1 4202560 1859 0 0 0 23 0 0 0 20 0 15 0 128216567 14316269568 16595 18446744073709551615 4194304 4196468 140737180104048 140617790518280 140618204767856 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34947072 140737180111281 140737180111457 140737180111457 140737180114895 0
[pid=21418/tid=21429] ppid=21416 vsize=13980732 memory=6655300316396806240 CPUtime=0.24 cores=1,3,5,7
/proc/21418/task/21429/stat : 21429 (java) R 21416 21416 4674 0 -1 4202560 1982 0 0 0 24 0 0 0 20 0 15 0 128216567 14316269568 16661 18446744073709551615 4194304 4196468 140737180104048 140617789469336 140618210133352 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34947072 140737180111281 140737180111457 140737180111457 140737180114895 0
[pid=21418/tid=21430] ppid=21416 vsize=13980732 memory=0 CPUtime=0.22 cores=1,3,5,7
/proc/21418/task/21430/stat : 21430 (java) S 21416 21416 4674 0 -1 1077944384 1298 0 0 0 22 0 0 0 20 0 15 0 128216567 14316269568 16661 18446744073709551615 4194304 4196468 140737180104048 140617788427120 140618226645634 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34947072 140737180111281 140737180111457 140737180111457 140737180114895 0
[pid=21418/tid=21431] ppid=21416 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21418/task/21431/stat : 21431 (java) S 21416 21416 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 128216567 14316269568 16661 18446744073709551615 4194304 4196468 140737180104048 140617787374560 140618226644693 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34947072 140737180111281 140737180111457 140737180111457 140737180114895 0
[pid=21418/tid=21432] ppid=21416 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21418/task/21432/stat : 21432 (java) S 21416 21416 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 128216572 14316269568 16661 18446744073709551615 4194304 4196468 140737180104048 140617786321328 140618226645634 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34947072 140737180111281 140737180111457 140737180111457 140737180114895 0
Current children cumulated CPU time: 1.27 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 67760 KiB

[startup+1.50086 s]
/proc/loadavg: 2.00 1.78 1.66 5/218 21432
/proc/meminfo: memFree=25570640/32770624 swapFree=67108764/67108860
[pid=21416] ppid=21413 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/21416/stat : 21416 (xcsp3-exec) S 21413 21416 4674 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 128216553 9740288 345 18446744073709551615 4194304 5098028 140731082895792 140731082893896 140659702579836 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 7 0 0 7196144 7232144 18305024 140731082903929 140731082904133 140731082904133 140731082907627 0
/proc/21416/statm: 2378 345 289 221 0 87 0
[pid=21418] ppid=21416 vsize=13980732 memory=116284 CPUtime=3.71 cores=1,3,5,7
/proc/21418/stat : 21418 (java) S 21416 21416 4674 0 -1 1077944320 39178 0 0 0 363 8 0 0 20 0 15 0 128216561 14316269568 29071 18446744073709551615 4194304 4196468 140737180104048 140737180086592 140618226634487 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 34947072 140737180111281 140737180111457 140737180111457 140737180114895 0
/proc/21418/statm: 3495183 29071 3186 1 0 3483476 0
[pid=21418/tid=21419] ppid=21416 vsize=13980732 memory=0 CPUtime=1.35 cores=1,3,5,7
/proc/21418/task/21419/stat : 21419 (java) R 21416 21416 4674 0 -1 4202560 8720 0 0 0 132 3 0 0 20 0 15 0 128216562 14316269568 29071 18446744073709551615 4194304 4196468 140737180104048 140618230869688 140617853150325 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 34947072 140737180111281 140737180111457 140737180111457 140737180114895 0
[pid=21418/tid=21420] ppid=21416 vsize=13980732 memory=-6237260532469557610 CPUtime=0 cores=1,3,5,7
/proc/21418/task/21420/stat : 21420 (java) S 21416 21416 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 128216562 14316269568 29071 18446744073709551615 4194304 4196468 140737180104048 140618183601040 140618226644693 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34947072 140737180111281 140737180111457 140737180111457 140737180114895 0
[pid=21418/tid=21421] ppid=21416 vsize=13980732 memory=-6861001314482542224 CPUtime=0 cores=1,3,5,7
/proc/21418/task/21421/stat : 21421 (java) S 21416 21416 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 128216562 14316269568 29071 18446744073709551615 4194304 4196468 140737180104048 140618182548240 140618226644693 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34947072 140737180111281 140737180111457 140737180111457 140737180114895 0
[pid=21418/tid=21422] ppid=21416 vsize=13980732 memory=164 CPUtime=0 cores=1,3,5,7
/proc/21418/task/21422/stat : 21422 (java) S 21416 21416 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 128216562 14316269568 29071 18446744073709551615 4194304 4196468 140737180104048 140618181495952 140618226644693 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34947072 140737180111281 140737180111457 140737180111457 140737180114895 0
[pid=21418/tid=21423] ppid=21416 vsize=13980732 memory=6944652177228980320 CPUtime=0 cores=1,3,5,7
/proc/21418/task/21423/stat : 21423 (java) S 21416 21416 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 128216562 14316269568 29071 18446744073709551615 4194304 4196468 140737180104048 140618180443152 140618226644693 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34947072 140737180111281 140737180111457 140737180111457 140737180114895 0
[pid=21418/tid=21424] ppid=21416 vsize=13980732 memory=6944656592455097440 CPUtime=0 cores=1,3,5,7

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

/proc/21416/stat : 21416 (xcsp3-exec) S 21413 21416 4674 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 128216553 9740288 345 18446744073709551615 4194304 5098028 140731082895792 140731082893896 140659702579836 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 7 0 0 7196144 7232144 18305024 140731082903929 140731082904133 140731082904133 140731082907627 0
/proc/21416/statm: 2378 345 289 221 0 87 0
[pid=21418] ppid=21416 vsize=13980732 memory=417820 CPUtime=377.02 cores=1,3,5,7
/proc/21418/stat : 21418 (java) S 21416 21416 4674 0 -1 1077944320 90107 0 0 0 37631 71 0 0 20 0 15 0 128216561 14316269568 104455 18446744073709551615 4194304 4196468 140737180104048 140737180086592 140618226634487 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 34947072 140737180111281 140737180111457 140737180111457 140737180114895 0
/proc/21418/statm: 3495183 104455 3221 1 0 3483476 0
[pid=21418/tid=21419] ppid=21416 vsize=13980732 memory=1380 CPUtime=367.28 cores=1,3,5,7
/proc/21418/task/21419/stat : 21419 (java) R 21416 21416 4674 0 -1 4202560 28682 0 0 0 36716 12 0 0 20 0 15 0 128216562 14316269568 104455 18446744073709551615 4194304 4196468 140737180104048 140618230873584 140617853950835 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 34947072 140737180111281 140737180111457 140737180111457 140737180114895 0
[pid=21418/tid=21420] ppid=21416 vsize=13980732 memory=-8774313645642428999 CPUtime=1.19 cores=1,3,5,7
/proc/21418/task/21420/stat : 21420 (java) S 21416 21416 4674 0 -1 1077944384 2692 0 0 0 109 10 0 0 20 0 15 0 128216562 14316269568 104455 18446744073709551615 4194304 4196468 140737180104048 140618183601040 140618226644693 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34947072 140737180111281 140737180111457 140737180111457 140737180114895 0
[pid=21418/tid=21421] ppid=21416 vsize=13980732 memory=419360 CPUtime=1.18 cores=1,3,5,7
/proc/21418/task/21421/stat : 21421 (java) S 21416 21416 4674 0 -1 1077944384 2694 0 0 0 108 10 0 0 20 0 15 0 128216562 14316269568 104455 18446744073709551615 4194304 4196468 140737180104048 140618182548240 140618226644693 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34947072 140737180111281 140737180111457 140737180111457 140737180114895 0
[pid=21418/tid=21422] ppid=21416 vsize=13980732 memory=2012 CPUtime=1.2 cores=1,3,5,7
/proc/21418/task/21422/stat : 21422 (java) S 21416 21416 4674 0 -1 1077944384 3262 0 0 0 109 11 0 0 20 0 15 0 128216562 14316269568 104455 18446744073709551615 4194304 4196468 140737180104048 140618181495952 140618226644693 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34947072 140737180111281 140737180111457 140737180111457 140737180114895 0
[pid=21418/tid=21423] ppid=21416 vsize=13980732 memory=11052 CPUtime=1.2 cores=1,3,5,7
/proc/21418/task/21423/stat : 21423 (java) S 21416 21416 4674 0 -1 1077944384 2925 0 0 0 111 9 0 0 20 0 15 0 128216562 14316269568 104455 18446744073709551615 4194304 4196468 140737180104048 140618180443152 140618226644693 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34947072 140737180111281 140737180111457 140737180111457 140737180114895 0
[pid=21418/tid=21424] ppid=21416 vsize=13980732 memory=-8774313645642428999 CPUtime=0.6 cores=1,3,5,7
/proc/21418/task/21424/stat : 21424 (java) S 21416 21416 4674 0 -1 1077944384 2425 0 0 0 52 8 0 0 20 0 15 0 128216564 14316269568 104455 18446744073709551615 4194304 4196468 140737180104048 140617794742384 140618226645634 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34947072 140737180111281 140737180111457 140737180111457 140737180114895 0
[pid=21418/tid=21425] ppid=21416 vsize=13980732 memory=644 CPUtime=0 cores=1,3,5,7
/proc/21418/task/21425/stat : 21425 (java) S 21416 21416 4674 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 128216564 14316269568 104455 18446744073709551615 4194304 4196468 140737180104048 140617793688352 140618226644693 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34947072 140737180111281 140737180111457 140737180111457 140737180114895 0
[pid=21418/tid=21426] ppid=21416 vsize=13980732 memory=1796 CPUtime=0 cores=1,3,5,7
/proc/21418/task/21426/stat : 21426 (java) S 21416 21416 4674 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 128216565 14316269568 104455 18446744073709551615 4194304 4196468 140737180104048 140617792636016 140618226644693 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34947072 140737180111281 140737180111457 140737180111457 140737180114895 0
[pid=21418/tid=21427] ppid=21416 vsize=13980732 memory=956 CPUtime=0 cores=1,3,5,7
/proc/21418/task/21427/stat : 21427 (java) S 21416 21416 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 128216567 14316269568 104455 18446744073709551615 4194304 4196468 140737180104048 140617791584336 140618226653083 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34947072 140737180111281 140737180111457 140737180111457 140737180114895 0
[pid=21418/tid=21428] ppid=21416 vsize=13980732 memory=2244 CPUtime=1.86 cores=1,3,5,7
/proc/21418/task/21428/stat : 21428 (java) S 21416 21416 4674 0 -1 1077944384 23527 0 0 0 184 2 0 0 20 0 15 0 128216567 14316269568 104455 18446744073709551615 4194304 4196468 140737180104048 140617790532208 140618226645634 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34947072 140737180111281 140737180111457 140737180111457 140737180114895 0
[pid=21418/tid=21429] ppid=21416 vsize=13980732 memory=4148 CPUtime=1.9 cores=1,3,5,7
/proc/21418/task/21429/stat : 21429 (java) S 21416 21416 4674 0 -1 1077944384 17949 0 0 0 188 2 0 0 20 0 15 0 128216567 14316269568 104455 18446744073709551615 4194304 4196468 140737180104048 140617789479408 140618226645634 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34947072 140737180111281 140737180111457 140737180111457 140737180114895 0
[pid=21418/tid=21430] ppid=21416 vsize=13980732 memory=62456 CPUtime=0.34 cores=1,3,5,7
/proc/21418/task/21430/stat : 21430 (java) S 21416 21416 4674 0 -1 1077944384 4305 0 0 0 33 1 0 0 20 0 15 0 128216567 14316269568 104455 18446744073709551615 4194304 4196468 140737180104048 140617788427120 140618226645634 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34947072 140737180111281 140737180111457 140737180111457 140737180114895 0
[pid=21418/tid=21431] ppid=21416 vsize=13980732 memory=1296 CPUtime=0 cores=1,3,5,7
/proc/21418/task/21431/stat : 21431 (java) S 21416 21416 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 128216567 14316269568 104455 18446744073709551615 4194304 4196468 140737180104048 140617787374560 140618226644693 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34947072 140737180111281 140737180111457 140737180111457 140737180114895 0
[pid=21418/tid=21432] ppid=21416 vsize=13980732 memory=2320 CPUtime=0.16 cores=1,3,5,7
/proc/21418/task/21432/stat : 21432 (java) R 21416 21416 4674 0 -1 1077944384 284 0 0 0 6 10 0 0 20 0 15 0 128216572 14316269568 104455 18446744073709551615 4194304 4196468 140737180104048 140617786321328 140618226645634 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34947072 140737180111281 140737180111457 140737180111457 140737180114895 0
Current children cumulated CPU time: 377.02 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 419200 KiB

[startup+371.201 s]
/proc/loadavg: 1.54 1.63 1.64 3/216 21448
/proc/meminfo: memFree=25595356/32770624 swapFree=67108764/67108860
[pid=21416] ppid=21413 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/21416/stat : 21416 (xcsp3-exec) S 21413 21416 4674 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 128216553 9740288 345 18446744073709551615 4194304 5098028 140731082895792 140731082893896 140659702579836 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 7 0 0 7196144 7232144 18305024 140731082903929 140731082904133 140731082904133 140731082907627 0
/proc/21416/statm: 2378 345 289 221 0 87 0
[pid=21418] ppid=21416 vsize=13980732 memory=417308 CPUtime=378.62 cores=1,3,5,7
/proc/21418/stat : 21418 (java) S 21416 21416 4674 0 -1 1077944320 90111 0 0 0 37791 71 0 0 20 0 15 0 128216561 14316269568 104327 18446744073709551615 4194304 4196468 140737180104048 140737180086592 140618226634487 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 34947072 140737180111281 140737180111457 140737180111457 140737180114895 0
/proc/21418/statm: 3495183 104327 3221 1 0 3483476 0
[pid=21418/tid=21419] ppid=21416 vsize=13980732 memory=1228 CPUtime=368.88 cores=1,3,5,7
/proc/21418/task/21419/stat : 21419 (java) R 21416 21416 4674 0 -1 4202560 28683 0 0 0 36876 12 0 0 20 0 15 0 128216562 14316269568 104327 18446744073709551615 4194304 4196468 140737180104048 140618230873584 140617853950852 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 34947072 140737180111281 140737180111457 140737180111457 140737180114895 0
[pid=21418/tid=21420] ppid=21416 vsize=13980732 memory=5712 CPUtime=1.19 cores=1,3,5,7
/proc/21418/task/21420/stat : 21420 (java) S 21416 21416 4674 0 -1 1077944384 2694 0 0 0 109 10 0 0 20 0 15 0 128216562 14316269568 104327 18446744073709551615 4194304 4196468 140737180104048 140618183601040 140618226644693 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34947072 140737180111281 140737180111457 140737180111457 140737180114895 0
[pid=21418/tid=21421] ppid=21416 vsize=13980732 memory=796 CPUtime=1.18 cores=1,3,5,7
/proc/21418/task/21421/stat : 21421 (java) S 21416 21416 4674 0 -1 1077944384 2695 0 0 0 108 10 0 0 20 0 15 0 128216562 14316269568 104327 18446744073709551615 4194304 4196468 140737180104048 140618182548240 140618226644693 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34947072 140737180111281 140737180111457 140737180111457 140737180114895 0
[pid=21418/tid=21422] ppid=21416 vsize=13980732 memory=4148 CPUtime=1.2 cores=1,3,5,7
/proc/21418/task/21422/stat : 21422 (java) S 21416 21416 4674 0 -1 1077944384 3262 0 0 0 109 11 0 0 20 0 15 0 128216562 14316269568 104327 18446744073709551615 4194304 4196468 140737180104048 140618181495952 140618226644693 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34947072 140737180111281 140737180111457 140737180111457 140737180114895 0
[pid=21418/tid=21423] ppid=21416 vsize=13980732 memory=62456 CPUtime=1.2 cores=1,3,5,7
/proc/21418/task/21423/stat : 21423 (java) S 21416 21416 4674 0 -1 1077944384 2925 0 0 0 111 9 0 0 20 0 15 0 128216562 14316269568 104327 18446744073709551615 4194304 4196468 140737180104048 140618180443152 140618226644693 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34947072 140737180111281 140737180111457 140737180111457 140737180114895 0
[pid=21418/tid=21424] ppid=21416 vsize=13980732 memory=1296 CPUtime=0.6 cores=1,3,5,7
/proc/21418/task/21424/stat : 21424 (java) S 21416 21416 4674 0 -1 1077944384 2425 0 0 0 52 8 0 0 20 0 15 0 128216564 14316269568 104327 18446744073709551615 4194304 4196468 140737180104048 140617794742384 140618226645634 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34947072 140737180111281 140737180111457 140737180111457 140737180114895 0
[pid=21418/tid=21425] ppid=21416 vsize=13980732 memory=796 CPUtime=0 cores=1,3,5,7
/proc/21418/task/21425/stat : 21425 (java) S 21416 21416 4674 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 128216564 14316269568 104327 18446744073709551615 4194304 4196468 140737180104048 140617793688352 140618226644693 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34947072 140737180111281 140737180111457 140737180111457 140737180114895 0
[pid=21418/tid=21426] ppid=21416 vsize=13980732 memory=2164 CPUtime=0 cores=1,3,5,7
/proc/21418/task/21426/stat : 21426 (java) S 21416 21416 4674 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 128216565 14316269568 104327 18446744073709551615 4194304 4196468 140737180104048 140617792636016 140618226644693 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34947072 140737180111281 140737180111457 140737180111457 140737180114895 0
[pid=21418/tid=21427] ppid=21416 vsize=13980732 memory=844 CPUtime=0 cores=1,3,5,7
/proc/21418/task/21427/stat : 21427 (java) S 21416 21416 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 128216567 14316269568 104327 18446744073709551615 4194304 4196468 140737180104048 140617791584336 140618226653083 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34947072 140737180111281 140737180111457 140737180111457 140737180114895 0
[pid=21418/tid=21428] ppid=21416 vsize=13980732 memory=12304 CPUtime=1.86 cores=1,3,5,7
/proc/21418/task/21428/stat : 21428 (java) S 21416 21416 4674 0 -1 1077944384 23527 0 0 0 184 2 0 0 20 0 15 0 128216567 14316269568 104327 18446744073709551615 4194304 4196468 140737180104048 140617790532208 140618226645634 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34947072 140737180111281 140737180111457 140737180111457 140737180114895 0
[pid=21418/tid=21429] ppid=21416 vsize=13980732 memory=1204 CPUtime=1.9 cores=1,3,5,7
/proc/21418/task/21429/stat : 21429 (java) S 21416 21416 4674 0 -1 1077944384 17949 0 0 0 188 2 0 0 20 0 15 0 128216567 14316269568 104327 18446744073709551615 4194304 4196468 140737180104048 140617789479408 140618226645634 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34947072 140737180111281 140737180111457 140737180111457 140737180114895 0
[pid=21418/tid=21430] ppid=21416 vsize=13980732 memory=15880 CPUtime=0.34 cores=1,3,5,7
/proc/21418/task/21430/stat : 21430 (java) S 21416 21416 4674 0 -1 1077944384 4305 0 0 0 33 1 0 0 20 0 15 0 128216567 14316269568 104327 18446744073709551615 4194304 4196468 140737180104048 140617788427120 140618226645634 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34947072 140737180111281 140737180111457 140737180111457 140737180114895 0
[pid=21418/tid=21431] ppid=21416 vsize=13980732 memory=4048 CPUtime=0 cores=1,3,5,7
/proc/21418/task/21431/stat : 21431 (java) S 21416 21416 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 128216567 14316269568 104327 18446744073709551615 4194304 4196468 140737180104048 140617787374560 140618226644693 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34947072 140737180111281 140737180111457 140737180111457 140737180114895 0
[pid=21418/tid=21432] ppid=21416 vsize=13980732 memory=-3622645143214314312 CPUtime=0.16 cores=1,3,5,7
/proc/21418/task/21432/stat : 21432 (java) S 21416 21416 4674 0 -1 1077944384 284 0 0 0 6 10 0 0 20 0 15 0 128216572 14316269568 104327 18446744073709551615 4194304 4196468 140737180104048 140617786321328 140618226645634 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34947072 140737180111281 140737180111457 140737180111457 140737180114895 0
Current children cumulated CPU time: 378.62 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 418688 KiB

[startup+371.601 s]
/proc/loadavg: 1.54 1.63 1.64 3/216 21448
/proc/meminfo: memFree=25595356/32770624 swapFree=67108764/67108860
[pid=21416] ppid=21413 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/21416/stat : 21416 (xcsp3-exec) S 21413 21416 4674 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 128216553 9740288 345 18446744073709551615 4194304 5098028 140731082895792 140731082893896 140659702579836 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 7 0 0 7196144 7232144 18305024 140731082903929 140731082904133 140731082904133 140731082907627 0
/proc/21416/statm: 2378 345 289 221 0 87 0
[pid=21418] ppid=21416 vsize=13980732 memory=417308 CPUtime=379.02 cores=1,3,5,7
/proc/21418/stat : 21418 (java) S 21416 21416 4674 0 -1 1077944320 90111 0 0 0 37831 71 0 0 20 0 15 0 128216561 14316269568 104327 18446744073709551615 4194304 4196468 140737180104048 140737180086592 140618226634487 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 34947072 140737180111281 140737180111457 140737180111457 140737180114895 0
/proc/21418/statm: 3495183 104327 3221 1 0 3483476 0
[pid=21418/tid=21419] ppid=21416 vsize=13980732 memory=7811043193678096448 CPUtime=369.28 cores=1,3,5,7
/proc/21418/task/21419/stat : 21419 (java) R 21416 21416 4674 0 -1 4202560 28683 0 0 0 36916 12 0 0 20 0 15 0 128216562 14316269568 104327 18446744073709551615 4194304 4196468 140737180104048 140618230873584 140617854503825 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 34947072 140737180111281 140737180111457 140737180111457 140737180114895 0
[pid=21418/tid=21420] ppid=21416 vsize=13980732 memory=-8774313645642428999 CPUtime=1.19 cores=1,3,5,7
/proc/21418/task/21420/stat : 21420 (java) S 21416 21416 4674 0 -1 1077944384 2694 0 0 0 109 10 0 0 20 0 15 0 128216562 14316269568 104327 18446744073709551615 4194304 4196468 140737180104048 140618183601040 140618226644693 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34947072 140737180111281 140737180111457 140737180111457 140737180114895 0
[pid=21418/tid=21421] ppid=21416 vsize=13980732 memory=4145 CPUtime=1.18 cores=1,3,5,7
/proc/21418/task/21421/stat : 21421 (java) S 21416 21416 4674 0 -1 1077944384 2695 0 0 0 108 10 0 0 20 0 15 0 128216562 14316269568 104327 18446744073709551615 4194304 4196468 140737180104048 140618182548240 140618226644693 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34947072 140737180111281 140737180111457 140737180111457 140737180114895 0
[pid=21418/tid=21422] ppid=21416 vsize=13980732 memory=7 CPUtime=1.2 cores=1,3,5,7
/proc/21418/task/21422/stat : 21422 (java) S 21416 21416 4674 0 -1 1077944384 3262 0 0 0 109 11 0 0 20 0 15 0 128216562 14316269568 104327 18446744073709551615 4194304 4196468 140737180104048 140618181495952 140618226644693 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34947072 140737180111281 140737180111457 140737180111457 140737180114895 0
[pid=21418/tid=21423] ppid=21416 vsize=13980732 memory=197 CPUtime=1.2 cores=1,3,5,7
/proc/21418/task/21423/stat : 21423 (java) S 21416 21416 4674 0 -1 1077944384 2925 0 0 0 111 9 0 0 20 0 15 0 128216562 14316269568 104327 18446744073709551615 4194304 4196468 140737180104048 140618180443152 140618226644693 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34947072 140737180111281 140737180111457 140737180111457 140737180114895 0
[pid=21418/tid=21424] ppid=21416 vsize=13980732 memory=1380 CPUtime=0.6 cores=1,3,5,7
/proc/21418/task/21424/stat : 21424 (java) S 21416 21416 4674 0 -1 1077944384 2425 0 0 0 52 8 0 0 20 0 15 0 128216564 14316269568 104327 18446744073709551615 4194304 4196468 140737180104048 140617794742384 140618226645634 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34947072 140737180111281 140737180111457 140737180111457 140737180114895 0
[pid=21418/tid=21425] ppid=21416 vsize=13980732 memory=417820 CPUtime=0 cores=1,3,5,7
/proc/21418/task/21425/stat : 21425 (java) S 21416 21416 4674 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 128216564 14316269568 104327 18446744073709551615 4194304 4196468 140737180104048 140617793688352 140618226644693 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34947072 140737180111281 140737180111457 140737180111457 140737180114895 0
[pid=21418/tid=21426] ppid=21416 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/21418/task/21426/stat : 21426 (java) S 21416 21416 4674 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 128216565 14316269568 104327 18446744073709551615 4194304 4196468 140737180104048 140617792636016 140618226644693 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34947072 140737180111281 140737180111457 140737180111457 140737180114895 0
[pid=21418/tid=21427] ppid=21416 vsize=13980732 memory=419872 CPUtime=0 cores=1,3,5,7
/proc/21418/task/21427/stat : 21427 (java) S 21416 21416 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 128216567 14316269568 104327 18446744073709551615 4194304 4196468 140737180104048 140617791584336 140618226653083 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34947072 140737180111281 140737180111457 140737180111457 140737180114895 0
[pid=21418/tid=21428] ppid=21416 vsize=13980732 memory=928 CPUtime=1.86 cores=1,3,5,7
/proc/21418/task/21428/stat : 21428 (java) S 21416 21416 4674 0 -1 1077944384 23527 0 0 0 184 2 0 0 20 0 15 0 128216567 14316269568 104327 18446744073709551615 4194304 4196468 140737180104048 140617790532208 140618226645634 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34947072 140737180111281 140737180111457 140737180111457 140737180114895 0
[pid=21418/tid=21429] ppid=21416 vsize=13980732 memory=2164 CPUtime=1.9 cores=1,3,5,7
/proc/21418/task/21429/stat : 21429 (java) S 21416 21416 4674 0 -1 1077944384 17949 0 0 0 188 2 0 0 20 0 15 0 128216567 14316269568 104327 18446744073709551615 4194304 4196468 140737180104048 140617789479408 140618226645634 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34947072 140737180111281 140737180111457 140737180111457 140737180114895 0
[pid=21418/tid=21430] ppid=21416 vsize=13980732 memory=844 CPUtime=0.34 cores=1,3,5,7
/proc/21418/task/21430/stat : 21430 (java) S 21416 21416 4674 0 -1 1077944384 4305 0 0 0 33 1 0 0 20 0 15 0 128216567 14316269568 104327 18446744073709551615 4194304 4196468 140737180104048 140617788427120 140618226645634 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34947072 140737180111281 140737180111457 140737180111457 140737180114895 0
[pid=21418/tid=21431] ppid=21416 vsize=13980732 memory=16436 CPUtime=0 cores=1,3,5,7
/proc/21418/task/21431/stat : 21431 (java) S 21416 21416 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 128216567 14316269568 104327 18446744073709551615 4194304 4196468 140737180104048 140617787374560 140618226644693 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34947072 140737180111281 140737180111457 140737180111457 140737180114895 0
[pid=21418/tid=21432] ppid=21416 vsize=13980732 memory=417308 CPUtime=0.16 cores=1,3,5,7
/proc/21418/task/21432/stat : 21432 (java) S 21416 21416 4674 0 -1 1077944384 284 0 0 0 6 10 0 0 20 0 15 0 128216572 14316269568 104327 18446744073709551615 4194304 4196468 140737180104048 140617786321328 140618226645634 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34947072 140737180111281 140737180111457 140737180111457 140737180114895 0
Current children cumulated CPU time: 379.02 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 418688 KiB

[startup+372.001 s]*
/proc/loadavg: 1.54 1.63 1.64 3/216 21448
/proc/meminfo: memFree=25595852/32770624 swapFree=67108764/67108860
[pid=21416] ppid=21413 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/21416/stat : 21416 (xcsp3-exec) S 21413 21416 4674 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 128216553 9740288 345 18446744073709551615 4194304 5098028 140731082895792 140731082893896 140659702579836 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 7 0 0 7196144 7232144 18305024 140731082903929 140731082904133 140731082904133 140731082907627 0
/proc/21416/statm: 2378 345 289 221 0 87 0
[pid=21418] ppid=21416 vsize=13980732 memory=416796 CPUtime=379.44 cores=1,3,5,7
/proc/21418/stat : 21418 (java) S 21416 21416 4674 0 -1 1077944320 90116 0 0 0 37873 71 0 0 20 0 15 0 128216561 14316269568 104199 18446744073709551615 4194304 4196468 140737180104048 140737180086592 140618226634487 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 34947072 140737180111281 140737180111457 140737180111457 140737180114895 0
/proc/21418/statm: 3495183 104199 3221 1 0 3483476 0
[pid=21418/tid=21419] ppid=21416 vsize=13980732 memory=1728 CPUtime=369.68 cores=1,3,5,7
/proc/21418/task/21419/stat : 21419 (java) R 21416 21416 4674 0 -1 4202560 28684 0 0 0 36956 12 0 0 20 0 15 0 128216562 14316269568 104199 18446744073709551615 4194304 4196468 140737180104048 140618230873696 140617853951482 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 34947072 140737180111281 140737180111457 140737180111457 140737180114895 0
[pid=21418/tid=21420] ppid=21416 vsize=13980732 memory=4572 CPUtime=1.2 cores=1,3,5,7
/proc/21418/task/21420/stat : 21420 (java) S 21416 21416 4674 0 -1 1077944384 2698 0 0 0 110 10 0 0 20 0 15 0 128216562 14316269568 104199 18446744073709551615 4194304 4196468 140737180104048 140618183601040 140618226644693 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34947072 140737180111281 140737180111457 140737180111457 140737180114895 0
[pid=21418/tid=21421] ppid=21416 vsize=13980732 memory=4872558044660077418 CPUtime=1.18 cores=1,3,5,7
/proc/21418/task/21421/stat : 21421 (java) S 21416 21416 4674 0 -1 1077944384 2695 0 0 0 108 10 0 0 20 0 15 0 128216562 14316269568 104199 18446744073709551615 4194304 4196468 140737180104048 140618182548240 140618226644693 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34947072 140737180111281 140737180111457 140737180111457 140737180114895 0
[pid=21418/tid=21422] ppid=21416 vsize=13980732 memory=418336 CPUtime=1.21 cores=1,3,5,7
/proc/21418/task/21422/stat : 21422 (java) S 21416 21416 4674 0 -1 1077944384 3262 0 0 0 110 11 0 0 20 0 15 0 128216562 14316269568 104199 18446744073709551615 4194304 4196468 140737180104048 140618181495952 140618226644693 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34947072 140737180111281 140737180111457 140737180111457 140737180114895 0
[pid=21418/tid=21423] ppid=21416 vsize=13980732 memory=1380 CPUtime=1.2 cores=1,3,5,7
/proc/21418/task/21423/stat : 21423 (java) S 21416 21416 4674 0 -1 1077944384 2925 0 0 0 111 9 0 0 20 0 15 0 128216562 14316269568 104199 18446744073709551615 4194304 4196468 140737180104048 140618180443152 140618226644693 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34947072 140737180111281 140737180111457 140737180111457 140737180114895 0
[pid=21418/tid=21424] ppid=21416 vsize=13980732 memory=1796 CPUtime=0.6 cores=1,3,5,7
/proc/21418/task/21424/stat : 21424 (java) S 21416 21416 4674 0 -1 1077944384 2425 0 0 0 52 8 0 0 20 0 15 0 128216564 14316269568 104199 18446744073709551615 4194304 4196468 140737180104048 140617794742384 140618226645634 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34947072 140737180111281 140737180111457 140737180111457 140737180114895 0
[pid=21418/tid=21425] ppid=21416 vsize=13980732 memory=956 CPUtime=0 cores=1,3,5,7
/proc/21418/task/21425/stat : 21425 (java) S 21416 21416 4674 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 128216564 14316269568 104199 18446744073709551615 4194304 4196468 140737180104048 140617793688352 140618226644693 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34947072 140737180111281 140737180111457 140737180111457 140737180114895 0
[pid=21418/tid=21426] ppid=21416 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/21418/task/21426/stat : 21426 (java) S 21416 21416 4674 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 128216565 14316269568 104199 18446744073709551615 4194304 4196468 140737180104048 140617792636016 140618226644693 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34947072 140737180111281 140737180111457 140737180111457 140737180114895 0
[pid=21418/tid=21427] ppid=21416 vsize=13980732 memory=422440 CPUtime=0 cores=1,3,5,7
/proc/21418/task/21427/stat : 21427 (java) S 21416 21416 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 128216567 14316269568 104199 18446744073709551615 4194304 4196468 140737180104048 140617791584336 140618226653083 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34947072 140737180111281 140737180111457 140737180111457 140737180114895 0
[pid=21418/tid=21428] ppid=21416 vsize=13980732 memory=1608 CPUtime=1.86 cores=1,3,5,7
/proc/21418/task/21428/stat : 21428 (java) S 21416 21416 4674 0 -1 1077944384 23527 0 0 0 184 2 0 0 20 0 15 0 128216567 14316269568 104199 18446744073709551615 4194304 4196468 140737180104048 140617790532208 140618226645634 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34947072 140737180111281 140737180111457 140737180111457 140737180114895 0
[pid=21418/tid=21429] ppid=21416 vsize=13980732 memory=928 CPUtime=1.9 cores=1,3,5,7
/proc/21418/task/21429/stat : 21429 (java) S 21416 21416 4674 0 -1 1077944384 17949 0 0 0 188 2 0 0 20 0 15 0 128216567 14316269568 104199 18446744073709551615 4194304 4196468 140737180104048 140617789479408 140618226645634 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34947072 140737180111281 140737180111457 140737180111457 140737180114895 0
[pid=21418/tid=21430] ppid=21416 vsize=13980732 memory=1728 CPUtime=0.34 cores=1,3,5,7
/proc/21418/task/21430/stat : 21430 (java) S 21416 21416 4674 0 -1 1077944384 4305 0 0 0 33 1 0 0 20 0 15 0 128216567 14316269568 104199 18446744073709551615 4194304 4196468 140737180104048 140617788427120 140618226645634 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34947072 140737180111281 140737180111457 140737180111457 140737180114895 0
[pid=21418/tid=21431] ppid=21416 vsize=13980732 memory=4572 CPUtime=0 cores=1,3,5,7
/proc/21418/task/21431/stat : 21431 (java) S 21416 21416 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 128216567 14316269568 104199 18446744073709551615 4194304 4196468 140737180104048 140617787374560 140618226644693 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34947072 140737180111281 140737180111457 140737180111457 140737180114895 0
[pid=21418/tid=21432] ppid=21416 vsize=13980732 memory=1444 CPUtime=0.16 cores=1,3,5,7
/proc/21418/task/21432/stat : 21432 (java) S 21416 21416 4674 0 -1 1077944384 284 0 0 0 6 10 0 0 20 0 15 0 128216572 14316269568 104199 18446744073709551615 4194304 4196468 140737180104048 140617786321328 140618226645634 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34947072 140737180111281 140737180111457 140737180111457 140737180114895 0
Current children cumulated CPU time: 379.44 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 418176 KiB

Child status: 0
Real time (s): 372.086
CPU time (s): 379.529
CPU user time (s): 378.802
CPU system time (s): 0.727266
CPU usage (%): 102
Max. virtual memory (cumulated for all children) (KiB): 13994616
Max. memory (cumulated for all children) (KiB): 437628

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 378.802
system time used= 0.727266
maximum resident set size= 436764
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 91127
page faults= 0
swaps= 0
block input operations= 0
block output operations= 552
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 25469
involuntary context switches= 926


# summary of solver processes directly reported to runsolver:
#   pid: 21416
#   total CPU time (s): 379.529
#   total CPU user time (s): 378.802
#   total CPU system time (s): 0.727266

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.25656 second user time and 3.65348 second system time

The end

Launcher Data 

Begin job on node134 at 2017-08-15 16:11:07
IDJOB=4269130
IDBENCH=133460
IDSOLVER=2660
FILE ID=node134/4269130-1502807100
RUNJOBID= node134-1502649032-24471
PBS_JOBID= 
Free space on /tmp= 61904 MiB

SOLVER NAME= choco-solver 4.0.5 seq
BENCH NAME= XCSP17/Knapsack/Knapsack-m1-s50/Knapsack-50-200-18.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-4269130-1502807100/watcher-4269130-1502807100 -o /tmp/evaluation-result-4269130-1502807100/solver-4269130-1502807100 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node134-1502649032-24471 --watchdog 2580  ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 441009890 HOME/instance-4269130-1502807100.xml

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

MD5SUM BENCH= fc58042bc4c17dd15fe4721e0dab7678
RANDOM SEED=441009890

node134.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.43
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.43
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.43
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.43
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:        25668224 kB
MemAvailable:   26087780 kB
Buffers:          280600 kB
Cached:           441968 kB
SwapCached:            4 kB
Active:          6389016 kB
Inactive:         252200 kB
Active(anon):    5865584 kB
Inactive(anon):   102688 kB
Active(file):     523432 kB
Inactive(file):   149512 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108764 kB
Dirty:              7824 kB
Writeback:            16 kB
AnonPages:       5918208 kB
Mapped:            74216 kB
Shmem:             49756 kB
Slab:             152116 kB
SReclaimable:     124896 kB
SUnreclaim:        27220 kB
KernelStack:        3552 kB
PageTables:        17184 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    6991160 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      354332 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   5787648 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      101760 kB
DirectMap2M:    33443840 kB

Free space on /tmp at the end= 61896 MiB
End job on node134 at 2017-08-15 16:17:19