Trace number 4405335

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
Fun-sCOP order+ManyGlucose (2019-09-22)? (MO) 3804.87 1114.1

General information on the benchmark

NamePrimes/
Primes-m1-p20/Primes-20-60-3-5.xml
MD5SUM0dd1a305ead2bfc8d563708a38f33655
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 benchmark27.4678
Satisfiable
(Un)Satisfiability was proved
Number of variables100
Number of constraints60
Number of domains1
Minimum domain size70
Maximum domain size70
Distribution of domain sizes[{"size":70,"count":99}]
Minimum variable degree0
Maximum variable degree8
Distribution of variable degrees[{"degree":0,"count":1},{"degree":1,"count":14},{"degree":2,"count":13},{"degree":3,"count":22},{"degree":4,"count":24},{"degree":5,"count":17},{"degree":6,"count":6},{"degree":7,"count":2},{"degree":8,"count":1}]
Minimum constraint arity3
Maximum constraint arity8
Distribution of constraint arities[{"arity":3,"count":5},{"arity":4,"count":10},{"arity":5,"count":15},{"arity":6,"count":8},{"arity":7,"count":9},{"arity":8,"count":13}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"sum","count":60}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c (scop.sh) java -Xms22g -Xmx22g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Encode -order -solver HOME/manyglucose-4.1-27_release -solverOption -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 -tmp HOME -serialFile HOME/scop-14350-serial-file.bin HOME/instance-4405335-1569340365.xml
0.65/0.54	
0.65/0.54	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
0.65/0.54	
0.65/0.57	c BEGIN-Prog: Tue Sep 24 16:50:42 CEST 2019
0.65/0.57	c PID: 14353
0.65/0.57	c IP: 172.20.3.107
0.65/0.57	c HOST: node107.alineos.net
0.65/0.57	c (0,0) Parsing Begin
1.40/0.92	c (0,0) Parsing End
1.40/0.92	c (0,0) CSP: 99 int (0 aux), 0 bool (0 aux), 60 ctr, max domain size 70
1.40/0.92	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.40/0.92	c (0,0) Constraint Name Generate Begin
1.40/0.93	c (0,0) Ctr:HOME/instance-4405335-1569340365.xml,Num:Var:WeightedSum
1.40/0.93	c (0,0) Constraint Name Generate End
1.40/0.93	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.40/0.93	c (0,0) CSP to CSPinCNF Begin
1.57/1.03	c (0,0) translated 6 (10%) constraints
1.57/1.05	c (0,0) translated 12 (20%) constraints
1.57/1.06	c (0,0) translated 18 (30%) constraints
1.57/1.06	c (0,0) translated 24 (40%) constraints
1.57/1.07	c (0,0) translated 30 (50%) constraints
1.57/1.08	c (0,0) translated 36 (60%) constraints
1.57/1.09	c (0,0) translated 42 (70%) constraints
1.57/1.09	c (0,0) translated 48 (80%) constraints
1.57/1.10	c (0,0) translated 54 (90%) constraints
1.84/1.11	c (0,0) translated 60 (100%) constraints
1.84/1.11	c (0,0) ===========================================
1.84/1.11	c (0,0) Order
1.84/1.11	c (0,0) ===========================================
1.84/1.15	c (0,0) translated 6 (10%) constraints
1.84/1.17	c (0,0) translated 12 (20%) constraints
1.84/1.19	c (0,0) translated 18 (30%) constraints
2.09/1.20	c (0,0) translated 24 (40%) constraints
2.09/1.22	c (0,0) translated 30 (50%) constraints
2.09/1.23	c (0,0) translated 36 (60%) constraints
2.09/1.25	c (0,0) translated 42 (70%) constraints
2.09/1.26	c (0,0) translated 48 (80%) constraints
2.09/1.27	c (0,0) translated 54 (90%) constraints
2.09/1.28	c (0,0) translated 60 (100%) constraints
2.09/1.28	c (0,0) CSP to CSPinCNF End
2.09/1.29	c (0,0) CSP: 264 int (165 aux), 0 bool (0 aux), 450 ctr, max domain size 10048
2.09/1.29	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 22 MiB used (max 0 MiB)
2.09/1.29	c (0,0) CSPinCNF Propagation Begin
2.36/1.31	c (0,0) 0 values, 0 unsatisfiable literals, and 0 valid clauses are removed
2.36/1.31	c (0,0) CSPinCNF Propagation End
2.36/1.31	c (0,0) CSP: 264 int (165 aux), 0 bool (0 aux), 450 ctr, max domain size 10048
2.36/1.31	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 22 MiB used (max 0 MiB)
2.36/1.31	c (0,0) Simplify CSPinCNF Begin
2.36/1.32	c (0,0) Simplify CSPinCNF End
2.36/1.32	c (0,0) CSP: 264 int (165 aux), 0 bool (0 aux), 450 ctr, max domain size 10048
2.36/1.32	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 23 MiB used (max 0 MiB)
2.36/1.32	c (0,0) Calculate Precise Domain Begin
4.40/2.63	c (2,2) 109192 values are removed by re-calculation
4.40/2.63	c (2,2) Calculate Precise Domain End
4.40/2.63	c (2,2) CSP: 264 int (165 aux), 0 bool (0 aux), 450 ctr, max domain size 8128
4.40/2.63	c (2,2) Heap : 901 MiB used (max 21589 MiB), NonHeap : 24 MiB used (max 0 MiB)
4.40/2.63	c (2,2) CSPinCNF to SatSolver Begin
833.82/224.77	c (224,135) 45 (10 %) CSP clauses are encoded (0 SAT variables, 85398310 SAT clauses)
937.91/260.20	c (259,159) 90 (20 %) CSP clauses are encoded (0 SAT variables, 101285843 SAT clauses)
1249.27/345.95	c (345,210) 135 (30 %) CSP clauses are encoded (0 SAT variables, 134493593 SAT clauses)
1436.94/394.81	c (394,238) 180 (40 %) CSP clauses are encoded (0 SAT variables, 152924262 SAT clauses)
1819.17/508.30	c (507,311) 225 (50 %) CSP clauses are encoded (0 SAT variables, 199352666 SAT clauses)
2425.57/661.22	c (660,398) 270 (60 %) CSP clauses are encoded (0 SAT variables, 255052206 SAT clauses)
3294.12/881.99	c (881,525) 315 (70 %) CSP clauses are encoded (0 SAT variables, 335427080 SAT clauses)
3391.59/913.92	c (913,547) 360 (80 %) CSP clauses are encoded (0 SAT variables, 349722566 SAT clauses)
3549.92/963.67	c (963,580) 405 (90 %) CSP clauses are encoded (0 SAT variables, 368985794 SAT clauses)
3706.69/1014.89	c (1014,614) 450 (100 %) CSP clauses are encoded (0 SAT variables, 390665178 SAT clauses)
3706.69/1014.89	c (1014,614) CSPinCNF to SatSolver End
3706.69/1014.89	c (1014,614) Heap : 12590 MiB used (max 21102 MiB), NonHeap : 25 MiB used (max 0 MiB)
3706.69/1014.90	c (1014,614) 495900 bool, 390666577 clause
3706.69/1014.90	c (1014,614) Export Begin
3706.79/1014.99	c (1014,614) Export to HOME/scop-14350-serial-file.bin
3706.79/1014.99	c (1014,614) Export End
3706.79/1015.00	c (1014,614) Export File Size: 0.02 MB
3706.79/1015.00	c (1014,614) 0,0,0,0,0,2,1014,STOP-AFTER(DIMACS)
3706.79/1015.00	c END-Prog: Tue Sep 24 17:07:37 CEST 2019
0.00/1015.12	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-14350-serial-file.bin
3707.58/1016.40	c (0,0) Read Serial File Begin
3707.58/1016.40	c (0,0) HOME/scop-14350-serial-file.bin
3707.98/1016.61	c (0,0) Read Serial File End
3707.98/1016.62	
3707.98/1016.62	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
3707.98/1016.62	(Solving Process)
3707.98/1016.62	
3707.98/1016.64	c BEGIN-Prog: Tue Sep 24 17:07:38 CEST 2019
3707.98/1016.64	c PID: 14466
3707.98/1016.64	c IP: 172.20.3.107
3707.98/1016.64	c HOST: node107.alineos.net
3707.98/1016.65	c (0,0) SatSolver.solve Begin
3707.98/1016.65	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4405335-1569340365.xml-scop-14353.cnf
3707.98/1016.67	c (0,0) c
3707.98/1016.67	c (0,0) c This is deterministic version of glucose-syrup 4.1-27 (glucose in many threads) --  based on MiniSAT (Many thanks to MiniSAT team)
3707.98/1016.67	c (0,0) c
3707.98/1016.67	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
3707.98/1016.67	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
3707.98/1016.67	c (0,0) c ========================================[ Problem Statistics ]===========================================
3707.98/1016.67	c (0,0) c |                                                                                                       |
3802.83/1112.00	c (95,0) receiving signal SIGTERM
3802.83/1112.00	s UNKNOWN
3802.83/1112.01	c (scop.sh) Receiving Signal. Removing all intermediate files.
3802.83/1112.01	c (scop.sh) Remove HOME/scop-14350-serial-file.bin.
3802.83/1112.01	c (scop.sh) Killing background jobs.
3802.83/1112.01	c (95,0) receiving signal SIGTERM

