Trace number 4392779

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Fun-sCOP hybrid+ManyGlucose (2019-06-15)SAT 283.525 68.7846

General information on the benchmark

NameSuperSolutions/SuperSolutions-Taillard-js15/
SuperTaillard-js-15-16.xml
MD5SUM60f46a78fc335bdeaa2bda0ed3237a46
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark51.8952
Satisfiable
(Un)Satisfiability was proved
Number of variables450
Number of constraints5580
Number of domains93
Minimum domain size1211
Maximum domain size1309
Distribution of domain sizes[{"size":1211,"count":6},{"size":1212,"count":2},{"size":1213,"count":4},{"size":1214,"count":4},{"size":1215,"count":4},{"size":1216,"count":2},{"size":1217,"count":12},{"size":1218,"count":8},{"size":1219,"count":6},{"size":1220,"count":4},{"size":1221,"count":2},{"size":1222,"count":4},{"size":1223,"count":6},{"size":1225,"count":4},{"size":1226,"count":2},{"size":1227,"count":4},{"size":1228,"count":2},{"size":1229,"count":6},{"size":1230,"count":8},{"size":1231,"count":10},{"size":1232,"count":4},{"size":1233,"count":2},{"size":1234,"count":6},{"size":1235,"count":2},{"size":1236,"count":4},"...",{"size":1283,"count":10}, {"size":1284,"count":4}, {"size":1285,"count":4}, {"size":1286,"count":6}, {"size":1287,"count":10}, {"size":1288,"count":2}, {"size":1289,"count":2}, {"size":1290,"count":4}, {"size":1291,"count":2}, {"size":1292,"count":2}, {"size":1294,"count":8}, {"size":1295,"count":2}, {"size":1297,"count":4}, {"size":1298,"count":4}, {"size":1299,"count":4}, {"size":1300,"count":6}, {"size":1301,"count":2}, {"size":1302,"count":4}, {"size":1303,"count":4}, {"size":1304,"count":8}, {"size":1305,"count":10}, {"size":1306,"count":6}, {"size":1307,"count":4}, {"size":1308,"count":6}, {"size":1309,"count":2}]
Minimum variable degree16
Maximum variable degree33
Distribution of variable degrees[{"degree":16,"count":30},{"degree":17,"count":195},{"degree":31,"count":30},{"degree":33,"count":195}]
Minimum constraint arity2
Maximum constraint arity2
Distribution of constraint arities[{"arity":2,"count":5580}]
Number of extensional constraints0
Number of intensional constraints5580
Distribution of constraint types[{"type":"intension","count":5580}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c (scop.sh) java -Xms22g -Xmx22g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Encode -hybrid -solver HOME/manyglucose-4.1-27_release -solverOption -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 -tmp HOME -serialFile HOME/scop-16619-serial-file.bin HOME/instance-4392779-1568442045.xml
0.66/0.54	
0.66/0.54	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
0.66/0.54	
0.66/0.57	c BEGIN-Prog: Sat Sep 14 08:20:01 CEST 2019
0.66/0.57	c PID: 16622
0.66/0.57	c IP: 172.20.3.136
0.66/0.57	c HOST: node136.alineos.net
0.66/0.57	c (0,0) Parsing Begin
5.25/1.84	c (1,1) Parsing End
5.25/1.85	c (1,1) CSP: 450 int (0 aux), 0 bool (0 aux), 5580 ctr, max domain size 1309
5.25/1.85	c (1,1) Heap : 563 MiB used (max 21589 MiB), NonHeap : 22 MiB used (max 0 MiB)
5.25/1.85	c (1,1) Constraint Name Generate Begin
5.25/1.89	c (1,1) Ctr:HOME/instance-4392779-1568442045.xml,Add:Le:Ne:Num:Or:Var
5.25/1.89	c (1,1) Constraint Name Generate End
5.25/1.89	c (1,1) Heap : 563 MiB used (max 21589 MiB), NonHeap : 22 MiB used (max 0 MiB)
5.25/1.89	c (1,1) CSP to CSPinCNF Begin
6.06/2.15	c (1,1) translated 558 (10%) constraints
6.38/2.21	c (1,1) translated 1116 (20%) constraints
6.38/2.26	c (1,1) translated 1674 (30%) constraints
6.76/2.30	c (1,1) translated 2232 (40%) constraints
6.76/2.34	c (1,1) translated 2790 (50%) constraints
6.76/2.37	c (1,1) translated 3348 (60%) constraints
7.16/2.41	c (1,1) translated 3906 (70%) constraints
7.16/2.44	c (1,1) translated 4464 (80%) constraints
7.16/2.47	c (1,1) translated 5022 (90%) constraints
7.16/2.49	c (1,1) translated 5580 (100%) constraints
7.16/2.49	c (1,1) ===========================================
7.57/2.53	c (1,1) Hybrid: #OE=450, #LE=0
7.57/2.53	c (1,1) Hybrid
7.57/2.53	c (1,1) ===========================================
7.57/2.57	c (2,2) translated 558 (10%) constraints
7.57/2.59	c (2,2) translated 1116 (20%) constraints
7.99/2.61	c (2,2) translated 1674 (30%) constraints
7.99/2.62	c (2,2) translated 2232 (40%) constraints
7.99/2.64	c (2,2) translated 2790 (50%) constraints
7.99/2.66	c (2,2) translated 3348 (60%) constraints
7.99/2.67	c (2,2) translated 3906 (70%) constraints
7.99/2.68	c (2,2) translated 4464 (80%) constraints
8.18/2.83	c (2,2) translated 5022 (90%) constraints
8.18/2.83	c (2,2) translated 5580 (100%) constraints
8.18/2.84	c (2,2) CSP to CSPinCNF End
8.18/2.84	c (2,2) CSP: 450 int (0 aux), 0 bool (0 aux), 5580 ctr, max domain size 1272
8.18/2.84	c (2,2) Heap : 788 MiB used (max 21589 MiB), NonHeap : 27 MiB used (max 0 MiB)
8.18/2.84	c (2,2) CSPinCNF Propagation Begin
8.45/2.93	c (2,2) 0 values, 0 unsatisfiable literals, and 0 valid clauses are removed
8.45/2.93	c (2,2) CSPinCNF Propagation End
8.45/2.93	c (2,2) CSP: 450 int (0 aux), 0 bool (0 aux), 5580 ctr, max domain size 1272
8.45/2.93	c (2,2) Heap : 788 MiB used (max 21589 MiB), NonHeap : 27 MiB used (max 0 MiB)
8.45/2.95	c (2,2) Hybrid: #OE=450, #LE=0
8.45/2.95	c (2,2) Simplify CSPinCNF Begin
9.46/3.23	c (2,2) Simplify CSPinCNF End
9.46/3.24	c (2,2) CSP: 450 int (0 aux), 9900 bool (9900 aux), 15480 ctr, max domain size 1272
9.46/3.24	c (2,2) Heap : 901 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB)
9.46/3.24	c (2,2) Calculate Precise Domain Begin
9.46/3.24	c (2,2) 0 values are removed by re-calculation
9.46/3.24	c (2,2) Calculate Precise Domain End
9.46/3.24	c (2,2) CSP: 450 int (0 aux), 9900 bool (9900 aux), 15480 ctr, max domain size 1272
9.46/3.24	c (2,2) Heap : 901 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB)
9.46/3.24	c (2,2) CSPinCNF to SatSolver Begin
15.16/6.79	c (6,6) 1548 (10 %) CSP clauses are encoded (0 SAT variables, 1058401 SAT clauses)
18.24/9.51	c (8,8) 3096 (20 %) CSP clauses are encoded (0 SAT variables, 1714558 SAT clauses)
20.55/11.80	c (11,10) 4644 (30 %) CSP clauses are encoded (0 SAT variables, 2391184 SAT clauses)
22.89/14.50	c (13,13) 6192 (40 %) CSP clauses are encoded (0 SAT variables, 3079265 SAT clauses)
25.56/16.87	c (16,15) 7740 (50 %) CSP clauses are encoded (0 SAT variables, 3765099 SAT clauses)
28.05/19.51	c (18,17) 9288 (60 %) CSP clauses are encoded (0 SAT variables, 4461403 SAT clauses)
30.14/21.48	c (20,19) 10836 (70 %) CSP clauses are encoded (0 SAT variables, 5041294 SAT clauses)
32.37/24.10	c (23,22) 12384 (80 %) CSP clauses are encoded (0 SAT variables, 5703695 SAT clauses)
34.91/26.46	c (25,24) 13932 (90 %) CSP clauses are encoded (0 SAT variables, 6398071 SAT clauses)
37.36/29.09	c (28,26) 15480 (100 %) CSP clauses are encoded (0 SAT variables, 7395776 SAT clauses)
37.36/29.09	c (28,26) CSPinCNF to SatSolver End
37.36/29.09	c (28,26) Heap : 2840 MiB used (max 21589 MiB), NonHeap : 32 MiB used (max 0 MiB)
37.36/29.10	c (28,26) 377286 bool, 7396275 clause
37.36/29.10	c (28,26) Export Begin
37.66/29.21	c (28,26) Export to HOME/scop-16619-serial-file.bin
37.66/29.21	c (28,26) Export End
37.66/29.21	c (28,26) Export File Size: 0.07 MB
37.66/29.21	c (28,26) 1,1,2,2,2,2,28,STOP-AFTER(DIMACS)
37.66/29.21	c END-Prog: Sat Sep 14 08:20:30 CEST 2019
37.66/29.25	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-16619-serial-file.bin
37.73/29.71	c (0,0) Read Serial File Begin
37.73/29.71	c (0,0) HOME/scop-16619-serial-file.bin
37.73/29.94	c (0,0) Read Serial File End
37.73/29.96	
37.73/29.96	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
37.73/29.96	(Solving Process)
37.73/29.96	
37.73/29.98	c BEGIN-Prog: Sat Sep 14 08:20:31 CEST 2019
37.73/29.98	c PID: 16645
37.73/29.98	c IP: 172.20.3.136
37.73/29.98	c HOST: node136.alineos.net
37.73/29.98	c (0,0) SatSolver.solve Begin
37.73/29.98	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4392779-1568442045.xml-scop-16622.cnf
38.87/30.01	c (0,0) c
38.87/30.01	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)
38.87/30.01	c (0,0) c
38.87/30.01	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
38.87/30.01	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
38.87/30.01	c (0,0) c ========================================[ Problem Statistics ]===========================================
38.87/30.01	c (0,0) c |                                                                                                       |
41.78/32.87	c (3,0) c |  Number of variables:        377286                                                                   |
41.78/32.87	c (3,0) c |  Number of clauses:         7276869                                                                   |
41.78/32.87	c (3,0) c |  Parse time:                   2.62 s                                                                 |
41.78/32.87	c (3,0) c |                                                                                                       |
42.29/33.35	c (3,0) c | Too many clauses... No preprocessing                                                                  |
42.29/33.35	c (3,0) c |  Simplification time:          0.41 s                                                                 |
42.29/33.35	c (3,0) c |                                                                                                       |
42.29/33.35	c (3,0) c |  Generating clones                                                                                    |
44.10/35.15	c (5,0) c |  all clones generated. Memory =  3844.91Mb.                                                           |
44.10/35.15	c (5,0) c ========================================================================================================|
44.10/35.15	c (5,0) c
44.10/35.15	c (5,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
44.10/35.15	c (5,0) c
44.10/35.15	c (5,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
44.10/35.15	c (5,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
44.10/35.15	c (5,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
44.10/35.15	c (5,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
44.10/35.15	c (5,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
44.10/35.15	c (5,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
44.10/35.15	c (5,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
44.10/35.15	c (5,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
44.10/35.15	c (5,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
44.10/35.15	c (5,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
44.10/35.15	c (5,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
44.10/35.15	c (5,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
44.10/35.15	c (5,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
44.10/35.15	c (5,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
44.10/35.15	c (5,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
44.10/35.15	c (5,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
44.10/35.15	c (5,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
44.10/35.15	c (5,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
44.10/35.15	c (5,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
269.13/64.80	c (35,0) c
269.13/64.80	c (35,0) c |------------------------------------------------------------------------------------------------------------------------|
269.13/64.80	c (35,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
269.13/64.80	c (35,0) c |------------------------------------------------------------------------------------------------------------------------|
269.13/64.80	c (35,0) c |  0 |      7 |       9176 |       3174 |    77099 |     2172 |      321 |     1338 |       44 |      177 |  20 | 32.115 |
269.13/64.80	c (35,0) c |  1 |     13 |       7747 |       3150 |    70019 |     2138 |      212 |     1482 |       20 |      170 |  20 | 32.115 |
269.13/64.80	c (35,0) c |  2 |     21 |      11226 |       3548 |    83248 |     2537 |      339 |     1641 |       46 |      190 |  20 | 32.115 |
269.13/64.80	c (35,0) c |  3 |     10 |       6985 |       3139 |    72670 |     2136 |      195 |     1828 |       27 |      190 |  20 | 32.132 |
269.13/64.80	c (35,0) c |  4 |      9 |      11685 |       3867 |    76063 |     2868 |      351 |     1245 |       41 |      189 |  20 | 32.097 |
269.13/64.80	c (35,0) c |  5 |     11 |       8555 |       3388 |    74618 |     2378 |      279 |     1623 |       54 |      187 |  20 | 32.134 |
269.13/64.80	c (35,0) c |  6 |      6 |       8011 |       3652 |    79434 |     2652 |      161 |     1748 |       29 |      190 |  20 | 32.119 |
269.13/64.80	c (35,0) c |  7 |     16 |      13144 |       3687 |    77304 |     2675 |      352 |     1609 |       33 |      189 |  20 | 32.117 |
269.13/64.80	c (35,0) c 
269.13/64.80	c (35,0) c synthesis       27605 conflicts   350027578 propagations      124 conflicts/sec  1570264 propagations/sec
269.13/64.80	c (35,0) c real: 34.7909 s, cpu: 222.91 s, memory: 3944.65 Mb
282.24/68.29	c (38,0) c
282.24/68.29	c (38,0) c real time : 38.2874 s
282.24/68.29	c (38,0) c cpu time  : 235.199 s
282.24/68.29	c (38,0) c
282.24/68.29	c (38,0) c
282.24/68.29	c (38,0) c
282.24/68.29	c (38,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
282.24/68.29	c (38,0) c
282.24/68.29	c (38,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
282.24/68.29	c (38,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
282.24/68.29	c (38,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
282.24/68.29	c (38,0) c | Conflicts     |           29585 |       3678 |       3634 |       3733 |       3284 |       4055 |       3540 |       3827 |       3834 |
282.24/68.29	c (38,0) c | Decisions     |           85223 |      10384 |       8676 |      15301 |       7548 |      12404 |       8975 |       8335 |      13600 |
282.24/68.29	c (38,0) c | Propagations  |       374914706 |   46706319 |   46756872 |   49442838 |   45892636 |   46960578 |   46480246 |   45055955 |   47619262 |
282.24/68.29	c (38,0) c | ReduceDBs     |               8 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |
282.24/68.29	c (38,0) c | SimpDBs       |              23 |          3 |          3 |          3 |          3 |          2 |          3 |          3 |          3 |
282.24/68.29	c (38,0) c | Restarts      |              98 |          7 |         15 |         22 |         10 |          9 |         12 |          6 |         17 |
282.24/68.29	c (38,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
282.24/68.29	c (38,0) c | PropBinClauses|      1207813114 |  150553043 |  152278239 |  153958591 |  151403604 |  150067953 |  149338311 |  148208522 |  152004851 |
282.24/68.29	c (38,0) c | PropPreBlocker|      7145393447 |  888725763 |  885350443 |  888177683 |  893366121 |  909015818 |  886856129 |  899598479 |  894303011 |
282.24/68.29	c (38,0) c | PropNotBlocker|       704593736 |   87851134 |   89446548 |   90642595 |   89034246 |   86955025 |   91222869 |   83096362 |   86344957 |
282.24/68.29	c (38,0) c | LitFullScans  |      9475378655 | 1180599427 | 1180952336 | 1185822785 | 1186846282 | 1186795060 | 1180609111 | 1187088827 | 1186664827 |
282.24/68.29	c (38,0) c | LitScanFracts |          978808 |     110040 |     119425 |     136911 |     132918 |      85260 |     113529 |     141146 |     139579 |
282.24/68.29	c (38,0) c | DecisionLevel0|             230 |         19 |         35 |         42 |         19 |         25 |         30 |         13 |         47 |
282.24/68.29	c (38,0) c | Periods       |            1572 |        196 |        196 |        196 |        197 |        197 |        196 |        197 |        197 |
282.24/68.29	c (38,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
282.24/68.29	c (38,0) c | Avg_Trail     |                 |     291041 |     287393 |     293232 |     283343 |     294071 |     289373 |     301110 |     295852 |
282.24/68.29	c (38,0) c | Avg_DL        |                 |         49 |         34 |         51 |         40 |         50 |         41 |         50 |         47 |
282.24/68.29	c (38,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
282.24/68.29	c (38,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
282.24/68.29	c (38,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
282.24/68.29	c (38,0) c | Exported      |            2369 |        366 |        239 |        376 |        201 |        368 |        283 |        173 |        363 |
282.24/68.29	c (38,0) c | Imported      |           13223 |       1673 |       1597 |       1671 |       1846 |       1245 |       1722 |       1748 |       1721 |
282.24/68.29	c (38,0) c | Good          |             335 |         38 |         33 |         44 |         48 |         33 |         48 |         45 |         46 |
282.24/68.29	c (38,0) c | Purge         |           12888 |       1635 |       1564 |       1627 |       1798 |       1212 |       1674 |       1703 |       1675 |
282.24/68.29	c (38,0) c | Promoted      |             341 |         55 |         28 |         49 |         33 |         44 |         58 |         35 |         39 |
282.24/68.29	c (38,0) c | Remove_Imp    |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
282.24/68.29	c (38,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
282.24/68.29	c (38,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
282.24/68.29	c (38,0) c | Unaries       |                 |         12 |         20 |         20 |          9 |         16 |         18 |          7 |         30 |
282.24/68.29	c (38,0) c | Binaries      |                 |         17 |          8 |          9 |          5 |          6 |          5 |          3 |         14 |
282.24/68.29	c (38,0) c | Glues         |                 |        366 |        239 |        376 |        201 |        368 |        283 |        173 |        363 |
282.24/68.29	c (38,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
282.24/68.29	c (38,0) c | Orig_Seen     |             1 % |      85214 |      82666 |      85395 |      75571 |      78822 |      78294 |      82243 |      79689 |
282.24/68.29	c (38,0) c | Diff Orig seen|                 | -      181 | -     2729 |      X     | -     9824 | -     6573 | -     7101 | -     3152 | -     5706 |
282.24/68.29	c (38,0) c | Hamming       |            13 % |      57415 |      55770 |      X     |      50981 |      60878 |      39476 |      45084 |      52892 |
282.24/68.29	c (38,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
282.24/68.29	c (38,0) c | RunningTime   |                 |   32.2 100%|   33.1 100%|   28.3  92%|   29.6  96%|   30.7 100%|   29.3  95%|   27.8  90%|   30.1  98%|
282.24/68.29	c (38,0) c | WaitingTime   |                 |    0.0   0%|    0.0   0%|    2.4   8%|    1.1   4%|    0.1   0%|    1.5   5%|    2.9  10%|    0.6   2%|
282.24/68.29	c (38,0) c | ExchangingTime|                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
282.24/68.29	c (38,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%|
282.24/68.29	c (38,0) c | SolvingTime   |                 |   32.2     |   33.1     |   30.7     |   30.8     |   30.8     |   30.9     |   30.8     |   30.8     |
282.24/68.29	c (38,0) c | PropagationTim|                 |   30.0  93%|   30.6  92%|   28.2  92%|   28.4  92%|   28.4  92%|   28.2  91%|   28.3  92%|   28.5  93%|
282.24/68.29	c (38,0) c | AnalysisTime  |                 |    0.5   1%|    0.5   1%|    0.4   1%|    0.4   1%|    0.5   2%|    0.4   1%|    0.5   2%|    0.4   1%|
282.24/68.29	c (38,0) c | ReductionTime |                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
282.24/68.29	c (38,0) c | SimplifyTime  |                 |    1.1   4%|    1.4   4%|    1.4   5%|    1.3   4%|    1.2   4%|    1.6   5%|    1.3   4%|    1.2   4%|
282.24/68.29	c (38,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%|
282.24/68.29	c (38,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%|
282.24/68.29	c (38,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
282.24/68.29	c (38,0) c
282.24/68.29	c (38,0) c
282.24/68.29	c (38,0) c Threads : 8
282.24/68.29	c (38,0) c Winner : 2
282.24/68.29	c (38,0) c Conflicts_0 : 3678
282.24/68.29	c (38,0) c Conflicts_1 : 3634
282.24/68.29	c (38,0) c Conflicts_2 : 3733
282.24/68.29	c (38,0) c Conflicts_3 : 3284
282.24/68.29	c (38,0) c Conflicts_4 : 4055
282.24/68.29	c (38,0) c Conflicts_5 : 3540
282.24/68.29	c (38,0) c Conflicts_6 : 3827
282.24/68.29	c (38,0) c Conflicts_7 : 3834
282.24/68.29	c (38,0) c Conflicts_total : 29585
282.24/68.29	c (38,0) c Conflicts_winner : 3733
282.24/68.30	c (38,0) c Decisions_0 : 10384
282.24/68.30	c (38,0) c Decisions_1 : 8676
282.24/68.30	c (38,0) c Decisions_2 : 15301
282.24/68.30	c (38,0) c Decisions_3 : 7548
282.24/68.30	c (38,0) c Decisions_4 : 12404
282.24/68.30	c (38,0) c Decisions_5 : 8975
282.24/68.30	c (38,0) c Decisions_6 : 8335
282.24/68.30	c (38,0) c Decisions_7 : 13600
282.24/68.30	c (38,0) c Decisions_total : 85223
282.24/68.30	c (38,0) c Decisions_winner : 15301
282.24/68.30	c (38,0) c Propagations_0 : 46706319
282.24/68.30	c (38,0) c Propagations_1 : 46756872
282.24/68.30	c (38,0) c Propagations_2 : 49442838
282.24/68.30	c (38,0) c Propagations_3 : 45892636
282.24/68.30	c (38,0) c Propagations_4 : 46960578
282.24/68.30	c (38,0) c Propagations_5 : 46480246
282.24/68.30	c (38,0) c Propagations_6 : 45055955
282.24/68.30	c (38,0) c Propagations_7 : 47619262
282.24/68.30	c (38,0) c Propagations_total : 374914706
282.24/68.30	c (38,0) c Propagations_winner : 49442838
282.24/68.30	c (38,0) c ReduceDBs_0 : 1
282.24/68.30	c (38,0) c ReduceDBs_1 : 1
282.24/68.30	c (38,0) c ReduceDBs_2 : 1
282.24/68.30	c (38,0) c ReduceDBs_3 : 1
282.24/68.30	c (38,0) c ReduceDBs_4 : 1
282.24/68.30	c (38,0) c ReduceDBs_5 : 1
282.24/68.30	c (38,0) c ReduceDBs_6 : 1
282.24/68.30	c (38,0) c ReduceDBs_7 : 1
282.24/68.30	c (38,0) c ReduceDBs_total : 8
282.24/68.30	c (38,0) c ReduceDBs_winner : 1
282.24/68.30	c (38,0) c SimpDBs_0 : 3
282.24/68.30	c (38,0) c SimpDBs_1 : 3
282.24/68.30	c (38,0) c SimpDBs_2 : 3
282.24/68.30	c (38,0) c SimpDBs_3 : 3
282.24/68.30	c (38,0) c SimpDBs_4 : 2
282.24/68.30	c (38,0) c SimpDBs_5 : 3
282.24/68.30	c (38,0) c SimpDBs_6 : 3
282.24/68.30	c (38,0) c SimpDBs_7 : 3
282.24/68.30	c (38,0) c SimpDBs_total : 23
282.24/68.30	c (38,0) c SimpDBs_winner : 3
282.24/68.30	c (38,0) c Restarts_0 : 7
282.24/68.30	c (38,0) c Restarts_1 : 15
282.24/68.30	c (38,0) c Restarts_2 : 22
282.24/68.30	c (38,0) c Restarts_3 : 10
282.24/68.30	c (38,0) c Restarts_4 : 9
282.24/68.30	c (38,0) c Restarts_5 : 12
282.24/68.30	c (38,0) c Restarts_6 : 6
282.24/68.30	c (38,0) c Restarts_7 : 17
282.24/68.30	c (38,0) c Restarts_total : 98
282.24/68.30	c (38,0) c Restarts_winner : 22
282.24/68.30	c (38,0) c ForcedImports_0 : 0
282.24/68.30	c (38,0) c ForcedImports_1 : 0
282.24/68.30	c (38,0) c ForcedImports_2 : 0
282.24/68.30	c (38,0) c ForcedImports_3 : 0
282.24/68.30	c (38,0) c ForcedImports_4 : 0
282.24/68.30	c (38,0) c ForcedImports_5 : 0
282.35/68.30	c (38,0) c ForcedImports_6 : 0
282.35/68.30	c (38,0) c ForcedImports_7 : 0
282.35/68.30	c (38,0) c ForcedImports_total : 0
282.35/68.30	c (38,0) c ForcedImports_winner : 0
282.35/68.30	c (38,0) c PropsBinClauses_0 : 150553043
282.35/68.30	c (38,0) c PropsBinClauses_1 : 152278239
282.35/68.30	c (38,0) c PropsBinClauses_2 : 153958591
282.35/68.30	c (38,0) c PropsBinClauses_3 : 151403604
282.35/68.30	c (38,0) c PropsBinClauses_4 : 150067953
282.35/68.30	c (38,0) c PropsBinClauses_5 : 149338311
282.35/68.30	c (38,0) c PropsBinClauses_6 : 148208522
282.35/68.30	c (38,0) c PropsBinClauses_7 : 152004851
282.35/68.30	c (38,0) c PropsBinClauses_total : 1207813114
282.35/68.30	c (38,0) c PropsBinClauses_winner : 153958591
282.35/68.30	c (38,0) c PropsPreBlocker_0 : 888725763
282.35/68.30	c (38,0) c PropsPreBlocker_1 : 885350443
282.35/68.30	c (38,0) c PropsPreBlocker_2 : 888177683
282.35/68.30	c (38,0) c PropsPreBlocker_3 : 893366121
282.35/68.30	c (38,0) c PropsPreBlocker_4 : 909015818
282.35/68.30	c (38,0) c PropsPreBlocker_5 : 886856129
282.35/68.30	c (38,0) c PropsPreBlocker_6 : 899598479
282.35/68.30	c (38,0) c PropsPreBlocker_7 : 894303011
282.35/68.30	c (38,0) c PropsPreBlocker_total : 7145393447
282.35/68.30	c (38,0) c PropsPreBlocker_winner : 888177683
282.35/68.30	c (38,0) c PropsNotBlocker_0 : 87851134
282.35/68.30	c (38,0) c PropsNotBlocker_1 : 89446548
282.35/68.30	c (38,0) c PropsNotBlocker_2 : 90642595
282.35/68.30	c (38,0) c PropsNotBlocker_3 : 89034246
282.35/68.30	c (38,0) c PropsNotBlocker_4 : 86955025
282.35/68.30	c (38,0) c PropsNotBlocker_5 : 91222869
282.35/68.30	c (38,0) c PropsNotBlocker_6 : 83096362
282.35/68.30	c (38,0) c PropsNotBlocker_7 : 86344957
282.35/68.30	c (38,0) c PropsNotBlocker_total : 704593736
282.35/68.30	c (38,0) c PropsNotBlocker_winner : 90642595
282.35/68.30	c (38,0) c PropsLitFullScans_0 : 1180599427
282.35/68.30	c (38,0) c PropsLitFullScans_1 : 1180952336
282.35/68.30	c (38,0) c PropsLitFullScans_2 : 1185822785
282.35/68.30	c (38,0) c PropsLitFullScans_3 : 1186846282
282.35/68.30	c (38,0) c PropsLitFullScans_4 : 1186795060
282.35/68.30	c (38,0) c PropsLitFullScans_5 : 1180609111
282.35/68.30	c (38,0) c PropsLitFullScans_6 : 1187088827
282.35/68.30	c (38,0) c PropsLitFullScans_7 : 1186664827
282.35/68.30	c (38,0) c PropsLitFullScans_total : 9475378655
282.35/68.30	c (38,0) c PropsLitFullScans_winner : 1185822785
282.35/68.30	c (38,0) c LitScanFractions_0 : 110040
282.35/68.30	c (38,0) c LitScanFractions_1 : 119425
282.35/68.30	c (38,0) c LitScanFractions_2 : 136911
282.35/68.30	c (38,0) c LitScanFractions_3 : 132918
282.35/68.30	c (38,0) c LitScanFractions_4 : 85260
282.35/68.30	c (38,0) c LitScanFractions_5 : 113529
282.35/68.30	c (38,0) c LitScanFractions_6 : 141146
282.35/68.30	c (38,0) c LitScanFractions_7 : 139579
282.35/68.30	c (38,0) c LitScanFractions_total : 978808
282.35/68.30	c (38,0) c LitScanFractions_winner : 136911
282.35/68.30	c (38,0) c DecisionLevel0_0 : 19
282.35/68.30	c (38,0) c DecisionLevel0_1 : 35
282.35/68.30	c (38,0) c DecisionLevel0_2 : 42
282.35/68.30	c (38,0) c DecisionLevel0_3 : 19
282.35/68.30	c (38,0) c DecisionLevel0_4 : 25
282.35/68.30	c (38,0) c DecisionLevel0_5 : 30
282.35/68.30	c (38,0) c DecisionLevel0_6 : 13
282.35/68.30	c (38,0) c DecisionLevel0_7 : 47
282.35/68.30	c (38,0) c DecisionLevel0_total : 230
282.35/68.30	c (38,0) c DecisionLevel0_winner : 42
282.35/68.30	c (38,0) c Periods_0 : 196
282.35/68.30	c (38,0) c Periods_1 : 196
282.35/68.30	c (38,0) c Periods_2 : 196
282.35/68.30	c (38,0) c Periods_3 : 197
282.35/68.30	c (38,0) c Periods_4 : 197
282.35/68.30	c (38,0) c Periods_5 : 196
282.35/68.30	c (38,0) c Periods_6 : 197
282.35/68.30	c (38,0) c Periods_7 : 197
282.35/68.30	c (38,0) c Periods_total : 1572
282.35/68.30	c (38,0) c Periods_winner : 196
282.35/68.30	c (38,0) c Margin_0 : 20
282.35/68.30	c (38,0) c Margin_1 : 20
282.35/68.30	c (38,0) c Margin_2 : 20
282.35/68.30	c (38,0) c Margin_3 : 20
282.35/68.30	c (38,0) c Margin_4 : 20
282.35/68.30	c (38,0) c Margin_5 : 20
282.35/68.30	c (38,0) c Margin_6 : 20
282.35/68.30	c (38,0) c Margin_7 : 20
282.35/68.30	c (38,0) c Margin_total : 160
282.35/68.30	c (38,0) c Margin_winner : 20
282.35/68.30	c (38,0) c Exported_0 : 366
282.35/68.30	c (38,0) c Exported_1 : 239
282.35/68.30	c (38,0) c Exported_2 : 376
282.35/68.30	c (38,0) c Exported_3 : 201
282.35/68.30	c (38,0) c Exported_4 : 368
282.35/68.30	c (38,0) c Exported_5 : 283
282.35/68.30	c (38,0) c Exported_6 : 173
282.35/68.30	c (38,0) c Exported_7 : 363
282.35/68.30	c (38,0) c Exported_total : 2369
282.35/68.30	c (38,0) c Exported_winner : 376
282.35/68.30	c (38,0) c Imported_0 : 1673
282.35/68.30	c (38,0) c Imported_1 : 1597
282.35/68.30	c (38,0) c Imported_2 : 1671
282.35/68.30	c (38,0) c Imported_3 : 1846
282.35/68.30	c (38,0) c Imported_4 : 1245
282.35/68.30	c (38,0) c Imported_5 : 1722
282.35/68.30	c (38,0) c Imported_6 : 1748
282.35/68.30	c (38,0) c Imported_7 : 1721
282.35/68.30	c (38,0) c Imported_total : 13223
282.35/68.30	c (38,0) c Imported_winner : 1671
282.35/68.30	c (38,0) c Good_0 : 38
282.35/68.30	c (38,0) c Good_1 : 33
282.35/68.30	c (38,0) c Good_2 : 44
282.35/68.30	c (38,0) c Good_3 : 48
282.35/68.30	c (38,0) c Good_4 : 33
282.35/68.30	c (38,0) c Good_5 : 48
282.35/68.30	c (38,0) c Good_6 : 45
282.35/68.30	c (38,0) c Good_7 : 46
282.35/68.30	c (38,0) c Good_total : 335
282.35/68.30	c (38,0) c Good_winner : 44
282.35/68.30	c (38,0) c Purge_0 : 1635
282.35/68.30	c (38,0) c Purge_1 : 1564
282.35/68.30	c (38,0) c Purge_2 : 1627
282.35/68.30	c (38,0) c Purge_3 : 1798
282.35/68.30	c (38,0) c Purge_4 : 1212
282.35/68.30	c (38,0) c Purge_5 : 1674
282.35/68.30	c (38,0) c Purge_6 : 1703
282.35/68.30	c (38,0) c Purge_7 : 1675
282.35/68.30	c (38,0) c Purge_total : 12888
282.35/68.30	c (38,0) c Purge_winner : 1627
282.35/68.30	c (38,0) c Promoted_0 : 55
282.35/68.30	c (38,0) c Promoted_1 : 28
282.35/68.30	c (38,0) c Promoted_2 : 49
282.35/68.30	c (38,0) c Promoted_3 : 33
282.35/68.30	c (38,0) c Promoted_4 : 44
282.35/68.30	c (38,0) c Promoted_5 : 58
282.35/68.30	c (38,0) c Promoted_6 : 35
282.35/68.30	c (38,0) c Promoted_7 : 39
282.35/68.30	c (38,0) c Promoted_total : 341
282.35/68.30	c (38,0) c Promoted_winner : 49
282.35/68.30	c (38,0) c Remove_Imp_0 : 0
282.35/68.30	c (38,0) c Remove_Imp_1 : 0
282.35/68.30	c (38,0) c Remove_Imp_2 : 0
282.35/68.30	c (38,0) c Remove_Imp_3 : 0
282.35/68.30	c (38,0) c Remove_Imp_4 : 0
282.35/68.30	c (38,0) c Remove_Imp_5 : 0
282.35/68.30	c (38,0) c Remove_Imp_6 : 0
282.35/68.30	c (38,0) c Remove_Imp_7 : 0
282.35/68.30	c (38,0) c Remove_Imp_total : 0
282.35/68.30	c (38,0) c Remove_Imp_winner : 0
282.35/68.30	c (38,0) c Blocked_Reuse_0 : 0
282.35/68.30	c (38,0) c Blocked_Reuse_1 : 0
282.35/68.30	c (38,0) c Blocked_Reuse_2 : 0
282.35/68.30	c (38,0) c Blocked_Reuse_3 : 0
282.35/68.30	c (38,0) c Blocked_Reuse_4 : 0
282.35/68.30	c (38,0) c Blocked_Reuse_5 : 0
282.35/68.30	c (38,0) c Blocked_Reuse_6 : 0
282.35/68.30	c (38,0) c Blocked_Reuse_7 : 0
282.35/68.30	c (38,0) c Blocked_Reuse_total : 0
282.35/68.30	c (38,0) c Blocked_Reuse_winner : 0
282.35/68.30	c (38,0) c Unaries_0 : 12
282.35/68.30	c (38,0) c Unaries_1 : 20
282.35/68.30	c (38,0) c Unaries_2 : 20
282.35/68.30	c (38,0) c Unaries_3 : 9
282.35/68.30	c (38,0) c Unaries_4 : 16
282.35/68.30	c (38,0) c Unaries_5 : 18
282.35/68.30	c (38,0) c Unaries_6 : 7
282.35/68.30	c (38,0) c Unaries_7 : 30
282.35/68.30	c (38,0) c Unaries_total : 132
282.35/68.30	c (38,0) c Unaries_winner : 20
282.35/68.30	c (38,0) c Binaries_0 : 17
282.35/68.30	c (38,0) c Binaries_1 : 8
282.35/68.30	c (38,0) c Binaries_2 : 9
282.35/68.30	c (38,0) c Binaries_3 : 5
282.35/68.30	c (38,0) c Binaries_4 : 6
282.35/68.30	c (38,0) c Binaries_5 : 5
282.35/68.30	c (38,0) c Binaries_6 : 3
282.35/68.30	c (38,0) c Binaries_7 : 14
282.35/68.30	c (38,0) c Binaries_total : 67
282.35/68.30	c (38,0) c Binaries_winner : 9
282.35/68.30	c (38,0) c Glues_0 : 366
282.35/68.30	c (38,0) c Glues_1 : 239
282.35/68.30	c (38,0) c Glues_2 : 376
282.35/68.30	c (38,0) c Glues_3 : 201
282.35/68.30	c (38,0) c Glues_4 : 368
282.35/68.30	c (38,0) c Glues_5 : 283
282.35/68.30	c (38,0) c Glues_6 : 173
282.35/68.30	c (38,0) c Glues_7 : 363
282.35/68.30	c (38,0) c Glues_total : 2369
282.35/68.30	c (38,0) c Glues_winner : 376
282.35/68.30	c (38,0) c RunningTime_0 : 32.201200
282.35/68.30	c (38,0) c RunningTime_1 : 33.108367
282.35/68.30	c (38,0) c RunningTime_2 : 28.309948
282.35/68.30	c (38,0) c RunningTime_3 : 29.629190
282.35/68.30	c (38,0) c RunningTime_4 : 30.665165
282.35/68.30	c (38,0) c RunningTime_5 : 29.348867
282.35/68.30	c (38,0) c RunningTime_6 : 27.815671
282.35/68.30	c (38,0) c RunningTime_7 : 30.120574
282.35/68.30	c (38,0) c RunningTime_total : 241.198982
282.35/68.30	c (38,0) c RunningTime_winner : 28.309948
282.35/68.30	c (38,0) c WaitingTime_0 : 0.000364
282.35/68.30	c (38,0) c WaitingTime_1 : 0.000367
282.35/68.30	c (38,0) c WaitingTime_2 : 2.390119
282.35/68.30	c (38,0) c WaitingTime_3 : 1.124006
282.35/68.30	c (38,0) c WaitingTime_4 : 0.088906
282.35/68.30	c (38,0) c WaitingTime_5 : 1.515472
282.35/68.30	c (38,0) c WaitingTime_6 : 2.940033
282.35/68.30	c (38,0) c WaitingTime_7 : 0.626321
282.35/68.30	c (38,0) c WaitingTime_total : 8.685587
282.35/68.30	c (38,0) c WaitingTime_winner : 2.390119
282.35/68.30	c (38,0) c ExchangingTime_0 : 0.005067
282.35/68.30	c (38,0) c ExchangingTime_1 : 0.004783
282.35/68.30	c (38,0) c ExchangingTime_2 : 0.004498
282.35/68.30	c (38,0) c ExchangingTime_3 : 0.004289
282.35/68.30	c (38,0) c ExchangingTime_4 : 0.004755
282.35/68.30	c (38,0) c ExchangingTime_5 : 0.004315
282.35/68.30	c (38,0) c ExchangingTime_6 : 0.006064
282.35/68.30	c (38,0) c ExchangingTime_7 : 0.004923
282.35/68.30	c (38,0) c ExchangingTime_total : 0.038692
282.35/68.30	c (38,0) c ExchangingTime_winner : 0.004498
282.35/68.30	c (38,0) c PeriodProcTime_0 : 0.003557
282.35/68.30	c (38,0) c PeriodProcTime_1 : 0.008370
282.35/68.30	c (38,0) c PeriodProcTime_2 : 0.002787
282.35/68.30	c (38,0) c PeriodProcTime_3 : 0.002685
282.35/68.30	c (38,0) c PeriodProcTime_4 : 0.002769
282.35/68.30	c (38,0) c PeriodProcTime_5 : 0.002202
282.35/68.30	c (38,0) c PeriodProcTime_6 : 0.002101
282.35/68.30	c (38,0) c PeriodProcTime_7 : 0.002605
282.35/68.30	c (38,0) c PeriodProcTime_total : 0.027076
282.35/68.30	c (38,0) c PeriodProcTime_winner : 0.002787
282.35/68.30	c (38,0) c SolvingTime_0 : 32.210188
282.35/68.30	c (38,0) c SolvingTime_1 : 33.121887
282.35/68.30	c (38,0) c SolvingTime_2 : 30.707352
282.35/68.30	c (38,0) c SolvingTime_3 : 30.760171
282.35/68.31	c (38,0) c SolvingTime_4 : 30.761595
282.35/68.31	c (38,0) c SolvingTime_5 : 30.870856
282.35/68.31	c (38,0) c SolvingTime_6 : 30.763869
282.35/68.31	c (38,0) c SolvingTime_7 : 30.754422
282.35/68.31	c (38,0) c SolvingTime_total : 249.950338
282.35/68.31	c (38,0) c SolvingTime_winner : 30.707352
282.35/68.31	c (38,0) c PropagationTime_0 : 29.957117
282.35/68.31	c (38,0) c PropagationTime_1 : 30.569438
282.35/68.31	c (38,0) c PropagationTime_2 : 28.240181
282.35/68.31	c (38,0) c PropagationTime_3 : 28.408493
282.35/68.31	c (38,0) c PropagationTime_4 : 28.449739
282.35/68.31	c (38,0) c PropagationTime_5 : 28.246782
282.35/68.31	c (38,0) c PropagationTime_6 : 28.348157
282.35/68.31	c (38,0) c PropagationTime_7 : 28.466351
282.35/68.31	c (38,0) c PropagationTime_total : 230.686256
282.35/68.31	c (38,0) c PropagationTime_winner : 28.240181
282.35/68.31	c (38,0) c AnalysisTime_0 : 0.462775
282.35/68.31	c (38,0) c AnalysisTime_1 : 0.473827
282.35/68.31	c (38,0) c AnalysisTime_2 : 0.380266
282.35/68.31	c (38,0) c AnalysisTime_3 : 0.432963
282.35/68.31	c (38,0) c AnalysisTime_4 : 0.465206
282.35/68.31	c (38,0) c AnalysisTime_5 : 0.441130
282.35/68.31	c (38,0) c AnalysisTime_6 : 0.513195
282.35/68.31	c (38,0) c AnalysisTime_7 : 0.423869
282.35/68.31	c (38,0) c AnalysisTime_total : 3.593230
282.35/68.31	c (38,0) c AnalysisTime_winner : 0.380266
282.35/68.31	c (38,0) c ReductionTime_0 : 0.002111
282.35/68.31	c (38,0) c ReductionTime_1 : 0.000545
282.35/68.31	c (38,0) c ReductionTime_2 : 0.000631
282.35/68.31	c (38,0) c ReductionTime_3 : 0.000528
282.35/68.31	c (38,0) c ReductionTime_4 : 0.000568
282.35/68.31	c (38,0) c ReductionTime_5 : 0.001501
282.35/68.31	c (38,0) c ReductionTime_6 : 0.000588
282.35/68.31	c (38,0) c ReductionTime_7 : 0.000641
282.35/68.31	c (38,0) c ReductionTime_total : 0.007113
282.35/68.31	c (38,0) c ReductionTime_winner : 0.000631
282.35/68.31	c (38,0) c SimplifyTime_0 : 1.130392
282.35/68.31	c (38,0) c SimplifyTime_1 : 1.425519
282.35/68.31	c (38,0) c SimplifyTime_2 : 1.443837
282.35/68.31	c (38,0) c SimplifyTime_3 : 1.302548
282.35/68.31	c (38,0) c SimplifyTime_4 : 1.172685
282.35/68.31	c (38,0) c SimplifyTime_5 : 1.566996
282.35/68.31	c (38,0) c SimplifyTime_6 : 1.306916
282.35/68.31	c (38,0) c SimplifyTime_7 : 1.194459
282.35/68.31	c (38,0) c SimplifyTime_total : 10.543353
282.35/68.31	c (38,0) c SimplifyTime_winner : 1.443837
282.35/68.31	c (38,0) c UsedRateTime_0 : 0.000000
282.35/68.31	c (38,0) c UsedRateTime_1 : 0.000000
282.35/68.31	c (38,0) c UsedRateTime_2 : 0.000000
282.35/68.31	c (38,0) c UsedRateTime_3 : 0.000000
282.35/68.31	c (38,0) c UsedRateTime_4 : 0.000000
282.35/68.31	c (38,0) c UsedRateTime_5 : 0.000000
282.35/68.31	c (38,0) c UsedRateTime_6 : 0.000000
282.35/68.31	c (38,0) c UsedRateTime_7 : 0.000000
282.35/68.31	c (38,0) c UsedRateTime_total : 0.000000
282.35/68.31	c (38,0) c UsedRateTime_winner : 0.000000
282.35/68.31	c (38,0) c OverlapRateTime_0 : 0.000000
282.35/68.31	c (38,0) c OverlapRateTime_1 : 0.000000
282.35/68.31	c (38,0) c OverlapRateTime_2 : 0.000000
282.35/68.31	c (38,0) c OverlapRateTime_3 : 0.000000
282.35/68.31	c (38,0) c OverlapRateTime_4 : 0.000000
282.35/68.31	c (38,0) c OverlapRateTime_5 : 0.000000
282.35/68.31	c (38,0) c OverlapRateTime_6 : 0.000000
282.35/68.31	c (38,0) c OverlapRateTime_7 : 0.000000
282.35/68.31	c (38,0) c OverlapRateTime_total : 0.000000
282.35/68.31	c (38,0) c OverlapRateTime_winner : 0.000000
282.35/68.31	c (38,0) c
282.35/68.31	c (38,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
282.35/68.31	c (38,0) c
282.35/68.31	c (38,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
282.35/68.31	c (38,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
282.35/68.31	c (38,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
282.35/68.31	c (38,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
282.35/68.31	c (38,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
282.35/68.31	c (38,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
282.35/68.31	c (38,0) c | Initial random_seed   | 1400603413 | 1446632599 | 1059033440 |  412652526 | 1968600369 | 1804409781 | 1954570108 | 1648350206 |
282.35/68.31	c (38,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
282.35/68.31	c (38,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
282.35/68.31	c (38,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
282.35/68.31	c (38,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
282.35/68.31	c (38,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
282.35/68.31	c (38,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
282.35/68.31	c (38,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
282.35/68.31	c (38,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
282.35/68.31	c (38,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
282.35/68.31	c (38,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
282.35/68.31	c (38,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
282.35/68.31	c (38,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
282.35/68.31	c (38,0) 
282.35/68.31	c (38,0) s SATISFIABLE
39.40/68.58	c (38,0) SatSolver.solve End
39.40/68.58	c (38,0) Heap : 185 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
39.40/68.58	c (38,0) Show results Begin
283.35/68.72	c (39,0) x0 = 92
283.35/68.72	c (39,0) x1 = 91
283.35/68.72	c (39,0) x10 = 460
283.35/68.72	c (39,0) x100 = 577
283.35/68.72	c (39,0) x101 = 578
283.35/68.72	c (39,0) x102 = 594
283.35/68.72	c (39,0) x103 = 593
283.35/68.72	c (39,0) x104 = 662
283.35/68.72	c (39,0) x105 = 663
283.35/68.72	c (39,0) x106 = 746
283.35/68.72	c (39,0) x107 = 745
283.35/68.72	c (39,0) x108 = 830
283.35/68.72	c (39,0) x109 = 829
283.35/68.72	c (39,0) x11 = 461
283.35/68.72	c (39,0) x110 = 836
283.35/68.72	c (39,0) x111 = 835
283.35/68.72	c (39,0) x112 = 848
283.35/68.72	c (39,0) x113 = 847
283.35/68.72	c (39,0) x114 = 935
283.35/68.72	c (39,0) x115 = 934
283.35/68.72	c (39,0) x116 = 949
283.35/68.72	c (39,0) x117 = 948
283.35/68.72	c (39,0) x118 = 1267
283.35/68.72	c (39,0) x119 = 1266
283.35/68.72	c (39,0) x12 = 495
283.35/68.72	c (39,0) x120 = 1
283.35/68.72	c (39,0) x121 = 0
283.35/68.72	c (39,0) x122 = 134
283.35/68.72	c (39,0) x123 = 133
283.35/68.72	c (39,0) x124 = 232
283.35/68.72	c (39,0) x125 = 231
283.35/68.72	c (39,0) x126 = 279
283.35/68.72	c (39,0) x127 = 278
283.35/68.72	c (39,0) x128 = 320
283.35/68.72	c (39,0) x129 = 321
283.35/68.72	c (39,0) x13 = 494
283.35/68.72	c (39,0) x130 = 414
283.35/68.72	c (39,0) x131 = 413
283.35/68.72	c (39,0) x132 = 692
283.35/68.72	c (39,0) x133 = 691
283.35/68.72	c (39,0) x134 = 811
283.35/68.72	c (39,0) x135 = 812
283.35/68.72	c (39,0) x136 = 822
283.35/68.72	c (39,0) x137 = 821
283.35/68.72	c (39,0) x138 = 866
283.35/68.72	c (39,0) x139 = 865
283.35/68.72	c (39,0) x14 = 667
283.35/68.72	c (39,0) x140 = 931
283.35/68.72	c (39,0) x141 = 932
283.35/68.72	c (39,0) x142 = 963
283.35/68.72	c (39,0) x143 = 962
283.35/68.72	c (39,0) x144 = 1020
283.35/68.72	c (39,0) x145 = 1021
283.35/68.73	c (39,0) x146 = 1140
283.35/68.73	c (39,0) x147 = 1139
283.35/68.73	c (39,0) x148 = 1228
283.35/68.73	c (39,0) x149 = 1227
283.35/68.73	c (39,0) x15 = 668
283.35/68.73	c (39,0) x150 = 10
283.35/68.73	c (39,0) x151 = 11
283.35/68.73	c (39,0) x152 = 88
283.35/68.73	c (39,0) x153 = 89
283.35/68.73	c (39,0) x154 = 246
283.35/68.73	c (39,0) x155 = 247
283.35/68.73	c (39,0) x156 = 339
283.35/68.73	c (39,0) x157 = 340
283.35/68.73	c (39,0) x158 = 500
283.35/68.73	c (39,0) x159 = 499
283.35/68.73	c (39,0) x16 = 739
283.35/68.73	c (39,0) x160 = 567
283.35/68.74	c (39,0) x161 = 566
283.35/68.74	c (39,0) x162 = 802
283.35/68.74	c (39,0) x163 = 803
283.35/68.74	c (39,0) x164 = 870
283.35/68.74	c (39,0) x165 = 871
283.35/68.74	c (39,0) x166 = 959
283.35/68.74	c (39,0) x167 = 958
283.35/68.74	c (39,0) x168 = 1052
283.35/68.74	c (39,0) x169 = 1051
283.35/68.74	c (39,0) x17 = 740
283.35/68.74	c (39,0) x170 = 1080
283.35/68.74	c (39,0) x171 = 1079
283.35/68.74	c (39,0) x172 = 1095
283.35/68.74	c (39,0) x173 = 1094
283.35/68.74	c (39,0) x174 = 1102
283.35/68.74	c (39,0) x175 = 1103
283.35/68.74	c (39,0) x176 = 1229
283.35/68.74	c (39,0) x177 = 1230
283.35/68.74	c (39,0) x178 = 1296
283.35/68.74	c (39,0) x179 = 1295
283.35/68.74	c (39,0) x18 = 758
283.35/68.74	c (39,0) x180 = 164
283.35/68.74	c (39,0) x181 = 165
283.35/68.74	c (39,0) x182 = 419
283.35/68.74	c (39,0) x183 = 420
283.35/68.74	c (39,0) x184 = 453
283.35/68.74	c (39,0) x185 = 454
283.35/68.74	c (39,0) x186 = 609
283.35/68.74	c (39,0) x187 = 608
283.35/68.74	c (39,0) x188 = 685
283.35/68.74	c (39,0) x189 = 686
283.35/68.74	c (39,0) x19 = 759
283.35/68.74	c (39,0) x190 = 779
283.35/68.74	c (39,0) x191 = 778
283.35/68.74	c (39,0) x192 = 849
283.35/68.74	c (39,0) x193 = 848
283.35/68.74	c (39,0) x194 = 947
283.35/68.74	c (39,0) x195 = 946
283.35/68.74	c (39,0) x196 = 1075
283.35/68.74	c (39,0) x197 = 1076
283.35/68.74	c (39,0) x198 = 1088
283.35/68.74	c (39,0) x199 = 1087
283.35/68.74	c (39,0) x2 = 188
283.35/68.74	c (39,0) x20 = 825
283.35/68.74	c (39,0) x200 = 1094
283.35/68.74	c (39,0) x201 = 1093
283.35/68.74	c (39,0) x202 = 1180
283.35/68.74	c (39,0) x203 = 1179
283.35/68.74	c (39,0) x204 = 1222
283.35/68.74	c (39,0) x205 = 1223
283.35/68.74	c (39,0) x206 = 1227
283.35/68.74	c (39,0) x207 = 1226
283.35/68.74	c (39,0) x208 = 1235
283.35/68.74	c (39,0) x209 = 1234
283.35/68.74	c (39,0) x21 = 824
283.35/68.74	c (39,0) x210 = 85
283.35/68.74	c (39,0) x211 = 84
283.35/68.74	c (39,0) x212 = 244
283.35/68.74	c (39,0) x213 = 245
283.35/68.74	c (39,0) x214 = 275
283.35/68.74	c (39,0) x215 = 276
283.35/68.74	c (39,0) x216 = 449
283.35/68.74	c (39,0) x217 = 448
283.35/68.74	c (39,0) x218 = 533
283.35/68.74	c (39,0) x219 = 532
283.35/68.74	c (39,0) x22 = 868
283.35/68.74	c (39,0) x220 = 579
283.35/68.74	c (39,0) x221 = 580
283.35/68.74	c (39,0) x222 = 626
283.35/68.74	c (39,0) x223 = 625
283.35/68.74	c (39,0) x224 = 770
283.35/68.74	c (39,0) x225 = 771
283.35/68.74	c (39,0) x226 = 813
283.35/68.74	c (39,0) x227 = 812
283.35/68.74	c (39,0) x228 = 819
283.35/68.74	c (39,0) x229 = 818
283.35/68.74	c (39,0) x23 = 869
283.35/68.74	c (39,0) x230 = 863
283.35/68.74	c (39,0) x231 = 864
283.35/68.74	c (39,0) x232 = 947
283.35/68.74	c (39,0) x233 = 946
283.35/68.74	c (39,0) x234 = 1041
283.35/68.74	c (39,0) x235 = 1042
283.35/68.74	c (39,0) x236 = 1102
283.35/68.74	c (39,0) x237 = 1101
283.35/68.74	c (39,0) x238 = 1263
283.35/68.74	c (39,0) x239 = 1262
283.35/68.74	c (39,0) x24 = 874
283.35/68.74	c (39,0) x240 = 10
283.35/68.74	c (39,0) x241 = 11
283.35/68.74	c (39,0) x242 = 30
283.35/68.74	c (39,0) x243 = 29
283.35/68.74	c (39,0) x244 = 86
283.35/68.74	c (39,0) x245 = 85
283.35/68.74	c (39,0) x246 = 315
283.35/68.74	c (39,0) x247 = 316
283.35/68.74	c (39,0) x248 = 390
283.35/68.74	c (39,0) x249 = 391
283.35/68.74	c (39,0) x25 = 873
283.35/68.74	c (39,0) x250 = 457
283.35/68.74	c (39,0) x251 = 456
283.35/68.74	c (39,0) x252 = 494
283.35/68.74	c (39,0) x253 = 495
283.35/68.74	c (39,0) x254 = 604
283.35/68.74	c (39,0) x255 = 603
283.35/68.74	c (39,0) x256 = 697
283.35/68.74	c (39,0) x257 = 698
283.35/68.74	c (39,0) x258 = 738
283.35/68.74	c (39,0) x259 = 737
283.35/68.74	c (39,0) x26 = 890
283.35/68.74	c (39,0) x260 = 847
283.35/68.74	c (39,0) x261 = 848
283.35/68.74	c (39,0) x262 = 919
283.35/68.74	c (39,0) x263 = 918
283.35/68.74	c (39,0) x264 = 1019
283.35/68.74	c (39,0) x265 = 1018
283.35/68.74	c (39,0) x266 = 1172
283.35/68.74	c (39,0) x267 = 1173
283.35/68.74	c (39,0) x268 = 1303
283.35/68.74	c (39,0) x269 = 1302
283.35/68.74	c (39,0) x27 = 891
283.35/68.74	c (39,0) x270 = 1
283.35/68.74	c (39,0) x271 = 0
283.35/68.74	c (39,0) x272 = 119
283.35/68.74	c (39,0) x273 = 120
283.35/68.74	c (39,0) x274 = 189
283.35/68.74	c (39,0) x275 = 188
283.35/68.74	c (39,0) x276 = 392
283.35/68.74	c (39,0) x277 = 393
283.35/68.74	c (39,0) x278 = 493
283.35/68.74	c (39,0) x279 = 494
283.35/68.74	c (39,0) x28 = 1016
283.35/68.74	c (39,0) x280 = 500
283.35/68.74	c (39,0) x281 = 499
283.35/68.74	c (39,0) x282 = 537
283.35/68.74	c (39,0) x283 = 538
283.35/68.74	c (39,0) x284 = 602
283.35/68.74	c (39,0) x285 = 601
283.35/68.74	c (39,0) x286 = 738
283.35/68.74	c (39,0) x287 = 768
283.35/68.74	c (39,0) x288 = 982
283.35/68.74	c (39,0) x289 = 981
283.35/68.74	c (39,0) x29 = 1017
283.35/68.74	c (39,0) x290 = 1102
283.35/68.74	c (39,0) x291 = 1103
283.35/68.74	c (39,0) x292 = 1181
283.35/68.74	c (39,0) x293 = 1180
283.35/68.74	c (39,0) x294 = 1218
283.35/68.74	c (39,0) x295 = 1219
283.35/68.74	c (39,0) x296 = 1220
283.35/68.74	c (39,0) x297 = 1221
283.35/68.74	c (39,0) x298 = 1237
283.35/68.74	c (39,0) x299 = 1238
283.35/68.74	c (39,0) x3 = 189
283.35/68.74	c (39,0) x30 = 56
283.35/68.74	c (39,0) x300 = 0
283.35/68.74	c (39,0) x301 = 1
283.35/68.74	c (39,0) x302 = 31
283.35/68.74	c (39,0) x303 = 32
283.35/68.74	c (39,0) x304 = 85
283.35/68.74	c (39,0) x305 = 84
283.35/68.74	c (39,0) x306 = 92
283.35/68.74	c (39,0) x307 = 91
283.35/68.74	c (39,0) x308 = 102
283.35/68.74	c (39,0) x309 = 103
283.35/68.74	c (39,0) x31 = 55
283.35/68.74	c (39,0) x310 = 154
283.35/68.74	c (39,0) x311 = 155
283.35/68.74	c (39,0) x312 = 244
283.35/68.74	c (39,0) x313 = 243
283.35/68.74	c (39,0) x314 = 282
283.35/68.74	c (39,0) x315 = 283
283.35/68.74	c (39,0) x316 = 343
283.35/68.74	c (39,0) x317 = 342
283.35/68.74	c (39,0) x318 = 378
283.35/68.74	c (39,0) x319 = 379
283.35/68.74	c (39,0) x32 = 88
283.35/68.74	c (39,0) x320 = 427
283.35/68.74	c (39,0) x321 = 426
283.35/68.74	c (39,0) x322 = 550
283.35/68.74	c (39,0) x323 = 551
283.35/68.74	c (39,0) x324 = 877
283.35/68.74	c (39,0) x325 = 876
283.35/68.74	c (39,0) x326 = 929
283.35/68.74	c (39,0) x327 = 930
283.35/68.74	c (39,0) x328 = 1041
283.35/68.74	c (39,0) x329 = 1043
283.35/68.74	c (39,0) x33 = 89
283.35/68.74	c (39,0) x330 = 0
283.35/68.74	c (39,0) x331 = 1
283.35/68.74	c (39,0) x332 = 31
283.35/68.74	c (39,0) x333 = 30
283.35/68.74	c (39,0) x334 = 154
283.35/68.74	c (39,0) x335 = 153
283.35/68.74	c (39,0) x336 = 230
283.35/68.74	c (39,0) x337 = 231
283.35/68.74	c (39,0) x338 = 287
283.35/68.74	c (39,0) x339 = 286
283.35/68.74	c (39,0) x34 = 211
283.35/68.74	c (39,0) x340 = 360
283.35/68.74	c (39,0) x341 = 359
283.35/68.74	c (39,0) x342 = 471
283.35/68.74	c (39,0) x343 = 472
283.35/68.74	c (39,0) x344 = 526
283.35/68.74	c (39,0) x345 = 527
283.35/68.74	c (39,0) x346 = 581
283.35/68.74	c (39,0) x347 = 582
283.35/68.74	c (39,0) x348 = 648
283.35/68.74	c (39,0) x349 = 647
283.35/68.74	c (39,0) x35 = 210
283.35/68.74	c (39,0) x350 = 699
283.35/68.74	c (39,0) x351 = 698
283.35/68.74	c (39,0) x352 = 790
283.35/68.74	c (39,0) x353 = 791
283.35/68.74	c (39,0) x354 = 947
283.35/68.74	c (39,0) x355 = 946
283.35/68.74	c (39,0) x356 = 1027
283.35/68.74	c (39,0) x357 = 1028
283.35/68.74	c (39,0) x358 = 1142
283.35/68.74	c (39,0) x359 = 1143
283.35/68.74	c (39,0) x36 = 321
283.35/68.74	c (39,0) x360 = 230
283.35/68.74	c (39,0) x361 = 231
283.35/68.74	c (39,0) x362 = 269
283.35/68.74	c (39,0) x363 = 268
283.35/68.74	c (39,0) x364 = 301
283.35/68.74	c (39,0) x365 = 302
283.35/68.74	c (39,0) x366 = 342
283.35/68.74	c (39,0) x367 = 343
283.35/68.74	c (39,0) x368 = 368
283.35/68.74	c (39,0) x369 = 369
283.35/68.74	c (39,0) x37 = 322
283.35/68.74	c (39,0) x370 = 409
283.35/68.74	c (39,0) x371 = 410
283.35/68.74	c (39,0) x372 = 495
283.35/68.74	c (39,0) x373 = 496
283.35/68.74	c (39,0) x374 = 535
283.35/68.74	c (39,0) x375 = 536
283.35/68.74	c (39,0) x376 = 597
283.35/68.74	c (39,0) x377 = 598
283.35/68.74	c (39,0) x378 = 613
283.35/68.74	c (39,0) x379 = 612
283.35/68.74	c (39,0) x38 = 403
283.35/68.74	c (39,0) x380 = 662
283.35/68.74	c (39,0) x381 = 667
283.35/68.74	c (39,0) x382 = 939
283.35/68.74	c (39,0) x383 = 755
283.35/68.74	c (39,0) x384 = 1004
283.35/68.74	c (39,0) x385 = 1003
283.35/68.74	c (39,0) x386 = 1021
283.35/68.74	c (39,0) x387 = 1020
283.35/68.74	c (39,0) x388 = 1211
283.35/68.74	c (39,0) x389 = 1212
283.35/68.74	c (39,0) x39 = 402
283.35/68.74	c (39,0) x390 = 0
283.35/68.74	c (39,0) x391 = 1
283.35/68.74	c (39,0) x392 = 10
283.35/68.74	c (39,0) x393 = 9
283.35/68.74	c (39,0) x394 = 47
283.35/68.74	c (39,0) x395 = 48
283.35/68.74	c (39,0) x396 = 64
283.35/68.74	c (39,0) x397 = 63
283.35/68.74	c (39,0) x398 = 119
283.35/68.74	c (39,0) x399 = 120
283.35/68.74	c (39,0) x4 = 307
283.35/68.74	c (39,0) x40 = 459
283.35/68.74	c (39,0) x400 = 230
283.35/68.74	c (39,0) x401 = 231
283.35/68.74	c (39,0) x402 = 307
283.35/68.74	c (39,0) x403 = 306
283.35/68.74	c (39,0) x404 = 387
283.35/68.74	c (39,0) x405 = 386
283.35/68.74	c (39,0) x406 = 456
283.35/68.74	c (39,0) x407 = 457
283.35/68.74	c (39,0) x408 = 530
283.35/68.74	c (39,0) x409 = 529
283.35/68.74	c (39,0) x41 = 458
283.35/68.74	c (39,0) x410 = 630
283.35/68.74	c (39,0) x411 = 629
283.35/68.74	c (39,0) x412 = 654
283.35/68.74	c (39,0) x413 = 655
283.35/68.74	c (39,0) x414 = 686
283.35/68.74	c (39,0) x415 = 687
283.35/68.74	c (39,0) x416 = 779
283.35/68.74	c (39,0) x417 = 778
283.35/68.74	c (39,0) x418 = 926
283.35/68.74	c (39,0) x419 = 1286
283.35/68.74	c (39,0) x42 = 538
283.35/68.74	c (39,0) x420 = 22
283.35/68.74	c (39,0) x421 = 21
283.35/68.74	c (39,0) x422 = 103
283.35/68.74	c (39,0) x423 = 102
283.35/68.74	c (39,0) x424 = 179
283.35/68.74	c (39,0) x425 = 178
283.35/68.74	c (39,0) x426 = 256
283.35/68.74	c (39,0) x427 = 255
283.35/68.74	c (39,0) x428 = 314
283.35/68.74	c (39,0) x429 = 315
283.35/68.74	c (39,0) x43 = 537
283.35/68.74	c (39,0) x430 = 427
283.35/68.74	c (39,0) x431 = 426
283.35/68.74	c (39,0) x432 = 504
283.35/68.74	c (39,0) x433 = 505
283.35/68.74	c (39,0) x434 = 553
283.35/68.74	c (39,0) x435 = 552
283.35/68.74	c (39,0) x436 = 585
283.35/68.74	c (39,0) x437 = 584
283.35/68.74	c (39,0) x438 = 654
283.35/68.74	c (39,0) x439 = 653
283.35/68.74	c (39,0) x44 = 604
283.35/68.74	c (39,0) x440 = 801
283.35/68.74	c (39,0) x441 = 802
283.35/68.74	c (39,0) x442 = 903
283.35/68.74	c (39,0) x443 = 902
283.35/68.74	c (39,0) x444 = 927
283.35/68.74	c (39,0) x445 = 928
283.35/68.74	c (39,0) x446 = 1203
283.35/68.74	c (39,0) x447 = 1204
283.35/68.74	c (39,0) x448 = 1259
283.35/68.74	c (39,0) x449 = 1258
283.35/68.74	c (39,0) x45 = 605
283.35/68.74	c (39,0) x46 = 678
283.35/68.74	c (39,0) x47 = 677
283.35/68.74	c (39,0) x48 = 701
283.35/68.74	c (39,0) x49 = 702
283.35/68.74	c (39,0) x5 = 306
283.35/68.74	c (39,0) x50 = 755
283.35/68.74	c (39,0) x51 = 754
283.35/68.74	c (39,0) x52 = 877
283.35/68.74	c (39,0) x53 = 876
283.35/68.74	c (39,0) x54 = 919
283.35/68.74	c (39,0) x55 = 920
283.35/68.74	c (39,0) x56 = 925
283.35/68.74	c (39,0) x57 = 926
283.35/68.74	c (39,0) x58 = 1020
283.35/68.74	c (39,0) x59 = 1021
283.35/68.74	c (39,0) x6 = 393
283.35/68.74	c (39,0) x60 = 0
283.35/68.74	c (39,0) x61 = 1
283.35/68.74	c (39,0) x62 = 180
283.35/68.74	c (39,0) x63 = 179
283.35/68.74	c (39,0) x64 = 273
283.35/68.74	c (39,0) x65 = 274
283.35/68.74	c (39,0) x66 = 337
283.35/68.74	c (39,0) x67 = 336
283.35/68.74	c (39,0) x68 = 416
283.35/68.74	c (39,0) x69 = 417
283.35/68.74	c (39,0) x7 = 394
283.35/68.74	c (39,0) x70 = 427
283.35/68.74	c (39,0) x71 = 426
283.35/68.74	c (39,0) x72 = 502
283.35/68.74	c (39,0) x73 = 501
283.35/68.74	c (39,0) x74 = 598
283.35/68.74	c (39,0) x75 = 599
283.35/68.74	c (39,0) x76 = 761
283.35/68.74	c (39,0) x77 = 760
283.35/68.74	c (39,0) x78 = 785
283.35/68.74	c (39,0) x79 = 786
283.35/68.74	c (39,0) x8 = 420
283.35/68.74	c (39,0) x80 = 812
283.35/68.74	c (39,0) x81 = 813
283.35/68.74	c (39,0) x82 = 821
283.35/68.74	c (39,0) x83 = 820
283.35/68.74	c (39,0) x84 = 1025
283.35/68.74	c (39,0) x85 = 1026
283.35/68.74	c (39,0) x86 = 1073
283.35/68.74	c (39,0) x87 = 1074
283.35/68.74	c (39,0) x88 = 1183
283.35/68.74	c (39,0) x89 = 1184
283.35/68.74	c (39,0) x9 = 421
283.35/68.74	c (39,0) x90 = 0
283.35/68.74	c (39,0) x91 = 1
283.35/68.74	c (39,0) x92 = 170
283.35/68.74	c (39,0) x93 = 169
283.35/68.74	c (39,0) x94 = 322
283.35/68.74	c (39,0) x95 = 321
283.35/68.74	c (39,0) x96 = 479
283.35/68.74	c (39,0) x97 = 478
283.35/68.74	c (39,0) x98 = 523
283.35/68.74	c (39,0) x99 = 522
283.35/68.74	s SATISFIABLE
283.35/68.75	v <instantiation>
283.35/68.75	v     <list>x0 x1 x2 x3 x4 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 x15 x16 x17 x18 x19 x20 x21 x22 x23 x24 x25 x26 x27 x28 x29 x30 x31 x32 x33 x34 x35 x36 x37 x38 x39 x40 x41 x42 x43 x44 x45 x46 x47 x48 x49 x50 x51 x52 x53 x54 x55 x56 x57 x58 x59 x60 x61 x62 x63 x64 x65 x66 x67 x68 x69 x70 x71 x72 x73 x74 x75 x76 x77 x78 x79 x80 x81 x82 x83 x84 x85 x86 x87 x88 x89 x90 x91 x92 x93 x94 x95 x96 x97 x98 x99 x100 x101 x102 x103 x104 x105 x106 x107 x108 x109 x110 x111 x112 x113 x114 x115 x116 x117 x118 x119 x120 x121 x122 x123 x124 x125 x126 x127 x128 x129 x130 x131 x132 x133 x134 x135 x136 x137 x138 x139 x140 x141 x142 x143 x144 x145 x146 x147 x148 x149 x150 x151 x152 x153 x154 x155 x156 x157 x158 x159 x160 x161 x162 x163 x164 x165 x166 x167 x168 x169 x170 x171 x172 x173 x174 x175 x176 x177 x178 x179 x180 x181 x182 x183 x184 x185 x186 x187 x188 x189 x190 x191 x192 x193 x194 x195 x196 x197 x198 x199 x200 x201 x202 x203 x204 x205 x206 x207 x208 x209 x210 x211 x212 x213 x214 x215 x216 x217 x218 x219 x220 x221 x222 x223 x224 x225 x226 x227 x228 x229 x230 x231 x232 x233 x234 x235 x236 x237 x238 x239 x240 x241 x242 x243 x244 x245 x246 x247 x248 x249 x250 x251 x252 x253 x254 x255 x256 x257 x258 x259 x260 x261 x262 x263 x264 x265 x266 x267 x268 x269 x270 x271 x272 x273 x274 x275 x276 x277 x278 x279 x280 x281 x282 x283 x284 x285 x286 x287 x288 x289 x290 x291 x292 x293 x294 x295 x296 x297 x298 x299 x300 x301 x302 x303 x304 x305 x306 x307 x308 x309 x310 x311 x312 x313 x314 x315 x316 x317 x318 x319 x320 x321 x322 x323 x324 x325 x326 x327 x328 x329 x330 x331 x332 x333 x334 x335 x336 x337 x338 x339 x340 x341 x342 x343 x344 x345 x346 x347 x348 x349 x350 x351 x352 x353 x354 x355 x356 x357 x358 x359 x360 x361 x362 x363 x364 x365 x366 x367 x368 x369 x370 x371 x372 x373 x374 x375 x376 x377 x378 x379 x380 x381 x382 x383 x384 x385 x386 x387 x388 x389 x390 x391 x392 x393 x394 x395 x396 x397 x398 x399 x400 x401 x402 x403 x404 x405 x406 x407 x408 x409 x410 x411 x412 x413 x414 x415 x416 x417 x418 x419 x420 x421 x422 x423 x424 x425 x426 x427 x428 x429 x430 x431 x432 x433 x434 x435 x436 x437 x438 x439 x440 x441 x442 x443 x444 x445 x446 x447 x448 x449</list>
283.35/68.75	v     <values>92 91 188 189 307 306 393 394 420 421 460 461 495 494 667 668 739 740 758 759 825 824 868 869 874 873 890 891 1016 1017 56 55 88 89 211 210 321 322 403 402 459 458 538 537 604 605 678 677 701 702 755 754 877 876 919 920 925 926 1020 1021 0 1 180 179 273 274 337 336 416 417 427 426 502 501 598 599 761 760 785 786 812 813 821 820 1025 1026 1073 1074 1183 1184 0 1 170 169 322 321 479 478 523 522 577 578 594 593 662 663 746 745 830 829 836 835 848 847 935 934 949 948 1267 1266 1 0 134 133 232 231 279 278 320 321 414 413 692 691 811 812 822 821 866 865 931 932 963 962 1020 1021 1140 1139 1228 1227 10 11 88 89 246 247 339 340 500 499 567 566 802 803 870 871 959 958 1052 1051 1080 1079 1095 1094 1102 1103 1229 1230 1296 1295 164 165 419 420 453 454 609 608 685 686 779 778 849 848 947 946 1075 1076 1088 1087 1094 1093 1180 1179 1222 1223 1227 1226 1235 1234 85 84 244 245 275 276 449 448 533 532 579 580 626 625 770 771 813 812 819 818 863 864 947 946 1041 1042 1102 1101 1263 1262 10 11 30 29 86 85 315 316 390 391 457 456 494 495 604 603 697 698 738 737 847 848 919 918 1019 1018 1172 1173 1303 1302 1 0 119 120 189 188 392 393 493 494 500 499 537 538 602 601 738 768 982 981 1102 1103 1181 1180 1218 1219 1220 1221 1237 1238 0 1 31 32 85 84 92 91 102 103 154 155 244 243 282 283 343 342 378 379 427 426 550 551 877 876 929 930 1041 1043 0 1 31 30 154 153 230 231 287 286 360 359 471 472 526 527 581 582 648 647 699 698 790 791 947 946 1027 1028 1142 1143 230 231 269 268 301 302 342 343 368 369 409 410 495 496 535 536 597 598 613 612 662 667 939 755 1004 1003 1021 1020 1211 1212 0 1 10 9 47 48 64 63 119 120 230 231 307 306 387 386 456 457 530 529 630 629 654 655 686 687 779 778 926 1286 22 21 103 102 179 178 256 255 314 315 427 426 504 505 553 552 585 584 654 653 801 802 903 902 927 928 1203 1204 1259 1258</values>
283.35/68.75	v </instantiation>
283.35/68.75	c (39,0) Show results End
283.35/68.75	c (39,0) Heap : 226 MiB used (max 3925 MiB), NonHeap : 18 MiB used (max 0 MiB)
283.35/68.75	c (39,0) 38,39,STOP-AFTER(ALL)
283.35/68.75	c END-Prog: Sat Sep 14 08:21:09 CEST 2019

Verifier Data 

OK

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 (9590 MiB free)
  memory of node 1: 16384 MiB (15637 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4392779-1568442045/watcher-4392779-1568442045 -o /tmp/evaluation-result-4392779-1568442045/solver-4392779-1568442045 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node136-1568439334-14507 --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-4392779-1568442045.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
solver pid=16619, runsolver pid=16616
Starting watchdog thread
Current StackSize limit: 8192 KiB


[startup+0.10015 s]*
/proc/loadavg: 2.82 6.35 7.62 2/213 16641
/proc/meminfo: memFree=25741332/32770624 swapFree=67002168/67108860
[pid=16619] ppid=16616 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/16619/stat : 16619 (scop.sh) S 16616 16619 14480 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 420453135 115843072 349 33554432000 4194304 5098028 140734920549680 140734920546936 139963171517052 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 38551552 140734920553252 140734920553580 140734920553580 140734920556493 0
/proc/16619/statm: 28282 349 296 221 0 87 0
[pid=16622] ppid=16619 vsize=27314120 memory=105320 CPUtime=0.1 cores=0-7
/proc/16622/stat : 16622 (java) S 16619 16619 14480 0 -1 1077944320 6411 0 0 0 8 2 0 0 20 0 20 0 420453135 27969658880 26330 33554432000 4194304 4196468 140727217129520 140727217112064 140671873208055 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 15437824 140727217132266 140727217132694 140727217132694 140727217135567 0
/proc/16622/statm: 6828530 26330 2796 1 0 6790935 0
[pid=16622/tid=16623] ppid=16619 vsize=27314120 memory=4134930498285298233 CPUtime=0.08 cores=0-7
/proc/16622/task/16623/stat : 16623 (java) R 16619 16619 14480 0 -1 4202560 4494 0 0 0 7 1 0 0 20 0 20 0 420453135 27969658880 26330 33554432000 4194304 4196468 140727217129520 140671845042624 140671873229981 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15437824 140727217132266 140727217132694 140727217132694 140727217135567 0
[pid=16622/tid=16624] ppid=16619 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16622/task/16624/stat : 16624 (java) S 16619 16619 14480 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420453138 27969658880 26330 33554432000 4194304 4196468 140727217129520 140671877450128 140671873218261 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15437824 140727217132266 140727217132694 140727217132694 140727217135567 0
[pid=16622/tid=16625] ppid=16619 vsize=27314120 memory=139737482786432 CPUtime=0 cores=0-7
/proc/16622/task/16625/stat : 16625 (java) S 16619 16619 14480 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420453138 27969658880 26330 33554432000 4194304 4196468 140727217129520 140671660845328 140671873218261 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15437824 140727217132266 140727217132694 140727217132694 140727217135567 0
[pid=16622/tid=16626] ppid=16619 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16622/task/16626/stat : 16626 (java) S 16619 16619 14480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420453138 27969658880 26330 33554432000 4194304 4196468 140727217129520 140671659793040 140671873218261 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15437824 140727217132266 140727217132694 140727217132694 140727217135567 0
[pid=16622/tid=16627] ppid=16619 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16622/task/16627/stat : 16627 (java) S 16619 16619 14480 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420453138 27969658880 26330 33554432000 4194304 4196468 140727217129520 140671658740240 140671873218261 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15437824 140727217132266 140727217132694 140727217132694 140727217135567 0
[pid=16622/tid=16628] ppid=16619 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16622/task/16628/stat : 16628 (java) S 16619 16619 14480 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420453138 27969658880 26330 33554432000 4194304 4196468 140727217129520 140671657687952 140671873218261 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15437824 140727217132266 140727217132694 140727217132694 140727217135567 0
[pid=16622/tid=16629] ppid=16619 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/16622/task/16629/stat : 16629 (java) S 16619 16619 14480 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420453138 27969658880 26330 33554432000 4194304 4196468 140727217129520 140671656635152 140671873218261 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15437824 140727217132266 140727217132694 140727217132694 140727217135567 0
[pid=16622/tid=16630] ppid=16619 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16622/task/16630/stat : 16630 (java) S 16619 16619 14480 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420453138 27969658880 26330 33554432000 4194304 4196468 140727217129520 140671289646224 140671873218261 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15437824 140727217132266 140727217132694 140727217132694 140727217135567 0
[pid=16622/tid=16631] ppid=16619 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16622/task/16631/stat : 16631 (java) S 16619 16619 14480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420453138 27969658880 26330 33554432000 4194304 4196468 140727217129520 140671288593424 140671873218261 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15437824 140727217132266 140727217132694 140727217132694 140727217135567 0
[pid=16622/tid=16632] ppid=16619 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16622/task/16632/stat : 16632 (java) S 16619 16619 14480 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420453139 27969658880 26330 33554432000 4194304 4196468 140727217129520 140670394140784 140671873219202 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15437824 140727217132266 140727217132694 140727217132694 140727217135567 0
[pid=16622/tid=16633] ppid=16619 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16622/task/16633/stat : 16633 (java) S 16619 16619 14480 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 420453140 27969658880 26330 33554432000 4194304 4196468 140727217129520 140669507068704 140671873218261 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15437824 140727217132266 140727217132694 140727217132694 140727217135567 0
[pid=16622/tid=16634] ppid=16619 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16622/task/16634/stat : 16634 (java) S 16619 16619 14480 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 420453140 27969658880 26330 33554432000 4194304 4196468 140727217129520 140669372847216 140671873218261 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15437824 140727217132266 140727217132694 140727217132694 140727217135567 0
[pid=16622/tid=16635] ppid=16619 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16622/task/16635/stat : 16635 (java) S 16619 16619 14480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420453142 27969658880 26330 33554432000 4194304 4196468 140727217129520 140668998342736 140671873226651 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15437824 140727217132266 140727217132694 140727217132694 140727217135567 0
[pid=16622/tid=16636] ppid=16619 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16622/task/16636/stat : 16636 (java) R 16619 16619 14480 0 -1 1077944384 306 0 0 0 0 0 0 0 20 0 20 0 420453142 27969658880 26330 33554432000 4194304 4196468 140727217129520 140670393088624 140671873219202 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15437824 140727217132266 140727217132694 140727217132694 140727217135567 0
[pid=16622/tid=16637] ppid=16619 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16622/task/16637/stat : 16637 (java) S 16619 16619 14480 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420453142 27969658880 26330 33554432000 4194304 4196468 140727217129520 140670392035824 140671873219202 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15437824 140727217132266 140727217132694 140727217132694 140727217135567 0
[pid=16622/tid=16638] ppid=16619 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16622/task/16638/stat : 16638 (java) S 16619 16619 14480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420453143 27969658880 26330 33554432000 4194304 4196468 140727217129520 140670390983536 140671873219202 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15437824 140727217132266 140727217132694 140727217132694 140727217135567 0
[pid=16622/tid=16639] ppid=16619 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16622/task/16639/stat : 16639 (java) R 16619 16619 14480 0 -1 4202560 248 0 0 0 0 0 0 0 20 0 20 0 420453143 27969658880 26330 33554432000 4194304 4196468 140727217129520 140670389930736 140671873229402 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15437824 140727217132266 140727217132694 140727217132694 140727217135567 0
[pid=16622/tid=16640] ppid=16619 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16622/task/16640/stat : 16640 (java) S 16619 16619 14480 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420453143 27969658880 26330 33554432000 4194304 4196468 140727217129520 140668500437344 140671873218261 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15437824 140727217132266 140727217132694 140727217132694 140727217135567 0
[pid=16622/tid=16641] ppid=16619 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/16622/task/16641/stat : 16641 (java) S 16619 16619 14480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420453143 27969658880 26330 33554432000 4194304 4196468 140727217129520 140670388877616 140671873219202 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15437824 140727217132266 140727217132694 140727217132694 140727217135567 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 106716 KiB

[startup+0.210567 s]*
/proc/loadavg: 2.82 6.35 7.62 3/213 16641
/proc/meminfo: memFree=25717428/32770624 swapFree=67002168/67108860
[pid=16619] ppid=16616 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/16619/stat : 16619 (scop.sh) S 16616 16619 14480 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 420453135 115843072 349 33554432000 4194304 5098028 140734920549680 140734920546936 139963171517052 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 38551552 140734920553252 140734920553580 140734920553580 140734920556493 0
/proc/16619/statm: 28282 349 296 221 0 87 0
[pid=16622] ppid=16619 vsize=27314120 memory=124424 CPUtime=0.25 cores=0-7
/proc/16622/stat : 16622 (java) S 16619 16619 14480 0 -1 1077944320 12035 0 0 0 21 4 0 0 20 0 20 0 420453135 27969658880 31106 33554432000 4194304 4196468 140727217129520 140727217112064 140671873208055 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 15437824 140727217132266 140727217132694 140727217132694 140727217135567 0
/proc/16622/statm: 6828530 31106 2921 1 0 6790935 0
[pid=16622/tid=16623] ppid=16619 vsize=27314120 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/16622/task/16623/stat : 16623 (java) R 16619 16619 14480 0 -1 4202560 9737 0 0 0 17 3 0 0 20 0 20 0 420453135 27969658880 31106 33554432000 4194304 4196468 140727217129520 140671845007440 140671853483887 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15437824 140727217132266 140727217132694 140727217132694 140727217135567 0
[pid=16622/tid=16624] ppid=16619 vsize=27314120 memory=330 CPUtime=0 cores=0-7
/proc/16622/task/16624/stat : 16624 (java) S 16619 16619 14480 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420453138 27969658880 31106 33554432000 4194304 4196468 140727217129520 140671877450128 140671873218261 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15437824 140727217132266 140727217132694 140727217132694 140727217135567 0
[pid=16622/tid=16625] ppid=16619 vsize=27314120 memory=139737485888521 CPUtime=0 cores=0-7
/proc/16622/task/16625/stat : 16625 (java) S 16619 16619 14480 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420453138 27969658880 31106 33554432000 4194304 4196468 140727217129520 140671660845328 140671873218261 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15437824 140727217132266 140727217132694 140727217132694 140727217135567 0
[pid=16622/tid=16626] ppid=16619 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/16622/task/16626/stat : 16626 (java) S 16619 16619 14480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420453138 27969658880 31106 33554432000 4194304 4196468 140727217129520 140671659793040 140671873218261 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15437824 140727217132266 140727217132694 140727217132694 140727217135567 0
[pid=16622/tid=16627] ppid=16619 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16622/task/16627/stat : 16627 (java) S 16619 16619 14480 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420453138 27969658880 31106 33554432000 4194304 4196468 140727217129520 140671658740240 140671873218261 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15437824 140727217132266 140727217132694 140727217132694 140727217135567 0
[pid=16622/tid=16628] ppid=16619 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16622/task/16628/stat : 16628 (java) S 16619 16619 14480 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420453138 27969658880 31106 33554432000 4194304 4196468 140727217129520 140671657687952 140671873218261 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15437824 140727217132266 140727217132694 140727217132694 140727217135567 0
[pid=16622/tid=16629] ppid=16619 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/16622/task/16629/stat : 16629 (java) S 16619 16619 14480 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420453138 27969658880 31106 33554432000 4194304 4196468 140727217129520 140671656635152 140671873218261 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15437824 140727217132266 140727217132694 140727217132694 140727217135567 0
[pid=16622/tid=16630] ppid=16619 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16622/task/16630/stat : 16630 (java) S 16619 16619 14480 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420453138 27969658880 31106 33554432000 4194304 4196468 140727217129520 140671289646224 140671873218261 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15437824 140727217132266 140727217132694 140727217132694 140727217135567 0
[pid=16622/tid=16631] ppid=16619 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16622/task/16631/stat : 16631 (java) S 16619 16619 14480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420453138 27969658880 31106 33554432000 4194304 4196468 140727217129520 140671288593424 140671873218261 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15437824 140727217132266 140727217132694 140727217132694 140727217135567 0
[pid=16622/tid=16632] ppid=16619 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16622/task/16632/stat : 16632 (java) S 16619 16619 14480 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420453139 27969658880 31106 33554432000 4194304 4196468 140727217129520 140670394140784 140671873219202 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15437824 140727217132266 140727217132694 140727217132694 140727217135567 0
[pid=16622/tid=16633] ppid=16619 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16622/task/16633/stat : 16633 (java) S 16619 16619 14480 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 420453140 27969658880 31106 33554432000 4194304 4196468 140727217129520 140669507068704 140671873218261 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15437824 140727217132266 140727217132694 140727217132694 140727217135567 0
[pid=16622/tid=16634] ppid=16619 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16622/task/16634/stat : 16634 (java) S 16619 16619 14480 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 420453140 27969658880 31106 33554432000 4194304 4196468 140727217129520 140669372847216 140671873218261 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15437824 140727217132266 140727217132694 140727217132694 140727217135567 0
[pid=16622/tid=16635] ppid=16619 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16622/task/16635/stat : 16635 (java) S 16619 16619 14480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420453142 27969658880 31106 33554432000 4194304 4196468 140727217129520 140668998342736 140671873226651 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15437824 140727217132266 140727217132694 140727217132694 140727217135567 0
[pid=16622/tid=16636] ppid=16619 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16622/task/16636/stat : 16636 (java) S 16619 16619 14480 0 -1 1077944384 446 0 0 0 0 0 0 0 20 0 20 0 420453142 27969658880 31106 33554432000 4194304 4196468 140727217129520 140670393088624 140671873219202 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15437824 140727217132266 140727217132694 140727217132694 140727217135567 0
[pid=16622/tid=16637] ppid=16619 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16622/task/16637/stat : 16637 (java) S 16619 16619 14480 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420453142 27969658880 31106 33554432000 4194304 4196468 140727217129520 140670392035824 140671873219202 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15437824 140727217132266 140727217132694 140727217132694 140727217135567 0
[pid=16622/tid=16638] ppid=16619 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/16622/task/16638/stat : 16638 (java) S 16619 16619 14480 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 20 0 420453143 27969658880 31106 33554432000 4194304 4196468 140727217129520 140670390983536 140671873219202 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15437824 140727217132266 140727217132694 140727217132694 140727217135567 0
[pid=16622/tid=16639] ppid=16619 vsize=27314120 memory=-1 CPUtime=0.02 cores=0-7
/proc/16622/task/16639/stat : 16639 (java) S 16619 16619 14480 0 -1 1077944384 448 0 0 0 2 0 0 0 20 0 20 0 420453143 27969658880 31106 33554432000 4194304 4196468 140727217129520 140670389930736 140671873219202 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15437824 140727217132266 140727217132694 140727217132694 140727217135567 0
[pid=16622/tid=16640] ppid=16619 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16622/task/16640/stat : 16640 (java) S 16619 16619 14480 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420453143 27969658880 31106 33554432000 4194304 4196468 140727217129520 140668500437344 140671873218261 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15437824 140727217132266 140727217132694 140727217132694 140727217135567 0
[pid=16622/tid=16641] ppid=16619 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/16622/task/16641/stat : 16641 (java) S 16619 16619 14480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420453143 27969658880 31106 33554432000 4194304 4196468 140727217129520 140670388877616 140671873219202 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15437824 140727217132266 140727217132694 140727217132694 140727217135567 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 125820 KiB

[startup+0.310443 s]*
/proc/loadavg: 2.82 6.35 7.62 3/213 16641
/proc/meminfo: memFree=25714512/32770624 swapFree=67002168/67108860
[pid=16619] ppid=16616 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/16619/stat : 16619 (scop.sh) S 16616 16619 14480 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 420453135 115843072 349 33554432000 4194304 5098028 140734920549680 140734920546936 139963171517052 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 38551552 140734920553252 140734920553580 140734920553580 140734920556493 0
/proc/16619/statm: 28282 349 296 221 0 87 0
[pid=16622] ppid=16619 vsize=27314120 memory=128032 CPUtime=0.42 cores=0-7
/proc/16622/stat : 16622 (java) S 16619 16619 14480 0 -1 1077944320 12894 0 0 0 38 4 0 0 20 0 20 0 420453135 27969658880 32008 33554432000 4194304 4196468 140727217129520 140727217112064 140671873208055 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 15437824 140727217132266 140727217132694 140727217132694 140727217135567 0
/proc/16622/statm: 6828530 32008 3004 1 0 6790935 0
[pid=16622/tid=16623] ppid=16619 vsize=27314120 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/16622/task/16623/stat : 16623 (java) R 16619 16619 14480 0 -1 4202560 10411 0 0 0 26 3 0 0 20 0 20 0 420453135 27969658880 32008 33554432000 4194304 4196468 140727217129520 140671844991072 140671854771615 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15437824 140727217132266 140727217132694 140727217132694 140727217135567 0
[pid=16622/tid=16624] ppid=16619 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16622/task/16624/stat : 16624 (java) S 16619 16619 14480 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420453138 27969658880 32008 33554432000 4194304 4196468 140727217129520 140671877450128 140671873218261 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15437824 140727217132266 140727217132694 140727217132694 140727217135567 0
[pid=16622/tid=16625] ppid=16619 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16622/task/16625/stat : 16625 (java) S 16619 16619 14480 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420453138 27969658880 32008 33554432000 4194304 4196468 140727217129520 140671660845328 140671873218261 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15437824 140727217132266 140727217132694 140727217132694 140727217135567 0
[pid=16622/tid=16626] ppid=16619 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16622/task/16626/stat : 16626 (java) S 16619 16619 14480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420453138 27969658880 32008 33554432000 4194304 4196468 140727217129520 140671659793040 140671873218261 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15437824 140727217132266 140727217132694 140727217132694 140727217135567 0
[pid=16622/tid=16627] ppid=16619 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16622/task/16627/stat : 16627 (java) S 16619 16619 14480 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420453138 27969658880 32008 33554432000 4194304 4196468 140727217129520 140671658740240 140671873218261 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15437824 140727217132266 140727217132694 140727217132694 140727217135567 0
[pid=16622/tid=16628] ppid=16619 vsize=27314120 memory=2244 CPUtime=0 cores=0-7
/proc/16622/task/16628/stat : 16628 (java) S 16619 16619 14480 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420453138 27969658880 32008 33554432000 4194304 4196468 140727217129520 140671657687952 140671873218261 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15437824 140727217132266 140727217132694 140727217132694 140727217135567 0
[pid=16622/tid=16629] ppid=16619 vsize=27314120 memory=139737365050287 CPUtime=0 cores=0-7
/proc/16622/task/16629/stat : 16629 (java) S 16619 16619 14480 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420453138 27969658880 32008 33554432000 4194304 4196468 140727217129520 140671656635152 140671873218261 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15437824 140727217132266 140727217132694 140727217132694 140727217135567 0
[pid=16622/tid=16630] ppid=16619 vsize=27314120 memory=139737365052592 CPUtime=0 cores=0-7
/proc/16622/task/16630/stat : 16630 (java) S 16619 16619 14480 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420453138 27969658880 32008 33554432000 4194304 4196468 140727217129520 140671289646224 140671873218261 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15437824 140727217132266 140727217132694 140727217132694 140727217135567 0
[pid=16622/tid=16631] ppid=16619 vsize=27314120 memory=139737365054896 CPUtime=0 cores=0-7
/proc/16622/task/16631/stat : 16631 (java) S 16619 16619 14480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420453138 27969658880 32008 33554432000 4194304 4196468 140727217129520 140671288593424 140671873218261 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15437824 140727217132266 140727217132694 140727217132694 140727217135567 0
[pid=16622/tid=16632] ppid=16619 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16622/task/16632/stat : 16632 (java) S 16619 16619 14480 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420453139 27969658880 32008 33554432000 4194304 4196468 140727217129520 140670394140784 140671873219202 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15437824 140727217132266 140727217132694 140727217132694 140727217135567 0
[pid=16622/tid=16633] ppid=16619 vsize=27314120 memory=279474730116752 CPUtime=0 cores=0-7
/proc/16622/task/16633/stat : 16633 (java) S 16619 16619 14480 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 420453140 27969658880 32008 33554432000 4194304 4196468 140727217129520 140669507068704 140671873218261 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15437824 140727217132266 140727217132694 140727217132694 140727217135567 0
[pid=16622/tid=16634] ppid=16619 vsize=27314120 memory=279474730123664 CPUtime=0 cores=0-7
/proc/16622/task/16634/stat : 16634 (java) S 16619 16619 14480 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 420453140 27969658880 32008 33554432000 4194304 4196468 140727217129520 140669372847216 140671873218261 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15437824 140727217132266 140727217132694 140727217132694 140727217135567 0
[pid=16622/tid=16635] ppid=16619 vsize=27314120 memory=279474730064944 CPUtime=0 cores=0-7
/proc/16622/task/16635/stat : 16635 (java) S 16619 16619 14480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420453142 27969658880 32008 33554432000 4194304 4196468 140727217129520 140668998342736 140671873226651 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15437824 140727217132266 140727217132694 140727217132694 140727217135567 0
[pid=16622/tid=16636] ppid=16619 vsize=27314120 memory=279474730137488 CPUtime=0.01 cores=0-7
/proc/16622/task/16636/stat : 16636 (java) S 16619 16619 14480 0 -1 1077944384 495 0 0 0 1 0 0 0 20 0 20 0 420453142 27969658880 32008 33554432000 4194304 4196468 140727217129520 140670393088624 140671873219202 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15437824 140727217132266 140727217132694 140727217132694 140727217135567 0
[pid=16622/tid=16637] ppid=16619 vsize=27314120 memory=279474730144400 CPUtime=0.01 cores=0-7
/proc/16622/task/16637/stat : 16637 (java) S 16619 16619 14480 0 -1 1077944384 101 0 0 0 1 0 0 0 20 0 20 0 420453142 27969658880 32008 33554432000 4194304 4196468 140727217129520 140670392035824 140671873219202 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15437824 140727217132266 140727217132694 140727217132694 140727217135567 0
[pid=16622/tid=16638] ppid=16619 vsize=27314120 memory=279474730142096 CPUtime=0 cores=0-7
/proc/16622/task/16638/stat : 16638 (java) S 16619 16619 14480 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 20 0 420453143 27969658880 32008 33554432000 4194304 4196468 140727217129520 140670390983536 140671873219202 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15437824 140727217132266 140727217132694 140727217132694 140727217135567 0
[pid=16622/tid=16639] ppid=16619 vsize=27314120 memory=279474730158256 CPUtime=0.07 cores=0-7
/proc/16622/task/16639/stat : 16639 (java) S 16619 16619 14480 0 -1 1077944384 469 0 0 0 7 0 0 0 20 0 20 0 420453143 27969658880 32008 33554432000 4194304 4196468 140727217129520 140670389930736 140671873219202 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15437824 140727217132266 140727217132694 140727217132694 140727217135567 0
[pid=16622/tid=16640] ppid=16619 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16622/task/16640/stat : 16640 (java) S 16619 16619 14480 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420453143 27969658880 32008 33554432000 4194304 4196468 140727217129520 140668500437344 140671873218261 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15437824 140727217132266 140727217132694 140727217132694 140727217135567 0
[pid=16622/tid=16641] ppid=16619 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/16622/task/16641/stat : 16641 (java) S 16619 16619 14480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420453143 27969658880 32008 33554432000 4194304 4196468 140727217129520 140670388877616 140671873219202 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15437824 140727217132266 140727217132694 140727217132694 140727217135567 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 129428 KiB

[startup+0.701029 s]
/proc/loadavg: 2.82 6.35 7.62 3/213 16641
/proc/meminfo: memFree=25694232/32770624 swapFree=67002168/67108860
[pid=16619] ppid=16616 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/16619/stat : 16619 (scop.sh) S 16616 16619 14480 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 420453135 115843072 349 33554432000 4194304 5098028 140734920549680 140734920546936 139963171517052 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 38551552 140734920553252 140734920553580 140734920553580 140734920556493 0
/proc/16619/statm: 28282 349 296 221 0 87 0
[pid=16622] ppid=16619 vsize=27320392 memory=164976 CPUtime=0.99 cores=0-7
/proc/16622/stat : 16622 (java) S 16619 16619 14480 0 -1 1077944320 19880 0 0 0 91 8 0 0 20 0 20 0 420453135 27976081408 41244 33554432000 4194304 4196468 140727217129520 140727217112064 140671873208055 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 15437824 140727217132266 140727217132694 140727217132694 140727217135567 0
/proc/16622/statm: 6830098 41244 3183 1 0 6791447 0
[pid=16622/tid=16623] ppid=16619 vsize=27320392 memory=279474730516144 CPUtime=0.67 cores=0-7
/proc/16622/task/16623/stat : 16623 (java) R 16619 16619 14480 0 -1 4202560 16842 0 0 0 62 5 0 0 20 0 20 0 420453135 27976081408 41244 33554432000 4194304 4196468 140727217129520 140671845046000 140671857288542 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15437824 140727217132266 140727217132694 140727217132694 140727217135567 0
[pid=16622/tid=16624] ppid=16619 vsize=27320392 memory=139737365259120 CPUtime=0 cores=0-7
/proc/16622/task/16624/stat : 16624 (java) S 16619 16619 14480 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420453138 27976081408 41244 33554432000 4194304 4196468 140727217129520 140671877450128 140671873218261 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15437824 140727217132266 140727217132694 140727217132694 140727217135567 0
[pid=16622/tid=16625] ppid=16619 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/16622/task/16625/stat : 16625 (java) S 16619 16619 14480 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420453138 27976081408 41244 33554432000 4194304 4196468 140727217129520 140671660845328 140671873218261 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15437824 140727217132266 140727217132694 140727217132694 140727217135567 0
[pid=16622/tid=16626] ppid=16619 vsize=27320392 memory=1056 CPUtime=0 cores=0-7
/proc/16622/task/16626/stat : 16626 (java) S 16619 16619 14480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420453138 27976081408 41244 33554432000 4194304 4196468 140727217129520 140671659793040 140671873218261 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15437824 140727217132266 140727217132694 140727217132694 140727217135567 0

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

[pid=16645/tid=16646] ppid=16619 vsize=8414124 memory=111632 CPUtime=0.78 cores=0-7
/proc/16645/task/16646/stat : 16646 (java) S 16619 16619 14480 0 -1 1077944384 16767 0 0 0 71 7 0 0 20 0 24 0 420456061 8616062976 37257 33554432000 4194304 4196468 140724253844016 140158594129824 140158622299861 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14077952 140724253852663 140724253852822 140724253852822 140724253855695 0
[pid=16645/tid=16647] ppid=16619 vsize=8414124 memory=796 CPUtime=0 cores=0-7
/proc/16645/task/16647/stat : 16647 (java) S 16619 16619 14480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420456062 8616062976 37257 33554432000 4194304 4196468 140724253844016 140158626531856 140158622299861 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14077952 140724253852663 140724253852822 140724253852822 140724253855695 0
[pid=16645/tid=16648] ppid=16619 vsize=8414124 memory=1808 CPUtime=0 cores=0-7
/proc/16645/task/16648/stat : 16648 (java) S 16619 16619 14480 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 420456062 8616062976 37257 33554432000 4194304 4196468 140724253844016 140158426700432 140158622299861 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14077952 140724253852663 140724253852822 140724253852822 140724253855695 0
[pid=16645/tid=16649] ppid=16619 vsize=8414124 memory=920 CPUtime=0 cores=0-7
/proc/16645/task/16649/stat : 16649 (java) S 16619 16619 14480 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 420456062 8616062976 37257 33554432000 4194304 4196468 140724253844016 140158425647376 140158622299861 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14077952 140724253852663 140724253852822 140724253852822 140724253855695 0
[pid=16645/tid=16650] ppid=16619 vsize=8414124 memory=4440 CPUtime=0 cores=0-7
/proc/16645/task/16650/stat : 16650 (java) S 16619 16619 14480 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 420456062 8616062976 37257 33554432000 4194304 4196468 140724253844016 140158424594832 140158622299861 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14077952 140724253852663 140724253852822 140724253852822 140724253855695 0
[pid=16645/tid=16651] ppid=16619 vsize=8414124 memory=4104 CPUtime=0 cores=0-7
/proc/16645/task/16651/stat : 16651 (java) S 16619 16619 14480 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 420456062 8616062976 37257 33554432000 4194304 4196468 140724253844016 140158423542800 140158622299861 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14077952 140724253852663 140724253852822 140724253852822 140724253855695 0
[pid=16645/tid=16652] ppid=16619 vsize=8414124 memory=1412 CPUtime=0 cores=0-7
/proc/16645/task/16652/stat : 16652 (java) S 16619 16619 14480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420456062 8616062976 37257 33554432000 4194304 4196468 140724253844016 140158422490256 140158622299861 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14077952 140724253852663 140724253852822 140724253852822 140724253855695 0
[pid=16645/tid=16653] ppid=16619 vsize=8414124 memory=3344 CPUtime=0 cores=0-7
/proc/16645/task/16653/stat : 16653 (java) S 16619 16619 14480 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 420456062 8616062976 37257 33554432000 4194304 4196468 140724253844016 140158421437200 140158622299861 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14077952 140724253852663 140724253852822 140724253852822 140724253855695 0
[pid=16645/tid=16654] ppid=16619 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/16645/task/16654/stat : 16654 (java) S 16619 16619 14480 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 420456062 8616062976 37257 33554432000 4194304 4196468 140724253844016 140158420384656 140158622299861 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14077952 140724253852663 140724253852822 140724253852822 140724253855695 0
[pid=16645/tid=16655] ppid=16619 vsize=8414124 memory=119424 CPUtime=0 cores=0-7
/proc/16645/task/16655/stat : 16655 (java) S 16619 16619 14480 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 420456063 8616062976 37257 33554432000 4194304 4196468 140724253844016 140157715654896 140158622300802 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14077952 140724253852663 140724253852822 140724253852822 140724253855695 0
[pid=16645/tid=16656] ppid=16619 vsize=8414124 memory=3616 CPUtime=0 cores=0-7
/proc/16645/task/16656/stat : 16656 (java) S 16619 16619 14480 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 420456064 8616062976 37257 33554432000 4194304 4196468 140724253844016 140157063783584 140158622299861 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14077952 140724253852663 140724253852822 140724253852822 140724253855695 0
[pid=16645/tid=16657] ppid=16619 vsize=8414124 memory=39888 CPUtime=0 cores=0-7
/proc/16645/task/16657/stat : 16657 (java) S 16619 16619 14480 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 420456064 8616062976 37257 33554432000 4194304 4196468 140724253844016 140156929561328 140158622299861 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14077952 140724253852663 140724253852822 140724253852822 140724253855695 0
[pid=16645/tid=16658] ppid=16619 vsize=8414124 memory=988 CPUtime=0 cores=0-7
/proc/16645/task/16658/stat : 16658 (java) S 16619 16619 14480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420456066 8616062976 37257 33554432000 4194304 4196468 140724253844016 140156555057104 140158622308251 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14077952 140724253852663 140724253852822 140724253852822 140724253855695 0
[pid=16645/tid=16659] ppid=16619 vsize=8414124 memory=0 CPUtime=0.12 cores=0-7
/proc/16645/task/16659/stat : 16659 (java) R 16619 16619 14480 0 -1 4202560 900 0 0 0 12 0 0 0 20 0 24 0 420456066 8616062976 37257 33554432000 4194304 4196468 140724253844016 140157714602736 140158607216254 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14077952 140724253852663 140724253852822 140724253852822 140724253855695 0
[pid=16645/tid=16660] ppid=16619 vsize=8414124 memory=4427205132082312746 CPUtime=0.1 cores=0-7
/proc/16645/task/16660/stat : 16660 (java) S 16619 16619 14480 0 -1 1077944384 284 0 0 0 10 0 0 0 20 0 24 0 420456066 8616062976 37257 33554432000 4194304 4196468 140724253844016 140157713550192 140158622300802 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14077952 140724253852663 140724253852822 140724253852822 140724253855695 0
[pid=16645/tid=16661] ppid=16619 vsize=8414124 memory=7100839878612131197 CPUtime=0.11 cores=0-7
/proc/16645/task/16661/stat : 16661 (java) S 16619 16619 14480 0 -1 1077944384 615 0 0 0 11 0 0 0 20 0 24 0 420456066 8616062976 37257 33554432000 4194304 4196468 140724253844016 140157712497136 140158622300802 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14077952 140724253852663 140724253852822 140724253852822 140724253855695 0
[pid=16645/tid=16662] ppid=16619 vsize=8414124 memory=-7023579799431922829 CPUtime=0.25 cores=0-7
/proc/16645/task/16662/stat : 16662 (java) S 16619 16619 14480 0 -1 1077944384 1032 0 0 0 25 0 0 0 20 0 24 0 420456066 8616062976 37257 33554432000 4194304 4196468 140724253844016 140157711444592 140158622300802 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14077952 140724253852663 140724253852822 140724253852822 140724253855695 0
[pid=16645/tid=16663] ppid=16619 vsize=8414124 memory=-8412652152092201843 CPUtime=0 cores=0-7
/proc/16645/task/16663/stat : 16663 (java) S 16619 16619 14480 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 420456067 8616062976 37257 33554432000 4194304 4196468 140724253844016 140156057151968 140158622299861 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14077952 140724253852663 140724253852822 140724253852822 140724253855695 0
[pid=16645/tid=16664] ppid=16619 vsize=8414124 memory=-6520478321162704286 CPUtime=0.01 cores=0-7
/proc/16645/task/16664/stat : 16664 (java) S 16619 16619 14480 0 -1 1077944384 5 0 0 0 1 0 0 0 20 0 24 0 420456067 8616062976 37257 33554432000 4194304 4196468 140724253844016 140157710391984 140158622300802 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 10 0 0 6293624 6294260 14077952 140724253852663 140724253852822 140724253852822 140724253855695 0
[pid=16645/tid=16666] ppid=16619 vsize=8414124 memory=-7666414585839465563 CPUtime=0 cores=0-7
/proc/16645/task/16666/stat : 16666 (java) S 16619 16619 14480 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 420456136 8616062976 37257 33554432000 4194304 4196468 140724253844016 140157702357952 140158622314265 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 14077952 140724253852663 140724253852822 140724253852822 140724253855695 0
[pid=16645/tid=16668] ppid=16619 vsize=8414124 memory=-7521736447810188379 CPUtime=0.06 cores=0-7
/proc/16645/task/16668/stat : 16668 (java) R 16619 16619 14480 0 -1 4202560 37 0 0 0 5 1 0 0 20 0 24 0 420456136 8616062976 37257 33554432000 4194304 4196468 140724253844016 140155386056864 140158090573501 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 14077952 140724253852663 140724253852822 140724253852822 140724253855695 0
[pid=16645/tid=16669] ppid=16619 vsize=8414124 memory=-8412652160765825907 CPUtime=0 cores=0-7
/proc/16645/task/16669/stat : 16669 (java) S 16619 16619 14480 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 24 0 420456136 8616062976 37257 33554432000 4194304 4196468 140724253844016 140155654488240 140158622311581 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 14077952 140724253852663 140724253852822 140724253852822 140724253855695 0
[pid=16645/tid=16670] ppid=16619 vsize=8414124 memory=-6810394306136601792 CPUtime=0 cores=0-7
/proc/16645/task/16670/stat : 16670 (java) S 16619 16619 14480 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 24 0 420456138 8616062976 37257 33554432000 4194304 4196468 140724253844016 140155117624752 140158622299861 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14077952 140724253852663 140724253852822 140724253852822 140724253855695 0
Current children cumulated CPU time: 39.23 s
Current children cumulated vsize: 8527252 KiB
Current children cumulated memory: 150504 KiB

[startup+68.6009 s]
/proc/loadavg: 4.47 5.99 7.40 2/218 16680
/proc/meminfo: memFree=22077352/32770624 swapFree=67002168/67108860
[pid=16619] ppid=16616 vsize=113128 memory=1476 CPUtime=37.73 cores=0-7
/proc/16619/stat : 16619 (scop.sh) S 16616 16619 14480 0 -1 4202496 583 35794 0 0 0 0 3603 170 20 0 1 0 420453135 115843072 369 33554432000 4194304 5098028 140734920549680 140734920546424 139963171517052 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 38551552 140734920553252 140734920553580 140734920553580 140734920556493 0
/proc/16619/statm: 28282 369 311 221 0 87 0
[pid=16645] ppid=16619 vsize=8283048 memory=201212 CPUtime=245.4 cores=0-7
/proc/16645/stat : 16645 (java) S 16619 16619 14480 0 -1 1077944320 21403 3931879 0 0 170 12 23528 830 20 0 22 0 420456060 8481841152 50303 33554432000 4194304 4196468 140724253844016 140724253826560 140158622289655 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 14077952 140724253852663 140724253852822 140724253852822 140724253855695 0
/proc/16645/statm: 2070762 50303 3225 1 0 2032106 0
[pid=16645/tid=16646] ppid=16619 vsize=8283048 memory=6791534058613427641 CPUtime=244.38 cores=0-7
/proc/16645/task/16646/stat : 16646 (java) R 16619 16619 14480 0 -1 4202560 16825 3931879 0 0 73 7 23528 830 20 0 22 0 420456061 8481841152 50303 33554432000 4194304 4196468 140724253844016 140158594107104 140158622311581 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 14077952 140724253852663 140724253852822 140724253852822 140724253855695 0
[pid=16645/tid=16647] ppid=16619 vsize=8283048 memory=500 CPUtime=243.58 cores=0-7
/proc/16645/task/16647/stat : 16647 (java) S 16619 16619 14480 0 -1 1077944384 1 3931879 0 0 0 0 23528 830 20 0 22 0 420456062 8481841152 50303 33554432000 4194304 4196468 140724253844016 140158626531856 140158622299861 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14077952 140724253852663 140724253852822 140724253852822 140724253855695 0
[pid=16645/tid=16648] ppid=16619 vsize=8283048 memory=932 CPUtime=243.58 cores=0-7
/proc/16645/task/16648/stat : 16648 (java) S 16619 16619 14480 0 -1 1077944384 2 3931879 0 0 0 0 23528 830 20 0 22 0 420456062 8481841152 50303 33554432000 4194304 4196468 140724253844016 140158426700432 140158622299861 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14077952 140724253852663 140724253852822 140724253852822 140724253855695 0
[pid=16645/tid=16649] ppid=16619 vsize=8283048 memory=1768 CPUtime=243.58 cores=0-7
/proc/16645/task/16649/stat : 16649 (java) S 16619 16619 14480 0 -1 1077944384 2 3931879 0 0 0 0 23528 830 20 0 22 0 420456062 8481841152 50303 33554432000 4194304 4196468 140724253844016 140158425647376 140158622299861 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14077952 140724253852663 140724253852822 140724253852822 140724253855695 0
[pid=16645/tid=16650] ppid=16619 vsize=8283048 memory=1656 CPUtime=243.58 cores=0-7
/proc/16645/task/16650/stat : 16650 (java) S 16619 16619 14480 0 -1 1077944384 3 3931879 0 0 0 0 23528 830 20 0 22 0 420456062 8481841152 50303 33554432000 4194304 4196468 140724253844016 140158424594832 140158622299861 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14077952 140724253852663 140724253852822 140724253852822 140724253855695 0
[pid=16645/tid=16651] ppid=16619 vsize=8283048 memory=804 CPUtime=243.58 cores=0-7
/proc/16645/task/16651/stat : 16651 (java) S 16619 16619 14480 0 -1 1077944384 2 3931879 0 0 0 0 23528 830 20 0 22 0 420456062 8481841152 50303 33554432000 4194304 4196468 140724253844016 140158423542800 140158622299861 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14077952 140724253852663 140724253852822 140724253852822 140724253855695 0
[pid=16645/tid=16652] ppid=16619 vsize=8283048 memory=1448 CPUtime=243.58 cores=0-7
/proc/16645/task/16652/stat : 16652 (java) S 16619 16619 14480 0 -1 1077944384 1 3931879 0 0 0 0 23528 830 20 0 22 0 420456062 8481841152 50303 33554432000 4194304 4196468 140724253844016 140158422490256 140158622299861 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14077952 140724253852663 140724253852822 140724253852822 140724253855695 0
[pid=16645/tid=16653] ppid=16619 vsize=8283048 memory=1980 CPUtime=243.58 cores=0-7
/proc/16645/task/16653/stat : 16653 (java) S 16619 16619 14480 0 -1 1077944384 2 3931879 0 0 0 0 23528 830 20 0 22 0 420456062 8481841152 50303 33554432000 4194304 4196468 140724253844016 140158421437200 140158622299861 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14077952 140724253852663 140724253852822 140724253852822 140724253855695 0
[pid=16645/tid=16654] ppid=16619 vsize=8283048 memory=2580 CPUtime=243.58 cores=0-7
/proc/16645/task/16654/stat : 16654 (java) S 16619 16619 14480 0 -1 1077944384 2 3931879 0 0 0 0 23528 830 20 0 22 0 420456062 8481841152 50303 33554432000 4194304 4196468 140724253844016 140158420384656 140158622299861 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14077952 140724253852663 140724253852822 140724253852822 140724253855695 0
[pid=16645/tid=16655] ppid=16619 vsize=8283048 memory=1764 CPUtime=243.58 cores=0-7
/proc/16645/task/16655/stat : 16655 (java) S 16619 16619 14480 0 -1 1077944384 8 3931879 0 0 0 0 23528 830 20 0 22 0 420456063 8481841152 50303 33554432000 4194304 4196468 140724253844016 140157715654896 140158622300802 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14077952 140724253852663 140724253852822 140724253852822 140724253855695 0
[pid=16645/tid=16656] ppid=16619 vsize=8283048 memory=111632 CPUtime=243.58 cores=0-7
/proc/16645/task/16656/stat : 16656 (java) S 16619 16619 14480 0 -1 1077944384 13 3931879 0 0 0 0 23528 830 20 0 22 0 420456064 8481841152 50303 33554432000 4194304 4196468 140724253844016 140157063783584 140158622299861 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14077952 140724253852663 140724253852822 140724253852822 140724253855695 0
[pid=16645/tid=16657] ppid=16619 vsize=8283048 memory=796 CPUtime=243.58 cores=0-7
/proc/16645/task/16657/stat : 16657 (java) S 16619 16619 14480 0 -1 1077944384 21 3931879 0 0 0 0 23528 830 20 0 22 0 420456064 8481841152 50303 33554432000 4194304 4196468 140724253844016 140156929561328 140158622299861 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14077952 140724253852663 140724253852822 140724253852822 140724253855695 0
[pid=16645/tid=16658] ppid=16619 vsize=8283048 memory=1808 CPUtime=243.58 cores=0-7
/proc/16645/task/16658/stat : 16658 (java) S 16619 16619 14480 0 -1 1077944384 1 3931879 0 0 0 0 23528 830 20 0 22 0 420456066 8481841152 50303 33554432000 4194304 4196468 140724253844016 140156555057104 140158622308251 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14077952 140724253852663 140724253852822 140724253852822 140724253855695 0
[pid=16645/tid=16659] ppid=16619 vsize=8283048 memory=920 CPUtime=243.73 cores=0-7
/proc/16645/task/16659/stat : 16659 (java) S 16619 16619 14480 0 -1 1077944384 910 3931879 0 0 15 0 23528 830 20 0 22 0 420456066 8481841152 50303 33554432000 4194304 4196468 140724253844016 140157714602736 140158622300802 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14077952 140724253852663 140724253852822 140724253852822 140724253855695 0
[pid=16645/tid=16660] ppid=16619 vsize=8283048 memory=0 CPUtime=243.72 cores=0-7
/proc/16645/task/16660/stat : 16660 (java) S 16619 16619 14480 0 -1 1077944384 291 3931879 0 0 14 0 23528 830 20 0 22 0 420456066 8481841152 50303 33554432000 4194304 4196468 140724253844016 140157713550192 140158622300802 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14077952 140724253852663 140724253852822 140724253852822 140724253855695 0
[pid=16645/tid=16661] ppid=16619 vsize=8283048 memory=1720 CPUtime=243.73 cores=0-7
/proc/16645/task/16661/stat : 16661 (java) S 16619 16619 14480 0 -1 1077944384 631 3931879 0 0 15 0 23528 830 20 0 22 0 420456066 8481841152 50303 33554432000 4194304 4196468 140724253844016 140157712497136 140158622300802 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14077952 140724253852663 140724253852822 140724253852822 140724253855695 0
[pid=16645/tid=16662] ppid=16619 vsize=8283048 memory=5948 CPUtime=243.86 cores=0-7
/proc/16645/task/16662/stat : 16662 (java) S 16619 16619 14480 0 -1 1077944384 1093 3931879 0 0 28 0 23528 830 20 0 22 0 420456066 8481841152 50303 33554432000 4194304 4196468 140724253844016 140157711444592 140158622300802 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14077952 140724253852663 140724253852822 140724253852822 140724253855695 0
[pid=16645/tid=16663] ppid=16619 vsize=8283048 memory=636 CPUtime=243.58 cores=0-7
/proc/16645/task/16663/stat : 16663 (java) S 16619 16619 14480 0 -1 1077944384 3 3931879 0 0 0 0 23528 830 20 0 22 0 420456067 8481841152 50303 33554432000 4194304 4196468 140724253844016 140156057151968 140158622299861 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14077952 140724253852663 140724253852822 140724253852822 140724253855695 0
[pid=16645/tid=16664] ppid=16619 vsize=8283048 memory=2832 CPUtime=243.59 cores=0-7
/proc/16645/task/16664/stat : 16664 (java) S 16619 16619 14480 0 -1 1077944384 5 3931879 0 0 1 0 23528 830 20 0 22 0 420456067 8481841152 50303 33554432000 4194304 4196468 140724253844016 140157710391984 140158622300802 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 10 0 0 6293624 6294260 14077952 140724253852663 140724253852822 140724253852822 140724253855695 0
[pid=16645/tid=16666] ppid=16619 vsize=8283048 memory=1056 CPUtime=243.58 cores=0-7
/proc/16645/task/16666/stat : 16666 (java) S 16619 16619 14480 0 -1 1077944384 25 3931879 0 0 0 0 23528 830 20 0 22 0 420456136 8481841152 50303 33554432000 4194304 4196468 140724253844016 140157702357136 140158622300802 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14077952 140724253852663 140724253852822 140724253852822 140724253855695 0
[pid=16645/tid=16670] ppid=16619 vsize=8283048 memory=14008 CPUtime=243.58 cores=0-7
/proc/16645/task/16670/stat : 16670 (java) S 16619 16619 14480 0 -1 1077944384 16 3931879 0 0 0 0 23528 830 20 0 22 0 420456138 8481841152 50303 33554432000 4194304 4196468 140724253844016 140155117626544 140158622300802 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14077952 140724253852663 140724253852822 140724253852822 140724253855695 0
Current children cumulated CPU time: 283.13 s
Current children cumulated vsize: 8396176 KiB
Current children cumulated memory: 202688 KiB

[startup+68.701 s]
/proc/loadavg: 4.47 5.99 7.40 2/218 16680
/proc/meminfo: memFree=22077352/32770624 swapFree=67002168/67108860
[pid=16619] ppid=16616 vsize=113128 memory=1476 CPUtime=37.73 cores=0-7
/proc/16619/stat : 16619 (scop.sh) S 16616 16619 14480 0 -1 4202496 583 35794 0 0 0 0 3603 170 20 0 1 0 420453135 115843072 369 33554432000 4194304 5098028 140734920549680 140734920546424 139963171517052 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 38551552 140734920553252 140734920553580 140734920553580 140734920556493 0
/proc/16619/statm: 28282 369 311 221 0 87 0
[pid=16645] ppid=16619 vsize=8283048 memory=224928 CPUtime=245.62 cores=0-7
/proc/16645/stat : 16645 (java) S 16619 16619 14480 0 -1 1077944320 21676 3931879 0 0 192 12 23528 830 20 0 22 0 420456060 8481841152 56232 33554432000 4194304 4196468 140724253844016 140724253826560 140158622289655 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 14077952 140724253852663 140724253852822 140724253852822 140724253855695 0
/proc/16645/statm: 2070762 56232 3230 1 0 2032106 0
[pid=16645/tid=16646] ppid=16619 vsize=8283048 memory=-8634980985311628903 CPUtime=244.47 cores=0-7
/proc/16645/task/16646/stat : 16646 (java) R 16619 16619 14480 0 -1 4202560 16989 3931879 0 0 82 7 23528 830 20 0 22 0 420456061 8481841152 56232 33554432000 4194304 4196468 140724253844016 140158594126608 140158606370142 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 14077952 140724253852663 140724253852822 140724253852822 140724253855695 0
[pid=16645/tid=16647] ppid=16619 vsize=8283048 memory=1476 CPUtime=243.58 cores=0-7
/proc/16645/task/16647/stat : 16647 (java) S 16619 16619 14480 0 -1 1077944384 1 3931879 0 0 0 0 23528 830 20 0 22 0 420456062 8481841152 56232 33554432000 4194304 4196468 140724253844016 140158626531856 140158622299861 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14077952 140724253852663 140724253852822 140724253852822 140724253855695 0
[pid=16645/tid=16648] ppid=16619 vsize=8283048 memory=192344 CPUtime=243.58 cores=0-7
/proc/16645/task/16648/stat : 16648 (java) S 16619 16619 14480 0 -1 1077944384 2 3931879 0 0 0 0 23528 830 20 0 22 0 420456062 8481841152 56232 33554432000 4194304 4196468 140724253844016 140158426700432 140158622299861 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14077952 140724253852663 140724253852822 140724253852822 140724253855695 0
[pid=16645/tid=16649] ppid=16619 vsize=8283048 memory=3472328 CPUtime=243.58 cores=0-7
/proc/16645/task/16649/stat : 16649 (java) S 16619 16619 14480 0 -1 1077944384 2 3931879 0 0 0 0 23528 830 20 0 22 0 420456062 8481841152 56232 33554432000 4194304 4196468 140724253844016 140158425647376 140158622299861 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14077952 140724253852663 140724253852822 140724253852822 140724253855695 0
[pid=16645/tid=16650] ppid=16619 vsize=8283048 memory=3607500 CPUtime=243.58 cores=0-7
/proc/16645/task/16650/stat : 16650 (java) S 16619 16619 14480 0 -1 1077944384 3 3931879 0 0 0 0 23528 830 20 0 22 0 420456062 8481841152 56232 33554432000 4194304 4196468 140724253844016 140158424594832 140158622299861 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14077952 140724253852663 140724253852822 140724253852822 140724253855695 0
[pid=16645/tid=16651] ppid=16619 vsize=8283048 memory=1292 CPUtime=243.58 cores=0-7
/proc/16645/task/16651/stat : 16651 (java) S 16619 16619 14480 0 -1 1077944384 2 3931879 0 0 0 0 23528 830 20 0 22 0 420456062 8481841152 56232 33554432000 4194304 4196468 140724253844016 140158423542800 140158622299861 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14077952 140724253852663 140724253852822 140724253852822 140724253855695 0
[pid=16645/tid=16652] ppid=16619 vsize=8283048 memory=119424 CPUtime=243.58 cores=0-7
/proc/16645/task/16652/stat : 16652 (java) S 16619 16619 14480 0 -1 1077944384 1 3931879 0 0 0 0 23528 830 20 0 22 0 420456062 8481841152 56232 33554432000 4194304 4196468 140724253844016 140158422490256 140158622299861 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14077952 140724253852663 140724253852822 140724253852822 140724253855695 0
[pid=16645/tid=16653] ppid=16619 vsize=8283048 memory=3616 CPUtime=243.58 cores=0-7
/proc/16645/task/16653/stat : 16653 (java) S 16619 16619 14480 0 -1 1077944384 2 3931879 0 0 0 0 23528 830 20 0 22 0 420456062 8481841152 56232 33554432000 4194304 4196468 140724253844016 140158421437200 140158622299861 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14077952 140724253852663 140724253852822 140724253852822 140724253855695 0
[pid=16645/tid=16654] ppid=16619 vsize=8283048 memory=3607552 CPUtime=243.58 cores=0-7
/proc/16645/task/16654/stat : 16654 (java) S 16619 16619 14480 0 -1 1077944384 2 3931879 0 0 0 0 23528 830 20 0 22 0 420456062 8481841152 56232 33554432000 4194304 4196468 140724253844016 140158420384656 140158622299861 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14077952 140724253852663 140724253852822 140724253852822 140724253855695 0
[pid=16645/tid=16655] ppid=16619 vsize=8283048 memory=384192 CPUtime=243.58 cores=0-7
/proc/16645/task/16655/stat : 16655 (java) S 16619 16619 14480 0 -1 1077944384 8 3931879 0 0 0 0 23528 830 20 0 22 0 420456063 8481841152 56232 33554432000 4194304 4196468 140724253844016 140157715654896 140158622300802 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14077952 140724253852663 140724253852822 140724253852822 140724253855695 0
[pid=16645/tid=16656] ppid=16619 vsize=8283048 memory=0 CPUtime=243.58 cores=0-7
/proc/16645/task/16656/stat : 16656 (java) S 16619 16619 14480 0 -1 1077944384 13 3931879 0 0 0 0 23528 830 20 0 22 0 420456064 8481841152 56232 33554432000 4194304 4196468 140724253844016 140157063783584 140158622299861 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14077952 140724253852663 140724253852822 140724253852822 140724253855695 0
[pid=16645/tid=16657] ppid=16619 vsize=8283048 memory=0 CPUtime=243.58 cores=0-7
/proc/16645/task/16657/stat : 16657 (java) S 16619 16619 14480 0 -1 1077944384 21 3931879 0 0 0 0 23528 830 20 0 22 0 420456064 8481841152 56232 33554432000 4194304 4196468 140724253844016 140156929561328 140158622299861 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14077952 140724253852663 140724253852822 140724253852822 140724253855695 0
[pid=16645/tid=16658] ppid=16619 vsize=8283048 memory=119424 CPUtime=243.58 cores=0-7
/proc/16645/task/16658/stat : 16658 (java) S 16619 16619 14480 0 -1 1077944384 1 3931879 0 0 0 0 23528 830 20 0 22 0 420456066 8481841152 56232 33554432000 4194304 4196468 140724253844016 140156555057104 140158622308251 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14077952 140724253852663 140724253852822 140724253852822 140724253855695 0
[pid=16645/tid=16659] ppid=16619 vsize=8283048 memory=1476 CPUtime=243.78 cores=0-7
/proc/16645/task/16659/stat : 16659 (java) S 16619 16619 14480 0 -1 1077944384 929 3931879 0 0 20 0 23528 830 20 0 22 0 420456066 8481841152 56232 33554432000 4194304 4196468 140724253844016 140157714602736 140158622300802 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14077952 140724253852663 140724253852822 140724253852822 140724253855695 0
[pid=16645/tid=16660] ppid=16619 vsize=8283048 memory=1476 CPUtime=243.75 cores=0-7
/proc/16645/task/16660/stat : 16660 (java) S 16619 16619 14480 0 -1 1077944384 303 3931879 0 0 17 0 23528 830 20 0 22 0 420456066 8481841152 56232 33554432000 4194304 4196468 140724253844016 140157713550192 140158622300802 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14077952 140724253852663 140724253852822 140724253852822 140724253855695 0
[pid=16645/tid=16661] ppid=16619 vsize=8283048 memory=932 CPUtime=243.76 cores=0-7
/proc/16645/task/16661/stat : 16661 (java) S 16619 16619 14480 0 -1 1077944384 645 3931879 0 0 18 0 23528 830 20 0 22 0 420456066 8481841152 56232 33554432000 4194304 4196468 140724253844016 140157712497136 140158622300802 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14077952 140724253852663 140724253852822 140724253852822 140724253855695 0
[pid=16645/tid=16662] ppid=16619 vsize=8283048 memory=1768 CPUtime=243.89 cores=0-7
/proc/16645/task/16662/stat : 16662 (java) S 16619 16619 14480 0 -1 1077944384 1157 3931879 0 0 31 0 23528 830 20 0 22 0 420456066 8481841152 56232 33554432000 4194304 4196468 140724253844016 140157711444592 140158622300802 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14077952 140724253852663 140724253852822 140724253852822 140724253855695 0
[pid=16645/tid=16663] ppid=16619 vsize=8283048 memory=1476 CPUtime=243.58 cores=0-7
/proc/16645/task/16663/stat : 16663 (java) S 16619 16619 14480 0 -1 1077944384 3 3931879 0 0 0 0 23528 830 20 0 22 0 420456067 8481841152 56232 33554432000 4194304 4196468 140724253844016 140156057151968 140158622299861 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14077952 140724253852663 140724253852822 140724253852822 140724253855695 0
[pid=16645/tid=16664] ppid=16619 vsize=8283048 memory=0 CPUtime=243.59 cores=0-7
/proc/16645/task/16664/stat : 16664 (java) S 16619 16619 14480 0 -1 1077944384 5 3931879 0 0 1 0 23528 830 20 0 22 0 420456067 8481841152 56232 33554432000 4194304 4196468 140724253844016 140157710391984 140158622300802 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 10 0 0 6293624 6294260 14077952 140724253852663 140724253852822 140724253852822 140724253855695 0
[pid=16645/tid=16666] ppid=16619 vsize=8283048 memory=5793153470867663203 CPUtime=243.58 cores=0-7
/proc/16645/task/16666/stat : 16666 (java) S 16619 16619 14480 0 -1 1077944384 25 3931879 0 0 0 0 23528 830 20 0 22 0 420456136 8481841152 56232 33554432000 4194304 4196468 140724253844016 140157702357136 140158622300802 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14077952 140724253852663 140724253852822 140724253852822 140724253855695 0
[pid=16645/tid=16670] ppid=16619 vsize=8283048 memory=5793153470867663203 CPUtime=243.58 cores=0-7
/proc/16645/task/16670/stat : 16670 (java) S 16619 16619 14480 0 -1 1077944384 16 3931879 0 0 0 0 23528 830 20 0 22 0 420456138 8481841152 56232 33554432000 4194304 4196468 140724253844016 140155117626544 140158622300802 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14077952 140724253852663 140724253852822 140724253852822 140724253855695 0
Current children cumulated CPU time: 283.35 s
Current children cumulated vsize: 8396176 KiB
Current children cumulated memory: 226404 KiB

Child status: 0
Real time (s): 68.7846
CPU time (s): 283.525
CPU user time (s): 273.337
CPU system time (s): 10.1872
CPU usage (%): 412.192
Max. virtual memory (cumulated for all children) (KiB): 27443924
Max. memory (cumulated for all children) (KiB): 6063352

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 273.337
system time used= 10.1872
maximum resident set size= 6062852
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3991221
page faults= 0
swaps= 0
block input operations= 0
block output operations= 339416
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 79266
involuntary context switches= 2174


# summary of solver processes directly reported to runsolver:
#   pid: 16619
#   total CPU time (s): 283.525
#   total CPU user time (s): 273.337
#   total CPU system time (s): 10.1872

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.650444 second user time and 0.795217 second system time

The end

Launcher Data 

Begin job on node136 at 2019-09-14 08:20:01
IDJOB=4392779
IDBENCH=138476
IDSOLVER=2839
FILE ID=node136/4392779-1568442045
RUNJOBID= node136-1568439334-14507
PBS_JOBID= 21702333
Free space on /tmp= 61168 MiB

SOLVER NAME= Fun-sCOP hybrid+ManyGlucose (2019-06-15)
BENCH NAME= XCSP17/SuperSolutions/SuperSolutions-Taillard-js15/SuperTaillard-js-15-16.xml
COMMAND LINE= DIR/scop.sh 22g DIR/scop.jar -hybrid DIR/manyglucose-4.1-27_release -model:-nthreads=NBCORE:-maxmemory=20000:-lit-scans=6000000 TMPDIR BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4392779-1568442045/watcher-4392779-1568442045 -o /tmp/evaluation-result-4392779-1568442045/solver-4392779-1568442045 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node136-1568439334-14507 --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-4392779-1568442045.xml

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

MD5SUM BENCH= 60f46a78fc335bdeaa2bda0ed3237a46
RANDOM SEED=616928617

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        25834360 kB
MemAvailable:   31891100 kB
Buffers:           86440 kB
Cached:          6246052 kB
SwapCached:         3100 kB
Active:          2033020 kB
Inactive:        4305932 kB
Active(anon):       4368 kB
Inactive(anon):    42124 kB
Active(file):    2028652 kB
Inactive(file):  4263808 kB
Unevictable:      107800 kB
Mlocked:          107800 kB
SwapTotal:      67108860 kB
SwapFree:       67002168 kB
Dirty:             20784 kB
Writeback:             0 kB
AnonPages:         52180 kB
Mapped:            44080 kB
Shmem:             31940 kB
Slab:             189880 kB
SReclaimable:     160228 kB
SUnreclaim:        29652 kB
KernelStack:        3728 kB
PageTables:         5980 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     498256 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      6144 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      120192 kB
DirectMap2M:    33425408 kB

Free space on /tmp at the end= 61148 MiB
End job on node136 at 2019-09-14 08:21:10