Trace number 4404101

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-20OPT67514 262.104 66.222

General information on the benchmark

NameQuadraticAssignment/QuadraticAssignment-m1-s1/
QuadraticAssignment-tai10a.xml
MD5SUMb58690ea851c8aad9573a552336d280c
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark67514
Best CPU time to get the best result obtained on this benchmark30.4709
Satisfiable
(Un)Satisfiability was proved
Number of variables110
Number of constraints46
Number of domains2
Minimum domain size10
Maximum domain size35
Distribution of domain sizes[{"size":10,"count":10},{"size":35,"count":45}]
Minimum variable degree0
Maximum variable degree10
Distribution of variable degrees[{"degree":0,"count":55},{"degree":2,"count":45},{"degree":10,"count":10}]
Minimum constraint arity3
Maximum constraint arity10
Distribution of constraint arities[{"arity":3,"count":45},{"arity":10,"count":1}]
Number of extensional constraints45
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":45},{"type":"allDifferent","count":1}]
Optimization problemYES
Type of objectivemin SUM

Quality of the solution as a function of time


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

Solver Data 

0.00/0.00	c java -server -Xmx12000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4404101-1568990414.xml"  -tl '2400s' -p 4
0.13/0.18	c Choco 3fb4b153
0.13/0.18	c [HOME/instance-4404101-1568990414.xml, -tl, 2400s, -p, 4]
0.13/0.22	c 4 solvers in parallel
0.34/0.28	c parse instance...
1.05/0.56	c solve instance...
1.38/0.63	o 91588 
1.38/0.64	o 91155 
1.38/0.64	o 89526 
1.38/0.65	o 86841 
1.38/0.66	o 86322 
1.38/0.68	o 85860 
1.71/0.73	o 84408 
1.71/0.77	o 83544 
1.71/0.77	o 80430 
1.71/0.78	o 79689 
2.07/0.82	o 77638 
2.07/0.83	o 77116 
2.49/0.94	o 76454 
2.49/0.96	o 75714 
2.86/1.05	o 75046 
2.86/1.05	o 70116 
3.64/1.24	o 69746 
23.53/6.29	o 69065 
48.95/12.65	o 68681 
62.02/15.91	o 67914 
99.42/25.37	o 67801 
104.18/26.51	o 67514 
261.72/66.20	s OPTIMUM FOUND
261.72/66.20	v <instantiation>
261.72/66.20	v 	<list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] d[0][1] d[0][2] d[0][3] d[0][4] d[0][5] d[0][6] d[0][7] d[0][8] d[0][9] d[1][2] d[1][3] d[1][4] d[1][5] d[1][6] d[1][7] d[1][8] d[1][9] d[2][3] d[2][4] d[2][5] d[2][6] d[2][7] d[2][8] d[2][9] d[3][4] d[3][5] d[3][6] d[3][7] d[3][8] d[3][9] d[4][5] d[4][6] d[4][7] d[4][8] d[4][9] d[5][6] d[5][7] d[5][8] d[5][9] d[6][7] d[6][8] d[6][9] d[7][8] d[7][9] d[8][9] </list>
261.72/66.20	v 	<values>8 0 7 5 9 4 3 2 6 1 10 61 76 21 45 82 12 57 0 25 41 4 56 82 95 6 21 18 36 86 35 84 18 79 39 69 91 1 59 40 91 26 0 36 89 26 9 56 44 35 11 6 85 63 75 </values>
261.72/66.20	v </instantiation>

Verifier Data 

OK	67514

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

command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4404101-1568990414/watcher-4404101-1568990414 -o /var/tmp/evaluation-result-4404101-1568990414/solver-4404101-1568990414 -C 2400 -W 2500 -M 15500 --bin-var /var/tmp/runsolver-exch-node119-1568988114-19952 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 12000 -tdir HOME -seed 2066519431 HOME/instance-4404101-1568990414.xml 

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

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=24117, runsolver pid=24114

[startup+0.100059 s]*
/proc/loadavg: 8.50 8.50 7.84 7/234 24133
/proc/meminfo: memFree=3445332/32770624 swapFree=66953200/67108860
[pid=24117] ppid=24114 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/24117/stat : 24117 (xcsp3-exec) S 24114 24117 19920 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 474956208 115843072 364 33554432000 4194304 5098028 140737052388032 140737052386136 139876368384636 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 32575488 140737052390230 140737052390489 140737052390489 140737052393414 0
/proc/24117/statm: 28282 364 305 221 0 87 0
[pid=24119] ppid=24117 vsize=15144776 memory=29624 CPUtime=0.13 cores=1,3,5,7
/proc/24119/stat : 24119 (java) S 24117 24117 19920 0 -1 1077944320 5826 0 0 0 12 1 0 0 20 0 15 0 474956209 15508250624 7406 33554432000 4194304 4196468 140725124872416 140725124854960 140627415072503 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 10608640 140725124875227 140725124875402 140725124875402 140725124878287 0
/proc/24119/statm: 3786194 7406 3151 1 0 3748377 0
[pid=24119/tid=24120] ppid=24117 vsize=15144776 memory=7100839878644302962 CPUtime=0.09 cores=1,3,5,7
/proc/24119/task/24120/stat : 24120 (java) R 24117 24117 19920 0 -1 4202560 3708 0 0 0 9 0 0 0 20 0 15 0 474956209 15508250624 7406 33554432000 4194304 4196468 140725124872416 140627419303504 140627415084438 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10608640 140725124875227 140725124875402 140725124875402 140725124878287 0
[pid=24119/tid=24121] ppid=24117 vsize=15144776 memory=-3689451258167578675 CPUtime=0 cores=1,3,5,7
/proc/24119/task/24121/stat : 24121 (java) S 24117 24117 19920 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 474956210 15508250624 7406 33554432000 4194304 4196468 140725124872416 140627367692560 140627415082709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10608640 140725124875227 140725124875402 140725124875402 140725124878287 0
[pid=24119/tid=24122] ppid=24117 vsize=15144776 memory=140094548432512 CPUtime=0 cores=1,3,5,7
/proc/24119/task/24122/stat : 24122 (java) S 24117 24117 19920 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 474956210 15508250624 7406 33554432000 4194304 4196468 140725124872416 140627366640016 140627415082709 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10608640 140725124875227 140725124875402 140725124875402 140725124878287 0
[pid=24119/tid=24123] ppid=24117 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24119/task/24123/stat : 24123 (java) S 24117 24117 19920 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 474956210 15508250624 7406 33554432000 4194304 4196468 140725124872416 140627365587472 140627415082709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10608640 140725124875227 140725124875402 140725124875402 140725124878287 0
[pid=24119/tid=24124] ppid=24117 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/24119/task/24124/stat : 24124 (java) S 24117 24117 19920 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 474956210 15508250624 7406 33554432000 4194304 4196468 140725124872416 140627364534928 140627415082709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10608640 140725124875227 140725124875402 140725124875402 140725124878287 0
[pid=24119/tid=24125] ppid=24117 vsize=15144776 memory=140094548432512 CPUtime=0 cores=1,3,5,7
/proc/24119/task/24125/stat : 24125 (java) S 24117 24117 19920 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 474956211 15508250624 7406 33554432000 4194304 4196468 140725124872416 140626287909360 140627415083650 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10608640 140725124875227 140725124875402 140725124875402 140725124878287 0
[pid=24119/tid=24126] ppid=24117 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/24119/task/24126/stat : 24126 (java) S 24117 24117 19920 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 474956211 15508250624 7406 33554432000 4194304 4196468 140725124872416 140626286855584 140627415082709 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10608640 140725124875227 140725124875402 140725124875402 140725124878287 0
[pid=24119/tid=24127] ppid=24117 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24119/task/24127/stat : 24127 (java) S 24117 24117 19920 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 474956212 15508250624 7406 33554432000 4194304 4196468 140725124872416 140626285802992 140627415082709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10608640 140725124875227 140725124875402 140725124875402 140725124878287 0
[pid=24119/tid=24128] ppid=24117 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24119/task/24128/stat : 24128 (java) S 24117 24117 19920 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 474956214 15508250624 7406 33554432000 4194304 4196468 140725124872416 140626284751568 140627415091099 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10608640 140725124875227 140725124875402 140725124875402 140725124878287 0
[pid=24119/tid=24129] ppid=24117 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24119/task/24129/stat : 24129 (java) S 24117 24117 19920 0 -1 1077944384 349 0 0 0 0 0 0 0 20 0 15 0 474956214 15508250624 7406 33554432000 4194304 4196468 140725124872416 140626283698160 140627415083650 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10608640 140725124875227 140725124875402 140725124875402 140725124878287 0
[pid=24119/tid=24130] ppid=24117 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/24119/task/24130/stat : 24130 (java) S 24117 24117 19920 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 15 0 474956214 15508250624 7406 33554432000 4194304 4196468 140725124872416 140626282645616 140627415083650 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10608640 140725124875227 140725124875402 140725124875402 140725124878287 0
[pid=24119/tid=24131] ppid=24117 vsize=15144776 memory=140094548432512 CPUtime=0.02 cores=1,3,5,7
/proc/24119/task/24131/stat : 24131 (java) R 24117 24117 19920 0 -1 4202560 345 0 0 0 2 0 0 0 20 0 15 0 474956214 15508250624 7406 33554432000 4194304 4196468 140725124872416 140626281588112 140627415084438 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10608640 140725124875227 140725124875402 140725124875402 140725124878287 0
[pid=24119/tid=24132] ppid=24117 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/24119/task/24132/stat : 24132 (java) S 24117 24117 19920 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 474956214 15508250624 7406 33554432000 4194304 4196468 140725124872416 140626280540768 140627415082709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10608640 140725124875227 140725124875402 140725124875402 140725124878287 0
[pid=24119/tid=24133] ppid=24117 vsize=15144776 memory=140094548432512 CPUtime=0 cores=1,3,5,7
/proc/24119/task/24133/stat : 24133 (java) S 24117 24117 19920 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 474956214 15508250624 7406 33554432000 4194304 4196468 140725124872416 140626279488304 140627415083650 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10608640 140725124875227 140725124875402 140725124875402 140725124878287 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 31080 KiB

