Trace number 4305766

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
scop both+MapleCOMSPS (2018-07-31)UNSAT 17.9558 7.46034

General information on the benchmark

NameRlfap/Rlfap-dec-scens11/
Rlfap-scen-11-f11_c18.xml
MD5SUM495f96cb472313b50d142b917feb6977
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 benchmark1.20148
Satisfiable
(Un)Satisfiability was proved
Number of variables680
Number of constraints4103
Number of domains5
Minimum domain size6
Maximum domain size33
Distribution of domain sizes[{"size":6,"count":2},{"size":18,"count":4},{"size":22,"count":10},{"size":27,"count":336},{"size":33,"count":328}]
Minimum variable degree1
Maximum variable degree62
Distribution of variable degrees[{"degree":1,"count":1},{"degree":3,"count":26},{"degree":4,"count":13},{"degree":5,"count":86},{"degree":6,"count":20},{"degree":7,"count":89},{"degree":8,"count":12},{"degree":9,"count":87},{"degree":10,"count":28},{"degree":11,"count":42},{"degree":12,"count":25},{"degree":13,"count":40},{"degree":14,"count":14},{"degree":15,"count":40},{"degree":16,"count":8},{"degree":17,"count":29},{"degree":18,"count":6},{"degree":19,"count":18},{"degree":20,"count":13},{"degree":21,"count":11},{"degree":22,"count":7},{"degree":23,"count":7},{"degree":24,"count":8},{"degree":25,"count":8},{"degree":27,"count":9},{"degree":28,"count":8},{"degree":29,"count":2},{"degree":30,"count":6},{"degree":31,"count":1},{"degree":35,"count":3},{"degree":36,"count":3},{"degree":38,"count":2},{"degree":39,"count":2},{"degree":42,"count":1},{"degree":43,"count":1},{"degree":44,"count":1},{"degree":47,"count":1},{"degree":55,"count":1},{"degree":62,"count":1}]
Minimum constraint arity2
Maximum constraint arity2
Distribution of constraint arities[{"arity":2,"count":4103}]
Number of extensional constraints0
Number of intensional constraints4103
Distribution of constraint types[{"type":"intension","count":4103}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c (scop.sh) java -Xms11g -Xmx11g -Xss128m -cp scop.jar fun.scop.XCSP18Encode -both -solver minisat_release -solverOption default -tmp HOME -serialFile HOME/scop-24860-serial-file.bin HOME/instance-4305766-1534068155.xml
0.66/0.52	
0.66/0.52	scop both+minisat_release (2018-07-31)
0.66/0.52	(Encoding Process)
0.66/0.52	
0.66/0.55	c BEGIN-Prog: Sun Aug 12 12:02:36 CEST 2018
0.66/0.55	c PID: 24863
0.66/0.55	c IP: 172.20.3.106
0.66/0.55	c HOST: node106.alineos.net
0.66/0.55	c (0,0) Parsing Begin
4.77/2.01	c (1,1) Parsing End
5.11/2.02	c (1,1) CSP: 680 int (0 aux), 0 bool (0 aux), 4103 ctr, max domain size 33
5.11/2.02	c (1,1) Heap : 563 MiB used (max 10795 MiB), NonHeap : 25 MiB used (max 0 MiB)
5.11/2.02	c (1,1) Constraint Name Generate Begin
5.11/2.04	c (1,1) Ctr:HOME/instance-4305766-1534068155.xml,Dist:Eq:IntVar:Le:Num
5.11/2.04	c (1,1) Constraint Name Generate End
5.11/2.04	c (1,1) Heap : 563 MiB used (max 10795 MiB), NonHeap : 25 MiB used (max 0 MiB)
5.11/2.04	c (1,1) CSP to CSPinCNF Begin
6.02/2.33	c (1,1) translated 411 (10%) constraints
6.02/2.39	c (1,1) translated 821 (20%) constraints
6.36/2.44	c (1,1) translated 1231 (30%) constraints
6.36/2.48	c (1,1) translated 1642 (40%) constraints
6.66/2.53	c (2,1) translated 2052 (50%) constraints
6.66/2.58	c (2,2) translated 2462 (60%) constraints
6.96/2.62	c (2,2) translated 2873 (70%) constraints
6.96/2.66	c (2,2) translated 3283 (80%) constraints
7.26/2.70	c (2,2) translated 3693 (90%) constraints
7.26/2.80	c (2,2) translated 4103 (100%) constraints
7.65/2.88	c (2,2) STATISTICS1:HOME/instance-4305766-1534068155.xml,Dist:Eq:IntVar:Le:Num,680,4783,33,33,2,2,33:3314;27:5144;22:344;18:24;6:60,33:9348;27:7956;22:364;18:40;6:64,2:4103;1:680,2:8886,
7.65/2.88	c (2,2) ==========================================
7.65/2.88	c (2,2) Both Encoding selects:
7.65/2.88	c (2,2) Order
7.65/2.88	c (2,2) ==========================================
7.96/2.92	c (2,2) translated 479 (10%) constraints
7.96/2.93	c (2,2) translated 957 (20%) constraints
7.96/2.95	c (2,2) translated 1435 (30%) constraints
7.96/2.97	c (2,2) translated 1914 (40%) constraints
7.96/2.98	c (2,2) translated 2392 (50%) constraints
7.96/3.00	c (2,2) translated 2870 (60%) constraints
8.32/3.02	c (2,2) translated 3349 (70%) constraints
8.32/3.03	c (2,2) translated 3827 (80%) constraints
8.32/3.05	c (2,2) translated 4305 (90%) constraints
8.32/3.06	c (2,2) translated 4783 (100%) constraints
8.32/3.06	c (2,2) CSP to CSPinCNF End
8.32/3.06	c (2,2) CSP: 680 int (0 aux), 0 bool (0 aux), 4783 ctr, max domain size 33
8.32/3.06	c (2,2) Heap : 732 MiB used (max 10795 MiB), NonHeap : 32 MiB used (max 0 MiB)
8.32/3.06	c (2,2) CSPinCNF Propagation Begin
10.32/4.18	c (3,3) 0 values, 0 unsatisfiable literals, and 0 valid clauses are removed
10.32/4.18	c (3,3) CSPinCNF Propagation End
10.32/4.18	c (3,3) CSP: 680 int (0 aux), 0 bool (0 aux), 4783 ctr, max domain size 33
10.32/4.18	c (3,3) Heap : 1802 MiB used (max 10795 MiB), NonHeap : 33 MiB used (max 0 MiB)
10.32/4.18	c (3,3) Simplify CSPinCNF Begin
11.03/4.44	c (3,3) Simplify CSPinCNF End
11.03/4.44	c (3,3) CSP: 680 int (0 aux), 8206 bool (8206 aux), 12989 ctr, max domain size 33
11.03/4.44	c (3,3) Heap : 1858 MiB used (max 10795 MiB), NonHeap : 33 MiB used (max 0 MiB)
11.03/4.44	c (3,3) Calculate Precise Domain Begin
11.03/4.44	c (3,3) 0 values are removed by re-calculation
11.03/4.44	c (3,3) Calculate Precise Domain End
11.03/4.44	c (3,3) CSP: 680 int (0 aux), 8206 bool (8206 aux), 12989 ctr, max domain size 33
11.03/4.44	c (3,3) Heap : 1858 MiB used (max 10795 MiB), NonHeap : 33 MiB used (max 0 MiB)
11.03/4.44	c (3,3) CSPinCNF to SatSolver Begin
12.01/4.77	c (4,4) 1299 (10 %) CSP clauses are encoded (27726 SAT variables, 42336 SAT clauses)
12.62/4.90	c (4,4) 2598 (20 %) CSP clauses are encoded (27726 SAT variables, 65353 SAT clauses)
12.95/5.03	c (4,4) 3897 (30 %) CSP clauses are encoded (27726 SAT variables, 86539 SAT clauses)
13.26/5.15	c (4,4) 5196 (40 %) CSP clauses are encoded (27726 SAT variables, 109739 SAT clauses)
13.54/5.26	c (4,4) 6495 (50 %) CSP clauses are encoded (27726 SAT variables, 134926 SAT clauses)
13.82/5.34	c (4,4) 7794 (60 %) CSP clauses are encoded (27726 SAT variables, 160024 SAT clauses)
14.04/5.43	c (4,4) 9093 (70 %) CSP clauses are encoded (27726 SAT variables, 184832 SAT clauses)
14.28/5.51	c (4,4) 10392 (80 %) CSP clauses are encoded (27726 SAT variables, 209703 SAT clauses)
14.28/5.58	c (5,5) 11691 (90 %) CSP clauses are encoded (27726 SAT variables, 232359 SAT clauses)
14.49/5.64	c (5,5) 12989 (100 %) CSP clauses are encoded (27726 SAT variables, 249963 SAT clauses)
14.49/5.64	c (5,5) Launch Command will be: minisat_release
14.49/5.64	c (5,5) CSPinCNF to SatSolver End
14.49/5.64	c (5,5) Heap : 2422 MiB used (max 10795 MiB), NonHeap : 36 MiB used (max 0 MiB)
14.77/5.74	c (5,5) STATISTICS2:HOME/instance-4305766-1534068155.xml,Dist:Eq:IntVar:Le:Num,8886,12989,33,33,2,2,33:3314;27:5144;22:344;18:24;6:60,33:9348;27:7956;22:364;18:40;6:64;2:16412,2:12309;1:680,2:8886;1:16412,
14.77/5.74	c (5,5) 27726 bool, 249975 clause
14.77/5.74	c (5,5) Export Begin
15.78/6.14	c (5,5) Export to HOME/scop-24860-serial-file.bin
15.78/6.14	c (5,5) Export End
15.78/6.14	c (5,5) Export File Size: 3.29 MB
15.78/6.14	c (5,5) 1,1,2,3,3,3,5,STOP-AFTER(DIMACS)
15.78/6.14	c END-Prog: Sun Aug 12 12:02:42 CEST 2018
15.78/6.17	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp scop.jar fun.scop.XCSP18Solve HOME/scop-24860-serial-file.bin
15.86/6.66	c (0,0) Read Serial File Begin
15.86/6.66	c (0,0) HOME/scop-24860-serial-file.bin
15.86/7.00	c (0,0) Read Serial File End
17.32/7.02	
17.32/7.02	scop order+minisat_release (2018-07-31)
17.32/7.02	(Solving Process)
17.32/7.02	
17.32/7.04	c BEGIN-Prog: Sun Aug 12 12:02:43 CEST 2018
17.32/7.04	c PID: 24878
17.32/7.04	c IP: 172.20.3.106
17.32/7.04	c HOST: node106.alineos.net
17.32/7.04	c (0,0) SatSolver.solve Begin
17.32/7.04	c (0,0) 0 bool, 0 clause
17.32/7.04	c (0,0) minisat_release HOME/instance-4305766-1534068155.xml-scop-24863.cnf
17.53/7.44	c (0,0) c This is COMiniSatPS.
17.53/7.44	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
17.53/7.44	c (0,0) c ============================[ Problem Statistics ]=============================
17.53/7.44	c (0,0) c |                                                                             |
17.53/7.44	c (0,0) c |  Number of variables:         27726                                         |
17.53/7.44	c (0,0) c |  Number of clauses:          249975                                         |
17.53/7.44	c (0,0) c |  Parse time:                   0.09 s                                       |
17.53/7.44	c (0,0) c |  Eliminated clauses:           0.08 Mb                                      |
17.53/7.44	c (0,0) c Reduced to 23506 vars, 245658 cls (grow=0)
17.53/7.44	c (0,0) c No iterative elimination performed. (vars=23506, c/v ratio=10.5)
17.53/7.44	c (0,0) c |  Simplification time:          0.25 s                                       |
17.53/7.44	c (0,0) c |                                                                             |
17.53/7.44	c (0,0) c ============================[ Search Statistics ]==============================
17.53/7.44	c (0,0) c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
17.53/7.44	c (0,0) c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
17.53/7.44	c (0,0) c ===============================================================================
17.53/7.44	c (0,0) c ===============================================================================
17.53/7.44	c (0,0) c restarts              : 1
17.53/7.44	c (0,0) c conflicts             : 60             (167 /sec)
17.53/7.44	c (0,0) c decisions             : 995            (0.00 % random) (2771 /sec)
17.53/7.44	c (0,0) c propagations          : 45130          (125706 /sec)
17.53/7.44	c (0,0) c conflict literals     : 289            (13.73 % deleted)
17.53/7.44	c (0,0) c CPU time              : 0.359013 s
17.53/7.44	c (0,0) 
17.53/7.44	c (0,0) s UNSATISFIABLE
17.53/7.44	c (0,0) SatSolver.solve End
17.53/7.44	c (0,0) Heap : 164 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
17.53/7.44	c (0,0) Show results Begin
17.53/7.44	s UNSATISFIABLE
17.53/7.44	c (0,0) Show results End
17.53/7.44	c (0,0) Heap : 164 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
17.53/7.45	c (0,0) 0,0,STOP-AFTER(ALL)
17.53/7.45	c END-Prog: Sun Aug 12 12:02:43 CEST 2018

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4305766-1534068155/watcher-4305766-1534068155 -o /tmp/evaluation-result-4305766-1534068155/solver-4305766-1534068155 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node106-1534060601-23198 --watchdog 2580 scop.sh 11g scop.jar -both minisat_release default HOME HOME/instance-4305766-1534068155.xml 

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

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

solver pid=24860, runsolver pid=24857

[startup+0.100091 s]*
/proc/loadavg: 2.00 2.04 2.06 3/224 24877
/proc/meminfo: memFree=20482480/32770624 swapFree=67108688/67108860
[pid=24860] ppid=24857 vsize=113128 memory=1392 CPUtime=0 cores=0,2,4,6
/proc/24860/stat : 24860 (scop.sh) S 24857 24860 23167 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 224378416 115843072 348 33554432000 4194304 5098028 140724287032304 140724287029560 140064123421308 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 29298688 140724287038529 140724287038727 140724287038727 140724287041485 0
/proc/24860/statm: 28282 348 296 221 0 87 0
[pid=24863] ppid=24860 vsize=15012476 memory=72084 CPUtime=0.11 cores=0,2,4,6
/proc/24863/stat : 24863 (java) S 24860 24860 23167 0 -1 1077944320 6117 0 0 0 10 1 0 0 20 0 15 0 224378416 15372775424 18021 33554432000 4194304 4196468 140736690640448 140736690622992 140442321960695 0 0 2 16800973 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 19054592 140736690648071 140736690648369 140736690648369 140736690651087 0
/proc/24863/statm: 3753119 18021 2772 1 0 3715579 0
[pid=24863/tid=24864] ppid=24860 vsize=15012476 memory=-6078870780940435391 CPUtime=0.09 cores=0,2,4,6
/proc/24863/task/24864/stat : 24864 (java) R 24860 24860 23167 0 -1 4202560 4199 0 0 0 8 1 0 0 20 0 15 0 224378417 15372775424 18021 33554432000 4194304 4196468 140736690640448 140442293772680 140442303334245 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19054592 140736690648071 140736690648369 140736690648369 140736690651087 0
[pid=24863/tid=24865] ppid=24860 vsize=15012476 memory=4206468019014099040 CPUtime=0 cores=0,2,4,6
/proc/24863/task/24865/stat : 24865 (java) S 24860 24860 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224378418 15372775424 18021 33554432000 4194304 4196468 140736690640448 140442326202640 140442321970901 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19054592 140736690648071 140736690648369 140736690648369 140736690651087 0
[pid=24863/tid=24866] ppid=24860 vsize=15012476 memory=140111957370496 CPUtime=0 cores=0,2,4,6
/proc/24863/task/24866/stat : 24866 (java) S 24860 24860 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224378418 15372775424 18021 33554432000 4194304 4196468 140736690640448 140442144291216 140442321970901 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19054592 140736690648071 140736690648369 140736690648369 140736690651087 0
[pid=24863/tid=24867] ppid=24860 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24863/task/24867/stat : 24867 (java) S 24860 24860 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224378418 15372775424 18021 33554432000 4194304 4196468 140736690640448 140441781086736 140442321970901 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19054592 140736690648071 140736690648369 140736690648369 140736690651087 0
[pid=24863/tid=24868] ppid=24860 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/24863/task/24868/stat : 24868 (java) S 24860 24860 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224378418 15372775424 18021 33554432000 4194304 4196468 140736690640448 140441780034192 140442321970901 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19054592 140736690648071 140736690648369 140736690648369 140736690651087 0
[pid=24863/tid=24869] ppid=24860 vsize=15012476 memory=140111957370496 CPUtime=0 cores=0,2,4,6
/proc/24863/task/24869/stat : 24869 (java) S 24860 24860 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224378420 15372775424 18021 33554432000 4194304 4196468 140736690640448 140441359538672 140442321971842 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19054592 140736690648071 140736690648369 140736690648369 140736690651087 0
[pid=24863/tid=24870] ppid=24860 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/24863/task/24870/stat : 24870 (java) S 24860 24860 23167 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224378420 15372775424 18021 33554432000 4194304 4196468 140736690640448 140440867169696 140442321970901 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19054592 140736690648071 140736690648369 140736690648369 140736690651087 0
[pid=24863/tid=24871] ppid=24860 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24863/task/24871/stat : 24871 (java) S 24860 24860 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224378421 15372775424 18021 33554432000 4194304 4196468 140736690640448 140440598734320 140442321970901 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19054592 140736690648071 140736690648369 140736690648369 140736690651087 0
[pid=24863/tid=24872] ppid=24860 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24863/task/24872/stat : 24872 (java) S 24860 24860 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224378423 15372775424 18021 33554432000 4194304 4196468 140736690640448 140440224226000 140442321979291 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19054592 140736690648071 140736690648369 140736690648369 140736690651087 0
[pid=24863/tid=24873] ppid=24860 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24863/task/24873/stat : 24873 (java) S 24860 24860 23167 0 -1 1077944384 301 0 0 0 0 0 0 0 20 0 15 0 224378423 15372775424 18021 33554432000 4194304 4196468 140736690640448 140441358485488 140442321971842 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19054592 140736690648071 140736690648369 140736690648369 140736690651087 0
[pid=24863/tid=24874] ppid=24860 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/24863/task/24874/stat : 24874 (java) S 24860 24860 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224378423 15372775424 18021 33554432000 4194304 4196468 140736690640448 140441357432944 140442321971842 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19054592 140736690648071 140736690648369 140736690648369 140736690651087 0
[pid=24863/tid=24875] ppid=24860 vsize=15012476 memory=140111957370496 CPUtime=0.01 cores=0,2,4,6
/proc/24863/task/24875/stat : 24875 (java) S 24860 24860 23167 0 -1 1077944384 283 0 0 0 1 0 0 0 20 0 15 0 224378423 15372775424 18021 33554432000 4194304 4196468 140736690640448 140441356380400 140442321971842 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19054592 140736690648071 140736690648369 140736690648369 140736690651087 0
[pid=24863/tid=24876] ppid=24860 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/24863/task/24876/stat : 24876 (java) S 24860 24860 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224378423 15372775424 18021 33554432000 4194304 4196468 140736690640448 140439726320224 140442321970901 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19054592 140736690648071 140736690648369 140736690648369 140736690651087 0
[pid=24863/tid=24877] ppid=24860 vsize=15012476 memory=140111957370496 CPUtime=0 cores=0,2,4,6
/proc/24863/task/24877/stat : 24877 (java) S 24860 24860 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224378423 15372775424 18021 33554432000 4194304 4196468 140736690640448 140441355328304 140442321971842 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19054592 140736690648071 140736690648369 140736690648369 140736690651087 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 73476 KiB

[startup+0.211503 s]*
/proc/loadavg: 2.00 2.04 2.06 3/224 24877
/proc/meminfo: memFree=20469116/32770624 swapFree=67108688/67108860
[pid=24860] ppid=24857 vsize=113128 memory=1392 CPUtime=0 cores=0,2,4,6
/proc/24860/stat : 24860 (scop.sh) S 24857 24860 23167 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 224378416 115843072 348 33554432000 4194304 5098028 140724287032304 140724287029560 140064123421308 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 29298688 140724287038529 140724287038727 140724287038727 140724287041485 0
/proc/24860/statm: 28282 348 296 221 0 87 0
[pid=24863] ppid=24860 vsize=15012476 memory=85396 CPUtime=0.26 cores=0,2,4,6
/proc/24863/stat : 24863 (java) S 24860 24860 23167 0 -1 1077944320 9763 0 0 0 23 3 0 0 20 0 15 0 224378416 15372775424 21349 33554432000 4194304 4196468 140736690640448 140736690622992 140442321960695 0 0 2 16800973 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 19054592 140736690648071 140736690648369 140736690648369 140736690651087 0
/proc/24863/statm: 3753119 21349 2875 1 0 3715579 0
[pid=24863/tid=24864] ppid=24860 vsize=15012476 memory=7022364632946311227 CPUtime=0.2 cores=0,2,4,6
/proc/24863/task/24864/stat : 24864 (java) R 24860 24860 23167 0 -1 4202560 7647 0 0 0 18 2 0 0 20 0 15 0 224378417 15372775424 21349 33554432000 4194304 4196468 140736690640448 140442293785792 140442321972630 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19054592 140736690648071 140736690648369 140736690648369 140736690651087 0
[pid=24863/tid=24865] ppid=24860 vsize=15012476 memory=546 CPUtime=0 cores=0,2,4,6
/proc/24863/task/24865/stat : 24865 (java) S 24860 24860 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224378418 15372775424 21349 33554432000 4194304 4196468 140736690640448 140442326202640 140442321970901 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19054592 140736690648071 140736690648369 140736690648369 140736690651087 0
[pid=24863/tid=24866] ppid=24860 vsize=15012476 memory=140111958562782 CPUtime=0 cores=0,2,4,6
/proc/24863/task/24866/stat : 24866 (java) S 24860 24860 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224378418 15372775424 21349 33554432000 4194304 4196468 140736690640448 140442144291216 140442321970901 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19054592 140736690648071 140736690648369 140736690648369 140736690651087 0
[pid=24863/tid=24867] ppid=24860 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24863/task/24867/stat : 24867 (java) S 24860 24860 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224378418 15372775424 21349 33554432000 4194304 4196468 140736690640448 140441781086736 140442321970901 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19054592 140736690648071 140736690648369 140736690648369 140736690651087 0
[pid=24863/tid=24868] ppid=24860 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/24863/task/24868/stat : 24868 (java) S 24860 24860 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224378418 15372775424 21349 33554432000 4194304 4196468 140736690640448 140441780034192 140442321970901 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19054592 140736690648071 140736690648369 140736690648369 140736690651087 0
[pid=24863/tid=24869] ppid=24860 vsize=15012476 memory=140111957370496 CPUtime=0 cores=0,2,4,6
/proc/24863/task/24869/stat : 24869 (java) S 24860 24860 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224378420 15372775424 21349 33554432000 4194304 4196468 140736690640448 140441359538672 140442321971842 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19054592 140736690648071 140736690648369 140736690648369 140736690651087 0
[pid=24863/tid=24870] ppid=24860 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/24863/task/24870/stat : 24870 (java) S 24860 24860 23167 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224378420 15372775424 21349 33554432000 4194304 4196468 140736690640448 140440867169696 140442321970901 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19054592 140736690648071 140736690648369 140736690648369 140736690651087 0
[pid=24863/tid=24871] ppid=24860 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24863/task/24871/stat : 24871 (java) S 24860 24860 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224378421 15372775424 21349 33554432000 4194304 4196468 140736690640448 140440598734320 140442321970901 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19054592 140736690648071 140736690648369 140736690648369 140736690651087 0
[pid=24863/tid=24872] ppid=24860 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24863/task/24872/stat : 24872 (java) S 24860 24860 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224378423 15372775424 21349 33554432000 4194304 4196468 140736690640448 140440224226000 140442321979291 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19054592 140736690648071 140736690648369 140736690648369 140736690651087 0
[pid=24863/tid=24873] ppid=24860 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24863/task/24873/stat : 24873 (java) S 24860 24860 23167 0 -1 1077944384 450 0 0 0 0 0 0 0 20 0 15 0 224378423 15372775424 21349 33554432000 4194304 4196468 140736690640448 140441358485488 140442321971842 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19054592 140736690648071 140736690648369 140736690648369 140736690651087 0
[pid=24863/tid=24874] ppid=24860 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/24863/task/24874/stat : 24874 (java) S 24860 24860 23167 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 15 0 224378423 15372775424 21349 33554432000 4194304 4196468 140736690640448 140441357432944 140442321971842 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19054592 140736690648071 140736690648369 140736690648369 140736690651087 0
[pid=24863/tid=24875] ppid=24860 vsize=15012476 memory=140111957370496 CPUtime=0.03 cores=0,2,4,6
/proc/24863/task/24875/stat : 24875 (java) R 24860 24860 23167 0 -1 4202560 316 0 0 0 3 0 0 0 20 0 15 0 224378423 15372775424 21349 33554432000 4194304 4196468 140736690640448 140441356380400 140442300875755 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19054592 140736690648071 140736690648369 140736690648369 140736690651087 0
[pid=24863/tid=24876] ppid=24860 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/24863/task/24876/stat : 24876 (java) S 24860 24860 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224378423 15372775424 21349 33554432000 4194304 4196468 140736690640448 140439726320224 140442321970901 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19054592 140736690648071 140736690648369 140736690648369 140736690651087 0
[pid=24863/tid=24877] ppid=24860 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24863/task/24877/stat : 24877 (java) S 24860 24860 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224378423 15372775424 21349 33554432000 4194304 4196468 140736690640448 140441355328304 140442321971842 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19054592 140736690648071 140736690648369 140736690648369 140736690651087 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 86788 KiB

[startup+0.310633 s]*
/proc/loadavg: 2.00 2.04 2.06 3/224 24877
/proc/meminfo: memFree=20465580/32770624 swapFree=67108688/67108860
[pid=24860] ppid=24857 vsize=113128 memory=1392 CPUtime=0 cores=0,2,4,6
/proc/24860/stat : 24860 (scop.sh) S 24857 24860 23167 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 224378416 115843072 348 33554432000 4194304 5098028 140724287032304 140724287029560 140064123421308 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 29298688 140724287038529 140724287038727 140724287038727 140724287041485 0
/proc/24860/statm: 28282 348 296 221 0 87 0
[pid=24863] ppid=24860 vsize=15012476 memory=89608 CPUtime=0.42 cores=0,2,4,6
/proc/24863/stat : 24863 (java) S 24860 24860 23167 0 -1 1077944320 10380 0 0 0 39 3 0 0 20 0 15 0 224378416 15372775424 22402 33554432000 4194304 4196468 140736690640448 140736690622992 140442321960695 0 0 2 16800973 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 19054592 140736690648071 140736690648369 140736690648369 140736690651087 0
/proc/24863/statm: 3753119 22402 2984 1 0 3715579 0
[pid=24863/tid=24864] ppid=24860 vsize=15012476 memory=6791534058613427641 CPUtime=0.29 cores=0,2,4,6
/proc/24863/task/24864/stat : 24864 (java) R 24860 24860 23167 0 -1 4202560 8084 0 0 0 27 2 0 0 20 0 15 0 224378417 15372775424 22402 33554432000 4194304 4196468 140736690640448 140442293755696 140442306041182 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19054592 140736690648071 140736690648369 140736690648369 140736690651087 0
[pid=24863/tid=24865] ppid=24860 vsize=15012476 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/24863/task/24865/stat : 24865 (java) S 24860 24860 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224378418 15372775424 22402 33554432000 4194304 4196468 140736690640448 140442326202640 140442321970901 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19054592 140736690648071 140736690648369 140736690648369 140736690651087 0
[pid=24863/tid=24866] ppid=24860 vsize=15012476 memory=-3258418265892434876 CPUtime=0 cores=0,2,4,6
/proc/24863/task/24866/stat : 24866 (java) S 24860 24860 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224378418 15372775424 22402 33554432000 4194304 4196468 140736690640448 140442144291216 140442321970901 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19054592 140736690648071 140736690648369 140736690648369 140736690651087 0
[pid=24863/tid=24867] ppid=24860 vsize=15012476 memory=4572146066226452084 CPUtime=0 cores=0,2,4,6
/proc/24863/task/24867/stat : 24867 (java) S 24860 24860 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224378418 15372775424 22402 33554432000 4194304 4196468 140736690640448 140441781086736 140442321970901 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19054592 140736690648071 140736690648369 140736690648369 140736690651087 0
[pid=24863/tid=24868] ppid=24860 vsize=15012476 memory=6944613755495348631 CPUtime=0 cores=0,2,4,6
/proc/24863/task/24868/stat : 24868 (java) S 24860 24860 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224378418 15372775424 22402 33554432000 4194304 4196468 140736690640448 140441780034192 140442321970901 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19054592 140736690648071 140736690648369 140736690648369 140736690651087 0
[pid=24863/tid=24869] ppid=24860 vsize=15012476 memory=7893295687695687954 CPUtime=0 cores=0,2,4,6
/proc/24863/task/24869/stat : 24869 (java) S 24860 24860 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224378420 15372775424 22402 33554432000 4194304 4196468 140736690640448 140441359538672 140442321971842 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19054592 140736690648071 140736690648369 140736690648369 140736690651087 0
[pid=24863/tid=24870] ppid=24860 vsize=15012476 memory=-8813974798734826869 CPUtime=0 cores=0,2,4,6
/proc/24863/task/24870/stat : 24870 (java) S 24860 24860 23167 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224378420 15372775424 22402 33554432000 4194304 4196468 140736690640448 140440867169696 140442321970901 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19054592 140736690648071 140736690648369 140736690648369 140736690651087 0
[pid=24863/tid=24871] ppid=24860 vsize=15012476 memory=-6664436420846797971 CPUtime=0 cores=0,2,4,6
/proc/24863/task/24871/stat : 24871 (java) S 24860 24860 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224378421 15372775424 22402 33554432000 4194304 4196468 140736690640448 140440598734320 140442321970901 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19054592 140736690648071 140736690648369 140736690648369 140736690651087 0
[pid=24863/tid=24872] ppid=24860 vsize=15012476 memory=4426078206164241782 CPUtime=0 cores=0,2,4,6
/proc/24863/task/24872/stat : 24872 (java) S 24860 24860 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224378423 15372775424 22402 33554432000 4194304 4196468 140736690640448 140440224226000 140442321979291 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19054592 140736690648071 140736690648369 140736690648369 140736690651087 0
[pid=24863/tid=24873] ppid=24860 vsize=15012476 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/24863/task/24873/stat : 24873 (java) R 24860 24860 23167 0 -1 4202560 482 0 0 0 1 0 0 0 20 0 15 0 224378423 15372775424 22402 33554432000 4194304 4196468 140736690640448 140441358485584 140442321970901 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19054592 140736690648071 140736690648369 140736690648369 140736690651087 0
[pid=24863/tid=24874] ppid=24860 vsize=15012476 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/24863/task/24874/stat : 24874 (java) R 24860 24860 23167 0 -1 1077944384 127 0 0 0 2 0 0 0 20 0 15 0 224378423 15372775424 22402 33554432000 4194304 4196468 140736690640448 140441357432944 140442321971842 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19054592 140736690648071 140736690648369 140736690648369 140736690651087 0
[pid=24863/tid=24875] ppid=24860 vsize=15012476 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/24863/task/24875/stat : 24875 (java) R 24860 24860 23167 0 -1 4202560 356 0 0 0 7 0 0 0 20 0 15 0 224378423 15372775424 22402 33554432000 4194304 4196468 140736690640448 140441356380400 140442321972630 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19054592 140736690648071 140736690648369 140736690648369 140736690651087 0
[pid=24863/tid=24876] ppid=24860 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24863/task/24876/stat : 24876 (java) S 24860 24860 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224378423 15372775424 22402 33554432000 4194304 4196468 140736690640448 140439726320224 140442321970901 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19054592 140736690648071 140736690648369 140736690648369 140736690651087 0
[pid=24863/tid=24877] ppid=24860 vsize=15012476 memory=3689071724943450161 CPUtime=0 cores=0,2,4,6
/proc/24863/task/24877/stat : 24877 (java) S 24860 24860 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224378423 15372775424 22402 33554432000 4194304 4196468 140736690640448 140441355328304 140442321971842 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19054592 140736690648071 140736690648369 140736690648369 140736690651087 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 91000 KiB

[startup+0.700752 s]
/proc/loadavg: 2.00 2.04 2.06 3/224 24877
/proc/meminfo: memFree=20441148/32770624 swapFree=67108688/67108860
[pid=24860] ppid=24857 vsize=113128 memory=1392 CPUtime=0 cores=0,2,4,6
/proc/24860/stat : 24860 (scop.sh) S 24857 24860 23167 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 224378416 115843072 348 33554432000 4194304 5098028 140724287032304 140724287029560 140064123421308 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 29298688 140724287038529 140724287038727 140724287038727 140724287041485 0
/proc/24860/statm: 28282 348 296 221 0 87 0
[pid=24863] ppid=24860 vsize=15018748 memory=126820 CPUtime=1.02 cores=0,2,4,6
/proc/24863/stat : 24863 (java) S 24860 24860 23167 0 -1 1077944320 17356 0 0 0 96 6 0 0 20 0 15 0 224378416 15379197952 31705 33554432000 4194304 4196468 140736690640448 140736690622992 140442321960695 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 19054592 140736690648071 140736690648369 140736690648369 140736690651087 0
/proc/24863/statm: 3754687 31705 3135 1 0 3716091 0
[pid=24863/tid=24864] ppid=24860 vsize=15018748 memory=2372 CPUtime=0.67 cores=0,2,4,6
/proc/24863/task/24864/stat : 24864 (java) R 24860 24860 23167 0 -1 4202560 14555 0 0 0 62 5 0 0 20 0 15 0 224378417 15379197952 31705 33554432000 4194304 4196468 140736690640448 140442293796032 140442321982042 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19054592 140736690648071 140736690648369 140736690648369 140736690651087 0
[pid=24863/tid=24865] ppid=24860 vsize=15018748 memory=116 CPUtime=0 cores=0,2,4,6
/proc/24863/task/24865/stat : 24865 (java) S 24860 24860 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224378418 15379197952 31705 33554432000 4194304 4196468 140736690640448 140442326202640 140442321970901 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19054592 140736690648071 140736690648369 140736690648369 140736690651087 0
[pid=24863/tid=24866] ppid=24860 vsize=15018748 memory=12868 CPUtime=0 cores=0,2,4,6
/proc/24863/task/24866/stat : 24866 (java) S 24860 24860 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224378418 15379197952 31705 33554432000 4194304 4196468 140736690640448 140442144291216 140442321970901 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19054592 140736690648071 140736690648369 140736690648369 140736690651087 0
[pid=24863/tid=24867] ppid=24860 vsize=15018748 memory=26497 CPUtime=0 cores=0,2,4,6
/proc/24863/task/24867/stat : 24867 (java) S 24860 24860 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224378418 15379197952 31705 33554432000 4194304 4196468 140736690640448 140441781086736 140442321970901 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19054592 140736690648071 140736690648369 140736690648369 140736690651087 0
[pid=24863/tid=24868] ppid=24860 vsize=15018748 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24863/task/24868/stat : 24868 (java) S 24860 24860 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224378418 15379197952 31705 33554432000 4194304 4196468 140736690640448 140441780034192 140442321970901 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19054592 140736690648071 140736690648369 140736690648369 140736690651087 0
[pid=24863/tid=24869] ppid=24860 vsize=15018748 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24863/task/24869/stat : 24869 (java) S 24860 24860 23167 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 224378420 15379197952 31705 33554432000 4194304 4196468 140736690640448 140441359538672 140442321971842 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19054592 140736690648071 140736690648369 140736690648369 140736690651087 0
[pid=24863/tid=24870] ppid=24860 vsize=15018748 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24863/task/24870/stat : 24870 (java) S 24860 24860 23167 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224378420 15379197952 31705 33554432000 4194304 4196468 140736690640448 140440867169696 140442321970901 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19054592 140736690648071 140736690648369 140736690648369 140736690651087 0
[pid=24863/tid=24871] ppid=24860 vsize=15018748 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24863/task/24871/stat : 24871 (java) S 24860 24860 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224378421 15379197952 31705 33554432000 4194304 4196468 140736690640448 140440598734320 140442321970901 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19054592 140736690648071 140736690648369 140736690648369 140736690651087 0
[pid=24863/tid=24872] ppid=24860 vsize=15018748 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24863/task/24872/stat : 24872 (java) S 24860 24860 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224378423 15379197952 31705 33554432000 4194304 4196468 140736690640448 140440224226000 140442321979291 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19054592 140736690648071 140736690648369 140736690648369 140736690651087 0
[pid=24863/tid=24873] ppid=24860 vsize=15018748 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/24863/task/24873/stat : 24873 (java) R 24860 24860 23167 0 -1 1077944384 567 0 0 0 7 0 0 0 20 0 15 0 224378423 15379197952 31705 33554432000 4194304 4196468 140736690640448 140441358477136 140442321970901 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 19054592 140736690648071 140736690648369 140736690648369 140736690651087 0
[pid=24863/tid=24874] ppid=24860 vsize=15018748 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/24863/task/24874/stat : 24874 (java) R 24860 24860 23167 0 -1 4202560 357 0 0 0 9 0 0 0 20 0 15 0 224378423 15379197952 31705 33554432000 4194304 4196468 140736690640448 140441357424400 140442307642134 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19054592 140736690648071 140736690648369 140736690648369 140736690651087 0
[pid=24863/tid=24875] ppid=24860 vsize=15018748 memory=0 CPUtime=0.17 cores=0,2,4,6
/proc/24863/task/24875/stat : 24875 (java) R 24860 24860 23167 0 -1 4202560 543 0 0 0 17 0 0 0 20 0 15 0 224378423 15379197952 31705 33554432000 4194304 4196468 140736690640448 140441356376832 140442321972630 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19054592 140736690648071 140736690648369 140736690648369 140736690651087 0
[pid=24863/tid=24876] ppid=24860 vsize=15018748 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24863/task/24876/stat : 24876 (java) S 24860 24860 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224378423 15379197952 31705 33554432000 4194304 4196468 140736690640448 140439726320224 140442321970901 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19054592 140736690648071 140736690648369 140736690648369 140736690651087 0
[pid=24863/tid=24877] ppid=24860 vsize=15018748 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24863/task/24877/stat : 24877 (java) S 24860 24860 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224378423 15379197952 31705 33554432000 4194304 4196468 140736690640448 140441355328304 140442321971842 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19054592 140736690648071 140736690648369 140736690648369 140736690651087 0
Current children cumulated CPU time: 1.02 s
Current children cumulated vsize: 15131876 KiB
Current children cumulated memory: 128212 KiB

[startup+1.50075 s]
/proc/loadavg: 2.00 2.04 2.06 6/224 24877
/proc/meminfo: memFree=20219112/32770624 swapFree=67108688/67108860
[pid=24860] ppid=24857 vsize=113128 memory=1392 CPUtime=0 cores=0,2,4,6
/proc/24860/stat : 24860 (scop.sh) S 24857 24860 23167 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 224378416 115843072 348 33554432000 4194304 5098028 140724287032304 140724287029560 140064123421308 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 29298688 140724287038529 140724287038727 140724287038727 140724287041485 0
/proc/24860/statm: 28282 348 296 221 0 87 0

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

/proc/24863/task/24875/stat : 24875 (java) R 24860 24860 23167 0 -1 4202560 1744 0 0 0 67 0 0 0 20 0 15 0 224378423 15383470080 97128 33554432000 4194304 4196468 140736690640448 140441356376128 140442314197822 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19054592 140736690648071 140736690648369 140736690648369 140736690651087 0
[pid=24863/tid=24876] ppid=24860 vsize=15022920 memory=114292 CPUtime=0 cores=0,2,4,6
/proc/24863/task/24876/stat : 24876 (java) S 24860 24860 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224378423 15383470080 97128 33554432000 4194304 4196468 140736690640448 140439726320224 140442321970901 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19054592 140736690648071 140736690648369 140736690648369 140736690651087 0
[pid=24863/tid=24877] ppid=24860 vsize=15022920 memory=64668 CPUtime=0 cores=0,2,4,6
/proc/24863/task/24877/stat : 24877 (java) S 24860 24860 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224378423 15383470080 97128 33554432000 4194304 4196468 140736690640448 140441355328304 140442321971842 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19054592 140736690648071 140736690648369 140736690648369 140736690651087 0
Current children cumulated CPU time: 3.53 s
Current children cumulated vsize: 15136048 KiB
Current children cumulated memory: 389904 KiB

[startup+3.11073 s]
/proc/loadavg: 2.00 2.04 2.06 5/224 24877
/proc/meminfo: memFree=19907316/32770624 swapFree=67108688/67108860
[pid=24860] ppid=24857 vsize=113128 memory=1392 CPUtime=0 cores=0,2,4,6
/proc/24860/stat : 24860 (scop.sh) S 24857 24860 23167 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 224378416 115843072 348 33554432000 4194304 5098028 140724287032304 140724287029560 140064123421308 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 29298688 140724287038529 140724287038727 140724287038727 140724287041485 0
/proc/24860/statm: 28282 348 296 221 0 87 0
[pid=24863] ppid=24860 vsize=15024968 memory=676620 CPUtime=8.64 cores=0,2,4,6
/proc/24863/stat : 24863 (java) S 24860 24860 23167 0 -1 1077944320 25988 0 0 0 847 17 0 0 20 0 15 0 224378416 15385567232 169155 33554432000 4194304 4196468 140736690640448 140736690622992 140442321960695 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 19054592 140736690648071 140736690648369 140736690648369 140736690651087 0
/proc/24863/statm: 3756242 169155 3207 1 0 3717627 0
[pid=24863/tid=24864] ppid=24860 vsize=15024968 memory=3868 CPUtime=3.06 cores=0,2,4,6
/proc/24863/task/24864/stat : 24864 (java) R 24860 24860 23167 0 -1 4202560 16538 0 0 0 292 14 0 0 20 0 15 0 224378417 15385567232 169155 33554432000 4194304 4196468 140736690640448 140442293798432 140441827837574 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19054592 140736690648071 140736690648369 140736690648369 140736690651087 0
[pid=24863/tid=24865] ppid=24860 vsize=15024968 memory=61088 CPUtime=0 cores=0,2,4,6
/proc/24863/task/24865/stat : 24865 (java) S 24860 24860 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224378418 15385567232 169155 33554432000 4194304 4196468 140736690640448 140442326202640 140442321970901 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19054592 140736690648071 140736690648369 140736690648369 140736690651087 0
[pid=24863/tid=24866] ppid=24860 vsize=15024968 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24863/task/24866/stat : 24866 (java) S 24860 24860 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224378418 15385567232 169155 33554432000 4194304 4196468 140736690640448 140442144291216 140442321970901 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19054592 140736690648071 140736690648369 140736690648369 140736690651087 0
[pid=24863/tid=24867] ppid=24860 vsize=15024968 memory=4420 CPUtime=0 cores=0,2,4,6
/proc/24863/task/24867/stat : 24867 (java) S 24860 24860 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224378418 15385567232 169155 33554432000 4194304 4196468 140736690640448 140441781086736 140442321970901 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19054592 140736690648071 140736690648369 140736690648369 140736690651087 0
[pid=24863/tid=24868] ppid=24860 vsize=15024968 memory=4452 CPUtime=0 cores=0,2,4,6
/proc/24863/task/24868/stat : 24868 (java) S 24860 24860 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224378418 15385567232 169155 33554432000 4194304 4196468 140736690640448 140441780034192 140442321970901 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19054592 140736690648071 140736690648369 140736690648369 140736690651087 0
[pid=24863/tid=24869] ppid=24860 vsize=15024968 memory=3472468408060236528 CPUtime=0 cores=0,2,4,6
/proc/24863/task/24869/stat : 24869 (java) S 24860 24860 23167 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 224378420 15385567232 169155 33554432000 4194304 4196468 140736690640448 140441359538672 140442321971842 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19054592 140736690648071 140736690648369 140736690648369 140736690651087 0
[pid=24863/tid=24870] ppid=24860 vsize=15024968 memory=140111832556320 CPUtime=0 cores=0,2,4,6
/proc/24863/task/24870/stat : 24870 (java) S 24860 24860 23167 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224378420 15385567232 169155 33554432000 4194304 4196468 140736690640448 140440867169696 140442321970901 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19054592 140736690648071 140736690648369 140736690648369 140736690651087 0
[pid=24863/tid=24871] ppid=24860 vsize=15024968 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24863/task/24871/stat : 24871 (java) S 24860 24860 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224378421 15385567232 169155 33554432000 4194304 4196468 140736690640448 140440598734320 140442321970901 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19054592 140736690648071 140736690648369 140736690648369 140736690651087 0
[pid=24863/tid=24872] ppid=24860 vsize=15024968 memory=82 CPUtime=0 cores=0,2,4,6
/proc/24863/task/24872/stat : 24872 (java) S 24860 24860 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224378423 15385567232 169155 33554432000 4194304 4196468 140736690640448 140440224226000 140442321979291 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19054592 140736690648071 140736690648369 140736690648369 140736690651087 0
[pid=24863/tid=24873] ppid=24860 vsize=15024968 memory=88 CPUtime=2.16 cores=0,2,4,6
/proc/24863/task/24873/stat : 24873 (java) R 24860 24860 23167 0 -1 4202560 2612 0 0 0 215 1 0 0 20 0 15 0 224378423 15385567232 169155 33554432000 4194304 4196468 140736690640448 140441358467840 140442306763128 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19054592 140736690648071 140736690648369 140736690648369 140736690651087 0
[pid=24863/tid=24874] ppid=24860 vsize=15024968 memory=76 CPUtime=2.2 cores=0,2,4,6
/proc/24863/task/24874/stat : 24874 (java) R 24860 24860 23167 0 -1 4202560 1765 0 0 0 220 0 0 0 20 0 15 0 224378423 15385567232 169155 33554432000 4194304 4196468 140736690640448 140441357420256 140442305347232 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19054592 140736690648071 140736690648369 140736690648369 140736690651087 0
[pid=24863/tid=24875] ppid=24860 vsize=15024968 memory=1392 CPUtime=1.18 cores=0,2,4,6
/proc/24863/task/24875/stat : 24875 (java) S 24860 24860 23167 0 -1 1077944384 3739 0 0 0 118 0 0 0 20 0 15 0 224378423 15385567232 169155 33554432000 4194304 4196468 140736690640448 140441356380400 140442321971842 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19054592 140736690648071 140736690648369 140736690648369 140736690651087 0
[pid=24863/tid=24876] ppid=24860 vsize=15024968 memory=562576 CPUtime=0 cores=0,2,4,6
/proc/24863/task/24876/stat : 24876 (java) S 24860 24860 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224378423 15385567232 169155 33554432000 4194304 4196468 140736690640448 140439726320224 140442321970901 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19054592 140736690648071 140736690648369 140736690648369 140736690651087 0
[pid=24863/tid=24877] ppid=24860 vsize=15024968 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24863/task/24877/stat : 24877 (java) S 24860 24860 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224378423 15385567232 169155 33554432000 4194304 4196468 140736690640448 140441355328304 140442321971842 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19054592 140736690648071 140736690648369 140736690648369 140736690651087 0
Current children cumulated CPU time: 8.64 s
Current children cumulated vsize: 15138096 KiB
Current children cumulated memory: 678012 KiB

[startup+6.30034 s]
/proc/loadavg: 2.24 2.09 2.08 5/224 24877
/proc/meminfo: memFree=18075896/32770624 swapFree=67108688/67108860
[pid=24860] ppid=24857 vsize=113128 memory=1468 CPUtime=15.86 cores=0,2,4,6
/proc/24860/stat : 24860 (scop.sh) S 24857 24860 23167 0 -1 4202496 590 31892 0 0 0 0 1524 62 20 0 1 0 224378416 115843072 367 33554432000 4194304 5098028 140724287032304 140724287029048 140064123421308 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 29298688 140724287038529 140724287038727 140724287038727 140724287041485 0
/proc/24860/statm: 28282 367 311 221 0 87 0
Current children cumulated CPU time: 15.86 s
Current children cumulated vsize: 113128 KiB
Current children cumulated memory: 1468 KiB

[startup+7.46029 s]
# the end of solver process 24860 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=17.1828 s, system=0.773041 s

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

[startup+6.40032 s]
/proc/loadavg: 2.24 2.09 2.08 5/224 24877
/proc/meminfo: memFree=18075896/32770624 swapFree=67108688/67108860
[pid=24860] ppid=24857 vsize=113128 memory=1468 CPUtime=15.86 cores=0,2,4,6
/proc/24860/stat : 24860 (scop.sh) S 24857 24860 23167 0 -1 4202496 590 31892 0 0 0 0 1524 62 20 0 1 0 224378416 115843072 367 33554432000 4194304 5098028 140724287032304 140724287029048 140064123421308 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 29298688 140724287038529 140724287038727 140724287038727 140724287041485 0
/proc/24860/statm: 28282 367 311 221 0 87 0
Current children cumulated CPU time: 15.86 s
Current children cumulated vsize: 113128 KiB
Current children cumulated memory: 1468 KiB

[startup+7.20077 s]
/proc/loadavg: 2.24 2.09 2.08 3/224 24892
/proc/meminfo: memFree=20431524/32770624 swapFree=67108688/67108860
[pid=24860] ppid=24857 vsize=113128 memory=1468 CPUtime=15.86 cores=0,2,4,6
/proc/24860/stat : 24860 (scop.sh) S 24857 24860 23167 0 -1 4202496 590 31892 0 0 0 0 1524 62 20 0 1 0 224378416 115843072 367 33554432000 4194304 5098028 140724287032304 140724287029048 140064123421308 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 29298688 140724287038529 140724287038727 140724287038727 140724287041485 0
/proc/24860/statm: 28282 367 311 221 0 87 0
[pid=24878] ppid=24860 vsize=8068220 memory=134836 CPUtime=1.67 cores=0,2,4,6
/proc/24878/stat : 24878 (java) S 24860 24860 23167 0 -1 1077944320 18348 0 0 0 156 11 0 0 20 0 19 0 224379033 8261857280 33709 33554432000 4194304 4196468 140728068275568 140728068258112 140103038369527 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 36139008 140728068277429 140728068277553 140728068277553 140728068280271 0
/proc/24878/statm: 2017055 33709 3165 1 0 1978454 0
[pid=24878/tid=24879] ppid=24860 vsize=8068220 memory=1072 CPUtime=0.92 cores=0,2,4,6
/proc/24878/task/24879/stat : 24879 (java) S 24860 24860 23167 0 -1 1077944384 14568 0 0 0 82 10 0 0 20 0 19 0 224379034 8261857280 33709 33554432000 4194304 4196468 140728068275568 140103010209680 140103038379733 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36139008 140728068277429 140728068277553 140728068277553 140728068280271 0
[pid=24878/tid=24880] ppid=24860 vsize=8068220 memory=14888 CPUtime=0 cores=0,2,4,6
/proc/24878/task/24880/stat : 24880 (java) S 24860 24860 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 224379035 8261857280 33709 33554432000 4194304 4196468 140728068275568 140103042611600 140103038379733 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36139008 140728068277429 140728068277553 140728068277553 140728068280271 0
[pid=24878/tid=24881] ppid=24860 vsize=8068220 memory=3316 CPUtime=0 cores=0,2,4,6
/proc/24878/task/24881/stat : 24881 (java) S 24860 24860 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 224379035 8261857280 33709 33554432000 4194304 4196468 140728068275568 140102842779920 140103038379733 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36139008 140728068277429 140728068277553 140728068277553 140728068280271 0
[pid=24878/tid=24882] ppid=24860 vsize=8068220 memory=2241 CPUtime=0 cores=0,2,4,6
/proc/24878/task/24882/stat : 24882 (java) S 24860 24860 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224379035 8261857280 33709 33554432000 4194304 4196468 140728068275568 140102841727632 140103038379733 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36139008 140728068277429 140728068277553 140728068277553 140728068280271 0
[pid=24878/tid=24883] ppid=24860 vsize=8068220 memory=2244 CPUtime=0 cores=0,2,4,6
/proc/24878/task/24883/stat : 24883 (java) S 24860 24860 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224379035 8261857280 33709 33554432000 4194304 4196468 140728068275568 140102521055760 140103038379733 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36139008 140728068277429 140728068277553 140728068277553 140728068280271 0
[pid=24878/tid=24884] ppid=24860 vsize=8068220 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24878/task/24884/stat : 24884 (java) S 24860 24860 23167 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 224379036 8261857280 33709 33554432000 4194304 4196468 140728068275568 140102283496048 140103038380674 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36139008 140728068277429 140728068277553 140728068277553 140728068280271 0
[pid=24878/tid=24885] ppid=24860 vsize=8068220 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24878/task/24885/stat : 24885 (java) S 24860 24860 23167 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 224379037 8261857280 33709 33554432000 4194304 4196468 140728068275568 140101900297504 140103038379733 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36139008 140728068277429 140728068277553 140728068277553 140728068280271 0
[pid=24878/tid=24886] ppid=24860 vsize=8068220 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24878/task/24886/stat : 24886 (java) S 24860 24860 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224379037 8261857280 33709 33554432000 4194304 4196468 140728068275568 140101631862384 140103038379733 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36139008 140728068277429 140728068277553 140728068277553 140728068280271 0
[pid=24878/tid=24887] ppid=24860 vsize=8068220 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24878/task/24887/stat : 24887 (java) S 24860 24860 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224379039 8261857280 33709 33554432000 4194304 4196468 140728068275568 140101257353808 140103038388123 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36139008 140728068277429 140728068277553 140728068277553 140728068280271 0
[pid=24878/tid=24888] ppid=24860 vsize=8068220 memory=0 CPUtime=0.24 cores=0,2,4,6
/proc/24878/task/24888/stat : 24888 (java) S 24860 24860 23167 0 -1 1077944384 1089 0 0 0 24 0 0 0 20 0 19 0 224379039 8261857280 33709 33554432000 4194304 4196468 140728068275568 140102282442864 140103038380674 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36139008 140728068277429 140728068277553 140728068277553 140728068280271 0
[pid=24878/tid=24889] ppid=24860 vsize=8068220 memory=3476 CPUtime=0.25 cores=0,2,4,6
/proc/24878/task/24889/stat : 24889 (java) S 24860 24860 23167 0 -1 1077944384 653 0 0 0 25 0 0 0 20 0 19 0 224379039 8261857280 33709 33554432000 4194304 4196468 140728068275568 140102281390064 140103038380674 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36139008 140728068277429 140728068277553 140728068277553 140728068280271 0
[pid=24878/tid=24890] ppid=24860 vsize=8068220 memory=9047017150487036571 CPUtime=0.24 cores=0,2,4,6
/proc/24878/task/24890/stat : 24890 (java) S 24860 24860 23167 0 -1 1077944384 650 0 0 0 24 0 0 0 20 0 19 0 224379039 8261857280 33709 33554432000 4194304 4196468 140728068275568 140102280337776 140103038380674 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36139008 140728068277429 140728068277553 140728068277553 140728068280271 0
[pid=24878/tid=24891] ppid=24860 vsize=8068220 memory=4713745541279610410 CPUtime=0 cores=0,2,4,6
/proc/24878/task/24891/stat : 24891 (java) S 24860 24860 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224379040 8261857280 33709 33554432000 4194304 4196468 140728068275568 140100759448032 140103038379733 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36139008 140728068277429 140728068277553 140728068277553 140728068280271 0
[pid=24878/tid=24892] ppid=24860 vsize=8068220 memory=-8412656567318647667 CPUtime=0 cores=0,2,4,6
/proc/24878/task/24892/stat : 24892 (java) S 24860 24860 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224379040 8261857280 33709 33554432000 4194304 4196468 140728068275568 140102279285680 140103038380674 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36139008 140728068277429 140728068277553 140728068277553 140728068280271 0
Current children cumulated CPU time: 17.53 s
Current children cumulated vsize: 8181348 KiB
Current children cumulated memory: 136304 KiB

[startup+7.40077 s]
/proc/loadavg: 2.24 2.09 2.08 3/224 24892
/proc/meminfo: memFree=20431524/32770624 swapFree=67108688/67108860
[pid=24860] ppid=24857 vsize=113128 memory=1468 CPUtime=15.86 cores=0,2,4,6
/proc/24860/stat : 24860 (scop.sh) S 24857 24860 23167 0 -1 4202496 590 31892 0 0 0 0 1524 62 20 0 1 0 224378416 115843072 367 33554432000 4194304 5098028 140724287032304 140724287029048 140064123421308 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 29298688 140724287038529 140724287038727 140724287038727 140724287041485 0
/proc/24860/statm: 28282 367 311 221 0 87 0
[pid=24878] ppid=24860 vsize=8068220 memory=134836 CPUtime=1.67 cores=0,2,4,6
/proc/24878/stat : 24878 (java) S 24860 24860 23167 0 -1 1077944320 18348 0 0 0 156 11 0 0 20 0 19 0 224379033 8261857280 33709 33554432000 4194304 4196468 140728068275568 140728068258112 140103038369527 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 36139008 140728068277429 140728068277553 140728068277553 140728068280271 0
/proc/24878/statm: 2017055 33709 3165 1 0 1978454 0
[pid=24878/tid=24879] ppid=24860 vsize=8068220 memory=14888 CPUtime=0.92 cores=0,2,4,6
/proc/24878/task/24879/stat : 24879 (java) S 24860 24860 23167 0 -1 1077944384 14568 0 0 0 82 10 0 0 20 0 19 0 224379034 8261857280 33709 33554432000 4194304 4196468 140728068275568 140103010209680 140103038379733 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36139008 140728068277429 140728068277553 140728068277553 140728068280271 0
[pid=24878/tid=24880] ppid=24860 vsize=8068220 memory=3316 CPUtime=0 cores=0,2,4,6
/proc/24878/task/24880/stat : 24880 (java) S 24860 24860 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 224379035 8261857280 33709 33554432000 4194304 4196468 140728068275568 140103042611600 140103038379733 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36139008 140728068277429 140728068277553 140728068277553 140728068280271 0
[pid=24878/tid=24881] ppid=24860 vsize=8068220 memory=15768 CPUtime=0 cores=0,2,4,6
/proc/24878/task/24881/stat : 24881 (java) S 24860 24860 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 224379035 8261857280 33709 33554432000 4194304 4196468 140728068275568 140102842779920 140103038379733 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36139008 140728068277429 140728068277553 140728068277553 140728068280271 0
[pid=24878/tid=24882] ppid=24860 vsize=8068220 memory=34496 CPUtime=0 cores=0,2,4,6
/proc/24878/task/24882/stat : 24882 (java) S 24860 24860 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224379035 8261857280 33709 33554432000 4194304 4196468 140728068275568 140102841727632 140103038379733 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36139008 140728068277429 140728068277553 140728068277553 140728068280271 0
[pid=24878/tid=24883] ppid=24860 vsize=8068220 memory=1612 CPUtime=0 cores=0,2,4,6
/proc/24878/task/24883/stat : 24883 (java) S 24860 24860 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224379035 8261857280 33709 33554432000 4194304 4196468 140728068275568 140102521055760 140103038379733 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36139008 140728068277429 140728068277553 140728068277553 140728068280271 0
[pid=24878/tid=24884] ppid=24860 vsize=8068220 memory=496 CPUtime=0 cores=0,2,4,6
/proc/24878/task/24884/stat : 24884 (java) S 24860 24860 23167 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 224379036 8261857280 33709 33554432000 4194304 4196468 140728068275568 140102283496048 140103038380674 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36139008 140728068277429 140728068277553 140728068277553 140728068280271 0
[pid=24878/tid=24885] ppid=24860 vsize=8068220 memory=924 CPUtime=0 cores=0,2,4,6
/proc/24878/task/24885/stat : 24885 (java) S 24860 24860 23167 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 224379037 8261857280 33709 33554432000 4194304 4196468 140728068275568 140101900297504 140103038379733 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36139008 140728068277429 140728068277553 140728068277553 140728068280271 0
[pid=24878/tid=24886] ppid=24860 vsize=8068220 memory=1168 CPUtime=0 cores=0,2,4,6
/proc/24878/task/24886/stat : 24886 (java) S 24860 24860 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224379037 8261857280 33709 33554432000 4194304 4196468 140728068275568 140101631862384 140103038379733 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36139008 140728068277429 140728068277553 140728068277553 140728068280271 0
[pid=24878/tid=24887] ppid=24860 vsize=8068220 memory=2336 CPUtime=0 cores=0,2,4,6
/proc/24878/task/24887/stat : 24887 (java) S 24860 24860 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224379039 8261857280 33709 33554432000 4194304 4196468 140728068275568 140101257353808 140103038388123 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36139008 140728068277429 140728068277553 140728068277553 140728068280271 0
[pid=24878/tid=24888] ppid=24860 vsize=8068220 memory=3980 CPUtime=0.24 cores=0,2,4,6
/proc/24878/task/24888/stat : 24888 (java) S 24860 24860 23167 0 -1 1077944384 1089 0 0 0 24 0 0 0 20 0 19 0 224379039 8261857280 33709 33554432000 4194304 4196468 140728068275568 140102282442864 140103038380674 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36139008 140728068277429 140728068277553 140728068277553 140728068280271 0
[pid=24878/tid=24889] ppid=24860 vsize=8068220 memory=1924 CPUtime=0.25 cores=0,2,4,6
/proc/24878/task/24889/stat : 24889 (java) S 24860 24860 23167 0 -1 1077944384 653 0 0 0 25 0 0 0 20 0 19 0 224379039 8261857280 33709 33554432000 4194304 4196468 140728068275568 140102281390064 140103038380674 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36139008 140728068277429 140728068277553 140728068277553 140728068280271 0
[pid=24878/tid=24890] ppid=24860 vsize=8068220 memory=7284 CPUtime=0.24 cores=0,2,4,6
/proc/24878/task/24890/stat : 24890 (java) S 24860 24860 23167 0 -1 1077944384 650 0 0 0 24 0 0 0 20 0 19 0 224379039 8261857280 33709 33554432000 4194304 4196468 140728068275568 140102280337776 140103038380674 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36139008 140728068277429 140728068277553 140728068277553 140728068280271 0
[pid=24878/tid=24891] ppid=24860 vsize=8068220 memory=804 CPUtime=0 cores=0,2,4,6
/proc/24878/task/24891/stat : 24891 (java) S 24860 24860 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224379040 8261857280 33709 33554432000 4194304 4196468 140728068275568 140100759448032 140103038379733 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36139008 140728068277429 140728068277553 140728068277553 140728068280271 0
[pid=24878/tid=24892] ppid=24860 vsize=8068220 memory=1796 CPUtime=0 cores=0,2,4,6
/proc/24878/task/24892/stat : 24892 (java) S 24860 24860 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224379040 8261857280 33709 33554432000 4194304 4196468 140728068275568 140102279285680 140103038380674 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36139008 140728068277429 140728068277553 140728068277553 140728068280271 0
Current children cumulated CPU time: 17.53 s
Current children cumulated vsize: 8181348 KiB
Current children cumulated memory: 136304 KiB

Child status: 0
Real time (s): 7.46034
CPU time (s): 17.9558
CPU user time (s): 17.1828
CPU system time (s): 0.773041
CPU usage (%): 240.684
Max. virtual memory (cumulated for all children) (KiB): 15142280
Max. memory (cumulated for all children) (KiB): 2472932

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 17.1828
system time used= 0.773041
maximum resident set size= 2476228
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 59619
page faults= 0
swaps= 0
block input operations= 0
block output operations= 16456
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5797
involuntary context switches= 49


# summary of solver processes directly reported to runsolver:
#   pid: 24860
#   total CPU time (s): 17.9558
#   total CPU user time (s): 17.1828
#   total CPU system time (s): 0.773041

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.049262 second user time and 0.141249 second system time

The end

Launcher Data 

Begin job on node106 at 2018-08-12 12:02:35
IDJOB=4305766
IDBENCH=141176
IDSOLVER=2783
FILE ID=node106/4305766-1534068155
RUNJOBID= node106-1534060601-23198
PBS_JOBID= 21036975
Free space on /tmp= 39648 MiB

SOLVER NAME= scop both+MapleCOMSPS (2018-07-31)
BENCH NAME= XCSP18/Rlfap/Rlfap-dec-scens11/Rlfap-scen-11-f11_c18.xml
COMMAND LINE= scop.sh 11g scop.jar -both minisat_release default TMPDIR BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4305766-1534068155/watcher-4305766-1534068155 -o /tmp/evaluation-result-4305766-1534068155/solver-4305766-1534068155 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node106-1534060601-23198 --watchdog 2580  scop.sh 11g scop.jar -both minisat_release default HOME HOME/instance-4305766-1534068155.xml

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

MD5SUM BENCH= 495f96cb472313b50d142b917feb6977
RANDOM SEED=830369625

node106.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:        20543444 kB
MemAvailable:   31734832 kB
Buffers:          123820 kB
Cached:         11214344 kB
SwapCached:            0 kB
Active:          5719000 kB
Inactive:        5844596 kB
Active(anon):     172152 kB
Inactive(anon):   105404 kB
Active(file):    5546848 kB
Inactive(file):  5739192 kB
Unevictable:        6996 kB
Mlocked:            6996 kB
SwapTotal:      67108860 kB
SwapFree:       67108688 kB
Dirty:              8016 kB
Writeback:             0 kB
AnonPages:        283156 kB
Mapped:            63476 kB
Shmem:             49632 kB
Slab:             362260 kB
SReclaimable:     333808 kB
SUnreclaim:        28452 kB
KernelStack:        4032 kB
PageTables:         5932 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    5882864 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    147456 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      109952 kB
DirectMap2M:    33435648 kB

Free space on /tmp at the end= 39640 MiB
End job on node106 at 2018-08-12 12:02:43