Trace number 4392725

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Fun-sCOP hybrid+ManyGlucose (2019-06-15)SAT 126.926 19.254

General information on the benchmark

NameStripPacking/StripPacking-m1-seriesN/
StripPacking-N1c.xml
MD5SUM19f4dcf35e46defaa68e633424c84ce1
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 benchmark122.854
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.00	c (scop.sh) java -Xms22g -Xmx22g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Encode -hybrid -solver HOME/manyglucose-4.1-27_release -solverOption -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 -tmp HOME -serialFile HOME/scop-6963-serial-file.bin HOME/instance-4392725-1568416777.xml
0.62/0.57	
0.62/0.57	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
0.62/0.57	
0.62/0.59	c BEGIN-Prog: Sat Sep 14 01:19:01 CEST 2019
0.62/0.59	c PID: 6966
0.62/0.59	c IP: 172.20.3.149
0.62/0.59	c HOST: node149.alineos.net
0.62/0.60	c (0,0) Parsing Begin
1.33/0.97	c (0,0) Parsing End
1.33/0.98	c (0,0) CSP: 68 int (0 aux), 17 bool (0 aux), 52 ctr, max domain size 200
1.33/0.98	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.33/0.98	c (0,0) Constraint Name Generate Begin
1.33/0.98	c (0,0) Ctr:HOME/instance-4392725-1568416777.xml,Add:ExtensionSupport:Le:NoOverlap:Num:Var
1.33/0.98	c (0,0) Constraint Name Generate End
1.33/0.98	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.33/0.98	c (0,0) CSP to CSPinCNF Begin
1.55/1.07	c (0,0) translated 6 (10%) constraints
1.55/1.08	c (0,0) translated 11 (20%) constraints
1.55/1.08	c (0,0) translated 16 (30%) constraints
1.55/1.08	c (0,0) translated 21 (40%) constraints
1.55/1.09	c (0,0) translated 26 (50%) constraints
1.55/1.09	c (0,0) translated 32 (60%) constraints
1.88/1.21	c (0,0) translated 37 (70%) constraints
1.88/1.26	c (0,0) translated 42 (80%) constraints
2.11/1.30	c (0,0) translated 47 (90%) constraints
2.11/1.33	c (0,0) translated 52 (100%) constraints
2.42/1.43	c (0,0) ===========================================
2.42/1.45	c (0,0) Hybrid: #OE=153, #LE=0
2.42/1.45	c (0,0) Hybrid
2.42/1.45	c (0,0) ===========================================
2.42/1.46	c (0,0) translated 43 (10%) constraints
2.42/1.46	c (0,0) translated 85 (20%) constraints
2.42/1.47	c (0,0) translated 128 (30%) constraints
2.42/1.47	c (0,0) translated 170 (40%) constraints
2.42/1.48	c (0,0) translated 213 (50%) constraints
2.42/1.48	c (0,0) translated 255 (60%) constraints
2.42/1.48	c (0,0) translated 298 (70%) constraints
2.42/1.49	c (0,0) translated 340 (80%) constraints
2.42/1.50	c (0,0) translated 383 (90%) constraints
2.80/1.50	c (0,0) translated 425 (100%) constraints
2.80/1.50	c (0,0) CSP to CSPinCNF End
2.80/1.50	c (0,0) CSP: 68 int (0 aux), 85 bool (68 aux), 425 ctr, max domain size 196
2.80/1.50	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 25 MiB used (max 0 MiB)
2.80/1.50	c (0,0) CSPinCNF Propagation Begin
2.80/1.53	c (0,0) 0 values, 17 unsatisfiable literals, and 0 valid clauses are removed
2.80/1.53	c (0,0) CSPinCNF Propagation End
2.80/1.53	c (0,0) CSP: 68 int (0 aux), 85 bool (68 aux), 425 ctr, max domain size 196
2.80/1.53	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 25 MiB used (max 0 MiB)
2.80/1.53	c (0,0) Hybrid: #OE=153, #LE=0
2.80/1.53	c (0,0) Simplify CSPinCNF Begin
2.80/1.60	c (1,1) Simplify CSPinCNF End
3.11/1.60	c (1,1) CSP: 68 int (0 aux), 629 bool (612 aux), 969 ctr, max domain size 196
3.11/1.60	c (1,1) Heap : 225 MiB used (max 21589 MiB), NonHeap : 26 MiB used (max 0 MiB)
3.11/1.60	c (1,1) Calculate Precise Domain Begin
3.11/1.60	c (1,1) 0 values are removed by re-calculation
3.11/1.60	c (1,1) Calculate Precise Domain End
3.11/1.60	c (1,1) CSP: 68 int (0 aux), 629 bool (612 aux), 969 ctr, max domain size 196
3.11/1.60	c (1,1) Heap : 225 MiB used (max 21589 MiB), NonHeap : 26 MiB used (max 0 MiB)
3.11/1.60	c (1,1) CSPinCNF to SatSolver Begin
3.47/1.70	c (1,1) 97 (10 %) CSP clauses are encoded (0 SAT variables, 5854 SAT clauses)
3.47/1.71	c (1,1) 194 (20 %) CSP clauses are encoded (0 SAT variables, 5951 SAT clauses)
3.47/1.72	c (1,1) 291 (30 %) CSP clauses are encoded (0 SAT variables, 6048 SAT clauses)
4.32/1.91	c (1,1) 388 (40 %) CSP clauses are encoded (0 SAT variables, 24313 SAT clauses)
4.77/2.04	c (1,1) 485 (50 %) CSP clauses are encoded (0 SAT variables, 45110 SAT clauses)
5.05/2.11	c (1,1) 582 (60 %) CSP clauses are encoded (0 SAT variables, 60101 SAT clauses)
5.05/2.19	c (1,1) 679 (70 %) CSP clauses are encoded (0 SAT variables, 80074 SAT clauses)
5.21/2.28	c (1,1) 776 (80 %) CSP clauses are encoded (0 SAT variables, 102531 SAT clauses)
5.31/2.37	c (1,1) 873 (90 %) CSP clauses are encoded (0 SAT variables, 124013 SAT clauses)
5.42/2.45	c (1,1) 969 (100 %) CSP clauses are encoded (0 SAT variables, 141024 SAT clauses)
5.42/2.45	c (1,1) CSPinCNF to SatSolver End
5.42/2.45	c (1,1) Heap : 675 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB)
5.42/2.45	c (1,1) 6455 bool, 141255 clause
5.42/2.45	c (1,1) Export Begin
5.55/2.55	c (1,1) Export to HOME/scop-6963-serial-file.bin
5.55/2.55	c (1,1) Export End
5.55/2.55	c (1,1) Export File Size: 0.03 MB
5.55/2.55	c (1,1) 0,0,0,0,1,1,1,STOP-AFTER(DIMACS)
5.55/2.55	c END-Prog: Sat Sep 14 01:19:03 CEST 2019
5.55/2.57	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-6963-serial-file.bin
6.24/3.02	c (0,0) Read Serial File Begin
6.24/3.02	c (0,0) HOME/scop-6963-serial-file.bin
6.51/3.25	c (0,0) Read Serial File End
6.51/3.27	
6.51/3.27	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
6.51/3.27	(Solving Process)
6.51/3.27	
6.51/3.29	c BEGIN-Prog: Sat Sep 14 01:19:03 CEST 2019
6.51/3.29	c PID: 6986
6.51/3.29	c IP: 172.20.3.149
6.51/3.29	c HOST: node149.alineos.net
6.51/3.29	c (0,0) SatSolver.solve Begin
6.51/3.29	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4392725-1568416777.xml-scop-6966.cnf
6.70/3.32	c (0,0) c
6.70/3.32	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.70/3.32	c (0,0) c
6.70/3.32	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
6.70/3.32	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
6.70/3.32	c (0,0) c ========================================[ Problem Statistics ]===========================================
6.70/3.32	c (0,0) c |                                                                                                       |
6.70/3.37	c (0,0) c |  Number of variables:          6455                                                                   |
6.70/3.37	c (0,0) c |  Number of clauses:          141255                                                                   |
6.70/3.37	c (0,0) c |  Parse time:                   0.05 s                                                                 |
6.70/3.37	c (0,0) c |                                                                                                       |
6.88/3.62	c (0,0) c |  Simplification time:          0.25 s                                                                 |
6.88/3.62	c (0,0) c |                                                                                                       |
6.88/3.62	c (0,0) c |  Generating clones                                                                                    |
6.88/3.66	c (0,0) c |  all clones generated. Memory =   104.66Mb.                                                           |
6.88/3.66	c (0,0) c ========================================================================================================|
6.88/3.66	c (0,0) c
6.88/3.66	c (0,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
6.88/3.66	c (0,0) c
6.88/3.66	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
6.88/3.66	c (0,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
6.88/3.66	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
6.88/3.66	c (0,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
6.88/3.66	c (0,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
6.88/3.66	c (0,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
6.88/3.66	c (0,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
6.88/3.66	c (0,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
6.88/3.66	c (0,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
6.88/3.66	c (0,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
6.88/3.66	c (0,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
6.88/3.66	c (0,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
6.88/3.66	c (0,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
6.88/3.66	c (0,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
6.88/3.66	c (0,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
6.88/3.66	c (0,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
6.88/3.66	c (0,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
6.88/3.66	c (0,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
6.88/3.66	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
126.42/19.09	c (16,0) c
126.42/19.09	c (16,0) c real time : 15.7738 s
126.42/19.09	c (16,0) c cpu time  : 119.215 s
126.42/19.09	c (16,0) c
126.42/19.09	c (16,0) c
126.42/19.09	c (16,0) c
126.42/19.09	c (16,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
126.42/19.09	c (16,0) c
126.42/19.09	c (16,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
126.42/19.09	c (16,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
126.42/19.09	c (16,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
126.42/19.09	c (16,0) c | Conflicts     |          613441 |      76338 |      74344 |      78370 |      78604 |      75732 |      76211 |      76964 |      76878 |
126.42/19.09	c (16,0) c | Decisions     |         1158750 |     143726 |     138476 |     146137 |     149988 |     141596 |     147248 |     145915 |     145664 |
126.42/19.09	c (16,0) c | Propagations  |       187291456 |   22959914 |   22862306 |   23921436 |   23669437 |   23939568 |   23204958 |   23183685 |   23550152 |
126.42/19.09	c (16,0) c | ReduceDBs     |              56 |          7 |          7 |          7 |          7 |          7 |          7 |          7 |          7 |
126.42/19.09	c (16,0) c | SimpDBs       |               8 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |
126.42/19.09	c (16,0) c | Restarts      |            1602 |        181 |        180 |        207 |        236 |        155 |        232 |        209 |        202 |
126.42/19.09	c (16,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
126.42/19.09	c (16,0) c | PropBinClauses|       235916627 |   28668903 |   28761249 |   30632490 |   29849617 |   30039398 |   29005075 |   29428235 |   29531660 |
126.42/19.09	c (16,0) c | PropPreBlocker|      3956163904 |  483212842 |  483466178 |  505731379 |  501355530 |  506236463 |  489976019 |  487961068 |  498224425 |
126.42/19.09	c (16,0) c | PropNotBlocker|      1184050089 |  146353025 |  146131079 |  151992636 |  149697687 |  150456885 |  145889015 |  146739484 |  146790278 |
126.42/19.09	c (16,0) c | LitFullScans  |      6990610882 |  858056759 |  858048758 |  894049446 |  884691325 |  894040045 |  864084312 |  861604156 |  876036081 |
126.42/19.09	c (16,0) c | LitScanFracts |          365526 |      49827 |      40512 |      43804 |      46878 |      35020 |      79012 |      38535 |      31938 |
126.42/19.09	c (16,0) c | DecisionLevel0|            1602 |        181 |        180 |        207 |        236 |        155 |        232 |        209 |        202 |
126.42/19.09	c (16,0) c | Periods       |            1164 |        143 |        143 |        149 |        147 |        149 |        144 |        143 |        146 |
126.42/19.09	c (16,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
126.42/19.09	c (16,0) c | Avg_Trail     |                 |       2789 |       2779 |       2735 |       2803 |       2873 |       2826 |       2762 |       2840 |
126.42/19.09	c (16,0) c | Avg_DL        |                 |         27 |         27 |         27 |         27 |         26 |         27 |         27 |         28 |
126.42/19.09	c (16,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
126.42/19.09	c (16,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
126.42/19.09	c (16,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
126.42/19.09	c (16,0) c | Exported      |           98366 |      11986 |      12022 |      12868 |      12392 |      12410 |      11611 |      13109 |      11968 |
126.42/19.09	c (16,0) c | Imported      |          620244 |      76754 |      76869 |      78458 |      77784 |      78881 |      77464 |      76159 |      77875 |
126.42/19.09	c (16,0) c | Good          |             100 |          9 |         12 |         12 |         13 |         14 |         13 |         13 |         14 |
126.42/19.09	c (16,0) c | Purge         |          620144 |      76745 |      76857 |      78446 |      77771 |      78867 |      77451 |      76146 |      77861 |
126.42/19.09	c (16,0) c | Promoted      |           46198 |       5999 |       5559 |       5722 |       5782 |       5778 |       5792 |       5552 |       6014 |
126.42/19.09	c (16,0) c | Remove_Imp    |          311774 |      33774 |      41320 |      40060 |      39183 |      40486 |      39948 |      39024 |      37979 |
126.42/19.09	c (16,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
126.42/19.09	c (16,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
126.42/19.09	c (16,0) c | Unaries       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
126.42/19.09	c (16,0) c | Binaries      |                 |          5 |          2 |          4 |          2 |          1 |          1 |          2 |          0 |
126.42/19.09	c (16,0) c | Glues         |                 |         52 |         43 |         36 |         39 |         30 |         36 |         37 |         33 |
126.42/19.09	c (16,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
126.42/19.09	c (16,0) c | Orig_Seen     |            39 % |      53125 |      53366 |      52942 |      54056 |      56939 |      55781 |      54540 |      59516 |
126.42/19.09	c (16,0) c | Diff Orig seen|                 | -     1415 | -     1174 | -     1598 | -      484 |       2399 |       1241 |      X     |       4976 |
126.42/19.09	c (16,0) c | Hamming       |            33 % |       1979 |       2335 |       2017 |       2473 |       2357 |       1847 |      X     |       1996 |
126.42/19.09	c (16,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
126.42/19.09	c (16,0) c | RunningTime   |                 |   15.4 100%|   15.1 100%|   14.8 100%|   14.8 100%|   14.8 100%|   14.9 100%|   14.8 100%|   14.9 100%|
126.42/19.09	c (16,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%|
126.42/19.09	c (16,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%|
126.42/19.09	c (16,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%|
126.42/19.09	c (16,0) c | SolvingTime   |                 |   15.4     |   15.1     |   14.9     |   14.8     |   14.8     |   14.9     |   14.8     |   14.9     |
126.42/19.09	c (16,0) c | PropagationTim|                 |   13.1  85%|   13.1  87%|   12.7  85%|   12.7  86%|   12.7  86%|   12.6  85%|   12.6  85%|   12.7  85%|
126.42/19.09	c (16,0) c | AnalysisTime  |                 |    1.7  11%|    1.4   9%|    1.5  10%|    1.5  10%|    1.5  10%|    1.6  11%|    1.5  10%|    1.5  10%|
126.42/19.09	c (16,0) c | ReductionTime |                 |    0.1   1%|    0.2   1%|    0.2   1%|    0.2   1%|    0.1   1%|    0.2   1%|    0.1   1%|    0.1   1%|
126.42/19.09	c (16,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%|
126.42/19.09	c (16,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%|
126.42/19.09	c (16,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%|
126.42/19.09	c (16,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
126.42/19.09	c (16,0) c
126.42/19.09	c (16,0) c
126.42/19.09	c (16,0) c Threads : 8
126.42/19.09	c (16,0) c Winner : 6
126.42/19.09	c (16,0) c Conflicts_0 : 76338
126.42/19.09	c (16,0) c Conflicts_1 : 74344
126.42/19.09	c (16,0) c Conflicts_2 : 78370
126.42/19.09	c (16,0) c Conflicts_3 : 78604
126.42/19.09	c (16,0) c Conflicts_4 : 75732
126.42/19.09	c (16,0) c Conflicts_5 : 76211
126.42/19.09	c (16,0) c Conflicts_6 : 76964
126.42/19.09	c (16,0) c Conflicts_7 : 76878
126.42/19.09	c (16,0) c Conflicts_total : 613441
126.42/19.09	c (16,0) c Conflicts_winner : 76964
126.42/19.09	c (16,0) c Decisions_0 : 143726
126.42/19.09	c (16,0) c Decisions_1 : 138476
126.42/19.09	c (16,0) c Decisions_2 : 146137
126.42/19.09	c (16,0) c Decisions_3 : 149988
126.42/19.09	c (16,0) c Decisions_4 : 141596
126.42/19.09	c (16,0) c Decisions_5 : 147248
126.42/19.09	c (16,0) c Decisions_6 : 145915
126.42/19.09	c (16,0) c Decisions_7 : 145664
126.42/19.09	c (16,0) c Decisions_total : 1158750
126.42/19.09	c (16,0) c Decisions_winner : 145915
126.42/19.09	c (16,0) c Propagations_0 : 22959914
126.42/19.09	c (16,0) c Propagations_1 : 22862306
126.42/19.09	c (16,0) c Propagations_2 : 23921436
126.42/19.09	c (16,0) c Propagations_3 : 23669437
126.42/19.09	c (16,0) c Propagations_4 : 23939568
126.42/19.09	c (16,0) c Propagations_5 : 23204958
126.42/19.09	c (16,0) c Propagations_6 : 23183685
126.42/19.09	c (16,0) c Propagations_7 : 23550152
126.42/19.09	c (16,0) c Propagations_total : 187291456
126.42/19.09	c (16,0) c Propagations_winner : 23183685
126.42/19.09	c (16,0) c ReduceDBs_0 : 7
126.42/19.09	c (16,0) c ReduceDBs_1 : 7
126.42/19.09	c (16,0) c ReduceDBs_2 : 7
126.42/19.10	c (16,0) c ReduceDBs_3 : 7
126.42/19.10	c (16,0) c ReduceDBs_4 : 7
126.42/19.10	c (16,0) c ReduceDBs_5 : 7
126.42/19.10	c (16,0) c ReduceDBs_6 : 7
126.42/19.10	c (16,0) c ReduceDBs_7 : 7
126.42/19.10	c (16,0) c ReduceDBs_total : 56
126.42/19.10	c (16,0) c ReduceDBs_winner : 7
126.42/19.10	c (16,0) c SimpDBs_0 : 1
126.42/19.10	c (16,0) c SimpDBs_1 : 1
126.42/19.10	c (16,0) c SimpDBs_2 : 1
126.42/19.10	c (16,0) c SimpDBs_3 : 1
126.42/19.10	c (16,0) c SimpDBs_4 : 1
126.42/19.10	c (16,0) c SimpDBs_5 : 1
126.42/19.10	c (16,0) c SimpDBs_6 : 1
126.42/19.10	c (16,0) c SimpDBs_7 : 1
126.42/19.10	c (16,0) c SimpDBs_total : 8
126.42/19.10	c (16,0) c SimpDBs_winner : 1
126.42/19.10	c (16,0) c Restarts_0 : 181
126.42/19.10	c (16,0) c Restarts_1 : 180
126.42/19.10	c (16,0) c Restarts_2 : 207
126.42/19.10	c (16,0) c Restarts_3 : 236
126.42/19.10	c (16,0) c Restarts_4 : 155
126.42/19.10	c (16,0) c Restarts_5 : 232
126.42/19.10	c (16,0) c Restarts_6 : 209
126.42/19.10	c (16,0) c Restarts_7 : 202
126.42/19.10	c (16,0) c Restarts_total : 1602
126.42/19.10	c (16,0) c Restarts_winner : 209
126.42/19.10	c (16,0) c ForcedImports_0 : 0
126.42/19.10	c (16,0) c ForcedImports_1 : 0
126.42/19.10	c (16,0) c ForcedImports_2 : 0
126.42/19.10	c (16,0) c ForcedImports_3 : 0
126.42/19.10	c (16,0) c ForcedImports_4 : 0
126.42/19.10	c (16,0) c ForcedImports_5 : 0
126.42/19.10	c (16,0) c ForcedImports_6 : 0
126.42/19.10	c (16,0) c ForcedImports_7 : 0
126.42/19.10	c (16,0) c ForcedImports_total : 0
126.42/19.10	c (16,0) c ForcedImports_winner : 0
126.42/19.10	c (16,0) c PropsBinClauses_0 : 28668903
126.42/19.10	c (16,0) c PropsBinClauses_1 : 28761249
126.42/19.10	c (16,0) c PropsBinClauses_2 : 30632490
126.42/19.10	c (16,0) c PropsBinClauses_3 : 29849617
126.42/19.10	c (16,0) c PropsBinClauses_4 : 30039398
126.42/19.10	c (16,0) c PropsBinClauses_5 : 29005075
126.42/19.10	c (16,0) c PropsBinClauses_6 : 29428235
126.42/19.10	c (16,0) c PropsBinClauses_7 : 29531660
126.42/19.10	c (16,0) c PropsBinClauses_total : 235916627
126.42/19.10	c (16,0) c PropsBinClauses_winner : 29428235
126.42/19.10	c (16,0) c PropsPreBlocker_0 : 483212842
126.42/19.10	c (16,0) c PropsPreBlocker_1 : 483466178
126.42/19.10	c (16,0) c PropsPreBlocker_2 : 505731379
126.42/19.10	c (16,0) c PropsPreBlocker_3 : 501355530
126.42/19.10	c (16,0) c PropsPreBlocker_4 : 506236463
126.42/19.10	c (16,0) c PropsPreBlocker_5 : 489976019
126.42/19.10	c (16,0) c PropsPreBlocker_6 : 487961068
126.42/19.10	c (16,0) c PropsPreBlocker_7 : 498224425
126.42/19.10	c (16,0) c PropsPreBlocker_total : 3956163904
126.42/19.10	c (16,0) c PropsPreBlocker_winner : 487961068
126.42/19.10	c (16,0) c PropsNotBlocker_0 : 146353025
126.42/19.10	c (16,0) c PropsNotBlocker_1 : 146131079
126.42/19.10	c (16,0) c PropsNotBlocker_2 : 151992636
126.42/19.10	c (16,0) c PropsNotBlocker_3 : 149697687
126.42/19.10	c (16,0) c PropsNotBlocker_4 : 150456885
126.42/19.10	c (16,0) c PropsNotBlocker_5 : 145889015
126.42/19.10	c (16,0) c PropsNotBlocker_6 : 146739484
126.42/19.10	c (16,0) c PropsNotBlocker_7 : 146790278
126.42/19.10	c (16,0) c PropsNotBlocker_total : 1184050089
126.42/19.10	c (16,0) c PropsNotBlocker_winner : 146739484
126.42/19.10	c (16,0) c PropsLitFullScans_0 : 858056759
126.42/19.10	c (16,0) c PropsLitFullScans_1 : 858048758
126.42/19.10	c (16,0) c PropsLitFullScans_2 : 894049446
126.42/19.10	c (16,0) c PropsLitFullScans_3 : 884691325
126.42/19.10	c (16,0) c PropsLitFullScans_4 : 894040045
126.42/19.10	c (16,0) c PropsLitFullScans_5 : 864084312
126.42/19.10	c (16,0) c PropsLitFullScans_6 : 861604156
126.42/19.10	c (16,0) c PropsLitFullScans_7 : 876036081
126.42/19.10	c (16,0) c PropsLitFullScans_total : 6990610882
126.42/19.10	c (16,0) c PropsLitFullScans_winner : 861604156
126.42/19.10	c (16,0) c LitScanFractions_0 : 49827
126.42/19.10	c (16,0) c LitScanFractions_1 : 40512
126.42/19.10	c (16,0) c LitScanFractions_2 : 43804
126.42/19.10	c (16,0) c LitScanFractions_3 : 46878
126.42/19.10	c (16,0) c LitScanFractions_4 : 35020
126.42/19.10	c (16,0) c LitScanFractions_5 : 79012
126.42/19.10	c (16,0) c LitScanFractions_6 : 38535
126.42/19.10	c (16,0) c LitScanFractions_7 : 31938
126.42/19.10	c (16,0) c LitScanFractions_total : 365526
126.42/19.10	c (16,0) c LitScanFractions_winner : 38535
126.42/19.10	c (16,0) c DecisionLevel0_0 : 181
126.42/19.10	c (16,0) c DecisionLevel0_1 : 180
126.42/19.10	c (16,0) c DecisionLevel0_2 : 207
126.42/19.10	c (16,0) c DecisionLevel0_3 : 236
126.42/19.10	c (16,0) c DecisionLevel0_4 : 155
126.42/19.10	c (16,0) c DecisionLevel0_5 : 232
126.42/19.10	c (16,0) c DecisionLevel0_6 : 209
126.42/19.10	c (16,0) c DecisionLevel0_7 : 202
126.42/19.10	c (16,0) c DecisionLevel0_total : 1602
126.42/19.10	c (16,0) c DecisionLevel0_winner : 209
126.42/19.10	c (16,0) c Periods_0 : 143
126.42/19.10	c (16,0) c Periods_1 : 143
126.42/19.10	c (16,0) c Periods_2 : 149
126.42/19.10	c (16,0) c Periods_3 : 147
126.42/19.10	c (16,0) c Periods_4 : 149
126.42/19.10	c (16,0) c Periods_5 : 144
126.42/19.10	c (16,0) c Periods_6 : 143
126.42/19.10	c (16,0) c Periods_7 : 146
126.42/19.10	c (16,0) c Periods_total : 1164
126.42/19.10	c (16,0) c Periods_winner : 143
126.42/19.10	c (16,0) c Margin_0 : 20
126.42/19.10	c (16,0) c Margin_1 : 20
126.42/19.10	c (16,0) c Margin_2 : 20
126.42/19.10	c (16,0) c Margin_3 : 20
126.42/19.10	c (16,0) c Margin_4 : 20
126.42/19.10	c (16,0) c Margin_5 : 20
126.42/19.10	c (16,0) c Margin_6 : 20
126.42/19.10	c (16,0) c Margin_7 : 20
126.42/19.10	c (16,0) c Margin_total : 160
126.42/19.10	c (16,0) c Margin_winner : 20
126.42/19.10	c (16,0) c Exported_0 : 11986
126.42/19.10	c (16,0) c Exported_1 : 12022
126.42/19.10	c (16,0) c Exported_2 : 12868
126.42/19.10	c (16,0) c Exported_3 : 12392
126.42/19.10	c (16,0) c Exported_4 : 12410
126.42/19.10	c (16,0) c Exported_5 : 11611
126.42/19.10	c (16,0) c Exported_6 : 13109
126.42/19.10	c (16,0) c Exported_7 : 11968
126.42/19.10	c (16,0) c Exported_total : 98366
126.42/19.10	c (16,0) c Exported_winner : 13109
126.42/19.10	c (16,0) c Imported_0 : 76754
126.42/19.10	c (16,0) c Imported_1 : 76869
126.42/19.10	c (16,0) c Imported_2 : 78458
126.42/19.10	c (16,0) c Imported_3 : 77784
126.42/19.10	c (16,0) c Imported_4 : 78881
126.42/19.10	c (16,0) c Imported_5 : 77464
126.42/19.10	c (16,0) c Imported_6 : 76159
126.42/19.10	c (16,0) c Imported_7 : 77875
126.42/19.10	c (16,0) c Imported_total : 620244
126.42/19.10	c (16,0) c Imported_winner : 76159
126.42/19.10	c (16,0) c Good_0 : 9
126.42/19.10	c (16,0) c Good_1 : 12
126.42/19.10	c (16,0) c Good_2 : 12
126.42/19.10	c (16,0) c Good_3 : 13
126.42/19.10	c (16,0) c Good_4 : 14
126.42/19.10	c (16,0) c Good_5 : 13
126.42/19.10	c (16,0) c Good_6 : 13
126.42/19.10	c (16,0) c Good_7 : 14
126.42/19.10	c (16,0) c Good_total : 100
126.42/19.10	c (16,0) c Good_winner : 13
126.42/19.10	c (16,0) c Purge_0 : 76745
126.42/19.10	c (16,0) c Purge_1 : 76857
126.42/19.10	c (16,0) c Purge_2 : 78446
126.42/19.10	c (16,0) c Purge_3 : 77771
126.42/19.10	c (16,0) c Purge_4 : 78867
126.42/19.10	c (16,0) c Purge_5 : 77451
126.42/19.10	c (16,0) c Purge_6 : 76146
126.42/19.10	c (16,0) c Purge_7 : 77861
126.42/19.10	c (16,0) c Purge_total : 620144
126.42/19.10	c (16,0) c Purge_winner : 76146
126.42/19.10	c (16,0) c Promoted_0 : 5999
126.42/19.10	c (16,0) c Promoted_1 : 5559
126.42/19.10	c (16,0) c Promoted_2 : 5722
126.42/19.10	c (16,0) c Promoted_3 : 5782
126.42/19.10	c (16,0) c Promoted_4 : 5778
126.42/19.10	c (16,0) c Promoted_5 : 5792
126.42/19.10	c (16,0) c Promoted_6 : 5552
126.42/19.10	c (16,0) c Promoted_7 : 6014
126.42/19.10	c (16,0) c Promoted_total : 46198
126.42/19.10	c (16,0) c Promoted_winner : 5552
126.42/19.10	c (16,0) c Remove_Imp_0 : 33774
126.42/19.10	c (16,0) c Remove_Imp_1 : 41320
126.42/19.10	c (16,0) c Remove_Imp_2 : 40060
126.42/19.10	c (16,0) c Remove_Imp_3 : 39183
126.42/19.10	c (16,0) c Remove_Imp_4 : 40486
126.42/19.10	c (16,0) c Remove_Imp_5 : 39948
126.42/19.10	c (16,0) c Remove_Imp_6 : 39024
126.42/19.10	c (16,0) c Remove_Imp_7 : 37979
126.42/19.10	c (16,0) c Remove_Imp_total : 311774
126.42/19.10	c (16,0) c Remove_Imp_winner : 39024
126.42/19.10	c (16,0) c Blocked_Reuse_0 : 0
126.42/19.10	c (16,0) c Blocked_Reuse_1 : 0
126.42/19.10	c (16,0) c Blocked_Reuse_2 : 0
126.42/19.10	c (16,0) c Blocked_Reuse_3 : 0
126.42/19.10	c (16,0) c Blocked_Reuse_4 : 0
126.42/19.10	c (16,0) c Blocked_Reuse_5 : 0
126.42/19.10	c (16,0) c Blocked_Reuse_6 : 0
126.42/19.10	c (16,0) c Blocked_Reuse_7 : 0
126.42/19.10	c (16,0) c Blocked_Reuse_total : 0
126.42/19.10	c (16,0) c Blocked_Reuse_winner : 0
126.42/19.10	c (16,0) c Unaries_0 : 0
126.42/19.10	c (16,0) c Unaries_1 : 0
126.42/19.10	c (16,0) c Unaries_2 : 0
126.42/19.10	c (16,0) c Unaries_3 : 0
126.42/19.10	c (16,0) c Unaries_4 : 0
126.42/19.10	c (16,0) c Unaries_5 : 0
126.42/19.10	c (16,0) c Unaries_6 : 0
126.42/19.10	c (16,0) c Unaries_7 : 0
126.42/19.10	c (16,0) c Unaries_total : 0
126.42/19.10	c (16,0) c Unaries_winner : 0
126.42/19.10	c (16,0) c Binaries_0 : 5
126.42/19.10	c (16,0) c Binaries_1 : 2
126.42/19.10	c (16,0) c Binaries_2 : 4
126.42/19.10	c (16,0) c Binaries_3 : 2
126.42/19.10	c (16,0) c Binaries_4 : 1
126.42/19.10	c (16,0) c Binaries_5 : 1
126.42/19.10	c (16,0) c Binaries_6 : 2
126.42/19.10	c (16,0) c Binaries_7 : 0
126.42/19.10	c (16,0) c Binaries_total : 17
126.42/19.10	c (16,0) c Binaries_winner : 2
126.42/19.10	c (16,0) c Glues_0 : 52
126.42/19.10	c (16,0) c Glues_1 : 43
126.42/19.10	c (16,0) c Glues_2 : 36
126.42/19.10	c (16,0) c Glues_3 : 39
126.42/19.10	c (16,0) c Glues_4 : 30
126.42/19.10	c (16,0) c Glues_5 : 36
126.42/19.10	c (16,0) c Glues_6 : 37
126.42/19.10	c (16,0) c Glues_7 : 33
126.42/19.10	c (16,0) c Glues_total : 306
126.42/19.10	c (16,0) c Glues_winner : 37
126.42/19.10	c (16,0) c RunningTime_0 : 15.384123
126.42/19.10	c (16,0) c RunningTime_1 : 15.074058
126.42/19.10	c (16,0) c RunningTime_2 : 14.843148
126.42/19.10	c (16,0) c RunningTime_3 : 14.799638
126.42/19.10	c (16,0) c RunningTime_4 : 14.801327
126.42/19.10	c (16,0) c RunningTime_5 : 14.870470
126.42/19.10	c (16,0) c RunningTime_6 : 14.795188
126.42/19.10	c (16,0) c RunningTime_7 : 14.854856
126.42/19.10	c (16,0) c RunningTime_total : 119.422809
126.42/19.10	c (16,0) c RunningTime_winner : 14.795188
126.42/19.10	c (16,0) c WaitingTime_0 : 0.000121
126.42/19.10	c (16,0) c WaitingTime_1 : 0.000195
126.42/19.10	c (16,0) c WaitingTime_2 : 0.000194
126.42/19.10	c (16,0) c WaitingTime_3 : 0.000190
126.42/19.10	c (16,0) c WaitingTime_4 : 0.000210
126.42/19.10	c (16,0) c WaitingTime_5 : 0.000192
126.42/19.10	c (16,0) c WaitingTime_6 : 0.000175
126.42/19.10	c (16,0) c WaitingTime_7 : 0.000179
126.42/19.10	c (16,0) c WaitingTime_total : 0.001456
126.42/19.10	c (16,0) c WaitingTime_winner : 0.000175
126.42/19.10	c (16,0) c ExchangingTime_0 : 0.032805
126.42/19.11	c (16,0) c ExchangingTime_1 : 0.032172
126.42/19.11	c (16,0) c ExchangingTime_2 : 0.027138
126.42/19.11	c (16,0) c ExchangingTime_3 : 0.031284
126.42/19.11	c (16,0) c ExchangingTime_4 : 0.030922
126.42/19.11	c (16,0) c ExchangingTime_5 : 0.025994
126.42/19.11	c (16,0) c ExchangingTime_6 : 0.029460
126.42/19.11	c (16,0) c ExchangingTime_7 : 0.033827
126.42/19.11	c (16,0) c ExchangingTime_total : 0.243602
126.42/19.11	c (16,0) c ExchangingTime_winner : 0.029460
126.42/19.11	c (16,0) c PeriodProcTime_0 : 0.001013
126.42/19.11	c (16,0) c PeriodProcTime_1 : 0.001012
126.42/19.11	c (16,0) c PeriodProcTime_2 : 0.001347
126.42/19.11	c (16,0) c PeriodProcTime_3 : 0.001396
126.42/19.11	c (16,0) c PeriodProcTime_4 : 0.001365
126.42/19.11	c (16,0) c PeriodProcTime_5 : 0.000982
126.42/19.11	c (16,0) c PeriodProcTime_6 : 0.000988
126.42/19.11	c (16,0) c PeriodProcTime_7 : 0.001500
126.42/19.11	c (16,0) c PeriodProcTime_total : 0.009604
126.42/19.11	c (16,0) c PeriodProcTime_winner : 0.000988
126.42/19.11	c (16,0) c SolvingTime_0 : 15.418062
126.42/19.11	c (16,0) c SolvingTime_1 : 15.107438
126.42/19.11	c (16,0) c SolvingTime_2 : 14.871827
126.42/19.11	c (16,0) c SolvingTime_3 : 14.832509
126.42/19.11	c (16,0) c SolvingTime_4 : 14.833824
126.42/19.11	c (16,0) c SolvingTime_5 : 14.897638
126.42/19.11	c (16,0) c SolvingTime_6 : 14.825811
126.42/19.11	c (16,0) c SolvingTime_7 : 14.890362
126.42/19.11	c (16,0) c SolvingTime_total : 119.677470
126.42/19.11	c (16,0) c SolvingTime_winner : 14.825811
126.42/19.11	c (16,0) c PropagationTime_0 : 13.066834
126.42/19.11	c (16,0) c PropagationTime_1 : 13.095657
126.42/19.11	c (16,0) c PropagationTime_2 : 12.714939
126.42/19.11	c (16,0) c PropagationTime_3 : 12.717012
126.42/19.11	c (16,0) c PropagationTime_4 : 12.737548
126.42/19.11	c (16,0) c PropagationTime_5 : 12.630922
126.42/19.11	c (16,0) c PropagationTime_6 : 12.622764
126.42/19.11	c (16,0) c PropagationTime_7 : 12.722934
126.42/19.11	c (16,0) c PropagationTime_total : 102.308609
126.42/19.11	c (16,0) c PropagationTime_winner : 12.622764
126.42/19.11	c (16,0) c AnalysisTime_0 : 1.708536
126.42/19.11	c (16,0) c AnalysisTime_1 : 1.407832
126.42/19.11	c (16,0) c AnalysisTime_2 : 1.525173
126.42/19.11	c (16,0) c AnalysisTime_3 : 1.474838
126.42/19.11	c (16,0) c AnalysisTime_4 : 1.478650
126.42/19.11	c (16,0) c AnalysisTime_5 : 1.578415
126.42/19.11	c (16,0) c AnalysisTime_6 : 1.536476
126.42/19.11	c (16,0) c AnalysisTime_7 : 1.537356
126.42/19.11	c (16,0) c AnalysisTime_total : 12.247277
126.42/19.11	c (16,0) c AnalysisTime_winner : 1.536476
126.42/19.11	c (16,0) c ReductionTime_0 : 0.138405
126.42/19.11	c (16,0) c ReductionTime_1 : 0.152530
126.42/19.11	c (16,0) c ReductionTime_2 : 0.164543
126.42/19.11	c (16,0) c ReductionTime_3 : 0.152387
126.42/19.11	c (16,0) c ReductionTime_4 : 0.149566
126.42/19.11	c (16,0) c ReductionTime_5 : 0.150390
126.42/19.11	c (16,0) c ReductionTime_6 : 0.149040
126.42/19.11	c (16,0) c ReductionTime_7 : 0.149962
126.42/19.11	c (16,0) c ReductionTime_total : 1.206823
126.42/19.11	c (16,0) c ReductionTime_winner : 0.149040
126.42/19.11	c (16,0) c SimplifyTime_0 : 0.000013
126.42/19.11	c (16,0) c SimplifyTime_1 : 0.000021
126.42/19.11	c (16,0) c SimplifyTime_2 : 0.000026
126.42/19.11	c (16,0) c SimplifyTime_3 : 0.000028
126.42/19.11	c (16,0) c SimplifyTime_4 : 0.000017
126.42/19.11	c (16,0) c SimplifyTime_5 : 0.000023
126.42/19.11	c (16,0) c SimplifyTime_6 : 0.000015
126.42/19.11	c (16,0) c SimplifyTime_7 : 0.000025
126.42/19.11	c (16,0) c SimplifyTime_total : 0.000169
126.42/19.11	c (16,0) c SimplifyTime_winner : 0.000015
126.42/19.11	c (16,0) c UsedRateTime_0 : 0.000000
126.42/19.11	c (16,0) c UsedRateTime_1 : 0.000000
126.42/19.11	c (16,0) c UsedRateTime_2 : 0.000000
126.42/19.11	c (16,0) c UsedRateTime_3 : 0.000000
126.42/19.11	c (16,0) c UsedRateTime_4 : 0.000000
126.42/19.11	c (16,0) c UsedRateTime_5 : 0.000000
126.42/19.11	c (16,0) c UsedRateTime_6 : 0.000000
126.42/19.11	c (16,0) c UsedRateTime_7 : 0.000000
126.42/19.11	c (16,0) c UsedRateTime_total : 0.000000
126.42/19.11	c (16,0) c UsedRateTime_winner : 0.000000
126.42/19.11	c (16,0) c OverlapRateTime_0 : 0.000000
126.42/19.11	c (16,0) c OverlapRateTime_1 : 0.000000
126.42/19.11	c (16,0) c OverlapRateTime_2 : 0.000000
126.42/19.11	c (16,0) c OverlapRateTime_3 : 0.000000
126.42/19.11	c (16,0) c OverlapRateTime_4 : 0.000000
126.42/19.11	c (16,0) c OverlapRateTime_5 : 0.000000
126.42/19.11	c (16,0) c OverlapRateTime_6 : 0.000000
126.42/19.11	c (16,0) c OverlapRateTime_7 : 0.000000
126.42/19.11	c (16,0) c OverlapRateTime_total : 0.000000
126.42/19.11	c (16,0) c OverlapRateTime_winner : 0.000000
126.42/19.11	c (16,0) c
126.42/19.11	c (16,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
126.42/19.11	c (16,0) c
126.42/19.11	c (16,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
126.42/19.11	c (16,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
126.42/19.11	c (16,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
126.42/19.11	c (16,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
126.42/19.11	c (16,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
126.42/19.11	c (16,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
126.42/19.11	c (16,0) c | Initial random_seed   | 1448888057 | 1885706614 |  839480324 |  697267099 | 1791604595 | 1720508035 | 1374942022 | 1913054008 |
126.42/19.11	c (16,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
126.42/19.11	c (16,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
126.42/19.11	c (16,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
126.42/19.11	c (16,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
126.42/19.11	c (16,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
126.42/19.11	c (16,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
126.42/19.11	c (16,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
126.42/19.11	c (16,0) c | var_decay             |     0.9500 |     0.9400 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
126.42/19.11	c (16,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
126.42/19.11	c (16,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
126.42/19.11	c (16,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
126.42/19.11	c (16,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
126.42/19.11	c (16,0) 
126.42/19.11	c (16,0) s SATISFIABLE
126.58/19.13	c (16,0) SatSolver.solve End
126.58/19.13	c (16,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
126.58/19.13	c (16,0) Show results Begin
126.77/19.23	c (16,0) h[0] = 86
126.77/19.23	c (16,0) h[1] = 54
126.77/19.23	c (16,0) h[2] = 81
126.77/19.23	c (16,0) h[3] = 88
126.77/19.23	c (16,0) h[4] = 117
126.77/19.23	c (16,0) h[5] = 32
126.77/19.23	c (16,0) h[6] = 42
126.77/19.23	c (16,0) h[7] = 15
126.77/19.23	c (16,0) h[8] = 55
126.77/19.23	c (16,0) h[9] = 10
126.77/19.23	c (16,0) h[10] = 78
126.77/19.23	c (16,0) h[11] = 29
126.77/19.23	c (16,0) h[12] = 40
126.77/19.23	c (16,0) h[13] = 49
126.77/19.23	c (16,0) h[14] = 64
126.77/19.23	c (16,0) h[15] = 30
126.77/19.23	c (16,0) h[16] = 34
126.77/19.23	c (16,0) r[0] = 0
126.77/19.23	c (16,0) r[1] = 0
126.77/19.23	c (16,0) r[2] = 0
126.77/19.23	c (16,0) r[3] = 0
126.77/19.23	c (16,0) r[4] = 0
126.77/19.23	c (16,0) r[5] = 0
126.77/19.23	c (16,0) r[6] = 0
126.77/19.23	c (16,0) r[7] = 0
126.77/19.23	c (16,0) r[8] = 0
126.77/19.23	c (16,0) r[9] = 0
126.77/19.23	c (16,0) r[10] = 0
126.77/19.23	c (16,0) r[11] = 0
126.77/19.23	c (16,0) r[12] = 0
126.77/19.23	c (16,0) r[13] = 0
126.77/19.23	c (16,0) r[14] = 0
126.77/19.23	c (16,0) r[15] = 0
126.77/19.23	c (16,0) r[16] = 0
126.77/19.23	c (16,0) w[0] = 35
126.77/19.23	c (16,0) w[1] = 17
126.77/19.23	c (16,0) w[2] = 36
126.77/19.23	c (16,0) w[3] = 70
126.77/19.23	c (16,0) w[4] = 42
126.77/19.23	c (16,0) w[5] = 5
126.77/19.23	c (16,0) w[6] = 12
126.77/19.23	c (16,0) w[7] = 25
126.77/19.23	c (16,0) w[8] = 11
126.77/19.23	c (16,0) w[9] = 40
126.77/19.23	c (16,0) w[10] = 26
126.77/19.23	c (16,0) w[11] = 44
126.77/19.23	c (16,0) w[12] = 77
126.77/19.23	c (16,0) w[13] = 86
126.77/19.23	c (16,0) w[14] = 79
126.77/19.23	c (16,0) w[15] = 9
126.77/19.23	c (16,0) w[16] = 121
126.77/19.23	c (16,0) x[0] = 17
126.77/19.23	c (16,0) x[1] = 0
126.77/19.23	c (16,0) x[2] = 52
126.77/19.23	c (16,0) x[3] = 130
126.77/19.23	c (16,0) x[4] = 88
126.77/19.23	c (16,0) x[5] = 12
126.77/19.23	c (16,0) x[6] = 0
126.77/19.23	c (16,0) x[7] = 52
126.77/19.23	c (16,0) x[8] = 77
126.77/19.23	c (16,0) x[9] = 12
126.77/19.23	c (16,0) x[10] = 174
126.77/19.23	c (16,0) x[11] = 130
126.77/19.23	c (16,0) x[12] = 0
126.77/19.23	c (16,0) x[13] = 88
126.77/19.23	c (16,0) x[14] = 0
126.77/19.23	c (16,0) x[15] = 79
126.77/19.23	c (16,0) x[16] = 79
126.77/19.23	c (16,0) y[0] = 0
126.77/19.23	c (16,0) y[1] = 0
126.77/19.23	c (16,0) y[2] = 0
126.77/19.23	c (16,0) y[3] = 78
126.77/19.23	c (16,0) y[4] = 49
126.77/19.23	c (16,0) y[5] = 54
126.77/19.23	c (16,0) y[6] = 54
126.77/19.23	c (16,0) y[7] = 81
126.77/19.23	c (16,0) y[8] = 81
126.77/19.23	c (16,0) y[9] = 86
126.77/19.23	c (16,0) y[10] = 0
126.77/19.23	c (16,0) y[11] = 49
126.77/19.23	c (16,0) y[12] = 96
126.77/19.23	c (16,0) y[13] = 0
126.77/19.23	c (16,0) y[14] = 136
126.77/19.23	c (16,0) y[15] = 136
126.77/19.23	c (16,0) y[16] = 166
126.77/19.23	s SATISFIABLE
126.77/19.23	v <instantiation>
126.77/19.23	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>
126.77/19.23	v     <values>17 0 52 130 88 12 0 52 77 12 174 130 0 88 0 79 79 0 0 0 78 49 54 54 81 81 86 0 49 96 0 136 136 166 35 17 36 70 42 5 12 25 11 40 26 44 77 86 79 9 121 86 54 81 88 117 32 42 15 55 10 78 29 40 49 64 30 34 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0</values>
126.77/19.23	v </instantiation>
126.77/19.23	c (16,0) Show results End
126.77/19.24	c (16,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 18 MiB used (max 0 MiB)
126.77/19.24	c (16,0) 16,16,STOP-AFTER(ALL)
126.77/19.24	c END-Prog: Sat Sep 14 01:19:19 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 (14857 MiB free)
  memory of node 1: 16384 MiB (15324 MiB free)
  node distances:
     10  21
     21  10

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

solver pid=6963, runsolver pid=6960

[startup+0.10016 s]*
/proc/loadavg: 0.23 0.42 1.01 2/211 6984
/proc/meminfo: memFree=30815316/32770624 swapFree=66940928/67108860
[pid=6963] ppid=6960 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/6963/stat : 6963 (scop.sh) S 6960 6963 6415 0 -1 4202496 557 319 0 0 0 0 0 0 20 0 1 0 417916463 115843072 349 33554432000 4194304 5098028 140731231687600 140731231684856 140380723167868 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 31932416 140731231691556 140731231691884 140731231691884 140731231694797 0
/proc/6963/statm: 28282 349 296 221 0 87 0
[pid=6966] ppid=6963 vsize=27314120 memory=105420 CPUtime=0.08 cores=0-7
/proc/6966/stat : 6966 (java) S 6963 6963 6415 0 -1 1077944320 6413 0 0 0 6 2 0 0 20 0 20 0 417916464 27969658880 26355 33554432000 4194304 4196468 140727619100976 140727619083520 140073523191543 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 11091968 140727619105515 140727619105942 140727619105942 140727619108815 0
/proc/6966/statm: 6828530 26355 2743 1 0 6790935 0
[pid=6966/tid=6967] ppid=6963 vsize=27314120 memory=4134692831991783777 CPUtime=0.07 cores=0-7
/proc/6966/task/6967/stat : 6967 (java) R 6963 6963 6415 0 -1 4202560 4537 0 0 0 5 2 0 0 20 0 20 0 417916464 27969658880 26355 33554432000 4194304 4196468 140727619100976 140073495027552 140072993238765 0 4 2 16800973 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 11091968 140727619105515 140727619105942 140727619105942 140727619108815 0
[pid=6966/tid=6968] ppid=6963 vsize=27314120 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/6966/task/6968/stat : 6968 (java) S 6963 6963 6415 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417916466 27969658880 26355 33554432000 4194304 4196468 140727619100976 140073527433616 140073523201749 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11091968 140727619105515 140727619105942 140727619105942 140727619108815 0
[pid=6966/tid=6969] ppid=6963 vsize=27314120 memory=140471565198976 CPUtime=0 cores=0-7
/proc/6966/task/6969/stat : 6969 (java) S 6963 6963 6415 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417916466 27969658880 26355 33554432000 4194304 4196468 140727619100976 140073341589776 140073523201749 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11091968 140727619105515 140727619105942 140727619105942 140727619108815 0
[pid=6966/tid=6970] ppid=6963 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6966/task/6970/stat : 6970 (java) S 6963 6963 6415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417916467 27969658880 26355 33554432000 4194304 4196468 140727619100976 140073340537488 140073523201749 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11091968 140727619105515 140727619105942 140727619105942 140727619108815 0
[pid=6966/tid=6971] ppid=6963 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6966/task/6971/stat : 6971 (java) S 6963 6963 6415 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417916467 27969658880 26355 33554432000 4194304 4196468 140727619100976 140073339484688 140073523201749 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11091968 140727619105515 140727619105942 140727619105942 140727619108815 0
[pid=6966/tid=6972] ppid=6963 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6966/task/6972/stat : 6972 (java) S 6963 6963 6415 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417916467 27969658880 26355 33554432000 4194304 4196468 140727619100976 140073338432400 140073523201749 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11091968 140727619105515 140727619105942 140727619105942 140727619108815 0
[pid=6966/tid=6973] ppid=6963 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/6966/task/6973/stat : 6973 (java) S 6963 6963 6415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417916467 27969658880 26355 33554432000 4194304 4196468 140727619100976 140073337379600 140073523201749 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11091968 140727619105515 140727619105942 140727619105942 140727619108815 0
[pid=6966/tid=6974] ppid=6963 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6966/task/6974/stat : 6974 (java) S 6963 6963 6415 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417916467 27969658880 26355 33554432000 4194304 4196468 140727619100976 140073336327312 140073523201749 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11091968 140727619105515 140727619105942 140727619105942 140727619108815 0
[pid=6966/tid=6975] ppid=6963 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6966/task/6975/stat : 6975 (java) S 6963 6963 6415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417916467 27969658880 26355 33554432000 4194304 4196468 140727619100976 140073335274512 140073523201749 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11091968 140727619105515 140727619105942 140727619105942 140727619108815 0
[pid=6966/tid=6976] ppid=6963 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6966/task/6976/stat : 6976 (java) S 6963 6963 6415 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417916468 27969658880 26355 33554432000 4194304 4196468 140727619100976 140071910434928 140073523202690 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11091968 140727619105515 140727619105942 140727619105942 140727619108815 0
[pid=6966/tid=6977] ppid=6963 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6966/task/6977/stat : 6977 (java) S 6963 6963 6415 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 417916469 27969658880 26355 33554432000 4194304 4196468 140727619100976 140071432872736 140073523201749 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11091968 140727619105515 140727619105942 140727619105942 140727619108815 0
[pid=6966/tid=6978] ppid=6963 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6966/task/6978/stat : 6978 (java) S 6963 6963 6415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417916469 27969658880 26355 33554432000 4194304 4196468 140727619100976 140071164437616 140073523201749 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11091968 140727619105515 140727619105942 140727619105942 140727619108815 0
[pid=6966/tid=6979] ppid=6963 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6966/task/6979/stat : 6979 (java) S 6963 6963 6415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417916472 27969658880 26355 33554432000 4194304 4196468 140727619100976 140070789929040 140073523210139 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11091968 140727619105515 140727619105942 140727619105942 140727619108815 0
[pid=6966/tid=6980] ppid=6963 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6966/task/6980/stat : 6980 (java) S 6963 6963 6415 0 -1 1077944384 302 0 0 0 0 0 0 0 20 0 20 0 417916472 27969658880 26355 33554432000 4194304 4196468 140727619100976 140071909382768 140073523202690 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11091968 140727619105515 140727619105942 140727619105942 140727619108815 0
[pid=6966/tid=6981] ppid=6963 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6966/task/6981/stat : 6981 (java) S 6963 6963 6415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417916472 27969658880 26355 33554432000 4194304 4196468 140727619100976 140071908329968 140073523202690 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11091968 140727619105515 140727619105942 140727619105942 140727619108815 0
[pid=6966/tid=6982] ppid=6963 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6966/task/6982/stat : 6982 (java) S 6963 6963 6415 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417916472 27969658880 26355 33554432000 4194304 4196468 140727619100976 140071907277680 140073523202690 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11091968 140727619105515 140727619105942 140727619105942 140727619108815 0
[pid=6966/tid=6983] ppid=6963 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6966/task/6983/stat : 6983 (java) S 6963 6963 6415 0 -1 1077944384 236 0 0 0 0 0 0 0 20 0 20 0 417916472 27969658880 26355 33554432000 4194304 4196468 140727619100976 140071906224880 140073523202690 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11091968 140727619105515 140727619105942 140727619105942 140727619108815 0
[pid=6966/tid=6984] ppid=6963 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6966/task/6984/stat : 6984 (java) S 6963 6963 6415 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417916472 27969658880 26355 33554432000 4194304 4196468 140727619100976 140070292023648 140073523201749 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11091968 140727619105515 140727619105942 140727619105942 140727619108815 0
[pid=6966/tid=6985] ppid=6963 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/6966/task/6985/stat : 6985 (java) S 6963 6963 6415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417916473 27969658880 26355 33554432000 4194304 4196468 140727619100976 140071905171760 140073523202690 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11091968 140727619105515 140727619105942 140727619105942 140727619108815 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 106816 KiB

[startup+0.210143 s]*
/proc/loadavg: 0.23 0.42 1.01 2/212 6985
/proc/meminfo: memFree=30785188/32770624 swapFree=66940928/67108860
[pid=6963] ppid=6960 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/6963/stat : 6963 (scop.sh) S 6960 6963 6415 0 -1 4202496 557 319 0 0 0 0 0 0 20 0 1 0 417916463 115843072 349 33554432000 4194304 5098028 140731231687600 140731231684856 140380723167868 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 31932416 140731231691556 140731231691884 140731231691884 140731231694797 0
/proc/6963/statm: 28282 349 296 221 0 87 0
[pid=6966] ppid=6963 vsize=27314120 memory=122880 CPUtime=0.21 cores=0-7
/proc/6966/stat : 6966 (java) S 6963 6963 6415 0 -1 1077944320 11988 0 0 0 17 4 0 0 20 0 20 0 417916464 27969658880 30720 33554432000 4194304 4196468 140727619100976 140727619083520 140073523191543 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 11091968 140727619105515 140727619105942 140727619105942 140727619108815 0
/proc/6966/statm: 6828530 30720 2919 1 0 6790935 0
[pid=6966/tid=6967] ppid=6963 vsize=27314120 memory=8318255677412212789 CPUtime=0.17 cores=0-7
/proc/6966/task/6967/stat : 6967 (java) R 6963 6963 6415 0 -1 4202560 9763 0 0 0 14 3 0 0 20 0 20 0 417916464 27969658880 30720 33554432000 4194304 4196468 140727619100976 140073495005952 140073503466873 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11091968 140727619105515 140727619105942 140727619105942 140727619108815 0
[pid=6966/tid=6968] ppid=6963 vsize=27314120 memory=329 CPUtime=0 cores=0-7
/proc/6966/task/6968/stat : 6968 (java) S 6963 6963 6415 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417916466 27969658880 30720 33554432000 4194304 4196468 140727619100976 140073527433616 140073523201749 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11091968 140727619105515 140727619105942 140727619105942 140727619108815 0
[pid=6966/tid=6969] ppid=6963 vsize=27314120 memory=140471565206193 CPUtime=0 cores=0-7
/proc/6966/task/6969/stat : 6969 (java) S 6963 6963 6415 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417916466 27969658880 30720 33554432000 4194304 4196468 140727619100976 140073341589776 140073523201749 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11091968 140727619105515 140727619105942 140727619105942 140727619108815 0
[pid=6966/tid=6970] ppid=6963 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/6966/task/6970/stat : 6970 (java) S 6963 6963 6415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417916467 27969658880 30720 33554432000 4194304 4196468 140727619100976 140073340537488 140073523201749 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11091968 140727619105515 140727619105942 140727619105942 140727619108815 0
[pid=6966/tid=6971] ppid=6963 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6966/task/6971/stat : 6971 (java) S 6963 6963 6415 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417916467 27969658880 30720 33554432000 4194304 4196468 140727619100976 140073339484688 140073523201749 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11091968 140727619105515 140727619105942 140727619105942 140727619108815 0
[pid=6966/tid=6972] ppid=6963 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6966/task/6972/stat : 6972 (java) S 6963 6963 6415 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417916467 27969658880 30720 33554432000 4194304 4196468 140727619100976 140073338432400 140073523201749 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11091968 140727619105515 140727619105942 140727619105942 140727619108815 0
[pid=6966/tid=6973] ppid=6963 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/6966/task/6973/stat : 6973 (java) S 6963 6963 6415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417916467 27969658880 30720 33554432000 4194304 4196468 140727619100976 140073337379600 140073523201749 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11091968 140727619105515 140727619105942 140727619105942 140727619108815 0
[pid=6966/tid=6974] ppid=6963 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6966/task/6974/stat : 6974 (java) S 6963 6963 6415 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417916467 27969658880 30720 33554432000 4194304 4196468 140727619100976 140073336327312 140073523201749 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11091968 140727619105515 140727619105942 140727619105942 140727619108815 0
[pid=6966/tid=6975] ppid=6963 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6966/task/6975/stat : 6975 (java) S 6963 6963 6415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417916467 27969658880 30720 33554432000 4194304 4196468 140727619100976 140073335274512 140073523201749 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11091968 140727619105515 140727619105942 140727619105942 140727619108815 0
[pid=6966/tid=6976] ppid=6963 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6966/task/6976/stat : 6976 (java) S 6963 6963 6415 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417916468 27969658880 30720 33554432000 4194304 4196468 140727619100976 140071910434928 140073523202690 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11091968 140727619105515 140727619105942 140727619105942 140727619108815 0
[pid=6966/tid=6977] ppid=6963 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6966/task/6977/stat : 6977 (java) S 6963 6963 6415 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 417916469 27969658880 30720 33554432000 4194304 4196468 140727619100976 140071432872736 140073523201749 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11091968 140727619105515 140727619105942 140727619105942 140727619108815 0
[pid=6966/tid=6978] ppid=6963 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6966/task/6978/stat : 6978 (java) S 6963 6963 6415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417916469 27969658880 30720 33554432000 4194304 4196468 140727619100976 140071164437616 140073523201749 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11091968 140727619105515 140727619105942 140727619105942 140727619108815 0
[pid=6966/tid=6979] ppid=6963 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6966/task/6979/stat : 6979 (java) S 6963 6963 6415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417916472 27969658880 30720 33554432000 4194304 4196468 140727619100976 140070789929040 140073523210139 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11091968 140727619105515 140727619105942 140727619105942 140727619108815 0
[pid=6966/tid=6980] ppid=6963 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6966/task/6980/stat : 6980 (java) S 6963 6963 6415 0 -1 1077944384 433 0 0 0 0 0 0 0 20 0 20 0 417916472 27969658880 30720 33554432000 4194304 4196468 140727619100976 140071909382768 140073523202690 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11091968 140727619105515 140727619105942 140727619105942 140727619108815 0
[pid=6966/tid=6981] ppid=6963 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6966/task/6981/stat : 6981 (java) S 6963 6963 6415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417916472 27969658880 30720 33554432000 4194304 4196468 140727619100976 140071908329968 140073523202690 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11091968 140727619105515 140727619105942 140727619105942 140727619108815 0
[pid=6966/tid=6982] ppid=6963 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/6966/task/6982/stat : 6982 (java) S 6963 6963 6415 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417916472 27969658880 30720 33554432000 4194304 4196468 140727619100976 140071907277680 140073523202690 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11091968 140727619105515 140727619105942 140727619105942 140727619108815 0
[pid=6966/tid=6983] ppid=6963 vsize=27314120 memory=-1 CPUtime=0.01 cores=0-7
/proc/6966/task/6983/stat : 6983 (java) S 6963 6963 6415 0 -1 1077944384 448 0 0 0 1 0 0 0 20 0 20 0 417916472 27969658880 30720 33554432000 4194304 4196468 140727619100976 140071906224880 140073523202690 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11091968 140727619105515 140727619105942 140727619105942 140727619108815 0
[pid=6966/tid=6984] ppid=6963 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6966/task/6984/stat : 6984 (java) S 6963 6963 6415 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417916472 27969658880 30720 33554432000 4194304 4196468 140727619100976 140070292023648 140073523201749 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11091968 140727619105515 140727619105942 140727619105942 140727619108815 0
[pid=6966/tid=6985] ppid=6963 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/6966/task/6985/stat : 6985 (java) S 6963 6963 6415 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417916473 27969658880 30720 33554432000 4194304 4196468 140727619100976 140071905171760 140073523202690 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11091968 140727619105515 140727619105942 140727619105942 140727619108815 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 124276 KiB

[startup+0.309452 s]*
/proc/loadavg: 0.23 0.42 1.01 3/212 6985
/proc/meminfo: memFree=30781972/32770624 swapFree=66940928/67108860
[pid=6963] ppid=6960 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/6963/stat : 6963 (scop.sh) S 6960 6963 6415 0 -1 4202496 557 319 0 0 0 0 0 0 20 0 1 0 417916463 115843072 349 33554432000 4194304 5098028 140731231687600 140731231684856 140380723167868 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 31932416 140731231691556 140731231691884 140731231691884 140731231694797 0
/proc/6963/statm: 28282 349 296 221 0 87 0
[pid=6966] ppid=6963 vsize=27314120 memory=129324 CPUtime=0.4 cores=0-7
/proc/6966/stat : 6966 (java) S 6963 6963 6415 0 -1 1077944320 12705 0 0 0 35 5 0 0 20 0 20 0 417916464 27969658880 32331 33554432000 4194304 4196468 140727619100976 140727619083520 140073523191543 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 11091968 140727619105515 140727619105942 140727619105942 140727619108815 0
/proc/6966/statm: 6828530 32331 3021 1 0 6790935 0
[pid=6966/tid=6967] ppid=6963 vsize=27314120 memory=8112282956445269571 CPUtime=0.28 cores=0-7
/proc/6966/task/6967/stat : 6967 (java) R 6963 6963 6415 0 -1 4202560 10235 0 0 0 24 4 0 0 20 0 20 0 417916464 27969658880 32331 33554432000 4194304 4196468 140727619100976 140073495019344 140073507272030 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11091968 140727619105515 140727619105942 140727619105942 140727619108815 0
[pid=6966/tid=6968] ppid=6963 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6966/task/6968/stat : 6968 (java) S 6963 6963 6415 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417916466 27969658880 32331 33554432000 4194304 4196468 140727619100976 140073527433616 140073523201749 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11091968 140727619105515 140727619105942 140727619105942 140727619108815 0
[pid=6966/tid=6969] ppid=6963 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6966/task/6969/stat : 6969 (java) S 6963 6963 6415 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417916466 27969658880 32331 33554432000 4194304 4196468 140727619100976 140073341589776 140073523201749 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11091968 140727619105515 140727619105942 140727619105942 140727619108815 0
[pid=6966/tid=6970] ppid=6963 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6966/task/6970/stat : 6970 (java) S 6963 6963 6415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417916467 27969658880 32331 33554432000 4194304 4196468 140727619100976 140073340537488 140073523201749 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11091968 140727619105515 140727619105942 140727619105942 140727619108815 0
[pid=6966/tid=6971] ppid=6963 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6966/task/6971/stat : 6971 (java) S 6963 6963 6415 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417916467 27969658880 32331 33554432000 4194304 4196468 140727619100976 140073339484688 140073523201749 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11091968 140727619105515 140727619105942 140727619105942 140727619108815 0
[pid=6966/tid=6972] ppid=6963 vsize=27314120 memory=2244 CPUtime=0 cores=0-7
/proc/6966/task/6972/stat : 6972 (java) S 6963 6963 6415 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417916467 27969658880 32331 33554432000 4194304 4196468 140727619100976 140073338432400 140073523201749 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11091968 140727619105515 140727619105942 140727619105942 140727619108815 0
[pid=6966/tid=6973] ppid=6963 vsize=27314120 memory=140471468913583 CPUtime=0 cores=0-7
/proc/6966/task/6973/stat : 6973 (java) S 6963 6963 6415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417916467 27969658880 32331 33554432000 4194304 4196468 140727619100976 140073337379600 140073523201749 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11091968 140727619105515 140727619105942 140727619105942 140727619108815 0
[pid=6966/tid=6974] ppid=6963 vsize=27314120 memory=140471468915888 CPUtime=0 cores=0-7
/proc/6966/task/6974/stat : 6974 (java) S 6963 6963 6415 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417916467 27969658880 32331 33554432000 4194304 4196468 140727619100976 140073336327312 140073523201749 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11091968 140727619105515 140727619105942 140727619105942 140727619108815 0
[pid=6966/tid=6975] ppid=6963 vsize=27314120 memory=140471468918192 CPUtime=0 cores=0-7
/proc/6966/task/6975/stat : 6975 (java) S 6963 6963 6415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417916467 27969658880 32331 33554432000 4194304 4196468 140727619100976 140073335274512 140073523201749 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11091968 140727619105515 140727619105942 140727619105942 140727619108815 0
[pid=6966/tid=6976] ppid=6963 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6966/task/6976/stat : 6976 (java) S 6963 6963 6415 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417916468 27969658880 32331 33554432000 4194304 4196468 140727619100976 140071910434928 140073523202690 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11091968 140727619105515 140727619105942 140727619105942 140727619108815 0
[pid=6966/tid=6977] ppid=6963 vsize=27314120 memory=280942937843344 CPUtime=0 cores=0-7
/proc/6966/task/6977/stat : 6977 (java) S 6963 6963 6415 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 417916469 27969658880 32331 33554432000 4194304 4196468 140727619100976 140071432872736 140073523201749 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11091968 140727619105515 140727619105942 140727619105942 140727619108815 0
[pid=6966/tid=6978] ppid=6963 vsize=27314120 memory=280942937850256 CPUtime=0 cores=0-7
/proc/6966/task/6978/stat : 6978 (java) S 6963 6963 6415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417916469 27969658880 32331 33554432000 4194304 4196468 140727619100976 140071164437616 140073523201749 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11091968 140727619105515 140727619105942 140727619105942 140727619108815 0
[pid=6966/tid=6979] ppid=6963 vsize=27314120 memory=280942937791408 CPUtime=0 cores=0-7
/proc/6966/task/6979/stat : 6979 (java) S 6963 6963 6415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417916472 27969658880 32331 33554432000 4194304 4196468 140727619100976 140070789929040 140073523210139 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11091968 140727619105515 140727619105942 140727619105942 140727619108815 0
[pid=6966/tid=6980] ppid=6963 vsize=27314120 memory=280942937864080 CPUtime=0.01 cores=0-7
/proc/6966/task/6980/stat : 6980 (java) S 6963 6963 6415 0 -1 1077944384 539 0 0 0 1 0 0 0 20 0 20 0 417916472 27969658880 32331 33554432000 4194304 4196468 140727619100976 140071909382768 140073523202690 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11091968 140727619105515 140727619105942 140727619105942 140727619108815 0
[pid=6966/tid=6981] ppid=6963 vsize=27314120 memory=280942937870992 CPUtime=0 cores=0-7
/proc/6966/task/6981/stat : 6981 (java) S 6963 6963 6415 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 417916472 27969658880 32331 33554432000 4194304 4196468 140727619100976 140071908329968 140073523202690 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11091968 140727619105515 140727619105942 140727619105942 140727619108815 0
[pid=6966/tid=6982] ppid=6963 vsize=27314120 memory=280942937868688 CPUtime=0 cores=0-7
/proc/6966/task/6982/stat : 6982 (java) S 6963 6963 6415 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 20 0 417916472 27969658880 32331 33554432000 4194304 4196468 140727619100976 140071907277680 140073523202690 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11091968 140727619105515 140727619105942 140727619105942 140727619108815 0
[pid=6966/tid=6983] ppid=6963 vsize=27314120 memory=280942937884848 CPUtime=0.07 cores=0-7
/proc/6966/task/6983/stat : 6983 (java) S 6963 6963 6415 0 -1 1077944384 501 0 0 0 7 0 0 0 20 0 20 0 417916472 27969658880 32331 33554432000 4194304 4196468 140727619100976 140071906224880 140073523202690 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11091968 140727619105515 140727619105942 140727619105942 140727619108815 0
[pid=6966/tid=6984] ppid=6963 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6966/task/6984/stat : 6984 (java) S 6963 6963 6415 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417916472 27969658880 32331 33554432000 4194304 4196468 140727619100976 140070292023648 140073523201749 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11091968 140727619105515 140727619105942 140727619105942 140727619108815 0
[pid=6966/tid=6985] ppid=6963 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/6966/task/6985/stat : 6985 (java) S 6963 6963 6415 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417916473 27969658880 32331 33554432000 4194304 4196468 140727619100976 140071905171760 140073523202690 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11091968 140727619105515 140727619105942 140727619105942 140727619108815 0
Current children cumulated CPU time: 0.4 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 130720 KiB

[startup+0.700932 s]
/proc/loadavg: 0.23 0.42 1.01 2/212 6985
/proc/meminfo: memFree=30769496/32770624 swapFree=66940928/67108860
[pid=6963] ppid=6960 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/6963/stat : 6963 (scop.sh) S 6960 6963 6415 0 -1 4202496 557 319 0 0 0 0 0 0 20 0 1 0 417916463 115843072 349 33554432000 4194304 5098028 140731231687600 140731231684856 140380723167868 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 31932416 140731231691556 140731231691884 140731231691884 140731231694797 0
/proc/6963/statm: 28282 349 296 221 0 87 0
[pid=6966] ppid=6963 vsize=27320392 memory=164400 CPUtime=0.94 cores=0-7
/proc/6966/stat : 6966 (java) S 6963 6963 6415 0 -1 1077944320 20277 0 0 0 87 7 0 0 20 0 20 0 417916464 27976081408 41100 33554432000 4194304 4196468 140727619100976 140727619083520 140073523191543 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 11091968 140727619105515 140727619105942 140727619105942 140727619108815 0
/proc/6966/statm: 6830098 41100 3188 1 0 6791447 0
[pid=6966/tid=6967] ppid=6963 vsize=27320392 memory=280942938242736 CPUtime=0.66 cores=0-7
/proc/6966/task/6967/stat : 6967 (java) R 6963 6963 6415 0 -1 4202560 17269 0 0 0 60 6 0 0 20 0 20 0 417916464 27976081408 41100 33554432000 4194304 4196468 140727619100976 140073495027584 140073523215133 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11091968 140727619105515 140727619105942 140727619105942 140727619108815 0
[pid=6966/tid=6968] ppid=6963 vsize=27320392 memory=140471469122416 CPUtime=0 cores=0-7
/proc/6966/task/6968/stat : 6968 (java) S 6963 6963 6415 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417916466 27976081408 41100 33554432000 4194304 4196468 140727619100976 140073527433616 140073523201749 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11091968 140727619105515 140727619105942 140727619105942 140727619108815 0
[pid=6966/tid=6969] ppid=6963 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/6966/task/6969/stat : 6969 (java) S 6963 6963 6415 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417916466 27976081408 41100 33554432000 4194304 4196468 140727619100976 140073341589776 140073523201749 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11091968 140727619105515 140727619105942 140727619105942 140727619108815 0
[pid=6966/tid=6970] ppid=6963 vsize=27320392 memory=5980 CPUtime=0 cores=0-7
/proc/6966/task/6970/stat : 6970 (java) S 6963 6963 6415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417916467 27976081408 41100 33554432000 4194304 4196468 140727619100976 140073340537488 140073523201749 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11091968 140727619105515 140727619105942 140727619105942 140727619108815 0

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

/proc/6986/task/6991/stat : 6991 (java) S 6963 6963 6415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 417916722 8616062976 29727 33554432000 4194304 4196468 140732317663040 140122584038416 140122781742805 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25202688 140732317664248 140732317664406 140732317664406 140732317667279 0
[pid=6986/tid=6992] ppid=6963 vsize=8414124 memory=2832 CPUtime=0 cores=0-7
/proc/6986/task/6992/stat : 6992 (java) S 6963 6963 6415 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 417916722 8616062976 29727 33554432000 4194304 4196468 140732317663040 140122582985104 140122781742805 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25202688 140732317664248 140732317664406 140732317664406 140732317667279 0
[pid=6986/tid=6993] ppid=6963 vsize=8414124 memory=14012 CPUtime=0 cores=0-7
/proc/6986/task/6993/stat : 6993 (java) S 6963 6963 6415 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 417916722 8616062976 29727 33554432000 4194304 4196468 140732317663040 140122581932304 140122781742805 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25202688 140732317664248 140732317664406 140732317664406 140732317667279 0
[pid=6986/tid=6994] ppid=6963 vsize=8414124 memory=2112 CPUtime=0 cores=0-7
/proc/6986/task/6994/stat : 6994 (java) S 6963 6963 6415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 417916722 8616062976 29727 33554432000 4194304 4196468 140732317663040 140122580880016 140122781742805 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25202688 140732317664248 140732317664406 140732317664406 140732317667279 0
[pid=6986/tid=6995] ppid=6963 vsize=8414124 memory=12040 CPUtime=0 cores=0-7
/proc/6986/task/6995/stat : 6995 (java) S 6963 6963 6415 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 417916722 8616062976 29727 33554432000 4194304 4196468 140732317663040 140122579827216 140122781742805 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25202688 140732317664248 140732317664406 140732317664406 140732317667279 0
[pid=6986/tid=6996] ppid=6963 vsize=8414124 memory=23876 CPUtime=0 cores=0-7
/proc/6986/task/6996/stat : 6996 (java) S 6963 6963 6415 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 417916723 8616062976 29727 33554432000 4194304 4196468 140732317663040 140122143611504 140122781743746 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25202688 140732317664248 140732317664406 140732317664406 140732317667279 0
[pid=6986/tid=6997] ppid=6963 vsize=8414124 memory=1556 CPUtime=0 cores=0-7
/proc/6986/task/6997/stat : 6997 (java) S 6963 6963 6415 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 417916724 8616062976 29727 33554432000 4194304 4196468 140732317663040 140121227650336 140122781742805 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25202688 140732317664248 140732317664406 140732317664406 140732317667279 0
[pid=6986/tid=6998] ppid=6963 vsize=8414124 memory=532 CPUtime=0 cores=0-7
/proc/6986/task/6998/stat : 6998 (java) S 6963 6963 6415 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 417916724 8616062976 29727 33554432000 4194304 4196468 140732317663040 140121093428848 140122781742805 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25202688 140732317664248 140732317664406 140732317664406 140732317667279 0
[pid=6986/tid=6999] ppid=6963 vsize=8414124 memory=280942937993920 CPUtime=0 cores=0-7
/proc/6986/task/6999/stat : 6999 (java) S 6963 6963 6415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 417916726 8616062976 29727 33554432000 4194304 4196468 140732317663040 140120718924368 140122781751195 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25202688 140732317664248 140732317664406 140732317664406 140732317667279 0
[pid=6986/tid=7000] ppid=6963 vsize=8414124 memory=7667467887386913120 CPUtime=0.04 cores=0-7
/proc/6986/task/7000/stat : 7000 (java) S 6963 6963 6415 0 -1 1077944384 453 0 0 0 4 0 0 0 20 0 24 0 417916726 8616062976 29727 33554432000 4194304 4196468 140732317663040 140122142558320 140122781743746 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25202688 140732317664248 140732317664406 140732317664406 140732317667279 0
[pid=6986/tid=7001] ppid=6963 vsize=8414124 memory=7667467887386913120 CPUtime=0.07 cores=0-7
/proc/6986/task/7001/stat : 7001 (java) S 6963 6963 6415 0 -1 1077944384 448 0 0 0 7 0 0 0 20 0 24 0 417916726 8616062976 29727 33554432000 4194304 4196468 140732317663040 140122141505520 140122781743746 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25202688 140732317664248 140732317664406 140732317664406 140732317667279 0
[pid=6986/tid=7002] ppid=6963 vsize=8414124 memory=7667467887386913120 CPUtime=0.08 cores=0-7
/proc/6986/task/7002/stat : 7002 (java) S 6963 6963 6415 0 -1 1077944384 269 0 0 0 8 0 0 0 20 0 24 0 417916726 8616062976 29727 33554432000 4194304 4196468 140732317663040 140122140453232 140122781743746 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25202688 140732317664248 140732317664406 140732317664406 140732317667279 0
[pid=6986/tid=7003] ppid=6963 vsize=8414124 memory=60215441503937 CPUtime=0.21 cores=0-7
/proc/6986/task/7003/stat : 7003 (java) S 6963 6963 6415 0 -1 1077944384 570 0 0 0 21 0 0 0 20 0 24 0 417916726 8616062976 29727 33554432000 4194304 4196468 140732317663040 140122139400432 140122781743746 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25202688 140732317664248 140732317664406 140732317664406 140732317667279 0
[pid=6986/tid=7004] ppid=6963 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/6986/task/7004/stat : 7004 (java) S 6963 6963 6415 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 417916726 8616062976 29727 33554432000 4194304 4196468 140732317663040 140120221018976 140122781742805 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25202688 140732317664248 140732317664406 140732317664406 140732317667279 0
[pid=6986/tid=7005] ppid=6963 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/6986/task/7005/stat : 7005 (java) S 6963 6963 6415 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 417916727 8616062976 29727 33554432000 4194304 4196468 140732317663040 140122138348336 140122781743746 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25202688 140732317664248 140732317664406 140732317664406 140732317667279 0
[pid=6986/tid=7007] ppid=6963 vsize=8414124 memory=140471469898528 CPUtime=0 cores=0-7
/proc/6986/task/7007/stat : 7007 (java) S 6963 6963 6415 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 417916795 8616062976 29727 33554432000 4194304 4196468 140732317663040 140122130315072 140122781757209 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 25202688 140732317664248 140732317664406 140732317664406 140732317667279 0
[pid=6986/tid=7009] ppid=6963 vsize=8414124 memory=8028674168966910323 CPUtime=0 cores=0-7
/proc/6986/task/7009/stat : 7009 (java) S 6963 6963 6415 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 24 0 417916795 8616062976 29727 33554432000 4194304 4196468 140732317663040 140119549918608 140122781754525 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 25202688 140732317664248 140732317664406 140732317664406 140732317667279 0
[pid=6986/tid=7010] ppid=6963 vsize=8414124 memory=29838839473386 CPUtime=0 cores=0-7
/proc/6986/task/7010/stat : 7010 (java) S 6963 6963 6415 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 417916795 8616062976 29727 33554432000 4194304 4196468 140732317663040 140119818353936 140122781754525 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 25202688 140732317664248 140732317664406 140732317664406 140732317667279 0
[pid=6986/tid=7011] ppid=6963 vsize=8414124 memory=29843134440682 CPUtime=0 cores=0-7
/proc/6986/task/7011/stat : 7011 (java) S 6963 6963 6415 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 417916797 8616062976 29727 33554432000 4194304 4196468 140732317663040 140119281491248 140122781742805 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25202688 140732317664248 140732317664406 140732317664406 140732317667279 0
Current children cumulated CPU time: 124.64 s
Current children cumulated vsize: 9227400 KiB
Current children cumulated memory: 454024 KiB

[startup+18.8011 s]
/proc/loadavg: 2.28 0.87 1.14 9/225 7020
/proc/meminfo: memFree=30468456/32770624 swapFree=66940928/67108860
[pid=6963] ppid=6960 vsize=113128 memory=1476 CPUtime=5.67 cores=0-7
/proc/6963/stat : 6963 (scop.sh) S 6960 6963 6415 0 -1 4202496 583 28033 0 0 0 0 546 21 20 0 1 0 417916463 115843072 369 33554432000 4194304 5098028 140731231687600 140731231684344 140380723167868 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 31932416 140731231691556 140731231691884 140731231691884 140731231694797 0
/proc/6963/statm: 28282 369 311 221 0 87 0
[pid=6986] ppid=6963 vsize=8414124 memory=118908 CPUtime=1.23 cores=0-7
/proc/6986/stat : 6986 (java) S 6963 6963 6415 0 -1 1077944320 20175 0 0 0 116 7 0 0 20 0 24 0 417916720 8616062976 29727 33554432000 4194304 4196468 140732317663040 140732317645584 140122781732599 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 25202688 140732317664248 140732317664406 140732317664406 140732317667279 0
/proc/6986/statm: 2103531 29727 3211 1 0 2064875 0
[pid=7006] ppid=6986 vsize=700148 memory=333908 CPUtime=119.31 cores=0-7
/proc/7006/stat : 7006 (manyglucose-4.1) S 6986 6963 6415 0 -1 1077944320 152261 0 0 0 11892 39 0 0 20 0 2 0 417916795 716951552 83477 33554432000 4194304 4454172 140721290080928 140721290079312 140071285673719 0 4 0 8388610 18446744073709551615 0 0 17 5 0 0 0 0 0 6552832 6554400 13336576 140721290089322 140721290089520 140721290089520 140721290092474 0
/proc/7006/statm: 175037 83477 415 64 0 170705 0
[pid=7006/tid=7012] ppid=6986 vsize=700148 memory=7308047427541494634 CPUtime=15.11 cores=0-7
/proc/7006/task/7012/stat : 7012 (manyglucose-4.1) R 6986 6963 6415 0 -1 4202560 15083 0 0 0 1506 5 0 0 20 0 2 0 417916830 716951552 83477 33554432000 4194304 4454172 140721290080928 140071264324456 4350887 0 4 0 8388610 0 0 0 -1 6 0 0 0 0 0 6552832 6554400 13336576 140721290089322 140721290089520 140721290089520 140721290092474 0
[pid=6986/tid=6987] ppid=6963 vsize=8414124 memory=55 CPUtime=0.77 cores=0-7
/proc/6986/task/6987/stat : 6987 (java) S 6963 6963 6415 0 -1 1077944384 17012 0 0 0 72 5 0 0 20 0 24 0 417916720 8616062976 29727 33554432000 4194304 4196468 140732317663040 140122753572768 140122781742805 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25202688 140732317664248 140732317664406 140732317664406 140732317667279 0
[pid=6986/tid=6988] ppid=6963 vsize=8414124 memory=301741420688025366 CPUtime=0 cores=0-7
/proc/6986/task/6988/stat : 6988 (java) S 6963 6963 6415 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 417916722 8616062976 29727 33554432000 4194304 4196468 140732317663040 140122785975184 140122781742805 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25202688 140732317664248 140732317664406 140732317664406 140732317667279 0
[pid=6986/tid=6989] ppid=6963 vsize=8414124 memory=14979957711284084 CPUtime=0 cores=0-7
/proc/6986/task/6989/stat : 6989 (java) S 6963 6963 6415 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 417916722 8616062976 29727 33554432000 4194304 4196468 140732317663040 140122586143504 140122781742805 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25202688 140732317664248 140732317664406 140732317664406 140732317667279 0
[pid=6986/tid=6990] ppid=6963 vsize=8414124 memory=7754433682326382390 CPUtime=0 cores=0-7
/proc/6986/task/6990/stat : 6990 (java) S 6963 6963 6415 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 417916722 8616062976 29727 33554432000 4194304 4196468 140732317663040 140122585091216 140122781742805 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25202688 140732317664248 140732317664406 140732317664406 140732317667279 0
[pid=6986/tid=6991] ppid=6963 vsize=8414124 memory=734122169372653366 CPUtime=0 cores=0-7
/proc/6986/task/6991/stat : 6991 (java) S 6963 6963 6415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 417916722 8616062976 29727 33554432000 4194304 4196468 140732317663040 140122584038416 140122781742805 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25202688 140732317664248 140732317664406 140732317664406 140732317667279 0
[pid=6986/tid=6992] ppid=6963 vsize=8414124 memory=3048982524204909366 CPUtime=0 cores=0-7
/proc/6986/task/6992/stat : 6992 (java) S 6963 6963 6415 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 417916722 8616062976 29727 33554432000 4194304 4196468 140732317663040 140122582985104 140122781742805 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25202688 140732317664248 140732317664406 140732317664406 140732317667279 0
[pid=6986/tid=6993] ppid=6963 vsize=8414124 memory=6933963034270525750 CPUtime=0 cores=0-7
/proc/6986/task/6993/stat : 6993 (java) S 6963 6963 6415 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 417916722 8616062976 29727 33554432000 4194304 4196468 140732317663040 140122581932304 140122781742805 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25202688 140732317664248 140732317664406 140732317664406 140732317667279 0
[pid=6986/tid=6994] ppid=6963 vsize=8414124 memory=6933963034270525750 CPUtime=0 cores=0-7
/proc/6986/task/6994/stat : 6994 (java) S 6963 6963 6415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 417916722 8616062976 29727 33554432000 4194304 4196468 140732317663040 140122580880016 140122781742805 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25202688 140732317664248 140732317664406 140732317664406 140732317667279 0
[pid=6986/tid=6995] ppid=6963 vsize=8414124 memory=4273986798451726646 CPUtime=0 cores=0-7
/proc/6986/task/6995/stat : 6995 (java) S 6963 6963 6415 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 417916722 8616062976 29727 33554432000 4194304 4196468 140732317663040 140122579827216 140122781742805 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25202688 140732317664248 140732317664406 140732317664406 140732317667279 0
[pid=6986/tid=6996] ppid=6963 vsize=8414124 memory=7230087655002158656 CPUtime=0 cores=0-7
/proc/6986/task/6996/stat : 6996 (java) S 6963 6963 6415 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 417916723 8616062976 29727 33554432000 4194304 4196468 140732317663040 140122143611504 140122781743746 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25202688 140732317664248 140732317664406 140732317664406 140732317667279 0
[pid=6986/tid=6997] ppid=6963 vsize=8414124 memory=-7100413572893166016 CPUtime=0 cores=0-7
/proc/6986/task/6997/stat : 6997 (java) S 6963 6963 6415 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 417916724 8616062976 29727 33554432000 4194304 4196468 140732317663040 140121227650336 140122781742805 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25202688 140732317664248 140732317664406 140732317664406 140732317667279 0
[pid=6986/tid=6998] ppid=6963 vsize=8414124 memory=6933963034270918710 CPUtime=0 cores=0-7
/proc/6986/task/6998/stat : 6998 (java) S 6963 6963 6415 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 417916724 8616062976 29727 33554432000 4194304 4196468 140732317663040 140121093428848 140122781742805 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25202688 140732317664248 140732317664406 140732317664406 140732317667279 0
[pid=6986/tid=6999] ppid=6963 vsize=8414124 memory=6372431188853145703 CPUtime=0 cores=0-7
/proc/6986/task/6999/stat : 6999 (java) S 6963 6963 6415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 417916726 8616062976 29727 33554432000 4194304 4196468 140732317663040 140120718924368 140122781751195 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25202688 140732317664248 140732317664406 140732317664406 140732317667279 0
[pid=6986/tid=7000] ppid=6963 vsize=8414124 memory=4630388250047299687 CPUtime=0.04 cores=0-7
/proc/6986/task/7000/stat : 7000 (java) S 6963 6963 6415 0 -1 1077944384 453 0 0 0 4 0 0 0 20 0 24 0 417916726 8616062976 29727 33554432000 4194304 4196468 140732317663040 140122142558320 140122781743746 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25202688 140732317664248 140732317664406 140732317664406 140732317667279 0
[pid=6986/tid=7001] ppid=6963 vsize=8414124 memory=6442775902673278124 CPUtime=0.07 cores=0-7
/proc/6986/task/7001/stat : 7001 (java) S 6963 6963 6415 0 -1 1077944384 448 0 0 0 7 0 0 0 20 0 24 0 417916726 8616062976 29727 33554432000 4194304 4196468 140732317663040 140122141505520 140122781743746 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25202688 140732317664248 140732317664406 140732317664406 140732317667279 0
[pid=6986/tid=7002] ppid=6963 vsize=8414124 memory=6442775902673278124 CPUtime=0.08 cores=0-7
/proc/6986/task/7002/stat : 7002 (java) S 6963 6963 6415 0 -1 1077944384 269 0 0 0 8 0 0 0 20 0 24 0 417916726 8616062976 29727 33554432000 4194304 4196468 140732317663040 140122140453232 140122781743746 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25202688 140732317664248 140732317664406 140732317664406 140732317667279 0
[pid=6986/tid=7003] ppid=6963 vsize=8414124 memory=6442775902673278124 CPUtime=0.21 cores=0-7
/proc/6986/task/7003/stat : 7003 (java) S 6963 6963 6415 0 -1 1077944384 570 0 0 0 21 0 0 0 20 0 24 0 417916726 8616062976 29727 33554432000 4194304 4196468 140732317663040 140122139400432 140122781743746 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25202688 140732317664248 140732317664406 140732317664406 140732317667279 0
[pid=6986/tid=7004] ppid=6963 vsize=8414124 memory=6442775902673278124 CPUtime=0 cores=0-7
/proc/6986/task/7004/stat : 7004 (java) S 6963 6963 6415 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 417916726 8616062976 29727 33554432000 4194304 4196468 140732317663040 140120221018976 140122781742805 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25202688 140732317664248 140732317664406 140732317664406 140732317667279 0
[pid=6986/tid=7005] ppid=6963 vsize=8414124 memory=6442775902673278124 CPUtime=0 cores=0-7
/proc/6986/task/7005/stat : 7005 (java) S 6963 6963 6415 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 417916727 8616062976 29727 33554432000 4194304 4196468 140732317663040 140122138348336 140122781743746 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25202688 140732317664248 140732317664406 140732317664406 140732317667279 0
[pid=6986/tid=7007] ppid=6963 vsize=8414124 memory=6442775902673278124 CPUtime=0 cores=0-7
/proc/6986/task/7007/stat : 7007 (java) S 6963 6963 6415 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 417916795 8616062976 29727 33554432000 4194304 4196468 140732317663040 140122130315072 140122781757209 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 25202688 140732317664248 140732317664406 140732317664406 140732317667279 0
[pid=6986/tid=7009] ppid=6963 vsize=8414124 memory=6442775902673278124 CPUtime=0 cores=0-7
/proc/6986/task/7009/stat : 7009 (java) S 6963 6963 6415 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 24 0 417916795 8616062976 29727 33554432000 4194304 4196468 140732317663040 140119549918608 140122781754525 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 25202688 140732317664248 140732317664406 140732317664406 140732317667279 0
[pid=6986/tid=7010] ppid=6963 vsize=8414124 memory=6442775902673278124 CPUtime=0 cores=0-7
/proc/6986/task/7010/stat : 7010 (java) S 6963 6963 6415 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 417916795 8616062976 29727 33554432000 4194304 4196468 140732317663040 140119818353936 140122781754525 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 25202688 140732317664248 140732317664406 140732317664406 140732317667279 0
[pid=6986/tid=7011] ppid=6963 vsize=8414124 memory=9033979700 CPUtime=0 cores=0-7
/proc/6986/task/7011/stat : 7011 (java) S 6963 6963 6415 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 417916797 8616062976 29727 33554432000 4194304 4196468 140732317663040 140119281491248 140122781742805 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25202688 140732317664248 140732317664406 140732317664406 140732317667279 0
Current children cumulated CPU time: 126.21 s
Current children cumulated vsize: 9227400 KiB
Current children cumulated memory: 454292 KiB

[startup+19.201 s]
/proc/loadavg: 2.28 0.87 1.14 2/218 7020
/proc/meminfo: memFree=30465788/32770624 swapFree=66940928/67108860
[pid=6963] ppid=6960 vsize=113128 memory=1476 CPUtime=5.67 cores=0-7
/proc/6963/stat : 6963 (scop.sh) S 6960 6963 6415 0 -1 4202496 583 28033 0 0 0 0 546 21 20 0 1 0 417916463 115843072 369 33554432000 4194304 5098028 140731231687600 140731231684344 140380723167868 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 31932416 140731231691556 140731231691884 140731231691884 140731231694797 0
/proc/6963/statm: 28282 369 311 221 0 87 0
[pid=6986] ppid=6963 vsize=8283048 memory=126436 CPUtime=121.1 cores=0-7
/proc/6986/stat : 6986 (java) S 6963 6963 6415 0 -1 1077944320 21166 152280 0 0 142 7 11921 40 20 0 22 0 417916720 8481841152 31609 33554432000 4194304 4196468 140732317663040 140732317645584 140122781732599 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 25202688 140732317664248 140732317664406 140732317664406 140732317667279 0
/proc/6986/statm: 2070762 31609 3224 1 0 2032106 0
[pid=6986/tid=6987] ppid=6963 vsize=8283048 memory=235680 CPUtime=120.45 cores=0-7
/proc/6986/task/6987/stat : 6987 (java) R 6963 6963 6415 0 -1 4202560 17215 152280 0 0 79 5 11921 40 20 0 22 0 417916720 8481841152 31609 33554432000 4194304 4196468 140732317663040 140122753555536 140122765776229 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 25202688 140732317664248 140732317664406 140732317664406 140732317667279 0
[pid=6986/tid=6988] ppid=6963 vsize=8283048 memory=8112282956445269571 CPUtime=119.61 cores=0-7
/proc/6986/task/6988/stat : 6988 (java) S 6963 6963 6415 0 -1 1077944384 2 152280 0 0 0 0 11921 40 20 0 22 0 417916722 8481841152 31609 33554432000 4194304 4196468 140732317663040 140122785975184 140122781742805 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25202688 140732317664248 140732317664406 140732317664406 140732317667279 0
[pid=6986/tid=6989] ppid=6963 vsize=8283048 memory=7667467887386913120 CPUtime=119.61 cores=0-7
/proc/6986/task/6989/stat : 6989 (java) S 6963 6963 6415 0 -1 1077944384 2 152280 0 0 0 0 11921 40 20 0 22 0 417916722 8481841152 31609 33554432000 4194304 4196468 140732317663040 140122586143504 140122781742805 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25202688 140732317664248 140732317664406 140732317664406 140732317667279 0
[pid=6986/tid=6990] ppid=6963 vsize=8283048 memory=7309167735352552301 CPUtime=119.61 cores=0-7
/proc/6986/task/6990/stat : 6990 (java) S 6963 6963 6415 0 -1 1077944384 2 152280 0 0 0 0 11921 40 20 0 22 0 417916722 8481841152 31609 33554432000 4194304 4196468 140732317663040 140122585091216 140122781742805 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25202688 140732317664248 140732317664406 140732317664406 140732317667279 0
[pid=6986/tid=6991] ppid=6963 vsize=8283048 memory=7667467887353228649 CPUtime=119.61 cores=0-7
/proc/6986/task/6991/stat : 6991 (java) S 6963 6963 6415 0 -1 1077944384 1 152280 0 0 0 0 11921 40 20 0 22 0 417916722 8481841152 31609 33554432000 4194304 4196468 140732317663040 140122584038416 140122781742805 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25202688 140732317664248 140732317664406 140732317664406 140732317667279 0
[pid=6986/tid=6992] ppid=6963 vsize=8283048 memory=5792262870373781584 CPUtime=119.61 cores=0-7
/proc/6986/task/6992/stat : 6992 (java) S 6963 6963 6415 0 -1 1077944384 2 152280 0 0 0 0 11921 40 20 0 22 0 417916722 8481841152 31609 33554432000 4194304 4196468 140732317663040 140122582985104 140122781742805 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25202688 140732317664248 140732317664406 140732317664406 140732317667279 0
[pid=6986/tid=6993] ppid=6963 vsize=8283048 memory=-4075877051373423738 CPUtime=119.61 cores=0-7
/proc/6986/task/6993/stat : 6993 (java) S 6963 6963 6415 0 -1 1077944384 2 152280 0 0 0 0 11921 40 20 0 22 0 417916722 8481841152 31609 33554432000 4194304 4196468 140732317663040 140122581932304 140122781742805 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25202688 140732317664248 140732317664406 140732317664406 140732317667279 0
[pid=6986/tid=6994] ppid=6963 vsize=8283048 memory=1476 CPUtime=119.61 cores=0-7
/proc/6986/task/6994/stat : 6994 (java) S 6963 6963 6415 0 -1 1077944384 1 152280 0 0 0 0 11921 40 20 0 22 0 417916722 8481841152 31609 33554432000 4194304 4196468 140732317663040 140122580880016 140122781742805 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25202688 140732317664248 140732317664406 140732317664406 140732317667279 0
[pid=6986/tid=6995] ppid=6963 vsize=8283048 memory=118908 CPUtime=119.61 cores=0-7
/proc/6986/task/6995/stat : 6995 (java) S 6963 6963 6415 0 -1 1077944384 3 152280 0 0 0 0 11921 40 20 0 22 0 417916722 8481841152 31609 33554432000 4194304 4196468 140732317663040 140122579827216 140122781742805 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25202688 140732317664248 140732317664406 140732317664406 140732317667279 0
[pid=6986/tid=6996] ppid=6963 vsize=8283048 memory=182188 CPUtime=119.61 cores=0-7
/proc/6986/task/6996/stat : 6996 (java) S 6963 6963 6415 0 -1 1077944384 7 152280 0 0 0 0 11921 40 20 0 22 0 417916723 8481841152 31609 33554432000 4194304 4196468 140732317663040 140122143611504 140122781743746 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25202688 140732317664248 140732317664406 140732317664406 140732317667279 0
[pid=6986/tid=6997] ppid=6963 vsize=8283048 memory=0 CPUtime=119.61 cores=0-7
/proc/6986/task/6997/stat : 6997 (java) S 6963 6963 6415 0 -1 1077944384 13 152280 0 0 0 0 11921 40 20 0 22 0 417916724 8481841152 31609 33554432000 4194304 4196468 140732317663040 140121227650336 140122781742805 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25202688 140732317664248 140732317664406 140732317664406 140732317667279 0
[pid=6986/tid=6998] ppid=6963 vsize=8283048 memory=0 CPUtime=119.61 cores=0-7
/proc/6986/task/6998/stat : 6998 (java) S 6963 6963 6415 0 -1 1077944384 21 152280 0 0 0 0 11921 40 20 0 22 0 417916724 8481841152 31609 33554432000 4194304 4196468 140732317663040 140121093428848 140122781742805 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25202688 140732317664248 140732317664406 140732317664406 140732317667279 0
[pid=6986/tid=6999] ppid=6963 vsize=8283048 memory=0 CPUtime=119.61 cores=0-7
/proc/6986/task/6999/stat : 6999 (java) S 6963 6963 6415 0 -1 1077944384 1 152280 0 0 0 0 11921 40 20 0 22 0 417916726 8481841152 31609 33554432000 4194304 4196468 140732317663040 140120718924368 140122781751195 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25202688 140732317664248 140732317664406 140732317664406 140732317667279 0
[pid=6986/tid=7000] ppid=6963 vsize=8283048 memory=1476 CPUtime=119.68 cores=0-7
/proc/6986/task/7000/stat : 7000 (java) R 6963 6963 6415 0 -1 4202560 567 152280 0 0 7 0 11921 40 20 0 22 0 417916726 8481841152 31609 33554432000 4194304 4196468 140732317663040 140122142536848 140122759327351 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25202688 140732317664248 140732317664406 140732317664406 140732317667279 0
[pid=6986/tid=7001] ppid=6963 vsize=8283048 memory=118908 CPUtime=119.71 cores=0-7
/proc/6986/task/7001/stat : 7001 (java) R 6963 6963 6415 0 -1 4202560 495 152280 0 0 10 0 11921 40 20 0 22 0 417916726 8481841152 31609 33554432000 4194304 4196468 140732317663040 140122141505520 140122762910614 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25202688 140732317664248 140732317664406 140732317664406 140732317667279 0
[pid=6986/tid=7002] ppid=6963 vsize=8283048 memory=314360 CPUtime=119.72 cores=0-7
/proc/6986/task/7002/stat : 7002 (java) R 6963 6963 6415 0 -1 4202560 449 152280 0 0 11 0 11921 40 20 0 22 0 417916726 8481841152 31609 33554432000 4194304 4196468 140732317663040 140122140438304 140122759327344 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25202688 140732317664248 140732317664406 140732317664406 140732317667279 0
[pid=6986/tid=7003] ppid=6963 vsize=8283048 memory=1476 CPUtime=119.88 cores=0-7
/proc/6986/task/7003/stat : 7003 (java) R 6963 6963 6415 0 -1 4202560 950 152280 0 0 27 0 11921 40 20 0 22 0 417916726 8481841152 31609 33554432000 4194304 4196468 140732317663040 140122139400432 140122774829435 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25202688 140732317664248 140732317664406 140732317664406 140732317667279 0
[pid=6986/tid=7004] ppid=6963 vsize=8283048 memory=118908 CPUtime=119.61 cores=0-7
/proc/6986/task/7004/stat : 7004 (java) S 6963 6963 6415 0 -1 1077944384 3 152280 0 0 0 0 11921 40 20 0 22 0 417916726 8481841152 31609 33554432000 4194304 4196468 140732317663040 140120221018976 140122781742805 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25202688 140732317664248 140732317664406 140732317664406 140732317667279 0
[pid=6986/tid=7005] ppid=6963 vsize=8283048 memory=314096 CPUtime=119.61 cores=0-7
/proc/6986/task/7005/stat : 7005 (java) S 6963 6963 6415 0 -1 1077944384 3 152280 0 0 0 0 11921 40 20 0 22 0 417916727 8481841152 31609 33554432000 4194304 4196468 140732317663040 140122138348336 140122781743746 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25202688 140732317664248 140732317664406 140732317664406 140732317667279 0
[pid=6986/tid=7007] ppid=6963 vsize=8283048 memory=170475841926812 CPUtime=119.61 cores=0-7
/proc/6986/task/7007/stat : 7007 (java) S 6963 6963 6415 0 -1 1077944384 34 152280 0 0 0 0 11921 40 20 0 22 0 417916795 8481841152 31609 33554432000 4194304 4196468 140732317663040 140122130314256 140122781743746 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25202688 140732317664248 140732317664406 140732317664406 140732317667279 0
[pid=6986/tid=7011] ppid=6963 vsize=8283048 memory=0 CPUtime=119.61 cores=0-7
/proc/6986/task/7011/stat : 7011 (java) S 6963 6963 6415 0 -1 1077944384 21 152280 0 0 0 0 11921 40 20 0 22 0 417916797 8481841152 31609 33554432000 4194304 4196468 140732317663040 140119281493040 140122781743746 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25202688 140732317664248 140732317664406 140732317664406 140732317667279 0
Current children cumulated CPU time: 126.77 s
Current children cumulated vsize: 8396176 KiB
Current children cumulated memory: 127912 KiB

Child status: 0
Real time (s): 19.254
CPU time (s): 126.926
CPU user time (s): 126.198
CPU system time (s): 0.728301
CPU usage (%): 659.222
Max. virtual memory (cumulated for all children) (KiB): 27443924
Max. memory (cumulated for all children) (KiB): 717708

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 126.198
system time used= 0.728301
maximum resident set size= 721756
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 203219
page faults= 0
swaps= 0
block input operations= 0
block output operations= 6040
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 14510
involuntary context switches= 1403


# summary of solver processes directly reported to runsolver:
#   pid: 6963
#   total CPU time (s): 126.926
#   total CPU user time (s): 126.198
#   total CPU system time (s): 0.728301

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.215802 second user time and 0.275799 second system time

The end

Launcher Data 

Begin job on node149 at 2019-09-14 01:19:00
IDJOB=4392725
IDBENCH=120419
IDSOLVER=2839
FILE ID=node149/4392725-1568416777
RUNJOBID= node149-1568416730-6442
PBS_JOBID= 21702252
Free space on /tmp= 61424 MiB

SOLVER NAME= Fun-sCOP hybrid+ManyGlucose (2019-06-15)
BENCH NAME= XCSP17/StripPacking/StripPacking-m1-seriesN/StripPacking-N1c.xml
COMMAND LINE= DIR/scop.sh 22g DIR/scop.jar -hybrid DIR/manyglucose-4.1-27_release -model:-nthreads=NBCORE:-maxmemory=20000:-lit-scans=6000000 TMPDIR BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4392725-1568416777/watcher-4392725-1568416777 -o /tmp/evaluation-result-4392725-1568416777/solver-4392725-1568416777 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node149-1568416730-6442 --watchdog 2580  HOME/scop.sh 22g HOME/scop.jar -hybrid HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4392725-1568416777.xml

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

MD5SUM BENCH= 19f4dcf35e46defaa68e633424c84ce1
RANDOM SEED=666990590

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

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

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

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

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

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

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

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.81
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:        30906008 kB
MemAvailable:   31857476 kB
Buffers:          173944 kB
Cached:          1077940 kB
SwapCached:        61320 kB
Active:           569736 kB
Inactive:         744612 kB
Active(anon):      29736 kB
Inactive(anon):    72460 kB
Active(file):     540000 kB
Inactive(file):   672152 kB
Unevictable:      111252 kB
Mlocked:          111252 kB
SwapTotal:      67108860 kB
SwapFree:       66940928 kB
Dirty:             20432 kB
Writeback:             0 kB
AnonPages:        112852 kB
Mapped:            44140 kB
Shmem:             31360 kB
Slab:             139332 kB
SReclaimable:     110304 kB
SUnreclaim:        29028 kB
KernelStack:        3408 kB
PageTables:         5164 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     498096 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     67584 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      144768 kB
DirectMap2M:    33400832 kB

Free space on /tmp at the end= 61400 MiB
End job on node149 at 2019-09-14 01:19:19