[startup+0.211487 s]*
/proc/loadavg: 8.50 8.50 7.84 6/234 24133
/proc/meminfo: memFree=3432364/32770624 swapFree=66953200/67108860
[pid=24117] ppid=24114 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/24117/stat : 24117 (xcsp3-exec) S 24114 24117 19920 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 474956208 115843072 364 33554432000 4194304 5098028 140737052388032 140737052386136 139876368384636 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 32575488 140737052390230 140737052390489 140737052390489 140737052393414 0
/proc/24117/statm: 28282 364 305 221 0 87 0
[pid=24119] ppid=24117 vsize=15144776 memory=41068 CPUtime=0.34 cores=1,3,5,7
/proc/24119/stat : 24119 (java) S 24117 24117 19920 0 -1 1077944320 9488 0 0 0 31 3 0 0 20 0 15 0 474956209 15508250624 10267 33554432000 4194304 4196468 140725124872416 140725124854960 140627415072503 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 10608640 140725124875227 140725124875402 140725124875402 140725124878287 0
/proc/24119/statm: 3786194 10267 3317 1 0 3748377 0
[pid=24119/tid=24120] ppid=24117 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/24119/task/24120/stat : 24120 (java) R 24117 24117 19920 0 -1 4202560 6652 0 0 0 18 2 0 0 20 0 15 0 474956209 15508250624 10267 33554432000 4194304 4196468 140725124872416 140627419307488 140627415094333 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10608640 140725124875227 140725124875402 140725124875402 140725124878287 0
[pid=24119/tid=24121] ppid=24117 vsize=15144776 memory=11079 CPUtime=0 cores=1,3,5,7
/proc/24119/task/24121/stat : 24121 (java) S 24117 24117 19920 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 474956210 15508250624 10267 33554432000 4194304 4196468 140725124872416 140627367692560 140627415082709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10608640 140725124875227 140725124875402 140725124875402 140725124878287 0
[pid=24119/tid=24122] ppid=24117 vsize=15144776 memory=288230376155275432 CPUtime=0 cores=1,3,5,7
/proc/24119/task/24122/stat : 24122 (java) S 24117 24117 19920 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 474956210 15508250624 10267 33554432000 4194304 4196468 140725124872416 140627366640016 140627415082709 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10608640 140725124875227 140725124875402 140725124875402 140725124878287 0
[pid=24119/tid=24123] ppid=24117 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24119/task/24123/stat : 24123 (java) S 24117 24117 19920 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 474956210 15508250624 10267 33554432000 4194304 4196468 140725124872416 140627365587472 140627415082709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10608640 140725124875227 140725124875402 140725124875402 140725124878287 0
[pid=24119/tid=24124] ppid=24117 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/24119/task/24124/stat : 24124 (java) S 24117 24117 19920 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 474956210 15508250624 10267 33554432000 4194304 4196468 140725124872416 140627364534928 140627415082709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10608640 140725124875227 140725124875402 140725124875402 140725124878287 0
[pid=24119/tid=24125] ppid=24117 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24119/task/24125/stat : 24125 (java) S 24117 24117 19920 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 474956211 15508250624 10267 33554432000 4194304 4196468 140725124872416 140626287909360 140627415083650 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10608640 140725124875227 140725124875402 140725124875402 140725124878287 0
[pid=24119/tid=24126] ppid=24117 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/24119/task/24126/stat : 24126 (java) S 24117 24117 19920 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 474956211 15508250624 10267 33554432000 4194304 4196468 140725124872416 140626286855584 140627415082709 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10608640 140725124875227 140725124875402 140725124875402 140725124878287 0
[pid=24119/tid=24127] ppid=24117 vsize=15144776 memory=140094548432512 CPUtime=0 cores=1,3,5,7
/proc/24119/task/24127/stat : 24127 (java) S 24117 24117 19920 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 474956212 15508250624 10267 33554432000 4194304 4196468 140725124872416 140626285802992 140627415082709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10608640 140725124875227 140725124875402 140725124875402 140725124878287 0
[pid=24119/tid=24128] ppid=24117 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/24119/task/24128/stat : 24128 (java) S 24117 24117 19920 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 474956214 15508250624 10267 33554432000 4194304 4196468 140725124872416 140626284751568 140627415091099 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10608640 140725124875227 140725124875402 140725124875402 140725124878287 0
[pid=24119/tid=24129] ppid=24117 vsize=15144776 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/24119/task/24129/stat : 24129 (java) S 24117 24117 19920 0 -1 1077944384 423 0 0 0 2 0 0 0 20 0 15 0 474956214 15508250624 10267 33554432000 4194304 4196468 140725124872416 140626283698160 140627415083650 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10608640 140725124875227 140725124875402 140725124875402 140725124878287 0
[pid=24119/tid=24130] ppid=24117 vsize=15144776 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/24119/task/24130/stat : 24130 (java) S 24117 24117 19920 0 -1 1077944384 358 0 0 0 2 0 0 0 20 0 15 0 474956214 15508250624 10267 33554432000 4194304 4196468 140725124872416 140626282645616 140627415083650 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10608640 140725124875227 140725124875402 140725124875402 140725124878287 0
[pid=24119/tid=24131] ppid=24117 vsize=15144776 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/24119/task/24131/stat : 24131 (java) R 24117 24117 19920 0 -1 4202560 748 0 0 0 8 0 0 0 20 0 15 0 474956214 15508250624 10267 33554432000 4194304 4196468 140725124872416 140626281593072 140627415093850 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10608640 140725124875227 140725124875402 140725124875402 140725124878287 0
[pid=24119/tid=24132] ppid=24117 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24119/task/24132/stat : 24132 (java) S 24117 24117 19920 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 474956214 15508250624 10267 33554432000 4194304 4196468 140725124872416 140626280540768 140627415082709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10608640 140725124875227 140725124875402 140725124875402 140725124878287 0
[pid=24119/tid=24133] ppid=24117 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24119/task/24133/stat : 24133 (java) S 24117 24117 19920 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 474956214 15508250624 10267 33554432000 4194304 4196468 140725124872416 140626279488304 140627415083650 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10608640 140725124875227 140725124875402 140725124875402 140725124878287 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42524 KiB

