Trace number 4406143

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-24OPT7 45.8746 42.4768

General information on the benchmark

NamePeacableArmies/
PeacableArmies-m1-07_c18.xml
MD5SUM93689e7972bcd89c8c0248fcf1fc8ef9
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark7
Best CPU time to get the best result obtained on this benchmark22.5888
Satisfiable
(Un)Satisfiability was proved
Number of variables98
Number of constraints1002
Number of domains1
Minimum domain size2
Maximum domain size2
Distribution of domain sizes[{"size":2,"count":98}]
Minimum variable degree20
Maximum variable degree27
Distribution of variable degrees[{"degree":20,"count":24},{"degree":21,"count":24},{"degree":22,"count":16},{"degree":23,"count":16},{"degree":24,"count":8},{"degree":25,"count":8},{"degree":26,"count":1},{"degree":27,"count":1}]
Minimum constraint arity2
Maximum constraint arity98
Distribution of constraint arities[{"arity":2,"count":1001},{"arity":98,"count":1}]
Number of extensional constraints0
Number of intensional constraints1001
Distribution of constraint types[{"type":"intension","count":1001},{"type":"sum","count":1}]
Optimization problemYES
Type of objectivemax SUM

Quality of the solution as a function of time


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

Solver Data 

0.00/0.00	c java -server -Xmx12000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4406143-1569414928.xml"  -tl '2520s' -p 1
0.13/0.18	c Choco e747e1e
0.13/0.18	c [HOME/instance-4406143-1569414928.xml, -tl, 2520s, -p, 1]
0.34/0.22	c simple solver
0.34/0.28	c parse instance...
1.72/0.78	c solve instance...
2.07/0.81	o 4 
2.07/0.81	o 5 
2.07/0.84	o 6 
3.07/1.13	o 7 
45.78/42.46	s OPTIMUM FOUND
45.78/42.46	v <instantiation>
45.78/42.46	v 	<list>b[0][0] b[0][1] b[0][2] b[0][3] b[0][4] b[0][5] b[0][6] b[1][0] b[1][1] b[1][2] b[1][3] b[1][4] b[1][5] b[1][6] b[2][0] b[2][1] b[2][2] b[2][3] b[2][4] b[2][5] b[2][6] b[3][0] b[3][1] b[3][2] b[3][3] b[3][4] b[3][5] b[3][6] b[4][0] b[4][1] b[4][2] b[4][3] b[4][4] b[4][5] b[4][6] b[5][0] b[5][1] b[5][2] b[5][3] b[5][4] b[5][5] b[5][6] b[6][0] b[6][1] b[6][2] b[6][3] b[6][4] b[6][5] b[6][6] w[0][0] w[0][1] w[0][2] w[0][3] w[0][4] w[0][5] w[0][6] w[1][0] w[1][1] w[1][2] w[1][3] w[1][4] w[1][5] w[1][6] w[2][0] w[2][1] w[2][2] w[2][3] w[2][4] w[2][5] w[2][6] w[3][0] w[3][1] w[3][2] w[3][3] w[3][4] w[3][5] w[3][6] w[4][0] w[4][1] w[4][2] w[4][3] w[4][4] w[4][5] w[4][6] w[5][0] w[5][1] w[5][2] w[5][3] w[5][4] w[5][5] w[5][6] w[6][0] w[6][1] w[6][2] w[6][3] w[6][4] w[6][5] w[6][6] </list>
45.78/42.46	v 	<values>0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 1 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 1 1 0 0 0 0 0 </values>
45.78/42.46	v </instantiation>

Verifier Data 

OK	7

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4406143-1569414928/watcher-4406143-1569414928 -o /tmp/evaluation-result-4406143-1569414928/solver-4406143-1569414928 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node141-1569396627-21715 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 1 -ml 12000 -tdir HOME -seed 1231058056 HOME/instance-4406143-1569414928.xml 

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

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

solver pid=25577, runsolver pid=25574

[startup+0.100551 s]*
/proc/loadavg: 1.87 1.91 1.86 4/230 25593
/proc/meminfo: memFree=25143052/32770624 swapFree=66936840/67108860
[pid=25577] ppid=25574 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/25577/stat : 25577 (xcsp3-exec) S 25574 25577 21684 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 517430604 115843072 363 33554432000 4194304 5098028 140723925365968 140723925364072 140223058158204 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 24879104 140723925373818 140723925374061 140723925374061 140723925376970 0
/proc/25577/statm: 28282 363 304 221 0 87 0
[pid=25579] ppid=25577 vsize=15144776 memory=28776 CPUtime=0.13 cores=0,2,4,6
/proc/25579/stat : 25579 (java) S 25577 25577 21684 0 -1 1077944320 5670 0 0 0 12 1 0 0 20 0 15 0 517430604 15508250624 7194 33554432000 4194304 4196468 140736511246352 140736511228896 140657968070391 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 34856960 140736511255535 140736511255706 140736511255706 140736511258575 0
/proc/25579/statm: 3786194 7194 3122 1 0 3748377 0
[pid=25579/tid=25580] ppid=25577 vsize=15144776 memory=-8895323862916359523 CPUtime=0.08 cores=0,2,4,6
/proc/25579/task/25580/stat : 25580 (java) R 25577 25577 21684 0 -1 4202560 3578 0 0 0 8 0 0 0 20 0 15 0 517430605 15508250624 7260 33554432000 4194304 4196468 140736511246352 140657972296224 140657946334007 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34856960 140736511255535 140736511255706 140736511255706 140736511258575 0
[pid=25579/tid=25581] ppid=25577 vsize=15144776 memory=3472468561965053136 CPUtime=0 cores=0,2,4,6
/proc/25579/task/25581/stat : 25581 (java) S 25577 25577 21684 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517430605 15508250624 7260 33554432000 4194304 4196468 140736511246352 140657904306960 140657968080597 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34856960 140736511255535 140736511255706 140736511255706 140736511258575 0
[pid=25579/tid=25582] ppid=25577 vsize=15144776 memory=140433069901440 CPUtime=0 cores=0,2,4,6
/proc/25579/task/25582/stat : 25582 (java) S 25577 25577 21684 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517430605 15508250624 7260 33554432000 4194304 4196468 140736511246352 140657903254416 140657968080597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34856960 140736511255535 140736511255706 140736511255706 140736511258575 0
[pid=25579/tid=25583] ppid=25577 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25579/task/25583/stat : 25583 (java) S 25577 25577 21684 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517430605 15508250624 7260 33554432000 4194304 4196468 140736511246352 140657902201872 140657968080597 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34856960 140736511255535 140736511255706 140736511255706 140736511258575 0
[pid=25579/tid=25584] ppid=25577 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25579/task/25584/stat : 25584 (java) S 25577 25577 21684 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517430605 15508250624 7260 33554432000 4194304 4196468 140736511246352 140657901149328 140657968080597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34856960 140736511255535 140736511255706 140736511255706 140736511258575 0
[pid=25579/tid=25585] ppid=25577 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25579/task/25585/stat : 25585 (java) S 25577 25577 21684 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517430607 15508250624 7260 33554432000 4194304 4196468 140736511246352 140657503844336 140657968081538 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34856960 140736511255535 140736511255706 140736511255706 140736511258575 0
[pid=25579/tid=25586] ppid=25577 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25579/task/25586/stat : 25586 (java) S 25577 25577 21684 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 517430607 15508250624 7260 33554432000 4194304 4196468 140736511246352 140657502790560 140657968080597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34856960 140736511255535 140736511255706 140736511255706 140736511258575 0
[pid=25579/tid=25587] ppid=25577 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25579/task/25587/stat : 25587 (java) S 25577 25577 21684 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 517430607 15508250624 7260 33554432000 4194304 4196468 140736511246352 140657501737968 140657968080597 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34856960 140736511255535 140736511255706 140736511255706 140736511258575 0
[pid=25579/tid=25588] ppid=25577 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25579/task/25588/stat : 25588 (java) S 25577 25577 21684 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517430610 15508250624 7260 33554432000 4194304 4196468 140736511246352 140657500686544 140657968088987 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34856960 140736511255535 140736511255706 140736511255706 140736511258575 0
[pid=25579/tid=25589] ppid=25577 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25579/task/25589/stat : 25589 (java) R 25577 25577 21684 0 -1 4202560 330 0 0 0 0 0 0 0 20 0 15 0 517430610 15508250624 7260 33554432000 4194304 4196468 140736511246352 140657499625664 140657954084688 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34856960 140736511255535 140736511255706 140736511255706 140736511258575 0
[pid=25579/tid=25590] ppid=25577 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25579/task/25590/stat : 25590 (java) R 25577 25577 21684 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 15 0 517430610 15508250624 7260 33554432000 4194304 4196468 140736511246352 140657498581712 140657968080597 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34856960 140736511255535 140736511255706 140736511255706 140736511258575 0
[pid=25579/tid=25591] ppid=25577 vsize=15144776 memory=140433069901440 CPUtime=0.02 cores=0,2,4,6
/proc/25579/task/25591/stat : 25591 (java) R 25577 25577 21684 0 -1 4202560 359 0 0 0 2 0 0 0 20 0 15 0 517430610 15508250624 7260 33554432000 4194304 4196468 140736511246352 140657497529072 140657946985264 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34856960 140736511255535 140736511255706 140736511255706 140736511258575 0
[pid=25579/tid=25592] ppid=25577 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25579/task/25592/stat : 25592 (java) S 25577 25577 21684 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517430610 15508250624 7260 33554432000 4194304 4196468 140736511246352 140657496476768 140657968080597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34856960 140736511255535 140736511255706 140736511255706 140736511258575 0
[pid=25579/tid=25593] ppid=25577 vsize=15144776 memory=140433069901440 CPUtime=0 cores=0,2,4,6
/proc/25579/task/25593/stat : 25593 (java) S 25577 25577 21684 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517430610 15508250624 7260 33554432000 4194304 4196468 140736511246352 140657427474736 140657968081538 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34856960 140736511255535 140736511255706 140736511255706 140736511258575 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 30228 KiB

