Trace number 4392334

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 order+ManyGlucose (2019-06-15)UNSAT 26.4921 8.0007

General information on the benchmark

NameSocialGolfers/SocialGolfers-cp-s1/
SocialGolfers-5-5-9-cp.xml
MD5SUMa6754b0df54e854fabf9aee35b814723
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 benchmark15.7529
Satisfiable
(Un)Satisfiability was proved
Number of variables225
Number of constraints10811
Number of domains1
Minimum domain size5
Maximum domain size5
Distribution of domain sizes[{"size":5,"count":225}]
Minimum variable degree194
Maximum variable degree195
Distribution of variable degrees[{"degree":194,"count":200},{"degree":195,"count":25}]
Minimum constraint arity4
Maximum constraint arity225
Distribution of constraint arities[{"arity":4,"count":10800},{"arity":25,"count":10},{"arity":225,"count":1}]
Number of extensional constraints0
Number of intensional constraints10800
Distribution of constraint types[{"type":"intension","count":10800},{"type":"lex","count":1},{"type":"cardinality","count":9},{"type":"instantiation","count":1}]
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 -order -solver HOME/manyglucose-4.1-27_release -solverOption -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 -tmp HOME -serialFile HOME/scop-11285-serial-file.bin HOME/instance-4392334-1568426912.xml
0.66/0.54	
0.66/0.54	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
0.66/0.54	
0.66/0.57	c BEGIN-Prog: Sat Sep 14 04:07:50 CEST 2019
0.66/0.57	c PID: 11288
0.66/0.57	c IP: 172.20.3.121
0.66/0.57	c HOST: node121.alineos.net
0.66/0.57	c (0,0) Parsing Begin
7.72/2.41	c (1,1) Parsing End
7.72/2.41	c (1,1) CSP: 215 int (0 aux), 10 bool (0 aux), 10811 ctr, max domain size 5
7.72/2.41	c (1,1) Heap : 788 MiB used (max 21589 MiB), NonHeap : 24 MiB used (max 0 MiB)
7.72/2.42	c (1,1) Constraint Name Generate Begin
7.72/2.48	c (1,1) Ctr:HOME/instance-4392334-1568426912.xml,Cardinality:Instantiation:LexMatrix:Ne:Num:Or:Var
7.72/2.48	c (1,1) Constraint Name Generate End
7.72/2.48	c (1,1) Heap : 788 MiB used (max 21589 MiB), NonHeap : 24 MiB used (max 0 MiB)
7.72/2.48	c (1,1) CSP to CSPinCNF Begin
9.04/2.77	c (2,2) translated 1082 (10%) constraints
9.42/2.86	c (2,2) translated 2163 (20%) constraints
9.81/2.93	c (2,2) translated 3244 (30%) constraints
9.81/2.98	c (2,2) translated 4325 (40%) constraints
10.24/3.03	c (2,2) translated 5406 (50%) constraints
10.24/3.07	c (2,2) translated 6487 (60%) constraints
10.50/3.11	c (2,2) translated 7568 (70%) constraints
10.50/3.14	c (2,2) translated 8649 (80%) constraints
10.50/3.17	c (2,2) translated 9730 (90%) constraints
11.83/3.55	c (3,2) translated 10811 (100%) constraints
12.77/3.84	c (3,3) ===========================================
12.77/3.84	c (3,3) Order
12.77/3.84	c (3,3) ===========================================
13.16/3.96	c (3,3) translated 1389 (10%) constraints
13.39/4.05	c (3,3) translated 2778 (20%) constraints
13.55/4.14	c (3,3) translated 4167 (30%) constraints
13.69/4.22	c (3,3) translated 5556 (40%) constraints
13.95/4.30	c (3,3) translated 6944 (50%) constraints
13.95/4.38	c (3,3) translated 8333 (60%) constraints
14.05/4.46	c (3,3) translated 9722 (70%) constraints
14.18/4.58	c (4,4) translated 11111 (80%) constraints
14.51/4.70	c (4,4) translated 12500 (90%) constraints
14.91/4.78	c (4,4) translated 13888 (100%) constraints
14.91/4.78	c (4,4) CSP to CSPinCNF End
14.91/4.79	c (4,4) CSP: 350 int (135 aux), 2612 bool (2602 aux), 16478 ctr, max domain size 6
14.91/4.79	c (4,4) Heap : 1351 MiB used (max 21589 MiB), NonHeap : 32 MiB used (max 0 MiB)
14.91/4.79	c (4,4) CSPinCNF Propagation Begin
16.18/5.02	c (4,4) 345 values, 3818 unsatisfiable literals, and 3043 valid clauses are removed
16.18/5.02	c (4,4) CSPinCNF Propagation End
16.18/5.02	c (4,4) CSP: 343 int (128 aux), 2619 bool (2609 aux), 13435 ctr, max domain size 6
16.18/5.02	c (4,4) Heap : 1464 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB)
16.18/5.02	c (4,4) Simplify CSPinCNF Begin
17.11/5.31	c (4,4) Simplify CSPinCNF End
17.11/5.31	c (4,4) CSP: 343 int (128 aux), 7818 bool (7808 aux), 18634 ctr, max domain size 6
17.11/5.31	c (4,4) Heap : 1576 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB)
17.11/5.31	c (4,4) Calculate Precise Domain Begin
17.11/5.37	c (4,4) 0 values are removed by re-calculation
17.11/5.37	c (4,4) Calculate Precise Domain End
17.11/5.37	c (4,4) CSP: 343 int (128 aux), 7818 bool (7808 aux), 18634 ctr, max domain size 6
17.11/5.37	c (4,4) Heap : 1576 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB)
17.11/5.37	c (4,4) CSPinCNF to SatSolver Begin
18.31/5.68	c (5,5) 1864 (10 %) CSP clauses are encoded (0 SAT variables, 8207 SAT clauses)
19.12/5.80	c (5,5) 3727 (20 %) CSP clauses are encoded (0 SAT variables, 15090 SAT clauses)
19.52/5.91	c (5,5) 5591 (30 %) CSP clauses are encoded (0 SAT variables, 21630 SAT clauses)
19.52/5.98	c (5,5) 7454 (40 %) CSP clauses are encoded (0 SAT variables, 27733 SAT clauses)
19.52/6.00	c (5,5) 9317 (50 %) CSP clauses are encoded (0 SAT variables, 29596 SAT clauses)
19.94/6.03	c (5,5) 11181 (60 %) CSP clauses are encoded (0 SAT variables, 31460 SAT clauses)
19.94/6.06	c (5,5) 13044 (70 %) CSP clauses are encoded (0 SAT variables, 33323 SAT clauses)
20.19/6.16	c (5,5) 14908 (80 %) CSP clauses are encoded (0 SAT variables, 58752 SAT clauses)
20.55/6.26	c (5,5) 16771 (90 %) CSP clauses are encoded (0 SAT variables, 92035 SAT clauses)
20.95/6.34	c (5,5) 18634 (100 %) CSP clauses are encoded (0 SAT variables, 104195 SAT clauses)
20.95/6.34	c (5,5) CSPinCNF to SatSolver End
20.95/6.34	c (5,5) Heap : 1914 MiB used (max 21589 MiB), NonHeap : 31 MiB used (max 0 MiB)
20.95/6.34	c (5,5) 8931 bool, 104199 clause
20.95/6.34	c (5,5) Export Begin
21.36/6.44	c (5,5) Export to HOME/scop-11285-serial-file.bin
21.36/6.44	c (5,5) Export End
21.36/6.44	c (5,5) Export File Size: 0.04 MB
21.36/6.44	c (5,5) 1,1,4,4,4,4,5,STOP-AFTER(DIMACS)
21.36/6.44	c END-Prog: Sat Sep 14 04:07:56 CEST 2019
21.36/6.48	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-11285-serial-file.bin
21.59/6.94	c (0,0) Read Serial File Begin
21.59/6.94	c (0,0) HOME/scop-11285-serial-file.bin
22.42/7.16	c (0,0) Read Serial File End
22.42/7.17	
22.42/7.17	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
22.42/7.17	(Solving Process)
22.42/7.17	
22.42/7.19	c BEGIN-Prog: Sat Sep 14 04:07:57 CEST 2019
22.42/7.19	c PID: 11310
22.42/7.19	c IP: 172.20.3.121
22.42/7.19	c HOST: node121.alineos.net
22.42/7.20	c (0,0) SatSolver.solve Begin
22.42/7.20	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4392334-1568426912.xml-scop-11288.cnf
22.59/7.22	c (0,0) c
22.59/7.22	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)
22.59/7.22	c (0,0) c
22.59/7.22	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
22.59/7.22	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
22.59/7.22	c (0,0) c ========================================[ Problem Statistics ]===========================================
22.59/7.22	c (0,0) c |                                                                                                       |
22.59/7.26	c (0,0) c |  Number of variables:          8931                                                                   |
22.59/7.26	c (0,0) c |  Number of clauses:          104199                                                                   |
22.59/7.26	c (0,0) c |  Parse time:                   0.04 s                                                                 |
22.59/7.26	c (0,0) c |                                                                                                       |
22.77/7.45	c (0,0) c |  Simplification time:          0.19 s                                                                 |
22.77/7.45	c (0,0) c |                                                                                                       |
22.77/7.45	c (0,0) c |  Generating clones                                                                                    |
22.77/7.48	c (0,0) c |  all clones generated. Memory =    85.80Mb.                                                           |
22.77/7.48	c (0,0) c ========================================================================================================|
22.77/7.48	c (0,0) c
22.77/7.48	c (0,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
22.77/7.48	c (0,0) c
22.77/7.48	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
22.77/7.48	c (0,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
22.77/7.48	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
22.77/7.48	c (0,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
22.77/7.49	c (0,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
22.77/7.49	c (0,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
22.77/7.49	c (0,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
22.77/7.49	c (0,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
22.77/7.49	c (0,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
22.77/7.49	c (0,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
22.77/7.49	c (0,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
22.77/7.49	c (0,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
22.77/7.49	c (0,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
22.77/7.49	c (0,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
22.77/7.49	c (0,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
22.77/7.49	c (0,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
22.77/7.49	c (0,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
22.77/7.49	c (0,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
22.77/7.49	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
22.77/7.95	c (1,0) c
22.77/7.95	c (1,0) c real time : 0.733128 s
22.77/7.95	c (1,0) c cpu time  : 3.43903 s
22.77/7.95	c (1,0) c
22.77/7.95	c (1,0) c
22.77/7.95	c (1,0) c
22.77/7.95	c (1,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
22.77/7.95	c (1,0) c
22.77/7.95	c (1,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
22.77/7.95	c (1,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
22.77/7.95	c (1,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
22.77/7.95	c (1,0) c | Conflicts     |           97793 |       8151 |      19785 |      22631 |       8607 |       8678 |       7694 |       8570 |      13677 |
22.77/7.95	c (1,0) c | Decisions     |          166744 |      16141 |      31714 |      31585 |      14536 |      17729 |      15806 |      17015 |      22218 |
22.77/7.95	c (1,0) c | Propagations  |        10322668 |    1167848 |    1310795 |    1294624 |    1241570 |    1228446 |    1207552 |    1228844 |    1642989 |
22.77/7.95	c (1,0) c | ReduceDBs     |              18 |          2 |          3 |          3 |          2 |          2 |          2 |          2 |          2 |
22.77/7.95	c (1,0) c | SimpDBs       |              17 |          2 |          3 |          2 |          2 |          2 |          2 |          2 |          2 |
22.77/7.95	c (1,0) c | Restarts      |             205 |         24 |         24 |          8 |         15 |         36 |         41 |         36 |         21 |
22.77/7.95	c (1,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
22.77/7.95	c (1,0) c | PropBinClauses|        15165181 |    1814085 |    1875988 |    1868213 |    1810617 |    1907031 |    1781506 |    1781138 |    2326603 |
22.77/7.95	c (1,0) c | PropPreBlocker|       105568954 |   11767714 |   12642366 |   17725497 |   13129015 |   12787226 |   11901028 |   11819637 |   13796471 |
22.77/7.95	c (1,0) c | PropNotBlocker|        43205941 |    5042990 |    4997329 |    5658839 |    5779032 |    5310280 |    4997592 |    5430573 |    5989306 |
22.77/7.95	c (1,0) c | LitFullScans  |       229634940 |   26608010 |   26085740 |   36001948 |   30001092 |   28177216 |   26092243 |   26667302 |   30001389 |
22.77/7.95	c (1,0) c | LitScanFracts |           16925 |        457 |       3748 |        766 |        461 |        732 |        356 |       9753 |        652 |
22.77/7.95	c (1,0) c | DecisionLevel0|             417 |         43 |         58 |          9 |         50 |         71 |         76 |         65 |         45 |
22.77/7.95	c (1,0) c | Periods       |              36 |          4 |          4 |          6 |          5 |          4 |          4 |          4 |          5 |
22.77/7.95	c (1,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
22.77/7.95	c (1,0) c | Avg_Trail     |                 |       1861 |        836 |        323 |       1902 |       1884 |       1903 |       1953 |       1474 |
22.77/7.95	c (1,0) c | Avg_DL        |                 |         42 |         15 |         18 |         39 |         49 |         52 |         48 |         28 |
22.77/7.95	c (1,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
22.77/7.95	c (1,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
22.77/7.95	c (1,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
22.77/7.95	c (1,0) c | Exported      |           18766 |       1010 |       5147 |       5427 |       1198 |        999 |        755 |       1102 |       3128 |
22.77/7.95	c (1,0) c | Imported      |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
22.77/7.95	c (1,0) c | Good          |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
22.77/7.95	c (1,0) c | Purge         |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
22.77/7.95	c (1,0) c | Promoted      |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
22.77/7.95	c (1,0) c | Remove_Imp    |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
22.77/7.95	c (1,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
22.77/7.95	c (1,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
22.77/7.95	c (1,0) c | Unaries       |                 |         19 |         34 |          1 |         35 |         35 |         35 |         29 |         24 |
22.77/7.95	c (1,0) c | Binaries      |                 |         10 |         60 |         22 |         18 |         10 |          6 |          3 |         18 |
22.77/7.95	c (1,0) c | Glues         |                 |        157 |        322 |        214 |        213 |        124 |        123 |        174 |        284 |
22.77/7.95	c (1,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
22.77/7.95	c (1,0) c | Orig_Seen     |            13 % |      16203 |       1919 |       1962 |       9315 |      18884 |      16069 |      16486 |      13882 |
22.77/7.95	c (1,0) c | Diff Orig seen|                 |      14284 |      X     |         43 |       7396 |      16965 |      14150 |      14567 |      11963 |
22.77/7.95	c (1,0) c | Hamming       |            17 % |       1791 |      X     |        948 |       1333 |       1643 |       1645 |       1898 |       1429 |
22.77/7.95	c (1,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
22.77/7.95	c (1,0) c | RunningTime   |                 |    0.4 100%|    0.4 100%|    0.4 100%|    0.5 100%|    0.4 100%|    0.4 100%|    0.4 100%|    0.5 100%|
22.77/7.96	c (1,0) c | WaitingTime   |                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
22.77/7.96	c (1,0) c | ExchangingTime|                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
22.77/7.96	c (1,0) c | PeriodProcTime|                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
22.77/7.96	c (1,0) c | SolvingTime   |                 |    0.4     |    0.4     |    0.4     |    0.5     |    0.4     |    0.4     |    0.4     |    0.5     |
22.77/7.96	c (1,0) c | PropagationTim|                 |    0.3  77%|    0.3  76%|    0.3  78%|    0.4  80%|    0.3  76%|    0.3  78%|    0.3  77%|    0.4  77%|
22.77/7.96	c (1,0) c | AnalysisTime  |                 |    0.1  15%|    0.1  13%|    0.1  15%|    0.1  14%|    0.1  16%|    0.1  14%|    0.1  14%|    0.1  14%|
22.77/7.96	c (1,0) c | ReductionTime |                 |    0.0   2%|    0.0   3%|    0.0   1%|    0.0   2%|    0.0   2%|    0.0   2%|    0.0   3%|    0.0   2%|
22.77/7.96	c (1,0) c | SimplifyTime  |                 |    0.0   1%|    0.0   1%|    0.0   0%|    0.0   0%|    0.0   1%|    0.0   1%|    0.0   1%|    0.0   0%|
22.77/7.96	c (1,0) c | UsedRateTime  |                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
22.77/7.96	c (1,0) c | OverlapRateTim|                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
22.77/7.96	c (1,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
22.77/7.96	c (1,0) c
22.77/7.96	c (1,0) c
22.77/7.96	c (1,0) c Threads : 8
22.77/7.96	c (1,0) c Winner : 1
22.77/7.96	c (1,0) c Conflicts_0 : 8151
22.77/7.96	c (1,0) c Conflicts_1 : 19785
22.77/7.96	c (1,0) c Conflicts_2 : 22631
22.77/7.96	c (1,0) c Conflicts_3 : 8607
22.77/7.96	c (1,0) c Conflicts_4 : 8678
22.77/7.96	c (1,0) c Conflicts_5 : 7694
22.77/7.96	c (1,0) c Conflicts_6 : 8570
22.77/7.96	c (1,0) c Conflicts_7 : 13677
22.77/7.96	c (1,0) c Conflicts_total : 97793
22.77/7.96	c (1,0) c Conflicts_winner : 19785
22.77/7.96	c (1,0) c Decisions_0 : 16141
22.77/7.96	c (1,0) c Decisions_1 : 31714
22.77/7.96	c (1,0) c Decisions_2 : 31585
22.77/7.96	c (1,0) c Decisions_3 : 14536
22.77/7.96	c (1,0) c Decisions_4 : 17729
22.77/7.96	c (1,0) c Decisions_5 : 15806
22.77/7.96	c (1,0) c Decisions_6 : 17015
22.77/7.96	c (1,0) c Decisions_7 : 22218
22.77/7.96	c (1,0) c Decisions_total : 166744
22.77/7.96	c (1,0) c Decisions_winner : 31714
22.77/7.96	c (1,0) c Propagations_0 : 1167848
22.77/7.96	c (1,0) c Propagations_1 : 1310795
22.77/7.96	c (1,0) c Propagations_2 : 1294624
22.77/7.96	c (1,0) c Propagations_3 : 1241570
22.77/7.96	c (1,0) c Propagations_4 : 1228446
22.77/7.96	c (1,0) c Propagations_5 : 1207552
22.77/7.96	c (1,0) c Propagations_6 : 1228844
22.77/7.96	c (1,0) c Propagations_7 : 1642989
22.77/7.96	c (1,0) c Propagations_total : 10322668
22.77/7.96	c (1,0) c Propagations_winner : 1310795
22.77/7.96	c (1,0) c ReduceDBs_0 : 2
22.77/7.96	c (1,0) c ReduceDBs_1 : 3
22.77/7.96	c (1,0) c ReduceDBs_2 : 3
22.77/7.96	c (1,0) c ReduceDBs_3 : 2
22.77/7.96	c (1,0) c ReduceDBs_4 : 2
22.77/7.96	c (1,0) c ReduceDBs_5 : 2
22.77/7.96	c (1,0) c ReduceDBs_6 : 2
22.77/7.96	c (1,0) c ReduceDBs_7 : 2
22.77/7.96	c (1,0) c ReduceDBs_total : 18
22.77/7.96	c (1,0) c ReduceDBs_winner : 3
22.77/7.96	c (1,0) c SimpDBs_0 : 2
22.77/7.96	c (1,0) c SimpDBs_1 : 3
22.77/7.96	c (1,0) c SimpDBs_2 : 2
22.77/7.96	c (1,0) c SimpDBs_3 : 2
22.77/7.96	c (1,0) c SimpDBs_4 : 2
22.77/7.96	c (1,0) c SimpDBs_5 : 2
22.77/7.96	c (1,0) c SimpDBs_6 : 2
22.77/7.96	c (1,0) c SimpDBs_7 : 2
22.77/7.96	c (1,0) c SimpDBs_total : 17
22.77/7.96	c (1,0) c SimpDBs_winner : 3
22.77/7.96	c (1,0) c Restarts_0 : 24
22.77/7.96	c (1,0) c Restarts_1 : 24
22.77/7.96	c (1,0) c Restarts_2 : 8
22.77/7.96	c (1,0) c Restarts_3 : 15
22.77/7.96	c (1,0) c Restarts_4 : 36
22.77/7.96	c (1,0) c Restarts_5 : 41
22.77/7.96	c (1,0) c Restarts_6 : 36
22.77/7.96	c (1,0) c Restarts_7 : 21
22.77/7.96	c (1,0) c Restarts_total : 205
22.77/7.96	c (1,0) c Restarts_winner : 24
22.77/7.96	c (1,0) c ForcedImports_0 : 0
22.77/7.96	c (1,0) c ForcedImports_1 : 0
22.77/7.96	c (1,0) c ForcedImports_2 : 0
22.77/7.96	c (1,0) c ForcedImports_3 : 0
22.77/7.96	c (1,0) c ForcedImports_4 : 0
22.77/7.96	c (1,0) c ForcedImports_5 : 0
22.77/7.96	c (1,0) c ForcedImports_6 : 0
22.77/7.96	c (1,0) c ForcedImports_7 : 0
22.77/7.96	c (1,0) c ForcedImports_total : 0
22.77/7.96	c (1,0) c ForcedImports_winner : 0
22.77/7.96	c (1,0) c PropsBinClauses_0 : 1814085
22.77/7.96	c (1,0) c PropsBinClauses_1 : 1875988
22.77/7.96	c (1,0) c PropsBinClauses_2 : 1868213
22.77/7.96	c (1,0) c PropsBinClauses_3 : 1810617
22.77/7.96	c (1,0) c PropsBinClauses_4 : 1907031
22.77/7.96	c (1,0) c PropsBinClauses_5 : 1781506
22.77/7.96	c (1,0) c PropsBinClauses_6 : 1781138
22.77/7.96	c (1,0) c PropsBinClauses_7 : 2326603
22.77/7.96	c (1,0) c PropsBinClauses_total : 15165181
22.77/7.96	c (1,0) c PropsBinClauses_winner : 1875988
22.77/7.96	c (1,0) c PropsPreBlocker_0 : 11767714
22.77/7.96	c (1,0) c PropsPreBlocker_1 : 12642366
22.77/7.96	c (1,0) c PropsPreBlocker_2 : 17725497
22.77/7.96	c (1,0) c PropsPreBlocker_3 : 13129015
22.77/7.96	c (1,0) c PropsPreBlocker_4 : 12787226
22.77/7.96	c (1,0) c PropsPreBlocker_5 : 11901028
22.77/7.96	c (1,0) c PropsPreBlocker_6 : 11819637
22.77/7.96	c (1,0) c PropsPreBlocker_7 : 13796471
22.77/7.96	c (1,0) c PropsPreBlocker_total : 105568954
22.77/7.96	c (1,0) c PropsPreBlocker_winner : 12642366
22.77/7.96	c (1,0) c PropsNotBlocker_0 : 5042990
22.77/7.96	c (1,0) c PropsNotBlocker_1 : 4997329
22.77/7.96	c (1,0) c PropsNotBlocker_2 : 5658839
22.77/7.96	c (1,0) c PropsNotBlocker_3 : 5779032
22.77/7.96	c (1,0) c PropsNotBlocker_4 : 5310280
22.77/7.96	c (1,0) c PropsNotBlocker_5 : 4997592
22.77/7.96	c (1,0) c PropsNotBlocker_6 : 5430573
22.77/7.96	c (1,0) c PropsNotBlocker_7 : 5989306
22.77/7.96	c (1,0) c PropsNotBlocker_total : 43205941
22.77/7.96	c (1,0) c PropsNotBlocker_winner : 4997329
22.77/7.96	c (1,0) c PropsLitFullScans_0 : 26608010
22.77/7.96	c (1,0) c PropsLitFullScans_1 : 26085740
22.77/7.96	c (1,0) c PropsLitFullScans_2 : 36001948
22.77/7.96	c (1,0) c PropsLitFullScans_3 : 30001092
22.77/7.96	c (1,0) c PropsLitFullScans_4 : 28177216
22.77/7.96	c (1,0) c PropsLitFullScans_5 : 26092243
22.77/7.96	c (1,0) c PropsLitFullScans_6 : 26667302
22.77/7.96	c (1,0) c PropsLitFullScans_7 : 30001389
22.77/7.96	c (1,0) c PropsLitFullScans_total : 229634940
22.77/7.96	c (1,0) c PropsLitFullScans_winner : 26085740
22.77/7.96	c (1,0) c LitScanFractions_0 : 457
22.77/7.96	c (1,0) c LitScanFractions_1 : 3748
22.77/7.96	c (1,0) c LitScanFractions_2 : 766
22.77/7.96	c (1,0) c LitScanFractions_3 : 461
22.77/7.96	c (1,0) c LitScanFractions_4 : 732
22.77/7.96	c (1,0) c LitScanFractions_5 : 356
22.77/7.96	c (1,0) c LitScanFractions_6 : 9753
22.77/7.96	c (1,0) c LitScanFractions_7 : 652
22.77/7.96	c (1,0) c LitScanFractions_total : 16925
22.77/7.96	c (1,0) c LitScanFractions_winner : 3748
22.77/7.96	c (1,0) c DecisionLevel0_0 : 43
22.77/7.96	c (1,0) c DecisionLevel0_1 : 58
22.77/7.96	c (1,0) c DecisionLevel0_2 : 9
22.77/7.96	c (1,0) c DecisionLevel0_3 : 50
22.77/7.96	c (1,0) c DecisionLevel0_4 : 71
22.77/7.96	c (1,0) c DecisionLevel0_5 : 76
22.77/7.96	c (1,0) c DecisionLevel0_6 : 65
22.77/7.96	c (1,0) c DecisionLevel0_7 : 45
22.77/7.96	c (1,0) c DecisionLevel0_total : 417
22.77/7.96	c (1,0) c DecisionLevel0_winner : 58
22.77/7.96	c (1,0) c Periods_0 : 4
22.77/7.96	c (1,0) c Periods_1 : 4
22.77/7.96	c (1,0) c Periods_2 : 6
22.77/7.96	c (1,0) c Periods_3 : 5
22.77/7.96	c (1,0) c Periods_4 : 4
22.77/7.96	c (1,0) c Periods_5 : 4
22.77/7.96	c (1,0) c Periods_6 : 4
22.77/7.96	c (1,0) c Periods_7 : 5
22.77/7.96	c (1,0) c Periods_total : 36
22.77/7.96	c (1,0) c Periods_winner : 4
22.77/7.96	c (1,0) c Margin_0 : 20
22.77/7.96	c (1,0) c Margin_1 : 20
22.77/7.96	c (1,0) c Margin_2 : 20
22.77/7.96	c (1,0) c Margin_3 : 20
22.77/7.96	c (1,0) c Margin_4 : 20
22.77/7.96	c (1,0) c Margin_5 : 20
22.77/7.96	c (1,0) c Margin_6 : 20
22.77/7.96	c (1,0) c Margin_7 : 20
22.77/7.96	c (1,0) c Margin_total : 160
22.77/7.96	c (1,0) c Margin_winner : 20
22.77/7.96	c (1,0) c Exported_0 : 1010
22.77/7.96	c (1,0) c Exported_1 : 5147
22.77/7.96	c (1,0) c Exported_2 : 5427
22.77/7.96	c (1,0) c Exported_3 : 1198
22.77/7.96	c (1,0) c Exported_4 : 999
22.77/7.96	c (1,0) c Exported_5 : 755
22.77/7.96	c (1,0) c Exported_6 : 1102
22.77/7.96	c (1,0) c Exported_7 : 3128
22.77/7.96	c (1,0) c Exported_total : 18766
22.77/7.96	c (1,0) c Exported_winner : 5147
22.77/7.96	c (1,0) c Imported_0 : 0
22.77/7.96	c (1,0) c Imported_1 : 0
22.77/7.96	c (1,0) c Imported_2 : 0
22.77/7.96	c (1,0) c Imported_3 : 0
22.77/7.96	c (1,0) c Imported_4 : 0
22.77/7.96	c (1,0) c Imported_5 : 0
22.77/7.96	c (1,0) c Imported_6 : 0
22.77/7.96	c (1,0) c Imported_7 : 0
22.77/7.96	c (1,0) c Imported_total : 0
22.77/7.96	c (1,0) c Imported_winner : 0
22.77/7.96	c (1,0) c Good_0 : 0
22.77/7.96	c (1,0) c Good_1 : 0
22.77/7.96	c (1,0) c Good_2 : 0
22.77/7.96	c (1,0) c Good_3 : 0
22.77/7.96	c (1,0) c Good_4 : 0
22.77/7.96	c (1,0) c Good_5 : 0
22.77/7.96	c (1,0) c Good_6 : 0
22.77/7.96	c (1,0) c Good_7 : 0
22.77/7.96	c (1,0) c Good_total : 0
22.77/7.96	c (1,0) c Good_winner : 0
22.77/7.96	c (1,0) c Purge_0 : 0
22.77/7.96	c (1,0) c Purge_1 : 0
22.77/7.96	c (1,0) c Purge_2 : 0
22.77/7.96	c (1,0) c Purge_3 : 0
22.77/7.96	c (1,0) c Purge_4 : 0
22.77/7.96	c (1,0) c Purge_5 : 0
22.77/7.96	c (1,0) c Purge_6 : 0
22.77/7.96	c (1,0) c Purge_7 : 0
22.77/7.96	c (1,0) c Purge_total : 0
22.77/7.96	c (1,0) c Purge_winner : 0
22.77/7.96	c (1,0) c Promoted_0 : 0
22.77/7.96	c (1,0) c Promoted_1 : 0
22.77/7.96	c (1,0) c Promoted_2 : 0
22.77/7.96	c (1,0) c Promoted_3 : 0
22.77/7.96	c (1,0) c Promoted_4 : 0
22.77/7.96	c (1,0) c Promoted_5 : 0
22.77/7.96	c (1,0) c Promoted_6 : 0
22.77/7.96	c (1,0) c Promoted_7 : 0
22.77/7.96	c (1,0) c Promoted_total : 0
22.77/7.96	c (1,0) c Promoted_winner : 0
22.77/7.96	c (1,0) c Remove_Imp_0 : 0
22.77/7.96	c (1,0) c Remove_Imp_1 : 0
22.77/7.96	c (1,0) c Remove_Imp_2 : 0
22.77/7.96	c (1,0) c Remove_Imp_3 : 0
22.77/7.96	c (1,0) c Remove_Imp_4 : 0
22.77/7.96	c (1,0) c Remove_Imp_5 : 0
22.77/7.96	c (1,0) c Remove_Imp_6 : 0
22.77/7.96	c (1,0) c Remove_Imp_7 : 0
22.77/7.96	c (1,0) c Remove_Imp_total : 0
22.77/7.96	c (1,0) c Remove_Imp_winner : 0
22.77/7.96	c (1,0) c Blocked_Reuse_0 : 0
22.77/7.96	c (1,0) c Blocked_Reuse_1 : 0
22.77/7.96	c (1,0) c Blocked_Reuse_2 : 0
22.77/7.96	c (1,0) c Blocked_Reuse_3 : 0
22.77/7.96	c (1,0) c Blocked_Reuse_4 : 0
22.77/7.96	c (1,0) c Blocked_Reuse_5 : 0
22.77/7.96	c (1,0) c Blocked_Reuse_6 : 0
22.77/7.96	c (1,0) c Blocked_Reuse_7 : 0
22.77/7.96	c (1,0) c Blocked_Reuse_total : 0
22.77/7.96	c (1,0) c Blocked_Reuse_winner : 0
22.77/7.96	c (1,0) c Unaries_0 : 19
22.77/7.96	c (1,0) c Unaries_1 : 34
22.77/7.96	c (1,0) c Unaries_2 : 1
22.77/7.96	c (1,0) c Unaries_3 : 35
22.77/7.96	c (1,0) c Unaries_4 : 35
22.77/7.96	c (1,0) c Unaries_5 : 35
22.77/7.96	c (1,0) c Unaries_6 : 29
22.77/7.96	c (1,0) c Unaries_7 : 24
22.77/7.96	c (1,0) c Unaries_total : 212
22.77/7.96	c (1,0) c Unaries_winner : 34
22.77/7.96	c (1,0) c Binaries_0 : 10
22.77/7.96	c (1,0) c Binaries_1 : 60
22.77/7.96	c (1,0) c Binaries_2 : 22
22.77/7.96	c (1,0) c Binaries_3 : 18
22.77/7.96	c (1,0) c Binaries_4 : 10
22.77/7.96	c (1,0) c Binaries_5 : 6
22.77/7.96	c (1,0) c Binaries_6 : 3
22.77/7.96	c (1,0) c Binaries_7 : 18
22.77/7.96	c (1,0) c Binaries_total : 147
22.77/7.96	c (1,0) c Binaries_winner : 60
22.77/7.96	c (1,0) c Glues_0 : 157
22.77/7.97	c (1,0) c Glues_1 : 322
22.77/7.97	c (1,0) c Glues_2 : 214
22.77/7.97	c (1,0) c Glues_3 : 213
22.77/7.97	c (1,0) c Glues_4 : 124
22.77/7.97	c (1,0) c Glues_5 : 123
22.77/7.97	c (1,0) c Glues_6 : 174
22.77/7.97	c (1,0) c Glues_7 : 284
22.77/7.97	c (1,0) c Glues_total : 1611
22.77/7.97	c (1,0) c Glues_winner : 322
22.77/7.97	c (1,0) c RunningTime_0 : 0.418341
22.77/7.97	c (1,0) c RunningTime_1 : 0.412360
22.77/7.97	c (1,0) c RunningTime_2 : 0.446144
22.77/7.97	c (1,0) c RunningTime_3 : 0.463560
22.77/7.97	c (1,0) c RunningTime_4 : 0.419770
22.77/7.97	c (1,0) c RunningTime_5 : 0.414125
22.77/7.97	c (1,0) c RunningTime_6 : 0.416625
22.77/7.97	c (1,0) c RunningTime_7 : 0.464692
22.77/7.97	c (1,0) c RunningTime_total : 3.455616
22.77/7.97	c (1,0) c RunningTime_winner : 0.412360
22.77/7.97	c (1,0) c WaitingTime_0 : 0.000000
22.77/7.97	c (1,0) c WaitingTime_1 : 0.000000
22.77/7.97	c (1,0) c WaitingTime_2 : 0.000000
22.77/7.97	c (1,0) c WaitingTime_3 : 0.000000
22.77/7.97	c (1,0) c WaitingTime_4 : 0.000000
22.77/7.97	c (1,0) c WaitingTime_5 : 0.000000
22.77/7.97	c (1,0) c WaitingTime_6 : 0.000000
22.77/7.97	c (1,0) c WaitingTime_7 : 0.000000
22.77/7.97	c (1,0) c WaitingTime_total : 0.000000
22.77/7.97	c (1,0) c WaitingTime_winner : 0.000000
22.77/7.97	c (1,0) c ExchangingTime_0 : 0.000482
22.77/7.97	c (1,0) c ExchangingTime_1 : 0.000947
22.77/7.97	c (1,0) c ExchangingTime_2 : 0.001019
22.77/7.97	c (1,0) c ExchangingTime_3 : 0.000512
22.77/7.97	c (1,0) c ExchangingTime_4 : 0.000453
22.77/7.97	c (1,0) c ExchangingTime_5 : 0.000417
22.77/7.97	c (1,0) c ExchangingTime_6 : 0.000515
22.77/7.97	c (1,0) c ExchangingTime_7 : 0.000735
22.77/7.97	c (1,0) c ExchangingTime_total : 0.005081
22.77/7.97	c (1,0) c ExchangingTime_winner : 0.000947
22.77/7.97	c (1,0) c PeriodProcTime_0 : 0.000028
22.77/7.97	c (1,0) c PeriodProcTime_1 : 0.000025
22.77/7.97	c (1,0) c PeriodProcTime_2 : 0.000042
22.77/7.97	c (1,0) c PeriodProcTime_3 : 0.000042
22.77/7.97	c (1,0) c PeriodProcTime_4 : 0.000028
22.77/7.97	c (1,0) c PeriodProcTime_5 : 0.000028
22.77/7.97	c (1,0) c PeriodProcTime_6 : 0.000032
22.77/7.97	c (1,0) c PeriodProcTime_7 : 0.000050
22.77/7.97	c (1,0) c PeriodProcTime_total : 0.000275
22.77/7.97	c (1,0) c PeriodProcTime_winner : 0.000025
22.77/7.97	c (1,0) c SolvingTime_0 : 0.418852
22.77/7.97	c (1,0) c SolvingTime_1 : 0.413332
22.77/7.97	c (1,0) c SolvingTime_2 : 0.447205
22.77/7.97	c (1,0) c SolvingTime_3 : 0.464114
22.77/7.97	c (1,0) c SolvingTime_4 : 0.420250
22.77/7.97	c (1,0) c SolvingTime_5 : 0.414570
22.77/7.97	c (1,0) c SolvingTime_6 : 0.417172
22.77/7.97	c (1,0) c SolvingTime_7 : 0.465477
22.77/7.97	c (1,0) c SolvingTime_total : 3.460972
22.77/7.97	c (1,0) c SolvingTime_winner : 0.413332
22.77/7.97	c (1,0) c PropagationTime_0 : 0.322370
22.77/7.97	c (1,0) c PropagationTime_1 : 0.314551
22.77/7.97	c (1,0) c PropagationTime_2 : 0.347681
22.77/7.97	c (1,0) c PropagationTime_3 : 0.370218
22.77/7.97	c (1,0) c PropagationTime_4 : 0.320370
22.77/7.97	c (1,0) c PropagationTime_5 : 0.323118
22.77/7.97	c (1,0) c PropagationTime_6 : 0.322170
22.77/7.97	c (1,0) c PropagationTime_7 : 0.358728
22.77/7.97	c (1,0) c PropagationTime_total : 2.679207
22.77/7.97	c (1,0) c PropagationTime_winner : 0.314551
22.77/7.97	c (1,0) c AnalysisTime_0 : 0.063427
22.77/7.97	c (1,0) c AnalysisTime_1 : 0.054410
22.77/7.97	c (1,0) c AnalysisTime_2 : 0.065579
22.77/7.97	c (1,0) c AnalysisTime_3 : 0.064908
22.77/7.97	c (1,0) c AnalysisTime_4 : 0.066244
22.77/7.97	c (1,0) c AnalysisTime_5 : 0.060097
22.77/7.97	c (1,0) c AnalysisTime_6 : 0.060239
22.77/7.97	c (1,0) c AnalysisTime_7 : 0.067052
22.77/7.97	c (1,0) c AnalysisTime_total : 0.501955
22.77/7.97	c (1,0) c AnalysisTime_winner : 0.054410
22.77/7.97	c (1,0) c ReductionTime_0 : 0.009939
22.77/7.97	c (1,0) c ReductionTime_1 : 0.012918
22.77/7.97	c (1,0) c ReductionTime_2 : 0.003039
22.77/7.97	c (1,0) c ReductionTime_3 : 0.009345
22.77/7.97	c (1,0) c ReductionTime_4 : 0.009630
22.77/7.97	c (1,0) c ReductionTime_5 : 0.009438
22.77/7.97	c (1,0) c ReductionTime_6 : 0.010973
22.77/7.97	c (1,0) c ReductionTime_7 : 0.011121
22.77/7.97	c (1,0) c ReductionTime_total : 0.076403
22.77/7.97	c (1,0) c ReductionTime_winner : 0.012918
22.77/7.97	c (1,0) c SimplifyTime_0 : 0.002378
22.77/7.97	c (1,0) c SimplifyTime_1 : 0.004530
22.77/7.97	c (1,0) c SimplifyTime_2 : 0.001967
22.77/7.97	c (1,0) c SimplifyTime_3 : 0.002187
22.77/7.97	c (1,0) c SimplifyTime_4 : 0.002211
22.77/7.97	c (1,0) c SimplifyTime_5 : 0.002122
22.77/7.97	c (1,0) c SimplifyTime_6 : 0.002397
22.77/7.97	c (1,0) c SimplifyTime_7 : 0.002250
22.77/7.97	c (1,0) c SimplifyTime_total : 0.020042
22.77/7.97	c (1,0) c SimplifyTime_winner : 0.004530
22.77/7.97	c (1,0) c UsedRateTime_0 : 0.000000
22.77/7.97	c (1,0) c UsedRateTime_1 : 0.000000
22.77/7.97	c (1,0) c UsedRateTime_2 : 0.000000
22.77/7.97	c (1,0) c UsedRateTime_3 : 0.000000
22.77/7.97	c (1,0) c UsedRateTime_4 : 0.000000
22.77/7.97	c (1,0) c UsedRateTime_5 : 0.000000
22.77/7.97	c (1,0) c UsedRateTime_6 : 0.000000
22.77/7.97	c (1,0) c UsedRateTime_7 : 0.000000
22.77/7.97	c (1,0) c UsedRateTime_total : 0.000000
22.77/7.97	c (1,0) c UsedRateTime_winner : 0.000000
22.77/7.97	c (1,0) c OverlapRateTime_0 : 0.000000
22.77/7.97	c (1,0) c OverlapRateTime_1 : 0.000000
22.77/7.97	c (1,0) c OverlapRateTime_2 : 0.000000
22.77/7.97	c (1,0) c OverlapRateTime_3 : 0.000000
22.77/7.97	c (1,0) c OverlapRateTime_4 : 0.000000
22.77/7.97	c (1,0) c OverlapRateTime_5 : 0.000000
22.77/7.97	c (1,0) c OverlapRateTime_6 : 0.000000
22.77/7.97	c (1,0) c OverlapRateTime_7 : 0.000000
22.77/7.97	c (1,0) c OverlapRateTime_total : 0.000000
22.77/7.97	c (1,0) c OverlapRateTime_winner : 0.000000
22.77/7.97	c (1,0) c
22.77/7.97	c (1,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
22.77/7.97	c (1,0) c
22.77/7.97	c (1,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
22.77/7.97	c (1,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
22.77/7.97	c (1,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
22.77/7.97	c (1,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
22.77/7.97	c (1,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
22.77/7.97	c (1,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
22.77/7.97	c (1,0) c | Initial random_seed   |  423750863 |  183337942 | 1264381049 |   52655457 |  978624580 | 1769620267 |   38772196 | 1674020099 |
22.77/7.97	c (1,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
22.77/7.97	c (1,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
22.77/7.97	c (1,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
22.77/7.97	c (1,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
22.77/7.97	c (1,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
22.77/7.97	c (1,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
22.77/7.97	c (1,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
22.77/7.97	c (1,0) c | var_decay             |     0.8100 |     0.8300 |     0.8400 |     0.8100 |     0.8100 |     0.8100 |     0.8100 |     0.8200 |
22.77/7.97	c (1,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
22.77/7.97	c (1,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
22.77/7.97	c (1,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
22.77/7.97	c (1,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
22.77/7.97	c (1,0) 
22.77/7.97	c (1,0) s UNSATISFIABLE
22.77/7.97	c (1,0) SatSolver.solve End
22.77/7.97	c (1,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
22.77/7.97	c (1,0) Show results Begin
22.77/7.97	s UNSATISFIABLE
22.77/7.97	c (1,0) Show results End
22.77/7.97	c (1,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
22.77/7.98	c (1,0) 1,1,STOP-AFTER(ALL)
22.77/7.98	c END-Prog: Sat Sep 14 04:07:58 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 (15153 MiB free)
  memory of node 1: 16384 MiB (15576 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4392334-1568426912/watcher-4392334-1568426912 -o /tmp/evaluation-result-4392334-1568426912/solver-4392334-1568426912 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node121-1568426870-11268 --watchdog 2580 HOME/scop.sh 22g HOME/scop.jar -order HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4392334-1568426912.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
Current StackSize limit: 8192 KiB

solver pid=11285, runsolver pid=11282

[startup+0.100185 s]*
/proc/loadavg: 7.53 8.06 8.01 3/211 11307
/proc/meminfo: memFree=31372612/32770624 swapFree=66982196/67108860
[pid=11285] ppid=11282 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/11285/stat : 11285 (scop.sh) S 11282 11285 11241 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 418953856 115843072 349 33554432000 4194304 5098028 140731079833232 140731079830488 140541474411132 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 7778304 140731079836453 140731079836780 140731079836780 140731079839693 0
/proc/11285/statm: 28282 349 296 221 0 87 0
[pid=11288] ppid=11285 vsize=27314120 memory=107640 CPUtime=0.11 cores=0-7
/proc/11288/stat : 11288 (java) S 11285 11285 11241 0 -1 1077944320 6464 0 0 0 8 3 0 0 20 0 20 0 418953856 27969658880 26910 33554432000 4194304 4196468 140730969711136 140730969693680 139808214437623 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 34996224 140730969715435 140730969715862 140730969715862 140730969718735 0
/proc/11288/statm: 6828530 26910 2799 1 0 6790935 0
[pid=11288/tid=11289] ppid=11285 vsize=27314120 memory=-2177352373413752899 CPUtime=0.08 cores=0-7
/proc/11288/task/11289/stat : 11289 (java) R 11285 11285 11241 0 -1 4202560 4572 0 0 0 6 2 0 0 20 0 20 0 418953857 27969658880 26910 33554432000 4194304 4196468 140730969711136 139808186262480 139808198518110 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34996224 140730969715435 140730969715862 140730969715862 140730969718735 0
[pid=11288/tid=11290] ppid=11285 vsize=27314120 memory=732370533768731621 CPUtime=0 cores=0-7
/proc/11288/task/11290/stat : 11290 (java) S 11285 11285 11241 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418953859 27969658880 26910 33554432000 4194304 4196468 140730969711136 139808218680464 139808214447829 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34996224 140730969715435 140730969715862 140730969715862 140730969718735 0
[pid=11288/tid=11291] ppid=11285 vsize=27314120 memory=140395431278208 CPUtime=0 cores=0-7
/proc/11288/task/11291/stat : 11291 (java) S 11285 11285 11241 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418953859 27969658880 26910 33554432000 4194304 4196468 140730969711136 139808032836624 139808214447829 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34996224 140730969715435 140730969715862 140730969715862 140730969718735 0
[pid=11288/tid=11292] ppid=11285 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11288/task/11292/stat : 11292 (java) S 11285 11285 11241 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418953859 27969658880 26910 33554432000 4194304 4196468 140730969711136 139808031783824 139808214447829 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34996224 140730969715435 140730969715862 140730969715862 140730969718735 0
[pid=11288/tid=11293] ppid=11285 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11288/task/11293/stat : 11293 (java) S 11285 11285 11241 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418953859 27969658880 26910 33554432000 4194304 4196468 140730969711136 139807634914064 139808214447829 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34996224 140730969715435 140730969715862 140730969715862 140730969718735 0
[pid=11288/tid=11294] ppid=11285 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11288/task/11294/stat : 11294 (java) S 11285 11285 11241 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418953859 27969658880 26910 33554432000 4194304 4196468 140730969711136 139807633861264 139808214447829 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34996224 140730969715435 140730969715862 140730969715862 140730969718735 0
[pid=11288/tid=11295] ppid=11285 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/11288/task/11295/stat : 11295 (java) S 11285 11285 11241 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418953859 27969658880 26910 33554432000 4194304 4196468 140730969711136 139807632808464 139808214447829 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34996224 140730969715435 140730969715862 140730969715862 140730969718735 0
[pid=11288/tid=11296] ppid=11285 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11288/task/11296/stat : 11296 (java) S 11285 11285 11241 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418953859 27969658880 26910 33554432000 4194304 4196468 140730969711136 139807631755664 139808214447829 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34996224 140730969715435 140730969715862 140730969715862 140730969718735 0
[pid=11288/tid=11297] ppid=11285 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11288/task/11297/stat : 11297 (java) S 11285 11285 11241 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418953859 27969658880 26910 33554432000 4194304 4196468 140730969711136 139807630702864 139808214447829 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34996224 140730969715435 140730969715862 140730969715862 140730969718735 0
[pid=11288/tid=11298] ppid=11285 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11288/task/11298/stat : 11298 (java) S 11285 11285 11241 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418953861 27969658880 26910 33554432000 4194304 4196468 140730969711136 139806381329264 139808214448770 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34996224 140730969715435 140730969715862 140730969715862 140730969718735 0
[pid=11288/tid=11299] ppid=11285 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11288/task/11299/stat : 11299 (java) S 11285 11285 11241 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 418953861 27969658880 26910 33554432000 4194304 4196468 140730969711136 139806151534112 139808214447829 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34996224 140730969715435 140730969715862 140730969715862 140730969718735 0
[pid=11288/tid=11300] ppid=11285 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11288/task/11300/stat : 11300 (java) S 11285 11285 11241 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418953861 27969658880 26910 33554432000 4194304 4196468 140730969711136 139805883098480 139808214447829 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34996224 140730969715435 140730969715862 140730969715862 140730969718735 0
[pid=11288/tid=11301] ppid=11285 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11288/task/11301/stat : 11301 (java) S 11285 11285 11241 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418953864 27969658880 26910 33554432000 4194304 4196468 140730969711136 139805508589904 139808214456219 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34996224 140730969715435 140730969715862 140730969715862 140730969718735 0
[pid=11288/tid=11302] ppid=11285 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11288/task/11302/stat : 11302 (java) S 11285 11285 11241 0 -1 1077944384 297 0 0 0 0 0 0 0 20 0 20 0 418953864 27969658880 26910 33554432000 4194304 4196468 140730969711136 139806380276080 139808214448770 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34996224 140730969715435 140730969715862 140730969715862 140730969718735 0
[pid=11288/tid=11303] ppid=11285 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11288/task/11303/stat : 11303 (java) S 11285 11285 11241 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418953864 27969658880 26910 33554432000 4194304 4196468 140730969711136 139806379223280 139808214448770 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34996224 140730969715435 140730969715862 140730969715862 140730969718735 0
[pid=11288/tid=11304] ppid=11285 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11288/task/11304/stat : 11304 (java) S 11285 11285 11241 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418953864 27969658880 26910 33554432000 4194304 4196468 140730969711136 139806378170480 139808214448770 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34996224 140730969715435 140730969715862 140730969715862 140730969718735 0
[pid=11288/tid=11305] ppid=11285 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11288/task/11305/stat : 11305 (java) S 11285 11285 11241 0 -1 1077944384 256 0 0 0 0 0 0 0 20 0 20 0 418953864 27969658880 26910 33554432000 4194304 4196468 140730969711136 139806377117680 139808214448770 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34996224 140730969715435 140730969715862 140730969715862 140730969718735 0
[pid=11288/tid=11306] ppid=11285 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11288/task/11306/stat : 11306 (java) S 11285 11285 11241 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418953864 27969658880 26910 33554432000 4194304 4196468 140730969711136 139805010685024 139808214447829 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34996224 140730969715435 140730969715862 140730969715862 140730969718735 0
[pid=11288/tid=11307] ppid=11285 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/11288/task/11307/stat : 11307 (java) S 11285 11285 11241 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418953864 27969658880 26910 33554432000 4194304 4196468 140730969711136 139806376066096 139808214448770 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34996224 140730969715435 140730969715862 140730969715862 140730969718735 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 109036 KiB

[startup+0.210292 s]*
/proc/loadavg: 7.53 8.06 8.01 3/211 11307
/proc/meminfo: memFree=31350916/32770624 swapFree=66982196/67108860
[pid=11285] ppid=11282 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/11285/stat : 11285 (scop.sh) S 11282 11285 11241 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 418953856 115843072 349 33554432000 4194304 5098028 140731079833232 140731079830488 140541474411132 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 7778304 140731079836453 140731079836780 140731079836780 140731079839693 0
/proc/11285/statm: 28282 349 296 221 0 87 0
[pid=11288] ppid=11285 vsize=27314120 memory=126728 CPUtime=0.24 cores=0-7
/proc/11288/stat : 11288 (java) S 11285 11285 11241 0 -1 1077944320 12082 0 0 0 19 5 0 0 20 0 20 0 418953856 27969658880 31682 33554432000 4194304 4196468 140730969711136 140730969693680 139808214437623 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 34996224 140730969715435 140730969715862 140730969715862 140730969718735 0
/proc/11288/statm: 6828530 31682 2926 1 0 6790935 0
[pid=11288/tid=11289] ppid=11285 vsize=27314120 memory=0 CPUtime=0.19 cores=0-7
/proc/11288/task/11289/stat : 11289 (java) R 11285 11285 11241 0 -1 4202560 9802 0 0 0 15 4 0 0 20 0 20 0 418953857 27969658880 31682 33554432000 4194304 4196468 140730969711136 139808186245184 139808199603296 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34996224 140730969715435 140730969715862 140730969715862 140730969718735 0
[pid=11288/tid=11290] ppid=11285 vsize=27314120 memory=732370533768731621 CPUtime=0 cores=0-7
/proc/11288/task/11290/stat : 11290 (java) S 11285 11285 11241 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418953859 27969658880 31682 33554432000 4194304 4196468 140730969711136 139808218680464 139808214447829 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34996224 140730969715435 140730969715862 140730969715862 140730969718735 0
[pid=11288/tid=11291] ppid=11285 vsize=27314120 memory=140395431278208 CPUtime=0 cores=0-7
/proc/11288/task/11291/stat : 11291 (java) S 11285 11285 11241 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418953859 27969658880 31682 33554432000 4194304 4196468 140730969711136 139808032836624 139808214447829 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34996224 140730969715435 140730969715862 140730969715862 140730969718735 0
[pid=11288/tid=11292] ppid=11285 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11288/task/11292/stat : 11292 (java) S 11285 11285 11241 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418953859 27969658880 31682 33554432000 4194304 4196468 140730969711136 139808031783824 139808214447829 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34996224 140730969715435 140730969715862 140730969715862 140730969718735 0
[pid=11288/tid=11293] ppid=11285 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11288/task/11293/stat : 11293 (java) S 11285 11285 11241 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418953859 27969658880 31682 33554432000 4194304 4196468 140730969711136 139807634914064 139808214447829 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34996224 140730969715435 140730969715862 140730969715862 140730969718735 0
[pid=11288/tid=11294] ppid=11285 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11288/task/11294/stat : 11294 (java) S 11285 11285 11241 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418953859 27969658880 31682 33554432000 4194304 4196468 140730969711136 139807633861264 139808214447829 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34996224 140730969715435 140730969715862 140730969715862 140730969718735 0
[pid=11288/tid=11295] ppid=11285 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/11288/task/11295/stat : 11295 (java) S 11285 11285 11241 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418953859 27969658880 31682 33554432000 4194304 4196468 140730969711136 139807632808464 139808214447829 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34996224 140730969715435 140730969715862 140730969715862 140730969718735 0
[pid=11288/tid=11296] ppid=11285 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11288/task/11296/stat : 11296 (java) S 11285 11285 11241 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418953859 27969658880 31682 33554432000 4194304 4196468 140730969711136 139807631755664 139808214447829 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34996224 140730969715435 140730969715862 140730969715862 140730969718735 0
[pid=11288/tid=11297] ppid=11285 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11288/task/11297/stat : 11297 (java) S 11285 11285 11241 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418953859 27969658880 31682 33554432000 4194304 4196468 140730969711136 139807630702864 139808214447829 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34996224 140730969715435 140730969715862 140730969715862 140730969718735 0
[pid=11288/tid=11298] ppid=11285 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11288/task/11298/stat : 11298 (java) S 11285 11285 11241 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418953861 27969658880 31682 33554432000 4194304 4196468 140730969711136 139806381329264 139808214448770 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34996224 140730969715435 140730969715862 140730969715862 140730969718735 0
[pid=11288/tid=11299] ppid=11285 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11288/task/11299/stat : 11299 (java) S 11285 11285 11241 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 418953861 27969658880 31682 33554432000 4194304 4196468 140730969711136 139806151534112 139808214447829 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34996224 140730969715435 140730969715862 140730969715862 140730969718735 0
[pid=11288/tid=11300] ppid=11285 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11288/task/11300/stat : 11300 (java) S 11285 11285 11241 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418953861 27969658880 31682 33554432000 4194304 4196468 140730969711136 139805883098480 139808214447829 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34996224 140730969715435 140730969715862 140730969715862 140730969718735 0
[pid=11288/tid=11301] ppid=11285 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11288/task/11301/stat : 11301 (java) S 11285 11285 11241 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418953864 27969658880 31682 33554432000 4194304 4196468 140730969711136 139805508589904 139808214456219 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34996224 140730969715435 140730969715862 140730969715862 140730969718735 0
[pid=11288/tid=11302] ppid=11285 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11288/task/11302/stat : 11302 (java) S 11285 11285 11241 0 -1 1077944384 433 0 0 0 0 0 0 0 20 0 20 0 418953864 27969658880 31682 33554432000 4194304 4196468 140730969711136 139806380276080 139808214448770 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34996224 140730969715435 140730969715862 140730969715862 140730969718735 0
[pid=11288/tid=11303] ppid=11285 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11288/task/11303/stat : 11303 (java) S 11285 11285 11241 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418953864 27969658880 31682 33554432000 4194304 4196468 140730969711136 139806379223280 139808214448770 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34996224 140730969715435 140730969715862 140730969715862 140730969718735 0
[pid=11288/tid=11304] ppid=11285 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11288/task/11304/stat : 11304 (java) S 11285 11285 11241 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 20 0 418953864 27969658880 31682 33554432000 4194304 4196468 140730969711136 139806378170480 139808214448770 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34996224 140730969715435 140730969715862 140730969715862 140730969718735 0
[pid=11288/tid=11305] ppid=11285 vsize=27314120 memory=0 CPUtime=0.02 cores=0-7
/proc/11288/task/11305/stat : 11305 (java) S 11285 11285 11241 0 -1 1077944384 461 0 0 0 2 0 0 0 20 0 20 0 418953864 27969658880 31682 33554432000 4194304 4196468 140730969711136 139806377117680 139808214448770 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34996224 140730969715435 140730969715862 140730969715862 140730969718735 0
[pid=11288/tid=11306] ppid=11285 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11288/task/11306/stat : 11306 (java) S 11285 11285 11241 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418953864 27969658880 31682 33554432000 4194304 4196468 140730969711136 139805010685024 139808214447829 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34996224 140730969715435 140730969715862 140730969715862 140730969718735 0
[pid=11288/tid=11307] ppid=11285 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/11288/task/11307/stat : 11307 (java) S 11285 11285 11241 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418953864 27969658880 31682 33554432000 4194304 4196468 140730969711136 139806376066096 139808214448770 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34996224 140730969715435 140730969715862 140730969715862 140730969718735 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 128124 KiB

[startup+0.309579 s]*
/proc/loadavg: 7.53 8.06 8.01 2/211 11307
/proc/meminfo: memFree=31348372/32770624 swapFree=66982196/67108860
[pid=11285] ppid=11282 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/11285/stat : 11285 (scop.sh) S 11282 11285 11241 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 418953856 115843072 349 33554432000 4194304 5098028 140731079833232 140731079830488 140541474411132 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 7778304 140731079836453 140731079836780 140731079836780 140731079839693 0
/proc/11285/statm: 28282 349 296 221 0 87 0
[pid=11288] ppid=11285 vsize=27314120 memory=130336 CPUtime=0.42 cores=0-7
/proc/11288/stat : 11288 (java) S 11285 11285 11241 0 -1 1077944320 12440 0 0 0 36 6 0 0 20 0 20 0 418953856 27969658880 32584 33554432000 4194304 4196468 140730969711136 140730969693680 139808214437623 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 34996224 140730969715435 140730969715862 140730969715862 140730969718735 0
/proc/11288/statm: 6828530 32584 3024 1 0 6790935 0
[pid=11288/tid=11289] ppid=11285 vsize=27314120 memory=8317482817917895235 CPUtime=0.29 cores=0-7
/proc/11288/task/11289/stat : 11289 (java) R 11285 11285 11241 0 -1 4202560 9989 0 0 0 25 4 0 0 20 0 20 0 418953857 27969658880 32584 33554432000 4194304 4196468 140730969711136 139808186236832 139808198518110 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34996224 140730969715435 140730969715862 140730969715862 140730969718735 0
[pid=11288/tid=11290] ppid=11285 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11288/task/11290/stat : 11290 (java) S 11285 11285 11241 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418953859 27969658880 32584 33554432000 4194304 4196468 140730969711136 139808218680464 139808214447829 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34996224 140730969715435 140730969715862 140730969715862 140730969718735 0
[pid=11288/tid=11291] ppid=11285 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11288/task/11291/stat : 11291 (java) S 11285 11285 11241 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418953859 27969658880 32584 33554432000 4194304 4196468 140730969711136 139808032836624 139808214447829 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34996224 140730969715435 140730969715862 140730969715862 140730969718735 0
[pid=11288/tid=11292] ppid=11285 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11288/task/11292/stat : 11292 (java) S 11285 11285 11241 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418953859 27969658880 32584 33554432000 4194304 4196468 140730969711136 139808031783824 139808214447829 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34996224 140730969715435 140730969715862 140730969715862 140730969718735 0
[pid=11288/tid=11293] ppid=11285 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11288/task/11293/stat : 11293 (java) S 11285 11285 11241 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418953859 27969658880 32584 33554432000 4194304 4196468 140730969711136 139807634914064 139808214447829 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34996224 140730969715435 140730969715862 140730969715862 140730969718735 0
[pid=11288/tid=11294] ppid=11285 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11288/task/11294/stat : 11294 (java) S 11285 11285 11241 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418953859 27969658880 32584 33554432000 4194304 4196468 140730969711136 139807633861264 139808214447829 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34996224 140730969715435 140730969715862 140730969715862 140730969718735 0
[pid=11288/tid=11295] ppid=11285 vsize=27314120 memory=140395300350639 CPUtime=0 cores=0-7
/proc/11288/task/11295/stat : 11295 (java) S 11285 11285 11241 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418953859 27969658880 32584 33554432000 4194304 4196468 140730969711136 139807632808464 139808214447829 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34996224 140730969715435 140730969715862 140730969715862 140730969718735 0
[pid=11288/tid=11296] ppid=11285 vsize=27314120 memory=140395300352944 CPUtime=0 cores=0-7
/proc/11288/task/11296/stat : 11296 (java) S 11285 11285 11241 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418953859 27969658880 32584 33554432000 4194304 4196468 140730969711136 139807631755664 139808214447829 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34996224 140730969715435 140730969715862 140730969715862 140730969718735 0
[pid=11288/tid=11297] ppid=11285 vsize=27314120 memory=140395300355248 CPUtime=0 cores=0-7
/proc/11288/task/11297/stat : 11297 (java) S 11285 11285 11241 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418953859 27969658880 32584 33554432000 4194304 4196468 140730969711136 139807630702864 139808214447829 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34996224 140730969715435 140730969715862 140730969715862 140730969718735 0
[pid=11288/tid=11298] ppid=11285 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11288/task/11298/stat : 11298 (java) S 11285 11285 11241 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418953861 27969658880 32584 33554432000 4194304 4196468 140730969711136 139806381329264 139808214448770 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34996224 140730969715435 140730969715862 140730969715862 140730969718735 0
[pid=11288/tid=11299] ppid=11285 vsize=27314120 memory=280790600724368 CPUtime=0 cores=0-7
/proc/11288/task/11299/stat : 11299 (java) S 11285 11285 11241 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 418953861 27969658880 32584 33554432000 4194304 4196468 140730969711136 139806151534112 139808214447829 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34996224 140730969715435 140730969715862 140730969715862 140730969718735 0
[pid=11288/tid=11300] ppid=11285 vsize=27314120 memory=280790600722064 CPUtime=0 cores=0-7
/proc/11288/task/11300/stat : 11300 (java) S 11285 11285 11241 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418953861 27969658880 32584 33554432000 4194304 4196468 140730969711136 139805883098480 139808214447829 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34996224 140730969715435 140730969715862 140730969715862 140730969718735 0
[pid=11288/tid=11301] ppid=11285 vsize=27314120 memory=280790600728976 CPUtime=0 cores=0-7
/proc/11288/task/11301/stat : 11301 (java) S 11285 11285 11241 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418953864 27969658880 32584 33554432000 4194304 4196468 140730969711136 139805508589904 139808214456219 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34996224 140730969715435 140730969715862 140730969715862 140730969718735 0
[pid=11288/tid=11302] ppid=11285 vsize=27314120 memory=280790600670224 CPUtime=0.01 cores=0-7
/proc/11288/task/11302/stat : 11302 (java) S 11285 11285 11241 0 -1 1077944384 541 0 0 0 1 0 0 0 20 0 20 0 418953864 27969658880 32584 33554432000 4194304 4196468 140730969711136 139806380276080 139808214448770 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34996224 140730969715435 140730969715862 140730969715862 140730969718735 0
[pid=11288/tid=11303] ppid=11285 vsize=27314120 memory=280790600742800 CPUtime=0.01 cores=0-7
/proc/11288/task/11303/stat : 11303 (java) S 11285 11285 11241 0 -1 1077944384 40 0 0 0 1 0 0 0 20 0 20 0 418953864 27969658880 32584 33554432000 4194304 4196468 140730969711136 139806379223280 139808214448770 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34996224 140730969715435 140730969715862 140730969715862 140730969718735 0
[pid=11288/tid=11304] ppid=11285 vsize=27314120 memory=280790600749712 CPUtime=0.01 cores=0-7
/proc/11288/task/11304/stat : 11304 (java) S 11285 11285 11241 0 -1 1077944384 50 0 0 0 1 0 0 0 20 0 20 0 418953864 27969658880 32584 33554432000 4194304 4196468 140730969711136 139806378170480 139808214448770 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34996224 140730969715435 140730969715862 140730969715862 140730969718735 0
[pid=11288/tid=11305] ppid=11285 vsize=27314120 memory=280790600747408 CPUtime=0.07 cores=0-7
/proc/11288/task/11305/stat : 11305 (java) S 11285 11285 11241 0 -1 1077944384 483 0 0 0 7 0 0 0 20 0 20 0 418953864 27969658880 32584 33554432000 4194304 4196468 140730969711136 139806377117680 139808214448770 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34996224 140730969715435 140730969715862 140730969715862 140730969718735 0
[pid=11288/tid=11306] ppid=11285 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11288/task/11306/stat : 11306 (java) S 11285 11285 11241 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418953864 27969658880 32584 33554432000 4194304 4196468 140730969711136 139805010685024 139808214447829 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34996224 140730969715435 140730969715862 140730969715862 140730969718735 0
[pid=11288/tid=11307] ppid=11285 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/11288/task/11307/stat : 11307 (java) S 11285 11285 11241 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418953864 27969658880 32584 33554432000 4194304 4196468 140730969711136 139806376066096 139808214448770 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34996224 140730969715435 140730969715862 140730969715862 140730969718735 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 131732 KiB

[startup+0.700909 s]
/proc/loadavg: 7.53 8.06 8.01 3/211 11307
/proc/meminfo: memFree=31327536/32770624 swapFree=66982196/67108860
[pid=11285] ppid=11282 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/11285/stat : 11285 (scop.sh) S 11282 11285 11241 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 418953856 115843072 349 33554432000 4194304 5098028 140731079833232 140731079830488 140541474411132 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 7778304 140731079836453 140731079836780 140731079836780 140731079839693 0
/proc/11285/statm: 28282 349 296 221 0 87 0
[pid=11288] ppid=11285 vsize=27320392 memory=165232 CPUtime=1 cores=0-7
/proc/11288/stat : 11288 (java) S 11285 11285 11241 0 -1 1077944320 19892 0 0 0 91 9 0 0 20 0 20 0 418953856 27976081408 41308 33554432000 4194304 4196468 140730969711136 140730969693680 139808214437623 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 34996224 140730969715435 140730969715862 140730969715862 140730969718735 0
/proc/11288/statm: 6830098 41308 3182 1 0 6791447 0
[pid=11288/tid=11289] ppid=11285 vsize=27320392 memory=0 CPUtime=0.68 cores=0-7
/proc/11288/task/11289/stat : 11289 (java) R 11285 11285 11241 0 -1 4202560 16906 0 0 0 61 7 0 0 20 0 20 0 418953857 27976081408 41308 33554432000 4194304 4196468 140730969711136 139808186275504 139808198518110 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34996224 140730969715435 140730969715862 140730969715862 140730969718735 0
[pid=11288/tid=11290] ppid=11285 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/11288/task/11290/stat : 11290 (java) S 11285 11285 11241 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418953859 27976081408 41308 33554432000 4194304 4196468 140730969711136 139808218680464 139808214447829 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34996224 140730969715435 140730969715862 140730969715862 140730969718735 0
[pid=11288/tid=11291] ppid=11285 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/11288/task/11291/stat : 11291 (java) S 11285 11285 11241 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418953859 27976081408 41308 33554432000 4194304 4196468 140730969711136 139808032836624 139808214447829 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34996224 140730969715435 140730969715862 140730969715862 140730969718735 0
[pid=11288/tid=11292] ppid=11285 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/11288/task/11292/stat : 11292 (java) S 11285 11285 11241 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418953859 27976081408 41308 33554432000 4194304 4196468 140730969711136 139808031783824 139808214447829 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34996224 140730969715435 140730969715862 140730969715862 140730969718735 0

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

/proc/11310/task/11328/stat : 11328 (java) S 11285 11285 11241 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418954511 7942631424 25069 33554432000 4194304 4196468 140722993658832 140484689258848 140487386805973 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8019968 140722993665015 140722993665174 140722993665174 140722993668047 0
[pid=11310/tid=11329] ppid=11285 vsize=7756476 memory=288285593090392628 CPUtime=0 cores=0-7
/proc/11310/task/11329/stat : 11329 (java) S 11285 11285 11241 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418954511 7942631424 25069 33554432000 4194304 4196468 140722993658832 140486609099056 140487386806914 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8019968 140722993665015 140722993665174 140722993665174 140722993668047 0
Current children cumulated CPU time: 22.59 s
Current children cumulated vsize: 7869604 KiB
Current children cumulated memory: 101752 KiB

[startup+7.60421 s]
/proc/loadavg: 6.92 7.93 7.97 3/212 11329
/proc/meminfo: memFree=31401312/32770624 swapFree=66982196/67108860
[pid=11285] ppid=11282 vsize=113128 memory=1476 CPUtime=21.59 cores=0-7
/proc/11285/stat : 11285 (scop.sh) S 11282 11285 11241 0 -1 4202496 582 41119 0 0 0 0 2115 44 20 0 1 0 418953856 115843072 369 33554432000 4194304 5098028 140731079833232 140731079829976 140541474411132 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 7778304 140731079836453 140731079836780 140731079836780 140731079839693 0
/proc/11285/statm: 28282 369 311 221 0 87 0
[pid=11310] ppid=11285 vsize=8414124 memory=118176 CPUtime=1.18 cores=0-7
/proc/11310/stat : 11310 (java) S 11285 11285 11241 0 -1 1077944320 20063 0 0 0 111 7 0 0 20 0 24 0 418954504 8616062976 29544 33554432000 4194304 4196468 140722993658832 140722993641376 140487386795767 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 8019968 140722993665015 140722993665174 140722993665174 140722993668047 0
/proc/11310/statm: 2103531 29544 3198 1 0 2064875 0
[pid=11310/tid=11311] ppid=11285 vsize=8414124 memory=1692 CPUtime=0.76 cores=0-7
/proc/11310/task/11311/stat : 11311 (java) S 11285 11285 11241 0 -1 1077944384 16909 0 0 0 71 5 0 0 20 0 24 0 418954505 8616062976 29544 33554432000 4194304 4196468 140722993658832 140487358635936 140487386805973 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8019968 140722993665015 140722993665174 140722993665174 140722993668047 0
[pid=11310/tid=11312] ppid=11285 vsize=8414124 memory=2004 CPUtime=0 cores=0-7
/proc/11310/task/11312/stat : 11312 (java) S 11285 11285 11241 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 418954506 8616062976 29544 33554432000 4194304 4196468 140722993658832 140487391037840 140487386805973 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8019968 140722993665015 140722993665174 140722993665174 140722993668047 0
[pid=11310/tid=11313] ppid=11285 vsize=8414124 memory=984 CPUtime=0 cores=0-7
/proc/11310/task/11313/stat : 11313 (java) S 11285 11285 11241 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418954506 8616062976 29544 33554432000 4194304 4196468 140722993658832 140487191206160 140487386805973 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8019968 140722993665015 140722993665174 140722993665174 140722993668047 0
[pid=11310/tid=11314] ppid=11285 vsize=8414124 memory=1328 CPUtime=0 cores=0-7
/proc/11310/task/11314/stat : 11314 (java) S 11285 11285 11241 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 418954506 8616062976 29544 33554432000 4194304 4196468 140722993658832 140487190153872 140487386805973 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8019968 140722993665015 140722993665174 140722993665174 140722993668047 0
[pid=11310/tid=11315] ppid=11285 vsize=8414124 memory=780 CPUtime=0 cores=0-7
/proc/11310/task/11315/stat : 11315 (java) S 11285 11285 11241 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418954506 8616062976 29544 33554432000 4194304 4196468 140722993658832 140487189101072 140487386805973 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8019968 140722993665015 140722993665174 140722993665174 140722993668047 0
[pid=11310/tid=11316] ppid=11285 vsize=8414124 memory=4160 CPUtime=0 cores=0-7
/proc/11310/task/11316/stat : 11316 (java) S 11285 11285 11241 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 418954506 8616062976 29544 33554432000 4194304 4196468 140722993658832 140487188048784 140487386805973 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8019968 140722993665015 140722993665174 140722993665174 140722993668047 0
[pid=11310/tid=11317] ppid=11285 vsize=8414124 memory=1692 CPUtime=0 cores=0-7
/proc/11310/task/11317/stat : 11317 (java) S 11285 11285 11241 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 418954506 8616062976 29544 33554432000 4194304 4196468 140722993658832 140487186995984 140487386805973 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8019968 140722993665015 140722993665174 140722993665174 140722993668047 0
[pid=11310/tid=11318] ppid=11285 vsize=8414124 memory=1028 CPUtime=0 cores=0-7
/proc/11310/task/11318/stat : 11318 (java) S 11285 11285 11241 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 418954506 8616062976 29544 33554432000 4194304 4196468 140722993658832 140487185943696 140487386805973 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8019968 140722993665015 140722993665174 140722993665174 140722993668047 0
[pid=11310/tid=11319] ppid=11285 vsize=8414124 memory=6791534058613427641 CPUtime=0 cores=0-7
/proc/11310/task/11319/stat : 11319 (java) S 11285 11285 11241 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418954506 8616062976 29544 33554432000 4194304 4196468 140722993658832 140487184890896 140487386805973 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8019968 140722993665015 140722993665174 140722993665174 140722993668047 0
[pid=11310/tid=11320] ppid=11285 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/11310/task/11320/stat : 11320 (java) S 11285 11285 11241 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 418954507 8616062976 29544 33554432000 4194304 4196468 140722993658832 140486614362224 140487386806914 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8019968 140722993665015 140722993665174 140722993665174 140722993668047 0
[pid=11310/tid=11321] ppid=11285 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/11310/task/11321/stat : 11321 (java) S 11285 11285 11241 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 418954508 8616062976 29544 33554432000 4194304 4196468 140722993658832 140485695890208 140487386805973 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8019968 140722993665015 140722993665174 140722993665174 140722993668047 0
[pid=11310/tid=11322] ppid=11285 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/11310/task/11322/stat : 11322 (java) S 11285 11285 11241 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 418954508 8616062976 29544 33554432000 4194304 4196468 140722993658832 140485561668720 140487386805973 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8019968 140722993665015 140722993665174 140722993665174 140722993668047 0
[pid=11310/tid=11323] ppid=11285 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/11310/task/11323/stat : 11323 (java) S 11285 11285 11241 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418954511 8616062976 29544 33554432000 4194304 4196468 140722993658832 140485187164240 140487386814363 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8019968 140722993665015 140722993665174 140722993665174 140722993668047 0
[pid=11310/tid=11324] ppid=11285 vsize=8414124 memory=0 CPUtime=0.06 cores=0-7
/proc/11310/task/11324/stat : 11324 (java) S 11285 11285 11241 0 -1 1077944384 681 0 0 0 6 0 0 0 20 0 24 0 418954511 8616062976 29544 33554432000 4194304 4196468 140722993658832 140486613310064 140487386806914 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8019968 140722993665015 140722993665174 140722993665174 140722993668047 0
[pid=11310/tid=11325] ppid=11285 vsize=8414124 memory=0 CPUtime=0.06 cores=0-7
/proc/11310/task/11325/stat : 11325 (java) S 11285 11285 11241 0 -1 1077944384 318 0 0 0 6 0 0 0 20 0 24 0 418954511 8616062976 29544 33554432000 4194304 4196468 140722993658832 140486612257264 140487386806914 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8019968 140722993665015 140722993665174 140722993665174 140722993668047 0
[pid=11310/tid=11326] ppid=11285 vsize=8414124 memory=0 CPUtime=0.05 cores=0-7
/proc/11310/task/11326/stat : 11326 (java) S 11285 11285 11241 0 -1 1077944384 180 0 0 0 5 0 0 0 20 0 24 0 418954511 8616062976 29544 33554432000 4194304 4196468 140722993658832 140486611204976 140487386806914 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8019968 140722993665015 140722993665174 140722993665174 140722993668047 0
[pid=11310/tid=11327] ppid=11285 vsize=8414124 memory=6933690305039933585 CPUtime=0.21 cores=0-7
/proc/11310/task/11327/stat : 11327 (java) S 11285 11285 11241 0 -1 1077944384 554 0 0 0 21 0 0 0 20 0 24 0 418954511 8616062976 29544 33554432000 4194304 4196468 140722993658832 140486610152176 140487386806914 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8019968 140722993665015 140722993665174 140722993665174 140722993668047 0
[pid=11310/tid=11328] ppid=11285 vsize=8414124 memory=3772 CPUtime=0 cores=0-7
/proc/11310/task/11328/stat : 11328 (java) S 11285 11285 11241 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 418954511 8616062976 29544 33554432000 4194304 4196468 140722993658832 140484689258848 140487386805973 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8019968 140722993665015 140722993665174 140722993665174 140722993668047 0
[pid=11310/tid=11329] ppid=11285 vsize=8414124 memory=1440 CPUtime=0 cores=0-7
/proc/11310/task/11329/stat : 11329 (java) S 11285 11285 11241 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 418954511 8616062976 29544 33554432000 4194304 4196468 140722993658832 140486609099056 140487386806914 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8019968 140722993665015 140722993665174 140722993665174 140722993668047 0
Current children cumulated CPU time: 22.77 s
Current children cumulated vsize: 8527252 KiB
Current children cumulated memory: 119652 KiB

[startup+7.80393 s]
/proc/loadavg: 6.92 7.93 7.97 3/212 11329
/proc/meminfo: memFree=31401312/32770624 swapFree=66982196/67108860
[pid=11285] ppid=11282 vsize=113128 memory=1476 CPUtime=21.59 cores=0-7
/proc/11285/stat : 11285 (scop.sh) S 11282 11285 11241 0 -1 4202496 582 41119 0 0 0 0 2115 44 20 0 1 0 418953856 115843072 369 33554432000 4194304 5098028 140731079833232 140731079829976 140541474411132 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 7778304 140731079836453 140731079836780 140731079836780 140731079839693 0
/proc/11285/statm: 28282 369 311 221 0 87 0
[pid=11310] ppid=11285 vsize=8414124 memory=118176 CPUtime=1.18 cores=0-7
/proc/11310/stat : 11310 (java) S 11285 11285 11241 0 -1 1077944320 20063 0 0 0 111 7 0 0 20 0 24 0 418954504 8616062976 29544 33554432000 4194304 4196468 140722993658832 140722993641376 140487386795767 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 8019968 140722993665015 140722993665174 140722993665174 140722993668047 0
/proc/11310/statm: 2103531 29544 3198 1 0 2064875 0
[pid=11310/tid=11311] ppid=11285 vsize=8414124 memory=2404 CPUtime=0.76 cores=0-7
/proc/11310/task/11311/stat : 11311 (java) S 11285 11285 11241 0 -1 1077944384 16909 0 0 0 71 5 0 0 20 0 24 0 418954505 8616062976 29544 33554432000 4194304 4196468 140722993658832 140487358635936 140487386805973 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8019968 140722993665015 140722993665174 140722993665174 140722993668047 0
[pid=11310/tid=11312] ppid=11285 vsize=8414124 memory=1764 CPUtime=0 cores=0-7
/proc/11310/task/11312/stat : 11312 (java) S 11285 11285 11241 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 418954506 8616062976 29544 33554432000 4194304 4196468 140722993658832 140487391037840 140487386805973 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8019968 140722993665015 140722993665174 140722993665174 140722993668047 0
[pid=11310/tid=11313] ppid=11285 vsize=8414124 memory=111632 CPUtime=0 cores=0-7
/proc/11310/task/11313/stat : 11313 (java) S 11285 11285 11241 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418954506 8616062976 29544 33554432000 4194304 4196468 140722993658832 140487191206160 140487386805973 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8019968 140722993665015 140722993665174 140722993665174 140722993668047 0
[pid=11310/tid=11314] ppid=11285 vsize=8414124 memory=804 CPUtime=0 cores=0-7
/proc/11310/task/11314/stat : 11314 (java) S 11285 11285 11241 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 418954506 8616062976 29544 33554432000 4194304 4196468 140722993658832 140487190153872 140487386805973 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8019968 140722993665015 140722993665174 140722993665174 140722993668047 0
[pid=11310/tid=11315] ppid=11285 vsize=8414124 memory=4100 CPUtime=0 cores=0-7
/proc/11310/task/11315/stat : 11315 (java) S 11285 11285 11241 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418954506 8616062976 29544 33554432000 4194304 4196468 140722993658832 140487189101072 140487386805973 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8019968 140722993665015 140722993665174 140722993665174 140722993668047 0
[pid=11310/tid=11316] ppid=11285 vsize=8414124 memory=1808 CPUtime=0 cores=0-7
/proc/11310/task/11316/stat : 11316 (java) S 11285 11285 11241 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 418954506 8616062976 29544 33554432000 4194304 4196468 140722993658832 140487188048784 140487386805973 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8019968 140722993665015 140722993665174 140722993665174 140722993668047 0
[pid=11310/tid=11317] ppid=11285 vsize=8414124 memory=924 CPUtime=0 cores=0-7
/proc/11310/task/11317/stat : 11317 (java) S 11285 11285 11241 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 418954506 8616062976 29544 33554432000 4194304 4196468 140722993658832 140487186995984 140487386805973 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8019968 140722993665015 140722993665174 140722993665174 140722993668047 0
[pid=11310/tid=11318] ppid=11285 vsize=8414124 memory=512 CPUtime=0 cores=0-7
/proc/11310/task/11318/stat : 11318 (java) S 11285 11285 11241 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 418954506 8616062976 29544 33554432000 4194304 4196468 140722993658832 140487185943696 140487386805973 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8019968 140722993665015 140722993665174 140722993665174 140722993668047 0
[pid=11310/tid=11319] ppid=11285 vsize=8414124 memory=1564 CPUtime=0 cores=0-7
/proc/11310/task/11319/stat : 11319 (java) S 11285 11285 11241 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418954506 8616062976 29544 33554432000 4194304 4196468 140722993658832 140487184890896 140487386805973 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8019968 140722993665015 140722993665174 140722993665174 140722993668047 0
[pid=11310/tid=11320] ppid=11285 vsize=8414124 memory=928 CPUtime=0 cores=0-7
/proc/11310/task/11320/stat : 11320 (java) S 11285 11285 11241 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 418954507 8616062976 29544 33554432000 4194304 4196468 140722993658832 140486614362224 140487386806914 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8019968 140722993665015 140722993665174 140722993665174 140722993668047 0
[pid=11310/tid=11321] ppid=11285 vsize=8414124 memory=3772 CPUtime=0 cores=0-7
/proc/11310/task/11321/stat : 11321 (java) S 11285 11285 11241 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 418954508 8616062976 29544 33554432000 4194304 4196468 140722993658832 140485695890208 140487386805973 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8019968 140722993665015 140722993665174 140722993665174 140722993668047 0
[pid=11310/tid=11322] ppid=11285 vsize=8414124 memory=1440 CPUtime=0 cores=0-7
/proc/11310/task/11322/stat : 11322 (java) S 11285 11285 11241 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 418954508 8616062976 29544 33554432000 4194304 4196468 140722993658832 140485561668720 140487386805973 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8019968 140722993665015 140722993665174 140722993665174 140722993668047 0
[pid=11310/tid=11323] ppid=11285 vsize=8414124 memory=920 CPUtime=0 cores=0-7
/proc/11310/task/11323/stat : 11323 (java) S 11285 11285 11241 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418954511 8616062976 29544 33554432000 4194304 4196468 140722993658832 140485187164240 140487386814363 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8019968 140722993665015 140722993665174 140722993665174 140722993668047 0
[pid=11310/tid=11324] ppid=11285 vsize=8414124 memory=1984 CPUtime=0.06 cores=0-7
/proc/11310/task/11324/stat : 11324 (java) S 11285 11285 11241 0 -1 1077944384 681 0 0 0 6 0 0 0 20 0 24 0 418954511 8616062976 29544 33554432000 4194304 4196468 140722993658832 140486613310064 140487386806914 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8019968 140722993665015 140722993665174 140722993665174 140722993668047 0
[pid=11310/tid=11325] ppid=11285 vsize=8414124 memory=2404 CPUtime=0.06 cores=0-7
/proc/11310/task/11325/stat : 11325 (java) S 11285 11285 11241 0 -1 1077944384 318 0 0 0 6 0 0 0 20 0 24 0 418954511 8616062976 29544 33554432000 4194304 4196468 140722993658832 140486612257264 140487386806914 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8019968 140722993665015 140722993665174 140722993665174 140722993668047 0
[pid=11310/tid=11326] ppid=11285 vsize=8414124 memory=1764 CPUtime=0.05 cores=0-7
/proc/11310/task/11326/stat : 11326 (java) S 11285 11285 11241 0 -1 1077944384 180 0 0 0 5 0 0 0 20 0 24 0 418954511 8616062976 29544 33554432000 4194304 4196468 140722993658832 140486611204976 140487386806914 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8019968 140722993665015 140722993665174 140722993665174 140722993668047 0
[pid=11310/tid=11327] ppid=11285 vsize=8414124 memory=111632 CPUtime=0.21 cores=0-7
/proc/11310/task/11327/stat : 11327 (java) S 11285 11285 11241 0 -1 1077944384 554 0 0 0 21 0 0 0 20 0 24 0 418954511 8616062976 29544 33554432000 4194304 4196468 140722993658832 140486610152176 140487386806914 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8019968 140722993665015 140722993665174 140722993665174 140722993668047 0
[pid=11310/tid=11328] ppid=11285 vsize=8414124 memory=804 CPUtime=0 cores=0-7
/proc/11310/task/11328/stat : 11328 (java) S 11285 11285 11241 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 418954511 8616062976 29544 33554432000 4194304 4196468 140722993658832 140484689258848 140487386805973 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8019968 140722993665015 140722993665174 140722993665174 140722993668047 0
[pid=11310/tid=11329] ppid=11285 vsize=8414124 memory=4100 CPUtime=0 cores=0-7
/proc/11310/task/11329/stat : 11329 (java) S 11285 11285 11241 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 418954511 8616062976 29544 33554432000 4194304 4196468 140722993658832 140486609099056 140487386806914 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8019968 140722993665015 140722993665174 140722993665174 140722993668047 0
Current children cumulated CPU time: 22.77 s
Current children cumulated vsize: 8527252 KiB
Current children cumulated memory: 119652 KiB

[startup+7.90141 s]
/proc/loadavg: 6.92 7.93 7.97 3/212 11329
/proc/meminfo: memFree=31401312/32770624 swapFree=66982196/67108860
[pid=11285] ppid=11282 vsize=113128 memory=1476 CPUtime=21.59 cores=0-7
/proc/11285/stat : 11285 (scop.sh) S 11282 11285 11241 0 -1 4202496 582 41119 0 0 0 0 2115 44 20 0 1 0 418953856 115843072 369 33554432000 4194304 5098028 140731079833232 140731079829976 140541474411132 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 7778304 140731079836453 140731079836780 140731079836780 140731079839693 0
/proc/11285/statm: 28282 369 311 221 0 87 0
[pid=11310] ppid=11285 vsize=8414124 memory=118176 CPUtime=1.18 cores=0-7
/proc/11310/stat : 11310 (java) S 11285 11285 11241 0 -1 1077944320 20063 0 0 0 111 7 0 0 20 0 24 0 418954504 8616062976 29544 33554432000 4194304 4196468 140722993658832 140722993641376 140487386795767 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 8019968 140722993665015 140722993665174 140722993665174 140722993668047 0
/proc/11310/statm: 2103531 29544 3198 1 0 2064875 0
[pid=11310/tid=11311] ppid=11285 vsize=8414124 memory=21448 CPUtime=0.76 cores=0-7
/proc/11310/task/11311/stat : 11311 (java) S 11285 11285 11241 0 -1 1077944384 16909 0 0 0 71 5 0 0 20 0 24 0 418954505 8616062976 29544 33554432000 4194304 4196468 140722993658832 140487358635936 140487386805973 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8019968 140722993665015 140722993665174 140722993665174 140722993668047 0
[pid=11310/tid=11312] ppid=11285 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/11310/task/11312/stat : 11312 (java) S 11285 11285 11241 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 418954506 8616062976 29544 33554432000 4194304 4196468 140722993658832 140487391037840 140487386805973 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8019968 140722993665015 140722993665174 140722993665174 140722993668047 0
[pid=11310/tid=11313] ppid=11285 vsize=8414124 memory=118176 CPUtime=0 cores=0-7
/proc/11310/task/11313/stat : 11313 (java) S 11285 11285 11241 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418954506 8616062976 29544 33554432000 4194304 4196468 140722993658832 140487191206160 140487386805973 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8019968 140722993665015 140722993665174 140722993665174 140722993668047 0
[pid=11310/tid=11314] ppid=11285 vsize=8414124 memory=21448 CPUtime=0 cores=0-7
/proc/11310/task/11314/stat : 11314 (java) S 11285 11285 11241 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 418954506 8616062976 29544 33554432000 4194304 4196468 140722993658832 140487190153872 140487386805973 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8019968 140722993665015 140722993665174 140722993665174 140722993668047 0
[pid=11310/tid=11315] ppid=11285 vsize=8414124 memory=2004 CPUtime=0 cores=0-7
/proc/11310/task/11315/stat : 11315 (java) S 11285 11285 11241 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418954506 8616062976 29544 33554432000 4194304 4196468 140722993658832 140487189101072 140487386805973 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8019968 140722993665015 140722993665174 140722993665174 140722993668047 0
[pid=11310/tid=11316] ppid=11285 vsize=8414124 memory=984 CPUtime=0 cores=0-7
/proc/11310/task/11316/stat : 11316 (java) S 11285 11285 11241 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 418954506 8616062976 29544 33554432000 4194304 4196468 140722993658832 140487188048784 140487386805973 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8019968 140722993665015 140722993665174 140722993665174 140722993668047 0
[pid=11310/tid=11317] ppid=11285 vsize=8414124 memory=1328 CPUtime=0 cores=0-7
/proc/11310/task/11317/stat : 11317 (java) S 11285 11285 11241 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 418954506 8616062976 29544 33554432000 4194304 4196468 140722993658832 140487186995984 140487386805973 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8019968 140722993665015 140722993665174 140722993665174 140722993668047 0
[pid=11310/tid=11318] ppid=11285 vsize=8414124 memory=1028 CPUtime=0 cores=0-7
/proc/11310/task/11318/stat : 11318 (java) S 11285 11285 11241 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 418954506 8616062976 29544 33554432000 4194304 4196468 140722993658832 140487185943696 140487386805973 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8019968 140722993665015 140722993665174 140722993665174 140722993668047 0
[pid=11310/tid=11319] ppid=11285 vsize=8414124 memory=1060 CPUtime=0 cores=0-7
/proc/11310/task/11319/stat : 11319 (java) S 11285 11285 11241 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418954506 8616062976 29544 33554432000 4194304 4196468 140722993658832 140487184890896 140487386805973 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8019968 140722993665015 140722993665174 140722993665174 140722993668047 0
[pid=11310/tid=11320] ppid=11285 vsize=8414124 memory=2828 CPUtime=0 cores=0-7
/proc/11310/task/11320/stat : 11320 (java) S 11285 11285 11241 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 418954507 8616062976 29544 33554432000 4194304 4196468 140722993658832 140486614362224 140487386806914 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8019968 140722993665015 140722993665174 140722993665174 140722993668047 0
[pid=11310/tid=11321] ppid=11285 vsize=8414124 memory=756 CPUtime=0 cores=0-7
/proc/11310/task/11321/stat : 11321 (java) S 11285 11285 11241 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 418954508 8616062976 29544 33554432000 4194304 4196468 140722993658832 140485695890208 140487386805973 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8019968 140722993665015 140722993665174 140722993665174 140722993668047 0
[pid=11310/tid=11322] ppid=11285 vsize=8414124 memory=280790601074176 CPUtime=0 cores=0-7
/proc/11310/task/11322/stat : 11322 (java) S 11285 11285 11241 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 418954508 8616062976 29544 33554432000 4194304 4196468 140722993658832 140485561668720 140487386805973 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8019968 140722993665015 140722993665174 140722993665174 140722993668047 0
[pid=11310/tid=11323] ppid=11285 vsize=8414124 memory=188862596929612 CPUtime=0 cores=0-7
/proc/11310/task/11323/stat : 11323 (java) S 11285 11285 11241 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418954511 8616062976 29544 33554432000 4194304 4196468 140722993658832 140485187164240 140487386814363 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8019968 140722993665015 140722993665174 140722993665174 140722993668047 0
[pid=11310/tid=11324] ppid=11285 vsize=8414124 memory=188862596929613 CPUtime=0.06 cores=0-7
/proc/11310/task/11324/stat : 11324 (java) S 11285 11285 11241 0 -1 1077944384 681 0 0 0 6 0 0 0 20 0 24 0 418954511 8616062976 29544 33554432000 4194304 4196468 140722993658832 140486613310064 140487386806914 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8019968 140722993665015 140722993665174 140722993665174 140722993668047 0
[pid=11310/tid=11325] ppid=11285 vsize=8414124 memory=188862596929614 CPUtime=0.06 cores=0-7
/proc/11310/task/11325/stat : 11325 (java) S 11285 11285 11241 0 -1 1077944384 318 0 0 0 6 0 0 0 20 0 24 0 418954511 8616062976 29544 33554432000 4194304 4196468 140722993658832 140486612257264 140487386806914 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8019968 140722993665015 140722993665174 140722993665174 140722993668047 0
[pid=11310/tid=11326] ppid=11285 vsize=8414124 memory=5 CPUtime=0.05 cores=0-7
/proc/11310/task/11326/stat : 11326 (java) S 11285 11285 11241 0 -1 1077944384 180 0 0 0 5 0 0 0 20 0 24 0 418954511 8616062976 29544 33554432000 4194304 4196468 140722993658832 140486611204976 140487386806914 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8019968 140722993665015 140722993665174 140722993665174 140722993668047 0
[pid=11310/tid=11327] ppid=11285 vsize=8414124 memory=21 CPUtime=0.21 cores=0-7
/proc/11310/task/11327/stat : 11327 (java) S 11285 11285 11241 0 -1 1077944384 554 0 0 0 21 0 0 0 20 0 24 0 418954511 8616062976 29544 33554432000 4194304 4196468 140722993658832 140486610152176 140487386806914 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8019968 140722993665015 140722993665174 140722993665174 140722993668047 0
[pid=11310/tid=11328] ppid=11285 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/11310/task/11328/stat : 11328 (java) S 11285 11285 11241 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 418954511 8616062976 29544 33554432000 4194304 4196468 140722993658832 140484689258848 140487386805973 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8019968 140722993665015 140722993665174 140722993665174 140722993668047 0
[pid=11310/tid=11329] ppid=11285 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/11310/task/11329/stat : 11329 (java) S 11285 11285 11241 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 418954511 8616062976 29544 33554432000 4194304 4196468 140722993658832 140486609099056 140487386806914 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8019968 140722993665015 140722993665174 140722993665174 140722993668047 0
Current children cumulated CPU time: 22.77 s
Current children cumulated vsize: 8527252 KiB
Current children cumulated memory: 119652 KiB

Child status: 0
Real time (s): 8.0007
CPU time (s): 26.4921
CPU user time (s): 25.7768
CPU system time (s): 0.715241
CPU usage (%): 331.122
Max. virtual memory (cumulated for all children) (KiB): 27443924
Max. memory (cumulated for all children) (KiB): 1794792

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 25.7768
system time used= 0.715241
maximum resident set size= 1798256
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 83362
page faults= 0
swaps= 0
block input operations= 0
block output operations= 5720
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 23964
involuntary context switches= 59


# summary of solver processes directly reported to runsolver:
#   pid: 11285
#   total CPU time (s): 26.4921
#   total CPU user time (s): 25.7768
#   total CPU system time (s): 0.715241

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.083637 second user time and 0.124322 second system time

The end

Launcher Data 

Begin job on node121 at 2019-09-14 04:07:50
IDJOB=4392334
IDBENCH=126449
IDSOLVER=2838
FILE ID=node121/4392334-1568426912
RUNJOBID= node121-1568426870-11268
PBS_JOBID= 21702290
Free space on /tmp= 61412 MiB

SOLVER NAME= Fun-sCOP order+ManyGlucose (2019-06-15)
BENCH NAME= XCSP17/SocialGolfers/SocialGolfers-cp-s1/SocialGolfers-5-5-9-cp.xml
COMMAND LINE= DIR/scop.sh 22g DIR/scop.jar -order 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-4392334-1568426912/watcher-4392334-1568426912 -o /tmp/evaluation-result-4392334-1568426912/solver-4392334-1568426912 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node121-1568426870-11268 --watchdog 2580  HOME/scop.sh 22g HOME/scop.jar -order HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4392334-1568426912.xml

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

MD5SUM BENCH= a6754b0df54e854fabf9aee35b814723
RANDOM SEED=1744770568

node121.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.75
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.75
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.75
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.75
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:        31467048 kB
MemAvailable:   31909400 kB
Buffers:          171364 kB
Cached:           565688 kB
SwapCached:        18504 kB
Active:           405308 kB
Inactive:         353288 kB
Active(anon):       6704 kB
Inactive(anon):    45968 kB
Active(file):     398604 kB
Inactive(file):   307320 kB
Unevictable:      109364 kB
Mlocked:          109364 kB
SwapTotal:      67108860 kB
SwapFree:       66982196 kB
Dirty:             20980 kB
Writeback:             0 kB
AnonPages:        111572 kB
Mapped:            35448 kB
Shmem:             22620 kB
Slab:             133276 kB
SReclaimable:     104524 kB
SUnreclaim:        28752 kB
KernelStack:        3280 kB
PageTables:         5232 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     497912 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:      122240 kB
DirectMap2M:    33423360 kB

Free space on /tmp at the end= 61392 MiB
End job on node121 at 2019-09-14 04:07:58