[startup+0.310678 s]*
/proc/loadavg: 8.50 8.50 7.84 6/234 24133
/proc/meminfo: memFree=3425328/32770624 swapFree=66953200/67108860
[pid=24117] ppid=24114 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/24117/stat : 24117 (xcsp3-exec) S 24114 24117 19920 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 474956208 115843072 364 33554432000 4194304 5098028 140737052388032 140737052386136 139876368384636 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 32575488 140737052390230 140737052390489 140737052390489 140737052393414 0
/proc/24117/statm: 28282 364 305 221 0 87 0
[pid=24119] ppid=24117 vsize=15149032 memory=49708 CPUtime=0.52 cores=1,3,5,7
/proc/24119/stat : 24119 (java) S 24117 24117 19920 0 -1 1077944320 10798 0 0 0 49 3 0 0 20 0 15 0 474956209 15512608768 12427 33554432000 4194304 4196468 140725124872416 140725124854960 140627415072503 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 10608640 140725124875227 140725124875402 140725124875402 140725124878287 0
/proc/24119/statm: 3787258 12427 3351 1 0 3748377 0
[pid=24119/tid=24120] ppid=24117 vsize=15149032 memory=7883960649037381690 CPUtime=0.29 cores=1,3,5,7
/proc/24119/task/24120/stat : 24120 (java) R 24117 24117 19920 0 -1 4202560 7866 0 0 0 27 2 0 0 20 0 15 0 474956209 15512608768 12427 33554432000 4194304 4196468 140725124872416 140627419303616 140627399152990 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10608640 140725124875227 140725124875402 140725124875402 140725124878287 0
[pid=24119/tid=24121] ppid=24117 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24119/task/24121/stat : 24121 (java) S 24117 24117 19920 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 474956210 15512608768 12427 33554432000 4194304 4196468 140725124872416 140627367692560 140627415082709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10608640 140725124875227 140725124875402 140725124875402 140725124878287 0
[pid=24119/tid=24122] ppid=24117 vsize=15149032 memory=288230376155271456 CPUtime=0 cores=1,3,5,7
/proc/24119/task/24122/stat : 24122 (java) S 24117 24117 19920 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 474956210 15512608768 12427 33554432000 4194304 4196468 140725124872416 140627366640016 140627415082709 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10608640 140725124875227 140725124875402 140725124875402 140725124878287 0
[pid=24119/tid=24123] ppid=24117 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24119/task/24123/stat : 24123 (java) S 24117 24117 19920 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 474956210 15512608768 12427 33554432000 4194304 4196468 140725124872416 140627365587472 140627415082709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10608640 140725124875227 140725124875402 140725124875402 140725124878287 0
[pid=24119/tid=24124] ppid=24117 vsize=15149032 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/24119/task/24124/stat : 24124 (java) S 24117 24117 19920 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 474956210 15512608768 12427 33554432000 4194304 4196468 140725124872416 140627364534928 140627415082709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10608640 140725124875227 140725124875402 140725124875402 140725124878287 0
[pid=24119/tid=24125] ppid=24117 vsize=15149032 memory=140094548432512 CPUtime=0 cores=1,3,5,7
/proc/24119/task/24125/stat : 24125 (java) S 24117 24117 19920 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 474956211 15512608768 12427 33554432000 4194304 4196468 140725124872416 140626287909360 140627415083650 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10608640 140725124875227 140725124875402 140725124875402 140725124878287 0
[pid=24119/tid=24126] ppid=24117 vsize=15149032 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/24119/task/24126/stat : 24126 (java) S 24117 24117 19920 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 474956211 15512608768 12427 33554432000 4194304 4196468 140725124872416 140626286855584 140627415082709 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10608640 140725124875227 140725124875402 140725124875402 140725124878287 0
[pid=24119/tid=24127] ppid=24117 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24119/task/24127/stat : 24127 (java) S 24117 24117 19920 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 474956212 15512608768 12427 33554432000 4194304 4196468 140725124872416 140626285802992 140627415082709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10608640 140725124875227 140725124875402 140725124875402 140725124878287 0
[pid=24119/tid=24128] ppid=24117 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24119/task/24128/stat : 24128 (java) S 24117 24117 19920 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 474956214 15512608768 12427 33554432000 4194304 4196468 140725124872416 140626284751568 140627415091099 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10608640 140725124875227 140725124875402 140725124875402 140725124878287 0
[pid=24119/tid=24129] ppid=24117 vsize=15149032 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/24119/task/24129/stat : 24129 (java) S 24117 24117 19920 0 -1 1077944384 432 0 0 0 4 0 0 0 20 0 15 0 474956214 15512608768 12427 33554432000 4194304 4196468 140725124872416 140626283698160 140627415083650 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10608640 140725124875227 140725124875402 140725124875402 140725124878287 0
[pid=24119/tid=24130] ppid=24117 vsize=15149032 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/24119/task/24130/stat : 24130 (java) S 24117 24117 19920 0 -1 1077944384 364 0 0 0 3 0 0 0 20 0 15 0 474956214 15512608768 12427 33554432000 4194304 4196468 140725124872416 140626282645616 140627415083650 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10608640 140725124875227 140725124875402 140725124875402 140725124878287 0
[pid=24119/tid=24131] ppid=24117 vsize=15149032 memory=140094548432512 CPUtime=0.13 cores=1,3,5,7
/proc/24119/task/24131/stat : 24131 (java) S 24117 24117 19920 0 -1 1077944384 833 0 0 0 13 0 0 0 20 0 15 0 474956214 15512608768 12427 33554432000 4194304 4196468 140725124872416 140626281593072 140627415083650 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10608640 140725124875227 140725124875402 140725124875402 140725124878287 0
[pid=24119/tid=24132] ppid=24117 vsize=15149032 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/24119/task/24132/stat : 24132 (java) S 24117 24117 19920 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 474956214 15512608768 12427 33554432000 4194304 4196468 140725124872416 140626280540768 140627415082709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10608640 140725124875227 140725124875402 140725124875402 140725124878287 0
[pid=24119/tid=24133] ppid=24117 vsize=15149032 memory=140094548432512 CPUtime=0 cores=1,3,5,7
/proc/24119/task/24133/stat : 24133 (java) S 24117 24117 19920 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 474956214 15512608768 12427 33554432000 4194304 4196468 140725124872416 140626279488304 140627415083650 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10608640 140725124875227 140725124875402 140725124875402 140725124878287 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51164 KiB

