Trace number 4400492

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 2019-09-16OPT89 584.003 147.083

General information on the benchmark

NameRcpsp/Rcpsp-m1-j60/
Rcpsp-j60-21-05.xml
MD5SUM42feabc1334beaea3bf22cfd312dd4ae
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark89
Best CPU time to get the best result obtained on this benchmark306.205
Satisfiable
(Un)Satisfiability was proved
Number of variables62
Number of constraints116
Number of domains2
Minimum domain size1
Maximum domain size327
Distribution of domain sizes[{"size":1,"count":1},{"size":327,"count":61}]
Minimum variable degree3
Maximum variable degree8
Distribution of variable degrees[{"degree":3,"count":4},{"degree":4,"count":11},{"degree":5,"count":14},{"degree":6,"count":16},{"degree":7,"count":12},{"degree":8,"count":5}]
Minimum constraint arity2
Maximum constraint arity32
Distribution of constraint arities[{"arity":2,"count":112},{"arity":28,"count":1},{"arity":29,"count":1},{"arity":32,"count":2}]
Number of extensional constraints0
Number of intensional constraints112
Distribution of constraint types[{"type":"intension","count":112},{"type":"cumulative","count":4}]
Optimization problemYES
Type of objectivemin VAR

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 -Xmx12000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4400492-1568694434.xml"  -tl '2400s' -p 4
0.13/0.18	c Choco e747e1e
0.13/0.18	c [HOME/instance-4400492-1568694434.xml, -tl, 2400s, -p, 4]
0.34/0.22	c 4 solvers in parallel
0.34/0.28	c parse instance...
1.61/0.70	c solve instance...
2.02/0.84	o 115 
2.02/0.88	o 113 
2.02/0.88	o 110 
2.02/0.90	o 108 
2.37/0.90	o 107 
2.37/0.91	o 106 
2.37/0.92	o 105 
2.37/0.97	o 104 
2.37/0.98	o 103 
2.37/0.99	o 102 
2.75/1.07	o 101 
2.75/1.08	o 100 
2.75/1.08	o 99 
5.07/1.69	o 98 
7.06/2.13	o 97 
10.23/2.97	o 95 
10.66/3.04	o 94 
14.59/4.08	o 93 
15.72/4.37	o 92 
80.56/20.62	o 91 
203.94/51.60	o 90 
224.23/56.78	o 89 
583.73/147.07	s OPTIMUM FOUND
583.73/147.07	v <instantiation>
583.73/147.07	v 	<list>s[0] s[1] s[2] s[3] s[4] s[5] s[6] s[7] s[8] s[9] s[10] s[11] s[12] s[13] s[14] s[15] s[16] s[17] s[18] s[19] s[20] s[21] s[22] s[23] s[24] s[25] s[26] s[27] s[28] s[29] s[30] s[31] s[32] s[33] s[34] s[35] s[36] s[37] s[38] s[39] s[40] s[41] s[42] s[43] s[44] s[45] s[46] s[47] s[48] s[49] s[50] s[51] s[52] s[53] s[54] s[55] s[56] s[57] s[58] s[59] s[60] s[61] </list>
583.73/147.07	v 	<values>0 0 0 0 3 16 14 11 7 20 8 2 16 24 48 54 31 22 36 23 3 29 32 11 32 34 27 41 40 16 30 55 40 24 57 54 55 57 34 51 53 41 65 50 64 34 50 56 28 54 55 72 64 66 70 74 77 74 81 76 68 89 </values>
583.73/147.07	v </instantiation>

Verifier Data 

OK	89

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4400492-1568694434/watcher-4400492-1568694434 -o /tmp/evaluation-result-4400492-1568694434/solver-4400492-1568694434 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node124-1568694194-22970 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 12000 -tdir HOME -seed 7318092 HOME/instance-4400492-1568694434.xml 

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

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

solver pid=24763, runsolver pid=24760

[startup+0.100622 s]*
/proc/loadavg: 8.56 5.05 2.90 7/234 24779
/proc/meminfo: memFree=28252564/32770624 swapFree=66959728/67108860
[pid=24763] ppid=24760 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/24763/stat : 24763 (xcsp3-exec) S 24760 24763 22939 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 445383560 115843072 363 33554432000 4194304 5098028 140729561577744 140729561575848 140527274996348 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 12886016 140729561580413 140729561580653 140729561580653 140729561583562 0
/proc/24763/statm: 28282 363 304 221 0 87 0
[pid=24765] ppid=24763 vsize=15144776 memory=29088 CPUtime=0.13 cores=0,2,4,6
/proc/24765/stat : 24765 (java) S 24763 24763 22939 0 -1 1077944320 5779 0 0 0 13 0 0 0 20 0 15 0 445383561 15508250624 7272 33554432000 4194304 4196468 140730533022960 140730533005504 140352394907383 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 32079872 140730533028847 140730533029018 140730533029018 140730533031887 0
/proc/24765/statm: 3786194 7272 3118 1 0 3748377 0
[pid=24765/tid=24766] ppid=24763 vsize=15144776 memory=-6962121287837372198 CPUtime=0.09 cores=0,2,4,6
/proc/24765/task/24766/stat : 24766 (java) R 24763 24763 22939 0 -1 4202560 3674 0 0 0 9 0 0 0 20 0 15 0 445383561 15508250624 7338 33554432000 4194304 4196468 140730533022960 140352399133344 140352387144510 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32079872 140730533028847 140730533029018 140730533029018 140730533031887 0
[pid=24765/tid=24767] ppid=24763 vsize=15144776 memory=-3689349214911541841 CPUtime=0 cores=0,2,4,6
/proc/24765/task/24767/stat : 24767 (java) S 24763 24763 22939 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445383562 15508250624 7338 33554432000 4194304 4196468 140730533022960 140351986915856 140352394917589 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32079872 140730533028847 140730533029018 140730533029018 140730533031887 0
[pid=24765/tid=24768] ppid=24763 vsize=15144776 memory=140468543264384 CPUtime=0 cores=0,2,4,6
/proc/24765/task/24768/stat : 24768 (java) S 24763 24763 22939 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445383562 15508250624 7338 33554432000 4194304 4196468 140730533022960 140351985863312 140352394917589 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32079872 140730533028847 140730533029018 140730533029018 140730533031887 0
[pid=24765/tid=24769] ppid=24763 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24765/task/24769/stat : 24769 (java) S 24763 24763 22939 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445383562 15508250624 7338 33554432000 4194304 4196468 140730533022960 140351984810256 140352394917589 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32079872 140730533028847 140730533029018 140730533029018 140730533031887 0
[pid=24765/tid=24770] ppid=24763 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/24765/task/24770/stat : 24770 (java) S 24763 24763 22939 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445383562 15508250624 7338 33554432000 4194304 4196468 140730533022960 140351983757712 140352394917589 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32079872 140730533028847 140730533029018 140730533029018 140730533031887 0
[pid=24765/tid=24771] ppid=24763 vsize=15144776 memory=140468543264384 CPUtime=0 cores=0,2,4,6
/proc/24765/task/24771/stat : 24771 (java) S 24763 24763 22939 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445383563 15508250624 7338 33554432000 4194304 4196468 140730533022960 140351863089904 140352394918530 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32079872 140730533028847 140730533029018 140730533029018 140730533031887 0
[pid=24765/tid=24772] ppid=24763 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/24765/task/24772/stat : 24772 (java) S 24763 24763 22939 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445383564 15508250624 7338 33554432000 4194304 4196468 140730533022960 140351862036128 140352394917589 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32079872 140730533028847 140730533029018 140730533029018 140730533031887 0
[pid=24765/tid=24773] ppid=24763 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24765/task/24773/stat : 24773 (java) S 24763 24763 22939 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445383564 15508250624 7338 33554432000 4194304 4196468 140730533022960 140351860983024 140352394917589 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32079872 140730533028847 140730533029018 140730533029018 140730533031887 0
[pid=24765/tid=24774] ppid=24763 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24765/task/24774/stat : 24774 (java) S 24763 24763 22939 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445383566 15508250624 7338 33554432000 4194304 4196468 140730533022960 140351859931600 140352394925979 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32079872 140730533028847 140730533029018 140730533029018 140730533031887 0
[pid=24765/tid=24775] ppid=24763 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24765/task/24775/stat : 24775 (java) R 24763 24763 22939 0 -1 4202560 341 0 0 0 0 0 0 0 20 0 15 0 445383566 15508250624 7338 33554432000 4194304 4196468 140730533022960 140351858870208 140352372740240 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32079872 140730533028847 140730533029018 140730533029018 140730533031887 0
[pid=24765/tid=24776] ppid=24763 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/24765/task/24776/stat : 24776 (java) R 24763 24763 22939 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 15 0 445383566 15508250624 7338 33554432000 4194304 4196468 140730533022960 140351857826256 140352394917589 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32079872 140730533028847 140730533029018 140730533029018 140730533031887 0
[pid=24765/tid=24777] ppid=24763 vsize=15144776 memory=140468543264384 CPUtime=0.02 cores=0,2,4,6
/proc/24765/task/24777/stat : 24777 (java) S 24763 24763 22939 0 -1 1077944384 350 0 0 0 2 0 0 0 20 0 15 0 445383566 15508250624 7338 33554432000 4194304 4196468 140730533022960 140351856773104 140352394918530 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32079872 140730533028847 140730533029018 140730533029018 140730533031887 0
[pid=24765/tid=24778] ppid=24763 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/24765/task/24778/stat : 24778 (java) S 24763 24763 22939 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445383566 15508250624 7338 33554432000 4194304 4196468 140730533022960 140351855720800 140352394917589 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32079872 140730533028847 140730533029018 140730533029018 140730533031887 0
[pid=24765/tid=24779] ppid=24763 vsize=15144776 memory=140468543264384 CPUtime=0 cores=0,2,4,6
/proc/24765/task/24779/stat : 24779 (java) S 24763 24763 22939 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445383567 15508250624 7338 33554432000 4194304 4196468 140730533022960 140351854668848 140352394918530 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32079872 140730533028847 140730533029018 140730533029018 140730533031887 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 30540 KiB