Verifier Data


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

command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4405335-1569340365/watcher-4405335-1569340365 -o /var/tmp/evaluation-result-4405335-1569340365/solver-4405335-1569340365 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node107-1569332256-13151 --watchdog 2580 HOME/scop.sh 22g HOME/scop.jar -order HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4405335-1569340365.xml 

running on 8 cores: 0,2,4,6,1,3,5,7

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

solver pid=14350, runsolver pid=14347

[startup+0.100141 s]*
/proc/loadavg: 1.41 1.21 2.12 2/211 14372
/proc/meminfo: memFree=27810352/32770624 swapFree=66954000/67108860
[pid=14350] ppid=14347 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/14350/stat : 14350 (scop.sh) S 14347 14350 13124 0 -1 4202496 554 320 0 0 0 0 0 0 20 0 1 0 510291840 115843072 348 33554432000 4194304 5098028 140724723436624 140724723433880 139683821879932 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 30687232 140724723438333 140724723438680 140724723438680 140724723441609 0
/proc/14350/statm: 28282 348 296 221 0 87 0
[pid=14353] ppid=14350 vsize=27314120 memory=106680 CPUtime=0.1 cores=0-7
/proc/14353/stat : 14353 (java) S 14350 14350 13124 0 -1 1077944320 6778 0 0 0 8 2 0 0 20 0 20 0 510291841 27969658880 26670 33554432000 4194304 4196468 140732787222592 140732787205136 140141100908279 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 13619200 140732787225287 140732787225734 140732787225734 140732787228623 0
/proc/14353/statm: 6828530 26670 2754 1 0 6790935 0
[pid=14353/tid=14354] ppid=14350 vsize=27314120 memory=576460756329955445 CPUtime=0.09 cores=0-7
/proc/14353/task/14354/stat : 14354 (java) R 14350 14350 13124 0 -1 4202560 4890 0 0 0 7 2 0 0 20 0 20 0 510291841 27969658880 26670 33554432000 4194304 4196468 140732787222592 140141072734608 140141084951909 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13619200 140732787225287 140732787225734 140732787225734 140732787228623 0
[pid=14353/tid=14355] ppid=14350 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14353/task/14355/stat : 14355 (java) S 14350 14350 13124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510291843 27969658880 26670 33554432000 4194304 4196468 140732787222592 140141105150992 140141100918485 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13619200 140732787225287 140732787225734 140732787225734 140732787228623 0
[pid=14353/tid=14356] ppid=14350 vsize=27314120 memory=3545934495125145248 CPUtime=0 cores=0-7
/proc/14353/task/14356/stat : 14356 (java) S 14350 14350 13124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510291843 27969658880 26670 33554432000 4194304 4196468 140732787222592 140140919307408 140141100918485 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13619200 140732787225287 140732787225734 140732787225734 140732787228623 0
[pid=14353/tid=14357] ppid=14350 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14353/task/14357/stat : 14357 (java) S 14350 14350 13124 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510291843 27969658880 26670 33554432000 4194304 4196468 140732787222592 140140918254352 140141100918485 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13619200 140732787225287 140732787225734 140732787225734 140732787228623 0
[pid=14353/tid=14358] ppid=14350 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14353/task/14358/stat : 14358 (java) S 14350 14350 13124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510291843 27969658880 26670 33554432000 4194304 4196468 140732787222592 140140917201808 140141100918485 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13619200 140732787225287 140732787225734 140732787225734 140732787228623 0
[pid=14353/tid=14359] ppid=14350 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14353/task/14359/stat : 14359 (java) S 14350 14350 13124 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510291843 27969658880 26670 33554432000 4194304 4196468 140732787222592 140140916148752 140141100918485 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13619200 140732787225287 140732787225734 140732787225734 140732787228623 0
[pid=14353/tid=14360] ppid=14350 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/14353/task/14360/stat : 14360 (java) S 14350 14350 13124 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510291843 27969658880 26670 33554432000 4194304 4196468 140732787222592 140140915096208 140141100918485 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13619200 140732787225287 140732787225734 140732787225734 140732787228623 0
[pid=14353/tid=14361] ppid=14350 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14353/task/14361/stat : 14361 (java) S 14350 14350 13124 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510291843 27969658880 26670 33554432000 4194304 4196468 140732787222592 140140914043152 140141100918485 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13619200 140732787225287 140732787225734 140732787225734 140732787228623 0
[pid=14353/tid=14362] ppid=14350 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14353/task/14362/stat : 14362 (java) S 14350 14350 13124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510291844 27969658880 26670 33554432000 4194304 4196468 140732787222592 140140912990608 140141100918485 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13619200 140732787225287 140732787225734 140732787225734 140732787228623 0
[pid=14353/tid=14363] ppid=14350 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14353/task/14363/stat : 14363 (java) S 14350 14350 13124 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510291845 27969658880 26670 33554432000 4194304 4196468 140732787222592 140139152599792 140141100919426 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13619200 140732787225287 140732787225734 140732787225734 140732787228623 0
[pid=14353/tid=14364] ppid=14350 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14353/task/14364/stat : 14364 (java) S 14350 14350 13124 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 510291846 27969658880 26670 33554432000 4194304 4196468 140732787222592 140139078608544 140141100918485 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13619200 140732787225287 140732787225734 140732787225734 140732787228623 0
[pid=14353/tid=14365] ppid=14350 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14353/task/14365/stat : 14365 (java) S 14350 14350 13124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510291846 27969658880 26670 33554432000 4194304 4196468 140732787222592 140138810172656 140141100918485 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13619200 140732787225287 140732787225734 140732787225734 140732787228623 0
[pid=14353/tid=14366] ppid=14350 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14353/task/14366/stat : 14366 (java) S 14350 14350 13124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510291848 27969658880 26735 33554432000 4194304 4196468 140732787222592 140138435664336 140141100926875 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13619200 140732787225287 140732787225734 140732787225734 140732787228623 0
[pid=14353/tid=14367] ppid=14350 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14353/task/14367/stat : 14367 (java) S 14350 14350 13124 0 -1 1077944384 29 0 0 0 0 0 0 0 20 0 20 0 510291848 27969658880 26735 33554432000 4194304 4196468 140732787222592 140139151546608 140141100919426 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13619200 140732787225287 140732787225734 140732787225734 140732787228623 0
[pid=14353/tid=14368] ppid=14350 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14353/task/14368/stat : 14368 (java) S 14350 14350 13124 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 20 0 510291848 27969658880 26735 33554432000 4194304 4196468 140732787222592 140139150494064 140141100919426 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13619200 140732787225287 140732787225734 140732787225734 140732787228623 0
[pid=14353/tid=14369] ppid=14350 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14353/task/14369/stat : 14369 (java) S 14350 14350 13124 0 -1 1077944384 277 0 0 0 0 0 0 0 20 0 20 0 510291848 27969658880 26735 33554432000 4194304 4196468 140732787222592 140139149441008 140141100919426 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13619200 140732787225287 140732787225734 140732787225734 140732787228623 0
[pid=14353/tid=14370] ppid=14350 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14353/task/14370/stat : 14370 (java) S 14350 14350 13124 0 -1 1077944384 261 0 0 0 0 0 0 0 20 0 20 0 510291848 27969658880 26735 33554432000 4194304 4196468 140732787222592 140139148388464 140141100919426 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13619200 140732787225287 140732787225734 140732787225734 140732787228623 0
[pid=14353/tid=14371] ppid=14350 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14353/task/14371/stat : 14371 (java) S 14350 14350 13124 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510291849 27969658880 26735 33554432000 4194304 4196468 140732787222592 140137937759200 140141100918485 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13619200 140732787225287 140732787225734 140732787225734 140732787228623 0
[pid=14353/tid=14372] ppid=14350 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/14353/task/14372/stat : 14372 (java) S 14350 14350 13124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510291849 27969658880 26735 33554432000 4194304 4196468 140732787222592 140139147336880 140141100919426 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13619200 140732787225287 140732787225734 140732787225734 140732787228623 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 108072 KiB