[startup+0.700741 s]
/proc/loadavg: 8.50 8.50 7.84 9/234 24133
/proc/meminfo: memFree=3409108/32770624 swapFree=66953200/67108860
[pid=24117] ppid=24114 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/24117/stat : 24117 (xcsp3-exec) S 24114 24117 19920 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 474956208 115843072 364 33554432000 4194304 5098028 140737052388032 140737052386136 139876368384636 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 32575488 140737052390230 140737052390489 140737052390489 140737052393414 0
/proc/24117/statm: 28282 364 305 221 0 87 0
[pid=24119] ppid=24117 vsize=15483976 memory=132520 CPUtime=1.71 cores=1,3,5,7
/proc/24119/stat : 24119 (java) S 24117 24117 19920 0 -1 1077944320 15535 0 0 0 165 6 0 0 20 0 19 0 474956209 15855591424 33130 33554432000 4194304 4196468 140725124872416 140725124854960 140627415072503 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 10608640 140725124875227 140725124875402 140725124875402 140725124878287 0
/proc/24119/statm: 3870994 33130 3461 1 0 3832094 0
[pid=24119/tid=24120] ppid=24117 vsize=15483976 memory=2116 CPUtime=0.55 cores=1,3,5,7
/proc/24119/task/24120/stat : 24120 (java) S 24117 24117 19920 0 -1 1077944384 9251 0 0 0 52 3 0 0 20 0 19 0 474956209 15855591424 33130 33554432000 4194304 4196468 140725124872416 140627419313280 140627415082709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10608640 140725124875227 140725124875402 140725124875402 140725124878287 0
[pid=24119/tid=24121] ppid=24117 vsize=15483976 memory=520 CPUtime=0 cores=1,3,5,7
/proc/24119/task/24121/stat : 24121 (java) S 24117 24117 19920 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 474956210 15855591424 33130 33554432000 4194304 4196468 140725124872416 140627367692560 140627415082709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10608640 140725124875227 140725124875402 140725124875402 140725124878287 0
[pid=24119/tid=24122] ppid=24117 vsize=15483976 memory=1560 CPUtime=0 cores=1,3,5,7
/proc/24119/task/24122/stat : 24122 (java) S 24117 24117 19920 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 474956210 15855591424 33130 33554432000 4194304 4196468 140725124872416 140627366640016 140627415082709 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10608640 140725124875227 140725124875402 140725124875402 140725124878287 0
[pid=24119/tid=24123] ppid=24117 vsize=15483976 memory=924 CPUtime=0 cores=1,3,5,7
/proc/24119/task/24123/stat : 24123 (java) S 24117 24117 19920 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 474956210 15855591424 33130 33554432000 4194304 4196468 140725124872416 140627365587472 140627415082709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10608640 140725124875227 140725124875402 140725124875402 140725124878287 0
[pid=24119/tid=24124] ppid=24117 vsize=15483976 memory=3688 CPUtime=0 cores=1,3,5,7
/proc/24119/task/24124/stat : 24124 (java) S 24117 24117 19920 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 474956210 15855591424 33130 33554432000 4194304 4196468 140725124872416 140627364534928 140627415082709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10608640 140725124875227 140725124875402 140725124875402 140725124878287 0
[pid=24119/tid=24125] ppid=24117 vsize=15483976 memory=1984 CPUtime=0 cores=1,3,5,7
/proc/24119/task/24125/stat : 24125 (java) S 24117 24117 19920 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 474956211 15855591424 33130 33554432000 4194304 4196468 140725124872416 140626287909360 140627415083650 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10608640 140725124875227 140725124875402 140725124875402 140725124878287 0
[pid=24119/tid=24126] ppid=24117 vsize=15483976 memory=1440 CPUtime=0 cores=1,3,5,7
/proc/24119/task/24126/stat : 24126 (java) S 24117 24117 19920 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 474956211 15855591424 33130 33554432000 4194304 4196468 140725124872416 140626286855584 140627415082709 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10608640 140725124875227 140725124875402 140725124875402 140725124878287 0
[pid=24119/tid=24127] ppid=24117 vsize=15483976 memory=800 CPUtime=0 cores=1,3,5,7
/proc/24119/task/24127/stat : 24127 (java) S 24117 24117 19920 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 474956212 15855591424 33130 33554432000 4194304 4196468 140725124872416 140626285802992 140627415082709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10608640 140725124875227 140725124875402 140725124875402 140725124878287 0
[pid=24119/tid=24128] ppid=24117 vsize=15483976 memory=2580 CPUtime=0 cores=1,3,5,7
/proc/24119/task/24128/stat : 24128 (java) S 24117 24117 19920 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 474956214 15855591424 33130 33554432000 4194304 4196468 140725124872416 140626284751568 140627415091099 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10608640 140725124875227 140725124875402 140725124875402 140725124878287 0
[pid=24119/tid=24129] ppid=24117 vsize=15483976 memory=7302135314614015848 CPUtime=0.26 cores=1,3,5,7
/proc/24119/task/24129/stat : 24129 (java) R 24117 24117 19920 0 -1 4202560 1290 0 0 0 26 0 0 0 20 0 19 0 474956214 15855591424 33130 33554432000 4194304 4196468 140725124872416 140626283684704 140627399995423 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10608640 140725124875227 140725124875402 140725124875402 140725124878287 0
[pid=24119/tid=24130] ppid=24117 vsize=15483976 memory=5865491457550741077 CPUtime=0.29 cores=1,3,5,7
/proc/24119/task/24130/stat : 24130 (java) R 24117 24117 19920 0 -1 4202560 1089 0 0 0 29 0 0 0 20 0 19 0 474956214 15855591424 33130 33554432000 4194304 4196468 140725124872416 140626282638528 140627399472042 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10608640 140725124875227 140725124875402 140725124875402 140725124878287 0
[pid=24119/tid=24131] ppid=24117 vsize=15483976 memory=7223887401239728208 CPUtime=0.37 cores=1,3,5,7
/proc/24119/task/24131/stat : 24131 (java) R 24117 24117 19920 0 -1 4202560 1881 0 0 0 37 0 0 0 20 0 19 0 474956214 15855591424 33130 33554432000 4194304 4196468 140725124872416 140626281593072 140627394011996 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10608640 140725124875227 140725124875402 140725124875402 140725124878287 0
[pid=24119/tid=24132] ppid=24117 vsize=15483976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24119/task/24132/stat : 24132 (java) S 24117 24117 19920 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 474956214 15855591424 33130 33554432000 4194304 4196468 140725124872416 140626280540768 140627415082709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10608640 140725124875227 140725124875402 140725124875402 140725124878287 0
[pid=24119/tid=24133] ppid=24117 vsize=15483976 memory=7523373546746438508 CPUtime=0 cores=1,3,5,7
/proc/24119/task/24133/stat : 24133 (java) S 24117 24117 19920 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 474956214 15855591424 33130 33554432000 4194304 4196468 140725124872416 140626279488304 140627415083650 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10608640 140725124875227 140725124875402 140725124875402 140725124878287 0
Current children cumulated CPU time: 1.71 s
Current children cumulated vsize: 15597104 KiB
Current children cumulated memory: 133976 KiB

[startup+1.50099 s]
/proc/loadavg: 8.50 8.50 7.84 12/238 24193
/proc/meminfo: memFree=3293892/32770624 swapFree=66953200/67108860
[pid=24117] ppid=24114 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/24117/stat : 24117 (xcsp3-exec) S 24114 24117 19920 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 474956208 115843072 364 33554432000 4194304 5098028 140737052388032 140737052386136 139876368384636 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 32575488 140737052390230 140737052390489 140737052390489 140737052393414 0
/proc/24117/statm: 28282 364 305 221 0 87 0

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

/proc/24119/task/24133/stat : 24133 (java) S 24117 24117 19920 0 -1 1077944384 770 0 0 0 0 1 0 0 20 0 19 0 474956214 15857688576 43559 33554432000 4194304 4196468 140725124872416 140626279488304 140627415083650 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10608640 140725124875227 140725124875402 140725124875402 140725124878287 0
[pid=24119/tid=24224] ppid=24117 vsize=15486024 memory=776 CPUtime=37.27 cores=1,3,5,7
/proc/24119/task/24224/stat : 24224 (java) R 24117 24117 19920 0 -1 4202560 417 0 0 0 3727 0 0 0 20 0 19 0 474958860 15857688576 43559 33554432000 4194304 4196468 140725124872416 140626268400672 140627049773151 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10608640 140725124875227 140725124875402 140725124875402 140725124878287 0
[pid=24119/tid=24225] ppid=24117 vsize=15486024 memory=2832 CPUtime=37.27 cores=1,3,5,7
/proc/24119/task/24225/stat : 24225 (java) R 24117 24117 19920 0 -1 4202560 1064 0 0 0 3727 0 0 0 20 0 19 0 474958860 15857688576 43559 33554432000 4194304 4196468 140725124872416 140626270507168 140627049987106 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10608640 140725124875227 140725124875402 140725124875402 140725124878287 0
[pid=24119/tid=24226] ppid=24117 vsize=15486024 memory=668 CPUtime=37.02 cores=1,3,5,7
/proc/24119/task/24226/stat : 24226 (java) R 24117 24117 19920 0 -1 4202560 999 0 0 0 3702 0 0 0 20 0 19 0 474958860 15857688576 43559 33554432000 4194304 4196468 140725124872416 140626267349448 140627048387302 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10608640 140725124875227 140725124875402 140725124875402 140725124878287 0
[pid=24119/tid=24227] ppid=24117 vsize=15486024 memory=1256 CPUtime=37.32 cores=1,3,5,7
/proc/24119/task/24227/stat : 24227 (java) R 24117 24117 19920 0 -1 4202560 533 0 0 0 3732 0 0 0 20 0 19 0 474958860 15857688576 43559 33554432000 4194304 4196468 140725124872416 140626269456032 140627049007241 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 10608640 140725124875227 140725124875402 140725124875402 140725124878287 0
Current children cumulated CPU time: 253.36 s
Current children cumulated vsize: 15599152 KiB
Current children cumulated memory: 175692 KiB