[startup+0.210686 s]*
/proc/loadavg: 1.87 1.91 1.86 3/230 25593
/proc/meminfo: memFree=25129860/32770624 swapFree=66936840/67108860
[pid=25577] ppid=25574 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/25577/stat : 25577 (xcsp3-exec) S 25574 25577 21684 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 517430604 115843072 363 33554432000 4194304 5098028 140723925365968 140723925364072 140223058158204 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 24879104 140723925373818 140723925374061 140723925374061 140723925376970 0
/proc/25577/statm: 28282 363 304 221 0 87 0
[pid=25579] ppid=25577 vsize=15144776 memory=40864 CPUtime=0.34 cores=0,2,4,6
/proc/25579/stat : 25579 (java) S 25577 25577 21684 0 -1 1077944320 9447 0 0 0 32 2 0 0 20 0 15 0 517430604 15508250624 10216 33554432000 4194304 4196468 140736511246352 140736511228896 140657968070391 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 34856960 140736511255535 140736511255706 140736511255706 140736511258575 0
/proc/25579/statm: 3786194 10216 3298 1 0 3748377 0
[pid=25579/tid=25580] ppid=25577 vsize=15144776 memory=-8895323862916359523 CPUtime=0.2 cores=0,2,4,6
/proc/25579/task/25580/stat : 25580 (java) R 25577 25577 21684 0 -1 4202560 6590 0 0 0 18 2 0 0 20 0 15 0 517430605 15508250624 10216 33554432000 4194304 4196468 140736511246352 140657972300112 140657935658752 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34856960 140736511255535 140736511255706 140736511255706 140736511258575 0
[pid=25579/tid=25581] ppid=25577 vsize=15144776 memory=3472468561965053136 CPUtime=0 cores=0,2,4,6
/proc/25579/task/25581/stat : 25581 (java) S 25577 25577 21684 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517430605 15508250624 10216 33554432000 4194304 4196468 140736511246352 140657904306960 140657968080597 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34856960 140736511255535 140736511255706 140736511255706 140736511258575 0
[pid=25579/tid=25582] ppid=25577 vsize=15144776 memory=140433069901440 CPUtime=0 cores=0,2,4,6
/proc/25579/task/25582/stat : 25582 (java) S 25577 25577 21684 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517430605 15508250624 10216 33554432000 4194304 4196468 140736511246352 140657903254416 140657968080597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34856960 140736511255535 140736511255706 140736511255706 140736511258575 0
[pid=25579/tid=25583] ppid=25577 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25579/task/25583/stat : 25583 (java) S 25577 25577 21684 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517430605 15508250624 10216 33554432000 4194304 4196468 140736511246352 140657902201872 140657968080597 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34856960 140736511255535 140736511255706 140736511255706 140736511258575 0
[pid=25579/tid=25584] ppid=25577 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25579/task/25584/stat : 25584 (java) S 25577 25577 21684 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517430605 15508250624 10216 33554432000 4194304 4196468 140736511246352 140657901149328 140657968080597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34856960 140736511255535 140736511255706 140736511255706 140736511258575 0
[pid=25579/tid=25585] ppid=25577 vsize=15144776 memory=140433069901440 CPUtime=0 cores=0,2,4,6
/proc/25579/task/25585/stat : 25585 (java) S 25577 25577 21684 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 517430607 15508250624 10216 33554432000 4194304 4196468 140736511246352 140657503844336 140657968081538 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34856960 140736511255535 140736511255706 140736511255706 140736511258575 0
[pid=25579/tid=25586] ppid=25577 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25579/task/25586/stat : 25586 (java) S 25577 25577 21684 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 517430607 15508250624 10216 33554432000 4194304 4196468 140736511246352 140657502790560 140657968080597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34856960 140736511255535 140736511255706 140736511255706 140736511258575 0
[pid=25579/tid=25587] ppid=25577 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25579/task/25587/stat : 25587 (java) S 25577 25577 21684 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 517430607 15508250624 10216 33554432000 4194304 4196468 140736511246352 140657501737968 140657968080597 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34856960 140736511255535 140736511255706 140736511255706 140736511258575 0
[pid=25579/tid=25588] ppid=25577 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25579/task/25588/stat : 25588 (java) S 25577 25577 21684 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517430610 15508250624 10216 33554432000 4194304 4196468 140736511246352 140657500686544 140657968088987 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34856960 140736511255535 140736511255706 140736511255706 140736511258575 0
[pid=25579/tid=25589] ppid=25577 vsize=15144776 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/25579/task/25589/stat : 25589 (java) S 25577 25577 21684 0 -1 1077944384 611 0 0 0 3 0 0 0 20 0 15 0 517430610 15508250624 10216 33554432000 4194304 4196468 140736511246352 140657499634160 140657968081538 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34856960 140736511255535 140736511255706 140736511255706 140736511258575 0
[pid=25579/tid=25590] ppid=25577 vsize=15144776 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/25579/task/25590/stat : 25590 (java) S 25577 25577 21684 0 -1 1077944384 160 0 0 0 1 0 0 0 20 0 15 0 517430610 15508250624 10216 33554432000 4194304 4196468 140736511246352 140657498581616 140657968081538 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34856960 140736511255535 140736511255706 140736511255706 140736511258575 0
[pid=25579/tid=25591] ppid=25577 vsize=15144776 memory=140433069901440 CPUtime=0.08 cores=0,2,4,6
/proc/25579/task/25591/stat : 25591 (java) R 25577 25577 21684 0 -1 4202560 782 0 0 0 8 0 0 0 20 0 15 0 517430610 15508250624 10216 33554432000 4194304 4196468 140736511246352 140657497529072 140657952330274 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34856960 140736511255535 140736511255706 140736511255706 140736511258575 0
[pid=25579/tid=25592] ppid=25577 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25579/task/25592/stat : 25592 (java) S 25577 25577 21684 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517430610 15508250624 10216 33554432000 4194304 4196468 140736511246352 140657496476768 140657968080597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34856960 140736511255535 140736511255706 140736511255706 140736511258575 0
[pid=25579/tid=25593] ppid=25577 vsize=15144776 memory=140433069901440 CPUtime=0 cores=0,2,4,6
/proc/25579/task/25593/stat : 25593 (java) S 25577 25577 21684 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517430610 15508250624 10216 33554432000 4194304 4196468 140736511246352 140657427474736 140657968081538 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34856960 140736511255535 140736511255706 140736511255706 140736511258575 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42316 KiB

