Trace number 4405721

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Fun-sCOP hybrid+ManyGlucose (2019-09-22)UNSAT 205.959 29.1776

General information on the benchmark

NameKnights/Knights-m1-s1/
Knights-080-25.xml
MD5SUM86f21c6f99b90e2b5de67b4ee346bae4
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 benchmark51.5215
Satisfiable
(Un)Satisfiability was proved
Number of variables25
Number of constraints300
Number of domains1
Minimum domain size6400
Maximum domain size6400
Distribution of domain sizes[{"size":6400,"count":25}]
Minimum variable degree23
Maximum variable degree23
Distribution of variable degrees[{"degree":23,"count":25}]
Minimum constraint arity2
Maximum constraint arity2
Distribution of constraint arities[{"arity":2,"count":300}]
Number of extensional constraints0
Number of intensional constraints300
Distribution of constraint types[{"type":"intension","count":300}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.04	c (scop.sh) java -Xms22g -Xmx22g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Encode -hybrid -solver HOME/manyglucose-4.1-27_release -solverOption -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 -tmp HOME -serialFile HOME/scop-22909-serial-file.bin HOME/instance-4405721-1569238630.xml
0.60/0.70	
0.60/0.70	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
0.60/0.70	
0.69/0.75	c BEGIN-Prog: Mon Sep 23 13:36:33 CEST 2019
0.69/0.75	c PID: 22912
0.69/0.75	c IP: 172.20.3.119
0.69/0.75	c HOST: node119.alineos.net
0.69/0.76	c (0,0) Parsing Begin
1.75/1.24	c (0,0) Parsing End
1.75/1.25	c (0,0) CSP: 25 int (0 aux), 0 bool (0 aux), 300 ctr, max domain size 6400
1.75/1.25	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 20 MiB used (max 0 MiB)
1.75/1.25	c (0,0) Constraint Name Generate Begin
1.75/1.26	c (0,0) Ctr:HOME/instance-4405721-1569238630.xml,And:Dist:Div:Eq:Mod:Ne:Num:Or:Var
1.75/1.26	c (0,0) Constraint Name Generate End
1.75/1.26	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 20 MiB used (max 0 MiB)
1.75/1.26	c (0,0) CSP to CSPinCNF Begin
1.93/1.34	c (0,0) translated 30 (10%) constraints
1.93/1.35	c (0,0) translated 60 (20%) constraints
1.93/1.36	c (0,0) translated 90 (30%) constraints
1.93/1.37	c (0,0) translated 120 (40%) constraints
1.93/1.37	c (0,0) translated 150 (50%) constraints
1.93/1.38	c (0,0) translated 180 (60%) constraints
1.93/1.38	c (0,0) translated 210 (70%) constraints
1.93/1.39	c (0,0) translated 240 (80%) constraints
1.93/1.39	c (0,0) translated 270 (90%) constraints
2.39/1.58	c (0,0) translated 300 (100%) constraints
2.39/1.58	c (0,0) ===========================================
2.70/1.61	c (0,0) Hybrid: #OE=50, #LE=125
2.70/1.61	c (0,0) Hybrid
2.70/1.61	c (0,0) ===========================================
2.70/1.62	c (0,0) translated 75 (10%) constraints
2.70/1.63	c (0,0) translated 150 (20%) constraints
2.70/1.64	c (0,0) translated 225 (30%) constraints
2.70/1.65	c (0,0) translated 300 (40%) constraints
2.70/1.66	c (0,0) translated 375 (50%) constraints
2.70/1.67	c (0,0) translated 450 (60%) constraints
2.70/1.67	c (0,0) translated 525 (70%) constraints
2.70/1.68	c (0,0) translated 600 (80%) constraints
2.70/1.68	c (0,0) translated 675 (90%) constraints
2.70/1.69	c (0,0) translated 750 (100%) constraints
2.70/1.69	c (0,0) CSP to CSPinCNF End
2.70/1.70	c (0,0) CSP: 125 int (100 aux), 50 bool (50 aux), 800 ctr, max domain size 6400
2.70/1.70	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 24 MiB used (max 0 MiB)
2.70/1.70	c (0,0) CSPinCNF Propagation Begin
2.97/1.72	c (1,0) 0 values, 0 unsatisfiable literals, and 100 valid clauses are removed
2.97/1.72	c (1,0) CSPinCNF Propagation End
2.97/1.72	c (1,0) CSP: 125 int (100 aux), 50 bool (50 aux), 700 ctr, max domain size 6400
2.97/1.72	c (1,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 25 MiB used (max 0 MiB)
2.97/1.73	c (1,0) Hybrid: #OE=50, #LE=125
2.97/1.73	c (1,0) Simplify CSPinCNF Begin
2.97/1.79	c (1,1) Simplify CSPinCNF End
2.97/1.80	c (1,1) CSP: 125 int (100 aux), 800 bool (800 aux), 1450 ctr, max domain size 6400
2.97/1.80	c (1,1) Heap : 337 MiB used (max 21589 MiB), NonHeap : 25 MiB used (max 0 MiB)
2.97/1.80	c (1,1) Calculate Precise Domain Begin
2.97/1.80	c (1,1) 0 values are removed by re-calculation
2.97/1.80	c (1,1) Calculate Precise Domain End
2.97/1.80	c (1,1) CSP: 125 int (100 aux), 800 bool (800 aux), 1450 ctr, max domain size 6400
2.97/1.80	c (1,1) Heap : 337 MiB used (max 21589 MiB), NonHeap : 25 MiB used (max 0 MiB)
2.97/1.80	c (1,1) CSPinCNF to SatSolver Begin
3.70/2.04	c (1,1) 145 (10 %) CSP clauses are encoded (0 SAT variables, 9442 SAT clauses)
3.70/2.09	c (1,1) 290 (20 %) CSP clauses are encoded (0 SAT variables, 18035 SAT clauses)
4.15/2.14	c (1,1) 435 (30 %) CSP clauses are encoded (0 SAT variables, 26716 SAT clauses)
4.15/2.18	c (1,1) 580 (40 %) CSP clauses are encoded (0 SAT variables, 35397 SAT clauses)
4.44/2.21	c (1,1) 725 (50 %) CSP clauses are encoded (0 SAT variables, 43990 SAT clauses)
4.44/2.25	c (1,1) 870 (60 %) CSP clauses are encoded (0 SAT variables, 54862 SAT clauses)
4.61/2.30	c (1,1) 1015 (70 %) CSP clauses are encoded (0 SAT variables, 69863 SAT clauses)
4.61/2.35	c (1,1) 1160 (80 %) CSP clauses are encoded (0 SAT variables, 84881 SAT clauses)
4.61/2.39	c (1,1) 1305 (90 %) CSP clauses are encoded (0 SAT variables, 99958 SAT clauses)
4.76/2.43	c (1,1) 1450 (100 %) CSP clauses are encoded (0 SAT variables, 113653 SAT clauses)
4.76/2.43	c (1,1) CSPinCNF to SatSolver End
4.76/2.43	c (1,1) Heap : 563 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB)
4.76/2.43	c (1,1) 49750 bool, 113700 clause
4.76/2.43	c (1,1) Export Begin
4.91/2.56	c (1,1) Export to HOME/scop-22909-serial-file.bin
4.91/2.56	c (1,1) Export End
4.91/2.56	c (1,1) Export File Size: 0.06 MB
4.91/2.56	c (1,1) 0,0,0,1,1,1,1,STOP-AFTER(DIMACS)
4.91/2.56	c END-Prog: Mon Sep 23 13:36:35 CEST 2019
4.91/2.58	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-22909-serial-file.bin
5.09/3.04	c (0,0) Read Serial File Begin
5.09/3.04	c (0,0) HOME/scop-22909-serial-file.bin
5.92/3.28	c (0,0) Read Serial File End
5.92/3.29	
5.92/3.29	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
5.92/3.29	(Solving Process)
5.92/3.29	
6.17/3.31	c BEGIN-Prog: Mon Sep 23 13:36:36 CEST 2019
6.17/3.31	c PID: 22933
6.17/3.31	c IP: 172.20.3.119
6.17/3.31	c HOST: node119.alineos.net
6.17/3.32	c (0,0) SatSolver.solve Begin
6.17/3.32	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4405721-1569238630.xml-scop-22912.cnf
6.17/3.35	c (0,0) c
6.17/3.35	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)
6.17/3.35	c (0,0) c
6.17/3.35	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
6.17/3.35	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
6.17/3.35	c (0,0) c ========================================[ Problem Statistics ]===========================================
6.17/3.35	c (0,0) c |                                                                                                       |
6.40/3.40	c (0,0) c |  Number of variables:         49750                                                                   |
6.40/3.40	c (0,0) c |  Number of clauses:          113475                                                                   |
6.40/3.40	c (0,0) c |  Parse time:                   0.05 s                                                                 |
6.40/3.40	c (0,0) c |                                                                                                       |
6.40/3.58	c (0,0) c |  Simplification time:          0.17 s                                                                 |
6.40/3.58	c (0,0) c |                                                                                                       |
6.40/3.58	c (0,0) c |  Generating clones                                                                                    |
6.40/3.68	c (0,0) c |  all clones generated. Memory =   142.66Mb.                                                           |
6.40/3.68	c (0,0) c ========================================================================================================|
6.40/3.68	c (0,0) c
6.40/3.68	c (0,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
6.40/3.68	c (0,0) c
6.40/3.68	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
6.40/3.68	c (0,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
6.40/3.68	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
6.40/3.68	c (0,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
6.40/3.68	c (0,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
6.40/3.68	c (0,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
6.40/3.68	c (0,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
6.40/3.68	c (0,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
6.40/3.68	c (0,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
6.40/3.68	c (0,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
6.40/3.68	c (0,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
6.40/3.68	c (0,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
6.40/3.68	c (0,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
6.40/3.68	c (0,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
6.40/3.68	c (0,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
6.40/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 |
6.40/3.68	c (0,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
6.40/3.68	c (0,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
6.40/3.68	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
205.80/29.14	c (26,0) c
205.80/29.14	c (26,0) c real time : 25.7914 s
205.80/29.14	c (26,0) c cpu time  : 198.92 s
205.80/29.14	c (26,0) c
205.80/29.14	c (26,0) c
205.80/29.14	c (26,0) c
205.80/29.14	c (26,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
205.80/29.14	c (26,0) c
205.80/29.14	c (26,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
205.80/29.14	c (26,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
205.80/29.14	c (26,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
205.80/29.14	c (26,0) c | Conflicts     |         1610416 |     195435 |     200243 |     204835 |     203991 |     198929 |     199467 |     201152 |     206364 |
205.80/29.14	c (26,0) c | Decisions     |        11205881 |    1413698 |    1370788 |    1421589 |    1379247 |    1428098 |    1421574 |    1380801 |    1390086 |
205.80/29.14	c (26,0) c | Propagations  |       634857557 |   80192097 |   79083179 |   79185535 |   78620976 |   79950496 |   79218697 |   79661236 |   78945341 |
205.80/29.14	c (26,0) c | ReduceDBs     |              95 |         11 |         12 |         12 |         12 |         12 |         12 |         12 |         12 |
205.80/29.14	c (26,0) c | SimpDBs       |             302 |         34 |         35 |         40 |         39 |         38 |         37 |         41 |         38 |
205.80/29.14	c (26,0) c | Restarts      |           10106 |       1337 |       1245 |       1299 |       1252 |       1255 |       1295 |       1243 |       1180 |
205.80/29.14	c (26,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
205.80/29.14	c (26,0) c | PropBinClauses|       350450844 |   43564003 |   43958267 |   44128022 |   43697232 |   43832076 |   43706284 |   43742951 |   43822009 |
205.80/29.14	c (26,0) c | PropPreBlocker|      3101681478 |  385844455 |  387886122 |  391950896 |  386259043 |  386497708 |  386634892 |  385997624 |  390610738 |
205.80/29.14	c (26,0) c | PropNotBlocker|      1256710399 |  157353839 |  156546358 |  158583988 |  153927697 |  157239903 |  157434682 |  156962456 |  158661476 |
205.80/29.14	c (26,0) c | LitFullScans  |      6605074804 |  822025270 |  822156860 |  836111492 |  822140294 |  822041707 |  822046923 |  824524926 |  834027332 |
205.80/29.14	c (26,0) c | LitScanFracts |          415174 |      17269 |     147620 |      18008 |     130306 |      34104 |      38782 |      11232 |      17853 |
205.80/29.14	c (26,0) c | DecisionLevel0|           10609 |       1399 |       1302 |       1372 |       1313 |       1317 |       1354 |       1310 |       1242 |
205.80/29.14	c (26,0) c | Periods       |            1100 |        137 |        137 |        139 |        137 |        137 |        137 |        137 |        139 |
205.80/29.14	c (26,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
205.80/29.14	c (26,0) c | Avg_Trail     |                 |       6685 |       6627 |       6506 |       6467 |       6742 |       6730 |       6754 |       6523 |
205.80/29.14	c (26,0) c | Avg_DL        |                 |        146 |        146 |        144 |        146 |        146 |        150 |        151 |        148 |
205.80/29.14	c (26,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
205.80/29.14	c (26,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
205.80/29.14	c (26,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
205.80/29.14	c (26,0) c | Exported      |          212383 |      24687 |      25876 |      27955 |      25290 |      27178 |      25972 |      27649 |      27776 |
205.80/29.14	c (26,0) c | Imported      |         1214415 |     150302 |     150521 |     156174 |     154231 |     153206 |     149668 |     153853 |     146460 |
205.80/29.14	c (26,0) c | Good          |           20834 |       2589 |       2607 |       2598 |       2614 |       2599 |       2601 |       2628 |       2598 |
205.80/29.14	c (26,0) c | Purge         |         1193581 |     147713 |     147914 |     153576 |     151617 |     150607 |     147067 |     151225 |     143862 |
205.80/29.14	c (26,0) c | Promoted      |          124570 |      15926 |      15816 |      15737 |      15135 |      15586 |      15760 |      15582 |      15028 |
205.80/29.14	c (26,0) c | Remove_Imp    |          725213 |      85260 |      93224 |      93837 |      89819 |      91393 |      92580 |      89604 |      89496 |
205.80/29.14	c (26,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
205.80/29.14	c (26,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
205.80/29.14	c (26,0) c | Unaries       |                 |         62 |         57 |         73 |         61 |         62 |         59 |         67 |         62 |
205.80/29.14	c (26,0) c | Binaries      |                 |        385 |        376 |        444 |        376 |        399 |        372 |        395 |        373 |
205.80/29.14	c (26,0) c | Glues         |                 |       2094 |       2182 |       2272 |       2139 |       2225 |       2226 |       2192 |       2144 |
205.80/29.14	c (26,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
205.80/29.14	c (26,0) c | Orig_Seen     |            84 % |      45707 |      45541 |      45460 |      45407 |      45517 |      45671 |      45590 |      45359 |
205.80/29.14	c (26,0) c | Diff Orig seen|                 |        117 | -       49 | -      130 | -      183 | -       73 |         81 |      X     | -      231 |
205.80/29.14	c (26,0) c | Hamming       |             8 % |       4085 |       4317 |       3979 |       4397 |       3719 |       4407 |      X     |       3861 |
205.80/29.14	c (26,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
205.80/29.14	c (26,0) c | RunningTime   |                 |   25.3 100%|   25.4 100%|   24.4 100%|   25.3 100%|   25.2 100%|   24.6 100%|   24.5 100%|   24.5 100%|
205.80/29.14	c (26,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%|
205.80/29.14	c (26,0) c | ExchangingTime|                 |    0.1   0%|    0.1   0%|    0.1   0%|    0.0   0%|    0.0   0%|    0.1   0%|    0.1   0%|    0.1   0%|
205.80/29.14	c (26,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%|
205.80/29.14	c (26,0) c | SolvingTime   |                 |   25.4     |   25.4     |   24.4     |   25.3     |   25.3     |   24.6     |   24.5     |   24.6     |
205.80/29.14	c (26,0) c | PropagationTim|                 |   20.8  82%|   20.5  81%|   19.7  81%|   20.7  82%|   20.3  80%|   19.9  81%|   19.6  80%|   19.7  80%|
205.80/29.14	c (26,0) c | AnalysisTime  |                 |    1.7   7%|    2.2   8%|    1.8   7%|    1.7   7%|    2.0   8%|    1.9   8%|    2.1   8%|    2.1   9%|
205.80/29.14	c (26,0) c | ReductionTime |                 |    0.3   1%|    0.3   1%|    0.3   1%|    0.3   1%|    0.3   1%|    0.3   1%|    0.3   1%|    0.3   1%|
205.80/29.14	c (26,0) c | SimplifyTime  |                 |    0.1   0%|    0.1   0%|    0.1   0%|    0.1   0%|    0.1   0%|    0.1   0%|    0.1   0%|    0.1   0%|
205.80/29.14	c (26,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%|
205.80/29.14	c (26,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%|
205.80/29.14	c (26,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
205.80/29.14	c (26,0) c
205.80/29.14	c (26,0) c
205.80/29.14	c (26,0) c Threads : 8
205.80/29.14	c (26,0) c Winner : 6
205.80/29.14	c (26,0) c Conflicts_0 : 195435
205.80/29.14	c (26,0) c Conflicts_1 : 200243
205.80/29.14	c (26,0) c Conflicts_2 : 204835
205.80/29.14	c (26,0) c Conflicts_3 : 203991
205.80/29.14	c (26,0) c Conflicts_4 : 198929
205.80/29.14	c (26,0) c Conflicts_5 : 199467
205.80/29.14	c (26,0) c Conflicts_6 : 201152
205.80/29.14	c (26,0) c Conflicts_7 : 206364
205.80/29.14	c (26,0) c Conflicts_total : 1610416
205.80/29.14	c (26,0) c Conflicts_winner : 201152
205.80/29.14	c (26,0) c Decisions_0 : 1413698
205.80/29.14	c (26,0) c Decisions_1 : 1370788
205.80/29.14	c (26,0) c Decisions_2 : 1421589
205.80/29.14	c (26,0) c Decisions_3 : 1379247
205.80/29.14	c (26,0) c Decisions_4 : 1428098
205.80/29.14	c (26,0) c Decisions_5 : 1421574
205.80/29.14	c (26,0) c Decisions_6 : 1380801
205.80/29.14	c (26,0) c Decisions_7 : 1390086
205.80/29.14	c (26,0) c Decisions_total : 11205881
205.80/29.14	c (26,0) c Decisions_winner : 1380801
205.80/29.14	c (26,0) c Propagations_0 : 80192097
205.80/29.14	c (26,0) c Propagations_1 : 79083179
205.80/29.14	c (26,0) c Propagations_2 : 79185535
205.80/29.14	c (26,0) c Propagations_3 : 78620976
205.80/29.14	c (26,0) c Propagations_4 : 79950496
205.80/29.14	c (26,0) c Propagations_5 : 79218697
205.80/29.14	c (26,0) c Propagations_6 : 79661236
205.80/29.14	c (26,0) c Propagations_7 : 78945341
205.80/29.14	c (26,0) c Propagations_total : 634857557
205.80/29.14	c (26,0) c Propagations_winner : 79661236
205.80/29.14	c (26,0) c ReduceDBs_0 : 11
205.80/29.14	c (26,0) c ReduceDBs_1 : 12
205.80/29.14	c (26,0) c ReduceDBs_2 : 12
205.80/29.14	c (26,0) c ReduceDBs_3 : 12
205.80/29.14	c (26,0) c ReduceDBs_4 : 12
205.80/29.14	c (26,0) c ReduceDBs_5 : 12
205.80/29.14	c (26,0) c ReduceDBs_6 : 12
205.80/29.14	c (26,0) c ReduceDBs_7 : 12
205.80/29.14	c (26,0) c ReduceDBs_total : 95
205.80/29.14	c (26,0) c ReduceDBs_winner : 12
205.80/29.14	c (26,0) c SimpDBs_0 : 34
205.80/29.14	c (26,0) c SimpDBs_1 : 35
205.80/29.14	c (26,0) c SimpDBs_2 : 40
205.80/29.14	c (26,0) c SimpDBs_3 : 39
205.80/29.14	c (26,0) c SimpDBs_4 : 38
205.80/29.14	c (26,0) c SimpDBs_5 : 37
205.80/29.14	c (26,0) c SimpDBs_6 : 41
205.80/29.14	c (26,0) c SimpDBs_7 : 38
205.80/29.14	c (26,0) c SimpDBs_total : 302
205.80/29.14	c (26,0) c SimpDBs_winner : 41
205.80/29.14	c (26,0) c Restarts_0 : 1337
205.80/29.14	c (26,0) c Restarts_1 : 1245
205.80/29.14	c (26,0) c Restarts_2 : 1299
205.80/29.14	c (26,0) c Restarts_3 : 1252
205.80/29.14	c (26,0) c Restarts_4 : 1255
205.80/29.14	c (26,0) c Restarts_5 : 1295
205.80/29.14	c (26,0) c Restarts_6 : 1243
205.80/29.14	c (26,0) c Restarts_7 : 1180
205.80/29.14	c (26,0) c Restarts_total : 10106
205.80/29.14	c (26,0) c Restarts_winner : 1243
205.80/29.14	c (26,0) c ForcedImports_0 : 0
205.80/29.14	c (26,0) c ForcedImports_1 : 0
205.80/29.14	c (26,0) c ForcedImports_2 : 0
205.80/29.14	c (26,0) c ForcedImports_3 : 0
205.80/29.14	c (26,0) c ForcedImports_4 : 0
205.80/29.14	c (26,0) c ForcedImports_5 : 0
205.80/29.14	c (26,0) c ForcedImports_6 : 0
205.80/29.14	c (26,0) c ForcedImports_7 : 0
205.80/29.14	c (26,0) c ForcedImports_total : 0
205.80/29.14	c (26,0) c ForcedImports_winner : 0
205.80/29.14	c (26,0) c PropsBinClauses_0 : 43564003
205.80/29.14	c (26,0) c PropsBinClauses_1 : 43958267
205.80/29.14	c (26,0) c PropsBinClauses_2 : 44128022
205.80/29.14	c (26,0) c PropsBinClauses_3 : 43697232
205.80/29.14	c (26,0) c PropsBinClauses_4 : 43832076
205.80/29.14	c (26,0) c PropsBinClauses_5 : 43706284
205.80/29.14	c (26,0) c PropsBinClauses_6 : 43742951
205.80/29.14	c (26,0) c PropsBinClauses_7 : 43822009
205.80/29.14	c (26,0) c PropsBinClauses_total : 350450844
205.80/29.14	c (26,0) c PropsBinClauses_winner : 43742951
205.80/29.14	c (26,0) c PropsPreBlocker_0 : 385844455
205.80/29.14	c (26,0) c PropsPreBlocker_1 : 387886122
205.80/29.14	c (26,0) c PropsPreBlocker_2 : 391950896
205.80/29.14	c (26,0) c PropsPreBlocker_3 : 386259043
205.80/29.14	c (26,0) c PropsPreBlocker_4 : 386497708
205.80/29.14	c (26,0) c PropsPreBlocker_5 : 386634892
205.80/29.14	c (26,0) c PropsPreBlocker_6 : 385997624
205.80/29.14	c (26,0) c PropsPreBlocker_7 : 390610738
205.80/29.14	c (26,0) c PropsPreBlocker_total : 3101681478
205.80/29.14	c (26,0) c PropsPreBlocker_winner : 385997624
205.80/29.14	c (26,0) c PropsNotBlocker_0 : 157353839
205.80/29.14	c (26,0) c PropsNotBlocker_1 : 156546358
205.80/29.14	c (26,0) c PropsNotBlocker_2 : 158583988
205.80/29.14	c (26,0) c PropsNotBlocker_3 : 153927697
205.80/29.14	c (26,0) c PropsNotBlocker_4 : 157239903
205.80/29.14	c (26,0) c PropsNotBlocker_5 : 157434682
205.80/29.14	c (26,0) c PropsNotBlocker_6 : 156962456
205.80/29.14	c (26,0) c PropsNotBlocker_7 : 158661476
205.80/29.14	c (26,0) c PropsNotBlocker_total : 1256710399
205.80/29.14	c (26,0) c PropsNotBlocker_winner : 156962456
205.80/29.14	c (26,0) c PropsLitFullScans_0 : 822025270
205.80/29.14	c (26,0) c PropsLitFullScans_1 : 822156860
205.80/29.14	c (26,0) c PropsLitFullScans_2 : 836111492
205.80/29.14	c (26,0) c PropsLitFullScans_3 : 822140294
205.80/29.14	c (26,0) c PropsLitFullScans_4 : 822041707
205.80/29.14	c (26,0) c PropsLitFullScans_5 : 822046923
205.80/29.14	c (26,0) c PropsLitFullScans_6 : 824524926
205.80/29.14	c (26,0) c PropsLitFullScans_7 : 834027332
205.80/29.14	c (26,0) c PropsLitFullScans_total : 6605074804
205.80/29.14	c (26,0) c PropsLitFullScans_winner : 824524926
205.80/29.14	c (26,0) c LitScanFractions_0 : 17269
205.80/29.14	c (26,0) c LitScanFractions_1 : 147620
205.80/29.14	c (26,0) c LitScanFractions_2 : 18008
205.80/29.14	c (26,0) c LitScanFractions_3 : 130306
205.80/29.14	c (26,0) c LitScanFractions_4 : 34104
205.80/29.14	c (26,0) c LitScanFractions_5 : 38782
205.80/29.14	c (26,0) c LitScanFractions_6 : 11232
205.80/29.14	c (26,0) c LitScanFractions_7 : 17853
205.80/29.14	c (26,0) c LitScanFractions_total : 415174
205.80/29.14	c (26,0) c LitScanFractions_winner : 11232
205.80/29.14	c (26,0) c DecisionLevel0_0 : 1399
205.80/29.14	c (26,0) c DecisionLevel0_1 : 1302
205.80/29.14	c (26,0) c DecisionLevel0_2 : 1372
205.80/29.14	c (26,0) c DecisionLevel0_3 : 1313
205.80/29.14	c (26,0) c DecisionLevel0_4 : 1317
205.80/29.14	c (26,0) c DecisionLevel0_5 : 1354
205.80/29.14	c (26,0) c DecisionLevel0_6 : 1310
205.80/29.14	c (26,0) c DecisionLevel0_7 : 1242
205.80/29.14	c (26,0) c DecisionLevel0_total : 10609
205.80/29.14	c (26,0) c DecisionLevel0_winner : 1310
205.80/29.14	c (26,0) c Periods_0 : 137
205.80/29.14	c (26,0) c Periods_1 : 137
205.80/29.14	c (26,0) c Periods_2 : 139
205.80/29.14	c (26,0) c Periods_3 : 137
205.80/29.14	c (26,0) c Periods_4 : 137
205.80/29.14	c (26,0) c Periods_5 : 137
205.80/29.14	c (26,0) c Periods_6 : 137
205.80/29.14	c (26,0) c Periods_7 : 139
205.80/29.14	c (26,0) c Periods_total : 1100
205.80/29.14	c (26,0) c Periods_winner : 137
205.80/29.14	c (26,0) c Margin_0 : 20
205.80/29.14	c (26,0) c Margin_1 : 20
205.80/29.15	c (26,0) c Margin_2 : 20
205.80/29.15	c (26,0) c Margin_3 : 20
205.80/29.15	c (26,0) c Margin_4 : 20
205.80/29.15	c (26,0) c Margin_5 : 20
205.80/29.15	c (26,0) c Margin_6 : 20
205.80/29.15	c (26,0) c Margin_7 : 20
205.80/29.15	c (26,0) c Margin_total : 160
205.80/29.15	c (26,0) c Margin_winner : 20
205.80/29.15	c (26,0) c Exported_0 : 24687
205.80/29.15	c (26,0) c Exported_1 : 25876
205.80/29.15	c (26,0) c Exported_2 : 27955
205.80/29.15	c (26,0) c Exported_3 : 25290
205.80/29.15	c (26,0) c Exported_4 : 27178
205.80/29.15	c (26,0) c Exported_5 : 25972
205.80/29.15	c (26,0) c Exported_6 : 27649
205.80/29.15	c (26,0) c Exported_7 : 27776
205.80/29.15	c (26,0) c Exported_total : 212383
205.80/29.15	c (26,0) c Exported_winner : 27649
205.80/29.15	c (26,0) c Imported_0 : 150302
205.80/29.15	c (26,0) c Imported_1 : 150521
205.80/29.15	c (26,0) c Imported_2 : 156174
205.80/29.15	c (26,0) c Imported_3 : 154231
205.80/29.15	c (26,0) c Imported_4 : 153206
205.80/29.15	c (26,0) c Imported_5 : 149668
205.80/29.15	c (26,0) c Imported_6 : 153853
205.80/29.15	c (26,0) c Imported_7 : 146460
205.80/29.15	c (26,0) c Imported_total : 1214415
205.80/29.15	c (26,0) c Imported_winner : 153853
205.80/29.15	c (26,0) c Good_0 : 2589
205.80/29.15	c (26,0) c Good_1 : 2607
205.80/29.15	c (26,0) c Good_2 : 2598
205.80/29.15	c (26,0) c Good_3 : 2614
205.80/29.15	c (26,0) c Good_4 : 2599
205.80/29.15	c (26,0) c Good_5 : 2601
205.80/29.15	c (26,0) c Good_6 : 2628
205.80/29.15	c (26,0) c Good_7 : 2598
205.80/29.15	c (26,0) c Good_total : 20834
205.80/29.15	c (26,0) c Good_winner : 2628
205.80/29.15	c (26,0) c Purge_0 : 147713
205.80/29.15	c (26,0) c Purge_1 : 147914
205.80/29.15	c (26,0) c Purge_2 : 153576
205.80/29.15	c (26,0) c Purge_3 : 151617
205.80/29.15	c (26,0) c Purge_4 : 150607
205.80/29.15	c (26,0) c Purge_5 : 147067
205.80/29.15	c (26,0) c Purge_6 : 151225
205.80/29.15	c (26,0) c Purge_7 : 143862
205.80/29.15	c (26,0) c Purge_total : 1193581
205.80/29.15	c (26,0) c Purge_winner : 151225
205.80/29.15	c (26,0) c Promoted_0 : 15926
205.80/29.15	c (26,0) c Promoted_1 : 15816
205.80/29.15	c (26,0) c Promoted_2 : 15737
205.80/29.15	c (26,0) c Promoted_3 : 15135
205.80/29.15	c (26,0) c Promoted_4 : 15586
205.80/29.15	c (26,0) c Promoted_5 : 15760
205.80/29.15	c (26,0) c Promoted_6 : 15582
205.80/29.15	c (26,0) c Promoted_7 : 15028
205.80/29.15	c (26,0) c Promoted_total : 124570
205.80/29.15	c (26,0) c Promoted_winner : 15582
205.80/29.15	c (26,0) c Remove_Imp_0 : 85260
205.80/29.15	c (26,0) c Remove_Imp_1 : 93224
205.80/29.15	c (26,0) c Remove_Imp_2 : 93837
205.80/29.15	c (26,0) c Remove_Imp_3 : 89819
205.80/29.15	c (26,0) c Remove_Imp_4 : 91393
205.80/29.15	c (26,0) c Remove_Imp_5 : 92580
205.80/29.15	c (26,0) c Remove_Imp_6 : 89604
205.80/29.15	c (26,0) c Remove_Imp_7 : 89496
205.80/29.15	c (26,0) c Remove_Imp_total : 725213
205.80/29.15	c (26,0) c Remove_Imp_winner : 89604
205.80/29.15	c (26,0) c Blocked_Reuse_0 : 0
205.80/29.15	c (26,0) c Blocked_Reuse_1 : 0
205.80/29.15	c (26,0) c Blocked_Reuse_2 : 0
205.80/29.15	c (26,0) c Blocked_Reuse_3 : 0
205.80/29.15	c (26,0) c Blocked_Reuse_4 : 0
205.80/29.15	c (26,0) c Blocked_Reuse_5 : 0
205.80/29.15	c (26,0) c Blocked_Reuse_6 : 0
205.80/29.15	c (26,0) c Blocked_Reuse_7 : 0
205.80/29.15	c (26,0) c Blocked_Reuse_total : 0
205.80/29.15	c (26,0) c Blocked_Reuse_winner : 0
205.80/29.15	c (26,0) c Unaries_0 : 62
205.80/29.15	c (26,0) c Unaries_1 : 57
205.80/29.15	c (26,0) c Unaries_2 : 73
205.80/29.15	c (26,0) c Unaries_3 : 61
205.80/29.15	c (26,0) c Unaries_4 : 62
205.80/29.15	c (26,0) c Unaries_5 : 59
205.80/29.15	c (26,0) c Unaries_6 : 67
205.80/29.15	c (26,0) c Unaries_7 : 62
205.80/29.15	c (26,0) c Unaries_total : 503
205.80/29.15	c (26,0) c Unaries_winner : 67
205.80/29.15	c (26,0) c Binaries_0 : 385
205.80/29.15	c (26,0) c Binaries_1 : 376
205.80/29.15	c (26,0) c Binaries_2 : 444
205.80/29.15	c (26,0) c Binaries_3 : 376
205.80/29.15	c (26,0) c Binaries_4 : 399
205.80/29.15	c (26,0) c Binaries_5 : 372
205.80/29.15	c (26,0) c Binaries_6 : 395
205.80/29.15	c (26,0) c Binaries_7 : 373
205.80/29.15	c (26,0) c Binaries_total : 3120
205.80/29.15	c (26,0) c Binaries_winner : 395
205.80/29.15	c (26,0) c Glues_0 : 2094
205.80/29.15	c (26,0) c Glues_1 : 2182
205.80/29.15	c (26,0) c Glues_2 : 2272
205.80/29.15	c (26,0) c Glues_3 : 2139
205.80/29.15	c (26,0) c Glues_4 : 2225
205.80/29.15	c (26,0) c Glues_5 : 2226
205.80/29.15	c (26,0) c Glues_6 : 2192
205.80/29.15	c (26,0) c Glues_7 : 2144
205.80/29.15	c (26,0) c Glues_total : 17474
205.80/29.15	c (26,0) c Glues_winner : 2192
205.80/29.15	c (26,0) c RunningTime_0 : 25.318116
205.80/29.15	c (26,0) c RunningTime_1 : 25.385341
205.80/29.15	c (26,0) c RunningTime_2 : 24.368670
205.80/29.15	c (26,0) c RunningTime_3 : 25.252787
205.80/29.15	c (26,0) c RunningTime_4 : 25.218889
205.80/29.15	c (26,0) c RunningTime_5 : 24.594135
205.80/29.15	c (26,0) c RunningTime_6 : 24.462910
205.80/29.15	c (26,0) c RunningTime_7 : 24.541493
205.80/29.15	c (26,0) c RunningTime_total : 199.142342
205.80/29.15	c (26,0) c RunningTime_winner : 24.462910
205.80/29.15	c (26,0) c WaitingTime_0 : 0.000151
205.80/29.15	c (26,0) c WaitingTime_1 : 0.000184
205.80/29.15	c (26,0) c WaitingTime_2 : 0.000190
205.80/29.15	c (26,0) c WaitingTime_3 : 0.000140
205.80/29.15	c (26,0) c WaitingTime_4 : 0.000176
205.80/29.15	c (26,0) c WaitingTime_5 : 0.000189
205.80/29.15	c (26,0) c WaitingTime_6 : 0.000184
205.80/29.15	c (26,0) c WaitingTime_7 : 0.000196
205.80/29.15	c (26,0) c WaitingTime_total : 0.001408
205.80/29.15	c (26,0) c WaitingTime_winner : 0.000184
205.80/29.15	c (26,0) c ExchangingTime_0 : 0.052366
205.80/29.15	c (26,0) c ExchangingTime_1 : 0.051564
205.80/29.15	c (26,0) c ExchangingTime_2 : 0.052759
205.80/29.15	c (26,0) c ExchangingTime_3 : 0.048808
205.80/29.15	c (26,0) c ExchangingTime_4 : 0.047594
205.80/29.15	c (26,0) c ExchangingTime_5 : 0.052979
205.80/29.15	c (26,0) c ExchangingTime_6 : 0.054610
205.80/29.15	c (26,0) c ExchangingTime_7 : 0.050347
205.80/29.15	c (26,0) c ExchangingTime_total : 0.411028
205.80/29.15	c (26,0) c ExchangingTime_winner : 0.054610
205.80/29.15	c (26,0) c PeriodProcTime_0 : 0.001300
205.80/29.15	c (26,0) c PeriodProcTime_1 : 0.001735
205.80/29.15	c (26,0) c PeriodProcTime_2 : 0.000942
205.80/29.15	c (26,0) c PeriodProcTime_3 : 0.001327
205.80/29.15	c (26,0) c PeriodProcTime_4 : 0.001088
205.80/29.15	c (26,0) c PeriodProcTime_5 : 0.001763
205.80/29.15	c (26,0) c PeriodProcTime_6 : 0.001564
205.80/29.15	c (26,0) c PeriodProcTime_7 : 0.001635
205.80/29.15	c (26,0) c PeriodProcTime_total : 0.011354
205.80/29.15	c (26,0) c PeriodProcTime_winner : 0.001564
205.80/29.15	c (26,0) c SolvingTime_0 : 25.371933
205.80/29.15	c (26,0) c SolvingTime_1 : 25.438825
205.80/29.15	c (26,0) c SolvingTime_2 : 24.422561
205.80/29.15	c (26,0) c SolvingTime_3 : 25.303062
205.80/29.15	c (26,0) c SolvingTime_4 : 25.267746
205.80/29.15	c (26,0) c SolvingTime_5 : 24.649067
205.80/29.15	c (26,0) c SolvingTime_6 : 24.519269
205.80/29.15	c (26,0) c SolvingTime_7 : 24.593670
205.80/29.15	c (26,0) c SolvingTime_total : 199.566132
205.80/29.15	c (26,0) c SolvingTime_winner : 24.519269
205.80/29.15	c (26,0) c PropagationTime_0 : 20.807778
205.80/29.15	c (26,0) c PropagationTime_1 : 20.483649
205.80/29.15	c (26,0) c PropagationTime_2 : 19.742272
205.80/29.15	c (26,0) c PropagationTime_3 : 20.730057
205.80/29.15	c (26,0) c PropagationTime_4 : 20.326997
205.80/29.15	c (26,0) c PropagationTime_5 : 19.885625
205.80/29.15	c (26,0) c PropagationTime_6 : 19.609329
205.80/29.15	c (26,0) c PropagationTime_7 : 19.659640
205.80/29.15	c (26,0) c PropagationTime_total : 161.245347
205.80/29.15	c (26,0) c PropagationTime_winner : 19.609329
205.80/29.15	c (26,0) c AnalysisTime_0 : 1.733240
205.80/29.15	c (26,0) c AnalysisTime_1 : 2.151300
205.80/29.15	c (26,0) c AnalysisTime_2 : 1.823046
205.80/29.15	c (26,0) c AnalysisTime_3 : 1.747422
205.80/29.15	c (26,0) c AnalysisTime_4 : 2.039422
205.80/29.15	c (26,0) c AnalysisTime_5 : 1.907348
205.80/29.15	c (26,0) c AnalysisTime_6 : 2.077134
205.80/29.15	c (26,0) c AnalysisTime_7 : 2.130287
205.80/29.15	c (26,0) c AnalysisTime_total : 15.609200
205.80/29.15	c (26,0) c AnalysisTime_winner : 2.077134
205.80/29.15	c (26,0) c ReductionTime_0 : 0.263585
205.80/29.15	c (26,0) c ReductionTime_1 : 0.317822
205.80/29.15	c (26,0) c ReductionTime_2 : 0.317493
205.80/29.15	c (26,0) c ReductionTime_3 : 0.308308
205.80/29.15	c (26,0) c ReductionTime_4 : 0.304703
205.80/29.15	c (26,0) c ReductionTime_5 : 0.323614
205.80/29.15	c (26,0) c ReductionTime_6 : 0.320316
205.80/29.15	c (26,0) c ReductionTime_7 : 0.317329
205.80/29.15	c (26,0) c ReductionTime_total : 2.473171
205.80/29.15	c (26,0) c ReductionTime_winner : 0.320316
205.80/29.15	c (26,0) c SimplifyTime_0 : 0.097092
205.80/29.15	c (26,0) c SimplifyTime_1 : 0.098711
205.80/29.15	c (26,0) c SimplifyTime_2 : 0.116387
205.80/29.15	c (26,0) c SimplifyTime_3 : 0.109156
205.80/29.15	c (26,0) c SimplifyTime_4 : 0.107939
205.80/29.15	c (26,0) c SimplifyTime_5 : 0.098107
205.80/29.15	c (26,0) c SimplifyTime_6 : 0.116830
205.80/29.15	c (26,0) c SimplifyTime_7 : 0.102619
205.80/29.15	c (26,0) c SimplifyTime_total : 0.846840
205.80/29.15	c (26,0) c SimplifyTime_winner : 0.116830
205.80/29.15	c (26,0) c UsedRateTime_0 : 0.000000
205.80/29.15	c (26,0) c UsedRateTime_1 : 0.000000
205.80/29.15	c (26,0) c UsedRateTime_2 : 0.000000
205.80/29.15	c (26,0) c UsedRateTime_3 : 0.000000
205.80/29.15	c (26,0) c UsedRateTime_4 : 0.000000
205.80/29.15	c (26,0) c UsedRateTime_5 : 0.000000
205.80/29.15	c (26,0) c UsedRateTime_6 : 0.000000
205.80/29.15	c (26,0) c UsedRateTime_7 : 0.000000
205.80/29.15	c (26,0) c UsedRateTime_total : 0.000000
205.80/29.15	c (26,0) c UsedRateTime_winner : 0.000000
205.80/29.15	c (26,0) c OverlapRateTime_0 : 0.000000
205.80/29.15	c (26,0) c OverlapRateTime_1 : 0.000000
205.80/29.15	c (26,0) c OverlapRateTime_2 : 0.000000
205.80/29.15	c (26,0) c OverlapRateTime_3 : 0.000000
205.80/29.15	c (26,0) c OverlapRateTime_4 : 0.000000
205.80/29.15	c (26,0) c OverlapRateTime_5 : 0.000000
205.80/29.15	c (26,0) c OverlapRateTime_6 : 0.000000
205.80/29.15	c (26,0) c OverlapRateTime_7 : 0.000000
205.80/29.15	c (26,0) c OverlapRateTime_total : 0.000000
205.80/29.15	c (26,0) c OverlapRateTime_winner : 0.000000
205.80/29.15	c (26,0) c
205.80/29.15	c (26,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
205.80/29.15	c (26,0) c
205.80/29.15	c (26,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
205.80/29.15	c (26,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
205.80/29.15	c (26,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
205.80/29.15	c (26,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
205.80/29.15	c (26,0) c | adaptStrategeis       |      False |      False |      False |      False |      False |      False |      False |      False |
205.80/29.15	c (26,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
205.80/29.15	c (26,0) c | Initial random_seed   |  466306313 |   60719944 | 1259947195 | 1845525041 | 1865410288 | 1800168259 | 1218409035 |  786309768 |
205.80/29.15	c (26,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
205.80/29.15	c (26,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
205.80/29.15	c (26,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
205.80/29.15	c (26,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
205.80/29.15	c (26,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
205.80/29.15	c (26,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
205.80/29.15	c (26,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
205.80/29.15	c (26,0) c | var_decay             |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
205.80/29.15	c (26,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
205.80/29.15	c (26,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
205.80/29.15	c (26,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
205.80/29.15	c (26,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
205.80/29.15	c (26,0) 
205.80/29.15	c (26,0) s UNSATISFIABLE
205.80/29.16	c (26,0) SatSolver.solve End
205.80/29.16	c (26,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
205.80/29.16	c (26,0) Show results Begin
205.80/29.16	s UNSATISFIABLE
205.80/29.16	c (26,0) Show results End
205.80/29.16	c (26,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
205.80/29.16	c (26,0) 26,26,STOP-AFTER(ALL)
205.80/29.16	c END-Prog: Mon Sep 23 13:37:02 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 (13391 MiB free)
  memory of node 1: 16384 MiB (11724 MiB free)
  node distances:
     10  21
     21  10

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

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

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


[startup+0.100153 s]*
/proc/loadavg: 0.08 0.03 0.05 1/192 22912
/proc/meminfo: memFree=25707300/32770624 swapFree=66953452/67108860
[pid=22909] ppid=22906 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/22909/stat : 22909 (scop.sh) S 22906 22909 22865 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 499778100 115843072 349 33554432000 4194304 5098028 140737055451728 140737055448984 140554142872188 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 25223168 140737055458044 140737055458392 140737055458392 140737055461321 0
/proc/22909/statm: 28282 349 296 221 0 87 0
[pid=22912] ppid=22909 vsize=228752 memory=4584 CPUtime=0 cores=0-7
/proc/22912/stat : 22912 (java) S 22909 22909 22865 0 -1 1077944320 1366 0 0 0 0 0 0 0 20 0 2 0 499778105 234242048 1146 33554432000 4194304 4196468 140728940981232 140728940963776 140161446723319 0 0 4102 0 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 31395840 140728940987078 140728940987526 140728940987526 140728940990415 0
/proc/22912/statm: 57188 1146 847 1 0 49312 0
[pid=22912/tid=22913] ppid=22909 vsize=229776 memory=1398722017469774279 CPUtime=0 cores=0-7
/proc/22912/task/22913/stat : 22913 (java) D 22909 22909 22865 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 2 0 499778111 235290624 1146 33554432000 4194304 4196468 140728940981232 140161418560952 140161439402912 0 0 4102 0 18446744072101821988 0 0 -1 2 0 0 0 0 0 6293624 6294260 31395840 140728940987078 140728940987526 140728940987526 140728940990415 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 341880 KiB
Current children cumulated memory: 5980 KiB

[startup+0.355297 s]*
/proc/loadavg: 0.08 0.03 0.05 2/211 22931
/proc/meminfo: memFree=25605664/32770624 swapFree=66953452/67108860
[pid=22909] ppid=22906 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/22909/stat : 22909 (scop.sh) S 22906 22909 22865 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 499778100 115843072 349 33554432000 4194304 5098028 140737055451728 140737055448984 140554142872188 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 25223168 140737055458044 140737055458392 140737055458392 140737055461321 0
/proc/22909/statm: 28282 349 296 221 0 87 0
[pid=22912] ppid=22909 vsize=27314120 memory=120924 CPUtime=0.25 cores=0-7
/proc/22912/stat : 22912 (java) S 22909 22909 22865 0 -1 1077944320 11161 0 0 0 22 3 0 0 20 0 20 0 499778105 27969658880 30231 33554432000 4194304 4196468 140728940981232 140728940963776 140161446723319 0 0 2 16800973 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 31395840 140728940987078 140728940987526 140728940987526 140728940990415 0
/proc/22912/statm: 6828530 30231 2922 1 0 6790935 0
[pid=22912/tid=22913] ppid=22909 vsize=27314120 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/22912/task/22913/stat : 22913 (java) R 22909 22909 22865 0 -1 4202560 8832 0 0 0 17 3 0 0 20 0 20 0 499778111 27969658880 30231 33554432000 4194304 4196468 140728940981232 140161418522704 140161430803806 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31395840 140728940987078 140728940987526 140728940987526 140728940990415 0
[pid=22912/tid=22914] ppid=22909 vsize=27314120 memory=288230609019732336 CPUtime=0 cores=0-7
/proc/22912/task/22914/stat : 22914 (java) S 22909 22909 22865 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 499778117 27969658880 30231 33554432000 4194304 4196468 140728940981232 140161450966160 140161446733525 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31395840 140728940987078 140728940987526 140728940987526 140728940990415 0
[pid=22912/tid=22915] ppid=22909 vsize=27314120 memory=140592719840854 CPUtime=0 cores=0-7
/proc/22912/task/22915/stat : 22915 (java) S 22909 22909 22865 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 499778117 27969658880 30231 33554432000 4194304 4196468 140728940981232 140161234361360 140161446733525 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31395840 140728940987078 140728940987526 140728940987526 140728940990415 0
[pid=22912/tid=22916] ppid=22909 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/22912/task/22916/stat : 22916 (java) S 22909 22909 22865 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 20 0 499778117 27969658880 30231 33554432000 4194304 4196468 140728940981232 140161233308560 140161446733525 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31395840 140728940987078 140728940987526 140728940987526 140728940990415 0
[pid=22912/tid=22917] ppid=22909 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22912/task/22917/stat : 22917 (java) S 22909 22909 22865 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 499778117 27969658880 30231 33554432000 4194304 4196468 140728940981232 140161232255760 140161446733525 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31395840 140728940987078 140728940987526 140728940987526 140728940990415 0
[pid=22912/tid=22918] ppid=22909 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22912/task/22918/stat : 22918 (java) S 22909 22909 22865 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 499778117 27969658880 30296 33554432000 4194304 4196468 140728940981232 140161231202960 140161446733525 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31395840 140728940987078 140728940987526 140728940987526 140728940990415 0
[pid=22912/tid=22919] ppid=22909 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/22912/task/22919/stat : 22919 (java) S 22909 22909 22865 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 499778117 27969658880 30296 33554432000 4194304 4196468 140728940981232 140161230150160 140161446733525 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31395840 140728940987078 140728940987526 140728940987526 140728940990415 0
[pid=22912/tid=22920] ppid=22909 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22912/task/22920/stat : 22920 (java) S 22909 22909 22865 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 499778117 27969658880 30296 33554432000 4194304 4196468 140728940981232 140161229097360 140161446733525 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31395840 140728940987078 140728940987526 140728940987526 140728940990415 0
[pid=22912/tid=22921] ppid=22909 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22912/task/22921/stat : 22921 (java) S 22909 22909 22865 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 499778117 27969658880 30296 33554432000 4194304 4196468 140728940981232 140161228044560 140161446733525 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31395840 140728940987078 140728940987526 140728940987526 140728940990415 0
[pid=22912/tid=22922] ppid=22909 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22912/task/22922/stat : 22922 (java) S 22909 22909 22865 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 499778118 27969658880 30296 33554432000 4194304 4196468 140728940981232 140160706530160 140161446734466 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31395840 140728940987078 140728940987526 140728940987526 140728940990415 0
[pid=22912/tid=22923] ppid=22909 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22912/task/22923/stat : 22923 (java) S 22909 22909 22865 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 499778119 27969658880 30296 33554432000 4194304 4196468 140728940981232 140159077049888 140161446733525 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31395840 140728940987078 140728940987526 140728940987526 140728940990415 0
[pid=22912/tid=22924] ppid=22909 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22912/task/22924/stat : 22924 (java) S 22909 22909 22865 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 499778119 27969658880 30296 33554432000 4194304 4196468 140728940981232 140158942827888 140161446733525 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31395840 140728940987078 140728940987526 140728940987526 140728940990415 0
[pid=22912/tid=22925] ppid=22909 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22912/task/22925/stat : 22925 (java) S 22909 22909 22865 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 499778122 27969658880 30296 33554432000 4194304 4196468 140728940981232 140158568323408 140161446741915 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31395840 140728940987078 140728940987526 140728940987526 140728940990415 0
[pid=22912/tid=22926] ppid=22909 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22912/task/22926/stat : 22926 (java) S 22909 22909 22865 0 -1 1077944384 332 0 0 0 0 0 0 0 20 0 20 0 499778122 27969658880 30296 33554432000 4194304 4196468 140728940981232 140160705476976 140161446734466 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31395840 140728940987078 140728940987526 140728940987526 140728940990415 0
[pid=22912/tid=22927] ppid=22909 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22912/task/22927/stat : 22927 (java) S 22909 22909 22865 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 499778122 27969658880 30296 33554432000 4194304 4196468 140728940981232 140160704424176 140161446734466 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31395840 140728940987078 140728940987526 140728940987526 140728940990415 0
[pid=22912/tid=22928] ppid=22909 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/22912/task/22928/stat : 22928 (java) S 22909 22909 22865 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 20 0 499778122 27969658880 30296 33554432000 4194304 4196468 140728940981232 140160703371376 140161446734466 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31395840 140728940987078 140728940987526 140728940987526 140728940990415 0
[pid=22912/tid=22929] ppid=22909 vsize=27314120 memory=0 CPUtime=0.02 cores=0-7
/proc/22912/task/22929/stat : 22929 (java) S 22909 22909 22865 0 -1 1077944384 500 0 0 0 2 0 0 0 20 0 20 0 499778122 27969658880 30296 33554432000 4194304 4196468 140728940981232 140160702318576 140161446734466 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31395840 140728940987078 140728940987526 140728940987526 140728940990415 0
[pid=22912/tid=22930] ppid=22909 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22912/task/22930/stat : 22930 (java) S 22909 22909 22865 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 499778122 27969658880 30296 33554432000 4194304 4196468 140728940981232 140158070418528 140161446733525 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31395840 140728940987078 140728940987526 140728940987526 140728940990415 0
[pid=22912/tid=22931] ppid=22909 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/22912/task/22931/stat : 22931 (java) S 22909 22909 22865 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 499778123 27969658880 30296 33554432000 4194304 4196468 140728940981232 140160701266992 140161446734466 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31395840 140728940987078 140728940987526 140728940987526 140728940990415 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 122320 KiB

[startup+0.412611 s]*
/proc/loadavg: 0.08 0.03 0.05 2/211 22931
/proc/meminfo: memFree=25603236/32770624 swapFree=66953452/67108860
[pid=22909] ppid=22906 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/22909/stat : 22909 (scop.sh) S 22906 22909 22865 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 499778100 115843072 349 33554432000 4194304 5098028 140737055451728 140737055448984 140554142872188 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 25223168 140737055458044 140737055458392 140737055458392 140737055461321 0
/proc/22909/statm: 28282 349 296 221 0 87 0
[pid=22912] ppid=22909 vsize=27314120 memory=124600 CPUtime=0.36 cores=0-7
/proc/22912/stat : 22912 (java) S 22909 22909 22865 0 -1 1077944320 11534 0 0 0 33 3 0 0 20 0 20 0 499778105 27969658880 31150 33554432000 4194304 4196468 140728940981232 140728940963776 140161446723319 0 0 2 16800973 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 31395840 140728940987078 140728940987526 140728940987526 140728940990415 0
/proc/22912/statm: 6828530 31150 2998 1 0 6790935 0
[pid=22912/tid=22913] ppid=22909 vsize=27314120 memory=1398722017469774279 CPUtime=0.26 cores=0-7
/proc/22912/task/22913/stat : 22913 (java) R 22909 22909 22865 0 -1 4202560 9093 0 0 0 23 3 0 0 20 0 20 0 499778111 27969658880 31150 33554432000 4194304 4196468 140728940981232 140161418544320 140161446735254 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31395840 140728940987078 140728940987526 140728940987526 140728940990415 0
[pid=22912/tid=22914] ppid=22909 vsize=27314120 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/22912/task/22914/stat : 22914 (java) S 22909 22909 22865 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 499778117 27969658880 31150 33554432000 4194304 4196468 140728940981232 140161450966160 140161446733525 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31395840 140728940987078 140728940987526 140728940987526 140728940990415 0
[pid=22912/tid=22915] ppid=22909 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22912/task/22915/stat : 22915 (java) S 22909 22909 22865 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 499778117 27969658880 31150 33554432000 4194304 4196468 140728940981232 140161234361360 140161446733525 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31395840 140728940987078 140728940987526 140728940987526 140728940990415 0
[pid=22912/tid=22916] ppid=22909 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22912/task/22916/stat : 22916 (java) S 22909 22909 22865 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 20 0 499778117 27969658880 31150 33554432000 4194304 4196468 140728940981232 140161233308560 140161446733525 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31395840 140728940987078 140728940987526 140728940987526 140728940990415 0
[pid=22912/tid=22917] ppid=22909 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22912/task/22917/stat : 22917 (java) S 22909 22909 22865 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 499778117 27969658880 31150 33554432000 4194304 4196468 140728940981232 140161232255760 140161446733525 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31395840 140728940987078 140728940987526 140728940987526 140728940990415 0
[pid=22912/tid=22918] ppid=22909 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22912/task/22918/stat : 22918 (java) S 22909 22909 22865 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 499778117 27969658880 31150 33554432000 4194304 4196468 140728940981232 140161231202960 140161446733525 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31395840 140728940987078 140728940987526 140728940987526 140728940990415 0
[pid=22912/tid=22919] ppid=22909 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22912/task/22919/stat : 22919 (java) S 22909 22909 22865 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 499778117 27969658880 31150 33554432000 4194304 4196468 140728940981232 140161230150160 140161446733525 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31395840 140728940987078 140728940987526 140728940987526 140728940990415 0
[pid=22912/tid=22920] ppid=22909 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22912/task/22920/stat : 22920 (java) S 22909 22909 22865 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 499778117 27969658880 31150 33554432000 4194304 4196468 140728940981232 140161229097360 140161446733525 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31395840 140728940987078 140728940987526 140728940987526 140728940990415 0
[pid=22912/tid=22921] ppid=22909 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22912/task/22921/stat : 22921 (java) S 22909 22909 22865 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 499778117 27969658880 31150 33554432000 4194304 4196468 140728940981232 140161228044560 140161446733525 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31395840 140728940987078 140728940987526 140728940987526 140728940990415 0
[pid=22912/tid=22922] ppid=22909 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22912/task/22922/stat : 22922 (java) S 22909 22909 22865 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 499778118 27969658880 31150 33554432000 4194304 4196468 140728940981232 140160706530160 140161446734466 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31395840 140728940987078 140728940987526 140728940987526 140728940990415 0
[pid=22912/tid=22923] ppid=22909 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22912/task/22923/stat : 22923 (java) S 22909 22909 22865 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 499778119 27969658880 31150 33554432000 4194304 4196468 140728940981232 140159077049888 140161446733525 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31395840 140728940987078 140728940987526 140728940987526 140728940990415 0
[pid=22912/tid=22924] ppid=22909 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22912/task/22924/stat : 22924 (java) S 22909 22909 22865 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 499778119 27969658880 31150 33554432000 4194304 4196468 140728940981232 140158942827888 140161446733525 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31395840 140728940987078 140728940987526 140728940987526 140728940990415 0
[pid=22912/tid=22925] ppid=22909 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22912/task/22925/stat : 22925 (java) S 22909 22909 22865 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 499778122 27969658880 31150 33554432000 4194304 4196468 140728940981232 140158568323408 140161446741915 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31395840 140728940987078 140728940987526 140728940987526 140728940990415 0
[pid=22912/tid=22926] ppid=22909 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22912/task/22926/stat : 22926 (java) S 22909 22909 22865 0 -1 1077944384 332 0 0 0 0 0 0 0 20 0 20 0 499778122 27969658880 31150 33554432000 4194304 4196468 140728940981232 140160705476976 140161446734466 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31395840 140728940987078 140728940987526 140728940987526 140728940990415 0
[pid=22912/tid=22927] ppid=22909 vsize=27314120 memory=0 CPUtime=0.01 cores=0-7
/proc/22912/task/22927/stat : 22927 (java) S 22909 22909 22865 0 -1 1077944384 166 0 0 0 1 0 0 0 20 0 20 0 499778122 27969658880 31150 33554432000 4194304 4196468 140728940981232 140160704424176 140161446734466 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31395840 140728940987078 140728940987526 140728940987526 140728940990415 0
[pid=22912/tid=22928] ppid=22909 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22912/task/22928/stat : 22928 (java) S 22909 22909 22865 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 20 0 499778122 27969658880 31150 33554432000 4194304 4196468 140728940981232 140160703371376 140161446734466 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31395840 140728940987078 140728940987526 140728940987526 140728940990415 0
[pid=22912/tid=22929] ppid=22909 vsize=27314120 memory=0 CPUtime=0.07 cores=0-7
/proc/22912/task/22929/stat : 22929 (java) S 22909 22909 22865 0 -1 1077944384 543 0 0 0 7 0 0 0 20 0 20 0 499778122 27969658880 31150 33554432000 4194304 4196468 140728940981232 140160702318576 140161446734466 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31395840 140728940987078 140728940987526 140728940987526 140728940990415 0
[pid=22912/tid=22930] ppid=22909 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22912/task/22930/stat : 22930 (java) S 22909 22909 22865 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 499778122 27969658880 31150 33554432000 4194304 4196468 140728940981232 140158070418528 140161446733525 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31395840 140728940987078 140728940987526 140728940987526 140728940990415 0
[pid=22912/tid=22931] ppid=22909 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22912/task/22931/stat : 22931 (java) S 22909 22909 22865 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 499778123 27969658880 31150 33554432000 4194304 4196468 140728940981232 140160701266992 140161446734466 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31395840 140728940987078 140728940987526 140728940987526 140728940990415 0
Current children cumulated CPU time: 0.36 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 125996 KiB

[startup+0.710003 s]
/proc/loadavg: 0.08 0.03 0.05 2/211 22931
/proc/meminfo: memFree=25584776/32770624 swapFree=66953452/67108860
[pid=22909] ppid=22906 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/22909/stat : 22909 (scop.sh) S 22906 22909 22865 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 499778100 115843072 349 33554432000 4194304 5098028 140737055451728 140737055448984 140554142872188 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 25223168 140737055458044 140737055458392 140737055458392 140737055461321 0
/proc/22909/statm: 28282 349 296 221 0 87 0
[pid=22912] ppid=22909 vsize=27316204 memory=150284 CPUtime=0.69 cores=0-7
/proc/22912/stat : 22912 (java) S 22909 22909 22865 0 -1 1077944320 17623 0 0 0 64 5 0 0 20 0 20 0 499778105 27971792896 37571 33554432000 4194304 4196468 140728940981232 140728940963776 140161446723319 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 31395840 140728940987078 140728940987526 140728940987526 140728940990415 0
/proc/22912/statm: 6829051 37571 3051 1 0 6790935 0
[pid=22912/tid=22913] ppid=22909 vsize=27316204 memory=3741573 CPUtime=0.52 cores=0-7
/proc/22912/task/22913/stat : 22913 (java) D 22909 22909 22865 0 -1 4202560 15027 0 0 0 48 4 0 0 20 0 20 0 499778111 27971792896 37571 33554432000 4194304 4196468 140728940981232 140161418556688 140161446745245 0 4 2 25189581 18446744071580419588 0 0 -1 3 0 0 1 0 0 6293624 6294260 31395840 140728940987078 140728940987526 140728940987526 140728940990415 0
[pid=22912/tid=22914] ppid=22909 vsize=27316204 memory=0 CPUtime=0 cores=0-7
/proc/22912/task/22914/stat : 22914 (java) S 22909 22909 22865 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 499778117 27971792896 37571 33554432000 4194304 4196468 140728940981232 140161450966160 140161446733525 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31395840 140728940987078 140728940987526 140728940987526 140728940990415 0
[pid=22912/tid=22915] ppid=22909 vsize=27316204 memory=0 CPUtime=0 cores=0-7
/proc/22912/task/22915/stat : 22915 (java) S 22909 22909 22865 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 499778117 27971792896 37571 33554432000 4194304 4196468 140728940981232 140161234361360 140161446733525 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31395840 140728940987078 140728940987526 140728940987526 140728940990415 0
[pid=22912/tid=22916] ppid=22909 vsize=27316204 memory=0 CPUtime=0 cores=0-7
/proc/22912/task/22916/stat : 22916 (java) S 22909 22909 22865 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 20 0 499778117 27971792896 37571 33554432000 4194304 4196468 140728940981232 140161233308560 140161446733525 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31395840 140728940987078 140728940987526 140728940987526 140728940990415 0
[pid=22912/tid=22917] ppid=22909 vsize=27316204 memory=0 CPUtime=0 cores=0-7
/proc/22912/task/22917/stat : 22917 (java) S 22909 22909 22865 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 499778117 27971792896 37571 33554432000 4194304 4196468 140728940981232 140161232255760 140161446733525 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31395840 140728940987078 140728940987526 140728940987526 140728940990415 0
[pid=22912/tid=22918] ppid=22909 vsize=27316204 memory=0 CPUtime=0 cores=0-7
/proc/22912/task/22918/stat : 22918 (java) S 22909 22909 22865 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 499778117 27971792896 37571 33554432000 4194304 4196468 140728940981232 140161231202960 140161446733525 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31395840 140728940987078 140728940987526 140728940987526 140728940990415 0
[pid=22912/tid=22919] ppid=22909 vsize=27316204 memory=0 CPUtime=0 cores=0-7
/proc/22912/task/22919/stat : 22919 (java) S 22909 22909 22865 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 499778117 27971792896 37571 33554432000 4194304 4196468 140728940981232 140161230150160 140161446733525 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31395840 140728940987078 140728940987526 140728940987526 140728940990415 0
[pid=22912/tid=22920] ppid=22909 vsize=27316204 memory=0 CPUtime=0 cores=0-7
/proc/22912/task/22920/stat : 22920 (java) S 22909 22909 22865 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 499778117 27971792896 37571 33554432000 4194304 4196468 140728940981232 140161229097360 140161446733525 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31395840 140728940987078 140728940987526 140728940987526 140728940990415 0
[pid=22912/tid=22921] ppid=22909 vsize=27316204 memory=0 CPUtime=0 cores=0-7
/proc/22912/task/22921/stat : 22921 (java) S 22909 22909 22865 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 499778117 27971792896 37571 33554432000 4194304 4196468 140728940981232 140161228044560 140161446733525 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31395840 140728940987078 140728940987526 140728940987526 140728940990415 0
[pid=22912/tid=22922] ppid=22909 vsize=27316204 memory=0 CPUtime=0 cores=0-7
/proc/22912/task/22922/stat : 22922 (java) S 22909 22909 22865 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 499778118 27971792896 37571 33554432000 4194304 4196468 140728940981232 140160706530160 140161446734466 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31395840 140728940987078 140728940987526 140728940987526 140728940990415 0
[pid=22912/tid=22923] ppid=22909 vsize=27316204 memory=0 CPUtime=0 cores=0-7
/proc/22912/task/22923/stat : 22923 (java) S 22909 22909 22865 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 499778119 27971792896 37571 33554432000 4194304 4196468 140728940981232 140159077049888 140161446733525 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31395840 140728940987078 140728940987526 140728940987526 140728940990415 0
[pid=22912/tid=22924] ppid=22909 vsize=27316204 memory=0 CPUtime=0 cores=0-7
/proc/22912/task/22924/stat : 22924 (java) S 22909 22909 22865 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 499778119 27971792896 37571 33554432000 4194304 4196468 140728940981232 140158942827888 140161446733525 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31395840 140728940987078 140728940987526 140728940987526 140728940990415 0
[pid=22912/tid=22925] ppid=22909 vsize=27316204 memory=140592716109439 CPUtime=0 cores=0-7
/proc/22912/task/22925/stat : 22925 (java) S 22909 22909 22865 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 499778122 27971792896 37571 33554432000 4194304 4196468 140728940981232 140158568323408 140161446741915 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31395840 140728940987078 140728940987526 140728940987526 140728940990415 0
[pid=22912/tid=22926] ppid=22909 vsize=27316204 memory=0 CPUtime=0.01 cores=0-7
/proc/22912/task/22926/stat : 22926 (java) S 22909 22909 22865 0 -1 1077944384 365 0 0 0 1 0 0 0 20 0 20 0 499778122 27971792896 37571 33554432000 4194304 4196468 140728940981232 140160705476976 140161446734466 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31395840 140728940987078 140728940987526 140728940987526 140728940990415 0
[pid=22912/tid=22927] ppid=22909 vsize=27316204 memory=0 CPUtime=0.02 cores=0-7
/proc/22912/task/22927/stat : 22927 (java) S 22909 22909 22865 0 -1 1077944384 172 0 0 0 2 0 0 0 20 0 20 0 499778122 27971792896 37571 33554432000 4194304 4196468 140728940981232 140160704424176 140161446734466 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31395840 140728940987078 140728940987526 140728940987526 140728940990415 0
[pid=22912/tid=22928] ppid=22909 vsize=27316204 memory=0 CPUtime=0.01 cores=0-7
/proc/22912/task/22928/stat : 22928 (java) S 22909 22909 22865 0 -1 1077944384 121 0 0 0 1 0 0 0 20 0 20 0 499778122 27971792896 37571 33554432000 4194304 4196468 140728940981232 140160703371376 140161446734466 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31395840 140728940987078 140728940987526 140728940987526 140728940990415 0
[pid=22912/tid=22929] ppid=22909 vsize=27316204 memory=0 CPUtime=0.1 cores=0-7
/proc/22912/task/22929/stat : 22929 (java) S 22909 22909 22865 0 -1 1077944384 575 0 0 0 10 0 0 0 20 0 20 0 499778122 27971792896 37571 33554432000 4194304 4196468 140728940981232 140160702318576 140161446734466 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31395840 140728940987078 140728940987526 140728940987526 140728940990415 0
[pid=22912/tid=22930] ppid=22909 vsize=27316204 memory=0 CPUtime=0 cores=0-7
/proc/22912/task/22930/stat : 22930 (java) S 22909 22909 22865 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 499778122 27971792896 37571 33554432000 4194304 4196468 140728940981232 140158070418528 140161446733525 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31395840 140728940987078 140728940987526 140728940987526 140728940990415 0
[pid=22912/tid=22931] ppid=22909 vsize=27316204 memory=0 CPUtime=0 cores=0-7
/proc/22912/task/22931/stat : 22931 (java) S 22909 22909 22865 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 499778123 27971792896 37571 33554432000 4194304 4196468 140728940981232 140160701266992 140161446734466 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31395840 140728940987078 140728940987526 140728940987526 140728940990415 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 27429332 KiB
Current children cumulated memory: 151680 KiB

[startup+1.50083 s]
/proc/loadavg: 0.08 0.03 0.05 3/211 22931

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

[pid=22933/tid=22946] ppid=22909 vsize=8414124 memory=100670879304426 CPUtime=0 cores=0-7
/proc/22933/task/22946/stat : 22946 (java) S 22909 22909 22865 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 499778365 8616062976 30434 33554432000 4194304 4196468 140724573968256 140298020542416 140300059400091 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9879552 140724573975519 140724573975686 140724573975686 140724573978575 0
[pid=22933/tid=22947] ppid=22909 vsize=8414124 memory=100670879304426 CPUtime=0.13 cores=0-7
/proc/22933/task/22947/stat : 22947 (java) S 22909 22909 22865 0 -1 1077944384 818 0 0 0 13 0 0 0 20 0 24 0 499778365 8616062976 30434 33554432000 4194304 4196468 140724573968256 140299151764208 140300059392642 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9879552 140724573975519 140724573975686 140724573975686 140724573978575 0
[pid=22933/tid=22948] ppid=22909 vsize=8414124 memory=100670879304426 CPUtime=0.07 cores=0-7
/proc/22933/task/22948/stat : 22948 (java) S 22909 22909 22865 0 -1 1077944384 367 0 0 0 7 0 0 0 20 0 24 0 499778365 8616062976 30434 33554432000 4194304 4196468 140724573968256 140299150711664 140300059392642 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9879552 140724573975519 140724573975686 140724573975686 140724573978575 0
[pid=22933/tid=22949] ppid=22909 vsize=8414124 memory=100670879304426 CPUtime=0.06 cores=0-7
/proc/22933/task/22949/stat : 22949 (java) S 22909 22909 22865 0 -1 1077944384 271 0 0 0 6 0 0 0 20 0 24 0 499778365 8616062976 30434 33554432000 4194304 4196468 140724573968256 140299149658608 140300059392642 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9879552 140724573975519 140724573975686 140724573975686 140724573978575 0
[pid=22933/tid=22950] ppid=22909 vsize=8414124 memory=0 CPUtime=0.22 cores=0-7
/proc/22933/task/22950/stat : 22950 (java) S 22909 22909 22865 0 -1 1077944384 576 0 0 0 22 0 0 0 20 0 24 0 499778365 8616062976 30434 33554432000 4194304 4196468 140724573968256 140299148606064 140300059392642 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9879552 140724573975519 140724573975686 140724573975686 140724573978575 0
[pid=22933/tid=22951] ppid=22909 vsize=8414124 memory=61512 CPUtime=0 cores=0-7
/proc/22933/task/22951/stat : 22951 (java) S 22909 22909 22865 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 499778365 8616062976 30434 33554432000 4194304 4196468 140724573968256 140297522637280 140300059391701 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9879552 140724573975519 140724573975686 140724573975686 140724573978575 0
[pid=22933/tid=22952] ppid=22909 vsize=8414124 memory=988 CPUtime=0.01 cores=0-7
/proc/22933/task/22952/stat : 22952 (java) S 22909 22909 22865 0 -1 1077944384 3 0 0 0 1 0 0 0 20 0 24 0 499778366 8616062976 30434 33554432000 4194304 4196468 140724573968256 140299147553456 140300059392642 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 2 0 0 6293624 6294260 9879552 140724573975519 140724573975686 140724573975686 140724573978575 0
[pid=22933/tid=22954] ppid=22909 vsize=8414124 memory=2008 CPUtime=0 cores=0-7
/proc/22933/task/22954/stat : 22954 (java) S 22909 22909 22865 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 499778435 8616062976 30434 33554432000 4194304 4196468 140724573968256 140299139519424 140300059406105 0 4 2 25189581 18446744071579417331 0 0 -1 4 0 0 0 0 0 6293624 6294260 9879552 140724573975519 140724573975686 140724573975686 140724573978575 0
[pid=22933/tid=22956] ppid=22909 vsize=8414124 memory=1424 CPUtime=0 cores=0-7
/proc/22933/task/22956/stat : 22956 (java) S 22909 22909 22865 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 24 0 499778435 8616062976 30434 33554432000 4194304 4196468 140724573968256 140296851537936 140300059403421 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 9879552 140724573975519 140724573975686 140724573975686 140724573978575 0
[pid=22933/tid=22957] ppid=22909 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/22933/task/22957/stat : 22957 (java) S 22909 22909 22865 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 24 0 499778435 8616062976 30434 33554432000 4194304 4196468 140724573968256 140297119973520 140300059403421 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 9879552 140724573975519 140724573975686 140724573975686 140724573978575 0
[pid=22933/tid=22958] ppid=22909 vsize=8414124 memory=11204 CPUtime=0 cores=0-7
/proc/22933/task/22958/stat : 22958 (java) S 22909 22909 22865 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 499778438 8616062976 30434 33554432000 4194304 4196468 140724573968256 140296583110064 140300059391701 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9879552 140724573975519 140724573975686 140724573975686 140724573978575 0
Current children cumulated CPU time: 201.55 s
Current children cumulated vsize: 9276156 KiB
Current children cumulated memory: 460360 KiB

[startup+28.9012 s]
/proc/loadavg: 2.44 0.58 0.23 9/225 22966
/proc/meminfo: memFree=25258804/32770624 swapFree=66953452/67108860
[pid=22909] ppid=22906 vsize=113128 memory=1476 CPUtime=5.09 cores=0-7
/proc/22909/stat : 22909 (scop.sh) S 22906 22909 22865 0 -1 4202496 583 26400 0 0 0 0 489 20 20 0 1 0 499778100 115843072 369 33554432000 4194304 5098028 140737055451728 140737055448472 140554142872188 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 25223168 140737055458044 140737055458392 140737055458392 140737055461321 0
/proc/22909/statm: 28282 369 311 221 0 87 0
[pid=22933] ppid=22909 vsize=8414124 memory=121736 CPUtime=1.33 cores=0-7
/proc/22933/stat : 22933 (java) S 22909 22909 22865 0 -1 1077944320 20398 0 0 0 124 9 0 0 20 0 24 0 499778359 8616062976 30434 33554432000 4194304 4196468 140724573968256 140724573950800 140300059381495 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 9879552 140724573975519 140724573975686 140724573975686 140724573978575 0
/proc/22933/statm: 2103531 30434 3209 1 0 2064875 0
[pid=22953] ppid=22933 vsize=750252 memory=337256 CPUtime=198.83 cores=0-7
/proc/22953/stat : 22953 (manyglucose-4.1) S 22933 22909 22865 0 -1 1077944320 235997 0 0 0 19833 50 0 0 20 0 5 0 499778435 768258048 84314 33554432000 4194304 4454172 140731140656064 140731140654448 139988712693495 0 4 0 8388610 18446744073709551615 0 0 17 7 0 0 0 0 0 6552832 6554400 14938112 140731140657997 140731140658204 140731140658204 140731140661174 0
/proc/22953/statm: 187563 84314 422 64 0 183231 0
[pid=22953/tid=22959] ppid=22933 vsize=750252 memory=6010431305067159657 CPUtime=25.2 cores=0-7
/proc/22953/task/22959/stat : 22959 (manyglucose-4.1) R 22933 22909 22865 0 -1 4202560 26560 0 0 0 2513 7 0 0 20 0 5 0 499778468 768258048 84314 33554432000 4194304 4454172 140731140656064 139988682447608 4351502 0 4 0 8388610 0 0 0 -1 6 0 0 0 0 0 6552832 6554400 14938112 140731140657997 140731140658204 140731140658204 140731140661174 0
[pid=22953/tid=22960] ppid=22933 vsize=750252 memory=1 CPUtime=25.2 cores=0-7
/proc/22953/task/22960/stat : 22960 (manyglucose-4.1) R 22933 22909 22865 0 -1 4202560 27383 0 0 0 2513 7 0 0 20 0 5 0 499778468 768258048 84314 33554432000 4194304 4454172 140731140656064 139988674054904 4350196 0 4 0 8388610 0 0 0 -1 0 0 0 0 0 0 6552832 6554400 14938112 140731140657997 140731140658204 140731140658204 140731140661174 0
[pid=22953/tid=22962] ppid=22933 vsize=750252 memory=0 CPUtime=25.19 cores=0-7
/proc/22953/task/22962/stat : 22962 (manyglucose-4.1) R 22933 22909 22865 0 -1 4202560 23587 0 0 0 2514 5 0 0 20 0 5 0 499778468 768258048 84314 33554432000 4194304 4454172 140731140656064 139988657269496 4351800 0 4 0 8388610 0 0 0 -1 4 0 0 0 0 0 6552832 6554400 14938112 140731140657997 140731140658204 140731140658204 140731140661174 0
[pid=22953/tid=22963] ppid=22933 vsize=750252 memory=0 CPUtime=24.64 cores=0-7
/proc/22953/task/22963/stat : 22963 (manyglucose-4.1) R 22933 22909 22865 0 -1 4202560 25798 0 0 0 2461 3 0 0 20 0 5 0 499778468 768258048 84314 33554432000 4194304 4454172 140731140656064 139988648876792 4351313 0 4 0 8388610 0 0 0 -1 5 0 0 0 0 0 6552832 6554400 14938112 140731140657997 140731140658204 140731140658204 140731140661174 0
[pid=22933/tid=22934] ppid=22909 vsize=8414124 memory=0 CPUtime=0.78 cores=0-7
/proc/22933/task/22934/stat : 22934 (java) S 22909 22909 22865 0 -1 1077944384 16963 0 0 0 72 6 0 0 20 0 24 0 499778359 8616062976 30434 33554432000 4194304 4196468 140724573968256 140300031221664 140300059391701 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9879552 140724573975519 140724573975686 140724573975686 140724573978575 0
[pid=22933/tid=22935] ppid=22909 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/22933/task/22935/stat : 22935 (java) S 22909 22909 22865 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 499778361 8616062976 30434 33554432000 4194304 4196468 140724573968256 140300063623696 140300059391701 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9879552 140724573975519 140724573975686 140724573975686 140724573978575 0
[pid=22933/tid=22936] ppid=22909 vsize=8414124 memory=179428 CPUtime=0 cores=0-7
/proc/22933/task/22936/stat : 22936 (java) S 22909 22909 22865 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 499778361 8616062976 30434 33554432000 4194304 4196468 140724573968256 140299544287888 140300059391701 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9879552 140724573975519 140724573975686 140724573975686 140724573978575 0
[pid=22933/tid=22937] ppid=22909 vsize=8414124 memory=140595754435012 CPUtime=0 cores=0-7
/proc/22933/task/22937/stat : 22937 (java) S 22909 22909 22865 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 499778361 8616062976 30434 33554432000 4194304 4196468 140724573968256 140299543234832 140300059391701 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9879552 140724573975519 140724573975686 140724573975686 140724573978575 0
[pid=22933/tid=22938] ppid=22909 vsize=8414124 memory=140595754435110 CPUtime=0 cores=0-7
/proc/22933/task/22938/stat : 22938 (java) S 22909 22909 22865 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 499778361 8616062976 30434 33554432000 4194304 4196468 140724573968256 140299542182288 140300059391701 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9879552 140724573975519 140724573975686 140724573975686 140724573978575 0
[pid=22933/tid=22939] ppid=22909 vsize=8414124 memory=140595754435128 CPUtime=0 cores=0-7
/proc/22933/task/22939/stat : 22939 (java) S 22909 22909 22865 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 499778361 8616062976 30434 33554432000 4194304 4196468 140724573968256 140299541130256 140300059391701 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9879552 140724573975519 140724573975686 140724573975686 140724573978575 0
[pid=22933/tid=22940] ppid=22909 vsize=8414124 memory=140595754435132 CPUtime=0 cores=0-7
/proc/22933/task/22940/stat : 22940 (java) S 22909 22909 22865 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 499778361 8616062976 30434 33554432000 4194304 4196468 140724573968256 140299540077712 140300059391701 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9879552 140724573975519 140724573975686 140724573975686 140724573978575 0
[pid=22933/tid=22941] ppid=22909 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/22933/task/22941/stat : 22941 (java) S 22909 22909 22865 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 499778361 8616062976 30434 33554432000 4194304 4196468 140724573968256 140299539024656 140300059391701 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9879552 140724573975519 140724573975686 140724573975686 140724573978575 0
[pid=22933/tid=22942] ppid=22909 vsize=8414124 memory=57 CPUtime=0 cores=0-7
/proc/22933/task/22942/stat : 22942 (java) S 22909 22909 22865 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 499778361 8616062976 30434 33554432000 4194304 4196468 140724573968256 140299537972112 140300059391701 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9879552 140724573975519 140724573975686 140724573975686 140724573978575 0
[pid=22933/tid=22943] ppid=22909 vsize=8414124 memory=7811332356428424551 CPUtime=0 cores=0-7
/proc/22933/task/22943/stat : 22943 (java) S 22909 22909 22865 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 499778362 8616062976 30434 33554432000 4194304 4196468 140724573968256 140299152816368 140300059392642 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9879552 140724573975519 140724573975686 140724573975686 140724573978575 0
[pid=22933/tid=22944] ppid=22909 vsize=8414124 memory=7452445202923875941 CPUtime=0 cores=0-7
/proc/22933/task/22944/stat : 22944 (java) S 22909 22909 22865 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 499778363 8616062976 30434 33554432000 4194304 4196468 140724573968256 140298663486624 140300059391701 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9879552 140724573975519 140724573975686 140724573975686 140724573978575 0
[pid=22933/tid=22945] ppid=22909 vsize=8414124 memory=7452445202923875941 CPUtime=0 cores=0-7
/proc/22933/task/22945/stat : 22945 (java) S 22909 22909 22865 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 499778363 8616062976 30434 33554432000 4194304 4196468 140724573968256 140298395050736 140300059391701 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9879552 140724573975519 140724573975686 140724573975686 140724573978575 0
[pid=22933/tid=22946] ppid=22909 vsize=8414124 memory=7811332356428424551 CPUtime=0 cores=0-7
/proc/22933/task/22946/stat : 22946 (java) S 22909 22909 22865 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 499778365 8616062976 30434 33554432000 4194304 4196468 140724573968256 140298020542416 140300059400091 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9879552 140724573975519 140724573975686 140724573975686 140724573978575 0
[pid=22933/tid=22947] ppid=22909 vsize=8414124 memory=281185200762456 CPUtime=0.13 cores=0-7
/proc/22933/task/22947/stat : 22947 (java) S 22909 22909 22865 0 -1 1077944384 818 0 0 0 13 0 0 0 20 0 24 0 499778365 8616062976 30434 33554432000 4194304 4196468 140724573968256 140299151764208 140300059392642 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9879552 140724573975519 140724573975686 140724573975686 140724573978575 0
[pid=22933/tid=22948] ppid=22909 vsize=8414124 memory=5931329053776696656 CPUtime=0.07 cores=0-7
/proc/22933/task/22948/stat : 22948 (java) S 22909 22909 22865 0 -1 1077944384 367 0 0 0 7 0 0 0 20 0 24 0 499778365 8616062976 30434 33554432000 4194304 4196468 140724573968256 140299150711664 140300059392642 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9879552 140724573975519 140724573975686 140724573975686 140724573978575 0
[pid=22933/tid=22949] ppid=22909 vsize=8414124 memory=1476 CPUtime=0.06 cores=0-7
/proc/22933/task/22949/stat : 22949 (java) S 22909 22909 22865 0 -1 1077944384 271 0 0 0 6 0 0 0 20 0 24 0 499778365 8616062976 30434 33554432000 4194304 4196468 140724573968256 140299149658608 140300059392642 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9879552 140724573975519 140724573975686 140724573975686 140724573978575 0
[pid=22933/tid=22950] ppid=22909 vsize=8414124 memory=121736 CPUtime=0.22 cores=0-7
/proc/22933/task/22950/stat : 22950 (java) S 22909 22909 22865 0 -1 1077944384 576 0 0 0 22 0 0 0 20 0 24 0 499778365 8616062976 30434 33554432000 4194304 4196468 140724573968256 140299148606064 140300059392642 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9879552 140724573975519 140724573975686 140724573975686 140724573978575 0
[pid=22933/tid=22951] ppid=22909 vsize=8414124 memory=335884 CPUtime=0 cores=0-7
/proc/22933/task/22951/stat : 22951 (java) S 22909 22909 22865 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 499778365 8616062976 30434 33554432000 4194304 4196468 140724573968256 140297522637280 140300059391701 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9879552 140724573975519 140724573975686 140724573975686 140724573978575 0
[pid=22933/tid=22952] ppid=22909 vsize=8414124 memory=14414843092405499 CPUtime=0.01 cores=0-7
/proc/22933/task/22952/stat : 22952 (java) S 22909 22909 22865 0 -1 1077944384 3 0 0 0 1 0 0 0 20 0 24 0 499778366 8616062976 30434 33554432000 4194304 4196468 140724573968256 140299147553456 140300059392642 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 2 0 0 6293624 6294260 9879552 140724573975519 140724573975686 140724573975686 140724573978575 0
[pid=22933/tid=22954] ppid=22909 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/22933/task/22954/stat : 22954 (java) S 22909 22909 22865 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 499778435 8616062976 30434 33554432000 4194304 4196468 140724573968256 140299139519424 140300059406105 0 4 2 25189581 18446744071579417331 0 0 -1 4 0 0 0 0 0 6293624 6294260 9879552 140724573975519 140724573975686 140724573975686 140724573978575 0
[pid=22933/tid=22956] ppid=22909 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/22933/task/22956/stat : 22956 (java) S 22909 22909 22865 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 24 0 499778435 8616062976 30434 33554432000 4194304 4196468 140724573968256 140296851537936 140300059403421 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 9879552 140724573975519 140724573975686 140724573975686 140724573978575 0
[pid=22933/tid=22957] ppid=22909 vsize=8414124 memory=6944656592455360604 CPUtime=0 cores=0-7
/proc/22933/task/22957/stat : 22957 (java) S 22909 22909 22865 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 24 0 499778435 8616062976 30434 33554432000 4194304 4196468 140724573968256 140297119973520 140300059403421 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 9879552 140724573975519 140724573975686 140724573975686 140724573978575 0
[pid=22933/tid=22958] ppid=22909 vsize=8414124 memory=140592600858016 CPUtime=0 cores=0-7
/proc/22933/task/22958/stat : 22958 (java) S 22909 22909 22865 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 499778438 8616062976 30434 33554432000 4194304 4196468 140724573968256 140296583110064 140300059391701 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9879552 140724573975519 140724573975686 140724573975686 140724573978575 0
Current children cumulated CPU time: 205.25 s
Current children cumulated vsize: 9277504 KiB
Current children cumulated memory: 460468 KiB

[startup+29.1012 s]*
/proc/loadavg: 2.56 0.63 0.25 2/218 22966
/proc/meminfo: memFree=25257968/32770624 swapFree=66953452/67108860
[pid=22909] ppid=22906 vsize=113128 memory=1476 CPUtime=5.09 cores=0-7
/proc/22909/stat : 22909 (scop.sh) S 22906 22909 22865 0 -1 4202496 583 26400 0 0 0 0 489 20 20 0 1 0 499778100 115843072 369 33554432000 4194304 5098028 140737055451728 140737055448472 140554142872188 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 25223168 140737055458044 140737055458392 140737055458392 140737055461321 0
/proc/22909/statm: 28282 369 311 221 0 87 0
[pid=22933] ppid=22909 vsize=8414124 memory=121736 CPUtime=1.33 cores=0-7
/proc/22933/stat : 22933 (java) S 22909 22909 22865 0 -1 1077944320 20398 0 0 0 124 9 0 0 20 0 24 0 499778359 8616062976 30434 33554432000 4194304 4196468 140724573968256 140724573950800 140300059381495 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 9879552 140724573975519 140724573975686 140724573975686 140724573978575 0
/proc/22933/statm: 2103531 30434 3209 1 0 2064875 0
[pid=22953] ppid=22933 vsize=750392 memory=337628 CPUtime=199.38 cores=0-7
/proc/22953/stat : 22953 (manyglucose-4.1) S 22933 22909 22865 0 -1 1077944320 236047 0 0 0 19888 50 0 0 20 0 2 0 499778435 768401408 84407 33554432000 4194304 4454172 140731140656064 140731140654448 139988712693495 0 4 0 8388610 18446744073709551615 0 0 17 7 0 0 0 0 0 6552832 6554400 14938112 140731140657997 140731140658204 140731140658204 140731140661174 0
/proc/22953/statm: 187598 84407 422 64 0 183266 0
[pid=22953/tid=22960] ppid=22933 vsize=750392 memory=24210 CPUtime=25.41 cores=0-7
/proc/22953/task/22960/stat : 22960 (manyglucose-4.1) R 22933 22909 22865 0 -1 4202560 27386 0 0 0 2534 7 0 0 20 0 2 0 499778468 768401408 84407 33554432000 4194304 4454172 140731140656064 139988674054904 4351342 0 4 0 8388610 0 0 0 -1 0 0 0 0 0 0 6552832 6554400 14938112 140731140657997 140731140658204 140731140658204 140731140661174 0
[pid=22933/tid=22934] ppid=22909 vsize=8414124 memory=1398722017469774279 CPUtime=0.78 cores=0-7
/proc/22933/task/22934/stat : 22934 (java) S 22909 22909 22865 0 -1 1077944384 16963 0 0 0 72 6 0 0 20 0 24 0 499778359 8616062976 30434 33554432000 4194304 4196468 140724573968256 140300031221664 140300059391701 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9879552 140724573975519 140724573975686 140724573975686 140724573978575 0
[pid=22933/tid=22935] ppid=22909 vsize=8414124 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/22933/task/22935/stat : 22935 (java) S 22909 22909 22865 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 499778361 8616062976 30434 33554432000 4194304 4196468 140724573968256 140300063623696 140300059391701 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9879552 140724573975519 140724573975686 140724573975686 140724573978575 0
[pid=22933/tid=22936] ppid=22909 vsize=8414124 memory=1760 CPUtime=0 cores=0-7
/proc/22933/task/22936/stat : 22936 (java) S 22909 22909 22865 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 499778361 8616062976 30434 33554432000 4194304 4196468 140724573968256 140299544287888 140300059391701 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9879552 140724573975519 140724573975686 140724573975686 140724573978575 0
[pid=22933/tid=22937] ppid=22909 vsize=8414124 memory=111636 CPUtime=0 cores=0-7
/proc/22933/task/22937/stat : 22937 (java) S 22909 22909 22865 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 499778361 8616062976 30434 33554432000 4194304 4196468 140724573968256 140299543234832 140300059391701 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9879552 140724573975519 140724573975686 140724573975686 140724573978575 0
[pid=22933/tid=22938] ppid=22909 vsize=8414124 memory=808 CPUtime=0 cores=0-7
/proc/22933/task/22938/stat : 22938 (java) S 22909 22909 22865 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 499778361 8616062976 30434 33554432000 4194304 4196468 140724573968256 140299542182288 140300059391701 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9879552 140724573975519 140724573975686 140724573975686 140724573978575 0
[pid=22933/tid=22939] ppid=22909 vsize=8414124 memory=4100 CPUtime=0 cores=0-7
/proc/22933/task/22939/stat : 22939 (java) S 22909 22909 22865 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 499778361 8616062976 30434 33554432000 4194304 4196468 140724573968256 140299541130256 140300059391701 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9879552 140724573975519 140724573975686 140724573975686 140724573978575 0
[pid=22933/tid=22940] ppid=22909 vsize=8414124 memory=1808 CPUtime=0 cores=0-7
/proc/22933/task/22940/stat : 22940 (java) S 22909 22909 22865 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 499778361 8616062976 30434 33554432000 4194304 4196468 140724573968256 140299540077712 140300059391701 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9879552 140724573975519 140724573975686 140724573975686 140724573978575 0
[pid=22933/tid=22941] ppid=22909 vsize=8414124 memory=924 CPUtime=0 cores=0-7
/proc/22933/task/22941/stat : 22941 (java) S 22909 22909 22865 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 499778361 8616062976 30434 33554432000 4194304 4196468 140724573968256 140299539024656 140300059391701 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9879552 140724573975519 140724573975686 140724573975686 140724573978575 0
[pid=22933/tid=22942] ppid=22909 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/22933/task/22942/stat : 22942 (java) S 22909 22909 22865 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 499778361 8616062976 30434 33554432000 4194304 4196468 140724573968256 140299537972112 140300059391701 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9879552 140724573975519 140724573975686 140724573975686 140724573978575 0
[pid=22933/tid=22943] ppid=22909 vsize=8414124 memory=121736 CPUtime=0 cores=0-7
/proc/22933/task/22943/stat : 22943 (java) S 22909 22909 22865 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 499778362 8616062976 30434 33554432000 4194304 4196468 140724573968256 140299152816368 140300059392642 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9879552 140724573975519 140724573975686 140724573975686 140724573978575 0
[pid=22933/tid=22944] ppid=22909 vsize=8414124 memory=310960 CPUtime=0 cores=0-7
/proc/22933/task/22944/stat : 22944 (java) S 22909 22909 22865 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 499778363 8616062976 30434 33554432000 4194304 4196468 140724573968256 140298663486624 140300059391701 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9879552 140724573975519 140724573975686 140724573975686 140724573978575 0
[pid=22933/tid=22945] ppid=22909 vsize=8414124 memory=1652 CPUtime=0 cores=0-7
/proc/22933/task/22945/stat : 22945 (java) S 22909 22909 22865 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 499778363 8616062976 30434 33554432000 4194304 4196468 140724573968256 140298395050736 140300059391701 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9879552 140724573975519 140724573975686 140724573975686 140724573978575 0
[pid=22933/tid=22946] ppid=22909 vsize=8414124 memory=1398722017469774279 CPUtime=0 cores=0-7
/proc/22933/task/22946/stat : 22946 (java) S 22909 22909 22865 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 499778365 8616062976 30434 33554432000 4194304 4196468 140724573968256 140298020542416 140300059400091 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9879552 140724573975519 140724573975686 140724573975686 140724573978575 0
[pid=22933/tid=22947] ppid=22909 vsize=8414124 memory=4872558044660077418 CPUtime=0.13 cores=0-7
/proc/22933/task/22947/stat : 22947 (java) S 22909 22909 22865 0 -1 1077944384 818 0 0 0 13 0 0 0 20 0 24 0 499778365 8616062976 30434 33554432000 4194304 4196468 140724573968256 140299151764208 140300059392642 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9879552 140724573975519 140724573975686 140724573975686 140724573978575 0
[pid=22933/tid=22948] ppid=22909 vsize=8414124 memory=0 CPUtime=0.07 cores=0-7
/proc/22933/task/22948/stat : 22948 (java) S 22909 22909 22865 0 -1 1077944384 367 0 0 0 7 0 0 0 20 0 24 0 499778365 8616062976 30434 33554432000 4194304 4196468 140724573968256 140299150711664 140300059392642 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9879552 140724573975519 140724573975686 140724573975686 140724573978575 0
[pid=22933/tid=22949] ppid=22909 vsize=8414124 memory=0 CPUtime=0.06 cores=0-7
/proc/22933/task/22949/stat : 22949 (java) S 22909 22909 22865 0 -1 1077944384 271 0 0 0 6 0 0 0 20 0 24 0 499778365 8616062976 30434 33554432000 4194304 4196468 140724573968256 140299149658608 140300059392642 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9879552 140724573975519 140724573975686 140724573975686 140724573978575 0
[pid=22933/tid=22950] ppid=22909 vsize=8414124 memory=0 CPUtime=0.22 cores=0-7
/proc/22933/task/22950/stat : 22950 (java) S 22909 22909 22865 0 -1 1077944384 576 0 0 0 22 0 0 0 20 0 24 0 499778365 8616062976 30434 33554432000 4194304 4196468 140724573968256 140299148606064 140300059392642 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9879552 140724573975519 140724573975686 140724573975686 140724573978575 0
[pid=22933/tid=22951] ppid=22909 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/22933/task/22951/stat : 22951 (java) S 22909 22909 22865 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 499778365 8616062976 30434 33554432000 4194304 4196468 140724573968256 140297522637280 140300059391701 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9879552 140724573975519 140724573975686 140724573975686 140724573978575 0
[pid=22933/tid=22952] ppid=22909 vsize=8414124 memory=0 CPUtime=0.01 cores=0-7
/proc/22933/task/22952/stat : 22952 (java) S 22909 22909 22865 0 -1 1077944384 3 0 0 0 1 0 0 0 20 0 24 0 499778366 8616062976 30434 33554432000 4194304 4196468 140724573968256 140299147553456 140300059392642 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 2 0 0 6293624 6294260 9879552 140724573975519 140724573975686 140724573975686 140724573978575 0
[pid=22933/tid=22954] ppid=22909 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/22933/task/22954/stat : 22954 (java) S 22909 22909 22865 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 499778435 8616062976 30434 33554432000 4194304 4196468 140724573968256 140299139519424 140300059406105 0 4 2 25189581 18446744071579417331 0 0 -1 4 0 0 0 0 0 6293624 6294260 9879552 140724573975519 140724573975686 140724573975686 140724573978575 0
[pid=22933/tid=22956] ppid=22909 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/22933/task/22956/stat : 22956 (java) S 22909 22909 22865 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 24 0 499778435 8616062976 30434 33554432000 4194304 4196468 140724573968256 140296851537936 140300059403421 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 9879552 140724573975519 140724573975686 140724573975686 140724573978575 0
[pid=22933/tid=22957] ppid=22909 vsize=8414124 memory=6935649255759568960 CPUtime=0 cores=0-7
/proc/22933/task/22957/stat : 22957 (java) S 22909 22909 22865 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 24 0 499778435 8616062976 30434 33554432000 4194304 4196468 140724573968256 140297119973520 140300059403421 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 9879552 140724573975519 140724573975686 140724573975686 140724573978575 0
[pid=22933/tid=22958] ppid=22909 vsize=8414124 memory=10738 CPUtime=0 cores=0-7
/proc/22933/task/22958/stat : 22958 (java) S 22909 22909 22865 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 499778438 8616062976 30434 33554432000 4194304 4196468 140724573968256 140296583110064 140300059391701 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9879552 140724573975519 140724573975686 140724573975686 140724573978575 0
Current children cumulated CPU time: 205.8 s
Current children cumulated vsize: 9277644 KiB
Current children cumulated memory: 460840 KiB

Child status: 0
Real time (s): 29.1776
CPU time (s): 205.959
CPU user time (s): 205.122
CPU system time (s): 0.83638
CPU usage (%): 705.88
Max. virtual memory (cumulated for all children) (KiB): 27443924
Max. memory (cumulated for all children) (KiB): 460840

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 205.122
system time used= 0.83638
maximum resident set size= 450644
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 283722
page faults= 0
swaps= 0
block input operations= 23568
block output operations= 4296
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 9670
involuntary context switches= 2428


# summary of solver processes directly reported to runsolver:
#   pid: 22909
#   total CPU time (s): 205.959
#   total CPU user time (s): 205.122
#   total CPU system time (s): 0.83638

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.270236 second user time and 0.441463 second system time

The end

Launcher Data 

Begin job on node119 at 2019-09-23 13:36:30
IDJOB=4405721
IDBENCH=120660
IDSOLVER=2868
FILE ID=node119/4405721-1569238630
RUNJOBID= node119-1569238589-22892
PBS_JOBID= 21704910
Free space on /var/tmp= 13512 MiB

SOLVER NAME= Fun-sCOP hybrid+ManyGlucose (2019-09-22)
BENCH NAME= XCSP17/Knights/Knights-m1-s1/Knights-080-25.xml
COMMAND LINE= DIR/scop.sh 22g DIR/scop.jar -hybrid DIR/manyglucose-4.1-27_release -model:-nthreads=NBCORE:-maxmemory=20000:-lit-scans=6000000 TMPDIR BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4405721-1569238630/watcher-4405721-1569238630 -o /var/tmp/evaluation-result-4405721-1569238630/solver-4405721-1569238630 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node119-1569238589-22892 --watchdog 2580  HOME/scop.sh 22g HOME/scop.jar -hybrid HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4405721-1569238630.xml

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

MD5SUM BENCH= 86f21c6f99b90e2b5de67b4ee346bae4
RANDOM SEED=156319875

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        25718304 kB
MemAvailable:   31802688 kB
Buffers:          112000 kB
Cached:          6071612 kB
SwapCached:        46752 kB
Active:          3061364 kB
Inactive:        3171892 kB
Active(anon):       2884 kB
Inactive(anon):   103888 kB
Active(file):    3058480 kB
Inactive(file):  3068004 kB
Unevictable:      107748 kB
Mlocked:          107748 kB
SwapTotal:      67108860 kB
SwapFree:       66953452 kB
Dirty:             20600 kB
Writeback:             0 kB
AnonPages:        112344 kB
Mapped:            55956 kB
Shmem:             48496 kB
Slab:             415100 kB
SReclaimable:     386360 kB
SUnreclaim:        28740 kB
KernelStack:        3328 kB
PageTables:         5244 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     513976 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     67584 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      126336 kB
DirectMap2M:    33419264 kB

Free space on /var/tmp at the end= 13492 MiB
End job on node119 at 2019-09-23 13:37:02