[startup+65.6051 s]
/proc/loadavg: 8.60 8.54 7.89 9/239 24238
/proc/meminfo: memFree=3294248/32770624 swapFree=66953200/67108860
[pid=24117] ppid=24114 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/24117/stat : 24117 (xcsp3-exec) S 24114 24117 19920 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 474956208 115843072 364 33554432000 4194304 5098028 140737052388032 140737052386136 139876368384636 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 32575488 140737052390230 140737052390489 140737052390489 140737052393414 0
/proc/24117/statm: 28282 364 305 221 0 87 0
[pid=24119] ppid=24117 vsize=15486024 memory=174236 CPUtime=259.72 cores=1,3,5,7
/proc/24119/stat : 24119 (java) S 24117 24117 19920 0 -1 1077944320 62343 0 0 0 25957 15 0 0 20 0 19 0 474956209 15857688576 43559 33554432000 4194304 4196468 140725124872416 140725124854960 140627415072503 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 10608640 140725124875227 140725124875402 140725124875402 140725124878287 0
/proc/24119/statm: 3871506 43559 3519 1 0 3832606 0
[pid=24119/tid=24120] ppid=24117 vsize=15486024 memory=5788911507359232418 CPUtime=0.55 cores=1,3,5,7
/proc/24119/task/24120/stat : 24120 (java) S 24117 24117 19920 0 -1 1077944384 9902 0 0 0 52 3 0 0 20 0 19 0 474956209 15857688576 43559 33554432000 4194304 4196468 140725124872416 140627419313280 140627415082709 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10608640 140725124875227 140725124875402 140725124875402 140725124878287 0
[pid=24119/tid=24121] ppid=24117 vsize=15486024 memory=7649399392821130290 CPUtime=0.03 cores=1,3,5,7
/proc/24119/task/24121/stat : 24121 (java) S 24117 24117 19920 0 -1 1077944384 2651 0 0 0 2 1 0 0 20 0 19 0 474956210 15857688576 43559 33554432000 4194304 4196468 140725124872416 140627367692560 140627415082709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10608640 140725124875227 140725124875402 140725124875402 140725124878287 0
[pid=24119/tid=24122] ppid=24117 vsize=15486024 memory=7649399397116097586 CPUtime=0.02 cores=1,3,5,7
/proc/24119/task/24122/stat : 24122 (java) S 24117 24117 19920 0 -1 1077944384 1980 0 0 0 2 0 0 0 20 0 19 0 474956210 15857688576 43559 33554432000 4194304 4196468 140725124872416 140627366640016 140627415082709 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10608640 140725124875227 140725124875402 140725124875402 140725124878287 0
[pid=24119/tid=24123] ppid=24117 vsize=15486024 memory=6791534058613427641 CPUtime=0.02 cores=1,3,5,7
/proc/24119/task/24123/stat : 24123 (java) S 24117 24117 19920 0 -1 1077944384 855 0 0 0 2 0 0 0 20 0 19 0 474956210 15857688576 43559 33554432000 4194304 4196468 140725124872416 140627365587472 140627415082709 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10608640 140725124875227 140725124875402 140725124875402 140725124878287 0
[pid=24119/tid=24124] ppid=24117 vsize=15486024 memory=3068 CPUtime=0.02 cores=1,3,5,7
/proc/24119/task/24124/stat : 24124 (java) S 24117 24117 19920 0 -1 1077944384 1408 0 0 0 2 0 0 0 20 0 19 0 474956210 15857688576 43559 33554432000 4194304 4196468 140725124872416 140627364534928 140627415082709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10608640 140725124875227 140725124875402 140725124875402 140725124878287 0
[pid=24119/tid=24125] ppid=24117 vsize=15486024 memory=1456 CPUtime=0.03 cores=1,3,5,7
/proc/24119/task/24125/stat : 24125 (java) S 24117 24117 19920 0 -1 1077944384 2150 0 0 0 2 1 0 0 20 0 19 0 474956211 15857688576 43559 33554432000 4194304 4196468 140725124872416 140626287909360 140627415083650 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10608640 140725124875227 140725124875402 140725124875402 140725124878287 0
[pid=24119/tid=24126] ppid=24117 vsize=15486024 memory=179880 CPUtime=0 cores=1,3,5,7
/proc/24119/task/24126/stat : 24126 (java) S 24117 24117 19920 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 19 0 474956211 15857688576 43559 33554432000 4194304 4196468 140725124872416 140626286855648 140627415082709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10608640 140725124875227 140725124875402 140725124875402 140725124878287 0
[pid=24119/tid=24127] ppid=24117 vsize=15486024 memory=1620 CPUtime=0 cores=1,3,5,7
/proc/24119/task/24127/stat : 24127 (java) S 24117 24117 19920 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 19 0 474956212 15857688576 43559 33554432000 4194304 4196468 140725124872416 140626285803008 140627415082709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10608640 140725124875227 140725124875402 140725124875402 140725124878287 0
[pid=24119/tid=24128] ppid=24117 vsize=15486024 memory=14056 CPUtime=0 cores=1,3,5,7
/proc/24119/task/24128/stat : 24128 (java) S 24117 24117 19920 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 474956214 15857688576 43559 33554432000 4194304 4196468 140725124872416 140626284751568 140627415091099 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10608640 140725124875227 140725124875402 140725124875402 140725124878287 0
[pid=24119/tid=24129] ppid=24117 vsize=15486024 memory=2116 CPUtime=2.35 cores=1,3,5,7
/proc/24119/task/24129/stat : 24129 (java) S 24117 24117 19920 0 -1 1077944384 10590 0 0 0 234 1 0 0 20 0 19 0 474956214 15857688576 43559 33554432000 4194304 4196468 140725124872416 140626283698160 140627415083650 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10608640 140725124875227 140725124875402 140725124875402 140725124878287 0
[pid=24119/tid=24130] ppid=24117 vsize=15486024 memory=3504 CPUtime=2.59 cores=1,3,5,7
/proc/24119/task/24130/stat : 24130 (java) S 24117 24117 19920 0 -1 1077944384 14195 0 0 0 258 1 0 0 20 0 19 0 474956214 15857688576 43559 33554432000 4194304 4196468 140725124872416 140626282645616 140627415083650 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10608640 140725124875227 140725124875402 140725124875402 140725124878287 0
[pid=24119/tid=24131] ppid=24117 vsize=15486024 memory=55236 CPUtime=0.71 cores=1,3,5,7
/proc/24119/task/24131/stat : 24131 (java) S 24117 24117 19920 0 -1 1077944384 6708 0 0 0 70 1 0 0 20 0 19 0 474956214 15857688576 43559 33554432000 4194304 4196468 140725124872416 140626281593072 140627415083650 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 5 0 0 6293624 6294260 10608640 140725124875227 140725124875402 140725124875402 140725124878287 0
[pid=24119/tid=24132] ppid=24117 vsize=15486024 memory=988 CPUtime=0 cores=1,3,5,7
/proc/24119/task/24132/stat : 24132 (java) S 24117 24117 19920 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 474956214 15857688576 43559 33554432000 4194304 4196468 140725124872416 140626280540768 140627415082709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10608640 140725124875227 140725124875402 140725124875402 140725124878287 0
[pid=24119/tid=24133] ppid=24117 vsize=15486024 memory=2008 CPUtime=0.01 cores=1,3,5,7
/proc/24119/task/24133/stat : 24133 (java) S 24117 24117 19920 0 -1 1077944384 770 0 0 0 0 1 0 0 20 0 19 0 474956214 15857688576 43559 33554432000 4194304 4196468 140725124872416 140626279488304 140627415083650 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10608640 140725124875227 140725124875402 140725124875402 140725124878287 0
[pid=24119/tid=24224] ppid=24117 vsize=15486024 memory=1424 CPUtime=38.87 cores=1,3,5,7
/proc/24119/task/24224/stat : 24224 (java) R 24117 24117 19920 0 -1 4202560 417 0 0 0 3887 0 0 0 20 0 19 0 474958860 15857688576 43559 33554432000 4194304 4196468 140725124872416 140626268401080 140627049082892 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10608640 140725124875227 140725124875402 140725124875402 140725124878287 0
[pid=24119/tid=24225] ppid=24117 vsize=15486024 memory=1456 CPUtime=38.86 cores=1,3,5,7
/proc/24119/task/24225/stat : 24225 (java) R 24117 24117 19920 0 -1 4202560 1067 0 0 0 3886 0 0 0 20 0 19 0 474958860 15857688576 43559 33554432000 4194304 4196468 140725124872416 140626270509472 140627049987106 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10608640 140725124875227 140725124875402 140725124875402 140725124878287 0
[pid=24119/tid=24226] ppid=24117 vsize=15486024 memory=195232 CPUtime=38.61 cores=1,3,5,7
/proc/24119/task/24226/stat : 24226 (java) R 24117 24117 19920 0 -1 4202560 999 0 0 0 3861 0 0 0 20 0 19 0 474958860 15857688576 43559 33554432000 4194304 4196468 140725124872416 140626267348848 140627049949854 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10608640 140725124875227 140725124875402 140725124875402 140725124878287 0
[pid=24119/tid=24227] ppid=24117 vsize=15486024 memory=6791534058613427641 CPUtime=38.89 cores=1,3,5,7
/proc/24119/task/24227/stat : 24227 (java) R 24117 24117 19920 0 -1 4202560 534 0 0 0 3889 0 0 0 20 0 19 0 474958860 15857688576 43559 33554432000 4194304 4196468 140725124872416 140626269454008 140627049772129 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 10608640 140725124875227 140725124875402 140725124875402 140725124878287 0
Current children cumulated CPU time: 259.72 s
Current children cumulated vsize: 15599152 KiB
Current children cumulated memory: 175692 KiB