[startup+0.210157 s]*
/proc/loadavg: 1.41 1.21 2.12 3/211 14372
/proc/meminfo: memFree=27788780/32770624 swapFree=66954000/67108860
[pid=14350] ppid=14347 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/14350/stat : 14350 (scop.sh) S 14347 14350 13124 0 -1 4202496 554 320 0 0 0 0 0 0 20 0 1 0 510291840 115843072 348 33554432000 4194304 5098028 140724723436624 140724723433880 139683821879932 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 30687232 140724723438333 140724723438680 140724723438680 140724723441609 0
/proc/14350/statm: 28282 348 296 221 0 87 0
[pid=14353] ppid=14350 vsize=27314120 memory=126344 CPUtime=0.24 cores=0-7
/proc/14353/stat : 14353 (java) S 14350 14350 13124 0 -1 1077944320 12300 0 0 0 20 4 0 0 20 0 20 0 510291841 27969658880 31586 33554432000 4194304 4196468 140732787222592 140732787205136 140141100908279 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 13619200 140732787225287 140732787225734 140732787225734 140732787228623 0
/proc/14353/statm: 6828530 31586 2969 1 0 6790935 0
[pid=14353/tid=14354] ppid=14350 vsize=27314120 memory=8316850467074736180 CPUtime=0.19 cores=0-7
/proc/14353/task/14354/stat : 14354 (java) R 14350 14350 13124 0 -1 4202560 9984 0 0 0 16 3 0 0 20 0 20 0 510291841 27969658880 31586 33554432000 4194304 4196468 140732787222592 140141072721712 140141082461584 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13619200 140732787225287 140732787225734 140732787225734 140732787228623 0
[pid=14353/tid=14355] ppid=14350 vsize=27314120 memory=10927 CPUtime=0 cores=0-7
/proc/14353/task/14355/stat : 14355 (java) S 14350 14350 13124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510291843 27969658880 31586 33554432000 4194304 4196468 140732787222592 140141105150992 140141100918485 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13619200 140732787225287 140732787225734 140732787225734 140732787228623 0
[pid=14353/tid=14356] ppid=14350 vsize=27314120 memory=140117569158263 CPUtime=0 cores=0-7
/proc/14353/task/14356/stat : 14356 (java) S 14350 14350 13124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510291843 27969658880 31586 33554432000 4194304 4196468 140732787222592 140140919307408 140141100918485 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13619200 140732787225287 140732787225734 140732787225734 140732787228623 0
[pid=14353/tid=14357] ppid=14350 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/14353/task/14357/stat : 14357 (java) S 14350 14350 13124 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510291843 27969658880 31586 33554432000 4194304 4196468 140732787222592 140140918254352 140141100918485 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13619200 140732787225287 140732787225734 140732787225734 140732787228623 0
[pid=14353/tid=14358] ppid=14350 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14353/task/14358/stat : 14358 (java) S 14350 14350 13124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510291843 27969658880 31586 33554432000 4194304 4196468 140732787222592 140140917201808 140141100918485 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13619200 140732787225287 140732787225734 140732787225734 140732787228623 0
[pid=14353/tid=14359] ppid=14350 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14353/task/14359/stat : 14359 (java) S 14350 14350 13124 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510291843 27969658880 31586 33554432000 4194304 4196468 140732787222592 140140916148752 140141100918485 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13619200 140732787225287 140732787225734 140732787225734 140732787228623 0
[pid=14353/tid=14360] ppid=14350 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/14353/task/14360/stat : 14360 (java) S 14350 14350 13124 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510291843 27969658880 31586 33554432000 4194304 4196468 140732787222592 140140915096208 140141100918485 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13619200 140732787225287 140732787225734 140732787225734 140732787228623 0
[pid=14353/tid=14361] ppid=14350 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14353/task/14361/stat : 14361 (java) S 14350 14350 13124 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510291843 27969658880 31586 33554432000 4194304 4196468 140732787222592 140140914043152 140141100918485 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13619200 140732787225287 140732787225734 140732787225734 140732787228623 0
[pid=14353/tid=14362] ppid=14350 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14353/task/14362/stat : 14362 (java) S 14350 14350 13124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510291844 27969658880 31586 33554432000 4194304 4196468 140732787222592 140140912990608 140141100918485 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13619200 140732787225287 140732787225734 140732787225734 140732787228623 0
[pid=14353/tid=14363] ppid=14350 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14353/task/14363/stat : 14363 (java) S 14350 14350 13124 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510291845 27969658880 31586 33554432000 4194304 4196468 140732787222592 140139152599792 140141100919426 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13619200 140732787225287 140732787225734 140732787225734 140732787228623 0
[pid=14353/tid=14364] ppid=14350 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14353/task/14364/stat : 14364 (java) S 14350 14350 13124 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 510291846 27969658880 31586 33554432000 4194304 4196468 140732787222592 140139078608544 140141100918485 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13619200 140732787225287 140732787225734 140732787225734 140732787228623 0
[pid=14353/tid=14365] ppid=14350 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14353/task/14365/stat : 14365 (java) S 14350 14350 13124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510291846 27969658880 31586 33554432000 4194304 4196468 140732787222592 140138810172656 140141100918485 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13619200 140732787225287 140732787225734 140732787225734 140732787228623 0
[pid=14353/tid=14366] ppid=14350 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14353/task/14366/stat : 14366 (java) S 14350 14350 13124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510291848 27969658880 31586 33554432000 4194304 4196468 140732787222592 140138435664336 140141100926875 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13619200 140732787225287 140732787225734 140732787225734 140732787228623 0
[pid=14353/tid=14367] ppid=14350 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14353/task/14367/stat : 14367 (java) S 14350 14350 13124 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 20 0 510291848 27969658880 31586 33554432000 4194304 4196468 140732787222592 140139151546608 140141100919426 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13619200 140732787225287 140732787225734 140732787225734 140732787228623 0
[pid=14353/tid=14368] ppid=14350 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14353/task/14368/stat : 14368 (java) S 14350 14350 13124 0 -1 1077944384 138 0 0 0 0 0 0 0 20 0 20 0 510291848 27969658880 31586 33554432000 4194304 4196468 140732787222592 140139150494064 140141100919426 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13619200 140732787225287 140732787225734 140732787225734 140732787228623 0
[pid=14353/tid=14369] ppid=14350 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/14353/task/14369/stat : 14369 (java) S 14350 14350 13124 0 -1 1077944384 290 0 0 0 0 0 0 0 20 0 20 0 510291848 27969658880 31586 33554432000 4194304 4196468 140732787222592 140139149441008 140141100919426 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13619200 140732787225287 140732787225734 140732787225734 140732787228623 0
[pid=14353/tid=14370] ppid=14350 vsize=27314120 memory=-1 CPUtime=0.02 cores=0-7
/proc/14353/task/14370/stat : 14370 (java) S 14350 14350 13124 0 -1 1077944384 484 0 0 0 2 0 0 0 20 0 20 0 510291848 27969658880 31586 33554432000 4194304 4196468 140732787222592 140139148388464 140141100919426 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13619200 140732787225287 140732787225734 140732787225734 140732787228623 0
[pid=14353/tid=14371] ppid=14350 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14353/task/14371/stat : 14371 (java) S 14350 14350 13124 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510291849 27969658880 31586 33554432000 4194304 4196468 140732787222592 140137937759200 140141100918485 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13619200 140732787225287 140732787225734 140732787225734 140732787228623 0
[pid=14353/tid=14372] ppid=14350 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/14353/task/14372/stat : 14372 (java) S 14350 14350 13124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510291849 27969658880 31586 33554432000 4194304 4196468 140732787222592 140139147336880 140141100919426 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13619200 140732787225287 140732787225734 140732787225734 140732787228623 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 127736 KiB

