Trace number 4305772

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 22.0386 10.9466

General information on the benchmark

NameRlfap/Rlfap-dec-scens11/
Rlfap-scen-11-f02_c18.xml
MD5SUM9039ba285abc1aa689fd996e152ad038
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 benchmark18.41
Satisfiable
(Un)Satisfiability was proved
Number of variables680
Number of constraints4103
Number of domains5
Minimum domain size6
Maximum domain size42
Distribution of domain sizes[{"size":6,"count":2},{"size":22,"count":10},{"size":23,"count":4},{"size":35,"count":336},{"size":42,"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-24958-serial-file.bin HOME/instance-4305772-1534068163.xml
0.66/0.53	
0.66/0.53	scop both+minisat_release (2018-07-31)
0.66/0.53	(Encoding Process)
0.66/0.53	
0.66/0.55	c BEGIN-Prog: Sun Aug 12 12:02:44 CEST 2018
0.66/0.55	c PID: 24961
0.66/0.55	c IP: 172.20.3.106
0.66/0.55	c HOST: node106.alineos.net
0.66/0.56	c (0,0) Parsing Begin
5.16/2.09	c (1,1) Parsing End
5.16/2.09	c (1,1) CSP: 680 int (0 aux), 0 bool (0 aux), 4103 ctr, max domain size 42
5.16/2.10	c (1,1) Heap : 563 MiB used (max 10795 MiB), NonHeap : 25 MiB used (max 0 MiB)
5.16/2.10	c (1,1) Constraint Name Generate Begin
5.48/2.12	c (1,1) Ctr:HOME/instance-4305772-1534068163.xml,Dist:Eq:IntVar:Le:Num
5.48/2.12	c (1,1) Constraint Name Generate End
5.48/2.12	c (1,1) Heap : 563 MiB used (max 10795 MiB), NonHeap : 26 MiB used (max 0 MiB)
5.48/2.12	c (1,1) CSP to CSPinCNF Begin
6.51/2.40	c (1,1) translated 411 (10%) constraints
6.51/2.47	c (1,1) translated 821 (20%) constraints
6.85/2.52	c (1,1) translated 1231 (30%) constraints
6.85/2.57	c (2,2) translated 1642 (40%) constraints
7.22/2.62	c (2,2) translated 2052 (50%) constraints
7.22/2.67	c (2,2) translated 2462 (60%) constraints
7.50/2.71	c (2,2) translated 2873 (70%) constraints
7.50/2.75	c (2,2) translated 3283 (80%) constraints
7.50/2.79	c (2,2) translated 3693 (90%) constraints
7.80/2.89	c (2,2) translated 4103 (100%) constraints
8.46/3.01	c (2,2) STATISTICS1:HOME/instance-4305772-1534068163.xml,Dist:Eq:IntVar:Le:Num,680,4783,42,42,2,2,42:3314;35:5144;23:24;22:344;6:60,42:9348;35:7956;23:40;22:364;6:64,2:4103;1:680,2:8886,
8.46/3.01	c (2,2) ==========================================
8.46/3.01	c (2,2) Both Encoding selects:
8.46/3.01	c (2,2) Order
8.46/3.01	c (2,2) ==========================================
8.46/3.04	c (2,2) translated 479 (10%) constraints
8.46/3.06	c (2,2) translated 957 (20%) constraints
8.46/3.08	c (2,2) translated 1435 (30%) constraints
8.46/3.10	c (2,2) translated 1914 (40%) constraints
8.79/3.11	c (2,2) translated 2392 (50%) constraints
8.79/3.13	c (2,2) translated 2870 (60%) constraints
8.79/3.15	c (2,2) translated 3349 (70%) constraints
8.79/3.16	c (2,2) translated 3827 (80%) constraints
8.79/3.18	c (2,2) translated 4305 (90%) constraints
8.79/3.19	c (2,2) translated 4783 (100%) constraints
8.79/3.19	c (2,2) CSP to CSPinCNF End
8.79/3.20	c (2,2) CSP: 680 int (0 aux), 0 bool (0 aux), 4783 ctr, max domain size 42
8.79/3.20	c (2,2) Heap : 732 MiB used (max 10795 MiB), NonHeap : 32 MiB used (max 0 MiB)
8.79/3.20	c (2,2) CSPinCNF Propagation Begin
11.49/4.70	c (4,4) 0 values, 0 unsatisfiable literals, and 0 valid clauses are removed
11.49/4.70	c (4,4) CSPinCNF Propagation End
11.59/4.70	c (4,4) CSP: 680 int (0 aux), 0 bool (0 aux), 4783 ctr, max domain size 42
11.59/4.70	c (4,4) Heap : 2253 MiB used (max 10795 MiB), NonHeap : 33 MiB used (max 0 MiB)
11.59/4.70	c (4,4) Simplify CSPinCNF Begin
12.19/4.96	c (4,4) Simplify CSPinCNF End
12.19/4.96	c (4,4) CSP: 680 int (0 aux), 8206 bool (8206 aux), 12989 ctr, max domain size 42
12.19/4.96	c (4,4) Heap : 2365 MiB used (max 10795 MiB), NonHeap : 34 MiB used (max 0 MiB)
12.19/4.96	c (4,4) Calculate Precise Domain Begin
12.19/4.96	c (4,4) 0 values are removed by re-calculation
12.19/4.96	c (4,4) Calculate Precise Domain End
12.19/4.97	c (4,4) CSP: 680 int (0 aux), 8206 bool (8206 aux), 12989 ctr, max domain size 42
12.19/4.97	c (4,4) Heap : 2365 MiB used (max 10795 MiB), NonHeap : 34 MiB used (max 0 MiB)
12.19/4.97	c (4,4) CSPinCNF to SatSolver Begin
13.48/5.32	c (4,4) 1299 (10 %) CSP clauses are encoded (33386 SAT variables, 54934 SAT clauses)
13.79/5.45	c (4,4) 2598 (20 %) CSP clauses are encoded (33386 SAT variables, 84976 SAT clauses)
14.10/5.55	c (5,4) 3897 (30 %) CSP clauses are encoded (33386 SAT variables, 112980 SAT clauses)
14.34/5.66	c (5,5) 5196 (40 %) CSP clauses are encoded (33386 SAT variables, 143325 SAT clauses)
14.57/5.77	c (5,5) 6495 (50 %) CSP clauses are encoded (33386 SAT variables, 174175 SAT clauses)
14.78/5.88	c (5,5) 7794 (60 %) CSP clauses are encoded (33386 SAT variables, 206000 SAT clauses)
14.95/6.00	c (5,5) 9093 (70 %) CSP clauses are encoded (33386 SAT variables, 237775 SAT clauses)
15.17/6.09	c (5,5) 10392 (80 %) CSP clauses are encoded (33386 SAT variables, 269717 SAT clauses)
15.30/6.18	c (5,5) 11691 (90 %) CSP clauses are encoded (33386 SAT variables, 300743 SAT clauses)
15.46/6.25	c (5,5) 12989 (100 %) CSP clauses are encoded (33386 SAT variables, 329781 SAT clauses)
15.46/6.25	c (5,5) Launch Command will be: minisat_release
15.46/6.25	c (5,5) CSPinCNF to SatSolver End
15.46/6.25	c (5,5) Heap : 274 MiB used (max 10795 MiB), NonHeap : 33 MiB used (max 0 MiB)
15.75/6.33	c (5,5) STATISTICS2:HOME/instance-4305772-1534068163.xml,Dist:Eq:IntVar:Le:Num,8886,12989,42,42,2,2,42:3314;35:5144;23:24;22:344;6:60,42:9348;35:7956;23:40;22:364;6:64;2:16412,2:12309;1:680,2:8886;1:16412,
15.75/6.33	c (5,5) 33386 bool, 329793 clause
15.75/6.33	c (5,5) Export Begin
16.91/6.75	c (6,6) Export to HOME/scop-24958-serial-file.bin
16.91/6.75	c (6,6) Export End
16.91/6.75	c (6,6) Export File Size: 4.55 MB
16.91/6.75	c (6,6) 1,1,2,4,4,4,5,STOP-AFTER(DIMACS)
16.91/6.75	c END-Prog: Sun Aug 12 12:02:50 CEST 2018
16.91/6.77	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp scop.jar fun.scop.XCSP18Solve HOME/scop-24958-serial-file.bin
17.58/7.26	c (0,0) Read Serial File Begin
17.58/7.26	c (0,0) HOME/scop-24958-serial-file.bin
18.43/7.64	c (0,0) Read Serial File End
18.43/7.65	
18.43/7.65	scop order+minisat_release (2018-07-31)
18.43/7.65	(Solving Process)
18.43/7.65	
18.43/7.67	c BEGIN-Prog: Sun Aug 12 12:02:51 CEST 2018
18.43/7.67	c PID: 24976
18.43/7.67	c IP: 172.20.3.106
18.43/7.67	c HOST: node106.alineos.net
18.43/7.68	c (0,0) SatSolver.solve Begin
18.43/7.68	c (0,0) 0 bool, 0 clause
18.43/7.68	c (0,0) minisat_release HOME/instance-4305772-1534068163.xml-scop-24961.cnf
21.95/10.93	c (3,0) c This is COMiniSatPS.
21.95/10.93	c (3,0) c WARNING: for repeatability, setting FPU to use double precision
21.95/10.93	c (3,0) c ============================[ Problem Statistics ]=============================
21.95/10.93	c (3,0) c |                                                                             |
21.95/10.93	c (3,0) c |  Number of variables:         33386                                         |
21.95/10.93	c (3,0) c |  Number of clauses:          329793                                         |
21.95/10.93	c (3,0) c |  Parse time:                   0.11 s                                       |
21.95/10.93	c (3,0) c |  Eliminated clauses:           0.08 Mb                                      |
21.95/10.93	c (3,0) c Reduced to 29186 vars, 325510 cls (grow=0)
21.95/10.93	c (3,0) c No iterative elimination performed. (vars=29186, c/v ratio=11.2)
21.95/10.93	c (3,0) c |  Simplification time:          0.36 s                                       |
21.95/10.93	c (3,0) c |                                                                             |
21.95/10.93	c (3,0) c ============================[ Search Statistics ]==============================
21.95/10.93	c (3,0) c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
21.95/10.93	c (3,0) c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
21.95/10.93	c (3,0) c ===============================================================================
21.95/10.93	c (3,0) c ===============================================================================
21.95/10.93	c (3,0) c restarts              : 70
21.95/10.93	c (3,0) c conflicts             : 29610          (9273 /sec)
21.95/10.93	c (3,0) c decisions             : 37156          (0.00 % random) (11636 /sec)
21.95/10.93	c (3,0) c propagations          : 6013372        (1883168 /sec)
21.95/10.93	c (3,0) c conflict literals     : 432561         (37.57 % deleted)
21.95/10.93	c (3,0) c CPU time              : 3.19322 s
21.95/10.93	c (3,0) 
21.95/10.93	c (3,0) s UNSATISFIABLE
21.95/10.93	c (3,0) SatSolver.solve End
21.95/10.93	c (3,0) Heap : 164 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
21.95/10.93	c (3,0) Show results Begin
21.95/10.93	s UNSATISFIABLE
21.95/10.93	c (3,0) Show results End
21.95/10.93	c (3,0) Heap : 164 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
21.95/10.93	c (3,0) 3,3,STOP-AFTER(ALL)
21.95/10.93	c END-Prog: Sun Aug 12 12:02:54 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-4305772-1534068163/watcher-4305772-1534068163 -o /tmp/evaluation-result-4305772-1534068163/solver-4305772-1534068163 -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-4305772-1534068163.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=24958, runsolver pid=24955


[startup+0.100092 s]*
/proc/loadavg: 2.24 2.09 2.08 3/224 24975
/proc/meminfo: memFree=20484796/32770624 swapFree=67108688/67108860
[pid=24958] ppid=24955 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/24958/stat : 24958 (scop.sh) S 24955 24958 23167 0 -1 4202496 559 322 0 0 0 0 0 0 20 0 1 0 224379209 115843072 349 33554432000 4194304 5098028 140732012652832 140732012650088 140056859136636 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 30126080 140732012655681 140732012655879 140732012655879 140732012658637 0
/proc/24958/statm: 28282 349 296 221 0 87 0
[pid=24961] ppid=24958 vsize=15012476 memory=69616 CPUtime=0.11 cores=0,2,4,6
/proc/24961/stat : 24961 (java) S 24958 24958 23167 0 -1 1077944320 7032 0 0 0 9 2 0 0 20 0 15 0 224379209 15372775424 17404 33554432000 4194304 4196468 140722320890800 140722320873344 140547667406583 0 0 2 16800973 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 32653312 140722320892935 140722320893233 140722320893233 140722320895951 0
/proc/24961/statm: 3753119 17404 2759 1 0 3715579 0
[pid=24961/tid=24962] ppid=24958 vsize=15012476 memory=-6439158751130075073 CPUtime=0.09 cores=0,2,4,6
/proc/24961/task/24962/stat : 24962 (java) R 24958 24958 23167 0 -1 4202560 5106 0 0 0 7 2 0 0 20 0 15 0 224379210 15372775424 17404 33554432000 4194304 4196468 140722320890800 140547639208664 140547648971579 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32653312 140722320892935 140722320893233 140722320893233 140722320895951 0
[pid=24961/tid=24963] ppid=24958 vsize=15012476 memory=4206468019014099040 CPUtime=0 cores=0,2,4,6
/proc/24961/task/24963/stat : 24963 (java) S 24958 24958 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224379211 15372775424 17404 33554432000 4194304 4196468 140722320890800 140547671649296 140547667416789 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32653312 140722320892935 140722320893233 140722320893233 140722320895951 0
[pid=24961/tid=24964] ppid=24958 vsize=15012476 memory=140652773508736 CPUtime=0 cores=0,2,4,6
/proc/24961/task/24964/stat : 24964 (java) S 24958 24958 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224379211 15372775424 17404 33554432000 4194304 4196468 140722320890800 140547505028240 140547667416789 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32653312 140722320892935 140722320893233 140722320893233 140722320895951 0
[pid=24961/tid=24965] ppid=24958 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24961/task/24965/stat : 24965 (java) S 24958 24958 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224379211 15372775424 17404 33554432000 4194304 4196468 140722320890800 140547126713104 140547667416789 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32653312 140722320892935 140722320893233 140722320893233 140722320895951 0
[pid=24961/tid=24966] ppid=24958 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/24961/task/24966/stat : 24966 (java) S 24958 24958 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224379211 15372775424 17404 33554432000 4194304 4196468 140722320890800 140547125660560 140547667416789 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32653312 140722320892935 140722320893233 140722320893233 140722320895951 0
[pid=24961/tid=24967] ppid=24958 vsize=15012476 memory=140652773508736 CPUtime=0 cores=0,2,4,6
/proc/24961/task/24967/stat : 24967 (java) S 24958 24958 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224379213 15372775424 17404 33554432000 4194304 4196468 140722320890800 140546705017072 140547667417730 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32653312 140722320892935 140722320893233 140722320893233 140722320895951 0
[pid=24961/tid=24968] ppid=24958 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/24961/task/24968/stat : 24968 (java) S 24958 24958 23167 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224379213 15372775424 17404 33554432000 4194304 4196468 140722320890800 140546295194784 140547667416789 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32653312 140722320892935 140722320893233 140722320893233 140722320895951 0
[pid=24961/tid=24969] ppid=24958 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24961/task/24969/stat : 24969 (java) S 24958 24958 23167 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 224379213 15372775424 17404 33554432000 4194304 4196468 140722320890800 140546160972528 140547667416789 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32653312 140722320892935 140722320893233 140722320893233 140722320895951 0
[pid=24961/tid=24970] ppid=24958 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24961/task/24970/stat : 24970 (java) S 24958 24958 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224379216 15372775424 17404 33554432000 4194304 4196468 140722320890800 140545786468304 140547667425179 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32653312 140722320892935 140722320893233 140722320893233 140722320895951 0
[pid=24961/tid=24971] ppid=24958 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24961/task/24971/stat : 24971 (java) S 24958 24958 23167 0 -1 1077944384 299 0 0 0 0 0 0 0 20 0 15 0 224379216 15372775424 17404 33554432000 4194304 4196468 140722320890800 140546703964912 140547667417730 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32653312 140722320892935 140722320893233 140722320893233 140722320895951 0
[pid=24961/tid=24972] ppid=24958 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/24961/task/24972/stat : 24972 (java) S 24958 24958 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224379216 15372775424 17404 33554432000 4194304 4196468 140722320890800 140546702912368 140547667417730 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32653312 140722320892935 140722320893233 140722320893233 140722320895951 0
[pid=24961/tid=24973] ppid=24958 vsize=15012476 memory=140652773508736 CPUtime=0 cores=0,2,4,6
/proc/24961/task/24973/stat : 24973 (java) R 24958 24958 23167 0 -1 4202560 286 0 0 0 0 0 0 0 20 0 15 0 224379216 15372775424 17404 33554432000 4194304 4196468 140722320890800 140546701859312 140547646348162 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32653312 140722320892935 140722320893233 140722320893233 140722320895951 0
[pid=24961/tid=24974] ppid=24958 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/24961/task/24974/stat : 24974 (java) S 24958 24958 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224379216 15372775424 17404 33554432000 4194304 4196468 140722320890800 140545288563552 140547667416789 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32653312 140722320892935 140722320893233 140722320893233 140722320895951 0
[pid=24961/tid=24975] ppid=24958 vsize=15012476 memory=140652773508736 CPUtime=0 cores=0,2,4,6
/proc/24961/task/24975/stat : 24975 (java) S 24958 24958 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224379216 15372775424 17404 33554432000 4194304 4196468 140722320890800 140546700806704 140547667417730 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32653312 140722320892935 140722320893233 140722320893233 140722320895951 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 71012 KiB

[startup+0.210609 s]*
/proc/loadavg: 2.24 2.09 2.08 3/224 24975
/proc/meminfo: memFree=20470868/32770624 swapFree=67108688/67108860
[pid=24958] ppid=24955 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/24958/stat : 24958 (scop.sh) S 24955 24958 23167 0 -1 4202496 559 322 0 0 0 0 0 0 20 0 1 0 224379209 115843072 349 33554432000 4194304 5098028 140732012652832 140732012650088 140056859136636 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 30126080 140732012655681 140732012655879 140732012655879 140732012658637 0
/proc/24958/statm: 28282 349 296 221 0 87 0
[pid=24961] ppid=24958 vsize=15012476 memory=83240 CPUtime=0.25 cores=0,2,4,6
/proc/24961/stat : 24961 (java) S 24958 24958 23167 0 -1 1077944320 10625 0 0 0 22 3 0 0 20 0 15 0 224379209 15372775424 20810 33554432000 4194304 4196468 140722320890800 140722320873344 140547667406583 0 0 2 16800973 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 32653312 140722320892935 140722320893233 140722320893233 140722320895951 0
/proc/24961/statm: 3753119 20810 2935 1 0 3715579 0
[pid=24961/tid=24962] ppid=24958 vsize=15012476 memory=7022364632946311227 CPUtime=0.19 cores=0,2,4,6
/proc/24961/task/24962/stat : 24962 (java) R 24958 24958 23167 0 -1 4202560 8463 0 0 0 17 2 0 0 20 0 15 0 224379210 15372775424 20810 33554432000 4194304 4196468 140722320890800 140547639228384 140547667418518 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32653312 140722320892935 140722320893233 140722320893233 140722320895951 0
[pid=24961/tid=24963] ppid=24958 vsize=15012476 memory=546 CPUtime=0 cores=0,2,4,6
/proc/24961/task/24963/stat : 24963 (java) S 24958 24958 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224379211 15372775424 20810 33554432000 4194304 4196468 140722320890800 140547671649296 140547667416789 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32653312 140722320892935 140722320893233 140722320893233 140722320895951 0
[pid=24961/tid=24964] ppid=24958 vsize=15012476 memory=140652774701022 CPUtime=0 cores=0,2,4,6
/proc/24961/task/24964/stat : 24964 (java) S 24958 24958 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224379211 15372775424 20810 33554432000 4194304 4196468 140722320890800 140547505028240 140547667416789 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32653312 140722320892935 140722320893233 140722320893233 140722320895951 0
[pid=24961/tid=24965] ppid=24958 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24961/task/24965/stat : 24965 (java) S 24958 24958 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224379211 15372775424 20810 33554432000 4194304 4196468 140722320890800 140547126713104 140547667416789 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32653312 140722320892935 140722320893233 140722320893233 140722320895951 0
[pid=24961/tid=24966] ppid=24958 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/24961/task/24966/stat : 24966 (java) S 24958 24958 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224379211 15372775424 20810 33554432000 4194304 4196468 140722320890800 140547125660560 140547667416789 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32653312 140722320892935 140722320893233 140722320893233 140722320895951 0
[pid=24961/tid=24967] ppid=24958 vsize=15012476 memory=140652773508736 CPUtime=0 cores=0,2,4,6
/proc/24961/task/24967/stat : 24967 (java) S 24958 24958 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224379213 15372775424 20810 33554432000 4194304 4196468 140722320890800 140546705017072 140547667417730 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32653312 140722320892935 140722320893233 140722320893233 140722320895951 0
[pid=24961/tid=24968] ppid=24958 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/24961/task/24968/stat : 24968 (java) S 24958 24958 23167 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224379213 15372775424 20810 33554432000 4194304 4196468 140722320890800 140546295194784 140547667416789 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32653312 140722320892935 140722320893233 140722320893233 140722320895951 0
[pid=24961/tid=24969] ppid=24958 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24961/task/24969/stat : 24969 (java) S 24958 24958 23167 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 224379213 15372775424 20810 33554432000 4194304 4196468 140722320890800 140546160972528 140547667416789 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32653312 140722320892935 140722320893233 140722320893233 140722320895951 0
[pid=24961/tid=24970] ppid=24958 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24961/task/24970/stat : 24970 (java) S 24958 24958 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224379216 15372775424 20810 33554432000 4194304 4196468 140722320890800 140545786468304 140547667425179 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32653312 140722320892935 140722320893233 140722320893233 140722320895951 0
[pid=24961/tid=24971] ppid=24958 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24961/task/24971/stat : 24971 (java) S 24958 24958 23167 0 -1 1077944384 335 0 0 0 0 0 0 0 20 0 15 0 224379216 15372775424 20810 33554432000 4194304 4196468 140722320890800 140546703964912 140547667417730 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32653312 140722320892935 140722320893233 140722320893233 140722320895951 0
[pid=24961/tid=24972] ppid=24958 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/24961/task/24972/stat : 24972 (java) S 24958 24958 23167 0 -1 1077944384 134 0 0 0 0 0 0 0 20 0 15 0 224379216 15372775424 20810 33554432000 4194304 4196468 140722320890800 140546702912368 140547667417730 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32653312 140722320892935 140722320893233 140722320893233 140722320895951 0
[pid=24961/tid=24973] ppid=24958 vsize=15012476 memory=140652773508736 CPUtime=0.03 cores=0,2,4,6
/proc/24961/task/24973/stat : 24973 (java) R 24958 24958 23167 0 -1 4202560 341 0 0 0 3 0 0 0 20 0 15 0 224379216 15372775424 20810 33554432000 4194304 4196468 140722320890800 140546701859312 140547667418518 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32653312 140722320892935 140722320893233 140722320893233 140722320895951 0
[pid=24961/tid=24974] ppid=24958 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/24961/task/24974/stat : 24974 (java) S 24958 24958 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224379216 15372775424 20810 33554432000 4194304 4196468 140722320890800 140545288563552 140547667416789 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32653312 140722320892935 140722320893233 140722320893233 140722320895951 0
[pid=24961/tid=24975] ppid=24958 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24961/task/24975/stat : 24975 (java) S 24958 24958 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224379216 15372775424 20810 33554432000 4194304 4196468 140722320890800 140546700806704 140547667417730 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32653312 140722320892935 140722320893233 140722320893233 140722320895951 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 84636 KiB

[startup+0.310548 s]*
/proc/loadavg: 2.24 2.09 2.08 3/224 24975
/proc/meminfo: memFree=20466960/32770624 swapFree=67108688/67108860
[pid=24958] ppid=24955 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/24958/stat : 24958 (scop.sh) S 24955 24958 23167 0 -1 4202496 559 322 0 0 0 0 0 0 20 0 1 0 224379209 115843072 349 33554432000 4194304 5098028 140732012652832 140732012650088 140056859136636 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 30126080 140732012655681 140732012655879 140732012655879 140732012658637 0
/proc/24958/statm: 28282 349 296 221 0 87 0
[pid=24961] ppid=24958 vsize=15012476 memory=86824 CPUtime=0.43 cores=0,2,4,6
/proc/24961/stat : 24961 (java) S 24958 24958 23167 0 -1 1077944320 11259 0 0 0 39 4 0 0 20 0 15 0 224379209 15372775424 21706 33554432000 4194304 4196468 140722320890800 140722320873344 140547667406583 0 0 2 16800973 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 32653312 140722320892935 140722320893233 140722320893233 140722320895951 0
/proc/24961/statm: 3753119 21706 2980 1 0 3715579 0
[pid=24961/tid=24962] ppid=24958 vsize=15012476 memory=6791534058613427641 CPUtime=0.3 cores=0,2,4,6
/proc/24961/task/24962/stat : 24962 (java) R 24958 24958 23167 0 -1 4202560 8841 0 0 0 27 3 0 0 20 0 15 0 224379210 15372775424 21706 33554432000 4194304 4196468 140722320890800 140547639201584 140547648970121 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32653312 140722320892935 140722320893233 140722320893233 140722320895951 0
[pid=24961/tid=24963] ppid=24958 vsize=15012476 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/24961/task/24963/stat : 24963 (java) S 24958 24958 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224379211 15372775424 21706 33554432000 4194304 4196468 140722320890800 140547671649296 140547667416789 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32653312 140722320892935 140722320893233 140722320893233 140722320895951 0
[pid=24961/tid=24964] ppid=24958 vsize=15012476 memory=-3258418265892434876 CPUtime=0 cores=0,2,4,6
/proc/24961/task/24964/stat : 24964 (java) S 24958 24958 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224379211 15372775424 21706 33554432000 4194304 4196468 140722320890800 140547505028240 140547667416789 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32653312 140722320892935 140722320893233 140722320893233 140722320895951 0
[pid=24961/tid=24965] ppid=24958 vsize=15012476 memory=4572146066226452084 CPUtime=0 cores=0,2,4,6
/proc/24961/task/24965/stat : 24965 (java) S 24958 24958 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224379211 15372775424 21706 33554432000 4194304 4196468 140722320890800 140547126713104 140547667416789 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32653312 140722320892935 140722320893233 140722320893233 140722320895951 0
[pid=24961/tid=24966] ppid=24958 vsize=15012476 memory=6944613755495348631 CPUtime=0 cores=0,2,4,6
/proc/24961/task/24966/stat : 24966 (java) S 24958 24958 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224379211 15372775424 21706 33554432000 4194304 4196468 140722320890800 140547125660560 140547667416789 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32653312 140722320892935 140722320893233 140722320893233 140722320895951 0
[pid=24961/tid=24967] ppid=24958 vsize=15012476 memory=7893295687695687954 CPUtime=0 cores=0,2,4,6
/proc/24961/task/24967/stat : 24967 (java) S 24958 24958 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224379213 15372775424 21706 33554432000 4194304 4196468 140722320890800 140546705017072 140547667417730 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32653312 140722320892935 140722320893233 140722320893233 140722320895951 0
[pid=24961/tid=24968] ppid=24958 vsize=15012476 memory=-8813974798734826869 CPUtime=0 cores=0,2,4,6
/proc/24961/task/24968/stat : 24968 (java) S 24958 24958 23167 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224379213 15372775424 21706 33554432000 4194304 4196468 140722320890800 140546295194784 140547667416789 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32653312 140722320892935 140722320893233 140722320893233 140722320895951 0
[pid=24961/tid=24969] ppid=24958 vsize=15012476 memory=-6664436420846797971 CPUtime=0 cores=0,2,4,6
/proc/24961/task/24969/stat : 24969 (java) S 24958 24958 23167 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 224379213 15372775424 21706 33554432000 4194304 4196468 140722320890800 140546160972528 140547667416789 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32653312 140722320892935 140722320893233 140722320893233 140722320895951 0
[pid=24961/tid=24970] ppid=24958 vsize=15012476 memory=4426078206164241782 CPUtime=0 cores=0,2,4,6
/proc/24961/task/24970/stat : 24970 (java) S 24958 24958 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224379216 15372775424 21706 33554432000 4194304 4196468 140722320890800 140545786468304 140547667425179 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32653312 140722320892935 140722320893233 140722320893233 140722320895951 0
[pid=24961/tid=24971] ppid=24958 vsize=15012476 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/24961/task/24971/stat : 24971 (java) S 24958 24958 23167 0 -1 1077944384 376 0 0 0 2 0 0 0 20 0 15 0 224379216 15372775424 21706 33554432000 4194304 4196468 140722320890800 140546703964912 140547667417730 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32653312 140722320892935 140722320893233 140722320893233 140722320895951 0
[pid=24961/tid=24972] ppid=24958 vsize=15012476 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/24961/task/24972/stat : 24972 (java) S 24958 24958 23167 0 -1 1077944384 246 0 0 0 2 0 0 0 20 0 15 0 224379216 15372775424 21706 33554432000 4194304 4196468 140722320890800 140546702912368 140547667417730 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32653312 140722320892935 140722320893233 140722320893233 140722320895951 0
[pid=24961/tid=24973] ppid=24958 vsize=15012476 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/24961/task/24973/stat : 24973 (java) S 24958 24958 23167 0 -1 1077944384 443 0 0 0 7 0 0 0 20 0 15 0 224379216 15372775424 21706 33554432000 4194304 4196468 140722320890800 140546701859312 140547667417730 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32653312 140722320892935 140722320893233 140722320893233 140722320895951 0
[pid=24961/tid=24974] ppid=24958 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24961/task/24974/stat : 24974 (java) S 24958 24958 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224379216 15372775424 21706 33554432000 4194304 4196468 140722320890800 140545288563552 140547667416789 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32653312 140722320892935 140722320893233 140722320893233 140722320895951 0
[pid=24961/tid=24975] ppid=24958 vsize=15012476 memory=3689071724943450161 CPUtime=0 cores=0,2,4,6
/proc/24961/task/24975/stat : 24975 (java) S 24958 24958 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224379216 15372775424 21706 33554432000 4194304 4196468 140722320890800 140546700806704 140547667417730 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32653312 140722320892935 140722320893233 140722320893233 140722320895951 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 88220 KiB

[startup+0.702646 s]
/proc/loadavg: 2.24 2.09 2.08 3/224 24975
/proc/meminfo: memFree=20442776/32770624 swapFree=67108688/67108860
[pid=24958] ppid=24955 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/24958/stat : 24958 (scop.sh) S 24955 24958 23167 0 -1 4202496 559 322 0 0 0 0 0 0 20 0 1 0 224379209 115843072 349 33554432000 4194304 5098028 140732012652832 140732012650088 140056859136636 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 30126080 140732012655681 140732012655879 140732012655879 140732012658637 0
/proc/24958/statm: 28282 349 296 221 0 87 0
[pid=24961] ppid=24958 vsize=15018748 memory=125784 CPUtime=1.01 cores=0,2,4,6
/proc/24961/stat : 24961 (java) S 24958 24958 23167 0 -1 1077944320 18152 0 0 0 95 6 0 0 20 0 15 0 224379209 15379197952 31446 33554432000 4194304 4196468 140722320890800 140722320873344 140547667406583 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 32653312 140722320892935 140722320893233 140722320893233 140722320895951 0
/proc/24961/statm: 3754687 31446 3129 1 0 3716091 0
[pid=24961/tid=24962] ppid=24958 vsize=15018748 memory=2372 CPUtime=0.67 cores=0,2,4,6
/proc/24961/task/24962/stat : 24962 (java) R 24958 24958 23167 0 -1 4202560 15178 0 0 0 62 5 0 0 20 0 15 0 224379210 15379197952 31446 33554432000 4194304 4196468 140722320890800 140547639242256 140547169208903 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32653312 140722320892935 140722320893233 140722320893233 140722320895951 0
[pid=24961/tid=24963] ppid=24958 vsize=15018748 memory=116 CPUtime=0 cores=0,2,4,6
/proc/24961/task/24963/stat : 24963 (java) S 24958 24958 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224379211 15379197952 31446 33554432000 4194304 4196468 140722320890800 140547671649296 140547667416789 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32653312 140722320892935 140722320893233 140722320893233 140722320895951 0
[pid=24961/tid=24964] ppid=24958 vsize=15018748 memory=12868 CPUtime=0 cores=0,2,4,6
/proc/24961/task/24964/stat : 24964 (java) S 24958 24958 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224379211 15379197952 31446 33554432000 4194304 4196468 140722320890800 140547505028240 140547667416789 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32653312 140722320892935 140722320893233 140722320893233 140722320895951 0
[pid=24961/tid=24965] ppid=24958 vsize=15018748 memory=26497 CPUtime=0 cores=0,2,4,6
/proc/24961/task/24965/stat : 24965 (java) S 24958 24958 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224379211 15379197952 31446 33554432000 4194304 4196468 140722320890800 140547126713104 140547667416789 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32653312 140722320892935 140722320893233 140722320893233 140722320895951 0
[pid=24961/tid=24966] ppid=24958 vsize=15018748 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24961/task/24966/stat : 24966 (java) S 24958 24958 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224379211 15379197952 31446 33554432000 4194304 4196468 140722320890800 140547125660560 140547667416789 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32653312 140722320892935 140722320893233 140722320893233 140722320895951 0
[pid=24961/tid=24967] ppid=24958 vsize=15018748 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24961/task/24967/stat : 24967 (java) S 24958 24958 23167 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 224379213 15379197952 31446 33554432000 4194304 4196468 140722320890800 140546705017072 140547667417730 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32653312 140722320892935 140722320893233 140722320893233 140722320895951 0
[pid=24961/tid=24968] ppid=24958 vsize=15018748 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24961/task/24968/stat : 24968 (java) S 24958 24958 23167 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224379213 15379197952 31446 33554432000 4194304 4196468 140722320890800 140546295194784 140547667416789 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32653312 140722320892935 140722320893233 140722320893233 140722320895951 0
[pid=24961/tid=24969] ppid=24958 vsize=15018748 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24961/task/24969/stat : 24969 (java) S 24958 24958 23167 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 224379213 15379197952 31446 33554432000 4194304 4196468 140722320890800 140546160972528 140547667416789 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32653312 140722320892935 140722320893233 140722320893233 140722320895951 0
[pid=24961/tid=24970] ppid=24958 vsize=15018748 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24961/task/24970/stat : 24970 (java) S 24958 24958 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224379216 15379197952 31446 33554432000 4194304 4196468 140722320890800 140545786468304 140547667425179 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32653312 140722320892935 140722320893233 140722320893233 140722320895951 0
[pid=24961/tid=24971] ppid=24958 vsize=15018748 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/24961/task/24971/stat : 24971 (java) R 24958 24958 23167 0 -1 4202560 647 0 0 0 9 0 0 0 20 0 15 0 224379216 15379197952 31446 33554432000 4194304 4196468 140722320890800 140546703964912 140547646650550 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32653312 140722320892935 140722320893233 140722320893233 140722320895951 0
[pid=24961/tid=24972] ppid=24958 vsize=15018748 memory=0 CPUtime=0.06 cores=0,2,4,6
/proc/24961/task/24972/stat : 24972 (java) R 24958 24958 23167 0 -1 4202560 309 0 0 0 6 0 0 0 20 0 15 0 224379216 15379197952 31446 33554432000 4194304 4196468 140722320890800 140546702899152 140547653420960 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32653312 140722320892935 140722320893233 140722320893233 140722320895951 0
[pid=24961/tid=24973] ppid=24958 vsize=15018748 memory=0 CPUtime=0.16 cores=0,2,4,6
/proc/24961/task/24973/stat : 24973 (java) R 24958 24958 23167 0 -1 1077944384 662 0 0 0 16 0 0 0 20 0 15 0 224379216 15379197952 31446 33554432000 4194304 4196468 140722320890800 140546701855040 140547667416789 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 32653312 140722320892935 140722320893233 140722320893233 140722320895951 0
[pid=24961/tid=24974] ppid=24958 vsize=15018748 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24961/task/24974/stat : 24974 (java) S 24958 24958 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224379216 15379197952 31446 33554432000 4194304 4196468 140722320890800 140545288563552 140547667416789 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32653312 140722320892935 140722320893233 140722320893233 140722320895951 0
[pid=24961/tid=24975] ppid=24958 vsize=15018748 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24961/task/24975/stat : 24975 (java) S 24958 24958 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224379216 15379197952 31446 33554432000 4194304 4196468 140722320890800 140546700806704 140547667417730 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32653312 140722320892935 140722320893233 140722320893233 140722320895951 0
Current children cumulated CPU time: 1.01 s
Current children cumulated vsize: 15131876 KiB
Current children cumulated memory: 127180 KiB

[startup+1.50091 s]
/proc/loadavg: 2.24 2.09 2.08 6/224 24975
/proc/meminfo: memFree=20222008/32770624 swapFree=67108688/67108860
[pid=24958] ppid=24955 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/24958/stat : 24958 (scop.sh) S 24955 24958 23167 0 -1 4202496 559 322 0 0 0 0 0 0 20 0 1 0 224379209 115843072 349 33554432000 4194304 5098028 140732012652832 140732012650088 140056859136636 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 30126080 140732012655681 140732012655879 140732012655879 140732012658637 0
/proc/24958/statm: 28282 349 296 221 0 87 0

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

Current children cumulated CPU time: 20.64 s
Current children cumulated vsize: 8238024 KiB
Current children cumulated memory: 174348 KiB

[startup+10.4009 s]
/proc/loadavg: 2.51 2.15 2.10 3/229 24996
/proc/meminfo: memFree=20370652/32770624 swapFree=67108688/67108860
[pid=24958] ppid=24955 vsize=113128 memory=1472 CPUtime=17.02 cores=0,2,4,6
/proc/24958/stat : 24958 (scop.sh) S 24955 24958 23167 0 -1 4202496 590 37008 0 0 0 0 1621 81 20 0 1 0 224379209 115843072 368 33554432000 4194304 5098028 140732012652832 140732012649576 140056859136636 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 30126080 140732012655681 140732012655879 140732012655879 140732012658637 0
/proc/24958/statm: 28282 368 311 221 0 87 0
[pid=24976] ppid=24958 vsize=8068220 memory=136816 CPUtime=1.74 cores=0,2,4,6
/proc/24976/stat : 24976 (java) S 24958 24958 23167 0 -1 1077944320 18339 0 0 0 160 14 0 0 20 0 19 0 224379887 8261857280 34204 33554432000 4194304 4196468 140724153695664 140724153678208 140364955942647 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 24858624 140724153697461 140724153697585 140724153697585 140724153700303 0
/proc/24976/statm: 2017055 34204 3167 1 0 1978454 0
[pid=24991] ppid=24976 vsize=56676 memory=36136 CPUtime=2.69 cores=0,2,4,6
/proc/24991/stat : 24991 (minisat_release) R 24976 24958 23167 0 -1 4202496 14310 0 0 0 266 3 0 0 20 0 1 0 224379979 58036224 9034 33554432000 4194304 4308513 140726723912352 140726723909976 139983279872172 0 4 0 8396802 0 0 0 17 0 0 0 0 0 0 6409496 6410680 27783168 140726723916916 140726723917014 140726723917014 140726723919813 0
/proc/24991/statm: 14169 9034 341 28 0 10409 0
[pid=24976/tid=24977] ppid=24958 vsize=8068220 memory=279 CPUtime=0.95 cores=0,2,4,6
/proc/24976/task/24977/stat : 24977 (java) S 24958 24958 23167 0 -1 1077944384 14568 0 0 0 83 12 0 0 20 0 19 0 224379887 8261857280 34204 33554432000 4194304 4196468 140724153695664 140364927782800 140364955952853 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24858624 140724153697461 140724153697585 140724153697585 140724153700303 0
[pid=24976/tid=24978] ppid=24958 vsize=8068220 memory=123 CPUtime=0 cores=0,2,4,6
/proc/24976/task/24978/stat : 24978 (java) S 24958 24958 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224379888 8261857280 34204 33554432000 4194304 4196468 140724153695664 140364960185488 140364955952853 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24858624 140724153697461 140724153697585 140724153697585 140724153700303 0
[pid=24976/tid=24979] ppid=24958 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/24976/task/24979/stat : 24979 (java) S 24958 24958 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224379888 8261857280 34204 33554432000 4194304 4196468 140724153695664 140364441357328 140364955952853 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24858624 140724153697461 140724153697585 140724153697585 140724153700303 0
[pid=24976/tid=24980] ppid=24958 vsize=8068220 memory=136816 CPUtime=0 cores=0,2,4,6
/proc/24976/task/24980/stat : 24980 (java) S 24958 24958 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224379888 8261857280 34204 33554432000 4194304 4196468 140724153695664 140364440304528 140364955952853 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24858624 140724153697461 140724153697585 140724153697585 140724153700303 0
[pid=24976/tid=24981] ppid=24958 vsize=8068220 memory=36060 CPUtime=0 cores=0,2,4,6
/proc/24976/task/24981/stat : 24981 (java) S 24958 24958 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 224379888 8261857280 34204 33554432000 4194304 4196468 140724153695664 140364439251728 140364955952853 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24858624 140724153697461 140724153697585 140724153697585 140724153700303 0
[pid=24976/tid=24982] ppid=24958 vsize=8068220 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24976/task/24982/stat : 24982 (java) S 24958 24958 23167 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 19 0 224379889 8261857280 34204 33554432000 4194304 4196468 140724153695664 140363999676784 140364955953794 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 5 0 0 6293624 6294260 24858624 140724153697461 140724153697585 140724153697585 140724153700303 0
[pid=24976/tid=24983] ppid=24958 vsize=8068220 memory=335 CPUtime=0 cores=0,2,4,6
/proc/24976/task/24983/stat : 24983 (java) S 24958 24958 23167 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 224379890 8261857280 34204 33554432000 4194304 4196468 140724153695664 140363893302304 140364955952853 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24858624 140724153697461 140724153697585 140724153697585 140724153700303 0
[pid=24976/tid=24984] ppid=24958 vsize=8068220 memory=328 CPUtime=0 cores=0,2,4,6
/proc/24976/task/24984/stat : 24984 (java) S 24958 24958 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224379890 8261857280 34204 33554432000 4194304 4196468 140724153695664 140363624866672 140364955952853 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24858624 140724153697461 140724153697585 140724153697585 140724153700303 0
[pid=24976/tid=24985] ppid=24958 vsize=8068220 memory=136 CPUtime=0 cores=0,2,4,6
/proc/24976/task/24985/stat : 24985 (java) S 24958 24958 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224379893 8261857280 34204 33554432000 4194304 4196468 140724153695664 140363250358096 140364955961243 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24858624 140724153697461 140724153697585 140724153697585 140724153700303 0
[pid=24976/tid=24986] ppid=24958 vsize=8068220 memory=0 CPUtime=0.24 cores=0,2,4,6
/proc/24976/task/24986/stat : 24986 (java) S 24958 24958 23167 0 -1 1077944384 1136 0 0 0 24 0 0 0 20 0 19 0 224379893 8261857280 34204 33554432000 4194304 4196468 140724153695664 140363998624624 140364955953794 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24858624 140724153697461 140724153697585 140724153697585 140724153700303 0
[pid=24976/tid=24987] ppid=24958 vsize=8068220 memory=72484 CPUtime=0.27 cores=0,2,4,6
/proc/24976/task/24987/stat : 24987 (java) S 24958 24958 23167 0 -1 1077944384 570 0 0 0 27 0 0 0 20 0 19 0 224379893 8261857280 34204 33554432000 4194304 4196468 140724153695664 140363997571824 140364955953794 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24858624 140724153697461 140724153697585 140724153697585 140724153700303 0
[pid=24976/tid=24988] ppid=24958 vsize=8068220 memory=1072 CPUtime=0.24 cores=0,2,4,6
/proc/24976/task/24988/stat : 24988 (java) S 24958 24958 23167 0 -1 1077944384 648 0 0 0 24 0 0 0 20 0 19 0 224379893 8261857280 34204 33554432000 4194304 4196468 140724153695664 140363996519024 140364955953794 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24858624 140724153697461 140724153697585 140724153697585 140724153700303 0
[pid=24976/tid=24989] ppid=24958 vsize=8068220 memory=14888 CPUtime=0 cores=0,2,4,6
/proc/24976/task/24989/stat : 24989 (java) S 24958 24958 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224379893 8261857280 34204 33554432000 4194304 4196468 140724153695664 140362752453344 140364955952853 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24858624 140724153697461 140724153697585 140724153697585 140724153700303 0
[pid=24976/tid=24990] ppid=24958 vsize=8068220 memory=3316 CPUtime=0 cores=0,2,4,6
/proc/24976/task/24990/stat : 24990 (java) S 24958 24958 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224379893 8261857280 34204 33554432000 4194304 4196468 140724153695664 140363995466416 140364955953794 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 11 0 0 6293624 6294260 24858624 140724153697461 140724153697585 140724153697585 140724153700303 0
[pid=24976/tid=24992] ppid=24958 vsize=8068220 memory=15768 CPUtime=0 cores=0,2,4,6
/proc/24976/task/24992/stat : 24992 (java) S 24958 24958 23167 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 224379979 8261857280 34204 33554432000 4194304 4196468 140724153695664 140363987657920 140364955967257 0 4 2 25189581 18446744071579417331 0 0 -1 4 0 0 0 0 0 6293624 6294260 24858624 140724153697461 140724153697585 140724153697585 140724153700303 0
[pid=24976/tid=24994] ppid=24958 vsize=8068220 memory=34496 CPUtime=0 cores=0,2,4,6
/proc/24976/task/24994/stat : 24994 (java) S 24958 24958 23167 0 -1 4202560 25 0 0 0 0 0 0 0 20 0 19 0 224379980 8261857280 34204 33554432000 4194304 4196468 140724153695664 140362215566640 140364955964573 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 24858624 140724153697461 140724153697585 140724153697585 140724153700303 0
[pid=24976/tid=24995] ppid=24958 vsize=8068220 memory=1612 CPUtime=0 cores=0,2,4,6
/proc/24976/task/24995/stat : 24995 (java) S 24958 24958 23167 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 224379980 8261857280 34204 33554432000 4194304 4196468 140724153695664 140362081345712 140364955964573 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 24858624 140724153697461 140724153697585 140724153697585 140724153700303 0
[pid=24976/tid=24996] ppid=24958 vsize=8068220 memory=496 CPUtime=0 cores=0,2,4,6
/proc/24976/task/24996/stat : 24996 (java) S 24958 24958 23167 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 19 0 224379982 8261857280 34204 33554432000 4194304 4196468 140724153695664 140362349797024 140364955952853 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24858624 140724153697461 140724153697585 140724153697585 140724153700303 0
Current children cumulated CPU time: 21.45 s
Current children cumulated vsize: 8238024 KiB
Current children cumulated memory: 174424 KiB

[startup+10.8008 s]
/proc/loadavg: 2.51 2.15 2.10 3/229 24996
/proc/meminfo: memFree=20370652/32770624 swapFree=67108688/67108860
[pid=24958] ppid=24955 vsize=113128 memory=1472 CPUtime=17.02 cores=0,2,4,6
/proc/24958/stat : 24958 (scop.sh) S 24955 24958 23167 0 -1 4202496 590 37008 0 0 0 0 1621 81 20 0 1 0 224379209 115843072 368 33554432000 4194304 5098028 140732012652832 140732012649576 140056859136636 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 30126080 140732012655681 140732012655879 140732012655879 140732012658637 0
/proc/24958/statm: 28282 368 311 221 0 87 0
[pid=24976] ppid=24958 vsize=8068220 memory=136816 CPUtime=1.74 cores=0,2,4,6
/proc/24976/stat : 24976 (java) S 24958 24958 23167 0 -1 1077944320 18339 0 0 0 160 14 0 0 20 0 19 0 224379887 8261857280 34204 33554432000 4194304 4196468 140724153695664 140724153678208 140364955942647 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 24858624 140724153697461 140724153697585 140724153697585 140724153700303 0
/proc/24976/statm: 2017055 34204 3167 1 0 1978454 0
[pid=24991] ppid=24976 vsize=56676 memory=38184 CPUtime=3.09 cores=0,2,4,6
/proc/24991/stat : 24991 (minisat_release) R 24976 24958 23167 0 -1 4202496 14369 0 0 0 306 3 0 0 20 0 1 0 224379979 58036224 9546 33554432000 4194304 4308513 140726723912352 140726723909976 4276465 0 4 0 8396802 0 0 0 17 0 0 0 0 0 0 6409496 6410680 27783168 140726723916916 140726723917014 140726723917014 140726723919813 0
/proc/24991/statm: 14169 9546 341 28 0 10409 0
[pid=24976/tid=24977] ppid=24958 vsize=8068220 memory=0 CPUtime=0.95 cores=0,2,4,6
/proc/24976/task/24977/stat : 24977 (java) S 24958 24958 23167 0 -1 1077944384 14568 0 0 0 83 12 0 0 20 0 19 0 224379887 8261857280 34204 33554432000 4194304 4196468 140724153695664 140364927782800 140364955952853 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24858624 140724153697461 140724153697585 140724153697585 140724153700303 0
[pid=24976/tid=24978] ppid=24958 vsize=8068220 memory=288230574492221466 CPUtime=0 cores=0,2,4,6
/proc/24976/task/24978/stat : 24978 (java) S 24958 24958 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224379888 8261857280 34204 33554432000 4194304 4196468 140724153695664 140364960185488 140364955952853 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24858624 140724153697461 140724153697585 140724153697585 140724153700303 0
[pid=24976/tid=24979] ppid=24958 vsize=8068220 memory=288230583166042426 CPUtime=0 cores=0,2,4,6
/proc/24976/task/24979/stat : 24979 (java) S 24958 24958 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224379888 8261857280 34204 33554432000 4194304 4196468 140724153695664 140364441357328 140364955952853 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24858624 140724153697461 140724153697585 140724153697585 140724153700303 0
[pid=24976/tid=24980] ppid=24958 vsize=8068220 memory=13565994345960240 CPUtime=0 cores=0,2,4,6
/proc/24976/task/24980/stat : 24980 (java) S 24958 24958 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224379888 8261857280 34204 33554432000 4194304 4196468 140724153695664 140364440304528 140364955952853 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24858624 140724153697461 140724153697585 140724153697585 140724153700303 0
[pid=24976/tid=24981] ppid=24958 vsize=8068220 memory=3732 CPUtime=0 cores=0,2,4,6
/proc/24976/task/24981/stat : 24981 (java) S 24958 24958 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 224379888 8261857280 34204 33554432000 4194304 4196468 140724153695664 140364439251728 140364955952853 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24858624 140724153697461 140724153697585 140724153697585 140724153700303 0
[pid=24976/tid=24982] ppid=24958 vsize=8068220 memory=12668 CPUtime=0 cores=0,2,4,6
/proc/24976/task/24982/stat : 24982 (java) S 24958 24958 23167 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 19 0 224379889 8261857280 34204 33554432000 4194304 4196468 140724153695664 140363999676784 140364955953794 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 5 0 0 6293624 6294260 24858624 140724153697461 140724153697585 140724153697585 140724153700303 0
[pid=24976/tid=24983] ppid=24958 vsize=8068220 memory=1072 CPUtime=0 cores=0,2,4,6
/proc/24976/task/24983/stat : 24983 (java) S 24958 24958 23167 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 224379890 8261857280 34204 33554432000 4194304 4196468 140724153695664 140363893302304 140364955952853 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24858624 140724153697461 140724153697585 140724153697585 140724153700303 0
[pid=24976/tid=24984] ppid=24958 vsize=8068220 memory=14888 CPUtime=0 cores=0,2,4,6
/proc/24976/task/24984/stat : 24984 (java) S 24958 24958 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224379890 8261857280 34204 33554432000 4194304 4196468 140724153695664 140363624866672 140364955952853 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24858624 140724153697461 140724153697585 140724153697585 140724153700303 0
[pid=24976/tid=24985] ppid=24958 vsize=8068220 memory=3316 CPUtime=0 cores=0,2,4,6
/proc/24976/task/24985/stat : 24985 (java) S 24958 24958 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224379893 8261857280 34204 33554432000 4194304 4196468 140724153695664 140363250358096 140364955961243 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24858624 140724153697461 140724153697585 140724153697585 140724153700303 0
[pid=24976/tid=24986] ppid=24958 vsize=8068220 memory=15768 CPUtime=0.24 cores=0,2,4,6
/proc/24976/task/24986/stat : 24986 (java) S 24958 24958 23167 0 -1 1077944384 1136 0 0 0 24 0 0 0 20 0 19 0 224379893 8261857280 34204 33554432000 4194304 4196468 140724153695664 140363998624624 140364955953794 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24858624 140724153697461 140724153697585 140724153697585 140724153700303 0
[pid=24976/tid=24987] ppid=24958 vsize=8068220 memory=34496 CPUtime=0.27 cores=0,2,4,6
/proc/24976/task/24987/stat : 24987 (java) S 24958 24958 23167 0 -1 1077944384 570 0 0 0 27 0 0 0 20 0 19 0 224379893 8261857280 34204 33554432000 4194304 4196468 140724153695664 140363997571824 140364955953794 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24858624 140724153697461 140724153697585 140724153697585 140724153700303 0
[pid=24976/tid=24988] ppid=24958 vsize=8068220 memory=56 CPUtime=0.24 cores=0,2,4,6
/proc/24976/task/24988/stat : 24988 (java) S 24958 24958 23167 0 -1 1077944384 648 0 0 0 24 0 0 0 20 0 19 0 224379893 8261857280 34204 33554432000 4194304 4196468 140724153695664 140363996519024 140364955953794 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24858624 140724153697461 140724153697585 140724153697585 140724153700303 0
[pid=24976/tid=24989] ppid=24958 vsize=8068220 memory=7156894261224762218 CPUtime=0 cores=0,2,4,6
/proc/24976/task/24989/stat : 24989 (java) S 24958 24958 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224379893 8261857280 34204 33554432000 4194304 4196468 140724153695664 140362752453344 140364955952853 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24858624 140724153697461 140724153697585 140724153697585 140724153700303 0
[pid=24976/tid=24990] ppid=24958 vsize=8068220 memory=4640772947473290089 CPUtime=0 cores=0,2,4,6
/proc/24976/task/24990/stat : 24990 (java) S 24958 24958 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224379893 8261857280 34204 33554432000 4194304 4196468 140724153695664 140363995466416 140364955953794 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 11 0 0 6293624 6294260 24858624 140724153697461 140724153697585 140724153697585 140724153700303 0
[pid=24976/tid=24992] ppid=24958 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/24976/task/24992/stat : 24992 (java) S 24958 24958 23167 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 224379979 8261857280 34204 33554432000 4194304 4196468 140724153695664 140363987657920 140364955967257 0 4 2 25189581 18446744071579417331 0 0 -1 4 0 0 0 0 0 6293624 6294260 24858624 140724153697461 140724153697585 140724153697585 140724153700303 0
[pid=24976/tid=24994] ppid=24958 vsize=8068220 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24976/task/24994/stat : 24994 (java) S 24958 24958 23167 0 -1 4202560 25 0 0 0 0 0 0 0 20 0 19 0 224379980 8261857280 34204 33554432000 4194304 4196468 140724153695664 140362215566640 140364955964573 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 24858624 140724153697461 140724153697585 140724153697585 140724153700303 0
[pid=24976/tid=24995] ppid=24958 vsize=8068220 memory=3472464550844550128 CPUtime=0 cores=0,2,4,6
/proc/24976/task/24995/stat : 24995 (java) S 24958 24958 23167 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 224379980 8261857280 34204 33554432000 4194304 4196468 140724153695664 140362081345712 140364955964573 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 24858624 140724153697461 140724153697585 140724153697585 140724153700303 0
[pid=24976/tid=24996] ppid=24958 vsize=8068220 memory=6943526294502006880 CPUtime=0 cores=0,2,4,6
/proc/24976/task/24996/stat : 24996 (java) S 24958 24958 23167 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 19 0 224379982 8261857280 34204 33554432000 4194304 4196468 140724153695664 140362349797024 140364955952853 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24858624 140724153697461 140724153697585 140724153697585 140724153700303 0
Current children cumulated CPU time: 21.85 s
Current children cumulated vsize: 8238024 KiB
Current children cumulated memory: 176472 KiB

[startup+10.9009 s]
/proc/loadavg: 2.51 2.15 2.10 3/229 24996
/proc/meminfo: memFree=20370652/32770624 swapFree=67108688/67108860
[pid=24958] ppid=24955 vsize=113128 memory=1472 CPUtime=17.02 cores=0,2,4,6
/proc/24958/stat : 24958 (scop.sh) S 24955 24958 23167 0 -1 4202496 590 37008 0 0 0 0 1621 81 20 0 1 0 224379209 115843072 368 33554432000 4194304 5098028 140732012652832 140732012649576 140056859136636 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 30126080 140732012655681 140732012655879 140732012655879 140732012658637 0
/proc/24958/statm: 28282 368 311 221 0 87 0
[pid=24976] ppid=24958 vsize=8068220 memory=136816 CPUtime=1.74 cores=0,2,4,6
/proc/24976/stat : 24976 (java) S 24958 24958 23167 0 -1 1077944320 18339 0 0 0 160 14 0 0 20 0 19 0 224379887 8261857280 34204 33554432000 4194304 4196468 140724153695664 140724153678208 140364955942647 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 24858624 140724153697461 140724153697585 140724153697585 140724153700303 0
/proc/24976/statm: 2017055 34204 3167 1 0 1978454 0
[pid=24991] ppid=24976 vsize=56676 memory=38184 CPUtime=3.19 cores=0,2,4,6
/proc/24991/stat : 24991 (minisat_release) R 24976 24958 23167 0 -1 4202496 14385 0 0 0 316 3 0 0 20 0 1 0 224379979 58036224 9546 33554432000 4194304 4308513 140726723912352 140726723909976 4275941 0 4 0 8396802 0 0 0 17 0 0 0 0 0 0 6409496 6410680 27783168 140726723916916 140726723917014 140726723917014 140726723919813 0
/proc/24991/statm: 14169 9546 341 28 0 10409 0
[pid=24976/tid=24977] ppid=24958 vsize=8068220 memory=36136 CPUtime=0.95 cores=0,2,4,6
/proc/24976/task/24977/stat : 24977 (java) S 24958 24958 23167 0 -1 1077944384 14568 0 0 0 83 12 0 0 20 0 19 0 224379887 8261857280 34204 33554432000 4194304 4196468 140724153695664 140364927782800 140364955952853 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24858624 140724153697461 140724153697585 140724153697585 140724153700303 0
[pid=24976/tid=24978] ppid=24958 vsize=8068220 memory=36060 CPUtime=0 cores=0,2,4,6
/proc/24976/task/24978/stat : 24978 (java) S 24958 24958 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224379888 8261857280 34204 33554432000 4194304 4196468 140724153695664 140364960185488 140364955952853 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24858624 140724153697461 140724153697585 140724153697585 140724153700303 0
[pid=24976/tid=24979] ppid=24958 vsize=8068220 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24976/task/24979/stat : 24979 (java) S 24958 24958 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224379888 8261857280 34204 33554432000 4194304 4196468 140724153695664 140364441357328 140364955952853 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24858624 140724153697461 140724153697585 140724153697585 140724153700303 0
[pid=24976/tid=24980] ppid=24958 vsize=8068220 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24976/task/24980/stat : 24980 (java) S 24958 24958 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224379888 8261857280 34204 33554432000 4194304 4196468 140724153695664 140364440304528 140364955952853 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24858624 140724153697461 140724153697585 140724153697585 140724153700303 0
[pid=24976/tid=24981] ppid=24958 vsize=8068220 memory=924 CPUtime=0 cores=0,2,4,6
/proc/24976/task/24981/stat : 24981 (java) S 24958 24958 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 224379888 8261857280 34204 33554432000 4194304 4196468 140724153695664 140364439251728 140364955952853 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24858624 140724153697461 140724153697585 140724153697585 140724153700303 0
[pid=24976/tid=24982] ppid=24958 vsize=8068220 memory=1168 CPUtime=0 cores=0,2,4,6
/proc/24976/task/24982/stat : 24982 (java) S 24958 24958 23167 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 19 0 224379889 8261857280 34204 33554432000 4194304 4196468 140724153695664 140363999676784 140364955953794 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 5 0 0 6293624 6294260 24858624 140724153697461 140724153697585 140724153697585 140724153700303 0
[pid=24976/tid=24983] ppid=24958 vsize=8068220 memory=36060 CPUtime=0 cores=0,2,4,6
/proc/24976/task/24983/stat : 24983 (java) S 24958 24958 23167 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 224379890 8261857280 34204 33554432000 4194304 4196468 140724153695664 140363893302304 140364955952853 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24858624 140724153697461 140724153697585 140724153697585 140724153700303 0
[pid=24976/tid=24984] ppid=24958 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/24976/task/24984/stat : 24984 (java) S 24958 24958 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224379890 8261857280 34204 33554432000 4194304 4196468 140724153695664 140363624866672 140364955952853 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24858624 140724153697461 140724153697585 140724153697585 140724153700303 0
[pid=24976/tid=24985] ppid=24958 vsize=8068220 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/24976/task/24985/stat : 24985 (java) S 24958 24958 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224379893 8261857280 34204 33554432000 4194304 4196468 140724153695664 140363250358096 140364955961243 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24858624 140724153697461 140724153697585 140724153697585 140724153700303 0
[pid=24976/tid=24986] ppid=24958 vsize=8068220 memory=1796 CPUtime=0.24 cores=0,2,4,6
/proc/24976/task/24986/stat : 24986 (java) S 24958 24958 23167 0 -1 1077944384 1136 0 0 0 24 0 0 0 20 0 19 0 224379893 8261857280 34204 33554432000 4194304 4196468 140724153695664 140363998624624 140364955953794 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24858624 140724153697461 140724153697585 140724153697585 140724153700303 0
[pid=24976/tid=24987] ppid=24958 vsize=8068220 memory=4465 CPUtime=0.27 cores=0,2,4,6
/proc/24976/task/24987/stat : 24987 (java) S 24958 24958 23167 0 -1 1077944384 570 0 0 0 27 0 0 0 20 0 19 0 224379893 8261857280 34204 33554432000 4194304 4196468 140724153695664 140363997571824 140364955953794 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24858624 140724153697461 140724153697585 140724153697585 140724153700303 0
[pid=24976/tid=24988] ppid=24958 vsize=8068220 memory=4420 CPUtime=0.24 cores=0,2,4,6
/proc/24976/task/24988/stat : 24988 (java) S 24958 24958 23167 0 -1 1077944384 648 0 0 0 24 0 0 0 20 0 19 0 224379893 8261857280 34204 33554432000 4194304 4196468 140724153695664 140363996519024 140364955953794 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24858624 140724153697461 140724153697585 140724153697585 140724153700303 0
[pid=24976/tid=24989] ppid=24958 vsize=8068220 memory=1752 CPUtime=0 cores=0,2,4,6
/proc/24976/task/24989/stat : 24989 (java) S 24958 24958 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224379893 8261857280 34204 33554432000 4194304 4196468 140724153695664 140362752453344 140364955952853 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24858624 140724153697461 140724153697585 140724153697585 140724153700303 0
[pid=24976/tid=24990] ppid=24958 vsize=8068220 memory=868 CPUtime=0 cores=0,2,4,6
/proc/24976/task/24990/stat : 24990 (java) S 24958 24958 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224379893 8261857280 34204 33554432000 4194304 4196468 140724153695664 140363995466416 140364955953794 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 11 0 0 6293624 6294260 24858624 140724153697461 140724153697585 140724153697585 140724153700303 0
[pid=24976/tid=24992] ppid=24958 vsize=8068220 memory=1808 CPUtime=0 cores=0,2,4,6
/proc/24976/task/24992/stat : 24992 (java) S 24958 24958 23167 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 224379979 8261857280 34204 33554432000 4194304 4196468 140724153695664 140363987657920 140364955967257 0 4 2 25189581 18446744071579417331 0 0 -1 4 0 0 0 0 0 6293624 6294260 24858624 140724153697461 140724153697585 140724153697585 140724153700303 0
[pid=24976/tid=24994] ppid=24958 vsize=8068220 memory=36060 CPUtime=0 cores=0,2,4,6
/proc/24976/task/24994/stat : 24994 (java) S 24958 24958 23167 0 -1 4202560 25 0 0 0 0 0 0 0 20 0 19 0 224379980 8261857280 34204 33554432000 4194304 4196468 140724153695664 140362215566640 140364955964573 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 24858624 140724153697461 140724153697585 140724153697585 140724153700303 0
[pid=24976/tid=24995] ppid=24958 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/24976/task/24995/stat : 24995 (java) S 24958 24958 23167 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 224379980 8261857280 34204 33554432000 4194304 4196468 140724153695664 140362081345712 140364955964573 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 24858624 140724153697461 140724153697585 140724153697585 140724153700303 0
[pid=24976/tid=24996] ppid=24958 vsize=8068220 memory=118364 CPUtime=0 cores=0,2,4,6
/proc/24976/task/24996/stat : 24996 (java) S 24958 24958 23167 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 19 0 224379982 8261857280 34204 33554432000 4194304 4196468 140724153695664 140362349797024 140364955952853 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24858624 140724153697461 140724153697585 140724153697585 140724153700303 0
Current children cumulated CPU time: 21.95 s
Current children cumulated vsize: 8238024 KiB
Current children cumulated memory: 176472 KiB

Child status: 0
Real time (s): 10.9466
CPU time (s): 22.0386
CPU user time (s): 21.0349
CPU system time (s): 1.00363
CPU usage (%): 201.328
Max. virtual memory (cumulated for all children) (KiB): 15142280
Max. memory (cumulated for all children) (KiB): 2991760

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 21.0349
system time used= 1.00363
maximum resident set size= 2990936
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 70415
page faults= 0
swaps= 0
block input operations= 0
block output operations= 22240
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5909
involuntary context switches= 68


# summary of solver processes directly reported to runsolver:
#   pid: 24958
#   total CPU time (s): 22.0386
#   total CPU user time (s): 21.0349
#   total CPU system time (s): 1.00363

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.110862 second user time and 0.137551 second system time

The end

Launcher Data 

Begin job on node106 at 2018-08-12 12:02:43
IDJOB=4305772
IDBENCH=141177
IDSOLVER=2783
FILE ID=node106/4305772-1534068163
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-f02_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-4305772-1534068163/watcher-4305772-1534068163 -o /tmp/evaluation-result-4305772-1534068163/solver-4305772-1534068163 -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-4305772-1534068163.xml

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

MD5SUM BENCH= 9039ba285abc1aa689fd996e152ad038
RANDOM SEED=361040152

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:        20543284 kB
MemAvailable:   31734316 kB
Buffers:          123852 kB
Cached:         11214412 kB
SwapCached:            0 kB
Active:          5719004 kB
Inactive:        5844588 kB
Active(anon):     172484 kB
Inactive(anon):   105404 kB
Active(file):    5546520 kB
Inactive(file):  5739184 kB
Unevictable:        6996 kB
Mlocked:            6996 kB
SwapTotal:      67108860 kB
SwapFree:       67108688 kB
Dirty:              8072 kB
Writeback:             4 kB
AnonPages:        232132 kB
Mapped:            63500 kB
Shmem:             49632 kB
Slab:             362460 kB
SReclaimable:     333788 kB
SUnreclaim:        28672 kB
KernelStack:        3712 kB
PageTables:         5696 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:     96256 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:54