Trace number 4392603

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

NameRectPacking/RectPacking-m1-perf/
RectPacking-perfect-126.xml
MD5SUMe5b164a238094fc306b5fb8652aa9c45
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 benchmark45.9191
Satisfiable
(Un)Satisfiability was proved
Number of variables50
Number of constraints53
Number of domains1
Minimum domain size398
Maximum domain size398
Distribution of domain sizes[{"size":398,"count":50}]
Minimum variable degree2
Maximum variable degree4
Distribution of variable degrees[{"degree":2,"count":48},{"degree":3,"count":1},{"degree":4,"count":1}]
Minimum constraint arity1
Maximum constraint arity50
Distribution of constraint arities[{"arity":1,"count":51},{"arity":2,"count":1},{"arity":50,"count":1}]
Number of extensional constraints0
Number of intensional constraints52
Distribution of constraint types[{"type":"intension","count":52},{"type":"noOverlap","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-6650-serial-file.bin HOME/instance-4392603-1568429287.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.56	c BEGIN-Prog: Sat Sep 14 04:47:18 CEST 2019
0.65/0.56	c PID: 6653
0.65/0.56	c IP: 172.20.3.132
0.65/0.56	c HOST: node132.alineos.net
0.65/0.57	c (0,0) Parsing Begin
1.39/0.91	c (0,0) Parsing End
1.39/0.91	c (0,0) CSP: 50 int (0 aux), 0 bool (0 aux), 53 ctr, max domain size 398
1.39/0.91	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.39/0.91	c (0,0) Constraint Name Generate Begin
1.39/0.92	c (0,0) Ctr:HOME/instance-4392603-1568429287.xml,Le:NoOverlap:Num:Var
1.39/0.92	c (0,0) Constraint Name Generate End
1.39/0.92	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.39/0.92	c (0,0) CSP to CSPinCNF Begin
1.39/1.00	c (0,0) translated 6 (10%) constraints
1.39/1.00	c (0,0) translated 11 (20%) constraints
1.39/1.00	c (0,0) translated 16 (30%) constraints
1.55/1.01	c (0,0) translated 22 (40%) constraints
1.55/1.01	c (0,0) translated 27 (50%) constraints
1.55/1.01	c (0,0) translated 32 (60%) constraints
1.55/1.02	c (0,0) translated 38 (70%) constraints
1.55/1.02	c (0,0) translated 43 (80%) constraints
1.55/1.02	c (0,0) translated 48 (90%) constraints
2.17/1.27	c (0,0) translated 53 (100%) constraints
2.17/1.28	c (0,0) ===========================================
2.17/1.29	c (0,0) Hybrid: #OE=50, #LE=0
2.17/1.29	c (0,0) Hybrid
2.17/1.29	c (0,0) ===========================================
2.49/1.30	c (0,0) translated 36 (10%) constraints
2.49/1.31	c (0,0) translated 71 (20%) constraints
2.49/1.32	c (0,0) translated 106 (30%) constraints
2.49/1.32	c (0,0) translated 141 (40%) constraints
2.49/1.33	c (0,0) translated 176 (50%) constraints
2.49/1.33	c (0,0) translated 212 (60%) constraints
2.49/1.34	c (0,0) translated 247 (70%) constraints
2.49/1.34	c (0,0) translated 282 (80%) constraints
2.49/1.34	c (0,0) translated 317 (90%) constraints
2.49/1.35	c (0,0) translated 352 (100%) constraints
2.49/1.35	c (0,0) CSP to CSPinCNF End
2.49/1.35	c (0,0) CSP: 50 int (0 aux), 0 bool (0 aux), 352 ctr, max domain size 397
2.49/1.35	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 23 MiB used (max 0 MiB)
2.49/1.35	c (0,0) CSPinCNF Propagation Begin
2.49/1.38	c (0,0) 0 values, 6 unsatisfiable literals, and 51 valid clauses are removed
2.49/1.38	c (0,0) CSPinCNF Propagation End
2.49/1.38	c (0,0) CSP: 50 int (0 aux), 0 bool (0 aux), 301 ctr, max domain size 397
2.49/1.38	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 23 MiB used (max 0 MiB)
2.49/1.39	c (0,0) Hybrid: #OE=50, #LE=0
2.49/1.39	c (0,0) Simplify CSPinCNF Begin
2.86/1.48	c (0,0) Simplify CSPinCNF End
2.86/1.48	c (0,0) CSP: 50 int (0 aux), 1194 bool (1194 aux), 1495 ctr, max domain size 397
2.86/1.48	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 24 MiB used (max 0 MiB)
2.86/1.48	c (0,0) Calculate Precise Domain Begin
2.86/1.49	c (0,0) 0 values are removed by re-calculation
2.86/1.49	c (0,0) Calculate Precise Domain End
2.86/1.49	c (0,0) CSP: 50 int (0 aux), 1194 bool (1194 aux), 1495 ctr, max domain size 397
2.86/1.49	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 24 MiB used (max 0 MiB)
2.86/1.49	c (0,0) CSPinCNF to SatSolver Begin
4.70/1.92	c (1,1) 150 (10 %) CSP clauses are encoded (0 SAT variables, 56560 SAT clauses)
4.87/2.08	c (1,1) 299 (20 %) CSP clauses are encoded (0 SAT variables, 95222 SAT clauses)
5.10/2.22	c (1,1) 449 (30 %) CSP clauses are encoded (0 SAT variables, 130996 SAT clauses)
5.20/2.36	c (1,1) 598 (40 %) CSP clauses are encoded (0 SAT variables, 168040 SAT clauses)
5.33/2.50	c (1,1) 748 (50 %) CSP clauses are encoded (0 SAT variables, 201752 SAT clauses)
5.56/2.62	c (2,2) 897 (60 %) CSP clauses are encoded (0 SAT variables, 234820 SAT clauses)
5.66/2.74	c (2,2) 1047 (70 %) CSP clauses are encoded (0 SAT variables, 265004 SAT clauses)
5.76/2.85	c (2,2) 1196 (80 %) CSP clauses are encoded (0 SAT variables, 294327 SAT clauses)
5.87/2.95	c (2,2) 1346 (90 %) CSP clauses are encoded (0 SAT variables, 319405 SAT clauses)
6.01/3.01	c (2,2) 1495 (100 %) CSP clauses are encoded (0 SAT variables, 335960 SAT clauses)
6.01/3.01	c (2,2) CSPinCNF to SatSolver End
6.01/3.01	c (2,2) Heap : 1464 MiB used (max 21589 MiB), NonHeap : 27 MiB used (max 0 MiB)
6.01/3.01	c (2,2) 17686 bool, 336082 clause
6.01/3.01	c (2,2) Export Begin
6.01/3.10	c (2,2) Export to HOME/scop-6650-serial-file.bin
6.01/3.10	c (2,2) Export End
6.01/3.10	c (2,2) Export File Size: 0.01 MB
6.01/3.10	c (2,2) 0,0,0,0,0,0,2,STOP-AFTER(DIMACS)
6.01/3.10	c END-Prog: Sat Sep 14 04:47:20 CEST 2019
6.18/3.12	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-6650-serial-file.bin
6.19/3.58	c (0,0) Read Serial File Begin
6.19/3.58	c (0,0) HOME/scop-6650-serial-file.bin
6.19/3.78	c (0,0) Read Serial File End
6.19/3.79	
6.19/3.79	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
6.19/3.79	(Solving Process)
6.19/3.79	
6.19/3.81	c BEGIN-Prog: Sat Sep 14 04:47:21 CEST 2019
6.19/3.81	c PID: 6673
6.19/3.81	c IP: 172.20.3.132
6.19/3.81	c HOST: node132.alineos.net
6.19/3.82	c (0,0) SatSolver.solve Begin
6.19/3.82	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4392603-1568429287.xml-scop-6653.cnf
6.19/3.84	c (0,0) c
6.19/3.84	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)
6.19/3.84	c (0,0) c
6.19/3.84	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
6.19/3.84	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
6.19/3.84	c (0,0) c ========================================[ Problem Statistics ]===========================================
6.19/3.84	c (0,0) c |                                                                                                       |
6.19/3.96	c (0,0) c |  Number of variables:         17686                                                                   |
6.19/3.96	c (0,0) c |  Number of clauses:          336082                                                                   |
6.19/3.96	c (0,0) c |  Parse time:                   0.10 s                                                                 |
6.19/3.96	c (0,0) c |                                                                                                       |
7.77/4.35	c (0,0) c |  Simplification time:          0.39 s                                                                 |
7.77/4.35	c (0,0) c |                                                                                                       |
7.77/4.35	c (0,0) c |  Generating clones                                                                                    |
7.87/4.44	c (0,0) c |  all clones generated. Memory =   220.22Mb.                                                           |
7.87/4.44	c (0,0) c ========================================================================================================|
7.87/4.44	c (0,0) c
7.87/4.44	c (0,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
7.87/4.44	c (0,0) c
7.87/4.44	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
7.87/4.44	c (0,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
7.87/4.44	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
9.82/4.80	c (0,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
9.82/4.80	c (0,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
9.82/4.80	c (0,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
9.82/4.80	c (0,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
9.82/4.80	c (0,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
9.82/4.80	c (0,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
9.82/4.80	c (0,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
9.82/4.80	c (0,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
9.82/4.80	c (0,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
9.82/4.80	c (0,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
9.82/4.80	c (0,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
9.82/4.80	c (0,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
9.82/4.80	c (0,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
9.82/4.80	c (0,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
9.82/4.80	c (0,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
9.82/4.80	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
244.98/34.24	c (30,0) c
244.98/34.24	c (30,0) c |------------------------------------------------------------------------------------------------------------------------|
244.98/34.24	c (30,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
244.98/34.24	c (30,0) c |------------------------------------------------------------------------------------------------------------------------|
244.98/34.24	c (30,0) c |  0 |    234 |     145132 |      69535 |    59522 |    15802 |    10481 |    69811 |     8995 |      204 |  20 |  0.487 |
244.98/34.24	c (30,0) c |  1 |    208 |     138998 |      67365 |    60112 |    28102 |    10741 |    68901 |     8691 |      198 |  20 |  0.283 |
244.98/34.24	c (30,0) c |  2 |    233 |     146919 |      71711 |    59851 |    18031 |    11278 |    72042 |     9007 |      214 |  20 |  0.283 |
244.98/34.24	c (30,0) c |  3 |    226 |     149110 |      73472 |    60297 |    19569 |    11339 |    71241 |     8948 |      215 |  20 |  0.283 |
244.98/34.24	c (30,0) c |  4 |    238 |     146411 |      71622 |    59086 |    17937 |    10434 |    72897 |     9186 |      214 |  20 |  0.283 |
244.98/34.24	c (30,0) c |  5 |    227 |     145613 |      69914 |    60777 |    16283 |    11202 |    70729 |     8955 |      207 |  20 |  0.283 |
244.98/34.24	c (30,0) c |  6 |    231 |     142637 |      70668 |    57609 |    17038 |    11153 |    71972 |     9120 |      212 |  20 |  0.492 |
244.98/34.24	c (30,0) c |  7 |    216 |     144400 |      69655 |    62911 |    16056 |    10280 |    70821 |     8822 |      208 |  20 |  0.277 |
244.98/34.24	c (30,0) c 
244.98/34.24	c (30,0) c synthesis      563942 conflicts   388871250 propagations     2377 conflicts/sec  1638965 propagations/sec
244.98/34.24	c (30,0) c real: 30.3937 s, cpu: 237.266 s, memory: 795.21 Mb
314.71/43.67	c (40,0) c
314.71/43.67	c (40,0) c real time : 39.8285 s
314.71/43.67	c (40,0) c cpu time  : 306.818 s
314.71/43.67	c (40,0) c
314.71/43.67	c (40,0) c
314.71/43.67	c (40,0) c
314.71/43.67	c (40,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
314.71/43.67	c (40,0) c
314.71/43.67	c (40,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
314.71/43.67	c (40,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
314.71/43.67	c (40,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
314.71/43.67	c (40,0) c | Conflicts     |          688210 |      86507 |      84363 |      85977 |      87456 |      86432 |      86054 |      85609 |      85812 |
314.71/43.67	c (40,0) c | Decisions     |         1395716 |     176041 |     172413 |     173609 |     176150 |     175371 |     175011 |     171303 |     175818 |
314.71/43.67	c (40,0) c | Propagations  |       489279461 |   60927998 |   59771539 |   61657932 |   61414498 |   61113351 |   61119991 |   61729707 |   61544445 |
314.71/43.67	c (40,0) c | ReduceDBs     |              56 |          7 |          7 |          7 |          7 |          7 |          7 |          7 |          7 |
314.71/43.67	c (40,0) c | SimpDBs       |              81 |         10 |         10 |         10 |         10 |         10 |         11 |         10 |         10 |
314.71/43.67	c (40,0) c | Restarts      |            2297 |        305 |        252 |        294 |        276 |        290 |        282 |        304 |        294 |
314.71/43.67	c (40,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
314.71/43.67	c (40,0) c | PropBinClauses|       602426083 |   74693681 |   73695466 |   76306642 |   75687792 |   75160415 |   75372097 |   76189031 |   75320959 |
314.71/43.67	c (40,0) c | PropPreBlocker|      6664574320 |  835544643 |  810457781 |  838056768 |  837286974 |  834267171 |  833764764 |  835847171 |  839349048 |
314.71/43.67	c (40,0) c | PropNotBlocker|      2290302690 |  285331617 |  276646734 |  289052469 |  286141353 |  290576341 |  290705231 |  287373935 |  284475010 |
314.71/43.67	c (40,0) c | LitFullScans  |     12928932676 | 1620295165 | 1570286963 | 1626276049 | 1624725135 | 1626116821 | 1620705270 | 1620207283 | 1620319990 |
314.71/43.67	c (40,0) c | LitScanFracts |         1571769 |     288053 |     116583 |     272978 |     128762 |     112282 |     155699 |     190569 |     306843 |
314.71/43.67	c (40,0) c | DecisionLevel0|            2322 |        308 |        258 |        299 |        279 |        291 |        284 |        308 |        295 |
314.71/43.67	c (40,0) c | Periods       |            2153 |        270 |        261 |        271 |        270 |        271 |        270 |        270 |        270 |
314.71/43.67	c (40,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
314.71/43.67	c (40,0) c | Avg_Trail     |                 |       6769 |       6764 |       6701 |       6695 |       6641 |       6690 |       6623 |       6839 |
314.71/43.67	c (40,0) c | Avg_DL        |                 |         20 |         20 |         21 |         21 |         21 |         21 |         21 |         21 |
314.71/43.67	c (40,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
314.71/43.67	c (40,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
314.71/43.67	c (40,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
314.71/43.67	c (40,0) c | Exported      |          101805 |      12687 |      12899 |      12994 |      12890 |      12187 |      13199 |      12874 |      12075 |
314.71/43.67	c (40,0) c | Imported      |          676287 |      84918 |      82212 |      84324 |      84680 |      85598 |      84383 |      84703 |      85469 |
314.71/43.67	c (40,0) c | Good          |            1603 |        199 |        176 |        202 |        204 |        212 |        194 |        204 |        212 |
314.71/43.67	c (40,0) c | Purge         |          674684 |      84719 |      82036 |      84122 |      84476 |      85386 |      84189 |      84499 |      85257 |
314.71/43.67	c (40,0) c | Promoted      |           88308 |      11203 |      10994 |      10879 |      10856 |      11203 |      11105 |      11186 |      10882 |
314.71/43.67	c (40,0) c | Remove_Imp    |          316729 |      39619 |      39557 |      39356 |      38725 |      40268 |      39261 |      39419 |      40524 |
314.71/43.67	c (40,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
314.71/43.67	c (40,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
314.71/43.67	c (40,0) c | Unaries       |                 |          3 |          6 |          5 |          3 |          1 |          2 |          4 |          1 |
314.71/43.67	c (40,0) c | Binaries      |                 |         40 |         46 |         27 |         31 |         24 |         38 |         36 |         24 |
314.71/43.67	c (40,0) c | Glues         |                 |        267 |        246 |        226 |        220 |        265 |        261 |        243 |        214 |
314.71/43.67	c (40,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
314.71/43.67	c (40,0) c | Orig_Seen     |            19 % |      64140 |      66768 |      65010 |      65860 |      64338 |      65795 |      62574 |      67682 |
314.71/43.67	c (40,0) c | Diff Orig seen|                 | -     2628 |      X     | -     1758 | -      908 | -     2430 | -      973 | -     4194 |        914 |
314.71/43.67	c (40,0) c | Hamming       |            20 % |       2725 |      X     |       4324 |         77 |       4846 |       5271 |       4810 |       3356 |
314.71/43.67	c (40,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
314.71/43.67	c (40,0) c | RunningTime   |                 |   39.1 100%|   39.2 100%|   37.9  99%|   37.8  99%|   37.9  99%|   38.9 100%|   38.4 100%|   38.6 100%|
314.71/43.67	c (40,0) c | WaitingTime   |                 |    0.0   0%|    0.0   0%|    0.3   1%|    0.4   1%|    0.3   1%|    0.0   0%|    0.0   0%|    0.0   0%|
314.71/43.67	c (40,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%|
314.71/43.67	c (40,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%|
314.71/43.67	c (40,0) c | SolvingTime   |                 |   39.2     |   39.2     |   38.3     |   38.3     |   38.3     |   39.0     |   38.4     |   38.6     |
314.71/43.67	c (40,0) c | PropagationTim|                 |   32.6  83%|   32.4  83%|   31.8  83%|   31.6  83%|   31.8  83%|   32.2  83%|   31.4  82%|   31.6  82%|
314.71/43.67	c (40,0) c | AnalysisTime  |                 |    5.2  13%|    5.6  14%|    5.2  13%|    5.2  14%|    5.1  13%|    5.3  14%|    5.7  15%|    5.6  15%|
314.71/43.67	c (40,0) c | ReductionTime |                 |    0.2   0%|    0.1   0%|    0.2   0%|    0.1   0%|    0.2   1%|    0.2   0%|    0.1   0%|    0.2   0%|
314.71/43.67	c (40,0) c | SimplifyTime  |                 |    0.1   0%|    0.1   0%|    0.1   0%|    0.2   1%|    0.1   0%|    0.1   0%|    0.1   0%|    0.1   0%|
314.71/43.67	c (40,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%|
314.71/43.67	c (40,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%|
314.71/43.67	c (40,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
314.71/43.67	c (40,0) c
314.71/43.67	c (40,0) c
314.71/43.67	c (40,0) c Threads : 8
314.71/43.67	c (40,0) c Winner : 1
314.71/43.67	c (40,0) c Conflicts_0 : 86507
314.71/43.67	c (40,0) c Conflicts_1 : 84363
314.71/43.67	c (40,0) c Conflicts_2 : 85977
314.71/43.67	c (40,0) c Conflicts_3 : 87456
314.71/43.67	c (40,0) c Conflicts_4 : 86432
314.71/43.67	c (40,0) c Conflicts_5 : 86054
314.71/43.67	c (40,0) c Conflicts_6 : 85609
314.71/43.67	c (40,0) c Conflicts_7 : 85812
314.71/43.67	c (40,0) c Conflicts_total : 688210
314.71/43.67	c (40,0) c Conflicts_winner : 84363
314.71/43.67	c (40,0) c Decisions_0 : 176041
314.71/43.67	c (40,0) c Decisions_1 : 172413
314.71/43.67	c (40,0) c Decisions_2 : 173609
314.71/43.67	c (40,0) c Decisions_3 : 176150
314.71/43.67	c (40,0) c Decisions_4 : 175371
314.71/43.67	c (40,0) c Decisions_5 : 175011
314.71/43.67	c (40,0) c Decisions_6 : 171303
314.71/43.67	c (40,0) c Decisions_7 : 175818
314.71/43.67	c (40,0) c Decisions_total : 1395716
314.71/43.67	c (40,0) c Decisions_winner : 172413
314.71/43.67	c (40,0) c Propagations_0 : 60927998
314.71/43.67	c (40,0) c Propagations_1 : 59771539
314.71/43.67	c (40,0) c Propagations_2 : 61657932
314.71/43.67	c (40,0) c Propagations_3 : 61414498
314.71/43.67	c (40,0) c Propagations_4 : 61113351
314.71/43.67	c (40,0) c Propagations_5 : 61119991
314.71/43.67	c (40,0) c Propagations_6 : 61729707
314.71/43.67	c (40,0) c Propagations_7 : 61544445
314.71/43.67	c (40,0) c Propagations_total : 489279461
314.71/43.67	c (40,0) c Propagations_winner : 59771539
314.71/43.67	c (40,0) c ReduceDBs_0 : 7
314.71/43.67	c (40,0) c ReduceDBs_1 : 7
314.71/43.67	c (40,0) c ReduceDBs_2 : 7
314.71/43.67	c (40,0) c ReduceDBs_3 : 7
314.71/43.67	c (40,0) c ReduceDBs_4 : 7
314.71/43.67	c (40,0) c ReduceDBs_5 : 7
314.71/43.67	c (40,0) c ReduceDBs_6 : 7
314.71/43.67	c (40,0) c ReduceDBs_7 : 7
314.71/43.67	c (40,0) c ReduceDBs_total : 56
314.71/43.67	c (40,0) c ReduceDBs_winner : 7
314.71/43.67	c (40,0) c SimpDBs_0 : 10
314.71/43.67	c (40,0) c SimpDBs_1 : 10
314.71/43.67	c (40,0) c SimpDBs_2 : 10
314.71/43.67	c (40,0) c SimpDBs_3 : 10
314.71/43.67	c (40,0) c SimpDBs_4 : 10
314.71/43.67	c (40,0) c SimpDBs_5 : 11
314.71/43.67	c (40,0) c SimpDBs_6 : 10
314.71/43.67	c (40,0) c SimpDBs_7 : 10
314.71/43.67	c (40,0) c SimpDBs_total : 81
314.71/43.67	c (40,0) c SimpDBs_winner : 10
314.71/43.67	c (40,0) c Restarts_0 : 305
314.71/43.67	c (40,0) c Restarts_1 : 252
314.71/43.67	c (40,0) c Restarts_2 : 294
314.71/43.67	c (40,0) c Restarts_3 : 276
314.71/43.67	c (40,0) c Restarts_4 : 290
314.71/43.67	c (40,0) c Restarts_5 : 282
314.71/43.67	c (40,0) c Restarts_6 : 304
314.71/43.67	c (40,0) c Restarts_7 : 294
314.71/43.67	c (40,0) c Restarts_total : 2297
314.71/43.67	c (40,0) c Restarts_winner : 252
314.71/43.67	c (40,0) c ForcedImports_0 : 0
314.71/43.67	c (40,0) c ForcedImports_1 : 0
314.71/43.67	c (40,0) c ForcedImports_2 : 0
314.71/43.67	c (40,0) c ForcedImports_3 : 0
314.71/43.67	c (40,0) c ForcedImports_4 : 0
314.71/43.67	c (40,0) c ForcedImports_5 : 0
314.71/43.67	c (40,0) c ForcedImports_6 : 0
314.71/43.67	c (40,0) c ForcedImports_7 : 0
314.71/43.67	c (40,0) c ForcedImports_total : 0
314.71/43.67	c (40,0) c ForcedImports_winner : 0
314.71/43.67	c (40,0) c PropsBinClauses_0 : 74693681
314.71/43.67	c (40,0) c PropsBinClauses_1 : 73695466
314.71/43.67	c (40,0) c PropsBinClauses_2 : 76306642
314.71/43.67	c (40,0) c PropsBinClauses_3 : 75687792
314.71/43.67	c (40,0) c PropsBinClauses_4 : 75160415
314.71/43.67	c (40,0) c PropsBinClauses_5 : 75372097
314.71/43.67	c (40,0) c PropsBinClauses_6 : 76189031
314.71/43.67	c (40,0) c PropsBinClauses_7 : 75320959
314.71/43.67	c (40,0) c PropsBinClauses_total : 602426083
314.71/43.67	c (40,0) c PropsBinClauses_winner : 73695466
314.71/43.67	c (40,0) c PropsPreBlocker_0 : 835544643
314.71/43.67	c (40,0) c PropsPreBlocker_1 : 810457781
314.71/43.67	c (40,0) c PropsPreBlocker_2 : 838056768
314.71/43.67	c (40,0) c PropsPreBlocker_3 : 837286974
314.71/43.67	c (40,0) c PropsPreBlocker_4 : 834267171
314.71/43.67	c (40,0) c PropsPreBlocker_5 : 833764764
314.71/43.67	c (40,0) c PropsPreBlocker_6 : 835847171
314.71/43.67	c (40,0) c PropsPreBlocker_7 : 839349048
314.71/43.67	c (40,0) c PropsPreBlocker_total : 6664574320
314.71/43.67	c (40,0) c PropsPreBlocker_winner : 810457781
314.71/43.67	c (40,0) c PropsNotBlocker_0 : 285331617
314.71/43.67	c (40,0) c PropsNotBlocker_1 : 276646734
314.71/43.67	c (40,0) c PropsNotBlocker_2 : 289052469
314.71/43.67	c (40,0) c PropsNotBlocker_3 : 286141353
314.71/43.67	c (40,0) c PropsNotBlocker_4 : 290576341
314.71/43.67	c (40,0) c PropsNotBlocker_5 : 290705231
314.71/43.67	c (40,0) c PropsNotBlocker_6 : 287373935
314.71/43.67	c (40,0) c PropsNotBlocker_7 : 284475010
314.71/43.67	c (40,0) c PropsNotBlocker_total : 2290302690
314.71/43.67	c (40,0) c PropsNotBlocker_winner : 276646734
314.71/43.67	c (40,0) c PropsLitFullScans_0 : 1620295165
314.71/43.67	c (40,0) c PropsLitFullScans_1 : 1570286963
314.71/43.67	c (40,0) c PropsLitFullScans_2 : 1626276049
314.71/43.67	c (40,0) c PropsLitFullScans_3 : 1624725135
314.71/43.67	c (40,0) c PropsLitFullScans_4 : 1626116821
314.71/43.67	c (40,0) c PropsLitFullScans_5 : 1620705270
314.71/43.67	c (40,0) c PropsLitFullScans_6 : 1620207283
314.71/43.67	c (40,0) c PropsLitFullScans_7 : 1620319990
314.71/43.67	c (40,0) c PropsLitFullScans_total : 12928932676
314.71/43.67	c (40,0) c PropsLitFullScans_winner : 1570286963
314.71/43.67	c (40,0) c LitScanFractions_0 : 288053
314.71/43.67	c (40,0) c LitScanFractions_1 : 116583
314.71/43.67	c (40,0) c LitScanFractions_2 : 272978
314.71/43.67	c (40,0) c LitScanFractions_3 : 128762
314.71/43.67	c (40,0) c LitScanFractions_4 : 112282
314.71/43.67	c (40,0) c LitScanFractions_5 : 155699
314.71/43.67	c (40,0) c LitScanFractions_6 : 190569
314.71/43.67	c (40,0) c LitScanFractions_7 : 306843
314.71/43.67	c (40,0) c LitScanFractions_total : 1571769
314.71/43.67	c (40,0) c LitScanFractions_winner : 116583
314.71/43.67	c (40,0) c DecisionLevel0_0 : 308
314.71/43.67	c (40,0) c DecisionLevel0_1 : 258
314.71/43.67	c (40,0) c DecisionLevel0_2 : 299
314.71/43.67	c (40,0) c DecisionLevel0_3 : 279
314.71/43.67	c (40,0) c DecisionLevel0_4 : 291
314.71/43.67	c (40,0) c DecisionLevel0_5 : 284
314.71/43.67	c (40,0) c DecisionLevel0_6 : 308
314.71/43.67	c (40,0) c DecisionLevel0_7 : 295
314.71/43.68	c (40,0) c DecisionLevel0_total : 2322
314.71/43.68	c (40,0) c DecisionLevel0_winner : 258
314.71/43.68	c (40,0) c Periods_0 : 270
314.71/43.68	c (40,0) c Periods_1 : 261
314.71/43.68	c (40,0) c Periods_2 : 271
314.71/43.68	c (40,0) c Periods_3 : 270
314.71/43.68	c (40,0) c Periods_4 : 271
314.71/43.68	c (40,0) c Periods_5 : 270
314.71/43.68	c (40,0) c Periods_6 : 270
314.71/43.68	c (40,0) c Periods_7 : 270
314.71/43.68	c (40,0) c Periods_total : 2153
314.71/43.68	c (40,0) c Periods_winner : 261
314.71/43.68	c (40,0) c Margin_0 : 20
314.71/43.68	c (40,0) c Margin_1 : 20
314.71/43.68	c (40,0) c Margin_2 : 20
314.71/43.68	c (40,0) c Margin_3 : 20
314.71/43.68	c (40,0) c Margin_4 : 20
314.71/43.68	c (40,0) c Margin_5 : 20
314.71/43.68	c (40,0) c Margin_6 : 20
314.71/43.68	c (40,0) c Margin_7 : 20
314.71/43.68	c (40,0) c Margin_total : 160
314.71/43.68	c (40,0) c Margin_winner : 20
314.71/43.68	c (40,0) c Exported_0 : 12687
314.71/43.68	c (40,0) c Exported_1 : 12899
314.71/43.68	c (40,0) c Exported_2 : 12994
314.71/43.68	c (40,0) c Exported_3 : 12890
314.71/43.68	c (40,0) c Exported_4 : 12187
314.71/43.68	c (40,0) c Exported_5 : 13199
314.71/43.68	c (40,0) c Exported_6 : 12874
314.71/43.68	c (40,0) c Exported_7 : 12075
314.71/43.68	c (40,0) c Exported_total : 101805
314.71/43.68	c (40,0) c Exported_winner : 12899
314.71/43.68	c (40,0) c Imported_0 : 84918
314.71/43.68	c (40,0) c Imported_1 : 82212
314.71/43.68	c (40,0) c Imported_2 : 84324
314.71/43.68	c (40,0) c Imported_3 : 84680
314.71/43.68	c (40,0) c Imported_4 : 85598
314.71/43.68	c (40,0) c Imported_5 : 84383
314.71/43.68	c (40,0) c Imported_6 : 84703
314.71/43.68	c (40,0) c Imported_7 : 85469
314.71/43.68	c (40,0) c Imported_total : 676287
314.71/43.68	c (40,0) c Imported_winner : 82212
314.71/43.68	c (40,0) c Good_0 : 199
314.71/43.68	c (40,0) c Good_1 : 176
314.71/43.68	c (40,0) c Good_2 : 202
314.71/43.68	c (40,0) c Good_3 : 204
314.71/43.68	c (40,0) c Good_4 : 212
314.71/43.68	c (40,0) c Good_5 : 194
314.71/43.68	c (40,0) c Good_6 : 204
314.71/43.68	c (40,0) c Good_7 : 212
314.71/43.68	c (40,0) c Good_total : 1603
314.71/43.68	c (40,0) c Good_winner : 176
314.71/43.68	c (40,0) c Purge_0 : 84719
314.71/43.68	c (40,0) c Purge_1 : 82036
314.71/43.68	c (40,0) c Purge_2 : 84122
314.71/43.68	c (40,0) c Purge_3 : 84476
314.71/43.68	c (40,0) c Purge_4 : 85386
314.71/43.68	c (40,0) c Purge_5 : 84189
314.71/43.68	c (40,0) c Purge_6 : 84499
314.71/43.68	c (40,0) c Purge_7 : 85257
314.71/43.68	c (40,0) c Purge_total : 674684
314.71/43.68	c (40,0) c Purge_winner : 82036
314.71/43.68	c (40,0) c Promoted_0 : 11203
314.71/43.68	c (40,0) c Promoted_1 : 10994
314.71/43.68	c (40,0) c Promoted_2 : 10879
314.71/43.68	c (40,0) c Promoted_3 : 10856
314.71/43.68	c (40,0) c Promoted_4 : 11203
314.71/43.68	c (40,0) c Promoted_5 : 11105
314.71/43.68	c (40,0) c Promoted_6 : 11186
314.71/43.68	c (40,0) c Promoted_7 : 10882
314.71/43.68	c (40,0) c Promoted_total : 88308
314.71/43.68	c (40,0) c Promoted_winner : 10994
314.71/43.68	c (40,0) c Remove_Imp_0 : 39619
314.71/43.68	c (40,0) c Remove_Imp_1 : 39557
314.71/43.68	c (40,0) c Remove_Imp_2 : 39356
314.71/43.68	c (40,0) c Remove_Imp_3 : 38725
314.71/43.68	c (40,0) c Remove_Imp_4 : 40268
314.71/43.68	c (40,0) c Remove_Imp_5 : 39261
314.71/43.68	c (40,0) c Remove_Imp_6 : 39419
314.71/43.68	c (40,0) c Remove_Imp_7 : 40524
314.71/43.68	c (40,0) c Remove_Imp_total : 316729
314.71/43.68	c (40,0) c Remove_Imp_winner : 39557
314.71/43.68	c (40,0) c Blocked_Reuse_0 : 0
314.71/43.68	c (40,0) c Blocked_Reuse_1 : 0
314.71/43.68	c (40,0) c Blocked_Reuse_2 : 0
314.71/43.68	c (40,0) c Blocked_Reuse_3 : 0
314.71/43.68	c (40,0) c Blocked_Reuse_4 : 0
314.71/43.68	c (40,0) c Blocked_Reuse_5 : 0
314.71/43.68	c (40,0) c Blocked_Reuse_6 : 0
314.71/43.68	c (40,0) c Blocked_Reuse_7 : 0
314.71/43.68	c (40,0) c Blocked_Reuse_total : 0
314.71/43.68	c (40,0) c Blocked_Reuse_winner : 0
314.71/43.68	c (40,0) c Unaries_0 : 3
314.71/43.68	c (40,0) c Unaries_1 : 6
314.71/43.68	c (40,0) c Unaries_2 : 5
314.71/43.68	c (40,0) c Unaries_3 : 3
314.71/43.68	c (40,0) c Unaries_4 : 1
314.71/43.68	c (40,0) c Unaries_5 : 2
314.71/43.68	c (40,0) c Unaries_6 : 4
314.71/43.68	c (40,0) c Unaries_7 : 1
314.71/43.68	c (40,0) c Unaries_total : 25
314.71/43.68	c (40,0) c Unaries_winner : 6
314.71/43.68	c (40,0) c Binaries_0 : 40
314.71/43.68	c (40,0) c Binaries_1 : 46
314.71/43.68	c (40,0) c Binaries_2 : 27
314.71/43.68	c (40,0) c Binaries_3 : 31
314.71/43.68	c (40,0) c Binaries_4 : 24
314.71/43.68	c (40,0) c Binaries_5 : 38
314.71/43.68	c (40,0) c Binaries_6 : 36
314.71/43.68	c (40,0) c Binaries_7 : 24
314.71/43.68	c (40,0) c Binaries_total : 266
314.71/43.68	c (40,0) c Binaries_winner : 46
314.71/43.68	c (40,0) c Glues_0 : 267
314.71/43.68	c (40,0) c Glues_1 : 246
314.71/43.68	c (40,0) c Glues_2 : 226
314.71/43.68	c (40,0) c Glues_3 : 220
314.71/43.68	c (40,0) c Glues_4 : 265
314.71/43.68	c (40,0) c Glues_5 : 261
314.71/43.68	c (40,0) c Glues_6 : 243
314.71/43.68	c (40,0) c Glues_7 : 214
314.71/43.68	c (40,0) c Glues_total : 1942
314.71/43.68	c (40,0) c Glues_winner : 246
314.71/43.68	c (40,0) c RunningTime_0 : 39.118013
314.71/43.68	c (40,0) c RunningTime_1 : 39.171898
314.71/43.68	c (40,0) c RunningTime_2 : 37.934143
314.71/43.68	c (40,0) c RunningTime_3 : 37.805595
314.71/43.68	c (40,0) c RunningTime_4 : 37.931314
314.71/43.68	c (40,0) c RunningTime_5 : 38.901848
314.71/43.68	c (40,0) c RunningTime_6 : 38.386790
314.71/43.68	c (40,0) c RunningTime_7 : 38.592704
314.71/43.68	c (40,0) c RunningTime_total : 307.842304
314.71/43.68	c (40,0) c RunningTime_winner : 39.171898
314.71/43.68	c (40,0) c WaitingTime_0 : 0.000401
314.71/43.68	c (40,0) c WaitingTime_1 : 0.000294
314.71/43.68	c (40,0) c WaitingTime_2 : 0.330930
314.71/43.68	c (40,0) c WaitingTime_3 : 0.405606
314.71/43.68	c (40,0) c WaitingTime_4 : 0.339451
314.71/43.68	c (40,0) c WaitingTime_5 : 0.000374
314.71/43.68	c (40,0) c WaitingTime_6 : 0.000414
314.71/43.68	c (40,0) c WaitingTime_7 : 0.000414
314.71/43.68	c (40,0) c WaitingTime_total : 1.077883
314.71/43.68	c (40,0) c WaitingTime_winner : 0.000294
314.71/43.68	c (40,0) c ExchangingTime_0 : 0.047392
314.71/43.68	c (40,0) c ExchangingTime_1 : 0.037568
314.71/43.68	c (40,0) c ExchangingTime_2 : 0.048165
314.71/43.68	c (40,0) c ExchangingTime_3 : 0.049647
314.71/43.68	c (40,0) c ExchangingTime_4 : 0.042489
314.71/43.68	c (40,0) c ExchangingTime_5 : 0.043437
314.71/43.68	c (40,0) c ExchangingTime_6 : 0.038592
314.71/43.68	c (40,0) c ExchangingTime_7 : 0.038210
314.71/43.68	c (40,0) c ExchangingTime_total : 0.345500
314.71/43.68	c (40,0) c ExchangingTime_winner : 0.037568
314.71/43.68	c (40,0) c PeriodProcTime_0 : 0.002356
314.71/43.68	c (40,0) c PeriodProcTime_1 : 0.003160
314.71/43.68	c (40,0) c PeriodProcTime_2 : 0.002098
314.71/43.68	c (40,0) c PeriodProcTime_3 : 0.002141
314.71/43.68	c (40,0) c PeriodProcTime_4 : 0.002198
314.71/43.68	c (40,0) c PeriodProcTime_5 : 0.004450
314.71/43.68	c (40,0) c PeriodProcTime_6 : 0.002827
314.71/43.68	c (40,0) c PeriodProcTime_7 : 0.003001
314.71/43.68	c (40,0) c PeriodProcTime_total : 0.022230
314.71/43.68	c (40,0) c PeriodProcTime_winner : 0.003160
314.71/43.68	c (40,0) c SolvingTime_0 : 39.168162
314.71/43.68	c (40,0) c SolvingTime_1 : 39.212920
314.71/43.68	c (40,0) c SolvingTime_2 : 38.315336
314.71/43.68	c (40,0) c SolvingTime_3 : 38.262989
314.71/43.68	c (40,0) c SolvingTime_4 : 38.315452
314.71/43.68	c (40,0) c SolvingTime_5 : 38.950109
314.71/43.68	c (40,0) c SolvingTime_6 : 38.428622
314.71/43.68	c (40,0) c SolvingTime_7 : 38.634328
314.71/43.68	c (40,0) c SolvingTime_total : 309.287917
314.71/43.68	c (40,0) c SolvingTime_winner : 39.212920
314.71/43.68	c (40,0) c PropagationTime_0 : 32.640540
314.71/43.68	c (40,0) c PropagationTime_1 : 32.357992
314.71/43.68	c (40,0) c PropagationTime_2 : 31.836972
314.71/43.68	c (40,0) c PropagationTime_3 : 31.612186
314.71/43.68	c (40,0) c PropagationTime_4 : 31.845507
314.71/43.68	c (40,0) c PropagationTime_5 : 32.231518
314.71/43.68	c (40,0) c PropagationTime_6 : 31.368848
314.71/43.68	c (40,0) c PropagationTime_7 : 31.622946
314.71/43.68	c (40,0) c PropagationTime_total : 255.516508
314.71/43.68	c (40,0) c PropagationTime_winner : 32.357992
314.71/43.68	c (40,0) c AnalysisTime_0 : 5.168165
314.71/43.68	c (40,0) c AnalysisTime_1 : 5.550678
314.71/43.68	c (40,0) c AnalysisTime_2 : 5.150080
314.71/43.68	c (40,0) c AnalysisTime_3 : 5.239408
314.71/43.68	c (40,0) c AnalysisTime_4 : 5.114262
314.71/43.68	c (40,0) c AnalysisTime_5 : 5.334778
314.71/43.68	c (40,0) c AnalysisTime_6 : 5.731983
314.71/43.68	c (40,0) c AnalysisTime_7 : 5.612846
314.71/43.68	c (40,0) c AnalysisTime_total : 42.902200
314.71/43.68	c (40,0) c AnalysisTime_winner : 5.550678
314.71/43.68	c (40,0) c ReductionTime_0 : 0.190171
314.71/43.68	c (40,0) c ReductionTime_1 : 0.147524
314.71/43.68	c (40,0) c ReductionTime_2 : 0.190530
314.71/43.68	c (40,0) c ReductionTime_3 : 0.147362
314.71/43.68	c (40,0) c ReductionTime_4 : 0.192253
314.71/43.68	c (40,0) c ReductionTime_5 : 0.192688
314.71/43.68	c (40,0) c ReductionTime_6 : 0.144173
314.71/43.68	c (40,0) c ReductionTime_7 : 0.191334
314.71/43.68	c (40,0) c ReductionTime_total : 1.396035
314.71/43.68	c (40,0) c ReductionTime_winner : 0.147524
314.71/43.68	c (40,0) c SimplifyTime_0 : 0.109518
314.71/43.68	c (40,0) c SimplifyTime_1 : 0.115011
314.71/43.68	c (40,0) c SimplifyTime_2 : 0.134202
314.71/43.68	c (40,0) c SimplifyTime_3 : 0.220034
314.71/43.68	c (40,0) c SimplifyTime_4 : 0.120728
314.71/43.68	c (40,0) c SimplifyTime_5 : 0.140621
314.71/43.68	c (40,0) c SimplifyTime_6 : 0.125732
314.71/43.68	c (40,0) c SimplifyTime_7 : 0.122693
314.71/43.68	c (40,0) c SimplifyTime_total : 1.088539
314.71/43.68	c (40,0) c SimplifyTime_winner : 0.115011
314.71/43.68	c (40,0) c UsedRateTime_0 : 0.000000
314.71/43.68	c (40,0) c UsedRateTime_1 : 0.000000
314.71/43.68	c (40,0) c UsedRateTime_2 : 0.000000
314.71/43.68	c (40,0) c UsedRateTime_3 : 0.000000
314.71/43.68	c (40,0) c UsedRateTime_4 : 0.000000
314.71/43.68	c (40,0) c UsedRateTime_5 : 0.000000
314.71/43.68	c (40,0) c UsedRateTime_6 : 0.000000
314.71/43.68	c (40,0) c UsedRateTime_7 : 0.000000
314.71/43.68	c (40,0) c UsedRateTime_total : 0.000000
314.71/43.68	c (40,0) c UsedRateTime_winner : 0.000000
314.71/43.68	c (40,0) c OverlapRateTime_0 : 0.000000
314.71/43.68	c (40,0) c OverlapRateTime_1 : 0.000000
314.71/43.68	c (40,0) c OverlapRateTime_2 : 0.000000
314.71/43.68	c (40,0) c OverlapRateTime_3 : 0.000000
314.71/43.68	c (40,0) c OverlapRateTime_4 : 0.000000
314.71/43.68	c (40,0) c OverlapRateTime_5 : 0.000000
314.71/43.68	c (40,0) c OverlapRateTime_6 : 0.000000
314.71/43.68	c (40,0) c OverlapRateTime_7 : 0.000000
314.71/43.68	c (40,0) c OverlapRateTime_total : 0.000000
314.71/43.68	c (40,0) c OverlapRateTime_winner : 0.000000
314.71/43.68	c (40,0) c
314.71/43.68	c (40,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
314.71/43.68	c (40,0) c
314.71/43.68	c (40,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
314.71/43.68	c (40,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
314.71/43.68	c (40,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
314.71/43.68	c (40,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
314.71/43.68	c (40,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
314.71/43.68	c (40,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
314.71/43.68	c (40,0) c | Initial random_seed   | 2003659483 |  715270011 | 1720913414 | 1734361336 | 1144033054 |  473260333 | 1097351616 | 2121647120 |
314.71/43.68	c (40,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
314.71/43.68	c (40,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
314.71/43.68	c (40,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
314.71/43.68	c (40,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
314.71/43.68	c (40,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
314.71/43.68	c (40,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
314.71/43.68	c (40,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
314.71/43.68	c (40,0) c | var_decay             |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
314.71/43.68	c (40,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
314.71/43.68	c (40,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
314.71/43.68	c (40,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
314.71/43.68	c (40,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
314.71/43.68	c (40,0) 
314.71/43.68	c (40,0) s SATISFIABLE
7.43/43.74	c (40,0) SatSolver.solve End
7.43/43.74	c (40,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
7.43/43.74	c (40,0) Show results Begin
315.16/43.83	c (40,0) x[0] = 152
315.16/43.84	c (40,0) x[1] = 249
315.16/43.84	c (40,0) x[2] = 145
315.16/43.84	c (40,0) x[3] = 238
315.16/43.84	c (40,0) x[4] = 249
315.16/43.84	c (40,0) x[5] = 238
315.16/43.84	c (40,0) x[6] = 255
315.16/43.84	c (40,0) x[7] = 210
315.16/43.84	c (40,0) x[8] = 249
315.16/43.84	c (40,0) x[9] = 210
315.16/43.84	c (40,0) x[10] = 210
315.16/43.84	c (40,0) x[11] = 99
315.16/43.84	c (40,0) x[12] = 99
315.16/43.84	c (40,0) x[13] = 154
315.16/43.84	c (40,0) x[14] = 152
315.16/43.84	c (40,0) x[15] = 145
315.16/43.84	c (40,0) x[16] = 210
315.16/43.84	c (40,0) x[17] = 0
315.16/43.84	c (40,0) x[18] = 154
315.16/43.84	c (40,0) x[19] = 145
315.16/43.84	c (40,0) x[20] = 278
315.16/43.84	c (40,0) x[21] = 264
315.16/43.84	c (40,0) x[22] = 254
315.16/43.84	c (40,0) x[23] = 0
315.16/43.84	c (40,0) x[24] = 0
315.16/43.84	c (40,0) y[0] = 154
315.16/43.84	c (40,0) y[1] = 229
315.16/43.84	c (40,0) y[2] = 207
315.16/43.84	c (40,0) y[3] = 229
315.16/43.84	c (40,0) y[4] = 264
315.16/43.84	c (40,0) y[5] = 212
315.16/43.84	c (40,0) y[6] = 212
315.16/43.84	c (40,0) y[7] = 212
315.16/43.84	c (40,0) y[8] = 235
315.16/43.84	c (40,0) y[9] = 240
315.16/43.84	c (40,0) y[10] = 100
315.16/43.84	c (40,0) y[11] = 207
315.16/43.84	c (40,0) y[12] = 154
315.16/43.84	c (40,0) y[13] = 100
315.16/43.84	c (40,0) y[14] = 156
315.16/43.84	c (40,0) y[15] = 214
315.16/43.84	c (40,0) y[16] = 144
315.16/43.84	c (40,0) y[17] = 154
315.16/43.84	c (40,0) y[18] = 0
315.16/43.84	c (40,0) y[19] = 279
315.16/43.84	c (40,0) y[20] = 144
315.16/43.84	c (40,0) y[21] = 264
315.16/43.84	c (40,0) y[22] = 0
315.16/43.84	c (40,0) y[23] = 253
315.16/43.84	c (40,0) y[24] = 0
315.16/43.84	s SATISFIABLE
315.16/43.84	v <instantiation>
315.16/43.84	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] y[0] y[1] y[2] y[3] y[4] y[5] y[6] y[7] y[8] y[9] y[10] y[11] y[12] y[13] y[14] y[15] y[16] y[17] y[18] y[19] y[20] y[21] y[22] y[23] y[24]</list>
315.16/43.84	v     <values>152 249 145 238 249 238 255 210 249 210 210 99 99 154 152 145 210 0 154 145 278 264 254 0 0 154 229 207 229 264 212 212 212 235 240 100 207 154 100 156 214 144 154 0 279 144 264 0 253 0</values>
315.16/43.84	v </instantiation>
315.16/43.84	c (40,0) Show results End
315.16/43.84	c (40,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 18 MiB used (max 0 MiB)
315.16/43.84	c (40,0) 40,40,STOP-AFTER(ALL)
315.16/43.84	c END-Prog: Sat Sep 14 04:48: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 (15261 MiB free)
  memory of node 1: 16384 MiB (15634 MiB free)
  node distances:
     10  21
     21  10

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

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

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


[startup+0.100142 s]*
/proc/loadavg: 4.45 2.01 3.13 2/218 6672
/proc/meminfo: memFree=31541532/32770624 swapFree=67009652/67108860
[pid=6650] ppid=6647 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/6650/stat : 6650 (scop.sh) S 6647 6650 6268 0 -1 4202496 556 318 0 0 0 0 0 0 20 0 1 0 418851391 115843072 349 33554432000 4194304 5098028 140730125567168 140730125564424 140662996804220 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 30511104 140730125574948 140730125575276 140730125575276 140730125578189 0
/proc/6650/statm: 28282 349 296 221 0 87 0
[pid=6653] ppid=6650 vsize=27314120 memory=107644 CPUtime=0.1 cores=0-7
/proc/6653/stat : 6653 (java) S 6650 6650 6268 0 -1 1077944320 6458 0 0 0 7 3 0 0 20 0 20 0 418851392 27969658880 26911 33554432000 4194304 4196468 140724846559936 140724846542480 140371062828791 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 29782016 140724846568171 140724846568598 140724846568598 140724846571471 0
/proc/6653/statm: 6828530 26911 2781 1 0 6790935 0
[pid=6653/tid=6654] ppid=6650 vsize=27314120 memory=-7024592270288534718 CPUtime=0.08 cores=0-7
/proc/6653/task/6654/stat : 6654 (java) R 6650 6650 6268 0 -1 4202560 4583 0 0 0 6 2 0 0 20 0 20 0 418851392 27969658880 26911 33554432000 4194304 4196468 140724846559936 140371034660992 140371046909278 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29782016 140724846568171 140724846568598 140724846568598 140724846571471 0
[pid=6653/tid=6655] ppid=6650 vsize=27314120 memory=6735269665564437106 CPUtime=0 cores=0-7
/proc/6653/task/6655/stat : 6655 (java) S 6650 6650 6268 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418851394 27969658880 26911 33554432000 4194304 4196468 140724846559936 140371067070992 140371062838997 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29782016 140724846568171 140724846568598 140724846568598 140724846571471 0
[pid=6653/tid=6656] ppid=6650 vsize=27314120 memory=139973687158400 CPUtime=0 cores=0-7
/proc/6653/task/6656/stat : 6656 (java) S 6650 6650 6268 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418851394 27969658880 26911 33554432000 4194304 4196468 140724846559936 140370881227408 140371062838997 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29782016 140724846568171 140724846568598 140724846568598 140724846571471 0
[pid=6653/tid=6657] ppid=6650 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6653/task/6657/stat : 6657 (java) S 6650 6650 6268 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418851394 27969658880 26911 33554432000 4194304 4196468 140724846559936 140370880174352 140371062838997 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29782016 140724846568171 140724846568598 140724846568598 140724846571471 0
[pid=6653/tid=6658] ppid=6650 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6653/task/6658/stat : 6658 (java) S 6650 6650 6268 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418851394 27969658880 26911 33554432000 4194304 4196468 140724846559936 140370879121808 140371062838997 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29782016 140724846568171 140724846568598 140724846568598 140724846571471 0
[pid=6653/tid=6659] ppid=6650 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6653/task/6659/stat : 6659 (java) S 6650 6650 6268 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418851394 27969658880 26911 33554432000 4194304 4196468 140724846559936 140370878069776 140371062838997 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29782016 140724846568171 140724846568598 140724846568598 140724846571471 0
[pid=6653/tid=6660] ppid=6650 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/6653/task/6660/stat : 6660 (java) S 6650 6650 6268 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418851394 27969658880 26911 33554432000 4194304 4196468 140724846559936 140370877017232 140371062838997 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29782016 140724846568171 140724846568598 140724846568598 140724846571471 0
[pid=6653/tid=6661] ppid=6650 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6653/task/6661/stat : 6661 (java) S 6650 6650 6268 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418851394 27969658880 26911 33554432000 4194304 4196468 140724846559936 140370875964176 140371062838997 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29782016 140724846568171 140724846568598 140724846568598 140724846571471 0
[pid=6653/tid=6662] ppid=6650 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6653/task/6662/stat : 6662 (java) S 6650 6650 6268 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418851394 27969658880 26911 33554432000 4194304 4196468 140724846559936 140370874911632 140371062838997 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29782016 140724846568171 140724846568598 140724846568598 140724846571471 0
[pid=6653/tid=6663] ppid=6650 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6653/task/6663/stat : 6663 (java) S 6650 6650 6268 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418851396 27969658880 26911 33554432000 4194304 4196468 140724846559936 140369114110192 140371062839938 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29782016 140724846568171 140724846568598 140724846568598 140724846571471 0
[pid=6653/tid=6664] ppid=6650 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6653/task/6664/stat : 6664 (java) S 6650 6650 6268 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 418851396 27969658880 26911 33554432000 4194304 4196468 140724846559936 140368993576096 140371062838997 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29782016 140724846568171 140724846568598 140724846568598 140724846571471 0
[pid=6653/tid=6665] ppid=6650 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6653/task/6665/stat : 6665 (java) S 6650 6650 6268 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418851396 27969658880 26911 33554432000 4194304 4196468 140724846559936 140368725140208 140371062838997 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29782016 140724846568171 140724846568598 140724846568598 140724846571471 0
[pid=6653/tid=6666] ppid=6650 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6653/task/6666/stat : 6666 (java) S 6650 6650 6268 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418851399 27969658880 26911 33554432000 4194304 4196468 140724846559936 140368350631888 140371062847387 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29782016 140724846568171 140724846568598 140724846568598 140724846571471 0
[pid=6653/tid=6667] ppid=6650 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6653/task/6667/stat : 6667 (java) S 6650 6650 6268 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 20 0 418851399 27969658880 26911 33554432000 4194304 4196468 140724846559936 140369113058032 140371062839938 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29782016 140724846568171 140724846568598 140724846568598 140724846571471 0
[pid=6653/tid=6668] ppid=6650 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6653/task/6668/stat : 6668 (java) S 6650 6650 6268 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418851399 27969658880 26911 33554432000 4194304 4196468 140724846559936 140369112005488 140371062839938 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29782016 140724846568171 140724846568598 140724846568598 140724846571471 0
[pid=6653/tid=6669] ppid=6650 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6653/task/6669/stat : 6669 (java) S 6650 6650 6268 0 -1 1077944384 278 0 0 0 0 0 0 0 20 0 20 0 418851399 27969658880 26911 33554432000 4194304 4196468 140724846559936 140369110952432 140371062839938 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29782016 140724846568171 140724846568598 140724846568598 140724846571471 0
[pid=6653/tid=6670] ppid=6650 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6653/task/6670/stat : 6670 (java) S 6650 6650 6268 0 -1 1077944384 247 0 0 0 0 0 0 0 20 0 20 0 418851399 27969658880 26911 33554432000 4194304 4196468 140724846559936 140369109899888 140371062839938 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29782016 140724846568171 140724846568598 140724846568598 140724846571471 0
[pid=6653/tid=6671] ppid=6650 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6653/task/6671/stat : 6671 (java) S 6650 6650 6268 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418851399 27969658880 26911 33554432000 4194304 4196468 140724846559936 140367852726752 140371062838997 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29782016 140724846568171 140724846568598 140724846568598 140724846571471 0
[pid=6653/tid=6672] ppid=6650 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/6653/task/6672/stat : 6672 (java) S 6650 6650 6268 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418851399 27969658880 26911 33554432000 4194304 4196468 140724846559936 140369108847280 140371062839938 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29782016 140724846568171 140724846568598 140724846568598 140724846571471 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 109040 KiB

[startup+0.210635 s]*
/proc/loadavg: 4.45 2.01 3.13 4/218 6672
/proc/meminfo: memFree=31522836/32770624 swapFree=67009652/67108860
[pid=6650] ppid=6647 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/6650/stat : 6650 (scop.sh) S 6647 6650 6268 0 -1 4202496 556 318 0 0 0 0 0 0 20 0 1 0 418851391 115843072 349 33554432000 4194304 5098028 140730125567168 140730125564424 140662996804220 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 30511104 140730125574948 140730125575276 140730125575276 140730125578189 0
/proc/6650/statm: 28282 349 296 221 0 87 0
[pid=6653] ppid=6650 vsize=27314120 memory=124500 CPUtime=0.24 cores=0-7
/proc/6653/stat : 6653 (java) S 6650 6650 6268 0 -1 1077944320 11470 0 0 0 20 4 0 0 20 0 20 0 418851392 27969658880 31125 33554432000 4194304 4196468 140724846559936 140724846542480 140371062828791 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 29782016 140724846568171 140724846568598 140724846568598 140724846571471 0
/proc/6653/statm: 6828530 31125 2928 1 0 6790935 0
[pid=6653/tid=6654] ppid=6650 vsize=27314120 memory=8390339637985935414 CPUtime=0.19 cores=0-7
/proc/6653/task/6654/stat : 6654 (java) R 6650 6650 6268 0 -1 4202560 9187 0 0 0 16 3 0 0 20 0 20 0 418851392 27969658880 31125 33554432000 4194304 4196468 140724846559936 140371034628176 140371044202240 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29782016 140724846568171 140724846568598 140724846568598 140724846571471 0
[pid=6653/tid=6655] ppid=6650 vsize=27314120 memory=288230613314710904 CPUtime=0 cores=0-7
/proc/6653/task/6655/stat : 6655 (java) S 6650 6650 6268 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418851394 27969658880 31125 33554432000 4194304 4196468 140724846559936 140371067070992 140371062838997 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29782016 140724846568171 140724846568598 140724846568598 140724846571471 0
[pid=6653/tid=6656] ppid=6650 vsize=27314120 memory=288370349838870144 CPUtime=0 cores=0-7
/proc/6653/task/6656/stat : 6656 (java) S 6650 6650 6268 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418851394 27969658880 31125 33554432000 4194304 4196468 140724846559936 140370881227408 140371062838997 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29782016 140724846568171 140724846568598 140724846568598 140724846571471 0
[pid=6653/tid=6657] ppid=6650 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/6653/task/6657/stat : 6657 (java) S 6650 6650 6268 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418851394 27969658880 31125 33554432000 4194304 4196468 140724846559936 140370880174352 140371062838997 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29782016 140724846568171 140724846568598 140724846568598 140724846571471 0
[pid=6653/tid=6658] ppid=6650 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6653/task/6658/stat : 6658 (java) S 6650 6650 6268 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418851394 27969658880 31125 33554432000 4194304 4196468 140724846559936 140370879121808 140371062838997 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29782016 140724846568171 140724846568598 140724846568598 140724846571471 0
[pid=6653/tid=6659] ppid=6650 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6653/task/6659/stat : 6659 (java) S 6650 6650 6268 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418851394 27969658880 31125 33554432000 4194304 4196468 140724846559936 140370878069776 140371062838997 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29782016 140724846568171 140724846568598 140724846568598 140724846571471 0
[pid=6653/tid=6660] ppid=6650 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/6653/task/6660/stat : 6660 (java) S 6650 6650 6268 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418851394 27969658880 31125 33554432000 4194304 4196468 140724846559936 140370877017232 140371062838997 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29782016 140724846568171 140724846568598 140724846568598 140724846571471 0
[pid=6653/tid=6661] ppid=6650 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6653/task/6661/stat : 6661 (java) S 6650 6650 6268 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418851394 27969658880 31125 33554432000 4194304 4196468 140724846559936 140370875964176 140371062838997 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29782016 140724846568171 140724846568598 140724846568598 140724846571471 0
[pid=6653/tid=6662] ppid=6650 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6653/task/6662/stat : 6662 (java) S 6650 6650 6268 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418851394 27969658880 31125 33554432000 4194304 4196468 140724846559936 140370874911632 140371062838997 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29782016 140724846568171 140724846568598 140724846568598 140724846571471 0
[pid=6653/tid=6663] ppid=6650 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6653/task/6663/stat : 6663 (java) S 6650 6650 6268 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418851396 27969658880 31125 33554432000 4194304 4196468 140724846559936 140369114110192 140371062839938 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29782016 140724846568171 140724846568598 140724846568598 140724846571471 0
[pid=6653/tid=6664] ppid=6650 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6653/task/6664/stat : 6664 (java) S 6650 6650 6268 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 418851396 27969658880 31125 33554432000 4194304 4196468 140724846559936 140368993576096 140371062838997 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29782016 140724846568171 140724846568598 140724846568598 140724846571471 0
[pid=6653/tid=6665] ppid=6650 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6653/task/6665/stat : 6665 (java) S 6650 6650 6268 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418851396 27969658880 31125 33554432000 4194304 4196468 140724846559936 140368725140208 140371062838997 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29782016 140724846568171 140724846568598 140724846568598 140724846571471 0
[pid=6653/tid=6666] ppid=6650 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6653/task/6666/stat : 6666 (java) S 6650 6650 6268 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418851399 27969658880 31125 33554432000 4194304 4196468 140724846559936 140368350631888 140371062847387 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29782016 140724846568171 140724846568598 140724846568598 140724846571471 0
[pid=6653/tid=6667] ppid=6650 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6653/task/6667/stat : 6667 (java) S 6650 6650 6268 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 20 0 418851399 27969658880 31125 33554432000 4194304 4196468 140724846559936 140369113058032 140371062839938 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29782016 140724846568171 140724846568598 140724846568598 140724846571471 0
[pid=6653/tid=6668] ppid=6650 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6653/task/6668/stat : 6668 (java) S 6650 6650 6268 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418851399 27969658880 31125 33554432000 4194304 4196468 140724846559936 140369112005488 140371062839938 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29782016 140724846568171 140724846568598 140724846568598 140724846571471 0
[pid=6653/tid=6669] ppid=6650 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6653/task/6669/stat : 6669 (java) S 6650 6650 6268 0 -1 1077944384 404 0 0 0 0 0 0 0 20 0 20 0 418851399 27969658880 31125 33554432000 4194304 4196468 140724846559936 140369110952432 140371062839938 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29782016 140724846568171 140724846568598 140724846568598 140724846571471 0
[pid=6653/tid=6670] ppid=6650 vsize=27314120 memory=0 CPUtime=0.02 cores=0-7
/proc/6653/task/6670/stat : 6670 (java) S 6650 6650 6268 0 -1 1077944384 473 0 0 0 2 0 0 0 20 0 20 0 418851399 27969658880 31125 33554432000 4194304 4196468 140724846559936 140369109899888 140371062839938 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29782016 140724846568171 140724846568598 140724846568598 140724846571471 0
[pid=6653/tid=6671] ppid=6650 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6653/task/6671/stat : 6671 (java) S 6650 6650 6268 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418851399 27969658880 31125 33554432000 4194304 4196468 140724846559936 140367852726752 140371062838997 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29782016 140724846568171 140724846568598 140724846568598 140724846571471 0
[pid=6653/tid=6672] ppid=6650 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/6653/task/6672/stat : 6672 (java) S 6650 6650 6268 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418851399 27969658880 31125 33554432000 4194304 4196468 140724846559936 140369108847280 140371062839938 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29782016 140724846568171 140724846568598 140724846568598 140724846571471 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 125896 KiB

[startup+0.310073 s]*
/proc/loadavg: 4.45 2.01 3.13 2/218 6672
/proc/meminfo: memFree=31519300/32770624 swapFree=67009652/67108860
[pid=6650] ppid=6647 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/6650/stat : 6650 (scop.sh) S 6647 6650 6268 0 -1 4202496 556 318 0 0 0 0 0 0 20 0 1 0 418851391 115843072 349 33554432000 4194304 5098028 140730125567168 140730125564424 140662996804220 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 30511104 140730125574948 140730125575276 140730125575276 140730125578189 0
/proc/6650/statm: 28282 349 296 221 0 87 0
[pid=6653] ppid=6650 vsize=27314120 memory=128168 CPUtime=0.42 cores=0-7
/proc/6653/stat : 6653 (java) S 6650 6650 6268 0 -1 1077944320 12391 0 0 0 37 5 0 0 20 0 20 0 418851392 27969658880 32042 33554432000 4194304 4196468 140724846559936 140724846542480 140371062828791 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 29782016 140724846568171 140724846568598 140724846568598 140724846571471 0
/proc/6653/statm: 6828530 32042 3032 1 0 6790935 0
[pid=6653/tid=6654] ppid=6650 vsize=27314120 memory=1398722017469774279 CPUtime=0.3 cores=0-7
/proc/6653/task/6654/stat : 6654 (java) R 6650 6650 6268 0 -1 4202560 9952 0 0 0 26 4 0 0 20 0 20 0 418851392 27969658880 32042 33554432000 4194304 4196468 140724846559936 140371034611808 140371043104201 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29782016 140724846568171 140724846568598 140724846568598 140724846571471 0
[pid=6653/tid=6655] ppid=6650 vsize=27314120 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/6653/task/6655/stat : 6655 (java) S 6650 6650 6268 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418851394 27969658880 32042 33554432000 4194304 4196468 140724846559936 140371067070992 140371062838997 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29782016 140724846568171 140724846568598 140724846568598 140724846571471 0
[pid=6653/tid=6656] ppid=6650 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6653/task/6656/stat : 6656 (java) S 6650 6650 6268 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418851394 27969658880 32042 33554432000 4194304 4196468 140724846559936 140370881227408 140371062838997 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29782016 140724846568171 140724846568598 140724846568598 140724846571471 0
[pid=6653/tid=6657] ppid=6650 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6653/task/6657/stat : 6657 (java) S 6650 6650 6268 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418851394 27969658880 32042 33554432000 4194304 4196468 140724846559936 140370880174352 140371062838997 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29782016 140724846568171 140724846568598 140724846568598 140724846571471 0
[pid=6653/tid=6658] ppid=6650 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6653/task/6658/stat : 6658 (java) S 6650 6650 6268 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418851394 27969658880 32042 33554432000 4194304 4196468 140724846559936 140370879121808 140371062838997 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29782016 140724846568171 140724846568598 140724846568598 140724846571471 0
[pid=6653/tid=6659] ppid=6650 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6653/task/6659/stat : 6659 (java) S 6650 6650 6268 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418851394 27969658880 32042 33554432000 4194304 4196468 140724846559936 140370878069776 140371062838997 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29782016 140724846568171 140724846568598 140724846568598 140724846571471 0
[pid=6653/tid=6660] ppid=6650 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6653/task/6660/stat : 6660 (java) S 6650 6650 6268 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418851394 27969658880 32042 33554432000 4194304 4196468 140724846559936 140370877017232 140371062838997 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29782016 140724846568171 140724846568598 140724846568598 140724846571471 0
[pid=6653/tid=6661] ppid=6650 vsize=27314120 memory=2244 CPUtime=0 cores=0-7
/proc/6653/task/6661/stat : 6661 (java) S 6650 6650 6268 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418851394 27969658880 32042 33554432000 4194304 4196468 140724846559936 140370875964176 140371062838997 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29782016 140724846568171 140724846568598 140724846568598 140724846571471 0
[pid=6653/tid=6662] ppid=6650 vsize=27314120 memory=2244 CPUtime=0 cores=0-7
/proc/6653/task/6662/stat : 6662 (java) S 6650 6650 6268 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418851394 27969658880 32042 33554432000 4194304 4196468 140724846559936 140370874911632 140371062838997 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29782016 140724846568171 140724846568598 140724846568598 140724846571471 0
[pid=6653/tid=6663] ppid=6650 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6653/task/6663/stat : 6663 (java) S 6650 6650 6268 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418851396 27969658880 32042 33554432000 4194304 4196468 140724846559936 140369114110192 140371062839938 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29782016 140724846568171 140724846568598 140724846568598 140724846571471 0
[pid=6653/tid=6664] ppid=6650 vsize=27314120 memory=139973588246991 CPUtime=0 cores=0-7
/proc/6653/task/6664/stat : 6664 (java) S 6650 6650 6268 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 418851396 27969658880 32042 33554432000 4194304 4196468 140724846559936 140368993576096 140371062838997 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29782016 140724846568171 140724846568598 140724846568598 140724846571471 0
[pid=6653/tid=6665] ppid=6650 vsize=27314120 memory=279947176521616 CPUtime=0 cores=0-7
/proc/6653/task/6665/stat : 6665 (java) S 6650 6650 6268 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418851396 27969658880 32042 33554432000 4194304 4196468 140724846559936 140368725140208 140371062838997 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29782016 140724846568171 140724846568598 140724846568598 140724846571471 0
[pid=6653/tid=6666] ppid=6650 vsize=27314120 memory=279947176519312 CPUtime=0 cores=0-7
/proc/6653/task/6666/stat : 6666 (java) S 6650 6650 6268 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418851399 27969658880 32042 33554432000 4194304 4196468 140724846559936 140368350631888 140371062847387 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29782016 140724846568171 140724846568598 140724846568598 140724846571471 0
[pid=6653/tid=6667] ppid=6650 vsize=27314120 memory=279947176526224 CPUtime=0.01 cores=0-7
/proc/6653/task/6667/stat : 6667 (java) S 6650 6650 6268 0 -1 1077944384 94 0 0 0 1 0 0 0 20 0 20 0 418851399 27969658880 32042 33554432000 4194304 4196468 140724846559936 140369113058032 140371062839938 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29782016 140724846568171 140724846568598 140724846568598 140724846571471 0
[pid=6653/tid=6668] ppid=6650 vsize=27314120 memory=279947176467504 CPUtime=0 cores=0-7
/proc/6653/task/6668/stat : 6668 (java) R 6650 6650 6268 0 -1 4202560 29 0 0 0 0 0 0 0 20 0 20 0 418851399 27969658880 32042 33554432000 4194304 4196468 140724846559936 140369112005488 140371043529088 0 4 2 16800973 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 29782016 140724846568171 140724846568598 140724846568598 140724846571471 0
[pid=6653/tid=6669] ppid=6650 vsize=27314120 memory=279947176540048 CPUtime=0.02 cores=0-7
/proc/6653/task/6669/stat : 6669 (java) S 6650 6650 6268 0 -1 1077944384 505 0 0 0 2 0 0 0 20 0 20 0 418851399 27969658880 32042 33554432000 4194304 4196468 140724846559936 140369110952432 140371062839938 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29782016 140724846568171 140724846568598 140724846568598 140724846571471 0
[pid=6653/tid=6670] ppid=6650 vsize=27314120 memory=279947176546928 CPUtime=0.07 cores=0-7
/proc/6653/task/6670/stat : 6670 (java) S 6650 6650 6268 0 -1 1077944384 496 0 0 0 7 0 0 0 20 0 20 0 418851399 27969658880 32042 33554432000 4194304 4196468 140724846559936 140369109899888 140371062839938 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29782016 140724846568171 140724846568598 140724846568598 140724846571471 0
[pid=6653/tid=6671] ppid=6650 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6653/task/6671/stat : 6671 (java) S 6650 6650 6268 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418851399 27969658880 32042 33554432000 4194304 4196468 140724846559936 140367852726752 140371062838997 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29782016 140724846568171 140724846568598 140724846568598 140724846571471 0
[pid=6653/tid=6672] ppid=6650 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/6653/task/6672/stat : 6672 (java) S 6650 6650 6268 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418851399 27969658880 32042 33554432000 4194304 4196468 140724846559936 140369108847280 140371062839938 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29782016 140724846568171 140724846568598 140724846568598 140724846571471 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 129564 KiB

[startup+0.700909 s]
/proc/loadavg: 4.45 2.01 3.13 2/218 6672
/proc/meminfo: memFree=31495952/32770624 swapFree=67009652/67108860
[pid=6650] ppid=6647 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/6650/stat : 6650 (scop.sh) S 6647 6650 6268 0 -1 4202496 556 318 0 0 0 0 0 0 20 0 1 0 418851391 115843072 349 33554432000 4194304 5098028 140730125567168 140730125564424 140662996804220 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 30511104 140730125574948 140730125575276 140730125575276 140730125578189 0
/proc/6650/statm: 28282 349 296 221 0 87 0
[pid=6653] ppid=6650 vsize=27322516 memory=165800 CPUtime=1 cores=0-7
/proc/6653/stat : 6653 (java) S 6650 6650 6268 0 -1 1077944320 20085 0 0 0 93 7 0 0 20 0 20 0 418851392 27978256384 41450 33554432000 4194304 4196468 140724846559936 140724846542480 140371062828791 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 29782016 140724846568171 140724846568598 140724846568598 140724846571471 0
/proc/6653/statm: 6830629 41450 3203 1 0 6791959 0
[pid=6653/tid=6654] ppid=6650 vsize=27322516 memory=2244 CPUtime=0.67 cores=0-7
/proc/6653/task/6654/stat : 6654 (java) R 6650 6650 6268 0 -1 4202560 17058 0 0 0 61 6 0 0 20 0 20 0 418851392 27978256384 41450 33554432000 4194304 4196468 140724846559936 140371034660528 140371046872421 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29782016 140724846568171 140724846568598 140724846568598 140724846571471 0
[pid=6653/tid=6655] ppid=6650 vsize=27322516 memory=0 CPUtime=0 cores=0-7
/proc/6653/task/6655/stat : 6655 (java) S 6650 6650 6268 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418851394 27978256384 41450 33554432000 4194304 4196468 140724846559936 140371067070992 140371062838997 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29782016 140724846568171 140724846568598 140724846568598 140724846571471 0
[pid=6653/tid=6656] ppid=6650 vsize=27322516 memory=0 CPUtime=0 cores=0-7
/proc/6653/task/6656/stat : 6656 (java) S 6650 6650 6268 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418851394 27978256384 41450 33554432000 4194304 4196468 140724846559936 140370881227408 140371062838997 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29782016 140724846568171 140724846568598 140724846568598 140724846571471 0
[pid=6653/tid=6657] ppid=6650 vsize=27322516 memory=14008 CPUtime=0 cores=0-7
/proc/6653/task/6657/stat : 6657 (java) S 6650 6650 6268 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418851394 27978256384 41450 33554432000 4194304 4196468 140724846559936 140370880174352 140371062838997 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29782016 140724846568171 140724846568598 140724846568598 140724846571471 0

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

/proc/6673/task/6679/stat : 6679 (java) S 6650 6650 6268 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 418851706 8616062976 30483 33554432000 4194304 4196468 140727365581152 139813958572560 139814157330133 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32997376 140727365583864 140727365584022 140727365584022 140727365586895 0
[pid=6673/tid=6680] ppid=6650 vsize=8414124 memory=896 CPUtime=0 cores=0-7
/proc/6673/task/6680/stat : 6680 (java) S 6650 6650 6268 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418851706 8616062976 30483 33554432000 4194304 4196468 140727365581152 139813957520016 139814157330133 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32997376 140727365583864 140727365584022 140727365584022 140727365586895 0
[pid=6673/tid=6681] ppid=6650 vsize=8414124 memory=1436 CPUtime=0 cores=0-7
/proc/6673/task/6681/stat : 6681 (java) S 6650 6650 6268 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 418851706 8616062976 30483 33554432000 4194304 4196468 140727365581152 139813956466960 139814157330133 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32997376 140727365583864 140727365584022 140727365584022 140727365586895 0
[pid=6673/tid=6682] ppid=6650 vsize=8414124 memory=1980 CPUtime=0 cores=0-7
/proc/6673/task/6682/stat : 6682 (java) S 6650 6650 6268 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 418851706 8616062976 30483 33554432000 4194304 4196468 140727365581152 139813955414416 139814157330133 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32997376 140727365583864 140727365584022 140727365584022 140727365586895 0
[pid=6673/tid=6683] ppid=6650 vsize=8414124 memory=2452 CPUtime=0 cores=0-7
/proc/6673/task/6683/stat : 6683 (java) S 6650 6650 6268 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 418851707 8616062976 30483 33554432000 4194304 4196468 140727365581152 139813384932080 139814157331074 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32997376 140727365583864 140727365584022 140727365584022 140727365586895 0
[pid=6673/tid=6684] ppid=6650 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/6673/task/6684/stat : 6684 (java) S 6650 6650 6268 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 418851708 8616062976 30483 33554432000 4194304 4196468 140727365581152 139812728202912 139814157330133 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32997376 140727365583864 140727365584022 140727365584022 140727365586895 0
[pid=6673/tid=6685] ppid=6650 vsize=8414124 memory=121932 CPUtime=0 cores=0-7
/proc/6673/task/6685/stat : 6685 (java) S 6650 6650 6268 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418851708 8616062976 30483 33554432000 4194304 4196468 140727365581152 139812459767024 139814157330133 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32997376 140727365583864 140727365584022 140727365584022 140727365586895 0
[pid=6673/tid=6686] ppid=6650 vsize=8414124 memory=566764 CPUtime=0 cores=0-7
/proc/6673/task/6686/stat : 6686 (java) S 6650 6650 6268 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418851710 8616062976 30483 33554432000 4194304 4196468 140727365581152 139812085258704 139814157338523 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32997376 140727365583864 140727365584022 140727365584022 140727365586895 0
[pid=6673/tid=6687] ppid=6650 vsize=8414124 memory=1436 CPUtime=0.05 cores=0-7
/proc/6673/task/6687/stat : 6687 (java) S 6650 6650 6268 0 -1 1077944384 416 0 0 0 5 0 0 0 20 0 24 0 418851710 8616062976 30483 33554432000 4194304 4196468 140727365581152 139813383878896 139814157331074 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32997376 140727365583864 140727365584022 140727365584022 140727365586895 0
[pid=6673/tid=6688] ppid=6650 vsize=8414124 memory=1980 CPUtime=0.06 cores=0-7
/proc/6673/task/6688/stat : 6688 (java) S 6650 6650 6268 0 -1 1077944384 287 0 0 0 6 0 0 0 20 0 24 0 418851710 8616062976 30483 33554432000 4194304 4196468 140727365581152 139813382826352 139814157331074 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32997376 140727365583864 140727365584022 140727365584022 140727365586895 0
[pid=6673/tid=6689] ppid=6650 vsize=8414124 memory=2452 CPUtime=0.05 cores=0-7
/proc/6673/task/6689/stat : 6689 (java) S 6650 6650 6268 0 -1 1077944384 438 0 0 0 5 0 0 0 20 0 24 0 418851710 8616062976 30483 33554432000 4194304 4196468 140727365581152 139813381773296 139814157331074 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32997376 140727365583864 140727365584022 140727365584022 140727365586895 0
[pid=6673/tid=6690] ppid=6650 vsize=8414124 memory=1764 CPUtime=0.19 cores=0-7
/proc/6673/task/6690/stat : 6690 (java) S 6650 6650 6268 0 -1 1077944384 574 0 0 0 19 0 0 0 20 0 24 0 418851710 8616062976 30483 33554432000 4194304 4196468 140727365581152 139813380720752 139814157331074 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32997376 140727365583864 140727365584022 140727365584022 140727365586895 0
[pid=6673/tid=6691] ppid=6650 vsize=8414124 memory=111632 CPUtime=0 cores=0-7
/proc/6673/task/6691/stat : 6691 (java) S 6650 6650 6268 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 418851710 8616062976 30483 33554432000 4194304 4196468 140727365581152 139811587353568 139814157330133 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32997376 140727365583864 140727365584022 140727365584022 140727365586895 0
[pid=6673/tid=6692] ppid=6650 vsize=8414124 memory=4104 CPUtime=0.02 cores=0-7
/proc/6673/task/6692/stat : 6692 (java) S 6650 6650 6268 0 -1 1077944384 5 0 0 0 0 2 0 0 20 0 24 0 418851711 8616062976 30483 33554432000 4194304 4196468 140727365581152 139813379669168 139814157331074 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32997376 140727365583864 140727365584022 140727365584022 140727365586895 0
[pid=6673/tid=6694] ppid=6650 vsize=8414124 memory=1808 CPUtime=0 cores=0-7
/proc/6673/task/6694/stat : 6694 (java) S 6650 6650 6268 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 418851775 8616062976 30483 33554432000 4194304 4196468 140727365581152 139813371635136 139814157344537 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 32997376 140727365583864 140727365584022 140727365584022 140727365586895 0
[pid=6673/tid=6696] ppid=6650 vsize=8414124 memory=924 CPUtime=0 cores=0-7
/proc/6673/task/6696/stat : 6696 (java) S 6650 6650 6268 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 24 0 418851776 8616062976 30483 33554432000 4194304 4196468 140727365581152 139810916253200 139814157341853 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 32997376 140727365583864 140727365584022 140727365584022 140727365586895 0
[pid=6673/tid=6697] ppid=6650 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/6673/task/6697/stat : 6697 (java) S 6650 6650 6268 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 418851776 8616062976 30483 33554432000 4194304 4196468 140727365581152 139811184688784 139814157341853 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 32997376 140727365583864 140727365584022 140727365584022 140727365586895 0
[pid=6673/tid=6698] ppid=6650 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/6673/task/6698/stat : 6698 (java) S 6650 6650 6268 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 418851778 8616062976 30483 33554432000 4194304 4196468 140727365581152 139810647825328 139814157330133 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32997376 140727365583864 140727365584022 140727365584022 140727365586895 0
Current children cumulated CPU time: 313.71 s
Current children cumulated vsize: 9432596 KiB
Current children cumulated memory: 710492 KiB

[startup+43.6012 s]
/proc/loadavg: 6.31 2.77 3.34 5/226 6707
/proc/meminfo: memFree=30955228/32770624 swapFree=67009652/67108860
[pid=6650] ppid=6647 vsize=113128 memory=1476 CPUtime=6.19 cores=0-7
/proc/6650/stat : 6650 (scop.sh) S 6647 6650 6268 0 -1 4202496 583 27223 0 0 0 0 587 32 20 0 1 0 418851391 115843072 369 33554432000 4194304 5098028 140730125567168 140730125563912 140662996804220 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 30511104 140730125574948 140730125575276 140730125575276 140730125578189 0
/proc/6650/statm: 28282 369 311 221 0 87 0
[pid=6673] ppid=6650 vsize=8414124 memory=121932 CPUtime=1.16 cores=0-7
/proc/6673/stat : 6673 (java) S 6650 6650 6268 0 -1 1077944320 20476 0 0 0 109 7 0 0 20 0 24 0 418851704 8616062976 30483 33554432000 4194304 4196468 140727365581152 140727365563696 139814157319927 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 32997376 140727365583864 140727365584022 140727365584022 140727365586895 0
/proc/6673/statm: 2103531 30483 3205 1 0 2064875 0
[pid=6693] ppid=6673 vsize=905344 memory=587084 CPUtime=307.36 cores=0-7
/proc/6693/stat : 6693 (manyglucose-4.1) S 6673 6650 6268 0 -1 1077944320 227714 0 0 0 30672 64 0 0 20 0 3 0 418851775 927072256 146771 33554432000 4194304 4454172 140732617130752 140732617129136 140198058102519 0 4 0 8388610 18446744073709551615 0 0 17 6 0 0 0 0 0 6552832 6554400 38760448 140732617139050 140732617139248 140732617139248 140732617142202 0
/proc/6693/statm: 226336 146771 423 64 0 222004 0
[pid=6693/tid=6699] ppid=6673 vsize=905344 memory=7686721470284274585 CPUtime=39.07 cores=0-7
/proc/6693/task/6699/stat : 6699 (manyglucose-4.1) R 6673 6650 6268 0 -1 4202560 27135 0 0 0 3899 8 0 0 20 0 3 0 418851836 927072256 146771 33554432000 4194304 4454172 140732617130752 140198037642344 4351502 0 4 0 8388610 0 0 0 -1 0 0 0 0 0 0 6552832 6554400 38760448 140732617139050 140732617139248 140732617139248 140732617142202 0
[pid=6693/tid=6700] ppid=6673 vsize=905344 memory=8514701219781834910 CPUtime=39 cores=0-7
/proc/6693/task/6700/stat : 6700 (manyglucose-4.1) R 6673 6650 6268 0 -1 4202560 26253 0 0 0 3890 10 0 0 20 0 3 0 418851836 927072256 146771 33554432000 4194304 4454172 140732617130752 140198029249672 4321746 0 4 0 8388610 0 0 0 -1 3 0 0 0 0 0 6552832 6554400 38760448 140732617139050 140732617139248 140732617139248 140732617142202 0
[pid=6673/tid=6674] ppid=6650 vsize=8414124 memory=3054156605301954205 CPUtime=0.74 cores=0-7
/proc/6673/task/6674/stat : 6674 (java) S 6650 6650 6268 0 -1 1077944384 17355 0 0 0 69 5 0 0 20 0 24 0 418851704 8616062976 30483 33554432000 4194304 4196468 140727365581152 139814129160096 139814157330133 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32997376 140727365583864 140727365584022 140727365584022 140727365586895 0
[pid=6673/tid=6675] ppid=6650 vsize=8414124 memory=7100839852556125036 CPUtime=0 cores=0-7
/proc/6673/task/6675/stat : 6675 (java) S 6650 6650 6268 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 418851705 8616062976 30483 33554432000 4194304 4196468 140727365581152 139814161562640 139814157330133 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32997376 140727365583864 140727365584022 140727365584022 140727365586895 0
[pid=6673/tid=6676] ppid=6650 vsize=8414124 memory=14134454809526318 CPUtime=0 cores=0-7
/proc/6673/task/6676/stat : 6676 (java) S 6650 6650 6268 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418851706 8616062976 30483 33554432000 4194304 4196468 140727365581152 139813961731216 139814157330133 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32997376 140727365583864 140727365584022 140727365584022 140727365586895 0
[pid=6673/tid=6677] ppid=6650 vsize=8414124 memory=7955135201797559378 CPUtime=0 cores=0-7
/proc/6673/task/6677/stat : 6677 (java) S 6650 6650 6268 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418851706 8616062976 30483 33554432000 4194304 4196468 140727365581152 139813960678160 139814157330133 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32997376 140727365583864 140727365584022 140727365584022 140727365586895 0
[pid=6673/tid=6678] ppid=6650 vsize=8414124 memory=6224326950734024019 CPUtime=0 cores=0-7
/proc/6673/task/6678/stat : 6678 (java) S 6650 6650 6268 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 418851706 8616062976 30483 33554432000 4194304 4196468 140727365581152 139813959625616 139814157330133 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32997376 140727365583864 140727365584022 140727365584022 140727365586895 0
[pid=6673/tid=6679] ppid=6650 vsize=8414124 memory=6296404258939031632 CPUtime=0 cores=0-7
/proc/6673/task/6679/stat : 6679 (java) S 6650 6650 6268 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 418851706 8616062976 30483 33554432000 4194304 4196468 140727365581152 139813958572560 139814157330133 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32997376 140727365583864 140727365584022 140727365584022 140727365586895 0
[pid=6673/tid=6680] ppid=6650 vsize=8414124 memory=5793426093848482149 CPUtime=0 cores=0-7
/proc/6673/task/6680/stat : 6680 (java) S 6650 6650 6268 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418851706 8616062976 30483 33554432000 4194304 4196468 140727365581152 139813957520016 139814157330133 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32997376 140727365583864 140727365584022 140727365584022 140727365586895 0
[pid=6673/tid=6681] ppid=6650 vsize=8414124 memory=1616 CPUtime=0 cores=0-7
/proc/6673/task/6681/stat : 6681 (java) S 6650 6650 6268 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 418851706 8616062976 30483 33554432000 4194304 4196468 140727365581152 139813956466960 139814157330133 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32997376 140727365583864 140727365584022 140727365584022 140727365586895 0
[pid=6673/tid=6682] ppid=6650 vsize=8414124 memory=896 CPUtime=0 cores=0-7
/proc/6673/task/6682/stat : 6682 (java) S 6650 6650 6268 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 418851706 8616062976 30483 33554432000 4194304 4196468 140727365581152 139813955414416 139814157330133 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32997376 140727365583864 140727365584022 140727365584022 140727365586895 0
[pid=6673/tid=6683] ppid=6650 vsize=8414124 memory=1436 CPUtime=0 cores=0-7
/proc/6673/task/6683/stat : 6683 (java) S 6650 6650 6268 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 418851707 8616062976 30483 33554432000 4194304 4196468 140727365581152 139813384932080 139814157331074 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32997376 140727365583864 140727365584022 140727365584022 140727365586895 0
[pid=6673/tid=6684] ppid=6650 vsize=8414124 memory=1980 CPUtime=0 cores=0-7
/proc/6673/task/6684/stat : 6684 (java) S 6650 6650 6268 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 418851708 8616062976 30483 33554432000 4194304 4196468 140727365581152 139812728202912 139814157330133 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32997376 140727365583864 140727365584022 140727365584022 140727365586895 0
[pid=6673/tid=6685] ppid=6650 vsize=8414124 memory=2452 CPUtime=0 cores=0-7
/proc/6673/task/6685/stat : 6685 (java) S 6650 6650 6268 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418851708 8616062976 30483 33554432000 4194304 4196468 140727365581152 139812459767024 139814157330133 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32997376 140727365583864 140727365584022 140727365584022 140727365586895 0
[pid=6673/tid=6686] ppid=6650 vsize=8414124 memory=1764 CPUtime=0 cores=0-7
/proc/6673/task/6686/stat : 6686 (java) S 6650 6650 6268 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418851710 8616062976 30483 33554432000 4194304 4196468 140727365581152 139812085258704 139814157338523 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32997376 140727365583864 140727365584022 140727365584022 140727365586895 0
[pid=6673/tid=6687] ppid=6650 vsize=8414124 memory=111632 CPUtime=0.05 cores=0-7
/proc/6673/task/6687/stat : 6687 (java) S 6650 6650 6268 0 -1 1077944384 416 0 0 0 5 0 0 0 20 0 24 0 418851710 8616062976 30483 33554432000 4194304 4196468 140727365581152 139813383878896 139814157331074 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32997376 140727365583864 140727365584022 140727365584022 140727365586895 0
[pid=6673/tid=6688] ppid=6650 vsize=8414124 memory=4104 CPUtime=0.06 cores=0-7
/proc/6673/task/6688/stat : 6688 (java) S 6650 6650 6268 0 -1 1077944384 287 0 0 0 6 0 0 0 20 0 24 0 418851710 8616062976 30483 33554432000 4194304 4196468 140727365581152 139813382826352 139814157331074 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32997376 140727365583864 140727365584022 140727365584022 140727365586895 0
[pid=6673/tid=6689] ppid=6650 vsize=8414124 memory=1808 CPUtime=0.05 cores=0-7
/proc/6673/task/6689/stat : 6689 (java) S 6650 6650 6268 0 -1 1077944384 438 0 0 0 5 0 0 0 20 0 24 0 418851710 8616062976 30483 33554432000 4194304 4196468 140727365581152 139813381773296 139814157331074 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32997376 140727365583864 140727365584022 140727365584022 140727365586895 0
[pid=6673/tid=6690] ppid=6650 vsize=8414124 memory=924 CPUtime=0.19 cores=0-7
/proc/6673/task/6690/stat : 6690 (java) S 6650 6650 6268 0 -1 1077944384 574 0 0 0 19 0 0 0 20 0 24 0 418851710 8616062976 30483 33554432000 4194304 4196468 140727365581152 139813380720752 139814157331074 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32997376 140727365583864 140727365584022 140727365584022 140727365586895 0
[pid=6673/tid=6691] ppid=6650 vsize=8414124 memory=4428 CPUtime=0 cores=0-7
/proc/6673/task/6691/stat : 6691 (java) S 6650 6650 6268 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 418851710 8616062976 30483 33554432000 4194304 4196468 140727365581152 139811587353568 139814157330133 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32997376 140727365583864 140727365584022 140727365584022 140727365586895 0
[pid=6673/tid=6692] ppid=6650 vsize=8414124 memory=1412 CPUtime=0.02 cores=0-7
/proc/6673/task/6692/stat : 6692 (java) S 6650 6650 6268 0 -1 1077944384 5 0 0 0 0 2 0 0 20 0 24 0 418851711 8616062976 30483 33554432000 4194304 4196468 140727365581152 139813379669168 139814157331074 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32997376 140727365583864 140727365584022 140727365584022 140727365586895 0
[pid=6673/tid=6694] ppid=6650 vsize=8414124 memory=3364 CPUtime=0 cores=0-7
/proc/6673/task/6694/stat : 6694 (java) S 6650 6650 6268 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 418851775 8616062976 30483 33554432000 4194304 4196468 140727365581152 139813371635136 139814157344537 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 32997376 140727365583864 140727365584022 140727365584022 140727365586895 0
[pid=6673/tid=6696] ppid=6650 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/6673/task/6696/stat : 6696 (java) S 6650 6650 6268 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 24 0 418851776 8616062976 30483 33554432000 4194304 4196468 140727365581152 139810916253200 139814157341853 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 32997376 140727365583864 140727365584022 140727365584022 140727365586895 0
[pid=6673/tid=6697] ppid=6650 vsize=8414124 memory=121932 CPUtime=0 cores=0-7
/proc/6673/task/6697/stat : 6697 (java) S 6650 6650 6268 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 418851776 8616062976 30483 33554432000 4194304 4196468 140727365581152 139811184688784 139814157341853 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 32997376 140727365583864 140727365584022 140727365584022 140727365586895 0
[pid=6673/tid=6698] ppid=6650 vsize=8414124 memory=121932 CPUtime=0 cores=0-7
/proc/6673/task/6698/stat : 6698 (java) S 6650 6650 6268 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 418851778 8616062976 30483 33554432000 4194304 4196468 140727365581152 139810647825328 139814157330133 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32997376 140727365583864 140727365584022 140727365584022 140727365586895 0
Current children cumulated CPU time: 314.71 s
Current children cumulated vsize: 9432596 KiB
Current children cumulated memory: 710492 KiB

[startup+43.8011 s]
/proc/loadavg: 6.31 2.77 3.34 5/226 6707
/proc/meminfo: memFree=30955228/32770624 swapFree=67009652/67108860
[pid=6650] ppid=6647 vsize=113128 memory=1476 CPUtime=6.19 cores=0-7
/proc/6650/stat : 6650 (scop.sh) S 6647 6650 6268 0 -1 4202496 583 27223 0 0 0 0 587 32 20 0 1 0 418851391 115843072 369 33554432000 4194304 5098028 140730125567168 140730125563912 140662996804220 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 30511104 140730125574948 140730125575276 140730125575276 140730125578189 0
/proc/6650/statm: 28282 369 311 221 0 87 0
[pid=6673] ppid=6650 vsize=8283048 memory=133560 CPUtime=308.97 cores=0-7
/proc/6673/stat : 6673 (java) S 6650 6650 6268 0 -1 1077944320 22343 228150 0 0 141 8 30682 66 20 0 22 0 418851704 8481841152 33390 33554432000 4194304 4196468 140727365581152 140727365563696 139814157319927 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 32997376 140727365583864 140727365584022 140727365584022 140727365586895 0
/proc/6673/statm: 2070762 33390 3221 1 0 2032106 0
[pid=6673/tid=6674] ppid=6650 vsize=8283048 memory=2200 CPUtime=308.28 cores=0-7
/proc/6673/task/6674/stat : 6674 (java) R 6650 6650 6268 0 -1 4202560 17556 228150 0 0 75 5 30682 66 20 0 22 0 418851704 8481841152 33390 33554432000 4194304 4196468 140727365581152 139814129155784 139814141400414 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32997376 140727365583864 140727365584022 140727365584022 140727365586895 0
[pid=6673/tid=6675] ppid=6650 vsize=8283048 memory=1600 CPUtime=307.48 cores=0-7
/proc/6673/task/6675/stat : 6675 (java) S 6650 6650 6268 0 -1 1077944384 2 228150 0 0 0 0 30682 66 20 0 22 0 418851705 8481841152 33390 33554432000 4194304 4196468 140727365581152 139814161562640 139814157330133 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32997376 140727365583864 140727365584022 140727365584022 140727365586895 0
[pid=6673/tid=6676] ppid=6650 vsize=8283048 memory=1398722017469774279 CPUtime=307.48 cores=0-7
/proc/6673/task/6676/stat : 6676 (java) S 6650 6650 6268 0 -1 1077944384 1 228150 0 0 0 0 30682 66 20 0 22 0 418851706 8481841152 33408 33554432000 4194304 4196468 140727365581152 139813961731216 139814157330133 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32997376 140727365583864 140727365584022 140727365584022 140727365586895 0
[pid=6673/tid=6677] ppid=6650 vsize=8283048 memory=4872558044660077418 CPUtime=307.48 cores=0-7
/proc/6673/task/6677/stat : 6677 (java) S 6650 6650 6268 0 -1 1077944384 1 228150 0 0 0 0 30682 66 20 0 22 0 418851706 8481841152 33408 33554432000 4194304 4196468 140727365581152 139813960678160 139814157330133 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32997376 140727365583864 140727365584022 140727365584022 140727365586895 0
[pid=6673/tid=6678] ppid=6650 vsize=8283048 memory=776 CPUtime=307.48 cores=0-7
/proc/6673/task/6678/stat : 6678 (java) S 6650 6650 6268 0 -1 1077944384 3 228150 0 0 0 0 30682 66 20 0 22 0 418851706 8481841152 33408 33554432000 4194304 4196468 140727365581152 139813959625616 139814157330133 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32997376 140727365583864 140727365584022 140727365584022 140727365586895 0
[pid=6673/tid=6679] ppid=6650 vsize=8283048 memory=4004 CPUtime=307.48 cores=0-7
/proc/6673/task/6679/stat : 6679 (java) S 6650 6650 6268 0 -1 1077944384 2 228150 0 0 0 0 30682 66 20 0 22 0 418851706 8481841152 33408 33554432000 4194304 4196468 140727365581152 139813958572560 139814157330133 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32997376 140727365583864 140727365584022 140727365584022 140727365586895 0
[pid=6673/tid=6680] ppid=6650 vsize=8283048 memory=2832 CPUtime=307.48 cores=0-7
/proc/6673/task/6680/stat : 6680 (java) S 6650 6650 6268 0 -1 1077944384 1 228150 0 0 0 0 30682 66 20 0 22 0 418851706 8481841152 33408 33554432000 4194304 4196468 140727365581152 139813957520016 139814157330133 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32997376 140727365583864 140727365584022 140727365584022 140727365586895 0
[pid=6673/tid=6681] ppid=6650 vsize=8283048 memory=8500 CPUtime=307.48 cores=0-7
/proc/6673/task/6681/stat : 6681 (java) S 6650 6650 6268 0 -1 1077944384 2 228150 0 0 0 0 30682 66 20 0 22 0 418851706 8481841152 33408 33554432000 4194304 4196468 140727365581152 139813956466960 139814157330133 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32997376 140727365583864 140727365584022 140727365584022 140727365586895 0
[pid=6673/tid=6682] ppid=6650 vsize=8283048 memory=1696 CPUtime=307.48 cores=0-7
/proc/6673/task/6682/stat : 6682 (java) S 6650 6650 6268 0 -1 1077944384 2 228150 0 0 0 0 30682 66 20 0 22 0 418851706 8481841152 33408 33554432000 4194304 4196468 140727365581152 139813955414416 139814157330133 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32997376 140727365583864 140727365584022 140727365584022 140727365586895 0
[pid=6673/tid=6683] ppid=6650 vsize=8283048 memory=1188 CPUtime=307.48 cores=0-7
/proc/6673/task/6683/stat : 6683 (java) S 6650 6650 6268 0 -1 1077944384 7 228150 0 0 0 0 30682 66 20 0 22 0 418851707 8481841152 33408 33554432000 4194304 4196468 140727365581152 139813384932080 139814157331074 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32997376 140727365583864 140727365584022 140727365584022 140727365586895 0
[pid=6673/tid=6684] ppid=6650 vsize=8283048 memory=1060 CPUtime=307.48 cores=0-7
/proc/6673/task/6684/stat : 6684 (java) S 6650 6650 6268 0 -1 1077944384 13 228150 0 0 0 0 30682 66 20 0 22 0 418851708 8481841152 33408 33554432000 4194304 4196468 140727365581152 139812728202912 139814157330133 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32997376 140727365583864 140727365584022 140727365584022 140727365586895 0
[pid=6673/tid=6685] ppid=6650 vsize=8283048 memory=7988 CPUtime=307.48 cores=0-7
/proc/6673/task/6685/stat : 6685 (java) S 6650 6650 6268 0 -1 1077944384 1 228150 0 0 0 0 30682 66 20 0 22 0 418851708 8481841152 33408 33554432000 4194304 4196468 140727365581152 139812459767024 139814157330133 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32997376 140727365583864 140727365584022 140727365584022 140727365586895 0
[pid=6673/tid=6686] ppid=6650 vsize=8283048 memory=1584 CPUtime=307.48 cores=0-7
/proc/6673/task/6686/stat : 6686 (java) S 6650 6650 6268 0 -1 1077944384 1 228150 0 0 0 0 30682 66 20 0 22 0 418851710 8481841152 33408 33554432000 4194304 4196468 140727365581152 139812085258704 139814157338523 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32997376 140727365583864 140727365584022 140727365584022 140727365586895 0
[pid=6673/tid=6687] ppid=6650 vsize=8283048 memory=1948 CPUtime=307.58 cores=0-7
/proc/6673/task/6687/stat : 6687 (java) R 6650 6650 6268 0 -1 4202560 626 228150 0 0 10 0 30682 66 20 0 22 0 418851710 8481841152 33439 33554432000 4194304 4196468 140727365581152 139813383866208 139814138727806 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32997376 140727365583864 140727365584022 140727365584022 140727365586895 0
[pid=6673/tid=6688] ppid=6650 vsize=8283048 memory=1296 CPUtime=307.59 cores=0-7
/proc/6673/task/6688/stat : 6688 (java) S 6650 6650 6268 0 -1 1077944384 637 228150 0 0 11 0 30682 66 20 0 22 0 418851710 8481841152 33439 33554432000 4194304 4196468 140727365581152 139813382826352 139814157331074 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32997376 140727365583864 140727365584022 140727365584022 140727365586895 0
[pid=6673/tid=6689] ppid=6650 vsize=8283048 memory=732 CPUtime=307.56 cores=0-7
/proc/6673/task/6689/stat : 6689 (java) S 6650 6650 6268 0 -1 1077944384 471 228150 0 0 8 0 30682 66 20 0 22 0 418851710 8481841152 33439 33554432000 4194304 4196468 140727365581152 139813381773296 139814157331074 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32997376 140727365583864 140727365584022 140727365584022 140727365586895 0
[pid=6673/tid=6690] ppid=6650 vsize=8283048 memory=0 CPUtime=307.74 cores=0-7
/proc/6673/task/6690/stat : 6690 (java) R 6650 6650 6268 0 -1 4202560 1093 228150 0 0 26 0 30682 66 20 0 22 0 418851710 8481841152 33439 33554432000 4194304 4196468 140727365581152 139813380720752 139814157331862 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 32997376 140727365583864 140727365584022 140727365584022 140727365586895 0
[pid=6673/tid=6691] ppid=6650 vsize=8283048 memory=8996 CPUtime=307.48 cores=0-7
/proc/6673/task/6691/stat : 6691 (java) S 6650 6650 6268 0 -1 1077944384 3 228150 0 0 0 0 30682 66 20 0 22 0 418851710 8481841152 33439 33554432000 4194304 4196468 140727365581152 139811587353568 139814157330133 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32997376 140727365583864 140727365584022 140727365584022 140727365586895 0
[pid=6673/tid=6692] ppid=6650 vsize=8283048 memory=581148 CPUtime=307.5 cores=0-7
/proc/6673/task/6692/stat : 6692 (java) S 6650 6650 6268 0 -1 1077944384 5 228150 0 0 0 2 30682 66 20 0 22 0 418851711 8481841152 33439 33554432000 4194304 4196468 140727365581152 139813379669168 139814157331074 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32997376 140727365583864 140727365584022 140727365584022 140727365586895 0
[pid=6673/tid=6694] ppid=6650 vsize=8283048 memory=6656426216303648864 CPUtime=307.48 cores=0-7
/proc/6673/task/6694/stat : 6694 (java) S 6650 6650 6268 0 -1 1077944384 25 228150 0 0 0 0 30682 66 20 0 22 0 418851775 8481841152 33439 33554432000 4194304 4196468 140727365581152 139813371634320 139814157331074 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32997376 140727365583864 140727365584022 140727365584022 140727365586895 0
[pid=6673/tid=6698] ppid=6650 vsize=8283048 memory=5788339765943363381 CPUtime=307.48 cores=0-7
/proc/6673/task/6698/stat : 6698 (java) S 6650 6650 6268 0 -1 1077944384 12 228150 0 0 0 0 30682 66 20 0 22 0 418851778 8481841152 33439 33554432000 4194304 4196468 140727365581152 139810647827120 139814157331074 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32997376 140727365583864 140727365584022 140727365584022 140727365586895 0
Current children cumulated CPU time: 315.16 s
Current children cumulated vsize: 8396176 KiB
Current children cumulated memory: 135036 KiB

Child status: 0
Real time (s): 43.8529
CPU time (s): 315.315
CPU user time (s): 314.221
CPU system time (s): 1.09351
CPU usage (%): 719.028
Max. virtual memory (cumulated for all children) (KiB): 27443924
Max. memory (cumulated for all children) (KiB): 1414536

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 314.221
system time used= 1.09351
maximum resident set size= 1413452
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 278561
page faults= 0
swaps= 0
block input operations= 0
block output operations= 13600
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 16433
involuntary context switches= 3672


# summary of solver processes directly reported to runsolver:
#   pid: 6650
#   total CPU time (s): 315.315
#   total CPU user time (s): 314.221
#   total CPU system time (s): 1.09351

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.436962 second user time and 0.641498 second system time

The end

Launcher Data 

Begin job on node132 at 2019-09-14 04:47:17
IDJOB=4392603
IDBENCH=127773
IDSOLVER=2839
FILE ID=node132/4392603-1568429287
RUNJOBID= node132-1568428013-6295
PBS_JOBID= 21702303
Free space on /tmp= 61624 MiB

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

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

MD5SUM BENCH= e5b164a238094fc306b5fb8652aa9c45
RANDOM SEED=2079147825

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        31637608 kB
MemAvailable:   31916768 kB
Buffers:           65784 kB
Cached:           492036 kB
SwapCached:         6296 kB
Active:           404036 kB
Inactive:         161880 kB
Active(anon):       4124 kB
Inactive(anon):    31572 kB
Active(file):     399912 kB
Inactive(file):   130308 kB
Unevictable:      109404 kB
Mlocked:          109404 kB
SwapTotal:      67108860 kB
SwapFree:       67009652 kB
Dirty:             19968 kB
Writeback:            12 kB
AnonPages:        112584 kB
Mapped:            31916 kB
Shmem:             19500 kB
Slab:             158796 kB
SReclaimable:     129548 kB
SUnreclaim:        29248 kB
KernelStack:        3504 kB
PageTables:         5312 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     476120 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     67584 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      136576 kB
DirectMap2M:    33409024 kB

Free space on /tmp at the end= 61604 MiB
End job on node132 at 2019-09-14 04:48:01