[startup+0.309692 s]*
/proc/loadavg: 1.41 1.21 2.12 2/211 14372
/proc/meminfo: memFree=27786632/32770624 swapFree=66954000/67108860
[pid=14350] ppid=14347 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/14350/stat : 14350 (scop.sh) S 14347 14350 13124 0 -1 4202496 554 320 0 0 0 0 0 0 20 0 1 0 510291840 115843072 348 33554432000 4194304 5098028 140724723436624 140724723433880 139683821879932 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 30687232 140724723438333 140724723438680 140724723438680 140724723441609 0
/proc/14350/statm: 28282 348 296 221 0 87 0
[pid=14353] ppid=14350 vsize=27314120 memory=129536 CPUtime=0.42 cores=0-7
/proc/14353/stat : 14353 (java) S 14350 14350 13124 0 -1 1077944320 13292 0 0 0 37 5 0 0 20 0 20 0 510291841 27969658880 32384 33554432000 4194304 4196468 140732787222592 140732787205136 140141100908279 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 13619200 140732787225287 140732787225734 140732787225734 140732787228623 0
/proc/14353/statm: 6828530 32384 3018 1 0 6790935 0
[pid=14353/tid=14354] ppid=14350 vsize=27314120 memory=8317482817917895235 CPUtime=0.3 cores=0-7
/proc/14353/task/14354/stat : 14354 (java) R 14350 14350 13124 0 -1 4202560 10793 0 0 0 26 4 0 0 20 0 20 0 510291841 27969658880 32384 33554432000 4194304 4196468 140732787222592 140141072722144 140141081183613 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13619200 140732787225287 140732787225734 140732787225734 140732787228623 0
[pid=14353/tid=14355] ppid=14350 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14353/task/14355/stat : 14355 (java) S 14350 14350 13124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510291843 27969658880 32384 33554432000 4194304 4196468 140732787222592 140141105150992 140141100918485 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13619200 140732787225287 140732787225734 140732787225734 140732787228623 0
[pid=14353/tid=14356] ppid=14350 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14353/task/14356/stat : 14356 (java) S 14350 14350 13124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510291843 27969658880 32384 33554432000 4194304 4196468 140732787222592 140140919307408 140141100918485 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13619200 140732787225287 140732787225734 140732787225734 140732787228623 0
[pid=14353/tid=14357] ppid=14350 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14353/task/14357/stat : 14357 (java) S 14350 14350 13124 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510291843 27969658880 32384 33554432000 4194304 4196468 140732787222592 140140918254352 140141100918485 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13619200 140732787225287 140732787225734 140732787225734 140732787228623 0
[pid=14353/tid=14358] ppid=14350 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14353/task/14358/stat : 14358 (java) S 14350 14350 13124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510291843 27969658880 32384 33554432000 4194304 4196468 140732787222592 140140917201808 140141100918485 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13619200 140732787225287 140732787225734 140732787225734 140732787228623 0
[pid=14353/tid=14359] ppid=14350 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14353/task/14359/stat : 14359 (java) S 14350 14350 13124 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510291843 27969658880 32384 33554432000 4194304 4196468 140732787222592 140140916148752 140141100918485 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13619200 140732787225287 140732787225734 140732787225734 140732787228623 0
[pid=14353/tid=14360] ppid=14350 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14353/task/14360/stat : 14360 (java) S 14350 14350 13124 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510291843 27969658880 32384 33554432000 4194304 4196468 140732787222592 140140915096208 140141100918485 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13619200 140732787225287 140732787225734 140732787225734 140732787228623 0
[pid=14353/tid=14361] ppid=14350 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14353/task/14361/stat : 14361 (java) S 14350 14350 13124 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510291843 27969658880 32384 33554432000 4194304 4196468 140732787222592 140140914043152 140141100918485 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13619200 140732787225287 140732787225734 140732787225734 140732787228623 0
[pid=14353/tid=14362] ppid=14350 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14353/task/14362/stat : 14362 (java) S 14350 14350 13124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510291844 27969658880 32384 33554432000 4194304 4196468 140732787222592 140140912990608 140141100918485 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13619200 140732787225287 140732787225734 140732787225734 140732787228623 0
[pid=14353/tid=14363] ppid=14350 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14353/task/14363/stat : 14363 (java) S 14350 14350 13124 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510291845 27969658880 32384 33554432000 4194304 4196468 140732787222592 140139152599792 140141100919426 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13619200 140732787225287 140732787225734 140732787225734 140732787228623 0
[pid=14353/tid=14364] ppid=14350 vsize=27314120 memory=280234805108096 CPUtime=0 cores=0-7
/proc/14353/task/14364/stat : 14364 (java) S 14350 14350 13124 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 510291846 27969658880 32384 33554432000 4194304 4196468 140732787222592 140139078608544 140141100918485 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13619200 140732787225287 140732787225734 140732787225734 140732787228623 0
[pid=14353/tid=14365] ppid=14350 vsize=27314120 memory=280234805112704 CPUtime=0 cores=0-7
/proc/14353/task/14365/stat : 14365 (java) S 14350 14350 13124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510291846 27969658880 32384 33554432000 4194304 4196468 140732787222592 140138810172656 140141100918485 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13619200 140732787225287 140732787225734 140732787225734 140732787228623 0
[pid=14353/tid=14366] ppid=14350 vsize=27314120 memory=280234805117312 CPUtime=0 cores=0-7
/proc/14353/task/14366/stat : 14366 (java) S 14350 14350 13124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510291848 27969658880 32384 33554432000 4194304 4196468 140732787222592 140138435664336 140141100926875 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13619200 140732787225287 140732787225734 140732787225734 140732787228623 0
[pid=14353/tid=14367] ppid=14350 vsize=27314120 memory=280234805121920 CPUtime=0 cores=0-7
/proc/14353/task/14367/stat : 14367 (java) S 14350 14350 13124 0 -1 1077944384 147 0 0 0 0 0 0 0 20 0 20 0 510291848 27969658880 32384 33554432000 4194304 4196468 140732787222592 140139151546608 140141100919426 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13619200 140732787225287 140732787225734 140732787225734 140732787228623 0
[pid=14353/tid=14368] ppid=14350 vsize=27314120 memory=280234805126528 CPUtime=0.01 cores=0-7
/proc/14353/task/14368/stat : 14368 (java) S 14350 14350 13124 0 -1 1077944384 188 0 0 0 1 0 0 0 20 0 20 0 510291848 27969658880 32384 33554432000 4194304 4196468 140732787222592 140139150494064 140141100919426 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13619200 140732787225287 140732787225734 140732787225734 140732787228623 0
[pid=14353/tid=14369] ppid=14350 vsize=27314120 memory=280234805131136 CPUtime=0.01 cores=0-7
/proc/14353/task/14369/stat : 14369 (java) S 14350 14350 13124 0 -1 1077944384 319 0 0 0 1 0 0 0 20 0 20 0 510291848 27969658880 32384 33554432000 4194304 4196468 140732787222592 140139149441008 140141100919426 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13619200 140732787225287 140732787225734 140732787225734 140732787228623 0
[pid=14353/tid=14370] ppid=14350 vsize=27314120 memory=280234805135744 CPUtime=0.07 cores=0-7
/proc/14353/task/14370/stat : 14370 (java) S 14350 14350 13124 0 -1 1077944384 508 0 0 0 7 0 0 0 20 0 20 0 510291848 27969658880 32384 33554432000 4194304 4196468 140732787222592 140139148388464 140141100919426 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13619200 140732787225287 140732787225734 140732787225734 140732787228623 0
[pid=14353/tid=14371] ppid=14350 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14353/task/14371/stat : 14371 (java) S 14350 14350 13124 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510291849 27969658880 32384 33554432000 4194304 4196468 140732787222592 140137937759200 140141100918485 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13619200 140732787225287 140732787225734 140732787225734 140732787228623 0
[pid=14353/tid=14372] ppid=14350 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/14353/task/14372/stat : 14372 (java) S 14350 14350 13124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510291849 27969658880 32384 33554432000 4194304 4196468 140732787222592 140139147336880 140141100919426 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13619200 140732787225287 140732787225734 140732787225734 140732787228623 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 130928 KiB

