Trace number 4392329

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Fun-sCOP order+ManyGlucose (2019-06-15)UNSAT 10.4993 3.71135

General information on the benchmark

NamePigeonsPlus/PigeonsPlus-m1-s1/
pigeonsPlus-10-05.xml
MD5SUM11198b79b59252262e805adcf565fb89
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 benchmark9.06146
Satisfiable
(Un)Satisfiability was proved
Number of variables60
Number of constraints65
Number of domains2
Minimum domain size9
Maximum domain size10
Distribution of domain sizes[{"size":9,"count":10},{"size":10,"count":50}]
Minimum variable degree1
Maximum variable degree10
Distribution of variable degrees[{"degree":1,"count":40},{"degree":2,"count":10},{"degree":10,"count":10}]
Minimum constraint arity2
Maximum constraint arity5
Distribution of constraint arities[{"arity":2,"count":55},{"arity":5,"count":10}]
Number of extensional constraints65
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":65}]
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-22166-serial-file.bin HOME/instance-4392329-1568435960.xml
0.65/0.53	
0.65/0.53	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
0.65/0.53	
0.65/0.56	c BEGIN-Prog: Sat Sep 14 06:38:42 CEST 2019
0.65/0.56	c PID: 22169
0.65/0.56	c IP: 172.20.3.151
0.65/0.56	c HOST: node151.alineos.net
0.65/0.57	c (0,0) Parsing Begin
2.40/1.13	c (0,0) Parsing End
2.40/1.13	c (0,0) CSP: 60 int (0 aux), 0 bool (0 aux), 65 ctr, max domain size 10
2.40/1.13	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB)
2.40/1.13	c (0,0) Constraint Name Generate Begin
2.40/1.14	c (0,0) Ctr:HOME/instance-4392329-1568435960.xml,ExtensionSupport:Var
2.40/1.14	c (0,0) Constraint Name Generate End
2.40/1.14	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB)
2.40/1.14	c (0,0) CSP to CSPinCNF Begin
3.22/1.49	c (0,0) translated 7 (10%) constraints
3.47/1.56	c (1,1) translated 13 (20%) constraints
3.75/1.62	c (1,1) translated 20 (30%) constraints
3.75/1.66	c (1,1) translated 26 (40%) constraints
3.75/1.70	c (1,1) translated 33 (50%) constraints
4.10/1.72	c (1,1) translated 39 (60%) constraints
4.10/1.75	c (1,1) translated 46 (70%) constraints
6.13/2.24	c (1,1) translated 52 (80%) constraints
6.53/2.32	c (1,1) translated 59 (90%) constraints
6.53/2.34	c (1,1) translated 65 (100%) constraints
6.53/2.35	c (1,1) ===========================================
6.53/2.35	c (1,1) Order
6.53/2.35	c (1,1) ===========================================
6.53/2.37	c (1,1) translated 232 (10%) constraints
6.53/2.38	c (1,1) translated 463 (20%) constraints
6.53/2.39	c (1,1) translated 695 (30%) constraints
6.96/2.41	c (1,1) translated 926 (40%) constraints
6.96/2.42	c (1,1) translated 1158 (50%) constraints
6.96/2.43	c (1,1) translated 1389 (60%) constraints
6.96/2.44	c (1,1) translated 1621 (70%) constraints
6.96/2.45	c (1,1) translated 1852 (80%) constraints
6.96/2.46	c (1,1) translated 2084 (90%) constraints
6.96/2.47	c (1,1) translated 2315 (100%) constraints
6.96/2.47	c (1,1) CSP to CSPinCNF End
6.96/2.47	c (1,1) CSP: 60 int (0 aux), 575 bool (575 aux), 2315 ctr, max domain size 10
6.96/2.47	c (1,1) Heap : 450 MiB used (max 21589 MiB), NonHeap : 27 MiB used (max 0 MiB)
6.96/2.47	c (1,1) CSPinCNF Propagation Begin
7.38/2.52	c (1,1) 0 values, 65 unsatisfiable literals, and 0 valid clauses are removed
7.38/2.52	c (1,1) CSPinCNF Propagation End
7.38/2.52	c (1,1) CSP: 60 int (0 aux), 575 bool (575 aux), 2315 ctr, max domain size 10
7.38/2.52	c (1,1) Heap : 450 MiB used (max 21589 MiB), NonHeap : 27 MiB used (max 0 MiB)
7.38/2.52	c (1,1) Simplify CSPinCNF Begin
7.38/2.53	c (1,1) Simplify CSPinCNF End
7.38/2.54	c (1,1) CSP: 60 int (0 aux), 575 bool (575 aux), 2315 ctr, max domain size 10
7.38/2.54	c (1,1) Heap : 450 MiB used (max 21589 MiB), NonHeap : 27 MiB used (max 0 MiB)
7.38/2.54	c (1,1) Calculate Precise Domain Begin
7.38/2.54	c (2,1) 0 values are removed by re-calculation
7.38/2.54	c (2,1) Calculate Precise Domain End
7.38/2.54	c (2,1) CSP: 60 int (0 aux), 575 bool (575 aux), 2315 ctr, max domain size 10
7.38/2.54	c (2,1) Heap : 450 MiB used (max 21589 MiB), NonHeap : 27 MiB used (max 0 MiB)
7.38/2.54	c (2,1) CSPinCNF to SatSolver Begin
7.79/2.63	c (2,2) 232 (10 %) CSP clauses are encoded (0 SAT variables, 701 SAT clauses)
7.79/2.64	c (2,2) 463 (20 %) CSP clauses are encoded (0 SAT variables, 932 SAT clauses)
7.79/2.66	c (2,2) 695 (30 %) CSP clauses are encoded (0 SAT variables, 1164 SAT clauses)
7.79/2.67	c (2,2) 926 (40 %) CSP clauses are encoded (0 SAT variables, 1395 SAT clauses)
7.79/2.67	c (2,2) 1158 (50 %) CSP clauses are encoded (0 SAT variables, 1627 SAT clauses)
7.79/2.68	c (2,2) 1389 (60 %) CSP clauses are encoded (0 SAT variables, 1858 SAT clauses)
7.79/2.69	c (2,2) 1621 (70 %) CSP clauses are encoded (0 SAT variables, 2090 SAT clauses)
7.79/2.70	c (2,2) 1852 (80 %) CSP clauses are encoded (0 SAT variables, 2321 SAT clauses)
8.20/2.70	c (2,2) 2084 (90 %) CSP clauses are encoded (0 SAT variables, 2553 SAT clauses)
8.20/2.71	c (2,2) 2315 (100 %) CSP clauses are encoded (0 SAT variables, 2784 SAT clauses)
8.20/2.71	c (2,2) CSPinCNF to SatSolver End
8.20/2.71	c (2,2) Heap : 450 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB)
8.20/2.71	c (2,2) 1105 bool, 2785 clause
8.20/2.71	c (2,2) Export Begin
8.60/2.80	c (2,2) Export to HOME/scop-22166-serial-file.bin
8.60/2.80	c (2,2) Export End
8.60/2.80	c (2,2) Export File Size: 0.01 MB
8.60/2.80	c (2,2) 0,0,1,1,1,2,2,STOP-AFTER(DIMACS)
8.60/2.80	c END-Prog: Sat Sep 14 06:38:44 CEST 2019
8.60/2.83	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-22166-serial-file.bin
9.11/3.29	c (0,0) Read Serial File Begin
9.11/3.29	c (0,0) HOME/scop-22166-serial-file.bin
9.54/3.50	c (0,0) Read Serial File End
9.76/3.68	
9.76/3.68	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
9.76/3.68	(Solving Process)
9.76/3.68	
9.76/3.68	c BEGIN-Prog: Sat Sep 14 06:38:45 CEST 2019
9.76/3.68	c PID: 22189
9.76/3.68	c IP: 172.20.3.151
9.76/3.68	c HOST: node151.alineos.net
9.76/3.68	c (0,0) SatSolver.solve Begin
9.76/3.68	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4392329-1568435960.xml-scop-22169.cnf
9.76/3.68	c (0,0) c
9.76/3.68	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)
9.76/3.68	c (0,0) c
9.76/3.68	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
9.76/3.68	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
9.76/3.68	c (0,0) c ========================================[ Problem Statistics ]===========================================
9.76/3.68	c (0,0) c |                                                                                                       |
9.76/3.68	c (0,0) c |  Number of variables:          1105                                                                   |
9.76/3.68	c (0,0) c |  Number of clauses:            2785                                                                   |
9.76/3.68	c (0,0) c |  Parse time:                   0.00 s                                                                 |
9.76/3.68	c (0,0) c |                                                                                                       |
9.76/3.68	c (0,0) c |  Simplification time:          0.00 s                                                                 |
9.76/3.68	c (0,0) c |                                                                                                       |
9.76/3.68	c (0,0) c |  Generating clones                                                                                    |
9.76/3.68	c (0,0) c |  all clones generated. Memory =    25.10Mb.                                                           |
9.76/3.68	c (0,0) c ========================================================================================================|
9.76/3.68	c (0,0) c
9.76/3.68	c (0,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
9.76/3.68	c (0,0) c
9.76/3.68	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
9.76/3.68	c (0,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
9.76/3.68	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
9.76/3.68	c (0,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
9.76/3.68	c (0,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
9.76/3.68	c (0,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
9.76/3.68	c (0,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
9.76/3.68	c (0,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
9.76/3.68	c (0,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
9.76/3.68	c (0,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
9.76/3.68	c (0,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
9.76/3.68	c (0,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
9.76/3.68	c (0,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
9.76/3.68	c (0,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
9.76/3.68	c (0,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
9.76/3.68	c (0,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
9.76/3.68	c (0,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
9.76/3.68	c (0,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
9.76/3.68	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
9.76/3.68	c (0,0) c
9.76/3.68	c (0,0) c real time : 0.112463 s
9.76/3.68	c (0,0) c cpu time  : 0.596683 s
9.76/3.68	c (0,0) c
9.76/3.68	c (0,0) c
9.76/3.68	c (0,0) c
9.76/3.68	c (0,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
9.76/3.68	c (0,0) c
9.76/3.68	c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
9.76/3.68	c (0,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
9.76/3.68	c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
9.76/3.68	c (0,0) c | Conflicts     |           79340 |      10758 |      11779 |      10249 |      11385 |       7001 |      10211 |       8411 |       9546 |
9.76/3.68	c (0,0) c | Decisions     |          102641 |      14077 |      15213 |      13287 |      14310 |       8843 |      13452 |      10995 |      12464 |
9.76/3.68	c (0,0) c | Propagations  |          896329 |     120620 |     136687 |     118347 |     127860 |      77473 |     113846 |      91216 |     110280 |
9.76/3.68	c (0,0) c | ReduceDBs     |              16 |          2 |          2 |          2 |          2 |          2 |          2 |          2 |          2 |
9.76/3.68	c (0,0) c | SimpDBs       |              24 |          5 |          3 |          3 |          3 |          2 |          2 |          3 |          3 |
9.76/3.68	c (0,0) c | Restarts      |              51 |         15 |          3 |          5 |          6 |          3 |         12 |          4 |          3 |
9.76/3.68	c (0,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
9.76/3.68	c (0,0) c | PropBinClauses|          901543 |     114210 |     136814 |     122875 |     133175 |      75488 |     110145 |      99207 |     109629 |
9.76/3.68	c (0,0) c | PropPreBlocker|        37994325 |    4649281 |    6130121 |    4857723 |    5952297 |    3296912 |    5227021 |    3497501 |    4383469 |
9.76/3.68	c (0,0) c | PropNotBlocker|         9371405 |    1162269 |    1367735 |    1202536 |    1406410 |     946624 |    1349765 |     918596 |    1017470 |
9.76/3.68	c (0,0) c | LitFullScans  |        62602179 |    7701559 |    9683645 |    7937470 |    9586438 |    6000224 |    8703056 |    6000723 |    6989064 |
9.76/3.68	c (0,0) c | LitScanFracts |            1910 |        348 |        170 |         99 |         92 |         87 |        824 |        280 |         10 |
9.76/3.68	c (0,0) c | DecisionLevel0|             111 |         28 |         13 |         12 |         17 |          4 |         19 |          6 |         12 |
9.76/3.68	c (0,0) c | Periods       |               8 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |
9.76/3.68	c (0,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
9.76/3.68	c (0,0) c | Avg_Trail     |                 |         66 |         67 |         67 |         66 |         69 |         67 |         69 |         66 |
9.76/3.68	c (0,0) c | Avg_DL        |                 |          9 |          9 |          9 |          9 |         10 |         10 |          9 |          9 |
9.76/3.68	c (0,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
9.76/3.68	c (0,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
9.76/3.68	c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
9.76/3.68	c (0,0) c | Exported      |           15047 |       1971 |       2576 |       2037 |       2306 |       1023 |       2053 |       1173 |       1908 |
9.76/3.68	c (0,0) c | Imported      |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
9.76/3.68	c (0,0) c | Good          |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
9.76/3.68	c (0,0) c | Purge         |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
9.76/3.68	c (0,0) c | Promoted      |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
9.76/3.68	c (0,0) c | Remove_Imp    |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
9.76/3.68	c (0,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
9.76/3.68	c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
9.76/3.68	c (0,0) c | Unaries       |                 |         13 |         10 |          7 |         11 |          1 |          7 |          2 |          9 |
9.76/3.68	c (0,0) c | Binaries      |                 |         50 |         45 |         37 |         50 |          8 |         23 |         11 |         44 |
9.76/3.68	c (0,0) c | Glues         |                 |        291 |        302 |        271 |        307 |         73 |        207 |        177 |        294 |
9.76/3.68	c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
9.76/3.68	c (0,0) c | Orig_Seen     |           179 % |        463 |        467 |        467 |        466 |        459 |        466 |        467 |        467 |
9.76/3.68	c (0,0) c | Diff Orig seen|                 |      X     |          4 |          4 |          3 | -        4 |          3 |          4 |          4 |
9.76/3.68	c (0,0) c | Hamming       |             2 % |      X     |         30 |         24 |         27 |         32 |         32 |         30 |         27 |
9.76/3.68	c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
9.76/3.68	c (0,0) c | RunningTime   |                 |    0.1  99%|    0.1  99%|    0.1  99%|    0.1  98%|    0.1 100%|    0.1  99%|    0.1  99%|    0.1  99%|
9.76/3.68	c (0,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%|
9.76/3.68	c (0,0) c | ExchangingTime|                 |    0.0   1%|    0.0   1%|    0.0   1%|    0.0   2%|    0.0   0%|    0.0   1%|    0.0   1%|    0.0   1%|
9.76/3.68	c (0,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%|
9.76/3.68	c (0,0) c | SolvingTime   |                 |    0.1     |    0.1     |    0.1     |    0.1     |    0.1     |    0.1     |    0.1     |    0.1     |
9.76/3.68	c (0,0) c | PropagationTim|                 |    0.1  66%|    0.1  58%|    0.1  66%|    0.1  66%|    0.1  76%|    0.1  70%|    0.1  74%|    0.0  67%|
9.76/3.68	c (0,0) c | AnalysisTime  |                 |    0.0  18%|    0.0  29%|    0.0  18%|    0.0  18%|    0.0  14%|    0.0  19%|    0.0  17%|    0.0  20%|
9.76/3.68	c (0,0) c | ReductionTime |                 |    0.0   2%|    0.0   2%|    0.0   2%|    0.0   2%|    0.0   2%|    0.0   2%|    0.0   2%|    0.0   3%|
9.76/3.68	c (0,0) c | SimplifyTime  |                 |    0.0   2%|    0.0   1%|    0.0   1%|    0.0   1%|    0.0   1%|    0.0   0%|    0.0   1%|    0.0   1%|
9.76/3.68	c (0,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%|
9.76/3.68	c (0,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%|
9.76/3.68	c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
9.76/3.68	c (0,0) c
9.76/3.68	c (0,0) c
9.76/3.68	c (0,0) c Threads : 8
9.76/3.68	c (0,0) c Winner : 0
9.76/3.68	c (0,0) c Conflicts_0 : 10758
9.76/3.68	c (0,0) c Conflicts_1 : 11779
9.76/3.68	c (0,0) c Conflicts_2 : 10249
9.76/3.68	c (0,0) c Conflicts_3 : 11385
9.76/3.68	c (0,0) c Conflicts_4 : 7001
9.76/3.68	c (0,0) c Conflicts_5 : 10211
9.76/3.68	c (0,0) c Conflicts_6 : 8411
9.76/3.68	c (0,0) c Conflicts_7 : 9546
9.76/3.68	c (0,0) c Conflicts_total : 79340
9.76/3.68	c (0,0) c Conflicts_winner : 10758
9.76/3.68	c (0,0) c Decisions_0 : 14077
9.76/3.68	c (0,0) c Decisions_1 : 15213
9.76/3.68	c (0,0) c Decisions_2 : 13287
9.76/3.68	c (0,0) c Decisions_3 : 14310
9.76/3.68	c (0,0) c Decisions_4 : 8843
9.76/3.68	c (0,0) c Decisions_5 : 13452
9.76/3.68	c (0,0) c Decisions_6 : 10995
9.76/3.68	c (0,0) c Decisions_7 : 12464
9.76/3.68	c (0,0) c Decisions_total : 102641
9.76/3.69	c (0,0) c Decisions_winner : 14077
9.76/3.69	c (0,0) c Propagations_0 : 120620
9.76/3.69	c (0,0) c Propagations_1 : 136687
9.76/3.69	c (0,0) c Propagations_2 : 118347
9.76/3.69	c (0,0) c Propagations_3 : 127860
9.76/3.69	c (0,0) c Propagations_4 : 77473
9.76/3.69	c (0,0) c Propagations_5 : 113846
9.76/3.69	c (0,0) c Propagations_6 : 91216
9.76/3.69	c (0,0) c Propagations_7 : 110280
9.76/3.69	c (0,0) c Propagations_total : 896329
9.76/3.69	c (0,0) c Propagations_winner : 120620
9.76/3.69	c (0,0) c ReduceDBs_0 : 2
9.76/3.69	c (0,0) c ReduceDBs_1 : 2
9.76/3.69	c (0,0) c ReduceDBs_2 : 2
9.76/3.69	c (0,0) c ReduceDBs_3 : 2
9.76/3.69	c (0,0) c ReduceDBs_4 : 2
9.76/3.69	c (0,0) c ReduceDBs_5 : 2
9.76/3.69	c (0,0) c ReduceDBs_6 : 2
9.76/3.69	c (0,0) c ReduceDBs_7 : 2
9.76/3.69	c (0,0) c ReduceDBs_total : 16
9.76/3.69	c (0,0) c ReduceDBs_winner : 2
9.76/3.69	c (0,0) c SimpDBs_0 : 5
9.76/3.69	c (0,0) c SimpDBs_1 : 3
9.76/3.69	c (0,0) c SimpDBs_2 : 3
9.76/3.69	c (0,0) c SimpDBs_3 : 3
9.76/3.69	c (0,0) c SimpDBs_4 : 2
9.76/3.69	c (0,0) c SimpDBs_5 : 2
9.76/3.69	c (0,0) c SimpDBs_6 : 3
9.76/3.69	c (0,0) c SimpDBs_7 : 3
9.76/3.69	c (0,0) c SimpDBs_total : 24
9.76/3.69	c (0,0) c SimpDBs_winner : 5
9.76/3.69	c (0,0) c Restarts_0 : 15
9.76/3.69	c (0,0) c Restarts_1 : 3
9.76/3.69	c (0,0) c Restarts_2 : 5
9.76/3.69	c (0,0) c Restarts_3 : 6
9.76/3.69	c (0,0) c Restarts_4 : 3
9.76/3.69	c (0,0) c Restarts_5 : 12
9.76/3.69	c (0,0) c Restarts_6 : 4
9.76/3.69	c (0,0) c Restarts_7 : 3
9.76/3.69	c (0,0) c Restarts_total : 51
9.76/3.69	c (0,0) c Restarts_winner : 15
9.76/3.69	c (0,0) c ForcedImports_0 : 0
9.76/3.69	c (0,0) c ForcedImports_1 : 0
9.76/3.69	c (0,0) c ForcedImports_2 : 0
9.76/3.69	c (0,0) c ForcedImports_3 : 0
9.76/3.69	c (0,0) c ForcedImports_4 : 0
9.76/3.69	c (0,0) c ForcedImports_5 : 0
9.76/3.69	c (0,0) c ForcedImports_6 : 0
9.76/3.69	c (0,0) c ForcedImports_7 : 0
9.76/3.69	c (0,0) c ForcedImports_total : 0
9.76/3.69	c (0,0) c ForcedImports_winner : 0
9.76/3.69	c (0,0) c PropsBinClauses_0 : 114210
9.76/3.69	c (0,0) c PropsBinClauses_1 : 136814
9.76/3.69	c (0,0) c PropsBinClauses_2 : 122875
9.76/3.69	c (0,0) c PropsBinClauses_3 : 133175
9.76/3.69	c (0,0) c PropsBinClauses_4 : 75488
9.76/3.69	c (0,0) c PropsBinClauses_5 : 110145
9.76/3.69	c (0,0) c PropsBinClauses_6 : 99207
9.76/3.69	c (0,0) c PropsBinClauses_7 : 109629
9.76/3.69	c (0,0) c PropsBinClauses_total : 901543
9.76/3.69	c (0,0) c PropsBinClauses_winner : 114210
9.76/3.69	c (0,0) c PropsPreBlocker_0 : 4649281
9.76/3.69	c (0,0) c PropsPreBlocker_1 : 6130121
9.76/3.69	c (0,0) c PropsPreBlocker_2 : 4857723
9.76/3.69	c (0,0) c PropsPreBlocker_3 : 5952297
9.76/3.69	c (0,0) c PropsPreBlocker_4 : 3296912
9.76/3.69	c (0,0) c PropsPreBlocker_5 : 5227021
9.76/3.69	c (0,0) c PropsPreBlocker_6 : 3497501
9.76/3.69	c (0,0) c PropsPreBlocker_7 : 4383469
9.76/3.69	c (0,0) c PropsPreBlocker_total : 37994325
9.76/3.69	c (0,0) c PropsPreBlocker_winner : 4649281
9.76/3.69	c (0,0) c PropsNotBlocker_0 : 1162269
9.76/3.69	c (0,0) c PropsNotBlocker_1 : 1367735
9.76/3.69	c (0,0) c PropsNotBlocker_2 : 1202536
9.76/3.69	c (0,0) c PropsNotBlocker_3 : 1406410
9.76/3.69	c (0,0) c PropsNotBlocker_4 : 946624
9.76/3.69	c (0,0) c PropsNotBlocker_5 : 1349765
9.76/3.69	c (0,0) c PropsNotBlocker_6 : 918596
9.76/3.69	c (0,0) c PropsNotBlocker_7 : 1017470
9.76/3.69	c (0,0) c PropsNotBlocker_total : 9371405
9.76/3.69	c (0,0) c PropsNotBlocker_winner : 1162269
9.76/3.69	c (0,0) c PropsLitFullScans_0 : 7701559
9.76/3.69	c (0,0) c PropsLitFullScans_1 : 9683645
9.76/3.69	c (0,0) c PropsLitFullScans_2 : 7937470
9.76/3.69	c (0,0) c PropsLitFullScans_3 : 9586438
9.76/3.69	c (0,0) c PropsLitFullScans_4 : 6000224
9.76/3.69	c (0,0) c PropsLitFullScans_5 : 8703056
9.76/3.69	c (0,0) c PropsLitFullScans_6 : 6000723
9.76/3.69	c (0,0) c PropsLitFullScans_7 : 6989064
9.76/3.69	c (0,0) c PropsLitFullScans_total : 62602179
9.76/3.69	c (0,0) c PropsLitFullScans_winner : 7701559
9.76/3.69	c (0,0) c LitScanFractions_0 : 348
9.76/3.69	c (0,0) c LitScanFractions_1 : 170
9.76/3.69	c (0,0) c LitScanFractions_2 : 99
9.76/3.69	c (0,0) c LitScanFractions_3 : 92
9.76/3.69	c (0,0) c LitScanFractions_4 : 87
9.76/3.69	c (0,0) c LitScanFractions_5 : 824
9.76/3.69	c (0,0) c LitScanFractions_6 : 280
9.76/3.69	c (0,0) c LitScanFractions_7 : 10
9.76/3.69	c (0,0) c LitScanFractions_total : 1910
9.76/3.69	c (0,0) c LitScanFractions_winner : 348
9.76/3.69	c (0,0) c DecisionLevel0_0 : 28
9.76/3.69	c (0,0) c DecisionLevel0_1 : 13
9.76/3.69	c (0,0) c DecisionLevel0_2 : 12
9.76/3.69	c (0,0) c DecisionLevel0_3 : 17
9.76/3.69	c (0,0) c DecisionLevel0_4 : 4
9.76/3.69	c (0,0) c DecisionLevel0_5 : 19
9.76/3.69	c (0,0) c DecisionLevel0_6 : 6
9.76/3.69	c (0,0) c DecisionLevel0_7 : 12
9.76/3.69	c (0,0) c DecisionLevel0_total : 111
9.76/3.69	c (0,0) c DecisionLevel0_winner : 28
9.76/3.69	c (0,0) c Periods_0 : 1
9.76/3.69	c (0,0) c Periods_1 : 1
9.76/3.69	c (0,0) c Periods_2 : 1
9.76/3.69	c (0,0) c Periods_3 : 1
9.76/3.69	c (0,0) c Periods_4 : 1
9.76/3.69	c (0,0) c Periods_5 : 1
9.76/3.69	c (0,0) c Periods_6 : 1
9.76/3.69	c (0,0) c Periods_7 : 1
9.76/3.69	c (0,0) c Periods_total : 8
9.76/3.69	c (0,0) c Periods_winner : 1
9.76/3.69	c (0,0) c Margin_0 : 20
9.76/3.69	c (0,0) c Margin_1 : 20
9.76/3.69	c (0,0) c Margin_2 : 20
9.76/3.69	c (0,0) c Margin_3 : 20
9.76/3.69	c (0,0) c Margin_4 : 20
9.76/3.69	c (0,0) c Margin_5 : 20
9.76/3.69	c (0,0) c Margin_6 : 20
9.76/3.69	c (0,0) c Margin_7 : 20
9.76/3.69	c (0,0) c Margin_total : 160
9.76/3.69	c (0,0) c Margin_winner : 20
9.76/3.69	c (0,0) c Exported_0 : 1971
9.76/3.69	c (0,0) c Exported_1 : 2576
9.76/3.69	c (0,0) c Exported_2 : 2037
9.76/3.69	c (0,0) c Exported_3 : 2306
9.76/3.69	c (0,0) c Exported_4 : 1023
9.76/3.69	c (0,0) c Exported_5 : 2053
9.76/3.69	c (0,0) c Exported_6 : 1173
9.76/3.69	c (0,0) c Exported_7 : 1908
9.76/3.69	c (0,0) c Exported_total : 15047
9.76/3.69	c (0,0) c Exported_winner : 1971
9.76/3.69	c (0,0) c Imported_0 : 0
9.76/3.69	c (0,0) c Imported_1 : 0
9.76/3.69	c (0,0) c Imported_2 : 0
9.76/3.69	c (0,0) c Imported_3 : 0
9.76/3.69	c (0,0) c Imported_4 : 0
9.76/3.69	c (0,0) c Imported_5 : 0
9.76/3.69	c (0,0) c Imported_6 : 0
9.76/3.69	c (0,0) c Imported_7 : 0
9.76/3.69	c (0,0) c Imported_total : 0
9.76/3.69	c (0,0) c Imported_winner : 0
9.76/3.69	c (0,0) c Good_0 : 0
9.76/3.69	c (0,0) c Good_1 : 0
9.76/3.69	c (0,0) c Good_2 : 0
9.76/3.69	c (0,0) c Good_3 : 0
9.76/3.69	c (0,0) c Good_4 : 0
9.76/3.69	c (0,0) c Good_5 : 0
9.76/3.69	c (0,0) c Good_6 : 0
9.76/3.69	c (0,0) c Good_7 : 0
9.76/3.69	c (0,0) c Good_total : 0
9.76/3.69	c (0,0) c Good_winner : 0
9.76/3.69	c (0,0) c Purge_0 : 0
9.76/3.69	c (0,0) c Purge_1 : 0
9.76/3.69	c (0,0) c Purge_2 : 0
9.76/3.69	c (0,0) c Purge_3 : 0
9.76/3.69	c (0,0) c Purge_4 : 0
9.76/3.69	c (0,0) c Purge_5 : 0
9.76/3.69	c (0,0) c Purge_6 : 0
9.76/3.69	c (0,0) c Purge_7 : 0
9.76/3.69	c (0,0) c Purge_total : 0
9.76/3.69	c (0,0) c Purge_winner : 0
9.76/3.69	c (0,0) c Promoted_0 : 0
9.76/3.69	c (0,0) c Promoted_1 : 0
9.76/3.69	c (0,0) c Promoted_2 : 0
9.76/3.69	c (0,0) c Promoted_3 : 0
9.76/3.69	c (0,0) c Promoted_4 : 0
9.76/3.69	c (0,0) c Promoted_5 : 0
9.76/3.69	c (0,0) c Promoted_6 : 0
9.76/3.69	c (0,0) c Promoted_7 : 0
9.76/3.69	c (0,0) c Promoted_total : 0
9.76/3.69	c (0,0) c Promoted_winner : 0
9.76/3.69	c (0,0) c Remove_Imp_0 : 0
9.76/3.69	c (0,0) c Remove_Imp_1 : 0
9.76/3.69	c (0,0) c Remove_Imp_2 : 0
9.76/3.69	c (0,0) c Remove_Imp_3 : 0
9.76/3.69	c (0,0) c Remove_Imp_4 : 0
9.76/3.69	c (0,0) c Remove_Imp_5 : 0
9.76/3.69	c (0,0) c Remove_Imp_6 : 0
9.76/3.69	c (0,0) c Remove_Imp_7 : 0
9.76/3.69	c (0,0) c Remove_Imp_total : 0
9.76/3.69	c (0,0) c Remove_Imp_winner : 0
9.76/3.69	c (0,0) c Blocked_Reuse_0 : 0
9.76/3.69	c (0,0) c Blocked_Reuse_1 : 0
9.76/3.69	c (0,0) c Blocked_Reuse_2 : 0
9.76/3.69	c (0,0) c Blocked_Reuse_3 : 0
9.76/3.69	c (0,0) c Blocked_Reuse_4 : 0
9.76/3.69	c (0,0) c Blocked_Reuse_5 : 0
9.76/3.69	c (0,0) c Blocked_Reuse_6 : 0
9.76/3.69	c (0,0) c Blocked_Reuse_7 : 0
9.76/3.69	c (0,0) c Blocked_Reuse_total : 0
9.76/3.69	c (0,0) c Blocked_Reuse_winner : 0
9.76/3.69	c (0,0) c Unaries_0 : 13
9.76/3.69	c (0,0) c Unaries_1 : 10
9.76/3.69	c (0,0) c Unaries_2 : 7
9.76/3.69	c (0,0) c Unaries_3 : 11
9.76/3.69	c (0,0) c Unaries_4 : 1
9.76/3.69	c (0,0) c Unaries_5 : 7
9.76/3.69	c (0,0) c Unaries_6 : 2
9.76/3.69	c (0,0) c Unaries_7 : 9
9.76/3.69	c (0,0) c Unaries_total : 60
9.76/3.69	c (0,0) c Unaries_winner : 13
9.76/3.69	c (0,0) c Binaries_0 : 50
9.76/3.69	c (0,0) c Binaries_1 : 45
9.76/3.69	c (0,0) c Binaries_2 : 37
9.76/3.69	c (0,0) c Binaries_3 : 50
9.76/3.69	c (0,0) c Binaries_4 : 8
9.76/3.69	c (0,0) c Binaries_5 : 23
9.76/3.69	c (0,0) c Binaries_6 : 11
9.76/3.69	c (0,0) c Binaries_7 : 44
9.76/3.69	c (0,0) c Binaries_total : 268
9.76/3.69	c (0,0) c Binaries_winner : 50
9.76/3.69	c (0,0) c Glues_0 : 291
9.76/3.69	c (0,0) c Glues_1 : 302
9.76/3.69	c (0,0) c Glues_2 : 271
9.76/3.69	c (0,0) c Glues_3 : 307
9.76/3.69	c (0,0) c Glues_4 : 73
9.76/3.69	c (0,0) c Glues_5 : 207
9.76/3.69	c (0,0) c Glues_6 : 177
9.76/3.69	c (0,0) c Glues_7 : 294
9.76/3.69	c (0,0) c Glues_total : 1922
9.76/3.69	c (0,0) c Glues_winner : 291
9.76/3.69	c (0,0) c RunningTime_0 : 0.080701
9.76/3.69	c (0,0) c RunningTime_1 : 0.103450
9.76/3.69	c (0,0) c RunningTime_2 : 0.080733
9.76/3.69	c (0,0) c RunningTime_3 : 0.089766
9.76/3.69	c (0,0) c RunningTime_4 : 0.076592
9.76/3.69	c (0,0) c RunningTime_5 : 0.083372
9.76/3.69	c (0,0) c RunningTime_6 : 0.078092
9.76/3.69	c (0,0) c RunningTime_7 : 0.066717
9.76/3.69	c (0,0) c RunningTime_total : 0.659422
9.76/3.69	c (0,0) c RunningTime_winner : 0.080701
9.76/3.69	c (0,0) c WaitingTime_0 : 0.000000
9.76/3.69	c (0,0) c WaitingTime_1 : 0.000000
9.76/3.69	c (0,0) c WaitingTime_2 : 0.000000
9.76/3.69	c (0,0) c WaitingTime_3 : 0.000000
9.76/3.69	c (0,0) c WaitingTime_4 : 0.000000
9.76/3.69	c (0,0) c WaitingTime_5 : 0.000000
9.76/3.69	c (0,0) c WaitingTime_6 : 0.000000
9.76/3.69	c (0,0) c WaitingTime_7 : 0.000000
9.76/3.69	c (0,0) c WaitingTime_total : 0.000000
9.76/3.69	c (0,0) c WaitingTime_winner : 0.000000
9.76/3.69	c (0,0) c ExchangingTime_0 : 0.000533
9.76/3.69	c (0,0) c ExchangingTime_1 : 0.000681
9.76/3.69	c (0,0) c ExchangingTime_2 : 0.000594
9.76/3.69	c (0,0) c ExchangingTime_3 : 0.001432
9.76/3.69	c (0,0) c ExchangingTime_4 : 0.000323
9.76/3.69	c (0,0) c ExchangingTime_5 : 0.000501
9.76/3.69	c (0,0) c ExchangingTime_6 : 0.000401
9.76/3.69	c (0,0) c ExchangingTime_7 : 0.000412
9.76/3.69	c (0,0) c ExchangingTime_total : 0.004878
9.76/3.69	c (0,0) c ExchangingTime_winner : 0.000533
9.76/3.69	c (0,0) c PeriodProcTime_0 : 0.000003
9.76/3.69	c (0,0) c PeriodProcTime_1 : 0.000004
9.76/3.69	c (0,0) c PeriodProcTime_2 : 0.000006
9.76/3.69	c (0,0) c PeriodProcTime_3 : 0.000029
9.76/3.69	c (0,0) c PeriodProcTime_4 : 0.000004
9.76/3.69	c (0,0) c PeriodProcTime_5 : 0.000005
9.76/3.69	c (0,0) c PeriodProcTime_6 : 0.000002
9.76/3.69	c (0,0) c PeriodProcTime_7 : 0.000004
9.76/3.69	c (0,0) c PeriodProcTime_total : 0.000057
9.76/3.69	c (0,0) c PeriodProcTime_winner : 0.000003
9.76/3.69	c (0,0) c SolvingTime_0 : 0.081237
9.76/3.69	c (0,0) c SolvingTime_1 : 0.104134
9.76/3.69	c (0,0) c SolvingTime_2 : 0.081333
9.76/3.69	c (0,0) c SolvingTime_3 : 0.091227
9.76/3.69	c (0,0) c SolvingTime_4 : 0.076919
9.76/3.69	c (0,0) c SolvingTime_5 : 0.083878
9.76/3.69	c (0,0) c SolvingTime_6 : 0.078495
9.76/3.69	c (0,0) c SolvingTime_7 : 0.067134
9.76/3.69	c (0,0) c SolvingTime_total : 0.664357
9.76/3.69	c (0,0) c SolvingTime_winner : 0.081237
9.76/3.69	c (0,0) c PropagationTime_0 : 0.053235
9.76/3.69	c (0,0) c PropagationTime_1 : 0.059878
9.76/3.69	c (0,0) c PropagationTime_2 : 0.053569
9.76/3.69	c (0,0) c PropagationTime_3 : 0.060400
9.76/3.69	c (0,0) c PropagationTime_4 : 0.058573
9.76/3.69	c (0,0) c PropagationTime_5 : 0.058450
9.76/3.69	c (0,0) c PropagationTime_6 : 0.057939
9.76/3.69	c (0,0) c PropagationTime_7 : 0.044934
9.76/3.69	c (0,0) c PropagationTime_total : 0.446978
9.76/3.69	c (0,0) c PropagationTime_winner : 0.053235
9.76/3.69	c (0,0) c AnalysisTime_0 : 0.014980
9.76/3.69	c (0,0) c AnalysisTime_1 : 0.029926
9.76/3.69	c (0,0) c AnalysisTime_2 : 0.014718
9.76/3.69	c (0,0) c AnalysisTime_3 : 0.016807
9.76/3.69	c (0,0) c AnalysisTime_4 : 0.011046
9.76/3.69	c (0,0) c AnalysisTime_5 : 0.015749
9.76/3.69	c (0,0) c AnalysisTime_6 : 0.012965
9.76/3.69	c (0,0) c AnalysisTime_7 : 0.013680
9.76/3.69	c (0,0) c AnalysisTime_total : 0.129870
9.76/3.69	c (0,0) c AnalysisTime_winner : 0.014980
9.76/3.69	c (0,0) c ReductionTime_0 : 0.001354
9.76/3.69	c (0,0) c ReductionTime_1 : 0.001720
9.76/3.69	c (0,0) c ReductionTime_2 : 0.001701
9.76/3.69	c (0,0) c ReductionTime_3 : 0.001730
9.76/3.69	c (0,0) c ReductionTime_4 : 0.001692
9.76/3.69	c (0,0) c ReductionTime_5 : 0.001740
9.76/3.69	c (0,0) c ReductionTime_6 : 0.001403
9.76/3.69	c (0,0) c ReductionTime_7 : 0.001702
9.76/3.69	c (0,0) c ReductionTime_total : 0.013042
9.76/3.69	c (0,0) c ReductionTime_winner : 0.001354
9.76/3.69	c (0,0) c SimplifyTime_0 : 0.001276
9.76/3.69	c (0,0) c SimplifyTime_1 : 0.000750
9.76/3.69	c (0,0) c SimplifyTime_2 : 0.000650
9.76/3.69	c (0,0) c SimplifyTime_3 : 0.000753
9.76/3.69	c (0,0) c SimplifyTime_4 : 0.000528
9.76/3.69	c (0,0) c SimplifyTime_5 : 0.000415
9.76/3.69	c (0,0) c SimplifyTime_6 : 0.000704
9.76/3.69	c (0,0) c SimplifyTime_7 : 0.000626
9.76/3.69	c (0,0) c SimplifyTime_total : 0.005703
9.76/3.69	c (0,0) c SimplifyTime_winner : 0.001276
9.76/3.69	c (0,0) c UsedRateTime_0 : 0.000000
9.76/3.69	c (0,0) c UsedRateTime_1 : 0.000000
9.76/3.69	c (0,0) c UsedRateTime_2 : 0.000000
9.76/3.69	c (0,0) c UsedRateTime_3 : 0.000000
9.76/3.69	c (0,0) c UsedRateTime_4 : 0.000000
9.76/3.69	c (0,0) c UsedRateTime_5 : 0.000000
9.76/3.69	c (0,0) c UsedRateTime_6 : 0.000000
9.76/3.69	c (0,0) c UsedRateTime_7 : 0.000000
9.76/3.69	c (0,0) c UsedRateTime_total : 0.000000
9.76/3.69	c (0,0) c UsedRateTime_winner : 0.000000
9.76/3.69	c (0,0) c OverlapRateTime_0 : 0.000000
9.76/3.69	c (0,0) c OverlapRateTime_1 : 0.000000
9.76/3.69	c (0,0) c OverlapRateTime_2 : 0.000000
9.76/3.69	c (0,0) c OverlapRateTime_3 : 0.000000
9.76/3.69	c (0,0) c OverlapRateTime_4 : 0.000000
9.76/3.69	c (0,0) c OverlapRateTime_5 : 0.000000
9.76/3.69	c (0,0) c OverlapRateTime_6 : 0.000000
9.76/3.69	c (0,0) c OverlapRateTime_7 : 0.000000
9.76/3.69	c (0,0) c OverlapRateTime_total : 0.000000
9.76/3.69	c (0,0) c OverlapRateTime_winner : 0.000000
9.76/3.69	c (0,0) c
9.76/3.69	c (0,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
9.76/3.69	c (0,0) c
9.76/3.69	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
9.76/3.69	c (0,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
9.76/3.69	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
9.76/3.69	c (0,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
9.76/3.69	c (0,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
9.76/3.69	c (0,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
9.76/3.69	c (0,0) c | Initial random_seed   |  551224591 |  807022269 | 2126149319 | 1786140253 |  147100846 | 1971524100 |  420939606 |  613521216 |
9.76/3.69	c (0,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
9.76/3.69	c (0,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
9.76/3.69	c (0,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
9.76/3.69	c (0,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
9.76/3.69	c (0,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
9.76/3.69	c (0,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
9.76/3.69	c (0,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
9.76/3.69	c (0,0) c | var_decay             |     0.8200 |     0.8200 |     0.8200 |     0.8200 |     0.8100 |     0.8200 |     0.8100 |     0.8100 |
9.76/3.69	c (0,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
9.76/3.69	c (0,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
9.76/3.69	c (0,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
9.76/3.69	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
9.76/3.69	c (0,0) 
9.76/3.69	c (0,0) s UNSATISFIABLE
9.76/3.70	c (0,0) SatSolver.solve End
9.76/3.70	c (0,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
9.76/3.70	c (0,0) Show results Begin
9.76/3.70	s UNSATISFIABLE
9.76/3.70	c (0,0) Show results End
9.76/3.70	c (0,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
10.44/3.70	c (0,0) 0,0,STOP-AFTER(ALL)
10.44/3.70	c END-Prog: Sat Sep 14 06:38:45 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 (14843 MiB free)
  memory of node 1: 16384 MiB (15398 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4392329-1568435960/watcher-4392329-1568435960 -o /tmp/evaluation-result-4392329-1568435960/solver-4392329-1568435960 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node151-1568430672-19252 --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-4392329-1568435960.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
Starting watchdog thread
solver pid=22166, runsolver pid=22163
Current StackSize limit: 8192 KiB


[startup+0.100155 s]*
/proc/loadavg: 0.10 0.04 0.26 2/211 22188
/proc/meminfo: memFree=30873128/32770624 swapFree=66935336/67108860
[pid=22166] ppid=22163 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/22166/stat : 22166 (scop.sh) S 22163 22166 19225 0 -1 4202496 557 319 0 0 0 0 0 0 20 0 1 0 419867488 115843072 349 33554432000 4194304 5098028 140734904140608 140734904137864 140637814002300 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 39669760 140734904148773 140734904149100 140734904149100 140734904152013 0
/proc/22166/statm: 28282 349 296 221 0 87 0
[pid=22169] ppid=22166 vsize=27314120 memory=107648 CPUtime=0.1 cores=0-7
/proc/22169/stat : 22169 (java) S 22166 22166 19225 0 -1 1077944320 6487 0 0 0 8 2 0 0 20 0 20 0 419867488 27969658880 26912 33554432000 4194304 4196468 140725425394000 140725425376544 140685341306615 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 29560832 140725425398507 140725425398934 140725425398934 140725425401807 0
/proc/22169/statm: 6828530 26912 2804 1 0 6790935 0
[pid=22169/tid=22170] ppid=22166 vsize=27314120 memory=7752554716192481949 CPUtime=0.09 cores=0-7
/proc/22169/task/22170/stat : 22170 (java) R 22166 22166 19225 0 -1 4202560 4595 0 0 0 7 2 0 0 20 0 20 0 419867489 27969658880 27424 33554432000 4194304 4196468 140725425394000 140685313110816 140685327374734 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29560832 140725425398507 140725425398934 140725425398934 140725425401807 0
[pid=22169/tid=22171] ppid=22166 vsize=27314120 memory=732370717539601381 CPUtime=0 cores=0-7
/proc/22169/task/22171/stat : 22171 (java) S 22166 22166 19225 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419867491 27969658880 27424 33554432000 4194304 4196468 140725425394000 140685345549328 140685341316821 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29560832 140725425398507 140725425398934 140725425398934 140725425401807 0
[pid=22169/tid=22172] ppid=22166 vsize=27314120 memory=140579202147968 CPUtime=0 cores=0-7
/proc/22169/task/22172/stat : 22172 (java) S 22166 22166 19225 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419867491 27969658880 27424 33554432000 4194304 4196468 140725425394000 140685159705744 140685341316821 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29560832 140725425398507 140725425398934 140725425398934 140725425401807 0
[pid=22169/tid=22173] ppid=22166 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22169/task/22173/stat : 22173 (java) S 22166 22166 19225 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419867491 27969658880 27424 33554432000 4194304 4196468 140725425394000 140685158652688 140685341316821 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29560832 140725425398507 140725425398934 140725425398934 140725425401807 0
[pid=22169/tid=22174] ppid=22166 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22169/task/22174/stat : 22174 (java) S 22166 22166 19225 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419867491 27969658880 27424 33554432000 4194304 4196468 140725425394000 140685157600144 140685341316821 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29560832 140725425398507 140725425398934 140725425398934 140725425401807 0
[pid=22169/tid=22175] ppid=22166 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22169/task/22175/stat : 22175 (java) S 22166 22166 19225 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419867491 27969658880 27424 33554432000 4194304 4196468 140725425394000 140685156547088 140685341316821 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29560832 140725425398507 140725425398934 140725425398934 140725425401807 0
[pid=22169/tid=22176] ppid=22166 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/22169/task/22176/stat : 22176 (java) S 22166 22166 19225 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419867491 27969658880 27424 33554432000 4194304 4196468 140725425394000 140685155494544 140685341316821 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29560832 140725425398507 140725425398934 140725425398934 140725425401807 0
[pid=22169/tid=22177] ppid=22166 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22169/task/22177/stat : 22177 (java) S 22166 22166 19225 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419867491 27969658880 27424 33554432000 4194304 4196468 140725425394000 140685154441488 140685341316821 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29560832 140725425398507 140725425398934 140725425398934 140725425401807 0
[pid=22169/tid=22178] ppid=22166 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22169/task/22178/stat : 22178 (java) S 22166 22166 19225 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419867491 27969658880 27424 33554432000 4194304 4196468 140725425394000 140685153388944 140685341316821 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29560832 140725425398507 140725425398934 140725425398934 140725425401807 0
[pid=22169/tid=22179] ppid=22166 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22169/task/22179/stat : 22179 (java) S 22166 22166 19225 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419867493 27969658880 27424 33554432000 4194304 4196468 140725425394000 140683526507248 140685341317762 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29560832 140725425398507 140725425398934 140725425398934 140725425401807 0
[pid=22169/tid=22180] ppid=22166 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22169/task/22180/stat : 22180 (java) S 22166 22166 19225 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 419867493 27969658880 27424 33554432000 4194304 4196468 140725425394000 140683264386720 140685341316821 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29560832 140725425398507 140725425398934 140725425398934 140725425401807 0
[pid=22169/tid=22181] ppid=22166 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22169/task/22181/stat : 22181 (java) S 22166 22166 19225 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419867493 27969658880 27424 33554432000 4194304 4196468 140725425394000 140682995950832 140685341316821 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29560832 140725425398507 140725425398934 140725425398934 140725425401807 0
[pid=22169/tid=22182] ppid=22166 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22169/task/22182/stat : 22182 (java) S 22166 22166 19225 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419867496 27969658880 27424 33554432000 4194304 4196468 140725425394000 140682621442512 140685341325211 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29560832 140725425398507 140725425398934 140725425398934 140725425401807 0
[pid=22169/tid=22183] ppid=22166 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22169/task/22183/stat : 22183 (java) S 22166 22166 19225 0 -1 1077944384 299 0 0 0 0 0 0 0 20 0 20 0 419867496 27969658880 27424 33554432000 4194304 4196468 140725425394000 140683525454064 140685341317762 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29560832 140725425398507 140725425398934 140725425398934 140725425401807 0
[pid=22169/tid=22184] ppid=22166 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22169/task/22184/stat : 22184 (java) S 22166 22166 19225 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419867496 27969658880 27424 33554432000 4194304 4196468 140725425394000 140683524401520 140685341317762 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29560832 140725425398507 140725425398934 140725425398934 140725425401807 0
[pid=22169/tid=22185] ppid=22166 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22169/task/22185/stat : 22185 (java) S 22166 22166 19225 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419867496 27969658880 27424 33554432000 4194304 4196468 140725425394000 140683523348464 140685341317762 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29560832 140725425398507 140725425398934 140725425398934 140725425401807 0
[pid=22169/tid=22186] ppid=22166 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22169/task/22186/stat : 22186 (java) S 22166 22166 19225 0 -1 1077944384 245 0 0 0 0 0 0 0 20 0 20 0 419867496 27969658880 27424 33554432000 4194304 4196468 140725425394000 140683522295920 140685341317762 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29560832 140725425398507 140725425398934 140725425398934 140725425401807 0
[pid=22169/tid=22187] ppid=22166 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22169/task/22187/stat : 22187 (java) S 22166 22166 19225 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419867496 27969658880 27424 33554432000 4194304 4196468 140725425394000 140682123537376 140685341316821 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29560832 140725425398507 140725425398934 140725425398934 140725425401807 0
[pid=22169/tid=22188] ppid=22166 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/22169/task/22188/stat : 22188 (java) S 22166 22166 19225 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419867496 27969658880 27424 33554432000 4194304 4196468 140725425394000 140683521244336 140685341317762 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29560832 140725425398507 140725425398934 140725425398934 140725425401807 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 109044 KiB

[startup+0.210126 s]*
/proc/loadavg: 0.10 0.04 0.26 2/211 22188
/proc/meminfo: memFree=30854740/32770624 swapFree=66935336/67108860
[pid=22166] ppid=22163 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/22166/stat : 22166 (scop.sh) S 22163 22166 19225 0 -1 4202496 557 319 0 0 0 0 0 0 20 0 1 0 419867488 115843072 349 33554432000 4194304 5098028 140734904140608 140734904137864 140637814002300 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 39669760 140734904148773 140734904149100 140734904149100 140734904152013 0
/proc/22166/statm: 28282 349 296 221 0 87 0
[pid=22169] ppid=22166 vsize=27314120 memory=124284 CPUtime=0.25 cores=0-7
/proc/22169/stat : 22169 (java) S 22166 22166 19225 0 -1 1077944320 11474 0 0 0 21 4 0 0 20 0 20 0 419867488 27969658880 31071 33554432000 4194304 4196468 140725425394000 140725425376544 140685341306615 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 29560832 140725425398507 140725425398934 140725425398934 140725425401807 0
/proc/22169/statm: 6828530 31071 2954 1 0 6790935 0
[pid=22169/tid=22170] ppid=22166 vsize=27314120 memory=0 CPUtime=0.2 cores=0-7
/proc/22169/task/22170/stat : 22170 (java) R 22166 22166 19225 0 -1 4202560 9202 0 0 0 17 3 0 0 20 0 20 0 419867489 27969658880 31071 33554432000 4194304 4196468 140725425394000 140685313121680 140685321581949 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29560832 140725425398507 140725425398934 140725425398934 140725425401807 0
[pid=22169/tid=22171] ppid=22166 vsize=27314120 memory=732370717539601381 CPUtime=0 cores=0-7
/proc/22169/task/22171/stat : 22171 (java) S 22166 22166 19225 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419867491 27969658880 31071 33554432000 4194304 4196468 140725425394000 140685345549328 140685341316821 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29560832 140725425398507 140725425398934 140725425398934 140725425401807 0
[pid=22169/tid=22172] ppid=22166 vsize=27314120 memory=140579202147968 CPUtime=0 cores=0-7
/proc/22169/task/22172/stat : 22172 (java) S 22166 22166 19225 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419867491 27969658880 31071 33554432000 4194304 4196468 140725425394000 140685159705744 140685341316821 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29560832 140725425398507 140725425398934 140725425398934 140725425401807 0
[pid=22169/tid=22173] ppid=22166 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22169/task/22173/stat : 22173 (java) S 22166 22166 19225 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419867491 27969658880 31071 33554432000 4194304 4196468 140725425394000 140685158652688 140685341316821 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29560832 140725425398507 140725425398934 140725425398934 140725425401807 0
[pid=22169/tid=22174] ppid=22166 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22169/task/22174/stat : 22174 (java) S 22166 22166 19225 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419867491 27969658880 31071 33554432000 4194304 4196468 140725425394000 140685157600144 140685341316821 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29560832 140725425398507 140725425398934 140725425398934 140725425401807 0
[pid=22169/tid=22175] ppid=22166 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22169/task/22175/stat : 22175 (java) S 22166 22166 19225 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419867491 27969658880 31071 33554432000 4194304 4196468 140725425394000 140685156547088 140685341316821 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29560832 140725425398507 140725425398934 140725425398934 140725425401807 0
[pid=22169/tid=22176] ppid=22166 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/22169/task/22176/stat : 22176 (java) S 22166 22166 19225 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419867491 27969658880 31071 33554432000 4194304 4196468 140725425394000 140685155494544 140685341316821 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29560832 140725425398507 140725425398934 140725425398934 140725425401807 0
[pid=22169/tid=22177] ppid=22166 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22169/task/22177/stat : 22177 (java) S 22166 22166 19225 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419867491 27969658880 31071 33554432000 4194304 4196468 140725425394000 140685154441488 140685341316821 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29560832 140725425398507 140725425398934 140725425398934 140725425401807 0
[pid=22169/tid=22178] ppid=22166 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22169/task/22178/stat : 22178 (java) S 22166 22166 19225 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419867491 27969658880 31071 33554432000 4194304 4196468 140725425394000 140685153388944 140685341316821 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29560832 140725425398507 140725425398934 140725425398934 140725425401807 0
[pid=22169/tid=22179] ppid=22166 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22169/task/22179/stat : 22179 (java) S 22166 22166 19225 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419867493 27969658880 31071 33554432000 4194304 4196468 140725425394000 140683526507248 140685341317762 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29560832 140725425398507 140725425398934 140725425398934 140725425401807 0
[pid=22169/tid=22180] ppid=22166 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22169/task/22180/stat : 22180 (java) S 22166 22166 19225 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 419867493 27969658880 31071 33554432000 4194304 4196468 140725425394000 140683264386720 140685341316821 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29560832 140725425398507 140725425398934 140725425398934 140725425401807 0
[pid=22169/tid=22181] ppid=22166 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22169/task/22181/stat : 22181 (java) S 22166 22166 19225 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419867493 27969658880 31071 33554432000 4194304 4196468 140725425394000 140682995950832 140685341316821 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29560832 140725425398507 140725425398934 140725425398934 140725425401807 0
[pid=22169/tid=22182] ppid=22166 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22169/task/22182/stat : 22182 (java) S 22166 22166 19225 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419867496 27969658880 31071 33554432000 4194304 4196468 140725425394000 140682621442512 140685341325211 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29560832 140725425398507 140725425398934 140725425398934 140725425401807 0
[pid=22169/tid=22183] ppid=22166 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22169/task/22183/stat : 22183 (java) S 22166 22166 19225 0 -1 1077944384 310 0 0 0 0 0 0 0 20 0 20 0 419867496 27969658880 31071 33554432000 4194304 4196468 140725425394000 140683525454064 140685341317762 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29560832 140725425398507 140725425398934 140725425398934 140725425401807 0
[pid=22169/tid=22184] ppid=22166 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22169/task/22184/stat : 22184 (java) S 22166 22166 19225 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419867496 27969658880 31071 33554432000 4194304 4196468 140725425394000 140683524401520 140685341317762 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29560832 140725425398507 140725425398934 140725425398934 140725425401807 0
[pid=22169/tid=22185] ppid=22166 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22169/task/22185/stat : 22185 (java) S 22166 22166 19225 0 -1 1077944384 157 0 0 0 0 0 0 0 20 0 20 0 419867496 27969658880 31071 33554432000 4194304 4196468 140725425394000 140683523348464 140685341317762 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29560832 140725425398507 140725425398934 140725425398934 140725425401807 0
[pid=22169/tid=22186] ppid=22166 vsize=27314120 memory=0 CPUtime=0.02 cores=0-7
/proc/22169/task/22186/stat : 22186 (java) S 22166 22166 19225 0 -1 1077944384 460 0 0 0 2 0 0 0 20 0 20 0 419867496 27969658880 31071 33554432000 4194304 4196468 140725425394000 140683522295920 140685341317762 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29560832 140725425398507 140725425398934 140725425398934 140725425401807 0
[pid=22169/tid=22187] ppid=22166 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22169/task/22187/stat : 22187 (java) S 22166 22166 19225 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419867496 27969658880 31071 33554432000 4194304 4196468 140725425394000 140682123537376 140685341316821 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29560832 140725425398507 140725425398934 140725425398934 140725425401807 0
[pid=22169/tid=22188] ppid=22166 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/22169/task/22188/stat : 22188 (java) S 22166 22166 19225 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419867496 27969658880 31071 33554432000 4194304 4196468 140725425394000 140683521244336 140685341317762 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29560832 140725425398507 140725425398934 140725425398934 140725425401807 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 125680 KiB

[startup+0.30948 s]*
/proc/loadavg: 0.10 0.04 0.26 2/211 22188
/proc/meminfo: memFree=30852296/32770624 swapFree=66935336/67108860
[pid=22166] ppid=22163 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/22166/stat : 22166 (scop.sh) S 22163 22166 19225 0 -1 4202496 557 319 0 0 0 0 0 0 20 0 1 0 419867488 115843072 349 33554432000 4194304 5098028 140734904140608 140734904137864 140637814002300 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 39669760 140734904148773 140734904149100 140734904149100 140734904152013 0
/proc/22166/statm: 28282 349 296 221 0 87 0
[pid=22169] ppid=22166 vsize=27314120 memory=128228 CPUtime=0.43 cores=0-7
/proc/22169/stat : 22169 (java) S 22166 22166 19225 0 -1 1077944320 12432 0 0 0 38 5 0 0 20 0 20 0 419867488 27969658880 32057 33554432000 4194304 4196468 140725425394000 140725425376544 140685341306615 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 29560832 140725425398507 140725425398934 140725425398934 140725425401807 0
/proc/22169/statm: 6828530 32057 3025 1 0 6790935 0
[pid=22169/tid=22170] ppid=22166 vsize=27314120 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/22169/task/22170/stat : 22170 (java) R 22166 22166 19225 0 -1 4202560 9970 0 0 0 26 3 0 0 20 0 20 0 419867489 27969658880 32057 33554432000 4194304 4196468 140725425394000 140685313089632 140685322680165 0 4 2 16800973 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 29560832 140725425398507 140725425398934 140725425398934 140725425401807 0
[pid=22169/tid=22171] ppid=22166 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22169/task/22171/stat : 22171 (java) S 22166 22166 19225 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419867491 27969658880 32057 33554432000 4194304 4196468 140725425394000 140685345549328 140685341316821 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29560832 140725425398507 140725425398934 140725425398934 140725425401807 0
[pid=22169/tid=22172] ppid=22166 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22169/task/22172/stat : 22172 (java) S 22166 22166 19225 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419867491 27969658880 32057 33554432000 4194304 4196468 140725425394000 140685159705744 140685341316821 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29560832 140725425398507 140725425398934 140725425398934 140725425401807 0
[pid=22169/tid=22173] ppid=22166 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22169/task/22173/stat : 22173 (java) S 22166 22166 19225 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419867491 27969658880 32057 33554432000 4194304 4196468 140725425394000 140685158652688 140685341316821 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29560832 140725425398507 140725425398934 140725425398934 140725425401807 0
[pid=22169/tid=22174] ppid=22166 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22169/task/22174/stat : 22174 (java) S 22166 22166 19225 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419867491 27969658880 32057 33554432000 4194304 4196468 140725425394000 140685157600144 140685341316821 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29560832 140725425398507 140725425398934 140725425398934 140725425401807 0
[pid=22169/tid=22175] ppid=22166 vsize=27314120 memory=2244 CPUtime=0 cores=0-7
/proc/22169/task/22175/stat : 22175 (java) S 22166 22166 19225 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419867491 27969658880 32057 33554432000 4194304 4196468 140725425394000 140685156547088 140685341316821 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29560832 140725425398507 140725425398934 140725425398934 140725425401807 0
[pid=22169/tid=22176] ppid=22166 vsize=27314120 memory=140579044422575 CPUtime=0 cores=0-7
/proc/22169/task/22176/stat : 22176 (java) S 22166 22166 19225 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419867491 27969658880 32057 33554432000 4194304 4196468 140725425394000 140685155494544 140685341316821 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29560832 140725425398507 140725425398934 140725425398934 140725425401807 0
[pid=22169/tid=22177] ppid=22166 vsize=27314120 memory=140579044424880 CPUtime=0 cores=0-7
/proc/22169/task/22177/stat : 22177 (java) S 22166 22166 19225 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419867491 27969658880 32057 33554432000 4194304 4196468 140725425394000 140685154441488 140685341316821 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29560832 140725425398507 140725425398934 140725425398934 140725425401807 0
[pid=22169/tid=22178] ppid=22166 vsize=27314120 memory=140579044427184 CPUtime=0 cores=0-7
/proc/22169/task/22178/stat : 22178 (java) S 22166 22166 19225 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419867491 27969658880 32057 33554432000 4194304 4196468 140725425394000 140685153388944 140685341316821 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29560832 140725425398507 140725425398934 140725425398934 140725425401807 0
[pid=22169/tid=22179] ppid=22166 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22169/task/22179/stat : 22179 (java) S 22166 22166 19225 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419867493 27969658880 32057 33554432000 4194304 4196468 140725425394000 140683526507248 140685341317762 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29560832 140725425398507 140725425398934 140725425398934 140725425401807 0
[pid=22169/tid=22180] ppid=22166 vsize=27314120 memory=281158088861328 CPUtime=0 cores=0-7
/proc/22169/task/22180/stat : 22180 (java) S 22166 22166 19225 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 419867493 27969658880 32057 33554432000 4194304 4196468 140725425394000 140683264386720 140685341316821 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29560832 140725425398507 140725425398934 140725425398934 140725425401807 0
[pid=22169/tid=22181] ppid=22166 vsize=27314120 memory=281158088868240 CPUtime=0 cores=0-7
/proc/22169/task/22181/stat : 22181 (java) S 22166 22166 19225 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419867493 27969658880 32057 33554432000 4194304 4196468 140725425394000 140682995950832 140685341316821 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29560832 140725425398507 140725425398934 140725425398934 140725425401807 0
[pid=22169/tid=22182] ppid=22166 vsize=27314120 memory=281158088809520 CPUtime=0 cores=0-7
/proc/22169/task/22182/stat : 22182 (java) S 22166 22166 19225 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419867496 27969658880 32057 33554432000 4194304 4196468 140725425394000 140682621442512 140685341325211 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29560832 140725425398507 140725425398934 140725425398934 140725425401807 0
[pid=22169/tid=22183] ppid=22166 vsize=27314120 memory=281158088882064 CPUtime=0.01 cores=0-7
/proc/22169/task/22183/stat : 22183 (java) S 22166 22166 19225 0 -1 1077944384 343 0 0 0 1 0 0 0 20 0 20 0 419867496 27969658880 32057 33554432000 4194304 4196468 140725425394000 140683525454064 140685341317762 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29560832 140725425398507 140725425398934 140725425398934 140725425401807 0
[pid=22169/tid=22184] ppid=22166 vsize=27314120 memory=281158088888976 CPUtime=0.01 cores=0-7
/proc/22169/task/22184/stat : 22184 (java) R 22166 22166 19225 0 -1 4202560 53 0 0 0 1 0 0 0 20 0 20 0 419867496 27969658880 32057 33554432000 4194304 4196468 140725425394000 140683524401520 140685320552950 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29560832 140725425398507 140725425398934 140725425398934 140725425401807 0
[pid=22169/tid=22185] ppid=22166 vsize=27314120 memory=281158088886672 CPUtime=0.01 cores=0-7
/proc/22169/task/22185/stat : 22185 (java) S 22166 22166 19225 0 -1 1077944384 242 0 0 0 1 0 0 0 20 0 20 0 419867496 27969658880 32057 33554432000 4194304 4196468 140725425394000 140683523348464 140685341317762 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29560832 140725425398507 140725425398934 140725425398934 140725425401807 0
[pid=22169/tid=22186] ppid=22166 vsize=27314120 memory=281158088902832 CPUtime=0.07 cores=0-7
/proc/22169/task/22186/stat : 22186 (java) S 22166 22166 19225 0 -1 1077944384 482 0 0 0 7 0 0 0 20 0 20 0 419867496 27969658880 32057 33554432000 4194304 4196468 140725425394000 140683522295920 140685341317762 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29560832 140725425398507 140725425398934 140725425398934 140725425401807 0
[pid=22169/tid=22187] ppid=22166 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22169/task/22187/stat : 22187 (java) S 22166 22166 19225 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419867496 27969658880 32057 33554432000 4194304 4196468 140725425394000 140682123537376 140685341316821 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29560832 140725425398507 140725425398934 140725425398934 140725425401807 0
[pid=22169/tid=22188] ppid=22166 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/22169/task/22188/stat : 22188 (java) S 22166 22166 19225 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419867496 27969658880 32057 33554432000 4194304 4196468 140725425394000 140683521244336 140685341317762 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29560832 140725425398507 140725425398934 140725425398934 140725425401807 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 129624 KiB

[startup+0.70089 s]
/proc/loadavg: 0.10 0.04 0.26 2/211 22188
/proc/meminfo: memFree=30828596/32770624 swapFree=66935336/67108860
[pid=22166] ppid=22163 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/22166/stat : 22166 (scop.sh) S 22163 22166 19225 0 -1 4202496 557 319 0 0 0 0 0 0 20 0 1 0 419867488 115843072 349 33554432000 4194304 5098028 140734904140608 140734904137864 140637814002300 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 39669760 140734904148773 140734904149100 140734904149100 140734904152013 0
/proc/22166/statm: 28282 349 296 221 0 87 0
[pid=22169] ppid=22166 vsize=27320392 memory=167584 CPUtime=1.02 cores=0-7
/proc/22169/stat : 22169 (java) S 22166 22166 19225 0 -1 1077944320 19997 0 0 0 96 6 0 0 20 0 20 0 419867488 27976081408 41896 33554432000 4194304 4196468 140725425394000 140725425376544 140685341306615 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 29560832 140725425398507 140725425398934 140725425398934 140725425401807 0
/proc/22169/statm: 6830098 41896 3183 1 0 6791447 0
[pid=22169/tid=22170] ppid=22166 vsize=27320392 memory=281158089197760 CPUtime=0.68 cores=0-7
/proc/22169/task/22170/stat : 22170 (java) R 22166 22166 19225 0 -1 4202560 16931 0 0 0 63 5 0 0 20 0 20 0 419867489 27976081408 41896 33554432000 4194304 4196468 140725425394000 140685313144048 140685325387102 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29560832 140725425398507 140725425398934 140725425398934 140725425401807 0
[pid=22169/tid=22171] ppid=22166 vsize=27320392 memory=1564 CPUtime=0 cores=0-7
/proc/22169/task/22171/stat : 22171 (java) S 22166 22166 19225 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419867491 27976081408 41896 33554432000 4194304 4196468 140725425394000 140685345549328 140685341316821 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29560832 140725425398507 140725425398934 140725425398934 140725425401807 0
[pid=22169/tid=22172] ppid=22166 vsize=27320392 memory=976 CPUtime=0 cores=0-7
/proc/22169/task/22172/stat : 22172 (java) S 22166 22166 19225 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419867491 27976081408 41896 33554432000 4194304 4196468 140725425394000 140685159705744 140685341316821 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29560832 140725425398507 140725425398934 140725425398934 140725425401807 0
[pid=22169/tid=22173] ppid=22166 vsize=27320392 memory=772 CPUtime=0 cores=0-7

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

# the end of solver process 22166 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=10.2162 s, system=0.283102 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+3.20108 s]
/proc/loadavg: 0.10 0.04 0.26 2/211 22208
/proc/meminfo: memFree=30923720/32770624 swapFree=66935336/67108860
[pid=22166] ppid=22163 vsize=113128 memory=1476 CPUtime=8.64 cores=0-7
/proc/22166/stat : 22166 (scop.sh) S 22163 22166 19225 0 -1 4202496 583 31061 0 0 0 0 846 18 20 0 1 0 419867488 115843072 369 33554432000 4194304 5098028 140734904140608 140734904137352 140637814002300 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 39669760 140734904148773 140734904149100 140734904149100 140734904152013 0
/proc/22166/statm: 28282 369 311 221 0 87 0
[pid=22189] ppid=22166 vsize=7750184 memory=67716 CPUtime=0.47 cores=0-7
/proc/22189/stat : 22189 (java) S 22166 22166 19225 0 -1 1077944320 12668 0 0 0 44 3 0 0 20 0 20 0 419867771 7936188416 16929 33554432000 4194304 4196468 140724576591344 140724576573888 140601089269495 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 37003264 140724576592887 140724576593046 140724576593046 140724576595919 0
/proc/22189/statm: 1937546 16929 3045 1 0 1899951 0
[pid=22189/tid=22190] ppid=22166 vsize=7750184 memory=6791534058613427641 CPUtime=0.35 cores=0-7
/proc/22189/task/22190/stat : 22190 (java) R 22166 22166 19225 0 -1 4202560 10201 0 0 0 32 3 0 0 20 0 20 0 419867772 7936188416 16929 33554432000 4194304 4196468 140724576591344 140601061039712 140601073349982 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37003264 140724576592887 140724576593046 140724576593046 140724576595919 0
[pid=22189/tid=22191] ppid=22166 vsize=7750184 memory=1564 CPUtime=0 cores=0-7
/proc/22189/task/22191/stat : 22191 (java) S 22166 22166 19225 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419867773 7936188416 16929 33554432000 4194304 4196468 140724576591344 140601093511696 140601089279701 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37003264 140724576592887 140724576593046 140724576593046 140724576595919 0
[pid=22189/tid=22192] ppid=22166 vsize=7750184 memory=976 CPUtime=0 cores=0-7
/proc/22189/task/22192/stat : 22192 (java) S 22166 22166 19225 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419867773 7936188416 16929 33554432000 4194304 4196468 140724576591344 140600574118544 140601089279701 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37003264 140724576592887 140724576593046 140724576593046 140724576595919 0
[pid=22189/tid=22193] ppid=22166 vsize=7750184 memory=772 CPUtime=0 cores=0-7
/proc/22189/task/22193/stat : 22193 (java) S 22166 22166 19225 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419867773 7936188416 16929 33554432000 4194304 4196468 140724576591344 140600573065488 140601089279701 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37003264 140724576592887 140724576593046 140724576593046 140724576595919 0
[pid=22189/tid=22194] ppid=22166 vsize=7750184 memory=3932 CPUtime=0 cores=0-7
/proc/22189/task/22194/stat : 22194 (java) S 22166 22166 19225 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419867773 7936188416 16929 33554432000 4194304 4196468 140724576591344 140600572012944 140601089279701 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37003264 140724576592887 140724576593046 140724576593046 140724576595919 0
[pid=22189/tid=22195] ppid=22166 vsize=7750184 memory=0 CPUtime=0 cores=0-7
/proc/22189/task/22195/stat : 22195 (java) S 22166 22166 19225 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419867773 7936188416 16929 33554432000 4194304 4196468 140724576591344 140600570960912 140601089279701 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37003264 140724576592887 140724576593046 140724576593046 140724576595919 0
[pid=22189/tid=22196] ppid=22166 vsize=7750184 memory=13412 CPUtime=0 cores=0-7
/proc/22189/task/22196/stat : 22196 (java) S 22166 22166 19225 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419867773 7936188416 16929 33554432000 4194304 4196468 140724576591344 140600569908368 140601089279701 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37003264 140724576592887 140724576593046 140724576593046 140724576595919 0
[pid=22189/tid=22197] ppid=22166 vsize=7750184 memory=7739529780737568101 CPUtime=0 cores=0-7
/proc/22189/task/22197/stat : 22197 (java) S 22166 22166 19225 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419867773 7936188416 16929 33554432000 4194304 4196468 140724576591344 140600568855312 140601089279701 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37003264 140724576592887 140724576593046 140724576593046 140724576595919 0
[pid=22189/tid=22198] ppid=22166 vsize=7750184 memory=744 CPUtime=0 cores=0-7
/proc/22189/task/22198/stat : 22198 (java) S 22166 22166 19225 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419867773 7936188416 16929 33554432000 4194304 4196468 140724576591344 140600567802768 140601089279701 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37003264 140724576592887 140724576593046 140724576593046 140724576595919 0
[pid=22189/tid=22199] ppid=22166 vsize=7750184 memory=8296 CPUtime=0 cores=0-7
/proc/22189/task/22199/stat : 22199 (java) S 22166 22166 19225 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419867774 7936188416 16929 33554432000 4194304 4196468 140724576591344 140599914125552 140601089280642 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37003264 140724576592887 140724576593046 140724576593046 140724576595919 0
[pid=22189/tid=22200] ppid=22166 vsize=7750184 memory=5964 CPUtime=0 cores=0-7
/proc/22189/task/22200/stat : 22200 (java) S 22166 22166 19225 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 419867775 7936188416 16929 33554432000 4194304 4196468 140724576591344 140599713850528 140601089279701 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37003264 140724576592887 140724576593046 140724576593046 140724576595919 0
[pid=22189/tid=22201] ppid=22166 vsize=7750184 memory=1124 CPUtime=0 cores=0-7
/proc/22189/task/22201/stat : 22201 (java) S 22166 22166 19225 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419867775 7936188416 16929 33554432000 4194304 4196468 140724576591344 140599445414640 140601089279701 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37003264 140724576592887 140724576593046 140724576593046 140724576595919 0
[pid=22189/tid=22202] ppid=22166 vsize=7750184 memory=14008 CPUtime=0 cores=0-7
/proc/22189/task/22202/stat : 22202 (java) S 22166 22166 19225 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419867777 7936188416 16929 33554432000 4194304 4196468 140724576591344 140599070906320 140601089288091 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37003264 140724576592887 140724576593046 140724576593046 140724576595919 0
[pid=22189/tid=22203] ppid=22166 vsize=7750184 memory=12024 CPUtime=0.01 cores=0-7
/proc/22189/task/22203/stat : 22203 (java) S 22166 22166 19225 0 -1 1077944384 547 0 0 0 1 0 0 0 20 0 20 0 419867777 7936188416 16929 33554432000 4194304 4196468 140724576591344 140599913073392 140601089280642 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37003264 140724576592887 140724576593046 140724576593046 140724576595919 0
[pid=22189/tid=22204] ppid=22166 vsize=7750184 memory=2124 CPUtime=0.02 cores=0-7
/proc/22189/task/22204/stat : 22204 (java) S 22166 22166 19225 0 -1 1077944384 128 0 0 0 2 0 0 0 20 0 20 0 419867777 7936188416 16929 33554432000 4194304 4196468 140724576591344 140599912020848 140601089280642 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37003264 140724576592887 140724576593046 140724576593046 140724576595919 0
[pid=22189/tid=22205] ppid=22166 vsize=7750184 memory=7960 CPUtime=0 cores=0-7
/proc/22189/task/22205/stat : 22205 (java) S 22166 22166 19225 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 20 0 419867777 7936188416 16929 33554432000 4194304 4196468 140724576591344 140599910967792 140601089280642 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37003264 140724576592887 140724576593046 140724576593046 140724576595919 0
[pid=22189/tid=22206] ppid=22166 vsize=7750184 memory=504 CPUtime=0.07 cores=0-7
/proc/22189/task/22206/stat : 22206 (java) S 22166 22166 19225 0 -1 1077944384 442 0 0 0 7 0 0 0 20 0 20 0 419867777 7936188416 16929 33554432000 4194304 4196468 140724576591344 140599909915248 140601089280642 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37003264 140724576592887 140724576593046 140724576593046 140724576595919 0
[pid=22189/tid=22207] ppid=22166 vsize=7750184 memory=1564 CPUtime=0 cores=0-7
/proc/22189/task/22207/stat : 22207 (java) S 22166 22166 19225 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419867778 7936188416 16929 33554432000 4194304 4196468 140724576591344 140598573001184 140601089279701 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37003264 140724576592887 140724576593046 140724576593046 140724576595919 0
[pid=22189/tid=22208] ppid=22166 vsize=7750184 memory=924 CPUtime=0 cores=0-7
/proc/22189/task/22208/stat : 22208 (java) S 22166 22166 19225 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419867778 7936188416 16929 33554432000 4194304 4196468 140724576591344 140599908862640 140601089280642 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37003264 140724576592887 140724576593046 140724576593046 140724576595919 0
Current children cumulated CPU time: 9.11 s
Current children cumulated vsize: 7863312 KiB
Current children cumulated memory: 69192 KiB

[startup+3.60085 s]
/proc/loadavg: 0.10 0.04 0.26 2/211 22208
/proc/meminfo: memFree=30923720/32770624 swapFree=66935336/67108860
[pid=22166] ppid=22163 vsize=113128 memory=1476 CPUtime=8.64 cores=0-7
/proc/22166/stat : 22166 (scop.sh) S 22163 22166 19225 0 -1 4202496 583 31061 0 0 0 0 846 18 20 0 1 0 419867488 115843072 369 33554432000 4194304 5098028 140734904140608 140734904137352 140637814002300 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 39669760 140734904148773 140734904149100 140734904149100 140734904152013 0
/proc/22166/statm: 28282 369 311 221 0 87 0
[pid=22189] ppid=22166 vsize=8348588 memory=117348 CPUtime=1.12 cores=0-7
/proc/22189/stat : 22189 (java) S 22166 22166 19225 0 -1 1077944320 21207 0 0 0 105 7 0 0 20 0 24 0 419867771 8548954112 29337 33554432000 4194304 4196468 140724576591344 140724576573888 140601089269495 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 37003264 140724576592887 140724576593046 140724576593046 140724576595919 0
/proc/22189/statm: 2087147 29337 3206 1 0 2048491 0
[pid=22189/tid=22190] ppid=22166 vsize=8348588 memory=0 CPUtime=0.74 cores=0-7
/proc/22189/task/22190/stat : 22190 (java) R 22166 22166 19225 0 -1 4202560 17837 0 0 0 69 5 0 0 20 0 24 0 419867772 8548954112 29337 33554432000 4194304 4196468 140724576591344 140601061108400 140601070833070 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37003264 140724576592887 140724576593046 140724576593046 140724576595919 0
[pid=22189/tid=22191] ppid=22166 vsize=8348588 memory=0 CPUtime=0 cores=0-7
/proc/22189/task/22191/stat : 22191 (java) S 22166 22166 19225 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419867773 8548954112 29337 33554432000 4194304 4196468 140724576591344 140601093511696 140601089279701 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37003264 140724576592887 140724576593046 140724576593046 140724576595919 0
[pid=22189/tid=22192] ppid=22166 vsize=8348588 memory=0 CPUtime=0 cores=0-7
/proc/22189/task/22192/stat : 22192 (java) S 22166 22166 19225 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419867773 8548954112 29337 33554432000 4194304 4196468 140724576591344 140600574118544 140601089279701 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37003264 140724576592887 140724576593046 140724576593046 140724576595919 0
[pid=22189/tid=22193] ppid=22166 vsize=8348588 memory=0 CPUtime=0 cores=0-7
/proc/22189/task/22193/stat : 22193 (java) S 22166 22166 19225 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419867773 8548954112 29337 33554432000 4194304 4196468 140724576591344 140600573065488 140601089279701 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37003264 140724576592887 140724576593046 140724576593046 140724576595919 0
[pid=22189/tid=22194] ppid=22166 vsize=8348588 memory=0 CPUtime=0 cores=0-7
/proc/22189/task/22194/stat : 22194 (java) S 22166 22166 19225 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419867773 8548954112 29337 33554432000 4194304 4196468 140724576591344 140600572012944 140601089279701 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37003264 140724576592887 140724576593046 140724576593046 140724576595919 0
[pid=22189/tid=22195] ppid=22166 vsize=8348588 memory=6791534058613427641 CPUtime=0 cores=0-7
/proc/22189/task/22195/stat : 22195 (java) S 22166 22166 19225 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419867773 8548954112 29337 33554432000 4194304 4196468 140724576591344 140600570960912 140601089279701 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37003264 140724576592887 140724576593046 140724576593046 140724576595919 0
[pid=22189/tid=22196] ppid=22166 vsize=8348588 memory=281158089254768 CPUtime=0 cores=0-7
/proc/22189/task/22196/stat : 22196 (java) S 22166 22166 19225 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419867773 8548954112 29337 33554432000 4194304 4196468 140724576591344 140600569908368 140601089279701 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37003264 140724576592887 140724576593046 140724576593046 140724576595919 0
[pid=22189/tid=22197] ppid=22166 vsize=8348588 memory=140579044684496 CPUtime=0 cores=0-7
/proc/22189/task/22197/stat : 22197 (java) S 22166 22166 19225 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419867773 8548954112 29337 33554432000 4194304 4196468 140724576591344 140600568855312 140601089279701 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37003264 140724576592887 140724576593046 140724576593046 140724576595919 0
[pid=22189/tid=22198] ppid=22166 vsize=8348588 memory=7380671248541445222 CPUtime=0 cores=0-7
/proc/22189/task/22198/stat : 22198 (java) S 22166 22166 19225 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419867773 8548954112 29337 33554432000 4194304 4196468 140724576591344 140600567802768 140601089279701 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37003264 140724576592887 140724576593046 140724576593046 140724576595919 0
[pid=22189/tid=22199] ppid=22166 vsize=8348588 memory=0 CPUtime=0 cores=0-7
/proc/22189/task/22199/stat : 22199 (java) S 22166 22166 19225 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 419867774 8548954112 29337 33554432000 4194304 4196468 140724576591344 140599914125552 140601089280642 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37003264 140724576592887 140724576593046 140724576593046 140724576595919 0
[pid=22189/tid=22200] ppid=22166 vsize=8348588 memory=0 CPUtime=0 cores=0-7
/proc/22189/task/22200/stat : 22200 (java) S 22166 22166 19225 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 419867775 8548954112 29337 33554432000 4194304 4196468 140724576591344 140599713850528 140601089279701 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37003264 140724576592887 140724576593046 140724576593046 140724576595919 0
[pid=22189/tid=22201] ppid=22166 vsize=8348588 memory=0 CPUtime=0 cores=0-7
/proc/22189/task/22201/stat : 22201 (java) S 22166 22166 19225 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419867775 8548954112 29337 33554432000 4194304 4196468 140724576591344 140599445414640 140601089279701 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37003264 140724576592887 140724576593046 140724576593046 140724576595919 0
[pid=22189/tid=22202] ppid=22166 vsize=8348588 memory=0 CPUtime=0 cores=0-7
/proc/22189/task/22202/stat : 22202 (java) S 22166 22166 19225 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419867777 8548954112 29337 33554432000 4194304 4196468 140724576591344 140599070906320 140601089288091 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37003264 140724576592887 140724576593046 140724576593046 140724576595919 0
[pid=22189/tid=22203] ppid=22166 vsize=8348588 memory=0 CPUtime=0.06 cores=0-7
/proc/22189/task/22203/stat : 22203 (java) S 22166 22166 19225 0 -1 1077944384 736 0 0 0 6 0 0 0 20 0 24 0 419867777 8548954112 29337 33554432000 4194304 4196468 140724576591344 140599913073392 140601089280642 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37003264 140724576592887 140724576593046 140724576593046 140724576595919 0
[pid=22189/tid=22204] ppid=22166 vsize=8348588 memory=0 CPUtime=0.05 cores=0-7
/proc/22189/task/22204/stat : 22204 (java) R 22166 22166 19225 0 -1 1077944384 225 0 0 0 5 0 0 0 20 0 24 0 419867777 8548954112 29337 33554432000 4194304 4196468 140724576591344 140599912020848 140601089280642 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37003264 140724576592887 140724576593046 140724576593046 140724576595919 0
[pid=22189/tid=22205] ppid=22166 vsize=8348588 memory=0 CPUtime=0.05 cores=0-7
/proc/22189/task/22205/stat : 22205 (java) S 22166 22166 19225 0 -1 1077944384 276 0 0 0 5 0 0 0 20 0 24 0 419867777 8548954112 29337 33554432000 4194304 4196468 140724576591344 140599910967792 140601089280642 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37003264 140724576592887 140724576593046 140724576593046 140724576595919 0
[pid=22189/tid=22206] ppid=22166 vsize=8348588 memory=0 CPUtime=0.18 cores=0-7
/proc/22189/task/22206/stat : 22206 (java) S 22166 22166 19225 0 -1 1077944384 743 0 0 0 18 0 0 0 20 0 24 0 419867777 8548954112 29337 33554432000 4194304 4196468 140724576591344 140599909915248 140601089280642 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37003264 140724576592887 140724576593046 140724576593046 140724576595919 0
[pid=22189/tid=22207] ppid=22166 vsize=8348588 memory=0 CPUtime=0 cores=0-7
/proc/22189/task/22207/stat : 22207 (java) S 22166 22166 19225 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419867778 8548954112 29337 33554432000 4194304 4196468 140724576591344 140598573001184 140601089279701 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37003264 140724576592887 140724576593046 140724576593046 140724576595919 0
[pid=22189/tid=22208] ppid=22166 vsize=8348588 memory=0 CPUtime=0 cores=0-7
/proc/22189/task/22208/stat : 22208 (java) S 22166 22166 19225 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419867778 8548954112 29337 33554432000 4194304 4196468 140724576591344 140599908862640 140601089280642 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37003264 140724576592887 140724576593046 140724576593046 140724576595919 0
Current children cumulated CPU time: 9.76 s
Current children cumulated vsize: 8461716 KiB
Current children cumulated memory: 118824 KiB

[startup+3.70084 s]
/proc/loadavg: 0.10 0.04 0.26 2/211 22208
/proc/meminfo: memFree=30923720/32770624 swapFree=66935336/67108860
[pid=22166] ppid=22163 vsize=113128 memory=1476 CPUtime=8.64 cores=0-7
/proc/22166/stat : 22166 (scop.sh) S 22163 22166 19225 0 -1 4202496 583 31061 0 0 0 0 846 18 20 0 1 0 419867488 115843072 369 33554432000 4194304 5098028 140734904140608 140734904137352 140637814002300 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 39669760 140734904148773 140734904149100 140734904149100 140734904152013 0
/proc/22166/statm: 28282 369 311 221 0 87 0
[pid=22189] ppid=22166 vsize=8283048 memory=119920 CPUtime=1.8 cores=0-7
/proc/22189/stat : 22189 (java) S 22166 22166 19225 0 -1 1077944320 21451 2161 0 0 114 7 59 0 20 0 22 0 419867771 8481841152 29980 33554432000 4194304 4196468 140724576591344 140724576573888 140601089269495 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 37003264 140724576592887 140724576593046 140724576593046 140724576595919 0
/proc/22189/statm: 2070762 29980 3210 1 0 2032106 0
[pid=22189/tid=22190] ppid=22166 vsize=8283048 memory=99676 CPUtime=1.35 cores=0-7
/proc/22189/task/22190/stat : 22190 (java) R 22166 22166 19225 0 -1 4202560 18001 2161 0 0 71 5 59 0 20 0 22 0 419867772 8481841152 29980 33554432000 4194304 4196468 140724576591344 140601061105408 140724577949634 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37003264 140724576592887 140724576593046 140724576593046 140724576595919 0
[pid=22189/tid=22191] ppid=22166 vsize=8283048 memory=503244 CPUtime=0.59 cores=0-7
/proc/22189/task/22191/stat : 22191 (java) S 22166 22166 19225 0 -1 1077944384 2 2161 0 0 0 0 59 0 20 0 22 0 419867773 8481841152 29980 33554432000 4194304 4196468 140724576591344 140601093511696 140601089279701 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37003264 140724576592887 140724576593046 140724576593046 140724576595919 0
[pid=22189/tid=22192] ppid=22166 vsize=8283048 memory=1396 CPUtime=0.59 cores=0-7
/proc/22189/task/22192/stat : 22192 (java) S 22166 22166 19225 0 -1 1077944384 1 2161 0 0 0 0 59 0 20 0 22 0 419867773 8481841152 29980 33554432000 4194304 4196468 140724576591344 140600574118544 140601089279701 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37003264 140724576592887 140724576593046 140724576593046 140724576595919 0
[pid=22189/tid=22193] ppid=22166 vsize=8283048 memory=180776 CPUtime=0.59 cores=0-7
/proc/22189/task/22193/stat : 22193 (java) S 22166 22166 19225 0 -1 1077944384 1 2161 0 0 0 0 59 0 20 0 22 0 419867773 8481841152 29980 33554432000 4194304 4196468 140724576591344 140600573065488 140601089279701 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37003264 140724576592887 140724576593046 140724576593046 140724576595919 0
[pid=22189/tid=22194] ppid=22166 vsize=8283048 memory=56 CPUtime=0.59 cores=0-7
/proc/22189/task/22194/stat : 22194 (java) S 22166 22166 19225 0 -1 1077944384 3 2161 0 0 0 0 59 0 20 0 22 0 419867773 8481841152 29980 33554432000 4194304 4196468 140724576591344 140600572012944 140601089279701 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37003264 140724576592887 140724576593046 140724576593046 140724576595919 0
[pid=22189/tid=22195] ppid=22166 vsize=8283048 memory=2958597 CPUtime=0.59 cores=0-7
/proc/22189/task/22195/stat : 22195 (java) S 22166 22166 19225 0 -1 1077944384 2 2161 0 0 0 0 59 0 20 0 22 0 419867773 8481841152 29980 33554432000 4194304 4196468 140724576591344 140600570960912 140601089279701 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37003264 140724576592887 140724576593046 140724576593046 140724576595919 0
[pid=22189/tid=22196] ppid=22166 vsize=8283048 memory=0 CPUtime=0.59 cores=0-7
/proc/22189/task/22196/stat : 22196 (java) S 22166 22166 19225 0 -1 1077944384 2 2161 0 0 0 0 59 0 20 0 22 0 419867773 8481841152 29980 33554432000 4194304 4196468 140724576591344 140600569908368 140601089279701 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37003264 140724576592887 140724576593046 140724576593046 140724576595919 0
[pid=22189/tid=22197] ppid=22166 vsize=8283048 memory=6943526294502006880 CPUtime=0.59 cores=0-7
/proc/22189/task/22197/stat : 22197 (java) S 22166 22166 19225 0 -1 1077944384 1 2161 0 0 0 0 59 0 20 0 22 0 419867773 8481841152 29980 33554432000 4194304 4196468 140724576591344 140600568855312 140601089279701 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37003264 140724576592887 140724576593046 140724576593046 140724576595919 0
[pid=22189/tid=22198] ppid=22166 vsize=8283048 memory=6656426216303648864 CPUtime=0.59 cores=0-7
/proc/22189/task/22198/stat : 22198 (java) S 22166 22166 19225 0 -1 1077944384 2 2161 0 0 0 0 59 0 20 0 22 0 419867773 8481841152 29980 33554432000 4194304 4196468 140724576591344 140600567802768 140601089279701 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37003264 140724576592887 140724576593046 140724576593046 140724576595919 0
[pid=22189/tid=22199] ppid=22166 vsize=8283048 memory=4206468019014099040 CPUtime=0.59 cores=0-7
/proc/22189/task/22199/stat : 22199 (java) S 22166 22166 19225 0 -1 1077944384 5 2161 0 0 0 0 59 0 20 0 22 0 419867774 8481841152 29980 33554432000 4194304 4196468 140724576591344 140599914125552 140601089280642 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37003264 140724576592887 140724576593046 140724576593046 140724576595919 0
[pid=22189/tid=22200] ppid=22166 vsize=8283048 memory=0 CPUtime=0.59 cores=0-7
/proc/22189/task/22200/stat : 22200 (java) S 22166 22166 19225 0 -1 1077944384 13 2161 0 0 0 0 59 0 20 0 22 0 419867775 8481841152 29980 33554432000 4194304 4196468 140724576591344 140599713850528 140601089279701 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37003264 140724576592887 140724576593046 140724576593046 140724576595919 0
[pid=22189/tid=22201] ppid=22166 vsize=8283048 memory=0 CPUtime=0.59 cores=0-7
/proc/22189/task/22201/stat : 22201 (java) S 22166 22166 19225 0 -1 1077944384 1 2161 0 0 0 0 59 0 20 0 22 0 419867775 8481841152 29980 33554432000 4194304 4196468 140724576591344 140599445414640 140601089279701 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37003264 140724576592887 140724576593046 140724576593046 140724576595919 0
[pid=22189/tid=22202] ppid=22166 vsize=8283048 memory=0 CPUtime=0.59 cores=0-7
/proc/22189/task/22202/stat : 22202 (java) S 22166 22166 19225 0 -1 1077944384 1 2161 0 0 0 0 59 0 20 0 22 0 419867777 8481841152 29980 33554432000 4194304 4196468 140724576591344 140599070906320 140601089288091 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37003264 140724576592887 140724576593046 140724576593046 140724576595919 0
[pid=22189/tid=22203] ppid=22166 vsize=8283048 memory=0 CPUtime=0.67 cores=0-7
/proc/22189/task/22203/stat : 22203 (java) S 22166 22166 19225 0 -1 1077944384 743 2161 0 0 8 0 59 0 20 0 22 0 419867777 8481841152 29980 33554432000 4194304 4196468 140724576591344 140599913073392 140601089280642 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37003264 140724576592887 140724576593046 140724576593046 140724576595919 0
[pid=22189/tid=22204] ppid=22166 vsize=8283048 memory=1476 CPUtime=0.64 cores=0-7
/proc/22189/task/22204/stat : 22204 (java) R 22166 22166 19225 0 -1 4202560 229 2161 0 0 5 0 59 0 20 0 22 0 419867777 8481841152 29980 33554432000 4194304 4196468 140724576591344 140599912011232 140601068933856 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37003264 140724576592887 140724576593046 140724576593046 140724576595919 0
[pid=22189/tid=22205] ppid=22166 vsize=8283048 memory=63604 CPUtime=0.64 cores=0-7
/proc/22189/task/22205/stat : 22205 (java) S 22166 22166 19225 0 -1 1077944384 277 2161 0 0 5 0 59 0 20 0 22 0 419867777 8481841152 29980 33554432000 4194304 4196468 140724576591344 140599910967792 140601089280642 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37003264 140724576592887 140724576593046 140724576593046 140724576595919 0
[pid=22189/tid=22206] ppid=22166 vsize=8283048 memory=3620 CPUtime=0.8 cores=0-7
/proc/22189/task/22206/stat : 22206 (java) S 22166 22166 19225 0 -1 1077944384 790 2161 0 0 21 0 59 0 20 0 22 0 419867777 8481841152 29980 33554432000 4194304 4196468 140724576591344 140599909915248 140601089280642 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37003264 140724576592887 140724576593046 140724576593046 140724576595919 0
[pid=22189/tid=22207] ppid=22166 vsize=8283048 memory=24480 CPUtime=0.59 cores=0-7
/proc/22189/task/22207/stat : 22207 (java) S 22166 22166 19225 0 -1 1077944384 3 2161 0 0 0 0 59 0 20 0 22 0 419867778 8481841152 29980 33554432000 4194304 4196468 140724576591344 140598573001184 140601089279701 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37003264 140724576592887 140724576593046 140724576593046 140724576595919 0
[pid=22189/tid=22208] ppid=22166 vsize=8283048 memory=984 CPUtime=0.59 cores=0-7
/proc/22189/task/22208/stat : 22208 (java) S 22166 22166 19225 0 -1 1077944384 1 2161 0 0 0 0 59 0 20 0 22 0 419867778 8481841152 29980 33554432000 4194304 4196468 140724576591344 140599908862640 140601089280642 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37003264 140724576592887 140724576593046 140724576593046 140724576595919 0
Current children cumulated CPU time: 10.44 s
Current children cumulated vsize: 8396176 KiB
Current children cumulated memory: 121396 KiB

Child status: 0
Real time (s): 3.71135
CPU time (s): 10.4993
CPU user time (s): 10.2162
CPU system time (s): 0.283102
CPU usage (%): 282.897
Max. virtual memory (cumulated for all children) (KiB): 27443924
Max. memory (cumulated for all children) (KiB): 512896

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 10.2162
system time used= 0.283102
maximum resident set size= 514236
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 55304
page faults= 0
swaps= 0
block input operations= 0
block output operations= 304
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7378
involuntary context switches= 47


# summary of solver processes directly reported to runsolver:
#   pid: 22166
#   total CPU time (s): 10.4993
#   total CPU user time (s): 10.2162
#   total CPU system time (s): 0.283102

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.043442 second user time and 0.083572 second system time

The end

Launcher Data 

Begin job on node151 at 2019-09-14 06:38:41
IDJOB=4392329
IDBENCH=134301
IDSOLVER=2838
FILE ID=node151/4392329-1568435960
RUNJOBID= node151-1568430672-19252
PBS_JOBID= 21702312
Free space on /tmp= 59308 MiB

SOLVER NAME= Fun-sCOP order+ManyGlucose (2019-06-15)
BENCH NAME= XCSP17/PigeonsPlus/PigeonsPlus-m1-s1/pigeonsPlus-10-05.xml
COMMAND LINE= DIR/scop.sh 22g DIR/scop.jar -order DIR/manyglucose-4.1-27_release -model:-nthreads=NBCORE:-maxmemory=20000:-lit-scans=6000000 TMPDIR BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4392329-1568435960/watcher-4392329-1568435960 -o /tmp/evaluation-result-4392329-1568435960/solver-4392329-1568435960 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node151-1568430672-19252 --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-4392329-1568435960.xml

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

MD5SUM BENCH= 11198b79b59252262e805adcf565fb89
RANDOM SEED=1507600331

node151.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.53
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	: 5335.75
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.53
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	: 5335.75
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.53
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	: 5335.75
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.53
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	: 5335.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        30968640 kB
MemAvailable:   31849976 kB
Buffers:          192488 kB
Cached:           978068 kB
SwapCached:        70988 kB
Active:           642664 kB
Inactive:         600944 kB
Active(anon):       8248 kB
Inactive(anon):    97908 kB
Active(file):     634416 kB
Inactive(file):   503036 kB
Unevictable:      109892 kB
Mlocked:          109892 kB
SwapTotal:      67108860 kB
SwapFree:       66935336 kB
Dirty:             21092 kB
Writeback:             0 kB
AnonPages:        112184 kB
Mapped:            37408 kB
Shmem:             24568 kB
Slab:             147812 kB
SReclaimable:     119436 kB
SUnreclaim:        28376 kB
KernelStack:        3328 kB
PageTables:         5040 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     498232 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:      138624 kB
DirectMap2M:    33406976 kB

Free space on /tmp at the end= 59288 MiB
End job on node151 at 2019-09-14 06:38:45