Trace number 4405150

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-09-22)UNSAT 61.9869 12.3027

General information on the benchmark

NameQRandom/QRandom-reg2ext-s1/
reg-s20-p03-c20-d10-n10-l5-64.xml
MD5SUM236be531fe4e5fa4d71f6d1385cbaf81
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 benchmark3.28957
Satisfiable
(Un)Satisfiability was proved
Number of variables130
Number of constraints100
Number of domains23
Minimum domain size1
Maximum domain size20
Distribution of domain sizes[{"size":1,"count":20},{"size":6,"count":20},{"size":10,"count":10},{"size":20,"count":80}]
Minimum variable degree1
Maximum variable degree14
Distribution of variable degrees[{"degree":1,"count":40},{"degree":2,"count":80},{"degree":5,"count":1},{"degree":6,"count":1},{"degree":9,"count":1},{"degree":10,"count":3},{"degree":12,"count":3},{"degree":14,"count":1}]
Minimum constraint arity3
Maximum constraint arity3
Distribution of constraint arities[{"arity":3,"count":100}]
Number of extensional constraints100
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":100}]
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-9304-serial-file.bin HOME/instance-4405150-1569335979.xml
0.64/0.55	
0.64/0.55	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
0.64/0.55	
0.64/0.57	c BEGIN-Prog: Tue Sep 24 16:38:58 CEST 2019
0.64/0.57	c PID: 9307
0.64/0.57	c IP: 172.20.3.140
0.64/0.57	c HOST: node140.alineos.net
0.64/0.58	c (0,0) Parsing Begin
2.13/1.02	c (0,0) Parsing End
2.13/1.02	c (0,0) CSP: 110 int (0 aux), 20 bool (0 aux), 100 ctr, max domain size 20
2.13/1.02	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB)
2.13/1.02	c (0,0) Constraint Name Generate Begin
2.13/1.03	c (0,0) Ctr:HOME/instance-4405150-1569335979.xml,ExtensionSupport:Var
2.13/1.03	c (0,0) Constraint Name Generate End
2.13/1.03	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB)
2.13/1.03	c (0,0) CSP to CSPinCNF Begin
4.47/1.78	c (1,1) translated 10 (10%) constraints
5.64/2.03	c (1,1) translated 20 (20%) constraints
6.28/2.25	c (1,1) translated 30 (30%) constraints
7.02/2.44	c (1,1) translated 40 (40%) constraints
7.69/2.62	c (2,2) translated 50 (50%) constraints
8.22/2.80	c (2,2) translated 60 (60%) constraints
8.53/2.98	c (2,2) translated 70 (70%) constraints
9.02/3.15	c (2,2) translated 80 (80%) constraints
9.28/3.31	c (2,2) translated 90 (90%) constraints
9.44/3.48	c (2,2) translated 100 (100%) constraints
9.44/3.50	c (2,2) ===========================================
9.55/3.50	c (2,2) Order
9.55/3.50	c (2,2) ===========================================
9.92/3.61	c (3,3) translated 2826 (10%) constraints
9.92/3.69	c (3,3) translated 5652 (20%) constraints
10.20/3.76	c (3,3) translated 8478 (30%) constraints
10.47/3.83	c (3,3) translated 11304 (40%) constraints
10.47/3.89	c (3,3) translated 14130 (50%) constraints
10.57/3.96	c (3,3) translated 16956 (60%) constraints
10.67/4.03	c (3,3) translated 19782 (70%) constraints
10.67/4.09	c (3,3) translated 22608 (80%) constraints
10.78/4.16	c (3,3) translated 25434 (90%) constraints
10.87/4.22	c (3,3) translated 28259 (100%) constraints
10.87/4.22	c (3,3) CSP to CSPinCNF End
10.87/4.23	c (3,3) CSP: 110 int (0 aux), 2295 bool (2275 aux), 28259 ctr, max domain size 20
10.87/4.23	c (3,3) Heap : 901 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB)
10.87/4.23	c (3,3) CSPinCNF Propagation Begin
11.31/4.46	c (3,3) 0 values, 100 unsatisfiable literals, and 0 valid clauses are removed
11.31/4.46	c (3,3) CSPinCNF Propagation End
11.31/4.46	c (3,3) CSP: 110 int (0 aux), 2295 bool (2275 aux), 28259 ctr, max domain size 20
11.31/4.46	c (3,3) Heap : 1126 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB)
11.31/4.46	c (3,3) Simplify CSPinCNF Begin
11.54/4.55	c (4,3) Simplify CSPinCNF End
11.54/4.56	c (4,3) CSP: 110 int (0 aux), 2295 bool (2275 aux), 28259 ctr, max domain size 20
11.54/4.56	c (4,3) Heap : 1126 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB)
11.54/4.56	c (4,3) Calculate Precise Domain Begin
11.54/4.56	c (4,3) 0 values are removed by re-calculation
11.54/4.56	c (4,3) Calculate Precise Domain End
11.54/4.56	c (4,3) CSP: 110 int (0 aux), 2295 bool (2275 aux), 28259 ctr, max domain size 20
11.54/4.56	c (4,3) Heap : 1126 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB)
11.54/4.56	c (4,3) CSPinCNF to SatSolver Begin
11.97/4.76	c (4,4) 2826 (10 %) CSP clauses are encoded (0 SAT variables, 4171 SAT clauses)
12.34/4.84	c (4,4) 5652 (20 %) CSP clauses are encoded (0 SAT variables, 6997 SAT clauses)
12.73/4.98	c (4,4) 8478 (30 %) CSP clauses are encoded (0 SAT variables, 9823 SAT clauses)
12.76/5.02	c (4,4) 11304 (40 %) CSP clauses are encoded (0 SAT variables, 12649 SAT clauses)
12.76/5.06	c (4,4) 14130 (50 %) CSP clauses are encoded (0 SAT variables, 15475 SAT clauses)
12.76/5.09	c (4,4) 16956 (60 %) CSP clauses are encoded (0 SAT variables, 18301 SAT clauses)
12.87/5.13	c (4,4) 19782 (70 %) CSP clauses are encoded (0 SAT variables, 21127 SAT clauses)
12.87/5.17	c (4,4) 22608 (80 %) CSP clauses are encoded (0 SAT variables, 23953 SAT clauses)
12.97/5.21	c (4,4) 25434 (90 %) CSP clauses are encoded (0 SAT variables, 26779 SAT clauses)
12.97/5.25	c (4,4) 28259 (100 %) CSP clauses are encoded (0 SAT variables, 29604 SAT clauses)
12.97/5.25	c (4,4) CSPinCNF to SatSolver End
12.97/5.25	c (4,4) Heap : 1351 MiB used (max 21589 MiB), NonHeap : 31 MiB used (max 0 MiB)
12.97/5.25	c (4,4) 3731 bool, 29605 clause
12.97/5.25	c (4,4) Export Begin
13.10/5.37	c (4,4) Export to HOME/scop-9304-serial-file.bin
13.10/5.37	c (4,4) Export End
13.10/5.37	c (4,4) Export File Size: 0.04 MB
13.10/5.37	c (4,4) 0,0,3,3,4,4,4,STOP-AFTER(DIMACS)
13.10/5.37	c END-Prog: Tue Sep 24 16:39:03 CEST 2019
0.00/5.40	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-9304-serial-file.bin
13.31/5.86	c (0,0) Read Serial File Begin
13.31/5.86	c (0,0) HOME/scop-9304-serial-file.bin
14.12/6.10	c (0,0) Read Serial File End
14.31/6.12	
14.31/6.12	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
14.31/6.12	(Solving Process)
14.31/6.12	
14.31/6.14	c BEGIN-Prog: Tue Sep 24 16:39:04 CEST 2019
14.31/6.14	c PID: 9327
14.31/6.14	c IP: 172.20.3.140
14.31/6.14	c HOST: node140.alineos.net
14.31/6.14	c (0,0) SatSolver.solve Begin
14.31/6.14	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4405150-1569335979.xml-scop-9307.cnf
14.31/6.17	c (0,0) c
14.31/6.17	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)
14.31/6.17	c (0,0) c
14.31/6.17	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
14.31/6.17	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
14.31/6.17	c (0,0) c ========================================[ Problem Statistics ]===========================================
14.31/6.17	c (0,0) c |                                                                                                       |
14.31/6.18	c (0,0) c |  Number of variables:          3731                                                                   |
14.31/6.18	c (0,0) c |  Number of clauses:           29596                                                                   |
14.31/6.18	c (0,0) c |  Parse time:                   0.01 s                                                                 |
14.31/6.18	c (0,0) c |                                                                                                       |
14.54/6.20	c (0,0) c |  Simplification time:          0.02 s                                                                 |
14.54/6.20	c (0,0) c |                                                                                                       |
14.54/6.20	c (0,0) c |  Generating clones                                                                                    |
14.54/6.21	c (0,0) c |  all clones generated. Memory =    39.71Mb.                                                           |
14.54/6.21	c (0,0) c ========================================================================================================|
14.54/6.21	c (0,0) c
14.54/6.21	c (0,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
14.54/6.21	c (0,0) c
14.54/6.21	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
14.54/6.21	c (0,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
14.54/6.21	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
14.54/6.21	c (0,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
14.54/6.21	c (0,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
14.54/6.21	c (0,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
14.54/6.21	c (0,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
14.54/6.21	c (0,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
14.54/6.21	c (0,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
14.54/6.21	c (0,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
14.54/6.21	c (0,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
14.54/6.21	c (0,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
14.54/6.21	c (0,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
14.54/6.21	c (0,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
14.54/6.21	c (0,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
14.54/6.21	c (0,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
14.54/6.21	c (0,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
14.54/6.21	c (0,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
14.54/6.21	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
61.76/12.27	c (6,0) c
61.76/12.27	c (6,0) c real time : 6.10204 s
61.76/12.27	c (6,0) c cpu time  : 47.1168 s
61.76/12.27	c (6,0) c
61.76/12.27	c (6,0) c
61.76/12.27	c (6,0) c
61.76/12.27	c (6,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
61.76/12.27	c (6,0) c
61.76/12.27	c (6,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
61.76/12.27	c (6,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
61.76/12.27	c (6,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
61.76/12.27	c (6,0) c | Conflicts     |          472445 |      59352 |      59416 |      59248 |      59194 |      56971 |      59023 |      58742 |      60499 |
61.76/12.27	c (6,0) c | Decisions     |          874332 |     111190 |     108499 |     112673 |     109209 |     104560 |     110214 |     106832 |     111155 |
61.76/12.27	c (6,0) c | Propagations  |       123014103 |   15625079 |   15165339 |   15296327 |   15413302 |   15101784 |   15250441 |   15411380 |   15750451 |
61.76/12.27	c (6,0) c | ReduceDBs     |              47 |          6 |          6 |          6 |          6 |          5 |          6 |          6 |          6 |
61.76/12.27	c (6,0) c | SimpDBs       |              52 |          7 |          7 |          6 |          7 |          6 |          7 |          6 |          6 |
61.76/12.27	c (6,0) c | Restarts      |            1718 |        190 |        207 |        256 |        236 |        210 |        215 |        198 |        206 |
61.76/12.27	c (6,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
61.76/12.27	c (6,0) c | PropBinClauses|       195694666 |   25073796 |   24241647 |   24294663 |   24393922 |   23997601 |   24183928 |   24337063 |   25172046 |
61.76/12.27	c (6,0) c | PropPreBlocker|      1273595446 |  158489365 |  157488456 |  158864330 |  160169148 |  156450918 |  158065675 |  159558521 |  164509033 |
61.76/12.27	c (6,0) c | PropNotBlocker|       521242792 |   64611376 |   64691646 |   65735111 |   65891423 |   64402185 |   64472184 |   64646431 |   66792436 |
61.76/12.27	c (6,0) c | LitFullScans  |      2659587480 |  330014650 |  330100506 |  334804371 |  334832284 |  330017296 |  330011837 |  330019446 |  339787090 |
61.76/12.27	c (6,0) c | LitScanFracts |          374145 |       6213 |      91640 |     169297 |      25214 |       6315 |       7194 |       9605 |      58667 |
61.76/12.27	c (6,0) c | DecisionLevel0|            1780 |        196 |        216 |        261 |        243 |        214 |        221 |        211 |        218 |
61.76/12.27	c (6,0) c | Periods       |             441 |         55 |         55 |         55 |         55 |         55 |         55 |         55 |         56 |
61.76/12.27	c (6,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
61.76/12.27	c (6,0) c | Avg_Trail     |                 |        858 |        841 |        850 |        848 |        856 |        843 |        862 |        844 |
61.76/12.27	c (6,0) c | Avg_DL        |                 |         15 |         16 |         16 |         16 |         15 |         15 |         16 |         16 |
61.76/12.27	c (6,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
61.76/12.27	c (6,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
61.76/12.27	c (6,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
61.76/12.27	c (6,0) c | Exported      |           81579 |      10250 |      10114 |      10553 |      10085 |       9885 |      10339 |       9997 |      10356 |
61.76/12.27	c (6,0) c | Imported      |          484806 |      60204 |      60357 |      60556 |      61013 |      60519 |      60158 |      60475 |      61524 |
61.76/12.27	c (6,0) c | Good          |           59423 |       7380 |       7432 |       7438 |       7485 |       7412 |       7366 |       7479 |       7431 |
61.76/12.27	c (6,0) c | Purge         |          425383 |      52824 |      52925 |      53118 |      53528 |      53107 |      52792 |      52996 |      54093 |
61.76/12.27	c (6,0) c | Promoted      |           28466 |       3363 |       3647 |       3549 |       3566 |       3609 |       3570 |       3510 |       3652 |
61.76/12.27	c (6,0) c | Remove_Imp    |          244235 |      33486 |      32939 |      32096 |      33789 |      15242 |      31739 |      32654 |      32290 |
61.76/12.27	c (6,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
61.76/12.27	c (6,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
61.76/12.27	c (6,0) c | Unaries       |                 |          6 |          9 |          5 |          7 |          4 |          6 |         13 |         12 |
61.76/12.27	c (6,0) c | Binaries      |                 |       1164 |       1110 |       1111 |       1077 |       1127 |       1161 |       1072 |       1143 |
61.76/12.27	c (6,0) c | Glues         |                 |       2947 |       2872 |       3059 |       2813 |       2886 |       2871 |       2863 |       2900 |
61.76/12.27	c (6,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
61.76/12.27	c (6,0) c | Orig_Seen     |            56 % |      16111 |      15577 |      16238 |      15613 |      15310 |      16295 |      14975 |      16582 |
61.76/12.27	c (6,0) c | Diff Orig seen|                 |        498 | -       36 |        625 |      X     | -      303 |        682 | -      638 |        969 |
61.76/12.27	c (6,0) c | Hamming       |            25 % |        947 |        885 |        966 |      X     |        960 |       1020 |       1017 |        989 |
61.76/12.27	c (6,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
61.76/12.27	c (6,0) c | RunningTime   |                 |    6.0 100%|    6.0 100%|    5.9 100%|    5.9 100%|    5.9 100%|    5.9 100%|    6.0 100%|    5.8 100%|
61.76/12.27	c (6,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%|
61.76/12.27	c (6,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%|
61.76/12.27	c (6,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%|
61.76/12.27	c (6,0) c | SolvingTime   |                 |    6.0     |    6.1     |    5.9     |    5.9     |    5.9     |    6.0     |    6.0     |    5.8     |
61.76/12.27	c (6,0) c | PropagationTim|                 |    5.3  88%|    5.3  88%|    5.1  87%|    5.1  88%|    5.2  87%|    5.2  87%|    5.3  87%|    5.1  88%|
61.76/12.27	c (6,0) c | AnalysisTime  |                 |    0.5   8%|    0.5   8%|    0.5   8%|    0.5   8%|    0.5   8%|    0.5   8%|    0.5   8%|    0.5   8%|
61.76/12.27	c (6,0) c | ReductionTime |                 |    0.1   1%|    0.1   1%|    0.1   1%|    0.1   1%|    0.0   1%|    0.1   1%|    0.1   1%|    0.1   1%|
61.76/12.27	c (6,0) c | SimplifyTime  |                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
61.76/12.27	c (6,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%|
61.76/12.27	c (6,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%|
61.76/12.27	c (6,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
61.76/12.27	c (6,0) c
61.76/12.27	c (6,0) c
61.76/12.27	c (6,0) c Threads : 8
61.76/12.27	c (6,0) c Winner : 3
61.76/12.27	c (6,0) c Conflicts_0 : 59352
61.76/12.27	c (6,0) c Conflicts_1 : 59416
61.76/12.27	c (6,0) c Conflicts_2 : 59248
61.76/12.27	c (6,0) c Conflicts_3 : 59194
61.76/12.27	c (6,0) c Conflicts_4 : 56971
61.76/12.27	c (6,0) c Conflicts_5 : 59023
61.76/12.27	c (6,0) c Conflicts_6 : 58742
61.76/12.27	c (6,0) c Conflicts_7 : 60499
61.76/12.27	c (6,0) c Conflicts_total : 472445
61.76/12.27	c (6,0) c Conflicts_winner : 59194
61.76/12.27	c (6,0) c Decisions_0 : 111190
61.76/12.27	c (6,0) c Decisions_1 : 108499
61.76/12.27	c (6,0) c Decisions_2 : 112673
61.76/12.27	c (6,0) c Decisions_3 : 109209
61.76/12.27	c (6,0) c Decisions_4 : 104560
61.76/12.27	c (6,0) c Decisions_5 : 110214
61.76/12.27	c (6,0) c Decisions_6 : 106832
61.76/12.27	c (6,0) c Decisions_7 : 111155
61.76/12.27	c (6,0) c Decisions_total : 874332
61.76/12.27	c (6,0) c Decisions_winner : 109209
61.76/12.27	c (6,0) c Propagations_0 : 15625079
61.76/12.27	c (6,0) c Propagations_1 : 15165339
61.76/12.27	c (6,0) c Propagations_2 : 15296327
61.76/12.27	c (6,0) c Propagations_3 : 15413302
61.76/12.27	c (6,0) c Propagations_4 : 15101784
61.76/12.27	c (6,0) c Propagations_5 : 15250441
61.76/12.27	c (6,0) c Propagations_6 : 15411380
61.76/12.27	c (6,0) c Propagations_7 : 15750451
61.76/12.27	c (6,0) c Propagations_total : 123014103
61.76/12.27	c (6,0) c Propagations_winner : 15413302
61.76/12.27	c (6,0) c ReduceDBs_0 : 6
61.76/12.27	c (6,0) c ReduceDBs_1 : 6
61.76/12.27	c (6,0) c ReduceDBs_2 : 6
61.76/12.27	c (6,0) c ReduceDBs_3 : 6
61.76/12.27	c (6,0) c ReduceDBs_4 : 5
61.76/12.27	c (6,0) c ReduceDBs_5 : 6
61.76/12.27	c (6,0) c ReduceDBs_6 : 6
61.76/12.27	c (6,0) c ReduceDBs_7 : 6
61.76/12.27	c (6,0) c ReduceDBs_total : 47
61.76/12.27	c (6,0) c ReduceDBs_winner : 6
61.76/12.27	c (6,0) c SimpDBs_0 : 7
61.76/12.27	c (6,0) c SimpDBs_1 : 7
61.76/12.27	c (6,0) c SimpDBs_2 : 6
61.76/12.27	c (6,0) c SimpDBs_3 : 7
61.76/12.27	c (6,0) c SimpDBs_4 : 6
61.76/12.27	c (6,0) c SimpDBs_5 : 7
61.76/12.27	c (6,0) c SimpDBs_6 : 6
61.76/12.27	c (6,0) c SimpDBs_7 : 6
61.76/12.27	c (6,0) c SimpDBs_total : 52
61.76/12.27	c (6,0) c SimpDBs_winner : 7
61.76/12.27	c (6,0) c Restarts_0 : 190
61.76/12.27	c (6,0) c Restarts_1 : 207
61.76/12.27	c (6,0) c Restarts_2 : 256
61.76/12.27	c (6,0) c Restarts_3 : 236
61.76/12.27	c (6,0) c Restarts_4 : 210
61.76/12.27	c (6,0) c Restarts_5 : 215
61.76/12.27	c (6,0) c Restarts_6 : 198
61.76/12.27	c (6,0) c Restarts_7 : 206
61.76/12.27	c (6,0) c Restarts_total : 1718
61.76/12.27	c (6,0) c Restarts_winner : 236
61.76/12.27	c (6,0) c ForcedImports_0 : 0
61.76/12.27	c (6,0) c ForcedImports_1 : 0
61.76/12.27	c (6,0) c ForcedImports_2 : 0
61.76/12.28	c (6,0) c ForcedImports_3 : 0
61.76/12.28	c (6,0) c ForcedImports_4 : 0
61.76/12.28	c (6,0) c ForcedImports_5 : 0
61.76/12.28	c (6,0) c ForcedImports_6 : 0
61.76/12.28	c (6,0) c ForcedImports_7 : 0
61.76/12.28	c (6,0) c ForcedImports_total : 0
61.76/12.28	c (6,0) c ForcedImports_winner : 0
61.76/12.28	c (6,0) c PropsBinClauses_0 : 25073796
61.76/12.28	c (6,0) c PropsBinClauses_1 : 24241647
61.76/12.28	c (6,0) c PropsBinClauses_2 : 24294663
61.76/12.28	c (6,0) c PropsBinClauses_3 : 24393922
61.76/12.28	c (6,0) c PropsBinClauses_4 : 23997601
61.76/12.28	c (6,0) c PropsBinClauses_5 : 24183928
61.76/12.28	c (6,0) c PropsBinClauses_6 : 24337063
61.76/12.28	c (6,0) c PropsBinClauses_7 : 25172046
61.76/12.28	c (6,0) c PropsBinClauses_total : 195694666
61.76/12.28	c (6,0) c PropsBinClauses_winner : 24393922
61.76/12.28	c (6,0) c PropsPreBlocker_0 : 158489365
61.76/12.28	c (6,0) c PropsPreBlocker_1 : 157488456
61.76/12.28	c (6,0) c PropsPreBlocker_2 : 158864330
61.76/12.28	c (6,0) c PropsPreBlocker_3 : 160169148
61.76/12.28	c (6,0) c PropsPreBlocker_4 : 156450918
61.76/12.28	c (6,0) c PropsPreBlocker_5 : 158065675
61.76/12.28	c (6,0) c PropsPreBlocker_6 : 159558521
61.76/12.28	c (6,0) c PropsPreBlocker_7 : 164509033
61.76/12.28	c (6,0) c PropsPreBlocker_total : 1273595446
61.76/12.28	c (6,0) c PropsPreBlocker_winner : 160169148
61.76/12.28	c (6,0) c PropsNotBlocker_0 : 64611376
61.76/12.28	c (6,0) c PropsNotBlocker_1 : 64691646
61.76/12.28	c (6,0) c PropsNotBlocker_2 : 65735111
61.76/12.28	c (6,0) c PropsNotBlocker_3 : 65891423
61.76/12.28	c (6,0) c PropsNotBlocker_4 : 64402185
61.76/12.28	c (6,0) c PropsNotBlocker_5 : 64472184
61.76/12.28	c (6,0) c PropsNotBlocker_6 : 64646431
61.76/12.28	c (6,0) c PropsNotBlocker_7 : 66792436
61.76/12.28	c (6,0) c PropsNotBlocker_total : 521242792
61.76/12.28	c (6,0) c PropsNotBlocker_winner : 65891423
61.76/12.28	c (6,0) c PropsLitFullScans_0 : 330014650
61.76/12.28	c (6,0) c PropsLitFullScans_1 : 330100506
61.76/12.28	c (6,0) c PropsLitFullScans_2 : 334804371
61.76/12.28	c (6,0) c PropsLitFullScans_3 : 334832284
61.76/12.28	c (6,0) c PropsLitFullScans_4 : 330017296
61.76/12.28	c (6,0) c PropsLitFullScans_5 : 330011837
61.76/12.28	c (6,0) c PropsLitFullScans_6 : 330019446
61.76/12.28	c (6,0) c PropsLitFullScans_7 : 339787090
61.76/12.28	c (6,0) c PropsLitFullScans_total : 2659587480
61.76/12.28	c (6,0) c PropsLitFullScans_winner : 334832284
61.76/12.28	c (6,0) c LitScanFractions_0 : 6213
61.76/12.28	c (6,0) c LitScanFractions_1 : 91640
61.76/12.28	c (6,0) c LitScanFractions_2 : 169297
61.76/12.28	c (6,0) c LitScanFractions_3 : 25214
61.76/12.28	c (6,0) c LitScanFractions_4 : 6315
61.76/12.28	c (6,0) c LitScanFractions_5 : 7194
61.76/12.28	c (6,0) c LitScanFractions_6 : 9605
61.76/12.28	c (6,0) c LitScanFractions_7 : 58667
61.76/12.28	c (6,0) c LitScanFractions_total : 374145
61.76/12.28	c (6,0) c LitScanFractions_winner : 25214
61.76/12.28	c (6,0) c DecisionLevel0_0 : 196
61.76/12.28	c (6,0) c DecisionLevel0_1 : 216
61.76/12.28	c (6,0) c DecisionLevel0_2 : 261
61.76/12.28	c (6,0) c DecisionLevel0_3 : 243
61.76/12.28	c (6,0) c DecisionLevel0_4 : 214
61.76/12.28	c (6,0) c DecisionLevel0_5 : 221
61.76/12.28	c (6,0) c DecisionLevel0_6 : 211
61.76/12.28	c (6,0) c DecisionLevel0_7 : 218
61.76/12.28	c (6,0) c DecisionLevel0_total : 1780
61.76/12.28	c (6,0) c DecisionLevel0_winner : 243
61.76/12.28	c (6,0) c Periods_0 : 55
61.76/12.28	c (6,0) c Periods_1 : 55
61.76/12.28	c (6,0) c Periods_2 : 55
61.76/12.28	c (6,0) c Periods_3 : 55
61.76/12.28	c (6,0) c Periods_4 : 55
61.76/12.28	c (6,0) c Periods_5 : 55
61.76/12.28	c (6,0) c Periods_6 : 55
61.76/12.28	c (6,0) c Periods_7 : 56
61.76/12.28	c (6,0) c Periods_total : 441
61.76/12.28	c (6,0) c Periods_winner : 55
61.76/12.28	c (6,0) c Margin_0 : 20
61.76/12.28	c (6,0) c Margin_1 : 20
61.76/12.28	c (6,0) c Margin_2 : 20
61.76/12.28	c (6,0) c Margin_3 : 20
61.76/12.28	c (6,0) c Margin_4 : 20
61.76/12.28	c (6,0) c Margin_5 : 20
61.76/12.28	c (6,0) c Margin_6 : 20
61.76/12.28	c (6,0) c Margin_7 : 20
61.76/12.28	c (6,0) c Margin_total : 160
61.76/12.28	c (6,0) c Margin_winner : 20
61.76/12.28	c (6,0) c Exported_0 : 10250
61.76/12.28	c (6,0) c Exported_1 : 10114
61.76/12.28	c (6,0) c Exported_2 : 10553
61.76/12.28	c (6,0) c Exported_3 : 10085
61.76/12.28	c (6,0) c Exported_4 : 9885
61.76/12.28	c (6,0) c Exported_5 : 10339
61.76/12.28	c (6,0) c Exported_6 : 9997
61.76/12.28	c (6,0) c Exported_7 : 10356
61.76/12.28	c (6,0) c Exported_total : 81579
61.76/12.28	c (6,0) c Exported_winner : 10085
61.76/12.28	c (6,0) c Imported_0 : 60204
61.76/12.28	c (6,0) c Imported_1 : 60357
61.76/12.28	c (6,0) c Imported_2 : 60556
61.76/12.28	c (6,0) c Imported_3 : 61013
61.76/12.28	c (6,0) c Imported_4 : 60519
61.76/12.28	c (6,0) c Imported_5 : 60158
61.76/12.28	c (6,0) c Imported_6 : 60475
61.76/12.28	c (6,0) c Imported_7 : 61524
61.76/12.28	c (6,0) c Imported_total : 484806
61.76/12.28	c (6,0) c Imported_winner : 61013
61.76/12.28	c (6,0) c Good_0 : 7380
61.76/12.28	c (6,0) c Good_1 : 7432
61.76/12.28	c (6,0) c Good_2 : 7438
61.76/12.28	c (6,0) c Good_3 : 7485
61.76/12.28	c (6,0) c Good_4 : 7412
61.76/12.28	c (6,0) c Good_5 : 7366
61.76/12.28	c (6,0) c Good_6 : 7479
61.76/12.28	c (6,0) c Good_7 : 7431
61.76/12.28	c (6,0) c Good_total : 59423
61.76/12.28	c (6,0) c Good_winner : 7485
61.76/12.28	c (6,0) c Purge_0 : 52824
61.76/12.28	c (6,0) c Purge_1 : 52925
61.76/12.28	c (6,0) c Purge_2 : 53118
61.76/12.28	c (6,0) c Purge_3 : 53528
61.76/12.28	c (6,0) c Purge_4 : 53107
61.76/12.28	c (6,0) c Purge_5 : 52792
61.76/12.28	c (6,0) c Purge_6 : 52996
61.76/12.28	c (6,0) c Purge_7 : 54093
61.76/12.28	c (6,0) c Purge_total : 425383
61.76/12.28	c (6,0) c Purge_winner : 53528
61.76/12.28	c (6,0) c Promoted_0 : 3363
61.76/12.28	c (6,0) c Promoted_1 : 3647
61.76/12.28	c (6,0) c Promoted_2 : 3549
61.76/12.28	c (6,0) c Promoted_3 : 3566
61.76/12.28	c (6,0) c Promoted_4 : 3609
61.76/12.28	c (6,0) c Promoted_5 : 3570
61.76/12.28	c (6,0) c Promoted_6 : 3510
61.76/12.28	c (6,0) c Promoted_7 : 3652
61.76/12.28	c (6,0) c Promoted_total : 28466
61.76/12.28	c (6,0) c Promoted_winner : 3566
61.76/12.28	c (6,0) c Remove_Imp_0 : 33486
61.76/12.28	c (6,0) c Remove_Imp_1 : 32939
61.76/12.28	c (6,0) c Remove_Imp_2 : 32096
61.76/12.28	c (6,0) c Remove_Imp_3 : 33789
61.76/12.28	c (6,0) c Remove_Imp_4 : 15242
61.76/12.28	c (6,0) c Remove_Imp_5 : 31739
61.76/12.28	c (6,0) c Remove_Imp_6 : 32654
61.76/12.28	c (6,0) c Remove_Imp_7 : 32290
61.76/12.28	c (6,0) c Remove_Imp_total : 244235
61.76/12.28	c (6,0) c Remove_Imp_winner : 33789
61.76/12.28	c (6,0) c Blocked_Reuse_0 : 0
61.76/12.28	c (6,0) c Blocked_Reuse_1 : 0
61.76/12.28	c (6,0) c Blocked_Reuse_2 : 0
61.76/12.28	c (6,0) c Blocked_Reuse_3 : 0
61.76/12.28	c (6,0) c Blocked_Reuse_4 : 0
61.76/12.28	c (6,0) c Blocked_Reuse_5 : 0
61.76/12.28	c (6,0) c Blocked_Reuse_6 : 0
61.76/12.28	c (6,0) c Blocked_Reuse_7 : 0
61.76/12.28	c (6,0) c Blocked_Reuse_total : 0
61.76/12.28	c (6,0) c Blocked_Reuse_winner : 0
61.76/12.28	c (6,0) c Unaries_0 : 6
61.76/12.28	c (6,0) c Unaries_1 : 9
61.76/12.28	c (6,0) c Unaries_2 : 5
61.76/12.28	c (6,0) c Unaries_3 : 7
61.76/12.28	c (6,0) c Unaries_4 : 4
61.76/12.28	c (6,0) c Unaries_5 : 6
61.76/12.28	c (6,0) c Unaries_6 : 13
61.76/12.28	c (6,0) c Unaries_7 : 12
61.76/12.28	c (6,0) c Unaries_total : 62
61.76/12.28	c (6,0) c Unaries_winner : 7
61.76/12.28	c (6,0) c Binaries_0 : 1164
61.76/12.28	c (6,0) c Binaries_1 : 1110
61.76/12.28	c (6,0) c Binaries_2 : 1111
61.76/12.28	c (6,0) c Binaries_3 : 1077
61.76/12.28	c (6,0) c Binaries_4 : 1127
61.76/12.28	c (6,0) c Binaries_5 : 1161
61.76/12.28	c (6,0) c Binaries_6 : 1072
61.76/12.28	c (6,0) c Binaries_7 : 1143
61.76/12.28	c (6,0) c Binaries_total : 8965
61.76/12.28	c (6,0) c Binaries_winner : 1077
61.76/12.28	c (6,0) c Glues_0 : 2947
61.76/12.28	c (6,0) c Glues_1 : 2872
61.76/12.28	c (6,0) c Glues_2 : 3059
61.76/12.28	c (6,0) c Glues_3 : 2813
61.76/12.28	c (6,0) c Glues_4 : 2886
61.76/12.28	c (6,0) c Glues_5 : 2871
61.76/12.28	c (6,0) c Glues_6 : 2863
61.76/12.28	c (6,0) c Glues_7 : 2900
61.76/12.28	c (6,0) c Glues_total : 23211
61.76/12.28	c (6,0) c Glues_winner : 2813
61.76/12.28	c (6,0) c RunningTime_0 : 5.977102
61.76/12.28	c (6,0) c RunningTime_1 : 6.033403
61.76/12.28	c (6,0) c RunningTime_2 : 5.858017
61.76/12.28	c (6,0) c RunningTime_3 : 5.855108
61.76/12.28	c (6,0) c RunningTime_4 : 5.906194
61.76/12.28	c (6,0) c RunningTime_5 : 5.941101
61.76/12.28	c (6,0) c RunningTime_6 : 6.000585
61.76/12.28	c (6,0) c RunningTime_7 : 5.821575
61.76/12.28	c (6,0) c RunningTime_total : 47.393084
61.76/12.28	c (6,0) c RunningTime_winner : 5.855108
61.76/12.28	c (6,0) c WaitingTime_0 : 0.000050
61.76/12.28	c (6,0) c WaitingTime_1 : 0.000032
61.76/12.28	c (6,0) c WaitingTime_2 : 0.000066
61.76/12.28	c (6,0) c WaitingTime_3 : 0.000042
61.76/12.28	c (6,0) c WaitingTime_4 : 0.000057
61.76/12.28	c (6,0) c WaitingTime_5 : 0.000048
61.76/12.28	c (6,0) c WaitingTime_6 : 0.000039
61.76/12.28	c (6,0) c WaitingTime_7 : 0.000051
61.76/12.28	c (6,0) c WaitingTime_total : 0.000385
61.76/12.28	c (6,0) c WaitingTime_winner : 0.000042
61.76/12.28	c (6,0) c ExchangingTime_0 : 0.016976
61.76/12.28	c (6,0) c ExchangingTime_1 : 0.016731
61.76/12.28	c (6,0) c ExchangingTime_2 : 0.018625
61.76/12.28	c (6,0) c ExchangingTime_3 : 0.019850
61.76/12.28	c (6,0) c ExchangingTime_4 : 0.016126
61.76/12.28	c (6,0) c ExchangingTime_5 : 0.017067
61.76/12.28	c (6,0) c ExchangingTime_6 : 0.018662
61.76/12.28	c (6,0) c ExchangingTime_7 : 0.019169
61.76/12.28	c (6,0) c ExchangingTime_total : 0.143205
61.76/12.28	c (6,0) c ExchangingTime_winner : 0.019850
61.76/12.28	c (6,0) c PeriodProcTime_0 : 0.000446
61.76/12.28	c (6,0) c PeriodProcTime_1 : 0.000411
61.76/12.28	c (6,0) c PeriodProcTime_2 : 0.000397
61.76/12.28	c (6,0) c PeriodProcTime_3 : 0.000384
61.76/12.28	c (6,0) c PeriodProcTime_4 : 0.000373
61.76/12.28	c (6,0) c PeriodProcTime_5 : 0.000367
61.76/12.28	c (6,0) c PeriodProcTime_6 : 0.000407
61.76/12.28	c (6,0) c PeriodProcTime_7 : 0.000400
61.76/12.28	c (6,0) c PeriodProcTime_total : 0.003185
61.76/12.28	c (6,0) c PeriodProcTime_winner : 0.000384
61.76/12.28	c (6,0) c SolvingTime_0 : 5.994573
61.76/12.28	c (6,0) c SolvingTime_1 : 6.050576
61.76/12.28	c (6,0) c SolvingTime_2 : 5.877105
61.76/12.28	c (6,0) c SolvingTime_3 : 5.875384
61.76/12.28	c (6,0) c SolvingTime_4 : 5.922750
61.76/12.28	c (6,0) c SolvingTime_5 : 5.958583
61.76/12.28	c (6,0) c SolvingTime_6 : 6.019693
61.76/12.28	c (6,0) c SolvingTime_7 : 5.841195
61.76/12.28	c (6,0) c SolvingTime_total : 47.539859
61.76/12.28	c (6,0) c SolvingTime_winner : 5.875384
61.76/12.28	c (6,0) c PropagationTime_0 : 5.261624
61.76/12.28	c (6,0) c PropagationTime_1 : 5.306725
61.76/12.28	c (6,0) c PropagationTime_2 : 5.127424
61.76/12.28	c (6,0) c PropagationTime_3 : 5.141213
61.76/12.28	c (6,0) c PropagationTime_4 : 5.179816
61.76/12.28	c (6,0) c PropagationTime_5 : 5.208457
61.76/12.28	c (6,0) c PropagationTime_6 : 5.265107
61.76/12.28	c (6,0) c PropagationTime_7 : 5.118121
61.76/12.28	c (6,0) c PropagationTime_total : 41.608487
61.76/12.28	c (6,0) c PropagationTime_winner : 5.141213
61.76/12.28	c (6,0) c AnalysisTime_0 : 0.473190
61.76/12.28	c (6,0) c AnalysisTime_1 : 0.482316
61.76/12.28	c (6,0) c AnalysisTime_2 : 0.482012
61.76/12.28	c (6,0) c AnalysisTime_3 : 0.470643
61.76/12.28	c (6,0) c AnalysisTime_4 : 0.488912
61.76/12.28	c (6,0) c AnalysisTime_5 : 0.481519
61.76/12.28	c (6,0) c AnalysisTime_6 : 0.499416
61.76/12.28	c (6,0) c AnalysisTime_7 : 0.465845
61.76/12.28	c (6,0) c AnalysisTime_total : 3.843853
61.76/12.28	c (6,0) c AnalysisTime_winner : 0.470643
61.76/12.28	c (6,0) c ReductionTime_0 : 0.055251
61.76/12.28	c (6,0) c ReductionTime_1 : 0.058621
61.76/12.28	c (6,0) c ReductionTime_2 : 0.059530
61.76/12.28	c (6,0) c ReductionTime_3 : 0.058218
61.76/12.28	c (6,0) c ReductionTime_4 : 0.037194
61.76/12.28	c (6,0) c ReductionTime_5 : 0.060616
61.76/12.28	c (6,0) c ReductionTime_6 : 0.057331
61.76/12.28	c (6,0) c ReductionTime_7 : 0.059289
61.76/12.28	c (6,0) c ReductionTime_total : 0.446049
61.76/12.28	c (6,0) c ReductionTime_winner : 0.058218
61.76/12.28	c (6,0) c SimplifyTime_0 : 0.012457
61.76/12.28	c (6,0) c SimplifyTime_1 : 0.012520
61.76/12.28	c (6,0) c SimplifyTime_2 : 0.011164
61.76/12.28	c (6,0) c SimplifyTime_3 : 0.012989
61.76/12.28	c (6,0) c SimplifyTime_4 : 0.011291
61.76/12.28	c (6,0) c SimplifyTime_5 : 0.012949
61.76/12.28	c (6,0) c SimplifyTime_6 : 0.009715
61.76/12.28	c (6,0) c SimplifyTime_7 : 0.010964
61.76/12.28	c (6,0) c SimplifyTime_total : 0.094048
61.76/12.28	c (6,0) c SimplifyTime_winner : 0.012989
61.76/12.28	c (6,0) c UsedRateTime_0 : 0.000000
61.76/12.28	c (6,0) c UsedRateTime_1 : 0.000000
61.76/12.28	c (6,0) c UsedRateTime_2 : 0.000000
61.76/12.28	c (6,0) c UsedRateTime_3 : 0.000000
61.76/12.28	c (6,0) c UsedRateTime_4 : 0.000000
61.76/12.28	c (6,0) c UsedRateTime_5 : 0.000000
61.76/12.28	c (6,0) c UsedRateTime_6 : 0.000000
61.76/12.28	c (6,0) c UsedRateTime_7 : 0.000000
61.76/12.28	c (6,0) c UsedRateTime_total : 0.000000
61.76/12.28	c (6,0) c UsedRateTime_winner : 0.000000
61.76/12.28	c (6,0) c OverlapRateTime_0 : 0.000000
61.76/12.28	c (6,0) c OverlapRateTime_1 : 0.000000
61.76/12.28	c (6,0) c OverlapRateTime_2 : 0.000000
61.76/12.28	c (6,0) c OverlapRateTime_3 : 0.000000
61.76/12.28	c (6,0) c OverlapRateTime_4 : 0.000000
61.76/12.28	c (6,0) c OverlapRateTime_5 : 0.000000
61.76/12.28	c (6,0) c OverlapRateTime_6 : 0.000000
61.76/12.28	c (6,0) c OverlapRateTime_7 : 0.000000
61.76/12.28	c (6,0) c OverlapRateTime_total : 0.000000
61.76/12.28	c (6,0) c OverlapRateTime_winner : 0.000000
61.76/12.28	c (6,0) c
61.76/12.28	c (6,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
61.76/12.28	c (6,0) c
61.76/12.28	c (6,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
61.76/12.28	c (6,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
61.76/12.28	c (6,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
61.76/12.28	c (6,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
61.76/12.28	c (6,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
61.76/12.28	c (6,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
61.76/12.28	c (6,0) c | Initial random_seed   | 1294781059 |  743031971 | 1710083562 |  849902907 |  329576418 | 1663853740 |  315964474 | 1788823234 |
61.76/12.28	c (6,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
61.76/12.28	c (6,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
61.76/12.28	c (6,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
61.76/12.28	c (6,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
61.76/12.28	c (6,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
61.76/12.28	c (6,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
61.76/12.28	c (6,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
61.76/12.28	c (6,0) c | var_decay             |     0.9100 |     0.9100 |     0.9100 |     0.9100 |     0.9100 |     0.9100 |     0.9100 |     0.9200 |
61.76/12.28	c (6,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
61.76/12.28	c (6,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
61.76/12.28	c (6,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
61.76/12.28	c (6,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
61.76/12.28	c (6,0) 
61.76/12.29	c (6,0) s UNSATISFIABLE
61.76/12.29	c (6,0) SatSolver.solve End
61.76/12.29	c (6,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
61.76/12.29	c (6,0) Show results Begin
61.76/12.29	s UNSATISFIABLE
61.76/12.29	c (6,0) Show results End
61.76/12.29	c (6,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
61.76/12.29	c (6,0) 6,6,STOP-AFTER(ALL)
61.76/12.29	c END-Prog: Tue Sep 24 16:39:10 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 (14074 MiB free)
  memory of node 1: 16384 MiB (10986 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4405150-1569335979/watcher-4405150-1569335979 -o /var/tmp/evaluation-result-4405150-1569335979/solver-4405150-1569335979 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node140-1569335937-9287 --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-4405150-1569335979.xml 

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

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


[startup+0.100061 s]*
/proc/loadavg: 0.00 0.01 0.05 3/211 9326
/proc/meminfo: memFree=25568328/32770624 swapFree=66997504/67108860
[pid=9304] ppid=9301 vsize=113128 memory=1400 CPUtime=0 cores=0-7
/proc/9304/stat : 9304 (scop.sh) S 9301 9304 9260 0 -1 4202496 556 321 0 0 0 0 0 0 20 0 1 0 509536207 115843072 350 33554432000 4194304 5098028 140726101350704 140726101347960 139791439135356 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 21770240 140726101353213 140726101353560 140726101353560 140726101356489 0
/proc/9304/statm: 28282 350 297 221 0 87 0
[pid=9307] ppid=9304 vsize=27314120 memory=105448 CPUtime=0.1 cores=0-7
/proc/9307/stat : 9307 (java) S 9304 9304 9260 0 -1 1077944320 6420 0 0 0 7 3 0 0 20 0 20 0 509536208 27969658880 26362 33554432000 4194304 4196468 140735311885600 140735311868144 140019722624759 0 0 2 16800973 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 21004288 140735311893192 140735311893638 140735311893638 140735311896527 0
/proc/9307/statm: 6828530 26362 2771 1 0 6790935 0
[pid=9307/tid=9308] ppid=9304 vsize=27314120 memory=4134692831991783777 CPUtime=0.08 cores=0-7
/proc/9307/task/9308/stat : 9308 (java) R 9304 9304 9260 0 -1 4202560 4544 0 0 0 6 2 0 0 20 0 20 0 509536208 27969658880 26362 33554432000 4194304 4196468 140735311885600 140019694461600 140019722646685 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21004288 140735311893192 140735311893638 140735311893638 140735311896527 0
[pid=9307/tid=9309] ppid=9304 vsize=27314120 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/9307/task/9309/stat : 9309 (java) S 9304 9304 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509536211 27969658880 26362 33554432000 4194304 4196468 140735311885600 140019726867216 140019722634965 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21004288 140735311893192 140735311893638 140735311893638 140735311896527 0
[pid=9307/tid=9310] ppid=9304 vsize=27314120 memory=139719840859776 CPUtime=0 cores=0-7
/proc/9307/task/9310/stat : 9310 (java) S 9304 9304 9260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509536211 27969658880 26362 33554432000 4194304 4196468 140735311885600 140019144960912 140019722634965 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21004288 140735311893192 140735311893638 140735311893638 140735311896527 0
[pid=9307/tid=9311] ppid=9304 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9307/task/9311/stat : 9311 (java) S 9304 9304 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509536211 27969658880 26362 33554432000 4194304 4196468 140735311885600 140019143908368 140019722634965 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21004288 140735311893192 140735311893638 140735311893638 140735311896527 0
[pid=9307/tid=9312] ppid=9304 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9307/task/9312/stat : 9312 (java) S 9304 9304 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509536211 27969658880 26362 33554432000 4194304 4196468 140735311885600 140019142855824 140019722634965 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21004288 140735311893192 140735311893638 140735311893638 140735311896527 0
[pid=9307/tid=9313] ppid=9304 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9307/task/9313/stat : 9313 (java) S 9304 9304 9260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509536211 27969658880 26362 33554432000 4194304 4196468 140735311885600 140019141802256 140019722634965 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21004288 140735311893192 140735311893638 140735311893638 140735311896527 0
[pid=9307/tid=9314] ppid=9304 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/9307/task/9314/stat : 9314 (java) S 9304 9304 9260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509536211 27969658880 26362 33554432000 4194304 4196468 140735311885600 140019140749712 140019722634965 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21004288 140735311893192 140735311893638 140735311893638 140735311896527 0
[pid=9307/tid=9315] ppid=9304 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9307/task/9315/stat : 9315 (java) S 9304 9304 9260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509536211 27969658880 26362 33554432000 4194304 4196468 140735311885600 140019139697168 140019722634965 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21004288 140735311893192 140735311893638 140735311893638 140735311896527 0
[pid=9307/tid=9316] ppid=9304 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9307/task/9316/stat : 9316 (java) S 9304 9304 9260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509536211 27969658880 26362 33554432000 4194304 4196468 140735311885600 140019138644624 140019722634965 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21004288 140735311893192 140735311893638 140735311893638 140735311896527 0
[pid=9307/tid=9317] ppid=9304 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9307/task/9317/stat : 9317 (java) S 9304 9304 9260 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 20 0 509536212 27969658880 26362 33554432000 4194304 4196468 140735311885600 140018713909744 140019722635906 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21004288 140735311893192 140735311893638 140735311893638 140735311896527 0
[pid=9307/tid=9318] ppid=9304 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9307/task/9318/stat : 9318 (java) S 9304 9304 9260 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 509536213 27969658880 26362 33554432000 4194304 4196468 140735311885600 140017611564448 140019722634965 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21004288 140735311893192 140735311893638 140735311893638 140735311896527 0
[pid=9307/tid=9319] ppid=9304 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9307/task/9319/stat : 9319 (java) S 9304 9304 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509536213 27969658880 26362 33554432000 4194304 4196468 140735311885600 140017343129072 140019722634965 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21004288 140735311893192 140735311893638 140735311893638 140735311896527 0
[pid=9307/tid=9320] ppid=9304 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9307/task/9320/stat : 9320 (java) S 9304 9304 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509536216 27969658880 26362 33554432000 4194304 4196468 140735311885600 140016968620752 140019722643355 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21004288 140735311893192 140735311893638 140735311893638 140735311896527 0
[pid=9307/tid=9321] ppid=9304 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9307/task/9321/stat : 9321 (java) S 9304 9304 9260 0 -1 1077944384 304 0 0 0 0 0 0 0 20 0 20 0 509536216 27969658880 26362 33554432000 4194304 4196468 140735311885600 140018712856560 140019722635906 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21004288 140735311893192 140735311893638 140735311893638 140735311896527 0
[pid=9307/tid=9322] ppid=9304 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9307/task/9322/stat : 9322 (java) S 9304 9304 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509536216 27969658880 26362 33554432000 4194304 4196468 140735311885600 140018711804016 140019722635906 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21004288 140735311893192 140735311893638 140735311893638 140735311896527 0
[pid=9307/tid=9323] ppid=9304 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9307/task/9323/stat : 9323 (java) S 9304 9304 9260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509536216 27969658880 26362 33554432000 4194304 4196468 140735311885600 140018710751472 140019722635906 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21004288 140735311893192 140735311893638 140735311893638 140735311896527 0
[pid=9307/tid=9324] ppid=9304 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9307/task/9324/stat : 9324 (java) S 9304 9304 9260 0 -1 1077944384 241 0 0 0 0 0 0 0 20 0 20 0 509536216 27969658880 26362 33554432000 4194304 4196468 140735311885600 140018709698928 140019722635906 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21004288 140735311893192 140735311893638 140735311893638 140735311896527 0
[pid=9307/tid=9325] ppid=9304 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9307/task/9325/stat : 9325 (java) S 9304 9304 9260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509536216 27969658880 26362 33554432000 4194304 4196468 140735311885600 140016470715104 140019722634965 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21004288 140735311893192 140735311893638 140735311893638 140735311896527 0
[pid=9307/tid=9326] ppid=9304 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/9307/task/9326/stat : 9326 (java) S 9304 9304 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509536216 27969658880 26362 33554432000 4194304 4196468 140735311885600 140018708646832 140019722635906 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21004288 140735311893192 140735311893638 140735311893638 140735311896527 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 106848 KiB

[startup+0.210493 s]*
/proc/loadavg: 0.00 0.01 0.05 2/211 9326
/proc/meminfo: memFree=25549204/32770624 swapFree=66997504/67108860
[pid=9304] ppid=9301 vsize=113128 memory=1400 CPUtime=0 cores=0-7
/proc/9304/stat : 9304 (scop.sh) S 9301 9304 9260 0 -1 4202496 556 321 0 0 0 0 0 0 20 0 1 0 509536207 115843072 350 33554432000 4194304 5098028 140726101350704 140726101347960 139791439135356 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 21770240 140726101353213 140726101353560 140726101353560 140726101356489 0
/proc/9304/statm: 28282 350 297 221 0 87 0
[pid=9307] ppid=9304 vsize=27314120 memory=122688 CPUtime=0.24 cores=0-7
/proc/9307/stat : 9307 (java) S 9304 9304 9260 0 -1 1077944320 11587 0 0 0 19 5 0 0 20 0 20 0 509536208 27969658880 30672 33554432000 4194304 4196468 140735311885600 140735311868144 140019722624759 0 0 2 16800973 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 21004288 140735311893192 140735311893638 140735311893638 140735311896527 0
/proc/9307/statm: 6828530 30672 2950 1 0 6790935 0
[pid=9307/tid=9308] ppid=9304 vsize=27314120 memory=8318255677412212789 CPUtime=0.18 cores=0-7
/proc/9307/task/9308/stat : 9308 (java) R 9304 9304 9260 0 -1 4202560 9242 0 0 0 15 3 0 0 20 0 20 0 509536208 27969658880 30738 33554432000 4194304 4196468 140735311885600 140019694424144 140019706705276 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21004288 140735311893192 140735311893638 140735311893638 140735311896527 0
[pid=9307/tid=9309] ppid=9304 vsize=27314120 memory=339 CPUtime=0 cores=0-7
/proc/9307/task/9309/stat : 9309 (java) S 9304 9304 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509536211 27969658880 30738 33554432000 4194304 4196468 140735311885600 140019726867216 140019722634965 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21004288 140735311893192 140735311893638 140735311893638 140735311896527 0
[pid=9307/tid=9310] ppid=9304 vsize=27314120 memory=139719840869334 CPUtime=0 cores=0-7
/proc/9307/task/9310/stat : 9310 (java) S 9304 9304 9260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509536211 27969658880 30738 33554432000 4194304 4196468 140735311885600 140019144960912 140019722634965 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21004288 140735311893192 140735311893638 140735311893638 140735311896527 0
[pid=9307/tid=9311] ppid=9304 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/9307/task/9311/stat : 9311 (java) S 9304 9304 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509536211 27969658880 30738 33554432000 4194304 4196468 140735311885600 140019143908368 140019722634965 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21004288 140735311893192 140735311893638 140735311893638 140735311896527 0
[pid=9307/tid=9312] ppid=9304 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9307/task/9312/stat : 9312 (java) S 9304 9304 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509536211 27969658880 30738 33554432000 4194304 4196468 140735311885600 140019142855824 140019722634965 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21004288 140735311893192 140735311893638 140735311893638 140735311896527 0
[pid=9307/tid=9313] ppid=9304 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9307/task/9313/stat : 9313 (java) S 9304 9304 9260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509536211 27969658880 30738 33554432000 4194304 4196468 140735311885600 140019141802256 140019722634965 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21004288 140735311893192 140735311893638 140735311893638 140735311896527 0
[pid=9307/tid=9314] ppid=9304 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/9307/task/9314/stat : 9314 (java) S 9304 9304 9260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509536211 27969658880 30738 33554432000 4194304 4196468 140735311885600 140019140749712 140019722634965 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21004288 140735311893192 140735311893638 140735311893638 140735311896527 0
[pid=9307/tid=9315] ppid=9304 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9307/task/9315/stat : 9315 (java) S 9304 9304 9260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509536211 27969658880 30738 33554432000 4194304 4196468 140735311885600 140019139697168 140019722634965 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21004288 140735311893192 140735311893638 140735311893638 140735311896527 0
[pid=9307/tid=9316] ppid=9304 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9307/task/9316/stat : 9316 (java) S 9304 9304 9260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509536211 27969658880 30738 33554432000 4194304 4196468 140735311885600 140019138644624 140019722634965 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21004288 140735311893192 140735311893638 140735311893638 140735311896527 0
[pid=9307/tid=9317] ppid=9304 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9307/task/9317/stat : 9317 (java) S 9304 9304 9260 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 20 0 509536212 27969658880 30738 33554432000 4194304 4196468 140735311885600 140018713909744 140019722635906 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21004288 140735311893192 140735311893638 140735311893638 140735311896527 0
[pid=9307/tid=9318] ppid=9304 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9307/task/9318/stat : 9318 (java) S 9304 9304 9260 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 509536213 27969658880 30738 33554432000 4194304 4196468 140735311885600 140017611564448 140019722634965 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21004288 140735311893192 140735311893638 140735311893638 140735311896527 0
[pid=9307/tid=9319] ppid=9304 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9307/task/9319/stat : 9319 (java) S 9304 9304 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509536213 27969658880 30738 33554432000 4194304 4196468 140735311885600 140017343129072 140019722634965 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21004288 140735311893192 140735311893638 140735311893638 140735311896527 0
[pid=9307/tid=9320] ppid=9304 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9307/task/9320/stat : 9320 (java) S 9304 9304 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509536216 27969658880 30738 33554432000 4194304 4196468 140735311885600 140016968620752 140019722643355 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21004288 140735311893192 140735311893638 140735311893638 140735311896527 0
[pid=9307/tid=9321] ppid=9304 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9307/task/9321/stat : 9321 (java) S 9304 9304 9260 0 -1 1077944384 317 0 0 0 0 0 0 0 20 0 20 0 509536216 27969658880 30738 33554432000 4194304 4196468 140735311885600 140018712856560 140019722635906 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21004288 140735311893192 140735311893638 140735311893638 140735311896527 0
[pid=9307/tid=9322] ppid=9304 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9307/task/9322/stat : 9322 (java) S 9304 9304 9260 0 -1 1077944384 160 0 0 0 0 0 0 0 20 0 20 0 509536216 27969658880 30738 33554432000 4194304 4196468 140735311885600 140018711804016 140019722635906 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21004288 140735311893192 140735311893638 140735311893638 140735311896527 0
[pid=9307/tid=9323] ppid=9304 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/9307/task/9323/stat : 9323 (java) S 9304 9304 9260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509536216 27969658880 30738 33554432000 4194304 4196468 140735311885600 140018710751472 140019722635906 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21004288 140735311893192 140735311893638 140735311893638 140735311896527 0
[pid=9307/tid=9324] ppid=9304 vsize=27314120 memory=-1 CPUtime=0.02 cores=0-7
/proc/9307/task/9324/stat : 9324 (java) R 9304 9304 9260 0 -1 4202560 529 0 0 0 2 0 0 0 20 0 20 0 509536216 27969658880 30738 33554432000 4194304 4196468 140735311885600 140018709698928 140019722646106 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21004288 140735311893192 140735311893638 140735311893638 140735311896527 0
[pid=9307/tid=9325] ppid=9304 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9307/task/9325/stat : 9325 (java) S 9304 9304 9260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509536216 27969658880 30738 33554432000 4194304 4196468 140735311885600 140016470715104 140019722634965 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21004288 140735311893192 140735311893638 140735311893638 140735311896527 0
[pid=9307/tid=9326] ppid=9304 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/9307/task/9326/stat : 9326 (java) S 9304 9304 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509536216 27969658880 30738 33554432000 4194304 4196468 140735311885600 140018708646832 140019722635906 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21004288 140735311893192 140735311893638 140735311893638 140735311896527 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 124088 KiB

[startup+0.310291 s]*
/proc/loadavg: 0.00 0.01 0.05 2/211 9326
/proc/meminfo: memFree=25546404/32770624 swapFree=66997504/67108860
[pid=9304] ppid=9301 vsize=113128 memory=1400 CPUtime=0 cores=0-7
/proc/9304/stat : 9304 (scop.sh) S 9301 9304 9260 0 -1 4202496 556 321 0 0 0 0 0 0 20 0 1 0 509536207 115843072 350 33554432000 4194304 5098028 140726101350704 140726101347960 139791439135356 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 21770240 140726101353213 140726101353560 140726101353560 140726101356489 0
/proc/9304/statm: 28282 350 297 221 0 87 0
[pid=9307] ppid=9304 vsize=27314120 memory=126932 CPUtime=0.41 cores=0-7
/proc/9307/stat : 9307 (java) S 9304 9304 9260 0 -1 1077944320 12627 0 0 0 36 5 0 0 20 0 20 0 509536208 27969658880 31733 33554432000 4194304 4196468 140735311885600 140735311868144 140019722624759 0 0 2 16800973 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 21004288 140735311893192 140735311893638 140735311893638 140735311896527 0
/proc/9307/statm: 6828530 31733 3034 1 0 6790935 0
[pid=9307/tid=9308] ppid=9304 vsize=27314120 memory=8112282956445269571 CPUtime=0.29 cores=0-7
/proc/9307/task/9308/stat : 9308 (java) R 9304 9304 9260 0 -1 4202560 10011 0 0 0 25 4 0 0 20 0 20 0 509536208 27969658880 31733 33554432000 4194304 4196468 140735311885600 140019694454832 140019705811568 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21004288 140735311893192 140735311893638 140735311893638 140735311896527 0
[pid=9307/tid=9309] ppid=9304 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9307/task/9309/stat : 9309 (java) S 9304 9304 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509536211 27969658880 31733 33554432000 4194304 4196468 140735311885600 140019726867216 140019722634965 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21004288 140735311893192 140735311893638 140735311893638 140735311896527 0
[pid=9307/tid=9310] ppid=9304 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9307/task/9310/stat : 9310 (java) S 9304 9304 9260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509536211 27969658880 31733 33554432000 4194304 4196468 140735311885600 140019144960912 140019722634965 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21004288 140735311893192 140735311893638 140735311893638 140735311896527 0
[pid=9307/tid=9311] ppid=9304 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9307/task/9311/stat : 9311 (java) S 9304 9304 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509536211 27969658880 31733 33554432000 4194304 4196468 140735311885600 140019143908368 140019722634965 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21004288 140735311893192 140735311893638 140735311893638 140735311896527 0
[pid=9307/tid=9312] ppid=9304 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9307/task/9312/stat : 9312 (java) S 9304 9304 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509536211 27969658880 31733 33554432000 4194304 4196468 140735311885600 140019142855824 140019722634965 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21004288 140735311893192 140735311893638 140735311893638 140735311896527 0
[pid=9307/tid=9313] ppid=9304 vsize=27314120 memory=2244 CPUtime=0 cores=0-7
/proc/9307/task/9313/stat : 9313 (java) S 9304 9304 9260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509536211 27969658880 31733 33554432000 4194304 4196468 140735311885600 140019141802256 140019722634965 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21004288 140735311893192 140735311893638 140735311893638 140735311896527 0
[pid=9307/tid=9314] ppid=9304 vsize=27314120 memory=139719715419055 CPUtime=0 cores=0-7
/proc/9307/task/9314/stat : 9314 (java) S 9304 9304 9260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509536211 27969658880 31733 33554432000 4194304 4196468 140735311885600 140019140749712 140019722634965 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21004288 140735311893192 140735311893638 140735311893638 140735311896527 0
[pid=9307/tid=9315] ppid=9304 vsize=27314120 memory=139719715421360 CPUtime=0 cores=0-7
/proc/9307/task/9315/stat : 9315 (java) S 9304 9304 9260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509536211 27969658880 31733 33554432000 4194304 4196468 140735311885600 140019139697168 140019722634965 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21004288 140735311893192 140735311893638 140735311893638 140735311896527 0
[pid=9307/tid=9316] ppid=9304 vsize=27314120 memory=139719715423664 CPUtime=0 cores=0-7
/proc/9307/task/9316/stat : 9316 (java) S 9304 9304 9260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509536211 27969658880 31733 33554432000 4194304 4196468 140735311885600 140019138644624 140019722634965 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21004288 140735311893192 140735311893638 140735311893638 140735311896527 0
[pid=9307/tid=9317] ppid=9304 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9307/task/9317/stat : 9317 (java) S 9304 9304 9260 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 20 0 509536212 27969658880 31733 33554432000 4194304 4196468 140735311885600 140018713909744 140019722635906 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21004288 140735311893192 140735311893638 140735311893638 140735311896527 0
[pid=9307/tid=9318] ppid=9304 vsize=27314120 memory=279439430854288 CPUtime=0 cores=0-7
/proc/9307/task/9318/stat : 9318 (java) S 9304 9304 9260 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 509536213 27969658880 31733 33554432000 4194304 4196468 140735311885600 140017611564448 140019722634965 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21004288 140735311893192 140735311893638 140735311893638 140735311896527 0
[pid=9307/tid=9319] ppid=9304 vsize=27314120 memory=279439430861200 CPUtime=0 cores=0-7
/proc/9307/task/9319/stat : 9319 (java) S 9304 9304 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509536213 27969658880 31733 33554432000 4194304 4196468 140735311885600 140017343129072 140019722634965 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21004288 140735311893192 140735311893638 140735311893638 140735311896527 0
[pid=9307/tid=9320] ppid=9304 vsize=27314120 memory=279439430802352 CPUtime=0 cores=0-7
/proc/9307/task/9320/stat : 9320 (java) S 9304 9304 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509536216 27969658880 31733 33554432000 4194304 4196468 140735311885600 140016968620752 140019722643355 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21004288 140735311893192 140735311893638 140735311893638 140735311896527 0
[pid=9307/tid=9321] ppid=9304 vsize=27314120 memory=279439430875024 CPUtime=0 cores=0-7
/proc/9307/task/9321/stat : 9321 (java) S 9304 9304 9260 0 -1 1077944384 326 0 0 0 0 0 0 0 20 0 20 0 509536216 27969658880 31733 33554432000 4194304 4196468 140735311885600 140018712856560 140019722635906 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21004288 140735311893192 140735311893638 140735311893638 140735311896527 0
[pid=9307/tid=9322] ppid=9304 vsize=27314120 memory=279439430881936 CPUtime=0.01 cores=0-7
/proc/9307/task/9322/stat : 9322 (java) S 9304 9304 9260 0 -1 1077944384 248 0 0 0 1 0 0 0 20 0 20 0 509536216 27969658880 31733 33554432000 4194304 4196468 140735311885600 140018711804016 140019722635906 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21004288 140735311893192 140735311893638 140735311893638 140735311896527 0
[pid=9307/tid=9323] ppid=9304 vsize=27314120 memory=279439430879632 CPUtime=0.01 cores=0-7
/proc/9307/task/9323/stat : 9323 (java) S 9304 9304 9260 0 -1 1077944384 72 0 0 0 1 0 0 0 20 0 20 0 509536216 27969658880 31733 33554432000 4194304 4196468 140735311885600 140018710751472 140019722635906 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21004288 140735311893192 140735311893638 140735311893638 140735311896527 0
[pid=9307/tid=9324] ppid=9304 vsize=27314120 memory=279439430895792 CPUtime=0.07 cores=0-7
/proc/9307/task/9324/stat : 9324 (java) S 9304 9304 9260 0 -1 1077944384 632 0 0 0 7 0 0 0 20 0 20 0 509536216 27969658880 31733 33554432000 4194304 4196468 140735311885600 140018709698928 140019722635906 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21004288 140735311893192 140735311893638 140735311893638 140735311896527 0
[pid=9307/tid=9325] ppid=9304 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9307/task/9325/stat : 9325 (java) S 9304 9304 9260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509536216 27969658880 31733 33554432000 4194304 4196468 140735311885600 140016470715104 140019722634965 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21004288 140735311893192 140735311893638 140735311893638 140735311896527 0
[pid=9307/tid=9326] ppid=9304 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/9307/task/9326/stat : 9326 (java) S 9304 9304 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509536216 27969658880 31733 33554432000 4194304 4196468 140735311885600 140018708646832 140019722635906 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21004288 140735311893192 140735311893638 140735311893638 140735311896527 0
Current children cumulated CPU time: 0.41 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 128332 KiB

[startup+0.701456 s]
/proc/loadavg: 0.00 0.01 0.05 3/211 9326
/proc/meminfo: memFree=25522848/32770624 swapFree=66997504/67108860
[pid=9304] ppid=9301 vsize=113128 memory=1400 CPUtime=0 cores=0-7
/proc/9304/stat : 9304 (scop.sh) S 9301 9304 9260 0 -1 4202496 556 321 0 0 0 0 0 0 20 0 1 0 509536207 115843072 350 33554432000 4194304 5098028 140726101350704 140726101347960 139791439135356 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 21770240 140726101353213 140726101353560 140726101353560 140726101356489 0
/proc/9304/statm: 28282 350 297 221 0 87 0
[pid=9307] ppid=9304 vsize=27320392 memory=164764 CPUtime=0.98 cores=0-7
/proc/9307/stat : 9307 (java) S 9304 9304 9260 0 -1 1077944320 20201 0 0 0 90 8 0 0 20 0 20 0 509536208 27976081408 41191 33554432000 4194304 4196468 140735311885600 140735311868144 140019722624759 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 21004288 140735311893192 140735311893638 140735311893638 140735311896527 0
/proc/9307/statm: 6830098 41191 3199 1 0 6791447 0
[pid=9307/tid=9308] ppid=9304 vsize=27320392 memory=279439431253680 CPUtime=0.67 cores=0-7
/proc/9307/task/9308/stat : 9308 (java) R 9304 9304 9260 0 -1 4202560 16965 0 0 0 61 6 0 0 20 0 20 0 509536208 27976081408 41191 33554432000 4194304 4196468 140735311885600 140019694455280 140019225900238 0 4 2 25189581 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 21004288 140735311893192 140735311893638 140735311893638 140735311896527 0
[pid=9307/tid=9309] ppid=9304 vsize=27320392 memory=139719715627888 CPUtime=0 cores=0-7
/proc/9307/task/9309/stat : 9309 (java) S 9304 9304 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509536211 27976081408 41191 33554432000 4194304 4196468 140735311885600 140019726867216 140019722634965 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21004288 140735311893192 140735311893638 140735311893638 140735311896527 0
[pid=9307/tid=9310] ppid=9304 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/9307/task/9310/stat : 9310 (java) S 9304 9304 9260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509536211 27976081408 41191 33554432000 4194304 4196468 140735311885600 140019144960912 140019722634965 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21004288 140735311893192 140735311893638 140735311893638 140735311896527 0
[pid=9307/tid=9311] ppid=9304 vsize=27320392 memory=6124 CPUtime=0 cores=0-7
/proc/9307/task/9311/stat : 9311 (java) S 9304 9304 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509536211 27976081408 41191 33554432000 4194304 4196468 140735311885600 140019143908368 140019722634965 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21004288 140735311893192 140735311893638 140735311893638 140735311896527 0

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

Current children cumulated CPU time: 54.2 s
Current children cumulated vsize: 9164632 KiB
Current children cumulated memory: 229092 KiB

[startup+12.0014 s]*
/proc/loadavg: 1.36 0.31 0.14 9/224 9360
/proc/meminfo: memFree=25439968/32770624 swapFree=66997504/67108860
[pid=9304] ppid=9301 vsize=113128 memory=1476 CPUtime=13.31 cores=0-7
/proc/9304/stat : 9304 (scop.sh) S 9301 9304 9260 0 -1 4202496 583 31780 0 0 0 0 1296 35 20 0 1 0 509536207 115843072 369 33554432000 4194304 5098028 140726101350704 140726101347448 139791439135356 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 21770240 140726101353213 140726101353560 140726101353560 140726101356489 0
/proc/9304/statm: 28282 369 311 221 0 87 0
[pid=9327] ppid=9304 vsize=8414124 memory=120528 CPUtime=1.26 cores=0-7
/proc/9327/stat : 9327 (java) S 9304 9304 9260 0 -1 1077944320 20183 0 0 0 118 8 0 0 20 0 24 0 509536748 8616062976 30132 33554432000 4194304 4196468 140726826126864 140726826109408 140096077762295 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 32346112 140726826132448 140726826132614 140726826132614 140726826135503 0
/proc/9327/statm: 2103531 30132 3199 1 0 2064875 0
[pid=9347] ppid=9327 vsize=638312 memory=110184 CPUtime=46.08 cores=0-7
/proc/9347/stat : 9347 (manyglucose-4.1) S 9327 9304 9260 0 -1 1077944320 71791 0 0 0 4588 20 0 0 20 0 9 0 509536824 653631488 27546 33554432000 4194304 4454172 140728568653696 140728568652096 139865771199106 0 4 0 8388610 18446744073709551615 0 0 17 4 0 0 0 0 0 6552832 6554400 12853248 140728568656718 140728568656924 140728568656924 140728568659894 0
/proc/9347/statm: 159578 27546 402 64 0 155246 0
[pid=9347/tid=9353] ppid=9327 vsize=638312 memory=0 CPUtime=5.64 cores=0-7
/proc/9347/task/9353/stat : 9353 (manyglucose-4.1) R 9327 9304 9260 0 -1 4202560 7484 0 0 0 561 3 0 0 20 0 9 0 509536829 653631488 27546 33554432000 4194304 4454172 140728568653696 139865755970488 4350933 0 4 0 8388610 0 0 0 -1 7 0 0 0 0 0 6552832 6554400 12853248 140728568656718 140728568656924 140728568656924 140728568659894 0
[pid=9347/tid=9354] ppid=9327 vsize=638312 memory=-1 CPUtime=5.73 cores=0-7
/proc/9347/task/9354/stat : 9354 (manyglucose-4.1) R 9327 9304 9260 0 -1 4202560 8374 0 0 0 571 2 0 0 20 0 9 0 509536829 653631488 27546 33554432000 4194304 4454172 140728568653696 139865747577960 4327376 0 4 0 8388610 0 0 0 -1 6 0 0 0 0 0 6552832 6554400 12853248 140728568656718 140728568656924 140728568656924 140728568659894 0
[pid=9347/tid=9355] ppid=9327 vsize=638312 memory=139719840859776 CPUtime=5.77 cores=0-7
/proc/9347/task/9355/stat : 9355 (manyglucose-4.1) R 9327 9304 9260 0 -1 4202560 8379 0 0 0 576 1 0 0 20 0 9 0 509536829 653631488 27546 33554432000 4194304 4454172 140728568653696 139865739184952 4351286 0 4 0 8388610 0 0 0 -1 1 0 0 0 0 0 6552832 6554400 12853248 140728568656718 140728568656924 140728568656924 140728568659894 0
[pid=9347/tid=9356] ppid=9327 vsize=638312 memory=0 CPUtime=5.78 cores=0-7
/proc/9347/task/9356/stat : 9356 (manyglucose-4.1) R 9327 9304 9260 0 -1 4202560 7568 0 0 0 576 2 0 0 20 0 9 0 509536829 653631488 27546 33554432000 4194304 4454172 140728568653696 139865730792184 4349976 0 4 0 8388610 0 0 0 -1 2 0 0 0 0 0 6552832 6554400 12853248 140728568656718 140728568656924 140728568656924 140728568659894 0
[pid=9347/tid=9357] ppid=9327 vsize=638312 memory=0 CPUtime=5.73 cores=0-7
/proc/9347/task/9357/stat : 9357 (manyglucose-4.1) R 9327 9304 9260 0 -1 4202560 8491 0 0 0 571 2 0 0 20 0 9 0 509536829 653631488 27546 33554432000 4194304 4454172 140728568653696 139865722399480 4351338 0 4 0 8388610 0 0 0 -1 3 0 0 0 0 0 6552832 6554400 12853248 140728568656718 140728568656924 140728568656924 140728568659894 0
[pid=9347/tid=9358] ppid=9327 vsize=638312 memory=0 CPUtime=5.77 cores=0-7
/proc/9347/task/9358/stat : 9358 (manyglucose-4.1) R 9327 9304 9260 0 -1 4202560 8824 0 0 0 575 2 0 0 20 0 9 0 509536829 653631488 27546 33554432000 4194304 4454172 140728568653696 139865714007144 4351587 0 4 0 8388610 0 0 0 -1 0 0 0 0 0 0 6552832 6554400 12853248 140728568656718 140728568656924 140728568656924 140728568659894 0
[pid=9347/tid=9359] ppid=9327 vsize=638312 memory=-1 CPUtime=5.77 cores=0-7
/proc/9347/task/9359/stat : 9359 (manyglucose-4.1) R 9327 9304 9260 0 -1 4202560 9040 0 0 0 575 2 0 0 20 0 9 0 509536829 653631488 27546 33554432000 4194304 4454172 140728568653696 139865705614440 4351331 0 4 0 8388610 0 0 0 -1 4 0 0 0 0 0 6552832 6554400 12853248 140728568656718 140728568656924 140728568656924 140728568659894 0
[pid=9347/tid=9360] ppid=9327 vsize=638312 memory=0 CPUtime=5.78 cores=0-7
/proc/9347/task/9360/stat : 9360 (manyglucose-4.1) R 9327 9304 9260 0 -1 4202560 8825 0 0 0 577 1 0 0 20 0 9 0 509536829 653631488 27546 33554432000 4194304 4454172 140728568653696 139865697221720 4351800 0 4 0 8388610 0 0 0 -1 5 0 0 0 0 0 6552832 6554400 12853248 140728568656718 140728568656924 140728568656924 140728568659894 0
[pid=9327/tid=9328] ppid=9304 vsize=8414124 memory=7680170600251679038 CPUtime=0.79 cores=0-7
/proc/9327/task/9328/stat : 9328 (java) S 9304 9304 9260 0 -1 1077944384 17005 0 0 0 73 6 0 0 20 0 24 0 509536748 8616062976 30132 33554432000 4194304 4196468 140726826126864 140096049602464 140096077772501 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32346112 140726826132448 140726826132614 140726826132614 140726826135503 0
[pid=9327/tid=9329] ppid=9304 vsize=8414124 memory=6735269665564437106 CPUtime=0 cores=0-7
/proc/9327/task/9329/stat : 9329 (java) S 9304 9304 9260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 509536750 8616062976 30132 33554432000 4194304 4196468 140726826126864 140096082004240 140096077772501 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32346112 140726826132448 140726826132614 140726826132614 140726826135503 0
[pid=9327/tid=9330] ppid=9304 vsize=8414124 memory=4051327752160556337 CPUtime=0 cores=0-7
/proc/9327/task/9330/stat : 9330 (java) S 9304 9304 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509536750 8616062976 30132 33554432000 4194304 4196468 140726826126864 140095882172816 140096077772501 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32346112 140726826132448 140726826132614 140726826132614 140726826135503 0
[pid=9327/tid=9331] ppid=9304 vsize=8414124 memory=7806261323134816336 CPUtime=0 cores=0-7
/proc/9327/task/9331/stat : 9331 (java) S 9304 9304 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509536750 8616062976 30132 33554432000 4194304 4196468 140726826126864 140095881120272 140096077772501 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32346112 140726826132448 140726826132614 140726826132614 140726826135503 0
[pid=9327/tid=9332] ppid=9304 vsize=8414124 memory=7305792226131864425 CPUtime=0 cores=0-7
/proc/9327/task/9332/stat : 9332 (java) S 9304 9304 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509536750 8616062976 30132 33554432000 4194304 4196468 140726826126864 140095880067728 140096077772501 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32346112 140726826132448 140726826132614 140726826132614 140726826135503 0
[pid=9327/tid=9333] ppid=9304 vsize=8414124 memory=3472328304868209716 CPUtime=0 cores=0-7
/proc/9327/task/9333/stat : 9333 (java) S 9304 9304 9260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 509536750 8616062976 30132 33554432000 4194304 4196468 140726826126864 140095879015184 140096077772501 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32346112 140726826132448 140726826132614 140726826132614 140726826135503 0
[pid=9327/tid=9334] ppid=9304 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/9327/task/9334/stat : 9334 (java) S 9304 9304 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509536750 8616062976 30132 33554432000 4194304 4196468 140726826126864 140095877962640 140096077772501 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32346112 140726826132448 140726826132614 140726826132614 140726826135503 0
[pid=9327/tid=9335] ppid=9304 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/9327/task/9335/stat : 9335 (java) S 9304 9304 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509536750 8616062976 30132 33554432000 4194304 4196468 140726826126864 140095876910096 140096077772501 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32346112 140726826132448 140726826132614 140726826132614 140726826135503 0
[pid=9327/tid=9336] ppid=9304 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/9327/task/9336/stat : 9336 (java) S 9304 9304 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509536750 8616062976 30132 33554432000 4194304 4196468 140726826126864 140095875857552 140096077772501 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32346112 140726826132448 140726826132614 140726826132614 140726826135503 0
[pid=9327/tid=9337] ppid=9304 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/9327/task/9337/stat : 9337 (java) S 9304 9304 9260 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 509536751 8616062976 30132 33554432000 4194304 4196468 140726826126864 140095104137200 140096077773442 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32346112 140726826132448 140726826132614 140726826132614 140726826135503 0
[pid=9327/tid=9338] ppid=9304 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/9327/task/9338/stat : 9338 (java) S 9304 9304 9260 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 509536752 8616062976 30132 33554432000 4194304 4196468 140726826126864 140094719648672 140096077772501 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32346112 140726826132448 140726826132614 140726826132614 140726826135503 0
[pid=9327/tid=9339] ppid=9304 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/9327/task/9339/stat : 9339 (java) S 9304 9304 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509536752 8616062976 30132 33554432000 4194304 4196468 140726826126864 140094451213296 140096077772501 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32346112 140726826132448 140726826132614 140726826132614 140726826135503 0
[pid=9327/tid=9340] ppid=9304 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/9327/task/9340/stat : 9340 (java) S 9304 9304 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509536754 8616062976 30132 33554432000 4194304 4196468 140726826126864 140094076704976 140096077780891 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32346112 140726826132448 140726826132614 140726826132614 140726826135503 0
[pid=9327/tid=9341] ppid=9304 vsize=8414124 memory=0 CPUtime=0.07 cores=0-7
/proc/9327/task/9341/stat : 9341 (java) S 9304 9304 9260 0 -1 1077944384 631 0 0 0 7 0 0 0 20 0 24 0 509536754 8616062976 30132 33554432000 4194304 4196468 140726826126864 140095103085040 140096077773442 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32346112 140726826132448 140726826132614 140726826132614 140726826135503 0
[pid=9327/tid=9342] ppid=9304 vsize=8414124 memory=0 CPUtime=0.07 cores=0-7
/proc/9327/task/9342/stat : 9342 (java) S 9304 9304 9260 0 -1 1077944384 382 0 0 0 7 0 0 0 20 0 24 0 509536754 8616062976 30132 33554432000 4194304 4196468 140726826126864 140095102032496 140096077773442 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32346112 140726826132448 140726826132614 140726826132614 140726826135503 0
[pid=9327/tid=9343] ppid=9304 vsize=8414124 memory=0 CPUtime=0.06 cores=0-7
/proc/9327/task/9343/stat : 9343 (java) S 9304 9304 9260 0 -1 1077944384 164 0 0 0 6 0 0 0 20 0 24 0 509536754 8616062976 30132 33554432000 4194304 4196468 140726826126864 140095100979952 140096077773442 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32346112 140726826132448 140726826132614 140726826132614 140726826135503 0
[pid=9327/tid=9344] ppid=9304 vsize=8414124 memory=225 CPUtime=0.22 cores=0-7
/proc/9327/task/9344/stat : 9344 (java) S 9304 9304 9260 0 -1 1077944384 600 0 0 0 22 0 0 0 20 0 24 0 509536754 8616062976 30132 33554432000 4194304 4196468 140726826126864 140095099927408 140096077773442 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32346112 140726826132448 140726826132614 140726826132614 140726826135503 0
[pid=9327/tid=9345] ppid=9304 vsize=8414124 memory=4629799972190126725 CPUtime=0 cores=0-7
/proc/9327/task/9345/stat : 9345 (java) S 9304 9304 9260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 509536754 8616062976 30132 33554432000 4194304 4196468 140726826126864 140093578799328 140096077772501 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32346112 140726826132448 140726826132614 140726826132614 140726826135503 0
[pid=9327/tid=9346] ppid=9304 vsize=8414124 memory=4206468019014099040 CPUtime=0 cores=0-7
/proc/9327/task/9346/stat : 9346 (java) S 9304 9304 9260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 509536755 8616062976 30132 33554432000 4194304 4196468 140726826126864 140095098874288 140096077773442 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32346112 140726826132448 140726826132614 140726826132614 140726826135503 0
[pid=9327/tid=9348] ppid=9304 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/9327/task/9348/stat : 9348 (java) S 9304 9304 9260 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 509536824 8616062976 30132 33554432000 4194304 4196468 140726826126864 140095088743616 140096077786905 0 4 2 25189581 18446744071579417331 0 0 -1 4 0 0 0 0 0 6293624 6294260 32346112 140726826132448 140726826132614 140726826132614 140726826135503 0
[pid=9327/tid=9350] ppid=9304 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/9327/task/9350/stat : 9350 (java) S 9304 9304 9260 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 24 0 509536825 8616062976 30132 33554432000 4194304 4196468 140726826126864 140092907700016 140096077784221 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 32346112 140726826132448 140726826132614 140726826132614 140726826135503 0
[pid=9327/tid=9351] ppid=9304 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/9327/task/9351/stat : 9351 (java) S 9304 9304 9260 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 509536825 8616062976 30132 33554432000 4194304 4196468 140726826126864 140093176135600 140096077784221 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 32346112 140726826132448 140726826132614 140726826132614 140726826135503 0
[pid=9327/tid=9352] ppid=9304 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/9327/task/9352/stat : 9352 (java) S 9304 9304 9260 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 24 0 509536827 8616062976 30132 33554432000 4194304 4196468 140726826126864 140092639272624 140096077772501 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32346112 140726826132448 140726826132614 140726826132614 140726826135503 0
Current children cumulated CPU time: 60.65 s
Current children cumulated vsize: 9165564 KiB
Current children cumulated memory: 232188 KiB

[startup+12.2015 s]
/proc/loadavg: 1.36 0.31 0.14 9/224 9360
/proc/meminfo: memFree=25439968/32770624 swapFree=66997504/67108860
[pid=9304] ppid=9301 vsize=113128 memory=1476 CPUtime=13.31 cores=0-7
/proc/9304/stat : 9304 (scop.sh) S 9301 9304 9260 0 -1 4202496 583 31780 0 0 0 0 1296 35 20 0 1 0 509536207 115843072 369 33554432000 4194304 5098028 140726101350704 140726101347448 139791439135356 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 21770240 140726101353213 140726101353560 140726101353560 140726101356489 0
/proc/9304/statm: 28282 369 311 221 0 87 0
[pid=9327] ppid=9304 vsize=8414124 memory=120528 CPUtime=1.26 cores=0-7
/proc/9327/stat : 9327 (java) S 9304 9304 9260 0 -1 1077944320 20183 0 0 0 118 8 0 0 20 0 24 0 509536748 8616062976 30132 33554432000 4194304 4196468 140726826126864 140726826109408 140096077762295 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 32346112 140726826132448 140726826132614 140726826132614 140726826135503 0
/proc/9327/statm: 2103531 30132 3199 1 0 2064875 0
[pid=9347] ppid=9327 vsize=631368 memory=105668 CPUtime=47.19 cores=0-7
/proc/9347/stat : 9347 (manyglucose-4.1) S 9327 9304 9260 0 -1 1077944320 71991 0 0 0 4699 20 0 0 20 0 4 0 509536824 646520832 26417 33554432000 4194304 4454172 140728568653696 140728568652080 139865771187959 0 4 0 8388610 18446744073709551615 0 0 17 4 0 0 0 0 0 6552832 6554400 12853248 140728568656718 140728568656924 140728568656924 140728568659894 0
/proc/9347/statm: 157842 26417 415 64 0 153510 0
[pid=9347/tid=9353] ppid=9327 vsize=631368 memory=0 CPUtime=5.83 cores=0-7
/proc/9347/task/9353/stat : 9353 (manyglucose-4.1) R 9327 9304 9260 0 -1 4202560 7586 0 0 0 580 3 0 0 20 0 4 0 509536829 646520832 26417 33554432000 4194304 4454172 140728568653696 139865755970488 4351184 0 4 0 8388610 0 0 0 -1 5 0 0 0 0 0 6552832 6554400 12853248 140728568656718 140728568656924 140728568656924 140728568659894 0
[pid=9347/tid=9354] ppid=9327 vsize=631368 memory=0 CPUtime=5.92 cores=0-7
/proc/9347/task/9354/stat : 9354 (manyglucose-4.1) R 9327 9304 9260 0 -1 4202560 8374 0 0 0 590 2 0 0 20 0 4 0 509536829 646520832 26417 33554432000 4194304 4454172 140728568653696 139865747578104 4351587 0 4 0 8388610 0 0 0 -1 6 0 0 0 0 0 6552832 6554400 12853248 140728568656718 140728568656924 140728568656924 140728568659894 0
[pid=9347/tid=9359] ppid=9327 vsize=631368 memory=0 CPUtime=5.96 cores=0-7
/proc/9347/task/9359/stat : 9359 (manyglucose-4.1) R 9327 9304 9260 0 -1 4202560 9047 0 0 0 594 2 0 0 20 0 4 0 509536829 646520832 26417 33554432000 4194304 4454172 140728568653696 139865705614440 4333310 0 4 0 8388610 0 0 0 -1 4 0 0 0 0 0 6552832 6554400 12853248 140728568656718 140728568656924 140728568656924 140728568659894 0
[pid=9327/tid=9328] ppid=9304 vsize=8414124 memory=0 CPUtime=0.79 cores=0-7
/proc/9327/task/9328/stat : 9328 (java) S 9304 9304 9260 0 -1 1077944384 17005 0 0 0 73 6 0 0 20 0 24 0 509536748 8616062976 30132 33554432000 4194304 4196468 140726826126864 140096049602464 140096077772501 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32346112 140726826132448 140726826132614 140726826132614 140726826135503 0
[pid=9327/tid=9329] ppid=9304 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/9327/task/9329/stat : 9329 (java) S 9304 9304 9260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 509536750 8616062976 30132 33554432000 4194304 4196468 140726826126864 140096082004240 140096077772501 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32346112 140726826132448 140726826132614 140726826132614 140726826135503 0
[pid=9327/tid=9330] ppid=9304 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/9327/task/9330/stat : 9330 (java) S 9304 9304 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509536750 8616062976 30132 33554432000 4194304 4196468 140726826126864 140095882172816 140096077772501 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32346112 140726826132448 140726826132614 140726826132614 140726826135503 0
[pid=9327/tid=9331] ppid=9304 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/9327/task/9331/stat : 9331 (java) S 9304 9304 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509536750 8616062976 30132 33554432000 4194304 4196468 140726826126864 140095881120272 140096077772501 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32346112 140726826132448 140726826132614 140726826132614 140726826135503 0
[pid=9327/tid=9332] ppid=9304 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/9327/task/9332/stat : 9332 (java) S 9304 9304 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509536750 8616062976 30132 33554432000 4194304 4196468 140726826126864 140095880067728 140096077772501 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32346112 140726826132448 140726826132614 140726826132614 140726826135503 0
[pid=9327/tid=9333] ppid=9304 vsize=8414124 memory=166721 CPUtime=0 cores=0-7
/proc/9327/task/9333/stat : 9333 (java) S 9304 9304 9260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 509536750 8616062976 30132 33554432000 4194304 4196468 140726826126864 140095879015184 140096077772501 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32346112 140726826132448 140726826132614 140726826132614 140726826135503 0
[pid=9327/tid=9334] ppid=9304 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/9327/task/9334/stat : 9334 (java) S 9304 9304 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509536750 8616062976 30132 33554432000 4194304 4196468 140726826126864 140095877962640 140096077772501 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32346112 140726826132448 140726826132614 140726826132614 140726826135503 0
[pid=9327/tid=9335] ppid=9304 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/9327/task/9335/stat : 9335 (java) S 9304 9304 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509536750 8616062976 30132 33554432000 4194304 4196468 140726826126864 140095876910096 140096077772501 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32346112 140726826132448 140726826132614 140726826132614 140726826135503 0
[pid=9327/tid=9336] ppid=9304 vsize=8414124 memory=7236547281622689387 CPUtime=0 cores=0-7
/proc/9327/task/9336/stat : 9336 (java) S 9304 9304 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509536750 8616062976 30132 33554432000 4194304 4196468 140726826126864 140095875857552 140096077772501 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32346112 140726826132448 140726826132614 140726826132614 140726826135503 0
[pid=9327/tid=9337] ppid=9304 vsize=8414124 memory=4640775296132291741 CPUtime=0 cores=0-7
/proc/9327/task/9337/stat : 9337 (java) S 9304 9304 9260 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 509536751 8616062976 30132 33554432000 4194304 4196468 140726826126864 140095104137200 140096077773442 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32346112 140726826132448 140726826132614 140726826132614 140726826135503 0
[pid=9327/tid=9338] ppid=9304 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/9327/task/9338/stat : 9338 (java) S 9304 9304 9260 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 509536752 8616062976 30132 33554432000 4194304 4196468 140726826126864 140094719648672 140096077772501 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32346112 140726826132448 140726826132614 140726826132614 140726826135503 0
[pid=9327/tid=9339] ppid=9304 vsize=8414124 memory=279439432553776 CPUtime=0 cores=0-7
/proc/9327/task/9339/stat : 9339 (java) S 9304 9304 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509536752 8616062976 30132 33554432000 4194304 4196468 140726826126864 140094451213296 140096077772501 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32346112 140726826132448 140726826132614 140726826132614 140726826135503 0
[pid=9327/tid=9340] ppid=9304 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/9327/task/9340/stat : 9340 (java) S 9304 9304 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509536754 8616062976 30132 33554432000 4194304 4196468 140726826126864 140094076704976 140096077780891 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32346112 140726826132448 140726826132614 140726826132614 140726826135503 0
[pid=9327/tid=9341] ppid=9304 vsize=8414124 memory=2110070323387316 CPUtime=0.07 cores=0-7
/proc/9327/task/9341/stat : 9341 (java) S 9304 9304 9260 0 -1 1077944384 631 0 0 0 7 0 0 0 20 0 24 0 509536754 8616062976 30132 33554432000 4194304 4196468 140726826126864 140095103085040 140096077773442 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32346112 140726826132448 140726826132614 140726826132614 140726826135503 0
[pid=9327/tid=9342] ppid=9304 vsize=8414124 memory=0 CPUtime=0.07 cores=0-7
/proc/9327/task/9342/stat : 9342 (java) S 9304 9304 9260 0 -1 1077944384 382 0 0 0 7 0 0 0 20 0 24 0 509536754 8616062976 30132 33554432000 4194304 4196468 140726826126864 140095102032496 140096077773442 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32346112 140726826132448 140726826132614 140726826132614 140726826135503 0
[pid=9327/tid=9343] ppid=9304 vsize=8414124 memory=0 CPUtime=0.06 cores=0-7
/proc/9327/task/9343/stat : 9343 (java) S 9304 9304 9260 0 -1 1077944384 164 0 0 0 6 0 0 0 20 0 24 0 509536754 8616062976 30132 33554432000 4194304 4196468 140726826126864 140095100979952 140096077773442 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32346112 140726826132448 140726826132614 140726826132614 140726826135503 0
[pid=9327/tid=9344] ppid=9304 vsize=8414124 memory=0 CPUtime=0.22 cores=0-7
/proc/9327/task/9344/stat : 9344 (java) S 9304 9304 9260 0 -1 1077944384 600 0 0 0 22 0 0 0 20 0 24 0 509536754 8616062976 30132 33554432000 4194304 4196468 140726826126864 140095099927408 140096077773442 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32346112 140726826132448 140726826132614 140726826132614 140726826135503 0
[pid=9327/tid=9345] ppid=9304 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/9327/task/9345/stat : 9345 (java) S 9304 9304 9260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 509536754 8616062976 30132 33554432000 4194304 4196468 140726826126864 140093578799328 140096077772501 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32346112 140726826132448 140726826132614 140726826132614 140726826135503 0
[pid=9327/tid=9346] ppid=9304 vsize=8414124 memory=18081 CPUtime=0 cores=0-7
/proc/9327/task/9346/stat : 9346 (java) S 9304 9304 9260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 509536755 8616062976 30132 33554432000 4194304 4196468 140726826126864 140095098874288 140096077773442 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32346112 140726826132448 140726826132614 140726826132614 140726826135503 0
[pid=9327/tid=9348] ppid=9304 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/9327/task/9348/stat : 9348 (java) S 9304 9304 9260 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 509536824 8616062976 30132 33554432000 4194304 4196468 140726826126864 140095088743616 140096077786905 0 4 2 25189581 18446744071579417331 0 0 -1 4 0 0 0 0 0 6293624 6294260 32346112 140726826132448 140726826132614 140726826132614 140726826135503 0
[pid=9327/tid=9350] ppid=9304 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/9327/task/9350/stat : 9350 (java) S 9304 9304 9260 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 24 0 509536825 8616062976 30132 33554432000 4194304 4196468 140726826126864 140092907700016 140096077784221 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 32346112 140726826132448 140726826132614 140726826132614 140726826135503 0
[pid=9327/tid=9351] ppid=9304 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/9327/task/9351/stat : 9351 (java) S 9304 9304 9260 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 509536825 8616062976 30132 33554432000 4194304 4196468 140726826126864 140093176135600 140096077784221 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 32346112 140726826132448 140726826132614 140726826132614 140726826135503 0
[pid=9327/tid=9352] ppid=9304 vsize=8414124 memory=2868665472214376 CPUtime=0 cores=0-7
/proc/9327/task/9352/stat : 9352 (java) S 9304 9304 9260 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 24 0 509536827 8616062976 30132 33554432000 4194304 4196468 140726826126864 140092639272624 140096077772501 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32346112 140726826132448 140726826132614 140726826132614 140726826135503 0
Current children cumulated CPU time: 61.76 s
Current children cumulated vsize: 9158620 KiB
Current children cumulated memory: 227672 KiB

[startup+12.3012 s]
/proc/loadavg: 1.36 0.31 0.14 9/224 9360
/proc/meminfo: memFree=25439968/32770624 swapFree=66997504/67108860
[pid=9304] ppid=9301 vsize=113128 memory=1476 CPUtime=13.31 cores=0-7
/proc/9304/stat : 9304 (scop.sh) S 9301 9304 9260 0 -1 4202496 583 31780 0 0 0 0 1296 35 20 0 1 0 509536207 115843072 369 33554432000 4194304 5098028 140726101350704 140726101347448 139791439135356 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 21770240 140726101353213 140726101353560 140726101353560 140726101356489 0
/proc/9304/statm: 28282 369 311 221 0 87 0
Current children cumulated CPU time: 13.31 s
Current children cumulated vsize: 113128 KiB
Current children cumulated memory: 1476 KiB

Child status: 0
Real time (s): 12.3027
CPU time (s): 61.9869
CPU user time (s): 61.3275
CPU system time (s): 0.659326
CPU usage (%): 503.847
Max. virtual memory (cumulated for all children) (KiB): 27443924
Max. memory (cumulated for all children) (KiB): 1437304

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 61.3275
system time used= 0.659326
maximum resident set size= 1443524
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 124846
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1640
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 13102
involuntary context switches= 583


# summary of solver processes directly reported to runsolver:
#   pid: 9304
#   total CPU time (s): 61.9869
#   total CPU user time (s): 61.3275
#   total CPU system time (s): 0.659326

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.126253 second user time and 0.186682 second system time

The end

Launcher Data 

Begin job on node140 at 2019-09-24 16:38:57
IDJOB=4405150
IDBENCH=125649
IDSOLVER=2867
FILE ID=node140/4405150-1569335979
RUNJOBID= node140-1569335937-9287
PBS_JOBID= 21705054
Free space on /var/tmp= 13516 MiB

SOLVER NAME= Fun-sCOP order+ManyGlucose (2019-09-22)
BENCH NAME= XCSP17/QRandom/QRandom-reg2ext-s1/reg-s20-p03-c20-d10-n10-l5-64.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 /var/tmp/evaluation-result-4405150-1569335979/watcher-4405150-1569335979 -o /var/tmp/evaluation-result-4405150-1569335979/solver-4405150-1569335979 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node140-1569335937-9287 --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-4405150-1569335979.xml

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

MD5SUM BENCH= 236be531fe4e5fa4d71f6d1385cbaf81
RANDOM SEED=2101077985

node140.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.43
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.43
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.43
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.43
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:        25662628 kB
MemAvailable:   31847264 kB
Buffers:          117424 kB
Cached:          6165940 kB
SwapCached:         2804 kB
Active:          3120752 kB
Inactive:        3170332 kB
Active(anon):       4628 kB
Inactive(anon):    58660 kB
Active(file):    3116124 kB
Inactive(file):  3111672 kB
Unevictable:      107960 kB
Mlocked:          107960 kB
SwapTotal:      67108860 kB
SwapFree:       66997504 kB
Dirty:             20396 kB
Writeback:             0 kB
AnonPages:        112976 kB
Mapped:            56452 kB
Shmem:             46800 kB
Slab:             413268 kB
SReclaimable:     385300 kB
SUnreclaim:        27968 kB
KernelStack:        3280 kB
PageTables:         6124 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     514516 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     69632 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      105856 kB
DirectMap2M:    33439744 kB

Free space on /var/tmp at the end= 13496 MiB
End job on node140 at 2019-09-24 16:39:10