[startup+0.210937 s]*
/proc/loadavg: 8.56 5.05 2.90 6/234 24779
/proc/meminfo: memFree=28239764/32770624 swapFree=66959728/67108860
[pid=24763] ppid=24760 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/24763/stat : 24763 (xcsp3-exec) S 24760 24763 22939 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 445383560 115843072 363 33554432000 4194304 5098028 140729561577744 140729561575848 140527274996348 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 12886016 140729561580413 140729561580653 140729561580653 140729561583562 0
/proc/24763/statm: 28282 363 304 221 0 87 0
[pid=24765] ppid=24763 vsize=15144776 memory=40860 CPUtime=0.34 cores=0,2,4,6
/proc/24765/stat : 24765 (java) S 24763 24763 22939 0 -1 1077944320 9481 0 0 0 32 2 0 0 20 0 15 0 445383561 15508250624 10215 33554432000 4194304 4196468 140730533022960 140730533005504 140352394907383 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 32079872 140730533028847 140730533029018 140730533029018 140730533031887 0
/proc/24765/statm: 3786194 10215 3302 1 0 3748377 0
[pid=24765/tid=24766] ppid=24763 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/24765/task/24766/stat : 24766 (java) R 24763 24763 22939 0 -1 4202560 6637 0 0 0 18 2 0 0 20 0 15 0 445383561 15508250624 10215 33554432000 4194304 4196468 140730533022960 140352399141088 140352394919318 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32079872 140730533028847 140730533029018 140730533029018 140730533031887 0
[pid=24765/tid=24767] ppid=24763 vsize=15144776 memory=1965946 CPUtime=0 cores=0,2,4,6
/proc/24765/task/24767/stat : 24767 (java) S 24763 24763 22939 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445383562 15508250624 10215 33554432000 4194304 4196468 140730533022960 140351986915856 140352394917589 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32079872 140730533028847 140730533029018 140730533029018 140730533031887 0
[pid=24765/tid=24768] ppid=24763 vsize=15144776 memory=140468546617203 CPUtime=0 cores=0,2,4,6
/proc/24765/task/24768/stat : 24768 (java) S 24763 24763 22939 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445383562 15508250624 10215 33554432000 4194304 4196468 140730533022960 140351985863312 140352394917589 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32079872 140730533028847 140730533029018 140730533029018 140730533031887 0
[pid=24765/tid=24769] ppid=24763 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24765/task/24769/stat : 24769 (java) S 24763 24763 22939 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445383562 15508250624 10215 33554432000 4194304 4196468 140730533022960 140351984810256 140352394917589 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32079872 140730533028847 140730533029018 140730533029018 140730533031887 0
[pid=24765/tid=24770] ppid=24763 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/24765/task/24770/stat : 24770 (java) S 24763 24763 22939 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445383562 15508250624 10215 33554432000 4194304 4196468 140730533022960 140351983757712 140352394917589 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32079872 140730533028847 140730533029018 140730533029018 140730533031887 0
[pid=24765/tid=24771] ppid=24763 vsize=15144776 memory=140468543264384 CPUtime=0 cores=0,2,4,6
/proc/24765/task/24771/stat : 24771 (java) S 24763 24763 22939 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 445383563 15508250624 10215 33554432000 4194304 4196468 140730533022960 140351863089904 140352394918530 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32079872 140730533028847 140730533029018 140730533029018 140730533031887 0
[pid=24765/tid=24772] ppid=24763 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/24765/task/24772/stat : 24772 (java) S 24763 24763 22939 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445383564 15508250624 10215 33554432000 4194304 4196468 140730533022960 140351862036128 140352394917589 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32079872 140730533028847 140730533029018 140730533029018 140730533031887 0
[pid=24765/tid=24773] ppid=24763 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24765/task/24773/stat : 24773 (java) S 24763 24763 22939 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445383564 15508250624 10215 33554432000 4194304 4196468 140730533022960 140351860983024 140352394917589 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32079872 140730533028847 140730533029018 140730533029018 140730533031887 0
[pid=24765/tid=24774] ppid=24763 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24765/task/24774/stat : 24774 (java) S 24763 24763 22939 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445383566 15508250624 10215 33554432000 4194304 4196468 140730533022960 140351859931600 140352394925979 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32079872 140730533028847 140730533029018 140730533029018 140730533031887 0
[pid=24765/tid=24775] ppid=24763 vsize=15144776 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/24765/task/24775/stat : 24775 (java) R 24763 24763 22939 0 -1 1077944384 590 0 0 0 2 0 0 0 20 0 15 0 445383566 15508250624 10215 33554432000 4194304 4196468 140730533022960 140351858878704 140352394918530 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32079872 140730533028847 140730533029018 140730533029018 140730533031887 0
[pid=24765/tid=24776] ppid=24763 vsize=15144776 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/24765/task/24776/stat : 24776 (java) S 24763 24763 22939 0 -1 1077944384 231 0 0 0 2 0 0 0 20 0 15 0 445383566 15508250624 10215 33554432000 4194304 4196468 140730533022960 140351857826160 140352394918530 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32079872 140730533028847 140730533029018 140730533029018 140730533031887 0
[pid=24765/tid=24777] ppid=24763 vsize=15144776 memory=140468543264384 CPUtime=0.08 cores=0,2,4,6
/proc/24765/task/24777/stat : 24777 (java) R 24763 24763 22939 0 -1 4202560 715 0 0 0 8 0 0 0 20 0 15 0 445383566 15508250624 10215 33554432000 4194304 4196468 140730533022960 140351856773104 140352373867375 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32079872 140730533028847 140730533029018 140730533029018 140730533031887 0
[pid=24765/tid=24778] ppid=24763 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/24765/task/24778/stat : 24778 (java) S 24763 24763 22939 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445383566 15508250624 10215 33554432000 4194304 4196468 140730533022960 140351855720800 140352394917589 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32079872 140730533028847 140730533029018 140730533029018 140730533031887 0
[pid=24765/tid=24779] ppid=24763 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24765/task/24779/stat : 24779 (java) S 24763 24763 22939 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445383567 15508250624 10215 33554432000 4194304 4196468 140730533022960 140351854668848 140352394918530 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32079872 140730533028847 140730533029018 140730533029018 140730533031887 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42312 KiB

