Trace number 4392570

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

NameSubisomorphism/Subisomorphism-m1-si4-m4D/
Subisomorphism-si4-m4Dr4-m256-08.xml
MD5SUM81c7a723557c708ecb18ed846030ca95
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.018955
Satisfiable
(Un)Satisfiability was proved
Number of variables102
Number of constraints253
Number of domains1
Minimum domain size256
Maximum domain size256
Distribution of domain sizes[{"size":256,"count":102}]
Minimum variable degree2
Maximum variable degree13
Distribution of variable degrees[{"degree":2,"count":9},{"degree":3,"count":22},{"degree":4,"count":19},{"degree":6,"count":17},{"degree":7,"count":10},{"degree":8,"count":12},{"degree":9,"count":7},{"degree":10,"count":5},{"degree":13,"count":1}]
Minimum constraint arity1
Maximum constraint arity102
Distribution of constraint arities[{"arity":1,"count":52},{"arity":2,"count":200},{"arity":102,"count":1}]
Number of extensional constraints252
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":252},{"type":"allDifferent","count":1}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c (scop.sh) java -Xms22g -Xmx22g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Encode -hybrid -solver HOME/manyglucose-4.1-27_release -solverOption -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 -tmp HOME -serialFile HOME/scop-23699-serial-file.bin HOME/instance-4392570-1568431523.xml
0.66/0.54	
0.66/0.54	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
0.66/0.54	
0.66/0.57	c BEGIN-Prog: Sat Sep 14 05:24:44 CEST 2019
0.66/0.57	c PID: 23702
0.66/0.57	c IP: 172.20.3.133
0.66/0.57	c HOST: node133.alineos.net
0.66/0.58	c (0,0) Parsing Begin
1.59/1.00	c (0,0) Parsing End
1.59/1.00	c (0,0) CSP: 102 int (0 aux), 0 bool (0 aux), 253 ctr, max domain size 256
1.59/1.00	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.59/1.00	c (0,0) Constraint Name Generate Begin
1.84/1.01	c (0,0) Ctr:HOME/instance-4392570-1568431523.xml,AllDifferent:ExtensionConflict:ExtensionSupport:Var
1.84/1.01	c (0,0) Constraint Name Generate End
1.84/1.01	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.84/1.01	c (0,0) CSP to CSPinCNF Begin
13.65/6.57	c (6,6) translated 26 (10%) constraints
18.48/11.26	c (10,10) translated 51 (20%) constraints
23.21/15.93	c (15,15) translated 76 (30%) constraints
30.12/20.94	c (20,20) translated 102 (40%) constraints
34.54/25.34	c (24,24) translated 127 (50%) constraints
38.98/29.73	c (29,28) translated 152 (60%) constraints
46.95/34.73	c (34,33) translated 178 (70%) constraints
51.18/39.00	c (38,37) translated 203 (80%) constraints
51.34/39.09	c (38,37) translated 228 (90%) constraints
51.77/39.11	c (38,37) translated 253 (100%) constraints
51.77/39.12	c (38,37) ===========================================
52.43/39.36	c (38,38) Hybrid: #OE=51302, #LE=0
52.43/39.36	c (38,38) Hybrid
52.43/39.36	c (38,38) ===========================================
55.75/41.00	c (40,39) translated 71494 (10%) constraints
57.31/42.47	c (41,41) translated 142987 (20%) constraints
58.84/43.94	c (43,42) translated 214480 (30%) constraints
60.36/45.41	c (44,44) translated 285974 (40%) constraints
61.76/46.88	c (46,45) translated 357467 (50%) constraints
63.26/48.35	c (47,47) translated 428960 (60%) constraints
64.77/49.82	c (49,48) translated 500454 (70%) constraints
66.17/51.29	c (50,50) translated 571947 (80%) constraints
67.67/52.77	c (52,51) translated 643440 (90%) constraints
69.21/54.26	c (53,52) translated 714933 (100%) constraints
69.21/54.26	c (53,52) CSP to CSPinCNF End
69.21/54.29	c (53,53) CSP: 102 int (0 aux), 51200 bool (51200 aux), 714933 ctr, max domain size 256
69.21/54.29	c (53,53) Heap : 6058 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB)
69.21/54.29	c (53,53) CSPinCNF Propagation Begin
80.10/60.52	c (59,58) 574 values, 16892 unsatisfiable literals, and 14749 valid clauses are removed
80.10/60.52	c (59,58) CSPinCNF Propagation End
80.10/60.54	c (59,58) CSP: 102 int (0 aux), 51200 bool (51200 aux), 700184 ctr, max domain size 256
80.10/60.54	c (59,58) Heap : 5263 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB)
80.36/60.74	c (60,59) Hybrid: #OE=51302, #LE=0
80.36/60.74	c (60,59) Simplify CSPinCNF Begin
82.83/62.04	c (61,60) Simplify CSPinCNF End
82.83/62.05	c (61,60) CSP: 102 int (0 aux), 61500 bool (61500 aux), 710484 ctr, max domain size 256
82.83/62.05	c (61,60) Heap : 5925 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB)
82.83/62.05	c (61,60) Calculate Precise Domain Begin
82.83/62.06	c (61,60) 0 values are removed by re-calculation
82.83/62.06	c (61,60) Calculate Precise Domain End
82.83/62.07	c (61,60) CSP: 102 int (0 aux), 61500 bool (61500 aux), 710484 ctr, max domain size 256
82.83/62.07	c (61,60) Heap : 5925 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB)
82.83/62.07	c (61,60) CSPinCNF to SatSolver Begin
99.34/73.26	c (72,70) 71049 (10 %) CSP clauses are encoded (0 SAT variables, 2607204 SAT clauses)
100.10/73.92	c (73,71) 142097 (20 %) CSP clauses are encoded (0 SAT variables, 2678252 SAT clauses)
100.70/74.57	c (74,72) 213146 (30 %) CSP clauses are encoded (0 SAT variables, 2749301 SAT clauses)
101.40/75.23	c (74,72) 284194 (40 %) CSP clauses are encoded (0 SAT variables, 2820349 SAT clauses)
102.00/75.88	c (75,73) 355242 (50 %) CSP clauses are encoded (0 SAT variables, 2891397 SAT clauses)
104.92/76.82	c (76,74) 426291 (60 %) CSP clauses are encoded (0 SAT variables, 2962446 SAT clauses)
105.52/77.48	c (76,74) 497339 (70 %) CSP clauses are encoded (0 SAT variables, 3033494 SAT clauses)
106.24/78.14	c (77,75) 568388 (80 %) CSP clauses are encoded (0 SAT variables, 3104543 SAT clauses)
106.93/78.80	c (78,76) 639436 (90 %) CSP clauses are encoded (0 SAT variables, 3175591 SAT clauses)
107.53/79.45	c (78,76) 710484 (100 %) CSP clauses are encoded (0 SAT variables, 3246639 SAT clauses)
107.53/79.45	c (78,76) CSPinCNF to SatSolver End
107.53/79.45	c (78,76) Heap : 3301 MiB used (max 21713 MiB), NonHeap : 32 MiB used (max 0 MiB)
107.53/79.45	c (78,76) 86613 bool, 3246640 clause
107.53/79.45	c (78,76) Export Begin
107.65/79.55	c (79,76) Export to HOME/scop-23699-serial-file.bin
107.65/79.55	c (79,76) Export End
107.65/79.55	c (79,76) Export File Size: 0.02 MB
107.65/79.55	c (79,76) 0,0,53,59,61,61,78,STOP-AFTER(DIMACS)
107.65/79.55	c END-Prog: Sat Sep 14 05:26:03 CEST 2019
107.65/79.59	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-23699-serial-file.bin
108.36/80.05	c (0,0) Read Serial File Begin
108.36/80.05	c (0,0) HOME/scop-23699-serial-file.bin
108.63/80.27	c (0,0) Read Serial File End
108.63/80.28	
108.63/80.28	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
108.63/80.28	(Solving Process)
108.63/80.28	
108.79/80.31	c BEGIN-Prog: Sat Sep 14 05:26:04 CEST 2019
108.79/80.31	c PID: 23728
108.79/80.31	c IP: 172.20.3.133
108.79/80.31	c HOST: node133.alineos.net
108.79/80.31	c (0,0) SatSolver.solve Begin
108.79/80.31	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4392570-1568431523.xml-scop-23702.cnf
108.79/80.34	c (0,0) c
108.79/80.34	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)
108.79/80.34	c (0,0) c
108.79/80.34	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
108.79/80.34	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
108.79/80.34	c (0,0) c ========================================[ Problem Statistics ]===========================================
108.79/80.34	c (0,0) c |                                                                                                       |
109.96/81.40	c (1,0) c |  Number of variables:         86613                                                                   |
109.96/81.40	c (1,0) c |  Number of clauses:         3246640                                                                   |
109.96/81.40	c (1,0) c |  Parse time:                   0.96 s                                                                 |
109.96/81.40	c (1,0) c |                                                                                                       |
123.88/95.25	c (15,0) c |  Simplification time:         13.77 s                                                                 |
123.88/95.25	c (15,0) c |                                                                                                       |
123.88/95.25	c (15,0) c |  Generating clones                                                                                    |
124.57/95.97	c (15,0) c |  all clones generated. Memory =  1965.22Mb.                                                           |
124.57/95.97	c (15,0) c ========================================================================================================|
124.57/95.97	c (15,0) c
124.57/95.97	c (15,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
124.57/95.97	c (15,0) c
124.57/95.97	c (15,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
124.57/95.97	c (15,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
124.57/95.97	c (15,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
124.57/95.97	c (15,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
124.57/95.97	c (15,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
124.57/95.97	c (15,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
124.57/95.97	c (15,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
124.57/95.97	c (15,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
124.57/95.97	c (15,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
124.57/95.97	c (15,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
124.57/95.97	c (15,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
124.57/95.97	c (15,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
124.57/95.97	c (15,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
124.57/95.97	c (15,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
124.57/95.97	c (15,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
124.57/95.97	c (15,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
124.57/95.97	c (15,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
124.57/95.97	c (15,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
124.57/95.97	c (15,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
126.91/96.54	c (16,0) c
126.91/96.54	c (16,0) c real time : 16.2073 s
126.91/96.54	c (16,0) c cpu time  : 17.2038 s
126.91/96.54	c (16,0) c
126.91/96.54	c (16,0) c
126.91/96.54	c (16,0) c
126.91/96.54	c (16,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
126.91/96.54	c (16,0) c
126.91/96.54	c (16,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
126.91/96.54	c (16,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
126.91/96.54	c (16,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
126.91/96.54	c (16,0) c | Conflicts     |             659 |          0 |         95 |         46 |         86 |         56 |         26 |         83 |        267 |
126.91/96.54	c (16,0) c | Decisions     |            1445 |          6 |        197 |         93 |        216 |        134 |         70 |        201 |        528 |
126.91/96.54	c (16,0) c | Propagations  |         1065287 |      80794 |     142145 |     124271 |     125712 |      65429 |     135396 |      89282 |     302258 |
126.91/96.54	c (16,0) c | ReduceDBs     |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
126.91/96.54	c (16,0) c | SimpDBs       |               8 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |
126.91/96.54	c (16,0) c | Restarts      |               8 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |
126.91/96.54	c (16,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
126.91/96.54	c (16,0) c | PropBinClauses|         1095064 |      56371 |     125395 |     116964 |     137466 |      90000 |     120335 |     119298 |     329235 |
126.91/96.54	c (16,0) c | PropPreBlocker|        37074406 |    3553576 |    3887919 |    5050909 |    3709782 |    3676469 |    5362847 |    3814418 |    8018486 |
126.91/96.54	c (16,0) c | PropNotBlocker|        18824937 |    1887015 |    1986506 |    2698376 |    2029042 |    2161702 |    2846820 |    1947688 |    3267788 |
126.91/96.54	c (16,0) c | LitFullScans  |        58251580 |    5565619 |    6183879 |    7992740 |    6003020 |    6039552 |    8451549 |    6009852 |   12005369 |
126.91/96.54	c (16,0) c | LitScanFracts |            3423 |          0 |        665 |        482 |         13 |        975 |        435 |        293 |        560 |
126.91/96.54	c (16,0) c | DecisionLevel0|              14 |          1 |          2 |          3 |          2 |          1 |          2 |          2 |          1 |
126.91/96.54	c (16,0) c | Periods       |               8 |          0 |          1 |          1 |          1 |          1 |          1 |          1 |          2 |
126.91/96.54	c (16,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
126.91/96.54	c (16,0) c | Avg_Trail     |                 |          0 |       6517 |       3393 |       4647 |       5759 |       6191 |       7858 |       8059 |
126.91/96.54	c (16,0) c | Avg_DL        |                 |          0 |         13 |          6 |         18 |         28 |         17 |         42 |         69 |
126.91/96.54	c (16,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
126.91/96.54	c (16,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
126.91/96.54	c (16,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
126.91/96.54	c (16,0) c | Exported      |              76 |          0 |         11 |          6 |         18 |          1 |          9 |          8 |         23 |
126.91/96.54	c (16,0) c | Imported      |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
126.91/96.54	c (16,0) c | Good          |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
126.91/96.54	c (16,0) c | Purge         |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
126.91/96.54	c (16,0) c | Promoted      |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
126.91/96.54	c (16,0) c | Remove_Imp    |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
126.91/96.54	c (16,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
126.91/96.54	c (16,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
126.91/96.54	c (16,0) c | Unaries       |                 |          0 |          1 |          2 |          1 |          0 |          1 |          1 |          0 |
126.91/96.54	c (16,0) c | Binaries      |                 |          0 |          3 |          4 |          8 |          1 |          2 |          2 |          3 |
126.91/96.54	c (16,0) c | Glues         |                 |          0 |         11 |          6 |         18 |          1 |          9 |          8 |         23 |
126.91/96.54	c (16,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
126.91/96.54	c (16,0) c | Orig_Seen     |             0 % |          0 |       2434 |       1551 |       3411 |       1509 |       1386 |       3086 |       5726 |
126.91/96.54	c (16,0) c | Diff Orig seen|                 |      X     |       2434 |       1551 |       3411 |       1509 |       1386 |       3086 |       5726 |
126.91/96.54	c (16,0) c | Hamming       |            10 % |      X     |      14560 |        551 |      13853 |       7814 |        503 |      14841 |      14032 |
126.91/96.54	c (16,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
126.91/96.54	c (16,0) c | RunningTime   |                 |    0.4 100%|    0.5 100%|    0.5 100%|    0.5 100%|    0.5 100%|    0.5 100%|    0.5 100%|    0.6 100%|
126.91/96.54	c (16,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%|
126.91/96.54	c (16,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%|
126.91/96.54	c (16,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%|
126.91/96.54	c (16,0) c | SolvingTime   |                 |    0.4     |    0.5     |    0.5     |    0.5     |    0.5     |    0.5     |    0.5     |    0.6     |
126.91/96.54	c (16,0) c | PropagationTim|                 |    0.4 100%|    0.5  98%|    0.5 100%|    0.5  99%|    0.5  99%|    0.5 100%|    0.5  98%|    0.6  98%|
126.91/96.54	c (16,0) c | AnalysisTime  |                 |    0.0   0%|    0.0   1%|    0.0   0%|    0.0   1%|    0.0   0%|    0.0   0%|    0.0   1%|    0.0   1%|
126.91/96.54	c (16,0) c | ReductionTime |                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
126.91/96.54	c (16,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%|
126.91/96.55	c (16,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%|
126.91/96.55	c (16,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%|
126.91/96.55	c (16,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
126.91/96.55	c (16,0) c
126.91/96.55	c (16,0) c
126.91/96.55	c (16,0) c Threads : 8
126.91/96.55	c (16,0) c Winner : 0
126.91/96.55	c (16,0) c Conflicts_0 : 0
126.91/96.55	c (16,0) c Conflicts_1 : 95
126.91/96.55	c (16,0) c Conflicts_2 : 46
126.91/96.55	c (16,0) c Conflicts_3 : 86
126.91/96.55	c (16,0) c Conflicts_4 : 56
126.91/96.55	c (16,0) c Conflicts_5 : 26
126.91/96.55	c (16,0) c Conflicts_6 : 83
126.91/96.55	c (16,0) c Conflicts_7 : 267
126.91/96.55	c (16,0) c Conflicts_total : 659
126.91/96.55	c (16,0) c Conflicts_winner : 0
126.91/96.55	c (16,0) c Decisions_0 : 6
126.91/96.55	c (16,0) c Decisions_1 : 197
126.91/96.55	c (16,0) c Decisions_2 : 93
126.91/96.55	c (16,0) c Decisions_3 : 216
126.91/96.55	c (16,0) c Decisions_4 : 134
126.91/96.55	c (16,0) c Decisions_5 : 70
126.91/96.55	c (16,0) c Decisions_6 : 201
126.91/96.55	c (16,0) c Decisions_7 : 528
126.91/96.55	c (16,0) c Decisions_total : 1445
126.91/96.55	c (16,0) c Decisions_winner : 6
126.91/96.55	c (16,0) c Propagations_0 : 80794
126.91/96.55	c (16,0) c Propagations_1 : 142145
126.91/96.55	c (16,0) c Propagations_2 : 124271
126.91/96.55	c (16,0) c Propagations_3 : 125712
126.91/96.55	c (16,0) c Propagations_4 : 65429
126.91/96.55	c (16,0) c Propagations_5 : 135396
126.91/96.55	c (16,0) c Propagations_6 : 89282
126.91/96.55	c (16,0) c Propagations_7 : 302258
126.91/96.55	c (16,0) c Propagations_total : 1065287
126.91/96.55	c (16,0) c Propagations_winner : 80794
126.91/96.55	c (16,0) c ReduceDBs_0 : 0
126.91/96.55	c (16,0) c ReduceDBs_1 : 0
126.91/96.55	c (16,0) c ReduceDBs_2 : 0
126.91/96.55	c (16,0) c ReduceDBs_3 : 0
126.91/96.55	c (16,0) c ReduceDBs_4 : 0
126.91/96.55	c (16,0) c ReduceDBs_5 : 0
126.91/96.55	c (16,0) c ReduceDBs_6 : 0
126.91/96.55	c (16,0) c ReduceDBs_7 : 0
126.91/96.55	c (16,0) c ReduceDBs_total : 0
126.91/96.55	c (16,0) c ReduceDBs_winner : 0
126.91/96.55	c (16,0) c SimpDBs_0 : 1
126.91/96.55	c (16,0) c SimpDBs_1 : 1
126.91/96.55	c (16,0) c SimpDBs_2 : 1
126.91/96.55	c (16,0) c SimpDBs_3 : 1
126.91/96.55	c (16,0) c SimpDBs_4 : 1
126.91/96.55	c (16,0) c SimpDBs_5 : 1
126.91/96.55	c (16,0) c SimpDBs_6 : 1
126.91/96.55	c (16,0) c SimpDBs_7 : 1
126.91/96.55	c (16,0) c SimpDBs_total : 8
126.91/96.55	c (16,0) c SimpDBs_winner : 1
126.91/96.55	c (16,0) c Restarts_0 : 1
126.91/96.55	c (16,0) c Restarts_1 : 1
126.91/96.55	c (16,0) c Restarts_2 : 1
126.91/96.55	c (16,0) c Restarts_3 : 1
126.91/96.55	c (16,0) c Restarts_4 : 1
126.91/96.55	c (16,0) c Restarts_5 : 1
126.91/96.55	c (16,0) c Restarts_6 : 1
126.91/96.55	c (16,0) c Restarts_7 : 1
126.91/96.55	c (16,0) c Restarts_total : 8
126.91/96.55	c (16,0) c Restarts_winner : 1
126.91/96.55	c (16,0) c ForcedImports_0 : 0
126.91/96.55	c (16,0) c ForcedImports_1 : 0
126.91/96.55	c (16,0) c ForcedImports_2 : 0
126.91/96.55	c (16,0) c ForcedImports_3 : 0
126.91/96.55	c (16,0) c ForcedImports_4 : 0
126.91/96.55	c (16,0) c ForcedImports_5 : 0
126.91/96.55	c (16,0) c ForcedImports_6 : 0
126.91/96.55	c (16,0) c ForcedImports_7 : 0
126.91/96.55	c (16,0) c ForcedImports_total : 0
126.91/96.55	c (16,0) c ForcedImports_winner : 0
126.91/96.55	c (16,0) c PropsBinClauses_0 : 56371
126.91/96.55	c (16,0) c PropsBinClauses_1 : 125395
126.91/96.55	c (16,0) c PropsBinClauses_2 : 116964
126.91/96.55	c (16,0) c PropsBinClauses_3 : 137466
126.91/96.55	c (16,0) c PropsBinClauses_4 : 90000
126.91/96.55	c (16,0) c PropsBinClauses_5 : 120335
126.91/96.55	c (16,0) c PropsBinClauses_6 : 119298
126.91/96.55	c (16,0) c PropsBinClauses_7 : 329235
126.91/96.55	c (16,0) c PropsBinClauses_total : 1095064
126.91/96.55	c (16,0) c PropsBinClauses_winner : 56371
126.91/96.55	c (16,0) c PropsPreBlocker_0 : 3553576
126.91/96.55	c (16,0) c PropsPreBlocker_1 : 3887919
126.91/96.55	c (16,0) c PropsPreBlocker_2 : 5050909
126.91/96.55	c (16,0) c PropsPreBlocker_3 : 3709782
126.91/96.55	c (16,0) c PropsPreBlocker_4 : 3676469
126.91/96.55	c (16,0) c PropsPreBlocker_5 : 5362847
126.91/96.55	c (16,0) c PropsPreBlocker_6 : 3814418
126.91/96.55	c (16,0) c PropsPreBlocker_7 : 8018486
126.91/96.55	c (16,0) c PropsPreBlocker_total : 37074406
126.91/96.55	c (16,0) c PropsPreBlocker_winner : 3553576
126.91/96.55	c (16,0) c PropsNotBlocker_0 : 1887015
126.91/96.55	c (16,0) c PropsNotBlocker_1 : 1986506
126.91/96.55	c (16,0) c PropsNotBlocker_2 : 2698376
126.91/96.55	c (16,0) c PropsNotBlocker_3 : 2029042
126.91/96.55	c (16,0) c PropsNotBlocker_4 : 2161702
126.91/96.55	c (16,0) c PropsNotBlocker_5 : 2846820
126.91/96.55	c (16,0) c PropsNotBlocker_6 : 1947688
126.91/96.55	c (16,0) c PropsNotBlocker_7 : 3267788
126.91/96.55	c (16,0) c PropsNotBlocker_total : 18824937
126.91/96.55	c (16,0) c PropsNotBlocker_winner : 1887015
126.91/96.55	c (16,0) c PropsLitFullScans_0 : 5565619
126.91/96.55	c (16,0) c PropsLitFullScans_1 : 6183879
126.91/96.55	c (16,0) c PropsLitFullScans_2 : 7992740
126.91/96.55	c (16,0) c PropsLitFullScans_3 : 6003020
126.91/96.55	c (16,0) c PropsLitFullScans_4 : 6039552
126.91/96.55	c (16,0) c PropsLitFullScans_5 : 8451549
126.91/96.55	c (16,0) c PropsLitFullScans_6 : 6009852
126.91/96.55	c (16,0) c PropsLitFullScans_7 : 12005369
126.91/96.55	c (16,0) c PropsLitFullScans_total : 58251580
126.91/96.55	c (16,0) c PropsLitFullScans_winner : 5565619
126.91/96.55	c (16,0) c LitScanFractions_0 : 0
126.91/96.55	c (16,0) c LitScanFractions_1 : 665
126.91/96.55	c (16,0) c LitScanFractions_2 : 482
126.91/96.55	c (16,0) c LitScanFractions_3 : 13
126.91/96.55	c (16,0) c LitScanFractions_4 : 975
126.91/96.55	c (16,0) c LitScanFractions_5 : 435
126.91/96.55	c (16,0) c LitScanFractions_6 : 293
126.91/96.55	c (16,0) c LitScanFractions_7 : 560
126.91/96.55	c (16,0) c LitScanFractions_total : 3423
126.91/96.55	c (16,0) c LitScanFractions_winner : 0
126.91/96.55	c (16,0) c DecisionLevel0_0 : 1
126.91/96.55	c (16,0) c DecisionLevel0_1 : 2
126.91/96.55	c (16,0) c DecisionLevel0_2 : 3
126.91/96.55	c (16,0) c DecisionLevel0_3 : 2
126.91/96.55	c (16,0) c DecisionLevel0_4 : 1
126.91/96.55	c (16,0) c DecisionLevel0_5 : 2
126.91/96.55	c (16,0) c DecisionLevel0_6 : 2
126.91/96.55	c (16,0) c DecisionLevel0_7 : 1
126.91/96.55	c (16,0) c DecisionLevel0_total : 14
126.91/96.55	c (16,0) c DecisionLevel0_winner : 1
126.91/96.55	c (16,0) c Periods_0 : 0
126.91/96.55	c (16,0) c Periods_1 : 1
126.91/96.55	c (16,0) c Periods_2 : 1
126.91/96.55	c (16,0) c Periods_3 : 1
126.91/96.55	c (16,0) c Periods_4 : 1
126.91/96.55	c (16,0) c Periods_5 : 1
126.91/96.55	c (16,0) c Periods_6 : 1
126.91/96.55	c (16,0) c Periods_7 : 2
126.91/96.55	c (16,0) c Periods_total : 8
126.91/96.55	c (16,0) c Periods_winner : 0
126.91/96.55	c (16,0) c Margin_0 : 20
126.91/96.55	c (16,0) c Margin_1 : 20
126.91/96.55	c (16,0) c Margin_2 : 20
126.91/96.55	c (16,0) c Margin_3 : 20
126.91/96.55	c (16,0) c Margin_4 : 20
126.91/96.55	c (16,0) c Margin_5 : 20
126.91/96.55	c (16,0) c Margin_6 : 20
126.91/96.55	c (16,0) c Margin_7 : 20
126.91/96.55	c (16,0) c Margin_total : 160
126.91/96.55	c (16,0) c Margin_winner : 20
126.91/96.55	c (16,0) c Exported_0 : 0
126.91/96.55	c (16,0) c Exported_1 : 11
126.91/96.55	c (16,0) c Exported_2 : 6
126.91/96.55	c (16,0) c Exported_3 : 18
126.91/96.55	c (16,0) c Exported_4 : 1
126.91/96.55	c (16,0) c Exported_5 : 9
126.91/96.55	c (16,0) c Exported_6 : 8
126.91/96.55	c (16,0) c Exported_7 : 23
126.91/96.55	c (16,0) c Exported_total : 76
126.91/96.55	c (16,0) c Exported_winner : 0
126.91/96.55	c (16,0) c Imported_0 : 0
126.91/96.55	c (16,0) c Imported_1 : 0
126.91/96.55	c (16,0) c Imported_2 : 0
126.91/96.55	c (16,0) c Imported_3 : 0
126.91/96.55	c (16,0) c Imported_4 : 0
126.91/96.55	c (16,0) c Imported_5 : 0
126.91/96.55	c (16,0) c Imported_6 : 0
126.91/96.55	c (16,0) c Imported_7 : 0
126.91/96.55	c (16,0) c Imported_total : 0
126.91/96.55	c (16,0) c Imported_winner : 0
126.91/96.55	c (16,0) c Good_0 : 0
126.91/96.55	c (16,0) c Good_1 : 0
126.91/96.55	c (16,0) c Good_2 : 0
126.91/96.55	c (16,0) c Good_3 : 0
126.91/96.55	c (16,0) c Good_4 : 0
126.91/96.55	c (16,0) c Good_5 : 0
126.91/96.55	c (16,0) c Good_6 : 0
126.91/96.55	c (16,0) c Good_7 : 0
126.91/96.55	c (16,0) c Good_total : 0
126.91/96.55	c (16,0) c Good_winner : 0
126.91/96.55	c (16,0) c Purge_0 : 0
126.91/96.55	c (16,0) c Purge_1 : 0
126.91/96.55	c (16,0) c Purge_2 : 0
126.91/96.55	c (16,0) c Purge_3 : 0
126.91/96.55	c (16,0) c Purge_4 : 0
126.91/96.55	c (16,0) c Purge_5 : 0
126.91/96.55	c (16,0) c Purge_6 : 0
126.91/96.55	c (16,0) c Purge_7 : 0
126.91/96.55	c (16,0) c Purge_total : 0
126.91/96.55	c (16,0) c Purge_winner : 0
126.91/96.55	c (16,0) c Promoted_0 : 0
126.91/96.55	c (16,0) c Promoted_1 : 0
126.91/96.55	c (16,0) c Promoted_2 : 0
126.91/96.55	c (16,0) c Promoted_3 : 0
126.91/96.55	c (16,0) c Promoted_4 : 0
126.91/96.55	c (16,0) c Promoted_5 : 0
126.91/96.55	c (16,0) c Promoted_6 : 0
126.91/96.55	c (16,0) c Promoted_7 : 0
126.91/96.55	c (16,0) c Promoted_total : 0
126.91/96.55	c (16,0) c Promoted_winner : 0
126.91/96.55	c (16,0) c Remove_Imp_0 : 0
126.91/96.55	c (16,0) c Remove_Imp_1 : 0
126.91/96.55	c (16,0) c Remove_Imp_2 : 0
126.91/96.55	c (16,0) c Remove_Imp_3 : 0
126.91/96.55	c (16,0) c Remove_Imp_4 : 0
126.91/96.55	c (16,0) c Remove_Imp_5 : 0
126.91/96.55	c (16,0) c Remove_Imp_6 : 0
126.91/96.55	c (16,0) c Remove_Imp_7 : 0
126.91/96.55	c (16,0) c Remove_Imp_total : 0
126.91/96.55	c (16,0) c Remove_Imp_winner : 0
126.91/96.55	c (16,0) c Blocked_Reuse_0 : 0
126.91/96.55	c (16,0) c Blocked_Reuse_1 : 0
126.91/96.55	c (16,0) c Blocked_Reuse_2 : 0
126.91/96.55	c (16,0) c Blocked_Reuse_3 : 0
126.91/96.55	c (16,0) c Blocked_Reuse_4 : 0
126.91/96.55	c (16,0) c Blocked_Reuse_5 : 0
126.91/96.55	c (16,0) c Blocked_Reuse_6 : 0
126.91/96.55	c (16,0) c Blocked_Reuse_7 : 0
126.91/96.55	c (16,0) c Blocked_Reuse_total : 0
126.91/96.55	c (16,0) c Blocked_Reuse_winner : 0
126.91/96.55	c (16,0) c Unaries_0 : 0
126.91/96.55	c (16,0) c Unaries_1 : 1
126.91/96.55	c (16,0) c Unaries_2 : 2
126.91/96.55	c (16,0) c Unaries_3 : 1
126.91/96.55	c (16,0) c Unaries_4 : 0
126.91/96.55	c (16,0) c Unaries_5 : 1
126.91/96.55	c (16,0) c Unaries_6 : 1
126.91/96.55	c (16,0) c Unaries_7 : 0
126.91/96.55	c (16,0) c Unaries_total : 6
126.91/96.55	c (16,0) c Unaries_winner : 0
126.91/96.55	c (16,0) c Binaries_0 : 0
126.91/96.55	c (16,0) c Binaries_1 : 3
126.91/96.55	c (16,0) c Binaries_2 : 4
126.91/96.55	c (16,0) c Binaries_3 : 8
126.91/96.55	c (16,0) c Binaries_4 : 1
126.91/96.55	c (16,0) c Binaries_5 : 2
126.91/96.55	c (16,0) c Binaries_6 : 2
126.91/96.55	c (16,0) c Binaries_7 : 3
126.91/96.55	c (16,0) c Binaries_total : 23
126.91/96.55	c (16,0) c Binaries_winner : 0
126.91/96.55	c (16,0) c Glues_0 : 0
126.91/96.55	c (16,0) c Glues_1 : 11
126.91/96.55	c (16,0) c Glues_2 : 6
126.91/96.55	c (16,0) c Glues_3 : 18
126.91/96.55	c (16,0) c Glues_4 : 1
126.91/96.55	c (16,0) c Glues_5 : 9
126.91/96.55	c (16,0) c Glues_6 : 8
126.91/96.55	c (16,0) c Glues_7 : 23
126.91/96.55	c (16,0) c Glues_total : 76
126.91/96.55	c (16,0) c Glues_winner : 0
126.91/96.55	c (16,0) c RunningTime_0 : 0.447774
126.91/96.55	c (16,0) c RunningTime_1 : 0.484263
126.91/96.55	c (16,0) c RunningTime_2 : 0.518150
126.91/96.55	c (16,0) c RunningTime_3 : 0.471585
126.91/96.55	c (16,0) c RunningTime_4 : 0.482083
126.91/96.55	c (16,0) c RunningTime_5 : 0.513920
126.91/96.55	c (16,0) c RunningTime_6 : 0.463786
126.91/96.55	c (16,0) c RunningTime_7 : 0.568058
126.91/96.55	c (16,0) c RunningTime_total : 3.949619
126.91/96.55	c (16,0) c RunningTime_winner : 0.447774
126.91/96.55	c (16,0) c WaitingTime_0 : 0.000000
126.91/96.56	c (16,0) c WaitingTime_1 : 0.000000
126.91/96.56	c (16,0) c WaitingTime_2 : 0.000000
126.91/96.56	c (16,0) c WaitingTime_3 : 0.000000
126.91/96.56	c (16,0) c WaitingTime_4 : 0.000000
126.91/96.56	c (16,0) c WaitingTime_5 : 0.000000
126.91/96.56	c (16,0) c WaitingTime_6 : 0.000000
126.91/96.56	c (16,0) c WaitingTime_7 : 0.000000
126.91/96.56	c (16,0) c WaitingTime_total : 0.000000
126.91/96.56	c (16,0) c WaitingTime_winner : 0.000000
126.91/96.56	c (16,0) c ExchangingTime_0 : 0.000002
126.91/96.56	c (16,0) c ExchangingTime_1 : 0.000044
126.91/96.56	c (16,0) c ExchangingTime_2 : 0.000010
126.91/96.56	c (16,0) c ExchangingTime_3 : 0.000052
126.91/96.56	c (16,0) c ExchangingTime_4 : 0.000010
126.91/96.56	c (16,0) c ExchangingTime_5 : 0.000015
126.91/96.56	c (16,0) c ExchangingTime_6 : 0.000036
126.91/96.56	c (16,0) c ExchangingTime_7 : 0.000064
126.91/96.56	c (16,0) c ExchangingTime_total : 0.000234
126.91/96.56	c (16,0) c ExchangingTime_winner : 0.000002
126.91/96.56	c (16,0) c PeriodProcTime_0 : 0.000000
126.91/96.56	c (16,0) c PeriodProcTime_1 : 0.000012
126.91/96.56	c (16,0) c PeriodProcTime_2 : 0.000011
126.91/96.56	c (16,0) c PeriodProcTime_3 : 0.000012
126.91/96.56	c (16,0) c PeriodProcTime_4 : 0.000011
126.91/96.56	c (16,0) c PeriodProcTime_5 : 0.000012
126.91/96.56	c (16,0) c PeriodProcTime_6 : 0.000013
126.91/96.56	c (16,0) c PeriodProcTime_7 : 0.000063
126.91/96.56	c (16,0) c PeriodProcTime_total : 0.000133
126.91/96.56	c (16,0) c PeriodProcTime_winner : 0.000000
126.91/96.56	c (16,0) c SolvingTime_0 : 0.447776
126.91/96.56	c (16,0) c SolvingTime_1 : 0.484319
126.91/96.56	c (16,0) c SolvingTime_2 : 0.518171
126.91/96.56	c (16,0) c SolvingTime_3 : 0.471649
126.91/96.56	c (16,0) c SolvingTime_4 : 0.482104
126.91/96.56	c (16,0) c SolvingTime_5 : 0.513947
126.91/96.56	c (16,0) c SolvingTime_6 : 0.463835
126.91/96.56	c (16,0) c SolvingTime_7 : 0.568185
126.91/96.56	c (16,0) c SolvingTime_total : 3.949986
126.91/96.56	c (16,0) c SolvingTime_winner : 0.447776
126.91/96.56	c (16,0) c PropagationTime_0 : 0.445869
126.91/96.56	c (16,0) c PropagationTime_1 : 0.475907
126.91/96.56	c (16,0) c PropagationTime_2 : 0.515810
126.91/96.56	c (16,0) c PropagationTime_3 : 0.466290
126.91/96.56	c (16,0) c PropagationTime_4 : 0.478579
126.91/96.56	c (16,0) c PropagationTime_5 : 0.512173
126.91/96.56	c (16,0) c PropagationTime_6 : 0.456431
126.91/96.56	c (16,0) c PropagationTime_7 : 0.556014
126.91/96.56	c (16,0) c PropagationTime_total : 3.907073
126.91/96.56	c (16,0) c PropagationTime_winner : 0.445869
126.91/96.56	c (16,0) c AnalysisTime_0 : 0.000000
126.91/96.56	c (16,0) c AnalysisTime_1 : 0.005318
126.91/96.56	c (16,0) c AnalysisTime_2 : 0.001354
126.91/96.56	c (16,0) c AnalysisTime_3 : 0.003089
126.91/96.56	c (16,0) c AnalysisTime_4 : 0.001806
126.91/96.56	c (16,0) c AnalysisTime_5 : 0.000906
126.91/96.56	c (16,0) c AnalysisTime_6 : 0.004105
126.91/96.56	c (16,0) c AnalysisTime_7 : 0.007282
126.91/96.56	c (16,0) c AnalysisTime_total : 0.023861
126.91/96.56	c (16,0) c AnalysisTime_winner : 0.000000
126.91/96.56	c (16,0) c ReductionTime_0 : 0.000000
126.91/96.56	c (16,0) c ReductionTime_1 : 0.000000
126.91/96.56	c (16,0) c ReductionTime_2 : 0.000000
126.91/96.56	c (16,0) c ReductionTime_3 : 0.000000
126.91/96.56	c (16,0) c ReductionTime_4 : 0.000000
126.91/96.56	c (16,0) c ReductionTime_5 : 0.000000
126.91/96.56	c (16,0) c ReductionTime_6 : 0.000000
126.91/96.56	c (16,0) c ReductionTime_7 : 0.000000
126.91/96.56	c (16,0) c ReductionTime_total : 0.000000
126.91/96.56	c (16,0) c ReductionTime_winner : 0.000000
126.91/96.56	c (16,0) c SimplifyTime_0 : 0.000000
126.91/96.56	c (16,0) c SimplifyTime_1 : 0.000000
126.91/96.56	c (16,0) c SimplifyTime_2 : 0.000000
126.91/96.56	c (16,0) c SimplifyTime_3 : 0.000000
126.91/96.56	c (16,0) c SimplifyTime_4 : 0.000000
126.91/96.56	c (16,0) c SimplifyTime_5 : 0.000000
126.91/96.56	c (16,0) c SimplifyTime_6 : 0.000000
126.91/96.56	c (16,0) c SimplifyTime_7 : 0.000000
126.91/96.56	c (16,0) c SimplifyTime_total : 0.000000
126.91/96.56	c (16,0) c SimplifyTime_winner : 0.000000
126.91/96.56	c (16,0) c UsedRateTime_0 : 0.000000
126.91/96.56	c (16,0) c UsedRateTime_1 : 0.000000
126.91/96.56	c (16,0) c UsedRateTime_2 : 0.000000
126.91/96.56	c (16,0) c UsedRateTime_3 : 0.000000
126.91/96.56	c (16,0) c UsedRateTime_4 : 0.000000
126.91/96.56	c (16,0) c UsedRateTime_5 : 0.000000
126.91/96.56	c (16,0) c UsedRateTime_6 : 0.000000
126.91/96.56	c (16,0) c UsedRateTime_7 : 0.000000
126.91/96.56	c (16,0) c UsedRateTime_total : 0.000000
126.91/96.56	c (16,0) c UsedRateTime_winner : 0.000000
126.91/96.56	c (16,0) c OverlapRateTime_0 : 0.000000
126.91/96.56	c (16,0) c OverlapRateTime_1 : 0.000000
126.91/96.56	c (16,0) c OverlapRateTime_2 : 0.000000
126.91/96.56	c (16,0) c OverlapRateTime_3 : 0.000000
126.91/96.56	c (16,0) c OverlapRateTime_4 : 0.000000
126.91/96.56	c (16,0) c OverlapRateTime_5 : 0.000000
126.91/96.56	c (16,0) c OverlapRateTime_6 : 0.000000
126.91/96.56	c (16,0) c OverlapRateTime_7 : 0.000000
126.91/96.56	c (16,0) c OverlapRateTime_total : 0.000000
126.91/96.56	c (16,0) c OverlapRateTime_winner : 0.000000
126.91/96.56	c (16,0) c
126.91/96.56	c (16,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
126.91/96.56	c (16,0) c
126.91/96.56	c (16,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
126.91/96.56	c (16,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
126.91/96.56	c (16,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
126.91/96.56	c (16,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
126.91/96.56	c (16,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
126.91/96.56	c (16,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
126.91/96.56	c (16,0) c | Initial random_seed   |  196714717 | 1662272818 | 1643833354 |  500357413 |  567495031 |   51717821 | 2047235552 | 1705247708 |
126.91/96.56	c (16,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
126.91/96.56	c (16,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
126.91/96.56	c (16,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
126.91/96.56	c (16,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
126.91/96.56	c (16,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
126.91/96.56	c (16,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
126.91/96.56	c (16,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
126.91/96.56	c (16,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
126.91/96.56	c (16,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
126.91/96.56	c (16,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
126.91/96.56	c (16,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
126.91/96.56	c (16,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
126.91/96.56	c (16,0) 
126.91/96.56	c (16,0) s SATISFIABLE
109.19/96.65	c (16,0) SatSolver.solve End
109.19/96.65	c (16,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
109.19/96.65	c (16,0) Show results Begin
127.41/96.77	c (16,0) x[0] = 0
127.41/96.77	c (16,0) x[1] = 58
127.41/96.77	c (16,0) x[2] = 62
127.41/96.77	c (16,0) x[3] = 81
127.41/96.77	c (16,0) x[4] = 140
127.41/96.77	c (16,0) x[5] = 169
127.41/96.77	c (16,0) x[6] = 234
127.41/96.77	c (16,0) x[7] = 22
127.41/96.77	c (16,0) x[8] = 101
127.41/96.77	c (16,0) x[9] = 155
127.41/96.77	c (16,0) x[10] = 166
127.41/96.77	c (16,0) x[11] = 176
127.41/96.77	c (16,0) x[12] = 198
127.41/96.77	c (16,0) x[13] = 3
127.41/96.77	c (16,0) x[14] = 38
127.41/96.77	c (16,0) x[15] = 83
127.41/96.77	c (16,0) x[16] = 159
127.41/96.77	c (16,0) x[17] = 189
127.41/96.77	c (16,0) x[18] = 9
127.41/96.77	c (16,0) x[19] = 66
127.41/96.77	c (16,0) x[20] = 91
127.41/96.77	c (16,0) x[21] = 126
127.41/96.77	c (16,0) x[22] = 173
127.41/96.77	c (16,0) x[23] = 243
127.41/96.77	c (16,0) x[24] = 48
127.41/96.77	c (16,0) x[25] = 182
127.41/96.77	c (16,0) x[26] = 27
127.41/96.77	c (16,0) x[27] = 164
127.41/96.77	c (16,0) x[28] = 211
127.41/96.77	c (16,0) x[29] = 7
127.41/96.77	c (16,0) x[30] = 25
127.41/96.77	c (16,0) x[31] = 50
127.41/96.77	c (16,0) x[32] = 55
127.41/96.77	c (16,0) x[33] = 153
127.41/96.77	c (16,0) x[34] = 185
127.41/96.77	c (16,0) x[35] = 197
127.41/96.77	c (16,0) x[36] = 224
127.41/96.77	c (16,0) x[37] = 249
127.41/96.77	c (16,0) x[38] = 33
127.41/96.77	c (16,0) x[39] = 118
127.41/96.77	c (16,0) x[40] = 171
127.41/96.77	c (16,0) x[41] = 172
127.41/96.77	c (16,0) x[42] = 51
127.41/96.77	c (16,0) x[43] = 218
127.41/96.77	c (16,0) x[44] = 72
127.41/96.77	c (16,0) x[45] = 100
127.41/96.77	c (16,0) x[46] = 184
127.41/96.77	c (16,0) x[47] = 108
127.41/96.77	c (16,0) x[48] = 209
127.41/96.77	c (16,0) x[49] = 40
127.41/96.77	c (16,0) x[50] = 67
127.41/96.77	c (16,0) x[51] = 34
127.41/96.77	c (16,0) x[52] = 111
127.41/96.77	c (16,0) x[53] = 144
127.41/96.77	c (16,0) x[54] = 188
127.41/96.77	c (16,0) x[55] = 214
127.41/96.77	c (16,0) x[56] = 115
127.41/96.77	c (16,0) x[57] = 136
127.41/96.77	c (16,0) x[58] = 220
127.41/96.77	c (16,0) x[59] = 2
127.41/96.77	c (16,0) x[60] = 125
127.41/96.77	c (16,0) x[61] = 196
127.41/96.77	c (16,0) x[62] = 93
127.41/96.77	c (16,0) x[63] = 248
127.41/96.77	c (16,0) x[64] = 8
127.41/96.77	c (16,0) x[65] = 221
127.41/96.77	c (16,0) x[66] = 46
127.41/96.77	c (16,0) x[67] = 138
127.41/96.77	c (16,0) x[68] = 32
127.41/96.77	c (16,0) x[69] = 74
127.41/96.77	c (16,0) x[70] = 86
127.41/96.77	c (16,0) x[71] = 112
127.41/96.77	c (16,0) x[72] = 147
127.41/96.77	c (16,0) x[73] = 75
127.41/96.77	c (16,0) x[74] = 219
127.41/96.77	c (16,0) x[75] = 80
127.41/96.77	c (16,0) x[76] = 139
127.41/96.77	c (16,0) x[77] = 6
127.41/96.77	c (16,0) x[78] = 54
127.41/96.77	c (16,0) x[79] = 94
127.41/96.77	c (16,0) x[80] = 161
127.41/96.77	c (16,0) x[81] = 228
127.41/96.77	c (16,0) x[82] = 238
127.41/96.77	c (16,0) x[83] = 215
127.41/96.77	c (16,0) x[84] = 254
127.41/96.77	c (16,0) x[85] = 208
127.41/96.78	c (16,0) x[86] = 251
127.41/96.78	c (16,0) x[87] = 49
127.41/96.78	c (16,0) x[88] = 88
127.41/96.78	c (16,0) x[89] = 130
127.41/96.78	c (16,0) x[90] = 245
127.41/96.78	c (16,0) x[91] = 39
127.41/96.78	c (16,0) x[92] = 96
127.41/96.78	c (16,0) x[93] = 225
127.41/96.78	c (16,0) x[94] = 244
127.41/96.78	c (16,0) x[95] = 5
127.41/96.78	c (16,0) x[96] = 41
127.41/96.78	c (16,0) x[97] = 191
127.41/96.78	c (16,0) x[98] = 145
127.41/96.78	c (16,0) x[99] = 135
127.41/96.78	c (16,0) x[100] = 70
127.41/96.78	c (16,0) x[101] = 45
127.41/96.78	s SATISFIABLE
127.41/96.78	v <instantiation>
127.41/96.78	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] x[50] x[51] x[52] x[53] x[54] x[55] x[56] x[57] x[58] x[59] x[60] x[61] x[62] x[63] x[64] x[65] x[66] x[67] x[68] x[69] x[70] x[71] x[72] x[73] x[74] x[75] x[76] x[77] x[78] x[79] x[80] x[81] x[82] x[83] x[84] x[85] x[86] x[87] x[88] x[89] x[90] x[91] x[92] x[93] x[94] x[95] x[96] x[97] x[98] x[99] x[100] x[101]</list>
127.41/96.78	v     <values>0 58 62 81 140 169 234 22 101 155 166 176 198 3 38 83 159 189 9 66 91 126 173 243 48 182 27 164 211 7 25 50 55 153 185 197 224 249 33 118 171 172 51 218 72 100 184 108 209 40 67 34 111 144 188 214 115 136 220 2 125 196 93 248 8 221 46 138 32 74 86 112 147 75 219 80 139 6 54 94 161 228 238 215 254 208 251 49 88 130 245 39 96 225 244 5 41 191 145 135 70 45</values>
127.41/96.78	v </instantiation>
127.41/96.78	c (16,0) Show results End
127.41/96.78	c (16,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 18 MiB used (max 0 MiB)
127.41/96.79	c (16,0) 16,16,STOP-AFTER(ALL)
127.41/96.79	c END-Prog: Sat Sep 14 05:26:20 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 (15222 MiB free)
  memory of node 1: 16384 MiB (15507 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4392570-1568431523/watcher-4392570-1568431523 -o /tmp/evaluation-result-4392570-1568431523/solver-4392570-1568431523 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node133-1568426604-21617 --watchdog 2580 HOME/scop.sh 22g HOME/scop.jar -hybrid HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4392570-1568431523.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=23699, runsolver pid=23696
Current StackSize limit: 8192 KiB


[startup+0.104385 s]*
/proc/loadavg: 6.46 7.10 6.47 4/217 23721
/proc/meminfo: memFree=31372596/32770624 swapFree=67004140/67108860
[pid=23699] ppid=23696 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/23699/stat : 23699 (scop.sh) S 23696 23699 21590 0 -1 4202496 558 319 0 0 0 0 0 0 20 0 1 0 419391892 115843072 349 33554432000 4194304 5098028 140730716803888 140730716801144 140279182824060 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 20918272 140730716807972 140730716808300 140730716808300 140730716811213 0
/proc/23699/statm: 28282 349 296 221 0 87 0
[pid=23702] ppid=23699 vsize=27314120 memory=108392 CPUtime=0.1 cores=0-7
/proc/23702/stat : 23702 (java) S 23699 23699 21590 0 -1 1077944320 6695 0 0 0 8 2 0 0 20 0 20 0 419391893 27969658880 27098 33554432000 4194304 4196468 140731730236544 140731730219088 140271367786231 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 35315712 140731730244330 140731730244758 140731730244758 140731730247631 0
/proc/23702/statm: 6828530 27098 2798 1 0 6790935 0
[pid=23702/tid=23703] ppid=23699 vsize=27314120 memory=4134930498285298233 CPUtime=0.09 cores=0-7
/proc/23702/task/23703/stat : 23703 (java) R 23699 23699 21590 0 -1 4202560 4793 0 0 0 7 2 0 0 20 0 20 0 419391893 27969658880 27163 33554432000 4194304 4196468 140731730236544 140271339616296 140271351866748 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35315712 140731730244330 140731730244758 140731730244758 140731730247631 0
[pid=23702/tid=23704] ppid=23699 vsize=27314120 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/23702/task/23704/stat : 23704 (java) S 23699 23699 21590 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419391895 27969658880 27163 33554432000 4194304 4196468 140731730236544 140271372028304 140271367796437 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35315712 140731730244330 140731730244758 140731730244758 140731730247631 0
[pid=23702/tid=23705] ppid=23699 vsize=27314120 memory=139745834198656 CPUtime=0 cores=0-7
/proc/23702/task/23705/stat : 23705 (java) S 23699 23699 21590 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 20 0 419391895 27969658880 27163 33554432000 4194304 4196468 140731730236544 140271155423504 140271367796437 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35315712 140731730244330 140731730244758 140731730244758 140731730247631 0
[pid=23702/tid=23706] ppid=23699 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23702/task/23706/stat : 23706 (java) S 23699 23699 21590 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419391895 27969658880 27163 33554432000 4194304 4196468 140731730236544 140271154371216 140271367796437 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35315712 140731730244330 140731730244758 140731730244758 140731730247631 0
[pid=23702/tid=23707] ppid=23699 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23702/task/23707/stat : 23707 (java) S 23699 23699 21590 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419391895 27969658880 27163 33554432000 4194304 4196468 140731730236544 140271153318416 140271367796437 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35315712 140731730244330 140731730244758 140731730244758 140731730247631 0
[pid=23702/tid=23708] ppid=23699 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23702/task/23708/stat : 23708 (java) S 23699 23699 21590 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419391895 27969658880 27163 33554432000 4194304 4196468 140731730236544 140271152266128 140271367796437 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35315712 140731730244330 140731730244758 140731730244758 140731730247631 0
[pid=23702/tid=23709] ppid=23699 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/23702/task/23709/stat : 23709 (java) S 23699 23699 21590 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419391895 27969658880 27163 33554432000 4194304 4196468 140731730236544 140271151213328 140271367796437 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35315712 140731730244330 140731730244758 140731730244758 140731730247631 0
[pid=23702/tid=23710] ppid=23699 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23702/task/23710/stat : 23710 (java) S 23699 23699 21590 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419391895 27969658880 27163 33554432000 4194304 4196468 140731730236544 140271150161040 140271367796437 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35315712 140731730244330 140731730244758 140731730244758 140731730247631 0
[pid=23702/tid=23711] ppid=23699 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23702/task/23711/stat : 23711 (java) S 23699 23699 21590 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419391895 27969658880 27163 33554432000 4194304 4196468 140731730236544 140270783945744 140271367796437 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35315712 140731730244330 140731730244758 140731730244758 140731730247631 0
[pid=23702/tid=23712] ppid=23699 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23702/task/23712/stat : 23712 (java) S 23699 23699 21590 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419391897 27969658880 27163 33554432000 4194304 4196468 140731730236544 140269620004976 140271367797378 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35315712 140731730244330 140731730244758 140731730244758 140731730247631 0
[pid=23702/tid=23713] ppid=23699 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23702/task/23713/stat : 23713 (java) S 23699 23699 21590 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 419391897 27969658880 27163 33554432000 4194304 4196468 140731730236544 140269336912672 140271367796437 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35315712 140731730244330 140731730244758 140731730244758 140731730247631 0
[pid=23702/tid=23714] ppid=23699 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23702/task/23714/stat : 23714 (java) S 23699 23699 21590 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419391898 27969658880 27163 33554432000 4194304 4196468 140731730236544 140269068477552 140271367796437 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35315712 140731730244330 140731730244758 140731730244758 140731730247631 0
[pid=23702/tid=23715] ppid=23699 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23702/task/23715/stat : 23715 (java) S 23699 23699 21590 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419391900 27969658880 27163 33554432000 4194304 4196468 140731730236544 140268693968976 140271367804827 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35315712 140731730244330 140731730244758 140731730244758 140731730247631 0
[pid=23702/tid=23716] ppid=23699 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23702/task/23716/stat : 23716 (java) S 23699 23699 21590 0 -1 1077944384 298 0 0 0 0 0 0 0 20 0 20 0 419391900 27969658880 27163 33554432000 4194304 4196468 140731730236544 140269618952816 140271367797378 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35315712 140731730244330 140731730244758 140731730244758 140731730247631 0
[pid=23702/tid=23717] ppid=23699 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23702/task/23717/stat : 23717 (java) R 23699 23699 21590 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419391900 27969658880 27163 33554432000 4194304 4196468 140731730236544 140269617900016 140271367797378 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35315712 140731730244330 140731730244758 140731730244758 140731730247631 0
[pid=23702/tid=23718] ppid=23699 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23702/task/23718/stat : 23718 (java) S 23699 23699 21590 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419391900 27969658880 27163 33554432000 4194304 4196468 140731730236544 140269616847728 140271367797378 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35315712 140731730244330 140731730244758 140731730244758 140731730247631 0
[pid=23702/tid=23719] ppid=23699 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23702/task/23719/stat : 23719 (java) R 23699 23699 21590 0 -1 4202560 290 0 0 0 0 0 0 0 20 0 20 0 419391900 27969658880 27163 33554432000 4194304 4196468 140731730236544 140269615794928 140271346150881 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35315712 140731730244330 140731730244758 140731730244758 140731730247631 0
[pid=23702/tid=23720] ppid=23699 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23702/task/23720/stat : 23720 (java) S 23699 23699 21590 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419391900 27969658880 27163 33554432000 4194304 4196468 140731730236544 140268196063584 140271367796437 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35315712 140731730244330 140731730244758 140731730244758 140731730247631 0
[pid=23702/tid=23721] ppid=23699 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/23702/task/23721/stat : 23721 (java) S 23699 23699 21590 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419391901 27969658880 27163 33554432000 4194304 4196468 140731730236544 140269614741808 140271367797378 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35315712 140731730244330 140731730244758 140731730244758 140731730247631 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 109788 KiB

[startup+0.211913 s]*
/proc/loadavg: 6.46 7.10 6.47 2/217 23721
/proc/meminfo: memFree=31351172/32770624 swapFree=67004140/67108860
[pid=23699] ppid=23696 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/23699/stat : 23699 (scop.sh) S 23696 23699 21590 0 -1 4202496 558 319 0 0 0 0 0 0 20 0 1 0 419391892 115843072 349 33554432000 4194304 5098028 140730716803888 140730716801144 140279182824060 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 20918272 140730716807972 140730716808300 140730716808300 140730716811213 0
/proc/23699/statm: 28282 349 296 221 0 87 0
[pid=23702] ppid=23699 vsize=27314120 memory=125676 CPUtime=0.25 cores=0-7
/proc/23702/stat : 23702 (java) S 23699 23699 21590 0 -1 1077944320 12140 0 0 0 21 4 0 0 20 0 20 0 419391893 27969658880 31419 33554432000 4194304 4196468 140731730236544 140731730219088 140271367786231 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 35315712 140731730244330 140731730244758 140731730244758 140731730247631 0
/proc/23702/statm: 6828530 31419 2973 1 0 6790935 0
[pid=23702/tid=23703] ppid=23699 vsize=27314120 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/23702/task/23703/stat : 23703 (java) R 23699 23699 21590 0 -1 4202560 9878 0 0 0 16 3 0 0 20 0 20 0 419391893 27969658880 31419 33554432000 4194304 4196468 140731730236544 140271339610688 140271367800118 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35315712 140731730244330 140731730244758 140731730244758 140731730247631 0
[pid=23702/tid=23704] ppid=23699 vsize=27314120 memory=331 CPUtime=0 cores=0-7
/proc/23702/task/23704/stat : 23704 (java) S 23699 23699 21590 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419391895 27969658880 31419 33554432000 4194304 4196468 140731730236544 140271372028304 140271367796437 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35315712 140731730244330 140731730244758 140731730244758 140731730247631 0
[pid=23702/tid=23705] ppid=23699 vsize=27314120 memory=4051468666256123552 CPUtime=0 cores=0-7
/proc/23702/task/23705/stat : 23705 (java) S 23699 23699 21590 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 20 0 419391895 27969658880 31419 33554432000 4194304 4196468 140731730236544 140271155423504 140271367796437 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35315712 140731730244330 140731730244758 140731730244758 140731730247631 0
[pid=23702/tid=23706] ppid=23699 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/23702/task/23706/stat : 23706 (java) S 23699 23699 21590 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419391895 27969658880 31419 33554432000 4194304 4196468 140731730236544 140271154371216 140271367796437 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35315712 140731730244330 140731730244758 140731730244758 140731730247631 0
[pid=23702/tid=23707] ppid=23699 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23702/task/23707/stat : 23707 (java) S 23699 23699 21590 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419391895 27969658880 31419 33554432000 4194304 4196468 140731730236544 140271153318416 140271367796437 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35315712 140731730244330 140731730244758 140731730244758 140731730247631 0
[pid=23702/tid=23708] ppid=23699 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23702/task/23708/stat : 23708 (java) S 23699 23699 21590 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419391895 27969658880 31419 33554432000 4194304 4196468 140731730236544 140271152266128 140271367796437 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35315712 140731730244330 140731730244758 140731730244758 140731730247631 0
[pid=23702/tid=23709] ppid=23699 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/23702/task/23709/stat : 23709 (java) S 23699 23699 21590 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419391895 27969658880 31419 33554432000 4194304 4196468 140731730236544 140271151213328 140271367796437 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35315712 140731730244330 140731730244758 140731730244758 140731730247631 0
[pid=23702/tid=23710] ppid=23699 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23702/task/23710/stat : 23710 (java) S 23699 23699 21590 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419391895 27969658880 31419 33554432000 4194304 4196468 140731730236544 140271150161040 140271367796437 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35315712 140731730244330 140731730244758 140731730244758 140731730247631 0
[pid=23702/tid=23711] ppid=23699 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23702/task/23711/stat : 23711 (java) S 23699 23699 21590 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419391895 27969658880 31419 33554432000 4194304 4196468 140731730236544 140270783945744 140271367796437 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35315712 140731730244330 140731730244758 140731730244758 140731730247631 0
[pid=23702/tid=23712] ppid=23699 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23702/task/23712/stat : 23712 (java) S 23699 23699 21590 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419391897 27969658880 31419 33554432000 4194304 4196468 140731730236544 140269620004976 140271367797378 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35315712 140731730244330 140731730244758 140731730244758 140731730247631 0
[pid=23702/tid=23713] ppid=23699 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23702/task/23713/stat : 23713 (java) S 23699 23699 21590 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 419391897 27969658880 31419 33554432000 4194304 4196468 140731730236544 140269336912672 140271367796437 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35315712 140731730244330 140731730244758 140731730244758 140731730247631 0
[pid=23702/tid=23714] ppid=23699 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23702/task/23714/stat : 23714 (java) S 23699 23699 21590 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419391898 27969658880 31419 33554432000 4194304 4196468 140731730236544 140269068477552 140271367796437 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35315712 140731730244330 140731730244758 140731730244758 140731730247631 0
[pid=23702/tid=23715] ppid=23699 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23702/task/23715/stat : 23715 (java) S 23699 23699 21590 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419391900 27969658880 31419 33554432000 4194304 4196468 140731730236544 140268693968976 140271367804827 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35315712 140731730244330 140731730244758 140731730244758 140731730247631 0
[pid=23702/tid=23716] ppid=23699 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23702/task/23716/stat : 23716 (java) S 23699 23699 21590 0 -1 1077944384 332 0 0 0 0 0 0 0 20 0 20 0 419391900 27969658880 31419 33554432000 4194304 4196468 140731730236544 140269618952816 140271367797378 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35315712 140731730244330 140731730244758 140731730244758 140731730247631 0
[pid=23702/tid=23717] ppid=23699 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23702/task/23717/stat : 23717 (java) S 23699 23699 21590 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419391900 27969658880 31419 33554432000 4194304 4196468 140731730236544 140269617900016 140271367797378 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35315712 140731730244330 140731730244758 140731730244758 140731730247631 0
[pid=23702/tid=23718] ppid=23699 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/23702/task/23718/stat : 23718 (java) S 23699 23699 21590 0 -1 1077944384 142 0 0 0 0 0 0 0 20 0 20 0 419391900 27969658880 31419 33554432000 4194304 4196468 140731730236544 140269616847728 140271367797378 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35315712 140731730244330 140731730244758 140731730244758 140731730247631 0
[pid=23702/tid=23719] ppid=23699 vsize=27314120 memory=-1 CPUtime=0.02 cores=0-7
/proc/23702/task/23719/stat : 23719 (java) S 23699 23699 21590 0 -1 1077944384 444 0 0 0 2 0 0 0 20 0 20 0 419391900 27969658880 31419 33554432000 4194304 4196468 140731730236544 140269615794928 140271367797378 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35315712 140731730244330 140731730244758 140731730244758 140731730247631 0
[pid=23702/tid=23720] ppid=23699 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23702/task/23720/stat : 23720 (java) S 23699 23699 21590 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419391900 27969658880 31419 33554432000 4194304 4196468 140731730236544 140268196063584 140271367796437 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35315712 140731730244330 140731730244758 140731730244758 140731730247631 0
[pid=23702/tid=23721] ppid=23699 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/23702/task/23721/stat : 23721 (java) S 23699 23699 21590 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419391901 27969658880 31419 33554432000 4194304 4196468 140731730236544 140269614741808 140271367797378 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35315712 140731730244330 140731730244758 140731730244758 140731730247631 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 127072 KiB

[startup+0.31068 s]*
/proc/loadavg: 6.46 7.10 6.47 2/217 23721
/proc/meminfo: memFree=31348256/32770624 swapFree=67004140/67108860
[pid=23699] ppid=23696 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/23699/stat : 23699 (scop.sh) S 23696 23699 21590 0 -1 4202496 558 319 0 0 0 0 0 0 20 0 1 0 419391892 115843072 349 33554432000 4194304 5098028 140730716803888 140730716801144 140279182824060 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 20918272 140730716807972 140730716808300 140730716808300 140730716811213 0
/proc/23699/statm: 28282 349 296 221 0 87 0
[pid=23702] ppid=23699 vsize=27314120 memory=129660 CPUtime=0.42 cores=0-7
/proc/23702/stat : 23702 (java) S 23699 23699 21590 0 -1 1077944320 13276 0 0 0 37 5 0 0 20 0 20 0 419391893 27969658880 32415 33554432000 4194304 4196468 140731730236544 140731730219088 140271367786231 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 35315712 140731730244330 140731730244758 140731730244758 140731730247631 0
/proc/23702/statm: 6828530 32415 3023 1 0 6790935 0
[pid=23702/tid=23703] ppid=23699 vsize=27314120 memory=6791534058613427641 CPUtime=0.3 cores=0-7
/proc/23702/task/23703/stat : 23703 (java) R 23699 23699 21590 0 -1 4202560 10819 0 0 0 26 4 0 0 20 0 20 0 419391893 27969658880 32415 33554432000 4194304 4196468 140731730236544 140271339569248 140271348061569 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35315712 140731730244330 140731730244758 140731730244758 140731730247631 0
[pid=23702/tid=23704] ppid=23699 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23702/task/23704/stat : 23704 (java) S 23699 23699 21590 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419391895 27969658880 32415 33554432000 4194304 4196468 140731730236544 140271372028304 140271367796437 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35315712 140731730244330 140731730244758 140731730244758 140731730247631 0
[pid=23702/tid=23705] ppid=23699 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23702/task/23705/stat : 23705 (java) S 23699 23699 21590 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 20 0 419391895 27969658880 32415 33554432000 4194304 4196468 140731730236544 140271155423504 140271367796437 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35315712 140731730244330 140731730244758 140731730244758 140731730247631 0
[pid=23702/tid=23706] ppid=23699 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23702/task/23706/stat : 23706 (java) S 23699 23699 21590 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419391895 27969658880 32415 33554432000 4194304 4196468 140731730236544 140271154371216 140271367796437 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35315712 140731730244330 140731730244758 140731730244758 140731730247631 0
[pid=23702/tid=23707] ppid=23699 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23702/task/23707/stat : 23707 (java) S 23699 23699 21590 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419391895 27969658880 32415 33554432000 4194304 4196468 140731730236544 140271153318416 140271367796437 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35315712 140731730244330 140731730244758 140731730244758 140731730247631 0
[pid=23702/tid=23708] ppid=23699 vsize=27314120 memory=2244 CPUtime=0 cores=0-7
/proc/23702/task/23708/stat : 23708 (java) S 23699 23699 21590 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419391895 27969658880 32415 33554432000 4194304 4196468 140731730236544 140271152266128 140271367796437 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35315712 140731730244330 140731730244758 140731730244758 140731730247631 0
[pid=23702/tid=23709] ppid=23699 vsize=27314120 memory=139745686549423 CPUtime=0 cores=0-7
/proc/23702/task/23709/stat : 23709 (java) S 23699 23699 21590 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419391895 27969658880 32415 33554432000 4194304 4196468 140731730236544 140271151213328 140271367796437 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35315712 140731730244330 140731730244758 140731730244758 140731730247631 0
[pid=23702/tid=23710] ppid=23699 vsize=27314120 memory=139745686551728 CPUtime=0 cores=0-7
/proc/23702/task/23710/stat : 23710 (java) S 23699 23699 21590 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419391895 27969658880 32415 33554432000 4194304 4196468 140731730236544 140271150161040 140271367796437 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35315712 140731730244330 140731730244758 140731730244758 140731730247631 0
[pid=23702/tid=23711] ppid=23699 vsize=27314120 memory=139745686554032 CPUtime=0 cores=0-7
/proc/23702/task/23711/stat : 23711 (java) S 23699 23699 21590 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419391895 27969658880 32415 33554432000 4194304 4196468 140731730236544 140270783945744 140271367796437 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35315712 140731730244330 140731730244758 140731730244758 140731730247631 0
[pid=23702/tid=23712] ppid=23699 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23702/task/23712/stat : 23712 (java) S 23699 23699 21590 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419391897 27969658880 32415 33554432000 4194304 4196468 140731730236544 140269620004976 140271367797378 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35315712 140731730244330 140731730244758 140731730244758 140731730247631 0
[pid=23702/tid=23713] ppid=23699 vsize=27314120 memory=279491373115024 CPUtime=0 cores=0-7
/proc/23702/task/23713/stat : 23713 (java) S 23699 23699 21590 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 419391897 27969658880 32415 33554432000 4194304 4196468 140731730236544 140269336912672 140271367796437 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35315712 140731730244330 140731730244758 140731730244758 140731730247631 0
[pid=23702/tid=23714] ppid=23699 vsize=27314120 memory=279491373121936 CPUtime=0 cores=0-7
/proc/23702/task/23714/stat : 23714 (java) S 23699 23699 21590 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419391898 27969658880 32415 33554432000 4194304 4196468 140731730236544 140269068477552 140271367796437 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35315712 140731730244330 140731730244758 140731730244758 140731730247631 0
[pid=23702/tid=23715] ppid=23699 vsize=27314120 memory=279491373063216 CPUtime=0 cores=0-7
/proc/23702/task/23715/stat : 23715 (java) S 23699 23699 21590 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419391900 27969658880 32415 33554432000 4194304 4196468 140731730236544 140268693968976 140271367804827 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35315712 140731730244330 140731730244758 140731730244758 140731730247631 0
[pid=23702/tid=23716] ppid=23699 vsize=27314120 memory=279491373135760 CPUtime=0.01 cores=0-7
/proc/23702/task/23716/stat : 23716 (java) S 23699 23699 21590 0 -1 1077944384 375 0 0 0 1 0 0 0 20 0 20 0 419391900 27969658880 32415 33554432000 4194304 4196468 140731730236544 140269618952816 140271367797378 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35315712 140731730244330 140731730244758 140731730244758 140731730247631 0
[pid=23702/tid=23717] ppid=23699 vsize=27314120 memory=279491373142672 CPUtime=0 cores=0-7
/proc/23702/task/23717/stat : 23717 (java) S 23699 23699 21590 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 419391900 27969658880 32415 33554432000 4194304 4196468 140731730236544 140269617900016 140271367797378 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35315712 140731730244330 140731730244758 140731730244758 140731730247631 0
[pid=23702/tid=23718] ppid=23699 vsize=27314120 memory=279491373140368 CPUtime=0.01 cores=0-7
/proc/23702/task/23718/stat : 23718 (java) S 23699 23699 21590 0 -1 1077944384 229 0 0 0 1 0 0 0 20 0 20 0 419391900 27969658880 32415 33554432000 4194304 4196468 140731730236544 140269616847728 140271367797378 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35315712 140731730244330 140731730244758 140731730244758 140731730247631 0
[pid=23702/tid=23719] ppid=23699 vsize=27314120 memory=279491373156528 CPUtime=0.07 cores=0-7
/proc/23702/task/23719/stat : 23719 (java) S 23699 23699 21590 0 -1 1077944384 490 0 0 0 7 0 0 0 20 0 20 0 419391900 27969658880 32415 33554432000 4194304 4196468 140731730236544 140269615794928 140271367797378 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35315712 140731730244330 140731730244758 140731730244758 140731730247631 0
[pid=23702/tid=23720] ppid=23699 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23702/task/23720/stat : 23720 (java) S 23699 23699 21590 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419391900 27969658880 32415 33554432000 4194304 4196468 140731730236544 140268196063584 140271367796437 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35315712 140731730244330 140731730244758 140731730244758 140731730247631 0
[pid=23702/tid=23721] ppid=23699 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/23702/task/23721/stat : 23721 (java) S 23699 23699 21590 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419391901 27969658880 32415 33554432000 4194304 4196468 140731730236544 140269614741808 140271367797378 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35315712 140731730244330 140731730244758 140731730244758 140731730247631 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 131056 KiB

[startup+0.701391 s]
/proc/loadavg: 6.46 7.10 6.47 2/217 23721
/proc/meminfo: memFree=31326916/32770624 swapFree=67004140/67108860
[pid=23699] ppid=23696 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/23699/stat : 23699 (scop.sh) S 23696 23699 21590 0 -1 4202496 558 319 0 0 0 0 0 0 20 0 1 0 419391892 115843072 349 33554432000 4194304 5098028 140730716803888 140730716801144 140279182824060 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 20918272 140730716807972 140730716808300 140730716808300 140730716811213 0
/proc/23699/statm: 28282 349 296 221 0 87 0
[pid=23702] ppid=23699 vsize=27320392 memory=165120 CPUtime=0.98 cores=0-7
/proc/23702/stat : 23702 (java) S 23699 23699 21590 0 -1 1077944320 20379 0 0 0 91 7 0 0 20 0 20 0 419391893 27976081408 41280 33554432000 4194304 4196468 140731730236544 140731730219088 140271367786231 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 35315712 140731730244330 140731730244758 140731730244758 140731730247631 0
/proc/23702/statm: 6830098 41280 3160 1 0 6791447 0
[pid=23702/tid=23703] ppid=23699 vsize=27320392 memory=279491373514416 CPUtime=0.68 cores=0-7
/proc/23702/task/23703/stat : 23703 (java) R 23699 23699 21590 0 -1 4202560 17434 0 0 0 62 6 0 0 20 0 20 0 419391893 27976081408 41280 33554432000 4194304 4196468 140731730236544 140271339607472 140271367808157 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35315712 140731730244330 140731730244758 140731730244758 140731730247631 0
[pid=23702/tid=23704] ppid=23699 vsize=27320392 memory=139745686758256 CPUtime=0 cores=0-7
/proc/23702/task/23704/stat : 23704 (java) S 23699 23699 21590 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419391895 27976081408 41280 33554432000 4194304 4196468 140731730236544 140271372028304 140271367796437 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35315712 140731730244330 140731730244758 140731730244758 140731730247631 0
[pid=23702/tid=23705] ppid=23699 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/23702/task/23705/stat : 23705 (java) S 23699 23699 21590 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 20 0 419391895 27976081408 41280 33554432000 4194304 4196468 140731730236544 140271155423504 140271367796437 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35315712 140731730244330 140731730244758 140731730244758 140731730247631 0
[pid=23702/tid=23706] ppid=23699 vsize=27320392 memory=2832 CPUtime=0 cores=0-7
/proc/23702/task/23706/stat : 23706 (java) S 23699 23699 21590 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419391895 27976081408 41280 33554432000 4194304 4196468 140731730236544 140271154371216 140271367796437 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35315712 140731730244330 140731730244758 140731730244758 140731730247631 0

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

/proc/23748/task/23759/stat : 23759 (manyglucose-4.1) R 23728 23699 21590 0 -1 4202560 276 0 0 0 1 0 0 0 20 0 9 0 419401490 2664689664 487288 33554432000 4194304 4454172 140728596876800 140024320019240 140025604820567 0 4 0 8388610 0 0 0 -1 2 0 0 0 0 0 6552832 6554400 23531520 140728596882281 140728596882480 140728596882480 140728596885434 0
[pid=23748/tid=23760] ppid=23728 vsize=2602236 memory=118384 CPUtime=0 cores=0-7
/proc/23748/task/23760/stat : 23760 (manyglucose-4.1) R 23728 23699 21590 0 -1 4202560 275 0 0 0 0 0 0 0 20 0 9 0 419401490 2664689664 487288 33554432000 4194304 4454172 140728596876800 140024311626536 4355035 0 4 0 8388610 0 0 0 -1 0 0 0 0 0 0 6552832 6554400 23531520 140728596882281 140728596882480 140728596882480 140728596885434 0
[pid=23748/tid=23761] ppid=23728 vsize=2602236 memory=337912 CPUtime=0 cores=0-7
/proc/23748/task/23761/stat : 23761 (manyglucose-4.1) R 23728 23699 21590 0 -1 4202560 287 0 0 0 0 0 0 0 20 0 9 0 419401490 2664689664 487288 33554432000 4194304 4454172 140728596876800 140024303233832 140025604340542 0 4 0 8388610 0 0 0 -1 3 0 0 0 0 0 6552832 6554400 23531520 140728596882281 140728596882480 140728596882480 140728596885434 0
[pid=23728/tid=23729] ppid=23699 vsize=8414124 memory=7686721470367833238 CPUtime=0.76 cores=0-7
/proc/23728/task/23729/stat : 23729 (java) S 23699 23699 21590 0 -1 1077944384 17426 0 0 0 71 5 0 0 20 0 24 0 419399852 8616062976 29611 33554432000 4194304 4196468 140724375032256 139807349206944 139807377376981 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31457280 140724375041015 140724375041174 140724375041174 140724375044047 0
[pid=23728/tid=23730] ppid=23699 vsize=8414124 memory=6656426216303648864 CPUtime=0 cores=0-7
/proc/23728/task/23730/stat : 23730 (java) S 23699 23699 21590 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419399854 8616062976 29611 33554432000 4194304 4196468 140724375032256 139807381609616 139807377376981 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31457280 140724375041015 140724375041174 140724375041174 140724375044047 0
[pid=23728/tid=23731] ppid=23699 vsize=8414124 memory=6944656592455360604 CPUtime=0 cores=0-7
/proc/23728/task/23731/stat : 23731 (java) S 23699 23699 21590 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419399854 8616062976 29611 33554432000 4194304 4196468 140724375032256 139807181777936 139807377376981 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31457280 140724375041015 140724375041174 140724375041174 140724375044047 0
[pid=23728/tid=23732] ppid=23699 vsize=8414124 memory=6944656592455360604 CPUtime=0 cores=0-7
/proc/23728/task/23732/stat : 23732 (java) S 23699 23699 21590 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419399854 8616062976 29611 33554432000 4194304 4196468 140724375032256 139807180725136 139807377376981 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31457280 140724375041015 140724375041174 140724375041174 140724375044047 0
[pid=23728/tid=23733] ppid=23699 vsize=8414124 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/23728/task/23733/stat : 23733 (java) S 23699 23699 21590 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419399854 8616062976 29611 33554432000 4194304 4196468 140724375032256 139807179672336 139807377376981 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31457280 140724375041015 140724375041174 140724375041174 140724375044047 0
[pid=23728/tid=23734] ppid=23699 vsize=8414124 memory=7367688 CPUtime=0 cores=0-7
/proc/23728/task/23734/stat : 23734 (java) S 23699 23699 21590 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419399854 8616062976 29611 33554432000 4194304 4196468 140724375032256 139807178619536 139807377376981 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31457280 140724375041015 140724375041174 140724375041174 140724375044047 0
[pid=23728/tid=23735] ppid=23699 vsize=8414124 memory=279491373243464 CPUtime=0 cores=0-7
/proc/23728/task/23735/stat : 23735 (java) S 23699 23699 21590 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419399854 8616062976 29611 33554432000 4194304 4196468 140724375032256 139807177566736 139807377376981 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31457280 140724375041015 140724375041174 140724375041174 140724375044047 0
[pid=23728/tid=23736] ppid=23699 vsize=8414124 memory=6947459256165624153 CPUtime=0 cores=0-7
/proc/23728/task/23736/stat : 23736 (java) S 23699 23699 21590 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419399854 8616062976 29611 33554432000 4194304 4196468 140724375032256 139807176513936 139807377376981 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31457280 140724375041015 140724375041174 140724375041174 140724375044047 0
[pid=23728/tid=23737] ppid=23699 vsize=8414124 memory=5937268654531635008 CPUtime=0 cores=0-7
/proc/23728/task/23737/stat : 23737 (java) S 23699 23699 21590 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419399854 8616062976 29611 33554432000 4194304 4196468 140724375032256 139807175461136 139807377376981 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31457280 140724375041015 140724375041174 140724375041174 140724375044047 0
[pid=23728/tid=23738] ppid=23699 vsize=8414124 memory=7373607955463422050 CPUtime=0 cores=0-7
/proc/23728/task/23738/stat : 23738 (java) S 23699 23699 21590 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 24 0 419399855 8616062976 29611 33554432000 4194304 4196468 140724375032256 139806470237040 139807377377922 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31457280 140724375041015 140724375041174 140724375041174 140724375044047 0
[pid=23728/tid=23739] ppid=23699 vsize=8414124 memory=784 CPUtime=0 cores=0-7
/proc/23728/task/23739/stat : 23739 (java) S 23699 23699 21590 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 419399856 8616062976 29611 33554432000 4194304 4196468 140724375032256 139805950207520 139807377376981 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31457280 140724375041015 140724375041174 140724375041174 140724375044047 0
[pid=23728/tid=23740] ppid=23699 vsize=8414124 memory=8252 CPUtime=0 cores=0-7
/proc/23728/task/23740/stat : 23740 (java) S 23699 23699 21590 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 419399856 8616062976 29611 33554432000 4194304 4196468 140724375032256 139805815985520 139807377376981 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31457280 140724375041015 140724375041174 140724375041174 140724375044047 0
[pid=23728/tid=23741] ppid=23699 vsize=8414124 memory=21720 CPUtime=0 cores=0-7
/proc/23728/task/23741/stat : 23741 (java) S 23699 23699 21590 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419399858 8616062976 29611 33554432000 4194304 4196468 140724375032256 139805441481040 139807377385371 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31457280 140724375041015 140724375041174 140724375041174 140724375044047 0
[pid=23728/tid=23742] ppid=23699 vsize=8414124 memory=496 CPUtime=0.06 cores=0-7
/proc/23728/task/23742/stat : 23742 (java) S 23699 23699 21590 0 -1 1077944384 560 0 0 0 6 0 0 0 20 0 24 0 419399859 8616062976 29611 33554432000 4194304 4196468 140724375032256 139806469183856 139807377377922 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31457280 140724375041015 140724375041174 140724375041174 140724375044047 0
[pid=23728/tid=23743] ppid=23699 vsize=8414124 memory=1564 CPUtime=0.07 cores=0-7
/proc/23728/task/23743/stat : 23743 (java) S 23699 23699 21590 0 -1 1077944384 420 0 0 0 7 0 0 0 20 0 24 0 419399859 8616062976 29611 33554432000 4194304 4196468 140724375032256 139806468131056 139807377377922 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31457280 140724375041015 140724375041174 140724375041174 140724375044047 0
[pid=23728/tid=23744] ppid=23699 vsize=8414124 memory=928 CPUtime=0.04 cores=0-7
/proc/23728/task/23744/stat : 23744 (java) S 23699 23699 21590 0 -1 1077944384 207 0 0 0 4 0 0 0 20 0 24 0 419399859 8616062976 29611 33554432000 4194304 4196468 140724375032256 139806467078256 139807377377922 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31457280 140724375041015 140724375041174 140724375041174 140724375044047 0
[pid=23728/tid=23745] ppid=23699 vsize=8414124 memory=1744 CPUtime=0.2 cores=0-7
/proc/23728/task/23745/stat : 23745 (java) S 23699 23699 21590 0 -1 1077944384 564 0 0 0 20 0 0 0 20 0 24 0 419399859 8616062976 29611 33554432000 4194304 4196468 140724375032256 139806466025456 139807377377922 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31457280 140724375041015 140724375041174 140724375041174 140724375044047 0
[pid=23728/tid=23746] ppid=23699 vsize=8414124 memory=792 CPUtime=0 cores=0-7
/proc/23728/task/23746/stat : 23746 (java) S 23699 23699 21590 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419399859 8616062976 29611 33554432000 4194304 4196468 140724375032256 139804943576160 139807377376981 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31457280 140724375041015 140724375041174 140724375041174 140724375044047 0
[pid=23728/tid=23747] ppid=23699 vsize=8414124 memory=1440 CPUtime=0 cores=0-7
/proc/23728/task/23747/stat : 23747 (java) S 23699 23699 21590 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419399859 8616062976 29611 33554432000 4194304 4196468 140724375032256 139806464973872 139807377377922 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 15 0 0 6293624 6294260 31457280 140724375041015 140724375041174 140724375041174 140724375044047 0
[pid=23728/tid=23749] ppid=23699 vsize=8414124 memory=1984 CPUtime=0 cores=0-7
/proc/23728/task/23749/stat : 23749 (java) S 23699 23699 21590 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 419399926 8616062976 29611 33554432000 4194304 4196468 140724375032256 139806457497152 139807377391385 0 4 2 25189581 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 31457280 140724375041015 140724375041174 140724375041174 140724375044047 0
[pid=23728/tid=23751] ppid=23699 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/23728/task/23751/stat : 23751 (java) S 23699 23699 21590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 24 0 419399926 8616062976 29611 33554432000 4194304 4196468 140724375032256 139804272475792 139807377388701 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 31457280 140724375041015 140724375041174 140724375041174 140724375044047 0
[pid=23728/tid=23752] ppid=23699 vsize=8414124 memory=118384 CPUtime=0 cores=0-7
/proc/23728/task/23752/stat : 23752 (java) S 23699 23699 21590 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 419399926 8616062976 29611 33554432000 4194304 4196468 140724375032256 139804540911120 139807377388701 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 31457280 140724375041015 140724375041174 140724375041174 140724375044047 0
[pid=23728/tid=23753] ppid=23699 vsize=8414124 memory=618740 CPUtime=0 cores=0-7
/proc/23728/task/23753/stat : 23753 (java) S 23699 23699 21590 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 24 0 419399928 8616062976 29611 33554432000 4194304 4196468 140724375032256 139804004047920 139807377376981 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31457280 140724375041015 140724375041174 140724375041174 140724375044047 0
Current children cumulated CPU time: 124.73 s
Current children cumulated vsize: 11129488 KiB
Current children cumulated memory: 2069072 KiB

[startup+96.4014 s]
/proc/loadavg: 2.51 5.58 5.99 7/228 23761
/proc/meminfo: memFree=29348216/32770624 swapFree=67004140/67108860
[pid=23699] ppid=23696 vsize=113128 memory=1476 CPUtime=107.83 cores=0-7
/proc/23699/stat : 23699 (scop.sh) S 23696 23699 21590 0 -1 4202496 584 68819 0 0 0 0 10256 527 20 0 1 0 419391892 115843072 369 33554432000 4194304 5098028 140730716803888 140730716800632 140279182824060 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 20918272 140730716807972 140730716808300 140730716808300 140730716811213 0
/proc/23699/statm: 28282 369 311 221 0 87 0
[pid=23728] ppid=23699 vsize=8414124 memory=118444 CPUtime=1.2 cores=0-7
/proc/23728/stat : 23728 (java) S 23699 23699 21590 0 -1 1077944320 20601 0 0 0 111 9 0 0 20 0 24 0 419399852 8616062976 29611 33554432000 4194304 4196468 140724375032256 140724375014800 139807377366775 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 31457280 140724375041015 140724375041174 140724375041174 140724375044047 0
/proc/23728/statm: 2103531 29611 3200 1 0 2064875 0
[pid=23748] ppid=23728 vsize=2602236 memory=2054752 CPUtime=17.42 cores=0-7
/proc/23748/stat : 23748 (manyglucose-4.1) S 23728 23699 21590 0 -1 1077944320 370821 0 0 0 1670 72 0 0 20 0 9 0 419399926 2664689664 513688 33554432000 4194304 4454172 140728596876800 140728596875200 140025619053186 0 4 0 8388610 18446744073709551615 0 0 17 3 0 0 0 0 0 6552832 6554400 23531520 140728596882281 140728596882480 140728596882480 140728596885434 0
/proc/23748/statm: 650559 513688 389 64 0 646227 0
[pid=23748/tid=23754] ppid=23728 vsize=2602236 memory=4104 CPUtime=0.21 cores=0-7
/proc/23748/task/23754/stat : 23754 (manyglucose-4.1) D 23728 23699 21590 0 -1 4202560 3681 0 0 0 19 2 0 0 20 0 9 0 419401489 2664689664 513688 33554432000 4194304 4454172 140728596876800 140025411349288 140025604820567 0 4 0 8388610 18446744071582151463 0 0 -1 4 0 0 0 0 0 6552832 6554400 23531520 140728596882281 140728596882480 140728596882480 140728596885434 0
[pid=23748/tid=23755] ppid=23728 vsize=2602236 memory=1412 CPUtime=0.24 cores=0-7
/proc/23748/task/23755/stat : 23755 (manyglucose-4.1) R 23728 23699 21590 0 -1 4202560 3068 0 0 0 22 2 0 0 20 0 9 0 419401489 2664689664 513688 33554432000 4194304 4454172 140728596876800 140024353590056 4351099 0 4 0 8388610 0 0 0 -1 2 0 0 0 0 0 6552832 6554400 23531520 140728596882281 140728596882480 140728596882480 140728596885434 0
[pid=23748/tid=23756] ppid=23728 vsize=2602236 memory=3208 CPUtime=0.23 cores=0-7
/proc/23748/task/23756/stat : 23756 (manyglucose-4.1) D 23728 23699 21590 0 -1 4202560 3849 0 0 0 21 2 0 0 20 0 9 0 419401490 2664689664 513688 33554432000 4194304 4454172 140728596876800 140024345197352 140025604820567 0 4 0 8388610 18446744071582151463 0 0 -1 6 0 0 0 0 0 6552832 6554400 23531520 140728596882281 140728596882480 140728596882480 140728596885434 0
[pid=23748/tid=23757] ppid=23728 vsize=2602236 memory=1476 CPUtime=0.19 cores=0-7
/proc/23748/task/23757/stat : 23757 (manyglucose-4.1) D 23728 23699 21590 0 -1 4202560 3682 0 0 0 16 3 0 0 20 0 9 0 419401490 2664689664 513688 33554432000 4194304 4454172 140728596876800 140024336804648 140025604820567 0 4 0 8388610 18446744071582151463 0 0 -1 3 0 0 0 0 0 6552832 6554400 23531520 140728596882281 140728596882480 140728596882480 140728596885434 0
[pid=23748/tid=23758] ppid=23728 vsize=2602236 memory=118384 CPUtime=0.21 cores=0-7
/proc/23748/task/23758/stat : 23758 (manyglucose-4.1) R 23728 23699 21590 0 -1 4202560 3981 0 0 0 19 2 0 0 20 0 9 0 419401490 2664689664 513688 33554432000 4194304 4454172 140728596876800 140024328411944 140025604340542 0 4 0 8388610 0 0 0 -1 7 0 0 0 0 0 6552832 6554400 23531520 140728596882281 140728596882480 140728596882480 140728596885434 0
[pid=23748/tid=23759] ppid=23728 vsize=2602236 memory=304828 CPUtime=0.2 cores=0-7
/proc/23748/task/23759/stat : 23759 (manyglucose-4.1) D 23728 23699 21590 0 -1 4202560 3931 0 0 0 18 2 0 0 20 0 9 0 419401490 2664689664 513688 33554432000 4194304 4454172 140728596876800 140024320019240 140025604820567 0 4 0 8388610 18446744071582151463 0 0 -1 5 0 0 0 0 0 6552832 6554400 23531520 140728596882281 140728596882480 140728596882480 140728596885434 0
[pid=23748/tid=23760] ppid=23728 vsize=2602236 memory=-7824251494390520676 CPUtime=0.24 cores=0-7
/proc/23748/task/23760/stat : 23760 (manyglucose-4.1) D 23728 23699 21590 0 -1 4202560 3306 0 0 0 22 2 0 0 20 0 9 0 419401490 2664689664 513688 33554432000 4194304 4454172 140728596876800 140024311626536 140025604820567 0 4 0 8388610 18446744071582151463 0 0 -1 0 0 0 0 0 0 6552832 6554400 23531520 140728596882281 140728596882480 140728596882480 140728596885434 0
[pid=23748/tid=23761] ppid=23728 vsize=2602236 memory=4872558044660077418 CPUtime=0.19 cores=0-7
/proc/23748/task/23761/stat : 23761 (manyglucose-4.1) D 23728 23699 21590 0 -1 4202560 3251 0 0 0 17 2 0 0 20 0 9 0 419401490 2664689664 513688 33554432000 4194304 4454172 140728596876800 140024303233832 140025604820567 0 4 0 8388610 18446744071582151463 0 0 -1 1 0 0 0 0 0 6552832 6554400 23531520 140728596882281 140728596882480 140728596882480 140728596885434 0
[pid=23728/tid=23729] ppid=23699 vsize=8414124 memory=1476 CPUtime=0.76 cores=0-7
/proc/23728/task/23729/stat : 23729 (java) S 23699 23699 21590 0 -1 1077944384 17426 0 0 0 71 5 0 0 20 0 24 0 419399852 8616062976 29611 33554432000 4194304 4196468 140724375032256 139807349206944 139807377376981 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31457280 140724375041015 140724375041174 140724375041174 140724375044047 0
[pid=23728/tid=23730] ppid=23699 vsize=8414124 memory=118384 CPUtime=0 cores=0-7
/proc/23728/task/23730/stat : 23730 (java) S 23699 23699 21590 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419399854 8616062976 29611 33554432000 4194304 4196468 140724375032256 139807381609616 139807377376981 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31457280 140724375041015 140724375041174 140724375041174 140724375044047 0
[pid=23728/tid=23731] ppid=23699 vsize=8414124 memory=1572956 CPUtime=0 cores=0-7
/proc/23728/task/23731/stat : 23731 (java) S 23699 23699 21590 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419399854 8616062976 29611 33554432000 4194304 4196468 140724375032256 139807181777936 139807377376981 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31457280 140724375041015 140724375041174 140724375041174 140724375044047 0
[pid=23728/tid=23732] ppid=23699 vsize=8414124 memory=4104 CPUtime=0 cores=0-7
/proc/23728/task/23732/stat : 23732 (java) S 23699 23699 21590 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419399854 8616062976 29611 33554432000 4194304 4196468 140724375032256 139807180725136 139807377376981 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31457280 140724375041015 140724375041174 140724375041174 140724375044047 0
[pid=23728/tid=23733] ppid=23699 vsize=8414124 memory=1412 CPUtime=0 cores=0-7
/proc/23728/task/23733/stat : 23733 (java) S 23699 23699 21590 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419399854 8616062976 29611 33554432000 4194304 4196468 140724375032256 139807179672336 139807377376981 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31457280 140724375041015 140724375041174 140724375041174 140724375044047 0
[pid=23728/tid=23734] ppid=23699 vsize=8414124 memory=3268 CPUtime=0 cores=0-7
/proc/23728/task/23734/stat : 23734 (java) S 23699 23699 21590 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419399854 8616062976 29611 33554432000 4194304 4196468 140724375032256 139807178619536 139807377376981 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31457280 140724375041015 140724375041174 140724375041174 140724375044047 0
[pid=23728/tid=23735] ppid=23699 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/23728/task/23735/stat : 23735 (java) S 23699 23699 21590 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419399854 8616062976 29611 33554432000 4194304 4196468 140724375032256 139807177566736 139807377376981 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31457280 140724375041015 140724375041174 140724375041174 140724375044047 0
[pid=23728/tid=23736] ppid=23699 vsize=8414124 memory=118384 CPUtime=0 cores=0-7
/proc/23728/task/23736/stat : 23736 (java) S 23699 23699 21590 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419399854 8616062976 29611 33554432000 4194304 4196468 140724375032256 139807176513936 139807377376981 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31457280 140724375041015 140724375041174 140724375041174 140724375044047 0
[pid=23728/tid=23737] ppid=23699 vsize=8414124 memory=337912 CPUtime=0 cores=0-7
/proc/23728/task/23737/stat : 23737 (java) S 23699 23699 21590 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419399854 8616062976 29611 33554432000 4194304 4196468 140724375032256 139807175461136 139807377376981 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31457280 140724375041015 140724375041174 140724375041174 140724375044047 0
[pid=23728/tid=23738] ppid=23699 vsize=8414124 memory=-7824251494390520676 CPUtime=0 cores=0-7
/proc/23728/task/23738/stat : 23738 (java) S 23699 23699 21590 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 24 0 419399855 8616062976 29611 33554432000 4194304 4196468 140724375032256 139806470237040 139807377377922 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31457280 140724375041015 140724375041174 140724375041174 140724375044047 0
[pid=23728/tid=23739] ppid=23699 vsize=8414124 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/23728/task/23739/stat : 23739 (java) S 23699 23699 21590 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 419399856 8616062976 29611 33554432000 4194304 4196468 140724375032256 139805950207520 139807377376981 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31457280 140724375041015 140724375041174 140724375041174 140724375044047 0
[pid=23728/tid=23740] ppid=23699 vsize=8414124 memory=804 CPUtime=0 cores=0-7
/proc/23728/task/23740/stat : 23740 (java) S 23699 23699 21590 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 419399856 8616062976 29611 33554432000 4194304 4196468 140724375032256 139805815985520 139807377376981 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31457280 140724375041015 140724375041174 140724375041174 140724375044047 0
[pid=23728/tid=23741] ppid=23699 vsize=8414124 memory=1660 CPUtime=0 cores=0-7
/proc/23728/task/23741/stat : 23741 (java) S 23699 23699 21590 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419399858 8616062976 29611 33554432000 4194304 4196468 140724375032256 139805441481040 139807377385371 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31457280 140724375041015 140724375041174 140724375041174 140724375044047 0
[pid=23728/tid=23742] ppid=23699 vsize=8414124 memory=1804 CPUtime=0.06 cores=0-7
/proc/23728/task/23742/stat : 23742 (java) S 23699 23699 21590 0 -1 1077944384 560 0 0 0 6 0 0 0 20 0 24 0 419399859 8616062976 29611 33554432000 4194304 4196468 140724375032256 139806469183856 139807377377922 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31457280 140724375041015 140724375041174 140724375041174 140724375044047 0
[pid=23728/tid=23743] ppid=23699 vsize=8414124 memory=118384 CPUtime=0.07 cores=0-7
/proc/23728/task/23743/stat : 23743 (java) S 23699 23699 21590 0 -1 1077944384 420 0 0 0 7 0 0 0 20 0 24 0 419399859 8616062976 29611 33554432000 4194304 4196468 140724375032256 139806468131056 139807377377922 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31457280 140724375041015 140724375041174 140724375041174 140724375044047 0
[pid=23728/tid=23744] ppid=23699 vsize=8414124 memory=7686721470367833238 CPUtime=0.04 cores=0-7
/proc/23728/task/23744/stat : 23744 (java) S 23699 23699 21590 0 -1 1077944384 207 0 0 0 4 0 0 0 20 0 24 0 419399859 8616062976 29611 33554432000 4194304 4196468 140724375032256 139806467078256 139807377377922 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31457280 140724375041015 140724375041174 140724375041174 140724375044047 0
[pid=23728/tid=23745] ppid=23699 vsize=8414124 memory=1768 CPUtime=0.2 cores=0-7
/proc/23728/task/23745/stat : 23745 (java) S 23699 23699 21590 0 -1 1077944384 564 0 0 0 20 0 0 0 20 0 24 0 419399859 8616062976 29611 33554432000 4194304 4196468 140724375032256 139806466025456 139807377377922 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31457280 140724375041015 140724375041174 140724375041174 140724375044047 0
[pid=23728/tid=23746] ppid=23699 vsize=8414124 memory=111628 CPUtime=0 cores=0-7
/proc/23728/task/23746/stat : 23746 (java) S 23699 23699 21590 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419399859 8616062976 29611 33554432000 4194304 4196468 140724375032256 139804943576160 139807377376981 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31457280 140724375041015 140724375041174 140724375041174 140724375044047 0
[pid=23728/tid=23747] ppid=23699 vsize=8414124 memory=804 CPUtime=0 cores=0-7
/proc/23728/task/23747/stat : 23747 (java) S 23699 23699 21590 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419399859 8616062976 29611 33554432000 4194304 4196468 140724375032256 139806464973872 139807377377922 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 15 0 0 6293624 6294260 31457280 140724375041015 140724375041174 140724375041174 140724375044047 0
[pid=23728/tid=23749] ppid=23699 vsize=8414124 memory=1660 CPUtime=0 cores=0-7
/proc/23728/task/23749/stat : 23749 (java) S 23699 23699 21590 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 419399926 8616062976 29611 33554432000 4194304 4196468 140724375032256 139806457497152 139807377391385 0 4 2 25189581 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 31457280 140724375041015 140724375041174 140724375041174 140724375044047 0
[pid=23728/tid=23751] ppid=23699 vsize=8414124 memory=1804 CPUtime=0 cores=0-7
/proc/23728/task/23751/stat : 23751 (java) S 23699 23699 21590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 24 0 419399926 8616062976 29611 33554432000 4194304 4196468 140724375032256 139804272475792 139807377388701 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 31457280 140724375041015 140724375041174 140724375041174 140724375044047 0
[pid=23728/tid=23752] ppid=23699 vsize=8414124 memory=920 CPUtime=0 cores=0-7
/proc/23728/task/23752/stat : 23752 (java) S 23699 23699 21590 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 419399926 8616062976 29611 33554432000 4194304 4196468 140724375032256 139804540911120 139807377388701 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 31457280 140724375041015 140724375041174 140724375041174 140724375044047 0
[pid=23728/tid=23753] ppid=23699 vsize=8414124 memory=4736 CPUtime=0 cores=0-7
/proc/23728/task/23753/stat : 23753 (java) S 23699 23699 21590 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 24 0 419399928 8616062976 29611 33554432000 4194304 4196468 140724375032256 139804004047920 139807377376981 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31457280 140724375041015 140724375041174 140724375041174 140724375044047 0
Current children cumulated CPU time: 126.45 s
Current children cumulated vsize: 11129488 KiB
Current children cumulated memory: 2174672 KiB

[startup+96.8011 s]
/proc/loadavg: 2.51 5.58 5.99 7/228 23761
/proc/meminfo: memFree=29348216/32770624 swapFree=67004140/67108860
[pid=23699] ppid=23696 vsize=113128 memory=1476 CPUtime=107.83 cores=0-7
/proc/23699/stat : 23699 (scop.sh) S 23696 23699 21590 0 -1 4202496 584 68819 0 0 0 0 10256 527 20 0 1 0 419391892 115843072 369 33554432000 4194304 5098028 140730716803888 140730716800632 140279182824060 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 20918272 140730716807972 140730716808300 140730716808300 140730716811213 0
/proc/23699/statm: 28282 369 311 221 0 87 0
[pid=23728] ppid=23699 vsize=8019868 memory=147684 CPUtime=19.85 cores=0-7
/proc/23728/stat : 23728 (java) R 23699 23699 21590 0 -1 1077944320 23390 374550 0 0 170 13 1722 80 20 0 19 0 419399852 8212344832 36921 33554432000 4194304 4196468 140724375032256 140724375014800 139807377366775 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 31457280 140724375041015 140724375041174 140724375041174 140724375044047 0
/proc/23728/statm: 2004967 36921 3236 1 0 1966311 0
[pid=23728/tid=23730] ppid=23699 vsize=7887764 memory=5928 CPUtime=18.02 cores=0-7
/proc/23728/task/23730/stat : 23730 (java) S 23699 23699 21590 0 -1 1077944384 1 374550 0 0 0 0 1722 80 20 0 18 0 419399854 8077070336 36934 33554432000 4194304 4196468 140724375032256 139807381609616 139807377376981 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31457280 140724375041015 140724375041174 140724375041174 140724375044047 0
[pid=23728/tid=23731] ppid=23699 vsize=7887764 memory=1056 CPUtime=18.02 cores=0-7
/proc/23728/task/23731/stat : 23731 (java) S 23699 23699 21590 0 -1 1077944384 1 374550 0 0 0 0 1722 80 20 0 18 0 419399854 8077070336 36934 33554432000 4194304 4196468 140724375032256 139807181777936 139807377376981 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31457280 140724375041015 140724375041174 140724375041174 140724375044047 0
[pid=23728/tid=23732] ppid=23699 vsize=7887764 memory=1540 CPUtime=18.02 cores=0-7
/proc/23728/task/23732/stat : 23732 (java) S 23699 23699 21590 0 -1 1077944384 1 374550 0 0 0 0 1722 80 20 0 18 0 419399854 8077070336 36938 33554432000 4194304 4196468 140724375032256 139807180725136 139807377376981 256 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31457280 140724375041015 140724375041174 140724375041174 140724375044047 0
[pid=23728/tid=23733] ppid=23699 vsize=7887764 memory=728 CPUtime=18.02 cores=0-7
/proc/23728/task/23733/stat : 23733 (java) R 23699 23699 21590 0 -1 1077944384 1 374550 0 0 0 0 1722 80 20 0 18 0 419399854 8077070336 36938 33554432000 4194304 4196468 140724375032256 139807179672336 139807377376981 256 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31457280 140724375041015 140724375041174 140724375041174 140724375044047 0
[pid=23728/tid=23734] ppid=23699 vsize=7887764 memory=3924 CPUtime=18.02 cores=0-7
/proc/23728/task/23734/stat : 23734 (java) R 23699 23699 21590 0 -1 1077944384 2 374550 0 0 0 0 1722 80 20 0 14 0 419399854 8077070336 37012 33554432000 4194304 4196468 140724375032256 139807178619536 139807377376981 256 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31457280 140724375041015 140724375041174 140724375041174 140724375044047 0
[pid=23728/tid=23735] ppid=23699 vsize=0 memory=2832 CPUtime=18.02 cores=0-7
/proc/23728/task/23735/stat : 23735 (java) X 23699 23699 21590 0 -1 4195396 1 374550 0 0 0 0 1722 80 20 0 12 0 419399854 0 0 33554432000 0 0 0 0 0 0 4 2 25189581 18446744073709551615 0 0 -1 4 0 0 0 0 0 0 0 0 0 0 0 0 0
[pid=23728/tid=23753] ppid=23699 vsize=0 memory=1036 CPUtime=18.02 cores=0-7
/proc/23728/task/23753/stat : 23753 (java) R 23699 23699 21590 0 -1 4203588 14 374550 0 0 0 0 1722 80 20 0 2 0 419399928 0 0 33554432000 0 0 0 0 0 0 4 2 25189581 18446744073709551615 0 0 -1 5 0 0 0 0 0 0 0 0 0 0 0 0 0
Current children cumulated CPU time: 127.68 s
Current children cumulated vsize: 8132996 KiB
Current children cumulated memory: 149160 KiB

Child status: 0
Real time (s): 96.8078
CPU time (s): 127.723
CPU user time (s): 121.492
CPU system time (s): 6.23157
CPU usage (%): 131.935
Max. virtual memory (cumulated for all children) (KiB): 27443924
Max. memory (cumulated for all children) (KiB): 7370352

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 121.492
system time used= 6.23157
maximum resident set size= 7370028
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 467361
page faults= 0
swaps= 0
block input operations= 0
block output operations= 134984
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 54720
involuntary context switches= 395


# summary of solver processes directly reported to runsolver:
#   pid: 23699
#   total CPU time (s): 127.723
#   total CPU user time (s): 121.492
#   total CPU system time (s): 6.23157

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.737951 second user time and 1.10742 second system time

The end

Launcher Data 

Begin job on node133 at 2019-09-14 05:24:43
IDJOB=4392570
IDBENCH=130927
IDSOLVER=2839
FILE ID=node133/4392570-1568431523
RUNJOBID= node133-1568426604-21617
PBS_JOBID= 21702289
Free space on /tmp= 59416 MiB

SOLVER NAME= Fun-sCOP hybrid+ManyGlucose (2019-06-15)
BENCH NAME= XCSP17/Subisomorphism/Subisomorphism-m1-si4-m4D/Subisomorphism-si4-m4Dr4-m256-08.xml
COMMAND LINE= DIR/scop.sh 22g DIR/scop.jar -hybrid DIR/manyglucose-4.1-27_release -model:-nthreads=NBCORE:-maxmemory=20000:-lit-scans=6000000 TMPDIR BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4392570-1568431523/watcher-4392570-1568431523 -o /tmp/evaluation-result-4392570-1568431523/solver-4392570-1568431523 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node133-1568426604-21617 --watchdog 2580  HOME/scop.sh 22g HOME/scop.jar -hybrid HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4392570-1568431523.xml

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

MD5SUM BENCH= 81c7a723557c708ecb18ed846030ca95
RANDOM SEED=441714795

node133.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.18
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.18
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.18
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.18
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:        31468600 kB
MemAvailable:   31898696 kB
Buffers:          198380 kB
Cached:           515644 kB
SwapCached:         3364 kB
Active:           399364 kB
Inactive:         318972 kB
Active(anon):      28580 kB
Inactive(anon):    16056 kB
Active(file):     370784 kB
Inactive(file):   302916 kB
Unevictable:      111224 kB
Mlocked:          111224 kB
SwapTotal:      67108860 kB
SwapFree:       67004140 kB
Dirty:             20648 kB
Writeback:             0 kB
AnonPages:        113608 kB
Mapped:            44592 kB
Shmem:             31516 kB
Slab:             173812 kB
SReclaimable:     144460 kB
SUnreclaim:        29352 kB
KernelStack:        3504 kB
PageTables:         5500 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     498284 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:      122240 kB
DirectMap2M:    33423360 kB

Free space on /tmp at the end= 59396 MiB
End job on node133 at 2019-09-14 05:26:20