Trace number 4405589

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Fun-sCOP hybrid+ManyGlucose (2019-09-22)SAT 245.585 34.2154

General information on the benchmark

NameRectPacking/RectPacking-m1-perf/
RectPacking-perfect-029.xml
MD5SUM46cde9b56a99396b1706cac103cc08fa
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 benchmark242.093
Satisfiable
(Un)Satisfiability was proved
Number of variables48
Number of constraints51
Number of domains1
Minimum domain size203
Maximum domain size203
Distribution of domain sizes[{"size":203,"count":48}]
Minimum variable degree2
Maximum variable degree4
Distribution of variable degrees[{"degree":2,"count":46},{"degree":3,"count":1},{"degree":4,"count":1}]
Minimum constraint arity1
Maximum constraint arity48
Distribution of constraint arities[{"arity":1,"count":49},{"arity":2,"count":1},{"arity":48,"count":1}]
Number of extensional constraints0
Number of intensional constraints50
Distribution of constraint types[{"type":"intension","count":50},{"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-30399-serial-file.bin HOME/instance-4405589-1569337878.xml
0.66/0.54	
0.66/0.54	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
0.66/0.54	
0.66/0.56	c BEGIN-Prog: Tue Sep 24 16:09:38 CEST 2019
0.66/0.56	c PID: 30402
0.66/0.56	c IP: 172.20.3.105
0.66/0.56	c HOST: node105.alineos.net
0.66/0.57	c (0,0) Parsing Begin
1.19/0.90	c (0,0) Parsing End
1.38/0.90	c (0,0) CSP: 48 int (0 aux), 0 bool (0 aux), 51 ctr, max domain size 203
1.38/0.90	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.38/0.90	c (0,0) Constraint Name Generate Begin
1.38/0.91	c (0,0) Ctr:HOME/instance-4405589-1569337878.xml,Le:NoOverlap:Num:Var
1.38/0.91	c (0,0) Constraint Name Generate End
1.38/0.91	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.38/0.91	c (0,0) CSP to CSPinCNF Begin
1.38/0.99	c (0,0) translated 6 (10%) constraints
1.38/0.99	c (0,0) translated 11 (20%) constraints
1.38/0.99	c (0,0) translated 16 (30%) constraints
1.38/0.99	c (0,0) translated 21 (40%) constraints
1.38/1.00	c (0,0) translated 26 (50%) constraints
1.38/1.00	c (0,0) translated 31 (60%) constraints
1.38/1.00	c (0,0) translated 36 (70%) constraints
1.38/1.00	c (0,0) translated 41 (80%) constraints
1.55/1.01	c (0,0) translated 46 (90%) constraints
2.17/1.25	c (0,0) translated 51 (100%) constraints
2.17/1.25	c (0,0) ===========================================
2.17/1.27	c (0,0) Hybrid: #OE=48, #LE=0
2.17/1.27	c (0,0) Hybrid
2.17/1.27	c (0,0) ===========================================
2.17/1.28	c (0,0) translated 33 (10%) constraints
2.17/1.28	c (0,0) translated 66 (20%) constraints
2.17/1.29	c (0,0) translated 98 (30%) constraints
2.51/1.30	c (0,0) translated 131 (40%) constraints
2.51/1.30	c (0,0) translated 163 (50%) constraints
2.51/1.31	c (0,0) translated 196 (60%) constraints
2.51/1.31	c (0,0) translated 229 (70%) constraints
2.51/1.32	c (0,0) translated 261 (80%) constraints
2.51/1.32	c (0,0) translated 294 (90%) constraints
2.51/1.32	c (0,0) translated 326 (100%) constraints
2.51/1.33	c (0,0) CSP to CSPinCNF End
2.51/1.33	c (0,0) CSP: 48 int (0 aux), 0 bool (0 aux), 326 ctr, max domain size 203
2.51/1.33	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 23 MiB used (max 0 MiB)
2.51/1.33	c (0,0) CSPinCNF Propagation Begin
2.51/1.36	c (0,0) 0 values, 6 unsatisfiable literals, and 49 valid clauses are removed
2.51/1.36	c (0,0) CSPinCNF Propagation End
2.51/1.36	c (0,0) CSP: 48 int (0 aux), 0 bool (0 aux), 277 ctr, max domain size 203
2.51/1.36	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 23 MiB used (max 0 MiB)
2.51/1.36	c (0,0) Hybrid: #OE=48, #LE=0
2.51/1.36	c (0,0) Simplify CSPinCNF Begin
2.85/1.45	c (0,0) Simplify CSPinCNF End
2.85/1.46	c (0,0) CSP: 48 int (0 aux), 1098 bool (1098 aux), 1375 ctr, max domain size 203
2.85/1.46	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 24 MiB used (max 0 MiB)
2.85/1.46	c (0,0) Calculate Precise Domain Begin
2.85/1.46	c (0,0) 0 values are removed by re-calculation
2.85/1.46	c (0,0) Calculate Precise Domain End
2.85/1.46	c (0,0) CSP: 48 int (0 aux), 1098 bool (1098 aux), 1375 ctr, max domain size 203
2.85/1.46	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 24 MiB used (max 0 MiB)
2.85/1.46	c (0,0) CSPinCNF to SatSolver Begin
3.82/1.79	c (1,1) 138 (10 %) CSP clauses are encoded (0 SAT variables, 26798 SAT clauses)
4.64/1.90	c (1,1) 275 (20 %) CSP clauses are encoded (0 SAT variables, 45186 SAT clauses)
4.64/1.98	c (1,1) 413 (30 %) CSP clauses are encoded (0 SAT variables, 62514 SAT clauses)
4.91/2.05	c (1,1) 550 (40 %) CSP clauses are encoded (0 SAT variables, 78884 SAT clauses)
5.04/2.12	c (1,1) 688 (50 %) CSP clauses are encoded (0 SAT variables, 95080 SAT clauses)
5.04/2.19	c (1,1) 825 (60 %) CSP clauses are encoded (0 SAT variables, 110454 SAT clauses)
5.17/2.25	c (1,1) 963 (70 %) CSP clauses are encoded (0 SAT variables, 125086 SAT clauses)
5.27/2.30	c (1,1) 1100 (80 %) CSP clauses are encoded (0 SAT variables, 138614 SAT clauses)
5.27/2.36	c (1,1) 1238 (90 %) CSP clauses are encoded (0 SAT variables, 150811 SAT clauses)
5.27/2.40	c (1,1) 1375 (100 %) CSP clauses are encoded (0 SAT variables, 159756 SAT clauses)
5.27/2.40	c (1,1) CSPinCNF to SatSolver End
5.27/2.40	c (1,1) Heap : 901 MiB used (max 21589 MiB), NonHeap : 27 MiB used (max 0 MiB)
5.27/2.40	c (1,1) 9186 bool, 159805 clause
5.27/2.40	c (1,1) Export Begin
5.39/2.48	c (1,1) Export to HOME/scop-30399-serial-file.bin
5.39/2.48	c (1,1) Export End
5.39/2.48	c (1,1) Export File Size: 0.01 MB
5.39/2.48	c (1,1) 0,0,0,0,0,0,1,STOP-AFTER(DIMACS)
5.39/2.48	c END-Prog: Tue Sep 24 16:09:40 CEST 2019
0.00/2.50	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-30399-serial-file.bin
5.56/2.96	c (0,0) Read Serial File Begin
5.56/2.96	c (0,0) HOME/scop-30399-serial-file.bin
6.35/3.16	c (0,0) Read Serial File End
6.35/3.18	
6.35/3.18	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
6.35/3.18	(Solving Process)
6.35/3.18	
6.50/3.20	c BEGIN-Prog: Tue Sep 24 16:09:41 CEST 2019
6.50/3.20	c PID: 30423
6.50/3.20	c IP: 172.20.3.105
6.50/3.20	c HOST: node105.alineos.net
6.50/3.20	c (0,0) SatSolver.solve Begin
6.50/3.20	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4405589-1569337878.xml-scop-30402.cnf
6.50/3.23	c (0,0) c
6.50/3.23	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.50/3.23	c (0,0) c
6.50/3.23	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
6.50/3.23	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
6.50/3.23	c (0,0) c ========================================[ Problem Statistics ]===========================================
6.50/3.23	c (0,0) c |                                                                                                       |
6.50/3.28	c (0,0) c |  Number of variables:          9186                                                                   |
6.50/3.28	c (0,0) c |  Number of clauses:          159805                                                                   |
6.50/3.28	c (0,0) c |  Parse time:                   0.05 s                                                                 |
6.50/3.28	c (0,0) c |                                                                                                       |
6.69/3.43	c (0,0) c |  Simplification time:          0.14 s                                                                 |
6.69/3.43	c (0,0) c |                                                                                                       |
6.69/3.43	c (0,0) c |  Generating clones                                                                                    |
6.69/3.47	c (0,0) c |  all clones generated. Memory =   128.25Mb.                                                           |
6.69/3.47	c (0,0) c ========================================================================================================|
6.69/3.47	c (0,0) c
6.69/3.47	c (0,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
6.69/3.47	c (0,0) c
6.69/3.47	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
6.69/3.47	c (0,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
6.69/3.47	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
6.69/3.47	c (0,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
6.69/3.47	c (0,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
6.69/3.47	c (0,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
6.69/3.48	c (0,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
6.69/3.48	c (0,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
6.69/3.48	c (0,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
6.69/3.48	c (0,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
6.69/3.48	c (0,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
6.69/3.48	c (0,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
6.69/3.48	c (0,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
6.69/3.48	c (0,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
6.69/3.48	c (0,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
6.69/3.48	c (0,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
6.69/3.48	c (0,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
6.69/3.48	c (0,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
6.69/3.48	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
245.12/34.04	c (31,0) c
245.12/34.04	c (31,0) c real time : 30.817 s
245.12/34.04	c (31,0) c cpu time  : 237.974 s
245.12/34.04	c (31,0) c
245.12/34.04	c (31,0) c
245.12/34.04	c (31,0) c
245.12/34.04	c (31,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
245.12/34.04	c (31,0) c
245.12/34.04	c (31,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
245.12/34.04	c (31,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
245.12/34.04	c (31,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
245.12/34.04	c (31,0) c | Conflicts     |         1081344 |     133746 |     135874 |     137022 |     136354 |     134939 |     134272 |     135392 |     133745 |
245.12/34.04	c (31,0) c | Decisions     |         2241043 |     269635 |     274192 |     283263 |     280868 |     284821 |     283541 |     286496 |     278227 |
245.12/34.04	c (31,0) c | Propagations  |       378507489 |   47403472 |   46490293 |   47274397 |   47711540 |   47435977 |   47202978 |   47515922 |   47472910 |
245.12/34.04	c (31,0) c | ReduceDBs     |              73 |          9 |          9 |         10 |          9 |          9 |          9 |          9 |          9 |
245.12/34.04	c (31,0) c | SimpDBs       |              24 |          3 |          3 |          3 |          3 |          3 |          3 |          3 |          3 |
245.12/34.04	c (31,0) c | Restarts      |            4619 |        486 |        521 |        600 |        552 |        573 |        644 |        617 |        626 |
245.12/34.04	c (31,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
245.12/34.04	c (31,0) c | PropBinClauses|       453008339 |   56875127 |   55727048 |   56317206 |   56864256 |   56846172 |   56456457 |   56920639 |   57001434 |
245.12/34.04	c (31,0) c | PropPreBlocker|      6216682198 |  774120436 |  774283331 |  785482189 |  781086713 |  775085118 |  773344223 |  778483596 |  774796592 |
245.12/34.04	c (31,0) c | PropNotBlocker|      1929496257 |  241985308 |  239073236 |  240252301 |  239158582 |  241974997 |  244119409 |  239983922 |  242948502 |
245.12/34.04	c (31,0) c | LitFullScans  |     11776896615 | 1470082677 | 1470062708 | 1483162360 | 1473265069 | 1470080670 | 1470064104 | 1470087802 | 1470091225 |
245.12/34.04	c (31,0) c | LitScanFracts |          503746 |      76750 |      54223 |      60832 |      49602 |      66793 |      57271 |      78890 |      59385 |
245.12/34.04	c (31,0) c | DecisionLevel0|            4620 |        486 |        521 |        601 |        552 |        573 |        644 |        617 |        626 |
245.12/34.04	c (31,0) c | Periods       |            1962 |        245 |        245 |        247 |        245 |        245 |        245 |        245 |        245 |
245.12/34.04	c (31,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
245.12/34.04	c (31,0) c | Avg_Trail     |                 |       3713 |       3666 |       3716 |       3746 |       3774 |       3708 |       3730 |       3722 |
245.12/34.04	c (31,0) c | Avg_DL        |                 |         28 |         28 |         28 |         29 |         28 |         27 |         30 |         28 |
245.12/34.04	c (31,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
245.12/34.04	c (31,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
245.12/34.04	c (31,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
245.12/34.04	c (31,0) c | Exported      |          163392 |      21207 |      21597 |      20138 |      21530 |      20642 |      18873 |      19496 |      19909 |
245.12/34.04	c (31,0) c | Imported      |         1085193 |     134440 |     134626 |     136890 |     134777 |     134764 |     137300 |     136583 |     135813 |
245.12/34.04	c (31,0) c | Good          |             469 |         63 |         59 |         54 |         62 |         57 |         53 |         60 |         61 |
245.12/34.04	c (31,0) c | Purge         |         1084724 |     134377 |     134567 |     136836 |     134715 |     134707 |     137247 |     136523 |     135752 |
245.12/34.04	c (31,0) c | Promoted      |          113377 |      14165 |      14718 |      14428 |      14185 |      14153 |      14075 |      13978 |      13675 |
245.12/34.04	c (31,0) c | Remove_Imp    |          600552 |      72696 |      68830 |      91075 |      72028 |      72832 |      74994 |      74223 |      73874 |
245.12/34.04	c (31,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
245.12/34.04	c (31,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
245.12/34.04	c (31,0) c | Unaries       |                 |          0 |          0 |          1 |          0 |          0 |          0 |          0 |          0 |
245.12/34.04	c (31,0) c | Binaries      |                 |          4 |          8 |         13 |          5 |         10 |         14 |          7 |          6 |
245.12/34.04	c (31,0) c | Glues         |                 |        168 |        171 |        222 |        161 |        225 |        227 |        198 |        192 |
245.12/34.04	c (31,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
245.12/34.04	c (31,0) c | Orig_Seen     |            32 % |      50374 |      50485 |      50113 |      52336 |      55437 |      51263 |      55178 |      48366 |
245.12/34.04	c (31,0) c | Diff Orig seen|                 | -     1962 | -     1851 | -     2223 |      X     |       3101 | -     1073 |       2842 | -     3970 |
245.12/34.04	c (31,0) c | Hamming       |            26 % |       2643 |       2205 |       2467 |      X     |       2498 |       2181 |       2736 |       2073 |
245.12/34.04	c (31,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
245.12/34.04	c (31,0) c | RunningTime   |                 |   29.9 100%|   30.2 100%|   29.3 100%|   29.3 100%|   30.4 100%|   30.5 100%|   29.4 100%|   29.4 100%|
245.12/34.04	c (31,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%|
245.12/34.04	c (31,0) c | ExchangingTime|                 |    0.1   0%|    0.1   0%|    0.1   0%|    0.0   0%|    0.1   0%|    0.1   0%|    0.1   0%|    0.0   0%|
245.12/34.04	c (31,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%|
245.12/34.04	c (31,0) c | SolvingTime   |                 |   30.0     |   30.3     |   29.4     |   29.4     |   30.4     |   30.6     |   29.5     |   29.4     |
245.12/34.04	c (31,0) c | PropagationTim|                 |   25.7  85%|   25.5  84%|   24.9  85%|   24.8  84%|   25.8  85%|   26.2  86%|   24.8  84%|   24.9  85%|
245.12/34.04	c (31,0) c | AnalysisTime  |                 |    3.3  11%|    3.7  12%|    3.4  11%|    3.5  12%|    3.5  11%|    3.3  11%|    3.6  12%|    3.4  11%|
245.12/34.04	c (31,0) c | ReductionTime |                 |    0.2   1%|    0.3   1%|    0.3   1%|    0.3   1%|    0.3   1%|    0.2   1%|    0.3   1%|    0.2   1%|
245.12/34.04	c (31,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%|
245.12/34.04	c (31,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%|
245.12/34.04	c (31,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%|
245.12/34.04	c (31,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
245.12/34.04	c (31,0) c
245.12/34.04	c (31,0) c
245.12/34.04	c (31,0) c Threads : 8
245.12/34.04	c (31,0) c Winner : 3
245.12/34.04	c (31,0) c Conflicts_0 : 133746
245.12/34.05	c (31,0) c Conflicts_1 : 135874
245.12/34.05	c (31,0) c Conflicts_2 : 137022
245.12/34.05	c (31,0) c Conflicts_3 : 136354
245.12/34.05	c (31,0) c Conflicts_4 : 134939
245.12/34.05	c (31,0) c Conflicts_5 : 134272
245.12/34.05	c (31,0) c Conflicts_6 : 135392
245.12/34.05	c (31,0) c Conflicts_7 : 133745
245.12/34.05	c (31,0) c Conflicts_total : 1081344
245.12/34.05	c (31,0) c Conflicts_winner : 136354
245.12/34.05	c (31,0) c Decisions_0 : 269635
245.12/34.05	c (31,0) c Decisions_1 : 274192
245.12/34.05	c (31,0) c Decisions_2 : 283263
245.12/34.05	c (31,0) c Decisions_3 : 280868
245.12/34.05	c (31,0) c Decisions_4 : 284821
245.12/34.05	c (31,0) c Decisions_5 : 283541
245.12/34.05	c (31,0) c Decisions_6 : 286496
245.12/34.05	c (31,0) c Decisions_7 : 278227
245.12/34.05	c (31,0) c Decisions_total : 2241043
245.12/34.05	c (31,0) c Decisions_winner : 280868
245.12/34.05	c (31,0) c Propagations_0 : 47403472
245.12/34.05	c (31,0) c Propagations_1 : 46490293
245.12/34.05	c (31,0) c Propagations_2 : 47274397
245.12/34.05	c (31,0) c Propagations_3 : 47711540
245.12/34.05	c (31,0) c Propagations_4 : 47435977
245.12/34.05	c (31,0) c Propagations_5 : 47202978
245.12/34.05	c (31,0) c Propagations_6 : 47515922
245.12/34.05	c (31,0) c Propagations_7 : 47472910
245.12/34.05	c (31,0) c Propagations_total : 378507489
245.12/34.05	c (31,0) c Propagations_winner : 47711540
245.12/34.05	c (31,0) c ReduceDBs_0 : 9
245.12/34.05	c (31,0) c ReduceDBs_1 : 9
245.12/34.05	c (31,0) c ReduceDBs_2 : 10
245.12/34.05	c (31,0) c ReduceDBs_3 : 9
245.12/34.05	c (31,0) c ReduceDBs_4 : 9
245.12/34.05	c (31,0) c ReduceDBs_5 : 9
245.12/34.05	c (31,0) c ReduceDBs_6 : 9
245.12/34.05	c (31,0) c ReduceDBs_7 : 9
245.12/34.05	c (31,0) c ReduceDBs_total : 73
245.12/34.05	c (31,0) c ReduceDBs_winner : 9
245.12/34.05	c (31,0) c SimpDBs_0 : 3
245.12/34.05	c (31,0) c SimpDBs_1 : 3
245.12/34.05	c (31,0) c SimpDBs_2 : 3
245.12/34.05	c (31,0) c SimpDBs_3 : 3
245.12/34.05	c (31,0) c SimpDBs_4 : 3
245.12/34.05	c (31,0) c SimpDBs_5 : 3
245.12/34.05	c (31,0) c SimpDBs_6 : 3
245.12/34.05	c (31,0) c SimpDBs_7 : 3
245.12/34.05	c (31,0) c SimpDBs_total : 24
245.12/34.05	c (31,0) c SimpDBs_winner : 3
245.12/34.05	c (31,0) c Restarts_0 : 486
245.12/34.05	c (31,0) c Restarts_1 : 521
245.12/34.05	c (31,0) c Restarts_2 : 600
245.12/34.05	c (31,0) c Restarts_3 : 552
245.12/34.05	c (31,0) c Restarts_4 : 573
245.12/34.05	c (31,0) c Restarts_5 : 644
245.12/34.05	c (31,0) c Restarts_6 : 617
245.12/34.05	c (31,0) c Restarts_7 : 626
245.12/34.05	c (31,0) c Restarts_total : 4619
245.12/34.05	c (31,0) c Restarts_winner : 552
245.12/34.05	c (31,0) c ForcedImports_0 : 0
245.12/34.05	c (31,0) c ForcedImports_1 : 0
245.12/34.05	c (31,0) c ForcedImports_2 : 0
245.12/34.05	c (31,0) c ForcedImports_3 : 0
245.12/34.05	c (31,0) c ForcedImports_4 : 0
245.12/34.05	c (31,0) c ForcedImports_5 : 0
245.12/34.05	c (31,0) c ForcedImports_6 : 0
245.12/34.05	c (31,0) c ForcedImports_7 : 0
245.12/34.05	c (31,0) c ForcedImports_total : 0
245.12/34.05	c (31,0) c ForcedImports_winner : 0
245.12/34.05	c (31,0) c PropsBinClauses_0 : 56875127
245.12/34.05	c (31,0) c PropsBinClauses_1 : 55727048
245.12/34.05	c (31,0) c PropsBinClauses_2 : 56317206
245.12/34.05	c (31,0) c PropsBinClauses_3 : 56864256
245.12/34.05	c (31,0) c PropsBinClauses_4 : 56846172
245.12/34.05	c (31,0) c PropsBinClauses_5 : 56456457
245.12/34.05	c (31,0) c PropsBinClauses_6 : 56920639
245.12/34.05	c (31,0) c PropsBinClauses_7 : 57001434
245.12/34.05	c (31,0) c PropsBinClauses_total : 453008339
245.12/34.05	c (31,0) c PropsBinClauses_winner : 56864256
245.12/34.05	c (31,0) c PropsPreBlocker_0 : 774120436
245.12/34.05	c (31,0) c PropsPreBlocker_1 : 774283331
245.12/34.05	c (31,0) c PropsPreBlocker_2 : 785482189
245.12/34.05	c (31,0) c PropsPreBlocker_3 : 781086713
245.12/34.05	c (31,0) c PropsPreBlocker_4 : 775085118
245.12/34.05	c (31,0) c PropsPreBlocker_5 : 773344223
245.12/34.05	c (31,0) c PropsPreBlocker_6 : 778483596
245.12/34.05	c (31,0) c PropsPreBlocker_7 : 774796592
245.12/34.05	c (31,0) c PropsPreBlocker_total : 6216682198
245.12/34.05	c (31,0) c PropsPreBlocker_winner : 781086713
245.12/34.05	c (31,0) c PropsNotBlocker_0 : 241985308
245.12/34.05	c (31,0) c PropsNotBlocker_1 : 239073236
245.12/34.05	c (31,0) c PropsNotBlocker_2 : 240252301
245.12/34.05	c (31,0) c PropsNotBlocker_3 : 239158582
245.12/34.05	c (31,0) c PropsNotBlocker_4 : 241974997
245.12/34.05	c (31,0) c PropsNotBlocker_5 : 244119409
245.12/34.05	c (31,0) c PropsNotBlocker_6 : 239983922
245.12/34.05	c (31,0) c PropsNotBlocker_7 : 242948502
245.12/34.05	c (31,0) c PropsNotBlocker_total : 1929496257
245.12/34.05	c (31,0) c PropsNotBlocker_winner : 239158582
245.12/34.05	c (31,0) c PropsLitFullScans_0 : 1470082677
245.12/34.05	c (31,0) c PropsLitFullScans_1 : 1470062708
245.12/34.05	c (31,0) c PropsLitFullScans_2 : 1483162360
245.12/34.05	c (31,0) c PropsLitFullScans_3 : 1473265069
245.12/34.05	c (31,0) c PropsLitFullScans_4 : 1470080670
245.12/34.05	c (31,0) c PropsLitFullScans_5 : 1470064104
245.12/34.05	c (31,0) c PropsLitFullScans_6 : 1470087802
245.12/34.05	c (31,0) c PropsLitFullScans_7 : 1470091225
245.12/34.05	c (31,0) c PropsLitFullScans_total : 11776896615
245.12/34.05	c (31,0) c PropsLitFullScans_winner : 1473265069
245.12/34.05	c (31,0) c LitScanFractions_0 : 76750
245.12/34.05	c (31,0) c LitScanFractions_1 : 54223
245.12/34.05	c (31,0) c LitScanFractions_2 : 60832
245.12/34.05	c (31,0) c LitScanFractions_3 : 49602
245.12/34.05	c (31,0) c LitScanFractions_4 : 66793
245.12/34.05	c (31,0) c LitScanFractions_5 : 57271
245.12/34.05	c (31,0) c LitScanFractions_6 : 78890
245.12/34.05	c (31,0) c LitScanFractions_7 : 59385
245.12/34.05	c (31,0) c LitScanFractions_total : 503746
245.12/34.05	c (31,0) c LitScanFractions_winner : 49602
245.12/34.05	c (31,0) c DecisionLevel0_0 : 486
245.12/34.05	c (31,0) c DecisionLevel0_1 : 521
245.12/34.05	c (31,0) c DecisionLevel0_2 : 601
245.12/34.05	c (31,0) c DecisionLevel0_3 : 552
245.12/34.05	c (31,0) c DecisionLevel0_4 : 573
245.12/34.05	c (31,0) c DecisionLevel0_5 : 644
245.12/34.05	c (31,0) c DecisionLevel0_6 : 617
245.12/34.05	c (31,0) c DecisionLevel0_7 : 626
245.12/34.05	c (31,0) c DecisionLevel0_total : 4620
245.12/34.05	c (31,0) c DecisionLevel0_winner : 552
245.12/34.05	c (31,0) c Periods_0 : 245
245.12/34.05	c (31,0) c Periods_1 : 245
245.12/34.05	c (31,0) c Periods_2 : 247
245.12/34.05	c (31,0) c Periods_3 : 245
245.12/34.05	c (31,0) c Periods_4 : 245
245.12/34.05	c (31,0) c Periods_5 : 245
245.12/34.05	c (31,0) c Periods_6 : 245
245.12/34.05	c (31,0) c Periods_7 : 245
245.12/34.05	c (31,0) c Periods_total : 1962
245.12/34.05	c (31,0) c Periods_winner : 245
245.12/34.05	c (31,0) c Margin_0 : 20
245.12/34.05	c (31,0) c Margin_1 : 20
245.12/34.05	c (31,0) c Margin_2 : 20
245.12/34.05	c (31,0) c Margin_3 : 20
245.12/34.05	c (31,0) c Margin_4 : 20
245.12/34.05	c (31,0) c Margin_5 : 20
245.12/34.05	c (31,0) c Margin_6 : 20
245.12/34.05	c (31,0) c Margin_7 : 20
245.12/34.05	c (31,0) c Margin_total : 160
245.12/34.05	c (31,0) c Margin_winner : 20
245.12/34.05	c (31,0) c Exported_0 : 21207
245.12/34.05	c (31,0) c Exported_1 : 21597
245.12/34.05	c (31,0) c Exported_2 : 20138
245.12/34.05	c (31,0) c Exported_3 : 21530
245.12/34.05	c (31,0) c Exported_4 : 20642
245.12/34.05	c (31,0) c Exported_5 : 18873
245.12/34.05	c (31,0) c Exported_6 : 19496
245.12/34.05	c (31,0) c Exported_7 : 19909
245.12/34.05	c (31,0) c Exported_total : 163392
245.12/34.05	c (31,0) c Exported_winner : 21530
245.12/34.05	c (31,0) c Imported_0 : 134440
245.12/34.05	c (31,0) c Imported_1 : 134626
245.12/34.05	c (31,0) c Imported_2 : 136890
245.12/34.05	c (31,0) c Imported_3 : 134777
245.12/34.05	c (31,0) c Imported_4 : 134764
245.12/34.05	c (31,0) c Imported_5 : 137300
245.12/34.05	c (31,0) c Imported_6 : 136583
245.12/34.05	c (31,0) c Imported_7 : 135813
245.12/34.05	c (31,0) c Imported_total : 1085193
245.12/34.05	c (31,0) c Imported_winner : 134777
245.12/34.05	c (31,0) c Good_0 : 63
245.12/34.05	c (31,0) c Good_1 : 59
245.12/34.05	c (31,0) c Good_2 : 54
245.12/34.05	c (31,0) c Good_3 : 62
245.12/34.05	c (31,0) c Good_4 : 57
245.12/34.05	c (31,0) c Good_5 : 53
245.12/34.05	c (31,0) c Good_6 : 60
245.12/34.05	c (31,0) c Good_7 : 61
245.12/34.05	c (31,0) c Good_total : 469
245.12/34.05	c (31,0) c Good_winner : 62
245.12/34.05	c (31,0) c Purge_0 : 134377
245.12/34.05	c (31,0) c Purge_1 : 134567
245.12/34.05	c (31,0) c Purge_2 : 136836
245.12/34.05	c (31,0) c Purge_3 : 134715
245.12/34.05	c (31,0) c Purge_4 : 134707
245.12/34.05	c (31,0) c Purge_5 : 137247
245.12/34.05	c (31,0) c Purge_6 : 136523
245.12/34.05	c (31,0) c Purge_7 : 135752
245.12/34.05	c (31,0) c Purge_total : 1084724
245.12/34.05	c (31,0) c Purge_winner : 134715
245.12/34.05	c (31,0) c Promoted_0 : 14165
245.12/34.05	c (31,0) c Promoted_1 : 14718
245.12/34.05	c (31,0) c Promoted_2 : 14428
245.12/34.05	c (31,0) c Promoted_3 : 14185
245.12/34.05	c (31,0) c Promoted_4 : 14153
245.12/34.05	c (31,0) c Promoted_5 : 14075
245.12/34.05	c (31,0) c Promoted_6 : 13978
245.12/34.05	c (31,0) c Promoted_7 : 13675
245.12/34.05	c (31,0) c Promoted_total : 113377
245.12/34.05	c (31,0) c Promoted_winner : 14185
245.12/34.05	c (31,0) c Remove_Imp_0 : 72696
245.12/34.05	c (31,0) c Remove_Imp_1 : 68830
245.12/34.05	c (31,0) c Remove_Imp_2 : 91075
245.12/34.05	c (31,0) c Remove_Imp_3 : 72028
245.12/34.05	c (31,0) c Remove_Imp_4 : 72832
245.12/34.05	c (31,0) c Remove_Imp_5 : 74994
245.12/34.05	c (31,0) c Remove_Imp_6 : 74223
245.12/34.05	c (31,0) c Remove_Imp_7 : 73874
245.12/34.05	c (31,0) c Remove_Imp_total : 600552
245.12/34.05	c (31,0) c Remove_Imp_winner : 72028
245.12/34.05	c (31,0) c Blocked_Reuse_0 : 0
245.12/34.05	c (31,0) c Blocked_Reuse_1 : 0
245.12/34.05	c (31,0) c Blocked_Reuse_2 : 0
245.12/34.05	c (31,0) c Blocked_Reuse_3 : 0
245.12/34.05	c (31,0) c Blocked_Reuse_4 : 0
245.12/34.05	c (31,0) c Blocked_Reuse_5 : 0
245.12/34.05	c (31,0) c Blocked_Reuse_6 : 0
245.12/34.05	c (31,0) c Blocked_Reuse_7 : 0
245.12/34.05	c (31,0) c Blocked_Reuse_total : 0
245.12/34.05	c (31,0) c Blocked_Reuse_winner : 0
245.12/34.05	c (31,0) c Unaries_0 : 0
245.12/34.05	c (31,0) c Unaries_1 : 0
245.12/34.05	c (31,0) c Unaries_2 : 1
245.12/34.05	c (31,0) c Unaries_3 : 0
245.12/34.05	c (31,0) c Unaries_4 : 0
245.12/34.05	c (31,0) c Unaries_5 : 0
245.12/34.05	c (31,0) c Unaries_6 : 0
245.12/34.05	c (31,0) c Unaries_7 : 0
245.12/34.05	c (31,0) c Unaries_total : 1
245.12/34.05	c (31,0) c Unaries_winner : 0
245.12/34.05	c (31,0) c Binaries_0 : 4
245.12/34.05	c (31,0) c Binaries_1 : 8
245.12/34.05	c (31,0) c Binaries_2 : 13
245.12/34.05	c (31,0) c Binaries_3 : 5
245.12/34.05	c (31,0) c Binaries_4 : 10
245.12/34.05	c (31,0) c Binaries_5 : 14
245.12/34.05	c (31,0) c Binaries_6 : 7
245.12/34.05	c (31,0) c Binaries_7 : 6
245.12/34.05	c (31,0) c Binaries_total : 67
245.12/34.05	c (31,0) c Binaries_winner : 5
245.12/34.05	c (31,0) c Glues_0 : 168
245.12/34.05	c (31,0) c Glues_1 : 171
245.12/34.05	c (31,0) c Glues_2 : 222
245.12/34.05	c (31,0) c Glues_3 : 161
245.12/34.05	c (31,0) c Glues_4 : 225
245.12/34.05	c (31,0) c Glues_5 : 227
245.12/34.05	c (31,0) c Glues_6 : 198
245.12/34.05	c (31,0) c Glues_7 : 192
245.12/34.05	c (31,0) c Glues_total : 1564
245.12/34.05	c (31,0) c Glues_winner : 161
245.12/34.05	c (31,0) c RunningTime_0 : 29.944261
245.12/34.05	c (31,0) c RunningTime_1 : 30.209739
245.12/34.05	c (31,0) c RunningTime_2 : 29.327807
245.12/34.05	c (31,0) c RunningTime_3 : 29.327298
245.12/34.05	c (31,0) c RunningTime_4 : 30.377687
245.12/34.05	c (31,0) c RunningTime_5 : 30.496050
245.12/34.05	c (31,0) c RunningTime_6 : 29.433439
245.12/34.06	c (31,0) c RunningTime_7 : 29.360022
245.12/34.06	c (31,0) c RunningTime_total : 238.476304
245.12/34.06	c (31,0) c RunningTime_winner : 29.327298
245.12/34.06	c (31,0) c WaitingTime_0 : 0.000274
245.12/34.06	c (31,0) c WaitingTime_1 : 0.000286
245.12/34.06	c (31,0) c WaitingTime_2 : 0.000320
245.12/34.06	c (31,0) c WaitingTime_3 : 0.000322
245.12/34.06	c (31,0) c WaitingTime_4 : 0.000297
245.12/34.06	c (31,0) c WaitingTime_5 : 0.000251
245.12/34.06	c (31,0) c WaitingTime_6 : 0.000341
245.12/34.06	c (31,0) c WaitingTime_7 : 0.000316
245.12/34.06	c (31,0) c WaitingTime_total : 0.002407
245.12/34.06	c (31,0) c WaitingTime_winner : 0.000322
245.12/34.06	c (31,0) c ExchangingTime_0 : 0.057767
245.12/34.06	c (31,0) c ExchangingTime_1 : 0.060317
245.12/34.06	c (31,0) c ExchangingTime_2 : 0.059148
245.12/34.06	c (31,0) c ExchangingTime_3 : 0.048779
245.12/34.06	c (31,0) c ExchangingTime_4 : 0.050932
245.12/34.06	c (31,0) c ExchangingTime_5 : 0.053600
245.12/34.06	c (31,0) c ExchangingTime_6 : 0.055813
245.12/34.06	c (31,0) c ExchangingTime_7 : 0.049421
245.12/34.06	c (31,0) c ExchangingTime_total : 0.435778
245.12/34.06	c (31,0) c ExchangingTime_winner : 0.048779
245.12/34.06	c (31,0) c PeriodProcTime_0 : 0.002457
245.12/34.06	c (31,0) c PeriodProcTime_1 : 0.002645
245.12/34.06	c (31,0) c PeriodProcTime_2 : 0.001786
245.12/34.06	c (31,0) c PeriodProcTime_3 : 0.001767
245.12/34.06	c (31,0) c PeriodProcTime_4 : 0.002044
245.12/34.06	c (31,0) c PeriodProcTime_5 : 0.002404
245.12/34.06	c (31,0) c PeriodProcTime_6 : 0.001701
245.12/34.06	c (31,0) c PeriodProcTime_7 : 0.002473
245.12/34.06	c (31,0) c PeriodProcTime_total : 0.017278
245.12/34.06	c (31,0) c PeriodProcTime_winner : 0.001767
245.12/34.06	c (31,0) c SolvingTime_0 : 30.004759
245.12/34.06	c (31,0) c SolvingTime_1 : 30.272988
245.12/34.06	c (31,0) c SolvingTime_2 : 29.389061
245.12/34.06	c (31,0) c SolvingTime_3 : 29.378167
245.12/34.06	c (31,0) c SolvingTime_4 : 30.430961
245.12/34.06	c (31,0) c SolvingTime_5 : 30.552305
245.12/34.06	c (31,0) c SolvingTime_6 : 29.491294
245.12/34.06	c (31,0) c SolvingTime_7 : 29.412232
245.12/34.06	c (31,0) c SolvingTime_total : 238.931766
245.12/34.06	c (31,0) c SolvingTime_winner : 29.378167
245.12/34.06	c (31,0) c PropagationTime_0 : 25.651860
245.12/34.06	c (31,0) c PropagationTime_1 : 25.482500
245.12/34.06	c (31,0) c PropagationTime_2 : 24.858727
245.12/34.06	c (31,0) c PropagationTime_3 : 24.776964
245.12/34.06	c (31,0) c PropagationTime_4 : 25.847049
245.12/34.06	c (31,0) c PropagationTime_5 : 26.154282
245.12/34.06	c (31,0) c PropagationTime_6 : 24.804290
245.12/34.06	c (31,0) c PropagationTime_7 : 24.948168
245.12/34.06	c (31,0) c PropagationTime_total : 202.523839
245.12/34.06	c (31,0) c PropagationTime_winner : 24.776964
245.12/34.06	c (31,0) c AnalysisTime_0 : 3.259464
245.12/34.06	c (31,0) c AnalysisTime_1 : 3.723410
245.12/34.06	c (31,0) c AnalysisTime_2 : 3.355124
245.12/34.06	c (31,0) c AnalysisTime_3 : 3.488909
245.12/34.06	c (31,0) c AnalysisTime_4 : 3.450675
245.12/34.06	c (31,0) c AnalysisTime_5 : 3.283162
245.12/34.06	c (31,0) c AnalysisTime_6 : 3.574444
245.12/34.06	c (31,0) c AnalysisTime_7 : 3.361379
245.12/34.06	c (31,0) c AnalysisTime_total : 27.496568
245.12/34.06	c (31,0) c AnalysisTime_winner : 3.488909
245.12/34.06	c (31,0) c ReductionTime_0 : 0.233992
245.12/34.06	c (31,0) c ReductionTime_1 : 0.250493
245.12/34.06	c (31,0) c ReductionTime_2 : 0.321095
245.12/34.06	c (31,0) c ReductionTime_3 : 0.258222
245.12/34.06	c (31,0) c ReductionTime_4 : 0.260795
245.12/34.06	c (31,0) c ReductionTime_5 : 0.248116
245.12/34.06	c (31,0) c ReductionTime_6 : 0.251288
245.12/34.06	c (31,0) c ReductionTime_7 : 0.249669
245.12/34.06	c (31,0) c ReductionTime_total : 2.073670
245.12/34.06	c (31,0) c ReductionTime_winner : 0.258222
245.12/34.06	c (31,0) c SimplifyTime_0 : 0.009453
245.12/34.06	c (31,0) c SimplifyTime_1 : 0.009125
245.12/34.06	c (31,0) c SimplifyTime_2 : 0.007544
245.12/34.06	c (31,0) c SimplifyTime_3 : 0.008703
245.12/34.06	c (31,0) c SimplifyTime_4 : 0.008714
245.12/34.06	c (31,0) c SimplifyTime_5 : 0.009266
245.12/34.06	c (31,0) c SimplifyTime_6 : 0.008739
245.12/34.06	c (31,0) c SimplifyTime_7 : 0.008935
245.12/34.06	c (31,0) c SimplifyTime_total : 0.070479
245.12/34.06	c (31,0) c SimplifyTime_winner : 0.008703
245.12/34.06	c (31,0) c UsedRateTime_0 : 0.000000
245.12/34.06	c (31,0) c UsedRateTime_1 : 0.000000
245.12/34.06	c (31,0) c UsedRateTime_2 : 0.000000
245.12/34.06	c (31,0) c UsedRateTime_3 : 0.000000
245.12/34.06	c (31,0) c UsedRateTime_4 : 0.000000
245.12/34.06	c (31,0) c UsedRateTime_5 : 0.000000
245.12/34.06	c (31,0) c UsedRateTime_6 : 0.000000
245.12/34.06	c (31,0) c UsedRateTime_7 : 0.000000
245.12/34.06	c (31,0) c UsedRateTime_total : 0.000000
245.12/34.06	c (31,0) c UsedRateTime_winner : 0.000000
245.12/34.06	c (31,0) c OverlapRateTime_0 : 0.000000
245.12/34.06	c (31,0) c OverlapRateTime_1 : 0.000000
245.12/34.06	c (31,0) c OverlapRateTime_2 : 0.000000
245.12/34.06	c (31,0) c OverlapRateTime_3 : 0.000000
245.12/34.06	c (31,0) c OverlapRateTime_4 : 0.000000
245.12/34.06	c (31,0) c OverlapRateTime_5 : 0.000000
245.12/34.06	c (31,0) c OverlapRateTime_6 : 0.000000
245.12/34.06	c (31,0) c OverlapRateTime_7 : 0.000000
245.12/34.06	c (31,0) c OverlapRateTime_total : 0.000000
245.12/34.06	c (31,0) c OverlapRateTime_winner : 0.000000
245.12/34.06	c (31,0) c
245.12/34.06	c (31,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
245.12/34.06	c (31,0) c
245.12/34.06	c (31,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
245.12/34.06	c (31,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
245.12/34.06	c (31,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
245.12/34.06	c (31,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
245.12/34.06	c (31,0) c | adaptStrategeis       |      False |      False |      False |      False |      False |      False |      False |      False |
245.12/34.06	c (31,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
245.12/34.06	c (31,0) c | Initial random_seed   |   85154721 |  810565224 | 1596109330 |  536046673 |  733227658 | 1032479162 | 1314457730 | 2083730339 |
245.12/34.06	c (31,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
245.12/34.06	c (31,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
245.12/34.06	c (31,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
245.12/34.06	c (31,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
245.12/34.06	c (31,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
245.12/34.06	c (31,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
245.12/34.06	c (31,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
245.12/34.06	c (31,0) c | var_decay             |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
245.12/34.06	c (31,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
245.12/34.06	c (31,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
245.12/34.06	c (31,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
245.12/34.06	c (31,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
245.12/34.06	c (31,0) 
245.12/34.06	c (31,0) s SATISFIABLE
245.12/34.09	c (31,0) SatSolver.solve End
245.12/34.09	c (31,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
245.12/34.09	c (31,0) Show results Begin
245.38/34.19	c (31,0) x[0] = 155
245.38/34.19	c (31,0) x[1] = 136
245.38/34.19	c (31,0) x[2] = 172
245.38/34.19	c (31,0) x[3] = 44
245.38/34.19	c (31,0) x[4] = 94
245.38/34.19	c (31,0) x[5] = 123
245.38/34.19	c (31,0) x[6] = 138
245.38/34.19	c (31,0) x[7] = 105
245.38/34.19	c (31,0) x[8] = 136
245.38/34.19	c (31,0) x[9] = 156
245.38/34.19	c (31,0) x[10] = 54
245.38/34.19	c (31,0) x[11] = 177
245.38/34.19	c (31,0) x[12] = 94
245.38/34.19	c (31,0) x[13] = 172
245.38/34.19	c (31,0) x[14] = 123
245.38/34.19	c (31,0) x[15] = 44
245.38/34.19	c (31,0) x[16] = 136
245.38/34.19	c (31,0) x[17] = 54
245.38/34.19	c (31,0) x[18] = 0
245.38/34.19	c (31,0) x[19] = 155
245.38/34.19	c (31,0) x[20] = 0
245.38/34.19	c (31,0) x[21] = 78
245.38/34.19	c (31,0) x[22] = 105
245.38/34.19	c (31,0) x[23] = 0
245.38/34.19	c (31,0) y[0] = 146
245.38/34.19	c (31,0) y[1] = 145
245.38/34.19	c (31,0) y[2] = 167
245.38/34.19	c (31,0) y[3] = 159
245.38/34.19	c (31,0) y[4] = 105
245.38/34.19	c (31,0) y[5] = 130
245.38/34.19	c (31,0) y[6] = 130
245.38/34.19	c (31,0) y[7] = 98
245.38/34.19	c (31,0) y[8] = 147
245.38/34.19	c (31,0) y[9] = 146
245.38/34.19	c (31,0) y[10] = 145
245.38/34.19	c (31,0) y[11] = 146
245.38/34.19	c (31,0) y[12] = 116
245.38/34.19	c (31,0) y[13] = 172
245.38/34.19	c (31,0) y[14] = 98
245.38/34.19	c (31,0) y[15] = 169
245.38/34.19	c (31,0) y[16] = 167
245.38/34.19	c (31,0) y[17] = 105
245.38/34.19	c (31,0) y[18] = 159
245.38/34.19	c (31,0) y[19] = 98
245.38/34.19	c (31,0) y[20] = 105
245.38/34.19	c (31,0) y[21] = 145
245.38/34.19	c (31,0) y[22] = 0
245.38/34.19	c (31,0) y[23] = 0
245.38/34.19	s SATISFIABLE
245.38/34.19	v <instantiation>
245.38/34.19	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] x[17] x[18] x[19] x[20] x[21] x[22] x[23] 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] y[17] y[18] y[19] y[20] y[21] y[22] y[23]</list>
245.38/34.19	v     <values>155 136 172 44 94 123 138 105 136 156 54 177 94 172 123 44 136 54 0 155 0 78 105 0 146 145 167 159 105 130 130 98 147 146 145 146 116 172 98 169 167 105 159 98 105 145 0 0</values>
245.38/34.19	v </instantiation>
245.38/34.19	c (31,0) Show results End
245.38/34.19	c (31,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 17 MiB used (max 0 MiB)
245.38/34.19	c (31,0) 31,31,STOP-AFTER(ALL)
245.38/34.19	c END-Prog: Tue Sep 24 16:10:12 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 (13554 MiB free)
  memory of node 1: 16384 MiB (12071 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4405589-1569337878/watcher-4405589-1569337878 -o /var/tmp/evaluation-result-4405589-1569337878/solver-4405589-1569337878 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node105-1569332278-29365 --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-4405589-1569337878.xml 

running on 8 cores: 0,2,4,6,1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=30399, runsolver pid=30396
Current StackSize limit: 8192 KiB


[startup+0.100117 s]*
/proc/loadavg: 7.22 6.45 4.09 2/210 30421
/proc/meminfo: memFree=26146512/32770624 swapFree=66956836/67108860
[pid=30399] ppid=30396 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/30399/stat : 30399 (scop.sh) S 30396 30399 29338 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 510045599 115843072 349 33554432000 4194304 5098028 140733126619360 140733126616616 140414123336316 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 17805312 140733126623996 140733126624344 140733126624344 140733126627273 0
/proc/30399/statm: 28282 349 296 221 0 87 0
[pid=30402] ppid=30399 vsize=27314120 memory=107656 CPUtime=0.1 cores=0-7
/proc/30402/stat : 30402 (java) S 30399 30399 29338 0 -1 1077944320 6513 0 0 0 8 2 0 0 20 0 20 0 510045600 27969658880 26914 33554432000 4194304 4196468 140735354252704 140735354235248 140200205827831 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 34025472 140735354258118 140735354258566 140735354258566 140735354261455 0
/proc/30402/statm: 6828530 26914 2802 1 0 6790935 0
[pid=30402/tid=30403] ppid=30399 vsize=27314120 memory=8317482817917895235 CPUtime=0.09 cores=0-7
/proc/30402/task/30403/stat : 30403 (java) R 30399 30399 29338 0 -1 4202560 4611 0 0 0 7 2 0 0 20 0 20 0 510045600 27969658880 26914 33554432000 4194304 4196468 140735354252704 140200177651384 140200198069221 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34025472 140735354258118 140735354258566 140735354258566 140735354261455 0
[pid=30402/tid=30404] ppid=30399 vsize=27314120 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/30402/task/30404/stat : 30404 (java) S 30399 30399 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510045602 27969658880 26978 33554432000 4194304 4196468 140735354252704 140200210070416 140200205838037 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34025472 140735354258118 140735354258566 140735354258566 140735354261455 0
[pid=30402/tid=30405] ppid=30399 vsize=27314120 memory=140192921376384 CPUtime=0 cores=0-7
/proc/30402/task/30405/stat : 30405 (java) S 30399 30399 29338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510045602 27969658880 26978 33554432000 4194304 4196468 140735354252704 140200024226576 140200205838037 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34025472 140735354258118 140735354258566 140735354258566 140735354261455 0
[pid=30402/tid=30406] ppid=30399 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30402/task/30406/stat : 30406 (java) S 30399 30399 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510045602 27969658880 26978 33554432000 4194304 4196468 140735354252704 140200023174288 140200205838037 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34025472 140735354258118 140735354258566 140735354258566 140735354261455 0
[pid=30402/tid=30407] ppid=30399 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30402/task/30407/stat : 30407 (java) S 30399 30399 29338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510045602 27969658880 26978 33554432000 4194304 4196468 140735354252704 140200022121488 140200205838037 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34025472 140735354258118 140735354258566 140735354258566 140735354261455 0
[pid=30402/tid=30408] ppid=30399 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30402/task/30408/stat : 30408 (java) S 30399 30399 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510045602 27969658880 26978 33554432000 4194304 4196468 140735354252704 140200021068176 140200205838037 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34025472 140735354258118 140735354258566 140735354258566 140735354261455 0
[pid=30402/tid=30409] ppid=30399 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/30402/task/30409/stat : 30409 (java) S 30399 30399 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510045602 27969658880 26978 33554432000 4194304 4196468 140735354252704 140200020015376 140200205838037 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34025472 140735354258118 140735354258566 140735354258566 140735354261455 0
[pid=30402/tid=30410] ppid=30399 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30402/task/30410/stat : 30410 (java) S 30399 30399 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510045602 27969658880 26978 33554432000 4194304 4196468 140735354252704 140200018963088 140200205838037 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34025472 140735354258118 140735354258566 140735354258566 140735354261455 0
[pid=30402/tid=30411] ppid=30399 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30402/task/30411/stat : 30411 (java) S 30399 30399 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510045602 27969658880 26978 33554432000 4194304 4196468 140735354252704 140200017910288 140200205838037 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34025472 140735354258118 140735354258566 140735354258566 140735354261455 0
[pid=30402/tid=30412] ppid=30399 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30402/task/30412/stat : 30412 (java) S 30399 30399 29338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510045604 27969658880 26978 33554432000 4194304 4196468 140735354252704 140198458374768 140200205838978 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34025472 140735354258118 140735354258566 140735354258566 140735354261455 0
[pid=30402/tid=30413] ppid=30399 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30402/task/30413/stat : 30413 (java) S 30399 30399 29338 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 510045604 27969658880 26978 33554432000 4194304 4196468 140735354252704 140198067299616 140200205838037 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34025472 140735354258118 140735354258566 140735354258566 140735354261455 0
[pid=30402/tid=30414] ppid=30399 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30402/task/30414/stat : 30414 (java) S 30399 30399 29338 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 510045605 27969658880 26978 33554432000 4194304 4196468 140735354252704 140197933078128 140200205838037 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34025472 140735354258118 140735354258566 140735354258566 140735354261455 0
[pid=30402/tid=30415] ppid=30399 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30402/task/30415/stat : 30415 (java) S 30399 30399 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510045607 27969658880 26978 33554432000 4194304 4196468 140735354252704 140197558573648 140200205846427 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34025472 140735354258118 140735354258566 140735354258566 140735354261455 0
[pid=30402/tid=30416] ppid=30399 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30402/task/30416/stat : 30416 (java) S 30399 30399 29338 0 -1 1077944384 300 0 0 0 0 0 0 0 20 0 20 0 510045607 27969658880 26978 33554432000 4194304 4196468 140735354252704 140198457321584 140200205838978 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34025472 140735354258118 140735354258566 140735354258566 140735354261455 0
[pid=30402/tid=30417] ppid=30399 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30402/task/30417/stat : 30417 (java) S 30399 30399 29338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510045607 27969658880 26978 33554432000 4194304 4196468 140735354252704 140198456268784 140200205838978 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34025472 140735354258118 140735354258566 140735354258566 140735354261455 0
[pid=30402/tid=30418] ppid=30399 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30402/task/30418/stat : 30418 (java) S 30399 30399 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510045607 27969658880 26978 33554432000 4194304 4196468 140735354252704 140198455216496 140200205838978 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34025472 140735354258118 140735354258566 140735354258566 140735354261455 0
[pid=30402/tid=30419] ppid=30399 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30402/task/30419/stat : 30419 (java) R 30399 30399 29338 0 -1 4202560 285 0 0 0 0 0 0 0 20 0 20 0 510045607 27969658880 26978 33554432000 4194304 4196468 140735354252704 140198454161288 140200184539771 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34025472 140735354258118 140735354258566 140735354258566 140735354261455 0
[pid=30402/tid=30420] ppid=30399 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30402/task/30420/stat : 30420 (java) S 30399 30399 29338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510045607 27969658880 26978 33554432000 4194304 4196468 140735354252704 140197060668256 140200205838037 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34025472 140735354258118 140735354258566 140735354258566 140735354261455 0
[pid=30402/tid=30421] ppid=30399 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/30402/task/30421/stat : 30421 (java) S 30399 30399 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510045607 27969658880 26978 33554432000 4194304 4196468 140735354252704 140198453111600 140200205838978 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34025472 140735354258118 140735354258566 140735354258566 140735354261455 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 109052 KiB

[startup+0.210483 s]*
/proc/loadavg: 7.22 6.45 4.09 3/210 30421
/proc/meminfo: memFree=26125320/32770624 swapFree=66956836/67108860
[pid=30399] ppid=30396 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/30399/stat : 30399 (scop.sh) S 30396 30399 29338 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 510045599 115843072 349 33554432000 4194304 5098028 140733126619360 140733126616616 140414123336316 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 17805312 140733126623996 140733126624344 140733126624344 140733126627273 0
/proc/30399/statm: 28282 349 296 221 0 87 0
[pid=30402] ppid=30399 vsize=27314120 memory=125036 CPUtime=0.24 cores=0-7
/proc/30402/stat : 30402 (java) S 30399 30399 29338 0 -1 1077944320 12101 0 0 0 20 4 0 0 20 0 20 0 510045600 27969658880 31259 33554432000 4194304 4196468 140735354252704 140735354235248 140200205827831 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 34025472 140735354258118 140735354258566 140735354258566 140735354261455 0
/proc/30402/statm: 6828530 31259 2968 1 0 6790935 0
[pid=30402/tid=30403] ppid=30399 vsize=27314120 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/30402/task/30403/stat : 30403 (java) R 30399 30399 29338 0 -1 4202560 9827 0 0 0 16 3 0 0 20 0 20 0 510045600 27969658880 31259 33554432000 4194304 4196468 140735354252704 140200177651792 140200187391364 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34025472 140735354258118 140735354258566 140735354258566 140735354261455 0
[pid=30402/tid=30404] ppid=30399 vsize=27314120 memory=331 CPUtime=0 cores=0-7
/proc/30402/task/30404/stat : 30404 (java) S 30399 30399 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510045602 27969658880 31259 33554432000 4194304 4196468 140735354252704 140200210070416 140200205838037 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34025472 140735354258118 140735354258566 140735354258566 140735354261455 0
[pid=30402/tid=30405] ppid=30399 vsize=27314120 memory=140192921405028 CPUtime=0 cores=0-7
/proc/30402/task/30405/stat : 30405 (java) S 30399 30399 29338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510045602 27969658880 31259 33554432000 4194304 4196468 140735354252704 140200024226576 140200205838037 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34025472 140735354258118 140735354258566 140735354258566 140735354261455 0
[pid=30402/tid=30406] ppid=30399 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/30402/task/30406/stat : 30406 (java) S 30399 30399 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510045602 27969658880 31259 33554432000 4194304 4196468 140735354252704 140200023174288 140200205838037 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34025472 140735354258118 140735354258566 140735354258566 140735354261455 0
[pid=30402/tid=30407] ppid=30399 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30402/task/30407/stat : 30407 (java) S 30399 30399 29338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510045602 27969658880 31259 33554432000 4194304 4196468 140735354252704 140200022121488 140200205838037 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34025472 140735354258118 140735354258566 140735354258566 140735354261455 0
[pid=30402/tid=30408] ppid=30399 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30402/task/30408/stat : 30408 (java) S 30399 30399 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510045602 27969658880 31259 33554432000 4194304 4196468 140735354252704 140200021068176 140200205838037 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34025472 140735354258118 140735354258566 140735354258566 140735354261455 0
[pid=30402/tid=30409] ppid=30399 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/30402/task/30409/stat : 30409 (java) S 30399 30399 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510045602 27969658880 31259 33554432000 4194304 4196468 140735354252704 140200020015376 140200205838037 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34025472 140735354258118 140735354258566 140735354258566 140735354261455 0
[pid=30402/tid=30410] ppid=30399 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30402/task/30410/stat : 30410 (java) S 30399 30399 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510045602 27969658880 31259 33554432000 4194304 4196468 140735354252704 140200018963088 140200205838037 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34025472 140735354258118 140735354258566 140735354258566 140735354261455 0
[pid=30402/tid=30411] ppid=30399 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30402/task/30411/stat : 30411 (java) S 30399 30399 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510045602 27969658880 31259 33554432000 4194304 4196468 140735354252704 140200017910288 140200205838037 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34025472 140735354258118 140735354258566 140735354258566 140735354261455 0
[pid=30402/tid=30412] ppid=30399 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30402/task/30412/stat : 30412 (java) S 30399 30399 29338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510045604 27969658880 31259 33554432000 4194304 4196468 140735354252704 140198458374768 140200205838978 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34025472 140735354258118 140735354258566 140735354258566 140735354261455 0
[pid=30402/tid=30413] ppid=30399 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30402/task/30413/stat : 30413 (java) S 30399 30399 29338 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 510045604 27969658880 31259 33554432000 4194304 4196468 140735354252704 140198067299616 140200205838037 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34025472 140735354258118 140735354258566 140735354258566 140735354261455 0
[pid=30402/tid=30414] ppid=30399 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30402/task/30414/stat : 30414 (java) S 30399 30399 29338 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 510045605 27969658880 31259 33554432000 4194304 4196468 140735354252704 140197933078128 140200205838037 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34025472 140735354258118 140735354258566 140735354258566 140735354261455 0
[pid=30402/tid=30415] ppid=30399 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30402/task/30415/stat : 30415 (java) S 30399 30399 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510045607 27969658880 31259 33554432000 4194304 4196468 140735354252704 140197558573648 140200205846427 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34025472 140735354258118 140735354258566 140735354258566 140735354261455 0
[pid=30402/tid=30416] ppid=30399 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30402/task/30416/stat : 30416 (java) S 30399 30399 29338 0 -1 1077944384 335 0 0 0 0 0 0 0 20 0 20 0 510045607 27969658880 31259 33554432000 4194304 4196468 140735354252704 140198457321584 140200205838978 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34025472 140735354258118 140735354258566 140735354258566 140735354261455 0
[pid=30402/tid=30417] ppid=30399 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30402/task/30417/stat : 30417 (java) S 30399 30399 29338 0 -1 1077944384 152 0 0 0 0 0 0 0 20 0 20 0 510045607 27969658880 31259 33554432000 4194304 4196468 140735354252704 140198456268784 140200205838978 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34025472 140735354258118 140735354258566 140735354258566 140735354261455 0
[pid=30402/tid=30418] ppid=30399 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/30402/task/30418/stat : 30418 (java) S 30399 30399 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510045607 27969658880 31259 33554432000 4194304 4196468 140735354252704 140198455216496 140200205838978 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34025472 140735354258118 140735354258566 140735354258566 140735354261455 0
[pid=30402/tid=30419] ppid=30399 vsize=27314120 memory=-1 CPUtime=0.02 cores=0-7
/proc/30402/task/30419/stat : 30419 (java) S 30399 30399 29338 0 -1 1077944384 431 0 0 0 2 0 0 0 20 0 20 0 510045607 27969658880 31259 33554432000 4194304 4196468 140735354252704 140198454163696 140200205838978 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34025472 140735354258118 140735354258566 140735354258566 140735354261455 0
[pid=30402/tid=30420] ppid=30399 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30402/task/30420/stat : 30420 (java) S 30399 30399 29338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510045607 27969658880 31259 33554432000 4194304 4196468 140735354252704 140197060668256 140200205838037 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34025472 140735354258118 140735354258566 140735354258566 140735354261455 0
[pid=30402/tid=30421] ppid=30399 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/30402/task/30421/stat : 30421 (java) S 30399 30399 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510045607 27969658880 31259 33554432000 4194304 4196468 140735354252704 140198453111600 140200205838978 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34025472 140735354258118 140735354258566 140735354258566 140735354261455 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 126432 KiB

[startup+0.310259 s]*
/proc/loadavg: 7.22 6.45 4.09 2/210 30421
/proc/meminfo: memFree=26113872/32770624 swapFree=66956836/67108860
[pid=30399] ppid=30396 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/30399/stat : 30399 (scop.sh) S 30396 30399 29338 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 510045599 115843072 349 33554432000 4194304 5098028 140733126619360 140733126616616 140414123336316 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 17805312 140733126623996 140733126624344 140733126624344 140733126627273 0
/proc/30399/statm: 28282 349 296 221 0 87 0
[pid=30402] ppid=30399 vsize=27314120 memory=128116 CPUtime=0.43 cores=0-7
/proc/30402/stat : 30402 (java) S 30399 30399 29338 0 -1 1077944320 12460 0 0 0 39 4 0 0 20 0 20 0 510045600 27969658880 32029 33554432000 4194304 4196468 140735354252704 140735354235248 140200205827831 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 34025472 140735354258118 140735354258566 140735354258566 140735354261455 0
/proc/30402/statm: 6828530 32029 3024 1 0 6790935 0
[pid=30402/tid=30403] ppid=30399 vsize=27314120 memory=8317482817917895235 CPUtime=0.29 cores=0-7
/proc/30402/task/30403/stat : 30403 (java) R 30399 30399 29338 0 -1 4202560 10014 0 0 0 26 3 0 0 20 0 20 0 510045600 27969658880 32029 33554432000 4194304 4196468 140735354252704 140200177612816 140200190993384 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34025472 140735354258118 140735354258566 140735354258566 140735354261455 0
[pid=30402/tid=30404] ppid=30399 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30402/task/30404/stat : 30404 (java) S 30399 30399 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510045602 27969658880 32029 33554432000 4194304 4196468 140735354252704 140200210070416 140200205838037 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34025472 140735354258118 140735354258566 140735354258566 140735354261455 0
[pid=30402/tid=30405] ppid=30399 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30402/task/30405/stat : 30405 (java) S 30399 30399 29338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510045602 27969658880 32029 33554432000 4194304 4196468 140735354252704 140200024226576 140200205838037 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34025472 140735354258118 140735354258566 140735354258566 140735354261455 0
[pid=30402/tid=30406] ppid=30399 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30402/task/30406/stat : 30406 (java) S 30399 30399 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510045602 27969658880 32029 33554432000 4194304 4196468 140735354252704 140200023174288 140200205838037 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34025472 140735354258118 140735354258566 140735354258566 140735354261455 0
[pid=30402/tid=30407] ppid=30399 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30402/task/30407/stat : 30407 (java) S 30399 30399 29338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510045602 27969658880 32029 33554432000 4194304 4196468 140735354252704 140200022121488 140200205838037 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34025472 140735354258118 140735354258566 140735354258566 140735354261455 0
[pid=30402/tid=30408] ppid=30399 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30402/task/30408/stat : 30408 (java) S 30399 30399 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510045602 27969658880 32029 33554432000 4194304 4196468 140735354252704 140200021068176 140200205838037 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34025472 140735354258118 140735354258566 140735354258566 140735354261455 0
[pid=30402/tid=30409] ppid=30399 vsize=27314120 memory=140192765799087 CPUtime=0 cores=0-7
/proc/30402/task/30409/stat : 30409 (java) S 30399 30399 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510045602 27969658880 32029 33554432000 4194304 4196468 140735354252704 140200020015376 140200205838037 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34025472 140735354258118 140735354258566 140735354258566 140735354261455 0
[pid=30402/tid=30410] ppid=30399 vsize=27314120 memory=140192765801392 CPUtime=0 cores=0-7
/proc/30402/task/30410/stat : 30410 (java) S 30399 30399 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510045602 27969658880 32029 33554432000 4194304 4196468 140735354252704 140200018963088 140200205838037 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34025472 140735354258118 140735354258566 140735354258566 140735354261455 0
[pid=30402/tid=30411] ppid=30399 vsize=27314120 memory=140192765803696 CPUtime=0 cores=0-7
/proc/30402/task/30411/stat : 30411 (java) S 30399 30399 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510045602 27969658880 32029 33554432000 4194304 4196468 140735354252704 140200017910288 140200205838037 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34025472 140735354258118 140735354258566 140735354258566 140735354261455 0
[pid=30402/tid=30412] ppid=30399 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30402/task/30412/stat : 30412 (java) S 30399 30399 29338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510045604 27969658880 32029 33554432000 4194304 4196468 140735354252704 140198458374768 140200205838978 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34025472 140735354258118 140735354258566 140735354258566 140735354261455 0
[pid=30402/tid=30413] ppid=30399 vsize=27314120 memory=280385531621264 CPUtime=0 cores=0-7
/proc/30402/task/30413/stat : 30413 (java) S 30399 30399 29338 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 510045604 27969658880 32029 33554432000 4194304 4196468 140735354252704 140198067299616 140200205838037 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34025472 140735354258118 140735354258566 140735354258566 140735354261455 0
[pid=30402/tid=30414] ppid=30399 vsize=27314120 memory=280385531618960 CPUtime=0 cores=0-7
/proc/30402/task/30414/stat : 30414 (java) S 30399 30399 29338 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 510045605 27969658880 32029 33554432000 4194304 4196468 140735354252704 140197933078128 140200205838037 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34025472 140735354258118 140735354258566 140735354258566 140735354261455 0
[pid=30402/tid=30415] ppid=30399 vsize=27314120 memory=280385531625872 CPUtime=0 cores=0-7
/proc/30402/task/30415/stat : 30415 (java) S 30399 30399 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510045607 27969658880 32029 33554432000 4194304 4196468 140735354252704 140197558573648 140200205846427 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34025472 140735354258118 140735354258566 140735354258566 140735354261455 0
[pid=30402/tid=30416] ppid=30399 vsize=27314120 memory=280385531567152 CPUtime=0.01 cores=0-7
/proc/30402/task/30416/stat : 30416 (java) S 30399 30399 29338 0 -1 1077944384 355 0 0 0 1 0 0 0 20 0 20 0 510045607 27969658880 32029 33554432000 4194304 4196468 140735354252704 140198457321584 140200205838978 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34025472 140735354258118 140735354258566 140735354258566 140735354261455 0
[pid=30402/tid=30417] ppid=30399 vsize=27314120 memory=280385531639696 CPUtime=0.02 cores=0-7
/proc/30402/task/30417/stat : 30417 (java) S 30399 30399 29338 0 -1 1077944384 259 0 0 0 2 0 0 0 20 0 20 0 510045607 27969658880 32029 33554432000 4194304 4196468 140735354252704 140198456268784 140200205838978 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34025472 140735354258118 140735354258566 140735354258566 140735354261455 0
[pid=30402/tid=30418] ppid=30399 vsize=27314120 memory=280385531646608 CPUtime=0.01 cores=0-7
/proc/30402/task/30418/stat : 30418 (java) S 30399 30399 29338 0 -1 1077944384 24 0 0 0 1 0 0 0 20 0 20 0 510045607 27969658880 32029 33554432000 4194304 4196468 140735354252704 140198455216496 140200205838978 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34025472 140735354258118 140735354258566 140735354258566 140735354261455 0
[pid=30402/tid=30419] ppid=30399 vsize=27314120 memory=280385531644304 CPUtime=0.07 cores=0-7
/proc/30402/task/30419/stat : 30419 (java) S 30399 30399 29338 0 -1 1077944384 453 0 0 0 7 0 0 0 20 0 20 0 510045607 27969658880 32029 33554432000 4194304 4196468 140735354252704 140198454163696 140200205838978 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34025472 140735354258118 140735354258566 140735354258566 140735354261455 0
[pid=30402/tid=30420] ppid=30399 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30402/task/30420/stat : 30420 (java) S 30399 30399 29338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510045607 27969658880 32029 33554432000 4194304 4196468 140735354252704 140197060668256 140200205838037 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34025472 140735354258118 140735354258566 140735354258566 140735354261455 0
[pid=30402/tid=30421] ppid=30399 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/30402/task/30421/stat : 30421 (java) S 30399 30399 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510045607 27969658880 32029 33554432000 4194304 4196468 140735354252704 140198453111600 140200205838978 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34025472 140735354258118 140735354258566 140735354258566 140735354261455 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 129512 KiB

[startup+0.7009 s]
/proc/loadavg: 7.22 6.45 4.09 4/210 30421
/proc/meminfo: memFree=26099292/32770624 swapFree=66956836/67108860
[pid=30399] ppid=30396 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/30399/stat : 30399 (scop.sh) S 30396 30399 29338 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 510045599 115843072 349 33554432000 4194304 5098028 140733126619360 140733126616616 140414123336316 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 17805312 140733126623996 140733126624344 140733126624344 140733126627273 0
/proc/30399/statm: 28282 349 296 221 0 87 0
[pid=30402] ppid=30399 vsize=27322516 memory=163864 CPUtime=0.99 cores=0-7
/proc/30402/stat : 30402 (java) S 30399 30399 29338 0 -1 1077944320 20243 0 0 0 92 7 0 0 20 0 20 0 510045600 27978256384 40966 33554432000 4194304 4196468 140735354252704 140735354235248 140200205827831 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 34025472 140735354258118 140735354258566 140735354258566 140735354261455 0
/proc/30402/statm: 6830629 40966 3201 1 0 6791959 0
[pid=30402/tid=30403] ppid=30399 vsize=27322516 memory=0 CPUtime=0.68 cores=0-7
/proc/30402/task/30403/stat : 30403 (java) R 30399 30399 29338 0 -1 4202560 17260 0 0 0 62 6 0 0 20 0 20 0 510045600 27978256384 40966 33554432000 4194304 4196468 140735354252704 140200177645216 140200205839766 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34025472 140735354258118 140735354258566 140735354258566 140735354261455 0
[pid=30402/tid=30404] ppid=30399 vsize=27322516 memory=140192766010224 CPUtime=0 cores=0-7
/proc/30402/task/30404/stat : 30404 (java) S 30399 30399 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510045602 27978256384 40966 33554432000 4194304 4196468 140735354252704 140200210070416 140200205838037 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34025472 140735354258118 140735354258566 140735354258566 140735354261455 0
[pid=30402/tid=30405] ppid=30399 vsize=27322516 memory=0 CPUtime=0 cores=0-7
/proc/30402/task/30405/stat : 30405 (java) S 30399 30399 29338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510045602 27978256384 40966 33554432000 4194304 4196468 140735354252704 140200024226576 140200205838037 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34025472 140735354258118 140735354258566 140735354258566 140735354261455 0
[pid=30402/tid=30406] ppid=30399 vsize=27322516 memory=784 CPUtime=0 cores=0-7
/proc/30402/task/30406/stat : 30406 (java) S 30399 30399 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510045602 27978256384 40966 33554432000 4194304 4196468 140735354252704 140200023174288 140200205838037 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34025472 140735354258118 140735354258566 140735354258566 140735354261455 0

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

/proc/30423/task/30427/stat : 30427 (java) S 30399 30399 29338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510045852 8616062976 29975 33554432000 4194304 4196468 140720928128592 139862480521744 139862677173973 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14569472 140720928130015 140720928130182 140720928130182 140720928133071 0
[pid=30423/tid=30428] ppid=30399 vsize=8414124 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/30423/task/30428/stat : 30428 (java) S 30399 30399 29338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510045852 8616062976 29975 33554432000 4194304 4196468 140720928128592 139862479469200 139862677173973 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14569472 140720928130015 140720928130182 140720928130182 140720928133071 0
[pid=30423/tid=30429] ppid=30399 vsize=8414124 memory=13563791027735085 CPUtime=0 cores=0-7
/proc/30423/task/30429/stat : 30429 (java) S 30399 30399 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510045852 8616062976 29975 33554432000 4194304 4196468 140720928128592 139862478416656 139862677173973 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14569472 140720928130015 140720928130182 140720928130182 140720928133071 0
[pid=30423/tid=30430] ppid=30399 vsize=8414124 memory=371292 CPUtime=0 cores=0-7
/proc/30423/task/30430/stat : 30430 (java) S 30399 30399 29338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510045852 8616062976 29975 33554432000 4194304 4196468 140720928128592 139862477364112 139862677173973 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14569472 140720928130015 140720928130182 140720928130182 140720928133071 0
[pid=30423/tid=30431] ppid=30399 vsize=8414124 memory=900 CPUtime=0 cores=0-7
/proc/30423/task/30431/stat : 30431 (java) S 30399 30399 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510045852 8616062976 29975 33554432000 4194304 4196468 140720928128592 139862476311568 139862677173973 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14569472 140720928130015 140720928130182 140720928130182 140720928133071 0
[pid=30423/tid=30432] ppid=30399 vsize=8414124 memory=1444 CPUtime=0 cores=0-7
/proc/30423/task/30432/stat : 30432 (java) S 30399 30399 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510045852 8616062976 29975 33554432000 4194304 4196468 140720928128592 139862475259024 139862677173973 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14569472 140720928130015 140720928130182 140720928130182 140720928133071 0
[pid=30423/tid=30433] ppid=30399 vsize=8414124 memory=1976 CPUtime=0 cores=0-7
/proc/30423/task/30433/stat : 30433 (java) S 30399 30399 29338 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 510045853 8616062976 29975 33554432000 4194304 4196468 140720928128592 139861770557424 139862677174914 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14569472 140720928130015 140720928130182 140720928130182 140720928133071 0
[pid=30423/tid=30434] ppid=30399 vsize=8414124 memory=2580 CPUtime=0 cores=0-7
/proc/30423/task/30434/stat : 30434 (java) S 30399 30399 29338 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 510045854 8616062976 29975 33554432000 4194304 4196468 140720928128592 139861315019680 139862677173973 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14569472 140720928130015 140720928130182 140720928130182 140720928133071 0
[pid=30423/tid=30435] ppid=30399 vsize=8414124 memory=3624 CPUtime=0 cores=0-7
/proc/30423/task/30435/stat : 30435 (java) S 30399 30399 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510045854 8616062976 29975 33554432000 4194304 4196468 140720928128592 139861046584304 139862677173973 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14569472 140720928130015 140720928130182 140720928130182 140720928133071 0
[pid=30423/tid=30436] ppid=30399 vsize=8414124 memory=53360 CPUtime=0 cores=0-7
/proc/30423/task/30436/stat : 30436 (java) S 30399 30399 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510045856 8616062976 29975 33554432000 4194304 4196468 140720928128592 139860672075984 139862677182363 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14569472 140720928130015 140720928130182 140720928130182 140720928133071 0
[pid=30423/tid=30437] ppid=30399 vsize=8414124 memory=984 CPUtime=0.05 cores=0-7
/proc/30423/task/30437/stat : 30437 (java) S 30399 30399 29338 0 -1 1077944384 576 0 0 0 5 0 0 0 20 0 24 0 510045856 8616062976 29975 33554432000 4194304 4196468 140720928128592 139861769505264 139862677174914 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14569472 140720928130015 140720928130182 140720928130182 140720928133071 0
[pid=30423/tid=30438] ppid=30399 vsize=8414124 memory=2016 CPUtime=0.06 cores=0-7
/proc/30423/task/30438/stat : 30438 (java) S 30399 30399 29338 0 -1 1077944384 284 0 0 0 6 0 0 0 20 0 24 0 510045856 8616062976 29975 33554432000 4194304 4196468 140720928128592 139861768452720 139862677174914 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14569472 140720928130015 140720928130182 140720928130182 140720928133071 0
[pid=30423/tid=30439] ppid=30399 vsize=8414124 memory=1408 CPUtime=0.05 cores=0-7
/proc/30423/task/30439/stat : 30439 (java) S 30399 30399 29338 0 -1 1077944384 305 0 0 0 5 0 0 0 20 0 24 0 510045856 8616062976 29975 33554432000 4194304 4196468 140720928128592 139861767400176 139862677174914 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14569472 140720928130015 140720928130182 140720928130182 140720928133071 0
[pid=30423/tid=30440] ppid=30399 vsize=8414124 memory=1548 CPUtime=0.18 cores=0-7
/proc/30423/task/30440/stat : 30440 (java) S 30399 30399 29338 0 -1 1077944384 539 0 0 0 18 0 0 0 20 0 24 0 510045856 8616062976 29975 33554432000 4194304 4196468 140720928128592 139861766347632 139862677174914 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14569472 140720928130015 140720928130182 140720928130182 140720928133071 0
[pid=30423/tid=30441] ppid=30399 vsize=8414124 memory=7552 CPUtime=0 cores=0-7
/proc/30423/task/30441/stat : 30441 (java) S 30399 30399 29338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510045856 8616062976 29975 33554432000 4194304 4196468 140720928128592 139860174170336 139862677173973 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14569472 140720928130015 140720928130182 140720928130182 140720928133071 0
[pid=30423/tid=30442] ppid=30399 vsize=8414124 memory=3608 CPUtime=0.01 cores=0-7
/proc/30423/task/30442/stat : 30442 (java) S 30399 30399 29338 0 -1 1077944384 3 0 0 0 0 1 0 0 20 0 24 0 510045857 8616062976 29975 33554432000 4194304 4196468 140720928128592 139861765294512 139862677174914 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14569472 140720928130015 140720928130182 140720928130182 140720928133071 0
[pid=30423/tid=30444] ppid=30399 vsize=8414124 memory=304556123141439514 CPUtime=0 cores=0-7
/proc/30423/task/30444/stat : 30444 (java) S 30399 30399 29338 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 510045922 8616062976 29975 33554432000 4194304 4196468 140720928128592 139861757260992 139862677188377 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 14569472 140720928130015 140720928130182 140720928130182 140720928133071 0
[pid=30423/tid=30446] ppid=30399 vsize=8414124 memory=288230621803970871 CPUtime=0 cores=0-7
/proc/30423/task/30446/stat : 30446 (java) S 30399 30399 29338 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 24 0 510045922 8616062976 29975 33554432000 4194304 4196468 140720928128592 139859503070992 139862677185693 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 14569472 140720928130015 140720928130182 140720928130182 140720928133071 0
[pid=30423/tid=30447] ppid=30399 vsize=8414124 memory=13563791027735085 CPUtime=0 cores=0-7
/proc/30423/task/30447/stat : 30447 (java) S 30399 30399 29338 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 510045923 8616062976 29975 33554432000 4194304 4196468 140720928128592 139859771506576 139862677185693 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 14569472 140720928130015 140720928130182 140720928130182 140720928133071 0
[pid=30423/tid=30448] ppid=30399 vsize=8414124 memory=140196322476616 CPUtime=0 cores=0-7
/proc/30423/task/30448/stat : 30448 (java) S 30399 30399 29338 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 24 0 510045925 8616062976 29975 33554432000 4194304 4196468 140720928128592 139859234643632 139862677173973 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14569472 140720928130015 140720928130182 140720928130182 140720928133071 0
Current children cumulated CPU time: 244.23 s
Current children cumulated vsize: 9246896 KiB
Current children cumulated memory: 545772 KiB

[startup+34.0011 s]*
/proc/loadavg: 6.94 6.48 4.19 2/218 30466
/proc/meminfo: memFree=25706236/32770624 swapFree=66956836/67108860
[pid=30399] ppid=30396 vsize=113128 memory=1476 CPUtime=5.56 cores=0-7
/proc/30399/stat : 30399 (scop.sh) S 30396 30399 29338 0 -1 4202496 582 26966 0 0 0 0 534 22 20 0 1 0 510045599 115843072 369 33554432000 4194304 5098028 140733126619360 140733126616104 140414123336316 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 17805312 140733126623996 140733126624344 140733126624344 140733126627273 0
/proc/30399/statm: 28282 369 311 221 0 87 0
[pid=30423] ppid=30399 vsize=8414124 memory=119900 CPUtime=1.15 cores=0-7
/proc/30423/stat : 30423 (java) S 30399 30399 29338 0 -1 1077944320 20469 0 0 0 108 7 0 0 20 0 24 0 510045850 8616062976 29975 33554432000 4194304 4196468 140720928128592 140720928111136 139862677163767 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 14569472 140720928130015 140720928130182 140720928130182 140720928133071 0
/proc/30423/statm: 2103531 29975 3207 1 0 2064875 0
[pid=30443] ppid=30423 vsize=711448 memory=424468 CPUtime=238.41 cores=0-7
/proc/30443/stat : 30443 (manyglucose-4.1) S 30423 30399 29338 0 -1 1077944320 189618 0 0 0 23793 48 0 0 20 0 2 0 510045922 728522752 106117 33554432000 4194304 4454172 140734669923472 140734669921856 140455970655991 0 4 0 8388610 18446744073709551615 0 0 17 4 0 0 0 0 0 6552832 6554400 13500416 140734669927245 140734669927452 140734669927452 140734669930422 0
/proc/30443/statm: 177862 106117 422 64 0 173530 0
[pid=30443/tid=30454] ppid=30423 vsize=711448 memory=784 CPUtime=30.51 cores=0-7
/proc/30443/task/30454/stat : 30454 (manyglucose-4.1) R 30423 30399 29338 0 -1 4202560 19284 0 0 0 3044 7 0 0 20 0 2 0 510045947 728522752 106117 33554432000 4194304 4454172 140734669923472 140455900187752 4329107 0 4 0 8388610 0 0 0 -1 2 0 0 0 0 0 6552832 6554400 13500416 140734669927245 140734669927452 140734669927452 140734669930422 0
[pid=30423/tid=30424] ppid=30399 vsize=8414124 memory=8317482817917895235 CPUtime=0.75 cores=0-7
/proc/30423/task/30424/stat : 30424 (java) S 30399 30399 29338 0 -1 1077944384 17368 0 0 0 70 5 0 0 20 0 24 0 510045850 8616062976 29975 33554432000 4194304 4196468 140720928128592 139862649003936 139862677173973 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14569472 140720928130015 140720928130182 140720928130182 140720928133071 0
[pid=30423/tid=30425] ppid=30399 vsize=8414124 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/30423/task/30425/stat : 30425 (java) S 30399 30399 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510045852 8616062976 29975 33554432000 4194304 4196468 140720928128592 139862681405712 139862677173973 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14569472 140720928130015 140720928130182 140720928130182 140720928133071 0
[pid=30423/tid=30426] ppid=30399 vsize=8414124 memory=7668346397076836971 CPUtime=0 cores=0-7
/proc/30423/task/30426/stat : 30426 (java) S 30399 30399 29338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510045852 8616062976 29975 33554432000 4194304 4196468 140720928128592 139862481574288 139862677173973 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14569472 140720928130015 140720928130182 140720928130182 140720928133071 0
[pid=30423/tid=30427] ppid=30399 vsize=8414124 memory=7596288803038909035 CPUtime=0 cores=0-7
/proc/30423/task/30427/stat : 30427 (java) S 30399 30399 29338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510045852 8616062976 29975 33554432000 4194304 4196468 140720928128592 139862480521744 139862677173973 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14569472 140720928130015 140720928130182 140720928130182 140720928133071 0
[pid=30423/tid=30428] ppid=30399 vsize=8414124 memory=8100678758273083751 CPUtime=0 cores=0-7
/proc/30423/task/30428/stat : 30428 (java) S 30399 30399 29338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510045852 8616062976 29975 33554432000 4194304 4196468 140720928128592 139862479469200 139862677173973 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14569472 140720928130015 140720928130182 140720928130182 140720928133071 0
[pid=30423/tid=30429] ppid=30399 vsize=8414124 memory=8100678758273083751 CPUtime=0 cores=0-7
/proc/30423/task/30429/stat : 30429 (java) S 30399 30399 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510045852 8616062976 29975 33554432000 4194304 4196468 140720928128592 139862478416656 139862677173973 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14569472 140720928130015 140720928130182 140720928130182 140720928133071 0
[pid=30423/tid=30430] ppid=30399 vsize=8414124 memory=280385531912712 CPUtime=0 cores=0-7
/proc/30423/task/30430/stat : 30430 (java) S 30399 30399 29338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510045852 8616062976 29975 33554432000 4194304 4196468 140720928128592 139862477364112 139862677173973 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14569472 140720928130015 140720928130182 140720928130182 140720928133071 0
[pid=30423/tid=30431] ppid=30399 vsize=8414124 memory=6944656592455360608 CPUtime=0 cores=0-7
/proc/30423/task/30431/stat : 30431 (java) S 30399 30399 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510045852 8616062976 29975 33554432000 4194304 4196468 140720928128592 139862476311568 139862677173973 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14569472 140720928130015 140720928130182 140720928130182 140720928133071 0
[pid=30423/tid=30432] ppid=30399 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/30423/task/30432/stat : 30432 (java) S 30399 30399 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510045852 8616062976 29975 33554432000 4194304 4196468 140720928128592 139862475259024 139862677173973 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14569472 140720928130015 140720928130182 140720928130182 140720928133071 0
[pid=30423/tid=30433] ppid=30399 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/30423/task/30433/stat : 30433 (java) S 30399 30399 29338 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 510045853 8616062976 29975 33554432000 4194304 4196468 140720928128592 139861770557424 139862677174914 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14569472 140720928130015 140720928130182 140720928130182 140720928133071 0
[pid=30423/tid=30434] ppid=30399 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/30423/task/30434/stat : 30434 (java) S 30399 30399 29338 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 510045854 8616062976 29975 33554432000 4194304 4196468 140720928128592 139861315019680 139862677173973 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14569472 140720928130015 140720928130182 140720928130182 140720928133071 0
[pid=30423/tid=30435] ppid=30399 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/30423/task/30435/stat : 30435 (java) S 30399 30399 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510045854 8616062976 29975 33554432000 4194304 4196468 140720928128592 139861046584304 139862677173973 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14569472 140720928130015 140720928130182 140720928130182 140720928133071 0
[pid=30423/tid=30436] ppid=30399 vsize=8414124 memory=3760822563877957937 CPUtime=0 cores=0-7
/proc/30423/task/30436/stat : 30436 (java) S 30399 30399 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510045856 8616062976 29975 33554432000 4194304 4196468 140720928128592 139860672075984 139862677182363 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14569472 140720928130015 140720928130182 140720928130182 140720928133071 0
[pid=30423/tid=30437] ppid=30399 vsize=8414124 memory=6443051622293590103 CPUtime=0.05 cores=0-7
/proc/30423/task/30437/stat : 30437 (java) S 30399 30399 29338 0 -1 1077944384 576 0 0 0 5 0 0 0 20 0 24 0 510045856 8616062976 29975 33554432000 4194304 4196468 140720928128592 139861769505264 139862677174914 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14569472 140720928130015 140720928130182 140720928130182 140720928133071 0
[pid=30423/tid=30438] ppid=30399 vsize=8414124 memory=-8412656575690203275 CPUtime=0.06 cores=0-7
/proc/30423/task/30438/stat : 30438 (java) S 30399 30399 29338 0 -1 1077944384 284 0 0 0 6 0 0 0 20 0 24 0 510045856 8616062976 29975 33554432000 4194304 4196468 140720928128592 139861768452720 139862677174914 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14569472 140720928130015 140720928130182 140720928130182 140720928133071 0
[pid=30423/tid=30439] ppid=30399 vsize=8414124 memory=0 CPUtime=0.05 cores=0-7
/proc/30423/task/30439/stat : 30439 (java) S 30399 30399 29338 0 -1 1077944384 305 0 0 0 5 0 0 0 20 0 24 0 510045856 8616062976 29975 33554432000 4194304 4196468 140720928128592 139861767400176 139862677174914 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14569472 140720928130015 140720928130182 140720928130182 140720928133071 0
[pid=30423/tid=30440] ppid=30399 vsize=8414124 memory=0 CPUtime=0.18 cores=0-7
/proc/30423/task/30440/stat : 30440 (java) S 30399 30399 29338 0 -1 1077944384 539 0 0 0 18 0 0 0 20 0 24 0 510045856 8616062976 29975 33554432000 4194304 4196468 140720928128592 139861766347632 139862677174914 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14569472 140720928130015 140720928130182 140720928130182 140720928133071 0
[pid=30423/tid=30441] ppid=30399 vsize=8414124 memory=616 CPUtime=0 cores=0-7
/proc/30423/task/30441/stat : 30441 (java) S 30399 30399 29338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510045856 8616062976 29975 33554432000 4194304 4196468 140720928128592 139860174170336 139862677173973 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14569472 140720928130015 140720928130182 140720928130182 140720928133071 0
[pid=30423/tid=30442] ppid=30399 vsize=8414124 memory=2832 CPUtime=0.01 cores=0-7
/proc/30423/task/30442/stat : 30442 (java) S 30399 30399 29338 0 -1 1077944384 3 0 0 0 0 1 0 0 20 0 24 0 510045857 8616062976 29975 33554432000 4194304 4196468 140720928128592 139861765294512 139862677174914 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14569472 140720928130015 140720928130182 140720928130182 140720928133071 0
[pid=30423/tid=30444] ppid=30399 vsize=8414124 memory=1620 CPUtime=0 cores=0-7
/proc/30423/task/30444/stat : 30444 (java) S 30399 30399 29338 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 510045922 8616062976 29975 33554432000 4194304 4196468 140720928128592 139861757260992 139862677188377 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 14569472 140720928130015 140720928130182 140720928130182 140720928133071 0
[pid=30423/tid=30446] ppid=30399 vsize=8414124 memory=1136 CPUtime=0 cores=0-7
/proc/30423/task/30446/stat : 30446 (java) S 30399 30399 29338 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 24 0 510045922 8616062976 29975 33554432000 4194304 4196468 140720928128592 139859503070992 139862677185693 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 14569472 140720928130015 140720928130182 140720928130182 140720928133071 0
[pid=30423/tid=30447] ppid=30399 vsize=8414124 memory=1072 CPUtime=0 cores=0-7
/proc/30423/task/30447/stat : 30447 (java) S 30399 30399 29338 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 510045923 8616062976 29975 33554432000 4194304 4196468 140720928128592 139859771506576 139862677185693 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 14569472 140720928130015 140720928130182 140720928130182 140720928133071 0
[pid=30423/tid=30448] ppid=30399 vsize=8414124 memory=6196 CPUtime=0 cores=0-7
/proc/30423/task/30448/stat : 30448 (java) S 30399 30399 29338 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 24 0 510045925 8616062976 29975 33554432000 4194304 4196468 140720928128592 139859234643632 139862677173973 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14569472 140720928130015 140720928130182 140720928130182 140720928133071 0
Current children cumulated CPU time: 245.12 s
Current children cumulated vsize: 9238700 KiB
Current children cumulated memory: 545844 KiB

[startup+34.201 s]
/proc/loadavg: 6.94 6.48 4.19 2/218 30466
/proc/meminfo: memFree=25706236/32770624 swapFree=66956836/67108860
[pid=30399] ppid=30396 vsize=113128 memory=1476 CPUtime=5.56 cores=0-7
/proc/30399/stat : 30399 (scop.sh) S 30396 30399 29338 0 -1 4202496 582 26966 0 0 0 0 534 22 20 0 1 0 510045599 115843072 369 33554432000 4194304 5098028 140733126619360 140733126616104 140414123336316 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 17805312 140733126623996 140733126624344 140733126624344 140733126627273 0
/proc/30399/statm: 28282 369 311 221 0 87 0
[pid=30423] ppid=30399 vsize=8151972 memory=134260 CPUtime=239.98 cores=0-7
/proc/30423/stat : 30423 (java) S 30399 30399 29338 0 -1 1077944320 22473 189633 0 0 143 9 23797 49 20 0 21 0 510045850 8347619328 33565 33554432000 4194304 4196468 140720928128592 140720928111136 139862677163767 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 14569472 140720928130015 140720928130182 140720928130182 140720928133071 0
/proc/30423/statm: 2037993 33565 3226 1 0 1999337 0
[pid=30423/tid=30424] ppid=30399 vsize=8151972 memory=288230621803970871 CPUtime=239.3 cores=0-7
/proc/30423/task/30424/stat : 30424 (java) S 30399 30399 29338 0 -1 1077944384 17660 189633 0 0 79 5 23797 49 20 0 21 0 510045850 8347619328 33565 33554432000 4194304 4196468 140720928128592 139862649007248 139862677173973 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14569472 140720928130015 140720928130182 140720928130182 140720928133071 0
[pid=30423/tid=30425] ppid=30399 vsize=8151972 memory=13563791027735085 CPUtime=238.46 cores=0-7
/proc/30423/task/30425/stat : 30425 (java) S 30399 30399 29338 0 -1 1077944384 1 189633 0 0 0 0 23797 49 20 0 21 0 510045852 8347619328 33565 33554432000 4194304 4196468 140720928128592 139862681405712 139862677173973 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14569472 140720928130015 140720928130182 140720928130182 140720928133071 0
[pid=30423/tid=30426] ppid=30399 vsize=8151972 memory=7739834362435234151 CPUtime=238.46 cores=0-7
/proc/30423/task/30426/stat : 30426 (java) S 30399 30399 29338 0 -1 1077944384 3 189633 0 0 0 0 23797 49 20 0 21 0 510045852 8347619328 33565 33554432000 4194304 4196468 140720928128592 139862481574288 139862677173973 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14569472 140720928130015 140720928130182 140720928130182 140720928133071 0
[pid=30423/tid=30427] ppid=30399 vsize=8151972 memory=0 CPUtime=238.46 cores=0-7
/proc/30423/task/30427/stat : 30427 (java) S 30399 30399 29338 0 -1 1077944384 2 189633 0 0 0 0 23797 49 20 0 21 0 510045852 8347619328 33565 33554432000 4194304 4196468 140720928128592 139862480521744 139862677173973 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14569472 140720928130015 140720928130182 140720928130182 140720928133071 0
[pid=30423/tid=30428] ppid=30399 vsize=8151972 memory=0 CPUtime=238.46 cores=0-7
/proc/30423/task/30428/stat : 30428 (java) S 30399 30399 29338 0 -1 1077944384 2 189633 0 0 0 0 23797 49 20 0 21 0 510045852 8347619328 33565 33554432000 4194304 4196468 140720928128592 139862479469200 139862677173973 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14569472 140720928130015 140720928130182 140720928130182 140720928133071 0
[pid=30423/tid=30429] ppid=30399 vsize=8151972 memory=2305 CPUtime=238.46 cores=0-7
/proc/30423/task/30429/stat : 30429 (java) S 30399 30399 29338 0 -1 1077944384 1 189633 0 0 0 0 23797 49 20 0 21 0 510045852 8347619328 33565 33554432000 4194304 4196468 140720928128592 139862478416656 139862677173973 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14569472 140720928130015 140720928130182 140720928130182 140720928133071 0
[pid=30423/tid=30430] ppid=30399 vsize=8151972 memory=3612086713167673040 CPUtime=238.46 cores=0-7
/proc/30423/task/30430/stat : 30430 (java) S 30399 30399 29338 0 -1 1077944384 2 189633 0 0 0 0 23797 49 20 0 21 0 510045852 8347619328 33565 33554432000 4194304 4196468 140720928128592 139862477364112 139862677173973 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14569472 140720928130015 140720928130182 140720928130182 140720928133071 0
[pid=30423/tid=30431] ppid=30399 vsize=8151972 memory=7522228993945266521 CPUtime=238.46 cores=0-7
/proc/30423/task/30431/stat : 30431 (java) S 30399 30399 29338 0 -1 1077944384 1 189633 0 0 0 0 23797 49 20 0 21 0 510045852 8347619328 33565 33554432000 4194304 4196468 140720928128592 139862476311568 139862677173973 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14569472 140720928130015 140720928130182 140720928130182 140720928133071 0
[pid=30423/tid=30432] ppid=30399 vsize=8151972 memory=6010431309429565800 CPUtime=238.46 cores=0-7
/proc/30423/task/30432/stat : 30432 (java) S 30399 30399 29338 0 -1 1077944384 1 189633 0 0 0 0 23797 49 20 0 21 0 510045852 8347619328 33565 33554432000 4194304 4196468 140720928128592 139862475259024 139862677173973 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14569472 140720928130015 140720928130182 140720928130182 140720928133071 0
[pid=30423/tid=30433] ppid=30399 vsize=8151972 memory=7380671274363738216 CPUtime=238.46 cores=0-7
/proc/30423/task/30433/stat : 30433 (java) S 30399 30399 29338 0 -1 1077944384 8 189633 0 0 0 0 23797 49 20 0 21 0 510045853 8347619328 33565 33554432000 4194304 4196468 140720928128592 139861770557632 139862677174914 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14569472 140720928130015 140720928130182 140720928130182 140720928133071 0
[pid=30423/tid=30434] ppid=30399 vsize=8151972 memory=6935653653823705168 CPUtime=238.46 cores=0-7
/proc/30423/task/30434/stat : 30434 (java) S 30399 30399 29338 0 -1 1077944384 13 189633 0 0 0 0 23797 49 20 0 21 0 510045854 8347619328 33565 33554432000 4194304 4196468 140720928128592 139861315019680 139862677173973 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14569472 140720928130015 140720928130182 140720928130182 140720928133071 0
[pid=30423/tid=30435] ppid=30399 vsize=8151972 memory=7521969479239684715 CPUtime=238.46 cores=0-7
/proc/30423/task/30435/stat : 30435 (java) S 30399 30399 29338 0 -1 1077944384 1 189633 0 0 0 0 23797 49 20 0 21 0 510045854 8347619328 33565 33554432000 4194304 4196468 140720928128592 139861046584304 139862677173973 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14569472 140720928130015 140720928130182 140720928130182 140720928133071 0
[pid=30423/tid=30436] ppid=30399 vsize=8151972 memory=4122959363474232570 CPUtime=238.46 cores=0-7
/proc/30423/task/30436/stat : 30436 (java) S 30399 30399 29338 0 -1 1077944384 2 189633 0 0 0 0 23797 49 20 0 21 0 510045856 8347619328 33565 33554432000 4194304 4196468 140720928128592 139860672075632 139862677173973 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14569472 140720928130015 140720928130182 140720928130182 140720928133071 0
[pid=30423/tid=30437] ppid=30399 vsize=8151972 memory=1060 CPUtime=238.54 cores=0-7
/proc/30423/task/30437/stat : 30437 (java) S 30399 30399 29338 0 -1 1077944384 609 189633 0 0 8 0 23797 49 20 0 21 0 510045856 8347619328 33565 33554432000 4194304 4196468 140720928128592 139861769485664 139862677173973 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14569472 140720928130015 140720928130182 140720928130182 140720928133071 0
[pid=30423/tid=30438] ppid=30399 vsize=8151972 memory=14012 CPUtime=238.57 cores=0-7
/proc/30423/task/30438/stat : 30438 (java) S 30399 30399 29338 0 -1 1077944384 614 189633 0 0 11 0 23797 49 20 0 21 0 510045856 8347619328 33565 33554432000 4194304 4196468 140720928128592 139861768433120 139862677173973 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14569472 140720928130015 140720928130182 140720928130182 140720928133071 0
[pid=30423/tid=30439] ppid=30399 vsize=8151972 memory=25020 CPUtime=238.56 cores=0-7
/proc/30423/task/30439/stat : 30439 (java) S 30399 30399 29338 0 -1 1077944384 489 189633 0 0 10 0 23797 49 20 0 21 0 510045856 8347619328 33565 33554432000 4194304 4196468 140720928128592 139861767400176 139862677174914 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14569472 140720928130015 140720928130182 140720928130182 140720928133071 0
[pid=30423/tid=30440] ppid=30399 vsize=8151972 memory=14056 CPUtime=238.72 cores=0-7
/proc/30423/task/30440/stat : 30440 (java) S 30399 30399 29338 0 -1 1077944384 1144 189633 0 0 26 0 23797 49 20 0 21 0 510045856 8347619328 33565 33554432000 4194304 4196468 140720928128592 139861766347632 139862677174914 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14569472 140720928130015 140720928130182 140720928130182 140720928133071 0
[pid=30423/tid=30441] ppid=30399 vsize=8151972 memory=2116 CPUtime=238.46 cores=0-7
/proc/30423/task/30441/stat : 30441 (java) S 30399 30399 29338 0 -1 1077944384 3 189633 0 0 0 0 23797 49 20 0 21 0 510045856 8347619328 33565 33554432000 4194304 4196468 140720928128592 139860174170336 139862677173973 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14569472 140720928130015 140720928130182 140720928130182 140720928133071 0
[pid=30423/tid=30444] ppid=30399 vsize=8151972 memory=1556 CPUtime=238.46 cores=0-7
/proc/30423/task/30444/stat : 30444 (java) S 30399 30399 29338 0 -1 1077944384 34 189633 0 0 0 0 23797 49 20 0 21 0 510045922 8347619328 33565 33554432000 4194304 4196468 140720928128592 139861757260176 139862677174914 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14569472 140720928130015 140720928130182 140720928130182 140720928133071 0
[pid=30423/tid=30448] ppid=30399 vsize=8151972 memory=928 CPUtime=238.46 cores=0-7
/proc/30423/task/30448/stat : 30448 (java) S 30399 30399 29338 0 -1 1077944384 9 189633 0 0 0 0 23797 49 20 0 21 0 510045925 8347619328 33565 33554432000 4194304 4196468 140720928128592 139859234645424 139862677174914 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14569472 140720928130015 140720928130182 140720928130182 140720928133071 0
Current children cumulated CPU time: 245.54 s
Current children cumulated vsize: 8265100 KiB
Current children cumulated memory: 135736 KiB

Child status: 0
Real time (s): 34.2154
CPU time (s): 245.585
CPU user time (s): 244.759
CPU system time (s): 0.826606
CPU usage (%): 717.763
Max. virtual memory (cumulated for all children) (KiB): 27441856
Max. memory (cumulated for all children) (KiB): 785960

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 244.759
system time used= 0.826606
maximum resident set size= 793140
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 239671
page faults= 0
swaps= 0
block input operations= 0
block output operations= 6024
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 13419
involuntary context switches= 2629


# summary of solver processes directly reported to runsolver:
#   pid: 30399
#   total CPU time (s): 245.585
#   total CPU user time (s): 244.759
#   total CPU system time (s): 0.826606

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.362683 second user time and 0.480526 second system time

The end

Launcher Data 

Begin job on node105 at 2019-09-24 16:09:37
IDJOB=4405589
IDBENCH=127813
IDSOLVER=2868
FILE ID=node105/4405589-1569337878
RUNJOBID= node105-1569332278-29365
PBS_JOBID= 21705070
Free space on /var/tmp= 13180 MiB

SOLVER NAME= Fun-sCOP hybrid+ManyGlucose (2019-09-22)
BENCH NAME= XCSP17/RectPacking/RectPacking-m1-perf/RectPacking-perfect-029.xml
COMMAND LINE= DIR/scop.sh 22g DIR/scop.jar -hybrid DIR/manyglucose-4.1-27_release -model:-nthreads=NBCORE:-maxmemory=20000:-lit-scans=6000000 TMPDIR BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4405589-1569337878/watcher-4405589-1569337878 -o /var/tmp/evaluation-result-4405589-1569337878/solver-4405589-1569337878 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node105-1569332278-29365 --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-4405589-1569337878.xml

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

MD5SUM BENCH= 46cde9b56a99396b1706cac103cc08fa
RANDOM SEED=1193125568

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        26241672 kB
MemAvailable:   31799836 kB
Buffers:          110692 kB
Cached:          5579768 kB
SwapCached:        48352 kB
Active:          2827188 kB
Inactive:        2912264 kB
Active(anon):       4148 kB
Inactive(anon):    99568 kB
Active(file):    2823040 kB
Inactive(file):  2812696 kB
Unevictable:      110928 kB
Mlocked:          110928 kB
SwapTotal:      67108860 kB
SwapFree:       66956836 kB
Dirty:             20668 kB
Writeback:             0 kB
AnonPages:        129812 kB
Mapped:            54868 kB
Shmem:             45912 kB
Slab:             379856 kB
SReclaimable:     350888 kB
SUnreclaim:        28968 kB
KernelStack:        3696 kB
PageTables:         5336 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     506312 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     83968 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      120192 kB
DirectMap2M:    33425408 kB

Free space on /var/tmp at the end= 13156 MiB
End job on node105 at 2019-09-24 16:10:12