[startup+0.313226 s]*
/proc/loadavg: 8.56 5.05 2.90 9/234 24779
/proc/meminfo: memFree=28231760/32770624 swapFree=66959728/67108860
[pid=24763] ppid=24760 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/24763/stat : 24763 (xcsp3-exec) S 24760 24763 22939 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 445383560 115843072 363 33554432000 4194304 5098028 140729561577744 140729561575848 140527274996348 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 12886016 140729561580413 140729561580653 140729561580653 140729561583562 0
/proc/24763/statm: 28282 363 304 221 0 87 0
[pid=24765] ppid=24763 vsize=15149032 memory=50360 CPUtime=0.53 cores=0,2,4,6
/proc/24765/stat : 24765 (java) S 24763 24763 22939 0 -1 1077944320 10896 0 0 0 50 3 0 0 20 0 15 0 445383561 15512608768 12586 33554432000 4194304 4196468 140730533022960 140730533005504 140352394907383 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 32079872 140730533028847 140730533029018 140730533029018 140730533031887 0
/proc/24765/statm: 3787258 12586 3363 1 0 3748377 0
[pid=24765/tid=24766] ppid=24763 vsize=15149032 memory=6791534058613427641 CPUtime=0.3 cores=0,2,4,6
/proc/24765/task/24766/stat : 24766 (java) R 24763 24763 22939 0 -1 4202560 7835 0 0 0 27 3 0 0 20 0 15 0 445383561 15512608768 12590 33554432000 4194304 4196468 140730533022960 140352399138496 140352378987870 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32079872 140730533028847 140730533029018 140730533029018 140730533031887 0
[pid=24765/tid=24767] ppid=24763 vsize=15149032 memory=4126316290023845779 CPUtime=0 cores=0,2,4,6
/proc/24765/task/24767/stat : 24767 (java) S 24763 24763 22939 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445383562 15512608768 12590 33554432000 4194304 4196468 140730533022960 140351986915856 140352394917589 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32079872 140730533028847 140730533029018 140730533029018 140730533031887 0
[pid=24765/tid=24768] ppid=24763 vsize=15149032 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/24765/task/24768/stat : 24768 (java) S 24763 24763 22939 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445383562 15512608768 12590 33554432000 4194304 4196468 140730533022960 140351985863312 140352394917589 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32079872 140730533028847 140730533029018 140730533029018 140730533031887 0
[pid=24765/tid=24769] ppid=24763 vsize=15149032 memory=-3040564339105353098 CPUtime=0 cores=0,2,4,6
/proc/24765/task/24769/stat : 24769 (java) S 24763 24763 22939 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445383562 15512608768 12590 33554432000 4194304 4196468 140730533022960 140351984810256 140352394917589 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32079872 140730533028847 140730533029018 140730533029018 140730533031887 0
[pid=24765/tid=24770] ppid=24763 vsize=15149032 memory=7161331908245094050 CPUtime=0 cores=0,2,4,6
/proc/24765/task/24770/stat : 24770 (java) S 24763 24763 22939 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445383562 15512608768 12590 33554432000 4194304 4196468 140730533022960 140351983757712 140352394917589 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32079872 140730533028847 140730533029018 140730533029018 140730533031887 0
[pid=24765/tid=24771] ppid=24763 vsize=15149032 memory=6944656591801720471 CPUtime=0 cores=0,2,4,6
/proc/24765/task/24771/stat : 24771 (java) S 24763 24763 22939 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 445383563 15512608768 12590 33554432000 4194304 4196468 140730533022960 140351863089904 140352394918530 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32079872 140730533028847 140730533029018 140730533029018 140730533031887 0
[pid=24765/tid=24772] ppid=24763 vsize=15149032 memory=-8458152057954561420 CPUtime=0 cores=0,2,4,6
/proc/24765/task/24772/stat : 24772 (java) S 24763 24763 22939 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445383564 15512608768 12590 33554432000 4194304 4196468 140730533022960 140351862036128 140352394917589 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32079872 140730533028847 140730533029018 140730533029018 140730533031887 0
[pid=24765/tid=24773] ppid=24763 vsize=15149032 memory=-8813974798734826869 CPUtime=0 cores=0,2,4,6
/proc/24765/task/24773/stat : 24773 (java) S 24763 24763 22939 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445383564 15512608768 12590 33554432000 4194304 4196468 140730533022960 140351860983024 140352394917589 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32079872 140730533028847 140730533029018 140730533029018 140730533031887 0
[pid=24765/tid=24774] ppid=24763 vsize=15149032 memory=7031125463459224206 CPUtime=0 cores=0,2,4,6
/proc/24765/task/24774/stat : 24774 (java) S 24763 24763 22939 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445383566 15512608768 12590 33554432000 4194304 4196468 140730533022960 140351859931600 140352394925979 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32079872 140730533028847 140730533029018 140730533029018 140730533031887 0
[pid=24765/tid=24775] ppid=24763 vsize=15149032 memory=4426078206164241782 CPUtime=0.05 cores=0,2,4,6
/proc/24765/task/24775/stat : 24775 (java) R 24763 24763 22939 0 -1 4202560 719 0 0 0 5 0 0 0 20 0 15 0 445383566 15512608768 12590 33554432000 4194304 4196468 140730533022960 140351858859720 140352379836835 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32079872 140730533028847 140730533029018 140730533029018 140730533031887 0
[pid=24765/tid=24776] ppid=24763 vsize=15149032 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/24765/task/24776/stat : 24776 (java) S 24763 24763 22939 0 -1 1077944384 245 0 0 0 4 0 0 0 20 0 15 0 445383566 15512608768 12590 33554432000 4194304 4196468 140730533022960 140351857826160 140352394918530 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32079872 140730533028847 140730533029018 140730533029018 140730533031887 0
[pid=24765/tid=24777] ppid=24763 vsize=15149032 memory=0 CPUtime=0.13 cores=0,2,4,6
/proc/24765/task/24777/stat : 24777 (java) S 24763 24763 22939 0 -1 1077944384 795 0 0 0 13 0 0 0 20 0 15 0 445383566 15512608768 12590 33554432000 4194304 4196468 140730533022960 140351856773104 140352394918530 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32079872 140730533028847 140730533029018 140730533029018 140730533031887 0
[pid=24765/tid=24778] ppid=24763 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24765/task/24778/stat : 24778 (java) S 24763 24763 22939 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445383566 15512608768 12590 33554432000 4194304 4196468 140730533022960 140351855720800 140352394917589 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32079872 140730533028847 140730533029018 140730533029018 140730533031887 0
[pid=24765/tid=24779] ppid=24763 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24765/task/24779/stat : 24779 (java) S 24763 24763 22939 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445383567 15512608768 12590 33554432000 4194304 4196468 140730533022960 140351854668848 140352394918530 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32079872 140730533028847 140730533029018 140730533029018 140730533031887 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51812 KiB