[startup+0.700848 s]
/proc/loadavg: 1.41 1.21 2.12 2/211 14372
/proc/meminfo: memFree=27765052/32770624 swapFree=66954000/67108860
[pid=14350] ppid=14347 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/14350/stat : 14350 (scop.sh) S 14347 14350 13124 0 -1 4202496 554 320 0 0 0 0 0 0 20 0 1 0 510291840 115843072 348 33554432000 4194304 5098028 140724723436624 140724723433880 139683821879932 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 30687232 140724723438333 140724723438680 140724723438680 140724723441609 0
/proc/14350/statm: 28282 348 296 221 0 87 0
[pid=14353] ppid=14350 vsize=27322440 memory=165592 CPUtime=0.99 cores=0-7
/proc/14353/stat : 14353 (java) S 14350 14350 13124 0 -1 1077944320 20499 0 0 0 92 7 0 0 20 0 20 0 510291841 27978178560 41398 33554432000 4194304 4196468 140732787222592 140732787205136 140141100908279 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 13619200 140732787225287 140732787225734 140732787225734 140732787228623 0
/proc/14353/statm: 6830610 41398 3184 1 0 6791959 0
[pid=14353/tid=14354] ppid=14350 vsize=27322440 memory=0 CPUtime=0.68 cores=0-7
/proc/14353/task/14354/stat : 14354 (java) S 14350 14350 13124 0 -1 1077944384 17447 0 0 0 62 6 0 0 20 0 20 0 510291841 27978178560 41398 33554432000 4194304 4196468 140732787222592 140141072744256 140141100918485 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13619200 140732787225287 140732787225734 140732787225734 140732787228623 0
[pid=14353/tid=14355] ppid=14350 vsize=27322440 memory=140117402755968 CPUtime=0 cores=0-7
/proc/14353/task/14355/stat : 14355 (java) S 14350 14350 13124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510291843 27978178560 41398 33554432000 4194304 4196468 140732787222592 140141105150992 140141100918485 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13619200 140732787225287 140732787225734 140732787225734 140732787228623 0
[pid=14353/tid=14356] ppid=14350 vsize=27322440 memory=0 CPUtime=0 cores=0-7
/proc/14353/task/14356/stat : 14356 (java) S 14350 14350 13124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510291843 27978178560 41398 33554432000 4194304 4196468 140732787222592 140140919307408 140141100918485 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13619200 140732787225287 140732787225734 140732787225734 140732787228623 0
[pid=14353/tid=14357] ppid=14350 vsize=27322440 memory=9364 CPUtime=0 cores=0-7
/proc/14353/task/14357/stat : 14357 (java) S 14350 14350 13124 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510291843 27978178560 41398 33554432000 4194304 4196468 140732787222592 140140918254352 140141100918485 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13619200 140732787225287 140732787225734 140732787225734 140732787228623 0

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

Current children cumulated CPU time: 3802.83 s
Current children cumulated vsize: 31749896 KiB
Current children cumulated memory: 20325276 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+1112.02 s]
# the end of solver process 14350 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=3646.33 s, system=60.7675 s

Sending SIGKILL to process tree (bottom up)
??? end of watcher thread

[startup+1114.1 s]
# the end of solver process 14466 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=3730.94 s, system=73.9302 s
# this solver process was not waited by its parent and was adopted by runsolver

Solver just ended.
Dumping a history of the last processes samples

