Trace number 4405463

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Fun-sCOP hybrid+ManyGlucose (2019-09-22)SAT 311.689 43.0952

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-10176-serial-file.bin HOME/instance-4405463-1569337406.xml
0.66/0.54	
0.66/0.54	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
0.66/0.54	
0.66/0.56	c BEGIN-Prog: Tue Sep 24 17:02:46 CEST 2019
0.66/0.56	c PID: 10179
0.93/0.82	c IP: 172.20.3.140
0.93/0.82	c HOST: node140.alineos.net
0.93/0.82	c (0,0) Parsing Begin
1.27/1.06	c (0,0) Parsing End
1.27/1.06	c (0,0) CSP: 50 int (0 aux), 0 bool (0 aux), 53 ctr, max domain size 398
1.27/1.06	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.27/1.06	c (0,0) Constraint Name Generate Begin
1.27/1.07	c (0,0) Ctr:HOME/instance-4405463-1569337406.xml,Le:NoOverlap:Num:Var
1.27/1.07	c (0,0) Constraint Name Generate End
1.27/1.07	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.27/1.07	c (0,0) CSP to CSPinCNF Begin
1.45/1.15	c (0,0) translated 6 (10%) constraints
1.45/1.16	c (0,0) translated 11 (20%) constraints
1.45/1.16	c (0,0) translated 16 (30%) constraints
1.45/1.16	c (0,0) translated 22 (40%) constraints
1.45/1.16	c (0,0) translated 27 (50%) constraints
1.45/1.17	c (0,0) translated 32 (60%) constraints
1.45/1.17	c (0,0) translated 38 (70%) constraints
1.45/1.17	c (0,0) translated 43 (80%) constraints
1.45/1.17	c (0,0) translated 48 (90%) constraints
2.33/1.43	c (0,0) translated 53 (100%) constraints
2.33/1.43	c (0,0) ===========================================
2.33/1.45	c (0,0) Hybrid: #OE=50, #LE=0
2.33/1.45	c (0,0) Hybrid
2.33/1.45	c (0,0) ===========================================
2.33/1.46	c (0,0) translated 36 (10%) constraints
2.33/1.46	c (0,0) translated 71 (20%) constraints
2.33/1.47	c (0,0) translated 106 (30%) constraints
2.33/1.48	c (0,0) translated 141 (40%) constraints
2.33/1.48	c (0,0) translated 176 (50%) constraints
2.33/1.49	c (0,0) translated 212 (60%) constraints
2.33/1.49	c (0,0) translated 247 (70%) constraints
2.33/1.49	c (0,0) translated 282 (80%) constraints
2.62/1.50	c (0,0) translated 317 (90%) constraints
2.62/1.50	c (0,0) translated 352 (100%) constraints
2.62/1.51	c (0,0) CSP to CSPinCNF End
2.62/1.51	c (0,0) CSP: 50 int (0 aux), 0 bool (0 aux), 352 ctr, max domain size 397
2.62/1.51	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 23 MiB used (max 0 MiB)
2.62/1.51	c (0,0) CSPinCNF Propagation Begin
2.62/1.53	c (0,0) 0 values, 6 unsatisfiable literals, and 51 valid clauses are removed
2.62/1.53	c (0,0) CSPinCNF Propagation End
2.62/1.53	c (0,0) CSP: 50 int (0 aux), 0 bool (0 aux), 301 ctr, max domain size 397
2.62/1.53	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 23 MiB used (max 0 MiB)
2.62/1.54	c (0,0) Hybrid: #OE=50, #LE=0
2.62/1.54	c (0,0) Simplify CSPinCNF Begin
2.97/1.63	c (1,0) Simplify CSPinCNF End
2.97/1.64	c (1,0) CSP: 50 int (0 aux), 1194 bool (1194 aux), 1495 ctr, max domain size 397
2.97/1.64	c (1,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 24 MiB used (max 0 MiB)
2.97/1.64	c (1,0) Calculate Precise Domain Begin
2.97/1.64	c (1,0) 0 values are removed by re-calculation
2.97/1.64	c (1,0) Calculate Precise Domain End
2.97/1.64	c (1,0) CSP: 50 int (0 aux), 1194 bool (1194 aux), 1495 ctr, max domain size 397
2.97/1.64	c (1,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 24 MiB used (max 0 MiB)
2.97/1.64	c (1,0) CSPinCNF to SatSolver Begin
4.45/2.07	c (1,1) 150 (10 %) CSP clauses are encoded (0 SAT variables, 56560 SAT clauses)
4.92/2.22	c (1,1) 299 (20 %) CSP clauses are encoded (0 SAT variables, 95222 SAT clauses)
5.02/2.36	c (1,1) 449 (30 %) CSP clauses are encoded (0 SAT variables, 130996 SAT clauses)
5.23/2.50	c (1,1) 598 (40 %) CSP clauses are encoded (0 SAT variables, 168040 SAT clauses)
5.33/2.63	c (2,1) 748 (50 %) CSP clauses are encoded (0 SAT variables, 201752 SAT clauses)
5.45/2.76	c (2,2) 897 (60 %) CSP clauses are encoded (0 SAT variables, 234820 SAT clauses)
5.56/2.88	c (2,2) 1047 (70 %) CSP clauses are encoded (0 SAT variables, 265004 SAT clauses)
5.67/2.99	c (2,2) 1196 (80 %) CSP clauses are encoded (0 SAT variables, 294327 SAT clauses)
5.77/3.08	c (2,2) 1346 (90 %) CSP clauses are encoded (0 SAT variables, 319405 SAT clauses)
5.89/3.15	c (2,2) 1495 (100 %) CSP clauses are encoded (0 SAT variables, 335960 SAT clauses)
5.89/3.15	c (2,2) CSPinCNF to SatSolver End
5.89/3.15	c (2,2) Heap : 1464 MiB used (max 21589 MiB), NonHeap : 27 MiB used (max 0 MiB)
5.89/3.15	c (2,2) 17686 bool, 336082 clause
5.89/3.15	c (2,2) Export Begin
6.07/3.23	c (2,2) Export to HOME/scop-10176-serial-file.bin
6.07/3.23	c (2,2) Export End
6.07/3.23	c (2,2) Export File Size: 0.01 MB
6.07/3.23	c (2,2) 0,0,0,0,1,1,2,STOP-AFTER(DIMACS)
6.07/3.23	c END-Prog: Tue Sep 24 17:02:48 CEST 2019
6.07/3.25	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-10176-serial-file.bin
6.15/3.72	c (0,0) Read Serial File Begin
6.15/3.72	c (0,0) HOME/scop-10176-serial-file.bin
6.15/3.92	c (0,0) Read Serial File End
6.15/3.93	
6.15/3.93	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
6.15/3.93	(Solving Process)
6.15/3.93	
6.15/3.96	c BEGIN-Prog: Tue Sep 24 17:02:49 CEST 2019
6.15/3.96	c PID: 10199
6.15/3.96	c IP: 172.20.3.140
6.15/3.96	c HOST: node140.alineos.net
6.15/3.96	c (0,0) SatSolver.solve Begin
6.15/3.96	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4405463-1569337406.xml-scop-10179.cnf
6.15/3.99	c (0,0) c
6.15/3.99	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.15/3.99	c (0,0) c
6.15/3.99	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
6.15/3.99	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
6.15/3.99	c (0,0) c ========================================[ Problem Statistics ]===========================================
6.15/3.99	c (0,0) c |                                                                                                       |
7.40/4.11	c (0,0) c |  Number of variables:         17686                                                                   |
7.40/4.11	c (0,0) c |  Number of clauses:          336082                                                                   |
7.40/4.11	c (0,0) c |  Parse time:                   0.11 s                                                                 |
7.40/4.11	c (0,0) c |                                                                                                       |
7.79/4.57	c (0,0) c |  Simplification time:          0.46 s                                                                 |
7.79/4.57	c (0,0) c |                                                                                                       |
7.79/4.57	c (0,0) c |  Generating clones                                                                                    |
7.89/4.67	c (1,0) c |  all clones generated. Memory =   220.22Mb.                                                           |
7.89/4.67	c (1,0) c ========================================================================================================|
7.89/4.67	c (1,0) c
7.89/4.67	c (1,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
7.89/4.67	c (1,0) c
7.89/4.67	c (1,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
7.89/4.67	c (1,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
7.89/4.67	c (1,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
7.89/4.67	c (1,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
7.89/4.67	c (1,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
7.89/4.67	c (1,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
7.89/4.67	c (1,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
7.89/4.67	c (1,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
7.89/4.67	c (1,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
7.89/4.67	c (1,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
7.89/4.67	c (1,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
7.89/4.67	c (1,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
7.89/4.67	c (1,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
7.89/4.67	c (1,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
7.89/4.67	c (1,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
7.89/4.67	c (1,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
7.89/4.67	c (1,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
7.89/4.67	c (1,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
7.89/4.67	c (1,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
245.66/34.54	c (30,0) c
245.66/34.54	c (30,0) c |------------------------------------------------------------------------------------------------------------------------|
245.66/34.54	c (30,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
245.66/34.54	c (30,0) c |------------------------------------------------------------------------------------------------------------------------|
245.66/34.54	c (30,0) c |  0 |    244 |     146811 |      70470 |    59782 |    16738 |    10556 |    71361 |     9094 |      207 |  20 |  0.492 |
245.66/34.54	c (30,0) c |  1 |    216 |     143041 |      69427 |    60971 |    15503 |    10977 |    70473 |     8971 |      207 |  20 |  0.283 |
245.66/34.54	c (30,0) c |  2 |    233 |     147481 |      72023 |    59931 |    18343 |    11312 |    72042 |     9053 |      215 |  20 |  0.283 |
245.66/34.54	c (30,0) c |  3 |    226 |     147115 |      72244 |    59879 |    18341 |    11153 |    71241 |     8800 |      210 |  20 |  0.283 |
245.66/34.54	c (30,0) c |  4 |    236 |     145600 |      71203 |    58902 |    17518 |    10399 |    72464 |     9145 |      212 |  20 |  0.283 |
245.66/34.54	c (30,0) c |  5 |    228 |     145661 |      69933 |    60779 |    16302 |    11203 |    70729 |     8959 |      207 |  20 |  0.283 |
245.66/34.54	c (30,0) c |  6 |    227 |     140483 |      69509 |    57261 |    15879 |    11020 |    70922 |     8968 |      208 |  20 |  0.492 |
245.66/34.54	c (30,0) c |  7 |    216 |     142513 |      68705 |    62510 |    15106 |    10151 |    70821 |     8717 |      205 |  20 |  0.277 |
245.66/34.54	c (30,0) c 
245.66/34.54	c (30,0) c synthesis      563514 conflicts   388653040 propagations     2368 conflicts/sec  1633167 propagations/sec
245.66/34.54	c (30,0) c real: 30.5552 s, cpu: 237.975 s, memory: 859.23 Mb
311.16/42.92	c (39,0) c
311.16/42.92	c (39,0) c real time : 38.9365 s
311.16/42.92	c (39,0) c cpu time  : 303.188 s
311.16/42.92	c (39,0) c
311.16/42.92	c (39,0) c
311.16/42.92	c (39,0) c
311.16/42.92	c (39,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
311.16/42.92	c (39,0) c
311.16/42.92	c (39,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
311.16/42.92	c (39,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
311.16/42.92	c (39,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
311.16/42.92	c (39,0) c | Conflicts     |          678657 |      84537 |      84363 |      86357 |      85993 |      86187 |      84320 |      83416 |      83484 |
311.16/42.92	c (39,0) c | Decisions     |         1377372 |     172066 |     172413 |     174630 |     172491 |     174788 |     172270 |     167369 |     171345 |
311.16/42.92	c (39,0) c | Propagations  |       481856068 |   59295660 |   59771539 |   62001459 |   60371602 |   60911517 |   59777558 |   59936673 |   59790060 |
311.16/42.92	c (39,0) c | ReduceDBs     |              56 |          7 |          7 |          7 |          7 |          7 |          7 |          7 |          7 |
311.16/42.92	c (39,0) c | SimpDBs       |              77 |          9 |         10 |         11 |          9 |         10 |         10 |          9 |          9 |
311.16/42.92	c (39,0) c | Restarts      |            2260 |        291 |        252 |        299 |        269 |        288 |        280 |        299 |        282 |
311.16/42.92	c (39,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
311.16/42.92	c (39,0) c | PropBinClauses|       593713408 |   72810635 |   73695466 |   76690712 |   74487220 |   74928134 |   73751362 |   74044406 |   73305473 |
311.16/42.92	c (39,0) c | PropPreBlocker|      6547803457 |  810911682 |  810457781 |  843458094 |  820053770 |  831000719 |  812517433 |  808320469 |  811083509 |
311.16/42.92	c (39,0) c | PropNotBlocker|      2256064481 |  277847716 |  276646734 |  290678590 |  281454123 |  289699681 |  284140398 |  278905282 |  276691957 |
311.16/42.92	c (39,0) c | LitFullScans  |     12702998216 | 1572300797 | 1570286963 | 1638286413 | 1591332621 | 1620117625 | 1578149138 | 1566204705 | 1566319954 |
311.16/42.92	c (39,0) c | LitScanFracts |         1534336 |     286589 |     116583 |     273807 |     127748 |     112252 |     126773 |     184736 |     305848 |
311.16/42.92	c (39,0) c | DecisionLevel0|            2283 |        294 |        258 |        304 |        271 |        289 |        282 |        302 |        283 |
311.16/42.92	c (39,0) c | Periods       |            2116 |        262 |        261 |        273 |        265 |        270 |        263 |        261 |        261 |
311.16/42.92	c (39,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
311.16/42.92	c (39,0) c | Avg_Trail     |                 |       6751 |       6764 |       6711 |       6662 |       6637 |       6677 |       6604 |       6807 |
311.16/42.92	c (39,0) c | Avg_DL        |                 |         20 |         20 |         21 |         21 |         21 |         21 |         21 |         21 |
311.16/42.92	c (39,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
311.16/42.92	c (39,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
311.16/42.92	c (39,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
311.16/42.92	c (39,0) c | Exported      |          100578 |      12455 |      12899 |      13022 |      12713 |      12169 |      12972 |      12558 |      11790 |
311.16/42.92	c (39,0) c | Imported      |          667402 |      83230 |      82212 |      85040 |      83646 |      85035 |      82447 |      82281 |      83511 |
311.16/42.92	c (39,0) c | Good          |            1531 |        184 |        176 |        207 |        195 |        209 |        177 |        186 |        197 |
311.16/42.92	c (39,0) c | Purge         |          665871 |      83046 |      82036 |      84833 |      83451 |      84826 |      82270 |      82095 |      83314 |
311.16/42.92	c (39,0) c | Promoted      |           87041 |      10923 |      10994 |      10930 |      10644 |      11159 |      10884 |      10901 |      10606 |
311.16/42.92	c (39,0) c | Remove_Imp    |          316729 |      39619 |      39557 |      39356 |      38725 |      40268 |      39261 |      39419 |      40524 |
311.16/42.92	c (39,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
311.16/42.92	c (39,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
311.16/42.92	c (39,0) c | Unaries       |                 |          3 |          6 |          5 |          2 |          1 |          2 |          3 |          1 |
311.16/42.92	c (39,0) c | Binaries      |                 |         39 |         46 |         27 |         27 |         24 |         38 |         29 |         20 |
311.16/42.92	c (39,0) c | Glues         |                 |        257 |        246 |        227 |        214 |        265 |        257 |        230 |        207 |
311.16/42.92	c (39,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
311.16/42.92	c (39,0) c | Orig_Seen     |            19 % |      63636 |      66768 |      65349 |      64431 |      64258 |      65285 |      61959 |      66997 |
311.16/42.92	c (39,0) c | Diff Orig seen|                 | -     3132 |      X     | -     1419 | -     2337 | -     2510 | -     1483 | -     4809 |        229 |
311.16/42.92	c (39,0) c | Hamming       |            23 % |       4920 |      X     |       4827 |       4594 |       4565 |       2989 |       4475 |       2309 |
311.16/42.92	c (39,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
311.16/42.92	c (39,0) c | RunningTime   |                 |   38.0 100%|   37.9 100%|   38.0 100%|   37.9 100%|   38.0 100%|   38.0 100%|   38.0 100%|   38.2 100%|
311.16/42.92	c (39,0) c | WaitingTime   |                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
311.16/42.92	c (39,0) c | ExchangingTime|                 |    0.0   0%|    0.0   0%|    0.1   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
311.16/42.92	c (39,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%|
311.16/42.92	c (39,0) c | SolvingTime   |                 |   38.0     |   38.0     |   38.0     |   38.0     |   38.0     |   38.0     |   38.0     |   38.2     |
311.16/42.92	c (39,0) c | PropagationTim|                 |   31.6  83%|   31.2  82%|   31.5  83%|   31.5  83%|   31.6  83%|   31.5  83%|   31.0  82%|   31.2  82%|
311.16/42.92	c (39,0) c | AnalysisTime  |                 |    5.1  13%|    5.5  14%|    5.2  14%|    5.2  14%|    5.1  13%|    5.2  14%|    5.6  15%|    5.6  15%|
311.16/42.92	c (39,0) c | ReductionTime |                 |    0.2   1%|    0.1   0%|    0.2   1%|    0.1   0%|    0.2   1%|    0.2   1%|    0.1   0%|    0.2   1%|
311.16/42.92	c (39,0) c | SimplifyTime  |                 |    0.1   0%|    0.1   0%|    0.1   0%|    0.1   0%|    0.1   0%|    0.1   0%|    0.1   0%|    0.1   0%|
311.16/42.92	c (39,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%|
311.16/42.92	c (39,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%|
311.16/42.92	c (39,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
311.16/42.92	c (39,0) c
311.16/42.92	c (39,0) c
311.16/42.92	c (39,0) c Threads : 8
311.16/42.92	c (39,0) c Winner : 1
311.16/42.92	c (39,0) c Conflicts_0 : 84537
311.16/42.92	c (39,0) c Conflicts_1 : 84363
311.16/42.92	c (39,0) c Conflicts_2 : 86357
311.16/42.92	c (39,0) c Conflicts_3 : 85993
311.16/42.92	c (39,0) c Conflicts_4 : 86187
311.16/42.92	c (39,0) c Conflicts_5 : 84320
311.16/42.92	c (39,0) c Conflicts_6 : 83416
311.16/42.92	c (39,0) c Conflicts_7 : 83484
311.16/42.92	c (39,0) c Conflicts_total : 678657
311.16/42.92	c (39,0) c Conflicts_winner : 84363
311.16/42.92	c (39,0) c Decisions_0 : 172066
311.16/42.92	c (39,0) c Decisions_1 : 172413
311.16/42.92	c (39,0) c Decisions_2 : 174630
311.16/42.92	c (39,0) c Decisions_3 : 172491
311.16/42.92	c (39,0) c Decisions_4 : 174788
311.16/42.92	c (39,0) c Decisions_5 : 172270
311.16/42.92	c (39,0) c Decisions_6 : 167369
311.16/42.92	c (39,0) c Decisions_7 : 171345
311.16/42.92	c (39,0) c Decisions_total : 1377372
311.16/42.92	c (39,0) c Decisions_winner : 172413
311.16/42.92	c (39,0) c Propagations_0 : 59295660
311.16/42.92	c (39,0) c Propagations_1 : 59771539
311.16/42.92	c (39,0) c Propagations_2 : 62001459
311.16/42.92	c (39,0) c Propagations_3 : 60371602
311.16/42.92	c (39,0) c Propagations_4 : 60911517
311.16/42.92	c (39,0) c Propagations_5 : 59777558
311.16/42.92	c (39,0) c Propagations_6 : 59936673
311.16/42.92	c (39,0) c Propagations_7 : 59790060
311.16/42.92	c (39,0) c Propagations_total : 481856068
311.16/42.92	c (39,0) c Propagations_winner : 59771539
311.16/42.92	c (39,0) c ReduceDBs_0 : 7
311.16/42.92	c (39,0) c ReduceDBs_1 : 7
311.16/42.92	c (39,0) c ReduceDBs_2 : 7
311.16/42.92	c (39,0) c ReduceDBs_3 : 7
311.16/42.92	c (39,0) c ReduceDBs_4 : 7
311.16/42.92	c (39,0) c ReduceDBs_5 : 7
311.16/42.92	c (39,0) c ReduceDBs_6 : 7
311.16/42.92	c (39,0) c ReduceDBs_7 : 7
311.16/42.92	c (39,0) c ReduceDBs_total : 56
311.16/42.92	c (39,0) c ReduceDBs_winner : 7
311.16/42.92	c (39,0) c SimpDBs_0 : 9
311.16/42.92	c (39,0) c SimpDBs_1 : 10
311.16/42.92	c (39,0) c SimpDBs_2 : 11
311.16/42.92	c (39,0) c SimpDBs_3 : 9
311.16/42.92	c (39,0) c SimpDBs_4 : 10
311.16/42.92	c (39,0) c SimpDBs_5 : 10
311.16/42.92	c (39,0) c SimpDBs_6 : 9
311.16/42.92	c (39,0) c SimpDBs_7 : 9
311.16/42.92	c (39,0) c SimpDBs_total : 77
311.16/42.92	c (39,0) c SimpDBs_winner : 10
311.16/42.92	c (39,0) c Restarts_0 : 291
311.16/42.92	c (39,0) c Restarts_1 : 252
311.16/42.92	c (39,0) c Restarts_2 : 299
311.16/42.92	c (39,0) c Restarts_3 : 269
311.16/42.92	c (39,0) c Restarts_4 : 288
311.16/42.92	c (39,0) c Restarts_5 : 280
311.16/42.93	c (39,0) c Restarts_6 : 299
311.16/42.93	c (39,0) c Restarts_7 : 282
311.16/42.93	c (39,0) c Restarts_total : 2260
311.16/42.93	c (39,0) c Restarts_winner : 252
311.16/42.93	c (39,0) c ForcedImports_0 : 0
311.16/42.93	c (39,0) c ForcedImports_1 : 0
311.16/42.93	c (39,0) c ForcedImports_2 : 0
311.16/42.93	c (39,0) c ForcedImports_3 : 0
311.16/42.93	c (39,0) c ForcedImports_4 : 0
311.16/42.93	c (39,0) c ForcedImports_5 : 0
311.16/42.93	c (39,0) c ForcedImports_6 : 0
311.16/42.93	c (39,0) c ForcedImports_7 : 0
311.16/42.93	c (39,0) c ForcedImports_total : 0
311.16/42.93	c (39,0) c ForcedImports_winner : 0
311.16/42.93	c (39,0) c PropsBinClauses_0 : 72810635
311.16/42.93	c (39,0) c PropsBinClauses_1 : 73695466
311.16/42.93	c (39,0) c PropsBinClauses_2 : 76690712
311.16/42.93	c (39,0) c PropsBinClauses_3 : 74487220
311.16/42.93	c (39,0) c PropsBinClauses_4 : 74928134
311.16/42.93	c (39,0) c PropsBinClauses_5 : 73751362
311.16/42.93	c (39,0) c PropsBinClauses_6 : 74044406
311.16/42.93	c (39,0) c PropsBinClauses_7 : 73305473
311.16/42.93	c (39,0) c PropsBinClauses_total : 593713408
311.16/42.93	c (39,0) c PropsBinClauses_winner : 73695466
311.16/42.93	c (39,0) c PropsPreBlocker_0 : 810911682
311.16/42.93	c (39,0) c PropsPreBlocker_1 : 810457781
311.16/42.93	c (39,0) c PropsPreBlocker_2 : 843458094
311.16/42.93	c (39,0) c PropsPreBlocker_3 : 820053770
311.16/42.93	c (39,0) c PropsPreBlocker_4 : 831000719
311.16/42.93	c (39,0) c PropsPreBlocker_5 : 812517433
311.16/42.93	c (39,0) c PropsPreBlocker_6 : 808320469
311.16/42.93	c (39,0) c PropsPreBlocker_7 : 811083509
311.16/42.93	c (39,0) c PropsPreBlocker_total : 6547803457
311.16/42.93	c (39,0) c PropsPreBlocker_winner : 810457781
311.16/42.93	c (39,0) c PropsNotBlocker_0 : 277847716
311.16/42.93	c (39,0) c PropsNotBlocker_1 : 276646734
311.16/42.93	c (39,0) c PropsNotBlocker_2 : 290678590
311.16/42.93	c (39,0) c PropsNotBlocker_3 : 281454123
311.16/42.93	c (39,0) c PropsNotBlocker_4 : 289699681
311.16/42.93	c (39,0) c PropsNotBlocker_5 : 284140398
311.16/42.93	c (39,0) c PropsNotBlocker_6 : 278905282
311.16/42.93	c (39,0) c PropsNotBlocker_7 : 276691957
311.16/42.93	c (39,0) c PropsNotBlocker_total : 2256064481
311.16/42.93	c (39,0) c PropsNotBlocker_winner : 276646734
311.16/42.93	c (39,0) c PropsLitFullScans_0 : 1572300797
311.16/42.93	c (39,0) c PropsLitFullScans_1 : 1570286963
311.16/42.93	c (39,0) c PropsLitFullScans_2 : 1638286413
311.16/42.93	c (39,0) c PropsLitFullScans_3 : 1591332621
311.16/42.93	c (39,0) c PropsLitFullScans_4 : 1620117625
311.16/42.93	c (39,0) c PropsLitFullScans_5 : 1578149138
311.16/42.93	c (39,0) c PropsLitFullScans_6 : 1566204705
311.16/42.93	c (39,0) c PropsLitFullScans_7 : 1566319954
311.16/42.93	c (39,0) c PropsLitFullScans_total : 12702998216
311.16/42.93	c (39,0) c PropsLitFullScans_winner : 1570286963
311.16/42.93	c (39,0) c LitScanFractions_0 : 286589
311.16/42.93	c (39,0) c LitScanFractions_1 : 116583
311.16/42.93	c (39,0) c LitScanFractions_2 : 273807
311.16/42.93	c (39,0) c LitScanFractions_3 : 127748
311.16/42.93	c (39,0) c LitScanFractions_4 : 112252
311.16/42.93	c (39,0) c LitScanFractions_5 : 126773
311.16/42.93	c (39,0) c LitScanFractions_6 : 184736
311.16/42.93	c (39,0) c LitScanFractions_7 : 305848
311.16/42.93	c (39,0) c LitScanFractions_total : 1534336
311.16/42.93	c (39,0) c LitScanFractions_winner : 116583
311.16/42.93	c (39,0) c DecisionLevel0_0 : 294
311.16/42.93	c (39,0) c DecisionLevel0_1 : 258
311.16/42.93	c (39,0) c DecisionLevel0_2 : 304
311.16/42.93	c (39,0) c DecisionLevel0_3 : 271
311.16/42.93	c (39,0) c DecisionLevel0_4 : 289
311.16/42.93	c (39,0) c DecisionLevel0_5 : 282
311.16/42.93	c (39,0) c DecisionLevel0_6 : 302
311.16/42.93	c (39,0) c DecisionLevel0_7 : 283
311.16/42.93	c (39,0) c DecisionLevel0_total : 2283
311.16/42.93	c (39,0) c DecisionLevel0_winner : 258
311.16/42.93	c (39,0) c Periods_0 : 262
311.16/42.93	c (39,0) c Periods_1 : 261
311.16/42.93	c (39,0) c Periods_2 : 273
311.16/42.93	c (39,0) c Periods_3 : 265
311.16/42.93	c (39,0) c Periods_4 : 270
311.16/42.93	c (39,0) c Periods_5 : 263
311.16/42.93	c (39,0) c Periods_6 : 261
311.16/42.93	c (39,0) c Periods_7 : 261
311.16/42.93	c (39,0) c Periods_total : 2116
311.16/42.93	c (39,0) c Periods_winner : 261
311.16/42.93	c (39,0) c Margin_0 : 20
311.16/42.93	c (39,0) c Margin_1 : 20
311.16/42.93	c (39,0) c Margin_2 : 20
311.16/42.93	c (39,0) c Margin_3 : 20
311.16/42.93	c (39,0) c Margin_4 : 20
311.16/42.93	c (39,0) c Margin_5 : 20
311.16/42.93	c (39,0) c Margin_6 : 20
311.16/42.93	c (39,0) c Margin_7 : 20
311.16/42.93	c (39,0) c Margin_total : 160
311.16/42.93	c (39,0) c Margin_winner : 20
311.16/42.93	c (39,0) c Exported_0 : 12455
311.16/42.93	c (39,0) c Exported_1 : 12899
311.16/42.93	c (39,0) c Exported_2 : 13022
311.16/42.93	c (39,0) c Exported_3 : 12713
311.16/42.93	c (39,0) c Exported_4 : 12169
311.16/42.93	c (39,0) c Exported_5 : 12972
311.16/42.93	c (39,0) c Exported_6 : 12558
311.16/42.93	c (39,0) c Exported_7 : 11790
311.16/42.93	c (39,0) c Exported_total : 100578
311.16/42.93	c (39,0) c Exported_winner : 12899
311.16/42.93	c (39,0) c Imported_0 : 83230
311.16/42.93	c (39,0) c Imported_1 : 82212
311.16/42.93	c (39,0) c Imported_2 : 85040
311.16/42.93	c (39,0) c Imported_3 : 83646
311.16/42.93	c (39,0) c Imported_4 : 85035
311.16/42.93	c (39,0) c Imported_5 : 82447
311.16/42.93	c (39,0) c Imported_6 : 82281
311.16/42.93	c (39,0) c Imported_7 : 83511
311.16/42.93	c (39,0) c Imported_total : 667402
311.16/42.93	c (39,0) c Imported_winner : 82212
311.16/42.93	c (39,0) c Good_0 : 184
311.16/42.93	c (39,0) c Good_1 : 176
311.16/42.93	c (39,0) c Good_2 : 207
311.16/42.93	c (39,0) c Good_3 : 195
311.16/42.93	c (39,0) c Good_4 : 209
311.16/42.93	c (39,0) c Good_5 : 177
311.16/42.93	c (39,0) c Good_6 : 186
311.16/42.93	c (39,0) c Good_7 : 197
311.16/42.93	c (39,0) c Good_total : 1531
311.16/42.93	c (39,0) c Good_winner : 176
311.16/42.93	c (39,0) c Purge_0 : 83046
311.16/42.93	c (39,0) c Purge_1 : 82036
311.16/42.93	c (39,0) c Purge_2 : 84833
311.16/42.93	c (39,0) c Purge_3 : 83451
311.16/42.93	c (39,0) c Purge_4 : 84826
311.16/42.93	c (39,0) c Purge_5 : 82270
311.16/42.93	c (39,0) c Purge_6 : 82095
311.16/42.93	c (39,0) c Purge_7 : 83314
311.16/42.93	c (39,0) c Purge_total : 665871
311.16/42.93	c (39,0) c Purge_winner : 82036
311.16/42.93	c (39,0) c Promoted_0 : 10923
311.16/42.93	c (39,0) c Promoted_1 : 10994
311.16/42.93	c (39,0) c Promoted_2 : 10930
311.16/42.93	c (39,0) c Promoted_3 : 10644
311.16/42.93	c (39,0) c Promoted_4 : 11159
311.16/42.93	c (39,0) c Promoted_5 : 10884
311.16/42.93	c (39,0) c Promoted_6 : 10901
311.16/42.93	c (39,0) c Promoted_7 : 10606
311.16/42.93	c (39,0) c Promoted_total : 87041
311.16/42.93	c (39,0) c Promoted_winner : 10994
311.16/42.93	c (39,0) c Remove_Imp_0 : 39619
311.16/42.93	c (39,0) c Remove_Imp_1 : 39557
311.16/42.93	c (39,0) c Remove_Imp_2 : 39356
311.16/42.93	c (39,0) c Remove_Imp_3 : 38725
311.16/42.93	c (39,0) c Remove_Imp_4 : 40268
311.16/42.93	c (39,0) c Remove_Imp_5 : 39261
311.16/42.93	c (39,0) c Remove_Imp_6 : 39419
311.16/42.93	c (39,0) c Remove_Imp_7 : 40524
311.16/42.93	c (39,0) c Remove_Imp_total : 316729
311.16/42.93	c (39,0) c Remove_Imp_winner : 39557
311.16/42.93	c (39,0) c Blocked_Reuse_0 : 0
311.16/42.93	c (39,0) c Blocked_Reuse_1 : 0
311.16/42.93	c (39,0) c Blocked_Reuse_2 : 0
311.16/42.93	c (39,0) c Blocked_Reuse_3 : 0
311.16/42.93	c (39,0) c Blocked_Reuse_4 : 0
311.16/42.93	c (39,0) c Blocked_Reuse_5 : 0
311.16/42.93	c (39,0) c Blocked_Reuse_6 : 0
311.16/42.93	c (39,0) c Blocked_Reuse_7 : 0
311.16/42.93	c (39,0) c Blocked_Reuse_total : 0
311.16/42.93	c (39,0) c Blocked_Reuse_winner : 0
311.16/42.93	c (39,0) c Unaries_0 : 3
311.16/42.93	c (39,0) c Unaries_1 : 6
311.16/42.93	c (39,0) c Unaries_2 : 5
311.16/42.93	c (39,0) c Unaries_3 : 2
311.16/42.93	c (39,0) c Unaries_4 : 1
311.16/42.93	c (39,0) c Unaries_5 : 2
311.16/42.93	c (39,0) c Unaries_6 : 3
311.16/42.93	c (39,0) c Unaries_7 : 1
311.16/42.93	c (39,0) c Unaries_total : 23
311.16/42.93	c (39,0) c Unaries_winner : 6
311.16/42.93	c (39,0) c Binaries_0 : 39
311.16/42.93	c (39,0) c Binaries_1 : 46
311.16/42.93	c (39,0) c Binaries_2 : 27
311.16/42.93	c (39,0) c Binaries_3 : 27
311.16/42.93	c (39,0) c Binaries_4 : 24
311.16/42.93	c (39,0) c Binaries_5 : 38
311.16/42.93	c (39,0) c Binaries_6 : 29
311.16/42.93	c (39,0) c Binaries_7 : 20
311.16/42.93	c (39,0) c Binaries_total : 250
311.16/42.93	c (39,0) c Binaries_winner : 46
311.16/42.93	c (39,0) c Glues_0 : 257
311.16/42.93	c (39,0) c Glues_1 : 246
311.16/42.93	c (39,0) c Glues_2 : 227
311.16/42.93	c (39,0) c Glues_3 : 214
311.16/42.93	c (39,0) c Glues_4 : 265
311.16/42.93	c (39,0) c Glues_5 : 257
311.16/42.93	c (39,0) c Glues_6 : 230
311.16/42.93	c (39,0) c Glues_7 : 207
311.16/42.93	c (39,0) c Glues_total : 1903
311.16/42.93	c (39,0) c Glues_winner : 246
311.16/42.93	c (39,0) c RunningTime_0 : 37.988510
311.16/42.93	c (39,0) c RunningTime_1 : 37.942822
311.16/42.93	c (39,0) c RunningTime_2 : 37.963102
311.16/42.93	c (39,0) c RunningTime_3 : 37.946213
311.16/42.93	c (39,0) c RunningTime_4 : 37.994209
311.16/42.93	c (39,0) c RunningTime_5 : 37.963096
311.16/42.93	c (39,0) c RunningTime_6 : 37.955500
311.16/42.93	c (39,0) c RunningTime_7 : 38.194004
311.16/42.93	c (39,0) c RunningTime_total : 303.947456
311.16/42.93	c (39,0) c RunningTime_winner : 37.942822
311.16/42.93	c (39,0) c WaitingTime_0 : 0.000325
311.16/42.93	c (39,0) c WaitingTime_1 : 0.000400
311.16/42.93	c (39,0) c WaitingTime_2 : 0.000466
311.16/42.93	c (39,0) c WaitingTime_3 : 0.000404
311.16/42.93	c (39,0) c WaitingTime_4 : 0.000390
311.16/42.93	c (39,0) c WaitingTime_5 : 0.000378
311.16/42.93	c (39,0) c WaitingTime_6 : 0.000367
311.16/42.93	c (39,0) c WaitingTime_7 : 0.000323
311.16/42.93	c (39,0) c WaitingTime_total : 0.003053
311.16/42.93	c (39,0) c WaitingTime_winner : 0.000400
311.16/42.93	c (39,0) c ExchangingTime_0 : 0.047473
311.16/42.93	c (39,0) c ExchangingTime_1 : 0.036483
311.16/42.93	c (39,0) c ExchangingTime_2 : 0.050874
311.16/42.93	c (39,0) c ExchangingTime_3 : 0.048496
311.16/42.93	c (39,0) c ExchangingTime_4 : 0.043677
311.16/42.93	c (39,0) c ExchangingTime_5 : 0.042630
311.16/42.93	c (39,0) c ExchangingTime_6 : 0.037617
311.16/42.93	c (39,0) c ExchangingTime_7 : 0.037712
311.16/42.93	c (39,0) c ExchangingTime_total : 0.344963
311.16/42.93	c (39,0) c ExchangingTime_winner : 0.036483
311.16/42.93	c (39,0) c PeriodProcTime_0 : 0.002417
311.16/42.93	c (39,0) c PeriodProcTime_1 : 0.002403
311.16/42.93	c (39,0) c PeriodProcTime_2 : 0.002449
311.16/42.93	c (39,0) c PeriodProcTime_3 : 0.002666
311.16/42.93	c (39,0) c PeriodProcTime_4 : 0.002492
311.16/42.93	c (39,0) c PeriodProcTime_5 : 0.002512
311.16/42.93	c (39,0) c PeriodProcTime_6 : 0.002582
311.16/42.93	c (39,0) c PeriodProcTime_7 : 0.002674
311.16/42.93	c (39,0) c PeriodProcTime_total : 0.020196
311.16/42.93	c (39,0) c PeriodProcTime_winner : 0.002403
311.16/42.93	c (39,0) c SolvingTime_0 : 38.038726
311.16/42.93	c (39,0) c SolvingTime_1 : 37.982109
311.16/42.93	c (39,0) c SolvingTime_2 : 38.016891
311.16/42.93	c (39,0) c SolvingTime_3 : 37.997779
311.16/42.93	c (39,0) c SolvingTime_4 : 38.040768
311.16/42.93	c (39,0) c SolvingTime_5 : 38.008615
311.16/42.93	c (39,0) c SolvingTime_6 : 37.996067
311.16/42.93	c (39,0) c SolvingTime_7 : 38.234713
311.16/42.93	c (39,0) c SolvingTime_total : 304.315668
311.16/42.93	c (39,0) c SolvingTime_winner : 37.982109
311.16/42.93	c (39,0) c PropagationTime_0 : 31.628588
311.16/42.93	c (39,0) c PropagationTime_1 : 31.226395
311.16/42.93	c (39,0) c PropagationTime_2 : 31.511268
311.16/42.93	c (39,0) c PropagationTime_3 : 31.524455
311.16/42.93	c (39,0) c PropagationTime_4 : 31.622725
311.16/42.93	c (39,0) c PropagationTime_5 : 31.459822
311.16/42.93	c (39,0) c PropagationTime_6 : 31.049537
311.16/42.93	c (39,0) c PropagationTime_7 : 31.230468
311.16/42.93	c (39,0) c PropagationTime_total : 251.253259
311.16/42.93	c (39,0) c PropagationTime_winner : 31.226395
311.16/42.93	c (39,0) c AnalysisTime_0 : 5.061058
311.16/42.93	c (39,0) c AnalysisTime_1 : 5.461512
311.16/42.93	c (39,0) c AnalysisTime_2 : 5.158203
311.16/42.93	c (39,0) c AnalysisTime_3 : 5.165454
311.16/42.93	c (39,0) c AnalysisTime_4 : 5.054703
311.16/42.93	c (39,0) c AnalysisTime_5 : 5.203535
311.16/42.93	c (39,0) c AnalysisTime_6 : 5.641553
311.16/42.93	c (39,0) c AnalysisTime_7 : 5.637900
311.16/42.93	c (39,0) c AnalysisTime_total : 42.383919
311.16/42.93	c (39,0) c AnalysisTime_winner : 5.461512
311.16/42.93	c (39,0) c ReductionTime_0 : 0.190387
311.16/42.93	c (39,0) c ReductionTime_1 : 0.144999
311.16/42.93	c (39,0) c ReductionTime_2 : 0.197469
311.16/42.93	c (39,0) c ReductionTime_3 : 0.149557
311.16/42.93	c (39,0) c ReductionTime_4 : 0.196498
311.16/42.93	c (39,0) c ReductionTime_5 : 0.194301
311.16/42.93	c (39,0) c ReductionTime_6 : 0.146876
311.16/42.93	c (39,0) c ReductionTime_7 : 0.196365
311.16/42.93	c (39,0) c ReductionTime_total : 1.416453
311.16/42.93	c (39,0) c ReductionTime_winner : 0.144999
311.16/42.93	c (39,0) c SimplifyTime_0 : 0.103205
311.16/42.93	c (39,0) c SimplifyTime_1 : 0.118676
311.16/42.93	c (39,0) c SimplifyTime_2 : 0.131550
311.16/42.93	c (39,0) c SimplifyTime_3 : 0.108207
311.16/42.93	c (39,0) c SimplifyTime_4 : 0.121233
311.16/42.93	c (39,0) c SimplifyTime_5 : 0.122914
311.16/42.93	c (39,0) c SimplifyTime_6 : 0.110515
311.16/42.93	c (39,0) c SimplifyTime_7 : 0.109160
311.16/42.93	c (39,0) c SimplifyTime_total : 0.925459
311.16/42.93	c (39,0) c SimplifyTime_winner : 0.118676
311.16/42.93	c (39,0) c UsedRateTime_0 : 0.000000
311.16/42.93	c (39,0) c UsedRateTime_1 : 0.000000
311.16/42.93	c (39,0) c UsedRateTime_2 : 0.000000
311.16/42.93	c (39,0) c UsedRateTime_3 : 0.000000
311.16/42.93	c (39,0) c UsedRateTime_4 : 0.000000
311.16/42.93	c (39,0) c UsedRateTime_5 : 0.000000
311.16/42.93	c (39,0) c UsedRateTime_6 : 0.000000
311.16/42.93	c (39,0) c UsedRateTime_7 : 0.000000
311.16/42.93	c (39,0) c UsedRateTime_total : 0.000000
311.16/42.93	c (39,0) c UsedRateTime_winner : 0.000000
311.16/42.93	c (39,0) c OverlapRateTime_0 : 0.000000
311.16/42.93	c (39,0) c OverlapRateTime_1 : 0.000000
311.16/42.93	c (39,0) c OverlapRateTime_2 : 0.000000
311.16/42.93	c (39,0) c OverlapRateTime_3 : 0.000000
311.16/42.93	c (39,0) c OverlapRateTime_4 : 0.000000
311.16/42.93	c (39,0) c OverlapRateTime_5 : 0.000000
311.16/42.93	c (39,0) c OverlapRateTime_6 : 0.000000
311.16/42.93	c (39,0) c OverlapRateTime_7 : 0.000000
311.16/42.93	c (39,0) c OverlapRateTime_total : 0.000000
311.16/42.93	c (39,0) c OverlapRateTime_winner : 0.000000
311.16/42.93	c (39,0) c
311.16/42.93	c (39,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
311.16/42.93	c (39,0) c
311.16/42.93	c (39,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
311.16/42.93	c (39,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
311.16/42.93	c (39,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
311.16/42.93	c (39,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
311.16/42.93	c (39,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
311.16/42.93	c (39,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
311.16/42.93	c (39,0) c | Initial random_seed   |  727900064 |  715270011 |  948734205 | 1440897828 | 1969618045 |    7602034 | 1255184378 | 1752130992 |
311.16/42.93	c (39,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
311.16/42.93	c (39,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
311.16/42.93	c (39,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
311.16/42.93	c (39,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
311.16/42.93	c (39,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
311.16/42.94	c (39,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
311.16/42.94	c (39,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
311.16/42.94	c (39,0) c | var_decay             |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
311.16/42.94	c (39,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
311.16/42.94	c (39,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
311.16/42.94	c (39,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
311.16/42.94	c (39,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
311.16/42.94	c (39,0) 
311.16/42.94	c (39,0) s SATISFIABLE
311.16/42.97	c (39,0) SatSolver.solve End
311.16/42.98	c (39,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
311.16/42.98	c (39,0) Show results Begin
311.43/43.07	c (39,0) x[0] = 152
311.43/43.08	c (39,0) x[1] = 249
311.43/43.08	c (39,0) x[2] = 145
311.43/43.08	c (39,0) x[3] = 238
311.43/43.08	c (39,0) x[4] = 249
311.43/43.08	c (39,0) x[5] = 238
311.43/43.08	c (39,0) x[6] = 255
311.43/43.08	c (39,0) x[7] = 210
311.43/43.08	c (39,0) x[8] = 249
311.43/43.08	c (39,0) x[9] = 210
311.43/43.08	c (39,0) x[10] = 210
311.43/43.08	c (39,0) x[11] = 99
311.43/43.08	c (39,0) x[12] = 99
311.43/43.08	c (39,0) x[13] = 154
311.43/43.08	c (39,0) x[14] = 152
311.43/43.08	c (39,0) x[15] = 145
311.43/43.08	c (39,0) x[16] = 210
311.43/43.08	c (39,0) x[17] = 0
311.43/43.08	c (39,0) x[18] = 154
311.43/43.08	c (39,0) x[19] = 145
311.43/43.08	c (39,0) x[20] = 278
311.43/43.08	c (39,0) x[21] = 264
311.43/43.08	c (39,0) x[22] = 254
311.43/43.08	c (39,0) x[23] = 0
311.43/43.08	c (39,0) x[24] = 0
311.43/43.08	c (39,0) y[0] = 154
311.43/43.08	c (39,0) y[1] = 229
311.43/43.08	c (39,0) y[2] = 207
311.43/43.08	c (39,0) y[3] = 229
311.43/43.08	c (39,0) y[4] = 264
311.43/43.08	c (39,0) y[5] = 212
311.43/43.08	c (39,0) y[6] = 212
311.43/43.08	c (39,0) y[7] = 212
311.43/43.08	c (39,0) y[8] = 235
311.43/43.08	c (39,0) y[9] = 240
311.43/43.08	c (39,0) y[10] = 100
311.43/43.08	c (39,0) y[11] = 207
311.43/43.08	c (39,0) y[12] = 154
311.43/43.08	c (39,0) y[13] = 100
311.43/43.08	c (39,0) y[14] = 156
311.43/43.08	c (39,0) y[15] = 214
311.43/43.08	c (39,0) y[16] = 144
311.43/43.08	c (39,0) y[17] = 154
311.43/43.08	c (39,0) y[18] = 0
311.43/43.08	c (39,0) y[19] = 279
311.43/43.08	c (39,0) y[20] = 144
311.43/43.08	c (39,0) y[21] = 264
311.43/43.08	c (39,0) y[22] = 0
311.43/43.08	c (39,0) y[23] = 253
311.43/43.08	c (39,0) y[24] = 0
311.43/43.08	s SATISFIABLE
311.43/43.08	v <instantiation>
311.43/43.08	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>
311.43/43.08	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>
311.43/43.08	v </instantiation>
311.43/43.08	c (39,0) Show results End
311.43/43.08	c (39,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 18 MiB used (max 0 MiB)
311.43/43.08	c (39,0) 39,39,STOP-AFTER(ALL)
311.43/43.08	c END-Prog: Tue Sep 24 17:03:28 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 (14069 MiB free)
  memory of node 1: 16384 MiB (10977 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4405463-1569337406/watcher-4405463-1569337406 -o /var/tmp/evaluation-result-4405463-1569337406/solver-4405463-1569337406 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node140-1569335937-9287 --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-4405463-1569337406.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=10176, runsolver pid=10173
Current StackSize limit: 8192 KiB


[startup+0.100528 s]*
/proc/loadavg: 1.01 1.73 2.70 2/214 10198
/proc/meminfo: memFree=25552452/32770624 swapFree=66997508/67108860
[pid=10176] ppid=10173 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/10176/stat : 10176 (scop.sh) S 10173 10176 9260 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 509678961 115843072 349 33554432000 4194304 5098028 140730057049728 140730057046984 139915176788604 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 15454208 140730057057020 140730057057368 140730057057368 140730057060297 0
/proc/10176/statm: 28282 349 296 221 0 87 0
[pid=10179] ppid=10176 vsize=27314120 memory=107632 CPUtime=0.11 cores=0-7
/proc/10179/stat : 10179 (java) S 10176 10176 9260 0 -1 1077944320 6480 0 0 0 9 2 0 0 20 0 20 0 509678961 27969658880 26908 33554432000 4194304 4196468 140732620085744 140732620068288 139707152932599 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 22581248 140732620088006 140732620088454 140732620088454 140732620091343 0
/proc/10179/statm: 6828530 26908 2797 1 0 6790935 0
[pid=10179/tid=10180] ppid=10176 vsize=27314120 memory=4134930498285298233 CPUtime=0.09 cores=0-7
/proc/10179/task/10180/stat : 10180 (java) R 10176 10176 9260 0 -1 4202560 4587 0 0 0 7 2 0 0 20 0 20 0 509678962 27969658880 26908 33554432000 4194304 4196468 140732620085744 139707124746112 139707152954525 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22581248 140732620088006 140732620088454 140732620088454 140732620091343 0
[pid=10179/tid=10181] ppid=10176 vsize=27314120 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/10179/task/10181/stat : 10181 (java) S 10176 10176 9260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509678964 27969658880 26908 33554432000 4194304 4196468 140732620085744 139707157175056 139707152942805 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22581248 140732620088006 140732620088454 140732620088454 140732620091343 0
[pid=10179/tid=10182] ppid=10176 vsize=27314120 memory=140511385286272 CPUtime=0 cores=0-7
/proc/10179/task/10182/stat : 10182 (java) S 10176 10176 9260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509678964 27969658880 26908 33554432000 4194304 4196468 140732620085744 139706971331472 139707152942805 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22581248 140732620088006 140732620088454 140732620088454 140732620091343 0
[pid=10179/tid=10183] ppid=10176 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10179/task/10183/stat : 10183 (java) S 10176 10176 9260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509678964 27969658880 26908 33554432000 4194304 4196468 140732620085744 139706970278928 139707152942805 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22581248 140732620088006 140732620088454 140732620088454 140732620091343 0
[pid=10179/tid=10184] ppid=10176 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10179/task/10184/stat : 10184 (java) S 10176 10176 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509678964 27969658880 26908 33554432000 4194304 4196468 140732620085744 139706969226384 139707152942805 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22581248 140732620088006 140732620088454 140732620088454 140732620091343 0
[pid=10179/tid=10185] ppid=10176 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10179/task/10185/stat : 10185 (java) S 10176 10176 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509678964 27969658880 26908 33554432000 4194304 4196468 140732620085744 139706968172816 139707152942805 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22581248 140732620088006 140732620088454 140732620088454 140732620091343 0
[pid=10179/tid=10186] ppid=10176 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/10179/task/10186/stat : 10186 (java) S 10176 10176 9260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509678964 27969658880 26908 33554432000 4194304 4196468 140732620085744 139706967120272 139707152942805 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22581248 140732620088006 140732620088454 140732620088454 140732620091343 0
[pid=10179/tid=10187] ppid=10176 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10179/task/10187/stat : 10187 (java) S 10176 10176 9260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509678964 27969658880 26908 33554432000 4194304 4196468 140732620085744 139706966067728 139707152942805 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22581248 140732620088006 140732620088454 140732620088454 140732620091343 0
[pid=10179/tid=10188] ppid=10176 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10179/task/10188/stat : 10188 (java) S 10176 10176 9260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509678964 27969658880 26908 33554432000 4194304 4196468 140732620085744 139706568964752 139707152942805 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22581248 140732620088006 140732620088454 140732620088454 140732620091343 0
[pid=10179/tid=10189] ppid=10176 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10179/task/10189/stat : 10189 (java) S 10176 10176 9260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509678965 27969658880 26908 33554432000 4194304 4196468 140732620085744 139705338231280 139707152943746 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22581248 140732620088006 140732620088454 140732620088454 140732620091343 0
[pid=10179/tid=10190] ppid=10176 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10179/task/10190/stat : 10190 (java) S 10176 10176 9260 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 509678966 27969658880 26908 33554432000 4194304 4196468 140732620085744 139705085584800 139707152942805 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22581248 140732620088006 140732620088454 140732620088454 140732620091343 0
[pid=10179/tid=10191] ppid=10176 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10179/task/10191/stat : 10191 (java) S 10176 10176 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509678966 27969658880 27420 33554432000 4194304 4196468 140732620085744 139704817149424 139707152942805 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22581248 140732620088006 140732620088454 140732620088454 140732620091343 0
[pid=10179/tid=10192] ppid=10176 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10179/task/10192/stat : 10192 (java) S 10176 10176 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509678969 27969658880 27420 33554432000 4194304 4196468 140732620085744 139704442641104 139707152951195 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22581248 140732620088006 140732620088454 140732620088454 140732620091343 0
[pid=10179/tid=10193] ppid=10176 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10179/task/10193/stat : 10193 (java) S 10176 10176 9260 0 -1 1077944384 296 0 0 0 0 0 0 0 20 0 20 0 509678969 27969658880 27420 33554432000 4194304 4196468 140732620085744 139705337178096 139707152943746 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22581248 140732620088006 140732620088454 140732620088454 140732620091343 0
[pid=10179/tid=10194] ppid=10176 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10179/task/10194/stat : 10194 (java) S 10176 10176 9260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509678969 27969658880 27420 33554432000 4194304 4196468 140732620085744 139705336125552 139707152943746 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22581248 140732620088006 140732620088454 140732620088454 140732620091343 0
[pid=10179/tid=10195] ppid=10176 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10179/task/10195/stat : 10195 (java) S 10176 10176 9260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509678969 27969658880 27420 33554432000 4194304 4196468 140732620085744 139705335073008 139707152943746 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22581248 140732620088006 140732620088454 140732620088454 140732620091343 0
[pid=10179/tid=10196] ppid=10176 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10179/task/10196/stat : 10196 (java) S 10176 10176 9260 0 -1 1077944384 255 0 0 0 0 0 0 0 20 0 20 0 509678969 27969658880 27420 33554432000 4194304 4196468 140732620085744 139705334020464 139707152943746 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22581248 140732620088006 140732620088454 140732620088454 140732620091343 0
[pid=10179/tid=10197] ppid=10176 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10179/task/10197/stat : 10197 (java) S 10176 10176 9260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509678969 27969658880 27420 33554432000 4194304 4196468 140732620085744 139703944735456 139707152942805 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22581248 140732620088006 140732620088454 140732620088454 140732620091343 0
[pid=10179/tid=10198] ppid=10176 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/10179/task/10198/stat : 10198 (java) S 10176 10176 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509678969 27969658880 27420 33554432000 4194304 4196468 140732620085744 139705332968368 139707152943746 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22581248 140732620088006 140732620088454 140732620088454 140732620091343 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 109028 KiB

[startup+0.210597 s]*
/proc/loadavg: 1.01 1.73 2.70 2/214 10198
/proc/meminfo: memFree=25530992/32770624 swapFree=66997508/67108860
[pid=10176] ppid=10173 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/10176/stat : 10176 (scop.sh) S 10173 10176 9260 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 509678961 115843072 349 33554432000 4194304 5098028 140730057049728 140730057046984 139915176788604 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 15454208 140730057057020 140730057057368 140730057057368 140730057060297 0
/proc/10176/statm: 28282 349 296 221 0 87 0
[pid=10179] ppid=10176 vsize=27314120 memory=126668 CPUtime=0.24 cores=0-7
/proc/10179/stat : 10179 (java) S 10176 10176 9260 0 -1 1077944320 11967 0 0 0 21 3 0 0 20 0 20 0 509678961 27969658880 31667 33554432000 4194304 4196468 140732620085744 140732620068288 139707152932599 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 22581248 140732620088006 140732620088454 140732620088454 140732620091343 0
/proc/10179/statm: 6828530 31667 2922 1 0 6790935 0
[pid=10179/tid=10180] ppid=10176 vsize=27314120 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/10179/task/10180/stat : 10180 (java) R 10176 10176 9260 0 -1 4202560 9683 0 0 0 17 3 0 0 20 0 20 0 509678962 27969658880 31667 33554432000 4194304 4196468 140732620085744 139707124752528 139707134496174 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22581248 140732620088006 140732620088454 140732620088454 140732620091343 0
[pid=10179/tid=10181] ppid=10176 vsize=27314120 memory=339 CPUtime=0 cores=0-7
/proc/10179/task/10181/stat : 10181 (java) S 10176 10176 9260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509678964 27969658880 31667 33554432000 4194304 4196468 140732620085744 139707157175056 139707152942805 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22581248 140732620088006 140732620088454 140732620088454 140732620091343 0
[pid=10179/tid=10182] ppid=10176 vsize=27314120 memory=140511385296572 CPUtime=0 cores=0-7
/proc/10179/task/10182/stat : 10182 (java) S 10176 10176 9260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509678964 27969658880 31667 33554432000 4194304 4196468 140732620085744 139706971331472 139707152942805 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22581248 140732620088006 140732620088454 140732620088454 140732620091343 0
[pid=10179/tid=10183] ppid=10176 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/10179/task/10183/stat : 10183 (java) S 10176 10176 9260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509678964 27969658880 31667 33554432000 4194304 4196468 140732620085744 139706970278928 139707152942805 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22581248 140732620088006 140732620088454 140732620088454 140732620091343 0
[pid=10179/tid=10184] ppid=10176 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10179/task/10184/stat : 10184 (java) S 10176 10176 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509678964 27969658880 31667 33554432000 4194304 4196468 140732620085744 139706969226384 139707152942805 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22581248 140732620088006 140732620088454 140732620088454 140732620091343 0
[pid=10179/tid=10185] ppid=10176 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10179/task/10185/stat : 10185 (java) S 10176 10176 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509678964 27969658880 31667 33554432000 4194304 4196468 140732620085744 139706968172816 139707152942805 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22581248 140732620088006 140732620088454 140732620088454 140732620091343 0
[pid=10179/tid=10186] ppid=10176 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/10179/task/10186/stat : 10186 (java) S 10176 10176 9260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509678964 27969658880 31667 33554432000 4194304 4196468 140732620085744 139706967120272 139707152942805 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22581248 140732620088006 140732620088454 140732620088454 140732620091343 0
[pid=10179/tid=10187] ppid=10176 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10179/task/10187/stat : 10187 (java) S 10176 10176 9260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509678964 27969658880 31667 33554432000 4194304 4196468 140732620085744 139706966067728 139707152942805 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22581248 140732620088006 140732620088454 140732620088454 140732620091343 0
[pid=10179/tid=10188] ppid=10176 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10179/task/10188/stat : 10188 (java) S 10176 10176 9260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509678964 27969658880 31667 33554432000 4194304 4196468 140732620085744 139706568964752 139707152942805 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22581248 140732620088006 140732620088454 140732620088454 140732620091343 0
[pid=10179/tid=10189] ppid=10176 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10179/task/10189/stat : 10189 (java) S 10176 10176 9260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509678965 27969658880 31667 33554432000 4194304 4196468 140732620085744 139705338231280 139707152943746 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22581248 140732620088006 140732620088454 140732620088454 140732620091343 0
[pid=10179/tid=10190] ppid=10176 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10179/task/10190/stat : 10190 (java) S 10176 10176 9260 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 509678966 27969658880 31667 33554432000 4194304 4196468 140732620085744 139705085584800 139707152942805 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22581248 140732620088006 140732620088454 140732620088454 140732620091343 0
[pid=10179/tid=10191] ppid=10176 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10179/task/10191/stat : 10191 (java) S 10176 10176 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509678966 27969658880 31667 33554432000 4194304 4196468 140732620085744 139704817149424 139707152942805 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22581248 140732620088006 140732620088454 140732620088454 140732620091343 0
[pid=10179/tid=10192] ppid=10176 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10179/task/10192/stat : 10192 (java) S 10176 10176 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509678969 27969658880 31667 33554432000 4194304 4196468 140732620085744 139704442641104 139707152951195 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22581248 140732620088006 140732620088454 140732620088454 140732620091343 0
[pid=10179/tid=10193] ppid=10176 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10179/task/10193/stat : 10193 (java) S 10176 10176 9260 0 -1 1077944384 426 0 0 0 0 0 0 0 20 0 20 0 509678969 27969658880 31667 33554432000 4194304 4196468 140732620085744 139705337178096 139707152943746 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22581248 140732620088006 140732620088454 140732620088454 140732620091343 0
[pid=10179/tid=10194] ppid=10176 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10179/task/10194/stat : 10194 (java) S 10176 10176 9260 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 20 0 509678969 27969658880 31667 33554432000 4194304 4196468 140732620085744 139705336125552 139707152943746 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22581248 140732620088006 140732620088454 140732620088454 140732620091343 0
[pid=10179/tid=10195] ppid=10176 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/10179/task/10195/stat : 10195 (java) S 10176 10176 9260 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 20 0 509678969 27969658880 31667 33554432000 4194304 4196468 140732620085744 139705335073008 139707152943746 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22581248 140732620088006 140732620088454 140732620088454 140732620091343 0
[pid=10179/tid=10196] ppid=10176 vsize=27314120 memory=-1 CPUtime=0.02 cores=0-7
/proc/10179/task/10196/stat : 10196 (java) S 10176 10176 9260 0 -1 1077944384 457 0 0 0 2 0 0 0 20 0 20 0 509678969 27969658880 31667 33554432000 4194304 4196468 140732620085744 139705334020464 139707152943746 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22581248 140732620088006 140732620088454 140732620088454 140732620091343 0
[pid=10179/tid=10197] ppid=10176 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10179/task/10197/stat : 10197 (java) S 10176 10176 9260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509678969 27969658880 31667 33554432000 4194304 4196468 140732620085744 139703944735456 139707152942805 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22581248 140732620088006 140732620088454 140732620088454 140732620091343 0
[pid=10179/tid=10198] ppid=10176 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/10179/task/10198/stat : 10198 (java) S 10176 10176 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509678969 27969658880 31667 33554432000 4194304 4196468 140732620085744 139705332968368 139707152943746 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22581248 140732620088006 140732620088454 140732620088454 140732620091343 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 128064 KiB

[startup+0.310478 s]*
/proc/loadavg: 1.01 1.73 2.70 2/214 10198
/proc/meminfo: memFree=25528448/32770624 swapFree=66997508/67108860
[pid=10176] ppid=10173 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/10176/stat : 10176 (scop.sh) S 10173 10176 9260 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 509678961 115843072 349 33554432000 4194304 5098028 140730057049728 140730057046984 139915176788604 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 15454208 140730057057020 140730057057368 140730057057368 140730057060297 0
/proc/10176/statm: 28282 349 296 221 0 87 0
[pid=10179] ppid=10176 vsize=27314120 memory=130352 CPUtime=0.42 cores=0-7
/proc/10179/stat : 10179 (java) S 10176 10176 9260 0 -1 1077944320 12933 0 0 0 38 4 0 0 20 0 20 0 509678961 27969658880 32588 33554432000 4194304 4196468 140732620085744 140732620068288 139707152932599 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 22581248 140732620088006 140732620088454 140732620088454 140732620091343 0
/proc/10179/statm: 6828530 32588 3028 1 0 6790935 0
[pid=10179/tid=10180] ppid=10176 vsize=27314120 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/10179/task/10180/stat : 10180 (java) R 10176 10176 9260 0 -1 4202560 10488 0 0 0 26 3 0 0 20 0 20 0 509678962 27969658880 32588 33554432000 4194304 4196468 140732620085744 139707124723296 139707134306149 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22581248 140732620088006 140732620088454 140732620088454 140732620091343 0
[pid=10179/tid=10181] ppid=10176 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10179/task/10181/stat : 10181 (java) S 10176 10176 9260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509678964 27969658880 32588 33554432000 4194304 4196468 140732620085744 139707157175056 139707152942805 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22581248 140732620088006 140732620088454 140732620088454 140732620091343 0
[pid=10179/tid=10182] ppid=10176 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10179/task/10182/stat : 10182 (java) S 10176 10176 9260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509678964 27969658880 32588 33554432000 4194304 4196468 140732620085744 139706971331472 139707152942805 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22581248 140732620088006 140732620088454 140732620088454 140732620091343 0
[pid=10179/tid=10183] ppid=10176 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10179/task/10183/stat : 10183 (java) S 10176 10176 9260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509678964 27969658880 32588 33554432000 4194304 4196468 140732620085744 139706970278928 139707152942805 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22581248 140732620088006 140732620088454 140732620088454 140732620091343 0
[pid=10179/tid=10184] ppid=10176 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10179/task/10184/stat : 10184 (java) S 10176 10176 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509678964 27969658880 32588 33554432000 4194304 4196468 140732620085744 139706969226384 139707152942805 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22581248 140732620088006 140732620088454 140732620088454 140732620091343 0
[pid=10179/tid=10185] ppid=10176 vsize=27314120 memory=2244 CPUtime=0 cores=0-7
/proc/10179/task/10185/stat : 10185 (java) S 10176 10176 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509678964 27969658880 32588 33554432000 4194304 4196468 140732620085744 139706968172816 139707152942805 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22581248 140732620088006 140732620088454 140732620088454 140732620091343 0
[pid=10179/tid=10186] ppid=10176 vsize=27314120 memory=140511264469935 CPUtime=0 cores=0-7
/proc/10179/task/10186/stat : 10186 (java) S 10176 10176 9260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509678964 27969658880 32588 33554432000 4194304 4196468 140732620085744 139706967120272 139707152942805 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22581248 140732620088006 140732620088454 140732620088454 140732620091343 0
[pid=10179/tid=10187] ppid=10176 vsize=27314120 memory=140511264472240 CPUtime=0 cores=0-7
/proc/10179/task/10187/stat : 10187 (java) S 10176 10176 9260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509678964 27969658880 32588 33554432000 4194304 4196468 140732620085744 139706966067728 139707152942805 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22581248 140732620088006 140732620088454 140732620088454 140732620091343 0
[pid=10179/tid=10188] ppid=10176 vsize=27314120 memory=140511264474544 CPUtime=0 cores=0-7
/proc/10179/task/10188/stat : 10188 (java) S 10176 10176 9260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509678964 27969658880 32588 33554432000 4194304 4196468 140732620085744 139706568964752 139707152942805 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22581248 140732620088006 140732620088454 140732620088454 140732620091343 0
[pid=10179/tid=10189] ppid=10176 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10179/task/10189/stat : 10189 (java) S 10176 10176 9260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509678965 27969658880 32588 33554432000 4194304 4196468 140732620085744 139705338231280 139707152943746 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22581248 140732620088006 140732620088454 140732620088454 140732620091343 0
[pid=10179/tid=10190] ppid=10176 vsize=27314120 memory=281022528956048 CPUtime=0 cores=0-7
/proc/10179/task/10190/stat : 10190 (java) S 10176 10176 9260 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 509678966 27969658880 32588 33554432000 4194304 4196468 140732620085744 139705085584800 139707152942805 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22581248 140732620088006 140732620088454 140732620088454 140732620091343 0
[pid=10179/tid=10191] ppid=10176 vsize=27314120 memory=281022528962960 CPUtime=0 cores=0-7
/proc/10179/task/10191/stat : 10191 (java) S 10176 10176 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509678966 27969658880 32588 33554432000 4194304 4196468 140732620085744 139704817149424 139707152942805 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22581248 140732620088006 140732620088454 140732620088454 140732620091343 0
[pid=10179/tid=10192] ppid=10176 vsize=27314120 memory=281022528904112 CPUtime=0 cores=0-7
/proc/10179/task/10192/stat : 10192 (java) S 10176 10176 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509678969 27969658880 32588 33554432000 4194304 4196468 140732620085744 139704442641104 139707152951195 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22581248 140732620088006 140732620088454 140732620088454 140732620091343 0
[pid=10179/tid=10193] ppid=10176 vsize=27314120 memory=281022528976784 CPUtime=0.02 cores=0-7
/proc/10179/task/10193/stat : 10193 (java) S 10176 10176 9260 0 -1 1077944384 537 0 0 0 2 0 0 0 20 0 20 0 509678969 27969658880 32588 33554432000 4194304 4196468 140732620085744 139705337178096 139707152943746 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22581248 140732620088006 140732620088454 140732620088454 140732620091343 0
[pid=10179/tid=10194] ppid=10176 vsize=27314120 memory=281022528983696 CPUtime=0.01 cores=0-7
/proc/10179/task/10194/stat : 10194 (java) S 10176 10176 9260 0 -1 1077944384 65 0 0 0 1 0 0 0 20 0 20 0 509678969 27969658880 32588 33554432000 4194304 4196468 140732620085744 139705336125552 139707152943746 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22581248 140732620088006 140732620088454 140732620088454 140732620091343 0
[pid=10179/tid=10195] ppid=10176 vsize=27314120 memory=281022528981392 CPUtime=0 cores=0-7
/proc/10179/task/10195/stat : 10195 (java) R 10176 10176 9260 0 -1 4202560 36 0 0 0 0 0 0 0 20 0 20 0 509678969 27969658880 32588 33554432000 4194304 4196468 140732620085744 139705335073008 139707133632896 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22581248 140732620088006 140732620088454 140732620088454 140732620091343 0
[pid=10179/tid=10196] ppid=10176 vsize=27314120 memory=281022528997552 CPUtime=0.07 cores=0-7
/proc/10179/task/10196/stat : 10196 (java) S 10176 10176 9260 0 -1 1077944384 479 0 0 0 7 0 0 0 20 0 20 0 509678969 27969658880 32588 33554432000 4194304 4196468 140732620085744 139705334020464 139707152943746 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22581248 140732620088006 140732620088454 140732620088454 140732620091343 0
[pid=10179/tid=10197] ppid=10176 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10179/task/10197/stat : 10197 (java) S 10176 10176 9260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509678969 27969658880 32588 33554432000 4194304 4196468 140732620085744 139703944735456 139707152942805 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22581248 140732620088006 140732620088454 140732620088454 140732620091343 0
[pid=10179/tid=10198] ppid=10176 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/10179/task/10198/stat : 10198 (java) S 10176 10176 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509678969 27969658880 32588 33554432000 4194304 4196468 140732620085744 139705332968368 139707152943746 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22581248 140732620088006 140732620088454 140732620088454 140732620091343 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 131748 KiB

[startup+0.700985 s]
/proc/loadavg: 1.01 1.73 2.70 2/214 10198
/proc/meminfo: memFree=25507248/32770624 swapFree=66997508/67108860
[pid=10176] ppid=10173 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/10176/stat : 10176 (scop.sh) S 10173 10176 9260 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 509678961 115843072 349 33554432000 4194304 5098028 140730057049728 140730057046984 139915176788604 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 15454208 140730057057020 140730057057368 140730057057368 140730057060297 0
/proc/10176/statm: 28282 349 296 221 0 87 0
[pid=10179] ppid=10176 vsize=27320392 memory=164668 CPUtime=0.93 cores=0-7
/proc/10179/stat : 10179 (java) S 10176 10176 9260 0 -1 1077944320 19672 0 0 0 87 6 0 0 20 0 20 0 509678961 27976081408 41167 33554432000 4194304 4196468 140732620085744 140732620068288 139707152932599 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 22581248 140732620088006 140732620088454 140732620088454 140732620091343 0
/proc/10179/statm: 6830098 41167 3183 1 0 6791447 0
[pid=10179/tid=10180] ppid=10176 vsize=27320392 memory=281022529355440 CPUtime=0.65 cores=0-7
/proc/10179/task/10180/stat : 10180 (java) D 10176 10176 9260 0 -1 4202560 16825 0 0 0 60 5 0 0 20 0 20 0 509678962 27976081408 41167 33554432000 4194304 4196468 140732620085744 139707124771872 139707152954525 0 4 2 25189581 18446744072100539525 0 0 -1 3 0 0 0 0 0 6293624 6294260 22581248 140732620088006 140732620088454 140732620088454 140732620091343 0
[pid=10179/tid=10181] ppid=10176 vsize=27320392 memory=140511264678768 CPUtime=0 cores=0-7
/proc/10179/task/10181/stat : 10181 (java) S 10176 10176 9260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509678964 27976081408 41167 33554432000 4194304 4196468 140732620085744 139707157175056 139707152942805 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22581248 140732620088006 140732620088454 140732620088454 140732620091343 0
[pid=10179/tid=10182] ppid=10176 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/10179/task/10182/stat : 10182 (java) S 10176 10176 9260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509678964 27976081408 41167 33554432000 4194304 4196468 140732620085744 139706971331472 139707152942805 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22581248 140732620088006 140732620088454 140732620088454 140732620091343 0
[pid=10179/tid=10183] ppid=10176 vsize=27320392 memory=6124 CPUtime=0 cores=0-7
/proc/10179/task/10183/stat : 10183 (java) S 10176 10176 9260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509678964 27976081408 41167 33554432000 4194304 4196468 140732620085744 139706970278928 139707152942805 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22581248 140732620088006 140732620088454 140732620088454 140732620091343 0

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

/proc/10199/task/10204/stat : 10204 (java) S 10176 10176 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509679288 8616062976 29853 33554432000 4194304 4196468 140728590580528 140505945283216 140506461837013 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9453568 140728590582751 140728590582918 140728590582918 140728590585807 0
[pid=10199/tid=10205] ppid=10176 vsize=8414124 memory=184215442313118 CPUtime=0 cores=0-7
/proc/10199/task/10205/stat : 10205 (java) S 10176 10176 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509679288 8616062976 29853 33554432000 4194304 4196468 140728590580528 140505944230672 140506461837013 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9453568 140728590582751 140728590582918 140728590582918 140728590585807 0
[pid=10199/tid=10206] ppid=10176 vsize=8414124 memory=184215442313119 CPUtime=0 cores=0-7
/proc/10199/task/10206/stat : 10206 (java) S 10176 10176 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509679288 8616062976 29853 33554432000 4194304 4196468 140728590580528 140505943178128 140506461837013 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9453568 140728590582751 140728590582918 140728590582918 140728590585807 0
[pid=10199/tid=10207] ppid=10176 vsize=8414124 memory=184215442313120 CPUtime=0 cores=0-7
/proc/10199/task/10207/stat : 10207 (java) S 10176 10176 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509679288 8616062976 29853 33554432000 4194304 4196468 140728590580528 140505942125584 140506461837013 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9453568 140728590582751 140728590582918 140728590582918 140728590585807 0
[pid=10199/tid=10208] ppid=10176 vsize=8414124 memory=184215442313121 CPUtime=0 cores=0-7
/proc/10199/task/10208/stat : 10208 (java) S 10176 10176 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509679288 8616062976 29853 33554432000 4194304 4196468 140728590580528 140505941073040 140506461837013 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9453568 140728590582751 140728590582918 140728590582918 140728590585807 0
[pid=10199/tid=10209] ppid=10176 vsize=8414124 memory=611664 CPUtime=0 cores=0-7
/proc/10199/task/10209/stat : 10209 (java) S 10176 10176 9260 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 509679290 8616062976 29853 33554432000 4194304 4196468 140728590580528 140505219307504 140506461837954 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9453568 140728590582751 140728590582918 140728590582918 140728590585807 0
[pid=10199/tid=10210] ppid=10176 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/10199/task/10210/stat : 10210 (java) S 10176 10176 9260 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 509679290 8616062976 29853 33554432000 4194304 4196468 140728590580528 140505090352032 140506461837013 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9453568 140728590582751 140728590582918 140728590582918 140728590585807 0
[pid=10199/tid=10211] ppid=10176 vsize=8414124 memory=119412 CPUtime=0 cores=0-7
/proc/10199/task/10211/stat : 10211 (java) S 10176 10176 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509679291 8616062976 29853 33554432000 4194304 4196468 140728590580528 140504821916656 140506461837013 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9453568 140728590582751 140728590582918 140728590582918 140728590585807 0
[pid=10199/tid=10212] ppid=10176 vsize=8414124 memory=627084 CPUtime=0 cores=0-7
/proc/10199/task/10212/stat : 10212 (java) S 10176 10176 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509679293 8616062976 29853 33554432000 4194304 4196468 140728590580528 140504447408336 140506461845403 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9453568 140728590582751 140728590582918 140728590582918 140728590585807 0
[pid=10199/tid=10213] ppid=10176 vsize=8414124 memory=0 CPUtime=0.06 cores=0-7
/proc/10199/task/10213/stat : 10213 (java) S 10176 10176 9260 0 -1 1077944384 658 0 0 0 6 0 0 0 20 0 24 0 509679293 8616062976 29853 33554432000 4194304 4196468 140728590580528 140505218255344 140506461837954 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9453568 140728590582751 140728590582918 140728590582918 140728590585807 0
[pid=10199/tid=10214] ppid=10176 vsize=8414124 memory=0 CPUtime=0.03 cores=0-7
/proc/10199/task/10214/stat : 10214 (java) S 10176 10176 9260 0 -1 1077944384 268 0 0 0 3 0 0 0 20 0 24 0 509679293 8616062976 29853 33554432000 4194304 4196468 140728590580528 140505217202800 140506461837954 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9453568 140728590582751 140728590582918 140728590582918 140728590585807 0
[pid=10199/tid=10215] ppid=10176 vsize=8414124 memory=0 CPUtime=0.06 cores=0-7
/proc/10199/task/10215/stat : 10215 (java) S 10176 10176 9260 0 -1 1077944384 284 0 0 0 6 0 0 0 20 0 24 0 509679293 8616062976 29853 33554432000 4194304 4196468 140728590580528 140505216150256 140506461837954 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9453568 140728590582751 140728590582918 140728590582918 140728590585807 0
[pid=10199/tid=10216] ppid=10176 vsize=8414124 memory=0 CPUtime=0.18 cores=0-7
/proc/10199/task/10216/stat : 10216 (java) S 10176 10176 9260 0 -1 1077944384 688 0 0 0 18 0 0 0 20 0 24 0 509679293 8616062976 29853 33554432000 4194304 4196468 140728590580528 140505215097712 140506461837954 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9453568 140728590582751 140728590582918 140728590582918 140728590585807 0
[pid=10199/tid=10217] ppid=10176 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/10199/task/10217/stat : 10217 (java) S 10176 10176 9260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 509679293 8616062976 29853 33554432000 4194304 4196468 140728590580528 140503949502688 140506461837013 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9453568 140728590582751 140728590582918 140728590582918 140728590585807 0
[pid=10199/tid=10218] ppid=10176 vsize=8414124 memory=0 CPUtime=0.02 cores=0-7
/proc/10199/task/10218/stat : 10218 (java) S 10176 10176 9260 0 -1 1077944384 5 0 0 0 0 2 0 0 20 0 24 0 509679294 8616062976 29853 33554432000 4194304 4196468 140728590580528 140505214044592 140506461837954 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9453568 140728590582751 140728590582918 140728590582918 140728590585807 0
[pid=10199/tid=10220] ppid=10176 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/10199/task/10220/stat : 10220 (java) S 10176 10176 9260 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 509679360 8616062976 29853 33554432000 4194304 4196468 140728590580528 140505896121536 140506461851417 0 4 2 25189581 18446744071579417331 0 0 -1 4 0 0 0 0 0 6293624 6294260 9453568 140728590582751 140728590582918 140728590582918 140728590585807 0
[pid=10199/tid=10222] ppid=10176 vsize=8414124 memory=119412 CPUtime=0 cores=0-7
/proc/10199/task/10222/stat : 10222 (java) S 10176 10176 9260 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 24 0 509679360 8616062976 29853 33554432000 4194304 4196468 140728590580528 140503278403344 140506461848733 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 9453568 140728590582751 140728590582918 140728590582918 140728590585807 0
[pid=10199/tid=10223] ppid=10176 vsize=8414124 memory=586244 CPUtime=0 cores=0-7
/proc/10199/task/10223/stat : 10223 (java) S 10176 10176 9260 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 509679360 8616062976 29853 33554432000 4194304 4196468 140728590580528 140503546838928 140506461848733 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 9453568 140728590582751 140728590582918 140728590582918 140728590585807 0
[pid=10199/tid=10224] ppid=10176 vsize=8414124 memory=932 CPUtime=0 cores=0-7
/proc/10199/task/10224/stat : 10224 (java) S 10176 10176 9260 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 509679362 8616062976 29853 33554432000 4194304 4196468 140728590580528 140503009975984 140506461837013 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9453568 140728590582751 140728590582918 140728590582918 140728590585807 0
Current children cumulated CPU time: 309.43 s
Current children cumulated vsize: 9498160 KiB
Current children cumulated memory: 750020 KiB

[startup+42.9012 s]
/proc/loadavg: 4.13 2.40 2.89 10/226 10234
/proc/meminfo: memFree=24907628/32770624 swapFree=66997508/67108860
[pid=10176] ppid=10173 vsize=113128 memory=1476 CPUtime=6.15 cores=0-7
/proc/10176/stat : 10176 (scop.sh) S 10173 10176 9260 0 -1 4202496 583 27223 0 0 0 0 581 34 20 0 1 0 509678961 115843072 369 33554432000 4194304 5098028 140730057049728 140730057046472 139915176788604 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 15454208 140730057057020 140730057057368 140730057057368 140730057060297 0
/proc/10176/statm: 28282 369 311 221 0 87 0
[pid=10199] ppid=10176 vsize=8414124 memory=119412 CPUtime=1.16 cores=0-7
/proc/10199/stat : 10199 (java) S 10176 10176 9260 0 -1 1077944320 21162 0 0 0 109 7 0 0 20 0 24 0 509679287 8616062976 29853 33554432000 4194304 4196468 140728590580528 140728590563072 140506461826807 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 9453568 140728590582751 140728590582918 140728590582918 140728590585807 0
/proc/10199/statm: 2103531 29853 3209 1 0 2064875 0
[pid=10219] ppid=10199 vsize=946320 memory=631360 CPUtime=303.85 cores=0-7
/proc/10219/stat : 10219 (manyglucose-4.1) S 10199 10176 9260 0 -1 1077944320 258748 0 0 0 30316 69 0 0 20 0 2 0 509679359 969031680 157840 33554432000 4194304 4454172 140730211502736 140730211501120 140099757534967 0 4 0 8388610 18446744073709551615 0 0 17 0 0 0 0 0 0 6552832 6554400 19492864 140730211509069 140730211509276 140730211509276 140730211512246 0
/proc/10219/statm: 236580 157840 424 64 0 232248 0
[pid=10219/tid=10232] ppid=10199 vsize=946320 memory=-8526555908933972370 CPUtime=37.64 cores=0-7
/proc/10219/task/10232/stat : 10232 (manyglucose-4.1) R 10199 10176 9260 0 -1 4202560 29106 0 0 0 3754 10 0 0 20 0 2 0 509679429 969031680 157840 33554432000 4194304 4454172 140730211502736 140099661286504 4351345 0 4 0 8388610 0 0 0 -1 4 0 0 0 0 0 6552832 6554400 19492864 140730211509069 140730211509276 140730211509276 140730211512246 0
[pid=10199/tid=10200] ppid=10176 vsize=8414124 memory=1476 CPUtime=0.75 cores=0-7
/proc/10199/task/10200/stat : 10200 (java) S 10176 10176 9260 0 -1 1077944384 17865 0 0 0 70 5 0 0 20 0 24 0 509679287 8616062976 29853 33554432000 4194304 4196468 140728590580528 140506433666976 140506461837013 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9453568 140728590582751 140728590582918 140728590582918 140728590585807 0
[pid=10199/tid=10201] ppid=10176 vsize=8414124 memory=119412 CPUtime=0 cores=0-7
/proc/10199/task/10201/stat : 10201 (java) S 10176 10176 9260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 509679288 8616062976 29853 33554432000 4194304 4196468 140728590580528 140506466068752 140506461837013 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9453568 140728590582751 140728590582918 140728590582918 140728590585807 0
[pid=10199/tid=10202] ppid=10176 vsize=8414124 memory=629132 CPUtime=0 cores=0-7
/proc/10199/task/10202/stat : 10202 (java) S 10176 10176 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509679288 8616062976 29853 33554432000 4194304 4196468 140728590580528 140506299447696 140506461837013 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9453568 140728590582751 140728590582918 140728590582918 140728590585807 0
[pid=10199/tid=10203] ppid=10176 vsize=8414124 memory=611928 CPUtime=0 cores=0-7
/proc/10199/task/10203/stat : 10203 (java) S 10176 10176 9260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 509679288 8616062976 29853 33554432000 4194304 4196468 140728590580528 140505946335760 140506461837013 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9453568 140728590582751 140728590582918 140728590582918 140728590585807 0
[pid=10199/tid=10204] ppid=10176 vsize=8414124 memory=288230574492221466 CPUtime=0 cores=0-7
/proc/10199/task/10204/stat : 10204 (java) S 10176 10176 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509679288 8616062976 29853 33554432000 4194304 4196468 140728590580528 140505945283216 140506461837013 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9453568 140728590582751 140728590582918 140728590582918 140728590585807 0
[pid=10199/tid=10205] ppid=10176 vsize=8414124 memory=301741382048153914 CPUtime=0 cores=0-7
/proc/10199/task/10205/stat : 10205 (java) S 10176 10176 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509679288 8616062976 29853 33554432000 4194304 4196468 140728590580528 140505944230672 140506461837013 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9453568 140728590582751 140728590582918 140728590582918 140728590585807 0
[pid=10199/tid=10206] ppid=10176 vsize=8414124 memory=15262532197681710 CPUtime=0 cores=0-7
/proc/10199/task/10206/stat : 10206 (java) S 10176 10176 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509679288 8616062976 29853 33554432000 4194304 4196468 140728590580528 140505943178128 140506461837013 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9453568 140728590582751 140728590582918 140728590582918 140728590585807 0
[pid=10199/tid=10207] ppid=10176 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/10199/task/10207/stat : 10207 (java) S 10176 10176 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509679288 8616062976 29853 33554432000 4194304 4196468 140728590580528 140505942125584 140506461837013 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9453568 140728590582751 140728590582918 140728590582918 140728590585807 0
[pid=10199/tid=10208] ppid=10176 vsize=8414124 memory=11588 CPUtime=0 cores=0-7
/proc/10199/task/10208/stat : 10208 (java) S 10176 10176 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509679288 8616062976 29853 33554432000 4194304 4196468 140728590580528 140505941073040 140506461837013 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9453568 140728590582751 140728590582918 140728590582918 140728590585807 0
[pid=10199/tid=10209] ppid=10176 vsize=8414124 memory=7893295687695688763 CPUtime=0 cores=0-7
/proc/10199/task/10209/stat : 10209 (java) S 10176 10176 9260 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 509679290 8616062976 29853 33554432000 4194304 4196468 140728590580528 140505219307504 140506461837954 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9453568 140728590582751 140728590582918 140728590582918 140728590585807 0
[pid=10199/tid=10210] ppid=10176 vsize=8414124 memory=8980561681642914197 CPUtime=0 cores=0-7
/proc/10199/task/10210/stat : 10210 (java) S 10176 10176 9260 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 509679290 8616062976 29853 33554432000 4194304 4196468 140728590580528 140505090352032 140506461837013 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9453568 140728590582751 140728590582918 140728590582918 140728590585807 0
[pid=10199/tid=10211] ppid=10176 vsize=8414124 memory=7681407940103534239 CPUtime=0 cores=0-7
/proc/10199/task/10211/stat : 10211 (java) S 10176 10176 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509679291 8616062976 29853 33554432000 4194304 4196468 140728590580528 140504821916656 140506461837013 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9453568 140728590582751 140728590582918 140728590582918 140728590585807 0
[pid=10199/tid=10212] ppid=10176 vsize=8414124 memory=6443922551887915361 CPUtime=0 cores=0-7
/proc/10199/task/10212/stat : 10212 (java) S 10176 10176 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509679293 8616062976 29853 33554432000 4194304 4196468 140728590580528 140504447408336 140506461845403 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9453568 140728590582751 140728590582918 140728590582918 140728590585807 0
[pid=10199/tid=10213] ppid=10176 vsize=8414124 memory=7596281093655976301 CPUtime=0.06 cores=0-7
/proc/10199/task/10213/stat : 10213 (java) S 10176 10176 9260 0 -1 1077944384 658 0 0 0 6 0 0 0 20 0 24 0 509679293 8616062976 29853 33554432000 4194304 4196468 140728590580528 140505218255344 140506461837954 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9453568 140728590582751 140728590582918 140728590582918 140728590585807 0
[pid=10199/tid=10214] ppid=10176 vsize=8414124 memory=7596281093655976301 CPUtime=0.03 cores=0-7
/proc/10199/task/10214/stat : 10214 (java) S 10176 10176 9260 0 -1 1077944384 268 0 0 0 3 0 0 0 20 0 24 0 509679293 8616062976 29853 33554432000 4194304 4196468 140728590580528 140505217202800 140506461837954 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9453568 140728590582751 140728590582918 140728590582918 140728590585807 0
[pid=10199/tid=10215] ppid=10176 vsize=8414124 memory=7596281093655976301 CPUtime=0.06 cores=0-7
/proc/10199/task/10215/stat : 10215 (java) S 10176 10176 9260 0 -1 1077944384 284 0 0 0 6 0 0 0 20 0 24 0 509679293 8616062976 29853 33554432000 4194304 4196468 140728590580528 140505216150256 140506461837954 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9453568 140728590582751 140728590582918 140728590582918 140728590585807 0
[pid=10199/tid=10216] ppid=10176 vsize=8414124 memory=7739832236427013481 CPUtime=0.18 cores=0-7
/proc/10199/task/10216/stat : 10216 (java) S 10176 10176 9260 0 -1 1077944384 688 0 0 0 18 0 0 0 20 0 24 0 509679293 8616062976 29853 33554432000 4194304 4196468 140728590580528 140505215097712 140506461837954 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9453568 140728590582751 140728590582918 140728590582918 140728590585807 0
[pid=10199/tid=10217] ppid=10176 vsize=8414124 memory=6443922551887915361 CPUtime=0 cores=0-7
/proc/10199/task/10217/stat : 10217 (java) S 10176 10176 9260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 509679293 8616062976 29853 33554432000 4194304 4196468 140728590580528 140503949502688 140506461837013 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9453568 140728590582751 140728590582918 140728590582918 140728590585807 0
[pid=10199/tid=10218] ppid=10176 vsize=8414124 memory=1428 CPUtime=0.02 cores=0-7
/proc/10199/task/10218/stat : 10218 (java) S 10176 10176 9260 0 -1 1077944384 5 0 0 0 0 2 0 0 20 0 24 0 509679294 8616062976 29853 33554432000 4194304 4196468 140728590580528 140505214044592 140506461837954 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9453568 140728590582751 140728590582918 140728590582918 140728590585807 0
[pid=10199/tid=10220] ppid=10176 vsize=8414124 memory=1540 CPUtime=0 cores=0-7
/proc/10199/task/10220/stat : 10220 (java) S 10176 10176 9260 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 509679360 8616062976 29853 33554432000 4194304 4196468 140728590580528 140505896121536 140506461851417 0 4 2 25189581 18446744071579417331 0 0 -1 4 0 0 0 0 0 6293624 6294260 9453568 140728590582751 140728590582918 140728590582918 140728590585807 0
[pid=10199/tid=10222] ppid=10176 vsize=8414124 memory=772 CPUtime=0 cores=0-7
/proc/10199/task/10222/stat : 10222 (java) S 10176 10176 9260 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 24 0 509679360 8616062976 29853 33554432000 4194304 4196468 140728590580528 140503278403344 140506461848733 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 9453568 140728590582751 140728590582918 140728590582918 140728590585807 0
[pid=10199/tid=10223] ppid=10176 vsize=8414124 memory=10596 CPUtime=0 cores=0-7
/proc/10199/task/10223/stat : 10223 (java) S 10176 10176 9260 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 509679360 8616062976 29853 33554432000 4194304 4196468 140728590580528 140503546838928 140506461848733 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 9453568 140728590582751 140728590582918 140728590582918 140728590585807 0
[pid=10199/tid=10224] ppid=10176 vsize=8414124 memory=1708 CPUtime=0 cores=0-7
/proc/10199/task/10224/stat : 10224 (java) S 10176 10176 9260 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 509679362 8616062976 29853 33554432000 4194304 4196468 140728590580528 140503009975984 140506461837013 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9453568 140728590582751 140728590582918 140728590582918 140728590585807 0
Current children cumulated CPU time: 311.16 s
Current children cumulated vsize: 9473572 KiB
Current children cumulated memory: 752248 KiB

[startup+43.001 s]
/proc/loadavg: 4.13 2.40 2.89 10/226 10234
/proc/meminfo: memFree=24907628/32770624 swapFree=66997508/67108860
[pid=10176] ppid=10173 vsize=113128 memory=1476 CPUtime=6.15 cores=0-7
/proc/10176/stat : 10176 (scop.sh) S 10173 10176 9260 0 -1 4202496 583 27223 0 0 0 0 581 34 20 0 1 0 509678961 115843072 369 33554432000 4194304 5098028 140730057049728 140730057046472 139915176788604 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 15454208 140730057057020 140730057057368 140730057057368 140730057060297 0
/proc/10176/statm: 28282 369 311 221 0 87 0
[pid=10199] ppid=10176 vsize=8283048 memory=125864 CPUtime=305.28 cores=0-7
/proc/10199/stat : 10199 (java) S 10176 10176 9260 0 -1 1077944320 22459 258761 0 0 131 7 30319 71 20 0 22 0 509679287 8481841152 31466 33554432000 4194304 4196468 140728590580528 140728590563072 140506461826807 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 9453568 140728590582751 140728590582918 140728590582918 140728590585807 0
/proc/10199/statm: 2070762 31466 3223 1 0 2032106 0
[pid=10199/tid=10200] ppid=10176 vsize=8283048 memory=631360 CPUtime=304.67 cores=0-7
/proc/10199/task/10200/stat : 10200 (java) R 10176 10176 9260 0 -1 4202560 17985 258761 0 0 72 5 30319 71 20 0 22 0 509679287 8481841152 31466 33554432000 4194304 4196468 140728590580528 140506433664928 140506445907294 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9453568 140728590582751 140728590582918 140728590582918 140728590585807 0
[pid=10199/tid=10201] ppid=10176 vsize=8283048 memory=281022528753040 CPUtime=303.9 cores=0-7
/proc/10199/task/10201/stat : 10201 (java) S 10176 10176 9260 0 -1 1077944384 2 258761 0 0 0 0 30319 71 20 0 22 0 509679288 8481841152 31466 33554432000 4194304 4196468 140728590580528 140506466068752 140506461837013 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9453568 140728590582751 140728590582918 140728590582918 140728590585807 0
[pid=10199/tid=10202] ppid=10176 vsize=8283048 memory=281022528752912 CPUtime=303.9 cores=0-7
/proc/10199/task/10202/stat : 10202 (java) S 10176 10176 9260 0 -1 1077944384 1 258761 0 0 0 0 30319 71 20 0 22 0 509679288 8481841152 31466 33554432000 4194304 4196468 140728590580528 140506299447696 140506461837013 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9453568 140728590582751 140728590582918 140728590582918 140728590585807 0
[pid=10199/tid=10203] ppid=10176 vsize=8283048 memory=3624 CPUtime=303.9 cores=0-7
/proc/10199/task/10203/stat : 10203 (java) S 10176 10176 9260 0 -1 1077944384 3 258761 0 0 0 0 30319 71 20 0 22 0 509679288 8481841152 31466 33554432000 4194304 4196468 140728590580528 140505946335760 140506461837013 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9453568 140728590582751 140728590582918 140728590582918 140728590585807 0
[pid=10199/tid=10204] ppid=10176 vsize=8283048 memory=63692 CPUtime=303.9 cores=0-7
/proc/10199/task/10204/stat : 10204 (java) S 10176 10176 9260 0 -1 1077944384 1 258761 0 0 0 0 30319 71 20 0 22 0 509679288 8481841152 31466 33554432000 4194304 4196468 140728590580528 140505945283216 140506461837013 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9453568 140728590582751 140728590582918 140728590582918 140728590585807 0
[pid=10199/tid=10205] ppid=10176 vsize=8283048 memory=988 CPUtime=303.9 cores=0-7
/proc/10199/task/10205/stat : 10205 (java) S 10176 10176 9260 0 -1 1077944384 1 258761 0 0 0 0 30319 71 20 0 22 0 509679288 8481841152 31466 33554432000 4194304 4196468 140728590580528 140505944230672 140506461837013 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9453568 140728590582751 140728590582918 140728590582918 140728590585807 0
[pid=10199/tid=10206] ppid=10176 vsize=8283048 memory=0 CPUtime=303.9 cores=0-7
/proc/10199/task/10206/stat : 10206 (java) S 10176 10176 9260 0 -1 1077944384 1 258761 0 0 0 0 30319 71 20 0 22 0 509679288 8481841152 31466 33554432000 4194304 4196468 140728590580528 140505943178128 140506461837013 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9453568 140728590582751 140728590582918 140728590582918 140728590585807 0
[pid=10199/tid=10207] ppid=10176 vsize=8283048 memory=0 CPUtime=303.9 cores=0-7
/proc/10199/task/10207/stat : 10207 (java) S 10176 10176 9260 0 -1 1077944384 1 258761 0 0 0 0 30319 71 20 0 22 0 509679288 8481841152 31466 33554432000 4194304 4196468 140728590580528 140505942125584 140506461837013 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9453568 140728590582751 140728590582918 140728590582918 140728590585807 0
[pid=10199/tid=10208] ppid=10176 vsize=8283048 memory=0 CPUtime=303.9 cores=0-7
/proc/10199/task/10208/stat : 10208 (java) S 10176 10176 9260 0 -1 1077944384 1 258761 0 0 0 0 30319 71 20 0 22 0 509679288 8481841152 31466 33554432000 4194304 4196468 140728590580528 140505941073040 140506461837013 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9453568 140728590582751 140728590582918 140728590582918 140728590585807 0
[pid=10199/tid=10209] ppid=10176 vsize=8283048 memory=1476 CPUtime=303.9 cores=0-7
/proc/10199/task/10209/stat : 10209 (java) S 10176 10176 9260 0 -1 1077944384 8 258761 0 0 0 0 30319 71 20 0 22 0 509679290 8481841152 31466 33554432000 4194304 4196468 140728590580528 140505219307504 140506461837954 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9453568 140728590582751 140728590582918 140728590582918 140728590585807 0
[pid=10199/tid=10210] ppid=10176 vsize=8283048 memory=1476 CPUtime=303.9 cores=0-7
/proc/10199/task/10210/stat : 10210 (java) S 10176 10176 9260 0 -1 1077944384 13 258761 0 0 0 0 30319 71 20 0 22 0 509679290 8481841152 31466 33554432000 4194304 4196468 140728590580528 140505090352032 140506461837013 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9453568 140728590582751 140728590582918 140728590582918 140728590585807 0
[pid=10199/tid=10211] ppid=10176 vsize=8283048 memory=119300 CPUtime=303.9 cores=0-7
/proc/10199/task/10211/stat : 10211 (java) S 10176 10176 9260 0 -1 1077944384 1 258761 0 0 0 0 30319 71 20 0 22 0 509679291 8481841152 31466 33554432000 4194304 4196468 140728590580528 140504821916656 140506461837013 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9453568 140728590582751 140728590582918 140728590582918 140728590585807 0
[pid=10199/tid=10212] ppid=10176 vsize=8283048 memory=0 CPUtime=303.9 cores=0-7
/proc/10199/task/10212/stat : 10212 (java) S 10176 10176 9260 0 -1 1077944384 1 258761 0 0 0 0 30319 71 20 0 22 0 509679293 8481841152 31466 33554432000 4194304 4196468 140728590580528 140504447408336 140506461845403 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9453568 140728590582751 140728590582918 140728590582918 140728590585807 0
[pid=10199/tid=10213] ppid=10176 vsize=8283048 memory=0 CPUtime=304.01 cores=0-7
/proc/10199/task/10213/stat : 10213 (java) S 10176 10176 9260 0 -1 1077944384 966 258761 0 0 11 0 30319 71 20 0 22 0 509679293 8481841152 31466 33554432000 4194304 4196468 140728590580528 140505218255344 140506461837954 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9453568 140728590582751 140728590582918 140728590582918 140728590585807 0
[pid=10199/tid=10214] ppid=10176 vsize=8283048 memory=0 CPUtime=303.96 cores=0-7
/proc/10199/task/10214/stat : 10214 (java) S 10176 10176 9260 0 -1 1077944384 407 258761 0 0 6 0 30319 71 20 0 22 0 509679293 8481841152 31466 33554432000 4194304 4196468 140728590580528 140505217202800 140506461837954 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9453568 140728590582751 140728590582918 140728590582918 140728590585807 0
[pid=10199/tid=10215] ppid=10176 vsize=8283048 memory=1476 CPUtime=303.99 cores=0-7
/proc/10199/task/10215/stat : 10215 (java) S 10176 10176 9260 0 -1 1077944384 302 258761 0 0 9 0 30319 71 20 0 22 0 509679293 8481841152 31466 33554432000 4194304 4196468 140728590580528 140505216150256 140506461837954 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9453568 140728590582751 140728590582918 140728590582918 140728590585807 0
[pid=10199/tid=10216] ppid=10176 vsize=8283048 memory=119412 CPUtime=304.13 cores=0-7
/proc/10199/task/10216/stat : 10216 (java) S 10176 10176 9260 0 -1 1077944384 1213 258761 0 0 23 0 30319 71 20 0 22 0 509679293 8481841152 31466 33554432000 4194304 4196468 140728590580528 140505215097712 140506461837954 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9453568 140728590582751 140728590582918 140728590582918 140728590585807 0
[pid=10199/tid=10217] ppid=10176 vsize=8283048 memory=612308 CPUtime=303.9 cores=0-7
/proc/10199/task/10217/stat : 10217 (java) S 10176 10176 9260 0 -1 1077944384 3 258761 0 0 0 0 30319 71 20 0 22 0 509679293 8481841152 31466 33554432000 4194304 4196468 140728590580528 140503949502688 140506461837013 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9453568 140728590582751 140728590582918 140728590582918 140728590585807 0
[pid=10199/tid=10218] ppid=10176 vsize=8283048 memory=1428 CPUtime=303.92 cores=0-7
/proc/10199/task/10218/stat : 10218 (java) S 10176 10176 9260 0 -1 1077944384 5 258761 0 0 0 2 30319 71 20 0 22 0 509679294 8481841152 31466 33554432000 4194304 4196468 140728590580528 140505214044592 140506461837954 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9453568 140728590582751 140728590582918 140728590582918 140728590585807 0
[pid=10199/tid=10220] ppid=10176 vsize=8283048 memory=0 CPUtime=303.9 cores=0-7
/proc/10199/task/10220/stat : 10220 (java) S 10176 10176 9260 0 -1 1077944384 24 258761 0 0 0 0 30319 71 20 0 22 0 509679360 8481841152 31466 33554432000 4194304 4196468 140728590580528 140505896120720 140506461837954 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9453568 140728590582751 140728590582918 140728590582918 140728590585807 0
[pid=10199/tid=10224] ppid=10176 vsize=8283048 memory=1476 CPUtime=303.9 cores=0-7
/proc/10199/task/10224/stat : 10224 (java) S 10176 10176 9260 0 -1 1077944384 13 258761 0 0 0 0 30319 71 20 0 22 0 509679362 8481841152 31466 33554432000 4194304 4196468 140728590580528 140503009977776 140506461837954 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9453568 140728590582751 140728590582918 140728590582918 140728590585807 0
Current children cumulated CPU time: 311.43 s
Current children cumulated vsize: 8396176 KiB
Current children cumulated memory: 127340 KiB

Child status: 0
Real time (s): 43.0952
CPU time (s): 311.689
CPU user time (s): 310.533
CPU system time (s): 1.1554
CPU usage (%): 723.256
Max. virtual memory (cumulated for all children) (KiB): 27441876
Max. memory (cumulated for all children) (KiB): 1403964

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 310.533
system time used= 1.1554
maximum resident set size= 1407340
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 309404
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= 16041
involuntary context switches= 3598


# summary of solver processes directly reported to runsolver:
#   pid: 10176
#   total CPU time (s): 311.689
#   total CPU user time (s): 310.533
#   total CPU system time (s): 1.1554

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.418676 second user time and 0.637817 second system time

The end

Launcher Data 

Begin job on node140 at 2019-09-24 17:02:45
IDJOB=4405463
IDBENCH=127773
IDSOLVER=2868
FILE ID=node140/4405463-1569337406
RUNJOBID= node140-1569335937-9287
PBS_JOBID= 21705054
Free space on /var/tmp= 13516 MiB

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

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

MD5SUM BENCH= e5b164a238094fc306b5fb8652aa9c45
RANDOM SEED=1091812113

node140.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.43
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.43
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.43
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.43
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:        25648800 kB
MemAvailable:   31842708 kB
Buffers:          118788 kB
Cached:          6173492 kB
SwapCached:         2800 kB
Active:          3126880 kB
Inactive:        3174140 kB
Active(anon):       5608 kB
Inactive(anon):    58400 kB
Active(file):    3121272 kB
Inactive(file):  3115740 kB
Unevictable:      107700 kB
Mlocked:          107700 kB
SwapTotal:      67108860 kB
SwapFree:       66997508 kB
Dirty:             20760 kB
Writeback:             0 kB
AnonPages:        209504 kB
Mapped:            56268 kB
Shmem:             46804 kB
Slab:             414164 kB
SReclaimable:     385356 kB
SUnreclaim:        28808 kB
KernelStack:        4000 kB
PageTables:         6088 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     515108 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    165888 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      105856 kB
DirectMap2M:    33439744 kB

Free space on /var/tmp at the end= 13496 MiB
End job on node140 at 2019-09-24 17:03:28