[startup+0.701143 s]
/proc/loadavg: 8.56 5.05 2.90 9/233 24779
/proc/meminfo: memFree=28215240/32770624 swapFree=66959728/67108860
[pid=24763] ppid=24760 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/24763/stat : 24763 (xcsp3-exec) S 24760 24763 22939 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 445383560 115843072 363 33554432000 4194304 5098028 140729561577744 140729561575848 140527274996348 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 12886016 140729561580413 140729561580653 140729561580653 140729561583562 0
/proc/24763/statm: 28282 363 304 221 0 87 0
[pid=24765] ppid=24763 vsize=15151156 memory=85600 CPUtime=1.61 cores=0,2,4,6
/proc/24765/stat : 24765 (java) S 24763 24763 22939 0 -1 1077944320 15107 0 0 0 156 5 0 0 20 0 15 0 445383561 15514783744 21400 33554432000 4194304 4196468 140730533022960 140730533005504 140352394907383 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 32079872 140730533028847 140730533029018 140730533029018 140730533031887 0
/proc/24765/statm: 3787789 21400 3453 1 0 3748889 0
[pid=24765/tid=24766] ppid=24763 vsize=15151156 memory=33 CPUtime=0.68 cores=0,2,4,6
/proc/24765/task/24766/stat : 24766 (java) R 24763 24763 22939 0 -1 4202560 9328 0 0 0 64 4 0 0 20 0 15 0 445383561 15514783744 21400 33554432000 4194304 4196468 140730533022960 140352399128944 140352034387968 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 32079872 140730533028847 140730533029018 140730533029018 140730533031887 0
[pid=24765/tid=24767] ppid=24763 vsize=15151156 memory=-7082918048272507482 CPUtime=0 cores=0,2,4,6
/proc/24765/task/24767/stat : 24767 (java) S 24763 24763 22939 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445383562 15514783744 21400 33554432000 4194304 4196468 140730533022960 140351986915856 140352394917589 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32079872 140730533028847 140730533029018 140730533029018 140730533031887 0
[pid=24765/tid=24768] ppid=24763 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24765/task/24768/stat : 24768 (java) S 24763 24763 22939 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445383562 15514783744 21400 33554432000 4194304 4196468 140730533022960 140351985863312 140352394917589 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32079872 140730533028847 140730533029018 140730533029018 140730533031887 0
[pid=24765/tid=24769] ppid=24763 vsize=15151156 memory=1660 CPUtime=0 cores=0,2,4,6
/proc/24765/task/24769/stat : 24769 (java) S 24763 24763 22939 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445383562 15514783744 21400 33554432000 4194304 4196468 140730533022960 140351984810256 140352394917589 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32079872 140730533028847 140730533029018 140730533029018 140730533031887 0
[pid=24765/tid=24770] ppid=24763 vsize=15151156 memory=48260 CPUtime=0 cores=0,2,4,6
/proc/24765/task/24770/stat : 24770 (java) S 24763 24763 22939 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445383562 15514783744 21400 33554432000 4194304 4196468 140730533022960 140351983757712 140352394917589 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32079872 140730533028847 140730533029018 140730533029018 140730533031887 0
[pid=24765/tid=24771] ppid=24763 vsize=15151156 memory=988 CPUtime=0 cores=0,2,4,6
/proc/24765/task/24771/stat : 24771 (java) S 24763 24763 22939 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 445383563 15514783744 21400 33554432000 4194304 4196468 140730533022960 140351863089904 140352394918530 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32079872 140730533028847 140730533029018 140730533029018 140730533031887 0
[pid=24765/tid=24772] ppid=24763 vsize=15151156 memory=2008 CPUtime=0 cores=0,2,4,6
/proc/24765/task/24772/stat : 24772 (java) S 24763 24763 22939 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445383564 15514783744 21400 33554432000 4194304 4196468 140730533022960 140351862036128 140352394917589 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32079872 140730533028847 140730533029018 140730533029018 140730533031887 0
[pid=24765/tid=24773] ppid=24763 vsize=15151156 memory=1436 CPUtime=0 cores=0,2,4,6
/proc/24765/task/24773/stat : 24773 (java) S 24763 24763 22939 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445383564 15514783744 21400 33554432000 4194304 4196468 140730533022960 140351860983024 140352394917589 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32079872 140730533028847 140730533029018 140730533029018 140730533031887 0
[pid=24765/tid=24774] ppid=24763 vsize=15151156 memory=580 CPUtime=0 cores=0,2,4,6
/proc/24765/task/24774/stat : 24774 (java) S 24763 24763 22939 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445383566 15514783744 21400 33554432000 4194304 4196468 140730533022960 140351859931600 140352394925979 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32079872 140730533028847 140730533029018 140730533029018 140730533031887 0
[pid=24765/tid=24775] ppid=24763 vsize=15151156 memory=1720 CPUtime=0.26 cores=0,2,4,6
/proc/24765/task/24775/stat : 24775 (java) R 24763 24763 22939 0 -1 4202560 1350 0 0 0 26 0 0 0 20 0 15 0 445383566 15514783744 21400 33554432000 4194304 4196468 140730533022960 140351858863904 140352378318278 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32079872 140730533028847 140730533029018 140730533029018 140730533031887 0
[pid=24765/tid=24776] ppid=24763 vsize=15151156 memory=10604 CPUtime=0.23 cores=0,2,4,6
/proc/24765/task/24776/stat : 24776 (java) R 24763 24763 22939 0 -1 4202560 977 0 0 0 23 0 0 0 20 0 15 0 445383566 15514783744 21400 33554432000 4194304 4196468 140730533022960 140351857813456 140352379309305 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32079872 140730533028847 140730533029018 140730533029018 140730533031887 0
[pid=24765/tid=24777] ppid=24763 vsize=15151156 memory=4160 CPUtime=0.42 cores=0,2,4,6
/proc/24765/task/24777/stat : 24777 (java) R 24763 24763 22939 0 -1 4202560 2145 0 0 0 42 0 0 0 20 0 15 0 445383566 15514783744 21400 33554432000 4194304 4196468 140730533022960 140351856764624 140352374622180 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32079872 140730533028847 140730533029018 140730533029018 140730533031887 0
[pid=24765/tid=24778] ppid=24763 vsize=15151156 memory=776 CPUtime=0 cores=0,2,4,6
/proc/24765/task/24778/stat : 24778 (java) S 24763 24763 22939 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445383566 15514783744 21400 33554432000 4194304 4196468 140730533022960 140351855720800 140352394917589 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32079872 140730533028847 140730533029018 140730533029018 140730533031887 0
[pid=24765/tid=24779] ppid=24763 vsize=15151156 memory=1564 CPUtime=0 cores=0,2,4,6
/proc/24765/task/24779/stat : 24779 (java) S 24763 24763 22939 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445383567 15514783744 21400 33554432000 4194304 4196468 140730533022960 140351854668848 140352394918530 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32079872 140730533028847 140730533029018 140730533029018 140730533031887 0
Current children cumulated CPU time: 1.61 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 87052 KiB

[startup+1.50076 s]
/proc/loadavg: 8.56 5.05 2.90 9/238 24820
/proc/meminfo: memFree=28084984/32770624 swapFree=66959728/67108860
[pid=24763] ppid=24760 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/24763/stat : 24763 (xcsp3-exec) S 24760 24763 22939 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 445383560 115843072 363 33554432000 4194304 5098028 140729561577744 140729561575848 140527274996348 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 12886016 140729561580413 140729561580653 140729561580653 140729561583562 0
/proc/24763/statm: 28282 363 304 221 0 87 0

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

/proc/24765/task/24779/stat : 24779 (java) S 24763 24763 22939 0 -1 1077944384 1740 0 0 0 0 2 0 0 20 0 19 0 445383567 15926902784 44754 33554432000 4194304 4196468 140730533022960 140351854668848 140352394918530 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 32079872 140730533028847 140730533029018 140730533029018 140730533031887 0
[pid=24765/tid=24871] ppid=24763 vsize=15553616 memory=1720 CPUtime=88.04 cores=0,2,4,6
/proc/24765/task/24871/stat : 24871 (java) R 24763 24763 22939 0 -1 4202560 720 0 0 0 8803 1 0 0 20 0 19 0 445389239 15926902784 44754 33554432000 4194304 4196468 140730533022960 140351842528456 140352376313604 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32079872 140730533028847 140730533029018 140730533029018 140730533031887 0
[pid=24765/tid=24872] ppid=24763 vsize=15553616 memory=10604 CPUtime=88.37 cores=0,2,4,6
/proc/24765/task/24872/stat : 24872 (java) R 24763 24763 22939 0 -1 4202560 1532 0 0 0 8837 0 0 0 20 0 19 0 445389239 15926902784 44754 33554432000 4194304 4196468 140730533022960 140351837276320 140352039399548 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 32079872 140730533028847 140730533029018 140730533029018 140730533031887 0
[pid=24765/tid=24873] ppid=24763 vsize=15553616 memory=4160 CPUtime=88.31 cores=0,2,4,6
/proc/24765/task/24873/stat : 24873 (java) R 24763 24763 22939 0 -1 4202560 1794 0 0 0 8830 1 0 0 20 0 19 0 445389239 15926902784 44754 33554432000 4194304 4196468 140730533022960 140351838327256 140352039322509 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32079872 140730533028847 140730533029018 140730533029018 140730533031887 0
[pid=24765/tid=24874] ppid=24763 vsize=15553616 memory=776 CPUtime=88.44 cores=0,2,4,6
/proc/24765/task/24874/stat : 24874 (java) R 24763 24763 22939 0 -1 4202560 847 0 0 0 8844 0 0 0 20 0 19 0 445389239 15926902784 44754 33554432000 4194304 4196468 140730533022960 140351843580640 140352039494437 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32079872 140730533028847 140730533029018 140730533029018 140730533031887 0
Current children cumulated CPU time: 578.12 s
Current children cumulated vsize: 15666744 KiB
Current children cumulated memory: 180468 KiB

