Trace number 4392646

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Fun-sCOP hybrid+ManyGlucose (2019-06-15)UNSAT 364.905 84.5431

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-3971-serial-file.bin HOME/instance-4392646-1568425234.xml
0.65/0.54	
0.65/0.54	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
0.65/0.54	
0.65/0.57	c BEGIN-Prog: Sat Sep 14 03:39:57 CEST 2019
0.65/0.57	c PID: 3974
0.65/0.57	c IP: 172.20.3.126
0.65/0.57	c HOST: node126.alineos.net
0.65/0.58	c (0,0) Parsing Begin
6.80/5.04	c (4,4) Parsing End
6.80/5.04	c (4,4) CSP: 25 int (0 aux), 0 bool (0 aux), 58 ctr, max domain size 5
6.80/5.04	c (4,4) Heap : 4167 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB)
6.80/5.04	c (4,4) Constraint Name Generate Begin
6.80/5.05	c (4,4) Ctr:HOME/instance-4392646-1568425234.xml,ExtensionSupport:Var
6.80/5.05	c (4,4) Constraint Name Generate End
6.80/5.05	c (4,4) Heap : 4167 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB)
6.80/5.05	c (4,4) CSP to CSPinCNF Begin
17.71/9.54	c (8,8) translated 6 (10%) constraints
23.94/13.13	c (12,12) translated 12 (20%) constraints
30.39/16.85	c (16,16) translated 18 (30%) constraints
35.06/20.56	c (20,19) translated 24 (40%) constraints
38.23/23.63	c (23,22) translated 29 (50%) constraints
41.65/27.05	c (26,26) translated 35 (60%) constraints
45.68/30.49	c (29,29) translated 41 (70%) constraints
50.00/34.07	c (33,33) translated 47 (80%) constraints
55.06/37.90	c (37,36) translated 53 (90%) constraints
58.18/41.08	c (40,40) translated 58 (100%) constraints
58.88/41.74	c (41,40) ===========================================
58.88/41.78	c (41,40) Hybrid: #OE=8482, #LE=0
58.88/41.78	c (41,40) Hybrid
58.88/41.78	c (41,40) ===========================================
59.69/42.05	c (41,41) translated 8032 (10%) constraints
59.98/42.24	c (41,41) translated 16064 (20%) constraints
60.31/42.43	c (41,41) translated 24096 (30%) constraints
60.51/42.60	c (42,41) translated 32128 (40%) constraints
60.61/42.78	c (42,41) translated 40159 (50%) constraints
60.81/42.96	c (42,41) translated 48191 (60%) constraints
61.02/43.13	c (42,42) translated 56223 (70%) constraints
61.21/43.31	c (42,42) translated 64255 (80%) constraints
61.31/43.49	c (42,42) translated 72287 (90%) constraints
61.56/43.67	c (43,42) translated 80318 (100%) constraints
61.56/43.67	c (43,42) CSP to CSPinCNF End
61.56/43.68	c (43,42) CSP: 25 int (0 aux), 8457 bool (8457 aux), 80318 ctr, max domain size 5
61.56/43.68	c (43,42) Heap : 3372 MiB used (max 21589 MiB), NonHeap : 27 MiB used (max 0 MiB)
61.56/43.68	c (43,42) CSPinCNF Propagation Begin
62.97/44.23	c (43,43) 0 values, 107 unsatisfiable literals, and 71 valid clauses are removed
62.97/44.23	c (43,43) CSPinCNF Propagation End
62.97/44.24	c (43,43) CSP: 25 int (0 aux), 8457 bool (8457 aux), 80247 ctr, max domain size 5
62.97/44.24	c (43,43) Heap : 3817 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB)
62.97/44.28	c (43,43) Hybrid: #OE=8482, #LE=0
62.97/44.28	c (43,43) Simplify CSPinCNF Begin
63.36/44.49	c (43,43) Simplify CSPinCNF End
63.36/44.49	c (43,43) CSP: 25 int (0 aux), 8457 bool (8457 aux), 80247 ctr, max domain size 5
63.36/44.49	c (43,43) Heap : 3928 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB)
63.36/44.49	c (43,43) Calculate Precise Domain Begin
63.36/44.49	c (43,43) 0 values are removed by re-calculation
63.36/44.49	c (43,43) Calculate Precise Domain End
63.36/44.50	c (43,43) CSP: 25 int (0 aux), 8457 bool (8457 aux), 80247 ctr, max domain size 5
63.36/44.50	c (43,43) Heap : 3928 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB)
63.36/44.50	c (43,43) CSPinCNF to SatSolver Begin
64.54/44.87	c (44,43) 8025 (10 %) CSP clauses are encoded (0 SAT variables, 8099 SAT clauses)
64.92/44.97	c (44,43) 16050 (20 %) CSP clauses are encoded (0 SAT variables, 16124 SAT clauses)
65.09/45.05	c (44,44) 24075 (30 %) CSP clauses are encoded (0 SAT variables, 24149 SAT clauses)
65.19/45.14	c (44,44) 32099 (40 %) CSP clauses are encoded (0 SAT variables, 32173 SAT clauses)
65.29/45.22	c (44,44) 40124 (50 %) CSP clauses are encoded (0 SAT variables, 40198 SAT clauses)
65.39/45.31	c (44,44) 48149 (60 %) CSP clauses are encoded (0 SAT variables, 48223 SAT clauses)
65.39/45.40	c (44,44) 56173 (70 %) CSP clauses are encoded (0 SAT variables, 56247 SAT clauses)
65.49/45.48	c (44,44) 64198 (80 %) CSP clauses are encoded (0 SAT variables, 64272 SAT clauses)
65.59/45.57	c (45,44) 72223 (90 %) CSP clauses are encoded (0 SAT variables, 72297 SAT clauses)
65.69/45.65	c (45,44) 80247 (100 %) CSP clauses are encoded (0 SAT variables, 80321 SAT clauses)
65.69/45.65	c (45,44) CSPinCNF to SatSolver End
65.69/45.65	c (45,44) Heap : 4595 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB)
65.69/45.65	c (45,44) 8546 bool, 80322 clause
65.69/45.65	c (45,44) Export Begin
65.81/45.74	c (45,44) Export to HOME/scop-3971-serial-file.bin
65.81/45.74	c (45,44) Export End
65.81/45.74	c (45,44) Export File Size: 0.01 MB
65.81/45.74	c (45,44) 4,4,43,43,43,43,45,STOP-AFTER(DIMACS)
65.81/45.74	c END-Prog: Sat Sep 14 03:40:43 CEST 2019
65.81/45.78	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-3971-serial-file.bin
66.51/46.24	c (0,0) Read Serial File Begin
66.51/46.24	c (0,0) HOME/scop-3971-serial-file.bin
66.79/46.44	c (0,0) Read Serial File End
66.79/46.46	
66.79/46.46	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
66.79/46.46	(Solving Process)
66.79/46.46	
66.79/46.48	c BEGIN-Prog: Sat Sep 14 03:40:43 CEST 2019
66.79/46.48	c PID: 4004
66.79/46.48	c IP: 172.20.3.126
66.79/46.48	c HOST: node126.alineos.net
66.79/46.48	c (0,0) SatSolver.solve Begin
66.79/46.48	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4392646-1568425234.xml-scop-3974.cnf
66.97/46.51	c (0,0) c
66.97/46.51	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)
66.97/46.51	c (0,0) c
66.97/46.51	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
66.97/46.51	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
66.97/46.51	c (0,0) c ========================================[ Problem Statistics ]===========================================
66.97/46.51	c (0,0) c |                                                                                                       |
66.97/46.54	c (0,0) c |  Number of variables:          8546                                                                   |
66.97/46.54	c (0,0) c |  Number of clauses:           80322                                                                   |
66.97/46.54	c (0,0) c |  Parse time:                   0.03 s                                                                 |
66.97/46.54	c (0,0) c |                                                                                                       |
66.97/46.59	c (0,0) c |  Simplification time:          0.05 s                                                                 |
66.97/46.59	c (0,0) c |                                                                                                       |
66.97/46.59	c (0,0) c |  Generating clones                                                                                    |
67.11/46.61	c (0,0) c |  all clones generated. Memory =    66.59Mb.                                                           |
67.11/46.61	c (0,0) c ========================================================================================================|
67.11/46.61	c (0,0) c
67.11/46.61	c (0,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
67.11/46.61	c (0,0) c
67.11/46.61	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
67.11/46.61	c (0,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
67.11/46.61	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
67.11/46.61	c (0,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
67.11/46.61	c (0,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
67.11/46.61	c (0,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
67.11/46.61	c (0,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
67.11/46.61	c (0,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
67.11/46.61	c (0,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
67.11/46.61	c (0,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
67.11/46.61	c (0,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
67.11/46.61	c (0,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
67.11/46.61	c (0,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
67.11/46.61	c (0,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
67.11/46.61	c (0,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
67.11/46.61	c (0,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
67.11/46.61	c (0,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
67.11/46.61	c (0,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
67.11/46.61	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
298.11/75.66	c (29,0) c
298.11/75.66	c (29,0) c |------------------------------------------------------------------------------------------------------------------------|
298.11/75.66	c (29,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
298.11/75.66	c (29,0) c |------------------------------------------------------------------------------------------------------------------------|
298.11/75.66	c (29,0) c |  0 |     52 |      69821 |      55365 |    33014 |    16829 |     9802 |    58839 |     6240 |      215 |  20 |  0.000 |
298.11/75.66	c (29,0) c |  1 |     53 |      69290 |      55550 |    31990 |    17011 |     9539 |    60652 |     6197 |      218 |  20 |  0.000 |
298.11/75.66	c (29,0) c |  2 |     77 |      74491 |      58114 |    33198 |    19577 |     9422 |    59188 |     6758 |      218 |  20 |  0.000 |
298.11/75.66	c (29,0) c |  3 |     63 |      68559 |      54424 |    32132 |    15879 |     8699 |    58853 |     6902 |      212 |  20 |  0.000 |
298.11/75.66	c (29,0) c |  4 |     35 |      69219 |      55353 |    32774 |    16811 |     8940 |    57029 |     7068 |      217 |  20 |  0.000 |
298.11/75.66	c (29,0) c |  5 |     65 |      70482 |      55580 |    32507 |    13639 |     8979 |    59318 |     6673 |      213 |  20 |  0.012 |
298.11/75.66	c (29,0) c |  6 |     64 |      71507 |      56469 |    33401 |    17929 |     8838 |    61363 |     6732 |      218 |  20 |  0.000 |
298.11/75.66	c (29,0) c |  7 |     57 |      71740 |      56888 |    33171 |    18350 |     9549 |    53591 |     6944 |      222 |  20 |  0.000 |
298.11/75.66	c (29,0) c 
298.11/75.66	c (29,0) c synthesis      447743 conflicts   669366377 propagations     1942 conflicts/sec  2902740 propagations/sec
298.11/75.66	c (29,0) c real: 29.1475 s, cpu: 230.598 s, memory: 647.63 Mb
364.77/84.51	c (38,0) c
364.77/84.51	c (38,0) c real time : 38.0003 s
364.77/84.51	c (38,0) c cpu time  : 296.779 s
364.77/84.51	c (38,0) c
364.77/84.51	c (38,0) c
364.77/84.51	c (38,0) c
364.77/84.51	c (38,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
364.77/84.51	c (38,0) c
364.77/84.51	c (38,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
364.77/84.51	c (38,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
364.77/84.51	c (38,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
364.77/84.51	c (38,0) c | Conflicts     |          551881 |      69251 |      68346 |      70947 |      68345 |      67734 |      69380 |      68875 |      69003 |
364.77/84.51	c (38,0) c | Decisions     |          683360 |      85692 |      83804 |      89088 |      84279 |      83433 |      86099 |      85565 |      85400 |
364.77/84.51	c (38,0) c | Propagations  |       838020524 |  105462576 |  103274950 |  104296469 |  105338731 |  104403463 |  105549607 |  104389389 |  105305339 |
364.77/84.51	c (38,0) c | ReduceDBs     |              53 |          7 |          6 |          7 |          6 |          6 |          7 |          7 |          7 |
364.77/84.51	c (38,0) c | SimpDBs       |              30 |          3 |          3 |          4 |          2 |          4 |          4 |          3 |          7 |
364.77/84.51	c (38,0) c | Restarts      |             489 |         53 |         59 |         82 |         69 |         37 |         66 |         65 |         58 |
364.77/84.51	c (38,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
364.77/84.51	c (38,0) c | PropBinClauses|       356215979 |   43968611 |   43571976 |   43082468 |   46394593 |   45535733 |   46095592 |   43315302 |   44251704 |
364.77/84.51	c (38,0) c | PropPreBlocker|      7599605229 |  954020566 |  945782616 |  952780783 |  952141223 |  945577700 |  948916654 |  951076429 |  949309258 |
364.77/84.51	c (38,0) c | PropNotBlocker|      2852968296 |  356919365 |  361729859 |  354518444 |  351558250 |  361397358 |  355764355 |  355185893 |  355894772 |
364.77/84.51	c (38,0) c | LitFullScans  |     13347518479 | 1668151839 | 1668203299 | 1668175134 | 1668146880 | 1668183718 | 1668250595 | 1668154197 | 1670252817 |
364.77/84.51	c (38,0) c | LitScanFracts |         1377224 |     144479 |     191559 |     170593 |     144589 |     170106 |     231999 |     145131 |     178768 |
364.77/84.51	c (38,0) c | DecisionLevel0|             511 |         54 |         60 |         83 |         69 |         40 |         69 |         67 |         69 |
364.77/84.51	c (38,0) c | Periods       |            2224 |        278 |        278 |        278 |        278 |        278 |        278 |        278 |        278 |
364.77/84.51	c (38,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
364.77/84.51	c (38,0) c | Avg_Trail     |                 |       4689 |       4679 |       4792 |       4742 |       4638 |       4759 |       4810 |       4791 |
364.77/84.51	c (38,0) c | Avg_DL        |                 |         12 |         12 |         12 |         12 |         11 |         11 |         12 |         12 |
364.77/84.51	c (38,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
364.77/84.51	c (38,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
364.77/84.51	c (38,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
364.77/84.51	c (38,0) c | Exported      |           86627 |      11506 |      11112 |      11085 |      10312 |      10590 |      10615 |      10310 |      11097 |
364.77/84.51	c (38,0) c | Imported      |          557635 |      66051 |      68752 |      71697 |      66394 |      72198 |      70148 |      70399 |      71996 |
364.77/84.51	c (38,0) c | Good          |            2574 |        291 |        322 |        346 |        302 |        335 |        304 |        331 |        343 |
364.77/84.51	c (38,0) c | Purge         |          555061 |      65760 |      68430 |      71351 |      66092 |      71863 |      69844 |      70068 |      71653 |
364.77/84.51	c (38,0) c | Promoted      |           66025 |       7980 |       7746 |       8355 |       8423 |       8594 |       8245 |       8134 |       8548 |
364.77/84.51	c (38,0) c | Remove_Imp    |          305405 |      38610 |      32289 |      36137 |      32268 |      31847 |      46457 |      43967 |      43830 |
364.77/84.51	c (38,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
364.77/84.51	c (38,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
364.77/84.51	c (38,0) c | Unaries       |                 |          1 |          1 |          1 |          0 |          3 |          3 |          2 |         11 |
364.77/84.51	c (38,0) c | Binaries      |                 |         64 |         45 |         56 |         43 |         66 |         74 |         46 |         98 |
364.77/84.51	c (38,0) c | Glues         |                 |        751 |        751 |        769 |        720 |        764 |        811 |        723 |        862 |
364.77/84.51	c (38,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
364.77/84.51	c (38,0) c | Orig_Seen     |            44 % |      34327 |      33148 |      34216 |      33596 |      33954 |      33819 |      34485 |      34260 |
364.77/84.51	c (38,0) c | Diff Orig seen|                 |         67 | -     1112 | -       44 | -      664 | -      306 | -      441 |        225 |      X     |
364.77/84.51	c (38,0) c | Hamming       |            44 % |       4185 |       1669 |       4270 |       4365 |       4294 |       4280 |       3792 |      X     |
364.77/84.51	c (38,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
364.77/84.51	c (38,0) c | RunningTime   |                 |   37.4 100%|   36.8 100%|   37.4 100%|   37.9 100%|   37.4 100%|   37.7 100%|   37.4 100%|   36.4 100%|
364.77/84.51	c (38,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%|
364.77/84.51	c (38,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%|
364.77/84.51	c (38,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%|
364.77/84.51	c (38,0) c | SolvingTime   |                 |   37.5     |   36.8     |   37.4     |   37.9     |   37.4     |   37.8     |   37.4     |   36.5     |
364.77/84.51	c (38,0) c | PropagationTim|                 |   35.5  95%|   35.0  95%|   35.3  94%|   36.0  95%|   35.6  95%|   35.6  94%|   35.5  95%|   34.5  95%|
364.77/84.51	c (38,0) c | AnalysisTime  |                 |    1.0   3%|    0.9   2%|    1.1   3%|    0.9   2%|    0.9   2%|    1.2   3%|    1.0   3%|    0.9   3%|
364.77/84.51	c (38,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%|
364.77/84.51	c (38,0) c | SimplifyTime  |                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.1   0%|
364.77/84.51	c (38,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%|
364.77/84.51	c (38,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%|
364.77/84.51	c (38,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
364.77/84.51	c (38,0) c
364.77/84.51	c (38,0) c
364.77/84.51	c (38,0) c Threads : 8
364.77/84.51	c (38,0) c Winner : 7
364.77/84.51	c (38,0) c Conflicts_0 : 69251
364.77/84.51	c (38,0) c Conflicts_1 : 68346
364.77/84.51	c (38,0) c Conflicts_2 : 70947
364.77/84.51	c (38,0) c Conflicts_3 : 68345
364.77/84.51	c (38,0) c Conflicts_4 : 67734
364.77/84.51	c (38,0) c Conflicts_5 : 69380
364.77/84.51	c (38,0) c Conflicts_6 : 68875
364.77/84.51	c (38,0) c Conflicts_7 : 69003
364.77/84.51	c (38,0) c Conflicts_total : 551881
364.77/84.51	c (38,0) c Conflicts_winner : 69003
364.77/84.51	c (38,0) c Decisions_0 : 85692
364.77/84.51	c (38,0) c Decisions_1 : 83804
364.77/84.51	c (38,0) c Decisions_2 : 89088
364.77/84.51	c (38,0) c Decisions_3 : 84279
364.77/84.51	c (38,0) c Decisions_4 : 83433
364.77/84.51	c (38,0) c Decisions_5 : 86099
364.77/84.51	c (38,0) c Decisions_6 : 85565
364.77/84.51	c (38,0) c Decisions_7 : 85400
364.77/84.51	c (38,0) c Decisions_total : 683360
364.77/84.51	c (38,0) c Decisions_winner : 85400
364.77/84.51	c (38,0) c Propagations_0 : 105462576
364.77/84.51	c (38,0) c Propagations_1 : 103274950
364.77/84.51	c (38,0) c Propagations_2 : 104296469
364.77/84.51	c (38,0) c Propagations_3 : 105338731
364.77/84.51	c (38,0) c Propagations_4 : 104403463
364.77/84.51	c (38,0) c Propagations_5 : 105549607
364.77/84.51	c (38,0) c Propagations_6 : 104389389
364.77/84.51	c (38,0) c Propagations_7 : 105305339
364.77/84.51	c (38,0) c Propagations_total : 838020524
364.77/84.51	c (38,0) c Propagations_winner : 105305339
364.77/84.51	c (38,0) c ReduceDBs_0 : 7
364.77/84.51	c (38,0) c ReduceDBs_1 : 6
364.77/84.51	c (38,0) c ReduceDBs_2 : 7
364.77/84.51	c (38,0) c ReduceDBs_3 : 6
364.77/84.51	c (38,0) c ReduceDBs_4 : 6
364.77/84.51	c (38,0) c ReduceDBs_5 : 7
364.77/84.51	c (38,0) c ReduceDBs_6 : 7
364.77/84.51	c (38,0) c ReduceDBs_7 : 7
364.77/84.51	c (38,0) c ReduceDBs_total : 53
364.77/84.51	c (38,0) c ReduceDBs_winner : 7
364.77/84.51	c (38,0) c SimpDBs_0 : 3
364.77/84.51	c (38,0) c SimpDBs_1 : 3
364.77/84.52	c (38,0) c SimpDBs_2 : 4
364.77/84.52	c (38,0) c SimpDBs_3 : 2
364.77/84.52	c (38,0) c SimpDBs_4 : 4
364.77/84.52	c (38,0) c SimpDBs_5 : 4
364.77/84.52	c (38,0) c SimpDBs_6 : 3
364.77/84.52	c (38,0) c SimpDBs_7 : 7
364.77/84.52	c (38,0) c SimpDBs_total : 30
364.77/84.52	c (38,0) c SimpDBs_winner : 7
364.77/84.52	c (38,0) c Restarts_0 : 53
364.77/84.52	c (38,0) c Restarts_1 : 59
364.77/84.52	c (38,0) c Restarts_2 : 82
364.77/84.52	c (38,0) c Restarts_3 : 69
364.77/84.52	c (38,0) c Restarts_4 : 37
364.77/84.52	c (38,0) c Restarts_5 : 66
364.77/84.52	c (38,0) c Restarts_6 : 65
364.77/84.52	c (38,0) c Restarts_7 : 58
364.77/84.52	c (38,0) c Restarts_total : 489
364.77/84.52	c (38,0) c Restarts_winner : 58
364.77/84.52	c (38,0) c ForcedImports_0 : 0
364.77/84.52	c (38,0) c ForcedImports_1 : 0
364.77/84.52	c (38,0) c ForcedImports_2 : 0
364.77/84.52	c (38,0) c ForcedImports_3 : 0
364.77/84.52	c (38,0) c ForcedImports_4 : 0
364.77/84.52	c (38,0) c ForcedImports_5 : 0
364.77/84.52	c (38,0) c ForcedImports_6 : 0
364.77/84.52	c (38,0) c ForcedImports_7 : 0
364.77/84.52	c (38,0) c ForcedImports_total : 0
364.77/84.52	c (38,0) c ForcedImports_winner : 0
364.77/84.52	c (38,0) c PropsBinClauses_0 : 43968611
364.77/84.52	c (38,0) c PropsBinClauses_1 : 43571976
364.77/84.52	c (38,0) c PropsBinClauses_2 : 43082468
364.77/84.52	c (38,0) c PropsBinClauses_3 : 46394593
364.77/84.52	c (38,0) c PropsBinClauses_4 : 45535733
364.77/84.52	c (38,0) c PropsBinClauses_5 : 46095592
364.77/84.52	c (38,0) c PropsBinClauses_6 : 43315302
364.77/84.52	c (38,0) c PropsBinClauses_7 : 44251704
364.77/84.52	c (38,0) c PropsBinClauses_total : 356215979
364.77/84.52	c (38,0) c PropsBinClauses_winner : 44251704
364.77/84.52	c (38,0) c PropsPreBlocker_0 : 954020566
364.77/84.52	c (38,0) c PropsPreBlocker_1 : 945782616
364.77/84.52	c (38,0) c PropsPreBlocker_2 : 952780783
364.77/84.52	c (38,0) c PropsPreBlocker_3 : 952141223
364.77/84.52	c (38,0) c PropsPreBlocker_4 : 945577700
364.77/84.52	c (38,0) c PropsPreBlocker_5 : 948916654
364.77/84.52	c (38,0) c PropsPreBlocker_6 : 951076429
364.77/84.52	c (38,0) c PropsPreBlocker_7 : 949309258
364.77/84.52	c (38,0) c PropsPreBlocker_total : 7599605229
364.77/84.52	c (38,0) c PropsPreBlocker_winner : 949309258
364.77/84.52	c (38,0) c PropsNotBlocker_0 : 356919365
364.77/84.52	c (38,0) c PropsNotBlocker_1 : 361729859
364.77/84.52	c (38,0) c PropsNotBlocker_2 : 354518444
364.77/84.52	c (38,0) c PropsNotBlocker_3 : 351558250
364.77/84.52	c (38,0) c PropsNotBlocker_4 : 361397358
364.77/84.52	c (38,0) c PropsNotBlocker_5 : 355764355
364.77/84.52	c (38,0) c PropsNotBlocker_6 : 355185893
364.77/84.52	c (38,0) c PropsNotBlocker_7 : 355894772
364.77/84.52	c (38,0) c PropsNotBlocker_total : 2852968296
364.77/84.52	c (38,0) c PropsNotBlocker_winner : 355894772
364.77/84.52	c (38,0) c PropsLitFullScans_0 : 1668151839
364.77/84.52	c (38,0) c PropsLitFullScans_1 : 1668203299
364.77/84.52	c (38,0) c PropsLitFullScans_2 : 1668175134
364.77/84.52	c (38,0) c PropsLitFullScans_3 : 1668146880
364.77/84.52	c (38,0) c PropsLitFullScans_4 : 1668183718
364.77/84.52	c (38,0) c PropsLitFullScans_5 : 1668250595
364.77/84.52	c (38,0) c PropsLitFullScans_6 : 1668154197
364.77/84.52	c (38,0) c PropsLitFullScans_7 : 1670252817
364.77/84.52	c (38,0) c PropsLitFullScans_total : 13347518479
364.77/84.52	c (38,0) c PropsLitFullScans_winner : 1670252817
364.77/84.52	c (38,0) c LitScanFractions_0 : 144479
364.77/84.52	c (38,0) c LitScanFractions_1 : 191559
364.77/84.52	c (38,0) c LitScanFractions_2 : 170593
364.77/84.52	c (38,0) c LitScanFractions_3 : 144589
364.77/84.52	c (38,0) c LitScanFractions_4 : 170106
364.77/84.52	c (38,0) c LitScanFractions_5 : 231999
364.77/84.52	c (38,0) c LitScanFractions_6 : 145131
364.77/84.52	c (38,0) c LitScanFractions_7 : 178768
364.77/84.52	c (38,0) c LitScanFractions_total : 1377224
364.77/84.52	c (38,0) c LitScanFractions_winner : 178768
364.77/84.52	c (38,0) c DecisionLevel0_0 : 54
364.77/84.52	c (38,0) c DecisionLevel0_1 : 60
364.77/84.52	c (38,0) c DecisionLevel0_2 : 83
364.77/84.52	c (38,0) c DecisionLevel0_3 : 69
364.77/84.52	c (38,0) c DecisionLevel0_4 : 40
364.77/84.52	c (38,0) c DecisionLevel0_5 : 69
364.77/84.52	c (38,0) c DecisionLevel0_6 : 67
364.77/84.52	c (38,0) c DecisionLevel0_7 : 69
364.77/84.52	c (38,0) c DecisionLevel0_total : 511
364.77/84.52	c (38,0) c DecisionLevel0_winner : 69
364.77/84.52	c (38,0) c Periods_0 : 278
364.77/84.52	c (38,0) c Periods_1 : 278
364.77/84.52	c (38,0) c Periods_2 : 278
364.77/84.52	c (38,0) c Periods_3 : 278
364.77/84.52	c (38,0) c Periods_4 : 278
364.77/84.52	c (38,0) c Periods_5 : 278
364.77/84.52	c (38,0) c Periods_6 : 278
364.77/84.52	c (38,0) c Periods_7 : 278
364.77/84.52	c (38,0) c Periods_total : 2224
364.77/84.52	c (38,0) c Periods_winner : 278
364.77/84.52	c (38,0) c Margin_0 : 20
364.77/84.52	c (38,0) c Margin_1 : 20
364.77/84.52	c (38,0) c Margin_2 : 20
364.77/84.52	c (38,0) c Margin_3 : 20
364.77/84.52	c (38,0) c Margin_4 : 20
364.77/84.52	c (38,0) c Margin_5 : 20
364.77/84.52	c (38,0) c Margin_6 : 20
364.77/84.52	c (38,0) c Margin_7 : 20
364.77/84.52	c (38,0) c Margin_total : 160
364.77/84.52	c (38,0) c Margin_winner : 20
364.77/84.52	c (38,0) c Exported_0 : 11506
364.77/84.52	c (38,0) c Exported_1 : 11112
364.77/84.52	c (38,0) c Exported_2 : 11085
364.77/84.52	c (38,0) c Exported_3 : 10312
364.77/84.52	c (38,0) c Exported_4 : 10590
364.77/84.52	c (38,0) c Exported_5 : 10615
364.77/84.52	c (38,0) c Exported_6 : 10310
364.77/84.52	c (38,0) c Exported_7 : 11097
364.77/84.52	c (38,0) c Exported_total : 86627
364.77/84.52	c (38,0) c Exported_winner : 11097
364.77/84.52	c (38,0) c Imported_0 : 66051
364.77/84.52	c (38,0) c Imported_1 : 68752
364.77/84.52	c (38,0) c Imported_2 : 71697
364.77/84.52	c (38,0) c Imported_3 : 66394
364.77/84.52	c (38,0) c Imported_4 : 72198
364.77/84.52	c (38,0) c Imported_5 : 70148
364.77/84.52	c (38,0) c Imported_6 : 70399
364.77/84.52	c (38,0) c Imported_7 : 71996
364.77/84.52	c (38,0) c Imported_total : 557635
364.77/84.52	c (38,0) c Imported_winner : 71996
364.77/84.52	c (38,0) c Good_0 : 291
364.77/84.52	c (38,0) c Good_1 : 322
364.77/84.52	c (38,0) c Good_2 : 346
364.77/84.52	c (38,0) c Good_3 : 302
364.77/84.52	c (38,0) c Good_4 : 335
364.77/84.52	c (38,0) c Good_5 : 304
364.77/84.52	c (38,0) c Good_6 : 331
364.77/84.52	c (38,0) c Good_7 : 343
364.77/84.52	c (38,0) c Good_total : 2574
364.77/84.52	c (38,0) c Good_winner : 343
364.77/84.52	c (38,0) c Purge_0 : 65760
364.77/84.52	c (38,0) c Purge_1 : 68430
364.77/84.52	c (38,0) c Purge_2 : 71351
364.77/84.52	c (38,0) c Purge_3 : 66092
364.77/84.52	c (38,0) c Purge_4 : 71863
364.77/84.52	c (38,0) c Purge_5 : 69844
364.77/84.52	c (38,0) c Purge_6 : 70068
364.77/84.52	c (38,0) c Purge_7 : 71653
364.77/84.52	c (38,0) c Purge_total : 555061
364.77/84.52	c (38,0) c Purge_winner : 71653
364.77/84.52	c (38,0) c Promoted_0 : 7980
364.77/84.52	c (38,0) c Promoted_1 : 7746
364.77/84.52	c (38,0) c Promoted_2 : 8355
364.77/84.52	c (38,0) c Promoted_3 : 8423
364.77/84.52	c (38,0) c Promoted_4 : 8594
364.77/84.52	c (38,0) c Promoted_5 : 8245
364.77/84.52	c (38,0) c Promoted_6 : 8134
364.77/84.52	c (38,0) c Promoted_7 : 8548
364.77/84.52	c (38,0) c Promoted_total : 66025
364.77/84.52	c (38,0) c Promoted_winner : 8548
364.77/84.52	c (38,0) c Remove_Imp_0 : 38610
364.77/84.52	c (38,0) c Remove_Imp_1 : 32289
364.77/84.52	c (38,0) c Remove_Imp_2 : 36137
364.77/84.52	c (38,0) c Remove_Imp_3 : 32268
364.77/84.52	c (38,0) c Remove_Imp_4 : 31847
364.77/84.52	c (38,0) c Remove_Imp_5 : 46457
364.77/84.52	c (38,0) c Remove_Imp_6 : 43967
364.77/84.52	c (38,0) c Remove_Imp_7 : 43830
364.77/84.52	c (38,0) c Remove_Imp_total : 305405
364.77/84.52	c (38,0) c Remove_Imp_winner : 43830
364.77/84.52	c (38,0) c Blocked_Reuse_0 : 0
364.77/84.52	c (38,0) c Blocked_Reuse_1 : 0
364.77/84.52	c (38,0) c Blocked_Reuse_2 : 0
364.77/84.52	c (38,0) c Blocked_Reuse_3 : 0
364.77/84.52	c (38,0) c Blocked_Reuse_4 : 0
364.77/84.52	c (38,0) c Blocked_Reuse_5 : 0
364.77/84.52	c (38,0) c Blocked_Reuse_6 : 0
364.77/84.52	c (38,0) c Blocked_Reuse_7 : 0
364.77/84.52	c (38,0) c Blocked_Reuse_total : 0
364.77/84.52	c (38,0) c Blocked_Reuse_winner : 0
364.77/84.52	c (38,0) c Unaries_0 : 1
364.77/84.52	c (38,0) c Unaries_1 : 1
364.77/84.52	c (38,0) c Unaries_2 : 1
364.77/84.52	c (38,0) c Unaries_3 : 0
364.77/84.52	c (38,0) c Unaries_4 : 3
364.77/84.52	c (38,0) c Unaries_5 : 3
364.77/84.52	c (38,0) c Unaries_6 : 2
364.77/84.52	c (38,0) c Unaries_7 : 11
364.77/84.52	c (38,0) c Unaries_total : 22
364.77/84.52	c (38,0) c Unaries_winner : 11
364.77/84.52	c (38,0) c Binaries_0 : 64
364.77/84.52	c (38,0) c Binaries_1 : 45
364.77/84.52	c (38,0) c Binaries_2 : 56
364.77/84.52	c (38,0) c Binaries_3 : 43
364.77/84.52	c (38,0) c Binaries_4 : 66
364.77/84.52	c (38,0) c Binaries_5 : 74
364.77/84.52	c (38,0) c Binaries_6 : 46
364.77/84.52	c (38,0) c Binaries_7 : 98
364.77/84.52	c (38,0) c Binaries_total : 492
364.77/84.52	c (38,0) c Binaries_winner : 98
364.77/84.52	c (38,0) c Glues_0 : 751
364.77/84.52	c (38,0) c Glues_1 : 751
364.77/84.52	c (38,0) c Glues_2 : 769
364.77/84.52	c (38,0) c Glues_3 : 720
364.77/84.52	c (38,0) c Glues_4 : 764
364.77/84.52	c (38,0) c Glues_5 : 811
364.77/84.52	c (38,0) c Glues_6 : 723
364.77/84.52	c (38,0) c Glues_7 : 862
364.77/84.52	c (38,0) c Glues_total : 6151
364.77/84.52	c (38,0) c Glues_winner : 862
364.77/84.52	c (38,0) c RunningTime_0 : 37.446793
364.77/84.52	c (38,0) c RunningTime_1 : 36.776222
364.77/84.52	c (38,0) c RunningTime_2 : 37.396863
364.77/84.52	c (38,0) c RunningTime_3 : 37.853686
364.77/84.52	c (38,0) c RunningTime_4 : 37.373422
364.77/84.52	c (38,0) c RunningTime_5 : 37.724215
364.77/84.52	c (38,0) c RunningTime_6 : 37.394084
364.77/84.52	c (38,0) c RunningTime_7 : 36.437541
364.77/84.52	c (38,0) c RunningTime_total : 298.402826
364.77/84.52	c (38,0) c RunningTime_winner : 36.437541
364.77/84.52	c (38,0) c WaitingTime_0 : 0.000343
364.77/84.52	c (38,0) c WaitingTime_1 : 0.000404
364.77/84.52	c (38,0) c WaitingTime_2 : 0.000400
364.77/84.52	c (38,0) c WaitingTime_3 : 0.000351
364.77/84.52	c (38,0) c WaitingTime_4 : 0.000387
364.77/84.52	c (38,0) c WaitingTime_5 : 0.000382
364.77/84.52	c (38,0) c WaitingTime_6 : 0.000371
364.77/84.52	c (38,0) c WaitingTime_7 : 0.000357
364.77/84.52	c (38,0) c WaitingTime_total : 0.002996
364.77/84.52	c (38,0) c WaitingTime_winner : 0.000357
364.77/84.52	c (38,0) c ExchangingTime_0 : 0.030660
364.77/84.52	c (38,0) c ExchangingTime_1 : 0.031077
364.77/84.52	c (38,0) c ExchangingTime_2 : 0.030325
364.77/84.52	c (38,0) c ExchangingTime_3 : 0.028196
364.77/84.52	c (38,0) c ExchangingTime_4 : 0.031391
364.77/84.52	c (38,0) c ExchangingTime_5 : 0.025655
364.77/84.52	c (38,0) c ExchangingTime_6 : 0.027626
364.77/84.52	c (38,0) c ExchangingTime_7 : 0.031819
364.77/84.52	c (38,0) c ExchangingTime_total : 0.236749
364.77/84.52	c (38,0) c ExchangingTime_winner : 0.031819
364.77/84.52	c (38,0) c PeriodProcTime_0 : 0.002621
364.77/84.52	c (38,0) c PeriodProcTime_1 : 0.002635
364.77/84.52	c (38,0) c PeriodProcTime_2 : 0.002311
364.77/84.52	c (38,0) c PeriodProcTime_3 : 0.002538
364.77/84.52	c (38,0) c PeriodProcTime_4 : 0.002199
364.77/84.52	c (38,0) c PeriodProcTime_5 : 0.002260
364.77/84.52	c (38,0) c PeriodProcTime_6 : 0.002354
364.77/84.52	c (38,0) c PeriodProcTime_7 : 0.002297
364.77/84.52	c (38,0) c PeriodProcTime_total : 0.019217
364.77/84.52	c (38,0) c PeriodProcTime_winner : 0.002297
364.77/84.52	c (38,0) c SolvingTime_0 : 37.480418
364.77/84.52	c (38,0) c SolvingTime_1 : 36.810339
364.77/84.52	c (38,0) c SolvingTime_2 : 37.429900
364.77/84.52	c (38,0) c SolvingTime_3 : 37.884771
364.77/84.52	c (38,0) c SolvingTime_4 : 37.407399
364.77/84.52	c (38,0) c SolvingTime_5 : 37.752513
364.77/84.52	c (38,0) c SolvingTime_6 : 37.424435
364.77/84.52	c (38,0) c SolvingTime_7 : 36.472013
364.77/84.52	c (38,0) c SolvingTime_total : 298.661787
364.77/84.52	c (38,0) c SolvingTime_winner : 36.472013
364.77/84.52	c (38,0) c PropagationTime_0 : 35.516535
364.77/84.52	c (38,0) c PropagationTime_1 : 35.000002
364.77/84.52	c (38,0) c PropagationTime_2 : 35.274533
364.77/84.52	c (38,0) c PropagationTime_3 : 36.026659
364.77/84.52	c (38,0) c PropagationTime_4 : 35.563947
364.77/84.52	c (38,0) c PropagationTime_5 : 35.571293
364.77/84.52	c (38,0) c PropagationTime_6 : 35.504731
364.77/84.52	c (38,0) c PropagationTime_7 : 34.492809
364.77/84.52	c (38,0) c PropagationTime_total : 282.950511
364.77/84.52	c (38,0) c PropagationTime_winner : 34.492809
364.77/84.52	c (38,0) c AnalysisTime_0 : 0.980495
364.77/84.52	c (38,0) c AnalysisTime_1 : 0.903185
364.77/84.52	c (38,0) c AnalysisTime_2 : 1.141322
364.77/84.52	c (38,0) c AnalysisTime_3 : 0.925153
364.77/84.52	c (38,0) c AnalysisTime_4 : 0.891716
364.77/84.52	c (38,0) c AnalysisTime_5 : 1.178859
364.77/84.52	c (38,0) c AnalysisTime_6 : 0.968641
364.77/84.52	c (38,0) c AnalysisTime_7 : 0.947404
364.77/84.52	c (38,0) c AnalysisTime_total : 7.936775
364.77/84.52	c (38,0) c AnalysisTime_winner : 0.947404
364.77/84.52	c (38,0) c ReductionTime_0 : 0.113358
364.77/84.52	c (38,0) c ReductionTime_1 : 0.076591
364.77/84.52	c (38,0) c ReductionTime_2 : 0.127592
364.77/84.52	c (38,0) c ReductionTime_3 : 0.080739
364.77/84.52	c (38,0) c ReductionTime_4 : 0.081539
364.77/84.52	c (38,0) c ReductionTime_5 : 0.113582
364.77/84.52	c (38,0) c ReductionTime_6 : 0.102860
364.77/84.52	c (38,0) c ReductionTime_7 : 0.116175
364.77/84.52	c (38,0) c ReductionTime_total : 0.812436
364.77/84.52	c (38,0) c ReductionTime_winner : 0.116175
364.77/84.52	c (38,0) c SimplifyTime_0 : 0.012593
364.77/84.52	c (38,0) c SimplifyTime_1 : 0.011054
364.77/84.52	c (38,0) c SimplifyTime_2 : 0.031435
364.77/84.52	c (38,0) c SimplifyTime_3 : 0.005686
364.77/84.52	c (38,0) c SimplifyTime_4 : 0.033727
364.77/84.52	c (38,0) c SimplifyTime_5 : 0.032582
364.77/84.52	c (38,0) c SimplifyTime_6 : 0.011892
364.77/84.52	c (38,0) c SimplifyTime_7 : 0.061326
364.77/84.52	c (38,0) c SimplifyTime_total : 0.200295
364.77/84.52	c (38,0) c SimplifyTime_winner : 0.061326
364.77/84.52	c (38,0) c UsedRateTime_0 : 0.000000
364.77/84.52	c (38,0) c UsedRateTime_1 : 0.000000
364.77/84.52	c (38,0) c UsedRateTime_2 : 0.000000
364.77/84.52	c (38,0) c UsedRateTime_3 : 0.000000
364.77/84.52	c (38,0) c UsedRateTime_4 : 0.000000
364.77/84.52	c (38,0) c UsedRateTime_5 : 0.000000
364.77/84.52	c (38,0) c UsedRateTime_6 : 0.000000
364.77/84.52	c (38,0) c UsedRateTime_7 : 0.000000
364.77/84.52	c (38,0) c UsedRateTime_total : 0.000000
364.77/84.52	c (38,0) c UsedRateTime_winner : 0.000000
364.77/84.52	c (38,0) c OverlapRateTime_0 : 0.000000
364.77/84.52	c (38,0) c OverlapRateTime_1 : 0.000000
364.77/84.52	c (38,0) c OverlapRateTime_2 : 0.000000
364.77/84.52	c (38,0) c OverlapRateTime_3 : 0.000000
364.77/84.52	c (38,0) c OverlapRateTime_4 : 0.000000
364.77/84.52	c (38,0) c OverlapRateTime_5 : 0.000000
364.77/84.52	c (38,0) c OverlapRateTime_6 : 0.000000
364.77/84.52	c (38,0) c OverlapRateTime_7 : 0.000000
364.77/84.52	c (38,0) c OverlapRateTime_total : 0.000000
364.77/84.52	c (38,0) c OverlapRateTime_winner : 0.000000
364.77/84.52	c (38,0) c
364.77/84.52	c (38,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
364.77/84.52	c (38,0) c
364.77/84.52	c (38,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
364.77/84.52	c (38,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
364.77/84.52	c (38,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
364.77/84.52	c (38,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
364.77/84.52	c (38,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
364.77/84.52	c (38,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
364.77/84.52	c (38,0) c | Initial random_seed   | 1892529244 |  121562673 | 1795343426 |   45523699 |  462242363 |  798182054 | 1239459578 |  246955554 |
364.77/84.52	c (38,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
364.77/84.52	c (38,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
364.77/84.52	c (38,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
364.77/84.52	c (38,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
364.77/84.52	c (38,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
364.77/84.52	c (38,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
364.77/84.52	c (38,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
364.77/84.52	c (38,0) c | var_decay             |     0.9300 |     0.9300 |     0.9400 |     0.9300 |     0.9300 |     0.9300 |     0.9300 |     0.9300 |
364.77/84.52	c (38,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
364.77/84.52	c (38,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
364.77/84.52	c (38,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
364.77/84.52	c (38,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
364.77/84.52	c (38,0) 
364.77/84.53	c (38,0) s UNSATISFIABLE
364.77/84.53	c (38,0) SatSolver.solve End
364.77/84.53	c (38,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
364.77/84.53	c (38,0) Show results Begin
364.77/84.53	s UNSATISFIABLE
364.77/84.53	c (38,0) Show results End
364.77/84.53	c (38,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
364.77/84.53	c (38,0) 38,38,STOP-AFTER(ALL)
364.77/84.53	c END-Prog: Sat Sep 14 03:41:21 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 (12277 MiB free)
  memory of node 1: 16384 MiB (11763 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4392646-1568425234/watcher-4392646-1568425234 -o /tmp/evaluation-result-4392646-1568425234/solver-4392646-1568425234 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node126-1568421825-2318 --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-4392646-1568425234.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=3971, runsolver pid=3968
Current StackSize limit: 8192 KiB


[startup+0.100177 s]*
/proc/loadavg: 5.36 7.18 7.66 3/211 3993
/proc/meminfo: memFree=24527012/32770624 swapFree=67004752/67108860
[pid=3971] ppid=3968 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/3971/stat : 3971 (scop.sh) S 3968 3971 2291 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 418791249 115843072 349 33554432000 4194304 5098028 140721213302736 140721213299992 140389371859580 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 23429120 140721213309732 140721213310060 140721213310060 140721213312973 0
/proc/3971/statm: 28282 349 296 221 0 87 0
[pid=3974] ppid=3971 vsize=27314120 memory=104084 CPUtime=0.1 cores=0-7
/proc/3974/stat : 3974 (java) S 3971 3971 2291 0 -1 1077944320 6616 0 0 0 8 2 0 0 20 0 20 0 418791249 27969658880 26021 33554432000 4194304 4196468 140729781951840 140729781934384 140668107783927 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 20934656 140729781957355 140729781957782 140729781957782 140729781960655 0
/proc/3974/statm: 6828530 26021 2798 1 0 6790935 0
[pid=3974/tid=3975] ppid=3971 vsize=27314120 memory=1398722017469774279 CPUtime=0.09 cores=0-7
/proc/3974/task/3975/stat : 3975 (java) R 3971 3971 2291 0 -1 4202560 4708 0 0 0 7 2 0 0 20 0 20 0 418791249 27969658880 26021 33554432000 4194304 4196468 140729781951840 140668079618608 140668091864414 0 4 2 16800973 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 20934656 140729781957355 140729781957782 140729781957782 140729781960655 0
[pid=3974/tid=3976] ppid=3971 vsize=27314120 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/3974/task/3976/stat : 3976 (java) S 3971 3971 2291 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418791252 27969658880 26021 33554432000 4194304 4196468 140729781951840 140668112026000 140668107794133 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20934656 140729781957355 140729781957782 140729781957782 140729781960655 0
[pid=3974/tid=3977] ppid=3971 vsize=27314120 memory=140613387331200 CPUtime=0 cores=0-7
/proc/3974/task/3977/stat : 3977 (java) S 3971 3971 2291 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418791252 27969658880 26021 33554432000 4194304 4196468 140729781951840 140667926182160 140668107794133 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20934656 140729781957355 140729781957782 140729781957782 140729781960655 0
[pid=3974/tid=3978] ppid=3971 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3974/task/3978/stat : 3978 (java) S 3971 3971 2291 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418791252 27969658880 26021 33554432000 4194304 4196468 140729781951840 140667925129872 140668107794133 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20934656 140729781957355 140729781957782 140729781957782 140729781960655 0
[pid=3974/tid=3979] ppid=3971 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3974/task/3979/stat : 3979 (java) S 3971 3971 2291 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418791252 27969658880 26021 33554432000 4194304 4196468 140729781951840 140667924077072 140668107794133 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20934656 140729781957355 140729781957782 140729781957782 140729781960655 0
[pid=3974/tid=3980] ppid=3971 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3974/task/3980/stat : 3980 (java) S 3971 3971 2291 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418791252 27969658880 26021 33554432000 4194304 4196468 140729781951840 140667923024784 140668107794133 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20934656 140729781957355 140729781957782 140729781957782 140729781960655 0
[pid=3974/tid=3981] ppid=3971 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/3974/task/3981/stat : 3981 (java) S 3971 3971 2291 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418791252 27969658880 26021 33554432000 4194304 4196468 140729781951840 140667921971984 140668107794133 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20934656 140729781957355 140729781957782 140729781957782 140729781960655 0
[pid=3974/tid=3982] ppid=3971 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3974/task/3982/stat : 3982 (java) S 3971 3971 2291 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418791252 27969658880 26021 33554432000 4194304 4196468 140729781951840 140667920919696 140668107794133 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20934656 140729781957355 140729781957782 140729781957782 140729781960655 0
[pid=3974/tid=3983] ppid=3971 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3974/task/3983/stat : 3983 (java) S 3971 3971 2291 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418791252 27969658880 26021 33554432000 4194304 4196468 140729781951840 140667919866896 140668107794133 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20934656 140729781957355 140729781957782 140729781957782 140729781960655 0
[pid=3974/tid=3984] ppid=3971 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3974/task/3984/stat : 3984 (java) S 3971 3971 2291 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418791253 27969658880 26021 33554432000 4194304 4196468 140729781951840 140666696558704 140668107795074 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20934656 140729781957355 140729781957782 140729781957782 140729781960655 0
[pid=3974/tid=3985] ppid=3971 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3974/task/3985/stat : 3985 (java) S 3971 3971 2291 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 418791254 27969658880 26021 33554432000 4194304 4196468 140729781951840 140665681863456 140668107794133 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20934656 140729781957355 140729781957782 140729781957782 140729781960655 0
[pid=3974/tid=3986] ppid=3971 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3974/task/3986/stat : 3986 (java) S 3971 3971 2291 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 418791254 27969658880 26021 33554432000 4194304 4196468 140729781951840 140665547641968 140668107794133 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20934656 140729781957355 140729781957782 140729781957782 140729781960655 0
[pid=3974/tid=3987] ppid=3971 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3974/task/3987/stat : 3987 (java) S 3971 3971 2291 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418791256 27969658880 26021 33554432000 4194304 4196468 140729781951840 140665173137488 140668107802523 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20934656 140729781957355 140729781957782 140729781957782 140729781960655 0
[pid=3974/tid=3988] ppid=3971 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3974/task/3988/stat : 3988 (java) S 3971 3971 2291 0 -1 1077944384 308 0 0 0 0 0 0 0 20 0 20 0 418791256 27969658880 26021 33554432000 4194304 4196468 140729781951840 140666695506544 140668107795074 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20934656 140729781957355 140729781957782 140729781957782 140729781960655 0
[pid=3974/tid=3989] ppid=3971 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3974/task/3989/stat : 3989 (java) S 3971 3971 2291 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418791256 27969658880 26021 33554432000 4194304 4196468 140729781951840 140666694453744 140668107795074 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20934656 140729781957355 140729781957782 140729781957782 140729781960655 0
[pid=3974/tid=3990] ppid=3971 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3974/task/3990/stat : 3990 (java) S 3971 3971 2291 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418791256 27969658880 26021 33554432000 4194304 4196468 140729781951840 140666693401456 140668107795074 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20934656 140729781957355 140729781957782 140729781957782 140729781960655 0
[pid=3974/tid=3991] ppid=3971 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3974/task/3991/stat : 3991 (java) S 3971 3971 2291 0 -1 1077944384 252 0 0 0 0 0 0 0 20 0 20 0 418791256 27969658880 26021 33554432000 4194304 4196468 140729781951840 140666692348656 140668107795074 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20934656 140729781957355 140729781957782 140729781957782 140729781960655 0
[pid=3974/tid=3992] ppid=3971 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3974/task/3992/stat : 3992 (java) S 3971 3971 2291 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418791257 27969658880 26021 33554432000 4194304 4196468 140729781951840 140664675232096 140668107794133 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20934656 140729781957355 140729781957782 140729781957782 140729781960655 0
[pid=3974/tid=3993] ppid=3971 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/3974/task/3993/stat : 3993 (java) S 3971 3971 2291 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418791257 27969658880 26021 33554432000 4194304 4196468 140729781951840 140666691295536 140668107795074 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20934656 140729781957355 140729781957782 140729781957782 140729781960655 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 105480 KiB

[startup+0.210669 s]*
/proc/loadavg: 5.36 7.18 7.66 2/211 3993
/proc/meminfo: memFree=24504408/32770624 swapFree=67004752/67108860
[pid=3971] ppid=3968 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/3971/stat : 3971 (scop.sh) S 3968 3971 2291 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 418791249 115843072 349 33554432000 4194304 5098028 140721213302736 140721213299992 140389371859580 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 23429120 140721213309732 140721213310060 140721213310060 140721213312973 0
/proc/3971/statm: 28282 349 296 221 0 87 0
[pid=3974] ppid=3971 vsize=27314120 memory=123440 CPUtime=0.24 cores=0-7
/proc/3974/stat : 3974 (java) S 3971 3971 2291 0 -1 1077944320 12256 0 0 0 21 3 0 0 20 0 20 0 418791249 27969658880 30860 33554432000 4194304 4196468 140729781951840 140729781934384 140668107783927 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 20934656 140729781957355 140729781957782 140729781957782 140729781960655 0
/proc/3974/statm: 6828530 30860 2940 1 0 6790935 0
[pid=3974/tid=3975] ppid=3971 vsize=27314120 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/3974/task/3975/stat : 3975 (java) R 3971 3971 2291 0 -1 4202560 9936 0 0 0 16 3 0 0 20 0 20 0 418791249 27969658880 30860 33554432000 4194304 4196468 140729781951840 140668079573800 140668092949473 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20934656 140729781957355 140729781957782 140729781957782 140729781960655 0
[pid=3974/tid=3976] ppid=3971 vsize=27314120 memory=328 CPUtime=0 cores=0-7
/proc/3974/task/3976/stat : 3976 (java) S 3971 3971 2291 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418791252 27969658880 30860 33554432000 4194304 4196468 140729781951840 140668112026000 140668107794133 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20934656 140729781957355 140729781957782 140729781957782 140729781960655 0
[pid=3974/tid=3977] ppid=3971 vsize=27314120 memory=140613387342879 CPUtime=0 cores=0-7
/proc/3974/task/3977/stat : 3977 (java) S 3971 3971 2291 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418791252 27969658880 30860 33554432000 4194304 4196468 140729781951840 140667926182160 140668107794133 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20934656 140729781957355 140729781957782 140729781957782 140729781960655 0
[pid=3974/tid=3978] ppid=3971 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/3974/task/3978/stat : 3978 (java) S 3971 3971 2291 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418791252 27969658880 30860 33554432000 4194304 4196468 140729781951840 140667925129872 140668107794133 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20934656 140729781957355 140729781957782 140729781957782 140729781960655 0
[pid=3974/tid=3979] ppid=3971 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3974/task/3979/stat : 3979 (java) S 3971 3971 2291 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418791252 27969658880 30860 33554432000 4194304 4196468 140729781951840 140667924077072 140668107794133 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20934656 140729781957355 140729781957782 140729781957782 140729781960655 0
[pid=3974/tid=3980] ppid=3971 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3974/task/3980/stat : 3980 (java) S 3971 3971 2291 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418791252 27969658880 30860 33554432000 4194304 4196468 140729781951840 140667923024784 140668107794133 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20934656 140729781957355 140729781957782 140729781957782 140729781960655 0
[pid=3974/tid=3981] ppid=3971 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/3974/task/3981/stat : 3981 (java) S 3971 3971 2291 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418791252 27969658880 30860 33554432000 4194304 4196468 140729781951840 140667921971984 140668107794133 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20934656 140729781957355 140729781957782 140729781957782 140729781960655 0
[pid=3974/tid=3982] ppid=3971 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3974/task/3982/stat : 3982 (java) S 3971 3971 2291 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418791252 27969658880 30860 33554432000 4194304 4196468 140729781951840 140667920919696 140668107794133 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20934656 140729781957355 140729781957782 140729781957782 140729781960655 0
[pid=3974/tid=3983] ppid=3971 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3974/task/3983/stat : 3983 (java) S 3971 3971 2291 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418791252 27969658880 30860 33554432000 4194304 4196468 140729781951840 140667919866896 140668107794133 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20934656 140729781957355 140729781957782 140729781957782 140729781960655 0
[pid=3974/tid=3984] ppid=3971 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3974/task/3984/stat : 3984 (java) S 3971 3971 2291 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418791253 27969658880 30860 33554432000 4194304 4196468 140729781951840 140666696558704 140668107795074 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20934656 140729781957355 140729781957782 140729781957782 140729781960655 0
[pid=3974/tid=3985] ppid=3971 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3974/task/3985/stat : 3985 (java) S 3971 3971 2291 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 418791254 27969658880 30860 33554432000 4194304 4196468 140729781951840 140665681863456 140668107794133 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20934656 140729781957355 140729781957782 140729781957782 140729781960655 0
[pid=3974/tid=3986] ppid=3971 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3974/task/3986/stat : 3986 (java) S 3971 3971 2291 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 418791254 27969658880 30860 33554432000 4194304 4196468 140729781951840 140665547641968 140668107794133 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20934656 140729781957355 140729781957782 140729781957782 140729781960655 0
[pid=3974/tid=3987] ppid=3971 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3974/task/3987/stat : 3987 (java) S 3971 3971 2291 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418791256 27969658880 30860 33554432000 4194304 4196468 140729781951840 140665173137488 140668107802523 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20934656 140729781957355 140729781957782 140729781957782 140729781960655 0
[pid=3974/tid=3988] ppid=3971 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3974/task/3988/stat : 3988 (java) S 3971 3971 2291 0 -1 1077944384 320 0 0 0 0 0 0 0 20 0 20 0 418791256 27969658880 30860 33554432000 4194304 4196468 140729781951840 140666695506544 140668107795074 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20934656 140729781957355 140729781957782 140729781957782 140729781960655 0
[pid=3974/tid=3989] ppid=3971 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3974/task/3989/stat : 3989 (java) S 3971 3971 2291 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418791256 27969658880 30860 33554432000 4194304 4196468 140729781951840 140666694453744 140668107795074 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20934656 140729781957355 140729781957782 140729781957782 140729781960655 0
[pid=3974/tid=3990] ppid=3971 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/3974/task/3990/stat : 3990 (java) S 3971 3971 2291 0 -1 1077944384 171 0 0 0 0 0 0 0 20 0 20 0 418791256 27969658880 30860 33554432000 4194304 4196468 140729781951840 140666693401456 140668107795074 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20934656 140729781957355 140729781957782 140729781957782 140729781960655 0
[pid=3974/tid=3991] ppid=3971 vsize=27314120 memory=-1 CPUtime=0.02 cores=0-7
/proc/3974/task/3991/stat : 3991 (java) S 3971 3971 2291 0 -1 1077944384 464 0 0 0 2 0 0 0 20 0 20 0 418791256 27969658880 30860 33554432000 4194304 4196468 140729781951840 140666692348656 140668107795074 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20934656 140729781957355 140729781957782 140729781957782 140729781960655 0
[pid=3974/tid=3992] ppid=3971 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3974/task/3992/stat : 3992 (java) S 3971 3971 2291 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418791257 27969658880 30860 33554432000 4194304 4196468 140729781951840 140664675232096 140668107794133 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20934656 140729781957355 140729781957782 140729781957782 140729781960655 0
[pid=3974/tid=3993] ppid=3971 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/3974/task/3993/stat : 3993 (java) S 3971 3971 2291 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418791257 27969658880 30860 33554432000 4194304 4196468 140729781951840 140666691295536 140668107795074 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20934656 140729781957355 140729781957782 140729781957782 140729781960655 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 124836 KiB

[startup+0.309583 s]*
/proc/loadavg: 5.36 7.18 7.66 2/211 3993
/proc/meminfo: memFree=24501988/32770624 swapFree=67004752/67108860
[pid=3971] ppid=3968 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/3971/stat : 3971 (scop.sh) S 3968 3971 2291 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 418791249 115843072 349 33554432000 4194304 5098028 140721213302736 140721213299992 140389371859580 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 23429120 140721213309732 140721213310060 140721213310060 140721213312973 0
/proc/3971/statm: 28282 349 296 221 0 87 0
[pid=3974] ppid=3971 vsize=27314120 memory=127716 CPUtime=0.42 cores=0-7
/proc/3974/stat : 3974 (java) S 3971 3971 2291 0 -1 1077944320 13312 0 0 0 38 4 0 0 20 0 20 0 418791249 27969658880 31929 33554432000 4194304 4196468 140729781951840 140729781934384 140668107783927 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 20934656 140729781957355 140729781957782 140729781957782 140729781960655 0
/proc/3974/statm: 6828530 31929 3059 1 0 6790935 0
[pid=3974/tid=3975] ppid=3971 vsize=27314120 memory=1398722017469774279 CPUtime=0.3 cores=0-7
/proc/3974/task/3975/stat : 3975 (java) R 3971 3971 2291 0 -1 4202560 10777 0 0 0 26 4 0 0 20 0 20 0 418791249 27969658880 31929 33554432000 4194304 4196468 140729781951840 140668079601424 140668088059655 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20934656 140729781957355 140729781957782 140729781957782 140729781960655 0
[pid=3974/tid=3976] ppid=3971 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3974/task/3976/stat : 3976 (java) S 3971 3971 2291 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418791252 27969658880 31929 33554432000 4194304 4196468 140729781951840 140668112026000 140668107794133 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20934656 140729781957355 140729781957782 140729781957782 140729781960655 0
[pid=3974/tid=3977] ppid=3971 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3974/task/3977/stat : 3977 (java) S 3971 3971 2291 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418791252 27969658880 31929 33554432000 4194304 4196468 140729781951840 140667926182160 140668107794133 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20934656 140729781957355 140729781957782 140729781957782 140729781960655 0
[pid=3974/tid=3978] ppid=3971 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3974/task/3978/stat : 3978 (java) S 3971 3971 2291 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418791252 27969658880 31929 33554432000 4194304 4196468 140729781951840 140667925129872 140668107794133 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20934656 140729781957355 140729781957782 140729781957782 140729781960655 0
[pid=3974/tid=3979] ppid=3971 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3974/task/3979/stat : 3979 (java) S 3971 3971 2291 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418791252 27969658880 31929 33554432000 4194304 4196468 140729781951840 140667924077072 140668107794133 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20934656 140729781957355 140729781957782 140729781957782 140729781960655 0
[pid=3974/tid=3980] ppid=3971 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3974/task/3980/stat : 3980 (java) S 3971 3971 2291 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418791252 27969658880 31929 33554432000 4194304 4196468 140729781951840 140667923024784 140668107794133 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20934656 140729781957355 140729781957782 140729781957782 140729781960655 0
[pid=3974/tid=3981] ppid=3971 vsize=27314120 memory=140613269940911 CPUtime=0 cores=0-7
/proc/3974/task/3981/stat : 3981 (java) S 3971 3971 2291 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418791252 27969658880 31929 33554432000 4194304 4196468 140729781951840 140667921971984 140668107794133 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20934656 140729781957355 140729781957782 140729781957782 140729781960655 0
[pid=3974/tid=3982] ppid=3971 vsize=27314120 memory=140613269943216 CPUtime=0 cores=0-7
/proc/3974/task/3982/stat : 3982 (java) S 3971 3971 2291 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418791252 27969658880 31929 33554432000 4194304 4196468 140729781951840 140667920919696 140668107794133 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20934656 140729781957355 140729781957782 140729781957782 140729781960655 0
[pid=3974/tid=3983] ppid=3971 vsize=27314120 memory=140613269945520 CPUtime=0 cores=0-7
/proc/3974/task/3983/stat : 3983 (java) S 3971 3971 2291 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418791252 27969658880 31929 33554432000 4194304 4196468 140729781951840 140667919866896 140668107794133 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20934656 140729781957355 140729781957782 140729781957782 140729781960655 0
[pid=3974/tid=3984] ppid=3971 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3974/task/3984/stat : 3984 (java) S 3971 3971 2291 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418791253 27969658880 31929 33554432000 4194304 4196468 140729781951840 140666696558704 140668107795074 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20934656 140729781957355 140729781957782 140729781957782 140729781960655 0
[pid=3974/tid=3985] ppid=3971 vsize=27314120 memory=281226539904912 CPUtime=0 cores=0-7
/proc/3974/task/3985/stat : 3985 (java) S 3971 3971 2291 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 418791254 27969658880 31929 33554432000 4194304 4196468 140729781951840 140665681863456 140668107794133 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20934656 140729781957355 140729781957782 140729781957782 140729781960655 0
[pid=3974/tid=3986] ppid=3971 vsize=27314120 memory=281226539902608 CPUtime=0 cores=0-7
/proc/3974/task/3986/stat : 3986 (java) S 3971 3971 2291 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 418791254 27969658880 31929 33554432000 4194304 4196468 140729781951840 140665547641968 140668107794133 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20934656 140729781957355 140729781957782 140729781957782 140729781960655 0
[pid=3974/tid=3987] ppid=3971 vsize=27314120 memory=281226539909520 CPUtime=0 cores=0-7
/proc/3974/task/3987/stat : 3987 (java) S 3971 3971 2291 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418791256 27969658880 31929 33554432000 4194304 4196468 140729781951840 140665173137488 140668107802523 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20934656 140729781957355 140729781957782 140729781957782 140729781960655 0
[pid=3974/tid=3988] ppid=3971 vsize=27314120 memory=281226539850800 CPUtime=0.01 cores=0-7
/proc/3974/task/3988/stat : 3988 (java) S 3971 3971 2291 0 -1 1077944384 407 0 0 0 1 0 0 0 20 0 20 0 418791256 27969658880 31929 33554432000 4194304 4196468 140729781951840 140666695506544 140668107795074 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20934656 140729781957355 140729781957782 140729781957782 140729781960655 0
[pid=3974/tid=3989] ppid=3971 vsize=27314120 memory=281226539923344 CPUtime=0 cores=0-7
/proc/3974/task/3989/stat : 3989 (java) S 3971 3971 2291 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 20 0 418791256 27969658880 31929 33554432000 4194304 4196468 140729781951840 140666694453744 140668107795074 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20934656 140729781957355 140729781957782 140729781957782 140729781960655 0
[pid=3974/tid=3990] ppid=3971 vsize=27314120 memory=281226539930256 CPUtime=0.01 cores=0-7
/proc/3974/task/3990/stat : 3990 (java) S 3971 3971 2291 0 -1 1077944384 225 0 0 0 1 0 0 0 20 0 20 0 418791256 27969658880 31929 33554432000 4194304 4196468 140729781951840 140666693401456 140668107795074 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20934656 140729781957355 140729781957782 140729781957782 140729781960655 0
[pid=3974/tid=3991] ppid=3971 vsize=27314120 memory=281226539927952 CPUtime=0.07 cores=0-7
/proc/3974/task/3991/stat : 3991 (java) S 3971 3971 2291 0 -1 1077944384 515 0 0 0 7 0 0 0 20 0 20 0 418791256 27969658880 31929 33554432000 4194304 4196468 140729781951840 140666692348656 140668107795074 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20934656 140729781957355 140729781957782 140729781957782 140729781960655 0
[pid=3974/tid=3992] ppid=3971 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3974/task/3992/stat : 3992 (java) S 3971 3971 2291 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418791257 27969658880 31929 33554432000 4194304 4196468 140729781951840 140664675232096 140668107794133 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20934656 140729781957355 140729781957782 140729781957782 140729781960655 0
[pid=3974/tid=3993] ppid=3971 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/3974/task/3993/stat : 3993 (java) S 3971 3971 2291 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418791257 27969658880 31929 33554432000 4194304 4196468 140729781951840 140666691295536 140668107795074 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20934656 140729781957355 140729781957782 140729781957782 140729781960655 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 129112 KiB

[startup+0.700976 s]
/proc/loadavg: 5.36 7.18 7.66 2/211 3993
/proc/meminfo: memFree=24480408/32770624 swapFree=67004752/67108860
[pid=3971] ppid=3968 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/3971/stat : 3971 (scop.sh) S 3968 3971 2291 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 418791249 115843072 349 33554432000 4194304 5098028 140721213302736 140721213299992 140389371859580 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 23429120 140721213309732 140721213310060 140721213310060 140721213312973 0
/proc/3971/statm: 28282 349 296 221 0 87 0
[pid=3974] ppid=3971 vsize=27320392 memory=163164 CPUtime=0.98 cores=0-7
/proc/3974/stat : 3974 (java) S 3971 3971 2291 0 -1 1077944320 20426 0 0 0 92 6 0 0 20 0 20 0 418791249 27976081408 40791 33554432000 4194304 4196468 140729781951840 140729781934384 140668107783927 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 20934656 140729781957355 140729781957782 140729781957782 140729781960655 0
/proc/3974/statm: 6830098 40791 3168 1 0 6791447 0
[pid=3974/tid=3975] ppid=3971 vsize=27320392 memory=0 CPUtime=0.67 cores=0-7
/proc/3974/task/3975/stat : 3975 (java) R 3971 3971 2291 0 -1 4202560 17340 0 0 0 62 5 0 0 20 0 20 0 418791249 27976081408 40791 33554432000 4194304 4196468 140729781951840 140668079618864 140668107805853 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20934656 140729781957355 140729781957782 140729781957782 140729781960655 0
[pid=3974/tid=3976] ppid=3971 vsize=27320392 memory=140613270152048 CPUtime=0 cores=0-7
/proc/3974/task/3976/stat : 3976 (java) S 3971 3971 2291 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418791252 27976081408 40791 33554432000 4194304 4196468 140729781951840 140668112026000 140668107794133 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20934656 140729781957355 140729781957782 140729781957782 140729781960655 0
[pid=3974/tid=3977] ppid=3971 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/3974/task/3977/stat : 3977 (java) S 3971 3971 2291 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418791252 27976081408 40791 33554432000 4194304 4196468 140729781951840 140667926182160 140668107794133 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20934656 140729781957355 140729781957782 140729781957782 140729781960655 0
[pid=3974/tid=3978] ppid=3971 vsize=27320392 memory=772 CPUtime=0 cores=0-7
/proc/3974/task/3978/stat : 3978 (java) S 3971 3971 2291 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418791252 27976081408 40791 33554432000 4194304 4196468 140729781951840 140667925129872 140668107794133 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20934656 140729781957355 140729781957782 140729781957782 140729781960655 0

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

[pid=4004/tid=4014] ppid=3971 vsize=8414124 memory=140613270800045 CPUtime=0 cores=0-7
/proc/4004/task/4014/stat : 4014 (java) S 3971 3971 2291 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 418795830 8616062976 30076 33554432000 4194304 4196468 140725512701760 139661568276848 139662474803842 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29343744 140725512709112 140725512709270 140725512709270 140725512712143 0
[pid=4004/tid=4015] ppid=3971 vsize=8414124 memory=3620 CPUtime=0 cores=0-7
/proc/4004/task/4015/stat : 4015 (java) S 3971 3971 2291 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 418795830 8616062976 30076 33554432000 4194304 4196468 140725512701760 139661129278496 139662474802901 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29343744 140725512709112 140725512709270 140725512709270 140725512712143 0
[pid=4004/tid=4016] ppid=3971 vsize=8414124 memory=40980 CPUtime=0 cores=0-7
/proc/4004/task/4016/stat : 4016 (java) S 3971 3971 2291 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418795831 8616062976 30076 33554432000 4194304 4196468 140725512701760 139660860842864 139662474802901 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29343744 140725512709112 140725512709270 140725512709270 140725512712143 0
[pid=4004/tid=4017] ppid=3971 vsize=8414124 memory=984 CPUtime=0 cores=0-7
/proc/4004/task/4017/stat : 4017 (java) S 3971 3971 2291 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418795833 8616062976 30076 33554432000 4194304 4196468 140725512701760 139660486334288 139662474811291 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29343744 140725512709112 140725512709270 140725512709270 140725512712143 0
[pid=4004/tid=4018] ppid=3971 vsize=8414124 memory=2004 CPUtime=0.05 cores=0-7
/proc/4004/task/4018/stat : 4018 (java) S 3971 3971 2291 0 -1 1077944384 588 0 0 0 5 0 0 0 20 0 24 0 418795833 8616062976 30076 33554432000 4194304 4196468 140725512701760 139661567224688 139662474803842 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29343744 140725512709112 140725512709270 140725512709270 140725512712143 0
[pid=4004/tid=4019] ppid=3971 vsize=8414124 memory=1276 CPUtime=0.06 cores=0-7
/proc/4004/task/4019/stat : 4019 (java) S 3971 3971 2291 0 -1 1077944384 402 0 0 0 6 0 0 0 20 0 24 0 418795833 8616062976 30076 33554432000 4194304 4196468 140725512701760 139661566171888 139662474803842 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29343744 140725512709112 140725512709270 140725512709270 140725512712143 0
[pid=4004/tid=4020] ppid=3971 vsize=8414124 memory=1060 CPUtime=0.06 cores=0-7
/proc/4004/task/4020/stat : 4020 (java) S 3971 3971 2291 0 -1 1077944384 169 0 0 0 6 0 0 0 20 0 24 0 418795833 8616062976 30076 33554432000 4194304 4196468 140725512701760 139661565119088 139662474803842 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29343744 140725512709112 140725512709270 140725512709270 140725512712143 0
[pid=4004/tid=4021] ppid=3971 vsize=8414124 memory=13412 CPUtime=0.19 cores=0-7
/proc/4004/task/4021/stat : 4021 (java) S 3971 3971 2291 0 -1 1077944384 518 0 0 0 19 0 0 0 20 0 24 0 418795833 8616062976 30076 33554432000 4194304 4196468 140725512701760 139661564066288 139662474803842 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29343744 140725512709112 140725512709270 140725512709270 140725512712143 0
[pid=4004/tid=4022] ppid=3971 vsize=8414124 memory=5867463977200084325 CPUtime=0 cores=0-7
/proc/4004/task/4022/stat : 4022 (java) S 3971 3971 2291 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 418795833 8616062976 30076 33554432000 4194304 4196468 140725512701760 139659988429408 139662474802901 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29343744 140725512709112 140725512709270 140725512709270 140725512712143 0
[pid=4004/tid=4023] ppid=3971 vsize=8414124 memory=5867463977200084325 CPUtime=0.02 cores=0-7
/proc/4004/task/4023/stat : 4023 (java) S 3971 3971 2291 0 -1 1077944384 5 0 0 0 0 2 0 0 20 0 24 0 418795834 8616062976 30076 33554432000 4194304 4196468 140725512701760 139661563013680 139662474803842 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29343744 140725512709112 140725512709270 140725512709270 140725512712143 0
[pid=4004/tid=4025] ppid=3971 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/4004/task/4025/stat : 4025 (java) S 3971 3971 2291 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 418795900 8616062976 30076 33554432000 4194304 4196468 140725512701760 139661554979904 139662474817305 0 4 2 25189581 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 29343744 140725512709112 140725512709270 140725512709270 140725512712143 0
[pid=4004/tid=4027] ppid=3971 vsize=8414124 memory=6943526294502006880 CPUtime=0 cores=0-7
/proc/4004/task/4027/stat : 4027 (java) S 3971 3971 2291 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 24 0 418795900 8616062976 30076 33554432000 4194304 4196468 140725512701760 139659317330064 139662474814621 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 29343744 140725512709112 140725512709270 140725512709270 140725512712143 0
[pid=4004/tid=4028] ppid=3971 vsize=8414124 memory=6943526294502006880 CPUtime=0 cores=0-7
/proc/4004/task/4028/stat : 4028 (java) S 3971 3971 2291 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 418795900 8616062976 30076 33554432000 4194304 4196468 140725512701760 139659585765392 139662474814621 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 29343744 140725512709112 140725512709270 140725512709270 140725512712143 0
[pid=4004/tid=4029] ppid=3971 vsize=8414124 memory=6655300316396806240 CPUtime=0 cores=0-7
/proc/4004/task/4029/stat : 4029 (java) S 3971 3971 2291 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 418795902 8616062976 30076 33554432000 4194304 4196468 140725512701760 139659048902192 139662474802901 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29343744 140725512709112 140725512709270 140725512709270 140725512712143 0
Current children cumulated CPU time: 363.7 s
Current children cumulated vsize: 9190420 KiB
Current children cumulated memory: 319552 KiB

[startup+84.4012 s]
/proc/loadavg: 5.03 6.44 7.35 7/222 4039
/proc/meminfo: memFree=24311172/32770624 swapFree=67004752/67108860
[pid=3971] ppid=3968 vsize=113128 memory=1476 CPUtime=65.96 cores=0-7
/proc/3971/stat : 3971 (scop.sh) S 3968 3971 2291 0 -1 4202496 583 67436 0 0 0 0 6348 248 20 0 1 0 418791249 115843072 369 33554432000 4194304 5098028 140721213302736 140721213299480 140389371859580 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 23429120 140721213309732 140721213310060 140721213310060 140721213312973 0
/proc/3971/statm: 28282 369 311 221 0 87 0
[pid=4004] ppid=3971 vsize=8414124 memory=120304 CPUtime=1.18 cores=0-7
/proc/4004/stat : 4004 (java) S 3971 3971 2291 0 -1 1077944320 20532 0 0 0 111 7 0 0 20 0 24 0 418795827 8616062976 30076 33554432000 4194304 4196468 140725512701760 140725512684304 139662474792695 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 29343744 140725512709112 140725512709270 140725512709270 140725512712143 0
/proc/4004/statm: 2103531 30076 3207 1 0 2064875 0
[pid=4024] ppid=4004 vsize=663168 memory=198376 CPUtime=297.53 cores=0-7
/proc/4024/stat : 4024 (manyglucose-4.1) S 4004 3971 2291 0 -1 1077944320 179085 0 0 0 29666 87 0 0 20 0 2 0 418795900 679084032 49594 33554432000 4194304 4454172 140729273193968 140729273192352 139988512882423 0 4 0 8388610 18446744073709551615 0 0 17 2 0 0 0 0 0 6552832 6554400 14917632 140729273197418 140729273197616 140729273197616 140729273200570 0
/proc/4024/statm: 165792 49594 418 64 0 161460 0
[pid=4024/tid=4033] ppid=4004 vsize=663168 memory=19370638052074 CPUtime=37.71 cores=0-7
/proc/4024/task/4033/stat : 4033 (manyglucose-4.1) R 4004 3971 2291 0 -1 4202560 19697 0 0 0 3761 10 0 0 20 0 2 0 418795910 679084032 49594 33554432000 4194304 4454172 140729273193968 139988464520296 4349835 0 4 0 8388610 0 0 0 -1 6 0 0 0 0 0 6552832 6554400 14917632 140729273197418 140729273197616 140729273197616 140729273200570 0
[pid=4004/tid=4005] ppid=3971 vsize=8414124 memory=19370638052074 CPUtime=0.75 cores=0-7
/proc/4004/task/4005/stat : 4005 (java) S 3971 3971 2291 0 -1 1077944384 17452 0 0 0 70 5 0 0 20 0 24 0 418795827 8616062976 30076 33554432000 4194304 4196468 140725512701760 139662446632864 139662474802901 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29343744 140725512709112 140725512709270 140725512709270 140725512712143 0
[pid=4004/tid=4006] ppid=3971 vsize=8414124 memory=281226540425680 CPUtime=0 cores=0-7
/proc/4004/task/4006/stat : 4006 (java) S 3971 3971 2291 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418795828 8616062976 30076 33554432000 4194304 4196468 140725512701760 139662479035024 139662474802901 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29343744 140725512709112 140725512709270 140725512709270 140725512712143 0
[pid=4004/tid=4007] ppid=3971 vsize=8414124 memory=19456537397482 CPUtime=0 cores=0-7
/proc/4004/task/4007/stat : 4007 (java) S 3971 3971 2291 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 418795828 8616062976 30076 33554432000 4194304 4196468 140725512701760 139662279203344 139662474802901 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29343744 140725512709112 140725512709270 140725512709270 140725512712143 0
[pid=4004/tid=4008] ppid=3971 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/4004/task/4008/stat : 4008 (java) S 3971 3971 2291 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 418795828 8616062976 30076 33554432000 4194304 4196468 140725512701760 139662278150544 139662474802901 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29343744 140725512709112 140725512709270 140725512709270 140725512712143 0
[pid=4004/tid=4009] ppid=3971 vsize=8414124 memory=2472 CPUtime=0 cores=0-7
/proc/4004/task/4009/stat : 4009 (java) S 3971 3971 2291 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418795828 8616062976 30076 33554432000 4194304 4196468 140725512701760 139662277097744 139662474802901 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29343744 140725512709112 140725512709270 140725512709270 140725512712143 0
[pid=4004/tid=4010] ppid=3971 vsize=8414124 memory=1440 CPUtime=0 cores=0-7
/proc/4004/task/4010/stat : 4010 (java) S 3971 3971 2291 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418795828 8616062976 30076 33554432000 4194304 4196468 140725512701760 139662276045968 139662474802901 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29343744 140725512709112 140725512709270 140725512709270 140725512712143 0
[pid=4004/tid=4011] ppid=3971 vsize=8414124 memory=816 CPUtime=0 cores=0-7
/proc/4004/task/4011/stat : 4011 (java) S 3971 3971 2291 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 418795828 8616062976 30076 33554432000 4194304 4196468 140725512701760 139662274993168 139662474802901 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29343744 140725512709112 140725512709270 140725512709270 140725512712143 0
[pid=4004/tid=4012] ppid=3971 vsize=8414124 memory=1808 CPUtime=0 cores=0-7
/proc/4004/task/4012/stat : 4012 (java) S 3971 3971 2291 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418795828 8616062976 30076 33554432000 4194304 4196468 140725512701760 139662273940368 139662474802901 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29343744 140725512709112 140725512709270 140725512709270 140725512712143 0
[pid=4004/tid=4013] ppid=3971 vsize=8414124 memory=924 CPUtime=0 cores=0-7
/proc/4004/task/4013/stat : 4013 (java) S 3971 3971 2291 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 418795828 8616062976 30076 33554432000 4194304 4196468 140725512701760 139662272887568 139662474802901 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29343744 140725512709112 140725512709270 140725512709270 140725512712143 0
[pid=4004/tid=4014] ppid=3971 vsize=8414124 memory=4448 CPUtime=0 cores=0-7
/proc/4004/task/4014/stat : 4014 (java) S 3971 3971 2291 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 418795830 8616062976 30076 33554432000 4194304 4196468 140725512701760 139661568276848 139662474803842 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29343744 140725512709112 140725512709270 140725512709270 140725512712143 0
[pid=4004/tid=4015] ppid=3971 vsize=8414124 memory=1764 CPUtime=0 cores=0-7
/proc/4004/task/4015/stat : 4015 (java) S 3971 3971 2291 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 418795830 8616062976 30076 33554432000 4194304 4196468 140725512701760 139661129278496 139662474802901 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29343744 140725512709112 140725512709270 140725512709270 140725512712143 0
[pid=4004/tid=4016] ppid=3971 vsize=8414124 memory=111628 CPUtime=0 cores=0-7
/proc/4004/task/4016/stat : 4016 (java) S 3971 3971 2291 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418795831 8616062976 30076 33554432000 4194304 4196468 140725512701760 139660860842864 139662474802901 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29343744 140725512709112 140725512709270 140725512709270 140725512712143 0
[pid=4004/tid=4017] ppid=3971 vsize=8414124 memory=804 CPUtime=0 cores=0-7
/proc/4004/task/4017/stat : 4017 (java) S 3971 3971 2291 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418795833 8616062976 30076 33554432000 4194304 4196468 140725512701760 139660486334288 139662474811291 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29343744 140725512709112 140725512709270 140725512709270 140725512712143 0
[pid=4004/tid=4018] ppid=3971 vsize=8414124 memory=1540 CPUtime=0.05 cores=0-7
/proc/4004/task/4018/stat : 4018 (java) S 3971 3971 2291 0 -1 1077944384 588 0 0 0 5 0 0 0 20 0 24 0 418795833 8616062976 30076 33554432000 4194304 4196468 140725512701760 139661567224688 139662474803842 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29343744 140725512709112 140725512709270 140725512709270 140725512712143 0
[pid=4004/tid=4019] ppid=3971 vsize=8414124 memory=1720 CPUtime=0.06 cores=0-7
/proc/4004/task/4019/stat : 4019 (java) S 3971 3971 2291 0 -1 1077944384 402 0 0 0 6 0 0 0 20 0 24 0 418795833 8616062976 30076 33554432000 4194304 4196468 140725512701760 139661566171888 139662474803842 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29343744 140725512709112 140725512709270 140725512709270 140725512712143 0
[pid=4004/tid=4020] ppid=3971 vsize=8414124 memory=5968 CPUtime=0.06 cores=0-7
/proc/4004/task/4020/stat : 4020 (java) S 3971 3971 2291 0 -1 1077944384 169 0 0 0 6 0 0 0 20 0 24 0 418795833 8616062976 30076 33554432000 4194304 4196468 140725512701760 139661565119088 139662474803842 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29343744 140725512709112 140725512709270 140725512709270 140725512712143 0
[pid=4004/tid=4021] ppid=3971 vsize=8414124 memory=772 CPUtime=0.19 cores=0-7
/proc/4004/task/4021/stat : 4021 (java) S 3971 3971 2291 0 -1 1077944384 518 0 0 0 19 0 0 0 20 0 24 0 418795833 8616062976 30076 33554432000 4194304 4196468 140725512701760 139661564066288 139662474803842 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29343744 140725512709112 140725512709270 140725512709270 140725512712143 0
[pid=4004/tid=4022] ppid=3971 vsize=8414124 memory=952 CPUtime=0 cores=0-7
/proc/4004/task/4022/stat : 4022 (java) S 3971 3971 2291 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 418795833 8616062976 30076 33554432000 4194304 4196468 140725512701760 139659988429408 139662474802901 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29343744 140725512709112 140725512709270 140725512709270 140725512712143 0
[pid=4004/tid=4023] ppid=3971 vsize=8414124 memory=14008 CPUtime=0.02 cores=0-7
/proc/4004/task/4023/stat : 4023 (java) S 3971 3971 2291 0 -1 1077944384 5 0 0 0 0 2 0 0 20 0 24 0 418795834 8616062976 30076 33554432000 4194304 4196468 140725512701760 139661563013680 139662474803842 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29343744 140725512709112 140725512709270 140725512709270 140725512712143 0
[pid=4004/tid=4025] ppid=3971 vsize=8414124 memory=22404 CPUtime=0 cores=0-7
/proc/4004/task/4025/stat : 4025 (java) S 3971 3971 2291 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 418795900 8616062976 30076 33554432000 4194304 4196468 140725512701760 139661554979904 139662474817305 0 4 2 25189581 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 29343744 140725512709112 140725512709270 140725512709270 140725512712143 0
[pid=4004/tid=4027] ppid=3971 vsize=8414124 memory=2116 CPUtime=0 cores=0-7
/proc/4004/task/4027/stat : 4027 (java) S 3971 3971 2291 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 24 0 418795900 8616062976 30076 33554432000 4194304 4196468 140725512701760 139659317330064 139662474814621 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 29343744 140725512709112 140725512709270 140725512709270 140725512712143 0
[pid=4004/tid=4028] ppid=3971 vsize=8414124 memory=12028 CPUtime=0 cores=0-7
/proc/4004/task/4028/stat : 4028 (java) S 3971 3971 2291 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 418795900 8616062976 30076 33554432000 4194304 4196468 140725512701760 139659585765392 139662474814621 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 29343744 140725512709112 140725512709270 140725512709270 140725512712143 0
[pid=4004/tid=4029] ppid=3971 vsize=8414124 memory=496 CPUtime=0 cores=0-7
/proc/4004/task/4029/stat : 4029 (java) S 3971 3971 2291 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 418795902 8616062976 30076 33554432000 4194304 4196468 140725512701760 139659048902192 139662474802901 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29343744 140725512709112 140725512709270 140725512709270 140725512712143 0
Current children cumulated CPU time: 364.67 s
Current children cumulated vsize: 9190420 KiB
Current children cumulated memory: 320156 KiB

[startup+84.5012 s]
/proc/loadavg: 5.03 6.44 7.35 7/222 4039
/proc/meminfo: memFree=24311172/32770624 swapFree=67004752/67108860
[pid=3971] ppid=3968 vsize=113128 memory=1476 CPUtime=65.96 cores=0-7
/proc/3971/stat : 3971 (scop.sh) S 3968 3971 2291 0 -1 4202496 583 67436 0 0 0 0 6348 248 20 0 1 0 418791249 115843072 369 33554432000 4194304 5098028 140721213302736 140721213299480 140389371859580 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 23429120 140721213309732 140721213310060 140721213310060 140721213312973 0
/proc/3971/statm: 28282 369 311 221 0 87 0
[pid=4004] ppid=3971 vsize=8414124 memory=120304 CPUtime=1.18 cores=0-7
/proc/4004/stat : 4004 (java) S 3971 3971 2291 0 -1 1077944320 20532 0 0 0 111 7 0 0 20 0 24 0 418795827 8616062976 30076 33554432000 4194304 4196468 140725512701760 140725512684304 139662474792695 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 29343744 140725512709112 140725512709270 140725512709270 140725512712143 0
/proc/4004/statm: 2103531 30076 3207 1 0 2064875 0
[pid=4024] ppid=4004 vsize=663168 memory=198376 CPUtime=297.63 cores=0-7
/proc/4024/stat : 4024 (manyglucose-4.1) S 4004 3971 2291 0 -1 1077944320 179091 0 0 0 29676 87 0 0 20 0 2 0 418795900 679084032 49594 33554432000 4194304 4454172 140729273193968 140729273192352 139988512882423 0 4 0 8388610 18446744073709551615 0 0 17 2 0 0 0 0 0 6552832 6554400 14917632 140729273197418 140729273197616 140729273197616 140729273200570 0
/proc/4024/statm: 165792 49594 418 64 0 161460 0
[pid=4024/tid=4033] ppid=4004 vsize=663168 memory=120304 CPUtime=37.81 cores=0-7
/proc/4024/task/4033/stat : 4033 (manyglucose-4.1) R 4004 3971 2291 0 -1 4202560 19703 0 0 0 3771 10 0 0 20 0 2 0 418795910 679084032 49594 33554432000 4194304 4454172 140729273193968 139988464520296 4351235 0 4 0 8388610 0 0 0 -1 6 0 0 0 0 0 6552832 6554400 14917632 140729273197418 140729273197616 140729273197616 140729273200570 0
[pid=4004/tid=4005] ppid=3971 vsize=8414124 memory=1476 CPUtime=0.75 cores=0-7
/proc/4004/task/4005/stat : 4005 (java) S 3971 3971 2291 0 -1 1077944384 17452 0 0 0 70 5 0 0 20 0 24 0 418795827 8616062976 30076 33554432000 4194304 4196468 140725512701760 139662446632864 139662474802901 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29343744 140725512709112 140725512709270 140725512709270 140725512712143 0
[pid=4004/tid=4006] ppid=3971 vsize=8414124 memory=191864 CPUtime=0 cores=0-7
/proc/4004/task/4006/stat : 4006 (java) S 3971 3971 2291 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418795828 8616062976 30076 33554432000 4194304 4196468 140725512701760 139662479035024 139662474802901 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29343744 140725512709112 140725512709270 140725512709270 140725512712143 0
[pid=4004/tid=4007] ppid=3971 vsize=8414124 memory=120304 CPUtime=0 cores=0-7
/proc/4004/task/4007/stat : 4007 (java) S 3971 3971 2291 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 418795828 8616062976 30076 33554432000 4194304 4196468 140725512701760 139662279203344 139662474802901 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29343744 140725512709112 140725512709270 140725512709270 140725512712143 0
[pid=4004/tid=4008] ppid=3971 vsize=8414124 memory=192320 CPUtime=0 cores=0-7
/proc/4004/task/4008/stat : 4008 (java) S 3971 3971 2291 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 418795828 8616062976 30076 33554432000 4194304 4196468 140725512701760 139662278150544 139662474802901 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29343744 140725512709112 140725512709270 140725512709270 140725512712143 0
[pid=4004/tid=4009] ppid=3971 vsize=8414124 memory=3620 CPUtime=0 cores=0-7
/proc/4004/task/4009/stat : 4009 (java) S 3971 3971 2291 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418795828 8616062976 30076 33554432000 4194304 4196468 140725512701760 139662277097744 139662474802901 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29343744 140725512709112 140725512709270 140725512709270 140725512712143 0
[pid=4004/tid=4010] ppid=3971 vsize=8414124 memory=190468 CPUtime=0 cores=0-7
/proc/4004/task/4010/stat : 4010 (java) S 3971 3971 2291 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418795828 8616062976 30076 33554432000 4194304 4196468 140725512701760 139662276045968 139662474802901 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29343744 140725512709112 140725512709270 140725512709270 140725512712143 0
[pid=4004/tid=4011] ppid=3971 vsize=8414124 memory=7084821295264841834 CPUtime=0 cores=0-7
/proc/4004/task/4011/stat : 4011 (java) S 3971 3971 2291 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 418795828 8616062976 30076 33554432000 4194304 4196468 140725512701760 139662274993168 139662474802901 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29343744 140725512709112 140725512709270 140725512709270 140725512712143 0
[pid=4004/tid=4012] ppid=3971 vsize=8414124 memory=190468 CPUtime=0 cores=0-7
/proc/4004/task/4012/stat : 4012 (java) S 3971 3971 2291 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418795828 8616062976 30076 33554432000 4194304 4196468 140725512701760 139662273940368 139662474802901 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29343744 140725512709112 140725512709270 140725512709270 140725512712143 0
[pid=4004/tid=4013] ppid=3971 vsize=8414124 memory=7950650220870132564 CPUtime=0 cores=0-7
/proc/4004/task/4013/stat : 4013 (java) S 3971 3971 2291 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 418795828 8616062976 30076 33554432000 4194304 4196468 140725512701760 139662272887568 139662474802901 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29343744 140725512709112 140725512709270 140725512709270 140725512712143 0
[pid=4004/tid=4014] ppid=3971 vsize=8414124 memory=1660 CPUtime=0 cores=0-7
/proc/4004/task/4014/stat : 4014 (java) S 3971 3971 2291 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 418795830 8616062976 30076 33554432000 4194304 4196468 140725512701760 139661568276848 139662474803842 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29343744 140725512709112 140725512709270 140725512709270 140725512712143 0
[pid=4004/tid=4015] ppid=3971 vsize=8414124 memory=190468 CPUtime=0 cores=0-7
/proc/4004/task/4015/stat : 4015 (java) S 3971 3971 2291 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 418795830 8616062976 30076 33554432000 4194304 4196468 140725512701760 139661129278496 139662474802901 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29343744 140725512709112 140725512709270 140725512709270 140725512712143 0
[pid=4004/tid=4016] ppid=3971 vsize=8414124 memory=772 CPUtime=0 cores=0-7
/proc/4004/task/4016/stat : 4016 (java) S 3971 3971 2291 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418795831 8616062976 30076 33554432000 4194304 4196468 140725512701760 139660860842864 139662474802901 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29343744 140725512709112 140725512709270 140725512709270 140725512712143 0
[pid=4004/tid=4017] ppid=3971 vsize=8414124 memory=952 CPUtime=0 cores=0-7
/proc/4004/task/4017/stat : 4017 (java) S 3971 3971 2291 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418795833 8616062976 30076 33554432000 4194304 4196468 140725512701760 139660486334288 139662474811291 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29343744 140725512709112 140725512709270 140725512709270 140725512712143 0
[pid=4004/tid=4018] ppid=3971 vsize=8414124 memory=0 CPUtime=0.05 cores=0-7
/proc/4004/task/4018/stat : 4018 (java) S 3971 3971 2291 0 -1 1077944384 588 0 0 0 5 0 0 0 20 0 24 0 418795833 8616062976 30076 33554432000 4194304 4196468 140725512701760 139661567224688 139662474803842 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29343744 140725512709112 140725512709270 140725512709270 140725512712143 0
[pid=4004/tid=4019] ppid=3971 vsize=8414124 memory=7809900797037210729 CPUtime=0.06 cores=0-7
/proc/4004/task/4019/stat : 4019 (java) S 3971 3971 2291 0 -1 1077944384 402 0 0 0 6 0 0 0 20 0 24 0 418795833 8616062976 30076 33554432000 4194304 4196468 140725512701760 139661566171888 139662474803842 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29343744 140725512709112 140725512709270 140725512709270 140725512712143 0
[pid=4004/tid=4020] ppid=3971 vsize=8414124 memory=1476 CPUtime=0.06 cores=0-7
/proc/4004/task/4020/stat : 4020 (java) S 3971 3971 2291 0 -1 1077944384 169 0 0 0 6 0 0 0 20 0 24 0 418795833 8616062976 30076 33554432000 4194304 4196468 140725512701760 139661565119088 139662474803842 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29343744 140725512709112 140725512709270 140725512709270 140725512712143 0
[pid=4004/tid=4021] ppid=3971 vsize=8414124 memory=120304 CPUtime=0.19 cores=0-7
/proc/4004/task/4021/stat : 4021 (java) S 3971 3971 2291 0 -1 1077944384 518 0 0 0 19 0 0 0 20 0 24 0 418795833 8616062976 30076 33554432000 4194304 4196468 140725512701760 139661564066288 139662474803842 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29343744 140725512709112 140725512709270 140725512709270 140725512712143 0
[pid=4004/tid=4022] ppid=3971 vsize=8414124 memory=192320 CPUtime=0 cores=0-7
/proc/4004/task/4022/stat : 4022 (java) S 3971 3971 2291 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 418795833 8616062976 30076 33554432000 4194304 4196468 140725512701760 139659988429408 139662474802901 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29343744 140725512709112 140725512709270 140725512709270 140725512712143 0
[pid=4004/tid=4023] ppid=3971 vsize=8414124 memory=0 CPUtime=0.02 cores=0-7
/proc/4004/task/4023/stat : 4023 (java) S 3971 3971 2291 0 -1 1077944384 5 0 0 0 0 2 0 0 20 0 24 0 418795834 8616062976 30076 33554432000 4194304 4196468 140725512701760 139661563013680 139662474803842 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29343744 140725512709112 140725512709270 140725512709270 140725512712143 0
[pid=4004/tid=4025] ppid=3971 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/4004/task/4025/stat : 4025 (java) S 3971 3971 2291 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 418795900 8616062976 30076 33554432000 4194304 4196468 140725512701760 139661554979904 139662474817305 0 4 2 25189581 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 29343744 140725512709112 140725512709270 140725512709270 140725512712143 0
[pid=4004/tid=4027] ppid=3971 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/4004/task/4027/stat : 4027 (java) S 3971 3971 2291 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 24 0 418795900 8616062976 30076 33554432000 4194304 4196468 140725512701760 139659317330064 139662474814621 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 29343744 140725512709112 140725512709270 140725512709270 140725512712143 0
[pid=4004/tid=4028] ppid=3971 vsize=8414124 memory=7686721470300591511 CPUtime=0 cores=0-7
/proc/4004/task/4028/stat : 4028 (java) S 3971 3971 2291 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 418795900 8616062976 30076 33554432000 4194304 4196468 140725512701760 139659585765392 139662474814621 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 29343744 140725512709112 140725512709270 140725512709270 140725512712143 0
[pid=4004/tid=4029] ppid=3971 vsize=8414124 memory=952 CPUtime=0 cores=0-7
/proc/4004/task/4029/stat : 4029 (java) S 3971 3971 2291 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 418795902 8616062976 30076 33554432000 4194304 4196468 140725512701760 139659048902192 139662474802901 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29343744 140725512709112 140725512709270 140725512709270 140725512712143 0
Current children cumulated CPU time: 364.77 s
Current children cumulated vsize: 9190420 KiB
Current children cumulated memory: 320156 KiB

Child status: 0
Real time (s): 84.5431
CPU time (s): 364.905
CPU user time (s): 361.448
CPU system time (s): 3.45744
CPU usage (%): 431.62
Max. virtual memory (cumulated for all children) (KiB): 27443924
Max. memory (cumulated for all children) (KiB): 6459292

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 361.448
system time used= 3.45744
maximum resident set size= 6458752
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 268012
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3752
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 51565
involuntary context switches= 3386


# summary of solver processes directly reported to runsolver:
#   pid: 3971
#   total CPU time (s): 364.905
#   total CPU user time (s): 361.448
#   total CPU system time (s): 3.45744

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.734961 second user time and 0.95317 second system time

The end

Launcher Data 

Begin job on node126 at 2019-09-14 03:39:57
IDJOB=4392646
IDBENCH=125591
IDSOLVER=2839
FILE ID=node126/4392646-1568425234
RUNJOBID= node126-1568421825-2318
PBS_JOBID= 21702283
Free space on /tmp= 55716 MiB

SOLVER NAME= Fun-sCOP hybrid+ManyGlucose (2019-06-15)
BENCH NAME= XCSP17/QRandom/QRandom-mdd-7-25-5-p7/mdd-7-25-5-ps05-psh07-4.xml
COMMAND LINE= DIR/scop.sh 22g DIR/scop.jar -hybrid DIR/manyglucose-4.1-27_release -model:-nthreads=NBCORE:-maxmemory=20000:-lit-scans=6000000 TMPDIR BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4392646-1568425234/watcher-4392646-1568425234 -o /tmp/evaluation-result-4392646-1568425234/solver-4392646-1568425234 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node126-1568421825-2318 --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-4392646-1568425234.xml

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

MD5SUM BENCH= cc3fcfac109c3d277a0ef72b27cdc983
RANDOM SEED=1822673637

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        24618260 kB
MemAvailable:   31856352 kB
Buffers:          182332 kB
Cached:          7299340 kB
SwapCached:         2860 kB
Active:          2835276 kB
Inactive:        4652748 kB
Active(anon):       4416 kB
Inactive(anon):    44012 kB
Active(file):    2830860 kB
Inactive(file):  4608736 kB
Unevictable:      108368 kB
Mlocked:          108368 kB
SwapTotal:      67108860 kB
SwapFree:       67004752 kB
Dirty:             53552 kB
Writeback:             0 kB
AnonPages:        121800 kB
Mapped:            44752 kB
Shmem:             32816 kB
Slab:             257124 kB
SReclaimable:     226956 kB
SUnreclaim:        30168 kB
KernelStack:        3712 kB
PageTables:         6308 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     498140 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     75776 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      130432 kB
DirectMap2M:    33415168 kB

Free space on /tmp at the end= 55696 MiB
End job on node126 at 2019-09-14 03:41:21