[startup+0.310512 s]*
/proc/loadavg: 1.87 1.91 1.86 6/230 25593
/proc/meminfo: memFree=25125104/32770624 swapFree=66936840/67108860
[pid=25577] ppid=25574 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/25577/stat : 25577 (xcsp3-exec) S 25574 25577 21684 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 517430604 115843072 363 33554432000 4194304 5098028 140723925365968 140723925364072 140223058158204 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 24879104 140723925373818 140723925374061 140723925374061 140723925376970 0
/proc/25577/statm: 28282 363 304 221 0 87 0
[pid=25579] ppid=25577 vsize=15149032 memory=50144 CPUtime=0.53 cores=0,2,4,6
/proc/25579/stat : 25579 (java) S 25577 25577 21684 0 -1 1077944320 10866 0 0 0 50 3 0 0 20 0 15 0 517430604 15512608768 12536 33554432000 4194304 4196468 140736511246352 140736511228896 140657968070391 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 34856960 140736511255535 140736511255706 140736511255706 140736511258575 0
/proc/25579/statm: 3787258 12536 3367 1 0 3748377 0
[pid=25579/tid=25580] ppid=25577 vsize=15149032 memory=-8094235084319000145 CPUtime=0.29 cores=0,2,4,6
/proc/25579/task/25580/stat : 25580 (java) R 25577 25577 21684 0 -1 4202560 7724 0 0 0 27 2 0 0 20 0 15 0 517430605 15512608768 12536 33554432000 4194304 4196468 140736511246352 140657972301504 140657952150878 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34856960 140736511255535 140736511255706 140736511255706 140736511258575 0
[pid=25579/tid=25581] ppid=25577 vsize=15149032 memory=3472468561965053136 CPUtime=0 cores=0,2,4,6
/proc/25579/task/25581/stat : 25581 (java) S 25577 25577 21684 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517430605 15512608768 12536 33554432000 4194304 4196468 140736511246352 140657904306960 140657968080597 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34856960 140736511255535 140736511255706 140736511255706 140736511258575 0
[pid=25579/tid=25582] ppid=25577 vsize=15149032 memory=280866018343296 CPUtime=0 cores=0,2,4,6
/proc/25579/task/25582/stat : 25582 (java) S 25577 25577 21684 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517430605 15512608768 12536 33554432000 4194304 4196468 140736511246352 140657903254416 140657968080597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34856960 140736511255535 140736511255706 140736511255706 140736511258575 0
[pid=25579/tid=25583] ppid=25577 vsize=15149032 memory=280865896916000 CPUtime=0 cores=0,2,4,6
/proc/25579/task/25583/stat : 25583 (java) S 25577 25577 21684 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517430605 15512608768 12536 33554432000 4194304 4196468 140736511246352 140657902201872 140657968080597 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34856960 140736511255535 140736511255706 140736511255706 140736511258575 0
[pid=25579/tid=25584] ppid=25577 vsize=15149032 memory=140432948441871 CPUtime=0 cores=0,2,4,6
/proc/25579/task/25584/stat : 25584 (java) S 25577 25577 21684 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517430605 15512608768 12536 33554432000 4194304 4196468 140736511246352 140657901149328 140657968080597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34856960 140736511255535 140736511255706 140736511255706 140736511258575 0
[pid=25579/tid=25585] ppid=25577 vsize=15149032 memory=280866018352512 CPUtime=0 cores=0,2,4,6
/proc/25579/task/25585/stat : 25585 (java) S 25577 25577 21684 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 517430607 15512608768 12536 33554432000 4194304 4196468 140736511246352 140657503844336 140657968081538 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34856960 140736511255535 140736511255706 140736511255706 140736511258575 0
[pid=25579/tid=25586] ppid=25577 vsize=15149032 memory=140432948446479 CPUtime=0 cores=0,2,4,6
/proc/25579/task/25586/stat : 25586 (java) S 25577 25577 21684 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 517430607 15512608768 12536 33554432000 4194304 4196468 140736511246352 140657502790560 140657968080597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34856960 140736511255535 140736511255706 140736511255706 140736511258575 0
[pid=25579/tid=25587] ppid=25577 vsize=15149032 memory=140432948473051 CPUtime=0 cores=0,2,4,6
/proc/25579/task/25587/stat : 25587 (java) S 25577 25577 21684 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 517430607 15512608768 12536 33554432000 4194304 4196468 140736511246352 140657501737968 140657968080597 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34856960 140736511255535 140736511255706 140736511255706 140736511258575 0
[pid=25579/tid=25588] ppid=25577 vsize=15149032 memory=140432948476582 CPUtime=0 cores=0,2,4,6
/proc/25579/task/25588/stat : 25588 (java) S 25577 25577 21684 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517430610 15512608768 12536 33554432000 4194304 4196468 140736511246352 140657500686544 140657968088987 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34856960 140736511255535 140736511255706 140736511255706 140736511258575 0
[pid=25579/tid=25589] ppid=25577 vsize=15149032 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/25579/task/25589/stat : 25589 (java) R 25577 25577 21684 0 -1 4202560 704 0 0 0 5 0 0 0 20 0 15 0 517430610 15512608768 12536 33554432000 4194304 4196468 140736511246352 140657499615176 140657949591597 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34856960 140736511255535 140736511255706 140736511255706 140736511258575 0
[pid=25579/tid=25590] ppid=25577 vsize=15149032 memory=-1 CPUtime=0.03 cores=0,2,4,6
/proc/25579/task/25590/stat : 25590 (java) R 25577 25577 21684 0 -1 1077944384 236 0 0 0 3 0 0 0 20 0 15 0 517430610 15512608768 12536 33554432000 4194304 4196468 140736511246352 140657498581616 140657968081538 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34856960 140736511255535 140736511255706 140736511255706 140736511258575 0
[pid=25579/tid=25591] ppid=25577 vsize=15149032 memory=140433069901440 CPUtime=0.12 cores=0,2,4,6
/proc/25579/task/25591/stat : 25591 (java) S 25577 25577 21684 0 -1 1077944384 899 0 0 0 12 0 0 0 20 0 15 0 517430610 15512608768 12536 33554432000 4194304 4196468 140736511246352 140657497529072 140657968081538 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34856960 140736511255535 140736511255706 140736511255706 140736511258575 0
[pid=25579/tid=25592] ppid=25577 vsize=15149032 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25579/task/25592/stat : 25592 (java) S 25577 25577 21684 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517430610 15512608768 12536 33554432000 4194304 4196468 140736511246352 140657496476768 140657968080597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34856960 140736511255535 140736511255706 140736511255706 140736511258575 0
[pid=25579/tid=25593] ppid=25577 vsize=15149032 memory=140433069902892 CPUtime=0 cores=0,2,4,6
/proc/25579/task/25593/stat : 25593 (java) S 25577 25577 21684 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517430610 15512608768 12536 33554432000 4194304 4196468 140736511246352 140657427474736 140657968081538 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34856960 140736511255535 140736511255706 140736511255706 140736511258575 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51596 KiB

