Trace number 4392729

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

NameRectPacking/RectPacking-m1-perf/
RectPacking-perfect-029.xml
MD5SUM46cde9b56a99396b1706cac103cc08fa
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark242.093
Satisfiable
(Un)Satisfiability was proved
Number of variables48
Number of constraints51
Number of domains1
Minimum domain size203
Maximum domain size203
Distribution of domain sizes[{"size":203,"count":48}]
Minimum variable degree2
Maximum variable degree4
Distribution of variable degrees[{"degree":2,"count":46},{"degree":3,"count":1},{"degree":4,"count":1}]
Minimum constraint arity1
Maximum constraint arity48
Distribution of constraint arities[{"arity":1,"count":49},{"arity":2,"count":1},{"arity":48,"count":1}]
Number of extensional constraints0
Number of intensional constraints50
Distribution of constraint types[{"type":"intension","count":50},{"type":"noOverlap","count":1}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c (scop.sh) java -Xms22g -Xmx22g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Encode -hybrid -solver HOME/manyglucose-4.1-27_release -solverOption -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 -tmp HOME -serialFile HOME/scop-8175-serial-file.bin HOME/instance-4392729-1568429582.xml
0.63/0.55	
0.63/0.55	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
0.63/0.55	
0.63/0.58	c BEGIN-Prog: Sat Sep 14 03:51:27 CEST 2019
0.63/0.58	c PID: 8178
0.63/0.58	c IP: 172.20.3.105
0.63/0.58	c HOST: node105.alineos.net
0.63/0.59	c (0,0) Parsing Begin
1.36/0.91	c (0,0) Parsing End
1.36/0.92	c (0,0) CSP: 48 int (0 aux), 0 bool (0 aux), 51 ctr, max domain size 203
1.36/0.92	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.36/0.92	c (0,0) Constraint Name Generate Begin
1.36/0.92	c (0,0) Ctr:HOME/instance-4392729-1568429582.xml,Le:NoOverlap:Num:Var
1.36/0.92	c (0,0) Constraint Name Generate End
1.36/0.92	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.36/0.92	c (0,0) CSP to CSPinCNF Begin
1.36/1.00	c (0,0) translated 6 (10%) constraints
1.36/1.01	c (0,0) translated 11 (20%) constraints
1.52/1.01	c (0,0) translated 16 (30%) constraints
1.52/1.01	c (0,0) translated 21 (40%) constraints
1.52/1.01	c (0,0) translated 26 (50%) constraints
1.52/1.02	c (0,0) translated 31 (60%) constraints
1.52/1.02	c (0,0) translated 36 (70%) constraints
1.52/1.02	c (0,0) translated 41 (80%) constraints
1.52/1.02	c (0,0) translated 46 (90%) constraints
2.11/1.27	c (0,0) translated 51 (100%) constraints
2.11/1.27	c (0,0) ===========================================
2.11/1.29	c (0,0) Hybrid: #OE=48, #LE=0
2.11/1.29	c (0,0) Hybrid
2.11/1.29	c (0,0) ===========================================
2.11/1.29	c (0,0) translated 33 (10%) constraints
2.45/1.30	c (0,0) translated 66 (20%) constraints
2.45/1.31	c (0,0) translated 98 (30%) constraints
2.45/1.32	c (0,0) translated 131 (40%) constraints
2.45/1.32	c (0,0) translated 163 (50%) constraints
2.45/1.33	c (0,0) translated 196 (60%) constraints
2.45/1.33	c (0,0) translated 229 (70%) constraints
2.45/1.33	c (0,0) translated 261 (80%) constraints
2.45/1.34	c (0,0) translated 294 (90%) constraints
2.45/1.34	c (0,0) translated 326 (100%) constraints
2.45/1.35	c (0,0) CSP to CSPinCNF End
2.45/1.35	c (0,0) CSP: 48 int (0 aux), 0 bool (0 aux), 326 ctr, max domain size 203
2.45/1.35	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 23 MiB used (max 0 MiB)
2.45/1.35	c (0,0) CSPinCNF Propagation Begin
2.45/1.37	c (0,0) 0 values, 6 unsatisfiable literals, and 49 valid clauses are removed
2.45/1.37	c (0,0) CSPinCNF Propagation End
2.45/1.37	c (0,0) CSP: 48 int (0 aux), 0 bool (0 aux), 277 ctr, max domain size 203
2.45/1.37	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 23 MiB used (max 0 MiB)
2.45/1.38	c (0,0) Hybrid: #OE=48, #LE=0
2.45/1.38	c (0,0) Simplify CSPinCNF Begin
2.81/1.47	c (0,0) Simplify CSPinCNF End
2.81/1.47	c (0,0) CSP: 48 int (0 aux), 1098 bool (1098 aux), 1375 ctr, max domain size 203
2.81/1.47	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 24 MiB used (max 0 MiB)
2.81/1.47	c (0,0) Calculate Precise Domain Begin
2.81/1.47	c (0,0) 0 values are removed by re-calculation
2.81/1.47	c (0,0) Calculate Precise Domain End
2.81/1.47	c (0,0) CSP: 48 int (0 aux), 1098 bool (1098 aux), 1375 ctr, max domain size 203
2.81/1.47	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 24 MiB used (max 0 MiB)
2.81/1.47	c (0,0) CSPinCNF to SatSolver Begin
4.24/1.80	c (1,1) 138 (10 %) CSP clauses are encoded (0 SAT variables, 26798 SAT clauses)
4.24/1.89	c (1,1) 275 (20 %) CSP clauses are encoded (0 SAT variables, 45186 SAT clauses)
4.63/1.97	c (1,1) 413 (30 %) CSP clauses are encoded (0 SAT variables, 62514 SAT clauses)
4.80/2.03	c (1,1) 550 (40 %) CSP clauses are encoded (0 SAT variables, 78884 SAT clauses)
4.80/2.10	c (1,1) 688 (50 %) CSP clauses are encoded (0 SAT variables, 95080 SAT clauses)
4.93/2.16	c (1,1) 825 (60 %) CSP clauses are encoded (0 SAT variables, 110454 SAT clauses)
5.06/2.22	c (1,1) 963 (70 %) CSP clauses are encoded (0 SAT variables, 125086 SAT clauses)
5.06/2.28	c (1,1) 1100 (80 %) CSP clauses are encoded (0 SAT variables, 138614 SAT clauses)
5.18/2.33	c (1,1) 1238 (90 %) CSP clauses are encoded (0 SAT variables, 150811 SAT clauses)
5.18/2.36	c (1,1) 1375 (100 %) CSP clauses are encoded (0 SAT variables, 159756 SAT clauses)
5.18/2.36	c (1,1) CSPinCNF to SatSolver End
5.18/2.36	c (1,1) Heap : 901 MiB used (max 21589 MiB), NonHeap : 27 MiB used (max 0 MiB)
5.18/2.37	c (1,1) 9186 bool, 159805 clause
5.18/2.37	c (1,1) Export Begin
5.31/2.44	c (1,1) Export to HOME/scop-8175-serial-file.bin
5.31/2.44	c (1,1) Export End
5.31/2.45	c (1,1) Export File Size: 0.01 MB
5.31/2.45	c (1,1) 0,0,0,0,0,0,1,STOP-AFTER(DIMACS)
5.31/2.45	c END-Prog: Sat Sep 14 03:51:29 CEST 2019
5.31/2.46	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-8175-serial-file.bin
5.42/2.91	c (0,0) Read Serial File Begin
5.42/2.91	c (0,0) HOME/scop-8175-serial-file.bin
6.29/3.11	c (0,0) Read Serial File End
6.29/3.12	
6.29/3.12	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
6.29/3.12	(Solving Process)
6.29/3.12	
6.29/3.14	c BEGIN-Prog: Sat Sep 14 03:51:30 CEST 2019
6.29/3.14	c PID: 8198
6.29/3.14	c IP: 172.20.3.105
6.29/3.14	c HOST: node105.alineos.net
6.29/3.15	c (0,0) SatSolver.solve Begin
6.29/3.15	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4392729-1568429582.xml-scop-8178.cnf
6.29/3.17	c (0,0) c
6.29/3.17	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.29/3.17	c (0,0) c
6.29/3.17	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
6.29/3.17	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
6.29/3.17	c (0,0) c ========================================[ Problem Statistics ]===========================================
6.29/3.17	c (0,0) c |                                                                                                       |
6.52/3.23	c (0,0) c |  Number of variables:          9186                                                                   |
6.52/3.23	c (0,0) c |  Number of clauses:          159805                                                                   |
6.52/3.23	c (0,0) c |  Parse time:                   0.06 s                                                                 |
6.52/3.23	c (0,0) c |                                                                                                       |
6.54/3.38	c (0,0) c |  Simplification time:          0.14 s                                                                 |
6.54/3.38	c (0,0) c |                                                                                                       |
6.54/3.38	c (0,0) c |  Generating clones                                                                                    |
6.54/3.42	c (0,0) c |  all clones generated. Memory =   128.24Mb.                                                           |
6.54/3.42	c (0,0) c ========================================================================================================|
6.54/3.42	c (0,0) c
6.54/3.42	c (0,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
6.54/3.42	c (0,0) c
6.54/3.42	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
6.54/3.42	c (0,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
6.54/3.42	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
6.54/3.42	c (0,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
6.54/3.42	c (0,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
6.54/3.42	c (0,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
6.54/3.42	c (0,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
6.54/3.42	c (0,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
6.54/3.42	c (0,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
6.54/3.42	c (0,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
6.54/3.42	c (0,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
6.54/3.42	c (0,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
6.54/3.42	c (0,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
6.54/3.42	c (0,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
6.54/3.42	c (0,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
6.54/3.42	c (0,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
6.54/3.42	c (0,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
6.54/3.42	c (0,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
6.54/3.42	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
241.51/33.30	c (30,0) c
241.51/33.30	c (30,0) c real time : 30.1273 s
241.51/33.30	c (30,0) c cpu time  : 234.66 s
241.51/33.30	c (30,0) c
241.51/33.30	c (30,0) c
241.51/33.30	c (30,0) c
241.51/33.30	c (30,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
241.51/33.30	c (30,0) c
241.51/33.30	c (30,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
241.51/33.30	c (30,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
241.51/33.30	c (30,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
241.51/33.30	c (30,0) c | Conflicts     |         1081258 |     133746 |     135874 |     136936 |     136354 |     134939 |     134272 |     135392 |     133745 |
241.51/33.30	c (30,0) c | Decisions     |         2240873 |     269635 |     274192 |     283093 |     280868 |     284821 |     283541 |     286496 |     278227 |
241.51/33.30	c (30,0) c | Propagations  |       378470862 |   47403472 |   46490293 |   47237770 |   47711540 |   47435977 |   47202978 |   47515922 |   47472910 |
241.51/33.30	c (30,0) c | ReduceDBs     |              72 |          9 |          9 |          9 |          9 |          9 |          9 |          9 |          9 |
241.51/33.30	c (30,0) c | SimpDBs       |              24 |          3 |          3 |          3 |          3 |          3 |          3 |          3 |          3 |
241.51/33.30	c (30,0) c | Restarts      |            4618 |        486 |        521 |        599 |        552 |        573 |        644 |        617 |        626 |
241.51/33.30	c (30,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
241.51/33.30	c (30,0) c | PropBinClauses|       452961711 |   56875127 |   55727048 |   56270578 |   56864256 |   56846172 |   56456457 |   56920639 |   57001434 |
241.51/33.30	c (30,0) c | PropPreBlocker|      6215843589 |  774120436 |  774283331 |  784643580 |  781086713 |  775085118 |  773344223 |  778483596 |  774796592 |
241.51/33.30	c (30,0) c | PropNotBlocker|      1929200614 |  241985308 |  239073236 |  239956658 |  239158582 |  241974997 |  244119409 |  239983922 |  242948502 |
241.51/33.30	c (30,0) c | LitFullScans  |     11775153756 | 1470082677 | 1470062708 | 1481419501 | 1473265069 | 1470080670 | 1470064104 | 1470087802 | 1470091225 |
241.51/33.30	c (30,0) c | LitScanFracts |          503498 |      76750 |      54223 |      60584 |      49602 |      66793 |      57271 |      78890 |      59385 |
241.51/33.30	c (30,0) c | DecisionLevel0|            4619 |        486 |        521 |        600 |        552 |        573 |        644 |        617 |        626 |
241.51/33.30	c (30,0) c | Periods       |            1961 |        245 |        245 |        246 |        245 |        245 |        245 |        245 |        245 |
241.51/33.30	c (30,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
241.51/33.30	c (30,0) c | Avg_Trail     |                 |       3713 |       3666 |       3716 |       3746 |       3774 |       3708 |       3730 |       3722 |
241.51/33.30	c (30,0) c | Avg_DL        |                 |         28 |         28 |         28 |         29 |         28 |         27 |         30 |         28 |
241.51/33.30	c (30,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
241.51/33.30	c (30,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
241.51/33.30	c (30,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
241.51/33.30	c (30,0) c | Exported      |          163384 |      21207 |      21597 |      20130 |      21530 |      20642 |      18873 |      19496 |      19909 |
241.51/33.30	c (30,0) c | Imported      |         1083043 |     134440 |     134626 |     134740 |     134777 |     134764 |     137300 |     136583 |     135813 |
241.51/33.30	c (30,0) c | Good          |             469 |         63 |         59 |         54 |         62 |         57 |         53 |         60 |         61 |
241.51/33.30	c (30,0) c | Purge         |         1082574 |     134377 |     134567 |     134686 |     134715 |     134707 |     137247 |     136523 |     135752 |
241.51/33.30	c (30,0) c | Promoted      |          113369 |      14165 |      14718 |      14420 |      14185 |      14153 |      14075 |      13978 |      13675 |
241.51/33.30	c (30,0) c | Remove_Imp    |          583525 |      72696 |      68830 |      74048 |      72028 |      72832 |      74994 |      74223 |      73874 |
241.51/33.30	c (30,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
241.51/33.30	c (30,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
241.51/33.30	c (30,0) c | Unaries       |                 |          0 |          0 |          1 |          0 |          0 |          0 |          0 |          0 |
241.51/33.30	c (30,0) c | Binaries      |                 |          4 |          8 |         13 |          5 |         10 |         14 |          7 |          6 |
241.51/33.30	c (30,0) c | Glues         |                 |        168 |        171 |        222 |        161 |        225 |        227 |        198 |        192 |
241.51/33.30	c (30,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
241.51/33.30	c (30,0) c | Orig_Seen     |            32 % |      50374 |      50485 |      50110 |      52336 |      55437 |      51263 |      55178 |      48366 |
241.51/33.30	c (30,0) c | Diff Orig seen|                 | -     1962 | -     1851 | -     2226 |      X     |       3101 | -     1073 |       2842 | -     3970 |
241.51/33.30	c (30,0) c | Hamming       |            26 % |       2643 |       2205 |       2423 |      X     |       2498 |       2181 |       2736 |       2073 |
241.51/33.30	c (30,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
241.51/33.30	c (30,0) c | RunningTime   |                 |   29.8 100%|   29.5 100%|   28.9 100%|   28.8 100%|   29.6 100%|   29.5 100%|   29.8 100%|   29.3 100%|
241.51/33.30	c (30,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%|
241.51/33.30	c (30,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%|
241.51/33.30	c (30,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%|
241.51/33.30	c (30,0) c | SolvingTime   |                 |   29.8     |   29.5     |   28.9     |   28.9     |   29.7     |   29.5     |   29.9     |   29.3     |
241.51/33.30	c (30,0) c | PropagationTim|                 |   25.5  85%|   24.7  84%|   24.5  85%|   24.4  84%|   25.2  85%|   25.0  85%|   25.1  84%|   24.8  84%|
241.51/33.30	c (30,0) c | AnalysisTime  |                 |    3.3  11%|    3.7  12%|    3.4  12%|    3.4  12%|    3.4  11%|    3.3  11%|    3.6  12%|    3.4  12%|
241.51/33.30	c (30,0) c | ReductionTime |                 |    0.2   1%|    0.2   1%|    0.3   1%|    0.2   1%|    0.3   1%|    0.3   1%|    0.3   1%|    0.3   1%|
241.51/33.30	c (30,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%|
241.51/33.30	c (30,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%|
241.51/33.30	c (30,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%|
241.51/33.30	c (30,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
241.51/33.30	c (30,0) c
241.51/33.30	c (30,0) c
241.51/33.30	c (30,0) c Threads : 8
241.51/33.30	c (30,0) c Winner : 3
241.51/33.30	c (30,0) c Conflicts_0 : 133746
241.51/33.30	c (30,0) c Conflicts_1 : 135874
241.51/33.30	c (30,0) c Conflicts_2 : 136936
241.51/33.30	c (30,0) c Conflicts_3 : 136354
241.51/33.30	c (30,0) c Conflicts_4 : 134939
241.51/33.30	c (30,0) c Conflicts_5 : 134272
241.51/33.30	c (30,0) c Conflicts_6 : 135392
241.51/33.30	c (30,0) c Conflicts_7 : 133745
241.51/33.30	c (30,0) c Conflicts_total : 1081258
241.51/33.30	c (30,0) c Conflicts_winner : 136354
241.51/33.30	c (30,0) c Decisions_0 : 269635
241.51/33.30	c (30,0) c Decisions_1 : 274192
241.51/33.30	c (30,0) c Decisions_2 : 283093
241.51/33.30	c (30,0) c Decisions_3 : 280868
241.51/33.30	c (30,0) c Decisions_4 : 284821
241.51/33.30	c (30,0) c Decisions_5 : 283541
241.51/33.30	c (30,0) c Decisions_6 : 286496
241.51/33.30	c (30,0) c Decisions_7 : 278227
241.51/33.30	c (30,0) c Decisions_total : 2240873
241.51/33.30	c (30,0) c Decisions_winner : 280868
241.51/33.30	c (30,0) c Propagations_0 : 47403472
241.51/33.30	c (30,0) c Propagations_1 : 46490293
241.51/33.30	c (30,0) c Propagations_2 : 47237770
241.51/33.30	c (30,0) c Propagations_3 : 47711540
241.51/33.30	c (30,0) c Propagations_4 : 47435977
241.51/33.30	c (30,0) c Propagations_5 : 47202978
241.51/33.30	c (30,0) c Propagations_6 : 47515922
241.51/33.30	c (30,0) c Propagations_7 : 47472910
241.51/33.30	c (30,0) c Propagations_total : 378470862
241.51/33.30	c (30,0) c Propagations_winner : 47711540
241.51/33.30	c (30,0) c ReduceDBs_0 : 9
241.51/33.30	c (30,0) c ReduceDBs_1 : 9
241.51/33.30	c (30,0) c ReduceDBs_2 : 9
241.51/33.30	c (30,0) c ReduceDBs_3 : 9
241.51/33.30	c (30,0) c ReduceDBs_4 : 9
241.51/33.30	c (30,0) c ReduceDBs_5 : 9
241.51/33.30	c (30,0) c ReduceDBs_6 : 9
241.51/33.30	c (30,0) c ReduceDBs_7 : 9
241.51/33.30	c (30,0) c ReduceDBs_total : 72
241.51/33.30	c (30,0) c ReduceDBs_winner : 9
241.51/33.30	c (30,0) c SimpDBs_0 : 3
241.51/33.30	c (30,0) c SimpDBs_1 : 3
241.51/33.30	c (30,0) c SimpDBs_2 : 3
241.51/33.30	c (30,0) c SimpDBs_3 : 3
241.51/33.30	c (30,0) c SimpDBs_4 : 3
241.51/33.30	c (30,0) c SimpDBs_5 : 3
241.51/33.30	c (30,0) c SimpDBs_6 : 3
241.51/33.30	c (30,0) c SimpDBs_7 : 3
241.51/33.30	c (30,0) c SimpDBs_total : 24
241.51/33.30	c (30,0) c SimpDBs_winner : 3
241.51/33.30	c (30,0) c Restarts_0 : 486
241.51/33.30	c (30,0) c Restarts_1 : 521
241.51/33.30	c (30,0) c Restarts_2 : 599
241.51/33.30	c (30,0) c Restarts_3 : 552
241.51/33.30	c (30,0) c Restarts_4 : 573
241.51/33.30	c (30,0) c Restarts_5 : 644
241.51/33.30	c (30,0) c Restarts_6 : 617
241.51/33.30	c (30,0) c Restarts_7 : 626
241.51/33.30	c (30,0) c Restarts_total : 4618
241.51/33.30	c (30,0) c Restarts_winner : 552
241.51/33.30	c (30,0) c ForcedImports_0 : 0
241.51/33.30	c (30,0) c ForcedImports_1 : 0
241.51/33.30	c (30,0) c ForcedImports_2 : 0
241.51/33.30	c (30,0) c ForcedImports_3 : 0
241.51/33.30	c (30,0) c ForcedImports_4 : 0
241.51/33.30	c (30,0) c ForcedImports_5 : 0
241.51/33.30	c (30,0) c ForcedImports_6 : 0
241.51/33.30	c (30,0) c ForcedImports_7 : 0
241.51/33.30	c (30,0) c ForcedImports_total : 0
241.51/33.30	c (30,0) c ForcedImports_winner : 0
241.51/33.30	c (30,0) c PropsBinClauses_0 : 56875127
241.51/33.30	c (30,0) c PropsBinClauses_1 : 55727048
241.51/33.30	c (30,0) c PropsBinClauses_2 : 56270578
241.51/33.30	c (30,0) c PropsBinClauses_3 : 56864256
241.51/33.30	c (30,0) c PropsBinClauses_4 : 56846172
241.51/33.30	c (30,0) c PropsBinClauses_5 : 56456457
241.51/33.30	c (30,0) c PropsBinClauses_6 : 56920639
241.51/33.30	c (30,0) c PropsBinClauses_7 : 57001434
241.51/33.30	c (30,0) c PropsBinClauses_total : 452961711
241.51/33.30	c (30,0) c PropsBinClauses_winner : 56864256
241.51/33.30	c (30,0) c PropsPreBlocker_0 : 774120436
241.51/33.30	c (30,0) c PropsPreBlocker_1 : 774283331
241.51/33.30	c (30,0) c PropsPreBlocker_2 : 784643580
241.51/33.30	c (30,0) c PropsPreBlocker_3 : 781086713
241.51/33.30	c (30,0) c PropsPreBlocker_4 : 775085118
241.51/33.30	c (30,0) c PropsPreBlocker_5 : 773344223
241.51/33.30	c (30,0) c PropsPreBlocker_6 : 778483596
241.51/33.30	c (30,0) c PropsPreBlocker_7 : 774796592
241.51/33.30	c (30,0) c PropsPreBlocker_total : 6215843589
241.51/33.30	c (30,0) c PropsPreBlocker_winner : 781086713
241.51/33.30	c (30,0) c PropsNotBlocker_0 : 241985308
241.51/33.30	c (30,0) c PropsNotBlocker_1 : 239073236
241.51/33.30	c (30,0) c PropsNotBlocker_2 : 239956658
241.51/33.30	c (30,0) c PropsNotBlocker_3 : 239158582
241.51/33.30	c (30,0) c PropsNotBlocker_4 : 241974997
241.51/33.30	c (30,0) c PropsNotBlocker_5 : 244119409
241.51/33.30	c (30,0) c PropsNotBlocker_6 : 239983922
241.51/33.30	c (30,0) c PropsNotBlocker_7 : 242948502
241.51/33.31	c (30,0) c PropsNotBlocker_total : 1929200614
241.51/33.31	c (30,0) c PropsNotBlocker_winner : 239158582
241.51/33.31	c (30,0) c PropsLitFullScans_0 : 1470082677
241.51/33.31	c (30,0) c PropsLitFullScans_1 : 1470062708
241.51/33.31	c (30,0) c PropsLitFullScans_2 : 1481419501
241.51/33.31	c (30,0) c PropsLitFullScans_3 : 1473265069
241.51/33.31	c (30,0) c PropsLitFullScans_4 : 1470080670
241.51/33.31	c (30,0) c PropsLitFullScans_5 : 1470064104
241.51/33.31	c (30,0) c PropsLitFullScans_6 : 1470087802
241.51/33.31	c (30,0) c PropsLitFullScans_7 : 1470091225
241.51/33.31	c (30,0) c PropsLitFullScans_total : 11775153756
241.51/33.31	c (30,0) c PropsLitFullScans_winner : 1473265069
241.51/33.31	c (30,0) c LitScanFractions_0 : 76750
241.51/33.31	c (30,0) c LitScanFractions_1 : 54223
241.51/33.31	c (30,0) c LitScanFractions_2 : 60584
241.51/33.31	c (30,0) c LitScanFractions_3 : 49602
241.51/33.31	c (30,0) c LitScanFractions_4 : 66793
241.51/33.31	c (30,0) c LitScanFractions_5 : 57271
241.51/33.31	c (30,0) c LitScanFractions_6 : 78890
241.51/33.31	c (30,0) c LitScanFractions_7 : 59385
241.51/33.31	c (30,0) c LitScanFractions_total : 503498
241.51/33.31	c (30,0) c LitScanFractions_winner : 49602
241.51/33.31	c (30,0) c DecisionLevel0_0 : 486
241.51/33.31	c (30,0) c DecisionLevel0_1 : 521
241.51/33.31	c (30,0) c DecisionLevel0_2 : 600
241.51/33.31	c (30,0) c DecisionLevel0_3 : 552
241.51/33.31	c (30,0) c DecisionLevel0_4 : 573
241.51/33.31	c (30,0) c DecisionLevel0_5 : 644
241.51/33.31	c (30,0) c DecisionLevel0_6 : 617
241.51/33.31	c (30,0) c DecisionLevel0_7 : 626
241.51/33.31	c (30,0) c DecisionLevel0_total : 4619
241.51/33.31	c (30,0) c DecisionLevel0_winner : 552
241.51/33.31	c (30,0) c Periods_0 : 245
241.51/33.31	c (30,0) c Periods_1 : 245
241.51/33.31	c (30,0) c Periods_2 : 246
241.51/33.31	c (30,0) c Periods_3 : 245
241.51/33.31	c (30,0) c Periods_4 : 245
241.51/33.31	c (30,0) c Periods_5 : 245
241.51/33.31	c (30,0) c Periods_6 : 245
241.51/33.31	c (30,0) c Periods_7 : 245
241.51/33.31	c (30,0) c Periods_total : 1961
241.51/33.31	c (30,0) c Periods_winner : 245
241.51/33.31	c (30,0) c Margin_0 : 20
241.51/33.31	c (30,0) c Margin_1 : 20
241.51/33.31	c (30,0) c Margin_2 : 20
241.51/33.31	c (30,0) c Margin_3 : 20
241.51/33.31	c (30,0) c Margin_4 : 20
241.51/33.31	c (30,0) c Margin_5 : 20
241.51/33.31	c (30,0) c Margin_6 : 20
241.51/33.31	c (30,0) c Margin_7 : 20
241.51/33.31	c (30,0) c Margin_total : 160
241.51/33.31	c (30,0) c Margin_winner : 20
241.51/33.31	c (30,0) c Exported_0 : 21207
241.51/33.31	c (30,0) c Exported_1 : 21597
241.51/33.31	c (30,0) c Exported_2 : 20130
241.51/33.31	c (30,0) c Exported_3 : 21530
241.51/33.31	c (30,0) c Exported_4 : 20642
241.51/33.31	c (30,0) c Exported_5 : 18873
241.51/33.31	c (30,0) c Exported_6 : 19496
241.51/33.31	c (30,0) c Exported_7 : 19909
241.51/33.31	c (30,0) c Exported_total : 163384
241.51/33.31	c (30,0) c Exported_winner : 21530
241.51/33.31	c (30,0) c Imported_0 : 134440
241.51/33.31	c (30,0) c Imported_1 : 134626
241.51/33.31	c (30,0) c Imported_2 : 134740
241.51/33.31	c (30,0) c Imported_3 : 134777
241.51/33.31	c (30,0) c Imported_4 : 134764
241.51/33.31	c (30,0) c Imported_5 : 137300
241.51/33.31	c (30,0) c Imported_6 : 136583
241.51/33.31	c (30,0) c Imported_7 : 135813
241.51/33.31	c (30,0) c Imported_total : 1083043
241.51/33.31	c (30,0) c Imported_winner : 134777
241.51/33.31	c (30,0) c Good_0 : 63
241.51/33.31	c (30,0) c Good_1 : 59
241.51/33.31	c (30,0) c Good_2 : 54
241.51/33.31	c (30,0) c Good_3 : 62
241.51/33.31	c (30,0) c Good_4 : 57
241.51/33.31	c (30,0) c Good_5 : 53
241.51/33.31	c (30,0) c Good_6 : 60
241.51/33.31	c (30,0) c Good_7 : 61
241.51/33.31	c (30,0) c Good_total : 469
241.51/33.31	c (30,0) c Good_winner : 62
241.51/33.31	c (30,0) c Purge_0 : 134377
241.51/33.31	c (30,0) c Purge_1 : 134567
241.51/33.31	c (30,0) c Purge_2 : 134686
241.51/33.31	c (30,0) c Purge_3 : 134715
241.51/33.31	c (30,0) c Purge_4 : 134707
241.51/33.31	c (30,0) c Purge_5 : 137247
241.51/33.31	c (30,0) c Purge_6 : 136523
241.51/33.31	c (30,0) c Purge_7 : 135752
241.51/33.31	c (30,0) c Purge_total : 1082574
241.51/33.31	c (30,0) c Purge_winner : 134715
241.51/33.31	c (30,0) c Promoted_0 : 14165
241.51/33.31	c (30,0) c Promoted_1 : 14718
241.51/33.31	c (30,0) c Promoted_2 : 14420
241.51/33.31	c (30,0) c Promoted_3 : 14185
241.51/33.31	c (30,0) c Promoted_4 : 14153
241.51/33.31	c (30,0) c Promoted_5 : 14075
241.51/33.31	c (30,0) c Promoted_6 : 13978
241.51/33.31	c (30,0) c Promoted_7 : 13675
241.51/33.31	c (30,0) c Promoted_total : 113369
241.51/33.31	c (30,0) c Promoted_winner : 14185
241.51/33.31	c (30,0) c Remove_Imp_0 : 72696
241.51/33.31	c (30,0) c Remove_Imp_1 : 68830
241.51/33.31	c (30,0) c Remove_Imp_2 : 74048
241.51/33.31	c (30,0) c Remove_Imp_3 : 72028
241.51/33.31	c (30,0) c Remove_Imp_4 : 72832
241.51/33.31	c (30,0) c Remove_Imp_5 : 74994
241.51/33.31	c (30,0) c Remove_Imp_6 : 74223
241.51/33.31	c (30,0) c Remove_Imp_7 : 73874
241.51/33.31	c (30,0) c Remove_Imp_total : 583525
241.51/33.31	c (30,0) c Remove_Imp_winner : 72028
241.51/33.31	c (30,0) c Blocked_Reuse_0 : 0
241.51/33.31	c (30,0) c Blocked_Reuse_1 : 0
241.51/33.31	c (30,0) c Blocked_Reuse_2 : 0
6.58/33.31	c (30,0) c Blocked_Reuse_3 : 0
6.58/33.31	c (30,0) c Blocked_Reuse_4 : 0
6.58/33.31	c (30,0) c Blocked_Reuse_5 : 0
6.58/33.31	c (30,0) c Blocked_Reuse_6 : 0
6.58/33.31	c (30,0) c Blocked_Reuse_7 : 0
6.58/33.31	c (30,0) c Blocked_Reuse_total : 0
6.58/33.31	c (30,0) c Blocked_Reuse_winner : 0
6.58/33.31	c (30,0) c Unaries_0 : 0
6.58/33.31	c (30,0) c Unaries_1 : 0
6.58/33.31	c (30,0) c Unaries_2 : 1
6.58/33.31	c (30,0) c Unaries_3 : 0
6.58/33.31	c (30,0) c Unaries_4 : 0
6.58/33.31	c (30,0) c Unaries_5 : 0
6.58/33.31	c (30,0) c Unaries_6 : 0
6.58/33.31	c (30,0) c Unaries_7 : 0
6.58/33.31	c (30,0) c Unaries_total : 1
6.58/33.31	c (30,0) c Unaries_winner : 0
6.58/33.31	c (30,0) c Binaries_0 : 4
6.58/33.31	c (30,0) c Binaries_1 : 8
6.58/33.31	c (30,0) c Binaries_2 : 13
6.58/33.31	c (30,0) c Binaries_3 : 5
6.58/33.31	c (30,0) c Binaries_4 : 10
6.58/33.31	c (30,0) c Binaries_5 : 14
6.58/33.31	c (30,0) c Binaries_6 : 7
6.58/33.31	c (30,0) c Binaries_7 : 6
6.58/33.31	c (30,0) c Binaries_total : 67
6.58/33.31	c (30,0) c Binaries_winner : 5
6.58/33.31	c (30,0) c Glues_0 : 168
6.58/33.31	c (30,0) c Glues_1 : 171
6.58/33.31	c (30,0) c Glues_2 : 222
6.58/33.31	c (30,0) c Glues_3 : 161
6.58/33.31	c (30,0) c Glues_4 : 225
6.58/33.31	c (30,0) c Glues_5 : 227
6.58/33.31	c (30,0) c Glues_6 : 198
6.58/33.31	c (30,0) c Glues_7 : 192
6.58/33.31	c (30,0) c Glues_total : 1564
6.58/33.31	c (30,0) c Glues_winner : 161
6.58/33.31	c (30,0) c RunningTime_0 : 29.761226
6.58/33.31	c (30,0) c RunningTime_1 : 29.455015
6.58/33.31	c (30,0) c RunningTime_2 : 28.884583
6.58/33.31	c (30,0) c RunningTime_3 : 28.829338
6.58/33.31	c (30,0) c RunningTime_4 : 29.597596
6.58/33.31	c (30,0) c RunningTime_5 : 29.468791
6.58/33.31	c (30,0) c RunningTime_6 : 29.799584
6.58/33.31	c (30,0) c RunningTime_7 : 29.252083
6.58/33.31	c (30,0) c RunningTime_total : 235.048215
6.58/33.31	c (30,0) c RunningTime_winner : 28.829338
6.58/33.31	c (30,0) c WaitingTime_0 : 0.000337
6.58/33.31	c (30,0) c WaitingTime_1 : 0.000278
6.58/33.31	c (30,0) c WaitingTime_2 : 0.000299
6.58/33.31	c (30,0) c WaitingTime_3 : 0.000324
6.58/33.31	c (30,0) c WaitingTime_4 : 0.000280
6.58/33.31	c (30,0) c WaitingTime_5 : 0.000335
6.58/33.31	c (30,0) c WaitingTime_6 : 0.000302
6.58/33.31	c (30,0) c WaitingTime_7 : 0.000334
6.58/33.31	c (30,0) c WaitingTime_total : 0.002486
6.58/33.31	c (30,0) c WaitingTime_winner : 0.000324
6.58/33.31	c (30,0) c ExchangingTime_0 : 0.056567
6.58/33.31	c (30,0) c ExchangingTime_1 : 0.055761
6.58/33.31	c (30,0) c ExchangingTime_2 : 0.059589
6.58/33.31	c (30,0) c ExchangingTime_3 : 0.047782
6.58/33.31	c (30,0) c ExchangingTime_4 : 0.050776
6.58/33.31	c (30,0) c ExchangingTime_5 : 0.053519
6.58/33.31	c (30,0) c ExchangingTime_6 : 0.055027
6.58/33.31	c (30,0) c ExchangingTime_7 : 0.049984
6.58/33.31	c (30,0) c ExchangingTime_total : 0.429005
6.58/33.31	c (30,0) c ExchangingTime_winner : 0.047782
6.58/33.31	c (30,0) c PeriodProcTime_0 : 0.002048
6.58/33.31	c (30,0) c PeriodProcTime_1 : 0.001770
6.58/33.31	c (30,0) c PeriodProcTime_2 : 0.002011
6.58/33.31	c (30,0) c PeriodProcTime_3 : 0.001794
6.58/33.31	c (30,0) c PeriodProcTime_4 : 0.001705
6.58/33.31	c (30,0) c PeriodProcTime_5 : 0.002030
6.58/33.31	c (30,0) c PeriodProcTime_6 : 0.002311
6.58/33.31	c (30,0) c PeriodProcTime_7 : 0.002086
6.58/33.31	c (30,0) c PeriodProcTime_total : 0.015756
6.58/33.31	c (30,0) c PeriodProcTime_winner : 0.001794
6.58/33.31	c (30,0) c SolvingTime_0 : 29.820179
6.58/33.31	c (30,0) c SolvingTime_1 : 29.512824
6.58/33.31	c (30,0) c SolvingTime_2 : 28.946481
6.58/33.31	c (30,0) c SolvingTime_3 : 28.879237
6.58/33.31	c (30,0) c SolvingTime_4 : 29.650357
6.58/33.31	c (30,0) c SolvingTime_5 : 29.524674
6.58/33.31	c (30,0) c SolvingTime_6 : 29.857224
6.58/33.31	c (30,0) c SolvingTime_7 : 29.304487
6.58/33.31	c (30,0) c SolvingTime_total : 235.495462
6.58/33.31	c (30,0) c SolvingTime_winner : 28.879237
6.58/33.31	c (30,0) c PropagationTime_0 : 25.487377
6.58/33.31	c (30,0) c PropagationTime_1 : 24.749333
6.58/33.31	c (30,0) c PropagationTime_2 : 24.468018
6.58/33.31	c (30,0) c PropagationTime_3 : 24.379669
6.58/33.31	c (30,0) c PropagationTime_4 : 25.162371
6.58/33.31	c (30,0) c PropagationTime_5 : 25.046886
6.58/33.31	c (30,0) c PropagationTime_6 : 25.081403
6.58/33.31	c (30,0) c PropagationTime_7 : 24.758044
6.58/33.31	c (30,0) c PropagationTime_total : 199.133102
6.58/33.31	c (30,0) c PropagationTime_winner : 24.379669
6.58/33.31	c (30,0) c AnalysisTime_0 : 3.250116
6.58/33.31	c (30,0) c AnalysisTime_1 : 3.669962
6.58/33.31	c (30,0) c AnalysisTime_2 : 3.351906
6.58/33.31	c (30,0) c AnalysisTime_3 : 3.406275
6.58/33.31	c (30,0) c AnalysisTime_4 : 3.373616
6.58/33.31	c (30,0) c AnalysisTime_5 : 3.341629
6.58/33.31	c (30,0) c AnalysisTime_6 : 3.645993
6.58/33.31	c (30,0) c AnalysisTime_7 : 3.428301
6.58/33.31	c (30,0) c AnalysisTime_total : 27.467798
6.58/33.31	c (30,0) c AnalysisTime_winner : 3.406275
6.58/33.31	c (30,0) c ReductionTime_0 : 0.230636
6.58/33.31	c (30,0) c ReductionTime_1 : 0.245701
6.58/33.31	c (30,0) c ReductionTime_2 : 0.262679
6.58/33.31	c (30,0) c ReductionTime_3 : 0.245206
6.58/33.31	c (30,0) c ReductionTime_4 : 0.251472
6.58/33.31	c (30,0) c ReductionTime_5 : 0.250943
6.58/33.31	c (30,0) c ReductionTime_6 : 0.258944
6.58/33.31	c (30,0) c ReductionTime_7 : 0.250640
6.58/33.31	c (30,0) c ReductionTime_total : 1.996222
6.58/33.31	c (30,0) c ReductionTime_winner : 0.245206
6.58/33.31	c (30,0) c SimplifyTime_0 : 0.008760
6.58/33.31	c (30,0) c SimplifyTime_1 : 0.009144
6.58/33.31	c (30,0) c SimplifyTime_2 : 0.007834
6.58/33.31	c (30,0) c SimplifyTime_3 : 0.009249
6.58/33.31	c (30,0) c SimplifyTime_4 : 0.009192
6.58/33.31	c (30,0) c SimplifyTime_5 : 0.008595
6.58/33.31	c (30,0) c SimplifyTime_6 : 0.008894
6.58/33.31	c (30,0) c SimplifyTime_7 : 0.008880
6.58/33.31	c (30,0) c SimplifyTime_total : 0.070549
6.58/33.31	c (30,0) c SimplifyTime_winner : 0.009249
6.58/33.31	c (30,0) c UsedRateTime_0 : 0.000000
6.58/33.31	c (30,0) c UsedRateTime_1 : 0.000000
6.58/33.31	c (30,0) c UsedRateTime_2 : 0.000000
6.58/33.31	c (30,0) c UsedRateTime_3 : 0.000000
6.58/33.31	c (30,0) c UsedRateTime_4 : 0.000000
6.58/33.31	c (30,0) c UsedRateTime_5 : 0.000000
6.58/33.31	c (30,0) c UsedRateTime_6 : 0.000000
6.58/33.31	c (30,0) c UsedRateTime_7 : 0.000000
6.58/33.31	c (30,0) c UsedRateTime_total : 0.000000
6.58/33.31	c (30,0) c UsedRateTime_winner : 0.000000
6.58/33.31	c (30,0) c OverlapRateTime_0 : 0.000000
6.58/33.31	c (30,0) c OverlapRateTime_1 : 0.000000
6.58/33.31	c (30,0) c OverlapRateTime_2 : 0.000000
6.58/33.31	c (30,0) c OverlapRateTime_3 : 0.000000
6.58/33.31	c (30,0) c OverlapRateTime_4 : 0.000000
6.58/33.31	c (30,0) c OverlapRateTime_5 : 0.000000
6.58/33.31	c (30,0) c OverlapRateTime_6 : 0.000000
6.58/33.31	c (30,0) c OverlapRateTime_7 : 0.000000
6.58/33.31	c (30,0) c OverlapRateTime_total : 0.000000
6.58/33.31	c (30,0) c OverlapRateTime_winner : 0.000000
6.58/33.31	c (30,0) c
6.58/33.31	c (30,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
6.58/33.31	c (30,0) c
6.58/33.31	c (30,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
6.58/33.31	c (30,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
6.58/33.31	c (30,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
6.58/33.31	c (30,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
6.58/33.31	c (30,0) c | adaptStrategeis       |      False |      False |      False |      False |      False |      False |      False |      False |
6.58/33.31	c (30,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
6.58/33.31	c (30,0) c | Initial random_seed   |   85154721 |  810565224 | 1458067705 |  536046673 |  733227658 | 1032479162 | 1314457730 | 2083730339 |
6.58/33.31	c (30,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
6.58/33.31	c (30,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
6.58/33.31	c (30,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
6.58/33.31	c (30,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
6.58/33.31	c (30,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
6.58/33.31	c (30,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
6.58/33.31	c (30,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
6.58/33.31	c (30,0) c | var_decay             |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
6.58/33.31	c (30,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
6.58/33.31	c (30,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
6.58/33.31	c (30,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
6.58/33.31	c (30,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
6.58/33.31	c (30,0) 
6.58/33.32	c (30,0) s SATISFIABLE
6.58/33.35	c (30,0) SatSolver.solve End
6.58/33.35	c (30,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
6.58/33.35	c (30,0) Show results Begin
241.96/33.44	c (30,0) x[0] = 155
241.96/33.44	c (30,0) x[1] = 136
241.96/33.44	c (30,0) x[2] = 172
241.96/33.44	c (30,0) x[3] = 44
241.96/33.44	c (30,0) x[4] = 94
241.96/33.44	c (30,0) x[5] = 123
241.96/33.44	c (30,0) x[6] = 138
241.96/33.44	c (30,0) x[7] = 105
241.96/33.44	c (30,0) x[8] = 136
241.96/33.44	c (30,0) x[9] = 156
241.96/33.44	c (30,0) x[10] = 54
241.96/33.44	c (30,0) x[11] = 177
241.96/33.44	c (30,0) x[12] = 94
241.96/33.44	c (30,0) x[13] = 172
241.96/33.44	c (30,0) x[14] = 123
241.96/33.44	c (30,0) x[15] = 44
241.96/33.44	c (30,0) x[16] = 136
241.96/33.44	c (30,0) x[17] = 54
241.96/33.44	c (30,0) x[18] = 0
241.96/33.44	c (30,0) x[19] = 155
241.96/33.44	c (30,0) x[20] = 0
241.96/33.44	c (30,0) x[21] = 78
241.96/33.44	c (30,0) x[22] = 105
241.96/33.44	c (30,0) x[23] = 0
241.96/33.44	c (30,0) y[0] = 146
241.96/33.44	c (30,0) y[1] = 145
241.96/33.44	c (30,0) y[2] = 167
241.96/33.44	c (30,0) y[3] = 159
241.96/33.44	c (30,0) y[4] = 105
241.96/33.44	c (30,0) y[5] = 130
241.96/33.44	c (30,0) y[6] = 130
241.96/33.44	c (30,0) y[7] = 98
241.96/33.44	c (30,0) y[8] = 147
241.96/33.44	c (30,0) y[9] = 146
241.96/33.44	c (30,0) y[10] = 145
241.96/33.44	c (30,0) y[11] = 146
241.96/33.44	c (30,0) y[12] = 116
241.96/33.44	c (30,0) y[13] = 172
241.96/33.44	c (30,0) y[14] = 98
241.96/33.44	c (30,0) y[15] = 169
241.96/33.44	c (30,0) y[16] = 167
241.96/33.44	c (30,0) y[17] = 105
241.96/33.44	c (30,0) y[18] = 159
241.96/33.44	c (30,0) y[19] = 98
241.96/33.44	c (30,0) y[20] = 105
241.96/33.44	c (30,0) y[21] = 145
241.96/33.44	c (30,0) y[22] = 0
241.96/33.44	c (30,0) y[23] = 0
241.96/33.44	s SATISFIABLE
241.96/33.44	v <instantiation>
241.96/33.44	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>
241.96/33.44	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>
241.96/33.44	v </instantiation>
241.96/33.44	c (30,0) Show results End
241.96/33.44	c (30,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 17 MiB used (max 0 MiB)
241.96/33.44	c (30,0) 30,30,STOP-AFTER(ALL)
241.96/33.44	c END-Prog: Sat Sep 14 03:52:00 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 (15186 MiB free)
  memory of node 1: 16384 MiB (15478 MiB free)
  node distances:
     10  21
     21  10

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


[startup+0.10144 s]*
/proc/loadavg: 7.86 8.01 7.95 4/210 8196
/proc/meminfo: memFree=31308576/32770624 swapFree=66937012/67108860
[pid=8175] ppid=8172 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/8175/stat : 8175 (scop.sh) S 8172 8175 7657 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 419216545 115843072 349 33554432000 4194304 5098028 140734821452288 140734821449544 140163850343036 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 26505216 140734821458724 140734821459052 140734821459052 140734821461965 0
/proc/8175/statm: 28282 349 296 221 0 87 0
[pid=8178] ppid=8175 vsize=27314120 memory=104960 CPUtime=0.08 cores=0-7
/proc/8178/stat : 8178 (java) S 8175 8175 7657 0 -1 1077944320 6303 0 0 0 6 2 0 0 20 0 20 0 419216545 27969658880 26240 33554432000 4194304 4196468 140729286596448 140729286578992 139705882930935 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 39596032 140729286599403 140729286599830 140729286599830 140729286602703 0
/proc/8178/statm: 6828530 26240 2719 1 0 6790935 0
[pid=8178/tid=8179] ppid=8175 vsize=27314120 memory=8317482817917895235 CPUtime=0.07 cores=0-7
/proc/8178/task/8179/stat : 8179 (java) R 8175 8175 7657 0 -1 4202560 4443 0 0 0 5 2 0 0 20 0 20 0 419216545 27969658880 26240 33554432000 4194304 4196468 140729286596448 139705854763904 139705875168062 0 4 2 16800973 0 0 0 -1 5 0 0 2 0 0 6293624 6294260 39596032 140729286599403 140729286599830 140729286599830 140729286602703 0
[pid=8178/tid=8180] ppid=8175 vsize=27314120 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/8178/task/8180/stat : 8180 (java) S 8175 8175 7657 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419216548 27969658880 26240 33554432000 4194304 4196468 140729286596448 139705887173520 139705882941141 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39596032 140729286599403 140729286599830 140729286599830 140729286602703 0
[pid=8178/tid=8181] ppid=8175 vsize=27314120 memory=139705041315456 CPUtime=0 cores=0-7
/proc/8178/task/8181/stat : 8181 (java) S 8175 8175 7657 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419216548 27969658880 26240 33554432000 4194304 4196468 140729286596448 139705701329680 139705882941141 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39596032 140729286599403 140729286599830 140729286599830 140729286602703 0
[pid=8178/tid=8182] ppid=8175 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/8178/task/8182/stat : 8182 (java) S 8175 8175 7657 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419216548 27969658880 26240 33554432000 4194304 4196468 140729286596448 139705700277392 139705882941141 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39596032 140729286599403 140729286599830 140729286599830 140729286602703 0
[pid=8178/tid=8183] ppid=8175 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/8178/task/8183/stat : 8183 (java) S 8175 8175 7657 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419216548 27969658880 26240 33554432000 4194304 4196468 140729286596448 139705699224592 139705882941141 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39596032 140729286599403 140729286599830 140729286599830 140729286602703 0
[pid=8178/tid=8184] ppid=8175 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/8178/task/8184/stat : 8184 (java) S 8175 8175 7657 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419216548 27969658880 26240 33554432000 4194304 4196468 140729286596448 139705698171280 139705882941141 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39596032 140729286599403 140729286599830 140729286599830 140729286602703 0
[pid=8178/tid=8185] ppid=8175 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/8178/task/8185/stat : 8185 (java) S 8175 8175 7657 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419216548 27969658880 26240 33554432000 4194304 4196468 140729286596448 139705697118480 139705882941141 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39596032 140729286599403 140729286599830 140729286599830 140729286602703 0
[pid=8178/tid=8186] ppid=8175 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/8178/task/8186/stat : 8186 (java) S 8175 8175 7657 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419216548 27969658880 26240 33554432000 4194304 4196468 140729286596448 139705696066192 139705882941141 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39596032 140729286599403 140729286599830 140729286599830 140729286602703 0
[pid=8178/tid=8187] ppid=8175 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/8178/task/8187/stat : 8187 (java) S 8175 8175 7657 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419216548 27969658880 26240 33554432000 4194304 4196468 140729286596448 139705695013392 139705882941141 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39596032 140729286599403 140729286599830 140729286599830 140729286602703 0
[pid=8178/tid=8188] ppid=8175 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/8178/task/8188/stat : 8188 (java) S 8175 8175 7657 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419216549 27969658880 26240 33554432000 4194304 4196468 140729286596448 139703934208624 139705882942082 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39596032 140729286599403 140729286599830 140729286599830 140729286602703 0
[pid=8178/tid=8189] ppid=8175 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/8178/task/8189/stat : 8189 (java) S 8175 8175 7657 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 419216550 27969658880 26240 33554432000 4194304 4196468 140729286596448 139703810516256 139705882941141 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39596032 140729286599403 140729286599830 140729286599830 140729286602703 0
[pid=8178/tid=8190] ppid=8175 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/8178/task/8190/stat : 8190 (java) S 8175 8175 7657 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419216550 27969658880 26240 33554432000 4194304 4196468 140729286596448 139703542081136 139705882941141 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39596032 140729286599403 140729286599830 140729286599830 140729286602703 0
[pid=8178/tid=8191] ppid=8175 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/8178/task/8191/stat : 8191 (java) S 8175 8175 7657 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419216552 27969658880 26240 33554432000 4194304 4196468 140729286596448 139703167572560 139705882949531 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39596032 140729286599403 140729286599830 140729286599830 140729286602703 0
[pid=8178/tid=8192] ppid=8175 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/8178/task/8192/stat : 8192 (java) S 8175 8175 7657 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 20 0 419216554 27969658880 26240 33554432000 4194304 4196468 140729286596448 139703933155440 139705882942082 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39596032 140729286599403 140729286599830 140729286599830 140729286602703 0
[pid=8178/tid=8193] ppid=8175 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/8178/task/8193/stat : 8193 (java) S 8175 8175 7657 0 -1 1077944384 270 0 0 0 0 0 0 0 20 0 20 0 419216554 27969658880 26240 33554432000 4194304 4196468 140729286596448 139703932102640 139705882942082 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39596032 140729286599403 140729286599830 140729286599830 140729286602703 0
[pid=8178/tid=8194] ppid=8175 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/8178/task/8194/stat : 8194 (java) S 8175 8175 7657 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419216554 27969658880 26240 33554432000 4194304 4196468 140729286596448 139703931050352 139705882942082 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39596032 140729286599403 140729286599830 140729286599830 140729286602703 0
[pid=8178/tid=8195] ppid=8175 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/8178/task/8195/stat : 8195 (java) S 8175 8175 7657 0 -1 1077944384 235 0 0 0 0 0 0 0 20 0 20 0 419216554 27969658880 26240 33554432000 4194304 4196468 140729286596448 139703929997552 139705882942082 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39596032 140729286599403 140729286599830 140729286599830 140729286602703 0
[pid=8178/tid=8196] ppid=8175 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/8178/task/8196/stat : 8196 (java) S 8175 8175 7657 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419216555 27969658880 26240 33554432000 4194304 4196468 140729286596448 139702669667168 139705882941141 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39596032 140729286599403 140729286599830 140729286599830 140729286602703 0
[pid=8178/tid=8197] ppid=8175 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/8178/task/8197/stat : 8197 (java) S 8175 8175 7657 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419216555 27969658880 26240 33554432000 4194304 4196468 140729286596448 139703928945456 139705882942082 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39596032 140729286599403 140729286599830 140729286599830 140729286602703 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 106356 KiB

[startup+0.210636 s]*
/proc/loadavg: 7.86 8.01 7.95 2/211 8197
/proc/meminfo: memFree=31284920/32770624 swapFree=66937012/67108860
[pid=8175] ppid=8172 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/8175/stat : 8175 (scop.sh) S 8172 8175 7657 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 419216545 115843072 349 33554432000 4194304 5098028 140734821452288 140734821449544 140163850343036 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 26505216 140734821458724 140734821459052 140734821459052 140734821461965 0
/proc/8175/statm: 28282 349 296 221 0 87 0
[pid=8178] ppid=8175 vsize=27314120 memory=126740 CPUtime=0.22 cores=0-7
/proc/8178/stat : 8178 (java) S 8175 8175 7657 0 -1 1077944320 11860 0 0 0 18 4 0 0 20 0 20 0 419216545 27969658880 31685 33554432000 4194304 4196468 140729286596448 140729286578992 139705882930935 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 39596032 140729286599403 140729286599830 140729286599830 140729286602703 0
/proc/8178/statm: 6828530 31685 2926 1 0 6790935 0
[pid=8178/tid=8179] ppid=8175 vsize=27314120 memory=8318255677412212789 CPUtime=0.17 cores=0-7
/proc/8178/task/8179/stat : 8179 (java) R 8175 8175 7657 0 -1 4202560 9656 0 0 0 14 3 0 0 20 0 20 0 419216545 27969658880 31685 33554432000 4194304 4196468 140729286596448 139705854754880 139705882952861 0 4 2 16800973 0 0 0 -1 1 0 0 2 0 0 6293624 6294260 39596032 140729286599403 140729286599830 140729286599830 140729286602703 0
[pid=8178/tid=8180] ppid=8175 vsize=27314120 memory=331 CPUtime=0 cores=0-7
/proc/8178/task/8180/stat : 8180 (java) S 8175 8175 7657 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419216548 27969658880 31685 33554432000 4194304 4196468 140729286596448 139705887173520 139705882941141 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39596032 140729286599403 140729286599830 140729286599830 140729286602703 0
[pid=8178/tid=8181] ppid=8175 vsize=27314120 memory=139705041323891 CPUtime=0 cores=0-7
/proc/8178/task/8181/stat : 8181 (java) S 8175 8175 7657 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419216548 27969658880 31685 33554432000 4194304 4196468 140729286596448 139705701329680 139705882941141 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39596032 140729286599403 140729286599830 140729286599830 140729286602703 0
[pid=8178/tid=8182] ppid=8175 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/8178/task/8182/stat : 8182 (java) S 8175 8175 7657 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419216548 27969658880 31685 33554432000 4194304 4196468 140729286596448 139705700277392 139705882941141 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39596032 140729286599403 140729286599830 140729286599830 140729286602703 0
[pid=8178/tid=8183] ppid=8175 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/8178/task/8183/stat : 8183 (java) S 8175 8175 7657 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419216548 27969658880 31685 33554432000 4194304 4196468 140729286596448 139705699224592 139705882941141 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39596032 140729286599403 140729286599830 140729286599830 140729286602703 0
[pid=8178/tid=8184] ppid=8175 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/8178/task/8184/stat : 8184 (java) S 8175 8175 7657 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419216548 27969658880 31685 33554432000 4194304 4196468 140729286596448 139705698171280 139705882941141 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39596032 140729286599403 140729286599830 140729286599830 140729286602703 0
[pid=8178/tid=8185] ppid=8175 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/8178/task/8185/stat : 8185 (java) S 8175 8175 7657 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419216548 27969658880 31685 33554432000 4194304 4196468 140729286596448 139705697118480 139705882941141 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39596032 140729286599403 140729286599830 140729286599830 140729286602703 0
[pid=8178/tid=8186] ppid=8175 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/8178/task/8186/stat : 8186 (java) S 8175 8175 7657 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419216548 27969658880 31685 33554432000 4194304 4196468 140729286596448 139705696066192 139705882941141 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39596032 140729286599403 140729286599830 140729286599830 140729286602703 0
[pid=8178/tid=8187] ppid=8175 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/8178/task/8187/stat : 8187 (java) S 8175 8175 7657 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419216548 27969658880 31685 33554432000 4194304 4196468 140729286596448 139705695013392 139705882941141 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39596032 140729286599403 140729286599830 140729286599830 140729286602703 0
[pid=8178/tid=8188] ppid=8175 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/8178/task/8188/stat : 8188 (java) S 8175 8175 7657 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419216549 27969658880 31685 33554432000 4194304 4196468 140729286596448 139703934208624 139705882942082 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39596032 140729286599403 140729286599830 140729286599830 140729286602703 0
[pid=8178/tid=8189] ppid=8175 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/8178/task/8189/stat : 8189 (java) S 8175 8175 7657 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 419216550 27969658880 31685 33554432000 4194304 4196468 140729286596448 139703810516256 139705882941141 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39596032 140729286599403 140729286599830 140729286599830 140729286602703 0
[pid=8178/tid=8190] ppid=8175 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/8178/task/8190/stat : 8190 (java) S 8175 8175 7657 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419216550 27969658880 31685 33554432000 4194304 4196468 140729286596448 139703542081136 139705882941141 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39596032 140729286599403 140729286599830 140729286599830 140729286602703 0
[pid=8178/tid=8191] ppid=8175 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/8178/task/8191/stat : 8191 (java) S 8175 8175 7657 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419216552 27969658880 31685 33554432000 4194304 4196468 140729286596448 139703167572560 139705882949531 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39596032 140729286599403 140729286599830 140729286599830 140729286602703 0
[pid=8178/tid=8192] ppid=8175 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/8178/task/8192/stat : 8192 (java) S 8175 8175 7657 0 -1 1077944384 161 0 0 0 0 0 0 0 20 0 20 0 419216554 27969658880 31685 33554432000 4194304 4196468 140729286596448 139703933155440 139705882942082 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39596032 140729286599403 140729286599830 140729286599830 140729286602703 0
[pid=8178/tid=8193] ppid=8175 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/8178/task/8193/stat : 8193 (java) S 8175 8175 7657 0 -1 1077944384 270 0 0 0 0 0 0 0 20 0 20 0 419216554 27969658880 31685 33554432000 4194304 4196468 140729286596448 139703932102640 139705882942082 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39596032 140729286599403 140729286599830 140729286599830 140729286602703 0
[pid=8178/tid=8194] ppid=8175 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/8178/task/8194/stat : 8194 (java) S 8175 8175 7657 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419216554 27969658880 31685 33554432000 4194304 4196468 140729286596448 139703931050352 139705882942082 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39596032 140729286599403 140729286599830 140729286599830 140729286602703 0
[pid=8178/tid=8195] ppid=8175 vsize=27314120 memory=-1 CPUtime=0.02 cores=0-7
/proc/8178/task/8195/stat : 8195 (java) R 8175 8175 7657 0 -1 4202560 438 0 0 0 2 0 0 0 20 0 20 0 419216554 27969658880 31685 33554432000 4194304 4196468 140729286596448 139703929997552 139705875168062 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 39596032 140729286599403 140729286599830 140729286599830 140729286602703 0
[pid=8178/tid=8196] ppid=8175 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/8178/task/8196/stat : 8196 (java) S 8175 8175 7657 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419216555 27969658880 31685 33554432000 4194304 4196468 140729286596448 139702669667168 139705882941141 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39596032 140729286599403 140729286599830 140729286599830 140729286602703 0
[pid=8178/tid=8197] ppid=8175 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/8178/task/8197/stat : 8197 (java) S 8175 8175 7657 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419216555 27969658880 31685 33554432000 4194304 4196468 140729286596448 139703928945456 139705882942082 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39596032 140729286599403 140729286599830 140729286599830 140729286602703 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 128136 KiB

[startup+0.310548 s]*
/proc/loadavg: 7.86 8.01 7.95 3/211 8197
/proc/meminfo: memFree=31281748/32770624 swapFree=66937012/67108860
[pid=8175] ppid=8172 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/8175/stat : 8175 (scop.sh) S 8172 8175 7657 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 419216545 115843072 349 33554432000 4194304 5098028 140734821452288 140734821449544 140163850343036 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 26505216 140734821458724 140734821459052 140734821459052 140734821461965 0
/proc/8175/statm: 28282 349 296 221 0 87 0
[pid=8178] ppid=8175 vsize=27314120 memory=130156 CPUtime=0.4 cores=0-7
/proc/8178/stat : 8178 (java) S 8175 8175 7657 0 -1 1077944320 12397 0 0 0 36 4 0 0 20 0 20 0 419216545 27969658880 32539 33554432000 4194304 4196468 140729286596448 140729286578992 139705882930935 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 39596032 140729286599403 140729286599830 140729286599830 140729286602703 0
/proc/8178/statm: 6828530 32539 3023 1 0 6790935 0
[pid=8178/tid=8179] ppid=8175 vsize=27314120 memory=8317482817917895235 CPUtime=0.27 cores=0-7
/proc/8178/task/8179/stat : 8179 (java) R 8175 8175 7657 0 -1 4202560 9988 0 0 0 24 3 0 0 20 0 20 0 419216545 27969658880 32539 33554432000 4194304 4196468 140729286596448 139705854761008 139705863206147 0 4 2 16800973 0 0 0 -1 1 0 0 2 0 0 6293624 6294260 39596032 140729286599403 140729286599830 140729286599830 140729286602703 0
[pid=8178/tid=8180] ppid=8175 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/8178/task/8180/stat : 8180 (java) S 8175 8175 7657 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419216548 27969658880 32539 33554432000 4194304 4196468 140729286596448 139705887173520 139705882941141 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39596032 140729286599403 140729286599830 140729286599830 140729286602703 0
[pid=8178/tid=8181] ppid=8175 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/8178/task/8181/stat : 8181 (java) S 8175 8175 7657 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419216548 27969658880 32539 33554432000 4194304 4196468 140729286596448 139705701329680 139705882941141 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39596032 140729286599403 140729286599830 140729286599830 140729286602703 0
[pid=8178/tid=8182] ppid=8175 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/8178/task/8182/stat : 8182 (java) S 8175 8175 7657 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419216548 27969658880 32539 33554432000 4194304 4196468 140729286596448 139705700277392 139705882941141 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39596032 140729286599403 140729286599830 140729286599830 140729286602703 0
[pid=8178/tid=8183] ppid=8175 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/8178/task/8183/stat : 8183 (java) S 8175 8175 7657 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419216548 27969658880 32539 33554432000 4194304 4196468 140729286596448 139705699224592 139705882941141 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39596032 140729286599403 140729286599830 140729286599830 140729286602703 0
[pid=8178/tid=8184] ppid=8175 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/8178/task/8184/stat : 8184 (java) S 8175 8175 7657 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419216548 27969658880 32539 33554432000 4194304 4196468 140729286596448 139705698171280 139705882941141 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39596032 140729286599403 140729286599830 140729286599830 140729286602703 0
[pid=8178/tid=8185] ppid=8175 vsize=27314120 memory=139704884357807 CPUtime=0 cores=0-7
/proc/8178/task/8185/stat : 8185 (java) S 8175 8175 7657 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419216548 27969658880 32539 33554432000 4194304 4196468 140729286596448 139705697118480 139705882941141 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39596032 140729286599403 140729286599830 140729286599830 140729286602703 0
[pid=8178/tid=8186] ppid=8175 vsize=27314120 memory=139704884360112 CPUtime=0 cores=0-7
/proc/8178/task/8186/stat : 8186 (java) S 8175 8175 7657 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419216548 27969658880 32539 33554432000 4194304 4196468 140729286596448 139705696066192 139705882941141 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39596032 140729286599403 140729286599830 140729286599830 140729286602703 0
[pid=8178/tid=8187] ppid=8175 vsize=27314120 memory=139704884362416 CPUtime=0 cores=0-7
/proc/8178/task/8187/stat : 8187 (java) S 8175 8175 7657 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419216548 27969658880 32539 33554432000 4194304 4196468 140729286596448 139705695013392 139705882941141 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39596032 140729286599403 140729286599830 140729286599830 140729286602703 0
[pid=8178/tid=8188] ppid=8175 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/8178/task/8188/stat : 8188 (java) S 8175 8175 7657 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419216549 27969658880 32539 33554432000 4194304 4196468 140729286596448 139703934208624 139705882942082 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39596032 140729286599403 140729286599830 140729286599830 140729286602703 0
[pid=8178/tid=8189] ppid=8175 vsize=27314120 memory=279409768738704 CPUtime=0 cores=0-7
/proc/8178/task/8189/stat : 8189 (java) S 8175 8175 7657 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 419216550 27969658880 32539 33554432000 4194304 4196468 140729286596448 139703810516256 139705882941141 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39596032 140729286599403 140729286599830 140729286599830 140729286602703 0
[pid=8178/tid=8190] ppid=8175 vsize=27314120 memory=279409768736400 CPUtime=0 cores=0-7
/proc/8178/task/8190/stat : 8190 (java) S 8175 8175 7657 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419216550 27969658880 32539 33554432000 4194304 4196468 140729286596448 139703542081136 139705882941141 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39596032 140729286599403 140729286599830 140729286599830 140729286602703 0
[pid=8178/tid=8191] ppid=8175 vsize=27314120 memory=279409768743312 CPUtime=0 cores=0-7
/proc/8178/task/8191/stat : 8191 (java) S 8175 8175 7657 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419216552 27969658880 32539 33554432000 4194304 4196468 140729286596448 139703167572560 139705882949531 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39596032 140729286599403 140729286599830 140729286599830 140729286602703 0
[pid=8178/tid=8192] ppid=8175 vsize=27314120 memory=279409768684592 CPUtime=0.02 cores=0-7
/proc/8178/task/8192/stat : 8192 (java) S 8175 8175 7657 0 -1 1077944384 265 0 0 0 2 0 0 0 20 0 20 0 419216554 27969658880 32539 33554432000 4194304 4196468 140729286596448 139703933155440 139705882942082 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39596032 140729286599403 140729286599830 140729286599830 140729286602703 0
[pid=8178/tid=8193] ppid=8175 vsize=27314120 memory=279409768757136 CPUtime=0.01 cores=0-7
/proc/8178/task/8193/stat : 8193 (java) S 8175 8175 7657 0 -1 1077944384 326 0 0 0 1 0 0 0 20 0 20 0 419216554 27969658880 32539 33554432000 4194304 4196468 140729286596448 139703932102640 139705882942082 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39596032 140729286599403 140729286599830 140729286599830 140729286602703 0
[pid=8178/tid=8194] ppid=8175 vsize=27314120 memory=279409768764048 CPUtime=0 cores=0-7
/proc/8178/task/8194/stat : 8194 (java) S 8175 8175 7657 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 20 0 419216554 27969658880 32539 33554432000 4194304 4196468 140729286596448 139703931050352 139705882942082 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39596032 140729286599403 140729286599830 140729286599830 140729286602703 0
[pid=8178/tid=8195] ppid=8175 vsize=27314120 memory=279409768761744 CPUtime=0.07 cores=0-7
/proc/8178/task/8195/stat : 8195 (java) S 8175 8175 7657 0 -1 1077944384 462 0 0 0 7 0 0 0 20 0 20 0 419216554 27969658880 32539 33554432000 4194304 4196468 140729286596448 139703929997552 139705882942082 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39596032 140729286599403 140729286599830 140729286599830 140729286602703 0
[pid=8178/tid=8196] ppid=8175 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/8178/task/8196/stat : 8196 (java) S 8175 8175 7657 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419216555 27969658880 32539 33554432000 4194304 4196468 140729286596448 139702669667168 139705882941141 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39596032 140729286599403 140729286599830 140729286599830 140729286602703 0
[pid=8178/tid=8197] ppid=8175 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/8178/task/8197/stat : 8197 (java) S 8175 8175 7657 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419216555 27969658880 32539 33554432000 4194304 4196468 140729286596448 139703928945456 139705882942082 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39596032 140729286599403 140729286599830 140729286599830 140729286602703 0
Current children cumulated CPU time: 0.4 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 131552 KiB

[startup+0.700969 s]
/proc/loadavg: 7.86 8.01 7.95 3/211 8197
/proc/meminfo: memFree=31262536/32770624 swapFree=66937012/67108860
[pid=8175] ppid=8172 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/8175/stat : 8175 (scop.sh) S 8172 8175 7657 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 419216545 115843072 349 33554432000 4194304 5098028 140734821452288 140734821449544 140163850343036 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 26505216 140734821458724 140734821459052 140734821459052 140734821461965 0
/proc/8175/statm: 28282 349 296 221 0 87 0
[pid=8178] ppid=8175 vsize=27320392 memory=165312 CPUtime=0.96 cores=0-7
/proc/8178/stat : 8178 (java) S 8175 8175 7657 0 -1 1077944320 19972 0 0 0 89 7 0 0 20 0 20 0 419216545 27976081408 41328 33554432000 4194304 4196468 140729286596448 140729286578992 139705882930935 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 39596032 140729286599403 140729286599830 140729286599830 140729286602703 0
/proc/8178/statm: 6830098 41328 3191 1 0 6791447 0
[pid=8178/tid=8179] ppid=8175 vsize=27320392 memory=0 CPUtime=0.65 cores=0-7
/proc/8178/task/8179/stat : 8179 (java) R 8175 8175 7657 0 -1 4202560 16946 0 0 0 60 5 0 0 20 0 20 0 419216545 27976081408 41328 33554432000 4194304 4196468 140729286596448 139705854765824 139705868625961 0 4 2 25189581 0 0 0 -1 3 0 0 2 0 0 6293624 6294260 39596032 140729286599403 140729286599830 140729286599830 140729286602703 0
[pid=8178/tid=8180] ppid=8175 vsize=27320392 memory=139704884568944 CPUtime=0 cores=0-7
/proc/8178/task/8180/stat : 8180 (java) S 8175 8175 7657 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419216548 27976081408 41328 33554432000 4194304 4196468 140729286596448 139705887173520 139705882941141 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39596032 140729286599403 140729286599830 140729286599830 140729286602703 0
[pid=8178/tid=8181] ppid=8175 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/8178/task/8181/stat : 8181 (java) S 8175 8175 7657 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419216548 27976081408 41328 33554432000 4194304 4196468 140729286596448 139705701329680 139705882941141 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39596032 140729286599403 140729286599830 140729286599830 140729286602703 0
[pid=8178/tid=8182] ppid=8175 vsize=27320392 memory=784 CPUtime=0 cores=0-7
/proc/8178/task/8182/stat : 8182 (java) S 8175 8175 7657 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419216548 27976081408 41328 33554432000 4194304 4196468 140729286596448 139705700277392 139705882941141 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39596032 140729286599403 140729286599830 140729286599830 140729286602703 0

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

/proc/8198/task/8204/stat : 8204 (java) S 8175 8175 7657 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419216793 8616062976 29899 33554432000 4194304 4196468 140736719502496 140328528751504 140328713520853 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24293376 140736719508472 140736719508630 140736719508630 140736719511503 0
[pid=8198/tid=8205] ppid=8175 vsize=8414124 memory=616 CPUtime=0 cores=0-7
/proc/8198/task/8205/stat : 8205 (java) S 8175 8175 7657 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419216793 8616062976 29899 33554432000 4194304 4196468 140736719502496 140328194177808 140328713520853 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24293376 140736719508472 140736719508630 140736719508630 140736719511503 0
[pid=8198/tid=8206] ppid=8175 vsize=8414124 memory=-4075877051373423736 CPUtime=0 cores=0-7
/proc/8198/task/8206/stat : 8206 (java) S 8175 8175 7657 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419216793 8616062976 29899 33554432000 4194304 4196468 140736719502496 140328193125520 140328713520853 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24293376 140736719508472 140736719508630 140736719508630 140736719511503 0
[pid=8198/tid=8207] ppid=8175 vsize=8414124 memory=279409770469232 CPUtime=0 cores=0-7
/proc/8198/task/8207/stat : 8207 (java) S 8175 8175 7657 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419216793 8616062976 29899 33554432000 4194304 4196468 140736719502496 140328192072720 140328713520853 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24293376 140736719508472 140736719508630 140736719508630 140736719511503 0
[pid=8198/tid=8208] ppid=8175 vsize=8414124 memory=279409768530160 CPUtime=0 cores=0-7
/proc/8198/task/8208/stat : 8208 (java) S 8175 8175 7657 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 419216794 8616062976 29899 33554432000 4194304 4196468 140736719502496 140328142612592 140328713521794 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24293376 140736719508472 140736719508630 140736719508630 140736719511503 0
[pid=8198/tid=8209] ppid=8175 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/8198/task/8209/stat : 8209 (java) S 8175 8175 7657 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 419216795 8616062976 29899 33554432000 4194304 4196468 140736719502496 140327251862304 140328713520853 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24293376 140736719508472 140736719508630 140736719508630 140736719511503 0
[pid=8198/tid=8210] ppid=8175 vsize=8414124 memory=119596 CPUtime=0 cores=0-7
/proc/8198/task/8210/stat : 8210 (java) S 8175 8175 7657 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419216795 8616062976 29899 33554432000 4194304 4196468 140736719502496 140326983427184 140328713520853 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24293376 140736719508472 140736719508630 140736719508630 140736719511503 0
[pid=8198/tid=8211] ppid=8175 vsize=8414124 memory=425392 CPUtime=0 cores=0-7
/proc/8198/task/8211/stat : 8211 (java) S 8175 8175 7657 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419216797 8616062976 29899 33554432000 4194304 4196468 140736719502496 140326608918608 140328713529243 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24293376 140736719508472 140736719508630 140736719508630 140736719511503 0
[pid=8198/tid=8212] ppid=8175 vsize=8414124 memory=2832 CPUtime=0.05 cores=0-7
/proc/8198/task/8212/stat : 8212 (java) S 8175 8175 7657 0 -1 1077944384 543 0 0 0 5 0 0 0 20 0 24 0 419216797 8616062976 29899 33554432000 4194304 4196468 140736719502496 140328141560432 140328713521794 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24293376 140736719508472 140736719508630 140736719508630 140736719511503 0
[pid=8198/tid=8213] ppid=8175 vsize=8414124 memory=1624 CPUtime=0.04 cores=0-7
/proc/8198/task/8213/stat : 8213 (java) S 8175 8175 7657 0 -1 1077944384 235 0 0 0 4 0 0 0 20 0 24 0 419216797 8616062976 29899 33554432000 4194304 4196468 140736719502496 140328140507632 140328713521794 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24293376 140736719508472 140736719508630 140736719508630 140736719511503 0
[pid=8198/tid=8214] ppid=8175 vsize=8414124 memory=1136 CPUtime=0.08 cores=0-7
/proc/8198/task/8214/stat : 8214 (java) S 8175 8175 7657 0 -1 1077944384 292 0 0 0 8 0 0 0 20 0 24 0 419216797 8616062976 29899 33554432000 4194304 4196468 140736719502496 140328139455344 140328713521794 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24293376 140736719508472 140736719508630 140736719508630 140736719511503 0
[pid=8198/tid=8215] ppid=8175 vsize=8414124 memory=1072 CPUtime=0.18 cores=0-7
/proc/8198/task/8215/stat : 8215 (java) S 8175 8175 7657 0 -1 1077944384 555 0 0 0 18 0 0 0 20 0 24 0 419216797 8616062976 29899 33554432000 4194304 4196468 140736719502496 140328138402544 140328713521794 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24293376 140736719508472 140736719508630 140736719508630 140736719511503 0
[pid=8198/tid=8216] ppid=8175 vsize=8414124 memory=5936 CPUtime=0 cores=0-7
/proc/8198/task/8216/stat : 8216 (java) S 8175 8175 7657 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419216797 8616062976 29899 33554432000 4194304 4196468 140736719502496 140326111013216 140328713520853 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24293376 140736719508472 140736719508630 140736719508630 140736719511503 0
[pid=8198/tid=8217] ppid=8175 vsize=8414124 memory=784 CPUtime=0.01 cores=0-7
/proc/8198/task/8217/stat : 8217 (java) S 8175 8175 7657 0 -1 1077944384 3 0 0 0 0 1 0 0 20 0 24 0 419216798 8616062976 29899 33554432000 4194304 4196468 140736719502496 140328137349424 140328713521794 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 27 0 0 6293624 6294260 24293376 140736719508472 140736719508630 140736719508630 140736719511503 0
[pid=8198/tid=8219] ppid=8175 vsize=8414124 memory=1060 CPUtime=0 cores=0-7
/proc/8198/task/8219/stat : 8219 (java) S 8175 8175 7657 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 419216862 8616062976 29899 33554432000 4194304 4196468 140736719502496 140328129316160 140328713535257 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 24293376 140736719508472 140736719508630 140736719508630 140736719511503 0
[pid=8198/tid=8221] ppid=8175 vsize=8414124 memory=14012 CPUtime=0 cores=0-7
/proc/8198/task/8221/stat : 8221 (java) S 8175 8175 7657 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 24 0 419216862 8616062976 29899 33554432000 4194304 4196468 140736719502496 140325439913872 140328713532573 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 24293376 140736719508472 140736719508630 140736719508630 140736719511503 0
[pid=8198/tid=8222] ppid=8175 vsize=8414124 memory=11200 CPUtime=0 cores=0-7
/proc/8198/task/8222/stat : 8222 (java) S 8175 8175 7657 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 419216862 8616062976 29899 33554432000 4194304 4196468 140736719502496 140325708349200 140328713532573 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 24293376 140736719508472 140736719508630 140736719508630 140736719511503 0
[pid=8198/tid=8223] ppid=8175 vsize=8414124 memory=14056 CPUtime=0 cores=0-7
/proc/8198/task/8223/stat : 8223 (java) S 8175 8175 7657 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 419216864 8616062976 29899 33554432000 4194304 4196468 140736719502496 140325171486512 140328713520853 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24293376 140736719508472 140736719508630 140736719508630 140736719511503 0
Current children cumulated CPU time: 240.1 s
Current children cumulated vsize: 9246892 KiB
Current children cumulated memory: 552560 KiB

[startup+33.2012 s]
/proc/loadavg: 7.40 7.87 7.91 4/218 8231
/proc/meminfo: memFree=30860612/32770624 swapFree=66937012/67108860
[pid=8175] ppid=8172 vsize=113128 memory=1476 CPUtime=5.42 cores=0-7
/proc/8175/stat : 8175 (scop.sh) S 8172 8175 7657 0 -1 4202496 583 26822 0 0 0 0 520 22 20 0 1 0 419216545 115843072 369 33554432000 4194304 5098028 140734821452288 140734821449032 140163850343036 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 26505216 140734821458724 140734821459052 140734821459052 140734821461965 0
/proc/8175/statm: 28282 369 311 221 0 87 0
[pid=8198] ppid=8175 vsize=8414124 memory=119596 CPUtime=1.13 cores=0-7
/proc/8198/stat : 8198 (java) S 8175 8175 7657 0 -1 1077944320 20395 0 0 0 106 7 0 0 20 0 24 0 419216791 8616062976 29899 33554432000 4194304 4196468 140736719502496 140736719485040 140328713510647 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 24293376 140736719508472 140736719508630 140736719508630 140736719511503 0
/proc/8198/statm: 2103531 29899 3188 1 0 2064875 0
[pid=8218] ppid=8198 vsize=719640 memory=433764 CPUtime=234.96 cores=0-7
/proc/8218/stat : 8218 (manyglucose-4.1) S 8198 8175 7657 0 -1 1077944320 150332 0 0 0 23450 46 0 0 20 0 3 0 419216862 736911360 108441 33554432000 4194304 4454172 140723238353872 140723238352256 140223059291895 0 4 0 8388610 18446744073709551615 0 0 17 7 0 0 0 0 0 6552832 6554400 27025408 140723238355818 140723238356016 140723238356016 140723238358970 0
/proc/8218/statm: 179910 108441 420 64 0 175578 0
[pid=8218/tid=8224] ppid=8198 vsize=719640 memory=1476 CPUtime=29.74 cores=0-7
/proc/8218/task/8224/stat : 8224 (manyglucose-4.1) R 8198 8175 7657 0 -1 4202560 17618 0 0 0 2968 6 0 0 20 0 3 0 419216887 736911360 108441 33554432000 4194304 4454172 140723238353872 140223038274664 4351186 0 4 0 8388610 0 0 0 -1 6 0 0 0 0 0 6552832 6554400 27025408 140723238355818 140723238356016 140723238356016 140723238358970 0
[pid=8218/tid=8230] ppid=8198 vsize=719640 memory=5936 CPUtime=29.09 cores=0-7
/proc/8218/task/8230/stat : 8230 (manyglucose-4.1) R 8198 8175 7657 0 -1 4202560 16379 0 0 0 2903 6 0 0 20 0 3 0 419216888 736911360 108441 33554432000 4194304 4454172 140723238353872 140222980430776 4351309 0 4 0 8388610 0 0 0 -1 3 0 0 0 0 0 6552832 6554400 27025408 140723238355818 140723238356016 140723238356016 140723238358970 0
[pid=8198/tid=8199] ppid=8175 vsize=8414124 memory=784 CPUtime=0.73 cores=0-7
/proc/8198/task/8199/stat : 8199 (java) S 8175 8175 7657 0 -1 1077944384 17366 0 0 0 68 5 0 0 20 0 24 0 419216791 8616062976 29899 33554432000 4194304 4196468 140736719502496 140328685350816 140328713520853 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24293376 140736719508472 140736719508630 140736719508630 140736719511503 0
[pid=8198/tid=8200] ppid=8175 vsize=8414124 memory=1060 CPUtime=0 cores=0-7
/proc/8198/task/8200/stat : 8200 (java) S 8175 8175 7657 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419216793 8616062976 29899 33554432000 4194304 4196468 140736719502496 140328717752720 140328713520853 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24293376 140736719508472 140736719508630 140736719508630 140736719511503 0
[pid=8198/tid=8201] ppid=8175 vsize=8414124 memory=14012 CPUtime=0 cores=0-7
/proc/8198/task/8201/stat : 8201 (java) S 8175 8175 7657 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419216793 8616062976 29899 33554432000 4194304 4196468 140736719502496 140328531908880 140328713520853 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24293376 140736719508472 140736719508630 140736719508630 140736719511503 0
[pid=8198/tid=8202] ppid=8175 vsize=8414124 memory=11200 CPUtime=0 cores=0-7
/proc/8198/task/8202/stat : 8202 (java) S 8175 8175 7657 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419216793 8616062976 29899 33554432000 4194304 4196468 140736719502496 140328530856592 140328713520853 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24293376 140736719508472 140736719508630 140736719508630 140736719511503 0
[pid=8198/tid=8203] ppid=8175 vsize=8414124 memory=14056 CPUtime=0 cores=0-7
/proc/8198/task/8203/stat : 8203 (java) S 8175 8175 7657 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419216793 8616062976 29899 33554432000 4194304 4196468 140736719502496 140328529803792 140328713520853 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24293376 140736719508472 140736719508630 140736719508630 140736719511503 0
[pid=8198/tid=8204] ppid=8175 vsize=8414124 memory=2116 CPUtime=0 cores=0-7
/proc/8198/task/8204/stat : 8204 (java) S 8175 8175 7657 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419216793 8616062976 29899 33554432000 4194304 4196468 140736719502496 140328528751504 140328713520853 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24293376 140736719508472 140736719508630 140736719508630 140736719511503 0
[pid=8198/tid=8205] ppid=8175 vsize=8414124 memory=516 CPUtime=0 cores=0-7
/proc/8198/task/8205/stat : 8205 (java) S 8175 8175 7657 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419216793 8616062976 29899 33554432000 4194304 4196468 140736719502496 140328194177808 140328713520853 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24293376 140736719508472 140736719508630 140736719508630 140736719511503 0
[pid=8198/tid=8206] ppid=8175 vsize=8414124 memory=1556 CPUtime=0 cores=0-7
/proc/8198/task/8206/stat : 8206 (java) S 8175 8175 7657 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419216793 8616062976 29899 33554432000 4194304 4196468 140736719502496 140328193125520 140328713520853 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24293376 140736719508472 140736719508630 140736719508630 140736719511503 0
[pid=8198/tid=8207] ppid=8175 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/8198/task/8207/stat : 8207 (java) S 8175 8175 7657 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419216793 8616062976 29899 33554432000 4194304 4196468 140736719502496 140328192072720 140328713520853 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24293376 140736719508472 140736719508630 140736719508630 140736719511503 0
[pid=8198/tid=8208] ppid=8175 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/8198/task/8208/stat : 8208 (java) S 8175 8175 7657 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 419216794 8616062976 29899 33554432000 4194304 4196468 140736719502496 140328142612592 140328713521794 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24293376 140736719508472 140736719508630 140736719508630 140736719511503 0
[pid=8198/tid=8209] ppid=8175 vsize=8414124 memory=3472468001112713804 CPUtime=0 cores=0-7
/proc/8198/task/8209/stat : 8209 (java) S 8175 8175 7657 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 419216795 8616062976 29899 33554432000 4194304 4196468 140736719502496 140327251862304 140328713520853 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24293376 140736719508472 140736719508630 140736719508630 140736719511503 0
[pid=8198/tid=8210] ppid=8175 vsize=8414124 memory=6656426216303648864 CPUtime=0 cores=0-7
/proc/8198/task/8210/stat : 8210 (java) S 8175 8175 7657 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419216795 8616062976 29899 33554432000 4194304 4196468 140736719502496 140326983427184 140328713520853 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24293376 140736719508472 140736719508630 140736719508630 140736719511503 0
[pid=8198/tid=8211] ppid=8175 vsize=8414124 memory=288230574492221466 CPUtime=0 cores=0-7
/proc/8198/task/8211/stat : 8211 (java) S 8175 8175 7657 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419216797 8616062976 29899 33554432000 4194304 4196468 140736719502496 140326608918608 140328713529243 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24293376 140736719508472 140736719508630 140736719508630 140736719511503 0
[pid=8198/tid=8212] ppid=8175 vsize=8414124 memory=288230621803970871 CPUtime=0.05 cores=0-7
/proc/8198/task/8212/stat : 8212 (java) S 8175 8175 7657 0 -1 1077944384 543 0 0 0 5 0 0 0 20 0 24 0 419216797 8616062976 29899 33554432000 4194304 4196468 140736719502496 140328141560432 140328713521794 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24293376 140736719508472 140736719508630 140736719508630 140736719511503 0
[pid=8198/tid=8213] ppid=8175 vsize=8414124 memory=14981057220970927 CPUtime=0.04 cores=0-7
/proc/8198/task/8213/stat : 8213 (java) S 8175 8175 7657 0 -1 1077944384 235 0 0 0 4 0 0 0 20 0 24 0 419216797 8616062976 29899 33554432000 4194304 4196468 140736719502496 140328140507632 140328713521794 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24293376 140736719508472 140736719508630 140736719508630 140736719511503 0
[pid=8198/tid=8214] ppid=8175 vsize=8414124 memory=1976 CPUtime=0.08 cores=0-7
/proc/8198/task/8214/stat : 8214 (java) S 8175 8175 7657 0 -1 1077944384 292 0 0 0 8 0 0 0 20 0 24 0 419216797 8616062976 29899 33554432000 4194304 4196468 140736719502496 140328139455344 140328713521794 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24293376 140736719508472 140736719508630 140736719508630 140736719511503 0
[pid=8198/tid=8215] ppid=8175 vsize=8414124 memory=2436 CPUtime=0.18 cores=0-7
/proc/8198/task/8215/stat : 8215 (java) S 8175 8175 7657 0 -1 1077944384 555 0 0 0 18 0 0 0 20 0 24 0 419216797 8616062976 29899 33554432000 4194304 4196468 140736719502496 140328138402544 140328713521794 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24293376 140736719508472 140736719508630 140736719508630 140736719511503 0
[pid=8198/tid=8216] ppid=8175 vsize=8414124 memory=1760 CPUtime=0 cores=0-7
/proc/8198/task/8216/stat : 8216 (java) S 8175 8175 7657 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419216797 8616062976 29899 33554432000 4194304 4196468 140736719502496 140326111013216 140328713520853 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24293376 140736719508472 140736719508630 140736719508630 140736719511503 0
[pid=8198/tid=8217] ppid=8175 vsize=8414124 memory=111632 CPUtime=0.01 cores=0-7
/proc/8198/task/8217/stat : 8217 (java) S 8175 8175 7657 0 -1 1077944384 3 0 0 0 0 1 0 0 20 0 24 0 419216798 8616062976 29899 33554432000 4194304 4196468 140736719502496 140328137349424 140328713521794 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 27 0 0 6293624 6294260 24293376 140736719508472 140736719508630 140736719508630 140736719511503 0
[pid=8198/tid=8219] ppid=8175 vsize=8414124 memory=804 CPUtime=0 cores=0-7
/proc/8198/task/8219/stat : 8219 (java) S 8175 8175 7657 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 419216862 8616062976 29899 33554432000 4194304 4196468 140736719502496 140328129316160 140328713535257 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 24293376 140736719508472 140736719508630 140736719508630 140736719511503 0
[pid=8198/tid=8221] ppid=8175 vsize=8414124 memory=1808 CPUtime=0 cores=0-7
/proc/8198/task/8221/stat : 8221 (java) S 8175 8175 7657 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 24 0 419216862 8616062976 29899 33554432000 4194304 4196468 140736719502496 140325439913872 140328713532573 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 24293376 140736719508472 140736719508630 140736719508630 140736719511503 0
[pid=8198/tid=8222] ppid=8175 vsize=8414124 memory=920 CPUtime=0 cores=0-7
/proc/8198/task/8222/stat : 8222 (java) S 8175 8175 7657 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 419216862 8616062976 29899 33554432000 4194304 4196468 140736719502496 140325708349200 140328713532573 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 24293376 140736719508472 140736719508630 140736719508630 140736719511503 0
[pid=8198/tid=8223] ppid=8175 vsize=8414124 memory=4136 CPUtime=0 cores=0-7
/proc/8198/task/8223/stat : 8223 (java) S 8175 8175 7657 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 419216864 8616062976 29899 33554432000 4194304 4196468 140736719502496 140325171486512 140328713520853 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24293376 140736719508472 140736719508630 140736719508630 140736719511503 0
Current children cumulated CPU time: 241.51 s
Current children cumulated vsize: 9246892 KiB
Current children cumulated memory: 554836 KiB

[startup+33.4012 s]
/proc/loadavg: 7.40 7.87 7.91 4/218 8231
/proc/meminfo: memFree=30860612/32770624 swapFree=66937012/67108860
[pid=8175] ppid=8172 vsize=113128 memory=1476 CPUtime=5.42 cores=0-7
/proc/8175/stat : 8175 (scop.sh) S 8172 8175 7657 0 -1 4202496 583 26822 0 0 0 0 520 22 20 0 1 0 419216545 115843072 369 33554432000 4194304 5098028 140734821452288 140734821449032 140163850343036 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 26505216 140734821458724 140734821459052 140734821459052 140734821461965 0
/proc/8175/statm: 28282 369 311 221 0 87 0
[pid=8198] ppid=8175 vsize=8283048 memory=127092 CPUtime=236.54 cores=0-7
/proc/8198/stat : 8198 (java) S 8175 8175 7657 0 -1 1077944320 22243 150354 0 0 132 8 23466 48 20 0 22 0 419216791 8481841152 31773 33554432000 4194304 4196468 140736719502496 140736719485040 140328713510647 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 24293376 140736719508472 140736719508630 140736719508630 140736719511503 0
/proc/8198/statm: 2070762 31773 3223 1 0 2032106 0
[pid=8198/tid=8199] ppid=8175 vsize=8283048 memory=0 CPUtime=235.92 cores=0-7
/proc/8198/task/8199/stat : 8199 (java) R 8175 8175 7657 0 -1 4202560 17530 150354 0 0 73 5 23466 48 20 0 22 0 419216791 8481841152 31773 33554432000 4194304 4196468 140736719502496 140328685346624 140328697554277 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24293376 140736719508472 140736719508630 140736719508630 140736719511503 0
[pid=8198/tid=8200] ppid=8175 vsize=8283048 memory=-7824251494390518890 CPUtime=235.14 cores=0-7
/proc/8198/task/8200/stat : 8200 (java) S 8175 8175 7657 0 -1 1077944384 1 150354 0 0 0 0 23466 48 20 0 22 0 419216793 8481841152 31773 33554432000 4194304 4196468 140736719502496 140328717752720 140328713520853 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24293376 140736719508472 140736719508630 140736719508630 140736719511503 0
[pid=8198/tid=8201] ppid=8175 vsize=8283048 memory=1556 CPUtime=235.14 cores=0-7
/proc/8198/task/8201/stat : 8201 (java) S 8175 8175 7657 0 -1 1077944384 1 150354 0 0 0 0 23466 48 20 0 22 0 419216793 8481841152 31773 33554432000 4194304 4196468 140736719502496 140328531908880 140328713520853 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24293376 140736719508472 140736719508630 140736719508630 140736719511503 0
[pid=8198/tid=8202] ppid=8175 vsize=8283048 memory=928 CPUtime=235.14 cores=0-7
/proc/8198/task/8202/stat : 8202 (java) S 8175 8175 7657 0 -1 1077944384 1 150354 0 0 0 0 23466 48 20 0 22 0 419216793 8481841152 31773 33554432000 4194304 4196468 140736719502496 140328530856592 140328713520853 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24293376 140736719508472 140736719508630 140736719508630 140736719511503 0
[pid=8198/tid=8203] ppid=8175 vsize=8283048 memory=1668 CPUtime=235.14 cores=0-7
/proc/8198/task/8203/stat : 8203 (java) S 8175 8175 7657 0 -1 1077944384 1 150354 0 0 0 0 23466 48 20 0 22 0 419216793 8481841152 31773 33554432000 4194304 4196468 140736719502496 140328529803792 140328713520853 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24293376 140736719508472 140736719508630 140736719508630 140736719511503 0
[pid=8198/tid=8204] ppid=8175 vsize=8283048 memory=904 CPUtime=235.14 cores=0-7
/proc/8198/task/8204/stat : 8204 (java) S 8175 8175 7657 0 -1 1077944384 1 150354 0 0 0 0 23466 48 20 0 22 0 419216793 8481841152 31773 33554432000 4194304 4196468 140736719502496 140328528751504 140328713520853 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24293376 140736719508472 140736719508630 140736719508630 140736719511503 0
[pid=8198/tid=8205] ppid=8175 vsize=8283048 memory=1444 CPUtime=235.14 cores=0-7
/proc/8198/task/8205/stat : 8205 (java) S 8175 8175 7657 0 -1 1077944384 3 150354 0 0 0 0 23466 48 20 0 22 0 419216793 8481841152 31773 33554432000 4194304 4196468 140736719502496 140328194177808 140328713520853 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24293376 140736719508472 140736719508630 140736719508630 140736719511503 0
[pid=8198/tid=8206] ppid=8175 vsize=8283048 memory=1976 CPUtime=235.14 cores=0-7
/proc/8198/task/8206/stat : 8206 (java) S 8175 8175 7657 0 -1 1077944384 2 150354 0 0 0 0 23466 48 20 0 22 0 419216793 8481841152 31773 33554432000 4194304 4196468 140736719502496 140328193125520 140328713520853 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24293376 140736719508472 140736719508630 140736719508630 140736719511503 0
[pid=8198/tid=8207] ppid=8175 vsize=8283048 memory=2436 CPUtime=235.14 cores=0-7
/proc/8198/task/8207/stat : 8207 (java) S 8175 8175 7657 0 -1 1077944384 2 150354 0 0 0 0 23466 48 20 0 22 0 419216793 8481841152 31773 33554432000 4194304 4196468 140736719502496 140328192072720 140328713520853 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24293376 140736719508472 140736719508630 140736719508630 140736719511503 0
[pid=8198/tid=8208] ppid=8175 vsize=8283048 memory=1760 CPUtime=235.14 cores=0-7
/proc/8198/task/8208/stat : 8208 (java) S 8175 8175 7657 0 -1 1077944384 7 150354 0 0 0 0 23466 48 20 0 22 0 419216794 8481841152 31773 33554432000 4194304 4196468 140736719502496 140328142612592 140328713521794 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24293376 140736719508472 140736719508630 140736719508630 140736719511503 0
[pid=8198/tid=8209] ppid=8175 vsize=8283048 memory=111632 CPUtime=235.14 cores=0-7
/proc/8198/task/8209/stat : 8209 (java) S 8175 8175 7657 0 -1 1077944384 13 150354 0 0 0 0 23466 48 20 0 22 0 419216795 8481841152 31773 33554432000 4194304 4196468 140736719502496 140327251862304 140328713520853 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24293376 140736719508472 140736719508630 140736719508630 140736719511503 0
[pid=8198/tid=8210] ppid=8175 vsize=8283048 memory=804 CPUtime=235.14 cores=0-7
/proc/8198/task/8210/stat : 8210 (java) S 8175 8175 7657 0 -1 1077944384 1 150354 0 0 0 0 23466 48 20 0 22 0 419216795 8481841152 31773 33554432000 4194304 4196468 140736719502496 140326983427184 140328713520853 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24293376 140736719508472 140736719508630 140736719508630 140736719511503 0
[pid=8198/tid=8211] ppid=8175 vsize=8283048 memory=1808 CPUtime=235.14 cores=0-7
/proc/8198/task/8211/stat : 8211 (java) S 8175 8175 7657 0 -1 1077944384 1 150354 0 0 0 0 23466 48 20 0 22 0 419216797 8481841152 31773 33554432000 4194304 4196468 140736719502496 140326608918608 140328713529243 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24293376 140736719508472 140736719508630 140736719508630 140736719511503 0
[pid=8198/tid=8212] ppid=8175 vsize=8283048 memory=920 CPUtime=235.23 cores=0-7
/proc/8198/task/8212/stat : 8212 (java) S 8175 8175 7657 0 -1 1077944384 739 150354 0 0 9 0 23466 48 20 0 22 0 419216797 8481841152 31773 33554432000 4194304 4196468 140736719502496 140328141560432 140328713521794 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24293376 140736719508472 140736719508630 140736719508630 140736719511503 0
[pid=8198/tid=8213] ppid=8175 vsize=8283048 memory=4136 CPUtime=235.2 cores=0-7
/proc/8198/task/8213/stat : 8213 (java) S 8175 8175 7657 0 -1 1077944384 531 150354 0 0 6 0 23466 48 20 0 22 0 419216797 8481841152 31773 33554432000 4194304 4196468 140736719502496 140328140507632 140328713521794 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24293376 140736719508472 140736719508630 140736719508630 140736719511503 0
[pid=8198/tid=8214] ppid=8175 vsize=8283048 memory=4104 CPUtime=235.25 cores=0-7
/proc/8198/task/8214/stat : 8214 (java) S 8175 8175 7657 0 -1 1077944384 391 150354 0 0 11 0 23466 48 20 0 22 0 419216797 8481841152 31773 33554432000 4194304 4196468 140736719502496 140328139455344 140328713521794 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24293376 140736719508472 140736719508630 140736719508630 140736719511503 0
[pid=8198/tid=8215] ppid=8175 vsize=8283048 memory=1412 CPUtime=235.38 cores=0-7
/proc/8198/task/8215/stat : 8215 (java) R 8175 8175 7657 0 -1 4202560 1085 150354 0 0 24 0 23466 48 20 0 22 0 419216797 8481841152 31773 33554432000 4194304 4196468 140736719502496 140328138401728 140328692899638 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24293376 140736719508472 140736719508630 140736719508630 140736719511503 0
[pid=8198/tid=8216] ppid=8175 vsize=8283048 memory=3204 CPUtime=235.14 cores=0-7
/proc/8198/task/8216/stat : 8216 (java) S 8175 8175 7657 0 -1 1077944384 3 150354 0 0 0 0 23466 48 20 0 22 0 419216797 8481841152 31773 33554432000 4194304 4196468 140736719502496 140326111013216 140328713520853 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24293376 140736719508472 140736719508630 140736719508630 140736719511503 0
[pid=8198/tid=8217] ppid=8175 vsize=8283048 memory=174816242014174 CPUtime=235.15 cores=0-7
/proc/8198/task/8217/stat : 8217 (java) S 8175 8175 7657 0 -1 1077944384 3 150354 0 0 0 1 23466 48 20 0 22 0 419216798 8481841152 31773 33554432000 4194304 4196468 140736719502496 140328137349424 140328713521794 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 27 0 0 6293624 6294260 24293376 140736719508472 140736719508630 140736719508630 140736719511503 0
[pid=8198/tid=8219] ppid=8175 vsize=8283048 memory=174816242014207 CPUtime=235.14 cores=0-7
/proc/8198/task/8219/stat : 8219 (java) S 8175 8175 7657 0 -1 1077944384 36 150354 0 0 0 0 23466 48 20 0 22 0 419216862 8481841152 31773 33554432000 4194304 4196468 140736719502496 140328129315344 140328713521794 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24293376 140736719508472 140736719508630 140736719508630 140736719511503 0
[pid=8198/tid=8223] ppid=8175 vsize=8283048 memory=0 CPUtime=235.14 cores=0-7
/proc/8198/task/8223/stat : 8223 (java) S 8175 8175 7657 0 -1 1077944384 13 150354 0 0 0 0 23466 48 20 0 22 0 419216864 8481841152 31773 33554432000 4194304 4196468 140736719502496 140325171488304 140328713521794 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24293376 140736719508472 140736719508630 140736719508630 140736719511503 0
Current children cumulated CPU time: 241.96 s
Current children cumulated vsize: 8396176 KiB
Current children cumulated memory: 128568 KiB

Child status: 0
Real time (s): 33.4696
CPU time (s): 242.093
CPU user time (s): 241.28
CPU system time (s): 0.812856
CPU usage (%): 723.322
Max. virtual memory (cumulated for all children) (KiB): 27441876
Max. memory (cumulated for all children) (KiB): 784272

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 241.28
system time used= 0.812856
maximum resident set size= 788476
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 200245
page faults= 0
swaps= 0
block input operations= 8
block output operations= 5984
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 14419
involuntary context switches= 2418


# summary of solver processes directly reported to runsolver:
#   pid: 8175
#   total CPU time (s): 242.093
#   total CPU user time (s): 241.28
#   total CPU system time (s): 0.812856

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.334581 second user time and 0.477151 second system time

The end

Launcher Data 

Begin job on node105 at 2019-09-14 03:51:27
IDJOB=4392729
IDBENCH=127813
IDSOLVER=2839
FILE ID=node105/4392729-1568429582
RUNJOBID= node105-1568422931-7684
PBS_JOBID= 21702288
Free space on /tmp= 60864 MiB

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

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

MD5SUM BENCH= 46cde9b56a99396b1706cac103cc08fa
RANDOM SEED=1203035197

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        31401312 kB
MemAvailable:   31861616 kB
Buffers:          179808 kB
Cached:           574672 kB
SwapCached:        67876 kB
Active:           420776 kB
Inactive:         407408 kB
Active(anon):      12964 kB
Inactive(anon):    93564 kB
Active(file):     407812 kB
Inactive(file):   313844 kB
Unevictable:      107596 kB
Mlocked:          107596 kB
SwapTotal:      67108860 kB
SwapFree:       66937012 kB
Dirty:             20464 kB
Writeback:             0 kB
AnonPages:        112136 kB
Mapped:            37880 kB
Shmem:             24660 kB
Slab:             136976 kB
SReclaimable:     108968 kB
SUnreclaim:        28008 kB
KernelStack:        3376 kB
PageTables:         5224 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     489448 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     67584 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      120192 kB
DirectMap2M:    33425408 kB

Free space on /tmp at the end= 60844 MiB
End job on node105 at 2019-09-14 03:52:00