Trace number 4392305

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 280.624 198.191

General information on the benchmark

NameSubisomorphism/Subisomorphism-m1-si6-bvg/
Subisomorphism-si6-b09-m200-08.xml
MD5SUM7f9c41aacca1e0b30cdd7db3c30aaf94
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.033514
Satisfiable
(Un)Satisfiability was proved
Number of variables120
Number of constraints517
Number of domains1
Minimum domain size200
Maximum domain size200
Distribution of domain sizes[{"size":200,"count":120}]
Minimum variable degree5
Maximum variable degree10
Distribution of variable degrees[{"degree":5,"count":2},{"degree":6,"count":4},{"degree":7,"count":4},{"degree":8,"count":4},{"degree":9,"count":2},{"degree":10,"count":104}]
Minimum constraint arity2
Maximum constraint arity120
Distribution of constraint arities[{"arity":2,"count":516},{"arity":120,"count":1}]
Number of extensional constraints516
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":516},{"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-7327-serial-file.bin HOME/instance-4392305-1568432021.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:32:53 CEST 2019
0.66/0.56	c PID: 7330
0.66/0.56	c IP: 172.20.3.132
0.66/0.56	c HOST: node132.alineos.net
0.66/0.57	c (0,0) Parsing Begin
1.80/1.04	c (0,0) Parsing End
1.80/1.05	c (0,0) CSP: 120 int (0 aux), 0 bool (0 aux), 517 ctr, max domain size 200
1.80/1.05	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.80/1.05	c (0,0) Constraint Name Generate Begin
1.80/1.06	c (0,0) Ctr:HOME/instance-4392305-1568432021.xml,AllDifferent:ExtensionSupport:Var
1.80/1.06	c (0,0) Constraint Name Generate End
1.80/1.06	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.80/1.06	c (0,0) CSP to CSPinCNF Begin
20.92/12.33	c (11,11) translated 52 (10%) constraints
33.34/22.87	c (22,22) translated 104 (20%) constraints
43.27/32.72	c (32,31) translated 156 (30%) constraints
56.14/42.82	c (42,41) translated 207 (40%) constraints
69.61/53.15	c (52,51) translated 259 (50%) constraints
79.57/63.04	c (62,61) translated 311 (60%) constraints
93.28/73.29	c (72,71) translated 362 (70%) constraints
109.15/83.90	c (83,80) translated 414 (80%) constraints
119.07/93.80	c (93,90) translated 466 (90%) constraints
135.57/104.44	c (103,100) translated 517 (100%) constraints
135.77/104.63	c (104,100) ===========================================
135.77/104.64	c (104,100) Order
135.77/104.64	c (104,100) ===========================================
140.73/108.61	c (108,104) translated 197982 (10%) constraints
144.60/112.40	c (111,108) translated 395963 (20%) constraints
154.42/116.95	c (116,112) translated 593944 (30%) constraints
158.22/120.73	c (120,116) translated 791925 (40%) constraints
162.03/124.53	c (123,119) translated 989906 (50%) constraints
165.83/128.25	c (127,123) translated 1187887 (60%) constraints
169.53/131.97	c (131,127) translated 1385868 (70%) constraints
179.47/136.49	c (135,131) translated 1583849 (80%) constraints
183.27/140.25	c (139,134) translated 1781830 (90%) constraints
187.17/144.03	c (143,138) translated 1979811 (100%) constraints
187.17/144.03	c (143,138) CSP to CSPinCNF End
187.17/144.08	c (143,138) CSP: 120 int (0 aux), 103200 bool (103200 aux), 1979811 ctr, max domain size 200
187.17/144.08	c (143,138) Heap : 4005 MiB used (max 21068 MiB), NonHeap : 28 MiB used (max 0 MiB)
187.17/144.08	c (143,138) CSPinCNF Propagation Begin
214.45/156.05	c (155,148) 0 values, 516 unsatisfiable literals, and 1 valid clauses are removed
214.45/156.05	c (155,148) CSPinCNF Propagation End
214.45/156.10	c (155,148) CSP: 120 int (0 aux), 103200 bool (103200 aux), 1979810 ctr, max domain size 200
214.45/156.10	c (155,148) Heap : 5932 MiB used (max 21121 MiB), NonHeap : 29 MiB used (max 0 MiB)
214.56/156.11	c (155,148) Simplify CSPinCNF Begin
223.47/160.13	c (159,152) Simplify CSPinCNF End
223.47/160.18	c (159,152) CSP: 120 int (0 aux), 117480 bool (117480 aux), 1994090 ctr, max domain size 200
223.47/160.18	c (159,152) Heap : 3174 MiB used (max 21087 MiB), NonHeap : 29 MiB used (max 0 MiB)
223.47/160.19	c (159,152) Calculate Precise Domain Begin
223.47/160.19	c (159,152) 0 values are removed by re-calculation
223.47/160.19	c (159,152) Calculate Precise Domain End
223.56/160.24	c (159,152) CSP: 120 int (0 aux), 117480 bool (117480 aux), 1994090 ctr, max domain size 200
223.56/160.24	c (159,152) Heap : 3280 MiB used (max 21087 MiB), NonHeap : 29 MiB used (max 0 MiB)
223.56/160.24	c (159,152) CSPinCNF to SatSolver Begin
244.45/174.38	c (173,165) 199409 (10 %) CSP clauses are encoded (0 SAT variables, 3064888 SAT clauses)
246.39/176.29	c (175,167) 398818 (20 %) CSP clauses are encoded (0 SAT variables, 3264297 SAT clauses)
248.88/178.29	c (177,169) 598227 (30 %) CSP clauses are encoded (0 SAT variables, 3463706 SAT clauses)
250.89/180.24	c (179,171) 797636 (40 %) CSP clauses are encoded (0 SAT variables, 3663115 SAT clauses)
252.88/182.22	c (181,173) 997045 (50 %) CSP clauses are encoded (0 SAT variables, 3862524 SAT clauses)
256.39/184.35	c (183,175) 1196454 (60 %) CSP clauses are encoded (0 SAT variables, 4061933 SAT clauses)
258.34/186.35	c (185,177) 1395863 (70 %) CSP clauses are encoded (0 SAT variables, 4261342 SAT clauses)
260.34/188.34	c (187,179) 1595272 (80 %) CSP clauses are encoded (0 SAT variables, 4460751 SAT clauses)
264.41/190.58	c (190,181) 1794681 (90 %) CSP clauses are encoded (0 SAT variables, 4660160 SAT clauses)
266.40/192.54	c (192,183) 1994090 (100 %) CSP clauses are encoded (0 SAT variables, 4859569 SAT clauses)
266.40/192.54	c (192,183) CSPinCNF to SatSolver End
266.40/192.54	c (192,183) Heap : 5655 MiB used (max 21096 MiB), NonHeap : 32 MiB used (max 0 MiB)
266.40/192.54	c (192,183) 141360 bool, 4859570 clause
266.40/192.54	c (192,183) Export Begin
266.55/192.65	c (192,183) Export to HOME/scop-7327-serial-file.bin
266.55/192.65	c (192,183) Export End
266.55/192.65	c (192,183) Export File Size: 0.03 MB
266.55/192.65	c (192,183) 0,0,143,155,159,159,192,STOP-AFTER(DIMACS)
266.55/192.65	c END-Prog: Sat Sep 14 05:36:05 CEST 2019
0.00/192.70	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-7327-serial-file.bin
267.26/193.18	c (0,0) Read Serial File Begin
267.26/193.18	c (0,0) HOME/scop-7327-serial-file.bin
267.69/193.40	c (0,0) Read Serial File End
267.69/193.41	
267.69/193.42	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
267.69/193.42	(Solving Process)
267.69/193.42	
267.69/193.44	c BEGIN-Prog: Sat Sep 14 05:36:05 CEST 2019
267.69/193.44	c PID: 7366
267.69/193.44	c IP: 172.20.3.132
267.69/193.44	c HOST: node132.alineos.net
267.69/193.44	c (0,0) SatSolver.solve Begin
267.69/193.44	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4392305-1568432021.xml-scop-7330.cnf
267.69/193.47	c (0,0) c
267.69/193.47	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)
267.69/193.47	c (0,0) c
267.69/193.47	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
267.69/193.47	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
267.69/193.47	c (0,0) c ========================================[ Problem Statistics ]===========================================
267.69/193.47	c (0,0) c |                                                                                                       |
269.37/194.98	c (1,0) c |  Number of variables:        141360                                                                   |
269.37/194.98	c (1,0) c |  Number of clauses:         4859570                                                                   |
269.37/194.98	c (1,0) c |  Parse time:                   1.37 s                                                                 |
269.37/194.98	c (1,0) c |                                                                                                       |
269.67/195.25	c (2,0) c | Too many clauses... No preprocessing                                                                  |
269.67/195.25	c (2,0) c |  Simplification time:          0.26 s                                                                 |
269.67/195.25	c (2,0) c |                                                                                                       |
269.67/195.25	c (2,0) c |  Generating clones                                                                                    |
270.68/196.29	c (3,0) c |  all clones generated. Memory =  2854.71Mb.                                                           |
270.68/196.29	c (3,0) c ========================================================================================================|
270.68/196.29	c (3,0) c
270.68/196.29	c (3,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
270.68/196.29	c (3,0) c
270.68/196.29	c (3,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
270.68/196.29	c (3,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
270.68/196.29	c (3,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
270.68/196.29	c (3,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
270.68/196.29	c (3,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
270.68/196.29	c (3,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
270.68/196.29	c (3,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
270.68/196.29	c (3,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
270.68/196.29	c (3,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
270.68/196.29	c (3,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
270.68/196.29	c (3,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
270.68/196.29	c (3,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
270.68/196.29	c (3,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
270.68/196.29	c (3,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
270.68/196.29	c (3,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
270.68/196.29	c (3,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
270.68/196.29	c (3,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
270.68/196.29	c (3,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
270.68/196.29	c (3,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
279.73/197.88	c (4,0) c
279.73/197.88	c (4,0) c real time : 4.4158 s
279.73/197.88	c (4,0) c cpu time  : 10.8027 s
279.73/197.88	c (4,0) c
279.73/197.88	c (4,0) c
279.73/197.88	c (4,0) c
279.73/197.88	c (4,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
279.73/197.88	c (4,0) c
279.73/197.88	c (4,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
279.73/197.88	c (4,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
279.73/197.88	c (4,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
279.73/197.88	c (4,0) c | Conflicts     |            4376 |        148 |        536 |        550 |        521 |        845 |        444 |        593 |        739 |
279.73/197.88	c (4,0) c | Decisions     |           14361 |       6593 |       1253 |        958 |        806 |       1333 |        980 |        992 |       1446 |
279.73/197.88	c (4,0) c | Propagations  |         9151553 |     760512 |    1015195 |    1155215 |     908418 |    1304747 |    1314568 |    1270678 |    1422220 |
279.73/197.88	c (4,0) c | ReduceDBs     |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
279.73/197.88	c (4,0) c | SimpDBs       |               8 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |
279.73/197.88	c (4,0) c | Restarts      |              15 |          2 |          2 |          2 |          3 |          1 |          2 |          2 |          1 |
279.73/197.88	c (4,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
279.73/197.88	c (4,0) c | PropBinClauses|         6163715 |     367135 |     738932 |     798133 |     624782 |     926761 |     783104 |     944471 |     980397 |
279.73/197.88	c (4,0) c | PropPreBlocker|       180457516 |   22848201 |   21695197 |   26160901 |   22886684 |   24936487 |   19059525 |   22679443 |   20191078 |
279.73/197.88	c (4,0) c | PropNotBlocker|        59929409 |    5939475 |    7675398 |    8297155 |    6748441 |    8441657 |    7421132 |    8445606 |    6960545 |
279.73/197.88	c (4,0) c | LitFullScans  |       259176614 |   30054388 |   31299786 |   36631920 |   31324726 |   36009203 |   30054451 |   33660855 |   30141285 |
279.73/197.88	c (4,0) c | LitScanFracts |           10132 |        848 |        966 |       1394 |        753 |       1038 |       1045 |       2461 |       1627 |
279.73/197.88	c (4,0) c | DecisionLevel0|              15 |          2 |          2 |          2 |          3 |          1 |          2 |          2 |          1 |
279.73/197.88	c (4,0) c | Periods       |              42 |          5 |          5 |          6 |          5 |          6 |          5 |          5 |          5 |
279.73/197.88	c (4,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
279.73/197.88	c (4,0) c | Avg_Trail     |                 |      29059 |       6255 |       5685 |       6754 |       5252 |       9170 |       6757 |       9076 |
279.73/197.88	c (4,0) c | Avg_DL        |                 |       4653 |         61 |         93 |        102 |         43 |         79 |         31 |        137 |
279.73/197.88	c (4,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
279.73/197.88	c (4,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
279.73/197.88	c (4,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
279.73/197.88	c (4,0) c | Exported      |             139 |          1 |         30 |         16 |          4 |         34 |          7 |         24 |         23 |
279.73/197.88	c (4,0) c | Imported      |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
279.73/197.88	c (4,0) c | Good          |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
279.73/197.88	c (4,0) c | Purge         |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
279.73/197.88	c (4,0) c | Promoted      |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
279.73/197.88	c (4,0) c | Remove_Imp    |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
279.73/197.88	c (4,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
279.73/197.88	c (4,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
279.73/197.88	c (4,0) c | Unaries       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
279.73/197.88	c (4,0) c | Binaries      |                 |          0 |          0 |          0 |          0 |          1 |          0 |          1 |          1 |
279.73/197.88	c (4,0) c | Glues         |                 |          1 |         30 |         16 |          4 |         34 |          7 |         24 |         23 |
279.73/197.88	c (4,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
279.73/197.88	c (4,0) c | Orig_Seen     |             0 % |       7848 |      11268 |      12481 |       4454 |      14558 |      17468 |      13967 |      14763 |
279.73/197.88	c (4,0) c | Diff Orig seen|                 |       3394 |       6814 |       8027 |      X     |      10104 |      13014 |       9513 |      10309 |
279.73/197.88	c (4,0) c | Hamming       |            15 % |      19188 |      24637 |      20402 |      X     |      22957 |      22570 |      23163 |      23551 |
279.73/197.88	c (4,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
279.73/197.88	c (4,0) c | RunningTime   |                 |    1.6 100%|    1.5 100%|    1.5 100%|    1.3 100%|    1.3 100%|    1.5 100%|    1.4 100%|    1.5 100%|
279.73/197.88	c (4,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%|
279.73/197.88	c (4,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%|
279.73/197.88	c (4,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%|
279.73/197.88	c (4,0) c | SolvingTime   |                 |    1.6     |    1.5     |    1.5     |    1.3     |    1.3     |    1.5     |    1.4     |    1.5     |
279.73/197.88	c (4,0) c | PropagationTim|                 |    1.5  97%|    1.5  97%|    1.4  97%|    1.3  97%|    1.3  97%|    1.4  95%|    1.4  97%|    1.4  95%|
279.73/197.88	c (4,0) c | AnalysisTime  |                 |    0.0   1%|    0.0   1%|    0.0   2%|    0.0   1%|    0.0   2%|    0.1   4%|    0.0   2%|    0.0   3%|
279.73/197.88	c (4,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%|
279.73/197.88	c (4,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%|
279.73/197.88	c (4,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%|
279.73/197.88	c (4,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%|
279.73/197.88	c (4,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
279.73/197.88	c (4,0) c
279.73/197.88	c (4,0) c
279.73/197.88	c (4,0) c Threads : 8
279.73/197.88	c (4,0) c Winner : 3
279.73/197.88	c (4,0) c Conflicts_0 : 148
279.73/197.88	c (4,0) c Conflicts_1 : 536
279.73/197.88	c (4,0) c Conflicts_2 : 550
279.73/197.88	c (4,0) c Conflicts_3 : 521
279.73/197.89	c (4,0) c Conflicts_4 : 845
279.73/197.89	c (4,0) c Conflicts_5 : 444
279.73/197.89	c (4,0) c Conflicts_6 : 593
279.73/197.89	c (4,0) c Conflicts_7 : 739
279.73/197.89	c (4,0) c Conflicts_total : 4376
279.73/197.89	c (4,0) c Conflicts_winner : 521
279.73/197.89	c (4,0) c Decisions_0 : 6593
279.73/197.89	c (4,0) c Decisions_1 : 1253
279.73/197.89	c (4,0) c Decisions_2 : 958
279.73/197.89	c (4,0) c Decisions_3 : 806
279.73/197.89	c (4,0) c Decisions_4 : 1333
279.73/197.89	c (4,0) c Decisions_5 : 980
279.73/197.89	c (4,0) c Decisions_6 : 992
279.73/197.89	c (4,0) c Decisions_7 : 1446
279.73/197.89	c (4,0) c Decisions_total : 14361
279.73/197.89	c (4,0) c Decisions_winner : 806
279.73/197.89	c (4,0) c Propagations_0 : 760512
279.73/197.89	c (4,0) c Propagations_1 : 1015195
279.73/197.89	c (4,0) c Propagations_2 : 1155215
279.73/197.89	c (4,0) c Propagations_3 : 908418
279.73/197.89	c (4,0) c Propagations_4 : 1304747
279.73/197.89	c (4,0) c Propagations_5 : 1314568
279.73/197.89	c (4,0) c Propagations_6 : 1270678
279.73/197.89	c (4,0) c Propagations_7 : 1422220
279.73/197.89	c (4,0) c Propagations_total : 9151553
279.73/197.89	c (4,0) c Propagations_winner : 908418
279.73/197.89	c (4,0) c ReduceDBs_0 : 0
279.73/197.89	c (4,0) c ReduceDBs_1 : 0
279.73/197.89	c (4,0) c ReduceDBs_2 : 0
279.73/197.89	c (4,0) c ReduceDBs_3 : 0
279.73/197.89	c (4,0) c ReduceDBs_4 : 0
279.73/197.89	c (4,0) c ReduceDBs_5 : 0
279.73/197.89	c (4,0) c ReduceDBs_6 : 0
279.73/197.89	c (4,0) c ReduceDBs_7 : 0
279.73/197.89	c (4,0) c ReduceDBs_total : 0
279.73/197.89	c (4,0) c ReduceDBs_winner : 0
279.73/197.89	c (4,0) c SimpDBs_0 : 1
279.73/197.89	c (4,0) c SimpDBs_1 : 1
279.73/197.89	c (4,0) c SimpDBs_2 : 1
279.73/197.89	c (4,0) c SimpDBs_3 : 1
279.73/197.89	c (4,0) c SimpDBs_4 : 1
279.73/197.89	c (4,0) c SimpDBs_5 : 1
279.73/197.89	c (4,0) c SimpDBs_6 : 1
279.73/197.89	c (4,0) c SimpDBs_7 : 1
279.73/197.89	c (4,0) c SimpDBs_total : 8
279.73/197.89	c (4,0) c SimpDBs_winner : 1
279.73/197.89	c (4,0) c Restarts_0 : 2
279.73/197.89	c (4,0) c Restarts_1 : 2
279.73/197.89	c (4,0) c Restarts_2 : 2
279.73/197.89	c (4,0) c Restarts_3 : 3
279.73/197.89	c (4,0) c Restarts_4 : 1
279.73/197.89	c (4,0) c Restarts_5 : 2
279.73/197.89	c (4,0) c Restarts_6 : 2
279.73/197.89	c (4,0) c Restarts_7 : 1
279.73/197.89	c (4,0) c Restarts_total : 15
279.73/197.89	c (4,0) c Restarts_winner : 3
279.73/197.89	c (4,0) c ForcedImports_0 : 0
279.73/197.89	c (4,0) c ForcedImports_1 : 0
279.73/197.89	c (4,0) c ForcedImports_2 : 0
279.73/197.89	c (4,0) c ForcedImports_3 : 0
279.73/197.89	c (4,0) c ForcedImports_4 : 0
279.73/197.89	c (4,0) c ForcedImports_5 : 0
279.73/197.89	c (4,0) c ForcedImports_6 : 0
279.73/197.89	c (4,0) c ForcedImports_7 : 0
279.73/197.89	c (4,0) c ForcedImports_total : 0
279.73/197.89	c (4,0) c ForcedImports_winner : 0
279.73/197.89	c (4,0) c PropsBinClauses_0 : 367135
279.73/197.89	c (4,0) c PropsBinClauses_1 : 738932
279.73/197.89	c (4,0) c PropsBinClauses_2 : 798133
279.73/197.89	c (4,0) c PropsBinClauses_3 : 624782
279.73/197.89	c (4,0) c PropsBinClauses_4 : 926761
279.73/197.89	c (4,0) c PropsBinClauses_5 : 783104
279.73/197.89	c (4,0) c PropsBinClauses_6 : 944471
279.73/197.89	c (4,0) c PropsBinClauses_7 : 980397
279.73/197.89	c (4,0) c PropsBinClauses_total : 6163715
279.73/197.89	c (4,0) c PropsBinClauses_winner : 624782
279.73/197.89	c (4,0) c PropsPreBlocker_0 : 22848201
279.73/197.89	c (4,0) c PropsPreBlocker_1 : 21695197
279.73/197.89	c (4,0) c PropsPreBlocker_2 : 26160901
279.73/197.89	c (4,0) c PropsPreBlocker_3 : 22886684
279.73/197.89	c (4,0) c PropsPreBlocker_4 : 24936487
279.73/197.89	c (4,0) c PropsPreBlocker_5 : 19059525
279.73/197.89	c (4,0) c PropsPreBlocker_6 : 22679443
279.73/197.89	c (4,0) c PropsPreBlocker_7 : 20191078
279.73/197.89	c (4,0) c PropsPreBlocker_total : 180457516
279.73/197.89	c (4,0) c PropsPreBlocker_winner : 22886684
279.73/197.89	c (4,0) c PropsNotBlocker_0 : 5939475
279.73/197.89	c (4,0) c PropsNotBlocker_1 : 7675398
279.73/197.89	c (4,0) c PropsNotBlocker_2 : 8297155
279.73/197.89	c (4,0) c PropsNotBlocker_3 : 6748441
279.73/197.89	c (4,0) c PropsNotBlocker_4 : 8441657
279.73/197.89	c (4,0) c PropsNotBlocker_5 : 7421132
279.73/197.89	c (4,0) c PropsNotBlocker_6 : 8445606
279.73/197.89	c (4,0) c PropsNotBlocker_7 : 6960545
279.73/197.89	c (4,0) c PropsNotBlocker_total : 59929409
279.73/197.89	c (4,0) c PropsNotBlocker_winner : 6748441
279.73/197.89	c (4,0) c PropsLitFullScans_0 : 30054388
279.73/197.89	c (4,0) c PropsLitFullScans_1 : 31299786
279.73/197.89	c (4,0) c PropsLitFullScans_2 : 36631920
279.73/197.89	c (4,0) c PropsLitFullScans_3 : 31324726
279.73/197.89	c (4,0) c PropsLitFullScans_4 : 36009203
279.73/197.89	c (4,0) c PropsLitFullScans_5 : 30054451
279.73/197.89	c (4,0) c PropsLitFullScans_6 : 33660855
279.73/197.89	c (4,0) c PropsLitFullScans_7 : 30141285
279.73/197.89	c (4,0) c PropsLitFullScans_total : 259176614
279.73/197.89	c (4,0) c PropsLitFullScans_winner : 31324726
279.73/197.89	c (4,0) c LitScanFractions_0 : 848
279.73/197.89	c (4,0) c LitScanFractions_1 : 966
279.73/197.89	c (4,0) c LitScanFractions_2 : 1394
279.73/197.89	c (4,0) c LitScanFractions_3 : 753
279.73/197.89	c (4,0) c LitScanFractions_4 : 1038
279.73/197.89	c (4,0) c LitScanFractions_5 : 1045
279.73/197.89	c (4,0) c LitScanFractions_6 : 2461
279.73/197.89	c (4,0) c LitScanFractions_7 : 1627
279.73/197.89	c (4,0) c LitScanFractions_total : 10132
279.73/197.89	c (4,0) c LitScanFractions_winner : 753
279.73/197.89	c (4,0) c DecisionLevel0_0 : 2
279.73/197.89	c (4,0) c DecisionLevel0_1 : 2
279.73/197.89	c (4,0) c DecisionLevel0_2 : 2
279.73/197.89	c (4,0) c DecisionLevel0_3 : 3
279.73/197.89	c (4,0) c DecisionLevel0_4 : 1
279.73/197.89	c (4,0) c DecisionLevel0_5 : 2
279.73/197.89	c (4,0) c DecisionLevel0_6 : 2
279.73/197.89	c (4,0) c DecisionLevel0_7 : 1
279.73/197.89	c (4,0) c DecisionLevel0_total : 15
279.73/197.89	c (4,0) c DecisionLevel0_winner : 3
279.73/197.89	c (4,0) c Periods_0 : 5
279.73/197.89	c (4,0) c Periods_1 : 5
279.73/197.89	c (4,0) c Periods_2 : 6
279.73/197.89	c (4,0) c Periods_3 : 5
279.73/197.89	c (4,0) c Periods_4 : 6
279.73/197.89	c (4,0) c Periods_5 : 5
279.73/197.89	c (4,0) c Periods_6 : 5
279.73/197.89	c (4,0) c Periods_7 : 5
279.73/197.89	c (4,0) c Periods_total : 42
279.73/197.89	c (4,0) c Periods_winner : 5
279.73/197.89	c (4,0) c Margin_0 : 20
279.73/197.89	c (4,0) c Margin_1 : 20
279.73/197.89	c (4,0) c Margin_2 : 20
279.73/197.89	c (4,0) c Margin_3 : 20
279.73/197.89	c (4,0) c Margin_4 : 20
279.73/197.89	c (4,0) c Margin_5 : 20
279.73/197.89	c (4,0) c Margin_6 : 20
279.73/197.89	c (4,0) c Margin_7 : 20
279.73/197.89	c (4,0) c Margin_total : 160
279.73/197.89	c (4,0) c Margin_winner : 20
279.73/197.89	c (4,0) c Exported_0 : 1
279.73/197.89	c (4,0) c Exported_1 : 30
279.73/197.89	c (4,0) c Exported_2 : 16
279.73/197.89	c (4,0) c Exported_3 : 4
279.73/197.89	c (4,0) c Exported_4 : 34
279.73/197.89	c (4,0) c Exported_5 : 7
279.73/197.89	c (4,0) c Exported_6 : 24
279.73/197.89	c (4,0) c Exported_7 : 23
279.73/197.89	c (4,0) c Exported_total : 139
279.73/197.89	c (4,0) c Exported_winner : 4
279.73/197.89	c (4,0) c Imported_0 : 0
279.73/197.89	c (4,0) c Imported_1 : 0
279.73/197.89	c (4,0) c Imported_2 : 0
279.73/197.89	c (4,0) c Imported_3 : 0
279.73/197.89	c (4,0) c Imported_4 : 0
279.73/197.89	c (4,0) c Imported_5 : 0
279.73/197.89	c (4,0) c Imported_6 : 0
279.73/197.89	c (4,0) c Imported_7 : 0
279.73/197.89	c (4,0) c Imported_total : 0
279.73/197.89	c (4,0) c Imported_winner : 0
279.73/197.89	c (4,0) c Good_0 : 0
279.73/197.89	c (4,0) c Good_1 : 0
279.73/197.89	c (4,0) c Good_2 : 0
279.73/197.89	c (4,0) c Good_3 : 0
279.73/197.89	c (4,0) c Good_4 : 0
279.73/197.89	c (4,0) c Good_5 : 0
279.73/197.89	c (4,0) c Good_6 : 0
279.73/197.89	c (4,0) c Good_7 : 0
279.73/197.89	c (4,0) c Good_total : 0
279.73/197.89	c (4,0) c Good_winner : 0
279.73/197.89	c (4,0) c Purge_0 : 0
279.73/197.89	c (4,0) c Purge_1 : 0
279.73/197.89	c (4,0) c Purge_2 : 0
279.73/197.89	c (4,0) c Purge_3 : 0
279.73/197.89	c (4,0) c Purge_4 : 0
279.73/197.89	c (4,0) c Purge_5 : 0
279.73/197.89	c (4,0) c Purge_6 : 0
279.73/197.89	c (4,0) c Purge_7 : 0
279.73/197.89	c (4,0) c Purge_total : 0
279.73/197.89	c (4,0) c Purge_winner : 0
279.73/197.89	c (4,0) c Promoted_0 : 0
279.73/197.89	c (4,0) c Promoted_1 : 0
279.73/197.89	c (4,0) c Promoted_2 : 0
279.73/197.89	c (4,0) c Promoted_3 : 0
279.73/197.89	c (4,0) c Promoted_4 : 0
279.73/197.89	c (4,0) c Promoted_5 : 0
279.73/197.89	c (4,0) c Promoted_6 : 0
279.73/197.89	c (4,0) c Promoted_7 : 0
279.73/197.89	c (4,0) c Promoted_total : 0
279.73/197.89	c (4,0) c Promoted_winner : 0
279.73/197.89	c (4,0) c Remove_Imp_0 : 0
279.73/197.89	c (4,0) c Remove_Imp_1 : 0
279.73/197.89	c (4,0) c Remove_Imp_2 : 0
279.73/197.89	c (4,0) c Remove_Imp_3 : 0
279.73/197.89	c (4,0) c Remove_Imp_4 : 0
279.73/197.89	c (4,0) c Remove_Imp_5 : 0
279.73/197.89	c (4,0) c Remove_Imp_6 : 0
279.73/197.89	c (4,0) c Remove_Imp_7 : 0
279.73/197.89	c (4,0) c Remove_Imp_total : 0
279.73/197.89	c (4,0) c Remove_Imp_winner : 0
279.73/197.89	c (4,0) c Blocked_Reuse_0 : 0
279.73/197.89	c (4,0) c Blocked_Reuse_1 : 0
279.73/197.89	c (4,0) c Blocked_Reuse_2 : 0
279.73/197.89	c (4,0) c Blocked_Reuse_3 : 0
279.73/197.89	c (4,0) c Blocked_Reuse_4 : 0
279.73/197.89	c (4,0) c Blocked_Reuse_5 : 0
279.73/197.89	c (4,0) c Blocked_Reuse_6 : 0
279.73/197.89	c (4,0) c Blocked_Reuse_7 : 0
279.73/197.89	c (4,0) c Blocked_Reuse_total : 0
279.73/197.89	c (4,0) c Blocked_Reuse_winner : 0
279.73/197.89	c (4,0) c Unaries_0 : 0
279.73/197.89	c (4,0) c Unaries_1 : 0
279.73/197.89	c (4,0) c Unaries_2 : 0
279.73/197.89	c (4,0) c Unaries_3 : 0
279.73/197.89	c (4,0) c Unaries_4 : 0
279.73/197.89	c (4,0) c Unaries_5 : 0
279.73/197.89	c (4,0) c Unaries_6 : 0
279.73/197.89	c (4,0) c Unaries_7 : 0
279.73/197.89	c (4,0) c Unaries_total : 0
279.73/197.89	c (4,0) c Unaries_winner : 0
279.73/197.89	c (4,0) c Binaries_0 : 0
279.73/197.89	c (4,0) c Binaries_1 : 0
279.73/197.89	c (4,0) c Binaries_2 : 0
279.73/197.89	c (4,0) c Binaries_3 : 0
279.73/197.89	c (4,0) c Binaries_4 : 1
279.73/197.89	c (4,0) c Binaries_5 : 0
279.73/197.89	c (4,0) c Binaries_6 : 1
279.73/197.89	c (4,0) c Binaries_7 : 1
279.73/197.89	c (4,0) c Binaries_total : 3
279.73/197.89	c (4,0) c Binaries_winner : 0
279.73/197.89	c (4,0) c Glues_0 : 1
279.73/197.89	c (4,0) c Glues_1 : 30
279.73/197.89	c (4,0) c Glues_2 : 16
279.73/197.89	c (4,0) c Glues_3 : 4
279.73/197.89	c (4,0) c Glues_4 : 34
279.73/197.89	c (4,0) c Glues_5 : 7
279.73/197.89	c (4,0) c Glues_6 : 24
279.73/197.89	c (4,0) c Glues_7 : 23
279.73/197.89	c (4,0) c Glues_total : 139
279.73/197.89	c (4,0) c Glues_winner : 4
279.73/197.89	c (4,0) c RunningTime_0 : 1.586569
279.73/197.89	c (4,0) c RunningTime_1 : 1.510406
279.73/197.89	c (4,0) c RunningTime_2 : 1.450678
279.73/197.89	c (4,0) c RunningTime_3 : 1.302191
279.73/197.89	c (4,0) c RunningTime_4 : 1.316639
279.73/197.89	c (4,0) c RunningTime_5 : 1.463066
279.73/197.89	c (4,0) c RunningTime_6 : 1.415472
279.73/197.89	c (4,0) c RunningTime_7 : 1.472905
279.73/197.89	c (4,0) c RunningTime_total : 11.517924
279.73/197.89	c (4,0) c RunningTime_winner : 1.302191
279.73/197.89	c (4,0) c WaitingTime_0 : 0.000000
279.73/197.89	c (4,0) c WaitingTime_1 : 0.000000
279.73/197.89	c (4,0) c WaitingTime_2 : 0.000000
279.73/197.89	c (4,0) c WaitingTime_3 : 0.000000
279.73/197.89	c (4,0) c WaitingTime_4 : 0.000000
279.73/197.90	c (4,0) c WaitingTime_5 : 0.000000
279.73/197.90	c (4,0) c WaitingTime_6 : 0.000000
279.73/197.90	c (4,0) c WaitingTime_7 : 0.000000
279.73/197.90	c (4,0) c WaitingTime_total : 0.000000
279.73/197.90	c (4,0) c WaitingTime_winner : 0.000000
279.73/197.90	c (4,0) c ExchangingTime_0 : 0.000030
279.73/197.90	c (4,0) c ExchangingTime_1 : 0.000146
279.73/197.90	c (4,0) c ExchangingTime_2 : 0.000135
279.73/197.90	c (4,0) c ExchangingTime_3 : 0.000127
279.73/197.90	c (4,0) c ExchangingTime_4 : 0.000184
279.73/197.90	c (4,0) c ExchangingTime_5 : 0.000099
279.73/197.90	c (4,0) c ExchangingTime_6 : 0.000222
279.73/197.90	c (4,0) c ExchangingTime_7 : 0.000181
279.73/197.90	c (4,0) c ExchangingTime_total : 0.001124
279.73/197.90	c (4,0) c ExchangingTime_winner : 0.000127
279.73/197.90	c (4,0) c PeriodProcTime_0 : 0.000087
279.73/197.90	c (4,0) c PeriodProcTime_1 : 0.000061
279.73/197.90	c (4,0) c PeriodProcTime_2 : 0.000066
279.73/197.90	c (4,0) c PeriodProcTime_3 : 0.000232
279.73/197.90	c (4,0) c PeriodProcTime_4 : 0.000065
279.73/197.90	c (4,0) c PeriodProcTime_5 : 0.000088
279.73/197.90	c (4,0) c PeriodProcTime_6 : 0.000054
279.73/197.90	c (4,0) c PeriodProcTime_7 : 0.000111
279.73/197.90	c (4,0) c PeriodProcTime_total : 0.000764
279.73/197.90	c (4,0) c PeriodProcTime_winner : 0.000232
279.73/197.90	c (4,0) c SolvingTime_0 : 1.586686
279.73/197.90	c (4,0) c SolvingTime_1 : 1.510613
279.73/197.90	c (4,0) c SolvingTime_2 : 1.450878
279.73/197.90	c (4,0) c SolvingTime_3 : 1.302550
279.73/197.90	c (4,0) c SolvingTime_4 : 1.316888
279.73/197.90	c (4,0) c SolvingTime_5 : 1.463253
279.73/197.90	c (4,0) c SolvingTime_6 : 1.415747
279.73/197.90	c (4,0) c SolvingTime_7 : 1.473197
279.73/197.90	c (4,0) c SolvingTime_total : 11.519812
279.73/197.90	c (4,0) c SolvingTime_winner : 1.302550
279.73/197.90	c (4,0) c PropagationTime_0 : 1.546283
279.73/197.90	c (4,0) c PropagationTime_1 : 1.462061
279.73/197.90	c (4,0) c PropagationTime_2 : 1.408672
279.73/197.90	c (4,0) c PropagationTime_3 : 1.268484
279.73/197.90	c (4,0) c PropagationTime_4 : 1.272783
279.73/197.90	c (4,0) c PropagationTime_5 : 1.386266
279.73/197.90	c (4,0) c PropagationTime_6 : 1.374066
279.73/197.90	c (4,0) c PropagationTime_7 : 1.399728
279.73/197.90	c (4,0) c PropagationTime_total : 11.118342
279.73/197.90	c (4,0) c PropagationTime_winner : 1.268484
279.73/197.90	c (4,0) c AnalysisTime_0 : 0.017951
279.73/197.90	c (4,0) c AnalysisTime_1 : 0.019151
279.73/197.90	c (4,0) c AnalysisTime_2 : 0.027829
279.73/197.90	c (4,0) c AnalysisTime_3 : 0.018047
279.73/197.90	c (4,0) c AnalysisTime_4 : 0.027009
279.73/197.90	c (4,0) c AnalysisTime_5 : 0.056664
279.73/197.90	c (4,0) c AnalysisTime_6 : 0.024693
279.73/197.90	c (4,0) c AnalysisTime_7 : 0.047001
279.73/197.90	c (4,0) c AnalysisTime_total : 0.238346
279.73/197.90	c (4,0) c AnalysisTime_winner : 0.018047
279.73/197.90	c (4,0) c ReductionTime_0 : 0.000000
279.73/197.90	c (4,0) c ReductionTime_1 : 0.000000
279.73/197.90	c (4,0) c ReductionTime_2 : 0.000000
279.73/197.90	c (4,0) c ReductionTime_3 : 0.000000
279.73/197.90	c (4,0) c ReductionTime_4 : 0.000000
279.73/197.90	c (4,0) c ReductionTime_5 : 0.000000
279.73/197.90	c (4,0) c ReductionTime_6 : 0.000000
279.73/197.90	c (4,0) c ReductionTime_7 : 0.000000
279.73/197.90	c (4,0) c ReductionTime_total : 0.000000
279.73/197.90	c (4,0) c ReductionTime_winner : 0.000000
279.73/197.90	c (4,0) c SimplifyTime_0 : 0.000000
279.73/197.90	c (4,0) c SimplifyTime_1 : 0.000000
279.73/197.90	c (4,0) c SimplifyTime_2 : 0.000000
279.73/197.90	c (4,0) c SimplifyTime_3 : 0.000001
279.73/197.90	c (4,0) c SimplifyTime_4 : 0.000000
279.73/197.90	c (4,0) c SimplifyTime_5 : 0.000000
279.73/197.90	c (4,0) c SimplifyTime_6 : 0.000000
279.73/197.90	c (4,0) c SimplifyTime_7 : 0.000001
279.73/197.90	c (4,0) c SimplifyTime_total : 0.000002
279.73/197.90	c (4,0) c SimplifyTime_winner : 0.000001
279.73/197.90	c (4,0) c UsedRateTime_0 : 0.000000
279.73/197.90	c (4,0) c UsedRateTime_1 : 0.000000
279.73/197.90	c (4,0) c UsedRateTime_2 : 0.000000
279.73/197.90	c (4,0) c UsedRateTime_3 : 0.000000
279.73/197.90	c (4,0) c UsedRateTime_4 : 0.000000
279.73/197.90	c (4,0) c UsedRateTime_5 : 0.000000
279.73/197.90	c (4,0) c UsedRateTime_6 : 0.000000
279.73/197.90	c (4,0) c UsedRateTime_7 : 0.000000
279.73/197.90	c (4,0) c UsedRateTime_total : 0.000000
279.85/197.90	c (4,0) c UsedRateTime_winner : 0.000000
279.85/197.90	c (4,0) c OverlapRateTime_0 : 0.000000
279.85/197.90	c (4,0) c OverlapRateTime_1 : 0.000000
279.85/197.90	c (4,0) c OverlapRateTime_2 : 0.000000
279.85/197.90	c (4,0) c OverlapRateTime_3 : 0.000000
279.85/197.90	c (4,0) c OverlapRateTime_4 : 0.000000
279.85/197.90	c (4,0) c OverlapRateTime_5 : 0.000000
279.85/197.90	c (4,0) c OverlapRateTime_6 : 0.000000
279.85/197.90	c (4,0) c OverlapRateTime_7 : 0.000000
279.85/197.90	c (4,0) c OverlapRateTime_total : 0.000000
279.85/197.90	c (4,0) c OverlapRateTime_winner : 0.000000
279.85/197.90	c (4,0) c
279.85/197.90	c (4,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
279.85/197.90	c (4,0) c
279.85/197.90	c (4,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
279.85/197.90	c (4,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
279.85/197.90	c (4,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
279.85/197.90	c (4,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
279.85/197.90	c (4,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
279.85/197.90	c (4,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
279.85/197.90	c (4,0) c | Initial random_seed   |  474127365 |  851612792 |   45849067 |  794608763 | 2052410087 | 1371690573 | 2071220393 | 1940817974 |
279.85/197.90	c (4,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
279.85/197.90	c (4,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
279.85/197.90	c (4,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
279.85/197.90	c (4,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
279.85/197.90	c (4,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
279.85/197.90	c (4,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
279.85/197.90	c (4,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
279.85/197.90	c (4,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
279.85/197.90	c (4,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
279.85/197.90	c (4,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
279.85/197.90	c (4,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
279.85/197.90	c (4,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
279.85/197.90	c (4,0) 
279.85/197.90	c (4,0) s SATISFIABLE
268.27/198.02	c (4,0) SatSolver.solve End
268.27/198.02	c (4,0) Heap : 144 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
268.27/198.03	c (4,0) Show results Begin
280.46/198.14	c (5,0) x[0] = 0
280.46/198.14	c (5,0) x[1] = 13
280.46/198.14	c (5,0) x[2] = 29
280.46/198.14	c (5,0) x[3] = 63
280.46/198.14	c (5,0) x[4] = 104
280.46/198.14	c (5,0) x[5] = 130
280.46/198.14	c (5,0) x[6] = 134
280.46/198.14	c (5,0) x[7] = 137
280.46/198.14	c (5,0) x[8] = 180
280.46/198.14	c (5,0) x[9] = 185
280.46/198.14	c (5,0) x[10] = 32
280.46/198.14	c (5,0) x[11] = 65
280.46/198.14	c (5,0) x[12] = 89
280.46/198.14	c (5,0) x[13] = 94
280.46/198.14	c (5,0) x[14] = 189
280.46/198.14	c (5,0) x[15] = 26
280.46/198.14	c (5,0) x[16] = 42
280.46/198.14	c (5,0) x[17] = 133
280.46/198.14	c (5,0) x[18] = 115
280.46/198.14	c (5,0) x[19] = 1
280.46/198.14	c (5,0) x[20] = 41
280.46/198.14	c (5,0) x[21] = 142
280.46/198.14	c (5,0) x[22] = 143
280.46/198.14	c (5,0) x[23] = 83
280.46/198.14	c (5,0) x[24] = 135
280.46/198.14	c (5,0) x[25] = 97
280.46/198.14	c (5,0) x[26] = 5
280.46/198.14	c (5,0) x[27] = 58
280.46/198.14	c (5,0) x[28] = 147
280.46/198.14	c (5,0) x[29] = 171
280.46/198.14	c (5,0) x[30] = 183
280.46/198.14	c (5,0) x[31] = 9
280.46/198.14	c (5,0) x[32] = 87
280.46/198.14	c (5,0) x[33] = 172
280.46/198.14	c (5,0) x[34] = 92
280.46/198.14	c (5,0) x[35] = 187
280.46/198.14	c (5,0) x[36] = 111
280.46/198.14	c (5,0) x[37] = 164
280.46/198.14	c (5,0) x[38] = 197
280.46/198.14	c (5,0) x[39] = 57
280.46/198.14	c (5,0) x[40] = 129
280.46/198.14	c (5,0) x[41] = 24
280.46/198.14	c (5,0) x[42] = 101
280.46/198.14	c (5,0) x[43] = 120
280.46/198.14	c (5,0) x[44] = 139
280.46/198.14	c (5,0) x[45] = 144
280.46/198.14	c (5,0) x[46] = 25
280.46/198.14	c (5,0) x[47] = 98
280.46/198.14	c (5,0) x[48] = 123
280.46/198.14	c (5,0) x[49] = 152
280.46/198.14	c (5,0) x[50] = 14
280.46/198.14	c (5,0) x[51] = 113
280.46/198.14	c (5,0) x[52] = 82
280.46/198.14	c (5,0) x[53] = 91
280.46/198.14	c (5,0) x[54] = 105
280.46/198.14	c (5,0) x[55] = 114
280.46/198.14	c (5,0) x[56] = 188
280.46/198.14	c (5,0) x[57] = 161
280.46/198.14	c (5,0) x[58] = 12
280.46/198.14	c (5,0) x[59] = 75
280.46/198.14	c (5,0) x[60] = 146
280.46/198.14	c (5,0) x[61] = 103
280.46/198.14	c (5,0) x[62] = 112
280.46/198.14	c (5,0) x[63] = 18
280.46/198.14	c (5,0) x[64] = 162
280.46/198.14	c (5,0) x[65] = 50
280.46/198.14	c (5,0) x[66] = 90
280.46/198.14	c (5,0) x[67] = 124
280.46/198.14	c (5,0) x[68] = 49
280.46/198.14	c (5,0) x[69] = 106
280.46/198.14	c (5,0) x[70] = 95
280.46/198.14	c (5,0) x[71] = 72
280.46/198.14	c (5,0) x[72] = 79
280.46/198.14	c (5,0) x[73] = 167
280.46/198.14	c (5,0) x[74] = 70
280.46/198.14	c (5,0) x[75] = 148
280.46/198.15	c (5,0) x[76] = 33
280.46/198.15	c (5,0) x[77] = 3
280.46/198.15	c (5,0) x[78] = 74
280.46/198.15	c (5,0) x[79] = 19
280.46/198.15	c (5,0) x[80] = 149
280.46/198.15	c (5,0) x[81] = 122
280.46/198.15	c (5,0) x[82] = 100
280.46/198.15	c (5,0) x[83] = 11
280.46/198.15	c (5,0) x[84] = 23
280.46/198.15	c (5,0) x[85] = 53
280.46/198.16	c (5,0) x[86] = 35
280.46/198.16	c (5,0) x[87] = 64
280.46/198.16	c (5,0) x[88] = 166
280.46/198.16	c (5,0) x[89] = 99
280.46/198.16	c (5,0) x[90] = 128
280.46/198.16	c (5,0) x[91] = 150
280.46/198.16	c (5,0) x[92] = 88
280.46/198.16	c (5,0) x[93] = 78
280.46/198.16	c (5,0) x[94] = 151
280.46/198.16	c (5,0) x[95] = 71
280.46/198.16	c (5,0) x[96] = 193
280.46/198.16	c (5,0) x[97] = 157
280.46/198.16	c (5,0) x[98] = 126
280.46/198.16	c (5,0) x[99] = 156
280.46/198.16	c (5,0) x[100] = 96
280.46/198.16	c (5,0) x[101] = 169
280.46/198.16	c (5,0) x[102] = 181
280.46/198.16	c (5,0) x[103] = 36
280.46/198.16	c (5,0) x[104] = 131
280.46/198.16	c (5,0) x[105] = 195
280.46/198.16	c (5,0) x[106] = 153
280.46/198.16	c (5,0) x[107] = 110
280.46/198.16	c (5,0) x[108] = 138
280.46/198.16	c (5,0) x[109] = 85
280.46/198.16	c (5,0) x[110] = 56
280.46/198.16	c (5,0) x[111] = 86
280.46/198.16	c (5,0) x[112] = 81
280.46/198.16	c (5,0) x[113] = 118
280.46/198.16	c (5,0) x[114] = 191
280.46/198.16	c (5,0) x[115] = 30
280.46/198.16	c (5,0) x[116] = 20
280.46/198.16	c (5,0) x[117] = 192
280.46/198.16	c (5,0) x[118] = 6
280.46/198.16	c (5,0) x[119] = 160
280.46/198.16	s SATISFIABLE
280.46/198.16	v <instantiation>
280.46/198.16	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]</list>
280.46/198.16	v     <values>0 13 29 63 104 130 134 137 180 185 32 65 89 94 189 26 42 133 115 1 41 142 143 83 135 97 5 58 147 171 183 9 87 172 92 187 111 164 197 57 129 24 101 120 139 144 25 98 123 152 14 113 82 91 105 114 188 161 12 75 146 103 112 18 162 50 90 124 49 106 95 72 79 167 70 148 33 3 74 19 149 122 100 11 23 53 35 64 166 99 128 150 88 78 151 71 193 157 126 156 96 169 181 36 131 195 153 110 138 85 56 86 81 118 191 30 20 192 6 160</values>
280.46/198.16	v </instantiation>
280.46/198.16	c (5,0) Show results End
280.46/198.16	c (5,0) Heap : 164 MiB used (max 3925 MiB), NonHeap : 18 MiB used (max 0 MiB)
280.46/198.16	c (5,0) 4,5,STOP-AFTER(ALL)
280.46/198.16	c END-Prog: Sat Sep 14 05:36:10 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 (15255 MiB free)
  memory of node 1: 16384 MiB (15636 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4392305-1568432021/watcher-4392305-1568432021 -o /tmp/evaluation-result-4392305-1568432021/solver-4392305-1568432021 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node132-1568428013-6295 --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-4392305-1568432021.xml 

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

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

solver pid=7327, runsolver pid=7324

[startup+0.100137 s]*
/proc/loadavg: 3.00 5.69 7.06 2/216 7349
/proc/meminfo: memFree=31538304/32770624 swapFree=67009668/67108860
[pid=7327] ppid=7324 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/7327/stat : 7327 (scop.sh) S 7324 7327 6268 0 -1 4202496 554 319 0 0 0 0 0 0 20 0 1 0 419124869 115843072 348 33554432000 4194304 5098028 140727403248944 140727403246200 140058002752124 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 14880768 140727403250469 140727403250796 140727403250796 140727403253709 0
/proc/7327/statm: 28282 348 296 221 0 87 0
[pid=7330] ppid=7327 vsize=27314120 memory=106804 CPUtime=0.1 cores=0-7
/proc/7330/stat : 7330 (java) S 7327 7327 6268 0 -1 1077944320 6768 0 0 0 8 2 0 0 20 0 20 0 419124869 27969658880 26701 33554432000 4194304 4196468 140730079797712 140730079780256 140687490948855 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 16699392 140730079806188 140730079806614 140730079806614 140730079809487 0
/proc/7330/statm: 6828530 26701 2805 1 0 6790935 0
[pid=7330/tid=7331] ppid=7327 vsize=27314120 memory=-7024592270288534718 CPUtime=0.09 cores=0-7
/proc/7330/task/7331/stat : 7331 (java) R 7327 7327 6268 0 -1 4202560 4880 0 0 0 7 2 0 0 20 0 20 0 419124870 27969658880 26701 33554432000 4194304 4196468 140730079797712 140687462762096 140687474992485 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16699392 140730079806188 140730079806614 140730079806614 140730079809487 0
[pid=7330/tid=7332] ppid=7327 vsize=27314120 memory=6735269665564437106 CPUtime=0 cores=0-7
/proc/7330/task/7332/stat : 7332 (java) S 7327 7327 6268 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419124872 27969658880 26701 33554432000 4194304 4196468 140730079797712 140687495191440 140687490959061 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16699392 140730079806188 140730079806614 140730079806614 140730079809487 0
[pid=7330/tid=7333] ppid=7327 vsize=27314120 memory=140153558886016 CPUtime=0 cores=0-7
/proc/7330/task/7333/stat : 7333 (java) S 7327 7327 6268 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419124872 27969658880 26701 33554432000 4194304 4196468 140730079797712 140687309347600 140687490959061 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16699392 140730079806188 140730079806614 140730079806614 140730079809487 0
[pid=7330/tid=7334] ppid=7327 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7330/task/7334/stat : 7334 (java) S 7327 7327 6268 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419124872 27969658880 26701 33554432000 4194304 4196468 140730079797712 140687308295312 140687490959061 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16699392 140730079806188 140730079806614 140730079806614 140730079809487 0
[pid=7330/tid=7335] ppid=7327 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7330/task/7335/stat : 7335 (java) S 7327 7327 6268 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419124872 27969658880 26701 33554432000 4194304 4196468 140730079797712 140687307242512 140687490959061 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16699392 140730079806188 140730079806614 140730079806614 140730079809487 0
[pid=7330/tid=7336] ppid=7327 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7330/task/7336/stat : 7336 (java) S 7327 7327 6268 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419124872 27969658880 26701 33554432000 4194304 4196468 140730079797712 140687306189200 140687490959061 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16699392 140730079806188 140730079806614 140730079806614 140730079809487 0
[pid=7330/tid=7337] ppid=7327 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/7330/task/7337/stat : 7337 (java) S 7327 7327 6268 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419124872 27969658880 26701 33554432000 4194304 4196468 140730079797712 140687305136400 140687490959061 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16699392 140730079806188 140730079806614 140730079806614 140730079809487 0
[pid=7330/tid=7338] ppid=7327 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7330/task/7338/stat : 7338 (java) S 7327 7327 6268 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419124872 27969658880 26701 33554432000 4194304 4196468 140730079797712 140687304084112 140687490959061 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16699392 140730079806188 140730079806614 140730079806614 140730079809487 0
[pid=7330/tid=7339] ppid=7327 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7330/task/7339/stat : 7339 (java) S 7327 7327 6268 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419124872 27969658880 26701 33554432000 4194304 4196468 140730079797712 140687303031312 140687490959061 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16699392 140730079806188 140730079806614 140730079806614 140730079809487 0
[pid=7330/tid=7340] ppid=7327 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7330/task/7340/stat : 7340 (java) S 7327 7327 6268 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419124874 27969658880 26701 33554432000 4194304 4196468 140730079797712 140685541878384 140687490960002 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16699392 140730079806188 140730079806614 140730079806614 140730079809487 0
[pid=7330/tid=7341] ppid=7327 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7330/task/7341/stat : 7341 (java) S 7327 7327 6268 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 419124874 27969658880 26701 33554432000 4194304 4196468 140730079797712 140685411869984 140687490959061 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16699392 140730079806188 140730079806614 140730079806614 140730079809487 0
[pid=7330/tid=7342] ppid=7327 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7330/task/7342/stat : 7342 (java) S 7327 7327 6268 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419124874 27969658880 26701 33554432000 4194304 4196468 140730079797712 140685143434864 140687490959061 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16699392 140730079806188 140730079806614 140730079806614 140730079809487 0
[pid=7330/tid=7343] ppid=7327 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7330/task/7343/stat : 7343 (java) S 7327 7327 6268 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419124877 27969658880 26701 33554432000 4194304 4196468 140730079797712 140684768926288 140687490967451 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16699392 140730079806188 140730079806614 140730079806614 140730079809487 0
[pid=7330/tid=7344] ppid=7327 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7330/task/7344/stat : 7344 (java) S 7327 7327 6268 0 -1 1077944384 305 0 0 0 0 0 0 0 20 0 20 0 419124877 27969658880 26701 33554432000 4194304 4196468 140730079797712 140685540825200 140687490960002 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16699392 140730079806188 140730079806614 140730079806614 140730079809487 0
[pid=7330/tid=7345] ppid=7327 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7330/task/7345/stat : 7345 (java) S 7327 7327 6268 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419124877 27969658880 27213 33554432000 4194304 4196468 140730079797712 140685539772400 140687490960002 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16699392 140730079806188 140730079806614 140730079806614 140730079809487 0
[pid=7330/tid=7346] ppid=7327 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7330/task/7346/stat : 7346 (java) S 7327 7327 6268 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419124877 27969658880 27213 33554432000 4194304 4196468 140730079797712 140685538720112 140687490960002 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16699392 140730079806188 140730079806614 140730079806614 140730079809487 0
[pid=7330/tid=7347] ppid=7327 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7330/task/7347/stat : 7347 (java) S 7327 7327 6268 0 -1 1077944384 260 0 0 0 0 0 0 0 20 0 20 0 419124877 27969658880 27213 33554432000 4194304 4196468 140730079797712 140685537667312 140687490960002 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16699392 140730079806188 140730079806614 140730079806614 140730079809487 0
[pid=7330/tid=7348] ppid=7327 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7330/task/7348/stat : 7348 (java) S 7327 7327 6268 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419124877 27969658880 27213 33554432000 4194304 4196468 140730079797712 140684271020896 140687490959061 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16699392 140730079806188 140730079806614 140730079806614 140730079809487 0
[pid=7330/tid=7349] ppid=7327 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/7330/task/7349/stat : 7349 (java) S 7327 7327 6268 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419124877 27969658880 27213 33554432000 4194304 4196468 140730079797712 140685536615216 140687490960002 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16699392 140730079806188 140730079806614 140730079806614 140730079809487 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 108196 KiB

[startup+0.210089 s]*
/proc/loadavg: 3.00 5.69 7.06 2/216 7349
/proc/meminfo: memFree=31517096/32770624 swapFree=67009668/67108860
[pid=7327] ppid=7324 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/7327/stat : 7327 (scop.sh) S 7324 7327 6268 0 -1 4202496 554 319 0 0 0 0 0 0 20 0 1 0 419124869 115843072 348 33554432000 4194304 5098028 140727403248944 140727403246200 140058002752124 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 14880768 140727403250469 140727403250796 140727403250796 140727403253709 0
/proc/7327/statm: 28282 348 296 221 0 87 0
[pid=7330] ppid=7327 vsize=27314120 memory=126056 CPUtime=0.24 cores=0-7
/proc/7330/stat : 7330 (java) S 7327 7327 6268 0 -1 1077944320 12253 0 0 0 20 4 0 0 20 0 20 0 419124869 27969658880 31514 33554432000 4194304 4196468 140730079797712 140730079780256 140687490948855 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 16699392 140730079806188 140730079806614 140730079806614 140730079809487 0
/proc/7330/statm: 6828530 31514 2974 1 0 6790935 0
[pid=7330/tid=7331] ppid=7327 vsize=27314120 memory=8390339637985935414 CPUtime=0.2 cores=0-7
/proc/7330/task/7331/stat : 7331 (java) R 7327 7327 6268 0 -1 4202560 9971 0 0 0 16 4 0 0 20 0 20 0 419124870 27969658880 31514 33554432000 4194304 4196468 140730079797712 140687462777680 140687468173008 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16699392 140730079806188 140730079806614 140730079806614 140730079809487 0
[pid=7330/tid=7332] ppid=7327 vsize=27314120 memory=288230613314710904 CPUtime=0 cores=0-7
/proc/7330/task/7332/stat : 7332 (java) S 7327 7327 6268 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419124872 27969658880 31514 33554432000 4194304 4196468 140730079797712 140687495191440 140687490959061 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16699392 140730079806188 140730079806614 140730079806614 140730079809487 0
[pid=7330/tid=7333] ppid=7327 vsize=27314120 memory=140153558907874 CPUtime=0 cores=0-7
/proc/7330/task/7333/stat : 7333 (java) S 7327 7327 6268 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419124872 27969658880 31514 33554432000 4194304 4196468 140730079797712 140687309347600 140687490959061 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16699392 140730079806188 140730079806614 140730079806614 140730079809487 0
[pid=7330/tid=7334] ppid=7327 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/7330/task/7334/stat : 7334 (java) S 7327 7327 6268 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419124872 27969658880 31514 33554432000 4194304 4196468 140730079797712 140687308295312 140687490959061 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16699392 140730079806188 140730079806614 140730079806614 140730079809487 0
[pid=7330/tid=7335] ppid=7327 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7330/task/7335/stat : 7335 (java) S 7327 7327 6268 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419124872 27969658880 31514 33554432000 4194304 4196468 140730079797712 140687307242512 140687490959061 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16699392 140730079806188 140730079806614 140730079806614 140730079809487 0
[pid=7330/tid=7336] ppid=7327 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7330/task/7336/stat : 7336 (java) S 7327 7327 6268 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419124872 27969658880 31514 33554432000 4194304 4196468 140730079797712 140687306189200 140687490959061 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16699392 140730079806188 140730079806614 140730079806614 140730079809487 0
[pid=7330/tid=7337] ppid=7327 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/7330/task/7337/stat : 7337 (java) S 7327 7327 6268 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419124872 27969658880 31514 33554432000 4194304 4196468 140730079797712 140687305136400 140687490959061 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16699392 140730079806188 140730079806614 140730079806614 140730079809487 0
[pid=7330/tid=7338] ppid=7327 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7330/task/7338/stat : 7338 (java) S 7327 7327 6268 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419124872 27969658880 31514 33554432000 4194304 4196468 140730079797712 140687304084112 140687490959061 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16699392 140730079806188 140730079806614 140730079806614 140730079809487 0
[pid=7330/tid=7339] ppid=7327 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7330/task/7339/stat : 7339 (java) S 7327 7327 6268 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419124872 27969658880 31514 33554432000 4194304 4196468 140730079797712 140687303031312 140687490959061 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16699392 140730079806188 140730079806614 140730079806614 140730079809487 0
[pid=7330/tid=7340] ppid=7327 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7330/task/7340/stat : 7340 (java) S 7327 7327 6268 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419124874 27969658880 31514 33554432000 4194304 4196468 140730079797712 140685541878384 140687490960002 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16699392 140730079806188 140730079806614 140730079806614 140730079809487 0
[pid=7330/tid=7341] ppid=7327 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7330/task/7341/stat : 7341 (java) S 7327 7327 6268 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 419124874 27969658880 31514 33554432000 4194304 4196468 140730079797712 140685411869984 140687490959061 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16699392 140730079806188 140730079806614 140730079806614 140730079809487 0
[pid=7330/tid=7342] ppid=7327 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7330/task/7342/stat : 7342 (java) S 7327 7327 6268 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419124874 27969658880 31514 33554432000 4194304 4196468 140730079797712 140685143434864 140687490959061 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16699392 140730079806188 140730079806614 140730079806614 140730079809487 0
[pid=7330/tid=7343] ppid=7327 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7330/task/7343/stat : 7343 (java) S 7327 7327 6268 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419124877 27969658880 31514 33554432000 4194304 4196468 140730079797712 140684768926288 140687490967451 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16699392 140730079806188 140730079806614 140730079806614 140730079809487 0
[pid=7330/tid=7344] ppid=7327 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7330/task/7344/stat : 7344 (java) S 7327 7327 6268 0 -1 1077944384 464 0 0 0 0 0 0 0 20 0 20 0 419124877 27969658880 31514 33554432000 4194304 4196468 140730079797712 140685540825200 140687490960002 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16699392 140730079806188 140730079806614 140730079806614 140730079809487 0
[pid=7330/tid=7345] ppid=7327 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7330/task/7345/stat : 7345 (java) S 7327 7327 6268 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419124877 27969658880 31514 33554432000 4194304 4196468 140730079797712 140685539772400 140687490960002 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16699392 140730079806188 140730079806614 140730079806614 140730079809487 0
[pid=7330/tid=7346] ppid=7327 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7330/task/7346/stat : 7346 (java) S 7327 7327 6268 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 20 0 419124877 27969658880 31514 33554432000 4194304 4196468 140730079797712 140685538720112 140687490960002 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16699392 140730079806188 140730079806614 140730079806614 140730079809487 0
[pid=7330/tid=7347] ppid=7327 vsize=27314120 memory=0 CPUtime=0.02 cores=0-7
/proc/7330/task/7347/stat : 7347 (java) S 7327 7327 6268 0 -1 1077944384 462 0 0 0 2 0 0 0 20 0 20 0 419124877 27969658880 31514 33554432000 4194304 4196468 140730079797712 140685537667312 140687490960002 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16699392 140730079806188 140730079806614 140730079806614 140730079809487 0
[pid=7330/tid=7348] ppid=7327 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7330/task/7348/stat : 7348 (java) S 7327 7327 6268 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419124877 27969658880 31514 33554432000 4194304 4196468 140730079797712 140684271020896 140687490959061 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16699392 140730079806188 140730079806614 140730079806614 140730079809487 0
[pid=7330/tid=7349] ppid=7327 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/7330/task/7349/stat : 7349 (java) S 7327 7327 6268 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419124877 27969658880 31514 33554432000 4194304 4196468 140730079797712 140685536615216 140687490960002 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16699392 140730079806188 140730079806614 140730079806614 140730079809487 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 127448 KiB

[startup+0.309758 s]*
/proc/loadavg: 3.00 5.69 7.06 2/216 7349
/proc/meminfo: memFree=31514540/32770624 swapFree=67009668/67108860
[pid=7327] ppid=7324 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/7327/stat : 7327 (scop.sh) S 7324 7327 6268 0 -1 4202496 554 319 0 0 0 0 0 0 20 0 1 0 419124869 115843072 348 33554432000 4194304 5098028 140727403248944 140727403246200 140058002752124 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 14880768 140727403250469 140727403250796 140727403250796 140727403253709 0
/proc/7327/statm: 28282 348 296 221 0 87 0
[pid=7330] ppid=7327 vsize=27314120 memory=129872 CPUtime=0.42 cores=0-7
/proc/7330/stat : 7330 (java) S 7327 7327 6268 0 -1 1077944320 13290 0 0 0 37 5 0 0 20 0 20 0 419124869 27969658880 32468 33554432000 4194304 4196468 140730079797712 140730079780256 140687490948855 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 16699392 140730079806188 140730079806614 140730079806614 140730079809487 0
/proc/7330/statm: 6828530 32468 3056 1 0 6790935 0
[pid=7330/tid=7331] ppid=7327 vsize=27314120 memory=1398722017469774279 CPUtime=0.29 cores=0-7
/proc/7330/task/7331/stat : 7331 (java) R 7327 7327 6268 0 -1 4202560 10812 0 0 0 25 4 0 0 20 0 20 0 419124870 27969658880 32468 33554432000 4194304 4196468 140730079797712 140687462762496 140687475029342 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16699392 140730079806188 140730079806614 140730079806614 140730079809487 0
[pid=7330/tid=7332] ppid=7327 vsize=27314120 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/7330/task/7332/stat : 7332 (java) S 7327 7327 6268 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419124872 27969658880 32468 33554432000 4194304 4196468 140730079797712 140687495191440 140687490959061 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16699392 140730079806188 140730079806614 140730079806614 140730079809487 0
[pid=7330/tid=7333] ppid=7327 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7330/task/7333/stat : 7333 (java) S 7327 7327 6268 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419124872 27969658880 32468 33554432000 4194304 4196468 140730079797712 140687309347600 140687490959061 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16699392 140730079806188 140730079806614 140730079806614 140730079809487 0
[pid=7330/tid=7334] ppid=7327 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7330/task/7334/stat : 7334 (java) S 7327 7327 6268 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419124872 27969658880 32468 33554432000 4194304 4196468 140730079797712 140687308295312 140687490959061 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16699392 140730079806188 140730079806614 140730079806614 140730079809487 0
[pid=7330/tid=7335] ppid=7327 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7330/task/7335/stat : 7335 (java) S 7327 7327 6268 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419124872 27969658880 32468 33554432000 4194304 4196468 140730079797712 140687307242512 140687490959061 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16699392 140730079806188 140730079806614 140730079806614 140730079809487 0
[pid=7330/tid=7336] ppid=7327 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7330/task/7336/stat : 7336 (java) S 7327 7327 6268 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419124872 27969658880 32468 33554432000 4194304 4196468 140730079797712 140687306189200 140687490959061 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16699392 140730079806188 140730079806614 140730079806614 140730079809487 0
[pid=7330/tid=7337] ppid=7327 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7330/task/7337/stat : 7337 (java) S 7327 7327 6268 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419124872 27969658880 32468 33554432000 4194304 4196468 140730079797712 140687305136400 140687490959061 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16699392 140730079806188 140730079806614 140730079806614 140730079809487 0
[pid=7330/tid=7338] ppid=7327 vsize=27314120 memory=2244 CPUtime=0 cores=0-7
/proc/7330/task/7338/stat : 7338 (java) S 7327 7327 6268 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419124872 27969658880 32468 33554432000 4194304 4196468 140730079797712 140687304084112 140687490959061 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16699392 140730079806188 140730079806614 140730079806614 140730079809487 0
[pid=7330/tid=7339] ppid=7327 vsize=27314120 memory=2244 CPUtime=0 cores=0-7
/proc/7330/task/7339/stat : 7339 (java) S 7327 7327 6268 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419124872 27969658880 32468 33554432000 4194304 4196468 140730079797712 140687303031312 140687490959061 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16699392 140730079806188 140730079806614 140730079806614 140730079809487 0
[pid=7330/tid=7340] ppid=7327 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7330/task/7340/stat : 7340 (java) S 7327 7327 6268 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419124874 27969658880 32468 33554432000 4194304 4196468 140730079797712 140685541878384 140687490960002 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16699392 140730079806188 140730079806614 140730079806614 140730079809487 0
[pid=7330/tid=7341] ppid=7327 vsize=27314120 memory=140153440002511 CPUtime=0 cores=0-7
/proc/7330/task/7341/stat : 7341 (java) S 7327 7327 6268 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 419124874 27969658880 32468 33554432000 4194304 4196468 140730079797712 140685411869984 140687490959061 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16699392 140730079806188 140730079806614 140730079806614 140730079809487 0
[pid=7330/tid=7342] ppid=7327 vsize=27314120 memory=280306880032656 CPUtime=0 cores=0-7
/proc/7330/task/7342/stat : 7342 (java) S 7327 7327 6268 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419124874 27969658880 32468 33554432000 4194304 4196468 140730079797712 140685143434864 140687490959061 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16699392 140730079806188 140730079806614 140730079806614 140730079809487 0
[pid=7330/tid=7343] ppid=7327 vsize=27314120 memory=280306880030352 CPUtime=0 cores=0-7
/proc/7330/task/7343/stat : 7343 (java) S 7327 7327 6268 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419124877 27969658880 32468 33554432000 4194304 4196468 140730079797712 140684768926288 140687490967451 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16699392 140730079806188 140730079806614 140730079806614 140730079809487 0
[pid=7330/tid=7344] ppid=7327 vsize=27314120 memory=280306880037264 CPUtime=0.01 cores=0-7
/proc/7330/task/7344/stat : 7344 (java) S 7327 7327 6268 0 -1 1077944384 488 0 0 0 1 0 0 0 20 0 20 0 419124877 27969658880 32468 33554432000 4194304 4196468 140730079797712 140685540825200 140687490960002 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16699392 140730079806188 140730079806614 140730079806614 140730079809487 0
[pid=7330/tid=7345] ppid=7327 vsize=27314120 memory=280306879978544 CPUtime=0.01 cores=0-7
/proc/7330/task/7345/stat : 7345 (java) R 7327 7327 6268 0 -1 4202560 88 0 0 0 1 0 0 0 20 0 20 0 419124877 27969658880 32468 33554432000 4194304 4196468 140730079797712 140685539772400 140687483933897 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16699392 140730079806188 140730079806614 140730079806614 140730079809487 0
[pid=7330/tid=7346] ppid=7327 vsize=27314120 memory=280306880051088 CPUtime=0.01 cores=0-7
/proc/7330/task/7346/stat : 7346 (java) S 7327 7327 6268 0 -1 1077944384 73 0 0 0 1 0 0 0 20 0 20 0 419124877 27969658880 32468 33554432000 4194304 4196468 140730079797712 140685538720112 140687490960002 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16699392 140730079806188 140730079806614 140730079806614 140730079809487 0
[pid=7330/tid=7347] ppid=7327 vsize=27314120 memory=280306880057968 CPUtime=0.07 cores=0-7
/proc/7330/task/7347/stat : 7347 (java) S 7327 7327 6268 0 -1 1077944384 498 0 0 0 7 0 0 0 20 0 20 0 419124877 27969658880 32468 33554432000 4194304 4196468 140730079797712 140685537667312 140687490960002 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16699392 140730079806188 140730079806614 140730079806614 140730079809487 0
[pid=7330/tid=7348] ppid=7327 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7330/task/7348/stat : 7348 (java) S 7327 7327 6268 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419124877 27969658880 32468 33554432000 4194304 4196468 140730079797712 140684271020896 140687490959061 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16699392 140730079806188 140730079806614 140730079806614 140730079809487 0
[pid=7330/tid=7349] ppid=7327 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/7330/task/7349/stat : 7349 (java) S 7327 7327 6268 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419124877 27969658880 32468 33554432000 4194304 4196468 140730079797712 140685536615216 140687490960002 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16699392 140730079806188 140730079806614 140730079806614 140730079809487 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 131264 KiB

[startup+0.700866 s]
/proc/loadavg: 3.00 5.69 7.06 2/216 7349
/proc/meminfo: memFree=31492824/32770624 swapFree=67009668/67108860
[pid=7327] ppid=7324 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/7327/stat : 7327 (scop.sh) S 7324 7327 6268 0 -1 4202496 554 319 0 0 0 0 0 0 20 0 1 0 419124869 115843072 348 33554432000 4194304 5098028 140727403248944 140727403246200 140058002752124 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 14880768 140727403250469 140727403250796 140727403250796 140727403253709 0
/proc/7327/statm: 28282 348 296 221 0 87 0
[pid=7330] ppid=7327 vsize=27320392 memory=165084 CPUtime=0.99 cores=0-7
/proc/7330/stat : 7330 (java) S 7327 7327 6268 0 -1 1077944320 20393 0 0 0 92 7 0 0 20 0 20 0 419124869 27976081408 41271 33554432000 4194304 4196468 140730079797712 140730079780256 140687490948855 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 16699392 140730079806188 140730079806614 140730079806614 140730079809487 0
/proc/7330/statm: 6830098 41271 3188 1 0 6791447 0
[pid=7330/tid=7331] ppid=7327 vsize=27320392 memory=2244 CPUtime=0.67 cores=0-7
/proc/7330/task/7331/stat : 7331 (java) R 7327 7327 6268 0 -1 4202560 17422 0 0 0 62 5 0 0 20 0 20 0 419124870 27976081408 41271 33554432000 4194304 4196468 140730079797712 140687462770096 140687475029342 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16699392 140730079806188 140730079806614 140730079806614 140730079809487 0
[pid=7330/tid=7332] ppid=7327 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/7330/task/7332/stat : 7332 (java) S 7327 7327 6268 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419124872 27976081408 41271 33554432000 4194304 4196468 140730079797712 140687495191440 140687490959061 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16699392 140730079806188 140730079806614 140730079806614 140730079809487 0
[pid=7330/tid=7333] ppid=7327 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/7330/task/7333/stat : 7333 (java) S 7327 7327 6268 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419124872 27976081408 41271 33554432000 4194304 4196468 140730079797712 140687309347600 140687490959061 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16699392 140730079806188 140730079806614 140730079806614 140730079809487 0
[pid=7330/tid=7334] ppid=7327 vsize=27320392 memory=14008 CPUtime=0 cores=0-7
/proc/7330/task/7334/stat : 7334 (java) S 7327 7327 6268 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419124872 27976081408 41271 33554432000 4194304 4196468 140730079797712 140687308295312 140687490959061 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16699392 140730079806188 140730079806614 140730079806614 140730079809487 0

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

[pid=7366/tid=7369] ppid=7327 vsize=8414124 memory=4004 CPUtime=0 cores=0-7
/proc/7366/task/7369/stat : 7369 (java) S 7327 7327 6268 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419144142 8616062976 29902 33554432000 4194304 4196468 140735060212736 140573408622864 140573573142229 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27955200 140735060214776 140735060214934 140735060214934 140735060217807 0
[pid=7366/tid=7370] ppid=7327 vsize=8414124 memory=2832 CPUtime=0 cores=0-7
/proc/7366/task/7370/stat : 7370 (java) S 7327 7327 6268 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419144142 8616062976 29902 33554432000 4194304 4196468 140735060212736 140573057329808 140573573142229 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27955200 140735060214776 140735060214934 140735060214934 140735060217807 0
[pid=7366/tid=7371] ppid=7327 vsize=8414124 memory=8500 CPUtime=0 cores=0-7
/proc/7366/task/7371/stat : 7371 (java) S 7327 7327 6268 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419144142 8616062976 29902 33554432000 4194304 4196468 140735060212736 140573056277008 140573573142229 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27955200 140735060214776 140735060214934 140735060214934 140735060217807 0
[pid=7366/tid=7372] ppid=7327 vsize=8414124 memory=1696 CPUtime=0 cores=0-7
/proc/7366/task/7372/stat : 7372 (java) S 7327 7327 6268 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419144142 8616062976 29902 33554432000 4194304 4196468 140735060212736 140573055224720 140573573142229 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27955200 140735060214776 140735060214934 140735060214934 140735060217807 0
[pid=7366/tid=7373] ppid=7327 vsize=8414124 memory=1188 CPUtime=0 cores=0-7
/proc/7366/task/7373/stat : 7373 (java) S 7327 7327 6268 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419144142 8616062976 29902 33554432000 4194304 4196468 140735060212736 140573054171920 140573573142229 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27955200 140735060214776 140735060214934 140735060214934 140735060217807 0
[pid=7366/tid=7374] ppid=7327 vsize=8414124 memory=1060 CPUtime=0 cores=0-7
/proc/7366/task/7374/stat : 7374 (java) S 7327 7327 6268 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419144142 8616062976 29902 33554432000 4194304 4196468 140735060212736 140573053119632 140573573142229 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27955200 140735060214776 140735060214934 140735060214934 140735060217807 0
[pid=7366/tid=7375] ppid=7327 vsize=8414124 memory=7988 CPUtime=0 cores=0-7
/proc/7366/task/7375/stat : 7375 (java) S 7327 7327 6268 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419144142 8616062976 29902 33554432000 4194304 4196468 140735060212736 140573052066832 140573573142229 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27955200 140735060214776 140735060214934 140735060214934 140735060217807 0
[pid=7366/tid=7376] ppid=7327 vsize=8414124 memory=1584 CPUtime=0 cores=0-7
/proc/7366/task/7376/stat : 7376 (java) S 7327 7327 6268 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 419144143 8616062976 29902 33554432000 4194304 4196468 140735060212736 140572531603568 140573573143170 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27955200 140735060214776 140735060214934 140735060214934 140735060217807 0
[pid=7366/tid=7377] ppid=7327 vsize=8414124 memory=14008 CPUtime=0 cores=0-7
/proc/7366/task/7377/stat : 7377 (java) S 7327 7327 6268 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 419144144 8616062976 29902 33554432000 4194304 4196468 140735060212736 140572132107040 140573573142229 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27955200 140735060214776 140735060214934 140735060214934 140735060217807 0
[pid=7366/tid=7378] ppid=7327 vsize=8414124 memory=6240 CPUtime=0 cores=0-7
/proc/7366/task/7378/stat : 7378 (java) S 7327 7327 6268 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419144144 8616062976 29902 33554432000 4194304 4196468 140735060212736 140571863671920 140573573142229 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27955200 140735060214776 140735060214934 140735060214934 140735060217807 0
[pid=7366/tid=7379] ppid=7327 vsize=8414124 memory=13948 CPUtime=0 cores=0-7
/proc/7366/task/7379/stat : 7379 (java) S 7327 7327 6268 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419144147 8616062976 29902 33554432000 4194304 4196468 140735060212736 140571489163344 140573573150619 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27955200 140735060214776 140735060214934 140735060214934 140735060217807 0
[pid=7366/tid=7380] ppid=7327 vsize=8414124 memory=2120 CPUtime=0.06 cores=0-7
/proc/7366/task/7380/stat : 7380 (java) S 7327 7327 6268 0 -1 1077944384 691 0 0 0 6 0 0 0 20 0 24 0 419144147 8616062976 29902 33554432000 4194304 4196468 140735060212736 140572530551408 140573573143170 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27955200 140735060214776 140735060214934 140735060214934 140735060217807 0
[pid=7366/tid=7381] ppid=7327 vsize=8414124 memory=520 CPUtime=0.06 cores=0-7
/proc/7366/task/7381/stat : 7381 (java) S 7327 7327 6268 0 -1 1077944384 306 0 0 0 6 0 0 0 20 0 24 0 419144147 8616062976 29902 33554432000 4194304 4196468 140735060212736 140572529498608 140573573143170 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27955200 140735060214776 140735060214934 140735060214934 140735060217807 0
[pid=7366/tid=7382] ppid=7327 vsize=8414124 memory=1560 CPUtime=0.05 cores=0-7
/proc/7366/task/7382/stat : 7382 (java) S 7327 7327 6268 0 -1 1077944384 203 0 0 0 5 0 0 0 20 0 24 0 419144147 8616062976 29902 33554432000 4194304 4196468 140735060212736 140572528446320 140573573143170 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27955200 140735060214776 140735060214934 140735060214934 140735060217807 0
[pid=7366/tid=7383] ppid=7327 vsize=8414124 memory=928 CPUtime=0.21 cores=0-7
/proc/7366/task/7383/stat : 7383 (java) S 7327 7327 6268 0 -1 1077944384 784 0 0 0 21 0 0 0 20 0 24 0 419144147 8616062976 29902 33554432000 4194304 4196468 140735060212736 140572527393520 140573573143170 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27955200 140735060214776 140735060214934 140735060214934 140735060217807 0
[pid=7366/tid=7384] ppid=7327 vsize=8414124 memory=1616 CPUtime=0 cores=0-7
/proc/7366/task/7384/stat : 7384 (java) S 7327 7327 6268 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419144147 8616062976 29902 33554432000 4194304 4196468 140735060212736 140570991257952 140573573142229 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27955200 140735060214776 140735060214934 140735060214934 140735060217807 0
[pid=7366/tid=7385] ppid=7327 vsize=8414124 memory=896 CPUtime=0 cores=0-7
/proc/7366/task/7385/stat : 7385 (java) S 7327 7327 6268 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419144147 8616062976 29902 33554432000 4194304 4196468 140735060212736 140572526340400 140573573143170 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27955200 140735060214776 140735060214934 140735060214934 140735060217807 0
[pid=7366/tid=7387] ppid=7327 vsize=8414124 memory=1436 CPUtime=0 cores=0-7
/proc/7366/task/7387/stat : 7387 (java) S 7327 7327 6268 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 419144216 8616062976 29902 33554432000 4194304 4196468 140735060212736 140572870559040 140573573156633 0 4 2 25189581 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 27955200 140735060214776 140735060214934 140735060214934 140735060217807 0
[pid=7366/tid=7389] ppid=7327 vsize=8414124 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/7366/task/7389/stat : 7389 (java) S 7327 7327 6268 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 24 0 419144216 8616062976 29902 33554432000 4194304 4196468 140735060212736 140570320158608 140573573153949 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 27955200 140735060214776 140735060214934 140735060214934 140735060217807 0
[pid=7366/tid=7390] ppid=7327 vsize=8414124 memory=99828 CPUtime=0 cores=0-7
/proc/7366/task/7390/stat : 7390 (java) S 7327 7327 6268 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 419144216 8616062976 29902 33554432000 4194304 4196468 140735060212736 140570588593936 140573573153949 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 27955200 140735060214776 140735060214934 140735060214934 140735060217807 0
[pid=7366/tid=7391] ppid=7327 vsize=8414124 memory=21319 CPUtime=0 cores=0-7
/proc/7366/task/7391/stat : 7391 (java) S 7327 7327 6268 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 419144218 8616062976 29902 33554432000 4194304 4196468 140735060212736 140570051731248 140573573142229 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27955200 140735060214776 140735060214934 140735060214934 140735060217807 0
Current children cumulated CPU time: 278.83 s
Current children cumulated vsize: 12040596 KiB
Current children cumulated memory: 3124048 KiB

[startup+198.004 s]*
/proc/loadavg: 0.88 3.41 5.90 7/222 7399
/proc/meminfo: memFree=29463552/32770624 swapFree=67009668/67108860
[pid=7327] ppid=7324 vsize=113128 memory=1472 CPUtime=266.74 cores=0-7
/proc/7327/stat : 7327 (scop.sh) S 7324 7327 6268 0 -1 4202496 581 140605 0 0 0 0 25263 1411 20 0 1 0 419124869 115843072 368 33554432000 4194304 5098028 140727403248944 140727403245688 140058002752124 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 14880768 140727403250469 140727403250796 140727403250796 140727403253709 0
/proc/7327/statm: 28282 368 311 221 0 87 0
[pid=7366] ppid=7327 vsize=8414124 memory=149820 CPUtime=1.53 cores=0-7
/proc/7366/stat : 7366 (java) S 7327 7327 6268 0 -1 1077944320 22285 0 0 0 144 9 0 0 20 0 24 0 419144140 8616062976 37455 33554432000 4194304 4196468 140735060212736 140735060195280 140573573132023 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 27955200 140735060214776 140735060214934 140735060214934 140735060217807 0
/proc/7366/statm: 2103531 37455 3224 1 0 2064875 0
[pid=7366/tid=7367] ppid=7327 vsize=8414124 memory=0 CPUtime=0.77 cores=0-7
/proc/7366/task/7367/stat : 7367 (java) S 7327 7327 6268 0 -1 1077944384 18049 0 0 0 71 6 0 0 20 0 24 0 419144140 8616062976 37455 33554432000 4194304 4196468 140735060212736 140573544972192 140573573142229 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27955200 140735060214776 140735060214934 140735060214934 140735060217807 0
[pid=7366/tid=7368] ppid=7327 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/7366/task/7368/stat : 7368 (java) S 7327 7327 6268 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419144142 8616062976 37455 33554432000 4194304 4196468 140735060212736 140573577374096 140573573142229 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27955200 140735060214776 140735060214934 140735060214934 140735060217807 0
[pid=7366/tid=7369] ppid=7327 vsize=8414124 memory=8390339637985935414 CPUtime=0 cores=0-7
/proc/7366/task/7369/stat : 7369 (java) S 7327 7327 6268 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419144142 8616062976 37455 33554432000 4194304 4196468 140735060212736 140573408622864 140573573142229 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27955200 140735060214776 140735060214934 140735060214934 140735060217807 0
[pid=7366/tid=7370] ppid=7327 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/7366/task/7370/stat : 7370 (java) S 7327 7327 6268 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419144142 8616062976 37455 33554432000 4194304 4196468 140735060212736 140573057329808 140573573142229 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27955200 140735060214776 140735060214934 140735060214934 140735060217807 0
[pid=7366/tid=7371] ppid=7327 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/7366/task/7371/stat : 7371 (java) S 7327 7327 6268 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419144142 8616062976 37455 33554432000 4194304 4196468 140735060212736 140573056277008 140573573142229 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27955200 140735060214776 140735060214934 140735060214934 140735060217807 0
[pid=7366/tid=7372] ppid=7327 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/7366/task/7372/stat : 7372 (java) S 7327 7327 6268 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419144142 8616062976 37455 33554432000 4194304 4196468 140735060212736 140573055224720 140573573142229 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27955200 140735060214776 140735060214934 140735060214934 140735060217807 0
[pid=7366/tid=7373] ppid=7327 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/7366/task/7373/stat : 7373 (java) S 7327 7327 6268 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419144142 8616062976 37455 33554432000 4194304 4196468 140735060212736 140573054171920 140573573142229 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27955200 140735060214776 140735060214934 140735060214934 140735060217807 0
[pid=7366/tid=7374] ppid=7327 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/7366/task/7374/stat : 7374 (java) S 7327 7327 6268 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419144142 8616062976 37455 33554432000 4194304 4196468 140735060212736 140573053119632 140573573142229 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27955200 140735060214776 140735060214934 140735060214934 140735060217807 0
[pid=7366/tid=7375] ppid=7327 vsize=8414124 memory=3597664255 CPUtime=0 cores=0-7
/proc/7366/task/7375/stat : 7375 (java) S 7327 7327 6268 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419144142 8616062976 37455 33554432000 4194304 4196468 140735060212736 140573052066832 140573573142229 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27955200 140735060214776 140735060214934 140735060214934 140735060217807 0
[pid=7366/tid=7376] ppid=7327 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/7366/task/7376/stat : 7376 (java) S 7327 7327 6268 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 419144143 8616062976 37455 33554432000 4194304 4196468 140735060212736 140572531603568 140573573143170 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27955200 140735060214776 140735060214934 140735060214934 140735060217807 0
[pid=7366/tid=7377] ppid=7327 vsize=8414124 memory=7951504712902930282 CPUtime=0 cores=0-7
/proc/7366/task/7377/stat : 7377 (java) S 7327 7327 6268 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 419144144 8616062976 37455 33554432000 4194304 4196468 140735060212736 140572132107040 140573573142229 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27955200 140735060214776 140735060214934 140735060214934 140735060217807 0
[pid=7366/tid=7378] ppid=7327 vsize=8414124 memory=7450194506934665316 CPUtime=0 cores=0-7
/proc/7366/task/7378/stat : 7378 (java) S 7327 7327 6268 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419144144 8616062976 37455 33554432000 4194304 4196468 140735060212736 140571863671920 140573573142229 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27955200 140735060214776 140735060214934 140735060214934 140735060217807 0
[pid=7366/tid=7379] ppid=7327 vsize=8414124 memory=6946071715644724078 CPUtime=0 cores=0-7
/proc/7366/task/7379/stat : 7379 (java) S 7327 7327 6268 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419144147 8616062976 37455 33554432000 4194304 4196468 140735060212736 140571489163344 140573573150619 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27955200 140735060214776 140735060214934 140735060214934 140735060217807 0
[pid=7366/tid=7380] ppid=7327 vsize=8414124 memory=8028631073110250065 CPUtime=0.13 cores=0-7
/proc/7366/task/7380/stat : 7380 (java) S 7327 7327 6268 0 -1 1077944384 835 0 0 0 13 0 0 0 20 0 24 0 419144147 8616062976 37455 33554432000 4194304 4196468 140735060212736 140572530551408 140573573143170 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27955200 140735060214776 140735060214934 140735060214934 140735060217807 0
[pid=7366/tid=7381] ppid=7327 vsize=8414124 memory=7589240748751480640 CPUtime=0.11 cores=0-7
/proc/7366/task/7381/stat : 7381 (java) R 7327 7327 6268 0 -1 4202560 338 0 0 0 11 0 0 0 20 0 24 0 419144147 8616062976 37455 33554432000 4194304 4196468 140735060212736 140572529498608 140573553767907 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27955200 140735060214776 140735060214934 140735060214934 140735060217807 0
[pid=7366/tid=7382] ppid=7327 vsize=8414124 memory=7377272636627577957 CPUtime=0.1 cores=0-7
/proc/7366/task/7382/stat : 7382 (java) S 7327 7327 6268 0 -1 1077944384 324 0 0 0 10 0 0 0 20 0 24 0 419144147 8616062976 37455 33554432000 4194304 4196468 140735060212736 140572528446320 140573573143170 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27955200 140735060214776 140735060214934 140735060214934 140735060217807 0
[pid=7366/tid=7383] ppid=7327 vsize=8414124 memory=140153441316257 CPUtime=0.26 cores=0-7
/proc/7366/task/7383/stat : 7383 (java) S 7327 7327 6268 0 -1 1077944384 1278 0 0 0 26 0 0 0 20 0 24 0 419144147 8616062976 37455 33554432000 4194304 4196468 140735060212736 140572527393520 140573573143170 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27955200 140735060214776 140735060214934 140735060214934 140735060217807 0
[pid=7366/tid=7384] ppid=7327 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/7366/task/7384/stat : 7384 (java) S 7327 7327 6268 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419144147 8616062976 37455 33554432000 4194304 4196468 140735060212736 140570991257952 140573573142229 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27955200 140735060214776 140735060214934 140735060214934 140735060217807 0
[pid=7366/tid=7385] ppid=7327 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/7366/task/7385/stat : 7385 (java) S 7327 7327 6268 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419144147 8616062976 37455 33554432000 4194304 4196468 140735060212736 140572526340400 140573573143170 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27955200 140735060214776 140735060214934 140735060214934 140735060217807 0
[pid=7366/tid=7387] ppid=7327 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/7366/task/7387/stat : 7387 (java) S 7327 7327 6268 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 419144216 8616062976 37455 33554432000 4194304 4196468 140735060212736 140572870559040 140573573156633 0 4 2 25189581 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 27955200 140735060214776 140735060214934 140735060214934 140735060217807 0
[pid=7366/tid=7389] ppid=7327 vsize=8414124 memory=0 CPUtime=0.11 cores=0-7
/proc/7366/task/7389/stat : 7389 (java) R 7327 7327 6268 0 -1 4202560 66 0 0 0 11 0 0 0 20 0 24 0 419144216 8616062976 37455 33554432000 4194304 4196468 140735060212736 140570320163256 140573078697054 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27955200 140735060214776 140735060214934 140735060214934 140735060217807 0
[pid=7366/tid=7390] ppid=7327 vsize=8414124 memory=-1 CPUtime=0 cores=0-7
/proc/7366/task/7390/stat : 7390 (java) S 7327 7327 6268 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 419144216 8616062976 37455 33554432000 4194304 4196468 140735060212736 140570588593936 140573573153949 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 27955200 140735060214776 140735060214934 140735060214934 140735060217807 0
[pid=7366/tid=7391] ppid=7327 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/7366/task/7391/stat : 7391 (java) S 7327 7327 6268 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 419144218 8616062976 37455 33554432000 4194304 4196468 140735060212736 140570051731248 140573573142229 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27955200 140735060214776 140735060214934 140735060214934 140735060217807 0
Current children cumulated CPU time: 268.27 s
Current children cumulated vsize: 8527252 KiB
Current children cumulated memory: 151292 KiB

[startup+198.111 s]
/proc/loadavg: 0.88 3.41 5.90 7/222 7399
/proc/meminfo: memFree=29463552/32770624 swapFree=67009668/67108860
[pid=7327] ppid=7324 vsize=113128 memory=1472 CPUtime=266.74 cores=0-7
/proc/7327/stat : 7327 (scop.sh) S 7324 7327 6268 0 -1 4202496 581 140605 0 0 0 0 25263 1411 20 0 1 0 419124869 115843072 368 33554432000 4194304 5098028 140727403248944 140727403245688 140058002752124 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 14880768 140727403250469 140727403250796 140727403250796 140727403253709 0
/proc/7327/statm: 28282 368 311 221 0 87 0
[pid=7366] ppid=7327 vsize=8283048 memory=155336 CPUtime=13.72 cores=0-7
/proc/7366/stat : 7366 (java) S 7327 7327 6268 0 -1 1077944320 22647 382407 0 0 165 10 1083 114 20 0 22 0 419144140 8481841152 38834 33554432000 4194304 4196468 140735060212736 140735060195280 140573573132023 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 27955200 140735060214776 140735060214934 140735060214934 140735060217807 0
/proc/7366/statm: 2070762 38834 3228 1 0 2032106 0
[pid=7366/tid=7367] ppid=7327 vsize=8283048 memory=1472 CPUtime=12.83 cores=0-7
/proc/7366/task/7367/stat : 7367 (java) R 7327 7327 6268 0 -1 4202560 18288 382407 0 0 80 6 1083 114 20 0 22 0 419144140 8481841152 38834 33554432000 4194304 4196468 140735060212736 140573544969792 140573573143958 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27955200 140735060214776 140735060214934 140735060214934 140735060217807 0
[pid=7366/tid=7368] ppid=7327 vsize=8283048 memory=1948 CPUtime=11.97 cores=0-7
/proc/7366/task/7368/stat : 7368 (java) S 7327 7327 6268 0 -1 1077944384 1 382407 0 0 0 0 1083 114 20 0 22 0 419144142 8481841152 38834 33554432000 4194304 4196468 140735060212736 140573577374096 140573573142229 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27955200 140735060214776 140735060214934 140735060214934 140735060217807 0
[pid=7366/tid=7369] ppid=7327 vsize=8283048 memory=1188 CPUtime=11.97 cores=0-7
/proc/7366/task/7369/stat : 7369 (java) S 7327 7327 6268 0 -1 1077944384 1 382407 0 0 0 0 1083 114 20 0 22 0 419144142 8481841152 38834 33554432000 4194304 4196468 140735060212736 140573408622864 140573573142229 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27955200 140735060214776 140735060214934 140735060214934 140735060217807 0
[pid=7366/tid=7370] ppid=7327 vsize=8283048 memory=1060 CPUtime=11.97 cores=0-7
/proc/7366/task/7370/stat : 7370 (java) S 7327 7327 6268 0 -1 1077944384 2 382407 0 0 0 0 1083 114 20 0 22 0 419144142 8481841152 38834 33554432000 4194304 4196468 140735060212736 140573057329808 140573573142229 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27955200 140735060214776 140735060214934 140735060214934 140735060217807 0
[pid=7366/tid=7371] ppid=7327 vsize=8283048 memory=8500 CPUtime=11.97 cores=0-7
/proc/7366/task/7371/stat : 7371 (java) S 7327 7327 6268 0 -1 1077944384 3 382407 0 0 0 0 1083 114 20 0 22 0 419144142 8481841152 38834 33554432000 4194304 4196468 140735060212736 140573056277008 140573573142229 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27955200 140735060214776 140735060214934 140735060214934 140735060217807 0
[pid=7366/tid=7372] ppid=7327 vsize=8283048 memory=1696 CPUtime=11.97 cores=0-7
/proc/7366/task/7372/stat : 7372 (java) S 7327 7327 6268 0 -1 1077944384 2 382407 0 0 0 0 1083 114 20 0 22 0 419144142 8481841152 38834 33554432000 4194304 4196468 140735060212736 140573055224720 140573573142229 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27955200 140735060214776 140735060214934 140735060214934 140735060217807 0
[pid=7366/tid=7373] ppid=7327 vsize=8283048 memory=4004 CPUtime=11.97 cores=0-7
/proc/7366/task/7373/stat : 7373 (java) S 7327 7327 6268 0 -1 1077944384 2 382407 0 0 0 0 1083 114 20 0 22 0 419144142 8481841152 38834 33554432000 4194304 4196468 140735060212736 140573054171920 140573573142229 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27955200 140735060214776 140735060214934 140735060214934 140735060217807 0
[pid=7366/tid=7374] ppid=7327 vsize=8283048 memory=2832 CPUtime=11.97 cores=0-7
/proc/7366/task/7374/stat : 7374 (java) S 7327 7327 6268 0 -1 1077944384 1 382407 0 0 0 0 1083 114 20 0 22 0 419144142 8481841152 38834 33554432000 4194304 4196468 140735060212736 140573053119632 140573573142229 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27955200 140735060214776 140735060214934 140735060214934 140735060217807 0
[pid=7366/tid=7375] ppid=7327 vsize=8283048 memory=6240 CPUtime=11.97 cores=0-7
/proc/7366/task/7375/stat : 7375 (java) S 7327 7327 6268 0 -1 1077944384 2 382407 0 0 0 0 1083 114 20 0 22 0 419144142 8481841152 38834 33554432000 4194304 4196468 140735060212736 140573052066832 140573573142229 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27955200 140735060214776 140735060214934 140735060214934 140735060217807 0
[pid=7366/tid=7376] ppid=7327 vsize=8283048 memory=13948 CPUtime=11.97 cores=0-7
/proc/7366/task/7376/stat : 7376 (java) S 7327 7327 6268 0 -1 1077944384 7 382407 0 0 0 0 1083 114 20 0 22 0 419144143 8481841152 38834 33554432000 4194304 4196468 140735060212736 140572531603568 140573573143170 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27955200 140735060214776 140735060214934 140735060214934 140735060217807 0
[pid=7366/tid=7377] ppid=7327 vsize=8283048 memory=2120 CPUtime=11.97 cores=0-7
/proc/7366/task/7377/stat : 7377 (java) S 7327 7327 6268 0 -1 1077944384 13 382407 0 0 0 0 1083 114 20 0 22 0 419144144 8481841152 38834 33554432000 4194304 4196468 140735060212736 140572132107040 140573573142229 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27955200 140735060214776 140735060214934 140735060214934 140735060217807 0
[pid=7366/tid=7378] ppid=7327 vsize=8283048 memory=924 CPUtime=11.97 cores=0-7
/proc/7366/task/7378/stat : 7378 (java) S 7327 7327 6268 0 -1 1077944384 1 382407 0 0 0 0 1083 114 20 0 22 0 419144144 8481841152 38834 33554432000 4194304 4196468 140735060212736 140571863671920 140573573142229 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27955200 140735060214776 140735060214934 140735060214934 140735060217807 0
[pid=7366/tid=7379] ppid=7327 vsize=8283048 memory=4448 CPUtime=11.97 cores=0-7
/proc/7366/task/7379/stat : 7379 (java) S 7327 7327 6268 0 -1 1077944384 1 382407 0 0 0 0 1083 114 20 0 22 0 419144147 8481841152 38834 33554432000 4194304 4196468 140735060212736 140571489163344 140573573150619 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27955200 140735060214776 140735060214934 140735060214934 140735060217807 0
[pid=7366/tid=7380] ppid=7327 vsize=8283048 memory=1412 CPUtime=12.13 cores=0-7
/proc/7366/task/7380/stat : 7380 (java) S 7327 7327 6268 0 -1 1077944384 846 382407 0 0 16 0 1083 114 20 0 22 0 419144147 8481841152 38834 33554432000 4194304 4196468 140735060212736 140572530551408 140573573143170 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27955200 140735060214776 140735060214934 140735060214934 140735060217807 0
[pid=7366/tid=7381] ppid=7327 vsize=8283048 memory=13948 CPUtime=12.11 cores=0-7
/proc/7366/task/7381/stat : 7381 (java) R 7327 7327 6268 0 -1 4202560 353 382407 0 0 14 0 1083 114 20 0 22 0 419144147 8481841152 38834 33554432000 4194304 4196468 140735060212736 140572529485984 140573553815721 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27955200 140735060214776 140735060214934 140735060214934 140735060217807 0
[pid=7366/tid=7382] ppid=7327 vsize=8283048 memory=2120 CPUtime=12.09 cores=0-7
/proc/7366/task/7382/stat : 7382 (java) S 7327 7327 6268 0 -1 1077944384 342 382407 0 0 12 0 1083 114 20 0 22 0 419144147 8481841152 38834 33554432000 4194304 4196468 140735060212736 140572528446320 140573573143170 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27955200 140735060214776 140735060214934 140735060214934 140735060217807 0
[pid=7366/tid=7383] ppid=7327 vsize=8283048 memory=520 CPUtime=12.26 cores=0-7
/proc/7366/task/7383/stat : 7383 (java) S 7327 7327 6268 0 -1 1077944384 1342 382407 0 0 29 0 1083 114 20 0 22 0 419144147 8481841152 38834 33554432000 4194304 4196468 140735060212736 140572527393520 140573573143170 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27955200 140735060214776 140735060214934 140735060214934 140735060217807 0
[pid=7366/tid=7384] ppid=7327 vsize=8283048 memory=361548 CPUtime=11.97 cores=0-7
/proc/7366/task/7384/stat : 7384 (java) S 7327 7327 6268 0 -1 1077944384 3 382407 0 0 0 0 1083 114 20 0 22 0 419144147 8481841152 38834 33554432000 4194304 4196468 140735060212736 140570991257952 140573573142229 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27955200 140735060214776 140735060214934 140735060214934 140735060217807 0
[pid=7366/tid=7385] ppid=7327 vsize=8283048 memory=1472 CPUtime=11.97 cores=0-7
/proc/7366/task/7385/stat : 7385 (java) S 7327 7327 6268 0 -1 1077944384 3 382407 0 0 0 0 1083 114 20 0 22 0 419144147 8481841152 38834 33554432000 4194304 4196468 140735060212736 140572526340400 140573573143170 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27955200 140735060214776 140735060214934 140735060214934 140735060217807 0
[pid=7366/tid=7387] ppid=7327 vsize=8283048 memory=1472 CPUtime=11.97 cores=0-7
/proc/7366/task/7387/stat : 7387 (java) S 7327 7327 6268 0 -1 1077944384 30 382407 0 0 0 0 1083 114 20 0 22 0 419144216 8481841152 38834 33554432000 4194304 4196468 140735060212736 140572870558224 140573573143170 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27955200 140735060214776 140735060214934 140735060214934 140735060217807 0
[pid=7366/tid=7391] ppid=7327 vsize=8283048 memory=2828604 CPUtime=11.97 cores=0-7
/proc/7366/task/7391/stat : 7391 (java) S 7327 7327 6268 0 -1 1077944384 13 382407 0 0 0 0 1083 114 20 0 22 0 419144218 8481841152 38834 33554432000 4194304 4196468 140735060212736 140570051733040 140573573143170 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27955200 140735060214776 140735060214934 140735060214934 140735060217807 0
Current children cumulated CPU time: 280.46 s
Current children cumulated vsize: 8396176 KiB
Current children cumulated memory: 156808 KiB

Child status: 0
Real time (s): 198.191
CPU time (s): 280.624
CPU user time (s): 265.214
CPU system time (s): 15.4096
CPU usage (%): 141.592
Max. virtual memory (cumulated for all children) (KiB): 27443924
Max. memory (cumulated for all children) (KiB): 10737336

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 265.214
system time used= 15.4096
maximum resident set size= 10737140
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 547401
page faults= 0
swaps= 0
block input operations= 8
block output operations= 208408
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 77360
involuntary context switches= 1074


# summary of solver processes directly reported to runsolver:
#   pid: 7327
#   total CPU time (s): 280.624
#   total CPU user time (s): 265.214
#   total CPU system time (s): 15.4096

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.30556 second user time and 2.03335 second system time

The end

Launcher Data 

Begin job on node132 at 2019-09-14 05:32:52
IDJOB=4392305
IDBENCH=131470
IDSOLVER=2838
FILE ID=node132/4392305-1568432021
RUNJOBID= node132-1568428013-6295
PBS_JOBID= 21702303
Free space on /tmp= 61624 MiB

SOLVER NAME= Fun-sCOP order+ManyGlucose (2019-06-15)
BENCH NAME= XCSP17/Subisomorphism/Subisomorphism-m1-si6-bvg/Subisomorphism-si6-b09-m200-08.xml
COMMAND LINE= DIR/scop.sh 22g DIR/scop.jar -order DIR/manyglucose-4.1-27_release -model:-nthreads=NBCORE:-maxmemory=20000:-lit-scans=6000000 TMPDIR BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4392305-1568432021/watcher-4392305-1568432021 -o /tmp/evaluation-result-4392305-1568432021/solver-4392305-1568432021 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node132-1568428013-6295 --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-4392305-1568432021.xml

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

MD5SUM BENCH= 7f9c41aacca1e0b30cdd7db3c30aaf94
RANDOM SEED=1845962786

node132.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.95
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.95
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.95
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.95
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:        31632896 kB
MemAvailable:   31914504 kB
Buffers:           67412 kB
Cached:           493440 kB
SwapCached:         6296 kB
Active:           405304 kB
Inactive:         163956 kB
Active(anon):       5080 kB
Inactive(anon):    31588 kB
Active(file):     400224 kB
Inactive(file):   132368 kB
Unevictable:      109404 kB
Mlocked:          109404 kB
SwapTotal:      67108860 kB
SwapFree:       67009668 kB
Dirty:             20696 kB
Writeback:             0 kB
AnonPages:        115360 kB
Mapped:            32268 kB
Shmem:             19516 kB
Slab:             158832 kB
SReclaimable:     129704 kB
SUnreclaim:        29128 kB
KernelStack:        3648 kB
PageTables:         5264 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     476120 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     69632 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      136576 kB
DirectMap2M:    33409024 kB

Free space on /tmp at the end= 61604 MiB
End job on node132 at 2019-09-14 05:36:10