Trace number 4405289

Some explanations

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

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

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

Solver answer on this benchmark

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

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 -order -solver HOME/manyglucose-4.1-27_release -solverOption -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 -tmp HOME -serialFile HOME/scop-10816-serial-file.bin HOME/instance-4405289-1569337877.xml
0.65/0.54	
0.65/0.54	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
0.65/0.54	
0.65/0.56	c BEGIN-Prog: Tue Sep 24 17:10:36 CEST 2019
0.65/0.56	c PID: 10819
0.65/0.56	c IP: 172.20.3.140
0.65/0.56	c HOST: node140.alineos.net
0.65/0.57	c (0,0) Parsing Begin
1.38/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-4405289-1569337877.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/1.00	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.01	c (0,0) translated 36 (70%) constraints
1.55/1.01	c (0,0) translated 41 (80%) constraints
1.55/1.01	c (0,0) translated 46 (90%) constraints
2.17/1.26	c (0,0) translated 51 (100%) constraints
2.17/1.26	c (0,0) ===========================================
2.17/1.26	c (0,0) Order
2.17/1.26	c (0,0) ===========================================
2.17/1.26	c (0,0) translated 33 (10%) constraints
2.17/1.27	c (0,0) translated 66 (20%) constraints
2.17/1.28	c (0,0) translated 98 (30%) constraints
2.17/1.28	c (0,0) translated 131 (40%) constraints
2.17/1.29	c (0,0) translated 163 (50%) constraints
2.17/1.29	c (0,0) translated 196 (60%) constraints
2.17/1.29	c (0,0) translated 229 (70%) constraints
2.52/1.30	c (0,0) translated 261 (80%) constraints
2.52/1.30	c (0,0) translated 294 (90%) constraints
2.52/1.31	c (0,0) translated 326 (100%) constraints
2.52/1.31	c (0,0) CSP to CSPinCNF End
2.52/1.31	c (0,0) CSP: 48 int (0 aux), 0 bool (0 aux), 326 ctr, max domain size 203
2.52/1.31	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 22 MiB used (max 0 MiB)
2.52/1.31	c (0,0) CSPinCNF Propagation Begin
2.52/1.35	c (0,0) 0 values, 6 unsatisfiable literals, and 49 valid clauses are removed
2.52/1.35	c (0,0) CSPinCNF Propagation End
2.52/1.35	c (0,0) CSP: 48 int (0 aux), 0 bool (0 aux), 277 ctr, max domain size 203
2.52/1.35	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 23 MiB used (max 0 MiB)
2.52/1.35	c (0,0) Simplify CSPinCNF Begin
2.88/1.44	c (0,0) Simplify CSPinCNF End
2.88/1.44	c (0,0) CSP: 48 int (0 aux), 1098 bool (1098 aux), 1375 ctr, max domain size 203
2.88/1.44	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 24 MiB used (max 0 MiB)
2.88/1.44	c (0,0) Calculate Precise Domain Begin
2.88/1.44	c (0,0) 0 values are removed by re-calculation
2.88/1.44	c (0,0) Calculate Precise Domain End
2.88/1.45	c (0,0) CSP: 48 int (0 aux), 1098 bool (1098 aux), 1375 ctr, max domain size 203
2.88/1.45	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 24 MiB used (max 0 MiB)
2.88/1.45	c (0,0) CSPinCNF to SatSolver Begin
3.89/1.78	c (1,1) 138 (10 %) CSP clauses are encoded (0 SAT variables, 26798 SAT clauses)
4.29/1.89	c (1,1) 275 (20 %) CSP clauses are encoded (0 SAT variables, 45186 SAT clauses)
4.69/1.97	c (1,1) 413 (30 %) CSP clauses are encoded (0 SAT variables, 62514 SAT clauses)
4.90/2.04	c (1,1) 550 (40 %) CSP clauses are encoded (0 SAT variables, 78884 SAT clauses)
5.02/2.11	c (1,1) 688 (50 %) CSP clauses are encoded (0 SAT variables, 95080 SAT clauses)
5.02/2.17	c (1,1) 825 (60 %) CSP clauses are encoded (0 SAT variables, 110454 SAT clauses)
5.14/2.23	c (1,1) 963 (70 %) CSP clauses are encoded (0 SAT variables, 125086 SAT clauses)
5.14/2.29	c (1,1) 1100 (80 %) CSP clauses are encoded (0 SAT variables, 138614 SAT clauses)
5.26/2.34	c (1,1) 1238 (90 %) CSP clauses are encoded (0 SAT variables, 150811 SAT clauses)
5.26/2.38	c (1,1) 1375 (100 %) CSP clauses are encoded (0 SAT variables, 159756 SAT clauses)
5.26/2.38	c (1,1) CSPinCNF to SatSolver End
5.26/2.38	c (1,1) Heap : 901 MiB used (max 21589 MiB), NonHeap : 27 MiB used (max 0 MiB)
5.26/2.38	c (1,1) 9186 bool, 159805 clause
5.26/2.38	c (1,1) Export Begin
5.38/2.46	c (1,1) Export to HOME/scop-10816-serial-file.bin
5.38/2.46	c (1,1) Export End
5.38/2.46	c (1,1) Export File Size: 0.01 MB
5.38/2.46	c (1,1) 0,0,0,0,0,0,1,STOP-AFTER(DIMACS)
5.38/2.46	c END-Prog: Tue Sep 24 17:10:38 CEST 2019
5.38/2.47	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-10816-serial-file.bin
5.52/2.93	c (0,0) Read Serial File Begin
5.52/2.93	c (0,0) HOME/scop-10816-serial-file.bin
6.37/3.12	c (0,0) Read Serial File End
6.37/3.14	
6.37/3.14	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
6.37/3.14	(Solving Process)
6.37/3.14	
6.37/3.16	c BEGIN-Prog: Tue Sep 24 17:10:39 CEST 2019
6.37/3.16	c PID: 10839
6.37/3.16	c IP: 172.20.3.140
6.37/3.16	c HOST: node140.alineos.net
6.37/3.16	c (0,0) SatSolver.solve Begin
6.37/3.16	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4405289-1569337877.xml-scop-10819.cnf
6.37/3.19	c (0,0) c
6.37/3.19	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.37/3.19	c (0,0) c
6.37/3.19	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
6.37/3.19	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
6.37/3.19	c (0,0) c ========================================[ Problem Statistics ]===========================================
6.37/3.19	c (0,0) c |                                                                                                       |
6.57/3.24	c (0,0) c |  Number of variables:          9186                                                                   |
6.57/3.24	c (0,0) c |  Number of clauses:          159805                                                                   |
6.57/3.24	c (0,0) c |  Parse time:                   0.05 s                                                                 |
6.57/3.24	c (0,0) c |                                                                                                       |
6.65/3.39	c (0,0) c |  Simplification time:          0.14 s                                                                 |
6.65/3.39	c (0,0) c |                                                                                                       |
6.65/3.39	c (0,0) c |  Generating clones                                                                                    |
6.65/3.44	c (0,0) c |  all clones generated. Memory =   128.25Mb.                                                           |
6.65/3.44	c (0,0) c ========================================================================================================|
6.65/3.44	c (0,0) c
6.65/3.44	c (0,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
6.65/3.44	c (0,0) c
6.65/3.44	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
6.65/3.44	c (0,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
6.65/3.44	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
6.65/3.44	c (0,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
6.65/3.44	c (0,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
6.65/3.44	c (0,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
6.65/3.44	c (0,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
6.65/3.44	c (0,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
6.65/3.44	c (0,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
6.65/3.44	c (0,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
6.65/3.44	c (0,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
6.65/3.44	c (0,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
6.65/3.44	c (0,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
6.65/3.44	c (0,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
6.65/3.44	c (0,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
6.65/3.44	c (0,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
6.65/3.44	c (0,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
6.65/3.44	c (0,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
6.65/3.44	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
244.43/33.93	c (31,0) c
244.43/33.93	c (31,0) c real time : 30.7438 s
244.43/33.93	c (31,0) c cpu time  : 237.345 s
244.43/33.93	c (31,0) c
244.43/33.93	c (31,0) c
244.43/33.93	c (31,0) c
244.43/33.93	c (31,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
244.43/33.93	c (31,0) c
244.43/33.93	c (31,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
244.43/33.93	c (31,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
244.43/33.93	c (31,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
244.43/33.93	c (31,0) c | Conflicts     |         1080511 |     133746 |     135874 |     136189 |     136354 |     134939 |     134272 |     135392 |     133745 |
244.43/33.93	c (31,0) c | Decisions     |         2239735 |     269635 |     274192 |     281955 |     280868 |     284821 |     283541 |     286496 |     278227 |
244.43/33.93	c (31,0) c | Propagations  |       378209994 |   47403472 |   46490293 |   46976902 |   47711540 |   47435977 |   47202978 |   47515922 |   47472910 |
244.43/33.93	c (31,0) c | ReduceDBs     |              72 |          9 |          9 |          9 |          9 |          9 |          9 |          9 |          9 |
244.43/33.93	c (31,0) c | SimpDBs       |              24 |          3 |          3 |          3 |          3 |          3 |          3 |          3 |          3 |
244.43/33.93	c (31,0) c | Restarts      |            4618 |        486 |        521 |        599 |        552 |        573 |        644 |        617 |        626 |
244.43/33.93	c (31,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
244.43/33.93	c (31,0) c | PropBinClauses|       452628899 |   56875127 |   55727048 |   55937766 |   56864256 |   56846172 |   56456457 |   56920639 |   57001434 |
244.43/33.93	c (31,0) c | PropPreBlocker|      6209760274 |  774120436 |  774283331 |  778560265 |  781086713 |  775085118 |  773344223 |  778483596 |  774796592 |
244.43/33.93	c (31,0) c | PropNotBlocker|      1927393858 |  241985308 |  239073236 |  238149902 |  239158582 |  241974997 |  244119409 |  239983922 |  242948502 |
244.43/33.93	c (31,0) c | LitFullScans  |     11763826666 | 1470082677 | 1470062708 | 1470092411 | 1473265069 | 1470080670 | 1470064104 | 1470087802 | 1470091225 |
244.43/33.93	c (31,0) c | LitScanFracts |          503388 |      76750 |      54223 |      60474 |      49602 |      66793 |      57271 |      78890 |      59385 |
244.43/33.93	c (31,0) c | DecisionLevel0|            4619 |        486 |        521 |        600 |        552 |        573 |        644 |        617 |        626 |
244.43/33.93	c (31,0) c | Periods       |            1960 |        245 |        245 |        245 |        245 |        245 |        245 |        245 |        245 |
244.43/33.93	c (31,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
244.43/33.93	c (31,0) c | Avg_Trail     |                 |       3713 |       3666 |       3719 |       3746 |       3774 |       3708 |       3730 |       3722 |
244.43/33.93	c (31,0) c | Avg_DL        |                 |         28 |         28 |         28 |         29 |         28 |         27 |         30 |         28 |
244.43/33.93	c (31,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
244.43/33.93	c (31,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
244.43/33.93	c (31,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
244.43/33.93	c (31,0) c | Exported      |          163215 |      21207 |      21597 |      19961 |      21530 |      20642 |      18873 |      19496 |      19909 |
244.43/33.93	c (31,0) c | Imported      |         1083043 |     134440 |     134626 |     134740 |     134777 |     134764 |     137300 |     136583 |     135813 |
244.43/33.93	c (31,0) c | Good          |             469 |         63 |         59 |         54 |         62 |         57 |         53 |         60 |         61 |
244.43/33.93	c (31,0) c | Purge         |         1082574 |     134377 |     134567 |     134686 |     134715 |     134707 |     137247 |     136523 |     135752 |
244.43/33.93	c (31,0) c | Promoted      |          113304 |      14165 |      14718 |      14355 |      14185 |      14153 |      14075 |      13978 |      13675 |
244.43/33.93	c (31,0) c | Remove_Imp    |          583525 |      72696 |      68830 |      74048 |      72028 |      72832 |      74994 |      74223 |      73874 |
244.43/33.93	c (31,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
244.43/33.93	c (31,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
244.43/33.93	c (31,0) c | Unaries       |                 |          0 |          0 |          1 |          0 |          0 |          0 |          0 |          0 |
244.43/33.93	c (31,0) c | Binaries      |                 |          4 |          8 |         13 |          5 |         10 |         14 |          7 |          6 |
244.43/33.93	c (31,0) c | Glues         |                 |        168 |        171 |        221 |        161 |        225 |        227 |        198 |        192 |
244.43/33.93	c (31,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
244.43/33.93	c (31,0) c | Orig_Seen     |            32 % |      50374 |      50485 |      50102 |      52336 |      55437 |      51263 |      55178 |      48366 |
244.43/33.93	c (31,0) c | Diff Orig seen|                 | -     1962 | -     1851 | -     2234 |      X     |       3101 | -     1073 |       2842 | -     3970 |
244.43/33.93	c (31,0) c | Hamming       |            27 % |       2643 |       2205 |       3304 |      X     |       2498 |       2181 |       2736 |       2073 |
244.43/33.93	c (31,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
244.43/33.93	c (31,0) c | RunningTime   |                 |   30.1 100%|   30.1 100%|   29.2 100%|   28.6 100%|   29.8 100%|   29.9 100%|   29.7 100%|   30.4 100%|
244.43/33.93	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%|
244.43/33.93	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%|
244.43/33.93	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%|
244.43/33.93	c (31,0) c | SolvingTime   |                 |   30.1     |   30.2     |   29.3     |   28.6     |   29.9     |   29.9     |   29.8     |   30.5     |
244.43/33.93	c (31,0) c | PropagationTim|                 |   25.8  86%|   25.4  84%|   24.8  85%|   24.2  84%|   25.3  84%|   25.6  85%|   25.0  84%|   25.8  85%|
244.43/33.93	c (31,0) c | AnalysisTime  |                 |    3.3  11%|    3.7  12%|    3.3  11%|    3.4  12%|    3.5  12%|    3.3  11%|    3.6  12%|    3.5  12%|
244.43/33.93	c (31,0) c | ReductionTime |                 |    0.2   1%|    0.2   1%|    0.3   1%|    0.2   1%|    0.3   1%|    0.2   1%|    0.3   1%|    0.3   1%|
244.43/33.93	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%|
244.43/33.93	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%|
244.43/33.93	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%|
244.43/33.93	c (31,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
244.43/33.93	c (31,0) c
244.43/33.93	c (31,0) c
244.43/33.93	c (31,0) c Threads : 8
244.43/33.93	c (31,0) c Winner : 3
244.43/33.93	c (31,0) c Conflicts_0 : 133746
244.43/33.93	c (31,0) c Conflicts_1 : 135874
244.43/33.93	c (31,0) c Conflicts_2 : 136189
244.43/33.93	c (31,0) c Conflicts_3 : 136354
244.43/33.93	c (31,0) c Conflicts_4 : 134939
244.43/33.93	c (31,0) c Conflicts_5 : 134272
244.43/33.93	c (31,0) c Conflicts_6 : 135392
244.43/33.93	c (31,0) c Conflicts_7 : 133745
244.43/33.93	c (31,0) c Conflicts_total : 1080511
244.43/33.93	c (31,0) c Conflicts_winner : 136354
244.43/33.93	c (31,0) c Decisions_0 : 269635
244.43/33.93	c (31,0) c Decisions_1 : 274192
244.43/33.93	c (31,0) c Decisions_2 : 281955
244.43/33.93	c (31,0) c Decisions_3 : 280868
244.43/33.93	c (31,0) c Decisions_4 : 284821
244.43/33.93	c (31,0) c Decisions_5 : 283541
244.43/33.93	c (31,0) c Decisions_6 : 286496
244.43/33.93	c (31,0) c Decisions_7 : 278227
244.43/33.93	c (31,0) c Decisions_total : 2239735
244.43/33.93	c (31,0) c Decisions_winner : 280868
244.43/33.93	c (31,0) c Propagations_0 : 47403472
244.43/33.93	c (31,0) c Propagations_1 : 46490293
244.43/33.93	c (31,0) c Propagations_2 : 46976902
244.43/33.93	c (31,0) c Propagations_3 : 47711540
244.43/33.93	c (31,0) c Propagations_4 : 47435977
244.43/33.93	c (31,0) c Propagations_5 : 47202978
244.43/33.93	c (31,0) c Propagations_6 : 47515922
244.43/33.93	c (31,0) c Propagations_7 : 47472910
244.43/33.93	c (31,0) c Propagations_total : 378209994
244.43/33.93	c (31,0) c Propagations_winner : 47711540
244.43/33.93	c (31,0) c ReduceDBs_0 : 9
244.43/33.93	c (31,0) c ReduceDBs_1 : 9
244.43/33.93	c (31,0) c ReduceDBs_2 : 9
244.43/33.93	c (31,0) c ReduceDBs_3 : 9
244.43/33.93	c (31,0) c ReduceDBs_4 : 9
244.43/33.93	c (31,0) c ReduceDBs_5 : 9
244.43/33.93	c (31,0) c ReduceDBs_6 : 9
244.43/33.93	c (31,0) c ReduceDBs_7 : 9
244.43/33.93	c (31,0) c ReduceDBs_total : 72
244.43/33.93	c (31,0) c ReduceDBs_winner : 9
244.43/33.93	c (31,0) c SimpDBs_0 : 3
244.43/33.93	c (31,0) c SimpDBs_1 : 3
244.43/33.93	c (31,0) c SimpDBs_2 : 3
244.43/33.93	c (31,0) c SimpDBs_3 : 3
244.43/33.93	c (31,0) c SimpDBs_4 : 3
244.43/33.93	c (31,0) c SimpDBs_5 : 3
244.43/33.93	c (31,0) c SimpDBs_6 : 3
244.43/33.93	c (31,0) c SimpDBs_7 : 3
244.43/33.93	c (31,0) c SimpDBs_total : 24
244.43/33.93	c (31,0) c SimpDBs_winner : 3
244.43/33.93	c (31,0) c Restarts_0 : 486
244.43/33.93	c (31,0) c Restarts_1 : 521
244.43/33.93	c (31,0) c Restarts_2 : 599
244.43/33.93	c (31,0) c Restarts_3 : 552
244.43/33.93	c (31,0) c Restarts_4 : 573
244.43/33.93	c (31,0) c Restarts_5 : 644
244.43/33.93	c (31,0) c Restarts_6 : 617
244.43/33.93	c (31,0) c Restarts_7 : 626
244.43/33.93	c (31,0) c Restarts_total : 4618
244.43/33.93	c (31,0) c Restarts_winner : 552
244.43/33.93	c (31,0) c ForcedImports_0 : 0
244.43/33.93	c (31,0) c ForcedImports_1 : 0
244.43/33.93	c (31,0) c ForcedImports_2 : 0
244.43/33.93	c (31,0) c ForcedImports_3 : 0
244.43/33.93	c (31,0) c ForcedImports_4 : 0
244.43/33.93	c (31,0) c ForcedImports_5 : 0
244.43/33.93	c (31,0) c ForcedImports_6 : 0
244.43/33.93	c (31,0) c ForcedImports_7 : 0
244.43/33.93	c (31,0) c ForcedImports_total : 0
244.43/33.93	c (31,0) c ForcedImports_winner : 0
244.43/33.93	c (31,0) c PropsBinClauses_0 : 56875127
244.43/33.93	c (31,0) c PropsBinClauses_1 : 55727048
244.43/33.93	c (31,0) c PropsBinClauses_2 : 55937766
244.43/33.93	c (31,0) c PropsBinClauses_3 : 56864256
244.43/33.93	c (31,0) c PropsBinClauses_4 : 56846172
244.43/33.93	c (31,0) c PropsBinClauses_5 : 56456457
244.43/33.93	c (31,0) c PropsBinClauses_6 : 56920639
244.43/33.93	c (31,0) c PropsBinClauses_7 : 57001434
244.43/33.93	c (31,0) c PropsBinClauses_total : 452628899
244.43/33.93	c (31,0) c PropsBinClauses_winner : 56864256
244.43/33.93	c (31,0) c PropsPreBlocker_0 : 774120436
244.43/33.93	c (31,0) c PropsPreBlocker_1 : 774283331
244.43/33.93	c (31,0) c PropsPreBlocker_2 : 778560265
244.43/33.93	c (31,0) c PropsPreBlocker_3 : 781086713
244.43/33.93	c (31,0) c PropsPreBlocker_4 : 775085118
244.43/33.93	c (31,0) c PropsPreBlocker_5 : 773344223
244.43/33.93	c (31,0) c PropsPreBlocker_6 : 778483596
244.43/33.93	c (31,0) c PropsPreBlocker_7 : 774796592
244.43/33.93	c (31,0) c PropsPreBlocker_total : 6209760274
244.43/33.93	c (31,0) c PropsPreBlocker_winner : 781086713
244.43/33.93	c (31,0) c PropsNotBlocker_0 : 241985308
244.43/33.93	c (31,0) c PropsNotBlocker_1 : 239073236
244.43/33.93	c (31,0) c PropsNotBlocker_2 : 238149902
244.43/33.93	c (31,0) c PropsNotBlocker_3 : 239158582
244.43/33.93	c (31,0) c PropsNotBlocker_4 : 241974997
244.43/33.93	c (31,0) c PropsNotBlocker_5 : 244119409
244.43/33.93	c (31,0) c PropsNotBlocker_6 : 239983922
244.43/33.93	c (31,0) c PropsNotBlocker_7 : 242948502
244.43/33.93	c (31,0) c PropsNotBlocker_total : 1927393858
244.43/33.93	c (31,0) c PropsNotBlocker_winner : 239158582
244.43/33.93	c (31,0) c PropsLitFullScans_0 : 1470082677
244.43/33.93	c (31,0) c PropsLitFullScans_1 : 1470062708
244.43/33.93	c (31,0) c PropsLitFullScans_2 : 1470092411
244.43/33.93	c (31,0) c PropsLitFullScans_3 : 1473265069
244.43/33.93	c (31,0) c PropsLitFullScans_4 : 1470080670
244.43/33.93	c (31,0) c PropsLitFullScans_5 : 1470064104
244.43/33.93	c (31,0) c PropsLitFullScans_6 : 1470087802
244.43/33.93	c (31,0) c PropsLitFullScans_7 : 1470091225
244.43/33.94	c (31,0) c PropsLitFullScans_total : 11763826666
244.43/33.94	c (31,0) c PropsLitFullScans_winner : 1473265069
244.43/33.94	c (31,0) c LitScanFractions_0 : 76750
244.43/33.94	c (31,0) c LitScanFractions_1 : 54223
244.43/33.94	c (31,0) c LitScanFractions_2 : 60474
244.43/33.94	c (31,0) c LitScanFractions_3 : 49602
244.43/33.94	c (31,0) c LitScanFractions_4 : 66793
244.43/33.94	c (31,0) c LitScanFractions_5 : 57271
244.43/33.94	c (31,0) c LitScanFractions_6 : 78890
244.43/33.94	c (31,0) c LitScanFractions_7 : 59385
244.43/33.94	c (31,0) c LitScanFractions_total : 503388
244.43/33.94	c (31,0) c LitScanFractions_winner : 49602
244.43/33.94	c (31,0) c DecisionLevel0_0 : 486
244.43/33.94	c (31,0) c DecisionLevel0_1 : 521
244.43/33.94	c (31,0) c DecisionLevel0_2 : 600
244.43/33.94	c (31,0) c DecisionLevel0_3 : 552
244.43/33.94	c (31,0) c DecisionLevel0_4 : 573
244.43/33.94	c (31,0) c DecisionLevel0_5 : 644
244.43/33.94	c (31,0) c DecisionLevel0_6 : 617
244.43/33.94	c (31,0) c DecisionLevel0_7 : 626
244.43/33.94	c (31,0) c DecisionLevel0_total : 4619
244.43/33.94	c (31,0) c DecisionLevel0_winner : 552
244.43/33.94	c (31,0) c Periods_0 : 245
244.43/33.94	c (31,0) c Periods_1 : 245
244.43/33.94	c (31,0) c Periods_2 : 245
244.43/33.94	c (31,0) c Periods_3 : 245
244.43/33.94	c (31,0) c Periods_4 : 245
244.43/33.94	c (31,0) c Periods_5 : 245
244.43/33.94	c (31,0) c Periods_6 : 245
244.43/33.94	c (31,0) c Periods_7 : 245
244.43/33.94	c (31,0) c Periods_total : 1960
244.43/33.94	c (31,0) c Periods_winner : 245
244.43/33.94	c (31,0) c Margin_0 : 20
244.43/33.94	c (31,0) c Margin_1 : 20
244.43/33.94	c (31,0) c Margin_2 : 20
244.43/33.94	c (31,0) c Margin_3 : 20
244.43/33.94	c (31,0) c Margin_4 : 20
244.43/33.94	c (31,0) c Margin_5 : 20
244.43/33.94	c (31,0) c Margin_6 : 20
244.43/33.94	c (31,0) c Margin_7 : 20
244.43/33.94	c (31,0) c Margin_total : 160
244.43/33.94	c (31,0) c Margin_winner : 20
244.43/33.94	c (31,0) c Exported_0 : 21207
244.43/33.94	c (31,0) c Exported_1 : 21597
244.43/33.94	c (31,0) c Exported_2 : 19961
244.43/33.94	c (31,0) c Exported_3 : 21530
244.43/33.94	c (31,0) c Exported_4 : 20642
244.43/33.94	c (31,0) c Exported_5 : 18873
244.43/33.94	c (31,0) c Exported_6 : 19496
244.43/33.94	c (31,0) c Exported_7 : 19909
244.43/33.94	c (31,0) c Exported_total : 163215
244.43/33.94	c (31,0) c Exported_winner : 21530
244.43/33.94	c (31,0) c Imported_0 : 134440
244.43/33.94	c (31,0) c Imported_1 : 134626
244.43/33.94	c (31,0) c Imported_2 : 134740
244.43/33.94	c (31,0) c Imported_3 : 134777
244.43/33.94	c (31,0) c Imported_4 : 134764
244.43/33.94	c (31,0) c Imported_5 : 137300
244.43/33.94	c (31,0) c Imported_6 : 136583
244.43/33.94	c (31,0) c Imported_7 : 135813
244.43/33.94	c (31,0) c Imported_total : 1083043
244.43/33.94	c (31,0) c Imported_winner : 134777
244.43/33.94	c (31,0) c Good_0 : 63
244.43/33.94	c (31,0) c Good_1 : 59
244.43/33.94	c (31,0) c Good_2 : 54
244.43/33.94	c (31,0) c Good_3 : 62
244.43/33.94	c (31,0) c Good_4 : 57
244.43/33.94	c (31,0) c Good_5 : 53
244.43/33.94	c (31,0) c Good_6 : 60
244.43/33.94	c (31,0) c Good_7 : 61
244.43/33.94	c (31,0) c Good_total : 469
244.43/33.94	c (31,0) c Good_winner : 62
244.43/33.94	c (31,0) c Purge_0 : 134377
244.43/33.94	c (31,0) c Purge_1 : 134567
244.43/33.94	c (31,0) c Purge_2 : 134686
244.43/33.94	c (31,0) c Purge_3 : 134715
244.43/33.94	c (31,0) c Purge_4 : 134707
244.43/33.94	c (31,0) c Purge_5 : 137247
244.43/33.94	c (31,0) c Purge_6 : 136523
244.43/33.94	c (31,0) c Purge_7 : 135752
244.43/33.94	c (31,0) c Purge_total : 1082574
244.43/33.94	c (31,0) c Purge_winner : 134715
244.43/33.94	c (31,0) c Promoted_0 : 14165
244.43/33.94	c (31,0) c Promoted_1 : 14718
244.43/33.94	c (31,0) c Promoted_2 : 14355
244.43/33.94	c (31,0) c Promoted_3 : 14185
244.43/33.94	c (31,0) c Promoted_4 : 14153
244.43/33.94	c (31,0) c Promoted_5 : 14075
244.43/33.94	c (31,0) c Promoted_6 : 13978
244.43/33.94	c (31,0) c Promoted_7 : 13675
244.43/33.94	c (31,0) c Promoted_total : 113304
244.43/33.94	c (31,0) c Promoted_winner : 14185
244.43/33.94	c (31,0) c Remove_Imp_0 : 72696
244.43/33.94	c (31,0) c Remove_Imp_1 : 68830
244.43/33.94	c (31,0) c Remove_Imp_2 : 74048
244.43/33.94	c (31,0) c Remove_Imp_3 : 72028
244.43/33.94	c (31,0) c Remove_Imp_4 : 72832
244.43/33.94	c (31,0) c Remove_Imp_5 : 74994
244.43/33.94	c (31,0) c Remove_Imp_6 : 74223
244.43/33.94	c (31,0) c Remove_Imp_7 : 73874
244.43/33.94	c (31,0) c Remove_Imp_total : 583525
244.43/33.94	c (31,0) c Remove_Imp_winner : 72028
244.43/33.94	c (31,0) c Blocked_Reuse_0 : 0
244.43/33.94	c (31,0) c Blocked_Reuse_1 : 0
244.43/33.94	c (31,0) c Blocked_Reuse_2 : 0
244.43/33.94	c (31,0) c Blocked_Reuse_3 : 0
244.43/33.94	c (31,0) c Blocked_Reuse_4 : 0
244.43/33.94	c (31,0) c Blocked_Reuse_5 : 0
244.43/33.94	c (31,0) c Blocked_Reuse_6 : 0
244.43/33.94	c (31,0) c Blocked_Reuse_7 : 0
244.43/33.94	c (31,0) c Blocked_Reuse_total : 0
244.43/33.94	c (31,0) c Blocked_Reuse_winner : 0
244.43/33.94	c (31,0) c Unaries_0 : 0
244.43/33.94	c (31,0) c Unaries_1 : 0
244.43/33.94	c (31,0) c Unaries_2 : 1
244.43/33.94	c (31,0) c Unaries_3 : 0
244.43/33.94	c (31,0) c Unaries_4 : 0
244.43/33.94	c (31,0) c Unaries_5 : 0
244.43/33.94	c (31,0) c Unaries_6 : 0
244.43/33.94	c (31,0) c Unaries_7 : 0
244.43/33.94	c (31,0) c Unaries_total : 1
244.43/33.94	c (31,0) c Unaries_winner : 0
244.43/33.94	c (31,0) c Binaries_0 : 4
244.43/33.94	c (31,0) c Binaries_1 : 8
244.43/33.94	c (31,0) c Binaries_2 : 13
244.43/33.94	c (31,0) c Binaries_3 : 5
244.43/33.94	c (31,0) c Binaries_4 : 10
244.43/33.94	c (31,0) c Binaries_5 : 14
244.43/33.94	c (31,0) c Binaries_6 : 7
244.43/33.94	c (31,0) c Binaries_7 : 6
244.43/33.94	c (31,0) c Binaries_total : 67
244.43/33.94	c (31,0) c Binaries_winner : 5
244.43/33.94	c (31,0) c Glues_0 : 168
244.43/33.94	c (31,0) c Glues_1 : 171
244.43/33.94	c (31,0) c Glues_2 : 221
244.43/33.94	c (31,0) c Glues_3 : 161
244.43/33.94	c (31,0) c Glues_4 : 225
244.43/33.94	c (31,0) c Glues_5 : 227
244.43/33.94	c (31,0) c Glues_6 : 198
244.43/33.94	c (31,0) c Glues_7 : 192
244.43/33.94	c (31,0) c Glues_total : 1563
244.43/33.94	c (31,0) c Glues_winner : 161
244.43/33.94	c (31,0) c RunningTime_0 : 30.053312
244.43/33.94	c (31,0) c RunningTime_1 : 30.122638
244.43/33.94	c (31,0) c RunningTime_2 : 29.199505
244.43/33.94	c (31,0) c RunningTime_3 : 28.590851
244.43/33.94	c (31,0) c RunningTime_4 : 29.840019
244.43/33.94	c (31,0) c RunningTime_5 : 29.864037
244.43/33.94	c (31,0) c RunningTime_6 : 29.747488
244.43/33.94	c (31,0) c RunningTime_7 : 30.424361
244.43/33.94	c (31,0) c RunningTime_total : 237.842211
244.43/33.94	c (31,0) c RunningTime_winner : 28.590851
244.43/33.94	c (31,0) c WaitingTime_0 : 0.000314
244.43/33.94	c (31,0) c WaitingTime_1 : 0.000308
244.43/33.94	c (31,0) c WaitingTime_2 : 0.000326
244.43/33.94	c (31,0) c WaitingTime_3 : 0.000274
244.43/33.94	c (31,0) c WaitingTime_4 : 0.000334
244.43/33.94	c (31,0) c WaitingTime_5 : 0.000325
244.43/33.94	c (31,0) c WaitingTime_6 : 0.000351
244.43/33.94	c (31,0) c WaitingTime_7 : 0.000281
244.43/33.94	c (31,0) c WaitingTime_total : 0.002512
244.43/33.94	c (31,0) c WaitingTime_winner : 0.000274
244.43/33.94	c (31,0) c ExchangingTime_0 : 0.056114
244.43/33.94	c (31,0) c ExchangingTime_1 : 0.055526
244.43/33.94	c (31,0) c ExchangingTime_2 : 0.058850
244.43/33.94	c (31,0) c ExchangingTime_3 : 0.047461
244.43/33.94	c (31,0) c ExchangingTime_4 : 0.050783
244.43/33.94	c (31,0) c ExchangingTime_5 : 0.053272
244.43/33.94	c (31,0) c ExchangingTime_6 : 0.056764
244.43/33.94	c (31,0) c ExchangingTime_7 : 0.048961
244.43/33.94	c (31,0) c ExchangingTime_total : 0.427731
244.43/33.94	c (31,0) c ExchangingTime_winner : 0.047461
244.43/33.94	c (31,0) c PeriodProcTime_0 : 0.002277
244.43/33.94	c (31,0) c PeriodProcTime_1 : 0.002030
244.43/33.94	c (31,0) c PeriodProcTime_2 : 0.002184
244.43/33.94	c (31,0) c PeriodProcTime_3 : 0.001991
244.43/33.94	c (31,0) c PeriodProcTime_4 : 0.002183
244.43/33.94	c (31,0) c PeriodProcTime_5 : 0.002196
244.43/33.94	c (31,0) c PeriodProcTime_6 : 0.002196
244.43/33.94	c (31,0) c PeriodProcTime_7 : 0.002321
244.43/33.94	c (31,0) c PeriodProcTime_total : 0.017379
244.43/33.94	c (31,0) c PeriodProcTime_winner : 0.001991
244.43/33.94	c (31,0) c SolvingTime_0 : 30.112017
244.43/33.94	c (31,0) c SolvingTime_1 : 30.180501
244.43/33.94	c (31,0) c SolvingTime_2 : 29.260866
244.43/33.94	c (31,0) c SolvingTime_3 : 28.640577
244.43/33.94	c (31,0) c SolvingTime_4 : 29.893319
244.43/33.94	c (31,0) c SolvingTime_5 : 29.919830
244.43/33.94	c (31,0) c SolvingTime_6 : 29.806799
244.43/33.94	c (31,0) c SolvingTime_7 : 30.475923
244.43/33.94	c (31,0) c SolvingTime_total : 238.289833
244.43/33.94	c (31,0) c SolvingTime_winner : 28.640577
244.43/33.94	c (31,0) c PropagationTime_0 : 25.770412
244.43/33.94	c (31,0) c PropagationTime_1 : 25.414283
244.43/33.94	c (31,0) c PropagationTime_2 : 24.776724
244.43/33.94	c (31,0) c PropagationTime_3 : 24.171336
244.43/33.94	c (31,0) c PropagationTime_4 : 25.258557
244.43/33.94	c (31,0) c PropagationTime_5 : 25.559658
244.43/33.94	c (31,0) c PropagationTime_6 : 25.045745
244.43/33.94	c (31,0) c PropagationTime_7 : 25.791448
244.43/33.94	c (31,0) c PropagationTime_total : 201.788164
244.43/33.94	c (31,0) c PropagationTime_winner : 24.171336
244.43/33.94	c (31,0) c AnalysisTime_0 : 3.256633
244.43/33.94	c (31,0) c AnalysisTime_1 : 3.679020
244.43/33.94	c (31,0) c AnalysisTime_2 : 3.347858
244.43/33.94	c (31,0) c AnalysisTime_3 : 3.378083
244.43/33.94	c (31,0) c AnalysisTime_4 : 3.486089
244.43/33.94	c (31,0) c AnalysisTime_5 : 3.257322
244.43/33.94	c (31,0) c AnalysisTime_6 : 3.630795
244.43/33.94	c (31,0) c AnalysisTime_7 : 3.524426
244.43/33.94	c (31,0) c AnalysisTime_total : 27.560226
244.43/33.94	c (31,0) c AnalysisTime_winner : 3.378083
244.43/33.94	c (31,0) c ReductionTime_0 : 0.236756
244.43/33.94	c (31,0) c ReductionTime_1 : 0.249797
244.43/33.94	c (31,0) c ReductionTime_2 : 0.268026
244.43/33.94	c (31,0) c ReductionTime_3 : 0.246730
244.43/33.94	c (31,0) c ReductionTime_4 : 0.262467
244.43/33.94	c (31,0) c ReductionTime_5 : 0.247025
244.43/33.94	c (31,0) c ReductionTime_6 : 0.261046
244.43/33.94	c (31,0) c ReductionTime_7 : 0.259729
244.43/33.94	c (31,0) c ReductionTime_total : 2.031576
244.43/33.94	c (31,0) c ReductionTime_winner : 0.246730
244.43/33.94	c (31,0) c SimplifyTime_0 : 0.008692
244.43/33.94	c (31,0) c SimplifyTime_1 : 0.009069
244.43/33.94	c (31,0) c SimplifyTime_2 : 0.007426
244.43/33.94	c (31,0) c SimplifyTime_3 : 0.009233
244.43/33.94	c (31,0) c SimplifyTime_4 : 0.009059
244.43/33.94	c (31,0) c SimplifyTime_5 : 0.009116
244.43/33.94	c (31,0) c SimplifyTime_6 : 0.008903
244.43/33.94	c (31,0) c SimplifyTime_7 : 0.008667
244.43/33.94	c (31,0) c SimplifyTime_total : 0.070165
244.43/33.94	c (31,0) c SimplifyTime_winner : 0.009233
244.43/33.94	c (31,0) c UsedRateTime_0 : 0.000000
244.43/33.94	c (31,0) c UsedRateTime_1 : 0.000000
244.43/33.94	c (31,0) c UsedRateTime_2 : 0.000000
244.43/33.94	c (31,0) c UsedRateTime_3 : 0.000000
244.43/33.94	c (31,0) c UsedRateTime_4 : 0.000000
244.43/33.94	c (31,0) c UsedRateTime_5 : 0.000000
244.43/33.94	c (31,0) c UsedRateTime_6 : 0.000000
244.43/33.94	c (31,0) c UsedRateTime_7 : 0.000000
244.43/33.94	c (31,0) c UsedRateTime_total : 0.000000
244.43/33.94	c (31,0) c UsedRateTime_winner : 0.000000
244.43/33.94	c (31,0) c OverlapRateTime_0 : 0.000000
244.43/33.94	c (31,0) c OverlapRateTime_1 : 0.000000
244.43/33.94	c (31,0) c OverlapRateTime_2 : 0.000000
244.43/33.94	c (31,0) c OverlapRateTime_3 : 0.000000
244.43/33.94	c (31,0) c OverlapRateTime_4 : 0.000000
244.43/33.94	c (31,0) c OverlapRateTime_5 : 0.000000
244.43/33.94	c (31,0) c OverlapRateTime_6 : 0.000000
244.43/33.94	c (31,0) c OverlapRateTime_7 : 0.000000
244.43/33.94	c (31,0) c OverlapRateTime_total : 0.000000
244.43/33.94	c (31,0) c OverlapRateTime_winner : 0.000000
244.43/33.94	c (31,0) c
244.43/33.94	c (31,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
244.43/33.94	c (31,0) c
244.43/33.94	c (31,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
244.43/33.94	c (31,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
244.43/33.94	c (31,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
244.43/33.94	c (31,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
244.43/33.94	c (31,0) c | adaptStrategeis       |      False |      False |      False |      False |      False |      False |      False |      False |
244.43/33.94	c (31,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
244.43/33.94	c (31,0) c | Initial random_seed   |   85154721 |  810565224 |   13188579 |  536046673 |  733227658 | 1032479162 | 1314457730 | 2083730339 |
244.43/33.94	c (31,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
244.43/33.94	c (31,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
244.43/33.94	c (31,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
244.43/33.94	c (31,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
244.43/33.94	c (31,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
244.43/33.94	c (31,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
244.43/33.94	c (31,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
244.43/33.94	c (31,0) c | var_decay             |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
244.43/33.94	c (31,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
244.43/33.94	c (31,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
244.43/33.94	c (31,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
244.43/33.94	c (31,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
244.43/33.94	c (31,0) 
244.43/33.94	c (31,0) s SATISFIABLE
244.43/33.98	c (31,0) SatSolver.solve End
244.43/33.98	c (31,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
244.43/33.98	c (31,0) Show results Begin
244.68/34.07	c (31,0) x[0] = 155
244.68/34.07	c (31,0) x[1] = 136
244.68/34.07	c (31,0) x[2] = 172
244.68/34.07	c (31,0) x[3] = 44
244.68/34.07	c (31,0) x[4] = 94
244.68/34.07	c (31,0) x[5] = 123
244.68/34.07	c (31,0) x[6] = 138
244.68/34.07	c (31,0) x[7] = 105
244.68/34.07	c (31,0) x[8] = 136
244.68/34.07	c (31,0) x[9] = 156
244.68/34.07	c (31,0) x[10] = 54
244.68/34.07	c (31,0) x[11] = 177
244.68/34.07	c (31,0) x[12] = 94
244.68/34.07	c (31,0) x[13] = 172
244.68/34.07	c (31,0) x[14] = 123
244.68/34.07	c (31,0) x[15] = 44
244.68/34.07	c (31,0) x[16] = 136
244.68/34.07	c (31,0) x[17] = 54
244.68/34.07	c (31,0) x[18] = 0
244.68/34.07	c (31,0) x[19] = 155
244.68/34.07	c (31,0) x[20] = 0
244.68/34.07	c (31,0) x[21] = 78
244.68/34.07	c (31,0) x[22] = 105
244.68/34.07	c (31,0) x[23] = 0
244.68/34.07	c (31,0) y[0] = 146
244.68/34.07	c (31,0) y[1] = 145
244.68/34.07	c (31,0) y[2] = 167
244.68/34.07	c (31,0) y[3] = 159
244.68/34.07	c (31,0) y[4] = 105
244.68/34.07	c (31,0) y[5] = 130
244.68/34.07	c (31,0) y[6] = 130
244.68/34.07	c (31,0) y[7] = 98
244.68/34.07	c (31,0) y[8] = 147
244.68/34.07	c (31,0) y[9] = 146
244.68/34.07	c (31,0) y[10] = 145
244.68/34.07	c (31,0) y[11] = 146
244.68/34.07	c (31,0) y[12] = 116
244.68/34.07	c (31,0) y[13] = 172
244.68/34.07	c (31,0) y[14] = 98
244.68/34.07	c (31,0) y[15] = 169
244.68/34.07	c (31,0) y[16] = 167
244.68/34.07	c (31,0) y[17] = 105
244.68/34.07	c (31,0) y[18] = 159
244.68/34.07	c (31,0) y[19] = 98
244.68/34.07	c (31,0) y[20] = 105
244.68/34.07	c (31,0) y[21] = 145
244.68/34.07	c (31,0) y[22] = 0
244.68/34.07	c (31,0) y[23] = 0
244.68/34.07	s SATISFIABLE
244.68/34.07	v <instantiation>
244.68/34.07	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>
244.68/34.07	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>
244.68/34.07	v </instantiation>
244.68/34.07	c (31,0) Show results End
244.68/34.07	c (31,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 17 MiB used (max 0 MiB)
244.68/34.07	c (31,0) 31,31,STOP-AFTER(ALL)
244.68/34.07	c END-Prog: Tue Sep 24 17:11:10 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 (14069 MiB free)
  memory of node 1: 16384 MiB (10976 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4405289-1569337877/watcher-4405289-1569337877 -o /var/tmp/evaluation-result-4405289-1569337877/solver-4405289-1569337877 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node140-1569335937-9287 --watchdog 2580 HOME/scop.sh 22g HOME/scop.jar -order HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4405289-1569337877.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=10816, runsolver pid=10813
Current StackSize limit: 8192 KiB


[startup+0.100135 s]*
/proc/loadavg: 7.03 6.49 4.72 2/212 10838
/proc/meminfo: memFree=25552224/32770624 swapFree=66997508/67108860
[pid=10816] ppid=10813 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/10816/stat : 10816 (scop.sh) S 10813 10816 9260 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 509726057 115843072 349 33554432000 4194304 5098028 140730826756624 140730826753880 140481599443580 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 11096064 140730826765053 140730826765400 140730826765400 140730826768329 0
/proc/10816/statm: 28282 349 296 221 0 87 0
[pid=10819] ppid=10816 vsize=27314120 memory=105652 CPUtime=0.1 cores=0-7
/proc/10819/stat : 10819 (java) S 10816 10816 9260 0 -1 1077944320 6513 0 0 0 8 2 0 0 20 0 20 0 509726057 27969658880 26413 33554432000 4194304 4196468 140731251517216 140731251499760 140226308103927 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 18219008 140731251520199 140731251520646 140731251520646 140731251523535 0
/proc/10819/statm: 6828530 26413 2804 1 0 6790935 0
[pid=10819/tid=10820] ppid=10816 vsize=27314120 memory=4134930498285298233 CPUtime=0.09 cores=0-7
/proc/10819/task/10820/stat : 10820 (java) R 10816 10816 9260 0 -1 4202560 4600 0 0 0 7 2 0 0 20 0 20 0 509726057 27969658880 26925 33554432000 4194304 4196468 140731251517216 140226279930256 140226288286528 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18219008 140731251520199 140731251520646 140731251520646 140731251523535 0
[pid=10819/tid=10821] ppid=10816 vsize=27314120 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/10819/task/10821/stat : 10821 (java) S 10816 10816 9260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509726060 27969658880 26925 33554432000 4194304 4196468 140731251517216 140226312346384 140226308114133 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18219008 140731251520199 140731251520646 140731251520646 140731251523535 0
[pid=10819/tid=10822] ppid=10816 vsize=27314120 memory=140504618854016 CPUtime=0 cores=0-7
/proc/10819/task/10822/stat : 10822 (java) S 10816 10816 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509726060 27969658880 26925 33554432000 4194304 4196468 140731251517216 140226126502800 140226308114133 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18219008 140731251520199 140731251520646 140731251520646 140731251523535 0
[pid=10819/tid=10823] ppid=10816 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10819/task/10823/stat : 10823 (java) S 10816 10816 9260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509726060 27969658880 26925 33554432000 4194304 4196468 140731251517216 140226125450256 140226308114133 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18219008 140731251520199 140731251520646 140731251520646 140731251523535 0
[pid=10819/tid=10824] ppid=10816 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10819/task/10824/stat : 10824 (java) S 10816 10816 9260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509726060 27969658880 26925 33554432000 4194304 4196468 140731251517216 140226124397712 140226308114133 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18219008 140731251520199 140731251520646 140731251520646 140731251523535 0
[pid=10819/tid=10825] ppid=10816 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10819/task/10825/stat : 10825 (java) S 10816 10816 9260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509726060 27969658880 26925 33554432000 4194304 4196468 140731251517216 140226123344144 140226308114133 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18219008 140731251520199 140731251520646 140731251520646 140731251523535 0
[pid=10819/tid=10826] ppid=10816 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/10819/task/10826/stat : 10826 (java) S 10816 10816 9260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509726060 27969658880 26925 33554432000 4194304 4196468 140731251517216 140226122291600 140226308114133 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18219008 140731251520199 140731251520646 140731251520646 140731251523535 0
[pid=10819/tid=10827] ppid=10816 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10819/task/10827/stat : 10827 (java) S 10816 10816 9260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509726060 27969658880 26925 33554432000 4194304 4196468 140731251517216 140226121239056 140226308114133 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18219008 140731251520199 140731251520646 140731251520646 140731251523535 0
[pid=10819/tid=10828] ppid=10816 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10819/task/10828/stat : 10828 (java) S 10816 10816 9260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509726060 27969658880 26925 33554432000 4194304 4196468 140731251517216 140226120186512 140226308114133 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18219008 140731251520199 140731251520646 140731251520646 140731251523535 0
[pid=10819/tid=10829] ppid=10816 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10819/task/10829/stat : 10829 (java) S 10816 10816 9260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509726061 27969658880 26925 33554432000 4194304 4196468 140731251517216 140224627673584 140226308115074 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18219008 140731251520199 140731251520646 140731251520646 140731251523535 0
[pid=10819/tid=10830] ppid=10816 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10819/task/10830/stat : 10830 (java) S 10816 10816 9260 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 509726062 27969658880 26925 33554432000 4194304 4196468 140731251517216 140224105538976 140226308114133 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18219008 140731251520199 140731251520646 140731251520646 140731251523535 0
[pid=10819/tid=10831] ppid=10816 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10819/task/10831/stat : 10831 (java) S 10816 10816 9260 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 509726062 27969658880 26925 33554432000 4194304 4196468 140731251517216 140223971317232 140226308114133 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18219008 140731251520199 140731251520646 140731251520646 140731251523535 0
[pid=10819/tid=10832] ppid=10816 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10819/task/10832/stat : 10832 (java) S 10816 10816 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509726064 27969658880 26925 33554432000 4194304 4196468 140731251517216 140223596813008 140226308122523 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18219008 140731251520199 140731251520646 140731251520646 140731251523535 0
[pid=10819/tid=10833] ppid=10816 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10819/task/10833/stat : 10833 (java) S 10816 10816 9260 0 -1 1077944384 299 0 0 0 0 0 0 0 20 0 20 0 509726064 27969658880 26925 33554432000 4194304 4196468 140731251517216 140224626620400 140226308115074 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18219008 140731251520199 140731251520646 140731251520646 140731251523535 0
[pid=10819/tid=10834] ppid=10816 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10819/task/10834/stat : 10834 (java) R 10816 10816 9260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509726064 27969658880 26925 33554432000 4194304 4196468 140731251517216 140224625567856 140226308115074 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18219008 140731251520199 140731251520646 140731251520646 140731251523535 0
[pid=10819/tid=10835] ppid=10816 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10819/task/10835/stat : 10835 (java) S 10816 10816 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509726064 27969658880 26925 33554432000 4194304 4196468 140731251517216 140224624515312 140226308115074 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18219008 140731251520199 140731251520646 140731251520646 140731251523535 0
[pid=10819/tid=10836] ppid=10816 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10819/task/10836/stat : 10836 (java) R 10816 10816 9260 0 -1 4202560 260 0 0 0 0 0 0 0 20 0 20 0 509726064 27969658880 26925 33554432000 4194304 4196468 140731251517216 140224623462768 140226288346620 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18219008 140731251520199 140731251520646 140731251520646 140731251523535 0
[pid=10819/tid=10837] ppid=10816 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10819/task/10837/stat : 10837 (java) S 10816 10816 9260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509726065 27969658880 26925 33554432000 4194304 4196468 140731251517216 140223098907360 140226308114133 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18219008 140731251520199 140731251520646 140731251520646 140731251523535 0
[pid=10819/tid=10838] ppid=10816 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/10819/task/10838/stat : 10838 (java) S 10816 10816 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509726065 27969658880 26989 33554432000 4194304 4196468 140731251517216 140224622410672 140226308115074 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18219008 140731251520199 140731251520646 140731251520646 140731251523535 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 107048 KiB

[startup+0.215501 s]*
/proc/loadavg: 7.03 6.49 4.72 2/212 10838
/proc/meminfo: memFree=25531700/32770624 swapFree=66997508/67108860
[pid=10816] ppid=10813 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/10816/stat : 10816 (scop.sh) S 10813 10816 9260 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 509726057 115843072 349 33554432000 4194304 5098028 140730826756624 140730826753880 140481599443580 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 11096064 140730826765053 140730826765400 140730826765400 140730826768329 0
/proc/10816/statm: 28282 349 296 221 0 87 0
[pid=10819] ppid=10816 vsize=27314120 memory=124896 CPUtime=0.25 cores=0-7
/proc/10819/stat : 10819 (java) S 10816 10816 9260 0 -1 1077944320 11994 0 0 0 21 4 0 0 20 0 20 0 509726057 27969658880 31224 33554432000 4194304 4196468 140731251517216 140731251499760 140226308103927 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 18219008 140731251520199 140731251520646 140731251520646 140731251523535 0
/proc/10819/statm: 6828530 31224 2965 1 0 6790935 0
[pid=10819/tid=10820] ppid=10816 vsize=27314120 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/10819/task/10820/stat : 10820 (java) R 10816 10816 9260 0 -1 4202560 9692 0 0 0 17 3 0 0 20 0 20 0 509726057 27969658880 31224 33554432000 4194304 4196468 140731251517216 140226279925280 140226308125274 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18219008 140731251520199 140731251520646 140731251520646 140731251523535 0
[pid=10819/tid=10821] ppid=10816 vsize=27314120 memory=339 CPUtime=0 cores=0-7
/proc/10819/task/10821/stat : 10821 (java) S 10816 10816 9260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509726060 27969658880 31224 33554432000 4194304 4196468 140731251517216 140226312346384 140226308114133 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18219008 140731251520199 140731251520646 140731251520646 140731251523535 0
[pid=10819/tid=10822] ppid=10816 vsize=27314120 memory=288370880770565760 CPUtime=0 cores=0-7
/proc/10819/task/10822/stat : 10822 (java) S 10816 10816 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509726060 27969658880 31224 33554432000 4194304 4196468 140731251517216 140226126502800 140226308114133 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18219008 140731251520199 140731251520646 140731251520646 140731251523535 0
[pid=10819/tid=10823] ppid=10816 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/10819/task/10823/stat : 10823 (java) S 10816 10816 9260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509726060 27969658880 31224 33554432000 4194304 4196468 140731251517216 140226125450256 140226308114133 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18219008 140731251520199 140731251520646 140731251520646 140731251523535 0
[pid=10819/tid=10824] ppid=10816 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10819/task/10824/stat : 10824 (java) S 10816 10816 9260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509726060 27969658880 31224 33554432000 4194304 4196468 140731251517216 140226124397712 140226308114133 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18219008 140731251520199 140731251520646 140731251520646 140731251523535 0
[pid=10819/tid=10825] ppid=10816 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10819/task/10825/stat : 10825 (java) S 10816 10816 9260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509726060 27969658880 31224 33554432000 4194304 4196468 140731251517216 140226123344144 140226308114133 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18219008 140731251520199 140731251520646 140731251520646 140731251523535 0
[pid=10819/tid=10826] ppid=10816 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/10819/task/10826/stat : 10826 (java) S 10816 10816 9260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509726060 27969658880 31224 33554432000 4194304 4196468 140731251517216 140226122291600 140226308114133 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18219008 140731251520199 140731251520646 140731251520646 140731251523535 0
[pid=10819/tid=10827] ppid=10816 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10819/task/10827/stat : 10827 (java) S 10816 10816 9260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509726060 27969658880 31224 33554432000 4194304 4196468 140731251517216 140226121239056 140226308114133 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18219008 140731251520199 140731251520646 140731251520646 140731251523535 0
[pid=10819/tid=10828] ppid=10816 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10819/task/10828/stat : 10828 (java) S 10816 10816 9260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509726060 27969658880 31224 33554432000 4194304 4196468 140731251517216 140226120186512 140226308114133 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18219008 140731251520199 140731251520646 140731251520646 140731251523535 0
[pid=10819/tid=10829] ppid=10816 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10819/task/10829/stat : 10829 (java) S 10816 10816 9260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509726061 27969658880 31224 33554432000 4194304 4196468 140731251517216 140224627673584 140226308115074 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18219008 140731251520199 140731251520646 140731251520646 140731251523535 0
[pid=10819/tid=10830] ppid=10816 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10819/task/10830/stat : 10830 (java) S 10816 10816 9260 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 509726062 27969658880 31224 33554432000 4194304 4196468 140731251517216 140224105538976 140226308114133 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18219008 140731251520199 140731251520646 140731251520646 140731251523535 0
[pid=10819/tid=10831] ppid=10816 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10819/task/10831/stat : 10831 (java) S 10816 10816 9260 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 509726062 27969658880 31224 33554432000 4194304 4196468 140731251517216 140223971317232 140226308114133 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18219008 140731251520199 140731251520646 140731251520646 140731251523535 0
[pid=10819/tid=10832] ppid=10816 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10819/task/10832/stat : 10832 (java) S 10816 10816 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509726064 27969658880 31224 33554432000 4194304 4196468 140731251517216 140223596813008 140226308122523 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18219008 140731251520199 140731251520646 140731251520646 140731251523535 0
[pid=10819/tid=10833] ppid=10816 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10819/task/10833/stat : 10833 (java) S 10816 10816 9260 0 -1 1077944384 334 0 0 0 0 0 0 0 20 0 20 0 509726064 27969658880 31224 33554432000 4194304 4196468 140731251517216 140224626620400 140226308115074 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18219008 140731251520199 140731251520646 140731251520646 140731251523535 0
[pid=10819/tid=10834] ppid=10816 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10819/task/10834/stat : 10834 (java) S 10816 10816 9260 0 -1 1077944384 140 0 0 0 0 0 0 0 20 0 20 0 509726064 27969658880 31224 33554432000 4194304 4196468 140731251517216 140224625567856 140226308115074 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18219008 140731251520199 140731251520646 140731251520646 140731251523535 0
[pid=10819/tid=10835] ppid=10816 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/10819/task/10835/stat : 10835 (java) S 10816 10816 9260 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 20 0 509726064 27969658880 31224 33554432000 4194304 4196468 140731251517216 140224624515312 140226308115074 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18219008 140731251520199 140731251520646 140731251520646 140731251523535 0
[pid=10819/tid=10836] ppid=10816 vsize=27314120 memory=-1 CPUtime=0.02 cores=0-7
/proc/10819/task/10836/stat : 10836 (java) S 10816 10816 9260 0 -1 1077944384 452 0 0 0 2 0 0 0 20 0 20 0 509726064 27969658880 31224 33554432000 4194304 4196468 140731251517216 140224623462768 140226308115074 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18219008 140731251520199 140731251520646 140731251520646 140731251523535 0
[pid=10819/tid=10837] ppid=10816 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10819/task/10837/stat : 10837 (java) S 10816 10816 9260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509726065 27969658880 31224 33554432000 4194304 4196468 140731251517216 140223098907360 140226308114133 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18219008 140731251520199 140731251520646 140731251520646 140731251523535 0
[pid=10819/tid=10838] ppid=10816 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/10819/task/10838/stat : 10838 (java) S 10816 10816 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509726065 27969658880 31224 33554432000 4194304 4196468 140731251517216 140224622410672 140226308115074 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18219008 140731251520199 140731251520646 140731251520646 140731251523535 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 126292 KiB

[startup+0.310332 s]*
/proc/loadavg: 7.03 6.49 4.72 2/212 10838
/proc/meminfo: memFree=25521368/32770624 swapFree=66997508/67108860
[pid=10816] ppid=10813 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/10816/stat : 10816 (scop.sh) S 10813 10816 9260 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 509726057 115843072 349 33554432000 4194304 5098028 140730826756624 140730826753880 140481599443580 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 11096064 140730826765053 140730826765400 140730826765400 140730826768329 0
/proc/10816/statm: 28282 349 296 221 0 87 0
[pid=10819] ppid=10816 vsize=27314120 memory=128312 CPUtime=0.41 cores=0-7
/proc/10819/stat : 10819 (java) S 10816 10816 9260 0 -1 1077944320 12953 0 0 0 37 4 0 0 20 0 20 0 509726057 27969658880 32078 33554432000 4194304 4196468 140731251517216 140731251499760 140226308103927 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 18219008 140731251520199 140731251520646 140731251520646 140731251523535 0
/proc/10819/statm: 6828530 32078 3024 1 0 6790935 0
[pid=10819/tid=10820] ppid=10816 vsize=27314120 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/10819/task/10820/stat : 10820 (java) R 10816 10816 9260 0 -1 4202560 10490 0 0 0 26 3 0 0 20 0 20 0 509726057 27969658880 32078 33554432000 4194304 4196468 140731251517216 140226279934000 140226308117814 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18219008 140731251520199 140731251520646 140731251520646 140731251523535 0
[pid=10819/tid=10821] ppid=10816 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10819/task/10821/stat : 10821 (java) S 10816 10816 9260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509726060 27969658880 32078 33554432000 4194304 4196468 140731251517216 140226312346384 140226308114133 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18219008 140731251520199 140731251520646 140731251520646 140731251523535 0
[pid=10819/tid=10822] ppid=10816 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10819/task/10822/stat : 10822 (java) S 10816 10816 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509726060 27969658880 32078 33554432000 4194304 4196468 140731251517216 140226126502800 140226308114133 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18219008 140731251520199 140731251520646 140731251520646 140731251523535 0
[pid=10819/tid=10823] ppid=10816 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10819/task/10823/stat : 10823 (java) S 10816 10816 9260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509726060 27969658880 32078 33554432000 4194304 4196468 140731251517216 140226125450256 140226308114133 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18219008 140731251520199 140731251520646 140731251520646 140731251523535 0
[pid=10819/tid=10824] ppid=10816 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10819/task/10824/stat : 10824 (java) S 10816 10816 9260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509726060 27969658880 32078 33554432000 4194304 4196468 140731251517216 140226124397712 140226308114133 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18219008 140731251520199 140731251520646 140731251520646 140731251523535 0
[pid=10819/tid=10825] ppid=10816 vsize=27314120 memory=2244 CPUtime=0 cores=0-7
/proc/10819/task/10825/stat : 10825 (java) S 10816 10816 9260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509726060 27969658880 32078 33554432000 4194304 4196468 140731251517216 140226123344144 140226308114133 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18219008 140731251520199 140731251520646 140731251520646 140731251523535 0
[pid=10819/tid=10826] ppid=10816 vsize=27314120 memory=140504486474671 CPUtime=0 cores=0-7
/proc/10819/task/10826/stat : 10826 (java) S 10816 10816 9260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509726060 27969658880 32078 33554432000 4194304 4196468 140731251517216 140226122291600 140226308114133 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18219008 140731251520199 140731251520646 140731251520646 140731251523535 0
[pid=10819/tid=10827] ppid=10816 vsize=27314120 memory=140504486476976 CPUtime=0 cores=0-7
/proc/10819/task/10827/stat : 10827 (java) S 10816 10816 9260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509726060 27969658880 32078 33554432000 4194304 4196468 140731251517216 140226121239056 140226308114133 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18219008 140731251520199 140731251520646 140731251520646 140731251523535 0
[pid=10819/tid=10828] ppid=10816 vsize=27314120 memory=140504486479280 CPUtime=0 cores=0-7
/proc/10819/task/10828/stat : 10828 (java) S 10816 10816 9260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509726060 27969658880 32078 33554432000 4194304 4196468 140731251517216 140226120186512 140226308114133 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18219008 140731251520199 140731251520646 140731251520646 140731251523535 0
[pid=10819/tid=10829] ppid=10816 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10819/task/10829/stat : 10829 (java) S 10816 10816 9260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509726061 27969658880 32078 33554432000 4194304 4196468 140731251517216 140224627673584 140226308115074 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18219008 140731251520199 140731251520646 140731251520646 140731251523535 0
[pid=10819/tid=10830] ppid=10816 vsize=27314120 memory=281008972965520 CPUtime=0 cores=0-7
/proc/10819/task/10830/stat : 10830 (java) S 10816 10816 9260 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 509726062 27969658880 32078 33554432000 4194304 4196468 140731251517216 140224105538976 140226308114133 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18219008 140731251520199 140731251520646 140731251520646 140731251523535 0
[pid=10819/tid=10831] ppid=10816 vsize=27314120 memory=281008972972432 CPUtime=0 cores=0-7
/proc/10819/task/10831/stat : 10831 (java) S 10816 10816 9260 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 509726062 27969658880 32078 33554432000 4194304 4196468 140731251517216 140223971317232 140226308114133 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18219008 140731251520199 140731251520646 140731251520646 140731251523535 0
[pid=10819/tid=10832] ppid=10816 vsize=27314120 memory=281008972913584 CPUtime=0 cores=0-7
/proc/10819/task/10832/stat : 10832 (java) S 10816 10816 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509726064 27969658880 32078 33554432000 4194304 4196468 140731251517216 140223596813008 140226308122523 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18219008 140731251520199 140731251520646 140731251520646 140731251523535 0
[pid=10819/tid=10833] ppid=10816 vsize=27314120 memory=281008972986256 CPUtime=0.01 cores=0-7
/proc/10819/task/10833/stat : 10833 (java) S 10816 10816 9260 0 -1 1077944384 351 0 0 0 1 0 0 0 20 0 20 0 509726064 27969658880 32078 33554432000 4194304 4196468 140731251517216 140224626620400 140226308115074 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18219008 140731251520199 140731251520646 140731251520646 140731251523535 0
[pid=10819/tid=10834] ppid=10816 vsize=27314120 memory=281008972993168 CPUtime=0 cores=0-7
/proc/10819/task/10834/stat : 10834 (java) S 10816 10816 9260 0 -1 1077944384 152 0 0 0 0 0 0 0 20 0 20 0 509726064 27969658880 32078 33554432000 4194304 4196468 140731251517216 140224625567856 140226308115074 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18219008 140731251520199 140731251520646 140731251520646 140731251523535 0
[pid=10819/tid=10835] ppid=10816 vsize=27314120 memory=281008972990864 CPUtime=0.01 cores=0-7
/proc/10819/task/10835/stat : 10835 (java) S 10816 10816 9260 0 -1 1077944384 128 0 0 0 1 0 0 0 20 0 20 0 509726064 27969658880 32078 33554432000 4194304 4196468 140731251517216 140224624515312 140226308115074 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18219008 140731251520199 140731251520646 140731251520646 140731251523535 0
[pid=10819/tid=10836] ppid=10816 vsize=27314120 memory=281008973007024 CPUtime=0.07 cores=0-7
/proc/10819/task/10836/stat : 10836 (java) S 10816 10816 9260 0 -1 1077944384 472 0 0 0 7 0 0 0 20 0 20 0 509726064 27969658880 32078 33554432000 4194304 4196468 140731251517216 140224623462768 140226308115074 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18219008 140731251520199 140731251520646 140731251520646 140731251523535 0
[pid=10819/tid=10837] ppid=10816 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10819/task/10837/stat : 10837 (java) S 10816 10816 9260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509726065 27969658880 32078 33554432000 4194304 4196468 140731251517216 140223098907360 140226308114133 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18219008 140731251520199 140731251520646 140731251520646 140731251523535 0
[pid=10819/tid=10838] ppid=10816 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/10819/task/10838/stat : 10838 (java) S 10816 10816 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509726065 27969658880 32078 33554432000 4194304 4196468 140731251517216 140224622410672 140226308115074 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18219008 140731251520199 140731251520646 140731251520646 140731251523535 0
Current children cumulated CPU time: 0.41 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 129708 KiB

[startup+0.700958 s]
/proc/loadavg: 7.03 6.49 4.72 2/212 10838
/proc/meminfo: memFree=25505704/32770624 swapFree=66997508/67108860
[pid=10816] ppid=10813 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/10816/stat : 10816 (scop.sh) S 10813 10816 9260 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 509726057 115843072 349 33554432000 4194304 5098028 140730826756624 140730826753880 140481599443580 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 11096064 140730826765053 140730826765400 140730826765400 140730826768329 0
/proc/10816/statm: 28282 349 296 221 0 87 0
[pid=10819] ppid=10816 vsize=27322516 memory=164060 CPUtime=0.98 cores=0-7
/proc/10819/stat : 10819 (java) S 10816 10816 9260 0 -1 1077944320 20157 0 0 0 91 7 0 0 20 0 20 0 509726057 27978256384 41015 33554432000 4194304 4196468 140731251517216 140731251499760 140226308103927 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 18219008 140731251520199 140731251520646 140731251520646 140731251523535 0
/proc/10819/statm: 6830629 41015 3217 1 0 6791959 0
[pid=10819/tid=10820] ppid=10816 vsize=27322516 memory=281008973364912 CPUtime=0.67 cores=0-7
/proc/10819/task/10820/stat : 10820 (java) R 10816 10816 9260 0 -1 4202560 17243 0 0 0 62 5 0 0 20 0 20 0 509726057 27978256384 41015 33554432000 4194304 4196468 140731251517216 140226279921312 140226308115862 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18219008 140731251520199 140731251520646 140731251520646 140731251523535 0
[pid=10819/tid=10821] ppid=10816 vsize=27322516 memory=140504486683504 CPUtime=0 cores=0-7
/proc/10819/task/10821/stat : 10821 (java) S 10816 10816 9260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509726060 27978256384 41015 33554432000 4194304 4196468 140731251517216 140226312346384 140226308114133 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18219008 140731251520199 140731251520646 140731251520646 140731251523535 0
[pid=10819/tid=10822] ppid=10816 vsize=27322516 memory=0 CPUtime=0 cores=0-7
/proc/10819/task/10822/stat : 10822 (java) S 10816 10816 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509726060 27978256384 41015 33554432000 4194304 4196468 140731251517216 140226126502800 140226308114133 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18219008 140731251520199 140731251520646 140731251520646 140731251523535 0
[pid=10819/tid=10823] ppid=10816 vsize=27322516 memory=6124 CPUtime=0 cores=0-7
/proc/10819/task/10823/stat : 10823 (java) S 10816 10816 9260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509726060 27978256384 41015 33554432000 4194304 4196468 140731251517216 140226125450256 140226308114133 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18219008 140731251520199 140731251520646 140731251520646 140731251523535 0

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

/proc/10839/task/10845/stat : 10845 (java) S 10816 10816 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509726306 8616062976 29399 33554432000 4194304 4196468 140728800619744 139669582801680 139670101374677 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36376576 140728800621535 140728800621702 140728800621702 140728800624591 0
[pid=10839/tid=10846] ppid=10816 vsize=8414124 memory=10596 CPUtime=0 cores=0-7
/proc/10839/task/10846/stat : 10846 (java) S 10816 10816 9260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 509726306 8616062976 29399 33554432000 4194304 4196468 140728800619744 139669581749136 139670101374677 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36376576 140728800621535 140728800621702 140728800621702 140728800624591 0
[pid=10839/tid=10847] ppid=10816 vsize=8414124 memory=1708 CPUtime=0 cores=0-7
/proc/10839/task/10847/stat : 10847 (java) S 10816 10816 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509726306 8616062976 29399 33554432000 4194304 4196468 140728800619744 139669580696592 139670101374677 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36376576 140728800621535 140728800621702 140728800621702 140728800624591 0
[pid=10839/tid=10848] ppid=10816 vsize=8414124 memory=988 CPUtime=0 cores=0-7
/proc/10839/task/10848/stat : 10848 (java) S 10816 10816 9260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 509726306 8616062976 29399 33554432000 4194304 4196468 140728800619744 139669579644048 139670101374677 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36376576 140728800621535 140728800621702 140728800621702 140728800624591 0
[pid=10839/tid=10849] ppid=10816 vsize=8414124 memory=3628 CPUtime=0 cores=0-7
/proc/10839/task/10849/stat : 10849 (java) S 10816 10816 9260 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 509726307 8616062976 29399 33554432000 4194304 4196468 140728800619744 139669530372080 139670101375618 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36376576 140728800621535 140728800621702 140728800621702 140728800624591 0
[pid=10839/tid=10850] ppid=10816 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/10839/task/10850/stat : 10850 (java) S 10816 10816 9260 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 509726308 8616062976 29399 33554432000 4194304 4196468 140728800619744 139668511253408 139670101374677 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36376576 140728800621535 140728800621702 140728800621702 140728800624591 0
[pid=10839/tid=10851] ppid=10816 vsize=8414124 memory=117596 CPUtime=0 cores=0-7
/proc/10839/task/10851/stat : 10851 (java) S 10816 10816 9260 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 509726308 8616062976 29399 33554432000 4194304 4196468 140728800619744 139668377031664 139670101374677 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36376576 140728800621535 140728800621702 140728800621702 140728800624591 0
[pid=10839/tid=10852] ppid=10816 vsize=8414124 memory=425604 CPUtime=0 cores=0-7
/proc/10839/task/10852/stat : 10852 (java) S 10816 10816 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509726310 8616062976 29399 33554432000 4194304 4196468 140728800619744 139668002527440 139670101383067 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36376576 140728800621535 140728800621702 140728800621702 140728800624591 0
[pid=10839/tid=10853] ppid=10816 vsize=8414124 memory=1980 CPUtime=0.03 cores=0-7
/proc/10839/task/10853/stat : 10853 (java) S 10816 10816 9260 0 -1 1077944384 486 0 0 0 3 0 0 0 20 0 24 0 509726310 8616062976 29399 33554432000 4194304 4196468 140728800619744 139669529319920 139670101375618 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36376576 140728800621535 140728800621702 140728800621702 140728800624591 0
[pid=10839/tid=10854] ppid=10816 vsize=8414124 memory=2540 CPUtime=0.06 cores=0-7
/proc/10839/task/10854/stat : 10854 (java) S 10816 10816 9260 0 -1 1077944384 297 0 0 0 6 0 0 0 20 0 24 0 509726310 8616062976 29399 33554432000 4194304 4196468 140728800619744 139669528267376 139670101375618 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36376576 140728800621535 140728800621702 140728800621702 140728800624591 0
[pid=10839/tid=10855] ppid=10816 vsize=8414124 memory=1760 CPUtime=0.08 cores=0-7
/proc/10839/task/10855/stat : 10855 (java) S 10816 10816 9260 0 -1 1077944384 291 0 0 0 8 0 0 0 20 0 24 0 509726310 8616062976 29399 33554432000 4194304 4196468 140728800619744 139669527214832 139670101375618 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36376576 140728800621535 140728800621702 140728800621702 140728800624591 0
[pid=10839/tid=10856] ppid=10816 vsize=8414124 memory=111636 CPUtime=0.18 cores=0-7
/proc/10839/task/10856/stat : 10856 (java) S 10816 10816 9260 0 -1 1077944384 568 0 0 0 18 0 0 0 20 0 24 0 509726310 8616062976 29399 33554432000 4194304 4196468 140728800619744 139669526162288 139670101375618 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36376576 140728800621535 140728800621702 140728800621702 140728800624591 0
[pid=10839/tid=10857] ppid=10816 vsize=8414124 memory=804 CPUtime=0 cores=0-7
/proc/10839/task/10857/stat : 10857 (java) S 10816 10816 9260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 509726310 8616062976 29399 33554432000 4194304 4196468 140728800619744 139667504621792 139670101374677 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36376576 140728800621535 140728800621702 140728800621702 140728800624591 0
[pid=10839/tid=10858] ppid=10816 vsize=8414124 memory=4096 CPUtime=0.01 cores=0-7
/proc/10839/task/10858/stat : 10858 (java) S 10816 10816 9260 0 -1 1077944384 3 0 0 0 0 1 0 0 20 0 24 0 509726311 8616062976 29399 33554432000 4194304 4196468 140728800619744 139669525109168 139670101375618 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36376576 140728800621535 140728800621702 140728800621702 140728800624591 0
[pid=10839/tid=10860] ppid=10816 vsize=8414124 memory=1808 CPUtime=0 cores=0-7
/proc/10839/task/10860/stat : 10860 (java) S 10816 10816 9260 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 509726375 8616062976 29399 33554432000 4194304 4196468 140728800619744 139669519267008 139670101389081 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 36376576 140728800621535 140728800621702 140728800621702 140728800624591 0
[pid=10839/tid=10862] ppid=10816 vsize=8414124 memory=920 CPUtime=0 cores=0-7
/proc/10839/task/10862/stat : 10862 (java) S 10816 10816 9260 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 24 0 509726376 8616062976 29399 33554432000 4194304 4196468 140728800619744 139666833522448 139670101386397 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 36376576 140728800621535 140728800621702 140728800621702 140728800624591 0
[pid=10839/tid=10863] ppid=10816 vsize=8414124 memory=4408 CPUtime=0 cores=0-7
/proc/10839/task/10863/stat : 10863 (java) S 10816 10816 9260 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 509726376 8616062976 29399 33554432000 4194304 4196468 140728800619744 139667101958032 139670101386397 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 36376576 140728800621535 140728800621702 140728800621702 140728800624591 0
[pid=10839/tid=10864] ppid=10816 vsize=8414124 memory=1408 CPUtime=0 cores=0-7
/proc/10839/task/10864/stat : 10864 (java) S 10816 10816 9260 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 24 0 509726378 8616062976 29399 33554432000 4194304 4196468 140728800619744 139666565095088 139670101374677 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36376576 140728800621535 140728800621702 140728800621702 140728800624591 0
Current children cumulated CPU time: 240.15 s
Current children cumulated vsize: 9246896 KiB
Current children cumulated memory: 544676 KiB

[startup+33.6012 s]
/proc/loadavg: 7.30 6.60 4.81 7/223 10875
/proc/meminfo: memFree=25116756/32770624 swapFree=66997508/67108860
[pid=10816] ppid=10813 vsize=113128 memory=1476 CPUtime=5.52 cores=0-7
/proc/10816/stat : 10816 (scop.sh) S 10813 10816 9260 0 -1 4202496 582 26878 0 0 0 0 528 24 20 0 1 0 509726057 115843072 369 33554432000 4194304 5098028 140730826756624 140730826753368 140481599443580 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 11096064 140730826765053 140730826765400 140730826765400 140730826768329 0
/proc/10816/statm: 28282 369 311 221 0 87 0
[pid=10839] ppid=10816 vsize=8414124 memory=117596 CPUtime=1.15 cores=0-7
/proc/10839/stat : 10839 (java) S 10816 10816 9260 0 -1 1077944320 19912 0 0 0 108 7 0 0 20 0 24 0 509726304 8616062976 29399 33554432000 4194304 4196468 140728800619744 140728800602288 139670101364471 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 36376576 140728800621535 140728800621702 140728800621702 140728800624591 0
/proc/10839/statm: 2103531 29399 3195 1 0 2064875 0
[pid=10859] ppid=10839 vsize=719644 memory=425780 CPUtime=237.43 cores=0-7
/proc/10859/stat : 10859 (manyglucose-4.1) S 10839 10816 9260 0 -1 1077944320 172221 0 0 0 23698 45 0 0 20 0 3 0 509726375 736915456 106445 33554432000 4194304 4454172 140725779632016 140725779630400 140530086702839 0 4 0 8388610 18446744073709551615 0 0 17 7 0 0 0 0 0 6552832 6554400 34668544 140725779637069 140725779637276 140725779637276 140725779640246 0
/proc/10859/statm: 179911 106445 420 64 0 175579 0
[pid=10859/tid=10866] ppid=10839 vsize=719644 memory=117596 CPUtime=30.13 cores=0-7
/proc/10859/task/10866/stat : 10866 (manyglucose-4.1) R 10839 10816 9260 0 -1 4202560 21555 0 0 0 3005 8 0 0 20 0 3 0 509726401 736915456 106445 33554432000 4194304 4454172 140725779632016 140530049805160 4321884 0 4 0 8388610 0 0 0 -1 0 0 0 0 0 0 6552832 6554400 34668544 140725779637069 140725779637276 140725779637276 140725779640246 0
[pid=10859/tid=10872] ppid=10839 vsize=719644 memory=117596 CPUtime=29.46 cores=0-7
/proc/10859/task/10872/stat : 10872 (manyglucose-4.1) R 10839 10816 9260 0 -1 4202560 19947 0 0 0 2943 3 0 0 20 0 3 0 509726401 736915456 106445 33554432000 4194304 4454172 140725779632016 140529999449192 4333329 0 4 0 8388610 0 0 0 -1 5 0 0 0 0 0 6552832 6554400 34668544 140725779637069 140725779637276 140725779637276 140725779640246 0
[pid=10839/tid=10840] ppid=10816 vsize=8414124 memory=1476 CPUtime=0.74 cores=0-7
/proc/10839/task/10840/stat : 10840 (java) S 10816 10816 9260 0 -1 1077944384 16841 0 0 0 69 5 0 0 20 0 24 0 509726305 8616062976 29399 33554432000 4194304 4196468 140728800619744 139670073204640 139670101374677 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36376576 140728800621535 140728800621702 140728800621702 140728800624591 0
[pid=10839/tid=10841] ppid=10816 vsize=8414124 memory=117596 CPUtime=0 cores=0-7
/proc/10839/task/10841/stat : 10841 (java) S 10816 10816 9260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 509726306 8616062976 29399 33554432000 4194304 4196468 140728800619744 139670105606416 139670101374677 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36376576 140728800621535 140728800621702 140728800621702 140728800624591 0
[pid=10839/tid=10842] ppid=10816 vsize=8414124 memory=423260 CPUtime=0 cores=0-7
/proc/10839/task/10842/stat : 10842 (java) S 10816 10816 9260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 509726306 8616062976 29399 33554432000 4194304 4196468 140728800619744 139669923694992 139670101374677 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36376576 140728800621535 140728800621702 140728800621702 140728800624591 0
[pid=10839/tid=10843] ppid=10816 vsize=8414124 memory=1428 CPUtime=0 cores=0-7
/proc/10839/task/10843/stat : 10843 (java) S 10816 10816 9260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 509726306 8616062976 29399 33554432000 4194304 4196468 140728800619744 139669922642448 139670101374677 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36376576 140728800621535 140728800621702 140728800621702 140728800624591 0
[pid=10839/tid=10844] ppid=10816 vsize=8414124 memory=3624 CPUtime=0 cores=0-7
/proc/10839/task/10844/stat : 10844 (java) S 10816 10816 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509726306 8616062976 29399 33554432000 4194304 4196468 140728800619744 139669583854224 139670101374677 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36376576 140728800621535 140728800621702 140728800621702 140728800624591 0
[pid=10839/tid=10845] ppid=10816 vsize=8414124 memory=117596 CPUtime=0 cores=0-7
/proc/10839/task/10845/stat : 10845 (java) S 10816 10816 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509726306 8616062976 29399 33554432000 4194304 4196468 140728800619744 139669582801680 139670101374677 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36376576 140728800621535 140728800621702 140728800621702 140728800624591 0
[pid=10839/tid=10846] ppid=10816 vsize=8414124 memory=420372 CPUtime=0 cores=0-7
/proc/10839/task/10846/stat : 10846 (java) S 10816 10816 9260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 509726306 8616062976 29399 33554432000 4194304 4196468 140728800619744 139669581749136 139670101374677 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36376576 140728800621535 140728800621702 140728800621702 140728800624591 0
[pid=10839/tid=10847] ppid=10816 vsize=8414124 memory=117596 CPUtime=0 cores=0-7
/proc/10839/task/10847/stat : 10847 (java) S 10816 10816 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509726306 8616062976 29399 33554432000 4194304 4196468 140728800619744 139669580696592 139670101374677 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36376576 140728800621535 140728800621702 140728800621702 140728800624591 0
[pid=10839/tid=10848] ppid=10816 vsize=8414124 memory=419716 CPUtime=0 cores=0-7
/proc/10839/task/10848/stat : 10848 (java) S 10816 10816 9260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 509726306 8616062976 29399 33554432000 4194304 4196468 140728800619744 139669579644048 139670101374677 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36376576 140728800621535 140728800621702 140728800621702 140728800624591 0
[pid=10839/tid=10849] ppid=10816 vsize=8414124 memory=7686721470384676243 CPUtime=0 cores=0-7
/proc/10839/task/10849/stat : 10849 (java) S 10816 10816 9260 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 509726307 8616062976 29399 33554432000 4194304 4196468 140728800619744 139669530372080 139670101375618 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36376576 140728800621535 140728800621702 140728800621702 140728800624591 0
[pid=10839/tid=10850] ppid=10816 vsize=8414124 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/10839/task/10850/stat : 10850 (java) S 10816 10816 9260 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 509726308 8616062976 29399 33554432000 4194304 4196468 140728800619744 139668511253408 139670101374677 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36376576 140728800621535 140728800621702 140728800621702 140728800624591 0
[pid=10839/tid=10851] ppid=10816 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/10839/task/10851/stat : 10851 (java) S 10816 10816 9260 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 509726308 8616062976 29399 33554432000 4194304 4196468 140728800619744 139668377031664 139670101374677 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36376576 140728800621535 140728800621702 140728800621702 140728800624591 0
[pid=10839/tid=10852] ppid=10816 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/10839/task/10852/stat : 10852 (java) S 10816 10816 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509726310 8616062976 29399 33554432000 4194304 4196468 140728800619744 139668002527440 139670101383067 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36376576 140728800621535 140728800621702 140728800621702 140728800624591 0
[pid=10839/tid=10853] ppid=10816 vsize=8414124 memory=0 CPUtime=0.03 cores=0-7
/proc/10839/task/10853/stat : 10853 (java) S 10816 10816 9260 0 -1 1077944384 486 0 0 0 3 0 0 0 20 0 24 0 509726310 8616062976 29399 33554432000 4194304 4196468 140728800619744 139669529319920 139670101375618 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36376576 140728800621535 140728800621702 140728800621702 140728800624591 0
[pid=10839/tid=10854] ppid=10816 vsize=8414124 memory=419828 CPUtime=0.06 cores=0-7
/proc/10839/task/10854/stat : 10854 (java) S 10816 10816 9260 0 -1 1077944384 297 0 0 0 6 0 0 0 20 0 24 0 509726310 8616062976 29399 33554432000 4194304 4196468 140728800619744 139669528267376 139670101375618 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36376576 140728800621535 140728800621702 140728800621702 140728800624591 0
[pid=10839/tid=10855] ppid=10816 vsize=8414124 memory=288230583166042426 CPUtime=0.08 cores=0-7
/proc/10839/task/10855/stat : 10855 (java) S 10816 10816 9260 0 -1 1077944384 291 0 0 0 8 0 0 0 20 0 24 0 509726310 8616062976 29399 33554432000 4194304 4196468 140728800619744 139669527214832 139670101375618 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36376576 140728800621535 140728800621702 140728800621702 140728800624591 0
[pid=10839/tid=10856] ppid=10816 vsize=8414124 memory=15262532197681710 CPUtime=0.18 cores=0-7
/proc/10839/task/10856/stat : 10856 (java) S 10816 10816 9260 0 -1 1077944384 568 0 0 0 18 0 0 0 20 0 24 0 509726310 8616062976 29399 33554432000 4194304 4196468 140728800619744 139669526162288 139670101375618 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36376576 140728800621535 140728800621702 140728800621702 140728800624591 0
[pid=10839/tid=10857] ppid=10816 vsize=8414124 memory=384388 CPUtime=0 cores=0-7
/proc/10839/task/10857/stat : 10857 (java) S 10816 10816 9260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 509726310 8616062976 29399 33554432000 4194304 4196468 140728800619744 139667504621792 139670101374677 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36376576 140728800621535 140728800621702 140728800621702 140728800624591 0
[pid=10839/tid=10858] ppid=10816 vsize=8414124 memory=7686721470384676243 CPUtime=0.01 cores=0-7
/proc/10839/task/10858/stat : 10858 (java) S 10816 10816 9260 0 -1 1077944384 5 0 0 0 0 1 0 0 20 0 24 0 509726311 8616062976 29399 33554432000 4194304 4196468 140728800619744 139669525109168 139670101375618 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36376576 140728800621535 140728800621702 140728800621702 140728800624591 0
[pid=10839/tid=10860] ppid=10816 vsize=8414124 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/10839/task/10860/stat : 10860 (java) S 10816 10816 9260 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 509726375 8616062976 29399 33554432000 4194304 4196468 140728800619744 139669519267008 139670101389081 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 36376576 140728800621535 140728800621702 140728800621702 140728800624591 0
[pid=10839/tid=10862] ppid=10816 vsize=8414124 memory=48729625201386 CPUtime=0 cores=0-7
/proc/10839/task/10862/stat : 10862 (java) S 10816 10816 9260 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 24 0 509726376 8616062976 29399 33554432000 4194304 4196468 140728800619744 139666833522448 139670101386397 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 36376576 140728800621535 140728800621702 140728800621702 140728800624591 0
[pid=10839/tid=10863] ppid=10816 vsize=8414124 memory=48729625201386 CPUtime=0 cores=0-7
/proc/10839/task/10863/stat : 10863 (java) S 10816 10816 9260 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 509726376 8616062976 29399 33554432000 4194304 4196468 140728800619744 139667101958032 139670101386397 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 36376576 140728800621535 140728800621702 140728800621702 140728800624591 0
[pid=10839/tid=10864] ppid=10816 vsize=8414124 memory=48729625201386 CPUtime=0 cores=0-7
/proc/10839/task/10864/stat : 10864 (java) S 10816 10816 9260 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 24 0 509726378 8616062976 29399 33554432000 4194304 4196468 140728800619744 139666565095088 139670101374677 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36376576 140728800621535 140728800621702 140728800621702 140728800624591 0
Current children cumulated CPU time: 244.1 s
Current children cumulated vsize: 9246896 KiB
Current children cumulated memory: 544852 KiB

[startup+34.0011 s]*
/proc/loadavg: 6.80 6.51 4.79 2/214 10875
/proc/meminfo: memFree=25535292/32770624 swapFree=66997508/67108860
[pid=10816] ppid=10813 vsize=113128 memory=1476 CPUtime=5.52 cores=0-7
/proc/10816/stat : 10816 (scop.sh) S 10813 10816 9260 0 -1 4202496 582 26878 0 0 0 0 528 24 20 0 1 0 509726057 115843072 369 33554432000 4194304 5098028 140730826756624 140730826753368 140481599443580 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 11096064 140730826765053 140730826765400 140730826765400 140730826768329 0
/proc/10816/statm: 28282 369 311 221 0 87 0
[pid=10839] ppid=10816 vsize=8283048 memory=123200 CPUtime=239.16 cores=0-7
/proc/10839/stat : 10839 (java) S 10816 10816 9260 0 -1 1077944320 21347 172260 0 0 128 8 23734 46 20 0 22 0 509726304 8481841152 30800 33554432000 4194304 4196468 140728800619744 140728800602288 139670101364471 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 36376576 140728800621535 140728800621702 140728800621702 140728800624591 0
/proc/10839/statm: 2070762 30800 3214 1 0 2032106 0
[pid=10839/tid=10840] ppid=10816 vsize=8283048 memory=6791534058613427641 CPUtime=238.56 cores=0-7
/proc/10839/task/10840/stat : 10840 (java) R 10816 10816 9260 0 -1 4202560 16988 172260 0 0 71 5 23734 46 20 0 22 0 509726305 8481841152 30800 33554432000 4194304 4196468 140728800619744 139670073157408 139670086735812 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36376576 140728800621535 140728800621702 140728800621702 140728800624591 0
[pid=10839/tid=10841] ppid=10816 vsize=8283048 memory=4872558044660077418 CPUtime=237.8 cores=0-7
/proc/10839/task/10841/stat : 10841 (java) S 10816 10816 9260 0 -1 1077944384 2 172260 0 0 0 0 23734 46 20 0 22 0 509726306 8481841152 30800 33554432000 4194304 4196468 140728800619744 139670105606416 139670101374677 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36376576 140728800621535 140728800621702 140728800621702 140728800624591 0
[pid=10839/tid=10842] ppid=10816 vsize=8283048 memory=1048 CPUtime=237.8 cores=0-7
/proc/10839/task/10842/stat : 10842 (java) S 10816 10816 9260 0 -1 1077944384 2 172260 0 0 0 0 23734 46 20 0 22 0 509726306 8481841152 30800 33554432000 4194304 4196468 140728800619744 139669923694992 139670101374677 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36376576 140728800621535 140728800621702 140728800621702 140728800624591 0
[pid=10839/tid=10843] ppid=10816 vsize=8283048 memory=6124 CPUtime=237.8 cores=0-7
/proc/10839/task/10843/stat : 10843 (java) S 10816 10816 9260 0 -1 1077944384 2 172260 0 0 0 0 23734 46 20 0 22 0 509726306 8481841152 30800 33554432000 4194304 4196468 140728800619744 139669922642448 139670101374677 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36376576 140728800621535 140728800621702 140728800621702 140728800624591 0
[pid=10839/tid=10844] ppid=10816 vsize=8283048 memory=612 CPUtime=237.8 cores=0-7
/proc/10839/task/10844/stat : 10844 (java) S 10816 10816 9260 0 -1 1077944384 1 172260 0 0 0 0 23734 46 20 0 22 0 509726306 8481841152 30800 33554432000 4194304 4196468 140728800619744 139669583854224 139670101374677 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36376576 140728800621535 140728800621702 140728800621702 140728800624591 0
[pid=10839/tid=10845] ppid=10816 vsize=8283048 memory=0 CPUtime=237.8 cores=0-7
/proc/10839/task/10845/stat : 10845 (java) S 10816 10816 9260 0 -1 1077944384 1 172260 0 0 0 0 23734 46 20 0 22 0 509726306 8481841152 30800 33554432000 4194304 4196468 140728800619744 139669582801680 139670101374677 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36376576 140728800621535 140728800621702 140728800621702 140728800624591 0
[pid=10839/tid=10846] ppid=10816 vsize=8283048 memory=150787711837228 CPUtime=237.8 cores=0-7
/proc/10839/task/10846/stat : 10846 (java) S 10816 10816 9260 0 -1 1077944384 2 172260 0 0 0 0 23734 46 20 0 22 0 509726306 8481841152 30800 33554432000 4194304 4196468 140728800619744 139669581749136 139670101374677 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36376576 140728800621535 140728800621702 140728800621702 140728800624591 0
[pid=10839/tid=10847] ppid=10816 vsize=8283048 memory=180272662324268 CPUtime=237.8 cores=0-7
/proc/10839/task/10847/stat : 10847 (java) S 10816 10816 9260 0 -1 1077944384 1 172260 0 0 0 0 23734 46 20 0 22 0 509726306 8481841152 30800 33554432000 4194304 4196468 140728800619744 139669580696592 139670101374677 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36376576 140728800621535 140728800621702 140728800621702 140728800624591 0
[pid=10839/tid=10848] ppid=10816 vsize=8283048 memory=180384331473964 CPUtime=237.8 cores=0-7
/proc/10839/task/10848/stat : 10848 (java) S 10816 10816 9260 0 -1 1077944384 3 172260 0 0 0 0 23734 46 20 0 22 0 509726306 8481841152 30800 33554432000 4194304 4196468 140728800619744 139669579644048 139670101374677 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36376576 140728800621535 140728800621702 140728800621702 140728800624591 0
[pid=10839/tid=10849] ppid=10816 vsize=8283048 memory=180388626441260 CPUtime=237.8 cores=0-7
/proc/10839/task/10849/stat : 10849 (java) S 10816 10816 9260 0 -1 1077944384 8 172260 0 0 0 0 23734 46 20 0 22 0 509726307 8481841152 30800 33554432000 4194304 4196468 140728800619744 139669530372080 139670101375618 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36376576 140728800621535 140728800621702 140728800621702 140728800624591 0
[pid=10839/tid=10850] ppid=10816 vsize=8283048 memory=0 CPUtime=237.8 cores=0-7
/proc/10839/task/10850/stat : 10850 (java) S 10816 10816 9260 0 -1 1077944384 13 172260 0 0 0 0 23734 46 20 0 22 0 509726308 8481841152 30800 33554432000 4194304 4196468 140728800619744 139668511253408 139670101374677 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36376576 140728800621535 140728800621702 140728800621702 140728800624591 0
[pid=10839/tid=10851] ppid=10816 vsize=8283048 memory=288370015068225826 CPUtime=237.8 cores=0-7
/proc/10839/task/10851/stat : 10851 (java) S 10816 10816 9260 0 -1 1077944384 21 172260 0 0 0 0 23734 46 20 0 22 0 509726308 8481841152 30800 33554432000 4194304 4196468 140728800619744 139668377031664 139670101374677 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36376576 140728800621535 140728800621702 140728800621702 140728800624591 0
[pid=10839/tid=10852] ppid=10816 vsize=8283048 memory=15822179304473929 CPUtime=237.8 cores=0-7
/proc/10839/task/10852/stat : 10852 (java) S 10816 10816 9260 0 -1 1077944384 1 172260 0 0 0 0 23734 46 20 0 22 0 509726310 8481841152 30800 33554432000 4194304 4196468 140728800619744 139668002527440 139670101383067 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36376576 140728800621535 140728800621702 140728800621702 140728800624591 0
[pid=10839/tid=10853] ppid=10816 vsize=8283048 memory=-2317720213663851332 CPUtime=237.87 cores=0-7
/proc/10839/task/10853/stat : 10853 (java) R 10816 10816 9260 0 -1 4202560 738 172260 0 0 7 0 23734 46 20 0 22 0 509726310 8481841152 30800 33554432000 4194304 4196468 140728800619744 139669529319920 139670101375618 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36376576 140728800621535 140728800621702 140728800621702 140728800624591 0
[pid=10839/tid=10854] ppid=10816 vsize=8283048 memory=-6421031960926448530 CPUtime=237.88 cores=0-7
/proc/10839/task/10854/stat : 10854 (java) S 10816 10816 9260 0 -1 1077944384 307 172260 0 0 8 0 23734 46 20 0 22 0 509726310 8481841152 30800 33554432000 4194304 4196468 140728800619744 139669528267376 139670101375618 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36376576 140728800621535 140728800621702 140728800621702 140728800624591 0
[pid=10839/tid=10855] ppid=10816 vsize=8283048 memory=0 CPUtime=237.91 cores=0-7
/proc/10839/task/10855/stat : 10855 (java) S 10816 10816 9260 0 -1 1077944384 351 172260 0 0 11 0 23734 46 20 0 22 0 509726310 8481841152 30800 33554432000 4194304 4196468 140728800619744 139669527214832 139670101375618 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36376576 140728800621535 140728800621702 140728800621702 140728800624591 0
[pid=10839/tid=10856] ppid=10816 vsize=8283048 memory=140504618915953 CPUtime=238.03 cores=0-7
/proc/10839/task/10856/stat : 10856 (java) R 10816 10816 9260 0 -1 4202560 969 172260 0 0 23 0 23734 46 20 0 22 0 509726310 8481841152 30800 33554432000 4194304 4196468 140728800619744 139669526162288 139670101376406 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36376576 140728800621535 140728800621702 140728800621702 140728800624591 0
[pid=10839/tid=10857] ppid=10816 vsize=8283048 memory=554 CPUtime=237.8 cores=0-7
/proc/10839/task/10857/stat : 10857 (java) S 10816 10816 9260 0 -1 1077944384 3 172260 0 0 0 0 23734 46 20 0 22 0 509726310 8481841152 30800 33554432000 4194304 4196468 140728800619744 139667504621792 139670101374677 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36376576 140728800621535 140728800621702 140728800621702 140728800624591 0
[pid=10839/tid=10858] ppid=10816 vsize=8283048 memory=0 CPUtime=237.81 cores=0-7
/proc/10839/task/10858/stat : 10858 (java) S 10816 10816 9260 0 -1 1077944384 5 172260 0 0 0 1 23734 46 20 0 22 0 509726311 8481841152 30800 33554432000 4194304 4196468 140728800619744 139669525109168 139670101375618 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36376576 140728800621535 140728800621702 140728800621702 140728800624591 0
[pid=10839/tid=10860] ppid=10816 vsize=8283048 memory=-6518611492189750934 CPUtime=237.8 cores=0-7
/proc/10839/task/10860/stat : 10860 (java) S 10816 10816 9260 0 -1 1077944384 34 172260 0 0 0 0 23734 46 20 0 22 0 509726375 8481841152 30800 33554432000 4194304 4196468 140728800619744 139669519266192 139670101375618 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36376576 140728800621535 140728800621702 140728800621702 140728800624591 0
[pid=10839/tid=10864] ppid=10816 vsize=8283048 memory=7668954370464627011 CPUtime=237.8 cores=0-7
/proc/10839/task/10864/stat : 10864 (java) S 10816 10816 9260 0 -1 1077944384 15 172260 0 0 0 0 23734 46 20 0 22 0 509726378 8481841152 30800 33554432000 4194304 4196468 140728800619744 139666565096880 139670101375618 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36376576 140728800621535 140728800621702 140728800621702 140728800624591 0
Current children cumulated CPU time: 244.68 s
Current children cumulated vsize: 8396176 KiB
Current children cumulated memory: 124676 KiB

Child status: 0
Real time (s): 34.0948
CPU time (s): 244.861
CPU user time (s): 244.057
CPU system time (s): 0.804469
CPU usage (%): 718.177
Max. virtual memory (cumulated for all children) (KiB): 27441876
Max. memory (cumulated for all children) (KiB): 783824

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 244.057
system time used= 0.804469
maximum resident set size= 790676
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 221340
page faults= 0
swaps= 0
block input operations= 0
block output operations= 6016
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 12841
involuntary context switches= 2743


# summary of solver processes directly reported to runsolver:
#   pid: 10816
#   total CPU time (s): 244.861
#   total CPU user time (s): 244.057
#   total CPU system time (s): 0.804469

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.313864 second user time and 0.531604 second system time

The end

Launcher Data 

Begin job on node140 at 2019-09-24 17:10:36
IDJOB=4405289
IDBENCH=127813
IDSOLVER=2867
FILE ID=node140/4405289-1569337877
RUNJOBID= node140-1569335937-9287
PBS_JOBID= 21705054
Free space on /var/tmp= 13516 MiB

SOLVER NAME= Fun-sCOP order+ManyGlucose (2019-09-22)
BENCH NAME= XCSP17/RectPacking/RectPacking-m1-perf/RectPacking-perfect-029.xml
COMMAND LINE= DIR/scop.sh 22g DIR/scop.jar -order DIR/manyglucose-4.1-27_release -model:-nthreads=NBCORE:-maxmemory=20000:-lit-scans=6000000 TMPDIR BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4405289-1569337877/watcher-4405289-1569337877 -o /var/tmp/evaluation-result-4405289-1569337877/solver-4405289-1569337877 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node140-1569335937-9287 --watchdog 2580  HOME/scop.sh 22g HOME/scop.jar -order HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4405289-1569337877.xml

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

MD5SUM BENCH= 46cde9b56a99396b1706cac103cc08fa
RANDOM SEED=1201978005

node140.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.43
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.43
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.43
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.43
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:        25647768 kB
MemAvailable:   31842108 kB
Buffers:          119280 kB
Cached:          6173128 kB
SwapCached:         2800 kB
Active:          3125828 kB
Inactive:        3174812 kB
Active(anon):       5076 kB
Inactive(anon):    58400 kB
Active(file):    3120752 kB
Inactive(file):  3116412 kB
Unevictable:      107700 kB
Mlocked:          107700 kB
SwapTotal:      67108860 kB
SwapFree:       66997508 kB
Dirty:             20484 kB
Writeback:             0 kB
AnonPages:        175164 kB
Mapped:            57440 kB
Shmem:             46804 kB
Slab:             414604 kB
SReclaimable:     385636 kB
SUnreclaim:        28968 kB
KernelStack:        3792 kB
PageTables:         5556 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     515096 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    131072 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      105856 kB
DirectMap2M:    33439744 kB

Free space on /var/tmp at the end= 13496 MiB
End job on node140 at 2019-09-24 17:11:10