[startup+1112.3 s]*
/proc/loadavg: 1.25 2.59 2.85 2/216 14501
/proc/meminfo: memFree=4222296/32770624 swapFree=66954088/67108860
[pid=14466] ppid=14347 vsize=8807348 memory=123892 CPUtime=1.2 cores=0-7
/proc/14466/stat : 14466 (java) S 14347 14350 13124 0 -1 1077944320 19461 0 2 0 110 10 0 0 20 0 26 0 510393353 9018724352 30973 33554432000 4194304 4196468 140723159072624 140723159055168 140154981666551 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 48 0 0 6293624 6294260 32964608 140723159077855 140723159078022 140723159078022 140723159080911 0
/proc/14466/statm: 2201837 30973 3205 1 0 2163181 0
[pid=14466/tid=14467] ppid=14347 vsize=8807348 memory=20904 CPUtime=0.76 cores=0-7
/proc/14466/task/14467/stat : 14467 (java) S 14347 14350 13124 0 -1 1077944384 16396 0 1 0 70 6 0 0 20 0 26 0 510393402 9018724352 30973 33554432000 4194304 4196468 140723159072624 140154953506720 140154981676757 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 30 0 0 6293624 6294260 32964608 140723159077855 140723159078022 140723159078022 140723159080911 0
[pid=14466/tid=14468] ppid=14347 vsize=8807348 memory=2120 CPUtime=0 cores=0-7
/proc/14466/task/14468/stat : 14468 (java) S 14347 14350 13124 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 26 0 510393433 9018724352 30973 33554432000 4194304 4196468 140723159072624 140154985909136 140154981676757 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32964608 140723159077855 140723159078022 140723159078022 140723159080911 0
[pid=14466/tid=14469] ppid=14347 vsize=8807348 memory=8317482817917895235 CPUtime=0 cores=0-7
/proc/14466/task/14469/stat : 14469 (java) S 14347 14350 13124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 26 0 510393433 9018724352 30973 33554432000 4194304 4196468 140723159072624 140154786077456 140154981676757 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32964608 140723159077855 140723159078022 140723159078022 140723159080911 0
[pid=14466/tid=14470] ppid=14347 vsize=8807348 memory=119796 CPUtime=0 cores=0-7
/proc/14466/task/14470/stat : 14470 (java) S 14347 14350 13124 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 26 0 510393433 9018724352 30973 33554432000 4194304 4196468 140723159072624 140154785025168 140154981676757 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32964608 140723159077855 140723159078022 140723159078022 140723159080911 0
[pid=14466/tid=14471] ppid=14347 vsize=8807348 memory=20079504 CPUtime=0 cores=0-7
/proc/14466/task/14471/stat : 14471 (java) S 14347 14350 13124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 26 0 510393433 9018724352 30973 33554432000 4194304 4196468 140723159072624 140154783972368 140154981676757 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32964608 140723159077855 140723159078022 140723159078022 140723159080911 0
[pid=14466/tid=14472] ppid=14347 vsize=8807348 memory=804 CPUtime=0 cores=0-7
/proc/14466/task/14472/stat : 14472 (java) S 14347 14350 13124 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 26 0 510393433 9018724352 30973 33554432000 4194304 4196468 140723159072624 140154463316368 140154981676757 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32964608 140723159077855 140723159078022 140723159078022 140723159080911 0
[pid=14466/tid=14473] ppid=14347 vsize=8807348 memory=4100 CPUtime=0 cores=0-7
/proc/14466/task/14473/stat : 14473 (java) S 14347 14350 13124 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 26 0 510393433 9018724352 30973 33554432000 4194304 4196468 140723159072624 140154462263568 140154981676757 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32964608 140723159077855 140723159078022 140723159078022 140723159080911 0
[pid=14466/tid=14474] ppid=14347 vsize=8807348 memory=1804 CPUtime=0 cores=0-7
/proc/14466/task/14474/stat : 14474 (java) S 14347 14350 13124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 26 0 510393433 9018724352 30973 33554432000 4194304 4196468 140723159072624 140154461211280 140154981676757 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32964608 140723159077855 140723159078022 140723159078022 140723159080911 0
[pid=14466/tid=14475] ppid=14347 vsize=8807348 memory=920 CPUtime=0 cores=0-7
/proc/14466/task/14475/stat : 14475 (java) S 14347 14350 13124 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 26 0 510393433 9018724352 30973 33554432000 4194304 4196468 140723159072624 140154460158480 140154981676757 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32964608 140723159077855 140723159078022 140723159078022 140723159080911 0
[pid=14466/tid=14476] ppid=14347 vsize=8807348 memory=4916 CPUtime=0 cores=0-7
/proc/14466/task/14476/stat : 14476 (java) S 14347 14350 13124 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 26 0 510393434 9018724352 30973 33554432000 4194304 4196468 140723159072624 140154075208304 140154981677698 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32964608 140723159077855 140723159078022 140723159078022 140723159080911 0
[pid=14466/tid=14477] ppid=14347 vsize=8807348 memory=1412 CPUtime=0 cores=0-7
/proc/14466/task/14477/stat : 14477 (java) S 14347 14350 13124 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 26 0 510393435 9018724352 30973 33554432000 4194304 4196468 140723159072624 140153574122784 140154981676757 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32964608 140723159077855 140723159078022 140723159078022 140723159080911 0
[pid=14466/tid=14478] ppid=14347 vsize=8807348 memory=3440 CPUtime=0 cores=0-7
/proc/14466/task/14478/stat : 14478 (java) S 14347 14350 13124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 26 0 510393435 9018724352 30973 33554432000 4194304 4196468 140723159072624 140153305687664 140154981676757 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32964608 140723159077855 140723159078022 140723159078022 140723159080911 0
[pid=14466/tid=14479] ppid=14347 vsize=8807348 memory=1472 CPUtime=0 cores=0-7
/proc/14466/task/14479/stat : 14479 (java) S 14347 14350 13124 0 -1 1077944384 30 0 0 0 0 0 0 0 20 0 26 0 510393438 9018724352 30973 33554432000 4194304 4196468 140723159072624 140152931179088 140154981685147 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32964608 140723159077855 140723159078022 140723159078022 140723159080911 0
[pid=14466/tid=14480] ppid=14347 vsize=8807348 memory=119796 CPUtime=0.05 cores=0-7
/proc/14466/task/14480/stat : 14480 (java) S 14347 14350 13124 0 -1 1077944384 605 0 0 0 5 0 0 0 20 0 26 0 510393439 9018724352 30973 33554432000 4194304 4196468 140723159072624 140154074155120 140154981677698 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32964608 140723159077855 140723159078022 140723159078022 140723159080911 0
[pid=14466/tid=14481] ppid=14347 vsize=8807348 memory=19062316 CPUtime=0.03 cores=0-7
/proc/14466/task/14481/stat : 14481 (java) S 14347 14350 13124 0 -1 1077944384 121 0 0 0 3 0 0 0 20 0 26 0 510393439 9018724352 30973 33554432000 4194304 4196468 140723159072624 140154073102320 140154981677698 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32964608 140723159077855 140723159078022 140723159078022 140723159080911 0
[pid=14466/tid=14482] ppid=14347 vsize=8807348 memory=18932828 CPUtime=0.07 cores=0-7
/proc/14466/task/14482/stat : 14482 (java) S 14347 14350 13124 0 -1 1077944384 354 0 0 0 7 0 0 0 20 0 26 0 510393439 9018724352 30973 33554432000 4194304 4196468 140723159072624 140154072050032 140154981677698 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32964608 140723159077855 140723159078022 140723159078022 140723159080911 0
[pid=14466/tid=14483] ppid=14347 vsize=8807348 memory=8220 CPUtime=0.2 cores=0-7
/proc/14466/task/14483/stat : 14483 (java) S 14347 14350 13124 0 -1 1077944384 527 0 0 0 20 0 0 0 20 0 26 0 510393439 9018724352 30973 33554432000 4194304 4196468 140723159072624 140154070997232 140154981677698 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32964608 140723159077855 140723159078022 140723159078022 140723159080911 0
[pid=14466/tid=14484] ppid=14347 vsize=8807348 memory=3616 CPUtime=0 cores=0-7
/proc/14466/task/14484/stat : 14484 (java) S 14347 14350 13124 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 26 0 510393440 9018724352 30973 33554432000 4194304 4196468 140723159072624 140152433273696 140154981676757 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32964608 140723159077855 140723159078022 140723159078022 140723159080911 0
[pid=14466/tid=14485] ppid=14347 vsize=8807348 memory=9364 CPUtime=0.02 cores=0-7
/proc/14466/task/14485/stat : 14485 (java) S 14347 14350 13124 0 -1 1077944384 9 0 0 0 1 1 0 0 20 0 26 0 510393440 9018724352 30973 33554432000 4194304 4196468 140723159072624 140154069945136 140154981677698 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 32964608 140723159077855 140723159078022 140723159078022 140723159080911 0
[pid=14466/tid=14487] ppid=14347 vsize=8807348 memory=1120 CPUtime=0 cores=0-7
/proc/14466/task/14487/stat : 14487 (java) S 14347 14350 13124 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 26 0 510393508 9018724352 30973 33554432000 4194304 4196468 140723159072624 140154061911872 140154981691161 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 32964608 140723159077855 140723159078022 140723159078022 140723159080911 0
[pid=14466/tid=14489] ppid=14347 vsize=8807348 memory=776 CPUtime=0 cores=0-7
/proc/14466/task/14489/stat : 14489 (java) S 14347 14350 13124 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 26 0 510393508 9018724352 30973 33554432000 4194304 4196468 140723159072624 140151762173328 140154981688477 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 32964608 140723159077855 140723159078022 140723159078022 140723159080911 0
[pid=14466/tid=14490] ppid=14347 vsize=8807348 memory=1724 CPUtime=0 cores=0-7
/proc/14466/task/14490/stat : 14490 (java) S 14347 14350 13124 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 26 0 510393508 9018724352 30973 33554432000 4194304 4196468 140723159072624 140152030608656 140154981688477 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 32964608 140723159077855 140723159078022 140723159078022 140723159080911 0
[pid=14466/tid=14491] ppid=14347 vsize=8807348 memory=8220 CPUtime=0 cores=0-7
/proc/14466/task/14491/stat : 14491 (java) S 14347 14350 13124 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 26 0 510393510 9018724352 30973 33554432000 4194304 4196468 140723159072624 140151493745968 140154981676757 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32964608 140723159077855 140723159078022 140723159078022 140723159080911 0
[pid=14466/tid=14498] ppid=14347 vsize=8807348 memory=3616 CPUtime=0 cores=0-7
/proc/14466/task/14498/stat : 14498 (java) S 14347 14350 13124 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 26 0 510403041 9018724352 30973 33554432000 4194304 4196468 140723159072624 140151225312032 140154981676757 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32964608 140723159077855 140723159078022 140723159078022 140723159080911 0
[pid=14466/tid=14501] ppid=14347 vsize=8807348 memory=1556 CPUtime=0 cores=0-7
/proc/14466/task/14501/stat : 14501 (java) S 14347 14350 13124 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 26 0 510403042 9018724352 30973 33554432000 4194304 4196468 140723159072624 140150956876960 140154981676757 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32964608 140723159077855 140723159078022 140723159078022 140723159080911 0
Current cumulated CPU time of completed processes: 3707.1 s
Current children cumulated CPU time: 1.2 s
Current children cumulated vsize: 8807348 KiB
Current children cumulated memory: 123892 KiB

