Trace number 4392346

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Fun-sCOP order+ManyGlucose (2019-06-15)UNSAT 368.599 88.9612

General information on the benchmark

NameQRandom/QRandom-mdd-7-25-5-p7/
mdd-7-25-5-ps05-psh07-4.xml
MD5SUMcc3fcfac109c3d277a0ef72b27cdc983
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark84.877
Satisfiable
(Un)Satisfiability was proved
Number of variables25
Number of constraints58
Number of domains1
Minimum domain size5
Maximum domain size5
Distribution of domain sizes[{"size":5,"count":25}]
Minimum variable degree9
Maximum variable degree21
Distribution of variable degrees[{"degree":9,"count":1},{"degree":10,"count":1},{"degree":13,"count":2},{"degree":14,"count":3},{"degree":15,"count":1},{"degree":16,"count":3},{"degree":17,"count":6},{"degree":18,"count":2},{"degree":19,"count":4},{"degree":21,"count":2}]
Minimum constraint arity7
Maximum constraint arity7
Distribution of constraint arities[{"arity":7,"count":58}]
Number of extensional constraints58
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":58}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c (scop.sh) java -Xms22g -Xmx22g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Encode -order -solver HOME/manyglucose-4.1-27_release -solverOption -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 -tmp HOME -serialFile HOME/scop-28774-serial-file.bin HOME/instance-4392346-1568425222.xml
0.66/0.54	
0.66/0.54	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
0.66/0.54	
0.66/0.57	c BEGIN-Prog: Sat Sep 14 03:39:41 CEST 2019
0.66/0.57	c PID: 28777
0.66/0.57	c IP: 172.20.3.137
0.66/0.57	c HOST: node137.alineos.net
0.66/0.58	c (0,0) Parsing Begin
6.62/4.95	c (4,4) Parsing End
6.62/4.95	c (4,4) CSP: 25 int (0 aux), 0 bool (0 aux), 58 ctr, max domain size 5
6.62/4.95	c (4,4) Heap : 4056 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB)
6.62/4.95	c (4,4) Constraint Name Generate Begin
6.62/4.96	c (4,4) Ctr:HOME/instance-4392346-1568425222.xml,ExtensionSupport:Var
6.62/4.96	c (4,4) Constraint Name Generate End
6.62/4.96	c (4,4) Heap : 4056 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB)
6.62/4.96	c (4,4) CSP to CSPinCNF Begin
16.89/9.72	c (9,8) translated 6 (10%) constraints
23.77/13.74	c (13,13) translated 12 (20%) constraints
30.40/17.85	c (17,17) translated 18 (30%) constraints
35.66/22.01	c (21,21) translated 24 (40%) constraints
39.11/25.46	c (24,24) translated 29 (50%) constraints
43.02/29.31	c (28,28) translated 35 (60%) constraints
47.50/33.17	c (32,32) translated 41 (70%) constraints
52.33/37.13	c (36,36) translated 47 (80%) constraints
57.56/41.36	c (40,40) translated 53 (90%) constraints
61.07/44.89	c (44,43) translated 58 (100%) constraints
61.87/45.62	c (45,44) ===========================================
61.87/45.62	c (45,44) Order
61.87/45.62	c (45,44) ===========================================
62.39/45.88	c (45,44) translated 8032 (10%) constraints
62.77/46.07	c (45,45) translated 16064 (20%) constraints
63.05/46.26	c (45,45) translated 24096 (30%) constraints
63.30/46.45	c (45,45) translated 32128 (40%) constraints
63.49/46.63	c (46,45) translated 40159 (50%) constraints
63.69/46.80	c (46,45) translated 48191 (60%) constraints
63.79/46.98	c (46,45) translated 56223 (70%) constraints
64.00/47.16	c (46,46) translated 64255 (80%) constraints
64.19/47.34	c (46,46) translated 72287 (90%) constraints
64.44/47.53	c (46,46) translated 80318 (100%) constraints
64.44/47.53	c (46,46) CSP to CSPinCNF End
64.44/47.54	c (46,46) CSP: 25 int (0 aux), 8457 bool (8457 aux), 80318 ctr, max domain size 5
64.44/47.54	c (46,46) Heap : 3467 MiB used (max 21589 MiB), NonHeap : 27 MiB used (max 0 MiB)
64.44/47.54	c (46,46) CSPinCNF Propagation Begin
65.62/48.09	c (47,47) 0 values, 107 unsatisfiable literals, and 71 valid clauses are removed
65.62/48.09	c (47,47) CSPinCNF Propagation End
65.62/48.09	c (47,47) CSP: 25 int (0 aux), 8457 bool (8457 aux), 80247 ctr, max domain size 5
65.62/48.09	c (47,47) Heap : 3910 MiB used (max 21589 MiB), NonHeap : 27 MiB used (max 0 MiB)
65.62/48.10	c (47,47) Simplify CSPinCNF Begin
66.17/48.30	c (47,47) Simplify CSPinCNF End
66.17/48.30	c (47,47) CSP: 25 int (0 aux), 8457 bool (8457 aux), 80247 ctr, max domain size 5
66.17/48.30	c (47,47) Heap : 4020 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB)
66.17/48.30	c (47,47) Calculate Precise Domain Begin
66.17/48.31	c (47,47) 0 values are removed by re-calculation
66.17/48.31	c (47,47) Calculate Precise Domain End
66.17/48.31	c (47,47) CSP: 25 int (0 aux), 8457 bool (8457 aux), 80247 ctr, max domain size 5
66.17/48.31	c (47,47) Heap : 4020 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB)
66.17/48.31	c (47,47) CSPinCNF to SatSolver Begin
67.25/48.63	c (48,47) 8025 (10 %) CSP clauses are encoded (0 SAT variables, 8099 SAT clauses)
67.56/48.72	c (48,47) 16050 (20 %) CSP clauses are encoded (0 SAT variables, 16124 SAT clauses)
67.66/48.80	c (48,47) 24075 (30 %) CSP clauses are encoded (0 SAT variables, 24149 SAT clauses)
67.66/48.89	c (48,47) 32099 (40 %) CSP clauses are encoded (0 SAT variables, 32173 SAT clauses)
67.76/48.97	c (48,47) 40124 (50 %) CSP clauses are encoded (0 SAT variables, 40198 SAT clauses)
67.89/49.05	c (48,47) 48149 (60 %) CSP clauses are encoded (0 SAT variables, 48223 SAT clauses)
67.99/49.13	c (48,48) 56173 (70 %) CSP clauses are encoded (0 SAT variables, 56247 SAT clauses)
68.09/49.21	c (48,48) 64198 (80 %) CSP clauses are encoded (0 SAT variables, 64272 SAT clauses)
68.09/49.29	c (48,48) 72223 (90 %) CSP clauses are encoded (0 SAT variables, 72297 SAT clauses)
68.19/49.37	c (48,48) 80247 (100 %) CSP clauses are encoded (0 SAT variables, 80321 SAT clauses)
68.19/49.37	c (48,48) CSPinCNF to SatSolver End
68.19/49.37	c (48,48) Heap : 4795 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB)
68.19/49.37	c (48,48) 8546 bool, 80322 clause
68.19/49.37	c (48,48) Export Begin
68.29/49.46	c (48,48) Export to HOME/scop-28774-serial-file.bin
68.29/49.46	c (48,48) Export End
68.29/49.46	c (48,48) Export File Size: 0.01 MB
68.29/49.46	c (48,48) 4,4,46,47,47,47,48,STOP-AFTER(DIMACS)
68.29/49.46	c END-Prog: Sat Sep 14 03:40:30 CEST 2019
0.00/49.51	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-28774-serial-file.bin
68.48/49.98	c (0,0) Read Serial File Begin
68.48/49.98	c (0,0) HOME/scop-28774-serial-file.bin
69.27/50.19	c (0,0) Read Serial File End
69.40/50.20	
69.40/50.20	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
69.40/50.20	(Solving Process)
69.40/50.20	
69.40/50.22	c BEGIN-Prog: Sat Sep 14 03:40:31 CEST 2019
69.40/50.22	c PID: 28807
69.40/50.22	c IP: 172.20.3.137
69.40/50.22	c HOST: node137.alineos.net
69.40/50.23	c (0,0) SatSolver.solve Begin
69.40/50.23	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4392346-1568425222.xml-scop-28777.cnf
69.40/50.25	c (0,0) c
69.40/50.25	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)
69.40/50.25	c (0,0) c
69.40/50.25	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
69.40/50.25	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
69.40/50.25	c (0,0) c ========================================[ Problem Statistics ]===========================================
69.40/50.25	c (0,0) c |                                                                                                       |
69.40/50.28	c (0,0) c |  Number of variables:          8546                                                                   |
69.40/50.28	c (0,0) c |  Number of clauses:           80322                                                                   |
69.40/50.28	c (0,0) c |  Parse time:                   0.03 s                                                                 |
69.40/50.28	c (0,0) c |                                                                                                       |
69.64/50.33	c (0,0) c |  Simplification time:          0.05 s                                                                 |
69.64/50.33	c (0,0) c |                                                                                                       |
69.64/50.33	c (0,0) c |  Generating clones                                                                                    |
69.64/50.36	c (0,0) c |  all clones generated. Memory =    66.59Mb.                                                           |
69.64/50.36	c (0,0) c ========================================================================================================|
69.64/50.36	c (0,0) c
69.64/50.36	c (0,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
69.64/50.36	c (0,0) c
69.64/50.36	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
69.64/50.36	c (0,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
69.64/50.36	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
69.64/50.36	c (0,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
69.64/50.36	c (0,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
69.64/50.36	c (0,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
69.64/50.36	c (0,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
69.64/50.36	c (0,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
69.64/50.36	c (0,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
69.64/50.36	c (0,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
69.64/50.36	c (0,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
69.64/50.36	c (0,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
69.64/50.36	c (0,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
69.64/50.36	c (0,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
69.64/50.36	c (0,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
69.64/50.36	c (0,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
69.64/50.36	c (0,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
69.64/50.36	c (0,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
69.64/50.36	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
303.28/79.88	c (29,0) c
303.28/79.88	c (29,0) c |------------------------------------------------------------------------------------------------------------------------|
303.28/79.88	c (29,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
303.28/79.88	c (29,0) c |------------------------------------------------------------------------------------------------------------------------|
303.28/79.88	c (29,0) c |  0 |     52 |      71116 |      56489 |    33089 |    17953 |     9944 |    58839 |     6371 |      219 |  20 |  0.000 |
303.28/79.88	c (29,0) c |  1 |     48 |      64809 |      51711 |    31482 |    13172 |     9138 |    58255 |     5757 |      203 |  20 |  0.000 |
303.28/79.88	c (29,0) c |  2 |     77 |      76053 |      59450 |    33315 |    20913 |     9640 |    59188 |     6903 |      223 |  20 |  0.000 |
303.28/79.88	c (29,0) c |  3 |     63 |      71191 |      56770 |    32399 |    18225 |     8986 |    58853 |     7101 |      223 |  20 |  0.000 |
303.28/79.88	c (29,0) c |  4 |     35 |      70326 |      56328 |    32903 |    17786 |     9053 |    57029 |     7113 |      222 |  20 |  0.000 |
303.28/79.88	c (29,0) c |  5 |     65 |      68831 |      54102 |    32328 |    12161 |     8839 |    59318 |     6535 |      206 |  20 |  0.012 |
303.28/79.88	c (29,0) c |  6 |     64 |      72756 |      57536 |    33511 |    18996 |     8949 |    61363 |     6870 |      223 |  20 |  0.000 |
303.28/79.88	c (29,0) c |  7 |     57 |      71945 |      57083 |    33182 |    18545 |     9564 |    53591 |     6952 |      223 |  20 |  0.000 |
303.28/79.88	c (29,0) c 
303.28/79.88	c (29,0) c synthesis      449469 conflicts   672487080 propagations     1926 conflicts/sec  2881395 propagations/sec
303.28/79.88	c (29,0) c real: 29.6249 s, cpu: 233.389 s, memory: 647.62 Mb
368.46/88.92	c (39,0) c
368.46/88.92	c (39,0) c real time : 38.6665 s
368.46/88.92	c (39,0) c cpu time  : 297.943 s
368.46/88.92	c (39,0) c
368.46/88.92	c (39,0) c
368.46/88.92	c (39,0) c
368.46/88.92	c (39,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
368.46/88.92	c (39,0) c
368.46/88.92	c (39,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
368.46/88.92	c (39,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
368.46/88.92	c (39,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
368.46/88.92	c (39,0) c | Conflicts     |          553237 |      69251 |      68346 |      71405 |      69044 |      67734 |      69380 |      69074 |      69003 |
368.46/88.92	c (39,0) c | Decisions     |          684877 |      85692 |      83804 |      89593 |      85061 |      83433 |      86099 |      85795 |      85400 |
368.46/88.92	c (39,0) c | Propagations  |       840151454 |  105462576 |  103274950 |  105094187 |  106319946 |  104403463 |  105549607 |  104741386 |  105305339 |
368.46/88.92	c (39,0) c | ReduceDBs     |              54 |          7 |          6 |          7 |          7 |          6 |          7 |          7 |          7 |
368.46/88.92	c (39,0) c | SimpDBs       |              31 |          3 |          3 |          4 |          2 |          4 |          4 |          4 |          7 |
368.46/88.92	c (39,0) c | Restarts      |             489 |         53 |         59 |         82 |         69 |         37 |         66 |         65 |         58 |
368.46/88.92	c (39,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
368.46/88.92	c (39,0) c | PropBinClauses|       357007578 |   43968611 |   43571976 |   43352944 |   46781247 |   45535733 |   46095592 |   43449771 |   44251704 |
368.46/88.92	c (39,0) c | PropPreBlocker|      7619157657 |  954020566 |  945782616 |  959121450 |  962333709 |  945577700 |  948916654 |  954095704 |  949309258 |
368.46/88.92	c (39,0) c | PropNotBlocker|      2860569156 |  356919365 |  361729859 |  357187752 |  355235665 |  361397358 |  355764355 |  356440030 |  355894772 |
368.46/88.92	c (39,0) c | LitFullScans  |     13383541499 | 1668151839 | 1668203299 | 1680180166 | 1686160312 | 1668183718 | 1668250595 | 1674158753 | 1670252817 |
368.46/88.92	c (39,0) c | LitScanFracts |         1377555 |     144479 |     191559 |     170687 |     144786 |     170106 |     231999 |     145171 |     178768 |
368.46/88.92	c (39,0) c | DecisionLevel0|             512 |         54 |         60 |         83 |         69 |         40 |         69 |         68 |         69 |
368.46/88.92	c (39,0) c | Periods       |            2230 |        278 |        278 |        280 |        281 |        278 |        278 |        279 |        278 |
368.46/88.92	c (39,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
368.46/88.92	c (39,0) c | Avg_Trail     |                 |       4689 |       4679 |       4792 |       4742 |       4638 |       4759 |       4809 |       4791 |
368.46/88.92	c (39,0) c | Avg_DL        |                 |         12 |         12 |         12 |         12 |         11 |         11 |         12 |         12 |
368.46/88.92	c (39,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
368.46/88.92	c (39,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
368.46/88.92	c (39,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
368.46/88.92	c (39,0) c | Exported      |           86803 |      11506 |      11112 |      11162 |      10383 |      10590 |      10615 |      10338 |      11097 |
368.46/88.92	c (39,0) c | Imported      |          559895 |      66051 |      68752 |      71697 |      66394 |      72198 |      70148 |      72659 |      71996 |
368.46/88.92	c (39,0) c | Good          |            2593 |        291 |        322 |        346 |        302 |        335 |        304 |        350 |        343 |
368.46/88.92	c (39,0) c | Purge         |          557302 |      65760 |      68430 |      71351 |      66092 |      71863 |      69844 |      72309 |      71653 |
368.46/88.92	c (39,0) c | Promoted      |           66157 |       7980 |       7746 |       8408 |       8482 |       8594 |       8245 |       8154 |       8548 |
368.46/88.92	c (39,0) c | Remove_Imp    |          308911 |      38610 |      32289 |      36137 |      35774 |      31847 |      46457 |      43967 |      43830 |
368.46/88.92	c (39,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
368.46/88.92	c (39,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
368.46/88.92	c (39,0) c | Unaries       |                 |          1 |          1 |          1 |          0 |          3 |          3 |          3 |         11 |
368.46/88.92	c (39,0) c | Binaries      |                 |         64 |         45 |         57 |         44 |         66 |         74 |         50 |         98 |
368.46/88.92	c (39,0) c | Glues         |                 |        751 |        751 |        778 |        723 |        764 |        811 |        729 |        862 |
368.46/88.92	c (39,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
368.46/88.92	c (39,0) c | Orig_Seen     |            44 % |      34327 |      33148 |      34259 |      33634 |      33954 |      33819 |      34498 |      34260 |
368.46/88.92	c (39,0) c | Diff Orig seen|                 |         67 | -     1112 | -        1 | -      626 | -      306 | -      441 |        238 |      X     |
368.46/88.92	c (39,0) c | Hamming       |            45 % |       4185 |       1669 |       4304 |       4393 |       4294 |       4280 |       4359 |      X     |
368.46/88.92	c (39,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
368.46/88.92	c (39,0) c | RunningTime   |                 |   37.4 100%|   38.5 100%|   36.8  99%|   37.1 100%|   37.4 100%|   38.5 100%|   37.0  99%|   37.0  99%|
368.46/88.92	c (39,0) c | WaitingTime   |                 |    0.0   0%|    0.0   0%|    0.5   1%|    0.1   0%|    0.0   0%|    0.0   0%|    0.2   1%|    0.2   0%|
368.46/88.92	c (39,0) c | ExchangingTime|                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
368.46/88.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%|
368.46/88.92	c (39,0) c | SolvingTime   |                 |   37.4     |   38.5     |   37.3     |   37.3     |   37.4     |   38.6     |   37.2     |   37.2     |
368.46/88.92	c (39,0) c | PropagationTim|                 |   35.5  95%|   36.6  95%|   35.2  94%|   35.4  95%|   35.5  95%|   36.3  94%|   35.2  95%|   35.2  95%|
368.46/88.92	c (39,0) c | AnalysisTime  |                 |    1.0   3%|    1.0   2%|    1.1   3%|    0.9   2%|    0.9   2%|    1.3   3%|    1.0   3%|    0.9   3%|
368.46/88.92	c (39,0) c | ReductionTime |                 |    0.1   0%|    0.1   0%|    0.1   0%|    0.1   0%|    0.1   0%|    0.1   0%|    0.1   0%|    0.1   0%|
368.46/88.92	c (39,0) c | SimplifyTime  |                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.1   0%|
368.46/88.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%|
368.46/88.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%|
368.46/88.92	c (39,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
368.46/88.92	c (39,0) c
368.46/88.92	c (39,0) c
368.46/88.92	c (39,0) c Threads : 8
368.46/88.92	c (39,0) c Winner : 7
368.46/88.92	c (39,0) c Conflicts_0 : 69251
368.46/88.92	c (39,0) c Conflicts_1 : 68346
368.46/88.92	c (39,0) c Conflicts_2 : 71405
368.46/88.92	c (39,0) c Conflicts_3 : 69044
368.46/88.92	c (39,0) c Conflicts_4 : 67734
368.46/88.92	c (39,0) c Conflicts_5 : 69380
368.46/88.92	c (39,0) c Conflicts_6 : 69074
368.46/88.92	c (39,0) c Conflicts_7 : 69003
368.46/88.92	c (39,0) c Conflicts_total : 553237
368.46/88.92	c (39,0) c Conflicts_winner : 69003
368.46/88.92	c (39,0) c Decisions_0 : 85692
368.46/88.92	c (39,0) c Decisions_1 : 83804
368.46/88.92	c (39,0) c Decisions_2 : 89593
368.46/88.92	c (39,0) c Decisions_3 : 85061
368.46/88.92	c (39,0) c Decisions_4 : 83433
368.46/88.92	c (39,0) c Decisions_5 : 86099
368.46/88.92	c (39,0) c Decisions_6 : 85795
368.46/88.92	c (39,0) c Decisions_7 : 85400
368.46/88.92	c (39,0) c Decisions_total : 684877
368.46/88.92	c (39,0) c Decisions_winner : 85400
368.46/88.92	c (39,0) c Propagations_0 : 105462576
368.46/88.92	c (39,0) c Propagations_1 : 103274950
368.46/88.92	c (39,0) c Propagations_2 : 105094187
368.46/88.92	c (39,0) c Propagations_3 : 106319946
368.46/88.92	c (39,0) c Propagations_4 : 104403463
368.46/88.92	c (39,0) c Propagations_5 : 105549607
368.46/88.92	c (39,0) c Propagations_6 : 104741386
368.46/88.92	c (39,0) c Propagations_7 : 105305339
368.46/88.92	c (39,0) c Propagations_total : 840151454
368.46/88.92	c (39,0) c Propagations_winner : 105305339
368.46/88.92	c (39,0) c ReduceDBs_0 : 7
368.46/88.92	c (39,0) c ReduceDBs_1 : 6
368.46/88.92	c (39,0) c ReduceDBs_2 : 7
368.46/88.92	c (39,0) c ReduceDBs_3 : 7
368.46/88.92	c (39,0) c ReduceDBs_4 : 6
368.46/88.92	c (39,0) c ReduceDBs_5 : 7
368.46/88.92	c (39,0) c ReduceDBs_6 : 7
368.46/88.92	c (39,0) c ReduceDBs_7 : 7
368.46/88.92	c (39,0) c ReduceDBs_total : 54
368.46/88.92	c (39,0) c ReduceDBs_winner : 7
368.46/88.92	c (39,0) c SimpDBs_0 : 3
368.46/88.92	c (39,0) c SimpDBs_1 : 3
368.46/88.92	c (39,0) c SimpDBs_2 : 4
368.46/88.92	c (39,0) c SimpDBs_3 : 2
368.46/88.92	c (39,0) c SimpDBs_4 : 4
368.46/88.92	c (39,0) c SimpDBs_5 : 4
368.46/88.92	c (39,0) c SimpDBs_6 : 4
368.46/88.92	c (39,0) c SimpDBs_7 : 7
368.46/88.92	c (39,0) c SimpDBs_total : 31
368.46/88.92	c (39,0) c SimpDBs_winner : 7
368.46/88.92	c (39,0) c Restarts_0 : 53
368.46/88.92	c (39,0) c Restarts_1 : 59
368.46/88.92	c (39,0) c Restarts_2 : 82
368.46/88.92	c (39,0) c Restarts_3 : 69
368.46/88.92	c (39,0) c Restarts_4 : 37
368.46/88.92	c (39,0) c Restarts_5 : 66
368.46/88.92	c (39,0) c Restarts_6 : 65
368.46/88.92	c (39,0) c Restarts_7 : 58
368.46/88.92	c (39,0) c Restarts_total : 489
368.46/88.92	c (39,0) c Restarts_winner : 58
368.46/88.92	c (39,0) c ForcedImports_0 : 0
368.46/88.92	c (39,0) c ForcedImports_1 : 0
368.46/88.92	c (39,0) c ForcedImports_2 : 0
368.46/88.92	c (39,0) c ForcedImports_3 : 0
368.46/88.92	c (39,0) c ForcedImports_4 : 0
368.46/88.92	c (39,0) c ForcedImports_5 : 0
368.46/88.92	c (39,0) c ForcedImports_6 : 0
368.46/88.92	c (39,0) c ForcedImports_7 : 0
368.46/88.92	c (39,0) c ForcedImports_total : 0
368.46/88.92	c (39,0) c ForcedImports_winner : 0
368.46/88.92	c (39,0) c PropsBinClauses_0 : 43968611
368.46/88.92	c (39,0) c PropsBinClauses_1 : 43571976
368.46/88.92	c (39,0) c PropsBinClauses_2 : 43352944
368.46/88.92	c (39,0) c PropsBinClauses_3 : 46781247
368.46/88.92	c (39,0) c PropsBinClauses_4 : 45535733
368.46/88.92	c (39,0) c PropsBinClauses_5 : 46095592
368.46/88.92	c (39,0) c PropsBinClauses_6 : 43449771
368.46/88.92	c (39,0) c PropsBinClauses_7 : 44251704
368.46/88.92	c (39,0) c PropsBinClauses_total : 357007578
368.46/88.92	c (39,0) c PropsBinClauses_winner : 44251704
368.46/88.92	c (39,0) c PropsPreBlocker_0 : 954020566
368.46/88.92	c (39,0) c PropsPreBlocker_1 : 945782616
368.46/88.92	c (39,0) c PropsPreBlocker_2 : 959121450
368.46/88.92	c (39,0) c PropsPreBlocker_3 : 962333709
368.46/88.92	c (39,0) c PropsPreBlocker_4 : 945577700
368.46/88.92	c (39,0) c PropsPreBlocker_5 : 948916654
368.46/88.92	c (39,0) c PropsPreBlocker_6 : 954095704
368.46/88.92	c (39,0) c PropsPreBlocker_7 : 949309258
368.46/88.92	c (39,0) c PropsPreBlocker_total : 7619157657
368.46/88.92	c (39,0) c PropsPreBlocker_winner : 949309258
368.46/88.92	c (39,0) c PropsNotBlocker_0 : 356919365
368.46/88.92	c (39,0) c PropsNotBlocker_1 : 361729859
368.46/88.92	c (39,0) c PropsNotBlocker_2 : 357187752
368.46/88.92	c (39,0) c PropsNotBlocker_3 : 355235665
368.46/88.92	c (39,0) c PropsNotBlocker_4 : 361397358
368.46/88.92	c (39,0) c PropsNotBlocker_5 : 355764355
368.46/88.92	c (39,0) c PropsNotBlocker_6 : 356440030
368.46/88.92	c (39,0) c PropsNotBlocker_7 : 355894772
368.46/88.92	c (39,0) c PropsNotBlocker_total : 2860569156
368.46/88.92	c (39,0) c PropsNotBlocker_winner : 355894772
368.46/88.92	c (39,0) c PropsLitFullScans_0 : 1668151839
368.46/88.92	c (39,0) c PropsLitFullScans_1 : 1668203299
368.46/88.92	c (39,0) c PropsLitFullScans_2 : 1680180166
368.46/88.92	c (39,0) c PropsLitFullScans_3 : 1686160312
368.46/88.92	c (39,0) c PropsLitFullScans_4 : 1668183718
368.46/88.92	c (39,0) c PropsLitFullScans_5 : 1668250595
368.46/88.92	c (39,0) c PropsLitFullScans_6 : 1674158753
368.46/88.92	c (39,0) c PropsLitFullScans_7 : 1670252817
368.46/88.92	c (39,0) c PropsLitFullScans_total : 13383541499
368.46/88.92	c (39,0) c PropsLitFullScans_winner : 1670252817
368.46/88.92	c (39,0) c LitScanFractions_0 : 144479
368.46/88.92	c (39,0) c LitScanFractions_1 : 191559
368.46/88.92	c (39,0) c LitScanFractions_2 : 170687
368.46/88.92	c (39,0) c LitScanFractions_3 : 144786
368.46/88.92	c (39,0) c LitScanFractions_4 : 170106
368.46/88.92	c (39,0) c LitScanFractions_5 : 231999
368.46/88.92	c (39,0) c LitScanFractions_6 : 145171
368.46/88.92	c (39,0) c LitScanFractions_7 : 178768
368.46/88.92	c (39,0) c LitScanFractions_total : 1377555
368.46/88.92	c (39,0) c LitScanFractions_winner : 178768
368.46/88.92	c (39,0) c DecisionLevel0_0 : 54
368.46/88.92	c (39,0) c DecisionLevel0_1 : 60
368.46/88.92	c (39,0) c DecisionLevel0_2 : 83
368.46/88.92	c (39,0) c DecisionLevel0_3 : 69
368.46/88.92	c (39,0) c DecisionLevel0_4 : 40
368.46/88.92	c (39,0) c DecisionLevel0_5 : 69
368.46/88.92	c (39,0) c DecisionLevel0_6 : 68
368.46/88.92	c (39,0) c DecisionLevel0_7 : 69
368.46/88.92	c (39,0) c DecisionLevel0_total : 512
368.46/88.92	c (39,0) c DecisionLevel0_winner : 69
368.46/88.92	c (39,0) c Periods_0 : 278
368.46/88.92	c (39,0) c Periods_1 : 278
368.46/88.92	c (39,0) c Periods_2 : 280
368.46/88.92	c (39,0) c Periods_3 : 281
368.46/88.92	c (39,0) c Periods_4 : 278
368.46/88.92	c (39,0) c Periods_5 : 278
368.46/88.92	c (39,0) c Periods_6 : 279
368.46/88.92	c (39,0) c Periods_7 : 278
368.46/88.93	c (39,0) c Periods_total : 2230
368.46/88.93	c (39,0) c Periods_winner : 278
368.46/88.93	c (39,0) c Margin_0 : 20
368.46/88.93	c (39,0) c Margin_1 : 20
368.46/88.93	c (39,0) c Margin_2 : 20
368.46/88.93	c (39,0) c Margin_3 : 20
368.46/88.93	c (39,0) c Margin_4 : 20
368.46/88.93	c (39,0) c Margin_5 : 20
368.46/88.93	c (39,0) c Margin_6 : 20
368.46/88.93	c (39,0) c Margin_7 : 20
368.46/88.93	c (39,0) c Margin_total : 160
368.46/88.93	c (39,0) c Margin_winner : 20
368.46/88.93	c (39,0) c Exported_0 : 11506
368.46/88.93	c (39,0) c Exported_1 : 11112
368.46/88.93	c (39,0) c Exported_2 : 11162
368.46/88.93	c (39,0) c Exported_3 : 10383
368.46/88.93	c (39,0) c Exported_4 : 10590
368.46/88.93	c (39,0) c Exported_5 : 10615
368.46/88.93	c (39,0) c Exported_6 : 10338
368.46/88.93	c (39,0) c Exported_7 : 11097
368.46/88.93	c (39,0) c Exported_total : 86803
368.46/88.93	c (39,0) c Exported_winner : 11097
368.46/88.93	c (39,0) c Imported_0 : 66051
368.46/88.93	c (39,0) c Imported_1 : 68752
368.46/88.93	c (39,0) c Imported_2 : 71697
368.46/88.93	c (39,0) c Imported_3 : 66394
368.46/88.93	c (39,0) c Imported_4 : 72198
368.46/88.93	c (39,0) c Imported_5 : 70148
368.46/88.93	c (39,0) c Imported_6 : 72659
368.46/88.93	c (39,0) c Imported_7 : 71996
368.46/88.93	c (39,0) c Imported_total : 559895
368.46/88.93	c (39,0) c Imported_winner : 71996
368.46/88.93	c (39,0) c Good_0 : 291
368.46/88.93	c (39,0) c Good_1 : 322
368.46/88.93	c (39,0) c Good_2 : 346
368.46/88.93	c (39,0) c Good_3 : 302
368.46/88.93	c (39,0) c Good_4 : 335
368.46/88.93	c (39,0) c Good_5 : 304
368.46/88.93	c (39,0) c Good_6 : 350
368.46/88.93	c (39,0) c Good_7 : 343
368.46/88.93	c (39,0) c Good_total : 2593
368.46/88.93	c (39,0) c Good_winner : 343
368.46/88.93	c (39,0) c Purge_0 : 65760
368.46/88.93	c (39,0) c Purge_1 : 68430
368.46/88.93	c (39,0) c Purge_2 : 71351
368.46/88.93	c (39,0) c Purge_3 : 66092
368.46/88.93	c (39,0) c Purge_4 : 71863
368.46/88.93	c (39,0) c Purge_5 : 69844
368.46/88.93	c (39,0) c Purge_6 : 72309
368.46/88.93	c (39,0) c Purge_7 : 71653
368.46/88.93	c (39,0) c Purge_total : 557302
368.46/88.93	c (39,0) c Purge_winner : 71653
368.46/88.93	c (39,0) c Promoted_0 : 7980
368.46/88.93	c (39,0) c Promoted_1 : 7746
368.46/88.93	c (39,0) c Promoted_2 : 8408
368.46/88.93	c (39,0) c Promoted_3 : 8482
368.46/88.93	c (39,0) c Promoted_4 : 8594
368.46/88.93	c (39,0) c Promoted_5 : 8245
368.46/88.93	c (39,0) c Promoted_6 : 8154
368.46/88.93	c (39,0) c Promoted_7 : 8548
368.46/88.93	c (39,0) c Promoted_total : 66157
368.46/88.93	c (39,0) c Promoted_winner : 8548
368.46/88.93	c (39,0) c Remove_Imp_0 : 38610
368.46/88.93	c (39,0) c Remove_Imp_1 : 32289
368.46/88.93	c (39,0) c Remove_Imp_2 : 36137
368.46/88.93	c (39,0) c Remove_Imp_3 : 35774
368.46/88.93	c (39,0) c Remove_Imp_4 : 31847
368.46/88.93	c (39,0) c Remove_Imp_5 : 46457
368.46/88.93	c (39,0) c Remove_Imp_6 : 43967
368.46/88.93	c (39,0) c Remove_Imp_7 : 43830
368.46/88.93	c (39,0) c Remove_Imp_total : 308911
368.46/88.93	c (39,0) c Remove_Imp_winner : 43830
368.46/88.93	c (39,0) c Blocked_Reuse_0 : 0
368.46/88.93	c (39,0) c Blocked_Reuse_1 : 0
368.46/88.93	c (39,0) c Blocked_Reuse_2 : 0
368.46/88.93	c (39,0) c Blocked_Reuse_3 : 0
368.46/88.93	c (39,0) c Blocked_Reuse_4 : 0
368.46/88.93	c (39,0) c Blocked_Reuse_5 : 0
368.46/88.93	c (39,0) c Blocked_Reuse_6 : 0
368.46/88.93	c (39,0) c Blocked_Reuse_7 : 0
368.46/88.93	c (39,0) c Blocked_Reuse_total : 0
368.46/88.93	c (39,0) c Blocked_Reuse_winner : 0
368.46/88.93	c (39,0) c Unaries_0 : 1
368.46/88.93	c (39,0) c Unaries_1 : 1
368.46/88.93	c (39,0) c Unaries_2 : 1
368.46/88.93	c (39,0) c Unaries_3 : 0
368.46/88.93	c (39,0) c Unaries_4 : 3
368.46/88.93	c (39,0) c Unaries_5 : 3
368.46/88.93	c (39,0) c Unaries_6 : 3
368.46/88.93	c (39,0) c Unaries_7 : 11
368.46/88.93	c (39,0) c Unaries_total : 23
368.46/88.93	c (39,0) c Unaries_winner : 11
368.46/88.93	c (39,0) c Binaries_0 : 64
368.46/88.93	c (39,0) c Binaries_1 : 45
368.46/88.93	c (39,0) c Binaries_2 : 57
368.46/88.93	c (39,0) c Binaries_3 : 44
368.46/88.93	c (39,0) c Binaries_4 : 66
368.46/88.93	c (39,0) c Binaries_5 : 74
368.46/88.93	c (39,0) c Binaries_6 : 50
368.46/88.93	c (39,0) c Binaries_7 : 98
368.46/88.93	c (39,0) c Binaries_total : 498
368.46/88.93	c (39,0) c Binaries_winner : 98
368.46/88.93	c (39,0) c Glues_0 : 751
368.46/88.93	c (39,0) c Glues_1 : 751
368.46/88.93	c (39,0) c Glues_2 : 778
368.46/88.93	c (39,0) c Glues_3 : 723
368.46/88.93	c (39,0) c Glues_4 : 764
368.46/88.93	c (39,0) c Glues_5 : 811
368.46/88.93	c (39,0) c Glues_6 : 729
368.46/88.93	c (39,0) c Glues_7 : 862
368.46/88.93	c (39,0) c Glues_total : 6169
368.46/88.93	c (39,0) c Glues_winner : 862
368.46/88.93	c (39,0) c RunningTime_0 : 37.401866
368.46/88.93	c (39,0) c RunningTime_1 : 38.502647
368.46/88.93	c (39,0) c RunningTime_2 : 36.815245
368.46/88.93	c (39,0) c RunningTime_3 : 37.149980
368.46/88.93	c (39,0) c RunningTime_4 : 37.356398
368.46/88.93	c (39,0) c RunningTime_5 : 38.522742
368.46/88.93	c (39,0) c RunningTime_6 : 36.954225
368.46/88.93	c (39,0) c RunningTime_7 : 36.992221
368.46/88.93	c (39,0) c RunningTime_total : 299.695324
368.46/88.93	c (39,0) c RunningTime_winner : 36.992221
368.46/88.93	c (39,0) c WaitingTime_0 : 0.000350
368.46/88.93	c (39,0) c WaitingTime_1 : 0.000297
368.46/88.93	c (39,0) c WaitingTime_2 : 0.459305
368.46/88.93	c (39,0) c WaitingTime_3 : 0.103119
368.46/88.93	c (39,0) c WaitingTime_4 : 0.000396
368.46/88.93	c (39,0) c WaitingTime_5 : 0.000362
368.46/88.93	c (39,0) c WaitingTime_6 : 0.225935
368.46/88.93	c (39,0) c WaitingTime_7 : 0.175270
368.46/88.93	c (39,0) c WaitingTime_total : 0.965035
368.46/88.93	c (39,0) c WaitingTime_winner : 0.175270
368.46/88.93	c (39,0) c ExchangingTime_0 : 0.030236
368.46/88.93	c (39,0) c ExchangingTime_1 : 0.028989
368.46/88.93	c (39,0) c ExchangingTime_2 : 0.030058
368.46/88.93	c (39,0) c ExchangingTime_3 : 0.028404
368.46/88.93	c (39,0) c ExchangingTime_4 : 0.033006
368.46/88.93	c (39,0) c ExchangingTime_5 : 0.026624
368.46/88.93	c (39,0) c ExchangingTime_6 : 0.028568
368.46/88.93	c (39,0) c ExchangingTime_7 : 0.031377
368.46/88.93	c (39,0) c ExchangingTime_total : 0.237263
368.46/88.93	c (39,0) c ExchangingTime_winner : 0.031377
368.46/88.93	c (39,0) c PeriodProcTime_0 : 0.002833
368.46/88.93	c (39,0) c PeriodProcTime_1 : 0.003027
368.46/88.93	c (39,0) c PeriodProcTime_2 : 0.002035
368.46/88.93	c (39,0) c PeriodProcTime_3 : 0.002662
368.46/88.93	c (39,0) c PeriodProcTime_4 : 0.002263
368.46/88.93	c (39,0) c PeriodProcTime_5 : 0.002299
368.46/88.93	c (39,0) c PeriodProcTime_6 : 0.002180
368.46/88.93	c (39,0) c PeriodProcTime_7 : 0.002688
368.46/88.93	c (39,0) c PeriodProcTime_total : 0.019987
368.46/88.93	c (39,0) c PeriodProcTime_winner : 0.002688
368.46/88.93	c (39,0) c SolvingTime_0 : 37.435286
368.46/88.93	c (39,0) c SolvingTime_1 : 38.534959
368.46/88.93	c (39,0) c SolvingTime_2 : 37.306644
368.46/88.93	c (39,0) c SolvingTime_3 : 37.284165
368.46/88.93	c (39,0) c SolvingTime_4 : 37.392062
368.46/88.93	c (39,0) c SolvingTime_5 : 38.552028
368.46/88.93	c (39,0) c SolvingTime_6 : 37.210909
368.46/88.93	c (39,0) c SolvingTime_7 : 37.201555
368.46/88.93	c (39,0) c SolvingTime_total : 300.917609
368.46/88.93	c (39,0) c SolvingTime_winner : 37.201555
368.46/88.93	c (39,0) c PropagationTime_0 : 35.499041
368.46/88.93	c (39,0) c PropagationTime_1 : 36.614620
368.46/88.93	c (39,0) c PropagationTime_2 : 35.161844
368.46/88.93	c (39,0) c PropagationTime_3 : 35.400197
368.46/88.93	c (39,0) c PropagationTime_4 : 35.503838
368.46/88.93	c (39,0) c PropagationTime_5 : 36.292103
368.46/88.93	c (39,0) c PropagationTime_6 : 35.243890
368.46/88.93	c (39,0) c PropagationTime_7 : 35.221391
368.46/88.93	c (39,0) c PropagationTime_total : 284.936924
368.46/88.93	c (39,0) c PropagationTime_winner : 35.221391
368.46/88.93	c (39,0) c AnalysisTime_0 : 0.962877
368.46/88.93	c (39,0) c AnalysisTime_1 : 0.957720
368.46/88.93	c (39,0) c AnalysisTime_2 : 1.144604
368.46/88.93	c (39,0) c AnalysisTime_3 : 0.913253
368.46/88.93	c (39,0) c AnalysisTime_4 : 0.913406
368.46/88.93	c (39,0) c AnalysisTime_5 : 1.251786
368.46/88.93	c (39,0) c AnalysisTime_6 : 0.998558
368.46/88.93	c (39,0) c AnalysisTime_7 : 0.946364
368.46/88.93	c (39,0) c AnalysisTime_total : 8.088569
368.46/88.93	c (39,0) c AnalysisTime_winner : 0.946364
368.46/88.93	c (39,0) c ReductionTime_0 : 0.116797
368.46/88.93	c (39,0) c ReductionTime_1 : 0.081581
368.46/88.93	c (39,0) c ReductionTime_2 : 0.126256
368.46/88.93	c (39,0) c ReductionTime_3 : 0.111193
368.46/88.93	c (39,0) c ReductionTime_4 : 0.083685
368.46/88.93	c (39,0) c ReductionTime_5 : 0.111594
368.46/88.93	c (39,0) c ReductionTime_6 : 0.104841
368.46/88.93	c (39,0) c ReductionTime_7 : 0.114416
368.46/88.93	c (39,0) c ReductionTime_total : 0.850364
368.46/88.93	c (39,0) c ReductionTime_winner : 0.114416
368.46/88.93	c (39,0) c SimplifyTime_0 : 0.011470
368.46/88.93	c (39,0) c SimplifyTime_1 : 0.011611
368.46/88.93	c (39,0) c SimplifyTime_2 : 0.032769
368.46/88.93	c (39,0) c SimplifyTime_3 : 0.005733
368.46/88.93	c (39,0) c SimplifyTime_4 : 0.036821
368.46/88.93	c (39,0) c SimplifyTime_5 : 0.027706
368.46/88.93	c (39,0) c SimplifyTime_6 : 0.017023
368.46/88.93	c (39,0) c SimplifyTime_7 : 0.061739
368.46/88.93	c (39,0) c SimplifyTime_total : 0.204872
368.46/88.93	c (39,0) c SimplifyTime_winner : 0.061739
368.46/88.93	c (39,0) c UsedRateTime_0 : 0.000000
368.46/88.93	c (39,0) c UsedRateTime_1 : 0.000000
368.46/88.93	c (39,0) c UsedRateTime_2 : 0.000000
368.46/88.93	c (39,0) c UsedRateTime_3 : 0.000000
368.46/88.93	c (39,0) c UsedRateTime_4 : 0.000000
368.46/88.93	c (39,0) c UsedRateTime_5 : 0.000000
368.46/88.93	c (39,0) c UsedRateTime_6 : 0.000000
368.46/88.93	c (39,0) c UsedRateTime_7 : 0.000000
368.46/88.93	c (39,0) c UsedRateTime_total : 0.000000
368.46/88.93	c (39,0) c UsedRateTime_winner : 0.000000
368.46/88.93	c (39,0) c OverlapRateTime_0 : 0.000000
368.46/88.93	c (39,0) c OverlapRateTime_1 : 0.000000
368.46/88.93	c (39,0) c OverlapRateTime_2 : 0.000000
368.46/88.93	c (39,0) c OverlapRateTime_3 : 0.000000
368.46/88.93	c (39,0) c OverlapRateTime_4 : 0.000000
368.46/88.93	c (39,0) c OverlapRateTime_5 : 0.000000
368.46/88.93	c (39,0) c OverlapRateTime_6 : 0.000000
368.46/88.93	c (39,0) c OverlapRateTime_7 : 0.000000
368.46/88.93	c (39,0) c OverlapRateTime_total : 0.000000
368.46/88.93	c (39,0) c OverlapRateTime_winner : 0.000000
368.46/88.93	c (39,0) c
368.46/88.93	c (39,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
368.46/88.93	c (39,0) c
368.46/88.93	c (39,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
368.46/88.93	c (39,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
368.46/88.93	c (39,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
368.46/88.93	c (39,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
368.46/88.93	c (39,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
368.46/88.93	c (39,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
368.46/88.93	c (39,0) c | Initial random_seed   | 1892529244 |  121562673 |  898982221 | 1382478659 |  462242363 |  798182054 | 2006567629 |  246955554 |
368.46/88.93	c (39,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
368.46/88.93	c (39,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
368.46/88.93	c (39,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
368.46/88.93	c (39,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
368.46/88.93	c (39,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
368.46/88.93	c (39,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
368.46/88.93	c (39,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
368.46/88.93	c (39,0) c | var_decay             |     0.9300 |     0.9300 |     0.9400 |     0.9300 |     0.9300 |     0.9300 |     0.9300 |     0.9300 |
368.46/88.93	c (39,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
368.46/88.93	c (39,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
368.46/88.93	c (39,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
368.46/88.93	c (39,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
368.46/88.93	c (39,0) 
368.46/88.93	c (39,0) s UNSATISFIABLE
368.46/88.93	c (39,0) SatSolver.solve End
368.46/88.94	c (39,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
368.46/88.94	c (39,0) Show results Begin
368.46/88.94	s UNSATISFIABLE
368.46/88.94	c (39,0) Show results End
368.46/88.94	c (39,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
368.46/88.94	c (39,0) 39,39,STOP-AFTER(ALL)
368.46/88.94	c END-Prog: Sat Sep 14 03:41:10 CEST 2019

Verifier Data


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 (12768 MiB free)
  memory of node 1: 16384 MiB (13225 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4392346-1568425222/watcher-4392346-1568425222 -o /tmp/evaluation-result-4392346-1568425222/solver-4392346-1568425222 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node137-1568417397-27138 --watchdog 2580 HOME/scop.sh 22g HOME/scop.jar -order HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4392346-1568425222.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=28774, runsolver pid=28771
Current StackSize limit: 8192 KiB


[startup+0.100148 s]*
/proc/loadavg: 2.44 4.66 6.31 3/213 28796
/proc/meminfo: memFree=26526588/32770624 swapFree=66927260/67108860
[pid=28774] ppid=28771 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/28774/stat : 28774 (scop.sh) S 28771 28774 27111 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 418769627 115843072 349 33554432000 4194304 5098028 140735743089216 140735743086472 139929151300220 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 15720448 140735743095589 140735743095916 140735743095916 140735743098829 0
/proc/28774/statm: 28282 349 296 221 0 87 0
[pid=28777] ppid=28774 vsize=27314120 memory=102568 CPUtime=0.11 cores=0-7
/proc/28777/stat : 28777 (java) S 28774 28774 27111 0 -1 1077944320 6735 0 0 0 9 2 0 0 20 0 20 0 418769627 27969658880 25642 33554432000 4194304 4196468 140730084258176 140730084240720 140114147061495 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 9502720 140730084266731 140730084267158 140730084267158 140730084270031 0
/proc/28777/statm: 6828530 25642 2808 1 0 6790935 0
[pid=28777/tid=28778] ppid=28774 vsize=27314120 memory=4134930498285298233 CPUtime=0.08 cores=0-7
/proc/28777/task/28778/stat : 28778 (java) R 28774 28774 27111 0 -1 4202560 4781 0 0 0 7 1 0 0 20 0 20 0 418769628 27969658880 25642 33554432000 4194304 4196468 140730084258176 140114118884544 140114131141982 0 4 2 16800973 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 9502720 140730084266731 140730084267158 140730084267158 140730084270031 0
[pid=28777/tid=28779] ppid=28774 vsize=27314120 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/28777/task/28779/stat : 28779 (java) S 28774 28774 27111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418769630 27969658880 25642 33554432000 4194304 4196468 140730084258176 140114151304208 140114147071701 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9502720 140730084266731 140730084267158 140730084267158 140730084270031 0
[pid=28777/tid=28780] ppid=28774 vsize=27314120 memory=139682169558656 CPUtime=0 cores=0-7
/proc/28777/task/28780/stat : 28780 (java) S 28774 28774 27111 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418769630 27969658880 25642 33554432000 4194304 4196468 140730084258176 140113569287312 140114147071701 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9502720 140730084266731 140730084267158 140730084267158 140730084270031 0
[pid=28777/tid=28781] ppid=28774 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28777/task/28781/stat : 28781 (java) S 28774 28774 27111 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418769630 27969658880 25642 33554432000 4194304 4196468 140730084258176 140113568234256 140114147071701 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9502720 140730084266731 140730084267158 140730084267158 140730084270031 0
[pid=28777/tid=28782] ppid=28774 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28777/task/28782/stat : 28782 (java) S 28774 28774 27111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418769630 27969658880 25642 33554432000 4194304 4196468 140730084258176 140113567181712 140114147071701 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9502720 140730084266731 140730084267158 140730084267158 140730084270031 0
[pid=28777/tid=28783] ppid=28774 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28777/task/28783/stat : 28783 (java) S 28774 28774 27111 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418769630 27969658880 25642 33554432000 4194304 4196468 140730084258176 140113566128656 140114147071701 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9502720 140730084266731 140730084267158 140730084267158 140730084270031 0
[pid=28777/tid=28784] ppid=28774 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/28777/task/28784/stat : 28784 (java) S 28774 28774 27111 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418769630 27969658880 25642 33554432000 4194304 4196468 140730084258176 140113565076112 140114147071701 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9502720 140730084266731 140730084267158 140730084267158 140730084270031 0
[pid=28777/tid=28785] ppid=28774 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28777/task/28785/stat : 28785 (java) S 28774 28774 27111 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418769630 27969658880 25642 33554432000 4194304 4196468 140730084258176 140113564023056 140114147071701 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9502720 140730084266731 140730084267158 140730084267158 140730084270031 0
[pid=28777/tid=28786] ppid=28774 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28777/task/28786/stat : 28786 (java) S 28774 28774 27111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418769630 27969658880 25642 33554432000 4194304 4196468 140730084258176 140113562970512 140114147071701 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9502720 140730084266731 140730084267158 140730084267158 140730084270031 0
[pid=28777/tid=28787] ppid=28774 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28777/task/28787/stat : 28787 (java) S 28774 28774 27111 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418769632 27969658880 25642 33554432000 4194304 4196468 140730084258176 140112735816432 140114147072642 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9502720 140730084266731 140730084267158 140730084267158 140730084270031 0
[pid=28777/tid=28788] ppid=28774 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28777/task/28788/stat : 28788 (java) S 28774 28774 27111 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 418769632 27969658880 25642 33554432000 4194304 4196468 140730084258176 140111698192032 140114147071701 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9502720 140730084266731 140730084267158 140730084267158 140730084270031 0
[pid=28777/tid=28789] ppid=28774 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28777/task/28789/stat : 28789 (java) S 28774 28774 27111 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 418769632 27969658880 25642 33554432000 4194304 4196468 140730084258176 140111563969776 140114147071701 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9502720 140730084266731 140730084267158 140730084267158 140730084270031 0
[pid=28777/tid=28790] ppid=28774 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28777/task/28790/stat : 28790 (java) S 28774 28774 27111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418769635 27969658880 25642 33554432000 4194304 4196468 140730084258176 140111189465552 140114147080091 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9502720 140730084266731 140730084267158 140730084267158 140730084270031 0
[pid=28777/tid=28791] ppid=28774 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28777/task/28791/stat : 28791 (java) S 28774 28774 27111 0 -1 1077944384 312 0 0 0 0 0 0 0 20 0 20 0 418769635 27969658880 25642 33554432000 4194304 4196468 140730084258176 140112734763248 140114147072642 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9502720 140730084266731 140730084267158 140730084267158 140730084270031 0
[pid=28777/tid=28792] ppid=28774 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28777/task/28792/stat : 28792 (java) S 28774 28774 27111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418769635 27969658880 25642 33554432000 4194304 4196468 140730084258176 140112733710704 140114147072642 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9502720 140730084266731 140730084267158 140730084267158 140730084270031 0
[pid=28777/tid=28793] ppid=28774 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28777/task/28793/stat : 28793 (java) S 28774 28774 27111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418769635 27969658880 25642 33554432000 4194304 4196468 140730084258176 140112732657648 140114147072642 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9502720 140730084266731 140730084267158 140730084267158 140730084270031 0
[pid=28777/tid=28794] ppid=28774 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28777/task/28794/stat : 28794 (java) S 28774 28774 27111 0 -1 1077944384 278 0 0 0 0 0 0 0 20 0 20 0 418769635 27969658880 25642 33554432000 4194304 4196468 140730084258176 140112731605104 140114147072642 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9502720 140730084266731 140730084267158 140730084267158 140730084270031 0
[pid=28777/tid=28795] ppid=28774 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28777/task/28795/stat : 28795 (java) S 28774 28774 27111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418769635 27969658880 25642 33554432000 4194304 4196468 140730084258176 140110691560416 140114147071701 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9502720 140730084266731 140730084267158 140730084267158 140730084270031 0
[pid=28777/tid=28796] ppid=28774 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/28777/task/28796/stat : 28796 (java) S 28774 28774 27111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418769635 27969658880 25642 33554432000 4194304 4196468 140730084258176 140112730553520 140114147072642 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9502720 140730084266731 140730084267158 140730084267158 140730084270031 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 103964 KiB

[startup+0.210354 s]*
/proc/loadavg: 2.44 4.66 6.31 3/213 28796
/proc/meminfo: memFree=26505648/32770624 swapFree=66927260/67108860
[pid=28774] ppid=28771 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/28774/stat : 28774 (scop.sh) S 28771 28774 27111 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 418769627 115843072 349 33554432000 4194304 5098028 140735743089216 140735743086472 139929151300220 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 15720448 140735743095589 140735743095916 140735743095916 140735743098829 0
/proc/28774/statm: 28282 349 296 221 0 87 0
[pid=28777] ppid=28774 vsize=27314120 memory=121824 CPUtime=0.25 cores=0-7
/proc/28777/stat : 28777 (java) S 28774 28774 27111 0 -1 1077944320 12391 0 0 0 21 4 0 0 20 0 20 0 418769627 27969658880 30456 33554432000 4194304 4196468 140730084258176 140730084240720 140114147061495 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 9502720 140730084266731 140730084267158 140730084267158 140730084270031 0
/proc/28777/statm: 6828530 30456 2933 1 0 6790935 0
[pid=28777/tid=28778] ppid=28774 vsize=27314120 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/28777/task/28778/stat : 28778 (java) R 28774 28774 27111 0 -1 4202560 9980 0 0 0 16 3 0 0 20 0 20 0 418769628 27969658880 30456 33554432000 4194304 4196468 140730084258176 140114118884208 140114127337185 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9502720 140730084266731 140730084267158 140730084267158 140730084270031 0
[pid=28777/tid=28779] ppid=28774 vsize=27314120 memory=342 CPUtime=0 cores=0-7
/proc/28777/task/28779/stat : 28779 (java) S 28774 28774 27111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418769630 27969658880 30456 33554432000 4194304 4196468 140730084258176 140114151304208 140114147071701 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9502720 140730084266731 140730084267158 140730084267158 140730084270031 0
[pid=28777/tid=28780] ppid=28774 vsize=27314120 memory=3979406636276848288 CPUtime=0 cores=0-7
/proc/28777/task/28780/stat : 28780 (java) S 28774 28774 27111 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418769630 27969658880 30456 33554432000 4194304 4196468 140730084258176 140113569287312 140114147071701 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9502720 140730084266731 140730084267158 140730084267158 140730084270031 0
[pid=28777/tid=28781] ppid=28774 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/28777/task/28781/stat : 28781 (java) S 28774 28774 27111 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418769630 27969658880 30456 33554432000 4194304 4196468 140730084258176 140113568234256 140114147071701 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9502720 140730084266731 140730084267158 140730084267158 140730084270031 0
[pid=28777/tid=28782] ppid=28774 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28777/task/28782/stat : 28782 (java) S 28774 28774 27111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418769630 27969658880 30456 33554432000 4194304 4196468 140730084258176 140113567181712 140114147071701 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9502720 140730084266731 140730084267158 140730084267158 140730084270031 0
[pid=28777/tid=28783] ppid=28774 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28777/task/28783/stat : 28783 (java) S 28774 28774 27111 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418769630 27969658880 30456 33554432000 4194304 4196468 140730084258176 140113566128656 140114147071701 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9502720 140730084266731 140730084267158 140730084267158 140730084270031 0
[pid=28777/tid=28784] ppid=28774 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/28777/task/28784/stat : 28784 (java) S 28774 28774 27111 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418769630 27969658880 30456 33554432000 4194304 4196468 140730084258176 140113565076112 140114147071701 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9502720 140730084266731 140730084267158 140730084267158 140730084270031 0
[pid=28777/tid=28785] ppid=28774 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28777/task/28785/stat : 28785 (java) S 28774 28774 27111 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418769630 27969658880 30456 33554432000 4194304 4196468 140730084258176 140113564023056 140114147071701 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9502720 140730084266731 140730084267158 140730084267158 140730084270031 0
[pid=28777/tid=28786] ppid=28774 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28777/task/28786/stat : 28786 (java) S 28774 28774 27111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418769630 27969658880 30456 33554432000 4194304 4196468 140730084258176 140113562970512 140114147071701 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9502720 140730084266731 140730084267158 140730084267158 140730084270031 0
[pid=28777/tid=28787] ppid=28774 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28777/task/28787/stat : 28787 (java) S 28774 28774 27111 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418769632 27969658880 30456 33554432000 4194304 4196468 140730084258176 140112735816432 140114147072642 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9502720 140730084266731 140730084267158 140730084267158 140730084270031 0
[pid=28777/tid=28788] ppid=28774 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28777/task/28788/stat : 28788 (java) S 28774 28774 27111 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 418769632 27969658880 30456 33554432000 4194304 4196468 140730084258176 140111698192032 140114147071701 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9502720 140730084266731 140730084267158 140730084267158 140730084270031 0
[pid=28777/tid=28789] ppid=28774 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28777/task/28789/stat : 28789 (java) S 28774 28774 27111 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 418769632 27969658880 30456 33554432000 4194304 4196468 140730084258176 140111563969776 140114147071701 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9502720 140730084266731 140730084267158 140730084267158 140730084270031 0
[pid=28777/tid=28790] ppid=28774 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28777/task/28790/stat : 28790 (java) S 28774 28774 27111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418769635 27969658880 30456 33554432000 4194304 4196468 140730084258176 140111189465552 140114147080091 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9502720 140730084266731 140730084267158 140730084267158 140730084270031 0
[pid=28777/tid=28791] ppid=28774 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28777/task/28791/stat : 28791 (java) S 28774 28774 27111 0 -1 1077944384 312 0 0 0 0 0 0 0 20 0 20 0 418769635 27969658880 30456 33554432000 4194304 4196468 140730084258176 140112734763248 140114147072642 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9502720 140730084266731 140730084267158 140730084267158 140730084270031 0
[pid=28777/tid=28792] ppid=28774 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28777/task/28792/stat : 28792 (java) S 28774 28774 27111 0 -1 1077944384 177 0 0 0 0 0 0 0 20 0 20 0 418769635 27969658880 30456 33554432000 4194304 4196468 140730084258176 140112733710704 140114147072642 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9502720 140730084266731 140730084267158 140730084267158 140730084270031 0
[pid=28777/tid=28793] ppid=28774 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/28777/task/28793/stat : 28793 (java) S 28774 28774 27111 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 418769635 27969658880 30456 33554432000 4194304 4196468 140730084258176 140112732657648 140114147072642 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9502720 140730084266731 140730084267158 140730084267158 140730084270031 0
[pid=28777/tid=28794] ppid=28774 vsize=27314120 memory=-1 CPUtime=0.02 cores=0-7
/proc/28777/task/28794/stat : 28794 (java) S 28774 28774 27111 0 -1 1077944384 541 0 0 0 2 0 0 0 20 0 20 0 418769635 27969658880 30456 33554432000 4194304 4196468 140730084258176 140112731605104 140114147072642 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9502720 140730084266731 140730084267158 140730084267158 140730084270031 0
[pid=28777/tid=28795] ppid=28774 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28777/task/28795/stat : 28795 (java) S 28774 28774 27111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418769635 27969658880 30456 33554432000 4194304 4196468 140730084258176 140110691560416 140114147071701 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9502720 140730084266731 140730084267158 140730084267158 140730084270031 0
[pid=28777/tid=28796] ppid=28774 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/28777/task/28796/stat : 28796 (java) S 28774 28774 27111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418769635 27969658880 30456 33554432000 4194304 4196468 140730084258176 140112730553520 140114147072642 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9502720 140730084266731 140730084267158 140730084267158 140730084270031 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 123220 KiB

[startup+0.309691 s]*
/proc/loadavg: 2.44 4.66 6.31 2/213 28796
/proc/meminfo: memFree=26502236/32770624 swapFree=66927260/67108860
[pid=28774] ppid=28771 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/28774/stat : 28774 (scop.sh) S 28771 28774 27111 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 418769627 115843072 349 33554432000 4194304 5098028 140735743089216 140735743086472 139929151300220 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 15720448 140735743095589 140735743095916 140735743095916 140735743098829 0
/proc/28774/statm: 28282 349 296 221 0 87 0
[pid=28777] ppid=28774 vsize=27314120 memory=126432 CPUtime=0.42 cores=0-7
/proc/28777/stat : 28777 (java) S 28774 28774 27111 0 -1 1077944320 13012 0 0 0 38 4 0 0 20 0 20 0 418769627 27969658880 31608 33554432000 4194304 4196468 140730084258176 140730084240720 140114147061495 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 9502720 140730084266731 140730084267158 140730084267158 140730084270031 0
/proc/28777/statm: 6828530 31608 3042 1 0 6790935 0
[pid=28777/tid=28778] ppid=28774 vsize=27314120 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/28777/task/28778/stat : 28778 (java) R 28774 28774 27111 0 -1 4202560 10348 0 0 0 26 3 0 0 20 0 20 0 418769628 27969658880 31608 33554432000 4194304 4196468 140730084258176 140114118891568 140114131105125 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9502720 140730084266731 140730084267158 140730084267158 140730084270031 0
[pid=28777/tid=28779] ppid=28774 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28777/task/28779/stat : 28779 (java) S 28774 28774 27111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418769630 27969658880 31608 33554432000 4194304 4196468 140730084258176 140114151304208 140114147071701 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9502720 140730084266731 140730084267158 140730084267158 140730084270031 0
[pid=28777/tid=28780] ppid=28774 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28777/task/28780/stat : 28780 (java) S 28774 28774 27111 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418769630 27969658880 31608 33554432000 4194304 4196468 140730084258176 140113569287312 140114147071701 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9502720 140730084266731 140730084267158 140730084267158 140730084270031 0
[pid=28777/tid=28781] ppid=28774 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28777/task/28781/stat : 28781 (java) S 28774 28774 27111 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418769630 27969658880 31608 33554432000 4194304 4196468 140730084258176 140113568234256 140114147071701 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9502720 140730084266731 140730084267158 140730084267158 140730084270031 0
[pid=28777/tid=28782] ppid=28774 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28777/task/28782/stat : 28782 (java) S 28774 28774 27111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418769630 27969658880 31608 33554432000 4194304 4196468 140730084258176 140113567181712 140114147071701 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9502720 140730084266731 140730084267158 140730084267158 140730084270031 0
[pid=28777/tid=28783] ppid=28774 vsize=27314120 memory=2244 CPUtime=0 cores=0-7
/proc/28777/task/28783/stat : 28783 (java) S 28774 28774 27111 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418769630 27969658880 31608 33554432000 4194304 4196468 140730084258176 140113566128656 140114147071701 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9502720 140730084266731 140730084267158 140730084267158 140730084270031 0
[pid=28777/tid=28784] ppid=28774 vsize=27314120 memory=139682067346351 CPUtime=0 cores=0-7
/proc/28777/task/28784/stat : 28784 (java) S 28774 28774 27111 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418769630 27969658880 31608 33554432000 4194304 4196468 140730084258176 140113565076112 140114147071701 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9502720 140730084266731 140730084267158 140730084267158 140730084270031 0
[pid=28777/tid=28785] ppid=28774 vsize=27314120 memory=139682067348656 CPUtime=0 cores=0-7
/proc/28777/task/28785/stat : 28785 (java) S 28774 28774 27111 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418769630 27969658880 31608 33554432000 4194304 4196468 140730084258176 140113564023056 140114147071701 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9502720 140730084266731 140730084267158 140730084267158 140730084270031 0
[pid=28777/tid=28786] ppid=28774 vsize=27314120 memory=139682067350960 CPUtime=0 cores=0-7
/proc/28777/task/28786/stat : 28786 (java) S 28774 28774 27111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418769630 27969658880 31608 33554432000 4194304 4196468 140730084258176 140113562970512 140114147071701 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9502720 140730084266731 140730084267158 140730084267158 140730084270031 0
[pid=28777/tid=28787] ppid=28774 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28777/task/28787/stat : 28787 (java) S 28774 28774 27111 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418769632 27969658880 31608 33554432000 4194304 4196468 140730084258176 140112735816432 140114147072642 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9502720 140730084266731 140730084267158 140730084267158 140730084270031 0
[pid=28777/tid=28788] ppid=28774 vsize=27314120 memory=279364134708880 CPUtime=0 cores=0-7
/proc/28777/task/28788/stat : 28788 (java) S 28774 28774 27111 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 418769632 27969658880 31608 33554432000 4194304 4196468 140730084258176 140111698192032 140114147071701 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9502720 140730084266731 140730084267158 140730084267158 140730084270031 0
[pid=28777/tid=28789] ppid=28774 vsize=27314120 memory=279364134715792 CPUtime=0 cores=0-7
/proc/28777/task/28789/stat : 28789 (java) S 28774 28774 27111 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 418769632 27969658880 31608 33554432000 4194304 4196468 140730084258176 140111563969776 140114147071701 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9502720 140730084266731 140730084267158 140730084267158 140730084270031 0
[pid=28777/tid=28790] ppid=28774 vsize=27314120 memory=279364134657072 CPUtime=0 cores=0-7
/proc/28777/task/28790/stat : 28790 (java) S 28774 28774 27111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418769635 27969658880 31608 33554432000 4194304 4196468 140730084258176 140111189465552 140114147080091 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9502720 140730084266731 140730084267158 140730084267158 140730084270031 0
[pid=28777/tid=28791] ppid=28774 vsize=27314120 memory=279364134729616 CPUtime=0 cores=0-7
/proc/28777/task/28791/stat : 28791 (java) S 28774 28774 27111 0 -1 1077944384 330 0 0 0 0 0 0 0 20 0 20 0 418769635 27969658880 31608 33554432000 4194304 4196468 140730084258176 140112734763248 140114147072642 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9502720 140730084266731 140730084267158 140730084267158 140730084270031 0
[pid=28777/tid=28792] ppid=28774 vsize=27314120 memory=279364134736528 CPUtime=0 cores=0-7
/proc/28777/task/28792/stat : 28792 (java) S 28774 28774 27111 0 -1 1077944384 188 0 0 0 0 0 0 0 20 0 20 0 418769635 27969658880 31608 33554432000 4194304 4196468 140730084258176 140112733710704 140114147072642 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9502720 140730084266731 140730084267158 140730084267158 140730084270031 0
[pid=28777/tid=28793] ppid=28774 vsize=27314120 memory=279364134734224 CPUtime=0.02 cores=0-7
/proc/28777/task/28793/stat : 28793 (java) R 28774 28774 27111 0 -1 4202560 132 0 0 0 2 0 0 0 20 0 20 0 418769635 27969658880 31608 33554432000 4194304 4196468 140730084258176 140112732657648 140114140046537 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9502720 140730084266731 140730084267158 140730084267158 140730084270031 0
[pid=28777/tid=28794] ppid=28774 vsize=27314120 memory=279364134750384 CPUtime=0.07 cores=0-7
/proc/28777/task/28794/stat : 28794 (java) S 28774 28774 27111 0 -1 1077944384 655 0 0 0 7 0 0 0 20 0 20 0 418769635 27969658880 31608 33554432000 4194304 4196468 140730084258176 140112731605104 140114147072642 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9502720 140730084266731 140730084267158 140730084267158 140730084270031 0
[pid=28777/tid=28795] ppid=28774 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28777/task/28795/stat : 28795 (java) S 28774 28774 27111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418769635 27969658880 31608 33554432000 4194304 4196468 140730084258176 140110691560416 140114147071701 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9502720 140730084266731 140730084267158 140730084267158 140730084270031 0
[pid=28777/tid=28796] ppid=28774 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/28777/task/28796/stat : 28796 (java) S 28774 28774 27111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418769635 27969658880 31608 33554432000 4194304 4196468 140730084258176 140112730553520 140114147072642 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9502720 140730084266731 140730084267158 140730084267158 140730084270031 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 127828 KiB

[startup+0.700945 s]
/proc/loadavg: 2.44 4.66 6.31 3/213 28796
/proc/meminfo: memFree=26480496/32770624 swapFree=66927260/67108860
[pid=28774] ppid=28771 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/28774/stat : 28774 (scop.sh) S 28771 28774 27111 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 418769627 115843072 349 33554432000 4194304 5098028 140735743089216 140735743086472 139929151300220 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 15720448 140735743095589 140735743095916 140735743095916 140735743098829 0
/proc/28774/statm: 28282 349 296 221 0 87 0
[pid=28777] ppid=28774 vsize=27320392 memory=162704 CPUtime=0.99 cores=0-7
/proc/28777/stat : 28777 (java) S 28774 28774 27111 0 -1 1077944320 20808 0 0 0 92 7 0 0 20 0 20 0 418769627 27976081408 40676 33554432000 4194304 4196468 140730084258176 140730084240720 140114147061495 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 9502720 140730084266731 140730084267158 140730084267158 140730084270031 0
/proc/28777/statm: 6830098 40676 3183 1 0 6791447 0
[pid=28777/tid=28778] ppid=28774 vsize=27320392 memory=279364135108272 CPUtime=0.68 cores=0-7
/proc/28777/task/28778/stat : 28778 (java) R 28774 28774 27111 0 -1 4202560 17408 0 0 0 62 6 0 0 20 0 20 0 418769628 27976081408 40676 33554432000 4194304 4196468 140730084258176 140114118897232 140114147083421 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9502720 140730084266731 140730084267158 140730084267158 140730084270031 0
[pid=28777/tid=28779] ppid=28774 vsize=27320392 memory=139682067555184 CPUtime=0 cores=0-7
/proc/28777/task/28779/stat : 28779 (java) S 28774 28774 27111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418769630 27976081408 40676 33554432000 4194304 4196468 140730084258176 140114151304208 140114147071701 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9502720 140730084266731 140730084267158 140730084267158 140730084270031 0
[pid=28777/tid=28780] ppid=28774 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/28777/task/28780/stat : 28780 (java) S 28774 28774 27111 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418769630 27976081408 40676 33554432000 4194304 4196468 140730084258176 140113569287312 140114147071701 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9502720 140730084266731 140730084267158 140730084267158 140730084270031 0
[pid=28777/tid=28781] ppid=28774 vsize=27320392 memory=1124 CPUtime=0 cores=0-7
/proc/28777/task/28781/stat : 28781 (java) S 28774 28774 27111 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418769630 27976081408 40676 33554432000 4194304 4196468 140730084258176 140113568234256 140114147071701 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9502720 140730084266731 140730084267158 140730084267158 140730084270031 0

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

[pid=28807/tid=28819] ppid=28774 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/28807/task/28819/stat : 28819 (java) S 28774 28774 27111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418774583 8616062976 30039 33554432000 4194304 4196468 140736604962368 140702054867952 140703682938581 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26484736 140736604967927 140736604968086 140736604968086 140736604970959 0
[pid=28807/tid=28820] ppid=28774 vsize=8414124 memory=120156 CPUtime=0 cores=0-7
/proc/28807/task/28820/stat : 28820 (java) S 28774 28774 27111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418774586 8616062976 30039 33554432000 4194304 4196468 140736604962368 140701680359632 140703682946971 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26484736 140736604967927 140736604968086 140736604968086 140736604970959 0
[pid=28807/tid=28821] ppid=28774 vsize=8414124 memory=186732 CPUtime=0.06 cores=0-7
/proc/28807/task/28821/stat : 28821 (java) S 28774 28774 27111 0 -1 1077944384 588 0 0 0 6 0 0 0 20 0 24 0 418774586 8616062976 30039 33554432000 4194304 4196468 140736604962368 140702506736112 140703682939522 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26484736 140736604967927 140736604968086 140736604968086 140736604970959 0
[pid=28807/tid=28822] ppid=28774 vsize=8414124 memory=7686721470350925211 CPUtime=0.06 cores=0-7
/proc/28807/task/28822/stat : 28822 (java) S 28774 28774 27111 0 -1 1077944384 306 0 0 0 6 0 0 0 20 0 24 0 418774586 8616062976 30039 33554432000 4194304 4196468 140736604962368 140702505683568 140703682939522 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26484736 140736604967927 140736604968086 140736604968086 140736604970959 0
[pid=28807/tid=28823] ppid=28774 vsize=8414124 memory=4872558044660077418 CPUtime=0.05 cores=0-7
/proc/28807/task/28823/stat : 28823 (java) S 28774 28774 27111 0 -1 1077944384 273 0 0 0 5 0 0 0 20 0 24 0 418774586 8616062976 30039 33554432000 4194304 4196468 140736604962368 140702504631024 140703682939522 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26484736 140736604967927 140736604968086 140736604968086 140736604970959 0
[pid=28807/tid=28824] ppid=28774 vsize=8414124 memory=1476 CPUtime=0.2 cores=0-7
/proc/28807/task/28824/stat : 28824 (java) S 28774 28774 27111 0 -1 1077944384 518 0 0 0 20 0 0 0 20 0 24 0 418774586 8616062976 30039 33554432000 4194304 4196468 140736604962368 140702503578480 140703682939522 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26484736 140736604967927 140736604968086 140736604968086 140736604970959 0
[pid=28807/tid=28825] ppid=28774 vsize=8414124 memory=120156 CPUtime=0 cores=0-7
/proc/28807/task/28825/stat : 28825 (java) S 28774 28774 27111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 418774586 8616062976 30039 33554432000 4194304 4196468 140736604962368 140701182453984 140703682938581 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26484736 140736604967927 140736604968086 140736604968086 140736604970959 0
[pid=28807/tid=28826] ppid=28774 vsize=8414124 memory=187216 CPUtime=0.02 cores=0-7
/proc/28807/task/28826/stat : 28826 (java) S 28774 28774 27111 0 -1 1077944384 5 0 0 0 0 2 0 0 20 0 24 0 418774586 8616062976 30039 33554432000 4194304 4196468 140736604962368 140702502525360 140703682939522 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26484736 140736604967927 140736604968086 140736604968086 140736604970959 0
[pid=28807/tid=28828] ppid=28774 vsize=8414124 memory=120156 CPUtime=0 cores=0-7
/proc/28807/task/28828/stat : 28828 (java) S 28774 28774 27111 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 418774652 8616062976 30039 33554432000 4194304 4196468 140736604962368 140702494491840 140703682952985 0 4 2 25189581 18446744071579417331 0 0 -1 7 0 0 0 0 0 6293624 6294260 26484736 140736604967927 140736604968086 140736604968086 140736604970959 0
[pid=28807/tid=28830] ppid=28774 vsize=8414124 memory=178264 CPUtime=0 cores=0-7
/proc/28807/task/28830/stat : 28830 (java) S 28774 28774 27111 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 24 0 418774653 8616062976 30039 33554432000 4194304 4196468 140736604962368 140700511354640 140703682950301 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 26484736 140736604967927 140736604968086 140736604968086 140736604970959 0
[pid=28807/tid=28831] ppid=28774 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/28807/task/28831/stat : 28831 (java) S 28774 28774 27111 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 24 0 418774653 8616062976 30039 33554432000 4194304 4196468 140736604962368 140700779790224 140703682950301 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 26484736 140736604967927 140736604968086 140736604968086 140736604970959 0
[pid=28807/tid=28832] ppid=28774 vsize=8414124 memory=120156 CPUtime=0 cores=0-7
/proc/28807/task/28832/stat : 28832 (java) S 28774 28774 27111 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 418774655 8616062976 30039 33554432000 4194304 4196468 140736604962368 140700242927280 140703682938581 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26484736 140736604967927 140736604968086 140736604968086 140736604970959 0
Current children cumulated CPU time: 367.46 s
Current children cumulated vsize: 9190412 KiB
Current children cumulated memory: 319580 KiB

[startup+88.8012 s]
/proc/loadavg: 4.80 4.62 6.12 3/218 28843
/proc/meminfo: memFree=26313216/32770624 swapFree=66927260/67108860
[pid=28774] ppid=28771 vsize=113128 memory=1476 CPUtime=68.48 cores=0-7
/proc/28774/stat : 28774 (scop.sh) S 28771 28774 27111 0 -1 4202496 583 75757 0 0 0 0 6594 254 20 0 1 0 418769627 115843072 369 33554432000 4194304 5098028 140735743089216 140735743085960 139929151300220 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 15720448 140735743095589 140735743095916 140735743095916 140735743098829 0
/proc/28774/statm: 28282 369 311 221 0 87 0
[pid=28807] ppid=28774 vsize=8414124 memory=120156 CPUtime=1.2 cores=0-7
/proc/28807/stat : 28807 (java) S 28774 28774 27111 0 -1 1077944320 20535 0 0 0 112 8 0 0 20 0 24 0 418774579 8616062976 30039 33554432000 4194304 4196468 140736604962368 140736604944912 140703682928375 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 26484736 140736604967927 140736604968086 140736604968086 140736604970959 0
/proc/28807/statm: 2103531 30039 3201 1 0 2064875 0
[pid=28827] ppid=28807 vsize=663160 memory=198132 CPUtime=298.58 cores=0-7
/proc/28827/stat : 28827 (manyglucose-4.1) S 28807 28774 27111 0 -1 1077944320 183201 0 0 0 29772 86 0 0 20 0 3 0 418774652 679075840 49533 33554432000 4194304 4454172 140721069731136 140721069729520 140626859736823 0 4 0 8388610 18446744073709551615 0 0 17 7 0 0 0 0 0 6552832 6554400 21405696 140721069736809 140721069737008 140721069737008 140721069739962 0
/proc/28827/statm: 165790 49533 419 64 0 161458 0
[pid=28827/tid=28834] ppid=28807 vsize=663160 memory=1560 CPUtime=37.91 cores=0-7
/proc/28827/task/28834/stat : 28834 (manyglucose-4.1) R 28807 28774 27111 0 -1 4202560 19694 0 0 0 3780 11 0 0 20 0 3 0 418774663 679075840 49533 33554432000 4194304 4454172 140721069731136 140626828160136 4351737 0 4 0 8388610 0 0 0 -1 1 0 0 0 0 0 6552832 6554400 21405696 140721069736809 140721069737008 140721069737008 140721069739962 0
[pid=28827/tid=28838] ppid=28807 vsize=663160 memory=120156 CPUtime=38.15 cores=0-7
/proc/28827/task/28838/stat : 28838 (manyglucose-4.1) R 28807 28774 27111 0 -1 4202560 22871 0 0 0 3806 9 0 0 20 0 3 0 418774663 679075840 49533 33554432000 4194304 4454172 140721069731136 140626794589048 4349826 0 4 0 8388610 0 0 0 -1 2 0 0 0 0 0 6552832 6554400 21405696 140721069736809 140721069737008 140721069737008 140721069739962 0
[pid=28807/tid=28808] ppid=28774 vsize=8414124 memory=196840 CPUtime=0.75 cores=0-7
/proc/28807/task/28808/stat : 28808 (java) S 28774 28774 27111 0 -1 1077944384 17447 0 0 0 70 5 0 0 20 0 24 0 418774579 8616062976 30039 33554432000 4194304 4196468 140736604962368 140703654768544 140703682938581 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26484736 140736604967927 140736604968086 140736604968086 140736604970959 0
[pid=28807/tid=28809] ppid=28774 vsize=8414124 memory=4164 CPUtime=0 cores=0-7
/proc/28807/task/28809/stat : 28809 (java) S 28774 28774 27111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418774581 8616062976 30039 33554432000 4194304 4196468 140736604962368 140703687170320 140703682938581 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26484736 140736604967927 140736604968086 140736604968086 140736604970959 0
[pid=28807/tid=28810] ppid=28774 vsize=8414124 memory=1060 CPUtime=0 cores=0-7
/proc/28807/task/28810/stat : 28810 (java) S 28774 28774 27111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418774581 8616062976 30039 33554432000 4194304 4196468 140736604962368 140703487338896 140703682938581 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26484736 140736604967927 140736604968086 140736604968086 140736604970959 0
[pid=28807/tid=28811] ppid=28774 vsize=8414124 memory=2832 CPUtime=0 cores=0-7
/proc/28807/task/28811/stat : 28811 (java) S 28774 28774 27111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418774581 8616062976 30039 33554432000 4194304 4196468 140736604962368 140703486286352 140703682938581 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26484736 140736604967927 140736604968086 140736604968086 140736604970959 0
[pid=28807/tid=28812] ppid=28774 vsize=8414124 memory=1716 CPUtime=0 cores=0-7
/proc/28807/task/28812/stat : 28812 (java) S 28774 28774 27111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 418774581 8616062976 30039 33554432000 4194304 4196468 140736604962368 140703485233808 140703682938581 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26484736 140736604967927 140736604968086 140736604968086 140736604970959 0
[pid=28807/tid=28813] ppid=28774 vsize=8414124 memory=1124 CPUtime=0 cores=0-7
/proc/28807/task/28813/stat : 28813 (java) S 28774 28774 27111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418774581 8616062976 30039 33554432000 4194304 4196468 140736604962368 140703484181264 140703682938581 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26484736 140736604967927 140736604968086 140736604968086 140736604970959 0
[pid=28807/tid=28814] ppid=28774 vsize=8414124 memory=5928 CPUtime=0 cores=0-7
/proc/28807/task/28814/stat : 28814 (java) S 28774 28774 27111 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 418774581 8616062976 30039 33554432000 4194304 4196468 140736604962368 140703483128720 140703682938581 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26484736 140736604967927 140736604968086 140736604968086 140736604970959 0
[pid=28807/tid=28815] ppid=28774 vsize=8414124 memory=3460 CPUtime=0 cores=0-7
/proc/28807/task/28815/stat : 28815 (java) S 28774 28774 27111 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 418774581 8616062976 30039 33554432000 4194304 4196468 140736604962368 140703482076176 140703682938581 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26484736 140736604967927 140736604968086 140736604968086 140736604970959 0
[pid=28807/tid=28816] ppid=28774 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/28807/task/28816/stat : 28816 (java) S 28774 28774 27111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418774581 8616062976 30039 33554432000 4194304 4196468 140736604962368 140703481023632 140703682938581 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26484736 140736604967927 140736604968086 140736604968086 140736604970959 0
[pid=28807/tid=28817] ppid=28774 vsize=8414124 memory=120156 CPUtime=0 cores=0-7
/proc/28807/task/28817/stat : 28817 (java) S 28774 28774 27111 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 418774582 8616062976 30039 33554432000 4194304 4196468 140736604962368 140702507788272 140703682939522 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26484736 140736604967927 140736604968086 140736604968086 140736604970959 0
[pid=28807/tid=28818] ppid=28774 vsize=8414124 memory=189104 CPUtime=0 cores=0-7
/proc/28807/task/28818/stat : 28818 (java) S 28774 28774 27111 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 418774583 8616062976 30039 33554432000 4194304 4196468 140736604962368 140702323303328 140703682938581 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26484736 140736604967927 140736604968086 140736604968086 140736604970959 0
[pid=28807/tid=28819] ppid=28774 vsize=8414124 memory=14068 CPUtime=0 cores=0-7
/proc/28807/task/28819/stat : 28819 (java) S 28774 28774 27111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418774583 8616062976 30039 33554432000 4194304 4196468 140736604962368 140702054867952 140703682938581 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26484736 140736604967927 140736604968086 140736604968086 140736604970959 0
[pid=28807/tid=28820] ppid=28774 vsize=8414124 memory=68 CPUtime=0 cores=0-7
/proc/28807/task/28820/stat : 28820 (java) S 28774 28774 27111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418774586 8616062976 30039 33554432000 4194304 4196468 140736604962368 140701680359632 140703682946971 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26484736 140736604967927 140736604968086 140736604968086 140736604970959 0
[pid=28807/tid=28821] ppid=28774 vsize=8414124 memory=8243114992657236055 CPUtime=0.06 cores=0-7
/proc/28807/task/28821/stat : 28821 (java) S 28774 28774 27111 0 -1 1077944384 588 0 0 0 6 0 0 0 20 0 24 0 418774586 8616062976 30039 33554432000 4194304 4196468 140736604962368 140702506736112 140703682939522 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26484736 140736604967927 140736604968086 140736604968086 140736604970959 0
[pid=28807/tid=28822] ppid=28774 vsize=8414124 memory=288285580272600725 CPUtime=0.06 cores=0-7
/proc/28807/task/28822/stat : 28822 (java) S 28774 28774 27111 0 -1 1077944384 306 0 0 0 6 0 0 0 20 0 24 0 418774586 8616062976 30039 33554432000 4194304 4196468 140736604962368 140702505683568 140703682939522 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26484736 140736604967927 140736604968086 140736604968086 140736604970959 0
[pid=28807/tid=28823] ppid=28774 vsize=8414124 memory=-8253362762722141311 CPUtime=0.05 cores=0-7
/proc/28807/task/28823/stat : 28823 (java) S 28774 28774 27111 0 -1 1077944384 273 0 0 0 5 0 0 0 20 0 24 0 418774586 8616062976 30039 33554432000 4194304 4196468 140736604962368 140702504631024 140703682939522 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26484736 140736604967927 140736604968086 140736604968086 140736604970959 0
[pid=28807/tid=28824] ppid=28774 vsize=8414124 memory=7524510463630332013 CPUtime=0.2 cores=0-7
/proc/28807/task/28824/stat : 28824 (java) S 28774 28774 27111 0 -1 1077944384 518 0 0 0 20 0 0 0 20 0 24 0 418774586 8616062976 30039 33554432000 4194304 4196468 140736604962368 140702503578480 140703682939522 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26484736 140736604967927 140736604968086 140736604968086 140736604970959 0
[pid=28807/tid=28825] ppid=28774 vsize=8414124 memory=7524510463630332013 CPUtime=0 cores=0-7
/proc/28807/task/28825/stat : 28825 (java) S 28774 28774 27111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 418774586 8616062976 30039 33554432000 4194304 4196468 140736604962368 140701182453984 140703682938581 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26484736 140736604967927 140736604968086 140736604968086 140736604970959 0
[pid=28807/tid=28826] ppid=28774 vsize=8414124 memory=7524510463630332013 CPUtime=0.02 cores=0-7
/proc/28807/task/28826/stat : 28826 (java) S 28774 28774 27111 0 -1 1077944384 5 0 0 0 0 2 0 0 20 0 24 0 418774586 8616062976 30039 33554432000 4194304 4196468 140736604962368 140702502525360 140703682939522 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26484736 140736604967927 140736604968086 140736604968086 140736604970959 0
[pid=28807/tid=28828] ppid=28774 vsize=8414124 memory=7594305185428958316 CPUtime=0 cores=0-7
/proc/28807/task/28828/stat : 28828 (java) S 28774 28774 27111 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 418774652 8616062976 30039 33554432000 4194304 4196468 140736604962368 140702494491840 140703682952985 0 4 2 25189581 18446744071579417331 0 0 -1 7 0 0 0 0 0 6293624 6294260 26484736 140736604967927 140736604968086 140736604968086 140736604970959 0
[pid=28807/tid=28830] ppid=28774 vsize=8414124 memory=5795969358784589157 CPUtime=0 cores=0-7
/proc/28807/task/28830/stat : 28830 (java) S 28774 28774 27111 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 24 0 418774653 8616062976 30039 33554432000 4194304 4196468 140736604962368 140700511354640 140703682950301 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 26484736 140736604967927 140736604968086 140736604968086 140736604970959 0
[pid=28807/tid=28831] ppid=28774 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/28807/task/28831/stat : 28831 (java) S 28774 28774 27111 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 24 0 418774653 8616062976 30039 33554432000 4194304 4196468 140736604962368 140700779790224 140703682950301 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 26484736 140736604967927 140736604968086 140736604968086 140736604970959 0
[pid=28807/tid=28832] ppid=28774 vsize=8414124 memory=120156 CPUtime=0 cores=0-7
/proc/28807/task/28832/stat : 28832 (java) S 28774 28774 27111 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 418774655 8616062976 30039 33554432000 4194304 4196468 140736604962368 140700242927280 140703682938581 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26484736 140736604967927 140736604968086 140736604968086 140736604970959 0
Current children cumulated CPU time: 368.26 s
Current children cumulated vsize: 9190412 KiB
Current children cumulated memory: 319764 KiB

[startup+88.9012 s]
/proc/loadavg: 4.80 4.62 6.12 3/218 28843
/proc/meminfo: memFree=26313216/32770624 swapFree=66927260/67108860
[pid=28774] ppid=28771 vsize=113128 memory=1476 CPUtime=68.48 cores=0-7
/proc/28774/stat : 28774 (scop.sh) S 28771 28774 27111 0 -1 4202496 583 75757 0 0 0 0 6594 254 20 0 1 0 418769627 115843072 369 33554432000 4194304 5098028 140735743089216 140735743085960 139929151300220 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 15720448 140735743095589 140735743095916 140735743095916 140735743098829 0
/proc/28774/statm: 28282 369 311 221 0 87 0
[pid=28807] ppid=28774 vsize=8414124 memory=120156 CPUtime=1.2 cores=0-7
/proc/28807/stat : 28807 (java) S 28774 28774 27111 0 -1 1077944320 20535 0 0 0 112 8 0 0 20 0 24 0 418774579 8616062976 30039 33554432000 4194304 4196468 140736604962368 140736604944912 140703682928375 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 26484736 140736604967927 140736604968086 140736604968086 140736604970959 0
/proc/28807/statm: 2103531 30039 3201 1 0 2064875 0
[pid=28827] ppid=28807 vsize=663160 memory=198132 CPUtime=298.78 cores=0-7
/proc/28827/stat : 28827 (manyglucose-4.1) S 28807 28774 27111 0 -1 1077944320 183206 0 0 0 29792 86 0 0 20 0 3 0 418774652 679075840 49533 33554432000 4194304 4454172 140721069731136 140721069729520 140626859736823 0 4 0 8388610 18446744073709551615 0 0 17 7 0 0 0 0 0 6552832 6554400 21405696 140721069736809 140721069737008 140721069737008 140721069739962 0
/proc/28827/statm: 165790 49533 419 64 0 161458 0
[pid=28827/tid=28834] ppid=28807 vsize=663160 memory=1476 CPUtime=38.01 cores=0-7
/proc/28827/task/28834/stat : 28834 (manyglucose-4.1) R 28807 28774 27111 0 -1 4202560 19699 0 0 0 3790 11 0 0 20 0 3 0 418774663 679075840 49533 33554432000 4194304 4454172 140721069731136 140626828160136 4351209 0 4 0 8388610 0 0 0 -1 1 0 0 0 0 0 6552832 6554400 21405696 140721069736809 140721069737008 140721069737008 140721069739962 0
[pid=28827/tid=28838] ppid=28807 vsize=663160 memory=120156 CPUtime=38.25 cores=0-7
/proc/28827/task/28838/stat : 28838 (manyglucose-4.1) R 28807 28774 27111 0 -1 4202560 22871 0 0 0 3816 9 0 0 20 0 3 0 418774663 679075840 49533 33554432000 4194304 4454172 140721069731136 140626794589048 4351433 0 4 0 8388610 0 0 0 -1 2 0 0 0 0 0 6552832 6554400 21405696 140721069736809 140721069737008 140721069737008 140721069739962 0
[pid=28807/tid=28808] ppid=28774 vsize=8414124 memory=120156 CPUtime=0.75 cores=0-7
/proc/28807/task/28808/stat : 28808 (java) S 28774 28774 27111 0 -1 1077944384 17447 0 0 0 70 5 0 0 20 0 24 0 418774579 8616062976 30039 33554432000 4194304 4196468 140736604962368 140703654768544 140703682938581 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26484736 140736604967927 140736604968086 140736604968086 140736604970959 0
[pid=28807/tid=28809] ppid=28774 vsize=8414124 memory=120156 CPUtime=0 cores=0-7
/proc/28807/task/28809/stat : 28809 (java) S 28774 28774 27111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418774581 8616062976 30039 33554432000 4194304 4196468 140736604962368 140703687170320 140703682938581 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26484736 140736604967927 140736604968086 140736604968086 140736604970959 0
[pid=28807/tid=28810] ppid=28774 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/28807/task/28810/stat : 28810 (java) S 28774 28774 27111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418774581 8616062976 30039 33554432000 4194304 4196468 140736604962368 140703487338896 140703682938581 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26484736 140736604967927 140736604968086 140736604968086 140736604970959 0
[pid=28807/tid=28811] ppid=28774 vsize=8414124 memory=1436 CPUtime=0 cores=0-7
/proc/28807/task/28811/stat : 28811 (java) S 28774 28774 27111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418774581 8616062976 30039 33554432000 4194304 4196468 140736604962368 140703486286352 140703682938581 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26484736 140736604967927 140736604968086 140736604968086 140736604970959 0
[pid=28807/tid=28812] ppid=28774 vsize=8414124 memory=9592 CPUtime=0 cores=0-7
/proc/28807/task/28812/stat : 28812 (java) S 28774 28774 27111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 418774581 8616062976 30039 33554432000 4194304 4196468 140736604962368 140703485233808 140703682938581 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26484736 140736604967927 140736604968086 140736604968086 140736604970959 0
[pid=28807/tid=28813] ppid=28774 vsize=8414124 memory=178628 CPUtime=0 cores=0-7
/proc/28807/task/28813/stat : 28813 (java) S 28774 28774 27111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418774581 8616062976 30039 33554432000 4194304 4196468 140736604962368 140703484181264 140703682938581 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26484736 140736604967927 140736604968086 140736604968086 140736604970959 0
[pid=28807/tid=28814] ppid=28774 vsize=8414124 memory=4164 CPUtime=0 cores=0-7
/proc/28807/task/28814/stat : 28814 (java) S 28774 28774 27111 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 418774581 8616062976 30039 33554432000 4194304 4196468 140736604962368 140703483128720 140703682938581 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26484736 140736604967927 140736604968086 140736604968086 140736604970959 0
[pid=28807/tid=28815] ppid=28774 vsize=8414124 memory=279362994002246 CPUtime=0 cores=0-7
/proc/28807/task/28815/stat : 28815 (java) S 28774 28774 27111 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 418774581 8616062976 30039 33554432000 4194304 4196468 140736604962368 140703482076176 140703682938581 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26484736 140736604967927 140736604968086 140736604968086 140736604970959 0
[pid=28807/tid=28816] ppid=28774 vsize=8414124 memory=13323 CPUtime=0 cores=0-7
/proc/28807/task/28816/stat : 28816 (java) S 28774 28774 27111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418774581 8616062976 30039 33554432000 4194304 4196468 140736604962368 140703481023632 140703682938581 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26484736 140736604967927 140736604968086 140736604968086 140736604970959 0
[pid=28807/tid=28817] ppid=28774 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/28807/task/28817/stat : 28817 (java) S 28774 28774 27111 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 418774582 8616062976 30039 33554432000 4194304 4196468 140736604962368 140702507788272 140703682939522 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26484736 140736604967927 140736604968086 140736604968086 140736604970959 0
[pid=28807/tid=28818] ppid=28774 vsize=8414124 memory=-7385037598129423977 CPUtime=0 cores=0-7
/proc/28807/task/28818/stat : 28818 (java) S 28774 28774 27111 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 418774583 8616062976 30039 33554432000 4194304 4196468 140736604962368 140702323303328 140703682938581 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26484736 140736604967927 140736604968086 140736604968086 140736604970959 0
[pid=28807/tid=28819] ppid=28774 vsize=8414124 memory=14004 CPUtime=0 cores=0-7
/proc/28807/task/28819/stat : 28819 (java) S 28774 28774 27111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418774583 8616062976 30039 33554432000 4194304 4196468 140736604962368 140702054867952 140703682938581 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26484736 140736604967927 140736604968086 140736604968086 140736604970959 0
[pid=28807/tid=28820] ppid=28774 vsize=8414124 memory=2120 CPUtime=0 cores=0-7
/proc/28807/task/28820/stat : 28820 (java) S 28774 28774 27111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418774586 8616062976 30039 33554432000 4194304 4196468 140736604962368 140701680359632 140703682946971 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26484736 140736604967927 140736604968086 140736604968086 140736604970959 0
[pid=28807/tid=28821] ppid=28774 vsize=8414124 memory=279364135925120 CPUtime=0.06 cores=0-7
/proc/28807/task/28821/stat : 28821 (java) S 28774 28774 27111 0 -1 1077944384 588 0 0 0 6 0 0 0 20 0 24 0 418774586 8616062976 30039 33554432000 4194304 4196468 140736604962368 140702506736112 140703682939522 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26484736 140736604967927 140736604968086 140736604968086 140736604970959 0
[pid=28807/tid=28822] ppid=28774 vsize=8414124 memory=2867663764861028 CPUtime=0.06 cores=0-7
/proc/28807/task/28822/stat : 28822 (java) S 28774 28774 27111 0 -1 1077944384 306 0 0 0 6 0 0 0 20 0 24 0 418774586 8616062976 30039 33554432000 4194304 4196468 140736604962368 140702505683568 140703682939522 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26484736 140736604967927 140736604968086 140736604968086 140736604970959 0
[pid=28807/tid=28823] ppid=28774 vsize=8414124 memory=0 CPUtime=0.05 cores=0-7
/proc/28807/task/28823/stat : 28823 (java) S 28774 28774 27111 0 -1 1077944384 273 0 0 0 5 0 0 0 20 0 24 0 418774586 8616062976 30039 33554432000 4194304 4196468 140736604962368 140702504631024 140703682939522 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26484736 140736604967927 140736604968086 140736604968086 140736604970959 0
[pid=28807/tid=28824] ppid=28774 vsize=8414124 memory=0 CPUtime=0.2 cores=0-7
/proc/28807/task/28824/stat : 28824 (java) S 28774 28774 27111 0 -1 1077944384 518 0 0 0 20 0 0 0 20 0 24 0 418774586 8616062976 30039 33554432000 4194304 4196468 140736604962368 140702503578480 140703682939522 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26484736 140736604967927 140736604968086 140736604968086 140736604970959 0
[pid=28807/tid=28825] ppid=28774 vsize=8414124 memory=5928 CPUtime=0 cores=0-7
/proc/28807/task/28825/stat : 28825 (java) S 28774 28774 27111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 418774586 8616062976 30039 33554432000 4194304 4196468 140736604962368 140701182453984 140703682938581 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26484736 140736604967927 140736604968086 140736604968086 140736604970959 0
[pid=28807/tid=28826] ppid=28774 vsize=8414124 memory=916 CPUtime=0.02 cores=0-7
/proc/28807/task/28826/stat : 28826 (java) S 28774 28774 27111 0 -1 1077944384 5 0 0 0 0 2 0 0 20 0 24 0 418774586 8616062976 30039 33554432000 4194304 4196468 140736604962368 140702502525360 140703682939522 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26484736 140736604967927 140736604968086 140736604968086 140736604970959 0
[pid=28807/tid=28828] ppid=28774 vsize=8414124 memory=1656 CPUtime=0 cores=0-7
/proc/28807/task/28828/stat : 28828 (java) S 28774 28774 27111 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 418774652 8616062976 30039 33554432000 4194304 4196468 140736604962368 140702494491840 140703682952985 0 4 2 25189581 18446744071579417331 0 0 -1 7 0 0 0 0 0 6293624 6294260 26484736 140736604967927 140736604968086 140736604968086 140736604970959 0
[pid=28807/tid=28830] ppid=28774 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/28807/task/28830/stat : 28830 (java) S 28774 28774 27111 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 24 0 418774653 8616062976 30039 33554432000 4194304 4196468 140736604962368 140700511354640 140703682950301 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 26484736 140736604967927 140736604968086 140736604968086 140736604970959 0
[pid=28807/tid=28831] ppid=28774 vsize=8414124 memory=120156 CPUtime=0 cores=0-7
/proc/28807/task/28831/stat : 28831 (java) S 28774 28774 27111 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 24 0 418774653 8616062976 30039 33554432000 4194304 4196468 140736604962368 140700779790224 140703682950301 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 26484736 140736604967927 140736604968086 140736604968086 140736604970959 0
[pid=28807/tid=28832] ppid=28774 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/28807/task/28832/stat : 28832 (java) S 28774 28774 27111 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 418774655 8616062976 30039 33554432000 4194304 4196468 140736604962368 140700242927280 140703682938581 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26484736 140736604967927 140736604968086 140736604968086 140736604970959 0
Current children cumulated CPU time: 368.46 s
Current children cumulated vsize: 9190412 KiB
Current children cumulated memory: 319764 KiB

Child status: 0
Real time (s): 88.9612
CPU time (s): 368.599
CPU user time (s): 365.076
CPU system time (s): 3.52313
CPU usage (%): 414.337
Max. virtual memory (cumulated for all children) (KiB): 27441876
Max. memory (cumulated for all children) (KiB): 6449036

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 365.076
system time used= 3.52313
maximum resident set size= 6447640
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 280395
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3736
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 49454
involuntary context switches= 3397


# summary of solver processes directly reported to runsolver:
#   pid: 28774
#   total CPU time (s): 368.599
#   total CPU user time (s): 365.076
#   total CPU system time (s): 3.52313

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.760192 second user time and 1.03552 second system time

The end

Launcher Data 

Begin job on node137 at 2019-09-14 03:39:41
IDJOB=4392346
IDBENCH=125591
IDSOLVER=2838
FILE ID=node137/4392346-1568425222
RUNJOBID= node137-1568417397-27138
PBS_JOBID= 21702274
Free space on /tmp= 61396 MiB

SOLVER NAME= Fun-sCOP order+ManyGlucose (2019-06-15)
BENCH NAME= XCSP17/QRandom/QRandom-mdd-7-25-5-p7/mdd-7-25-5-ps05-psh07-4.xml
COMMAND LINE= DIR/scop.sh 22g DIR/scop.jar -order DIR/manyglucose-4.1-27_release -model:-nthreads=NBCORE:-maxmemory=20000:-lit-scans=6000000 TMPDIR BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4392346-1568425222/watcher-4392346-1568425222 -o /tmp/evaluation-result-4392346-1568425222/solver-4392346-1568425222 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node137-1568417397-27138 --watchdog 2580  HOME/scop.sh 22g HOME/scop.jar -order HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4392346-1568425222.xml

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

MD5SUM BENCH= cc3fcfac109c3d277a0ef72b27cdc983
RANDOM SEED=1352846132

node137.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	: 5334.00
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	: 5334.00
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	: 5334.00
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	: 5334.00
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:        26619132 kB
MemAvailable:   31802996 kB
Buffers:          186556 kB
Cached:          5262700 kB
SwapCached:        77548 kB
Active:          1447676 kB
Inactive:        4082832 kB
Active(anon):       5136 kB
Inactive(anon):   117624 kB
Active(file):    1442540 kB
Inactive(file):  3965208 kB
Unevictable:      108688 kB
Mlocked:          108688 kB
SwapTotal:      67108860 kB
SwapFree:       66927260 kB
Dirty:             53500 kB
Writeback:            12 kB
AnonPages:        113932 kB
Mapped:            44648 kB
Shmem:             32772 kB
Slab:             213536 kB
SReclaimable:     183904 kB
SUnreclaim:        29632 kB
KernelStack:        3392 kB
PageTables:         5176 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     498256 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     67584 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      105856 kB
DirectMap2M:    33439744 kB

Free space on /tmp at the end= 61376 MiB
End job on node137 at 2019-09-14 03:41:10