Trace number 4405321

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Fun-sCOP order+ManyGlucose (2019-09-22)SAT 124.184 20.0173

General information on the benchmark

NameStripPacking/StripPacking-m1-seriesT/
StripPacking-T1e.xml
MD5SUMf7b8b642e131c8af917aaf97f4ae3b24
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark123.921
Satisfiable
(Un)Satisfiability was proved
Number of variables85
Number of constraints52
Number of domains19
Minimum domain size2
Maximum domain size200
Distribution of domain sizes[{"size":2,"count":51},{"size":200,"count":34}]
Minimum variable degree1
Maximum variable degree3
Distribution of variable degrees[{"degree":1,"count":17},{"degree":2,"count":34},{"degree":3,"count":34}]
Minimum constraint arity2
Maximum constraint arity68
Distribution of constraint arities[{"arity":2,"count":34},{"arity":3,"count":17},{"arity":68,"count":1}]
Number of extensional constraints17
Number of intensional constraints34
Distribution of constraint types[{"type":"extension","count":17},{"type":"intension","count":34},{"type":"noOverlap","count":1}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.04	c (scop.sh) java -Xms22g -Xmx22g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Encode -order -solver HOME/manyglucose-4.1-27_release -solverOption -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 -tmp HOME -serialFile HOME/scop-24742-serial-file.bin HOME/instance-4405321-1569238628.xml
0.61/0.97	
0.61/0.97	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
0.61/0.97	
0.72/1.31	c BEGIN-Prog: Mon Sep 23 13:36:30 CEST 2019
0.72/1.31	c PID: 24745
0.72/1.31	c IP: 172.20.3.141
0.72/1.31	c HOST: node141.alineos.net
0.72/1.37	c (0,0) Parsing Begin
1.39/1.75	c (0,0) Parsing End
1.39/1.75	c (0,0) CSP: 68 int (0 aux), 17 bool (0 aux), 52 ctr, max domain size 200
1.51/2.00	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.51/2.00	c (0,0) Constraint Name Generate Begin
1.51/2.01	c (0,0) Ctr:HOME/instance-4405321-1569238628.xml,Add:ExtensionSupport:Le:NoOverlap:Num:Var
1.51/2.01	c (0,0) Constraint Name Generate End
1.51/2.01	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.51/2.01	c (0,0) CSP to CSPinCNF Begin
1.51/2.09	c (0,0) translated 6 (10%) constraints
1.51/2.10	c (0,0) translated 11 (20%) constraints
1.51/2.10	c (0,0) translated 16 (30%) constraints
1.68/2.11	c (0,0) translated 21 (40%) constraints
1.68/2.11	c (0,0) translated 26 (50%) constraints
1.68/2.12	c (1,0) translated 32 (60%) constraints
1.81/2.23	c (1,0) translated 37 (70%) constraints
1.81/2.28	c (1,0) translated 42 (80%) constraints
2.05/2.32	c (1,0) translated 47 (90%) constraints
2.05/2.36	c (1,0) translated 52 (100%) constraints
2.35/2.45	c (1,0) ===========================================
2.35/2.45	c (1,0) Order
2.35/2.45	c (1,0) ===========================================
2.35/2.46	c (1,0) translated 43 (10%) constraints
2.35/2.47	c (1,0) translated 85 (20%) constraints
2.35/2.47	c (1,0) translated 128 (30%) constraints
2.35/2.48	c (1,0) translated 170 (40%) constraints
2.35/2.48	c (1,0) translated 213 (50%) constraints
2.35/2.48	c (1,0) translated 255 (60%) constraints
2.35/2.49	c (1,0) translated 298 (70%) constraints
2.35/2.49	c (1,0) translated 340 (80%) constraints
2.71/2.50	c (1,0) translated 383 (90%) constraints
2.71/2.51	c (1,0) translated 425 (100%) constraints
2.71/2.51	c (1,0) CSP to CSPinCNF End
2.71/2.51	c (1,0) CSP: 68 int (0 aux), 85 bool (68 aux), 425 ctr, max domain size 196
2.71/2.51	c (1,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 25 MiB used (max 0 MiB)
2.71/2.51	c (1,0) CSPinCNF Propagation Begin
2.71/2.53	c (1,0) 0 values, 17 unsatisfiable literals, and 0 valid clauses are removed
2.71/2.53	c (1,0) CSPinCNF Propagation End
2.71/2.54	c (1,0) CSP: 68 int (0 aux), 85 bool (68 aux), 425 ctr, max domain size 196
2.71/2.54	c (1,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 25 MiB used (max 0 MiB)
2.71/2.54	c (1,0) Simplify CSPinCNF Begin
2.71/2.59	c (1,0) Simplify CSPinCNF End
3.01/2.60	c (1,0) CSP: 68 int (0 aux), 629 bool (612 aux), 969 ctr, max domain size 196
3.01/2.60	c (1,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 25 MiB used (max 0 MiB)
3.01/2.60	c (1,0) Calculate Precise Domain Begin
3.01/2.60	c (1,0) 0 values are removed by re-calculation
3.01/2.60	c (1,0) Calculate Precise Domain End
3.01/2.60	c (1,0) CSP: 68 int (0 aux), 629 bool (612 aux), 969 ctr, max domain size 196
3.01/2.60	c (1,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 25 MiB used (max 0 MiB)
3.01/2.60	c (1,0) CSPinCNF to SatSolver Begin
3.35/2.71	c (1,1) 97 (10 %) CSP clauses are encoded (0 SAT variables, 5938 SAT clauses)
3.35/2.72	c (1,1) 194 (20 %) CSP clauses are encoded (0 SAT variables, 6035 SAT clauses)
3.35/2.73	c (1,1) 291 (30 %) CSP clauses are encoded (0 SAT variables, 6132 SAT clauses)
4.12/2.91	c (1,1) 388 (40 %) CSP clauses are encoded (0 SAT variables, 22925 SAT clauses)
4.56/3.09	c (1,1) 485 (50 %) CSP clauses are encoded (0 SAT variables, 42038 SAT clauses)
4.96/3.22	c (2,1) 582 (60 %) CSP clauses are encoded (0 SAT variables, 60828 SAT clauses)
5.14/3.30	c (2,1) 679 (70 %) CSP clauses are encoded (0 SAT variables, 79724 SAT clauses)
5.14/3.39	c (2,1) 776 (80 %) CSP clauses are encoded (0 SAT variables, 100809 SAT clauses)
5.25/3.47	c (2,1) 873 (90 %) CSP clauses are encoded (0 SAT variables, 122580 SAT clauses)
5.37/3.55	c (2,1) 969 (100 %) CSP clauses are encoded (0 SAT variables, 140094 SAT clauses)
5.37/3.55	c (2,1) CSPinCNF to SatSolver End
5.37/3.55	c (2,1) Heap : 675 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB)
5.37/3.55	c (2,1) 6539 bool, 140373 clause
5.37/3.55	c (2,1) Export Begin
5.48/3.66	c (2,2) Export to HOME/scop-24742-serial-file.bin
5.48/3.66	c (2,2) Export End
5.48/3.66	c (2,2) Export File Size: 0.03 MB
5.48/3.66	c (2,2) 0,0,1,1,1,1,2,STOP-AFTER(DIMACS)
5.48/3.66	c END-Prog: Mon Sep 23 13:36:32 CEST 2019
5.48/3.68	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-24742-serial-file.bin
6.20/4.14	c (0,0) Read Serial File Begin
6.20/4.14	c (0,0) HOME/scop-24742-serial-file.bin
6.45/4.37	c (0,0) Read Serial File End
6.45/4.38	
6.45/4.38	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
6.45/4.38	(Solving Process)
6.45/4.38	
6.64/4.40	c BEGIN-Prog: Mon Sep 23 13:36:33 CEST 2019
6.64/4.40	c PID: 24765
6.64/4.40	c IP: 172.20.3.141
6.64/4.40	c HOST: node141.alineos.net
6.64/4.41	c (0,0) SatSolver.solve Begin
6.64/4.41	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4405321-1569238628.xml-scop-24745.cnf
6.64/4.44	c (0,0) c
6.64/4.44	c (0,0) c This is deterministic version of glucose-syrup 4.1-27 (glucose in many threads) --  based on MiniSAT (Many thanks to MiniSAT team)
6.64/4.44	c (0,0) c
6.64/4.44	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
6.64/4.44	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
6.64/4.44	c (0,0) c ========================================[ Problem Statistics ]===========================================
6.64/4.44	c (0,0) c |                                                                                                       |
6.64/4.49	c (0,0) c |  Number of variables:          6539                                                                   |
6.64/4.49	c (0,0) c |  Number of clauses:          140373                                                                   |
6.64/4.49	c (0,0) c |  Parse time:                   0.05 s                                                                 |
6.64/4.49	c (0,0) c |                                                                                                       |
6.85/4.73	c (0,0) c |  Simplification time:          0.23 s                                                                 |
6.85/4.73	c (0,0) c |                                                                                                       |
6.85/4.73	c (0,0) c |  Generating clones                                                                                    |
6.85/4.77	c (0,0) c |  all clones generated. Memory =   104.50Mb.                                                           |
6.85/4.77	c (0,0) c ========================================================================================================|
6.85/4.77	c (0,0) c
6.85/4.77	c (0,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
6.85/4.77	c (0,0) c
6.85/4.77	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
6.85/4.77	c (0,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
6.85/4.77	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
6.85/4.77	c (0,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
6.85/4.77	c (0,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
6.85/4.77	c (0,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
6.85/4.77	c (0,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
6.85/4.77	c (0,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
6.85/4.77	c (0,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
6.85/4.77	c (0,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
6.85/4.77	c (0,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
6.85/4.77	c (0,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
6.85/4.77	c (0,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
6.85/4.77	c (0,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
6.85/4.77	c (0,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
6.85/4.77	c (0,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
6.85/4.77	c (0,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
6.85/4.77	c (0,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
6.85/4.77	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
123.70/19.84	c (15,0) c
123.70/19.84	c (15,0) c real time : 15.4086 s
123.70/19.84	c (15,0) c cpu time  : 116.513 s
123.70/19.84	c (15,0) c
123.70/19.84	c (15,0) c
123.70/19.84	c (15,0) c
123.70/19.85	c (15,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
123.70/19.85	c (15,0) c
123.70/19.85	c (15,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
123.70/19.85	c (15,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
123.70/19.85	c (15,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
123.70/19.85	c (15,0) c | Conflicts     |          525223 |      65635 |      66536 |      63880 |      65272 |      67720 |      66048 |      64331 |      65801 |
123.70/19.85	c (15,0) c | Decisions     |          801337 |      98777 |     102466 |      94229 |     101136 |     104681 |     100975 |      96549 |     102524 |
123.70/19.85	c (15,0) c | Propagations  |       188609496 |   23514224 |   23932735 |   23140744 |   23536826 |   23869638 |   23528460 |   23573484 |   23513385 |
123.70/19.85	c (15,0) c | ReduceDBs     |              48 |          6 |          6 |          6 |          6 |          6 |          6 |          6 |          6 |
123.70/19.85	c (15,0) c | SimpDBs       |               8 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |
123.70/19.85	c (15,0) c | Restarts      |             986 |         78 |        139 |         55 |        149 |        130 |        136 |        110 |        189 |
123.70/19.85	c (15,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
123.70/19.85	c (15,0) c | PropBinClauses|       247600477 |   30672414 |   31298825 |   30973501 |   31011787 |   31039725 |   30784006 |   31172403 |   30647816 |
123.70/19.85	c (15,0) c | PropPreBlocker|      3771087970 |  471159845 |  472804834 |  469524770 |  469981371 |  477399983 |  471144256 |  469192015 |  469880896 |
123.70/19.85	c (15,0) c | PropNotBlocker|      1166160024 |  144924261 |  145306273 |  145114156 |  146287662 |  147595603 |  145577086 |  146191289 |  145163694 |
123.70/19.85	c (15,0) c | LitFullScans  |      6741302243 |  840047159 |  840042991 |  846043775 |  840040983 |  852041159 |  840044885 |  842958306 |  840082985 |
123.70/19.85	c (15,0) c | LitScanFracts |          299031 |      40771 |      36512 |      31922 |      35137 |      29460 |      39670 |      30208 |      55351 |
123.70/19.85	c (15,0) c | DecisionLevel0|             986 |         78 |        139 |         55 |        149 |        130 |        136 |        110 |        189 |
123.70/19.85	c (15,0) c | Periods       |            1123 |        140 |        140 |        141 |        140 |        142 |        140 |        140 |        140 |
123.70/19.85	c (15,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
123.70/19.85	c (15,0) c | Avg_Trail     |                 |       2515 |       2489 |       2458 |       2486 |       2481 |       2500 |       2457 |       2522 |
123.70/19.85	c (15,0) c | Avg_DL        |                 |         19 |         19 |         19 |         20 |         20 |         20 |         20 |         20 |
123.70/19.85	c (15,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
123.70/19.85	c (15,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
123.70/19.85	c (15,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
123.70/19.85	c (15,0) c | Exported      |           88294 |      11216 |      11470 |      11130 |      10312 |      11237 |      11449 |      11049 |      10431 |
123.70/19.85	c (15,0) c | Imported      |          544172 |      61437 |      68762 |      68109 |      67972 |      69897 |      68822 |      69230 |      69943 |
123.70/19.85	c (15,0) c | Good          |             265 |         32 |         33 |         37 |         31 |         31 |         34 |         33 |         34 |
123.70/19.85	c (15,0) c | Purge         |          543907 |      61405 |      68729 |      68072 |      67941 |      69866 |      68788 |      69197 |      69909 |
123.70/19.85	c (15,0) c | Promoted      |           44968 |       4902 |       6040 |       5458 |       5663 |       5624 |       5791 |       5475 |       6015 |
123.70/19.85	c (15,0) c | Remove_Imp    |          225625 |      25055 |      28417 |      31926 |      29262 |      27251 |      28083 |      25692 |      29939 |
123.70/19.85	c (15,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
123.70/19.85	c (15,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
123.70/19.85	c (15,0) c | Unaries       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
123.70/19.85	c (15,0) c | Binaries      |                 |          5 |          8 |          1 |          8 |          8 |          4 |          5 |          5 |
123.70/19.85	c (15,0) c | Glues         |                 |         45 |         57 |         28 |         51 |         60 |         50 |         38 |         53 |
123.70/19.85	c (15,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
123.70/19.85	c (15,0) c | Orig_Seen     |            29 % |      39353 |      41856 |      38523 |      39986 |      43620 |      41320 |      40094 |      41153 |
123.70/19.85	c (15,0) c | Diff Orig seen|                 | -      741 |       1762 | -     1571 | -      108 |       3526 |       1226 |      X     |       1059 |
123.70/19.85	c (15,0) c | Hamming       |            34 % |       2085 |       2226 |       2188 |       2218 |       2255 |       2328 |      X     |       2645 |
123.70/19.85	c (15,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
123.70/19.85	c (15,0) c | RunningTime   |                 |   15.0 100%|   15.0 100%|   14.4 100%|   14.4 100%|   14.4 100%|   14.7 100%|   14.4 100%|   14.4 100%|
123.70/19.85	c (15,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%|
123.70/19.85	c (15,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%|
123.70/19.85	c (15,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%|
123.70/19.85	c (15,0) c | SolvingTime   |                 |   15.1     |   15.0     |   14.4     |   14.4     |   14.4     |   14.8     |   14.4     |   14.5     |
123.70/19.85	c (15,0) c | PropagationTim|                 |   13.1  87%|   13.0  87%|   12.5  87%|   12.5  87%|   12.5  87%|   12.7  86%|   12.5  87%|   12.4  86%|
123.70/19.85	c (15,0) c | AnalysisTime  |                 |    1.5  10%|    1.5  10%|    1.5  10%|    1.4  10%|    1.5  10%|    1.6  11%|    1.5  10%|    1.6  11%|
123.70/19.85	c (15,0) c | ReductionTime |                 |    0.1   1%|    0.1   1%|    0.1   1%|    0.1   1%|    0.1   1%|    0.1   1%|    0.1   1%|    0.1   1%|
123.70/19.85	c (15,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.0   0%|
123.70/19.85	c (15,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%|
123.70/19.85	c (15,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%|
123.70/19.85	c (15,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
123.70/19.85	c (15,0) c
123.70/19.85	c (15,0) c
123.70/19.85	c (15,0) c Threads : 8
123.70/19.85	c (15,0) c Winner : 6
123.70/19.85	c (15,0) c Conflicts_0 : 65635
123.70/19.85	c (15,0) c Conflicts_1 : 66536
123.70/19.85	c (15,0) c Conflicts_2 : 63880
123.70/19.85	c (15,0) c Conflicts_3 : 65272
123.70/19.85	c (15,0) c Conflicts_4 : 67720
123.70/19.85	c (15,0) c Conflicts_5 : 66048
123.70/19.85	c (15,0) c Conflicts_6 : 64331
123.70/19.85	c (15,0) c Conflicts_7 : 65801
123.70/19.85	c (15,0) c Conflicts_total : 525223
123.70/19.85	c (15,0) c Conflicts_winner : 64331
123.70/19.85	c (15,0) c Decisions_0 : 98777
123.70/19.85	c (15,0) c Decisions_1 : 102466
123.70/19.85	c (15,0) c Decisions_2 : 94229
123.70/19.85	c (15,0) c Decisions_3 : 101136
123.70/19.85	c (15,0) c Decisions_4 : 104681
123.70/19.85	c (15,0) c Decisions_5 : 100975
123.70/19.85	c (15,0) c Decisions_6 : 96549
123.70/19.85	c (15,0) c Decisions_7 : 102524
123.70/19.85	c (15,0) c Decisions_total : 801337
123.70/19.85	c (15,0) c Decisions_winner : 96549
123.70/19.85	c (15,0) c Propagations_0 : 23514224
123.70/19.85	c (15,0) c Propagations_1 : 23932735
123.70/19.85	c (15,0) c Propagations_2 : 23140744
123.70/19.85	c (15,0) c Propagations_3 : 23536826
123.70/19.85	c (15,0) c Propagations_4 : 23869638
123.70/19.85	c (15,0) c Propagations_5 : 23528460
123.70/19.85	c (15,0) c Propagations_6 : 23573484
123.70/19.85	c (15,0) c Propagations_7 : 23513385
123.70/19.85	c (15,0) c Propagations_total : 188609496
123.70/19.85	c (15,0) c Propagations_winner : 23573484
123.70/19.85	c (15,0) c ReduceDBs_0 : 6
123.70/19.85	c (15,0) c ReduceDBs_1 : 6
123.70/19.85	c (15,0) c ReduceDBs_2 : 6
123.70/19.85	c (15,0) c ReduceDBs_3 : 6
123.70/19.85	c (15,0) c ReduceDBs_4 : 6
123.70/19.85	c (15,0) c ReduceDBs_5 : 6
123.70/19.85	c (15,0) c ReduceDBs_6 : 6
123.70/19.85	c (15,0) c ReduceDBs_7 : 6
123.70/19.85	c (15,0) c ReduceDBs_total : 48
123.70/19.85	c (15,0) c ReduceDBs_winner : 6
123.70/19.85	c (15,0) c SimpDBs_0 : 1
123.70/19.85	c (15,0) c SimpDBs_1 : 1
123.70/19.85	c (15,0) c SimpDBs_2 : 1
123.70/19.85	c (15,0) c SimpDBs_3 : 1
123.70/19.85	c (15,0) c SimpDBs_4 : 1
123.70/19.85	c (15,0) c SimpDBs_5 : 1
123.70/19.85	c (15,0) c SimpDBs_6 : 1
123.70/19.85	c (15,0) c SimpDBs_7 : 1
123.70/19.85	c (15,0) c SimpDBs_total : 8
123.70/19.85	c (15,0) c SimpDBs_winner : 1
123.70/19.85	c (15,0) c Restarts_0 : 78
123.70/19.85	c (15,0) c Restarts_1 : 139
123.70/19.85	c (15,0) c Restarts_2 : 55
123.70/19.85	c (15,0) c Restarts_3 : 149
123.70/19.85	c (15,0) c Restarts_4 : 130
123.70/19.85	c (15,0) c Restarts_5 : 136
123.70/19.85	c (15,0) c Restarts_6 : 110
123.70/19.85	c (15,0) c Restarts_7 : 189
123.70/19.85	c (15,0) c Restarts_total : 986
123.70/19.85	c (15,0) c Restarts_winner : 110
123.70/19.85	c (15,0) c ForcedImports_0 : 0
123.70/19.85	c (15,0) c ForcedImports_1 : 0
123.70/19.85	c (15,0) c ForcedImports_2 : 0
123.70/19.85	c (15,0) c ForcedImports_3 : 0
123.70/19.85	c (15,0) c ForcedImports_4 : 0
123.70/19.85	c (15,0) c ForcedImports_5 : 0
123.70/19.85	c (15,0) c ForcedImports_6 : 0
123.70/19.85	c (15,0) c ForcedImports_7 : 0
123.70/19.85	c (15,0) c ForcedImports_total : 0
123.70/19.85	c (15,0) c ForcedImports_winner : 0
123.70/19.85	c (15,0) c PropsBinClauses_0 : 30672414
123.70/19.85	c (15,0) c PropsBinClauses_1 : 31298825
123.70/19.85	c (15,0) c PropsBinClauses_2 : 30973501
123.70/19.85	c (15,0) c PropsBinClauses_3 : 31011787
123.70/19.85	c (15,0) c PropsBinClauses_4 : 31039725
123.70/19.85	c (15,0) c PropsBinClauses_5 : 30784006
123.70/19.85	c (15,0) c PropsBinClauses_6 : 31172403
123.70/19.85	c (15,0) c PropsBinClauses_7 : 30647816
123.70/19.85	c (15,0) c PropsBinClauses_total : 247600477
123.70/19.85	c (15,0) c PropsBinClauses_winner : 31172403
123.70/19.85	c (15,0) c PropsPreBlocker_0 : 471159845
123.70/19.85	c (15,0) c PropsPreBlocker_1 : 472804834
123.70/19.85	c (15,0) c PropsPreBlocker_2 : 469524770
123.70/19.85	c (15,0) c PropsPreBlocker_3 : 469981371
123.70/19.85	c (15,0) c PropsPreBlocker_4 : 477399983
123.70/19.85	c (15,0) c PropsPreBlocker_5 : 471144256
123.70/19.85	c (15,0) c PropsPreBlocker_6 : 469192015
123.70/19.85	c (15,0) c PropsPreBlocker_7 : 469880896
123.70/19.85	c (15,0) c PropsPreBlocker_total : 3771087970
123.70/19.85	c (15,0) c PropsPreBlocker_winner : 469192015
123.70/19.85	c (15,0) c PropsNotBlocker_0 : 144924261
123.70/19.85	c (15,0) c PropsNotBlocker_1 : 145306273
123.70/19.85	c (15,0) c PropsNotBlocker_2 : 145114156
123.70/19.85	c (15,0) c PropsNotBlocker_3 : 146287662
123.70/19.85	c (15,0) c PropsNotBlocker_4 : 147595603
123.70/19.85	c (15,0) c PropsNotBlocker_5 : 145577086
123.70/19.85	c (15,0) c PropsNotBlocker_6 : 146191289
123.70/19.85	c (15,0) c PropsNotBlocker_7 : 145163694
123.70/19.85	c (15,0) c PropsNotBlocker_total : 1166160024
123.70/19.85	c (15,0) c PropsNotBlocker_winner : 146191289
123.70/19.85	c (15,0) c PropsLitFullScans_0 : 840047159
123.70/19.85	c (15,0) c PropsLitFullScans_1 : 840042991
123.70/19.85	c (15,0) c PropsLitFullScans_2 : 846043775
123.70/19.85	c (15,0) c PropsLitFullScans_3 : 840040983
123.70/19.85	c (15,0) c PropsLitFullScans_4 : 852041159
123.70/19.85	c (15,0) c PropsLitFullScans_5 : 840044885
123.70/19.85	c (15,0) c PropsLitFullScans_6 : 842958306
123.70/19.85	c (15,0) c PropsLitFullScans_7 : 840082985
123.70/19.85	c (15,0) c PropsLitFullScans_total : 6741302243
123.70/19.85	c (15,0) c PropsLitFullScans_winner : 842958306
123.70/19.85	c (15,0) c LitScanFractions_0 : 40771
123.70/19.85	c (15,0) c LitScanFractions_1 : 36512
123.70/19.85	c (15,0) c LitScanFractions_2 : 31922
123.70/19.85	c (15,0) c LitScanFractions_3 : 35137
123.70/19.85	c (15,0) c LitScanFractions_4 : 29460
123.70/19.85	c (15,0) c LitScanFractions_5 : 39670
123.70/19.85	c (15,0) c LitScanFractions_6 : 30208
123.70/19.85	c (15,0) c LitScanFractions_7 : 55351
123.70/19.85	c (15,0) c LitScanFractions_total : 299031
123.70/19.85	c (15,0) c LitScanFractions_winner : 30208
123.70/19.85	c (15,0) c DecisionLevel0_0 : 78
123.70/19.85	c (15,0) c DecisionLevel0_1 : 139
123.70/19.85	c (15,0) c DecisionLevel0_2 : 55
123.70/19.85	c (15,0) c DecisionLevel0_3 : 149
123.70/19.85	c (15,0) c DecisionLevel0_4 : 130
123.70/19.85	c (15,0) c DecisionLevel0_5 : 136
123.70/19.85	c (15,0) c DecisionLevel0_6 : 110
123.70/19.85	c (15,0) c DecisionLevel0_7 : 189
123.70/19.85	c (15,0) c DecisionLevel0_total : 986
123.70/19.85	c (15,0) c DecisionLevel0_winner : 110
123.70/19.85	c (15,0) c Periods_0 : 140
123.70/19.85	c (15,0) c Periods_1 : 140
123.70/19.86	c (15,0) c Periods_2 : 141
123.70/19.86	c (15,0) c Periods_3 : 140
123.70/19.86	c (15,0) c Periods_4 : 142
123.70/19.86	c (15,0) c Periods_5 : 140
123.70/19.86	c (15,0) c Periods_6 : 140
123.70/19.86	c (15,0) c Periods_7 : 140
123.70/19.86	c (15,0) c Periods_total : 1123
123.70/19.86	c (15,0) c Periods_winner : 140
123.70/19.86	c (15,0) c Margin_0 : 20
123.70/19.86	c (15,0) c Margin_1 : 20
123.70/19.86	c (15,0) c Margin_2 : 20
123.70/19.86	c (15,0) c Margin_3 : 20
123.70/19.86	c (15,0) c Margin_4 : 20
123.70/19.86	c (15,0) c Margin_5 : 20
123.70/19.86	c (15,0) c Margin_6 : 20
123.70/19.86	c (15,0) c Margin_7 : 20
123.70/19.86	c (15,0) c Margin_total : 160
123.70/19.86	c (15,0) c Margin_winner : 20
123.70/19.86	c (15,0) c Exported_0 : 11216
123.70/19.86	c (15,0) c Exported_1 : 11470
123.70/19.86	c (15,0) c Exported_2 : 11130
123.70/19.86	c (15,0) c Exported_3 : 10312
123.70/19.86	c (15,0) c Exported_4 : 11237
123.70/19.86	c (15,0) c Exported_5 : 11449
123.70/19.86	c (15,0) c Exported_6 : 11049
123.70/19.86	c (15,0) c Exported_7 : 10431
123.70/19.86	c (15,0) c Exported_total : 88294
123.70/19.86	c (15,0) c Exported_winner : 11049
123.70/19.86	c (15,0) c Imported_0 : 61437
123.70/19.86	c (15,0) c Imported_1 : 68762
123.70/19.86	c (15,0) c Imported_2 : 68109
123.70/19.86	c (15,0) c Imported_3 : 67972
123.70/19.86	c (15,0) c Imported_4 : 69897
123.70/19.86	c (15,0) c Imported_5 : 68822
123.70/19.86	c (15,0) c Imported_6 : 69230
123.70/19.86	c (15,0) c Imported_7 : 69943
123.70/19.86	c (15,0) c Imported_total : 544172
123.70/19.86	c (15,0) c Imported_winner : 69230
123.70/19.86	c (15,0) c Good_0 : 32
123.70/19.86	c (15,0) c Good_1 : 33
123.70/19.86	c (15,0) c Good_2 : 37
123.70/19.86	c (15,0) c Good_3 : 31
123.70/19.86	c (15,0) c Good_4 : 31
123.70/19.86	c (15,0) c Good_5 : 34
123.70/19.86	c (15,0) c Good_6 : 33
123.70/19.86	c (15,0) c Good_7 : 34
123.70/19.86	c (15,0) c Good_total : 265
123.70/19.86	c (15,0) c Good_winner : 33
123.70/19.86	c (15,0) c Purge_0 : 61405
123.70/19.86	c (15,0) c Purge_1 : 68729
123.70/19.86	c (15,0) c Purge_2 : 68072
123.70/19.86	c (15,0) c Purge_3 : 67941
123.70/19.86	c (15,0) c Purge_4 : 69866
123.70/19.86	c (15,0) c Purge_5 : 68788
123.70/19.86	c (15,0) c Purge_6 : 69197
123.70/19.86	c (15,0) c Purge_7 : 69909
123.70/19.86	c (15,0) c Purge_total : 543907
123.70/19.86	c (15,0) c Purge_winner : 69197
123.70/19.86	c (15,0) c Promoted_0 : 4902
123.70/19.86	c (15,0) c Promoted_1 : 6040
123.70/19.86	c (15,0) c Promoted_2 : 5458
123.70/19.86	c (15,0) c Promoted_3 : 5663
123.70/19.86	c (15,0) c Promoted_4 : 5624
123.70/19.86	c (15,0) c Promoted_5 : 5791
123.70/19.86	c (15,0) c Promoted_6 : 5475
123.70/19.86	c (15,0) c Promoted_7 : 6015
123.70/19.86	c (15,0) c Promoted_total : 44968
123.70/19.86	c (15,0) c Promoted_winner : 5475
123.70/19.86	c (15,0) c Remove_Imp_0 : 25055
123.70/19.86	c (15,0) c Remove_Imp_1 : 28417
123.70/19.86	c (15,0) c Remove_Imp_2 : 31926
123.70/19.86	c (15,0) c Remove_Imp_3 : 29262
123.70/19.86	c (15,0) c Remove_Imp_4 : 27251
123.70/19.86	c (15,0) c Remove_Imp_5 : 28083
123.70/19.86	c (15,0) c Remove_Imp_6 : 25692
123.70/19.86	c (15,0) c Remove_Imp_7 : 29939
123.70/19.86	c (15,0) c Remove_Imp_total : 225625
123.70/19.86	c (15,0) c Remove_Imp_winner : 25692
123.70/19.86	c (15,0) c Blocked_Reuse_0 : 0
123.70/19.86	c (15,0) c Blocked_Reuse_1 : 0
123.70/19.86	c (15,0) c Blocked_Reuse_2 : 0
123.70/19.86	c (15,0) c Blocked_Reuse_3 : 0
123.70/19.86	c (15,0) c Blocked_Reuse_4 : 0
123.70/19.86	c (15,0) c Blocked_Reuse_5 : 0
123.70/19.86	c (15,0) c Blocked_Reuse_6 : 0
123.70/19.86	c (15,0) c Blocked_Reuse_7 : 0
123.70/19.86	c (15,0) c Blocked_Reuse_total : 0
123.70/19.86	c (15,0) c Blocked_Reuse_winner : 0
123.70/19.86	c (15,0) c Unaries_0 : 0
123.70/19.86	c (15,0) c Unaries_1 : 0
123.70/19.86	c (15,0) c Unaries_2 : 0
123.70/19.86	c (15,0) c Unaries_3 : 0
123.70/19.86	c (15,0) c Unaries_4 : 0
123.70/19.86	c (15,0) c Unaries_5 : 0
123.70/19.86	c (15,0) c Unaries_6 : 0
123.70/19.86	c (15,0) c Unaries_7 : 0
123.70/19.86	c (15,0) c Unaries_total : 0
123.70/19.86	c (15,0) c Unaries_winner : 0
123.70/19.86	c (15,0) c Binaries_0 : 5
123.70/19.86	c (15,0) c Binaries_1 : 8
123.70/19.86	c (15,0) c Binaries_2 : 1
123.70/19.86	c (15,0) c Binaries_3 : 8
123.70/19.86	c (15,0) c Binaries_4 : 8
123.70/19.86	c (15,0) c Binaries_5 : 4
123.70/19.86	c (15,0) c Binaries_6 : 5
123.70/19.86	c (15,0) c Binaries_7 : 5
123.70/19.86	c (15,0) c Binaries_total : 44
123.70/19.86	c (15,0) c Binaries_winner : 5
123.70/19.86	c (15,0) c Glues_0 : 45
123.70/19.86	c (15,0) c Glues_1 : 57
123.70/19.86	c (15,0) c Glues_2 : 28
123.70/19.86	c (15,0) c Glues_3 : 51
123.70/19.86	c (15,0) c Glues_4 : 60
123.70/19.86	c (15,0) c Glues_5 : 50
123.70/19.86	c (15,0) c Glues_6 : 38
123.70/19.86	c (15,0) c Glues_7 : 53
123.70/19.86	c (15,0) c Glues_total : 382
123.70/19.86	c (15,0) c Glues_winner : 38
123.70/19.86	c (15,0) c RunningTime_0 : 15.039898
123.70/19.86	c (15,0) c RunningTime_1 : 14.992354
123.70/19.86	c (15,0) c RunningTime_2 : 14.373298
123.70/19.86	c (15,0) c RunningTime_3 : 14.368785
123.70/19.86	c (15,0) c RunningTime_4 : 14.401693
123.70/19.86	c (15,0) c RunningTime_5 : 14.737010
123.70/19.86	c (15,0) c RunningTime_6 : 14.359783
123.70/19.86	c (15,0) c RunningTime_7 : 14.439700
123.70/19.86	c (15,0) c RunningTime_total : 116.712520
123.70/19.86	c (15,0) c RunningTime_winner : 14.359783
123.70/19.86	c (15,0) c WaitingTime_0 : 0.000130
123.70/19.86	c (15,0) c WaitingTime_1 : 0.000174
123.70/19.86	c (15,0) c WaitingTime_2 : 0.000194
123.70/19.86	c (15,0) c WaitingTime_3 : 0.000185
123.70/19.86	c (15,0) c WaitingTime_4 : 0.000210
123.70/19.86	c (15,0) c WaitingTime_5 : 0.000163
123.70/19.86	c (15,0) c WaitingTime_6 : 0.000218
123.70/19.86	c (15,0) c WaitingTime_7 : 0.000165
123.70/19.86	c (15,0) c WaitingTime_total : 0.001439
123.70/19.86	c (15,0) c WaitingTime_winner : 0.000218
123.70/19.86	c (15,0) c ExchangingTime_0 : 0.025644
123.70/19.86	c (15,0) c ExchangingTime_1 : 0.023671
123.70/19.86	c (15,0) c ExchangingTime_2 : 0.027897
123.70/19.86	c (15,0) c ExchangingTime_3 : 0.027638
123.70/19.86	c (15,0) c ExchangingTime_4 : 0.030396
123.70/19.86	c (15,0) c ExchangingTime_5 : 0.024407
123.70/19.86	c (15,0) c ExchangingTime_6 : 0.030385
123.70/19.86	c (15,0) c ExchangingTime_7 : 0.030487
123.70/19.86	c (15,0) c ExchangingTime_total : 0.220526
123.70/19.86	c (15,0) c ExchangingTime_winner : 0.030385
123.70/19.86	c (15,0) c PeriodProcTime_0 : 0.001317
123.70/19.86	c (15,0) c PeriodProcTime_1 : 0.001234
123.70/19.86	c (15,0) c PeriodProcTime_2 : 0.001090
123.70/19.86	c (15,0) c PeriodProcTime_3 : 0.001499
123.70/19.86	c (15,0) c PeriodProcTime_4 : 0.001120
123.70/19.86	c (15,0) c PeriodProcTime_5 : 0.001543
123.70/19.86	c (15,0) c PeriodProcTime_6 : 0.001168
123.70/19.86	c (15,0) c PeriodProcTime_7 : 0.001338
123.70/19.86	c (15,0) c PeriodProcTime_total : 0.010308
123.70/19.86	c (15,0) c PeriodProcTime_winner : 0.001168
123.70/19.86	c (15,0) c SolvingTime_0 : 15.066988
123.70/19.86	c (15,0) c SolvingTime_1 : 15.017432
123.70/19.86	c (15,0) c SolvingTime_2 : 14.402479
123.70/19.86	c (15,0) c SolvingTime_3 : 14.398106
123.70/19.86	c (15,0) c SolvingTime_4 : 14.433419
123.70/19.86	c (15,0) c SolvingTime_5 : 14.763123
123.70/19.86	c (15,0) c SolvingTime_6 : 14.391555
123.70/19.86	c (15,0) c SolvingTime_7 : 14.471690
123.70/19.86	c (15,0) c SolvingTime_total : 116.944793
123.70/19.86	c (15,0) c SolvingTime_winner : 14.391555
123.70/19.86	c (15,0) c PropagationTime_0 : 13.096394
123.70/19.86	c (15,0) c PropagationTime_1 : 13.030765
123.70/19.86	c (15,0) c PropagationTime_2 : 12.495640
123.70/19.86	c (15,0) c PropagationTime_3 : 12.504348
123.70/19.86	c (15,0) c PropagationTime_4 : 12.491240
123.70/19.86	c (15,0) c PropagationTime_5 : 12.707385
123.70/19.86	c (15,0) c PropagationTime_6 : 12.471864
123.70/19.86	c (15,0) c PropagationTime_7 : 12.436685
123.70/19.86	c (15,0) c PropagationTime_total : 101.234321
123.70/19.86	c (15,0) c PropagationTime_winner : 12.471864
123.70/19.86	c (15,0) c AnalysisTime_0 : 1.501789
123.70/19.86	c (15,0) c AnalysisTime_1 : 1.479483
123.70/19.86	c (15,0) c AnalysisTime_2 : 1.458952
123.70/19.86	c (15,0) c AnalysisTime_3 : 1.415776
123.70/19.86	c (15,0) c AnalysisTime_4 : 1.475949
123.70/19.86	c (15,0) c AnalysisTime_5 : 1.587794
123.70/19.86	c (15,0) c AnalysisTime_6 : 1.461232
123.70/19.86	c (15,0) c AnalysisTime_7 : 1.562603
123.70/19.86	c (15,0) c AnalysisTime_total : 11.943579
123.70/19.86	c (15,0) c AnalysisTime_winner : 1.461232
123.70/19.86	c (15,0) c ReductionTime_0 : 0.096345
123.70/19.86	c (15,0) c ReductionTime_1 : 0.110617
123.70/19.86	c (15,0) c ReductionTime_2 : 0.104967
123.70/19.86	c (15,0) c ReductionTime_3 : 0.108318
123.70/19.86	c (15,0) c ReductionTime_4 : 0.103179
123.70/19.86	c (15,0) c ReductionTime_5 : 0.104110
123.70/19.86	c (15,0) c ReductionTime_6 : 0.103385
123.70/19.86	c (15,0) c ReductionTime_7 : 0.105940
123.70/19.86	c (15,0) c ReductionTime_total : 0.836862
123.70/19.86	c (15,0) c ReductionTime_winner : 0.103385
123.70/19.86	c (15,0) c SimplifyTime_0 : 0.000009
123.70/19.86	c (15,0) c SimplifyTime_1 : 0.000012
123.70/19.86	c (15,0) c SimplifyTime_2 : 0.000003
123.70/19.86	c (15,0) c SimplifyTime_3 : 0.000012
123.70/19.86	c (15,0) c SimplifyTime_4 : 0.000011
123.70/19.86	c (15,0) c SimplifyTime_5 : 0.000022
123.70/19.86	c (15,0) c SimplifyTime_6 : 0.000007
123.70/19.86	c (15,0) c SimplifyTime_7 : 0.000030
123.70/19.86	c (15,0) c SimplifyTime_total : 0.000106
123.70/19.86	c (15,0) c SimplifyTime_winner : 0.000007
123.70/19.86	c (15,0) c UsedRateTime_0 : 0.000000
123.70/19.86	c (15,0) c UsedRateTime_1 : 0.000000
123.70/19.86	c (15,0) c UsedRateTime_2 : 0.000000
123.70/19.86	c (15,0) c UsedRateTime_3 : 0.000000
123.70/19.86	c (15,0) c UsedRateTime_4 : 0.000000
123.70/19.86	c (15,0) c UsedRateTime_5 : 0.000000
123.70/19.86	c (15,0) c UsedRateTime_6 : 0.000000
123.70/19.86	c (15,0) c UsedRateTime_7 : 0.000000
123.70/19.86	c (15,0) c UsedRateTime_total : 0.000000
123.70/19.86	c (15,0) c UsedRateTime_winner : 0.000000
123.70/19.86	c (15,0) c OverlapRateTime_0 : 0.000000
123.70/19.86	c (15,0) c OverlapRateTime_1 : 0.000000
123.70/19.86	c (15,0) c OverlapRateTime_2 : 0.000000
123.70/19.86	c (15,0) c OverlapRateTime_3 : 0.000000
123.70/19.86	c (15,0) c OverlapRateTime_4 : 0.000000
123.70/19.86	c (15,0) c OverlapRateTime_5 : 0.000000
123.70/19.86	c (15,0) c OverlapRateTime_6 : 0.000000
123.70/19.86	c (15,0) c OverlapRateTime_7 : 0.000000
123.70/19.86	c (15,0) c OverlapRateTime_total : 0.000000
123.70/19.86	c (15,0) c OverlapRateTime_winner : 0.000000
123.70/19.86	c (15,0) c
123.70/19.86	c (15,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
123.70/19.86	c (15,0) c
123.70/19.86	c (15,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
123.70/19.86	c (15,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
123.70/19.86	c (15,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
123.70/19.86	c (15,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
123.70/19.86	c (15,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
123.70/19.86	c (15,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
123.70/19.86	c (15,0) c | Initial random_seed   | 1506152991 | 1290709244 |  844580515 | 1439382414 |  395403959 |  116699456 | 2019332728 | 1922341687 |
123.70/19.86	c (15,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
123.70/19.86	c (15,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
123.70/19.86	c (15,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
123.70/19.86	c (15,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
123.70/19.86	c (15,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
123.70/19.86	c (15,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
123.70/19.86	c (15,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
123.70/19.86	c (15,0) c | var_decay             |     0.9300 |     0.9300 |     0.9200 |     0.9300 |     0.9300 |     0.9300 |     0.9200 |     0.9300 |
123.70/19.86	c (15,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
123.70/19.86	c (15,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
123.70/19.86	c (15,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
123.70/19.86	c (15,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
123.70/19.86	c (15,0) 
123.70/19.86	c (15,0) s SATISFIABLE
123.70/19.88	c (15,0) SatSolver.solve End
123.70/19.88	c (15,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
123.70/19.88	c (15,0) Show results Begin
123.92/19.98	c (15,0) h[0] = 28
123.92/19.98	c (15,0) h[1] = 151
123.92/19.98	c (15,0) h[2] = 21
123.92/19.98	c (15,0) h[3] = 44
123.92/19.98	c (15,0) h[4] = 107
123.92/19.98	c (15,0) h[5] = 121
123.92/19.98	c (15,0) h[6] = 7
123.92/19.98	c (15,0) h[7] = 95
123.92/19.98	c (15,0) h[8] = 26
123.92/19.98	c (15,0) h[9] = 33
123.92/19.98	c (15,0) h[10] = 78
123.92/19.98	c (15,0) h[11] = 31
123.92/19.98	c (15,0) h[12] = 63
123.92/19.98	c (15,0) h[13] = 106
123.92/19.98	c (15,0) h[14] = 11
123.92/19.98	c (15,0) h[15] = 20
123.92/19.98	c (15,0) h[16] = 83
123.92/19.98	c (15,0) r[0] = 1
123.92/19.98	c (15,0) r[1] = 1
123.92/19.98	c (15,0) r[2] = 1
123.92/19.98	c (15,0) r[3] = 1
123.92/19.98	c (15,0) r[4] = 1
123.92/19.98	c (15,0) r[5] = 1
123.92/19.98	c (15,0) r[6] = 1
123.92/19.98	c (15,0) r[7] = 1
123.92/19.98	c (15,0) r[8] = 1
123.92/19.98	c (15,0) r[9] = 1
123.92/19.98	c (15,0) r[10] = 1
123.92/19.98	c (15,0) r[11] = 1
123.92/19.98	c (15,0) r[12] = 1
123.92/19.98	c (15,0) r[13] = 1
123.92/19.98	c (15,0) r[14] = 1
123.92/19.98	c (15,0) r[15] = 1
123.92/19.98	c (15,0) r[16] = 1
123.92/19.98	c (15,0) w[0] = 139
123.92/19.98	c (15,0) w[1] = 25
123.92/19.98	c (15,0) w[2] = 44
123.92/19.98	c (15,0) w[3] = 60
123.92/19.98	c (15,0) w[4] = 19
123.92/19.98	c (15,0) w[5] = 21
123.92/19.98	c (15,0) w[6] = 32
123.92/19.98	c (15,0) w[7] = 20
123.92/19.98	c (15,0) w[8] = 11
123.92/19.98	c (15,0) w[9] = 9
123.92/19.98	c (15,0) w[10] = 54
123.92/19.98	c (15,0) w[11] = 78
123.92/19.98	c (15,0) w[12] = 83
123.92/19.98	c (15,0) w[13] = 61
123.92/19.98	c (15,0) w[14] = 37
123.92/19.98	c (15,0) w[15] = 5
123.92/19.98	c (15,0) w[16] = 32
123.92/19.98	c (15,0) x[0] = 61
123.92/19.98	c (15,0) x[1] = 115
123.92/19.98	c (15,0) x[2] = 115
123.92/19.98	c (15,0) x[3] = 140
123.92/19.98	c (15,0) x[4] = 140
123.92/19.98	c (15,0) x[5] = 159
123.92/19.98	c (15,0) x[6] = 159
123.92/19.98	c (15,0) x[7] = 180
123.92/19.98	c (15,0) x[8] = 180
123.92/19.98	c (15,0) x[9] = 191
123.92/19.98	c (15,0) x[10] = 61
123.92/19.98	c (15,0) x[11] = 37
123.92/19.98	c (15,0) x[12] = 32
123.92/19.98	c (15,0) x[13] = 0
123.92/19.98	c (15,0) x[14] = 0
123.92/19.98	c (15,0) x[15] = 32
123.92/19.98	c (15,0) x[16] = 0
123.92/19.98	c (15,0) y[0] = 0
123.92/19.98	c (15,0) y[1] = 49
123.92/19.98	c (15,0) y[2] = 28
123.92/19.98	c (15,0) y[3] = 156
123.92/19.98	c (15,0) y[4] = 49
123.92/19.98	c (15,0) y[5] = 35
123.92/19.98	c (15,0) y[6] = 28
123.92/19.98	c (15,0) y[7] = 61
123.92/19.98	c (15,0) y[8] = 35
123.92/19.98	c (15,0) y[9] = 28
123.92/19.98	c (15,0) y[10] = 28
123.92/19.98	c (15,0) y[11] = 169
123.92/19.98	c (15,0) y[12] = 106
123.92/19.98	c (15,0) y[13] = 0
123.92/19.98	c (15,0) y[14] = 189
123.92/19.98	c (15,0) y[15] = 169
123.92/19.98	c (15,0) y[16] = 106
123.92/19.98	s SATISFIABLE
123.92/19.98	v <instantiation>
123.92/19.98	v     <list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] y[0] y[1] y[2] y[3] y[4] y[5] y[6] y[7] y[8] y[9] y[10] y[11] y[12] y[13] y[14] y[15] y[16] w[0] w[1] w[2] w[3] w[4] w[5] w[6] w[7] w[8] w[9] w[10] w[11] w[12] w[13] w[14] w[15] w[16] h[0] h[1] h[2] h[3] h[4] h[5] h[6] h[7] h[8] h[9] h[10] h[11] h[12] h[13] h[14] h[15] h[16] r[0] r[1] r[2] r[3] r[4] r[5] r[6] r[7] r[8] r[9] r[10] r[11] r[12] r[13] r[14] r[15] r[16]</list>
123.92/19.98	v     <values>61 115 115 140 140 159 159 180 180 191 61 37 32 0 0 32 0 0 49 28 156 49 35 28 61 35 28 28 169 106 0 189 169 106 139 25 44 60 19 21 32 20 11 9 54 78 83 61 37 5 32 28 151 21 44 107 121 7 95 26 33 78 31 63 106 11 20 83 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1</values>
123.92/19.98	v </instantiation>
123.92/19.98	c (15,0) Show results End
123.92/19.99	c (15,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 18 MiB used (max 0 MiB)
123.92/19.99	c (15,0) 15,15,STOP-AFTER(ALL)
123.92/19.99	c END-Prog: Mon Sep 23 13:36:49 CEST 2019

Verifier Data 

OK

Watcher Data 

runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 16374 MiB (13170 MiB free)
  memory of node 1: 16384 MiB (11374 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4405321-1569238628/watcher-4405321-1569238628 -o /tmp/evaluation-result-4405321-1569238628/solver-4405321-1569238628 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node141-1569238586-24725 --watchdog 2580 HOME/scop.sh 22g HOME/scop.jar -order HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4405321-1569238628.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
Starting watchdog thread
solver pid=24742, runsolver pid=24739
Current StackSize limit: 8192 KiB


[startup+0.100108 s]*
/proc/loadavg: 0.00 0.01 0.05 1/192 24745
/proc/meminfo: memFree=25133056/32770624 swapFree=66936420/67108860
[pid=24742] ppid=24739 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/24742/stat : 24742 (scop.sh) S 24739 24742 24698 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 499800923 115843072 349 33554432000 4194304 5098028 140729268035568 140729268032824 140371002925692 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 15577088 140729268044581 140729268044908 140729268044908 140729268047821 0
/proc/24742/statm: 28282 349 296 221 0 87 0
[pid=24745] ppid=24742 vsize=296 memory=4 CPUtime=0 cores=0-7
/proc/24745/stat : 24745 (java) D 24742 24742 24698 0 -1 1077936128 161 0 0 0 0 0 0 0 20 0 1 0 499800928 303104 1 33554432000 4194304 4196468 140730549623872 140730549621144 139896864429767 0 0 4102 0 18446744072101584420 0 0 17 3 0 0 0 0 0 6293624 6294260 23711744 140730549625579 140730549626006 140730549626006 140730549628879 0
/proc/24745/statm: 74 1 0 1 0 38 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 113424 KiB
Current children cumulated memory: 1400 KiB

[startup+0.209299 s]*
/proc/loadavg: 0.08 0.03 0.05 2/201 24754
/proc/meminfo: memFree=25054400/32770624 swapFree=66936420/67108860
[pid=24742] ppid=24739 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/24742/stat : 24742 (scop.sh) S 24739 24742 24698 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 499800923 115843072 349 33554432000 4194304 5098028 140729268035568 140729268032824 140371002925692 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 15577088 140729268044581 140729268044908 140729268044908 140729268047821 0
/proc/24742/statm: 28282 349 296 221 0 87 0
[pid=24745] ppid=24742 vsize=25995212 memory=88436 CPUtime=0.02 cores=0-7
/proc/24745/stat : 24745 (java) S 24742 24742 24698 0 -1 1077944320 4079 0 0 0 1 1 0 0 20 0 10 0 499800928 26619097088 22109 33554432000 4194304 4196468 140730549623872 140730549606416 139896862154487 0 0 6 16784584 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 23711744 140730549625579 140730549626006 140730549626006 140730549628879 0
/proc/24745/statm: 6498803 22109 1664 1 0 6487241 0
[pid=24745/tid=24746] ppid=24742 vsize=25995212 memory=-2177352373413752899 CPUtime=0.02 cores=0-7
/proc/24745/task/24746/stat : 24746 (java) R 24742 24742 24698 0 -1 4202560 2893 0 0 0 1 1 0 0 20 0 10 0 499800935 26619097088 22241 33554432000 4194304 4196468 140730549623872 139896833991248 139896684568438 0 4 6 16784584 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23711744 140730549625579 140730549626006 140730549626006 140730549628879 0
[pid=24745/tid=24747] ppid=24742 vsize=25995212 memory=732370287345269733 CPUtime=0 cores=0-7
/proc/24745/task/24747/stat : 24747 (java) S 24742 24742 24698 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 10 0 499800944 26619097088 22241 33554432000 4194304 4196468 140730549623872 139896866397200 139896862164693 0 4 6 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23711744 140730549625579 140730549626006 140730549626006 140730549628879 0
[pid=24745/tid=24748] ppid=24742 vsize=25995212 memory=140149007816320 CPUtime=0 cores=0-7
/proc/24745/task/24748/stat : 24748 (java) S 24742 24742 24698 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 10 0 499800944 26619097088 22241 33554432000 4194304 4196468 140730549623872 139896684485776 139896862164693 0 4 6 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23711744 140730549625579 140730549626006 140730549626006 140730549628879 0
[pid=24745/tid=24749] ppid=24742 vsize=25995212 memory=0 CPUtime=0 cores=0-7
/proc/24745/task/24749/stat : 24749 (java) S 24742 24742 24698 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 10 0 499800944 26619097088 22241 33554432000 4194304 4196468 140730549623872 139896683432720 139896862164693 0 4 6 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23711744 140730549625579 140730549626006 140730549626006 140730549628879 0
[pid=24745/tid=24750] ppid=24742 vsize=25995212 memory=0 CPUtime=0 cores=0-7
/proc/24745/task/24750/stat : 24750 (java) S 24742 24742 24698 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 10 0 499800944 26619097088 22241 33554432000 4194304 4196468 140730549623872 139896281791376 139896862164693 0 4 6 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23711744 140730549625579 140730549626006 140730549626006 140730549628879 0
[pid=24745/tid=24751] ppid=24742 vsize=25995212 memory=0 CPUtime=0 cores=0-7
/proc/24745/task/24751/stat : 24751 (java) S 24742 24742 24698 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 10 0 499800944 26619097088 22241 33554432000 4194304 4196468 140730549623872 139896280738320 139896862164693 0 4 6 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23711744 140730549625579 140730549626006 140730549626006 140730549628879 0
[pid=24745/tid=24752] ppid=24742 vsize=25995212 memory=-1 CPUtime=0 cores=0-7
/proc/24745/task/24752/stat : 24752 (java) S 24742 24742 24698 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 10 0 499800944 26619097088 22307 33554432000 4194304 4196468 140730549623872 139896279685776 139896862164693 0 4 6 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23711744 140730549625579 140730549626006 140730549626006 140730549628879 0
[pid=24745/tid=24753] ppid=24742 vsize=25995212 memory=0 CPUtime=0 cores=0-7
/proc/24745/task/24753/stat : 24753 (java) S 24742 24742 24698 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 10 0 499800944 26619097088 22307 33554432000 4194304 4196468 140730549623872 139896278632720 139896862164693 0 4 6 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23711744 140730549625579 140730549626006 140730549626006 140730549628879 0
[pid=24745/tid=24754] ppid=24742 vsize=25995212 memory=0 CPUtime=0 cores=0-7
/proc/24745/task/24754/stat : 24754 (java) S 24742 24742 24698 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 10 0 499800944 26619097088 22307 33554432000 4194304 4196468 140730549623872 139896277580176 139896862164693 0 4 6 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23711744 140730549625579 140730549626006 140730549626006 140730549628879 0
Current children cumulated CPU time: 0.02 s
Current children cumulated vsize: 26108340 KiB
Current children cumulated memory: 89832 KiB

[startup+0.310025 s]*
/proc/loadavg: 0.08 0.03 0.05 1/204 24757
/proc/meminfo: memFree=25046236/32770624 swapFree=66936420/67108860
[pid=24742] ppid=24739 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/24742/stat : 24742 (scop.sh) S 24739 24742 24698 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 499800923 115843072 349 33554432000 4194304 5098028 140729268035568 140729268032824 140371002925692 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 15577088 140729268044581 140729268044908 140729268044908 140729268047821 0
/proc/24742/statm: 28282 349 296 221 0 87 0
[pid=24745] ppid=24742 vsize=26587532 memory=95356 CPUtime=0.05 cores=0-7
/proc/24745/stat : 24745 (java) S 24742 24742 24698 0 -1 1077944320 5362 0 0 0 4 1 0 0 20 0 13 0 499800928 27225632768 23839 33554432000 4194304 4196468 140730549623872 140730549606416 139896862154487 0 0 6 16800969 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 23711744 140730549625579 140730549626006 140730549626006 140730549628879 0
/proc/24745/statm: 6646883 23839 2171 1 0 6609424 0
[pid=24745/tid=24746] ppid=24742 vsize=26587532 memory=4026531858 CPUtime=0.05 cores=0-7
/proc/24745/task/24746/stat : 24746 (java) D 24742 24742 24698 0 -1 1077944384 4005 0 0 0 4 1 0 0 20 0 13 0 499800935 27225632768 23839 33554432000 4194304 4196468 140730549623872 139896833981752 139896854832661 0 4 6 16800969 18446744072101584420 0 0 -1 3 0 0 0 0 0 6293624 6294260 23711744 140730549625579 140730549626006 140730549626006 140730549628879 0
[pid=24745/tid=24747] ppid=24742 vsize=26587532 memory=2811049 CPUtime=0 cores=0-7
/proc/24745/task/24747/stat : 24747 (java) S 24742 24742 24698 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 13 0 499800944 27225632768 23839 33554432000 4194304 4196468 140730549623872 139896866397200 139896862164693 0 4 6 16800969 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23711744 140730549625579 140730549626006 140730549626006 140730549628879 0
[pid=24745/tid=24748] ppid=24742 vsize=26587532 memory=140149010783377 CPUtime=0 cores=0-7
/proc/24745/task/24748/stat : 24748 (java) S 24742 24742 24698 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 13 0 499800944 27225632768 23839 33554432000 4194304 4196468 140730549623872 139896684485776 139896862164693 0 4 6 16800969 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23711744 140730549625579 140730549626006 140730549626006 140730549628879 0
[pid=24745/tid=24749] ppid=24742 vsize=26587532 memory=5983648970620232800 CPUtime=0 cores=0-7
/proc/24745/task/24749/stat : 24749 (java) S 24742 24742 24698 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 13 0 499800944 27225632768 23839 33554432000 4194304 4196468 140730549623872 139896683432720 139896862164693 0 4 6 16800969 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23711744 140730549625579 140730549626006 140730549626006 140730549628879 0
[pid=24745/tid=24750] ppid=24742 vsize=26587532 memory=-7385037615309293161 CPUtime=0 cores=0-7
/proc/24745/task/24750/stat : 24750 (java) S 24742 24742 24698 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 13 0 499800944 27225632768 23839 33554432000 4194304 4196468 140730549623872 139896281791376 139896862164693 0 4 6 16800969 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23711744 140730549625579 140730549626006 140730549626006 140730549628879 0
[pid=24745/tid=24751] ppid=24742 vsize=26587532 memory=6944656592455360569 CPUtime=0 cores=0-7
/proc/24745/task/24751/stat : 24751 (java) S 24742 24742 24698 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 13 0 499800944 27225632768 23839 33554432000 4194304 4196468 140730549623872 139896280738320 139896862164693 0 4 6 16800969 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23711744 140730549625579 140730549626006 140730549626006 140730549628879 0
[pid=24745/tid=24752] ppid=24742 vsize=26587532 memory=7885630751101880879 CPUtime=0 cores=0-7
/proc/24745/task/24752/stat : 24752 (java) S 24742 24742 24698 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 13 0 499800944 27225632768 23839 33554432000 4194304 4196468 140730549623872 139896279685776 139896862164693 0 4 6 16800969 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23711744 140730549625579 140730549626006 140730549626006 140730549628879 0
[pid=24745/tid=24753] ppid=24742 vsize=26587532 memory=6655300316396806240 CPUtime=0 cores=0-7
/proc/24745/task/24753/stat : 24753 (java) S 24742 24742 24698 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 13 0 499800944 27225632768 23839 33554432000 4194304 4196468 140730549623872 139896278632720 139896862164693 0 4 6 16800969 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23711744 140730549625579 140730549626006 140730549626006 140730549628879 0
[pid=24745/tid=24754] ppid=24742 vsize=26587532 memory=6944656592455097440 CPUtime=0 cores=0-7
/proc/24745/task/24754/stat : 24754 (java) S 24742 24742 24698 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 13 0 499800944 27225632768 23839 33554432000 4194304 4196468 140730549623872 139896277580176 139896862164693 0 4 6 16800969 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23711744 140730549625579 140730549626006 140730549626006 140730549628879 0
[pid=24745/tid=24755] ppid=24742 vsize=26587532 memory=0 CPUtime=0 cores=0-7
/proc/24745/task/24755/stat : 24755 (java) S 24742 24742 24698 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 13 0 499800946 27225632768 23839 33554432000 4194304 4196468 140730549623872 139895383677680 139896862165634 0 0 6 16800969 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23711744 140730549625579 140730549626006 140730549626006 140730549628879 0
[pid=24745/tid=24756] ppid=24742 vsize=26587532 memory=7595975425026773079 CPUtime=0 cores=0-7
/proc/24745/task/24756/stat : 24756 (java) S 24742 24742 24698 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 13 0 499800946 27225632768 23839 33554432000 4194304 4196468 140730549623872 139894466799264 139896862164693 0 4 6 16800969 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23711744 140730549625579 140730549626006 140730549626006 140730549628879 0
[pid=24745/tid=24757] ppid=24742 vsize=26587532 memory=0 CPUtime=0 cores=0-7
/proc/24745/task/24757/stat : 24757 (java) S 24742 24742 24698 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 13 0 499800946 27225632768 23839 33554432000 4194304 4196468 140730549623872 139894332577008 139896862164693 0 4 6 16800969 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23711744 140730549625579 140730549626006 140730549626006 140730549628879 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 26700660 KiB
Current children cumulated memory: 96752 KiB

[startup+0.700994 s]
/proc/loadavg: 0.08 0.03 0.05 1/211 24764
/proc/meminfo: memFree=25040664/32770624 swapFree=66936420/67108860
[pid=24742] ppid=24739 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/24742/stat : 24742 (scop.sh) S 24739 24742 24698 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 499800923 115843072 349 33554432000 4194304 5098028 140729268035568 140729268032824 140371002925692 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 15577088 140729268044581 140729268044908 140729268044908 140729268047821 0
/proc/24742/statm: 28282 349 296 221 0 87 0
[pid=24745] ppid=24742 vsize=27314120 memory=127100 CPUtime=0.36 cores=0-7
/proc/24745/stat : 24745 (java) S 24742 24742 24698 0 -1 1077944320 12206 0 0 0 33 3 0 0 20 0 20 0 499800928 27969658880 31775 33554432000 4194304 4196468 140730549623872 140730549606416 139896862154487 0 0 2 16800973 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 23711744 140730549625579 140730549626006 140730549626006 140730549628879 0
/proc/24745/statm: 6828530 31775 2997 1 0 6790935 0
[pid=24745/tid=24746] ppid=24742 vsize=27314120 memory=0 CPUtime=0.25 cores=0-7
/proc/24745/task/24746/stat : 24746 (java) R 24742 24742 24698 0 -1 4202560 9830 0 0 0 22 3 0 0 20 0 20 0 499800935 27969658880 31775 33554432000 4194304 4196468 140730549623872 139896833980288 139896862176413 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23711744 140730549625579 140730549626006 140730549626006 140730549628879 0
[pid=24745/tid=24747] ppid=24742 vsize=27314120 memory=280297753809808 CPUtime=0 cores=0-7
/proc/24745/task/24747/stat : 24747 (java) S 24742 24742 24698 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 499800944 27969658880 31775 33554432000 4194304 4196468 140730549623872 139896866397200 139896862164693 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23711744 140730549625579 140730549626006 140730549626006 140730549628879 0
[pid=24745/tid=24748] ppid=24742 vsize=27314120 memory=2110499484012068 CPUtime=0 cores=0-7
/proc/24745/task/24748/stat : 24748 (java) S 24742 24742 24698 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 499800944 27969658880 31775 33554432000 4194304 4196468 140730549623872 139896684485776 139896862164693 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23711744 140730549625579 140730549626006 140730549626006 140730549628879 0
[pid=24745/tid=24749] ppid=24742 vsize=27314120 memory=280297753821312 CPUtime=0 cores=0-7
/proc/24745/task/24749/stat : 24749 (java) S 24742 24742 24698 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 499800944 27969658880 31775 33554432000 4194304 4196468 140730549623872 139896683432720 139896862164693 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23711744 140730549625579 140730549626006 140730549626006 140730549628879 0
[pid=24745/tid=24750] ppid=24742 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24745/task/24750/stat : 24750 (java) S 24742 24742 24698 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 499800944 27969658880 31775 33554432000 4194304 4196468 140730549623872 139896281791376 139896862164693 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23711744 140730549625579 140730549626006 140730549626006 140730549628879 0
[pid=24745/tid=24751] ppid=24742 vsize=27314120 memory=4294969568 CPUtime=0 cores=0-7
/proc/24745/task/24751/stat : 24751 (java) S 24742 24742 24698 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 499800944 27969658880 31775 33554432000 4194304 4196468 140730549623872 139896280738320 139896862164693 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23711744 140730549625579 140730549626006 140730549626006 140730549628879 0
[pid=24745/tid=24752] ppid=24742 vsize=27314120 memory=2244 CPUtime=0 cores=0-7
/proc/24745/task/24752/stat : 24752 (java) S 24742 24742 24698 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 499800944 27969658880 31775 33554432000 4194304 4196468 140730549623872 139896279685776 139896862164693 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23711744 140730549625579 140730549626006 140730549626006 140730549628879 0
[pid=24745/tid=24753] ppid=24742 vsize=27314120 memory=5864339070211413858 CPUtime=0 cores=0-7
/proc/24745/task/24753/stat : 24753 (java) S 24742 24742 24698 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 499800944 27969658880 31775 33554432000 4194304 4196468 140730549623872 139896278632720 139896862164693 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23711744 140730549625579 140730549626006 140730549626006 140730549628879 0
[pid=24745/tid=24754] ppid=24742 vsize=27314120 memory=622160380 CPUtime=0 cores=0-7
/proc/24745/task/24754/stat : 24754 (java) S 24742 24742 24698 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 499800944 27969658880 31775 33554432000 4194304 4196468 140730549623872 139896277580176 139896862164693 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23711744 140730549625579 140730549626006 140730549626006 140730549628879 0
[pid=24745/tid=24755] ppid=24742 vsize=27314120 memory=140148876637802 CPUtime=0 cores=0-7
/proc/24745/task/24755/stat : 24755 (java) S 24742 24742 24698 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 499800946 27969658880 31775 33554432000 4194304 4196468 140730549623872 139895383677680 139896862165634 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23711744 140730549625579 140730549626006 140730549626006 140730549628879 0
[pid=24745/tid=24756] ppid=24742 vsize=27314120 memory=280297753235264 CPUtime=0 cores=0-7
/proc/24745/task/24756/stat : 24756 (java) S 24742 24742 24698 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 499800946 27969658880 31775 33554432000 4194304 4196468 140730549623872 139894466799264 139896862164693 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23711744 140730549625579 140730549626006 140730549626006 140730549628879 0
[pid=24745/tid=24757] ppid=24742 vsize=27314120 memory=-6955615140488778326 CPUtime=0 cores=0-7
/proc/24745/task/24757/stat : 24757 (java) S 24742 24742 24698 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 499800946 27969658880 31775 33554432000 4194304 4196468 140730549623872 139894332577008 139896862164693 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23711744 140730549625579 140730549626006 140730549626006 140730549628879 0
[pid=24745/tid=24758] ppid=24742 vsize=27314120 memory=6943526294502006880 CPUtime=0 cores=0-7
/proc/24745/task/24758/stat : 24758 (java) S 24742 24742 24698 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 499800966 27969658880 31775 33554432000 4194304 4196468 140730549623872 139893958072784 139896862173083 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23711744 140730549625579 140730549626006 140730549626006 140730549628879 0
[pid=24745/tid=24759] ppid=24742 vsize=27314120 memory=1808 CPUtime=0 cores=0-7
/proc/24745/task/24759/stat : 24759 (java) S 24742 24742 24698 0 -1 1077944384 319 0 0 0 0 0 0 0 20 0 20 0 499800966 27969658880 31775 33554432000 4194304 4196468 140730549623872 139895382624496 139896862165634 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23711744 140730549625579 140730549626006 140730549626006 140730549628879 0
[pid=24745/tid=24760] ppid=24742 vsize=27314120 memory=920 CPUtime=0 cores=0-7
/proc/24745/task/24760/stat : 24760 (java) S 24742 24742 24698 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 20 0 499800966 27969658880 31775 33554432000 4194304 4196468 140730549623872 139895381571952 139896862165634 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23711744 140730549625579 140730549626006 140730549626006 140730549628879 0
[pid=24745/tid=24761] ppid=24742 vsize=27314120 memory=3904 CPUtime=0.01 cores=0-7
/proc/24745/task/24761/stat : 24761 (java) S 24742 24742 24698 0 -1 1077944384 222 0 0 0 1 0 0 0 20 0 20 0 499800966 27969658880 31775 33554432000 4194304 4196468 140730549623872 139895380518896 139896862165634 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23711744 140730549625579 140730549626006 140730549626006 140730549628879 0
[pid=24745/tid=24762] ppid=24742 vsize=27314120 memory=1412 CPUtime=0.06 cores=0-7
/proc/24745/task/24762/stat : 24762 (java) R 24742 24742 24698 0 -1 4202560 458 0 0 0 6 0 0 0 20 0 20 0 499800966 27969658880 31775 33554432000 4194304 4196468 140730549623872 139895379462080 139896847292670 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23711744 140730549625579 140730549626006 140730549626006 140730549628879 0
[pid=24745/tid=24763] ppid=24742 vsize=27314120 memory=2332 CPUtime=0 cores=0-7
/proc/24745/task/24763/stat : 24763 (java) S 24742 24742 24698 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 499800966 27969658880 31775 33554432000 4194304 4196468 140730549623872 139893460167648 139896862164693 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23711744 140730549625579 140730549626006 140730549626006 140730549628879 0
[pid=24745/tid=24764] ppid=24742 vsize=27314120 memory=1396 CPUtime=0 cores=0-7
/proc/24745/task/24764/stat : 24764 (java) S 24742 24742 24698 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 499800971 27969658880 31775 33554432000 4194304 4196468 140730549623872 139895378414768 139896862165634 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23711744 140730549625579 140730549626006 140730549626006 140730549628879 0
Current children cumulated CPU time: 0.36 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 128496 KiB

[startup+1.50099 s]
/proc/loadavg: 0.08 0.03 0.05 1/211 24764
/proc/meminfo: memFree=24991708/32770624 swapFree=66936420/67108860
[pid=24742] ppid=24739 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/24742/stat : 24742 (scop.sh) S 24739 24742 24698 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 499800923 115843072 349 33554432000 4194304 5098028 140729268035568 140729268032824 140371002925692 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 15577088 140729268044581 140729268044908 140729268044908 140729268047821 0
/proc/24742/statm: 28282 349 296 221 0 87 0
[pid=24745] ppid=24742 vsize=27322516 memory=165408 CPUtime=1.01 cores=0-7
/proc/24745/stat : 24745 (java) S 24742 24742 24698 0 -1 1077944320 20039 0 0 0 94 7 0 0 20 0 20 0 499800928 27978256384 41352 33554432000 4194304 4196468 140730549623872 140730549606416 139896862154487 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 23711744 140730549625579 140730549626006 140730549626006 140730549628879 0
/proc/24745/statm: 6830629 41352 3146 1 0 6791959 0
[pid=24745/tid=24746] ppid=24742 vsize=27322516 memory=0 CPUtime=0.67 cores=0-7
/proc/24745/task/24746/stat : 24746 (java) D 24742 24742 24698 0 -1 1077944384 16997 0 0 0 62 5 0 0 20 0 20 0 499800935 27978256384 41352 33554432000 4194304 4196468 140730549623872 139896833986600 139896854832501 0 4 2 25189581 18446744072101584420 0 0 -1 1 0 0 23 0 0 6293624 6294260 23711744 140730549625579 140730549626006 140730549626006 140730549628879 0
[pid=24745/tid=24747] ppid=24742 vsize=27322516 memory=0 CPUtime=0 cores=0-7
/proc/24745/task/24747/stat : 24747 (java) S 24742 24742 24698 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 499800944 27978256384 41352 33554432000 4194304 4196468 140730549623872 139896866397200 139896862164693 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23711744 140730549625579 140730549626006 140730549626006 140730549628879 0
[pid=24745/tid=24748] ppid=24742 vsize=27322516 memory=2241 CPUtime=0 cores=0-7
/proc/24745/task/24748/stat : 24748 (java) S 24742 24742 24698 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 499800944 27978256384 41352 33554432000 4194304 4196468 140730549623872 139896684485776 139896862164693 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23711744 140730549625579 140730549626006 140730549626006 140730549628879 0
[pid=24745/tid=24749] ppid=24742 vsize=27322516 memory=3472328296227679313 CPUtime=0 cores=0-7
/proc/24745/task/24749/stat : 24749 (java) S 24742 24742 24698 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 499800944 27978256384 41352 33554432000 4194304 4196468 140730549623872 139896683432720 139896862164693 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23711744 140730549625579 140730549626006 140730549626006 140730549628879 0
[pid=24745/tid=24750] ppid=24742 vsize=27322516 memory=-5921431000321636112 CPUtime=0 cores=0-7
/proc/24745/task/24750/stat : 24750 (java) S 24742 24742 24698 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 499800944 27978256384 41352 33554432000 4194304 4196468 140730549623872 139896281791376 139896862164693 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23711744 140730549625579 140730549626006 140730549626006 140730549628879 0
[pid=24745/tid=24751] ppid=24742 vsize=27322516 memory=9123026954224263383 CPUtime=0 cores=0-7
/proc/24745/task/24751/stat : 24751 (java) S 24742 24742 24698 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 499800944 27978256384 41352 33554432000 4194304 4196468 140730549623872 139896280738320 139896862164693 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23711744 140730549625579 140730549626006 140730549626006 140730549628879 0
[pid=24745/tid=24752] ppid=24742 vsize=27322516 memory=-3253322038155611931 CPUtime=0 cores=0-7
/proc/24745/task/24752/stat : 24752 (java) S 24742 24742 24698 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 499800944 27978256384 41352 33554432000 4194304 4196468 140730549623872 139896279685776 139896862164693 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23711744 140730549625579 140730549626006 140730549626006 140730549628879 0
[pid=24745/tid=24753] ppid=24742 vsize=27322516 memory=-2746958450906831424 CPUtime=0 cores=0-7
/proc/24745/task/24753/stat : 24753 (java) S 24742 24742 24698 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 499800944 27978256384 41352 33554432000 4194304 4196468 140730549623872 139896278632720 139896862164693 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23711744 140730549625579 140730549626006 140730549626006 140730549628879 0
[pid=24745/tid=24754] ppid=24742 vsize=27322516 memory=-4546129931942301728 CPUtime=0 cores=0-7
/proc/24745/task/24754/stat : 24754 (java) S 24742 24742 24698 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 499800944 27978256384 41352 33554432000 4194304 4196468 140730549623872 139896277580176 139896862164693 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23711744 140730549625579 140730549626006 140730549626006 140730549628879 0
[pid=24745/tid=24755] ppid=24742 vsize=27322516 memory=-1 CPUtime=0 cores=0-7
/proc/24745/task/24755/stat : 24755 (java) S 24742 24742 24698 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 499800946 27978256384 41352 33554432000 4194304 4196468 140730549623872 139895383677680 139896862165634 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23711744 140730549625579 140730549626006 140730549626006 140730549628879 0
[pid=24745/tid=24756] ppid=24742 vsize=27322516 memory=0 CPUtime=0 cores=0-7
/proc/24745/task/24756/stat : 24756 (java) S 24742 24742 24698 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 499800946 27978256384 41352 33554432000 4194304 4196468 140730549623872 139894466799264 139896862164693 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23711744 140730549625579 140730549626006 140730549626006 140730549628879 0
[pid=24745/tid=24757] ppid=24742 vsize=27322516 memory=0 CPUtime=0 cores=0-7
/proc/24745/task/24757/stat : 24757 (java) S 24742 24742 24698 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 499800946 27978256384 41352 33554432000 4194304 4196468 140730549623872 139894332577008 139896862164693 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23711744 140730549625579 140730549626006 140730549626006 140730549628879 0
[pid=24745/tid=24758] ppid=24742 vsize=27322516 memory=0 CPUtime=0 cores=0-7
/proc/24745/task/24758/stat : 24758 (java) S 24742 24742 24698 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 499800966 27978256384 41352 33554432000 4194304 4196468 140730549623872 139893958072784 139896862173083 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23711744 140730549625579 140730549626006 140730549626006 140730549628879 0
[pid=24745/tid=24759] ppid=24742 vsize=27322516 memory=0 CPUtime=0.04 cores=0-7
/proc/24745/task/24759/stat : 24759 (java) S 24742 24742 24698 0 -1 1077944384 575 0 0 0 4 0 0 0 20 0 20 0 499800966 27978256384 41352 33554432000 4194304 4196468 140730549623872 139895382624496 139896862165634 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23711744 140730549625579 140730549626006 140730549626006 140730549628879 0

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

/proc/24765/task/24766/stat : 24766 (java) S 24742 24742 24698 0 -1 1077944384 17484 0 0 0 72 5 0 0 20 0 24 0 499801291 8616062976 29652 33554432000 4194304 4196468 140736518998720 140406116118432 140406144288469 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11173888 140736519001079 140736519001238 140736519001238 140736519004111 0
[pid=24765/tid=24767] ppid=24742 vsize=8414124 memory=280297754477280 CPUtime=0 cores=0-7
/proc/24765/task/24767/stat : 24767 (java) S 24742 24742 24698 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 499801293 8616062976 29652 33554432000 4194304 4196468 140736518998720 140406148520464 140406144288469 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11173888 140736519001079 140736519001238 140736519001238 140736519004111 0
[pid=24765/tid=24768] ppid=24742 vsize=8414124 memory=3184238068953209456 CPUtime=0 cores=0-7
/proc/24765/task/24768/stat : 24768 (java) S 24742 24742 24698 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 24 0 499801293 8616062976 29652 33554432000 4194304 4196468 140736518998720 140405629467280 140406144288469 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11173888 140736519001079 140736519001238 140736519001238 140736519004111 0
[pid=24765/tid=24769] ppid=24742 vsize=8414124 memory=106364865110238 CPUtime=0 cores=0-7
/proc/24765/task/24769/stat : 24769 (java) S 24742 24742 24698 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 499801293 8616062976 29652 33554432000 4194304 4196468 140736518998720 140405628414224 140406144288469 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11173888 140736519001079 140736519001238 140736519001238 140736519004111 0
[pid=24765/tid=24770] ppid=24742 vsize=8414124 memory=5600 CPUtime=0 cores=0-7
/proc/24765/task/24770/stat : 24770 (java) S 24742 24742 24698 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 499801293 8616062976 29652 33554432000 4194304 4196468 140736518998720 140405627361680 140406144288469 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11173888 140736519001079 140736519001238 140736519001238 140736519004111 0
[pid=24765/tid=24771] ppid=24742 vsize=8414124 memory=2348 CPUtime=0 cores=0-7
/proc/24765/task/24771/stat : 24771 (java) S 24742 24742 24698 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 499801293 8616062976 29652 33554432000 4194304 4196468 140736518998720 140405626309648 140406144288469 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11173888 140736519001079 140736519001238 140736519001238 140736519004111 0
[pid=24765/tid=24772] ppid=24742 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/24765/task/24772/stat : 24772 (java) S 24742 24742 24698 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 499801293 8616062976 29652 33554432000 4194304 4196468 140736518998720 140405625257104 140406144288469 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11173888 140736519001079 140736519001238 140736519001238 140736519004111 0
[pid=24765/tid=24773] ppid=24742 vsize=8414124 memory=147 CPUtime=0 cores=0-7
/proc/24765/task/24773/stat : 24773 (java) S 24742 24742 24698 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 499801293 8616062976 29652 33554432000 4194304 4196468 140736518998720 140405624204048 140406144288469 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11173888 140736519001079 140736519001238 140736519001238 140736519004111 0
[pid=24765/tid=24774] ppid=24742 vsize=8414124 memory=649 CPUtime=0 cores=0-7
/proc/24765/task/24774/stat : 24774 (java) S 24742 24742 24698 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 499801293 8616062976 29652 33554432000 4194304 4196468 140736518998720 140405623151504 140406144288469 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11173888 140736519001079 140736519001238 140736519001238 140736519004111 0
[pid=24765/tid=24775] ppid=24742 vsize=8414124 memory=5075 CPUtime=0 cores=0-7
/proc/24765/task/24775/stat : 24775 (java) S 24742 24742 24698 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 499801294 8616062976 29652 33554432000 4194304 4196468 140736518998720 140405573261552 140406144289410 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11173888 140736519001079 140736519001238 140736519001238 140736519004111 0
[pid=24765/tid=24776] ppid=24742 vsize=8414124 memory=1187 CPUtime=0 cores=0-7
/proc/24765/task/24776/stat : 24776 (java) S 24742 24742 24698 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 499801295 8616062976 29652 33554432000 4194304 4196468 140736518998720 140404427056288 140406144288469 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11173888 140736519001079 140736519001238 140736519001238 140736519004111 0
[pid=24765/tid=24777] ppid=24742 vsize=8414124 memory=736 CPUtime=0 cores=0-7
/proc/24765/task/24777/stat : 24777 (java) S 24742 24742 24698 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 499801295 8616062976 29652 33554432000 4194304 4196468 140736518998720 140404292834032 140406144288469 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11173888 140736519001079 140736519001238 140736519001238 140736519004111 0
[pid=24765/tid=24778] ppid=24742 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/24765/task/24778/stat : 24778 (java) S 24742 24742 24698 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 499801297 8616062976 29652 33554432000 4194304 4196468 140736518998720 140403918329808 140406144296859 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11173888 140736519001079 140736519001238 140736519001238 140736519004111 0
[pid=24765/tid=24779] ppid=24742 vsize=8414124 memory=140148876925635 CPUtime=0.06 cores=0-7
/proc/24765/task/24779/stat : 24779 (java) S 24742 24742 24698 0 -1 1077944384 555 0 0 0 6 0 0 0 20 0 24 0 499801297 8616062976 29652 33554432000 4194304 4196468 140736518998720 140405572209392 140406144289410 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11173888 140736519001079 140736519001238 140736519001238 140736519004111 0
[pid=24765/tid=24780] ppid=24742 vsize=8414124 memory=6791534058613427641 CPUtime=0.04 cores=0-7
/proc/24765/task/24780/stat : 24780 (java) S 24742 24742 24698 0 -1 1077944384 294 0 0 0 4 0 0 0 20 0 24 0 499801297 8616062976 29652 33554432000 4194304 4196468 140736518998720 140405571156848 140406144289410 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11173888 140736519001079 140736519001238 140736519001238 140736519004111 0
[pid=24765/tid=24781] ppid=24742 vsize=8414124 memory=48432 CPUtime=0.08 cores=0-7
/proc/24765/task/24781/stat : 24781 (java) S 24742 24742 24698 0 -1 1077944384 325 0 0 0 8 0 0 0 20 0 24 0 499801297 8616062976 29652 33554432000 4194304 4196468 140736518998720 140405570103792 140406144289410 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11173888 140736519001079 140736519001238 140736519001238 140736519004111 0
[pid=24765/tid=24782] ppid=24742 vsize=8414124 memory=988 CPUtime=0.2 cores=0-7
/proc/24765/task/24782/stat : 24782 (java) S 24742 24742 24698 0 -1 1077944384 577 0 0 0 20 0 0 0 20 0 24 0 499801297 8616062976 29652 33554432000 4194304 4196468 140736518998720 140405569051248 140406144289410 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11173888 140736519001079 140736519001238 140736519001238 140736519004111 0
[pid=24765/tid=24783] ppid=24742 vsize=8414124 memory=2012 CPUtime=0 cores=0-7
/proc/24765/task/24783/stat : 24783 (java) S 24742 24742 24698 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 499801297 8616062976 29652 33554432000 4194304 4196468 140736518998720 140403420424672 140406144288469 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11173888 140736519001079 140736519001238 140736519001238 140736519004111 0
[pid=24765/tid=24784] ppid=24742 vsize=8414124 memory=1424 CPUtime=0 cores=0-7
/proc/24765/task/24784/stat : 24784 (java) S 24742 24742 24698 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 499801298 8616062976 29652 33554432000 4194304 4196468 140736518998720 140405500799664 140406144289410 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 11173888 140736519001079 140736519001238 140736519001238 140736519004111 0
[pid=24765/tid=24786] ppid=24742 vsize=8414124 memory=1704 CPUtime=0 cores=0-7
/proc/24765/task/24786/stat : 24786 (java) S 24742 24742 24698 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 499801367 8616062976 29652 33554432000 4194304 4196468 140736518998720 140405492765632 140406144302873 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 11173888 140736519001079 140736519001238 140736519001238 140736519004111 0
[pid=24765/tid=24788] ppid=24742 vsize=8414124 memory=6148 CPUtime=0 cores=0-7
/proc/24765/task/24788/stat : 24788 (java) S 24742 24742 24698 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 24 0 499801367 8616062976 29652 33554432000 4194304 4196468 140736518998720 140402749325328 140406144300189 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 11173888 140736519001079 140736519001238 140736519001238 140736519004111 0
[pid=24765/tid=24789] ppid=24742 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/24765/task/24789/stat : 24789 (java) S 24742 24742 24698 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 499801367 8616062976 29652 33554432000 4194304 4196468 140736518998720 140403017760912 140406144300189 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 11173888 140736519001079 140736519001238 140736519001238 140736519004111 0
[pid=24765/tid=24790] ppid=24742 vsize=8414124 memory=280297753094496 CPUtime=0 cores=0-7
/proc/24765/task/24790/stat : 24790 (java) S 24742 24742 24698 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 24 0 499801369 8616062976 29652 33554432000 4194304 4196468 140736518998720 140402480897456 140406144288469 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11173888 140736519001079 140736519001238 140736519001238 140736519004111 0
Current children cumulated CPU time: 122.1 s
Current children cumulated vsize: 9226752 KiB
Current children cumulated memory: 431224 KiB

[startup+19.6012 s]
/proc/loadavg: 1.63 0.37 0.16 9/225 24800
/proc/meminfo: memFree=24704348/32770624 swapFree=66936420/67108860
[pid=24742] ppid=24739 vsize=113128 memory=1476 CPUtime=5.64 cores=0-7
/proc/24742/stat : 24742 (scop.sh) S 24739 24742 24698 0 -1 4202496 582 27326 0 0 0 0 541 23 20 0 1 0 499800923 115843072 369 33554432000 4194304 5098028 140729268035568 140729268032312 140371002925692 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 15577088 140729268044581 140729268044908 140729268044908 140729268047821 0
/proc/24742/statm: 28282 369 311 221 0 87 0
[pid=24765] ppid=24742 vsize=8414124 memory=118608 CPUtime=1.22 cores=0-7
/proc/24765/stat : 24765 (java) S 24742 24742 24698 0 -1 1077944320 20659 0 0 0 115 7 0 0 20 0 24 0 499801291 8616062976 29652 33554432000 4194304 4196468 140736518998720 140736518981264 140406144278263 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 11173888 140736519001079 140736519001238 140736519001238 140736519004111 0
/proc/24765/statm: 2103531 29652 3209 1 0 2064875 0
[pid=24785] ppid=24765 vsize=699500 memory=313428 CPUtime=116.45 cores=0-7
/proc/24785/stat : 24785 (manyglucose-4.1) S 24765 24742 24698 0 -1 1077944320 148726 0 0 0 11607 38 0 0 20 0 3 0 499801367 716288000 78357 33554432000 4194304 4454172 140734516594560 140734516592944 140485186449143 0 4 0 8388610 18446744073709551615 0 0 17 3 0 0 0 0 0 6552832 6554400 7192576 140734516597609 140734516597808 140734516597808 140734516600762 0
/proc/24785/statm: 174875 78357 415 64 0 170543 0
[pid=24785/tid=24791] ppid=24765 vsize=699500 memory=3608 CPUtime=14.81 cores=0-7
/proc/24785/task/24791/stat : 24791 (manyglucose-4.1) R 24765 24742 24698 0 -1 4202560 13811 0 0 0 1477 4 0 0 20 0 3 0 499801400 716288000 78357 33554432000 4194304 4454172 140734516594560 140485165100136 4350887 0 4 0 8388610 0 0 0 -1 0 0 0 0 0 0 6552832 6554400 7192576 140734516597609 140734516597808 140734516597808 140734516600762 0
[pid=24785/tid=24792] ppid=24765 vsize=699500 memory=2828 CPUtime=14.47 cores=0-7
/proc/24785/task/24792/stat : 24792 (manyglucose-4.1) R 24765 24742 24698 0 -1 4202560 17335 0 0 0 1444 3 0 0 20 0 3 0 499801400 716288000 78357 33554432000 4194304 4454172 140734516594560 140485156707432 4351331 0 4 0 8388610 0 0 0 -1 1 0 0 0 0 0 6552832 6554400 7192576 140734516597609 140734516597808 140734516597808 140734516600762 0
[pid=24765/tid=24766] ppid=24742 vsize=8414124 memory=1560 CPUtime=0.77 cores=0-7
/proc/24765/task/24766/stat : 24766 (java) S 24742 24742 24698 0 -1 1077944384 17484 0 0 0 72 5 0 0 20 0 24 0 499801291 8616062976 29652 33554432000 4194304 4196468 140736518998720 140406116118432 140406144288469 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11173888 140736519001079 140736519001238 140736519001238 140736519004111 0
[pid=24765/tid=24767] ppid=24742 vsize=8414124 memory=1172 CPUtime=0 cores=0-7
/proc/24765/task/24767/stat : 24767 (java) S 24742 24742 24698 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 499801293 8616062976 29652 33554432000 4194304 4196468 140736518998720 140406148520464 140406144288469 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11173888 140736519001079 140736519001238 140736519001238 140736519004111 0
[pid=24765/tid=24768] ppid=24742 vsize=8414124 memory=14008 CPUtime=0 cores=0-7
/proc/24765/task/24768/stat : 24768 (java) S 24742 24742 24698 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 24 0 499801293 8616062976 29652 33554432000 4194304 4196468 140736518998720 140405629467280 140406144288469 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11173888 140736519001079 140736519001238 140736519001238 140736519004111 0
[pid=24765/tid=24769] ppid=24742 vsize=8414124 memory=14076 CPUtime=0 cores=0-7
/proc/24765/task/24769/stat : 24769 (java) S 24742 24742 24698 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 499801293 8616062976 29652 33554432000 4194304 4196468 140736518998720 140405628414224 140406144288469 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11173888 140736519001079 140736519001238 140736519001238 140736519004111 0
[pid=24765/tid=24770] ppid=24742 vsize=8414124 memory=2116 CPUtime=0 cores=0-7
/proc/24765/task/24770/stat : 24770 (java) S 24742 24742 24698 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 499801293 8616062976 29652 33554432000 4194304 4196468 140736518998720 140405627361680 140406144288469 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11173888 140736519001079 140736519001238 140736519001238 140736519004111 0
[pid=24765/tid=24771] ppid=24742 vsize=8414124 memory=21340 CPUtime=0 cores=0-7
/proc/24765/task/24771/stat : 24771 (java) S 24742 24742 24698 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 499801293 8616062976 29652 33554432000 4194304 4196468 140736518998720 140405626309648 140406144288469 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11173888 140736519001079 140736519001238 140736519001238 140736519004111 0
[pid=24765/tid=24772] ppid=24742 vsize=8414124 memory=528 CPUtime=0 cores=0-7
/proc/24765/task/24772/stat : 24772 (java) S 24742 24742 24698 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 499801293 8616062976 29652 33554432000 4194304 4196468 140736518998720 140405625257104 140406144288469 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11173888 140736519001079 140736519001238 140736519001238 140736519004111 0
[pid=24765/tid=24773] ppid=24742 vsize=8414124 memory=1560 CPUtime=0 cores=0-7
/proc/24765/task/24773/stat : 24773 (java) S 24742 24742 24698 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 499801293 8616062976 29652 33554432000 4194304 4196468 140736518998720 140405624204048 140406144288469 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11173888 140736519001079 140736519001238 140736519001238 140736519004111 0
[pid=24765/tid=24774] ppid=24742 vsize=8414124 memory=932 CPUtime=0 cores=0-7
/proc/24765/task/24774/stat : 24774 (java) S 24742 24742 24698 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 499801293 8616062976 29652 33554432000 4194304 4196468 140736518998720 140405623151504 140406144288469 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11173888 140736519001079 140736519001238 140736519001238 140736519004111 0
[pid=24765/tid=24775] ppid=24742 vsize=8414124 memory=242856 CPUtime=0 cores=0-7
/proc/24765/task/24775/stat : 24775 (java) S 24742 24742 24698 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 499801294 8616062976 29652 33554432000 4194304 4196468 140736518998720 140405573261552 140406144289410 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11173888 140736519001079 140736519001238 140736519001238 140736519004111 0
[pid=24765/tid=24776] ppid=24742 vsize=8414124 memory=6148 CPUtime=0 cores=0-7
/proc/24765/task/24776/stat : 24776 (java) S 24742 24742 24698 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 499801295 8616062976 29652 33554432000 4194304 4196468 140736518998720 140404427056288 140406144288469 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11173888 140736519001079 140736519001238 140736519001238 140736519004111 0
[pid=24765/tid=24777] ppid=24742 vsize=8414124 memory=588 CPUtime=0 cores=0-7
/proc/24765/task/24777/stat : 24777 (java) S 24742 24742 24698 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 499801295 8616062976 29652 33554432000 4194304 4196468 140736518998720 140404292834032 140406144288469 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11173888 140736519001079 140736519001238 140736519001238 140736519004111 0
[pid=24765/tid=24778] ppid=24742 vsize=8414124 memory=780 CPUtime=0 cores=0-7
/proc/24765/task/24778/stat : 24778 (java) S 24742 24742 24698 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 499801297 8616062976 29652 33554432000 4194304 4196468 140736518998720 140403918329808 140406144296859 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11173888 140736519001079 140736519001238 140736519001238 140736519004111 0
[pid=24765/tid=24779] ppid=24742 vsize=8414124 memory=1056 CPUtime=0.06 cores=0-7
/proc/24765/task/24779/stat : 24779 (java) S 24742 24742 24698 0 -1 1077944384 555 0 0 0 6 0 0 0 20 0 24 0 499801297 8616062976 29652 33554432000 4194304 4196468 140736518998720 140405572209392 140406144289410 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11173888 140736519001079 140736519001238 140736519001238 140736519004111 0
[pid=24765/tid=24780] ppid=24742 vsize=8414124 memory=11620 CPUtime=0.04 cores=0-7
/proc/24765/task/24780/stat : 24780 (java) S 24742 24742 24698 0 -1 1077944384 294 0 0 0 4 0 0 0 20 0 24 0 499801297 8616062976 29652 33554432000 4194304 4196468 140736518998720 140405571156848 140406144289410 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11173888 140736519001079 140736519001238 140736519001238 140736519004111 0
[pid=24765/tid=24781] ppid=24742 vsize=8414124 memory=3608 CPUtime=0.08 cores=0-7
/proc/24765/task/24781/stat : 24781 (java) S 24742 24742 24698 0 -1 1077944384 325 0 0 0 8 0 0 0 20 0 24 0 499801297 8616062976 29652 33554432000 4194304 4196468 140736518998720 140405570103792 140406144289410 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11173888 140736519001079 140736519001238 140736519001238 140736519004111 0
[pid=24765/tid=24782] ppid=24742 vsize=8414124 memory=2828 CPUtime=0.2 cores=0-7
/proc/24765/task/24782/stat : 24782 (java) S 24742 24742 24698 0 -1 1077944384 577 0 0 0 20 0 0 0 20 0 24 0 499801297 8616062976 29652 33554432000 4194304 4196468 140736518998720 140405569051248 140406144289410 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11173888 140736519001079 140736519001238 140736519001238 140736519004111 0
[pid=24765/tid=24783] ppid=24742 vsize=8414124 memory=1000 CPUtime=0 cores=0-7
/proc/24765/task/24783/stat : 24783 (java) S 24742 24742 24698 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 499801297 8616062976 29652 33554432000 4194304 4196468 140736518998720 140403420424672 140406144288469 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11173888 140736519001079 140736519001238 140736519001238 140736519004111 0
[pid=24765/tid=24784] ppid=24742 vsize=8414124 memory=1560 CPUtime=0 cores=0-7
/proc/24765/task/24784/stat : 24784 (java) S 24742 24742 24698 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 499801298 8616062976 29652 33554432000 4194304 4196468 140736518998720 140405500799664 140406144289410 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 11173888 140736519001079 140736519001238 140736519001238 140736519004111 0
[pid=24765/tid=24786] ppid=24742 vsize=8414124 memory=1172 CPUtime=0 cores=0-7
/proc/24765/task/24786/stat : 24786 (java) S 24742 24742 24698 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 499801367 8616062976 29652 33554432000 4194304 4196468 140736518998720 140405492765632 140406144302873 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 11173888 140736519001079 140736519001238 140736519001238 140736519004111 0
[pid=24765/tid=24788] ppid=24742 vsize=8414124 memory=14008 CPUtime=0 cores=0-7
/proc/24765/task/24788/stat : 24788 (java) S 24742 24742 24698 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 24 0 499801367 8616062976 29652 33554432000 4194304 4196468 140736518998720 140402749325328 140406144300189 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 11173888 140736519001079 140736519001238 140736519001238 140736519004111 0
[pid=24765/tid=24789] ppid=24742 vsize=8414124 memory=14076 CPUtime=0 cores=0-7
/proc/24765/task/24789/stat : 24789 (java) S 24742 24742 24698 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 499801367 8616062976 29652 33554432000 4194304 4196468 140736518998720 140403017760912 140406144300189 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 11173888 140736519001079 140736519001238 140736519001238 140736519004111 0
[pid=24765/tid=24790] ppid=24742 vsize=8414124 memory=2116 CPUtime=0 cores=0-7
/proc/24765/task/24790/stat : 24790 (java) S 24742 24742 24698 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 24 0 499801369 8616062976 29652 33554432000 4194304 4196468 140736518998720 140402480897456 140406144288469 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11173888 140736519001079 140736519001238 140736519001238 140736519004111 0
Current children cumulated CPU time: 123.31 s
Current children cumulated vsize: 9226752 KiB
Current children cumulated memory: 433512 KiB

[startup+20.001 s]*
/proc/loadavg: 1.63 0.37 0.16 1/213 24800
/proc/meminfo: memFree=25007372/32770624 swapFree=66936420/67108860
[pid=24742] ppid=24739 vsize=113128 memory=1476 CPUtime=5.64 cores=0-7
/proc/24742/stat : 24742 (scop.sh) S 24739 24742 24698 0 -1 4202496 582 27326 0 0 0 0 541 23 20 0 1 0 499800923 115843072 369 33554432000 4194304 5098028 140729268035568 140729268032312 140371002925692 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 15577088 140729268044581 140729268044908 140729268044908 140729268047821 0
/proc/24742/statm: 28282 369 311 221 0 87 0
[pid=24765] ppid=24742 vsize=8151972 memory=128760 CPUtime=118.5 cores=0-7
/proc/24765/stat : 24765 (java) S 24742 24742 24698 0 -1 1077944320 22721 148750 0 0 151 9 11651 39 20 0 21 0 499801291 8347619328 32190 33554432000 4194304 4196468 140736518998720 140736518981264 140406144278263 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 11173888 140736519001079 140736519001238 140736519001238 140736519004111 0
/proc/24765/statm: 2037993 32190 3224 1 0 1999337 0
[pid=24765/tid=24766] ppid=24742 vsize=8151972 memory=1398722017469774279 CPUtime=117.78 cores=0-7
/proc/24765/task/24766/stat : 24766 (java) R 24742 24742 24698 0 -1 1077944384 18743 148750 0 0 82 6 11651 39 20 0 21 0 499801291 8347619328 32195 33554432000 4194304 4196468 140736518998720 140406116121744 140406144288469 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11173888 140736519001079 140736519001238 140736519001238 140736519004111 0
[pid=24765/tid=24767] ppid=24742 vsize=8151972 memory=-7003737579269690708 CPUtime=116.9 cores=0-7
/proc/24765/task/24767/stat : 24767 (java) S 24742 24742 24698 0 -1 1077944384 1 148750 0 0 0 0 11651 39 20 0 20 0 499801293 8347619328 32195 33554432000 4194304 4196468 140736518998720 140406148520464 140406144288469 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11173888 140736519001079 140736519001238 140736519001238 140736519004111 0
[pid=24765/tid=24768] ppid=24742 vsize=8151972 memory=0 CPUtime=116.9 cores=0-7
/proc/24765/task/24768/stat : 24768 (java) S 24742 24742 24698 0 -1 1077944384 4 148750 0 0 0 0 11651 39 20 0 20 0 499801293 8347619328 32195 33554432000 4194304 4196468 140736518998720 140405629467280 140406144288469 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11173888 140736519001079 140736519001238 140736519001238 140736519004111 0
[pid=24765/tid=24769] ppid=24742 vsize=8151972 memory=140148877145216 CPUtime=116.9 cores=0-7
/proc/24765/task/24769/stat : 24769 (java) S 24742 24742 24698 0 -1 1077944384 2 148750 0 0 0 0 11651 39 20 0 20 0 499801293 8347619328 32195 33554432000 4194304 4196468 140736518998720 140405628414224 140406144288469 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11173888 140736519001079 140736519001238 140736519001238 140736519004111 0
[pid=24765/tid=24770] ppid=24742 vsize=8151972 memory=0 CPUtime=116.9 cores=0-7
/proc/24765/task/24770/stat : 24770 (java) S 24742 24742 24698 0 -1 1077944384 2 148750 0 0 0 0 11651 39 20 0 20 0 499801293 8347619328 32195 33554432000 4194304 4196468 140736518998720 140405627361680 140406144288469 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11173888 140736519001079 140736519001238 140736519001238 140736519004111 0
[pid=24765/tid=24771] ppid=24742 vsize=8151972 memory=0 CPUtime=116.9 cores=0-7
/proc/24765/task/24771/stat : 24771 (java) S 24742 24742 24698 0 -1 1077944384 2 148750 0 0 0 0 11651 39 20 0 20 0 499801293 8347619328 32161 33554432000 4194304 4196468 140736518998720 140405626309648 140406144288469 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11173888 140736519001079 140736519001238 140736519001238 140736519004111 0
[pid=24765/tid=24772] ppid=24742 vsize=8151972 memory=0 CPUtime=116.9 cores=0-7
/proc/24765/task/24772/stat : 24772 (java) S 24742 24742 24698 0 -1 1077944384 2 148750 0 0 0 0 11651 39 20 0 19 0 499801293 8347619328 32161 33554432000 4194304 4196468 140736518998720 140405625257104 140406144288469 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11173888 140736519001079 140736519001238 140736519001238 140736519004111 0
[pid=24765/tid=24773] ppid=24742 vsize=8151972 memory=0 CPUtime=116.9 cores=0-7
/proc/24765/task/24773/stat : 24773 (java) S 24742 24742 24698 0 -1 1077944384 2 148750 0 0 0 0 11651 39 20 0 19 0 499801293 8347619328 32161 33554432000 4194304 4196468 140736518998720 140405624204048 140406144288469 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11173888 140736519001079 140736519001238 140736519001238 140736519004111 0
[pid=24765/tid=24774] ppid=24742 vsize=8151972 memory=0 CPUtime=116.9 cores=0-7
/proc/24765/task/24774/stat : 24774 (java) S 24742 24742 24698 0 -1 1077944384 1 148750 0 0 0 0 11651 39 20 0 19 0 499801293 8347619328 32181 33554432000 4194304 4196468 140736518998720 140405623151504 140406144288469 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11173888 140736519001079 140736519001238 140736519001238 140736519004111 0
[pid=24765/tid=24776] ppid=24742 vsize=8018840 memory=0 CPUtime=116.9 cores=0-7
/proc/24765/task/24776/stat : 24776 (java) S 24742 24742 24698 0 -1 1077944384 13 148750 0 0 0 0 11651 39 20 0 19 0 499801295 8211292160 32173 33554432000 4194304 4196468 140736518998720 140404427056288 140406144288469 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11173888 140736519001079 140736519001238 140736519001238 140736519004111 0
[pid=24765/tid=24777] ppid=24742 vsize=8018840 memory=0 CPUtime=116.9 cores=0-7
/proc/24765/task/24777/stat : 24777 (java) S 24742 24742 24698 0 -1 1077944384 21 148750 0 0 0 0 11651 39 20 0 19 0 499801295 8211292160 32173 33554432000 4194304 4196468 140736518998720 140404292834032 140406144288469 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11173888 140736519001079 140736519001238 140736519001238 140736519004111 0
[pid=24765/tid=24778] ppid=24742 vsize=8018840 memory=0 CPUtime=116.9 cores=0-7
/proc/24765/task/24778/stat : 24778 (java) S 24742 24742 24698 0 -1 1077944384 1 148750 0 0 0 0 11651 39 20 0 19 0 499801297 8211292160 32173 33554432000 4194304 4196468 140736518998720 140403918328864 140406144288469 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11173888 140736519001079 140736519001238 140736519001238 140736519004111 0
[pid=24765/tid=24779] ppid=24742 vsize=8018840 memory=0 CPUtime=117 cores=0-7
/proc/24765/task/24779/stat : 24779 (java) S 24742 24742 24698 0 -1 1077944384 587 148750 0 0 10 0 11651 39 20 0 19 0 499801297 8211292160 32177 33554432000 4194304 4196468 140736518998720 140405572209392 140406144289410 256 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11173888 140736519001079 140736519001238 140736519001238 140736519004111 0
[pid=24765/tid=24780] ppid=24742 vsize=8018840 memory=118608 CPUtime=116.99 cores=0-7
/proc/24765/task/24780/stat : 24780 (java) R 24742 24742 24698 0 -1 1077944384 447 148750 0 0 9 0 11651 39 20 0 19 0 499801297 8211292160 32178 33554432000 4194304 4196468 140736518998720 140405571141904 140406144288469 256 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11173888 140736519001079 140736519001238 140736519001238 140736519004111 0
[pid=24765/tid=24781] ppid=24742 vsize=8018840 memory=0 CPUtime=117.03 cores=0-7
/proc/24765/task/24781/stat : 24781 (java) R 24742 24742 24698 0 -1 1077944384 515 148750 0 0 13 0 11651 39 20 0 16 0 499801297 8211292160 32244 33554432000 4194304 4196468 140736518998720 140405570103792 140406144289410 256 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 11173888 140736519001079 140736519001238 140736519001238 140736519004111 0
[pid=24765/tid=24783] ppid=24742 vsize=0 memory=280297753259080 CPUtime=116.9 cores=0-7
/proc/24765/task/24783/stat : 24783 (java) R 24742 24742 24698 0 -1 4195396 3 148750 0 0 0 0 11651 39 20 0 7 0 499801297 0 0 33554432000 0 0 0 0 0 0 4 2 25189581 18446744073709551615 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0
Current children cumulated CPU time: 124.14 s
Current children cumulated vsize: 8265100 KiB
Current children cumulated memory: 130236 KiB

Child status: 0
Real time (s): 20.0173
CPU time (s): 124.184
CPU user time (s): 123.442
CPU system time (s): 0.741309
CPU usage (%): 620.382
Max. virtual memory (cumulated for all children) (KiB): 27443924
Max. memory (cumulated for all children) (KiB): 712452

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 123.442
system time used= 0.741309
maximum resident set size= 716860
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 199396
page faults= 0
swaps= 0
block input operations= 10400
block output operations= 5976
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 13751
involuntary context switches= 1480


# summary of solver processes directly reported to runsolver:
#   pid: 24742
#   total CPU time (s): 124.184
#   total CPU user time (s): 123.442
#   total CPU system time (s): 0.741309

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.213097 second user time and 0.295058 second system time

The end

Launcher Data 

Begin job on node141 at 2019-09-23 13:36:26
IDJOB=4405321
IDBENCH=120457
IDSOLVER=2867
FILE ID=node141/4405321-1569238628
RUNJOBID= node141-1569238586-24725
PBS_JOBID= 21704898
Free space on /tmp= 22932 MiB

SOLVER NAME= Fun-sCOP order+ManyGlucose (2019-09-22)
BENCH NAME= XCSP17/StripPacking/StripPacking-m1-seriesT/StripPacking-T1e.xml
COMMAND LINE= DIR/scop.sh 22g DIR/scop.jar -order DIR/manyglucose-4.1-27_release -model:-nthreads=NBCORE:-maxmemory=20000:-lit-scans=6000000 TMPDIR BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4405321-1569238628/watcher-4405321-1569238628 -o /tmp/evaluation-result-4405321-1569238628/solver-4405321-1569238628 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node141-1569238586-24725 --watchdog 2580  HOME/scop.sh 22g HOME/scop.jar -order HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4405321-1569238628.xml

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

MD5SUM BENCH= f7b8b642e131c8af917aaf97f4ae3b24
RANDOM SEED=760864286

node141.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	: 5332.93
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        25133284 kB
MemAvailable:   31811428 kB
Buffers:           77340 kB
Cached:          6880196 kB
SwapCached:        62192 kB
Active:          3427172 kB
Inactive:        3595732 kB
Active(anon):       3472 kB
Inactive(anon):   115120 kB
Active(file):    3423700 kB
Inactive(file):  3480612 kB
Unevictable:      109468 kB
Mlocked:          109468 kB
SwapTotal:      67108860 kB
SwapFree:       66936420 kB
Dirty:             20572 kB
Writeback:             0 kB
AnonPages:        108388 kB
Mapped:            52136 kB
Shmem:             44380 kB
Slab:             208048 kB
SReclaimable:     179336 kB
SUnreclaim:        28712 kB
KernelStack:        3360 kB
PageTables:         5360 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     514344 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     63488 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      128384 kB
DirectMap2M:    33417216 kB

Free space on /tmp at the end= 22912 MiB
End job on node141 at 2019-09-23 13:36:49