[startup+146.401 s]
/proc/loadavg: 9.26 6.55 3.77 10/237 25714
/proc/meminfo: memFree=27210740/32770624 swapFree=66959728/67108860
[pid=24763] ppid=24760 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/24763/stat : 24763 (xcsp3-exec) S 24760 24763 22939 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 445383560 115843072 363 33554432000 4194304 5098028 140729561577744 140729561575848 140527274996348 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 12886016 140729561580413 140729561580653 140729561580653 140729561583562 0
/proc/24763/statm: 28282 363 304 221 0 87 0
[pid=24765] ppid=24763 vsize=15553616 memory=179016 CPUtime=581.3 cores=0,2,4,6
/proc/24765/stat : 24765 (java) S 24763 24763 22939 0 -1 1077944320 96455 0 0 0 58109 21 0 0 20 0 19 0 445383561 15926902784 44754 33554432000 4194304 4196468 140730533022960 140730533005504 140352394907383 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 32079872 140730533028847 140730533029018 140730533029018 140730533031887 0
/proc/24765/statm: 3888404 44754 3532 1 0 3849504 0
[pid=24765/tid=24766] ppid=24763 vsize=15553616 memory=179016 CPUtime=0.7 cores=0,2,4,6
/proc/24765/task/24766/stat : 24766 (java) S 24763 24763 22939 0 -1 1077944384 10134 0 0 0 66 4 0 0 20 0 19 0 445383561 15926902784 44754 33554432000 4194304 4196468 140730533022960 140352399148160 140352394917589 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32079872 140730533028847 140730533029018 140730533029018 140730533031887 0
[pid=24765/tid=24767] ppid=24763 vsize=15553616 memory=48264 CPUtime=0.03 cores=0,2,4,6
/proc/24765/task/24767/stat : 24767 (java) S 24763 24763 22939 0 -1 1077944384 1195 0 0 0 3 0 0 0 20 0 19 0 445383562 15926902784 44754 33554432000 4194304 4196468 140730533022960 140351986915856 140352394917589 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32079872 140730533028847 140730533029018 140730533029018 140730533031887 0
[pid=24765/tid=24768] ppid=24763 vsize=15553616 memory=988 CPUtime=0.03 cores=0,2,4,6
/proc/24765/task/24768/stat : 24768 (java) S 24763 24763 22939 0 -1 1077944384 3461 0 0 0 3 0 0 0 20 0 19 0 445383562 15926902784 44754 33554432000 4194304 4196468 140730533022960 140351985863312 140352394917589 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32079872 140730533028847 140730533029018 140730533029018 140730533031887 0
[pid=24765/tid=24769] ppid=24763 vsize=15553616 memory=2008 CPUtime=0.04 cores=0,2,4,6
/proc/24765/task/24769/stat : 24769 (java) S 24763 24763 22939 0 -1 1077944384 3593 0 0 0 3 1 0 0 20 0 19 0 445383562 15926902784 44754 33554432000 4194304 4196468 140730533022960 140351984810256 140352394917589 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32079872 140730533028847 140730533029018 140730533029018 140730533031887 0
[pid=24765/tid=24770] ppid=24763 vsize=15553616 memory=1436 CPUtime=0.03 cores=0,2,4,6
/proc/24765/task/24770/stat : 24770 (java) S 24763 24763 22939 0 -1 1077944384 1303 0 0 0 3 0 0 0 20 0 19 0 445383562 15926902784 44754 33554432000 4194304 4196468 140730533022960 140351983757712 140352394917589 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32079872 140730533028847 140730533029018 140730533029018 140730533031887 0
[pid=24765/tid=24771] ppid=24763 vsize=15553616 memory=1452 CPUtime=0.04 cores=0,2,4,6
/proc/24765/task/24771/stat : 24771 (java) S 24763 24763 22939 0 -1 1077944384 3338 0 0 0 3 1 0 0 20 0 19 0 445383563 15926902784 44754 33554432000 4194304 4196468 140730533022960 140351863089904 140352394918530 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32079872 140730533028847 140730533029018 140730533029018 140730533031887 0
[pid=24765/tid=24772] ppid=24763 vsize=15553616 memory=181580 CPUtime=0 cores=0,2,4,6
/proc/24765/task/24772/stat : 24772 (java) S 24763 24763 22939 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 19 0 445383564 15926902784 44754 33554432000 4194304 4196468 140730533022960 140351862036192 140352394917589 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32079872 140730533028847 140730533029018 140730533029018 140730533031887 0
[pid=24765/tid=24773] ppid=24763 vsize=15553616 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/24765/task/24773/stat : 24773 (java) S 24763 24763 22939 0 -1 1077944384 87 0 0 0 0 0 0 0 20 0 19 0 445383564 15926902784 44754 33554432000 4194304 4196468 140730533022960 140351860983040 140352394917589 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32079872 140730533028847 140730533029018 140730533029018 140730533031887 0
[pid=24765/tid=24774] ppid=24763 vsize=15553616 memory=179016 CPUtime=0 cores=0,2,4,6
/proc/24765/task/24774/stat : 24774 (java) S 24763 24763 22939 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445383566 15926902784 44754 33554432000 4194304 4196468 140730533022960 140351859931600 140352394925979 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32079872 140730533028847 140730533029018 140730533029018 140730533031887 0
[pid=24765/tid=24775] ppid=24763 vsize=15553616 memory=15261432686053804 CPUtime=3.61 cores=0,2,4,6
/proc/24765/task/24775/stat : 24775 (java) S 24763 24763 22939 0 -1 1077944384 21535 0 0 0 359 2 0 0 20 0 19 0 445383566 15926902784 44754 33554432000 4194304 4196468 140730533022960 140351858878704 140352394918530 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32079872 140730533028847 140730533029018 140730533029018 140730533031887 0
[pid=24765/tid=24776] ppid=24763 vsize=15553616 memory=183108 CPUtime=3.72 cores=0,2,4,6
/proc/24765/task/24776/stat : 24776 (java) S 24763 24763 22939 0 -1 1077944384 21833 0 0 0 371 1 0 0 20 0 19 0 445383566 15926902784 44754 33554432000 4194304 4196468 140730533022960 140351857826160 140352394918530 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32079872 140730533028847 140730533029018 140730533029018 140730533031887 0
[pid=24765/tid=24777] ppid=24763 vsize=15553616 memory=111636 CPUtime=0.85 cores=0,2,4,6
/proc/24765/task/24777/stat : 24777 (java) S 24763 24763 22939 0 -1 1077944384 11941 0 0 0 84 1 0 0 20 0 19 0 445383566 15926902784 44754 33554432000 4194304 4196468 140730533022960 140351856773104 140352394918530 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32079872 140730533028847 140730533029018 140730533029018 140730533031887 0
[pid=24765/tid=24778] ppid=24763 vsize=15553616 memory=800 CPUtime=0 cores=0,2,4,6
/proc/24765/task/24778/stat : 24778 (java) S 24763 24763 22939 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445383566 15926902784 44754 33554432000 4194304 4196468 140730533022960 140351855720800 140352394917589 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32079872 140730533028847 140730533029018 140730533029018 140730533031887 0
[pid=24765/tid=24779] ppid=24763 vsize=15553616 memory=4104 CPUtime=0.02 cores=0,2,4,6
/proc/24765/task/24779/stat : 24779 (java) S 24763 24763 22939 0 -1 1077944384 1740 0 0 0 0 2 0 0 20 0 19 0 445383567 15926902784 44754 33554432000 4194304 4196468 140730533022960 140351854668848 140352394918530 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 32079872 140730533028847 140730533029018 140730533029018 140730533031887 0
[pid=24765/tid=24871] ppid=24763 vsize=15553616 memory=1808 CPUtime=88.84 cores=0,2,4,6
/proc/24765/task/24871/stat : 24871 (java) R 24763 24763 22939 0 -1 4202560 720 0 0 0 8883 1 0 0 20 0 19 0 445389239 15926902784 44754 33554432000 4194304 4196468 140730533022960 140351842528456 140352039497305 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32079872 140730533028847 140730533029018 140730533029018 140730533031887 0
[pid=24765/tid=24872] ppid=24763 vsize=15553616 memory=924 CPUtime=89.15 cores=0,2,4,6
/proc/24765/task/24872/stat : 24872 (java) R 24763 24763 22939 0 -1 4202560 1532 0 0 0 8915 0 0 0 20 0 19 0 445389239 15926902784 44754 33554432000 4194304 4196468 140730533022960 140351837276320 140352039093366 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 32079872 140730533028847 140730533029018 140730533029018 140730533031887 0
[pid=24765/tid=24873] ppid=24763 vsize=15553616 memory=1452 CPUtime=89.11 cores=0,2,4,6
/proc/24765/task/24873/stat : 24873 (java) R 24763 24763 22939 0 -1 4202560 1794 0 0 0 8910 1 0 0 20 0 19 0 445389239 15926902784 44754 33554432000 4194304 4196468 140730533022960 140351838327256 140352038639706 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32079872 140730533028847 140730533029018 140730533029018 140730533031887 0
[pid=24765/tid=24874] ppid=24763 vsize=15553616 memory=181580 CPUtime=89.24 cores=0,2,4,6
/proc/24765/task/24874/stat : 24874 (java) R 24763 24763 22939 0 -1 4202560 847 0 0 0 8924 0 0 0 20 0 19 0 445389239 15926902784 44754 33554432000 4194304 4196468 140730533022960 140351843580640 140352039322401 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32079872 140730533028847 140730533029018 140730533029018 140730533031887 0
Current children cumulated CPU time: 581.3 s
Current children cumulated vsize: 15666744 KiB
Current children cumulated memory: 180468 KiB

