Trace number 4405478

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Fun-sCOP hybrid+ManyGlucose (2019-09-22)SAT 412.93 82.6606

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-2575-serial-file.bin HOME/instance-4405478-1569358373.xml
0.65/0.54	
0.65/0.54	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
0.65/0.54	
0.65/0.56	c BEGIN-Prog: Tue Sep 24 22:51:54 CEST 2019
0.65/0.56	c PID: 2578
0.65/0.56	c IP: 172.20.3.103
0.98/0.70	c HOST: node103.alineos.net
0.98/0.70	c (0,0) Parsing Begin
5.28/1.83	c (1,1) Parsing End
5.28/1.84	c (1,1) CSP: 450 int (0 aux), 0 bool (0 aux), 5580 ctr, max domain size 1282
5.28/1.84	c (1,1) Heap : 563 MiB used (max 21589 MiB), NonHeap : 22 MiB used (max 0 MiB)
5.28/1.84	c (1,1) Constraint Name Generate Begin
5.28/1.88	c (1,1) Ctr:HOME/instance-4405478-1569358373.xml,Add:Le:Ne:Num:Or:Var
5.28/1.88	c (1,1) Constraint Name Generate End
5.28/1.88	c (1,1) Heap : 563 MiB used (max 21589 MiB), NonHeap : 22 MiB used (max 0 MiB)
5.28/1.88	c (1,1) CSP to CSPinCNF Begin
6.10/2.14	c (1,1) translated 558 (10%) constraints
6.10/2.20	c (1,1) translated 1116 (20%) constraints
6.44/2.24	c (1,1) translated 1674 (30%) constraints
6.44/2.28	c (1,1) translated 2232 (40%) constraints
6.82/2.32	c (1,1) translated 2790 (50%) constraints
6.82/2.35	c (1,1) translated 3348 (60%) constraints
6.82/2.38	c (1,1) translated 3906 (70%) constraints
7.24/2.42	c (1,1) translated 4464 (80%) constraints
7.24/2.45	c (1,1) translated 5022 (90%) constraints
7.24/2.46	c (1,1) translated 5580 (100%) constraints
7.24/2.46	c (1,1) ===========================================
7.24/2.49	c (1,1) Hybrid: #OE=450, #LE=0
7.24/2.49	c (1,1) Hybrid
7.24/2.49	c (1,1) ===========================================
7.64/2.53	c (1,1) translated 558 (10%) constraints
7.64/2.55	c (2,1) translated 1116 (20%) constraints
7.64/2.57	c (2,2) translated 1674 (30%) constraints
7.64/2.58	c (2,2) translated 2232 (40%) constraints
7.92/2.60	c (2,2) translated 2790 (50%) constraints
7.92/2.62	c (2,2) translated 3348 (60%) constraints
7.92/2.63	c (2,2) translated 3906 (70%) constraints
7.92/2.64	c (2,2) translated 4464 (80%) constraints
7.92/2.66	c (2,2) translated 5022 (90%) constraints
7.92/2.67	c (2,2) translated 5580 (100%) constraints
7.92/2.67	c (2,2) CSP to CSPinCNF End
7.92/2.68	c (2,2) CSP: 450 int (0 aux), 0 bool (0 aux), 5580 ctr, max domain size 1199
7.92/2.68	c (2,2) Heap : 675 MiB used (max 21589 MiB), NonHeap : 27 MiB used (max 0 MiB)
7.92/2.68	c (2,2) CSPinCNF Propagation Begin
8.23/2.76	c (2,2) 0 values, 0 unsatisfiable literals, and 0 valid clauses are removed
8.23/2.76	c (2,2) CSPinCNF Propagation End
8.23/2.76	c (2,2) CSP: 450 int (0 aux), 0 bool (0 aux), 5580 ctr, max domain size 1199
8.23/2.76	c (2,2) Heap : 675 MiB used (max 21589 MiB), NonHeap : 27 MiB used (max 0 MiB)
8.23/2.78	c (2,2) Hybrid: #OE=450, #LE=0
8.23/2.78	c (2,2) Simplify CSPinCNF Begin
9.26/3.04	c (2,2) Simplify CSPinCNF End
9.26/3.04	c (2,2) CSP: 450 int (0 aux), 9900 bool (9900 aux), 15480 ctr, max domain size 1199
9.26/3.04	c (2,2) Heap : 788 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB)
9.26/3.04	c (2,2) Calculate Precise Domain Begin
9.26/3.04	c (2,2) 0 values are removed by re-calculation
9.26/3.04	c (2,2) Calculate Precise Domain End
9.26/3.04	c (2,2) CSP: 450 int (0 aux), 9900 bool (9900 aux), 15480 ctr, max domain size 1199
9.26/3.04	c (2,2) Heap : 788 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB)
9.26/3.04	c (2,2) CSPinCNF to SatSolver Begin
14.62/6.36	c (5,5) 1548 (10 %) CSP clauses are encoded (0 SAT variables, 940202 SAT clauses)
17.88/9.11	c (8,8) 3096 (20 %) CSP clauses are encoded (0 SAT variables, 1601442 SAT clauses)
19.98/11.70	c (11,10) 4644 (30 %) CSP clauses are encoded (0 SAT variables, 2210997 SAT clauses)
22.21/13.90	c (13,12) 6192 (40 %) CSP clauses are encoded (0 SAT variables, 2837790 SAT clauses)
25.00/16.42	c (15,15) 7740 (50 %) CSP clauses are encoded (0 SAT variables, 3490456 SAT clauses)
27.52/18.85	c (18,17) 9288 (60 %) CSP clauses are encoded (0 SAT variables, 4136938 SAT clauses)
29.80/21.01	c (20,19) 10836 (70 %) CSP clauses are encoded (0 SAT variables, 4724782 SAT clauses)
32.02/23.15	c (22,21) 12384 (80 %) CSP clauses are encoded (0 SAT variables, 5320262 SAT clauses)
34.61/25.79	c (25,24) 13932 (90 %) CSP clauses are encoded (0 SAT variables, 6054478 SAT clauses)
37.37/28.35	c (27,26) 15480 (100 %) CSP clauses are encoded (0 SAT variables, 7001863 SAT clauses)
37.37/28.35	c (27,26) CSPinCNF to SatSolver End
37.37/28.35	c (27,26) Heap : 1832 MiB used (max 21589 MiB), NonHeap : 32 MiB used (max 0 MiB)
37.37/28.35	c (27,26) 366146 bool, 7002496 clause
37.37/28.35	c (27,26) Export Begin
37.48/28.46	c (27,27) Export to HOME/scop-2575-serial-file.bin
37.48/28.46	c (27,27) Export End
37.48/28.46	c (27,27) Export File Size: 0.07 MB
37.48/28.46	c (27,27) 1,1,2,2,2,2,27,STOP-AFTER(DIMACS)
37.48/28.46	c END-Prog: Tue Sep 24 22:52:22 CEST 2019
0.00/28.50	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-2575-serial-file.bin
37.67/28.98	c (0,0) Read Serial File Begin
37.67/28.98	c (0,0) HOME/scop-2575-serial-file.bin
38.65/29.21	c (0,0) Read Serial File End
38.65/29.23	
38.65/29.23	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
38.65/29.23	(Solving Process)
38.65/29.23	
38.65/29.25	c BEGIN-Prog: Tue Sep 24 22:52:23 CEST 2019
38.65/29.25	c PID: 2601
38.65/29.25	c IP: 172.20.3.103
38.65/29.25	c HOST: node103.alineos.net
38.65/29.25	c (0,0) SatSolver.solve Begin
38.65/29.25	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4405478-1569358373.xml-scop-2578.cnf
38.65/29.28	c (0,0) c
38.65/29.28	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.65/29.28	c (0,0) c
38.65/29.28	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
38.65/29.28	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
38.65/29.28	c (0,0) c ========================================[ Problem Statistics ]===========================================
38.65/29.28	c (0,0) c |                                                                                                       |
41.57/32.01	c (3,0) c |  Number of variables:        366146                                                                   |
41.57/32.01	c (3,0) c |  Number of clauses:         6880550                                                                   |
41.57/32.01	c (3,0) c |  Parse time:                   2.48 s                                                                 |
41.57/32.01	c (3,0) c |                                                                                                       |
42.07/32.46	c (3,0) c | Too many clauses... No preprocessing                                                                  |
42.07/32.46	c (3,0) c |  Simplification time:          0.41 s                                                                 |
42.07/32.46	c (3,0) c |                                                                                                       |
42.07/32.46	c (3,0) c |  Generating clones                                                                                    |
43.88/34.23	c (5,0) c |  all clones generated. Memory =  3660.43Mb.                                                           |
43.88/34.23	c (5,0) c ========================================================================================================|
43.88/34.23	c (5,0) c
43.88/34.23	c (5,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
43.88/34.23	c (5,0) c
43.88/34.23	c (5,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
43.88/34.23	c (5,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
43.88/34.23	c (5,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
43.88/34.23	c (5,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
43.88/34.23	c (5,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
43.88/34.23	c (5,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
43.88/34.23	c (5,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
43.88/34.23	c (5,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
43.88/34.23	c (5,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
43.88/34.23	c (5,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
43.88/34.23	c (5,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
43.88/34.23	c (5,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
43.88/34.23	c (5,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
43.88/34.23	c (5,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
43.88/34.23	c (5,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
43.88/34.23	c (5,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
43.88/34.23	c (5,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
43.88/34.23	c (5,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
43.88/34.23	c (5,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
276.01/63.74	c (34,0) c
276.01/63.74	c (34,0) c |------------------------------------------------------------------------------------------------------------------------|
276.01/63.74	c (34,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
276.01/63.74	c (34,0) c |------------------------------------------------------------------------------------------------------------------------|
276.01/63.74	c (34,0) c |  0 |      8 |       8221 |       3294 |    72140 |     2289 |      205 |     1389 |       48 |      174 |  20 | 33.961 |
276.01/63.74	c (34,0) c |  1 |     17 |       6705 |       3033 |    77862 |     2028 |      196 |     1374 |       51 |      171 |  20 | 33.954 |
276.01/63.74	c (34,0) c |  2 |      3 |       9131 |       3885 |    83423 |     2878 |      257 |     1440 |       51 |      191 |  20 | 33.982 |
276.01/63.74	c (34,0) c |  3 |     12 |       7335 |       3293 |    75600 |     2292 |      209 |     1582 |       49 |      191 |  20 | 33.977 |
276.01/63.74	c (34,0) c |  4 |     12 |       8732 |       3417 |    77273 |     2410 |      258 |     1101 |       47 |      184 |  20 | 33.933 |
276.01/63.74	c (34,0) c |  5 |     20 |       8100 |       3504 |    83014 |     2502 |      233 |     1396 |       37 |      191 |  20 | 33.974 |
276.01/63.74	c (34,0) c |  6 |     12 |       6807 |       3273 |    78332 |     2268 |      231 |     1485 |       57 |      190 |  20 | 33.982 |
276.01/63.74	c (34,0) c |  7 |     18 |      10480 |       3437 |    79558 |     2421 |      324 |     1332 |       61 |      189 |  20 | 33.971 |
276.01/63.74	c (34,0) c 
276.01/63.74	c (34,0) c synthesis       27136 conflicts   377849359 propagations      117 conflicts/sec  1625344 propagations/sec
276.01/63.74	c (34,0) c real: 34.4599 s, cpu: 232.473 s, memory: 3722.10 Mb
411.68/82.19	c (53,0) c
411.68/82.19	c (53,0) c real time : 52.9125 s
411.68/82.19	c (53,0) c cpu time  : 367.2 s
411.68/82.19	c (53,0) c
411.68/82.19	c (53,0) c
411.68/82.19	c (53,0) c
411.68/82.19	c (53,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
411.68/82.19	c (53,0) c
411.68/82.19	c (53,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
411.68/82.19	c (53,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
411.68/82.19	c (53,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
411.68/82.19	c (53,0) c | Conflicts     |           44996 |       5553 |       5397 |       6075 |       5502 |       5607 |       5740 |       5541 |       5581 |
411.68/82.19	c (53,0) c | Decisions     |          113868 |      18784 |      14334 |      12962 |      13519 |      13177 |      12664 |      13289 |      15139 |
411.68/82.19	c (53,0) c | Propagations  |       629226034 |   77901231 |   75661596 |   78410251 |   77452331 |   79501182 |   79921707 |   78125445 |   82252291 |
411.68/82.19	c (53,0) c | ReduceDBs     |               8 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |
411.68/82.19	c (53,0) c | SimpDBs       |              45 |          6 |          6 |          4 |          6 |          6 |          5 |          6 |          6 |
411.68/82.19	c (53,0) c | Restarts      |             166 |         17 |         24 |          6 |         22 |         23 |         23 |         24 |         27 |
411.68/82.19	c (53,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
411.68/82.19	c (53,0) c | PropBinClauses|      2111248375 |  254998402 |  252278997 |  267094668 |  257498023 |  268561182 |  272572894 |  263625995 |  274618214 |
411.68/82.19	c (53,0) c | PropPreBlocker|      9991775368 | 1210252598 | 1204455397 | 1279384754 | 1271175325 | 1254548027 | 1260528759 | 1264848046 | 1246582462 |
411.68/82.19	c (53,0) c | PropNotBlocker|      1157225234 |  133420359 |  139234810 |  147891524 |  142982800 |  148745918 |  149703904 |  144093592 |  151152327 |
411.68/82.19	c (53,0) c | LitFullScans  |     14046113282 | 1700877451 | 1696669707 | 1774966243 | 1774694800 | 1774903470 | 1774696120 | 1774640012 | 1774665479 |
411.68/82.19	c (53,0) c | LitScanFracts |         1707488 |     184587 |     231544 |     197203 |     234668 |     210740 |     206293 |     205260 |     237193 |
411.68/82.19	c (53,0) c | DecisionLevel0|             323 |         34 |         41 |         19 |         37 |         50 |         34 |         47 |         61 |
411.68/82.19	c (53,0) c | Periods       |            2334 |        282 |        282 |        295 |        295 |        295 |        295 |        295 |        295 |
411.68/82.19	c (53,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
411.68/82.19	c (53,0) c | Avg_Trail     |                 |     267810 |     270788 |     262349 |     277256 |     265445 |     264294 |     265146 |     265343 |
411.68/82.19	c (53,0) c | Avg_DL        |                 |         40 |         30 |         33 |         31 |         25 |         27 |         29 |         31 |
411.68/82.19	c (53,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
411.68/82.19	c (53,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
411.68/82.19	c (53,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
411.68/82.19	c (53,0) c | Exported      |            4488 |        528 |        456 |        646 |        516 |        555 |        560 |        584 |        643 |
411.68/82.19	c (53,0) c | Imported      |           22610 |       2656 |       2396 |       2721 |       3026 |       3005 |       2874 |       2957 |       2975 |
411.68/82.19	c (53,0) c | Good          |             746 |        101 |         84 |         98 |         89 |         92 |         93 |         96 |         93 |
411.68/82.19	c (53,0) c | Purge         |           21864 |       2555 |       2312 |       2623 |       2937 |       2913 |       2781 |       2861 |       2882 |
411.68/82.19	c (53,0) c | Promoted      |             906 |        108 |        117 |         95 |        135 |        105 |         93 |        123 |        130 |
411.68/82.19	c (53,0) c | Remove_Imp    |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
411.68/82.19	c (53,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
411.68/82.19	c (53,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
411.68/82.19	c (53,0) c | Unaries       |                 |         17 |         17 |         13 |         15 |         27 |         11 |         23 |         34 |
411.68/82.19	c (53,0) c | Binaries      |                 |          8 |         18 |         10 |         22 |         17 |         16 |         17 |         19 |
411.68/82.19	c (53,0) c | Glues         |                 |        452 |        372 |        335 |        403 |        366 |        364 |        467 |        486 |
411.68/82.19	c (53,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
411.68/82.19	c (53,0) c | Orig_Seen     |             2 % |     106645 |     111145 |     114369 |     114187 |     111011 |     112390 |     112161 |     115940 |
411.68/82.19	c (53,0) c | Diff Orig seen|                 |      X     |       4500 |       7724 |       7542 |       4366 |       5745 |       5516 |       9295 |
411.68/82.19	c (53,0) c | Hamming       |            14 % |      X     |      47643 |      58521 |      66123 |      59836 |      39240 |      50420 |      42425 |
411.68/82.19	c (53,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
411.68/82.19	c (53,0) c | RunningTime   |                 |   47.2 100%|   47.9 100%|   45.8  97%|   44.5  94%|   46.1  98%|   46.7  99%|   45.8  97%|   46.4  98%|
411.68/82.19	c (53,0) c | WaitingTime   |                 |    0.0   0%|    0.0   0%|    1.4   3%|    2.6   6%|    1.0   2%|    0.5   1%|    1.3   3%|    0.8   2%|
411.68/82.19	c (53,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%|
411.68/82.19	c (53,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%|
411.68/82.19	c (53,0) c | SolvingTime   |                 |   47.2     |   47.9     |   47.2     |   47.2     |   47.2     |   47.2     |   47.2     |   47.3     |
411.68/82.19	c (53,0) c | PropagationTim|                 |   44.1  93%|   44.9  94%|   44.0  93%|   43.6  92%|   44.0  93%|   44.1  93%|   43.7  92%|   43.8  93%|
411.68/82.19	c (53,0) c | AnalysisTime  |                 |    0.7   1%|    0.7   1%|    0.8   2%|    0.7   2%|    0.7   2%|    0.7   2%|    0.7   1%|    0.7   1%|
411.68/82.19	c (53,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%|
411.68/82.19	c (53,0) c | SimplifyTime  |                 |    1.4   3%|    1.4   3%|    1.4   3%|    1.9   4%|    1.4   3%|    1.3   3%|    1.8   4%|    1.7   4%|
411.68/82.19	c (53,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%|
411.68/82.19	c (53,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%|
411.68/82.19	c (53,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
411.68/82.19	c (53,0) c
411.68/82.19	c (53,0) c
411.68/82.19	c (53,0) c Threads : 8
411.68/82.19	c (53,0) c Winner : 0
411.68/82.19	c (53,0) c Conflicts_0 : 5553
411.68/82.19	c (53,0) c Conflicts_1 : 5397
411.68/82.19	c (53,0) c Conflicts_2 : 6075
411.68/82.19	c (53,0) c Conflicts_3 : 5502
411.68/82.19	c (53,0) c Conflicts_4 : 5607
411.68/82.19	c (53,0) c Conflicts_5 : 5740
411.68/82.19	c (53,0) c Conflicts_6 : 5541
411.68/82.19	c (53,0) c Conflicts_7 : 5581
411.68/82.19	c (53,0) c Conflicts_total : 44996
411.68/82.19	c (53,0) c Conflicts_winner : 5553
411.68/82.19	c (53,0) c Decisions_0 : 18784
411.68/82.19	c (53,0) c Decisions_1 : 14334
411.68/82.19	c (53,0) c Decisions_2 : 12962
411.68/82.19	c (53,0) c Decisions_3 : 13519
411.68/82.19	c (53,0) c Decisions_4 : 13177
411.68/82.19	c (53,0) c Decisions_5 : 12664
411.68/82.19	c (53,0) c Decisions_6 : 13289
411.68/82.19	c (53,0) c Decisions_7 : 15139
411.68/82.19	c (53,0) c Decisions_total : 113868
411.68/82.19	c (53,0) c Decisions_winner : 18784
411.68/82.19	c (53,0) c Propagations_0 : 77901231
411.68/82.19	c (53,0) c Propagations_1 : 75661596
411.68/82.19	c (53,0) c Propagations_2 : 78410251
411.68/82.19	c (53,0) c Propagations_3 : 77452331
411.68/82.19	c (53,0) c Propagations_4 : 79501182
411.68/82.19	c (53,0) c Propagations_5 : 79921707
411.68/82.19	c (53,0) c Propagations_6 : 78125445
411.68/82.19	c (53,0) c Propagations_7 : 82252291
411.68/82.19	c (53,0) c Propagations_total : 629226034
411.68/82.20	c (53,0) c Propagations_winner : 77901231
411.68/82.20	c (53,0) c ReduceDBs_0 : 1
411.68/82.20	c (53,0) c ReduceDBs_1 : 1
411.68/82.20	c (53,0) c ReduceDBs_2 : 1
411.68/82.20	c (53,0) c ReduceDBs_3 : 1
411.68/82.20	c (53,0) c ReduceDBs_4 : 1
411.68/82.20	c (53,0) c ReduceDBs_5 : 1
411.68/82.20	c (53,0) c ReduceDBs_6 : 1
411.68/82.20	c (53,0) c ReduceDBs_7 : 1
411.68/82.20	c (53,0) c ReduceDBs_total : 8
411.68/82.20	c (53,0) c ReduceDBs_winner : 1
411.68/82.20	c (53,0) c SimpDBs_0 : 6
411.68/82.20	c (53,0) c SimpDBs_1 : 6
411.68/82.20	c (53,0) c SimpDBs_2 : 4
411.68/82.20	c (53,0) c SimpDBs_3 : 6
411.68/82.20	c (53,0) c SimpDBs_4 : 6
411.68/82.20	c (53,0) c SimpDBs_5 : 5
411.68/82.20	c (53,0) c SimpDBs_6 : 6
411.68/82.20	c (53,0) c SimpDBs_7 : 6
411.68/82.20	c (53,0) c SimpDBs_total : 45
411.68/82.20	c (53,0) c SimpDBs_winner : 6
411.68/82.20	c (53,0) c Restarts_0 : 17
411.68/82.20	c (53,0) c Restarts_1 : 24
411.68/82.20	c (53,0) c Restarts_2 : 6
411.68/82.20	c (53,0) c Restarts_3 : 22
411.68/82.20	c (53,0) c Restarts_4 : 23
411.68/82.20	c (53,0) c Restarts_5 : 23
411.68/82.20	c (53,0) c Restarts_6 : 24
411.68/82.20	c (53,0) c Restarts_7 : 27
411.68/82.20	c (53,0) c Restarts_total : 166
411.68/82.20	c (53,0) c Restarts_winner : 17
411.68/82.20	c (53,0) c ForcedImports_0 : 0
411.68/82.20	c (53,0) c ForcedImports_1 : 0
411.68/82.20	c (53,0) c ForcedImports_2 : 0
411.68/82.20	c (53,0) c ForcedImports_3 : 0
411.68/82.20	c (53,0) c ForcedImports_4 : 0
411.68/82.20	c (53,0) c ForcedImports_5 : 0
411.68/82.20	c (53,0) c ForcedImports_6 : 0
411.68/82.20	c (53,0) c ForcedImports_7 : 0
411.68/82.20	c (53,0) c ForcedImports_total : 0
411.68/82.20	c (53,0) c ForcedImports_winner : 0
411.68/82.20	c (53,0) c PropsBinClauses_0 : 254998402
411.68/82.20	c (53,0) c PropsBinClauses_1 : 252278997
411.68/82.20	c (53,0) c PropsBinClauses_2 : 267094668
411.68/82.20	c (53,0) c PropsBinClauses_3 : 257498023
411.68/82.20	c (53,0) c PropsBinClauses_4 : 268561182
411.68/82.20	c (53,0) c PropsBinClauses_5 : 272572894
411.68/82.20	c (53,0) c PropsBinClauses_6 : 263625995
411.68/82.20	c (53,0) c PropsBinClauses_7 : 274618214
411.68/82.20	c (53,0) c PropsBinClauses_total : 2111248375
411.68/82.20	c (53,0) c PropsBinClauses_winner : 254998402
411.68/82.20	c (53,0) c PropsPreBlocker_0 : 1210252598
411.68/82.20	c (53,0) c PropsPreBlocker_1 : 1204455397
411.78/82.20	c (53,0) c PropsPreBlocker_2 : 1279384754
411.78/82.20	c (53,0) c PropsPreBlocker_3 : 1271175325
411.78/82.20	c (53,0) c PropsPreBlocker_4 : 1254548027
411.78/82.20	c (53,0) c PropsPreBlocker_5 : 1260528759
411.78/82.20	c (53,0) c PropsPreBlocker_6 : 1264848046
411.78/82.20	c (53,0) c PropsPreBlocker_7 : 1246582462
411.78/82.20	c (53,0) c PropsPreBlocker_total : 9991775368
411.78/82.20	c (53,0) c PropsPreBlocker_winner : 1210252598
411.78/82.20	c (53,0) c PropsNotBlocker_0 : 133420359
411.78/82.20	c (53,0) c PropsNotBlocker_1 : 139234810
411.78/82.20	c (53,0) c PropsNotBlocker_2 : 147891524
411.78/82.20	c (53,0) c PropsNotBlocker_3 : 142982800
411.78/82.20	c (53,0) c PropsNotBlocker_4 : 148745918
411.78/82.20	c (53,0) c PropsNotBlocker_5 : 149703904
411.78/82.20	c (53,0) c PropsNotBlocker_6 : 144093592
411.78/82.20	c (53,0) c PropsNotBlocker_7 : 151152327
411.78/82.20	c (53,0) c PropsNotBlocker_total : 1157225234
411.78/82.20	c (53,0) c PropsNotBlocker_winner : 133420359
411.78/82.20	c (53,0) c PropsLitFullScans_0 : 1700877451
411.78/82.20	c (53,0) c PropsLitFullScans_1 : 1696669707
411.78/82.20	c (53,0) c PropsLitFullScans_2 : 1774966243
411.78/82.20	c (53,0) c PropsLitFullScans_3 : 1774694800
411.78/82.20	c (53,0) c PropsLitFullScans_4 : 1774903470
411.78/82.20	c (53,0) c PropsLitFullScans_5 : 1774696120
411.78/82.20	c (53,0) c PropsLitFullScans_6 : 1774640012
411.78/82.20	c (53,0) c PropsLitFullScans_7 : 1774665479
411.78/82.20	c (53,0) c PropsLitFullScans_total : 14046113282
411.78/82.20	c (53,0) c PropsLitFullScans_winner : 1700877451
411.78/82.20	c (53,0) c LitScanFractions_0 : 184587
411.78/82.20	c (53,0) c LitScanFractions_1 : 231544
411.78/82.20	c (53,0) c LitScanFractions_2 : 197203
411.78/82.20	c (53,0) c LitScanFractions_3 : 234668
411.78/82.20	c (53,0) c LitScanFractions_4 : 210740
411.78/82.20	c (53,0) c LitScanFractions_5 : 206293
411.78/82.20	c (53,0) c LitScanFractions_6 : 205260
411.78/82.20	c (53,0) c LitScanFractions_7 : 237193
411.78/82.20	c (53,0) c LitScanFractions_total : 1707488
411.78/82.20	c (53,0) c LitScanFractions_winner : 184587
411.78/82.20	c (53,0) c DecisionLevel0_0 : 34
411.78/82.20	c (53,0) c DecisionLevel0_1 : 41
411.78/82.20	c (53,0) c DecisionLevel0_2 : 19
411.78/82.20	c (53,0) c DecisionLevel0_3 : 37
411.78/82.20	c (53,0) c DecisionLevel0_4 : 50
411.78/82.20	c (53,0) c DecisionLevel0_5 : 34
411.78/82.20	c (53,0) c DecisionLevel0_6 : 47
411.78/82.20	c (53,0) c DecisionLevel0_7 : 61
411.78/82.20	c (53,0) c DecisionLevel0_total : 323
411.78/82.20	c (53,0) c DecisionLevel0_winner : 34
411.78/82.20	c (53,0) c Periods_0 : 282
411.78/82.20	c (53,0) c Periods_1 : 282
411.78/82.20	c (53,0) c Periods_2 : 295
411.78/82.20	c (53,0) c Periods_3 : 295
411.78/82.20	c (53,0) c Periods_4 : 295
411.78/82.20	c (53,0) c Periods_5 : 295
411.78/82.20	c (53,0) c Periods_6 : 295
411.78/82.20	c (53,0) c Periods_7 : 295
411.78/82.20	c (53,0) c Periods_total : 2334
411.78/82.20	c (53,0) c Periods_winner : 282
411.78/82.20	c (53,0) c Margin_0 : 20
411.78/82.20	c (53,0) c Margin_1 : 20
411.78/82.20	c (53,0) c Margin_2 : 20
411.78/82.20	c (53,0) c Margin_3 : 20
411.78/82.20	c (53,0) c Margin_4 : 20
411.78/82.20	c (53,0) c Margin_5 : 20
411.78/82.20	c (53,0) c Margin_6 : 20
411.78/82.20	c (53,0) c Margin_7 : 20
411.78/82.20	c (53,0) c Margin_total : 160
411.78/82.20	c (53,0) c Margin_winner : 20
411.78/82.20	c (53,0) c Exported_0 : 528
411.78/82.20	c (53,0) c Exported_1 : 456
411.78/82.20	c (53,0) c Exported_2 : 646
411.78/82.20	c (53,0) c Exported_3 : 516
411.78/82.20	c (53,0) c Exported_4 : 555
411.78/82.20	c (53,0) c Exported_5 : 560
411.78/82.20	c (53,0) c Exported_6 : 584
411.78/82.20	c (53,0) c Exported_7 : 643
411.78/82.20	c (53,0) c Exported_total : 4488
411.78/82.20	c (53,0) c Exported_winner : 528
411.78/82.20	c (53,0) c Imported_0 : 2656
411.78/82.20	c (53,0) c Imported_1 : 2396
411.78/82.20	c (53,0) c Imported_2 : 2721
411.78/82.20	c (53,0) c Imported_3 : 3026
411.78/82.20	c (53,0) c Imported_4 : 3005
411.78/82.20	c (53,0) c Imported_5 : 2874
411.78/82.20	c (53,0) c Imported_6 : 2957
411.78/82.20	c (53,0) c Imported_7 : 2975
411.78/82.20	c (53,0) c Imported_total : 22610
411.78/82.20	c (53,0) c Imported_winner : 2656
411.78/82.20	c (53,0) c Good_0 : 101
411.78/82.20	c (53,0) c Good_1 : 84
411.78/82.20	c (53,0) c Good_2 : 98
411.78/82.20	c (53,0) c Good_3 : 89
411.78/82.20	c (53,0) c Good_4 : 92
411.78/82.20	c (53,0) c Good_5 : 93
411.78/82.20	c (53,0) c Good_6 : 96
411.78/82.20	c (53,0) c Good_7 : 93
411.78/82.20	c (53,0) c Good_total : 746
411.78/82.20	c (53,0) c Good_winner : 101
411.78/82.20	c (53,0) c Purge_0 : 2555
411.78/82.20	c (53,0) c Purge_1 : 2312
411.78/82.20	c (53,0) c Purge_2 : 2623
411.78/82.20	c (53,0) c Purge_3 : 2937
411.78/82.20	c (53,0) c Purge_4 : 2913
411.78/82.20	c (53,0) c Purge_5 : 2781
411.78/82.20	c (53,0) c Purge_6 : 2861
411.78/82.20	c (53,0) c Purge_7 : 2882
411.78/82.20	c (53,0) c Purge_total : 21864
411.78/82.20	c (53,0) c Purge_winner : 2555
411.78/82.20	c (53,0) c Promoted_0 : 108
411.78/82.20	c (53,0) c Promoted_1 : 117
411.78/82.20	c (53,0) c Promoted_2 : 95
411.78/82.20	c (53,0) c Promoted_3 : 135
411.78/82.20	c (53,0) c Promoted_4 : 105
411.78/82.20	c (53,0) c Promoted_5 : 93
411.78/82.20	c (53,0) c Promoted_6 : 123
411.78/82.20	c (53,0) c Promoted_7 : 130
411.78/82.20	c (53,0) c Promoted_total : 906
411.78/82.20	c (53,0) c Promoted_winner : 108
411.78/82.20	c (53,0) c Remove_Imp_0 : 0
411.78/82.20	c (53,0) c Remove_Imp_1 : 0
411.78/82.20	c (53,0) c Remove_Imp_2 : 0
411.78/82.20	c (53,0) c Remove_Imp_3 : 0
411.78/82.20	c (53,0) c Remove_Imp_4 : 0
411.78/82.20	c (53,0) c Remove_Imp_5 : 0
411.78/82.20	c (53,0) c Remove_Imp_6 : 0
411.78/82.20	c (53,0) c Remove_Imp_7 : 0
411.78/82.20	c (53,0) c Remove_Imp_total : 0
411.78/82.20	c (53,0) c Remove_Imp_winner : 0
411.78/82.20	c (53,0) c Blocked_Reuse_0 : 0
411.78/82.20	c (53,0) c Blocked_Reuse_1 : 0
411.78/82.20	c (53,0) c Blocked_Reuse_2 : 0
411.78/82.20	c (53,0) c Blocked_Reuse_3 : 0
411.78/82.20	c (53,0) c Blocked_Reuse_4 : 0
411.78/82.20	c (53,0) c Blocked_Reuse_5 : 0
411.78/82.20	c (53,0) c Blocked_Reuse_6 : 0
411.78/82.20	c (53,0) c Blocked_Reuse_7 : 0
411.78/82.20	c (53,0) c Blocked_Reuse_total : 0
411.78/82.20	c (53,0) c Blocked_Reuse_winner : 0
411.78/82.20	c (53,0) c Unaries_0 : 17
411.78/82.20	c (53,0) c Unaries_1 : 17
411.78/82.20	c (53,0) c Unaries_2 : 13
411.78/82.20	c (53,0) c Unaries_3 : 15
411.78/82.20	c (53,0) c Unaries_4 : 27
411.78/82.20	c (53,0) c Unaries_5 : 11
411.78/82.20	c (53,0) c Unaries_6 : 23
411.78/82.20	c (53,0) c Unaries_7 : 34
411.78/82.20	c (53,0) c Unaries_total : 157
411.78/82.20	c (53,0) c Unaries_winner : 17
411.78/82.20	c (53,0) c Binaries_0 : 8
411.78/82.20	c (53,0) c Binaries_1 : 18
411.78/82.20	c (53,0) c Binaries_2 : 10
411.78/82.20	c (53,0) c Binaries_3 : 22
411.78/82.20	c (53,0) c Binaries_4 : 17
411.78/82.20	c (53,0) c Binaries_5 : 16
411.78/82.20	c (53,0) c Binaries_6 : 17
411.78/82.20	c (53,0) c Binaries_7 : 19
411.78/82.20	c (53,0) c Binaries_total : 127
411.78/82.20	c (53,0) c Binaries_winner : 8
411.78/82.20	c (53,0) c Glues_0 : 452
411.78/82.20	c (53,0) c Glues_1 : 372
411.78/82.20	c (53,0) c Glues_2 : 335
411.78/82.20	c (53,0) c Glues_3 : 403
411.78/82.20	c (53,0) c Glues_4 : 366
411.78/82.20	c (53,0) c Glues_5 : 364
411.78/82.20	c (53,0) c Glues_6 : 467
411.78/82.20	c (53,0) c Glues_7 : 486
411.78/82.20	c (53,0) c Glues_total : 3245
411.78/82.20	c (53,0) c Glues_winner : 452
411.78/82.20	c (53,0) c RunningTime_0 : 47.185186
411.78/82.20	c (53,0) c RunningTime_1 : 47.933491
411.78/82.20	c (53,0) c RunningTime_2 : 45.776792
411.78/82.20	c (53,0) c RunningTime_3 : 44.546375
411.78/82.20	c (53,0) c RunningTime_4 : 46.149598
411.78/82.20	c (53,0) c RunningTime_5 : 46.690442
411.78/82.20	c (53,0) c RunningTime_6 : 45.848849
411.78/82.20	c (53,0) c RunningTime_7 : 46.404429
411.78/82.20	c (53,0) c RunningTime_total : 370.535161
411.78/82.20	c (53,0) c RunningTime_winner : 47.185186
411.78/82.20	c (53,0) c WaitingTime_0 : 0.000550
411.78/82.20	c (53,0) c WaitingTime_1 : 0.000317
411.78/82.20	c (53,0) c WaitingTime_2 : 1.415537
411.78/82.20	c (53,0) c WaitingTime_3 : 2.640308
411.78/82.20	c (53,0) c WaitingTime_4 : 1.041434
411.78/82.20	c (53,0) c WaitingTime_5 : 0.497268
411.78/82.20	c (53,0) c WaitingTime_6 : 1.337278
411.78/82.20	c (53,0) c WaitingTime_7 : 0.835405
411.78/82.20	c (53,0) c WaitingTime_total : 7.768097
411.78/82.20	c (53,0) c WaitingTime_winner : 0.000550
411.78/82.20	c (53,0) c ExchangingTime_0 : 0.006385
411.78/82.20	c (53,0) c ExchangingTime_1 : 0.005896
411.78/82.20	c (53,0) c ExchangingTime_2 : 0.006302
411.78/82.20	c (53,0) c ExchangingTime_3 : 0.006915
411.78/82.20	c (53,0) c ExchangingTime_4 : 0.006666
411.78/82.20	c (53,0) c ExchangingTime_5 : 0.006183
411.78/82.20	c (53,0) c ExchangingTime_6 : 0.006978
411.78/82.20	c (53,0) c ExchangingTime_7 : 0.006755
411.78/82.20	c (53,0) c ExchangingTime_total : 0.052080
411.78/82.20	c (53,0) c ExchangingTime_winner : 0.006385
411.78/82.20	c (53,0) c PeriodProcTime_0 : 0.003338
411.78/82.20	c (53,0) c PeriodProcTime_1 : 0.004347
411.78/82.20	c (53,0) c PeriodProcTime_2 : 0.003427
411.78/82.20	c (53,0) c PeriodProcTime_3 : 0.003510
411.78/82.20	c (53,0) c PeriodProcTime_4 : 0.003404
411.78/82.20	c (53,0) c PeriodProcTime_5 : 0.003524
411.78/82.20	c (53,0) c PeriodProcTime_6 : 0.003308
411.78/82.20	c (53,0) c PeriodProcTime_7 : 0.003515
411.78/82.20	c (53,0) c PeriodProcTime_total : 0.028373
411.78/82.20	c (53,0) c PeriodProcTime_winner : 0.003338
411.78/82.20	c (53,0) c SolvingTime_0 : 47.195459
411.78/82.20	c (53,0) c SolvingTime_1 : 47.944049
411.78/82.20	c (53,0) c SolvingTime_2 : 47.202057
411.78/82.21	c (53,0) c SolvingTime_3 : 47.197108
411.78/82.21	c (53,0) c SolvingTime_4 : 47.201103
411.78/82.21	c (53,0) c SolvingTime_5 : 47.197417
411.78/82.21	c (53,0) c SolvingTime_6 : 47.196413
411.78/82.21	c (53,0) c SolvingTime_7 : 47.250103
411.78/82.21	c (53,0) c SolvingTime_total : 378.383711
411.78/82.21	c (53,0) c SolvingTime_winner : 47.195459
411.78/82.21	c (53,0) c PropagationTime_0 : 44.110049
411.78/82.21	c (53,0) c PropagationTime_1 : 44.862422
411.78/82.21	c (53,0) c PropagationTime_2 : 43.987402
411.78/82.21	c (53,0) c PropagationTime_3 : 43.582968
411.78/82.21	c (53,0) c PropagationTime_4 : 44.027295
411.78/82.21	c (53,0) c PropagationTime_5 : 44.087184
411.78/82.21	c (53,0) c PropagationTime_6 : 43.655315
411.78/82.21	c (53,0) c PropagationTime_7 : 43.841065
411.78/82.21	c (53,0) c PropagationTime_total : 352.153700
411.78/82.21	c (53,0) c PropagationTime_winner : 44.110049
411.78/82.21	c (53,0) c AnalysisTime_0 : 0.697114
411.78/82.21	c (53,0) c AnalysisTime_1 : 0.675735
411.78/82.21	c (53,0) c AnalysisTime_2 : 0.783158
411.78/82.21	c (53,0) c AnalysisTime_3 : 0.708402
411.78/82.21	c (53,0) c AnalysisTime_4 : 0.730721
411.78/82.21	c (53,0) c AnalysisTime_5 : 0.742084
411.78/82.21	c (53,0) c AnalysisTime_6 : 0.694042
411.78/82.21	c (53,0) c AnalysisTime_7 : 0.678289
411.78/82.21	c (53,0) c AnalysisTime_total : 5.709546
411.78/82.21	c (53,0) c AnalysisTime_winner : 0.697114
411.78/82.21	c (53,0) c ReductionTime_0 : 0.000451
411.78/82.21	c (53,0) c ReductionTime_1 : 0.000656
411.78/82.21	c (53,0) c ReductionTime_2 : 0.000459
411.78/82.21	c (53,0) c ReductionTime_3 : 0.001787
411.78/82.21	c (53,0) c ReductionTime_4 : 0.000568
411.78/82.21	c (53,0) c ReductionTime_5 : 0.001652
411.78/82.21	c (53,0) c ReductionTime_6 : 0.000566
411.78/82.21	c (53,0) c ReductionTime_7 : 0.001742
411.78/82.21	c (53,0) c ReductionTime_total : 0.007881
411.78/82.21	c (53,0) c ReductionTime_winner : 0.000451
411.78/82.21	c (53,0) c SimplifyTime_0 : 1.351472
411.78/82.21	c (53,0) c SimplifyTime_1 : 1.424076
411.78/82.21	c (53,0) c SimplifyTime_2 : 1.402052
411.78/82.21	c (53,0) c SimplifyTime_3 : 1.917098
411.78/82.21	c (53,0) c SimplifyTime_4 : 1.397577
411.78/82.21	c (53,0) c SimplifyTime_5 : 1.300895
411.78/82.21	c (53,0) c SimplifyTime_6 : 1.826525
411.78/82.21	c (53,0) c SimplifyTime_7 : 1.671356
411.78/82.21	c (53,0) c SimplifyTime_total : 12.291051
411.78/82.21	c (53,0) c SimplifyTime_winner : 1.351472
411.78/82.21	c (53,0) c UsedRateTime_0 : 0.000000
411.78/82.21	c (53,0) c UsedRateTime_1 : 0.000000
411.78/82.21	c (53,0) c UsedRateTime_2 : 0.000000
411.78/82.21	c (53,0) c UsedRateTime_3 : 0.000000
411.78/82.21	c (53,0) c UsedRateTime_4 : 0.000000
411.78/82.21	c (53,0) c UsedRateTime_5 : 0.000000
411.78/82.21	c (53,0) c UsedRateTime_6 : 0.000000
411.78/82.21	c (53,0) c UsedRateTime_7 : 0.000000
411.78/82.21	c (53,0) c UsedRateTime_total : 0.000000
411.78/82.21	c (53,0) c UsedRateTime_winner : 0.000000
411.78/82.21	c (53,0) c OverlapRateTime_0 : 0.000000
411.78/82.21	c (53,0) c OverlapRateTime_1 : 0.000000
411.78/82.21	c (53,0) c OverlapRateTime_2 : 0.000000
411.78/82.21	c (53,0) c OverlapRateTime_3 : 0.000000
411.78/82.21	c (53,0) c OverlapRateTime_4 : 0.000000
411.78/82.21	c (53,0) c OverlapRateTime_5 : 0.000000
411.78/82.21	c (53,0) c OverlapRateTime_6 : 0.000000
411.78/82.21	c (53,0) c OverlapRateTime_7 : 0.000000
411.78/82.21	c (53,0) c OverlapRateTime_total : 0.000000
411.78/82.21	c (53,0) c OverlapRateTime_winner : 0.000000
411.78/82.21	c (53,0) c
411.78/82.21	c (53,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
411.78/82.21	c (53,0) c
411.78/82.21	c (53,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
411.78/82.21	c (53,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
411.78/82.21	c (53,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
411.78/82.21	c (53,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
411.78/82.21	c (53,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
411.78/82.21	c (53,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
411.78/82.21	c (53,0) c | Initial random_seed   | 1531936566 |  657476851 |  517894927 |  561060191 | 1299587716 | 1511341248 |  159935140 | 1310584062 |
411.78/82.21	c (53,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
411.78/82.21	c (53,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
411.78/82.21	c (53,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
411.78/82.21	c (53,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
411.78/82.21	c (53,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
411.78/82.21	c (53,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
411.78/82.21	c (53,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
411.78/82.21	c (53,0) c | var_decay             |     0.8100 |     0.8100 |     0.8100 |     0.8100 |     0.8100 |     0.8100 |     0.8100 |     0.8100 |
411.78/82.21	c (53,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
411.78/82.21	c (53,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
411.78/82.21	c (53,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
411.78/82.21	c (53,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
411.78/82.21	c (53,0) 
411.78/82.21	c (53,0) s SATISFIABLE
39.37/82.45	c (53,0) SatSolver.solve End
39.37/82.45	c (53,0) Heap : 184 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
39.37/82.45	c (53,0) Show results Begin
412.81/82.60	c (53,0) x0 = 44
412.81/82.60	c (53,0) x1 = 43
412.81/82.60	c (53,0) x10 = 518
412.81/82.60	c (53,0) x100 = 445
412.81/82.60	c (53,0) x101 = 446
412.81/82.60	c (53,0) x102 = 533
412.81/82.60	c (53,0) x103 = 532
412.81/82.60	c (53,0) x104 = 625
412.81/82.60	c (53,0) x105 = 626
412.81/82.60	c (53,0) x106 = 664
412.81/82.60	c (53,0) x107 = 665
412.81/82.60	c (53,0) x108 = 704
412.81/82.60	c (53,0) x109 = 703
412.81/82.60	c (53,0) x11 = 517
412.81/82.60	c (53,0) x110 = 708
412.81/82.60	c (53,0) x111 = 707
412.81/82.60	c (53,0) x112 = 837
412.81/82.60	c (53,0) x113 = 838
412.81/82.60	c (53,0) x114 = 921
412.81/82.60	c (53,0) x115 = 922
412.81/82.60	c (53,0) x116 = 1109
412.81/82.60	c (53,0) x117 = 1110
412.81/82.60	c (53,0) x118 = 1209
412.81/82.60	c (53,0) x119 = 1210
412.81/82.60	c (53,0) x12 = 754
412.81/82.60	c (53,0) x120 = 0
412.81/82.60	c (53,0) x121 = 1
412.81/82.60	c (53,0) x122 = 86
412.81/82.60	c (53,0) x123 = 85
412.81/82.60	c (53,0) x124 = 166
412.81/82.60	c (53,0) x125 = 167
412.81/82.60	c (53,0) x126 = 203
412.81/82.60	c (53,0) x127 = 202
412.81/82.60	c (53,0) x128 = 261
412.81/82.60	c (53,0) x129 = 260
412.81/82.60	c (53,0) x13 = 755
412.81/82.60	c (53,0) x130 = 380
412.81/82.60	c (53,0) x131 = 379
412.81/82.60	c (53,0) x132 = 414
412.81/82.60	c (53,0) x133 = 415
412.81/82.60	c (53,0) x134 = 461
412.81/82.60	c (53,0) x135 = 462
412.81/82.60	c (53,0) x136 = 465
412.81/82.60	c (53,0) x137 = 466
412.81/82.60	c (53,0) x138 = 560
412.81/82.60	c (53,0) x139 = 559
412.81/82.60	c (53,0) x14 = 859
412.81/82.60	c (53,0) x140 = 661
412.81/82.60	c (53,0) x141 = 660
412.81/82.60	c (53,0) x142 = 671
412.81/82.60	c (53,0) x143 = 670
412.81/82.60	c (53,0) x144 = 751
412.81/82.60	c (53,0) x145 = 750
412.81/82.60	c (53,0) x146 = 1081
412.81/82.60	c (53,0) x147 = 1082
412.81/82.60	c (53,0) x148 = 1162
412.81/82.60	c (53,0) x149 = 1163
412.81/82.60	c (53,0) x15 = 860
412.81/82.60	c (53,0) x150 = 0
412.81/82.60	c (53,0) x151 = 1
412.81/82.60	c (53,0) x152 = 29
412.81/82.60	c (53,0) x153 = 30
412.81/82.60	c (53,0) x154 = 96
412.81/82.60	c (53,0) x155 = 97
412.81/82.60	c (53,0) x156 = 166
412.81/82.60	c (53,0) x157 = 167
412.81/82.60	c (53,0) x158 = 169
412.81/82.60	c (53,0) x159 = 168
412.81/82.60	c (53,0) x16 = 869
412.81/82.60	c (53,0) x160 = 204
412.81/82.61	c (53,0) x161 = 205
412.81/82.61	c (53,0) x162 = 453
412.81/82.61	c (53,0) x163 = 452
412.81/82.61	c (53,0) x164 = 528
412.81/82.61	c (53,0) x165 = 529
412.81/82.61	c (53,0) x166 = 614
412.81/82.61	c (53,0) x167 = 615
412.81/82.61	c (53,0) x168 = 715
412.81/82.61	c (53,0) x169 = 716
412.81/82.61	c (53,0) x17 = 868
412.81/82.61	c (53,0) x170 = 772
412.81/82.61	c (53,0) x171 = 771
412.81/82.61	c (53,0) x172 = 871
412.81/82.61	c (53,0) x173 = 870
412.81/82.61	c (53,0) x174 = 952
412.81/82.61	c (53,0) x175 = 953
412.81/82.61	c (53,0) x176 = 1047
412.81/82.61	c (53,0) x177 = 1048
412.81/82.61	c (53,0) x178 = 1186
412.81/82.61	c (53,0) x179 = 1185
412.81/82.61	c (53,0) x18 = 919
412.81/82.61	c (53,0) x180 = 0
412.81/82.61	c (53,0) x181 = 7
412.81/82.61	c (53,0) x182 = 41
412.81/82.61	c (53,0) x183 = 42
412.81/82.61	c (53,0) x184 = 169
412.81/82.61	c (53,0) x185 = 168
412.81/82.61	c (53,0) x186 = 274
412.81/82.61	c (53,0) x187 = 275
412.81/82.61	c (53,0) x188 = 282
412.81/82.61	c (53,0) x189 = 283
412.81/82.61	c (53,0) x19 = 918
412.81/82.61	c (53,0) x190 = 307
412.81/82.61	c (53,0) x191 = 306
412.81/82.61	c (53,0) x192 = 324
412.81/82.61	c (53,0) x193 = 323
412.81/82.61	c (53,0) x194 = 408
412.81/82.61	c (53,0) x195 = 407
412.81/82.61	c (53,0) x196 = 514
412.81/82.61	c (53,0) x197 = 515
412.81/82.61	c (53,0) x198 = 684
412.81/82.61	c (53,0) x199 = 683
412.81/82.61	c (53,0) x2 = 129
412.81/82.61	c (53,0) x20 = 951
412.81/82.61	c (53,0) x200 = 844
412.81/82.61	c (53,0) x201 = 845
412.81/82.61	c (53,0) x202 = 881
412.81/82.61	c (53,0) x203 = 882
412.81/82.61	c (53,0) x204 = 1093
412.81/82.61	c (53,0) x205 = 1092
412.81/82.61	c (53,0) x206 = 1192
412.81/82.61	c (53,0) x207 = 1193
412.81/82.61	c (53,0) x208 = 1237
412.81/82.61	c (53,0) x209 = 1236
412.81/82.61	c (53,0) x21 = 952
412.81/82.61	c (53,0) x210 = 0
412.81/82.61	c (53,0) x211 = 1
412.81/82.61	c (53,0) x212 = 50
412.81/82.61	c (53,0) x213 = 49
412.81/82.61	c (53,0) x214 = 136
412.81/82.61	c (53,0) x215 = 135
412.81/82.61	c (53,0) x216 = 254
412.81/82.61	c (53,0) x217 = 253
412.81/82.61	c (53,0) x218 = 355
412.81/82.61	c (53,0) x219 = 354
412.81/82.61	c (53,0) x22 = 971
412.81/82.61	c (53,0) x220 = 401
412.81/82.61	c (53,0) x221 = 402
412.81/82.61	c (53,0) x222 = 410
412.81/82.61	c (53,0) x223 = 411
412.81/82.61	c (53,0) x224 = 494
412.81/82.61	c (53,0) x225 = 495
412.81/82.61	c (53,0) x226 = 599
412.81/82.61	c (53,0) x227 = 598
412.81/82.61	c (53,0) x228 = 664
412.81/82.61	c (53,0) x229 = 663
412.81/82.61	c (53,0) x23 = 972
412.81/82.61	c (53,0) x230 = 753
412.81/82.61	c (53,0) x231 = 752
412.81/82.61	c (53,0) x232 = 762
412.81/82.61	c (53,0) x233 = 763
412.81/82.61	c (53,0) x234 = 852
412.81/82.61	c (53,0) x235 = 851
412.81/82.61	c (53,0) x236 = 955
412.81/82.61	c (53,0) x237 = 956
412.81/82.61	c (53,0) x238 = 1037
412.81/82.61	c (53,0) x239 = 1038
412.81/82.61	c (53,0) x24 = 1064
412.81/82.61	c (53,0) x240 = 0
412.81/82.61	c (53,0) x241 = 1
412.81/82.61	c (53,0) x242 = 173
412.81/82.61	c (53,0) x243 = 172
412.81/82.61	c (53,0) x244 = 283
412.81/82.61	c (53,0) x245 = 282
412.81/82.61	c (53,0) x246 = 358
412.81/82.61	c (53,0) x247 = 357
412.81/82.61	c (53,0) x248 = 427
412.81/82.61	c (53,0) x249 = 428
412.81/82.61	c (53,0) x25 = 1063
412.81/82.61	c (53,0) x250 = 434
412.81/82.61	c (53,0) x251 = 433
412.81/82.61	c (53,0) x252 = 460
412.81/82.61	c (53,0) x253 = 461
412.81/82.61	c (53,0) x254 = 586
412.81/82.61	c (53,0) x255 = 587
412.81/82.61	c (53,0) x256 = 858
412.81/82.61	c (53,0) x257 = 859
412.81/82.61	c (53,0) x258 = 953
412.81/82.61	c (53,0) x259 = 952
412.81/82.61	c (53,0) x26 = 1129
412.81/82.61	c (53,0) x260 = 981
412.81/82.61	c (53,0) x261 = 980
412.81/82.61	c (53,0) x262 = 1102
412.81/82.61	c (53,0) x263 = 1103
412.81/82.61	c (53,0) x264 = 1185
412.81/82.61	c (53,0) x265 = 1184
412.81/82.61	c (53,0) x266 = 1190
412.81/82.61	c (53,0) x267 = 1191
412.81/82.61	c (53,0) x268 = 1281
412.81/82.61	c (53,0) x269 = 1280
412.81/82.61	c (53,0) x27 = 1130
412.81/82.61	c (53,0) x270 = 76
412.81/82.61	c (53,0) x271 = 77
412.81/82.61	c (53,0) x272 = 162
412.81/82.61	c (53,0) x273 = 163
412.81/82.61	c (53,0) x274 = 227
412.81/82.61	c (53,0) x275 = 226
412.81/82.61	c (53,0) x276 = 435
412.81/82.61	c (53,0) x277 = 436
412.81/82.61	c (53,0) x278 = 512
412.81/82.61	c (53,0) x279 = 511
412.81/82.61	c (53,0) x28 = 1218
412.81/82.61	c (53,0) x280 = 619
412.81/82.61	c (53,0) x281 = 620
412.81/82.61	c (53,0) x282 = 713
412.81/82.61	c (53,0) x283 = 714
412.81/82.61	c (53,0) x284 = 748
412.81/82.61	c (53,0) x285 = 747
412.81/82.61	c (53,0) x286 = 792
412.81/82.61	c (53,0) x287 = 791
412.81/82.61	c (53,0) x288 = 848
412.81/82.61	c (53,0) x289 = 847
412.81/82.61	c (53,0) x29 = 1217
412.81/82.61	c (53,0) x290 = 895
412.81/82.61	c (53,0) x291 = 894
412.81/82.61	c (53,0) x292 = 990
412.81/82.61	c (53,0) x293 = 989
412.81/82.61	c (53,0) x294 = 994
412.81/82.61	c (53,0) x295 = 995
412.81/82.61	c (53,0) x296 = 1013
412.81/82.61	c (53,0) x297 = 1012
412.81/82.61	c (53,0) x298 = 1108
412.81/82.61	c (53,0) x299 = 1109
412.81/82.61	c (53,0) x3 = 128
412.81/82.61	c (53,0) x30 = 0
412.81/82.61	c (53,0) x300 = 0
412.81/82.61	c (53,0) x301 = 1
412.81/82.61	c (53,0) x302 = 41
412.81/82.61	c (53,0) x303 = 40
412.81/82.61	c (53,0) x304 = 49
412.81/82.61	c (53,0) x305 = 50
412.81/82.61	c (53,0) x306 = 110
412.81/82.61	c (53,0) x307 = 111
412.81/82.61	c (53,0) x308 = 132
412.81/82.61	c (53,0) x309 = 133
412.81/82.61	c (53,0) x31 = 1
412.81/82.61	c (53,0) x310 = 134
412.81/82.61	c (53,0) x311 = 135
412.81/82.61	c (53,0) x312 = 211
412.81/82.61	c (53,0) x313 = 212
412.81/82.61	c (53,0) x314 = 305
412.81/82.61	c (53,0) x315 = 304
412.81/82.61	c (53,0) x316 = 386
412.81/82.61	c (53,0) x317 = 385
412.81/82.61	c (53,0) x318 = 483
412.81/82.61	c (53,0) x319 = 484
412.81/82.61	c (53,0) x32 = 47
412.81/82.61	c (53,0) x320 = 631
412.81/82.61	c (53,0) x321 = 630
412.81/82.61	c (53,0) x322 = 986
412.81/82.61	c (53,0) x323 = 987
412.81/82.61	c (53,0) x324 = 1052
412.81/82.61	c (53,0) x325 = 1051
412.81/82.61	c (53,0) x326 = 1109
412.81/82.61	c (53,0) x327 = 1108
412.81/82.61	c (53,0) x328 = 1207
412.81/82.61	c (53,0) x329 = 1206
412.81/82.61	c (53,0) x33 = 46
412.81/82.61	c (53,0) x330 = 0
412.81/82.61	c (53,0) x331 = 1
412.81/82.61	c (53,0) x332 = 39
412.81/82.61	c (53,0) x333 = 38
412.81/82.61	c (53,0) x334 = 124
412.81/82.61	c (53,0) x335 = 123
412.81/82.61	c (53,0) x336 = 185
412.81/82.61	c (53,0) x337 = 186
412.81/82.61	c (53,0) x338 = 264
412.81/82.61	c (53,0) x339 = 265
412.81/82.61	c (53,0) x34 = 132
412.81/82.61	c (53,0) x340 = 280
412.81/82.61	c (53,0) x341 = 279
412.81/82.61	c (53,0) x342 = 290
412.81/82.61	c (53,0) x343 = 291
412.81/82.61	c (53,0) x344 = 399
412.81/82.61	c (53,0) x345 = 400
412.81/82.61	c (53,0) x346 = 465
412.81/82.61	c (53,0) x347 = 464
412.81/82.61	c (53,0) x348 = 562
412.81/82.61	c (53,0) x349 = 563
412.81/82.61	c (53,0) x35 = 131
412.81/82.61	c (53,0) x350 = 660
412.81/82.61	c (53,0) x351 = 659
412.81/82.61	c (53,0) x352 = 694
412.81/82.61	c (53,0) x353 = 693
412.81/82.61	c (53,0) x354 = 741
412.81/82.61	c (53,0) x355 = 742
412.81/82.61	c (53,0) x356 = 763
412.81/82.61	c (53,0) x357 = 762
412.81/82.61	c (53,0) x358 = 1260
412.81/82.61	c (53,0) x359 = 1261
412.81/82.61	c (53,0) x36 = 294
412.81/82.61	c (53,0) x360 = 30
412.81/82.61	c (53,0) x361 = 24
412.81/82.61	c (53,0) x362 = 204
412.81/82.61	c (53,0) x363 = 205
412.81/82.61	c (53,0) x364 = 227
412.81/82.61	c (53,0) x365 = 226
412.81/82.61	c (53,0) x366 = 245
412.81/82.61	c (53,0) x367 = 244
412.81/82.61	c (53,0) x368 = 286
412.81/82.61	c (53,0) x369 = 285
412.81/82.61	c (53,0) x37 = 293
412.81/82.61	c (53,0) x370 = 327
412.81/82.61	c (53,0) x371 = 326
412.81/82.61	c (53,0) x372 = 392
412.81/82.61	c (53,0) x373 = 393
412.81/82.61	c (53,0) x374 = 426
412.81/82.61	c (53,0) x375 = 427
412.81/82.61	c (53,0) x376 = 466
412.81/82.61	c (53,0) x377 = 467
412.81/82.61	c (53,0) x378 = 707
412.81/82.61	c (53,0) x379 = 708
412.81/82.61	c (53,0) x38 = 341
412.81/82.61	c (53,0) x380 = 722
412.81/82.61	c (53,0) x381 = 721
412.81/82.61	c (53,0) x382 = 1041
412.81/82.61	c (53,0) x383 = 1040
412.81/82.61	c (53,0) x384 = 1084
412.81/82.61	c (53,0) x385 = 1083
412.81/82.61	c (53,0) x386 = 1210
412.81/82.61	c (53,0) x387 = 1209
412.81/82.61	c (53,0) x388 = 1255
412.81/82.61	c (53,0) x389 = 1256
412.81/82.61	c (53,0) x39 = 342
412.81/82.61	c (53,0) x390 = 1
412.81/82.61	c (53,0) x391 = 0
412.81/82.61	c (53,0) x392 = 219
412.81/82.61	c (53,0) x393 = 220
412.81/82.61	c (53,0) x394 = 322
412.81/82.61	c (53,0) x395 = 321
412.81/82.61	c (53,0) x396 = 336
412.81/82.61	c (53,0) x397 = 358
412.81/82.61	c (53,0) x398 = 428
412.81/82.61	c (53,0) x399 = 427
412.81/82.61	c (53,0) x4 = 130
412.81/82.61	c (53,0) x40 = 429
412.81/82.61	c (53,0) x400 = 522
412.81/82.61	c (53,0) x401 = 521
412.81/82.61	c (53,0) x402 = 555
412.81/82.61	c (53,0) x403 = 554
412.81/82.61	c (53,0) x404 = 561
412.81/82.61	c (53,0) x405 = 560
412.81/82.61	c (53,0) x406 = 610
412.81/82.61	c (53,0) x407 = 609
412.81/82.61	c (53,0) x408 = 774
412.81/82.61	c (53,0) x409 = 775
412.81/82.61	c (53,0) x41 = 430
412.81/82.61	c (53,0) x410 = 842
412.81/82.61	c (53,0) x411 = 841
412.81/82.61	c (53,0) x412 = 846
412.81/82.61	c (53,0) x413 = 847
412.81/82.61	c (53,0) x414 = 848
412.81/82.61	c (53,0) x415 = 847
412.81/82.61	c (53,0) x416 = 870
412.81/82.61	c (53,0) x417 = 871
412.81/82.61	c (53,0) x418 = 962
412.81/82.61	c (53,0) x419 = 961
412.81/82.61	c (53,0) x42 = 559
412.81/82.61	c (53,0) x420 = 0
412.81/82.61	c (53,0) x421 = 6
412.81/82.61	c (53,0) x422 = 30
412.81/82.61	c (53,0) x423 = 29
412.81/82.61	c (53,0) x424 = 269
412.81/82.61	c (53,0) x425 = 268
412.81/82.61	c (53,0) x426 = 273
412.81/82.61	c (53,0) x427 = 274
412.81/82.61	c (53,0) x428 = 470
412.81/82.61	c (53,0) x429 = 471
412.81/82.61	c (53,0) x43 = 558
412.81/82.61	c (53,0) x430 = 591
412.81/82.61	c (53,0) x431 = 592
412.81/82.61	c (53,0) x432 = 676
412.81/82.61	c (53,0) x433 = 677
412.81/82.61	c (53,0) x434 = 700
412.81/82.61	c (53,0) x435 = 699
412.81/82.61	c (53,0) x436 = 752
412.81/82.61	c (53,0) x437 = 751
412.81/82.61	c (53,0) x438 = 767
412.81/82.61	c (53,0) x439 = 766
412.81/82.61	c (53,0) x44 = 628
412.81/82.61	c (53,0) x440 = 859
412.81/82.61	c (53,0) x441 = 858
412.81/82.61	c (53,0) x442 = 945
412.81/82.61	c (53,0) x443 = 946
412.81/82.61	c (53,0) x444 = 1042
412.81/82.61	c (53,0) x445 = 1041
412.81/82.61	c (53,0) x446 = 1190
412.81/82.61	c (53,0) x447 = 1191
412.81/82.61	c (53,0) x448 = 1279
412.81/82.61	c (53,0) x449 = 1278
412.81/82.61	c (53,0) x45 = 627
412.81/82.61	c (53,0) x46 = 679
412.81/82.61	c (53,0) x47 = 680
412.81/82.61	c (53,0) x48 = 763
412.81/82.61	c (53,0) x49 = 762
412.81/82.61	c (53,0) x5 = 131
412.81/82.61	c (53,0) x50 = 919
412.81/82.61	c (53,0) x51 = 918
412.81/82.61	c (53,0) x52 = 1013
412.81/82.61	c (53,0) x53 = 1014
412.81/82.61	c (53,0) x54 = 1064
412.81/82.61	c (53,0) x55 = 1063
412.81/82.61	c (53,0) x56 = 1106
412.81/82.61	c (53,0) x57 = 1107
412.81/82.61	c (53,0) x58 = 1206
412.81/82.61	c (53,0) x59 = 1205
412.81/82.61	c (53,0) x6 = 327
412.81/82.61	c (53,0) x60 = 30
412.81/82.61	c (53,0) x61 = 21
412.81/82.61	c (53,0) x62 = 122
412.81/82.61	c (53,0) x63 = 123
412.81/82.61	c (53,0) x64 = 180
412.81/82.61	c (53,0) x65 = 179
412.81/82.61	c (53,0) x66 = 246
412.81/82.61	c (53,0) x67 = 247
412.81/82.61	c (53,0) x68 = 322
412.81/82.61	c (53,0) x69 = 321
412.81/82.61	c (53,0) x7 = 326
412.81/82.61	c (53,0) x70 = 412
412.81/82.61	c (53,0) x71 = 411
412.81/82.61	c (53,0) x72 = 476
412.81/82.61	c (53,0) x73 = 477
412.81/82.61	c (53,0) x74 = 583
412.81/82.61	c (53,0) x75 = 582
412.81/82.61	c (53,0) x76 = 619
412.81/82.61	c (53,0) x77 = 618
412.81/82.61	c (53,0) x78 = 679
412.81/82.61	c (53,0) x79 = 678
412.81/82.61	c (53,0) x8 = 382
412.81/82.61	c (53,0) x80 = 767
412.81/82.61	c (53,0) x81 = 768
412.81/82.61	c (53,0) x82 = 847
412.81/82.61	c (53,0) x83 = 846
412.81/82.61	c (53,0) x84 = 988
412.81/82.61	c (53,0) x85 = 987
412.81/82.61	c (53,0) x86 = 1025
412.81/82.61	c (53,0) x87 = 1026
412.81/82.61	c (53,0) x88 = 1105
412.81/82.61	c (53,0) x89 = 1106
412.81/82.61	c (53,0) x9 = 381
412.81/82.61	c (53,0) x90 = 0
412.81/82.61	c (53,0) x91 = 1
412.81/82.61	c (53,0) x92 = 116
412.81/82.61	c (53,0) x93 = 115
412.81/82.61	c (53,0) x94 = 228
412.81/82.61	c (53,0) x95 = 227
412.81/82.61	c (53,0) x96 = 282
412.81/82.61	c (53,0) x97 = 281
412.81/82.61	c (53,0) x98 = 416
412.81/82.61	c (53,0) x99 = 394
412.81/82.61	s SATISFIABLE
412.81/82.62	v <instantiation>
412.81/82.62	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>
412.81/82.62	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>
412.81/82.62	v </instantiation>
412.81/82.62	c (53,0) Show results End
412.81/82.62	c (53,0) Heap : 225 MiB used (max 3925 MiB), NonHeap : 18 MiB used (max 0 MiB)
412.81/82.62	c (53,0) 53,53,STOP-AFTER(ALL)
412.81/82.62	c END-Prog: Tue Sep 24 22:53:16 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 (13712 MiB free)
  memory of node 1: 16384 MiB (14478 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4405478-1569358373/watcher-4405478-1569358373 -o /tmp/evaluation-result-4405478-1569358373/solver-4405478-1569358373 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node103-1569357166-2374 --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-4405478-1569358373.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
Current StackSize limit: 8192 KiB

solver pid=2575, runsolver pid=2572

[startup+0.105179 s]*
/proc/loadavg: 6.67 6.58 6.13 2/212 2597
/proc/meminfo: memFree=28772080/32770624 swapFree=66999256/67108860
[pid=2575] ppid=2572 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/2575/stat : 2575 (scop.sh) S 2572 2575 2347 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 512090341 115843072 349 33554432000 4194304 5098028 140720371411376 140720371408632 140280582357628 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 39845888 140720371413796 140720371414124 140720371414124 140720371417037 0
/proc/2575/statm: 28282 349 296 221 0 87 0
[pid=2578] ppid=2575 vsize=27314120 memory=108436 CPUtime=0.11 cores=0-7
/proc/2578/stat : 2578 (java) S 2575 2575 2347 0 -1 1077944320 6685 0 0 0 9 2 0 0 20 0 20 0 512090342 27969658880 27109 33554432000 4194304 4196468 140724449610816 140724449593360 139655516016375 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 13647872 140724449612523 140724449612950 140724449612950 140724449615823 0
/proc/2578/statm: 6828530 27109 2815 1 0 6790935 0
[pid=2578/tid=2579] ppid=2575 vsize=27314120 memory=1398722017469774279 CPUtime=0.09 cores=0-7
/proc/2578/task/2579/stat : 2579 (java) R 2575 2575 2347 0 -1 4202560 4748 0 0 0 7 2 0 0 20 0 20 0 512090342 27969658880 27109 33554432000 4194304 4196468 140724449610816 139655487841264 139655516038301 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13647872 140724449612523 140724449612950 140724449612950 140724449615823 0
[pid=2578/tid=2580] ppid=2575 vsize=27314120 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/2578/task/2580/stat : 2580 (java) S 2575 2575 2347 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512090344 27969658880 27109 33554432000 4194304 4196468 140724449610816 139655520258960 139655516026581 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13647872 140724449612523 140724449612950 140724449612950 140724449615823 0
[pid=2578/tid=2581] ppid=2575 vsize=27314120 memory=139756457686656 CPUtime=0 cores=0-7
/proc/2578/task/2581/stat : 2581 (java) S 2575 2575 2347 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512090344 27969658880 27109 33554432000 4194304 4196468 140724449610816 139655303654160 139655516026581 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13647872 140724449612523 140724449612950 140724449612950 140724449615823 0
[pid=2578/tid=2582] ppid=2575 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/2578/task/2582/stat : 2582 (java) S 2575 2575 2347 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512090344 27969658880 27109 33554432000 4194304 4196468 140724449610816 139655302601872 139655516026581 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13647872 140724449612523 140724449612950 140724449612950 140724449615823 0
[pid=2578/tid=2583] ppid=2575 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/2578/task/2583/stat : 2583 (java) S 2575 2575 2347 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512090344 27969658880 27109 33554432000 4194304 4196468 140724449610816 139655301549072 139655516026581 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13647872 140724449612523 140724449612950 140724449612950 140724449615823 0
[pid=2578/tid=2584] ppid=2575 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/2578/task/2584/stat : 2584 (java) S 2575 2575 2347 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512090344 27969658880 27109 33554432000 4194304 4196468 140724449610816 139655300495760 139655516026581 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13647872 140724449612523 140724449612950 140724449612950 140724449615823 0
[pid=2578/tid=2585] ppid=2575 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/2578/task/2585/stat : 2585 (java) S 2575 2575 2347 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512090344 27969658880 27174 33554432000 4194304 4196468 140724449610816 139655299442960 139655516026581 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13647872 140724449612523 140724449612950 140724449612950 140724449615823 0
[pid=2578/tid=2586] ppid=2575 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/2578/task/2586/stat : 2586 (java) S 2575 2575 2347 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512090344 27969658880 27174 33554432000 4194304 4196468 140724449610816 139655298390672 139655516026581 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13647872 140724449612523 140724449612950 140724449612950 140724449615823 0
[pid=2578/tid=2587] ppid=2575 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/2578/task/2587/stat : 2587 (java) S 2575 2575 2347 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512090344 27969658880 27174 33554432000 4194304 4196468 140724449610816 139655297337872 139655516026581 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13647872 140724449612523 140724449612950 140724449612950 140724449615823 0
[pid=2578/tid=2588] ppid=2575 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/2578/task/2588/stat : 2588 (java) S 2575 2575 2347 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512090346 27969658880 27174 33554432000 4194304 4196468 140724449610816 139653566950000 139655516027522 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13647872 140724449612523 140724449612950 140724449612950 140724449615823 0
[pid=2578/tid=2589] ppid=2575 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/2578/task/2589/stat : 2589 (java) S 2575 2575 2347 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 512090346 27969658880 27174 33554432000 4194304 4196468 140724449610816 139653478868256 139655516026581 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13647872 140724449612523 140724449612950 140724449612950 140724449615823 0
[pid=2578/tid=2590] ppid=2575 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/2578/task/2590/stat : 2590 (java) S 2575 2575 2347 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512090347 27969658880 27174 33554432000 4194304 4196468 140724449610816 139653210433136 139655516026581 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13647872 140724449612523 140724449612950 140724449612950 140724449615823 0
[pid=2578/tid=2591] ppid=2575 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/2578/task/2591/stat : 2591 (java) S 2575 2575 2347 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512090349 27969658880 27174 33554432000 4194304 4196468 140724449610816 139652835924560 139655516034971 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13647872 140724449612523 140724449612950 140724449612950 140724449615823 0
[pid=2578/tid=2592] ppid=2575 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/2578/task/2592/stat : 2592 (java) S 2575 2575 2347 0 -1 1077944384 305 0 0 0 0 0 0 0 20 0 20 0 512090349 27969658880 27174 33554432000 4194304 4196468 140724449610816 139653565896816 139655516027522 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13647872 140724449612523 140724449612950 140724449612950 140724449615823 0
[pid=2578/tid=2593] ppid=2575 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/2578/task/2593/stat : 2593 (java) S 2575 2575 2347 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512090349 27969658880 27174 33554432000 4194304 4196468 140724449610816 139653564844016 139655516027522 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13647872 140724449612523 140724449612950 140724449612950 140724449615823 0
[pid=2578/tid=2594] ppid=2575 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/2578/task/2594/stat : 2594 (java) S 2575 2575 2347 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512090349 27969658880 27174 33554432000 4194304 4196468 140724449610816 139653563791728 139655516027522 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13647872 140724449612523 140724449612950 140724449612950 140724449615823 0
[pid=2578/tid=2595] ppid=2575 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/2578/task/2595/stat : 2595 (java) R 2575 2575 2347 0 -1 4202560 326 0 0 0 0 0 0 0 20 0 20 0 512090349 27969658880 27174 33554432000 4194304 4196468 140724449610816 139653562734872 139655494972662 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13647872 140724449612523 140724449612950 140724449612950 140724449615823 0
[pid=2578/tid=2596] ppid=2575 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/2578/task/2596/stat : 2596 (java) S 2575 2575 2347 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512090349 27969658880 27174 33554432000 4194304 4196468 140724449610816 139652338019168 139655516026581 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13647872 140724449612523 140724449612950 140724449612950 140724449615823 0
[pid=2578/tid=2597] ppid=2575 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/2578/task/2597/stat : 2597 (java) S 2575 2575 2347 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512090350 27969658880 27174 33554432000 4194304 4196468 140724449610816 139653561686832 139655516027522 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13647872 140724449612523 140724449612950 140724449612950 140724449615823 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 109832 KiB

[startup+0.210516 s]*
/proc/loadavg: 6.67 6.58 6.13 3/212 2597
/proc/meminfo: memFree=28750152/32770624 swapFree=66999256/67108860
[pid=2575] ppid=2572 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/2575/stat : 2575 (scop.sh) S 2572 2575 2347 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 512090341 115843072 349 33554432000 4194304 5098028 140720371411376 140720371408632 140280582357628 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 39845888 140720371413796 140720371414124 140720371414124 140720371417037 0
/proc/2575/statm: 28282 349 296 221 0 87 0
[pid=2578] ppid=2575 vsize=27314120 memory=125724 CPUtime=0.24 cores=0-7
/proc/2578/stat : 2578 (java) S 2575 2575 2347 0 -1 1077944320 12238 0 0 0 20 4 0 0 20 0 20 0 512090342 27969658880 31431 33554432000 4194304 4196468 140724449610816 140724449593360 139655516016375 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 13647872 140724449612523 140724449612950 140724449612950 140724449615823 0
/proc/2578/statm: 6828530 31431 2968 1 0 6790935 0
[pid=2578/tid=2579] ppid=2575 vsize=27314120 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/2578/task/2579/stat : 2579 (java) R 2575 2575 2347 0 -1 4202560 9930 0 0 0 16 3 0 0 20 0 20 0 512090342 27969658880 31431 33554432000 4194304 4196468 140724449610816 139655487824848 139655496291697 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13647872 140724449612523 140724449612950 140724449612950 140724449615823 0
[pid=2578/tid=2580] ppid=2575 vsize=27314120 memory=342 CPUtime=0 cores=0-7
/proc/2578/task/2580/stat : 2580 (java) S 2575 2575 2347 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512090344 27969658880 31431 33554432000 4194304 4196468 140724449610816 139655520258960 139655516026581 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13647872 140724449612523 140724449612950 140724449612950 140724449615823 0
[pid=2578/tid=2581] ppid=2575 vsize=27314120 memory=3617990632838526624 CPUtime=0 cores=0-7
/proc/2578/task/2581/stat : 2581 (java) S 2575 2575 2347 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512090344 27969658880 31431 33554432000 4194304 4196468 140724449610816 139655303654160 139655516026581 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13647872 140724449612523 140724449612950 140724449612950 140724449615823 0
[pid=2578/tid=2582] ppid=2575 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/2578/task/2582/stat : 2582 (java) S 2575 2575 2347 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512090344 27969658880 31431 33554432000 4194304 4196468 140724449610816 139655302601872 139655516026581 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13647872 140724449612523 140724449612950 140724449612950 140724449615823 0
[pid=2578/tid=2583] ppid=2575 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/2578/task/2583/stat : 2583 (java) S 2575 2575 2347 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512090344 27969658880 31431 33554432000 4194304 4196468 140724449610816 139655301549072 139655516026581 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13647872 140724449612523 140724449612950 140724449612950 140724449615823 0
[pid=2578/tid=2584] ppid=2575 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/2578/task/2584/stat : 2584 (java) S 2575 2575 2347 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512090344 27969658880 31431 33554432000 4194304 4196468 140724449610816 139655300495760 139655516026581 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13647872 140724449612523 140724449612950 140724449612950 140724449615823 0
[pid=2578/tid=2585] ppid=2575 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/2578/task/2585/stat : 2585 (java) S 2575 2575 2347 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512090344 27969658880 31431 33554432000 4194304 4196468 140724449610816 139655299442960 139655516026581 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13647872 140724449612523 140724449612950 140724449612950 140724449615823 0
[pid=2578/tid=2586] ppid=2575 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/2578/task/2586/stat : 2586 (java) S 2575 2575 2347 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512090344 27969658880 31431 33554432000 4194304 4196468 140724449610816 139655298390672 139655516026581 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13647872 140724449612523 140724449612950 140724449612950 140724449615823 0
[pid=2578/tid=2587] ppid=2575 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/2578/task/2587/stat : 2587 (java) S 2575 2575 2347 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512090344 27969658880 31431 33554432000 4194304 4196468 140724449610816 139655297337872 139655516026581 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13647872 140724449612523 140724449612950 140724449612950 140724449615823 0
[pid=2578/tid=2588] ppid=2575 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/2578/task/2588/stat : 2588 (java) S 2575 2575 2347 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512090346 27969658880 31431 33554432000 4194304 4196468 140724449610816 139653566950000 139655516027522 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13647872 140724449612523 140724449612950 140724449612950 140724449615823 0
[pid=2578/tid=2589] ppid=2575 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/2578/task/2589/stat : 2589 (java) S 2575 2575 2347 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 512090346 27969658880 31431 33554432000 4194304 4196468 140724449610816 139653478868256 139655516026581 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13647872 140724449612523 140724449612950 140724449612950 140724449615823 0
[pid=2578/tid=2590] ppid=2575 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/2578/task/2590/stat : 2590 (java) S 2575 2575 2347 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512090347 27969658880 31431 33554432000 4194304 4196468 140724449610816 139653210433136 139655516026581 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13647872 140724449612523 140724449612950 140724449612950 140724449615823 0
[pid=2578/tid=2591] ppid=2575 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/2578/task/2591/stat : 2591 (java) S 2575 2575 2347 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512090349 27969658880 31431 33554432000 4194304 4196468 140724449610816 139652835924560 139655516034971 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13647872 140724449612523 140724449612950 140724449612950 140724449615823 0
[pid=2578/tid=2592] ppid=2575 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/2578/task/2592/stat : 2592 (java) S 2575 2575 2347 0 -1 1077944384 340 0 0 0 0 0 0 0 20 0 20 0 512090349 27969658880 31431 33554432000 4194304 4196468 140724449610816 139653565896816 139655516027522 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13647872 140724449612523 140724449612950 140724449612950 140724449615823 0
[pid=2578/tid=2593] ppid=2575 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/2578/task/2593/stat : 2593 (java) S 2575 2575 2347 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 20 0 512090349 27969658880 31431 33554432000 4194304 4196468 140724449610816 139653564844016 139655516027522 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13647872 140724449612523 140724449612950 140724449612950 140724449615823 0
[pid=2578/tid=2594] ppid=2575 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/2578/task/2594/stat : 2594 (java) S 2575 2575 2347 0 -1 1077944384 136 0 0 0 0 0 0 0 20 0 20 0 512090349 27969658880 31431 33554432000 4194304 4196468 140724449610816 139653563791728 139655516027522 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13647872 140724449612523 140724449612950 140724449612950 140724449615823 0
[pid=2578/tid=2595] ppid=2575 vsize=27314120 memory=-1 CPUtime=0.02 cores=0-7
/proc/2578/task/2595/stat : 2595 (java) S 2575 2575 2347 0 -1 1077944384 474 0 0 0 2 0 0 0 20 0 20 0 512090349 27969658880 31431 33554432000 4194304 4196468 140724449610816 139653562738928 139655516027522 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13647872 140724449612523 140724449612950 140724449612950 140724449615823 0
[pid=2578/tid=2596] ppid=2575 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/2578/task/2596/stat : 2596 (java) S 2575 2575 2347 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512090349 27969658880 31431 33554432000 4194304 4196468 140724449610816 139652338019168 139655516026581 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13647872 140724449612523 140724449612950 140724449612950 140724449615823 0
[pid=2578/tid=2597] ppid=2575 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/2578/task/2597/stat : 2597 (java) S 2575 2575 2347 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512090350 27969658880 31431 33554432000 4194304 4196468 140724449610816 139653561686832 139655516027522 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13647872 140724449612523 140724449612950 140724449612950 140724449615823 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 127120 KiB

[startup+0.310413 s]*
/proc/loadavg: 6.67 6.58 6.13 2/212 2597
/proc/meminfo: memFree=28748032/32770624 swapFree=66999256/67108860
[pid=2575] ppid=2572 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/2575/stat : 2575 (scop.sh) S 2572 2575 2347 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 512090341 115843072 349 33554432000 4194304 5098028 140720371411376 140720371408632 140280582357628 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 39845888 140720371413796 140720371414124 140720371414124 140720371417037 0
/proc/2575/statm: 28282 349 296 221 0 87 0
[pid=2578] ppid=2575 vsize=27314120 memory=129472 CPUtime=0.41 cores=0-7
/proc/2578/stat : 2578 (java) S 2575 2575 2347 0 -1 1077944320 12786 0 0 0 37 4 0 0 20 0 20 0 512090342 27969658880 32368 33554432000 4194304 4196468 140724449610816 140724449593360 139655516016375 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 13647872 140724449612523 140724449612950 140724449612950 140724449615823 0
/proc/2578/statm: 6828530 32368 3022 1 0 6790935 0
[pid=2578/tid=2579] ppid=2575 vsize=27314120 memory=1398722017469774279 CPUtime=0.29 cores=0-7
/proc/2578/task/2579/stat : 2579 (java) R 2575 2575 2347 0 -1 4202560 10283 0 0 0 25 4 0 0 20 0 20 0 512090342 27969658880 32433 33554432000 4194304 4196468 140724449610816 139655487828472 139655496292256 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13647872 140724449612523 140724449612950 140724449612950 140724449615823 0
[pid=2578/tid=2580] ppid=2575 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/2578/task/2580/stat : 2580 (java) S 2575 2575 2347 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512090344 27969658880 32433 33554432000 4194304 4196468 140724449610816 139655520258960 139655516026581 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13647872 140724449612523 140724449612950 140724449612950 140724449615823 0
[pid=2578/tid=2581] ppid=2575 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/2578/task/2581/stat : 2581 (java) S 2575 2575 2347 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512090344 27969658880 32433 33554432000 4194304 4196468 140724449610816 139655303654160 139655516026581 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13647872 140724449612523 140724449612950 140724449612950 140724449615823 0
[pid=2578/tid=2582] ppid=2575 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/2578/task/2582/stat : 2582 (java) S 2575 2575 2347 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512090344 27969658880 32433 33554432000 4194304 4196468 140724449610816 139655302601872 139655516026581 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13647872 140724449612523 140724449612950 140724449612950 140724449615823 0
[pid=2578/tid=2583] ppid=2575 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/2578/task/2583/stat : 2583 (java) S 2575 2575 2347 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512090344 27969658880 32433 33554432000 4194304 4196468 140724449610816 139655301549072 139655516026581 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13647872 140724449612523 140724449612950 140724449612950 140724449615823 0
[pid=2578/tid=2584] ppid=2575 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/2578/task/2584/stat : 2584 (java) S 2575 2575 2347 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512090344 27969658880 32433 33554432000 4194304 4196468 140724449610816 139655300495760 139655516026581 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13647872 140724449612523 140724449612950 140724449612950 140724449615823 0
[pid=2578/tid=2585] ppid=2575 vsize=27314120 memory=139756356856495 CPUtime=0 cores=0-7
/proc/2578/task/2585/stat : 2585 (java) S 2575 2575 2347 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512090344 27969658880 32433 33554432000 4194304 4196468 140724449610816 139655299442960 139655516026581 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13647872 140724449612523 140724449612950 140724449612950 140724449615823 0
[pid=2578/tid=2586] ppid=2575 vsize=27314120 memory=139756356858800 CPUtime=0 cores=0-7
/proc/2578/task/2586/stat : 2586 (java) S 2575 2575 2347 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512090344 27969658880 32433 33554432000 4194304 4196468 140724449610816 139655298390672 139655516026581 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13647872 140724449612523 140724449612950 140724449612950 140724449615823 0
[pid=2578/tid=2587] ppid=2575 vsize=27314120 memory=139756356861104 CPUtime=0 cores=0-7
/proc/2578/task/2587/stat : 2587 (java) S 2575 2575 2347 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512090344 27969658880 32433 33554432000 4194304 4196468 140724449610816 139655297337872 139655516026581 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13647872 140724449612523 140724449612950 140724449612950 140724449615823 0
[pid=2578/tid=2588] ppid=2575 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/2578/task/2588/stat : 2588 (java) S 2575 2575 2347 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512090346 27969658880 32433 33554432000 4194304 4196468 140724449610816 139653566950000 139655516027522 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13647872 140724449612523 140724449612950 140724449612950 140724449615823 0
[pid=2578/tid=2589] ppid=2575 vsize=27314120 memory=279512713736080 CPUtime=0 cores=0-7
/proc/2578/task/2589/stat : 2589 (java) S 2575 2575 2347 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 512090346 27969658880 32433 33554432000 4194304 4196468 140724449610816 139653478868256 139655516026581 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13647872 140724449612523 140724449612950 140724449612950 140724449615823 0
[pid=2578/tid=2590] ppid=2575 vsize=27314120 memory=279512713733776 CPUtime=0 cores=0-7
/proc/2578/task/2590/stat : 2590 (java) S 2575 2575 2347 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512090347 27969658880 32433 33554432000 4194304 4196468 140724449610816 139653210433136 139655516026581 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13647872 140724449612523 140724449612950 140724449612950 140724449615823 0
[pid=2578/tid=2591] ppid=2575 vsize=27314120 memory=279512713740688 CPUtime=0 cores=0-7
/proc/2578/task/2591/stat : 2591 (java) S 2575 2575 2347 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512090349 27969658880 32433 33554432000 4194304 4196468 140724449610816 139652835924560 139655516034971 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13647872 140724449612523 140724449612950 140724449612950 140724449615823 0
[pid=2578/tid=2592] ppid=2575 vsize=27314120 memory=279512713681968 CPUtime=0.02 cores=0-7
/proc/2578/task/2592/stat : 2592 (java) S 2575 2575 2347 0 -1 1077944384 445 0 0 0 2 0 0 0 20 0 20 0 512090349 27969658880 32433 33554432000 4194304 4196468 140724449610816 139653565896816 139655516027522 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13647872 140724449612523 140724449612950 140724449612950 140724449615823 0
[pid=2578/tid=2593] ppid=2575 vsize=27314120 memory=279512713754512 CPUtime=0.01 cores=0-7
/proc/2578/task/2593/stat : 2593 (java) R 2575 2575 2347 0 -1 4202560 73 0 0 0 1 0 0 0 20 0 20 0 512090349 27969658880 32433 33554432000 4194304 4196468 140724449610816 139653564844016 139655493359392 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13647872 140724449612523 140724449612950 140724449612950 140724449615823 0
[pid=2578/tid=2594] ppid=2575 vsize=27314120 memory=279512713761424 CPUtime=0 cores=0-7
/proc/2578/task/2594/stat : 2594 (java) S 2575 2575 2347 0 -1 1077944384 136 0 0 0 0 0 0 0 20 0 20 0 512090349 27969658880 32433 33554432000 4194304 4196468 140724449610816 139653563791728 139655516027522 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13647872 140724449612523 140724449612950 140724449612950 140724449615823 0
[pid=2578/tid=2595] ppid=2575 vsize=27314120 memory=279512713759120 CPUtime=0.07 cores=0-7
/proc/2578/task/2595/stat : 2595 (java) S 2575 2575 2347 0 -1 1077944384 527 0 0 0 7 0 0 0 20 0 20 0 512090349 27969658880 32433 33554432000 4194304 4196468 140724449610816 139653562738928 139655516027522 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13647872 140724449612523 140724449612950 140724449612950 140724449615823 0
[pid=2578/tid=2596] ppid=2575 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/2578/task/2596/stat : 2596 (java) S 2575 2575 2347 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512090349 27969658880 32433 33554432000 4194304 4196468 140724449610816 139652338019168 139655516026581 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13647872 140724449612523 140724449612950 140724449612950 140724449615823 0
[pid=2578/tid=2597] ppid=2575 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/2578/task/2597/stat : 2597 (java) S 2575 2575 2347 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512090350 27969658880 32433 33554432000 4194304 4196468 140724449610816 139653561686832 139655516027522 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13647872 140724449612523 140724449612950 140724449612950 140724449615823 0
Current children cumulated CPU time: 0.41 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 130868 KiB

[startup+0.700936 s]
/proc/loadavg: 6.67 6.58 6.13 2/212 2597
/proc/meminfo: memFree=28727412/32770624 swapFree=66999256/67108860
[pid=2575] ppid=2572 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/2575/stat : 2575 (scop.sh) S 2572 2575 2347 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 512090341 115843072 349 33554432000 4194304 5098028 140720371411376 140720371408632 140280582357628 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 39845888 140720371413796 140720371414124 140720371414124 140720371417037 0
/proc/2575/statm: 28282 349 296 221 0 87 0
[pid=2578] ppid=2575 vsize=27320392 memory=165204 CPUtime=0.98 cores=0-7
/proc/2578/stat : 2578 (java) S 2575 2575 2347 0 -1 1077944320 20432 0 0 0 91 7 0 0 20 0 20 0 512090342 27976081408 41301 33554432000 4194304 4196468 140724449610816 140724449593360 139655516016375 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 13647872 140724449612523 140724449612950 140724449612950 140724449615823 0
/proc/2578/statm: 6830098 41301 3179 1 0 6791447 0
[pid=2578/tid=2579] ppid=2575 vsize=27320392 memory=0 CPUtime=0.67 cores=0-7
/proc/2578/task/2579/stat : 2579 (java) R 2575 2575 2347 0 -1 4202560 17347 0 0 0 61 6 0 0 20 0 20 0 512090342 27976081408 41301 33554432000 4194304 4196468 140724449610816 139655487854848 139654972140253 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13647872 140724449612523 140724449612950 140724449612950 140724449615823 0
[pid=2578/tid=2580] ppid=2575 vsize=27320392 memory=139756357067632 CPUtime=0 cores=0-7
/proc/2578/task/2580/stat : 2580 (java) S 2575 2575 2347 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512090344 27976081408 41301 33554432000 4194304 4196468 140724449610816 139655520258960 139655516026581 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13647872 140724449612523 140724449612950 140724449612950 140724449615823 0
[pid=2578/tid=2581] ppid=2575 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/2578/task/2581/stat : 2581 (java) S 2575 2575 2347 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512090344 27976081408 41301 33554432000 4194304 4196468 140724449610816 139655303654160 139655516026581 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13647872 140724449612523 140724449612950 140724449612950 140724449615823 0
[pid=2578/tid=2582] ppid=2575 vsize=27320392 memory=1004 CPUtime=0 cores=0-7
/proc/2578/task/2582/stat : 2582 (java) S 2575 2575 2347 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512090344 27976081408 41301 33554432000 4194304 4196468 140724449610816 139655302601872 139655516026581 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13647872 140724449612523 140724449612950 140724449612950 140724449615823 0

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

[pid=2601/tid=2604] ppid=2575 vsize=8414124 memory=3504 CPUtime=0 cores=0-7
/proc/2601/task/2604/stat : 2604 (java) S 2575 2575 2347 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512093194 8616062976 30223 33554432000 4194304 4196468 140731650859584 139849290386576 139849805436629 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28270592 140731650864120 140731650864278 140731650864278 140731650867151 0
[pid=2601/tid=2605] ppid=2575 vsize=8414124 memory=1436 CPUtime=0 cores=0-7
/proc/2601/task/2605/stat : 2605 (java) S 2575 2575 2347 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 512093194 8616062976 30223 33554432000 4194304 4196468 140731650859584 139849289333520 139849805436629 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28270592 140731650864120 140731650864278 140731650864278 140731650867151 0
[pid=2601/tid=2606] ppid=2575 vsize=8414124 memory=776 CPUtime=0 cores=0-7
/proc/2601/task/2606/stat : 2606 (java) S 2575 2575 2347 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512093194 8616062976 30223 33554432000 4194304 4196468 140731650859584 139849288280976 139849805436629 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28270592 140731650864120 140731650864278 140731650864278 140731650867151 0
[pid=2601/tid=2607] ppid=2575 vsize=8414124 memory=3604 CPUtime=0 cores=0-7
/proc/2601/task/2607/stat : 2607 (java) S 2575 2575 2347 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 512093194 8616062976 30223 33554432000 4194304 4196468 140731650859584 139849287227920 139849805436629 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28270592 140731650864120 140731650864278 140731650864278 140731650867151 0
[pid=2601/tid=2608] ppid=2575 vsize=8414124 memory=2828 CPUtime=0 cores=0-7
/proc/2601/task/2608/stat : 2608 (java) S 2575 2575 2347 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 512093194 8616062976 30223 33554432000 4194304 4196468 140731650859584 139849286175376 139849805436629 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28270592 140731650864120 140731650864278 140731650864278 140731650867151 0
[pid=2601/tid=2609] ppid=2575 vsize=8414124 memory=676 CPUtime=0 cores=0-7
/proc/2601/task/2609/stat : 2609 (java) S 2575 2575 2347 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512093194 8616062976 30223 33554432000 4194304 4196468 140731650859584 139849285122320 139849805436629 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28270592 140731650864120 140731650864278 140731650864278 140731650867151 0
[pid=2601/tid=2610] ppid=2575 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/2601/task/2610/stat : 2610 (java) S 2575 2575 2347 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 512093194 8616062976 30223 33554432000 4194304 4196468 140731650859584 139849284069776 139849805436629 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28270592 140731650864120 140731650864278 140731650864278 140731650867151 0
[pid=2601/tid=2611] ppid=2575 vsize=8414124 memory=120892 CPUtime=0 cores=0-7
/proc/2601/task/2611/stat : 2611 (java) S 2575 2575 2347 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 512093195 8616062976 30223 33554432000 4194304 4196468 140731650859584 139848898829040 139849805437570 0 0 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28270592 140731650864120 140731650864278 140731650864278 140731650867151 0
[pid=2601/tid=2612] ppid=2575 vsize=8414124 memory=3160932 CPUtime=0 cores=0-7
/proc/2601/task/2612/stat : 2612 (java) S 2575 2575 2347 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 512093196 8616062976 30223 33554432000 4194304 4196468 140731650859584 139848363009696 139849805436629 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28270592 140731650864120 140731650864278 140731650864278 140731650867151 0
[pid=2601/tid=2613] ppid=2575 vsize=8414124 memory=3160844 CPUtime=0 cores=0-7
/proc/2601/task/2613/stat : 2613 (java) S 2575 2575 2347 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512093196 8616062976 30223 33554432000 4194304 4196468 140731650859584 139848094573808 139849805436629 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28270592 140731650864120 140731650864278 140731650864278 140731650867151 0
[pid=2601/tid=2614] ppid=2575 vsize=8414124 memory=1712 CPUtime=0 cores=0-7
/proc/2601/task/2614/stat : 2614 (java) S 2575 2575 2347 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512093198 8616062976 30223 33554432000 4194304 4196468 140731650859584 139847720065488 139849805445019 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28270592 140731650864120 140731650864278 140731650864278 140731650867151 0
[pid=2601/tid=2615] ppid=2575 vsize=8414124 memory=279512714673552 CPUtime=0.06 cores=0-7
/proc/2601/task/2615/stat : 2615 (java) S 2575 2575 2347 0 -1 1077944384 600 0 0 0 6 0 0 0 20 0 24 0 512093199 8616062976 30223 33554432000 4194304 4196468 140731650859584 139848897775856 139849805437570 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28270592 140731650864120 140731650864278 140731650864278 140731650867151 0
[pid=2601/tid=2616] ppid=2575 vsize=8414124 memory=1476 CPUtime=0.09 cores=0-7
/proc/2601/task/2616/stat : 2616 (java) S 2575 2575 2347 0 -1 1077944384 421 0 0 0 9 0 0 0 20 0 24 0 512093200 8616062976 30223 33554432000 4194304 4196468 140731650859584 139848896723312 139849805437570 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28270592 140731650864120 140731650864278 140731650864278 140731650867151 0
[pid=2601/tid=2617] ppid=2575 vsize=8414124 memory=120892 CPUtime=0.09 cores=0-7
/proc/2601/task/2617/stat : 2617 (java) S 2575 2575 2347 0 -1 1077944384 582 0 0 0 9 0 0 0 20 0 24 0 512093200 8616062976 30223 33554432000 4194304 4196468 140731650859584 139848895670256 139849805437570 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28270592 140731650864120 140731650864278 140731650864278 140731650867151 0
[pid=2601/tid=2618] ppid=2575 vsize=8414124 memory=3161384 CPUtime=0.22 cores=0-7
/proc/2601/task/2618/stat : 2618 (java) S 2575 2575 2347 0 -1 1077944384 821 0 0 0 22 0 0 0 20 0 24 0 512093200 8616062976 30223 33554432000 4194304 4196468 140731650859584 139848894617712 139849805437570 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28270592 140731650864120 140731650864278 140731650864278 140731650867151 0
[pid=2601/tid=2619] ppid=2575 vsize=8414124 memory=3768 CPUtime=0 cores=0-7
/proc/2601/task/2619/stat : 2619 (java) S 2575 2575 2347 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 512093200 8616062976 30223 33554432000 4194304 4196468 140731650859584 139847222160352 139849805436629 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28270592 140731650864120 140731650864278 140731650864278 140731650867151 0
[pid=2601/tid=2620] ppid=2575 vsize=8414124 memory=1980 CPUtime=0.03 cores=0-7
/proc/2601/task/2620/stat : 2620 (java) S 2575 2575 2347 0 -1 1077944384 5 0 0 0 1 2 0 0 20 0 24 0 512093200 8616062976 30223 33554432000 4194304 4196468 140731650859584 139848893566128 139849805437570 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 29 0 0 6293624 6294260 28270592 140731650864120 140731650864278 140731650864278 140731650867151 0
[pid=2601/tid=2622] ppid=2575 vsize=8414124 memory=2512 CPUtime=0 cores=0-7
/proc/2601/task/2622/stat : 2622 (java) S 2575 2575 2347 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 512093269 8616062976 30223 33554432000 4194304 4196468 140731650859584 139848885532096 139849805451033 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 28270592 140731650864120 140731650864278 140731650864278 140731650867151 0
[pid=2601/tid=2624] ppid=2575 vsize=8414124 memory=1436 CPUtime=0 cores=0-7
/proc/2601/task/2624/stat : 2624 (java) S 2575 2575 2347 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 24 0 512093270 8616062976 30223 33554432000 4194304 4196468 140731650859584 139846551060016 139849805448349 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 28270592 140731650864120 140731650864278 140731650864278 140731650867151 0
[pid=2601/tid=2625] ppid=2575 vsize=8414124 memory=7686721470250261397 CPUtime=0 cores=0-7
/proc/2601/task/2625/stat : 2625 (java) S 2575 2575 2347 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 512093270 8616062976 30223 33554432000 4194304 4196468 140731650859584 139846819495600 139849805448349 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 28270592 140731650864120 140731650864278 140731650864278 140731650867151 0
[pid=2601/tid=2626] ppid=2575 vsize=8414124 memory=1412 CPUtime=0 cores=0-7
/proc/2601/task/2626/stat : 2626 (java) S 2575 2575 2347 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 24 0 512093272 8616062976 30223 33554432000 4194304 4196468 140731650859584 139846282632112 139849805436629 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28270592 140731650864120 140731650864278 140731650864278 140731650867151 0
Current children cumulated CPU time: 411.17 s
Current children cumulated vsize: 12338808 KiB
Current children cumulated memory: 3284076 KiB

[startup+82.4016 s]
/proc/loadavg: 6.23 6.26 6.04 2/218 2637
/proc/meminfo: memFree=25427584/32770624 swapFree=66999256/67108860
[pid=2575] ppid=2572 vsize=113128 memory=1476 CPUtime=37.67 cores=0-7
/proc/2575/stat : 2575 (scop.sh) S 2572 2575 2347 0 -1 4202496 583 34775 0 0 0 0 3578 189 20 0 1 0 512090341 115843072 369 33554432000 4194304 5098028 140720371411376 140720371408120 140280582357628 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 39845888 140720371413796 140720371414124 140720371414124 140720371417037 0
/proc/2575/statm: 28282 369 311 221 0 87 0
[pid=2601] ppid=2575 vsize=8414124 memory=194088 CPUtime=1.7 cores=0-7
/proc/2601/stat : 2601 (java) S 2575 2575 2347 0 -1 1077944320 22537 0 0 0 160 10 0 0 20 0 24 0 512093192 8616062976 48522 33554432000 4194304 4196468 140731650859584 140731650842128 139849805426423 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 28270592 140731650864120 140731650864278 140731650864278 140731650867151 0
/proc/2601/statm: 2103531 48522 3224 1 0 2064875 0
[pid=2601/tid=2602] ppid=2575 vsize=8414124 memory=130 CPUtime=0.79 cores=0-7
/proc/2601/task/2602/stat : 2602 (java) S 2575 2575 2347 0 -1 1077944384 17825 0 0 0 73 6 0 0 20 0 24 0 512093193 8616062976 48522 33554432000 4194304 4196468 140731650859584 139849777266592 139849805436629 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 28270592 140731650864120 140731650864278 140731650864278 140731650867151 0
[pid=2601/tid=2603] ppid=2575 vsize=8414124 memory=3702 CPUtime=0 cores=0-7
/proc/2601/task/2603/stat : 2603 (java) S 2575 2575 2347 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 512093194 8616062976 48522 33554432000 4194304 4196468 140731650859584 139849809669136 139849805436629 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28270592 140731650864120 140731650864278 140731650864278 140731650867151 0
[pid=2601/tid=2604] ppid=2575 vsize=8414124 memory=-7824251494390979941 CPUtime=0 cores=0-7
/proc/2601/task/2604/stat : 2604 (java) S 2575 2575 2347 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512093194 8616062976 48522 33554432000 4194304 4196468 140731650859584 139849290386576 139849805436629 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28270592 140731650864120 140731650864278 140731650864278 140731650867151 0
[pid=2601/tid=2605] ppid=2575 vsize=8414124 memory=120892 CPUtime=0 cores=0-7
/proc/2601/task/2605/stat : 2605 (java) S 2575 2575 2347 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 512093194 8616062976 48522 33554432000 4194304 4196468 140731650859584 139849289333520 139849805436629 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28270592 140731650864120 140731650864278 140731650864278 140731650867151 0
[pid=2601/tid=2606] ppid=2575 vsize=8414124 memory=3161708 CPUtime=0 cores=0-7
/proc/2601/task/2606/stat : 2606 (java) S 2575 2575 2347 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512093194 8616062976 48522 33554432000 4194304 4196468 140731650859584 139849288280976 139849805436629 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28270592 140731650864120 140731650864278 140731650864278 140731650867151 0
[pid=2601/tid=2607] ppid=2575 vsize=8414124 memory=3160844 CPUtime=0 cores=0-7
/proc/2601/task/2607/stat : 2607 (java) S 2575 2575 2347 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 512093194 8616062976 48522 33554432000 4194304 4196468 140731650859584 139849287227920 139849805436629 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28270592 140731650864120 140731650864278 140731650864278 140731650867151 0
[pid=2601/tid=2608] ppid=2575 vsize=8414124 memory=1712 CPUtime=0 cores=0-7
/proc/2601/task/2608/stat : 2608 (java) S 2575 2575 2347 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 512093194 8616062976 48522 33554432000 4194304 4196468 140731650859584 139849286175376 139849805436629 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28270592 140731650864120 140731650864278 140731650864278 140731650867151 0
[pid=2601/tid=2609] ppid=2575 vsize=8414124 memory=2828 CPUtime=0 cores=0-7
/proc/2601/task/2609/stat : 2609 (java) S 2575 2575 2347 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512093194 8616062976 48522 33554432000 4194304 4196468 140731650859584 139849285122320 139849805436629 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28270592 140731650864120 140731650864278 140731650864278 140731650867151 0
[pid=2601/tid=2610] ppid=2575 vsize=8414124 memory=288230574492221466 CPUtime=0 cores=0-7
/proc/2601/task/2610/stat : 2610 (java) S 2575 2575 2347 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 512093194 8616062976 48522 33554432000 4194304 4196468 140731650859584 139849284069776 139849805436629 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28270592 140731650864120 140731650864278 140731650864278 140731650867151 0
[pid=2601/tid=2611] ppid=2575 vsize=8414124 memory=288230596050944315 CPUtime=0 cores=0-7
/proc/2601/task/2611/stat : 2611 (java) S 2575 2575 2347 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 512093195 8616062976 48522 33554432000 4194304 4196468 140731650859584 139848898829040 139849805437570 0 0 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28270592 140731650864120 140731650864278 140731650864278 140731650867151 0
[pid=2601/tid=2612] ppid=2575 vsize=8414124 memory=15823283127847349 CPUtime=0 cores=0-7
/proc/2601/task/2612/stat : 2612 (java) S 2575 2575 2347 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 512093196 8616062976 48522 33554432000 4194304 4196468 140731650859584 139848363009696 139849805436629 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28270592 140731650864120 140731650864278 140731650864278 140731650867151 0
[pid=2601/tid=2613] ppid=2575 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/2601/task/2613/stat : 2613 (java) S 2575 2575 2347 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512093196 8616062976 48522 33554432000 4194304 4196468 140731650859584 139848094573808 139849805436629 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28270592 140731650864120 140731650864278 140731650864278 140731650867151 0
[pid=2601/tid=2614] ppid=2575 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/2601/task/2614/stat : 2614 (java) S 2575 2575 2347 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512093198 8616062976 48522 33554432000 4194304 4196468 140731650859584 139847720065488 139849805445019 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28270592 140731650864120 140731650864278 140731650864278 140731650867151 0
[pid=2601/tid=2615] ppid=2575 vsize=8414124 memory=0 CPUtime=0.1 cores=0-7
/proc/2601/task/2615/stat : 2615 (java) S 2575 2575 2347 0 -1 1077944384 629 0 0 0 10 0 0 0 20 0 24 0 512093199 8616062976 48522 33554432000 4194304 4196468 140731650859584 139848897775856 139849805437570 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28270592 140731650864120 140731650864278 140731650864278 140731650867151 0
[pid=2601/tid=2616] ppid=2575 vsize=8414124 memory=0 CPUtime=0.16 cores=0-7
/proc/2601/task/2616/stat : 2616 (java) S 2575 2575 2347 0 -1 1077944384 604 0 0 0 16 0 0 0 20 0 24 0 512093200 8616062976 48522 33554432000 4194304 4196468 140731650859584 139848896723312 139849805437570 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28270592 140731650864120 140731650864278 140731650864278 140731650867151 0
[pid=2601/tid=2617] ppid=2575 vsize=8414124 memory=0 CPUtime=0.14 cores=0-7
/proc/2601/task/2617/stat : 2617 (java) S 2575 2575 2347 0 -1 1077944384 620 0 0 0 14 0 0 0 20 0 24 0 512093200 8616062976 48522 33554432000 4194304 4196468 140731650859584 139848895670256 139849805437570 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28270592 140731650864120 140731650864278 140731650864278 140731650867151 0
[pid=2601/tid=2618] ppid=2575 vsize=8414124 memory=0 CPUtime=0.26 cores=0-7
/proc/2601/task/2618/stat : 2618 (java) S 2575 2575 2347 0 -1 1077944384 1374 0 0 0 26 0 0 0 20 0 24 0 512093200 8616062976 48522 33554432000 4194304 4196468 140731650859584 139848894617712 139849805437570 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28270592 140731650864120 140731650864278 140731650864278 140731650867151 0
[pid=2601/tid=2619] ppid=2575 vsize=8414124 memory=3160932 CPUtime=0 cores=0-7
/proc/2601/task/2619/stat : 2619 (java) S 2575 2575 2347 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 512093200 8616062976 48522 33554432000 4194304 4196468 140731650859584 139847222160352 139849805436629 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28270592 140731650864120 140731650864278 140731650864278 140731650867151 0
[pid=2601/tid=2620] ppid=2575 vsize=8414124 memory=1060 CPUtime=0.03 cores=0-7
/proc/2601/task/2620/stat : 2620 (java) S 2575 2575 2347 0 -1 1077944384 5 0 0 0 1 2 0 0 20 0 24 0 512093200 8616062976 48522 33554432000 4194304 4196468 140731650859584 139848893566128 139849805437570 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 29 0 0 6293624 6294260 28270592 140731650864120 140731650864278 140731650864278 140731650867151 0
[pid=2601/tid=2622] ppid=2575 vsize=8414124 memory=1548 CPUtime=0 cores=0-7
/proc/2601/task/2622/stat : 2622 (java) S 2575 2575 2347 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 512093269 8616062976 48522 33554432000 4194304 4196468 140731650859584 139848885532096 139849805451033 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 28270592 140731650864120 140731650864278 140731650864278 140731650867151 0
[pid=2601/tid=2624] ppid=2575 vsize=8414124 memory=8560 CPUtime=0.16 cores=0-7
/proc/2601/task/2624/stat : 2624 (java) R 2575 2575 2347 0 -1 1077944384 89 0 0 0 15 1 0 0 20 0 24 0 512093270 8616062976 48522 33554432000 4194304 4196468 140731650859584 139846551046544 139849798105645 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28270592 140731650864120 140731650864278 140731650864278 140731650867151 0
[pid=2601/tid=2625] ppid=2575 vsize=8414124 memory=1712 CPUtime=0 cores=0-7
/proc/2601/task/2625/stat : 2625 (java) S 2575 2575 2347 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 512093270 8616062976 48522 33554432000 4194304 4196468 140731650859584 139846819495600 139849805448349 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 28270592 140731650864120 140731650864278 140731650864278 140731650867151 0
[pid=2601/tid=2626] ppid=2575 vsize=8414124 memory=1112 CPUtime=0 cores=0-7
/proc/2601/task/2626/stat : 2626 (java) S 2575 2575 2347 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 24 0 512093272 8616062976 48522 33554432000 4194304 4196468 140731650859584 139846282632112 139849805436629 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28270592 140731650864120 140731650864278 140731650864278 140731650867151 0
Current children cumulated CPU time: 39.37 s
Current children cumulated vsize: 8527252 KiB
Current children cumulated memory: 195564 KiB

[startup+82.601 s]
/proc/loadavg: 6.23 6.26 6.04 2/218 2637
/proc/meminfo: memFree=25427584/32770624 swapFree=66999256/67108860
[pid=2575] ppid=2572 vsize=113128 memory=1476 CPUtime=37.67 cores=0-7
/proc/2575/stat : 2575 (scop.sh) S 2572 2575 2347 0 -1 4202496 583 34775 0 0 0 0 3578 189 20 0 1 0 512090341 115843072 369 33554432000 4194304 5098028 140720371411376 140720371408120 140280582357628 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 39845888 140720371413796 140720371414124 140720371414124 140720371417037 0
/proc/2575/statm: 28282 369 311 221 0 87 0
[pid=2601] ppid=2575 vsize=8283048 memory=226848 CPUtime=375.14 cores=0-7
/proc/2601/stat : 2601 (java) S 2575 2575 2347 0 -1 1077944320 23188 3240864 0 0 202 11 36728 573 20 0 22 0 512093192 8481841152 56712 33554432000 4194304 4196468 140731650859584 140731650842128 139849805426423 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 28270592 140731650864120 140731650864278 140731650864278 140731650867151 0
/proc/2601/statm: 2070762 56712 3234 1 0 2032106 0
[pid=2601/tid=2602] ppid=2575 vsize=8283048 memory=14008 CPUtime=373.94 cores=0-7
/proc/2601/task/2602/stat : 2602 (java) R 2575 2575 2347 0 -1 4202560 18106 3240864 0 0 87 6 36728 573 20 0 22 0 512093193 8481841152 56712 33554432000 4194304 4196468 140731650859584 139849777263488 139849312387795 0 4 2 25189581 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 28270592 140731650864120 140731650864278 140731650864278 140731650867151 0
[pid=2601/tid=2603] ppid=2575 vsize=8283048 memory=2124 CPUtime=373.01 cores=0-7
/proc/2601/task/2603/stat : 2603 (java) S 2575 2575 2347 0 -1 1077944384 2 3240864 0 0 0 0 36728 573 20 0 22 0 512093194 8481841152 56712 33554432000 4194304 4196468 140731650859584 139849809669136 139849805436629 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28270592 140731650864120 140731650864278 140731650864278 140731650867151 0
[pid=2601/tid=2604] ppid=2575 vsize=8283048 memory=290763849282617370 CPUtime=373.01 cores=0-7
/proc/2601/task/2604/stat : 2604 (java) S 2575 2575 2347 0 -1 1077944384 1 3240864 0 0 0 0 36728 573 20 0 22 0 512093194 8481841152 56712 33554432000 4194304 4196468 140731650859584 139849290386576 139849805436629 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28270592 140731650864120 140731650864278 140731650864278 140731650867151 0
[pid=2601/tid=2605] ppid=2575 vsize=8283048 memory=288230596050944315 CPUtime=373.01 cores=0-7
/proc/2601/task/2605/stat : 2605 (java) S 2575 2575 2347 0 -1 1077944384 2 3240864 0 0 0 0 36728 573 20 0 22 0 512093194 8481841152 56712 33554432000 4194304 4196468 140731650859584 139849289333520 139849805436629 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28270592 140731650864120 140731650864278 140731650864278 140731650867151 0
[pid=2601/tid=2606] ppid=2575 vsize=8283048 memory=15823283127847349 CPUtime=373.01 cores=0-7
/proc/2601/task/2606/stat : 2606 (java) S 2575 2575 2347 0 -1 1077944384 1 3240864 0 0 0 0 36728 573 20 0 22 0 512093194 8481841152 56712 33554432000 4194304 4196468 140731650859584 139849288280976 139849805436629 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28270592 140731650864120 140731650864278 140731650864278 140731650867151 0
[pid=2601/tid=2607] ppid=2575 vsize=8283048 memory=4126316290023845779 CPUtime=373.01 cores=0-7
/proc/2601/task/2607/stat : 2607 (java) S 2575 2575 2347 0 -1 1077944384 2 3240864 0 0 0 0 36728 573 20 0 22 0 512093194 8481841152 56712 33554432000 4194304 4196468 140731650859584 139849287227920 139849805436629 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28270592 140731650864120 140731650864278 140731650864278 140731650867151 0
[pid=2601/tid=2608] ppid=2575 vsize=8283048 memory=1013 CPUtime=373.01 cores=0-7
/proc/2601/task/2608/stat : 2608 (java) S 2575 2575 2347 0 -1 1077944384 2 3240864 0 0 0 0 36728 573 20 0 22 0 512093194 8481841152 56712 33554432000 4194304 4196468 140731650859584 139849286175376 139849805436629 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28270592 140731650864120 140731650864278 140731650864278 140731650867151 0
[pid=2601/tid=2609] ppid=2575 vsize=8283048 memory=989 CPUtime=373.01 cores=0-7
/proc/2601/task/2609/stat : 2609 (java) S 2575 2575 2347 0 -1 1077944384 1 3240864 0 0 0 0 36728 573 20 0 22 0 512093194 8481841152 56712 33554432000 4194304 4196468 140731650859584 139849285122320 139849805436629 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28270592 140731650864120 140731650864278 140731650864278 140731650867151 0
[pid=2601/tid=2610] ppid=2575 vsize=8283048 memory=14008 CPUtime=373.01 cores=0-7
/proc/2601/task/2610/stat : 2610 (java) S 2575 2575 2347 0 -1 1077944384 3 3240864 0 0 0 0 36728 573 20 0 22 0 512093194 8481841152 56712 33554432000 4194304 4196468 140731650859584 139849284069776 139849805436629 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28270592 140731650864120 140731650864278 140731650864278 140731650867151 0
[pid=2601/tid=2611] ppid=2575 vsize=8283048 memory=2124 CPUtime=373.01 cores=0-7
/proc/2601/task/2611/stat : 2611 (java) S 2575 2575 2347 0 -1 1077944384 8 3240864 0 0 0 0 36728 573 20 0 22 0 512093195 8481841152 56712 33554432000 4194304 4196468 140731650859584 139848898829040 139849805437570 0 0 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28270592 140731650864120 140731650864278 140731650864278 140731650867151 0
[pid=2601/tid=2612] ppid=2575 vsize=8283048 memory=35808 CPUtime=373.01 cores=0-7
/proc/2601/task/2612/stat : 2612 (java) S 2575 2575 2347 0 -1 1077944384 13 3240864 0 0 0 0 36728 573 20 0 22 0 512093196 8481841152 56712 33554432000 4194304 4196468 140731650859584 139848363009696 139849805436629 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28270592 140731650864120 140731650864278 140731650864278 140731650867151 0
[pid=2601/tid=2613] ppid=2575 vsize=8283048 memory=12024 CPUtime=373.01 cores=0-7
/proc/2601/task/2613/stat : 2613 (java) S 2575 2575 2347 0 -1 1077944384 1 3240864 0 0 0 0 36728 573 20 0 22 0 512093196 8481841152 56712 33554432000 4194304 4196468 140731650859584 139848094573808 139849805436629 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28270592 140731650864120 140731650864278 140731650864278 140731650867151 0
[pid=2601/tid=2614] ppid=2575 vsize=8283048 memory=500 CPUtime=373.01 cores=0-7
/proc/2601/task/2614/stat : 2614 (java) S 2575 2575 2347 0 -1 1077944384 1 3240864 0 0 0 0 36728 573 20 0 22 0 512093198 8481841152 56712 33554432000 4194304 4196468 140731650859584 139847720065488 139849805445019 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28270592 140731650864120 140731650864278 140731650864278 140731650867151 0
[pid=2601/tid=2615] ppid=2575 vsize=8283048 memory=1560 CPUtime=373.17 cores=0-7
/proc/2601/task/2615/stat : 2615 (java) S 2575 2575 2347 0 -1 1077944384 654 3240864 0 0 16 0 36728 573 20 0 22 0 512093199 8481841152 56712 33554432000 4194304 4196468 140731650859584 139848897775856 139849805437570 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28270592 140731650864120 140731650864278 140731650864278 140731650867151 0
[pid=2601/tid=2616] ppid=2575 vsize=8283048 memory=932 CPUtime=373.21 cores=0-7
/proc/2601/task/2616/stat : 2616 (java) S 2575 2575 2347 0 -1 1077944384 623 3240864 0 0 20 0 36728 573 20 0 22 0 512093200 8481841152 56712 33554432000 4194304 4196468 140731650859584 139848896723312 139849805437570 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28270592 140731650864120 140731650864278 140731650864278 140731650867151 0
[pid=2601/tid=2617] ppid=2575 vsize=8283048 memory=4108 CPUtime=373.21 cores=0-7
/proc/2601/task/2617/stat : 2617 (java) R 2575 2575 2347 0 -1 4202560 659 3240864 0 0 20 0 36728 573 20 0 22 0 512093200 8481841152 56712 33554432000 4194304 4196468 140731650859584 139848895670256 139849798411465 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 28270592 140731650864120 140731650864278 140731650864278 140731650867151 0
[pid=2601/tid=2618] ppid=2575 vsize=8283048 memory=2512 CPUtime=373.34 cores=0-7
/proc/2601/task/2618/stat : 2618 (java) R 2575 2575 2347 0 -1 4202560 1517 3240864 0 0 33 0 36728 573 20 0 22 0 512093200 8481841152 56712 33554432000 4194304 4196468 140731650859584 139848894617712 139849784060240 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28270592 140731650864120 140731650864278 140731650864278 140731650867151 0
[pid=2601/tid=2619] ppid=2575 vsize=8283048 memory=1436 CPUtime=373.01 cores=0-7
/proc/2601/task/2619/stat : 2619 (java) S 2575 2575 2347 0 -1 1077944384 3 3240864 0 0 0 0 36728 573 20 0 22 0 512093200 8481841152 56712 33554432000 4194304 4196468 140731650859584 139847222160352 139849805436629 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28270592 140731650864120 140731650864278 140731650864278 140731650867151 0
[pid=2601/tid=2620] ppid=2575 vsize=8283048 memory=796 CPUtime=373.04 cores=0-7
/proc/2601/task/2620/stat : 2620 (java) S 2575 2575 2347 0 -1 1077944384 5 3240864 0 0 1 2 36728 573 20 0 22 0 512093200 8481841152 56712 33554432000 4194304 4196468 140731650859584 139848893566128 139849805437570 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 29 0 0 6293624 6294260 28270592 140731650864120 140731650864278 140731650864278 140731650867151 0
[pid=2601/tid=2622] ppid=2575 vsize=8283048 memory=1764 CPUtime=373.01 cores=0-7
/proc/2601/task/2622/stat : 2622 (java) S 2575 2575 2347 0 -1 1077944384 31 3240864 0 0 0 0 36728 573 20 0 22 0 512093269 8481841152 56712 33554432000 4194304 4196468 140731650859584 139848885531280 139849805437570 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28270592 140731650864120 140731650864278 140731650864278 140731650867151 0
[pid=2601/tid=2626] ppid=2575 vsize=8283048 memory=1804 CPUtime=373.01 cores=0-7
/proc/2601/task/2626/stat : 2626 (java) S 2575 2575 2347 0 -1 1077944384 10 3240864 0 0 0 0 36728 573 20 0 22 0 512093272 8481841152 56712 33554432000 4194304 4196468 140731650859584 139846282633904 139849805437570 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28270592 140731650864120 140731650864278 140731650864278 140731650867151 0
Current children cumulated CPU time: 412.81 s
Current children cumulated vsize: 8396176 KiB
Current children cumulated memory: 228324 KiB

Child status: 0
Real time (s): 82.6606
CPU time (s): 412.93
CPU user time (s): 405.134
CPU system time (s): 7.79597
CPU usage (%): 499.549
Max. virtual memory (cumulated for all children) (KiB): 27441876
Max. memory (cumulated for all children) (KiB): 6063368

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 405.134
system time used= 7.79597
maximum resident set size= 6062976
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3300582
page faults= 0
swaps= 0
block input operations= 16
block output operations= 320728
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 63287
involuntary context switches= 3813


# summary of solver processes directly reported to runsolver:
#   pid: 2575
#   total CPU time (s): 412.93
#   total CPU user time (s): 405.134
#   total CPU system time (s): 7.79597

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.717252 second user time and 1.07428 second system time

The end

Launcher Data 

Begin job on node103 at 2019-09-24 22:51:54
IDJOB=4405478
IDBENCH=138482
IDSOLVER=2868
FILE ID=node103/4405478-1569358373
RUNJOBID= node103-1569357166-2374
PBS_JOBID= 21705106
Free space on /tmp= 20860 MiB

SOLVER NAME= Fun-sCOP hybrid+ManyGlucose (2019-09-22)
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-4405478-1569358373/watcher-4405478-1569358373 -o /tmp/evaluation-result-4405478-1569358373/solver-4405478-1569358373 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node103-1569357166-2374 --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-4405478-1569358373.xml

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

MD5SUM BENCH= 3f0141c7bb33af25d9039070b39091b8
RANDOM SEED=352048370

node103.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.74
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.74
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.74
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.74
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:        28866616 kB
MemAvailable:   31857000 kB
Buffers:           60184 kB
Cached:          3209736 kB
SwapCached:         7000 kB
Active:          3162264 kB
Inactive:         122120 kB
Active(anon):       4204 kB
Inactive(anon):    67432 kB
Active(file):    3158060 kB
Inactive(file):    54688 kB
Unevictable:      107728 kB
Mlocked:          107728 kB
SwapTotal:      67108860 kB
SwapFree:       66999256 kB
Dirty:             20884 kB
Writeback:             0 kB
AnonPages:        115148 kB
Mapped:            56856 kB
Shmem:             49080 kB
Slab:             214516 kB
SReclaimable:     186940 kB
SUnreclaim:        27576 kB
KernelStack:        3360 kB
PageTables:         6088 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     513856 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     71680 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= 20840 MiB
End job on node103 at 2019-09-24 22:53:16