[startup+0.705862 s]
/proc/loadavg: 1.87 1.91 1.86 5/230 25593
/proc/meminfo: memFree=25109004/32770624 swapFree=66936840/67108860
[pid=25577] ppid=25574 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/25577/stat : 25577 (xcsp3-exec) S 25574 25577 21684 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 517430604 115843072 363 33554432000 4194304 5098028 140723925365968 140723925364072 140223058158204 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 24879104 140723925373818 140723925374061 140723925374061 140723925376970 0
/proc/25577/statm: 28282 363 304 221 0 87 0
[pid=25579] ppid=25577 vsize=15151156 memory=88720 CPUtime=1.72 cores=0,2,4,6
/proc/25579/stat : 25579 (java) S 25577 25577 21684 0 -1 1077944320 15347 0 0 0 167 5 0 0 20 0 15 0 517430604 15514783744 22180 33554432000 4194304 4196468 140736511246352 140736511228896 140657968070391 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 34856960 140736511255535 140736511255706 140736511255706 140736511258575 0
/proc/25579/statm: 3787789 22180 3457 1 0 3748889 0
[pid=25579/tid=25580] ppid=25577 vsize=15151156 memory=6945208551368380768 CPUtime=0.67 cores=0,2,4,6
/proc/25579/task/25580/stat : 25580 (java) R 25577 25577 21684 0 -1 4202560 9122 0 0 0 64 3 0 0 20 0 15 0 517430605 15514783744 22180 33554432000 4194304 4196468 140736511246352 140657972305840 140657968091738 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34856960 140736511255535 140736511255706 140736511255706 140736511258575 0
[pid=25579/tid=25581] ppid=25577 vsize=15151156 memory=7084813469732589655 CPUtime=0 cores=0,2,4,6
/proc/25579/task/25581/stat : 25581 (java) S 25577 25577 21684 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517430605 15514783744 22180 33554432000 4194304 4196468 140736511246352 140657904306960 140657968080597 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34856960 140736511255535 140736511255706 140736511255706 140736511258575 0
[pid=25579/tid=25582] ppid=25577 vsize=15151156 memory=7881696724453321575 CPUtime=0 cores=0,2,4,6
/proc/25579/task/25582/stat : 25582 (java) S 25577 25577 21684 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517430605 15514783744 22180 33554432000 4194304 4196468 140736511246352 140657903254416 140657968080597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34856960 140736511255535 140736511255706 140736511255706 140736511258575 0
[pid=25579/tid=25583] ppid=25577 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25579/task/25583/stat : 25583 (java) S 25577 25577 21684 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517430605 15514783744 22180 33554432000 4194304 4196468 140736511246352 140657902201872 140657968080597 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34856960 140736511255535 140736511255706 140736511255706 140736511258575 0
[pid=25579/tid=25584] ppid=25577 vsize=15151156 memory=6655300316396806240 CPUtime=0 cores=0,2,4,6
/proc/25579/task/25584/stat : 25584 (java) S 25577 25577 21684 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517430605 15514783744 22180 33554432000 4194304 4196468 140736511246352 140657901149328 140657968080597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34856960 140736511255535 140736511255706 140736511255706 140736511258575 0
[pid=25579/tid=25585] ppid=25577 vsize=15151156 memory=11620 CPUtime=0 cores=0,2,4,6
/proc/25579/task/25585/stat : 25585 (java) S 25577 25577 21684 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 517430607 15514783744 22180 33554432000 4194304 4196468 140736511246352 140657503844336 140657968081538 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34856960 140736511255535 140736511255706 140736511255706 140736511258575 0
[pid=25579/tid=25586] ppid=25577 vsize=15151156 memory=3608 CPUtime=0 cores=0,2,4,6
/proc/25579/task/25586/stat : 25586 (java) S 25577 25577 21684 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 517430607 15514783744 22180 33554432000 4194304 4196468 140736511246352 140657502790560 140657968080597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34856960 140736511255535 140736511255706 140736511255706 140736511258575 0
[pid=25579/tid=25587] ppid=25577 vsize=15151156 memory=2828 CPUtime=0 cores=0,2,4,6
/proc/25579/task/25587/stat : 25587 (java) S 25577 25577 21684 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 517430607 15514783744 22180 33554432000 4194304 4196468 140736511246352 140657501737968 140657968080597 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34856960 140736511255535 140736511255706 140736511255706 140736511258575 0
[pid=25579/tid=25588] ppid=25577 vsize=15151156 memory=1000 CPUtime=0 cores=0,2,4,6
/proc/25579/task/25588/stat : 25588 (java) S 25577 25577 21684 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517430610 15514783744 22180 33554432000 4194304 4196468 140736511246352 140657500686544 140657968088987 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34856960 140736511255535 140736511255706 140736511255706 140736511258575 0
[pid=25579/tid=25589] ppid=25577 vsize=15151156 memory=1560 CPUtime=0.31 cores=0,2,4,6
/proc/25579/task/25589/stat : 25589 (java) R 25577 25577 21684 0 -1 1077944384 1680 0 0 0 31 0 0 0 20 0 15 0 517430610 15514783744 22180 33554432000 4194304 4196468 140736511246352 140657499612592 140657968080597 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 34856960 140736511255535 140736511255706 140736511255706 140736511258575 0
[pid=25579/tid=25590] ppid=25577 vsize=15151156 memory=1172 CPUtime=0.27 cores=0,2,4,6
/proc/25579/task/25590/stat : 25590 (java) R 25577 25577 21684 0 -1 4202560 954 0 0 0 27 0 0 0 20 0 15 0 517430610 15514783744 22180 33554432000 4194304 4196468 140736511246352 140657498581616 140657947570688 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34856960 140736511255535 140736511255706 140736511255706 140736511258575 0
[pid=25579/tid=25591] ppid=25577 vsize=15151156 memory=14008 CPUtime=0.42 cores=0,2,4,6
/proc/25579/task/25591/stat : 25591 (java) R 25577 25577 21684 0 -1 4202560 2284 0 0 0 42 0 0 0 20 0 15 0 517430610 15514783744 22180 33554432000 4194304 4196468 140736511246352 140657497528256 140657968082326 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34856960 140736511255535 140736511255706 140736511255706 140736511258575 0
[pid=25579/tid=25592] ppid=25577 vsize=15151156 memory=14076 CPUtime=0 cores=0,2,4,6
/proc/25579/task/25592/stat : 25592 (java) S 25577 25577 21684 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517430610 15514783744 22180 33554432000 4194304 4196468 140736511246352 140657496476768 140657968080597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34856960 140736511255535 140736511255706 140736511255706 140736511258575 0
[pid=25579/tid=25593] ppid=25577 vsize=15151156 memory=2116 CPUtime=0 cores=0,2,4,6
/proc/25579/task/25593/stat : 25593 (java) S 25577 25577 21684 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517430610 15514783744 22180 33554432000 4194304 4196468 140736511246352 140657427474736 140657968081538 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34856960 140736511255535 140736511255706 140736511255706 140736511258575 0
Current children cumulated CPU time: 1.72 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 90172 KiB

[startup+1.50081 s]
/proc/loadavg: 1.87 1.91 1.86 5/230 25593
/proc/meminfo: memFree=25063532/32770624 swapFree=66936840/67108860
[pid=25577] ppid=25574 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/25577/stat : 25577 (xcsp3-exec) S 25574 25577 21684 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 517430604 115843072 363 33554432000 4194304 5098028 140723925365968 140723925364072 140223058158204 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 24879104 140723925373818 140723925374061 140723925374061 140723925376970 0
/proc/25577/statm: 28282 363 304 221 0 87 0

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