[startup+146.801 s]
/proc/loadavg: 9.26 6.55 3.77 10/237 25714
/proc/meminfo: memFree=27210740/32770624 swapFree=66959728/67108860
[pid=24763] ppid=24760 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/24763/stat : 24763 (xcsp3-exec) S 24760 24763 22939 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 445383560 115843072 363 33554432000 4194304 5098028 140729561577744 140729561575848 140527274996348 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 12886016 140729561580413 140729561580653 140729561580653 140729561583562 0
/proc/24763/statm: 28282 363 304 221 0 87 0
[pid=24765] ppid=24763 vsize=15553616 memory=179016 CPUtime=582.9 cores=0,2,4,6
/proc/24765/stat : 24765 (java) S 24763 24763 22939 0 -1 1077944320 96455 0 0 0 58269 21 0 0 20 0 19 0 445383561 15926902784 44754 33554432000 4194304 4196468 140730533022960 140730533005504 140352394907383 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 32079872 140730533028847 140730533029018 140730533029018 140730533031887 0
/proc/24765/statm: 3888404 44754 3532 1 0 3849504 0
[pid=24765/tid=24766] ppid=24763 vsize=15553616 memory=15261432686053804 CPUtime=0.7 cores=0,2,4,6
/proc/24765/task/24766/stat : 24766 (java) S 24763 24763 22939 0 -1 1077944384 10134 0 0 0 66 4 0 0 20 0 19 0 445383561 15926902784 44754 33554432000 4194304 4196468 140730533022960 140352399148160 140352394917589 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32079872 140730533028847 140730533029018 140730533029018 140730533031887 0
[pid=24765/tid=24767] ppid=24763 vsize=15553616 memory=800 CPUtime=0.03 cores=0,2,4,6
/proc/24765/task/24767/stat : 24767 (java) S 24763 24763 22939 0 -1 1077944384 1195 0 0 0 3 0 0 0 20 0 19 0 445383562 15926902784 44754 33554432000 4194304 4196468 140730533022960 140351986915856 140352394917589 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32079872 140730533028847 140730533029018 140730533029018 140730533031887 0
[pid=24765/tid=24768] ppid=24763 vsize=15553616 memory=4104 CPUtime=0.03 cores=0,2,4,6
/proc/24765/task/24768/stat : 24768 (java) S 24763 24763 22939 0 -1 1077944384 3461 0 0 0 3 0 0 0 20 0 19 0 445383562 15926902784 44754 33554432000 4194304 4196468 140730533022960 140351985863312 140352394917589 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32079872 140730533028847 140730533029018 140730533029018 140730533031887 0
[pid=24765/tid=24769] ppid=24763 vsize=15553616 memory=1808 CPUtime=0.04 cores=0,2,4,6
/proc/24765/task/24769/stat : 24769 (java) S 24763 24763 22939 0 -1 1077944384 3593 0 0 0 3 1 0 0 20 0 19 0 445383562 15926902784 44754 33554432000 4194304 4196468 140730533022960 140351984810256 140352394917589 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32079872 140730533028847 140730533029018 140730533029018 140730533031887 0
[pid=24765/tid=24770] ppid=24763 vsize=15553616 memory=924 CPUtime=0.03 cores=0,2,4,6
/proc/24765/task/24770/stat : 24770 (java) S 24763 24763 22939 0 -1 1077944384 1303 0 0 0 3 0 0 0 20 0 19 0 445383562 15926902784 44754 33554432000 4194304 4196468 140730533022960 140351983757712 140352394917589 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32079872 140730533028847 140730533029018 140730533029018 140730533031887 0
[pid=24765/tid=24771] ppid=24763 vsize=15553616 memory=3804 CPUtime=0.04 cores=0,2,4,6
/proc/24765/task/24771/stat : 24771 (java) S 24763 24763 22939 0 -1 1077944384 3338 0 0 0 3 1 0 0 20 0 19 0 445383563 15926902784 44754 33554432000 4194304 4196468 140730533022960 140351863089904 140352394918530 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32079872 140730533028847 140730533029018 140730533029018 140730533031887 0
[pid=24765/tid=24772] ppid=24763 vsize=15553616 memory=2712 CPUtime=0 cores=0,2,4,6
/proc/24765/task/24772/stat : 24772 (java) S 24763 24763 22939 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 19 0 445383564 15926902784 44754 33554432000 4194304 4196468 140730533022960 140351862036192 140352394917589 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32079872 140730533028847 140730533029018 140730533029018 140730533031887 0
[pid=24765/tid=24773] ppid=24763 vsize=15553616 memory=2700 CPUtime=0 cores=0,2,4,6
/proc/24765/task/24773/stat : 24773 (java) S 24763 24763 22939 0 -1 1077944384 87 0 0 0 0 0 0 0 20 0 19 0 445383564 15926902784 44754 33554432000 4194304 4196468 140730533022960 140351860983040 140352394917589 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32079872 140730533028847 140730533029018 140730533029018 140730533031887 0
[pid=24765/tid=24774] ppid=24763 vsize=15553616 memory=1408 CPUtime=0 cores=0,2,4,6
/proc/24765/task/24774/stat : 24774 (java) S 24763 24763 22939 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445383566 15926902784 44754 33554432000 4194304 4196468 140730533022960 140351859931600 140352394925979 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32079872 140730533028847 140730533029018 140730533029018 140730533031887 0
[pid=24765/tid=24775] ppid=24763 vsize=15553616 memory=3260 CPUtime=3.61 cores=0,2,4,6
/proc/24765/task/24775/stat : 24775 (java) S 24763 24763 22939 0 -1 1077944384 21535 0 0 0 359 2 0 0 20 0 19 0 445383566 15926902784 44754 33554432000 4194304 4196468 140730533022960 140351858878704 140352394918530 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32079872 140730533028847 140730533029018 140730533029018 140730533031887 0
[pid=24765/tid=24776] ppid=24763 vsize=15553616 memory=1452 CPUtime=3.72 cores=0,2,4,6
/proc/24765/task/24776/stat : 24776 (java) S 24763 24763 22939 0 -1 1077944384 21833 0 0 0 371 1 0 0 20 0 19 0 445383566 15926902784 44754 33554432000 4194304 4196468 140730533022960 140351857826160 140352394918530 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32079872 140730533028847 140730533029018 140730533029018 140730533031887 0
[pid=24765/tid=24777] ppid=24763 vsize=15553616 memory=179016 CPUtime=0.85 cores=0,2,4,6
/proc/24765/task/24777/stat : 24777 (java) S 24763 24763 22939 0 -1 1077944384 11941 0 0 0 84 1 0 0 20 0 19 0 445383566 15926902784 44754 33554432000 4194304 4196468 140730533022960 140351856773104 140352394918530 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32079872 140730533028847 140730533029018 140730533029018 140730533031887 0
[pid=24765/tid=24778] ppid=24763 vsize=15553616 memory=1760 CPUtime=0 cores=0,2,4,6
/proc/24765/task/24778/stat : 24778 (java) S 24763 24763 22939 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445383566 15926902784 44754 33554432000 4194304 4196468 140730533022960 140351855720800 140352394917589 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32079872 140730533028847 140730533029018 140730533029018 140730533031887 0
[pid=24765/tid=24779] ppid=24763 vsize=15553616 memory=111636 CPUtime=0.02 cores=0,2,4,6
/proc/24765/task/24779/stat : 24779 (java) S 24763 24763 22939 0 -1 1077944384 1740 0 0 0 0 2 0 0 20 0 19 0 445383567 15926902784 44754 33554432000 4194304 4196468 140730533022960 140351854668848 140352394918530 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 32079872 140730533028847 140730533029018 140730533029018 140730533031887 0
[pid=24765/tid=24871] ppid=24763 vsize=15553616 memory=800 CPUtime=89.24 cores=0,2,4,6
/proc/24765/task/24871/stat : 24871 (java) R 24763 24763 22939 0 -1 4202560 720 0 0 0 8923 1 0 0 20 0 19 0 445389239 15926902784 44754 33554432000 4194304 4196468 140730533022960 140351842528456 140352039149596 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32079872 140730533028847 140730533029018 140730533029018 140730533031887 0
[pid=24765/tid=24872] ppid=24763 vsize=15553616 memory=4104 CPUtime=89.55 cores=0,2,4,6
/proc/24765/task/24872/stat : 24872 (java) R 24763 24763 22939 0 -1 4202560 1532 0 0 0 8955 0 0 0 20 0 19 0 445389239 15926902784 44754 33554432000 4194304 4196468 140730533022960 140351837276320 140352038381116 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 32079872 140730533028847 140730533029018 140730533029018 140730533031887 0
[pid=24765/tid=24873] ppid=24763 vsize=15553616 memory=1808 CPUtime=89.51 cores=0,2,4,6
/proc/24765/task/24873/stat : 24873 (java) R 24763 24763 22939 0 -1 4202560 1794 0 0 0 8950 1 0 0 20 0 19 0 445389239 15926902784 44754 33554432000 4194304 4196468 140730533022960 140351838327256 140352039642322 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32079872 140730533028847 140730533029018 140730533029018 140730533031887 0
[pid=24765/tid=24874] ppid=24763 vsize=15553616 memory=1452 CPUtime=89.64 cores=0,2,4,6
/proc/24765/task/24874/stat : 24874 (java) R 24763 24763 22939 0 -1 4202560 847 0 0 0 8964 0 0 0 20 0 19 0 445389239 15926902784 44754 33554432000 4194304 4196468 140730533022960 140351843580640 140352039092142 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32079872 140730533028847 140730533029018 140730533029018 140730533031887 0
Current children cumulated CPU time: 582.9 s
Current children cumulated vsize: 15666744 KiB
Current children cumulated memory: 180468 KiB

