Trace number 4392429

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Fun-sCOP order+ManyGlucose (2019-06-15)SAT 244.654 33.8634

General information on the benchmark

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

Solver Data 

0.00/0.00	c (scop.sh) java -Xms22g -Xmx22g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Encode -order -solver HOME/manyglucose-4.1-27_release -solverOption -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 -tmp HOME -serialFile HOME/scop-4418-serial-file.bin HOME/instance-4392429-1568429567.xml
0.65/0.54	
0.65/0.54	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
0.65/0.54	
0.65/0.57	c BEGIN-Prog: Sat Sep 14 04:51:49 CEST 2019
0.65/0.57	c PID: 4421
0.65/0.57	c IP: 172.20.3.103
0.65/0.57	c HOST: node103.alineos.net
0.65/0.57	c (0,0) Parsing Begin
1.38/0.90	c (0,0) Parsing End
1.38/0.91	c (0,0) CSP: 48 int (0 aux), 0 bool (0 aux), 51 ctr, max domain size 203
1.38/0.91	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.38/0.91	c (0,0) Constraint Name Generate Begin
1.38/0.91	c (0,0) Ctr:HOME/instance-4392429-1568429567.xml,Le:NoOverlap:Num:Var
1.38/0.91	c (0,0) Constraint Name Generate End
1.38/0.91	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.38/0.91	c (0,0) CSP to CSPinCNF Begin
1.38/1.00	c (0,0) translated 6 (10%) constraints
1.38/1.00	c (0,0) translated 11 (20%) constraints
1.38/1.00	c (0,0) translated 16 (30%) constraints
1.38/1.00	c (0,0) translated 21 (40%) constraints
1.55/1.01	c (0,0) translated 26 (50%) constraints
1.55/1.01	c (0,0) translated 31 (60%) constraints
1.55/1.01	c (0,0) translated 36 (70%) constraints
1.55/1.01	c (0,0) translated 41 (80%) constraints
1.55/1.02	c (0,0) translated 46 (90%) constraints
2.19/1.27	c (0,0) translated 51 (100%) constraints
2.19/1.27	c (0,0) ===========================================
2.19/1.27	c (0,0) Order
2.19/1.27	c (0,0) ===========================================
2.19/1.27	c (0,0) translated 33 (10%) constraints
2.19/1.28	c (0,0) translated 66 (20%) constraints
2.19/1.29	c (0,0) translated 98 (30%) constraints
2.19/1.29	c (0,0) translated 131 (40%) constraints
2.19/1.30	c (0,0) translated 163 (50%) constraints
2.49/1.30	c (0,0) translated 196 (60%) constraints
2.49/1.30	c (0,0) translated 229 (70%) constraints
2.49/1.31	c (0,0) translated 261 (80%) constraints
2.49/1.31	c (0,0) translated 294 (90%) constraints
2.49/1.32	c (0,0) translated 326 (100%) constraints
2.49/1.32	c (0,0) CSP to CSPinCNF End
2.49/1.32	c (0,0) CSP: 48 int (0 aux), 0 bool (0 aux), 326 ctr, max domain size 203
2.49/1.32	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 23 MiB used (max 0 MiB)
2.49/1.32	c (0,0) CSPinCNF Propagation Begin
2.49/1.35	c (0,0) 0 values, 6 unsatisfiable literals, and 49 valid clauses are removed
2.49/1.35	c (0,0) CSPinCNF Propagation End
2.49/1.35	c (0,0) CSP: 48 int (0 aux), 0 bool (0 aux), 277 ctr, max domain size 203
2.49/1.35	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 23 MiB used (max 0 MiB)
2.49/1.35	c (0,0) Simplify CSPinCNF Begin
2.85/1.45	c (0,0) Simplify CSPinCNF End
2.85/1.45	c (0,0) CSP: 48 int (0 aux), 1098 bool (1098 aux), 1375 ctr, max domain size 203
2.85/1.45	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 24 MiB used (max 0 MiB)
2.85/1.45	c (0,0) Calculate Precise Domain Begin
2.85/1.45	c (0,0) 0 values are removed by re-calculation
2.85/1.45	c (0,0) Calculate Precise Domain End
2.85/1.45	c (0,0) CSP: 48 int (0 aux), 1098 bool (1098 aux), 1375 ctr, max domain size 203
2.85/1.45	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 24 MiB used (max 0 MiB)
2.85/1.45	c (0,0) CSPinCNF to SatSolver Begin
3.90/1.79	c (1,1) 138 (10 %) CSP clauses are encoded (0 SAT variables, 26798 SAT clauses)
4.31/1.89	c (1,1) 275 (20 %) CSP clauses are encoded (0 SAT variables, 45186 SAT clauses)
4.71/1.97	c (1,1) 413 (30 %) CSP clauses are encoded (0 SAT variables, 62514 SAT clauses)
4.99/2.03	c (1,1) 550 (40 %) CSP clauses are encoded (0 SAT variables, 78884 SAT clauses)
4.99/2.10	c (1,1) 688 (50 %) CSP clauses are encoded (0 SAT variables, 95080 SAT clauses)
5.10/2.16	c (1,1) 825 (60 %) CSP clauses are encoded (0 SAT variables, 110454 SAT clauses)
5.22/2.22	c (1,1) 963 (70 %) CSP clauses are encoded (0 SAT variables, 125086 SAT clauses)
5.22/2.27	c (1,1) 1100 (80 %) CSP clauses are encoded (0 SAT variables, 138614 SAT clauses)
5.32/2.32	c (1,1) 1238 (90 %) CSP clauses are encoded (0 SAT variables, 150811 SAT clauses)
5.32/2.35	c (1,1) 1375 (100 %) CSP clauses are encoded (0 SAT variables, 159756 SAT clauses)
5.32/2.36	c (1,1) CSPinCNF to SatSolver End
5.32/2.36	c (1,1) Heap : 901 MiB used (max 21589 MiB), NonHeap : 27 MiB used (max 0 MiB)
5.32/2.36	c (1,1) 9186 bool, 159805 clause
5.32/2.36	c (1,1) Export Begin
5.47/2.44	c (1,1) Export to HOME/scop-4418-serial-file.bin
5.47/2.44	c (1,1) Export End
5.47/2.44	c (1,1) Export File Size: 0.01 MB
5.47/2.44	c (1,1) 0,0,0,0,0,0,1,STOP-AFTER(DIMACS)
5.47/2.44	c END-Prog: Sat Sep 14 04:51:50 CEST 2019
5.47/2.45	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-4418-serial-file.bin
5.56/2.91	c (0,0) Read Serial File Begin
5.56/2.91	c (0,0) HOME/scop-4418-serial-file.bin
6.30/3.10	c (0,0) Read Serial File End
6.44/3.12	
6.44/3.12	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
6.44/3.12	(Solving Process)
6.44/3.12	
6.44/3.14	c BEGIN-Prog: Sat Sep 14 04:51:51 CEST 2019
6.44/3.14	c PID: 4441
6.44/3.14	c IP: 172.20.3.103
6.44/3.14	c HOST: node103.alineos.net
6.44/3.14	c (0,0) SatSolver.solve Begin
6.44/3.14	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4392429-1568429567.xml-scop-4421.cnf
6.44/3.17	c (0,0) c
6.44/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.44/3.17	c (0,0) c
6.44/3.17	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
6.44/3.17	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
6.44/3.17	c (0,0) c ========================================[ Problem Statistics ]===========================================
6.44/3.17	c (0,0) c |                                                                                                       |
6.67/3.22	c (0,0) c |  Number of variables:          9186                                                                   |
6.67/3.22	c (0,0) c |  Number of clauses:          159805                                                                   |
6.67/3.22	c (0,0) c |  Parse time:                   0.05 s                                                                 |
6.67/3.22	c (0,0) c |                                                                                                       |
6.69/3.37	c (0,0) c |  Simplification time:          0.14 s                                                                 |
6.69/3.37	c (0,0) c |                                                                                                       |
6.69/3.37	c (0,0) c |  Generating clones                                                                                    |
6.69/3.41	c (0,0) c |  all clones generated. Memory =   128.24Mb.                                                           |
6.69/3.41	c (0,0) c ========================================================================================================|
6.69/3.41	c (0,0) c
6.69/3.41	c (0,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
6.69/3.41	c (0,0) c
6.69/3.41	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
6.69/3.41	c (0,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
6.69/3.42	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
6.69/3.42	c (0,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
6.69/3.42	c (0,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
6.69/3.42	c (0,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
6.69/3.42	c (0,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
6.69/3.42	c (0,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
6.69/3.42	c (0,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
6.69/3.42	c (0,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
6.69/3.42	c (0,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
6.69/3.42	c (0,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
6.69/3.42	c (0,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
6.69/3.42	c (0,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
6.69/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.69/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.69/3.42	c (0,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
6.69/3.42	c (0,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
6.69/3.42	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
238.78/32.55	c (29,0) c
238.78/32.55	c (29,0) c |------------------------------------------------------------------------------------------------------------------------|
238.78/32.55	c (29,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
238.78/32.55	c (29,0) c |------------------------------------------------------------------------------------------------------------------------|
238.78/32.55	c (29,0) c |  0 |    476 |     263674 |     130324 |    50280 |    38941 |    20755 |   131350 |    13653 |      235 |  20 |  0.795 |
238.78/32.55	c (29,0) c |  1 |    502 |     269370 |     133589 |    50373 |    42206 |    21366 |   132339 |    14415 |      239 |  20 |  0.795 |
238.78/32.55	c (29,0) c |  2 |    600 |     283245 |     137000 |    50113 |    22815 |    20138 |   136890 |    14428 |      247 |  20 |  0.795 |
238.78/32.55	c (29,0) c |  3 |    551 |     278581 |     135672 |    51247 |    44289 |    21426 |   134777 |    14111 |      244 |  20 |  0.795 |
238.78/32.55	c (29,0) c |  4 |    564 |     279074 |     132052 |    55261 |    40666 |    20246 |   132393 |    13788 |      237 |  20 |  0.795 |
238.78/32.55	c (29,0) c |  5 |    638 |     279127 |     131700 |    51188 |    40317 |    18553 |   134625 |    13772 |      238 |  20 |  0.795 |
238.78/32.55	c (29,0) c |  6 |    615 |     285073 |     134492 |    55170 |    43107 |    19385 |   135834 |    13866 |      242 |  20 |  0.795 |
238.78/32.55	c (29,0) c |  7 |    624 |     273607 |     131056 |    48256 |    39671 |    19565 |   133487 |    13408 |      237 |  20 |  0.795 |
238.78/32.55	c (29,0) c 
238.78/32.55	c (29,0) c synthesis     1065885 conflicts   372655347 propagations     4595 conflicts/sec  1606661 propagations/sec
238.78/32.55	c (29,0) c real: 29.3773 s, cpu: 231.944 s, memory: 702.78 Mb
244.15/33.70	c (30,0) c
244.15/33.70	c (30,0) c real time : 30.5298 s
244.15/33.70	c (30,0) c cpu time  : 237.036 s
244.15/33.70	c (30,0) c
244.15/33.70	c (30,0) c
244.15/33.70	c (30,0) c
244.15/33.70	c (30,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
244.15/33.70	c (30,0) c
244.15/33.70	c (30,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
244.15/33.70	c (30,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
244.15/33.70	c (30,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
244.15/33.70	c (30,0) c | Conflicts     |         1082109 |     133746 |     135874 |     137787 |     136354 |     134939 |     134272 |     135392 |     133745 |
244.15/33.70	c (30,0) c | Decisions     |         2242517 |     269635 |     274192 |     284737 |     280868 |     284821 |     283541 |     286496 |     278227 |
244.15/33.70	c (30,0) c | Propagations  |       378787035 |   47403472 |   46490293 |   47553943 |   47711540 |   47435977 |   47202978 |   47515922 |   47472910 |
244.15/33.70	c (30,0) c | ReduceDBs     |              73 |          9 |          9 |         10 |          9 |          9 |          9 |          9 |          9 |
244.15/33.70	c (30,0) c | SimpDBs       |              24 |          3 |          3 |          3 |          3 |          3 |          3 |          3 |          3 |
244.15/33.70	c (30,0) c | Restarts      |            4624 |        486 |        521 |        605 |        552 |        573 |        644 |        617 |        626 |
244.15/33.70	c (30,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
244.15/33.70	c (30,0) c | PropBinClauses|       453351131 |   56875127 |   55727048 |   56659998 |   56864256 |   56846172 |   56456457 |   56920639 |   57001434 |
244.15/33.70	c (30,0) c | PropPreBlocker|      6221642439 |  774120436 |  774283331 |  790442430 |  781086713 |  775085118 |  773344223 |  778483596 |  774796592 |
244.15/33.70	c (30,0) c | PropNotBlocker|      1931073807 |  241985308 |  239073236 |  241829851 |  239158582 |  241974997 |  244119409 |  239983922 |  242948502 |
244.15/33.70	c (30,0) c | LitFullScans  |     11786241544 | 1470082677 | 1470062708 | 1492507289 | 1473265069 | 1470080670 | 1470064104 | 1470087802 | 1470091225 |
244.15/33.70	c (30,0) c | LitScanFracts |          503768 |      76750 |      54223 |      60854 |      49602 |      66793 |      57271 |      78890 |      59385 |
244.15/33.70	c (30,0) c | DecisionLevel0|            4625 |        486 |        521 |        606 |        552 |        573 |        644 |        617 |        626 |
244.25/33.70	c (30,0) c | Periods       |            1963 |        245 |        245 |        248 |        245 |        245 |        245 |        245 |        245 |
244.25/33.70	c (30,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
244.25/33.70	c (30,0) c | Avg_Trail     |                 |       3713 |       3666 |       3714 |       3746 |       3774 |       3708 |       3730 |       3722 |
244.25/33.70	c (30,0) c | Avg_DL        |                 |         28 |         28 |         28 |         29 |         28 |         27 |         30 |         28 |
244.25/33.70	c (30,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
244.25/33.70	c (30,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
244.25/33.70	c (30,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
244.25/33.70	c (30,0) c | Exported      |          163465 |      21207 |      21597 |      20211 |      21530 |      20642 |      18873 |      19496 |      19909 |
244.25/33.70	c (30,0) c | Imported      |         1085937 |     134440 |     134626 |     137634 |     134777 |     134764 |     137300 |     136583 |     135813 |
244.25/33.70	c (30,0) c | Good          |             469 |         63 |         59 |         54 |         62 |         57 |         53 |         60 |         61 |
244.25/33.70	c (30,0) c | Purge         |         1085468 |     134377 |     134567 |     137580 |     134715 |     134707 |     137247 |     136523 |     135752 |
244.25/33.70	c (30,0) c | Promoted      |          113450 |      14165 |      14718 |      14501 |      14185 |      14153 |      14075 |      13978 |      13675 |
244.25/33.70	c (30,0) c | Remove_Imp    |          600552 |      72696 |      68830 |      91075 |      72028 |      72832 |      74994 |      74223 |      73874 |
244.25/33.70	c (30,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
244.25/33.70	c (30,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
244.25/33.70	c (30,0) c | Unaries       |                 |          0 |          0 |          1 |          0 |          0 |          0 |          0 |          0 |
244.25/33.70	c (30,0) c | Binaries      |                 |          4 |          8 |         13 |          5 |         10 |         14 |          7 |          6 |
244.25/33.70	c (30,0) c | Glues         |                 |        168 |        171 |        222 |        161 |        225 |        227 |        198 |        192 |
244.25/33.70	c (30,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
244.25/33.70	c (30,0) c | Orig_Seen     |            32 % |      50374 |      50485 |      50151 |      52336 |      55437 |      51263 |      55178 |      48366 |
244.25/33.70	c (30,0) c | Diff Orig seen|                 | -     1962 | -     1851 | -     2185 |      X     |       3101 | -     1073 |       2842 | -     3970 |
244.25/33.70	c (30,0) c | Hamming       |            26 % |       2643 |       2205 |       2755 |      X     |       2498 |       2181 |       2736 |       2073 |
244.25/33.70	c (30,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
244.25/33.70	c (30,0) c | RunningTime   |                 |   30.2 100%|   29.8 100%|   29.3 100%|   29.2 100%|   30.0 100%|   29.8 100%|   29.4 100%|   29.9 100%|
244.25/33.70	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%|
244.25/33.70	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%|
244.25/33.70	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%|
244.25/33.70	c (30,0) c | SolvingTime   |                 |   30.3     |   29.9     |   29.3     |   29.3     |   30.1     |   29.9     |   29.4     |   29.9     |
244.25/33.70	c (30,0) c | PropagationTim|                 |   25.9  86%|   25.1  84%|   24.7  84%|   24.7  85%|   25.5  85%|   25.4  85%|   24.7  84%|   25.3  85%|
244.25/33.70	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.5  12%|
244.25/33.70	c (30,0) c | ReductionTime |                 |    0.2   1%|    0.3   1%|    0.3   1%|    0.3   1%|    0.3   1%|    0.2   1%|    0.3   1%|    0.2   1%|
244.25/33.70	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%|
244.25/33.70	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%|
244.25/33.70	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%|
244.25/33.70	c (30,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
244.25/33.70	c (30,0) c
244.25/33.70	c (30,0) c
244.25/33.70	c (30,0) c Threads : 8
244.25/33.70	c (30,0) c Winner : 3
244.25/33.70	c (30,0) c Conflicts_0 : 133746
244.25/33.70	c (30,0) c Conflicts_1 : 135874
244.25/33.70	c (30,0) c Conflicts_2 : 137787
244.25/33.70	c (30,0) c Conflicts_3 : 136354
244.25/33.70	c (30,0) c Conflicts_4 : 134939
244.25/33.70	c (30,0) c Conflicts_5 : 134272
244.25/33.70	c (30,0) c Conflicts_6 : 135392
244.25/33.70	c (30,0) c Conflicts_7 : 133745
244.25/33.70	c (30,0) c Conflicts_total : 1082109
244.25/33.70	c (30,0) c Conflicts_winner : 136354
244.25/33.70	c (30,0) c Decisions_0 : 269635
244.25/33.70	c (30,0) c Decisions_1 : 274192
244.25/33.70	c (30,0) c Decisions_2 : 284737
244.25/33.70	c (30,0) c Decisions_3 : 280868
244.25/33.70	c (30,0) c Decisions_4 : 284821
244.25/33.70	c (30,0) c Decisions_5 : 283541
244.25/33.70	c (30,0) c Decisions_6 : 286496
244.25/33.70	c (30,0) c Decisions_7 : 278227
244.25/33.70	c (30,0) c Decisions_total : 2242517
244.25/33.70	c (30,0) c Decisions_winner : 280868
244.25/33.70	c (30,0) c Propagations_0 : 47403472
244.25/33.70	c (30,0) c Propagations_1 : 46490293
244.25/33.70	c (30,0) c Propagations_2 : 47553943
244.25/33.70	c (30,0) c Propagations_3 : 47711540
244.25/33.70	c (30,0) c Propagations_4 : 47435977
244.25/33.70	c (30,0) c Propagations_5 : 47202978
244.25/33.70	c (30,0) c Propagations_6 : 47515922
244.25/33.70	c (30,0) c Propagations_7 : 47472910
244.25/33.70	c (30,0) c Propagations_total : 378787035
244.25/33.70	c (30,0) c Propagations_winner : 47711540
244.25/33.70	c (30,0) c ReduceDBs_0 : 9
244.25/33.70	c (30,0) c ReduceDBs_1 : 9
244.25/33.70	c (30,0) c ReduceDBs_2 : 10
244.25/33.70	c (30,0) c ReduceDBs_3 : 9
244.25/33.70	c (30,0) c ReduceDBs_4 : 9
244.25/33.70	c (30,0) c ReduceDBs_5 : 9
244.25/33.70	c (30,0) c ReduceDBs_6 : 9
244.25/33.70	c (30,0) c ReduceDBs_7 : 9
244.25/33.70	c (30,0) c ReduceDBs_total : 73
244.25/33.70	c (30,0) c ReduceDBs_winner : 9
244.25/33.70	c (30,0) c SimpDBs_0 : 3
244.25/33.70	c (30,0) c SimpDBs_1 : 3
244.25/33.70	c (30,0) c SimpDBs_2 : 3
244.25/33.70	c (30,0) c SimpDBs_3 : 3
244.25/33.70	c (30,0) c SimpDBs_4 : 3
244.25/33.70	c (30,0) c SimpDBs_5 : 3
244.25/33.70	c (30,0) c SimpDBs_6 : 3
244.25/33.70	c (30,0) c SimpDBs_7 : 3
244.25/33.70	c (30,0) c SimpDBs_total : 24
244.25/33.70	c (30,0) c SimpDBs_winner : 3
244.25/33.70	c (30,0) c Restarts_0 : 486
244.25/33.70	c (30,0) c Restarts_1 : 521
244.25/33.70	c (30,0) c Restarts_2 : 605
244.25/33.70	c (30,0) c Restarts_3 : 552
244.25/33.70	c (30,0) c Restarts_4 : 573
244.25/33.70	c (30,0) c Restarts_5 : 644
244.25/33.70	c (30,0) c Restarts_6 : 617
244.25/33.70	c (30,0) c Restarts_7 : 626
244.25/33.70	c (30,0) c Restarts_total : 4624
244.25/33.70	c (30,0) c Restarts_winner : 552
244.25/33.70	c (30,0) c ForcedImports_0 : 0
244.25/33.70	c (30,0) c ForcedImports_1 : 0
244.25/33.70	c (30,0) c ForcedImports_2 : 0
244.25/33.70	c (30,0) c ForcedImports_3 : 0
244.25/33.70	c (30,0) c ForcedImports_4 : 0
244.25/33.70	c (30,0) c ForcedImports_5 : 0
244.25/33.70	c (30,0) c ForcedImports_6 : 0
244.25/33.70	c (30,0) c ForcedImports_7 : 0
244.25/33.70	c (30,0) c ForcedImports_total : 0
244.25/33.70	c (30,0) c ForcedImports_winner : 0
244.25/33.70	c (30,0) c PropsBinClauses_0 : 56875127
244.25/33.70	c (30,0) c PropsBinClauses_1 : 55727048
244.25/33.70	c (30,0) c PropsBinClauses_2 : 56659998
244.25/33.70	c (30,0) c PropsBinClauses_3 : 56864256
244.25/33.70	c (30,0) c PropsBinClauses_4 : 56846172
244.25/33.70	c (30,0) c PropsBinClauses_5 : 56456457
244.25/33.70	c (30,0) c PropsBinClauses_6 : 56920639
244.25/33.70	c (30,0) c PropsBinClauses_7 : 57001434
244.25/33.70	c (30,0) c PropsBinClauses_total : 453351131
244.25/33.70	c (30,0) c PropsBinClauses_winner : 56864256
244.25/33.70	c (30,0) c PropsPreBlocker_0 : 774120436
244.25/33.70	c (30,0) c PropsPreBlocker_1 : 774283331
244.25/33.70	c (30,0) c PropsPreBlocker_2 : 790442430
244.25/33.70	c (30,0) c PropsPreBlocker_3 : 781086713
244.25/33.70	c (30,0) c PropsPreBlocker_4 : 775085118
244.25/33.70	c (30,0) c PropsPreBlocker_5 : 773344223
244.25/33.70	c (30,0) c PropsPreBlocker_6 : 778483596
244.25/33.70	c (30,0) c PropsPreBlocker_7 : 774796592
244.25/33.70	c (30,0) c PropsPreBlocker_total : 6221642439
244.25/33.70	c (30,0) c PropsPreBlocker_winner : 781086713
244.25/33.70	c (30,0) c PropsNotBlocker_0 : 241985308
244.25/33.70	c (30,0) c PropsNotBlocker_1 : 239073236
244.25/33.70	c (30,0) c PropsNotBlocker_2 : 241829851
244.25/33.70	c (30,0) c PropsNotBlocker_3 : 239158582
244.25/33.70	c (30,0) c PropsNotBlocker_4 : 241974997
244.25/33.70	c (30,0) c PropsNotBlocker_5 : 244119409
244.25/33.70	c (30,0) c PropsNotBlocker_6 : 239983922
244.25/33.70	c (30,0) c PropsNotBlocker_7 : 242948502
244.25/33.70	c (30,0) c PropsNotBlocker_total : 1931073807
244.25/33.70	c (30,0) c PropsNotBlocker_winner : 239158582
244.25/33.70	c (30,0) c PropsLitFullScans_0 : 1470082677
244.25/33.70	c (30,0) c PropsLitFullScans_1 : 1470062708
244.25/33.70	c (30,0) c PropsLitFullScans_2 : 1492507289
244.25/33.70	c (30,0) c PropsLitFullScans_3 : 1473265069
244.25/33.70	c (30,0) c PropsLitFullScans_4 : 1470080670
244.25/33.70	c (30,0) c PropsLitFullScans_5 : 1470064104
244.25/33.70	c (30,0) c PropsLitFullScans_6 : 1470087802
244.25/33.70	c (30,0) c PropsLitFullScans_7 : 1470091225
244.25/33.70	c (30,0) c PropsLitFullScans_total : 11786241544
244.25/33.70	c (30,0) c PropsLitFullScans_winner : 1473265069
244.25/33.70	c (30,0) c LitScanFractions_0 : 76750
244.25/33.70	c (30,0) c LitScanFractions_1 : 54223
244.25/33.70	c (30,0) c LitScanFractions_2 : 60854
244.25/33.70	c (30,0) c LitScanFractions_3 : 49602
244.25/33.70	c (30,0) c LitScanFractions_4 : 66793
244.25/33.70	c (30,0) c LitScanFractions_5 : 57271
244.25/33.70	c (30,0) c LitScanFractions_6 : 78890
244.25/33.70	c (30,0) c LitScanFractions_7 : 59385
244.25/33.70	c (30,0) c LitScanFractions_total : 503768
244.25/33.70	c (30,0) c LitScanFractions_winner : 49602
244.25/33.70	c (30,0) c DecisionLevel0_0 : 486
244.25/33.70	c (30,0) c DecisionLevel0_1 : 521
244.25/33.70	c (30,0) c DecisionLevel0_2 : 606
244.25/33.70	c (30,0) c DecisionLevel0_3 : 552
244.25/33.70	c (30,0) c DecisionLevel0_4 : 573
244.25/33.70	c (30,0) c DecisionLevel0_5 : 644
244.25/33.70	c (30,0) c DecisionLevel0_6 : 617
244.25/33.71	c (30,0) c DecisionLevel0_7 : 626
244.25/33.71	c (30,0) c DecisionLevel0_total : 4625
244.25/33.71	c (30,0) c DecisionLevel0_winner : 552
244.25/33.71	c (30,0) c Periods_0 : 245
244.25/33.71	c (30,0) c Periods_1 : 245
244.25/33.71	c (30,0) c Periods_2 : 248
244.25/33.71	c (30,0) c Periods_3 : 245
244.25/33.71	c (30,0) c Periods_4 : 245
244.25/33.71	c (30,0) c Periods_5 : 245
244.25/33.71	c (30,0) c Periods_6 : 245
244.25/33.71	c (30,0) c Periods_7 : 245
244.25/33.71	c (30,0) c Periods_total : 1963
244.25/33.71	c (30,0) c Periods_winner : 245
244.25/33.71	c (30,0) c Margin_0 : 20
244.25/33.71	c (30,0) c Margin_1 : 20
244.25/33.71	c (30,0) c Margin_2 : 20
244.25/33.71	c (30,0) c Margin_3 : 20
244.25/33.71	c (30,0) c Margin_4 : 20
244.25/33.71	c (30,0) c Margin_5 : 20
244.25/33.71	c (30,0) c Margin_6 : 20
244.25/33.71	c (30,0) c Margin_7 : 20
244.25/33.71	c (30,0) c Margin_total : 160
244.25/33.71	c (30,0) c Margin_winner : 20
244.25/33.71	c (30,0) c Exported_0 : 21207
244.25/33.71	c (30,0) c Exported_1 : 21597
244.25/33.71	c (30,0) c Exported_2 : 20211
244.25/33.71	c (30,0) c Exported_3 : 21530
244.25/33.71	c (30,0) c Exported_4 : 20642
244.25/33.71	c (30,0) c Exported_5 : 18873
244.25/33.71	c (30,0) c Exported_6 : 19496
244.25/33.71	c (30,0) c Exported_7 : 19909
244.25/33.71	c (30,0) c Exported_total : 163465
244.25/33.71	c (30,0) c Exported_winner : 21530
244.25/33.71	c (30,0) c Imported_0 : 134440
244.25/33.71	c (30,0) c Imported_1 : 134626
244.25/33.71	c (30,0) c Imported_2 : 137634
244.25/33.71	c (30,0) c Imported_3 : 134777
244.25/33.71	c (30,0) c Imported_4 : 134764
244.25/33.71	c (30,0) c Imported_5 : 137300
244.25/33.71	c (30,0) c Imported_6 : 136583
244.25/33.71	c (30,0) c Imported_7 : 135813
244.25/33.71	c (30,0) c Imported_total : 1085937
244.25/33.71	c (30,0) c Imported_winner : 134777
244.25/33.71	c (30,0) c Good_0 : 63
244.25/33.71	c (30,0) c Good_1 : 59
244.25/33.71	c (30,0) c Good_2 : 54
244.25/33.71	c (30,0) c Good_3 : 62
244.25/33.71	c (30,0) c Good_4 : 57
244.25/33.71	c (30,0) c Good_5 : 53
244.25/33.71	c (30,0) c Good_6 : 60
244.25/33.71	c (30,0) c Good_7 : 61
244.25/33.71	c (30,0) c Good_total : 469
244.25/33.71	c (30,0) c Good_winner : 62
244.25/33.71	c (30,0) c Purge_0 : 134377
244.25/33.71	c (30,0) c Purge_1 : 134567
244.25/33.71	c (30,0) c Purge_2 : 137580
244.25/33.71	c (30,0) c Purge_3 : 134715
244.25/33.71	c (30,0) c Purge_4 : 134707
244.25/33.71	c (30,0) c Purge_5 : 137247
244.25/33.71	c (30,0) c Purge_6 : 136523
244.25/33.71	c (30,0) c Purge_7 : 135752
244.25/33.71	c (30,0) c Purge_total : 1085468
244.25/33.71	c (30,0) c Purge_winner : 134715
244.25/33.71	c (30,0) c Promoted_0 : 14165
244.25/33.71	c (30,0) c Promoted_1 : 14718
244.25/33.71	c (30,0) c Promoted_2 : 14501
244.25/33.71	c (30,0) c Promoted_3 : 14185
244.25/33.71	c (30,0) c Promoted_4 : 14153
244.25/33.71	c (30,0) c Promoted_5 : 14075
244.25/33.71	c (30,0) c Promoted_6 : 13978
244.25/33.71	c (30,0) c Promoted_7 : 13675
244.25/33.71	c (30,0) c Promoted_total : 113450
244.25/33.71	c (30,0) c Promoted_winner : 14185
244.25/33.71	c (30,0) c Remove_Imp_0 : 72696
244.25/33.71	c (30,0) c Remove_Imp_1 : 68830
244.25/33.71	c (30,0) c Remove_Imp_2 : 91075
244.25/33.71	c (30,0) c Remove_Imp_3 : 72028
244.25/33.71	c (30,0) c Remove_Imp_4 : 72832
244.25/33.71	c (30,0) c Remove_Imp_5 : 74994
244.25/33.71	c (30,0) c Remove_Imp_6 : 74223
244.25/33.71	c (30,0) c Remove_Imp_7 : 73874
244.25/33.71	c (30,0) c Remove_Imp_total : 600552
244.25/33.71	c (30,0) c Remove_Imp_winner : 72028
244.25/33.71	c (30,0) c Blocked_Reuse_0 : 0
244.25/33.71	c (30,0) c Blocked_Reuse_1 : 0
244.25/33.71	c (30,0) c Blocked_Reuse_2 : 0
244.25/33.71	c (30,0) c Blocked_Reuse_3 : 0
244.25/33.71	c (30,0) c Blocked_Reuse_4 : 0
244.25/33.71	c (30,0) c Blocked_Reuse_5 : 0
244.25/33.71	c (30,0) c Blocked_Reuse_6 : 0
244.25/33.71	c (30,0) c Blocked_Reuse_7 : 0
244.25/33.71	c (30,0) c Blocked_Reuse_total : 0
244.25/33.71	c (30,0) c Blocked_Reuse_winner : 0
244.25/33.71	c (30,0) c Unaries_0 : 0
244.25/33.71	c (30,0) c Unaries_1 : 0
244.25/33.71	c (30,0) c Unaries_2 : 1
244.25/33.71	c (30,0) c Unaries_3 : 0
244.25/33.71	c (30,0) c Unaries_4 : 0
244.25/33.71	c (30,0) c Unaries_5 : 0
244.25/33.71	c (30,0) c Unaries_6 : 0
244.25/33.71	c (30,0) c Unaries_7 : 0
244.25/33.71	c (30,0) c Unaries_total : 1
244.25/33.71	c (30,0) c Unaries_winner : 0
244.25/33.71	c (30,0) c Binaries_0 : 4
244.25/33.71	c (30,0) c Binaries_1 : 8
244.25/33.71	c (30,0) c Binaries_2 : 13
244.25/33.71	c (30,0) c Binaries_3 : 5
244.25/33.71	c (30,0) c Binaries_4 : 10
244.25/33.71	c (30,0) c Binaries_5 : 14
244.25/33.71	c (30,0) c Binaries_6 : 7
244.25/33.71	c (30,0) c Binaries_7 : 6
244.25/33.71	c (30,0) c Binaries_total : 67
244.25/33.71	c (30,0) c Binaries_winner : 5
244.25/33.71	c (30,0) c Glues_0 : 168
244.25/33.71	c (30,0) c Glues_1 : 171
244.25/33.71	c (30,0) c Glues_2 : 222
244.25/33.71	c (30,0) c Glues_3 : 161
244.25/33.71	c (30,0) c Glues_4 : 225
244.25/33.71	c (30,0) c Glues_5 : 227
244.25/33.71	c (30,0) c Glues_6 : 198
244.25/33.71	c (30,0) c Glues_7 : 192
244.25/33.71	c (30,0) c Glues_total : 1564
244.25/33.71	c (30,0) c Glues_winner : 161
244.25/33.71	c (30,0) c RunningTime_0 : 30.208279
244.25/33.71	c (30,0) c RunningTime_1 : 29.803069
244.25/33.71	c (30,0) c RunningTime_2 : 29.253393
244.25/33.71	c (30,0) c RunningTime_3 : 29.207832
244.25/33.71	c (30,0) c RunningTime_4 : 30.013384
244.25/33.71	c (30,0) c RunningTime_5 : 29.827667
244.25/33.71	c (30,0) c RunningTime_6 : 29.375554
244.25/33.71	c (30,0) c RunningTime_7 : 29.871534
244.25/33.71	c (30,0) c RunningTime_total : 237.560712
244.25/33.71	c (30,0) c RunningTime_winner : 29.207832
244.25/33.71	c (30,0) c WaitingTime_0 : 0.000283
244.25/33.71	c (30,0) c WaitingTime_1 : 0.000281
244.25/33.71	c (30,0) c WaitingTime_2 : 0.000323
244.25/33.71	c (30,0) c WaitingTime_3 : 0.000314
244.25/33.71	c (30,0) c WaitingTime_4 : 0.000263
244.25/33.71	c (30,0) c WaitingTime_5 : 0.000339
244.25/33.71	c (30,0) c WaitingTime_6 : 0.000338
244.25/33.71	c (30,0) c WaitingTime_7 : 0.000297
244.25/33.71	c (30,0) c WaitingTime_total : 0.002437
244.25/33.71	c (30,0) c WaitingTime_winner : 0.000314
244.25/33.71	c (30,0) c ExchangingTime_0 : 0.056447
244.25/33.71	c (30,0) c ExchangingTime_1 : 0.054192
244.25/33.71	c (30,0) c ExchangingTime_2 : 0.061025
244.25/33.71	c (30,0) c ExchangingTime_3 : 0.049017
244.25/33.71	c (30,0) c ExchangingTime_4 : 0.050487
244.25/33.71	c (30,0) c ExchangingTime_5 : 0.054793
244.25/33.71	c (30,0) c ExchangingTime_6 : 0.056095
244.25/33.71	c (30,0) c ExchangingTime_7 : 0.049115
244.25/33.71	c (30,0) c ExchangingTime_total : 0.431172
244.25/33.71	c (30,0) c ExchangingTime_winner : 0.049017
244.25/33.71	c (30,0) c PeriodProcTime_0 : 0.001922
244.25/33.71	c (30,0) c PeriodProcTime_1 : 0.002237
244.25/33.71	c (30,0) c PeriodProcTime_2 : 0.002289
244.25/33.71	c (30,0) c PeriodProcTime_3 : 0.001969
244.25/33.71	c (30,0) c PeriodProcTime_4 : 0.002244
244.25/33.71	c (30,0) c PeriodProcTime_5 : 0.002262
244.25/33.71	c (30,0) c PeriodProcTime_6 : 0.002229
244.25/33.71	c (30,0) c PeriodProcTime_7 : 0.002394
244.25/33.71	c (30,0) c PeriodProcTime_total : 0.017548
244.25/33.71	c (30,0) c PeriodProcTime_winner : 0.001969
244.25/33.71	c (30,0) c SolvingTime_0 : 30.266931
244.25/33.71	c (30,0) c SolvingTime_1 : 29.859778
244.25/33.71	c (30,0) c SolvingTime_2 : 29.317031
244.25/33.71	c (30,0) c SolvingTime_3 : 29.259132
244.25/33.71	c (30,0) c SolvingTime_4 : 30.066379
244.25/33.71	c (30,0) c SolvingTime_5 : 29.885061
244.25/33.71	c (30,0) c SolvingTime_6 : 29.434217
244.25/33.71	c (30,0) c SolvingTime_7 : 29.923340
244.25/33.71	c (30,0) c SolvingTime_total : 238.011869
244.25/33.71	c (30,0) c SolvingTime_winner : 29.259132
244.25/33.71	c (30,0) c PropagationTime_0 : 25.922150
244.25/33.71	c (30,0) c PropagationTime_1 : 25.119131
244.25/33.71	c (30,0) c PropagationTime_2 : 24.736464
244.25/33.71	c (30,0) c PropagationTime_3 : 24.741289
244.25/33.71	c (30,0) c PropagationTime_4 : 25.529147
244.25/33.71	c (30,0) c PropagationTime_5 : 25.439300
244.25/33.71	c (30,0) c PropagationTime_6 : 24.734941
244.25/33.71	c (30,0) c PropagationTime_7 : 25.333605
244.25/33.71	c (30,0) c PropagationTime_total : 201.556026
244.25/33.71	c (30,0) c PropagationTime_winner : 24.741289
244.25/33.71	c (30,0) c AnalysisTime_0 : 3.257711
244.25/33.71	c (30,0) c AnalysisTime_1 : 3.678673
244.25/33.71	c (30,0) c AnalysisTime_2 : 3.393040
244.25/33.71	c (30,0) c AnalysisTime_3 : 3.419689
244.25/33.71	c (30,0) c AnalysisTime_4 : 3.407955
244.25/33.71	c (30,0) c AnalysisTime_5 : 3.326555
244.25/33.71	c (30,0) c AnalysisTime_6 : 3.587039
244.25/33.71	c (30,0) c AnalysisTime_7 : 3.470414
244.25/33.71	c (30,0) c AnalysisTime_total : 27.541077
244.25/33.71	c (30,0) c AnalysisTime_winner : 3.419689
244.25/33.71	c (30,0) c ReductionTime_0 : 0.238507
244.25/33.71	c (30,0) c ReductionTime_1 : 0.253283
244.25/33.71	c (30,0) c ReductionTime_2 : 0.322347
244.25/33.71	c (30,0) c ReductionTime_3 : 0.251089
244.25/33.71	c (30,0) c ReductionTime_4 : 0.258150
244.25/33.71	c (30,0) c ReductionTime_5 : 0.248429
244.25/33.71	c (30,0) c ReductionTime_6 : 0.253282
244.25/33.71	c (30,0) c ReductionTime_7 : 0.246493
244.25/33.71	c (30,0) c ReductionTime_total : 2.071579
244.25/33.71	c (30,0) c ReductionTime_winner : 0.251089
244.25/33.71	c (30,0) c SimplifyTime_0 : 0.008865
244.25/33.71	c (30,0) c SimplifyTime_1 : 0.009216
244.25/33.71	c (30,0) c SimplifyTime_2 : 0.007325
244.25/33.71	c (30,0) c SimplifyTime_3 : 0.009373
244.25/33.71	c (30,0) c SimplifyTime_4 : 0.009509
244.25/33.71	c (30,0) c SimplifyTime_5 : 0.008533
244.25/33.71	c (30,0) c SimplifyTime_6 : 0.008600
244.25/33.71	c (30,0) c SimplifyTime_7 : 0.008612
244.25/33.71	c (30,0) c SimplifyTime_total : 0.070034
244.25/33.71	c (30,0) c SimplifyTime_winner : 0.009373
244.25/33.71	c (30,0) c UsedRateTime_0 : 0.000000
244.25/33.71	c (30,0) c UsedRateTime_1 : 0.000000
244.25/33.71	c (30,0) c UsedRateTime_2 : 0.000000
244.25/33.71	c (30,0) c UsedRateTime_3 : 0.000000
244.25/33.71	c (30,0) c UsedRateTime_4 : 0.000000
244.25/33.71	c (30,0) c UsedRateTime_5 : 0.000000
244.25/33.71	c (30,0) c UsedRateTime_6 : 0.000000
244.25/33.71	c (30,0) c UsedRateTime_7 : 0.000000
244.25/33.71	c (30,0) c UsedRateTime_total : 0.000000
244.25/33.71	c (30,0) c UsedRateTime_winner : 0.000000
244.25/33.71	c (30,0) c OverlapRateTime_0 : 0.000000
244.25/33.71	c (30,0) c OverlapRateTime_1 : 0.000000
244.25/33.71	c (30,0) c OverlapRateTime_2 : 0.000000
244.25/33.71	c (30,0) c OverlapRateTime_3 : 0.000000
244.25/33.71	c (30,0) c OverlapRateTime_4 : 0.000000
244.25/33.71	c (30,0) c OverlapRateTime_5 : 0.000000
244.25/33.71	c (30,0) c OverlapRateTime_6 : 0.000000
244.25/33.71	c (30,0) c OverlapRateTime_7 : 0.000000
244.25/33.71	c (30,0) c OverlapRateTime_total : 0.000000
244.25/33.71	c (30,0) c OverlapRateTime_winner : 0.000000
244.25/33.71	c (30,0) c
244.25/33.71	c (30,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
244.25/33.71	c (30,0) c
244.25/33.71	c (30,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
244.25/33.71	c (30,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
244.25/33.71	c (30,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
244.25/33.71	c (30,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
244.25/33.71	c (30,0) c | adaptStrategeis       |      False |      False |      False |      False |      False |      False |      False |      False |
244.25/33.71	c (30,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
244.25/33.71	c (30,0) c | Initial random_seed   |   85154721 |  810565224 |  549425339 |  536046673 |  733227658 | 1032479162 | 1314457730 | 2083730339 |
244.25/33.71	c (30,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
244.25/33.71	c (30,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
244.25/33.71	c (30,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
244.25/33.71	c (30,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
244.25/33.71	c (30,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
244.25/33.71	c (30,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
244.25/33.71	c (30,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
244.25/33.71	c (30,0) c | var_decay             |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
244.25/33.71	c (30,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
244.25/33.71	c (30,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
244.25/33.71	c (30,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
244.25/33.71	c (30,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
244.25/33.71	c (30,0) 
244.25/33.71	c (30,0) s SATISFIABLE
244.25/33.74	c (30,0) SatSolver.solve End
244.25/33.74	c (30,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
244.25/33.74	c (30,0) Show results Begin
244.52/33.84	c (30,0) x[0] = 155
244.52/33.84	c (30,0) x[1] = 136
244.52/33.84	c (30,0) x[2] = 172
244.52/33.84	c (30,0) x[3] = 44
244.52/33.84	c (30,0) x[4] = 94
244.52/33.84	c (30,0) x[5] = 123
244.52/33.84	c (30,0) x[6] = 138
244.52/33.84	c (30,0) x[7] = 105
244.52/33.84	c (30,0) x[8] = 136
244.52/33.84	c (30,0) x[9] = 156
244.52/33.84	c (30,0) x[10] = 54
244.52/33.84	c (30,0) x[11] = 177
244.52/33.84	c (30,0) x[12] = 94
244.52/33.84	c (30,0) x[13] = 172
244.52/33.84	c (30,0) x[14] = 123
244.52/33.84	c (30,0) x[15] = 44
244.52/33.84	c (30,0) x[16] = 136
244.52/33.84	c (30,0) x[17] = 54
244.52/33.84	c (30,0) x[18] = 0
244.52/33.84	c (30,0) x[19] = 155
244.52/33.84	c (30,0) x[20] = 0
244.52/33.84	c (30,0) x[21] = 78
244.52/33.84	c (30,0) x[22] = 105
244.52/33.84	c (30,0) x[23] = 0
244.52/33.84	c (30,0) y[0] = 146
244.52/33.84	c (30,0) y[1] = 145
244.52/33.84	c (30,0) y[2] = 167
244.52/33.84	c (30,0) y[3] = 159
244.52/33.84	c (30,0) y[4] = 105
244.52/33.84	c (30,0) y[5] = 130
244.52/33.84	c (30,0) y[6] = 130
244.52/33.84	c (31,0) y[7] = 98
244.52/33.84	c (31,0) y[8] = 147
244.52/33.84	c (31,0) y[9] = 146
244.52/33.84	c (31,0) y[10] = 145
244.52/33.84	c (31,0) y[11] = 146
244.52/33.84	c (31,0) y[12] = 116
244.52/33.84	c (31,0) y[13] = 172
244.52/33.84	c (31,0) y[14] = 98
244.52/33.84	c (31,0) y[15] = 169
244.52/33.84	c (31,0) y[16] = 167
244.52/33.84	c (31,0) y[17] = 105
244.52/33.84	c (31,0) y[18] = 159
244.52/33.84	c (31,0) y[19] = 98
244.52/33.84	c (31,0) y[20] = 105
244.52/33.84	c (31,0) y[21] = 145
244.52/33.84	c (31,0) y[22] = 0
244.52/33.84	c (31,0) y[23] = 0
244.52/33.84	s SATISFIABLE
244.52/33.84	v <instantiation>
244.52/33.84	v     <list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] y[0] y[1] y[2] y[3] y[4] y[5] y[6] y[7] y[8] y[9] y[10] y[11] y[12] y[13] y[14] y[15] y[16] y[17] y[18] y[19] y[20] y[21] y[22] y[23]</list>
244.52/33.84	v     <values>155 136 172 44 94 123 138 105 136 156 54 177 94 172 123 44 136 54 0 155 0 78 105 0 146 145 167 159 105 130 130 98 147 146 145 146 116 172 98 169 167 105 159 98 105 145 0 0</values>
244.52/33.84	v </instantiation>
244.52/33.84	c (31,0) Show results End
244.52/33.84	c (31,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 17 MiB used (max 0 MiB)
244.52/33.84	c (31,0) 30,31,STOP-AFTER(ALL)
244.52/33.84	c END-Prog: Sat Sep 14 04:52:22 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 (15019 MiB free)
  memory of node 1: 16384 MiB (15582 MiB free)
  node distances:
     10  21
     21  10

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


[startup+0.100159 s]*
/proc/loadavg: 7.51 7.87 7.84 4/213 4440
/proc/meminfo: memFree=31244180/32770624 swapFree=66996976/67108860
[pid=4418] ppid=4415 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/4418/stat : 4418 (scop.sh) S 4415 4418 3266 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 419209760 115843072 349 33554432000 4194304 5098028 140730683719712 140730683716968 139883606168188 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 17915904 140730683728677 140730683729004 140730683729004 140730683731917 0
/proc/4418/statm: 28282 349 296 221 0 87 0
[pid=4421] ppid=4418 vsize=27314120 memory=104056 CPUtime=0.1 cores=0-7
/proc/4421/stat : 4421 (java) S 4418 4418 3266 0 -1 1077944320 6576 0 0 0 8 2 0 0 20 0 20 0 419209761 27969658880 26014 33554432000 4194304 4196468 140735565569728 140735565552272 140223870582519 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 34889728 140735565574892 140735565575318 140735565575318 140735565578191 0
/proc/4421/statm: 6828530 26014 2813 1 0 6790935 0
[pid=4421/tid=4422] ppid=4418 vsize=27314120 memory=576460756329955445 CPUtime=0.09 cores=0-7
/proc/4421/task/4422/stat : 4422 (java) R 4418 4418 3266 0 -1 4202560 4648 0 0 0 7 2 0 0 20 0 20 0 419209761 27969658880 26014 33554432000 4194304 4196468 140735565569728 140223842408536 140223870604445 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34889728 140735565574892 140735565575318 140735565575318 140735565578191 0
[pid=4421/tid=4423] ppid=4418 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4421/task/4423/stat : 4423 (java) S 4418 4418 3266 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419209763 27969658880 26014 33554432000 4194304 4196468 140735565569728 140223874824720 140223870592725 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34889728 140735565574892 140735565575318 140735565575318 140735565578191 0
[pid=4421/tid=4424] ppid=4418 vsize=27314120 memory=140252615457399 CPUtime=0 cores=0-7
/proc/4421/task/4424/stat : 4424 (java) S 4418 4418 3266 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419209763 27969658880 26014 33554432000 4194304 4196468 140735565569728 140223292279440 140223870592725 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34889728 140735565574892 140735565575318 140735565575318 140735565578191 0
[pid=4421/tid=4425] ppid=4418 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4421/task/4425/stat : 4425 (java) S 4418 4418 3266 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419209763 27969658880 26014 33554432000 4194304 4196468 140735565569728 140223291226384 140223870592725 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34889728 140735565574892 140735565575318 140735565575318 140735565578191 0
[pid=4421/tid=4426] ppid=4418 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4421/task/4426/stat : 4426 (java) S 4418 4418 3266 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419209763 27969658880 26014 33554432000 4194304 4196468 140735565569728 140223290173840 140223870592725 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34889728 140735565574892 140735565575318 140735565575318 140735565578191 0
[pid=4421/tid=4427] ppid=4418 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4421/task/4427/stat : 4427 (java) S 4418 4418 3266 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419209763 27969658880 26014 33554432000 4194304 4196468 140735565569728 140223289121808 140223870592725 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34889728 140735565574892 140735565575318 140735565575318 140735565578191 0
[pid=4421/tid=4428] ppid=4418 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/4421/task/4428/stat : 4428 (java) S 4418 4418 3266 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419209763 27969658880 26014 33554432000 4194304 4196468 140735565569728 140223288069264 140223870592725 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34889728 140735565574892 140735565575318 140735565575318 140735565578191 0
[pid=4421/tid=4429] ppid=4418 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4421/task/4429/stat : 4429 (java) S 4418 4418 3266 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419209763 27969658880 26014 33554432000 4194304 4196468 140735565569728 140223287016208 140223870592725 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34889728 140735565574892 140735565575318 140735565575318 140735565578191 0
[pid=4421/tid=4430] ppid=4418 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4421/task/4430/stat : 4430 (java) S 4418 4418 3266 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419209763 27969658880 26014 33554432000 4194304 4196468 140735565569728 140223285963664 140223870592725 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34889728 140735565574892 140735565575318 140735565575318 140735565578191 0
[pid=4421/tid=4431] ppid=4418 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4421/task/4431/stat : 4431 (java) S 4418 4418 3266 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419209765 27969658880 26014 33554432000 4194304 4196468 140735565569728 140222257842416 140223870593666 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34889728 140735565574892 140735565575318 140735565575318 140735565578191 0
[pid=4421/tid=4432] ppid=4418 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4421/task/4432/stat : 4432 (java) S 4418 4418 3266 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 419209765 27969658880 26526 33554432000 4194304 4196468 140735565569728 140221622510752 140223870592725 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34889728 140735565574892 140735565575318 140735565575318 140735565578191 0
[pid=4421/tid=4433] ppid=4418 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4421/task/4433/stat : 4433 (java) S 4418 4418 3266 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 419209766 27969658880 26526 33554432000 4194304 4196468 140735565569728 140221488288496 140223870592725 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34889728 140735565574892 140735565575318 140735565575318 140735565578191 0
[pid=4421/tid=4434] ppid=4418 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4421/task/4434/stat : 4434 (java) S 4418 4418 3266 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419209768 27969658880 26526 33554432000 4194304 4196468 140735565569728 140221113784272 140223870601115 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34889728 140735565574892 140735565575318 140735565575318 140735565578191 0
[pid=4421/tid=4435] ppid=4418 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4421/task/4435/stat : 4435 (java) S 4418 4418 3266 0 -1 1077944384 307 0 0 0 0 0 0 0 20 0 20 0 419209768 27969658880 26526 33554432000 4194304 4196468 140735565569728 140222256790256 140223870593666 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34889728 140735565574892 140735565575318 140735565575318 140735565578191 0
[pid=4421/tid=4436] ppid=4418 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4421/task/4436/stat : 4436 (java) S 4418 4418 3266 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419209768 27969658880 26526 33554432000 4194304 4196468 140735565569728 140222255737712 140223870593666 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34889728 140735565574892 140735565575318 140735565575318 140735565578191 0
[pid=4421/tid=4437] ppid=4418 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4421/task/4437/stat : 4437 (java) S 4418 4418 3266 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419209768 27969658880 26526 33554432000 4194304 4196468 140735565569728 140222254684656 140223870593666 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34889728 140735565574892 140735565575318 140735565575318 140735565578191 0
[pid=4421/tid=4438] ppid=4418 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4421/task/4438/stat : 4438 (java) S 4418 4418 3266 0 -1 1077944384 267 0 0 0 0 0 0 0 20 0 20 0 419209768 27969658880 26526 33554432000 4194304 4196468 140735565569728 140222253632112 140223870593666 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34889728 140735565574892 140735565575318 140735565575318 140735565578191 0
[pid=4421/tid=4439] ppid=4418 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4421/task/4439/stat : 4439 (java) S 4418 4418 3266 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419209768 27969658880 26526 33554432000 4194304 4196468 140735565569728 140220615879136 140223870592725 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34889728 140735565574892 140735565575318 140735565575318 140735565578191 0
[pid=4421/tid=4440] ppid=4418 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/4421/task/4440/stat : 4440 (java) S 4418 4418 3266 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419209769 27969658880 26526 33554432000 4194304 4196468 140735565569728 140222252579504 140223870593666 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34889728 140735565574892 140735565575318 140735565575318 140735565578191 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 105452 KiB

[startup+0.21079 s]*
/proc/loadavg: 7.51 7.87 7.84 2/213 4440
/proc/meminfo: memFree=31226840/32770624 swapFree=66996976/67108860
[pid=4418] ppid=4415 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/4418/stat : 4418 (scop.sh) S 4415 4418 3266 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 419209760 115843072 349 33554432000 4194304 5098028 140730683719712 140730683716968 139883606168188 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 17915904 140730683728677 140730683729004 140730683729004 140730683731917 0
/proc/4418/statm: 28282 349 296 221 0 87 0
[pid=4421] ppid=4418 vsize=27314120 memory=120380 CPUtime=0.24 cores=0-7
/proc/4421/stat : 4421 (java) S 4418 4418 3266 0 -1 1077944320 11626 0 0 0 20 4 0 0 20 0 20 0 419209761 27969658880 30095 33554432000 4194304 4196468 140735565569728 140735565552272 140223870582519 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 34889728 140735565574892 140735565575318 140735565575318 140735565578191 0
/proc/4421/statm: 6828530 30095 2887 1 0 6790935 0
[pid=4421/tid=4422] ppid=4418 vsize=27314120 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/4421/task/4422/stat : 4422 (java) R 4418 4418 3266 0 -1 4202560 9249 0 0 0 16 3 0 0 20 0 20 0 419209761 27969658880 30095 33554432000 4194304 4196468 140735565569728 140223842381904 140223852146033 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34889728 140735565574892 140735565575318 140735565575318 140735565578191 0
[pid=4421/tid=4423] ppid=4418 vsize=27314120 memory=288230609019732336 CPUtime=0 cores=0-7
/proc/4421/task/4423/stat : 4423 (java) S 4418 4418 3266 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419209763 27969658880 30095 33554432000 4194304 4196468 140735565569728 140223874824720 140223870592725 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34889728 140735565574892 140735565575318 140735565575318 140735565578191 0
[pid=4421/tid=4424] ppid=4418 vsize=27314120 memory=288370628767151744 CPUtime=0 cores=0-7
/proc/4421/task/4424/stat : 4424 (java) S 4418 4418 3266 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419209763 27969658880 30095 33554432000 4194304 4196468 140735565569728 140223292279440 140223870592725 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34889728 140735565574892 140735565575318 140735565575318 140735565578191 0
[pid=4421/tid=4425] ppid=4418 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/4421/task/4425/stat : 4425 (java) S 4418 4418 3266 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419209763 27969658880 30095 33554432000 4194304 4196468 140735565569728 140223291226384 140223870592725 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34889728 140735565574892 140735565575318 140735565575318 140735565578191 0
[pid=4421/tid=4426] ppid=4418 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4421/task/4426/stat : 4426 (java) S 4418 4418 3266 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419209763 27969658880 30095 33554432000 4194304 4196468 140735565569728 140223290173840 140223870592725 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34889728 140735565574892 140735565575318 140735565575318 140735565578191 0
[pid=4421/tid=4427] ppid=4418 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4421/task/4427/stat : 4427 (java) S 4418 4418 3266 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419209763 27969658880 30095 33554432000 4194304 4196468 140735565569728 140223289121808 140223870592725 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34889728 140735565574892 140735565575318 140735565575318 140735565578191 0
[pid=4421/tid=4428] ppid=4418 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/4421/task/4428/stat : 4428 (java) S 4418 4418 3266 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419209763 27969658880 30095 33554432000 4194304 4196468 140735565569728 140223288069264 140223870592725 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34889728 140735565574892 140735565575318 140735565575318 140735565578191 0
[pid=4421/tid=4429] ppid=4418 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4421/task/4429/stat : 4429 (java) S 4418 4418 3266 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419209763 27969658880 30095 33554432000 4194304 4196468 140735565569728 140223287016208 140223870592725 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34889728 140735565574892 140735565575318 140735565575318 140735565578191 0
[pid=4421/tid=4430] ppid=4418 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4421/task/4430/stat : 4430 (java) S 4418 4418 3266 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419209763 27969658880 30095 33554432000 4194304 4196468 140735565569728 140223285963664 140223870592725 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34889728 140735565574892 140735565575318 140735565575318 140735565578191 0
[pid=4421/tid=4431] ppid=4418 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4421/task/4431/stat : 4431 (java) S 4418 4418 3266 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419209765 27969658880 30095 33554432000 4194304 4196468 140735565569728 140222257842416 140223870593666 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34889728 140735565574892 140735565575318 140735565575318 140735565578191 0
[pid=4421/tid=4432] ppid=4418 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4421/task/4432/stat : 4432 (java) S 4418 4418 3266 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 419209765 27969658880 30095 33554432000 4194304 4196468 140735565569728 140221622510752 140223870592725 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34889728 140735565574892 140735565575318 140735565575318 140735565578191 0
[pid=4421/tid=4433] ppid=4418 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4421/task/4433/stat : 4433 (java) S 4418 4418 3266 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 419209766 27969658880 30095 33554432000 4194304 4196468 140735565569728 140221488288496 140223870592725 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34889728 140735565574892 140735565575318 140735565575318 140735565578191 0
[pid=4421/tid=4434] ppid=4418 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4421/task/4434/stat : 4434 (java) S 4418 4418 3266 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419209768 27969658880 30095 33554432000 4194304 4196468 140735565569728 140221113784272 140223870601115 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34889728 140735565574892 140735565575318 140735565575318 140735565578191 0
[pid=4421/tid=4435] ppid=4418 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4421/task/4435/stat : 4435 (java) S 4418 4418 3266 0 -1 1077944384 321 0 0 0 0 0 0 0 20 0 20 0 419209768 27969658880 30095 33554432000 4194304 4196468 140735565569728 140222256790256 140223870593666 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34889728 140735565574892 140735565575318 140735565575318 140735565578191 0
[pid=4421/tid=4436] ppid=4418 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4421/task/4436/stat : 4436 (java) S 4418 4418 3266 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 20 0 419209768 27969658880 30095 33554432000 4194304 4196468 140735565569728 140222255737712 140223870593666 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34889728 140735565574892 140735565575318 140735565575318 140735565578191 0
[pid=4421/tid=4437] ppid=4418 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/4421/task/4437/stat : 4437 (java) S 4418 4418 3266 0 -1 1077944384 126 0 0 0 0 0 0 0 20 0 20 0 419209768 27969658880 30095 33554432000 4194304 4196468 140735565569728 140222254684656 140223870593666 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34889728 140735565574892 140735565575318 140735565575318 140735565578191 0
[pid=4421/tid=4438] ppid=4418 vsize=27314120 memory=0 CPUtime=0.02 cores=0-7
/proc/4421/task/4438/stat : 4438 (java) S 4418 4418 3266 0 -1 1077944384 527 0 0 0 2 0 0 0 20 0 20 0 419209768 27969658880 30095 33554432000 4194304 4196468 140735565569728 140222253632112 140223870593666 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34889728 140735565574892 140735565575318 140735565575318 140735565578191 0
[pid=4421/tid=4439] ppid=4418 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4421/task/4439/stat : 4439 (java) S 4418 4418 3266 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419209768 27969658880 30095 33554432000 4194304 4196468 140735565569728 140220615879136 140223870592725 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34889728 140735565574892 140735565575318 140735565575318 140735565578191 0
[pid=4421/tid=4440] ppid=4418 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/4421/task/4440/stat : 4440 (java) S 4418 4418 3266 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419209769 27969658880 30095 33554432000 4194304 4196468 140735565569728 140222252579504 140223870593666 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34889728 140735565574892 140735565575318 140735565575318 140735565578191 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 121776 KiB

[startup+0.310572 s]*
/proc/loadavg: 7.51 7.87 7.84 2/213 4440
/proc/meminfo: memFree=31223408/32770624 swapFree=66996976/67108860
[pid=4418] ppid=4415 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/4418/stat : 4418 (scop.sh) S 4415 4418 3266 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 419209760 115843072 349 33554432000 4194304 5098028 140730683719712 140730683716968 139883606168188 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 17915904 140730683728677 140730683729004 140730683729004 140730683731917 0
/proc/4418/statm: 28282 349 296 221 0 87 0
[pid=4421] ppid=4418 vsize=27314120 memory=124892 CPUtime=0.42 cores=0-7
/proc/4421/stat : 4421 (java) S 4418 4418 3266 0 -1 1077944320 12646 0 0 0 37 5 0 0 20 0 20 0 419209761 27969658880 31223 33554432000 4194304 4196468 140735565569728 140735565552272 140223870582519 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 34889728 140735565574892 140735565575318 140735565575318 140735565578191 0
/proc/4421/statm: 6828530 31223 3015 1 0 6790935 0
[pid=4421/tid=4422] ppid=4418 vsize=27314120 memory=8317482817917895235 CPUtime=0.29 cores=0-7
/proc/4421/task/4422/stat : 4422 (java) R 4418 4418 3266 0 -1 4202560 10022 0 0 0 26 3 0 0 20 0 20 0 419209761 27969658880 31223 33554432000 4194304 4196468 140735565569728 140223842412592 140223855748174 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34889728 140735565574892 140735565575318 140735565575318 140735565578191 0
[pid=4421/tid=4423] ppid=4418 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4421/task/4423/stat : 4423 (java) S 4418 4418 3266 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419209763 27969658880 31223 33554432000 4194304 4196468 140735565569728 140223874824720 140223870592725 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34889728 140735565574892 140735565575318 140735565575318 140735565578191 0
[pid=4421/tid=4424] ppid=4418 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4421/task/4424/stat : 4424 (java) S 4418 4418 3266 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419209763 27969658880 31223 33554432000 4194304 4196468 140735565569728 140223292279440 140223870592725 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34889728 140735565574892 140735565575318 140735565575318 140735565578191 0
[pid=4421/tid=4425] ppid=4418 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4421/task/4425/stat : 4425 (java) S 4418 4418 3266 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419209763 27969658880 31223 33554432000 4194304 4196468 140735565569728 140223291226384 140223870592725 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34889728 140735565574892 140735565575318 140735565575318 140735565578191 0
[pid=4421/tid=4426] ppid=4418 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4421/task/4426/stat : 4426 (java) S 4418 4418 3266 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419209763 27969658880 31223 33554432000 4194304 4196468 140735565569728 140223290173840 140223870592725 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34889728 140735565574892 140735565575318 140735565575318 140735565578191 0
[pid=4421/tid=4427] ppid=4418 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4421/task/4427/stat : 4427 (java) S 4418 4418 3266 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419209763 27969658880 31223 33554432000 4194304 4196468 140735565569728 140223289121808 140223870592725 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34889728 140735565574892 140735565575318 140735565575318 140735565578191 0
[pid=4421/tid=4428] ppid=4418 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4421/task/4428/stat : 4428 (java) S 4418 4418 3266 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419209763 27969658880 31223 33554432000 4194304 4196468 140735565569728 140223288069264 140223870592725 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34889728 140735565574892 140735565575318 140735565575318 140735565578191 0
[pid=4421/tid=4429] ppid=4418 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4421/task/4429/stat : 4429 (java) S 4418 4418 3266 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419209763 27969658880 31223 33554432000 4194304 4196468 140735565569728 140223287016208 140223870592725 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34889728 140735565574892 140735565575318 140735565575318 140735565578191 0
[pid=4421/tid=4430] ppid=4418 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4421/task/4430/stat : 4430 (java) S 4418 4418 3266 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419209763 27969658880 31223 33554432000 4194304 4196468 140735565569728 140223285963664 140223870592725 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34889728 140735565574892 140735565575318 140735565575318 140735565578191 0
[pid=4421/tid=4431] ppid=4418 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4421/task/4431/stat : 4431 (java) S 4418 4418 3266 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419209765 27969658880 31223 33554432000 4194304 4196468 140735565569728 140222257842416 140223870593666 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34889728 140735565574892 140735565575318 140735565575318 140735565578191 0
[pid=4421/tid=4432] ppid=4418 vsize=27314120 memory=280504985394560 CPUtime=0 cores=0-7
/proc/4421/task/4432/stat : 4432 (java) S 4418 4418 3266 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 419209765 27969658880 31223 33554432000 4194304 4196468 140735565569728 140221622510752 140223870592725 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34889728 140735565574892 140735565575318 140735565575318 140735565578191 0
[pid=4421/tid=4433] ppid=4418 vsize=27314120 memory=280504985399168 CPUtime=0 cores=0-7
/proc/4421/task/4433/stat : 4433 (java) S 4418 4418 3266 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 419209766 27969658880 31223 33554432000 4194304 4196468 140735565569728 140221488288496 140223870592725 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34889728 140735565574892 140735565575318 140735565575318 140735565578191 0
[pid=4421/tid=4434] ppid=4418 vsize=27314120 memory=280504985403776 CPUtime=0 cores=0-7
/proc/4421/task/4434/stat : 4434 (java) S 4418 4418 3266 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419209768 27969658880 31223 33554432000 4194304 4196468 140735565569728 140221113784272 140223870601115 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34889728 140735565574892 140735565575318 140735565575318 140735565578191 0
[pid=4421/tid=4435] ppid=4418 vsize=27314120 memory=280504985408384 CPUtime=0.01 cores=0-7
/proc/4421/task/4435/stat : 4435 (java) S 4418 4418 3266 0 -1 1077944384 349 0 0 0 1 0 0 0 20 0 20 0 419209768 27969658880 31223 33554432000 4194304 4196468 140735565569728 140222256790256 140223870593666 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34889728 140735565574892 140735565575318 140735565575318 140735565578191 0
[pid=4421/tid=4436] ppid=4418 vsize=27314120 memory=280504985412992 CPUtime=0 cores=0-7
/proc/4421/task/4436/stat : 4436 (java) S 4418 4418 3266 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 20 0 419209768 27969658880 31223 33554432000 4194304 4196468 140735565569728 140222255737712 140223870593666 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34889728 140735565574892 140735565575318 140735565575318 140735565578191 0
[pid=4421/tid=4437] ppid=4418 vsize=27314120 memory=280504985417600 CPUtime=0.02 cores=0-7
/proc/4421/task/4437/stat : 4437 (java) R 4418 4418 3266 0 -1 4202560 241 0 0 0 2 0 0 0 20 0 20 0 419209768 27969658880 31223 33554432000 4194304 4196468 140735565569728 140222254684656 140223854074177 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34889728 140735565574892 140735565575318 140735565575318 140735565578191 0
[pid=4421/tid=4438] ppid=4418 vsize=27314120 memory=280504985422208 CPUtime=0.07 cores=0-7
/proc/4421/task/4438/stat : 4438 (java) S 4418 4418 3266 0 -1 1077944384 627 0 0 0 7 0 0 0 20 0 20 0 419209768 27969658880 31223 33554432000 4194304 4196468 140735565569728 140222253632112 140223870593666 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34889728 140735565574892 140735565575318 140735565575318 140735565578191 0
[pid=4421/tid=4439] ppid=4418 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4421/task/4439/stat : 4439 (java) S 4418 4418 3266 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419209768 27969658880 31223 33554432000 4194304 4196468 140735565569728 140220615879136 140223870592725 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34889728 140735565574892 140735565575318 140735565575318 140735565578191 0
[pid=4421/tid=4440] ppid=4418 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/4421/task/4440/stat : 4440 (java) S 4418 4418 3266 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419209769 27969658880 31223 33554432000 4194304 4196468 140735565569728 140222252579504 140223870593666 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34889728 140735565574892 140735565575318 140735565575318 140735565578191 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 126288 KiB

[startup+0.70099 s]
/proc/loadavg: 7.51 7.87 7.84 2/213 4440
/proc/meminfo: memFree=31199596/32770624 swapFree=66996976/67108860
[pid=4418] ppid=4415 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/4418/stat : 4418 (scop.sh) S 4415 4418 3266 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 419209760 115843072 349 33554432000 4194304 5098028 140730683719712 140730683716968 139883606168188 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 17915904 140730683728677 140730683729004 140730683729004 140730683731917 0
/proc/4418/statm: 28282 349 296 221 0 87 0
[pid=4421] ppid=4418 vsize=27322516 memory=162552 CPUtime=0.99 cores=0-7
/proc/4421/stat : 4421 (java) S 4418 4418 3266 0 -1 1077944320 20376 0 0 0 91 8 0 0 20 0 20 0 419209761 27978256384 40638 33554432000 4194304 4196468 140735565569728 140735565552272 140223870582519 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 34889728 140735565574892 140735565575318 140735565575318 140735565578191 0
/proc/4421/statm: 6830629 40638 3179 1 0 6791959 0
[pid=4421/tid=4422] ppid=4418 vsize=27322516 memory=4580 CPUtime=0.67 cores=0-7
/proc/4421/task/4422/stat : 4422 (java) R 4418 4418 3266 0 -1 4202560 17117 0 0 0 61 6 0 0 20 0 20 0 419209761 27978256384 40638 33554432000 4194304 4196468 140735565569728 140223842414256 140223854663006 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34889728 140735565574892 140735565575318 140735565575318 140735565578191 0
[pid=4421/tid=4423] ppid=4418 vsize=27322516 memory=0 CPUtime=0 cores=0-7
/proc/4421/task/4423/stat : 4423 (java) S 4418 4418 3266 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419209763 27978256384 40638 33554432000 4194304 4196468 140735565569728 140223874824720 140223870592725 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34889728 140735565574892 140735565575318 140735565575318 140735565578191 0
[pid=4421/tid=4424] ppid=4418 vsize=27322516 memory=0 CPUtime=0 cores=0-7
/proc/4421/task/4424/stat : 4424 (java) S 4418 4418 3266 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419209763 27978256384 40638 33554432000 4194304 4196468 140735565569728 140223292279440 140223870592725 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34889728 140735565574892 140735565575318 140735565575318 140735565578191 0
[pid=4421/tid=4425] ppid=4418 vsize=27322516 memory=2828 CPUtime=0 cores=0-7
/proc/4421/task/4425/stat : 4425 (java) S 4418 4418 3266 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419209763 27978256384 40638 33554432000 4194304 4196468 140735565569728 140223291226384 140223870592725 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34889728 140735565574892 140735565575318 140735565575318 140735565578191 0

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

/proc/4441/task/4446/stat : 4446 (java) S 4418 4418 3266 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419210007 8616062976 29448 33554432000 4194304 4196468 140721726633648 140024652540816 140025169430229 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38588416 140721726641144 140721726641302 140721726641302 140721726644175 0
[pid=4441/tid=4447] ppid=4418 vsize=8414124 memory=-4075877051373423743 CPUtime=0 cores=0-7
/proc/4441/task/4447/stat : 4447 (java) S 4418 4418 3266 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419210007 8616062976 29448 33554432000 4194304 4196468 140721726633648 140024651487760 140025169430229 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38588416 140721726641144 140721726641302 140721726641302 140721726644175 0
[pid=4441/tid=4448] ppid=4418 vsize=8414124 memory=6944656592455360604 CPUtime=0 cores=0-7
/proc/4441/task/4448/stat : 4448 (java) S 4418 4418 3266 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419210007 8616062976 29448 33554432000 4194304 4196468 140721726633648 140024650435216 140025169430229 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38588416 140721726641144 140721726641302 140721726641302 140721726644175 0
[pid=4441/tid=4449] ppid=4418 vsize=8414124 memory=5792262870373781584 CPUtime=0 cores=0-7
/proc/4441/task/4449/stat : 4449 (java) S 4418 4418 3266 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419210007 8616062976 29448 33554432000 4194304 4196468 140721726633648 140024649382160 140025169430229 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38588416 140721726641144 140721726641302 140721726641302 140721726644175 0
[pid=4441/tid=4450] ppid=4418 vsize=8414124 memory=7019467087990305844 CPUtime=0 cores=0-7
/proc/4441/task/4450/stat : 4450 (java) S 4418 4418 3266 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419210007 8616062976 29448 33554432000 4194304 4196468 140721726633648 140024648329616 140025169430229 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38588416 140721726641144 140721726641302 140721726641302 140721726644175 0
[pid=4441/tid=4451] ppid=4418 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/4441/task/4451/stat : 4451 (java) S 4418 4418 3266 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 419210009 8616062976 29448 33554432000 4194304 4196468 140721726633648 140024598440688 140025169431170 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 19 0 0 6293624 6294260 38588416 140721726641144 140721726641302 140721726641302 140721726644175 0
[pid=4441/tid=4452] ppid=4418 vsize=8414124 memory=140252493870497 CPUtime=0 cores=0-7
/proc/4441/task/4452/stat : 4452 (java) S 4418 4418 3266 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 419210009 8616062976 29448 33554432000 4194304 4196468 140721726633648 140023584253600 140025169430229 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38588416 140721726641144 140721726641302 140721726641302 140721726644175 0
[pid=4441/tid=4453] ppid=4418 vsize=8414124 memory=34084 CPUtime=0 cores=0-7
/proc/4441/task/4453/stat : 4453 (java) S 4418 4418 3266 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 419210009 8616062976 29448 33554432000 4194304 4196468 140721726633648 140023450031344 140025169430229 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38588416 140721726641144 140721726641302 140721726641302 140721726644175 0
[pid=4441/tid=4454] ppid=4418 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/4441/task/4454/stat : 4454 (java) S 4418 4418 3266 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419210012 8616062976 29448 33554432000 4194304 4196468 140721726633648 140023075527120 140025169438619 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38588416 140721726641144 140721726641302 140721726641302 140721726644175 0
[pid=4441/tid=4455] ppid=4418 vsize=8414124 memory=6944652177228980320 CPUtime=0.06 cores=0-7
/proc/4441/task/4455/stat : 4455 (java) S 4418 4418 3266 0 -1 1077944384 669 0 0 0 6 0 0 0 20 0 24 0 419210012 8616062976 29448 33554432000 4194304 4196468 140721726633648 140024597387504 140025169431170 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38588416 140721726641144 140721726641302 140721726641302 140721726644175 0
[pid=4441/tid=4456] ppid=4418 vsize=8414124 memory=0 CPUtime=0.07 cores=0-7
/proc/4441/task/4456/stat : 4456 (java) S 4418 4418 3266 0 -1 1077944384 330 0 0 0 7 0 0 0 20 0 24 0 419210012 8616062976 29448 33554432000 4194304 4196468 140721726633648 140024596334960 140025169431170 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38588416 140721726641144 140721726641302 140721726641302 140721726644175 0
[pid=4441/tid=4457] ppid=4418 vsize=8414124 memory=280504985190640 CPUtime=0.03 cores=0-7
/proc/4441/task/4457/stat : 4457 (java) S 4418 4418 3266 0 -1 1077944384 170 0 0 0 3 0 0 0 20 0 24 0 419210012 8616062976 29448 33554432000 4194304 4196468 140721726633648 140024595281904 140025169431170 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38588416 140721726641144 140721726641302 140721726641302 140721726644175 0
[pid=4441/tid=4458] ppid=4418 vsize=8414124 memory=1560 CPUtime=0.19 cores=0-7
/proc/4441/task/4458/stat : 4458 (java) S 4418 4418 3266 0 -1 1077944384 539 0 0 0 19 0 0 0 20 0 24 0 419210012 8616062976 29448 33554432000 4194304 4196468 140721726633648 140024594229360 140025169431170 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38588416 140721726641144 140721726641302 140721726641302 140721726644175 0
[pid=4441/tid=4459] ppid=4418 vsize=8414124 memory=932 CPUtime=0 cores=0-7
/proc/4441/task/4459/stat : 4459 (java) S 4418 4418 3266 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419210012 8616062976 29448 33554432000 4194304 4196468 140721726633648 140022577621984 140025169430229 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38588416 140721726641144 140721726641302 140721726641302 140721726644175 0
[pid=4441/tid=4460] ppid=4418 vsize=8414124 memory=3624 CPUtime=0.01 cores=0-7
/proc/4441/task/4460/stat : 4460 (java) S 4418 4418 3266 0 -1 1077944384 3 0 0 0 1 0 0 0 20 0 24 0 419210012 8616062976 29448 33554432000 4194304 4196468 140721726633648 140024593177776 140025169431170 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 21 0 0 6293624 6294260 38588416 140721726641144 140721726641302 140721726641302 140721726644175 0
[pid=4441/tid=4462] ppid=4418 vsize=8414124 memory=1980 CPUtime=0 cores=0-7
/proc/4441/task/4462/stat : 4462 (java) S 4418 4418 3266 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 419210077 8616062976 29448 33554432000 4194304 4196468 140721726633648 140024591566272 140025169444633 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 38588416 140721726641144 140721726641302 140721726641302 140721726644175 0
[pid=4441/tid=4464] ppid=4418 vsize=8414124 memory=2512 CPUtime=0 cores=0-7
/proc/4441/task/4464/stat : 4464 (java) S 4418 4418 3266 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 24 0 419210078 8616062976 29448 33554432000 4194304 4196468 140721726633648 140021906521616 140025169441949 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 38588416 140721726641144 140721726641302 140721726641302 140721726644175 0
[pid=4441/tid=4465] ppid=4418 vsize=8414124 memory=1436 CPUtime=0 cores=0-7
/proc/4441/task/4465/stat : 4465 (java) S 4418 4418 3266 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 24 0 419210078 8616062976 29448 33554432000 4194304 4196468 140721726633648 140022174957200 140025169441949 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 38588416 140721726641144 140721726641302 140721726641302 140721726644175 0
[pid=4441/tid=4466] ppid=4418 vsize=8414124 memory=812 CPUtime=0 cores=0-7
/proc/4441/task/4466/stat : 4466 (java) S 4418 4418 3266 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 419210080 8616062976 29448 33554432000 4194304 4196468 140721726633648 140021638093744 140025169430229 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38588416 140721726641144 140721726641302 140721726641302 140721726644175 0
Current children cumulated CPU time: 241.03 s
Current children cumulated vsize: 9246892 KiB
Current children cumulated memory: 543312 KiB

[startup+33.6011 s]
/proc/loadavg: 7.48 7.81 7.82 6/224 4477
/proc/meminfo: memFree=30807052/32770624 swapFree=66996976/67108860
[pid=4418] ppid=4415 vsize=113128 memory=1476 CPUtime=5.56 cores=0-7
/proc/4418/stat : 4418 (scop.sh) S 4415 4418 3266 0 -1 4202496 582 27268 0 0 0 0 531 25 20 0 1 0 419209760 115843072 369 33554432000 4194304 5098028 140730683719712 140730683716456 139883606168188 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 17915904 140730683728677 140730683729004 140730683729004 140730683731917 0
/proc/4418/statm: 28282 369 311 221 0 87 0
[pid=4441] ppid=4418 vsize=8414124 memory=117792 CPUtime=1.16 cores=0-7
/proc/4441/stat : 4441 (java) S 4418 4418 3266 0 -1 1077944320 19987 0 0 0 110 6 0 0 20 0 24 0 419210006 8616062976 29448 33554432000 4194304 4196468 140721726633648 140721726616192 140025169420023 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 38588416 140721726641144 140721726641302 140721726641302 140721726644175 0
/proc/4441/statm: 2103531 29448 3200 1 0 2064875 0
[pid=4461] ppid=4441 vsize=719640 memory=424140 CPUtime=237.43 cores=0-7
/proc/4461/stat : 4461 (manyglucose-4.1) S 4441 4418 3266 0 -1 1077944320 167708 0 0 0 23693 50 0 0 20 0 2 0 419210077 736911360 106035 33554432000 4194304 4454172 140729656872800 140729656871184 140532742102775 0 4 0 8388610 18446744073709551615 0 0 17 2 0 0 0 0 0 6552832 6554400 11763712 140729656873834 140729656874032 140729656874032 140729656876986 0
/proc/4461/statm: 179910 106035 423 64 0 175578 0
[pid=4461/tid=4467] ppid=4441 vsize=719640 memory=159326106816834 CPUtime=30.17 cores=0-7
/proc/4461/task/4467/stat : 4467 (manyglucose-4.1) R 4441 4418 3266 0 -1 4202560 18725 0 0 0 3010 7 0 0 20 0 2 0 419210102 736911360 106035 33554432000 4194304 4454172 140729656872800 140532721085688 4351800 0 4 0 8388610 0 0 0 -1 4 0 0 0 0 0 6552832 6554400 11763712 140729656873834 140729656874032 140729656874032 140729656876986 0
[pid=4441/tid=4442] ppid=4418 vsize=8414124 memory=159326106821301 CPUtime=0.74 cores=0-7
/proc/4441/task/4442/stat : 4442 (java) S 4418 4418 3266 0 -1 1077944384 16855 0 0 0 70 4 0 0 20 0 24 0 419210006 8616062976 29448 33554432000 4194304 4196468 140721726633648 140025141260192 140025169430229 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38588416 140721726641144 140721726641302 140721726641302 140721726644175 0
[pid=4441/tid=4443] ppid=4418 vsize=8414124 memory=19073949770422 CPUtime=0 cores=0-7
/proc/4441/task/4443/stat : 4443 (java) S 4418 4418 3266 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419210007 8616062976 29448 33554432000 4194304 4196468 140721726633648 140025173662736 140025169430229 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38588416 140721726641144 140721726641302 140721726641302 140721726644175 0
[pid=4441/tid=4444] ppid=4418 vsize=8414124 memory=3504 CPUtime=0 cores=0-7
/proc/4441/task/4444/stat : 4444 (java) S 4418 4418 3266 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419210007 8616062976 29448 33554432000 4194304 4196468 140721726633648 140024654646416 140025169430229 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38588416 140721726641144 140721726641302 140721726641302 140721726644175 0
[pid=4441/tid=4445] ppid=4418 vsize=8414124 memory=40876 CPUtime=0 cores=0-7
/proc/4441/task/4445/stat : 4445 (java) S 4418 4418 3266 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419210007 8616062976 29448 33554432000 4194304 4196468 140721726633648 140024653593360 140025169430229 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38588416 140721726641144 140721726641302 140721726641302 140721726644175 0
[pid=4441/tid=4446] ppid=4418 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/4441/task/4446/stat : 4446 (java) S 4418 4418 3266 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419210007 8616062976 29448 33554432000 4194304 4196468 140721726633648 140024652540816 140025169430229 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38588416 140721726641144 140721726641302 140721726641302 140721726644175 0
[pid=4441/tid=4447] ppid=4418 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/4441/task/4447/stat : 4447 (java) S 4418 4418 3266 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419210007 8616062976 29448 33554432000 4194304 4196468 140721726633648 140024651487760 140025169430229 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38588416 140721726641144 140721726641302 140721726641302 140721726644175 0
[pid=4441/tid=4448] ppid=4418 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/4441/task/4448/stat : 4448 (java) S 4418 4418 3266 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419210007 8616062976 29448 33554432000 4194304 4196468 140721726633648 140024650435216 140025169430229 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38588416 140721726641144 140721726641302 140721726641302 140721726644175 0
[pid=4441/tid=4449] ppid=4418 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/4441/task/4449/stat : 4449 (java) S 4418 4418 3266 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419210007 8616062976 29448 33554432000 4194304 4196468 140721726633648 140024649382160 140025169430229 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38588416 140721726641144 140721726641302 140721726641302 140721726644175 0
[pid=4441/tid=4450] ppid=4418 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/4441/task/4450/stat : 4450 (java) S 4418 4418 3266 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419210007 8616062976 29448 33554432000 4194304 4196468 140721726633648 140024648329616 140025169430229 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38588416 140721726641144 140721726641302 140721726641302 140721726644175 0
[pid=4441/tid=4451] ppid=4418 vsize=8414124 memory=3504 CPUtime=0 cores=0-7
/proc/4441/task/4451/stat : 4451 (java) S 4418 4418 3266 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 419210009 8616062976 29448 33554432000 4194304 4196468 140721726633648 140024598440688 140025169431170 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 19 0 0 6293624 6294260 38588416 140721726641144 140721726641302 140721726641302 140721726644175 0
[pid=4441/tid=4452] ppid=4418 vsize=8414124 memory=40876 CPUtime=0 cores=0-7
/proc/4441/task/4452/stat : 4452 (java) S 4418 4418 3266 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 419210009 8616062976 29448 33554432000 4194304 4196468 140721726633648 140023584253600 140025169430229 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38588416 140721726641144 140721726641302 140721726641302 140721726644175 0
[pid=4441/tid=4453] ppid=4418 vsize=8414124 memory=3028 CPUtime=0 cores=0-7
/proc/4441/task/4453/stat : 4453 (java) S 4418 4418 3266 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 419210009 8616062976 29448 33554432000 4194304 4196468 140721726633648 140023450031344 140025169430229 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38588416 140721726641144 140721726641302 140721726641302 140721726644175 0
[pid=4441/tid=4454] ppid=4418 vsize=8414124 memory=2012 CPUtime=0 cores=0-7
/proc/4441/task/4454/stat : 4454 (java) S 4418 4418 3266 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419210012 8616062976 29448 33554432000 4194304 4196468 140721726633648 140023075527120 140025169438619 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38588416 140721726641144 140721726641302 140721726641302 140721726644175 0
[pid=4441/tid=4455] ppid=4418 vsize=8414124 memory=1476 CPUtime=0.06 cores=0-7
/proc/4441/task/4455/stat : 4455 (java) S 4418 4418 3266 0 -1 1077944384 669 0 0 0 6 0 0 0 20 0 24 0 419210012 8616062976 29448 33554432000 4194304 4196468 140721726633648 140024597387504 140025169431170 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38588416 140721726641144 140721726641302 140721726641302 140721726644175 0
[pid=4441/tid=4456] ppid=4418 vsize=8414124 memory=117764 CPUtime=0.07 cores=0-7
/proc/4441/task/4456/stat : 4456 (java) S 4418 4418 3266 0 -1 1077944384 330 0 0 0 7 0 0 0 20 0 24 0 419210012 8616062976 29448 33554432000 4194304 4196468 140721726633648 140024596334960 140025169431170 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38588416 140721726641144 140721726641302 140721726641302 140721726644175 0
[pid=4441/tid=4457] ppid=4418 vsize=8414124 memory=422888 CPUtime=0.03 cores=0-7
/proc/4441/task/4457/stat : 4457 (java) S 4418 4418 3266 0 -1 1077944384 170 0 0 0 3 0 0 0 20 0 24 0 419210012 8616062976 29448 33554432000 4194304 4196468 140721726633648 140024595281904 140025169431170 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38588416 140721726641144 140721726641302 140721726641302 140721726644175 0
[pid=4441/tid=4458] ppid=4418 vsize=8414124 memory=2828 CPUtime=0.19 cores=0-7
/proc/4441/task/4458/stat : 4458 (java) S 4418 4418 3266 0 -1 1077944384 539 0 0 0 19 0 0 0 20 0 24 0 419210012 8616062976 29448 33554432000 4194304 4196468 140721726633648 140024594229360 140025169431170 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38588416 140721726641144 140721726641302 140721726641302 140721726644175 0
[pid=4441/tid=4459] ppid=4418 vsize=8414124 memory=140256910407295 CPUtime=0 cores=0-7
/proc/4441/task/4459/stat : 4459 (java) S 4418 4418 3266 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419210012 8616062976 29448 33554432000 4194304 4196468 140721726633648 140022577621984 140025169430229 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38588416 140721726641144 140721726641302 140721726641302 140721726644175 0
[pid=4441/tid=4460] ppid=4418 vsize=8414124 memory=6082769231652613201 CPUtime=0.01 cores=0-7
/proc/4441/task/4460/stat : 4460 (java) S 4418 4418 3266 0 -1 1077944384 3 0 0 0 1 0 0 0 20 0 24 0 419210012 8616062976 29448 33554432000 4194304 4196468 140721726633648 140024593177776 140025169431170 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 21 0 0 6293624 6294260 38588416 140721726641144 140721726641302 140721726641302 140721726644175 0
[pid=4441/tid=4462] ppid=4418 vsize=8414124 memory=6082769231652613201 CPUtime=0 cores=0-7
/proc/4441/task/4462/stat : 4462 (java) S 4418 4418 3266 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 419210077 8616062976 29448 33554432000 4194304 4196468 140721726633648 140024591566272 140025169444633 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 38588416 140721726641144 140721726641302 140721726641302 140721726644175 0
[pid=4441/tid=4464] ppid=4418 vsize=8414124 memory=6082769231652613201 CPUtime=0 cores=0-7
/proc/4441/task/4464/stat : 4464 (java) S 4418 4418 3266 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 24 0 419210078 8616062976 29448 33554432000 4194304 4196468 140721726633648 140021906521616 140025169441949 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 38588416 140721726641144 140721726641302 140721726641302 140721726644175 0
[pid=4441/tid=4465] ppid=4418 vsize=8414124 memory=6082769231652613201 CPUtime=0 cores=0-7
/proc/4441/task/4465/stat : 4465 (java) S 4418 4418 3266 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 24 0 419210078 8616062976 29448 33554432000 4194304 4196468 140721726633648 140022174957200 140025169441949 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 38588416 140721726641144 140721726641302 140721726641302 140721726644175 0
[pid=4441/tid=4466] ppid=4418 vsize=8414124 memory=7014751519684121188 CPUtime=0 cores=0-7
/proc/4441/task/4466/stat : 4466 (java) S 4418 4418 3266 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 419210080 8616062976 29448 33554432000 4194304 4196468 140721726633648 140021638093744 140025169430229 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38588416 140721726641144 140721726641302 140721726641302 140721726644175 0
Current children cumulated CPU time: 244.15 s
Current children cumulated vsize: 9246892 KiB
Current children cumulated memory: 543408 KiB

[startup+33.8011 s]
/proc/loadavg: 7.48 7.81 7.82 6/224 4477
/proc/meminfo: memFree=30807052/32770624 swapFree=66996976/67108860
[pid=4418] ppid=4415 vsize=113128 memory=1476 CPUtime=5.56 cores=0-7
/proc/4418/stat : 4418 (scop.sh) S 4415 4418 3266 0 -1 4202496 582 27268 0 0 0 0 531 25 20 0 1 0 419209760 115843072 369 33554432000 4194304 5098028 140730683719712 140730683716456 139883606168188 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 17915904 140730683728677 140730683729004 140730683729004 140730683731917 0
/proc/4418/statm: 28282 369 311 221 0 87 0
[pid=4441] ppid=4418 vsize=8283048 memory=123924 CPUtime=238.96 cores=0-7
/proc/4441/stat : 4441 (java) S 4418 4418 3266 0 -1 1077944320 21495 167722 0 0 134 8 23703 51 20 0 22 0 419210006 8481841152 30981 33554432000 4194304 4196468 140721726633648 140721726616192 140025169420023 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 38588416 140721726641144 140721726641302 140721726641302 140721726644175 0
/proc/4441/statm: 2070762 30981 3224 1 0 2032106 0
[pid=4441/tid=4442] ppid=4418 vsize=8283048 memory=3504 CPUtime=238.34 cores=0-7
/proc/4441/task/4442/stat : 4442 (java) R 4418 4418 3266 0 -1 4202560 17037 167722 0 0 76 4 23703 51 20 0 22 0 419210006 8481841152 30981 33554432000 4194304 4196468 140721726633648 140025141258912 140025153463653 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38588416 140721726641144 140721726641302 140721726641302 140721726644175 0
[pid=4441/tid=4443] ppid=4418 vsize=8283048 memory=55 CPUtime=237.54 cores=0-7
/proc/4441/task/4443/stat : 4443 (java) S 4418 4418 3266 0 -1 1077944384 1 167722 0 0 0 0 23703 51 20 0 22 0 419210007 8481841152 30981 33554432000 4194304 4196468 140721726633648 140025173662736 140025169430229 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38588416 140721726641144 140721726641302 140721726641302 140721726644175 0
[pid=4441/tid=4444] ppid=4418 vsize=8283048 memory=0 CPUtime=237.54 cores=0-7
/proc/4441/task/4444/stat : 4444 (java) S 4418 4418 3266 0 -1 1077944384 2 167722 0 0 0 0 23703 51 20 0 22 0 419210007 8481841152 30981 33554432000 4194304 4196468 140721726633648 140024654646416 140025169430229 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38588416 140721726641144 140721726641302 140721726641302 140721726644175 0
[pid=4441/tid=4445] ppid=4418 vsize=8283048 memory=0 CPUtime=237.54 cores=0-7
/proc/4441/task/4445/stat : 4445 (java) S 4418 4418 3266 0 -1 1077944384 2 167722 0 0 0 0 23703 51 20 0 22 0 419210007 8481841152 30981 33554432000 4194304 4196468 140721726633648 140024653593360 140025169430229 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38588416 140721726641144 140721726641302 140721726641302 140721726644175 0
[pid=4441/tid=4446] ppid=4418 vsize=8283048 memory=0 CPUtime=237.54 cores=0-7
/proc/4441/task/4446/stat : 4446 (java) S 4418 4418 3266 0 -1 1077944384 2 167722 0 0 0 0 23703 51 20 0 22 0 419210007 8481841152 30981 33554432000 4194304 4196468 140721726633648 140024652540816 140025169430229 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38588416 140721726641144 140721726641302 140721726641302 140721726644175 0
[pid=4441/tid=4447] ppid=4418 vsize=8283048 memory=0 CPUtime=237.54 cores=0-7
/proc/4441/task/4447/stat : 4447 (java) S 4418 4418 3266 0 -1 1077944384 1 167722 0 0 0 0 23703 51 20 0 22 0 419210007 8481841152 30981 33554432000 4194304 4196468 140721726633648 140024651487760 140025169430229 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38588416 140721726641144 140721726641302 140721726641302 140721726644175 0
[pid=4441/tid=4448] ppid=4418 vsize=8283048 memory=0 CPUtime=237.54 cores=0-7
/proc/4441/task/4448/stat : 4448 (java) S 4418 4418 3266 0 -1 1077944384 2 167722 0 0 0 0 23703 51 20 0 22 0 419210007 8481841152 30981 33554432000 4194304 4196468 140721726633648 140024650435216 140025169430229 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38588416 140721726641144 140721726641302 140721726641302 140721726644175 0
[pid=4441/tid=4449] ppid=4418 vsize=8283048 memory=0 CPUtime=237.54 cores=0-7
/proc/4441/task/4449/stat : 4449 (java) S 4418 4418 3266 0 -1 1077944384 2 167722 0 0 0 0 23703 51 20 0 22 0 419210007 8481841152 30981 33554432000 4194304 4196468 140721726633648 140024649382160 140025169430229 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38588416 140721726641144 140721726641302 140721726641302 140721726644175 0
[pid=4441/tid=4450] ppid=4418 vsize=8283048 memory=0 CPUtime=237.54 cores=0-7
/proc/4441/task/4450/stat : 4450 (java) S 4418 4418 3266 0 -1 1077944384 3 167722 0 0 0 0 23703 51 20 0 22 0 419210007 8481841152 30981 33554432000 4194304 4196468 140721726633648 140024648329616 140025169430229 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38588416 140721726641144 140721726641302 140721726641302 140721726644175 0
[pid=4441/tid=4451] ppid=4418 vsize=8283048 memory=0 CPUtime=237.54 cores=0-7
/proc/4441/task/4451/stat : 4451 (java) S 4418 4418 3266 0 -1 1077944384 7 167722 0 0 0 0 23703 51 20 0 22 0 419210009 8481841152 30981 33554432000 4194304 4196468 140721726633648 140024598440688 140025169431170 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 19 0 0 6293624 6294260 38588416 140721726641144 140721726641302 140721726641302 140721726644175 0
[pid=4441/tid=4452] ppid=4418 vsize=8283048 memory=0 CPUtime=237.54 cores=0-7
/proc/4441/task/4452/stat : 4452 (java) S 4418 4418 3266 0 -1 1077944384 13 167722 0 0 0 0 23703 51 20 0 22 0 419210009 8481841152 30981 33554432000 4194304 4196468 140721726633648 140023584253600 140025169430229 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38588416 140721726641144 140721726641302 140721726641302 140721726644175 0
[pid=4441/tid=4453] ppid=4418 vsize=8283048 memory=-4075877051373423743 CPUtime=237.54 cores=0-7
/proc/4441/task/4453/stat : 4453 (java) S 4418 4418 3266 0 -1 1077944384 21 167722 0 0 0 0 23703 51 20 0 22 0 419210009 8481841152 30981 33554432000 4194304 4196468 140721726633648 140023450031344 140025169430229 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38588416 140721726641144 140721726641302 140721726641302 140721726644175 0
[pid=4441/tid=4454] ppid=4418 vsize=8283048 memory=0 CPUtime=237.54 cores=0-7
/proc/4441/task/4454/stat : 4454 (java) S 4418 4418 3266 0 -1 1077944384 1 167722 0 0 0 0 23703 51 20 0 22 0 419210012 8481841152 30981 33554432000 4194304 4196468 140721726633648 140023075527120 140025169438619 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38588416 140721726641144 140721726641302 140721726641302 140721726644175 0
[pid=4441/tid=4455] ppid=4418 vsize=8283048 memory=0 CPUtime=237.62 cores=0-7
/proc/4441/task/4455/stat : 4455 (java) S 4418 4418 3266 0 -1 1077944384 739 167722 0 0 8 0 23703 51 20 0 22 0 419210012 8481841152 30981 33554432000 4194304 4196468 140721726633648 140024597387504 140025169431170 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38588416 140721726641144 140721726641302 140721726641302 140721726644175 0
[pid=4441/tid=4456] ppid=4418 vsize=8283048 memory=0 CPUtime=237.65 cores=0-7
/proc/4441/task/4456/stat : 4456 (java) S 4418 4418 3266 0 -1 1077944384 359 167722 0 0 11 0 23703 51 20 0 22 0 419210012 8481841152 30981 33554432000 4194304 4196468 140721726633648 140024596334960 140025169431170 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38588416 140721726641144 140721726641302 140721726641302 140721726644175 0
[pid=4441/tid=4457] ppid=4418 vsize=8283048 memory=676 CPUtime=237.62 cores=0-7
/proc/4441/task/4457/stat : 4457 (java) S 4418 4418 3266 0 -1 1077944384 407 167722 0 0 8 0 23703 51 20 0 22 0 419210012 8481841152 30981 33554432000 4194304 4196468 140721726633648 140024595281904 140025169431170 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38588416 140721726641144 140721726641302 140721726641302 140721726644175 0
[pid=4441/tid=4458] ppid=4418 vsize=8283048 memory=1060 CPUtime=237.78 cores=0-7
/proc/4441/task/4458/stat : 4458 (java) S 4418 4418 3266 0 -1 1077944384 954 167722 0 0 24 0 23703 51 20 0 22 0 419210012 8481841152 30981 33554432000 4194304 4196468 140721726633648 140024594229360 140025169431170 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38588416 140721726641144 140721726641302 140721726641302 140721726644175 0
[pid=4441/tid=4459] ppid=4418 vsize=8283048 memory=1548 CPUtime=237.54 cores=0-7
/proc/4441/task/4459/stat : 4459 (java) S 4418 4418 3266 0 -1 1077944384 3 167722 0 0 0 0 23703 51 20 0 22 0 419210012 8481841152 30981 33554432000 4194304 4196468 140721726633648 140022577621984 140025169430229 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38588416 140721726641144 140721726641302 140721726641302 140721726644175 0
[pid=4441/tid=4460] ppid=4418 vsize=8283048 memory=8560 CPUtime=237.55 cores=0-7
/proc/4441/task/4460/stat : 4460 (java) S 4418 4418 3266 0 -1 1077944384 3 167722 0 0 1 0 23703 51 20 0 22 0 419210012 8481841152 30981 33554432000 4194304 4196468 140721726633648 140024593177776 140025169431170 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 21 0 0 6293624 6294260 38588416 140721726641144 140721726641302 140721726641302 140721726644175 0
[pid=4441/tid=4462] ppid=4418 vsize=8283048 memory=1668 CPUtime=237.54 cores=0-7
/proc/4441/task/4462/stat : 4462 (java) S 4418 4418 3266 0 -1 1077944384 37 167722 0 0 0 0 23703 51 20 0 22 0 419210077 8481841152 30981 33554432000 4194304 4196468 140721726633648 140024591565456 140025169431170 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38588416 140721726641144 140721726641302 140721726641302 140721726644175 0
[pid=4441/tid=4466] ppid=4418 vsize=8283048 memory=5976 CPUtime=237.54 cores=0-7
/proc/4441/task/4466/stat : 4466 (java) S 4418 4418 3266 0 -1 1077944384 14 167722 0 0 0 0 23703 51 20 0 22 0 419210080 8481841152 30981 33554432000 4194304 4196468 140721726633648 140021638095536 140025169431170 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38588416 140721726641144 140721726641302 140721726641302 140721726644175 0
Current children cumulated CPU time: 244.52 s
Current children cumulated vsize: 8396176 KiB
Current children cumulated memory: 125400 KiB

Child status: 0
Real time (s): 33.8634
CPU time (s): 244.654
CPU user time (s): 243.783
CPU system time (s): 0.870238
CPU usage (%): 722.471
Max. virtual memory (cumulated for all children) (KiB): 27441876
Max. memory (cumulated for all children) (KiB): 781964

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 243.783
system time used= 0.870238
maximum resident set size= 786136
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 217282
page faults= 0
swaps= 0
block input operations= 0
block output operations= 5984
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 14523
involuntary context switches= 2681


# summary of solver processes directly reported to runsolver:
#   pid: 4418
#   total CPU time (s): 244.654
#   total CPU user time (s): 243.783
#   total CPU system time (s): 0.870238

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.356193 second user time and 0.497245 second system time

The end

Launcher Data 

Begin job on node103 at 2019-09-14 04:51:48
IDJOB=4392429
IDBENCH=127813
IDSOLVER=2838
FILE ID=node103/4392429-1568429567
RUNJOBID= node103-1568426882-3293
PBS_JOBID= 21702292
Free space on /tmp= 61720 MiB

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

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

MD5SUM BENCH= 46cde9b56a99396b1706cac103cc08fa
RANDOM SEED=322842870

node103.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.74
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.74
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.74
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.74
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:        31338348 kB
MemAvailable:   31888824 kB
Buffers:           99084 kB
Cached:           736232 kB
SwapCached:         9132 kB
Active:           599436 kB
Inactive:         248264 kB
Active(anon):       7120 kB
Inactive(anon):    47000 kB
Active(file):     592316 kB
Inactive(file):   201264 kB
Unevictable:      111172 kB
Mlocked:          111172 kB
SwapTotal:      67108860 kB
SwapFree:       66996976 kB
Dirty:             20940 kB
Writeback:             0 kB
AnonPages:        176252 kB
Mapped:            44496 kB
Shmem:             32644 kB
Slab:             174960 kB
SReclaimable:     145464 kB
SUnreclaim:        29496 kB
KernelStack:        3808 kB
PageTables:         5744 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     497968 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    133120 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      105856 kB
DirectMap2M:    33439744 kB

Free space on /tmp at the end= 61700 MiB
End job on node103 at 2019-09-14 04:52:22