Trace number 4305580

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 NameAnswerCPU timeWall clock time
scop both+MapleCOMSPS (2018-07-31)SAT 4.11862 2.44606

General information on the benchmark

NameLangford/
LangfordBin-08_c18.xml
MD5SUM6540e056641e8d5f1a9996bec92d89db
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark0.008438
Satisfiable
(Un)Satisfiability was proved
Number of variables32
Number of constraints24
Number of domains2
Minimum domain size8
Maximum domain size16
Distribution of domain sizes[{"size":8,"count":16},{"size":16,"count":16}]
Minimum variable degree2
Maximum variable degree16
Distribution of variable degrees[{"degree":2,"count":16},{"degree":16,"count":16}]
Minimum constraint arity2
Maximum constraint arity17
Distribution of constraint arities[{"arity":2,"count":8},{"arity":17,"count":16}]
Number of extensional constraints0
Number of intensional constraints8
Distribution of constraint types[{"type":"intension","count":8},{"type":"element","count":16}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c (scop.sh) java -Xms11g -Xmx11g -Xss128m -cp scop.jar fun.scop.XCSP18Encode -both -solver minisat_release -solverOption default -tmp HOME -serialFile HOME/scop-21757-serial-file.bin HOME/instance-4305580-1534072597.xml
0.55/0.52	
0.67/0.52	scop both+minisat_release (2018-07-31)
0.67/0.52	(Encoding Process)
0.67/0.52	
0.67/0.54	c BEGIN-Prog: Sun Aug 12 13:16:38 CEST 2018
0.67/0.54	c PID: 21760
0.67/0.54	c IP: 172.20.3.135
0.67/0.54	c HOST: node135.alineos.net
0.67/0.55	c (0,0) Parsing Begin
1.19/0.84	c (0,0) Parsing End
1.19/0.85	c (0,0) CSP: 32 int (0 aux), 0 bool (0 aux), 24 ctr, max domain size 16
1.19/0.85	c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 17 MiB used (max 0 MiB)
1.19/0.85	c (0,0) Constraint Name Generate Begin
1.19/0.85	c (0,0) Ctr:HOME/instance-4305580-1534072597.xml,Add:Element:Eq:IntVar:Num
1.19/0.85	c (0,0) Constraint Name Generate End
1.19/0.85	c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.19/0.85	c (0,0) CSP to CSPinCNF Begin
1.37/1.00	c (0,0) translated 3 (10%) constraints
1.56/1.02	c (0,0) translated 5 (20%) constraints
1.56/1.05	c (0,0) translated 8 (30%) constraints
1.56/1.06	c (0,0) translated 10 (40%) constraints
1.56/1.08	c (0,0) translated 12 (50%) constraints
1.56/1.10	c (0,0) translated 15 (60%) constraints
1.83/1.12	c (0,0) translated 17 (70%) constraints
1.83/1.13	c (0,0) translated 20 (80%) constraints
1.83/1.13	c (0,0) translated 22 (90%) constraints
1.83/1.13	c (0,0) translated 24 (100%) constraints
1.83/1.16	c (0,0) STATISTICS1:HOME/instance-4305580-1534072597.xml,Add:Element:Eq:IntVar:Num,32,264,14,14,3,2,14:2;13:2;12:2;11:2;10:2;9:2;8:2;7:2,14:34;13:34;12:34;11:34;10:34;9:34;8:290;7:34,3:256;1:8,2:16;1:768,
1.83/1.16	c (0,0) ==========================================
1.83/1.16	c (0,0) Both Encoding selects:
1.83/1.16	c (0,0) Order
1.83/1.16	c (0,0) ==========================================
2.03/1.20	c (0,0) translated 27 (10%) constraints
2.03/1.23	c (0,0) translated 53 (20%) constraints
2.03/1.25	c (0,0) translated 80 (30%) constraints
2.03/1.26	c (0,0) translated 106 (40%) constraints
2.03/1.27	c (0,0) translated 132 (50%) constraints
2.03/1.28	c (0,0) translated 159 (60%) constraints
2.03/1.29	c (0,0) translated 185 (70%) constraints
2.03/1.29	c (0,0) translated 212 (80%) constraints
2.03/1.30	c (0,0) translated 238 (90%) constraints
2.31/1.31	c (0,0) translated 264 (100%) constraints
2.31/1.31	c (0,0) CSP to CSPinCNF End
2.31/1.31	c (0,0) CSP: 32 int (0 aux), 128 bool (128 aux), 784 ctr, max domain size 14
2.31/1.31	c (0,0) Heap : 168 MiB used (max 10795 MiB), NonHeap : 23 MiB used (max 0 MiB)
2.31/1.31	c (0,0) CSPinCNF Propagation Begin
2.31/1.35	c (0,0) 0 values, 120 unsatisfiable literals, and 152 valid clauses are removed
2.31/1.35	c (0,0) CSPinCNF Propagation End
2.31/1.35	c (0,0) CSP: 32 int (0 aux), 128 bool (128 aux), 632 ctr, max domain size 14
2.31/1.35	c (0,0) Heap : 168 MiB used (max 10795 MiB), NonHeap : 24 MiB used (max 0 MiB)
2.31/1.35	c (0,0) Simplify CSPinCNF Begin
2.31/1.36	c (0,0) Simplify CSPinCNF End
2.31/1.36	c (0,0) CSP: 32 int (0 aux), 128 bool (128 aux), 632 ctr, max domain size 14
2.31/1.36	c (0,0) Heap : 168 MiB used (max 10795 MiB), NonHeap : 24 MiB used (max 0 MiB)
2.31/1.36	c (0,0) Calculate Precise Domain Begin
2.31/1.37	c (0,0) 0 values are removed by re-calculation
2.31/1.37	c (0,0) Calculate Precise Domain End
2.31/1.37	c (0,0) CSP: 32 int (0 aux), 128 bool (128 aux), 632 ctr, max domain size 14
2.31/1.37	c (0,0) Heap : 168 MiB used (max 10795 MiB), NonHeap : 24 MiB used (max 0 MiB)
2.31/1.37	c (0,0) CSPinCNF to SatSolver Begin
2.56/1.40	c (0,0) 64 (10 %) CSP clauses are encoded (392 SAT variables, 295 SAT clauses)
2.56/1.41	c (0,0) 127 (20 %) CSP clauses are encoded (392 SAT variables, 358 SAT clauses)
2.56/1.41	c (0,0) 190 (30 %) CSP clauses are encoded (392 SAT variables, 421 SAT clauses)
2.56/1.41	c (0,0) 253 (40 %) CSP clauses are encoded (392 SAT variables, 484 SAT clauses)
2.56/1.42	c (0,0) 316 (50 %) CSP clauses are encoded (392 SAT variables, 547 SAT clauses)
2.56/1.42	c (0,0) 380 (60 %) CSP clauses are encoded (392 SAT variables, 611 SAT clauses)
2.56/1.42	c (0,0) 443 (70 %) CSP clauses are encoded (392 SAT variables, 674 SAT clauses)
2.56/1.43	c (0,0) 506 (80 %) CSP clauses are encoded (392 SAT variables, 737 SAT clauses)
2.56/1.43	c (0,0) 569 (90 %) CSP clauses are encoded (392 SAT variables, 800 SAT clauses)
2.56/1.44	c (0,0) 632 (100 %) CSP clauses are encoded (392 SAT variables, 994 SAT clauses)
2.56/1.44	c (0,0) Launch Command will be: minisat_release
2.56/1.44	c (0,0) CSPinCNF to SatSolver End
2.56/1.44	c (0,0) Heap : 168 MiB used (max 10795 MiB), NonHeap : 25 MiB used (max 0 MiB)
2.56/1.46	c (0,0) STATISTICS2:HOME/instance-4305580-1534072597.xml,Add:Element:Eq:IntVar:Num,160,632,14,14,3,2,14:2;13:2;12:2;11:2;10:2;9:2;8:2;7:2,14:56;13:52;12:48;11:44;10:40;9:36;8:480;7:28;2:616,3:136;2:480;1:16,2:16;1:1368,
2.56/1.46	c (0,0) 392 bool, 1000 clause
2.56/1.46	c (0,0) Export Begin
2.79/1.54	c (1,1) Export to HOME/scop-21757-serial-file.bin
2.79/1.54	c (1,1) Export End
2.79/1.54	c (1,1) Export File Size: 0.01 MB
2.79/1.54	c (1,1) 0,0,0,0,0,0,0,STOP-AFTER(DIMACS)
2.79/1.54	c END-Prog: Sun Aug 12 13:16:39 CEST 2018
2.79/1.55	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp scop.jar fun.scop.XCSP18Solve HOME/scop-21757-serial-file.bin
3.49/2.03	c (0,0) Read Serial File Begin
3.49/2.03	c (0,0) HOME/scop-21757-serial-file.bin
3.62/2.19	c (0,0) Read Serial File End
3.75/2.20	
3.75/2.20	scop order+minisat_release (2018-07-31)
3.75/2.20	(Solving Process)
3.75/2.20	
3.75/2.22	c BEGIN-Prog: Sun Aug 12 13:16:40 CEST 2018
3.75/2.22	c PID: 21775
3.75/2.22	c IP: 172.20.3.135
3.75/2.22	c HOST: node135.alineos.net
3.75/2.23	c (0,0) SatSolver.solve Begin
3.75/2.23	c (0,0) 0 bool, 0 clause
3.75/2.23	c (0,0) minisat_release HOME/instance-4305580-1534072597.xml-scop-21760.cnf
3.96/2.36	c (0,0) c This is COMiniSatPS.
3.96/2.36	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
3.96/2.36	c (0,0) c ============================[ Problem Statistics ]=============================
3.96/2.36	c (0,0) c |                                                                             |
3.96/2.36	c (0,0) c |  Number of variables:           392                                         |
3.96/2.36	c (0,0) c |  Number of clauses:            1000                                         |
3.96/2.36	c (0,0) c |  Parse time:                   0.00 s                                       |
3.96/2.36	c (0,0) c |  Eliminated clauses:           0.01 Mb                                      |
3.96/2.36	c (0,0) c Reduced to 204 vars, 649 cls (grow=0)
3.96/2.36	c (0,0) c No iterative elimination performed. (vars=204, c/v ratio=3.2)
3.96/2.36	c (0,0) c |  Simplification time:          0.00 s                                       |
3.96/2.36	c (0,0) c |                                                                             |
3.96/2.36	c (0,0) c ============================[ Search Statistics ]==============================
3.96/2.36	c (0,0) c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
3.96/2.36	c (0,0) c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
3.96/2.36	c (0,0) c ===============================================================================
3.96/2.36	c (0,0) c ===============================================================================
3.96/2.36	c (0,0) c restarts              : 1
3.96/2.36	c (0,0) c conflicts             : 8              (4092 /sec)
3.96/2.36	c (0,0) c decisions             : 38             (0.00 % random) (19437 /sec)
3.96/2.36	c (0,0) c propagations          : 629            (321739 /sec)
3.96/2.36	c (0,0) c conflict literals     : 99             (25.00 % deleted)
3.96/2.36	c (0,0) c CPU time              : 0.001955 s
3.96/2.36	c (0,0) 
3.96/2.36	c (0,0) s SATISFIABLE
3.96/2.37	c (0,0) SatSolver.solve End
3.96/2.37	c (0,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 15 MiB used (max 0 MiB)
3.96/2.37	c (0,0) Show results Begin
4.03/2.43	s SATISFIABLE
4.03/2.43	v <instantiation>
4.03/2.43	v     <list>v[0] v[1] v[2] v[3] v[4] v[5] v[6] v[7] v[8] v[9] v[10] v[11] v[12] v[13] v[14] v[15] p[0] p[1] p[2] p[3] p[4] p[5] p[6] p[7] p[8] p[9] p[10] p[11] p[12] p[13] p[14] p[15]</list>
4.03/2.43	v     <values>2 8 6 2 3 5 7 4 3 6 8 5 4 1 7 1 15 13 3 0 8 4 12 7 11 5 9 2 14 6 10 1</values>
4.03/2.43	v </instantiation>
4.03/2.43	c (0,0) Show results End
4.03/2.43	c (0,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 17 MiB used (max 0 MiB)
4.03/2.43	c (0,0) 0,0,STOP-AFTER(ALL)
4.03/2.43	c END-Prog: Sun Aug 12 13:16:40 CEST 2018

Verifier Data 

OK

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4305580-1534072597/watcher-4305580-1534072597 -o /tmp/evaluation-result-4305580-1534072597/solver-4305580-1534072597 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node135-1534062530-19414 --watchdog 2580 scop.sh 11g scop.jar -both minisat_release default HOME HOME/instance-4305580-1534072597.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=21757, runsolver pid=21754

[startup+0.100174 s]*
/proc/loadavg: 2.01 2.04 2.05 4/225 21774
/proc/meminfo: memFree=11562868/32770624 swapFree=67108860/67108860
[pid=21757] ppid=21754 vsize=113128 memory=1392 CPUtime=0 cores=0,2,4,6
/proc/21757/stat : 21757 (scop.sh) S 21754 21757 19383 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 224822916 115843072 348 33554432000 4194304 5098028 140721877519936 140721877517192 140697688265340 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 20058112 140721877521473 140721877521671 140721877521671 140721877524429 0
/proc/21757/statm: 28282 348 296 221 0 87 0
[pid=21760] ppid=21757 vsize=15012476 memory=74996 CPUtime=0.11 cores=0,2,4,6
/proc/21760/stat : 21760 (java) S 21757 21757 19383 0 -1 1077944320 6844 0 0 0 8 3 0 0 20 0 15 0 224822917 15372775424 18749 33554432000 4194304 4196468 140727618544176 140727618526720 140283212586743 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 37240832 140727618548743 140727618549041 140727618549041 140727618551759 0
/proc/21760/statm: 3753119 18749 2770 1 0 3715579 0
[pid=21760/tid=21761] ppid=21757 vsize=15012476 memory=7533807676074704953 CPUtime=0.09 cores=0,2,4,6
/proc/21760/task/21761/stat : 21761 (java) R 21757 21757 19383 0 -1 4202560 4931 0 0 0 7 2 0 0 20 0 15 0 224822917 15372775424 18749 33554432000 4194304 4196468 140727618544176 140283184413072 140283196667230 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37240832 140727618548743 140727618549041 140727618549041 140727618551759 0
[pid=21760/tid=21762] ppid=21757 vsize=15012476 memory=3472468382717552304 CPUtime=0 cores=0,2,4,6
/proc/21760/task/21762/stat : 21762 (java) S 21757 21757 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224822919 15372775424 18749 33554432000 4194304 4196468 140727618544176 140283216829584 140283212596949 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37240832 140727618548743 140727618549041 140727618549041 140727618551759 0
[pid=21760/tid=21763] ppid=21757 vsize=15012476 memory=140086489872000 CPUtime=0 cores=0,2,4,6
/proc/21760/task/21763/stat : 21763 (java) S 21757 21757 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224822919 15372775424 18749 33554432000 4194304 4196468 140727618544176 140283030985744 140283212596949 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37240832 140727618548743 140727618549041 140727618549041 140727618551759 0
[pid=21760/tid=21764] ppid=21757 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21760/task/21764/stat : 21764 (java) S 21757 21757 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224822919 15372775424 18749 33554432000 4194304 4196468 140727618544176 140283029932944 140283212596949 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37240832 140727618548743 140727618549041 140727618549041 140727618551759 0
[pid=21760/tid=21765] ppid=21757 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21760/task/21765/stat : 21765 (java) S 21757 21757 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224822919 15372775424 18749 33554432000 4194304 4196468 140727618544176 140283028880144 140283212596949 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37240832 140727618548743 140727618549041 140727618549041 140727618551759 0
[pid=21760/tid=21766] ppid=21757 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21760/task/21766/stat : 21766 (java) S 21757 21757 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224822920 15372775424 18749 33554432000 4194304 4196468 140727618544176 140282182957424 140283212597890 0 0 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37240832 140727618548743 140727618549041 140727618549041 140727618551759 0
[pid=21760/tid=21767] ppid=21757 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21760/task/21767/stat : 21767 (java) S 21757 21757 19383 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224822921 15372775424 18749 33554432000 4194304 4196468 140727618544176 140281819161632 140283212596949 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37240832 140727618548743 140727618549041 140727618549041 140727618551759 0
[pid=21760/tid=21768] ppid=21757 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21760/task/21768/stat : 21768 (java) S 21757 21757 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224822921 15372775424 18749 33554432000 4194304 4196468 140727618544176 140281550726000 140283212596949 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37240832 140727618548743 140727618549041 140727618549041 140727618551759 0
[pid=21760/tid=21769] ppid=21757 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21760/task/21769/stat : 21769 (java) S 21757 21757 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224822923 15372775424 18749 33554432000 4194304 4196468 140727618544176 140281176217424 140283212605339 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37240832 140727618548743 140727618549041 140727618549041 140727618551759 0
[pid=21760/tid=21770] ppid=21757 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21760/task/21770/stat : 21770 (java) S 21757 21757 19383 0 -1 1077944384 311 0 0 0 0 0 0 0 20 0 15 0 224822923 15372775424 18749 33554432000 4194304 4196468 140727618544176 140282181905264 140283212597890 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37240832 140727618548743 140727618549041 140727618549041 140727618551759 0
[pid=21760/tid=21771] ppid=21757 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21760/task/21771/stat : 21771 (java) S 21757 21757 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224822923 15372775424 18749 33554432000 4194304 4196468 140727618544176 140282180852464 140283212597890 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37240832 140727618548743 140727618549041 140727618549041 140727618551759 0
[pid=21760/tid=21772] ppid=21757 vsize=15012476 memory=140086489872000 CPUtime=0.01 cores=0,2,4,6
/proc/21760/task/21772/stat : 21772 (java) R 21757 21757 19383 0 -1 4202560 268 0 0 0 1 0 0 0 20 0 15 0 224822923 15372775424 18749 33554432000 4194304 4196468 140727618544176 140282179796776 140283191232358 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37240832 140727618548743 140727618549041 140727618549041 140727618551759 0
[pid=21760/tid=21773] ppid=21757 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21760/task/21773/stat : 21773 (java) S 21757 21757 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224822924 15372775424 18749 33554432000 4194304 4196468 140727618544176 140280678312672 140283212596949 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37240832 140727618548743 140727618549041 140727618549041 140727618551759 0
[pid=21760/tid=21774] ppid=21757 vsize=15012476 memory=140086489872000 CPUtime=0 cores=0,2,4,6
/proc/21760/task/21774/stat : 21774 (java) S 21757 21757 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224822924 15372775424 18749 33554432000 4194304 4196468 140727618544176 140282178747056 140283212597890 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37240832 140727618548743 140727618549041 140727618549041 140727618551759 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 76388 KiB

[startup+0.210824 s]*
/proc/loadavg: 2.01 2.04 2.05 4/225 21774
/proc/meminfo: memFree=11549164/32770624 swapFree=67108860/67108860
[pid=21757] ppid=21754 vsize=113128 memory=1392 CPUtime=0 cores=0,2,4,6
/proc/21757/stat : 21757 (scop.sh) S 21754 21757 19383 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 224822916 115843072 348 33554432000 4194304 5098028 140721877519936 140721877517192 140697688265340 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 20058112 140721877521473 140721877521671 140721877521671 140721877524429 0
/proc/21757/statm: 28282 348 296 221 0 87 0
[pid=21760] ppid=21757 vsize=15012476 memory=88060 CPUtime=0.25 cores=0,2,4,6
/proc/21760/stat : 21760 (java) S 21757 21757 19383 0 -1 1077944320 10365 0 0 0 22 3 0 0 20 0 15 0 224822917 15372775424 22015 33554432000 4194304 4196468 140727618544176 140727618526720 140283212586743 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 37240832 140727618548743 140727618549041 140727618549041 140727618551759 0
/proc/21760/statm: 3753119 22015 2906 1 0 3715579 0
[pid=21760/tid=21761] ppid=21757 vsize=15012476 memory=8514701219881124769 CPUtime=0.19 cores=0,2,4,6
/proc/21760/task/21761/stat : 21761 (java) R 21757 21757 19383 0 -1 4202560 8270 0 0 0 17 2 0 0 20 0 15 0 224822917 15372775424 22015 33554432000 4194304 4196468 140727618544176 140283184411952 140283212608669 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37240832 140727618548743 140727618549041 140727618549041 140727618551759 0
[pid=21760/tid=21762] ppid=21757 vsize=15012476 memory=3472468382717552304 CPUtime=0 cores=0,2,4,6
/proc/21760/task/21762/stat : 21762 (java) S 21757 21757 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224822919 15372775424 22015 33554432000 4194304 4196468 140727618544176 140283216829584 140283212596949 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37240832 140727618548743 140727618549041 140727618549041 140727618551759 0
[pid=21760/tid=21763] ppid=21757 vsize=15012476 memory=140086489872000 CPUtime=0 cores=0,2,4,6
/proc/21760/task/21763/stat : 21763 (java) S 21757 21757 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224822919 15372775424 22015 33554432000 4194304 4196468 140727618544176 140283030985744 140283212596949 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37240832 140727618548743 140727618549041 140727618549041 140727618551759 0
[pid=21760/tid=21764] ppid=21757 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21760/task/21764/stat : 21764 (java) S 21757 21757 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224822919 15372775424 22015 33554432000 4194304 4196468 140727618544176 140283029932944 140283212596949 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37240832 140727618548743 140727618549041 140727618549041 140727618551759 0
[pid=21760/tid=21765] ppid=21757 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21760/task/21765/stat : 21765 (java) S 21757 21757 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224822919 15372775424 22015 33554432000 4194304 4196468 140727618544176 140283028880144 140283212596949 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37240832 140727618548743 140727618549041 140727618549041 140727618551759 0
[pid=21760/tid=21766] ppid=21757 vsize=15012476 memory=140086489872000 CPUtime=0 cores=0,2,4,6
/proc/21760/task/21766/stat : 21766 (java) S 21757 21757 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224822920 15372775424 22015 33554432000 4194304 4196468 140727618544176 140282182957424 140283212597890 0 0 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37240832 140727618548743 140727618549041 140727618549041 140727618551759 0
[pid=21760/tid=21767] ppid=21757 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21760/task/21767/stat : 21767 (java) S 21757 21757 19383 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224822921 15372775424 22015 33554432000 4194304 4196468 140727618544176 140281819161632 140283212596949 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37240832 140727618548743 140727618549041 140727618549041 140727618551759 0
[pid=21760/tid=21768] ppid=21757 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21760/task/21768/stat : 21768 (java) S 21757 21757 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224822921 15372775424 22015 33554432000 4194304 4196468 140727618544176 140281550726000 140283212596949 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37240832 140727618548743 140727618549041 140727618549041 140727618551759 0
[pid=21760/tid=21769] ppid=21757 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21760/task/21769/stat : 21769 (java) S 21757 21757 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224822923 15372775424 22015 33554432000 4194304 4196468 140727618544176 140281176217424 140283212605339 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37240832 140727618548743 140727618549041 140727618549041 140727618551759 0
[pid=21760/tid=21770] ppid=21757 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21760/task/21770/stat : 21770 (java) S 21757 21757 19383 0 -1 1077944384 323 0 0 0 0 0 0 0 20 0 15 0 224822923 15372775424 22015 33554432000 4194304 4196468 140727618544176 140282181905264 140283212597890 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37240832 140727618548743 140727618549041 140727618549041 140727618551759 0
[pid=21760/tid=21771] ppid=21757 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21760/task/21771/stat : 21771 (java) S 21757 21757 19383 0 -1 1077944384 154 0 0 0 0 0 0 0 20 0 15 0 224822923 15372775424 22015 33554432000 4194304 4196468 140727618544176 140282180852464 140283212597890 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37240832 140727618548743 140727618549041 140727618549041 140727618551759 0
[pid=21760/tid=21772] ppid=21757 vsize=15012476 memory=140086489872000 CPUtime=0.03 cores=0,2,4,6
/proc/21760/task/21772/stat : 21772 (java) R 21757 21757 19383 0 -1 4202560 285 0 0 0 3 0 0 0 20 0 15 0 224822923 15372775424 22015 33554432000 4194304 4196468 140727618544176 140282179799664 140283212598678 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37240832 140727618548743 140727618549041 140727618549041 140727618551759 0
[pid=21760/tid=21773] ppid=21757 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21760/task/21773/stat : 21773 (java) S 21757 21757 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224822924 15372775424 22015 33554432000 4194304 4196468 140727618544176 140280678312672 140283212596949 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37240832 140727618548743 140727618549041 140727618549041 140727618551759 0
[pid=21760/tid=21774] ppid=21757 vsize=15012476 memory=140086489872000 CPUtime=0 cores=0,2,4,6
/proc/21760/task/21774/stat : 21774 (java) S 21757 21757 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224822924 15372775424 22015 33554432000 4194304 4196468 140727618544176 140282178747056 140283212597890 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37240832 140727618548743 140727618549041 140727618549041 140727618551759 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 89452 KiB

[startup+0.310806 s]*
/proc/loadavg: 2.01 2.04 2.05 3/225 21774
/proc/meminfo: memFree=11545488/32770624 swapFree=67108860/67108860
[pid=21757] ppid=21754 vsize=113128 memory=1392 CPUtime=0 cores=0,2,4,6
/proc/21757/stat : 21757 (scop.sh) S 21754 21757 19383 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 224822916 115843072 348 33554432000 4194304 5098028 140721877519936 140721877517192 140697688265340 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 20058112 140721877521473 140721877521671 140721877521671 140721877524429 0
/proc/21757/statm: 28282 348 296 221 0 87 0
[pid=21760] ppid=21757 vsize=15012476 memory=91588 CPUtime=0.42 cores=0,2,4,6
/proc/21760/stat : 21760 (java) S 21757 21757 19383 0 -1 1077944320 10904 0 0 0 39 3 0 0 20 0 15 0 224822917 15372775424 22897 33554432000 4194304 4196468 140727618544176 140727618526720 140283212586743 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 37240832 140727618548743 140727618549041 140727618549041 140727618551759 0
/proc/21760/statm: 3753119 22897 2968 1 0 3715579 0
[pid=21760/tid=21761] ppid=21757 vsize=15012476 memory=8514701219881124769 CPUtime=0.3 cores=0,2,4,6
/proc/21760/task/21761/stat : 21761 (java) R 21757 21757 19383 0 -1 4202560 8644 0 0 0 27 3 0 0 20 0 15 0 224822917 15372775424 22897 33554432000 4194304 4196468 140727618544176 140283184414960 140283212608669 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37240832 140727618548743 140727618549041 140727618549041 140727618551759 0
[pid=21760/tid=21762] ppid=21757 vsize=15012476 memory=3472468382717552304 CPUtime=0 cores=0,2,4,6
/proc/21760/task/21762/stat : 21762 (java) S 21757 21757 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224822919 15372775424 22897 33554432000 4194304 4196468 140727618544176 140283216829584 140283212596949 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37240832 140727618548743 140727618549041 140727618549041 140727618551759 0
[pid=21760/tid=21763] ppid=21757 vsize=15012476 memory=280172821035904 CPUtime=0 cores=0,2,4,6
/proc/21760/task/21763/stat : 21763 (java) S 21757 21757 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224822919 15372775424 22897 33554432000 4194304 4196468 140727618544176 140283030985744 140283212596949 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37240832 140727618548743 140727618549041 140727618549041 140727618551759 0
[pid=21760/tid=21764] ppid=21757 vsize=15012476 memory=280172662360096 CPUtime=0 cores=0,2,4,6
/proc/21760/task/21764/stat : 21764 (java) S 21757 21757 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224822919 15372775424 22897 33554432000 4194304 4196468 140727618544176 140283029932944 140283212596949 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37240832 140727618548743 140727618549041 140727618549041 140727618551759 0
[pid=21760/tid=21765] ppid=21757 vsize=15012476 memory=140086331163919 CPUtime=0 cores=0,2,4,6
/proc/21760/task/21765/stat : 21765 (java) S 21757 21757 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224822919 15372775424 22897 33554432000 4194304 4196468 140727618544176 140283028880144 140283212596949 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37240832 140727618548743 140727618549041 140727618549041 140727618551759 0
[pid=21760/tid=21766] ppid=21757 vsize=15012476 memory=280172821042816 CPUtime=0 cores=0,2,4,6
/proc/21760/task/21766/stat : 21766 (java) S 21757 21757 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224822920 15372775424 22897 33554432000 4194304 4196468 140727618544176 140282182957424 140283212597890 0 0 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37240832 140727618548743 140727618549041 140727618549041 140727618551759 0
[pid=21760/tid=21767] ppid=21757 vsize=15012476 memory=140086331168527 CPUtime=0 cores=0,2,4,6
/proc/21760/task/21767/stat : 21767 (java) S 21757 21757 19383 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224822921 15372775424 22897 33554432000 4194304 4196468 140727618544176 140281819161632 140283212596949 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37240832 140727618548743 140727618549041 140727618549041 140727618551759 0
[pid=21760/tid=21768] ppid=21757 vsize=15012476 memory=140086331192384 CPUtime=0 cores=0,2,4,6
/proc/21760/task/21768/stat : 21768 (java) S 21757 21757 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224822921 15372775424 22897 33554432000 4194304 4196468 140727618544176 140281550726000 140283212596949 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37240832 140727618548743 140727618549041 140727618549041 140727618551759 0
[pid=21760/tid=21769] ppid=21757 vsize=15012476 memory=280172662369312 CPUtime=0 cores=0,2,4,6
/proc/21760/task/21769/stat : 21769 (java) S 21757 21757 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224822923 15372775424 22897 33554432000 4194304 4196468 140727618544176 140281176217424 140283212605339 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37240832 140727618548743 140727618549041 140727618549041 140727618551759 0
[pid=21760/tid=21770] ppid=21757 vsize=15012476 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/21760/task/21770/stat : 21770 (java) R 21757 21757 19383 0 -1 1077944384 378 0 0 0 1 0 0 0 20 0 15 0 224822923 15372775424 22897 33554432000 4194304 4196468 140727618544176 140282181905264 140283212597890 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37240832 140727618548743 140727618549041 140727618549041 140727618551759 0
[pid=21760/tid=21771] ppid=21757 vsize=15012476 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/21760/task/21771/stat : 21771 (java) R 21757 21757 19383 0 -1 4202560 244 0 0 0 2 0 0 0 20 0 15 0 224822923 15372775424 22897 33554432000 4194304 4196468 140727618544176 140282180852464 140283193949713 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37240832 140727618548743 140727618549041 140727618549041 140727618551759 0
[pid=21760/tid=21772] ppid=21757 vsize=15012476 memory=140086489872000 CPUtime=0.07 cores=0,2,4,6
/proc/21760/task/21772/stat : 21772 (java) R 21757 21757 19383 0 -1 4202560 305 0 0 0 7 0 0 0 20 0 15 0 224822923 15372775424 22897 33554432000 4194304 4196468 140727618544176 140282179799664 140283212600607 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37240832 140727618548743 140727618549041 140727618549041 140727618551759 0
[pid=21760/tid=21773] ppid=21757 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21760/task/21773/stat : 21773 (java) S 21757 21757 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224822924 15372775424 22897 33554432000 4194304 4196468 140727618544176 140280678312672 140283212596949 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37240832 140727618548743 140727618549041 140727618549041 140727618551759 0
[pid=21760/tid=21774] ppid=21757 vsize=15012476 memory=140086489873392 CPUtime=0 cores=0,2,4,6
/proc/21760/task/21774/stat : 21774 (java) S 21757 21757 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224822924 15372775424 22897 33554432000 4194304 4196468 140727618544176 140282178747056 140283212597890 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37240832 140727618548743 140727618549041 140727618549041 140727618551759 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 92980 KiB

[startup+0.703225 s]
/proc/loadavg: 2.01 2.03 2.05 3/225 21774
/proc/meminfo: memFree=11521180/32770624 swapFree=67108860/67108860
[pid=21757] ppid=21754 vsize=113128 memory=1392 CPUtime=0 cores=0,2,4,6
/proc/21757/stat : 21757 (scop.sh) S 21754 21757 19383 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 224822916 115843072 348 33554432000 4194304 5098028 140721877519936 140721877517192 140697688265340 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 20058112 140721877521473 140721877521671 140721877521671 140721877524429 0
/proc/21757/statm: 28282 348 296 221 0 87 0
[pid=21760] ppid=21757 vsize=15020872 memory=132092 CPUtime=1.01 cores=0,2,4,6
/proc/21760/stat : 21760 (java) S 21757 21757 19383 0 -1 1077944320 18092 0 0 0 95 6 0 0 20 0 15 0 224822917 15381372928 33023 33554432000 4194304 4196468 140727618544176 140727618526720 140283212586743 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 37240832 140727618548743 140727618549041 140727618549041 140727618551759 0
/proc/21760/statm: 3755218 33023 3162 1 0 3716603 0
[pid=21760/tid=21761] ppid=21757 vsize=15020872 memory=57 CPUtime=0.68 cores=0,2,4,6
/proc/21760/task/21761/stat : 21761 (java) R 21757 21757 19383 0 -1 4202560 15402 0 0 0 63 5 0 0 20 0 15 0 224822917 15381372928 33023 33554432000 4194304 4196468 140727618544176 140283184419136 140283212608669 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37240832 140727618548743 140727618549041 140727618549041 140727618551759 0
[pid=21760/tid=21762] ppid=21757 vsize=15020872 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21760/task/21762/stat : 21762 (java) S 21757 21757 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224822919 15381372928 33023 33554432000 4194304 4196468 140727618544176 140283216829584 140283212596949 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37240832 140727618548743 140727618549041 140727618549041 140727618551759 0
[pid=21760/tid=21763] ppid=21757 vsize=15020872 memory=7886766292050393141 CPUtime=0 cores=0,2,4,6
/proc/21760/task/21763/stat : 21763 (java) S 21757 21757 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224822919 15381372928 33023 33554432000 4194304 4196468 140727618544176 140283030985744 140283212596949 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37240832 140727618548743 140727618549041 140727618549041 140727618551759 0
[pid=21760/tid=21764] ppid=21757 vsize=15020872 memory=7518566443438921825 CPUtime=0 cores=0,2,4,6
/proc/21760/task/21764/stat : 21764 (java) S 21757 21757 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224822919 15381372928 33023 33554432000 4194304 4196468 140727618544176 140283029932944 140283212596949 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37240832 140727618548743 140727618549041 140727618549041 140727618551759 0
[pid=21760/tid=21765] ppid=21757 vsize=15020872 memory=7372762397046498368 CPUtime=0 cores=0,2,4,6
/proc/21760/task/21765/stat : 21765 (java) S 21757 21757 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224822919 15381372928 33023 33554432000 4194304 4196468 140727618544176 140283028880144 140283212596949 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37240832 140727618548743 140727618549041 140727618549041 140727618551759 0
[pid=21760/tid=21766] ppid=21757 vsize=15020872 memory=2319389199337275488 CPUtime=0 cores=0,2,4,6
/proc/21760/task/21766/stat : 21766 (java) S 21757 21757 19383 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 224822920 15381372928 33023 33554432000 4194304 4196468 140727618544176 140282182957424 140283212597890 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37240832 140727618548743 140727618549041 140727618549041 140727618551759 0
[pid=21760/tid=21767] ppid=21757 vsize=15020872 memory=1444 CPUtime=0 cores=0,2,4,6
/proc/21760/task/21767/stat : 21767 (java) S 21757 21757 19383 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224822921 15381372928 33023 33554432000 4194304 4196468 140727618544176 140281819161632 140283212596949 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37240832 140727618548743 140727618549041 140727618549041 140727618551759 0
[pid=21760/tid=21768] ppid=21757 vsize=15020872 memory=1160 CPUtime=0 cores=0,2,4,6
/proc/21760/task/21768/stat : 21768 (java) S 21757 21757 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224822921 15381372928 33023 33554432000 4194304 4196468 140727618544176 140281550726000 140283212596949 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37240832 140727618548743 140727618549041 140727618549041 140727618551759 0
[pid=21760/tid=21769] ppid=21757 vsize=15020872 memory=968 CPUtime=0 cores=0,2,4,6
/proc/21760/task/21769/stat : 21769 (java) S 21757 21757 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224822923 15381372928 33023 33554432000 4194304 4196468 140727618544176 140281176217424 140283212605339 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37240832 140727618548743 140727618549041 140727618549041 140727618551759 0
[pid=21760/tid=21770] ppid=21757 vsize=15020872 memory=12144 CPUtime=0.06 cores=0,2,4,6
/proc/21760/task/21770/stat : 21770 (java) S 21757 21757 19383 0 -1 1077944384 470 0 0 0 6 0 0 0 20 0 15 0 224822923 15381372928 33023 33554432000 4194304 4196468 140727618544176 140282181905264 140283212597890 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37240832 140727618548743 140727618549041 140727618549041 140727618551759 0
[pid=21760/tid=21771] ppid=21757 vsize=15020872 memory=1712 CPUtime=0.09 cores=0,2,4,6
/proc/21760/task/21771/stat : 21771 (java) S 21757 21757 19383 0 -1 1077944384 471 0 0 0 9 0 0 0 20 0 15 0 224822923 15381372928 33023 33554432000 4194304 4196468 140727618544176 140282180852464 140283212597890 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37240832 140727618548743 140727618549041 140727618549041 140727618551759 0
[pid=21760/tid=21772] ppid=21757 vsize=15020872 memory=8812 CPUtime=0.15 cores=0,2,4,6
/proc/21760/task/21772/stat : 21772 (java) S 21757 21757 19383 0 -1 1077944384 413 0 0 0 15 0 0 0 20 0 15 0 224822923 15381372928 33023 33554432000 4194304 4196468 140727618544176 140282179799664 140283212597890 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37240832 140727618548743 140727618549041 140727618549041 140727618551759 0
[pid=21760/tid=21773] ppid=21757 vsize=15020872 memory=4576 CPUtime=0 cores=0,2,4,6
/proc/21760/task/21773/stat : 21773 (java) S 21757 21757 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224822924 15381372928 33023 33554432000 4194304 4196468 140727618544176 140280678312672 140283212596949 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37240832 140727618548743 140727618549041 140727618549041 140727618551759 0
[pid=21760/tid=21774] ppid=21757 vsize=15020872 memory=15868 CPUtime=0 cores=0,2,4,6
/proc/21760/task/21774/stat : 21774 (java) S 21757 21757 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224822924 15381372928 33023 33554432000 4194304 4196468 140727618544176 140282178747056 140283212597890 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37240832 140727618548743 140727618549041 140727618549041 140727618551759 0
Current children cumulated CPU time: 1.01 s
Current children cumulated vsize: 15134000 KiB
Current children cumulated memory: 133484 KiB

[startup+1.50129 s]
/proc/loadavg: 2.01 2.03 2.05 5/225 21774
/proc/meminfo: memFree=11494656/32770624 swapFree=67108860/67108860
[pid=21757] ppid=21754 vsize=113128 memory=1392 CPUtime=0 cores=0,2,4,6
/proc/21757/stat : 21757 (scop.sh) S 21754 21757 19383 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 224822916 115843072 348 33554432000 4194304 5098028 140721877519936 140721877517192 140697688265340 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 20058112 140721877521473 140721877521671 140721877521671 140721877524429 0
/proc/21757/statm: 28282 348 296 221 0 87 0
[pid=21760] ppid=21757 vsize=15027104 memory=179812 CPUtime=2.79 cores=0,2,4,6
/proc/21760/stat : 21760 (java) S 21757 21757 19383 0 -1 1077944320 22378 0 0 0 270 9 0 0 20 0 15 0 224822917 15387754496 44953 33554432000 4194304 4196468 140727618544176 140727618526720 140283212586743 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 37240832 140727618548743 140727618549041 140727618549041 140727618551759 0
/proc/21760/statm: 3756776 44953 3206 1 0 3717627 0
[pid=21760/tid=21761] ppid=21757 vsize=15027104 memory=0 CPUtime=1.47 cores=0,2,4,6
/proc/21760/task/21761/stat : 21761 (java) R 21757 21757 19383 0 -1 4202560 17114 0 0 0 141 6 0 0 20 0 15 0 224822917 15387754496 44953 33554432000 4194304 4196468 140727618544176 140283184412416 140283196667230 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37240832 140727618548743 140727618549041 140727618549041 140727618551759 0
[pid=21760/tid=21762] ppid=21757 vsize=15027104 memory=57 CPUtime=0 cores=0,2,4,6
/proc/21760/task/21762/stat : 21762 (java) S 21757 21757 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224822919 15387754496 44953 33554432000 4194304 4196468 140727618544176 140283216829584 140283212596949 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37240832 140727618548743 140727618549041 140727618549041 140727618551759 0
[pid=21760/tid=21763] ppid=21757 vsize=15027104 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21760/task/21763/stat : 21763 (java) S 21757 21757 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224822919 15387754496 44953 33554432000 4194304 4196468 140727618544176 140283030985744 140283212596949 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37240832 140727618548743 140727618549041 140727618549041 140727618551759 0
[pid=21760/tid=21764] ppid=21757 vsize=15027104 memory=280172662387264 CPUtime=0 cores=0,2,4,6
/proc/21760/task/21764/stat : 21764 (java) S 21757 21757 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224822919 15387754496 44953 33554432000 4194304 4196468 140727618544176 140283029932944 140283212596949 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37240832 140727618548743 140727618549041 140727618549041 140727618551759 0
[pid=21760/tid=21765] ppid=21757 vsize=15027104 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21760/task/21765/stat : 21765 (java) S 21757 21757 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224822919 15387754496 44953 33554432000 4194304 4196468 140727618544176 140283028880144 140283212596949 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37240832 140727618548743 140727618549041 140727618549041 140727618551759 0
[pid=21760/tid=21766] ppid=21757 vsize=15027104 memory=140086331203424 CPUtime=0 cores=0,2,4,6
/proc/21760/task/21766/stat : 21766 (java) S 21757 21757 19383 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 224822920 15387754496 44953 33554432000 4194304 4196468 140727618544176 140282182957424 140283212597890 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37240832 140727618548743 140727618549041 140727618549041 140727618551759 0
[pid=21760/tid=21767] ppid=21757 vsize=15027104 memory=40 CPUtime=0 cores=0,2,4,6
/proc/21760/task/21767/stat : 21767 (java) S 21757 21757 19383 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224822921 15387754496 44953 33554432000 4194304 4196468 140727618544176 140281819161632 140283212596949 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37240832 140727618548743 140727618549041 140727618549041 140727618551759 0
[pid=21760/tid=21768] ppid=21757 vsize=15027104 memory=11089 CPUtime=0 cores=0,2,4,6
/proc/21760/task/21768/stat : 21768 (java) S 21757 21757 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224822921 15387754496 44953 33554432000 4194304 4196468 140727618544176 140281550726000 140283212596949 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37240832 140727618548743 140727618549041 140727618549041 140727618551759 0
[pid=21760/tid=21769] ppid=21757 vsize=15027104 memory=4420 CPUtime=0 cores=0,2,4,6
/proc/21760/task/21769/stat : 21769 (java) S 21757 21757 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224822923 15387754496 44953 33554432000 4194304 4196468 140727618544176 140281176217424 140283212605339 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37240832 140727618548743 140727618549041 140727618549041 140727618551759 0
[pid=21760/tid=21770] ppid=21757 vsize=15027104 memory=6628 CPUtime=0.29 cores=0,2,4,6
/proc/21760/task/21770/stat : 21770 (java) S 21757 21757 19383 0 -1 1077944384 864 0 0 0 29 0 0 0 20 0 15 0 224822923 15387754496 44953 33554432000 4194304 4196468 140727618544176 140282181905264 140283212597890 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37240832 140727618548743 140727618549041 140727618549041 140727618551759 0
[pid=21760/tid=21771] ppid=21757 vsize=15027104 memory=8836 CPUtime=0.33 cores=0,2,4,6
/proc/21760/task/21771/stat : 21771 (java) R 21757 21757 19383 0 -1 4202560 622 0 0 0 33 0 0 0 20 0 15 0 224822923 15387754496 44953 33554432000 4194304 4196468 140727618544176 140282180843680 140283191832946 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 37240832 140727618548743 140727618549041 140727618549041 140727618551759 0
[pid=21760/tid=21772] ppid=21757 vsize=15027104 memory=11044 CPUtime=0.66 cores=0,2,4,6
/proc/21760/task/21772/stat : 21772 (java) S 21757 21757 19383 0 -1 1077944384 2442 0 0 0 66 0 0 0 20 0 15 0 224822923 15387754496 44953 33554432000 4194304 4196468 140727618544176 140282179799664 140283212597890 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37240832 140727618548743 140727618549041 140727618549041 140727618551759 0
[pid=21760/tid=21773] ppid=21757 vsize=15027104 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21760/task/21773/stat : 21773 (java) S 21757 21757 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224822924 15387754496 44953 33554432000 4194304 4196468 140727618544176 140280678312672 140283212596949 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37240832 140727618548743 140727618549041 140727618549041 140727618551759 0
[pid=21760/tid=21774] ppid=21757 vsize=15027104 memory=4420 CPUtime=0 cores=0,2,4,6
/proc/21760/task/21774/stat : 21774 (java) S 21757 21757 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224822924 15387754496 44953 33554432000 4194304 4196468 140727618544176 140282178747056 140283212597890 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37240832 140727618548743 140727618549041 140727618549041 140727618551759 0
Current children cumulated CPU time: 2.79 s
Current children cumulated vsize: 15140232 KiB
Current children cumulated memory: 181204 KiB

[startup+2.446 s]
# the end of solver process 21757 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=3.94762 s, system=0.171003 s

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

[startup+1.60086 s]
/proc/loadavg: 2.01 2.03 2.05 5/225 21774
/proc/meminfo: memFree=11494656/32770624 swapFree=67108860/67108860
[pid=21757] ppid=21754 vsize=113128 memory=1468 CPUtime=2.88 cores=0,2,4,6
/proc/21757/stat : 21757 (scop.sh) S 21754 21757 19383 0 -1 4202496 590 22890 0 0 0 0 278 10 20 0 1 0 224822916 115843072 367 33554432000 4194304 5098028 140721877519936 140721877516680 140697688265340 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 20058112 140721877521473 140721877521671 140721877521671 140721877524429 0
/proc/21757/statm: 28282 367 311 221 0 87 0
Current children cumulated CPU time: 2.88 s
Current children cumulated vsize: 113128 KiB
Current children cumulated memory: 1468 KiB

[startup+2.00034 s]*
/proc/loadavg: 2.01 2.03 2.05 3/225 21789
/proc/meminfo: memFree=11562564/32770624 swapFree=67108860/67108860
[pid=21757] ppid=21754 vsize=113128 memory=1468 CPUtime=2.88 cores=0,2,4,6
/proc/21757/stat : 21757 (scop.sh) S 21754 21757 19383 0 -1 4202496 590 22890 0 0 0 0 278 10 20 0 1 0 224822916 115843072 367 33554432000 4194304 5098028 140721877519936 140721877516680 140697688265340 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 20058112 140721877521473 140721877521671 140721877521671 140721877524429 0
/proc/21757/statm: 28282 367 311 221 0 87 0
[pid=21775] ppid=21757 vsize=7406364 memory=74596 CPUtime=0.61 cores=0,2,4,6
/proc/21775/stat : 21775 (java) S 21757 21757 19383 0 -1 1077944320 11316 0 0 0 58 3 0 0 20 0 15 0 224823071 7584116736 18649 33554432000 4194304 4196468 140722539881696 140722539864240 140516758966007 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 17321984 140722539885749 140722539885873 140722539885873 140722539888591 0
/proc/21775/statm: 1851591 18649 2980 1 0 1813530 0
[pid=21775/tid=21776] ppid=21757 vsize=7406364 memory=6791534058613427641 CPUtime=0.44 cores=0,2,4,6
/proc/21775/task/21776/stat : 21776 (java) R 21757 21757 19383 0 -1 4202560 9043 0 0 0 42 2 0 0 20 0 15 0 224823072 7584116736 18649 33554432000 4194304 4196468 140722539881696 140516730767488 140516739244556 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17321984 140722539885749 140722539885873 140722539885873 140722539888591 0
[pid=21775/tid=21777] ppid=21757 vsize=7406364 memory=-7003737579269690708 CPUtime=0 cores=0,2,4,6
/proc/21775/task/21777/stat : 21777 (java) S 21757 21757 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224823073 7584116736 18649 33554432000 4194304 4196468 140722539881696 140516763207952 140516758976213 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17321984 140722539885749 140722539885873 140722539885873 140722539888591 0
[pid=21775/tid=21778] ppid=21757 vsize=7406364 memory=1414353297708861353 CPUtime=0 cores=0,2,4,6
/proc/21775/task/21778/stat : 21778 (java) S 21757 21757 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224823073 7584116736 18649 33554432000 4194304 4196468 140722539881696 140516568971664 140516758976213 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17321984 140722539885749 140722539885873 140722539885873 140722539888591 0
[pid=21775/tid=21779] ppid=21757 vsize=7406364 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21775/task/21779/stat : 21779 (java) S 21757 21757 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224823073 7584116736 18649 33554432000 4194304 4196468 140722539881696 140516567919120 140516758976213 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17321984 140722539885749 140722539885873 140722539885873 140722539888591 0
[pid=21775/tid=21780] ppid=21757 vsize=7406364 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21775/task/21780/stat : 21780 (java) S 21757 21757 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224823073 7584116736 18649 33554432000 4194304 4196468 140722539881696 140516241607312 140516758976213 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17321984 140722539885749 140722539885873 140722539885873 140722539888591 0
[pid=21775/tid=21781] ppid=21757 vsize=7406364 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21775/task/21781/stat : 21781 (java) S 21757 21757 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224823074 7584116736 18649 33554432000 4194304 4196468 140722539881696 140515869817328 140516758977154 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17321984 140722539885749 140722539885873 140722539885873 140722539888591 0
[pid=21775/tid=21782] ppid=21757 vsize=7406364 memory=3472468381750388176 CPUtime=0 cores=0,2,4,6
/proc/21775/task/21782/stat : 21782 (java) S 21757 21757 19383 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224823075 7584116736 18649 33554432000 4194304 4196468 140722539881696 140515693553056 140516758976213 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17321984 140722539885749 140722539885873 140722539885873 140722539888591 0
[pid=21775/tid=21783] ppid=21757 vsize=7406364 memory=288230617492240660 CPUtime=0 cores=0,2,4,6
/proc/21775/task/21783/stat : 21783 (java) S 21757 21757 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224823075 7584116736 18649 33554432000 4194304 4196468 140722539881696 140515425117680 140516758976213 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17321984 140722539885749 140722539885873 140722539885873 140722539888591 0
[pid=21775/tid=21784] ppid=21757 vsize=7406364 memory=14128944282620519 CPUtime=0 cores=0,2,4,6
/proc/21775/task/21784/stat : 21784 (java) S 21757 21757 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224823077 7584116736 18649 33554432000 4194304 4196468 140722539881696 140515050609360 140516758984603 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17321984 140722539885749 140722539885873 140722539885873 140722539888591 0
[pid=21775/tid=21785] ppid=21757 vsize=7406364 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/21775/task/21785/stat : 21785 (java) S 21757 21757 19383 0 -1 1077944384 387 0 0 0 2 0 0 0 20 0 15 0 224823077 7584116736 18649 33554432000 4194304 4196468 140722539881696 140515868764144 140516758977154 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17321984 140722539885749 140722539885873 140722539885873 140722539888591 0
[pid=21775/tid=21786] ppid=21757 vsize=7406364 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/21775/task/21786/stat : 21786 (java) S 21757 21757 19383 0 -1 1077944384 237 0 0 0 3 0 0 0 20 0 15 0 224823077 7584116736 18649 33554432000 4194304 4196468 140722539881696 140515867711600 140516758977154 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17321984 140722539885749 140722539885873 140722539885873 140722539888591 0
[pid=21775/tid=21787] ppid=21757 vsize=7406364 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/21775/task/21787/stat : 21787 (java) S 21757 21757 19383 0 -1 1077944384 318 0 0 0 9 0 0 0 20 0 15 0 224823077 7584116736 18649 33554432000 4194304 4196468 140722539881696 140515866659056 140516758977154 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17321984 140722539885749 140722539885873 140722539885873 140722539888591 0
[pid=21775/tid=21788] ppid=21757 vsize=7406364 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21775/task/21788/stat : 21788 (java) S 21757 21757 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224823078 7584116736 18649 33554432000 4194304 4196468 140722539881696 140514552703584 140516758976213 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17321984 140722539885749 140722539885873 140722539885873 140722539888591 0
[pid=21775/tid=21789] ppid=21757 vsize=7406364 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21775/task/21789/stat : 21789 (java) S 21757 21757 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224823078 7584116736 18649 33554432000 4194304 4196468 140722539881696 140515865606960 140516758977154 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17321984 140722539885749 140722539885873 140722539885873 140722539888591 0
Current children cumulated CPU time: 3.49 s
Current children cumulated vsize: 7519492 KiB
Current children cumulated memory: 76064 KiB

[startup+2.40078 s]
/proc/loadavg: 2.01 2.03 2.05 3/225 21789
/proc/meminfo: memFree=11562564/32770624 swapFree=67108860/67108860
[pid=21757] ppid=21754 vsize=113128 memory=1468 CPUtime=2.88 cores=0,2,4,6
/proc/21757/stat : 21757 (scop.sh) S 21754 21757 19383 0 -1 4202496 590 22890 0 0 0 0 278 10 20 0 1 0 224822916 115843072 367 33554432000 4194304 5098028 140721877519936 140721877516680 140697688265340 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 20058112 140721877521473 140721877521671 140721877521671 140721877524429 0
/proc/21757/statm: 28282 367 311 221 0 87 0
[pid=21775] ppid=21757 vsize=7937144 memory=119552 CPUtime=1.15 cores=0,2,4,6
/proc/21775/stat : 21775 (java) S 21757 21757 19383 0 -1 1077944320 17566 471 0 0 109 6 0 0 20 0 17 0 224823071 8127635456 29871 33554432000 4194304 4196468 140722539881696 140722539864240 140516758966007 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 17321984 140722539885749 140722539885873 140722539885873 140722539888591 0
/proc/21775/statm: 1984286 29888 3156 1 0 1945685 0
[pid=21775/tid=21776] ppid=21757 vsize=7937144 memory=5864907633804727658 CPUtime=0.74 cores=0,2,4,6
/proc/21775/task/21776/stat : 21776 (java) R 21757 21757 19383 0 -1 4202560 14609 471 0 0 70 4 0 0 20 0 17 0 224823072 8127635456 29888 33554432000 4194304 4196468 140722539881696 140516730796992 140516743046494 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17321984 140722539885749 140722539885873 140722539885873 140722539888591 0
[pid=21775/tid=21777] ppid=21757 vsize=7937144 memory=5864907633804727658 CPUtime=0 cores=0,2,4,6
/proc/21775/task/21777/stat : 21777 (java) S 21757 21757 19383 0 -1 1077944384 2 471 0 0 0 0 0 0 20 0 17 0 224823073 8127635456 29888 33554432000 4194304 4196468 140722539881696 140516763207952 140516758976213 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17321984 140722539885749 140722539885873 140722539885873 140722539888591 0
[pid=21775/tid=21778] ppid=21757 vsize=7937144 memory=5864907633804727658 CPUtime=0 cores=0,2,4,6
/proc/21775/task/21778/stat : 21778 (java) S 21757 21757 19383 0 -1 1077944384 1 471 0 0 0 0 0 0 20 0 17 0 224823073 8127635456 29888 33554432000 4194304 4196468 140722539881696 140516568971664 140516758976213 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17321984 140722539885749 140722539885873 140722539885873 140722539888591 0
[pid=21775/tid=21779] ppid=21757 vsize=7937144 memory=6152857617311487339 CPUtime=0 cores=0,2,4,6
/proc/21775/task/21779/stat : 21779 (java) S 21757 21757 19383 0 -1 1077944384 1 471 0 0 0 0 0 0 20 0 17 0 224823073 8127635456 29888 33554432000 4194304 4196468 140722539881696 140516567919120 140516758976213 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17321984 140722539885749 140722539885873 140722539885873 140722539888591 0
[pid=21775/tid=21780] ppid=21757 vsize=7937144 memory=7230084283536599655 CPUtime=0 cores=0,2,4,6
/proc/21775/task/21780/stat : 21780 (java) S 21757 21757 19383 0 -1 1077944384 1 471 0 0 0 0 0 0 20 0 17 0 224823073 8127635456 29888 33554432000 4194304 4196468 140722539881696 140516241607312 140516758976213 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17321984 140722539885749 140722539885873 140722539885873 140722539888591 0
[pid=21775/tid=21781] ppid=21757 vsize=7937144 memory=5864907633804727658 CPUtime=0 cores=0,2,4,6
/proc/21775/task/21781/stat : 21781 (java) S 21757 21757 19383 0 -1 1077944384 5 471 0 0 0 0 0 0 20 0 17 0 224823074 8127635456 29888 33554432000 4194304 4196468 140722539881696 140515869817328 140516758977154 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17321984 140722539885749 140722539885873 140722539885873 140722539888591 0
[pid=21775/tid=21782] ppid=21757 vsize=7937144 memory=5793973744945354090 CPUtime=0 cores=0,2,4,6
/proc/21775/task/21782/stat : 21782 (java) S 21757 21757 19383 0 -1 1077944384 13 471 0 0 0 0 0 0 20 0 17 0 224823075 8127635456 29888 33554432000 4194304 4196468 140722539881696 140515693553056 140516758976213 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17321984 140722539885749 140722539885873 140722539885873 140722539888591 0
[pid=21775/tid=21783] ppid=21757 vsize=7937144 memory=6299226808452344674 CPUtime=0 cores=0,2,4,6
/proc/21775/task/21783/stat : 21783 (java) S 21757 21757 19383 0 -1 1077944384 1 471 0 0 0 0 0 0 20 0 17 0 224823075 8127635456 29888 33554432000 4194304 4196468 140722539881696 140515425117680 140516758976213 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17321984 140722539885749 140722539885873 140722539885873 140722539888591 0
[pid=21775/tid=21784] ppid=21757 vsize=7937144 memory=6299226808452344674 CPUtime=0 cores=0,2,4,6
/proc/21775/task/21784/stat : 21784 (java) S 21757 21757 19383 0 -1 1077944384 3 471 0 0 0 0 0 0 20 0 17 0 224823077 8127635456 29888 33554432000 4194304 4196468 140722539881696 140515050609360 140516758984603 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17321984 140722539885749 140722539885873 140722539885873 140722539888591 0
[pid=21775/tid=21785] ppid=21757 vsize=7937144 memory=7735328551069246060 CPUtime=0.1 cores=0,2,4,6
/proc/21775/task/21785/stat : 21785 (java) S 21757 21757 19383 0 -1 1077944384 628 471 0 0 10 0 0 0 20 0 17 0 224823077 8127635456 29888 33554432000 4194304 4196468 140722539881696 140515868764144 140516758977154 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17321984 140722539885749 140722539885873 140722539885873 140722539888591 0
[pid=21775/tid=21786] ppid=21757 vsize=7937144 memory=5864907633804727658 CPUtime=0.07 cores=0,2,4,6
/proc/21775/task/21786/stat : 21786 (java) S 21757 21757 19383 0 -1 1077944384 326 471 0 0 7 0 0 0 20 0 17 0 224823077 8127635456 29888 33554432000 4194304 4196468 140722539881696 140515867711600 140516758977154 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17321984 140722539885749 140722539885873 140722539885873 140722539888591 0
[pid=21775/tid=21787] ppid=21757 vsize=7937144 memory=56 CPUtime=0.19 cores=0,2,4,6
/proc/21775/task/21787/stat : 21787 (java) S 21757 21757 19383 0 -1 1077944384 526 471 0 0 19 0 0 0 20 0 17 0 224823077 8127635456 29888 33554432000 4194304 4196468 140722539881696 140515866659056 140516758977154 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17321984 140722539885749 140722539885873 140722539885873 140722539888591 0
[pid=21775/tid=21788] ppid=21757 vsize=7937144 memory=288230596050944315 CPUtime=0 cores=0,2,4,6
/proc/21775/task/21788/stat : 21788 (java) S 21757 21757 19383 0 -1 1077944384 3 471 0 0 0 0 0 0 20 0 17 0 224823078 8127635456 29888 33554432000 4194304 4196468 140722539881696 140514552703584 140516758976213 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17321984 140722539885749 140722539885873 140722539885873 140722539888591 0
[pid=21775/tid=21789] ppid=21757 vsize=7937144 memory=14972265422916166 CPUtime=0 cores=0,2,4,6
/proc/21775/task/21789/stat : 21789 (java) S 21757 21757 19383 0 -1 1077944384 1 471 0 0 0 0 0 0 20 0 17 0 224823078 8127635456 29888 33554432000 4194304 4196468 140722539881696 140515865606960 140516758977154 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17321984 140722539885749 140722539885873 140722539885873 140722539888591 0
Current children cumulated CPU time: 4.03 s
Current children cumulated vsize: 8050272 KiB
Current children cumulated memory: 121020 KiB

Child status: 0
Real time (s): 2.44606
CPU time (s): 4.11862
CPU user time (s): 3.94762
CPU system time (s): 0.171003
CPU usage (%): 168.378
Max. virtual memory (cumulated for all children) (KiB): 15140232
Max. memory (cumulated for all children) (KiB): 181204

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.94762
system time used= 0.171003
maximum resident set size= 184752
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 41745
page faults= 0
swaps= 0
block input operations= 0
block output operations= 224
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4845
involuntary context switches= 49


# summary of solver processes directly reported to runsolver:
#   pid: 21757
#   total CPU time (s): 4.11862
#   total CPU user time (s): 3.94762
#   total CPU system time (s): 0.171003

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.042567 second user time and 0.068522 second system time

The end

Launcher Data 

Begin job on node135 at 2018-08-12 13:16:37
IDJOB=4305580
IDBENCH=141342
IDSOLVER=2783
FILE ID=node135/4305580-1534072597
RUNJOBID= node135-1534062530-19414
PBS_JOBID= 21036983
Free space on /tmp= 42564 MiB

SOLVER NAME= scop both+MapleCOMSPS (2018-07-31)
BENCH NAME= XCSP18/Langford/LangfordBin-08_c18.xml
COMMAND LINE= scop.sh 11g scop.jar -both minisat_release default TMPDIR BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4305580-1534072597/watcher-4305580-1534072597 -o /tmp/evaluation-result-4305580-1534072597/solver-4305580-1534072597 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node135-1534062530-19414 --watchdog 2580  scop.sh 11g scop.jar -both minisat_release default HOME HOME/instance-4305580-1534072597.xml

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

MD5SUM BENCH= 6540e056641e8d5f1a9996bec92d89db
RANDOM SEED=780515481

node135.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.50
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.50
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.50
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.50
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:        11625796 kB
MemAvailable:   31734136 kB
Buffers:          245564 kB
Cached:         19868384 kB
SwapCached:            0 kB
Active:          9283100 kB
Inactive:       11056672 kB
Active(anon):     174752 kB
Inactive(anon):   103300 kB
Active(file):    9108348 kB
Inactive(file): 10953372 kB
Unevictable:        7244 kB
Mlocked:            7244 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              8132 kB
Writeback:             0 kB
AnonPages:        243524 kB
Mapped:            73684 kB
Shmem:             49824 kB
Slab:             503864 kB
SReclaimable:     475080 kB
SUnreclaim:        28784 kB
KernelStack:        3936 kB
PageTables:         5988 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    5888668 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     98304 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:       93568 kB
DirectMap2M:    33452032 kB

Free space on /tmp at the end= 42556 MiB
End job on node135 at 2018-08-12 13:16:40