Trace number 4405131

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 19.802 6.91943

General information on the benchmark

NameQRandom/
QRandom-geometric-rw/geometric-50-20-d4-75-08.xml
MD5SUMee1da6b537c1ecd46a877bd70c24ae39
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 benchmark0.402036
Satisfiable
(Un)Satisfiability was proved
Number of variables50
Number of constraints477
Number of domains1
Minimum domain size20
Maximum domain size20
Distribution of domain sizes[{"size":20,"count":50}]
Minimum variable degree8
Maximum variable degree30
Distribution of variable degrees[{"degree":8,"count":1},{"degree":9,"count":2},{"degree":10,"count":3},{"degree":12,"count":2},{"degree":13,"count":2},{"degree":14,"count":2},{"degree":17,"count":5},{"degree":18,"count":4},{"degree":19,"count":4},{"degree":20,"count":6},{"degree":22,"count":5},{"degree":23,"count":2},{"degree":24,"count":5},{"degree":25,"count":1},{"degree":26,"count":1},{"degree":27,"count":2},{"degree":28,"count":2},{"degree":30,"count":1}]
Minimum constraint arity2
Maximum constraint arity2
Distribution of constraint arities[{"arity":2,"count":477}]
Number of extensional constraints477
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":477}]
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-9425-serial-file.bin HOME/instance-4405131-1569335992.xml
0.65/0.54	
0.65/0.54	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
0.65/0.54	
0.65/0.56	c BEGIN-Prog: Tue Sep 24 16:39:11 CEST 2019
0.65/0.56	c PID: 9428
0.65/0.56	c IP: 172.20.3.140
0.65/0.56	c HOST: node140.alineos.net
0.65/0.57	c (0,0) Parsing Begin
2.68/1.18	c (0,0) Parsing End
2.68/1.18	c (0,0) CSP: 50 int (0 aux), 0 bool (0 aux), 477 ctr, max domain size 20
2.68/1.18	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 20 MiB used (max 0 MiB)
2.68/1.19	c (0,0) Constraint Name Generate Begin
2.68/1.20	c (0,0) Ctr:HOME/instance-4405131-1569335992.xml,ExtensionConflict:Var
2.68/1.20	c (0,0) Constraint Name Generate End
2.68/1.20	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 20 MiB used (max 0 MiB)
2.68/1.20	c (0,0) CSP to CSPinCNF Begin
5.56/1.94	c (1,1) translated 48 (10%) constraints
6.41/2.20	c (1,1) translated 96 (20%) constraints
7.59/2.44	c (1,1) translated 144 (30%) constraints
8.39/2.68	c (2,2) translated 191 (40%) constraints
9.61/2.91	c (2,2) translated 239 (50%) constraints
10.43/3.12	c (2,2) translated 287 (60%) constraints
11.18/3.32	c (2,2) translated 334 (70%) constraints
11.42/3.49	c (2,2) translated 382 (80%) constraints
11.90/3.66	c (3,3) translated 430 (90%) constraints
12.30/3.82	c (3,3) translated 477 (100%) constraints
12.30/3.83	c (3,3) ===========================================
12.30/3.83	c (3,3) Order
12.30/3.83	c (3,3) ===========================================
12.57/3.93	c (3,3) translated 3616 (10%) constraints
12.86/4.01	c (3,3) translated 7232 (20%) constraints
12.86/4.09	c (3,3) translated 10848 (30%) constraints
13.12/4.16	c (3,3) translated 14464 (40%) constraints
13.30/4.24	c (3,3) translated 18080 (50%) constraints
13.50/4.31	c (3,3) translated 21696 (60%) constraints
13.50/4.38	c (3,3) translated 25312 (70%) constraints
13.61/4.46	c (3,3) translated 28928 (80%) constraints
13.71/4.53	c (3,3) translated 32544 (90%) constraints
13.82/4.61	c (4,4) translated 36159 (100%) constraints
13.82/4.61	c (4,4) CSP to CSPinCNF End
13.82/4.61	c (4,4) CSP: 50 int (0 aux), 0 bool (0 aux), 36159 ctr, max domain size 20
13.82/4.61	c (4,4) Heap : 1576 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB)
13.82/4.61	c (4,4) CSPinCNF Propagation Begin
14.40/4.88	c (4,4) 0 values, 4172 unsatisfiable literals, and 0 valid clauses are removed
14.40/4.88	c (4,4) CSPinCNF Propagation End
14.40/4.89	c (4,4) CSP: 50 int (0 aux), 0 bool (0 aux), 36159 ctr, max domain size 20
14.40/4.89	c (4,4) Heap : 1689 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB)
14.40/4.89	c (4,4) Simplify CSPinCNF Begin
14.61/5.01	c (4,4) Simplify CSPinCNF End
14.61/5.01	c (4,4) CSP: 50 int (0 aux), 0 bool (0 aux), 36159 ctr, max domain size 20
14.79/5.01	c (4,4) Heap : 1802 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB)
14.79/5.01	c (4,4) Calculate Precise Domain Begin
14.79/5.01	c (4,4) 0 values are removed by re-calculation
14.79/5.01	c (4,4) Calculate Precise Domain End
14.79/5.01	c (4,4) CSP: 50 int (0 aux), 0 bool (0 aux), 36159 ctr, max domain size 20
14.79/5.01	c (4,4) Heap : 1802 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB)
14.79/5.01	c (4,4) CSPinCNF to SatSolver Begin
15.47/5.22	c (4,4) 3616 (10 %) CSP clauses are encoded (0 SAT variables, 4515 SAT clauses)
15.87/5.31	c (4,4) 7232 (20 %) CSP clauses are encoded (0 SAT variables, 8131 SAT clauses)
15.87/5.37	c (4,4) 10848 (30 %) CSP clauses are encoded (0 SAT variables, 11747 SAT clauses)
16.26/5.41	c (4,4) 14464 (40 %) CSP clauses are encoded (0 SAT variables, 15363 SAT clauses)
16.26/5.46	c (4,4) 18080 (50 %) CSP clauses are encoded (0 SAT variables, 18979 SAT clauses)
16.38/5.50	c (4,4) 21696 (60 %) CSP clauses are encoded (0 SAT variables, 22595 SAT clauses)
16.38/5.54	c (5,4) 25312 (70 %) CSP clauses are encoded (0 SAT variables, 26211 SAT clauses)
16.38/5.58	c (5,5) 28928 (80 %) CSP clauses are encoded (0 SAT variables, 29827 SAT clauses)
16.48/5.63	c (5,5) 32544 (90 %) CSP clauses are encoded (0 SAT variables, 33443 SAT clauses)
16.48/5.67	c (5,5) 36159 (100 %) CSP clauses are encoded (0 SAT variables, 37058 SAT clauses)
16.48/5.67	c (5,5) CSPinCNF to SatSolver End
16.48/5.67	c (5,5) Heap : 2140 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB)
16.48/5.67	c (5,5) 950 bool, 37059 clause
16.48/5.67	c (5,5) Export Begin
16.61/5.76	c (5,5) Export to HOME/scop-9425-serial-file.bin
16.61/5.76	c (5,5) Export End
16.61/5.76	c (5,5) Export File Size: 0.01 MB
16.61/5.76	c (5,5) 0,0,4,4,4,4,5,STOP-AFTER(DIMACS)
16.61/5.76	c END-Prog: Tue Sep 24 16:39:17 CEST 2019
16.61/5.78	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-9425-serial-file.bin
17.34/6.24	c (0,0) Read Serial File Begin
17.34/6.24	c (0,0) HOME/scop-9425-serial-file.bin
17.63/6.45	c (0,0) Read Serial File End
17.63/6.46	
17.63/6.46	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
17.63/6.46	(Solving Process)
17.63/6.46	
17.63/6.49	c BEGIN-Prog: Tue Sep 24 16:39:17 CEST 2019
17.63/6.49	c PID: 9448
17.63/6.49	c IP: 172.20.3.140
17.63/6.49	c HOST: node140.alineos.net
17.63/6.49	c (0,0) SatSolver.solve Begin
17.63/6.49	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4405131-1569335992.xml-scop-9428.cnf
17.79/6.52	c (0,0) c
17.79/6.52	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)
17.79/6.52	c (0,0) c
17.79/6.52	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
17.79/6.52	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
17.79/6.52	c (0,0) c ========================================[ Problem Statistics ]===========================================
17.79/6.52	c (0,0) c |                                                                                                       |
17.79/6.52	c (0,0) c |  Number of variables:           950                                                                   |
17.79/6.52	c (0,0) c |  Number of clauses:           37059                                                                   |
17.79/6.52	c (0,0) c |  Parse time:                   0.01 s                                                                 |
17.79/6.52	c (0,0) c |                                                                                                       |
17.79/6.56	c (0,0) c |  Simplification time:          0.04 s                                                                 |
17.79/6.56	c (0,0) c |                                                                                                       |
17.79/6.56	c (0,0) c |  Generating clones                                                                                    |
17.79/6.57	c (0,0) c |  all clones generated. Memory =    41.87Mb.                                                           |
17.79/6.57	c (0,0) c ========================================================================================================|
17.79/6.57	c (0,0) c
17.79/6.57	c (0,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
17.79/6.57	c (0,0) c
17.79/6.57	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
17.79/6.57	c (0,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
17.79/6.57	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
17.79/6.57	c (0,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
17.79/6.57	c (0,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
17.79/6.57	c (0,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
17.79/6.57	c (0,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
17.79/6.57	c (0,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
17.79/6.57	c (0,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
17.79/6.57	c (0,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
17.79/6.57	c (0,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
17.79/6.57	c (0,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
17.79/6.57	c (0,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
17.79/6.57	c (0,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
17.79/6.57	c (0,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
17.79/6.57	c (0,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
17.79/6.57	c (0,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
17.79/6.57	c (0,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
17.79/6.57	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
17.97/6.79	c (0,0) c
17.97/6.79	c (0,0) c real time : 0.277944 s
17.97/6.79	c (0,0) c cpu time  : 1.5064 s
17.97/6.79	c (0,0) c
17.97/6.79	c (0,0) c
17.97/6.79	c (0,0) c
17.97/6.79	c (0,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
17.97/6.79	c (0,0) c
17.97/6.79	c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
17.97/6.79	c (0,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
17.97/6.79	c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
17.97/6.79	c (0,0) c | Conflicts     |           45205 |       5740 |       4897 |       6850 |       5150 |       6016 |       5090 |       4971 |       6491 |
17.97/6.79	c (0,0) c | Decisions     |           55371 |       6957 |       6002 |       8432 |       6248 |       7272 |       6350 |       6187 |       7923 |
17.97/6.79	c (0,0) c | Propagations  |         4203020 |     571812 |     454264 |     595582 |     451363 |     562835 |     497111 |     471891 |     598162 |
17.97/6.79	c (0,0) c | ReduceDBs     |               9 |          1 |          1 |          2 |          1 |          1 |          1 |          1 |          1 |
17.97/6.79	c (0,0) c | SimpDBs       |               8 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |
17.97/6.79	c (0,0) c | Restarts      |              29 |          2 |          6 |          3 |          5 |          2 |          3 |          3 |          5 |
17.97/6.79	c (0,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
17.97/6.79	c (0,0) c | PropBinClauses|         4079616 |     547558 |     445376 |     583566 |     441746 |     539784 |     483479 |     454383 |     583724 |
17.97/6.79	c (0,0) c | PropPreBlocker|       117334473 |   17095070 |   12794693 |   16611137 |   12523551 |   17351752 |   11954182 |   12155871 |   16848217 |
17.97/6.79	c (0,0) c | PropNotBlocker|        24812148 |    3350856 |    2679009 |    3410348 |    2662822 |    3240121 |    2990437 |    2876699 |    3601856 |
17.97/6.79	c (0,0) c | LitFullScans  |       168120154 |   24002106 |   18107717 |   24001826 |   18000885 |   24002780 |   18001933 |   18000526 |   24002381 |
17.97/6.79	c (0,0) c | LitScanFracts |            5731 |        617 |        303 |        875 |        712 |       1632 |        631 |        526 |        435 |
17.97/6.79	c (0,0) c | DecisionLevel0|              29 |          2 |          6 |          3 |          5 |          2 |          3 |          3 |          5 |
17.97/6.79	c (0,0) c | Periods       |              28 |          4 |          3 |          4 |          3 |          4 |          3 |          3 |          4 |
17.97/6.79	c (0,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
17.97/6.79	c (0,0) c | Avg_Trail     |                 |        389 |        355 |        367 |        370 |        358 |        408 |        418 |        351 |
17.97/6.79	c (0,0) c | Avg_DL        |                 |         33 |         15 |         20 |         24 |         22 |         22 |         21 |         13 |
17.97/6.79	c (0,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
17.97/6.79	c (0,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
17.97/6.79	c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
17.97/6.79	c (0,0) c | Exported      |            1667 |        266 |         12 |        538 |         56 |        369 |         59 |         12 |        355 |
17.97/6.79	c (0,0) c | Imported      |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
17.97/6.79	c (0,0) c | Good          |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
17.97/6.79	c (0,0) c | Purge         |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
17.97/6.79	c (0,0) c | Promoted      |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
17.97/6.79	c (0,0) c | Remove_Imp    |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
17.97/6.79	c (0,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
17.97/6.79	c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
17.97/6.79	c (0,0) c | Unaries       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
17.97/6.79	c (0,0) c | Binaries      |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
17.97/6.79	c (0,0) c | Glues         |                 |         10 |         12 |         17 |         10 |         11 |         22 |         12 |         15 |
17.97/6.79	c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
17.97/6.79	c (0,0) c | Orig_Seen     |            25 % |       9737 |      10161 |       8976 |       8592 |       6468 |       9793 |      10741 |      10768 |
17.97/6.79	c (0,0) c | Diff Orig seen|                 | -      424 |      X     | -     1185 | -     1569 | -     3693 | -      368 |        580 |        607 |
17.97/6.79	c (0,0) c | Hamming       |            33 % |        308 |      X     |        294 |        328 |        352 |        322 |        341 |        279 |
17.97/6.79	c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
17.97/6.79	c (0,0) c | RunningTime   |                 |    0.2 100%|    0.2 100%|    0.2 100%|    0.2 100%|    0.2 100%|    0.2 100%|    0.2 100%|    0.2 100%|
17.97/6.79	c (0,0) c | WaitingTime   |                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
17.97/6.79	c (0,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%|
17.97/6.79	c (0,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%|
17.97/6.79	c (0,0) c | SolvingTime   |                 |    0.2     |    0.2     |    0.2     |    0.2     |    0.2     |    0.2     |    0.2     |    0.2     |
17.97/6.79	c (0,0) c | PropagationTim|                 |    0.2  82%|    0.1  83%|    0.2  80%|    0.1  82%|    0.2  82%|    0.1  82%|    0.1  82%|    0.2  82%|
17.97/6.79	c (0,0) c | AnalysisTime  |                 |    0.0  14%|    0.0  13%|    0.0  15%|    0.0  14%|    0.0  15%|    0.0  14%|    0.0  14%|    0.0  14%|
17.97/6.79	c (0,0) c | ReductionTime |                 |    0.0   0%|    0.0   0%|    0.0   2%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
17.97/6.79	c (0,0) c | SimplifyTime  |                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
17.97/6.79	c (0,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%|
17.97/6.79	c (0,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%|
17.97/6.79	c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
17.97/6.79	c (0,0) c
17.97/6.79	c (0,0) c
17.97/6.79	c (0,0) c Threads : 8
17.97/6.79	c (0,0) c Winner : 1
17.97/6.79	c (0,0) c Conflicts_0 : 5740
17.97/6.79	c (0,0) c Conflicts_1 : 4897
17.97/6.79	c (0,0) c Conflicts_2 : 6850
17.97/6.79	c (0,0) c Conflicts_3 : 5150
17.97/6.79	c (0,0) c Conflicts_4 : 6016
17.97/6.79	c (0,0) c Conflicts_5 : 5090
17.97/6.79	c (0,0) c Conflicts_6 : 4971
17.97/6.79	c (0,0) c Conflicts_7 : 6491
17.97/6.79	c (0,0) c Conflicts_total : 45205
17.97/6.79	c (0,0) c Conflicts_winner : 4897
17.97/6.79	c (0,0) c Decisions_0 : 6957
17.97/6.79	c (0,0) c Decisions_1 : 6002
17.97/6.79	c (0,0) c Decisions_2 : 8432
17.97/6.79	c (0,0) c Decisions_3 : 6248
17.97/6.79	c (0,0) c Decisions_4 : 7272
17.97/6.79	c (0,0) c Decisions_5 : 6350
17.97/6.79	c (0,0) c Decisions_6 : 6187
17.97/6.79	c (0,0) c Decisions_7 : 7923
17.97/6.79	c (0,0) c Decisions_total : 55371
17.97/6.79	c (0,0) c Decisions_winner : 6002
17.97/6.79	c (0,0) c Propagations_0 : 571812
17.97/6.79	c (0,0) c Propagations_1 : 454264
17.97/6.79	c (0,0) c Propagations_2 : 595582
17.97/6.79	c (0,0) c Propagations_3 : 451363
17.97/6.79	c (0,0) c Propagations_4 : 562835
17.97/6.79	c (0,0) c Propagations_5 : 497111
17.97/6.79	c (0,0) c Propagations_6 : 471891
17.97/6.79	c (0,0) c Propagations_7 : 598162
17.97/6.79	c (0,0) c Propagations_total : 4203020
17.97/6.79	c (0,0) c Propagations_winner : 454264
17.97/6.79	c (0,0) c ReduceDBs_0 : 1
17.97/6.79	c (0,0) c ReduceDBs_1 : 1
17.97/6.79	c (0,0) c ReduceDBs_2 : 2
17.97/6.79	c (0,0) c ReduceDBs_3 : 1
17.97/6.79	c (0,0) c ReduceDBs_4 : 1
17.97/6.79	c (0,0) c ReduceDBs_5 : 1
17.97/6.79	c (0,0) c ReduceDBs_6 : 1
17.97/6.79	c (0,0) c ReduceDBs_7 : 1
17.97/6.79	c (0,0) c ReduceDBs_total : 9
17.97/6.80	c (0,0) c ReduceDBs_winner : 1
17.97/6.80	c (0,0) c SimpDBs_0 : 1
17.97/6.80	c (0,0) c SimpDBs_1 : 1
17.97/6.80	c (0,0) c SimpDBs_2 : 1
17.97/6.80	c (0,0) c SimpDBs_3 : 1
17.97/6.80	c (0,0) c SimpDBs_4 : 1
17.97/6.80	c (0,0) c SimpDBs_5 : 1
17.97/6.80	c (0,0) c SimpDBs_6 : 1
17.97/6.80	c (0,0) c SimpDBs_7 : 1
17.97/6.80	c (0,0) c SimpDBs_total : 8
17.97/6.80	c (0,0) c SimpDBs_winner : 1
17.97/6.80	c (0,0) c Restarts_0 : 2
17.97/6.80	c (0,0) c Restarts_1 : 6
17.97/6.80	c (0,0) c Restarts_2 : 3
17.97/6.80	c (0,0) c Restarts_3 : 5
17.97/6.80	c (0,0) c Restarts_4 : 2
17.97/6.80	c (0,0) c Restarts_5 : 3
17.97/6.80	c (0,0) c Restarts_6 : 3
17.97/6.80	c (0,0) c Restarts_7 : 5
17.97/6.80	c (0,0) c Restarts_total : 29
17.97/6.80	c (0,0) c Restarts_winner : 6
17.97/6.80	c (0,0) c ForcedImports_0 : 0
17.97/6.80	c (0,0) c ForcedImports_1 : 0
17.97/6.80	c (0,0) c ForcedImports_2 : 0
17.97/6.80	c (0,0) c ForcedImports_3 : 0
17.97/6.80	c (0,0) c ForcedImports_4 : 0
17.97/6.80	c (0,0) c ForcedImports_5 : 0
17.97/6.80	c (0,0) c ForcedImports_6 : 0
17.97/6.80	c (0,0) c ForcedImports_7 : 0
17.97/6.80	c (0,0) c ForcedImports_total : 0
17.97/6.80	c (0,0) c ForcedImports_winner : 0
17.97/6.80	c (0,0) c PropsBinClauses_0 : 547558
17.97/6.80	c (0,0) c PropsBinClauses_1 : 445376
17.97/6.80	c (0,0) c PropsBinClauses_2 : 583566
17.97/6.80	c (0,0) c PropsBinClauses_3 : 441746
17.97/6.80	c (0,0) c PropsBinClauses_4 : 539784
17.97/6.80	c (0,0) c PropsBinClauses_5 : 483479
17.97/6.80	c (0,0) c PropsBinClauses_6 : 454383
17.97/6.80	c (0,0) c PropsBinClauses_7 : 583724
17.97/6.80	c (0,0) c PropsBinClauses_total : 4079616
17.97/6.80	c (0,0) c PropsBinClauses_winner : 445376
17.97/6.80	c (0,0) c PropsPreBlocker_0 : 17095070
17.97/6.80	c (0,0) c PropsPreBlocker_1 : 12794693
17.97/6.80	c (0,0) c PropsPreBlocker_2 : 16611137
17.97/6.80	c (0,0) c PropsPreBlocker_3 : 12523551
17.97/6.80	c (0,0) c PropsPreBlocker_4 : 17351752
19.55/6.80	c (0,0) c PropsPreBlocker_5 : 11954182
19.55/6.80	c (0,0) c PropsPreBlocker_6 : 12155871
19.55/6.80	c (0,0) c PropsPreBlocker_7 : 16848217
19.55/6.80	c (0,0) c PropsPreBlocker_total : 117334473
19.55/6.80	c (0,0) c PropsPreBlocker_winner : 12794693
19.55/6.80	c (0,0) c PropsNotBlocker_0 : 3350856
19.55/6.80	c (0,0) c PropsNotBlocker_1 : 2679009
19.55/6.80	c (0,0) c PropsNotBlocker_2 : 3410348
19.55/6.80	c (0,0) c PropsNotBlocker_3 : 2662822
19.55/6.80	c (0,0) c PropsNotBlocker_4 : 3240121
19.55/6.80	c (0,0) c PropsNotBlocker_5 : 2990437
19.55/6.80	c (0,0) c PropsNotBlocker_6 : 2876699
19.55/6.80	c (0,0) c PropsNotBlocker_7 : 3601856
19.55/6.80	c (0,0) c PropsNotBlocker_total : 24812148
19.55/6.80	c (0,0) c PropsNotBlocker_winner : 2679009
19.55/6.80	c (0,0) c PropsLitFullScans_0 : 24002106
19.55/6.80	c (0,0) c PropsLitFullScans_1 : 18107717
19.55/6.80	c (0,0) c PropsLitFullScans_2 : 24001826
19.55/6.80	c (0,0) c PropsLitFullScans_3 : 18000885
19.55/6.80	c (0,0) c PropsLitFullScans_4 : 24002780
19.55/6.80	c (0,0) c PropsLitFullScans_5 : 18001933
19.55/6.80	c (0,0) c PropsLitFullScans_6 : 18000526
19.55/6.80	c (0,0) c PropsLitFullScans_7 : 24002381
19.55/6.80	c (0,0) c PropsLitFullScans_total : 168120154
19.55/6.80	c (0,0) c PropsLitFullScans_winner : 18107717
19.55/6.80	c (0,0) c LitScanFractions_0 : 617
19.55/6.80	c (0,0) c LitScanFractions_1 : 303
19.55/6.80	c (0,0) c LitScanFractions_2 : 875
19.55/6.80	c (0,0) c LitScanFractions_3 : 712
19.55/6.80	c (0,0) c LitScanFractions_4 : 1632
19.55/6.80	c (0,0) c LitScanFractions_5 : 631
19.55/6.80	c (0,0) c LitScanFractions_6 : 526
19.55/6.80	c (0,0) c LitScanFractions_7 : 435
19.55/6.80	c (0,0) c LitScanFractions_total : 5731
19.55/6.80	c (0,0) c LitScanFractions_winner : 303
19.55/6.80	c (0,0) c DecisionLevel0_0 : 2
19.55/6.80	c (0,0) c DecisionLevel0_1 : 6
19.55/6.80	c (0,0) c DecisionLevel0_2 : 3
19.55/6.80	c (0,0) c DecisionLevel0_3 : 5
19.55/6.80	c (0,0) c DecisionLevel0_4 : 2
19.55/6.80	c (0,0) c DecisionLevel0_5 : 3
19.55/6.80	c (0,0) c DecisionLevel0_6 : 3
19.55/6.80	c (0,0) c DecisionLevel0_7 : 5
19.55/6.80	c (0,0) c DecisionLevel0_total : 29
19.55/6.80	c (0,0) c DecisionLevel0_winner : 6
19.55/6.80	c (0,0) c Periods_0 : 4
19.55/6.80	c (0,0) c Periods_1 : 3
19.55/6.80	c (0,0) c Periods_2 : 4
19.55/6.80	c (0,0) c Periods_3 : 3
19.55/6.80	c (0,0) c Periods_4 : 4
19.55/6.80	c (0,0) c Periods_5 : 3
19.55/6.80	c (0,0) c Periods_6 : 3
19.55/6.80	c (0,0) c Periods_7 : 4
19.55/6.80	c (0,0) c Periods_total : 28
19.55/6.80	c (0,0) c Periods_winner : 3
19.55/6.80	c (0,0) c Margin_0 : 20
19.55/6.80	c (0,0) c Margin_1 : 20
19.55/6.80	c (0,0) c Margin_2 : 20
19.55/6.80	c (0,0) c Margin_3 : 20
19.55/6.80	c (0,0) c Margin_4 : 20
19.55/6.80	c (0,0) c Margin_5 : 20
19.55/6.80	c (0,0) c Margin_6 : 20
19.55/6.80	c (0,0) c Margin_7 : 20
19.55/6.80	c (0,0) c Margin_total : 160
19.55/6.80	c (0,0) c Margin_winner : 20
19.55/6.80	c (0,0) c Exported_0 : 266
19.55/6.80	c (0,0) c Exported_1 : 12
19.55/6.80	c (0,0) c Exported_2 : 538
19.55/6.80	c (0,0) c Exported_3 : 56
19.55/6.80	c (0,0) c Exported_4 : 369
19.55/6.80	c (0,0) c Exported_5 : 59
19.55/6.80	c (0,0) c Exported_6 : 12
19.55/6.80	c (0,0) c Exported_7 : 355
19.55/6.80	c (0,0) c Exported_total : 1667
19.55/6.80	c (0,0) c Exported_winner : 12
19.55/6.80	c (0,0) c Imported_0 : 0
19.55/6.80	c (0,0) c Imported_1 : 0
19.55/6.80	c (0,0) c Imported_2 : 0
19.55/6.80	c (0,0) c Imported_3 : 0
19.55/6.80	c (0,0) c Imported_4 : 0
19.55/6.80	c (0,0) c Imported_5 : 0
19.55/6.80	c (0,0) c Imported_6 : 0
19.55/6.80	c (0,0) c Imported_7 : 0
19.55/6.80	c (0,0) c Imported_total : 0
19.55/6.80	c (0,0) c Imported_winner : 0
19.55/6.80	c (0,0) c Good_0 : 0
19.55/6.80	c (0,0) c Good_1 : 0
19.55/6.80	c (0,0) c Good_2 : 0
19.55/6.80	c (0,0) c Good_3 : 0
19.55/6.80	c (0,0) c Good_4 : 0
19.55/6.80	c (0,0) c Good_5 : 0
19.55/6.80	c (0,0) c Good_6 : 0
19.55/6.80	c (0,0) c Good_7 : 0
19.55/6.80	c (0,0) c Good_total : 0
19.55/6.80	c (0,0) c Good_winner : 0
19.55/6.80	c (0,0) c Purge_0 : 0
19.55/6.80	c (0,0) c Purge_1 : 0
19.55/6.80	c (0,0) c Purge_2 : 0
19.55/6.80	c (0,0) c Purge_3 : 0
19.55/6.80	c (0,0) c Purge_4 : 0
19.55/6.80	c (0,0) c Purge_5 : 0
19.55/6.80	c (0,0) c Purge_6 : 0
19.55/6.80	c (0,0) c Purge_7 : 0
19.55/6.80	c (0,0) c Purge_total : 0
19.55/6.80	c (0,0) c Purge_winner : 0
19.55/6.80	c (0,0) c Promoted_0 : 0
19.55/6.80	c (0,0) c Promoted_1 : 0
19.55/6.80	c (0,0) c Promoted_2 : 0
19.55/6.80	c (0,0) c Promoted_3 : 0
19.55/6.80	c (0,0) c Promoted_4 : 0
19.55/6.80	c (0,0) c Promoted_5 : 0
19.55/6.80	c (0,0) c Promoted_6 : 0
19.55/6.80	c (0,0) c Promoted_7 : 0
19.55/6.80	c (0,0) c Promoted_total : 0
19.55/6.80	c (0,0) c Promoted_winner : 0
19.55/6.80	c (0,0) c Remove_Imp_0 : 0
19.55/6.80	c (0,0) c Remove_Imp_1 : 0
19.55/6.80	c (0,0) c Remove_Imp_2 : 0
19.55/6.80	c (0,0) c Remove_Imp_3 : 0
19.55/6.80	c (0,0) c Remove_Imp_4 : 0
19.55/6.80	c (0,0) c Remove_Imp_5 : 0
19.55/6.80	c (0,0) c Remove_Imp_6 : 0
19.55/6.80	c (0,0) c Remove_Imp_7 : 0
19.55/6.80	c (0,0) c Remove_Imp_total : 0
19.55/6.80	c (0,0) c Remove_Imp_winner : 0
19.55/6.80	c (0,0) c Blocked_Reuse_0 : 0
19.55/6.80	c (0,0) c Blocked_Reuse_1 : 0
19.55/6.80	c (0,0) c Blocked_Reuse_2 : 0
19.55/6.80	c (0,0) c Blocked_Reuse_3 : 0
19.55/6.80	c (0,0) c Blocked_Reuse_4 : 0
19.55/6.80	c (0,0) c Blocked_Reuse_5 : 0
19.55/6.80	c (0,0) c Blocked_Reuse_6 : 0
19.55/6.80	c (0,0) c Blocked_Reuse_7 : 0
19.55/6.80	c (0,0) c Blocked_Reuse_total : 0
19.55/6.80	c (0,0) c Blocked_Reuse_winner : 0
19.55/6.80	c (0,0) c Unaries_0 : 0
19.55/6.80	c (0,0) c Unaries_1 : 0
19.55/6.80	c (0,0) c Unaries_2 : 0
19.55/6.80	c (0,0) c Unaries_3 : 0
19.55/6.80	c (0,0) c Unaries_4 : 0
19.55/6.80	c (0,0) c Unaries_5 : 0
19.55/6.80	c (0,0) c Unaries_6 : 0
19.55/6.80	c (0,0) c Unaries_7 : 0
19.55/6.80	c (0,0) c Unaries_total : 0
19.55/6.80	c (0,0) c Unaries_winner : 0
19.55/6.80	c (0,0) c Binaries_0 : 0
19.55/6.80	c (0,0) c Binaries_1 : 0
19.55/6.80	c (0,0) c Binaries_2 : 0
19.55/6.80	c (0,0) c Binaries_3 : 0
19.55/6.80	c (0,0) c Binaries_4 : 0
19.55/6.80	c (0,0) c Binaries_5 : 0
19.55/6.80	c (0,0) c Binaries_6 : 0
19.55/6.80	c (0,0) c Binaries_7 : 0
19.55/6.80	c (0,0) c Binaries_total : 0
19.55/6.80	c (0,0) c Binaries_winner : 0
19.55/6.80	c (0,0) c Glues_0 : 10
19.55/6.80	c (0,0) c Glues_1 : 12
19.55/6.80	c (0,0) c Glues_2 : 17
19.55/6.80	c (0,0) c Glues_3 : 10
19.55/6.80	c (0,0) c Glues_4 : 11
19.55/6.80	c (0,0) c Glues_5 : 22
19.55/6.80	c (0,0) c Glues_6 : 12
19.55/6.80	c (0,0) c Glues_7 : 15
19.55/6.80	c (0,0) c Glues_total : 109
19.55/6.80	c (0,0) c Glues_winner : 12
19.55/6.80	c (0,0) c RunningTime_0 : 0.215406
19.55/6.80	c (0,0) c RunningTime_1 : 0.166685
19.55/6.80	c (0,0) c RunningTime_2 : 0.216284
19.55/6.80	c (0,0) c RunningTime_3 : 0.168461
19.55/6.80	c (0,0) c RunningTime_4 : 0.202724
19.55/6.80	c (0,0) c RunningTime_5 : 0.179170
19.55/6.80	c (0,0) c RunningTime_6 : 0.175031
19.55/6.80	c (0,0) c RunningTime_7 : 0.212561
19.55/6.80	c (0,0) c RunningTime_total : 1.536321
19.55/6.80	c (0,0) c RunningTime_winner : 0.166685
19.55/6.80	c (0,0) c WaitingTime_0 : 0.000000
19.55/6.80	c (0,0) c WaitingTime_1 : 0.000000
19.55/6.80	c (0,0) c WaitingTime_2 : 0.000000
19.55/6.80	c (0,0) c WaitingTime_3 : 0.000000
19.55/6.80	c (0,0) c WaitingTime_4 : 0.000000
19.55/6.80	c (0,0) c WaitingTime_5 : 0.000000
19.55/6.80	c (0,0) c WaitingTime_6 : 0.000000
19.55/6.80	c (0,0) c WaitingTime_7 : 0.000000
19.55/6.80	c (0,0) c WaitingTime_total : 0.000000
19.55/6.80	c (0,0) c WaitingTime_winner : 0.000000
19.55/6.80	c (0,0) c ExchangingTime_0 : 0.000242
19.55/6.80	c (0,0) c ExchangingTime_1 : 0.000221
19.55/6.80	c (0,0) c ExchangingTime_2 : 0.000319
19.55/6.80	c (0,0) c ExchangingTime_3 : 0.000256
19.55/6.80	c (0,0) c ExchangingTime_4 : 0.000278
19.55/6.80	c (0,0) c ExchangingTime_5 : 0.000272
19.55/6.80	c (0,0) c ExchangingTime_6 : 0.000212
19.55/6.80	c (0,0) c ExchangingTime_7 : 0.000278
19.55/6.80	c (0,0) c ExchangingTime_total : 0.002077
19.55/6.80	c (0,0) c ExchangingTime_winner : 0.000221
19.55/6.80	c (0,0) c PeriodProcTime_0 : 0.000026
19.55/6.80	c (0,0) c PeriodProcTime_1 : 0.000012
19.55/6.80	c (0,0) c PeriodProcTime_2 : 0.000015
19.55/6.80	c (0,0) c PeriodProcTime_3 : 0.000014
19.55/6.80	c (0,0) c PeriodProcTime_4 : 0.000049
19.55/6.80	c (0,0) c PeriodProcTime_5 : 0.000012
19.55/6.80	c (0,0) c PeriodProcTime_6 : 0.000011
19.55/6.80	c (0,0) c PeriodProcTime_7 : 0.000021
19.55/6.80	c (0,0) c PeriodProcTime_total : 0.000159
19.55/6.80	c (0,0) c PeriodProcTime_winner : 0.000012
19.55/6.80	c (0,0) c SolvingTime_0 : 0.215673
19.55/6.80	c (0,0) c SolvingTime_1 : 0.166918
19.55/6.80	c (0,0) c SolvingTime_2 : 0.216617
19.55/6.80	c (0,0) c SolvingTime_3 : 0.168731
19.55/6.80	c (0,0) c SolvingTime_4 : 0.203050
19.55/6.80	c (0,0) c SolvingTime_5 : 0.179454
19.55/6.80	c (0,0) c SolvingTime_6 : 0.175254
19.55/6.80	c (0,0) c SolvingTime_7 : 0.212860
19.55/6.80	c (0,0) c SolvingTime_total : 1.538558
19.55/6.80	c (0,0) c SolvingTime_winner : 0.166918
19.55/6.80	c (0,0) c PropagationTime_0 : 0.177753
19.55/6.80	c (0,0) c PropagationTime_1 : 0.138503
19.55/6.80	c (0,0) c PropagationTime_2 : 0.172806
19.55/6.80	c (0,0) c PropagationTime_3 : 0.138415
19.55/6.80	c (0,0) c PropagationTime_4 : 0.165663
19.55/6.80	c (0,0) c PropagationTime_5 : 0.147753
19.55/6.80	c (0,0) c PropagationTime_6 : 0.143489
19.55/6.80	c (0,0) c PropagationTime_7 : 0.174282
19.55/6.80	c (0,0) c PropagationTime_total : 1.258664
19.55/6.80	c (0,0) c PropagationTime_winner : 0.138503
19.55/6.80	c (0,0) c AnalysisTime_0 : 0.029461
19.55/6.80	c (0,0) c AnalysisTime_1 : 0.021916
19.55/6.80	c (0,0) c AnalysisTime_2 : 0.031806
19.55/6.80	c (0,0) c AnalysisTime_3 : 0.023960
19.55/6.80	c (0,0) c AnalysisTime_4 : 0.029863
19.55/6.80	c (0,0) c AnalysisTime_5 : 0.024364
19.55/6.80	c (0,0) c AnalysisTime_6 : 0.024806
19.55/6.80	c (0,0) c AnalysisTime_7 : 0.030445
19.55/6.80	c (0,0) c AnalysisTime_total : 0.216620
19.55/6.80	c (0,0) c AnalysisTime_winner : 0.021916
19.55/6.80	c (0,0) c ReductionTime_0 : 0.000309
19.55/6.80	c (0,0) c ReductionTime_1 : 0.000298
19.55/6.80	c (0,0) c ReductionTime_2 : 0.004120
19.55/6.80	c (0,0) c ReductionTime_3 : 0.000313
19.55/6.80	c (0,0) c ReductionTime_4 : 0.000330
19.55/6.80	c (0,0) c ReductionTime_5 : 0.000319
19.55/6.80	c (0,0) c ReductionTime_6 : 0.000308
19.55/6.80	c (0,0) c ReductionTime_7 : 0.000312
19.55/6.80	c (0,0) c ReductionTime_total : 0.006309
19.55/6.80	c (0,0) c ReductionTime_winner : 0.000298
19.55/6.80	c (0,0) c SimplifyTime_0 : 0.000000
19.55/6.80	c (0,0) c SimplifyTime_1 : 0.000000
19.55/6.80	c (0,0) c SimplifyTime_2 : 0.000000
19.55/6.80	c (0,0) c SimplifyTime_3 : 0.000000
19.55/6.80	c (0,0) c SimplifyTime_4 : 0.000002
19.55/6.80	c (0,0) c SimplifyTime_5 : 0.000000
19.55/6.80	c (0,0) c SimplifyTime_6 : 0.000000
19.55/6.80	c (0,0) c SimplifyTime_7 : 0.000000
19.55/6.80	c (0,0) c SimplifyTime_total : 0.000002
19.55/6.80	c (0,0) c SimplifyTime_winner : 0.000000
19.55/6.80	c (0,0) c UsedRateTime_0 : 0.000000
19.55/6.81	c (0,0) c UsedRateTime_1 : 0.000000
19.55/6.81	c (0,0) c UsedRateTime_2 : 0.000000
19.55/6.81	c (0,0) c UsedRateTime_3 : 0.000000
19.55/6.81	c (0,0) c UsedRateTime_4 : 0.000000
19.55/6.81	c (0,0) c UsedRateTime_5 : 0.000000
19.55/6.81	c (0,0) c UsedRateTime_6 : 0.000000
19.55/6.81	c (0,0) c UsedRateTime_7 : 0.000000
19.55/6.81	c (0,0) c UsedRateTime_total : 0.000000
19.55/6.81	c (0,0) c UsedRateTime_winner : 0.000000
19.55/6.81	c (0,0) c OverlapRateTime_0 : 0.000000
19.55/6.81	c (0,0) c OverlapRateTime_1 : 0.000000
19.55/6.81	c (0,0) c OverlapRateTime_2 : 0.000000
19.55/6.81	c (0,0) c OverlapRateTime_3 : 0.000000
19.55/6.81	c (0,0) c OverlapRateTime_4 : 0.000000
19.55/6.81	c (0,0) c OverlapRateTime_5 : 0.000000
19.55/6.81	c (0,0) c OverlapRateTime_6 : 0.000000
19.55/6.81	c (0,0) c OverlapRateTime_7 : 0.000000
19.55/6.81	c (0,0) c OverlapRateTime_total : 0.000000
19.55/6.81	c (0,0) c OverlapRateTime_winner : 0.000000
19.55/6.81	c (0,0) c
19.55/6.81	c (0,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
19.55/6.81	c (0,0) c
19.55/6.81	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
19.55/6.81	c (0,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
19.55/6.81	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
19.55/6.81	c (0,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
19.55/6.81	c (0,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
19.55/6.81	c (0,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
19.55/6.81	c (0,0) c | Initial random_seed   | 1423095042 |  321122546 |  661552271 |  106066119 | 1760814296 |  523201872 | 1937757103 | 1912474114 |
19.55/6.81	c (0,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
19.55/6.81	c (0,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
19.55/6.81	c (0,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
19.55/6.81	c (0,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
19.55/6.81	c (0,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
19.55/6.81	c (0,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
19.55/6.81	c (0,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
19.55/6.81	c (0,0) c | var_decay             |     0.8100 |     0.8000 |     0.8100 |     0.8100 |     0.8100 |     0.8100 |     0.8000 |     0.8100 |
19.55/6.81	c (0,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
19.55/6.81	c (0,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
19.55/6.81	c (0,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
19.55/6.81	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
19.55/6.81	c (0,0) 
19.55/6.81	c (0,0) s SATISFIABLE
19.55/6.82	c (0,0) SatSolver.solve End
19.55/6.82	c (0,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
19.55/6.82	c (0,0) Show results Begin
19.55/6.90	c (0,0) x[0] = 19
19.55/6.90	c (0,0) x[1] = 11
19.55/6.90	c (0,0) x[2] = 5
19.55/6.90	c (0,0) x[3] = 20
19.55/6.90	c (0,0) x[4] = 8
19.55/6.90	c (0,0) x[5] = 8
19.55/6.90	c (0,0) x[6] = 10
19.55/6.90	c (0,0) x[7] = 8
19.55/6.90	c (0,0) x[8] = 1
19.55/6.90	c (0,0) x[9] = 7
19.55/6.90	c (0,0) x[10] = 2
19.55/6.90	c (0,0) x[11] = 1
19.55/6.90	c (0,0) x[12] = 4
19.55/6.90	c (0,0) x[13] = 15
19.55/6.90	c (0,0) x[14] = 10
19.55/6.90	c (0,0) x[15] = 15
19.55/6.90	c (0,0) x[16] = 20
19.55/6.90	c (0,0) x[17] = 15
19.55/6.90	c (0,0) x[18] = 1
19.55/6.90	c (0,0) x[19] = 15
19.55/6.90	c (0,0) x[20] = 9
19.55/6.90	c (0,0) x[21] = 3
19.55/6.90	c (0,0) x[22] = 15
19.55/6.90	c (0,0) x[23] = 13
19.55/6.90	c (0,0) x[24] = 7
19.55/6.90	c (0,0) x[25] = 4
19.55/6.90	c (0,0) x[26] = 20
19.55/6.90	c (0,0) x[27] = 4
19.55/6.90	c (0,0) x[28] = 8
19.55/6.90	c (0,0) x[29] = 5
19.55/6.90	c (0,0) x[30] = 9
19.55/6.90	c (0,0) x[31] = 6
19.55/6.90	c (0,0) x[32] = 2
19.55/6.90	c (0,0) x[33] = 5
19.55/6.90	c (0,0) x[34] = 8
19.55/6.90	c (0,0) x[35] = 17
19.55/6.90	c (0,0) x[36] = 17
19.55/6.90	c (0,0) x[37] = 11
19.55/6.90	c (0,0) x[38] = 17
19.55/6.90	c (0,0) x[39] = 15
19.55/6.90	c (0,0) x[40] = 11
19.55/6.90	c (0,0) x[41] = 11
19.55/6.90	c (0,0) x[42] = 16
19.55/6.90	c (0,0) x[43] = 1
19.55/6.90	c (0,0) x[44] = 15
19.55/6.90	c (0,0) x[45] = 4
19.55/6.90	c (0,0) x[46] = 3
19.55/6.90	c (0,0) x[47] = 20
19.55/6.90	c (0,0) x[48] = 18
19.55/6.90	c (0,0) x[49] = 15
19.55/6.90	s SATISFIABLE
19.75/6.91	v <instantiation>
19.75/6.91	v     <list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49]</list>
19.75/6.91	v     <values>19 11 5 20 8 8 10 8 1 7 2 1 4 15 10 15 20 15 1 15 9 3 15 13 7 4 20 4 8 5 9 6 2 5 8 17 17 11 17 15 11 11 16 1 15 4 3 20 18 15</values>
19.75/6.91	v </instantiation>
19.75/6.91	c (0,0) Show results End
19.75/6.91	c (0,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 18 MiB used (max 0 MiB)
19.75/6.91	c (0,0) 0,0,STOP-AFTER(ALL)
19.75/6.91	c END-Prog: Tue Sep 24 16:39:18 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 (14071 MiB free)
  memory of node 1: 16384 MiB (10984 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4405131-1569335992/watcher-4405131-1569335992 -o /var/tmp/evaluation-result-4405131-1569335992/solver-4405131-1569335992 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node140-1569335937-9287 --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-4405131-1569335992.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=9425, runsolver pid=9422
Current StackSize limit: 8192 KiB


[startup+0.100355 s]*
/proc/loadavg: 1.36 0.31 0.14 2/211 9447
/proc/meminfo: memFree=25562472/32770624 swapFree=66997504/67108860
[pid=9425] ppid=9422 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/9425/stat : 9425 (scop.sh) S 9422 9425 9260 0 -1 4202496 555 320 0 0 0 0 0 0 20 0 1 0 509537556 115843072 349 33554432000 4194304 5098028 140725879421792 140725879419048 140179870745212 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 9297920 140725879427837 140725879428184 140725879428184 140725879431113 0
/proc/9425/statm: 28282 349 297 221 0 87 0
[pid=9428] ppid=9425 vsize=27314120 memory=106616 CPUtime=0.11 cores=0-7
/proc/9428/stat : 9428 (java) S 9425 9425 9260 0 -1 1077944320 6164 0 0 0 8 3 0 0 20 0 20 0 509537556 27969658880 26654 33554432000 4194304 4196468 140731011825456 140731011808000 140281434631927 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 15269888 140731011834568 140731011835014 140731011835014 140731011837903 0
/proc/9428/statm: 6828530 26654 2817 1 0 6790935 0
[pid=9428/tid=9429] ppid=9425 vsize=27314120 memory=4134692831991783777 CPUtime=0.09 cores=0-7
/proc/9428/task/9429/stat : 9429 (java) R 9425 9425 9260 0 -1 4202560 4260 0 0 0 7 2 0 0 20 0 20 0 509537556 27969658880 26654 33554432000 4194304 4196468 140731011825456 140281406445440 140281434653853 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15269888 140731011834568 140731011835014 140731011835014 140731011837903 0
[pid=9428/tid=9430] ppid=9425 vsize=27314120 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/9428/task/9430/stat : 9430 (java) S 9425 9425 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509537558 27969658880 26654 33554432000 4194304 4196468 140731011825456 140281438874256 140281434642133 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15269888 140731011834568 140731011835014 140731011835014 140731011837903 0
[pid=9428/tid=9431] ppid=9425 vsize=27314120 memory=140353587881600 CPUtime=0 cores=0-7
/proc/9428/task/9431/stat : 9431 (java) S 9425 9425 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509537558 27969658880 26654 33554432000 4194304 4196468 140731011825456 140281222269456 140281434642133 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15269888 140731011834568 140731011835014 140731011835014 140731011837903 0
[pid=9428/tid=9432] ppid=9425 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9428/task/9432/stat : 9432 (java) S 9425 9425 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509537559 27969658880 26654 33554432000 4194304 4196468 140731011825456 140281221216656 140281434642133 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15269888 140731011834568 140731011835014 140731011835014 140731011837903 0
[pid=9428/tid=9433] ppid=9425 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9428/task/9433/stat : 9433 (java) S 9425 9425 9260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509537559 27969658880 26654 33554432000 4194304 4196468 140731011825456 140281220163856 140281434642133 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15269888 140731011834568 140731011835014 140731011835014 140731011837903 0
[pid=9428/tid=9434] ppid=9425 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9428/task/9434/stat : 9434 (java) S 9425 9425 9260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509537559 27969658880 26654 33554432000 4194304 4196468 140731011825456 140281219112080 140281434642133 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15269888 140731011834568 140731011835014 140731011835014 140731011837903 0
[pid=9428/tid=9435] ppid=9425 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/9428/task/9435/stat : 9435 (java) S 9425 9425 9260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509537559 27969658880 26654 33554432000 4194304 4196468 140731011825456 140281218059280 140281434642133 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15269888 140731011834568 140731011835014 140731011835014 140731011837903 0
[pid=9428/tid=9436] ppid=9425 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9428/task/9436/stat : 9436 (java) S 9425 9425 9260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509537559 27969658880 26654 33554432000 4194304 4196468 140731011825456 140281217006480 140281434642133 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15269888 140731011834568 140731011835014 140731011835014 140731011837903 0
[pid=9428/tid=9437] ppid=9425 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9428/task/9437/stat : 9437 (java) S 9425 9425 9260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509537559 27969658880 26654 33554432000 4194304 4196468 140731011825456 140280850275088 140281434642133 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15269888 140731011834568 140731011835014 140731011835014 140731011837903 0
[pid=9428/tid=9438] ppid=9425 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9428/task/9438/stat : 9438 (java) S 9425 9425 9260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509537560 27969658880 26654 33554432000 4194304 4196468 140731011825456 140279821605232 140281434643074 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15269888 140731011834568 140731011835014 140731011835014 140731011837903 0
[pid=9428/tid=9439] ppid=9425 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9428/task/9439/stat : 9439 (java) S 9425 9425 9260 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 509537561 27969658880 26654 33554432000 4194304 4196468 140731011825456 140279269024800 140281434642133 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15269888 140731011834568 140731011835014 140731011835014 140731011837903 0
[pid=9428/tid=9440] ppid=9425 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9428/task/9440/stat : 9440 (java) S 9425 9425 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509537561 27969658880 26654 33554432000 4194304 4196468 140731011825456 140279000589168 140281434642133 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15269888 140731011834568 140731011835014 140731011835014 140731011837903 0
[pid=9428/tid=9441] ppid=9425 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9428/task/9441/stat : 9441 (java) S 9425 9425 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509537563 27969658880 26654 33554432000 4194304 4196468 140731011825456 140278626080592 140281434650523 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15269888 140731011834568 140731011835014 140731011835014 140731011837903 0
[pid=9428/tid=9442] ppid=9425 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9428/task/9442/stat : 9442 (java) S 9425 9425 9260 0 -1 1077944384 296 0 0 0 0 0 0 0 20 0 20 0 509537563 27969658880 27166 33554432000 4194304 4196468 140731011825456 140279820553072 140281434643074 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15269888 140731011834568 140731011835014 140731011835014 140731011837903 0
[pid=9428/tid=9443] ppid=9425 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9428/task/9443/stat : 9443 (java) S 9425 9425 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509537563 27969658880 27166 33554432000 4194304 4196468 140731011825456 140279819500272 140281434643074 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15269888 140731011834568 140731011835014 140731011835014 140731011837903 0
[pid=9428/tid=9444] ppid=9425 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9428/task/9444/stat : 9444 (java) S 9425 9425 9260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509537563 27969658880 27166 33554432000 4194304 4196468 140731011825456 140279818447472 140281434643074 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15269888 140731011834568 140731011835014 140731011835014 140731011837903 0
[pid=9428/tid=9445] ppid=9425 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9428/task/9445/stat : 9445 (java) S 9425 9425 9260 0 -1 1077944384 271 0 0 0 0 0 0 0 20 0 20 0 509537563 27969658880 27166 33554432000 4194304 4196468 140731011825456 140279817394672 140281434643074 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15269888 140731011834568 140731011835014 140731011835014 140731011837903 0
[pid=9428/tid=9446] ppid=9425 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9428/task/9446/stat : 9446 (java) S 9425 9425 9260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509537564 27969658880 27166 33554432000 4194304 4196468 140731011825456 140278128175712 140281434642133 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15269888 140731011834568 140731011835014 140731011835014 140731011837903 0
[pid=9428/tid=9447] ppid=9425 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/9428/task/9447/stat : 9447 (java) S 9425 9425 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509537564 27969658880 27166 33554432000 4194304 4196468 140731011825456 140279816342064 140281434643074 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15269888 140731011834568 140731011835014 140731011835014 140731011837903 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 108012 KiB

[startup+0.210465 s]*
/proc/loadavg: 1.36 0.31 0.14 2/211 9447
/proc/meminfo: memFree=25541060/32770624 swapFree=66997504/67108860
[pid=9425] ppid=9422 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/9425/stat : 9425 (scop.sh) S 9422 9425 9260 0 -1 4202496 555 320 0 0 0 0 0 0 20 0 1 0 509537556 115843072 349 33554432000 4194304 5098028 140725879421792 140725879419048 140179870745212 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 9297920 140725879427837 140725879428184 140725879428184 140725879431113 0
/proc/9425/statm: 28282 349 297 221 0 87 0
[pid=9428] ppid=9425 vsize=27314120 memory=125348 CPUtime=0.25 cores=0-7
/proc/9428/stat : 9428 (java) S 9425 9425 9260 0 -1 1077944320 11633 0 0 0 20 5 0 0 20 0 20 0 509537556 27969658880 31337 33554432000 4194304 4196468 140731011825456 140731011808000 140281434631927 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 15269888 140731011834568 140731011835014 140731011835014 140731011837903 0
/proc/9428/statm: 6828530 31337 2936 1 0 6790935 0
[pid=9428/tid=9429] ppid=9425 vsize=27314120 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/9428/task/9429/stat : 9429 (java) R 9425 9425 9260 0 -1 4202560 9352 0 0 0 16 3 0 0 20 0 20 0 509537556 27969658880 31337 33554432000 4194304 4196468 140731011825456 140281406452832 140281419797502 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15269888 140731011834568 140731011835014 140731011835014 140731011837903 0
[pid=9428/tid=9430] ppid=9425 vsize=27314120 memory=339 CPUtime=0 cores=0-7
/proc/9428/task/9430/stat : 9430 (java) S 9425 9425 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509537558 27969658880 31337 33554432000 4194304 4196468 140731011825456 140281438874256 140281434642133 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15269888 140731011834568 140731011835014 140731011835014 140731011837903 0
[pid=9428/tid=9431] ppid=9425 vsize=27314120 memory=140353587891279 CPUtime=0 cores=0-7
/proc/9428/task/9431/stat : 9431 (java) S 9425 9425 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509537558 27969658880 31337 33554432000 4194304 4196468 140731011825456 140281222269456 140281434642133 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15269888 140731011834568 140731011835014 140731011835014 140731011837903 0
[pid=9428/tid=9432] ppid=9425 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/9428/task/9432/stat : 9432 (java) S 9425 9425 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509537559 27969658880 31337 33554432000 4194304 4196468 140731011825456 140281221216656 140281434642133 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15269888 140731011834568 140731011835014 140731011835014 140731011837903 0
[pid=9428/tid=9433] ppid=9425 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9428/task/9433/stat : 9433 (java) S 9425 9425 9260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509537559 27969658880 31337 33554432000 4194304 4196468 140731011825456 140281220163856 140281434642133 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15269888 140731011834568 140731011835014 140731011835014 140731011837903 0
[pid=9428/tid=9434] ppid=9425 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9428/task/9434/stat : 9434 (java) S 9425 9425 9260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509537559 27969658880 31337 33554432000 4194304 4196468 140731011825456 140281219112080 140281434642133 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15269888 140731011834568 140731011835014 140731011835014 140731011837903 0
[pid=9428/tid=9435] ppid=9425 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/9428/task/9435/stat : 9435 (java) S 9425 9425 9260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509537559 27969658880 31337 33554432000 4194304 4196468 140731011825456 140281218059280 140281434642133 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15269888 140731011834568 140731011835014 140731011835014 140731011837903 0
[pid=9428/tid=9436] ppid=9425 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9428/task/9436/stat : 9436 (java) S 9425 9425 9260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509537559 27969658880 31337 33554432000 4194304 4196468 140731011825456 140281217006480 140281434642133 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15269888 140731011834568 140731011835014 140731011835014 140731011837903 0
[pid=9428/tid=9437] ppid=9425 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9428/task/9437/stat : 9437 (java) S 9425 9425 9260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509537559 27969658880 31337 33554432000 4194304 4196468 140731011825456 140280850275088 140281434642133 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15269888 140731011834568 140731011835014 140731011835014 140731011837903 0
[pid=9428/tid=9438] ppid=9425 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9428/task/9438/stat : 9438 (java) S 9425 9425 9260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509537560 27969658880 31337 33554432000 4194304 4196468 140731011825456 140279821605232 140281434643074 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15269888 140731011834568 140731011835014 140731011835014 140731011837903 0
[pid=9428/tid=9439] ppid=9425 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9428/task/9439/stat : 9439 (java) S 9425 9425 9260 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 509537561 27969658880 31337 33554432000 4194304 4196468 140731011825456 140279269024800 140281434642133 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15269888 140731011834568 140731011835014 140731011835014 140731011837903 0
[pid=9428/tid=9440] ppid=9425 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9428/task/9440/stat : 9440 (java) S 9425 9425 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509537561 27969658880 31337 33554432000 4194304 4196468 140731011825456 140279000589168 140281434642133 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15269888 140731011834568 140731011835014 140731011835014 140731011837903 0
[pid=9428/tid=9441] ppid=9425 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9428/task/9441/stat : 9441 (java) S 9425 9425 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509537563 27969658880 31337 33554432000 4194304 4196468 140731011825456 140278626080592 140281434650523 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15269888 140731011834568 140731011835014 140731011835014 140731011837903 0
[pid=9428/tid=9442] ppid=9425 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9428/task/9442/stat : 9442 (java) S 9425 9425 9260 0 -1 1077944384 296 0 0 0 0 0 0 0 20 0 20 0 509537563 27969658880 31337 33554432000 4194304 4196468 140731011825456 140279820553072 140281434643074 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15269888 140731011834568 140731011835014 140731011835014 140731011837903 0
[pid=9428/tid=9443] ppid=9425 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9428/task/9443/stat : 9443 (java) S 9425 9425 9260 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 20 0 509537563 27969658880 31337 33554432000 4194304 4196468 140731011825456 140279819500272 140281434643074 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15269888 140731011834568 140731011835014 140731011835014 140731011837903 0
[pid=9428/tid=9444] ppid=9425 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/9428/task/9444/stat : 9444 (java) S 9425 9425 9260 0 -1 1077944384 146 0 0 0 0 0 0 0 20 0 20 0 509537563 27969658880 31337 33554432000 4194304 4196468 140731011825456 140279818447472 140281434643074 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15269888 140731011834568 140731011835014 140731011835014 140731011837903 0
[pid=9428/tid=9445] ppid=9425 vsize=27314120 memory=-1 CPUtime=0.02 cores=0-7
/proc/9428/task/9445/stat : 9445 (java) S 9425 9425 9260 0 -1 1077944384 461 0 0 0 2 0 0 0 20 0 20 0 509537563 27969658880 31337 33554432000 4194304 4196468 140731011825456 140279817394672 140281434643074 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15269888 140731011834568 140731011835014 140731011835014 140731011837903 0
[pid=9428/tid=9446] ppid=9425 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9428/task/9446/stat : 9446 (java) S 9425 9425 9260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509537564 27969658880 31337 33554432000 4194304 4196468 140731011825456 140278128175712 140281434642133 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15269888 140731011834568 140731011835014 140731011835014 140731011837903 0
[pid=9428/tid=9447] ppid=9425 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/9428/task/9447/stat : 9447 (java) S 9425 9425 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509537564 27969658880 31337 33554432000 4194304 4196468 140731011825456 140279816342064 140281434643074 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15269888 140731011834568 140731011835014 140731011835014 140731011837903 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 126744 KiB

[startup+0.310385 s]*
/proc/loadavg: 1.36 0.31 0.14 2/211 9447
/proc/meminfo: memFree=25538144/32770624 swapFree=66997504/67108860
[pid=9425] ppid=9422 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/9425/stat : 9425 (scop.sh) S 9422 9425 9260 0 -1 4202496 555 320 0 0 0 0 0 0 20 0 1 0 509537556 115843072 349 33554432000 4194304 5098028 140725879421792 140725879419048 140179870745212 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 9297920 140725879427837 140725879428184 140725879428184 140725879431113 0
/proc/9425/statm: 28282 349 297 221 0 87 0
[pid=9428] ppid=9425 vsize=27314120 memory=129572 CPUtime=0.43 cores=0-7
/proc/9428/stat : 9428 (java) S 9425 9425 9260 0 -1 1077944320 12771 0 0 0 37 6 0 0 20 0 20 0 509537556 27969658880 32393 33554432000 4194304 4196468 140731011825456 140731011808000 140281434631927 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 15269888 140731011834568 140731011835014 140731011835014 140731011837903 0
/proc/9428/statm: 6828530 32393 3034 1 0 6790935 0
[pid=9428/tid=9429] ppid=9425 vsize=27314120 memory=8112282956445269571 CPUtime=0.29 cores=0-7
/proc/9428/task/9429/stat : 9429 (java) R 9425 9425 9260 0 -1 4202560 10295 0 0 0 25 4 0 0 20 0 20 0 509537556 27969658880 32393 33554432000 4194304 4196468 140731011825456 140281406462000 140281414908752 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15269888 140731011834568 140731011835014 140731011835014 140731011837903 0
[pid=9428/tid=9430] ppid=9425 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9428/task/9430/stat : 9430 (java) S 9425 9425 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509537558 27969658880 32393 33554432000 4194304 4196468 140731011825456 140281438874256 140281434642133 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15269888 140731011834568 140731011835014 140731011835014 140731011837903 0
[pid=9428/tid=9431] ppid=9425 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9428/task/9431/stat : 9431 (java) S 9425 9425 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509537558 27969658880 32393 33554432000 4194304 4196468 140731011825456 140281222269456 140281434642133 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15269888 140731011834568 140731011835014 140731011835014 140731011837903 0
[pid=9428/tid=9432] ppid=9425 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9428/task/9432/stat : 9432 (java) S 9425 9425 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509537559 27969658880 32393 33554432000 4194304 4196468 140731011825456 140281221216656 140281434642133 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15269888 140731011834568 140731011835014 140731011835014 140731011837903 0
[pid=9428/tid=9433] ppid=9425 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9428/task/9433/stat : 9433 (java) S 9425 9425 9260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509537559 27969658880 32393 33554432000 4194304 4196468 140731011825456 140281220163856 140281434642133 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15269888 140731011834568 140731011835014 140731011835014 140731011837903 0
[pid=9428/tid=9434] ppid=9425 vsize=27314120 memory=2244 CPUtime=0 cores=0-7
/proc/9428/task/9434/stat : 9434 (java) S 9425 9425 9260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509537559 27969658880 32393 33554432000 4194304 4196468 140731011825456 140281219112080 140281434642133 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15269888 140731011834568 140731011835014 140731011835014 140731011837903 0
[pid=9428/tid=9435] ppid=9425 vsize=27314120 memory=140353491530671 CPUtime=0 cores=0-7
/proc/9428/task/9435/stat : 9435 (java) S 9425 9425 9260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509537559 27969658880 32393 33554432000 4194304 4196468 140731011825456 140281218059280 140281434642133 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15269888 140731011834568 140731011835014 140731011835014 140731011837903 0
[pid=9428/tid=9436] ppid=9425 vsize=27314120 memory=140353491532976 CPUtime=0 cores=0-7
/proc/9428/task/9436/stat : 9436 (java) S 9425 9425 9260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509537559 27969658880 32393 33554432000 4194304 4196468 140731011825456 140281217006480 140281434642133 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15269888 140731011834568 140731011835014 140731011835014 140731011837903 0
[pid=9428/tid=9437] ppid=9425 vsize=27314120 memory=140353491535280 CPUtime=0 cores=0-7
/proc/9428/task/9437/stat : 9437 (java) S 9425 9425 9260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509537559 27969658880 32393 33554432000 4194304 4196468 140731011825456 140280850275088 140281434642133 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15269888 140731011834568 140731011835014 140731011835014 140731011837903 0
[pid=9428/tid=9438] ppid=9425 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9428/task/9438/stat : 9438 (java) S 9425 9425 9260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509537560 27969658880 32393 33554432000 4194304 4196468 140731011825456 140279821605232 140281434643074 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15269888 140731011834568 140731011835014 140731011835014 140731011837903 0
[pid=9428/tid=9439] ppid=9425 vsize=27314120 memory=280706983077520 CPUtime=0 cores=0-7
/proc/9428/task/9439/stat : 9439 (java) S 9425 9425 9260 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 509537561 27969658880 32393 33554432000 4194304 4196468 140731011825456 140279269024800 140281434642133 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15269888 140731011834568 140731011835014 140731011835014 140731011837903 0
[pid=9428/tid=9440] ppid=9425 vsize=27314120 memory=280706983084432 CPUtime=0 cores=0-7
/proc/9428/task/9440/stat : 9440 (java) S 9425 9425 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509537561 27969658880 32393 33554432000 4194304 4196468 140731011825456 140279000589168 140281434642133 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15269888 140731011834568 140731011835014 140731011835014 140731011837903 0
[pid=9428/tid=9441] ppid=9425 vsize=27314120 memory=280706983025584 CPUtime=0 cores=0-7
/proc/9428/task/9441/stat : 9441 (java) S 9425 9425 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509537563 27969658880 32393 33554432000 4194304 4196468 140731011825456 140278626080592 140281434650523 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15269888 140731011834568 140731011835014 140731011835014 140731011837903 0
[pid=9428/tid=9442] ppid=9425 vsize=27314120 memory=280706983098256 CPUtime=0 cores=0-7
/proc/9428/task/9442/stat : 9442 (java) S 9425 9425 9260 0 -1 1077944384 307 0 0 0 0 0 0 0 20 0 20 0 509537563 27969658880 32393 33554432000 4194304 4196468 140731011825456 140279820553072 140281434643074 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15269888 140731011834568 140731011835014 140731011835014 140731011837903 0
[pid=9428/tid=9443] ppid=9425 vsize=27314120 memory=280706983105168 CPUtime=0.01 cores=0-7
/proc/9428/task/9443/stat : 9443 (java) S 9425 9425 9260 0 -1 1077944384 83 0 0 0 1 0 0 0 20 0 20 0 509537563 27969658880 32393 33554432000 4194304 4196468 140731011825456 140279819500272 140281434643074 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15269888 140731011834568 140731011835014 140731011835014 140731011837903 0
[pid=9428/tid=9444] ppid=9425 vsize=27314120 memory=280706983102864 CPUtime=0.01 cores=0-7
/proc/9428/task/9444/stat : 9444 (java) R 9425 9425 9260 0 -1 4202560 238 0 0 0 1 0 0 0 20 0 20 0 509537563 27969658880 32393 33554432000 4194304 4196468 140731011825456 140279818447472 140281418130792 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15269888 140731011834568 140731011835014 140731011835014 140731011837903 0
[pid=9428/tid=9445] ppid=9425 vsize=27314120 memory=280706983119024 CPUtime=0.07 cores=0-7
/proc/9428/task/9445/stat : 9445 (java) S 9425 9425 9260 0 -1 1077944384 512 0 0 0 7 0 0 0 20 0 20 0 509537563 27969658880 32393 33554432000 4194304 4196468 140731011825456 140279817394672 140281434643074 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15269888 140731011834568 140731011835014 140731011835014 140731011837903 0
[pid=9428/tid=9446] ppid=9425 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9428/task/9446/stat : 9446 (java) S 9425 9425 9260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509537564 27969658880 32393 33554432000 4194304 4196468 140731011825456 140278128175712 140281434642133 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15269888 140731011834568 140731011835014 140731011835014 140731011837903 0
[pid=9428/tid=9447] ppid=9425 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/9428/task/9447/stat : 9447 (java) S 9425 9425 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509537564 27969658880 32393 33554432000 4194304 4196468 140731011825456 140279816342064 140281434643074 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15269888 140731011834568 140731011835014 140731011835014 140731011837903 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 130968 KiB

[startup+0.701716 s]
/proc/loadavg: 1.36 0.31 0.14 2/211 9447
/proc/meminfo: memFree=25517048/32770624 swapFree=66997504/67108860
[pid=9425] ppid=9422 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/9425/stat : 9425 (scop.sh) S 9422 9425 9260 0 -1 4202496 555 320 0 0 0 0 0 0 20 0 1 0 509537556 115843072 349 33554432000 4194304 5098028 140725879421792 140725879419048 140179870745212 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 9297920 140725879427837 140725879428184 140725879428184 140725879431113 0
/proc/9425/statm: 28282 349 297 221 0 87 0
[pid=9428] ppid=9425 vsize=27320392 memory=165772 CPUtime=1.02 cores=0-7
/proc/9428/stat : 9428 (java) S 9425 9425 9260 0 -1 1077944320 19997 0 0 0 94 8 0 0 20 0 20 0 509537556 27976081408 41443 33554432000 4194304 4196468 140731011825456 140731011808000 140281434631927 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 15269888 140731011834568 140731011835014 140731011835014 140731011837903 0
/proc/9428/statm: 6830098 41443 3183 1 0 6791447 0
[pid=9428/tid=9429] ppid=9425 vsize=27320392 memory=280706983476912 CPUtime=0.67 cores=0-7
/proc/9428/task/9429/stat : 9429 (java) R 9425 9425 9260 0 -1 4202560 16854 0 0 0 62 5 0 0 20 0 20 0 509537556 27976081408 41443 33554432000 4194304 4196468 140731011825456 140281406467296 140281434653853 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15269888 140731011834568 140731011835014 140731011835014 140731011837903 0
[pid=9428/tid=9430] ppid=9425 vsize=27320392 memory=140353491739504 CPUtime=0 cores=0-7
/proc/9428/task/9430/stat : 9430 (java) S 9425 9425 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509537558 27976081408 41443 33554432000 4194304 4196468 140731011825456 140281438874256 140281434642133 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15269888 140731011834568 140731011835014 140731011835014 140731011837903 0
[pid=9428/tid=9431] ppid=9425 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/9428/task/9431/stat : 9431 (java) S 9425 9425 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509537558 27976081408 41443 33554432000 4194304 4196468 140731011825456 140281222269456 140281434642133 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15269888 140731011834568 140731011835014 140731011835014 140731011837903 0
[pid=9428/tid=9432] ppid=9425 vsize=27320392 memory=6124 CPUtime=0 cores=0-7
/proc/9428/task/9432/stat : 9432 (java) S 9425 9425 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509537559 27976081408 41443 33554432000 4194304 4196468 140731011825456 140281221216656 140281434642133 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15269888 140731011834568 140731011835014 140731011835014 140731011837903 0

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

# the end of solver process 9425 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=19.2024 s, system=0.599526 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+6.4011 s]
/proc/loadavg: 1.57 0.37 0.16 3/211 9467
/proc/meminfo: memFree=25608696/32770624 swapFree=66997504/67108860
[pid=9425] ppid=9422 vsize=113128 memory=1472 CPUtime=16.8 cores=0-7
/proc/9425/stat : 9425 (scop.sh) S 9422 9425 9260 0 -1 4202496 582 37046 0 0 0 0 1638 42 20 0 1 0 509537556 115843072 368 33554432000 4194304 5098028 140725879421792 140725879418536 140179870745212 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 9297920 140725879427837 140725879428184 140725879428184 140725879431113 0
/proc/9425/statm: 28282 368 311 221 0 87 0
[pid=9448] ppid=9425 vsize=7754336 memory=95672 CPUtime=0.83 cores=0-7
/proc/9448/stat : 9448 (java) S 9425 9425 9260 0 -1 1077944320 18194 0 0 0 76 7 0 0 20 0 20 0 509538134 7940440064 23918 33554432000 4194304 4196468 140726559696016 140726559678560 140522527792887 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 32960512 140726559699936 140726559700102 140726559700102 140726559702991 0
/proc/9448/statm: 1938584 23918 3115 1 0 1900463 0
[pid=9448/tid=9449] ppid=9425 vsize=7754336 memory=4136 CPUtime=0.59 cores=0-7
/proc/9448/task/9449/stat : 9449 (java) R 9425 9425 9260 0 -1 4202560 15791 0 0 0 54 5 0 0 20 0 20 0 509538135 7940440064 23918 33554432000 4194304 4196468 140726559696016 140522499596208 140522508068715 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32960512 140726559699936 140726559700102 140726559700102 140726559702991 0
[pid=9448/tid=9450] ppid=9425 vsize=7754336 memory=1408 CPUtime=0 cores=0-7
/proc/9448/task/9450/stat : 9450 (java) S 9425 9425 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509538136 7940440064 23918 33554432000 4194304 4196468 140726559696016 140522532035728 140522527803093 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32960512 140726559699936 140726559700102 140726559700102 140726559702991 0
[pid=9448/tid=9451] ppid=9425 vsize=7754336 memory=2560 CPUtime=0 cores=0-7
/proc/9448/task/9451/stat : 9451 (java) S 9425 9425 9260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509538136 7940440064 23918 33554432000 4194304 4196468 140726559696016 140522012970000 140522527803093 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32960512 140726559699936 140726559700102 140726559700102 140726559702991 0
[pid=9448/tid=9452] ppid=9425 vsize=7754336 memory=1396 CPUtime=0 cores=0-7
/proc/9448/task/9452/stat : 9452 (java) S 9425 9425 9260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509538136 7940440064 23918 33554432000 4194304 4196468 140726559696016 140522011917200 140522527803093 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32960512 140726559699936 140726559700102 140726559700102 140726559702991 0
[pid=9448/tid=9453] ppid=9425 vsize=7754336 memory=0 CPUtime=0 cores=0-7
/proc/9448/task/9453/stat : 9453 (java) S 9425 9425 9260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509538136 7940440064 23918 33554432000 4194304 4196468 140726559696016 140522010864400 140522527803093 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32960512 140726559699936 140726559700102 140726559700102 140726559702991 0
[pid=9448/tid=9454] ppid=9425 vsize=7754336 memory=280706983752864 CPUtime=0 cores=0-7
/proc/9448/task/9454/stat : 9454 (java) S 9425 9425 9260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509538136 7940440064 23918 33554432000 4194304 4196468 140726559696016 140522009811600 140522527803093 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32960512 140726559699936 140726559700102 140726559700102 140726559702991 0
[pid=9448/tid=9455] ppid=9425 vsize=7754336 memory=3472328296160571440 CPUtime=0 cores=0-7
/proc/9448/task/9455/stat : 9455 (java) S 9425 9425 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509538136 7940440064 23918 33554432000 4194304 4196468 140726559696016 140522008758800 140522527803093 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32960512 140726559699936 140726559700102 140726559700102 140726559702991 0
[pid=9448/tid=9456] ppid=9425 vsize=7754336 memory=6943526294502006880 CPUtime=0 cores=0-7
/proc/9448/task/9456/stat : 9456 (java) S 9425 9425 9260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509538136 7940440064 23918 33554432000 4194304 4196468 140726559696016 140522007706000 140522527803093 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32960512 140726559699936 140726559700102 140726559700102 140726559702991 0
[pid=9448/tid=9457] ppid=9425 vsize=7754336 memory=0 CPUtime=0 cores=0-7
/proc/9448/task/9457/stat : 9457 (java) S 9425 9425 9260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509538136 7940440064 23918 33554432000 4194304 4196468 140726559696016 140522006653200 140522527803093 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32960512 140726559699936 140726559700102 140726559700102 140726559702991 0
[pid=9448/tid=9458] ppid=9425 vsize=7754336 memory=140355236266400 CPUtime=0 cores=0-7
/proc/9448/task/9458/stat : 9458 (java) S 9425 9425 9260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509538137 7940440064 23918 33554432000 4194304 4196468 140726559696016 140521755503472 140522527804034 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32960512 140726559699936 140726559700102 140726559700102 140726559702991 0
[pid=9448/tid=9459] ppid=9425 vsize=7754336 memory=140355236266429 CPUtime=0 cores=0-7
/proc/9448/task/9459/stat : 9459 (java) S 9425 9425 9260 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 509538138 7940440064 23918 33554432000 4194304 4196468 140726559696016 140520995153440 140522527803093 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32960512 140726559699936 140726559700102 140726559700102 140726559702991 0
[pid=9448/tid=9460] ppid=9425 vsize=7754336 memory=140355236266431 CPUtime=0 cores=0-7
/proc/9448/task/9460/stat : 9460 (java) S 9425 9425 9260 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 509538138 7940440064 23918 33554432000 4194304 4196468 140726559696016 140520860931440 140522527803093 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32960512 140726559699936 140726559700102 140726559700102 140726559702991 0
[pid=9448/tid=9461] ppid=9425 vsize=7754336 memory=140355236266531 CPUtime=0 cores=0-7
/proc/9448/task/9461/stat : 9461 (java) S 9425 9425 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509538140 7940440064 23918 33554432000 4194304 4196468 140726559696016 140520486426960 140522527811483 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32960512 140726559699936 140726559700102 140726559700102 140726559702991 0
[pid=9448/tid=9462] ppid=9425 vsize=7754336 memory=140355236266554 CPUtime=0.04 cores=0-7
/proc/9448/task/9462/stat : 9462 (java) S 9425 9425 9260 0 -1 1077944384 542 0 0 0 4 0 0 0 20 0 20 0 509538140 7940440064 23918 33554432000 4194304 4196468 140726559696016 140521754450288 140522527804034 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32960512 140726559699936 140726559700102 140726559700102 140726559702991 0
[pid=9448/tid=9463] ppid=9425 vsize=7754336 memory=140355236266555 CPUtime=0.02 cores=0-7
/proc/9448/task/9463/stat : 9463 (java) R 9425 9425 9260 0 -1 4202560 93 0 0 0 2 0 0 0 20 0 20 0 509538140 7940440064 23918 33554432000 4194304 4196468 140726559696016 140521753397584 140522512701820 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32960512 140726559699936 140726559700102 140726559700102 140726559702991 0
[pid=9448/tid=9464] ppid=9425 vsize=7754336 memory=140355236266562 CPUtime=0.01 cores=0-7
/proc/9448/task/9464/stat : 9464 (java) S 9425 9425 9260 0 -1 1077944384 30 0 0 0 1 0 0 0 20 0 20 0 509538140 7940440064 23918 33554432000 4194304 4196468 140726559696016 140521752344688 140522527804034 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32960512 140726559699936 140726559700102 140726559700102 140726559702991 0
[pid=9448/tid=9465] ppid=9425 vsize=7754336 memory=140355236266564 CPUtime=0.13 cores=0-7
/proc/9448/task/9465/stat : 9465 (java) S 9425 9425 9260 0 -1 1077944384 380 0 0 0 13 0 0 0 20 0 20 0 509538140 7940440064 23918 33554432000 4194304 4196468 140726559696016 140521751291888 140522527804034 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32960512 140726559699936 140726559700102 140726559700102 140726559702991 0
[pid=9448/tid=9466] ppid=9425 vsize=7754336 memory=140355236266574 CPUtime=0 cores=0-7
/proc/9448/task/9466/stat : 9466 (java) S 9425 9425 9260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509538141 7940440064 23918 33554432000 4194304 4196468 140726559696016 140519988522080 140522527803093 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32960512 140726559699936 140726559700102 140726559700102 140726559702991 0
[pid=9448/tid=9467] ppid=9425 vsize=7754336 memory=0 CPUtime=0 cores=0-7
/proc/9448/task/9467/stat : 9467 (java) S 9425 9425 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509538141 7940440064 23918 33554432000 4194304 4196468 140726559696016 140521750240304 140522527804034 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32960512 140726559699936 140726559700102 140726559700102 140726559702991 0
Current children cumulated CPU time: 17.63 s
Current children cumulated vsize: 7867464 KiB
Current children cumulated memory: 97144 KiB

[startup+6.80084 s]
/proc/loadavg: 1.57 0.37 0.16 3/211 9467
/proc/meminfo: memFree=25608696/32770624 swapFree=66997504/67108860
[pid=9425] ppid=9422 vsize=113128 memory=1472 CPUtime=16.8 cores=0-7
/proc/9425/stat : 9425 (scop.sh) S 9422 9425 9260 0 -1 4202496 582 37046 0 0 0 0 1638 42 20 0 1 0 509537556 115843072 368 33554432000 4194304 5098028 140725879421792 140725879418536 140179870745212 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 9297920 140725879427837 140725879428184 140725879428184 140725879431113 0
/proc/9425/statm: 28282 368 311 221 0 87 0
[pid=9448] ppid=9425 vsize=8414124 memory=120348 CPUtime=2.75 cores=0-7
/proc/9448/stat : 9448 (java) S 9425 9425 9260 0 -1 1077944320 20090 6425 0 0 111 8 150 6 20 0 23 0 509538134 8616062976 30087 33554432000 4194304 4196468 140726559696016 140726559678560 140522527792887 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 32960512 140726559699936 140726559700102 140726559700102 140726559702991 0
/proc/9448/statm: 2103531 30087 3197 1 0 2064875 0
[pid=9448/tid=9449] ppid=9425 vsize=8414124 memory=1220 CPUtime=2.31 cores=0-7
/proc/9448/task/9449/stat : 9449 (java) S 9425 9425 9260 0 -1 1077944384 16938 6425 0 0 70 5 150 6 20 0 23 0 509538135 8616062976 30087 33554432000 4194304 4196468 140726559696016 140522499633056 140522527803093 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32960512 140726559699936 140726559700102 140726559700102 140726559702991 0
[pid=9448/tid=9450] ppid=9425 vsize=8414124 memory=14004 CPUtime=1.56 cores=0-7
/proc/9448/task/9450/stat : 9450 (java) S 9425 9425 9260 0 -1 1077944384 1 6425 0 0 0 0 150 6 20 0 23 0 509538136 8616062976 30087 33554432000 4194304 4196468 140726559696016 140522532035728 140522527803093 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32960512 140726559699936 140726559700102 140726559700102 140726559702991 0
[pid=9448/tid=9451] ppid=9425 vsize=8414124 memory=14060 CPUtime=1.56 cores=0-7
/proc/9448/task/9451/stat : 9451 (java) S 9425 9425 9260 0 -1 1077944384 2 6425 0 0 0 0 150 6 20 0 23 0 509538136 8616062976 30087 33554432000 4194304 4196468 140726559696016 140522012970000 140522527803093 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32960512 140726559699936 140726559700102 140726559700102 140726559702991 0
[pid=9448/tid=9452] ppid=9425 vsize=8414124 memory=2116 CPUtime=1.56 cores=0-7
/proc/9448/task/9452/stat : 9452 (java) S 9425 9425 9260 0 -1 1077944384 2 6425 0 0 0 0 150 6 20 0 23 0 509538136 8616062976 30087 33554432000 4194304 4196468 140726559696016 140522011917200 140522527803093 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32960512 140726559699936 140726559700102 140726559700102 140726559702991 0
[pid=9448/tid=9453] ppid=9425 vsize=8414124 memory=32928 CPUtime=1.56 cores=0-7
/proc/9448/task/9453/stat : 9453 (java) S 9425 9425 9260 0 -1 1077944384 3 6425 0 0 0 0 150 6 20 0 23 0 509538136 8616062976 30087 33554432000 4194304 4196468 140726559696016 140522010864400 140522527803093 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32960512 140726559699936 140726559700102 140726559700102 140726559702991 0
[pid=9448/tid=9454] ppid=9425 vsize=8414124 memory=532 CPUtime=1.56 cores=0-7
/proc/9448/task/9454/stat : 9454 (java) S 9425 9425 9260 0 -1 1077944384 2 6425 0 0 0 0 150 6 20 0 23 0 509538136 8616062976 30087 33554432000 4194304 4196468 140726559696016 140522009811600 140522527803093 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32960512 140726559699936 140726559700102 140726559700102 140726559702991 0
[pid=9448/tid=9455] ppid=9425 vsize=8414124 memory=1556 CPUtime=1.56 cores=0-7
/proc/9448/task/9455/stat : 9455 (java) S 9425 9425 9260 0 -1 1077944384 1 6425 0 0 0 0 150 6 20 0 23 0 509538136 8616062976 30087 33554432000 4194304 4196468 140726559696016 140522008758800 140522527803093 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32960512 140726559699936 140726559700102 140726559700102 140726559702991 0
[pid=9448/tid=9456] ppid=9425 vsize=8414124 memory=932 CPUtime=1.56 cores=0-7
/proc/9448/task/9456/stat : 9456 (java) S 9425 9425 9260 0 -1 1077944384 2 6425 0 0 0 0 150 6 20 0 23 0 509538136 8616062976 30087 33554432000 4194304 4196468 140726559696016 140522007706000 140522527803093 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32960512 140726559699936 140726559700102 140726559700102 140726559702991 0
[pid=9448/tid=9457] ppid=9425 vsize=8414124 memory=3680 CPUtime=1.56 cores=0-7
/proc/9448/task/9457/stat : 9457 (java) S 9425 9425 9260 0 -1 1077944384 2 6425 0 0 0 0 150 6 20 0 23 0 509538136 8616062976 30087 33554432000 4194304 4196468 140726559696016 140522006653200 140522527803093 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32960512 140726559699936 140726559700102 140726559700102 140726559702991 0
[pid=9448/tid=9458] ppid=9425 vsize=8414124 memory=836 CPUtime=1.56 cores=0-7
/proc/9448/task/9458/stat : 9458 (java) S 9425 9425 9260 0 -1 1077944384 5 6425 0 0 0 0 150 6 20 0 23 0 509538137 8616062976 30087 33554432000 4194304 4196468 140726559696016 140521755503472 140522527804034 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32960512 140726559699936 140726559700102 140726559700102 140726559702991 0
[pid=9448/tid=9459] ppid=9425 vsize=8414124 memory=1436 CPUtime=1.56 cores=0-7
/proc/9448/task/9459/stat : 9459 (java) S 9425 9425 9260 0 -1 1077944384 13 6425 0 0 0 0 150 6 20 0 23 0 509538138 8616062976 30087 33554432000 4194304 4196468 140726559696016 140520995153440 140522527803093 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32960512 140726559699936 140726559700102 140726559700102 140726559702991 0
[pid=9448/tid=9460] ppid=9425 vsize=8414124 memory=1720 CPUtime=1.56 cores=0-7
/proc/9448/task/9460/stat : 9460 (java) S 9425 9425 9260 0 -1 1077944384 21 6425 0 0 0 0 150 6 20 0 23 0 509538138 8616062976 30087 33554432000 4194304 4196468 140726559696016 140520860931440 140522527803093 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32960512 140726559699936 140726559700102 140726559700102 140726559702991 0
[pid=9448/tid=9461] ppid=9425 vsize=8414124 memory=1980 CPUtime=1.56 cores=0-7
/proc/9448/task/9461/stat : 9461 (java) S 9425 9425 9260 0 -1 1077944384 1 6425 0 0 0 0 150 6 20 0 23 0 509538140 8616062976 30087 33554432000 4194304 4196468 140726559696016 140520486426960 140522527811483 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32960512 140726559699936 140726559700102 140726559700102 140726559702991 0
[pid=9448/tid=9462] ppid=9425 vsize=8414124 memory=2540 CPUtime=1.63 cores=0-7
/proc/9448/task/9462/stat : 9462 (java) S 9425 9425 9260 0 -1 1077944384 742 6425 0 0 7 0 150 6 20 0 23 0 509538140 8616062976 30087 33554432000 4194304 4196468 140726559696016 140521754450288 140522527804034 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32960512 140726559699936 140726559700102 140726559700102 140726559702991 0
[pid=9448/tid=9463] ppid=9425 vsize=8414124 memory=1760 CPUtime=1.63 cores=0-7
/proc/9448/task/9463/stat : 9463 (java) S 9425 9425 9260 0 -1 1077944384 273 6425 0 0 7 0 150 6 20 0 23 0 509538140 8616062976 30087 33554432000 4194304 4196468 140726559696016 140521753397488 140522527804034 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32960512 140726559699936 140726559700102 140726559700102 140726559702991 0
[pid=9448/tid=9464] ppid=9425 vsize=8414124 memory=111636 CPUtime=1.6 cores=0-7
/proc/9448/task/9464/stat : 9464 (java) S 9425 9425 9260 0 -1 1077944384 140 6425 0 0 4 0 150 6 20 0 23 0 509538140 8616062976 30087 33554432000 4194304 4196468 140726559696016 140521752344688 140522527804034 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32960512 140726559699936 140726559700102 140726559700102 140726559702991 0
[pid=9448/tid=9465] ppid=9425 vsize=8414124 memory=804 CPUtime=1.76 cores=0-7
/proc/9448/task/9465/stat : 9465 (java) R 9425 9425 9260 0 -1 4202560 577 6425 0 0 20 0 150 6 20 0 23 0 509538140 8616062976 30087 33554432000 4194304 4196468 140726559696016 140521751291888 140522520889723 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32960512 140726559699936 140726559700102 140726559700102 140726559702991 0
[pid=9448/tid=9466] ppid=9425 vsize=8414124 memory=4096 CPUtime=1.56 cores=0-7
/proc/9448/task/9466/stat : 9466 (java) S 9425 9425 9260 0 -1 1077944384 3 6425 0 0 0 0 150 6 20 0 23 0 509538141 8616062976 30087 33554432000 4194304 4196468 140726559696016 140519988522080 140522527803093 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32960512 140726559699936 140726559700102 140726559700102 140726559702991 0
[pid=9448/tid=9467] ppid=9425 vsize=8414124 memory=1808 CPUtime=1.56 cores=0-7
/proc/9448/task/9467/stat : 9467 (java) S 9425 9425 9260 0 -1 1077944384 1 6425 0 0 0 0 150 6 20 0 23 0 509538141 8616062976 30087 33554432000 4194304 4196468 140726559696016 140521750240304 140522527804034 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32960512 140726559699936 140726559700102 140726559700102 140726559702991 0
Current children cumulated CPU time: 19.55 s
Current children cumulated vsize: 8527252 KiB
Current children cumulated memory: 121820 KiB

[startup+6.90766 s]
/proc/loadavg: 1.57 0.37 0.16 3/211 9467
/proc/meminfo: memFree=25608696/32770624 swapFree=66997504/67108860
[pid=9425] ppid=9422 vsize=113128 memory=1472 CPUtime=16.8 cores=0-7
/proc/9425/stat : 9425 (scop.sh) S 9422 9425 9260 0 -1 4202496 582 37046 0 0 0 0 1638 42 20 0 1 0 509537556 115843072 368 33554432000 4194304 5098028 140725879421792 140725879418536 140179870745212 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 9297920 140725879427837 140725879428184 140725879428184 140725879431113 0
/proc/9425/statm: 28282 368 311 221 0 87 0
[pid=9448] ppid=9425 vsize=8283048 memory=124624 CPUtime=2.95 cores=0-7
/proc/9448/stat : 9448 (java) S 9425 9425 9260 0 -1 1077944320 20604 6425 0 0 130 9 150 6 20 0 22 0 509538134 8481841152 31156 33554432000 4194304 4196468 140726559696016 140726559678560 140522527792887 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 32960512 140726559699936 140726559700102 140726559700102 140726559702991 0
/proc/9448/statm: 2070762 31156 3213 1 0 2032106 0
[pid=9448/tid=9449] ppid=9425 vsize=8283048 memory=8112282956445269571 CPUtime=2.39 cores=0-7
/proc/9448/task/9449/stat : 9449 (java) R 9425 9425 9260 0 -1 4202560 17225 6425 0 0 78 5 150 6 20 0 22 0 509538135 8481841152 31156 33554432000 4194304 4196468 140726559696016 140522499630712 140522018647309 0 4 2 25189581 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 32960512 140726559699936 140726559700102 140726559700102 140726559702991 0
[pid=9448/tid=9450] ppid=9425 vsize=8283048 memory=2828 CPUtime=1.56 cores=0-7
/proc/9448/task/9450/stat : 9450 (java) S 9425 9425 9260 0 -1 1077944384 1 6425 0 0 0 0 150 6 20 0 22 0 509538136 8481841152 31156 33554432000 4194304 4196468 140726559696016 140522532035728 140522527803093 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32960512 140726559699936 140726559700102 140726559700102 140726559702991 0
[pid=9448/tid=9451] ppid=9425 vsize=8283048 memory=1048 CPUtime=1.56 cores=0-7
/proc/9448/task/9451/stat : 9451 (java) S 9425 9425 9260 0 -1 1077944384 2 6425 0 0 0 0 150 6 20 0 22 0 509538136 8481841152 31156 33554432000 4194304 4196468 140726559696016 140522012970000 140522527803093 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32960512 140726559699936 140726559700102 140726559700102 140726559702991 0
[pid=9448/tid=9452] ppid=9425 vsize=8283048 memory=0 CPUtime=1.56 cores=0-7
/proc/9448/task/9452/stat : 9452 (java) S 9425 9425 9260 0 -1 1077944384 2 6425 0 0 0 0 150 6 20 0 22 0 509538136 8481841152 31156 33554432000 4194304 4196468 140726559696016 140522011917200 140522527803093 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32960512 140726559699936 140726559700102 140726559700102 140726559702991 0
[pid=9448/tid=9453] ppid=9425 vsize=8283048 memory=280706983815520 CPUtime=1.56 cores=0-7
/proc/9448/task/9453/stat : 9453 (java) S 9425 9425 9260 0 -1 1077944384 3 6425 0 0 0 0 150 6 20 0 22 0 509538136 8481841152 31156 33554432000 4194304 4196468 140726559696016 140522010864400 140522527803093 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32960512 140726559699936 140726559700102 140726559700102 140726559702991 0
[pid=9448/tid=9454] ppid=9425 vsize=8283048 memory=140353491828924 CPUtime=1.56 cores=0-7
/proc/9448/task/9454/stat : 9454 (java) S 9425 9425 9260 0 -1 1077944384 2 6425 0 0 0 0 150 6 20 0 22 0 509538136 8481841152 31156 33554432000 4194304 4196468 140726559696016 140522009811600 140522527803093 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32960512 140726559699936 140726559700102 140726559700102 140726559702991 0
[pid=9448/tid=9455] ppid=9425 vsize=8283048 memory=1396 CPUtime=1.56 cores=0-7
/proc/9448/task/9455/stat : 9455 (java) S 9425 9425 9260 0 -1 1077944384 1 6425 0 0 0 0 150 6 20 0 22 0 509538136 8481841152 31156 33554432000 4194304 4196468 140726559696016 140522008758800 140522527803093 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32960512 140726559699936 140726559700102 140726559700102 140726559702991 0
[pid=9448/tid=9456] ppid=9425 vsize=8283048 memory=275844 CPUtime=1.56 cores=0-7
/proc/9448/task/9456/stat : 9456 (java) S 9425 9425 9260 0 -1 1077944384 2 6425 0 0 0 0 150 6 20 0 22 0 509538136 8481841152 31156 33554432000 4194304 4196468 140726559696016 140522007706000 140522527803093 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32960512 140726559699936 140726559700102 140726559700102 140726559702991 0
[pid=9448/tid=9457] ppid=9425 vsize=8283048 memory=6944652177228980320 CPUtime=1.56 cores=0-7
/proc/9448/task/9457/stat : 9457 (java) S 9425 9425 9260 0 -1 1077944384 2 6425 0 0 0 0 150 6 20 0 22 0 509538136 8481841152 31156 33554432000 4194304 4196468 140726559696016 140522006653200 140522527803093 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32960512 140726559699936 140726559700102 140726559700102 140726559702991 0
[pid=9448/tid=9458] ppid=9425 vsize=8283048 memory=6944656592455360604 CPUtime=1.56 cores=0-7
/proc/9448/task/9458/stat : 9458 (java) S 9425 9425 9260 0 -1 1077944384 5 6425 0 0 0 0 150 6 20 0 22 0 509538137 8481841152 31156 33554432000 4194304 4196468 140726559696016 140521755503472 140522527804034 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32960512 140726559699936 140726559700102 140726559700102 140726559702991 0
[pid=9448/tid=9459] ppid=9425 vsize=8283048 memory=8112282956445269571 CPUtime=1.56 cores=0-7
/proc/9448/task/9459/stat : 9459 (java) S 9425 9425 9260 0 -1 1077944384 13 6425 0 0 0 0 150 6 20 0 22 0 509538138 8481841152 31156 33554432000 4194304 4196468 140726559696016 140520995153440 140522527803093 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32960512 140726559699936 140726559700102 140726559700102 140726559702991 0
[pid=9448/tid=9460] ppid=9425 vsize=8283048 memory=4136 CPUtime=1.56 cores=0-7
/proc/9448/task/9460/stat : 9460 (java) S 9425 9425 9260 0 -1 1077944384 21 6425 0 0 0 0 150 6 20 0 22 0 509538138 8481841152 31156 33554432000 4194304 4196468 140726559696016 140520860931440 140522527803093 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32960512 140726559699936 140726559700102 140726559700102 140726559702991 0
[pid=9448/tid=9461] ppid=9425 vsize=8283048 memory=1408 CPUtime=1.56 cores=0-7
/proc/9448/task/9461/stat : 9461 (java) S 9425 9425 9260 0 -1 1077944384 1 6425 0 0 0 0 150 6 20 0 22 0 509538140 8481841152 31156 33554432000 4194304 4196468 140726559696016 140520486426960 140522527811483 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32960512 140726559699936 140726559700102 140726559700102 140726559702991 0
[pid=9448/tid=9462] ppid=9425 vsize=8283048 memory=2560 CPUtime=1.65 cores=0-7
/proc/9448/task/9462/stat : 9462 (java) S 9425 9425 9260 0 -1 1077944384 749 6425 0 0 9 0 150 6 20 0 22 0 509538140 8481841152 31156 33554432000 4194304 4196468 140726559696016 140521754450288 140522527804034 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32960512 140726559699936 140726559700102 140726559700102 140726559702991 0
[pid=9448/tid=9463] ppid=9425 vsize=8283048 memory=1396 CPUtime=1.65 cores=0-7
/proc/9448/task/9463/stat : 9463 (java) S 9425 9425 9260 0 -1 1077944384 285 6425 0 0 9 0 150 6 20 0 22 0 509538140 8481841152 31156 33554432000 4194304 4196468 140726559696016 140521753397488 140522527804034 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32960512 140726559699936 140726559700102 140726559700102 140726559702991 0
[pid=9448/tid=9464] ppid=9425 vsize=8283048 memory=1163068 CPUtime=1.61 cores=0-7
/proc/9448/task/9464/stat : 9464 (java) S 9425 9425 9260 0 -1 1077944384 151 6425 0 0 5 0 150 6 20 0 22 0 509538140 8481841152 31156 33554432000 4194304 4196468 140726559696016 140521752344688 140522527804034 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32960512 140726559699936 140726559700102 140726559700102 140726559702991 0
[pid=9448/tid=9465] ppid=9425 vsize=8283048 memory=280706983676720 CPUtime=1.81 cores=0-7
/proc/9448/task/9465/stat : 9465 (java) R 9425 9425 9260 0 -1 4202560 726 6425 0 0 25 0 150 6 20 0 22 0 509538140 8481841152 31156 33554432000 4194304 4196468 140726559696016 140521751291888 140522520898107 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32960512 140726559699936 140726559700102 140726559700102 140726559702991 0
[pid=9448/tid=9466] ppid=9425 vsize=8283048 memory=0 CPUtime=1.56 cores=0-7
/proc/9448/task/9466/stat : 9466 (java) S 9425 9425 9260 0 -1 1077944384 3 6425 0 0 0 0 150 6 20 0 22 0 509538141 8481841152 31156 33554432000 4194304 4196468 140726559696016 140519988522080 140522527803093 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32960512 140726559699936 140726559700102 140726559700102 140726559702991 0
[pid=9448/tid=9467] ppid=9425 vsize=8283048 memory=180831008082353 CPUtime=1.56 cores=0-7
/proc/9448/task/9467/stat : 9467 (java) S 9425 9425 9260 0 -1 1077944384 1 6425 0 0 0 0 150 6 20 0 22 0 509538141 8481841152 31156 33554432000 4194304 4196468 140726559696016 140521750240304 140522527804034 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32960512 140726559699936 140726559700102 140726559700102 140726559702991 0
Current children cumulated CPU time: 19.75 s
Current children cumulated vsize: 8396176 KiB
Current children cumulated memory: 126096 KiB

Child status: 0
Real time (s): 6.91943
CPU time (s): 19.802
CPU user time (s): 19.2024
CPU system time (s): 0.599526
CPU usage (%): 286.179
Max. virtual memory (cumulated for all children) (KiB): 27441876
Max. memory (cumulated for all children) (KiB): 1988176

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 19.2024
system time used= 0.599526
maximum resident set size= 1992480
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 64685
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1552
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 12614
involuntary context switches= 64


# summary of solver processes directly reported to runsolver:
#   pid: 9425
#   total CPU time (s): 19.802
#   total CPU user time (s): 19.2024
#   total CPU system time (s): 0.599526

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.078894 second user time and 0.11672 second system time

The end

Launcher Data 

Begin job on node140 at 2019-09-24 16:39:11
IDJOB=4405131
IDBENCH=126157
IDSOLVER=2867
FILE ID=node140/4405131-1569335992
RUNJOBID= node140-1569335937-9287
PBS_JOBID= 21705054
Free space on /var/tmp= 13516 MiB

SOLVER NAME= Fun-sCOP order+ManyGlucose (2019-09-22)
BENCH NAME= XCSP17/QRandom/QRandom-geometric-rw/geometric-50-20-d4-75-08.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-4405131-1569335992/watcher-4405131-1569335992 -o /var/tmp/evaluation-result-4405131-1569335992/solver-4405131-1569335992 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node140-1569335937-9287 --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-4405131-1569335992.xml

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

MD5SUM BENCH= ee1da6b537c1ecd46a877bd70c24ae39
RANDOM SEED=969539028

node140.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.43
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.43
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.43
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.43
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:        25658916 kB
MemAvailable:   31844552 kB
Buffers:          117468 kB
Cached:          6166640 kB
SwapCached:         2804 kB
Active:          3121944 kB
Inactive:        3170132 kB
Active(anon):       4984 kB
Inactive(anon):    58400 kB
Active(file):    3116960 kB
Inactive(file):  3111732 kB
Unevictable:      107700 kB
Mlocked:          107700 kB
SwapTotal:      67108860 kB
SwapFree:       66997504 kB
Dirty:             21040 kB
Writeback:             0 kB
AnonPages:        112900 kB
Mapped:            56360 kB
Shmem:             46800 kB
Slab:             413572 kB
SReclaimable:     385404 kB
SUnreclaim:        28168 kB
KernelStack:        3408 kB
PageTables:         6016 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     514616 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     69632 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      105856 kB
DirectMap2M:    33439744 kB

Free space on /var/tmp at the end= 13496 MiB
End job on node140 at 2019-09-24 16:39:18