[startup+66.001 s]*
/proc/loadavg: 8.60 8.54 7.89 9/239 24238
/proc/meminfo: memFree=3293760/32770624 swapFree=66953200/67108860
[pid=24117] ppid=24114 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/24117/stat : 24117 (xcsp3-exec) S 24114 24117 19920 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 474956208 115843072 364 33554432000 4194304 5098028 140737052388032 140737052386136 139876368384636 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 32575488 140737052390230 140737052390489 140737052390489 140737052393414 0
/proc/24117/statm: 28282 364 305 221 0 87 0
[pid=24119] ppid=24117 vsize=15486024 memory=174236 CPUtime=261.32 cores=1,3,5,7
/proc/24119/stat : 24119 (java) S 24117 24117 19920 0 -1 1077944320 62343 0 0 0 26117 15 0 0 20 0 19 0 474956209 15857688576 43559 33554432000 4194304 4196468 140725124872416 140725124854960 140627415072503 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 10608640 140725124875227 140725124875402 140725124875402 140725124878287 0
/proc/24119/statm: 3871506 43559 3519 1 0 3832606 0
[pid=24119/tid=24120] ppid=24117 vsize=15486024 memory=1052 CPUtime=0.55 cores=1,3,5,7
/proc/24119/task/24120/stat : 24120 (java) S 24117 24117 19920 0 -1 1077944384 9902 0 0 0 52 3 0 0 20 0 19 0 474956209 15857688576 43559 33554432000 4194304 4196468 140725124872416 140627419313280 140627415082709 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10608640 140725124875227 140725124875402 140725124875402 140725124878287 0
[pid=24119/tid=24121] ppid=24117 vsize=15486024 memory=776 CPUtime=0.03 cores=1,3,5,7
/proc/24119/task/24121/stat : 24121 (java) S 24117 24117 19920 0 -1 1077944384 2651 0 0 0 2 1 0 0 20 0 19 0 474956210 15857688576 43559 33554432000 4194304 4196468 140725124872416 140627367692560 140627415082709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10608640 140725124875227 140725124875402 140725124875402 140725124878287 0
[pid=24119/tid=24122] ppid=24117 vsize=15486024 memory=2832 CPUtime=0.02 cores=1,3,5,7
/proc/24119/task/24122/stat : 24122 (java) S 24117 24117 19920 0 -1 1077944384 1980 0 0 0 2 0 0 0 20 0 19 0 474956210 15857688576 43559 33554432000 4194304 4196468 140725124872416 140627366640016 140627415082709 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10608640 140725124875227 140725124875402 140725124875402 140725124878287 0
[pid=24119/tid=24123] ppid=24117 vsize=15486024 memory=4872558044660077418 CPUtime=0.02 cores=1,3,5,7
/proc/24119/task/24123/stat : 24123 (java) S 24117 24117 19920 0 -1 1077944384 855 0 0 0 2 0 0 0 20 0 19 0 474956210 15857688576 43559 33554432000 4194304 4196468 140725124872416 140627365587472 140627415082709 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10608640 140725124875227 140725124875402 140725124875402 140725124878287 0
[pid=24119/tid=24124] ppid=24117 vsize=15486024 memory=6791534058613427641 CPUtime=0.02 cores=1,3,5,7
/proc/24119/task/24124/stat : 24124 (java) S 24117 24117 19920 0 -1 1077944384 1408 0 0 0 2 0 0 0 20 0 19 0 474956210 15857688576 43559 33554432000 4194304 4196468 140725124872416 140627364534928 140627415082709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10608640 140725124875227 140725124875402 140725124875402 140725124878287 0
[pid=24119/tid=24125] ppid=24117 vsize=15486024 memory=174236 CPUtime=0.03 cores=1,3,5,7
/proc/24119/task/24125/stat : 24125 (java) S 24117 24117 19920 0 -1 1077944384 2150 0 0 0 2 1 0 0 20 0 19 0 474956211 15857688576 43559 33554432000 4194304 4196468 140725124872416 140626287909360 140627415083650 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10608640 140725124875227 140725124875402 140725124875402 140725124878287 0
[pid=24119/tid=24126] ppid=24117 vsize=15486024 memory=1052 CPUtime=0 cores=1,3,5,7
/proc/24119/task/24126/stat : 24126 (java) S 24117 24117 19920 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 19 0 474956211 15857688576 43559 33554432000 4194304 4196468 140725124872416 140626286855648 140627415082709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10608640 140725124875227 140725124875402 140725124875402 140725124878287 0
[pid=24119/tid=24127] ppid=24117 vsize=15486024 memory=776 CPUtime=0 cores=1,3,5,7
/proc/24119/task/24127/stat : 24127 (java) S 24117 24117 19920 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 19 0 474956212 15857688576 43559 33554432000 4194304 4196468 140725124872416 140626285803008 140627415082709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10608640 140725124875227 140725124875402 140725124875402 140725124878287 0
[pid=24119/tid=24128] ppid=24117 vsize=15486024 memory=2832 CPUtime=0 cores=1,3,5,7
/proc/24119/task/24128/stat : 24128 (java) S 24117 24117 19920 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 474956214 15857688576 43559 33554432000 4194304 4196468 140725124872416 140626284751568 140627415091099 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10608640 140725124875227 140725124875402 140725124875402 140725124878287 0
[pid=24119/tid=24129] ppid=24117 vsize=15486024 memory=668 CPUtime=2.35 cores=1,3,5,7
/proc/24119/task/24129/stat : 24129 (java) S 24117 24117 19920 0 -1 1077944384 10590 0 0 0 234 1 0 0 20 0 19 0 474956214 15857688576 43559 33554432000 4194304 4196468 140725124872416 140626283698160 140627415083650 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10608640 140725124875227 140725124875402 140725124875402 140725124878287 0
[pid=24119/tid=24130] ppid=24117 vsize=15486024 memory=1256 CPUtime=2.59 cores=1,3,5,7
/proc/24119/task/24130/stat : 24130 (java) S 24117 24117 19920 0 -1 1077944384 14195 0 0 0 258 1 0 0 20 0 19 0 474956214 15857688576 43559 33554432000 4194304 4196468 140725124872416 140626282645616 140627415083650 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10608640 140725124875227 140725124875402 140725124875402 140725124878287 0
[pid=24119/tid=24131] ppid=24117 vsize=15486024 memory=1456 CPUtime=0.71 cores=1,3,5,7
/proc/24119/task/24131/stat : 24131 (java) S 24117 24117 19920 0 -1 1077944384 6708 0 0 0 70 1 0 0 20 0 19 0 474956214 15857688576 43559 33554432000 4194304 4196468 140725124872416 140626281593072 140627415083650 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 5 0 0 6293624 6294260 10608640 140725124875227 140725124875402 140725124875402 140725124878287 0
[pid=24119/tid=24132] ppid=24117 vsize=15486024 memory=182944 CPUtime=0 cores=1,3,5,7
/proc/24119/task/24132/stat : 24132 (java) S 24117 24117 19920 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 474956214 15857688576 43559 33554432000 4194304 4196468 140725124872416 140626280540768 140627415082709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10608640 140725124875227 140725124875402 140725124875402 140725124878287 0
[pid=24119/tid=24133] ppid=24117 vsize=15486024 memory=176804 CPUtime=0.01 cores=1,3,5,7
/proc/24119/task/24133/stat : 24133 (java) S 24117 24117 19920 0 -1 1077944384 770 0 0 0 0 1 0 0 20 0 19 0 474956214 15857688576 43559 33554432000 4194304 4196468 140725124872416 140626279488304 140627415083650 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10608640 140725124875227 140725124875402 140725124875402 140725124878287 0
[pid=24119/tid=24224] ppid=24117 vsize=15486024 memory=808 CPUtime=39.27 cores=1,3,5,7
/proc/24119/task/24224/stat : 24224 (java) R 24117 24117 19920 0 -1 4202560 417 0 0 0 3927 0 0 0 20 0 19 0 474958860 15857688576 43559 33554432000 4194304 4196468 140725124872416 140626268401080 140627049610719 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10608640 140725124875227 140725124875402 140725124875402 140725124878287 0
[pid=24119/tid=24225] ppid=24117 vsize=15486024 memory=4108 CPUtime=39.27 cores=1,3,5,7
/proc/24119/task/24225/stat : 24225 (java) R 24117 24117 19920 0 -1 4202560 1067 0 0 0 3927 0 0 0 20 0 19 0 474958860 15857688576 43559 33554432000 4194304 4196468 140725124872416 140626270509472 140627048387966 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10608640 140725124875227 140725124875402 140725124875402 140725124878287 0
[pid=24119/tid=24226] ppid=24117 vsize=15486024 memory=1808 CPUtime=39.02 cores=1,3,5,7
/proc/24119/task/24226/stat : 24226 (java) R 24117 24117 19920 0 -1 4202560 999 0 0 0 3902 0 0 0 20 0 19 0 474958860 15857688576 43559 33554432000 4194304 4196468 140725124872416 140626267348848 140627048444143 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10608640 140725124875227 140725124875402 140725124875402 140725124878287 0
[pid=24119/tid=24227] ppid=24117 vsize=15486024 memory=6791534058613427641 CPUtime=39.28 cores=1,3,5,7
/proc/24119/task/24227/stat : 24227 (java) R 24117 24117 19920 0 -1 4202560 534 0 0 0 3928 0 0 0 20 0 19 0 474958860 15857688576 43559 33554432000 4194304 4196468 140725124872416 140626269454008 140627049889983 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 10608640 140725124875227 140725124875402 140725124875402 140725124878287 0
Current children cumulated CPU time: 261.32 s
Current children cumulated vsize: 15599152 KiB
Current children cumulated memory: 175692 KiB