/proc/25577/stat : 25577 (xcsp3-exec) S 25574 25577 21684 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 517430604 115843072 363 33554432000 4194304 5098028 140723925365968 140723925364072 140223058158204 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 24879104 140723925373818 140723925374061 140723925374061 140723925376970 0
/proc/25577/statm: 28282 363 304 221 0 87 0
[pid=25579] ppid=25577 vsize=15151156 memory=173820 CPUtime=43.58 cores=0,2,4,6
/proc/25579/stat : 25579 (java) S 25577 25577 21684 0 -1 1077944320 38902 0 0 0 4344 14 0 0 20 0 15 0 517430604 15514783744 43455 33554432000 4194304 4196468 140736511246352 140736511228896 140657968070391 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 34856960 140736511255535 140736511255706 140736511255706 140736511258575 0
/proc/25579/statm: 3787789 43455 3500 1 0 3748889 0
[pid=25579/tid=25580] ppid=25577 vsize=15151156 memory=1398722017469774279 CPUtime=40.09 cores=0,2,4,6
/proc/25579/task/25580/stat : 25580 (java) R 25577 25577 21684 0 -1 4202560 11420 0 0 0 4004 5 0 0 20 0 15 0 517430605 15514783744 43455 33554432000 4194304 4196468 140736511246352 140657972310128 140657584233814 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34856960 140736511255535 140736511255706 140736511255706 140736511258575 0
[pid=25579/tid=25581] ppid=25577 vsize=15151156 memory=-7003737579269690708 CPUtime=0.03 cores=0,2,4,6
/proc/25579/task/25581/stat : 25581 (java) S 25577 25577 21684 0 -1 1077944384 566 0 0 0 2 1 0 0 20 0 15 0 517430605 15514783744 43455 33554432000 4194304 4196468 140736511246352 140657904306960 140657968080597 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34856960 140736511255535 140736511255706 140736511255706 140736511258575 0
[pid=25579/tid=25582] ppid=25577 vsize=15151156 memory=1560 CPUtime=0.03 cores=0,2,4,6
/proc/25579/task/25582/stat : 25582 (java) S 25577 25577 21684 0 -1 1077944384 1371 0 0 0 2 1 0 0 20 0 15 0 517430605 15514783744 43455 33554432000 4194304 4196468 140736511246352 140657903254416 140657968080597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34856960 140736511255535 140736511255706 140736511255706 140736511258575 0
[pid=25579/tid=25583] ppid=25577 vsize=15151156 memory=1172 CPUtime=0.03 cores=0,2,4,6
/proc/25579/task/25583/stat : 25583 (java) S 25577 25577 21684 0 -1 1077944384 594 0 0 0 2 1 0 0 20 0 15 0 517430605 15514783744 43455 33554432000 4194304 4196468 140736511246352 140657902201872 140657968080597 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34856960 140736511255535 140736511255706 140736511255706 140736511258575 0
[pid=25579/tid=25584] ppid=25577 vsize=15151156 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/25579/task/25584/stat : 25584 (java) S 25577 25577 21684 0 -1 1077944384 296 0 0 0 3 0 0 0 20 0 15 0 517430605 15514783744 43455 33554432000 4194304 4196468 140736511246352 140657901149328 140657968080597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34856960 140736511255535 140736511255706 140736511255706 140736511258575 0
[pid=25579/tid=25585] ppid=25577 vsize=15151156 memory=7524500567839828585 CPUtime=0.03 cores=0,2,4,6
/proc/25579/task/25585/stat : 25585 (java) S 25577 25577 21684 0 -1 1077944384 979 0 0 0 3 0 0 0 20 0 15 0 517430607 15514783744 43455 33554432000 4194304 4196468 140736511246352 140657503844336 140657968081538 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34856960 140736511255535 140736511255706 140736511255706 140736511258575 0
[pid=25579/tid=25586] ppid=25577 vsize=15151156 memory=14076 CPUtime=0 cores=0,2,4,6
/proc/25579/task/25586/stat : 25586 (java) S 25577 25577 21684 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 517430607 15514783744 43455 33554432000 4194304 4196468 140736511246352 140657502790624 140657968080597 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34856960 140736511255535 140736511255706 140736511255706 140736511258575 0
[pid=25579/tid=25587] ppid=25577 vsize=15151156 memory=2116 CPUtime=0 cores=0,2,4,6
/proc/25579/task/25587/stat : 25587 (java) S 25577 25577 21684 0 -1 1077944384 86 0 0 0 0 0 0 0 20 0 15 0 517430607 15514783744 43455 33554432000 4194304 4196468 140736511246352 140657501737984 140657968080597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34856960 140736511255535 140736511255706 140736511255706 140736511258575 0
[pid=25579/tid=25588] ppid=25577 vsize=15151156 memory=24124 CPUtime=0 cores=0,2,4,6
/proc/25579/task/25588/stat : 25588 (java) S 25577 25577 21684 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517430610 15514783744 43455 33554432000 4194304 4196468 140736511246352 140657500686544 140657968088987 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34856960 140736511255535 140736511255706 140736511255706 140736511258575 0
[pid=25579/tid=25589] ppid=25577 vsize=15151156 memory=528 CPUtime=1.32 cores=0,2,4,6
/proc/25579/task/25589/stat : 25589 (java) S 25577 25577 21684 0 -1 1077944384 8249 0 0 0 130 2 0 0 20 0 15 0 517430610 15514783744 43455 33554432000 4194304 4196468 140736511246352 140657499634160 140657968081538 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34856960 140736511255535 140736511255706 140736511255706 140736511258575 0
[pid=25579/tid=25590] ppid=25577 vsize=15151156 memory=1560 CPUtime=1.28 cores=0,2,4,6
/proc/25579/task/25590/stat : 25590 (java) S 25577 25577 21684 0 -1 1077944384 6923 0 0 0 128 0 0 0 20 0 15 0 517430610 15514783744 43455 33554432000 4194304 4196468 140736511246352 140657498581616 140657968081538 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34856960 140736511255535 140736511255706 140736511255706 140736511258575 0
[pid=25579/tid=25591] ppid=25577 vsize=15151156 memory=932 CPUtime=0.64 cores=0,2,4,6
/proc/25579/task/25591/stat : 25591 (java) S 25577 25577 21684 0 -1 1077944384 6401 0 0 0 63 1 0 0 20 0 15 0 517430610 15514783744 43455 33554432000 4194304 4196468 140736511246352 140657497529072 140657968081538 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34856960 140736511255535 140736511255706 140736511255706 140736511258575 0
[pid=25579/tid=25592] ppid=25577 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25579/task/25592/stat : 25592 (java) S 25577 25577 21684 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517430610 15514783744 43455 33554432000 4194304 4196468 140736511246352 140657496476768 140657968080597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34856960 140736511255535 140736511255706 140736511255706 140736511258575 0
[pid=25579/tid=25593] ppid=25577 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25579/task/25593/stat : 25593 (java) S 25577 25577 21684 0 -1 1077944384 715 0 0 0 0 0 0 0 20 0 15 0 517430610 15514783744 43455 33554432000 4194304 4196468 140736511246352 140657427474736 140657968081538 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34856960 140736511255535 140736511255706 140736511255706 140736511258575 0
Current children cumulated CPU time: 43.58 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 175272 KiB