[startup+147.001 s]*
/proc/loadavg: 9.26 6.55 3.77 10/237 25714
/proc/meminfo: memFree=27210740/32770624 swapFree=66959728/67108860
[pid=24763] ppid=24760 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/24763/stat : 24763 (xcsp3-exec) S 24760 24763 22939 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 445383560 115843072 363 33554432000 4194304 5098028 140729561577744 140729561575848 140527274996348 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 12886016 140729561580413 140729561580653 140729561580653 140729561583562 0
/proc/24763/statm: 28282 363 304 221 0 87 0
[pid=24765] ppid=24763 vsize=15553616 memory=179016 CPUtime=583.73 cores=0,2,4,6
/proc/24765/stat : 24765 (java) S 24763 24763 22939 0 -1 1077944320 96455 0 0 0 58352 21 0 0 20 0 19 0 445383561 15926902784 44754 33554432000 4194304 4196468 140730533022960 140730533005504 140352394907383 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 32079872 140730533028847 140730533029018 140730533029018 140730533031887 0
/proc/24765/statm: 3888404 44754 3532 1 0 3849504 0
[pid=24765/tid=24766] ppid=24763 vsize=15553616 memory=6791534058613427641 CPUtime=0.7 cores=0,2,4,6
/proc/24765/task/24766/stat : 24766 (java) S 24763 24763 22939 0 -1 1077944384 10134 0 0 0 66 4 0 0 20 0 19 0 445383561 15926902784 44754 33554432000 4194304 4196468 140730533022960 140352399148160 140352394917589 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32079872 140730533028847 140730533029018 140730533029018 140730533031887 0
[pid=24765/tid=24767] ppid=24763 vsize=15553616 memory=4126316290023845779 CPUtime=0.03 cores=0,2,4,6
/proc/24765/task/24767/stat : 24767 (java) S 24763 24763 22939 0 -1 1077944384 1195 0 0 0 3 0 0 0 20 0 19 0 445383562 15926902784 44754 33554432000 4194304 4196468 140730533022960 140351986915856 140352394917589 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32079872 140730533028847 140730533029018 140730533029018 140730533031887 0
[pid=24765/tid=24768] ppid=24763 vsize=15553616 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/24765/task/24768/stat : 24768 (java) S 24763 24763 22939 0 -1 1077944384 3461 0 0 0 3 0 0 0 20 0 19 0 445383562 15926902784 44754 33554432000 4194304 4196468 140730533022960 140351985863312 140352394917589 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32079872 140730533028847 140730533029018 140730533029018 140730533031887 0
[pid=24765/tid=24769] ppid=24763 vsize=15553616 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/24765/task/24769/stat : 24769 (java) S 24763 24763 22939 0 -1 1077944384 3593 0 0 0 3 1 0 0 20 0 19 0 445383562 15926902784 44754 33554432000 4194304 4196468 140730533022960 140351984810256 140352394917589 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32079872 140730533028847 140730533029018 140730533029018 140730533031887 0
[pid=24765/tid=24770] ppid=24763 vsize=15553616 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/24765/task/24770/stat : 24770 (java) S 24763 24763 22939 0 -1 1077944384 1303 0 0 0 3 0 0 0 20 0 19 0 445383562 15926902784 44754 33554432000 4194304 4196468 140730533022960 140351983757712 140352394917589 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32079872 140730533028847 140730533029018 140730533029018 140730533031887 0
[pid=24765/tid=24771] ppid=24763 vsize=15553616 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/24765/task/24771/stat : 24771 (java) S 24763 24763 22939 0 -1 1077944384 3338 0 0 0 3 1 0 0 20 0 19 0 445383563 15926902784 44754 33554432000 4194304 4196468 140730533022960 140351863089904 140352394918530 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32079872 140730533028847 140730533029018 140730533029018 140730533031887 0
[pid=24765/tid=24772] ppid=24763 vsize=15553616 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24765/task/24772/stat : 24772 (java) S 24763 24763 22939 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 19 0 445383564 15926902784 44754 33554432000 4194304 4196468 140730533022960 140351862036192 140352394917589 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32079872 140730533028847 140730533029018 140730533029018 140730533031887 0
[pid=24765/tid=24773] ppid=24763 vsize=15553616 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24765/task/24773/stat : 24773 (java) S 24763 24763 22939 0 -1 1077944384 87 0 0 0 0 0 0 0 20 0 19 0 445383564 15926902784 44754 33554432000 4194304 4196468 140730533022960 140351860983040 140352394917589 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32079872 140730533028847 140730533029018 140730533029018 140730533031887 0
[pid=24765/tid=24774] ppid=24763 vsize=15553616 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24765/task/24774/stat : 24774 (java) S 24763 24763 22939 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445383566 15926902784 44754 33554432000 4194304 4196468 140730533022960 140351859931600 140352394925979 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32079872 140730533028847 140730533029018 140730533029018 140730533031887 0
[pid=24765/tid=24775] ppid=24763 vsize=15553616 memory=0 CPUtime=3.61 cores=0,2,4,6
/proc/24765/task/24775/stat : 24775 (java) S 24763 24763 22939 0 -1 1077944384 21535 0 0 0 359 2 0 0 20 0 19 0 445383566 15926902784 44754 33554432000 4194304 4196468 140730533022960 140351858878704 140352394918530 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32079872 140730533028847 140730533029018 140730533029018 140730533031887 0
[pid=24765/tid=24776] ppid=24763 vsize=15553616 memory=0 CPUtime=3.72 cores=0,2,4,6
/proc/24765/task/24776/stat : 24776 (java) S 24763 24763 22939 0 -1 1077944384 21833 0 0 0 371 1 0 0 20 0 19 0 445383566 15926902784 44754 33554432000 4194304 4196468 140730533022960 140351857826160 140352394918530 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32079872 140730533028847 140730533029018 140730533029018 140730533031887 0
[pid=24765/tid=24777] ppid=24763 vsize=15553616 memory=0 CPUtime=0.85 cores=0,2,4,6
/proc/24765/task/24777/stat : 24777 (java) S 24763 24763 22939 0 -1 1077944384 11941 0 0 0 84 1 0 0 20 0 19 0 445383566 15926902784 44754 33554432000 4194304 4196468 140730533022960 140351856773104 140352394918530 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32079872 140730533028847 140730533029018 140730533029018 140730533031887 0
[pid=24765/tid=24778] ppid=24763 vsize=15553616 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24765/task/24778/stat : 24778 (java) S 24763 24763 22939 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445383566 15926902784 44754 33554432000 4194304 4196468 140730533022960 140351855720800 140352394917589 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32079872 140730533028847 140730533029018 140730533029018 140730533031887 0
[pid=24765/tid=24779] ppid=24763 vsize=15553616 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/24765/task/24779/stat : 24779 (java) S 24763 24763 22939 0 -1 1077944384 1740 0 0 0 0 2 0 0 20 0 19 0 445383567 15926902784 44754 33554432000 4194304 4196468 140730533022960 140351854668848 140352394918530 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 32079872 140730533028847 140730533029018 140730533029018 140730533031887 0
[pid=24765/tid=24871] ppid=24763 vsize=15553616 memory=0 CPUtime=89.45 cores=0,2,4,6
/proc/24765/task/24871/stat : 24871 (java) R 24763 24763 22939 0 -1 4202560 720 0 0 0 8944 1 0 0 20 0 19 0 445389239 15926902784 44754 33554432000 4194304 4196468 140730533022960 140351842528456 140352038638205 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32079872 140730533028847 140730533029018 140730533029018 140730533031887 0
[pid=24765/tid=24872] ppid=24763 vsize=15553616 memory=0 CPUtime=89.75 cores=0,2,4,6
/proc/24765/task/24872/stat : 24872 (java) R 24763 24763 22939 0 -1 4202560 1532 0 0 0 8975 0 0 0 20 0 19 0 445389239 15926902784 44754 33554432000 4194304 4196468 140730533022960 140351837276320 140352038638985 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 32079872 140730533028847 140730533029018 140730533029018 140730533031887 0
[pid=24765/tid=24873] ppid=24763 vsize=15553616 memory=0 CPUtime=89.72 cores=0,2,4,6
/proc/24765/task/24873/stat : 24873 (java) R 24763 24763 22939 0 -1 4202560 1794 0 0 0 8971 1 0 0 20 0 19 0 445389239 15926902784 44754 33554432000 4194304 4196468 140730533022960 140351838327256 140352039328190 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32079872 140730533028847 140730533029018 140730533029018 140730533031887 0
[pid=24765/tid=24874] ppid=24763 vsize=15553616 memory=0 CPUtime=89.85 cores=0,2,4,6
/proc/24765/task/24874/stat : 24874 (java) R 24763 24763 22939 0 -1 4202560 847 0 0 0 8985 0 0 0 20 0 19 0 445389239 15926902784 44754 33554432000 4194304 4196468 140730533022960 140351843580640 140352039092480 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32079872 140730533028847 140730533029018 140730533029018 140730533031887 0
Current children cumulated CPU time: 583.73 s
Current children cumulated vsize: 15666744 KiB
Current children cumulated memory: 180468 KiB