[startup+1113.1 s]
/proc/loadavg: 1.25 2.59 2.85 2/216 14501
/proc/meminfo: memFree=4222296/32770624 swapFree=66954088/67108860
[pid=14466] ppid=14347 vsize=8544168 memory=123936 CPUtime=96.87 cores=0-7
/proc/14466/stat : 14466 (java) S 14347 14350 13124 0 -1 1077944320 19509 2955862 2 0 110 15 8350 1212 20 0 22 0 510393353 8749228032 30984 33554432000 4194304 4196468 140723159072624 140723159055168 140154981666551 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 48 0 0 6293624 6294260 32964608 140723159077855 140723159078022 140723159078022 140723159080911 0
/proc/14466/statm: 2136042 30984 3206 1 0 2097386 0
[pid=14466/tid=14467] ppid=14347 vsize=8544168 memory=1472 CPUtime=96.38 cores=0-7
/proc/14466/task/14467/stat : 14467 (java) S 14347 14350 13124 0 -1 1077944384 16396 2955862 1 0 70 6 8350 1212 20 0 22 0 510393402 8749228032 30984 33554432000 4194304 4196468 140723159072624 140154953507360 140154981676757 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 30 0 0 6293624 6294260 32964608 140723159077855 140723159078022 140723159078022 140723159080911 0
[pid=14466/tid=14468] ppid=14347 vsize=8544168 memory=6791534058613427641 CPUtime=95.62 cores=0-7
/proc/14466/task/14468/stat : 14468 (java) S 14347 14350 13124 0 -1 1077944384 2 2955862 0 0 0 0 8350 1212 20 0 22 0 510393433 8749228032 30984 33554432000 4194304 4196468 140723159072624 140154985909136 140154981676757 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32964608 140723159077855 140723159078022 140723159078022 140723159080911 0
[pid=14466/tid=14469] ppid=14347 vsize=8544168 memory=119796 CPUtime=95.62 cores=0-7
/proc/14466/task/14469/stat : 14469 (java) S 14347 14350 13124 0 -1 1077944384 1 2955862 0 0 0 0 8350 1212 20 0 22 0 510393433 8749228032 30984 33554432000 4194304 4196468 140723159072624 140154786077456 140154981676757 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32964608 140723159077855 140723159078022 140723159078022 140723159080911 0
[pid=14466/tid=14470] ppid=14347 vsize=8544168 memory=20187856 CPUtime=95.62 cores=0-7
/proc/14466/task/14470/stat : 14470 (java) S 14347 14350 13124 0 -1 1077944384 3 2955862 0 0 0 0 8350 1212 20 0 22 0 510393433 8749228032 30984 33554432000 4194304 4196468 140723159072624 140154785025168 140154981676757 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32964608 140723159077855 140723159078022 140723159078022 140723159080911 0
[pid=14466/tid=14471] ppid=14347 vsize=8544168 memory=1044 CPUtime=95.62 cores=0-7
/proc/14466/task/14471/stat : 14471 (java) S 14347 14350 13124 0 -1 1077944384 1 2955862 0 0 0 0 8350 1212 20 0 22 0 510393433 8749228032 30984 33554432000 4194304 4196468 140723159072624 140154783972368 140154981676757 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32964608 140723159077855 140723159078022 140723159078022 140723159080911 0
[pid=14466/tid=14472] ppid=14347 vsize=8544168 memory=708 CPUtime=95.62 cores=0-7
/proc/14466/task/14472/stat : 14472 (java) S 14347 14350 13124 0 -1 1077944384 2 2955862 0 0 0 0 8350 1212 20 0 22 0 510393433 8749228032 30984 33554432000 4194304 4196468 140723159072624 140154463316368 140154981676757 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32964608 140723159077855 140723159078022 140723159078022 140723159080911 0
[pid=14466/tid=14473] ppid=14347 vsize=8544168 memory=9364 CPUtime=95.62 cores=0-7
/proc/14466/task/14473/stat : 14473 (java) S 14347 14350 13124 0 -1 1077944384 2 2955862 0 0 0 0 8350 1212 20 0 22 0 510393433 8749228032 30984 33554432000 4194304 4196468 140723159072624 140154462263568 140154981676757 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32964608 140723159077855 140723159078022 140723159078022 140723159080911 0
[pid=14466/tid=14474] ppid=14347 vsize=8544168 memory=1120 CPUtime=95.62 cores=0-7
/proc/14466/task/14474/stat : 14474 (java) S 14347 14350 13124 0 -1 1077944384 1 2955862 0 0 0 0 8350 1212 20 0 22 0 510393433 8749228032 30984 33554432000 4194304 4196468 140723159072624 140154461211280 140154981676757 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32964608 140723159077855 140723159078022 140723159078022 140723159080911 0
[pid=14466/tid=14475] ppid=14347 vsize=8544168 memory=776 CPUtime=95.62 cores=0-7
/proc/14466/task/14475/stat : 14475 (java) S 14347 14350 13124 0 -1 1077944384 2 2955862 0 0 0 0 8350 1212 20 0 22 0 510393433 8749228032 30984 33554432000 4194304 4196468 140723159072624 140154460158480 140154981676757 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32964608 140723159077855 140723159078022 140723159078022 140723159080911 0
[pid=14466/tid=14476] ppid=14347 vsize=8544168 memory=1724 CPUtime=95.62 cores=0-7
/proc/14466/task/14476/stat : 14476 (java) S 14347 14350 13124 0 -1 1077944384 5 2955862 0 0 0 0 8350 1212 20 0 22 0 510393434 8749228032 30984 33554432000 4194304 4196468 140723159072624 140154075207808 140154981677698 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32964608 140723159077855 140723159078022 140723159078022 140723159080911 0
[pid=14466/tid=14477] ppid=14347 vsize=8544168 memory=-7824251494390650727 CPUtime=95.62 cores=0-7
/proc/14466/task/14477/stat : 14477 (java) S 14347 14350 13124 0 -1 1077944384 13 2955862 0 0 0 0 8350 1212 20 0 22 0 510393435 8749228032 30984 33554432000 4194304 4196468 140723159072624 140153574122784 140154981676757 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32964608 140723159077855 140723159078022 140723159078022 140723159080911 0
[pid=14466/tid=14478] ppid=14347 vsize=8544168 memory=3580 CPUtime=95.62 cores=0-7
/proc/14466/task/14478/stat : 14478 (java) S 14347 14350 13124 0 -1 1077944384 1 2955862 0 0 0 0 8350 1212 20 0 22 0 510393435 8749228032 30984 33554432000 4194304 4196468 140723159072624 140153305687664 140154981676757 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32964608 140723159077855 140723159078022 140723159078022 140723159080911 0
[pid=14466/tid=14480] ppid=14347 vsize=8544168 memory=988 CPUtime=95.67 cores=0-7
/proc/14466/task/14480/stat : 14480 (java) S 14347 14350 13124 0 -1 1077944384 623 2955862 0 0 5 0 8350 1212 20 0 22 0 510393439 8749228032 30984 33554432000 4194304 4196468 140723159072624 140154074143200 140154981676757 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32964608 140723159077855 140723159078022 140723159078022 140723159080911 0
[pid=14466/tid=14481] ppid=14347 vsize=8544168 memory=2016 CPUtime=95.65 cores=0-7
/proc/14466/task/14481/stat : 14481 (java) S 14347 14350 13124 0 -1 1077944384 121 2955862 0 0 3 0 8350 1212 20 0 22 0 510393439 8749228032 30984 33554432000 4194304 4196468 140723159072624 140154073102320 140154981677698 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32964608 140723159077855 140723159078022 140723159078022 140723159080911 0
[pid=14466/tid=14482] ppid=14347 vsize=8544168 memory=1284 CPUtime=95.69 cores=0-7
/proc/14466/task/14482/stat : 14482 (java) S 14347 14350 13124 0 -1 1077944384 354 2955862 0 0 7 0 8350 1212 20 0 22 0 510393439 8749228032 30984 33554432000 4194304 4196468 140723159072624 140154072050032 140154981677698 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32964608 140723159077855 140723159078022 140723159078022 140723159080911 0
[pid=14466/tid=14483] ppid=14347 vsize=8544168 memory=1044 CPUtime=95.82 cores=0-7
/proc/14466/task/14483/stat : 14483 (java) S 14347 14350 13124 0 -1 1077944384 528 2955862 0 0 20 0 8350 1212 20 0 22 0 510393439 8749228032 30984 33554432000 4194304 4196468 140723159072624 140154070997232 140154981677698 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32964608 140723159077855 140723159078022 140723159078022 140723159080911 0
[pid=14466/tid=14484] ppid=14347 vsize=8544168 memory=708 CPUtime=95.62 cores=0-7
/proc/14466/task/14484/stat : 14484 (java) S 14347 14350 13124 0 -1 1077944384 3 2955862 0 0 0 0 8350 1212 20 0 22 0 510393440 8749228032 30984 33554432000 4194304 4196468 140723159072624 140152433273696 140154981676757 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32964608 140723159077855 140723159078022 140723159078022 140723159080911 0
[pid=14466/tid=14487] ppid=14347 vsize=8544168 memory=1120 CPUtime=95.62 cores=0-7
/proc/14466/task/14487/stat : 14487 (java) S 14347 14350 13124 0 -1 1077944384 25 2955862 0 0 0 0 8350 1212 20 0 22 0 510393508 8749228032 30984 33554432000 4194304 4196468 140723159072624 140154061911056 140154981677698 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32964608 140723159077855 140723159078022 140723159078022 140723159080911 0
[pid=14466/tid=14491] ppid=14347 vsize=8544168 memory=8220 CPUtime=95.62 cores=0-7
/proc/14466/task/14491/stat : 14491 (java) S 14347 14350 13124 0 -1 1077944384 30 2955862 0 0 0 0 8350 1212 20 0 22 0 510393510 8749228032 30984 33554432000 4194304 4196468 140723159072624 140151493747760 140154981677698 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32964608 140723159077855 140723159078022 140723159078022 140723159080911 0
[pid=14466/tid=14498] ppid=14347 vsize=8544168 memory=1472 CPUtime=95.62 cores=0-7
/proc/14466/task/14498/stat : 14498 (java) S 14347 14350 13124 0 -1 1077944384 24 2955862 0 0 0 0 8350 1212 20 0 22 0 510403041 8749228032 30984 33554432000 4194304 4196468 140723159072624 140151225311184 140154981676757 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32964608 140723159077855 140723159078022 140723159078022 140723159080911 0
[pid=14466/tid=14501] ppid=14347 vsize=8544168 memory=123892 CPUtime=95.67 cores=0-7
/proc/14466/task/14501/stat : 14501 (java) R 14347 14350 13124 0 -1 4202560 3 2955862 0 0 0 5 8350 1212 20 0 22 0 510403042 8749228032 30984 33554432000 4194304 4196468 140723159072624 140150956876960 140154974352183 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32964608 140723159077855 140723159078022 140723159078022 140723159080911 0
Current cumulated CPU time of completed processes: 3707.1 s
Current children cumulated CPU time: 96.87 s
Current children cumulated vsize: 8544168 KiB
Current children cumulated memory: 123936 KiB

