Trace number 4392605

Some explanations

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

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

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

Solver answer on this benchmark

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

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 -hybrid -solver HOME/manyglucose-4.1-27_release -solverOption -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 -tmp HOME -serialFile HOME/scop-24456-serial-file.bin HOME/instance-4392605-1568432039.xml
0.66/0.54	
0.66/0.54	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
0.66/0.54	
0.66/0.56	c BEGIN-Prog: Sat Sep 14 05:33:20 CEST 2019
0.66/0.56	c PID: 24459
0.66/0.56	c IP: 172.20.3.133
0.66/0.56	c HOST: node133.alineos.net
0.66/0.57	c (0,0) Parsing Begin
1.81/1.05	c (0,0) Parsing End
1.81/1.06	c (0,0) CSP: 120 int (0 aux), 0 bool (0 aux), 517 ctr, max domain size 200
1.81/1.06	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.81/1.06	c (0,0) Constraint Name Generate Begin
1.81/1.07	c (0,0) Ctr:HOME/instance-4392605-1568432039.xml,AllDifferent:ExtensionSupport:Var
1.81/1.07	c (0,0) Constraint Name Generate End
1.81/1.07	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 20 MiB used (max 0 MiB)
1.81/1.07	c (0,0) CSP to CSPinCNF Begin
20.97/12.48	c (11,11) translated 52 (10%) constraints
33.44/22.92	c (22,21) translated 104 (20%) constraints
43.28/32.74	c (32,31) translated 156 (30%) constraints
56.22/42.75	c (42,41) translated 207 (40%) constraints
69.56/52.94	c (52,50) translated 259 (50%) constraints
79.34/62.70	c (62,60) translated 311 (60%) constraints
93.54/72.85	c (72,70) translated 362 (70%) constraints
108.61/83.26	c (82,80) translated 414 (80%) constraints
118.44/93.01	c (92,89) translated 466 (90%) constraints
134.36/103.45	c (102,99) translated 517 (100%) constraints
134.56/103.63	c (103,99) ===========================================
135.27/104.21	c (103,100) Hybrid: #OE=103320, #LE=0
135.27/104.21	c (103,100) Hybrid
135.27/104.21	c (103,100) ===========================================
140.44/108.37	c (107,104) translated 197982 (10%) constraints
144.61/112.40	c (111,108) translated 395963 (20%) constraints
154.90/117.21	c (116,112) translated 593944 (30%) constraints
158.90/121.24	c (120,116) translated 791925 (40%) constraints
162.91/125.24	c (124,120) translated 989906 (50%) constraints
166.99/129.23	c (128,124) translated 1187887 (60%) constraints
170.99/133.22	c (132,128) translated 1385868 (70%) constraints
181.14/137.99	c (137,132) translated 1583849 (80%) constraints
185.15/141.97	c (141,136) translated 1781830 (90%) constraints
189.20/145.98	c (145,140) translated 1979811 (100%) constraints
189.20/145.98	c (145,140) CSP to CSPinCNF End
189.32/146.02	c (145,140) CSP: 120 int (0 aux), 103200 bool (103200 aux), 1979811 ctr, max domain size 200
189.32/146.02	c (145,140) Heap : 4745 MiB used (max 21124 MiB), NonHeap : 28 MiB used (max 0 MiB)
189.32/146.02	c (145,140) CSPinCNF Propagation Begin
215.55/157.59	c (157,150) 0 values, 516 unsatisfiable literals, and 1 valid clauses are removed
215.55/157.59	c (157,150) CSPinCNF Propagation End
215.65/157.63	c (157,150) CSP: 120 int (0 aux), 103200 bool (103200 aux), 1979810 ctr, max domain size 200
215.65/157.63	c (157,150) Heap : 6540 MiB used (max 21172 MiB), NonHeap : 29 MiB used (max 0 MiB)
216.26/158.15	c (157,150) Hybrid: #OE=103320, #LE=0
216.26/158.15	c (157,150) Simplify CSPinCNF Begin
225.31/162.04	c (161,153) Simplify CSPinCNF End
225.31/162.08	c (161,153) CSP: 120 int (0 aux), 117480 bool (117480 aux), 1994090 ctr, max domain size 200
225.31/162.08	c (161,153) Heap : 3798 MiB used (max 21137 MiB), NonHeap : 29 MiB used (max 0 MiB)
225.31/162.08	c (161,153) Calculate Precise Domain Begin
225.31/162.08	c (161,153) 0 values are removed by re-calculation
225.31/162.08	c (161,153) Calculate Precise Domain End
225.41/162.12	c (161,153) CSP: 120 int (0 aux), 117480 bool (117480 aux), 1994090 ctr, max domain size 200
225.41/162.12	c (161,153) Heap : 3798 MiB used (max 21137 MiB), NonHeap : 29 MiB used (max 0 MiB)
225.41/162.12	c (161,153) CSPinCNF to SatSolver Begin
246.51/176.77	c (176,167) 199409 (10 %) CSP clauses are encoded (0 SAT variables, 3064888 SAT clauses)
249.00/178.76	c (178,169) 398818 (20 %) CSP clauses are encoded (0 SAT variables, 3264297 SAT clauses)
250.90/180.66	c (180,171) 598227 (30 %) CSP clauses are encoded (0 SAT variables, 3463706 SAT clauses)
252.81/182.58	c (182,173) 797636 (40 %) CSP clauses are encoded (0 SAT variables, 3663115 SAT clauses)
256.40/184.70	c (184,175) 997045 (50 %) CSP clauses are encoded (0 SAT variables, 3862524 SAT clauses)
258.30/186.61	c (186,177) 1196454 (60 %) CSP clauses are encoded (0 SAT variables, 4061933 SAT clauses)
260.20/188.54	c (187,179) 1395863 (70 %) CSP clauses are encoded (0 SAT variables, 4261342 SAT clauses)
262.11/190.46	c (189,180) 1595272 (80 %) CSP clauses are encoded (0 SAT variables, 4460751 SAT clauses)
266.16/192.68	c (192,182) 1794681 (90 %) CSP clauses are encoded (0 SAT variables, 4660160 SAT clauses)
268.16/194.61	c (194,184) 1994090 (100 %) CSP clauses are encoded (0 SAT variables, 4859569 SAT clauses)
268.16/194.61	c (194,184) CSPinCNF to SatSolver End
268.16/194.61	c (194,184) Heap : 5792 MiB used (max 21136 MiB), NonHeap : 32 MiB used (max 0 MiB)
268.16/194.61	c (194,184) 141360 bool, 4859570 clause
268.16/194.61	c (194,184) Export Begin
268.36/194.71	c (194,184) Export to HOME/scop-24456-serial-file.bin
268.36/194.71	c (194,184) Export End
268.36/194.71	c (194,184) Export File Size: 0.03 MB
268.36/194.71	c (194,184) 0,0,145,157,161,161,194,STOP-AFTER(DIMACS)
268.36/194.71	c END-Prog: Sat Sep 14 05:36:34 CEST 2019
268.36/194.77	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-24456-serial-file.bin
269.00/195.24	c (0,0) Read Serial File Begin
269.00/195.24	c (0,0) HOME/scop-24456-serial-file.bin
269.29/195.46	c (0,0) Read Serial File End
269.29/195.48	
269.29/195.48	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
269.29/195.48	(Solving Process)
269.29/195.48	
269.44/195.50	c BEGIN-Prog: Sat Sep 14 05:36:35 CEST 2019
269.44/195.50	c PID: 24493
269.44/195.50	c IP: 172.20.3.133
269.44/195.50	c HOST: node133.alineos.net
269.44/195.50	c (0,0) SatSolver.solve Begin
269.44/195.50	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4392605-1568432039.xml-scop-24459.cnf
269.44/195.53	c (0,0) c
269.44/195.53	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)
269.44/195.53	c (0,0) c
269.44/195.53	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
269.44/195.53	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
269.44/195.53	c (0,0) c ========================================[ Problem Statistics ]===========================================
269.44/195.53	c (0,0) c |                                                                                                       |
271.13/197.04	c (1,0) c |  Number of variables:        141360                                                                   |
271.13/197.04	c (1,0) c |  Number of clauses:         4859570                                                                   |
271.13/197.04	c (1,0) c |  Parse time:                   1.38 s                                                                 |
271.13/197.04	c (1,0) c |                                                                                                       |
271.42/197.31	c (2,0) c | Too many clauses... No preprocessing                                                                  |
271.42/197.31	c (2,0) c |  Simplification time:          0.25 s                                                                 |
271.42/197.31	c (2,0) c |                                                                                                       |
271.42/197.31	c (2,0) c |  Generating clones                                                                                    |
272.43/198.34	c (3,0) c |  all clones generated. Memory =  2854.71Mb.                                                           |
272.43/198.34	c (3,0) c ========================================================================================================|
272.43/198.34	c (3,0) c
272.43/198.34	c (3,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
272.43/198.34	c (3,0) c
272.43/198.34	c (3,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
272.43/198.34	c (3,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
272.43/198.34	c (3,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
272.43/198.34	c (3,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
272.43/198.34	c (3,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
272.43/198.34	c (3,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
272.43/198.34	c (3,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
272.43/198.34	c (3,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
272.43/198.34	c (3,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
272.43/198.34	c (3,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
272.43/198.34	c (3,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
272.43/198.34	c (3,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
272.43/198.34	c (3,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
272.43/198.34	c (3,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
272.43/198.34	c (3,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
272.43/198.34	c (3,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
272.43/198.34	c (3,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
272.43/198.34	c (3,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
272.43/198.34	c (3,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
282.83/199.81	c (4,0) c
282.83/199.81	c (4,0) c real time : 4.27823 s
282.83/199.81	c (4,0) c cpu time  : 11.6004 s
282.83/199.81	c (4,0) c
282.83/199.81	c (4,0) c
282.83/199.81	c (4,0) c
282.83/199.81	c (4,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
282.83/199.81	c (4,0) c
282.83/199.81	c (4,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
282.83/199.81	c (4,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
282.83/199.81	c (4,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
282.83/199.81	c (4,0) c | Conflicts     |            4587 |        148 |        536 |        550 |        521 |        912 |        444 |        593 |        883 |
282.83/199.81	c (4,0) c | Decisions     |           14686 |       6593 |       1253 |        959 |        805 |       1426 |        980 |        993 |       1677 |
282.83/199.81	c (4,0) c | Propagations  |         9656348 |     760512 |    1015195 |    1155215 |     908418 |    1489454 |    1314568 |    1270678 |    1742308 |
282.83/199.81	c (4,0) c | ReduceDBs     |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
282.83/199.81	c (4,0) c | SimpDBs       |               8 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |
282.83/199.81	c (4,0) c | Restarts      |              15 |          2 |          2 |          2 |          3 |          1 |          2 |          2 |          1 |
282.83/199.81	c (4,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
282.83/199.81	c (4,0) c | PropBinClauses|         6470629 |     367135 |     738932 |     798133 |     624782 |    1060930 |     783104 |     944471 |    1153142 |
282.83/199.81	c (4,0) c | PropPreBlocker|       188926958 |   22848201 |   21695197 |   26160901 |   22886684 |   29344377 |   19059525 |   22679443 |   24252630 |
282.83/199.81	c (4,0) c | PropNotBlocker|        62654167 |    5939475 |    7675398 |    8297155 |    6748441 |   10021918 |    7421132 |    8445606 |    8105042 |
282.83/199.81	c (4,0) c | LitFullScans  |       271423897 |   30054388 |   31299786 |   36631920 |   31324726 |   42393740 |   30054451 |   33660855 |   36004031 |
282.83/199.81	c (4,0) c | LitScanFracts |           10634 |        848 |        966 |       1394 |        753 |       1352 |       1045 |       2461 |       1815 |
282.83/199.81	c (4,0) c | DecisionLevel0|              15 |          2 |          2 |          2 |          3 |          1 |          2 |          2 |          1 |
282.83/199.81	c (4,0) c | Periods       |              44 |          5 |          5 |          6 |          5 |          7 |          5 |          5 |          6 |
282.83/199.81	c (4,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
282.83/199.81	c (4,0) c | Avg_Trail     |                 |      29059 |       6255 |       5685 |       6754 |       5279 |       9170 |       6757 |       9025 |
282.83/199.81	c (4,0) c | Avg_DL        |                 |       4653 |         61 |         93 |        102 |         43 |         79 |         31 |        128 |
282.83/199.81	c (4,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
282.83/199.81	c (4,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
282.83/199.81	c (4,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
282.83/199.81	c (4,0) c | Exported      |             151 |          1 |         30 |         16 |          4 |         37 |          7 |         24 |         32 |
282.83/199.81	c (4,0) c | Imported      |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
282.83/199.81	c (4,0) c | Good          |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
282.83/199.81	c (4,0) c | Purge         |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
282.83/199.81	c (4,0) c | Promoted      |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
282.83/199.81	c (4,0) c | Remove_Imp    |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
282.83/199.81	c (4,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
282.83/199.81	c (4,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
282.83/199.81	c (4,0) c | Unaries       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
282.83/199.81	c (4,0) c | Binaries      |                 |          0 |          0 |          0 |          0 |          1 |          0 |          1 |          1 |
282.83/199.81	c (4,0) c | Glues         |                 |          1 |         30 |         16 |          4 |         37 |          7 |         24 |         32 |
282.83/199.81	c (4,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
282.83/199.81	c (4,0) c | Orig_Seen     |             0 % |       7848 |      11268 |      12481 |       4454 |      15318 |      17468 |      13967 |      18327 |
282.83/199.81	c (4,0) c | Diff Orig seen|                 | -     6119 | -     2699 | -     1486 | -     9513 |       1351 |       3501 |      X     |       4360 |
282.83/199.81	c (4,0) c | Hamming       |            16 % |      18621 |      24202 |      25449 |      23163 |      25015 |      21861 |      X     |      21873 |
282.83/199.81	c (4,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
282.83/199.81	c (4,0) c | RunningTime   |                 |    1.4 100%|    1.5 100%|    1.3 100%|    1.4 100%|    1.4 100%|    1.4 100%|    1.3 100%|    1.3 100%|
282.83/199.81	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%|
282.83/199.81	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%|
282.83/199.81	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%|
282.83/199.81	c (4,0) c | SolvingTime   |                 |    1.4     |    1.5     |    1.3     |    1.4     |    1.4     |    1.4     |    1.3     |    1.3     |
282.83/199.81	c (4,0) c | PropagationTim|                 |    1.4  97%|    1.4  97%|    1.2  96%|    1.4  97%|    1.4  96%|    1.3  94%|    1.3  96%|    1.2  95%|
282.83/199.81	c (4,0) c | AnalysisTime  |                 |    0.0   1%|    0.0   2%|    0.0   2%|    0.0   1%|    0.0   2%|    0.1   4%|    0.0   2%|    0.0   3%|
282.83/199.81	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%|
282.83/199.81	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%|
282.83/199.81	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%|
282.83/199.81	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%|
282.83/199.81	c (4,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
282.83/199.81	c (4,0) c
282.83/199.81	c (4,0) c
282.83/199.81	c (4,0) c Threads : 8
282.83/199.81	c (4,0) c Winner : 6
282.83/199.81	c (4,0) c Conflicts_0 : 148
282.83/199.81	c (4,0) c Conflicts_1 : 536
282.83/199.81	c (4,0) c Conflicts_2 : 550
282.83/199.81	c (4,0) c Conflicts_3 : 521
282.83/199.81	c (4,0) c Conflicts_4 : 912
282.83/199.81	c (4,0) c Conflicts_5 : 444
282.83/199.81	c (4,0) c Conflicts_6 : 593
282.83/199.81	c (4,0) c Conflicts_7 : 883
282.83/199.81	c (4,0) c Conflicts_total : 4587
282.83/199.81	c (4,0) c Conflicts_winner : 593
282.83/199.81	c (4,0) c Decisions_0 : 6593
282.83/199.81	c (4,0) c Decisions_1 : 1253
282.83/199.81	c (4,0) c Decisions_2 : 959
282.83/199.81	c (4,0) c Decisions_3 : 805
282.83/199.81	c (4,0) c Decisions_4 : 1426
282.83/199.81	c (4,0) c Decisions_5 : 980
282.83/199.81	c (4,0) c Decisions_6 : 993
282.83/199.81	c (4,0) c Decisions_7 : 1677
282.83/199.81	c (4,0) c Decisions_total : 14686
282.83/199.81	c (4,0) c Decisions_winner : 993
282.83/199.81	c (4,0) c Propagations_0 : 760512
282.83/199.81	c (4,0) c Propagations_1 : 1015195
282.83/199.81	c (4,0) c Propagations_2 : 1155215
282.83/199.81	c (4,0) c Propagations_3 : 908418
282.83/199.81	c (4,0) c Propagations_4 : 1489454
282.83/199.81	c (4,0) c Propagations_5 : 1314568
282.83/199.81	c (4,0) c Propagations_6 : 1270678
282.83/199.81	c (4,0) c Propagations_7 : 1742308
282.83/199.81	c (4,0) c Propagations_total : 9656348
282.83/199.81	c (4,0) c Propagations_winner : 1270678
282.83/199.81	c (4,0) c ReduceDBs_0 : 0
282.83/199.81	c (4,0) c ReduceDBs_1 : 0
282.83/199.81	c (4,0) c ReduceDBs_2 : 0
282.83/199.81	c (4,0) c ReduceDBs_3 : 0
282.83/199.81	c (4,0) c ReduceDBs_4 : 0
282.83/199.81	c (4,0) c ReduceDBs_5 : 0
282.83/199.81	c (4,0) c ReduceDBs_6 : 0
282.83/199.81	c (4,0) c ReduceDBs_7 : 0
282.83/199.81	c (4,0) c ReduceDBs_total : 0
282.83/199.81	c (4,0) c ReduceDBs_winner : 0
282.83/199.81	c (4,0) c SimpDBs_0 : 1
282.83/199.81	c (4,0) c SimpDBs_1 : 1
282.83/199.81	c (4,0) c SimpDBs_2 : 1
282.83/199.81	c (4,0) c SimpDBs_3 : 1
282.83/199.81	c (4,0) c SimpDBs_4 : 1
282.83/199.81	c (4,0) c SimpDBs_5 : 1
282.83/199.81	c (4,0) c SimpDBs_6 : 1
282.83/199.81	c (4,0) c SimpDBs_7 : 1
282.83/199.81	c (4,0) c SimpDBs_total : 8
282.83/199.81	c (4,0) c SimpDBs_winner : 1
282.83/199.81	c (4,0) c Restarts_0 : 2
282.83/199.81	c (4,0) c Restarts_1 : 2
282.83/199.81	c (4,0) c Restarts_2 : 2
282.83/199.81	c (4,0) c Restarts_3 : 3
282.83/199.81	c (4,0) c Restarts_4 : 1
282.83/199.81	c (4,0) c Restarts_5 : 2
282.83/199.81	c (4,0) c Restarts_6 : 2
282.83/199.81	c (4,0) c Restarts_7 : 1
282.83/199.81	c (4,0) c Restarts_total : 15
282.83/199.81	c (4,0) c Restarts_winner : 2
282.83/199.81	c (4,0) c ForcedImports_0 : 0
282.83/199.81	c (4,0) c ForcedImports_1 : 0
282.83/199.81	c (4,0) c ForcedImports_2 : 0
282.83/199.81	c (4,0) c ForcedImports_3 : 0
282.83/199.81	c (4,0) c ForcedImports_4 : 0
282.83/199.81	c (4,0) c ForcedImports_5 : 0
282.83/199.81	c (4,0) c ForcedImports_6 : 0
282.83/199.81	c (4,0) c ForcedImports_7 : 0
282.83/199.81	c (4,0) c ForcedImports_total : 0
282.83/199.81	c (4,0) c ForcedImports_winner : 0
282.83/199.81	c (4,0) c PropsBinClauses_0 : 367135
282.83/199.81	c (4,0) c PropsBinClauses_1 : 738932
282.83/199.81	c (4,0) c PropsBinClauses_2 : 798133
282.83/199.81	c (4,0) c PropsBinClauses_3 : 624782
282.83/199.81	c (4,0) c PropsBinClauses_4 : 1060930
282.83/199.81	c (4,0) c PropsBinClauses_5 : 783104
282.83/199.81	c (4,0) c PropsBinClauses_6 : 944471
282.83/199.81	c (4,0) c PropsBinClauses_7 : 1153142
282.83/199.81	c (4,0) c PropsBinClauses_total : 6470629
282.83/199.81	c (4,0) c PropsBinClauses_winner : 944471
282.83/199.81	c (4,0) c PropsPreBlocker_0 : 22848201
282.83/199.81	c (4,0) c PropsPreBlocker_1 : 21695197
282.83/199.81	c (4,0) c PropsPreBlocker_2 : 26160901
282.83/199.81	c (4,0) c PropsPreBlocker_3 : 22886684
282.83/199.81	c (4,0) c PropsPreBlocker_4 : 29344377
282.83/199.81	c (4,0) c PropsPreBlocker_5 : 19059525
282.83/199.81	c (4,0) c PropsPreBlocker_6 : 22679443
282.83/199.81	c (4,0) c PropsPreBlocker_7 : 24252630
282.83/199.81	c (4,0) c PropsPreBlocker_total : 188926958
282.83/199.81	c (4,0) c PropsPreBlocker_winner : 22679443
282.83/199.81	c (4,0) c PropsNotBlocker_0 : 5939475
282.83/199.81	c (4,0) c PropsNotBlocker_1 : 7675398
282.83/199.81	c (4,0) c PropsNotBlocker_2 : 8297155
282.83/199.81	c (4,0) c PropsNotBlocker_3 : 6748441
282.83/199.81	c (4,0) c PropsNotBlocker_4 : 10021918
282.83/199.81	c (4,0) c PropsNotBlocker_5 : 7421132
282.83/199.81	c (4,0) c PropsNotBlocker_6 : 8445606
282.83/199.81	c (4,0) c PropsNotBlocker_7 : 8105042
282.83/199.81	c (4,0) c PropsNotBlocker_total : 62654167
282.83/199.81	c (4,0) c PropsNotBlocker_winner : 8445606
282.83/199.81	c (4,0) c PropsLitFullScans_0 : 30054388
282.83/199.81	c (4,0) c PropsLitFullScans_1 : 31299786
282.83/199.81	c (4,0) c PropsLitFullScans_2 : 36631920
282.83/199.81	c (4,0) c PropsLitFullScans_3 : 31324726
282.83/199.81	c (4,0) c PropsLitFullScans_4 : 42393740
282.83/199.81	c (4,0) c PropsLitFullScans_5 : 30054451
282.83/199.81	c (4,0) c PropsLitFullScans_6 : 33660855
282.83/199.81	c (4,0) c PropsLitFullScans_7 : 36004031
282.83/199.81	c (4,0) c PropsLitFullScans_total : 271423897
282.83/199.81	c (4,0) c PropsLitFullScans_winner : 33660855
282.83/199.81	c (4,0) c LitScanFractions_0 : 848
282.83/199.81	c (4,0) c LitScanFractions_1 : 966
282.83/199.81	c (4,0) c LitScanFractions_2 : 1394
282.83/199.81	c (4,0) c LitScanFractions_3 : 753
282.83/199.81	c (4,0) c LitScanFractions_4 : 1352
282.83/199.81	c (4,0) c LitScanFractions_5 : 1045
282.83/199.81	c (4,0) c LitScanFractions_6 : 2461
282.83/199.81	c (4,0) c LitScanFractions_7 : 1815
282.83/199.81	c (4,0) c LitScanFractions_total : 10634
282.83/199.81	c (4,0) c LitScanFractions_winner : 2461
282.83/199.81	c (4,0) c DecisionLevel0_0 : 2
282.83/199.81	c (4,0) c DecisionLevel0_1 : 2
282.83/199.81	c (4,0) c DecisionLevel0_2 : 2
282.83/199.81	c (4,0) c DecisionLevel0_3 : 3
282.83/199.81	c (4,0) c DecisionLevel0_4 : 1
282.83/199.81	c (4,0) c DecisionLevel0_5 : 2
282.83/199.81	c (4,0) c DecisionLevel0_6 : 2
282.83/199.81	c (4,0) c DecisionLevel0_7 : 1
282.83/199.81	c (4,0) c DecisionLevel0_total : 15
282.83/199.81	c (4,0) c DecisionLevel0_winner : 2
282.83/199.81	c (4,0) c Periods_0 : 5
282.83/199.81	c (4,0) c Periods_1 : 5
282.83/199.81	c (4,0) c Periods_2 : 6
282.83/199.82	c (4,0) c Periods_3 : 5
282.83/199.82	c (4,0) c Periods_4 : 7
282.83/199.82	c (4,0) c Periods_5 : 5
282.83/199.82	c (4,0) c Periods_6 : 5
282.83/199.82	c (4,0) c Periods_7 : 6
282.83/199.82	c (4,0) c Periods_total : 44
282.83/199.82	c (4,0) c Periods_winner : 5
282.83/199.82	c (4,0) c Margin_0 : 20
282.83/199.82	c (4,0) c Margin_1 : 20
282.83/199.82	c (4,0) c Margin_2 : 20
282.83/199.82	c (4,0) c Margin_3 : 20
282.83/199.82	c (4,0) c Margin_4 : 20
282.83/199.82	c (4,0) c Margin_5 : 20
282.83/199.82	c (4,0) c Margin_6 : 20
282.83/199.82	c (4,0) c Margin_7 : 20
282.83/199.82	c (4,0) c Margin_total : 160
282.83/199.82	c (4,0) c Margin_winner : 20
282.83/199.82	c (4,0) c Exported_0 : 1
282.83/199.82	c (4,0) c Exported_1 : 30
282.83/199.82	c (4,0) c Exported_2 : 16
282.83/199.82	c (4,0) c Exported_3 : 4
282.83/199.82	c (4,0) c Exported_4 : 37
282.83/199.82	c (4,0) c Exported_5 : 7
282.83/199.82	c (4,0) c Exported_6 : 24
282.83/199.82	c (4,0) c Exported_7 : 32
282.83/199.82	c (4,0) c Exported_total : 151
282.83/199.82	c (4,0) c Exported_winner : 24
282.83/199.82	c (4,0) c Imported_0 : 0
282.83/199.82	c (4,0) c Imported_1 : 0
282.83/199.82	c (4,0) c Imported_2 : 0
282.83/199.82	c (4,0) c Imported_3 : 0
282.83/199.82	c (4,0) c Imported_4 : 0
282.83/199.82	c (4,0) c Imported_5 : 0
282.83/199.82	c (4,0) c Imported_6 : 0
282.83/199.82	c (4,0) c Imported_7 : 0
282.83/199.82	c (4,0) c Imported_total : 0
282.83/199.82	c (4,0) c Imported_winner : 0
282.83/199.82	c (4,0) c Good_0 : 0
282.83/199.82	c (4,0) c Good_1 : 0
282.83/199.82	c (4,0) c Good_2 : 0
282.83/199.82	c (4,0) c Good_3 : 0
282.83/199.82	c (4,0) c Good_4 : 0
282.83/199.82	c (4,0) c Good_5 : 0
282.83/199.82	c (4,0) c Good_6 : 0
282.83/199.82	c (4,0) c Good_7 : 0
282.83/199.82	c (4,0) c Good_total : 0
282.83/199.82	c (4,0) c Good_winner : 0
282.83/199.82	c (4,0) c Purge_0 : 0
282.83/199.82	c (4,0) c Purge_1 : 0
282.83/199.82	c (4,0) c Purge_2 : 0
282.83/199.82	c (4,0) c Purge_3 : 0
282.83/199.82	c (4,0) c Purge_4 : 0
282.83/199.82	c (4,0) c Purge_5 : 0
282.83/199.82	c (4,0) c Purge_6 : 0
282.83/199.82	c (4,0) c Purge_7 : 0
282.83/199.82	c (4,0) c Purge_total : 0
282.83/199.82	c (4,0) c Purge_winner : 0
282.83/199.82	c (4,0) c Promoted_0 : 0
282.83/199.82	c (4,0) c Promoted_1 : 0
282.83/199.82	c (4,0) c Promoted_2 : 0
282.83/199.82	c (4,0) c Promoted_3 : 0
282.83/199.82	c (4,0) c Promoted_4 : 0
282.83/199.82	c (4,0) c Promoted_5 : 0
282.83/199.82	c (4,0) c Promoted_6 : 0
282.83/199.82	c (4,0) c Promoted_7 : 0
282.83/199.82	c (4,0) c Promoted_total : 0
282.83/199.82	c (4,0) c Promoted_winner : 0
282.83/199.82	c (4,0) c Remove_Imp_0 : 0
282.83/199.82	c (4,0) c Remove_Imp_1 : 0
282.83/199.82	c (4,0) c Remove_Imp_2 : 0
282.83/199.82	c (4,0) c Remove_Imp_3 : 0
282.83/199.82	c (4,0) c Remove_Imp_4 : 0
282.83/199.82	c (4,0) c Remove_Imp_5 : 0
282.83/199.82	c (4,0) c Remove_Imp_6 : 0
282.83/199.82	c (4,0) c Remove_Imp_7 : 0
282.83/199.82	c (4,0) c Remove_Imp_total : 0
282.83/199.82	c (4,0) c Remove_Imp_winner : 0
282.83/199.82	c (4,0) c Blocked_Reuse_0 : 0
282.83/199.82	c (4,0) c Blocked_Reuse_1 : 0
282.83/199.82	c (4,0) c Blocked_Reuse_2 : 0
282.83/199.82	c (4,0) c Blocked_Reuse_3 : 0
282.83/199.82	c (4,0) c Blocked_Reuse_4 : 0
282.83/199.82	c (4,0) c Blocked_Reuse_5 : 0
282.83/199.82	c (4,0) c Blocked_Reuse_6 : 0
282.83/199.82	c (4,0) c Blocked_Reuse_7 : 0
282.83/199.82	c (4,0) c Blocked_Reuse_total : 0
282.83/199.82	c (4,0) c Blocked_Reuse_winner : 0
282.83/199.82	c (4,0) c Unaries_0 : 0
282.83/199.82	c (4,0) c Unaries_1 : 0
282.83/199.82	c (4,0) c Unaries_2 : 0
282.83/199.82	c (4,0) c Unaries_3 : 0
282.83/199.82	c (4,0) c Unaries_4 : 0
282.83/199.82	c (4,0) c Unaries_5 : 0
282.83/199.82	c (4,0) c Unaries_6 : 0
282.83/199.82	c (4,0) c Unaries_7 : 0
282.83/199.82	c (4,0) c Unaries_total : 0
282.83/199.82	c (4,0) c Unaries_winner : 0
282.83/199.82	c (4,0) c Binaries_0 : 0
282.83/199.82	c (4,0) c Binaries_1 : 0
282.83/199.82	c (4,0) c Binaries_2 : 0
282.83/199.82	c (4,0) c Binaries_3 : 0
282.83/199.82	c (4,0) c Binaries_4 : 1
282.83/199.82	c (4,0) c Binaries_5 : 0
282.83/199.82	c (4,0) c Binaries_6 : 1
282.83/199.82	c (4,0) c Binaries_7 : 1
282.83/199.82	c (4,0) c Binaries_total : 3
282.83/199.82	c (4,0) c Binaries_winner : 1
282.83/199.82	c (4,0) c Glues_0 : 1
282.83/199.82	c (4,0) c Glues_1 : 30
282.83/199.82	c (4,0) c Glues_2 : 16
282.83/199.82	c (4,0) c Glues_3 : 4
282.83/199.82	c (4,0) c Glues_4 : 37
282.83/199.82	c (4,0) c Glues_5 : 7
282.83/199.82	c (4,0) c Glues_6 : 24
282.83/199.82	c (4,0) c Glues_7 : 32
282.83/199.82	c (4,0) c Glues_total : 151
282.83/199.82	c (4,0) c Glues_winner : 24
282.83/199.82	c (4,0) c RunningTime_0 : 1.418655
282.83/199.82	c (4,0) c RunningTime_1 : 1.458508
282.83/199.82	c (4,0) c RunningTime_2 : 1.264103
282.83/199.82	c (4,0) c RunningTime_3 : 1.437077
282.83/199.82	c (4,0) c RunningTime_4 : 1.429034
282.83/199.83	c (4,0) c RunningTime_5 : 1.416024
282.83/199.83	c (4,0) c RunningTime_6 : 1.309125
282.83/199.83	c (4,0) c RunningTime_7 : 1.319862
282.83/199.83	c (4,0) c RunningTime_total : 11.052386
282.83/199.83	c (4,0) c RunningTime_winner : 1.309125
282.83/199.83	c (4,0) c WaitingTime_0 : 0.000000
282.83/199.83	c (4,0) c WaitingTime_1 : 0.000000
282.83/199.83	c (4,0) c WaitingTime_2 : 0.000000
282.83/199.83	c (4,0) c WaitingTime_3 : 0.000000
282.83/199.83	c (4,0) c WaitingTime_4 : 0.000000
282.83/199.83	c (4,0) c WaitingTime_5 : 0.000000
282.83/199.83	c (4,0) c WaitingTime_6 : 0.000000
282.83/199.83	c (4,0) c WaitingTime_7 : 0.000000
282.83/199.83	c (4,0) c WaitingTime_total : 0.000000
282.83/199.83	c (4,0) c WaitingTime_winner : 0.000000
282.83/199.83	c (4,0) c ExchangingTime_0 : 0.000294
282.83/199.83	c (4,0) c ExchangingTime_1 : 0.000515
282.83/199.83	c (4,0) c ExchangingTime_2 : 0.000350
282.83/199.83	c (4,0) c ExchangingTime_3 : 0.000192
282.83/199.83	c (4,0) c ExchangingTime_4 : 0.000416
282.83/199.83	c (4,0) c ExchangingTime_5 : 0.000118
282.83/199.83	c (4,0) c ExchangingTime_6 : 0.000140
282.83/199.83	c (4,0) c ExchangingTime_7 : 0.000195
282.83/199.83	c (4,0) c ExchangingTime_total : 0.002221
282.83/199.83	c (4,0) c ExchangingTime_winner : 0.000140
282.83/199.83	c (4,0) c PeriodProcTime_0 : 0.000091
282.83/199.83	c (4,0) c PeriodProcTime_1 : 0.000094
282.83/199.83	c (4,0) c PeriodProcTime_2 : 0.000079
282.83/199.83	c (4,0) c PeriodProcTime_3 : 0.000096
282.83/199.83	c (4,0) c PeriodProcTime_4 : 0.000114
282.83/199.83	c (4,0) c PeriodProcTime_5 : 0.000090
282.83/199.83	c (4,0) c PeriodProcTime_6 : 0.000063
282.83/199.83	c (4,0) c PeriodProcTime_7 : 0.000090
282.83/199.83	c (4,0) c PeriodProcTime_total : 0.000718
282.83/199.83	c (4,0) c PeriodProcTime_winner : 0.000063
282.83/199.83	c (4,0) c SolvingTime_0 : 1.419040
282.83/199.83	c (4,0) c SolvingTime_1 : 1.459117
282.83/199.83	c (4,0) c SolvingTime_2 : 1.264532
282.83/199.83	c (4,0) c SolvingTime_3 : 1.437364
282.83/199.83	c (4,0) c SolvingTime_4 : 1.429565
282.83/199.83	c (4,0) c SolvingTime_5 : 1.416231
282.83/199.83	c (4,0) c SolvingTime_6 : 1.309329
282.83/199.83	c (4,0) c SolvingTime_7 : 1.320147
282.83/199.83	c (4,0) c SolvingTime_total : 11.055326
282.83/199.83	c (4,0) c SolvingTime_winner : 1.309329
282.83/199.83	c (4,0) c PropagationTime_0 : 1.375628
282.83/199.83	c (4,0) c PropagationTime_1 : 1.414135
282.83/199.83	c (4,0) c PropagationTime_2 : 1.216634
282.83/199.83	c (4,0) c PropagationTime_3 : 1.399886
282.83/199.83	c (4,0) c PropagationTime_4 : 1.374801
282.83/199.83	c (4,0) c PropagationTime_5 : 1.332277
282.83/199.83	c (4,0) c PropagationTime_6 : 1.261124
282.83/199.83	c (4,0) c PropagationTime_7 : 1.247856
282.83/199.83	c (4,0) c PropagationTime_total : 10.622342
282.83/199.83	c (4,0) c PropagationTime_winner : 1.261124
282.83/199.83	c (4,0) c AnalysisTime_0 : 0.018797
282.83/199.83	c (4,0) c AnalysisTime_1 : 0.023623
282.83/199.83	c (4,0) c AnalysisTime_2 : 0.028027
282.83/199.83	c (4,0) c AnalysisTime_3 : 0.021291
282.83/199.83	c (4,0) c AnalysisTime_4 : 0.033400
282.83/199.83	c (4,0) c AnalysisTime_5 : 0.061205
282.83/199.83	c (4,0) c AnalysisTime_6 : 0.026816
282.83/199.83	c (4,0) c AnalysisTime_7 : 0.045966
282.83/199.83	c (4,0) c AnalysisTime_total : 0.259123
282.83/199.83	c (4,0) c AnalysisTime_winner : 0.026816
282.83/199.83	c (4,0) c ReductionTime_0 : 0.000000
282.83/199.83	c (4,0) c ReductionTime_1 : 0.000000
282.83/199.83	c (4,0) c ReductionTime_2 : 0.000000
282.83/199.83	c (4,0) c ReductionTime_3 : 0.000000
282.83/199.83	c (4,0) c ReductionTime_4 : 0.000000
282.83/199.83	c (4,0) c ReductionTime_5 : 0.000000
282.83/199.83	c (4,0) c ReductionTime_6 : 0.000000
282.83/199.83	c (4,0) c ReductionTime_7 : 0.000000
282.83/199.83	c (4,0) c ReductionTime_total : 0.000000
282.83/199.83	c (4,0) c ReductionTime_winner : 0.000000
282.83/199.83	c (4,0) c SimplifyTime_0 : 0.000000
282.83/199.83	c (4,0) c SimplifyTime_1 : 0.000000
282.83/199.83	c (4,0) c SimplifyTime_2 : 0.000001
282.83/199.83	c (4,0) c SimplifyTime_3 : 0.000000
282.83/199.83	c (4,0) c SimplifyTime_4 : 0.000000
282.83/199.83	c (4,0) c SimplifyTime_5 : 0.000000
282.83/199.83	c (4,0) c SimplifyTime_6 : 0.000000
282.83/199.83	c (4,0) c SimplifyTime_7 : 0.000000
282.83/199.83	c (4,0) c SimplifyTime_total : 0.000001
282.83/199.83	c (4,0) c SimplifyTime_winner : 0.000000
282.83/199.83	c (4,0) c UsedRateTime_0 : 0.000000
282.83/199.83	c (4,0) c UsedRateTime_1 : 0.000000
282.83/199.83	c (4,0) c UsedRateTime_2 : 0.000000
282.83/199.83	c (4,0) c UsedRateTime_3 : 0.000000
282.83/199.83	c (4,0) c UsedRateTime_4 : 0.000000
282.83/199.83	c (4,0) c UsedRateTime_5 : 0.000000
282.83/199.83	c (4,0) c UsedRateTime_6 : 0.000000
282.83/199.83	c (4,0) c UsedRateTime_7 : 0.000000
282.83/199.83	c (4,0) c UsedRateTime_total : 0.000000
282.83/199.83	c (4,0) c UsedRateTime_winner : 0.000000
282.83/199.83	c (4,0) c OverlapRateTime_0 : 0.000000
282.83/199.83	c (4,0) c OverlapRateTime_1 : 0.000000
282.83/199.83	c (4,0) c OverlapRateTime_2 : 0.000000
282.83/199.83	c (4,0) c OverlapRateTime_3 : 0.000000
282.83/199.83	c (4,0) c OverlapRateTime_4 : 0.000000
282.83/199.83	c (4,0) c OverlapRateTime_5 : 0.000000
282.83/199.83	c (4,0) c OverlapRateTime_6 : 0.000000
282.83/199.83	c (4,0) c OverlapRateTime_7 : 0.000000
282.83/199.83	c (4,0) c OverlapRateTime_total : 0.000000
282.83/199.83	c (4,0) c OverlapRateTime_winner : 0.000000
282.83/199.83	c (4,0) c
282.83/199.83	c (4,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
282.83/199.83	c (4,0) c
282.83/199.83	c (4,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
282.83/199.83	c (4,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
282.83/199.83	c (4,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
282.83/199.83	c (4,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
282.83/199.83	c (4,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
282.83/199.83	c (4,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
282.83/199.83	c (4,0) c | Initial random_seed   |  474127365 |  851612792 |  715146548 |  302007360 | 1183456936 | 1371690573 |  837525148 | 1912620571 |
282.83/199.83	c (4,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
282.83/199.83	c (4,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
282.83/199.83	c (4,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
282.83/199.83	c (4,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
282.83/199.83	c (4,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
282.83/199.83	c (4,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
282.83/199.83	c (4,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
282.83/199.83	c (4,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
282.83/199.83	c (4,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
282.83/199.83	c (4,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
282.83/199.83	c (4,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
282.83/199.83	c (4,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
282.83/199.83	c (4,0) 
282.83/199.83	c (4,0) s SATISFIABLE
269.89/199.95	c (4,0) SatSolver.solve End
269.89/199.95	c (4,0) Heap : 144 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
269.89/199.95	c (4,0) Show results Begin
283.42/200.07	c (4,0) x[0] = 1
283.42/200.07	c (4,0) x[1] = 137
283.42/200.07	c (4,0) x[2] = 41
283.42/200.07	c (4,0) x[3] = 130
283.42/200.07	c (4,0) x[4] = 26
283.42/200.07	c (4,0) x[5] = 197
283.42/200.07	c (4,0) x[6] = 143
283.42/200.07	c (4,0) x[7] = 111
283.42/200.07	c (4,0) x[8] = 92
283.42/200.07	c (4,0) x[9] = 164
283.42/200.07	c (4,0) x[10] = 134
283.42/200.07	c (4,0) x[11] = 180
283.42/200.07	c (4,0) x[12] = 135
283.42/200.07	c (4,0) x[13] = 0
283.42/200.07	c (4,0) x[14] = 29
283.42/200.07	c (4,0) x[15] = 129
283.42/200.07	c (4,0) x[16] = 57
283.42/200.07	c (4,0) x[17] = 142
283.42/200.07	c (4,0) x[18] = 187
283.42/200.07	c (4,0) x[19] = 82
283.42/200.07	c (4,0) x[20] = 114
283.42/200.07	c (4,0) x[21] = 105
283.42/200.07	c (4,0) x[22] = 14
283.42/200.07	c (4,0) x[23] = 24
283.42/200.07	c (4,0) x[24] = 91
283.42/200.07	c (4,0) x[25] = 113
283.42/200.08	c (4,0) x[26] = 13
283.42/200.08	c (4,0) x[27] = 83
283.42/200.08	c (4,0) x[28] = 65
283.42/200.08	c (4,0) x[29] = 63
283.42/200.08	c (4,0) x[30] = 104
283.42/200.08	c (4,0) x[31] = 97
283.42/200.08	c (4,0) x[32] = 185
283.42/200.08	c (4,0) x[33] = 42
283.42/200.08	c (4,0) x[34] = 161
283.42/200.08	c (4,0) x[35] = 188
283.42/200.08	c (4,0) x[36] = 124
283.42/200.08	c (4,0) x[37] = 49
283.42/200.08	c (4,0) x[38] = 106
283.42/200.08	c (4,0) x[39] = 95
283.42/200.08	c (4,0) x[40] = 72
283.42/200.08	c (4,0) x[41] = 90
283.42/200.08	c (4,0) x[42] = 89
283.42/200.08	c (4,0) x[43] = 94
283.42/200.08	c (4,0) x[44] = 189
283.42/200.08	c (4,0) x[45] = 32
283.42/200.08	c (4,0) x[46] = 9
283.42/200.08	c (4,0) x[47] = 115
283.42/200.08	c (4,0) x[48] = 133
283.42/200.08	c (4,0) x[49] = 183
283.42/200.08	c (4,0) x[50] = 167
283.42/200.08	c (4,0) x[51] = 79
283.42/200.08	c (4,0) x[52] = 11
283.42/200.08	c (4,0) x[53] = 100
283.42/200.08	c (4,0) x[54] = 23
283.42/200.08	c (4,0) x[55] = 53
283.42/200.08	c (4,0) x[56] = 35
283.42/200.08	c (4,0) x[57] = 64
283.42/200.08	c (4,0) x[58] = 172
283.42/200.08	c (4,0) x[59] = 87
283.42/200.08	c (4,0) x[60] = 58
283.42/200.08	c (4,0) x[61] = 5
283.42/200.08	c (4,0) x[62] = 171
283.42/200.08	c (4,0) x[63] = 147
283.42/200.08	c (4,0) x[64] = 98
283.42/200.08	c (4,0) x[65] = 139
283.42/200.08	c (4,0) x[66] = 166
283.42/200.08	c (4,0) x[67] = 99
283.42/200.08	c (4,0) x[68] = 126
283.42/200.08	c (4,0) x[69] = 156
283.42/200.08	c (4,0) x[70] = 96
283.42/200.08	c (4,0) x[71] = 169
283.42/200.08	c (4,0) x[72] = 181
283.42/200.08	c (4,0) x[73] = 36
283.42/200.08	c (4,0) x[74] = 123
283.42/200.08	c (4,0) x[75] = 101
283.42/200.08	c (4,0) x[76] = 25
283.42/200.08	c (4,0) x[77] = 144
283.42/200.08	c (4,0) x[78] = 120
283.42/200.08	c (4,0) x[79] = 152
283.42/200.08	c (4,0) x[80] = 12
283.42/200.08	c (4,0) x[81] = 112
283.42/200.08	c (4,0) x[82] = 131
283.42/200.08	c (4,0) x[83] = 195
283.42/200.08	c (4,0) x[84] = 191
283.42/200.09	c (4,0) x[85] = 30
283.42/200.09	c (4,0) x[86] = 20
283.42/200.09	c (4,0) x[87] = 192
283.42/200.09	c (4,0) x[88] = 6
283.42/200.09	c (4,0) x[89] = 160
283.42/200.09	c (4,0) x[90] = 75
283.42/200.09	c (4,0) x[91] = 146
283.42/200.09	c (4,0) x[92] = 162
283.42/200.09	c (4,0) x[93] = 103
283.42/200.09	c (4,0) x[94] = 18
283.42/200.09	c (4,0) x[95] = 50
283.42/200.09	c (4,0) x[96] = 70
283.42/200.09	c (4,0) x[97] = 74
283.42/200.09	c (4,0) x[98] = 2
283.42/200.09	c (4,0) x[99] = 179
283.42/200.09	c (4,0) x[100] = 69
283.42/200.09	c (4,0) x[101] = 61
283.42/200.09	c (4,0) x[102] = 77
283.42/200.09	c (4,0) x[103] = 163
283.42/200.09	c (4,0) x[104] = 154
283.42/200.09	c (4,0) x[105] = 39
283.42/200.09	c (4,0) x[106] = 148
283.42/200.09	c (4,0) x[107] = 33
283.42/200.09	c (4,0) x[108] = 149
283.42/200.09	c (4,0) x[109] = 3
283.42/200.09	c (4,0) x[110] = 19
283.42/200.09	c (4,0) x[111] = 122
283.42/200.09	c (4,0) x[112] = 128
283.42/200.09	c (4,0) x[113] = 78
283.42/200.09	c (4,0) x[114] = 159
283.42/200.09	c (4,0) x[115] = 109
283.42/200.09	c (4,0) x[116] = 125
283.42/200.09	c (4,0) x[117] = 168
283.42/200.09	c (4,0) x[118] = 173
283.42/200.09	c (4,0) x[119] = 190
283.42/200.09	s SATISFIABLE
283.42/200.09	v <instantiation>
283.42/200.09	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>
283.42/200.09	v     <values>1 137 41 130 26 197 143 111 92 164 134 180 135 0 29 129 57 142 187 82 114 105 14 24 91 113 13 83 65 63 104 97 185 42 161 188 124 49 106 95 72 90 89 94 189 32 9 115 133 183 167 79 11 100 23 53 35 64 172 87 58 5 171 147 98 139 166 99 126 156 96 169 181 36 123 101 25 144 120 152 12 112 131 195 191 30 20 192 6 160 75 146 162 103 18 50 70 74 2 179 69 61 77 163 154 39 148 33 149 3 19 122 128 78 159 109 125 168 173 190</values>
283.42/200.09	v </instantiation>
283.42/200.09	c (4,0) Show results End
283.42/200.09	c (4,0) Heap : 164 MiB used (max 3925 MiB), NonHeap : 18 MiB used (max 0 MiB)
283.42/200.09	c (4,0) 4,4,STOP-AFTER(ALL)
283.42/200.09	c END-Prog: Sat Sep 14 05:36:40 CEST 2019

Verifier Data 

OK

Watcher Data 

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

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

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

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

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

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


[startup+0.106744 s]*
/proc/loadavg: 1.99 2.75 4.46 3/217 24478
/proc/meminfo: memFree=31369228/32770624 swapFree=67004140/67108860
[pid=24456] ppid=24453 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/24456/stat : 24456 (scop.sh) S 24453 24456 21590 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 419443538 115843072 349 33554432000 4194304 5098028 140721633376256 140721633373512 139901835190908 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 19578880 140721633379108 140721633379436 140721633379436 140721633382349 0
/proc/24456/statm: 28282 349 296 221 0 87 0
[pid=24459] ppid=24456 vsize=27314120 memory=110360 CPUtime=0.12 cores=0-7
/proc/24459/stat : 24459 (java) S 24456 24456 21590 0 -1 1077944320 6653 0 0 0 9 3 0 0 20 0 20 0 419443539 27969658880 27590 33554432000 4194304 4196468 140730634502704 140730634485248 140176361438967 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 8286208 140730634506986 140730634507414 140730634507414 140730634510287 0
/proc/24459/statm: 6828530 27590 2814 1 0 6790935 0
[pid=24459/tid=24460] ppid=24456 vsize=27314120 memory=4134930498285298233 CPUtime=0.09 cores=0-7
/proc/24459/task/24460/stat : 24460 (java) R 24456 24456 21590 0 -1 4202560 4715 0 0 0 7 2 0 0 20 0 20 0 419443539 27969658880 27631 33554432000 4194304 4196468 140730634502704 140176333244448 140176353676094 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8286208 140730634506986 140730634507414 140730634507414 140730634510287 0
[pid=24459/tid=24461] ppid=24456 vsize=27314120 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/24459/task/24461/stat : 24461 (java) S 24456 24456 21590 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419443541 27969658880 27631 33554432000 4194304 4196468 140730634502704 140176365681424 140176361449173 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8286208 140730634506986 140730634507414 140730634507414 140730634510287 0
[pid=24459/tid=24462] ppid=24456 vsize=27314120 memory=140604964009600 CPUtime=0 cores=0-7
/proc/24459/task/24462/stat : 24462 (java) S 24456 24456 21590 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419443541 27969658880 27631 33554432000 4194304 4196468 140730634502704 140175783656336 140176361449173 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8286208 140730634506986 140730634507414 140730634507414 140730634510287 0
[pid=24459/tid=24463] ppid=24456 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24459/task/24463/stat : 24463 (java) S 24456 24456 21590 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419443541 27969658880 27631 33554432000 4194304 4196468 140730634502704 140175782603792 140176361449173 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8286208 140730634506986 140730634507414 140730634507414 140730634510287 0
[pid=24459/tid=24464] ppid=24456 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24459/task/24464/stat : 24464 (java) S 24456 24456 21590 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419443541 27969658880 27631 33554432000 4194304 4196468 140730634502704 140175781551248 140176361449173 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8286208 140730634506986 140730634507414 140730634507414 140730634510287 0
[pid=24459/tid=24465] ppid=24456 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24459/task/24465/stat : 24465 (java) S 24456 24456 21590 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419443541 27969658880 27631 33554432000 4194304 4196468 140730634502704 140175780497680 140176361449173 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8286208 140730634506986 140730634507414 140730634507414 140730634510287 0
[pid=24459/tid=24466] ppid=24456 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/24459/task/24466/stat : 24466 (java) S 24456 24456 21590 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419443541 27969658880 27631 33554432000 4194304 4196468 140730634502704 140175779445136 140176361449173 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8286208 140730634506986 140730634507414 140730634507414 140730634510287 0
[pid=24459/tid=24467] ppid=24456 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24459/task/24467/stat : 24467 (java) S 24456 24456 21590 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419443541 27969658880 27631 33554432000 4194304 4196468 140730634502704 140175778392592 140176361449173 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8286208 140730634506986 140730634507414 140730634507414 140730634510287 0
[pid=24459/tid=24468] ppid=24456 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24459/task/24468/stat : 24468 (java) S 24456 24456 21590 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419443541 27969658880 27631 33554432000 4194304 4196468 140730634502704 140175777340048 140176361449173 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8286208 140730634506986 140730634507414 140730634507414 140730634510287 0
[pid=24459/tid=24469] ppid=24456 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24459/task/24469/stat : 24469 (java) S 24456 24456 21590 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419443543 27969658880 27631 33554432000 4194304 4196468 140730634502704 140175352793584 140176361450114 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8286208 140730634506986 140730634507414 140730634507414 140730634510287 0
[pid=24459/tid=24470] ppid=24456 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24459/task/24470/stat : 24470 (java) S 24456 24456 21590 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 419443543 27969658880 27631 33554432000 4194304 4196468 140730634502704 140174310761888 140176361449173 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8286208 140730634506986 140730634507414 140730634507414 140730634510287 0
[pid=24459/tid=24471] ppid=24456 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24459/task/24471/stat : 24471 (java) S 24456 24456 21590 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419443544 27969658880 27631 33554432000 4194304 4196468 140730634502704 140174042326512 140176361449173 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8286208 140730634506986 140730634507414 140730634507414 140730634510287 0
[pid=24459/tid=24472] ppid=24456 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24459/task/24472/stat : 24472 (java) S 24456 24456 21590 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419443546 27969658880 27631 33554432000 4194304 4196468 140730634502704 140173667818192 140176361457563 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8286208 140730634506986 140730634507414 140730634507414 140730634510287 0
[pid=24459/tid=24473] ppid=24456 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24459/task/24473/stat : 24473 (java) S 24456 24456 21590 0 -1 1077944384 292 0 0 0 0 0 0 0 20 0 20 0 419443546 27969658880 27631 33554432000 4194304 4196468 140730634502704 140175351740400 140176361450114 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8286208 140730634506986 140730634507414 140730634507414 140730634510287 0
[pid=24459/tid=24474] ppid=24456 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24459/task/24474/stat : 24474 (java) R 24456 24456 21590 0 -1 4202560 28 0 0 0 0 0 0 0 20 0 20 0 419443546 27969658880 27631 33554432000 4194304 4196468 140730634502704 140175350687856 140176346202108 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8286208 140730634506986 140730634507414 140730634507414 140730634510287 0
[pid=24459/tid=24475] ppid=24456 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24459/task/24475/stat : 24475 (java) S 24456 24456 21590 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 419443546 27969658880 27631 33554432000 4194304 4196468 140730634502704 140175349635312 140176361450114 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8286208 140730634506986 140730634507414 140730634507414 140730634510287 0
[pid=24459/tid=24476] ppid=24456 vsize=27314120 memory=0 CPUtime=0.01 cores=0-7
/proc/24459/task/24476/stat : 24476 (java) R 24456 24456 21590 0 -1 4202560 324 0 0 0 1 0 0 0 20 0 20 0 419443546 27969658880 27631 33554432000 4194304 4196468 140730634502704 140175348582768 140176345601263 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8286208 140730634506986 140730634507414 140730634507414 140730634510287 0
[pid=24459/tid=24477] ppid=24456 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24459/task/24477/stat : 24477 (java) S 24456 24456 21590 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419443546 27969658880 27631 33554432000 4194304 4196468 140730634502704 140173169912544 140176361449173 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8286208 140730634506986 140730634507414 140730634507414 140730634510287 0
[pid=24459/tid=24478] ppid=24456 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/24459/task/24478/stat : 24478 (java) S 24456 24456 21590 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419443547 27969658880 27631 33554432000 4194304 4196468 140730634502704 140175347530672 140176361450114 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8286208 140730634506986 140730634507414 140730634507414 140730634510287 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 111756 KiB

[startup+0.210741 s]*
/proc/loadavg: 1.99 2.75 4.46 3/217 24478
/proc/meminfo: memFree=31348820/32770624 swapFree=67004140/67108860
[pid=24456] ppid=24453 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/24456/stat : 24456 (scop.sh) S 24453 24456 21590 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 419443538 115843072 349 33554432000 4194304 5098028 140721633376256 140721633373512 139901835190908 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 19578880 140721633379108 140721633379436 140721633379436 140721633382349 0
/proc/24456/statm: 28282 349 296 221 0 87 0
[pid=24459] ppid=24456 vsize=27314120 memory=126904 CPUtime=0.24 cores=0-7
/proc/24459/stat : 24459 (java) S 24456 24456 21590 0 -1 1077944320 12119 0 0 0 20 4 0 0 20 0 20 0 419443539 27969658880 31726 33554432000 4194304 4196468 140730634502704 140730634485248 140176361438967 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 8286208 140730634506986 140730634507414 140730634507414 140730634510287 0
/proc/24459/statm: 6828530 31726 2935 1 0 6790935 0
[pid=24459/tid=24460] ppid=24456 vsize=27314120 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/24459/task/24460/stat : 24460 (java) R 24456 24456 21590 0 -1 4202560 9848 0 0 0 16 3 0 0 20 0 20 0 419443539 27969658880 31726 33554432000 4194304 4196468 140730634502704 140176333228672 140176341714856 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8286208 140730634506986 140730634507414 140730634507414 140730634510287 0
[pid=24459/tid=24461] ppid=24456 vsize=27314120 memory=331 CPUtime=0 cores=0-7
/proc/24459/task/24461/stat : 24461 (java) S 24456 24456 21590 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419443541 27969658880 31726 33554432000 4194304 4196468 140730634502704 140176365681424 140176361449173 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8286208 140730634506986 140730634507414 140730634507414 140730634510287 0
[pid=24459/tid=24462] ppid=24456 vsize=27314120 memory=3616592885391226528 CPUtime=0 cores=0-7
/proc/24459/task/24462/stat : 24462 (java) S 24456 24456 21590 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419443541 27969658880 31726 33554432000 4194304 4196468 140730634502704 140175783656336 140176361449173 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8286208 140730634506986 140730634507414 140730634507414 140730634510287 0
[pid=24459/tid=24463] ppid=24456 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/24459/task/24463/stat : 24463 (java) S 24456 24456 21590 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419443541 27969658880 31726 33554432000 4194304 4196468 140730634502704 140175782603792 140176361449173 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8286208 140730634506986 140730634507414 140730634507414 140730634510287 0
[pid=24459/tid=24464] ppid=24456 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24459/task/24464/stat : 24464 (java) S 24456 24456 21590 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419443541 27969658880 31726 33554432000 4194304 4196468 140730634502704 140175781551248 140176361449173 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8286208 140730634506986 140730634507414 140730634507414 140730634510287 0
[pid=24459/tid=24465] ppid=24456 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24459/task/24465/stat : 24465 (java) S 24456 24456 21590 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419443541 27969658880 31726 33554432000 4194304 4196468 140730634502704 140175780497680 140176361449173 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8286208 140730634506986 140730634507414 140730634507414 140730634510287 0
[pid=24459/tid=24466] ppid=24456 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/24459/task/24466/stat : 24466 (java) S 24456 24456 21590 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419443541 27969658880 31726 33554432000 4194304 4196468 140730634502704 140175779445136 140176361449173 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8286208 140730634506986 140730634507414 140730634507414 140730634510287 0
[pid=24459/tid=24467] ppid=24456 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24459/task/24467/stat : 24467 (java) S 24456 24456 21590 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419443541 27969658880 31726 33554432000 4194304 4196468 140730634502704 140175778392592 140176361449173 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8286208 140730634506986 140730634507414 140730634507414 140730634510287 0
[pid=24459/tid=24468] ppid=24456 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24459/task/24468/stat : 24468 (java) S 24456 24456 21590 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419443541 27969658880 31726 33554432000 4194304 4196468 140730634502704 140175777340048 140176361449173 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8286208 140730634506986 140730634507414 140730634507414 140730634510287 0
[pid=24459/tid=24469] ppid=24456 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24459/task/24469/stat : 24469 (java) S 24456 24456 21590 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419443543 27969658880 31726 33554432000 4194304 4196468 140730634502704 140175352793584 140176361450114 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8286208 140730634506986 140730634507414 140730634507414 140730634510287 0
[pid=24459/tid=24470] ppid=24456 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24459/task/24470/stat : 24470 (java) S 24456 24456 21590 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 419443543 27969658880 31726 33554432000 4194304 4196468 140730634502704 140174310761888 140176361449173 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8286208 140730634506986 140730634507414 140730634507414 140730634510287 0
[pid=24459/tid=24471] ppid=24456 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24459/task/24471/stat : 24471 (java) S 24456 24456 21590 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419443544 27969658880 31726 33554432000 4194304 4196468 140730634502704 140174042326512 140176361449173 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8286208 140730634506986 140730634507414 140730634507414 140730634510287 0
[pid=24459/tid=24472] ppid=24456 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24459/task/24472/stat : 24472 (java) S 24456 24456 21590 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419443546 27969658880 31726 33554432000 4194304 4196468 140730634502704 140173667818192 140176361457563 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8286208 140730634506986 140730634507414 140730634507414 140730634510287 0
[pid=24459/tid=24473] ppid=24456 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24459/task/24473/stat : 24473 (java) S 24456 24456 21590 0 -1 1077944384 305 0 0 0 0 0 0 0 20 0 20 0 419443546 27969658880 31726 33554432000 4194304 4196468 140730634502704 140175351740400 140176361450114 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8286208 140730634506986 140730634507414 140730634507414 140730634510287 0
[pid=24459/tid=24474] ppid=24456 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24459/task/24474/stat : 24474 (java) S 24456 24456 21590 0 -1 1077944384 172 0 0 0 0 0 0 0 20 0 20 0 419443546 27969658880 31726 33554432000 4194304 4196468 140730634502704 140175350687856 140176361450114 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8286208 140730634506986 140730634507414 140730634507414 140730634510287 0
[pid=24459/tid=24475] ppid=24456 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/24459/task/24475/stat : 24475 (java) S 24456 24456 21590 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 419443546 27969658880 31726 33554432000 4194304 4196468 140730634502704 140175349635312 140176361450114 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8286208 140730634506986 140730634507414 140730634507414 140730634510287 0
[pid=24459/tid=24476] ppid=24456 vsize=27314120 memory=-1 CPUtime=0.02 cores=0-7
/proc/24459/task/24476/stat : 24476 (java) S 24456 24456 21590 0 -1 1077944384 447 0 0 0 2 0 0 0 20 0 20 0 419443546 27969658880 31726 33554432000 4194304 4196468 140730634502704 140175348582768 140176361450114 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8286208 140730634506986 140730634507414 140730634507414 140730634510287 0
[pid=24459/tid=24477] ppid=24456 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24459/task/24477/stat : 24477 (java) S 24456 24456 21590 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419443546 27969658880 31726 33554432000 4194304 4196468 140730634502704 140173169912544 140176361449173 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8286208 140730634506986 140730634507414 140730634507414 140730634510287 0
[pid=24459/tid=24478] ppid=24456 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/24459/task/24478/stat : 24478 (java) S 24456 24456 21590 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419443547 27969658880 31726 33554432000 4194304 4196468 140730634502704 140175347530672 140176361450114 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8286208 140730634506986 140730634507414 140730634507414 140730634510287 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 128300 KiB

[startup+0.310589 s]*
/proc/loadavg: 1.99 2.75 4.46 3/217 24478
/proc/meminfo: memFree=31346004/32770624 swapFree=67004140/67108860
[pid=24456] ppid=24453 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/24456/stat : 24456 (scop.sh) S 24453 24456 21590 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 419443538 115843072 349 33554432000 4194304 5098028 140721633376256 140721633373512 139901835190908 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 19578880 140721633379108 140721633379436 140721633379436 140721633382349 0
/proc/24456/statm: 28282 349 296 221 0 87 0
[pid=24459] ppid=24456 vsize=27314120 memory=130512 CPUtime=0.42 cores=0-7
/proc/24459/stat : 24459 (java) S 24456 24456 21590 0 -1 1077944320 12477 0 0 0 37 5 0 0 20 0 20 0 419443539 27969658880 32628 33554432000 4194304 4196468 140730634502704 140730634485248 140176361438967 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 8286208 140730634506986 140730634507414 140730634507414 140730634510287 0
/proc/24459/statm: 6828530 32628 3027 1 0 6790935 0
[pid=24459/tid=24460] ppid=24456 vsize=27314120 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/24459/task/24460/stat : 24460 (java) R 24456 24456 21590 0 -1 4202560 10035 0 0 0 26 3 0 0 20 0 20 0 419443539 27969658880 32628 33554432000 4194304 4196468 140730634502704 140176333229616 140176341714681 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8286208 140730634506986 140730634507414 140730634507414 140730634510287 0
[pid=24459/tid=24461] ppid=24456 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24459/task/24461/stat : 24461 (java) S 24456 24456 21590 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419443541 27969658880 32628 33554432000 4194304 4196468 140730634502704 140176365681424 140176361449173 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8286208 140730634506986 140730634507414 140730634507414 140730634510287 0
[pid=24459/tid=24462] ppid=24456 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24459/task/24462/stat : 24462 (java) S 24456 24456 21590 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419443541 27969658880 32628 33554432000 4194304 4196468 140730634502704 140175783656336 140176361449173 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8286208 140730634506986 140730634507414 140730634507414 140730634510287 0
[pid=24459/tid=24463] ppid=24456 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24459/task/24463/stat : 24463 (java) S 24456 24456 21590 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419443541 27969658880 32628 33554432000 4194304 4196468 140730634502704 140175782603792 140176361449173 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8286208 140730634506986 140730634507414 140730634507414 140730634510287 0
[pid=24459/tid=24464] ppid=24456 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24459/task/24464/stat : 24464 (java) S 24456 24456 21590 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419443541 27969658880 32628 33554432000 4194304 4196468 140730634502704 140175781551248 140176361449173 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8286208 140730634506986 140730634507414 140730634507414 140730634510287 0
[pid=24459/tid=24465] ppid=24456 vsize=27314120 memory=2244 CPUtime=0 cores=0-7
/proc/24459/task/24465/stat : 24465 (java) S 24456 24456 21590 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419443541 27969658880 32628 33554432000 4194304 4196468 140730634502704 140175780497680 140176361449173 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8286208 140730634506986 140730634507414 140730634507414 140730634510287 0
[pid=24459/tid=24466] ppid=24456 vsize=27314120 memory=140604814226351 CPUtime=0 cores=0-7
/proc/24459/task/24466/stat : 24466 (java) S 24456 24456 21590 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419443541 27969658880 32628 33554432000 4194304 4196468 140730634502704 140175779445136 140176361449173 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8286208 140730634506986 140730634507414 140730634507414 140730634510287 0
[pid=24459/tid=24467] ppid=24456 vsize=27314120 memory=140604814228656 CPUtime=0 cores=0-7
/proc/24459/task/24467/stat : 24467 (java) S 24456 24456 21590 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419443541 27969658880 32628 33554432000 4194304 4196468 140730634502704 140175778392592 140176361449173 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8286208 140730634506986 140730634507414 140730634507414 140730634510287 0
[pid=24459/tid=24468] ppid=24456 vsize=27314120 memory=140604814230960 CPUtime=0 cores=0-7
/proc/24459/task/24468/stat : 24468 (java) S 24456 24456 21590 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419443541 27969658880 32628 33554432000 4194304 4196468 140730634502704 140175777340048 140176361449173 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8286208 140730634506986 140730634507414 140730634507414 140730634510287 0
[pid=24459/tid=24469] ppid=24456 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24459/task/24469/stat : 24469 (java) S 24456 24456 21590 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419443543 27969658880 32628 33554432000 4194304 4196468 140730634502704 140175352793584 140176361450114 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8286208 140730634506986 140730634507414 140730634507414 140730634510287 0
[pid=24459/tid=24470] ppid=24456 vsize=27314120 memory=281209628468880 CPUtime=0 cores=0-7
/proc/24459/task/24470/stat : 24470 (java) S 24456 24456 21590 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 419443543 27969658880 32628 33554432000 4194304 4196468 140730634502704 140174310761888 140176361449173 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8286208 140730634506986 140730634507414 140730634507414 140730634510287 0
[pid=24459/tid=24471] ppid=24456 vsize=27314120 memory=281209628475792 CPUtime=0 cores=0-7
/proc/24459/task/24471/stat : 24471 (java) S 24456 24456 21590 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419443544 27969658880 32628 33554432000 4194304 4196468 140730634502704 140174042326512 140176361449173 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8286208 140730634506986 140730634507414 140730634507414 140730634510287 0
[pid=24459/tid=24472] ppid=24456 vsize=27314120 memory=281209628417072 CPUtime=0 cores=0-7
/proc/24459/task/24472/stat : 24472 (java) S 24456 24456 21590 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419443546 27969658880 32628 33554432000 4194304 4196468 140730634502704 140173667818192 140176361457563 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8286208 140730634506986 140730634507414 140730634507414 140730634510287 0
[pid=24459/tid=24473] ppid=24456 vsize=27314120 memory=281209628489616 CPUtime=0.01 cores=0-7
/proc/24459/task/24473/stat : 24473 (java) S 24456 24456 21590 0 -1 1077944384 388 0 0 0 1 0 0 0 20 0 20 0 419443546 27969658880 32628 33554432000 4194304 4196468 140730634502704 140175351740400 140176361450114 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8286208 140730634506986 140730634507414 140730634507414 140730634510287 0
[pid=24459/tid=24474] ppid=24456 vsize=27314120 memory=281209628496528 CPUtime=0.01 cores=0-7
/proc/24459/task/24474/stat : 24474 (java) S 24456 24456 21590 0 -1 1077944384 221 0 0 0 1 0 0 0 20 0 20 0 419443546 27969658880 32628 33554432000 4194304 4196468 140730634502704 140175350687856 140176361450114 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8286208 140730634506986 140730634507414 140730634507414 140730634510287 0
[pid=24459/tid=24475] ppid=24456 vsize=27314120 memory=281209628494224 CPUtime=0 cores=0-7
/proc/24459/task/24475/stat : 24475 (java) S 24456 24456 21590 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 419443546 27969658880 32628 33554432000 4194304 4196468 140730634502704 140175349635312 140176361450114 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8286208 140730634506986 140730634507414 140730634507414 140730634510287 0
[pid=24459/tid=24476] ppid=24456 vsize=27314120 memory=281209628510384 CPUtime=0.07 cores=0-7
/proc/24459/task/24476/stat : 24476 (java) S 24456 24456 21590 0 -1 1077944384 469 0 0 0 7 0 0 0 20 0 20 0 419443546 27969658880 32628 33554432000 4194304 4196468 140730634502704 140175348582768 140176361450114 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8286208 140730634506986 140730634507414 140730634507414 140730634510287 0
[pid=24459/tid=24477] ppid=24456 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24459/task/24477/stat : 24477 (java) S 24456 24456 21590 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419443546 27969658880 32628 33554432000 4194304 4196468 140730634502704 140173169912544 140176361449173 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8286208 140730634506986 140730634507414 140730634507414 140730634510287 0
[pid=24459/tid=24478] ppid=24456 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/24459/task/24478/stat : 24478 (java) S 24456 24456 21590 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419443547 27969658880 32628 33554432000 4194304 4196468 140730634502704 140175347530672 140176361450114 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8286208 140730634506986 140730634507414 140730634507414 140730634510287 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 131908 KiB

[startup+0.700977 s]
/proc/loadavg: 1.99 2.75 4.46 2/217 24478
/proc/meminfo: memFree=31325680/32770624 swapFree=67004140/67108860
[pid=24456] ppid=24453 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/24456/stat : 24456 (scop.sh) S 24453 24456 21590 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 419443538 115843072 349 33554432000 4194304 5098028 140721633376256 140721633373512 139901835190908 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 19578880 140721633379108 140721633379436 140721633379436 140721633382349 0
/proc/24456/statm: 28282 349 296 221 0 87 0
[pid=24459] ppid=24456 vsize=27320392 memory=165656 CPUtime=1 cores=0-7
/proc/24459/stat : 24459 (java) S 24456 24456 21590 0 -1 1077944320 20004 0 0 0 93 7 0 0 20 0 20 0 419443539 27976081408 41414 33554432000 4194304 4196468 140730634502704 140730634485248 140176361438967 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 8286208 140730634506986 140730634507414 140730634507414 140730634510287 0
/proc/24459/statm: 6830098 41414 3182 1 0 6791447 0
[pid=24459/tid=24460] ppid=24456 vsize=27320392 memory=281209628868272 CPUtime=0.67 cores=0-7
/proc/24459/task/24460/stat : 24460 (java) R 24456 24456 21590 0 -1 4202560 16985 0 0 0 62 5 0 0 20 0 20 0 419443539 27976081408 41414 33554432000 4194304 4196468 140730634502704 140176333268784 140176361460893 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8286208 140730634506986 140730634507414 140730634507414 140730634510287 0
[pid=24459/tid=24461] ppid=24456 vsize=27320392 memory=140604814435184 CPUtime=0 cores=0-7
/proc/24459/task/24461/stat : 24461 (java) S 24456 24456 21590 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419443541 27976081408 41414 33554432000 4194304 4196468 140730634502704 140176365681424 140176361449173 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8286208 140730634506986 140730634507414 140730634507414 140730634510287 0
[pid=24459/tid=24462] ppid=24456 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/24459/task/24462/stat : 24462 (java) S 24456 24456 21590 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419443541 27976081408 41414 33554432000 4194304 4196468 140730634502704 140175783656336 140176361449173 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8286208 140730634506986 140730634507414 140730634507414 140730634510287 0
[pid=24459/tid=24463] ppid=24456 vsize=27320392 memory=2832 CPUtime=0 cores=0-7
/proc/24459/task/24463/stat : 24463 (java) S 24456 24456 21590 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419443541 27976081408 41414 33554432000 4194304 4196468 140730634502704 140175782603792 140176361449173 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8286208 140730634506986 140730634507414 140730634507414 140730634510287 0

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

[pid=24493/tid=24494] ppid=24456 vsize=8414124 memory=7306085877273613136 CPUtime=0.77 cores=0-7
/proc/24493/task/24494/stat : 24494 (java) S 24456 24456 21590 0 -1 1077944384 16949 0 0 0 72 5 0 0 20 0 24 0 419463016 8616062976 30130 33554432000 4194304 4196468 140733536860768 139678096789408 139678124959445 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33157120 140733536863223 140733536863382 140733536863382 140733536866255 0
[pid=24493/tid=24495] ppid=24456 vsize=8414124 memory=7306085877273613136 CPUtime=0 cores=0-7
/proc/24493/task/24495/stat : 24495 (java) S 24456 24456 21590 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419463018 8616062976 30130 33554432000 4194304 4196468 140733536860768 139678129191440 139678124959445 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33157120 140733536863223 140733536863382 140733536863382 140733536866255 0
[pid=24493/tid=24496] ppid=24456 vsize=8414124 memory=1212 CPUtime=0 cores=0-7
/proc/24493/task/24496/stat : 24496 (java) S 24456 24456 21590 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419463018 8616062976 30130 33554432000 4194304 4196468 140733536860768 139677929360016 139678124959445 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33157120 140733536863223 140733536863382 140733536863382 140733536866255 0
[pid=24493/tid=24497] ppid=24456 vsize=8414124 memory=1036 CPUtime=0 cores=0-7
/proc/24493/task/24497/stat : 24497 (java) S 24456 24456 21590 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419463018 8616062976 30130 33554432000 4194304 4196468 140733536860768 139677928306960 139678124959445 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33157120 140733536863223 140733536863382 140733536863382 140733536866255 0
[pid=24493/tid=24498] ppid=24456 vsize=8414124 memory=14008 CPUtime=0 cores=0-7
/proc/24493/task/24498/stat : 24498 (java) S 24456 24456 21590 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419463018 8616062976 30130 33554432000 4194304 4196468 140733536860768 139677927254416 139678124959445 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33157120 140733536863223 140733536863382 140733536863382 140733536866255 0
[pid=24493/tid=24499] ppid=24456 vsize=8414124 memory=12024 CPUtime=0 cores=0-7
/proc/24493/task/24499/stat : 24499 (java) S 24456 24456 21590 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419463018 8616062976 30130 33554432000 4194304 4196468 140733536860768 139677926202384 139678124959445 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33157120 140733536863223 140733536863382 140733536863382 140733536866255 0
[pid=24493/tid=24500] ppid=24456 vsize=8414124 memory=2116 CPUtime=0 cores=0-7
/proc/24493/task/24500/stat : 24500 (java) S 24456 24456 21590 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419463018 8616062976 30130 33554432000 4194304 4196468 140733536860768 139677925149840 139678124959445 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33157120 140733536863223 140733536863382 140733536863382 140733536866255 0
[pid=24493/tid=24501] ppid=24456 vsize=8414124 memory=21728 CPUtime=0 cores=0-7
/proc/24493/task/24501/stat : 24501 (java) S 24456 24456 21590 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419463018 8616062976 30130 33554432000 4194304 4196468 140733536860768 139677924096784 139678124959445 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33157120 140733536863223 140733536863382 140733536863382 140733536866255 0
[pid=24493/tid=24502] ppid=24456 vsize=8414124 memory=496 CPUtime=0 cores=0-7
/proc/24493/task/24502/stat : 24502 (java) S 24456 24456 21590 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419463018 8616062976 30130 33554432000 4194304 4196468 140733536860768 139677923044240 139678124959445 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33157120 140733536863223 140733536863382 140733536863382 140733536866255 0
[pid=24493/tid=24503] ppid=24456 vsize=8414124 memory=1564 CPUtime=0 cores=0-7
/proc/24493/task/24503/stat : 24503 (java) S 24456 24456 21590 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 419463019 8616062976 30130 33554432000 4194304 4196468 140733536860768 139677218429168 139678124960386 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33157120 140733536863223 140733536863382 140733536863382 140733536866255 0
[pid=24493/tid=24504] ppid=24456 vsize=8414124 memory=928 CPUtime=0 cores=0-7
/proc/24493/task/24504/stat : 24504 (java) S 24456 24456 21590 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 419463020 8616062976 30130 33554432000 4194304 4196468 140733536860768 139676765643936 139678124959445 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33157120 140733536863223 140733536863382 140733536863382 140733536866255 0
[pid=24493/tid=24505] ppid=24456 vsize=8414124 memory=1744 CPUtime=0 cores=0-7
/proc/24493/task/24505/stat : 24505 (java) S 24456 24456 21590 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419463020 8616062976 30130 33554432000 4194304 4196468 140733536860768 139676497208048 139678124959445 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33157120 140733536863223 140733536863382 140733536863382 140733536866255 0
[pid=24493/tid=24506] ppid=24456 vsize=8414124 memory=792 CPUtime=0 cores=0-7
/proc/24493/task/24506/stat : 24506 (java) S 24456 24456 21590 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419463023 8616062976 30130 33554432000 4194304 4196468 140733536860768 139676122699728 139678124967835 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33157120 140733536863223 140733536863382 140733536863382 140733536866255 0
[pid=24493/tid=24507] ppid=24456 vsize=8414124 memory=1440 CPUtime=0.05 cores=0-7
/proc/24493/task/24507/stat : 24507 (java) S 24456 24456 21590 0 -1 1077944384 440 0 0 0 5 0 0 0 20 0 24 0 419463023 8616062976 30130 33554432000 4194304 4196468 140733536860768 139677217377008 139678124960386 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33157120 140733536863223 140733536863382 140733536863382 140733536866255 0
[pid=24493/tid=24508] ppid=24456 vsize=8414124 memory=1984 CPUtime=0.07 cores=0-7
/proc/24493/task/24508/stat : 24508 (java) S 24456 24456 21590 0 -1 1077944384 386 0 0 0 7 0 0 0 20 0 24 0 419463023 8616062976 30130 33554432000 4194304 4196468 140733536860768 139677216324464 139678124960386 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33157120 140733536863223 140733536863382 140733536863382 140733536866255 0
[pid=24493/tid=24509] ppid=24456 vsize=8414124 memory=2376 CPUtime=0.06 cores=0-7
/proc/24493/task/24509/stat : 24509 (java) S 24456 24456 21590 0 -1 1077944384 339 0 0 0 6 0 0 0 20 0 24 0 419463023 8616062976 30130 33554432000 4194304 4196468 140733536860768 139677215271408 139678124960386 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33157120 140733536863223 140733536863382 140733536863382 140733536866255 0
[pid=24493/tid=24510] ppid=24456 vsize=8414124 memory=1768 CPUtime=0.22 cores=0-7
/proc/24493/task/24510/stat : 24510 (java) S 24456 24456 21590 0 -1 1077944384 582 0 0 0 22 0 0 0 20 0 24 0 419463023 8616062976 30130 33554432000 4194304 4196468 140733536860768 139677214218864 139678124960386 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33157120 140733536863223 140733536863382 140733536863382 140733536866255 0
[pid=24493/tid=24511] ppid=24456 vsize=8414124 memory=111628 CPUtime=0 cores=0-7
/proc/24493/task/24511/stat : 24511 (java) S 24456 24456 21590 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419463023 8616062976 30130 33554432000 4194304 4196468 140733536860768 139675624794592 139678124959445 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33157120 140733536863223 140733536863382 140733536863382 140733536866255 0
[pid=24493/tid=24512] ppid=24456 vsize=8414124 memory=804 CPUtime=0 cores=0-7
/proc/24493/task/24512/stat : 24512 (java) S 24456 24456 21590 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419463023 8616062976 30130 33554432000 4194304 4196468 140733536860768 139677213166256 139678124960386 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33157120 140733536863223 140733536863382 140733536863382 140733536866255 0
[pid=24493/tid=24514] ppid=24456 vsize=8414124 memory=1660 CPUtime=0 cores=0-7
/proc/24493/task/24514/stat : 24514 (java) S 24456 24456 21590 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 419463091 8616062976 30130 33554432000 4194304 4196468 140733536860768 139677205132224 139678124973849 0 4 2 25189581 18446744071579417331 0 0 -1 4 0 0 0 0 0 6293624 6294260 33157120 140733536863223 140733536863382 140733536863382 140733536866255 0
[pid=24493/tid=24516] ppid=24456 vsize=8414124 memory=1804 CPUtime=0 cores=0-7
/proc/24493/task/24516/stat : 24516 (java) S 24456 24456 21590 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 24 0 419463092 8616062976 30130 33554432000 4194304 4196468 140733536860768 139675222130704 139678124971165 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 33157120 140733536863223 140733536863382 140733536863382 140733536866255 0
[pid=24493/tid=24517] ppid=24456 vsize=8414124 memory=920 CPUtime=0 cores=0-7
/proc/24493/task/24517/stat : 24517 (java) S 24456 24456 21590 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 24 0 419463092 8616062976 30130 33554432000 4194304 4196468 140733536860768 139674953695376 139678124971165 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 33157120 140733536863223 140733536863382 140733536863382 140733536866255 0
[pid=24493/tid=24518] ppid=24456 vsize=8414124 memory=4736 CPUtime=0 cores=0-7
/proc/24493/task/24518/stat : 24518 (java) S 24456 24456 21590 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419463094 8616062976 30130 33554432000 4194304 4196468 140733536860768 139674685267376 139678124959445 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33157120 140733536863223 140733536863382 140733536863382 140733536866255 0
Current children cumulated CPU time: 281.91 s
Current children cumulated vsize: 12040596 KiB
Current children cumulated memory: 3135980 KiB

[startup+200.001 s]*
/proc/loadavg: 2.35 2.35 3.95 5/218 24526
/proc/meminfo: memFree=31222584/32770624 swapFree=67004140/67108860
[pid=24456] ppid=24453 vsize=113128 memory=1476 CPUtime=268.45 cores=0-7
/proc/24456/stat : 24456 (scop.sh) S 24453 24456 21590 0 -1 4202496 583 109977 0 0 0 0 25446 1399 20 0 1 0 419443538 115843072 369 33554432000 4194304 5098028 140721633376256 140721633373000 139901835190908 0 65536 4100 81923 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 19578880 140721633379108 140721633379436 140721633379436 140721633382349 0
/proc/24456/statm: 28282 369 311 221 0 87 0
[pid=24493] ppid=24456 vsize=8283048 memory=152344 CPUtime=14.97 cores=0-7
/proc/24493/stat : 24493 (java) S 24456 24456 21590 0 -1 1077944320 20901 500022 0 0 159 9 1163 166 20 0 22 0 419463016 8481841152 38086 33554432000 4194304 4196468 140733536860768 140733536843312 139678124949239 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 33157120 140733536863223 140733536863382 140733536863382 140733536866255 0
/proc/24493/statm: 2070762 38086 3229 1 0 2032106 0
[pid=24493/tid=24494] ppid=24456 vsize=8283048 memory=6791534058613427641 CPUtime=14.12 cores=0-7
/proc/24493/task/24494/stat : 24494 (java) R 24456 24456 21590 0 -1 4202560 17084 500022 0 0 78 5 1163 166 20 0 22 0 419463016 8481841152 38086 33554432000 4194304 4196468 140733536860768 139678096785952 139678124970586 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33157120 140733536863223 140733536863382 140733536863382 140733536866255 0
[pid=24493/tid=24495] ppid=24456 vsize=8283048 memory=4872558044660077418 CPUtime=13.29 cores=0-7
/proc/24493/task/24495/stat : 24495 (java) S 24456 24456 21590 0 -1 1077944384 1 500022 0 0 0 0 1163 166 20 0 22 0 419463018 8481841152 38086 33554432000 4194304 4196468 140733536860768 139678129191440 139678124959445 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33157120 140733536863223 140733536863382 140733536863382 140733536866255 0
[pid=24493/tid=24496] ppid=24456 vsize=8283048 memory=21728 CPUtime=13.29 cores=0-7
/proc/24493/task/24496/stat : 24496 (java) S 24456 24456 21590 0 -1 1077944384 2 500022 0 0 0 0 1163 166 20 0 22 0 419463018 8481841152 38086 33554432000 4194304 4196468 140733536860768 139677929360016 139678124959445 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33157120 140733536863223 140733536863382 140733536863382 140733536866255 0
[pid=24493/tid=24497] ppid=24456 vsize=8283048 memory=496 CPUtime=13.29 cores=0-7
/proc/24493/task/24497/stat : 24497 (java) S 24456 24456 21590 0 -1 1077944384 2 500022 0 0 0 0 1163 166 20 0 22 0 419463018 8481841152 38086 33554432000 4194304 4196468 140733536860768 139677928306960 139678124959445 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33157120 140733536863223 140733536863382 140733536863382 140733536866255 0
[pid=24493/tid=24498] ppid=24456 vsize=8283048 memory=1564 CPUtime=13.29 cores=0-7
/proc/24493/task/24498/stat : 24498 (java) S 24456 24456 21590 0 -1 1077944384 1 500022 0 0 0 0 1163 166 20 0 22 0 419463018 8481841152 38086 33554432000 4194304 4196468 140733536860768 139677927254416 139678124959445 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33157120 140733536863223 140733536863382 140733536863382 140733536866255 0
[pid=24493/tid=24499] ppid=24456 vsize=8283048 memory=928 CPUtime=13.29 cores=0-7
/proc/24493/task/24499/stat : 24499 (java) S 24456 24456 21590 0 -1 1077944384 1 500022 0 0 0 0 1163 166 20 0 22 0 419463018 8481841152 38086 33554432000 4194304 4196468 140733536860768 139677926202384 139678124959445 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33157120 140733536863223 140733536863382 140733536863382 140733536866255 0
[pid=24493/tid=24500] ppid=24456 vsize=8283048 memory=1744 CPUtime=13.29 cores=0-7
/proc/24493/task/24500/stat : 24500 (java) S 24456 24456 21590 0 -1 1077944384 3 500022 0 0 0 0 1163 166 20 0 22 0 419463018 8481841152 38086 33554432000 4194304 4196468 140733536860768 139677925149840 139678124959445 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33157120 140733536863223 140733536863382 140733536863382 140733536866255 0
[pid=24493/tid=24501] ppid=24456 vsize=8283048 memory=792 CPUtime=13.29 cores=0-7
/proc/24493/task/24501/stat : 24501 (java) S 24456 24456 21590 0 -1 1077944384 1 500022 0 0 0 0 1163 166 20 0 22 0 419463018 8481841152 38086 33554432000 4194304 4196468 140733536860768 139677924096784 139678124959445 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33157120 140733536863223 140733536863382 140733536863382 140733536866255 0
[pid=24493/tid=24502] ppid=24456 vsize=8283048 memory=1440 CPUtime=13.29 cores=0-7
/proc/24493/task/24502/stat : 24502 (java) S 24456 24456 21590 0 -1 1077944384 1 500022 0 0 0 0 1163 166 20 0 22 0 419463018 8481841152 38086 33554432000 4194304 4196468 140733536860768 139677923044240 139678124959445 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33157120 140733536863223 140733536863382 140733536863382 140733536866255 0
[pid=24493/tid=24503] ppid=24456 vsize=8283048 memory=1984 CPUtime=13.29 cores=0-7
/proc/24493/task/24503/stat : 24503 (java) S 24456 24456 21590 0 -1 1077944384 7 500022 0 0 0 0 1163 166 20 0 22 0 419463019 8481841152 38086 33554432000 4194304 4196468 140733536860768 139677218429168 139678124960386 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33157120 140733536863223 140733536863382 140733536863382 140733536866255 0
[pid=24493/tid=24504] ppid=24456 vsize=8283048 memory=7686721470284405143 CPUtime=13.29 cores=0-7
/proc/24493/task/24504/stat : 24504 (java) S 24456 24456 21590 0 -1 1077944384 13 500022 0 0 0 0 1163 166 20 0 22 0 419463020 8481841152 38086 33554432000 4194304 4196468 140733536860768 139676765643936 139678124959445 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33157120 140733536863223 140733536863382 140733536863382 140733536866255 0
[pid=24493/tid=24505] ppid=24456 vsize=8283048 memory=2832 CPUtime=13.29 cores=0-7
/proc/24493/task/24505/stat : 24505 (java) S 24456 24456 21590 0 -1 1077944384 1 500022 0 0 0 0 1163 166 20 0 22 0 419463020 8481841152 38086 33554432000 4194304 4196468 140733536860768 139676497208048 139678124959445 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33157120 140733536863223 140733536863382 140733536863382 140733536866255 0
[pid=24493/tid=24506] ppid=24456 vsize=8283048 memory=1212 CPUtime=13.29 cores=0-7
/proc/24493/task/24506/stat : 24506 (java) S 24456 24456 21590 0 -1 1077944384 1 500022 0 0 0 0 1163 166 20 0 22 0 419463023 8481841152 38086 33554432000 4194304 4196468 140733536860768 139676122699728 139678124967835 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33157120 140733536863223 140733536863382 140733536863382 140733536866255 0
[pid=24493/tid=24507] ppid=24456 vsize=8283048 memory=1036 CPUtime=13.39 cores=0-7
/proc/24493/task/24507/stat : 24507 (java) R 24456 24456 21590 0 -1 4202560 655 500022 0 0 10 0 1163 166 20 0 22 0 419463023 8481841152 38086 33554432000 4194304 4196468 140733536860768 139677217368464 139678110630678 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 33157120 140733536863223 140733536863382 140733536863382 140733536866255 0
[pid=24493/tid=24508] ppid=24456 vsize=8283048 memory=14008 CPUtime=13.45 cores=0-7
/proc/24493/task/24508/stat : 24508 (java) R 24456 24456 21590 0 -1 4202560 482 500022 0 0 16 0 1163 166 20 0 22 0 419463023 8481841152 38086 33554432000 4194304 4196468 140733536860768 139677216322864 139678110977217 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33157120 140733536863223 140733536863382 140733536863382 140733536866255 0
[pid=24493/tid=24509] ppid=24456 vsize=8283048 memory=12024 CPUtime=13.42 cores=0-7
/proc/24493/task/24509/stat : 24509 (java) R 24456 24456 21590 0 -1 4202560 441 500022 0 0 13 0 1163 166 20 0 22 0 419463023 8481841152 38086 33554432000 4194304 4196468 140733536860768 139677215257360 139678102696768 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33157120 140733536863223 140733536863382 140733536863382 140733536866255 0
[pid=24493/tid=24510] ppid=24456 vsize=8283048 memory=2116 CPUtime=13.57 cores=0-7
/proc/24493/task/24510/stat : 24510 (java) S 24456 24456 21590 0 -1 1077944384 768 500022 0 0 28 0 1163 166 20 0 22 0 419463023 8481841152 38086 33554432000 4194304 4196468 140733536860768 139677214218864 139678124960386 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33157120 140733536863223 140733536863382 140733536863382 140733536866255 0
[pid=24493/tid=24511] ppid=24456 vsize=8283048 memory=21728 CPUtime=13.29 cores=0-7
/proc/24493/task/24511/stat : 24511 (java) S 24456 24456 21590 0 -1 1077944384 3 500022 0 0 0 0 1163 166 20 0 22 0 419463023 8481841152 38086 33554432000 4194304 4196468 140733536860768 139675624794592 139678124959445 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33157120 140733536863223 140733536863382 140733536863382 140733536866255 0
[pid=24493/tid=24512] ppid=24456 vsize=8283048 memory=496 CPUtime=13.29 cores=0-7
/proc/24493/task/24512/stat : 24512 (java) S 24456 24456 21590 0 -1 1077944384 3 500022 0 0 0 0 1163 166 20 0 22 0 419463023 8481841152 38086 33554432000 4194304 4196468 140733536860768 139677213166256 139678124960386 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33157120 140733536863223 140733536863382 140733536863382 140733536866255 0
[pid=24493/tid=24514] ppid=24456 vsize=8283048 memory=1564 CPUtime=13.29 cores=0-7
/proc/24493/task/24514/stat : 24514 (java) S 24456 24456 21590 0 -1 1077944384 23 500022 0 0 0 0 1163 166 20 0 22 0 419463091 8481841152 38086 33554432000 4194304 4196468 140733536860768 139677205131408 139678124960386 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33157120 140733536863223 140733536863382 140733536863382 140733536866255 0
[pid=24493/tid=24518] ppid=24456 vsize=8283048 memory=928 CPUtime=13.29 cores=0-7
/proc/24493/task/24518/stat : 24518 (java) S 24456 24456 21590 0 -1 1077944384 10 500022 0 0 0 0 1163 166 20 0 22 0 419463094 8481841152 38086 33554432000 4194304 4196468 140733536860768 139674685269168 139678124960386 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33157120 140733536863223 140733536863382 140733536863382 140733536866255 0
Current children cumulated CPU time: 283.42 s
Current children cumulated vsize: 8396176 KiB
Current children cumulated memory: 153820 KiB

[startup+200.11 s]
/proc/loadavg: 2.35 2.35 3.95 5/218 24526
/proc/meminfo: memFree=31222584/32770624 swapFree=67004140/67108860
[pid=24456] ppid=24453 vsize=113128 memory=1476 CPUtime=268.45 cores=0-7
/proc/24456/stat : 24456 (scop.sh) S 24453 24456 21590 0 -1 4202496 583 109977 0 0 0 0 25446 1399 20 0 1 0 419443538 115843072 369 33554432000 4194304 5098028 140721633376256 140721633373000 139901835190908 0 65536 4100 81923 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 19578880 140721633379108 140721633379436 140721633379436 140721633382349 0
/proc/24456/statm: 28282 369 311 221 0 87 0
[pid=24493] ppid=24456 vsize=8283048 memory=157744 CPUtime=15.16 cores=0-7
/proc/24493/stat : 24493 (java) S 24456 24456 21590 0 -1 1077944320 22176 500022 0 0 176 11 1163 166 20 0 22 0 419463016 8481841152 39436 33554432000 4194304 4196468 140733536860768 140733536843312 139678124949239 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 33157120 140733536863223 140733536863382 140733536863382 140733536866255 0
/proc/24493/statm: 2070762 39436 3231 1 0 2032106 0
[pid=24493/tid=24494] ppid=24456 vsize=8283048 memory=1036 CPUtime=14.22 cores=0-7
/proc/24493/task/24494/stat : 24494 (java) R 24456 24456 21590 0 -1 4202560 18234 500022 0 0 86 7 1163 166 20 0 22 0 419463016 8481841152 39436 33554432000 4194304 4196468 140733536860768 139678096775968 139678117634871 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33157120 140733536863223 140733536863382 140733536863382 140733536866255 0
[pid=24493/tid=24495] ppid=24456 vsize=8283048 memory=146300 CPUtime=13.29 cores=0-7
/proc/24493/task/24495/stat : 24495 (java) S 24456 24456 21590 0 -1 1077944384 1 500022 0 0 0 0 1163 166 20 0 22 0 419463018 8481841152 39436 33554432000 4194304 4196468 140733536860768 139678129191440 139678124959445 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33157120 140733536863223 140733536863382 140733536863382 140733536866255 0
[pid=24493/tid=24496] ppid=24456 vsize=8283048 memory=1476 CPUtime=13.29 cores=0-7
/proc/24493/task/24496/stat : 24496 (java) S 24456 24456 21590 0 -1 1077944384 2 500022 0 0 0 0 1163 166 20 0 22 0 419463018 8481841152 39436 33554432000 4194304 4196468 140733536860768 139677929360016 139678124959445 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33157120 140733536863223 140733536863382 140733536863382 140733536866255 0
[pid=24493/tid=24497] ppid=24456 vsize=8283048 memory=784 CPUtime=13.29 cores=0-7
/proc/24493/task/24497/stat : 24497 (java) S 24456 24456 21590 0 -1 1077944384 2 500022 0 0 0 0 1163 166 20 0 22 0 419463018 8481841152 39436 33554432000 4194304 4196468 140733536860768 139677928306960 139678124959445 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33157120 140733536863223 140733536863382 140733536863382 140733536866255 0
[pid=24493/tid=24498] ppid=24456 vsize=8283048 memory=40692 CPUtime=13.29 cores=0-7
/proc/24493/task/24498/stat : 24498 (java) S 24456 24456 21590 0 -1 1077944384 1 500022 0 0 0 0 1163 166 20 0 22 0 419463018 8481841152 39436 33554432000 4194304 4196468 140733536860768 139677927254416 139678124959445 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33157120 140733536863223 140733536863382 140733536863382 140733536866255 0
[pid=24493/tid=24499] ppid=24456 vsize=8283048 memory=1540 CPUtime=13.29 cores=0-7
/proc/24493/task/24499/stat : 24499 (java) S 24456 24456 21590 0 -1 1077944384 1 500022 0 0 0 0 1163 166 20 0 22 0 419463018 8481841152 39436 33554432000 4194304 4196468 140733536860768 139677926202384 139678124959445 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33157120 140733536863223 140733536863382 140733536863382 140733536866255 0
[pid=24493/tid=24500] ppid=24456 vsize=8283048 memory=728 CPUtime=13.29 cores=0-7
/proc/24493/task/24500/stat : 24500 (java) S 24456 24456 21590 0 -1 1077944384 3 500022 0 0 0 0 1163 166 20 0 22 0 419463018 8481841152 39436 33554432000 4194304 4196468 140733536860768 139677925149840 139678124959445 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33157120 140733536863223 140733536863382 140733536863382 140733536866255 0
[pid=24493/tid=24501] ppid=24456 vsize=8283048 memory=1616 CPUtime=13.29 cores=0-7
/proc/24493/task/24501/stat : 24501 (java) S 24456 24456 21590 0 -1 1077944384 1 500022 0 0 0 0 1163 166 20 0 22 0 419463018 8481841152 39436 33554432000 4194304 4196468 140733536860768 139677924096784 139678124959445 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33157120 140733536863223 140733536863382 140733536863382 140733536866255 0
[pid=24493/tid=24502] ppid=24456 vsize=8283048 memory=784 CPUtime=13.29 cores=0-7
/proc/24493/task/24502/stat : 24502 (java) S 24456 24456 21590 0 -1 1077944384 1 500022 0 0 0 0 1163 166 20 0 22 0 419463018 8481841152 39436 33554432000 4194304 4196468 140733536860768 139677923044240 139678124959445 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33157120 140733536863223 140733536863382 140733536863382 140733536866255 0
[pid=24493/tid=24503] ppid=24456 vsize=8283048 memory=1476 CPUtime=13.29 cores=0-7
/proc/24493/task/24503/stat : 24503 (java) S 24456 24456 21590 0 -1 1077944384 7 500022 0 0 0 0 1163 166 20 0 22 0 419463019 8481841152 39436 33554432000 4194304 4196468 140733536860768 139677218429168 139678124960386 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33157120 140733536863223 140733536863382 140733536863382 140733536866255 0
[pid=24493/tid=24504] ppid=24456 vsize=8283048 memory=120520 CPUtime=13.29 cores=0-7
/proc/24493/task/24504/stat : 24504 (java) S 24456 24456 21590 0 -1 1077944384 13 500022 0 0 0 0 1163 166 20 0 22 0 419463020 8481841152 39436 33554432000 4194304 4196468 140733536860768 139676765643936 139678124959445 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33157120 140733536863223 140733536863382 140733536863382 140733536866255 0
[pid=24493/tid=24505] ppid=24456 vsize=8283048 memory=1616 CPUtime=13.29 cores=0-7
/proc/24493/task/24505/stat : 24505 (java) S 24456 24456 21590 0 -1 1077944384 1 500022 0 0 0 0 1163 166 20 0 22 0 419463020 8481841152 39436 33554432000 4194304 4196468 140733536860768 139676497208048 139678124959445 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33157120 140733536863223 140733536863382 140733536863382 140733536866255 0
[pid=24493/tid=24506] ppid=24456 vsize=8283048 memory=784 CPUtime=13.29 cores=0-7
/proc/24493/task/24506/stat : 24506 (java) S 24456 24456 21590 0 -1 1077944384 1 500022 0 0 0 0 1163 166 20 0 22 0 419463023 8481841152 39436 33554432000 4194304 4196468 140733536860768 139676122699728 139678124967835 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33157120 140733536863223 140733536863382 140733536863382 140733536866255 0
[pid=24493/tid=24507] ppid=24456 vsize=8283048 memory=5928 CPUtime=13.42 cores=0-7
/proc/24493/task/24507/stat : 24507 (java) S 24456 24456 21590 0 -1 1077944384 666 500022 0 0 13 0 1163 166 20 0 22 0 419463023 8481841152 39436 33554432000 4194304 4196468 140733536860768 139677217377008 139678124960386 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33157120 140733536863223 140733536863382 140733536863382 140733536866255 0
[pid=24493/tid=24508] ppid=24456 vsize=8283048 memory=1056 CPUtime=13.46 cores=0-7
/proc/24493/task/24508/stat : 24508 (java) S 24456 24456 21590 0 -1 1077944384 493 500022 0 0 17 0 1163 166 20 0 22 0 419463023 8481841152 39436 33554432000 4194304 4196468 140733536860768 139677216324464 139678124960386 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33157120 140733536863223 140733536863382 140733536863382 140733536866255 0
[pid=24493/tid=24509] ppid=24456 vsize=8283048 memory=1476 CPUtime=13.42 cores=0-7
/proc/24493/task/24509/stat : 24509 (java) S 24456 24456 21590 0 -1 1077944384 445 500022 0 0 13 0 1163 166 20 0 22 0 419463023 8481841152 39436 33554432000 4194304 4196468 140733536860768 139677215271408 139678124960386 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33157120 140733536863223 140733536863382 140733536863382 140733536866255 0
[pid=24493/tid=24510] ppid=24456 vsize=8283048 memory=120520 CPUtime=13.61 cores=0-7
/proc/24493/task/24510/stat : 24510 (java) S 24456 24456 21590 0 -1 1077944384 866 500022 0 0 32 0 1163 166 20 0 22 0 419463023 8481841152 39436 33554432000 4194304 4196468 140733536860768 139677214218864 139678124960386 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33157120 140733536863223 140733536863382 140733536863382 140733536866255 0
[pid=24493/tid=24511] ppid=24456 vsize=8283048 memory=1396 CPUtime=13.29 cores=0-7
/proc/24493/task/24511/stat : 24511 (java) S 24456 24456 21590 0 -1 1077944384 3 500022 0 0 0 0 1163 166 20 0 22 0 419463023 8481841152 39436 33554432000 4194304 4196468 140733536860768 139675624794592 139678124959445 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33157120 140733536863223 140733536863382 140733536863382 140733536866255 0
[pid=24493/tid=24512] ppid=24456 vsize=8283048 memory=10727932 CPUtime=13.29 cores=0-7
/proc/24493/task/24512/stat : 24512 (java) S 24456 24456 21590 0 -1 1077944384 3 500022 0 0 0 0 1163 166 20 0 22 0 419463023 8481841152 39436 33554432000 4194304 4196468 140733536860768 139677213166256 139678124960386 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33157120 140733536863223 140733536863382 140733536863382 140733536866255 0
[pid=24493/tid=24514] ppid=24456 vsize=8283048 memory=2116 CPUtime=13.29 cores=0-7
/proc/24493/task/24514/stat : 24514 (java) S 24456 24456 21590 0 -1 1077944384 23 500022 0 0 0 0 1163 166 20 0 22 0 419463091 8481841152 39436 33554432000 4194304 4196468 140733536860768 139677205131408 139678124960386 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33157120 140733536863223 140733536863382 140733536863382 140733536866255 0
[pid=24493/tid=24518] ppid=24456 vsize=8283048 memory=21728 CPUtime=13.29 cores=0-7
/proc/24493/task/24518/stat : 24518 (java) S 24456 24456 21590 0 -1 1077944384 10 500022 0 0 0 0 1163 166 20 0 22 0 419463094 8481841152 39436 33554432000 4194304 4196468 140733536860768 139674685269168 139678124960386 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33157120 140733536863223 140733536863382 140733536863382 140733536866255 0
Current children cumulated CPU time: 283.61 s
Current children cumulated vsize: 8396176 KiB
Current children cumulated memory: 159220 KiB

Child status: 0
Real time (s): 200.125
CPU time (s): 283.658
CPU user time (s): 267.865
CPU system time (s): 15.7934
CPU usage (%): 141.741
Max. virtual memory (cumulated for all children) (KiB): 27443924
Max. memory (cumulated for all children) (KiB): 10729588

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 267.865
system time used= 15.7934
maximum resident set size= 10729784
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 632795
page faults= 0
swaps= 0
block input operations= 8
block output operations= 208352
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 81030
involuntary context switches= 1127


# summary of solver processes directly reported to runsolver:
#   pid: 24456
#   total CPU time (s): 283.658
#   total CPU user time (s): 267.865
#   total CPU system time (s): 15.7934

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.5815 second user time and 2.05614 second system time

The end

Launcher Data 

Begin job on node133 at 2019-09-14 05:33:20
IDJOB=4392605
IDBENCH=131470
IDSOLVER=2839
FILE ID=node133/4392605-1568432039
RUNJOBID= node133-1568426604-21617
PBS_JOBID= 21702289
Free space on /tmp= 59416 MiB

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

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

MD5SUM BENCH= 7f9c41aacca1e0b30cdd7db3c30aaf94
RANDOM SEED=1419309131

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        31467196 kB
MemAvailable:   31898448 kB
Buffers:          198988 kB
Cached:           515828 kB
SwapCached:         3364 kB
Active:           400332 kB
Inactive:         319144 kB
Active(anon):      28608 kB
Inactive(anon):    16056 kB
Active(file):     371724 kB
Inactive(file):   303088 kB
Unevictable:      111224 kB
Mlocked:          111224 kB
SwapTotal:      67108860 kB
SwapFree:       67004140 kB
Dirty:             20612 kB
Writeback:             0 kB
AnonPages:        124000 kB
Mapped:            44132 kB
Shmem:             31516 kB
Slab:             173548 kB
SReclaimable:     144548 kB
SUnreclaim:        29000 kB
KernelStack:        3792 kB
PageTables:         5968 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     498284 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     79872 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      122240 kB
DirectMap2M:    33423360 kB

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