Child status: 0
Real time (s): 147.083
CPU time (s): 584.003
CPU user time (s): 583.782
CPU system time (s): 0.22064
CPU usage (%): 397.057
Max. virtual memory (cumulated for all children) (KiB): 15668932
Max. memory (cumulated for all children) (KiB): 229036

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 583.782
system time used= 0.22064
maximum resident set size= 230944
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 97783
page faults= 0
swaps= 0
block input operations= 0
block output operations= 272
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7776
involuntary context switches= 14366


# summary of solver processes directly reported to runsolver:
#   pid: 24763
#   total CPU time (s): 584.003
#   total CPU user time (s): 583.782
#   total CPU system time (s): 0.22064

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.911241 second user time and 1.60334 second system time

The end

Launcher Data 

Begin job on node124 at 2019-09-17 06:26:34
IDJOB=4400492
IDBENCH=128634
IDSOLVER=2856
FILE ID=node124/4400492-1568694434
RUNJOBID= node124-1568694194-22970
PBS_JOBID= 21703802
Free space on /tmp= 61788 MiB

SOLVER NAME= choco-solver 2019-09-16
BENCH NAME= XCSP17/Rcpsp/Rcpsp-m1-j60/Rcpsp-j60-21-05.xml
COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 12000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4400492-1568694434/watcher-4400492-1568694434 -o /tmp/evaluation-result-4400492-1568694434/solver-4400492-1568694434 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node124-1568694194-22970 --watchdog 2560  xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 12000 -tdir HOME -seed 7318092 HOME/instance-4400492-1568694434.xml

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

MD5SUM BENCH= 42feabc1334beaea3bf22cfd312dd4ae
RANDOM SEED=7318092

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

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.47
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.47
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.47
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.47
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:        28269232 kB
MemAvailable:   31626468 kB
Buffers:          231928 kB
Cached:          3412768 kB
SwapCached:        46376 kB
Active:          1350316 kB
Inactive:        2562644 kB
Active(anon):     219628 kB
Inactive(anon):    98000 kB
Active(file):    1130688 kB
Inactive(file):  2464644 kB
Unevictable:      107728 kB
Mlocked:          107728 kB
SwapTotal:      67108860 kB
SwapFree:       66959728 kB
Dirty:             26428 kB
Writeback:             0 kB
AnonPages:        484188 kB
Mapped:            61772 kB
Shmem:             40944 kB
Slab:             186024 kB
SReclaimable:     155476 kB
SUnreclaim:        30548 kB
KernelStack:        4160 kB
PageTables:         6156 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1504068 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    366592 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      112000 kB
DirectMap2M:    33433600 kB

Free space on /tmp at the end= 61760 MiB
End job on node124 at 2019-09-17 06:29:01