Trace number 4405506

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Fun-sCOP hybrid+ManyGlucose (2019-09-22)UNSAT 373.848 85.6446

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 -hybrid -solver HOME/manyglucose-4.1-27_release -solverOption -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 -tmp HOME -serialFile HOME/scop-30477-serial-file.bin HOME/instance-4405506-1569335979.xml
0.65/0.55	
0.65/0.55	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
0.65/0.55	
0.65/0.58	c BEGIN-Prog: Tue Sep 24 16:38:57 CEST 2019
0.65/0.58	c PID: 30480
0.65/0.58	c IP: 172.20.3.145
0.65/0.58	c HOST: node145.alineos.net
0.65/0.58	c (0,0) Parsing Begin
6.52/4.87	c (4,4) Parsing End
6.52/4.88	c (4,4) CSP: 25 int (0 aux), 0 bool (0 aux), 58 ctr, max domain size 5
6.52/4.88	c (4,4) Heap : 4167 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB)
6.52/4.88	c (4,4) Constraint Name Generate Begin
6.52/4.89	c (4,4) Ctr:HOME/instance-4405506-1569335979.xml,ExtensionSupport:Var
6.52/4.89	c (4,4) Constraint Name Generate End
6.52/4.89	c (4,4) Heap : 4167 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB)
6.52/4.89	c (4,4) CSP to CSPinCNF Begin
16.96/9.38	c (8,8) translated 6 (10%) constraints
23.43/13.02	c (12,12) translated 12 (20%) constraints
30.24/16.77	c (16,16) translated 18 (30%) constraints
35.00/20.56	c (20,19) translated 24 (40%) constraints
38.17/23.68	c (23,22) translated 29 (50%) constraints
41.72/27.17	c (26,26) translated 35 (60%) constraints
45.82/30.66	c (30,29) translated 41 (70%) constraints
50.15/34.26	c (33,33) translated 47 (80%) constraints
55.22/38.12	c (37,37) translated 53 (90%) constraints
58.42/41.34	c (40,40) translated 58 (100%) constraints
59.02/42.00	c (41,40) ===========================================
59.14/42.04	c (41,40) Hybrid: #OE=8482, #LE=0
59.14/42.04	c (41,40) Hybrid
59.14/42.04	c (41,40) ===========================================
60.01/42.31	c (41,41) translated 8032 (10%) constraints
60.15/42.49	c (41,41) translated 16064 (20%) constraints
60.46/42.68	c (42,41) translated 24096 (30%) constraints
60.70/42.86	c (42,41) translated 32128 (40%) constraints
60.91/43.03	c (42,41) translated 40159 (50%) constraints
61.10/43.21	c (42,42) translated 48191 (60%) constraints
61.20/43.38	c (42,42) translated 56223 (70%) constraints
61.40/43.55	c (43,42) translated 64255 (80%) constraints
61.60/43.73	c (43,42) translated 72287 (90%) constraints
61.86/43.91	c (43,42) translated 80318 (100%) constraints
61.86/43.91	c (43,42) CSP to CSPinCNF End
61.86/43.92	c (43,42) CSP: 25 int (0 aux), 8457 bool (8457 aux), 80318 ctr, max domain size 5
61.86/43.92	c (43,42) Heap : 3372 MiB used (max 21589 MiB), NonHeap : 27 MiB used (max 0 MiB)
61.86/43.92	c (43,42) CSPinCNF Propagation Begin
63.07/44.49	c (43,43) 0 values, 107 unsatisfiable literals, and 71 valid clauses are removed
63.07/44.49	c (43,43) CSPinCNF Propagation End
63.07/44.50	c (43,43) CSP: 25 int (0 aux), 8457 bool (8457 aux), 80247 ctr, max domain size 5
63.07/44.50	c (43,43) Heap : 3817 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB)
63.42/44.54	c (43,43) Hybrid: #OE=8482, #LE=0
63.42/44.54	c (43,43) Simplify CSPinCNF Begin
63.75/44.76	c (44,43) Simplify CSPinCNF End
63.75/44.76	c (44,43) CSP: 25 int (0 aux), 8457 bool (8457 aux), 80247 ctr, max domain size 5
63.75/44.76	c (44,43) Heap : 3928 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB)
63.75/44.76	c (44,43) Calculate Precise Domain Begin
63.75/44.76	c (44,43) 0 values are removed by re-calculation
63.75/44.76	c (44,43) Calculate Precise Domain End
63.75/44.76	c (44,43) CSP: 25 int (0 aux), 8457 bool (8457 aux), 80247 ctr, max domain size 5
63.75/44.76	c (44,43) Heap : 3928 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB)
63.75/44.76	c (44,43) CSPinCNF to SatSolver Begin
65.11/45.11	c (44,44) 8025 (10 %) CSP clauses are encoded (0 SAT variables, 8099 SAT clauses)
65.34/45.20	c (44,44) 16050 (20 %) CSP clauses are encoded (0 SAT variables, 16124 SAT clauses)
65.34/45.28	c (44,44) 24075 (30 %) CSP clauses are encoded (0 SAT variables, 24149 SAT clauses)
65.43/45.36	c (44,44) 32099 (40 %) CSP clauses are encoded (0 SAT variables, 32173 SAT clauses)
65.55/45.44	c (44,44) 40124 (50 %) CSP clauses are encoded (0 SAT variables, 40198 SAT clauses)
65.65/45.52	c (44,44) 48149 (60 %) CSP clauses are encoded (0 SAT variables, 48223 SAT clauses)
65.75/45.60	c (45,44) 56173 (70 %) CSP clauses are encoded (0 SAT variables, 56247 SAT clauses)
65.75/45.68	c (45,44) 64198 (80 %) CSP clauses are encoded (0 SAT variables, 64272 SAT clauses)
65.85/45.76	c (45,44) 72223 (90 %) CSP clauses are encoded (0 SAT variables, 72297 SAT clauses)
65.95/45.84	c (45,44) 80247 (100 %) CSP clauses are encoded (0 SAT variables, 80321 SAT clauses)
65.95/45.84	c (45,44) CSPinCNF to SatSolver End
65.95/45.84	c (45,44) Heap : 4595 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB)
65.95/45.84	c (45,44) 8546 bool, 80322 clause
65.95/45.84	c (45,44) Export Begin
66.09/45.93	c (45,44) Export to HOME/scop-30477-serial-file.bin
66.09/45.93	c (45,44) Export End
66.09/45.93	c (45,44) Export File Size: 0.01 MB
66.09/45.93	c (45,44) 4,4,43,43,44,44,45,STOP-AFTER(DIMACS)
66.09/45.93	c END-Prog: Tue Sep 24 16:39:43 CEST 2019
66.09/45.96	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-30477-serial-file.bin
66.75/46.42	c (0,0) Read Serial File Begin
66.75/46.42	c (0,0) HOME/scop-30477-serial-file.bin
67.05/46.63	c (0,0) Read Serial File End
67.05/46.64	
67.05/46.64	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
67.05/46.64	(Solving Process)
67.05/46.64	
67.05/46.66	c BEGIN-Prog: Tue Sep 24 16:39:43 CEST 2019
67.05/46.66	c PID: 30503
67.05/46.66	c IP: 172.20.3.145
67.05/46.66	c HOST: node145.alineos.net
67.05/46.67	c (0,0) SatSolver.solve Begin
67.05/46.67	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4405506-1569335979.xml-scop-30480.cnf
67.05/46.70	c (0,0) c
67.05/46.70	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)
67.05/46.70	c (0,0) c
67.05/46.70	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
67.05/46.70	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
67.05/46.70	c (0,0) c ========================================[ Problem Statistics ]===========================================
67.05/46.70	c (0,0) c |                                                                                                       |
67.25/46.72	c (0,0) c |  Number of variables:          8546                                                                   |
67.25/46.72	c (0,0) c |  Number of clauses:           80322                                                                   |
67.25/46.72	c (0,0) c |  Parse time:                   0.03 s                                                                 |
67.25/46.72	c (0,0) c |                                                                                                       |
67.25/46.77	c (0,0) c |  Simplification time:          0.05 s                                                                 |
67.25/46.77	c (0,0) c |                                                                                                       |
67.25/46.77	c (0,0) c |  Generating clones                                                                                    |
67.25/46.80	c (0,0) c |  all clones generated. Memory =    66.59Mb.                                                           |
67.25/46.80	c (0,0) c ========================================================================================================|
67.25/46.80	c (0,0) c
67.25/46.80	c (0,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
67.25/46.80	c (0,0) c
67.25/46.80	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
67.25/46.80	c (0,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
67.35/46.80	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
67.35/46.80	c (0,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
67.35/46.80	c (0,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
67.35/46.80	c (0,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
67.35/46.80	c (0,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
67.35/46.80	c (0,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
67.35/46.80	c (0,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
67.35/46.80	c (0,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
67.35/46.80	c (0,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
67.35/46.80	c (0,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
67.35/46.80	c (0,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
67.35/46.80	c (0,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
67.35/46.80	c (0,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
67.35/46.80	c (0,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
67.35/46.80	c (0,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
67.35/46.80	c (0,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
67.35/46.80	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
305.60/76.71	c (30,0) c
305.60/76.71	c (30,0) c |------------------------------------------------------------------------------------------------------------------------|
305.60/76.71	c (30,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
305.60/76.71	c (30,0) c |------------------------------------------------------------------------------------------------------------------------|
305.60/76.71	c (30,0) c |  0 |     52 |      70266 |      55762 |    33049 |    17226 |     9850 |    58839 |     6293 |      216 |  20 |  0.000 |
305.60/76.71	c (30,0) c |  1 |     53 |      69873 |      56081 |    32038 |    17542 |     9605 |    60652 |     6257 |      221 |  20 |  0.000 |
305.60/76.71	c (30,0) c |  2 |     77 |      76212 |      59589 |    33320 |    21052 |     9652 |    59188 |     6914 |      223 |  20 |  0.000 |
305.60/76.71	c (30,0) c |  3 |     63 |      69462 |      55239 |    32228 |    16694 |     8811 |    58853 |     6983 |      215 |  20 |  0.000 |
305.60/76.71	c (30,0) c |  4 |     35 |      69117 |      55260 |    32764 |    16718 |     8929 |    57029 |     7064 |      217 |  20 |  0.000 |
305.60/76.71	c (30,0) c |  5 |     66 |      72797 |      57579 |    32740 |    15638 |     9170 |    61629 |     6900 |      222 |  20 |  0.012 |
305.60/76.71	c (30,0) c |  6 |     64 |      72271 |      57136 |    33469 |    18596 |     8914 |    61363 |     6818 |      221 |  20 |  0.000 |
305.60/76.71	c (30,0) c |  7 |     57 |      69521 |      54845 |    33011 |    16307 |     9368 |    53591 |     6826 |      213 |  20 |  0.000 |
305.60/76.71	c (30,0) c 
305.60/76.71	c (30,0) c synthesis      451491 conflicts   674937004 propagations     1901 conflicts/sec  2842246 propagations/sec
305.60/76.71	c (30,0) c real: 30.012 s, cpu: 237.466 s, memory: 647.63 Mb
373.71/85.61	c (39,0) c
373.71/85.61	c (39,0) c real time : 38.9179 s
373.71/85.61	c (39,0) c cpu time  : 305.506 s
373.71/85.61	c (39,0) c
373.71/85.61	c (39,0) c
373.71/85.61	c (39,0) c
373.71/85.61	c (39,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
373.71/85.61	c (39,0) c
373.71/85.61	c (39,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
373.71/85.61	c (39,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
373.71/85.61	c (39,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
373.71/85.61	c (39,0) c | Conflicts     |          556547 |      69934 |      68995 |      71753 |      69044 |      68233 |      70049 |      69536 |      69003 |
373.71/85.61	c (39,0) c | Decisions     |          688586 |      86492 |      84515 |      89972 |      85061 |      83981 |      86869 |      86296 |      85400 |
373.71/85.61	c (39,0) c | Propagations  |       845698429 |  106590212 |  104361645 |  105704652 |  106319946 |  105237617 |  106680362 |  105498656 |  105305339 |
373.71/85.61	c (39,0) c | ReduceDBs     |              55 |          7 |          7 |          7 |          7 |          6 |          7 |          7 |          7 |
373.71/85.61	c (39,0) c | SimpDBs       |              35 |          3 |          3 |          5 |          2 |          6 |          4 |          5 |          7 |
373.71/85.61	c (39,0) c | Restarts      |             489 |         53 |         59 |         82 |         69 |         37 |         66 |         65 |         58 |
373.71/85.61	c (39,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
373.71/85.61	c (39,0) c | PropBinClauses|       359021960 |   44423123 |   43954575 |   43560633 |   46781247 |   45814011 |   46542693 |   43693974 |   44251704 |
373.71/85.61	c (39,0) c | PropPreBlocker|      7667369931 |  964207318 |  955952198 |  964095827 |  962333709 |  952376818 |  958850116 |  960244687 |  949309258 |
373.71/85.61	c (39,0) c | PropNotBlocker|      2879858105 |  360602464 |  365465288 |  359402358 |  355235665 |  364324588 |  359792085 |  359140885 |  355894772 |
373.71/85.61	c (39,0) c | LitFullScans  |     13473500654 | 1686166012 | 1686203439 | 1690195418 | 1686160312 | 1682085821 | 1686257535 | 1686179300 | 1670252817 |
373.71/85.61	c (39,0) c | LitScanFracts |         1379128 |     144845 |     191722 |     170736 |     144786 |     170153 |     232516 |     145602 |     178768 |
373.71/85.61	c (39,0) c | DecisionLevel0|             522 |         54 |         60 |         85 |         69 |         45 |         69 |         71 |         69 |
373.71/85.61	c (39,0) c | Periods       |            2244 |        281 |        281 |        281 |        281 |        280 |        281 |        281 |        278 |
373.71/85.61	c (39,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
373.71/85.61	c (39,0) c | Avg_Trail     |                 |       4696 |       4684 |       4793 |       4742 |       4639 |       4761 |       4809 |       4791 |
373.71/85.61	c (39,0) c | Avg_DL        |                 |         12 |         11 |         12 |         12 |         11 |         11 |         12 |         12 |
373.71/85.61	c (39,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
373.71/85.61	c (39,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
373.71/85.61	c (39,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
373.71/85.61	c (39,0) c | Exported      |           87229 |      11548 |      11187 |      11231 |      10383 |      10692 |      10657 |      10434 |      11097 |
373.71/85.61	c (39,0) c | Imported      |          561488 |      66051 |      68752 |      72410 |      66394 |      72752 |      70148 |      72985 |      71996 |
373.71/85.61	c (39,0) c | Good          |            2607 |        291 |        322 |        353 |        302 |        339 |        304 |        353 |        343 |
373.71/85.61	c (39,0) c | Purge         |          558881 |      65760 |      68430 |      72057 |      66092 |      72413 |      69844 |      72632 |      71653 |
373.71/85.61	c (39,0) c | Promoted      |           66448 |       8018 |       7792 |       8448 |       8482 |       8689 |       8264 |       8207 |       8548 |
373.71/85.61	c (39,0) c | Remove_Imp    |          315298 |      38610 |      38676 |      36137 |      35774 |      31847 |      46457 |      43967 |      43830 |
373.71/85.61	c (39,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
373.71/85.61	c (39,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
373.71/85.61	c (39,0) c | Unaries       |                 |          1 |          1 |          3 |          0 |          8 |          3 |          6 |         11 |
373.71/85.61	c (39,0) c | Binaries      |                 |         64 |         47 |         70 |         44 |         83 |         77 |         65 |         98 |
373.71/85.61	c (39,0) c | Glues         |                 |        757 |        755 |        796 |        723 |        786 |        821 |        753 |        862 |
373.71/85.61	c (39,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
373.71/85.61	c (39,0) c | Orig_Seen     |            44 % |      34381 |      33192 |      34283 |      33634 |      33987 |      33862 |      34542 |      34260 |
373.71/85.61	c (39,0) c | Diff Orig seen|                 |        121 | -     1068 |         23 | -      626 | -      273 | -      398 |        282 |      X     |
373.71/85.61	c (39,0) c | Hamming       |            43 % |       4275 |       2967 |       3621 |       4393 |       3212 |       3811 |       3976 |      X     |
373.71/85.61	c (39,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
373.71/85.61	c (39,0) c | RunningTime   |                 |   38.6 100%|   38.2 100%|   38.0 100%|   38.7 100%|   38.7 100%|   38.0 100%|   38.2 100%|   38.8 100%|
373.71/85.61	c (39,0) c | WaitingTime   |                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
373.71/85.61	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%|
373.71/85.61	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%|
373.71/85.61	c (39,0) c | SolvingTime   |                 |   38.7     |   38.2     |   38.0     |   38.7     |   38.8     |   38.0     |   38.2     |   38.8     |
373.71/85.61	c (39,0) c | PropagationTim|                 |   36.7  95%|   36.3  95%|   35.8  94%|   36.8  95%|   36.8  95%|   35.8  94%|   36.3  95%|   36.8  95%|
373.71/85.61	c (39,0) c | AnalysisTime  |                 |    1.0   3%|    0.9   2%|    1.2   3%|    1.0   2%|    1.0   2%|    1.2   3%|    1.0   3%|    1.0   3%|
373.71/85.61	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%|
373.71/85.61	c (39,0) c | SimplifyTime  |                 |    0.0   0%|    0.0   0%|    0.1   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.1   0%|
373.71/85.61	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%|
373.71/85.61	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%|
373.71/85.61	c (39,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
373.71/85.61	c (39,0) c
373.71/85.61	c (39,0) c
373.71/85.61	c (39,0) c Threads : 8
373.71/85.61	c (39,0) c Winner : 7
373.71/85.61	c (39,0) c Conflicts_0 : 69934
373.71/85.61	c (39,0) c Conflicts_1 : 68995
373.71/85.61	c (39,0) c Conflicts_2 : 71753
373.71/85.61	c (39,0) c Conflicts_3 : 69044
373.71/85.61	c (39,0) c Conflicts_4 : 68233
373.71/85.61	c (39,0) c Conflicts_5 : 70049
373.71/85.61	c (39,0) c Conflicts_6 : 69536
373.71/85.61	c (39,0) c Conflicts_7 : 69003
373.71/85.61	c (39,0) c Conflicts_total : 556547
373.71/85.61	c (39,0) c Conflicts_winner : 69003
373.71/85.61	c (39,0) c Decisions_0 : 86492
373.71/85.61	c (39,0) c Decisions_1 : 84515
373.71/85.61	c (39,0) c Decisions_2 : 89972
373.71/85.61	c (39,0) c Decisions_3 : 85061
373.71/85.61	c (39,0) c Decisions_4 : 83981
373.71/85.61	c (39,0) c Decisions_5 : 86869
373.71/85.61	c (39,0) c Decisions_6 : 86296
373.71/85.61	c (39,0) c Decisions_7 : 85400
373.71/85.61	c (39,0) c Decisions_total : 688586
373.71/85.61	c (39,0) c Decisions_winner : 85400
373.71/85.61	c (39,0) c Propagations_0 : 106590212
373.71/85.61	c (39,0) c Propagations_1 : 104361645
373.71/85.61	c (39,0) c Propagations_2 : 105704652
373.71/85.61	c (39,0) c Propagations_3 : 106319946
373.71/85.61	c (39,0) c Propagations_4 : 105237617
373.71/85.61	c (39,0) c Propagations_5 : 106680362
373.71/85.61	c (39,0) c Propagations_6 : 105498656
373.71/85.61	c (39,0) c Propagations_7 : 105305339
373.71/85.61	c (39,0) c Propagations_total : 845698429
373.71/85.61	c (39,0) c Propagations_winner : 105305339
373.71/85.61	c (39,0) c ReduceDBs_0 : 7
373.71/85.61	c (39,0) c ReduceDBs_1 : 7
373.71/85.61	c (39,0) c ReduceDBs_2 : 7
373.71/85.61	c (39,0) c ReduceDBs_3 : 7
373.71/85.61	c (39,0) c ReduceDBs_4 : 6
373.71/85.61	c (39,0) c ReduceDBs_5 : 7
373.71/85.61	c (39,0) c ReduceDBs_6 : 7
373.71/85.61	c (39,0) c ReduceDBs_7 : 7
373.71/85.61	c (39,0) c ReduceDBs_total : 55
373.71/85.61	c (39,0) c ReduceDBs_winner : 7
373.71/85.61	c (39,0) c SimpDBs_0 : 3
373.71/85.61	c (39,0) c SimpDBs_1 : 3
373.71/85.61	c (39,0) c SimpDBs_2 : 5
373.71/85.61	c (39,0) c SimpDBs_3 : 2
373.71/85.61	c (39,0) c SimpDBs_4 : 6
373.71/85.61	c (39,0) c SimpDBs_5 : 4
373.71/85.61	c (39,0) c SimpDBs_6 : 5
373.71/85.61	c (39,0) c SimpDBs_7 : 7
373.71/85.61	c (39,0) c SimpDBs_total : 35
373.71/85.61	c (39,0) c SimpDBs_winner : 7
373.71/85.61	c (39,0) c Restarts_0 : 53
373.71/85.61	c (39,0) c Restarts_1 : 59
373.71/85.61	c (39,0) c Restarts_2 : 82
373.71/85.62	c (39,0) c Restarts_3 : 69
373.71/85.62	c (39,0) c Restarts_4 : 37
373.71/85.62	c (39,0) c Restarts_5 : 66
373.71/85.62	c (39,0) c Restarts_6 : 65
373.71/85.62	c (39,0) c Restarts_7 : 58
373.71/85.62	c (39,0) c Restarts_total : 489
373.71/85.62	c (39,0) c Restarts_winner : 58
373.71/85.62	c (39,0) c ForcedImports_0 : 0
373.71/85.62	c (39,0) c ForcedImports_1 : 0
373.71/85.62	c (39,0) c ForcedImports_2 : 0
373.71/85.62	c (39,0) c ForcedImports_3 : 0
373.71/85.62	c (39,0) c ForcedImports_4 : 0
373.71/85.62	c (39,0) c ForcedImports_5 : 0
373.71/85.62	c (39,0) c ForcedImports_6 : 0
373.71/85.62	c (39,0) c ForcedImports_7 : 0
373.71/85.62	c (39,0) c ForcedImports_total : 0
373.71/85.62	c (39,0) c ForcedImports_winner : 0
373.71/85.62	c (39,0) c PropsBinClauses_0 : 44423123
373.71/85.62	c (39,0) c PropsBinClauses_1 : 43954575
373.71/85.62	c (39,0) c PropsBinClauses_2 : 43560633
373.71/85.62	c (39,0) c PropsBinClauses_3 : 46781247
373.71/85.62	c (39,0) c PropsBinClauses_4 : 45814011
373.71/85.62	c (39,0) c PropsBinClauses_5 : 46542693
373.71/85.62	c (39,0) c PropsBinClauses_6 : 43693974
373.71/85.62	c (39,0) c PropsBinClauses_7 : 44251704
373.71/85.62	c (39,0) c PropsBinClauses_total : 359021960
373.71/85.62	c (39,0) c PropsBinClauses_winner : 44251704
373.71/85.62	c (39,0) c PropsPreBlocker_0 : 964207318
373.71/85.62	c (39,0) c PropsPreBlocker_1 : 955952198
373.71/85.62	c (39,0) c PropsPreBlocker_2 : 964095827
373.71/85.62	c (39,0) c PropsPreBlocker_3 : 962333709
373.71/85.62	c (39,0) c PropsPreBlocker_4 : 952376818
373.71/85.62	c (39,0) c PropsPreBlocker_5 : 958850116
373.71/85.62	c (39,0) c PropsPreBlocker_6 : 960244687
373.71/85.62	c (39,0) c PropsPreBlocker_7 : 949309258
373.71/85.62	c (39,0) c PropsPreBlocker_total : 7667369931
373.71/85.62	c (39,0) c PropsPreBlocker_winner : 949309258
373.71/85.62	c (39,0) c PropsNotBlocker_0 : 360602464
373.71/85.62	c (39,0) c PropsNotBlocker_1 : 365465288
373.71/85.62	c (39,0) c PropsNotBlocker_2 : 359402358
373.71/85.62	c (39,0) c PropsNotBlocker_3 : 355235665
373.71/85.62	c (39,0) c PropsNotBlocker_4 : 364324588
373.71/85.62	c (39,0) c PropsNotBlocker_5 : 359792085
373.71/85.62	c (39,0) c PropsNotBlocker_6 : 359140885
373.71/85.62	c (39,0) c PropsNotBlocker_7 : 355894772
373.71/85.62	c (39,0) c PropsNotBlocker_total : 2879858105
373.71/85.62	c (39,0) c PropsNotBlocker_winner : 355894772
373.71/85.62	c (39,0) c PropsLitFullScans_0 : 1686166012
373.71/85.62	c (39,0) c PropsLitFullScans_1 : 1686203439
373.71/85.62	c (39,0) c PropsLitFullScans_2 : 1690195418
373.71/85.62	c (39,0) c PropsLitFullScans_3 : 1686160312
373.71/85.62	c (39,0) c PropsLitFullScans_4 : 1682085821
373.71/85.62	c (39,0) c PropsLitFullScans_5 : 1686257535
373.71/85.62	c (39,0) c PropsLitFullScans_6 : 1686179300
373.71/85.62	c (39,0) c PropsLitFullScans_7 : 1670252817
373.71/85.62	c (39,0) c PropsLitFullScans_total : 13473500654
373.71/85.62	c (39,0) c PropsLitFullScans_winner : 1670252817
373.71/85.62	c (39,0) c LitScanFractions_0 : 144845
373.71/85.62	c (39,0) c LitScanFractions_1 : 191722
373.71/85.62	c (39,0) c LitScanFractions_2 : 170736
373.71/85.62	c (39,0) c LitScanFractions_3 : 144786
373.71/85.62	c (39,0) c LitScanFractions_4 : 170153
373.71/85.62	c (39,0) c LitScanFractions_5 : 232516
373.71/85.62	c (39,0) c LitScanFractions_6 : 145602
373.71/85.62	c (39,0) c LitScanFractions_7 : 178768
373.71/85.62	c (39,0) c LitScanFractions_total : 1379128
373.71/85.62	c (39,0) c LitScanFractions_winner : 178768
373.71/85.62	c (39,0) c DecisionLevel0_0 : 54
373.71/85.62	c (39,0) c DecisionLevel0_1 : 60
373.71/85.62	c (39,0) c DecisionLevel0_2 : 85
373.71/85.62	c (39,0) c DecisionLevel0_3 : 69
373.71/85.62	c (39,0) c DecisionLevel0_4 : 45
373.71/85.62	c (39,0) c DecisionLevel0_5 : 69
373.71/85.62	c (39,0) c DecisionLevel0_6 : 71
373.71/85.62	c (39,0) c DecisionLevel0_7 : 69
373.71/85.62	c (39,0) c DecisionLevel0_total : 522
373.71/85.62	c (39,0) c DecisionLevel0_winner : 69
373.71/85.62	c (39,0) c Periods_0 : 281
373.71/85.62	c (39,0) c Periods_1 : 281
373.71/85.62	c (39,0) c Periods_2 : 281
373.71/85.62	c (39,0) c Periods_3 : 281
373.71/85.62	c (39,0) c Periods_4 : 280
373.71/85.62	c (39,0) c Periods_5 : 281
373.71/85.62	c (39,0) c Periods_6 : 281
373.71/85.62	c (39,0) c Periods_7 : 278
373.71/85.62	c (39,0) c Periods_total : 2244
373.71/85.62	c (39,0) c Periods_winner : 278
373.71/85.62	c (39,0) c Margin_0 : 20
373.71/85.62	c (39,0) c Margin_1 : 20
373.71/85.62	c (39,0) c Margin_2 : 20
373.71/85.62	c (39,0) c Margin_3 : 20
373.71/85.62	c (39,0) c Margin_4 : 20
373.71/85.62	c (39,0) c Margin_5 : 20
373.71/85.62	c (39,0) c Margin_6 : 20
373.71/85.62	c (39,0) c Margin_7 : 20
373.71/85.62	c (39,0) c Margin_total : 160
373.71/85.62	c (39,0) c Margin_winner : 20
373.71/85.62	c (39,0) c Exported_0 : 11548
373.71/85.62	c (39,0) c Exported_1 : 11187
373.71/85.62	c (39,0) c Exported_2 : 11231
373.71/85.62	c (39,0) c Exported_3 : 10383
373.71/85.62	c (39,0) c Exported_4 : 10692
373.71/85.62	c (39,0) c Exported_5 : 10657
373.71/85.62	c (39,0) c Exported_6 : 10434
373.71/85.62	c (39,0) c Exported_7 : 11097
373.71/85.62	c (39,0) c Exported_total : 87229
373.71/85.62	c (39,0) c Exported_winner : 11097
373.71/85.62	c (39,0) c Imported_0 : 66051
373.71/85.62	c (39,0) c Imported_1 : 68752
373.71/85.62	c (39,0) c Imported_2 : 72410
373.71/85.62	c (39,0) c Imported_3 : 66394
373.71/85.62	c (39,0) c Imported_4 : 72752
373.71/85.62	c (39,0) c Imported_5 : 70148
373.71/85.62	c (39,0) c Imported_6 : 72985
373.71/85.62	c (39,0) c Imported_7 : 71996
373.71/85.62	c (39,0) c Imported_total : 561488
373.71/85.62	c (39,0) c Imported_winner : 71996
373.71/85.62	c (39,0) c Good_0 : 291
373.71/85.62	c (39,0) c Good_1 : 322
373.71/85.62	c (39,0) c Good_2 : 353
373.71/85.62	c (39,0) c Good_3 : 302
373.71/85.62	c (39,0) c Good_4 : 339
373.71/85.62	c (39,0) c Good_5 : 304
373.71/85.62	c (39,0) c Good_6 : 353
373.71/85.62	c (39,0) c Good_7 : 343
373.71/85.62	c (39,0) c Good_total : 2607
373.71/85.62	c (39,0) c Good_winner : 343
373.71/85.62	c (39,0) c Purge_0 : 65760
373.71/85.62	c (39,0) c Purge_1 : 68430
373.71/85.62	c (39,0) c Purge_2 : 72057
373.71/85.62	c (39,0) c Purge_3 : 66092
373.71/85.62	c (39,0) c Purge_4 : 72413
373.71/85.62	c (39,0) c Purge_5 : 69844
373.71/85.62	c (39,0) c Purge_6 : 72632
373.71/85.62	c (39,0) c Purge_7 : 71653
373.71/85.62	c (39,0) c Purge_total : 558881
373.71/85.62	c (39,0) c Purge_winner : 71653
373.71/85.62	c (39,0) c Promoted_0 : 8018
373.71/85.62	c (39,0) c Promoted_1 : 7792
373.71/85.62	c (39,0) c Promoted_2 : 8448
373.71/85.62	c (39,0) c Promoted_3 : 8482
373.71/85.62	c (39,0) c Promoted_4 : 8689
373.71/85.62	c (39,0) c Promoted_5 : 8264
373.71/85.62	c (39,0) c Promoted_6 : 8207
373.71/85.62	c (39,0) c Promoted_7 : 8548
373.71/85.62	c (39,0) c Promoted_total : 66448
373.71/85.62	c (39,0) c Promoted_winner : 8548
373.71/85.62	c (39,0) c Remove_Imp_0 : 38610
373.71/85.62	c (39,0) c Remove_Imp_1 : 38676
373.71/85.62	c (39,0) c Remove_Imp_2 : 36137
373.71/85.62	c (39,0) c Remove_Imp_3 : 35774
373.71/85.62	c (39,0) c Remove_Imp_4 : 31847
373.71/85.62	c (39,0) c Remove_Imp_5 : 46457
373.71/85.62	c (39,0) c Remove_Imp_6 : 43967
373.71/85.62	c (39,0) c Remove_Imp_7 : 43830
373.71/85.62	c (39,0) c Remove_Imp_total : 315298
373.71/85.62	c (39,0) c Remove_Imp_winner : 43830
373.71/85.62	c (39,0) c Blocked_Reuse_0 : 0
373.71/85.62	c (39,0) c Blocked_Reuse_1 : 0
373.71/85.62	c (39,0) c Blocked_Reuse_2 : 0
373.71/85.62	c (39,0) c Blocked_Reuse_3 : 0
373.71/85.62	c (39,0) c Blocked_Reuse_4 : 0
373.71/85.62	c (39,0) c Blocked_Reuse_5 : 0
373.71/85.62	c (39,0) c Blocked_Reuse_6 : 0
373.71/85.62	c (39,0) c Blocked_Reuse_7 : 0
373.71/85.62	c (39,0) c Blocked_Reuse_total : 0
373.71/85.62	c (39,0) c Blocked_Reuse_winner : 0
373.71/85.62	c (39,0) c Unaries_0 : 1
373.71/85.62	c (39,0) c Unaries_1 : 1
373.71/85.62	c (39,0) c Unaries_2 : 3
373.71/85.62	c (39,0) c Unaries_3 : 0
373.71/85.62	c (39,0) c Unaries_4 : 8
373.71/85.62	c (39,0) c Unaries_5 : 3
373.71/85.62	c (39,0) c Unaries_6 : 6
373.71/85.62	c (39,0) c Unaries_7 : 11
373.71/85.62	c (39,0) c Unaries_total : 33
373.71/85.62	c (39,0) c Unaries_winner : 11
373.71/85.62	c (39,0) c Binaries_0 : 64
373.71/85.62	c (39,0) c Binaries_1 : 47
373.71/85.62	c (39,0) c Binaries_2 : 70
373.71/85.62	c (39,0) c Binaries_3 : 44
373.71/85.62	c (39,0) c Binaries_4 : 83
373.71/85.62	c (39,0) c Binaries_5 : 77
373.71/85.62	c (39,0) c Binaries_6 : 65
373.71/85.62	c (39,0) c Binaries_7 : 98
373.71/85.62	c (39,0) c Binaries_total : 548
373.71/85.62	c (39,0) c Binaries_winner : 98
373.71/85.62	c (39,0) c Glues_0 : 757
373.71/85.62	c (39,0) c Glues_1 : 755
373.71/85.62	c (39,0) c Glues_2 : 796
373.71/85.62	c (39,0) c Glues_3 : 723
373.71/85.62	c (39,0) c Glues_4 : 786
373.71/85.62	c (39,0) c Glues_5 : 821
373.71/85.62	c (39,0) c Glues_6 : 753
373.71/85.62	c (39,0) c Glues_7 : 862
373.71/85.62	c (39,0) c Glues_total : 6253
373.71/85.62	c (39,0) c Glues_winner : 862
373.71/85.62	c (39,0) c RunningTime_0 : 38.648358
373.71/85.62	c (39,0) c RunningTime_1 : 38.197750
373.71/85.62	c (39,0) c RunningTime_2 : 37.982901
373.71/85.62	c (39,0) c RunningTime_3 : 38.706477
373.71/85.62	c (39,0) c RunningTime_4 : 38.729091
373.71/85.62	c (39,0) c RunningTime_5 : 37.997206
373.71/85.62	c (39,0) c RunningTime_6 : 38.194006
373.71/85.62	c (39,0) c RunningTime_7 : 38.769491
373.71/85.62	c (39,0) c RunningTime_total : 307.225281
373.71/85.62	c (39,0) c RunningTime_winner : 38.769491
373.71/85.62	c (39,0) c WaitingTime_0 : 0.000357
373.71/85.62	c (39,0) c WaitingTime_1 : 0.000423
373.71/85.62	c (39,0) c WaitingTime_2 : 0.000435
373.71/85.62	c (39,0) c WaitingTime_3 : 0.000410
373.71/85.62	c (39,0) c WaitingTime_4 : 0.000386
373.71/85.62	c (39,0) c WaitingTime_5 : 0.000365
373.71/85.62	c (39,0) c WaitingTime_6 : 0.000399
373.71/85.62	c (39,0) c WaitingTime_7 : 0.000314
373.71/85.62	c (39,0) c WaitingTime_total : 0.003089
373.71/85.62	c (39,0) c WaitingTime_winner : 0.000314
373.71/85.62	c (39,0) c ExchangingTime_0 : 0.029855
373.71/85.62	c (39,0) c ExchangingTime_1 : 0.030578
373.71/85.62	c (39,0) c ExchangingTime_2 : 0.030726
373.71/85.62	c (39,0) c ExchangingTime_3 : 0.028748
373.71/85.62	c (39,0) c ExchangingTime_4 : 0.031687
373.71/85.62	c (39,0) c ExchangingTime_5 : 0.025982
373.71/85.62	c (39,0) c ExchangingTime_6 : 0.028868
373.71/85.62	c (39,0) c ExchangingTime_7 : 0.031600
373.71/85.62	c (39,0) c ExchangingTime_total : 0.238044
373.71/85.62	c (39,0) c ExchangingTime_winner : 0.031600
373.71/85.62	c (39,0) c PeriodProcTime_0 : 0.002202
373.71/85.62	c (39,0) c PeriodProcTime_1 : 0.002290
373.71/85.62	c (39,0) c PeriodProcTime_2 : 0.002673
373.71/85.62	c (39,0) c PeriodProcTime_3 : 0.003028
373.71/85.62	c (39,0) c PeriodProcTime_4 : 0.002668
373.71/85.62	c (39,0) c PeriodProcTime_5 : 0.002218
373.71/85.62	c (39,0) c PeriodProcTime_6 : 0.002794
373.71/85.62	c (39,0) c PeriodProcTime_7 : 0.002623
373.71/85.62	c (39,0) c PeriodProcTime_total : 0.020496
373.71/85.62	c (39,0) c PeriodProcTime_winner : 0.002623
373.71/85.62	c (39,0) c SolvingTime_0 : 38.680771
373.71/85.62	c (39,0) c SolvingTime_1 : 38.231041
373.71/85.62	c (39,0) c SolvingTime_2 : 38.016736
373.71/85.62	c (39,0) c SolvingTime_3 : 38.738663
373.71/85.62	c (39,0) c SolvingTime_4 : 38.763833
373.71/85.62	c (39,0) c SolvingTime_5 : 38.025771
373.71/85.62	c (39,0) c SolvingTime_6 : 38.226067
373.71/85.62	c (39,0) c SolvingTime_7 : 38.804029
373.71/85.62	c (39,0) c SolvingTime_total : 307.486911
373.71/85.62	c (39,0) c SolvingTime_winner : 38.804029
373.71/85.62	c (39,0) c PropagationTime_0 : 36.666176
373.71/85.62	c (39,0) c PropagationTime_1 : 36.348899
373.71/85.62	c (39,0) c PropagationTime_2 : 35.803599
373.71/85.62	c (39,0) c PropagationTime_3 : 36.785069
373.71/85.62	c (39,0) c PropagationTime_4 : 36.782898
373.71/85.62	c (39,0) c PropagationTime_5 : 35.827193
373.71/85.62	c (39,0) c PropagationTime_6 : 36.257676
373.71/85.62	c (39,0) c PropagationTime_7 : 36.777692
373.71/85.62	c (39,0) c PropagationTime_total : 291.249202
373.71/85.62	c (39,0) c PropagationTime_winner : 36.777692
373.71/85.62	c (39,0) c AnalysisTime_0 : 1.001062
373.71/85.62	c (39,0) c AnalysisTime_1 : 0.913710
373.71/85.62	c (39,0) c AnalysisTime_2 : 1.190627
373.71/85.62	c (39,0) c AnalysisTime_3 : 0.964602
373.71/85.62	c (39,0) c AnalysisTime_4 : 0.955728
373.71/85.62	c (39,0) c AnalysisTime_5 : 1.191689
373.71/85.62	c (39,0) c AnalysisTime_6 : 0.996498
373.71/85.62	c (39,0) c AnalysisTime_7 : 0.989429
373.71/85.62	c (39,0) c AnalysisTime_total : 8.203346
373.71/85.62	c (39,0) c AnalysisTime_winner : 0.989429
373.71/85.62	c (39,0) c ReductionTime_0 : 0.117377
373.71/85.62	c (39,0) c ReductionTime_1 : 0.112659
373.71/85.62	c (39,0) c ReductionTime_2 : 0.129756
373.71/85.62	c (39,0) c ReductionTime_3 : 0.108642
373.71/85.62	c (39,0) c ReductionTime_4 : 0.083657
373.71/85.62	c (39,0) c ReductionTime_5 : 0.122828
373.71/85.62	c (39,0) c ReductionTime_6 : 0.105574
373.71/85.62	c (39,0) c ReductionTime_7 : 0.117038
373.71/85.62	c (39,0) c ReductionTime_total : 0.897531
373.71/85.62	c (39,0) c ReductionTime_winner : 0.117038
373.71/85.62	c (39,0) c SimplifyTime_0 : 0.011523
373.71/85.62	c (39,0) c SimplifyTime_1 : 0.012046
373.71/85.62	c (39,0) c SimplifyTime_2 : 0.051093
373.71/85.62	c (39,0) c SimplifyTime_3 : 0.005676
373.71/85.62	c (39,0) c SimplifyTime_4 : 0.046622
373.71/85.62	c (39,0) c SimplifyTime_5 : 0.033757
373.71/85.62	c (39,0) c SimplifyTime_6 : 0.020790
373.71/85.62	c (39,0) c SimplifyTime_7 : 0.054812
373.71/85.62	c (39,0) c SimplifyTime_total : 0.236319
373.71/85.62	c (39,0) c SimplifyTime_winner : 0.054812
373.71/85.62	c (39,0) c UsedRateTime_0 : 0.000000
373.71/85.62	c (39,0) c UsedRateTime_1 : 0.000000
373.71/85.62	c (39,0) c UsedRateTime_2 : 0.000000
373.71/85.62	c (39,0) c UsedRateTime_3 : 0.000000
373.71/85.62	c (39,0) c UsedRateTime_4 : 0.000000
373.71/85.62	c (39,0) c UsedRateTime_5 : 0.000000
373.71/85.62	c (39,0) c UsedRateTime_6 : 0.000000
373.71/85.62	c (39,0) c UsedRateTime_7 : 0.000000
373.71/85.62	c (39,0) c UsedRateTime_total : 0.000000
373.71/85.62	c (39,0) c UsedRateTime_winner : 0.000000
373.71/85.62	c (39,0) c OverlapRateTime_0 : 0.000000
373.71/85.62	c (39,0) c OverlapRateTime_1 : 0.000000
373.71/85.62	c (39,0) c OverlapRateTime_2 : 0.000000
373.71/85.62	c (39,0) c OverlapRateTime_3 : 0.000000
373.71/85.62	c (39,0) c OverlapRateTime_4 : 0.000000
373.71/85.62	c (39,0) c OverlapRateTime_5 : 0.000000
373.71/85.62	c (39,0) c OverlapRateTime_6 : 0.000000
373.71/85.62	c (39,0) c OverlapRateTime_7 : 0.000000
373.71/85.62	c (39,0) c OverlapRateTime_total : 0.000000
373.71/85.63	c (39,0) c OverlapRateTime_winner : 0.000000
373.71/85.63	c (39,0) c
373.71/85.63	c (39,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
373.71/85.63	c (39,0) c
373.71/85.63	c (39,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
373.71/85.63	c (39,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
373.71/85.63	c (39,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
373.71/85.63	c (39,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
373.71/85.63	c (39,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
373.71/85.63	c (39,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
373.71/85.63	c (39,0) c | Initial random_seed   | 1017545337 | 1034448264 | 1109261904 | 1382478659 | 1757380628 |  530260933 | 1306221736 |  246955554 |
373.71/85.63	c (39,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
373.71/85.63	c (39,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
373.71/85.63	c (39,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
373.71/85.63	c (39,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
373.71/85.63	c (39,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
373.71/85.63	c (39,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
373.71/85.63	c (39,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
373.71/85.63	c (39,0) c | var_decay             |     0.9300 |     0.9300 |     0.9400 |     0.9300 |     0.9300 |     0.9400 |     0.9300 |     0.9300 |
373.71/85.63	c (39,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
373.71/85.63	c (39,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
373.71/85.63	c (39,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
373.71/85.63	c (39,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
373.71/85.63	c (39,0) 
373.71/85.63	c (39,0) s UNSATISFIABLE
373.71/85.63	c (39,0) SatSolver.solve End
373.71/85.63	c (39,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
373.71/85.63	c (39,0) Show results Begin
373.71/85.63	s UNSATISFIABLE
373.71/85.63	c (39,0) Show results End
373.71/85.63	c (39,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
373.71/85.63	c (39,0) 39,39,STOP-AFTER(ALL)
373.71/85.63	c END-Prog: Tue Sep 24 16:40:22 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 (12385 MiB free)
  memory of node 1: 16384 MiB (12782 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4405506-1569335979/watcher-4405506-1569335979 -o /var/tmp/evaluation-result-4405506-1569335979/solver-4405506-1569335979 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node145-1569335936-30460 --watchdog 2580 HOME/scop.sh 22g HOME/scop.jar -hybrid HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4405506-1569335979.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=30477, runsolver pid=30474
Current StackSize limit: 8192 KiB


[startup+0.100131 s]*
/proc/loadavg: 0.00 0.01 0.05 2/211 30499
/proc/meminfo: memFree=25678572/32770624 swapFree=66966880/67108860
[pid=30477] ppid=30474 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/30477/stat : 30477 (scop.sh) S 30474 30477 30433 0 -1 4202496 556 321 0 0 0 0 0 0 20 0 1 0 509534344 115843072 349 33554432000 4194304 5098028 140734862026880 140734862024136 140027423683196 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 31703040 140734862029564 140734862029912 140734862029912 140734862032841 0
/proc/30477/statm: 28282 349 296 221 0 87 0
[pid=30480] ppid=30477 vsize=27314120 memory=103172 CPUtime=0.09 cores=0-7
/proc/30480/stat : 30480 (java) S 30477 30477 30433 0 -1 1077944320 6372 0 0 0 7 2 0 0 20 0 20 0 509534344 27969658880 25793 33554432000 4194304 4196468 140728545766704 140728545749248 140614465023735 0 0 2 16800973 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 6713344 140728545772230 140728545772678 140728545772678 140728545775567 0
/proc/30480/statm: 6828530 25793 2752 1 0 6790935 0
[pid=30480/tid=30481] ppid=30477 vsize=27314120 memory=4134930498285298233 CPUtime=0.08 cores=0-7
/proc/30480/task/30481/stat : 30481 (java) R 30477 30477 30433 0 -1 4202560 4465 0 0 0 6 2 0 0 20 0 20 0 509534345 27969658880 25793 33554432000 4194304 4196468 140728545766704 140614436849920 140614465045661 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 6713344 140728545772230 140728545772678 140728545772678 140728545775567 0
[pid=30480/tid=30482] ppid=30477 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30480/task/30482/stat : 30482 (java) S 30477 30477 30433 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509534348 27969658880 25793 33554432000 4194304 4196468 140728545766704 140614469266576 140614465033941 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6713344 140728545772230 140728545772678 140728545772678 140728545775567 0
[pid=30480/tid=30483] ppid=30477 vsize=27314120 memory=140398207149696 CPUtime=0 cores=0-7
/proc/30480/task/30483/stat : 30483 (java) S 30477 30477 30433 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509534348 27969658880 25793 33554432000 4194304 4196468 140728545766704 140614283422736 140614465033941 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6713344 140728545772230 140728545772678 140728545772678 140728545775567 0
[pid=30480/tid=30484] ppid=30477 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30480/task/30484/stat : 30484 (java) S 30477 30477 30433 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509534348 27969658880 25793 33554432000 4194304 4196468 140728545766704 140614282369936 140614465033941 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6713344 140728545772230 140728545772678 140728545772678 140728545775567 0
[pid=30480/tid=30485] ppid=30477 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30480/task/30485/stat : 30485 (java) S 30477 30477 30433 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509534348 27969658880 25793 33554432000 4194304 4196468 140728545766704 140614281317136 140614465033941 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6713344 140728545772230 140728545772678 140728545772678 140728545775567 0
[pid=30480/tid=30486] ppid=30477 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30480/task/30486/stat : 30486 (java) S 30477 30477 30433 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509534348 27969658880 25793 33554432000 4194304 4196468 140728545766704 140614280264336 140614465033941 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6713344 140728545772230 140728545772678 140728545772678 140728545775567 0
[pid=30480/tid=30487] ppid=30477 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/30480/task/30487/stat : 30487 (java) S 30477 30477 30433 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509534348 27969658880 25793 33554432000 4194304 4196468 140728545766704 140614279211536 140614465033941 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6713344 140728545772230 140728545772678 140728545772678 140728545775567 0
[pid=30480/tid=30488] ppid=30477 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30480/task/30488/stat : 30488 (java) S 30477 30477 30433 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509534348 27969658880 25793 33554432000 4194304 4196468 140728545766704 140614278158736 140614465033941 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6713344 140728545772230 140728545772678 140728545772678 140728545775567 0
[pid=30480/tid=30489] ppid=30477 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30480/task/30489/stat : 30489 (java) S 30477 30477 30433 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509534348 27969658880 25793 33554432000 4194304 4196468 140728545766704 140613880805648 140614465033941 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6713344 140728545772230 140728545772678 140728545772678 140728545775567 0
[pid=30480/tid=30490] ppid=30477 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30480/task/30490/stat : 30490 (java) S 30477 30477 30433 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509534349 27969658880 25793 33554432000 4194304 4196468 140728545766704 140612919425904 140614465034882 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6713344 140728545772230 140728545772678 140728545772678 140728545775567 0
[pid=30480/tid=30491] ppid=30477 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30480/task/30491/stat : 30491 (java) S 30477 30477 30433 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 509534350 27969658880 25793 33554432000 4194304 4196468 140728545766704 140612128990752 140614465033941 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6713344 140728545772230 140728545772678 140728545772678 140728545775567 0
[pid=30480/tid=30492] ppid=30477 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30480/task/30492/stat : 30492 (java) S 30477 30477 30433 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 509534350 27969658880 25793 33554432000 4194304 4196468 140728545766704 140611994768752 140614465033941 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6713344 140728545772230 140728545772678 140728545772678 140728545775567 0
[pid=30480/tid=30493] ppid=30477 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30480/task/30493/stat : 30493 (java) S 30477 30477 30433 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509534353 27969658880 25793 33554432000 4194304 4196468 140728545766704 140611620264272 140614465042331 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6713344 140728545772230 140728545772678 140728545772678 140728545775567 0
[pid=30480/tid=30494] ppid=30477 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30480/task/30494/stat : 30494 (java) S 30477 30477 30433 0 -1 1077944384 29 0 0 0 0 0 0 0 20 0 20 0 509534353 27969658880 25793 33554432000 4194304 4196468 140728545766704 140612918372720 140614465034882 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6713344 140728545772230 140728545772678 140728545772678 140728545775567 0
[pid=30480/tid=30495] ppid=30477 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30480/task/30495/stat : 30495 (java) S 30477 30477 30433 0 -1 1077944384 273 0 0 0 0 0 0 0 20 0 20 0 509534353 27969658880 25793 33554432000 4194304 4196468 140728545766704 140612917319920 140614465034882 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6713344 140728545772230 140728545772678 140728545772678 140728545775567 0
[pid=30480/tid=30496] ppid=30477 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30480/task/30496/stat : 30496 (java) S 30477 30477 30433 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 20 0 509534353 27969658880 25793 33554432000 4194304 4196468 140728545766704 140612916267120 140614465034882 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6713344 140728545772230 140728545772678 140728545772678 140728545775567 0
[pid=30480/tid=30497] ppid=30477 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30480/task/30497/stat : 30497 (java) S 30477 30477 30433 0 -1 1077944384 239 0 0 0 0 0 0 0 20 0 20 0 509534353 27969658880 25793 33554432000 4194304 4196468 140728545766704 140612915214320 140614465034882 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6713344 140728545772230 140728545772678 140728545772678 140728545775567 0
[pid=30480/tid=30498] ppid=30477 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30480/task/30498/stat : 30498 (java) S 30477 30477 30433 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509534353 27969658880 25793 33554432000 4194304 4196468 140728545766704 140611122359392 140614465033941 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6713344 140728545772230 140728545772678 140728545772678 140728545775567 0
[pid=30480/tid=30499] ppid=30477 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/30480/task/30499/stat : 30499 (java) S 30477 30477 30433 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509534353 27969658880 25793 33554432000 4194304 4196468 140728545766704 140612914162736 140614465034882 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6713344 140728545772230 140728545772678 140728545772678 140728545775567 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 104568 KiB

[startup+0.21041 s]*
/proc/loadavg: 0.00 0.01 0.05 3/211 30499
/proc/meminfo: memFree=25657688/32770624 swapFree=66966880/67108860
[pid=30477] ppid=30474 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/30477/stat : 30477 (scop.sh) S 30474 30477 30433 0 -1 4202496 556 321 0 0 0 0 0 0 20 0 1 0 509534344 115843072 349 33554432000 4194304 5098028 140734862026880 140734862024136 140027423683196 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 31703040 140734862029564 140734862029912 140734862029912 140734862032841 0
/proc/30477/statm: 28282 349 296 221 0 87 0
[pid=30480] ppid=30477 vsize=27314120 memory=122464 CPUtime=0.24 cores=0-7
/proc/30480/stat : 30480 (java) S 30477 30477 30433 0 -1 1077944320 11486 0 0 0 20 4 0 0 20 0 20 0 509534344 27969658880 30616 33554432000 4194304 4196468 140728545766704 140728545749248 140614465023735 0 0 2 16800973 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 6713344 140728545772230 140728545772678 140728545772678 140728545775567 0
/proc/30480/statm: 6828530 30616 2922 1 0 6790935 0
[pid=30480/tid=30481] ppid=30477 vsize=27314120 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/30480/task/30481/stat : 30481 (java) R 30477 30477 30433 0 -1 4202560 9178 0 0 0 16 3 0 0 20 0 20 0 509534345 27969658880 30616 33554432000 4194304 4196468 140728545766704 140614436847696 140614446587310 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 6713344 140728545772230 140728545772678 140728545772678 140728545775567 0
[pid=30480/tid=30482] ppid=30477 vsize=27314120 memory=329 CPUtime=0 cores=0-7
/proc/30480/task/30482/stat : 30482 (java) S 30477 30477 30433 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509534348 27969658880 30616 33554432000 4194304 4196468 140728545766704 140614469266576 140614465033941 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6713344 140728545772230 140728545772678 140728545772678 140728545775567 0
[pid=30480/tid=30483] ppid=30477 vsize=27314120 memory=140398207176560 CPUtime=0 cores=0-7
/proc/30480/task/30483/stat : 30483 (java) S 30477 30477 30433 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509534348 27969658880 30616 33554432000 4194304 4196468 140728545766704 140614283422736 140614465033941 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6713344 140728545772230 140728545772678 140728545772678 140728545775567 0
[pid=30480/tid=30484] ppid=30477 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/30480/task/30484/stat : 30484 (java) S 30477 30477 30433 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509534348 27969658880 30616 33554432000 4194304 4196468 140728545766704 140614282369936 140614465033941 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6713344 140728545772230 140728545772678 140728545772678 140728545775567 0
[pid=30480/tid=30485] ppid=30477 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30480/task/30485/stat : 30485 (java) S 30477 30477 30433 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509534348 27969658880 30616 33554432000 4194304 4196468 140728545766704 140614281317136 140614465033941 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6713344 140728545772230 140728545772678 140728545772678 140728545775567 0
[pid=30480/tid=30486] ppid=30477 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30480/task/30486/stat : 30486 (java) S 30477 30477 30433 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509534348 27969658880 30616 33554432000 4194304 4196468 140728545766704 140614280264336 140614465033941 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6713344 140728545772230 140728545772678 140728545772678 140728545775567 0
[pid=30480/tid=30487] ppid=30477 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/30480/task/30487/stat : 30487 (java) S 30477 30477 30433 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509534348 27969658880 30616 33554432000 4194304 4196468 140728545766704 140614279211536 140614465033941 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6713344 140728545772230 140728545772678 140728545772678 140728545775567 0
[pid=30480/tid=30488] ppid=30477 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30480/task/30488/stat : 30488 (java) S 30477 30477 30433 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509534348 27969658880 30616 33554432000 4194304 4196468 140728545766704 140614278158736 140614465033941 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6713344 140728545772230 140728545772678 140728545772678 140728545775567 0
[pid=30480/tid=30489] ppid=30477 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30480/task/30489/stat : 30489 (java) S 30477 30477 30433 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509534348 27969658880 30616 33554432000 4194304 4196468 140728545766704 140613880805648 140614465033941 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6713344 140728545772230 140728545772678 140728545772678 140728545775567 0
[pid=30480/tid=30490] ppid=30477 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30480/task/30490/stat : 30490 (java) S 30477 30477 30433 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509534349 27969658880 30616 33554432000 4194304 4196468 140728545766704 140612919425904 140614465034882 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6713344 140728545772230 140728545772678 140728545772678 140728545775567 0
[pid=30480/tid=30491] ppid=30477 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30480/task/30491/stat : 30491 (java) S 30477 30477 30433 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 509534350 27969658880 30616 33554432000 4194304 4196468 140728545766704 140612128990752 140614465033941 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6713344 140728545772230 140728545772678 140728545772678 140728545775567 0
[pid=30480/tid=30492] ppid=30477 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30480/task/30492/stat : 30492 (java) S 30477 30477 30433 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 509534350 27969658880 30616 33554432000 4194304 4196468 140728545766704 140611994768752 140614465033941 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6713344 140728545772230 140728545772678 140728545772678 140728545775567 0
[pid=30480/tid=30493] ppid=30477 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30480/task/30493/stat : 30493 (java) S 30477 30477 30433 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509534353 27969658880 30616 33554432000 4194304 4196468 140728545766704 140611620264272 140614465042331 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6713344 140728545772230 140728545772678 140728545772678 140728545775567 0
[pid=30480/tid=30494] ppid=30477 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30480/task/30494/stat : 30494 (java) S 30477 30477 30433 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 20 0 509534353 27969658880 30616 33554432000 4194304 4196468 140728545766704 140612918372720 140614465034882 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6713344 140728545772230 140728545772678 140728545772678 140728545775567 0
[pid=30480/tid=30495] ppid=30477 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30480/task/30495/stat : 30495 (java) S 30477 30477 30433 0 -1 1077944384 285 0 0 0 0 0 0 0 20 0 20 0 509534353 27969658880 30616 33554432000 4194304 4196468 140728545766704 140612917319920 140614465034882 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6713344 140728545772230 140728545772678 140728545772678 140728545775567 0
[pid=30480/tid=30496] ppid=30477 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/30480/task/30496/stat : 30496 (java) S 30477 30477 30433 0 -1 1077944384 125 0 0 0 0 0 0 0 20 0 20 0 509534353 27969658880 30616 33554432000 4194304 4196468 140728545766704 140612916267120 140614465034882 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6713344 140728545772230 140728545772678 140728545772678 140728545775567 0
[pid=30480/tid=30497] ppid=30477 vsize=27314120 memory=-1 CPUtime=0.02 cores=0-7
/proc/30480/task/30497/stat : 30497 (java) S 30477 30477 30433 0 -1 1077944384 469 0 0 0 2 0 0 0 20 0 20 0 509534353 27969658880 30616 33554432000 4194304 4196468 140728545766704 140612915214320 140614465034882 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6713344 140728545772230 140728545772678 140728545772678 140728545775567 0
[pid=30480/tid=30498] ppid=30477 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30480/task/30498/stat : 30498 (java) S 30477 30477 30433 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509534353 27969658880 30616 33554432000 4194304 4196468 140728545766704 140611122359392 140614465033941 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6713344 140728545772230 140728545772678 140728545772678 140728545775567 0
[pid=30480/tid=30499] ppid=30477 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/30480/task/30499/stat : 30499 (java) S 30477 30477 30433 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509534353 27969658880 30616 33554432000 4194304 4196468 140728545766704 140612914162736 140614465034882 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6713344 140728545772230 140728545772678 140728545772678 140728545775567 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 123860 KiB

[startup+0.310575 s]*
/proc/loadavg: 0.00 0.01 0.05 2/211 30499
/proc/meminfo: memFree=25655956/32770624 swapFree=66966880/67108860
[pid=30477] ppid=30474 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/30477/stat : 30477 (scop.sh) S 30474 30477 30433 0 -1 4202496 556 321 0 0 0 0 0 0 20 0 1 0 509534344 115843072 349 33554432000 4194304 5098028 140734862026880 140734862024136 140027423683196 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 31703040 140734862029564 140734862029912 140734862029912 140734862032841 0
/proc/30477/statm: 28282 349 296 221 0 87 0
[pid=30480] ppid=30477 vsize=27314120 memory=126144 CPUtime=0.41 cores=0-7
/proc/30480/stat : 30480 (java) S 30477 30477 30433 0 -1 1077944320 12421 0 0 0 37 4 0 0 20 0 20 0 509534344 27969658880 31536 33554432000 4194304 4196468 140728545766704 140728545749248 140614465023735 0 0 2 16800973 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 6713344 140728545772230 140728545772678 140728545772678 140728545775567 0
/proc/30480/statm: 6828530 31536 3029 1 0 6790935 0
[pid=30480/tid=30481] ppid=30477 vsize=27314120 memory=6791534058613427641 CPUtime=0.28 cores=0-7
/proc/30480/task/30481/stat : 30481 (java) R 30477 30477 30433 0 -1 4202560 9946 0 0 0 25 3 0 0 20 0 20 0 509534345 27969658880 31536 33554432000 4194304 4196468 140728545766704 140614436841232 140614448210544 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 6713344 140728545772230 140728545772678 140728545772678 140728545775567 0
[pid=30480/tid=30482] ppid=30477 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30480/task/30482/stat : 30482 (java) S 30477 30477 30433 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509534348 27969658880 31536 33554432000 4194304 4196468 140728545766704 140614469266576 140614465033941 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6713344 140728545772230 140728545772678 140728545772678 140728545775567 0
[pid=30480/tid=30483] ppid=30477 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30480/task/30483/stat : 30483 (java) S 30477 30477 30433 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509534348 27969658880 31536 33554432000 4194304 4196468 140728545766704 140614283422736 140614465033941 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6713344 140728545772230 140728545772678 140728545772678 140728545775567 0
[pid=30480/tid=30484] ppid=30477 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30480/task/30484/stat : 30484 (java) S 30477 30477 30433 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509534348 27969658880 31536 33554432000 4194304 4196468 140728545766704 140614282369936 140614465033941 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6713344 140728545772230 140728545772678 140728545772678 140728545775567 0
[pid=30480/tid=30485] ppid=30477 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30480/task/30485/stat : 30485 (java) S 30477 30477 30433 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509534348 27969658880 31536 33554432000 4194304 4196468 140728545766704 140614281317136 140614465033941 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6713344 140728545772230 140728545772678 140728545772678 140728545775567 0
[pid=30480/tid=30486] ppid=30477 vsize=27314120 memory=2244 CPUtime=0 cores=0-7
/proc/30480/task/30486/stat : 30486 (java) S 30477 30477 30433 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509534348 27969658880 31536 33554432000 4194304 4196468 140728545766704 140614280264336 140614465033941 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6713344 140728545772230 140728545772678 140728545772678 140728545775567 0
[pid=30480/tid=30487] ppid=30477 vsize=27314120 memory=140398051816367 CPUtime=0 cores=0-7
/proc/30480/task/30487/stat : 30487 (java) S 30477 30477 30433 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509534348 27969658880 31536 33554432000 4194304 4196468 140728545766704 140614279211536 140614465033941 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6713344 140728545772230 140728545772678 140728545772678 140728545775567 0
[pid=30480/tid=30488] ppid=30477 vsize=27314120 memory=140398051818672 CPUtime=0 cores=0-7
/proc/30480/task/30488/stat : 30488 (java) S 30477 30477 30433 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509534348 27969658880 31536 33554432000 4194304 4196468 140728545766704 140614278158736 140614465033941 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6713344 140728545772230 140728545772678 140728545772678 140728545775567 0
[pid=30480/tid=30489] ppid=30477 vsize=27314120 memory=3472464296232990176 CPUtime=0 cores=0-7
/proc/30480/task/30489/stat : 30489 (java) S 30477 30477 30433 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509534348 27969658880 31536 33554432000 4194304 4196468 140728545766704 140613880805648 140614465033941 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6713344 140728545772230 140728545772678 140728545772678 140728545775567 0
[pid=30480/tid=30490] ppid=30477 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30480/task/30490/stat : 30490 (java) S 30477 30477 30433 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509534349 27969658880 31536 33554432000 4194304 4196468 140728545766704 140612919425904 140614465034882 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6713344 140728545772230 140728545772678 140728545772678 140728545775567 0
[pid=30480/tid=30491] ppid=30477 vsize=27314120 memory=280796103648912 CPUtime=0 cores=0-7
/proc/30480/task/30491/stat : 30491 (java) S 30477 30477 30433 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 509534350 27969658880 31536 33554432000 4194304 4196468 140728545766704 140612128990752 140614465033941 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6713344 140728545772230 140728545772678 140728545772678 140728545775567 0
[pid=30480/tid=30492] ppid=30477 vsize=27314120 memory=280796103655824 CPUtime=0 cores=0-7
/proc/30480/task/30492/stat : 30492 (java) S 30477 30477 30433 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 509534350 27969658880 31536 33554432000 4194304 4196468 140728545766704 140611994768752 140614465033941 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6713344 140728545772230 140728545772678 140728545772678 140728545775567 0
[pid=30480/tid=30493] ppid=30477 vsize=27314120 memory=280796103597072 CPUtime=0 cores=0-7
/proc/30480/task/30493/stat : 30493 (java) S 30477 30477 30433 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509534353 27969658880 31536 33554432000 4194304 4196468 140728545766704 140611620264272 140614465042331 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6713344 140728545772230 140728545772678 140728545772678 140728545775567 0
[pid=30480/tid=30494] ppid=30477 vsize=27314120 memory=280796103669648 CPUtime=0.01 cores=0-7
/proc/30480/task/30494/stat : 30494 (java) S 30477 30477 30433 0 -1 1077944384 156 0 0 0 1 0 0 0 20 0 20 0 509534353 27969658880 31536 33554432000 4194304 4196468 140728545766704 140612918372720 140614465034882 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6713344 140728545772230 140728545772678 140728545772678 140728545775567 0
[pid=30480/tid=30495] ppid=30477 vsize=27314120 memory=280796103676560 CPUtime=0.01 cores=0-7
/proc/30480/task/30495/stat : 30495 (java) S 30477 30477 30433 0 -1 1077944384 297 0 0 0 1 0 0 0 20 0 20 0 509534353 27969658880 31536 33554432000 4194304 4196468 140728545766704 140612917319920 140614465034882 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6713344 140728545772230 140728545772678 140728545772678 140728545775567 0
[pid=30480/tid=30496] ppid=30477 vsize=27314120 memory=280796103674256 CPUtime=0.01 cores=0-7
/proc/30480/task/30496/stat : 30496 (java) S 30477 30477 30433 0 -1 1077944384 168 0 0 0 1 0 0 0 20 0 20 0 509534353 27969658880 31536 33554432000 4194304 4196468 140728545766704 140612916267120 140614465034882 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6713344 140728545772230 140728545772678 140728545772678 140728545775567 0
[pid=30480/tid=30497] ppid=30477 vsize=27314120 memory=280796103690416 CPUtime=0.07 cores=0-7
/proc/30480/task/30497/stat : 30497 (java) S 30477 30477 30433 0 -1 1077944384 492 0 0 0 7 0 0 0 20 0 20 0 509534353 27969658880 31536 33554432000 4194304 4196468 140728545766704 140612915214320 140614465034882 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6713344 140728545772230 140728545772678 140728545772678 140728545775567 0
[pid=30480/tid=30498] ppid=30477 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30480/task/30498/stat : 30498 (java) S 30477 30477 30433 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509534353 27969658880 31536 33554432000 4194304 4196468 140728545766704 140611122359392 140614465033941 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6713344 140728545772230 140728545772678 140728545772678 140728545775567 0
[pid=30480/tid=30499] ppid=30477 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/30480/task/30499/stat : 30499 (java) S 30477 30477 30433 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509534353 27969658880 31536 33554432000 4194304 4196468 140728545766704 140612914162736 140614465034882 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6713344 140728545772230 140728545772678 140728545772678 140728545775567 0
Current children cumulated CPU time: 0.41 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 127540 KiB

[startup+0.700957 s]
/proc/loadavg: 0.24 0.06 0.06 3/211 30499
/proc/meminfo: memFree=25632268/32770624 swapFree=66966880/67108860
[pid=30477] ppid=30474 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/30477/stat : 30477 (scop.sh) S 30474 30477 30433 0 -1 4202496 556 321 0 0 0 0 0 0 20 0 1 0 509534344 115843072 349 33554432000 4194304 5098028 140734862026880 140734862024136 140027423683196 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 31703040 140734862029564 140734862029912 140734862029912 140734862032841 0
/proc/30477/statm: 28282 349 296 221 0 87 0
[pid=30480] ppid=30477 vsize=27320392 memory=163176 CPUtime=0.99 cores=0-7
/proc/30480/stat : 30480 (java) S 30477 30477 30433 0 -1 1077944320 20021 0 0 0 92 7 0 0 20 0 20 0 509534344 27976081408 40794 33554432000 4194304 4196468 140728545766704 140728545749248 140614465023735 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 6713344 140728545772230 140728545772678 140728545772678 140728545775567 0
/proc/30480/statm: 6830098 40794 3166 1 0 6791447 0
[pid=30480/tid=30481] ppid=30477 vsize=27320392 memory=280796104048304 CPUtime=0.66 cores=0-7
/proc/30480/task/30481/stat : 30481 (java) R 30477 30477 30433 0 -1 4202560 17023 0 0 0 61 5 0 0 20 0 20 0 509534345 27976081408 40794 33554432000 4194304 4196468 140728545766704 140614436861856 140614465035670 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 6713344 140728545772230 140728545772678 140728545772678 140728545775567 0
[pid=30480/tid=30482] ppid=30477 vsize=27320392 memory=140398052025200 CPUtime=0 cores=0-7
/proc/30480/task/30482/stat : 30482 (java) S 30477 30477 30433 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509534348 27976081408 40794 33554432000 4194304 4196468 140728545766704 140614469266576 140614465033941 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6713344 140728545772230 140728545772678 140728545772678 140728545775567 0
[pid=30480/tid=30483] ppid=30477 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/30480/task/30483/stat : 30483 (java) S 30477 30477 30433 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509534348 27976081408 40794 33554432000 4194304 4196468 140728545766704 140614283422736 140614465033941 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6713344 140728545772230 140728545772678 140728545772678 140728545775567 0
[pid=30480/tid=30484] ppid=30477 vsize=27320392 memory=2832 CPUtime=0 cores=0-7
/proc/30480/task/30484/stat : 30484 (java) S 30477 30477 30433 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509534348 27976081408 40794 33554432000 4194304 4196468 140728545766704 140614282369936 140614465033941 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6713344 140728545772230 140728545772678 140728545772678 140728545775567 0

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

[pid=30503/tid=30516] ppid=30477 vsize=8414124 memory=288288857282323199 CPUtime=0 cores=0-7
/proc/30503/task/30516/stat : 30516 (java) S 30477 30477 30433 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509538947 8616062976 29600 33554432000 4194304 4196468 140727356206256 139997372831952 139999370016667 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13697024 140727356208095 140727356208262 140727356208262 140727356211151 0
[pid=30503/tid=30517] ppid=30477 vsize=8414124 memory=288370774207817875 CPUtime=0.07 cores=0-7
/proc/30503/task/30517/stat : 30517 (java) S 30477 30477 30433 0 -1 1077944384 497 0 0 0 7 0 0 0 20 0 24 0 509538947 8616062976 29600 33554432000 4194304 4196468 140727356206256 139998395378160 139999370009218 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13697024 140727356208095 140727356208262 140727356208262 140727356211151 0
[pid=30503/tid=30518] ppid=30477 vsize=8414124 memory=280796104709664 CPUtime=0.06 cores=0-7
/proc/30503/task/30518/stat : 30518 (java) S 30477 30477 30433 0 -1 1077944384 389 0 0 0 6 0 0 0 20 0 24 0 509538947 8616062976 29600 33554432000 4194304 4196468 140727356206256 139998394325616 139999370009218 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13697024 140727356208095 140727356208262 140727356208262 140727356211151 0
[pid=30503/tid=30519] ppid=30477 vsize=8414124 memory=280796104709728 CPUtime=0.05 cores=0-7
/proc/30503/task/30519/stat : 30519 (java) S 30477 30477 30433 0 -1 1077944384 271 0 0 0 5 0 0 0 20 0 24 0 509538947 8616062976 29600 33554432000 4194304 4196468 140727356206256 139998393273072 139999370009218 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13697024 140727356208095 140727356208262 140727356208262 140727356211151 0
[pid=30503/tid=30520] ppid=30477 vsize=8414124 memory=280796104709792 CPUtime=0.19 cores=0-7
/proc/30503/task/30520/stat : 30520 (java) S 30477 30477 30433 0 -1 1077944384 531 0 0 0 19 0 0 0 20 0 24 0 509538947 8616062976 29600 33554432000 4194304 4196468 140727356206256 139998392220528 139999370009218 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13697024 140727356208095 140727356208262 140727356208262 140727356211151 0
[pid=30503/tid=30521] ppid=30477 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/30503/task/30521/stat : 30521 (java) S 30477 30477 30433 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 509538947 8616062976 29600 33554432000 4194304 4196468 140727356206256 139996874926304 139999370008277 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13697024 140727356208095 140727356208262 140727356208262 140727356211151 0
[pid=30503/tid=30522] ppid=30477 vsize=8414124 memory=118400 CPUtime=0.02 cores=0-7
/proc/30503/task/30522/stat : 30522 (java) S 30477 30477 30433 0 -1 1077944384 5 0 0 0 0 2 0 0 20 0 24 0 509538948 8616062976 29600 33554432000 4194304 4196468 140727356206256 139998391167408 139999370009218 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13697024 140727356208095 140727356208262 140727356208262 140727356211151 0
[pid=30503/tid=30524] ppid=30477 vsize=8414124 memory=184800 CPUtime=0 cores=0-7
/proc/30503/task/30524/stat : 30524 (java) S 30477 30477 30433 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 509539014 8616062976 29600 33554432000 4194304 4196468 140727356206256 139998383133888 139999370022681 0 4 2 25189581 18446744071579417331 0 0 -1 0 0 0 0 0 0 6293624 6294260 13697024 140727356208095 140727356208262 140727356208262 140727356211151 0
[pid=30503/tid=30526] ppid=30477 vsize=8414124 memory=-8961430349871870354 CPUtime=0 cores=0-7
/proc/30503/task/30526/stat : 30526 (java) S 30477 30477 30433 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 24 0 509539014 8616062976 29600 33554432000 4194304 4196468 140727356206256 139996203826960 139999370019997 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 13697024 140727356208095 140727356208262 140727356208262 140727356211151 0
[pid=30503/tid=30527] ppid=30477 vsize=8414124 memory=7228651658508070255 CPUtime=0 cores=0-7
/proc/30503/task/30527/stat : 30527 (java) S 30477 30477 30433 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 509539014 8616062976 29600 33554432000 4194304 4196468 140727356206256 139996472262544 139999370019997 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 13697024 140727356208095 140727356208262 140727356208262 140727356211151 0
[pid=30503/tid=30528] ppid=30477 vsize=8414124 memory=7593753320735658324 CPUtime=0 cores=0-7
/proc/30503/task/30528/stat : 30528 (java) S 30477 30477 30433 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 509539016 8616062976 29600 33554432000 4194304 4196468 140727356206256 139995935399600 139999370008277 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13697024 140727356208095 140727356208262 140727356208262 140727356211151 0
Current children cumulated CPU time: 370.18 s
Current children cumulated vsize: 9190424 KiB
Current children cumulated memory: 308504 KiB

[startup+85.2013 s]
/proc/loadavg: 3.85 1.07 0.40 7/223 30546
/proc/meminfo: memFree=25466208/32770624 swapFree=66966880/67108860
[pid=30477] ppid=30474 vsize=113128 memory=1476 CPUtime=66.19 cores=0-7
/proc/30477/stat : 30477 (scop.sh) S 30474 30477 30433 0 -1 4202496 583 64099 0 0 0 0 6360 259 20 0 1 0 509534344 115843072 369 33554432000 4194304 5098028 140734862026880 140734862023624 140027423683196 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 31703040 140734862029564 140734862029912 140734862029912 140734862032841 0
/proc/30477/statm: 28282 369 311 221 0 87 0
[pid=30503] ppid=30477 vsize=8414124 memory=118400 CPUtime=1.18 cores=0-7
/proc/30503/stat : 30503 (java) S 30477 30477 30433 0 -1 1077944320 20046 0 0 0 111 7 0 0 20 0 24 0 509538941 8616062976 29600 33554432000 4194304 4196468 140727356206256 140727356188800 139999369998071 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 13697024 140727356208095 140727356208262 140727356208262 140727356211151 0
/proc/30503/statm: 2103531 29600 3208 1 0 2064875 0
[pid=30523] ppid=30503 vsize=663172 memory=195844 CPUtime=304.93 cores=0-7
/proc/30523/stat : 30523 (manyglucose-4.1) S 30503 30477 30433 0 -1 1077944320 176777 0 1 0 30408 85 0 0 20 0 5 0 509539013 679088128 48961 33554432000 4194304 4454172 140727272284800 140727272283184 139654251040503 0 4 0 8388610 18446744073709551615 0 0 17 2 0 0 0 0 0 6552832 6554400 21364736 140727272289101 140727272289308 140727272289308 140727272292278 0
/proc/30523/statm: 165793 48961 419 64 0 161461 0
[pid=30523/tid=30529] ppid=30503 vsize=663172 memory=118400 CPUtime=38.32 cores=0-7
/proc/30523/task/30529/stat : 30529 (manyglucose-4.1) R 30503 30477 30433 0 -1 4202560 22475 0 0 0 3823 9 0 0 20 0 5 0 509539024 679088128 48961 33554432000 4194304 4454172 140727272284800 139654227856488 4351289 0 4 0 8388610 0 0 0 -1 5 0 0 0 0 0 6552832 6554400 21364736 140727272289101 140727272289308 140727272289308 140727272292278 0
[pid=30523/tid=30532] ppid=30503 vsize=663172 memory=184176 CPUtime=38.31 cores=0-7
/proc/30523/task/30532/stat : 30532 (manyglucose-4.1) R 30503 30477 30433 0 -1 4202560 20222 0 0 0 3822 9 0 0 20 0 5 0 509539024 679088128 48961 33554432000 4194304 4454172 140727272284800 139654202678376 4351800 0 4 0 8388610 0 0 0 -1 0 0 0 0 0 0 6552832 6554400 21364736 140727272289101 140727272289308 140727272289308 140727272292278 0
[pid=30523/tid=30533] ppid=30503 vsize=663172 memory=1760 CPUtime=38.34 cores=0-7
/proc/30523/task/30533/stat : 30533 (manyglucose-4.1) R 30503 30477 30433 0 -1 4202560 21449 0 0 0 3823 11 0 0 20 0 5 0 509539024 679088128 48961 33554432000 4194304 4454172 140727272284800 139654194285672 4350276 0 4 0 8388610 0 0 0 -1 4 0 0 0 0 0 6552832 6554400 21364736 140727272289101 140727272289308 140727272289308 140727272292278 0
[pid=30523/tid=30536] ppid=30503 vsize=663172 memory=111636 CPUtime=37.49 cores=0-7
/proc/30523/task/30536/stat : 30536 (manyglucose-4.1) R 30503 30477 30433 0 -1 4202560 18552 0 0 0 3738 11 0 0 20 0 5 0 509539024 679088128 48961 33554432000 4194304 4454172 140727272284800 139654169107320 4351318 0 4 0 8388610 0 0 0 -1 3 0 0 0 0 0 6552832 6554400 21364736 140727272289101 140727272289308 140727272289308 140727272292278 0
[pid=30503/tid=30504] ppid=30477 vsize=8414124 memory=804 CPUtime=0.75 cores=0-7
/proc/30503/task/30504/stat : 30504 (java) S 30477 30477 30433 0 -1 1077944384 16933 0 0 0 69 6 0 0 20 0 24 0 509538941 8616062976 29600 33554432000 4194304 4196468 140727356206256 139999341838240 139999370008277 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13697024 140727356208095 140727356208262 140727356208262 140727356211151 0
[pid=30503/tid=30505] ppid=30477 vsize=8414124 memory=1660 CPUtime=0 cores=0-7
/proc/30503/task/30505/stat : 30505 (java) S 30477 30477 30433 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 509538942 8616062976 29600 33554432000 4194304 4196468 140727356206256 139999374240016 139999370008277 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13697024 140727356208095 140727356208262 140727356208262 140727356211151 0
[pid=30503/tid=30506] ppid=30477 vsize=8414124 memory=4104 CPUtime=0 cores=0-7
/proc/30503/task/30506/stat : 30506 (java) S 30477 30477 30433 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 509538942 8616062976 29600 33554432000 4194304 4196468 140727356206256 139999174408592 139999370008277 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13697024 140727356208095 140727356208262 140727356208262 140727356211151 0
[pid=30503/tid=30507] ppid=30477 vsize=8414124 memory=1808 CPUtime=0 cores=0-7
/proc/30503/task/30507/stat : 30507 (java) S 30477 30477 30433 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509538942 8616062976 29600 33554432000 4194304 4196468 140727356206256 139999173356048 139999370008277 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13697024 140727356208095 140727356208262 140727356208262 140727356211151 0
[pid=30503/tid=30508] ppid=30477 vsize=8414124 memory=3616 CPUtime=0 cores=0-7
/proc/30503/task/30508/stat : 30508 (java) S 30477 30477 30433 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 509538943 8616062976 29600 33554432000 4194304 4196468 140727356206256 139999172303504 139999370008277 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13697024 140727356208095 140727356208262 140727356208262 140727356211151 0
[pid=30503/tid=30509] ppid=30477 vsize=8414124 memory=1552 CPUtime=0 cores=0-7
/proc/30503/task/30509/stat : 30509 (java) S 30477 30477 30433 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 509538943 8616062976 29600 33554432000 4194304 4196468 140727356206256 139999171250960 139999370008277 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13697024 140727356208095 140727356208262 140727356208262 140727356211151 0
[pid=30503/tid=30510] ppid=30477 vsize=8414124 memory=1708 CPUtime=0 cores=0-7
/proc/30503/task/30510/stat : 30510 (java) S 30477 30477 30433 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 509538943 8616062976 29600 33554432000 4194304 4196468 140727356206256 139999170198416 139999370008277 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13697024 140727356208095 140727356208262 140727356208262 140727356211151 0
[pid=30503/tid=30511] ppid=30477 vsize=8414124 memory=-1088251628401078322 CPUtime=0 cores=0-7
/proc/30503/task/30511/stat : 30511 (java) S 30477 30477 30433 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509538943 8616062976 29600 33554432000 4194304 4196468 140727356206256 139999169145872 139999370008277 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13697024 140727356208095 140727356208262 140727356208262 140727356211151 0
[pid=30503/tid=30512] ppid=30477 vsize=8414124 memory=6656426216303648864 CPUtime=0 cores=0-7
/proc/30503/task/30512/stat : 30512 (java) S 30477 30477 30433 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 509538943 8616062976 29600 33554432000 4194304 4196468 140727356206256 139999168093328 139999370008277 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13697024 140727356208095 140727356208262 140727356208262 140727356211151 0
[pid=30503/tid=30513] ppid=30477 vsize=8414124 memory=6944656592455360604 CPUtime=0 cores=0-7
/proc/30503/task/30513/stat : 30513 (java) S 30477 30477 30433 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 509538944 8616062976 29600 33554432000 4194304 4196468 140727356206256 139998396430320 139999370009218 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13697024 140727356208095 140727356208262 140727356208262 140727356211151 0
[pid=30503/tid=30514] ppid=30477 vsize=8414124 memory=6944656592455360604 CPUtime=0 cores=0-7
/proc/30503/task/30514/stat : 30514 (java) S 30477 30477 30433 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 509538944 8616062976 29600 33554432000 4194304 4196468 140727356206256 139997881557920 139999370008277 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13697024 140727356208095 140727356208262 140727356208262 140727356211151 0
[pid=30503/tid=30515] ppid=30477 vsize=8414124 memory=-3258418265892434876 CPUtime=0 cores=0-7
/proc/30503/task/30515/stat : 30515 (java) S 30477 30477 30433 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 509538945 8616062976 29600 33554432000 4194304 4196468 140727356206256 139997747336176 139999370008277 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13697024 140727356208095 140727356208262 140727356208262 140727356211151 0
[pid=30503/tid=30516] ppid=30477 vsize=8414124 memory=8475934422147845324 CPUtime=0 cores=0-7
/proc/30503/task/30516/stat : 30516 (java) S 30477 30477 30433 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509538947 8616062976 29600 33554432000 4194304 4196468 140727356206256 139997372831952 139999370016667 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13697024 140727356208095 140727356208262 140727356208262 140727356211151 0
[pid=30503/tid=30517] ppid=30477 vsize=8414124 memory=-9001734000804784231 CPUtime=0.07 cores=0-7
/proc/30503/task/30517/stat : 30517 (java) S 30477 30477 30433 0 -1 1077944384 497 0 0 0 7 0 0 0 20 0 24 0 509538947 8616062976 29600 33554432000 4194304 4196468 140727356206256 139998395378160 139999370009218 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13697024 140727356208095 140727356208262 140727356208262 140727356211151 0
[pid=30503/tid=30518] ppid=30477 vsize=8414124 memory=4134606225630022328 CPUtime=0.06 cores=0-7
/proc/30503/task/30518/stat : 30518 (java) S 30477 30477 30433 0 -1 1077944384 389 0 0 0 6 0 0 0 20 0 24 0 509538947 8616062976 29600 33554432000 4194304 4196468 140727356206256 139998394325616 139999370009218 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13697024 140727356208095 140727356208262 140727356208262 140727356211151 0
[pid=30503/tid=30519] ppid=30477 vsize=8414124 memory=-5874771483550381248 CPUtime=0.05 cores=0-7
/proc/30503/task/30519/stat : 30519 (java) S 30477 30477 30433 0 -1 1077944384 271 0 0 0 5 0 0 0 20 0 24 0 509538947 8616062976 29600 33554432000 4194304 4196468 140727356206256 139998393273072 139999370009218 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13697024 140727356208095 140727356208262 140727356208262 140727356211151 0
[pid=30503/tid=30520] ppid=30477 vsize=8414124 memory=7031125463459224206 CPUtime=0.19 cores=0-7
/proc/30503/task/30520/stat : 30520 (java) S 30477 30477 30433 0 -1 1077944384 531 0 0 0 19 0 0 0 20 0 24 0 509538947 8616062976 29600 33554432000 4194304 4196468 140727356206256 139998392220528 139999370009218 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13697024 140727356208095 140727356208262 140727356208262 140727356211151 0
[pid=30503/tid=30521] ppid=30477 vsize=8414124 memory=-7084272768233630852 CPUtime=0 cores=0-7
/proc/30503/task/30521/stat : 30521 (java) S 30477 30477 30433 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 509538947 8616062976 29600 33554432000 4194304 4196468 140727356206256 139996874926304 139999370008277 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13697024 140727356208095 140727356208262 140727356208262 140727356211151 0
[pid=30503/tid=30522] ppid=30477 vsize=8414124 memory=-8452003593210217661 CPUtime=0.02 cores=0-7
/proc/30503/task/30522/stat : 30522 (java) S 30477 30477 30433 0 -1 1077944384 5 0 0 0 0 2 0 0 20 0 24 0 509538948 8616062976 29600 33554432000 4194304 4196468 140727356206256 139998391167408 139999370009218 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13697024 140727356208095 140727356208262 140727356208262 140727356211151 0
[pid=30503/tid=30524] ppid=30477 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/30503/task/30524/stat : 30524 (java) S 30477 30477 30433 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 509539014 8616062976 29600 33554432000 4194304 4196468 140727356206256 139998383133888 139999370022681 0 4 2 25189581 18446744071579417331 0 0 -1 0 0 0 0 0 0 6293624 6294260 13697024 140727356208095 140727356208262 140727356208262 140727356211151 0
[pid=30503/tid=30526] ppid=30477 vsize=8414124 memory=4638778411486298208 CPUtime=0 cores=0-7
/proc/30503/task/30526/stat : 30526 (java) S 30477 30477 30433 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 24 0 509539014 8616062976 29600 33554432000 4194304 4196468 140727356206256 139996203826960 139999370019997 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 13697024 140727356208095 140727356208262 140727356208262 140727356211151 0
[pid=30503/tid=30527] ppid=30477 vsize=8414124 memory=7805974384891420736 CPUtime=0 cores=0-7
/proc/30503/task/30527/stat : 30527 (java) S 30477 30477 30433 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 509539014 8616062976 29600 33554432000 4194304 4196468 140727356206256 139996472262544 139999370019997 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 13697024 140727356208095 140727356208262 140727356208262 140727356211151 0
[pid=30503/tid=30528] ppid=30477 vsize=8414124 memory=6368741219544557151 CPUtime=0 cores=0-7
/proc/30503/task/30528/stat : 30528 (java) S 30477 30477 30433 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 509539016 8616062976 29600 33554432000 4194304 4196468 140727356206256 139995935399600 139999370008277 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13697024 140727356208095 140727356208262 140727356208262 140727356211151 0
Current children cumulated CPU time: 372.3 s
Current children cumulated vsize: 9190424 KiB
Current children cumulated memory: 315720 KiB

[startup+85.6012 s]
/proc/loadavg: 3.85 1.07 0.40 7/223 30546
/proc/meminfo: memFree=25466208/32770624 swapFree=66966880/67108860
[pid=30477] ppid=30474 vsize=113128 memory=1476 CPUtime=66.19 cores=0-7
/proc/30477/stat : 30477 (scop.sh) S 30474 30477 30433 0 -1 4202496 583 64099 0 0 0 0 6360 259 20 0 1 0 509534344 115843072 369 33554432000 4194304 5098028 140734862026880 140734862023624 140027423683196 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 31703040 140734862029564 140734862029912 140734862029912 140734862032841 0
/proc/30477/statm: 28282 369 311 221 0 87 0
[pid=30503] ppid=30477 vsize=8414124 memory=118400 CPUtime=1.18 cores=0-7
/proc/30503/stat : 30503 (java) S 30477 30477 30433 0 -1 1077944320 20046 0 0 0 111 7 0 0 20 0 24 0 509538941 8616062976 29600 33554432000 4194304 4196468 140727356206256 140727356188800 139999369998071 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 13697024 140727356208095 140727356208262 140727356208262 140727356211151 0
/proc/30503/statm: 2103531 29600 3208 1 0 2064875 0
[pid=30523] ppid=30503 vsize=638584 memory=196320 CPUtime=306.34 cores=0-7
/proc/30523/stat : 30523 (manyglucose-4.1) S 30503 30477 30433 0 -1 1077944320 177683 0 1 0 30549 85 0 0 20 0 2 0 509539013 653910016 49080 33554432000 4194304 4454172 140727272284800 140727272283184 139654251040503 0 4 0 8388610 18446744073709551615 0 0 17 2 0 0 0 0 0 6552832 6554400 21364736 140727272289101 140727272289308 140727272289308 140727272292278 0
/proc/30523/statm: 159646 49080 419 64 0 155314 0
[pid=30523/tid=30536] ppid=30503 vsize=638584 memory=0 CPUtime=37.89 cores=0-7
/proc/30523/task/30536/stat : 30536 (manyglucose-4.1) R 30503 30477 30433 0 -1 4202560 18653 0 0 0 3778 11 0 0 20 0 2 0 509539024 653910016 49080 33554432000 4194304 4454172 140727272284800 139654169107320 4351614 0 4 0 8388610 0 0 0 -1 3 0 0 0 0 0 6552832 6554400 21364736 140727272289101 140727272289308 140727272289308 140727272292278 0
[pid=30503/tid=30504] ppid=30477 vsize=8414124 memory=0 CPUtime=0.75 cores=0-7
/proc/30503/task/30504/stat : 30504 (java) S 30477 30477 30433 0 -1 1077944384 16933 0 0 0 69 6 0 0 20 0 24 0 509538941 8616062976 29600 33554432000 4194304 4196468 140727356206256 139999341838240 139999370008277 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13697024 140727356208095 140727356208262 140727356208262 140727356211151 0
[pid=30503/tid=30505] ppid=30477 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/30503/task/30505/stat : 30505 (java) S 30477 30477 30433 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 509538942 8616062976 29600 33554432000 4194304 4196468 140727356206256 139999374240016 139999370008277 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13697024 140727356208095 140727356208262 140727356208262 140727356211151 0
[pid=30503/tid=30506] ppid=30477 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/30503/task/30506/stat : 30506 (java) S 30477 30477 30433 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 509538942 8616062976 29600 33554432000 4194304 4196468 140727356206256 139999174408592 139999370008277 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13697024 140727356208095 140727356208262 140727356208262 140727356211151 0
[pid=30503/tid=30507] ppid=30477 vsize=8414124 memory=2832 CPUtime=0 cores=0-7
/proc/30503/task/30507/stat : 30507 (java) S 30477 30477 30433 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509538942 8616062976 29600 33554432000 4194304 4196468 140727356206256 139999173356048 139999370008277 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13697024 140727356208095 140727356208262 140727356208262 140727356211151 0
[pid=30503/tid=30508] ppid=30477 vsize=8414124 memory=8136 CPUtime=0 cores=0-7
/proc/30503/task/30508/stat : 30508 (java) S 30477 30477 30433 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 509538943 8616062976 29600 33554432000 4194304 4196468 140727356206256 139999172303504 139999370008277 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13697024 140727356208095 140727356208262 140727356208262 140727356211151 0
[pid=30503/tid=30509] ppid=30477 vsize=8414124 memory=10492 CPUtime=0 cores=0-7
/proc/30503/task/30509/stat : 30509 (java) S 30477 30477 30433 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 509538943 8616062976 29600 33554432000 4194304 4196468 140727356206256 139999171250960 139999370008277 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13697024 140727356208095 140727356208262 140727356208262 140727356211151 0
[pid=30503/tid=30510] ppid=30477 vsize=8414124 memory=14012 CPUtime=0 cores=0-7
/proc/30503/task/30510/stat : 30510 (java) S 30477 30477 30433 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 509538943 8616062976 29600 33554432000 4194304 4196468 140727356206256 139999170198416 139999370008277 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13697024 140727356208095 140727356208262 140727356208262 140727356211151 0
[pid=30503/tid=30511] ppid=30477 vsize=8414124 memory=14080 CPUtime=0 cores=0-7
/proc/30503/task/30511/stat : 30511 (java) S 30477 30477 30433 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509538943 8616062976 29600 33554432000 4194304 4196468 140727356206256 139999169145872 139999370008277 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13697024 140727356208095 140727356208262 140727356208262 140727356211151 0
[pid=30503/tid=30512] ppid=30477 vsize=8414124 memory=35568 CPUtime=0 cores=0-7
/proc/30503/task/30512/stat : 30512 (java) S 30477 30477 30433 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 509538943 8616062976 29600 33554432000 4194304 4196468 140727356206256 139999168093328 139999370008277 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13697024 140727356208095 140727356208262 140727356208262 140727356211151 0
[pid=30503/tid=30513] ppid=30477 vsize=8414124 memory=2120 CPUtime=0 cores=0-7
/proc/30503/task/30513/stat : 30513 (java) S 30477 30477 30433 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 509538944 8616062976 29600 33554432000 4194304 4196468 140727356206256 139998396430320 139999370009218 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13697024 140727356208095 140727356208262 140727356208262 140727356211151 0
[pid=30503/tid=30514] ppid=30477 vsize=8414124 memory=508 CPUtime=0 cores=0-7
/proc/30503/task/30514/stat : 30514 (java) S 30477 30477 30433 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 509538944 8616062976 29600 33554432000 4194304 4196468 140727356206256 139997881557920 139999370008277 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13697024 140727356208095 140727356208262 140727356208262 140727356211151 0
[pid=30503/tid=30515] ppid=30477 vsize=8414124 memory=1560 CPUtime=0 cores=0-7
/proc/30503/task/30515/stat : 30515 (java) S 30477 30477 30433 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 509538945 8616062976 29600 33554432000 4194304 4196468 140727356206256 139997747336176 139999370008277 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13697024 140727356208095 140727356208262 140727356208262 140727356211151 0
[pid=30503/tid=30516] ppid=30477 vsize=8414124 memory=932 CPUtime=0 cores=0-7
/proc/30503/task/30516/stat : 30516 (java) S 30477 30477 30433 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509538947 8616062976 29600 33554432000 4194304 4196468 140727356206256 139997372831952 139999370016667 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13697024 140727356208095 140727356208262 140727356208262 140727356211151 0
[pid=30503/tid=30517] ppid=30477 vsize=8414124 memory=1568 CPUtime=0.07 cores=0-7
/proc/30503/task/30517/stat : 30517 (java) S 30477 30477 30433 0 -1 1077944384 497 0 0 0 7 0 0 0 20 0 24 0 509538947 8616062976 29600 33554432000 4194304 4196468 140727356206256 139998395378160 139999370009218 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13697024 140727356208095 140727356208262 140727356208262 140727356211151 0
[pid=30503/tid=30518] ppid=30477 vsize=8414124 memory=1444 CPUtime=0.06 cores=0-7
/proc/30503/task/30518/stat : 30518 (java) S 30477 30477 30433 0 -1 1077944384 389 0 0 0 6 0 0 0 20 0 24 0 509538947 8616062976 29600 33554432000 4194304 4196468 140727356206256 139998394325616 139999370009218 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13697024 140727356208095 140727356208262 140727356208262 140727356211151 0
[pid=30503/tid=30519] ppid=30477 vsize=8414124 memory=864 CPUtime=0.05 cores=0-7
/proc/30503/task/30519/stat : 30519 (java) S 30477 30477 30433 0 -1 1077944384 271 0 0 0 5 0 0 0 20 0 24 0 509538947 8616062976 29600 33554432000 4194304 4196468 140727356206256 139998393273072 139999370009218 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13697024 140727356208095 140727356208262 140727356208262 140727356211151 0
[pid=30503/tid=30520] ppid=30477 vsize=8414124 memory=1976 CPUtime=0.19 cores=0-7
/proc/30503/task/30520/stat : 30520 (java) S 30477 30477 30433 0 -1 1077944384 531 0 0 0 19 0 0 0 20 0 24 0 509538947 8616062976 29600 33554432000 4194304 4196468 140727356206256 139998392220528 139999370009218 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13697024 140727356208095 140727356208262 140727356208262 140727356211151 0
[pid=30503/tid=30521] ppid=30477 vsize=8414124 memory=3616 CPUtime=0 cores=0-7
/proc/30503/task/30521/stat : 30521 (java) S 30477 30477 30433 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 509538947 8616062976 29600 33554432000 4194304 4196468 140727356206256 139996874926304 139999370008277 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13697024 140727356208095 140727356208262 140727356208262 140727356211151 0
[pid=30503/tid=30522] ppid=30477 vsize=8414124 memory=1552 CPUtime=0.02 cores=0-7
/proc/30503/task/30522/stat : 30522 (java) S 30477 30477 30433 0 -1 1077944384 5 0 0 0 0 2 0 0 20 0 24 0 509538948 8616062976 29600 33554432000 4194304 4196468 140727356206256 139998391167408 139999370009218 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13697024 140727356208095 140727356208262 140727356208262 140727356211151 0
[pid=30503/tid=30524] ppid=30477 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/30503/task/30524/stat : 30524 (java) S 30477 30477 30433 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 509539014 8616062976 29600 33554432000 4194304 4196468 140727356206256 139998383133888 139999370022681 0 4 2 25189581 18446744071579417331 0 0 -1 0 0 0 0 0 0 6293624 6294260 13697024 140727356208095 140727356208262 140727356208262 140727356211151 0
[pid=30503/tid=30526] ppid=30477 vsize=8414124 memory=118400 CPUtime=0 cores=0-7
/proc/30503/task/30526/stat : 30526 (java) S 30477 30477 30433 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 24 0 509539014 8616062976 29600 33554432000 4194304 4196468 140727356206256 139996203826960 139999370019997 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 13697024 140727356208095 140727356208262 140727356208262 140727356211151 0
[pid=30503/tid=30527] ppid=30477 vsize=8414124 memory=185952 CPUtime=0 cores=0-7
/proc/30503/task/30527/stat : 30527 (java) S 30477 30477 30433 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 509539014 8616062976 29600 33554432000 4194304 4196468 140727356206256 139996472262544 139999370019997 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 13697024 140727356208095 140727356208262 140727356208262 140727356211151 0
[pid=30503/tid=30528] ppid=30477 vsize=8414124 memory=712 CPUtime=0 cores=0-7
/proc/30503/task/30528/stat : 30528 (java) S 30477 30477 30433 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 509539016 8616062976 29600 33554432000 4194304 4196468 140727356206256 139995935399600 139999370008277 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13697024 140727356208095 140727356208262 140727356208262 140727356211151 0
Current children cumulated CPU time: 373.71 s
Current children cumulated vsize: 9165836 KiB
Current children cumulated memory: 316196 KiB

Child status: 0
Real time (s): 85.6446
CPU time (s): 373.848
CPU user time (s): 370.301
CPU system time (s): 3.54785
CPU usage (%): 436.511
Max. virtual memory (cumulated for all children) (KiB): 27443924
Max. memory (cumulated for all children) (KiB): 6459980

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 370.301
system time used= 3.54785
maximum resident set size= 6459332
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 262799
page faults= 1
swaps= 0
block input operations= 216
block output operations= 3728
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 46039
involuntary context switches= 3731


# summary of solver processes directly reported to runsolver:
#   pid: 30477
#   total CPU time (s): 373.848
#   total CPU user time (s): 370.301
#   total CPU system time (s): 3.54785

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.721279 second user time and 1.06162 second system time

The end

Launcher Data 

Begin job on node145 at 2019-09-24 16:38:57
IDJOB=4405506
IDBENCH=125591
IDSOLVER=2868
FILE ID=node145/4405506-1569335979
RUNJOBID= node145-1569335936-30460
PBS_JOBID= 21705052
Free space on /var/tmp= 13480 MiB

SOLVER NAME= Fun-sCOP hybrid+ManyGlucose (2019-09-22)
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 -hybrid DIR/manyglucose-4.1-27_release -model:-nthreads=NBCORE:-maxmemory=20000:-lit-scans=6000000 TMPDIR BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4405506-1569335979/watcher-4405506-1569335979 -o /var/tmp/evaluation-result-4405506-1569335979/solver-4405506-1569335979 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node145-1569335936-30460 --watchdog 2580  HOME/scop.sh 22g HOME/scop.jar -hybrid HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4405506-1569335979.xml

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

MD5SUM BENCH= cc3fcfac109c3d277a0ef72b27cdc983
RANDOM SEED=2101077985

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

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

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

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

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

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

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

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.59
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:        25771724 kB
MemAvailable:   31816332 kB
Buffers:          141856 kB
Cached:          6055332 kB
SwapCached:        32456 kB
Active:          3045556 kB
Inactive:        3187236 kB
Active(anon):       3124 kB
Inactive(anon):    90108 kB
Active(file):    3042432 kB
Inactive(file):  3097128 kB
Unevictable:      109028 kB
Mlocked:          109028 kB
SwapTotal:      67108860 kB
SwapFree:       66966880 kB
Dirty:             53568 kB
Writeback:             0 kB
AnonPages:        113020 kB
Mapped:            56804 kB
Shmem:             48848 kB
Slab:             361292 kB
SReclaimable:     333508 kB
SUnreclaim:        27784 kB
KernelStack:        3296 kB
PageTables:         5256 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     514048 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:      120192 kB
DirectMap2M:    33425408 kB

Free space on /var/tmp at the end= 13460 MiB
End job on node145 at 2019-09-24 16:40:23