[startup+41.8007 s]
/proc/loadavg: 1.89 1.90 1.87 3/229 25596
/proc/meminfo: memFree=24991640/32770624 swapFree=66936840/67108860
[pid=25577] ppid=25574 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/25577/stat : 25577 (xcsp3-exec) S 25574 25577 21684 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 517430604 115843072 363 33554432000 4194304 5098028 140723925365968 140723925364072 140223058158204 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 24879104 140723925373818 140723925374061 140723925374061 140723925376970 0
/proc/25577/statm: 28282 363 304 221 0 87 0
[pid=25579] ppid=25577 vsize=15151156 memory=173308 CPUtime=45.18 cores=0,2,4,6
/proc/25579/stat : 25579 (java) S 25577 25577 21684 0 -1 1077944320 39128 0 0 0 4504 14 0 0 20 0 15 0 517430604 15514783744 43327 33554432000 4194304 4196468 140736511246352 140736511228896 140657968070391 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 34856960 140736511255535 140736511255706 140736511255706 140736511258575 0
/proc/25579/statm: 3787789 43327 3500 1 0 3748889 0
[pid=25579/tid=25580] ppid=25577 vsize=15151156 memory=1760 CPUtime=41.68 cores=0,2,4,6
/proc/25579/task/25580/stat : 25580 (java) R 25577 25577 21684 0 -1 4202560 11442 0 0 0 4163 5 0 0 20 0 15 0 517430605 15514783744 43327 33554432000 4194304 4196468 140736511246352 140657972310016 140657584233747 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34856960 140736511255535 140736511255706 140736511255706 140736511258575 0
[pid=25579/tid=25581] ppid=25577 vsize=15151156 memory=1452 CPUtime=0.03 cores=0,2,4,6
/proc/25579/task/25581/stat : 25581 (java) S 25577 25577 21684 0 -1 1077944384 566 0 0 0 2 1 0 0 20 0 15 0 517430605 15514783744 43327 33554432000 4194304 4196468 140736511246352 140657904306960 140657968080597 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34856960 140736511255535 140736511255706 140736511255706 140736511258575 0
[pid=25579/tid=25582] ppid=25577 vsize=15151156 memory=174804 CPUtime=0.03 cores=0,2,4,6
/proc/25579/task/25582/stat : 25582 (java) S 25577 25577 21684 0 -1 1077944384 1371 0 0 0 2 1 0 0 20 0 15 0 517430605 15514783744 43327 33554432000 4194304 4196468 140736511246352 140657903254416 140657968080597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34856960 140736511255535 140736511255706 140736511255706 140736511258575 0
[pid=25579/tid=25583] ppid=25577 vsize=15151156 memory=6791534058613427641 CPUtime=0.03 cores=0,2,4,6
/proc/25579/task/25583/stat : 25583 (java) S 25577 25577 21684 0 -1 1077944384 594 0 0 0 2 1 0 0 20 0 15 0 517430605 15514783744 43327 33554432000 4194304 4196468 140736511246352 140657902201872 140657968080597 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34856960 140736511255535 140736511255706 140736511255706 140736511258575 0
[pid=25579/tid=25584] ppid=25577 vsize=15151156 memory=192204 CPUtime=0.03 cores=0,2,4,6
/proc/25579/task/25584/stat : 25584 (java) S 25577 25577 21684 0 -1 1077944384 296 0 0 0 3 0 0 0 20 0 15 0 517430605 15514783744 43327 33554432000 4194304 4196468 140736511246352 140657901149328 140657968080597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34856960 140736511255535 140736511255706 140736511255706 140736511258575 0
[pid=25579/tid=25585] ppid=25577 vsize=15151156 memory=2828 CPUtime=0.03 cores=0,2,4,6
/proc/25579/task/25585/stat : 25585 (java) S 25577 25577 21684 0 -1 1077944384 979 0 0 0 3 0 0 0 20 0 15 0 517430607 15514783744 43327 33554432000 4194304 4196468 140736511246352 140657503844336 140657968081538 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34856960 140736511255535 140736511255706 140736511255706 140736511258575 0
[pid=25579/tid=25586] ppid=25577 vsize=15151156 memory=1000 CPUtime=0 cores=0,2,4,6
/proc/25579/task/25586/stat : 25586 (java) S 25577 25577 21684 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 517430607 15514783744 43327 33554432000 4194304 4196468 140736511246352 140657502790624 140657968080597 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34856960 140736511255535 140736511255706 140736511255706 140736511258575 0
[pid=25579/tid=25587] ppid=25577 vsize=15151156 memory=192204 CPUtime=0 cores=0,2,4,6
/proc/25579/task/25587/stat : 25587 (java) S 25577 25577 21684 0 -1 1077944384 86 0 0 0 0 0 0 0 20 0 15 0 517430607 15514783744 43327 33554432000 4194304 4196468 140736511246352 140657501737984 140657968080597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34856960 140736511255535 140736511255706 140736511255706 140736511258575 0
[pid=25579/tid=25588] ppid=25577 vsize=15151156 memory=179896 CPUtime=0 cores=0,2,4,6
/proc/25579/task/25588/stat : 25588 (java) S 25577 25577 21684 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517430610 15514783744 43327 33554432000 4194304 4196468 140736511246352 140657500686544 140657968088987 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34856960 140736511255535 140736511255706 140736511255706 140736511258575 0
[pid=25579/tid=25589] ppid=25577 vsize=15151156 memory=181944 CPUtime=1.32 cores=0,2,4,6
/proc/25579/task/25589/stat : 25589 (java) S 25577 25577 21684 0 -1 1077944384 8345 0 0 0 130 2 0 0 20 0 15 0 517430610 15514783744 43327 33554432000 4194304 4196468 140736511246352 140657499634160 140657968081538 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34856960 140736511255535 140736511255706 140736511255706 140736511258575 0
[pid=25579/tid=25590] ppid=25577 vsize=15151156 memory=4100 CPUtime=1.28 cores=0,2,4,6
/proc/25579/task/25590/stat : 25590 (java) S 25577 25577 21684 0 -1 1077944384 7031 0 0 0 128 0 0 0 20 0 15 0 517430610 15514783744 43327 33554432000 4194304 4196468 140736511246352 140657498581616 140657968081538 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34856960 140736511255535 140736511255706 140736511255706 140736511258575 0
[pid=25579/tid=25591] ppid=25577 vsize=15151156 memory=1412 CPUtime=0.64 cores=0,2,4,6
/proc/25579/task/25591/stat : 25591 (java) S 25577 25577 21684 0 -1 1077944384 6401 0 0 0 63 1 0 0 20 0 15 0 517430610 15514783744 43327 33554432000 4194304 4196468 140736511246352 140657497529072 140657968081538 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34856960 140736511255535 140736511255706 140736511255706 140736511258575 0
[pid=25579/tid=25592] ppid=25577 vsize=15151156 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/25579/task/25592/stat : 25592 (java) S 25577 25577 21684 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517430610 15514783744 43327 33554432000 4194304 4196468 140736511246352 140657496476768 140657968080597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34856960 140736511255535 140736511255706 140736511255706 140736511258575 0
[pid=25579/tid=25593] ppid=25577 vsize=15151156 memory=183996 CPUtime=0 cores=0,2,4,6
/proc/25579/task/25593/stat : 25593 (java) S 25577 25577 21684 0 -1 1077944384 715 0 0 0 0 0 0 0 20 0 15 0 517430610 15514783744 43327 33554432000 4194304 4196468 140736511246352 140657427474736 140657968081538 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34856960 140736511255535 140736511255706 140736511255706 140736511258575 0
Current children cumulated CPU time: 45.18 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 174760 KiB

