Trace number 4392618

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 422.197 82.4071

General information on the benchmark

NameSuperSolutions/SuperSolutions-Taillard-js15/
SuperTaillard-js-15-18.xml
MD5SUM3f0141c7bb33af25d9039070b39091b8
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 benchmark52.3708
Satisfiable
(Un)Satisfiability was proved
Number of variables450
Number of constraints5580
Number of domains84
Minimum domain size1184
Maximum domain size1282
Distribution of domain sizes[{"size":1184,"count":10},{"size":1185,"count":4},{"size":1186,"count":4},{"size":1187,"count":10},{"size":1188,"count":8},{"size":1191,"count":6},{"size":1192,"count":4},{"size":1193,"count":6},{"size":1194,"count":8},{"size":1195,"count":6},{"size":1196,"count":2},{"size":1197,"count":2},{"size":1198,"count":6},{"size":1199,"count":6},{"size":1200,"count":10},{"size":1201,"count":6},{"size":1202,"count":10},{"size":1203,"count":10},{"size":1204,"count":6},{"size":1206,"count":4},{"size":1207,"count":10},{"size":1208,"count":6},{"size":1209,"count":2},{"size":1210,"count":2},{"size":1211,"count":2},"...",{"size":1253,"count":4}, {"size":1255,"count":6}, {"size":1256,"count":6}, {"size":1257,"count":2}, {"size":1259,"count":8}, {"size":1260,"count":6}, {"size":1261,"count":4}, {"size":1262,"count":6}, {"size":1263,"count":4}, {"size":1264,"count":2}, {"size":1265,"count":2}, {"size":1267,"count":8}, {"size":1268,"count":6}, {"size":1269,"count":10}, {"size":1272,"count":6}, {"size":1273,"count":2}, {"size":1274,"count":6}, {"size":1275,"count":4}, {"size":1276,"count":2}, {"size":1277,"count":10}, {"size":1278,"count":10}, {"size":1279,"count":12}, {"size":1280,"count":6}, {"size":1281,"count":4}, {"size":1282,"count":8}]
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-8714-serial-file.bin HOME/instance-4392618-1568442160.xml
0.66/0.53	
0.66/0.53	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
0.66/0.53	
0.66/0.56	c BEGIN-Prog: Sat Sep 14 08:22:02 CEST 2019
0.66/0.56	c PID: 8717
0.66/0.56	c IP: 172.20.3.123
0.66/0.56	c HOST: node123.alineos.net
0.66/0.57	c (0,0) Parsing Begin
5.26/1.82	c (1,1) Parsing End
5.26/1.83	c (1,1) CSP: 450 int (0 aux), 0 bool (0 aux), 5580 ctr, max domain size 1282
5.26/1.83	c (1,1) Heap : 675 MiB used (max 21589 MiB), NonHeap : 22 MiB used (max 0 MiB)
5.26/1.83	c (1,1) Constraint Name Generate Begin
5.26/1.88	c (1,1) Ctr:HOME/instance-4392618-1568442160.xml,Add:Le:Ne:Num:Or:Var
5.26/1.88	c (1,1) Constraint Name Generate End
5.26/1.88	c (1,1) Heap : 675 MiB used (max 21589 MiB), NonHeap : 22 MiB used (max 0 MiB)
5.26/1.88	c (1,1) CSP to CSPinCNF Begin
6.18/2.13	c (1,1) translated 558 (10%) constraints
6.18/2.19	c (1,1) translated 1116 (20%) constraints
6.53/2.24	c (1,1) translated 1674 (30%) constraints
6.53/2.28	c (1,1) translated 2232 (40%) constraints
6.93/2.31	c (1,1) translated 2790 (50%) constraints
6.93/2.34	c (1,1) translated 3348 (60%) constraints
6.93/2.37	c (1,1) translated 3906 (70%) constraints
7.34/2.40	c (1,1) translated 4464 (80%) constraints
7.34/2.43	c (1,1) translated 5022 (90%) constraints
7.34/2.45	c (1,1) translated 5580 (100%) constraints
7.34/2.45	c (1,1) ===========================================
7.34/2.48	c (1,1) Hybrid: #OE=450, #LE=0
7.34/2.48	c (1,1) Hybrid
7.34/2.48	c (1,1) ===========================================
7.72/2.52	c (1,1) translated 558 (10%) constraints
7.72/2.53	c (1,1) translated 1116 (20%) constraints
7.72/2.55	c (2,2) translated 1674 (30%) constraints
7.72/2.57	c (2,2) translated 2232 (40%) constraints
7.72/2.59	c (2,2) translated 2790 (50%) constraints
7.95/2.60	c (2,2) translated 3348 (60%) constraints
7.95/2.62	c (2,2) translated 3906 (70%) constraints
7.95/2.63	c (2,2) translated 4464 (80%) constraints
7.95/2.64	c (2,2) translated 5022 (90%) constraints
7.95/2.66	c (2,2) translated 5580 (100%) constraints
7.95/2.66	c (2,2) CSP to CSPinCNF End
7.95/2.66	c (2,2) CSP: 450 int (0 aux), 0 bool (0 aux), 5580 ctr, max domain size 1199
7.95/2.66	c (2,2) Heap : 788 MiB used (max 21589 MiB), NonHeap : 27 MiB used (max 0 MiB)
7.95/2.66	c (2,2) CSPinCNF Propagation Begin
8.26/2.74	c (2,2) 0 values, 0 unsatisfiable literals, and 0 valid clauses are removed
8.26/2.74	c (2,2) CSPinCNF Propagation End
8.26/2.74	c (2,2) CSP: 450 int (0 aux), 0 bool (0 aux), 5580 ctr, max domain size 1199
8.26/2.74	c (2,2) Heap : 788 MiB used (max 21589 MiB), NonHeap : 27 MiB used (max 0 MiB)
8.26/2.77	c (2,2) Hybrid: #OE=450, #LE=0
8.26/2.77	c (2,2) Simplify CSPinCNF Begin
9.37/3.03	c (2,2) Simplify CSPinCNF End
9.37/3.03	c (2,2) CSP: 450 int (0 aux), 9900 bool (9900 aux), 15480 ctr, max domain size 1199
9.37/3.03	c (2,2) Heap : 901 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB)
9.37/3.03	c (2,2) Calculate Precise Domain Begin
9.37/3.04	c (2,2) 0 values are removed by re-calculation
9.37/3.04	c (2,2) Calculate Precise Domain End
9.37/3.04	c (2,2) CSP: 450 int (0 aux), 9900 bool (9900 aux), 15480 ctr, max domain size 1199
9.37/3.04	c (2,2) Heap : 901 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB)
9.37/3.04	c (2,2) CSPinCNF to SatSolver Begin
14.85/6.30	c (5,5) 1548 (10 %) CSP clauses are encoded (0 SAT variables, 940202 SAT clauses)
17.99/9.40	c (8,8) 3096 (20 %) CSP clauses are encoded (0 SAT variables, 1601442 SAT clauses)
20.32/11.63	c (11,10) 4644 (30 %) CSP clauses are encoded (0 SAT variables, 2210997 SAT clauses)
22.55/13.87	c (13,12) 6192 (40 %) CSP clauses are encoded (0 SAT variables, 2837790 SAT clauses)
25.33/16.28	c (15,15) 7740 (50 %) CSP clauses are encoded (0 SAT variables, 3490456 SAT clauses)
27.72/18.59	c (18,17) 9288 (60 %) CSP clauses are encoded (0 SAT variables, 4136938 SAT clauses)
30.06/20.75	c (20,19) 10836 (70 %) CSP clauses are encoded (0 SAT variables, 4724782 SAT clauses)
32.18/22.89	c (22,21) 12384 (80 %) CSP clauses are encoded (0 SAT variables, 5320262 SAT clauses)
34.89/25.54	c (25,24) 13932 (90 %) CSP clauses are encoded (0 SAT variables, 6054478 SAT clauses)
37.58/28.46	c (27,27) 15480 (100 %) CSP clauses are encoded (0 SAT variables, 7001863 SAT clauses)
37.58/28.46	c (27,27) CSPinCNF to SatSolver End
37.58/28.46	c (27,27) Heap : 1716 MiB used (max 21589 MiB), NonHeap : 32 MiB used (max 0 MiB)
37.58/28.46	c (27,27) 366146 bool, 7002496 clause
37.58/28.46	c (27,27) Export Begin
37.65/28.57	c (28,27) Export to HOME/scop-8714-serial-file.bin
37.65/28.57	c (28,27) Export End
37.65/28.57	c (28,27) Export File Size: 0.07 MB
37.65/28.57	c (28,27) 1,1,2,2,2,2,27,STOP-AFTER(DIMACS)
37.65/28.57	c END-Prog: Sat Sep 14 08:22:30 CEST 2019
0.00/28.63	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-8714-serial-file.bin
38.37/29.09	c (0,0) Read Serial File Begin
38.37/29.09	c (0,0) HOME/scop-8714-serial-file.bin
38.84/29.32	c (0,0) Read Serial File End
38.84/29.34	
38.84/29.34	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
38.84/29.34	(Solving Process)
38.84/29.34	
38.84/29.36	c BEGIN-Prog: Sat Sep 14 08:22:31 CEST 2019
38.84/29.36	c PID: 8739
38.84/29.36	c IP: 172.20.3.123
38.84/29.36	c HOST: node123.alineos.net
38.84/29.36	c (0,0) SatSolver.solve Begin
38.84/29.36	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4392618-1568442160.xml-scop-8717.cnf
38.84/29.39	c (0,0) c
38.84/29.39	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.84/29.39	c (0,0) c
38.84/29.39	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
38.84/29.39	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
38.84/29.39	c (0,0) c ========================================[ Problem Statistics ]===========================================
38.84/29.39	c (0,0) c |                                                                                                       |
41.76/32.10	c (3,0) c |  Number of variables:        366146                                                                   |
41.76/32.10	c (3,0) c |  Number of clauses:         6880550                                                                   |
41.76/32.10	c (3,0) c |  Parse time:                   2.49 s                                                                 |
41.76/32.10	c (3,0) c |                                                                                                       |
42.25/32.56	c (3,0) c | Too many clauses... No preprocessing                                                                  |
42.25/32.56	c (3,0) c |  Simplification time:          0.40 s                                                                 |
42.25/32.56	c (3,0) c |                                                                                                       |
42.25/32.56	c (3,0) c |  Generating clones                                                                                    |
44.05/34.34	c (5,0) c |  all clones generated. Memory =  3660.43Mb.                                                           |
44.05/34.34	c (5,0) c ========================================================================================================|
44.05/34.34	c (5,0) c
44.05/34.34	c (5,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
44.05/34.34	c (5,0) c
44.05/34.34	c (5,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
44.05/34.34	c (5,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
44.05/34.34	c (5,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
44.05/34.34	c (5,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
44.05/34.34	c (5,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
44.05/34.34	c (5,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
44.05/34.34	c (5,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
44.05/34.34	c (5,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
44.05/34.34	c (5,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
44.05/34.34	c (5,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
44.05/34.34	c (5,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
44.05/34.34	c (5,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
44.05/34.34	c (5,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
44.05/34.34	c (5,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
44.05/34.34	c (5,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
44.05/34.34	c (5,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
44.05/34.34	c (5,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
44.05/34.34	c (5,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
44.05/34.34	c (5,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
278.70/64.04	c (35,0) c
278.70/64.04	c (35,0) c |------------------------------------------------------------------------------------------------------------------------|
278.70/64.04	c (35,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
278.70/64.04	c (35,0) c |------------------------------------------------------------------------------------------------------------------------|
278.70/64.04	c (35,0) c |  0 |      8 |       8100 |       3225 |    70763 |     2220 |      198 |     1389 |       47 |      171 |  20 | 33.961 |
278.70/64.04	c (35,0) c |  1 |     17 |       7002 |       3159 |    80337 |     2154 |      209 |     1374 |       57 |      177 |  20 | 33.954 |
278.70/64.04	c (35,0) c |  2 |      3 |       9131 |       3884 |    83238 |     2877 |      257 |     1440 |       51 |      191 |  20 | 33.982 |
278.70/64.04	c (35,0) c |  3 |     10 |       6868 |       3030 |    70388 |     2029 |      201 |     1377 |       41 |      176 |  20 | 33.956 |
278.70/64.04	c (35,0) c |  4 |     12 |       8650 |       3348 |    76367 |     2341 |      257 |     1101 |       47 |      181 |  20 | 33.933 |
278.70/64.04	c (35,0) c |  5 |     20 |       7861 |       3323 |    80064 |     2321 |      230 |     1396 |       37 |      182 |  20 | 33.974 |
278.70/64.04	c (35,0) c |  6 |     11 |       6101 |       2905 |    72421 |     1901 |      197 |     1404 |       45 |      173 |  20 | 33.968 |
278.70/64.04	c (35,0) c |  7 |     18 |       9861 |       3167 |    74491 |     2151 |      284 |     1332 |       51 |      177 |  20 | 33.971 |
278.70/64.04	c (35,0) c 
278.70/64.04	c (35,0) c synthesis       26041 conflicts   362600588 propagations      112 conflicts/sec  1559131 propagations/sec
278.70/64.04	c (35,0) c real: 34.6549 s, cpu: 232.566 s, memory: 3721.89 Mb
420.98/81.92	c (52,0) c
420.98/81.92	c (52,0) c real time : 52.5358 s
420.98/81.92	c (52,0) c cpu time  : 374.068 s
420.98/81.92	c (52,0) c
420.98/81.92	c (52,0) c
420.98/81.92	c (52,0) c
420.98/81.92	c (52,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
420.98/81.92	c (52,0) c
420.98/81.92	c (52,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
420.98/81.92	c (52,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
420.98/81.92	c (52,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
420.98/81.92	c (52,0) c | Conflicts     |           44836 |       5553 |       5554 |       6186 |       5482 |       5720 |       5618 |       5370 |       5353 |
420.98/81.92	c (52,0) c | Decisions     |          114761 |      18784 |      16332 |      13172 |      13479 |      13395 |      12350 |      12843 |      14406 |
420.98/81.92	c (52,0) c | Propagations  |       624630403 |   77901231 |   76687434 |   79850489 |   77136596 |   80655740 |   78389341 |   75218734 |   78790838 |
420.98/81.92	c (52,0) c | ReduceDBs     |               8 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |
420.98/81.92	c (52,0) c | SimpDBs       |              44 |          6 |          6 |          4 |          6 |          6 |          5 |          5 |          6 |
420.98/81.92	c (52,0) c | Restarts      |             160 |         17 |         24 |          6 |         22 |         23 |         23 |         20 |         25 |
420.98/81.92	c (52,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
420.98/81.92	c (52,0) c | PropBinClauses|      2097422938 |  254998402 |  254981806 |  271982592 |  256483940 |  273057353 |  267629284 |  253780634 |  264508927 |
420.98/81.92	c (52,0) c | PropPreBlocker|      9941984673 | 1210252598 | 1218418084 | 1301398487 | 1266787159 | 1276032482 | 1238547914 | 1226067840 | 1204480109 |
420.98/81.92	c (52,0) c | PropNotBlocker|      1148002391 |  133420359 |  140069492 |  150082872 |  142528561 |  150583508 |  147310677 |  138692862 |  145314060 |
420.98/81.92	c (52,0) c | LitFullScans  |     13959720008 | 1700877451 | 1714726561 | 1804822831 | 1768688523 | 1803469154 | 1744650258 | 1707316038 | 1715169192 |
420.98/81.92	c (52,0) c | LitScanFracts |         1673696 |     184587 |     231720 |     197590 |     233820 |     212183 |     204262 |     174031 |     235503 |
420.98/81.92	c (52,0) c | DecisionLevel0|             314 |         34 |         41 |         19 |         37 |         50 |         34 |         40 |         59 |
420.98/81.92	c (52,0) c | Periods       |            2318 |        282 |        285 |        300 |        294 |        299 |        290 |        283 |        285 |
420.98/81.92	c (52,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
420.98/81.92	c (52,0) c | Avg_Trail     |                 |     267810 |     272612 |     262669 |     277235 |     265918 |     264142 |     265281 |     265231 |
420.98/81.92	c (52,0) c | Avg_DL        |                 |         40 |         31 |         33 |         31 |         25 |         27 |         29 |         31 |
420.98/81.92	c (52,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
420.98/81.92	c (52,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
420.98/81.92	c (52,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
420.98/81.92	c (52,0) c | Exported      |            4464 |        528 |        523 |        676 |        514 |        581 |        527 |        540 |        575 |
420.98/81.92	c (52,0) c | Imported      |           21710 |       2656 |       2396 |       2721 |       3026 |       3005 |       2874 |       2563 |       2469 |
420.98/81.92	c (52,0) c | Good          |             742 |        101 |         84 |         98 |         89 |         92 |         93 |         94 |         91 |
420.98/81.92	c (52,0) c | Purge         |           20968 |       2555 |       2312 |       2623 |       2937 |       2913 |       2781 |       2469 |       2378 |
420.98/81.92	c (52,0) c | Promoted      |             895 |        108 |        122 |         98 |        135 |        106 |         89 |        118 |        119 |
420.98/81.92	c (52,0) c | Remove_Imp    |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
420.98/81.92	c (52,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
420.98/81.92	c (52,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
420.98/81.92	c (52,0) c | Unaries       |                 |         17 |         17 |         13 |         15 |         27 |         11 |         20 |         34 |
420.98/81.92	c (52,0) c | Binaries      |                 |          8 |         19 |         10 |         22 |         17 |         15 |         17 |         17 |
420.98/81.92	c (52,0) c | Glues         |                 |        452 |        419 |        340 |        403 |        376 |        346 |        463 |        462 |
420.98/81.92	c (52,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
420.98/81.92	c (52,0) c | Orig_Seen     |             2 % |     106645 |     112327 |     116542 |     113870 |     112511 |     110789 |     108992 |     112674 |
420.98/81.92	c (52,0) c | Diff Orig seen|                 |      X     |       5682 |       9897 |       7225 |       5866 |       4144 |       2347 |       6029 |
420.98/81.92	c (52,0) c | Hamming       |            13 % |      X     |      47207 |      59707 |      62465 |      55856 |      38012 |      40584 |      40676 |
420.98/81.92	c (52,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
420.98/81.92	c (52,0) c | RunningTime   |                 |   47.4 100%|   47.5 100%|   47.4 100%|   47.4 100%|   47.5 100%|   47.5 100%|   47.1  99%|   47.5 100%|
420.98/81.92	c (52,0) c | WaitingTime   |                 |    0.0   0%|    0.0   0%|    0.1   0%|    0.1   0%|    0.0   0%|    0.0   0%|    0.5   1%|    0.0   0%|
420.98/81.92	c (52,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%|
420.98/81.92	c (52,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%|
420.98/81.92	c (52,0) c | SolvingTime   |                 |   47.5     |   47.5     |   47.5     |   47.5     |   47.5     |   47.5     |   47.6     |   47.5     |
420.98/81.92	c (52,0) c | PropagationTim|                 |   44.3  93%|   44.4  93%|   44.6  94%|   44.0  93%|   44.3  93%|   44.4  94%|   44.2  93%|   44.3  93%|
420.98/81.92	c (52,0) c | AnalysisTime  |                 |    0.7   2%|    0.7   1%|    0.8   2%|    0.8   2%|    0.8   2%|    0.8   2%|    0.8   2%|    0.7   2%|
420.98/81.92	c (52,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%|
420.98/81.92	c (52,0) c | SimplifyTime  |                 |    1.4   3%|    1.4   3%|    1.1   2%|    1.6   3%|    1.4   3%|    1.2   3%|    1.5   3%|    1.4   3%|
420.98/81.92	c (52,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%|
420.98/81.92	c (52,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%|
420.98/81.92	c (52,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
420.98/81.92	c (52,0) c
420.98/81.92	c (52,0) c
420.98/81.92	c (52,0) c Threads : 8
420.98/81.92	c (52,0) c Winner : 0
420.98/81.92	c (52,0) c Conflicts_0 : 5553
420.98/81.92	c (52,0) c Conflicts_1 : 5554
420.98/81.92	c (52,0) c Conflicts_2 : 6186
420.98/81.92	c (52,0) c Conflicts_3 : 5482
420.98/81.92	c (52,0) c Conflicts_4 : 5720
420.98/81.92	c (52,0) c Conflicts_5 : 5618
420.98/81.92	c (52,0) c Conflicts_6 : 5370
420.98/81.92	c (52,0) c Conflicts_7 : 5353
420.98/81.93	c (52,0) c Conflicts_total : 44836
420.98/81.93	c (52,0) c Conflicts_winner : 5553
420.98/81.93	c (52,0) c Decisions_0 : 18784
420.98/81.93	c (52,0) c Decisions_1 : 16332
420.98/81.93	c (52,0) c Decisions_2 : 13172
420.98/81.93	c (52,0) c Decisions_3 : 13479
420.98/81.93	c (52,0) c Decisions_4 : 13395
420.98/81.93	c (52,0) c Decisions_5 : 12350
420.98/81.93	c (52,0) c Decisions_6 : 12843
420.98/81.93	c (52,0) c Decisions_7 : 14406
420.98/81.93	c (52,0) c Decisions_total : 114761
420.98/81.93	c (52,0) c Decisions_winner : 18784
420.98/81.93	c (52,0) c Propagations_0 : 77901231
420.98/81.93	c (52,0) c Propagations_1 : 76687434
420.98/81.93	c (52,0) c Propagations_2 : 79850489
420.98/81.93	c (52,0) c Propagations_3 : 77136596
420.98/81.93	c (52,0) c Propagations_4 : 80655740
420.98/81.93	c (52,0) c Propagations_5 : 78389341
420.98/81.93	c (52,0) c Propagations_6 : 75218734
420.98/81.93	c (52,0) c Propagations_7 : 78790838
420.98/81.93	c (52,0) c Propagations_total : 624630403
420.98/81.93	c (52,0) c Propagations_winner : 77901231
420.98/81.93	c (52,0) c ReduceDBs_0 : 1
420.98/81.93	c (52,0) c ReduceDBs_1 : 1
420.98/81.93	c (52,0) c ReduceDBs_2 : 1
420.98/81.93	c (52,0) c ReduceDBs_3 : 1
420.98/81.93	c (52,0) c ReduceDBs_4 : 1
420.98/81.93	c (52,0) c ReduceDBs_5 : 1
420.98/81.93	c (52,0) c ReduceDBs_6 : 1
420.98/81.93	c (52,0) c ReduceDBs_7 : 1
420.98/81.93	c (52,0) c ReduceDBs_total : 8
420.98/81.93	c (52,0) c ReduceDBs_winner : 1
420.98/81.93	c (52,0) c SimpDBs_0 : 6
420.98/81.93	c (52,0) c SimpDBs_1 : 6
420.98/81.93	c (52,0) c SimpDBs_2 : 4
420.98/81.93	c (52,0) c SimpDBs_3 : 6
420.98/81.93	c (52,0) c SimpDBs_4 : 6
420.98/81.93	c (52,0) c SimpDBs_5 : 5
420.98/81.93	c (52,0) c SimpDBs_6 : 5
420.98/81.93	c (52,0) c SimpDBs_7 : 6
420.98/81.93	c (52,0) c SimpDBs_total : 44
420.98/81.93	c (52,0) c SimpDBs_winner : 6
420.98/81.93	c (52,0) c Restarts_0 : 17
420.98/81.93	c (52,0) c Restarts_1 : 24
420.98/81.93	c (52,0) c Restarts_2 : 6
420.98/81.93	c (52,0) c Restarts_3 : 22
420.98/81.93	c (52,0) c Restarts_4 : 23
420.98/81.93	c (52,0) c Restarts_5 : 23
420.98/81.93	c (52,0) c Restarts_6 : 20
420.98/81.93	c (52,0) c Restarts_7 : 25
420.98/81.93	c (52,0) c Restarts_total : 160
420.98/81.93	c (52,0) c Restarts_winner : 17
420.98/81.93	c (52,0) c ForcedImports_0 : 0
420.98/81.93	c (52,0) c ForcedImports_1 : 0
420.98/81.93	c (52,0) c ForcedImports_2 : 0
420.98/81.93	c (52,0) c ForcedImports_3 : 0
420.98/81.93	c (52,0) c ForcedImports_4 : 0
420.98/81.93	c (52,0) c ForcedImports_5 : 0
420.98/81.93	c (52,0) c ForcedImports_6 : 0
420.98/81.93	c (52,0) c ForcedImports_7 : 0
420.98/81.93	c (52,0) c ForcedImports_total : 0
420.98/81.93	c (52,0) c ForcedImports_winner : 0
420.98/81.93	c (52,0) c PropsBinClauses_0 : 254998402
420.98/81.93	c (52,0) c PropsBinClauses_1 : 254981806
420.98/81.93	c (52,0) c PropsBinClauses_2 : 271982592
420.98/81.93	c (52,0) c PropsBinClauses_3 : 256483940
420.98/81.93	c (52,0) c PropsBinClauses_4 : 273057353
420.98/81.93	c (52,0) c PropsBinClauses_5 : 267629284
420.98/81.93	c (52,0) c PropsBinClauses_6 : 253780634
420.98/81.93	c (52,0) c PropsBinClauses_7 : 264508927
420.98/81.93	c (52,0) c PropsBinClauses_total : 2097422938
420.98/81.93	c (52,0) c PropsBinClauses_winner : 254998402
420.98/81.93	c (52,0) c PropsPreBlocker_0 : 1210252598
420.98/81.93	c (52,0) c PropsPreBlocker_1 : 1218418084
420.98/81.93	c (52,0) c PropsPreBlocker_2 : 1301398487
420.98/81.93	c (52,0) c PropsPreBlocker_3 : 1266787159
420.98/81.93	c (52,0) c PropsPreBlocker_4 : 1276032482
420.98/81.93	c (52,0) c PropsPreBlocker_5 : 1238547914
420.98/81.93	c (52,0) c PropsPreBlocker_6 : 1226067840
420.98/81.93	c (52,0) c PropsPreBlocker_7 : 1204480109
420.98/81.93	c (52,0) c PropsPreBlocker_total : 9941984673
420.98/81.93	c (52,0) c PropsPreBlocker_winner : 1210252598
420.98/81.93	c (52,0) c PropsNotBlocker_0 : 133420359
420.98/81.93	c (52,0) c PropsNotBlocker_1 : 140069492
420.98/81.93	c (52,0) c PropsNotBlocker_2 : 150082872
420.98/81.93	c (52,0) c PropsNotBlocker_3 : 142528561
420.98/81.93	c (52,0) c PropsNotBlocker_4 : 150583508
420.98/81.93	c (52,0) c PropsNotBlocker_5 : 147310677
420.98/81.93	c (52,0) c PropsNotBlocker_6 : 138692862
420.98/81.93	c (52,0) c PropsNotBlocker_7 : 145314060
420.98/81.93	c (52,0) c PropsNotBlocker_total : 1148002391
420.98/81.93	c (52,0) c PropsNotBlocker_winner : 133420359
420.98/81.93	c (52,0) c PropsLitFullScans_0 : 1700877451
420.98/81.93	c (52,0) c PropsLitFullScans_1 : 1714726561
420.98/81.93	c (52,0) c PropsLitFullScans_2 : 1804822831
420.98/81.93	c (52,0) c PropsLitFullScans_3 : 1768688523
420.98/81.93	c (52,0) c PropsLitFullScans_4 : 1803469154
420.98/81.93	c (52,0) c PropsLitFullScans_5 : 1744650258
420.98/81.93	c (52,0) c PropsLitFullScans_6 : 1707316038
420.98/81.93	c (52,0) c PropsLitFullScans_7 : 1715169192
420.98/81.93	c (52,0) c PropsLitFullScans_total : 13959720008
420.98/81.93	c (52,0) c PropsLitFullScans_winner : 1700877451
420.98/81.93	c (52,0) c LitScanFractions_0 : 184587
420.98/81.93	c (52,0) c LitScanFractions_1 : 231720
420.98/81.93	c (52,0) c LitScanFractions_2 : 197590
420.98/81.93	c (52,0) c LitScanFractions_3 : 233820
420.98/81.93	c (52,0) c LitScanFractions_4 : 212183
420.98/81.93	c (52,0) c LitScanFractions_5 : 204262
420.98/81.93	c (52,0) c LitScanFractions_6 : 174031
420.98/81.93	c (52,0) c LitScanFractions_7 : 235503
420.98/81.93	c (52,0) c LitScanFractions_total : 1673696
420.98/81.93	c (52,0) c LitScanFractions_winner : 184587
420.98/81.93	c (52,0) c DecisionLevel0_0 : 34
420.98/81.93	c (52,0) c DecisionLevel0_1 : 41
420.98/81.93	c (52,0) c DecisionLevel0_2 : 19
420.98/81.93	c (52,0) c DecisionLevel0_3 : 37
420.98/81.93	c (52,0) c DecisionLevel0_4 : 50
420.98/81.93	c (52,0) c DecisionLevel0_5 : 34
420.98/81.93	c (52,0) c DecisionLevel0_6 : 40
420.98/81.93	c (52,0) c DecisionLevel0_7 : 59
420.98/81.93	c (52,0) c DecisionLevel0_total : 314
420.98/81.93	c (52,0) c DecisionLevel0_winner : 34
420.98/81.93	c (52,0) c Periods_0 : 282
420.98/81.93	c (52,0) c Periods_1 : 285
420.98/81.93	c (52,0) c Periods_2 : 300
420.98/81.93	c (52,0) c Periods_3 : 294
420.98/81.93	c (52,0) c Periods_4 : 299
420.98/81.93	c (52,0) c Periods_5 : 290
420.98/81.93	c (52,0) c Periods_6 : 283
420.98/81.93	c (52,0) c Periods_7 : 285
420.98/81.93	c (52,0) c Periods_total : 2318
420.98/81.93	c (52,0) c Periods_winner : 282
420.98/81.93	c (52,0) c Margin_0 : 20
420.98/81.93	c (52,0) c Margin_1 : 20
420.98/81.93	c (52,0) c Margin_2 : 20
420.98/81.93	c (52,0) c Margin_3 : 20
420.98/81.93	c (52,0) c Margin_4 : 20
420.98/81.93	c (52,0) c Margin_5 : 20
420.98/81.93	c (52,0) c Margin_6 : 20
420.98/81.93	c (52,0) c Margin_7 : 20
420.98/81.93	c (52,0) c Margin_total : 160
420.98/81.93	c (52,0) c Margin_winner : 20
420.98/81.93	c (52,0) c Exported_0 : 528
420.98/81.93	c (52,0) c Exported_1 : 523
420.98/81.93	c (52,0) c Exported_2 : 676
420.98/81.93	c (52,0) c Exported_3 : 514
420.98/81.93	c (52,0) c Exported_4 : 581
420.98/81.93	c (52,0) c Exported_5 : 527
420.98/81.93	c (52,0) c Exported_6 : 540
420.98/81.93	c (52,0) c Exported_7 : 575
420.98/81.93	c (52,0) c Exported_total : 4464
420.98/81.93	c (52,0) c Exported_winner : 528
420.98/81.93	c (52,0) c Imported_0 : 2656
420.98/81.93	c (52,0) c Imported_1 : 2396
420.98/81.93	c (52,0) c Imported_2 : 2721
420.98/81.93	c (52,0) c Imported_3 : 3026
420.98/81.93	c (52,0) c Imported_4 : 3005
420.98/81.93	c (52,0) c Imported_5 : 2874
420.98/81.93	c (52,0) c Imported_6 : 2563
420.98/81.93	c (52,0) c Imported_7 : 2469
420.98/81.93	c (52,0) c Imported_total : 21710
420.98/81.93	c (52,0) c Imported_winner : 2656
420.98/81.93	c (52,0) c Good_0 : 101
420.98/81.93	c (52,0) c Good_1 : 84
420.98/81.93	c (52,0) c Good_2 : 98
420.98/81.93	c (52,0) c Good_3 : 89
420.98/81.93	c (52,0) c Good_4 : 92
420.98/81.93	c (52,0) c Good_5 : 93
420.98/81.93	c (52,0) c Good_6 : 94
420.98/81.93	c (52,0) c Good_7 : 91
420.98/81.93	c (52,0) c Good_total : 742
420.98/81.93	c (52,0) c Good_winner : 101
420.98/81.93	c (52,0) c Purge_0 : 2555
420.98/81.93	c (52,0) c Purge_1 : 2312
420.98/81.93	c (52,0) c Purge_2 : 2623
420.98/81.93	c (52,0) c Purge_3 : 2937
420.98/81.93	c (52,0) c Purge_4 : 2913
420.98/81.93	c (52,0) c Purge_5 : 2781
420.98/81.93	c (52,0) c Purge_6 : 2469
420.98/81.93	c (52,0) c Purge_7 : 2378
420.98/81.93	c (52,0) c Purge_total : 20968
420.98/81.93	c (52,0) c Purge_winner : 2555
420.98/81.93	c (52,0) c Promoted_0 : 108
420.98/81.93	c (52,0) c Promoted_1 : 122
420.98/81.93	c (52,0) c Promoted_2 : 98
420.98/81.93	c (52,0) c Promoted_3 : 135
420.98/81.93	c (52,0) c Promoted_4 : 106
420.98/81.93	c (52,0) c Promoted_5 : 89
420.98/81.93	c (52,0) c Promoted_6 : 118
420.98/81.93	c (52,0) c Promoted_7 : 119
420.98/81.93	c (52,0) c Promoted_total : 895
420.98/81.93	c (52,0) c Promoted_winner : 108
420.98/81.93	c (52,0) c Remove_Imp_0 : 0
420.98/81.93	c (52,0) c Remove_Imp_1 : 0
420.98/81.93	c (52,0) c Remove_Imp_2 : 0
420.98/81.93	c (52,0) c Remove_Imp_3 : 0
420.98/81.93	c (52,0) c Remove_Imp_4 : 0
420.98/81.93	c (52,0) c Remove_Imp_5 : 0
420.98/81.93	c (52,0) c Remove_Imp_6 : 0
420.98/81.93	c (52,0) c Remove_Imp_7 : 0
420.98/81.93	c (52,0) c Remove_Imp_total : 0
420.98/81.93	c (52,0) c Remove_Imp_winner : 0
420.98/81.93	c (52,0) c Blocked_Reuse_0 : 0
420.98/81.93	c (52,0) c Blocked_Reuse_1 : 0
420.98/81.93	c (52,0) c Blocked_Reuse_2 : 0
420.98/81.93	c (52,0) c Blocked_Reuse_3 : 0
420.98/81.93	c (52,0) c Blocked_Reuse_4 : 0
420.98/81.93	c (52,0) c Blocked_Reuse_5 : 0
420.98/81.93	c (52,0) c Blocked_Reuse_6 : 0
420.98/81.93	c (52,0) c Blocked_Reuse_7 : 0
420.98/81.93	c (52,0) c Blocked_Reuse_total : 0
420.98/81.93	c (52,0) c Blocked_Reuse_winner : 0
420.98/81.93	c (52,0) c Unaries_0 : 17
420.98/81.93	c (52,0) c Unaries_1 : 17
420.98/81.93	c (52,0) c Unaries_2 : 13
420.98/81.93	c (52,0) c Unaries_3 : 15
420.98/81.93	c (52,0) c Unaries_4 : 27
420.98/81.93	c (52,0) c Unaries_5 : 11
420.98/81.93	c (52,0) c Unaries_6 : 20
420.98/81.93	c (52,0) c Unaries_7 : 34
420.98/81.93	c (52,0) c Unaries_total : 154
420.98/81.93	c (52,0) c Unaries_winner : 17
420.98/81.93	c (52,0) c Binaries_0 : 8
420.98/81.93	c (52,0) c Binaries_1 : 19
420.98/81.93	c (52,0) c Binaries_2 : 10
420.98/81.93	c (52,0) c Binaries_3 : 22
420.98/81.93	c (52,0) c Binaries_4 : 17
420.98/81.93	c (52,0) c Binaries_5 : 15
420.98/81.93	c (52,0) c Binaries_6 : 17
420.98/81.93	c (52,0) c Binaries_7 : 17
420.98/81.93	c (52,0) c Binaries_total : 125
420.98/81.93	c (52,0) c Binaries_winner : 8
420.98/81.93	c (52,0) c Glues_0 : 452
420.98/81.93	c (52,0) c Glues_1 : 419
420.98/81.93	c (52,0) c Glues_2 : 340
420.98/81.93	c (52,0) c Glues_3 : 403
420.98/81.93	c (52,0) c Glues_4 : 376
420.98/81.93	c (52,0) c Glues_5 : 346
420.98/81.93	c (52,0) c Glues_6 : 463
420.98/81.93	c (52,0) c Glues_7 : 462
420.98/81.93	c (52,0) c Glues_total : 3261
420.98/81.93	c (52,0) c Glues_winner : 452
420.98/81.93	c (52,0) c RunningTime_0 : 47.445141
420.98/81.93	c (52,0) c RunningTime_1 : 47.488179
420.98/81.93	c (52,0) c RunningTime_2 : 47.445854
420.98/81.93	c (52,0) c RunningTime_3 : 47.383440
420.98/81.93	c (52,0) c RunningTime_4 : 47.497697
420.98/81.93	c (52,0) c RunningTime_5 : 47.473399
420.98/81.93	c (52,0) c RunningTime_6 : 47.059854
420.98/81.93	c (52,0) c RunningTime_7 : 47.496109
420.98/81.93	c (52,0) c RunningTime_total : 379.289673
420.98/81.93	c (52,0) c RunningTime_winner : 47.445141
420.98/81.93	c (52,0) c WaitingTime_0 : 0.000463
420.98/81.93	c (52,0) c WaitingTime_1 : 0.000610
420.98/81.94	c (52,0) c WaitingTime_2 : 0.092743
420.98/81.94	c (52,0) c WaitingTime_3 : 0.092665
420.98/81.94	c (52,0) c WaitingTime_4 : 0.000602
420.98/81.94	c (52,0) c WaitingTime_5 : 0.000606
420.98/81.94	c (52,0) c WaitingTime_6 : 0.495505
420.98/81.94	c (52,0) c WaitingTime_7 : 0.000573
420.98/81.94	c (52,0) c WaitingTime_total : 0.683768
420.98/81.94	c (52,0) c WaitingTime_winner : 0.000463
420.98/81.94	c (52,0) c ExchangingTime_0 : 0.019706
420.98/81.94	c (52,0) c ExchangingTime_1 : 0.006636
420.98/81.94	c (52,0) c ExchangingTime_2 : 0.006502
420.98/81.94	c (52,0) c ExchangingTime_3 : 0.007383
420.98/81.94	c (52,0) c ExchangingTime_4 : 0.007314
420.98/81.94	c (52,0) c ExchangingTime_5 : 0.006510
420.98/81.94	c (52,0) c ExchangingTime_6 : 0.006894
420.98/81.94	c (52,0) c ExchangingTime_7 : 0.007347
420.98/81.94	c (52,0) c ExchangingTime_total : 0.068291
420.98/81.94	c (52,0) c ExchangingTime_winner : 0.019706
420.98/81.94	c (52,0) c PeriodProcTime_0 : 0.003802
420.98/81.94	c (52,0) c PeriodProcTime_1 : 0.003504
420.98/81.94	c (52,0) c PeriodProcTime_2 : 0.003987
420.98/81.94	c (52,0) c PeriodProcTime_3 : 0.003817
420.98/81.94	c (52,0) c PeriodProcTime_4 : 0.004027
420.98/81.94	c (52,0) c PeriodProcTime_5 : 0.003568
420.98/81.94	c (52,0) c PeriodProcTime_6 : 0.003707
420.98/81.94	c (52,0) c PeriodProcTime_7 : 0.003682
420.98/81.94	c (52,0) c PeriodProcTime_total : 0.030094
420.98/81.94	c (52,0) c PeriodProcTime_winner : 0.003802
420.98/81.94	c (52,0) c SolvingTime_0 : 47.469111
420.98/81.94	c (52,0) c SolvingTime_1 : 47.498929
420.98/81.94	c (52,0) c SolvingTime_2 : 47.549086
420.98/81.94	c (52,0) c SolvingTime_3 : 47.487305
420.98/81.94	c (52,0) c SolvingTime_4 : 47.509640
420.98/81.94	c (52,0) c SolvingTime_5 : 47.484083
420.98/81.94	c (52,0) c SolvingTime_6 : 47.565960
420.98/81.94	c (52,0) c SolvingTime_7 : 47.507710
420.98/81.94	c (52,0) c SolvingTime_total : 380.071826
420.98/81.94	c (52,0) c SolvingTime_winner : 47.469111
420.98/81.94	c (52,0) c PropagationTime_0 : 44.335621
420.98/81.94	c (52,0) c PropagationTime_1 : 44.404804
420.98/81.94	c (52,0) c PropagationTime_2 : 44.551965
420.98/81.94	c (52,0) c PropagationTime_3 : 44.020513
420.98/81.94	c (52,0) c PropagationTime_4 : 44.315234
420.98/81.94	c (52,0) c PropagationTime_5 : 44.438419
420.98/81.94	c (52,0) c PropagationTime_6 : 44.247693
420.98/81.94	c (52,0) c PropagationTime_7 : 44.313504
420.98/81.94	c (52,0) c PropagationTime_total : 354.627754
420.98/81.94	c (52,0) c PropagationTime_winner : 44.335621
420.98/81.94	c (52,0) c AnalysisTime_0 : 0.715647
420.98/81.94	c (52,0) c AnalysisTime_1 : 0.681139
420.98/81.94	c (52,0) c AnalysisTime_2 : 0.797314
420.98/81.94	c (52,0) c AnalysisTime_3 : 0.752378
420.98/81.94	c (52,0) c AnalysisTime_4 : 0.758415
420.98/81.94	c (52,0) c AnalysisTime_5 : 0.764436
420.98/81.94	c (52,0) c AnalysisTime_6 : 0.770603
420.98/81.94	c (52,0) c AnalysisTime_7 : 0.736487
420.98/81.94	c (52,0) c AnalysisTime_total : 5.976420
420.98/81.94	c (52,0) c AnalysisTime_winner : 0.715647
420.98/81.94	c (52,0) c ReductionTime_0 : 0.001612
420.98/81.94	c (52,0) c ReductionTime_1 : 0.001684
420.98/81.94	c (52,0) c ReductionTime_2 : 0.000458
420.98/81.94	c (52,0) c ReductionTime_3 : 0.000665
420.98/81.94	c (52,0) c ReductionTime_4 : 0.000477
420.98/81.94	c (52,0) c ReductionTime_5 : 0.000475
420.98/81.94	c (52,0) c ReductionTime_6 : 0.000614
420.98/81.94	c (52,0) c ReductionTime_7 : 0.000486
420.98/81.94	c (52,0) c ReductionTime_total : 0.006471
420.98/81.94	c (52,0) c ReductionTime_winner : 0.001612
420.98/81.94	c (52,0) c SimplifyTime_0 : 1.360818
420.98/81.94	c (52,0) c SimplifyTime_1 : 1.385601
420.98/81.94	c (52,0) c SimplifyTime_2 : 1.123646
420.98/81.94	c (52,0) c SimplifyTime_3 : 1.646401
420.98/81.94	c (52,0) c SimplifyTime_4 : 1.353897
420.98/81.94	c (52,0) c SimplifyTime_5 : 1.210883
420.98/81.94	c (52,0) c SimplifyTime_6 : 1.487294
420.98/81.94	c (52,0) c SimplifyTime_7 : 1.388093
420.98/81.94	c (52,0) c SimplifyTime_total : 10.956634
420.98/81.94	c (52,0) c SimplifyTime_winner : 1.360818
420.98/81.94	c (52,0) c UsedRateTime_0 : 0.000000
420.98/81.94	c (52,0) c UsedRateTime_1 : 0.000000
420.98/81.94	c (52,0) c UsedRateTime_2 : 0.000000
420.98/81.94	c (52,0) c UsedRateTime_3 : 0.000000
420.98/81.94	c (52,0) c UsedRateTime_4 : 0.000000
420.98/81.94	c (52,0) c UsedRateTime_5 : 0.000000
420.98/81.94	c (52,0) c UsedRateTime_6 : 0.000000
420.98/81.94	c (52,0) c UsedRateTime_7 : 0.000000
420.98/81.94	c (52,0) c UsedRateTime_total : 0.000000
420.98/81.94	c (52,0) c UsedRateTime_winner : 0.000000
420.98/81.94	c (52,0) c OverlapRateTime_0 : 0.000000
420.98/81.94	c (52,0) c OverlapRateTime_1 : 0.000000
420.98/81.94	c (52,0) c OverlapRateTime_2 : 0.000000
420.98/81.94	c (52,0) c OverlapRateTime_3 : 0.000000
420.98/81.94	c (52,0) c OverlapRateTime_4 : 0.000000
420.98/81.94	c (52,0) c OverlapRateTime_5 : 0.000000
420.98/81.94	c (52,0) c OverlapRateTime_6 : 0.000000
420.98/81.94	c (52,0) c OverlapRateTime_7 : 0.000000
420.98/81.94	c (52,0) c OverlapRateTime_total : 0.000000
420.98/81.94	c (52,0) c OverlapRateTime_winner : 0.000000
420.98/81.94	c (52,0) c
420.98/81.94	c (52,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
420.98/81.94	c (52,0) c
420.98/81.94	c (52,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
420.98/81.94	c (52,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
420.98/81.94	c (52,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
420.98/81.94	c (52,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
420.98/81.94	c (52,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
420.98/81.94	c (52,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
420.98/81.94	c (52,0) c | Initial random_seed   | 1531936566 | 2007628530 | 1152848595 | 1085522654 |    1620111 |  406628276 | 1451007828 | 1286042607 |
420.98/81.94	c (52,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
420.98/81.94	c (52,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
420.98/81.94	c (52,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
420.98/81.94	c (52,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
420.98/81.94	c (52,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
420.98/81.94	c (52,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
420.98/81.94	c (52,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
420.98/81.94	c (52,0) c | var_decay             |     0.8100 |     0.8100 |     0.8100 |     0.8100 |     0.8100 |     0.8100 |     0.8100 |     0.8100 |
420.98/81.94	c (52,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
420.98/81.94	c (52,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
420.98/81.94	c (52,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
420.98/81.94	c (52,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
420.98/81.94	c (52,0) 
420.98/81.94	c (52,0) s SATISFIABLE
39.66/82.21	c (53,0) SatSolver.solve End
39.66/82.21	c (53,0) Heap : 184 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
39.66/82.21	c (53,0) Show results Begin
421.97/82.35	c (53,0) x0 = 44
421.97/82.35	c (53,0) x1 = 43
421.97/82.35	c (53,0) x10 = 518
421.97/82.35	c (53,0) x100 = 445
421.97/82.35	c (53,0) x101 = 446
421.97/82.35	c (53,0) x102 = 533
421.97/82.35	c (53,0) x103 = 532
421.97/82.35	c (53,0) x104 = 625
421.97/82.35	c (53,0) x105 = 626
421.97/82.35	c (53,0) x106 = 664
421.97/82.35	c (53,0) x107 = 665
421.97/82.35	c (53,0) x108 = 704
421.97/82.35	c (53,0) x109 = 703
421.97/82.35	c (53,0) x11 = 517
421.97/82.35	c (53,0) x110 = 708
421.97/82.35	c (53,0) x111 = 707
421.97/82.35	c (53,0) x112 = 837
421.97/82.35	c (53,0) x113 = 838
421.97/82.35	c (53,0) x114 = 921
421.97/82.35	c (53,0) x115 = 922
421.97/82.35	c (53,0) x116 = 1109
421.97/82.35	c (53,0) x117 = 1110
421.97/82.35	c (53,0) x118 = 1209
421.97/82.35	c (53,0) x119 = 1210
421.97/82.35	c (53,0) x12 = 754
421.97/82.35	c (53,0) x120 = 0
421.97/82.35	c (53,0) x121 = 1
421.97/82.35	c (53,0) x122 = 86
421.97/82.35	c (53,0) x123 = 85
421.97/82.35	c (53,0) x124 = 166
421.97/82.35	c (53,0) x125 = 167
421.97/82.35	c (53,0) x126 = 203
421.97/82.35	c (53,0) x127 = 202
421.97/82.35	c (53,0) x128 = 261
421.97/82.35	c (53,0) x129 = 260
421.97/82.35	c (53,0) x13 = 755
421.97/82.35	c (53,0) x130 = 380
421.97/82.35	c (53,0) x131 = 379
421.97/82.35	c (53,0) x132 = 414
421.97/82.35	c (53,0) x133 = 415
421.97/82.35	c (53,0) x134 = 461
421.97/82.35	c (53,0) x135 = 462
421.97/82.35	c (53,0) x136 = 465
421.97/82.35	c (53,0) x137 = 466
421.97/82.35	c (53,0) x138 = 560
421.97/82.35	c (53,0) x139 = 559
421.97/82.35	c (53,0) x14 = 859
421.97/82.35	c (53,0) x140 = 661
421.97/82.35	c (53,0) x141 = 660
421.97/82.35	c (53,0) x142 = 671
421.97/82.35	c (53,0) x143 = 670
421.97/82.35	c (53,0) x144 = 751
421.97/82.35	c (53,0) x145 = 750
421.97/82.35	c (53,0) x146 = 1081
421.97/82.35	c (53,0) x147 = 1082
421.97/82.35	c (53,0) x148 = 1162
421.97/82.35	c (53,0) x149 = 1163
421.97/82.35	c (53,0) x15 = 860
421.97/82.35	c (53,0) x150 = 0
421.97/82.35	c (53,0) x151 = 1
421.97/82.35	c (53,0) x152 = 29
421.97/82.35	c (53,0) x153 = 30
421.97/82.35	c (53,0) x154 = 96
421.97/82.35	c (53,0) x155 = 97
421.97/82.35	c (53,0) x156 = 166
421.97/82.35	c (53,0) x157 = 167
421.97/82.35	c (53,0) x158 = 169
421.97/82.35	c (53,0) x159 = 168
421.97/82.35	c (53,0) x16 = 869
421.97/82.35	c (53,0) x160 = 204
421.97/82.36	c (53,0) x161 = 205
421.97/82.36	c (53,0) x162 = 453
421.97/82.36	c (53,0) x163 = 452
421.97/82.36	c (53,0) x164 = 528
421.97/82.36	c (53,0) x165 = 529
421.97/82.36	c (53,0) x166 = 614
421.97/82.36	c (53,0) x167 = 615
421.97/82.36	c (53,0) x168 = 715
421.97/82.36	c (53,0) x169 = 716
421.97/82.36	c (53,0) x17 = 868
421.97/82.36	c (53,0) x170 = 772
421.97/82.36	c (53,0) x171 = 771
421.97/82.36	c (53,0) x172 = 871
421.97/82.36	c (53,0) x173 = 870
421.97/82.36	c (53,0) x174 = 952
421.97/82.36	c (53,0) x175 = 953
421.97/82.36	c (53,0) x176 = 1047
421.97/82.36	c (53,0) x177 = 1048
421.97/82.36	c (53,0) x178 = 1186
421.97/82.36	c (53,0) x179 = 1185
421.97/82.36	c (53,0) x18 = 919
421.97/82.36	c (53,0) x180 = 0
421.97/82.36	c (53,0) x181 = 7
421.97/82.36	c (53,0) x182 = 41
421.97/82.36	c (53,0) x183 = 42
421.97/82.36	c (53,0) x184 = 169
421.97/82.36	c (53,0) x185 = 168
421.97/82.36	c (53,0) x186 = 274
421.97/82.36	c (53,0) x187 = 275
421.97/82.36	c (53,0) x188 = 282
421.97/82.36	c (53,0) x189 = 283
421.97/82.36	c (53,0) x19 = 918
421.97/82.36	c (53,0) x190 = 307
421.97/82.36	c (53,0) x191 = 306
421.97/82.36	c (53,0) x192 = 324
421.97/82.36	c (53,0) x193 = 323
421.97/82.36	c (53,0) x194 = 408
421.97/82.36	c (53,0) x195 = 407
421.97/82.36	c (53,0) x196 = 514
421.97/82.36	c (53,0) x197 = 515
421.97/82.36	c (53,0) x198 = 684
421.97/82.36	c (53,0) x199 = 683
421.97/82.36	c (53,0) x2 = 129
421.97/82.36	c (53,0) x20 = 951
421.97/82.36	c (53,0) x200 = 844
421.97/82.36	c (53,0) x201 = 845
421.97/82.36	c (53,0) x202 = 881
421.97/82.36	c (53,0) x203 = 882
421.97/82.36	c (53,0) x204 = 1093
421.97/82.36	c (53,0) x205 = 1092
421.97/82.36	c (53,0) x206 = 1192
421.97/82.36	c (53,0) x207 = 1193
421.97/82.36	c (53,0) x208 = 1237
421.97/82.36	c (53,0) x209 = 1236
421.97/82.36	c (53,0) x21 = 952
421.97/82.36	c (53,0) x210 = 0
421.97/82.36	c (53,0) x211 = 1
421.97/82.36	c (53,0) x212 = 50
421.97/82.36	c (53,0) x213 = 49
421.97/82.36	c (53,0) x214 = 136
421.97/82.36	c (53,0) x215 = 135
421.97/82.36	c (53,0) x216 = 254
421.97/82.36	c (53,0) x217 = 253
421.97/82.36	c (53,0) x218 = 355
421.97/82.36	c (53,0) x219 = 354
421.97/82.36	c (53,0) x22 = 971
421.97/82.36	c (53,0) x220 = 401
421.97/82.36	c (53,0) x221 = 402
421.97/82.36	c (53,0) x222 = 410
421.97/82.36	c (53,0) x223 = 411
421.97/82.36	c (53,0) x224 = 494
421.97/82.36	c (53,0) x225 = 495
421.97/82.36	c (53,0) x226 = 599
421.97/82.36	c (53,0) x227 = 598
421.97/82.36	c (53,0) x228 = 664
421.97/82.36	c (53,0) x229 = 663
421.97/82.36	c (53,0) x23 = 972
421.97/82.36	c (53,0) x230 = 753
421.97/82.36	c (53,0) x231 = 752
421.97/82.36	c (53,0) x232 = 762
421.97/82.36	c (53,0) x233 = 763
421.97/82.36	c (53,0) x234 = 852
421.97/82.36	c (53,0) x235 = 851
421.97/82.36	c (53,0) x236 = 955
421.97/82.36	c (53,0) x237 = 956
421.97/82.36	c (53,0) x238 = 1037
421.97/82.36	c (53,0) x239 = 1038
421.97/82.36	c (53,0) x24 = 1064
421.97/82.36	c (53,0) x240 = 0
421.97/82.36	c (53,0) x241 = 1
421.97/82.36	c (53,0) x242 = 173
421.97/82.36	c (53,0) x243 = 172
421.97/82.36	c (53,0) x244 = 283
421.97/82.36	c (53,0) x245 = 282
421.97/82.36	c (53,0) x246 = 358
421.97/82.36	c (53,0) x247 = 357
421.97/82.36	c (53,0) x248 = 427
421.97/82.36	c (53,0) x249 = 428
421.97/82.36	c (53,0) x25 = 1063
421.97/82.36	c (53,0) x250 = 434
421.97/82.36	c (53,0) x251 = 433
421.97/82.36	c (53,0) x252 = 460
421.97/82.36	c (53,0) x253 = 461
421.97/82.36	c (53,0) x254 = 586
421.97/82.36	c (53,0) x255 = 587
421.97/82.36	c (53,0) x256 = 858
421.97/82.36	c (53,0) x257 = 859
421.97/82.36	c (53,0) x258 = 953
421.97/82.36	c (53,0) x259 = 952
421.97/82.36	c (53,0) x26 = 1129
421.97/82.36	c (53,0) x260 = 981
421.97/82.36	c (53,0) x261 = 980
421.97/82.36	c (53,0) x262 = 1102
421.97/82.36	c (53,0) x263 = 1103
421.97/82.36	c (53,0) x264 = 1185
421.97/82.36	c (53,0) x265 = 1184
421.97/82.36	c (53,0) x266 = 1190
421.97/82.36	c (53,0) x267 = 1191
421.97/82.36	c (53,0) x268 = 1281
421.97/82.36	c (53,0) x269 = 1280
421.97/82.36	c (53,0) x27 = 1130
421.97/82.36	c (53,0) x270 = 76
421.97/82.36	c (53,0) x271 = 77
421.97/82.36	c (53,0) x272 = 162
421.97/82.36	c (53,0) x273 = 163
421.97/82.36	c (53,0) x274 = 227
421.97/82.36	c (53,0) x275 = 226
421.97/82.36	c (53,0) x276 = 435
421.97/82.36	c (53,0) x277 = 436
421.97/82.36	c (53,0) x278 = 512
421.97/82.36	c (53,0) x279 = 511
421.97/82.36	c (53,0) x28 = 1218
421.97/82.36	c (53,0) x280 = 619
421.97/82.36	c (53,0) x281 = 620
421.97/82.36	c (53,0) x282 = 713
421.97/82.36	c (53,0) x283 = 714
421.97/82.36	c (53,0) x284 = 748
421.97/82.36	c (53,0) x285 = 747
421.97/82.36	c (53,0) x286 = 792
421.97/82.36	c (53,0) x287 = 791
421.97/82.36	c (53,0) x288 = 848
421.97/82.36	c (53,0) x289 = 847
421.97/82.36	c (53,0) x29 = 1217
421.97/82.36	c (53,0) x290 = 895
421.97/82.36	c (53,0) x291 = 894
421.97/82.36	c (53,0) x292 = 990
421.97/82.36	c (53,0) x293 = 989
421.97/82.36	c (53,0) x294 = 994
421.97/82.36	c (53,0) x295 = 995
421.97/82.36	c (53,0) x296 = 1013
421.97/82.36	c (53,0) x297 = 1012
421.97/82.36	c (53,0) x298 = 1108
421.97/82.36	c (53,0) x299 = 1109
421.97/82.36	c (53,0) x3 = 128
421.97/82.36	c (53,0) x30 = 0
421.97/82.36	c (53,0) x300 = 0
421.97/82.36	c (53,0) x301 = 1
421.97/82.36	c (53,0) x302 = 41
421.97/82.36	c (53,0) x303 = 40
421.97/82.36	c (53,0) x304 = 49
421.97/82.36	c (53,0) x305 = 50
421.97/82.36	c (53,0) x306 = 110
421.97/82.36	c (53,0) x307 = 111
421.97/82.36	c (53,0) x308 = 132
421.97/82.36	c (53,0) x309 = 133
421.97/82.36	c (53,0) x31 = 1
421.97/82.36	c (53,0) x310 = 134
421.97/82.36	c (53,0) x311 = 135
421.97/82.36	c (53,0) x312 = 211
421.97/82.36	c (53,0) x313 = 212
421.97/82.36	c (53,0) x314 = 305
421.97/82.36	c (53,0) x315 = 304
421.97/82.36	c (53,0) x316 = 386
421.97/82.36	c (53,0) x317 = 385
421.97/82.36	c (53,0) x318 = 483
421.97/82.36	c (53,0) x319 = 484
421.97/82.36	c (53,0) x32 = 47
421.97/82.36	c (53,0) x320 = 631
421.97/82.36	c (53,0) x321 = 630
421.97/82.36	c (53,0) x322 = 986
421.97/82.36	c (53,0) x323 = 987
421.97/82.36	c (53,0) x324 = 1052
421.97/82.36	c (53,0) x325 = 1051
421.97/82.36	c (53,0) x326 = 1109
421.97/82.36	c (53,0) x327 = 1108
421.97/82.36	c (53,0) x328 = 1207
421.97/82.36	c (53,0) x329 = 1206
421.97/82.36	c (53,0) x33 = 46
421.97/82.36	c (53,0) x330 = 0
421.97/82.36	c (53,0) x331 = 1
421.97/82.36	c (53,0) x332 = 39
421.97/82.36	c (53,0) x333 = 38
421.97/82.36	c (53,0) x334 = 124
421.97/82.36	c (53,0) x335 = 123
421.97/82.36	c (53,0) x336 = 185
421.97/82.36	c (53,0) x337 = 186
421.97/82.36	c (53,0) x338 = 264
421.97/82.36	c (53,0) x339 = 265
421.97/82.36	c (53,0) x34 = 132
421.97/82.36	c (53,0) x340 = 280
421.97/82.36	c (53,0) x341 = 279
421.97/82.36	c (53,0) x342 = 290
421.97/82.36	c (53,0) x343 = 291
421.97/82.36	c (53,0) x344 = 399
421.97/82.36	c (53,0) x345 = 400
421.97/82.36	c (53,0) x346 = 465
421.97/82.36	c (53,0) x347 = 464
421.97/82.36	c (53,0) x348 = 562
421.97/82.36	c (53,0) x349 = 563
421.97/82.36	c (53,0) x35 = 131
421.97/82.36	c (53,0) x350 = 660
421.97/82.36	c (53,0) x351 = 659
421.97/82.36	c (53,0) x352 = 694
421.97/82.36	c (53,0) x353 = 693
421.97/82.36	c (53,0) x354 = 741
421.97/82.36	c (53,0) x355 = 742
421.97/82.36	c (53,0) x356 = 763
421.97/82.36	c (53,0) x357 = 762
421.97/82.36	c (53,0) x358 = 1260
421.97/82.36	c (53,0) x359 = 1261
421.97/82.36	c (53,0) x36 = 294
421.97/82.36	c (53,0) x360 = 30
421.97/82.36	c (53,0) x361 = 24
421.97/82.36	c (53,0) x362 = 204
421.97/82.36	c (53,0) x363 = 205
421.97/82.36	c (53,0) x364 = 227
421.97/82.36	c (53,0) x365 = 226
421.97/82.36	c (53,0) x366 = 245
421.97/82.36	c (53,0) x367 = 244
421.97/82.36	c (53,0) x368 = 286
421.97/82.36	c (53,0) x369 = 285
421.97/82.36	c (53,0) x37 = 293
421.97/82.36	c (53,0) x370 = 327
421.97/82.36	c (53,0) x371 = 326
421.97/82.36	c (53,0) x372 = 392
421.97/82.36	c (53,0) x373 = 393
421.97/82.36	c (53,0) x374 = 426
421.97/82.36	c (53,0) x375 = 427
421.97/82.36	c (53,0) x376 = 466
421.97/82.36	c (53,0) x377 = 467
421.97/82.36	c (53,0) x378 = 707
421.97/82.36	c (53,0) x379 = 708
421.97/82.36	c (53,0) x38 = 341
421.97/82.36	c (53,0) x380 = 722
421.97/82.36	c (53,0) x381 = 721
421.97/82.36	c (53,0) x382 = 1041
421.97/82.36	c (53,0) x383 = 1040
421.97/82.36	c (53,0) x384 = 1084
421.97/82.36	c (53,0) x385 = 1083
421.97/82.36	c (53,0) x386 = 1210
421.97/82.36	c (53,0) x387 = 1209
421.97/82.36	c (53,0) x388 = 1255
421.97/82.36	c (53,0) x389 = 1256
421.97/82.36	c (53,0) x39 = 342
421.97/82.36	c (53,0) x390 = 1
421.97/82.36	c (53,0) x391 = 0
421.97/82.36	c (53,0) x392 = 219
421.97/82.36	c (53,0) x393 = 220
421.97/82.36	c (53,0) x394 = 322
421.97/82.36	c (53,0) x395 = 321
421.97/82.36	c (53,0) x396 = 336
421.97/82.36	c (53,0) x397 = 358
421.97/82.36	c (53,0) x398 = 428
421.97/82.36	c (53,0) x399 = 427
421.97/82.36	c (53,0) x4 = 130
421.97/82.36	c (53,0) x40 = 429
421.97/82.36	c (53,0) x400 = 522
421.97/82.36	c (53,0) x401 = 521
421.97/82.36	c (53,0) x402 = 555
421.97/82.36	c (53,0) x403 = 554
421.97/82.36	c (53,0) x404 = 561
421.97/82.36	c (53,0) x405 = 560
421.97/82.36	c (53,0) x406 = 610
421.97/82.36	c (53,0) x407 = 609
421.97/82.36	c (53,0) x408 = 774
421.97/82.36	c (53,0) x409 = 775
421.97/82.36	c (53,0) x41 = 430
421.97/82.36	c (53,0) x410 = 842
421.97/82.36	c (53,0) x411 = 841
421.97/82.36	c (53,0) x412 = 846
421.97/82.36	c (53,0) x413 = 847
421.97/82.36	c (53,0) x414 = 848
421.97/82.36	c (53,0) x415 = 847
421.97/82.36	c (53,0) x416 = 870
421.97/82.36	c (53,0) x417 = 871
421.97/82.36	c (53,0) x418 = 962
421.97/82.36	c (53,0) x419 = 961
421.97/82.36	c (53,0) x42 = 559
421.97/82.36	c (53,0) x420 = 0
421.97/82.36	c (53,0) x421 = 6
421.97/82.36	c (53,0) x422 = 30
421.97/82.36	c (53,0) x423 = 29
421.97/82.36	c (53,0) x424 = 269
421.97/82.36	c (53,0) x425 = 268
421.97/82.36	c (53,0) x426 = 273
421.97/82.36	c (53,0) x427 = 274
421.97/82.36	c (53,0) x428 = 470
421.97/82.36	c (53,0) x429 = 471
421.97/82.36	c (53,0) x43 = 558
421.97/82.36	c (53,0) x430 = 591
421.97/82.36	c (53,0) x431 = 592
421.97/82.36	c (53,0) x432 = 676
421.97/82.36	c (53,0) x433 = 677
421.97/82.36	c (53,0) x434 = 700
421.97/82.36	c (53,0) x435 = 699
421.97/82.36	c (53,0) x436 = 752
421.97/82.36	c (53,0) x437 = 751
421.97/82.36	c (53,0) x438 = 767
421.97/82.36	c (53,0) x439 = 766
421.97/82.36	c (53,0) x44 = 628
421.97/82.36	c (53,0) x440 = 859
421.97/82.36	c (53,0) x441 = 858
421.97/82.36	c (53,0) x442 = 945
421.97/82.36	c (53,0) x443 = 946
421.97/82.36	c (53,0) x444 = 1042
421.97/82.36	c (53,0) x445 = 1041
421.97/82.36	c (53,0) x446 = 1190
421.97/82.36	c (53,0) x447 = 1191
421.97/82.36	c (53,0) x448 = 1279
421.97/82.36	c (53,0) x449 = 1278
421.97/82.36	c (53,0) x45 = 627
421.97/82.36	c (53,0) x46 = 679
421.97/82.36	c (53,0) x47 = 680
421.97/82.36	c (53,0) x48 = 763
421.97/82.36	c (53,0) x49 = 762
421.97/82.36	c (53,0) x5 = 131
421.97/82.36	c (53,0) x50 = 919
421.97/82.36	c (53,0) x51 = 918
421.97/82.36	c (53,0) x52 = 1013
421.97/82.36	c (53,0) x53 = 1014
421.97/82.36	c (53,0) x54 = 1064
421.97/82.36	c (53,0) x55 = 1063
421.97/82.36	c (53,0) x56 = 1106
421.97/82.36	c (53,0) x57 = 1107
421.97/82.36	c (53,0) x58 = 1206
421.97/82.36	c (53,0) x59 = 1205
421.97/82.36	c (53,0) x6 = 327
421.97/82.36	c (53,0) x60 = 30
421.97/82.36	c (53,0) x61 = 21
421.97/82.36	c (53,0) x62 = 122
421.97/82.36	c (53,0) x63 = 123
421.97/82.36	c (53,0) x64 = 180
421.97/82.36	c (53,0) x65 = 179
421.97/82.36	c (53,0) x66 = 246
421.97/82.36	c (53,0) x67 = 247
421.97/82.36	c (53,0) x68 = 322
421.97/82.36	c (53,0) x69 = 321
421.97/82.36	c (53,0) x7 = 326
421.97/82.36	c (53,0) x70 = 412
421.97/82.36	c (53,0) x71 = 411
421.97/82.36	c (53,0) x72 = 476
421.97/82.36	c (53,0) x73 = 477
421.97/82.36	c (53,0) x74 = 583
421.97/82.36	c (53,0) x75 = 582
421.97/82.36	c (53,0) x76 = 619
421.97/82.36	c (53,0) x77 = 618
421.97/82.36	c (53,0) x78 = 679
421.97/82.36	c (53,0) x79 = 678
421.97/82.36	c (53,0) x8 = 382
421.97/82.36	c (53,0) x80 = 767
421.97/82.36	c (53,0) x81 = 768
421.97/82.36	c (53,0) x82 = 847
421.97/82.36	c (53,0) x83 = 846
421.97/82.36	c (53,0) x84 = 988
421.97/82.36	c (53,0) x85 = 987
421.97/82.36	c (53,0) x86 = 1025
421.97/82.36	c (53,0) x87 = 1026
421.97/82.36	c (53,0) x88 = 1105
421.97/82.36	c (53,0) x89 = 1106
421.97/82.36	c (53,0) x9 = 381
421.97/82.36	c (53,0) x90 = 0
421.97/82.36	c (53,0) x91 = 1
421.97/82.36	c (53,0) x92 = 116
421.97/82.36	c (53,0) x93 = 115
421.97/82.36	c (53,0) x94 = 228
421.97/82.36	c (53,0) x95 = 227
421.97/82.36	c (53,0) x96 = 282
421.97/82.36	c (53,0) x97 = 281
421.97/82.36	c (53,0) x98 = 416
421.97/82.36	c (53,0) x99 = 394
421.97/82.36	s SATISFIABLE
421.97/82.37	v <instantiation>
421.97/82.37	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>
421.97/82.37	v     <values>44 43 129 128 130 131 327 326 382 381 518 517 754 755 859 860 869 868 919 918 951 952 971 972 1064 1063 1129 1130 1218 1217 0 1 47 46 132 131 294 293 341 342 429 430 559 558 628 627 679 680 763 762 919 918 1013 1014 1064 1063 1106 1107 1206 1205 30 21 122 123 180 179 246 247 322 321 412 411 476 477 583 582 619 618 679 678 767 768 847 846 988 987 1025 1026 1105 1106 0 1 116 115 228 227 282 281 416 394 445 446 533 532 625 626 664 665 704 703 708 707 837 838 921 922 1109 1110 1209 1210 0 1 86 85 166 167 203 202 261 260 380 379 414 415 461 462 465 466 560 559 661 660 671 670 751 750 1081 1082 1162 1163 0 1 29 30 96 97 166 167 169 168 204 205 453 452 528 529 614 615 715 716 772 771 871 870 952 953 1047 1048 1186 1185 0 7 41 42 169 168 274 275 282 283 307 306 324 323 408 407 514 515 684 683 844 845 881 882 1093 1092 1192 1193 1237 1236 0 1 50 49 136 135 254 253 355 354 401 402 410 411 494 495 599 598 664 663 753 752 762 763 852 851 955 956 1037 1038 0 1 173 172 283 282 358 357 427 428 434 433 460 461 586 587 858 859 953 952 981 980 1102 1103 1185 1184 1190 1191 1281 1280 76 77 162 163 227 226 435 436 512 511 619 620 713 714 748 747 792 791 848 847 895 894 990 989 994 995 1013 1012 1108 1109 0 1 41 40 49 50 110 111 132 133 134 135 211 212 305 304 386 385 483 484 631 630 986 987 1052 1051 1109 1108 1207 1206 0 1 39 38 124 123 185 186 264 265 280 279 290 291 399 400 465 464 562 563 660 659 694 693 741 742 763 762 1260 1261 30 24 204 205 227 226 245 244 286 285 327 326 392 393 426 427 466 467 707 708 722 721 1041 1040 1084 1083 1210 1209 1255 1256 1 0 219 220 322 321 336 358 428 427 522 521 555 554 561 560 610 609 774 775 842 841 846 847 848 847 870 871 962 961 0 6 30 29 269 268 273 274 470 471 591 592 676 677 700 699 752 751 767 766 859 858 945 946 1042 1041 1190 1191 1279 1278</values>
421.97/82.37	v </instantiation>
421.97/82.37	c (53,0) Show results End
421.97/82.37	c (53,0) Heap : 225 MiB used (max 3925 MiB), NonHeap : 18 MiB used (max 0 MiB)
421.97/82.37	c (53,0) 53,53,STOP-AFTER(ALL)
421.97/82.37	c END-Prog: Sat Sep 14 08:23:24 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 (11890 MiB free)
  memory of node 1: 16384 MiB (15539 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4392618-1568442160/watcher-4392618-1568442160 -o /tmp/evaluation-result-4392618-1568442160/solver-4392618-1568442160 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node123-1568439477-8012 --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-4392618-1568442160.xml 

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

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


[startup+0.100131 s]*
/proc/loadavg: 4.52 6.76 7.73 2/212 8736
/proc/meminfo: memFree=27992736/32770624 swapFree=66999940/67108860
[pid=8714] ppid=8711 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/8714/stat : 8714 (scop.sh) S 8711 8714 7985 0 -1 4202496 557 319 0 0 0 0 0 0 20 0 1 0 420480911 115843072 349 33554432000 4194304 5098028 140722630021856 140722630019112 140307385934460 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 35119104 140722630026020 140722630026348 140722630026348 140722630029261 0
/proc/8714/statm: 28282 349 296 221 0 87 0
[pid=8717] ppid=8714 vsize=27314120 memory=107636 CPUtime=0.1 cores=0-7
/proc/8717/stat : 8717 (java) S 8714 8714 7985 0 -1 1077944320 6425 0 0 0 8 2 0 0 20 0 20 0 420480911 27969658880 26909 33554432000 4194304 4196468 140720598052944 140720598035488 140242575130359 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 22163456 140720598057707 140720598058134 140720598058134 140720598061007 0
/proc/8717/statm: 6828530 26909 2817 1 0 6790935 0
[pid=8717/tid=8718] ppid=8714 vsize=27314120 memory=1398722017469774279 CPUtime=0.09 cores=0-7
/proc/8717/task/8718/stat : 8718 (java) R 8714 8714 7985 0 -1 4202560 4523 0 0 0 7 2 0 0 20 0 20 0 420480911 27969658880 27421 33554432000 4194304 4196468 140720598052944 140242546955248 140242559210846 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22163456 140720598057707 140720598058134 140720598058134 140720598061007 0
[pid=8717/tid=8719] ppid=8714 vsize=27314120 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/8717/task/8719/stat : 8719 (java) S 8714 8714 7985 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420480914 27969658880 27421 33554432000 4194304 4196468 140720598052944 140242579372560 140242575140565 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22163456 140720598057707 140720598058134 140720598058134 140720598061007 0
[pid=8717/tid=8720] ppid=8714 vsize=27314120 memory=139941363267200 CPUtime=0 cores=0-7
/proc/8717/task/8720/stat : 8720 (java) S 8714 8714 7985 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420480914 27969658880 27421 33554432000 4194304 4196468 140720598052944 140242362768016 140242575140565 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22163456 140720598057707 140720598058134 140720598058134 140720598061007 0
[pid=8717/tid=8721] ppid=8714 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/8717/task/8721/stat : 8721 (java) S 8714 8714 7985 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420480914 27969658880 27421 33554432000 4194304 4196468 140720598052944 140242361714960 140242575140565 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22163456 140720598057707 140720598058134 140720598058134 140720598061007 0
[pid=8717/tid=8722] ppid=8714 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/8717/task/8722/stat : 8722 (java) S 8714 8714 7985 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420480914 27969658880 27421 33554432000 4194304 4196468 140720598052944 140242360662416 140242575140565 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22163456 140720598057707 140720598058134 140720598058134 140720598061007 0
[pid=8717/tid=8723] ppid=8714 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/8717/task/8723/stat : 8723 (java) S 8714 8714 7985 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420480914 27969658880 27421 33554432000 4194304 4196468 140720598052944 140241994243088 140242575140565 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22163456 140720598057707 140720598058134 140720598058134 140720598061007 0
[pid=8717/tid=8724] ppid=8714 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/8717/task/8724/stat : 8724 (java) S 8714 8714 7985 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420480914 27969658880 27421 33554432000 4194304 4196468 140720598052944 140241993190544 140242575140565 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22163456 140720598057707 140720598058134 140720598058134 140720598061007 0
[pid=8717/tid=8725] ppid=8714 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/8717/task/8725/stat : 8725 (java) S 8714 8714 7985 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420480914 27969658880 27421 33554432000 4194304 4196468 140720598052944 140241992137488 140242575140565 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22163456 140720598057707 140720598058134 140720598058134 140720598061007 0
[pid=8717/tid=8726] ppid=8714 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/8717/task/8726/stat : 8726 (java) S 8714 8714 7985 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420480914 27969658880 27421 33554432000 4194304 4196468 140720598052944 140241991084944 140242575140565 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22163456 140720598057707 140720598058134 140720598058134 140720598061007 0
[pid=8717/tid=8727] ppid=8714 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/8717/task/8727/stat : 8727 (java) S 8714 8714 7985 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420480915 27969658880 27421 33554432000 4194304 4196468 140720598052944 140240740116720 140242575141506 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22163456 140720598057707 140720598058134 140720598058134 140720598061007 0
[pid=8717/tid=8728] ppid=8714 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/8717/task/8728/stat : 8728 (java) S 8714 8714 7985 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 420480916 27969658880 27421 33554432000 4194304 4196468 140720598052944 140240480101536 140242575140565 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22163456 140720598057707 140720598058134 140720598058134 140720598061007 0
[pid=8717/tid=8729] ppid=8714 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/8717/task/8729/stat : 8729 (java) S 8714 8714 7985 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420480916 27969658880 27421 33554432000 4194304 4196468 140720598052944 140240211665648 140242575140565 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22163456 140720598057707 140720598058134 140720598058134 140720598061007 0
[pid=8717/tid=8730] ppid=8714 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/8717/task/8730/stat : 8730 (java) S 8714 8714 7985 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420480918 27969658880 27421 33554432000 4194304 4196468 140720598052944 140239837157328 140242575148955 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22163456 140720598057707 140720598058134 140720598058134 140720598061007 0
[pid=8717/tid=8731] ppid=8714 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/8717/task/8731/stat : 8731 (java) S 8714 8714 7985 0 -1 1077944384 300 0 0 0 0 0 0 0 20 0 20 0 420480918 27969658880 27421 33554432000 4194304 4196468 140720598052944 140240739064560 140242575141506 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22163456 140720598057707 140720598058134 140720598058134 140720598061007 0
[pid=8717/tid=8732] ppid=8714 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/8717/task/8732/stat : 8732 (java) S 8714 8714 7985 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420480918 27969658880 27421 33554432000 4194304 4196468 140720598052944 140240738012016 140242575141506 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22163456 140720598057707 140720598058134 140720598058134 140720598061007 0
[pid=8717/tid=8733] ppid=8714 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/8717/task/8733/stat : 8733 (java) S 8714 8714 7985 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420480918 27969658880 27421 33554432000 4194304 4196468 140720598052944 140240736958960 140242575141506 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22163456 140720598057707 140720598058134 140720598058134 140720598061007 0
[pid=8717/tid=8734] ppid=8714 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/8717/task/8734/stat : 8734 (java) S 8714 8714 7985 0 -1 1077944384 267 0 0 0 0 0 0 0 20 0 20 0 420480918 27969658880 27421 33554432000 4194304 4196468 140720598052944 140240735906416 140242575141506 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22163456 140720598057707 140720598058134 140720598058134 140720598061007 0
[pid=8717/tid=8735] ppid=8714 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/8717/task/8735/stat : 8735 (java) S 8714 8714 7985 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420480919 27969658880 27421 33554432000 4194304 4196468 140720598052944 140239339252192 140242575140565 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22163456 140720598057707 140720598058134 140720598058134 140720598061007 0
[pid=8717/tid=8736] ppid=8714 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/8717/task/8736/stat : 8736 (java) S 8714 8714 7985 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420480919 27969658880 27421 33554432000 4194304 4196468 140720598052944 140240734853808 140242575141506 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22163456 140720598057707 140720598058134 140720598058134 140720598061007 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 109032 KiB

[startup+0.210447 s]*
/proc/loadavg: 4.52 6.76 7.73 3/212 8736
/proc/meminfo: memFree=27971936/32770624 swapFree=66999940/67108860
[pid=8714] ppid=8711 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/8714/stat : 8714 (scop.sh) S 8711 8714 7985 0 -1 4202496 557 319 0 0 0 0 0 0 20 0 1 0 420480911 115843072 349 33554432000 4194304 5098028 140722630021856 140722630019112 140307385934460 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 35119104 140722630026020 140722630026348 140722630026348 140722630029261 0
/proc/8714/statm: 28282 349 296 221 0 87 0
[pid=8717] ppid=8714 vsize=27314120 memory=126900 CPUtime=0.24 cores=0-7
/proc/8717/stat : 8717 (java) S 8714 8714 7985 0 -1 1077944320 12015 0 0 0 20 4 0 0 20 0 20 0 420480911 27969658880 31725 33554432000 4194304 4196468 140720598052944 140720598035488 140242575130359 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 22163456 140720598057707 140720598058134 140720598058134 140720598061007 0
/proc/8717/statm: 6828530 31725 2970 1 0 6790935 0
[pid=8717/tid=8718] ppid=8714 vsize=27314120 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/8717/task/8718/stat : 8718 (java) R 8714 8714 7985 0 -1 4202560 9714 0 0 0 16 3 0 0 20 0 20 0 420480911 27969658880 31725 33554432000 4194304 4196468 140720598052944 140242546937728 140242556693934 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22163456 140720598057707 140720598058134 140720598058134 140720598061007 0
[pid=8717/tid=8719] ppid=8714 vsize=27314120 memory=331 CPUtime=0 cores=0-7
/proc/8717/task/8719/stat : 8719 (java) S 8714 8714 7985 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420480914 27969658880 31725 33554432000 4194304 4196468 140720598052944 140242579372560 140242575140565 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22163456 140720598057707 140720598058134 140720598058134 140720598061007 0
[pid=8717/tid=8720] ppid=8714 vsize=27314120 memory=139941363276171 CPUtime=0 cores=0-7
/proc/8717/task/8720/stat : 8720 (java) S 8714 8714 7985 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420480914 27969658880 31725 33554432000 4194304 4196468 140720598052944 140242362768016 140242575140565 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22163456 140720598057707 140720598058134 140720598058134 140720598061007 0
[pid=8717/tid=8721] ppid=8714 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/8717/task/8721/stat : 8721 (java) S 8714 8714 7985 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420480914 27969658880 31725 33554432000 4194304 4196468 140720598052944 140242361714960 140242575140565 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22163456 140720598057707 140720598058134 140720598058134 140720598061007 0
[pid=8717/tid=8722] ppid=8714 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/8717/task/8722/stat : 8722 (java) S 8714 8714 7985 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420480914 27969658880 31725 33554432000 4194304 4196468 140720598052944 140242360662416 140242575140565 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22163456 140720598057707 140720598058134 140720598058134 140720598061007 0
[pid=8717/tid=8723] ppid=8714 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/8717/task/8723/stat : 8723 (java) S 8714 8714 7985 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420480914 27969658880 31725 33554432000 4194304 4196468 140720598052944 140241994243088 140242575140565 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22163456 140720598057707 140720598058134 140720598058134 140720598061007 0
[pid=8717/tid=8724] ppid=8714 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/8717/task/8724/stat : 8724 (java) S 8714 8714 7985 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420480914 27969658880 31725 33554432000 4194304 4196468 140720598052944 140241993190544 140242575140565 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22163456 140720598057707 140720598058134 140720598058134 140720598061007 0
[pid=8717/tid=8725] ppid=8714 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/8717/task/8725/stat : 8725 (java) S 8714 8714 7985 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420480914 27969658880 31725 33554432000 4194304 4196468 140720598052944 140241992137488 140242575140565 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22163456 140720598057707 140720598058134 140720598058134 140720598061007 0
[pid=8717/tid=8726] ppid=8714 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/8717/task/8726/stat : 8726 (java) S 8714 8714 7985 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420480914 27969658880 31725 33554432000 4194304 4196468 140720598052944 140241991084944 140242575140565 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22163456 140720598057707 140720598058134 140720598058134 140720598061007 0
[pid=8717/tid=8727] ppid=8714 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/8717/task/8727/stat : 8727 (java) S 8714 8714 7985 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420480915 27969658880 31725 33554432000 4194304 4196468 140720598052944 140240740116720 140242575141506 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22163456 140720598057707 140720598058134 140720598058134 140720598061007 0
[pid=8717/tid=8728] ppid=8714 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/8717/task/8728/stat : 8728 (java) S 8714 8714 7985 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 420480916 27969658880 31725 33554432000 4194304 4196468 140720598052944 140240480101536 140242575140565 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22163456 140720598057707 140720598058134 140720598058134 140720598061007 0
[pid=8717/tid=8729] ppid=8714 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/8717/task/8729/stat : 8729 (java) S 8714 8714 7985 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420480916 27969658880 31725 33554432000 4194304 4196468 140720598052944 140240211665648 140242575140565 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22163456 140720598057707 140720598058134 140720598058134 140720598061007 0
[pid=8717/tid=8730] ppid=8714 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/8717/task/8730/stat : 8730 (java) S 8714 8714 7985 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420480918 27969658880 31725 33554432000 4194304 4196468 140720598052944 140239837157328 140242575148955 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22163456 140720598057707 140720598058134 140720598058134 140720598061007 0
[pid=8717/tid=8731] ppid=8714 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/8717/task/8731/stat : 8731 (java) S 8714 8714 7985 0 -1 1077944384 334 0 0 0 0 0 0 0 20 0 20 0 420480918 27969658880 31725 33554432000 4194304 4196468 140720598052944 140240739064560 140242575141506 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22163456 140720598057707 140720598058134 140720598058134 140720598061007 0
[pid=8717/tid=8732] ppid=8714 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/8717/task/8732/stat : 8732 (java) S 8714 8714 7985 0 -1 1077944384 137 0 0 0 0 0 0 0 20 0 20 0 420480918 27969658880 31725 33554432000 4194304 4196468 140720598052944 140240738012016 140242575141506 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22163456 140720598057707 140720598058134 140720598058134 140720598061007 0
[pid=8717/tid=8733] ppid=8714 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/8717/task/8733/stat : 8733 (java) S 8714 8714 7985 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 20 0 420480918 27969658880 31725 33554432000 4194304 4196468 140720598052944 140240736958960 140242575141506 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22163456 140720598057707 140720598058134 140720598058134 140720598061007 0
[pid=8717/tid=8734] ppid=8714 vsize=27314120 memory=-1 CPUtime=0.02 cores=0-7
/proc/8717/task/8734/stat : 8734 (java) S 8714 8714 7985 0 -1 1077944384 474 0 0 0 2 0 0 0 20 0 20 0 420480918 27969658880 31725 33554432000 4194304 4196468 140720598052944 140240735906416 140242575141506 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22163456 140720598057707 140720598058134 140720598058134 140720598061007 0
[pid=8717/tid=8735] ppid=8714 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/8717/task/8735/stat : 8735 (java) S 8714 8714 7985 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420480919 27969658880 31725 33554432000 4194304 4196468 140720598052944 140239339252192 140242575140565 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22163456 140720598057707 140720598058134 140720598058134 140720598061007 0
[pid=8717/tid=8736] ppid=8714 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/8717/task/8736/stat : 8736 (java) S 8714 8714 7985 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420480919 27969658880 31725 33554432000 4194304 4196468 140720598052944 140240734853808 140242575141506 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22163456 140720598057707 140720598058134 140720598058134 140720598061007 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 128296 KiB

[startup+0.310293 s]*
/proc/loadavg: 4.52 6.76 7.73 2/212 8736
/proc/meminfo: memFree=27969268/32770624 swapFree=66999940/67108860
[pid=8714] ppid=8711 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/8714/stat : 8714 (scop.sh) S 8711 8714 7985 0 -1 4202496 557 319 0 0 0 0 0 0 20 0 1 0 420480911 115843072 349 33554432000 4194304 5098028 140722630021856 140722630019112 140307385934460 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 35119104 140722630026020 140722630026348 140722630026348 140722630029261 0
/proc/8714/statm: 28282 349 296 221 0 87 0
[pid=8717] ppid=8714 vsize=27314120 memory=129980 CPUtime=0.43 cores=0-7
/proc/8717/stat : 8717 (java) S 8714 8714 7985 0 -1 1077944320 12382 0 0 0 38 5 0 0 20 0 20 0 420480911 27969658880 32495 33554432000 4194304 4196468 140720598052944 140720598035488 140242575130359 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 22163456 140720598057707 140720598058134 140720598058134 140720598061007 0
/proc/8717/statm: 6828530 32495 3016 1 0 6790935 0
[pid=8717/tid=8718] ppid=8714 vsize=27314120 memory=1398722017469774279 CPUtime=0.3 cores=0-7
/proc/8717/task/8718/stat : 8718 (java) R 8714 8714 7985 0 -1 4202560 9901 0 0 0 26 4 0 0 20 0 20 0 420480911 27969658880 32495 33554432000 4194304 4196468 140720598052944 140242546960208 140242560295959 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22163456 140720598057707 140720598058134 140720598058134 140720598061007 0
[pid=8717/tid=8719] ppid=8714 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/8717/task/8719/stat : 8719 (java) S 8714 8714 7985 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420480914 27969658880 32495 33554432000 4194304 4196468 140720598052944 140242579372560 140242575140565 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22163456 140720598057707 140720598058134 140720598058134 140720598061007 0
[pid=8717/tid=8720] ppid=8714 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/8717/task/8720/stat : 8720 (java) S 8714 8714 7985 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420480914 27969658880 32495 33554432000 4194304 4196468 140720598052944 140242362768016 140242575140565 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22163456 140720598057707 140720598058134 140720598058134 140720598061007 0
[pid=8717/tid=8721] ppid=8714 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/8717/task/8721/stat : 8721 (java) S 8714 8714 7985 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420480914 27969658880 32495 33554432000 4194304 4196468 140720598052944 140242361714960 140242575140565 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22163456 140720598057707 140720598058134 140720598058134 140720598061007 0
[pid=8717/tid=8722] ppid=8714 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/8717/task/8722/stat : 8722 (java) S 8714 8714 7985 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420480914 27969658880 32495 33554432000 4194304 4196468 140720598052944 140242360662416 140242575140565 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22163456 140720598057707 140720598058134 140720598058134 140720598061007 0
[pid=8717/tid=8723] ppid=8714 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/8717/task/8723/stat : 8723 (java) S 8714 8714 7985 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420480914 27969658880 32495 33554432000 4194304 4196468 140720598052944 140241994243088 140242575140565 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22163456 140720598057707 140720598058134 140720598058134 140720598061007 0
[pid=8717/tid=8724] ppid=8714 vsize=27314120 memory=139941241776815 CPUtime=0 cores=0-7
/proc/8717/task/8724/stat : 8724 (java) S 8714 8714 7985 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420480914 27969658880 32495 33554432000 4194304 4196468 140720598052944 140241993190544 140242575140565 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22163456 140720598057707 140720598058134 140720598058134 140720598061007 0
[pid=8717/tid=8725] ppid=8714 vsize=27314120 memory=139941241779120 CPUtime=0 cores=0-7
/proc/8717/task/8725/stat : 8725 (java) S 8714 8714 7985 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420480914 27969658880 32495 33554432000 4194304 4196468 140720598052944 140241992137488 140242575140565 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22163456 140720598057707 140720598058134 140720598058134 140720598061007 0
[pid=8717/tid=8726] ppid=8714 vsize=27314120 memory=139941241781424 CPUtime=0 cores=0-7
/proc/8717/task/8726/stat : 8726 (java) S 8714 8714 7985 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420480914 27969658880 32495 33554432000 4194304 4196468 140720598052944 140241991084944 140242575140565 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22163456 140720598057707 140720598058134 140720598058134 140720598061007 0
[pid=8717/tid=8727] ppid=8714 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/8717/task/8727/stat : 8727 (java) S 8714 8714 7985 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420480915 27969658880 32495 33554432000 4194304 4196468 140720598052944 140240740116720 140242575141506 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22163456 140720598057707 140720598058134 140720598058134 140720598061007 0
[pid=8717/tid=8728] ppid=8714 vsize=27314120 memory=279882483576720 CPUtime=0 cores=0-7
/proc/8717/task/8728/stat : 8728 (java) S 8714 8714 7985 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 420480916 27969658880 32495 33554432000 4194304 4196468 140720598052944 140240480101536 140242575140565 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22163456 140720598057707 140720598058134 140720598058134 140720598061007 0
[pid=8717/tid=8729] ppid=8714 vsize=27314120 memory=279882483574416 CPUtime=0 cores=0-7
/proc/8717/task/8729/stat : 8729 (java) S 8714 8714 7985 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420480916 27969658880 32495 33554432000 4194304 4196468 140720598052944 140240211665648 140242575140565 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22163456 140720598057707 140720598058134 140720598058134 140720598061007 0
[pid=8717/tid=8730] ppid=8714 vsize=27314120 memory=279882483581328 CPUtime=0 cores=0-7
/proc/8717/task/8730/stat : 8730 (java) S 8714 8714 7985 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420480918 27969658880 32495 33554432000 4194304 4196468 140720598052944 140239837157328 140242575148955 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22163456 140720598057707 140720598058134 140720598058134 140720598061007 0
[pid=8717/tid=8731] ppid=8714 vsize=27314120 memory=279882483522608 CPUtime=0.01 cores=0-7
/proc/8717/task/8731/stat : 8731 (java) S 8714 8714 7985 0 -1 1077944384 383 0 0 0 1 0 0 0 20 0 20 0 420480918 27969658880 32495 33554432000 4194304 4196468 140720598052944 140240739064560 140242575141506 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22163456 140720598057707 140720598058134 140720598058134 140720598061007 0
[pid=8717/tid=8732] ppid=8714 vsize=27314120 memory=279882483595152 CPUtime=0.01 cores=0-7
/proc/8717/task/8732/stat : 8732 (java) S 8714 8714 7985 0 -1 1077944384 223 0 0 0 1 0 0 0 20 0 20 0 420480918 27969658880 32495 33554432000 4194304 4196468 140720598052944 140240738012016 140242575141506 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22163456 140720598057707 140720598058134 140720598058134 140720598061007 0
[pid=8717/tid=8733] ppid=8714 vsize=27314120 memory=279882483602064 CPUtime=0.01 cores=0-7
/proc/8717/task/8733/stat : 8733 (java) S 8714 8714 7985 0 -1 1077944384 43 0 0 0 1 0 0 0 20 0 20 0 420480918 27969658880 32495 33554432000 4194304 4196468 140720598052944 140240736958960 140242575141506 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22163456 140720598057707 140720598058134 140720598058134 140720598061007 0
[pid=8717/tid=8734] ppid=8714 vsize=27314120 memory=279882483599760 CPUtime=0.07 cores=0-7
/proc/8717/task/8734/stat : 8734 (java) S 8714 8714 7985 0 -1 1077944384 496 0 0 0 7 0 0 0 20 0 20 0 420480918 27969658880 32495 33554432000 4194304 4196468 140720598052944 140240735906416 140242575141506 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22163456 140720598057707 140720598058134 140720598058134 140720598061007 0
[pid=8717/tid=8735] ppid=8714 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/8717/task/8735/stat : 8735 (java) S 8714 8714 7985 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420480919 27969658880 32495 33554432000 4194304 4196468 140720598052944 140239339252192 140242575140565 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22163456 140720598057707 140720598058134 140720598058134 140720598061007 0
[pid=8717/tid=8736] ppid=8714 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/8717/task/8736/stat : 8736 (java) S 8714 8714 7985 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420480919 27969658880 32495 33554432000 4194304 4196468 140720598052944 140240734853808 140242575141506 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22163456 140720598057707 140720598058134 140720598058134 140720598061007 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 131376 KiB

[startup+0.701007 s]
/proc/loadavg: 4.52 6.76 7.73 2/212 8736
/proc/meminfo: memFree=27947440/32770624 swapFree=66999940/67108860
[pid=8714] ppid=8711 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/8714/stat : 8714 (scop.sh) S 8711 8714 7985 0 -1 4202496 557 319 0 0 0 0 0 0 20 0 1 0 420480911 115843072 349 33554432000 4194304 5098028 140722630021856 140722630019112 140307385934460 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 35119104 140722630026020 140722630026348 140722630026348 140722630029261 0
/proc/8714/statm: 28282 349 296 221 0 87 0
[pid=8717] ppid=8714 vsize=27320392 memory=165668 CPUtime=1.02 cores=0-7
/proc/8717/stat : 8717 (java) S 8714 8714 7985 0 -1 1077944320 20026 0 0 0 95 7 0 0 20 0 20 0 420480911 27976081408 41417 33554432000 4194304 4196468 140720598052944 140720598035488 140242575130359 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 22163456 140720598057707 140720598058134 140720598058134 140720598061007 0
/proc/8717/statm: 6830098 41417 3185 1 0 6791447 0
[pid=8717/tid=8718] ppid=8714 vsize=27320392 memory=0 CPUtime=0.67 cores=0-7
/proc/8717/task/8718/stat : 8718 (java) R 8714 8714 7985 0 -1 4202560 16883 0 0 0 61 6 0 0 20 0 20 0 420480911 27976081408 41417 33554432000 4194304 4196468 140720598052944 140242546967888 140242575142294 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22163456 140720598057707 140720598058134 140720598058134 140720598061007 0
[pid=8717/tid=8719] ppid=8714 vsize=27320392 memory=139941241987952 CPUtime=0 cores=0-7
/proc/8717/task/8719/stat : 8719 (java) S 8714 8714 7985 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420480914 27976081408 41417 33554432000 4194304 4196468 140720598052944 140242579372560 140242575140565 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22163456 140720598057707 140720598058134 140720598058134 140720598061007 0
[pid=8717/tid=8720] ppid=8714 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/8717/task/8720/stat : 8720 (java) S 8714 8714 7985 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420480914 27976081408 41417 33554432000 4194304 4196468 140720598052944 140242362768016 140242575140565 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22163456 140720598057707 140720598058134 140720598058134 140720598061007 0
[pid=8717/tid=8721] ppid=8714 vsize=27320392 memory=776 CPUtime=0 cores=0-7
/proc/8717/task/8721/stat : 8721 (java) S 8714 8714 7985 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420480914 27976081408 41417 33554432000 4194304 4196468 140720598052944 140242361714960 140242575140565 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22163456 140720598057707 140720598058134 140720598058134 140720598061007 0

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

[pid=8739/tid=8762] ppid=8714 vsize=8414124 memory=-1161699032756030039 CPUtime=0 cores=0-7
/proc/8739/task/8762/stat : 8762 (java) S 8714 8714 7985 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 24 0 420483850 8616062976 30282 33554432000 4194304 4196468 140720377240928 140595888635184 140599032054941 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 33099776 140720377246712 140720377246870 140720377246870 140720377249743 0
[pid=8739/tid=8763] ppid=8714 vsize=8414124 memory=9198851636692691612 CPUtime=0 cores=0-7
/proc/8739/task/8763/stat : 8763 (java) S 8714 8714 7985 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 420483850 8616062976 30282 33554432000 4194304 4196468 140720377240928 140596157070768 140599032054941 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 33099776 140720377246712 140720377246870 140720377246870 140720377249743 0
[pid=8739/tid=8764] ppid=8714 vsize=8414124 memory=8695216819002122359 CPUtime=0 cores=0-7
/proc/8739/task/8764/stat : 8764 (java) S 8714 8714 7985 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 420483852 8616062976 30282 33554432000 4194304 4196468 140720377240928 140595620207792 140599032043221 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33099776 140720377246712 140720377246870 140720377246870 140720377249743 0
Current children cumulated CPU time: 406.29 s
Current children cumulated vsize: 12338728 KiB
Current children cumulated memory: 3283372 KiB

[startup+81.6016 s]
/proc/loadavg: 5.59 6.37 7.50 9/225 8775
/proc/meminfo: memFree=24651956/32770624 swapFree=66999940/67108860
[pid=8714] ppid=8711 vsize=113128 memory=1476 CPUtime=37.88 cores=0-7
/proc/8714/stat : 8714 (scop.sh) S 8711 8714 7985 0 -1 4202496 583 35804 0 0 0 0 3616 172 20 0 1 0 420480911 115843072 369 33554432000 4194304 5098028 140722630021856 140722630018600 140307385934460 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 35119104 140722630026020 140722630026348 140722630026348 140722630029261 0
/proc/8714/statm: 28282 369 311 221 0 87 0
[pid=8739] ppid=8714 vsize=8414124 memory=121128 CPUtime=1.31 cores=0-7
/proc/8739/stat : 8739 (java) S 8714 8714 7985 0 -1 1077944320 20108 0 0 0 124 7 0 0 20 0 24 0 420483774 8616062976 30282 33554432000 4194304 4196468 140720377240928 140720377223472 140599032033015 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 33099776 140720377246712 140720377246870 140720377246870 140720377249743 0
/proc/8739/statm: 2103531 30282 3207 1 0 2064875 0
[pid=8759] ppid=8739 vsize=3811476 memory=3165300 CPUtime=379.8 cores=0-7
/proc/8759/stat : 8759 (manyglucose-4.1) S 8739 8714 7985 0 -1 1077944320 3549546 0 0 0 37205 775 0 0 20 0 9 0 420483849 3902951424 791325 33554432000 4194304 4454172 140731945790880 140731945789280 140093924563586 0 4 0 8388610 18446744073709551615 0 0 17 7 0 0 0 0 0 6552832 6554400 25665536 140731945792362 140731945792560 140731945792560 140731945795514 0
/proc/8759/statm: 952869 791325 406 64 0 948537 0
[pid=8759/tid=8765] ppid=8739 vsize=3811476 memory=-4075877051373423735 CPUtime=47 cores=0-7
/proc/8759/task/8765/stat : 8765 (manyglucose-4.1) R 8739 8714 7985 0 -1 4202560 416468 0 0 0 4605 95 0 0 20 0 9 0 420484345 3902951424 791325 33554432000 4194304 4454172 140731945790880 140093842435208 4321206 0 4 0 8388610 0 0 0 -1 0 0 0 0 0 0 6552832 6554400 25665536 140731945792362 140731945792560 140731945792560 140731945795514 0
[pid=8759/tid=8766] ppid=8739 vsize=3811476 memory=288230621803970871 CPUtime=47.1 cores=0-7
/proc/8759/task/8766/stat : 8766 (manyglucose-4.1) R 8739 8714 7985 0 -1 4202560 469474 0 0 0 4614 96 0 0 20 0 9 0 420484345 3902951424 791325 33554432000 4194304 4454172 140731945790880 140093834042104 4351099 0 4 0 8388610 0 0 0 -1 6 0 0 0 0 0 6552832 6554400 25665536 140731945792362 140731945792560 140731945792560 140731945795514 0
[pid=8759/tid=8767] ppid=8739 vsize=3811476 memory=15823304585906089 CPUtime=46.42 cores=0-7
/proc/8759/task/8767/stat : 8767 (manyglucose-4.1) R 8739 8714 7985 0 -1 4202560 343011 0 0 0 4607 35 0 0 20 0 9 0 420484345 3902951424 791325 33554432000 4194304 4454172 140731945790880 140093825649696 4351099 0 4 0 8388610 0 0 0 -1 7 0 0 0 0 0 6552832 6554400 25665536 140731945792362 140731945792560 140731945792560 140731945795514 0
[pid=8759/tid=8768] ppid=8739 vsize=3811476 memory=3159088 CPUtime=47 cores=0-7
/proc/8759/task/8768/stat : 8768 (manyglucose-4.1) R 8739 8714 7985 0 -1 4202560 333518 0 0 0 4630 70 0 0 20 0 9 0 420484345 3902951424 791325 33554432000 4194304 4454172 140731945790880 140092034075384 4351209 0 4 0 8388610 0 0 0 -1 4 0 0 0 0 0 6552832 6554400 25665536 140731945792362 140731945792560 140731945792560 140731945795514 0
[pid=8759/tid=8769] ppid=8739 vsize=3811476 memory=3160732 CPUtime=47.05 cores=0-7
/proc/8759/task/8769/stat : 8769 (manyglucose-4.1) R 8739 8714 7985 0 -1 4202560 353409 0 0 0 4631 74 0 0 20 0 9 0 420484345 3902951424 791325 33554432000 4194304 4454172 140731945790880 140092025683072 4351289 0 4 0 8388610 0 0 0 -1 2 0 0 0 0 0 6552832 6554400 25665536 140731945792362 140731945792560 140731945792560 140731945795514 0
[pid=8759/tid=8770] ppid=8739 vsize=3811476 memory=2020 CPUtime=46.89 cores=0-7
/proc/8759/task/8770/stat : 8770 (manyglucose-4.1) R 8739 8714 7985 0 -1 4202560 353768 0 0 0 4595 94 0 0 20 0 9 0 420484345 3902951424 791325 33554432000 4194304 4454172 140731945790880 140092017289976 4351289 0 4 0 8388610 0 0 0 -1 3 0 0 0 0 0 6552832 6554400 25665536 140731945792362 140731945792560 140731945792560 140731945795514 0
[pid=8759/tid=8771] ppid=8739 vsize=3811476 memory=1432 CPUtime=46.24 cores=0-7
/proc/8759/task/8771/stat : 8771 (manyglucose-4.1) R 8739 8714 7985 0 -1 4202560 331576 0 0 0 4515 109 0 0 20 0 9 0 420484345 3902951424 791325 33554432000 4194304 4454172 140731945790880 140092008897272 4351305 0 4 0 8388610 0 0 0 -1 1 0 0 0 0 0 6552832 6554400 25665536 140731945792362 140731945792560 140731945792560 140731945795514 0
[pid=8759/tid=8772] ppid=8739 vsize=3811476 memory=9536 CPUtime=47.08 cores=0-7
/proc/8759/task/8772/stat : 8772 (manyglucose-4.1) R 8739 8714 7985 0 -1 4202560 354834 0 0 0 4602 106 0 0 20 0 9 0 420484345 3902951424 791325 33554432000 4194304 4454172 140731945790880 140092000504568 4351289 0 4 0 8388610 0 0 0 -1 5 0 0 0 0 0 6552832 6554400 25665536 140731945792362 140731945792560 140731945792560 140731945795514 0
[pid=8739/tid=8740] ppid=8714 vsize=8414124 memory=692 CPUtime=0.78 cores=0-7
/proc/8739/task/8740/stat : 8740 (java) S 8714 8714 7985 0 -1 1077944384 16766 0 0 0 73 5 0 0 20 0 24 0 420483774 8616062976 30282 33554432000 4194304 4196468 140720377240928 140599003873184 140599032043221 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33099776 140720377246712 140720377246870 140720377246870 140720377249743 0
[pid=8739/tid=8741] ppid=8714 vsize=8414124 memory=121128 CPUtime=0 cores=0-7
/proc/8739/task/8741/stat : 8741 (java) S 8714 8714 7985 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420483776 8616062976 30282 33554432000 4194304 4196468 140720377240928 140599036275472 140599032043221 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33099776 140720377246712 140720377246870 140720377246870 140720377249743 0
[pid=8739/tid=8742] ppid=8714 vsize=8414124 memory=4128 CPUtime=0 cores=0-7
/proc/8739/task/8742/stat : 8742 (java) S 8714 8714 7985 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420483776 8616062976 30282 33554432000 4194304 4196468 140720377240928 140598517074832 140599032043221 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33099776 140720377246712 140720377246870 140720377246870 140720377249743 0
[pid=8739/tid=8743] ppid=8714 vsize=8414124 memory=2832 CPUtime=0 cores=0-7
/proc/8739/task/8743/stat : 8743 (java) S 8714 8714 7985 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 420483776 8616062976 30282 33554432000 4194304 4196468 140720377240928 140598516022288 140599032043221 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33099776 140720377246712 140720377246870 140720377246870 140720377249743 0
[pid=8739/tid=8744] ppid=8714 vsize=8414124 memory=1712 CPUtime=0 cores=0-7
/proc/8739/task/8744/stat : 8744 (java) S 8714 8714 7985 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 420483776 8616062976 30282 33554432000 4194304 4196468 140720377240928 140598514969744 140599032043221 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33099776 140720377246712 140720377246870 140720377246870 140720377249743 0
[pid=8739/tid=8745] ppid=8714 vsize=8414124 memory=1220 CPUtime=0 cores=0-7
/proc/8739/task/8745/stat : 8745 (java) S 8714 8714 7985 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 420483776 8616062976 30282 33554432000 4194304 4196468 140720377240928 140598513916176 140599032043221 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33099776 140720377246712 140720377246870 140720377246870 140720377249743 0
[pid=8739/tid=8746] ppid=8714 vsize=8414124 memory=992 CPUtime=0 cores=0-7
/proc/8739/task/8746/stat : 8746 (java) S 8714 8714 7985 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 420483776 8616062976 30282 33554432000 4194304 4196468 140720377240928 140598512863632 140599032043221 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33099776 140720377246712 140720377246870 140720377246870 140720377249743 0
[pid=8739/tid=8747] ppid=8714 vsize=8414124 memory=6008 CPUtime=0 cores=0-7
/proc/8739/task/8747/stat : 8747 (java) S 8714 8714 7985 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 420483776 8616062976 30282 33554432000 4194304 4196468 140720377240928 140598511811088 140599032043221 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33099776 140720377246712 140720377246870 140720377246870 140720377249743 0
[pid=8739/tid=8748] ppid=8714 vsize=8414124 memory=1544 CPUtime=0 cores=0-7
/proc/8739/task/8748/stat : 8748 (java) S 8714 8714 7985 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420483776 8616062976 30282 33554432000 4194304 4196468 140720377240928 140598510758544 140599032043221 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33099776 140720377246712 140720377246870 140720377246870 140720377249743 0
[pid=8739/tid=8749] ppid=8714 vsize=8414124 memory=776 CPUtime=0 cores=0-7
/proc/8739/task/8749/stat : 8749 (java) S 8714 8714 7985 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 24 0 420483777 8616062976 30282 33554432000 4194304 4196468 140720377240928 140597789846000 140599032044162 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33099776 140720377246712 140720377246870 140720377246870 140720377249743 0
[pid=8739/tid=8750] ppid=8714 vsize=8414124 memory=3160640 CPUtime=0 cores=0-7
/proc/8739/task/8750/stat : 8750 (java) S 8714 8714 7985 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 420483778 8616062976 30282 33554432000 4194304 4196468 140720377240928 140597700584864 140599032043221 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33099776 140720377246712 140720377246870 140720377246870 140720377249743 0
[pid=8739/tid=8751] ppid=8714 vsize=8414124 memory=2 CPUtime=0 cores=0-7
/proc/8739/task/8751/stat : 8751 (java) S 8714 8714 7985 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420483778 8616062976 30282 33554432000 4194304 4196468 140720377240928 140597432149488 140599032043221 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33099776 140720377246712 140720377246870 140720377246870 140720377249743 0
[pid=8739/tid=8752] ppid=8714 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/8739/task/8752/stat : 8752 (java) S 8714 8714 7985 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420483781 8616062976 30282 33554432000 4194304 4196468 140720377240928 140597057641168 140599032051611 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33099776 140720377246712 140720377246870 140720377246870 140720377249743 0
[pid=8739/tid=8753] ppid=8714 vsize=8414124 memory=0 CPUtime=0.04 cores=0-7
/proc/8739/task/8753/stat : 8753 (java) S 8714 8714 7985 0 -1 1077944384 425 0 0 0 4 0 0 0 20 0 24 0 420483781 8616062976 30282 33554432000 4194304 4196468 140720377240928 140597788792816 140599032044162 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33099776 140720377246712 140720377246870 140720377246870 140720377249743 0
[pid=8739/tid=8754] ppid=8714 vsize=8414124 memory=0 CPUtime=0.07 cores=0-7
/proc/8739/task/8754/stat : 8754 (java) S 8714 8714 7985 0 -1 1077944384 380 0 0 0 7 0 0 0 20 0 24 0 420483781 8616062976 30282 33554432000 4194304 4196468 140720377240928 140597787740272 140599032044162 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33099776 140720377246712 140720377246870 140720377246870 140720377249743 0
[pid=8739/tid=8755] ppid=8714 vsize=8414124 memory=0 CPUtime=0.13 cores=0-7
/proc/8739/task/8755/stat : 8755 (java) S 8714 8714 7985 0 -1 1077944384 558 0 0 0 13 0 0 0 20 0 24 0 420483781 8616062976 30282 33554432000 4194304 4196468 140720377240928 140597786687728 140599032044162 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33099776 140720377246712 140720377246870 140720377246870 140720377249743 0
[pid=8739/tid=8756] ppid=8714 vsize=8414124 memory=0 CPUtime=0.22 cores=0-7
/proc/8739/task/8756/stat : 8756 (java) S 8714 8714 7985 0 -1 1077944384 572 0 0 0 22 0 0 0 20 0 24 0 420483781 8616062976 30282 33554432000 4194304 4196468 140720377240928 140597785635184 140599032044162 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33099776 140720377246712 140720377246870 140720377246870 140720377249743 0
[pid=8739/tid=8757] ppid=8714 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/8739/task/8757/stat : 8757 (java) S 8714 8714 7985 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 420483781 8616062976 30282 33554432000 4194304 4196468 140720377240928 140596559735520 140599032043221 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33099776 140720377246712 140720377246870 140720377246870 140720377249743 0
[pid=8739/tid=8758] ppid=8714 vsize=8414124 memory=0 CPUtime=0.02 cores=0-7
/proc/8739/task/8758/stat : 8758 (java) S 8714 8714 7985 0 -1 1077944384 5 0 0 0 2 0 0 0 20 0 24 0 420483781 8616062976 30282 33554432000 4194304 4196468 140720377240928 140597784583088 140599032044162 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33099776 140720377246712 140720377246870 140720377246870 140720377249743 0
[pid=8739/tid=8760] ppid=8714 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/8739/task/8760/stat : 8760 (java) S 8714 8714 7985 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 420483850 8616062976 30282 33554432000 4194304 4196468 140720377240928 140597776549568 140599032057625 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 33099776 140720377246712 140720377246870 140720377246870 140720377249743 0
[pid=8739/tid=8762] ppid=8714 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/8739/task/8762/stat : 8762 (java) S 8714 8714 7985 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 24 0 420483850 8616062976 30282 33554432000 4194304 4196468 140720377240928 140595888635184 140599032054941 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 33099776 140720377246712 140720377246870 140720377246870 140720377249743 0
[pid=8739/tid=8763] ppid=8714 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/8739/task/8763/stat : 8763 (java) S 8714 8714 7985 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 420483850 8616062976 30282 33554432000 4194304 4196468 140720377240928 140596157070768 140599032054941 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 33099776 140720377246712 140720377246870 140720377246870 140720377249743 0
[pid=8739/tid=8764] ppid=8714 vsize=8414124 memory=121128 CPUtime=0 cores=0-7
/proc/8739/task/8764/stat : 8764 (java) S 8714 8714 7985 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 420483852 8616062976 30282 33554432000 4194304 4196468 140720377240928 140595620207792 140599032043221 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33099776 140720377246712 140720377246870 140720377246870 140720377249743 0
Current children cumulated CPU time: 418.99 s
Current children cumulated vsize: 12338728 KiB
Current children cumulated memory: 3287904 KiB

[startup+82.0012 s]*
/proc/loadavg: 5.78 6.40 7.51 2/217 8775
/proc/meminfo: memFree=24634616/32770624 swapFree=66999940/67108860
[pid=8714] ppid=8711 vsize=113128 memory=1476 CPUtime=37.88 cores=0-7
/proc/8714/stat : 8714 (scop.sh) S 8711 8714 7985 0 -1 4202496 583 35804 0 0 0 0 3616 172 20 0 1 0 420480911 115843072 369 33554432000 4194304 5098028 140722630021856 140722630018600 140307385934460 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 35119104 140722630026020 140722630026348 140722630026348 140722630029261 0
/proc/8714/statm: 28282 369 311 221 0 87 0
[pid=8739] ppid=8714 vsize=8414124 memory=134604 CPUtime=1.48 cores=0-7
/proc/8739/stat : 8739 (java) S 8714 8714 7985 0 -1 1077944320 20974 0 0 0 141 7 0 0 20 0 24 0 420483774 8616062976 33651 33554432000 4194304 4196468 140720377240928 140720377223472 140599032033015 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 33099776 140720377246712 140720377246870 140720377246870 140720377249743 0
/proc/8739/statm: 2103531 33651 3224 1 0 2064875 0
[pid=8759] ppid=8739 vsize=3779064 memory=3167928 CPUtime=381.89 cores=0-7
/proc/8759/stat : 8759 (manyglucose-4.1) R 8739 8714 7985 0 -1 4202496 3554773 0 0 0 37413 776 0 0 20 0 1 0 420483849 3869761536 791982 33554432000 4194304 4454172 140731945790880 140731945787600 140093910293629 0 4 0 8388610 0 0 0 17 1 0 0 0 0 0 6552832 6554400 25665536 140731945792362 140731945792560 140731945792560 140731945795514 0
/proc/8759/statm: 944766 791982 419 64 0 940434 0
[pid=8739/tid=8740] ppid=8714 vsize=8414124 memory=1398722017469774279 CPUtime=0.78 cores=0-7
/proc/8739/task/8740/stat : 8740 (java) S 8714 8714 7985 0 -1 1077944384 16766 0 0 0 73 5 0 0 20 0 24 0 420483774 8616062976 33651 33554432000 4194304 4196468 140720377240928 140599003873184 140599032043221 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33099776 140720377246712 140720377246870 140720377246870 140720377249743 0
[pid=8739/tid=8741] ppid=8714 vsize=8414124 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/8739/task/8741/stat : 8741 (java) S 8714 8714 7985 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420483776 8616062976 33651 33554432000 4194304 4196468 140720377240928 140599036275472 140599032043221 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33099776 140720377246712 140720377246870 140720377246870 140720377249743 0
[pid=8739/tid=8742] ppid=8714 vsize=8414124 memory=7379244099664703593 CPUtime=0 cores=0-7
/proc/8739/task/8742/stat : 8742 (java) S 8714 8714 7985 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420483776 8616062976 33651 33554432000 4194304 4196468 140720377240928 140598517074832 140599032043221 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33099776 140720377246712 140720377246870 140720377246870 140720377249743 0
[pid=8739/tid=8743] ppid=8714 vsize=8414124 memory=7379244099664703593 CPUtime=0 cores=0-7
/proc/8739/task/8743/stat : 8743 (java) S 8714 8714 7985 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 420483776 8616062976 33651 33554432000 4194304 4196468 140720377240928 140598516022288 140599032043221 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33099776 140720377246712 140720377246870 140720377246870 140720377249743 0
[pid=8739/tid=8744] ppid=8714 vsize=8414124 memory=7379244099664703593 CPUtime=0 cores=0-7
/proc/8739/task/8744/stat : 8744 (java) S 8714 8714 7985 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 420483776 8616062976 33651 33554432000 4194304 4196468 140720377240928 140598514969744 140599032043221 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33099776 140720377246712 140720377246870 140720377246870 140720377249743 0
[pid=8739/tid=8745] ppid=8714 vsize=8414124 memory=7379244099664703593 CPUtime=0 cores=0-7
/proc/8739/task/8745/stat : 8745 (java) S 8714 8714 7985 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 420483776 8616062976 33651 33554432000 4194304 4196468 140720377240928 140598513916176 140599032043221 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33099776 140720377246712 140720377246870 140720377246870 140720377249743 0
[pid=8739/tid=8746] ppid=8714 vsize=8414124 memory=7379244099664703593 CPUtime=0 cores=0-7
/proc/8739/task/8746/stat : 8746 (java) S 8714 8714 7985 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 420483776 8616062976 33651 33554432000 4194304 4196468 140720377240928 140598512863632 140599032043221 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33099776 140720377246712 140720377246870 140720377246870 140720377249743 0
[pid=8739/tid=8747] ppid=8714 vsize=8414124 memory=7379244099664703593 CPUtime=0 cores=0-7
/proc/8739/task/8747/stat : 8747 (java) S 8714 8714 7985 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 420483776 8616062976 33651 33554432000 4194304 4196468 140720377240928 140598511811088 140599032043221 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33099776 140720377246712 140720377246870 140720377246870 140720377249743 0
[pid=8739/tid=8748] ppid=8714 vsize=8414124 memory=7379244099664703593 CPUtime=0 cores=0-7
/proc/8739/task/8748/stat : 8748 (java) S 8714 8714 7985 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420483776 8616062976 33651 33554432000 4194304 4196468 140720377240928 140598510758544 140599032043221 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33099776 140720377246712 140720377246870 140720377246870 140720377249743 0
[pid=8739/tid=8749] ppid=8714 vsize=8414124 memory=7379244099664703593 CPUtime=0 cores=0-7
/proc/8739/task/8749/stat : 8749 (java) S 8714 8714 7985 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 24 0 420483777 8616062976 33651 33554432000 4194304 4196468 140720377240928 140597789846000 140599032044162 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33099776 140720377246712 140720377246870 140720377246870 140720377249743 0
[pid=8739/tid=8750] ppid=8714 vsize=8414124 memory=7518593995789855076 CPUtime=0 cores=0-7
/proc/8739/task/8750/stat : 8750 (java) S 8714 8714 7985 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 420483778 8616062976 33651 33554432000 4194304 4196468 140720377240928 140597700584864 140599032043221 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33099776 140720377246712 140720377246870 140720377246870 140720377249743 0
[pid=8739/tid=8751] ppid=8714 vsize=8414124 memory=7379244099664703593 CPUtime=0 cores=0-7
/proc/8739/task/8751/stat : 8751 (java) S 8714 8714 7985 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420483778 8616062976 33651 33554432000 4194304 4196468 140720377240928 140597432149488 140599032043221 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33099776 140720377246712 140720377246870 140720377246870 140720377249743 0
[pid=8739/tid=8752] ppid=8714 vsize=8414124 memory=7379244099664703593 CPUtime=0 cores=0-7
/proc/8739/task/8752/stat : 8752 (java) S 8714 8714 7985 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420483781 8616062976 33651 33554432000 4194304 4196468 140720377240928 140597057641168 140599032051611 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33099776 140720377246712 140720377246870 140720377246870 140720377249743 0
[pid=8739/tid=8753] ppid=8714 vsize=8414124 memory=6298679256409531492 CPUtime=0.07 cores=0-7
/proc/8739/task/8753/stat : 8753 (java) S 8714 8714 7985 0 -1 1077944384 535 0 0 0 7 0 0 0 20 0 24 0 420483781 8616062976 33651 33554432000 4194304 4196468 140720377240928 140597788792816 140599032044162 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33099776 140720377246712 140720377246870 140720377246870 140720377249743 0
[pid=8739/tid=8754] ppid=8714 vsize=8414124 memory=6298679256409531492 CPUtime=0.09 cores=0-7
/proc/8739/task/8754/stat : 8754 (java) S 8714 8714 7985 0 -1 1077944384 519 0 0 0 9 0 0 0 20 0 24 0 420483781 8616062976 33651 33554432000 4194304 4196468 140720377240928 140597787740272 140599032044162 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33099776 140720377246712 140720377246870 140720377246870 140720377249743 0
[pid=8739/tid=8755] ppid=8714 vsize=8414124 memory=7595155228109071443 CPUtime=0.17 cores=0-7
/proc/8739/task/8755/stat : 8755 (java) S 8714 8714 7985 0 -1 1077944384 681 0 0 0 17 0 0 0 20 0 24 0 420483781 8616062976 33651 33554432000 4194304 4196468 140720377240928 140597786687728 140599032044162 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33099776 140720377246712 140720377246870 140720377246870 140720377249743 0
[pid=8739/tid=8756] ppid=8714 vsize=8414124 memory=7595155228109071443 CPUtime=0.25 cores=0-7
/proc/8739/task/8756/stat : 8756 (java) S 8714 8714 7985 0 -1 1077944384 1050 0 0 0 25 0 0 0 20 0 24 0 420483781 8616062976 33651 33554432000 4194304 4196468 140720377240928 140597785635184 140599032044162 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33099776 140720377246712 140720377246870 140720377246870 140720377249743 0
[pid=8739/tid=8757] ppid=8714 vsize=8414124 memory=7379244099664703593 CPUtime=0 cores=0-7
/proc/8739/task/8757/stat : 8757 (java) S 8714 8714 7985 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 420483781 8616062976 33651 33554432000 4194304 4196468 140720377240928 140596559735520 140599032043221 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33099776 140720377246712 140720377246870 140720377246870 140720377249743 0
[pid=8739/tid=8758] ppid=8714 vsize=8414124 memory=7379244099664703593 CPUtime=0.02 cores=0-7
/proc/8739/task/8758/stat : 8758 (java) S 8714 8714 7985 0 -1 1077944384 5 0 0 0 2 0 0 0 20 0 24 0 420483781 8616062976 33651 33554432000 4194304 4196468 140720377240928 140597784583088 140599032044162 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33099776 140720377246712 140720377246870 140720377246870 140720377249743 0
[pid=8739/tid=8760] ppid=8714 vsize=8414124 memory=7882537846134368105 CPUtime=0 cores=0-7
/proc/8739/task/8760/stat : 8760 (java) S 8714 8714 7985 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 420483850 8616062976 33651 33554432000 4194304 4196468 140720377240928 140597776549568 140599032057625 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 33099776 140720377246712 140720377246870 140720377246870 140720377249743 0
[pid=8739/tid=8762] ppid=8714 vsize=8414124 memory=7596838537443895655 CPUtime=0.04 cores=0-7
/proc/8739/task/8762/stat : 8762 (java) R 8714 8714 7985 0 -1 4202560 24 0 0 0 4 0 0 0 20 0 24 0 420483850 8616062976 33651 33554432000 4194304 4196468 140720377240928 140595888635136 140599032054941 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33099776 140720377246712 140720377246870 140720377246870 140720377249743 0
[pid=8739/tid=8763] ppid=8714 vsize=8414124 memory=7882537846134368105 CPUtime=0 cores=0-7
/proc/8739/task/8763/stat : 8763 (java) S 8714 8714 7985 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 420483850 8616062976 33651 33554432000 4194304 4196468 140720377240928 140596157070768 140599032054941 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 33099776 140720377246712 140720377246870 140720377246870 140720377249743 0
[pid=8739/tid=8764] ppid=8714 vsize=8414124 memory=7379244099664703593 CPUtime=0 cores=0-7
/proc/8739/task/8764/stat : 8764 (java) S 8714 8714 7985 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 420483852 8616062976 33651 33554432000 4194304 4196468 140720377240928 140595620207792 140599032043221 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33099776 140720377246712 140720377246870 140720377246870 140720377249743 0
Current children cumulated CPU time: 421.25 s
Current children cumulated vsize: 12306316 KiB
Current children cumulated memory: 3304008 KiB

[startup+82.4009 s]
/proc/loadavg: 5.78 6.40 7.51 2/217 8775
/proc/meminfo: memFree=24634616/32770624 swapFree=66999940/67108860
[pid=8714] ppid=8711 vsize=113128 memory=1476 CPUtime=37.88 cores=0-7
/proc/8714/stat : 8714 (scop.sh) S 8711 8714 7985 0 -1 4202496 583 35804 0 0 0 0 3616 172 20 0 1 0 420480911 115843072 369 33554432000 4194304 5098028 140722630021856 140722630018600 140307385934460 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 35119104 140722630026020 140722630026348 140722630026348 140722630029261 0
/proc/8714/statm: 28282 369 311 221 0 87 0
Current children cumulated CPU time: 37.88 s
Current children cumulated vsize: 113128 KiB
Current children cumulated memory: 1476 KiB

Child status: 0
Real time (s): 82.4071
CPU time (s): 422.197
CPU user time (s): 412.377
CPU system time (s): 9.82005
CPU usage (%): 512.331
Max. virtual memory (cumulated for all children) (KiB): 27441876
Max. memory (cumulated for all children) (KiB): 6062060

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 412.377
system time used= 9.82005
maximum resident set size= 6062240
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3614127
page faults= 0
swaps= 0
block input operations= 8
block output operations= 320712
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 61378
involuntary context switches= 3977


# summary of solver processes directly reported to runsolver:
#   pid: 8714
#   total CPU time (s): 422.197
#   total CPU user time (s): 412.377
#   total CPU system time (s): 9.82005

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.67733 second user time and 1.09567 second system time

The end

Launcher Data 

Begin job on node123 at 2019-09-14 08:22:01
IDJOB=4392618
IDBENCH=138482
IDSOLVER=2839
FILE ID=node123/4392618-1568442160
RUNJOBID= node123-1568439477-8012
PBS_JOBID= 21702334
Free space on /tmp= 59184 MiB

SOLVER NAME= Fun-sCOP hybrid+ManyGlucose (2019-06-15)
BENCH NAME= XCSP17/SuperSolutions/SuperSolutions-Taillard-js15/SuperTaillard-js-15-18.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-4392618-1568442160/watcher-4392618-1568442160 -o /tmp/evaluation-result-4392618-1568442160/solver-4392618-1568442160 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node123-1568439477-8012 --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-4392618-1568442160.xml

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

MD5SUM BENCH= 3f0141c7bb33af25d9039070b39091b8
RANDOM SEED=454083371

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        28090012 kB
MemAvailable:   31872512 kB
Buffers:          153104 kB
Cached:          3894840 kB
SwapCached:         7372 kB
Active:          1243736 kB
Inactive:        2817484 kB
Active(anon):       4680 kB
Inactive(anon):    50164 kB
Active(file):    1239056 kB
Inactive(file):  2767320 kB
Unevictable:      106660 kB
Mlocked:          106660 kB
SwapTotal:      67108860 kB
SwapFree:       66999940 kB
Dirty:             20960 kB
Writeback:             0 kB
AnonPages:        113428 kB
Mapped:            44884 kB
Shmem:             32692 kB
Slab:             213500 kB
SReclaimable:     183916 kB
SUnreclaim:        29584 kB
KernelStack:        3728 kB
PageTables:         4832 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     498136 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     67584 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      105856 kB
DirectMap2M:    33439744 kB

Free space on /tmp at the end= 59164 MiB
End job on node123 at 2019-09-14 08:23:24