Trace number 4392760

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Fun-sCOP hybrid+ManyGlucose (2019-06-15)UNSAT 92.1288 56.561

General information on the benchmark

NamePropStress/PropStress-m1-s1/
PropStress-0400.xml
MD5SUMcd36f5a432e3b868ff7ac280438203b6
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 benchmark59.2496
Satisfiable
(Un)Satisfiability was proved
Number of variables802
Number of constraints81001
Number of domains1
Minimum domain size160001
Maximum domain size160001
Distribution of domain sizes[{"size":160001,"count":802}]
Minimum variable degree2
Maximum variable degree401
Distribution of variable degrees[{"degree":2,"count":1},{"degree":3,"count":399},{"degree":400,"count":399},{"degree":401,"count":3}]
Minimum constraint arity2
Maximum constraint arity2
Distribution of constraint arities[{"arity":2,"count":81001}]
Number of extensional constraints0
Number of intensional constraints81001
Distribution of constraint types[{"type":"intension","count":81001}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c (scop.sh) java -Xms22g -Xmx22g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Encode -hybrid -solver HOME/manyglucose-4.1-27_release -solverOption -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 -tmp HOME -serialFile HOME/scop-11573-serial-file.bin HOME/instance-4392760-1568427449.xml
0.66/0.54	
0.66/0.54	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
0.66/0.54	
0.66/0.56	c BEGIN-Prog: Sat Sep 14 04:16:52 CEST 2019
0.66/0.56	c PID: 11576
0.66/0.56	c IP: 172.20.3.149
0.66/0.56	c HOST: node149.alineos.net
0.66/0.57	c (0,0) Parsing Begin
10.68/5.58	c (5,5) Parsing End
10.68/5.59	c (5,5) CSP: 802 int (0 aux), 0 bool (0 aux), 81001 ctr, max domain size 160001
10.68/5.59	c (5,5) Heap : 2816 MiB used (max 21589 MiB), NonHeap : 24 MiB used (max 0 MiB)
10.68/5.59	c (5,5) Constraint Name Generate Begin
11.15/5.81	c (5,5) Ctr:HOME/instance-4392760-1568427449.xml,Add:Le:Num:Var
11.15/5.81	c (5,5) Constraint Name Generate End
11.15/5.81	c (5,5) Heap : 2928 MiB used (max 21589 MiB), NonHeap : 24 MiB used (max 0 MiB)
11.15/5.81	c (5,5) CSP to CSPinCNF Begin
12.64/6.37	c (5,5) translated 8101 (10%) constraints
13.44/6.55	c (6,6) translated 16201 (20%) constraints
13.57/6.69	c (6,6) translated 24301 (30%) constraints
13.78/6.83	c (6,6) translated 32401 (40%) constraints
13.87/6.97	c (6,6) translated 40501 (50%) constraints
14.08/7.11	c (6,6) translated 48601 (60%) constraints
14.18/7.25	c (6,6) translated 56701 (70%) constraints
14.27/7.39	c (6,6) translated 64801 (80%) constraints
14.48/7.54	c (6,6) translated 72901 (90%) constraints
14.66/7.67	c (7,7) translated 81001 (100%) constraints
14.66/7.67	c (7,7) ===========================================
15.10/7.83	c (7,7) Hybrid: #OE=0, #LE=802
15.10/7.83	c (7,7) Hybrid
15.10/7.83	c (7,7) ===========================================
15.28/7.99	c (7,7) translated 8101 (10%) constraints
15.60/8.09	c (7,7) translated 16201 (20%) constraints
15.91/8.20	c (7,7) translated 24301 (30%) constraints
16.16/8.30	c (7,7) translated 32401 (40%) constraints
16.31/8.40	c (7,7) translated 40501 (50%) constraints
16.49/8.50	c (7,7) translated 48601 (60%) constraints
16.59/8.60	c (8,8) translated 56701 (70%) constraints
16.69/8.70	c (8,8) translated 64801 (80%) constraints
16.79/8.80	c (8,8) translated 72901 (90%) constraints
16.90/8.90	c (8,8) translated 81001 (100%) constraints
16.90/8.91	c (8,8) CSP to CSPinCNF End
16.90/8.91	c (8,8) CSP: 802 int (0 aux), 0 bool (0 aux), 81001 ctr, max domain size 160001
16.90/8.91	c (8,8) Heap : 3829 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB)
16.90/8.91	c (8,8) CSPinCNF Propagation Begin
17.57/9.20	c (8,8) 0 values, 0 unsatisfiable literals, and 0 valid clauses are removed
17.57/9.20	c (8,8) CSPinCNF Propagation End
17.57/9.20	c (8,8) CSP: 802 int (0 aux), 0 bool (0 aux), 81001 ctr, max domain size 160001
17.57/9.20	c (8,8) Heap : 4055 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB)
17.82/9.35	c (8,8) Hybrid: #OE=0, #LE=802
17.82/9.35	c (8,8) Simplify CSPinCNF Begin
18.00/9.48	c (8,8) Simplify CSPinCNF End
18.00/9.48	c (8,8) CSP: 802 int (0 aux), 0 bool (0 aux), 81001 ctr, max domain size 160001
18.00/9.48	c (8,8) Heap : 4167 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB)
18.00/9.48	c (8,8) Calculate Precise Domain Begin
18.00/9.48	c (8,8) 0 values are removed by re-calculation
18.00/9.48	c (8,8) Calculate Precise Domain End
18.00/9.48	c (8,8) CSP: 802 int (0 aux), 0 bool (0 aux), 81001 ctr, max domain size 160001
18.00/9.48	c (8,8) Heap : 4167 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB)
18.00/9.48	c (8,8) CSPinCNF to SatSolver Begin
24.13/12.72	c (12,12) 8101 (10 %) CSP clauses are encoded (0 SAT variables, 1049608 SAT clauses)
26.52/15.28	c (14,14) 16201 (20 %) CSP clauses are encoded (0 SAT variables, 2037808 SAT clauses)
28.92/17.65	c (17,16) 24301 (30 %) CSP clauses are encoded (0 SAT variables, 3026008 SAT clauses)
31.66/20.43	c (19,19) 32401 (40 %) CSP clauses are encoded (0 SAT variables, 4014208 SAT clauses)
34.06/22.82	c (22,21) 40501 (50 %) CSP clauses are encoded (0 SAT variables, 5002408 SAT clauses)
36.38/25.49	c (24,24) 48601 (60 %) CSP clauses are encoded (0 SAT variables, 5990608 SAT clauses)
38.92/27.89	c (27,26) 56701 (70 %) CSP clauses are encoded (0 SAT variables, 6978808 SAT clauses)
41.30/30.57	c (30,28) 64801 (80 %) CSP clauses are encoded (0 SAT variables, 7967008 SAT clauses)
43.70/32.93	c (32,31) 72901 (90 %) CSP clauses are encoded (0 SAT variables, 8955208 SAT clauses)
46.19/35.87	c (35,33) 81001 (100 %) CSP clauses are encoded (0 SAT variables, 9943408 SAT clauses)
46.19/35.87	c (35,33) CSPinCNF to SatSolver End
46.19/35.87	c (35,33) Heap : 822 MiB used (max 21589 MiB), NonHeap : 27 MiB used (max 0 MiB)
46.19/35.87	c (35,33) 4333077 bool, 9943530 clause
46.19/35.87	c (35,33) Export Begin
47.32/36.54	c (35,34) Export to HOME/scop-11573-serial-file.bin
47.32/36.54	c (35,34) Export End
47.32/36.54	c (35,34) Export File Size: 2.38 MB
47.32/36.54	c (35,34) 5,5,8,8,8,8,35,STOP-AFTER(DIMACS)
47.32/36.54	c END-Prog: Sat Sep 14 04:17:28 CEST 2019
47.32/36.58	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-11573-serial-file.bin
47.97/37.05	c (0,0) Read Serial File Begin
47.97/37.05	c (0,0) HOME/scop-11573-serial-file.bin
49.30/37.87	c (0,0) Read Serial File End
49.30/37.88	
49.30/37.88	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
49.30/37.88	(Solving Process)
49.30/37.88	
49.66/37.90	c BEGIN-Prog: Sat Sep 14 04:17:29 CEST 2019
49.66/37.90	c PID: 11598
49.66/37.90	c IP: 172.20.3.149
49.66/37.90	c HOST: node149.alineos.net
49.66/37.91	c (0,0) SatSolver.solve Begin
49.66/37.91	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4392760-1568427449.xml-scop-11576.cnf
49.66/37.94	c (0,0) c
49.66/37.94	c (0,0) c This is deterministic version of glucose-syrup 4.1-27 (glucose in many threads) --  based on MiniSAT (Many thanks to MiniSAT team)
49.66/37.94	c (0,0) c
49.66/37.94	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
49.66/37.94	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
49.66/37.94	c (0,0) c ========================================[ Problem Statistics ]===========================================
49.66/37.94	c (0,0) c |                                                                                                       |
54.67/42.72	c (5,0) c |  Number of variables:       4333077                                                                   |
54.67/42.72	c (5,0) c |  Number of clauses:         9861727                                                                   |
54.67/42.72	c (5,0) c |  Parse time:                   4.30 s                                                                 |
54.67/42.72	c (5,0) c |                                                                                                       |
55.86/43.90	c (6,0) c | Too many clauses... No preprocessing                                                                  |
55.86/43.90	c (6,0) c |  Simplification time:          1.02 s                                                                 |
55.86/43.90	c (6,0) c |                                                                                                       |
55.86/43.90	c (6,0) c |  One Solver is taking   1630.12Mb... Let's take   4 solvers for this run (max 40% of the maxmemory).  |
55.86/43.90	c (6,0) c |  Generating clones                                                                                    |
58.66/46.78	c (9,0) c |  all clones generated. Memory =  5194.39Mb.                                                           |
58.66/46.78	c (9,0) c ========================================================================================================|
58.66/46.78	c (9,0) c
58.66/46.78	c (9,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
58.66/46.78	c (9,0) c
58.66/46.78	c (9,0) c |-----------------------|------------|------------|------------|------------|
58.66/46.78	c (9,0) c | Threads               |          0 |          1 |          2 |          3 |
58.66/46.78	c (9,0) c |-----------------------|------------|------------|------------|------------|
58.66/46.78	c (9,0) c | randomizeFirstDescent |      False |       True |       True |       True |
58.66/46.78	c (9,0) c | adaptStrategeis       |       True |      False |       True |      False |
58.66/46.78	c (9,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |
58.66/46.78	c (9,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |
58.66/46.78	c (9,0) c | chanseokStrategy      |      False |      False |      False |      False |
58.66/46.78	c (9,0) c | coLBDBound            |          5 |          5 |          5 |          5 |
58.66/46.78	c (9,0) c | glureduce             |       True |       True |       True |       True |
58.66/46.78	c (9,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |
58.66/46.78	c (9,0) c | incReduceDB           |        300 |        300 |        300 |        300 |
58.66/46.78	c (9,0) c | luby_restart          |      False |      False |      False |      False |
58.66/46.78	c (9,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |
58.66/46.78	c (9,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
58.66/46.78	c (9,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
58.66/46.78	c (9,0) c | randomize_on_restarts |      False |      False |      False |      False |
58.66/46.78	c (9,0) c | remove_satisfied      |       True |       True |       True |       True |
58.66/46.78	c (9,0) c |-----------------------|------------|------------|------------|------------|
91.79/56.36	c (19,0) c
91.79/56.36	c (19,0) c real time : 18.4231 s
91.79/56.36	c (19,0) c cpu time  : 38.8339 s
91.79/56.36	c (19,0) c
91.79/56.36	c (19,0) c
91.79/56.36	c (19,0) c
91.79/56.36	c (19,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
91.79/56.36	c (19,0) c
91.79/56.36	c (19,0) c |---------------|-----------------|------------|------------|------------|------------|
91.79/56.36	c (19,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |
91.79/56.36	c (19,0) c |---------------|-----------------|------------|------------|------------|------------|
91.79/56.36	c (19,0) c | Conflicts     |             199 |         98 |         31 |         38 |         32 |
91.79/56.36	c (19,0) c | Decisions     |            1841 |        383 |        605 |        388 |        465 |
91.79/56.36	c (19,0) c | Propagations  |        77021129 |   16700276 |   23028515 |   22468765 |   14823573 |
91.79/56.36	c (19,0) c | ReduceDBs     |               0 |          0 |          0 |          0 |          0 |
91.79/56.36	c (19,0) c | SimpDBs       |               4 |          1 |          1 |          1 |          1 |
91.79/56.36	c (19,0) c | Restarts      |               4 |          1 |          1 |          1 |          1 |
91.79/56.36	c (19,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |
91.79/56.36	c (19,0) c | PropBinClauses|        68776646 |   13580678 |   17059404 |   20527214 |   17609350 |
91.79/56.36	c (19,0) c | PropPreBlocker|       112837515 |   29277172 |   28135633 |   27814454 |   27610256 |
91.79/56.36	c (19,0) c | PropNotBlocker|        62277068 |   16330917 |   15417108 |   15371740 |   15157303 |
91.79/56.36	c (19,0) c | LitFullScans  |       295890267 |   72662785 |   73951717 |   76296160 |   72979605 |
91.79/56.36	c (19,0) c | LitScanFracts |           54439 |      13766 |      12324 |      18219 |      10130 |
91.79/56.36	c (19,0) c | DecisionLevel0|              10 |          1 |          1 |          7 |          1 |
91.79/56.36	c (19,0) c | Periods       |              48 |         12 |         12 |         12 |         12 |
91.79/56.36	c (19,0) c | Margin        |              80 |         20 |         20 |         20 |         20 |
91.79/56.36	c (19,0) c | Avg_Trail     |                 |    1954324 |    1743721 |    1618313 |    1907818 |
91.79/56.36	c (19,0) c | Avg_DL        |                 |         16 |         81 |         26 |         60 |
91.79/56.36	c (19,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |
91.79/56.36	c (19,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |
91.79/56.36	c (19,0) c |---------------|-----------------|------------|------------|------------|------------|
91.79/56.36	c (19,0) c | Exported      |              62 |         31 |          2 |         22 |          7 |
91.79/56.36	c (19,0) c | Imported      |               0 |          0 |          0 |          0 |          0 |
91.79/56.36	c (19,0) c | Good          |               0 |          0 |          0 |          0 |          0 |
91.79/56.36	c (19,0) c | Purge         |               0 |          0 |          0 |          0 |          0 |
91.79/56.36	c (19,0) c | Promoted      |               0 |          0 |          0 |          0 |          0 |
91.79/56.36	c (19,0) c | Remove_Imp    |               0 |          0 |          0 |          0 |          0 |
91.79/56.36	c (19,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |
91.79/56.36	c (19,0) c |---------------|-----------------|------------|------------|------------|------------|
91.79/56.36	c (19,0) c | Unaries       |                 |          0 |          0 |          6 |          0 |
91.79/56.36	c (19,0) c | Binaries      |                 |          1 |          2 |          5 |          0 |
91.79/56.36	c (19,0) c | Glues         |                 |         31 |          2 |         22 |          7 |
91.79/56.36	c (19,0) c |---------------|-----------------|------------|------------|------------|------------|
91.79/56.36	c (19,0) c | Orig_Seen     |             0 % |        434 |       1402 |        431 |        445 |
91.79/56.36	c (19,0) c | Diff Orig seen|                 |          3 |        971 |      X     |         14 |
91.79/56.36	c (19,0) c | Hamming       |            23 % |    1069654 |    1211026 |      X     |     752585 |
91.79/56.36	c (19,0) c |---------------|-----------------|------------|------------|------------|------------|
91.79/56.36	c (19,0) c | RunningTime   |                 |    9.4 100%|    8.6 100%|    7.4 100%|    7.8 100%|
91.79/56.36	c (19,0) c | WaitingTime   |                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
91.79/56.36	c (19,0) c | ExchangingTime|                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
91.79/56.36	c (19,0) c | PeriodProcTime|                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
91.79/56.36	c (19,0) c | SolvingTime   |                 |    9.4     |    8.6     |    7.4     |    7.8     |
91.79/56.36	c (19,0) c | PropagationTim|                 |    8.4  90%|    7.5  87%|    6.3  85%|    6.7  86%|
91.79/56.36	c (19,0) c | AnalysisTime  |                 |    0.2   2%|    0.2   2%|    0.1   2%|    0.1   2%|
91.79/56.36	c (19,0) c | ReductionTime |                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
91.79/56.36	c (19,0) c | SimplifyTime  |                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
91.79/56.36	c (19,0) c | UsedRateTime  |                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
91.79/56.36	c (19,0) c | OverlapRateTim|                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
91.79/56.36	c (19,0) c |---------------|-----------------|------------|------------|------------|------------|
91.79/56.36	c (19,0) c
91.79/56.37	c (19,0) c
91.79/56.37	c (19,0) c Threads : 4
91.79/56.37	c (19,0) c Winner : 2
91.79/56.37	c (19,0) c Conflicts_0 : 98
91.79/56.37	c (19,0) c Conflicts_1 : 31
91.79/56.37	c (19,0) c Conflicts_2 : 38
91.79/56.37	c (19,0) c Conflicts_3 : 32
91.79/56.37	c (19,0) c Conflicts_total : 199
91.79/56.37	c (19,0) c Conflicts_winner : 38
91.79/56.37	c (19,0) c Decisions_0 : 383
91.79/56.37	c (19,0) c Decisions_1 : 605
91.79/56.37	c (19,0) c Decisions_2 : 388
91.79/56.37	c (19,0) c Decisions_3 : 465
91.79/56.37	c (19,0) c Decisions_total : 1841
91.79/56.37	c (19,0) c Decisions_winner : 388
91.79/56.37	c (19,0) c Propagations_0 : 16700276
91.79/56.37	c (19,0) c Propagations_1 : 23028515
91.79/56.37	c (19,0) c Propagations_2 : 22468765
91.79/56.37	c (19,0) c Propagations_3 : 14823573
91.79/56.37	c (19,0) c Propagations_total : 77021129
91.79/56.37	c (19,0) c Propagations_winner : 22468765
91.79/56.37	c (19,0) c ReduceDBs_0 : 0
91.79/56.37	c (19,0) c ReduceDBs_1 : 0
91.79/56.37	c (19,0) c ReduceDBs_2 : 0
91.79/56.37	c (19,0) c ReduceDBs_3 : 0
91.79/56.37	c (19,0) c ReduceDBs_total : 0
91.79/56.37	c (19,0) c ReduceDBs_winner : 0
91.79/56.37	c (19,0) c SimpDBs_0 : 1
91.79/56.37	c (19,0) c SimpDBs_1 : 1
91.79/56.37	c (19,0) c SimpDBs_2 : 1
91.79/56.37	c (19,0) c SimpDBs_3 : 1
91.79/56.37	c (19,0) c SimpDBs_total : 4
91.79/56.37	c (19,0) c SimpDBs_winner : 1
91.79/56.37	c (19,0) c Restarts_0 : 1
91.79/56.37	c (19,0) c Restarts_1 : 1
91.79/56.37	c (19,0) c Restarts_2 : 1
91.79/56.37	c (19,0) c Restarts_3 : 1
91.79/56.37	c (19,0) c Restarts_total : 4
91.79/56.37	c (19,0) c Restarts_winner : 1
91.79/56.37	c (19,0) c ForcedImports_0 : 0
91.79/56.37	c (19,0) c ForcedImports_1 : 0
91.79/56.37	c (19,0) c ForcedImports_2 : 0
91.79/56.37	c (19,0) c ForcedImports_3 : 0
91.79/56.37	c (19,0) c ForcedImports_total : 0
91.79/56.37	c (19,0) c ForcedImports_winner : 0
91.79/56.37	c (19,0) c PropsBinClauses_0 : 13580678
91.79/56.37	c (19,0) c PropsBinClauses_1 : 17059404
91.79/56.37	c (19,0) c PropsBinClauses_2 : 20527214
91.79/56.37	c (19,0) c PropsBinClauses_3 : 17609350
91.79/56.37	c (19,0) c PropsBinClauses_total : 68776646
91.79/56.37	c (19,0) c PropsBinClauses_winner : 20527214
91.79/56.37	c (19,0) c PropsPreBlocker_0 : 29277172
91.79/56.37	c (19,0) c PropsPreBlocker_1 : 28135633
91.79/56.37	c (19,0) c PropsPreBlocker_2 : 27814454
91.79/56.37	c (19,0) c PropsPreBlocker_3 : 27610256
91.79/56.37	c (19,0) c PropsPreBlocker_total : 112837515
91.79/56.37	c (19,0) c PropsPreBlocker_winner : 27814454
91.79/56.37	c (19,0) c PropsNotBlocker_0 : 16330917
91.79/56.37	c (19,0) c PropsNotBlocker_1 : 15417108
91.79/56.37	c (19,0) c PropsNotBlocker_2 : 15371740
91.79/56.37	c (19,0) c PropsNotBlocker_3 : 15157303
91.79/56.37	c (19,0) c PropsNotBlocker_total : 62277068
91.79/56.37	c (19,0) c PropsNotBlocker_winner : 15371740
91.79/56.37	c (19,0) c PropsLitFullScans_0 : 72662785
91.79/56.37	c (19,0) c PropsLitFullScans_1 : 73951717
91.79/56.37	c (19,0) c PropsLitFullScans_2 : 76296160
91.79/56.37	c (19,0) c PropsLitFullScans_3 : 72979605
91.79/56.37	c (19,0) c PropsLitFullScans_total : 295890267
91.79/56.37	c (19,0) c PropsLitFullScans_winner : 76296160
91.79/56.37	c (19,0) c LitScanFractions_0 : 13766
91.79/56.37	c (19,0) c LitScanFractions_1 : 12324
91.79/56.37	c (19,0) c LitScanFractions_2 : 18219
91.79/56.37	c (19,0) c LitScanFractions_3 : 10130
91.79/56.37	c (19,0) c LitScanFractions_total : 54439
91.79/56.37	c (19,0) c LitScanFractions_winner : 18219
91.79/56.37	c (19,0) c DecisionLevel0_0 : 1
91.79/56.37	c (19,0) c DecisionLevel0_1 : 1
91.79/56.37	c (19,0) c DecisionLevel0_2 : 7
91.79/56.37	c (19,0) c DecisionLevel0_3 : 1
91.79/56.37	c (19,0) c DecisionLevel0_total : 10
91.79/56.37	c (19,0) c DecisionLevel0_winner : 7
91.79/56.37	c (19,0) c Periods_0 : 12
91.79/56.37	c (19,0) c Periods_1 : 12
91.79/56.37	c (19,0) c Periods_2 : 12
91.79/56.37	c (19,0) c Periods_3 : 12
91.79/56.37	c (19,0) c Periods_total : 48
91.79/56.37	c (19,0) c Periods_winner : 12
91.79/56.37	c (19,0) c Margin_0 : 20
91.79/56.37	c (19,0) c Margin_1 : 20
91.79/56.37	c (19,0) c Margin_2 : 20
91.79/56.37	c (19,0) c Margin_3 : 20
91.79/56.37	c (19,0) c Margin_total : 80
91.79/56.37	c (19,0) c Margin_winner : 20
91.79/56.37	c (19,0) c Exported_0 : 31
91.79/56.37	c (19,0) c Exported_1 : 2
91.79/56.37	c (19,0) c Exported_2 : 22
91.79/56.37	c (19,0) c Exported_3 : 7
91.79/56.37	c (19,0) c Exported_total : 62
91.79/56.37	c (19,0) c Exported_winner : 22
91.79/56.37	c (19,0) c Imported_0 : 0
91.79/56.37	c (19,0) c Imported_1 : 0
91.79/56.37	c (19,0) c Imported_2 : 0
91.79/56.37	c (19,0) c Imported_3 : 0
91.79/56.37	c (19,0) c Imported_total : 0
91.79/56.37	c (19,0) c Imported_winner : 0
91.79/56.37	c (19,0) c Good_0 : 0
91.79/56.37	c (19,0) c Good_1 : 0
91.79/56.37	c (19,0) c Good_2 : 0
91.79/56.37	c (19,0) c Good_3 : 0
91.79/56.37	c (19,0) c Good_total : 0
91.79/56.37	c (19,0) c Good_winner : 0
91.79/56.37	c (19,0) c Purge_0 : 0
91.79/56.37	c (19,0) c Purge_1 : 0
91.79/56.37	c (19,0) c Purge_2 : 0
91.79/56.37	c (19,0) c Purge_3 : 0
91.79/56.37	c (19,0) c Purge_total : 0
91.79/56.37	c (19,0) c Purge_winner : 0
91.79/56.37	c (19,0) c Promoted_0 : 0
91.79/56.37	c (19,0) c Promoted_1 : 0
91.79/56.37	c (19,0) c Promoted_2 : 0
91.79/56.37	c (19,0) c Promoted_3 : 0
91.79/56.37	c (19,0) c Promoted_total : 0
91.79/56.37	c (19,0) c Promoted_winner : 0
91.79/56.37	c (19,0) c Remove_Imp_0 : 0
91.79/56.37	c (19,0) c Remove_Imp_1 : 0
91.79/56.37	c (19,0) c Remove_Imp_2 : 0
91.79/56.37	c (19,0) c Remove_Imp_3 : 0
91.79/56.37	c (19,0) c Remove_Imp_total : 0
91.79/56.37	c (19,0) c Remove_Imp_winner : 0
91.79/56.37	c (19,0) c Blocked_Reuse_0 : 0
91.79/56.37	c (19,0) c Blocked_Reuse_1 : 0
91.79/56.37	c (19,0) c Blocked_Reuse_2 : 0
91.79/56.37	c (19,0) c Blocked_Reuse_3 : 0
91.79/56.37	c (19,0) c Blocked_Reuse_total : 0
91.79/56.37	c (19,0) c Blocked_Reuse_winner : 0
91.79/56.37	c (19,0) c Unaries_0 : 0
91.79/56.37	c (19,0) c Unaries_1 : 0
91.79/56.37	c (19,0) c Unaries_2 : 6
91.79/56.37	c (19,0) c Unaries_3 : 0
91.79/56.37	c (19,0) c Unaries_total : 6
91.79/56.37	c (19,0) c Unaries_winner : 6
91.79/56.37	c (19,0) c Binaries_0 : 1
91.79/56.37	c (19,0) c Binaries_1 : 2
91.79/56.37	c (19,0) c Binaries_2 : 5
91.79/56.37	c (19,0) c Binaries_3 : 0
91.79/56.37	c (19,0) c Binaries_total : 8
91.79/56.37	c (19,0) c Binaries_winner : 5
91.79/56.37	c (19,0) c Glues_0 : 31
91.79/56.37	c (19,0) c Glues_1 : 2
91.79/56.37	c (19,0) c Glues_2 : 22
91.79/56.37	c (19,0) c Glues_3 : 7
91.79/56.37	c (19,0) c Glues_total : 62
91.79/56.37	c (19,0) c Glues_winner : 22
91.79/56.37	c (19,0) c RunningTime_0 : 9.425240
91.79/56.37	c (19,0) c RunningTime_1 : 8.558726
91.79/56.37	c (19,0) c RunningTime_2 : 7.365139
91.79/56.37	c (19,0) c RunningTime_3 : 7.794120
91.79/56.37	c (19,0) c RunningTime_total : 33.143225
91.79/56.37	c (19,0) c RunningTime_winner : 7.365139
91.79/56.37	c (19,0) c WaitingTime_0 : 0.000000
91.79/56.37	c (19,0) c WaitingTime_1 : 0.000000
91.79/56.37	c (19,0) c WaitingTime_2 : 0.000000
91.79/56.37	c (19,0) c WaitingTime_3 : 0.000000
91.79/56.37	c (19,0) c WaitingTime_total : 0.000000
91.79/56.37	c (19,0) c WaitingTime_winner : 0.000000
91.79/56.37	c (19,0) c ExchangingTime_0 : 0.000169
91.79/56.37	c (19,0) c ExchangingTime_1 : 0.000028
91.79/56.37	c (19,0) c ExchangingTime_2 : 0.000153
91.79/56.37	c (19,0) c ExchangingTime_3 : 0.000047
91.79/56.37	c (19,0) c ExchangingTime_total : 0.000398
91.79/56.37	c (19,0) c ExchangingTime_winner : 0.000153
91.79/56.37	c (19,0) c PeriodProcTime_0 : 0.000152
91.79/56.37	c (19,0) c PeriodProcTime_1 : 0.000164
91.79/56.37	c (19,0) c PeriodProcTime_2 : 0.000195
91.79/56.37	c (19,0) c PeriodProcTime_3 : 0.000157
91.79/56.37	c (19,0) c PeriodProcTime_total : 0.000668
91.79/56.37	c (19,0) c PeriodProcTime_winner : 0.000195
91.79/56.37	c (19,0) c SolvingTime_0 : 9.425560
91.79/56.37	c (19,0) c SolvingTime_1 : 8.558918
91.79/56.37	c (19,0) c SolvingTime_2 : 7.365487
91.79/56.37	c (19,0) c SolvingTime_3 : 7.794324
91.79/56.37	c (19,0) c SolvingTime_total : 33.144291
91.79/56.37	c (19,0) c SolvingTime_winner : 7.365487
91.79/56.37	c (19,0) c PropagationTime_0 : 8.445865
91.79/56.37	c (19,0) c PropagationTime_1 : 7.460773
91.79/56.37	c (19,0) c PropagationTime_2 : 6.268142
91.79/56.37	c (19,0) c PropagationTime_3 : 6.685137
91.79/56.37	c (19,0) c PropagationTime_total : 28.859916
91.79/56.37	c (19,0) c PropagationTime_winner : 6.268142
91.79/56.37	c (19,0) c AnalysisTime_0 : 0.169336
91.79/56.37	c (19,0) c AnalysisTime_1 : 0.159753
91.79/56.37	c (19,0) c AnalysisTime_2 : 0.133146
91.79/56.37	c (19,0) c AnalysisTime_3 : 0.132360
91.79/56.37	c (19,0) c AnalysisTime_total : 0.594594
91.79/56.37	c (19,0) c AnalysisTime_winner : 0.133146
91.79/56.37	c (19,0) c ReductionTime_0 : 0.000000
91.79/56.37	c (19,0) c ReductionTime_1 : 0.000000
91.79/56.37	c (19,0) c ReductionTime_2 : 0.000000
91.79/56.37	c (19,0) c ReductionTime_3 : 0.000000
91.79/56.37	c (19,0) c ReductionTime_total : 0.000000
91.79/56.37	c (19,0) c ReductionTime_winner : 0.000000
91.79/56.37	c (19,0) c SimplifyTime_0 : 0.000000
91.79/56.37	c (19,0) c SimplifyTime_1 : 0.000000
91.79/56.37	c (19,0) c SimplifyTime_2 : 0.000001
91.79/56.37	c (19,0) c SimplifyTime_3 : 0.000000
91.79/56.37	c (19,0) c SimplifyTime_total : 0.000001
91.79/56.37	c (19,0) c SimplifyTime_winner : 0.000001
91.79/56.37	c (19,0) c UsedRateTime_0 : 0.000000
91.79/56.37	c (19,0) c UsedRateTime_1 : 0.000000
91.79/56.37	c (19,0) c UsedRateTime_2 : 0.000000
91.79/56.37	c (19,0) c UsedRateTime_3 : 0.000000
91.79/56.37	c (19,0) c UsedRateTime_total : 0.000000
91.79/56.37	c (19,0) c UsedRateTime_winner : 0.000000
91.79/56.37	c (19,0) c OverlapRateTime_0 : 0.000000
91.79/56.37	c (19,0) c OverlapRateTime_1 : 0.000000
91.79/56.37	c (19,0) c OverlapRateTime_2 : 0.000000
91.79/56.37	c (19,0) c OverlapRateTime_3 : 0.000000
91.79/56.37	c (19,0) c OverlapRateTime_total : 0.000000
91.79/56.37	c (19,0) c OverlapRateTime_winner : 0.000000
91.79/56.37	c (19,0) c
91.79/56.37	c (19,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
91.79/56.37	c (19,0) c
91.79/56.37	c (19,0) c |-----------------------|------------|------------|------------|------------|
91.79/56.37	c (19,0) c | Threads               |          0 |          1 |          2 |          3 |
91.79/56.37	c (19,0) c |-----------------------|------------|------------|------------|------------|
91.79/56.37	c (19,0) c | randomizeFirstDescent |      False |       True |       True |       True |
91.79/56.37	c (19,0) c | adaptStrategeis       |       True |      False |       True |      False |
91.79/56.37	c (19,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |
91.79/56.37	c (19,0) c | Initial random_seed   |  440814970 | 1674283372 | 1342653997 | 1380296781 |
91.79/56.37	c (19,0) c | chanseokStrategy      |      False |      False |      False |      False |
91.79/56.37	c (19,0) c | coLBDBound            |          5 |          5 |          5 |          5 |
91.79/56.37	c (19,0) c | glureduce             |       True |       True |       True |       True |
91.79/56.37	c (19,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |
91.79/56.37	c (19,0) c | incReduceDB           |        300 |        300 |        300 |        300 |
91.79/56.37	c (19,0) c | luby_restart          |      False |      False |      False |      False |
91.79/56.37	c (19,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |
91.79/56.37	c (19,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
91.79/56.37	c (19,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
91.79/56.37	c (19,0) c | randomize_on_restarts |      False |      False |      False |      False |
91.79/56.37	c (19,0) c | remove_satisfied      |       True |       True |       True |       True |
91.79/56.37	c (19,0) c |-----------------------|------------|------------|------------|------------|
91.79/56.37	c (19,0) 
91.79/56.37	c (19,0) s UNSATISFIABLE
49.95/56.51	c (19,1) SatSolver.solve End
49.95/56.51	c (19,1) Heap : 184 MiB used (max 3925 MiB), NonHeap : 17 MiB used (max 0 MiB)
49.95/56.51	c (19,1) Show results Begin
49.95/56.51	s UNSATISFIABLE
49.95/56.51	c (19,1) Show results End
49.95/56.51	c (19,1) Heap : 184 MiB used (max 3925 MiB), NonHeap : 17 MiB used (max 0 MiB)
49.95/56.51	c (19,1) 19,19,STOP-AFTER(ALL)
49.95/56.51	c END-Prog: Sat Sep 14 04:17:48 CEST 2019

Verifier Data


Watcher Data 

runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 16374 MiB (14856 MiB free)
  memory of node 1: 16384 MiB (15309 MiB free)
  node distances:
     10  21
     21  10

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

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

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


[startup+0.100109 s]*
/proc/loadavg: 0.07 0.03 0.58 3/211 11595
/proc/meminfo: memFree=30795660/32770624 swapFree=66940944/67108860
[pid=11573] ppid=11570 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/11573/stat : 11573 (scop.sh) S 11570 11573 6415 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 418983566 115843072 349 33554432000 4194304 5098028 140720379562624 140720379559880 140250022011516 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 28229632 140720379564836 140720379565164 140720379565164 140720379568077 0
/proc/11573/statm: 28282 349 296 221 0 87 0
[pid=11576] ppid=11573 vsize=27314120 memory=106152 CPUtime=0.11 cores=0-7
/proc/11576/stat : 11576 (java) S 11573 11573 6415 0 -1 1077944320 6598 0 0 0 8 3 0 0 20 0 20 0 418983567 27969658880 26538 33554432000 4194304 4196468 140734324405520 140734324388064 140171473387255 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 35713024 140734324409066 140734324409494 140734324409494 140734324412367 0
/proc/11576/statm: 6828530 26538 2804 1 0 6790935 0
[pid=11576/tid=11577] ppid=11573 vsize=27314120 memory=4134930498285298233 CPUtime=0.08 cores=0-7
/proc/11576/task/11577/stat : 11577 (java) R 11573 11573 6415 0 -1 4202560 4705 0 0 0 6 2 0 0 20 0 20 0 418983567 27969658880 26538 33554432000 4194304 4196468 140734324405520 140171445213584 140171465624382 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35713024 140734324409066 140734324409494 140734324409494 140734324412367 0
[pid=11576/tid=11578] ppid=11573 vsize=27314120 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/11576/task/11578/stat : 11578 (java) S 11573 11573 6415 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418983569 27969658880 26538 33554432000 4194304 4196468 140734324405520 140171477630096 140171473397461 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35713024 140734324409066 140734324409494 140734324409494 140734324412367 0
[pid=11576/tid=11579] ppid=11573 vsize=27314120 memory=140166358783616 CPUtime=0 cores=0-7
/proc/11576/task/11579/stat : 11579 (java) S 11573 11573 6415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418983569 27969658880 26538 33554432000 4194304 4196468 140734324405520 140170895195152 140171473397461 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35713024 140734324409066 140734324409494 140734324409494 140734324412367 0
[pid=11576/tid=11580] ppid=11573 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11576/task/11580/stat : 11580 (java) S 11573 11573 6415 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418983570 27969658880 26538 33554432000 4194304 4196468 140734324405520 140170894142352 140171473397461 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35713024 140734324409066 140734324409494 140734324409494 140734324412367 0
[pid=11576/tid=11581] ppid=11573 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11576/task/11581/stat : 11581 (java) S 11573 11573 6415 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418983570 27969658880 26538 33554432000 4194304 4196468 140734324405520 140170893089552 140171473397461 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35713024 140734324409066 140734324409494 140734324409494 140734324412367 0
[pid=11576/tid=11582] ppid=11573 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11576/task/11582/stat : 11582 (java) S 11573 11573 6415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418983570 27969658880 26538 33554432000 4194304 4196468 140734324405520 140170892036752 140171473397461 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35713024 140734324409066 140734324409494 140734324409494 140734324412367 0
[pid=11576/tid=11583] ppid=11573 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/11576/task/11583/stat : 11583 (java) S 11573 11573 6415 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418983570 27969658880 26538 33554432000 4194304 4196468 140734324405520 140170890983952 140171473397461 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35713024 140734324409066 140734324409494 140734324409494 140734324412367 0
[pid=11576/tid=11584] ppid=11573 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11576/task/11584/stat : 11584 (java) S 11573 11573 6415 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418983570 27969658880 26538 33554432000 4194304 4196468 140734324405520 140170889931152 140171473397461 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35713024 140734324409066 140734324409494 140734324409494 140734324412367 0
[pid=11576/tid=11585] ppid=11573 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11576/task/11585/stat : 11585 (java) S 11573 11573 6415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418983570 27969658880 26538 33554432000 4194304 4196468 140734324405520 140170888878352 140171473397461 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35713024 140734324409066 140734324409494 140734324409494 140734324412367 0
[pid=11576/tid=11586] ppid=11573 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11576/task/11586/stat : 11586 (java) S 11573 11573 6415 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418983571 27969658880 26538 33554432000 4194304 4196468 140734324405520 140170464746352 140171473398402 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35713024 140734324409066 140734324409494 140734324409494 140734324412367 0
[pid=11576/tid=11587] ppid=11573 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11576/task/11587/stat : 11587 (java) S 11573 11573 6415 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 418983572 27969658880 26538 33554432000 4194304 4196468 140734324405520 140169344706080 140171473397461 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35713024 140734324409066 140734324409494 140734324409494 140734324412367 0
[pid=11576/tid=11588] ppid=11573 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11576/task/11588/stat : 11588 (java) S 11573 11573 6415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418983572 27969658880 26538 33554432000 4194304 4196468 140734324405520 140169076270448 140171473397461 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35713024 140734324409066 140734324409494 140734324409494 140734324412367 0
[pid=11576/tid=11589] ppid=11573 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11576/task/11589/stat : 11589 (java) S 11573 11573 6415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418983574 27969658880 26538 33554432000 4194304 4196468 140734324405520 140168701761872 140171473405851 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35713024 140734324409066 140734324409494 140734324409494 140734324412367 0
[pid=11576/tid=11590] ppid=11573 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11576/task/11590/stat : 11590 (java) S 11573 11573 6415 0 -1 1077944384 307 0 0 0 0 0 0 0 20 0 20 0 418983574 27969658880 26538 33554432000 4194304 4196468 140734324405520 140170463693168 140171473398402 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35713024 140734324409066 140734324409494 140734324409494 140734324412367 0
[pid=11576/tid=11591] ppid=11573 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11576/task/11591/stat : 11591 (java) S 11573 11573 6415 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418983574 27969658880 26538 33554432000 4194304 4196468 140734324405520 140170462640368 140171473398402 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35713024 140734324409066 140734324409494 140734324409494 140734324412367 0
[pid=11576/tid=11592] ppid=11573 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11576/task/11592/stat : 11592 (java) S 11573 11573 6415 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418983574 27969658880 26538 33554432000 4194304 4196468 140734324405520 140170461587568 140171473398402 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35713024 140734324409066 140734324409494 140734324409494 140734324412367 0
[pid=11576/tid=11593] ppid=11573 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11576/task/11593/stat : 11593 (java) S 11573 11573 6415 0 -1 1077944384 251 0 0 0 0 0 0 0 20 0 20 0 418983574 27969658880 26538 33554432000 4194304 4196468 140734324405520 140170460534768 140171473398402 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35713024 140734324409066 140734324409494 140734324409494 140734324412367 0
[pid=11576/tid=11594] ppid=11573 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11576/task/11594/stat : 11594 (java) S 11573 11573 6415 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418983574 27969658880 26538 33554432000 4194304 4196468 140734324405520 140168203856992 140171473397461 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35713024 140734324409066 140734324409494 140734324409494 140734324412367 0
[pid=11576/tid=11595] ppid=11573 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/11576/task/11595/stat : 11595 (java) S 11573 11573 6415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418983575 27969658880 26538 33554432000 4194304 4196468 140734324405520 140170459483184 140171473398402 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35713024 140734324409066 140734324409494 140734324409494 140734324412367 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 107548 KiB

[startup+0.209858 s]*
/proc/loadavg: 0.07 0.03 0.58 4/211 11595
/proc/meminfo: memFree=30774324/32770624 swapFree=66940944/67108860
[pid=11573] ppid=11570 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/11573/stat : 11573 (scop.sh) S 11570 11573 6415 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 418983566 115843072 349 33554432000 4194304 5098028 140720379562624 140720379559880 140250022011516 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 28229632 140720379564836 140720379565164 140720379565164 140720379568077 0
/proc/11573/statm: 28282 349 296 221 0 87 0
[pid=11576] ppid=11573 vsize=27314120 memory=125256 CPUtime=0.24 cores=0-7
/proc/11576/stat : 11576 (java) S 11573 11573 6415 0 -1 1077944320 12238 0 0 0 20 4 0 0 20 0 20 0 418983567 27969658880 31314 33554432000 4194304 4196468 140734324405520 140734324388064 140171473387255 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 35713024 140734324409066 140734324409494 140734324409494 140734324412367 0
/proc/11576/statm: 6828530 31314 2944 1 0 6790935 0
[pid=11576/tid=11577] ppid=11573 vsize=27314120 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/11576/task/11577/stat : 11577 (java) R 11573 11573 6415 0 -1 4202560 9946 0 0 0 16 3 0 0 20 0 20 0 418983567 27969658880 31314 33554432000 4194304 4196468 140734324405520 140171445170816 140171454950807 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35713024 140734324409066 140734324409494 140734324409494 140734324412367 0
[pid=11576/tid=11578] ppid=11573 vsize=27314120 memory=329 CPUtime=0 cores=0-7
/proc/11576/task/11578/stat : 11578 (java) S 11573 11573 6415 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418983569 27969658880 31314 33554432000 4194304 4196468 140734324405520 140171477630096 140171473397461 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35713024 140734324409066 140734324409494 140734324409494 140734324412367 0
[pid=11576/tid=11579] ppid=11573 vsize=27314120 memory=3762670267395626656 CPUtime=0 cores=0-7
/proc/11576/task/11579/stat : 11579 (java) S 11573 11573 6415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418983569 27969658880 31314 33554432000 4194304 4196468 140734324405520 140170895195152 140171473397461 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35713024 140734324409066 140734324409494 140734324409494 140734324412367 0
[pid=11576/tid=11580] ppid=11573 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/11576/task/11580/stat : 11580 (java) S 11573 11573 6415 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418983570 27969658880 31314 33554432000 4194304 4196468 140734324405520 140170894142352 140171473397461 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35713024 140734324409066 140734324409494 140734324409494 140734324412367 0
[pid=11576/tid=11581] ppid=11573 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11576/task/11581/stat : 11581 (java) S 11573 11573 6415 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418983570 27969658880 31314 33554432000 4194304 4196468 140734324405520 140170893089552 140171473397461 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35713024 140734324409066 140734324409494 140734324409494 140734324412367 0
[pid=11576/tid=11582] ppid=11573 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11576/task/11582/stat : 11582 (java) S 11573 11573 6415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418983570 27969658880 31314 33554432000 4194304 4196468 140734324405520 140170892036752 140171473397461 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35713024 140734324409066 140734324409494 140734324409494 140734324412367 0
[pid=11576/tid=11583] ppid=11573 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/11576/task/11583/stat : 11583 (java) S 11573 11573 6415 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418983570 27969658880 31314 33554432000 4194304 4196468 140734324405520 140170890983952 140171473397461 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35713024 140734324409066 140734324409494 140734324409494 140734324412367 0
[pid=11576/tid=11584] ppid=11573 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11576/task/11584/stat : 11584 (java) S 11573 11573 6415 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418983570 27969658880 31314 33554432000 4194304 4196468 140734324405520 140170889931152 140171473397461 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35713024 140734324409066 140734324409494 140734324409494 140734324412367 0
[pid=11576/tid=11585] ppid=11573 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11576/task/11585/stat : 11585 (java) S 11573 11573 6415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418983570 27969658880 31314 33554432000 4194304 4196468 140734324405520 140170888878352 140171473397461 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35713024 140734324409066 140734324409494 140734324409494 140734324412367 0
[pid=11576/tid=11586] ppid=11573 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11576/task/11586/stat : 11586 (java) S 11573 11573 6415 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418983571 27969658880 31314 33554432000 4194304 4196468 140734324405520 140170464746352 140171473398402 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35713024 140734324409066 140734324409494 140734324409494 140734324412367 0
[pid=11576/tid=11587] ppid=11573 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11576/task/11587/stat : 11587 (java) S 11573 11573 6415 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 418983572 27969658880 31314 33554432000 4194304 4196468 140734324405520 140169344706080 140171473397461 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35713024 140734324409066 140734324409494 140734324409494 140734324412367 0
[pid=11576/tid=11588] ppid=11573 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11576/task/11588/stat : 11588 (java) S 11573 11573 6415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418983572 27969658880 31314 33554432000 4194304 4196468 140734324405520 140169076270448 140171473397461 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35713024 140734324409066 140734324409494 140734324409494 140734324412367 0
[pid=11576/tid=11589] ppid=11573 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11576/task/11589/stat : 11589 (java) S 11573 11573 6415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418983574 27969658880 31314 33554432000 4194304 4196468 140734324405520 140168701761872 140171473405851 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35713024 140734324409066 140734324409494 140734324409494 140734324412367 0
[pid=11576/tid=11590] ppid=11573 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11576/task/11590/stat : 11590 (java) S 11573 11573 6415 0 -1 1077944384 318 0 0 0 0 0 0 0 20 0 20 0 418983574 27969658880 31314 33554432000 4194304 4196468 140734324405520 140170463693168 140171473398402 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35713024 140734324409066 140734324409494 140734324409494 140734324412367 0
[pid=11576/tid=11591] ppid=11573 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11576/task/11591/stat : 11591 (java) S 11573 11573 6415 0 -1 1077944384 134 0 0 0 0 0 0 0 20 0 20 0 418983574 27969658880 31314 33554432000 4194304 4196468 140734324405520 140170462640368 140171473398402 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35713024 140734324409066 140734324409494 140734324409494 140734324412367 0
[pid=11576/tid=11592] ppid=11573 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/11576/task/11592/stat : 11592 (java) S 11573 11573 6415 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 20 0 418983574 27969658880 31314 33554432000 4194304 4196468 140734324405520 140170461587568 140171473398402 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35713024 140734324409066 140734324409494 140734324409494 140734324412367 0
[pid=11576/tid=11593] ppid=11573 vsize=27314120 memory=-1 CPUtime=0.02 cores=0-7
/proc/11576/task/11593/stat : 11593 (java) S 11573 11573 6415 0 -1 1077944384 458 0 0 0 2 0 0 0 20 0 20 0 418983574 27969658880 31314 33554432000 4194304 4196468 140734324405520 140170460534768 140171473398402 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35713024 140734324409066 140734324409494 140734324409494 140734324412367 0
[pid=11576/tid=11594] ppid=11573 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11576/task/11594/stat : 11594 (java) S 11573 11573 6415 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418983574 27969658880 31314 33554432000 4194304 4196468 140734324405520 140168203856992 140171473397461 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35713024 140734324409066 140734324409494 140734324409494 140734324412367 0
[pid=11576/tid=11595] ppid=11573 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/11576/task/11595/stat : 11595 (java) S 11573 11573 6415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418983575 27969658880 31314 33554432000 4194304 4196468 140734324405520 140170459483184 140171473398402 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35713024 140734324409066 140734324409494 140734324409494 140734324412367 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 126652 KiB

[startup+0.309426 s]*
/proc/loadavg: 0.07 0.03 0.58 2/211 11595
/proc/meminfo: memFree=30772024/32770624 swapFree=66940944/67108860
[pid=11573] ppid=11570 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/11573/stat : 11573 (scop.sh) S 11570 11573 6415 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 418983566 115843072 349 33554432000 4194304 5098028 140720379562624 140720379559880 140250022011516 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 28229632 140720379564836 140720379565164 140720379565164 140720379568077 0
/proc/11573/statm: 28282 349 296 221 0 87 0
[pid=11576] ppid=11573 vsize=27314120 memory=129540 CPUtime=0.42 cores=0-7
/proc/11576/stat : 11576 (java) S 11573 11573 6415 0 -1 1077944320 13271 0 0 0 37 5 0 0 20 0 20 0 418983567 27969658880 32385 33554432000 4194304 4196468 140734324405520 140734324388064 140171473387255 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 35713024 140734324409066 140734324409494 140734324409494 140734324412367 0
/proc/11576/statm: 6828530 32385 3037 1 0 6790935 0
[pid=11576/tid=11577] ppid=11573 vsize=27314120 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/11576/task/11577/stat : 11577 (java) R 11573 11573 6415 0 -1 4202560 10791 0 0 0 25 4 0 0 20 0 20 0 418983567 27969658880 32385 33554432000 4194304 4196468 140734324405520 140171445170272 140171454950811 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35713024 140734324409066 140734324409494 140734324409494 140734324412367 0
[pid=11576/tid=11578] ppid=11573 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11576/task/11578/stat : 11578 (java) S 11573 11573 6415 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418983569 27969658880 32385 33554432000 4194304 4196468 140734324405520 140171477630096 140171473397461 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35713024 140734324409066 140734324409494 140734324409494 140734324412367 0
[pid=11576/tid=11579] ppid=11573 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11576/task/11579/stat : 11579 (java) S 11573 11573 6415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418983569 27969658880 32385 33554432000 4194304 4196468 140734324405520 140170895195152 140171473397461 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35713024 140734324409066 140734324409494 140734324409494 140734324412367 0
[pid=11576/tid=11580] ppid=11573 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11576/task/11580/stat : 11580 (java) S 11573 11573 6415 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418983570 27969658880 32385 33554432000 4194304 4196468 140734324405520 140170894142352 140171473397461 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35713024 140734324409066 140734324409494 140734324409494 140734324412367 0
[pid=11576/tid=11581] ppid=11573 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11576/task/11581/stat : 11581 (java) S 11573 11573 6415 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418983570 27969658880 32385 33554432000 4194304 4196468 140734324405520 140170893089552 140171473397461 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35713024 140734324409066 140734324409494 140734324409494 140734324412367 0
[pid=11576/tid=11582] ppid=11573 vsize=27314120 memory=2244 CPUtime=0 cores=0-7
/proc/11576/task/11582/stat : 11582 (java) S 11573 11573 6415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418983570 27969658880 32385 33554432000 4194304 4196468 140734324405520 140170892036752 140171473397461 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35713024 140734324409066 140734324409494 140734324409494 140734324412367 0
[pid=11576/tid=11583] ppid=11573 vsize=27314120 memory=140166257800111 CPUtime=0 cores=0-7
/proc/11576/task/11583/stat : 11583 (java) S 11573 11573 6415 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418983570 27969658880 32385 33554432000 4194304 4196468 140734324405520 140170890983952 140171473397461 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35713024 140734324409066 140734324409494 140734324409494 140734324412367 0
[pid=11576/tid=11584] ppid=11573 vsize=27314120 memory=140166257802416 CPUtime=0 cores=0-7
/proc/11576/task/11584/stat : 11584 (java) S 11573 11573 6415 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418983570 27969658880 32385 33554432000 4194304 4196468 140734324405520 140170889931152 140171473397461 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35713024 140734324409066 140734324409494 140734324409494 140734324412367 0
[pid=11576/tid=11585] ppid=11573 vsize=27314120 memory=140166257804720 CPUtime=0 cores=0-7
/proc/11576/task/11585/stat : 11585 (java) S 11573 11573 6415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418983570 27969658880 32385 33554432000 4194304 4196468 140734324405520 140170888878352 140171473397461 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35713024 140734324409066 140734324409494 140734324409494 140734324412367 0
[pid=11576/tid=11586] ppid=11573 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11576/task/11586/stat : 11586 (java) S 11573 11573 6415 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418983571 27969658880 32385 33554432000 4194304 4196468 140734324405520 140170464746352 140171473398402 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35713024 140734324409066 140734324409494 140734324409494 140734324412367 0
[pid=11576/tid=11587] ppid=11573 vsize=27314120 memory=280332515616400 CPUtime=0 cores=0-7
/proc/11576/task/11587/stat : 11587 (java) S 11573 11573 6415 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 418983572 27969658880 32385 33554432000 4194304 4196468 140734324405520 140169344706080 140171473397461 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35713024 140734324409066 140734324409494 140734324409494 140734324412367 0
[pid=11576/tid=11588] ppid=11573 vsize=27314120 memory=280332515623312 CPUtime=0 cores=0-7
/proc/11576/task/11588/stat : 11588 (java) S 11573 11573 6415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418983572 27969658880 32385 33554432000 4194304 4196468 140734324405520 140169076270448 140171473397461 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35713024 140734324409066 140734324409494 140734324409494 140734324412367 0
[pid=11576/tid=11589] ppid=11573 vsize=27314120 memory=280332515564464 CPUtime=0 cores=0-7
/proc/11576/task/11589/stat : 11589 (java) S 11573 11573 6415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418983574 27969658880 32385 33554432000 4194304 4196468 140734324405520 140168701761872 140171473405851 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35713024 140734324409066 140734324409494 140734324409494 140734324412367 0
[pid=11576/tid=11590] ppid=11573 vsize=27314120 memory=280332515637136 CPUtime=0 cores=0-7
/proc/11576/task/11590/stat : 11590 (java) S 11573 11573 6415 0 -1 1077944384 327 0 0 0 0 0 0 0 20 0 20 0 418983574 27969658880 32385 33554432000 4194304 4196468 140734324405520 140170463693168 140171473398402 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35713024 140734324409066 140734324409494 140734324409494 140734324412367 0
[pid=11576/tid=11591] ppid=11573 vsize=27314120 memory=280332515644048 CPUtime=0.01 cores=0-7
/proc/11576/task/11591/stat : 11591 (java) S 11573 11573 6415 0 -1 1077944384 235 0 0 0 1 0 0 0 20 0 20 0 418983574 27969658880 32385 33554432000 4194304 4196468 140734324405520 140170462640368 140171473398402 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35713024 140734324409066 140734324409494 140734324409494 140734324412367 0
[pid=11576/tid=11592] ppid=11573 vsize=27314120 memory=280332515641744 CPUtime=0.01 cores=0-7
/proc/11576/task/11592/stat : 11592 (java) S 11573 11573 6415 0 -1 1077944384 72 0 0 0 1 0 0 0 20 0 20 0 418983574 27969658880 32385 33554432000 4194304 4196468 140734324405520 140170461587568 140171473398402 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35713024 140734324409066 140734324409494 140734324409494 140734324412367 0
[pid=11576/tid=11593] ppid=11573 vsize=27314120 memory=280332515657904 CPUtime=0.07 cores=0-7
/proc/11576/task/11593/stat : 11593 (java) S 11573 11573 6415 0 -1 1077944384 507 0 0 0 7 0 0 0 20 0 20 0 418983574 27969658880 32385 33554432000 4194304 4196468 140734324405520 140170460534768 140171473398402 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35713024 140734324409066 140734324409494 140734324409494 140734324412367 0
[pid=11576/tid=11594] ppid=11573 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11576/task/11594/stat : 11594 (java) S 11573 11573 6415 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418983574 27969658880 32385 33554432000 4194304 4196468 140734324405520 140168203856992 140171473397461 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35713024 140734324409066 140734324409494 140734324409494 140734324412367 0
[pid=11576/tid=11595] ppid=11573 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/11576/task/11595/stat : 11595 (java) S 11573 11573 6415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418983575 27969658880 32385 33554432000 4194304 4196468 140734324405520 140170459483184 140171473398402 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35713024 140734324409066 140734324409494 140734324409494 140734324412367 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 130936 KiB

[startup+0.70087 s]
/proc/loadavg: 0.07 0.03 0.58 2/211 11595
/proc/meminfo: memFree=30751064/32770624 swapFree=66940944/67108860
[pid=11573] ppid=11570 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/11573/stat : 11573 (scop.sh) S 11570 11573 6415 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 418983566 115843072 349 33554432000 4194304 5098028 140720379562624 140720379559880 140250022011516 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 28229632 140720379564836 140720379565164 140720379565164 140720379568077 0
/proc/11573/statm: 28282 349 296 221 0 87 0
[pid=11576] ppid=11573 vsize=27320392 memory=164916 CPUtime=0.99 cores=0-7
/proc/11576/stat : 11576 (java) S 11573 11573 6415 0 -1 1077944320 20388 0 0 0 92 7 0 0 20 0 20 0 418983567 27976081408 41229 33554432000 4194304 4196468 140734324405520 140734324388064 140171473387255 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 35713024 140734324409066 140734324409494 140734324409494 140734324412367 0
/proc/11576/statm: 6830098 41229 3184 1 0 6791447 0
[pid=11576/tid=11577] ppid=11573 vsize=27320392 memory=280332516015792 CPUtime=0.68 cores=0-7
/proc/11576/task/11577/stat : 11577 (java) R 11573 11573 6415 0 -1 4202560 17366 0 0 0 62 6 0 0 20 0 20 0 418983567 27976081408 41229 33554432000 4194304 4196468 140734324405520 140171445224688 140171473399190 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35713024 140734324409066 140734324409494 140734324409494 140734324412367 0
[pid=11576/tid=11578] ppid=11573 vsize=27320392 memory=140166258008944 CPUtime=0 cores=0-7
/proc/11576/task/11578/stat : 11578 (java) S 11573 11573 6415 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418983569 27976081408 41229 33554432000 4194304 4196468 140734324405520 140171477630096 140171473397461 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35713024 140734324409066 140734324409494 140734324409494 140734324412367 0
[pid=11576/tid=11579] ppid=11573 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/11576/task/11579/stat : 11579 (java) S 11573 11573 6415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418983569 27976081408 41229 33554432000 4194304 4196468 140734324405520 140170895195152 140171473397461 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35713024 140734324409066 140734324409494 140734324409494 140734324412367 0
[pid=11576/tid=11580] ppid=11573 vsize=27320392 memory=5980 CPUtime=0 cores=0-7
/proc/11576/task/11580/stat : 11580 (java) S 11573 11573 6415 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418983570 27976081408 41229 33554432000 4194304 4196468 140734324405520 140170894142352 140171473397461 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35713024 140734324409066 140734324409494 140734324409494 140734324412367 0

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

[pid=11598/tid=11603] ppid=11573 vsize=8414124 memory=14012 CPUtime=0 cores=0-7
/proc/11598/task/11603/stat : 11603 (java) S 11573 11573 6415 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 418987227 8616062976 40232 33554432000 4194304 4196468 140729444784416 140169371699728 140169569404629 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37711872 140729444791287 140729444791446 140729444791446 140729444794319 0
[pid=11598/tid=11604] ppid=11573 vsize=8414124 memory=2112 CPUtime=0 cores=0-7
/proc/11598/task/11604/stat : 11604 (java) S 11573 11573 6415 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 418987227 8616062976 40232 33554432000 4194304 4196468 140729444784416 140169370647440 140169569404629 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37711872 140729444791287 140729444791446 140729444791446 140729444794319 0
[pid=11598/tid=11605] ppid=11573 vsize=8414124 memory=12040 CPUtime=0 cores=0-7
/proc/11598/task/11605/stat : 11605 (java) S 11573 11573 6415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418987227 8616062976 40232 33554432000 4194304 4196468 140729444784416 140169369594640 140169569404629 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37711872 140729444791287 140729444791446 140729444791446 140729444794319 0
[pid=11598/tid=11606] ppid=11573 vsize=8414124 memory=24032 CPUtime=0 cores=0-7
/proc/11598/task/11606/stat : 11606 (java) S 11573 11573 6415 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 418987227 8616062976 40232 33554432000 4194304 4196468 140729444784416 140169368542352 140169569404629 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37711872 140729444791287 140729444791446 140729444791446 140729444794319 0
[pid=11598/tid=11607] ppid=11573 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/11598/task/11607/stat : 11607 (java) S 11573 11573 6415 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 418987227 8616062976 40232 33554432000 4194304 4196468 140729444784416 140169367489552 140169569404629 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37711872 140729444791287 140729444791446 140729444791446 140729444794319 0
[pid=11598/tid=11608] ppid=11573 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/11598/task/11608/stat : 11608 (java) S 11573 11573 6415 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 418987229 8616062976 40232 33554432000 4194304 4196468 140729444784416 140168528603248 140169569405570 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37711872 140729444791287 140729444791446 140729444791446 140729444794319 0
[pid=11598/tid=11609] ppid=11573 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/11598/task/11609/stat : 11609 (java) S 11573 11573 6415 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 418987229 8616062976 40232 33554432000 4194304 4196468 140729444784416 140168136745760 140169569404629 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37711872 140729444791287 140729444791446 140729444791446 140729444794319 0
[pid=11598/tid=11610] ppid=11573 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/11598/task/11610/stat : 11610 (java) S 11573 11573 6415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418987229 8616062976 40232 33554432000 4194304 4196468 140729444784416 140167868310640 140169569404629 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37711872 140729444791287 140729444791446 140729444791446 140729444794319 0
[pid=11598/tid=11611] ppid=11573 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/11598/task/11611/stat : 11611 (java) S 11573 11573 6415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418987232 8616062976 40232 33554432000 4194304 4196468 140729444784416 140167493802064 140169569413019 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37711872 140729444791287 140729444791446 140729444791446 140729444794319 0
[pid=11598/tid=11612] ppid=11573 vsize=8414124 memory=0 CPUtime=0.27 cores=0-7
/proc/11598/task/11612/stat : 11612 (java) S 11573 11573 6415 0 -1 1077944384 1206 0 0 0 27 0 0 0 20 0 24 0 418987232 8616062976 40232 33554432000 4194304 4196468 140729444784416 140168527551088 140169569405570 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37711872 140729444791287 140729444791446 140729444791446 140729444794319 0
[pid=11598/tid=11613] ppid=11573 vsize=8414124 memory=0 CPUtime=0.27 cores=0-7
/proc/11598/task/11613/stat : 11613 (java) S 11573 11573 6415 0 -1 1077944384 763 0 0 0 27 0 0 0 20 0 24 0 418987232 8616062976 40232 33554432000 4194304 4196468 140729444784416 140168526498288 140169569405570 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37711872 140729444791287 140729444791446 140729444791446 140729444794319 0
[pid=11598/tid=11614] ppid=11573 vsize=8414124 memory=0 CPUtime=0.26 cores=0-7
/proc/11598/task/11614/stat : 11614 (java) S 11573 11573 6415 0 -1 1077944384 560 0 0 0 26 0 0 0 20 0 24 0 418987232 8616062976 40232 33554432000 4194304 4196468 140729444784416 140168525446000 140169569405570 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37711872 140729444791287 140729444791446 140729444791446 140729444794319 0
[pid=11598/tid=11615] ppid=11573 vsize=8414124 memory=0 CPUtime=0.25 cores=0-7
/proc/11598/task/11615/stat : 11615 (java) S 11573 11573 6415 0 -1 1077944384 618 0 0 0 25 0 0 0 20 0 24 0 418987232 8616062976 40232 33554432000 4194304 4196468 140729444784416 140168524393200 140169569405570 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37711872 140729444791287 140729444791446 140729444791446 140729444794319 0
[pid=11598/tid=11616] ppid=11573 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/11598/task/11616/stat : 11616 (java) S 11573 11573 6415 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 418987232 8616062976 40232 33554432000 4194304 4196468 140729444784416 140166995896672 140169569404629 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37711872 140729444791287 140729444791446 140729444791446 140729444794319 0
[pid=11598/tid=11617] ppid=11573 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/11598/task/11617/stat : 11617 (java) S 11573 11573 6415 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 418987232 8616062976 40232 33554432000 4194304 4196468 140729444784416 140168523340080 140169569405570 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 20 0 0 6293624 6294260 37711872 140729444791287 140729444791446 140729444791446 140729444794319 0
[pid=11598/tid=11619] ppid=11573 vsize=8414124 memory=11568 CPUtime=0 cores=0-7
/proc/11598/task/11619/stat : 11619 (java) S 11573 11573 6415 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 418987360 8616062976 40232 33554432000 4194304 4196468 140729444784416 140168515306816 140169569419033 0 4 2 25189581 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 37711872 140729444791287 140729444791446 140729444791446 140729444794319 0
[pid=11598/tid=11621] ppid=11573 vsize=8414124 memory=1532 CPUtime=0 cores=0-7
/proc/11598/task/11621/stat : 11621 (java) S 11573 11573 6415 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 24 0 418987360 8616062976 40232 33554432000 4194304 4196468 140729444784416 140166324797328 140169569416349 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 37711872 140729444791287 140729444791446 140729444791446 140729444794319 0
[pid=11598/tid=11622] ppid=11573 vsize=8414124 memory=1088 CPUtime=0 cores=0-7
/proc/11598/task/11622/stat : 11622 (java) S 11573 11573 6415 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 418987360 8616062976 40232 33554432000 4194304 4196468 140729444784416 140166593232656 140169569416349 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 37711872 140729444791287 140729444791446 140729444791446 140729444794319 0
[pid=11598/tid=11623] ppid=11573 vsize=8414124 memory=988 CPUtime=0 cores=0-7
/proc/11598/task/11623/stat : 11623 (java) S 11573 11573 6415 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 418987363 8616062976 40232 33554432000 4194304 4196468 140729444784416 140166056369968 140169569404629 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37711872 140729444791287 140729444791446 140729444791446 140729444794319 0
Current children cumulated CPU time: 91.49 s
Current children cumulated vsize: 14337844 KiB
Current children cumulated memory: 5543640 KiB

[startup+56.4012 s]
/proc/loadavg: 1.05 0.28 0.64 2/217 11628
/proc/meminfo: memFree=25123388/32770624 swapFree=66940944/67108860
[pid=11573] ppid=11570 vsize=113128 memory=1476 CPUtime=47.43 cores=0-7
/proc/11573/stat : 11573 (scop.sh) S 11570 11573 6415 0 -1 4202496 583 49453 0 0 0 0 4529 214 20 0 1 0 418983566 115843072 369 33554432000 4194304 5098028 140720379562624 140720379559368 140250022011516 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 28229632 140720379564836 140720379565164 140720379565164 140720379568077 0
/proc/11573/statm: 28282 369 311 221 0 87 0
[pid=11598] ppid=11573 vsize=8414124 memory=161632 CPUtime=2.52 cores=0-7
/proc/11598/stat : 11598 (java) S 11573 11573 6415 0 -1 1077944320 22196 0 0 0 213 39 0 0 20 0 24 0 418987225 8616062976 40408 33554432000 4194304 4196468 140729444784416 140729444766960 140169569394423 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 37711872 140729444791287 140729444791446 140729444791446 140729444794319 0
/proc/11598/statm: 2103531 40408 3235 1 0 2064875 0
[pid=11598/tid=11599] ppid=11573 vsize=8414124 memory=1436 CPUtime=1.37 cores=0-7
/proc/11598/task/11599/stat : 11599 (java) S 11573 11573 6415 0 -1 1077944384 17465 0 0 0 101 36 0 0 20 0 24 0 418987226 8616062976 40408 33554432000 4194304 4196468 140729444784416 140169541234592 140169569404629 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37711872 140729444791287 140729444791446 140729444791446 140729444794319 0
[pid=11598/tid=11600] ppid=11573 vsize=8414124 memory=800 CPUtime=0 cores=0-7
/proc/11598/task/11600/stat : 11600 (java) S 11573 11573 6415 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 418987227 8616062976 40408 33554432000 4194304 4196468 140729444784416 140169573636496 140169569404629 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37711872 140729444791287 140729444791446 140729444791446 140729444794319 0
[pid=11598/tid=11601] ppid=11573 vsize=8414124 memory=1764 CPUtime=0 cores=0-7
/proc/11598/task/11601/stat : 11601 (java) S 11573 11573 6415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418987227 8616062976 40408 33554432000 4194304 4196468 140729444784416 140169373804816 140169569404629 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37711872 140729444791287 140729444791446 140729444791446 140729444794319 0
[pid=11598/tid=11602] ppid=11573 vsize=8414124 memory=111628 CPUtime=0 cores=0-7
/proc/11598/task/11602/stat : 11602 (java) S 11573 11573 6415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418987227 8616062976 40408 33554432000 4194304 4196468 140729444784416 140169372752528 140169569404629 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37711872 140729444791287 140729444791446 140729444791446 140729444794319 0
[pid=11598/tid=11603] ppid=11573 vsize=8414124 memory=800 CPUtime=0 cores=0-7
/proc/11598/task/11603/stat : 11603 (java) S 11573 11573 6415 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 418987227 8616062976 40408 33554432000 4194304 4196468 140729444784416 140169371699728 140169569404629 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37711872 140729444791287 140729444791446 140729444791446 140729444794319 0
[pid=11598/tid=11604] ppid=11573 vsize=8414124 memory=1804 CPUtime=0 cores=0-7
/proc/11598/task/11604/stat : 11604 (java) S 11573 11573 6415 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 418987227 8616062976 40408 33554432000 4194304 4196468 140729444784416 140169370647440 140169569404629 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37711872 140729444791287 140729444791446 140729444791446 140729444794319 0
[pid=11598/tid=11605] ppid=11573 vsize=8414124 memory=920 CPUtime=0 cores=0-7
/proc/11598/task/11605/stat : 11605 (java) S 11573 11573 6415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418987227 8616062976 40408 33554432000 4194304 4196468 140729444784416 140169369594640 140169569404629 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37711872 140729444791287 140729444791446 140729444791446 140729444794319 0
[pid=11598/tid=11606] ppid=11573 vsize=8414124 memory=4196 CPUtime=0 cores=0-7
/proc/11598/task/11606/stat : 11606 (java) S 11573 11573 6415 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 418987227 8616062976 40408 33554432000 4194304 4196468 140729444784416 140169368542352 140169569404629 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37711872 140729444791287 140729444791446 140729444791446 140729444794319 0
[pid=11598/tid=11607] ppid=11573 vsize=8414124 memory=4104 CPUtime=0 cores=0-7
/proc/11598/task/11607/stat : 11607 (java) S 11573 11573 6415 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 418987227 8616062976 40408 33554432000 4194304 4196468 140729444784416 140169367489552 140169569404629 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37711872 140729444791287 140729444791446 140729444791446 140729444794319 0
[pid=11598/tid=11608] ppid=11573 vsize=8414124 memory=1412 CPUtime=0 cores=0-7
/proc/11598/task/11608/stat : 11608 (java) S 11573 11573 6415 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 418987229 8616062976 40408 33554432000 4194304 4196468 140729444784416 140168528603248 140169569405570 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37711872 140729444791287 140729444791446 140729444791446 140729444794319 0
[pid=11598/tid=11609] ppid=11573 vsize=8414124 memory=-8598609100630421906 CPUtime=0 cores=0-7
/proc/11598/task/11609/stat : 11609 (java) S 11573 11573 6415 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 418987229 8616062976 40408 33554432000 4194304 4196468 140729444784416 140168136745760 140169569404629 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37711872 140729444791287 140729444791446 140729444791446 140729444794319 0
[pid=11598/tid=11610] ppid=11573 vsize=8414124 memory=33 CPUtime=0 cores=0-7
/proc/11598/task/11610/stat : 11610 (java) S 11573 11573 6415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418987229 8616062976 40408 33554432000 4194304 4196468 140729444784416 140167868310640 140169569404629 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37711872 140729444791287 140729444791446 140729444791446 140729444794319 0
[pid=11598/tid=11611] ppid=11573 vsize=8414124 memory=140166258373892 CPUtime=0 cores=0-7
/proc/11598/task/11611/stat : 11611 (java) S 11573 11573 6415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418987232 8616062976 40408 33554432000 4194304 4196468 140729444784416 140167493802064 140169569413019 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37711872 140729444791287 140729444791446 140729444791446 140729444794319 0
[pid=11598/tid=11612] ppid=11573 vsize=8414124 memory=140166258371320 CPUtime=0.27 cores=0-7
/proc/11598/task/11612/stat : 11612 (java) S 11573 11573 6415 0 -1 1077944384 1210 0 0 0 27 0 0 0 20 0 24 0 418987232 8616062976 40408 33554432000 4194304 4196468 140729444784416 140168527551088 140169569405570 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37711872 140729444791287 140729444791446 140729444791446 140729444794319 0
[pid=11598/tid=11613] ppid=11573 vsize=8414124 memory=280332516077400 CPUtime=0.28 cores=0-7
/proc/11598/task/11613/stat : 11613 (java) S 11573 11573 6415 0 -1 1077944384 766 0 0 0 28 0 0 0 20 0 24 0 418987232 8616062976 40408 33554432000 4194304 4196468 140729444784416 140168526498288 140169569405570 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37711872 140729444791287 140729444791446 140729444791446 140729444794319 0
[pid=11598/tid=11614] ppid=11573 vsize=8414124 memory=280332516075512 CPUtime=0.27 cores=0-7
/proc/11598/task/11614/stat : 11614 (java) S 11573 11573 6415 0 -1 1077944384 564 0 0 0 27 0 0 0 20 0 24 0 418987232 8616062976 40408 33554432000 4194304 4196468 140729444784416 140168525446000 140169569405570 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37711872 140729444791287 140729444791446 140729444791446 140729444794319 0
[pid=11598/tid=11615] ppid=11573 vsize=8414124 memory=280332516077448 CPUtime=0.26 cores=0-7
/proc/11598/task/11615/stat : 11615 (java) S 11573 11573 6415 0 -1 1077944384 785 0 0 0 26 0 0 0 20 0 24 0 418987232 8616062976 40408 33554432000 4194304 4196468 140729444784416 140168524393200 140169569405570 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37711872 140729444791287 140729444791446 140729444791446 140729444794319 0
[pid=11598/tid=11616] ppid=11573 vsize=8414124 memory=280332516075576 CPUtime=0 cores=0-7
/proc/11598/task/11616/stat : 11616 (java) S 11573 11573 6415 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 418987232 8616062976 40408 33554432000 4194304 4196468 140729444784416 140166995896672 140169569404629 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37711872 140729444791287 140729444791446 140729444791446 140729444794319 0
[pid=11598/tid=11617] ppid=11573 vsize=8414124 memory=280332516075608 CPUtime=0 cores=0-7
/proc/11598/task/11617/stat : 11617 (java) S 11573 11573 6415 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 418987232 8616062976 40408 33554432000 4194304 4196468 140729444784416 140168523340080 140169569405570 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 20 0 0 6293624 6294260 37711872 140729444791287 140729444791446 140729444791446 140729444794319 0
[pid=11598/tid=11619] ppid=11573 vsize=8414124 memory=15961280444508184 CPUtime=0 cores=0-7
/proc/11598/task/11619/stat : 11619 (java) S 11573 11573 6415 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 418987360 8616062976 40408 33554432000 4194304 4196468 140729444784416 140168515306816 140169569419033 0 4 2 25189581 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 37711872 140729444791287 140729444791446 140729444791446 140729444794319 0
[pid=11598/tid=11621] ppid=11573 vsize=8414124 memory=8389912430683133583 CPUtime=0.01 cores=0-7
/proc/11598/task/11621/stat : 11621 (java) S 11573 11573 6415 0 -1 4202560 12 0 0 0 1 0 0 0 20 0 24 0 418987360 8616062976 40408 33554432000 4194304 4196468 140729444784416 140166324797360 140169569416349 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 37711872 140729444791287 140729444791446 140729444791446 140729444794319 0
[pid=11598/tid=11622] ppid=11573 vsize=8414124 memory=3472468462485788784 CPUtime=0 cores=0-7
/proc/11598/task/11622/stat : 11622 (java) S 11573 11573 6415 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 418987360 8616062976 40408 33554432000 4194304 4196468 140729444784416 140166593232656 140169569416349 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 37711872 140729444791287 140729444791446 140729444791446 140729444794319 0
[pid=11598/tid=11623] ppid=11573 vsize=8414124 memory=3472468445306181776 CPUtime=0 cores=0-7
/proc/11598/task/11623/stat : 11623 (java) S 11573 11573 6415 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 418987363 8616062976 40408 33554432000 4194304 4196468 140729444784416 140166056369968 140169569404629 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37711872 140729444791287 140729444791446 140729444791446 140729444794319 0
Current children cumulated CPU time: 49.95 s
Current children cumulated vsize: 8527252 KiB
Current children cumulated memory: 163108 KiB

[startup+56.5011 s]
/proc/loadavg: 1.05 0.28 0.64 2/217 11628
/proc/meminfo: memFree=25123388/32770624 swapFree=66940944/67108860
[pid=11573] ppid=11570 vsize=113128 memory=1476 CPUtime=47.43 cores=0-7
/proc/11573/stat : 11573 (scop.sh) S 11570 11573 6415 0 -1 4202496 583 49453 0 0 0 0 4529 214 20 0 1 0 418983566 115843072 369 33554432000 4194304 5098028 140720379562624 140720379559368 140250022011516 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 28229632 140720379564836 140720379565164 140720379565164 140720379568077 0
/proc/11573/statm: 28282 369 311 221 0 87 0
[pid=11598] ppid=11573 vsize=8414124 memory=161632 CPUtime=2.52 cores=0-7
/proc/11598/stat : 11598 (java) S 11573 11573 6415 0 -1 1077944320 22196 0 0 0 213 39 0 0 20 0 24 0 418987225 8616062976 40408 33554432000 4194304 4196468 140729444784416 140729444766960 140169569394423 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 37711872 140729444791287 140729444791446 140729444791446 140729444794319 0
/proc/11598/statm: 2103531 40408 3235 1 0 2064875 0
[pid=11598/tid=11599] ppid=11573 vsize=8414124 memory=160928 CPUtime=1.37 cores=0-7
/proc/11598/task/11599/stat : 11599 (java) S 11573 11573 6415 0 -1 1077944384 17465 0 0 0 101 36 0 0 20 0 24 0 418987226 8616062976 40408 33554432000 4194304 4196468 140729444784416 140169541234592 140169569404629 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37711872 140729444791287 140729444791446 140729444791446 140729444794319 0
[pid=11598/tid=11600] ppid=11573 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/11598/task/11600/stat : 11600 (java) S 11573 11573 6415 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 418987227 8616062976 40408 33554432000 4194304 4196468 140729444784416 140169573636496 140169569404629 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37711872 140729444791287 140729444791446 140729444791446 140729444794319 0
[pid=11598/tid=11601] ppid=11573 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/11598/task/11601/stat : 11601 (java) S 11573 11573 6415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418987227 8616062976 40408 33554432000 4194304 4196468 140729444784416 140169373804816 140169569404629 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37711872 140729444791287 140729444791446 140729444791446 140729444794319 0
[pid=11598/tid=11602] ppid=11573 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/11598/task/11602/stat : 11602 (java) S 11573 11573 6415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418987227 8616062976 40408 33554432000 4194304 4196468 140729444784416 140169372752528 140169569404629 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37711872 140729444791287 140729444791446 140729444791446 140729444794319 0
[pid=11598/tid=11603] ppid=11573 vsize=8414124 memory=11568 CPUtime=0 cores=0-7
/proc/11598/task/11603/stat : 11603 (java) S 11573 11573 6415 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 418987227 8616062976 40408 33554432000 4194304 4196468 140729444784416 140169371699728 140169569404629 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37711872 140729444791287 140729444791446 140729444791446 140729444794319 0
[pid=11598/tid=11604] ppid=11573 vsize=8414124 memory=1532 CPUtime=0 cores=0-7
/proc/11598/task/11604/stat : 11604 (java) S 11573 11573 6415 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 418987227 8616062976 40408 33554432000 4194304 4196468 140729444784416 140169370647440 140169569404629 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37711872 140729444791287 140729444791446 140729444791446 140729444794319 0
[pid=11598/tid=11605] ppid=11573 vsize=8414124 memory=1428 CPUtime=0 cores=0-7
/proc/11598/task/11605/stat : 11605 (java) S 11573 11573 6415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418987227 8616062976 40408 33554432000 4194304 4196468 140729444784416 140169369594640 140169569404629 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37711872 140729444791287 140729444791446 140729444791446 140729444794319 0
[pid=11598/tid=11606] ppid=11573 vsize=8414124 memory=1772 CPUtime=0 cores=0-7
/proc/11598/task/11606/stat : 11606 (java) S 11573 11573 6415 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 418987227 8616062976 40408 33554432000 4194304 4196468 140729444784416 140169368542352 140169569404629 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37711872 140729444791287 140729444791446 140729444791446 140729444794319 0
[pid=11598/tid=11607] ppid=11573 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/11598/task/11607/stat : 11607 (java) S 11573 11573 6415 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 418987227 8616062976 40408 33554432000 4194304 4196468 140729444784416 140169367489552 140169569404629 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37711872 140729444791287 140729444791446 140729444791446 140729444794319 0
[pid=11598/tid=11608] ppid=11573 vsize=8414124 memory=6298942022339416147 CPUtime=0 cores=0-7
/proc/11598/task/11608/stat : 11608 (java) S 11573 11573 6415 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 418987229 8616062976 40408 33554432000 4194304 4196468 140729444784416 140168528603248 140169569405570 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37711872 140729444791287 140729444791446 140729444791446 140729444794319 0
[pid=11598/tid=11609] ppid=11573 vsize=8414124 memory=1772 CPUtime=0 cores=0-7
/proc/11598/task/11609/stat : 11609 (java) S 11573 11573 6415 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 418987229 8616062976 40408 33554432000 4194304 4196468 140729444784416 140168136745760 140169569404629 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37711872 140729444791287 140729444791446 140729444791446 140729444794319 0
[pid=11598/tid=11610] ppid=11573 vsize=8414124 memory=1056 CPUtime=0 cores=0-7
/proc/11598/task/11610/stat : 11610 (java) S 11573 11573 6415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418987229 8616062976 40408 33554432000 4194304 4196468 140729444784416 140167868310640 140169569404629 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37711872 140729444791287 140729444791446 140729444791446 140729444794319 0
[pid=11598/tid=11611] ppid=11573 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/11598/task/11611/stat : 11611 (java) S 11573 11573 6415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418987232 8616062976 40408 33554432000 4194304 4196468 140729444784416 140167493802064 140169569413019 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37711872 140729444791287 140729444791446 140729444791446 140729444794319 0
[pid=11598/tid=11612] ppid=11573 vsize=8414124 memory=0 CPUtime=0.27 cores=0-7
/proc/11598/task/11612/stat : 11612 (java) S 11573 11573 6415 0 -1 1077944384 1210 0 0 0 27 0 0 0 20 0 24 0 418987232 8616062976 40408 33554432000 4194304 4196468 140729444784416 140168527551088 140169569405570 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37711872 140729444791287 140729444791446 140729444791446 140729444794319 0
[pid=11598/tid=11613] ppid=11573 vsize=8414124 memory=0 CPUtime=0.28 cores=0-7
/proc/11598/task/11613/stat : 11613 (java) S 11573 11573 6415 0 -1 1077944384 766 0 0 0 28 0 0 0 20 0 24 0 418987232 8616062976 40408 33554432000 4194304 4196468 140729444784416 140168526498288 140169569405570 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37711872 140729444791287 140729444791446 140729444791446 140729444794319 0
[pid=11598/tid=11614] ppid=11573 vsize=8414124 memory=0 CPUtime=0.27 cores=0-7
/proc/11598/task/11614/stat : 11614 (java) S 11573 11573 6415 0 -1 1077944384 564 0 0 0 27 0 0 0 20 0 24 0 418987232 8616062976 40408 33554432000 4194304 4196468 140729444784416 140168525446000 140169569405570 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37711872 140729444791287 140729444791446 140729444791446 140729444794319 0
[pid=11598/tid=11615] ppid=11573 vsize=8414124 memory=1772 CPUtime=0.26 cores=0-7
/proc/11598/task/11615/stat : 11615 (java) S 11573 11573 6415 0 -1 1077944384 785 0 0 0 26 0 0 0 20 0 24 0 418987232 8616062976 40408 33554432000 4194304 4196468 140729444784416 140168524393200 140169569405570 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37711872 140729444791287 140729444791446 140729444791446 140729444794319 0
[pid=11598/tid=11616] ppid=11573 vsize=8414124 memory=1056 CPUtime=0 cores=0-7
/proc/11598/task/11616/stat : 11616 (java) S 11573 11573 6415 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 418987232 8616062976 40408 33554432000 4194304 4196468 140729444784416 140166995896672 140169569404629 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37711872 140729444791287 140729444791446 140729444791446 140729444794319 0
[pid=11598/tid=11617] ppid=11573 vsize=8414124 memory=3620 CPUtime=0 cores=0-7
/proc/11598/task/11617/stat : 11617 (java) S 11573 11573 6415 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 418987232 8616062976 40408 33554432000 4194304 4196468 140729444784416 140168523340080 140169569405570 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 20 0 0 6293624 6294260 37711872 140729444791287 140729444791446 140729444791446 140729444794319 0
[pid=11598/tid=11619] ppid=11573 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/11598/task/11619/stat : 11619 (java) S 11573 11573 6415 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 418987360 8616062976 40408 33554432000 4194304 4196468 140729444784416 140168515306816 140169569419033 0 4 2 25189581 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 37711872 140729444791287 140729444791446 140729444791446 140729444794319 0
[pid=11598/tid=11621] ppid=11573 vsize=8414124 memory=920 CPUtime=0.01 cores=0-7
/proc/11598/task/11621/stat : 11621 (java) S 11573 11573 6415 0 -1 4202560 12 0 0 0 1 0 0 0 20 0 24 0 418987360 8616062976 40408 33554432000 4194304 4196468 140729444784416 140166324797360 140169569416349 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 37711872 140729444791287 140729444791446 140729444791446 140729444794319 0
[pid=11598/tid=11622] ppid=11573 vsize=8414124 memory=4196 CPUtime=0 cores=0-7
/proc/11598/task/11622/stat : 11622 (java) S 11573 11573 6415 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 418987360 8616062976 40408 33554432000 4194304 4196468 140729444784416 140166593232656 140169569416349 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 37711872 140729444791287 140729444791446 140729444791446 140729444794319 0
[pid=11598/tid=11623] ppid=11573 vsize=8414124 memory=4104 CPUtime=0 cores=0-7
/proc/11598/task/11623/stat : 11623 (java) S 11573 11573 6415 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 418987363 8616062976 40408 33554432000 4194304 4196468 140729444784416 140166056369968 140169569404629 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37711872 140729444791287 140729444791446 140729444791446 140729444794319 0
Current children cumulated CPU time: 49.95 s
Current children cumulated vsize: 8527252 KiB
Current children cumulated memory: 163108 KiB

Child status: 0
Real time (s): 56.561
CPU time (s): 92.1288
CPU user time (s): 86.2877
CPU system time (s): 5.84109
CPU usage (%): 162.884
Max. virtual memory (cumulated for all children) (KiB): 27443924
Max. memory (cumulated for all children) (KiB): 6060124

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 86.2877
system time used= 5.84109
maximum resident set size= 6059016
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1807607
page faults= 0
swaps= 0
block input operations= 8
block output operations= 452800
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 21865
involuntary context switches= 199


# summary of solver processes directly reported to runsolver:
#   pid: 11573
#   total CPU time (s): 92.1288
#   total CPU user time (s): 86.2877
#   total CPU system time (s): 5.84109

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.418512 second user time and 0.620938 second system time

The end

Launcher Data 

Begin job on node149 at 2019-09-14 04:16:51
IDJOB=4392760
IDBENCH=126849
IDSOLVER=2839
FILE ID=node149/4392760-1568427449
RUNJOBID= node149-1568416730-6442
PBS_JOBID= 21702252
Free space on /tmp= 61420 MiB

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

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

MD5SUM BENCH= cd36f5a432e3b868ff7ac280438203b6
RANDOM SEED=179813745

node149.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.81
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.81
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.81
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.81
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:        30890820 kB
MemAvailable:   31857744 kB
Buffers:          182352 kB
Cached:          1082472 kB
SwapCached:        61304 kB
Active:           610772 kB
Inactive:         716088 kB
Active(anon):      29172 kB
Inactive(anon):    72460 kB
Active(file):     581600 kB
Inactive(file):   643628 kB
Unevictable:      111252 kB
Mlocked:          111252 kB
SwapTotal:      67108860 kB
SwapFree:       66940944 kB
Dirty:             23180 kB
Writeback:             0 kB
AnonPages:        112536 kB
Mapped:            43904 kB
Shmem:             31368 kB
Slab:             144016 kB
SReclaimable:     115060 kB
SUnreclaim:        28956 kB
KernelStack:        3344 kB
PageTables:         4728 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     498336 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     67584 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      144768 kB
DirectMap2M:    33400832 kB

Free space on /tmp at the end= 61400 MiB
End job on node149 at 2019-09-14 04:17:48