[startup+42.2009 s]*
/proc/loadavg: 1.89 1.90 1.87 3/229 25596
/proc/meminfo: memFree=24992116/32770624 swapFree=66936840/67108860
[pid=25577] ppid=25574 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/25577/stat : 25577 (xcsp3-exec) S 25574 25577 21684 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 517430604 115843072 363 33554432000 4194304 5098028 140723925365968 140723925364072 140223058158204 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 24879104 140723925373818 140723925374061 140723925374061 140723925376970 0
/proc/25577/statm: 28282 363 304 221 0 87 0
[pid=25579] ppid=25577 vsize=15151156 memory=172816 CPUtime=45.59 cores=0,2,4,6
/proc/25579/stat : 25579 (java) S 25577 25577 21684 0 -1 1077944320 40957 0 0 0 4545 14 0 0 20 0 15 0 517430604 15514783744 43204 33554432000 4194304 4196468 140736511246352 140736511228896 140657968070391 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 34856960 140736511255535 140736511255706 140736511255706 140736511258575 0
/proc/25579/statm: 3787789 43204 3500 1 0 3748889 0
[pid=25579/tid=25580] ppid=25577 vsize=15151156 memory=-8094235084319000145 CPUtime=42.09 cores=0,2,4,6
/proc/25579/task/25580/stat : 25580 (java) R 25577 25577 21684 0 -1 4202560 11774 0 0 0 4204 5 0 0 20 0 15 0 517430605 15514783744 43204 33554432000 4194304 4196468 140736511246352 140657972307576 140657584233872 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34856960 140736511255535 140736511255706 140736511255706 140736511258575 0
[pid=25579/tid=25581] ppid=25577 vsize=15151156 memory=3472468561965053136 CPUtime=0.04 cores=0,2,4,6
/proc/25579/task/25581/stat : 25581 (java) S 25577 25577 21684 0 -1 1077944384 602 0 0 0 3 1 0 0 20 0 15 0 517430605 15514783744 43204 33554432000 4194304 4196468 140736511246352 140657904306960 140657968080597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34856960 140736511255535 140736511255706 140736511255706 140736511258575 0
[pid=25579/tid=25582] ppid=25577 vsize=15151156 memory=140433069901450 CPUtime=0.03 cores=0,2,4,6
/proc/25579/task/25582/stat : 25582 (java) S 25577 25577 21684 0 -1 1077944384 1771 0 0 0 2 1 0 0 20 0 15 0 517430605 15514783744 43204 33554432000 4194304 4196468 140736511246352 140657903254416 140657968080597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34856960 140736511255535 140736511255706 140736511255706 140736511258575 0
[pid=25579/tid=25583] ppid=25577 vsize=15151156 memory=280865897391512 CPUtime=0.03 cores=0,2,4,6
/proc/25579/task/25583/stat : 25583 (java) S 25577 25577 21684 0 -1 1077944384 612 0 0 0 2 1 0 0 20 0 15 0 517430605 15514783744 43204 33554432000 4194304 4196468 140736511246352 140657902201872 140657968080597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34856960 140736511255535 140736511255706 140736511255706 140736511258575 0
[pid=25579/tid=25584] ppid=25577 vsize=15151156 memory=104 CPUtime=0.03 cores=0,2,4,6
/proc/25579/task/25584/stat : 25584 (java) S 25577 25577 21684 0 -1 1077944384 329 0 0 0 3 0 0 0 20 0 15 0 517430605 15514783744 43204 33554432000 4194304 4196468 140736511246352 140657901149328 140657968080597 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34856960 140736511255535 140736511255706 140736511255706 140736511258575 0
[pid=25579/tid=25585] ppid=25577 vsize=15151156 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/25579/task/25585/stat : 25585 (java) S 25577 25577 21684 0 -1 1077944384 1179 0 0 0 3 0 0 0 20 0 15 0 517430607 15514783744 43204 33554432000 4194304 4196468 140736511246352 140657503844336 140657968081538 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34856960 140736511255535 140736511255706 140736511255706 140736511258575 0
[pid=25579/tid=25586] ppid=25577 vsize=15151156 memory=4116343051681542431 CPUtime=0 cores=0,2,4,6
/proc/25579/task/25586/stat : 25586 (java) S 25577 25577 21684 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 517430607 15514783744 43204 33554432000 4194304 4196468 140736511246352 140657502790624 140657968080597 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34856960 140736511255535 140736511255706 140736511255706 140736511258575 0
[pid=25579/tid=25587] ppid=25577 vsize=15151156 memory=6935650355287975249 CPUtime=0 cores=0,2,4,6
/proc/25579/task/25587/stat : 25587 (java) S 25577 25577 21684 0 -1 1077944384 86 0 0 0 0 0 0 0 20 0 15 0 517430607 15514783744 43204 33554432000 4194304 4196468 140736511246352 140657501737984 140657968080597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34856960 140736511255535 140736511255706 140736511255706 140736511258575 0
[pid=25579/tid=25588] ppid=25577 vsize=15151156 memory=-8383865636863188341 CPUtime=0 cores=0,2,4,6
/proc/25579/task/25588/stat : 25588 (java) S 25577 25577 21684 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517430610 15514783744 43204 33554432000 4194304 4196468 140736511246352 140657500686544 140657968088987 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34856960 140736511255535 140736511255706 140736511255706 140736511258575 0
[pid=25579/tid=25589] ppid=25577 vsize=15151156 memory=0 CPUtime=1.32 cores=0,2,4,6
/proc/25579/task/25589/stat : 25589 (java) S 25577 25577 21684 0 -1 1077944384 8557 0 0 0 130 2 0 0 20 0 15 0 517430610 15514783744 43204 33554432000 4194304 4196468 140736511246352 140657499634160 140657968081538 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34856960 140736511255535 140736511255706 140736511255706 140736511258575 0
[pid=25579/tid=25590] ppid=25577 vsize=15151156 memory=3760558672513675311 CPUtime=1.28 cores=0,2,4,6
/proc/25579/task/25590/stat : 25590 (java) S 25577 25577 21684 0 -1 1077944384 7033 0 0 0 128 0 0 0 20 0 15 0 517430610 15514783744 43204 33554432000 4194304 4196468 140736511246352 140657498581616 140657968081538 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34856960 140736511255535 140736511255706 140736511255706 140736511258575 0
[pid=25579/tid=25591] ppid=25577 vsize=15151156 memory=140433069901440 CPUtime=0.64 cores=0,2,4,6
/proc/25579/task/25591/stat : 25591 (java) S 25577 25577 21684 0 -1 1077944384 6975 0 0 0 63 1 0 0 20 0 15 0 517430610 15514783744 43204 33554432000 4194304 4196468 140736511246352 140657497529072 140657968081538 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34856960 140736511255535 140736511255706 140736511255706 140736511258575 0
[pid=25579/tid=25592] ppid=25577 vsize=15151156 memory=140432949123635 CPUtime=0 cores=0,2,4,6
/proc/25579/task/25592/stat : 25592 (java) S 25577 25577 21684 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517430610 15514783744 43204 33554432000 4194304 4196468 140736511246352 140657496476768 140657968080597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34856960 140736511255535 140736511255706 140736511255706 140736511258575 0
[pid=25579/tid=25593] ppid=25577 vsize=15151156 memory=3473034995033193395 CPUtime=0 cores=0,2,4,6
/proc/25579/task/25593/stat : 25593 (java) S 25577 25577 21684 0 -1 1077944384 737 0 0 0 0 0 0 0 20 0 15 0 517430610 15514783744 43204 33554432000 4194304 4196468 140736511246352 140657427474736 140657968081538 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34856960 140736511255535 140736511255706 140736511255706 140736511258575 0
Current children cumulated CPU time: 45.59 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 174268 KiB