[startup+1113.51 s]
/proc/loadavg: 1.25 2.59 2.85 2/191 14501
/proc/meminfo: memFree=24425072/32770624 swapFree=66954088/67108860
Current cumulated CPU time of completed processes: 3707.1 s
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

[startup+1113.9 s]
/proc/loadavg: 1.25 2.59 2.85 2/191 14501
/proc/meminfo: memFree=24425072/32770624 swapFree=66954088/67108860
Current cumulated CPU time of completed processes: 3707.1 s
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

[startup+1114 s]
/proc/loadavg: 1.25 2.59 2.85 2/191 14501
/proc/meminfo: memFree=24425072/32770624 swapFree=66954088/67108860
Current cumulated CPU time of completed processes: 3707.1 s
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 1
Real time (s): 1114.1
CPU time (s): 3804.87
CPU user time (s): 3730.94
CPU system time (s): 73.9302
CPU usage (%): 341.519
Max. virtual memory (cumulated for all children) (KiB): 31749896
Max. memory (cumulated for all children) (KiB): 23352076

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3730.94
system time used= 73.9302
maximum resident set size= 23351560
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4114946
page faults= 2
swaps= 0
block input operations= 8543000
block output operations= 18052488
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 88972
involuntary context switches= 43769


# summary of solver processes directly reported to runsolver:
#   pid: 14350,14466
#   total CPU time (s): 3804.87
#   total CPU user time (s): 3730.94
#   total CPU system time (s): 73.9302

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.13517 second user time and 10.4727 second system time

The end

Launcher Data 

Begin job on node107 at 2019-09-24 16:50:42
IDJOB=4405335
IDBENCH=133319
IDSOLVER=2867
FILE ID=node107/4405335-1569340365
RUNJOBID= node107-1569332256-13151
PBS_JOBID= 21705068
Free space on /var/tmp= 12564 MiB

SOLVER NAME= Fun-sCOP order+ManyGlucose (2019-09-22)
BENCH NAME= XCSP17/Primes/Primes-m1-p20/Primes-20-60-3-5.xml
COMMAND LINE= DIR/scop.sh 22g DIR/scop.jar -order DIR/manyglucose-4.1-27_release -model:-nthreads=NBCORE:-maxmemory=20000:-lit-scans=6000000 TMPDIR BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4405335-1569340365/watcher-4405335-1569340365 -o /var/tmp/evaluation-result-4405335-1569340365/solver-4405335-1569340365 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node107-1569332256-13151 --watchdog 2580  HOME/scop.sh 22g HOME/scop.jar -order HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4405335-1569340365.xml

TIME LIMIT= 20160 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8

MD5SUM BENCH= 0dd1a305ead2bfc8d563708a38f33655
RANDOM SEED=1193125568

node107.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	: 5334.11
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	: 5334.11
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	: 5334.11
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	: 5334.11
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:        27906260 kB
MemAvailable:   31800672 kB
Buffers:           67672 kB
Cached:          3953648 kB
SwapCached:        48264 kB
Active:          3086584 kB
Inactive:         984648 kB
Active(anon):       2296 kB
Inactive(anon):   100612 kB
Active(file):    3084288 kB
Inactive(file):   884036 kB
Unevictable:      110992 kB
Mlocked:          110992 kB
SwapTotal:      67108860 kB
SwapFree:       66954000 kB
Dirty:             20216 kB
Writeback:             0 kB
AnonPages:        113244 kB
Mapped:            53552 kB
Shmem:             44480 kB
Slab:             383504 kB
SReclaimable:     354548 kB
SUnreclaim:        28956 kB
KernelStack:        3456 kB
PageTables:         5288 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     506472 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     67584 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      101760 kB
DirectMap2M:    33443840 kB

Free space on /var/tmp at the end= 12544 MiB
End job on node107 at 2019-09-24 17:09:16