[startup+66.2008 s]
/proc/loadavg: 8.60 8.54 7.89 9/239 24238
/proc/meminfo: memFree=3293760/32770624 swapFree=66953200/67108860
[pid=24117] ppid=24114 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/24117/stat : 24117 (xcsp3-exec) S 24114 24117 19920 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 474956208 115843072 364 33554432000 4194304 5098028 140737052388032 140737052386136 139876368384636 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 32575488 140737052390230 140737052390489 140737052390489 140737052393414 0
/proc/24117/statm: 28282 364 305 221 0 87 0
[pid=24119] ppid=24117 vsize=15486024 memory=172184 CPUtime=262.08 cores=1,3,5,7
/proc/24119/stat : 24119 (java) S 24117 24117 19920 0 -1 1077944320 62582 0 0 0 26193 15 0 0 20 0 19 0 474956209 15857688576 43046 33554432000 4194304 4196468 140725124872416 140725124854960 140627415072503 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 10608640 140725124875227 140725124875402 140725124875402 140725124878287 0
/proc/24119/statm: 3871506 43046 3519 1 0 3832606 0
[pid=24119/tid=24120] ppid=24117 vsize=15486024 memory=14698517159486255 CPUtime=0.55 cores=1,3,5,7
/proc/24119/task/24120/stat : 24120 (java) R 24117 24117 19920 0 -1 4202560 10072 0 0 0 52 3 0 0 20 0 19 0 474956209 15857688576 43046 33554432000 4194304 4196468 140725124872416 140627419312976 140627044019478 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10608640 140725124875227 140725124875402 140725124875402 140725124878287 0
[pid=24119/tid=24121] ppid=24117 vsize=15486024 memory=2688 CPUtime=0.03 cores=1,3,5,7
/proc/24119/task/24121/stat : 24121 (java) S 24117 24117 19920 0 -1 1077944384 2651 0 0 0 2 1 0 0 20 0 19 0 474956210 15857688576 43046 33554432000 4194304 4196468 140725124872416 140627367692560 140627415082709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10608640 140725124875227 140725124875402 140725124875402 140725124878287 0
[pid=24119/tid=24122] ppid=24117 vsize=15486024 memory=1412 CPUtime=0.03 cores=1,3,5,7
/proc/24119/task/24122/stat : 24122 (java) S 24117 24117 19920 0 -1 1077944384 1980 0 0 0 3 0 0 0 20 0 19 0 474956210 15857688576 43046 33554432000 4194304 4196468 140725124872416 140627366640016 140627415082709 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10608640 140725124875227 140725124875402 140725124875402 140725124878287 0
[pid=24119/tid=24123] ppid=24117 vsize=15486024 memory=3252 CPUtime=0.02 cores=1,3,5,7
/proc/24119/task/24123/stat : 24123 (java) S 24117 24117 19920 0 -1 1077944384 855 0 0 0 2 0 0 0 20 0 19 0 474956210 15857688576 43046 33554432000 4194304 4196468 140725124872416 140627365587472 140627415082709 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10608640 140725124875227 140725124875402 140725124875402 140725124878287 0
[pid=24119/tid=24124] ppid=24117 vsize=15486024 memory=1456 CPUtime=0.02 cores=1,3,5,7
/proc/24119/task/24124/stat : 24124 (java) S 24117 24117 19920 0 -1 1077944384 1408 0 0 0 2 0 0 0 20 0 19 0 474956210 15857688576 43046 33554432000 4194304 4196468 140725124872416 140627364534928 140627415082709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10608640 140725124875227 140725124875402 140725124875402 140725124878287 0
[pid=24119/tid=24125] ppid=24117 vsize=15486024 memory=3507152 CPUtime=0.03 cores=1,3,5,7
/proc/24119/task/24125/stat : 24125 (java) S 24117 24117 19920 0 -1 1077944384 2153 0 0 0 2 1 0 0 20 0 19 0 474956211 15857688576 43046 33554432000 4194304 4196468 140725124872416 140626287909360 140627415083650 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10608640 140725124875227 140725124875402 140725124875402 140725124878287 0
[pid=24119/tid=24126] ppid=24117 vsize=15486024 memory=1412 CPUtime=0 cores=1,3,5,7
/proc/24119/task/24126/stat : 24126 (java) S 24117 24117 19920 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 19 0 474956211 15857688576 43046 33554432000 4194304 4196468 140725124872416 140626286855648 140627415082709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10608640 140725124875227 140725124875402 140725124875402 140725124878287 0
[pid=24119/tid=24127] ppid=24117 vsize=15486024 memory=3048 CPUtime=0 cores=1,3,5,7
/proc/24119/task/24127/stat : 24127 (java) S 24117 24117 19920 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 19 0 474956212 15857688576 43046 33554432000 4194304 4196468 140725124872416 140626285803008 140627415082709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10608640 140725124875227 140725124875402 140725124875402 140725124878287 0
[pid=24119/tid=24128] ppid=24117 vsize=15486024 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/24119/task/24128/stat : 24128 (java) S 24117 24117 19920 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 474956214 15857688576 43046 33554432000 4194304 4196468 140725124872416 140626284751568 140627415091099 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10608640 140725124875227 140725124875402 140725124875402 140725124878287 0
[pid=24119/tid=24129] ppid=24117 vsize=15486024 memory=174236 CPUtime=2.35 cores=1,3,5,7
/proc/24119/task/24129/stat : 24129 (java) S 24117 24117 19920 0 -1 1077944384 10590 0 0 0 234 1 0 0 20 0 19 0 474956214 15857688576 43046 33554432000 4194304 4196468 140725124872416 140626283698160 140627415083650 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10608640 140725124875227 140725124875402 140725124875402 140725124878287 0
[pid=24119/tid=24130] ppid=24117 vsize=15486024 memory=1620 CPUtime=2.59 cores=1,3,5,7
/proc/24119/task/24130/stat : 24130 (java) R 24117 24117 19920 0 -1 4202560 14207 0 0 0 258 1 0 0 20 0 19 0 474956214 15857688576 43046 33554432000 4194304 4196468 140725124872416 140626282645616 140627396645862 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10608640 140725124875227 140725124875402 140725124875402 140725124878287 0
[pid=24119/tid=24131] ppid=24117 vsize=15486024 memory=8317482817917895235 CPUtime=0.71 cores=1,3,5,7
/proc/24119/task/24131/stat : 24131 (java) S 24117 24117 19920 0 -1 1077944384 6708 0 0 0 70 1 0 0 20 0 19 0 474956214 15857688576 43046 33554432000 4194304 4196468 140725124872416 140626281593072 140627415083650 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 5 0 0 6293624 6294260 10608640 140725124875227 140725124875402 140725124875402 140725124878287 0
[pid=24119/tid=24132] ppid=24117 vsize=15486024 memory=179880 CPUtime=0 cores=1,3,5,7
/proc/24119/task/24132/stat : 24132 (java) S 24117 24117 19920 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 474956214 15857688576 43046 33554432000 4194304 4196468 140725124872416 140626280540768 140627415082709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10608640 140725124875227 140725124875402 140725124875402 140725124878287 0
[pid=24119/tid=24133] ppid=24117 vsize=15486024 memory=-8412652169205224307 CPUtime=0.01 cores=1,3,5,7
/proc/24119/task/24133/stat : 24133 (java) S 24117 24117 19920 0 -1 1077944384 772 0 0 0 0 1 0 0 20 0 19 0 474956214 15857688576 43046 33554432000 4194304 4196468 140725124872416 140626279488304 140627415083650 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10608640 140725124875227 140725124875402 140725124875402 140725124878287 0
[pid=24119/tid=24224] ppid=24117 vsize=15486024 memory=7954034697730287207 CPUtime=39.46 cores=1,3,5,7
/proc/24119/task/24224/stat : 24224 (java) R 24117 24117 19920 0 -1 1077944384 482 0 0 0 3946 0 0 0 20 0 19 0 474958860 15857688576 43046 33554432000 4194304 4196468 140725124872416 140626268407392 140627415082709 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10608640 140725124875227 140725124875402 140725124875402 140725124878287 0
[pid=24119/tid=24225] ppid=24117 vsize=15486024 memory=7521686951945595473 CPUtime=39.46 cores=1,3,5,7
/proc/24119/task/24225/stat : 24225 (java) S 24117 24117 19920 0 -1 1077944384 1075 0 0 0 3946 0 0 0 20 0 19 0 474958860 15857688576 43046 33554432000 4194304 4196468 140725124872416 140626270512432 140627415083650 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10608640 140725124875227 140725124875402 140725124875402 140725124878287 0
[pid=24119/tid=24226] ppid=24117 vsize=15486024 memory=7379540959228355690 CPUtime=39.2 cores=1,3,5,7
/proc/24119/task/24226/stat : 24226 (java) S 24117 24117 19920 0 -1 1077944384 1008 0 0 0 3920 0 0 0 20 0 19 0 474958860 15857688576 43046 33554432000 4194304 4196468 140725124872416 140626267354976 140627415082709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10608640 140725124875227 140725124875402 140725124875402 140725124878287 0
[pid=24119/tid=24227] ppid=24117 vsize=15486024 memory=6791534058613427641 CPUtime=39.47 cores=1,3,5,7
/proc/24119/task/24227/stat : 24227 (java) R 24117 24117 19920 0 -1 1077944384 541 0 0 0 3947 0 0 0 20 0 19 0 474958860 15857688576 43046 33554432000 4194304 4196468 140725124872416 140626269458848 140627415082709 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 10608640 140725124875227 140725124875402 140725124875402 140725124878287 0
Current children cumulated CPU time: 262.08 s
Current children cumulated vsize: 15599152 KiB
Current children cumulated memory: 173640 KiB

