Trace number 4392281

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Fun-sCOP order+ManyGlucose (2019-06-15)SAT 155.201 109.763

General information on the benchmark

NameSubisomorphism/Subisomorphism-m1-si4-bvg/
Subisomorphism-si4-b03m-m400-04.xml
MD5SUM3c35b3a34944db31f268c78e4da60e39
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.02939
Satisfiable
(Un)Satisfiability was proved
Number of variables160
Number of constraints322
Number of domains1
Minimum domain size400
Maximum domain size400
Distribution of domain sizes[{"size":400,"count":160}]
Minimum variable degree2
Maximum variable degree16
Distribution of variable degrees[{"degree":2,"count":42},{"degree":4,"count":39},{"degree":5,"count":66},{"degree":6,"count":5},{"degree":8,"count":3},{"degree":9,"count":1},{"degree":10,"count":1},{"degree":11,"count":1},{"degree":14,"count":1},{"degree":16,"count":1}]
Minimum constraint arity1
Maximum constraint arity160
Distribution of constraint arities[{"arity":1,"count":118},{"arity":2,"count":203},{"arity":160,"count":1}]
Number of extensional constraints321
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":321},{"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 -order -solver HOME/manyglucose-4.1-27_release -solverOption -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 -tmp HOME -serialFile HOME/scop-23934-serial-file.bin HOME/instance-4392281-1568431628.xml
0.66/0.54	
0.66/0.54	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
0.66/0.54	
0.66/0.56	c BEGIN-Prog: Sat Sep 14 05:26:29 CEST 2019
0.66/0.56	c PID: 23937
0.66/0.56	c IP: 172.20.3.133
0.66/0.56	c HOST: node133.alineos.net
0.66/0.57	c (0,0) Parsing Begin
1.81/1.03	c (0,0) Parsing End
1.81/1.03	c (0,0) CSP: 160 int (0 aux), 0 bool (0 aux), 322 ctr, max domain size 400
1.81/1.03	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.81/1.03	c (0,0) Constraint Name Generate Begin
1.81/1.04	c (0,0) Ctr:HOME/instance-4392281-1568431628.xml,AllDifferent:ExtensionConflict:ExtensionSupport:Var
1.81/1.04	c (0,0) Constraint Name Generate End
1.81/1.04	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.81/1.04	c (0,0) CSP to CSPinCNF Begin
16.19/7.64	c (7,7) translated 33 (10%) constraints
21.80/13.13	c (12,12) translated 65 (20%) constraints
29.44/18.89	c (18,18) translated 97 (30%) constraints
34.73/24.05	c (23,23) translated 129 (40%) constraints
39.90/29.17	c (28,28) translated 161 (50%) constraints
45.24/34.47	c (33,33) translated 194 (60%) constraints
50.55/36.74	c (36,35) translated 226 (70%) constraints
50.96/36.83	c (36,35) translated 258 (80%) constraints
50.96/36.88	c (36,35) translated 290 (90%) constraints
51.38/36.96	c (36,35) translated 322 (100%) constraints
51.38/36.97	c (36,35) ===========================================
51.38/36.97	c (36,35) Order
51.38/36.97	c (36,35) ===========================================
54.67/38.41	c (37,37) translated 66007 (10%) constraints
55.93/39.63	c (39,38) translated 132013 (20%) constraints
57.16/40.84	c (40,39) translated 198019 (30%) constraints
58.37/42.05	c (41,40) translated 264026 (40%) constraints
59.56/43.26	c (42,42) translated 330032 (50%) constraints
60.76/44.48	c (43,43) translated 396038 (60%) constraints
62.06/45.70	c (45,44) translated 462045 (70%) constraints
63.26/46.92	c (46,45) translated 528051 (80%) constraints
64.47/48.14	c (47,46) translated 594057 (90%) constraints
65.67/49.37	c (48,48) translated 660063 (100%) constraints
65.67/49.37	c (48,48) CSP to CSPinCNF End
65.78/49.41	c (48,48) CSP: 160 int (0 aux), 80794 bool (80794 aux), 660063 ctr, max domain size 400
65.78/49.41	c (48,48) Heap : 4360 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB)
65.78/49.41	c (48,48) CSPinCNF Propagation Begin
87.58/64.83	c (64,62) 12799 values, 148480 unsatisfiable literals, and 116449 valid clauses are removed
87.58/64.83	c (64,62) CSPinCNF Propagation End
87.58/64.87	c (64,62) CSP: 160 int (0 aux), 80794 bool (80794 aux), 543614 ctr, max domain size 400
87.58/64.87	c (64,62) Heap : 2284 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB)
87.58/64.88	c (64,62) Simplify CSPinCNF Begin
89.77/66.04	c (65,64) Simplify CSPinCNF End
89.77/66.09	c (65,64) CSP: 160 int (0 aux), 105410 bool (105410 aux), 568230 ctr, max domain size 400
89.77/66.09	c (65,64) Heap : 3087 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB)
89.77/66.09	c (65,64) Calculate Precise Domain Begin
89.77/66.09	c (65,64) 0 values are removed by re-calculation
89.77/66.09	c (65,64) Calculate Precise Domain End
89.87/66.14	c (65,64) CSP: 160 int (0 aux), 105410 bool (105410 aux), 568230 ctr, max domain size 400
89.87/66.14	c (65,64) Heap : 3087 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB)
89.87/66.14	c (65,64) CSPinCNF to SatSolver Begin
129.47/96.23	c (95,92) 56823 (10 %) CSP clauses are encoded (0 SAT variables, 7530964 SAT clauses)
130.03/96.78	c (96,93) 113646 (20 %) CSP clauses are encoded (0 SAT variables, 7587787 SAT clauses)
132.70/97.60	c (97,94) 170469 (30 %) CSP clauses are encoded (0 SAT variables, 7644610 SAT clauses)
133.30/98.12	c (97,94) 227292 (40 %) CSP clauses are encoded (0 SAT variables, 7701433 SAT clauses)
133.80/98.64	c (98,95) 284115 (50 %) CSP clauses are encoded (0 SAT variables, 7758256 SAT clauses)
134.31/99.20	c (98,95) 340938 (60 %) CSP clauses are encoded (0 SAT variables, 7815079 SAT clauses)
134.90/99.74	c (99,96) 397761 (70 %) CSP clauses are encoded (0 SAT variables, 7871902 SAT clauses)
135.40/100.27	c (99,96) 454584 (80 %) CSP clauses are encoded (0 SAT variables, 7928725 SAT clauses)
136.00/100.82	c (100,97) 511407 (90 %) CSP clauses are encoded (0 SAT variables, 7985548 SAT clauses)
136.50/101.36	c (100,97) 568230 (100 %) CSP clauses are encoded (0 SAT variables, 8042371 SAT clauses)
136.50/101.36	c (100,97) CSPinCNF to SatSolver End
136.50/101.36	c (100,97) Heap : 3893 MiB used (max 21103 MiB), NonHeap : 32 MiB used (max 0 MiB)
136.50/101.36	c (100,97) 151655 bool, 8042372 clause
136.50/101.36	c (100,97) Export Begin
136.61/101.47	c (100,97) Export to HOME/scop-23934-serial-file.bin
136.61/101.47	c (100,97) Export End
136.61/101.47	c (100,97) Export File Size: 0.03 MB
136.61/101.47	c (100,97) 0,0,48,64,65,65,100,STOP-AFTER(DIMACS)
136.61/101.47	c END-Prog: Sat Sep 14 05:28:10 CEST 2019
0.00/101.53	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-23934-serial-file.bin
136.83/101.99	c (0,0) Read Serial File Begin
136.83/101.99	c (0,0) HOME/scop-23934-serial-file.bin
137.75/102.22	c (0,0) Read Serial File End
137.75/102.23	
137.75/102.23	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
137.75/102.23	(Solving Process)
137.75/102.23	
137.75/102.26	c BEGIN-Prog: Sat Sep 14 05:28:11 CEST 2019
137.75/102.26	c PID: 23967
137.75/102.26	c IP: 172.20.3.133
137.75/102.26	c HOST: node133.alineos.net
137.75/102.26	c (0,0) SatSolver.solve Begin
137.75/102.26	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4392281-1568431628.xml-scop-23937.cnf
137.75/102.29	c (0,0) c
137.75/102.29	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)
137.75/102.29	c (0,0) c
137.75/102.29	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
137.75/102.29	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
137.75/102.29	c (0,0) c ========================================[ Problem Statistics ]===========================================
137.75/102.29	c (0,0) c |                                                                                                       |
140.86/105.12	c (3,0) c |  Number of variables:        151655                                                                   |
140.86/105.12	c (3,0) c |  Number of clauses:         8042372                                                                   |
140.86/105.12	c (3,0) c |  Parse time:                   2.59 s                                                                 |
140.86/105.12	c (3,0) c |                                                                                                       |
141.26/105.57	c (3,0) c | Too many clauses... No preprocessing                                                                  |
141.26/105.57	c (3,0) c |  Simplification time:          0.41 s                                                                 |
141.26/105.57	c (3,0) c |                                                                                                       |
141.26/105.57	c (3,0) c |  Generating clones                                                                                    |
142.76/107.07	c (5,0) c |  all clones generated. Memory =  4510.18Mb.                                                           |
142.76/107.07	c (5,0) c ========================================================================================================|
142.76/107.07	c (5,0) c
142.76/107.07	c (5,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
142.76/107.07	c (5,0) c
142.76/107.07	c (5,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
142.76/107.07	c (5,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
142.76/107.07	c (5,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
142.76/107.07	c (5,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
142.76/107.07	c (5,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
142.76/107.07	c (5,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
142.76/107.07	c (5,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
142.76/107.07	c (5,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
142.76/107.07	c (5,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
142.76/107.07	c (5,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
142.76/107.07	c (5,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
142.76/107.07	c (5,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
142.76/107.07	c (5,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
142.76/107.07	c (5,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
142.76/107.07	c (5,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
142.76/107.07	c (5,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
142.76/107.07	c (5,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
142.76/107.07	c (5,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
142.76/107.07	c (5,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
154.19/109.37	c (7,0) c
154.19/109.37	c (7,0) c real time : 7.08766 s
154.19/109.37	c (7,0) c cpu time  : 13.157 s
154.19/109.37	c (7,0) c
154.19/109.37	c (7,0) c
154.19/109.37	c (7,0) c
154.19/109.37	c (7,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
154.19/109.37	c (7,0) c
154.19/109.37	c (7,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
154.19/109.37	c (7,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
154.19/109.37	c (7,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
154.19/109.37	c (7,0) c | Conflicts     |            1208 |        151 |        146 |        104 |        104 |        229 |        136 |        118 |        220 |
154.19/109.37	c (7,0) c | Decisions     |            8369 |       1110 |        711 |        656 |        701 |       1486 |       1246 |       1281 |       1178 |
154.19/109.37	c (7,0) c | Propagations  |         4244587 |     502752 |     457899 |     527710 |     414778 |     613545 |     496533 |     556768 |     674602 |
154.19/109.37	c (7,0) c | ReduceDBs     |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
154.19/109.37	c (7,0) c | SimpDBs       |               8 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |
154.19/109.37	c (7,0) c | Restarts      |              10 |          2 |          1 |          1 |          2 |          1 |          1 |          1 |          1 |
154.19/109.37	c (7,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
154.19/109.37	c (7,0) c | PropBinClauses|         4781005 |     575494 |     536646 |     567120 |     469254 |     700351 |     538816 |     635191 |     758133 |
154.19/109.37	c (7,0) c | PropPreBlocker|       186907694 |   19112661 |   19593457 |   25508565 |   21629915 |   23835199 |   25568052 |   27850891 |   23808954 |
154.19/109.37	c (7,0) c | PropNotBlocker|        77781408 |    9440060 |    9653714 |    9281744 |    8096336 |   10859038 |    9491231 |   10046585 |   10912700 |
154.19/109.37	c (7,0) c | LitFullScans  |       273607522 |   30022936 |   30130229 |   35719317 |   30613606 |   36042888 |   36018040 |   39030888 |   36029618 |
154.19/109.37	c (7,0) c | LitScanFracts |           33984 |       6493 |       3465 |       2848 |       5318 |       3320 |       6168 |       3145 |       3227 |
154.19/109.37	c (7,0) c | DecisionLevel0|              94 |          7 |         13 |          5 |         12 |          9 |         11 |          3 |         34 |
154.19/109.37	c (7,0) c | Periods       |              44 |          5 |          5 |          5 |          5 |          6 |          6 |          6 |          6 |
154.19/109.37	c (7,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
154.19/109.37	c (7,0) c | Avg_Trail     |                 |      35135 |      24043 |      48689 |      57233 |      24317 |      68710 |      35992 |      26764 |
154.19/109.37	c (7,0) c | Avg_DL        |                 |         78 |         32 |         70 |         49 |         29 |         74 |        106 |         19 |
154.19/109.37	c (7,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
154.19/109.37	c (7,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
154.19/109.37	c (7,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
154.19/109.37	c (7,0) c | Exported      |             182 |         21 |         23 |         12 |          9 |         43 |         18 |         14 |         42 |
154.19/109.37	c (7,0) c | Imported      |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
154.19/109.37	c (7,0) c | Good          |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
154.19/109.37	c (7,0) c | Purge         |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
154.19/109.37	c (7,0) c | Promoted      |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
154.19/109.37	c (7,0) c | Remove_Imp    |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
154.19/109.37	c (7,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
154.19/109.37	c (7,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
154.19/109.37	c (7,0) c | Unaries       |                 |          5 |         12 |          4 |         10 |          8 |         10 |          2 |         33 |
154.19/109.37	c (7,0) c | Binaries      |                 |          7 |          9 |          5 |          7 |         18 |          6 |          4 |         26 |
154.19/109.37	c (7,0) c | Glues         |                 |         21 |         23 |         12 |          9 |         43 |         18 |         14 |         42 |
154.19/109.37	c (7,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
154.19/109.37	c (7,0) c | Orig_Seen     |             0 % |      14151 |       9875 |       3463 |       5463 |      12129 |       6948 |       8788 |       8513 |
154.19/109.37	c (7,0) c | Diff Orig seen|                 |      10688 |       6412 |      X     |       2000 |       8666 |       3485 |       5325 |       5050 |
154.19/109.37	c (7,0) c | Hamming       |             9 % |      20151 |      15999 |      X     |      16394 |      16717 |      14010 |       8516 |      14280 |
154.19/109.37	c (7,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
154.19/109.37	c (7,0) c | RunningTime   |                 |    2.1 100%|    2.3 100%|    2.1 100%|    2.2 100%|    1.9 100%|    2.1 100%|    1.8 100%|    2.2 100%|
154.19/109.37	c (7,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%|
154.19/109.37	c (7,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%|
154.19/109.37	c (7,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%|
154.19/109.37	c (7,0) c | SolvingTime   |                 |    2.1     |    2.3     |    2.1     |    2.2     |    1.9     |    2.1     |    1.8     |    2.2     |
154.19/109.37	c (7,0) c | PropagationTim|                 |    2.0  98%|    2.3  99%|    2.0  99%|    2.1  99%|    1.9  98%|    2.0  99%|    1.8  99%|    2.2  98%|
154.19/109.38	c (7,0) c | AnalysisTime  |                 |    0.0   1%|    0.0   1%|    0.0   0%|    0.0   1%|    0.0   1%|    0.0   1%|    0.0   0%|    0.0   1%|
154.19/109.38	c (7,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%|
154.19/109.38	c (7,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%|
154.19/109.38	c (7,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%|
154.19/109.38	c (7,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%|
154.19/109.38	c (7,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
154.19/109.38	c (7,0) c
154.19/109.38	c (7,0) c
154.19/109.38	c (7,0) c Threads : 8
154.19/109.38	c (7,0) c Winner : 2
154.19/109.38	c (7,0) c Conflicts_0 : 151
154.19/109.38	c (7,0) c Conflicts_1 : 146
154.19/109.38	c (7,0) c Conflicts_2 : 104
154.19/109.38	c (7,0) c Conflicts_3 : 104
154.19/109.38	c (7,0) c Conflicts_4 : 229
154.19/109.38	c (7,0) c Conflicts_5 : 136
154.19/109.38	c (7,0) c Conflicts_6 : 118
154.19/109.38	c (7,0) c Conflicts_7 : 220
154.19/109.38	c (7,0) c Conflicts_total : 1208
154.19/109.38	c (7,0) c Conflicts_winner : 104
154.19/109.38	c (7,0) c Decisions_0 : 1110
154.19/109.38	c (7,0) c Decisions_1 : 711
154.19/109.38	c (7,0) c Decisions_2 : 656
154.19/109.38	c (7,0) c Decisions_3 : 701
154.19/109.38	c (7,0) c Decisions_4 : 1486
154.19/109.38	c (7,0) c Decisions_5 : 1246
154.19/109.38	c (7,0) c Decisions_6 : 1281
154.19/109.38	c (7,0) c Decisions_7 : 1178
154.19/109.38	c (7,0) c Decisions_total : 8369
154.19/109.38	c (7,0) c Decisions_winner : 656
154.19/109.38	c (7,0) c Propagations_0 : 502752
154.19/109.38	c (7,0) c Propagations_1 : 457899
154.19/109.38	c (7,0) c Propagations_2 : 527710
154.19/109.38	c (7,0) c Propagations_3 : 414778
154.19/109.38	c (7,0) c Propagations_4 : 613545
154.19/109.38	c (7,0) c Propagations_5 : 496533
154.19/109.38	c (7,0) c Propagations_6 : 556768
154.19/109.38	c (7,0) c Propagations_7 : 674602
154.19/109.38	c (7,0) c Propagations_total : 4244587
154.19/109.38	c (7,0) c Propagations_winner : 527710
154.19/109.38	c (7,0) c ReduceDBs_0 : 0
154.19/109.38	c (7,0) c ReduceDBs_1 : 0
154.19/109.38	c (7,0) c ReduceDBs_2 : 0
154.19/109.38	c (7,0) c ReduceDBs_3 : 0
154.19/109.38	c (7,0) c ReduceDBs_4 : 0
154.19/109.38	c (7,0) c ReduceDBs_5 : 0
154.19/109.38	c (7,0) c ReduceDBs_6 : 0
154.19/109.38	c (7,0) c ReduceDBs_7 : 0
154.19/109.38	c (7,0) c ReduceDBs_total : 0
154.19/109.38	c (7,0) c ReduceDBs_winner : 0
154.19/109.38	c (7,0) c SimpDBs_0 : 1
154.19/109.38	c (7,0) c SimpDBs_1 : 1
154.19/109.38	c (7,0) c SimpDBs_2 : 1
154.19/109.38	c (7,0) c SimpDBs_3 : 1
154.19/109.38	c (7,0) c SimpDBs_4 : 1
154.19/109.38	c (7,0) c SimpDBs_5 : 1
154.19/109.38	c (7,0) c SimpDBs_6 : 1
154.19/109.38	c (7,0) c SimpDBs_7 : 1
154.19/109.38	c (7,0) c SimpDBs_total : 8
154.19/109.38	c (7,0) c SimpDBs_winner : 1
154.19/109.38	c (7,0) c Restarts_0 : 2
154.19/109.38	c (7,0) c Restarts_1 : 1
154.19/109.38	c (7,0) c Restarts_2 : 1
154.19/109.38	c (7,0) c Restarts_3 : 2
154.19/109.38	c (7,0) c Restarts_4 : 1
154.19/109.38	c (7,0) c Restarts_5 : 1
154.19/109.38	c (7,0) c Restarts_6 : 1
154.19/109.38	c (7,0) c Restarts_7 : 1
154.19/109.38	c (7,0) c Restarts_total : 10
154.19/109.38	c (7,0) c Restarts_winner : 1
154.19/109.38	c (7,0) c ForcedImports_0 : 0
154.19/109.38	c (7,0) c ForcedImports_1 : 0
154.19/109.38	c (7,0) c ForcedImports_2 : 0
154.19/109.38	c (7,0) c ForcedImports_3 : 0
154.19/109.38	c (7,0) c ForcedImports_4 : 0
154.19/109.38	c (7,0) c ForcedImports_5 : 0
154.19/109.38	c (7,0) c ForcedImports_6 : 0
154.19/109.38	c (7,0) c ForcedImports_7 : 0
154.19/109.38	c (7,0) c ForcedImports_total : 0
154.19/109.38	c (7,0) c ForcedImports_winner : 0
154.19/109.38	c (7,0) c PropsBinClauses_0 : 575494
154.19/109.38	c (7,0) c PropsBinClauses_1 : 536646
154.19/109.38	c (7,0) c PropsBinClauses_2 : 567120
154.19/109.38	c (7,0) c PropsBinClauses_3 : 469254
154.19/109.38	c (7,0) c PropsBinClauses_4 : 700351
154.19/109.38	c (7,0) c PropsBinClauses_5 : 538816
154.19/109.38	c (7,0) c PropsBinClauses_6 : 635191
154.19/109.38	c (7,0) c PropsBinClauses_7 : 758133
154.19/109.38	c (7,0) c PropsBinClauses_total : 4781005
154.19/109.38	c (7,0) c PropsBinClauses_winner : 567120
154.19/109.38	c (7,0) c PropsPreBlocker_0 : 19112661
154.19/109.38	c (7,0) c PropsPreBlocker_1 : 19593457
154.19/109.38	c (7,0) c PropsPreBlocker_2 : 25508565
154.19/109.38	c (7,0) c PropsPreBlocker_3 : 21629915
154.19/109.38	c (7,0) c PropsPreBlocker_4 : 23835199
154.19/109.38	c (7,0) c PropsPreBlocker_5 : 25568052
154.19/109.38	c (7,0) c PropsPreBlocker_6 : 27850891
154.19/109.38	c (7,0) c PropsPreBlocker_7 : 23808954
154.19/109.38	c (7,0) c PropsPreBlocker_total : 186907694
154.19/109.38	c (7,0) c PropsPreBlocker_winner : 25508565
154.19/109.38	c (7,0) c PropsNotBlocker_0 : 9440060
154.19/109.38	c (7,0) c PropsNotBlocker_1 : 9653714
154.19/109.38	c (7,0) c PropsNotBlocker_2 : 9281744
154.19/109.38	c (7,0) c PropsNotBlocker_3 : 8096336
154.19/109.38	c (7,0) c PropsNotBlocker_4 : 10859038
154.19/109.38	c (7,0) c PropsNotBlocker_5 : 9491231
154.19/109.38	c (7,0) c PropsNotBlocker_6 : 10046585
154.19/109.38	c (7,0) c PropsNotBlocker_7 : 10912700
154.19/109.38	c (7,0) c PropsNotBlocker_total : 77781408
154.19/109.38	c (7,0) c PropsNotBlocker_winner : 9281744
154.19/109.38	c (7,0) c PropsLitFullScans_0 : 30022936
154.19/109.38	c (7,0) c PropsLitFullScans_1 : 30130229
154.19/109.38	c (7,0) c PropsLitFullScans_2 : 35719317
154.19/109.38	c (7,0) c PropsLitFullScans_3 : 30613606
154.19/109.38	c (7,0) c PropsLitFullScans_4 : 36042888
154.19/109.38	c (7,0) c PropsLitFullScans_5 : 36018040
154.19/109.38	c (7,0) c PropsLitFullScans_6 : 39030888
154.19/109.38	c (7,0) c PropsLitFullScans_7 : 36029618
154.19/109.38	c (7,0) c PropsLitFullScans_total : 273607522
154.19/109.38	c (7,0) c PropsLitFullScans_winner : 35719317
154.19/109.38	c (7,0) c LitScanFractions_0 : 6493
154.19/109.38	c (7,0) c LitScanFractions_1 : 3465
154.19/109.38	c (7,0) c LitScanFractions_2 : 2848
154.19/109.38	c (7,0) c LitScanFractions_3 : 5318
154.19/109.38	c (7,0) c LitScanFractions_4 : 3320
154.19/109.38	c (7,0) c LitScanFractions_5 : 6168
154.19/109.38	c (7,0) c LitScanFractions_6 : 3145
154.19/109.38	c (7,0) c LitScanFractions_7 : 3227
154.19/109.38	c (7,0) c LitScanFractions_total : 33984
154.19/109.38	c (7,0) c LitScanFractions_winner : 2848
154.19/109.38	c (7,0) c DecisionLevel0_0 : 7
154.19/109.38	c (7,0) c DecisionLevel0_1 : 13
154.19/109.38	c (7,0) c DecisionLevel0_2 : 5
154.19/109.38	c (7,0) c DecisionLevel0_3 : 12
154.19/109.38	c (7,0) c DecisionLevel0_4 : 9
154.19/109.38	c (7,0) c DecisionLevel0_5 : 11
154.19/109.38	c (7,0) c DecisionLevel0_6 : 3
154.19/109.38	c (7,0) c DecisionLevel0_7 : 34
154.19/109.38	c (7,0) c DecisionLevel0_total : 94
154.19/109.38	c (7,0) c DecisionLevel0_winner : 5
154.19/109.38	c (7,0) c Periods_0 : 5
154.19/109.38	c (7,0) c Periods_1 : 5
154.19/109.38	c (7,0) c Periods_2 : 5
154.19/109.38	c (7,0) c Periods_3 : 5
154.19/109.38	c (7,0) c Periods_4 : 6
154.19/109.38	c (7,0) c Periods_5 : 6
154.19/109.38	c (7,0) c Periods_6 : 6
154.19/109.38	c (7,0) c Periods_7 : 6
154.19/109.38	c (7,0) c Periods_total : 44
154.19/109.38	c (7,0) c Periods_winner : 5
154.19/109.38	c (7,0) c Margin_0 : 20
154.19/109.38	c (7,0) c Margin_1 : 20
154.19/109.38	c (7,0) c Margin_2 : 20
154.19/109.38	c (7,0) c Margin_3 : 20
154.19/109.38	c (7,0) c Margin_4 : 20
154.19/109.38	c (7,0) c Margin_5 : 20
154.19/109.38	c (7,0) c Margin_6 : 20
154.19/109.38	c (7,0) c Margin_7 : 20
154.19/109.38	c (7,0) c Margin_total : 160
154.19/109.38	c (7,0) c Margin_winner : 20
154.19/109.38	c (7,0) c Exported_0 : 21
154.19/109.38	c (7,0) c Exported_1 : 23
154.19/109.38	c (7,0) c Exported_2 : 12
154.19/109.38	c (7,0) c Exported_3 : 9
154.19/109.38	c (7,0) c Exported_4 : 43
154.19/109.38	c (7,0) c Exported_5 : 18
154.19/109.38	c (7,0) c Exported_6 : 14
154.19/109.38	c (7,0) c Exported_7 : 42
154.19/109.38	c (7,0) c Exported_total : 182
154.19/109.38	c (7,0) c Exported_winner : 12
154.19/109.38	c (7,0) c Imported_0 : 0
154.19/109.38	c (7,0) c Imported_1 : 0
154.19/109.38	c (7,0) c Imported_2 : 0
154.19/109.38	c (7,0) c Imported_3 : 0
154.19/109.38	c (7,0) c Imported_4 : 0
154.19/109.38	c (7,0) c Imported_5 : 0
154.19/109.38	c (7,0) c Imported_6 : 0
154.19/109.38	c (7,0) c Imported_7 : 0
154.19/109.38	c (7,0) c Imported_total : 0
154.19/109.38	c (7,0) c Imported_winner : 0
154.19/109.38	c (7,0) c Good_0 : 0
154.19/109.38	c (7,0) c Good_1 : 0
154.19/109.38	c (7,0) c Good_2 : 0
154.19/109.38	c (7,0) c Good_3 : 0
154.19/109.38	c (7,0) c Good_4 : 0
154.19/109.38	c (7,0) c Good_5 : 0
154.19/109.38	c (7,0) c Good_6 : 0
154.19/109.38	c (7,0) c Good_7 : 0
154.19/109.38	c (7,0) c Good_total : 0
154.19/109.38	c (7,0) c Good_winner : 0
154.19/109.38	c (7,0) c Purge_0 : 0
154.19/109.38	c (7,0) c Purge_1 : 0
154.19/109.38	c (7,0) c Purge_2 : 0
154.19/109.38	c (7,0) c Purge_3 : 0
154.19/109.38	c (7,0) c Purge_4 : 0
154.19/109.38	c (7,0) c Purge_5 : 0
154.19/109.38	c (7,0) c Purge_6 : 0
154.19/109.38	c (7,0) c Purge_7 : 0
154.19/109.38	c (7,0) c Purge_total : 0
154.19/109.38	c (7,0) c Purge_winner : 0
154.19/109.38	c (7,0) c Promoted_0 : 0
154.19/109.38	c (7,0) c Promoted_1 : 0
154.19/109.38	c (7,0) c Promoted_2 : 0
154.19/109.38	c (7,0) c Promoted_3 : 0
154.19/109.38	c (7,0) c Promoted_4 : 0
154.19/109.38	c (7,0) c Promoted_5 : 0
154.19/109.38	c (7,0) c Promoted_6 : 0
154.19/109.38	c (7,0) c Promoted_7 : 0
154.19/109.38	c (7,0) c Promoted_total : 0
154.19/109.38	c (7,0) c Promoted_winner : 0
154.19/109.38	c (7,0) c Remove_Imp_0 : 0
154.19/109.38	c (7,0) c Remove_Imp_1 : 0
154.19/109.38	c (7,0) c Remove_Imp_2 : 0
154.19/109.38	c (7,0) c Remove_Imp_3 : 0
154.19/109.38	c (7,0) c Remove_Imp_4 : 0
154.19/109.38	c (7,0) c Remove_Imp_5 : 0
154.19/109.38	c (7,0) c Remove_Imp_6 : 0
154.19/109.38	c (7,0) c Remove_Imp_7 : 0
154.19/109.38	c (7,0) c Remove_Imp_total : 0
154.19/109.38	c (7,0) c Remove_Imp_winner : 0
154.19/109.38	c (7,0) c Blocked_Reuse_0 : 0
154.19/109.38	c (7,0) c Blocked_Reuse_1 : 0
154.19/109.38	c (7,0) c Blocked_Reuse_2 : 0
154.19/109.38	c (7,0) c Blocked_Reuse_3 : 0
154.19/109.38	c (7,0) c Blocked_Reuse_4 : 0
154.19/109.38	c (7,0) c Blocked_Reuse_5 : 0
154.19/109.38	c (7,0) c Blocked_Reuse_6 : 0
154.19/109.38	c (7,0) c Blocked_Reuse_7 : 0
154.19/109.38	c (7,0) c Blocked_Reuse_total : 0
154.19/109.38	c (7,0) c Blocked_Reuse_winner : 0
154.19/109.38	c (7,0) c Unaries_0 : 5
154.19/109.38	c (7,0) c Unaries_1 : 12
154.19/109.38	c (7,0) c Unaries_2 : 4
154.19/109.38	c (7,0) c Unaries_3 : 10
154.19/109.38	c (7,0) c Unaries_4 : 8
154.19/109.38	c (7,0) c Unaries_5 : 10
154.19/109.38	c (7,0) c Unaries_6 : 2
154.19/109.38	c (7,0) c Unaries_7 : 33
154.19/109.38	c (7,0) c Unaries_total : 84
154.19/109.38	c (7,0) c Unaries_winner : 4
154.19/109.38	c (7,0) c Binaries_0 : 7
154.19/109.38	c (7,0) c Binaries_1 : 9
154.19/109.38	c (7,0) c Binaries_2 : 5
154.19/109.38	c (7,0) c Binaries_3 : 7
154.19/109.38	c (7,0) c Binaries_4 : 18
154.19/109.38	c (7,0) c Binaries_5 : 6
154.19/109.38	c (7,0) c Binaries_6 : 4
154.19/109.38	c (7,0) c Binaries_7 : 26
154.19/109.38	c (7,0) c Binaries_total : 82
154.19/109.38	c (7,0) c Binaries_winner : 5
154.19/109.38	c (7,0) c Glues_0 : 21
154.19/109.38	c (7,0) c Glues_1 : 23
154.19/109.38	c (7,0) c Glues_2 : 12
154.19/109.38	c (7,0) c Glues_3 : 9
154.19/109.38	c (7,0) c Glues_4 : 43
154.19/109.38	c (7,0) c Glues_5 : 18
154.19/109.38	c (7,0) c Glues_6 : 14
154.19/109.38	c (7,0) c Glues_7 : 42
154.19/109.38	c (7,0) c Glues_total : 182
154.19/109.38	c (7,0) c Glues_winner : 12
154.19/109.38	c (7,0) c RunningTime_0 : 2.065660
154.19/109.38	c (7,0) c RunningTime_1 : 2.291913
154.19/109.38	c (7,0) c RunningTime_2 : 2.060754
154.19/109.38	c (7,0) c RunningTime_3 : 2.158150
154.19/109.38	c (7,0) c RunningTime_4 : 1.934459
154.19/109.38	c (7,0) c RunningTime_5 : 2.056570
154.19/109.38	c (7,0) c RunningTime_6 : 1.774232
154.19/109.38	c (7,0) c RunningTime_7 : 2.189296
154.19/109.38	c (7,0) c RunningTime_total : 16.531033
154.19/109.38	c (7,0) c RunningTime_winner : 2.060754
154.19/109.38	c (7,0) c WaitingTime_0 : 0.000000
154.19/109.38	c (7,0) c WaitingTime_1 : 0.000000
154.19/109.38	c (7,0) c WaitingTime_2 : 0.000000
154.19/109.38	c (7,0) c WaitingTime_3 : 0.000000
154.19/109.38	c (7,0) c WaitingTime_4 : 0.000000
154.19/109.38	c (7,0) c WaitingTime_5 : 0.000000
154.19/109.38	c (7,0) c WaitingTime_6 : 0.000000
154.19/109.38	c (7,0) c WaitingTime_7 : 0.000000
154.19/109.38	c (7,0) c WaitingTime_total : 0.000000
154.19/109.38	c (7,0) c WaitingTime_winner : 0.000000
154.19/109.39	c (7,0) c ExchangingTime_0 : 0.000087
154.19/109.39	c (7,0) c ExchangingTime_1 : 0.000093
154.19/109.39	c (7,0) c ExchangingTime_2 : 0.000067
154.19/109.39	c (7,0) c ExchangingTime_3 : 0.000050
154.19/109.39	c (7,0) c ExchangingTime_4 : 0.000131
154.19/109.39	c (7,0) c ExchangingTime_5 : 0.000098
154.19/109.39	c (7,0) c ExchangingTime_6 : 0.000051
154.19/109.39	c (7,0) c ExchangingTime_7 : 0.000216
154.19/109.39	c (7,0) c ExchangingTime_total : 0.000792
154.19/109.39	c (7,0) c ExchangingTime_winner : 0.000067
154.19/109.39	c (7,0) c PeriodProcTime_0 : 0.000058
154.19/109.39	c (7,0) c PeriodProcTime_1 : 0.000055
154.19/109.39	c (7,0) c PeriodProcTime_2 : 0.000090
154.19/109.39	c (7,0) c PeriodProcTime_3 : 0.000073
154.19/109.39	c (7,0) c PeriodProcTime_4 : 0.000073
154.19/109.39	c (7,0) c PeriodProcTime_5 : 0.000072
154.19/109.39	c (7,0) c PeriodProcTime_6 : 0.000057
154.19/109.39	c (7,0) c PeriodProcTime_7 : 0.000147
154.19/109.39	c (7,0) c PeriodProcTime_total : 0.000624
154.19/109.39	c (7,0) c PeriodProcTime_winner : 0.000090
154.19/109.39	c (7,0) c SolvingTime_0 : 2.065804
154.19/109.39	c (7,0) c SolvingTime_1 : 2.292061
154.19/109.39	c (7,0) c SolvingTime_2 : 2.060910
154.19/109.39	c (7,0) c SolvingTime_3 : 2.158273
154.19/109.39	c (7,0) c SolvingTime_4 : 1.934664
154.19/109.39	c (7,0) c SolvingTime_5 : 2.056739
154.19/109.39	c (7,0) c SolvingTime_6 : 1.774339
154.19/109.39	c (7,0) c SolvingTime_7 : 2.189659
154.19/109.39	c (7,0) c SolvingTime_total : 16.532449
154.19/109.39	c (7,0) c SolvingTime_winner : 2.060910
154.19/109.39	c (7,0) c PropagationTime_0 : 2.034196
154.19/109.39	c (7,0) c PropagationTime_1 : 2.263297
154.19/109.39	c (7,0) c PropagationTime_2 : 2.045033
154.19/109.39	c (7,0) c PropagationTime_3 : 2.128588
154.19/109.39	c (7,0) c PropagationTime_4 : 1.904608
154.19/109.39	c (7,0) c PropagationTime_5 : 2.035243
154.19/109.39	c (7,0) c PropagationTime_6 : 1.753327
154.19/109.39	c (7,0) c PropagationTime_7 : 2.156774
154.19/109.39	c (7,0) c PropagationTime_total : 16.321065
154.19/109.39	c (7,0) c PropagationTime_winner : 2.045033
154.19/109.39	c (7,0) c AnalysisTime_0 : 0.022070
154.19/109.39	c (7,0) c AnalysisTime_1 : 0.015095
154.19/109.39	c (7,0) c AnalysisTime_2 : 0.005493
154.19/109.39	c (7,0) c AnalysisTime_3 : 0.016676
154.19/109.39	c (7,0) c AnalysisTime_4 : 0.016605
154.19/109.39	c (7,0) c AnalysisTime_5 : 0.010382
154.19/109.39	c (7,0) c AnalysisTime_6 : 0.008184
154.19/109.39	c (7,0) c AnalysisTime_7 : 0.013208
154.19/109.39	c (7,0) c AnalysisTime_total : 0.107714
154.19/109.39	c (7,0) c AnalysisTime_winner : 0.005493
154.19/109.39	c (7,0) c ReductionTime_0 : 0.000000
154.19/109.39	c (7,0) c ReductionTime_1 : 0.000000
154.19/109.39	c (7,0) c ReductionTime_2 : 0.000000
154.19/109.39	c (7,0) c ReductionTime_3 : 0.000000
154.19/109.39	c (7,0) c ReductionTime_4 : 0.000000
154.19/109.39	c (7,0) c ReductionTime_5 : 0.000000
154.19/109.39	c (7,0) c ReductionTime_6 : 0.000000
154.19/109.39	c (7,0) c ReductionTime_7 : 0.000000
154.19/109.39	c (7,0) c ReductionTime_total : 0.000000
154.19/109.39	c (7,0) c ReductionTime_winner : 0.000000
154.19/109.39	c (7,0) c SimplifyTime_0 : 0.000001
154.19/109.39	c (7,0) c SimplifyTime_1 : 0.000001
154.19/109.39	c (7,0) c SimplifyTime_2 : 0.000000
154.19/109.39	c (7,0) c SimplifyTime_3 : 0.000001
154.19/109.39	c (7,0) c SimplifyTime_4 : 0.000000
154.19/109.39	c (7,0) c SimplifyTime_5 : 0.000001
154.19/109.39	c (7,0) c SimplifyTime_6 : 0.000000
154.19/109.39	c (7,0) c SimplifyTime_7 : 0.000001
154.19/109.39	c (7,0) c SimplifyTime_total : 0.000005
154.19/109.39	c (7,0) c SimplifyTime_winner : 0.000000
154.19/109.39	c (7,0) c UsedRateTime_0 : 0.000000
154.19/109.39	c (7,0) c UsedRateTime_1 : 0.000000
154.19/109.39	c (7,0) c UsedRateTime_2 : 0.000000
154.19/109.39	c (7,0) c UsedRateTime_3 : 0.000000
154.19/109.39	c (7,0) c UsedRateTime_4 : 0.000000
154.19/109.39	c (7,0) c UsedRateTime_5 : 0.000000
154.19/109.39	c (7,0) c UsedRateTime_6 : 0.000000
154.19/109.39	c (7,0) c UsedRateTime_7 : 0.000000
154.19/109.39	c (7,0) c UsedRateTime_total : 0.000000
154.19/109.39	c (7,0) c UsedRateTime_winner : 0.000000
154.19/109.39	c (7,0) c OverlapRateTime_0 : 0.000000
154.19/109.39	c (7,0) c OverlapRateTime_1 : 0.000000
154.19/109.39	c (7,0) c OverlapRateTime_2 : 0.000000
154.19/109.39	c (7,0) c OverlapRateTime_3 : 0.000000
154.19/109.39	c (7,0) c OverlapRateTime_4 : 0.000000
154.19/109.39	c (7,0) c OverlapRateTime_5 : 0.000000
154.19/109.39	c (7,0) c OverlapRateTime_6 : 0.000000
154.19/109.39	c (7,0) c OverlapRateTime_7 : 0.000000
154.19/109.39	c (7,0) c OverlapRateTime_total : 0.000000
154.19/109.39	c (7,0) c OverlapRateTime_winner : 0.000000
154.19/109.39	c (7,0) c
154.19/109.39	c (7,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
154.19/109.39	c (7,0) c
154.19/109.39	c (7,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
154.19/109.39	c (7,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
154.19/109.39	c (7,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
154.19/109.39	c (7,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
154.19/109.39	c (7,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
154.19/109.39	c (7,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
154.19/109.39	c (7,0) c | Initial random_seed   | 1107459349 |  710288995 | 1480928407 | 1180721125 | 1260530136 | 1660342837 | 1857212774 |  682715366 |
154.19/109.39	c (7,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
154.19/109.39	c (7,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
154.19/109.39	c (7,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
154.19/109.39	c (7,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
154.19/109.39	c (7,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
154.19/109.39	c (7,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
154.19/109.39	c (7,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
154.19/109.39	c (7,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
154.19/109.39	c (7,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
154.19/109.39	c (7,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
154.19/109.39	c (7,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
154.19/109.39	c (7,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
154.19/109.39	c (7,0) 
154.19/109.39	c (7,0) s SATISFIABLE
138.37/109.57	c (7,0) SatSolver.solve End
138.37/109.57	c (7,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
138.37/109.57	c (7,0) Show results Begin
155.09/109.70	c (7,0) x[0] = 0
155.09/109.70	c (7,0) x[1] = 42
155.09/109.70	c (7,0) x[2] = 45
155.09/109.70	c (7,0) x[3] = 49
155.09/109.70	c (7,0) x[4] = 63
155.09/109.70	c (7,0) x[5] = 66
155.09/109.70	c (7,0) x[6] = 77
155.09/109.70	c (7,0) x[7] = 150
155.09/109.70	c (7,0) x[8] = 189
155.09/109.70	c (7,0) x[9] = 297
155.09/109.70	c (7,0) x[10] = 97
155.09/109.70	c (7,0) x[11] = 215
155.09/109.70	c (7,0) x[12] = 47
155.09/109.70	c (7,0) x[13] = 109
155.09/109.70	c (7,0) x[14] = 283
155.09/109.70	c (7,0) x[15] = 398
155.09/109.70	c (7,0) x[16] = 40
155.09/109.70	c (7,0) x[17] = 375
155.09/109.70	c (7,0) x[18] = 311
155.09/109.70	c (7,0) x[19] = 380
155.09/109.70	c (7,0) x[20] = 321
155.09/109.70	c (7,0) x[21] = 56
155.09/109.70	c (7,0) x[22] = 123
155.09/109.70	c (7,0) x[23] = 128
155.09/109.70	c (7,0) x[24] = 13
155.09/109.70	c (7,0) x[25] = 141
155.09/109.70	c (7,0) x[26] = 3
155.09/109.70	c (7,0) x[27] = 166
155.09/109.70	c (7,0) x[28] = 388
155.09/109.70	c (7,0) x[29] = 365
155.09/109.70	c (7,0) x[30] = 2
155.09/109.70	c (7,0) x[31] = 300
155.09/109.70	c (7,0) x[32] = 222
155.09/109.70	c (7,0) x[33] = 10
155.09/109.70	c (7,0) x[34] = 67
155.09/109.70	c (7,0) x[35] = 298
155.09/109.70	c (7,0) x[36] = 326
155.09/109.70	c (7,0) x[37] = 100
155.09/109.70	c (7,0) x[38] = 327
155.09/109.70	c (7,0) x[39] = 346
155.09/109.70	c (7,0) x[40] = 390
155.09/109.70	c (7,0) x[41] = 57
155.09/109.70	c (7,0) x[42] = 376
155.09/109.70	c (7,0) x[43] = 8
155.09/109.70	c (7,0) x[44] = 193
155.09/109.70	c (7,0) x[45] = 295
155.09/109.70	c (7,0) x[46] = 251
155.09/109.70	c (7,0) x[47] = 234
155.09/109.70	c (7,0) x[48] = 394
155.09/109.70	c (7,0) x[49] = 34
155.09/109.70	c (7,0) x[50] = 81
155.09/109.70	c (7,0) x[51] = 89
155.09/109.70	c (7,0) x[52] = 93
155.09/109.70	c (7,0) x[53] = 126
155.09/109.70	c (7,0) x[54] = 272
155.09/109.70	c (7,0) x[55] = 291
155.09/109.70	c (7,0) x[56] = 337
155.09/109.70	c (7,0) x[57] = 345
155.09/109.70	c (7,0) x[58] = 353
155.09/109.70	c (7,0) x[59] = 387
155.09/109.70	c (7,0) x[60] = 21
155.09/109.70	c (7,0) x[61] = 344
155.09/109.70	c (7,0) x[62] = 105
155.09/109.70	c (7,0) x[63] = 216
155.09/109.70	c (7,0) x[64] = 393
155.09/109.70	c (7,0) x[65] = 19
155.09/109.70	c (7,0) x[66] = 23
155.09/109.70	c (7,0) x[67] = 26
155.09/109.70	c (7,0) x[68] = 44
155.09/109.70	c (7,0) x[69] = 134
155.09/109.70	c (7,0) x[70] = 171
155.09/109.70	c (7,0) x[71] = 194
155.09/109.70	c (7,0) x[72] = 207
155.09/109.70	c (7,0) x[73] = 316
155.09/109.70	c (7,0) x[74] = 358
155.09/109.70	c (7,0) x[75] = 61
155.09/109.70	c (7,0) x[76] = 37
155.09/109.70	c (7,0) x[77] = 106
155.09/109.70	c (7,0) x[78] = 142
155.09/109.70	c (7,0) x[79] = 210
155.09/109.70	c (7,0) x[80] = 248
155.09/109.70	c (7,0) x[81] = 325
155.09/109.70	c (7,0) x[82] = 29
155.09/109.70	c (7,0) x[83] = 373
155.09/109.70	c (7,0) x[84] = 16
155.09/109.71	c (7,0) x[85] = 266
155.09/109.71	c (7,0) x[86] = 212
155.09/109.71	c (7,0) x[87] = 271
155.09/109.71	c (7,0) x[88] = 310
155.09/109.71	c (7,0) x[89] = 161
155.09/109.71	c (7,0) x[90] = 43
155.09/109.71	c (7,0) x[91] = 313
155.09/109.71	c (7,0) x[92] = 83
155.09/109.71	c (7,0) x[93] = 349
155.09/109.71	c (7,0) x[94] = 244
155.09/109.71	c (7,0) x[95] = 382
155.09/109.71	c (7,0) x[96] = 290
155.09/109.71	c (7,0) x[97] = 366
155.09/109.71	c (7,0) x[98] = 270
155.09/109.71	c (7,0) x[99] = 160
155.09/109.71	c (7,0) x[100] = 357
155.09/109.71	c (7,0) x[101] = 58
155.09/109.71	c (7,0) x[102] = 68
155.09/109.71	c (7,0) x[103] = 317
155.09/109.71	c (7,0) x[104] = 6
155.09/109.71	c (7,0) x[105] = 276
155.09/109.71	c (7,0) x[106] = 196
155.09/109.71	c (7,0) x[107] = 15
155.09/109.71	c (7,0) x[108] = 218
155.09/109.71	c (7,0) x[109] = 1
155.09/109.71	c (7,0) x[110] = 383
155.09/109.71	c (7,0) x[111] = 87
155.09/109.71	c (7,0) x[112] = 342
155.09/109.71	c (7,0) x[113] = 149
155.09/109.71	c (7,0) x[114] = 260
155.09/109.71	c (7,0) x[115] = 253
155.09/109.71	c (7,0) x[116] = 225
155.09/109.71	c (7,0) x[117] = 74
155.09/109.71	c (7,0) x[118] = 172
155.09/109.71	c (7,0) x[119] = 241
155.09/109.71	c (7,0) x[120] = 245
155.09/109.71	c (7,0) x[121] = 192
155.09/109.71	c (7,0) x[122] = 370
155.09/109.71	c (7,0) x[123] = 127
155.09/109.71	c (7,0) x[124] = 158
155.09/109.71	c (7,0) x[125] = 183
155.09/109.71	c (7,0) x[126] = 278
155.09/109.71	c (7,0) x[127] = 392
155.09/109.71	c (7,0) x[128] = 147
155.09/109.71	c (7,0) x[129] = 220
155.09/109.71	c (7,0) x[130] = 256
155.09/109.71	c (7,0) x[131] = 274
155.09/109.71	c (7,0) x[132] = 289
155.09/109.71	c (7,0) x[133] = 121
155.09/109.71	c (7,0) x[134] = 53
155.09/109.71	c (7,0) x[135] = 11
155.09/109.71	c (7,0) x[136] = 229
155.09/109.71	c (7,0) x[137] = 62
155.09/109.71	c (7,0) x[138] = 115
155.09/109.71	c (7,0) x[139] = 280
155.09/109.71	c (7,0) x[140] = 46
155.09/109.71	c (7,0) x[141] = 338
155.09/109.71	c (7,0) x[142] = 125
155.09/109.71	c (7,0) x[143] = 395
155.09/109.71	c (7,0) x[144] = 336
155.09/109.71	c (7,0) x[145] = 259
155.09/109.71	c (7,0) x[146] = 348
155.09/109.71	c (7,0) x[147] = 233
155.09/109.71	c (7,0) x[148] = 232
155.09/109.71	c (7,0) x[149] = 324
155.09/109.71	c (7,0) x[150] = 323
155.09/109.71	c (7,0) x[151] = 39
155.09/109.71	c (7,0) x[152] = 182
155.09/109.71	c (7,0) x[153] = 4
155.09/109.71	c (7,0) x[154] = 197
155.09/109.71	c (7,0) x[155] = 284
155.09/109.71	c (7,0) x[156] = 38
155.09/109.71	c (7,0) x[157] = 246
155.09/109.71	c (7,0) x[158] = 371
155.09/109.71	c (7,0) x[159] = 273
155.09/109.71	s SATISFIABLE
155.09/109.72	v <instantiation>
155.09/109.72	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] x[102] x[103] x[104] x[105] x[106] x[107] x[108] x[109] x[110] x[111] x[112] x[113] x[114] x[115] x[116] x[117] x[118] x[119] x[120] x[121] x[122] x[123] x[124] x[125] x[126] x[127] x[128] x[129] x[130] x[131] x[132] x[133] x[134] x[135] x[136] x[137] x[138] x[139] x[140] x[141] x[142] x[143] x[144] x[145] x[146] x[147] x[148] x[149] x[150] x[151] x[152] x[153] x[154] x[155] x[156] x[157] x[158] x[159]</list>
155.09/109.72	v     <values>0 42 45 49 63 66 77 150 189 297 97 215 47 109 283 398 40 375 311 380 321 56 123 128 13 141 3 166 388 365 2 300 222 10 67 298 326 100 327 346 390 57 376 8 193 295 251 234 394 34 81 89 93 126 272 291 337 345 353 387 21 344 105 216 393 19 23 26 44 134 171 194 207 316 358 61 37 106 142 210 248 325 29 373 16 266 212 271 310 161 43 313 83 349 244 382 290 366 270 160 357 58 68 317 6 276 196 15 218 1 383 87 342 149 260 253 225 74 172 241 245 192 370 127 158 183 278 392 147 220 256 274 289 121 53 11 229 62 115 280 46 338 125 395 336 259 348 233 232 324 323 39 182 4 197 284 38 246 371 273</values>
155.09/109.72	v </instantiation>
155.09/109.72	c (7,0) Show results End
155.09/109.72	c (7,0) Heap : 163 MiB used (max 3925 MiB), NonHeap : 18 MiB used (max 0 MiB)
155.09/109.72	c (7,0) 7,7,STOP-AFTER(ALL)
155.09/109.72	c END-Prog: Sat Sep 14 05:28:18 CEST 2019

Verifier Data 

OK

Watcher Data 

runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 16374 MiB (15220 MiB free)
  memory of node 1: 16384 MiB (15508 MiB free)
  node distances:
     10  21
     21  10

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


[startup+0.10014 s]*
/proc/loadavg: 2.89 5.56 5.98 2/215 23956
/proc/meminfo: memFree=31370760/32770624 swapFree=67004140/67108860
[pid=23934] ppid=23931 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/23934/stat : 23934 (scop.sh) S 23931 23934 21590 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 419402404 115843072 349 33554432000 4194304 5098028 140727753985312 140727753982568 140674320683644 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 18845696 140727753990949 140727753991276 140727753991276 140727753994189 0
/proc/23934/statm: 28282 349 296 221 0 87 0
[pid=23937] ppid=23934 vsize=27314120 memory=107656 CPUtime=0.11 cores=0-7
/proc/23937/stat : 23937 (java) S 23934 23934 21590 0 -1 1077944320 6512 0 0 0 8 3 0 0 20 0 20 0 419402405 27969658880 26914 33554432000 4194304 4196468 140729367787696 140729367770240 140012099698423 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 38768640 140729367790315 140729367790742 140729367790742 140729367793615 0
/proc/23937/statm: 6828530 26914 2801 1 0 6790935 0
[pid=23937/tid=23938] ppid=23934 vsize=27314120 memory=4134930498285298233 CPUtime=0.09 cores=0-7
/proc/23937/task/23938/stat : 23938 (java) R 23934 23934 21590 0 -1 4202560 4590 0 0 0 7 2 0 0 20 0 20 0 419402405 27969658880 26914 33554432000 4194304 4196468 140729367787696 140012071521712 140012085137584 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38768640 140729367790315 140729367790742 140729367790742 140729367793615 0
[pid=23937/tid=23939] ppid=23934 vsize=27314120 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/23937/task/23939/stat : 23939 (java) S 23934 23934 21590 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419402407 27969658880 26914 33554432000 4194304 4196468 140729367787696 140012103941136 140012099708629 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38768640 140729367790315 140729367790742 140729367790742 140729367793615 0
[pid=23937/tid=23940] ppid=23934 vsize=27314120 memory=140377459938944 CPUtime=0 cores=0-7
/proc/23937/task/23940/stat : 23940 (java) S 23934 23934 21590 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419402407 27969658880 26914 33554432000 4194304 4196468 140729367787696 140011918097552 140012099708629 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38768640 140729367790315 140729367790742 140729367790742 140729367793615 0
[pid=23937/tid=23941] ppid=23934 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23937/task/23941/stat : 23941 (java) S 23934 23934 21590 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419402407 27969658880 26914 33554432000 4194304 4196468 140729367787696 140011917044496 140012099708629 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38768640 140729367790315 140729367790742 140729367790742 140729367793615 0
[pid=23937/tid=23942] ppid=23934 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23937/task/23942/stat : 23942 (java) S 23934 23934 21590 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419402407 27969658880 26914 33554432000 4194304 4196468 140729367787696 140011915991952 140012099708629 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38768640 140729367790315 140729367790742 140729367790742 140729367793615 0
[pid=23937/tid=23943] ppid=23934 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23937/task/23943/stat : 23943 (java) S 23934 23934 21590 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419402407 27969658880 26914 33554432000 4194304 4196468 140729367787696 140011914938896 140012099708629 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38768640 140729367790315 140729367790742 140729367790742 140729367793615 0
[pid=23937/tid=23944] ppid=23934 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/23937/task/23944/stat : 23944 (java) S 23934 23934 21590 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419402407 27969658880 26914 33554432000 4194304 4196468 140729367787696 140011913886352 140012099708629 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38768640 140729367790315 140729367790742 140729367790742 140729367793615 0
[pid=23937/tid=23945] ppid=23934 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23937/task/23945/stat : 23945 (java) S 23934 23934 21590 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419402408 27969658880 26914 33554432000 4194304 4196468 140729367787696 140011912833296 140012099708629 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38768640 140729367790315 140729367790742 140729367790742 140729367793615 0
[pid=23937/tid=23946] ppid=23934 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23937/task/23946/stat : 23946 (java) S 23934 23934 21590 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419402408 27969658880 26914 33554432000 4194304 4196468 140729367787696 140011911780752 140012099708629 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38768640 140729367790315 140729367790742 140729367790742 140729367793615 0
[pid=23937/tid=23947] ppid=23934 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23937/task/23947/stat : 23947 (java) S 23934 23934 21590 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419402409 27969658880 26914 33554432000 4194304 4196468 140729367787696 140011224644336 140012099709570 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38768640 140729367790315 140729367790742 140729367790742 140729367793615 0
[pid=23937/tid=23948] ppid=23934 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23937/task/23948/stat : 23948 (java) S 23934 23934 21590 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 419402409 27969658880 26914 33554432000 4194304 4196468 140729367787696 140009826936480 140012099708629 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38768640 140729367790315 140729367790742 140729367790742 140729367793615 0
[pid=23937/tid=23949] ppid=23934 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23937/task/23949/stat : 23949 (java) S 23934 23934 21590 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 419402410 27969658880 26914 33554432000 4194304 4196468 140729367787696 140009692714224 140012099708629 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38768640 140729367790315 140729367790742 140729367790742 140729367793615 0
[pid=23937/tid=23950] ppid=23934 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23937/task/23950/stat : 23950 (java) S 23934 23934 21590 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419402412 27969658880 26914 33554432000 4194304 4196468 140729367787696 140009318210000 140012099717019 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38768640 140729367790315 140729367790742 140729367790742 140729367793615 0
[pid=23937/tid=23951] ppid=23934 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23937/task/23951/stat : 23951 (java) S 23934 23934 21590 0 -1 1077944384 307 0 0 0 0 0 0 0 20 0 20 0 419402412 27969658880 26914 33554432000 4194304 4196468 140729367787696 140011223591152 140012099709570 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38768640 140729367790315 140729367790742 140729367790742 140729367793615 0
[pid=23937/tid=23952] ppid=23934 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23937/task/23952/stat : 23952 (java) S 23934 23934 21590 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419402412 27969658880 26914 33554432000 4194304 4196468 140729367787696 140011222538608 140012099709570 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38768640 140729367790315 140729367790742 140729367790742 140729367793615 0
[pid=23937/tid=23953] ppid=23934 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23937/task/23953/stat : 23953 (java) S 23934 23934 21590 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419402412 27969658880 26914 33554432000 4194304 4196468 140729367787696 140011221485552 140012099709570 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38768640 140729367790315 140729367790742 140729367790742 140729367793615 0
[pid=23937/tid=23954] ppid=23934 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23937/task/23954/stat : 23954 (java) S 23934 23934 21590 0 -1 1077944384 258 0 0 0 0 0 0 0 20 0 20 0 419402412 27969658880 26914 33554432000 4194304 4196468 140729367787696 140011220433008 140012099709570 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38768640 140729367790315 140729367790742 140729367790742 140729367793615 0
[pid=23937/tid=23955] ppid=23934 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23937/task/23955/stat : 23955 (java) S 23934 23934 21590 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419402412 27969658880 26914 33554432000 4194304 4196468 140729367787696 140008820304864 140012099708629 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38768640 140729367790315 140729367790742 140729367790742 140729367793615 0
[pid=23937/tid=23956] ppid=23934 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/23937/task/23956/stat : 23956 (java) S 23934 23934 21590 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419402413 27969658880 26914 33554432000 4194304 4196468 140729367787696 140011219381424 140012099709570 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38768640 140729367790315 140729367790742 140729367790742 140729367793615 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 109052 KiB

[startup+0.210713 s]*
/proc/loadavg: 2.89 5.56 5.98 3/215 23956
/proc/meminfo: memFree=31352436/32770624 swapFree=67004140/67108860
[pid=23934] ppid=23931 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/23934/stat : 23934 (scop.sh) S 23931 23934 21590 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 419402404 115843072 349 33554432000 4194304 5098028 140727753985312 140727753982568 140674320683644 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 18845696 140727753990949 140727753991276 140727753991276 140727753994189 0
/proc/23934/statm: 28282 349 296 221 0 87 0
[pid=23937] ppid=23934 vsize=27314120 memory=122132 CPUtime=0.25 cores=0-7
/proc/23937/stat : 23937 (java) S 23934 23934 21590 0 -1 1077944320 11499 0 0 0 20 5 0 0 20 0 20 0 419402405 27969658880 30533 33554432000 4194304 4196468 140729367787696 140729367770240 140012099698423 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 38768640 140729367790315 140729367790742 140729367790742 140729367793615 0
/proc/23937/statm: 6828530 30533 2894 1 0 6790935 0
[pid=23937/tid=23938] ppid=23934 vsize=27314120 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/23937/task/23938/stat : 23938 (java) R 23934 23934 21590 0 -1 4202560 9177 0 0 0 16 4 0 0 20 0 20 0 419402405 27969658880 30533 33554432000 4194304 4196468 140729367787696 140012071514832 140012083778910 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38768640 140729367790315 140729367790742 140729367790742 140729367793615 0
[pid=23937/tid=23939] ppid=23934 vsize=27314120 memory=331 CPUtime=0 cores=0-7
/proc/23937/task/23939/stat : 23939 (java) S 23934 23934 21590 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419402407 27969658880 30533 33554432000 4194304 4196468 140729367787696 140012103941136 140012099708629 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38768640 140729367790315 140729367790742 140729367790742 140729367793615 0
[pid=23937/tid=23940] ppid=23934 vsize=27314120 memory=3618843358189213344 CPUtime=0 cores=0-7
/proc/23937/task/23940/stat : 23940 (java) S 23934 23934 21590 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419402407 27969658880 30533 33554432000 4194304 4196468 140729367787696 140011918097552 140012099708629 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38768640 140729367790315 140729367790742 140729367790742 140729367793615 0
[pid=23937/tid=23941] ppid=23934 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/23937/task/23941/stat : 23941 (java) S 23934 23934 21590 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419402407 27969658880 30533 33554432000 4194304 4196468 140729367787696 140011917044496 140012099708629 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38768640 140729367790315 140729367790742 140729367790742 140729367793615 0
[pid=23937/tid=23942] ppid=23934 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23937/task/23942/stat : 23942 (java) S 23934 23934 21590 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419402407 27969658880 30533 33554432000 4194304 4196468 140729367787696 140011915991952 140012099708629 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38768640 140729367790315 140729367790742 140729367790742 140729367793615 0
[pid=23937/tid=23943] ppid=23934 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23937/task/23943/stat : 23943 (java) S 23934 23934 21590 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419402407 27969658880 30533 33554432000 4194304 4196468 140729367787696 140011914938896 140012099708629 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38768640 140729367790315 140729367790742 140729367790742 140729367793615 0
[pid=23937/tid=23944] ppid=23934 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/23937/task/23944/stat : 23944 (java) S 23934 23934 21590 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419402407 27969658880 30533 33554432000 4194304 4196468 140729367787696 140011913886352 140012099708629 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38768640 140729367790315 140729367790742 140729367790742 140729367793615 0
[pid=23937/tid=23945] ppid=23934 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23937/task/23945/stat : 23945 (java) S 23934 23934 21590 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419402408 27969658880 30533 33554432000 4194304 4196468 140729367787696 140011912833296 140012099708629 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38768640 140729367790315 140729367790742 140729367790742 140729367793615 0
[pid=23937/tid=23946] ppid=23934 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23937/task/23946/stat : 23946 (java) S 23934 23934 21590 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419402408 27969658880 30533 33554432000 4194304 4196468 140729367787696 140011911780752 140012099708629 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38768640 140729367790315 140729367790742 140729367790742 140729367793615 0
[pid=23937/tid=23947] ppid=23934 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23937/task/23947/stat : 23947 (java) S 23934 23934 21590 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419402409 27969658880 30533 33554432000 4194304 4196468 140729367787696 140011224644336 140012099709570 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38768640 140729367790315 140729367790742 140729367790742 140729367793615 0
[pid=23937/tid=23948] ppid=23934 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23937/task/23948/stat : 23948 (java) S 23934 23934 21590 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 419402409 27969658880 30533 33554432000 4194304 4196468 140729367787696 140009826936480 140012099708629 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38768640 140729367790315 140729367790742 140729367790742 140729367793615 0
[pid=23937/tid=23949] ppid=23934 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23937/task/23949/stat : 23949 (java) S 23934 23934 21590 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 419402410 27969658880 30533 33554432000 4194304 4196468 140729367787696 140009692714224 140012099708629 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38768640 140729367790315 140729367790742 140729367790742 140729367793615 0
[pid=23937/tid=23950] ppid=23934 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23937/task/23950/stat : 23950 (java) S 23934 23934 21590 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419402412 27969658880 30533 33554432000 4194304 4196468 140729367787696 140009318210000 140012099717019 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38768640 140729367790315 140729367790742 140729367790742 140729367793615 0
[pid=23937/tid=23951] ppid=23934 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23937/task/23951/stat : 23951 (java) S 23934 23934 21590 0 -1 1077944384 319 0 0 0 0 0 0 0 20 0 20 0 419402412 27969658880 30533 33554432000 4194304 4196468 140729367787696 140011223591152 140012099709570 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38768640 140729367790315 140729367790742 140729367790742 140729367793615 0
[pid=23937/tid=23952] ppid=23934 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23937/task/23952/stat : 23952 (java) S 23934 23934 21590 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 20 0 419402412 27969658880 30533 33554432000 4194304 4196468 140729367787696 140011222538608 140012099709570 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38768640 140729367790315 140729367790742 140729367790742 140729367793615 0
[pid=23937/tid=23953] ppid=23934 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/23937/task/23953/stat : 23953 (java) S 23934 23934 21590 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 20 0 419402412 27969658880 30533 33554432000 4194304 4196468 140729367787696 140011221485552 140012099709570 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38768640 140729367790315 140729367790742 140729367790742 140729367793615 0
[pid=23937/tid=23954] ppid=23934 vsize=27314120 memory=-1 CPUtime=0.02 cores=0-7
/proc/23937/task/23954/stat : 23954 (java) S 23934 23934 21590 0 -1 1077944384 481 0 0 0 2 0 0 0 20 0 20 0 419402412 27969658880 30533 33554432000 4194304 4196468 140729367787696 140011220433008 140012099709570 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38768640 140729367790315 140729367790742 140729367790742 140729367793615 0
[pid=23937/tid=23955] ppid=23934 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23937/task/23955/stat : 23955 (java) S 23934 23934 21590 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419402412 27969658880 30533 33554432000 4194304 4196468 140729367787696 140008820304864 140012099708629 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38768640 140729367790315 140729367790742 140729367790742 140729367793615 0
[pid=23937/tid=23956] ppid=23934 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/23937/task/23956/stat : 23956 (java) S 23934 23934 21590 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419402413 27969658880 30533 33554432000 4194304 4196468 140729367787696 140011219381424 140012099709570 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38768640 140729367790315 140729367790742 140729367790742 140729367793615 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 123528 KiB

[startup+0.31054 s]*
/proc/loadavg: 2.89 5.56 5.98 2/215 23956
/proc/meminfo: memFree=31349396/32770624 swapFree=67004140/67108860
[pid=23934] ppid=23931 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/23934/stat : 23934 (scop.sh) S 23931 23934 21590 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 419402404 115843072 349 33554432000 4194304 5098028 140727753985312 140727753982568 140674320683644 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 18845696 140727753990949 140727753991276 140727753991276 140727753994189 0
/proc/23934/statm: 28282 349 296 221 0 87 0
[pid=23937] ppid=23934 vsize=27314120 memory=126336 CPUtime=0.43 cores=0-7
/proc/23937/stat : 23937 (java) S 23934 23934 21590 0 -1 1077944320 12448 0 0 0 38 5 0 0 20 0 20 0 419402405 27969658880 31584 33554432000 4194304 4196468 140729367787696 140729367770240 140012099698423 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 38768640 140729367790315 140729367790742 140729367790742 140729367793615 0
/proc/23937/statm: 6828530 31584 3058 1 0 6790935 0
[pid=23937/tid=23938] ppid=23934 vsize=27314120 memory=6791534058613427641 CPUtime=0.3 cores=0-7
/proc/23937/task/23938/stat : 23938 (java) R 23934 23934 21590 0 -1 4202560 9944 0 0 0 26 4 0 0 20 0 20 0 419402405 27969658880 31584 33554432000 4194304 4196468 140729367787696 140012071515920 140012081261939 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38768640 140729367790315 140729367790742 140729367790742 140729367793615 0
[pid=23937/tid=23939] ppid=23934 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23937/task/23939/stat : 23939 (java) S 23934 23934 21590 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419402407 27969658880 31584 33554432000 4194304 4196468 140729367787696 140012103941136 140012099708629 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38768640 140729367790315 140729367790742 140729367790742 140729367793615 0
[pid=23937/tid=23940] ppid=23934 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23937/task/23940/stat : 23940 (java) S 23934 23934 21590 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419402407 27969658880 31584 33554432000 4194304 4196468 140729367787696 140011918097552 140012099708629 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38768640 140729367790315 140729367790742 140729367790742 140729367793615 0
[pid=23937/tid=23941] ppid=23934 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23937/task/23941/stat : 23941 (java) S 23934 23934 21590 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419402407 27969658880 31584 33554432000 4194304 4196468 140729367787696 140011917044496 140012099708629 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38768640 140729367790315 140729367790742 140729367790742 140729367793615 0
[pid=23937/tid=23942] ppid=23934 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23937/task/23942/stat : 23942 (java) S 23934 23934 21590 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419402407 27969658880 31584 33554432000 4194304 4196468 140729367787696 140011915991952 140012099708629 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38768640 140729367790315 140729367790742 140729367790742 140729367793615 0
[pid=23937/tid=23943] ppid=23934 vsize=27314120 memory=2244 CPUtime=0 cores=0-7
/proc/23937/task/23943/stat : 23943 (java) S 23934 23934 21590 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419402407 27969658880 31584 33554432000 4194304 4196468 140729367787696 140011914938896 140012099708629 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38768640 140729367790315 140729367790742 140729367790742 140729367793615 0
[pid=23937/tid=23944] ppid=23934 vsize=27314120 memory=140377315177391 CPUtime=0 cores=0-7
/proc/23937/task/23944/stat : 23944 (java) S 23934 23934 21590 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419402407 27969658880 31584 33554432000 4194304 4196468 140729367787696 140011913886352 140012099708629 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38768640 140729367790315 140729367790742 140729367790742 140729367793615 0
[pid=23937/tid=23945] ppid=23934 vsize=27314120 memory=140377315179696 CPUtime=0 cores=0-7
/proc/23937/task/23945/stat : 23945 (java) S 23934 23934 21590 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419402408 27969658880 31584 33554432000 4194304 4196468 140729367787696 140011912833296 140012099708629 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38768640 140729367790315 140729367790742 140729367790742 140729367793615 0
[pid=23937/tid=23946] ppid=23934 vsize=27314120 memory=140377315182000 CPUtime=0 cores=0-7
/proc/23937/task/23946/stat : 23946 (java) S 23934 23934 21590 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419402408 27969658880 31584 33554432000 4194304 4196468 140729367787696 140011911780752 140012099708629 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38768640 140729367790315 140729367790742 140729367790742 140729367793615 0
[pid=23937/tid=23947] ppid=23934 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23937/task/23947/stat : 23947 (java) S 23934 23934 21590 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419402409 27969658880 31584 33554432000 4194304 4196468 140729367787696 140011224644336 140012099709570 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38768640 140729367790315 140729367790742 140729367790742 140729367793615 0
[pid=23937/tid=23948] ppid=23934 vsize=27314120 memory=280754630370960 CPUtime=0 cores=0-7
/proc/23937/task/23948/stat : 23948 (java) S 23934 23934 21590 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 419402409 27969658880 31584 33554432000 4194304 4196468 140729367787696 140009826936480 140012099708629 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38768640 140729367790315 140729367790742 140729367790742 140729367793615 0
[pid=23937/tid=23949] ppid=23934 vsize=27314120 memory=280754630377872 CPUtime=0 cores=0-7
/proc/23937/task/23949/stat : 23949 (java) S 23934 23934 21590 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 419402410 27969658880 31584 33554432000 4194304 4196468 140729367787696 140009692714224 140012099708629 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38768640 140729367790315 140729367790742 140729367790742 140729367793615 0
[pid=23937/tid=23950] ppid=23934 vsize=27314120 memory=280754630319152 CPUtime=0 cores=0-7
/proc/23937/task/23950/stat : 23950 (java) S 23934 23934 21590 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419402412 27969658880 31584 33554432000 4194304 4196468 140729367787696 140009318210000 140012099717019 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38768640 140729367790315 140729367790742 140729367790742 140729367793615 0
[pid=23937/tid=23951] ppid=23934 vsize=27314120 memory=280754630391696 CPUtime=0 cores=0-7
/proc/23937/task/23951/stat : 23951 (java) S 23934 23934 21590 0 -1 1077944384 336 0 0 0 0 0 0 0 20 0 20 0 419402412 27969658880 31584 33554432000 4194304 4196468 140729367787696 140011223591152 140012099709570 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38768640 140729367790315 140729367790742 140729367790742 140729367793615 0
[pid=23937/tid=23952] ppid=23934 vsize=27314120 memory=280754630398608 CPUtime=0.01 cores=0-7
/proc/23937/task/23952/stat : 23952 (java) S 23934 23934 21590 0 -1 1077944384 91 0 0 0 1 0 0 0 20 0 20 0 419402412 27969658880 31584 33554432000 4194304 4196468 140729367787696 140011222538608 140012099709570 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38768640 140729367790315 140729367790742 140729367790742 140729367793615 0
[pid=23937/tid=23953] ppid=23934 vsize=27314120 memory=280754630396304 CPUtime=0.02 cores=0-7
/proc/23937/task/23953/stat : 23953 (java) R 23934 23934 21590 0 -1 4202560 217 0 0 0 2 0 0 0 20 0 20 0 419402412 27969658880 31584 33554432000 4194304 4196468 140729367787696 140011221485552 140012084823616 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38768640 140729367790315 140729367790742 140729367790742 140729367793615 0
[pid=23937/tid=23954] ppid=23934 vsize=27314120 memory=280754630412464 CPUtime=0.07 cores=0-7
/proc/23937/task/23954/stat : 23954 (java) S 23934 23934 21590 0 -1 1077944384 503 0 0 0 7 0 0 0 20 0 20 0 419402412 27969658880 31584 33554432000 4194304 4196468 140729367787696 140011220433008 140012099709570 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38768640 140729367790315 140729367790742 140729367790742 140729367793615 0
[pid=23937/tid=23955] ppid=23934 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23937/task/23955/stat : 23955 (java) S 23934 23934 21590 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419402412 27969658880 31584 33554432000 4194304 4196468 140729367787696 140008820304864 140012099708629 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38768640 140729367790315 140729367790742 140729367790742 140729367793615 0
[pid=23937/tid=23956] ppid=23934 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/23937/task/23956/stat : 23956 (java) S 23934 23934 21590 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419402413 27969658880 31584 33554432000 4194304 4196468 140729367787696 140011219381424 140012099709570 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38768640 140729367790315 140729367790742 140729367790742 140729367793615 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 127732 KiB

[startup+0.700981 s]
/proc/loadavg: 2.89 5.56 5.98 2/215 23956
/proc/meminfo: memFree=31326428/32770624 swapFree=67004140/67108860
[pid=23934] ppid=23931 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/23934/stat : 23934 (scop.sh) S 23931 23934 21590 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 419402404 115843072 349 33554432000 4194304 5098028 140727753985312 140727753982568 140674320683644 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 18845696 140727753990949 140727753991276 140727753991276 140727753994189 0
/proc/23934/statm: 28282 349 296 221 0 87 0
[pid=23937] ppid=23934 vsize=27322440 memory=163368 CPUtime=1.01 cores=0-7
/proc/23937/stat : 23937 (java) S 23934 23934 21590 0 -1 1077944320 20020 0 0 0 94 7 0 0 20 0 20 0 419402405 27978178560 40842 33554432000 4194304 4196468 140729367787696 140729367770240 140012099698423 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 38768640 140729367790315 140729367790742 140729367790742 140729367793615 0
/proc/23937/statm: 6830610 40842 3174 1 0 6791959 0
[pid=23937/tid=23938] ppid=23934 vsize=27322440 memory=280754630770352 CPUtime=0.67 cores=0-7
/proc/23937/task/23938/stat : 23938 (java) R 23934 23934 21590 0 -1 4202560 16975 0 0 0 62 5 0 0 20 0 20 0 419402405 27978178560 40872 33554432000 4194304 4196468 140729367787696 140012071530176 140012083742053 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38768640 140729367790315 140729367790742 140729367790742 140729367793615 0
[pid=23937/tid=23939] ppid=23934 vsize=27322440 memory=140377315386224 CPUtime=0 cores=0-7
/proc/23937/task/23939/stat : 23939 (java) S 23934 23934 21590 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419402407 27978178560 40872 33554432000 4194304 4196468 140729367787696 140012103941136 140012099708629 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38768640 140729367790315 140729367790742 140729367790742 140729367793615 0
[pid=23937/tid=23940] ppid=23934 vsize=27322440 memory=0 CPUtime=0 cores=0-7
/proc/23937/task/23940/stat : 23940 (java) S 23934 23934 21590 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419402407 27978178560 40872 33554432000 4194304 4196468 140729367787696 140011918097552 140012099708629 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38768640 140729367790315 140729367790742 140729367790742 140729367793615 0
[pid=23937/tid=23941] ppid=23934 vsize=27322440 memory=2832 CPUtime=0 cores=0-7
/proc/23937/task/23941/stat : 23941 (java) S 23934 23934 21590 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419402407 27978178560 40872 33554432000 4194304 4196468 140729367787696 140011917044496 140012099708629 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38768640 140729367790315 140729367790742 140729367790742 140729367793615 0

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

[pid=23967/tid=23968] ppid=23934 vsize=8414124 memory=1396 CPUtime=0.78 cores=0-7
/proc/23967/task/23968/stat : 23968 (java) S 23934 23934 21590 0 -1 1077944384 17452 0 0 0 72 6 0 0 20 0 24 0 419412558 8616062976 30159 33554432000 4194304 4196468 140736544940816 140524266917792 140524295087829 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11669504 140736544949239 140736544949398 140736544949398 140736544952271 0
[pid=23967/tid=23969] ppid=23934 vsize=8414124 memory=7986432 CPUtime=0 cores=0-7
/proc/23967/task/23969/stat : 23969 (java) S 23934 23934 21590 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419412560 8616062976 30159 33554432000 4194304 4196468 140736544940816 140524299319568 140524295087829 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11669504 140736544949239 140736544949398 140736544949398 140736544952271 0
[pid=23967/tid=23970] ppid=23934 vsize=8414124 memory=7986432 CPUtime=0 cores=0-7
/proc/23967/task/23970/stat : 23970 (java) S 23934 23934 21590 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419412560 8616062976 30159 33554432000 4194304 4196468 140736544940816 140524099488144 140524295087829 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11669504 140736544949239 140736544949398 140736544949398 140736544952271 0
[pid=23967/tid=23971] ppid=23934 vsize=8414124 memory=792 CPUtime=0 cores=0-7
/proc/23967/task/23971/stat : 23971 (java) S 23934 23934 21590 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419412560 8616062976 30159 33554432000 4194304 4196468 140736544940816 140524098435600 140524295087829 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11669504 140736544949239 140736544949398 140736544949398 140736544952271 0
[pid=23967/tid=23972] ppid=23934 vsize=8414124 memory=1440 CPUtime=0 cores=0-7
/proc/23967/task/23972/stat : 23972 (java) S 23934 23934 21590 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419412560 8616062976 30159 33554432000 4194304 4196468 140736544940816 140524097383056 140524295087829 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11669504 140736544949239 140736544949398 140736544949398 140736544952271 0
[pid=23967/tid=23973] ppid=23934 vsize=8414124 memory=6791534058613427641 CPUtime=0 cores=0-7
/proc/23967/task/23973/stat : 23973 (java) S 23934 23934 21590 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419412560 8616062976 30159 33554432000 4194304 4196468 140736544940816 140524096330512 140524295087829 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11669504 140736544949239 140736544949398 140736544949398 140736544952271 0
[pid=23967/tid=23974] ppid=23934 vsize=8414124 memory=111628 CPUtime=0 cores=0-7
/proc/23967/task/23974/stat : 23974 (java) S 23934 23934 21590 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419412560 8616062976 30159 33554432000 4194304 4196468 140736544940816 140524095277968 140524295087829 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11669504 140736544949239 140736544949398 140736544949398 140736544952271 0
[pid=23967/tid=23975] ppid=23934 vsize=8414124 memory=804 CPUtime=0 cores=0-7
/proc/23967/task/23975/stat : 23975 (java) S 23934 23934 21590 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419412560 8616062976 30159 33554432000 4194304 4196468 140736544940816 140524094225424 140524295087829 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11669504 140736544949239 140736544949398 140736544949398 140736544952271 0
[pid=23967/tid=23976] ppid=23934 vsize=8414124 memory=1660 CPUtime=0 cores=0-7
/proc/23967/task/23976/stat : 23976 (java) S 23934 23934 21590 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419412560 8616062976 30159 33554432000 4194304 4196468 140736544940816 140524093172880 140524295087829 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11669504 140736544949239 140736544949398 140736544949398 140736544952271 0
[pid=23967/tid=23977] ppid=23934 vsize=8414124 memory=1804 CPUtime=0 cores=0-7
/proc/23967/task/23977/stat : 23977 (java) S 23934 23934 21590 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 419412561 8616062976 30159 33554432000 4194304 4196468 140736544940816 140523120125936 140524295088770 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11669504 140736544949239 140736544949398 140736544949398 140736544952271 0
[pid=23967/tid=23978] ppid=23934 vsize=8414124 memory=920 CPUtime=0 cores=0-7
/proc/23967/task/23978/stat : 23978 (java) S 23934 23934 21590 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 419412562 8616062976 30159 33554432000 4194304 4196468 140736544940816 140522941309856 140524295087829 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11669504 140736544949239 140736544949398 140736544949398 140736544952271 0
[pid=23967/tid=23979] ppid=23934 vsize=8414124 memory=4104 CPUtime=0 cores=0-7
/proc/23967/task/23979/stat : 23979 (java) S 23934 23934 21590 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419412562 8616062976 30159 33554432000 4194304 4196468 140736544940816 140522672874480 140524295087829 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11669504 140736544949239 140736544949398 140736544949398 140736544952271 0
[pid=23967/tid=23980] ppid=23934 vsize=8414124 memory=1412 CPUtime=0 cores=0-7
/proc/23967/task/23980/stat : 23980 (java) S 23934 23934 21590 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419412565 8616062976 30159 33554432000 4194304 4196468 140736544940816 140522298366160 140524295096219 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11669504 140736544949239 140736544949398 140736544949398 140736544952271 0
[pid=23967/tid=23981] ppid=23934 vsize=8414124 memory=3136 CPUtime=0.05 cores=0-7
/proc/23967/task/23981/stat : 23981 (java) S 23934 23934 21590 0 -1 1077944384 469 0 0 0 5 0 0 0 20 0 24 0 419412565 8616062976 30159 33554432000 4194304 4196468 140736544940816 140523119073776 140524295088770 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11669504 140736544949239 140736544949398 140736544949398 140736544952271 0
[pid=23967/tid=23982] ppid=23934 vsize=8414124 memory=1476 CPUtime=0.05 cores=0-7
/proc/23967/task/23982/stat : 23982 (java) S 23934 23934 21590 0 -1 1077944384 279 0 0 0 5 0 0 0 20 0 24 0 419412565 8616062976 30159 33554432000 4194304 4196468 140736544940816 140523118021232 140524295088770 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11669504 140736544949239 140736544949398 140736544949398 140736544952271 0
[pid=23967/tid=23983] ppid=23934 vsize=8414124 memory=120636 CPUtime=0.08 cores=0-7
/proc/23967/task/23983/stat : 23983 (java) S 23934 23934 21590 0 -1 1077944384 417 0 0 0 8 0 0 0 20 0 24 0 419412565 8616062976 30159 33554432000 4194304 4196468 140736544940816 140523116968688 140524295088770 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11669504 140736544949239 140736544949398 140736544949398 140736544952271 0
[pid=23967/tid=23984] ppid=23934 vsize=8414124 memory=177156 CPUtime=0.21 cores=0-7
/proc/23967/task/23984/stat : 23984 (java) S 23934 23934 21590 0 -1 1077944384 581 0 0 0 21 0 0 0 20 0 24 0 419412565 8616062976 30159 33554432000 4194304 4196468 140736544940816 140523115916144 140524295088770 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11669504 140736544949239 140736544949398 140736544949398 140736544952271 0
[pid=23967/tid=23985] ppid=23934 vsize=8414124 memory=-7824251494390585186 CPUtime=0 cores=0-7
/proc/23967/task/23985/stat : 23985 (java) S 23934 23934 21590 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419412565 8616062976 30159 33554432000 4194304 4196468 140736544940816 140521800460512 140524295087829 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11669504 140736544949239 140736544949398 140736544949398 140736544952271 0
[pid=23967/tid=23986] ppid=23934 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/23967/task/23986/stat : 23986 (java) S 23934 23934 21590 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419412565 8616062976 30159 33554432000 4194304 4196468 140736544940816 140523114863024 140524295088770 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11669504 140736544949239 140736544949398 140736544949398 140736544952271 0
[pid=23967/tid=23988] ppid=23934 vsize=8414124 memory=3924 CPUtime=0 cores=0-7
/proc/23967/task/23988/stat : 23988 (java) S 23934 23934 21590 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 419412633 8616062976 30159 33554432000 4194304 4196468 140736544940816 140523106829504 140524295102233 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 11669504 140736544949239 140736544949398 140736544949398 140736544952271 0
[pid=23967/tid=23990] ppid=23934 vsize=8414124 memory=2832 CPUtime=0 cores=0-7
/proc/23967/task/23990/stat : 23990 (java) S 23934 23934 21590 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 24 0 419412634 8616062976 30159 33554432000 4194304 4196468 140736544940816 140521129361200 140524295099549 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 11669504 140736544949239 140736544949398 140736544949398 140736544952271 0
[pid=23967/tid=23991] ppid=23934 vsize=8414124 memory=1212 CPUtime=0 cores=0-7
/proc/23967/task/23991/stat : 23991 (java) S 23934 23934 21590 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 419412634 8616062976 30159 33554432000 4194304 4196468 140736544940816 140521397796784 140524295099549 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 11669504 140736544949239 140736544949398 140736544949398 140736544952271 0
[pid=23967/tid=23992] ppid=23934 vsize=8414124 memory=1036 CPUtime=0 cores=0-7
/proc/23967/task/23992/stat : 23992 (java) S 23934 23934 21590 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 24 0 419412636 8616062976 30159 33554432000 4194304 4196468 140736544940816 140520860933808 140524295087829 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11669504 140736544949239 140736544949398 140736544949398 140736544952271 0
Current children cumulated CPU time: 154 s
Current children cumulated vsize: 13735532 KiB
Current children cumulated memory: 5000396 KiB

[startup+109.602 s]
/proc/loadavg: 1.31 4.22 5.45 4/228 24000
/proc/meminfo: memFree=26316128/32770624 swapFree=67004140/67108860
[pid=23934] ppid=23931 vsize=113128 memory=1476 CPUtime=136.83 cores=0-7
/proc/23934/stat : 23934 (scop.sh) S 23931 23934 21590 0 -1 4202496 583 77414 0 0 0 0 12942 741 20 0 1 0 419402404 115843072 369 33554432000 4194304 5098028 140727753985312 140727753982056 140674320683644 0 65536 4100 81923 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 18845696 140727753990949 140727753991276 140727753991276 140727753994189 0
/proc/23934/statm: 28282 369 311 221 0 87 0
[pid=23967] ppid=23934 vsize=8283048 memory=153116 CPUtime=18 cores=0-7
/proc/23967/stat : 23967 (java) S 23934 23934 21590 0 -1 1077944320 21524 914845 0 0 151 9 1319 321 20 0 22 0 419412558 8481841152 38279 33554432000 4194304 4196468 140736544940816 140736544923360 140524295077623 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 11669504 140736544949239 140736544949398 140736544949398 140736544952271 0
/proc/23967/statm: 2070762 38279 3226 1 0 2032106 0
[pid=23967/tid=23968] ppid=23934 vsize=8283048 memory=12024 CPUtime=17.21 cores=0-7
/proc/23967/task/23968/stat : 23968 (java) R 23934 23934 21590 0 -1 4202560 17573 914845 0 0 75 6 1319 321 20 0 22 0 419412558 8481841152 38279 33554432000 4194304 4196468 140736544940816 140524266916432 140524295089558 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11669504 140736544949239 140736544949398 140736544949398 140736544952271 0
[pid=23967/tid=23969] ppid=23934 vsize=8283048 memory=4808 CPUtime=16.4 cores=0-7
/proc/23967/task/23969/stat : 23969 (java) S 23934 23934 21590 0 -1 1077944384 1 914845 0 0 0 0 1319 321 20 0 22 0 419412560 8481841152 38279 33554432000 4194304 4196468 140736544940816 140524299319568 140524295087829 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11669504 140736544949239 140736544949398 140736544949398 140736544952271 0
[pid=23967/tid=23970] ppid=23934 vsize=8283048 memory=1986 CPUtime=16.4 cores=0-7
/proc/23967/task/23970/stat : 23970 (java) S 23934 23934 21590 0 -1 1077944384 2 914845 0 0 0 0 1319 321 20 0 22 0 419412560 8481841152 38279 33554432000 4194304 4196468 140736544940816 140524099488144 140524295087829 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11669504 140736544949239 140736544949398 140736544949398 140736544952271 0
[pid=23967/tid=23971] ppid=23934 vsize=8283048 memory=0 CPUtime=16.4 cores=0-7
/proc/23967/task/23971/stat : 23971 (java) S 23934 23934 21590 0 -1 1077944384 1 914845 0 0 0 0 1319 321 20 0 22 0 419412560 8481841152 38279 33554432000 4194304 4196468 140736544940816 140524098435600 140524295087829 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11669504 140736544949239 140736544949398 140736544949398 140736544952271 0
[pid=23967/tid=23972] ppid=23934 vsize=8283048 memory=-7824251494390585186 CPUtime=16.4 cores=0-7
/proc/23967/task/23972/stat : 23972 (java) S 23934 23934 21590 0 -1 1077944384 1 914845 0 0 0 0 1319 321 20 0 22 0 419412560 8481841152 38279 33554432000 4194304 4196468 140736544940816 140524097383056 140524295087829 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11669504 140736544949239 140736544949398 140736544949398 140736544952271 0
[pid=23967/tid=23973] ppid=23934 vsize=8283048 memory=1220 CPUtime=16.4 cores=0-7
/proc/23967/task/23973/stat : 23973 (java) S 23934 23934 21590 0 -1 1077944384 1 914845 0 0 0 0 1319 321 20 0 22 0 419412560 8481841152 38279 33554432000 4194304 4196468 140736544940816 140524096330512 140524295087829 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11669504 140736544949239 140736544949398 140736544949398 140736544952271 0
[pid=23967/tid=23974] ppid=23934 vsize=8283048 memory=1616 CPUtime=16.4 cores=0-7
/proc/23967/task/23974/stat : 23974 (java) S 23934 23934 21590 0 -1 1077944384 2 914845 0 0 0 0 1319 321 20 0 22 0 419412560 8481841152 38279 33554432000 4194304 4196468 140736544940816 140524095277968 140524295087829 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11669504 140736544949239 140736544949398 140736544949398 140736544952271 0
[pid=23967/tid=23975] ppid=23934 vsize=8283048 memory=784 CPUtime=16.4 cores=0-7
/proc/23967/task/23975/stat : 23975 (java) S 23934 23934 21590 0 -1 1077944384 2 914845 0 0 0 0 1319 321 20 0 22 0 419412560 8481841152 38279 33554432000 4194304 4196468 140736544940816 140524094225424 140524295087829 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11669504 140736544949239 140736544949398 140736544949398 140736544952271 0
[pid=23967/tid=23976] ppid=23934 vsize=8283048 memory=8252 CPUtime=16.4 cores=0-7
/proc/23967/task/23976/stat : 23976 (java) S 23934 23934 21590 0 -1 1077944384 3 914845 0 0 0 0 1319 321 20 0 22 0 419412560 8481841152 38279 33554432000 4194304 4196468 140736544940816 140524093172880 140524295087829 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11669504 140736544949239 140736544949398 140736544949398 140736544952271 0
[pid=23967/tid=23977] ppid=23934 vsize=8283048 memory=5928 CPUtime=16.4 cores=0-7
/proc/23967/task/23977/stat : 23977 (java) S 23934 23934 21590 0 -1 1077944384 8 914845 0 0 0 0 1319 321 20 0 22 0 419412561 8481841152 38279 33554432000 4194304 4196468 140736544940816 140523120125936 140524295088770 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11669504 140736544949239 140736544949398 140736544949398 140736544952271 0
[pid=23967/tid=23978] ppid=23934 vsize=8283048 memory=1056 CPUtime=16.4 cores=0-7
/proc/23967/task/23978/stat : 23978 (java) S 23934 23934 21590 0 -1 1077944384 13 914845 0 0 0 0 1319 321 20 0 22 0 419412562 8481841152 38279 33554432000 4194304 4196468 140736544940816 140522941309856 140524295087829 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11669504 140736544949239 140736544949398 140736544949398 140736544952271 0
[pid=23967/tid=23979] ppid=23934 vsize=8283048 memory=1540 CPUtime=16.4 cores=0-7
/proc/23967/task/23979/stat : 23979 (java) S 23934 23934 21590 0 -1 1077944384 1 914845 0 0 0 0 1319 321 20 0 22 0 419412562 8481841152 38279 33554432000 4194304 4196468 140736544940816 140522672874480 140524295087829 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11669504 140736544949239 140736544949398 140736544949398 140736544952271 0
[pid=23967/tid=23980] ppid=23934 vsize=8283048 memory=728 CPUtime=16.4 cores=0-7
/proc/23967/task/23980/stat : 23980 (java) S 23934 23934 21590 0 -1 1077944384 1 914845 0 0 0 0 1319 321 20 0 22 0 419412565 8481841152 38279 33554432000 4194304 4196468 140736544940816 140522298366160 140524295096219 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11669504 140736544949239 140736544949398 140736544949398 140736544952271 0
[pid=23967/tid=23981] ppid=23934 vsize=8283048 memory=3924 CPUtime=16.5 cores=0-7
/proc/23967/task/23981/stat : 23981 (java) S 23934 23934 21590 0 -1 1077944384 490 914845 0 0 10 0 1319 321 20 0 22 0 419412565 8481841152 38279 33554432000 4194304 4196468 140736544940816 140523119073776 140524295088770 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11669504 140736544949239 140736544949398 140736544949398 140736544952271 0
[pid=23967/tid=23982] ppid=23934 vsize=8283048 memory=2832 CPUtime=16.5 cores=0-7
/proc/23967/task/23982/stat : 23982 (java) S 23934 23934 21590 0 -1 1077944384 329 914845 0 0 10 0 1319 321 20 0 22 0 419412565 8481841152 38279 33554432000 4194304 4196468 140736544940816 140523118021232 140524295088770 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11669504 140736544949239 140736544949398 140736544949398 140736544952271 0
[pid=23967/tid=23983] ppid=23934 vsize=8283048 memory=1212 CPUtime=16.54 cores=0-7
/proc/23967/task/23983/stat : 23983 (java) S 23934 23934 21590 0 -1 1077944384 618 914845 0 0 14 0 1319 321 20 0 22 0 419412565 8481841152 38279 33554432000 4194304 4196468 140736544940816 140523116968688 140524295088770 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11669504 140736544949239 140736544949398 140736544949398 140736544952271 0
[pid=23967/tid=23984] ppid=23934 vsize=8283048 memory=1036 CPUtime=16.67 cores=0-7
/proc/23967/task/23984/stat : 23984 (java) S 23934 23934 21590 0 -1 1077944384 1052 914845 0 0 27 0 1319 321 20 0 22 0 419412565 8481841152 38279 33554432000 4194304 4196468 140736544940816 140523115916144 140524295088770 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11669504 140736544949239 140736544949398 140736544949398 140736544952271 0
[pid=23967/tid=23985] ppid=23934 vsize=8283048 memory=14008 CPUtime=16.4 cores=0-7
/proc/23967/task/23985/stat : 23985 (java) S 23934 23934 21590 0 -1 1077944384 3 914845 0 0 0 0 1319 321 20 0 22 0 419412565 8481841152 38279 33554432000 4194304 4196468 140736544940816 140521800460512 140524295087829 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11669504 140736544949239 140736544949398 140736544949398 140736544952271 0
[pid=23967/tid=23986] ppid=23934 vsize=8283048 memory=12024 CPUtime=16.4 cores=0-7
/proc/23967/task/23986/stat : 23986 (java) S 23934 23934 21590 0 -1 1077944384 3 914845 0 0 0 0 1319 321 20 0 22 0 419412565 8481841152 38279 33554432000 4194304 4196468 140736544940816 140523114863024 140524295088770 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11669504 140736544949239 140736544949398 140736544949398 140736544952271 0
[pid=23967/tid=23988] ppid=23934 vsize=8283048 memory=2116 CPUtime=16.4 cores=0-7
/proc/23967/task/23988/stat : 23988 (java) S 23934 23934 21590 0 -1 1077944384 24 914845 0 0 0 0 1319 321 20 0 22 0 419412633 8481841152 38279 33554432000 4194304 4196468 140736544940816 140523106828688 140524295088770 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11669504 140736544949239 140736544949398 140736544949398 140736544952271 0
[pid=23967/tid=23992] ppid=23934 vsize=8283048 memory=1564 CPUtime=16.4 cores=0-7
/proc/23967/task/23992/stat : 23992 (java) S 23934 23934 21590 0 -1 1077944384 9 914845 0 0 0 0 1319 321 20 0 22 0 419412636 8481841152 38279 33554432000 4194304 4196468 140736544940816 140520860935600 140524295088770 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11669504 140736544949239 140736544949398 140736544949398 140736544952271 0
Current children cumulated CPU time: 154.83 s
Current children cumulated vsize: 8396176 KiB
Current children cumulated memory: 154592 KiB

[startup+109.701 s]
/proc/loadavg: 1.31 4.22 5.45 4/228 24000
/proc/meminfo: memFree=26316128/32770624 swapFree=67004140/67108860
[pid=23934] ppid=23931 vsize=113128 memory=1476 CPUtime=136.83 cores=0-7
/proc/23934/stat : 23934 (scop.sh) S 23931 23934 21590 0 -1 4202496 583 77414 0 0 0 0 12942 741 20 0 1 0 419402404 115843072 369 33554432000 4194304 5098028 140727753985312 140727753982056 140674320683644 0 65536 4100 81923 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 18845696 140727753990949 140727753991276 140727753991276 140727753994189 0
/proc/23934/statm: 28282 369 311 221 0 87 0
[pid=23967] ppid=23934 vsize=8283048 memory=160264 CPUtime=18.26 cores=0-7
/proc/23967/stat : 23967 (java) S 23934 23934 21590 0 -1 1077944320 21837 914845 0 0 176 10 1319 321 20 0 22 0 419412558 8481841152 40066 33554432000 4194304 4196468 140736544940816 140736544923360 140524295077623 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 11669504 140736544949239 140736544949398 140736544949398 140736544952271 0
/proc/23967/statm: 2070762 40066 3230 1 0 2032106 0
[pid=23967/tid=23968] ppid=23934 vsize=8283048 memory=1476 CPUtime=17.3 cores=0-7
/proc/23967/task/23968/stat : 23968 (java) R 23934 23934 21590 0 -1 4202560 17704 914845 0 0 84 6 1319 321 20 0 22 0 419412558 8481841152 40066 33554432000 4194304 4196468 140736544940816 140524266912528 140523763531329 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11669504 140736544949239 140736544949398 140736544949398 140736544952271 0
[pid=23967/tid=23969] ppid=23934 vsize=8283048 memory=1396 CPUtime=16.4 cores=0-7
/proc/23967/task/23969/stat : 23969 (java) S 23934 23934 21590 0 -1 1077944384 1 914845 0 0 0 0 1319 321 20 0 22 0 419412560 8481841152 40066 33554432000 4194304 4196468 140736544940816 140524299319568 140524295087829 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11669504 140736544949239 140736544949398 140736544949398 140736544952271 0
[pid=23967/tid=23970] ppid=23934 vsize=8283048 memory=7813296 CPUtime=16.4 cores=0-7
/proc/23967/task/23970/stat : 23970 (java) S 23934 23934 21590 0 -1 1077944384 2 914845 0 0 0 0 1319 321 20 0 22 0 419412560 8481841152 40066 33554432000 4194304 4196468 140736544940816 140524099488144 140524295087829 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11669504 140736544949239 140736544949398 140736544949398 140736544952271 0
[pid=23967/tid=23971] ppid=23934 vsize=8283048 memory=120636 CPUtime=16.4 cores=0-7
/proc/23967/task/23971/stat : 23971 (java) S 23934 23934 21590 0 -1 1077944384 1 914845 0 0 0 0 1319 321 20 0 22 0 419412560 8481841152 40066 33554432000 4194304 4196468 140736544940816 140524098435600 140524295087829 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11669504 140736544949239 140736544949398 140736544949398 140736544952271 0
[pid=23967/tid=23972] ppid=23934 vsize=8283048 memory=3280 CPUtime=16.4 cores=0-7
/proc/23967/task/23972/stat : 23972 (java) S 23934 23934 21590 0 -1 1077944384 1 914845 0 0 0 0 1319 321 20 0 22 0 419412560 8481841152 40066 33554432000 4194304 4196468 140736544940816 140524097383056 140524295087829 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11669504 140736544949239 140736544949398 140736544949398 140736544952271 0
[pid=23967/tid=23973] ppid=23934 vsize=8283048 memory=5928 CPUtime=16.4 cores=0-7
/proc/23967/task/23973/stat : 23973 (java) S 23934 23934 21590 0 -1 1077944384 1 914845 0 0 0 0 1319 321 20 0 22 0 419412560 8481841152 40066 33554432000 4194304 4196468 140736544940816 140524096330512 140524295087829 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11669504 140736544949239 140736544949398 140736544949398 140736544952271 0
[pid=23967/tid=23974] ppid=23934 vsize=8283048 memory=1056 CPUtime=16.4 cores=0-7
/proc/23967/task/23974/stat : 23974 (java) S 23934 23934 21590 0 -1 1077944384 2 914845 0 0 0 0 1319 321 20 0 22 0 419412560 8481841152 40066 33554432000 4194304 4196468 140736544940816 140524095277968 140524295087829 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11669504 140736544949239 140736544949398 140736544949398 140736544952271 0
[pid=23967/tid=23975] ppid=23934 vsize=8283048 memory=120636 CPUtime=16.4 cores=0-7
/proc/23967/task/23975/stat : 23975 (java) S 23934 23934 21590 0 -1 1077944384 2 914845 0 0 0 0 1319 321 20 0 22 0 419412560 8481841152 40066 33554432000 4194304 4196468 140736544940816 140524094225424 140524295087829 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11669504 140736544949239 140736544949398 140736544949398 140736544952271 0
[pid=23967/tid=23976] ppid=23934 vsize=8283048 memory=257312 CPUtime=16.4 cores=0-7
/proc/23967/task/23976/stat : 23976 (java) S 23934 23934 21590 0 -1 1077944384 3 914845 0 0 0 0 1319 321 20 0 22 0 419412560 8481841152 40066 33554432000 4194304 4196468 140736544940816 140524093172880 140524295087829 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11669504 140736544949239 140736544949398 140736544949398 140736544952271 0
[pid=23967/tid=23977] ppid=23934 vsize=8283048 memory=1212 CPUtime=16.4 cores=0-7
/proc/23967/task/23977/stat : 23977 (java) S 23934 23934 21590 0 -1 1077944384 8 914845 0 0 0 0 1319 321 20 0 22 0 419412561 8481841152 40066 33554432000 4194304 4196468 140736544940816 140523120125936 140524295088770 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11669504 140736544949239 140736544949398 140736544949398 140736544952271 0
[pid=23967/tid=23978] ppid=23934 vsize=8283048 memory=1036 CPUtime=16.4 cores=0-7
/proc/23967/task/23978/stat : 23978 (java) S 23934 23934 21590 0 -1 1077944384 13 914845 0 0 0 0 1319 321 20 0 22 0 419412562 8481841152 40066 33554432000 4194304 4196468 140736544940816 140522941309856 140524295087829 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11669504 140736544949239 140736544949398 140736544949398 140736544952271 0
[pid=23967/tid=23979] ppid=23934 vsize=8283048 memory=1476 CPUtime=16.4 cores=0-7
/proc/23967/task/23979/stat : 23979 (java) S 23934 23934 21590 0 -1 1077944384 1 914845 0 0 0 0 1319 321 20 0 22 0 419412562 8481841152 40066 33554432000 4194304 4196468 140736544940816 140522672874480 140524295087829 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11669504 140736544949239 140736544949398 140736544949398 140736544952271 0
[pid=23967/tid=23980] ppid=23934 vsize=8283048 memory=1476 CPUtime=16.4 cores=0-7
/proc/23967/task/23980/stat : 23980 (java) S 23934 23934 21590 0 -1 1077944384 1 914845 0 0 0 0 1319 321 20 0 22 0 419412565 8481841152 40066 33554432000 4194304 4196468 140736544940816 140522298366160 140524295096219 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11669504 140736544949239 140736544949398 140736544949398 140736544952271 0
[pid=23967/tid=23981] ppid=23934 vsize=8283048 memory=120636 CPUtime=16.54 cores=0-7
/proc/23967/task/23981/stat : 23981 (java) R 23934 23934 21590 0 -1 4202560 514 914845 0 0 14 0 1319 321 20 0 22 0 419412565 8481841152 40066 33554432000 4194304 4196468 140736544940816 140523119073776 140524274301856 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11669504 140736544949239 140736544949398 140736544949398 140736544952271 0
[pid=23967/tid=23982] ppid=23934 vsize=8283048 memory=3280 CPUtime=16.54 cores=0-7
/proc/23967/task/23982/stat : 23982 (java) R 23934 23934 21590 0 -1 4202560 351 914845 0 0 14 0 1319 321 20 0 22 0 419412565 8481841152 40066 33554432000 4194304 4196468 140736544940816 140523118021232 140524279470967 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11669504 140736544949239 140736544949398 140736544949398 140736544952271 0
[pid=23967/tid=23983] ppid=23934 vsize=8283048 memory=7986432 CPUtime=16.57 cores=0-7
/proc/23967/task/23983/stat : 23983 (java) S 23934 23934 21590 0 -1 1077944384 627 914845 0 0 17 0 1319 321 20 0 22 0 419412565 8481841152 40066 33554432000 4194304 4196468 140736544940816 140523116968688 140524295088770 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11669504 140736544949239 140736544949398 140736544949398 140736544952271 0
[pid=23967/tid=23984] ppid=23934 vsize=8283048 memory=7986432 CPUtime=16.72 cores=0-7
/proc/23967/task/23984/stat : 23984 (java) S 23934 23934 21590 0 -1 1077944384 1179 914845 0 0 32 0 1319 321 20 0 22 0 419412565 8481841152 40066 33554432000 4194304 4196468 140736544940816 140523115916144 140524295088770 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11669504 140736544949239 140736544949398 140736544949398 140736544952271 0
[pid=23967/tid=23985] ppid=23934 vsize=8283048 memory=40684 CPUtime=16.4 cores=0-7
/proc/23967/task/23985/stat : 23985 (java) S 23934 23934 21590 0 -1 1077944384 3 914845 0 0 0 0 1319 321 20 0 22 0 419412565 8481841152 40066 33554432000 4194304 4196468 140736544940816 140521800460512 140524295087829 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11669504 140736544949239 140736544949398 140736544949398 140736544952271 0
[pid=23967/tid=23986] ppid=23934 vsize=8283048 memory=1396 CPUtime=16.4 cores=0-7
/proc/23967/task/23986/stat : 23986 (java) S 23934 23934 21590 0 -1 1077944384 3 914845 0 0 0 0 1319 321 20 0 22 0 419412565 8481841152 40066 33554432000 4194304 4196468 140736544940816 140523114863024 140524295088770 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11669504 140736544949239 140736544949398 140736544949398 140736544952271 0
[pid=23967/tid=23988] ppid=23934 vsize=8283048 memory=0 CPUtime=16.4 cores=0-7
/proc/23967/task/23988/stat : 23988 (java) S 23934 23934 21590 0 -1 1077944384 24 914845 0 0 0 0 1319 321 20 0 22 0 419412633 8481841152 40066 33554432000 4194304 4196468 140736544940816 140523106828688 140524295088770 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11669504 140736544949239 140736544949398 140736544949398 140736544952271 0
[pid=23967/tid=23992] ppid=23934 vsize=8283048 memory=6944656592452807314 CPUtime=16.4 cores=0-7
/proc/23967/task/23992/stat : 23992 (java) S 23934 23934 21590 0 -1 1077944384 9 914845 0 0 0 0 1319 321 20 0 22 0 419412636 8481841152 40066 33554432000 4194304 4196468 140736544940816 140520860935600 140524295088770 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11669504 140736544949239 140736544949398 140736544949398 140736544952271 0
Current children cumulated CPU time: 155.09 s
Current children cumulated vsize: 8396176 KiB
Current children cumulated memory: 161740 KiB

Child status: 0
Real time (s): 109.763
CPU time (s): 155.201
CPU user time (s): 144.422
CPU system time (s): 10.7786
CPU usage (%): 141.396
Max. virtual memory (cumulated for all children) (KiB): 27443924
Max. memory (cumulated for all children) (KiB): 7988640

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 144.422
system time used= 10.7786
maximum resident set size= 7988040
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1015837
page faults= 0
swaps= 0
block input operations= 0
block output operations= 355632
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 228177
involuntary context switches= 516


# summary of solver processes directly reported to runsolver:
#   pid: 23934
#   total CPU time (s): 155.201
#   total CPU user time (s): 144.422
#   total CPU system time (s): 10.7786

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.842049 second user time and 1.17726 second system time

The end

Launcher Data 

Begin job on node133 at 2019-09-14 05:26:28
IDJOB=4392281
IDBENCH=131237
IDSOLVER=2838
FILE ID=node133/4392281-1568431628
RUNJOBID= node133-1568426604-21617
PBS_JOBID= 21702289
Free space on /tmp= 59416 MiB

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

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

MD5SUM BENCH= 3c35b3a34944db31f268c78e4da60e39
RANDOM SEED=1175898148

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:        31466280 kB
MemAvailable:   31896740 kB
Buffers:          198452 kB
Cached:           515892 kB
SwapCached:         3364 kB
Active:           399680 kB
Inactive:         319048 kB
Active(anon):      28624 kB
Inactive(anon):    16056 kB
Active(file):     371056 kB
Inactive(file):   302992 kB
Unevictable:      111224 kB
Mlocked:          111224 kB
SwapTotal:      67108860 kB
SwapFree:       67004140 kB
Dirty:             20676 kB
Writeback:             0 kB
AnonPages:        148500 kB
Mapped:            44920 kB
Shmem:             31516 kB
Slab:             173948 kB
SReclaimable:     144496 kB
SUnreclaim:        29452 kB
KernelStack:        3888 kB
PageTables:         5796 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:    104448 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:28:18