Trace number 4392641

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 hybrid+ManyGlucose (2019-06-15)UNSAT 5.9883 2.79908

General information on the benchmark

NameDubois/Dubois-m1-s1/
Dubois-050.xml
MD5SUM630ab63eaf7c5bcaa7f0eb192a58705a
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark0.009281
Satisfiable
(Un)Satisfiability was proved
Number of variables150
Number of constraints100
Number of domains1
Minimum domain size2
Maximum domain size2
Distribution of domain sizes[{"size":2,"count":150}]
Minimum variable degree2
Maximum variable degree2
Distribution of variable degrees[{"degree":2,"count":150}]
Minimum constraint arity3
Maximum constraint arity3
Distribution of constraint arities[{"arity":3,"count":100}]
Number of extensional constraints100
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":100}]
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 -hybrid -solver HOME/manyglucose-4.1-27_release -solverOption -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 -tmp HOME -serialFile HOME/scop-19527-serial-file.bin HOME/instance-4392641-1568427617.xml
0.65/0.54	
0.65/0.54	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
0.65/0.54	
0.65/0.57	c BEGIN-Prog: Sat Sep 14 04:19:34 CEST 2019
0.65/0.57	c PID: 19530
0.65/0.57	c IP: 172.20.3.147
0.65/0.57	c HOST: node147.alineos.net
0.65/0.57	c (0,0) Parsing Begin
1.38/0.93	c (0,0) Parsing End
1.38/0.94	c (0,0) CSP: 0 int (0 aux), 150 bool (0 aux), 100 ctr, max domain size 2
1.91/1.20	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.91/1.20	c (0,0) Constraint Name Generate Begin
1.91/1.20	c (0,0) Ctr:HOME/instance-4392641-1568427617.xml,ExtensionSupport:Var
1.91/1.20	c (0,0) Constraint Name Generate End
1.91/1.20	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.91/1.20	c (0,0) CSP to CSPinCNF Begin
1.91/1.23	c (0,0) translated 10 (10%) constraints
1.91/1.30	c (0,0) translated 20 (20%) constraints
2.23/1.34	c (0,0) translated 30 (30%) constraints
2.23/1.38	c (0,0) translated 40 (40%) constraints
2.55/1.41	c (0,0) translated 50 (50%) constraints
2.55/1.44	c (0,0) translated 60 (60%) constraints
2.55/1.46	c (0,0) translated 70 (70%) constraints
2.55/1.48	c (0,0) translated 80 (80%) constraints
2.87/1.51	c (0,0) translated 90 (90%) constraints
2.87/1.53	c (0,0) translated 100 (100%) constraints
2.87/1.53	c (0,0) ===========================================
2.87/1.54	c (0,0) Hybrid: #OE=550, #LE=0
2.87/1.54	c (0,0) Hybrid
2.87/1.54	c (0,0) ===========================================
2.87/1.56	c (1,1) translated 190 (10%) constraints
2.87/1.57	c (1,1) translated 380 (20%) constraints
2.87/1.58	c (1,1) translated 570 (30%) constraints
2.87/1.59	c (1,1) translated 760 (40%) constraints
3.26/1.60	c (1,1) translated 950 (50%) constraints
3.26/1.61	c (1,1) translated 1140 (60%) constraints
3.26/1.62	c (1,1) translated 1330 (70%) constraints
3.26/1.63	c (1,1) translated 1520 (80%) constraints
3.26/1.64	c (1,1) translated 1710 (90%) constraints
3.26/1.65	c (1,1) translated 1900 (100%) constraints
3.26/1.65	c (1,1) CSP to CSPinCNF End
3.26/1.65	c (1,1) CSP: 0 int (0 aux), 550 bool (400 aux), 1900 ctr, max domain size 2
3.26/1.65	c (1,1) Heap : 225 MiB used (max 21589 MiB), NonHeap : 25 MiB used (max 0 MiB)
3.26/1.65	c (1,1) CSPinCNF Propagation Begin
3.68/1.70	c (1,1) 0 values, 100 unsatisfiable literals, and 0 valid clauses are removed
3.68/1.70	c (1,1) CSPinCNF Propagation End
3.68/1.70	c (1,1) CSP: 0 int (0 aux), 550 bool (400 aux), 1900 ctr, max domain size 2
3.68/1.70	c (1,1) Heap : 225 MiB used (max 21589 MiB), NonHeap : 25 MiB used (max 0 MiB)
3.68/1.70	c (1,1) Hybrid: #OE=550, #LE=0
3.68/1.70	c (1,1) Simplify CSPinCNF Begin
3.68/1.72	c (1,1) Simplify CSPinCNF End
3.68/1.72	c (1,1) CSP: 0 int (0 aux), 550 bool (400 aux), 1900 ctr, max domain size 2
3.68/1.72	c (1,1) Heap : 225 MiB used (max 21589 MiB), NonHeap : 26 MiB used (max 0 MiB)
3.68/1.72	c (1,1) Calculate Precise Domain Begin
3.68/1.72	c (1,1) 0 values are removed by re-calculation
3.68/1.72	c (1,1) Calculate Precise Domain End
3.68/1.72	c (1,1) CSP: 0 int (0 aux), 550 bool (400 aux), 1900 ctr, max domain size 2
3.68/1.72	c (1,1) Heap : 225 MiB used (max 21589 MiB), NonHeap : 26 MiB used (max 0 MiB)
3.68/1.72	c (1,1) CSPinCNF to SatSolver Begin
4.13/1.80	c (1,1) 190 (10 %) CSP clauses are encoded (0 SAT variables, 189 SAT clauses)
4.13/1.82	c (1,1) 380 (20 %) CSP clauses are encoded (0 SAT variables, 379 SAT clauses)
4.13/1.83	c (1,1) 570 (30 %) CSP clauses are encoded (0 SAT variables, 569 SAT clauses)
4.13/1.84	c (1,1) 760 (40 %) CSP clauses are encoded (0 SAT variables, 759 SAT clauses)
4.13/1.85	c (1,1) 950 (50 %) CSP clauses are encoded (0 SAT variables, 949 SAT clauses)
4.13/1.85	c (1,1) 1140 (60 %) CSP clauses are encoded (0 SAT variables, 1139 SAT clauses)
4.13/1.86	c (1,1) 1330 (70 %) CSP clauses are encoded (0 SAT variables, 1329 SAT clauses)
4.13/1.87	c (1,1) 1520 (80 %) CSP clauses are encoded (0 SAT variables, 1519 SAT clauses)
4.13/1.88	c (1,1) 1710 (90 %) CSP clauses are encoded (0 SAT variables, 1709 SAT clauses)
4.13/1.88	c (1,1) 1900 (100 %) CSP clauses are encoded (0 SAT variables, 1899 SAT clauses)
4.13/1.88	c (1,1) CSPinCNF to SatSolver End
4.13/1.88	c (1,1) Heap : 225 MiB used (max 21589 MiB), NonHeap : 27 MiB used (max 0 MiB)
4.13/1.88	c (1,1) 550 bool, 1900 clause
4.13/1.88	c (1,1) Export Begin
4.54/1.98	c (1,1) Export to HOME/scop-19527-serial-file.bin
4.54/1.98	c (1,1) Export End
4.54/1.98	c (1,1) Export File Size: 0.03 MB
4.54/1.98	c (1,1) 0,0,1,1,1,1,1,STOP-AFTER(DIMACS)
4.54/1.98	c END-Prog: Sat Sep 14 04:19:36 CEST 2019
4.54/1.99	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-19527-serial-file.bin
5.27/2.45	c (0,0) Read Serial File Begin
5.27/2.45	c (0,0) HOME/scop-19527-serial-file.bin
5.56/2.67	c (0,0) Read Serial File End
5.56/2.69	
5.56/2.69	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
5.56/2.69	(Solving Process)
5.56/2.69	
5.73/2.71	c BEGIN-Prog: Sat Sep 14 04:19:36 CEST 2019
5.73/2.71	c PID: 19550
5.73/2.71	c IP: 172.20.3.147
5.73/2.71	c HOST: node147.alineos.net
5.73/2.71	c (0,0) SatSolver.solve Begin
5.73/2.71	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4392641-1568427617.xml-scop-19530.cnf
5.73/2.74	c (0,0) c
5.73/2.74	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)
5.73/2.74	c (0,0) c
5.73/2.74	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
5.73/2.74	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
5.73/2.74	c (0,0) c ========================================[ Problem Statistics ]===========================================
5.73/2.74	c (0,0) c |                                                                                                       |
5.73/2.74	c (0,0) c |  Number of variables:           550                                                                   |
5.73/2.74	c (0,0) c |  Number of clauses:            1900                                                                   |
5.73/2.74	c (0,0) c |  Parse time:                   0.00 s                                                                 |
5.73/2.74	c (0,0) c |                                                                                                       |
5.73/2.74	c (0,0) c |  Simplification time:          0.00 s                                                                 |
5.73/2.74	c (0,0) c |                                                                                                       |
5.73/2.74	c (0,0) c =========================================================================================================
5.73/2.74	c (0,0) Solved by unit propagation
5.73/2.74	c (0,0) c real time : 0.00405216 s
5.73/2.74	c (0,0) c cpu time  : 0.005058 s
5.73/2.74	c (0,0) 
5.73/2.74	c (0,0) s UNSATISFIABLE
5.73/2.78	c (0,0) SatSolver.solve End
5.73/2.78	c (0,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
5.73/2.78	c (0,0) Show results Begin
5.73/2.78	s UNSATISFIABLE
5.73/2.78	c (0,0) Show results End
5.73/2.78	c (0,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
5.73/2.79	c (0,0) 0,0,STOP-AFTER(ALL)
5.73/2.79	c END-Prog: Sat Sep 14 04:19:36 CEST 2019

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4392641-1568427617/watcher-4392641-1568427617 -o /tmp/evaluation-result-4392641-1568427617/solver-4392641-1568427617 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node147-1568427292-16623 --watchdog 2580 HOME/scop.sh 22g HOME/scop.jar -hybrid HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4392641-1568427617.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
solver pid=19527, runsolver pid=19524
Current StackSize limit: 8192 KiB


[startup+0.100107 s]*
/proc/loadavg: 3.11 6.16 7.20 2/211 19549
/proc/meminfo: memFree=26757200/32770624 swapFree=66957016/67108860
[pid=19527] ppid=19524 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/19527/stat : 19527 (scop.sh) S 19524 19527 16596 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 418675517 115843072 349 33554432000 4194304 5098028 140720586316400 140720586313656 140634279641724 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 24850432 140720586318628 140720586318956 140720586318956 140720586321869 0
/proc/19527/statm: 28282 349 296 221 0 87 0
[pid=19530] ppid=19527 vsize=27314120 memory=105560 CPUtime=0.1 cores=0-7
/proc/19530/stat : 19530 (java) S 19527 19527 16596 0 -1 1077944320 6475 0 0 0 7 3 0 0 20 0 20 0 418675517 27969658880 26390 33554432000 4194304 4196468 140730633932928 140730633915472 140568899968759 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 13742080 140730633937642 140730633938070 140730633938070 140730633940943 0
/proc/19530/statm: 6828530 26390 2794 1 0 6790935 0
[pid=19530/tid=19531] ppid=19527 vsize=27314120 memory=8042754317669538202 CPUtime=0.08 cores=0-7
/proc/19530/task/19531/stat : 19531 (java) R 19527 19527 16596 0 -1 4202560 4554 0 0 0 6 2 0 0 20 0 20 0 418675518 27969658880 26390 33554432000 4194304 4196468 140730633932928 140568871803424 140568899980694 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13742080 140730633937642 140730633938070 140730633938070 140730633940943 0
[pid=19530/tid=19532] ppid=19527 vsize=27314120 memory=732370309688601573 CPUtime=0 cores=0-7
/proc/19530/task/19532/stat : 19532 (java) S 19527 19527 16596 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418675520 27969658880 26390 33554432000 4194304 4196468 140730633932928 140568904211344 140568899978965 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13742080 140730633937642 140730633938070 140730633938070 140730633940943 0
[pid=19530/tid=19533] ppid=19527 vsize=27314120 memory=140171351148160 CPUtime=0 cores=0-7
/proc/19530/task/19533/stat : 19533 (java) S 19527 19527 16596 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418675520 27969658880 26390 33554432000 4194304 4196468 140730633932928 140568718367504 140568899978965 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13742080 140730633937642 140730633938070 140730633938070 140730633940943 0
[pid=19530/tid=19534] ppid=19527 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19530/task/19534/stat : 19534 (java) S 19527 19527 16596 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418675520 27969658880 26390 33554432000 4194304 4196468 140730633932928 140568717315216 140568899978965 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13742080 140730633937642 140730633938070 140730633938070 140730633940943 0
[pid=19530/tid=19535] ppid=19527 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19530/task/19535/stat : 19535 (java) S 19527 19527 16596 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418675520 27969658880 26390 33554432000 4194304 4196468 140730633932928 140568716262416 140568899978965 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13742080 140730633937642 140730633938070 140730633938070 140730633940943 0
[pid=19530/tid=19536] ppid=19527 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19530/task/19536/stat : 19536 (java) S 19527 19527 16596 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418675520 27969658880 26390 33554432000 4194304 4196468 140730633932928 140568715209104 140568899978965 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13742080 140730633937642 140730633938070 140730633938070 140730633940943 0
[pid=19530/tid=19537] ppid=19527 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/19530/task/19537/stat : 19537 (java) S 19527 19527 16596 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418675520 27969658880 26390 33554432000 4194304 4196468 140730633932928 140568714156304 140568899978965 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13742080 140730633937642 140730633938070 140730633938070 140730633940943 0
[pid=19530/tid=19538] ppid=19527 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19530/task/19538/stat : 19538 (java) S 19527 19527 16596 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418675520 27969658880 26390 33554432000 4194304 4196468 140730633932928 140568713104016 140568899978965 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13742080 140730633937642 140730633938070 140730633938070 140730633940943 0
[pid=19530/tid=19539] ppid=19527 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19530/task/19539/stat : 19539 (java) S 19527 19527 16596 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418675520 27969658880 26390 33554432000 4194304 4196468 140730633932928 140568712051216 140568899978965 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13742080 140730633937642 140730633938070 140730633938070 140730633940943 0
[pid=19530/tid=19540] ppid=19527 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19530/task/19540/stat : 19540 (java) S 19527 19527 16596 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418675522 27969658880 26390 33554432000 4194304 4196468 140730633932928 140567353694832 140568899979906 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13742080 140730633937642 140730633938070 140730633938070 140730633940943 0
[pid=19530/tid=19541] ppid=19527 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19530/task/19541/stat : 19541 (java) S 19527 19527 16596 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 418675522 27969658880 26390 33554432000 4194304 4196468 140730633932928 140566562071840 140568899978965 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13742080 140730633937642 140730633938070 140730633938070 140730633940943 0
[pid=19530/tid=19542] ppid=19527 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19530/task/19542/stat : 19542 (java) S 19527 19527 16596 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 418675522 27969658880 26390 33554432000 4194304 4196468 140730633932928 140566427850352 140568899978965 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13742080 140730633937642 140730633938070 140730633938070 140730633940943 0
[pid=19530/tid=19543] ppid=19527 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19530/task/19543/stat : 19543 (java) S 19527 19527 16596 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418675525 27969658880 26390 33554432000 4194304 4196468 140730633932928 140566053345872 140568899987355 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13742080 140730633937642 140730633938070 140730633938070 140730633940943 0
[pid=19530/tid=19544] ppid=19527 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19530/task/19544/stat : 19544 (java) S 19527 19527 16596 0 -1 1077944384 316 0 0 0 0 0 0 0 20 0 20 0 418675525 27969658880 26390 33554432000 4194304 4196468 140730633932928 140567352641648 140568899979906 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13742080 140730633937642 140730633938070 140730633938070 140730633940943 0
[pid=19530/tid=19545] ppid=19527 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19530/task/19545/stat : 19545 (java) S 19527 19527 16596 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418675525 27969658880 26390 33554432000 4194304 4196468 140730633932928 140567351588848 140568899979906 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13742080 140730633937642 140730633938070 140730633938070 140730633940943 0
[pid=19530/tid=19546] ppid=19527 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19530/task/19546/stat : 19546 (java) S 19527 19527 16596 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418675525 27969658880 26390 33554432000 4194304 4196468 140730633932928 140567350536560 140568899979906 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13742080 140730633937642 140730633938070 140730633938070 140730633940943 0
[pid=19530/tid=19547] ppid=19527 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19530/task/19547/stat : 19547 (java) R 19527 19527 16596 0 -1 1077944384 243 0 0 0 0 0 0 0 20 0 20 0 418675525 27969658880 26390 33554432000 4194304 4196468 140730633932928 140567349483760 140568899979906 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13742080 140730633937642 140730633938070 140730633938070 140730633940943 0
[pid=19530/tid=19548] ppid=19527 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19530/task/19548/stat : 19548 (java) S 19527 19527 16596 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418675525 27969658880 26390 33554432000 4194304 4196468 140730633932928 140565555440480 140568899978965 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13742080 140730633937642 140730633938070 140730633938070 140730633940943 0
[pid=19530/tid=19549] ppid=19527 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/19530/task/19549/stat : 19549 (java) S 19527 19527 16596 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418675525 27969658880 26390 33554432000 4194304 4196468 140730633932928 140567348431664 140568899979906 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13742080 140730633937642 140730633938070 140730633938070 140730633940943 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 106956 KiB

[startup+0.210012 s]*
/proc/loadavg: 3.11 6.16 7.20 4/211 19549
/proc/meminfo: memFree=26732824/32770624 swapFree=66957016/67108860
[pid=19527] ppid=19524 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/19527/stat : 19527 (scop.sh) S 19524 19527 16596 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 418675517 115843072 349 33554432000 4194304 5098028 140720586316400 140720586313656 140634279641724 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 24850432 140720586318628 140720586318956 140720586318956 140720586321869 0
/proc/19527/statm: 28282 349 296 221 0 87 0
[pid=19530] ppid=19527 vsize=27314120 memory=124700 CPUtime=0.25 cores=0-7
/proc/19530/stat : 19530 (java) S 19527 19527 16596 0 -1 1077944320 12099 0 0 0 20 5 0 0 20 0 20 0 418675517 27969658880 31175 33554432000 4194304 4196468 140730633932928 140730633915472 140568899968759 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 13742080 140730633937642 140730633938070 140730633938070 140730633940943 0
/proc/19530/statm: 6828530 31175 2938 1 0 6790935 0
[pid=19530/tid=19531] ppid=19527 vsize=27314120 memory=0 CPUtime=0.2 cores=0-7
/proc/19530/task/19531/stat : 19531 (java) R 19527 19527 16596 0 -1 4202560 9808 0 0 0 16 4 0 0 20 0 20 0 418675518 27969658880 31175 33554432000 4194304 4196468 140730633932928 140568871783824 140568880245584 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13742080 140730633937642 140730633938070 140730633938070 140730633940943 0
[pid=19530/tid=19532] ppid=19527 vsize=27314120 memory=280342574909176 CPUtime=0 cores=0-7
/proc/19530/task/19532/stat : 19532 (java) S 19527 19527 16596 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418675520 27969658880 31175 33554432000 4194304 4196468 140730633932928 140568904211344 140568899978965 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13742080 140730633937642 140730633938070 140730633938070 140730633940943 0
[pid=19530/tid=19533] ppid=19527 vsize=27314120 memory=140171351148160 CPUtime=0 cores=0-7
/proc/19530/task/19533/stat : 19533 (java) S 19527 19527 16596 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418675520 27969658880 31175 33554432000 4194304 4196468 140730633932928 140568718367504 140568899978965 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13742080 140730633937642 140730633938070 140730633938070 140730633940943 0
[pid=19530/tid=19534] ppid=19527 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19530/task/19534/stat : 19534 (java) S 19527 19527 16596 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418675520 27969658880 31175 33554432000 4194304 4196468 140730633932928 140568717315216 140568899978965 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13742080 140730633937642 140730633938070 140730633938070 140730633940943 0
[pid=19530/tid=19535] ppid=19527 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19530/task/19535/stat : 19535 (java) S 19527 19527 16596 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418675520 27969658880 31175 33554432000 4194304 4196468 140730633932928 140568716262416 140568899978965 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13742080 140730633937642 140730633938070 140730633938070 140730633940943 0
[pid=19530/tid=19536] ppid=19527 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19530/task/19536/stat : 19536 (java) S 19527 19527 16596 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418675520 27969658880 31175 33554432000 4194304 4196468 140730633932928 140568715209104 140568899978965 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13742080 140730633937642 140730633938070 140730633938070 140730633940943 0
[pid=19530/tid=19537] ppid=19527 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/19530/task/19537/stat : 19537 (java) S 19527 19527 16596 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418675520 27969658880 31175 33554432000 4194304 4196468 140730633932928 140568714156304 140568899978965 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13742080 140730633937642 140730633938070 140730633938070 140730633940943 0
[pid=19530/tid=19538] ppid=19527 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19530/task/19538/stat : 19538 (java) S 19527 19527 16596 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418675520 27969658880 31175 33554432000 4194304 4196468 140730633932928 140568713104016 140568899978965 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13742080 140730633937642 140730633938070 140730633938070 140730633940943 0
[pid=19530/tid=19539] ppid=19527 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19530/task/19539/stat : 19539 (java) S 19527 19527 16596 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418675520 27969658880 31175 33554432000 4194304 4196468 140730633932928 140568712051216 140568899978965 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13742080 140730633937642 140730633938070 140730633938070 140730633940943 0
[pid=19530/tid=19540] ppid=19527 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19530/task/19540/stat : 19540 (java) S 19527 19527 16596 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418675522 27969658880 31175 33554432000 4194304 4196468 140730633932928 140567353694832 140568899979906 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13742080 140730633937642 140730633938070 140730633938070 140730633940943 0
[pid=19530/tid=19541] ppid=19527 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19530/task/19541/stat : 19541 (java) S 19527 19527 16596 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 418675522 27969658880 31175 33554432000 4194304 4196468 140730633932928 140566562071840 140568899978965 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13742080 140730633937642 140730633938070 140730633938070 140730633940943 0
[pid=19530/tid=19542] ppid=19527 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19530/task/19542/stat : 19542 (java) S 19527 19527 16596 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 418675522 27969658880 31175 33554432000 4194304 4196468 140730633932928 140566427850352 140568899978965 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13742080 140730633937642 140730633938070 140730633938070 140730633940943 0
[pid=19530/tid=19543] ppid=19527 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19530/task/19543/stat : 19543 (java) S 19527 19527 16596 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418675525 27969658880 31175 33554432000 4194304 4196468 140730633932928 140566053345872 140568899987355 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13742080 140730633937642 140730633938070 140730633938070 140730633940943 0
[pid=19530/tid=19544] ppid=19527 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19530/task/19544/stat : 19544 (java) S 19527 19527 16596 0 -1 1077944384 328 0 0 0 0 0 0 0 20 0 20 0 418675525 27969658880 31175 33554432000 4194304 4196468 140730633932928 140567352641648 140568899979906 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13742080 140730633937642 140730633938070 140730633938070 140730633940943 0
[pid=19530/tid=19545] ppid=19527 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19530/task/19545/stat : 19545 (java) S 19527 19527 16596 0 -1 1077944384 169 0 0 0 0 0 0 0 20 0 20 0 418675525 27969658880 31175 33554432000 4194304 4196468 140730633932928 140567351588848 140568899979906 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13742080 140730633937642 140730633938070 140730633938070 140730633940943 0
[pid=19530/tid=19546] ppid=19527 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19530/task/19546/stat : 19546 (java) S 19527 19527 16596 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418675525 27969658880 31175 33554432000 4194304 4196468 140730633932928 140567350536560 140568899979906 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13742080 140730633937642 140730633938070 140730633938070 140730633940943 0
[pid=19530/tid=19547] ppid=19527 vsize=27314120 memory=0 CPUtime=0.02 cores=0-7
/proc/19530/task/19547/stat : 19547 (java) S 19527 19527 16596 0 -1 1077944384 433 0 0 0 2 0 0 0 20 0 20 0 418675525 27969658880 31175 33554432000 4194304 4196468 140730633932928 140567349483760 140568899979906 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13742080 140730633937642 140730633938070 140730633938070 140730633940943 0
[pid=19530/tid=19548] ppid=19527 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19530/task/19548/stat : 19548 (java) S 19527 19527 16596 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418675525 27969658880 31175 33554432000 4194304 4196468 140730633932928 140565555440480 140568899978965 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13742080 140730633937642 140730633938070 140730633938070 140730633940943 0
[pid=19530/tid=19549] ppid=19527 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/19530/task/19549/stat : 19549 (java) S 19527 19527 16596 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418675525 27969658880 31175 33554432000 4194304 4196468 140730633932928 140567348431664 140568899979906 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13742080 140730633937642 140730633938070 140730633938070 140730633940943 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 126096 KiB

[startup+0.309461 s]*
/proc/loadavg: 3.11 6.16 7.20 2/211 19549
/proc/meminfo: memFree=26730528/32770624 swapFree=66957016/67108860
[pid=19527] ppid=19524 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/19527/stat : 19527 (scop.sh) S 19524 19527 16596 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 418675517 115843072 349 33554432000 4194304 5098028 140720586316400 140720586313656 140634279641724 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 24850432 140720586318628 140720586318956 140720586318956 140720586321869 0
/proc/19527/statm: 28282 349 296 221 0 87 0
[pid=19530] ppid=19527 vsize=27314120 memory=128056 CPUtime=0.41 cores=0-7
/proc/19530/stat : 19530 (java) S 19527 19527 16596 0 -1 1077944320 12468 0 0 0 36 5 0 0 20 0 20 0 418675517 27969658880 32014 33554432000 4194304 4196468 140730633932928 140730633915472 140568899968759 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 13742080 140730633937642 140730633938070 140730633938070 140730633940943 0
/proc/19530/statm: 6828530 32014 3022 1 0 6790935 0
[pid=19530/tid=19531] ppid=19527 vsize=27314120 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/19530/task/19531/stat : 19531 (java) R 19527 19527 16596 0 -1 4202560 9995 0 0 0 25 4 0 0 20 0 20 0 418675518 27969658880 32014 33554432000 4194304 4196468 140730633932928 140568871781104 140568884049246 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13742080 140730633937642 140730633938070 140730633938070 140730633940943 0
[pid=19530/tid=19532] ppid=19527 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19530/task/19532/stat : 19532 (java) S 19527 19527 16596 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418675520 27969658880 32014 33554432000 4194304 4196468 140730633932928 140568904211344 140568899978965 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13742080 140730633937642 140730633938070 140730633938070 140730633940943 0
[pid=19530/tid=19533] ppid=19527 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19530/task/19533/stat : 19533 (java) S 19527 19527 16596 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418675520 27969658880 32014 33554432000 4194304 4196468 140730633932928 140568718367504 140568899978965 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13742080 140730633937642 140730633938070 140730633938070 140730633940943 0
[pid=19530/tid=19534] ppid=19527 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19530/task/19534/stat : 19534 (java) S 19527 19527 16596 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418675520 27969658880 32014 33554432000 4194304 4196468 140730633932928 140568717315216 140568899978965 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13742080 140730633937642 140730633938070 140730633938070 140730633940943 0
[pid=19530/tid=19535] ppid=19527 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19530/task/19535/stat : 19535 (java) S 19527 19527 16596 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418675520 27969658880 32014 33554432000 4194304 4196468 140730633932928 140568716262416 140568899978965 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13742080 140730633937642 140730633938070 140730633938070 140730633940943 0
[pid=19530/tid=19536] ppid=19527 vsize=27314120 memory=2244 CPUtime=0 cores=0-7
/proc/19530/task/19536/stat : 19536 (java) S 19527 19527 16596 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418675520 27969658880 32014 33554432000 4194304 4196468 140730633932928 140568715209104 140568899978965 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13742080 140730633937642 140730633938070 140730633938070 140730633940943 0
[pid=19530/tid=19537] ppid=19527 vsize=27314120 memory=140171223856047 CPUtime=0 cores=0-7
/proc/19530/task/19537/stat : 19537 (java) S 19527 19527 16596 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418675520 27969658880 32014 33554432000 4194304 4196468 140730633932928 140568714156304 140568899978965 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13742080 140730633937642 140730633938070 140730633938070 140730633940943 0
[pid=19530/tid=19538] ppid=19527 vsize=27314120 memory=140171223858352 CPUtime=0 cores=0-7
/proc/19530/task/19538/stat : 19538 (java) S 19527 19527 16596 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418675520 27969658880 32014 33554432000 4194304 4196468 140730633932928 140568713104016 140568899978965 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13742080 140730633937642 140730633938070 140730633938070 140730633940943 0
[pid=19530/tid=19539] ppid=19527 vsize=27314120 memory=140171223860656 CPUtime=0 cores=0-7
/proc/19530/task/19539/stat : 19539 (java) S 19527 19527 16596 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418675520 27969658880 32014 33554432000 4194304 4196468 140730633932928 140568712051216 140568899978965 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13742080 140730633937642 140730633938070 140730633938070 140730633940943 0
[pid=19530/tid=19540] ppid=19527 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19530/task/19540/stat : 19540 (java) S 19527 19527 16596 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418675522 27969658880 32014 33554432000 4194304 4196468 140730633932928 140567353694832 140568899979906 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13742080 140730633937642 140730633938070 140730633938070 140730633940943 0
[pid=19530/tid=19541] ppid=19527 vsize=27314120 memory=280342447728272 CPUtime=0 cores=0-7
/proc/19530/task/19541/stat : 19541 (java) S 19527 19527 16596 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 418675522 27969658880 32014 33554432000 4194304 4196468 140730633932928 140566562071840 140568899978965 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13742080 140730633937642 140730633938070 140730633938070 140730633940943 0
[pid=19530/tid=19542] ppid=19527 vsize=27314120 memory=280342447735184 CPUtime=0 cores=0-7
/proc/19530/task/19542/stat : 19542 (java) S 19527 19527 16596 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 418675522 27969658880 32014 33554432000 4194304 4196468 140730633932928 140566427850352 140568899978965 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13742080 140730633937642 140730633938070 140730633938070 140730633940943 0
[pid=19530/tid=19543] ppid=19527 vsize=27314120 memory=280342447676464 CPUtime=0 cores=0-7
/proc/19530/task/19543/stat : 19543 (java) S 19527 19527 16596 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418675525 27969658880 32014 33554432000 4194304 4196468 140730633932928 140566053345872 140568899987355 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13742080 140730633937642 140730633938070 140730633938070 140730633940943 0
[pid=19530/tid=19544] ppid=19527 vsize=27314120 memory=280342447749008 CPUtime=0.01 cores=0-7
/proc/19530/task/19544/stat : 19544 (java) S 19527 19527 16596 0 -1 1077944384 368 0 0 0 1 0 0 0 20 0 20 0 418675525 27969658880 32014 33554432000 4194304 4196468 140730633932928 140567352641648 140568899979906 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13742080 140730633937642 140730633938070 140730633938070 140730633940943 0
[pid=19530/tid=19545] ppid=19527 vsize=27314120 memory=280342447755920 CPUtime=0.01 cores=0-7
/proc/19530/task/19545/stat : 19545 (java) R 19527 19527 16596 0 -1 4202560 263 0 0 0 1 0 0 0 20 0 20 0 418675525 27969658880 32014 33554432000 4194304 4196468 140730633932928 140567351588848 140568884360740 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13742080 140730633937642 140730633938070 140730633938070 140730633940943 0
[pid=19530/tid=19546] ppid=19527 vsize=27314120 memory=280342447753616 CPUtime=0 cores=0-7
/proc/19530/task/19546/stat : 19546 (java) S 19527 19527 16596 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 418675525 27969658880 32014 33554432000 4194304 4196468 140730633932928 140567350536560 140568899979906 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13742080 140730633937642 140730633938070 140730633938070 140730633940943 0
[pid=19530/tid=19547] ppid=19527 vsize=27314120 memory=280342447769776 CPUtime=0.07 cores=0-7
/proc/19530/task/19547/stat : 19547 (java) S 19527 19527 16596 0 -1 1077944384 454 0 0 0 7 0 0 0 20 0 20 0 418675525 27969658880 32014 33554432000 4194304 4196468 140730633932928 140567349483760 140568899979906 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13742080 140730633937642 140730633938070 140730633938070 140730633940943 0
[pid=19530/tid=19548] ppid=19527 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19530/task/19548/stat : 19548 (java) S 19527 19527 16596 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418675525 27969658880 32014 33554432000 4194304 4196468 140730633932928 140565555440480 140568899978965 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13742080 140730633937642 140730633938070 140730633938070 140730633940943 0
[pid=19530/tid=19549] ppid=19527 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/19530/task/19549/stat : 19549 (java) S 19527 19527 16596 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418675525 27969658880 32014 33554432000 4194304 4196468 140730633932928 140567348431664 140568899979906 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13742080 140730633937642 140730633938070 140730633938070 140730633940943 0
Current children cumulated CPU time: 0.41 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 129452 KiB

[startup+0.700944 s]
/proc/loadavg: 3.11 6.16 7.20 3/211 19549
/proc/meminfo: memFree=26709848/32770624 swapFree=66957016/67108860
[pid=19527] ppid=19524 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/19527/stat : 19527 (scop.sh) S 19524 19527 16596 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 418675517 115843072 349 33554432000 4194304 5098028 140720586316400 140720586313656 140634279641724 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 24850432 140720586318628 140720586318956 140720586318956 140720586321869 0
/proc/19527/statm: 28282 349 296 221 0 87 0
[pid=19530] ppid=19527 vsize=27322440 memory=163816 CPUtime=0.99 cores=0-7
/proc/19530/stat : 19530 (java) S 19527 19527 16596 0 -1 1077944320 20054 0 0 0 91 8 0 0 20 0 20 0 418675517 27978178560 40954 33554432000 4194304 4196468 140730633932928 140730633915472 140568899968759 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 13742080 140730633937642 140730633938070 140730633938070 140730633940943 0
/proc/19530/statm: 6830610 40954 3183 1 0 6791959 0
[pid=19530/tid=19531] ppid=19527 vsize=27322440 memory=280342448064640 CPUtime=0.67 cores=0-7
/proc/19530/task/19531/stat : 19531 (java) R 19527 19527 16596 0 -1 1077944384 17022 0 0 0 61 6 0 0 20 0 20 0 418675518 27978178560 40954 33554432000 4194304 4196468 140730633932928 140568871800496 140568899992637 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 13742080 140730633937642 140730633938070 140730633938070 140730633940943 0
[pid=19530/tid=19532] ppid=19527 vsize=27322440 memory=5050881541256 CPUtime=0 cores=0-7
/proc/19530/task/19532/stat : 19532 (java) S 19527 19527 16596 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418675520 27978178560 40954 33554432000 4194304 4196468 140730633932928 140568904211344 140568899978965 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13742080 140730633937642 140730633938070 140730633938070 140730633940943 0
[pid=19530/tid=19533] ppid=19527 vsize=27322440 memory=0 CPUtime=0 cores=0-7
/proc/19530/task/19533/stat : 19533 (java) S 19527 19527 16596 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418675520 27978178560 40954 33554432000 4194304 4196468 140730633932928 140568718367504 140568899978965 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13742080 140730633937642 140730633938070 140730633938070 140730633940943 0
[pid=19530/tid=19534] ppid=19527 vsize=27322516 memory=0 CPUtime=0 cores=0-7
/proc/19530/task/19534/stat : 19534 (java) S 19527 19527 16596 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418675520 27978256384 40954 33554432000 4194304 4196468 140730633932928 140568717315216 140568899978965 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13742080 140730633937642 140730633938070 140730633938070 140730633940943 0

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

/proc/19530/task/19549/stat : 19549 (java) S 19527 19527 16596 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418675525 27978256384 40954 33554432000 4194304 4196468 140730633932928 140567348431664 140568899979906 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13742080 140730633937642 140730633938070 140730633938070 140730633940943 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 27435568 KiB
Current children cumulated memory: 165212 KiB

[startup+1.50104 s]
/proc/loadavg: 3.11 6.16 7.20 2/211 19549
/proc/meminfo: memFree=26675840/32770624 swapFree=66957016/67108860
[pid=19527] ppid=19524 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/19527/stat : 19527 (scop.sh) S 19524 19527 16596 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 418675517 115843072 349 33554432000 4194304 5098028 140720586316400 140720586313656 140634279641724 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 24850432 140720586318628 140720586318956 140720586318956 140720586321869 0
/proc/19527/statm: 28282 349 296 221 0 87 0
[pid=19530] ppid=19527 vsize=27326612 memory=212776 CPUtime=2.87 cores=0-7
/proc/19530/stat : 19530 (java) S 19527 19527 16596 0 -1 1077944320 23751 0 0 0 275 12 0 0 20 0 20 0 418675517 27982450688 53194 33554432000 4194304 4196468 140730633932928 140730633915472 140568899968759 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 13742080 140730633937642 140730633938070 140730633938070 140730633940943 0
/proc/19530/statm: 6831653 53194 3246 1 0 6792983 0
[pid=19530/tid=19531] ppid=19527 vsize=27326612 memory=6153433744107071853 CPUtime=1.47 cores=0-7
/proc/19530/task/19531/stat : 19531 (java) R 19527 19527 16596 0 -1 4202560 18468 0 0 0 139 8 0 0 20 0 20 0 418675518 27982450688 53194 33554432000 4194304 4196468 140730633932928 140568871799432 140568899980694 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13742080 140730633937642 140730633938070 140730633938070 140730633940943 0
[pid=19530/tid=19532] ppid=19527 vsize=27326612 memory=0 CPUtime=0 cores=0-7
/proc/19530/task/19532/stat : 19532 (java) S 19527 19527 16596 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418675520 27982450688 53194 33554432000 4194304 4196468 140730633932928 140568904211344 140568899978965 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13742080 140730633937642 140730633938070 140730633938070 140730633940943 0
[pid=19530/tid=19533] ppid=19527 vsize=27326612 memory=138 CPUtime=0 cores=0-7
/proc/19530/task/19533/stat : 19533 (java) S 19527 19527 16596 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418675520 27982450688 53194 33554432000 4194304 4196468 140730633932928 140568718367504 140568899978965 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13742080 140730633937642 140730633938070 140730633938070 140730633940943 0
[pid=19530/tid=19534] ppid=19527 vsize=27326612 memory=87 CPUtime=0 cores=0-7
/proc/19530/task/19534/stat : 19534 (java) S 19527 19527 16596 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418675520 27982450688 53194 33554432000 4194304 4196468 140730633932928 140568717315216 140568899978965 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13742080 140730633937642 140730633938070 140730633938070 140730633940943 0
[pid=19530/tid=19535] ppid=19527 vsize=27326612 memory=0 CPUtime=0 cores=0-7
/proc/19530/task/19535/stat : 19535 (java) S 19527 19527 16596 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418675520 27982450688 53194 33554432000 4194304 4196468 140730633932928 140568716262416 140568899978965 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13742080 140730633937642 140730633938070 140730633938070 140730633940943 0
[pid=19530/tid=19536] ppid=19527 vsize=27326612 memory=8028676333680759155 CPUtime=0 cores=0-7
/proc/19530/task/19536/stat : 19536 (java) S 19527 19527 16596 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418675520 27982450688 53194 33554432000 4194304 4196468 140730633932928 140568715209104 140568899978965 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13742080 140730633937642 140730633938070 140730633938070 140730633940943 0
[pid=19530/tid=19537] ppid=19527 vsize=27326612 memory=8475934422144292502 CPUtime=0 cores=0-7
/proc/19530/task/19537/stat : 19537 (java) S 19527 19527 16596 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418675520 27982450688 53194 33554432000 4194304 4196468 140730633932928 140568714156304 140568899978965 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13742080 140730633937642 140730633938070 140730633938070 140730633940943 0
[pid=19530/tid=19538] ppid=19527 vsize=27326612 memory=-6876588452865875872 CPUtime=0 cores=0-7
/proc/19530/task/19538/stat : 19538 (java) S 19527 19527 16596 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418675520 27982450688 53194 33554432000 4194304 4196468 140730633932928 140568713104016 140568899978965 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13742080 140730633937642 140730633938070 140730633938070 140730633940943 0
[pid=19530/tid=19539] ppid=19527 vsize=27326612 memory=-3775572685057999774 CPUtime=0 cores=0-7
/proc/19530/task/19539/stat : 19539 (java) S 19527 19527 16596 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418675520 27982450688 53194 33554432000 4194304 4196468 140730633932928 140568712051216 140568899978965 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13742080 140730633937642 140730633938070 140730633938070 140730633940943 0
[pid=19530/tid=19540] ppid=19527 vsize=27326612 memory=6944613755479294112 CPUtime=0 cores=0-7
/proc/19530/task/19540/stat : 19540 (java) S 19527 19527 16596 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 418675522 27982450688 53194 33554432000 4194304 4196468 140730633932928 140567353694832 140568899979906 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13742080 140730633937642 140730633938070 140730633938070 140730633940943 0
[pid=19530/tid=19541] ppid=19527 vsize=27326612 memory=3512 CPUtime=0 cores=0-7
/proc/19530/task/19541/stat : 19541 (java) S 19527 19527 16596 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 418675522 27982450688 53194 33554432000 4194304 4196468 140730633932928 140566562071840 140568899978965 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13742080 140730633937642 140730633938070 140730633938070 140730633940943 0
[pid=19530/tid=19542] ppid=19527 vsize=27326612 memory=0 CPUtime=0 cores=0-7
/proc/19530/task/19542/stat : 19542 (java) S 19527 19527 16596 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 418675522 27982450688 53194 33554432000 4194304 4196468 140730633932928 140566427850352 140568899978965 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13742080 140730633937642 140730633938070 140730633938070 140730633940943 0
[pid=19530/tid=19543] ppid=19527 vsize=27326612 memory=140171224083072 CPUtime=0 cores=0-7
/proc/19530/task/19543/stat : 19543 (java) S 19527 19527 16596 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418675525 27982450688 53194 33554432000 4194304 4196468 140730633932928 140566053345872 140568899987355 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13742080 140730633937642 140730633938070 140730633938070 140730633940943 0
[pid=19530/tid=19544] ppid=19527 vsize=27326612 memory=140171224083168 CPUtime=0.24 cores=0-7
/proc/19530/task/19544/stat : 19544 (java) R 19527 19527 16596 0 -1 4202560 910 0 0 0 23 1 0 0 20 0 20 0 418675525 27982450688 53194 33554432000 4194304 4196468 140730633932928 140567352631568 140568884075532 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13742080 140730633937642 140730633938070 140730633938070 140730633940943 0
[pid=19530/tid=19545] ppid=19527 vsize=27326612 memory=140171224083264 CPUtime=0.24 cores=0-7
/proc/19530/task/19545/stat : 19545 (java) R 19527 19527 16596 0 -1 4202560 712 0 0 0 24 0 0 0 20 0 20 0 418675525 27982450688 53194 33554432000 4194304 4196468 140730633932928 140567351567840 140568881512973 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13742080 140730633937642 140730633938070 140730633938070 140730633940943 0
[pid=19530/tid=19546] ppid=19527 vsize=27326612 memory=140171224083360 CPUtime=0.25 cores=0-7
/proc/19530/task/19546/stat : 19546 (java) R 19527 19527 16596 0 -1 4202560 332 0 0 0 24 1 0 0 20 0 20 0 418675525 27982450688 53194 33554432000 4194304 4196468 140730633932928 140567350536560 140568881503425 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 13742080 140730633937642 140730633938070 140730633938070 140730633940943 0
[pid=19530/tid=19547] ppid=19527 vsize=27326612 memory=140171224083456 CPUtime=0.63 cores=0-7
/proc/19530/task/19547/stat : 19547 (java) R 19527 19527 16596 0 -1 4202560 1969 0 0 0 63 0 0 0 20 0 20 0 418675525 27982450688 53194 33554432000 4194304 4196468 140730633932928 140567349481568 140568884049246 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13742080 140730633937642 140730633938070 140730633938070 140730633940943 0
[pid=19530/tid=19548] ppid=19527 vsize=27326612 memory=0 CPUtime=0 cores=0-7
/proc/19530/task/19548/stat : 19548 (java) S 19527 19527 16596 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418675525 27982450688 53194 33554432000 4194304 4196468 140730633932928 140565555440480 140568899978965 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13742080 140730633937642 140730633938070 140730633938070 140730633940943 0
[pid=19530/tid=19549] ppid=19527 vsize=27326612 memory=4420 CPUtime=0 cores=0-7
/proc/19530/task/19549/stat : 19549 (java) S 19527 19527 16596 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418675525 27982450688 53194 33554432000 4194304 4196468 140730633932928 140567348431664 140568899979906 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13742080 140730633937642 140730633938070 140730633938070 140730633940943 0
Current children cumulated CPU time: 2.87 s
Current children cumulated vsize: 27439740 KiB
Current children cumulated memory: 214172 KiB

[startup+2.79899 s]
# the end of solver process 19527 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=5.72092 s, system=0.267382 s

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

[startup+1.60133 s]
/proc/loadavg: 3.11 6.16 7.20 2/211 19549
/proc/meminfo: memFree=26675840/32770624 swapFree=66957016/67108860
[pid=19527] ppid=19524 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/19527/stat : 19527 (scop.sh) S 19524 19527 16596 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 418675517 115843072 349 33554432000 4194304 5098028 140720586316400 140720586313656 140634279641724 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 24850432 140720586318628 140720586318956 140720586318956 140720586321869 0
/proc/19527/statm: 28282 349 296 221 0 87 0
[pid=19530] ppid=19527 vsize=27326612 memory=222916 CPUtime=3.26 cores=0-7
/proc/19530/stat : 19530 (java) S 19527 19527 16596 0 -1 1077944320 24243 0 0 0 313 13 0 0 20 0 20 0 418675517 27982450688 55729 33554432000 4194304 4196468 140730633932928 140730633915472 140568899968759 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 13742080 140730633937642 140730633938070 140730633938070 140730633940943 0
/proc/19530/statm: 6831653 55729 3247 1 0 6792983 0
[pid=19530/tid=19531] ppid=19527 vsize=27326612 memory=7661858187702200424 CPUtime=1.57 cores=0-7
/proc/19530/task/19531/stat : 19531 (java) R 19527 19527 16596 0 -1 4202560 18514 0 0 0 149 8 0 0 20 0 20 0 418675518 27982450688 55729 33554432000 4194304 4196468 140730633932928 140568871807120 140568396993616 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13742080 140730633937642 140730633938070 140730633938070 140730633940943 0
[pid=19530/tid=19532] ppid=19527 vsize=27326612 memory=7666644340224386413 CPUtime=0 cores=0-7
/proc/19530/task/19532/stat : 19532 (java) S 19527 19527 16596 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418675520 27982450688 55729 33554432000 4194304 4196468 140730633932928 140568904211344 140568899978965 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13742080 140730633937642 140730633938070 140730633938070 140730633940943 0
[pid=19530/tid=19533] ppid=19527 vsize=27326612 memory=4294969568 CPUtime=0 cores=0-7
/proc/19530/task/19533/stat : 19533 (java) S 19527 19527 16596 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418675520 27982450688 55729 33554432000 4194304 4196468 140730633932928 140568718367504 140568899978965 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13742080 140730633937642 140730633938070 140730633938070 140730633940943 0
[pid=19530/tid=19534] ppid=19527 vsize=27326612 memory=2244 CPUtime=0 cores=0-7
/proc/19530/task/19534/stat : 19534 (java) S 19527 19527 16596 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418675520 27982450688 55729 33554432000 4194304 4196468 140730633932928 140568717315216 140568899978965 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13742080 140730633937642 140730633938070 140730633938070 140730633940943 0
[pid=19530/tid=19535] ppid=19527 vsize=27326612 memory=7533807676074704953 CPUtime=0 cores=0-7
/proc/19530/task/19535/stat : 19535 (java) S 19527 19527 16596 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418675520 27982450688 55729 33554432000 4194304 4196468 140730633932928 140568716262416 140568899978965 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13742080 140730633937642 140730633938070 140730633938070 140730633940943 0
[pid=19530/tid=19536] ppid=19527 vsize=27326612 memory=7957689449132282195 CPUtime=0 cores=0-7
/proc/19530/task/19536/stat : 19536 (java) S 19527 19527 16596 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418675520 27982450688 55729 33554432000 4194304 4196468 140730633932928 140568715209104 140568899978965 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13742080 140730633937642 140730633938070 140730633938070 140730633940943 0
[pid=19530/tid=19537] ppid=19527 vsize=27326612 memory=6940698281606406720 CPUtime=0 cores=0-7
/proc/19530/task/19537/stat : 19537 (java) S 19527 19527 16596 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418675520 27982450688 55729 33554432000 4194304 4196468 140730633932928 140568714156304 140568899978965 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13742080 140730633937642 140730633938070 140730633938070 140730633940943 0
[pid=19530/tid=19538] ppid=19527 vsize=27326612 memory=0 CPUtime=0 cores=0-7
/proc/19530/task/19538/stat : 19538 (java) S 19527 19527 16596 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418675520 27982450688 55729 33554432000 4194304 4196468 140730633932928 140568713104016 140568899978965 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13742080 140730633937642 140730633938070 140730633938070 140730633940943 0
[pid=19530/tid=19539] ppid=19527 vsize=27326612 memory=2241 CPUtime=0 cores=0-7
/proc/19530/task/19539/stat : 19539 (java) S 19527 19527 16596 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418675520 27982450688 55729 33554432000 4194304 4196468 140730633932928 140568712051216 140568899978965 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13742080 140730633937642 140730633938070 140730633938070 140730633940943 0
[pid=19530/tid=19540] ppid=19527 vsize=27326612 memory=2244 CPUtime=0 cores=0-7
/proc/19530/task/19540/stat : 19540 (java) S 19527 19527 16596 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 418675522 27982450688 55729 33554432000 4194304 4196468 140730633932928 140567353694832 140568899979906 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13742080 140730633937642 140730633938070 140730633938070 140730633940943 0
[pid=19530/tid=19541] ppid=19527 vsize=27326612 memory=2020 CPUtime=0 cores=0-7
/proc/19530/task/19541/stat : 19541 (java) S 19527 19527 16596 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 418675522 27982450688 55729 33554432000 4194304 4196468 140730633932928 140566562071840 140568899978965 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13742080 140730633937642 140730633938070 140730633938070 140730633940943 0
[pid=19530/tid=19542] ppid=19527 vsize=27326612 memory=988 CPUtime=0 cores=0-7
/proc/19530/task/19542/stat : 19542 (java) S 19527 19527 16596 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 418675522 27982450688 55729 33554432000 4194304 4196468 140730633932928 140566427850352 140568899978965 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13742080 140730633937642 140730633938070 140730633938070 140730633940943 0
[pid=19530/tid=19543] ppid=19527 vsize=27326612 memory=1368 CPUtime=0 cores=0-7
/proc/19530/task/19543/stat : 19543 (java) S 19527 19527 16596 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418675525 27982450688 55729 33554432000 4194304 4196468 140730633932928 140566053345872 140568899987355 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13742080 140730633937642 140730633938070 140730633938070 140730633940943 0
[pid=19530/tid=19544] ppid=19527 vsize=27326612 memory=1056 CPUtime=0.33 cores=0-7
/proc/19530/task/19544/stat : 19544 (java) R 19527 19527 16596 0 -1 4202560 1210 0 0 0 32 1 0 0 20 0 20 0 418675525 27982450688 55729 33554432000 4194304 4196468 140730633932928 140567352622848 140568883379653 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13742080 140730633937642 140730633938070 140730633938070 140730633940943 0
[pid=19530/tid=19545] ppid=19527 vsize=27326612 memory=1716 CPUtime=0.31 cores=0-7
/proc/19530/task/19545/stat : 19545 (java) R 19527 19527 16596 0 -1 4202560 742 0 0 0 31 0 0 0 20 0 20 0 418675525 27982450688 55729 33554432000 4194304 4196468 140730633932928 140567351588848 140568899982668 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13742080 140730633937642 140730633938070 140730633938070 140730633940943 0
[pid=19530/tid=19546] ppid=19527 vsize=27326612 memory=6100 CPUtime=0.32 cores=0-7
/proc/19530/task/19546/stat : 19546 (java) R 19527 19527 16596 0 -1 4202560 367 0 0 0 31 1 0 0 20 0 20 0 418675525 27982450688 55729 33554432000 4194304 4196468 140730633932928 140567350524240 140568878135047 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 13742080 140730633937642 140730633938070 140730633938070 140730633940943 0
[pid=19530/tid=19547] ppid=19527 vsize=27326612 memory=11624 CPUtime=0.67 cores=0-7
/proc/19530/task/19547/stat : 19547 (java) S 19527 19527 16596 0 -1 1077944384 2050 0 0 0 67 0 0 0 20 0 20 0 418675525 27982450688 55729 33554432000 4194304 4196468 140730633932928 140567349483760 140568899979906 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13742080 140730633937642 140730633938070 140730633938070 140730633940943 0
[pid=19530/tid=19548] ppid=19527 vsize=27326612 memory=732 CPUtime=0 cores=0-7
/proc/19530/task/19548/stat : 19548 (java) S 19527 19527 16596 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418675525 27982450688 55729 33554432000 4194304 4196468 140730633932928 140565555440480 140568899978965 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13742080 140730633937642 140730633938070 140730633938070 140730633940943 0
[pid=19530/tid=19549] ppid=19527 vsize=27326612 memory=776 CPUtime=0 cores=0-7
/proc/19530/task/19549/stat : 19549 (java) S 19527 19527 16596 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418675525 27982450688 55729 33554432000 4194304 4196468 140730633932928 140567348431664 140568899979906 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13742080 140730633937642 140730633938070 140730633938070 140730633940943 0
Current children cumulated CPU time: 3.26 s
Current children cumulated vsize: 27439740 KiB
Current children cumulated memory: 224312 KiB

[startup+2.40037 s]
/proc/loadavg: 3.11 6.16 7.20 2/193 19551
/proc/meminfo: memFree=26850104/32770624 swapFree=66957016/67108860
[pid=19527] ppid=19524 vsize=113128 memory=1476 CPUtime=4.74 cores=0-7
/proc/19527/stat : 19527 (scop.sh) S 19524 19527 16596 0 -1 4202496 582 27504 0 0 0 0 457 17 20 0 1 0 418675517 115843072 369 33554432000 4194304 5098028 140720586316400 140720586313144 140634279641724 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 24850432 140720586318628 140720586318956 140720586318956 140720586321869 0
/proc/19527/statm: 28282 369 311 221 0 87 0
[pid=19550] ppid=19527 vsize=7752268 memory=68028 CPUtime=0.53 cores=0-7
/proc/19550/stat : 19550 (java) S 19527 19527 16596 0 -1 1077944320 12240 0 0 0 49 4 0 0 20 0 20 0 418675717 7938322432 17007 33554432000 4194304 4196468 140730098523248 140730098505792 140536618180343 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 13619200 140730098525175 140730098525334 140730098525334 140730098528207 0
/proc/19550/statm: 1938067 17007 3040 1 0 1899951 0
[pid=19550/tid=19551] ppid=19527 vsize=7752268 memory=0 CPUtime=0.38 cores=0-7
/proc/19550/task/19551/stat : 19551 (java) R 19527 19527 16596 0 -1 4202560 9930 0 0 0 35 3 0 0 20 0 20 0 418675717 7938322432 17007 33554432000 4194304 4196468 140730098523248 140536590001632 140536618194230 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13619200 140730098525175 140730098525334 140730098525334 140730098528207 0
Current children cumulated CPU time: 5.27 s
Current children cumulated vsize: 7865396 KiB
Current children cumulated memory: 69504 KiB

[startup+2.60041 s]
/proc/loadavg: 3.11 6.16 7.20 2/193 19551
/proc/meminfo: memFree=26850104/32770624 swapFree=66957016/67108860
[pid=19527] ppid=19524 vsize=113128 memory=1476 CPUtime=4.74 cores=0-7
/proc/19527/stat : 19527 (scop.sh) S 19524 19527 16596 0 -1 4202496 582 27504 0 0 0 0 457 17 20 0 1 0 418675517 115843072 369 33554432000 4194304 5098028 140720586316400 140720586313144 140634279641724 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 24850432 140720586318628 140720586318956 140720586318956 140720586321869 0
/proc/19527/statm: 28282 369 311 221 0 87 0
[pid=19550] ppid=19527 vsize=7752288 memory=95380 CPUtime=0.82 cores=0-7
/proc/19550/stat : 19550 (java) S 19527 19527 16596 0 -1 1077944320 18148 0 0 0 76 6 0 0 20 0 20 0 418675717 7938342912 23845 33554432000 4194304 4196468 140730098523248 140730098505792 140536618180343 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 13619200 140730098525175 140730098525334 140730098525334 140730098528207 0
/proc/19550/statm: 1938072 23845 3106 1 0 1899951 0
[pid=19550/tid=19551] ppid=19527 vsize=7752288 memory=6791534058613427641 CPUtime=0.58 cores=0-7
/proc/19550/task/19551/stat : 19551 (java) R 19527 19527 16596 0 -1 4202560 15742 0 0 0 54 4 0 0 20 0 20 0 418675717 7938342912 23845 33554432000 4194304 4196468 140730098523248 140536589957936 140536601367083 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 13619200 140730098525175 140730098525334 140730098525334 140730098528207 0
Current children cumulated CPU time: 5.56 s
Current children cumulated vsize: 7865416 KiB
Current children cumulated memory: 96856 KiB

[startup+2.70036 s]
/proc/loadavg: 3.11 6.16 7.20 2/193 19551
/proc/meminfo: memFree=26850104/32770624 swapFree=66957016/67108860
[pid=19527] ppid=19524 vsize=113128 memory=1476 CPUtime=4.74 cores=0-7
/proc/19527/stat : 19527 (scop.sh) S 19524 19527 16596 0 -1 4202496 582 27504 0 0 0 0 457 17 20 0 1 0 418675517 115843072 369 33554432000 4194304 5098028 140720586316400 140720586313144 140634279641724 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 24850432 140720586318628 140720586318956 140720586318956 140720586321869 0
/proc/19527/statm: 28282 369 311 221 0 87 0
[pid=19550] ppid=19527 vsize=7754336 memory=99640 CPUtime=0.99 cores=0-7
/proc/19550/stat : 19550 (java) S 19527 19527 16596 0 -1 1077944320 18747 0 0 0 92 7 0 0 20 0 20 0 418675717 7940440064 24910 33554432000 4194304 4196468 140730098523248 140730098505792 140536618180343 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 13619200 140730098525175 140730098525334 140730098525334 140730098528207 0
/proc/19550/statm: 1938584 24910 3135 1 0 1900463 0
[pid=19550/tid=19551] ppid=19527 vsize=7754336 memory=76560 CPUtime=0.68 cores=0-7
/proc/19550/task/19551/stat : 19551 (java) R 19527 19527 16596 0 -1 4202560 16190 0 0 0 63 5 0 0 20 0 20 0 418675717 7940440064 24910 33554432000 4194304 4196468 140730098523248 140536590006576 140536602260830 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13619200 140730098525175 140730098525334 140730098525334 140730098528207 0
Current children cumulated CPU time: 5.73 s
Current children cumulated vsize: 7867464 KiB
Current children cumulated memory: 101116 KiB

Child status: 0
Real time (s): 2.79908
CPU time (s): 5.9883
CPU user time (s): 5.72092
CPU system time (s): 0.267382
CPU usage (%): 213.938
Max. virtual memory (cumulated for all children) (KiB): 27441856
Max. memory (cumulated for all children) (KiB): 263932

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 5.72092
system time used= 0.267382
maximum resident set size= 268976
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 48845
page faults= 0
swaps= 0
block input operations= 0
block output operations= 328
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7182
involuntary context switches= 16


# summary of solver processes directly reported to runsolver:
#   pid: 19527
#   total CPU time (s): 5.9883
#   total CPU user time (s): 5.72092
#   total CPU system time (s): 0.267382

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.041961 second user time and 0.064725 second system time

The end

Launcher Data 

Begin job on node147 at 2019-09-14 04:19:33
IDJOB=4392641
IDBENCH=126861
IDSOLVER=2839
FILE ID=node147/4392641-1568427617
RUNJOBID= node147-1568427292-16623
PBS_JOBID= 21702296
Free space on /tmp= 58880 MiB

SOLVER NAME= Fun-sCOP hybrid+ManyGlucose (2019-06-15)
BENCH NAME= XCSP17/Dubois/Dubois-m1-s1/Dubois-050.xml
COMMAND LINE= DIR/scop.sh 22g DIR/scop.jar -hybrid DIR/manyglucose-4.1-27_release -model:-nthreads=NBCORE:-maxmemory=20000:-lit-scans=6000000 TMPDIR BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4392641-1568427617/watcher-4392641-1568427617 -o /tmp/evaluation-result-4392641-1568427617/solver-4392641-1568427617 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node147-1568427292-16623 --watchdog 2580  HOME/scop.sh 22g HOME/scop.jar -hybrid HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4392641-1568427617.xml

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

MD5SUM BENCH= 630ab63eaf7c5bcaa7f0eb192a58705a
RANDOM SEED=774393160

node147.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.52
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.52
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.52
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.52
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:        26849436 kB
MemAvailable:   31811960 kB
Buffers:          188404 kB
Cached:          5001032 kB
SwapCached:        48496 kB
Active:          2029260 kB
Inactive:        3212716 kB
Active(anon):       4320 kB
Inactive(anon):    89344 kB
Active(file):    2024940 kB
Inactive(file):  3123372 kB
Unevictable:      107760 kB
Mlocked:          107760 kB
SwapTotal:      67108860 kB
SwapFree:       66957016 kB
Dirty:             20512 kB
Writeback:             0 kB
AnonPages:        112964 kB
Mapped:            44876 kB
Shmem:             32768 kB
Slab:             271996 kB
SReclaimable:     242672 kB
SUnreclaim:        29324 kB
KernelStack:        3472 kB
PageTables:         5460 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     497812 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:      120192 kB
DirectMap2M:    33425408 kB

Free space on /tmp at the end= 58860 MiB
End job on node147 at 2019-09-14 04:19:36