Trace number 4405465

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-09-22)SAT 285.974 203.436

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-1453-serial-file.bin HOME/instance-4405465-1569338895.xml
0.65/0.54	
0.65/0.54	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
0.65/0.54	
0.65/0.57	c BEGIN-Prog: Tue Sep 24 17:27:38 CEST 2019
0.65/0.57	c PID: 1456
0.65/0.57	c IP: 172.20.3.126
0.65/0.57	c HOST: node126.alineos.net
0.65/0.58	c (0,0) Parsing Begin
1.83/1.05	c (0,0) Parsing End
1.83/1.06	c (0,0) CSP: 120 int (0 aux), 0 bool (0 aux), 517 ctr, max domain size 200
1.83/1.06	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.83/1.06	c (0,0) Constraint Name Generate Begin
1.83/1.07	c (0,0) Ctr:HOME/instance-4405465-1569338895.xml,AllDifferent:ExtensionSupport:Var
1.83/1.07	c (0,0) Constraint Name Generate End
1.83/1.07	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.83/1.07	c (0,0) CSP to CSPinCNF Begin
21.03/12.54	c (11,11) translated 52 (10%) constraints
33.63/23.20	c (22,22) translated 104 (20%) constraints
43.67/33.22	c (32,32) translated 156 (30%) constraints
56.77/43.46	c (42,42) translated 207 (40%) constraints
70.75/53.95	c (53,52) translated 259 (50%) constraints
80.81/63.98	c (63,62) translated 311 (60%) constraints
95.28/74.41	c (73,72) translated 362 (70%) constraints
110.61/85.10	c (84,82) translated 414 (80%) constraints
120.73/95.12	c (94,92) translated 466 (90%) constraints
136.75/105.84	c (105,101) translated 517 (100%) constraints
136.96/106.04	c (105,102) ===========================================
137.63/106.68	c (106,102) Hybrid: #OE=103320, #LE=0
137.63/106.68	c (106,102) Hybrid
137.63/106.68	c (106,102) ===========================================
142.88/110.87	c (110,107) translated 197982 (10%) constraints
146.98/114.86	c (114,111) translated 395963 (20%) constraints
156.83/119.56	c (119,114) translated 593944 (30%) constraints
160.75/123.50	c (122,118) translated 791925 (40%) constraints
164.75/127.43	c (126,122) translated 989906 (50%) constraints
168.77/131.38	c (130,126) translated 1187887 (60%) constraints
172.77/135.34	c (134,130) translated 1385868 (70%) constraints
183.00/140.12	c (139,134) translated 1583849 (80%) constraints
186.90/144.10	c (143,138) translated 1781830 (90%) constraints
191.10/148.13	c (147,142) translated 1979811 (100%) constraints
191.10/148.13	c (147,142) CSP to CSPinCNF End
191.10/148.18	c (147,142) CSP: 120 int (0 aux), 103200 bool (103200 aux), 1979811 ctr, max domain size 200
191.10/148.18	c (147,142) Heap : 4795 MiB used (max 21081 MiB), NonHeap : 28 MiB used (max 0 MiB)
191.10/148.18	c (147,142) CSPinCNF Propagation Begin
218.03/160.17	c (159,152) 0 values, 516 unsatisfiable literals, and 1 valid clauses are removed
218.03/160.17	c (159,152) CSPinCNF Propagation End
218.13/160.21	c (159,152) CSP: 120 int (0 aux), 103200 bool (103200 aux), 1979810 ctr, max domain size 200
218.13/160.21	c (159,152) Heap : 6671 MiB used (max 21144 MiB), NonHeap : 29 MiB used (max 0 MiB)
218.72/160.72	c (160,153) Hybrid: #OE=103320, #LE=0
218.72/160.72	c (160,153) Simplify CSPinCNF Begin
227.68/164.50	c (163,156) Simplify CSPinCNF End
227.68/164.55	c (163,156) CSP: 120 int (0 aux), 117480 bool (117480 aux), 1994090 ctr, max domain size 200
227.68/164.55	c (163,156) Heap : 3954 MiB used (max 21111 MiB), NonHeap : 29 MiB used (max 0 MiB)
227.68/164.55	c (163,156) Calculate Precise Domain Begin
227.68/164.55	c (164,156) 0 values are removed by re-calculation
227.68/164.55	c (164,156) Calculate Precise Domain End
227.68/164.59	c (164,156) CSP: 120 int (0 aux), 117480 bool (117480 aux), 1994090 ctr, max domain size 200
227.68/164.59	c (164,156) Heap : 3954 MiB used (max 21111 MiB), NonHeap : 29 MiB used (max 0 MiB)
227.68/164.59	c (164,156) CSPinCNF to SatSolver Begin
249.54/179.41	c (178,170) 199409 (10 %) CSP clauses are encoded (0 SAT variables, 3064888 SAT clauses)
251.98/181.47	c (180,172) 398818 (20 %) CSP clauses are encoded (0 SAT variables, 3264297 SAT clauses)
253.99/183.45	c (182,174) 598227 (30 %) CSP clauses are encoded (0 SAT variables, 3463706 SAT clauses)
255.99/185.44	c (184,176) 797636 (40 %) CSP clauses are encoded (0 SAT variables, 3663115 SAT clauses)
259.47/187.62	c (187,178) 997045 (50 %) CSP clauses are encoded (0 SAT variables, 3862524 SAT clauses)
261.47/189.62	c (189,180) 1196454 (60 %) CSP clauses are encoded (0 SAT variables, 4061933 SAT clauses)
263.48/191.61	c (191,182) 1395863 (70 %) CSP clauses are encoded (0 SAT variables, 4261342 SAT clauses)
267.49/193.87	c (193,184) 1595272 (80 %) CSP clauses are encoded (0 SAT variables, 4460751 SAT clauses)
269.49/195.88	c (195,186) 1794681 (90 %) CSP clauses are encoded (0 SAT variables, 4660160 SAT clauses)
271.49/197.86	c (197,188) 1994090 (100 %) CSP clauses are encoded (0 SAT variables, 4859569 SAT clauses)
271.49/197.86	c (197,188) CSPinCNF to SatSolver End
271.49/197.86	c (197,188) Heap : 6038 MiB used (max 21114 MiB), NonHeap : 32 MiB used (max 0 MiB)
271.49/197.86	c (197,188) 141360 bool, 4859570 clause
271.49/197.86	c (197,188) Export Begin
271.61/197.96	c (197,188) Export to HOME/scop-1453-serial-file.bin
271.61/197.96	c (197,188) Export End
271.61/197.96	c (197,188) Export File Size: 0.03 MB
271.61/197.96	c (197,188) 0,0,147,159,163,164,197,STOP-AFTER(DIMACS)
271.61/197.96	c END-Prog: Tue Sep 24 17:30:55 CEST 2019
0.00/198.02	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-1453-serial-file.bin
271.83/198.48	c (0,0) Read Serial File Begin
271.83/198.48	c (0,0) HOME/scop-1453-serial-file.bin
271.83/198.71	c (0,0) Read Serial File End
271.83/198.72	
271.83/198.72	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
271.83/198.72	(Solving Process)
271.83/198.72	
271.83/198.75	c BEGIN-Prog: Tue Sep 24 17:30:56 CEST 2019
271.83/198.75	c PID: 1496
271.83/198.75	c IP: 172.20.3.126
271.83/198.75	c HOST: node126.alineos.net
271.83/198.75	c (0,0) SatSolver.solve Begin
271.83/198.75	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4405465-1569338895.xml-scop-1456.cnf
271.83/198.78	c (0,0) c
271.83/198.78	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)
271.83/198.78	c (0,0) c
271.83/198.78	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
271.83/198.78	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
271.83/198.78	c (0,0) c ========================================[ Problem Statistics ]===========================================
271.83/198.78	c (0,0) c |                                                                                                       |
274.46/200.29	c (1,0) c |  Number of variables:        141360                                                                   |
274.46/200.29	c (1,0) c |  Number of clauses:         4859570                                                                   |
274.46/200.29	c (1,0) c |  Parse time:                   1.37 s                                                                 |
274.46/200.29	c (1,0) c |                                                                                                       |
274.76/200.57	c (2,0) c | Too many clauses... No preprocessing                                                                  |
274.76/200.57	c (2,0) c |  Simplification time:          0.25 s                                                                 |
274.76/200.57	c (2,0) c |                                                                                                       |
274.76/200.57	c (2,0) c |  Generating clones                                                                                    |
275.87/201.60	c (3,0) c |  all clones generated. Memory =  2854.72Mb.                                                           |
275.87/201.60	c (3,0) c ========================================================================================================|
275.87/201.60	c (3,0) c
275.87/201.60	c (3,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
275.87/201.60	c (3,0) c
275.87/201.60	c (3,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
275.87/201.60	c (3,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
275.87/201.60	c (3,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
275.87/201.60	c (3,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
275.87/201.60	c (3,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
275.87/201.60	c (3,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
275.87/201.60	c (3,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
275.87/201.60	c (3,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
275.87/201.60	c (3,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
275.87/201.60	c (3,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
275.87/201.60	c (3,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
275.87/201.60	c (3,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
275.87/201.60	c (3,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
275.87/201.60	c (3,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
275.87/201.60	c (3,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
275.87/201.60	c (3,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
275.87/201.60	c (3,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
275.87/201.60	c (3,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
275.87/201.60	c (3,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
285.10/203.13	c (4,0) c
285.10/203.13	c (4,0) c real time : 4.35588 s
285.10/203.13	c (4,0) c cpu time  : 10.9822 s
285.10/203.13	c (4,0) c
285.10/203.13	c (4,0) c
285.10/203.13	c (4,0) c
285.10/203.13	c (4,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
285.10/203.13	c (4,0) c
285.10/203.13	c (4,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
285.10/203.13	c (4,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
285.10/203.13	c (4,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
285.10/203.13	c (4,0) c | Conflicts     |            4305 |        148 |        536 |        550 |        521 |        647 |        571 |        593 |        739 |
285.10/203.13	c (4,0) c | Decisions     |           14229 |       6593 |       1253 |        959 |        806 |       1054 |       1126 |        992 |       1446 |
285.10/203.13	c (4,0) c | Propagations  |         9165869 |     760512 |    1015195 |    1155215 |     908418 |    1011726 |    1621905 |    1270678 |    1422220 |
285.10/203.13	c (4,0) c | ReduceDBs     |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
285.10/203.13	c (4,0) c | SimpDBs       |               8 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |
285.10/203.13	c (4,0) c | Restarts      |              15 |          2 |          2 |          2 |          3 |          1 |          2 |          2 |          1 |
285.10/203.13	c (4,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
285.10/203.13	c (4,0) c | PropBinClauses|         6160954 |     367135 |     738932 |     798133 |     624782 |     720952 |     986152 |     944471 |     980397 |
285.10/203.13	c (4,0) c | PropPreBlocker|       180134168 |   22848201 |   21695197 |   26160901 |   22886684 |   20808932 |   22863732 |   22679443 |   20191078 |
285.10/203.13	c (4,0) c | PropNotBlocker|        59837806 |    5939475 |    7675398 |    8297155 |    6748441 |    7224273 |    8546913 |    8445606 |    6960545 |
285.10/203.13	c (4,0) c | LitFullScans  |       259170583 |   30054388 |   31299786 |   36631920 |   31324726 |   30053143 |   36004480 |   33660855 |   30141285 |
285.10/203.13	c (4,0) c | LitScanFracts |            9679 |        848 |        966 |       1394 |        753 |        570 |       1060 |       2461 |       1627 |
285.10/203.13	c (4,0) c | DecisionLevel0|              15 |          2 |          2 |          2 |          3 |          1 |          2 |          2 |          1 |
285.10/203.13	c (4,0) c | Periods       |              42 |          5 |          5 |          6 |          5 |          5 |          6 |          5 |          5 |
285.10/203.13	c (4,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
285.10/203.13	c (4,0) c | Avg_Trail     |                 |      29059 |       6255 |       5685 |       6754 |       5158 |       8631 |       6757 |       9076 |
285.10/203.13	c (4,0) c | Avg_DL        |                 |       4653 |         61 |         93 |        102 |         44 |         65 |         31 |        137 |
285.10/203.13	c (4,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
285.10/203.13	c (4,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
285.10/203.13	c (4,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
285.10/203.13	c (4,0) c | Exported      |             130 |          1 |         30 |         16 |          4 |         23 |          9 |         24 |         23 |
285.10/203.13	c (4,0) c | Imported      |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
285.10/203.13	c (4,0) c | Good          |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
285.10/203.13	c (4,0) c | Purge         |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
285.10/203.13	c (4,0) c | Promoted      |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
285.10/203.13	c (4,0) c | Remove_Imp    |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
285.10/203.13	c (4,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
285.10/203.13	c (4,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
285.10/203.13	c (4,0) c | Unaries       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
285.10/203.13	c (4,0) c | Binaries      |                 |          0 |          0 |          0 |          0 |          1 |          0 |          1 |          1 |
285.10/203.13	c (4,0) c | Glues         |                 |          1 |         30 |         16 |          4 |         23 |          9 |         24 |         23 |
285.10/203.13	c (4,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
285.10/203.13	c (4,0) c | Orig_Seen     |             0 % |       7848 |      11268 |      12481 |       4454 |      12610 |      18498 |      13967 |      14763 |
285.10/203.13	c (4,0) c | Diff Orig seen|                 |       3394 |       6814 |       8027 |      X     |       8156 |      14044 |       9513 |      10309 |
285.10/203.13	c (4,0) c | Hamming       |            15 % |      19188 |      24637 |      20402 |      X     |      22584 |      22643 |      23163 |      23551 |
285.10/203.13	c (4,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
285.10/203.13	c (4,0) c | RunningTime   |                 |    1.4 100%|    1.5 100%|    1.3 100%|    1.3 100%|    1.4 100%|    1.4 100%|    1.5 100%|    1.4 100%|
285.10/203.13	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%|
285.10/203.13	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%|
285.10/203.13	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%|
285.10/203.13	c (4,0) c | SolvingTime   |                 |    1.4     |    1.5     |    1.3     |    1.3     |    1.4     |    1.4     |    1.5     |    1.4     |
285.10/203.13	c (4,0) c | PropagationTim|                 |    1.4  97%|    1.5  97%|    1.3  97%|    1.3  97%|    1.3  97%|    1.3  95%|    1.4  96%|    1.3  95%|
285.10/203.13	c (4,0) c | AnalysisTime  |                 |    0.0   1%|    0.0   1%|    0.0   2%|    0.0   1%|    0.0   2%|    0.1   4%|    0.0   2%|    0.0   3%|
285.10/203.13	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%|
285.10/203.13	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%|
285.10/203.13	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%|
285.10/203.13	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%|
285.10/203.13	c (4,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
285.10/203.13	c (4,0) c
285.10/203.13	c (4,0) c
285.10/203.13	c (4,0) c Threads : 8
285.10/203.13	c (4,0) c Winner : 3
285.10/203.13	c (4,0) c Conflicts_0 : 148
285.10/203.13	c (4,0) c Conflicts_1 : 536
285.10/203.13	c (4,0) c Conflicts_2 : 550
285.10/203.13	c (4,0) c Conflicts_3 : 521
285.10/203.13	c (4,0) c Conflicts_4 : 647
285.10/203.13	c (4,0) c Conflicts_5 : 571
285.10/203.13	c (4,0) c Conflicts_6 : 593
285.10/203.13	c (4,0) c Conflicts_7 : 739
285.10/203.13	c (4,0) c Conflicts_total : 4305
285.10/203.13	c (4,0) c Conflicts_winner : 521
285.10/203.13	c (4,0) c Decisions_0 : 6593
285.10/203.13	c (4,0) c Decisions_1 : 1253
285.10/203.13	c (4,0) c Decisions_2 : 959
285.10/203.13	c (4,0) c Decisions_3 : 806
285.10/203.13	c (4,0) c Decisions_4 : 1054
285.10/203.13	c (4,0) c Decisions_5 : 1126
285.10/203.13	c (4,0) c Decisions_6 : 992
285.10/203.14	c (4,0) c Decisions_7 : 1446
285.10/203.14	c (4,0) c Decisions_total : 14229
285.10/203.14	c (4,0) c Decisions_winner : 806
285.10/203.14	c (4,0) c Propagations_0 : 760512
285.10/203.14	c (4,0) c Propagations_1 : 1015195
285.10/203.14	c (4,0) c Propagations_2 : 1155215
285.10/203.14	c (4,0) c Propagations_3 : 908418
285.10/203.14	c (4,0) c Propagations_4 : 1011726
285.10/203.14	c (4,0) c Propagations_5 : 1621905
285.10/203.14	c (4,0) c Propagations_6 : 1270678
285.10/203.14	c (4,0) c Propagations_7 : 1422220
285.10/203.14	c (4,0) c Propagations_total : 9165869
285.10/203.14	c (4,0) c Propagations_winner : 908418
285.10/203.14	c (4,0) c ReduceDBs_0 : 0
285.10/203.14	c (4,0) c ReduceDBs_1 : 0
285.10/203.14	c (4,0) c ReduceDBs_2 : 0
285.10/203.14	c (4,0) c ReduceDBs_3 : 0
285.10/203.14	c (4,0) c ReduceDBs_4 : 0
285.10/203.14	c (4,0) c ReduceDBs_5 : 0
285.10/203.14	c (4,0) c ReduceDBs_6 : 0
285.10/203.14	c (4,0) c ReduceDBs_7 : 0
285.10/203.14	c (4,0) c ReduceDBs_total : 0
285.10/203.14	c (4,0) c ReduceDBs_winner : 0
285.10/203.14	c (4,0) c SimpDBs_0 : 1
285.10/203.14	c (4,0) c SimpDBs_1 : 1
285.10/203.14	c (4,0) c SimpDBs_2 : 1
285.10/203.14	c (4,0) c SimpDBs_3 : 1
285.10/203.14	c (4,0) c SimpDBs_4 : 1
285.10/203.14	c (4,0) c SimpDBs_5 : 1
285.10/203.14	c (4,0) c SimpDBs_6 : 1
285.10/203.14	c (4,0) c SimpDBs_7 : 1
285.10/203.14	c (4,0) c SimpDBs_total : 8
285.10/203.14	c (4,0) c SimpDBs_winner : 1
285.10/203.14	c (4,0) c Restarts_0 : 2
285.10/203.14	c (4,0) c Restarts_1 : 2
285.10/203.14	c (4,0) c Restarts_2 : 2
285.10/203.14	c (4,0) c Restarts_3 : 3
285.10/203.14	c (4,0) c Restarts_4 : 1
285.10/203.14	c (4,0) c Restarts_5 : 2
285.10/203.14	c (4,0) c Restarts_6 : 2
285.10/203.14	c (4,0) c Restarts_7 : 1
285.10/203.14	c (4,0) c Restarts_total : 15
285.10/203.14	c (4,0) c Restarts_winner : 3
285.10/203.14	c (4,0) c ForcedImports_0 : 0
285.10/203.14	c (4,0) c ForcedImports_1 : 0
285.10/203.14	c (4,0) c ForcedImports_2 : 0
285.10/203.14	c (4,0) c ForcedImports_3 : 0
285.10/203.14	c (4,0) c ForcedImports_4 : 0
285.10/203.14	c (4,0) c ForcedImports_5 : 0
285.10/203.14	c (4,0) c ForcedImports_6 : 0
285.10/203.14	c (4,0) c ForcedImports_7 : 0
285.10/203.14	c (4,0) c ForcedImports_total : 0
285.10/203.14	c (4,0) c ForcedImports_winner : 0
285.10/203.14	c (4,0) c PropsBinClauses_0 : 367135
285.10/203.14	c (4,0) c PropsBinClauses_1 : 738932
285.10/203.14	c (4,0) c PropsBinClauses_2 : 798133
285.10/203.14	c (4,0) c PropsBinClauses_3 : 624782
285.10/203.14	c (4,0) c PropsBinClauses_4 : 720952
285.10/203.14	c (4,0) c PropsBinClauses_5 : 986152
285.10/203.14	c (4,0) c PropsBinClauses_6 : 944471
285.10/203.14	c (4,0) c PropsBinClauses_7 : 980397
285.10/203.14	c (4,0) c PropsBinClauses_total : 6160954
285.10/203.14	c (4,0) c PropsBinClauses_winner : 624782
285.10/203.14	c (4,0) c PropsPreBlocker_0 : 22848201
285.10/203.14	c (4,0) c PropsPreBlocker_1 : 21695197
285.10/203.14	c (4,0) c PropsPreBlocker_2 : 26160901
285.10/203.14	c (4,0) c PropsPreBlocker_3 : 22886684
285.10/203.14	c (4,0) c PropsPreBlocker_4 : 20808932
285.10/203.14	c (4,0) c PropsPreBlocker_5 : 22863732
285.10/203.14	c (4,0) c PropsPreBlocker_6 : 22679443
285.10/203.14	c (4,0) c PropsPreBlocker_7 : 20191078
285.10/203.14	c (4,0) c PropsPreBlocker_total : 180134168
285.10/203.14	c (4,0) c PropsPreBlocker_winner : 22886684
285.10/203.14	c (4,0) c PropsNotBlocker_0 : 5939475
285.10/203.14	c (4,0) c PropsNotBlocker_1 : 7675398
285.10/203.14	c (4,0) c PropsNotBlocker_2 : 8297155
285.10/203.14	c (4,0) c PropsNotBlocker_3 : 6748441
285.10/203.14	c (4,0) c PropsNotBlocker_4 : 7224273
285.10/203.14	c (4,0) c PropsNotBlocker_5 : 8546913
285.10/203.14	c (4,0) c PropsNotBlocker_6 : 8445606
285.10/203.14	c (4,0) c PropsNotBlocker_7 : 6960545
285.10/203.14	c (4,0) c PropsNotBlocker_total : 59837806
285.10/203.14	c (4,0) c PropsNotBlocker_winner : 6748441
285.10/203.14	c (4,0) c PropsLitFullScans_0 : 30054388
285.10/203.14	c (4,0) c PropsLitFullScans_1 : 31299786
285.10/203.14	c (4,0) c PropsLitFullScans_2 : 36631920
285.10/203.14	c (4,0) c PropsLitFullScans_3 : 31324726
285.10/203.14	c (4,0) c PropsLitFullScans_4 : 30053143
285.10/203.14	c (4,0) c PropsLitFullScans_5 : 36004480
285.10/203.14	c (4,0) c PropsLitFullScans_6 : 33660855
285.10/203.14	c (4,0) c PropsLitFullScans_7 : 30141285
285.10/203.14	c (4,0) c PropsLitFullScans_total : 259170583
285.10/203.14	c (4,0) c PropsLitFullScans_winner : 31324726
285.10/203.14	c (4,0) c LitScanFractions_0 : 848
285.10/203.14	c (4,0) c LitScanFractions_1 : 966
285.10/203.14	c (4,0) c LitScanFractions_2 : 1394
285.10/203.14	c (4,0) c LitScanFractions_3 : 753
285.10/203.14	c (4,0) c LitScanFractions_4 : 570
285.10/203.14	c (4,0) c LitScanFractions_5 : 1060
285.10/203.14	c (4,0) c LitScanFractions_6 : 2461
285.10/203.14	c (4,0) c LitScanFractions_7 : 1627
285.10/203.14	c (4,0) c LitScanFractions_total : 9679
285.10/203.14	c (4,0) c LitScanFractions_winner : 753
285.10/203.14	c (4,0) c DecisionLevel0_0 : 2
285.10/203.14	c (4,0) c DecisionLevel0_1 : 2
285.10/203.14	c (4,0) c DecisionLevel0_2 : 2
285.10/203.14	c (4,0) c DecisionLevel0_3 : 3
285.10/203.14	c (4,0) c DecisionLevel0_4 : 1
285.10/203.14	c (4,0) c DecisionLevel0_5 : 2
285.10/203.14	c (4,0) c DecisionLevel0_6 : 2
285.10/203.14	c (4,0) c DecisionLevel0_7 : 1
285.10/203.14	c (4,0) c DecisionLevel0_total : 15
285.10/203.14	c (4,0) c DecisionLevel0_winner : 3
285.10/203.14	c (4,0) c Periods_0 : 5
285.10/203.14	c (4,0) c Periods_1 : 5
285.10/203.14	c (4,0) c Periods_2 : 6
285.10/203.14	c (4,0) c Periods_3 : 5
285.10/203.14	c (4,0) c Periods_4 : 5
285.10/203.14	c (4,0) c Periods_5 : 6
285.10/203.14	c (4,0) c Periods_6 : 5
285.10/203.14	c (4,0) c Periods_7 : 5
285.10/203.14	c (4,0) c Periods_total : 42
285.10/203.14	c (4,0) c Periods_winner : 5
285.10/203.14	c (4,0) c Margin_0 : 20
285.10/203.14	c (4,0) c Margin_1 : 20
285.10/203.14	c (4,0) c Margin_2 : 20
285.10/203.14	c (4,0) c Margin_3 : 20
285.10/203.14	c (4,0) c Margin_4 : 20
285.10/203.14	c (4,0) c Margin_5 : 20
285.10/203.14	c (4,0) c Margin_6 : 20
285.10/203.14	c (4,0) c Margin_7 : 20
285.10/203.14	c (4,0) c Margin_total : 160
285.10/203.14	c (4,0) c Margin_winner : 20
285.10/203.14	c (4,0) c Exported_0 : 1
285.10/203.14	c (4,0) c Exported_1 : 30
285.10/203.14	c (4,0) c Exported_2 : 16
285.10/203.14	c (4,0) c Exported_3 : 4
285.10/203.14	c (4,0) c Exported_4 : 23
285.10/203.14	c (4,0) c Exported_5 : 9
285.10/203.14	c (4,0) c Exported_6 : 24
285.10/203.14	c (4,0) c Exported_7 : 23
285.10/203.14	c (4,0) c Exported_total : 130
285.10/203.14	c (4,0) c Exported_winner : 4
285.10/203.14	c (4,0) c Imported_0 : 0
285.10/203.14	c (4,0) c Imported_1 : 0
285.10/203.14	c (4,0) c Imported_2 : 0
285.10/203.14	c (4,0) c Imported_3 : 0
285.10/203.14	c (4,0) c Imported_4 : 0
285.10/203.14	c (4,0) c Imported_5 : 0
285.10/203.14	c (4,0) c Imported_6 : 0
285.10/203.14	c (4,0) c Imported_7 : 0
285.10/203.14	c (4,0) c Imported_total : 0
285.10/203.14	c (4,0) c Imported_winner : 0
285.10/203.14	c (4,0) c Good_0 : 0
285.10/203.14	c (4,0) c Good_1 : 0
285.10/203.14	c (4,0) c Good_2 : 0
285.10/203.14	c (4,0) c Good_3 : 0
285.10/203.14	c (4,0) c Good_4 : 0
285.10/203.14	c (4,0) c Good_5 : 0
285.10/203.14	c (4,0) c Good_6 : 0
285.10/203.14	c (4,0) c Good_7 : 0
285.10/203.14	c (4,0) c Good_total : 0
285.10/203.14	c (4,0) c Good_winner : 0
285.10/203.14	c (4,0) c Purge_0 : 0
285.10/203.14	c (4,0) c Purge_1 : 0
285.10/203.14	c (4,0) c Purge_2 : 0
285.10/203.14	c (4,0) c Purge_3 : 0
285.10/203.14	c (4,0) c Purge_4 : 0
285.10/203.14	c (4,0) c Purge_5 : 0
285.10/203.14	c (4,0) c Purge_6 : 0
285.10/203.14	c (4,0) c Purge_7 : 0
285.10/203.14	c (4,0) c Purge_total : 0
285.10/203.14	c (4,0) c Purge_winner : 0
285.10/203.14	c (4,0) c Promoted_0 : 0
285.10/203.14	c (4,0) c Promoted_1 : 0
285.10/203.14	c (4,0) c Promoted_2 : 0
285.10/203.14	c (4,0) c Promoted_3 : 0
285.10/203.14	c (4,0) c Promoted_4 : 0
285.10/203.14	c (4,0) c Promoted_5 : 0
285.10/203.14	c (4,0) c Promoted_6 : 0
285.10/203.14	c (4,0) c Promoted_7 : 0
285.10/203.14	c (4,0) c Promoted_total : 0
285.10/203.14	c (4,0) c Promoted_winner : 0
285.10/203.14	c (4,0) c Remove_Imp_0 : 0
285.10/203.14	c (4,0) c Remove_Imp_1 : 0
285.10/203.14	c (4,0) c Remove_Imp_2 : 0
285.10/203.14	c (4,0) c Remove_Imp_3 : 0
285.10/203.14	c (4,0) c Remove_Imp_4 : 0
285.10/203.14	c (4,0) c Remove_Imp_5 : 0
285.10/203.14	c (4,0) c Remove_Imp_6 : 0
285.10/203.14	c (4,0) c Remove_Imp_7 : 0
285.10/203.14	c (4,0) c Remove_Imp_total : 0
285.10/203.14	c (4,0) c Remove_Imp_winner : 0
285.10/203.14	c (4,0) c Blocked_Reuse_0 : 0
285.10/203.14	c (4,0) c Blocked_Reuse_1 : 0
285.10/203.14	c (4,0) c Blocked_Reuse_2 : 0
285.10/203.14	c (4,0) c Blocked_Reuse_3 : 0
285.10/203.14	c (4,0) c Blocked_Reuse_4 : 0
285.10/203.14	c (4,0) c Blocked_Reuse_5 : 0
285.10/203.14	c (4,0) c Blocked_Reuse_6 : 0
285.10/203.14	c (4,0) c Blocked_Reuse_7 : 0
285.10/203.14	c (4,0) c Blocked_Reuse_total : 0
285.10/203.14	c (4,0) c Blocked_Reuse_winner : 0
285.10/203.14	c (4,0) c Unaries_0 : 0
285.10/203.14	c (4,0) c Unaries_1 : 0
285.10/203.14	c (4,0) c Unaries_2 : 0
285.10/203.14	c (4,0) c Unaries_3 : 0
285.10/203.14	c (4,0) c Unaries_4 : 0
285.10/203.14	c (4,0) c Unaries_5 : 0
285.10/203.14	c (4,0) c Unaries_6 : 0
285.10/203.14	c (4,0) c Unaries_7 : 0
285.10/203.14	c (4,0) c Unaries_total : 0
285.10/203.14	c (4,0) c Unaries_winner : 0
285.10/203.14	c (4,0) c Binaries_0 : 0
285.10/203.14	c (4,0) c Binaries_1 : 0
285.10/203.14	c (4,0) c Binaries_2 : 0
285.10/203.14	c (4,0) c Binaries_3 : 0
285.10/203.14	c (4,0) c Binaries_4 : 1
285.10/203.14	c (4,0) c Binaries_5 : 0
285.10/203.14	c (4,0) c Binaries_6 : 1
285.10/203.14	c (4,0) c Binaries_7 : 1
285.10/203.14	c (4,0) c Binaries_total : 3
285.10/203.14	c (4,0) c Binaries_winner : 0
285.10/203.14	c (4,0) c Glues_0 : 1
285.10/203.14	c (4,0) c Glues_1 : 30
285.10/203.14	c (4,0) c Glues_2 : 16
285.10/203.14	c (4,0) c Glues_3 : 4
285.10/203.14	c (4,0) c Glues_4 : 23
285.10/203.14	c (4,0) c Glues_5 : 9
285.10/203.14	c (4,0) c Glues_6 : 24
285.10/203.14	c (4,0) c Glues_7 : 23
285.10/203.14	c (4,0) c Glues_total : 130
285.10/203.14	c (4,0) c Glues_winner : 4
285.10/203.14	c (4,0) c RunningTime_0 : 1.398498
285.10/203.14	c (4,0) c RunningTime_1 : 1.518073
285.10/203.14	c (4,0) c RunningTime_2 : 1.302164
285.10/203.14	c (4,0) c RunningTime_3 : 1.327797
285.10/203.14	c (4,0) c RunningTime_4 : 1.364949
285.10/203.14	c (4,0) c RunningTime_5 : 1.392358
285.10/203.14	c (4,0) c RunningTime_6 : 1.487651
285.10/203.14	c (4,0) c RunningTime_7 : 1.399262
285.10/203.14	c (4,0) c RunningTime_total : 11.190753
285.10/203.14	c (4,0) c RunningTime_winner : 1.327797
285.10/203.14	c (4,0) c WaitingTime_0 : 0.000000
285.10/203.14	c (4,0) c WaitingTime_1 : 0.000000
285.10/203.14	c (4,0) c WaitingTime_2 : 0.000000
285.10/203.14	c (4,0) c WaitingTime_3 : 0.000000
285.10/203.14	c (4,0) c WaitingTime_4 : 0.000000
285.10/203.14	c (4,0) c WaitingTime_5 : 0.000000
285.10/203.14	c (4,0) c WaitingTime_6 : 0.000000
285.10/203.14	c (4,0) c WaitingTime_7 : 0.000000
285.10/203.14	c (4,0) c WaitingTime_total : 0.000000
285.10/203.14	c (4,0) c WaitingTime_winner : 0.000000
285.10/203.14	c (4,0) c ExchangingTime_0 : 0.000021
285.10/203.14	c (4,0) c ExchangingTime_1 : 0.000159
285.10/203.14	c (4,0) c ExchangingTime_2 : 0.000111
285.10/203.14	c (4,0) c ExchangingTime_3 : 0.000094
285.10/203.14	c (4,0) c ExchangingTime_4 : 0.000212
285.10/203.14	c (4,0) c ExchangingTime_5 : 0.000100
285.10/203.14	c (4,0) c ExchangingTime_6 : 0.000169
285.10/203.14	c (4,0) c ExchangingTime_7 : 0.000208
285.10/203.14	c (4,0) c ExchangingTime_total : 0.001073
285.10/203.14	c (4,0) c ExchangingTime_winner : 0.000094
285.10/203.14	c (4,0) c PeriodProcTime_0 : 0.000059
285.10/203.14	c (4,0) c PeriodProcTime_1 : 0.000060
285.10/203.14	c (4,0) c PeriodProcTime_2 : 0.000069
285.10/203.14	c (4,0) c PeriodProcTime_3 : 0.000119
285.10/203.14	c (4,0) c PeriodProcTime_4 : 0.000102
285.10/203.14	c (4,0) c PeriodProcTime_5 : 0.000061
285.10/203.14	c (4,0) c PeriodProcTime_6 : 0.000071
285.10/203.14	c (4,0) c PeriodProcTime_7 : 0.000102
285.10/203.14	c (4,0) c PeriodProcTime_total : 0.000643
285.10/203.14	c (4,0) c PeriodProcTime_winner : 0.000119
285.10/203.14	c (4,0) c SolvingTime_0 : 1.398577
285.10/203.14	c (4,0) c SolvingTime_1 : 1.518292
285.10/203.14	c (4,0) c SolvingTime_2 : 1.302344
285.10/203.14	c (4,0) c SolvingTime_3 : 1.328010
285.10/203.14	c (4,0) c SolvingTime_4 : 1.365263
285.10/203.14	c (4,0) c SolvingTime_5 : 1.392519
285.10/203.14	c (4,0) c SolvingTime_6 : 1.487891
285.10/203.14	c (4,0) c SolvingTime_7 : 1.399572
285.10/203.14	c (4,0) c SolvingTime_total : 11.192469
285.10/203.14	c (4,0) c SolvingTime_winner : 1.328010
285.10/203.14	c (4,0) c PropagationTime_0 : 1.362830
285.10/203.14	c (4,0) c PropagationTime_1 : 1.470199
285.10/203.14	c (4,0) c PropagationTime_2 : 1.259484
285.10/203.14	c (4,0) c PropagationTime_3 : 1.292787
285.10/203.14	c (4,0) c PropagationTime_4 : 1.322483
285.10/203.14	c (4,0) c PropagationTime_5 : 1.317405
285.10/203.15	c (4,0) c PropagationTime_6 : 1.432203
285.10/203.15	c (4,0) c PropagationTime_7 : 1.325998
285.10/203.15	c (4,0) c PropagationTime_total : 10.783387
285.10/203.15	c (4,0) c PropagationTime_winner : 1.292787
285.10/203.15	c (4,0) c AnalysisTime_0 : 0.015837
285.10/203.15	c (4,0) c AnalysisTime_1 : 0.021363
285.10/203.15	c (4,0) c AnalysisTime_2 : 0.026699
285.10/203.15	c (4,0) c AnalysisTime_3 : 0.018827
285.10/203.15	c (4,0) c AnalysisTime_4 : 0.026476
285.10/203.15	c (4,0) c AnalysisTime_5 : 0.054786
285.10/203.15	c (4,0) c AnalysisTime_6 : 0.033375
285.10/203.15	c (4,0) c AnalysisTime_7 : 0.046474
285.10/203.15	c (4,0) c AnalysisTime_total : 0.243838
285.10/203.15	c (4,0) c AnalysisTime_winner : 0.018827
285.10/203.15	c (4,0) c ReductionTime_0 : 0.000000
285.10/203.15	c (4,0) c ReductionTime_1 : 0.000000
285.10/203.15	c (4,0) c ReductionTime_2 : 0.000000
285.10/203.15	c (4,0) c ReductionTime_3 : 0.000000
285.10/203.15	c (4,0) c ReductionTime_4 : 0.000000
285.10/203.15	c (4,0) c ReductionTime_5 : 0.000000
285.10/203.15	c (4,0) c ReductionTime_6 : 0.000000
285.10/203.15	c (4,0) c ReductionTime_7 : 0.000000
285.10/203.15	c (4,0) c ReductionTime_total : 0.000000
285.10/203.15	c (4,0) c ReductionTime_winner : 0.000000
285.10/203.15	c (4,0) c SimplifyTime_0 : 0.000000
285.10/203.15	c (4,0) c SimplifyTime_1 : 0.000000
285.10/203.15	c (4,0) c SimplifyTime_2 : 0.000000
285.10/203.15	c (4,0) c SimplifyTime_3 : 0.000000
285.10/203.15	c (4,0) c SimplifyTime_4 : 0.000000
285.10/203.15	c (4,0) c SimplifyTime_5 : 0.000000
285.10/203.15	c (4,0) c SimplifyTime_6 : 0.000000
285.10/203.15	c (4,0) c SimplifyTime_7 : 0.000000
285.10/203.15	c (4,0) c SimplifyTime_total : 0.000000
285.10/203.15	c (4,0) c SimplifyTime_winner : 0.000000
285.10/203.15	c (4,0) c UsedRateTime_0 : 0.000000
285.10/203.15	c (4,0) c UsedRateTime_1 : 0.000000
285.10/203.15	c (4,0) c UsedRateTime_2 : 0.000000
285.10/203.15	c (4,0) c UsedRateTime_3 : 0.000000
285.10/203.15	c (4,0) c UsedRateTime_4 : 0.000000
285.10/203.15	c (4,0) c UsedRateTime_5 : 0.000000
285.10/203.15	c (4,0) c UsedRateTime_6 : 0.000000
285.10/203.15	c (4,0) c UsedRateTime_7 : 0.000000
285.10/203.15	c (4,0) c UsedRateTime_total : 0.000000
285.10/203.15	c (4,0) c UsedRateTime_winner : 0.000000
285.10/203.15	c (4,0) c OverlapRateTime_0 : 0.000000
285.10/203.15	c (4,0) c OverlapRateTime_1 : 0.000000
285.10/203.15	c (4,0) c OverlapRateTime_2 : 0.000000
285.10/203.15	c (4,0) c OverlapRateTime_3 : 0.000000
285.10/203.15	c (4,0) c OverlapRateTime_4 : 0.000000
285.10/203.15	c (4,0) c OverlapRateTime_5 : 0.000000
285.10/203.15	c (4,0) c OverlapRateTime_6 : 0.000000
285.10/203.15	c (4,0) c OverlapRateTime_7 : 0.000000
285.10/203.15	c (4,0) c OverlapRateTime_total : 0.000000
285.10/203.15	c (4,0) c OverlapRateTime_winner : 0.000000
285.10/203.15	c (4,0) c
285.10/203.15	c (4,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
285.10/203.15	c (4,0) c
285.10/203.15	c (4,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
285.10/203.15	c (4,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
285.10/203.15	c (4,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
285.10/203.15	c (4,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
285.10/203.15	c (4,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
285.10/203.15	c (4,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
285.10/203.15	c (4,0) c | Initial random_seed   |  474127365 |  851612792 |  715146548 |  794608763 | 1810431854 | 2006186356 | 2071220393 | 1940817974 |
285.10/203.15	c (4,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
285.10/203.15	c (4,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
285.10/203.15	c (4,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
285.10/203.15	c (4,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
285.10/203.15	c (4,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
285.10/203.15	c (4,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
285.10/203.15	c (4,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
285.10/203.15	c (4,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
285.10/203.15	c (4,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
285.10/203.15	c (4,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
285.10/203.15	c (4,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
285.10/203.15	c (4,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
285.10/203.15	c (4,0) 
285.10/203.15	c (4,0) s SATISFIABLE
273.23/203.27	c (4,0) SatSolver.solve End
273.23/203.27	c (4,0) Heap : 144 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
273.23/203.27	c (4,0) Show results Begin
285.62/203.39	c (4,0) x[0] = 0
285.62/203.39	c (4,0) x[1] = 13
285.62/203.39	c (4,0) x[2] = 29
285.62/203.39	c (4,0) x[3] = 63
285.62/203.39	c (4,0) x[4] = 104
285.62/203.39	c (4,0) x[5] = 130
285.62/203.39	c (4,0) x[6] = 134
285.62/203.39	c (4,0) x[7] = 137
285.62/203.39	c (4,0) x[8] = 180
285.62/203.39	c (4,0) x[9] = 185
285.62/203.39	c (4,0) x[10] = 32
285.62/203.39	c (4,0) x[11] = 65
285.62/203.39	c (4,0) x[12] = 89
285.62/203.39	c (4,0) x[13] = 94
285.62/203.39	c (4,0) x[14] = 189
285.62/203.39	c (4,0) x[15] = 26
285.62/203.39	c (4,0) x[16] = 42
285.62/203.39	c (4,0) x[17] = 133
285.62/203.39	c (4,0) x[18] = 115
285.62/203.39	c (4,0) x[19] = 1
285.62/203.39	c (4,0) x[20] = 41
285.62/203.39	c (4,0) x[21] = 142
285.62/203.39	c (4,0) x[22] = 143
285.62/203.39	c (4,0) x[23] = 83
285.62/203.39	c (4,0) x[24] = 135
285.62/203.39	c (4,0) x[25] = 97
285.62/203.39	c (4,0) x[26] = 5
285.62/203.39	c (4,0) x[27] = 58
285.62/203.39	c (4,0) x[28] = 147
285.62/203.39	c (4,0) x[29] = 171
285.62/203.39	c (4,0) x[30] = 183
285.62/203.39	c (4,0) x[31] = 9
285.62/203.39	c (4,0) x[32] = 87
285.62/203.39	c (4,0) x[33] = 172
285.62/203.39	c (4,0) x[34] = 92
285.62/203.39	c (4,0) x[35] = 187
285.62/203.39	c (4,0) x[36] = 111
285.62/203.39	c (4,0) x[37] = 164
285.62/203.39	c (4,0) x[38] = 197
285.62/203.39	c (4,0) x[39] = 57
285.62/203.39	c (4,0) x[40] = 129
285.62/203.39	c (4,0) x[41] = 24
285.62/203.39	c (4,0) x[42] = 101
285.62/203.39	c (4,0) x[43] = 120
285.62/203.39	c (4,0) x[44] = 139
285.62/203.39	c (4,0) x[45] = 144
285.62/203.39	c (4,0) x[46] = 25
285.62/203.39	c (4,0) x[47] = 98
285.62/203.39	c (4,0) x[48] = 123
285.62/203.39	c (4,0) x[49] = 152
285.62/203.39	c (4,0) x[50] = 14
285.62/203.39	c (4,0) x[51] = 113
285.62/203.39	c (4,0) x[52] = 82
285.62/203.39	c (4,0) x[53] = 91
285.62/203.39	c (4,0) x[54] = 105
285.62/203.39	c (4,0) x[55] = 114
285.62/203.39	c (4,0) x[56] = 188
285.62/203.39	c (4,0) x[57] = 161
285.62/203.39	c (4,0) x[58] = 12
285.62/203.39	c (4,0) x[59] = 75
285.62/203.39	c (4,0) x[60] = 146
285.62/203.39	c (4,0) x[61] = 103
285.62/203.39	c (4,0) x[62] = 112
285.62/203.39	c (4,0) x[63] = 18
285.62/203.39	c (4,0) x[64] = 162
285.62/203.39	c (4,0) x[65] = 50
285.62/203.39	c (4,0) x[66] = 90
285.62/203.39	c (4,0) x[67] = 124
285.62/203.39	c (4,0) x[68] = 49
285.62/203.39	c (4,0) x[69] = 106
285.62/203.39	c (4,0) x[70] = 95
285.62/203.39	c (4,0) x[71] = 72
285.62/203.39	c (4,0) x[72] = 79
285.62/203.39	c (4,0) x[73] = 167
285.62/203.39	c (4,0) x[74] = 70
285.62/203.39	c (4,0) x[75] = 148
285.62/203.39	c (4,0) x[76] = 33
285.62/203.39	c (4,0) x[77] = 3
285.62/203.39	c (4,0) x[78] = 74
285.62/203.39	c (4,0) x[79] = 19
285.62/203.39	c (4,0) x[80] = 149
285.62/203.39	c (4,0) x[81] = 122
285.62/203.39	c (4,0) x[82] = 100
285.62/203.39	c (4,0) x[83] = 11
285.62/203.39	c (4,0) x[84] = 23
285.90/203.40	c (4,0) x[85] = 53
285.90/203.40	c (4,0) x[86] = 35
285.90/203.40	c (4,0) x[87] = 64
285.90/203.40	c (4,0) x[88] = 166
285.90/203.40	c (4,0) x[89] = 99
285.90/203.40	c (4,0) x[90] = 128
285.90/203.40	c (4,0) x[91] = 150
285.90/203.40	c (4,0) x[92] = 88
285.90/203.40	c (4,0) x[93] = 78
285.90/203.40	c (4,0) x[94] = 151
285.90/203.40	c (4,0) x[95] = 71
285.90/203.40	c (4,0) x[96] = 193
285.90/203.40	c (4,0) x[97] = 157
285.90/203.40	c (4,0) x[98] = 126
285.90/203.40	c (4,0) x[99] = 156
285.90/203.40	c (4,0) x[100] = 96
285.90/203.40	c (4,0) x[101] = 169
285.90/203.40	c (4,0) x[102] = 181
285.90/203.40	c (4,0) x[103] = 36
285.90/203.40	c (4,0) x[104] = 131
285.90/203.40	c (4,0) x[105] = 195
285.90/203.40	c (4,0) x[106] = 153
285.90/203.40	c (4,0) x[107] = 110
285.90/203.40	c (4,0) x[108] = 138
285.90/203.40	c (4,0) x[109] = 85
285.90/203.40	c (4,0) x[110] = 56
285.90/203.40	c (4,0) x[111] = 86
285.90/203.40	c (4,0) x[112] = 81
285.90/203.40	c (4,0) x[113] = 118
285.90/203.40	c (4,0) x[114] = 191
285.90/203.40	c (4,0) x[115] = 30
285.90/203.40	c (4,0) x[116] = 20
285.90/203.40	c (4,0) x[117] = 192
285.90/203.40	c (4,0) x[118] = 6
285.90/203.40	c (4,0) x[119] = 160
285.90/203.40	s SATISFIABLE
285.90/203.41	v <instantiation>
285.90/203.41	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>
285.90/203.41	v     <values>0 13 29 63 104 130 134 137 180 185 32 65 89 94 189 26 42 133 115 1 41 142 143 83 135 97 5 58 147 171 183 9 87 172 92 187 111 164 197 57 129 24 101 120 139 144 25 98 123 152 14 113 82 91 105 114 188 161 12 75 146 103 112 18 162 50 90 124 49 106 95 72 79 167 70 148 33 3 74 19 149 122 100 11 23 53 35 64 166 99 128 150 88 78 151 71 193 157 126 156 96 169 181 36 131 195 153 110 138 85 56 86 81 118 191 30 20 192 6 160</values>
285.90/203.41	v </instantiation>
285.90/203.41	c (4,0) Show results End
285.90/203.41	c (4,0) Heap : 164 MiB used (max 3925 MiB), NonHeap : 18 MiB used (max 0 MiB)
285.90/203.41	c (4,0) 4,4,STOP-AFTER(ALL)
285.90/203.41	c END-Prog: Tue Sep 24 17:31:01 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 (12403 MiB free)
  memory of node 1: 16384 MiB (11517 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4405465-1569338895/watcher-4405465-1569338895 -o /var/tmp/evaluation-result-4405465-1569338895/solver-4405465-1569338895 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node126-1569335941-423 --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-4405465-1569338895.xml 

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

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

solver pid=1453, runsolver pid=1450

[startup+0.10011 s]*
/proc/loadavg: 1.22 3.98 5.13 2/213 1475
/proc/meminfo: memFree=24402308/32770624 swapFree=66996984/67108860
[pid=1453] ppid=1450 vsize=113128 memory=1400 CPUtime=0 cores=0-7
/proc/1453/stat : 1453 (scop.sh) S 1450 1453 395 0 -1 4202496 558 320 0 0 0 0 0 0 20 0 1 0 510157286 115843072 350 33554432000 4194304 5098028 140734944207600 140734944204856 139976962245244 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 27254784 140734944211708 140734944212056 140734944212056 140734944214985 0
/proc/1453/statm: 28282 350 297 221 0 87 0
[pid=1456] ppid=1453 vsize=27314120 memory=105532 CPUtime=0.1 cores=0-7
/proc/1456/stat : 1456 (java) S 1453 1453 395 0 -1 1077944320 6499 0 0 0 8 2 0 0 20 0 20 0 510157286 27969658880 26383 33554432000 4194304 4196468 140722607117920 140722607100464 140193605889783 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 6606848 140722607125191 140722607125638 140722607125638 140722607128527 0
/proc/1456/statm: 6828530 26383 2777 1 0 6790935 0
[pid=1456/tid=1457] ppid=1453 vsize=27314120 memory=-7024592270288534718 CPUtime=0.09 cores=0-7
/proc/1456/task/1457/stat : 1457 (java) R 1453 1453 395 0 -1 4202560 4622 0 0 0 7 2 0 0 20 0 20 0 510157287 27969658880 26448 33554432000 4194304 4196468 140722607117920 140193577724912 140193605901718 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 6606848 140722607125191 140722607125638 140722607125638 140722607128527 0
[pid=1456/tid=1458] ppid=1453 vsize=27314120 memory=3461361991549258287 CPUtime=0 cores=0-7
/proc/1456/task/1458/stat : 1458 (java) S 1453 1453 395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510157289 27969658880 26448 33554432000 4194304 4196468 140722607117920 140193610132624 140193605899989 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6606848 140722607125191 140722607125638 140722607125638 140722607128527 0
[pid=1456/tid=1459] ppid=1453 vsize=27314120 memory=140046012487296 CPUtime=0 cores=0-7
/proc/1456/task/1459/stat : 1459 (java) S 1453 1453 395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510157289 27969658880 26448 33554432000 4194304 4196468 140722607117920 140193028459536 140193605899989 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6606848 140722607125191 140722607125638 140722607125638 140722607128527 0
[pid=1456/tid=1460] ppid=1453 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1456/task/1460/stat : 1460 (java) S 1453 1453 395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510157289 27969658880 26448 33554432000 4194304 4196468 140722607117920 140193027406736 140193605899989 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6606848 140722607125191 140722607125638 140722607125638 140722607128527 0
[pid=1456/tid=1461] ppid=1453 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1456/task/1461/stat : 1461 (java) S 1453 1453 395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510157289 27969658880 26448 33554432000 4194304 4196468 140722607117920 140193026353936 140193605899989 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6606848 140722607125191 140722607125638 140722607125638 140722607128527 0
[pid=1456/tid=1462] ppid=1453 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1456/task/1462/stat : 1462 (java) S 1453 1453 395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510157289 27969658880 26448 33554432000 4194304 4196468 140722607117920 140193025301136 140193605899989 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6606848 140722607125191 140722607125638 140722607125638 140722607128527 0
[pid=1456/tid=1463] ppid=1453 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/1456/task/1463/stat : 1463 (java) S 1453 1453 395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510157289 27969658880 26448 33554432000 4194304 4196468 140722607117920 140193024248336 140193605899989 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6606848 140722607125191 140722607125638 140722607125638 140722607128527 0
[pid=1456/tid=1464] ppid=1453 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1456/task/1464/stat : 1464 (java) S 1453 1453 395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510157289 27969658880 26448 33554432000 4194304 4196468 140722607117920 140193023195536 140193605899989 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6606848 140722607125191 140722607125638 140722607125638 140722607128527 0
[pid=1456/tid=1465] ppid=1453 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1456/task/1465/stat : 1465 (java) S 1453 1453 395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510157289 27969658880 26448 33554432000 4194304 4196468 140722607117920 140193022142736 140193605899989 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6606848 140722607125191 140722607125638 140722607125638 140722607128527 0
[pid=1456/tid=1466] ppid=1453 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1456/task/1466/stat : 1466 (java) S 1453 1453 395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510157291 27969658880 26448 33554432000 4194304 4196468 140722607117920 140192731507568 140193605900930 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6606848 140722607125191 140722607125638 140722607125638 140722607128527 0
[pid=1456/tid=1467] ppid=1453 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1456/task/1467/stat : 1467 (java) S 1453 1453 395 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 510157291 27969658880 26448 33554432000 4194304 4196468 140722607117920 140191423522336 140193605899989 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6606848 140722607125191 140722607125638 140722607125638 140722607128527 0
[pid=1456/tid=1468] ppid=1453 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1456/task/1468/stat : 1468 (java) S 1453 1453 395 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 510157291 27969658880 26448 33554432000 4194304 4196468 140722607117920 140191289300336 140193605899989 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6606848 140722607125191 140722607125638 140722607125638 140722607128527 0
[pid=1456/tid=1469] ppid=1453 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1456/task/1469/stat : 1469 (java) S 1453 1453 395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510157294 27969658880 26448 33554432000 4194304 4196468 140722607117920 140190914795856 140193605908379 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6606848 140722607125191 140722607125638 140722607125638 140722607128527 0
[pid=1456/tid=1470] ppid=1453 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1456/task/1470/stat : 1470 (java) S 1453 1453 395 0 -1 1077944384 302 0 0 0 0 0 0 0 20 0 20 0 510157294 27969658880 26448 33554432000 4194304 4196468 140722607117920 140192730454384 140193605900930 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6606848 140722607125191 140722607125638 140722607125638 140722607128527 0
[pid=1456/tid=1471] ppid=1453 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1456/task/1471/stat : 1471 (java) R 1453 1453 395 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 20 0 510157294 27969658880 26448 33554432000 4194304 4196468 140722607117920 140192729401584 140193605900930 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 6606848 140722607125191 140722607125638 140722607125638 140722607128527 0
[pid=1456/tid=1472] ppid=1453 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1456/task/1472/stat : 1472 (java) S 1453 1453 395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510157294 27969658880 26448 33554432000 4194304 4196468 140722607117920 140192728348784 140193605900930 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6606848 140722607125191 140722607125638 140722607125638 140722607128527 0
[pid=1456/tid=1473] ppid=1453 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1456/task/1473/stat : 1473 (java) S 1453 1453 395 0 -1 1077944384 245 0 0 0 0 0 0 0 20 0 20 0 510157294 27969658880 26448 33554432000 4194304 4196468 140722607117920 140192727295984 140193605900930 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6606848 140722607125191 140722607125638 140722607125638 140722607128527 0
[pid=1456/tid=1474] ppid=1453 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1456/task/1474/stat : 1474 (java) S 1453 1453 395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510157294 27969658880 26448 33554432000 4194304 4196468 140722607117920 140190416890976 140193605899989 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6606848 140722607125191 140722607125638 140722607125638 140722607128527 0
[pid=1456/tid=1475] ppid=1453 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/1456/task/1475/stat : 1475 (java) S 1453 1453 395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510157294 27969658880 26448 33554432000 4194304 4196468 140722607117920 140192726244400 140193605900930 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6606848 140722607125191 140722607125638 140722607125638 140722607128527 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 106932 KiB

[startup+0.210375 s]*
/proc/loadavg: 1.22 3.98 5.13 4/213 1475
/proc/meminfo: memFree=24379872/32770624 swapFree=66996984/67108860
[pid=1453] ppid=1450 vsize=113128 memory=1400 CPUtime=0 cores=0-7
/proc/1453/stat : 1453 (scop.sh) S 1450 1453 395 0 -1 4202496 558 320 0 0 0 0 0 0 20 0 1 0 510157286 115843072 350 33554432000 4194304 5098028 140734944207600 140734944204856 139976962245244 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 27254784 140734944211708 140734944212056 140734944212056 140734944214985 0
/proc/1453/statm: 28282 350 297 221 0 87 0
[pid=1456] ppid=1453 vsize=27314120 memory=124944 CPUtime=0.24 cores=0-7
/proc/1456/stat : 1456 (java) S 1453 1453 395 0 -1 1077944320 12151 0 0 0 20 4 0 0 20 0 20 0 510157286 27969658880 31236 33554432000 4194304 4196468 140722607117920 140722607100464 140193605889783 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 6606848 140722607125191 140722607125638 140722607125638 140722607128527 0
/proc/1456/statm: 6828530 31236 2943 1 0 6790935 0
[pid=1456/tid=1457] ppid=1453 vsize=27314120 memory=8390339637985935414 CPUtime=0.19 cores=0-7
/proc/1456/task/1457/stat : 1457 (java) R 1453 1453 395 0 -1 4202560 9870 0 0 0 16 3 0 0 20 0 20 0 510157287 27969658880 31236 33554432000 4194304 4196468 140722607117920 140193577689168 140193586165082 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 6606848 140722607125191 140722607125638 140722607125638 140722607128527 0
[pid=1456/tid=1458] ppid=1453 vsize=27314120 memory=288230596134830103 CPUtime=0 cores=0-7
/proc/1456/task/1458/stat : 1458 (java) S 1453 1453 395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510157289 27969658880 31236 33554432000 4194304 4196468 140722607117920 140193610132624 140193605899989 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6606848 140722607125191 140722607125638 140722607125638 140722607128527 0
[pid=1456/tid=1459] ppid=1453 vsize=27314120 memory=4120992216218310304 CPUtime=0 cores=0-7
/proc/1456/task/1459/stat : 1459 (java) S 1453 1453 395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510157289 27969658880 31236 33554432000 4194304 4196468 140722607117920 140193028459536 140193605899989 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6606848 140722607125191 140722607125638 140722607125638 140722607128527 0
[pid=1456/tid=1460] ppid=1453 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/1456/task/1460/stat : 1460 (java) S 1453 1453 395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510157289 27969658880 31236 33554432000 4194304 4196468 140722607117920 140193027406736 140193605899989 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6606848 140722607125191 140722607125638 140722607125638 140722607128527 0
[pid=1456/tid=1461] ppid=1453 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1456/task/1461/stat : 1461 (java) S 1453 1453 395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510157289 27969658880 31236 33554432000 4194304 4196468 140722607117920 140193026353936 140193605899989 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6606848 140722607125191 140722607125638 140722607125638 140722607128527 0
[pid=1456/tid=1462] ppid=1453 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1456/task/1462/stat : 1462 (java) S 1453 1453 395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510157289 27969658880 31236 33554432000 4194304 4196468 140722607117920 140193025301136 140193605899989 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6606848 140722607125191 140722607125638 140722607125638 140722607128527 0
[pid=1456/tid=1463] ppid=1453 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/1456/task/1463/stat : 1463 (java) S 1453 1453 395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510157289 27969658880 31236 33554432000 4194304 4196468 140722607117920 140193024248336 140193605899989 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6606848 140722607125191 140722607125638 140722607125638 140722607128527 0
[pid=1456/tid=1464] ppid=1453 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1456/task/1464/stat : 1464 (java) S 1453 1453 395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510157289 27969658880 31236 33554432000 4194304 4196468 140722607117920 140193023195536 140193605899989 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6606848 140722607125191 140722607125638 140722607125638 140722607128527 0
[pid=1456/tid=1465] ppid=1453 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1456/task/1465/stat : 1465 (java) S 1453 1453 395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510157289 27969658880 31236 33554432000 4194304 4196468 140722607117920 140193022142736 140193605899989 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6606848 140722607125191 140722607125638 140722607125638 140722607128527 0
[pid=1456/tid=1466] ppid=1453 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1456/task/1466/stat : 1466 (java) S 1453 1453 395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510157291 27969658880 31236 33554432000 4194304 4196468 140722607117920 140192731507568 140193605900930 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6606848 140722607125191 140722607125638 140722607125638 140722607128527 0
[pid=1456/tid=1467] ppid=1453 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1456/task/1467/stat : 1467 (java) S 1453 1453 395 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 510157291 27969658880 31236 33554432000 4194304 4196468 140722607117920 140191423522336 140193605899989 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6606848 140722607125191 140722607125638 140722607125638 140722607128527 0
[pid=1456/tid=1468] ppid=1453 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1456/task/1468/stat : 1468 (java) S 1453 1453 395 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 510157291 27969658880 31236 33554432000 4194304 4196468 140722607117920 140191289300336 140193605899989 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6606848 140722607125191 140722607125638 140722607125638 140722607128527 0
[pid=1456/tid=1469] ppid=1453 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1456/task/1469/stat : 1469 (java) S 1453 1453 395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510157294 27969658880 31236 33554432000 4194304 4196468 140722607117920 140190914795856 140193605908379 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6606848 140722607125191 140722607125638 140722607125638 140722607128527 0
[pid=1456/tid=1470] ppid=1453 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1456/task/1470/stat : 1470 (java) S 1453 1453 395 0 -1 1077944384 302 0 0 0 0 0 0 0 20 0 20 0 510157294 27969658880 31236 33554432000 4194304 4196468 140722607117920 140192730454384 140193605900930 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6606848 140722607125191 140722607125638 140722607125638 140722607128527 0
[pid=1456/tid=1471] ppid=1453 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1456/task/1471/stat : 1471 (java) S 1453 1453 395 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 20 0 510157294 27969658880 31236 33554432000 4194304 4196468 140722607117920 140192729401584 140193605900930 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6606848 140722607125191 140722607125638 140722607125638 140722607128527 0
[pid=1456/tid=1472] ppid=1453 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/1456/task/1472/stat : 1472 (java) S 1453 1453 395 0 -1 1077944384 168 0 0 0 0 0 0 0 20 0 20 0 510157294 27969658880 31236 33554432000 4194304 4196468 140722607117920 140192728348784 140193605900930 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6606848 140722607125191 140722607125638 140722607125638 140722607128527 0
[pid=1456/tid=1473] ppid=1453 vsize=27314120 memory=0 CPUtime=0.02 cores=0-7
/proc/1456/task/1473/stat : 1473 (java) S 1453 1453 395 0 -1 1077944384 435 0 0 0 2 0 0 0 20 0 20 0 510157294 27969658880 31236 33554432000 4194304 4196468 140722607117920 140192727295984 140193605900930 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6606848 140722607125191 140722607125638 140722607125638 140722607128527 0
[pid=1456/tid=1474] ppid=1453 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1456/task/1474/stat : 1474 (java) S 1453 1453 395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510157294 27969658880 31236 33554432000 4194304 4196468 140722607117920 140190416890976 140193605899989 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6606848 140722607125191 140722607125638 140722607125638 140722607128527 0
[pid=1456/tid=1475] ppid=1453 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/1456/task/1475/stat : 1475 (java) S 1453 1453 395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510157294 27969658880 31236 33554432000 4194304 4196468 140722607117920 140192726244400 140193605900930 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6606848 140722607125191 140722607125638 140722607125638 140722607128527 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 126344 KiB

[startup+0.309682 s]*
/proc/loadavg: 1.22 3.98 5.13 2/213 1475
/proc/meminfo: memFree=24377328/32770624 swapFree=66996984/67108860
[pid=1453] ppid=1450 vsize=113128 memory=1400 CPUtime=0 cores=0-7
/proc/1453/stat : 1453 (scop.sh) S 1450 1453 395 0 -1 4202496 558 320 0 0 0 0 0 0 20 0 1 0 510157286 115843072 350 33554432000 4194304 5098028 140734944207600 140734944204856 139976962245244 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 27254784 140734944211708 140734944212056 140734944212056 140734944214985 0
/proc/1453/statm: 28282 350 297 221 0 87 0
[pid=1456] ppid=1453 vsize=27314120 memory=128288 CPUtime=0.42 cores=0-7
/proc/1456/stat : 1456 (java) S 1453 1453 395 0 -1 1077944320 12496 0 0 0 38 4 0 0 20 0 20 0 510157286 27969658880 32072 33554432000 4194304 4196468 140722607117920 140722607100464 140193605889783 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 6606848 140722607125191 140722607125638 140722607125638 140722607128527 0
/proc/1456/statm: 6828530 32072 3021 1 0 6790935 0
[pid=1456/tid=1457] ppid=1453 vsize=27314120 memory=1398722017469774279 CPUtime=0.29 cores=0-7
/proc/1456/task/1457/stat : 1457 (java) R 1453 1453 395 0 -1 4202560 10054 0 0 0 26 3 0 0 20 0 20 0 510157287 27969658880 32072 33554432000 4194304 4196468 140722607117920 140193577705264 140193589970270 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 6606848 140722607125191 140722607125638 140722607125638 140722607128527 0
[pid=1456/tid=1458] ppid=1453 vsize=27314120 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/1456/task/1458/stat : 1458 (java) S 1453 1453 395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510157289 27969658880 32072 33554432000 4194304 4196468 140722607117920 140193610132624 140193605899989 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6606848 140722607125191 140722607125638 140722607125638 140722607128527 0
[pid=1456/tid=1459] ppid=1453 vsize=27314120 memory=4076 CPUtime=0 cores=0-7
/proc/1456/task/1459/stat : 1459 (java) S 1453 1453 395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510157289 27969658880 32072 33554432000 4194304 4196468 140722607117920 140193028459536 140193605899989 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6606848 140722607125191 140722607125638 140722607125638 140722607128527 0
[pid=1456/tid=1460] ppid=1453 vsize=27314120 memory=2836 CPUtime=0 cores=0-7
/proc/1456/task/1460/stat : 1460 (java) S 1453 1453 395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510157289 27969658880 32072 33554432000 4194304 4196468 140722607117920 140193027406736 140193605899989 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6606848 140722607125191 140722607125638 140722607125638 140722607128527 0
[pid=1456/tid=1461] ppid=1453 vsize=27314120 memory=1540 CPUtime=0 cores=0-7
/proc/1456/task/1461/stat : 1461 (java) S 1453 1453 395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510157289 27969658880 32072 33554432000 4194304 4196468 140722607117920 140193026353936 140193605899989 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6606848 140722607125191 140722607125638 140722607125638 140722607128527 0
[pid=1456/tid=1462] ppid=1453 vsize=27314120 memory=1732 CPUtime=0 cores=0-7
/proc/1456/task/1462/stat : 1462 (java) S 1453 1453 395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510157289 27969658880 32072 33554432000 4194304 4196468 140722607117920 140193025301136 140193605899989 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6606848 140722607125191 140722607125638 140722607125638 140722607128527 0
[pid=1456/tid=1463] ppid=1453 vsize=27314120 memory=6128 CPUtime=0 cores=0-7
/proc/1456/task/1463/stat : 1463 (java) S 1453 1453 395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510157289 27969658880 32072 33554432000 4194304 4196468 140722607117920 140193024248336 140193605899989 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6606848 140722607125191 140722607125638 140722607125638 140722607128527 0
[pid=1456/tid=1464] ppid=1453 vsize=27314120 memory=772 CPUtime=0 cores=0-7
/proc/1456/task/1464/stat : 1464 (java) S 1453 1453 395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510157289 27969658880 32072 33554432000 4194304 4196468 140722607117920 140193023195536 140193605899989 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6606848 140722607125191 140722607125638 140722607125638 140722607128527 0
[pid=1456/tid=1465] ppid=1453 vsize=27314120 memory=952 CPUtime=0 cores=0-7
/proc/1456/task/1465/stat : 1465 (java) S 1453 1453 395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510157289 27969658880 32072 33554432000 4194304 4196468 140722607117920 140193022142736 140193605899989 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6606848 140722607125191 140722607125638 140722607125638 140722607128527 0
[pid=1456/tid=1466] ppid=1453 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1456/task/1466/stat : 1466 (java) S 1453 1453 395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510157291 27969658880 32072 33554432000 4194304 4196468 140722607117920 140192731507568 140193605900930 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6606848 140722607125191 140722607125638 140722607125638 140722607128527 0
[pid=1456/tid=1467] ppid=1453 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1456/task/1467/stat : 1467 (java) S 1453 1453 395 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 510157291 27969658880 32072 33554432000 4194304 4196468 140722607117920 140191423522336 140193605899989 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6606848 140722607125191 140722607125638 140722607125638 140722607128527 0
[pid=1456/tid=1468] ppid=1453 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1456/task/1468/stat : 1468 (java) S 1453 1453 395 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 510157291 27969658880 32072 33554432000 4194304 4196468 140722607117920 140191289300336 140193605899989 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6606848 140722607125191 140722607125638 140722607125638 140722607128527 0
[pid=1456/tid=1469] ppid=1453 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1456/task/1469/stat : 1469 (java) S 1453 1453 395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510157294 27969658880 32072 33554432000 4194304 4196468 140722607117920 140190914795856 140193605908379 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6606848 140722607125191 140722607125638 140722607125638 140722607128527 0
[pid=1456/tid=1470] ppid=1453 vsize=27314120 memory=140045864502735 CPUtime=0.01 cores=0-7
/proc/1456/task/1470/stat : 1470 (java) R 1453 1453 395 0 -1 4202560 390 0 0 0 1 0 0 0 20 0 20 0 510157294 27969658880 32072 33554432000 4194304 4196468 140722607117920 140192730454384 140193589354048 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 6606848 140722607125191 140722607125638 140722607125638 140722607128527 0
[pid=1456/tid=1471] ppid=1453 vsize=27314120 memory=67 CPUtime=0 cores=0-7
/proc/1456/task/1471/stat : 1471 (java) S 1453 1453 395 0 -1 1077944384 28 0 0 0 0 0 0 0 20 0 20 0 510157294 27969658880 32072 33554432000 4194304 4196468 140722607117920 140192729401584 140193605900930 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6606848 140722607125191 140722607125638 140722607125638 140722607128527 0
[pid=1456/tid=1472] ppid=1453 vsize=27314120 memory=51172 CPUtime=0.01 cores=0-7
/proc/1456/task/1472/stat : 1472 (java) S 1453 1453 395 0 -1 1077944384 216 0 0 0 1 0 0 0 20 0 20 0 510157294 27969658880 32072 33554432000 4194304 4196468 140722607117920 140192728348784 140193605900930 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6606848 140722607125191 140722607125638 140722607125638 140722607128527 0
[pid=1456/tid=1473] ppid=1453 vsize=27314120 memory=53476 CPUtime=0.07 cores=0-7
/proc/1456/task/1473/stat : 1473 (java) S 1453 1453 395 0 -1 1077944384 457 0 0 0 7 0 0 0 20 0 20 0 510157294 27969658880 32072 33554432000 4194304 4196468 140722607117920 140192727295984 140193605900930 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6606848 140722607125191 140722607125638 140722607125638 140722607128527 0
[pid=1456/tid=1474] ppid=1453 vsize=27314120 memory=110297088 CPUtime=0 cores=0-7
/proc/1456/task/1474/stat : 1474 (java) S 1453 1453 395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510157294 27969658880 32072 33554432000 4194304 4196468 140722607117920 140190416890976 140193605899989 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6606848 140722607125191 140722607125638 140722607125638 140722607128527 0
[pid=1456/tid=1475] ppid=1453 vsize=27314120 memory=115843071 CPUtime=0 cores=0-7
/proc/1456/task/1475/stat : 1475 (java) S 1453 1453 395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510157294 27969658880 32072 33554432000 4194304 4196468 140722607117920 140192726244400 140193605900930 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6606848 140722607125191 140722607125638 140722607125638 140722607128527 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 129688 KiB

[startup+0.70087 s]
/proc/loadavg: 1.22 3.98 5.13 2/213 1475
/proc/meminfo: memFree=24356356/32770624 swapFree=66996984/67108860
[pid=1453] ppid=1450 vsize=113128 memory=1400 CPUtime=0 cores=0-7
/proc/1453/stat : 1453 (scop.sh) S 1450 1453 395 0 -1 4202496 558 320 0 0 0 0 0 0 20 0 1 0 510157286 115843072 350 33554432000 4194304 5098028 140734944207600 140734944204856 139976962245244 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 27254784 140734944211708 140734944212056 140734944212056 140734944214985 0
/proc/1453/statm: 28282 350 297 221 0 87 0
[pid=1456] ppid=1453 vsize=27320392 memory=162636 CPUtime=0.99 cores=0-7
/proc/1456/stat : 1456 (java) S 1453 1453 395 0 -1 1077944320 19798 0 0 0 91 8 0 0 20 0 20 0 510157286 27976081408 40659 33554432000 4194304 4196468 140722607117920 140722607100464 140193605889783 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 6606848 140722607125191 140722607125638 140722607125638 140722607128527 0
/proc/1456/statm: 6830098 40659 3176 1 0 6791447 0
[pid=1456/tid=1457] ppid=1453 vsize=27320392 memory=6935649255759568960 CPUtime=0.68 cores=0-7
/proc/1456/task/1457/stat : 1457 (java) R 1453 1453 395 0 -1 4202560 16966 0 0 0 62 6 0 0 20 0 20 0 510157287 27976081408 40659 33554432000 4194304 4196468 140722607117920 140193577728240 140193109395920 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 6606848 140722607125191 140722607125638 140722607125638 140722607128527 0
[pid=1456/tid=1458] ppid=1453 vsize=27320392 memory=7516877558933116245 CPUtime=0 cores=0-7
/proc/1456/task/1458/stat : 1458 (java) S 1453 1453 395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510157289 27976081408 40659 33554432000 4194304 4196468 140722607117920 140193610132624 140193605899989 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6606848 140722607125191 140722607125638 140722607125638 140722607128527 0
[pid=1456/tid=1459] ppid=1453 vsize=27320392 memory=164 CPUtime=0 cores=0-7
/proc/1456/task/1459/stat : 1459 (java) S 1453 1453 395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510157289 27976081408 40659 33554432000 4194304 4196468 140722607117920 140193028459536 140193605899989 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6606848 140722607125191 140722607125638 140722607125638 140722607128527 0
[pid=1456/tid=1460] ppid=1453 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/1456/task/1460/stat : 1460 (java) S 1453 1453 395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510157289 27976081408 40659 33554432000 4194304 4196468 140722607117920 140193027406736 140193605899989 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6606848 140722607125191 140722607125638 140722607125638 140722607128527 0

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

[pid=1496/tid=1499] ppid=1453 vsize=8414124 memory=1400 CPUtime=0 cores=0-7
/proc/1496/task/1499/stat : 1499 (java) S 1453 1453 395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510177090 8616062976 30194 33554432000 4194304 4196468 140727319601792 140527992142864 140528187741909 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22011904 140727319610336 140727319610502 140727319610502 140727319613391 0
[pid=1496/tid=1500] ppid=1453 vsize=8414124 memory=10606040 CPUtime=0 cores=0-7
/proc/1496/task/1500/stat : 1500 (java) S 1453 1453 395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510177090 8616062976 30194 33554432000 4194304 4196468 140727319601792 140527991090064 140528187741909 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22011904 140727319610336 140727319610502 140727319610502 140727319613391 0
[pid=1496/tid=1501] ppid=1453 vsize=8414124 memory=1400 CPUtime=0 cores=0-7
/proc/1496/task/1501/stat : 1501 (java) S 1453 1453 395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510177090 8616062976 30194 33554432000 4194304 4196468 140727319601792 140527990037264 140528187741909 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22011904 140727319610336 140727319610502 140727319610502 140727319613391 0
[pid=1496/tid=1502] ppid=1453 vsize=8414124 memory=4100 CPUtime=0 cores=0-7
/proc/1496/task/1502/stat : 1502 (java) S 1453 1453 395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510177090 8616062976 30194 33554432000 4194304 4196468 140727319601792 140527988984464 140528187741909 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22011904 140727319610336 140727319610502 140727319610502 140727319613391 0
[pid=1496/tid=1503] ppid=1453 vsize=8414124 memory=1804 CPUtime=0 cores=0-7
/proc/1496/task/1503/stat : 1503 (java) S 1453 1453 395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510177090 8616062976 30194 33554432000 4194304 4196468 140727319601792 140527987931664 140528187741909 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22011904 140727319610336 140727319610502 140727319610502 140727319613391 0
[pid=1496/tid=1504] ppid=1453 vsize=8414124 memory=920 CPUtime=0 cores=0-7
/proc/1496/task/1504/stat : 1504 (java) S 1453 1453 395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510177090 8616062976 30194 33554432000 4194304 4196468 140727319601792 140527986878864 140528187741909 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22011904 140727319610336 140727319610502 140727319610502 140727319613391 0
[pid=1496/tid=1505] ppid=1453 vsize=8414124 memory=4456 CPUtime=0 cores=0-7
/proc/1496/task/1505/stat : 1505 (java) S 1453 1453 395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510177090 8616062976 30194 33554432000 4194304 4196468 140727319601792 140527985826064 140528187741909 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22011904 140727319610336 140727319610502 140727319610502 140727319613391 0
[pid=1496/tid=1506] ppid=1453 vsize=8414124 memory=984 CPUtime=0 cores=0-7
/proc/1496/task/1506/stat : 1506 (java) S 1453 1453 395 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 510177092 8616062976 30194 33554432000 4194304 4196468 140727319601792 140527281253232 140528187742850 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22011904 140727319610336 140727319610502 140727319610502 140727319613391 0
[pid=1496/tid=1507] ppid=1453 vsize=8414124 memory=2004 CPUtime=0 cores=0-7
/proc/1496/task/1507/stat : 1507 (java) S 1453 1453 395 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 510177092 8616062976 30194 33554432000 4194304 4196468 140727319601792 140526699406880 140528187741909 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22011904 140727319610336 140727319610502 140727319610502 140727319613391 0
[pid=1496/tid=1508] ppid=1453 vsize=8414124 memory=1428 CPUtime=0 cores=0-7
/proc/1496/task/1508/stat : 1508 (java) S 1453 1453 395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510177092 8616062976 30194 33554432000 4194304 4196468 140727319601792 140526430971248 140528187741909 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22011904 140727319610336 140727319610502 140727319610502 140727319613391 0
[pid=1496/tid=1509] ppid=1453 vsize=8414124 memory=1060 CPUtime=0 cores=0-7
/proc/1496/task/1509/stat : 1509 (java) S 1453 1453 395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510177095 8616062976 30194 33554432000 4194304 4196468 140727319601792 140526056462672 140528187750299 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22011904 140727319610336 140727319610502 140727319610502 140727319613391 0
[pid=1496/tid=1510] ppid=1453 vsize=8414124 memory=740 CPUtime=0.06 cores=0-7
/proc/1496/task/1510/stat : 1510 (java) S 1453 1453 395 0 -1 1077944384 477 0 0 0 6 0 0 0 20 0 24 0 510177095 8616062976 30194 33554432000 4194304 4196468 140727319601792 140527280200048 140528187742850 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22011904 140727319610336 140727319610502 140727319610502 140727319613391 0
[pid=1496/tid=1511] ppid=1453 vsize=8414124 memory=1228 CPUtime=0.06 cores=0-7
/proc/1496/task/1511/stat : 1511 (java) S 1453 1453 395 0 -1 1077944384 401 0 0 0 6 0 0 0 20 0 24 0 510177095 8616062976 30194 33554432000 4194304 4196468 140727319601792 140527279147248 140528187742850 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22011904 140727319610336 140727319610502 140727319610502 140727319613391 0
[pid=1496/tid=1512] ppid=1453 vsize=8414124 memory=1476 CPUtime=0.06 cores=0-7
/proc/1496/task/1512/stat : 1512 (java) S 1453 1453 395 0 -1 1077944384 290 0 0 0 6 0 0 0 20 0 24 0 510177095 8616062976 30194 33554432000 4194304 4196468 140727319601792 140527278094448 140528187742850 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22011904 140727319610336 140727319610502 140727319610502 140727319613391 0
[pid=1496/tid=1513] ppid=1453 vsize=8414124 memory=120776 CPUtime=0.22 cores=0-7
/proc/1496/task/1513/stat : 1513 (java) S 1453 1453 395 0 -1 1077944384 592 0 0 0 22 0 0 0 20 0 24 0 510177095 8616062976 30194 33554432000 4194304 4196468 140727319601792 140527277041648 140528187742850 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22011904 140727319610336 140727319610502 140727319610502 140727319613391 0
[pid=1496/tid=1514] ppid=1453 vsize=8414124 memory=1816588 CPUtime=0 cores=0-7
/proc/1496/task/1514/stat : 1514 (java) S 1453 1453 395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510177095 8616062976 30194 33554432000 4194304 4196468 140727319601792 140525558557792 140528187741909 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22011904 140727319610336 140727319610502 140727319610502 140727319613391 0
[pid=1496/tid=1515] ppid=1453 vsize=8414124 memory=2836 CPUtime=0 cores=0-7
/proc/1496/task/1515/stat : 1515 (java) S 1453 1453 395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510177096 8616062976 30194 33554432000 4194304 4196468 140727319601792 140527275990064 140528187742850 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22011904 140727319610336 140727319610502 140727319610502 140727319613391 0
[pid=1496/tid=1517] ppid=1453 vsize=8414124 memory=1540 CPUtime=0 cores=0-7
/proc/1496/task/1517/stat : 1517 (java) S 1453 1453 395 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 510177164 8616062976 30194 33554432000 4194304 4196468 140727319601792 140527267956288 140528187756313 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 22011904 140727319610336 140727319610502 140727319610502 140727319613391 0
[pid=1496/tid=1519] ppid=1453 vsize=8414124 memory=1732 CPUtime=0 cores=0-7
/proc/1496/task/1519/stat : 1519 (java) S 1453 1453 395 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 24 0 510177164 8616062976 30194 33554432000 4194304 4196468 140727319601792 140524887457424 140528187753629 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 22011904 140727319610336 140727319610502 140727319610502 140727319613391 0
[pid=1496/tid=1520] ppid=1453 vsize=8414124 memory=6128 CPUtime=0 cores=0-7
/proc/1496/task/1520/stat : 1520 (java) S 1453 1453 395 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 510177164 8616062976 30194 33554432000 4194304 4196468 140727319601792 140525155892752 140528187753629 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 22011904 140727319610336 140727319610502 140727319610502 140727319613391 0
[pid=1496/tid=1522] ppid=1453 vsize=8414124 memory=772 CPUtime=0 cores=0-7
/proc/1496/task/1522/stat : 1522 (java) S 1453 1453 395 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 510177166 8616062976 30194 33554432000 4194304 4196468 140727319601792 140524619029552 140528187741909 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22011904 140727319610336 140727319610502 140727319610502 140727319613391 0
Current children cumulated CPU time: 280.68 s
Current children cumulated vsize: 12040604 KiB
Current children cumulated memory: 3076872 KiB

[startup+203.202 s]
/proc/loadavg: 1.59 2.65 4.37 5/221 1533
/proc/meminfo: memFree=21269532/32770624 swapFree=66996984/67108860
[pid=1453] ppid=1450 vsize=113128 memory=1476 CPUtime=271.83 cores=0-7
/proc/1453/stat : 1453 (scop.sh) S 1450 1453 395 0 -1 4202496 584 104301 0 0 0 0 25831 1352 20 0 1 0 510157286 115843072 369 33554432000 4194304 5098028 140734944207600 140734944204344 139976962245244 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 27254784 140734944211708 140734944212056 140734944212056 140734944214985 0
/proc/1453/statm: 28282 369 311 221 0 87 0
[pid=1496] ppid=1453 vsize=8414124 memory=131544 CPUtime=1.4 cores=0-7
/proc/1496/stat : 1496 (java) S 1453 1453 395 0 -1 1077944320 20812 0 0 0 132 8 0 0 20 0 24 0 510177088 8616062976 32886 33554432000 4194304 4196468 140727319601792 140727319584336 140528187731703 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 22011904 140727319610336 140727319610502 140727319610502 140727319613391 0
/proc/1496/statm: 2103531 32886 3220 1 0 2064875 0
[pid=1496/tid=1497] ppid=1453 vsize=8414124 memory=358816 CPUtime=0.77 cores=0-7
/proc/1496/task/1497/stat : 1497 (java) S 1453 1453 395 0 -1 1077944384 16941 0 0 0 72 5 0 0 20 0 24 0 510177089 8616062976 32886 33554432000 4194304 4196468 140727319601792 140528159571872 140528187741909 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22011904 140727319610336 140727319610502 140727319610502 140727319613391 0
[pid=1496/tid=1498] ppid=1453 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/1496/task/1498/stat : 1498 (java) S 1453 1453 395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510177090 8616062976 32886 33554432000 4194304 4196468 140727319601792 140528191974544 140528187741909 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22011904 140727319610336 140727319610502 140727319610502 140727319613391 0
[pid=1496/tid=1499] ppid=1453 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/1496/task/1499/stat : 1499 (java) S 1453 1453 395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510177090 8616062976 32886 33554432000 4194304 4196468 140727319601792 140527992142864 140528187741909 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22011904 140727319610336 140727319610502 140727319610502 140727319613391 0
[pid=1496/tid=1500] ppid=1453 vsize=8414124 memory=120776 CPUtime=0 cores=0-7
/proc/1496/task/1500/stat : 1500 (java) S 1453 1453 395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510177090 8616062976 32886 33554432000 4194304 4196468 140727319601792 140527991090064 140528187741909 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22011904 140727319610336 140727319610502 140727319610502 140727319613391 0
[pid=1496/tid=1501] ppid=1453 vsize=8414124 memory=2928984 CPUtime=0 cores=0-7
/proc/1496/task/1501/stat : 1501 (java) S 1453 1453 395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510177090 8616062976 32886 33554432000 4194304 4196468 140727319601792 140527990037264 140528187741909 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22011904 140727319610336 140727319610502 140727319610502 140727319613391 0
[pid=1496/tid=1502] ppid=1453 vsize=8414124 memory=-7028383565733675155 CPUtime=0 cores=0-7
/proc/1496/task/1502/stat : 1502 (java) S 1453 1453 395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510177090 8616062976 32886 33554432000 4194304 4196468 140727319601792 140527988984464 140528187741909 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22011904 140727319610336 140727319610502 140727319610502 140727319613391 0
[pid=1496/tid=1503] ppid=1453 vsize=8414124 memory=-5874771483550381248 CPUtime=0 cores=0-7
/proc/1496/task/1503/stat : 1503 (java) S 1453 1453 395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510177090 8616062976 32886 33554432000 4194304 4196468 140727319601792 140527987931664 140528187741909 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22011904 140727319610336 140727319610502 140727319610502 140727319613391 0
[pid=1496/tid=1504] ppid=1453 vsize=8414124 memory=1736 CPUtime=0 cores=0-7
/proc/1496/task/1504/stat : 1504 (java) S 1453 1453 395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510177090 8616062976 32886 33554432000 4194304 4196468 140727319601792 140527986878864 140528187741909 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22011904 140727319610336 140727319610502 140727319610502 140727319613391 0
[pid=1496/tid=1505] ppid=1453 vsize=8414124 memory=10721256 CPUtime=0 cores=0-7
/proc/1496/task/1505/stat : 1505 (java) S 1453 1453 395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510177090 8616062976 32886 33554432000 4194304 4196468 140727319601792 140527985826064 140528187741909 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22011904 140727319610336 140727319610502 140727319610502 140727319613391 0
[pid=1496/tid=1506] ppid=1453 vsize=8414124 memory=1428 CPUtime=0 cores=0-7
/proc/1496/task/1506/stat : 1506 (java) S 1453 1453 395 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 510177092 8616062976 32886 33554432000 4194304 4196468 140727319601792 140527281253232 140528187742850 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22011904 140727319610336 140727319610502 140727319610502 140727319613391 0
[pid=1496/tid=1507] ppid=1453 vsize=8414124 memory=1060 CPUtime=0 cores=0-7
/proc/1496/task/1507/stat : 1507 (java) S 1453 1453 395 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 510177092 8616062976 32886 33554432000 4194304 4196468 140727319601792 140526699406880 140528187741909 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22011904 140727319610336 140727319610502 140727319610502 140727319613391 0
[pid=1496/tid=1508] ppid=1453 vsize=8414124 memory=6791534058613427641 CPUtime=0 cores=0-7
/proc/1496/task/1508/stat : 1508 (java) S 1453 1453 395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510177092 8616062976 32886 33554432000 4194304 4196468 140727319601792 140526430971248 140528187741909 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22011904 140727319610336 140727319610502 140727319610502 140727319613391 0
[pid=1496/tid=1509] ppid=1453 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/1496/task/1509/stat : 1509 (java) S 1453 1453 395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510177095 8616062976 32886 33554432000 4194304 4196468 140727319601792 140526056462672 140528187750299 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22011904 140727319610336 140727319610502 140727319610502 140727319613391 0
[pid=1496/tid=1510] ppid=1453 vsize=8414124 memory=120776 CPUtime=0.09 cores=0-7
/proc/1496/task/1510/stat : 1510 (java) S 1453 1453 395 0 -1 1077944384 671 0 0 0 9 0 0 0 20 0 24 0 510177095 8616062976 32886 33554432000 4194304 4196468 140727319601792 140527280200048 140528187742850 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22011904 140727319610336 140727319610502 140727319610502 140727319613391 0
[pid=1496/tid=1511] ppid=1453 vsize=8414124 memory=69900 CPUtime=0.08 cores=0-7
/proc/1496/task/1511/stat : 1511 (java) S 1453 1453 395 0 -1 1077944384 413 0 0 0 8 0 0 0 20 0 24 0 510177095 8616062976 32886 33554432000 4194304 4196468 140727319601792 140527279147248 140528187742850 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22011904 140727319610336 140727319610502 140727319610502 140727319613391 0
[pid=1496/tid=1512] ppid=1453 vsize=8414124 memory=8112282956445269571 CPUtime=0.09 cores=0-7
/proc/1496/task/1512/stat : 1512 (java) S 1453 1453 395 0 -1 1077944384 308 0 0 0 9 0 0 0 20 0 24 0 510177095 8616062976 32886 33554432000 4194304 4196468 140727319601792 140527278094448 140528187742850 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22011904 140727319610336 140727319610502 140727319610502 140727319613391 0
[pid=1496/tid=1513] ppid=1453 vsize=8414124 memory=1984 CPUtime=0.25 cores=0-7
/proc/1496/task/1513/stat : 1513 (java) S 1453 1453 395 0 -1 1077944384 1051 0 0 0 25 0 0 0 20 0 24 0 510177095 8616062976 32886 33554432000 4194304 4196468 140727319601792 140527277041648 140528187742850 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22011904 140727319610336 140727319610502 140727319610502 140727319613391 0
[pid=1496/tid=1514] ppid=1453 vsize=8414124 memory=2672 CPUtime=0 cores=0-7
/proc/1496/task/1514/stat : 1514 (java) S 1453 1453 395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510177095 8616062976 32886 33554432000 4194304 4196468 140727319601792 140525558557792 140528187741909 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22011904 140727319610336 140727319610502 140727319610502 140727319613391 0
[pid=1496/tid=1515] ppid=1453 vsize=8414124 memory=1440 CPUtime=0 cores=0-7
/proc/1496/task/1515/stat : 1515 (java) S 1453 1453 395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510177096 8616062976 32886 33554432000 4194304 4196468 140727319601792 140527275990064 140528187742850 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22011904 140727319610336 140727319610502 140727319610502 140727319613391 0
[pid=1496/tid=1517] ppid=1453 vsize=8414124 memory=-4075877051373423738 CPUtime=0 cores=0-7
/proc/1496/task/1517/stat : 1517 (java) S 1453 1453 395 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 510177164 8616062976 32886 33554432000 4194304 4196468 140727319601792 140527267956288 140528187756313 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 22011904 140727319610336 140727319610502 140727319610502 140727319613391 0
[pid=1496/tid=1519] ppid=1453 vsize=8414124 memory=1764 CPUtime=0.05 cores=0-7
/proc/1496/task/1519/stat : 1519 (java) R 1453 1453 395 0 -1 4202560 51 0 0 0 5 0 0 0 20 0 24 0 510177164 8616062976 32886 33554432000 4194304 4196468 140727319601792 140524887457488 140528171812190 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22011904 140727319610336 140727319610502 140727319610502 140727319613391 0
[pid=1496/tid=1520] ppid=1453 vsize=8414124 memory=111628 CPUtime=0 cores=0-7
/proc/1496/task/1520/stat : 1520 (java) S 1453 1453 395 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 510177164 8616062976 32886 33554432000 4194304 4196468 140727319601792 140525155892752 140528187753629 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 22011904 140727319610336 140727319610502 140727319610502 140727319613391 0
[pid=1496/tid=1522] ppid=1453 vsize=8414124 memory=804 CPUtime=0 cores=0-7
/proc/1496/task/1522/stat : 1522 (java) S 1453 1453 395 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 510177166 8616062976 32886 33554432000 4194304 4196468 140727319601792 140524619029552 140528187741909 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22011904 140727319610336 140727319610502 140727319610502 140727319613391 0
Current children cumulated CPU time: 273.23 s
Current children cumulated vsize: 8527252 KiB
Current children cumulated memory: 133020 KiB

[startup+203.401 s]
/proc/loadavg: 1.59 2.65 4.37 5/221 1533
/proc/meminfo: memFree=21269532/32770624 swapFree=66996984/67108860
[pid=1453] ppid=1450 vsize=113128 memory=1476 CPUtime=271.83 cores=0-7
/proc/1453/stat : 1453 (scop.sh) S 1450 1453 395 0 -1 4202496 584 104301 0 0 0 0 25831 1352 20 0 1 0 510157286 115843072 369 33554432000 4194304 5098028 140734944207600 140734944204344 139976962245244 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 27254784 140734944211708 140734944212056 140734944212056 140734944214985 0
/proc/1453/statm: 28282 369 311 221 0 87 0
[pid=1496] ppid=1453 vsize=8284072 memory=158040 CPUtime=14.07 cores=0-7
/proc/1496/stat : 1496 (java) S 1453 1453 395 0 -1 1077944320 22337 380625 0 0 178 9 1101 119 20 0 22 0 510177088 8482889728 39510 33554432000 4194304 4196468 140727319601792 140727319584336 140528187731703 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 22011904 140727319610336 140727319610502 140727319610502 140727319613391 0
/proc/1496/statm: 2071018 39510 3232 1 0 2032362 0
[pid=1496/tid=1497] ppid=1453 vsize=8284072 memory=8112282956445269571 CPUtime=13.1 cores=0-7
/proc/1496/task/1497/stat : 1497 (java) R 1453 1453 395 0 -1 4202560 17968 380625 0 0 84 6 1101 119 20 0 22 0 510177089 8482889728 39510 33554432000 4194304 4196468 140727319601792 140528159558432 140528180411421 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 22011904 140727319610336 140727319610502 140727319610502 140727319613391 0
[pid=1496/tid=1498] ppid=1453 vsize=8284072 memory=1060 CPUtime=12.2 cores=0-7
/proc/1496/task/1498/stat : 1498 (java) S 1453 1453 395 0 -1 1077944384 1 380625 0 0 0 0 1101 119 20 0 22 0 510177090 8482889728 39510 33554432000 4194304 4196468 140727319601792 140528191974544 140528187741909 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22011904 140727319610336 140727319610502 140727319610502 140727319613391 0
[pid=1496/tid=1499] ppid=1453 vsize=8284072 memory=740 CPUtime=12.2 cores=0-7
/proc/1496/task/1499/stat : 1499 (java) S 1453 1453 395 0 -1 1077944384 1 380625 0 0 0 0 1101 119 20 0 22 0 510177090 8482889728 39510 33554432000 4194304 4196468 140727319601792 140527992142864 140528187741909 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22011904 140727319610336 140727319610502 140727319610502 140727319613391 0
[pid=1496/tid=1500] ppid=1453 vsize=8284072 memory=1228 CPUtime=12.2 cores=0-7
/proc/1496/task/1500/stat : 1500 (java) S 1453 1453 395 0 -1 1077944384 1 380625 0 0 0 0 1101 119 20 0 22 0 510177090 8482889728 39510 33554432000 4194304 4196468 140727319601792 140527991090064 140528187741909 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22011904 140727319610336 140727319610502 140727319610502 140727319613391 0
[pid=1496/tid=1501] ppid=1453 vsize=8284072 memory=5867 CPUtime=12.2 cores=0-7
/proc/1496/task/1501/stat : 1501 (java) S 1453 1453 395 0 -1 1077944384 3 380625 0 0 0 0 1101 119 20 0 22 0 510177090 8482889728 39510 33554432000 4194304 4196468 140727319601792 140527990037264 140528187741909 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22011904 140727319610336 140727319610502 140727319610502 140727319613391 0
[pid=1496/tid=1502] ppid=1453 vsize=8284072 memory=0 CPUtime=12.2 cores=0-7
/proc/1496/task/1502/stat : 1502 (java) S 1453 1453 395 0 -1 1077944384 1 380625 0 0 0 0 1101 119 20 0 22 0 510177090 8482889728 39510 33554432000 4194304 4196468 140727319601792 140527988984464 140528187741909 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22011904 140727319610336 140727319610502 140727319610502 140727319613391 0
[pid=1496/tid=1503] ppid=1453 vsize=8284072 memory=0 CPUtime=12.2 cores=0-7
/proc/1496/task/1503/stat : 1503 (java) S 1453 1453 395 0 -1 1077944384 1 380625 0 0 0 0 1101 119 20 0 22 0 510177090 8482889728 39510 33554432000 4194304 4196468 140727319601792 140527987931664 140528187741909 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22011904 140727319610336 140727319610502 140727319610502 140727319613391 0
[pid=1496/tid=1504] ppid=1453 vsize=8284072 memory=2414 CPUtime=12.2 cores=0-7
/proc/1496/task/1504/stat : 1504 (java) S 1453 1453 395 0 -1 1077944384 2 380625 0 0 0 0 1101 119 20 0 22 0 510177090 8482889728 39510 33554432000 4194304 4196468 140727319601792 140527986878864 140528187741909 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22011904 140727319610336 140727319610502 140727319610502 140727319613391 0
[pid=1496/tid=1505] ppid=1453 vsize=8284072 memory=0 CPUtime=12.2 cores=0-7
/proc/1496/task/1505/stat : 1505 (java) S 1453 1453 395 0 -1 1077944384 1 380625 0 0 0 0 1101 119 20 0 22 0 510177090 8482889728 39510 33554432000 4194304 4196468 140727319601792 140527985826064 140528187741909 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22011904 140727319610336 140727319610502 140727319610502 140727319613391 0
[pid=1496/tid=1506] ppid=1453 vsize=8284072 memory=37 CPUtime=12.2 cores=0-7
/proc/1496/task/1506/stat : 1506 (java) S 1453 1453 395 0 -1 1077944384 5 380625 0 0 0 0 1101 119 20 0 22 0 510177092 8482889728 39510 33554432000 4194304 4196468 140727319601792 140527281253232 140528187742850 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22011904 140727319610336 140727319610502 140727319610502 140727319613391 0
[pid=1496/tid=1507] ppid=1453 vsize=8284072 memory=0 CPUtime=12.2 cores=0-7
/proc/1496/task/1507/stat : 1507 (java) S 1453 1453 395 0 -1 1077944384 13 380625 0 0 0 0 1101 119 20 0 22 0 510177092 8482889728 39510 33554432000 4194304 4196468 140727319601792 140526699406880 140528187741909 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22011904 140727319610336 140727319610502 140727319610502 140727319613391 0
[pid=1496/tid=1508] ppid=1453 vsize=8284072 memory=0 CPUtime=12.2 cores=0-7
/proc/1496/task/1508/stat : 1508 (java) S 1453 1453 395 0 -1 1077944384 1 380625 0 0 0 0 1101 119 20 0 22 0 510177092 8482889728 39510 33554432000 4194304 4196468 140727319601792 140526430971248 140528187741909 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22011904 140727319610336 140727319610502 140727319610502 140727319613391 0
[pid=1496/tid=1509] ppid=1453 vsize=8284072 memory=0 CPUtime=12.2 cores=0-7
/proc/1496/task/1509/stat : 1509 (java) S 1453 1453 395 0 -1 1077944384 1 380625 0 0 0 0 1101 119 20 0 22 0 510177095 8482889728 39510 33554432000 4194304 4196468 140727319601792 140526056462672 140528187750299 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22011904 140727319610336 140727319610502 140727319610502 140727319613391 0
[pid=1496/tid=1510] ppid=1453 vsize=8284072 memory=0 CPUtime=12.34 cores=0-7
/proc/1496/task/1510/stat : 1510 (java) S 1453 1453 395 0 -1 1077944384 729 380625 0 0 14 0 1101 119 20 0 22 0 510177095 8482889728 39510 33554432000 4194304 4196468 140727319601792 140527280200048 140528187742850 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22011904 140727319610336 140727319610502 140727319610502 140727319613391 0
[pid=1496/tid=1511] ppid=1453 vsize=8284072 memory=0 CPUtime=12.38 cores=0-7
/proc/1496/task/1511/stat : 1511 (java) S 1453 1453 395 0 -1 1077944384 527 380625 0 0 18 0 1101 119 20 0 22 0 510177095 8482889728 39510 33554432000 4194304 4196468 140727319601792 140527279147248 140528187742850 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22011904 140727319610336 140727319610502 140727319610502 140727319613391 0
[pid=1496/tid=1512] ppid=1453 vsize=8284072 memory=0 CPUtime=12.35 cores=0-7
/proc/1496/task/1512/stat : 1512 (java) S 1453 1453 395 0 -1 1077944384 417 380625 0 0 15 0 1101 119 20 0 22 0 510177095 8482889728 39510 33554432000 4194304 4196468 140727319601792 140527278094448 140528187742850 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22011904 140727319610336 140727319610502 140727319610502 140727319613391 0
[pid=1496/tid=1513] ppid=1453 vsize=8284072 memory=0 CPUtime=12.52 cores=0-7
/proc/1496/task/1513/stat : 1513 (java) S 1453 1453 395 0 -1 1077944384 1225 380625 0 0 32 0 1101 119 20 0 22 0 510177095 8482889728 39510 33554432000 4194304 4196468 140727319601792 140527277041648 140528187742850 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22011904 140727319610336 140727319610502 140727319610502 140727319613391 0
[pid=1496/tid=1514] ppid=1453 vsize=8284072 memory=1476 CPUtime=12.2 cores=0-7
/proc/1496/task/1514/stat : 1514 (java) S 1453 1453 395 0 -1 1077944384 3 380625 0 0 0 0 1101 119 20 0 22 0 510177095 8482889728 39510 33554432000 4194304 4196468 140727319601792 140525558557792 140528187741909 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22011904 140727319610336 140727319610502 140727319610502 140727319613391 0
[pid=1496/tid=1515] ppid=1453 vsize=8284072 memory=984 CPUtime=12.2 cores=0-7
/proc/1496/task/1515/stat : 1515 (java) S 1453 1453 395 0 -1 1077944384 1 380625 0 0 0 0 1101 119 20 0 22 0 510177096 8482889728 39510 33554432000 4194304 4196468 140727319601792 140527275990064 140528187742850 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22011904 140727319610336 140727319610502 140727319610502 140727319613391 0
[pid=1496/tid=1517] ppid=1453 vsize=8284072 memory=2004 CPUtime=12.2 cores=0-7
/proc/1496/task/1517/stat : 1517 (java) S 1453 1453 395 0 -1 1077944384 24 380625 0 0 0 0 1101 119 20 0 22 0 510177164 8482889728 39510 33554432000 4194304 4196468 140727319601792 140527267955472 140528187742850 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22011904 140727319610336 140727319610502 140727319610502 140727319613391 0
[pid=1496/tid=1522] ppid=1453 vsize=8284072 memory=1428 CPUtime=12.2 cores=0-7
/proc/1496/task/1522/stat : 1522 (java) S 1453 1453 395 0 -1 1077944384 11 380625 0 0 0 0 1101 119 20 0 22 0 510177166 8482889728 39313 33554432000 4194304 4196468 140727319601792 140524619031344 140528187742850 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22011904 140727319610336 140727319610502 140727319610502 140727319613391 0
Current children cumulated CPU time: 285.9 s
Current children cumulated vsize: 8397200 KiB
Current children cumulated memory: 159516 KiB

Child status: 0
Real time (s): 203.436
CPU time (s): 285.974
CPU user time (s): 271.122
CPU system time (s): 14.8515
CPU usage (%): 140.572
Max. virtual memory (cumulated for all children) (KiB): 27443924
Max. memory (cumulated for all children) (KiB): 10723564

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 271.122
system time used= 14.8515
maximum resident set size= 10723400
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 508154
page faults= 0
swaps= 0
block input operations= 0
block output operations= 208336
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 70379
involuntary context switches= 1041


# summary of solver processes directly reported to runsolver:
#   pid: 1453
#   total CPU time (s): 285.974
#   total CPU user time (s): 271.122
#   total CPU system time (s): 14.8515

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.32202 second user time and 2.05714 second system time

The end

Launcher Data 

Begin job on node126 at 2019-09-24 17:27:37
IDJOB=4405465
IDBENCH=131470
IDSOLVER=2868
FILE ID=node126/4405465-1569338895
RUNJOBID= node126-1569335941-423
PBS_JOBID= 21705059
Free space on /var/tmp= 13508 MiB

SOLVER NAME= Fun-sCOP hybrid+ManyGlucose (2019-09-22)
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 /var/tmp/evaluation-result-4405465-1569338895/watcher-4405465-1569338895 -o /var/tmp/evaluation-result-4405465-1569338895/solver-4405465-1569338895 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node126-1569335941-423 --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-4405465-1569338895.xml

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

MD5SUM BENCH= 7f9c41aacca1e0b30cdd7db3c30aaf94
RANDOM SEED=1091812113

node126.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.45
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.56
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.45
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.56
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.45
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.56
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.45
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.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        24495148 kB
MemAvailable:   31842368 kB
Buffers:           87616 kB
Cached:          7489940 kB
SwapCached:         7636 kB
Active:          3764600 kB
Inactive:        3823172 kB
Active(anon):       2832 kB
Inactive(anon):    57564 kB
Active(file):    3761768 kB
Inactive(file):  3765608 kB
Unevictable:      109424 kB
Mlocked:          109424 kB
SwapTotal:      67108860 kB
SwapFree:       66996984 kB
Dirty:             20756 kB
Writeback:             4 kB
AnonPages:        109564 kB
Mapped:            54116 kB
Shmem:             41564 kB
Slab:             277296 kB
SReclaimable:     248304 kB
SUnreclaim:        28992 kB
KernelStack:        3616 kB
PageTables:         5204 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     515784 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     63488 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      130432 kB
DirectMap2M:    33415168 kB

Free space on /var/tmp at the end= 13488 MiB
End job on node126 at 2019-09-24 17:31:01