Trace number 4405178

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Fun-sCOP order+ManyGlucose (2019-09-22)SAT 412.767 81.5152

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 -order -solver HOME/manyglucose-4.1-27_release -solverOption -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 -tmp HOME -serialFile HOME/scop-6316-serial-file.bin HOME/instance-4405178-1569358356.xml
0.66/0.54	
0.66/0.54	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
0.66/0.54	
0.66/0.56	c BEGIN-Prog: Tue Sep 24 22:51:55 CEST 2019
0.66/0.56	c PID: 6319
0.66/0.56	c IP: 172.20.3.119
0.66/0.56	c HOST: node119.alineos.net
0.66/0.57	c (0,0) Parsing Begin
5.69/1.87	c (1,1) Parsing End
5.69/1.87	c (1,1) CSP: 450 int (0 aux), 0 bool (0 aux), 5580 ctr, max domain size 1282
5.69/1.88	c (1,1) Heap : 675 MiB used (max 21589 MiB), NonHeap : 22 MiB used (max 0 MiB)
5.69/1.88	c (1,1) Constraint Name Generate Begin
6.10/1.92	c (1,1) Ctr:HOME/instance-4405178-1569358356.xml,Add:Le:Ne:Num:Or:Var
6.10/1.92	c (1,1) Constraint Name Generate End
6.10/1.92	c (1,1) Heap : 675 MiB used (max 21589 MiB), NonHeap : 23 MiB used (max 0 MiB)
6.10/1.92	c (1,1) CSP to CSPinCNF Begin
6.59/2.18	c (1,1) translated 558 (10%) constraints
6.85/2.24	c (1,1) translated 1116 (20%) constraints
6.85/2.28	c (1,1) translated 1674 (30%) constraints
7.25/2.32	c (1,1) translated 2232 (40%) constraints
7.25/2.36	c (1,1) translated 2790 (50%) constraints
7.25/2.39	c (1,1) translated 3348 (60%) constraints
7.66/2.42	c (1,1) translated 3906 (70%) constraints
7.66/2.45	c (1,1) translated 4464 (80%) constraints
7.66/2.48	c (1,1) translated 5022 (90%) constraints
7.66/2.49	c (1,1) translated 5580 (100%) constraints
7.66/2.49	c (1,1) ===========================================
7.66/2.49	c (1,1) Order
7.66/2.49	c (1,1) ===========================================
8.02/2.52	c (1,1) translated 558 (10%) constraints
8.02/2.54	c (1,1) translated 1116 (20%) constraints
8.02/2.56	c (2,2) translated 1674 (30%) constraints
8.02/2.57	c (2,2) translated 2232 (40%) constraints
8.02/2.59	c (2,2) translated 2790 (50%) constraints
8.30/2.60	c (2,2) translated 3348 (60%) constraints
8.30/2.62	c (2,2) translated 3906 (70%) constraints
8.30/2.63	c (2,2) translated 4464 (80%) constraints
8.30/2.64	c (2,2) translated 5022 (90%) constraints
8.30/2.66	c (2,2) translated 5580 (100%) constraints
8.30/2.66	c (2,2) CSP to CSPinCNF End
8.30/2.66	c (2,2) CSP: 450 int (0 aux), 0 bool (0 aux), 5580 ctr, max domain size 1199
8.30/2.66	c (2,2) Heap : 788 MiB used (max 21589 MiB), NonHeap : 27 MiB used (max 0 MiB)
8.30/2.66	c (2,2) CSPinCNF Propagation Begin
8.60/2.75	c (2,2) 0 values, 0 unsatisfiable literals, and 0 valid clauses are removed
8.60/2.75	c (2,2) CSPinCNF Propagation End
8.60/2.75	c (2,2) CSP: 450 int (0 aux), 0 bool (0 aux), 5580 ctr, max domain size 1199
8.60/2.75	c (2,2) Heap : 788 MiB used (max 21589 MiB), NonHeap : 27 MiB used (max 0 MiB)
8.60/2.75	c (2,2) Simplify CSPinCNF Begin
9.71/3.02	c (2,2) Simplify CSPinCNF End
9.71/3.03	c (2,2) CSP: 450 int (0 aux), 9900 bool (9900 aux), 15480 ctr, max domain size 1199
9.71/3.03	c (2,2) Heap : 788 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB)
9.71/3.03	c (2,2) Calculate Precise Domain Begin
9.71/3.03	c (2,2) 0 values are removed by re-calculation
9.71/3.03	c (2,2) Calculate Precise Domain End
9.71/3.03	c (2,2) CSP: 450 int (0 aux), 9900 bool (9900 aux), 15480 ctr, max domain size 1199
9.71/3.03	c (2,2) Heap : 788 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB)
9.71/3.03	c (2,2) CSPinCNF to SatSolver Begin
15.15/6.58	c (6,5) 1548 (10 %) CSP clauses are encoded (0 SAT variables, 940202 SAT clauses)
18.12/9.56	c (9,8) 3096 (20 %) CSP clauses are encoded (0 SAT variables, 1601442 SAT clauses)
20.60/11.79	c (11,10) 4644 (30 %) CSP clauses are encoded (0 SAT variables, 2210997 SAT clauses)
22.92/14.05	c (13,12) 6192 (40 %) CSP clauses are encoded (0 SAT variables, 2837790 SAT clauses)
25.78/16.46	c (15,15) 7740 (50 %) CSP clauses are encoded (0 SAT variables, 3490456 SAT clauses)
28.17/18.80	c (18,17) 9288 (60 %) CSP clauses are encoded (0 SAT variables, 4136938 SAT clauses)
30.30/20.89	c (20,19) 10836 (70 %) CSP clauses are encoded (0 SAT variables, 4724782 SAT clauses)
32.66/23.04	c (22,21) 12384 (80 %) CSP clauses are encoded (0 SAT variables, 5320262 SAT clauses)
35.27/25.69	c (25,24) 13932 (90 %) CSP clauses are encoded (0 SAT variables, 6054478 SAT clauses)
37.95/28.50	c (27,26) 15480 (100 %) CSP clauses are encoded (0 SAT variables, 7001863 SAT clauses)
37.95/28.50	c (27,26) CSPinCNF to SatSolver End
37.95/28.50	c (27,26) Heap : 1277 MiB used (max 21589 MiB), NonHeap : 32 MiB used (max 0 MiB)
37.95/28.50	c (27,26) 366146 bool, 7002496 clause
37.95/28.50	c (27,26) Export Begin
38.24/28.61	c (28,26) Export to HOME/scop-6316-serial-file.bin
38.24/28.61	c (28,26) Export End
38.24/28.61	c (28,26) Export File Size: 0.07 MB
38.24/28.61	c (28,26) 1,1,2,2,2,2,27,STOP-AFTER(DIMACS)
38.24/28.62	c END-Prog: Tue Sep 24 22:52:23 CEST 2019
38.24/28.67	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-6316-serial-file.bin
38.32/29.13	c (0,0) Read Serial File Begin
38.32/29.13	c (0,0) HOME/scop-6316-serial-file.bin
39.17/29.36	c (0,0) Read Serial File End
39.17/29.38	
39.17/29.38	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
39.17/29.38	(Solving Process)
39.17/29.38	
39.17/29.40	c BEGIN-Prog: Tue Sep 24 22:52:24 CEST 2019
39.17/29.40	c PID: 6339
39.17/29.40	c IP: 172.20.3.119
39.17/29.40	c HOST: node119.alineos.net
39.40/29.40	c (0,0) SatSolver.solve Begin
39.40/29.40	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4405178-1569358356.xml-scop-6319.cnf
39.40/29.43	c (0,0) c
39.40/29.43	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)
39.40/29.43	c (0,0) c
39.40/29.43	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
39.40/29.43	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
39.40/29.43	c (0,0) c ========================================[ Problem Statistics ]===========================================
39.40/29.43	c (0,0) c |                                                                                                       |
42.27/32.15	c (3,0) c |  Number of variables:        366146                                                                   |
42.27/32.15	c (3,0) c |  Number of clauses:         6880550                                                                   |
42.27/32.15	c (3,0) c |  Parse time:                   2.48 s                                                                 |
42.27/32.15	c (3,0) c |                                                                                                       |
42.77/32.61	c (3,0) c | Too many clauses... No preprocessing                                                                  |
42.77/32.61	c (3,0) c |  Simplification time:          0.41 s                                                                 |
42.77/32.61	c (3,0) c |                                                                                                       |
42.77/32.61	c (3,0) c |  Generating clones                                                                                    |
44.47/34.37	c (5,0) c |  all clones generated. Memory =  3660.43Mb.                                                           |
44.47/34.37	c (5,0) c ========================================================================================================|
44.47/34.37	c (5,0) c
44.47/34.37	c (5,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
44.47/34.37	c (5,0) c
44.47/34.37	c (5,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
44.47/34.37	c (5,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
44.47/34.37	c (5,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
44.47/34.37	c (5,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
44.47/34.37	c (5,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
44.47/34.37	c (5,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
44.47/34.37	c (5,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
44.47/34.37	c (5,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
44.47/34.37	c (5,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
44.47/34.37	c (5,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
44.47/34.37	c (5,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
44.47/34.37	c (5,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
44.47/34.37	c (5,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
44.47/34.37	c (5,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
44.47/34.37	c (5,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
44.47/34.37	c (5,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
44.47/34.37	c (5,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
44.47/34.37	c (5,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
44.47/34.37	c (5,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
278.18/63.85	c (34,0) c
278.18/63.85	c (34,0) c |------------------------------------------------------------------------------------------------------------------------|
278.18/63.85	c (34,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
278.18/63.85	c (34,0) c |------------------------------------------------------------------------------------------------------------------------|
278.18/63.85	c (34,0) c |  0 |      9 |       8363 |       3337 |    73419 |     2332 |      206 |     1444 |       49 |      179 |  20 | 33.974 |
278.18/63.85	c (34,0) c |  1 |     18 |       7116 |       3214 |    81455 |     2209 |      209 |     1463 |       59 |      182 |  20 | 33.980 |
278.18/63.85	c (34,0) c |  2 |      3 |       9205 |       3941 |    84727 |     2934 |      257 |     1440 |       51 |      193 |  20 | 33.982 |
278.18/63.85	c (34,0) c |  3 |     12 |       7459 |       3356 |    76772 |     2355 |      217 |     1582 |       53 |      194 |  20 | 33.977 |
278.18/63.85	c (34,0) c |  4 |     12 |       8886 |       3502 |    78231 |     2495 |      259 |     1101 |       48 |      187 |  20 | 33.933 |
278.18/63.85	c (34,0) c |  5 |     20 |       8029 |       3441 |    82008 |     2439 |      232 |     1396 |       37 |      188 |  20 | 33.974 |
278.18/63.85	c (34,0) c |  6 |     12 |       6778 |       3261 |    78232 |     2256 |      229 |     1485 |       57 |      189 |  20 | 33.982 |
278.18/63.85	c (34,0) c |  7 |     18 |      10164 |       3312 |    77784 |     2296 |      291 |     1332 |       57 |      184 |  20 | 33.971 |
278.18/63.85	c (34,0) c 
278.18/63.85	c (34,0) c synthesis       27364 conflicts   381238991 propagations      117 conflicts/sec  1628841 propagations/sec
278.18/63.85	c (34,0) c real: 34.4249 s, cpu: 234.055 s, memory: 3721.95 Mb
411.54/81.06	c (52,0) c
411.54/81.06	c (52,0) c real time : 51.6353 s
411.54/81.06	c (52,0) c cpu time  : 366.681 s
411.54/81.06	c (52,0) c
411.54/81.06	c (52,0) c
411.54/81.06	c (52,0) c
411.54/81.06	c (52,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
411.54/81.06	c (52,0) c
411.54/81.06	c (52,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
411.54/81.06	c (52,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
411.54/81.06	c (52,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
411.54/81.06	c (52,0) c | Conflicts     |           44946 |       5553 |       5397 |       6168 |       5567 |       5666 |       5618 |       5591 |       5386 |
411.54/81.06	c (52,0) c | Decisions     |          113371 |      18784 |      14334 |      13106 |      13622 |      13299 |      12350 |      13366 |      14510 |
411.54/81.06	c (52,0) c | Propagations  |       628162481 |   77901231 |   75661596 |   79410423 |   78396119 |   80219232 |   78389341 |   78681396 |   79503143 |
411.54/81.06	c (52,0) c | ReduceDBs     |               8 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |
411.54/81.06	c (52,0) c | SimpDBs       |              45 |          6 |          6 |          4 |          6 |          6 |          5 |          6 |          6 |
411.54/81.06	c (52,0) c | Restarts      |             165 |         17 |         24 |          6 |         22 |         23 |         23 |         24 |         26 |
411.54/81.06	c (52,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
411.54/81.06	c (52,0) c | PropBinClauses|      2109431989 |  254998402 |  252278997 |  270890281 |  260453999 |  271328311 |  267629284 |  265262783 |  266589932 |
411.54/81.06	c (52,0) c | PropPreBlocker|      9985015386 | 1210252598 | 1204455397 | 1296879296 | 1284236635 | 1267864922 | 1238547914 | 1270640523 | 1212138101 |
411.54/81.06	c (52,0) c | PropNotBlocker|      1155797260 |  133420359 |  139234810 |  149648054 |  144499887 |  149947832 |  147310677 |  144940485 |  146795156 |
411.54/81.06	c (52,0) c | LitFullScans  |     14035995935 | 1700877451 | 1696669707 | 1798635405 | 1792709862 | 1792652177 | 1744650258 | 1783140022 | 1726661053 |
411.54/81.06	c (52,0) c | LitScanFracts |         1705414 |     184587 |     231544 |     197523 |     235329 |     210857 |     204262 |     205587 |     235725 |
411.54/81.06	c (52,0) c | DecisionLevel0|             322 |         34 |         41 |         19 |         37 |         50 |         34 |         47 |         60 |
411.54/81.06	c (52,0) c | Periods       |            2332 |        282 |        282 |        299 |        298 |        298 |        290 |        296 |        287 |
411.54/81.06	c (52,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
411.54/81.06	c (52,0) c | Avg_Trail     |                 |     267810 |     270788 |     262642 |     277275 |     265685 |     264142 |     264875 |     265155 |
411.54/81.06	c (52,0) c | Avg_DL        |                 |         40 |         30 |         33 |         31 |         25 |         27 |         29 |         31 |
411.54/81.06	c (52,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
411.54/81.06	c (52,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
411.54/81.06	c (52,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
411.54/81.06	c (52,0) c | Exported      |            4458 |        528 |        456 |        666 |        541 |        568 |        527 |        592 |        580 |
411.54/81.06	c (52,0) c | Imported      |           22287 |       2656 |       2396 |       2721 |       3026 |       3005 |       2874 |       2957 |       2652 |
411.54/81.06	c (52,0) c | Good          |             744 |        101 |         84 |         98 |         89 |         92 |         93 |         96 |         91 |
411.54/81.06	c (52,0) c | Purge         |           21543 |       2555 |       2312 |       2623 |       2937 |       2913 |       2781 |       2861 |       2561 |
411.54/81.06	c (52,0) c | Promoted      |             899 |        108 |        117 |         97 |        136 |        106 |         89 |        125 |        121 |
411.54/81.06	c (52,0) c | Remove_Imp    |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
411.54/81.06	c (52,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
411.54/81.06	c (52,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
411.54/81.06	c (52,0) c | Unaries       |                 |         17 |         17 |         13 |         15 |         27 |         11 |         23 |         34 |
411.54/81.06	c (52,0) c | Binaries      |                 |          8 |         18 |         10 |         22 |         17 |         15 |         17 |         17 |
411.54/81.06	c (52,0) c | Glues         |                 |        452 |        372 |        338 |        406 |        371 |        346 |        468 |        465 |
411.54/81.06	c (52,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
411.54/81.06	c (52,0) c | Orig_Seen     |             2 % |     106645 |     111145 |     116193 |     115344 |     111895 |     110789 |     112745 |     113297 |
411.54/81.06	c (52,0) c | Diff Orig seen|                 |      X     |       4500 |       9548 |       8699 |       5250 |       4144 |       6100 |       6652 |
411.54/81.06	c (52,0) c | Hamming       |            13 % |      X     |      47643 |      58735 |      62240 |      52342 |      38012 |      54040 |      45076 |
411.54/81.06	c (52,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
411.54/81.06	c (52,0) c | RunningTime   |                 |   46.1 100%|   46.7 100%|   45.9  99%|   45.9  99%|   46.1 100%|   46.1 100%|   46.1 100%|   46.2 100%|
411.54/81.06	c (52,0) c | WaitingTime   |                 |    0.0   0%|    0.0   0%|    0.3   1%|    0.3   1%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
411.54/81.06	c (52,0) c | ExchangingTime|                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
411.54/81.06	c (52,0) c | PeriodProcTime|                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
411.54/81.06	c (52,0) c | SolvingTime   |                 |   46.1     |   46.7     |   46.3     |   46.2     |   46.1     |   46.2     |   46.2     |   46.2     |
411.54/81.06	c (52,0) c | PropagationTim|                 |   43.0  93%|   43.6  93%|   43.3  94%|   42.8  93%|   43.0  93%|   43.1  93%|   43.0  93%|   43.1  93%|
411.54/81.06	c (52,0) c | AnalysisTime  |                 |    0.7   2%|    0.7   1%|    0.8   2%|    0.7   2%|    0.7   2%|    0.7   2%|    0.7   2%|    0.7   1%|
411.54/81.06	c (52,0) c | ReductionTime |                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
411.54/81.06	c (52,0) c | SimplifyTime  |                 |    1.4   3%|    1.4   3%|    1.1   2%|    1.6   3%|    1.3   3%|    1.2   3%|    1.4   3%|    1.4   3%|
411.54/81.06	c (52,0) c | UsedRateTime  |                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
411.54/81.06	c (52,0) c | OverlapRateTim|                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
411.54/81.06	c (52,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
411.54/81.06	c (52,0) c
411.54/81.06	c (52,0) c
411.54/81.06	c (52,0) c Threads : 8
411.54/81.06	c (52,0) c Winner : 0
411.54/81.06	c (52,0) c Conflicts_0 : 5553
411.54/81.06	c (52,0) c Conflicts_1 : 5397
411.54/81.06	c (52,0) c Conflicts_2 : 6168
411.54/81.06	c (52,0) c Conflicts_3 : 5567
411.54/81.06	c (52,0) c Conflicts_4 : 5666
411.54/81.06	c (52,0) c Conflicts_5 : 5618
411.54/81.06	c (52,0) c Conflicts_6 : 5591
411.54/81.06	c (52,0) c Conflicts_7 : 5386
411.54/81.06	c (52,0) c Conflicts_total : 44946
411.54/81.06	c (52,0) c Conflicts_winner : 5553
411.54/81.06	c (52,0) c Decisions_0 : 18784
411.54/81.06	c (52,0) c Decisions_1 : 14334
411.54/81.06	c (52,0) c Decisions_2 : 13106
411.54/81.06	c (52,0) c Decisions_3 : 13622
411.54/81.06	c (52,0) c Decisions_4 : 13299
411.54/81.06	c (52,0) c Decisions_5 : 12350
411.54/81.06	c (52,0) c Decisions_6 : 13366
411.54/81.06	c (52,0) c Decisions_7 : 14510
411.54/81.06	c (52,0) c Decisions_total : 113371
411.54/81.06	c (52,0) c Decisions_winner : 18784
411.54/81.06	c (52,0) c Propagations_0 : 77901231
411.54/81.06	c (52,0) c Propagations_1 : 75661596
411.54/81.06	c (52,0) c Propagations_2 : 79410423
411.54/81.06	c (52,0) c Propagations_3 : 78396119
411.54/81.06	c (52,0) c Propagations_4 : 80219232
411.54/81.06	c (52,0) c Propagations_5 : 78389341
411.54/81.06	c (52,0) c Propagations_6 : 78681396
411.54/81.06	c (52,0) c Propagations_7 : 79503143
411.54/81.06	c (52,0) c Propagations_total : 628162481
411.54/81.06	c (52,0) c Propagations_winner : 77901231
411.54/81.06	c (52,0) c ReduceDBs_0 : 1
411.54/81.06	c (52,0) c ReduceDBs_1 : 1
411.54/81.06	c (52,0) c ReduceDBs_2 : 1
411.54/81.06	c (52,0) c ReduceDBs_3 : 1
411.54/81.06	c (52,0) c ReduceDBs_4 : 1
411.54/81.06	c (52,0) c ReduceDBs_5 : 1
411.54/81.06	c (52,0) c ReduceDBs_6 : 1
411.54/81.06	c (52,0) c ReduceDBs_7 : 1
411.54/81.06	c (52,0) c ReduceDBs_total : 8
411.54/81.06	c (52,0) c ReduceDBs_winner : 1
411.54/81.06	c (52,0) c SimpDBs_0 : 6
411.54/81.06	c (52,0) c SimpDBs_1 : 6
411.54/81.06	c (52,0) c SimpDBs_2 : 4
411.54/81.06	c (52,0) c SimpDBs_3 : 6
411.54/81.06	c (52,0) c SimpDBs_4 : 6
411.54/81.06	c (52,0) c SimpDBs_5 : 5
411.54/81.06	c (52,0) c SimpDBs_6 : 6
411.54/81.06	c (52,0) c SimpDBs_7 : 6
411.54/81.06	c (52,0) c SimpDBs_total : 45
411.54/81.06	c (52,0) c SimpDBs_winner : 6
411.54/81.06	c (52,0) c Restarts_0 : 17
411.54/81.06	c (52,0) c Restarts_1 : 24
411.54/81.06	c (52,0) c Restarts_2 : 6
411.54/81.06	c (52,0) c Restarts_3 : 22
411.54/81.06	c (52,0) c Restarts_4 : 23
411.54/81.06	c (52,0) c Restarts_5 : 23
411.54/81.06	c (52,0) c Restarts_6 : 24
411.54/81.07	c (52,0) c Restarts_7 : 26
411.54/81.07	c (52,0) c Restarts_total : 165
411.54/81.07	c (52,0) c Restarts_winner : 17
411.54/81.07	c (52,0) c ForcedImports_0 : 0
411.54/81.07	c (52,0) c ForcedImports_1 : 0
411.54/81.07	c (52,0) c ForcedImports_2 : 0
411.54/81.07	c (52,0) c ForcedImports_3 : 0
411.54/81.07	c (52,0) c ForcedImports_4 : 0
411.54/81.07	c (52,0) c ForcedImports_5 : 0
411.54/81.07	c (52,0) c ForcedImports_6 : 0
411.54/81.07	c (52,0) c ForcedImports_7 : 0
411.54/81.07	c (52,0) c ForcedImports_total : 0
411.54/81.07	c (52,0) c ForcedImports_winner : 0
411.54/81.07	c (52,0) c PropsBinClauses_0 : 254998402
411.54/81.07	c (52,0) c PropsBinClauses_1 : 252278997
411.54/81.07	c (52,0) c PropsBinClauses_2 : 270890281
411.54/81.07	c (52,0) c PropsBinClauses_3 : 260453999
411.54/81.07	c (52,0) c PropsBinClauses_4 : 271328311
411.54/81.07	c (52,0) c PropsBinClauses_5 : 267629284
411.54/81.07	c (52,0) c PropsBinClauses_6 : 265262783
411.54/81.07	c (52,0) c PropsBinClauses_7 : 266589932
411.54/81.07	c (52,0) c PropsBinClauses_total : 2109431989
411.54/81.07	c (52,0) c PropsBinClauses_winner : 254998402
411.54/81.07	c (52,0) c PropsPreBlocker_0 : 1210252598
411.54/81.07	c (52,0) c PropsPreBlocker_1 : 1204455397
411.54/81.07	c (52,0) c PropsPreBlocker_2 : 1296879296
411.54/81.07	c (52,0) c PropsPreBlocker_3 : 1284236635
411.54/81.07	c (52,0) c PropsPreBlocker_4 : 1267864922
411.54/81.07	c (52,0) c PropsPreBlocker_5 : 1238547914
411.54/81.07	c (52,0) c PropsPreBlocker_6 : 1270640523
411.54/81.07	c (52,0) c PropsPreBlocker_7 : 1212138101
411.54/81.07	c (52,0) c PropsPreBlocker_total : 9985015386
411.54/81.07	c (52,0) c PropsPreBlocker_winner : 1210252598
411.54/81.07	c (52,0) c PropsNotBlocker_0 : 133420359
411.54/81.07	c (52,0) c PropsNotBlocker_1 : 139234810
411.54/81.07	c (52,0) c PropsNotBlocker_2 : 149648054
411.54/81.07	c (52,0) c PropsNotBlocker_3 : 144499887
411.54/81.07	c (52,0) c PropsNotBlocker_4 : 149947832
411.54/81.07	c (52,0) c PropsNotBlocker_5 : 147310677
411.54/81.07	c (52,0) c PropsNotBlocker_6 : 144940485
411.54/81.07	c (52,0) c PropsNotBlocker_7 : 146795156
411.54/81.07	c (52,0) c PropsNotBlocker_total : 1155797260
411.54/81.07	c (52,0) c PropsNotBlocker_winner : 133420359
411.54/81.07	c (52,0) c PropsLitFullScans_0 : 1700877451
411.54/81.07	c (52,0) c PropsLitFullScans_1 : 1696669707
411.54/81.07	c (52,0) c PropsLitFullScans_2 : 1798635405
411.54/81.07	c (52,0) c PropsLitFullScans_3 : 1792709862
411.54/81.07	c (52,0) c PropsLitFullScans_4 : 1792652177
411.54/81.07	c (52,0) c PropsLitFullScans_5 : 1744650258
411.54/81.07	c (52,0) c PropsLitFullScans_6 : 1783140022
411.54/81.07	c (52,0) c PropsLitFullScans_7 : 1726661053
411.54/81.07	c (52,0) c PropsLitFullScans_total : 14035995935
411.54/81.07	c (52,0) c PropsLitFullScans_winner : 1700877451
411.54/81.07	c (52,0) c LitScanFractions_0 : 184587
411.54/81.07	c (52,0) c LitScanFractions_1 : 231544
411.54/81.07	c (52,0) c LitScanFractions_2 : 197523
411.54/81.07	c (52,0) c LitScanFractions_3 : 235329
411.54/81.07	c (52,0) c LitScanFractions_4 : 210857
411.54/81.07	c (52,0) c LitScanFractions_5 : 204262
411.54/81.07	c (52,0) c LitScanFractions_6 : 205587
411.54/81.07	c (52,0) c LitScanFractions_7 : 235725
411.54/81.07	c (52,0) c LitScanFractions_total : 1705414
411.54/81.07	c (52,0) c LitScanFractions_winner : 184587
411.54/81.07	c (52,0) c DecisionLevel0_0 : 34
411.54/81.07	c (52,0) c DecisionLevel0_1 : 41
411.54/81.07	c (52,0) c DecisionLevel0_2 : 19
411.54/81.07	c (52,0) c DecisionLevel0_3 : 37
411.54/81.07	c (52,0) c DecisionLevel0_4 : 50
411.54/81.07	c (52,0) c DecisionLevel0_5 : 34
411.54/81.07	c (52,0) c DecisionLevel0_6 : 47
411.54/81.07	c (52,0) c DecisionLevel0_7 : 60
411.54/81.07	c (52,0) c DecisionLevel0_total : 322
411.54/81.07	c (52,0) c DecisionLevel0_winner : 34
411.54/81.07	c (52,0) c Periods_0 : 282
411.54/81.07	c (52,0) c Periods_1 : 282
411.54/81.07	c (52,0) c Periods_2 : 299
411.54/81.07	c (52,0) c Periods_3 : 298
411.54/81.07	c (52,0) c Periods_4 : 298
411.54/81.07	c (52,0) c Periods_5 : 290
411.54/81.07	c (52,0) c Periods_6 : 296
411.54/81.07	c (52,0) c Periods_7 : 287
411.54/81.07	c (52,0) c Periods_total : 2332
411.54/81.07	c (52,0) c Periods_winner : 282
411.54/81.07	c (52,0) c Margin_0 : 20
411.54/81.07	c (52,0) c Margin_1 : 20
411.54/81.07	c (52,0) c Margin_2 : 20
411.54/81.07	c (52,0) c Margin_3 : 20
411.54/81.07	c (52,0) c Margin_4 : 20
411.54/81.07	c (52,0) c Margin_5 : 20
411.54/81.07	c (52,0) c Margin_6 : 20
411.54/81.07	c (52,0) c Margin_7 : 20
411.54/81.07	c (52,0) c Margin_total : 160
411.54/81.07	c (52,0) c Margin_winner : 20
411.54/81.07	c (52,0) c Exported_0 : 528
411.54/81.07	c (52,0) c Exported_1 : 456
411.54/81.07	c (52,0) c Exported_2 : 666
411.54/81.07	c (52,0) c Exported_3 : 541
411.54/81.07	c (52,0) c Exported_4 : 568
411.54/81.07	c (52,0) c Exported_5 : 527
411.54/81.07	c (52,0) c Exported_6 : 592
411.54/81.07	c (52,0) c Exported_7 : 580
411.54/81.07	c (52,0) c Exported_total : 4458
411.54/81.07	c (52,0) c Exported_winner : 528
411.54/81.07	c (52,0) c Imported_0 : 2656
411.54/81.07	c (52,0) c Imported_1 : 2396
411.54/81.07	c (52,0) c Imported_2 : 2721
411.54/81.07	c (52,0) c Imported_3 : 3026
411.54/81.07	c (52,0) c Imported_4 : 3005
411.54/81.07	c (52,0) c Imported_5 : 2874
411.54/81.07	c (52,0) c Imported_6 : 2957
411.54/81.07	c (52,0) c Imported_7 : 2652
411.54/81.07	c (52,0) c Imported_total : 22287
411.54/81.07	c (52,0) c Imported_winner : 2656
411.54/81.07	c (52,0) c Good_0 : 101
411.54/81.07	c (52,0) c Good_1 : 84
411.54/81.07	c (52,0) c Good_2 : 98
411.54/81.07	c (52,0) c Good_3 : 89
411.54/81.07	c (52,0) c Good_4 : 92
411.54/81.07	c (52,0) c Good_5 : 93
411.54/81.07	c (52,0) c Good_6 : 96
411.54/81.07	c (52,0) c Good_7 : 91
411.54/81.07	c (52,0) c Good_total : 744
411.54/81.07	c (52,0) c Good_winner : 101
411.54/81.07	c (52,0) c Purge_0 : 2555
411.54/81.07	c (52,0) c Purge_1 : 2312
411.54/81.07	c (52,0) c Purge_2 : 2623
411.54/81.07	c (52,0) c Purge_3 : 2937
411.54/81.07	c (52,0) c Purge_4 : 2913
411.54/81.07	c (52,0) c Purge_5 : 2781
411.54/81.07	c (52,0) c Purge_6 : 2861
411.54/81.07	c (52,0) c Purge_7 : 2561
411.54/81.07	c (52,0) c Purge_total : 21543
411.54/81.07	c (52,0) c Purge_winner : 2555
411.54/81.07	c (52,0) c Promoted_0 : 108
411.54/81.07	c (52,0) c Promoted_1 : 117
411.54/81.07	c (52,0) c Promoted_2 : 97
411.54/81.07	c (52,0) c Promoted_3 : 136
411.54/81.07	c (52,0) c Promoted_4 : 106
411.54/81.07	c (52,0) c Promoted_5 : 89
411.54/81.07	c (52,0) c Promoted_6 : 125
411.54/81.07	c (52,0) c Promoted_7 : 121
411.54/81.07	c (52,0) c Promoted_total : 899
411.54/81.07	c (52,0) c Promoted_winner : 108
411.54/81.07	c (52,0) c Remove_Imp_0 : 0
411.54/81.07	c (52,0) c Remove_Imp_1 : 0
411.54/81.07	c (52,0) c Remove_Imp_2 : 0
411.54/81.07	c (52,0) c Remove_Imp_3 : 0
411.54/81.07	c (52,0) c Remove_Imp_4 : 0
411.54/81.07	c (52,0) c Remove_Imp_5 : 0
411.54/81.07	c (52,0) c Remove_Imp_6 : 0
411.54/81.07	c (52,0) c Remove_Imp_7 : 0
411.54/81.07	c (52,0) c Remove_Imp_total : 0
411.54/81.07	c (52,0) c Remove_Imp_winner : 0
411.54/81.07	c (52,0) c Blocked_Reuse_0 : 0
411.54/81.07	c (52,0) c Blocked_Reuse_1 : 0
411.54/81.07	c (52,0) c Blocked_Reuse_2 : 0
411.54/81.07	c (52,0) c Blocked_Reuse_3 : 0
411.54/81.07	c (52,0) c Blocked_Reuse_4 : 0
411.54/81.07	c (52,0) c Blocked_Reuse_5 : 0
411.54/81.07	c (52,0) c Blocked_Reuse_6 : 0
411.54/81.07	c (52,0) c Blocked_Reuse_7 : 0
411.54/81.07	c (52,0) c Blocked_Reuse_total : 0
411.54/81.07	c (52,0) c Blocked_Reuse_winner : 0
411.54/81.07	c (52,0) c Unaries_0 : 17
411.54/81.07	c (52,0) c Unaries_1 : 17
411.54/81.07	c (52,0) c Unaries_2 : 13
411.54/81.07	c (52,0) c Unaries_3 : 15
411.54/81.07	c (52,0) c Unaries_4 : 27
411.54/81.07	c (52,0) c Unaries_5 : 11
411.54/81.07	c (52,0) c Unaries_6 : 23
411.54/81.07	c (52,0) c Unaries_7 : 34
411.54/81.07	c (52,0) c Unaries_total : 157
411.54/81.07	c (52,0) c Unaries_winner : 17
411.54/81.07	c (52,0) c Binaries_0 : 8
411.54/81.07	c (52,0) c Binaries_1 : 18
411.54/81.07	c (52,0) c Binaries_2 : 10
411.54/81.07	c (52,0) c Binaries_3 : 22
411.54/81.07	c (52,0) c Binaries_4 : 17
411.54/81.07	c (52,0) c Binaries_5 : 15
411.54/81.07	c (52,0) c Binaries_6 : 17
411.54/81.07	c (52,0) c Binaries_7 : 17
411.54/81.07	c (52,0) c Binaries_total : 124
411.54/81.07	c (52,0) c Binaries_winner : 8
411.54/81.07	c (52,0) c Glues_0 : 452
411.54/81.07	c (52,0) c Glues_1 : 372
411.54/81.07	c (52,0) c Glues_2 : 338
411.54/81.07	c (52,0) c Glues_3 : 406
411.54/81.07	c (52,0) c Glues_4 : 371
411.54/81.07	c (52,0) c Glues_5 : 346
411.54/81.07	c (52,0) c Glues_6 : 468
411.54/81.07	c (52,0) c Glues_7 : 465
411.54/81.07	c (52,0) c Glues_total : 3218
411.54/81.07	c (52,0) c Glues_winner : 452
411.54/81.07	c (52,0) c RunningTime_0 : 46.098345
411.54/81.07	c (52,0) c RunningTime_1 : 46.666837
411.54/81.07	c (52,0) c RunningTime_2 : 45.934445
411.54/81.07	c (52,0) c RunningTime_3 : 45.855368
411.54/81.07	c (52,0) c RunningTime_4 : 46.104975
411.54/81.07	c (52,0) c RunningTime_5 : 46.143917
411.54/81.07	c (52,0) c RunningTime_6 : 46.141755
411.54/81.07	c (52,0) c RunningTime_7 : 46.234632
411.54/81.07	c (52,0) c RunningTime_total : 369.180274
411.54/81.07	c (52,0) c RunningTime_winner : 46.098345
411.54/81.07	c (52,0) c WaitingTime_0 : 0.000387
411.54/81.07	c (52,0) c WaitingTime_1 : 0.000483
411.54/81.07	c (52,0) c WaitingTime_2 : 0.327013
411.54/81.07	c (52,0) c WaitingTime_3 : 0.296184
411.54/81.07	c (52,0) c WaitingTime_4 : 0.000580
411.54/81.07	c (52,0) c WaitingTime_5 : 0.000589
411.54/81.07	c (52,0) c WaitingTime_6 : 0.000630
411.54/81.07	c (52,0) c WaitingTime_7 : 0.000570
411.54/81.07	c (52,0) c WaitingTime_total : 0.626436
411.54/81.07	c (52,0) c WaitingTime_winner : 0.000387
411.54/81.07	c (52,0) c ExchangingTime_0 : 0.006720
411.54/81.07	c (52,0) c ExchangingTime_1 : 0.006097
411.54/81.07	c (52,0) c ExchangingTime_2 : 0.006207
411.54/81.07	c (52,0) c ExchangingTime_3 : 0.006745
411.54/81.07	c (52,0) c ExchangingTime_4 : 0.006745
411.54/81.07	c (52,0) c ExchangingTime_5 : 0.006207
411.54/81.07	c (52,0) c ExchangingTime_6 : 0.007049
411.54/81.07	c (52,0) c ExchangingTime_7 : 0.006713
411.54/81.07	c (52,0) c ExchangingTime_total : 0.052483
411.54/81.07	c (52,0) c ExchangingTime_winner : 0.006720
411.54/81.07	c (52,0) c PeriodProcTime_0 : 0.003252
411.54/81.07	c (52,0) c PeriodProcTime_1 : 0.003379
411.54/81.07	c (52,0) c PeriodProcTime_2 : 0.003363
411.54/81.07	c (52,0) c PeriodProcTime_3 : 0.003639
411.54/81.07	c (52,0) c PeriodProcTime_4 : 0.003216
411.54/81.07	c (52,0) c PeriodProcTime_5 : 0.003444
411.54/81.07	c (52,0) c PeriodProcTime_6 : 0.003617
411.54/81.07	c (52,0) c PeriodProcTime_7 : 0.003766
411.54/81.07	c (52,0) c PeriodProcTime_total : 0.027676
411.54/81.07	c (52,0) c PeriodProcTime_winner : 0.003252
411.54/81.07	c (52,0) c SolvingTime_0 : 46.108703
411.54/81.07	c (52,0) c SolvingTime_1 : 46.676796
411.54/81.07	c (52,0) c SolvingTime_2 : 46.271028
411.54/81.07	c (52,0) c SolvingTime_3 : 46.161937
411.54/81.07	c (52,0) c SolvingTime_4 : 46.115515
411.54/81.07	c (52,0) c SolvingTime_5 : 46.154158
411.54/81.07	c (52,0) c SolvingTime_6 : 46.153052
411.54/81.07	c (52,0) c SolvingTime_7 : 46.245682
411.54/81.07	c (52,0) c SolvingTime_total : 369.886870
411.54/81.07	c (52,0) c SolvingTime_winner : 46.108703
411.54/81.07	c (52,0) c PropagationTime_0 : 42.988615
411.54/81.07	c (52,0) c PropagationTime_1 : 43.575793
411.54/81.07	c (52,0) c PropagationTime_2 : 43.332958
411.54/81.07	c (52,0) c PropagationTime_3 : 42.818882
411.54/81.07	c (52,0) c PropagationTime_4 : 43.011748
411.54/81.07	c (52,0) c PropagationTime_5 : 43.142756
411.54/81.07	c (52,0) c PropagationTime_6 : 43.027780
411.54/81.07	c (52,0) c PropagationTime_7 : 43.129847
411.54/81.07	c (52,0) c PropagationTime_total : 345.028378
411.54/81.07	c (52,0) c PropagationTime_winner : 42.988615
411.54/81.07	c (52,0) c AnalysisTime_0 : 0.697027
411.54/81.07	c (52,0) c AnalysisTime_1 : 0.668460
411.54/81.07	c (52,0) c AnalysisTime_2 : 0.794925
411.54/81.07	c (52,0) c AnalysisTime_3 : 0.726021
411.54/81.07	c (52,0) c AnalysisTime_4 : 0.729288
411.54/81.07	c (52,0) c AnalysisTime_5 : 0.729087
411.54/81.07	c (52,0) c AnalysisTime_6 : 0.730714
411.54/81.07	c (52,0) c AnalysisTime_7 : 0.676374
411.54/81.07	c (52,0) c AnalysisTime_total : 5.751895
411.54/81.07	c (52,0) c AnalysisTime_winner : 0.697027
411.54/81.07	c (52,0) c ReductionTime_0 : 0.000546
411.54/81.07	c (52,0) c ReductionTime_1 : 0.000591
411.54/81.07	c (52,0) c ReductionTime_2 : 0.000475
411.54/81.07	c (52,0) c ReductionTime_3 : 0.000501
411.54/81.07	c (52,0) c ReductionTime_4 : 0.000540
411.54/81.07	c (52,0) c ReductionTime_5 : 0.001727
411.54/81.07	c (52,0) c ReductionTime_6 : 0.000467
411.54/81.07	c (52,0) c ReductionTime_7 : 0.001708
411.54/81.07	c (52,0) c ReductionTime_total : 0.006555
411.54/81.07	c (52,0) c ReductionTime_winner : 0.000546
411.54/81.07	c (52,0) c SimplifyTime_0 : 1.370836
411.54/81.07	c (52,0) c SimplifyTime_1 : 1.408476
411.54/81.07	c (52,0) c SimplifyTime_2 : 1.106837
411.54/81.07	c (52,0) c SimplifyTime_3 : 1.601546
411.54/81.07	c (52,0) c SimplifyTime_4 : 1.326477
411.54/81.07	c (52,0) c SimplifyTime_5 : 1.246367
411.54/81.07	c (52,0) c SimplifyTime_6 : 1.362553
411.54/81.07	c (52,0) c SimplifyTime_7 : 1.395855
411.54/81.07	c (52,0) c SimplifyTime_total : 10.818947
411.54/81.07	c (52,0) c SimplifyTime_winner : 1.370836
411.54/81.07	c (52,0) c UsedRateTime_0 : 0.000000
411.54/81.07	c (52,0) c UsedRateTime_1 : 0.000000
411.54/81.07	c (52,0) c UsedRateTime_2 : 0.000000
411.54/81.07	c (52,0) c UsedRateTime_3 : 0.000000
411.54/81.07	c (52,0) c UsedRateTime_4 : 0.000000
411.54/81.07	c (52,0) c UsedRateTime_5 : 0.000000
411.54/81.07	c (52,0) c UsedRateTime_6 : 0.000000
411.54/81.07	c (52,0) c UsedRateTime_7 : 0.000000
411.54/81.07	c (52,0) c UsedRateTime_total : 0.000000
411.54/81.07	c (52,0) c UsedRateTime_winner : 0.000000
411.54/81.07	c (52,0) c OverlapRateTime_0 : 0.000000
411.54/81.07	c (52,0) c OverlapRateTime_1 : 0.000000
411.54/81.07	c (52,0) c OverlapRateTime_2 : 0.000000
411.54/81.07	c (52,0) c OverlapRateTime_3 : 0.000000
411.54/81.07	c (52,0) c OverlapRateTime_4 : 0.000000
411.54/81.07	c (52,0) c OverlapRateTime_5 : 0.000000
411.54/81.07	c (52,0) c OverlapRateTime_6 : 0.000000
411.54/81.07	c (52,0) c OverlapRateTime_7 : 0.000000
411.54/81.07	c (52,0) c OverlapRateTime_total : 0.000000
411.54/81.07	c (52,0) c OverlapRateTime_winner : 0.000000
411.54/81.07	c (52,0) c
411.54/81.07	c (52,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
411.54/81.07	c (52,0) c
411.54/81.07	c (52,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
411.54/81.07	c (52,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
411.54/81.07	c (52,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
411.54/81.07	c (52,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
411.54/81.07	c (52,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
411.54/81.07	c (52,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
411.54/81.07	c (52,0) c | Initial random_seed   | 1531936566 |  657476851 |  611174283 |  540498475 |  875993675 |  406628276 | 1299375627 | 1744245733 |
411.54/81.07	c (52,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
411.54/81.08	c (52,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
411.54/81.08	c (52,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
411.54/81.08	c (52,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
411.54/81.08	c (52,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
411.54/81.08	c (52,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
411.54/81.08	c (52,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
411.54/81.08	c (52,0) c | var_decay             |     0.8100 |     0.8100 |     0.8100 |     0.8100 |     0.8100 |     0.8100 |     0.8100 |     0.8100 |
411.54/81.08	c (52,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
411.54/81.08	c (52,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
411.54/81.08	c (52,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
411.54/81.08	c (52,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
411.54/81.08	c (52,0) 
411.54/81.08	c (52,0) s SATISFIABLE
40.12/81.31	c (52,0) SatSolver.solve End
40.12/81.32	c (52,0) Heap : 184 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
40.12/81.32	c (52,0) Show results Begin
412.52/81.45	c (52,0) x0 = 44
412.52/81.45	c (52,0) x1 = 43
412.52/81.45	c (52,0) x10 = 518
412.52/81.45	c (52,0) x100 = 445
412.52/81.45	c (52,0) x101 = 446
412.52/81.45	c (52,0) x102 = 533
412.52/81.45	c (52,0) x103 = 532
412.52/81.45	c (52,0) x104 = 625
412.52/81.45	c (52,0) x105 = 626
412.52/81.45	c (52,0) x106 = 664
412.52/81.45	c (52,0) x107 = 665
412.52/81.45	c (52,0) x108 = 704
412.52/81.45	c (52,0) x109 = 703
412.52/81.45	c (52,0) x11 = 517
412.52/81.45	c (52,0) x110 = 708
412.52/81.45	c (52,0) x111 = 707
412.52/81.45	c (52,0) x112 = 837
412.52/81.45	c (52,0) x113 = 838
412.52/81.45	c (52,0) x114 = 921
412.52/81.45	c (52,0) x115 = 922
412.52/81.45	c (52,0) x116 = 1109
412.52/81.45	c (52,0) x117 = 1110
412.52/81.45	c (52,0) x118 = 1209
412.52/81.45	c (52,0) x119 = 1210
412.52/81.45	c (52,0) x12 = 754
412.52/81.45	c (52,0) x120 = 0
412.52/81.45	c (52,0) x121 = 1
412.52/81.45	c (52,0) x122 = 86
412.52/81.45	c (52,0) x123 = 85
412.52/81.45	c (52,0) x124 = 166
412.52/81.45	c (52,0) x125 = 167
412.52/81.45	c (52,0) x126 = 203
412.52/81.45	c (52,0) x127 = 202
412.52/81.45	c (52,0) x128 = 261
412.52/81.45	c (52,0) x129 = 260
412.52/81.45	c (52,0) x13 = 755
412.52/81.45	c (52,0) x130 = 380
412.52/81.45	c (52,0) x131 = 379
412.52/81.45	c (52,0) x132 = 414
412.52/81.45	c (52,0) x133 = 415
412.52/81.45	c (52,0) x134 = 461
412.52/81.45	c (52,0) x135 = 462
412.52/81.45	c (52,0) x136 = 465
412.52/81.45	c (52,0) x137 = 466
412.52/81.45	c (52,0) x138 = 560
412.52/81.45	c (52,0) x139 = 559
412.52/81.45	c (52,0) x14 = 859
412.52/81.45	c (52,0) x140 = 661
412.52/81.45	c (52,0) x141 = 660
412.52/81.45	c (52,0) x142 = 671
412.52/81.45	c (52,0) x143 = 670
412.52/81.45	c (52,0) x144 = 751
412.52/81.45	c (52,0) x145 = 750
412.52/81.45	c (52,0) x146 = 1081
412.52/81.45	c (52,0) x147 = 1082
412.52/81.45	c (52,0) x148 = 1162
412.52/81.45	c (52,0) x149 = 1163
412.52/81.45	c (52,0) x15 = 860
412.52/81.45	c (52,0) x150 = 0
412.52/81.45	c (52,0) x151 = 1
412.52/81.45	c (52,0) x152 = 29
412.52/81.45	c (52,0) x153 = 30
412.52/81.45	c (52,0) x154 = 96
412.52/81.45	c (52,0) x155 = 97
412.52/81.45	c (52,0) x156 = 166
412.52/81.45	c (52,0) x157 = 167
412.52/81.45	c (52,0) x158 = 169
412.52/81.45	c (52,0) x159 = 168
412.52/81.45	c (52,0) x16 = 869
412.52/81.45	c (52,0) x160 = 204
412.52/81.46	c (52,0) x161 = 205
412.52/81.46	c (52,0) x162 = 453
412.52/81.46	c (52,0) x163 = 452
412.52/81.46	c (52,0) x164 = 528
412.52/81.46	c (52,0) x165 = 529
412.52/81.46	c (52,0) x166 = 614
412.52/81.46	c (52,0) x167 = 615
412.52/81.46	c (52,0) x168 = 715
412.52/81.46	c (52,0) x169 = 716
412.52/81.46	c (52,0) x17 = 868
412.52/81.46	c (52,0) x170 = 772
412.52/81.46	c (52,0) x171 = 771
412.52/81.46	c (52,0) x172 = 871
412.52/81.46	c (52,0) x173 = 870
412.52/81.46	c (52,0) x174 = 952
412.52/81.46	c (52,0) x175 = 953
412.52/81.46	c (52,0) x176 = 1047
412.52/81.46	c (52,0) x177 = 1048
412.52/81.46	c (52,0) x178 = 1186
412.52/81.46	c (52,0) x179 = 1185
412.52/81.46	c (52,0) x18 = 919
412.52/81.46	c (52,0) x180 = 0
412.52/81.46	c (52,0) x181 = 7
412.52/81.46	c (52,0) x182 = 41
412.52/81.46	c (52,0) x183 = 42
412.52/81.46	c (52,0) x184 = 169
412.52/81.46	c (52,0) x185 = 168
412.52/81.46	c (52,0) x186 = 274
412.52/81.46	c (52,0) x187 = 275
412.52/81.46	c (52,0) x188 = 282
412.52/81.46	c (52,0) x189 = 283
412.52/81.46	c (52,0) x19 = 918
412.52/81.46	c (52,0) x190 = 307
412.52/81.46	c (52,0) x191 = 306
412.52/81.46	c (52,0) x192 = 324
412.52/81.46	c (52,0) x193 = 323
412.52/81.46	c (52,0) x194 = 408
412.52/81.46	c (52,0) x195 = 407
412.52/81.46	c (52,0) x196 = 514
412.52/81.46	c (52,0) x197 = 515
412.52/81.46	c (52,0) x198 = 684
412.52/81.46	c (52,0) x199 = 683
412.52/81.46	c (52,0) x2 = 129
412.52/81.46	c (52,0) x20 = 951
412.52/81.46	c (52,0) x200 = 844
412.52/81.46	c (52,0) x201 = 845
412.52/81.46	c (52,0) x202 = 881
412.52/81.46	c (52,0) x203 = 882
412.52/81.46	c (52,0) x204 = 1093
412.52/81.46	c (52,0) x205 = 1092
412.52/81.46	c (52,0) x206 = 1192
412.52/81.46	c (52,0) x207 = 1193
412.52/81.46	c (52,0) x208 = 1237
412.52/81.46	c (52,0) x209 = 1236
412.52/81.46	c (52,0) x21 = 952
412.52/81.46	c (52,0) x210 = 0
412.52/81.46	c (52,0) x211 = 1
412.52/81.46	c (52,0) x212 = 50
412.52/81.46	c (52,0) x213 = 49
412.52/81.46	c (52,0) x214 = 136
412.52/81.46	c (52,0) x215 = 135
412.52/81.46	c (52,0) x216 = 254
412.52/81.46	c (52,0) x217 = 253
412.52/81.46	c (52,0) x218 = 355
412.52/81.46	c (52,0) x219 = 354
412.52/81.46	c (52,0) x22 = 971
412.52/81.46	c (52,0) x220 = 401
412.52/81.46	c (52,0) x221 = 402
412.52/81.46	c (52,0) x222 = 410
412.52/81.46	c (52,0) x223 = 411
412.52/81.46	c (52,0) x224 = 494
412.52/81.46	c (52,0) x225 = 495
412.52/81.46	c (52,0) x226 = 599
412.52/81.46	c (52,0) x227 = 598
412.52/81.46	c (52,0) x228 = 664
412.52/81.46	c (52,0) x229 = 663
412.52/81.46	c (52,0) x23 = 972
412.52/81.46	c (52,0) x230 = 753
412.52/81.46	c (52,0) x231 = 752
412.52/81.46	c (52,0) x232 = 762
412.52/81.46	c (52,0) x233 = 763
412.52/81.46	c (52,0) x234 = 852
412.52/81.46	c (52,0) x235 = 851
412.52/81.46	c (52,0) x236 = 955
412.52/81.46	c (52,0) x237 = 956
412.52/81.46	c (52,0) x238 = 1037
412.52/81.46	c (52,0) x239 = 1038
412.52/81.46	c (52,0) x24 = 1064
412.52/81.46	c (52,0) x240 = 0
412.52/81.46	c (52,0) x241 = 1
412.52/81.46	c (52,0) x242 = 173
412.52/81.46	c (52,0) x243 = 172
412.52/81.46	c (52,0) x244 = 283
412.52/81.46	c (52,0) x245 = 282
412.52/81.46	c (52,0) x246 = 358
412.52/81.46	c (52,0) x247 = 357
412.52/81.46	c (52,0) x248 = 427
412.52/81.46	c (52,0) x249 = 428
412.52/81.46	c (52,0) x25 = 1063
412.52/81.46	c (52,0) x250 = 434
412.52/81.46	c (52,0) x251 = 433
412.52/81.46	c (52,0) x252 = 460
412.52/81.46	c (52,0) x253 = 461
412.52/81.46	c (52,0) x254 = 586
412.52/81.46	c (52,0) x255 = 587
412.52/81.46	c (52,0) x256 = 858
412.52/81.46	c (52,0) x257 = 859
412.52/81.46	c (52,0) x258 = 953
412.52/81.46	c (52,0) x259 = 952
412.52/81.46	c (52,0) x26 = 1129
412.52/81.46	c (52,0) x260 = 981
412.52/81.46	c (52,0) x261 = 980
412.52/81.46	c (52,0) x262 = 1102
412.52/81.46	c (52,0) x263 = 1103
412.52/81.46	c (52,0) x264 = 1185
412.52/81.46	c (52,0) x265 = 1184
412.52/81.46	c (52,0) x266 = 1190
412.52/81.46	c (52,0) x267 = 1191
412.52/81.46	c (52,0) x268 = 1281
412.52/81.46	c (52,0) x269 = 1280
412.52/81.46	c (52,0) x27 = 1130
412.52/81.46	c (52,0) x270 = 76
412.52/81.46	c (52,0) x271 = 77
412.52/81.46	c (52,0) x272 = 162
412.52/81.46	c (52,0) x273 = 163
412.52/81.46	c (52,0) x274 = 227
412.52/81.46	c (52,0) x275 = 226
412.52/81.46	c (52,0) x276 = 435
412.52/81.46	c (52,0) x277 = 436
412.52/81.46	c (52,0) x278 = 512
412.52/81.46	c (52,0) x279 = 511
412.52/81.46	c (52,0) x28 = 1218
412.52/81.46	c (52,0) x280 = 619
412.52/81.46	c (52,0) x281 = 620
412.52/81.46	c (52,0) x282 = 713
412.52/81.46	c (52,0) x283 = 714
412.52/81.46	c (52,0) x284 = 748
412.52/81.46	c (52,0) x285 = 747
412.52/81.46	c (52,0) x286 = 792
412.52/81.46	c (52,0) x287 = 791
412.52/81.46	c (52,0) x288 = 848
412.52/81.46	c (52,0) x289 = 847
412.52/81.46	c (52,0) x29 = 1217
412.52/81.46	c (52,0) x290 = 895
412.52/81.46	c (52,0) x291 = 894
412.52/81.46	c (52,0) x292 = 990
412.52/81.46	c (52,0) x293 = 989
412.52/81.46	c (52,0) x294 = 994
412.52/81.46	c (52,0) x295 = 995
412.52/81.46	c (52,0) x296 = 1013
412.52/81.46	c (52,0) x297 = 1012
412.52/81.46	c (52,0) x298 = 1108
412.52/81.46	c (52,0) x299 = 1109
412.52/81.46	c (52,0) x3 = 128
412.52/81.46	c (52,0) x30 = 0
412.52/81.46	c (52,0) x300 = 0
412.52/81.46	c (52,0) x301 = 1
412.52/81.46	c (52,0) x302 = 41
412.52/81.46	c (52,0) x303 = 40
412.52/81.46	c (52,0) x304 = 49
412.52/81.46	c (52,0) x305 = 50
412.52/81.46	c (52,0) x306 = 110
412.52/81.46	c (52,0) x307 = 111
412.52/81.46	c (52,0) x308 = 132
412.52/81.46	c (52,0) x309 = 133
412.52/81.46	c (52,0) x31 = 1
412.52/81.46	c (52,0) x310 = 134
412.52/81.46	c (52,0) x311 = 135
412.52/81.46	c (52,0) x312 = 211
412.52/81.46	c (52,0) x313 = 212
412.52/81.46	c (52,0) x314 = 305
412.52/81.46	c (52,0) x315 = 304
412.52/81.46	c (52,0) x316 = 386
412.52/81.46	c (52,0) x317 = 385
412.52/81.46	c (52,0) x318 = 483
412.52/81.46	c (52,0) x319 = 484
412.52/81.46	c (52,0) x32 = 47
412.52/81.46	c (52,0) x320 = 631
412.52/81.46	c (52,0) x321 = 630
412.52/81.46	c (52,0) x322 = 986
412.52/81.46	c (52,0) x323 = 987
412.52/81.46	c (52,0) x324 = 1052
412.52/81.46	c (52,0) x325 = 1051
412.52/81.46	c (52,0) x326 = 1109
412.52/81.46	c (52,0) x327 = 1108
412.52/81.46	c (52,0) x328 = 1207
412.52/81.46	c (52,0) x329 = 1206
412.52/81.46	c (52,0) x33 = 46
412.52/81.46	c (52,0) x330 = 0
412.52/81.46	c (52,0) x331 = 1
412.52/81.46	c (52,0) x332 = 39
412.52/81.46	c (52,0) x333 = 38
412.52/81.46	c (52,0) x334 = 124
412.52/81.46	c (52,0) x335 = 123
412.52/81.46	c (52,0) x336 = 185
412.52/81.46	c (52,0) x337 = 186
412.52/81.46	c (52,0) x338 = 264
412.52/81.46	c (52,0) x339 = 265
412.52/81.46	c (52,0) x34 = 132
412.52/81.46	c (52,0) x340 = 280
412.52/81.46	c (52,0) x341 = 279
412.52/81.46	c (52,0) x342 = 290
412.52/81.46	c (52,0) x343 = 291
412.52/81.46	c (52,0) x344 = 399
412.52/81.46	c (52,0) x345 = 400
412.52/81.46	c (52,0) x346 = 465
412.52/81.46	c (52,0) x347 = 464
412.52/81.46	c (52,0) x348 = 562
412.52/81.46	c (52,0) x349 = 563
412.52/81.46	c (52,0) x35 = 131
412.52/81.46	c (52,0) x350 = 660
412.52/81.46	c (52,0) x351 = 659
412.52/81.46	c (52,0) x352 = 694
412.52/81.46	c (52,0) x353 = 693
412.52/81.46	c (52,0) x354 = 741
412.52/81.46	c (52,0) x355 = 742
412.52/81.46	c (52,0) x356 = 763
412.52/81.46	c (52,0) x357 = 762
412.52/81.46	c (52,0) x358 = 1260
412.52/81.46	c (52,0) x359 = 1261
412.52/81.46	c (52,0) x36 = 294
412.52/81.46	c (52,0) x360 = 30
412.52/81.46	c (52,0) x361 = 24
412.52/81.46	c (52,0) x362 = 204
412.52/81.46	c (52,0) x363 = 205
412.52/81.46	c (52,0) x364 = 227
412.52/81.46	c (52,0) x365 = 226
412.52/81.46	c (52,0) x366 = 245
412.52/81.46	c (52,0) x367 = 244
412.52/81.46	c (52,0) x368 = 286
412.52/81.46	c (52,0) x369 = 285
412.52/81.46	c (52,0) x37 = 293
412.52/81.46	c (52,0) x370 = 327
412.52/81.46	c (52,0) x371 = 326
412.52/81.46	c (52,0) x372 = 392
412.52/81.46	c (52,0) x373 = 393
412.52/81.46	c (52,0) x374 = 426
412.52/81.46	c (52,0) x375 = 427
412.52/81.46	c (52,0) x376 = 466
412.52/81.46	c (52,0) x377 = 467
412.52/81.46	c (52,0) x378 = 707
412.52/81.46	c (52,0) x379 = 708
412.52/81.46	c (52,0) x38 = 341
412.52/81.46	c (52,0) x380 = 722
412.52/81.46	c (52,0) x381 = 721
412.52/81.46	c (52,0) x382 = 1041
412.52/81.46	c (52,0) x383 = 1040
412.52/81.46	c (52,0) x384 = 1084
412.52/81.46	c (52,0) x385 = 1083
412.52/81.46	c (52,0) x386 = 1210
412.52/81.46	c (52,0) x387 = 1209
412.52/81.46	c (52,0) x388 = 1255
412.52/81.46	c (52,0) x389 = 1256
412.52/81.46	c (52,0) x39 = 342
412.52/81.46	c (52,0) x390 = 1
412.52/81.46	c (52,0) x391 = 0
412.52/81.46	c (52,0) x392 = 219
412.52/81.46	c (52,0) x393 = 220
412.52/81.46	c (52,0) x394 = 322
412.52/81.46	c (52,0) x395 = 321
412.52/81.46	c (52,0) x396 = 336
412.52/81.46	c (52,0) x397 = 358
412.52/81.46	c (52,0) x398 = 428
412.52/81.46	c (52,0) x399 = 427
412.52/81.46	c (52,0) x4 = 130
412.52/81.46	c (52,0) x40 = 429
412.52/81.46	c (52,0) x400 = 522
412.52/81.46	c (52,0) x401 = 521
412.52/81.46	c (52,0) x402 = 555
412.52/81.46	c (52,0) x403 = 554
412.52/81.46	c (52,0) x404 = 561
412.52/81.46	c (52,0) x405 = 560
412.52/81.46	c (52,0) x406 = 610
412.52/81.46	c (52,0) x407 = 609
412.52/81.46	c (52,0) x408 = 774
412.52/81.46	c (52,0) x409 = 775
412.52/81.46	c (52,0) x41 = 430
412.52/81.46	c (52,0) x410 = 842
412.52/81.46	c (52,0) x411 = 841
412.52/81.46	c (52,0) x412 = 846
412.52/81.46	c (52,0) x413 = 847
412.52/81.46	c (52,0) x414 = 848
412.52/81.46	c (52,0) x415 = 847
412.52/81.46	c (52,0) x416 = 870
412.52/81.46	c (52,0) x417 = 871
412.52/81.46	c (52,0) x418 = 962
412.52/81.46	c (52,0) x419 = 961
412.52/81.46	c (52,0) x42 = 559
412.52/81.46	c (52,0) x420 = 0
412.52/81.46	c (52,0) x421 = 6
412.52/81.46	c (52,0) x422 = 30
412.52/81.46	c (52,0) x423 = 29
412.52/81.46	c (52,0) x424 = 269
412.52/81.46	c (52,0) x425 = 268
412.52/81.46	c (52,0) x426 = 273
412.52/81.46	c (52,0) x427 = 274
412.52/81.46	c (52,0) x428 = 470
412.52/81.46	c (52,0) x429 = 471
412.52/81.46	c (52,0) x43 = 558
412.52/81.46	c (52,0) x430 = 591
412.52/81.46	c (52,0) x431 = 592
412.52/81.46	c (52,0) x432 = 676
412.52/81.46	c (52,0) x433 = 677
412.52/81.46	c (52,0) x434 = 700
412.52/81.46	c (52,0) x435 = 699
412.52/81.46	c (52,0) x436 = 752
412.52/81.46	c (52,0) x437 = 751
412.52/81.46	c (52,0) x438 = 767
412.52/81.46	c (52,0) x439 = 766
412.52/81.46	c (52,0) x44 = 628
412.52/81.46	c (52,0) x440 = 859
412.52/81.46	c (52,0) x441 = 858
412.52/81.46	c (52,0) x442 = 945
412.52/81.46	c (52,0) x443 = 946
412.52/81.46	c (52,0) x444 = 1042
412.52/81.46	c (52,0) x445 = 1041
412.52/81.46	c (52,0) x446 = 1190
412.52/81.46	c (52,0) x447 = 1191
412.52/81.46	c (52,0) x448 = 1279
412.52/81.46	c (52,0) x449 = 1278
412.52/81.46	c (52,0) x45 = 627
412.52/81.46	c (52,0) x46 = 679
412.52/81.46	c (52,0) x47 = 680
412.52/81.46	c (52,0) x48 = 763
412.52/81.46	c (52,0) x49 = 762
412.52/81.46	c (52,0) x5 = 131
412.52/81.46	c (52,0) x50 = 919
412.52/81.46	c (52,0) x51 = 918
412.52/81.46	c (52,0) x52 = 1013
412.52/81.46	c (52,0) x53 = 1014
412.52/81.46	c (52,0) x54 = 1064
412.52/81.46	c (52,0) x55 = 1063
412.52/81.46	c (52,0) x56 = 1106
412.52/81.46	c (52,0) x57 = 1107
412.52/81.46	c (52,0) x58 = 1206
412.52/81.46	c (52,0) x59 = 1205
412.52/81.46	c (52,0) x6 = 327
412.52/81.46	c (52,0) x60 = 30
412.52/81.46	c (52,0) x61 = 21
412.52/81.46	c (52,0) x62 = 122
412.52/81.46	c (52,0) x63 = 123
412.52/81.46	c (52,0) x64 = 180
412.52/81.46	c (52,0) x65 = 179
412.52/81.46	c (52,0) x66 = 246
412.52/81.46	c (52,0) x67 = 247
412.52/81.46	c (52,0) x68 = 322
412.52/81.46	c (52,0) x69 = 321
412.52/81.46	c (52,0) x7 = 326
412.52/81.46	c (52,0) x70 = 412
412.52/81.46	c (52,0) x71 = 411
412.52/81.46	c (52,0) x72 = 476
412.52/81.46	c (52,0) x73 = 477
412.52/81.46	c (52,0) x74 = 583
412.52/81.46	c (52,0) x75 = 582
412.52/81.46	c (52,0) x76 = 619
412.52/81.46	c (52,0) x77 = 618
412.52/81.46	c (52,0) x78 = 679
412.52/81.46	c (52,0) x79 = 678
412.52/81.46	c (52,0) x8 = 382
412.52/81.46	c (52,0) x80 = 767
412.52/81.46	c (52,0) x81 = 768
412.52/81.46	c (52,0) x82 = 847
412.52/81.46	c (52,0) x83 = 846
412.52/81.46	c (52,0) x84 = 988
412.52/81.46	c (52,0) x85 = 987
412.52/81.46	c (52,0) x86 = 1025
412.52/81.46	c (52,0) x87 = 1026
412.52/81.46	c (52,0) x88 = 1105
412.52/81.46	c (52,0) x89 = 1106
412.52/81.46	c (52,0) x9 = 381
412.52/81.46	c (52,0) x90 = 0
412.52/81.46	c (52,0) x91 = 1
412.52/81.46	c (52,0) x92 = 116
412.52/81.46	c (52,0) x93 = 115
412.52/81.46	c (52,0) x94 = 228
412.52/81.46	c (52,0) x95 = 227
412.52/81.46	c (52,0) x96 = 282
412.52/81.46	c (52,0) x97 = 281
412.52/81.46	c (52,0) x98 = 416
412.52/81.47	c (52,0) x99 = 394
412.52/81.47	s SATISFIABLE
412.52/81.47	v <instantiation>
412.52/81.47	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.52/81.47	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.52/81.47	v </instantiation>
412.52/81.47	c (52,0) Show results End
412.52/81.47	c (52,0) Heap : 225 MiB used (max 3925 MiB), NonHeap : 18 MiB used (max 0 MiB)
412.52/81.47	c (52,0) 52,52,STOP-AFTER(ALL)
412.52/81.47	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 (13348 MiB free)
  memory of node 1: 16384 MiB (11694 MiB free)
  node distances:
     10  21
     21  10

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

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

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


[startup+0.100582 s]*
/proc/loadavg: 3.74 6.07 7.39 2/211 6338
/proc/meminfo: memFree=25548852/32770624 swapFree=66953496/67108860
[pid=6316] ppid=6313 vsize=113128 memory=1400 CPUtime=0 cores=0-7
/proc/6316/stat : 6316 (scop.sh) S 6313 6316 5880 0 -1 4202496 555 320 0 0 0 0 0 0 20 0 1 0 511750330 115843072 350 33554432000 4194304 5098028 140735761047744 140735761045000 140203552932476 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 12750848 140735761056509 140735761056856 140735761056856 140735761059785 0
/proc/6316/statm: 28282 350 297 221 0 87 0
[pid=6319] ppid=6316 vsize=27314120 memory=107668 CPUtime=0.1 cores=0-7
/proc/6319/stat : 6319 (java) S 6316 6316 5880 0 -1 1077944320 6938 0 0 0 8 2 0 0 20 0 20 0 511750330 27969658880 26917 33554432000 4194304 4196468 140736064434592 140736064417136 140682197098231 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 18038784 140736064443080 140736064443526 140736064443526 140736064446415 0
/proc/6319/statm: 6828530 26917 2816 1 0 6790935 0
[pid=6319/tid=6320] ppid=6316 vsize=27314120 memory=1398722017469774279 CPUtime=0.09 cores=0-7
/proc/6319/task/6320/stat : 6320 (java) R 6316 6316 5880 0 -1 4202560 5037 0 0 0 7 2 0 0 20 0 20 0 511750330 27969658880 26917 33554432000 4194304 4196468 140736064434592 140682168922528 140682197120157 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18038784 140736064443080 140736064443526 140736064443526 140736064446415 0
[pid=6319/tid=6321] ppid=6316 vsize=27314120 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/6319/task/6321/stat : 6321 (java) S 6316 6316 5880 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511750333 27969658880 26917 33554432000 4194304 4196468 140736064434592 140682201340176 140682197108437 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18038784 140736064443080 140736064443526 140736064443526 140736064446415 0
[pid=6319/tid=6322] ppid=6316 vsize=27314120 memory=140257605633664 CPUtime=0 cores=0-7
/proc/6319/task/6322/stat : 6322 (java) S 6316 6316 5880 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511750333 27969658880 26917 33554432000 4194304 4196468 140736064434592 140682015496592 140682197108437 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18038784 140736064443080 140736064443526 140736064443526 140736064446415 0
[pid=6319/tid=6323] ppid=6316 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6319/task/6323/stat : 6323 (java) S 6316 6316 5880 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511750333 27969658880 26917 33554432000 4194304 4196468 140736064434592 140682014444048 140682197108437 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18038784 140736064443080 140736064443526 140736064443526 140736064446415 0
[pid=6319/tid=6324] ppid=6316 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6319/task/6324/stat : 6324 (java) S 6316 6316 5880 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511750333 27969658880 26917 33554432000 4194304 4196468 140736064434592 140682013391504 140682197108437 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18038784 140736064443080 140736064443526 140736064443526 140736064446415 0
[pid=6319/tid=6325] ppid=6316 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6319/task/6325/stat : 6325 (java) S 6316 6316 5880 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511750333 27969658880 26917 33554432000 4194304 4196468 140736064434592 140682012338960 140682197108437 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18038784 140736064443080 140736064443526 140736064443526 140736064446415 0
[pid=6319/tid=6326] ppid=6316 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/6319/task/6326/stat : 6326 (java) S 6316 6316 5880 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511750333 27969658880 26917 33554432000 4194304 4196468 140736064434592 140682011286416 140682197108437 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18038784 140736064443080 140736064443526 140736064443526 140736064446415 0
[pid=6319/tid=6327] ppid=6316 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6319/task/6327/stat : 6327 (java) S 6316 6316 5880 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511750333 27969658880 26917 33554432000 4194304 4196468 140736064434592 140682010233872 140682197108437 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18038784 140736064443080 140736064443526 140736064443526 140736064446415 0
[pid=6319/tid=6328] ppid=6316 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6319/task/6328/stat : 6328 (java) S 6316 6316 5880 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511750333 27969658880 26917 33554432000 4194304 4196468 140736064434592 140682009181328 140682197108437 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18038784 140736064443080 140736064443526 140736064443526 140736064446415 0
[pid=6319/tid=6329] ppid=6316 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6319/task/6329/stat : 6329 (java) S 6316 6316 5880 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511750334 27969658880 26917 33554432000 4194304 4196468 140736064434592 140680449943536 140682197109378 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18038784 140736064443080 140736064443526 140736064443526 140736064446415 0
[pid=6319/tid=6330] ppid=6316 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6319/task/6330/stat : 6330 (java) S 6316 6316 5880 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 511750335 27969658880 26917 33554432000 4194304 4196468 140736064434592 140680110269344 140682197108437 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18038784 140736064443080 140736064443526 140736064443526 140736064446415 0
[pid=6319/tid=6331] ppid=6316 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6319/task/6331/stat : 6331 (java) S 6316 6316 5880 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511750335 27969658880 26917 33554432000 4194304 4196468 140736064434592 140679841833968 140682197108437 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18038784 140736064443080 140736064443526 140736064443526 140736064446415 0
[pid=6319/tid=6332] ppid=6316 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6319/task/6332/stat : 6332 (java) S 6316 6316 5880 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511750337 27969658880 27429 33554432000 4194304 4196468 140736064434592 140679467325648 140682197116827 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18038784 140736064443080 140736064443526 140736064443526 140736064446415 0
[pid=6319/tid=6333] ppid=6316 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6319/task/6333/stat : 6333 (java) S 6316 6316 5880 0 -1 1077944384 295 0 0 0 0 0 0 0 20 0 20 0 511750337 27969658880 27429 33554432000 4194304 4196468 140736064434592 140680448891376 140682197109378 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18038784 140736064443080 140736064443526 140736064443526 140736064446415 0
[pid=6319/tid=6334] ppid=6316 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6319/task/6334/stat : 6334 (java) S 6316 6316 5880 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511750337 27969658880 27429 33554432000 4194304 4196468 140736064434592 140680447838832 140682197109378 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18038784 140736064443080 140736064443526 140736064443526 140736064446415 0
[pid=6319/tid=6335] ppid=6316 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6319/task/6335/stat : 6335 (java) S 6316 6316 5880 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511750337 27969658880 27429 33554432000 4194304 4196468 140736064434592 140680378706672 140682197109378 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18038784 140736064443080 140736064443526 140736064443526 140736064446415 0
[pid=6319/tid=6336] ppid=6316 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6319/task/6336/stat : 6336 (java) S 6316 6316 5880 0 -1 1077944384 276 0 0 0 0 0 0 0 20 0 20 0 511750337 27969658880 27429 33554432000 4194304 4196468 140736064434592 140680377654128 140682197109378 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18038784 140736064443080 140736064443526 140736064443526 140736064446415 0
[pid=6319/tid=6337] ppid=6316 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6319/task/6337/stat : 6337 (java) S 6316 6316 5880 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511750338 27969658880 27429 33554432000 4194304 4196468 140736064434592 140678969420000 140682197108437 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18038784 140736064443080 140736064443526 140736064443526 140736064446415 0
[pid=6319/tid=6338] ppid=6316 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/6319/task/6338/stat : 6338 (java) S 6316 6316 5880 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511750338 27969658880 27429 33554432000 4194304 4196468 140736064434592 140680376601008 140682197109378 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18038784 140736064443080 140736064443526 140736064443526 140736064446415 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 109068 KiB

[startup+0.216483 s]*
/proc/loadavg: 3.74 6.07 7.39 2/211 6338
/proc/meminfo: memFree=25527212/32770624 swapFree=66953496/67108860
[pid=6316] ppid=6313 vsize=113128 memory=1400 CPUtime=0 cores=0-7
/proc/6316/stat : 6316 (scop.sh) S 6313 6316 5880 0 -1 4202496 555 320 0 0 0 0 0 0 20 0 1 0 511750330 115843072 350 33554432000 4194304 5098028 140735761047744 140735761045000 140203552932476 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 12750848 140735761056509 140735761056856 140735761056856 140735761059785 0
/proc/6316/statm: 28282 350 297 221 0 87 0
[pid=6319] ppid=6316 vsize=27314120 memory=126652 CPUtime=0.25 cores=0-7
/proc/6319/stat : 6319 (java) S 6316 6316 5880 0 -1 1077944320 12416 0 0 0 21 4 0 0 20 0 20 0 511750330 27969658880 31663 33554432000 4194304 4196468 140736064434592 140736064417136 140682197098231 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 18038784 140736064443080 140736064443526 140736064443526 140736064446415 0
/proc/6319/statm: 6828530 31663 2924 1 0 6790935 0
[pid=6319/tid=6320] ppid=6316 vsize=27314120 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/6319/task/6320/stat : 6320 (java) R 6316 6316 5880 0 -1 4202560 10128 0 0 0 17 3 0 0 20 0 20 0 511750330 27969658880 31663 33554432000 4194304 4196468 140736064434592 140682168881792 140682197110166 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18038784 140736064443080 140736064443526 140736064443526 140736064446415 0
[pid=6319/tid=6321] ppid=6316 vsize=27314120 memory=342 CPUtime=0 cores=0-7
/proc/6319/task/6321/stat : 6321 (java) S 6316 6316 5880 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511750333 27969658880 31663 33554432000 4194304 4196468 140736064434592 140682201340176 140682197108437 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18038784 140736064443080 140736064443526 140736064443526 140736064446415 0
[pid=6319/tid=6322] ppid=6316 vsize=27314120 memory=3832766441116321440 CPUtime=0 cores=0-7
/proc/6319/task/6322/stat : 6322 (java) S 6316 6316 5880 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511750333 27969658880 31663 33554432000 4194304 4196468 140736064434592 140682015496592 140682197108437 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18038784 140736064443080 140736064443526 140736064443526 140736064446415 0
[pid=6319/tid=6323] ppid=6316 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/6319/task/6323/stat : 6323 (java) S 6316 6316 5880 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511750333 27969658880 31663 33554432000 4194304 4196468 140736064434592 140682014444048 140682197108437 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18038784 140736064443080 140736064443526 140736064443526 140736064446415 0
[pid=6319/tid=6324] ppid=6316 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6319/task/6324/stat : 6324 (java) S 6316 6316 5880 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511750333 27969658880 31663 33554432000 4194304 4196468 140736064434592 140682013391504 140682197108437 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18038784 140736064443080 140736064443526 140736064443526 140736064446415 0
[pid=6319/tid=6325] ppid=6316 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6319/task/6325/stat : 6325 (java) S 6316 6316 5880 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511750333 27969658880 31663 33554432000 4194304 4196468 140736064434592 140682012338960 140682197108437 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18038784 140736064443080 140736064443526 140736064443526 140736064446415 0
[pid=6319/tid=6326] ppid=6316 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/6319/task/6326/stat : 6326 (java) S 6316 6316 5880 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511750333 27969658880 31663 33554432000 4194304 4196468 140736064434592 140682011286416 140682197108437 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18038784 140736064443080 140736064443526 140736064443526 140736064446415 0
[pid=6319/tid=6327] ppid=6316 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6319/task/6327/stat : 6327 (java) S 6316 6316 5880 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511750333 27969658880 31663 33554432000 4194304 4196468 140736064434592 140682010233872 140682197108437 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18038784 140736064443080 140736064443526 140736064443526 140736064446415 0
[pid=6319/tid=6328] ppid=6316 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6319/task/6328/stat : 6328 (java) S 6316 6316 5880 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511750333 27969658880 31663 33554432000 4194304 4196468 140736064434592 140682009181328 140682197108437 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18038784 140736064443080 140736064443526 140736064443526 140736064446415 0
[pid=6319/tid=6329] ppid=6316 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6319/task/6329/stat : 6329 (java) S 6316 6316 5880 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511750334 27969658880 31663 33554432000 4194304 4196468 140736064434592 140680449943536 140682197109378 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18038784 140736064443080 140736064443526 140736064443526 140736064446415 0
[pid=6319/tid=6330] ppid=6316 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6319/task/6330/stat : 6330 (java) S 6316 6316 5880 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 511750335 27969658880 31663 33554432000 4194304 4196468 140736064434592 140680110269344 140682197108437 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18038784 140736064443080 140736064443526 140736064443526 140736064446415 0
[pid=6319/tid=6331] ppid=6316 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6319/task/6331/stat : 6331 (java) S 6316 6316 5880 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511750335 27969658880 31663 33554432000 4194304 4196468 140736064434592 140679841833968 140682197108437 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18038784 140736064443080 140736064443526 140736064443526 140736064446415 0
[pid=6319/tid=6332] ppid=6316 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6319/task/6332/stat : 6332 (java) S 6316 6316 5880 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511750337 27969658880 31663 33554432000 4194304 4196468 140736064434592 140679467325648 140682197116827 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18038784 140736064443080 140736064443526 140736064443526 140736064446415 0
[pid=6319/tid=6333] ppid=6316 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6319/task/6333/stat : 6333 (java) S 6316 6316 5880 0 -1 1077944384 455 0 0 0 0 0 0 0 20 0 20 0 511750337 27969658880 31663 33554432000 4194304 4196468 140736064434592 140680448891376 140682197109378 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18038784 140736064443080 140736064443526 140736064443526 140736064446415 0
[pid=6319/tid=6334] ppid=6316 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6319/task/6334/stat : 6334 (java) S 6316 6316 5880 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511750337 27969658880 31663 33554432000 4194304 4196468 140736064434592 140680447838832 140682197109378 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18038784 140736064443080 140736064443526 140736064443526 140736064446415 0
[pid=6319/tid=6335] ppid=6316 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/6319/task/6335/stat : 6335 (java) S 6316 6316 5880 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 20 0 511750337 27969658880 31663 33554432000 4194304 4196468 140736064434592 140680378706672 140682197109378 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18038784 140736064443080 140736064443526 140736064443526 140736064446415 0
[pid=6319/tid=6336] ppid=6316 vsize=27314120 memory=-1 CPUtime=0.02 cores=0-7
/proc/6319/task/6336/stat : 6336 (java) S 6316 6316 5880 0 -1 1077944384 475 0 0 0 2 0 0 0 20 0 20 0 511750337 27969658880 31663 33554432000 4194304 4196468 140736064434592 140680377654128 140682197109378 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18038784 140736064443080 140736064443526 140736064443526 140736064446415 0
[pid=6319/tid=6337] ppid=6316 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6319/task/6337/stat : 6337 (java) S 6316 6316 5880 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511750338 27969658880 31663 33554432000 4194304 4196468 140736064434592 140678969420000 140682197108437 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18038784 140736064443080 140736064443526 140736064443526 140736064446415 0
[pid=6319/tid=6338] ppid=6316 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/6319/task/6338/stat : 6338 (java) S 6316 6316 5880 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511750338 27969658880 31663 33554432000 4194304 4196468 140736064434592 140680376601008 140682197109378 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18038784 140736064443080 140736064443526 140736064443526 140736064446415 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 128052 KiB

[startup+0.310263 s]*
/proc/loadavg: 3.74 6.07 7.39 2/211 6338
/proc/meminfo: memFree=25524908/32770624 swapFree=66953496/67108860
[pid=6316] ppid=6313 vsize=113128 memory=1400 CPUtime=0 cores=0-7
/proc/6316/stat : 6316 (scop.sh) S 6313 6316 5880 0 -1 4202496 555 320 0 0 0 0 0 0 20 0 1 0 511750330 115843072 350 33554432000 4194304 5098028 140735761047744 140735761045000 140203552932476 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 12750848 140735761056509 140735761056856 140735761056856 140735761059785 0
/proc/6316/statm: 28282 350 297 221 0 87 0
[pid=6319] ppid=6316 vsize=27314120 memory=130068 CPUtime=0.42 cores=0-7
/proc/6319/stat : 6319 (java) S 6316 6316 5880 0 -1 1077944320 13394 0 0 0 37 5 0 0 20 0 20 0 511750330 27969658880 32517 33554432000 4194304 4196468 140736064434592 140736064417136 140682197098231 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 18038784 140736064443080 140736064443526 140736064443526 140736064446415 0
/proc/6319/statm: 6828530 32517 3032 1 0 6790935 0
[pid=6319/tid=6320] ppid=6316 vsize=27314120 memory=1398722017469774279 CPUtime=0.3 cores=0-7
/proc/6319/task/6320/stat : 6320 (java) R 6316 6316 5880 0 -1 4202560 10926 0 0 0 26 4 0 0 20 0 20 0 511750330 27969658880 32517 33554432000 4194304 4196468 140736064434592 140682168928304 140682180285040 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18038784 140736064443080 140736064443526 140736064443526 140736064446415 0
[pid=6319/tid=6321] ppid=6316 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6319/task/6321/stat : 6321 (java) S 6316 6316 5880 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511750333 27969658880 32517 33554432000 4194304 4196468 140736064434592 140682201340176 140682197108437 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18038784 140736064443080 140736064443526 140736064443526 140736064446415 0
[pid=6319/tid=6322] ppid=6316 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6319/task/6322/stat : 6322 (java) S 6316 6316 5880 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511750333 27969658880 32517 33554432000 4194304 4196468 140736064434592 140682015496592 140682197108437 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18038784 140736064443080 140736064443526 140736064443526 140736064446415 0
[pid=6319/tid=6323] ppid=6316 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6319/task/6323/stat : 6323 (java) S 6316 6316 5880 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511750333 27969658880 32517 33554432000 4194304 4196468 140736064434592 140682014444048 140682197108437 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18038784 140736064443080 140736064443526 140736064443526 140736064446415 0
[pid=6319/tid=6324] ppid=6316 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6319/task/6324/stat : 6324 (java) S 6316 6316 5880 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511750333 27969658880 32517 33554432000 4194304 4196468 140736064434592 140682013391504 140682197108437 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18038784 140736064443080 140736064443526 140736064443526 140736064446415 0
[pid=6319/tid=6325] ppid=6316 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6319/task/6325/stat : 6325 (java) S 6316 6316 5880 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511750333 27969658880 32517 33554432000 4194304 4196468 140736064434592 140682012338960 140682197108437 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18038784 140736064443080 140736064443526 140736064443526 140736064446415 0
[pid=6319/tid=6326] ppid=6316 vsize=27314120 memory=140257458743983 CPUtime=0 cores=0-7
/proc/6319/task/6326/stat : 6326 (java) S 6316 6316 5880 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511750333 27969658880 32517 33554432000 4194304 4196468 140736064434592 140682011286416 140682197108437 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18038784 140736064443080 140736064443526 140736064443526 140736064446415 0
[pid=6319/tid=6327] ppid=6316 vsize=27314120 memory=140257458746288 CPUtime=0 cores=0-7
/proc/6319/task/6327/stat : 6327 (java) S 6316 6316 5880 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511750333 27969658880 32517 33554432000 4194304 4196468 140736064434592 140682010233872 140682197108437 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18038784 140736064443080 140736064443526 140736064443526 140736064446415 0
[pid=6319/tid=6328] ppid=6316 vsize=27314120 memory=140257458748592 CPUtime=0 cores=0-7
/proc/6319/task/6328/stat : 6328 (java) S 6316 6316 5880 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511750333 27969658880 32517 33554432000 4194304 4196468 140736064434592 140682009181328 140682197108437 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18038784 140736064443080 140736064443526 140736064443526 140736064446415 0
[pid=6319/tid=6329] ppid=6316 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6319/task/6329/stat : 6329 (java) S 6316 6316 5880 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511750334 27969658880 32517 33554432000 4194304 4196468 140736064434592 140680449943536 140682197109378 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18038784 140736064443080 140736064443526 140736064443526 140736064446415 0
[pid=6319/tid=6330] ppid=6316 vsize=27314120 memory=280514917511056 CPUtime=0 cores=0-7
/proc/6319/task/6330/stat : 6330 (java) S 6316 6316 5880 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 511750335 27969658880 32517 33554432000 4194304 4196468 140736064434592 140680110269344 140682197108437 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18038784 140736064443080 140736064443526 140736064443526 140736064446415 0
[pid=6319/tid=6331] ppid=6316 vsize=27314120 memory=280514917508752 CPUtime=0 cores=0-7
/proc/6319/task/6331/stat : 6331 (java) S 6316 6316 5880 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511750335 27969658880 32517 33554432000 4194304 4196468 140736064434592 140679841833968 140682197108437 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18038784 140736064443080 140736064443526 140736064443526 140736064446415 0
[pid=6319/tid=6332] ppid=6316 vsize=27314120 memory=280514917515664 CPUtime=0 cores=0-7
/proc/6319/task/6332/stat : 6332 (java) S 6316 6316 5880 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511750337 27969658880 32517 33554432000 4194304 4196468 140736064434592 140679467325648 140682197116827 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18038784 140736064443080 140736064443526 140736064443526 140736064446415 0
[pid=6319/tid=6333] ppid=6316 vsize=27314120 memory=280514917456944 CPUtime=0.01 cores=0-7
/proc/6319/task/6333/stat : 6333 (java) S 6316 6316 5880 0 -1 1077944384 544 0 0 0 1 0 0 0 20 0 20 0 511750337 27969658880 32517 33554432000 4194304 4196468 140736064434592 140680448891376 140682197109378 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18038784 140736064443080 140736064443526 140736064443526 140736064446415 0
[pid=6319/tid=6334] ppid=6316 vsize=27314120 memory=280514917529488 CPUtime=0.01 cores=0-7
/proc/6319/task/6334/stat : 6334 (java) S 6316 6316 5880 0 -1 1077944384 54 0 0 0 1 0 0 0 20 0 20 0 511750337 27969658880 32517 33554432000 4194304 4196468 140736064434592 140680447838832 140682197109378 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18038784 140736064443080 140736064443526 140736064443526 140736064446415 0
[pid=6319/tid=6335] ppid=6316 vsize=27314120 memory=280514917536400 CPUtime=0.01 cores=0-7
/proc/6319/task/6335/stat : 6335 (java) R 6316 6316 5880 0 -1 4202560 41 0 0 0 1 0 0 0 20 0 20 0 511750337 27969658880 32517 33554432000 4194304 4196468 140736064434592 140680378706672 140682181075480 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18038784 140736064443080 140736064443526 140736064443526 140736064446415 0
[pid=6319/tid=6336] ppid=6316 vsize=27314120 memory=280514917534096 CPUtime=0.07 cores=0-7
/proc/6319/task/6336/stat : 6336 (java) S 6316 6316 5880 0 -1 1077944384 497 0 0 0 7 0 0 0 20 0 20 0 511750337 27969658880 32517 33554432000 4194304 4196468 140736064434592 140680377654128 140682197109378 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18038784 140736064443080 140736064443526 140736064443526 140736064446415 0
[pid=6319/tid=6337] ppid=6316 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6319/task/6337/stat : 6337 (java) S 6316 6316 5880 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511750338 27969658880 32517 33554432000 4194304 4196468 140736064434592 140678969420000 140682197108437 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18038784 140736064443080 140736064443526 140736064443526 140736064446415 0
[pid=6319/tid=6338] ppid=6316 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/6319/task/6338/stat : 6338 (java) S 6316 6316 5880 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511750338 27969658880 32517 33554432000 4194304 4196468 140736064434592 140680376601008 140682197109378 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18038784 140736064443080 140736064443526 140736064443526 140736064446415 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 131468 KiB

[startup+0.701035 s]
/proc/loadavg: 3.74 6.07 7.39 2/211 6338
/proc/meminfo: memFree=25504052/32770624 swapFree=66953496/67108860
[pid=6316] ppid=6313 vsize=113128 memory=1400 CPUtime=0 cores=0-7
/proc/6316/stat : 6316 (scop.sh) S 6313 6316 5880 0 -1 4202496 555 320 0 0 0 0 0 0 20 0 1 0 511750330 115843072 350 33554432000 4194304 5098028 140735761047744 140735761045000 140203552932476 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 12750848 140735761056509 140735761056856 140735761056856 140735761059785 0
/proc/6316/statm: 28282 350 297 221 0 87 0
[pid=6319] ppid=6316 vsize=27320392 memory=165708 CPUtime=1.01 cores=0-7
/proc/6319/stat : 6319 (java) S 6316 6316 5880 0 -1 1077944320 20503 0 0 0 93 8 0 0 20 0 20 0 511750330 27976081408 41427 33554432000 4194304 4196468 140736064434592 140736064417136 140682197098231 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 18038784 140736064443080 140736064443526 140736064443526 140736064446415 0
/proc/6319/statm: 6830098 41427 3183 1 0 6791447 0
[pid=6319/tid=6320] ppid=6316 vsize=27320392 memory=0 CPUtime=0.68 cores=0-7
/proc/6319/task/6320/stat : 6320 (java) R 6316 6316 5880 0 -1 4202560 17403 0 0 0 62 6 0 0 20 0 20 0 511750330 27976081408 41427 33554432000 4194304 4196468 140736064434592 140682168935584 140682197120157 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18038784 140736064443080 140736064443526 140736064443526 140736064446415 0
[pid=6319/tid=6321] ppid=6316 vsize=27320392 memory=140257458955120 CPUtime=0 cores=0-7
/proc/6319/task/6321/stat : 6321 (java) S 6316 6316 5880 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511750333 27976081408 41427 33554432000 4194304 4196468 140736064434592 140682201340176 140682197108437 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18038784 140736064443080 140736064443526 140736064443526 140736064446415 0
[pid=6319/tid=6322] ppid=6316 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/6319/task/6322/stat : 6322 (java) S 6316 6316 5880 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511750333 27976081408 41427 33554432000 4194304 4196468 140736064434592 140682015496592 140682197108437 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18038784 140736064443080 140736064443526 140736064443526 140736064446415 0
[pid=6319/tid=6323] ppid=6316 vsize=27320392 memory=1276 CPUtime=0 cores=0-7
/proc/6319/task/6323/stat : 6323 (java) S 6316 6316 5880 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511750333 27976081408 41427 33554432000 4194304 4196468 140736064434592 140682014444048 140682197108437 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18038784 140736064443080 140736064443526 140736064443526 140736064446415 0

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

[pid=6339/tid=6340] ppid=6316 vsize=8414124 memory=3168940 CPUtime=0.77 cores=0-7
/proc/6339/task/6340/stat : 6340 (java) S 6316 6316 5880 0 -1 1077944384 17271 0 0 0 71 6 0 0 20 0 24 0 511753197 8616062976 30391 33554432000 4194304 4196468 140724279980448 140218994937760 140219023107797 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10162176 140724279985120 140724279985286 140724279985286 140724279988175 0
[pid=6339/tid=6341] ppid=6316 vsize=8414124 memory=924 CPUtime=0 cores=0-7
/proc/6339/task/6341/stat : 6341 (java) S 6316 6316 5880 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 511753199 8616062976 30391 33554432000 4194304 4196468 140724279980448 140219027340048 140219023107797 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10162176 140724279985120 140724279985286 140724279985286 140724279988175 0
[pid=6339/tid=6342] ppid=6316 vsize=8414124 memory=3688 CPUtime=0 cores=0-7
/proc/6339/task/6342/stat : 6342 (java) S 6316 6316 5880 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 511753199 8616062976 30391 33554432000 4194304 4196468 140724279980448 140218827508624 140219023107797 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10162176 140724279985120 140724279985286 140724279985286 140724279988175 0
[pid=6339/tid=6343] ppid=6316 vsize=8414124 memory=1984 CPUtime=0 cores=0-7
/proc/6339/task/6343/stat : 6343 (java) S 6316 6316 5880 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 511753199 8616062976 30391 33554432000 4194304 4196468 140724279980448 140218826456080 140219023107797 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10162176 140724279985120 140724279985286 140724279985286 140724279988175 0
[pid=6339/tid=6344] ppid=6316 vsize=8414124 memory=3166632 CPUtime=0 cores=0-7
/proc/6339/task/6344/stat : 6344 (java) S 6316 6316 5880 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 511753199 8616062976 30391 33554432000 4194304 4196468 140724279980448 140218825403536 140219023107797 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10162176 140724279985120 140724279985286 140724279985286 140724279988175 0
[pid=6339/tid=6345] ppid=6316 vsize=8414124 memory=121564 CPUtime=0 cores=0-7
/proc/6339/task/6345/stat : 6345 (java) S 6316 6316 5880 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 511753199 8616062976 30391 33554432000 4194304 4196468 140724279980448 140218824349968 140219023107797 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10162176 140724279985120 140724279985286 140724279985286 140724279988175 0
[pid=6339/tid=6346] ppid=6316 vsize=8414124 memory=3164420 CPUtime=0 cores=0-7
/proc/6339/task/6346/stat : 6346 (java) S 6316 6316 5880 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 511753199 8616062976 30391 33554432000 4194304 4196468 140724279980448 140218823297424 140219023107797 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10162176 140724279985120 140724279985286 140724279985286 140724279988175 0
[pid=6339/tid=6347] ppid=6316 vsize=8414124 memory=1652 CPUtime=0 cores=0-7
/proc/6339/task/6347/stat : 6347 (java) S 6316 6316 5880 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 511753199 8616062976 30391 33554432000 4194304 4196468 140724279980448 140218822244880 140219023107797 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10162176 140724279985120 140724279985286 140724279985286 140724279988175 0
[pid=6339/tid=6348] ppid=6316 vsize=8414124 memory=140257459624784 CPUtime=0 cores=0-7
/proc/6339/task/6348/stat : 6348 (java) S 6316 6316 5880 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 511753199 8616062976 30391 33554432000 4194304 4196468 140724279980448 140218821192336 140219023107797 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10162176 140724279985120 140724279985286 140724279985286 140724279988175 0
[pid=6339/tid=6349] ppid=6316 vsize=8414124 memory=140257459627024 CPUtime=0 cores=0-7
/proc/6339/task/6349/stat : 6349 (java) S 6316 6316 5880 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 24 0 511753200 8616062976 30391 33554432000 4194304 4196468 140724279980448 140218250226160 140219023108738 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10162176 140724279985120 140724279985286 140724279985286 140724279988175 0
[pid=6339/tid=6350] ppid=6316 vsize=8414124 memory=121564 CPUtime=0 cores=0-7
/proc/6339/task/6350/stat : 6350 (java) S 6316 6316 5880 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 511753201 8616062976 30391 33554432000 4194304 4196468 140724279980448 140217528870304 140219023107797 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10162176 140724279985120 140724279985286 140724279985286 140724279988175 0
[pid=6339/tid=6351] ppid=6316 vsize=8414124 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/6339/task/6351/stat : 6351 (java) S 6316 6316 5880 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 511753201 8616062976 30391 33554432000 4194304 4196468 140724279980448 140217394648560 140219023107797 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10162176 140724279985120 140724279985286 140724279985286 140724279988175 0
[pid=6339/tid=6352] ppid=6316 vsize=8414124 memory=288230596050944315 CPUtime=0 cores=0-7
/proc/6339/task/6352/stat : 6352 (java) S 6316 6316 5880 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 511753203 8616062976 30391 33554432000 4194304 4196468 140724279980448 140217020144336 140219023116187 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10162176 140724279985120 140724279985286 140724279985286 140724279988175 0
[pid=6339/tid=6353] ppid=6316 vsize=8414124 memory=13573682337417643 CPUtime=0.08 cores=0-7
/proc/6339/task/6353/stat : 6353 (java) S 6316 6316 5880 0 -1 1077944384 836 0 0 0 8 0 0 0 20 0 24 0 511753203 8616062976 30391 33554432000 4194304 4196468 140724279980448 140218249172976 140219023108738 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10162176 140724279985120 140724279985286 140724279985286 140724279988175 0
[pid=6339/tid=6354] ppid=6316 vsize=8414124 memory=121564 CPUtime=0.07 cores=0-7
/proc/6339/task/6354/stat : 6354 (java) S 6316 6316 5880 0 -1 1077944384 443 0 0 0 7 0 0 0 20 0 24 0 511753203 8616062976 30391 33554432000 4194304 4196468 140724279980448 140218248120432 140219023108738 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10162176 140724279985120 140724279985286 140724279985286 140724279988175 0
[pid=6339/tid=6355] ppid=6316 vsize=8414124 memory=3158416 CPUtime=0.09 cores=0-7
/proc/6339/task/6355/stat : 6355 (java) S 6316 6316 5880 0 -1 1077944384 275 0 0 0 9 0 0 0 20 0 24 0 511753203 8616062976 30391 33554432000 4194304 4196468 140724279980448 140218247067888 140219023108738 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10162176 140724279985120 140724279985286 140724279985286 140724279988175 0
[pid=6339/tid=6356] ppid=6316 vsize=8414124 memory=1652 CPUtime=0.22 cores=0-7
/proc/6339/task/6356/stat : 6356 (java) S 6316 6316 5880 0 -1 1077944384 575 0 0 0 22 0 0 0 20 0 24 0 511753203 8616062976 30391 33554432000 4194304 4196468 140724279980448 140218246015344 140219023108738 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10162176 140724279985120 140724279985286 140724279985286 140724279988175 0
[pid=6339/tid=6357] ppid=6316 vsize=8414124 memory=1398722017469774279 CPUtime=0 cores=0-7
/proc/6339/task/6357/stat : 6357 (java) S 6316 6316 5880 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 511753204 8616062976 30391 33554432000 4194304 4196468 140724279980448 140216522238688 140219023107797 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10162176 140724279985120 140724279985286 140724279985286 140724279988175 0
[pid=6339/tid=6358] ppid=6316 vsize=8414124 memory=4872558044660077418 CPUtime=0.02 cores=0-7
/proc/6339/task/6358/stat : 6358 (java) S 6316 6316 5880 0 -1 1077944384 5 0 0 0 0 2 0 0 20 0 24 0 511753204 8616062976 30391 33554432000 4194304 4196468 140724279980448 140218244963248 140219023108738 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10162176 140724279985120 140724279985286 140724279985286 140724279988175 0
[pid=6339/tid=6360] ppid=6316 vsize=8414124 memory=2008 CPUtime=0 cores=0-7
/proc/6339/task/6360/stat : 6360 (java) S 6316 6316 5880 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 511753272 8616062976 30391 33554432000 4194304 4196468 140724279980448 140218237486784 140219023122201 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 10162176 140724279985120 140724279985286 140724279985286 140724279988175 0
[pid=6339/tid=6362] ppid=6316 vsize=8414124 memory=1424 CPUtime=0 cores=0-7
/proc/6339/task/6362/stat : 6362 (java) S 6316 6316 5880 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 24 0 511753273 8616062976 30391 33554432000 4194304 4196468 140724279980448 140215851138352 140219023119517 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 10162176 140724279985120 140724279985286 140724279985286 140724279988175 0
[pid=6339/tid=6363] ppid=6316 vsize=8414124 memory=2116 CPUtime=0 cores=0-7
/proc/6339/task/6363/stat : 6363 (java) S 6316 6316 5880 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 511753273 8616062976 30391 33554432000 4194304 4196468 140724279980448 140216119573936 140219023119517 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 10162176 140724279985120 140724279985286 140724279985286 140724279988175 0
[pid=6339/tid=6364] ppid=6316 vsize=8414124 memory=520 CPUtime=0 cores=0-7
/proc/6339/task/6364/stat : 6364 (java) S 6316 6316 5880 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 24 0 511753275 8616062976 30391 33554432000 4194304 4196468 140724279980448 140215582710960 140219023107797 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10162176 140724279985120 140724279985286 140724279985286 140724279988175 0
Current children cumulated CPU time: 411.54 s
Current children cumulated vsize: 12338656 KiB
Current children cumulated memory: 3292068 KiB

[startup+81.4011 s]
/proc/loadavg: 5.90 6.02 7.25 5/217 6377
/proc/meminfo: memFree=22866900/32770624 swapFree=66953496/67108860
[pid=6316] ppid=6313 vsize=113128 memory=1476 CPUtime=38.32 cores=0-7
/proc/6316/stat : 6316 (scop.sh) S 6313 6316 5880 0 -1 4202496 581 35024 0 0 0 0 3654 178 20 0 1 0 511750330 115843072 369 33554432000 4194304 5098028 140735761047744 140735761044488 140203552932476 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 12750848 140735761056509 140735761056856 140735761056856 140735761059785 0
/proc/6316/statm: 28282 369 311 221 0 87 0
[pid=6339] ppid=6316 vsize=8283048 memory=216756 CPUtime=374.2 cores=0-7
/proc/6339/stat : 6339 (java) S 6316 6316 5880 0 -1 1077944320 22166 2988187 0 0 189 11 36676 544 20 0 22 0 511753197 8481841152 54189 33554432000 4194304 4196468 140724279980448 140724279962992 140219023097591 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 10162176 140724279985120 140724279985286 140724279985286 140724279988175 0
/proc/6339/statm: 2070762 54189 3231 1 0 2032106 0
[pid=6339/tid=6340] ppid=6316 vsize=8283048 memory=121564 CPUtime=373.06 cores=0-7
/proc/6339/task/6340/stat : 6340 (java) R 6316 6316 5880 0 -1 4202560 17437 2988187 0 0 79 7 36676 544 20 0 22 0 511753197 8481841152 54189 33554432000 4194304 4196468 140724279980448 140218994936264 140219023109526 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10162176 140724279985120 140724279985286 140724279985286 140724279988175 0
[pid=6339/tid=6341] ppid=6316 vsize=8283048 memory=3169028 CPUtime=372.2 cores=0-7
/proc/6339/task/6341/stat : 6341 (java) S 6316 6316 5880 0 -1 1077944384 2 2988187 0 0 0 0 36676 544 20 0 22 0 511753199 8481841152 54189 33554432000 4194304 4196468 140724279980448 140219027340048 140219023107797 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10162176 140724279985120 140724279985286 140724279985286 140724279988175 0
[pid=6339/tid=6342] ppid=6316 vsize=8283048 memory=1476 CPUtime=372.2 cores=0-7
/proc/6339/task/6342/stat : 6342 (java) S 6316 6316 5880 0 -1 1077944384 3 2988187 0 0 0 0 36676 544 20 0 22 0 511753199 8481841152 54189 33554432000 4194304 4196468 140724279980448 140218827508624 140219023107797 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10162176 140724279985120 140724279985286 140724279985286 140724279988175 0
[pid=6339/tid=6343] ppid=6316 vsize=8283048 memory=1476 CPUtime=372.2 cores=0-7
/proc/6339/task/6343/stat : 6343 (java) S 6316 6316 5880 0 -1 1077944384 1 2988187 0 0 0 0 36676 544 20 0 22 0 511753199 8481841152 54189 33554432000 4194304 4196468 140724279980448 140218826456080 140219023107797 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10162176 140724279985120 140724279985286 140724279985286 140724279988175 0
[pid=6339/tid=6344] ppid=6316 vsize=8283048 memory=121564 CPUtime=372.2 cores=0-7
/proc/6339/task/6344/stat : 6344 (java) S 6316 6316 5880 0 -1 1077944384 1 2988187 0 0 0 0 36676 544 20 0 22 0 511753199 8481841152 54189 33554432000 4194304 4196468 140724279980448 140218825403536 140219023107797 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10162176 140724279985120 140724279985286 140724279985286 140724279988175 0
[pid=6339/tid=6345] ppid=6316 vsize=8283048 memory=8112282956445269571 CPUtime=372.2 cores=0-7
/proc/6339/task/6345/stat : 6345 (java) S 6316 6316 5880 0 -1 1077944384 1 2988187 0 0 0 0 36676 544 20 0 22 0 511753199 8481841152 54189 33554432000 4194304 4196468 140724279980448 140218824349968 140219023107797 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10162176 140724279985120 140724279985286 140724279985286 140724279988175 0
[pid=6339/tid=6346] ppid=6316 vsize=8283048 memory=1398722017469774279 CPUtime=372.2 cores=0-7
/proc/6339/task/6346/stat : 6346 (java) S 6316 6316 5880 0 -1 1077944384 2 2988187 0 0 0 0 36676 544 20 0 22 0 511753199 8481841152 54189 33554432000 4194304 4196468 140724279980448 140218823297424 140219023107797 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10162176 140724279985120 140724279985286 140724279985286 140724279988175 0
[pid=6339/tid=6347] ppid=6316 vsize=8283048 memory=304556123141439514 CPUtime=372.2 cores=0-7
/proc/6339/task/6347/stat : 6347 (java) S 6316 6316 5880 0 -1 1077944384 1 2988187 0 0 0 0 36676 544 20 0 22 0 511753199 8481841152 54189 33554432000 4194304 4196468 140724279980448 140218822244880 140219023107797 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10162176 140724279985120 140724279985286 140724279985286 140724279988175 0
[pid=6339/tid=6348] ppid=6316 vsize=8283048 memory=288230596050944315 CPUtime=372.2 cores=0-7
/proc/6339/task/6348/stat : 6348 (java) S 6316 6316 5880 0 -1 1077944384 2 2988187 0 0 0 0 36676 544 20 0 22 0 511753199 8481841152 54189 33554432000 4194304 4196468 140724279980448 140218821192336 140219023107797 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10162176 140724279985120 140724279985286 140724279985286 140724279988175 0
[pid=6339/tid=6349] ppid=6316 vsize=8283048 memory=13573682337417643 CPUtime=372.2 cores=0-7
/proc/6339/task/6349/stat : 6349 (java) S 6316 6316 5880 0 -1 1077944384 6 2988187 0 0 0 0 36676 544 20 0 22 0 511753200 8481841152 54189 33554432000 4194304 4196468 140724279980448 140218250226160 140219023108738 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10162176 140724279985120 140724279985286 140724279985286 140724279988175 0
[pid=6339/tid=6350] ppid=6316 vsize=8283048 memory=520 CPUtime=372.2 cores=0-7
/proc/6339/task/6350/stat : 6350 (java) S 6316 6316 5880 0 -1 1077944384 13 2988187 0 0 0 0 36676 544 20 0 22 0 511753201 8481841152 54189 33554432000 4194304 4196468 140724279980448 140217528870304 140219023107797 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10162176 140724279985120 140724279985286 140724279985286 140724279988175 0
[pid=6339/tid=6351] ppid=6316 vsize=8283048 memory=1560 CPUtime=372.2 cores=0-7
/proc/6339/task/6351/stat : 6351 (java) S 6316 6316 5880 0 -1 1077944384 21 2988187 0 0 0 0 36676 544 20 0 22 0 511753201 8481841152 54189 33554432000 4194304 4196468 140724279980448 140217394648560 140219023107797 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10162176 140724279985120 140724279985286 140724279985286 140724279988175 0
[pid=6339/tid=6352] ppid=6316 vsize=8283048 memory=924 CPUtime=372.2 cores=0-7
/proc/6339/task/6352/stat : 6352 (java) S 6316 6316 5880 0 -1 1077944384 1 2988187 0 0 0 0 36676 544 20 0 22 0 511753203 8481841152 54189 33554432000 4194304 4196468 140724279980448 140217020144336 140219023116187 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10162176 140724279985120 140724279985286 140724279985286 140724279988175 0
[pid=6339/tid=6353] ppid=6316 vsize=8283048 memory=3688 CPUtime=372.37 cores=0-7
/proc/6339/task/6353/stat : 6353 (java) R 6316 6316 5880 0 -1 4202560 886 2988187 0 0 17 0 36676 544 20 0 22 0 511753203 8481841152 54189 33554432000 4194304 4196468 140724279980448 140218249153248 140219006508392 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10162176 140724279985120 140724279985286 140724279985286 140724279988175 0
[pid=6339/tid=6354] ppid=6316 vsize=8283048 memory=1984 CPUtime=372.39 cores=0-7
/proc/6339/task/6354/stat : 6354 (java) S 6316 6316 5880 0 -1 1077944384 500 2988187 0 0 19 0 36676 544 20 0 22 0 511753203 8481841152 54189 33554432000 4194304 4196468 140724279980448 140218248120432 140219023108738 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10162176 140724279985120 140724279985286 140724279985286 140724279988175 0
[pid=6339/tid=6355] ppid=6316 vsize=8283048 memory=1440 CPUtime=372.37 cores=0-7
/proc/6339/task/6355/stat : 6355 (java) S 6316 6316 5880 0 -1 1077944384 489 2988187 0 0 17 0 36676 544 20 0 22 0 511753203 8481841152 54189 33554432000 4194304 4196468 140724279980448 140218247067888 140219023108738 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10162176 140724279985120 140724279985286 140724279985286 140724279988175 0
[pid=6339/tid=6356] ppid=6316 vsize=8283048 memory=808 CPUtime=372.51 cores=0-7
/proc/6339/task/6356/stat : 6356 (java) R 6316 6316 5880 0 -1 4202560 1209 2988187 0 0 31 0 36676 544 20 0 22 0 511753203 8481841152 54189 33554432000 4194304 4196468 140724279980448 140218246015344 140219002817118 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10162176 140724279985120 140724279985286 140724279985286 140724279988175 0
[pid=6339/tid=6357] ppid=6316 vsize=8283048 memory=2580 CPUtime=372.2 cores=0-7
/proc/6339/task/6357/stat : 6357 (java) S 6316 6316 5880 0 -1 1077944384 3 2988187 0 0 0 0 36676 544 20 0 22 0 511753204 8481841152 54189 33554432000 4194304 4196468 140724279980448 140216522238688 140219023107797 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10162176 140724279985120 140724279985286 140724279985286 140724279988175 0
[pid=6339/tid=6358] ppid=6316 vsize=8283048 memory=1760 CPUtime=372.22 cores=0-7
/proc/6339/task/6358/stat : 6358 (java) S 6316 6316 5880 0 -1 1077944384 5 2988187 0 0 0 2 36676 544 20 0 22 0 511753204 8481841152 54189 33554432000 4194304 4196468 140724279980448 140218244963248 140219023108738 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10162176 140724279985120 140724279985286 140724279985286 140724279988175 0
[pid=6339/tid=6360] ppid=6316 vsize=8283048 memory=111636 CPUtime=372.2 cores=0-7
/proc/6339/task/6360/stat : 6360 (java) S 6316 6316 5880 0 -1 1077944384 24 2988187 0 0 0 0 36676 544 20 0 22 0 511753272 8481841152 54189 33554432000 4194304 4196468 140724279980448 140218237485968 140219023108738 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10162176 140724279985120 140724279985286 140724279985286 140724279988175 0
[pid=6339/tid=6364] ppid=6316 vsize=8283048 memory=35724 CPUtime=372.2 cores=0-7
/proc/6339/task/6364/stat : 6364 (java) S 6316 6316 5880 0 -1 1077944384 14 2988187 0 0 0 0 36676 544 20 0 22 0 511753275 8481841152 54189 33554432000 4194304 4196468 140724279980448 140215582712752 140219023108738 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10162176 140724279985120 140724279985286 140724279985286 140724279988175 0
Current children cumulated CPU time: 412.52 s
Current children cumulated vsize: 8396176 KiB
Current children cumulated memory: 218232 KiB

[startup+81.5015 s]
/proc/loadavg: 5.90 6.02 7.25 5/217 6377
/proc/meminfo: memFree=22866900/32770624 swapFree=66953496/67108860
[pid=6316] ppid=6313 vsize=113128 memory=1476 CPUtime=38.32 cores=0-7
/proc/6316/stat : 6316 (scop.sh) S 6313 6316 5880 0 -1 4202496 581 35024 0 0 0 0 3654 178 20 0 1 0 511750330 115843072 369 33554432000 4194304 5098028 140735761047744 140735761044488 140203552932476 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 12750848 140735761056509 140735761056856 140735761056856 140735761059785 0
/proc/6316/statm: 28282 369 311 221 0 87 0
[pid=6339] ppid=6316 vsize=8283048 memory=230248 CPUtime=374.4 cores=0-7
/proc/6339/stat : 6339 (java) S 6316 6316 5880 0 -1 1077944320 23541 2988187 0 0 205 15 36676 544 20 0 22 0 511753197 8481841152 57562 33554432000 4194304 4196468 140724279980448 140724279962992 140219023097591 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 10162176 140724279985120 140724279985286 140724279985286 140724279988175 0
/proc/6339/statm: 2070762 57562 3233 1 0 2032106 0
[pid=6339/tid=6340] ppid=6316 vsize=8283048 memory=201236 CPUtime=373.16 cores=0-7
/proc/6339/task/6340/stat : 6340 (java) R 6316 6316 5880 0 -1 4202560 18642 2988187 0 0 86 10 36676 544 20 0 22 0 511753197 8481841152 57562 33554432000 4194304 4196468 140724279980448 140218994939368 140219015783223 0 4 2 25189581 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 10162176 140724279985120 140724279985286 140724279985286 140724279988175 0
[pid=6339/tid=6341] ppid=6316 vsize=8283048 memory=1476 CPUtime=372.2 cores=0-7
/proc/6339/task/6341/stat : 6341 (java) S 6316 6316 5880 0 -1 1077944384 2 2988187 0 0 0 0 36676 544 20 0 22 0 511753199 8481841152 57562 33554432000 4194304 4196468 140724279980448 140219027340048 140219023107797 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10162176 140724279985120 140724279985286 140724279985286 140724279988175 0
[pid=6339/tid=6342] ppid=6316 vsize=8283048 memory=1476 CPUtime=372.2 cores=0-7
/proc/6339/task/6342/stat : 6342 (java) S 6316 6316 5880 0 -1 1077944384 3 2988187 0 0 0 0 36676 544 20 0 22 0 511753199 8481841152 57562 33554432000 4194304 4196468 140724279980448 140218827508624 140219023107797 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10162176 140724279985120 140724279985286 140724279985286 140724279988175 0
[pid=6339/tid=6343] ppid=6316 vsize=8283048 memory=121564 CPUtime=372.2 cores=0-7
/proc/6339/task/6343/stat : 6343 (java) S 6316 6316 5880 0 -1 1077944384 1 2988187 0 0 0 0 36676 544 20 0 22 0 511753199 8481841152 57562 33554432000 4194304 4196468 140724279980448 140218826456080 140219023107797 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10162176 140724279985120 140724279985286 140724279985286 140724279988175 0
[pid=6339/tid=6344] ppid=6316 vsize=8283048 memory=3164428 CPUtime=372.2 cores=0-7
/proc/6339/task/6344/stat : 6344 (java) S 6316 6316 5880 0 -1 1077944384 1 2988187 0 0 0 0 36676 544 20 0 22 0 511753199 8481841152 57562 33554432000 4194304 4196468 140724279980448 140218825403536 140219023107797 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10162176 140724279985120 140724279985286 140724279985286 140724279988175 0
[pid=6339/tid=6345] ppid=6316 vsize=8283048 memory=0 CPUtime=372.2 cores=0-7
/proc/6339/task/6345/stat : 6345 (java) S 6316 6316 5880 0 -1 1077944384 1 2988187 0 0 0 0 36676 544 20 0 22 0 511753199 8481841152 57562 33554432000 4194304 4196468 140724279980448 140218824349968 140219023107797 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10162176 140724279985120 140724279985286 140724279985286 140724279988175 0
[pid=6339/tid=6346] ppid=6316 vsize=8283048 memory=1476 CPUtime=372.2 cores=0-7
/proc/6339/task/6346/stat : 6346 (java) S 6316 6316 5880 0 -1 1077944384 2 2988187 0 0 0 0 36676 544 20 0 22 0 511753199 8481841152 57562 33554432000 4194304 4196468 140724279980448 140218823297424 140219023107797 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10162176 140724279985120 140724279985286 140724279985286 140724279988175 0
[pid=6339/tid=6347] ppid=6316 vsize=8283048 memory=121564 CPUtime=372.2 cores=0-7
/proc/6339/task/6347/stat : 6347 (java) S 6316 6316 5880 0 -1 1077944384 1 2988187 0 0 0 0 36676 544 20 0 22 0 511753199 8481841152 57562 33554432000 4194304 4196468 140724279980448 140218822244880 140219023107797 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10162176 140724279985120 140724279985286 140724279985286 140724279988175 0
[pid=6339/tid=6348] ppid=6316 vsize=8283048 memory=3166640 CPUtime=372.2 cores=0-7
/proc/6339/task/6348/stat : 6348 (java) S 6316 6316 5880 0 -1 1077944384 2 2988187 0 0 0 0 36676 544 20 0 22 0 511753199 8481841152 57562 33554432000 4194304 4196468 140724279980448 140218821192336 140219023107797 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10162176 140724279985120 140724279985286 140724279985286 140724279988175 0
[pid=6339/tid=6349] ppid=6316 vsize=8283048 memory=1476 CPUtime=372.2 cores=0-7
/proc/6339/task/6349/stat : 6349 (java) S 6316 6316 5880 0 -1 1077944384 6 2988187 0 0 0 0 36676 544 20 0 22 0 511753200 8481841152 57562 33554432000 4194304 4196468 140724279980448 140218250226160 140219023108738 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10162176 140724279985120 140724279985286 140724279985286 140724279988175 0
[pid=6339/tid=6350] ppid=6316 vsize=8283048 memory=121564 CPUtime=372.2 cores=0-7
/proc/6339/task/6350/stat : 6350 (java) S 6316 6316 5880 0 -1 1077944384 13 2988187 0 0 0 0 36676 544 20 0 22 0 511753201 8481841152 57562 33554432000 4194304 4196468 140724279980448 140217528870304 140219023107797 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10162176 140724279985120 140724279985286 140724279985286 140724279988175 0
[pid=6339/tid=6351] ppid=6316 vsize=8283048 memory=2116 CPUtime=372.2 cores=0-7
/proc/6339/task/6351/stat : 6351 (java) S 6316 6316 5880 0 -1 1077944384 21 2988187 0 0 0 0 36676 544 20 0 22 0 511753201 8481841152 57562 33554432000 4194304 4196468 140724279980448 140217394648560 140219023107797 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10162176 140724279985120 140724279985286 140724279985286 140724279988175 0
[pid=6339/tid=6352] ppid=6316 vsize=8283048 memory=520 CPUtime=372.2 cores=0-7
/proc/6339/task/6352/stat : 6352 (java) S 6316 6316 5880 0 -1 1077944384 1 2988187 0 0 0 0 36676 544 20 0 22 0 511753203 8481841152 57562 33554432000 4194304 4196468 140724279980448 140217020144336 140219023116187 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10162176 140724279985120 140724279985286 140724279985286 140724279988175 0
[pid=6339/tid=6353] ppid=6316 vsize=8283048 memory=1560 CPUtime=372.4 cores=0-7
/proc/6339/task/6353/stat : 6353 (java) S 6316 6316 5880 0 -1 1077944384 898 2988187 0 0 20 0 36676 544 20 0 22 0 511753203 8481841152 57562 33554432000 4194304 4196468 140724279980448 140218249172976 140219023108738 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10162176 140724279985120 140724279985286 140724279985286 140724279988175 0
[pid=6339/tid=6354] ppid=6316 vsize=8283048 memory=1476 CPUtime=372.41 cores=0-7
/proc/6339/task/6354/stat : 6354 (java) S 6316 6316 5880 0 -1 1077944384 548 2988187 0 0 21 0 36676 544 20 0 22 0 511753203 8481841152 57562 33554432000 4194304 4196468 140724279980448 140218248120432 140219023108738 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10162176 140724279985120 140724279985286 140724279985286 140724279988175 0
[pid=6339/tid=6355] ppid=6316 vsize=8283048 memory=1476 CPUtime=372.38 cores=0-7
/proc/6339/task/6355/stat : 6355 (java) S 6316 6316 5880 0 -1 1077944384 500 2988187 0 0 18 0 36676 544 20 0 22 0 511753203 8481841152 57562 33554432000 4194304 4196468 140724279980448 140218247067888 140219023108738 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10162176 140724279985120 140724279985286 140724279985286 140724279988175 0
[pid=6339/tid=6356] ppid=6316 vsize=8283048 memory=121564 CPUtime=372.54 cores=0-7
/proc/6339/task/6356/stat : 6356 (java) S 6316 6316 5880 0 -1 1077944384 1307 2988187 0 0 34 0 36676 544 20 0 22 0 511753203 8481841152 57562 33554432000 4194304 4196468 140724279980448 140218246015344 140219023108738 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10162176 140724279985120 140724279985286 140724279985286 140724279988175 0
[pid=6339/tid=6357] ppid=6316 vsize=8283048 memory=0 CPUtime=372.2 cores=0-7
/proc/6339/task/6357/stat : 6357 (java) S 6316 6316 5880 0 -1 1077944384 3 2988187 0 0 0 0 36676 544 20 0 22 0 511753204 8481841152 57562 33554432000 4194304 4196468 140724279980448 140216522238688 140219023107797 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10162176 140724279985120 140724279985286 140724279985286 140724279988175 0
[pid=6339/tid=6358] ppid=6316 vsize=8283048 memory=0 CPUtime=372.22 cores=0-7
/proc/6339/task/6358/stat : 6358 (java) S 6316 6316 5880 0 -1 1077944384 5 2988187 0 0 0 2 36676 544 20 0 22 0 511753204 8481841152 57562 33554432000 4194304 4196468 140724279980448 140218244963248 140219023108738 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10162176 140724279985120 140724279985286 140724279985286 140724279988175 0
[pid=6339/tid=6360] ppid=6316 vsize=8283048 memory=0 CPUtime=372.2 cores=0-7
/proc/6339/task/6360/stat : 6360 (java) S 6316 6316 5880 0 -1 1077944384 24 2988187 0 0 0 0 36676 544 20 0 22 0 511753272 8481841152 57562 33554432000 4194304 4196468 140724279980448 140218237485968 140219023108738 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10162176 140724279985120 140724279985286 140724279985286 140724279988175 0
[pid=6339/tid=6364] ppid=6316 vsize=8283048 memory=3161912 CPUtime=372.2 cores=0-7
/proc/6339/task/6364/stat : 6364 (java) S 6316 6316 5880 0 -1 1077944384 14 2988187 0 0 0 0 36676 544 20 0 22 0 511753275 8481841152 57562 33554432000 4194304 4196468 140724279980448 140215582712752 140219023108738 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10162176 140724279985120 140724279985286 140724279985286 140724279988175 0
Current children cumulated CPU time: 412.72 s
Current children cumulated vsize: 8396176 KiB
Current children cumulated memory: 231724 KiB

Child status: 0
Real time (s): 81.5152
CPU time (s): 412.767
CPU user time (s): 405.362
CPU system time (s): 7.40498
CPU usage (%): 506.368
Max. virtual memory (cumulated for all children) (KiB): 27443924
Max. memory (cumulated for all children) (KiB): 6062204

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 405.362
system time used= 7.40498
maximum resident set size= 6061644
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3047371
page faults= 0
swaps= 0
block input operations= 16
block output operations= 320704
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 59096
involuntary context switches= 4040


# summary of solver processes directly reported to runsolver:
#   pid: 6316
#   total CPU time (s): 412.767
#   total CPU user time (s): 405.362
#   total CPU system time (s): 7.40498

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.68038 second user time and 1.05707 second system time

The end

Launcher Data 

Begin job on node119 at 2019-09-24 22:51:55
IDJOB=4405178
IDBENCH=138482
IDSOLVER=2867
FILE ID=node119/4405178-1569358356
RUNJOBID= node119-1569357949-5907
PBS_JOBID= 21705109
Free space on /var/tmp= 13512 MiB

SOLVER NAME= Fun-sCOP order+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 -order DIR/manyglucose-4.1-27_release -model:-nthreads=NBCORE:-maxmemory=20000:-lit-scans=6000000 TMPDIR BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4405178-1569358356/watcher-4405178-1569358356 -o /var/tmp/evaluation-result-4405178-1569358356/solver-4405178-1569358356 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node119-1569357949-5907 --watchdog 2580  HOME/scop.sh 22g HOME/scop.jar -order HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4405178-1569358356.xml

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

MD5SUM BENCH= 3f0141c7bb33af25d9039070b39091b8
RANDOM SEED=482090655

node119.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        25644652 kB
MemAvailable:   31795948 kB
Buffers:          137568 kB
Cached:          6113452 kB
SwapCached:        46740 kB
Active:          3104172 kB
Inactive:        3197556 kB
Active(anon):       4040 kB
Inactive(anon):   103992 kB
Active(file):    3100132 kB
Inactive(file):  3093564 kB
Unevictable:      107736 kB
Mlocked:          107736 kB
SwapTotal:      67108860 kB
SwapFree:       66953496 kB
Dirty:             20632 kB
Writeback:             0 kB
AnonPages:         56268 kB
Mapped:            58060 kB
Shmem:             48540 kB
Slab:             415276 kB
SReclaimable:     386060 kB
SUnreclaim:        29216 kB
KernelStack:        3712 kB
PageTables:         5232 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     514564 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     10240 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      126336 kB
DirectMap2M:    33419264 kB

Free space on /var/tmp at the end= 13492 MiB
End job on node119 at 2019-09-24 22:53:16