Trace number 4305770

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 18.3093 8.47387

General information on the benchmark

NameRlfap/Rlfap-dec-scens11/
Rlfap-scen-11-f05_c18.xml
MD5SUMf8050e8ddc741b4fb4a45c7e8cfb7628
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 benchmark12.3018
Satisfiable
(Un)Satisfiability was proved
Number of variables680
Number of constraints4103
Number of domains5
Minimum domain size6
Maximum domain size39
Distribution of domain sizes[{"size":6,"count":2},{"size":21,"count":4},{"size":22,"count":10},{"size":32,"count":336},{"size":39,"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-25742-serial-file.bin HOME/instance-4305770-1534068238.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:03:59 CEST 2018
0.66/0.55	c PID: 25745
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
5.21/2.07	c (1,1) Parsing End
5.21/2.08	c (1,1) CSP: 680 int (0 aux), 0 bool (0 aux), 4103 ctr, max domain size 39
5.81/2.21	c (1,1) Heap : 507 MiB used (max 10795 MiB), NonHeap : 25 MiB used (max 0 MiB)
5.81/2.21	c (1,1) Constraint Name Generate Begin
5.81/2.21	c (1,1) Ctr:HOME/instance-4305770-1534068238.xml,Dist:Eq:IntVar:Le:Num
5.81/2.21	c (1,1) Constraint Name Generate End
5.81/2.21	c (1,1) Heap : 507 MiB used (max 10795 MiB), NonHeap : 25 MiB used (max 0 MiB)
5.81/2.21	c (1,1) CSP to CSPinCNF Begin
6.12/2.40	c (1,1) translated 411 (10%) constraints
6.43/2.47	c (1,1) translated 821 (20%) constraints
6.75/2.52	c (1,1) translated 1231 (30%) constraints
6.75/2.57	c (2,2) translated 1642 (40%) constraints
7.07/2.61	c (2,2) translated 2052 (50%) constraints
7.07/2.66	c (2,2) translated 2462 (60%) constraints
7.36/2.71	c (2,2) translated 2873 (70%) constraints
7.36/2.75	c (2,2) translated 3283 (80%) constraints
7.36/2.79	c (2,2) translated 3693 (90%) constraints
7.66/2.90	c (2,2) translated 4103 (100%) constraints
8.03/2.98	c (2,2) STATISTICS1:HOME/instance-4305770-1534068238.xml,Dist:Eq:IntVar:Le:Num,680,4783,39,39,2,2,39:3314;32:5144;22:344;21:24;6:60,39:9348;32:7956;22:364;21:40;6:64,2:4103;1:680,2:8886,
8.03/2.98	c (2,2) ==========================================
8.03/2.98	c (2,2) Both Encoding selects:
8.03/2.98	c (2,2) Order
8.03/2.98	c (2,2) ==========================================
8.03/3.01	c (2,2) translated 479 (10%) constraints
8.41/3.03	c (2,2) translated 957 (20%) constraints
8.41/3.05	c (2,2) translated 1435 (30%) constraints
8.41/3.06	c (2,2) translated 1914 (40%) constraints
8.41/3.08	c (2,2) translated 2392 (50%) constraints
8.41/3.10	c (2,2) translated 2870 (60%) constraints
8.71/3.12	c (2,2) translated 3349 (70%) constraints
8.71/3.13	c (2,2) translated 3827 (80%) constraints
8.71/3.15	c (2,2) translated 4305 (90%) constraints
8.71/3.16	c (2,2) translated 4783 (100%) constraints
8.71/3.17	c (2,2) CSP to CSPinCNF End
8.71/3.17	c (2,2) CSP: 680 int (0 aux), 0 bool (0 aux), 4783 ctr, max domain size 39
8.71/3.17	c (2,2) Heap : 675 MiB used (max 10795 MiB), NonHeap : 32 MiB used (max 0 MiB)
8.71/3.17	c (2,2) CSPinCNF Propagation Begin
10.91/4.59	c (4,4) 0 values, 0 unsatisfiable literals, and 0 valid clauses are removed
10.91/4.59	c (4,4) CSPinCNF Propagation End
10.91/4.60	c (4,4) CSP: 680 int (0 aux), 0 bool (0 aux), 4783 ctr, max domain size 39
10.91/4.60	c (4,4) Heap : 2140 MiB used (max 10795 MiB), NonHeap : 32 MiB used (max 0 MiB)
10.91/4.60	c (4,4) Simplify CSPinCNF Begin
11.57/4.87	c (4,4) Simplify CSPinCNF End
11.57/4.87	c (4,4) CSP: 680 int (0 aux), 8206 bool (8206 aux), 12989 ctr, max domain size 39
11.57/4.87	c (4,4) Heap : 2196 MiB used (max 10795 MiB), NonHeap : 33 MiB used (max 0 MiB)
11.57/4.87	c (4,4) Calculate Precise Domain Begin
11.57/4.87	c (4,4) 0 values are removed by re-calculation
11.57/4.87	c (4,4) Calculate Precise Domain End
11.57/4.88	c (4,4) CSP: 680 int (0 aux), 8206 bool (8206 aux), 12989 ctr, max domain size 39
11.57/4.88	c (4,4) Heap : 2196 MiB used (max 10795 MiB), NonHeap : 33 MiB used (max 0 MiB)
11.57/4.88	c (4,4) CSPinCNF to SatSolver Begin
12.85/5.20	c (4,4) 1299 (10 %) CSP clauses are encoded (31386 SAT variables, 50505 SAT clauses)
13.14/5.32	c (4,4) 2598 (20 %) CSP clauses are encoded (31386 SAT variables, 78073 SAT clauses)
13.40/5.43	c (4,4) 3897 (30 %) CSP clauses are encoded (31386 SAT variables, 103483 SAT clauses)
13.60/5.53	c (5,4) 5196 (40 %) CSP clauses are encoded (31386 SAT variables, 131265 SAT clauses)
13.70/5.63	c (5,5) 6495 (50 %) CSP clauses are encoded (31386 SAT variables, 160135 SAT clauses)
13.84/5.73	c (5,5) 7794 (60 %) CSP clauses are encoded (31386 SAT variables, 189589 SAT clauses)
13.99/5.82	c (5,5) 9093 (70 %) CSP clauses are encoded (31386 SAT variables, 218811 SAT clauses)
14.10/5.92	c (5,5) 10392 (80 %) CSP clauses are encoded (31386 SAT variables, 248167 SAT clauses)
14.26/6.01	c (5,5) 11691 (90 %) CSP clauses are encoded (31386 SAT variables, 276483 SAT clauses)
14.55/6.12	c (5,5) 12989 (100 %) CSP clauses are encoded (31386 SAT variables, 302440 SAT clauses)
14.55/6.12	c (5,5) Launch Command will be: minisat_release
14.55/6.12	c (5,5) CSPinCNF to SatSolver End
14.55/6.12	c (5,5) Heap : 110 MiB used (max 10795 MiB), NonHeap : 36 MiB used (max 0 MiB)
14.82/6.22	c (5,5) STATISTICS2:HOME/instance-4305770-1534068238.xml,Dist:Eq:IntVar:Le:Num,8886,12989,39,39,2,2,39:3314;32:5144;22:344;21:24;6:60,39:9348;32:7956;22:364;21:40;6:64;2:16412,2:12309;1:680,2:8886;1:16412,
14.82/6.22	c (5,5) 31386 bool, 302452 clause
14.82/6.22	c (5,5) Export Begin
15.59/6.58	c (6,6) Export to HOME/scop-25742-serial-file.bin
15.59/6.58	c (6,6) Export End
15.59/6.58	c (6,6) Export File Size: 4.28 MB
15.59/6.58	c (6,6) 1,1,2,4,4,4,5,STOP-AFTER(DIMACS)
15.59/6.58	c END-Prog: Sun Aug 12 12:04:05 CEST 2018
0.00/6.62	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp scop.jar fun.scop.XCSP18Solve HOME/scop-25742-serial-file.bin
16.24/7.11	c (0,0) Read Serial File Begin
16.24/7.11	c (0,0) HOME/scop-25742-serial-file.bin
16.97/7.59	c (0,0) Read Serial File End
17.23/7.61	
17.23/7.61	scop order+minisat_release (2018-07-31)
17.23/7.61	(Solving Process)
17.23/7.61	
17.23/7.63	c BEGIN-Prog: Sun Aug 12 12:04:06 CEST 2018
17.23/7.63	c PID: 25760
17.23/7.63	c IP: 172.20.3.106
17.23/7.63	c HOST: node106.alineos.net
17.23/7.63	c (0,0) SatSolver.solve Begin
17.23/7.63	c (0,0) 0 bool, 0 clause
17.23/7.63	c (0,0) minisat_release HOME/instance-4305770-1534068238.xml-scop-25745.cnf
18.20/8.45	c (1,0) c This is COMiniSatPS.
18.20/8.45	c (1,0) c WARNING: for repeatability, setting FPU to use double precision
18.20/8.45	c (1,0) c ============================[ Problem Statistics ]=============================
18.20/8.45	c (1,0) c |                                                                             |
18.20/8.45	c (1,0) c |  Number of variables:         31386                                         |
18.20/8.45	c (1,0) c |  Number of clauses:          302452                                         |
18.20/8.45	c (1,0) c |  Parse time:                   0.10 s                                       |
18.20/8.45	c (1,0) c |  Eliminated clauses:           0.08 Mb                                      |
18.20/8.45	c (1,0) c Reduced to 27161 vars, 295750 cls (grow=0)
18.20/8.45	c (1,0) c No iterative elimination performed. (vars=27161, c/v ratio=10.9)
18.20/8.45	c (1,0) c |  Simplification time:          0.32 s                                       |
18.20/8.45	c (1,0) c |                                                                             |
18.20/8.45	c (1,0) c ============================[ Search Statistics ]==============================
18.20/8.45	c (1,0) c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
18.20/8.45	c (1,0) c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
18.20/8.45	c (1,0) c ===============================================================================
18.20/8.45	c (1,0) c ===============================================================================
18.20/8.45	c (1,0) c restarts              : 3
18.20/8.45	c (1,0) c conflicts             : 6592           (8501 /sec)
18.20/8.45	c (1,0) c decisions             : 8745           (0.00 % random) (11278 /sec)
18.20/8.45	c (1,0) c propagations          : 1315876        (1696978 /sec)
18.20/8.45	c (1,0) c conflict literals     : 74867          (33.71 % deleted)
18.20/8.45	c (1,0) c CPU time              : 0.775423 s
18.20/8.45	c (1,0) 
18.20/8.45	c (1,0) s UNSATISFIABLE
18.20/8.46	c (1,0) SatSolver.solve End
18.20/8.46	c (1,0) Heap : 163 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
18.20/8.46	c (1,0) Show results Begin
18.20/8.46	s UNSATISFIABLE
18.20/8.46	c (1,0) Show results End
18.20/8.46	c (1,0) Heap : 163 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
18.20/8.46	c (1,0) 1,1,STOP-AFTER(ALL)
18.20/8.46	c END-Prog: Sun Aug 12 12:04:07 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 (8581 MiB free)
  memory of node 1: 16384 MiB (11481 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4305770-1534068238/watcher-4305770-1534068238 -o /tmp/evaluation-result-4305770-1534068238/solver-4305770-1534068238 -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-4305770-1534068238.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
solver pid=25742, runsolver pid=25739
Current StackSize limit: 8192 KiB


[startup+0.100111 s]*
/proc/loadavg: 2.67 2.26 2.14 3/224 25759
/proc/meminfo: memFree=20484916/32770624 swapFree=67108688/67108860
[pid=25742] ppid=25739 vsize=113128 memory=1392 CPUtime=0 cores=0,2,4,6
/proc/25742/stat : 25742 (scop.sh) S 25739 25742 23167 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 224386689 115843072 348 33554432000 4194304 5098028 140732544746544 140732544743800 140013571699324 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 13754368 140732544750657 140732544750855 140732544750855 140732544753613 0
/proc/25742/statm: 28282 348 296 221 0 87 0
[pid=25745] ppid=25742 vsize=15012476 memory=71072 CPUtime=0.11 cores=0,2,4,6
/proc/25745/stat : 25745 (java) S 25742 25742 23167 0 -1 1077944320 6907 0 0 0 10 1 0 0 20 0 15 0 224386689 15372775424 17768 33554432000 4194304 4196468 140734792585312 140734792567856 139628294598391 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 21676032 140734792590343 140734792590641 140734792590641 140734792593359 0
/proc/25745/statm: 3753119 17768 2771 1 0 3715579 0
[pid=25745/tid=25746] ppid=25742 vsize=15012476 memory=-6078870780940435395 CPUtime=0.09 cores=0,2,4,6
/proc/25745/task/25746/stat : 25746 (java) R 25742 25742 23167 0 -1 4202560 4975 0 0 0 8 1 0 0 20 0 15 0 224386690 15372775424 17768 33554432000 4194304 4196468 140734792585312 139628266410376 139628276162392 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21676032 140734792590343 140734792590641 140734792590641 140734792593359 0
[pid=25745/tid=25747] ppid=25742 vsize=15012476 memory=4206468019014099040 CPUtime=0 cores=0,2,4,6
/proc/25745/task/25747/stat : 25747 (java) S 25742 25742 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224386691 15372775424 17768 33554432000 4194304 4196468 140734792585312 139628298841104 139628294608597 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21676032 140734792590343 140734792590641 140734792590641 140734792593359 0
[pid=25745/tid=25748] ppid=25742 vsize=15012476 memory=140200720828032 CPUtime=0 cores=0,2,4,6
/proc/25745/task/25748/stat : 25748 (java) S 25742 25742 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224386691 15372775424 17768 33554432000 4194304 4196468 140734792585312 139628112997520 139628294608597 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21676032 140734792590343 140734792590641 140734792590641 140734792593359 0
[pid=25745/tid=25749] ppid=25742 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25745/task/25749/stat : 25749 (java) S 25742 25742 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224386691 15372775424 17768 33554432000 4194304 4196468 140734792585312 139627754498832 139628294608597 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21676032 140734792590343 140734792590641 140734792590641 140734792593359 0
[pid=25745/tid=25750] ppid=25742 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25745/task/25750/stat : 25750 (java) S 25742 25742 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224386691 15372775424 17768 33554432000 4194304 4196468 140734792585312 139627753446288 139628294608597 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21676032 140734792590343 140734792590641 140734792590641 140734792593359 0
[pid=25745/tid=25751] ppid=25742 vsize=15012476 memory=140200720828032 CPUtime=0 cores=0,2,4,6
/proc/25745/task/25751/stat : 25751 (java) S 25742 25742 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224386693 15372775424 17768 33554432000 4194304 4196468 140734792585312 139627130218736 139628294609538 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21676032 140734792590343 140734792590641 140734792590641 140734792593359 0
[pid=25745/tid=25752] ppid=25742 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25745/task/25752/stat : 25752 (java) S 25742 25742 23167 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224386693 15372775424 17768 33554432000 4194304 4196468 140734792585312 139626903757984 139628294608597 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21676032 140734792590343 140734792590641 140734792590641 140734792593359 0
[pid=25745/tid=25753] ppid=25742 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25745/task/25753/stat : 25753 (java) S 25742 25742 23167 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 224386693 15372775424 17768 33554432000 4194304 4196468 140734792585312 139626769535728 139628294608597 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21676032 140734792590343 140734792590641 140734792590641 140734792593359 0
[pid=25745/tid=25754] ppid=25742 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25745/task/25754/stat : 25754 (java) S 25742 25742 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224386696 15372775424 17768 33554432000 4194304 4196468 140734792585312 139626395031504 139628294616987 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21676032 140734792590343 140734792590641 140734792590641 140734792593359 0
[pid=25745/tid=25755] ppid=25742 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25745/task/25755/stat : 25755 (java) S 25742 25742 23167 0 -1 1077944384 304 0 0 0 0 0 0 0 20 0 15 0 224386696 15372775424 17768 33554432000 4194304 4196468 140734792585312 139627129166576 139628294609538 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21676032 140734792590343 140734792590641 140734792590641 140734792593359 0
[pid=25745/tid=25756] ppid=25742 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25745/task/25756/stat : 25756 (java) S 25742 25742 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224386696 15372775424 17768 33554432000 4194304 4196468 140734792585312 139627128114032 139628294609538 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21676032 140734792590343 140734792590641 140734792590641 140734792593359 0
[pid=25745/tid=25757] ppid=25742 vsize=15012476 memory=140200720828032 CPUtime=0 cores=0,2,4,6
/proc/25745/task/25757/stat : 25757 (java) S 25742 25742 23167 0 -1 1077944384 274 0 0 0 0 0 0 0 20 0 15 0 224386696 15372775424 17768 33554432000 4194304 4196468 140734792585312 139627127060976 139628294609538 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21676032 140734792590343 140734792590641 140734792590641 140734792593359 0
[pid=25745/tid=25758] ppid=25742 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25745/task/25758/stat : 25758 (java) S 25742 25742 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224386696 15372775424 17768 33554432000 4194304 4196468 140734792585312 139625897126752 139628294608597 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21676032 140734792590343 140734792590641 140734792590641 140734792593359 0
[pid=25745/tid=25759] ppid=25742 vsize=15012476 memory=140200720828032 CPUtime=0 cores=0,2,4,6
/proc/25745/task/25759/stat : 25759 (java) S 25742 25742 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224386696 15372775424 17768 33554432000 4194304 4196468 140734792585312 139627126008368 139628294609538 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21676032 140734792590343 140734792590641 140734792590641 140734792593359 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 72464 KiB

[startup+0.210595 s]*
/proc/loadavg: 2.67 2.26 2.14 4/224 25759
/proc/meminfo: memFree=20470420/32770624 swapFree=67108688/67108860
[pid=25742] ppid=25739 vsize=113128 memory=1392 CPUtime=0 cores=0,2,4,6
/proc/25742/stat : 25742 (scop.sh) S 25739 25742 23167 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 224386689 115843072 348 33554432000 4194304 5098028 140732544746544 140732544743800 140013571699324 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 13754368 140732544750657 140732544750855 140732544750855 140732544753613 0
/proc/25742/statm: 28282 348 296 221 0 87 0
[pid=25745] ppid=25742 vsize=15012476 memory=84376 CPUtime=0.25 cores=0,2,4,6
/proc/25745/stat : 25745 (java) S 25742 25742 23167 0 -1 1077944320 10419 0 0 0 23 2 0 0 20 0 15 0 224386689 15372775424 21094 33554432000 4194304 4196468 140734792585312 140734792567856 139628294598391 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 21676032 140734792590343 140734792590641 140734792590641 140734792593359 0
/proc/25745/statm: 3753119 21094 2930 1 0 3715579 0
[pid=25745/tid=25746] ppid=25742 vsize=15012476 memory=7022364632946311227 CPUtime=0.19 cores=0,2,4,6
/proc/25745/task/25746/stat : 25746 (java) R 25742 25742 23167 0 -1 4202560 8306 0 0 0 18 1 0 0 20 0 15 0 224386690 15372775424 21094 33554432000 4194304 4196468 140734792585312 139628266411264 139628278678878 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21676032 140734792590343 140734792590641 140734792590641 140734792593359 0
[pid=25745/tid=25747] ppid=25742 vsize=15012476 memory=546 CPUtime=0 cores=0,2,4,6
/proc/25745/task/25747/stat : 25747 (java) S 25742 25742 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224386691 15372775424 21094 33554432000 4194304 4196468 140734792585312 139628298841104 139628294608597 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21676032 140734792590343 140734792590641 140734792590641 140734792593359 0
[pid=25745/tid=25748] ppid=25742 vsize=15012476 memory=140200722020318 CPUtime=0 cores=0,2,4,6
/proc/25745/task/25748/stat : 25748 (java) S 25742 25742 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224386691 15372775424 21094 33554432000 4194304 4196468 140734792585312 139628112997520 139628294608597 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21676032 140734792590343 140734792590641 140734792590641 140734792593359 0
[pid=25745/tid=25749] ppid=25742 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25745/task/25749/stat : 25749 (java) S 25742 25742 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224386691 15372775424 21094 33554432000 4194304 4196468 140734792585312 139627754498832 139628294608597 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21676032 140734792590343 140734792590641 140734792590641 140734792593359 0
[pid=25745/tid=25750] ppid=25742 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25745/task/25750/stat : 25750 (java) S 25742 25742 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224386691 15372775424 21094 33554432000 4194304 4196468 140734792585312 139627753446288 139628294608597 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21676032 140734792590343 140734792590641 140734792590641 140734792593359 0
[pid=25745/tid=25751] ppid=25742 vsize=15012476 memory=140200720828032 CPUtime=0 cores=0,2,4,6
/proc/25745/task/25751/stat : 25751 (java) S 25742 25742 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224386693 15372775424 21094 33554432000 4194304 4196468 140734792585312 139627130218736 139628294609538 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21676032 140734792590343 140734792590641 140734792590641 140734792593359 0
[pid=25745/tid=25752] ppid=25742 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25745/task/25752/stat : 25752 (java) S 25742 25742 23167 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224386693 15372775424 21094 33554432000 4194304 4196468 140734792585312 139626903757984 139628294608597 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21676032 140734792590343 140734792590641 140734792590641 140734792593359 0
[pid=25745/tid=25753] ppid=25742 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25745/task/25753/stat : 25753 (java) S 25742 25742 23167 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 224386693 15372775424 21094 33554432000 4194304 4196468 140734792585312 139626769535728 139628294608597 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21676032 140734792590343 140734792590641 140734792590641 140734792593359 0
[pid=25745/tid=25754] ppid=25742 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25745/task/25754/stat : 25754 (java) S 25742 25742 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224386696 15372775424 21094 33554432000 4194304 4196468 140734792585312 139626395031504 139628294616987 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21676032 140734792590343 140734792590641 140734792590641 140734792593359 0
[pid=25745/tid=25755] ppid=25742 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25745/task/25755/stat : 25755 (java) S 25742 25742 23167 0 -1 1077944384 338 0 0 0 0 0 0 0 20 0 15 0 224386696 15372775424 21094 33554432000 4194304 4196468 140734792585312 139627129166576 139628294609538 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21676032 140734792590343 140734792590641 140734792590641 140734792593359 0
[pid=25745/tid=25756] ppid=25742 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25745/task/25756/stat : 25756 (java) S 25742 25742 23167 0 -1 1077944384 134 0 0 0 0 0 0 0 20 0 15 0 224386696 15372775424 21094 33554432000 4194304 4196468 140734792585312 139627128114032 139628294609538 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21676032 140734792590343 140734792590641 140734792590641 140734792593359 0
[pid=25745/tid=25757] ppid=25742 vsize=15012476 memory=140200720828032 CPUtime=0.03 cores=0,2,4,6
/proc/25745/task/25757/stat : 25757 (java) S 25742 25742 23167 0 -1 1077944384 290 0 0 0 3 0 0 0 20 0 15 0 224386696 15372775424 21094 33554432000 4194304 4196468 140734792585312 139627127060976 139628294609538 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21676032 140734792590343 140734792590641 140734792590641 140734792593359 0
[pid=25745/tid=25758] ppid=25742 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25745/task/25758/stat : 25758 (java) S 25742 25742 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224386696 15372775424 21094 33554432000 4194304 4196468 140734792585312 139625897126752 139628294608597 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21676032 140734792590343 140734792590641 140734792590641 140734792593359 0
[pid=25745/tid=25759] ppid=25742 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25745/task/25759/stat : 25759 (java) S 25742 25742 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224386696 15372775424 21094 33554432000 4194304 4196468 140734792585312 139627126008368 139628294609538 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21676032 140734792590343 140734792590641 140734792590641 140734792593359 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 85768 KiB

[startup+0.310614 s]*
/proc/loadavg: 2.67 2.26 2.14 3/224 25759
/proc/meminfo: memFree=20466900/32770624 swapFree=67108688/67108860
[pid=25742] ppid=25739 vsize=113128 memory=1392 CPUtime=0 cores=0,2,4,6
/proc/25742/stat : 25742 (scop.sh) S 25739 25742 23167 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 224386689 115843072 348 33554432000 4194304 5098028 140732544746544 140732544743800 140013571699324 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 13754368 140732544750657 140732544750855 140732544750855 140732544753613 0
/proc/25742/statm: 28282 348 296 221 0 87 0
[pid=25745] ppid=25742 vsize=15012476 memory=87644 CPUtime=0.42 cores=0,2,4,6
/proc/25745/stat : 25745 (java) S 25742 25742 23167 0 -1 1077944320 10956 0 0 0 40 2 0 0 20 0 15 0 224386689 15372775424 21911 33554432000 4194304 4196468 140734792585312 140734792567856 139628294598391 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 21676032 140734792590343 140734792590641 140734792590641 140734792593359 0
/proc/25745/statm: 3753119 21911 2968 1 0 3715579 0
[pid=25745/tid=25746] ppid=25742 vsize=15012476 memory=6791534058613427641 CPUtime=0.3 cores=0,2,4,6
/proc/25745/task/25746/stat : 25746 (java) R 25742 25742 23167 0 -1 4202560 8678 0 0 0 28 2 0 0 20 0 15 0 224386690 15372775424 21911 33554432000 4194304 4196468 140734792585312 139628266393392 139628278678878 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21676032 140734792590343 140734792590641 140734792590641 140734792593359 0
[pid=25745/tid=25747] ppid=25742 vsize=15012476 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/25745/task/25747/stat : 25747 (java) S 25742 25742 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224386691 15372775424 21911 33554432000 4194304 4196468 140734792585312 139628298841104 139628294608597 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21676032 140734792590343 140734792590641 140734792590641 140734792593359 0
[pid=25745/tid=25748] ppid=25742 vsize=15012476 memory=-3258418265892434876 CPUtime=0 cores=0,2,4,6
/proc/25745/task/25748/stat : 25748 (java) S 25742 25742 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224386691 15372775424 21911 33554432000 4194304 4196468 140734792585312 139628112997520 139628294608597 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21676032 140734792590343 140734792590641 140734792590641 140734792593359 0
[pid=25745/tid=25749] ppid=25742 vsize=15012476 memory=4572146066226452084 CPUtime=0 cores=0,2,4,6
/proc/25745/task/25749/stat : 25749 (java) S 25742 25742 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224386691 15372775424 21911 33554432000 4194304 4196468 140734792585312 139627754498832 139628294608597 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21676032 140734792590343 140734792590641 140734792590641 140734792593359 0
[pid=25745/tid=25750] ppid=25742 vsize=15012476 memory=6944613755495348631 CPUtime=0 cores=0,2,4,6
/proc/25745/task/25750/stat : 25750 (java) S 25742 25742 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224386691 15372775424 21911 33554432000 4194304 4196468 140734792585312 139627753446288 139628294608597 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21676032 140734792590343 140734792590641 140734792590641 140734792593359 0
[pid=25745/tid=25751] ppid=25742 vsize=15012476 memory=7893295687695687954 CPUtime=0 cores=0,2,4,6
/proc/25745/task/25751/stat : 25751 (java) S 25742 25742 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224386693 15372775424 21911 33554432000 4194304 4196468 140734792585312 139627130218736 139628294609538 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21676032 140734792590343 140734792590641 140734792590641 140734792593359 0
[pid=25745/tid=25752] ppid=25742 vsize=15012476 memory=-8813974798734826869 CPUtime=0 cores=0,2,4,6
/proc/25745/task/25752/stat : 25752 (java) S 25742 25742 23167 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224386693 15372775424 21911 33554432000 4194304 4196468 140734792585312 139626903757984 139628294608597 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21676032 140734792590343 140734792590641 140734792590641 140734792593359 0
[pid=25745/tid=25753] ppid=25742 vsize=15012476 memory=-6664436420846797971 CPUtime=0 cores=0,2,4,6
/proc/25745/task/25753/stat : 25753 (java) S 25742 25742 23167 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 224386693 15372775424 21911 33554432000 4194304 4196468 140734792585312 139626769535728 139628294608597 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21676032 140734792590343 140734792590641 140734792590641 140734792593359 0
[pid=25745/tid=25754] ppid=25742 vsize=15012476 memory=4426078206164241782 CPUtime=0 cores=0,2,4,6
/proc/25745/task/25754/stat : 25754 (java) S 25742 25742 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224386696 15372775424 21911 33554432000 4194304 4196468 140734792585312 139626395031504 139628294616987 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21676032 140734792590343 140734792590641 140734792590641 140734792593359 0
[pid=25745/tid=25755] ppid=25742 vsize=15012476 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/25745/task/25755/stat : 25755 (java) S 25742 25742 23167 0 -1 1077944384 393 0 0 0 2 0 0 0 20 0 15 0 224386696 15372775424 21911 33554432000 4194304 4196468 140734792585312 139627129166576 139628294609538 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21676032 140734792590343 140734792590641 140734792590641 140734792593359 0
[pid=25745/tid=25756] ppid=25742 vsize=15012476 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/25745/task/25756/stat : 25756 (java) S 25742 25742 23167 0 -1 1077944384 222 0 0 0 2 0 0 0 20 0 15 0 224386696 15372775424 21911 33554432000 4194304 4196468 140734792585312 139627128114032 139628294609538 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21676032 140734792590343 140734792590641 140734792590641 140734792593359 0
[pid=25745/tid=25757] ppid=25742 vsize=15012476 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/25745/task/25757/stat : 25757 (java) S 25742 25742 23167 0 -1 1077944384 311 0 0 0 7 0 0 0 20 0 15 0 224386696 15372775424 21911 33554432000 4194304 4196468 140734792585312 139627127060976 139628294609538 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21676032 140734792590343 140734792590641 140734792590641 140734792593359 0
[pid=25745/tid=25758] ppid=25742 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25745/task/25758/stat : 25758 (java) S 25742 25742 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224386696 15372775424 21911 33554432000 4194304 4196468 140734792585312 139625897126752 139628294608597 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21676032 140734792590343 140734792590641 140734792590641 140734792593359 0
[pid=25745/tid=25759] ppid=25742 vsize=15012476 memory=3473180417806377009 CPUtime=0 cores=0,2,4,6
/proc/25745/task/25759/stat : 25759 (java) S 25742 25742 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224386696 15372775424 21911 33554432000 4194304 4196468 140734792585312 139627126008368 139628294609538 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21676032 140734792590343 140734792590641 140734792590641 140734792593359 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 89036 KiB

[startup+0.706877 s]
/proc/loadavg: 2.67 2.26 2.14 3/224 25759
/proc/meminfo: memFree=20442964/32770624 swapFree=67108688/67108860
[pid=25742] ppid=25739 vsize=113128 memory=1392 CPUtime=0 cores=0,2,4,6
/proc/25742/stat : 25742 (scop.sh) S 25739 25742 23167 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 224386689 115843072 348 33554432000 4194304 5098028 140732544746544 140732544743800 140013571699324 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 13754368 140732544750657 140732544750855 140732544750855 140732544753613 0
/proc/25742/statm: 28282 348 296 221 0 87 0
[pid=25745] ppid=25742 vsize=15018748 memory=128932 CPUtime=1.05 cores=0,2,4,6
/proc/25745/stat : 25745 (java) S 25742 25742 23167 0 -1 1077944320 17896 0 0 0 101 4 0 0 20 0 15 0 224386689 15379197952 32233 33554432000 4194304 4196468 140734792585312 140734792567856 139628294598391 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 21676032 140734792590343 140734792590641 140734792590641 140734792593359 0
/proc/25745/statm: 3754687 32233 3127 1 0 3716091 0
[pid=25745/tid=25746] ppid=25742 vsize=15018748 memory=2372 CPUtime=0.67 cores=0,2,4,6
/proc/25745/task/25746/stat : 25746 (java) R 25742 25742 23167 0 -1 4202560 15123 0 0 0 64 3 0 0 20 0 15 0 224386690 15379197952 32233 33554432000 4194304 4196468 140734792585312 139628266435904 139627793057005 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21676032 140734792590343 140734792590641 140734792590641 140734792593359 0
[pid=25745/tid=25747] ppid=25742 vsize=15018748 memory=116 CPUtime=0 cores=0,2,4,6
/proc/25745/task/25747/stat : 25747 (java) S 25742 25742 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224386691 15379197952 32233 33554432000 4194304 4196468 140734792585312 139628298841104 139628294608597 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21676032 140734792590343 140734792590641 140734792590641 140734792593359 0
[pid=25745/tid=25748] ppid=25742 vsize=15018748 memory=12868 CPUtime=0 cores=0,2,4,6
/proc/25745/task/25748/stat : 25748 (java) S 25742 25742 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224386691 15379197952 32233 33554432000 4194304 4196468 140734792585312 139628112997520 139628294608597 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21676032 140734792590343 140734792590641 140734792590641 140734792593359 0
[pid=25745/tid=25749] ppid=25742 vsize=15018748 memory=26497 CPUtime=0 cores=0,2,4,6
/proc/25745/task/25749/stat : 25749 (java) S 25742 25742 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224386691 15379197952 32233 33554432000 4194304 4196468 140734792585312 139627754498832 139628294608597 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21676032 140734792590343 140734792590641 140734792590641 140734792593359 0
[pid=25745/tid=25750] ppid=25742 vsize=15018748 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25745/task/25750/stat : 25750 (java) S 25742 25742 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224386691 15379197952 32233 33554432000 4194304 4196468 140734792585312 139627753446288 139628294608597 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21676032 140734792590343 140734792590641 140734792590641 140734792593359 0
[pid=25745/tid=25751] ppid=25742 vsize=15018748 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25745/task/25751/stat : 25751 (java) S 25742 25742 23167 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 224386693 15379197952 32233 33554432000 4194304 4196468 140734792585312 139627130218736 139628294609538 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21676032 140734792590343 140734792590641 140734792590641 140734792593359 0
[pid=25745/tid=25752] ppid=25742 vsize=15018748 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25745/task/25752/stat : 25752 (java) S 25742 25742 23167 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224386693 15379197952 32233 33554432000 4194304 4196468 140734792585312 139626903757984 139628294608597 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21676032 140734792590343 140734792590641 140734792590641 140734792593359 0
[pid=25745/tid=25753] ppid=25742 vsize=15018748 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25745/task/25753/stat : 25753 (java) S 25742 25742 23167 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 224386693 15379197952 32233 33554432000 4194304 4196468 140734792585312 139626769535728 139628294608597 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21676032 140734792590343 140734792590641 140734792590641 140734792593359 0
[pid=25745/tid=25754] ppid=25742 vsize=15018748 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25745/task/25754/stat : 25754 (java) S 25742 25742 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224386696 15379197952 32233 33554432000 4194304 4196468 140734792585312 139626395031504 139628294616987 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21676032 140734792590343 140734792590641 140734792590641 140734792593359 0
[pid=25745/tid=25755] ppid=25742 vsize=15018748 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/25745/task/25755/stat : 25755 (java) R 25742 25742 23167 0 -1 4202560 485 0 0 0 8 0 0 0 20 0 15 0 224386696 15379197952 32233 33554432000 4194304 4196468 140734792585312 139627129158224 139628275234324 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21676032 140734792590343 140734792590641 140734792590641 140734792593359 0
[pid=25745/tid=25756] ppid=25742 vsize=15018748 memory=0 CPUtime=0.1 cores=0,2,4,6
/proc/25745/task/25756/stat : 25756 (java) R 25742 25742 23167 0 -1 4202560 447 0 0 0 10 0 0 0 20 0 15 0 224386696 15379197952 32233 33554432000 4194304 4196468 140734792585312 139627128105984 139628274441999 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21676032 140734792590343 140734792590641 140734792590641 140734792593359 0
[pid=25745/tid=25757] ppid=25742 vsize=15018748 memory=0 CPUtime=0.18 cores=0,2,4,6
/proc/25745/task/25757/stat : 25757 (java) R 25742 25742 23167 0 -1 4202560 486 0 0 0 18 0 0 0 20 0 15 0 224386696 15379197952 32233 33554432000 4194304 4196468 140734792585312 139627127058936 139628274009601 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 21676032 140734792590343 140734792590641 140734792590641 140734792593359 0
[pid=25745/tid=25758] ppid=25742 vsize=15018748 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25745/task/25758/stat : 25758 (java) S 25742 25742 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224386696 15379197952 32233 33554432000 4194304 4196468 140734792585312 139625897126752 139628294608597 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21676032 140734792590343 140734792590641 140734792590641 140734792593359 0
[pid=25745/tid=25759] ppid=25742 vsize=15018748 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25745/task/25759/stat : 25759 (java) S 25742 25742 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224386696 15379197952 32233 33554432000 4194304 4196468 140734792585312 139627126008368 139628294609538 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21676032 140734792590343 140734792590641 140734792590641 140734792593359 0
Current children cumulated CPU time: 1.05 s
Current children cumulated vsize: 15131876 KiB
Current children cumulated memory: 130324 KiB

[startup+1.50074 s]
/proc/loadavg: 2.67 2.26 2.14 6/224 25759
/proc/meminfo: memFree=20221896/32770624 swapFree=67108688/67108860
[pid=25742] ppid=25739 vsize=113128 memory=1392 CPUtime=0 cores=0,2,4,6
/proc/25742/stat : 25742 (scop.sh) S 25739 25742 23167 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 224386689 115843072 348 33554432000 4194304 5098028 140732544746544 140732544743800 140013571699324 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 13754368 140732544750657 140732544750855 140732544750855 140732544753613 0
/proc/25742/statm: 28282 348 296 221 0 87 0

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

/proc/25745/task/25754/stat : 25754 (java) S 25742 25742 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224386696 15389851648 740313 33554432000 4194304 4196468 140734792585312 139626395031504 139628294616987 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21676032 140734792590343 140734792590641 140734792590641 140734792593359 0
[pid=25745/tid=25755] ppid=25742 vsize=15029152 memory=1392 CPUtime=3.76 cores=0,2,4,6
/proc/25745/task/25755/stat : 25755 (java) R 25742 25742 23167 0 -1 4202560 3278 0 0 0 375 1 0 0 20 0 15 0 224386696 15389851648 740313 33554432000 4194304 4196468 140734792585312 139627129147984 139628276183562 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21676032 140734792590343 140734792590641 140734792590641 140734792593359 0
[pid=25745/tid=25756] ppid=25742 vsize=15029152 memory=2329196 CPUtime=3.66 cores=0,2,4,6
/proc/25745/task/25756/stat : 25756 (java) R 25742 25742 23167 0 -1 4202560 5128 0 0 0 365 1 0 0 20 0 15 0 224386696 15389851648 740313 33554432000 4194304 4196468 140734792585312 139627128114032 139628276142164 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21676032 140734792590343 140734792590641 140734792590641 140734792593359 0
[pid=25745/tid=25757] ppid=25742 vsize=15029152 memory=7595973213050397268 CPUtime=1.51 cores=0,2,4,6
/proc/25745/task/25757/stat : 25757 (java) S 25742 25742 23167 0 -1 1077944384 4162 0 0 0 149 2 0 0 20 0 15 0 224386696 15389851648 740313 33554432000 4194304 4196468 140734792585312 139627127060976 139628294609538 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21676032 140734792590343 140734792590641 140734792590641 140734792593359 0
[pid=25745/tid=25758] ppid=25742 vsize=15029152 memory=7451013600044409428 CPUtime=0 cores=0,2,4,6
/proc/25745/task/25758/stat : 25758 (java) S 25742 25742 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224386696 15389851648 740313 33554432000 4194304 4196468 140734792585312 139625897126752 139628294608597 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21676032 140734792590343 140734792590641 140734792590641 140734792593359 0
[pid=25745/tid=25759] ppid=25742 vsize=15029152 memory=7451013600044409428 CPUtime=0 cores=0,2,4,6
/proc/25745/task/25759/stat : 25759 (java) S 25742 25742 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224386696 15389851648 740313 33554432000 4194304 4196468 140734792585312 139627126008368 139628294609538 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21676032 140734792590343 140734792590641 140734792590641 140734792593359 0
Current children cumulated CPU time: 15.41 s
Current children cumulated vsize: 15142280 KiB
Current children cumulated memory: 2962644 KiB

[startup+7.20078 s]
/proc/loadavg: 2.79 2.30 2.15 4/224 25774
/proc/meminfo: memFree=20477248/32770624 swapFree=67108688/67108860
[pid=25742] ppid=25739 vsize=113128 memory=1472 CPUtime=15.73 cores=0,2,4,6
/proc/25742/stat : 25742 (scop.sh) S 25739 25742 23167 0 -1 4202496 589 33864 0 0 0 0 1495 78 20 0 1 0 224386689 115843072 368 33554432000 4194304 5098028 140732544746544 140732544743288 140013571699324 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 13754368 140732544750657 140732544750855 140732544750855 140732544753613 0
/proc/25742/statm: 28282 368 311 221 0 87 0
[pid=25760] ppid=25742 vsize=7406364 memory=88392 CPUtime=0.64 cores=0,2,4,6
/proc/25760/stat : 25760 (java) S 25742 25742 23167 0 -1 1077944320 15236 0 0 0 61 3 0 0 20 0 15 0 224387351 7584116736 22098 33554432000 4194304 4196468 140731906761424 140731906743968 139641470983927 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 13500416 140731906770101 140731906770225 140731906770225 140731906772943 0
/proc/25760/statm: 1851591 22098 3031 1 0 1813530 0
[pid=25760/tid=25761] ppid=25742 vsize=7406364 memory=0 CPUtime=0.47 cores=0,2,4,6
/proc/25760/task/25761/stat : 25761 (java) D 25742 25742 23167 0 -1 4202560 12925 0 0 0 45 2 0 0 20 0 15 0 224387351 7584116736 22098 33554432000 4194304 4196468 140731906761424 139641442816752 139641471005853 0 4 2 25189581 18446744072100093061 0 0 -1 4 0 0 0 0 0 6293624 6294260 13500416 140731906770101 140731906770225 140731906770225 140731906772943 0
[pid=25760/tid=25762] ppid=25742 vsize=7406364 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25760/task/25762/stat : 25762 (java) S 25742 25742 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224387353 7584116736 22098 33554432000 4194304 4196468 140731906761424 139641475226768 139641470994133 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13500416 140731906770101 140731906770225 140731906770225 140731906772943 0
[pid=25760/tid=25763] ppid=25742 vsize=7406364 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25760/task/25763/stat : 25763 (java) S 25742 25742 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224387353 7584116736 22098 33554432000 4194304 4196468 140731906761424 139641275395088 139641470994133 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13500416 140731906770101 140731906770225 140731906770225 140731906772943 0
[pid=25760/tid=25764] ppid=25742 vsize=7406364 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25760/task/25764/stat : 25764 (java) S 25742 25742 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224387353 7584116736 22098 33554432000 4194304 4196468 140731906761424 139641274342288 139641470994133 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13500416 140731906770101 140731906770225 140731906770225 140731906772943 0
[pid=25760/tid=25765] ppid=25742 vsize=7406364 memory=280401235531632 CPUtime=0 cores=0,2,4,6
/proc/25760/task/25765/stat : 25765 (java) S 25742 25742 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224387353 7584116736 22098 33554432000 4194304 4196468 140731906761424 139641273289488 139641470994133 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13500416 140731906770101 140731906770225 140731906770225 140731906772943 0
[pid=25760/tid=25766] ppid=25742 vsize=7406364 memory=7451602933883889769 CPUtime=0 cores=0,2,4,6
/proc/25760/task/25766/stat : 25766 (java) S 25742 25742 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224387354 7584116736 22098 33554432000 4194304 4196468 140731906761424 139640716065136 139641470995074 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13500416 140731906770101 140731906770225 140731906770225 140731906772943 0
[pid=25760/tid=25767] ppid=25742 vsize=7406364 memory=7738684350684424037 CPUtime=0 cores=0,2,4,6
/proc/25760/task/25767/stat : 25767 (java) S 25742 25742 23167 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224387355 7584116736 22098 33554432000 4194304 4196468 140731906761424 139640191312928 139641470994133 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13500416 140731906770101 140731906770225 140731906770225 140731906772943 0
[pid=25760/tid=25768] ppid=25742 vsize=7406364 memory=6933690305039933585 CPUtime=0 cores=0,2,4,6
/proc/25760/task/25768/stat : 25768 (java) S 25742 25742 23167 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 224387355 7584116736 22098 33554432000 4194304 4196468 140731906761424 139640057090928 139641470994133 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13500416 140731906770101 140731906770225 140731906770225 140731906772943 0
[pid=25760/tid=25769] ppid=25742 vsize=7406364 memory=-2629629913695114654 CPUtime=0 cores=0,2,4,6
/proc/25760/task/25769/stat : 25769 (java) S 25742 25742 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224387357 7584116736 22098 33554432000 4194304 4196468 140731906761424 139639682586448 139641471002523 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13500416 140731906770101 140731906770225 140731906770225 140731906772943 0
[pid=25760/tid=25770] ppid=25742 vsize=7406364 memory=-5345911753256963030 CPUtime=0.02 cores=0,2,4,6
/proc/25760/task/25770/stat : 25770 (java) S 25742 25742 23167 0 -1 1077944384 366 0 0 0 2 0 0 0 20 0 15 0 224387357 7584116736 22098 33554432000 4194304 4196468 140731906761424 139640715012976 139641470995074 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13500416 140731906770101 140731906770225 140731906770225 140731906772943 0
[pid=25760/tid=25771] ppid=25742 vsize=7406364 memory=-9109213556524817781 CPUtime=0.03 cores=0,2,4,6
/proc/25760/task/25771/stat : 25771 (java) S 25742 25742 23167 0 -1 1077944384 266 0 0 0 3 0 0 0 20 0 15 0 224387357 7584116736 22098 33554432000 4194304 4196468 140731906761424 139640713960176 139641470995074 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13500416 140731906770101 140731906770225 140731906770225 140731906772943 0
[pid=25760/tid=25772] ppid=25742 vsize=7406364 memory=8978309881829228949 CPUtime=0.1 cores=0,2,4,6
/proc/25760/task/25772/stat : 25772 (java) S 25742 25742 23167 0 -1 1077944384 325 0 0 0 10 0 0 0 20 0 15 0 224387357 7584116736 22098 33554432000 4194304 4196468 140731906761424 139640712907376 139641470995074 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13500416 140731906770101 140731906770225 140731906770225 140731906772943 0
[pid=25760/tid=25773] ppid=25742 vsize=7406364 memory=-7107449089259629166 CPUtime=0 cores=0,2,4,6
/proc/25760/task/25773/stat : 25773 (java) S 25742 25742 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224387357 7584116736 22098 33554432000 4194304 4196468 140731906761424 139639184681696 139641470994133 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13500416 140731906770101 140731906770225 140731906770225 140731906772943 0
[pid=25760/tid=25774] ppid=25742 vsize=7406364 memory=-5345911753256963030 CPUtime=0 cores=0,2,4,6
/proc/25760/task/25774/stat : 25774 (java) S 25742 25742 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224387358 7584116736 22098 33554432000 4194304 4196468 140731906761424 139640711854768 139641470995074 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13500416 140731906770101 140731906770225 140731906770225 140731906772943 0
Current children cumulated CPU time: 16.37 s
Current children cumulated vsize: 7519492 KiB
Current children cumulated memory: 89864 KiB

[startup+8.00078 s]*
/proc/loadavg: 2.79 2.30 2.15 3/229 25780
/proc/meminfo: memFree=20371152/32770624 swapFree=67108688/67108860
[pid=25742] ppid=25739 vsize=113128 memory=1472 CPUtime=15.73 cores=0,2,4,6
/proc/25742/stat : 25742 (scop.sh) S 25739 25742 23167 0 -1 4202496 589 33864 0 0 0 0 1495 78 20 0 1 0 224386689 115843072 368 33554432000 4194304 5098028 140732544746544 140732544743288 140013571699324 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 13754368 140732544750657 140732544750855 140732544750855 140732544753613 0
/proc/25742/statm: 28282 368 311 221 0 87 0
[pid=25760] ppid=25742 vsize=8068220 memory=134584 CPUtime=1.73 cores=0,2,4,6
/proc/25760/stat : 25760 (java) S 25742 25742 23167 0 -1 1077944320 18326 0 0 0 159 14 0 0 20 0 19 0 224387351 8261857280 33646 33554432000 4194304 4196468 140731906761424 140731906743968 139641470983927 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 13500416 140731906770101 140731906770225 140731906770225 140731906772943 0
/proc/25760/statm: 2017055 33646 3159 1 0 1978454 0
[pid=25775] ppid=25760 vsize=57548 memory=39412 CPUtime=0.34 cores=0,2,4,6
/proc/25775/stat : 25775 (minisat_release) R 25760 25742 23167 0 -1 4202496 8926 0 0 0 33 1 0 0 20 0 1 0 224387455 58929152 9853 33554432000 4194304 4308513 140722844896208 140722844893016 4221720 0 4 0 8388610 0 0 0 17 4 0 0 0 0 0 6409496 6410680 38465536 140722844902516 140722844902614 140722844902614 140722844905413 0
/proc/25775/statm: 14387 9853 319 28 0 10627 0
[pid=25760/tid=25761] ppid=25742 vsize=8068220 memory=-7824251494391043940 CPUtime=0.93 cores=0,2,4,6
/proc/25760/task/25761/stat : 25761 (java) S 25742 25742 23167 0 -1 1077944384 14576 0 0 0 81 12 0 0 20 0 19 0 224387351 8261857280 33646 33554432000 4194304 4196468 140731906761424 139641442824080 139641470994133 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 12 0 0 6293624 6294260 13500416 140731906770101 140731906770225 140731906770225 140731906772943 0
[pid=25760/tid=25762] ppid=25742 vsize=8068220 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/25760/task/25762/stat : 25762 (java) S 25742 25742 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224387353 8261857280 33646 33554432000 4194304 4196468 140731906761424 139641475226768 139641470994133 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13500416 140731906770101 140731906770225 140731906770225 140731906772943 0
[pid=25760/tid=25763] ppid=25742 vsize=8068220 memory=2588 CPUtime=0 cores=0,2,4,6
/proc/25760/task/25763/stat : 25763 (java) S 25742 25742 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 224387353 8261857280 33646 33554432000 4194304 4196468 140731906761424 139641275395088 139641470994133 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13500416 140731906770101 140731906770225 140731906770225 140731906772943 0
[pid=25760/tid=25764] ppid=25742 vsize=8068220 memory=4100 CPUtime=0 cores=0,2,4,6
/proc/25760/task/25764/stat : 25764 (java) S 25742 25742 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 224387353 8261857280 33646 33554432000 4194304 4196468 140731906761424 139641274342288 139641470994133 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13500416 140731906770101 140731906770225 140731906770225 140731906772943 0
[pid=25760/tid=25765] ppid=25742 vsize=8068220 memory=1408 CPUtime=0 cores=0,2,4,6
/proc/25760/task/25765/stat : 25765 (java) S 25742 25742 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224387353 8261857280 33646 33554432000 4194304 4196468 140731906761424 139641273289488 139641470994133 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13500416 140731906770101 140731906770225 140731906770225 140731906772943 0
[pid=25760/tid=25766] ppid=25742 vsize=8068220 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25760/task/25766/stat : 25766 (java) S 25742 25742 23167 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 224387354 8261857280 33646 33554432000 4194304 4196468 140731906761424 139640716065136 139641470995074 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13500416 140731906770101 140731906770225 140731906770225 140731906772943 0
[pid=25760/tid=25767] ppid=25742 vsize=8068220 memory=9047017150487036571 CPUtime=0 cores=0,2,4,6
/proc/25760/task/25767/stat : 25767 (java) S 25742 25742 23167 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 224387355 8261857280 33646 33554432000 4194304 4196468 140731906761424 139640191312928 139641470994133 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13500416 140731906770101 140731906770225 140731906770225 140731906772943 0
[pid=25760/tid=25768] ppid=25742 vsize=8068220 memory=4713745541279610410 CPUtime=0 cores=0,2,4,6
/proc/25760/task/25768/stat : 25768 (java) S 25742 25742 23167 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 224387355 8261857280 33646 33554432000 4194304 4196468 140731906761424 139640057090928 139641470994133 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13500416 140731906770101 140731906770225 140731906770225 140731906772943 0
[pid=25760/tid=25769] ppid=25742 vsize=8068220 memory=-8412656567318647667 CPUtime=0 cores=0,2,4,6
/proc/25760/task/25769/stat : 25769 (java) S 25742 25742 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224387357 8261857280 33646 33554432000 4194304 4196468 140731906761424 139639682586448 139641471002523 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13500416 140731906770101 140731906770225 140731906770225 140731906772943 0
[pid=25760/tid=25770] ppid=25742 vsize=8068220 memory=4427205132082312746 CPUtime=0.26 cores=0,2,4,6
/proc/25760/task/25770/stat : 25770 (java) S 25742 25742 23167 0 -1 1077944384 824 0 0 0 26 0 0 0 20 0 19 0 224387357 8261857280 33646 33554432000 4194304 4196468 140731906761424 139640715012976 139641470995074 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13500416 140731906770101 140731906770225 140731906770225 140731906772943 0
[pid=25760/tid=25771] ppid=25742 vsize=8068220 memory=-7023579799431922829 CPUtime=0.25 cores=0,2,4,6
/proc/25760/task/25771/stat : 25771 (java) S 25742 25742 23167 0 -1 1077944384 858 0 0 0 25 0 0 0 20 0 19 0 224387357 8261857280 33646 33554432000 4194304 4196468 140731906761424 139640713960176 139641470995074 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13500416 140731906770101 140731906770225 140731906770225 140731906772943 0
[pid=25760/tid=25772] ppid=25742 vsize=8068220 memory=-8486080722631693414 CPUtime=0.24 cores=0,2,4,6
/proc/25760/task/25772/stat : 25772 (java) S 25742 25742 23167 0 -1 1077944384 640 0 0 0 24 0 0 0 20 0 19 0 224387357 8261857280 33646 33554432000 4194304 4196468 140731906761424 139640712907376 139641470995074 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13500416 140731906770101 140731906770225 140731906770225 140731906772943 0
[pid=25760/tid=25773] ppid=25742 vsize=8068220 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25760/task/25773/stat : 25773 (java) S 25742 25742 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224387357 8261857280 33646 33554432000 4194304 4196468 140731906761424 139639184681696 139641470994133 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13500416 140731906770101 140731906770225 140731906770225 140731906772943 0
[pid=25760/tid=25774] ppid=25742 vsize=8068220 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25760/task/25774/stat : 25774 (java) S 25742 25742 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 224387358 8261857280 33646 33554432000 4194304 4196468 140731906761424 139640711854768 139641470995074 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13500416 140731906770101 140731906770225 140731906770225 140731906772943 0
[pid=25760/tid=25776] ppid=25742 vsize=8068220 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25760/task/25776/stat : 25776 (java) S 25742 25742 23167 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 224387455 8261857280 33646 33554432000 4194304 4196468 140731906761424 139640704046272 139641471008537 0 4 2 25189581 18446744071579417331 0 0 -1 6 0 0 0 0 0 6293624 6294260 13500416 140731906770101 140731906770225 140731906770225 140731906772943 0
[pid=25760/tid=25778] ppid=25742 vsize=8068220 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25760/task/25778/stat : 25778 (java) S 25742 25742 23167 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 19 0 224387455 8261857280 33646 33554432000 4194304 4196468 140731906761424 139638647794992 139641471005853 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 13500416 140731906770101 140731906770225 140731906770225 140731906772943 0
[pid=25760/tid=25779] ppid=25742 vsize=8068220 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25760/task/25779/stat : 25779 (java) S 25742 25742 23167 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 224387455 8261857280 33646 33554432000 4194304 4196468 140731906761424 139638782017712 139641471005853 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 13500416 140731906770101 140731906770225 140731906770225 140731906772943 0
[pid=25760/tid=25780] ppid=25742 vsize=8068220 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25760/task/25780/stat : 25780 (java) S 25742 25742 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224387458 8261857280 33646 33554432000 4194304 4196468 140731906761424 139638379372192 139641470994133 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13500416 140731906770101 140731906770225 140731906770225 140731906772943 0
Current children cumulated CPU time: 17.8 s
Current children cumulated vsize: 8238896 KiB
Current children cumulated memory: 175468 KiB

[startup+8.40082 s]
/proc/loadavg: 2.79 2.30 2.15 3/229 25780
/proc/meminfo: memFree=20371152/32770624 swapFree=67108688/67108860
[pid=25742] ppid=25739 vsize=113128 memory=1472 CPUtime=15.73 cores=0,2,4,6
/proc/25742/stat : 25742 (scop.sh) S 25739 25742 23167 0 -1 4202496 589 33864 0 0 0 0 1495 78 20 0 1 0 224386689 115843072 368 33554432000 4194304 5098028 140732544746544 140732544743288 140013571699324 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 13754368 140732544750657 140732544750855 140732544750855 140732544753613 0
/proc/25742/statm: 28282 368 311 221 0 87 0
[pid=25760] ppid=25742 vsize=8068220 memory=134584 CPUtime=1.73 cores=0,2,4,6
/proc/25760/stat : 25760 (java) S 25742 25742 23167 0 -1 1077944320 18326 0 0 0 159 14 0 0 20 0 19 0 224387351 8261857280 33646 33554432000 4194304 4196468 140731906761424 140731906743968 139641470983927 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 13500416 140731906770101 140731906770225 140731906770225 140731906772943 0
/proc/25760/statm: 2017055 33646 3159 1 0 1978454 0
[pid=25775] ppid=25760 vsize=51108 memory=32692 CPUtime=0.74 cores=0,2,4,6
/proc/25775/stat : 25775 (minisat_release) R 25760 25742 23167 0 -1 4202496 9796 0 0 0 72 2 0 0 20 0 1 0 224387455 52334592 8173 33554432000 4194304 4308513 140722844896208 140722844893016 4276414 0 4 0 8396802 0 0 0 17 4 0 0 0 0 0 6409496 6410680 38465536 140722844902516 140722844902614 140722844902614 140722844905413 0
/proc/25775/statm: 12777 8173 322 28 0 9017 0
[pid=25760/tid=25761] ppid=25742 vsize=8068220 memory=-2672971630408907303 CPUtime=0.93 cores=0,2,4,6
/proc/25760/task/25761/stat : 25761 (java) S 25742 25742 23167 0 -1 1077944384 14576 0 0 0 81 12 0 0 20 0 19 0 224387351 8261857280 33646 33554432000 4194304 4196468 140731906761424 139641442824080 139641470994133 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 12 0 0 6293624 6294260 13500416 140731906770101 140731906770225 140731906770225 140731906772943 0
[pid=25760/tid=25762] ppid=25742 vsize=8068220 memory=7883386643255812966 CPUtime=0 cores=0,2,4,6
/proc/25760/task/25762/stat : 25762 (java) S 25742 25742 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224387353 8261857280 33646 33554432000 4194304 4196468 140731906761424 139641475226768 139641470994133 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13500416 140731906770101 140731906770225 140731906770225 140731906772943 0
[pid=25760/tid=25763] ppid=25742 vsize=8068220 memory=2192 CPUtime=0 cores=0,2,4,6
/proc/25760/task/25763/stat : 25763 (java) S 25742 25742 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 224387353 8261857280 33646 33554432000 4194304 4196468 140731906761424 139641275395088 139641470994133 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13500416 140731906770101 140731906770225 140731906770225 140731906772943 0
[pid=25760/tid=25764] ppid=25742 vsize=8068220 memory=3980 CPUtime=0 cores=0,2,4,6
/proc/25760/task/25764/stat : 25764 (java) S 25742 25742 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 224387353 8261857280 33646 33554432000 4194304 4196468 140731906761424 139641274342288 139641470994133 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13500416 140731906770101 140731906770225 140731906770225 140731906772943 0
[pid=25760/tid=25765] ppid=25742 vsize=8068220 memory=1924 CPUtime=0 cores=0,2,4,6
/proc/25760/task/25765/stat : 25765 (java) S 25742 25742 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224387353 8261857280 33646 33554432000 4194304 4196468 140731906761424 139641273289488 139641470994133 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13500416 140731906770101 140731906770225 140731906770225 140731906772943 0
[pid=25760/tid=25766] ppid=25742 vsize=8068220 memory=7284 CPUtime=0 cores=0,2,4,6
/proc/25760/task/25766/stat : 25766 (java) S 25742 25742 23167 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 224387354 8261857280 33646 33554432000 4194304 4196468 140731906761424 139640716065136 139641470995074 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13500416 140731906770101 140731906770225 140731906770225 140731906772943 0
[pid=25760/tid=25767] ppid=25742 vsize=8068220 memory=804 CPUtime=0 cores=0,2,4,6
/proc/25760/task/25767/stat : 25767 (java) S 25742 25742 23167 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 224387355 8261857280 33646 33554432000 4194304 4196468 140731906761424 139640191312928 139641470994133 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13500416 140731906770101 140731906770225 140731906770225 140731906772943 0
[pid=25760/tid=25768] ppid=25742 vsize=8068220 memory=1796 CPUtime=0 cores=0,2,4,6
/proc/25760/task/25768/stat : 25768 (java) S 25742 25742 23167 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 224387355 8261857280 33646 33554432000 4194304 4196468 140731906761424 139640057090928 139641470994133 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13500416 140731906770101 140731906770225 140731906770225 140731906772943 0
[pid=25760/tid=25769] ppid=25742 vsize=8068220 memory=912 CPUtime=0 cores=0,2,4,6
/proc/25760/task/25769/stat : 25769 (java) S 25742 25742 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224387357 8261857280 33646 33554432000 4194304 4196468 140731906761424 139639682586448 139641471002523 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13500416 140731906770101 140731906770225 140731906770225 140731906772943 0
[pid=25760/tid=25770] ppid=25742 vsize=8068220 memory=3848 CPUtime=0.26 cores=0,2,4,6
/proc/25760/task/25770/stat : 25770 (java) S 25742 25742 23167 0 -1 1077944384 824 0 0 0 26 0 0 0 20 0 19 0 224387357 8261857280 33646 33554432000 4194304 4196468 140731906761424 139640715012976 139641470995074 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13500416 140731906770101 140731906770225 140731906770225 140731906772943 0
[pid=25760/tid=25771] ppid=25742 vsize=8068220 memory=3420 CPUtime=0.25 cores=0,2,4,6
/proc/25760/task/25771/stat : 25771 (java) S 25742 25742 23167 0 -1 1077944384 858 0 0 0 25 0 0 0 20 0 19 0 224387357 8261857280 33646 33554432000 4194304 4196468 140731906761424 139640713960176 139641470995074 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13500416 140731906770101 140731906770225 140731906770225 140731906772943 0
[pid=25760/tid=25772] ppid=25742 vsize=8068220 memory=2588 CPUtime=0.24 cores=0,2,4,6
/proc/25760/task/25772/stat : 25772 (java) S 25742 25742 23167 0 -1 1077944384 640 0 0 0 24 0 0 0 20 0 19 0 224387357 8261857280 33646 33554432000 4194304 4196468 140731906761424 139640712907376 139641470995074 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13500416 140731906770101 140731906770225 140731906770225 140731906772943 0
[pid=25760/tid=25773] ppid=25742 vsize=8068220 memory=4100 CPUtime=0 cores=0,2,4,6
/proc/25760/task/25773/stat : 25773 (java) S 25742 25742 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224387357 8261857280 33646 33554432000 4194304 4196468 140731906761424 139639184681696 139641470994133 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13500416 140731906770101 140731906770225 140731906770225 140731906772943 0
[pid=25760/tid=25774] ppid=25742 vsize=8068220 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25760/task/25774/stat : 25774 (java) S 25742 25742 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 224387358 8261857280 33646 33554432000 4194304 4196468 140731906761424 139640711854768 139641470995074 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13500416 140731906770101 140731906770225 140731906770225 140731906772943 0
[pid=25760/tid=25776] ppid=25742 vsize=8068220 memory=7976406965554101975 CPUtime=0 cores=0,2,4,6
/proc/25760/task/25776/stat : 25776 (java) S 25742 25742 23167 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 224387455 8261857280 33646 33554432000 4194304 4196468 140731906761424 139640704046272 139641471008537 0 4 2 25189581 18446744071579417331 0 0 -1 6 0 0 0 0 0 6293624 6294260 13500416 140731906770101 140731906770225 140731906770225 140731906772943 0
[pid=25760/tid=25778] ppid=25742 vsize=8068220 memory=-2892745056951965031 CPUtime=0 cores=0,2,4,6
/proc/25760/task/25778/stat : 25778 (java) S 25742 25742 23167 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 19 0 224387455 8261857280 33646 33554432000 4194304 4196468 140731906761424 139638647794992 139641471005853 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 13500416 140731906770101 140731906770225 140731906770225 140731906772943 0
[pid=25760/tid=25779] ppid=25742 vsize=8068220 memory=-1751206890918255646 CPUtime=0 cores=0,2,4,6
/proc/25760/task/25779/stat : 25779 (java) S 25742 25742 23167 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 224387455 8261857280 33646 33554432000 4194304 4196468 140731906761424 139638782017712 139641471005853 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 13500416 140731906770101 140731906770225 140731906770225 140731906772943 0
[pid=25760/tid=25780] ppid=25742 vsize=8068220 memory=8546823402028195750 CPUtime=0 cores=0,2,4,6
/proc/25760/task/25780/stat : 25780 (java) S 25742 25742 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224387458 8261857280 33646 33554432000 4194304 4196468 140731906761424 139638379372192 139641470994133 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13500416 140731906770101 140731906770225 140731906770225 140731906772943 0
Current children cumulated CPU time: 18.2 s
Current children cumulated vsize: 8232456 KiB
Current children cumulated memory: 168748 KiB

Child status: 0
Real time (s): 8.47387
CPU time (s): 18.3093
CPU user time (s): 17.3438
CPU system time (s): 0.965562
CPU usage (%): 216.068
Max. virtual memory (cumulated for all children) (KiB): 15142280
Max. memory (cumulated for all children) (KiB): 2965108

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 17.3438
system time used= 0.965562
maximum resident set size= 2968460
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 62652
page faults= 0
swaps= 0
block input operations= 0
block output operations= 20592
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6084
involuntary context switches= 58


# summary of solver processes directly reported to runsolver:
#   pid: 25742
#   total CPU time (s): 18.3093
#   total CPU user time (s): 17.3438
#   total CPU system time (s): 0.965562

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.069092 second user time and 0.140247 second system time

The end

Launcher Data 

Begin job on node106 at 2018-08-12 12:03:58
IDJOB=4305770
IDBENCH=141185
IDSOLVER=2783
FILE ID=node106/4305770-1534068238
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-f05_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-4305770-1534068238/watcher-4305770-1534068238 -o /tmp/evaluation-result-4305770-1534068238/solver-4305770-1534068238 -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-4305770-1534068238.xml

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

MD5SUM BENCH= f8050e8ddc741b4fb4a45c7e8cfb7628
RANDOM SEED=97871176

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:        20543652 kB
MemAvailable:   31735420 kB
Buffers:          124140 kB
Cached:         11214500 kB
SwapCached:            0 kB
Active:          5719268 kB
Inactive:        5844916 kB
Active(anon):     172344 kB
Inactive(anon):   105404 kB
Active(file):    5546924 kB
Inactive(file):  5739512 kB
Unevictable:        6996 kB
Mlocked:            6996 kB
SwapTotal:      67108860 kB
SwapFree:       67108688 kB
Dirty:              7816 kB
Writeback:             0 kB
AnonPages:        242636 kB
Mapped:            63632 kB
Shmem:             49632 kB
Slab:             362124 kB
SReclaimable:     333792 kB
SUnreclaim:        28332 kB
KernelStack:        3920 kB
PageTables:         5960 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:    106496 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:04:07