[startup+42.4009 s]
/proc/loadavg: 1.89 1.90 1.87 3/229 25596
/proc/meminfo: memFree=24992116/32770624 swapFree=66936840/67108860
[pid=25577] ppid=25574 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/25577/stat : 25577 (xcsp3-exec) S 25574 25577 21684 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 517430604 115843072 363 33554432000 4194304 5098028 140723925365968 140723925364072 140223058158204 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 24879104 140723925373818 140723925374061 140723925374061 140723925376970 0
/proc/25577/statm: 28282 363 304 221 0 87 0
[pid=25579] ppid=25577 vsize=15151156 memory=172300 CPUtime=45.78 cores=0,2,4,6
/proc/25579/stat : 25579 (java) S 25577 25577 21684 0 -1 1077944320 40965 0 0 0 4564 14 0 0 20 0 15 0 517430604 15514783744 43075 33554432000 4194304 4196468 140736511246352 140736511228896 140657968070391 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 34856960 140736511255535 140736511255706 140736511255706 140736511258575 0
/proc/25579/statm: 3787789 43075 3500 1 0 3748889 0
[pid=25579/tid=25580] ppid=25577 vsize=15151156 memory=3472617472111433200 CPUtime=42.28 cores=0,2,4,6
/proc/25579/task/25580/stat : 25580 (java) R 25577 25577 21684 0 -1 4202560 11777 0 0 0 4223 5 0 0 20 0 15 0 517430605 15514783744 43075 33554432000 4194304 4196468 140736511246352 140657972310112 140657585924436 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34856960 140736511255535 140736511255706 140736511255706 140736511258575 0
[pid=25579/tid=25581] ppid=25577 vsize=15151156 memory=6944656592452807318 CPUtime=0.04 cores=0,2,4,6
/proc/25579/task/25581/stat : 25581 (java) S 25577 25577 21684 0 -1 1077944384 602 0 0 0 3 1 0 0 20 0 15 0 517430605 15514783744 43075 33554432000 4194304 4196468 140736511246352 140657904306960 140657968080597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34856960 140736511255535 140736511255706 140736511255706 140736511258575 0
[pid=25579/tid=25582] ppid=25577 vsize=15151156 memory=-2025810976467231676 CPUtime=0.03 cores=0,2,4,6
/proc/25579/task/25582/stat : 25582 (java) S 25577 25577 21684 0 -1 1077944384 1773 0 0 0 2 1 0 0 20 0 15 0 517430605 15514783744 43075 33554432000 4194304 4196468 140736511246352 140657903254416 140657968080597 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34856960 140736511255535 140736511255706 140736511255706 140736511258575 0
[pid=25579/tid=25583] ppid=25577 vsize=15151156 memory=6944656592385698452 CPUtime=0.03 cores=0,2,4,6
/proc/25579/task/25583/stat : 25583 (java) S 25577 25577 21684 0 -1 1077944384 614 0 0 0 2 1 0 0 20 0 15 0 517430605 15514783744 43075 33554432000 4194304 4196468 140736511246352 140657902201872 140657968080597 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34856960 140736511255535 140736511255706 140736511255706 140736511258575 0
[pid=25579/tid=25584] ppid=25577 vsize=15151156 memory=6656426216303648864 CPUtime=0.03 cores=0,2,4,6
/proc/25579/task/25584/stat : 25584 (java) S 25577 25577 21684 0 -1 1077944384 329 0 0 0 3 0 0 0 20 0 15 0 517430605 15514783744 43075 33554432000 4194304 4196468 140736511246352 140657901149328 140657968080597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34856960 140736511255535 140736511255706 140736511255706 140736511258575 0
[pid=25579/tid=25585] ppid=25577 vsize=15151156 memory=6944656592455360604 CPUtime=0.04 cores=0,2,4,6
/proc/25579/task/25585/stat : 25585 (java) S 25577 25577 21684 0 -1 1077944384 1180 0 0 0 4 0 0 0 20 0 15 0 517430607 15514783744 43075 33554432000 4194304 4196468 140736511246352 140657503844336 140657968081538 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34856960 140736511255535 140736511255706 140736511255706 140736511258575 0
[pid=25579/tid=25586] ppid=25577 vsize=15151156 memory=6943526294502006880 CPUtime=0 cores=0,2,4,6
/proc/25579/task/25586/stat : 25586 (java) S 25577 25577 21684 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 517430607 15514783744 43075 33554432000 4194304 4196468 140736511246352 140657502790624 140657968080597 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34856960 140736511255535 140736511255706 140736511255706 140736511258575 0
[pid=25579/tid=25587] ppid=25577 vsize=15151156 memory=6655300316396806240 CPUtime=0 cores=0,2,4,6
/proc/25579/task/25587/stat : 25587 (java) S 25577 25577 21684 0 -1 1077944384 86 0 0 0 0 0 0 0 20 0 15 0 517430607 15514783744 43075 33554432000 4194304 4196468 140736511246352 140657501737984 140657968080597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34856960 140736511255535 140736511255706 140736511255706 140736511258575 0
[pid=25579/tid=25588] ppid=25577 vsize=15151156 memory=-2897801490638248215 CPUtime=0 cores=0,2,4,6
/proc/25579/task/25588/stat : 25588 (java) S 25577 25577 21684 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517430610 15514783744 43075 33554432000 4194304 4196468 140736511246352 140657500686544 140657968088987 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34856960 140736511255535 140736511255706 140736511255706 140736511258575 0
[pid=25579/tid=25589] ppid=25577 vsize=15151156 memory=7085964663054688832 CPUtime=1.32 cores=0,2,4,6
/proc/25579/task/25589/stat : 25589 (java) S 25577 25577 21684 0 -1 1077944384 8557 0 0 0 130 2 0 0 20 0 15 0 517430610 15514783744 43075 33554432000 4194304 4196468 140736511246352 140657499634160 140657968081538 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34856960 140736511255535 140736511255706 140736511255706 140736511258575 0
[pid=25579/tid=25590] ppid=25577 vsize=15151156 memory=7084560689786545510 CPUtime=1.28 cores=0,2,4,6
/proc/25579/task/25590/stat : 25590 (java) S 25577 25577 21684 0 -1 1077944384 7033 0 0 0 128 0 0 0 20 0 15 0 517430610 15514783744 43075 33554432000 4194304 4196468 140736511246352 140657498581616 140657968081538 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34856960 140736511255535 140736511255706 140736511255706 140736511258575 0
[pid=25579/tid=25591] ppid=25577 vsize=15151156 memory=5866895546851354210 CPUtime=0.64 cores=0,2,4,6
/proc/25579/task/25591/stat : 25591 (java) S 25577 25577 21684 0 -1 1077944384 6975 0 0 0 63 1 0 0 20 0 15 0 517430610 15514783744 43075 33554432000 4194304 4196468 140736511246352 140657497529072 140657968081538 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34856960 140736511255535 140736511255706 140736511255706 140736511258575 0
[pid=25579/tid=25592] ppid=25577 vsize=15151156 memory=3688508775057471798 CPUtime=0 cores=0,2,4,6
/proc/25579/task/25592/stat : 25592 (java) S 25577 25577 21684 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517430610 15514783744 43075 33554432000 4194304 4196468 140736511246352 140657496476768 140657968080597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34856960 140736511255535 140736511255706 140736511255706 140736511258575 0
[pid=25579/tid=25593] ppid=25577 vsize=15151156 memory=5787219428069434709 CPUtime=0 cores=0,2,4,6
/proc/25579/task/25593/stat : 25593 (java) S 25577 25577 21684 0 -1 1077944384 737 0 0 0 0 0 0 0 20 0 15 0 517430610 15514783744 43075 33554432000 4194304 4196468 140736511246352 140657427474736 140657968081538 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34856960 140736511255535 140736511255706 140736511255706 140736511258575 0
Current children cumulated CPU time: 45.78 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 173752 KiB

Child status: 0
Real time (s): 42.4768
CPU time (s): 45.8746
CPU user time (s): 45.7221
CPU system time (s): 0.152539
CPU usage (%): 107.999
Max. virtual memory (cumulated for all children) (KiB): 15264284
Max. memory (cumulated for all children) (KiB): 215672

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 45.7221
system time used= 0.152539
maximum resident set size= 216272
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 42275
page faults= 0
swaps= 0
block input operations= 0
block output operations= 152
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3800
involuntary context switches= 95


# summary of solver processes directly reported to runsolver:
#   pid: 25577
#   total CPU time (s): 45.8746
#   total CPU user time (s): 45.7221
#   total CPU system time (s): 0.152539

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.272676 second user time and 0.454879 second system time

The end

Launcher Data 

Begin job on node141 at 2019-09-25 14:34:45
IDJOB=4406143
IDBENCH=141484
IDSOLVER=2869
FILE ID=node141/4406143-1569414928
RUNJOBID= node141-1569396627-21715
PBS_JOBID= 21705681
Free space on /tmp= 22904 MiB

SOLVER NAME= choco-solver 2019-09-24
BENCH NAME= XCSP18/PeacableArmies/PeacableArmies-m1-07_c18.xml
COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p 1 -ml 12000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4406143-1569414928/watcher-4406143-1569414928 -o /tmp/evaluation-result-4406143-1569414928/solver-4406143-1569414928 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node141-1569396627-21715 --watchdog 2580  xcsp3-exec -dir HOME -tl 2520 -p 1 -ml 12000 -tdir HOME -seed 1231058056 HOME/instance-4406143-1569414928.xml

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

MD5SUM BENCH= 93689e7972bcd89c8c0248fcf1fc8ef9
RANDOM SEED=1231058056

node141.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	: 5332.93
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	: 5332.93
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	: 5332.93
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	: 5332.93
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:        25158788 kB
MemAvailable:   31614156 kB
Buffers:          132020 kB
Cached:          6602232 kB
SwapCached:        62084 kB
Active:          3548316 kB
Inactive:        3451180 kB
Active(anon):     200720 kB
Inactive(anon):   117552 kB
Active(file):    3347596 kB
Inactive(file):  3333628 kB
Unevictable:      107012 kB
Mlocked:          107012 kB
SwapTotal:      67108860 kB
SwapFree:       66936840 kB
Dirty:             26404 kB
Writeback:             0 kB
AnonPages:        309980 kB
Mapped:            68496 kB
Shmem:             44800 kB
Slab:             209768 kB
SReclaimable:     179956 kB
SUnreclaim:        29812 kB
KernelStack:        4048 kB
PageTables:         6124 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1520516 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    206848 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      128384 kB
DirectMap2M:    33417216 kB

Free space on /tmp at the end= 22880 MiB
End job on node141 at 2019-09-25 14:35:28