Child status: 0
Real time (s): 66.222
CPU time (s): 262.104
CPU user time (s): 261.939
CPU system time (s): 0.164929
CPU usage (%): 395.797
Max. virtual memory (cumulated for all children) (KiB): 15599152
Max. memory (cumulated for all children) (KiB): 221252

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 261.939
system time used= 0.164929
maximum resident set size= 222324
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 63672
page faults= 0
swaps= 0
block input operations= 0
block output operations= 192
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5353
involuntary context switches= 6608


# summary of solver processes directly reported to runsolver:
#   pid: 24117
#   total CPU time (s): 262.104
#   total CPU user time (s): 261.939
#   total CPU system time (s): 0.164929

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.472732 second user time and 0.75701 second system time

The end

Launcher Data 

Begin job on node119 at 2019-09-20 16:39:33
IDJOB=4404101
IDBENCH=123062
IDSOLVER=2864
FILE ID=node119/4404101-1568990414
RUNJOBID= node119-1568988114-19952
PBS_JOBID= 21704642
Free space on /var/tmp= 13488 MiB

SOLVER NAME= choco-solver 2019-09-20
BENCH NAME= XCSP17/QuadraticAssignment/QuadraticAssignment-m1-s1/QuadraticAssignment-tai10a.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 /var/tmp/evaluation-result-4404101-1568990414/watcher-4404101-1568990414 -o /var/tmp/evaluation-result-4404101-1568990414/solver-4404101-1568990414 -C 2400 -W 2500 -M 15500 --bin-var /var/tmp/runsolver-exch-node119-1568988114-19952 --watchdog 2560  xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 12000 -tdir HOME -seed 2066519431 HOME/instance-4404101-1568990414.xml

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

MD5SUM BENCH= b58690ea851c8aad9573a552336d280c
RANDOM SEED=2066519431

node119.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:         3462320 kB
MemAvailable:   28310028 kB
Buffers:          157304 kB
Cached:         24609856 kB
SwapCached:        46588 kB
Active:         15809336 kB
Inactive:       12499984 kB
Active(anon):    3496496 kB
Inactive(anon):    94020 kB
Active(file):   12312840 kB
Inactive(file): 12405964 kB
Unevictable:      109120 kB
Mlocked:          109120 kB
SwapTotal:      67108860 kB
SwapFree:       66953200 kB
Dirty:             26292 kB
Writeback:            12 kB
AnonPages:       3618160 kB
Mapped:            65220 kB
Shmem:             40124 kB
Slab:             586660 kB
SReclaimable:     557364 kB
SUnreclaim:        29296 kB
KernelStack:        4080 kB
PageTables:        12372 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    5089296 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3473408 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      126336 kB
DirectMap2M:    33419264 kB

Free space on /var/tmp at the end= 13464 MiB
End job on node119 at 2019-09-20 16:40:40