Trace number 4392771

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Fun-sCOP hybrid+ManyGlucose (2019-06-15)UNSAT 1039.25 866.743

General information on the benchmark

NameRoomMate/
RoomMate-int-s1/RoomMate-sr1000b-int.xml
MD5SUMfdcb353b2918313db809b139313e7b9f
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark492.922
Satisfiable
(Un)Satisfiability was proved
Number of variables1000
Number of constraints1998000
Number of domains1
Minimum domain size999
Maximum domain size999
Distribution of domain sizes[{"size":999,"count":1000}]
Minimum variable degree3996
Maximum variable degree3996
Distribution of variable degrees[{"degree":3996,"count":1000}]
Minimum constraint arity2
Maximum constraint arity2
Distribution of constraint arities[{"arity":2,"count":1998000}]
Number of extensional constraints0
Number of intensional constraints1998000
Distribution of constraint types[{"type":"intension","count":1998000}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c (scop.sh) java -Xms22g -Xmx22g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Encode -hybrid -solver HOME/manyglucose-4.1-27_release -solverOption -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 -tmp HOME -serialFile HOME/scop-4336-serial-file.bin HOME/instance-4392771-1568427778.xml
0.65/0.54	
0.65/0.54	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
0.65/0.54	
0.65/0.56	c BEGIN-Prog: Sat Sep 14 04:22:21 CEST 2019
0.65/0.56	c PID: 4339
0.65/0.56	c IP: 172.20.3.123
0.65/0.56	c HOST: node123.alineos.net
0.65/0.57	c (0,0) Parsing Begin
150.41/98.01	c (97,90) Parsing End
150.51/98.02	c (97,90) CSP: 1000 int (0 aux), 0 bool (0 aux), 1998000 ctr, max domain size 999
150.51/98.02	c (97,90) Heap : 3480 MiB used (max 20025 MiB), NonHeap : 24 MiB used (max 0 MiB)
150.51/98.02	c (97,90) Constraint Name Generate Begin
155.61/102.93	c (102,95) Ctr:HOME/instance-4392771-1568427778.xml,Eq:Imp:Le:Num:Var
155.61/102.93	c (102,95) Constraint Name Generate End
155.61/102.93	c (102,95) Heap : 4827 MiB used (max 20025 MiB), NonHeap : 22 MiB used (max 0 MiB)
155.61/102.93	c (102,95) CSP to CSPinCNF Begin
162.77/109.18	c (108,101) translated 199800 (10%) constraints
174.06/115.72	c (115,107) translated 399600 (20%) constraints
179.86/121.55	c (121,113) translated 599400 (30%) constraints
185.66/127.37	c (126,119) translated 799200 (40%) constraints
204.04/134.79	c (134,125) translated 999000 (50%) constraints
210.19/140.66	c (140,131) translated 1198800 (60%) constraints
216.00/146.48	c (145,137) translated 1398600 (70%) constraints
225.80/152.77	c (152,142) translated 1598400 (80%) constraints
231.60/158.55	c (158,148) translated 1798200 (90%) constraints
237.50/164.35	c (163,154) translated 1998000 (100%) constraints
237.50/164.35	c (163,154) ===========================================
237.94/164.77	c (164,154) Hybrid: #OE=1000, #LE=0
237.94/164.77	c (164,154) Hybrid
237.94/164.77	c (164,154) ===========================================
241.58/167.75	c (167,157) translated 199800 (10%) constraints
244.48/170.65	c (170,160) translated 399600 (20%) constraints
252.19/174.14	c (173,163) translated 599400 (30%) constraints
254.98/176.97	c (176,166) translated 799200 (40%) constraints
257.88/179.81	c (179,169) translated 999000 (50%) constraints
276.75/193.68	c (193,182) translated 1198800 (60%) constraints
294.90/207.34	c (206,195) translated 1398600 (70%) constraints
313.41/220.81	c (220,208) translated 1598400 (80%) constraints
333.12/235.04	c (234,221) translated 1798200 (90%) constraints
352.05/248.57	c (248,234) translated 1998000 (100%) constraints
352.05/248.58	c (248,234) CSP to CSPinCNF End
352.37/248.85	c (248,234) CSP: 1000 int (0 aux), 999000 bool (999000 aux), 3996000 ctr, max domain size 999
352.37/248.85	c (248,234) Heap : 9556 MiB used (max 21399 MiB), NonHeap : 27 MiB used (max 0 MiB)
352.37/248.85	c (248,234) CSPinCNF Propagation Begin
1020.81/856.87	c (856,834) 1722360 values, 2597771 unsatisfiable literals, and 3564861 valid clauses are removed
1020.81/856.87	c (856,834) CSPinCNF Propagation End
1021.21/857.21	c (856,834) CSP: 986 int (0 aux), 999014 bool (999000 aux), 431139 ctr, max domain size 790
1021.21/857.21	c (856,834) Heap : 14019 MiB used (max 21655 MiB), NonHeap : 26 MiB used (max 0 MiB)
1021.32/857.37	c (856,834) Hybrid: #OE=1000000, #LE=0
1021.32/857.37	c (856,834) Simplify CSPinCNF Begin
1022.28/858.10	c (857,835) Simplify CSPinCNF End
1022.68/858.45	c (857,835) CSP: 986 int (0 aux), 999014 bool (999000 aux), 431139 ctr, max domain size 790
1022.68/858.45	c (857,835) Heap : 14364 MiB used (max 21655 MiB), NonHeap : 26 MiB used (max 0 MiB)
1022.68/858.45	c (857,835) Calculate Precise Domain Begin
1022.68/858.45	c (857,835) 0 values are removed by re-calculation
1022.68/858.45	c (857,835) Calculate Precise Domain End
1022.98/858.79	c (858,836) CSP: 986 int (0 aux), 999014 bool (999000 aux), 431139 ctr, max domain size 790
1022.98/858.79	c (858,836) Heap : 14364 MiB used (max 21655 MiB), NonHeap : 26 MiB used (max 0 MiB)
1022.98/858.79	c (858,836) CSPinCNF to SatSolver Begin
1032.63/861.31	c (860,837) 43114 (10 %) CSP clauses are encoded (0 SAT variables, 179014 SAT clauses)
1032.98/861.62	c (861,838) 86228 (20 %) CSP clauses are encoded (0 SAT variables, 222128 SAT clauses)
1033.29/861.92	c (861,838) 129342 (30 %) CSP clauses are encoded (0 SAT variables, 265242 SAT clauses)
1033.58/862.21	c (861,838) 172456 (40 %) CSP clauses are encoded (0 SAT variables, 308356 SAT clauses)
1033.88/862.51	c (861,839) 215570 (50 %) CSP clauses are encoded (0 SAT variables, 351470 SAT clauses)
1034.19/862.80	c (862,839) 258684 (60 %) CSP clauses are encoded (0 SAT variables, 394584 SAT clauses)
1034.40/863.10	c (862,839) 301798 (70 %) CSP clauses are encoded (0 SAT variables, 437698 SAT clauses)
1034.69/863.39	c (862,839) 344912 (80 %) CSP clauses are encoded (0 SAT variables, 480812 SAT clauses)
1034.99/863.68	c (863,840) 388026 (90 %) CSP clauses are encoded (0 SAT variables, 523926 SAT clauses)
1035.29/863.98	c (863,840) 431139 (100 %) CSP clauses are encoded (0 SAT variables, 567039 SAT clauses)
1035.29/863.98	c (863,840) CSPinCNF to SatSolver End
1035.29/863.98	c (863,840) Heap : 12678 MiB used (max 21643 MiB), NonHeap : 29 MiB used (max 0 MiB)
1035.29/863.98	c (863,840) 274640 bool, 567040 clause
1035.29/863.98	c (863,840) Export Begin
1035.68/864.12	c (863,840) Export to HOME/scop-4336-serial-file.bin
1035.68/864.12	c (863,840) Export End
1035.68/864.12	c (863,840) Export File Size: 0.16 MB
1035.68/864.12	c (863,840) 97,102,248,856,857,858,863,STOP-AFTER(DIMACS)
1035.68/864.12	c END-Prog: Sat Sep 14 04:36:44 CEST 2019
0.00/864.20	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-4336-serial-file.bin
1035.81/864.66	c (0,0) Read Serial File Begin
1035.81/864.66	c (0,0) HOME/scop-4336-serial-file.bin
1035.81/864.92	c (0,0) Read Serial File End
1035.81/864.93	
1035.81/864.93	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
1035.81/864.93	(Solving Process)
1035.81/864.93	
1035.81/864.95	c BEGIN-Prog: Sat Sep 14 04:36:45 CEST 2019
1035.81/864.95	c PID: 4421
1035.81/864.95	c IP: 172.20.3.123
1035.81/864.95	c HOST: node123.alineos.net
1035.81/864.96	c (0,0) SatSolver.solve Begin
1035.81/864.96	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4392771-1568427778.xml-scop-4339.cnf
1035.81/864.98	c (0,0) c
1035.81/864.98	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)
1035.81/864.98	c (0,0) c
1035.81/864.98	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
1035.81/864.98	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
1035.81/864.98	c (0,0) c ========================================[ Problem Statistics ]===========================================
1035.81/864.98	c (0,0) c |                                                                                                       |
1037.52/865.30	c (0,0) c |  Number of variables:        274640                                                                   |
1037.52/865.30	c (0,0) c |  Number of clauses:          567040                                                                   |
1037.52/865.30	c (0,0) c |  Parse time:                   0.28 s                                                                 |
1037.52/865.30	c (0,0) c |                                                                                                       |
1038.32/866.12	c (1,0) c |  Simplification time:          0.81 s                                                                 |
1038.32/866.12	c (1,0) c |                                                                                                       |
1038.32/866.12	c (1,0) c |  Generating clones                                                                                    |
1038.82/866.66	c (2,0) c |  all clones generated. Memory =   602.54Mb.                                                           |
1038.82/866.66	c (2,0) c ========================================================================================================|
1038.82/866.66	c (2,0) c
1038.82/866.66	c (2,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
1038.82/866.66	c (2,0) c
1038.82/866.66	c (2,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
1038.82/866.66	c (2,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
1038.82/866.66	c (2,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
1038.82/866.66	c (2,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
1038.82/866.66	c (2,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
1038.82/866.66	c (2,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
1038.82/866.66	c (2,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
1038.82/866.66	c (2,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
1038.82/866.66	c (2,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
1038.82/866.66	c (2,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
1038.82/866.66	c (2,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
1038.82/866.66	c (2,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
1038.82/866.66	c (2,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
1038.82/866.66	c (2,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
1038.82/866.66	c (2,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
1038.82/866.66	c (2,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
1038.82/866.66	c (2,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
1038.82/866.66	c (2,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
1038.82/866.66	c (2,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
1038.82/866.69	c (2,0) c
1038.82/866.69	c (2,0) c real time : 1.71315 s
1038.82/866.69	c (2,0) c cpu time  : 1.7489 s
1038.82/866.69	c (2,0) c
1038.82/866.69	c (2,0) c
1038.82/866.69	c (2,0) c
1038.82/866.69	c (2,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
1038.82/866.69	c (2,0) c
1038.82/866.69	c (2,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1038.82/866.69	c (2,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
1038.82/866.69	c (2,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1038.82/866.69	c (2,0) c | Conflicts     |              61 |          7 |          6 |          7 |          7 |         10 |          7 |          9 |          8 |
1038.82/866.69	c (2,0) c | Decisions     |              56 |          7 |          5 |          6 |          6 |          9 |          6 |          9 |          8 |
1038.82/866.69	c (2,0) c | Propagations  |          142567 |      18057 |      18436 |      19206 |      21958 |      16073 |      14119 |      16661 |      18057 |
1038.82/866.69	c (2,0) c | ReduceDBs     |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1038.82/866.69	c (2,0) c | SimpDBs       |               8 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |
1038.82/866.69	c (2,0) c | Restarts      |               8 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |
1038.82/866.69	c (2,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1038.82/866.69	c (2,0) c | PropBinClauses|          292833 |      35296 |      37029 |      36626 |      35181 |      37481 |      37194 |      38750 |      35276 |
1038.82/866.69	c (2,0) c | PropPreBlocker|          355332 |      42390 |      45411 |      44893 |      42533 |      44705 |      44997 |      47232 |      43171 |
1038.82/866.69	c (2,0) c | PropNotBlocker|          135985 |      16127 |      17562 |      17308 |      16355 |      16690 |      16883 |      18125 |      16935 |
1038.82/866.69	c (2,0) c | LitFullScans  |         1733442 |     126799 |     214441 |     258160 |     197803 |     270651 |     196472 |     243508 |     225608 |
1038.82/866.69	c (2,0) c | LitScanFracts |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1038.82/866.69	c (2,0) c | DecisionLevel0|              17 |          3 |          2 |          2 |          2 |          2 |          2 |          2 |          2 |
1038.82/866.69	c (2,0) c | Periods       |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1038.82/866.69	c (2,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
1038.82/866.69	c (2,0) c | Avg_Trail     |                 |      11454 |      11710 |      11811 |      10229 |      10962 |      10876 |      10946 |      10500 |
1038.82/866.69	c (2,0) c | Avg_DL        |                 |          1 |          2 |          2 |          2 |          3 |          2 |          3 |          2 |
1038.82/866.69	c (2,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1038.82/866.69	c (2,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1038.82/866.69	c (2,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1038.82/866.69	c (2,0) c | Exported      |              13 |          3 |          1 |          2 |          1 |          2 |          1 |          1 |          2 |
1038.82/866.69	c (2,0) c | Imported      |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1038.82/866.69	c (2,0) c | Good          |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1038.82/866.69	c (2,0) c | Purge         |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1038.82/866.70	c (2,0) c | Promoted      |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1038.82/866.70	c (2,0) c | Remove_Imp    |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1038.82/866.70	c (2,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1038.82/866.70	c (2,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1038.82/866.70	c (2,0) c | Unaries       |                 |          2 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |
1038.82/866.70	c (2,0) c | Binaries      |                 |          1 |          0 |          0 |          1 |          1 |          1 |          1 |          1 |
1038.82/866.70	c (2,0) c | Glues         |                 |          3 |          1 |          2 |          1 |          2 |          1 |          1 |          2 |
1038.82/866.70	c (2,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1038.82/866.70	c (2,0) c | Orig_Seen     |            22 % |      10120 |      13360 |      13445 |      13457 |      13459 |      13302 |      13094 |      13232 |
1038.82/866.70	c (2,0) c | Diff Orig seen|                 |      X     |       3240 |       3325 |       3337 |       3339 |       3182 |       2974 |       3112 |
1038.82/866.70	c (2,0) c | Hamming       |             0 % |      X     |        696 |        621 |        681 |        727 |        676 |        985 |        537 |
1038.82/866.70	c (2,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1038.82/866.70	c (2,0) c | RunningTime   |                 |    0.0  99%|    0.0  99%|    0.0  99%|    0.0 100%|    0.0 100%|    0.0  99%|    0.0 100%|    0.0 100%|
1038.82/866.70	c (2,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%|
1038.82/866.70	c (2,0) c | ExchangingTime|                 |    0.0   1%|    0.0   1%|    0.0   1%|    0.0   0%|    0.0   0%|    0.0   1%|    0.0   0%|    0.0   0%|
1038.82/866.70	c (2,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%|
1038.82/866.70	c (2,0) c | SolvingTime   |                 |    0.0     |    0.0     |    0.0     |    0.0     |    0.0     |    0.0     |    0.0     |    0.0     |
1038.82/866.70	c (2,0) c | PropagationTim|                 |    0.0  69%|    0.0  63%|    0.0  54%|    0.0  52%|    0.0  52%|    0.0  56%|    0.0  56%|    0.0  52%|
1038.82/866.70	c (2,0) c | AnalysisTime  |                 |    0.0  19%|    0.0  34%|    0.0  36%|    0.0  42%|    0.0  44%|    0.0  37%|    0.0  40%|    0.0  39%|
1038.82/866.70	c (2,0) c | ReductionTime |                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
1038.82/866.70	c (2,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%|
1038.82/866.70	c (2,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%|
1038.82/866.70	c (2,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%|
1038.82/866.70	c (2,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1038.82/866.70	c (2,0) c
1038.82/866.70	c (2,0) c
1038.82/866.70	c (2,0) c Threads : 8
1038.82/866.70	c (2,0) c Winner : 0
1038.82/866.70	c (2,0) c Conflicts_0 : 7
1038.82/866.70	c (2,0) c Conflicts_1 : 6
1038.82/866.70	c (2,0) c Conflicts_2 : 7
1038.82/866.70	c (2,0) c Conflicts_3 : 7
1038.82/866.70	c (2,0) c Conflicts_4 : 10
1038.82/866.70	c (2,0) c Conflicts_5 : 7
1038.82/866.70	c (2,0) c Conflicts_6 : 9
1038.82/866.70	c (2,0) c Conflicts_7 : 8
1038.82/866.70	c (2,0) c Conflicts_total : 61
1038.82/866.70	c (2,0) c Conflicts_winner : 7
1038.82/866.70	c (2,0) c Decisions_0 : 7
1038.82/866.70	c (2,0) c Decisions_1 : 5
1038.82/866.70	c (2,0) c Decisions_2 : 6
1038.82/866.70	c (2,0) c Decisions_3 : 6
1038.82/866.70	c (2,0) c Decisions_4 : 9
1038.82/866.70	c (2,0) c Decisions_5 : 6
1038.82/866.70	c (2,0) c Decisions_6 : 9
1038.82/866.70	c (2,0) c Decisions_7 : 8
1038.82/866.70	c (2,0) c Decisions_total : 56
1038.82/866.70	c (2,0) c Decisions_winner : 7
1038.82/866.70	c (2,0) c Propagations_0 : 18057
1038.82/866.70	c (2,0) c Propagations_1 : 18436
1038.82/866.70	c (2,0) c Propagations_2 : 19206
1038.82/866.70	c (2,0) c Propagations_3 : 21958
1038.82/866.70	c (2,0) c Propagations_4 : 16073
1038.82/866.70	c (2,0) c Propagations_5 : 14119
1038.82/866.70	c (2,0) c Propagations_6 : 16661
1038.82/866.70	c (2,0) c Propagations_7 : 18057
1038.82/866.70	c (2,0) c Propagations_total : 142567
1038.82/866.70	c (2,0) c Propagations_winner : 18057
1038.82/866.70	c (2,0) c ReduceDBs_0 : 0
1038.82/866.70	c (2,0) c ReduceDBs_1 : 0
1038.82/866.70	c (2,0) c ReduceDBs_2 : 0
1038.82/866.70	c (2,0) c ReduceDBs_3 : 0
1038.82/866.70	c (2,0) c ReduceDBs_4 : 0
1038.82/866.70	c (2,0) c ReduceDBs_5 : 0
1038.82/866.70	c (2,0) c ReduceDBs_6 : 0
1038.82/866.70	c (2,0) c ReduceDBs_7 : 0
1038.82/866.70	c (2,0) c ReduceDBs_total : 0
1038.82/866.70	c (2,0) c ReduceDBs_winner : 0
1038.82/866.70	c (2,0) c SimpDBs_0 : 1
1038.82/866.70	c (2,0) c SimpDBs_1 : 1
1038.82/866.70	c (2,0) c SimpDBs_2 : 1
1038.82/866.70	c (2,0) c SimpDBs_3 : 1
1038.82/866.70	c (2,0) c SimpDBs_4 : 1
1038.82/866.70	c (2,0) c SimpDBs_5 : 1
1038.82/866.70	c (2,0) c SimpDBs_6 : 1
1038.82/866.70	c (2,0) c SimpDBs_7 : 1
1038.82/866.70	c (2,0) c SimpDBs_total : 8
1038.82/866.70	c (2,0) c SimpDBs_winner : 1
1038.82/866.70	c (2,0) c Restarts_0 : 1
1038.82/866.70	c (2,0) c Restarts_1 : 1
1038.82/866.70	c (2,0) c Restarts_2 : 1
1038.82/866.70	c (2,0) c Restarts_3 : 1
1038.82/866.70	c (2,0) c Restarts_4 : 1
1038.82/866.70	c (2,0) c Restarts_5 : 1
1038.82/866.70	c (2,0) c Restarts_6 : 1
1038.82/866.70	c (2,0) c Restarts_7 : 1
1038.82/866.70	c (2,0) c Restarts_total : 8
1038.82/866.70	c (2,0) c Restarts_winner : 1
1038.82/866.70	c (2,0) c ForcedImports_0 : 0
1038.82/866.70	c (2,0) c ForcedImports_1 : 0
1038.82/866.70	c (2,0) c ForcedImports_2 : 0
1038.82/866.70	c (2,0) c ForcedImports_3 : 0
1038.82/866.70	c (2,0) c ForcedImports_4 : 0
1038.82/866.70	c (2,0) c ForcedImports_5 : 0
1038.82/866.70	c (2,0) c ForcedImports_6 : 0
1038.82/866.70	c (2,0) c ForcedImports_7 : 0
1038.82/866.70	c (2,0) c ForcedImports_total : 0
1038.82/866.70	c (2,0) c ForcedImports_winner : 0
1038.82/866.70	c (2,0) c PropsBinClauses_0 : 35296
1038.82/866.70	c (2,0) c PropsBinClauses_1 : 37029
1038.82/866.70	c (2,0) c PropsBinClauses_2 : 36626
1038.82/866.70	c (2,0) c PropsBinClauses_3 : 35181
1038.82/866.70	c (2,0) c PropsBinClauses_4 : 37481
1038.82/866.70	c (2,0) c PropsBinClauses_5 : 37194
1038.82/866.70	c (2,0) c PropsBinClauses_6 : 38750
1038.82/866.70	c (2,0) c PropsBinClauses_7 : 35276
1038.82/866.70	c (2,0) c PropsBinClauses_total : 292833
1038.82/866.70	c (2,0) c PropsBinClauses_winner : 35296
1038.82/866.70	c (2,0) c PropsPreBlocker_0 : 42390
1038.82/866.70	c (2,0) c PropsPreBlocker_1 : 45411
1038.82/866.70	c (2,0) c PropsPreBlocker_2 : 44893
1038.82/866.70	c (2,0) c PropsPreBlocker_3 : 42533
1038.82/866.70	c (2,0) c PropsPreBlocker_4 : 44705
1038.82/866.70	c (2,0) c PropsPreBlocker_5 : 44997
1038.82/866.70	c (2,0) c PropsPreBlocker_6 : 47232
1038.82/866.70	c (2,0) c PropsPreBlocker_7 : 43171
1038.82/866.70	c (2,0) c PropsPreBlocker_total : 355332
1038.82/866.70	c (2,0) c PropsPreBlocker_winner : 42390
1038.82/866.70	c (2,0) c PropsNotBlocker_0 : 16127
1038.82/866.70	c (2,0) c PropsNotBlocker_1 : 17562
1038.82/866.70	c (2,0) c PropsNotBlocker_2 : 17308
1038.82/866.70	c (2,0) c PropsNotBlocker_3 : 16355
1038.82/866.70	c (2,0) c PropsNotBlocker_4 : 16690
1038.82/866.70	c (2,0) c PropsNotBlocker_5 : 16883
1038.82/866.70	c (2,0) c PropsNotBlocker_6 : 18125
1038.82/866.70	c (2,0) c PropsNotBlocker_7 : 16935
1038.82/866.70	c (2,0) c PropsNotBlocker_total : 135985
1038.82/866.70	c (2,0) c PropsNotBlocker_winner : 16127
1038.82/866.70	c (2,0) c PropsLitFullScans_0 : 126799
1038.82/866.70	c (2,0) c PropsLitFullScans_1 : 214441
1038.82/866.70	c (2,0) c PropsLitFullScans_2 : 258160
1038.82/866.70	c (2,0) c PropsLitFullScans_3 : 197803
1038.82/866.70	c (2,0) c PropsLitFullScans_4 : 270651
1038.82/866.70	c (2,0) c PropsLitFullScans_5 : 196472
1038.82/866.70	c (2,0) c PropsLitFullScans_6 : 243508
1038.82/866.70	c (2,0) c PropsLitFullScans_7 : 225608
1038.82/866.70	c (2,0) c PropsLitFullScans_total : 1733442
1038.82/866.70	c (2,0) c PropsLitFullScans_winner : 126799
1038.82/866.70	c (2,0) c LitScanFractions_0 : 0
1038.82/866.70	c (2,0) c LitScanFractions_1 : 0
1038.82/866.70	c (2,0) c LitScanFractions_2 : 0
1038.82/866.70	c (2,0) c LitScanFractions_3 : 0
1038.82/866.70	c (2,0) c LitScanFractions_4 : 0
1038.82/866.70	c (2,0) c LitScanFractions_5 : 0
1038.82/866.70	c (2,0) c LitScanFractions_6 : 0
1038.82/866.70	c (2,0) c LitScanFractions_7 : 0
1038.82/866.70	c (2,0) c LitScanFractions_total : 0
1038.82/866.70	c (2,0) c LitScanFractions_winner : 0
1038.82/866.70	c (2,0) c DecisionLevel0_0 : 3
1038.82/866.70	c (2,0) c DecisionLevel0_1 : 2
1038.82/866.70	c (2,0) c DecisionLevel0_2 : 2
1038.82/866.70	c (2,0) c DecisionLevel0_3 : 2
1038.82/866.70	c (2,0) c DecisionLevel0_4 : 2
1038.82/866.70	c (2,0) c DecisionLevel0_5 : 2
1038.82/866.70	c (2,0) c DecisionLevel0_6 : 2
1038.82/866.70	c (2,0) c DecisionLevel0_7 : 2
1038.82/866.70	c (2,0) c DecisionLevel0_total : 17
1038.82/866.70	c (2,0) c DecisionLevel0_winner : 3
1038.82/866.70	c (2,0) c Periods_0 : 0
1038.82/866.70	c (2,0) c Periods_1 : 0
1038.82/866.70	c (2,0) c Periods_2 : 0
1038.82/866.70	c (2,0) c Periods_3 : 0
1038.82/866.70	c (2,0) c Periods_4 : 0
1038.82/866.70	c (2,0) c Periods_5 : 0
1038.82/866.70	c (2,0) c Periods_6 : 0
1038.82/866.70	c (2,0) c Periods_7 : 0
1038.82/866.70	c (2,0) c Periods_total : 0
1038.82/866.70	c (2,0) c Periods_winner : 0
1038.82/866.70	c (2,0) c Margin_0 : 20
1038.82/866.70	c (2,0) c Margin_1 : 20
1038.82/866.70	c (2,0) c Margin_2 : 20
1038.82/866.70	c (2,0) c Margin_3 : 20
1038.82/866.70	c (2,0) c Margin_4 : 20
1038.82/866.70	c (2,0) c Margin_5 : 20
1038.82/866.70	c (2,0) c Margin_6 : 20
1038.82/866.70	c (2,0) c Margin_7 : 20
1038.82/866.70	c (2,0) c Margin_total : 160
1038.82/866.70	c (2,0) c Margin_winner : 20
1038.82/866.70	c (2,0) c Exported_0 : 3
1038.82/866.70	c (2,0) c Exported_1 : 1
1038.82/866.70	c (2,0) c Exported_2 : 2
1038.82/866.70	c (2,0) c Exported_3 : 1
1038.82/866.70	c (2,0) c Exported_4 : 2
1038.82/866.70	c (2,0) c Exported_5 : 1
1038.82/866.70	c (2,0) c Exported_6 : 1
1038.82/866.70	c (2,0) c Exported_7 : 2
1038.82/866.70	c (2,0) c Exported_total : 13
1038.82/866.70	c (2,0) c Exported_winner : 3
1038.82/866.70	c (2,0) c Imported_0 : 0
1038.82/866.70	c (2,0) c Imported_1 : 0
1038.82/866.70	c (2,0) c Imported_2 : 0
1038.82/866.70	c (2,0) c Imported_3 : 0
1038.82/866.70	c (2,0) c Imported_4 : 0
1038.82/866.70	c (2,0) c Imported_5 : 0
1038.82/866.70	c (2,0) c Imported_6 : 0
1038.82/866.70	c (2,0) c Imported_7 : 0
1038.82/866.70	c (2,0) c Imported_total : 0
1038.82/866.70	c (2,0) c Imported_winner : 0
1038.82/866.70	c (2,0) c Good_0 : 0
1038.82/866.70	c (2,0) c Good_1 : 0
1038.82/866.70	c (2,0) c Good_2 : 0
1038.82/866.70	c (2,0) c Good_3 : 0
1038.82/866.70	c (2,0) c Good_4 : 0
1038.82/866.70	c (2,0) c Good_5 : 0
1038.82/866.70	c (2,0) c Good_6 : 0
1038.82/866.70	c (2,0) c Good_7 : 0
1038.82/866.70	c (2,0) c Good_total : 0
1038.82/866.70	c (2,0) c Good_winner : 0
1038.82/866.70	c (2,0) c Purge_0 : 0
1038.82/866.70	c (2,0) c Purge_1 : 0
1038.82/866.70	c (2,0) c Purge_2 : 0
1038.82/866.70	c (2,0) c Purge_3 : 0
1038.82/866.70	c (2,0) c Purge_4 : 0
1038.82/866.70	c (2,0) c Purge_5 : 0
1038.82/866.70	c (2,0) c Purge_6 : 0
1038.82/866.70	c (2,0) c Purge_7 : 0
1038.82/866.70	c (2,0) c Purge_total : 0
1038.82/866.70	c (2,0) c Purge_winner : 0
1038.82/866.70	c (2,0) c Promoted_0 : 0
1038.82/866.70	c (2,0) c Promoted_1 : 0
1038.82/866.70	c (2,0) c Promoted_2 : 0
1038.82/866.70	c (2,0) c Promoted_3 : 0
1038.82/866.70	c (2,0) c Promoted_4 : 0
1038.82/866.70	c (2,0) c Promoted_5 : 0
1038.82/866.70	c (2,0) c Promoted_6 : 0
1038.82/866.70	c (2,0) c Promoted_7 : 0
1038.82/866.70	c (2,0) c Promoted_total : 0
1038.82/866.70	c (2,0) c Promoted_winner : 0
1038.82/866.70	c (2,0) c Remove_Imp_0 : 0
1038.82/866.70	c (2,0) c Remove_Imp_1 : 0
1038.82/866.70	c (2,0) c Remove_Imp_2 : 0
1038.82/866.70	c (2,0) c Remove_Imp_3 : 0
1038.82/866.70	c (2,0) c Remove_Imp_4 : 0
1038.82/866.70	c (2,0) c Remove_Imp_5 : 0
1038.82/866.70	c (2,0) c Remove_Imp_6 : 0
1038.82/866.70	c (2,0) c Remove_Imp_7 : 0
1038.82/866.70	c (2,0) c Remove_Imp_total : 0
1038.82/866.70	c (2,0) c Remove_Imp_winner : 0
1038.82/866.70	c (2,0) c Blocked_Reuse_0 : 0
1038.82/866.70	c (2,0) c Blocked_Reuse_1 : 0
1038.82/866.70	c (2,0) c Blocked_Reuse_2 : 0
1038.82/866.70	c (2,0) c Blocked_Reuse_3 : 0
1038.82/866.70	c (2,0) c Blocked_Reuse_4 : 0
1038.82/866.70	c (2,0) c Blocked_Reuse_5 : 0
1038.82/866.70	c (2,0) c Blocked_Reuse_6 : 0
1038.82/866.70	c (2,0) c Blocked_Reuse_7 : 0
1038.82/866.70	c (2,0) c Blocked_Reuse_total : 0
1038.82/866.70	c (2,0) c Blocked_Reuse_winner : 0
1038.82/866.70	c (2,0) c Unaries_0 : 2
1038.82/866.70	c (2,0) c Unaries_1 : 1
1038.82/866.70	c (2,0) c Unaries_2 : 1
1038.82/866.70	c (2,0) c Unaries_3 : 1
1038.82/866.70	c (2,0) c Unaries_4 : 1
1038.82/866.70	c (2,0) c Unaries_5 : 1
1038.82/866.70	c (2,0) c Unaries_6 : 1
1038.82/866.70	c (2,0) c Unaries_7 : 1
1038.82/866.70	c (2,0) c Unaries_total : 9
1038.82/866.71	c (2,0) c Unaries_winner : 2
1038.82/866.71	c (2,0) c Binaries_0 : 1
1038.82/866.71	c (2,0) c Binaries_1 : 0
1038.82/866.71	c (2,0) c Binaries_2 : 0
1038.82/866.71	c (2,0) c Binaries_3 : 1
1038.82/866.71	c (2,0) c Binaries_4 : 1
1038.82/866.71	c (2,0) c Binaries_5 : 1
1038.82/866.71	c (2,0) c Binaries_6 : 1
1038.82/866.71	c (2,0) c Binaries_7 : 1
1038.82/866.71	c (2,0) c Binaries_total : 6
1038.82/866.71	c (2,0) c Binaries_winner : 1
1038.82/866.71	c (2,0) c Glues_0 : 3
1038.82/866.71	c (2,0) c Glues_1 : 1
1038.82/866.71	c (2,0) c Glues_2 : 2
1038.82/866.71	c (2,0) c Glues_3 : 1
1038.82/866.71	c (2,0) c Glues_4 : 2
1038.82/866.71	c (2,0) c Glues_5 : 1
1038.82/866.71	c (2,0) c Glues_6 : 1
1038.82/866.71	c (2,0) c Glues_7 : 2
1038.82/866.71	c (2,0) c Glues_total : 13
1038.82/866.71	c (2,0) c Glues_winner : 3
1038.82/866.71	c (2,0) c RunningTime_0 : 0.027004
1038.82/866.71	c (2,0) c RunningTime_1 : 0.029716
1038.82/866.71	c (2,0) c RunningTime_2 : 0.026582
1038.82/866.71	c (2,0) c RunningTime_3 : 0.032168
1038.82/866.71	c (2,0) c RunningTime_4 : 0.028303
1038.82/866.71	c (2,0) c RunningTime_5 : 0.026004
1038.82/866.71	c (2,0) c RunningTime_6 : 0.033373
1038.82/866.71	c (2,0) c RunningTime_7 : 0.025516
1038.82/866.71	c (2,0) c RunningTime_total : 0.228667
1038.82/866.71	c (2,0) c RunningTime_winner : 0.027004
1038.82/866.71	c (2,0) c WaitingTime_0 : 0.000000
1038.82/866.71	c (2,0) c WaitingTime_1 : 0.000000
1038.82/866.71	c (2,0) c WaitingTime_2 : 0.000000
1038.82/866.71	c (2,0) c WaitingTime_3 : 0.000000
1038.82/866.71	c (2,0) c WaitingTime_4 : 0.000000
1038.82/866.71	c (2,0) c WaitingTime_5 : 0.000000
1038.82/866.71	c (2,0) c WaitingTime_6 : 0.000000
1038.82/866.71	c (2,0) c WaitingTime_7 : 0.000000
1038.82/866.71	c (2,0) c WaitingTime_total : 0.000000
1038.82/866.71	c (2,0) c WaitingTime_winner : 0.000000
1038.82/866.71	c (2,0) c ExchangingTime_0 : 0.000186
1038.82/866.71	c (2,0) c ExchangingTime_1 : 0.000185
1038.82/866.71	c (2,0) c ExchangingTime_2 : 0.000269
1038.82/866.71	c (2,0) c ExchangingTime_3 : 0.000005
1038.82/866.71	c (2,0) c ExchangingTime_4 : 0.000094
1038.82/866.71	c (2,0) c ExchangingTime_5 : 0.000347
1038.82/866.71	c (2,0) c ExchangingTime_6 : 0.000003
1038.82/866.71	c (2,0) c ExchangingTime_7 : 0.000015
1038.82/866.71	c (2,0) c ExchangingTime_total : 0.001103
1038.82/866.71	c (2,0) c ExchangingTime_winner : 0.000186
1038.82/866.71	c (2,0) c PeriodProcTime_0 : 0.000000
1038.82/866.71	c (2,0) c PeriodProcTime_1 : 0.000000
1038.82/866.71	c (2,0) c PeriodProcTime_2 : 0.000000
1038.82/866.71	c (2,0) c PeriodProcTime_3 : 0.000000
1038.82/866.71	c (2,0) c PeriodProcTime_4 : 0.000000
1038.82/866.71	c (2,0) c PeriodProcTime_5 : 0.000000
1038.82/866.71	c (2,0) c PeriodProcTime_6 : 0.000000
1038.82/866.71	c (2,0) c PeriodProcTime_7 : 0.000000
1038.82/866.71	c (2,0) c PeriodProcTime_total : 0.000000
1038.82/866.71	c (2,0) c PeriodProcTime_winner : 0.000000
1038.82/866.71	c (2,0) c SolvingTime_0 : 0.027190
1038.82/866.71	c (2,0) c SolvingTime_1 : 0.029901
1038.82/866.71	c (2,0) c SolvingTime_2 : 0.026851
1038.82/866.71	c (2,0) c SolvingTime_3 : 0.032173
1038.82/866.71	c (2,0) c SolvingTime_4 : 0.028397
1038.82/866.71	c (2,0) c SolvingTime_5 : 0.026351
1038.82/866.71	c (2,0) c SolvingTime_6 : 0.033376
1038.82/866.71	c (2,0) c SolvingTime_7 : 0.025531
1038.82/866.71	c (2,0) c SolvingTime_total : 0.229770
1038.82/866.71	c (2,0) c SolvingTime_winner : 0.027190
1038.82/866.71	c (2,0) c PropagationTime_0 : 0.018845
1038.82/866.71	c (2,0) c PropagationTime_1 : 0.018918
1038.82/866.71	c (2,0) c PropagationTime_2 : 0.014520
1038.82/866.71	c (2,0) c PropagationTime_3 : 0.016731
1038.82/866.71	c (2,0) c PropagationTime_4 : 0.014795
1038.82/866.71	c (2,0) c PropagationTime_5 : 0.014714
1038.82/866.71	c (2,0) c PropagationTime_6 : 0.018587
1038.82/866.71	c (2,0) c PropagationTime_7 : 0.013195
1038.82/866.71	c (2,0) c PropagationTime_total : 0.130305
1038.82/866.71	c (2,0) c PropagationTime_winner : 0.018845
1038.82/866.71	c (2,0) c AnalysisTime_0 : 0.005272
1038.82/866.71	c (2,0) c AnalysisTime_1 : 0.010062
1038.82/866.71	c (2,0) c AnalysisTime_2 : 0.009688
1038.82/866.71	c (2,0) c AnalysisTime_3 : 0.013364
1038.82/866.71	c (2,0) c AnalysisTime_4 : 0.012508
1038.82/866.71	c (2,0) c AnalysisTime_5 : 0.009636
1037.25/866.71	c (2,0) c AnalysisTime_6 : 0.013433
1037.25/866.71	c (2,0) c AnalysisTime_7 : 0.010060
1037.25/866.71	c (2,0) c AnalysisTime_total : 0.084023
1037.25/866.71	c (2,0) c AnalysisTime_winner : 0.005272
1037.25/866.71	c (2,0) c ReductionTime_0 : 0.000000
1037.25/866.71	c (2,0) c ReductionTime_1 : 0.000000
1037.25/866.71	c (2,0) c ReductionTime_2 : 0.000000
1037.25/866.71	c (2,0) c ReductionTime_3 : 0.000000
1037.25/866.71	c (2,0) c ReductionTime_4 : 0.000000
1037.25/866.71	c (2,0) c ReductionTime_5 : 0.000000
1037.25/866.71	c (2,0) c ReductionTime_6 : 0.000000
1037.25/866.71	c (2,0) c ReductionTime_7 : 0.000000
1037.25/866.71	c (2,0) c ReductionTime_total : 0.000000
1037.25/866.71	c (2,0) c ReductionTime_winner : 0.000000
1037.25/866.71	c (2,0) c SimplifyTime_0 : 0.000000
1037.25/866.71	c (2,0) c SimplifyTime_1 : 0.000000
1037.25/866.71	c (2,0) c SimplifyTime_2 : 0.000000
1037.25/866.71	c (2,0) c SimplifyTime_3 : 0.000000
1037.25/866.71	c (2,0) c SimplifyTime_4 : 0.000001
1037.25/866.71	c (2,0) c SimplifyTime_5 : 0.000000
1037.25/866.71	c (2,0) c SimplifyTime_6 : 0.000000
1037.25/866.71	c (2,0) c SimplifyTime_7 : 0.000000
1037.25/866.71	c (2,0) c SimplifyTime_total : 0.000001
1037.25/866.71	c (2,0) c SimplifyTime_winner : 0.000000
1037.25/866.71	c (2,0) c UsedRateTime_0 : 0.000000
1037.25/866.71	c (2,0) c UsedRateTime_1 : 0.000000
1037.25/866.71	c (2,0) c UsedRateTime_2 : 0.000000
1037.25/866.71	c (2,0) c UsedRateTime_3 : 0.000000
1037.25/866.71	c (2,0) c UsedRateTime_4 : 0.000000
1037.25/866.71	c (2,0) c UsedRateTime_5 : 0.000000
1037.25/866.71	c (2,0) c UsedRateTime_6 : 0.000000
1037.25/866.71	c (2,0) c UsedRateTime_7 : 0.000000
1037.25/866.71	c (2,0) c UsedRateTime_total : 0.000000
1037.25/866.71	c (2,0) c UsedRateTime_winner : 0.000000
1037.25/866.71	c (2,0) c OverlapRateTime_0 : 0.000000
1037.25/866.71	c (2,0) c OverlapRateTime_1 : 0.000000
1037.25/866.71	c (2,0) c OverlapRateTime_2 : 0.000000
1037.25/866.71	c (2,0) c OverlapRateTime_3 : 0.000000
1037.25/866.71	c (2,0) c OverlapRateTime_4 : 0.000000
1037.25/866.71	c (2,0) c OverlapRateTime_5 : 0.000000
1037.25/866.71	c (2,0) c OverlapRateTime_6 : 0.000000
1037.25/866.71	c (2,0) c OverlapRateTime_7 : 0.000000
1037.25/866.71	c (2,0) c OverlapRateTime_total : 0.000000
1037.25/866.71	c (2,0) c OverlapRateTime_winner : 0.000000
1037.25/866.71	c (2,0) c
1037.25/866.71	c (2,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
1037.25/866.71	c (2,0) c
1037.25/866.71	c (2,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
1037.25/866.71	c (2,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
1037.25/866.71	c (2,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
1037.25/866.71	c (2,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
1037.25/866.71	c (2,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
1037.25/866.71	c (2,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
1037.25/866.71	c (2,0) c | Initial random_seed   | 1478695456 |  870067076 | 1775939932 | 1491810716 | 2082620934 |  923552284 | 2009952617 | 1696074145 |
1037.25/866.71	c (2,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
1037.25/866.71	c (2,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
1037.25/866.71	c (2,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
1037.25/866.71	c (2,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
1037.25/866.71	c (2,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
1037.25/866.71	c (2,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
1037.25/866.71	c (2,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
1037.25/866.71	c (2,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
1037.25/866.71	c (2,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
1037.25/866.71	c (2,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
1037.25/866.71	c (2,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
1037.25/866.71	c (2,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
1037.25/866.71	c (2,0) 
1037.25/866.71	c (2,0) s UNSATISFIABLE
1037.25/866.73	c (2,0) SatSolver.solve End
1037.25/866.73	c (2,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
1037.25/866.73	c (2,0) Show results Begin
1037.25/866.73	s UNSATISFIABLE
1037.25/866.73	c (2,0) Show results End
1037.25/866.73	c (2,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
1037.25/866.73	c (2,0) 2,2,STOP-AFTER(ALL)
1037.25/866.73	c END-Prog: Sat Sep 14 04:36:47 CEST 2019

Verifier Data


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 (11832 MiB free)
  memory of node 1: 16384 MiB (15526 MiB free)
  node distances:
     10  21
     21  10

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


[startup+0.100139 s]*
/proc/loadavg: 8.04 7.61 6.12 2/212 4358
/proc/meminfo: memFree=27922096/32770624 swapFree=66999932/67108860
[pid=4336] ppid=4333 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/4336/stat : 4336 (scop.sh) S 4333 4336 4292 0 -1 4202496 557 319 0 0 0 0 0 0 20 0 1 0 419042801 115843072 349 33554432000 4194304 5098028 140721451496320 140721451493576 140581069021820 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 29683712 140721451504420 140721451504748 140721451504748 140721451507661 0
/proc/4336/statm: 28282 349 296 221 0 87 0
[pid=4339] ppid=4336 vsize=27314120 memory=104100 CPUtime=0.1 cores=0-7
/proc/4339/stat : 4339 (java) S 4336 4336 4292 0 -1 1077944320 6132 0 0 0 8 2 0 0 20 0 20 0 419042802 27969658880 26025 33554432000 4194304 4196468 140733438336016 140733438318560 140643829477111 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 24543232 140733438337771 140733438338198 140733438338198 140733438341071 0
/proc/4339/statm: 6828530 26025 2795 1 0 6790935 0
[pid=4339/tid=4340] ppid=4336 vsize=27314120 memory=1398722017469774279 CPUtime=0.09 cores=0-7
/proc/4339/task/4340/stat : 4340 (java) R 4336 4336 4292 0 -1 4202560 4213 0 0 0 7 2 0 0 20 0 20 0 419042802 27969658880 26537 33554432000 4194304 4196468 140733438336016 140643801303440 140643813557598 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24543232 140733438337771 140733438338198 140733438338198 140733438341071 0
[pid=4339/tid=4341] ppid=4336 vsize=27314120 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/4339/task/4341/stat : 4341 (java) S 4336 4336 4292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419042804 27969658880 26537 33554432000 4194304 4196468 140733438336016 140643833719568 140643829487317 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24543232 140733438337771 140733438338198 140733438338198 140733438341071 0
[pid=4339/tid=4342] ppid=4336 vsize=27314120 memory=140206327142016 CPUtime=0 cores=0-7
/proc/4339/task/4342/stat : 4342 (java) S 4336 4336 4292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419042804 27969658880 26537 33554432000 4194304 4196468 140733438336016 140643617115024 140643829487317 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24543232 140733438337771 140733438338198 140733438338198 140733438341071 0
[pid=4339/tid=4343] ppid=4336 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4339/task/4343/stat : 4343 (java) S 4336 4336 4292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419042804 27969658880 26537 33554432000 4194304 4196468 140733438336016 140643616062480 140643829487317 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24543232 140733438337771 140733438338198 140733438338198 140733438341071 0
[pid=4339/tid=4344] ppid=4336 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4339/task/4344/stat : 4344 (java) S 4336 4336 4292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419042804 27969658880 26537 33554432000 4194304 4196468 140733438336016 140643615009936 140643829487317 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24543232 140733438337771 140733438338198 140733438338198 140733438341071 0
[pid=4339/tid=4345] ppid=4336 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4339/task/4345/stat : 4345 (java) S 4336 4336 4292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419042804 27969658880 26537 33554432000 4194304 4196468 140733438336016 140643613956368 140643829487317 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24543232 140733438337771 140733438338198 140733438338198 140733438341071 0
[pid=4339/tid=4346] ppid=4336 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/4339/task/4346/stat : 4346 (java) S 4336 4336 4292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419042804 27969658880 26537 33554432000 4194304 4196468 140733438336016 140643612903824 140643829487317 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24543232 140733438337771 140733438338198 140733438338198 140733438341071 0
[pid=4339/tid=4347] ppid=4336 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4339/task/4347/stat : 4347 (java) S 4336 4336 4292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419042804 27969658880 26537 33554432000 4194304 4196468 140733438336016 140643611851280 140643829487317 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24543232 140733438337771 140733438338198 140733438338198 140733438341071 0
[pid=4339/tid=4348] ppid=4336 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4339/task/4348/stat : 4348 (java) S 4336 4336 4292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419042804 27969658880 26537 33554432000 4194304 4196468 140733438336016 140643610798736 140643829487317 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24543232 140733438337771 140733438338198 140733438338198 140733438341071 0
[pid=4339/tid=4349] ppid=4336 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4339/task/4349/stat : 4349 (java) S 4336 4336 4292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419042806 27969658880 26537 33554432000 4194304 4196468 140733438336016 140643202488816 140643829488258 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24543232 140733438337771 140733438338198 140733438338198 140733438341071 0
[pid=4339/tid=4350] ppid=4336 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4339/task/4350/stat : 4350 (java) S 4336 4336 4292 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 419042806 27969658880 26537 33554432000 4194304 4196468 140733438336016 140641723999648 140643829487317 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24543232 140733438337771 140733438338198 140733438338198 140733438341071 0
[pid=4339/tid=4351] ppid=4336 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4339/task/4351/stat : 4351 (java) S 4336 4336 4292 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 419042806 27969658880 26537 33554432000 4194304 4196468 140733438336016 140641589777904 140643829487317 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24543232 140733438337771 140733438338198 140733438338198 140733438341071 0
[pid=4339/tid=4352] ppid=4336 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4339/task/4352/stat : 4352 (java) S 4336 4336 4292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419042809 27969658880 26537 33554432000 4194304 4196468 140733438336016 140641215273680 140643829495707 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24543232 140733438337771 140733438338198 140733438338198 140733438341071 0
[pid=4339/tid=4353] ppid=4336 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4339/task/4353/stat : 4353 (java) S 4336 4336 4292 0 -1 1077944384 306 0 0 0 0 0 0 0 20 0 20 0 419042809 27969658880 26537 33554432000 4194304 4196468 140733438336016 140642885822448 140643829488258 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24543232 140733438337771 140733438338198 140733438338198 140733438341071 0
[pid=4339/tid=4354] ppid=4336 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4339/task/4354/stat : 4354 (java) S 4336 4336 4292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419042809 27969658880 26537 33554432000 4194304 4196468 140733438336016 140642884769904 140643829488258 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24543232 140733438337771 140733438338198 140733438338198 140733438341071 0
[pid=4339/tid=4355] ppid=4336 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4339/task/4355/stat : 4355 (java) S 4336 4336 4292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419042809 27969658880 26537 33554432000 4194304 4196468 140733438336016 140642883717360 140643829488258 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24543232 140733438337771 140733438338198 140733438338198 140733438341071 0
[pid=4339/tid=4356] ppid=4336 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4339/task/4356/stat : 4356 (java) S 4336 4336 4292 0 -1 1077944384 259 0 0 0 0 0 0 0 20 0 20 0 419042809 27969658880 26537 33554432000 4194304 4196468 140733438336016 140642882664816 140643829488258 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24543232 140733438337771 140733438338198 140733438338198 140733438341071 0
[pid=4339/tid=4357] ppid=4336 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4339/task/4357/stat : 4357 (java) S 4336 4336 4292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419042809 27969658880 26537 33554432000 4194304 4196468 140733438336016 140640717368032 140643829487317 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24543232 140733438337771 140733438338198 140733438338198 140733438341071 0
[pid=4339/tid=4358] ppid=4336 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/4339/task/4358/stat : 4358 (java) S 4336 4336 4292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419042809 27969658880 26537 33554432000 4194304 4196468 140733438336016 140642881612720 140643829488258 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24543232 140733438337771 140733438338198 140733438338198 140733438341071 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 105496 KiB

[startup+0.210438 s]*
/proc/loadavg: 8.04 7.61 6.12 3/212 4358
/proc/meminfo: memFree=27901152/32770624 swapFree=66999932/67108860
[pid=4336] ppid=4333 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/4336/stat : 4336 (scop.sh) S 4333 4336 4292 0 -1 4202496 557 319 0 0 0 0 0 0 20 0 1 0 419042801 115843072 349 33554432000 4194304 5098028 140721451496320 140721451493576 140581069021820 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 29683712 140721451504420 140721451504748 140721451504748 140721451507661 0
/proc/4336/statm: 28282 349 296 221 0 87 0
[pid=4339] ppid=4336 vsize=27314120 memory=123460 CPUtime=0.24 cores=0-7
/proc/4339/stat : 4339 (java) S 4336 4336 4292 0 -1 1077944320 11749 0 0 0 20 4 0 0 20 0 20 0 419042802 27969658880 30865 33554432000 4194304 4196468 140733438336016 140733438318560 140643829477111 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 24543232 140733438337771 140733438338198 140733438338198 140733438341071 0
/proc/4339/statm: 6828530 30865 2943 1 0 6790935 0
[pid=4339/tid=4340] ppid=4336 vsize=27314120 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/4339/task/4340/stat : 4340 (java) R 4336 4336 4292 0 -1 4202560 9431 0 0 0 16 3 0 0 20 0 20 0 419042802 27969658880 30865 33554432000 4194304 4196468 140733438336016 140643801276496 140643809752986 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24543232 140733438337771 140733438338198 140733438338198 140733438341071 0
[pid=4339/tid=4341] ppid=4336 vsize=27314120 memory=331 CPUtime=0 cores=0-7
/proc/4339/task/4341/stat : 4341 (java) S 4336 4336 4292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419042804 27969658880 30865 33554432000 4194304 4196468 140733438336016 140643833719568 140643829487317 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24543232 140733438337771 140733438338198 140733438338198 140733438341071 0
[pid=4339/tid=4342] ppid=4336 vsize=27314120 memory=140206327151748 CPUtime=0 cores=0-7
/proc/4339/task/4342/stat : 4342 (java) S 4336 4336 4292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419042804 27969658880 30865 33554432000 4194304 4196468 140733438336016 140643617115024 140643829487317 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24543232 140733438337771 140733438338198 140733438338198 140733438341071 0
[pid=4339/tid=4343] ppid=4336 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/4339/task/4343/stat : 4343 (java) S 4336 4336 4292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419042804 27969658880 30865 33554432000 4194304 4196468 140733438336016 140643616062480 140643829487317 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24543232 140733438337771 140733438338198 140733438338198 140733438341071 0
[pid=4339/tid=4344] ppid=4336 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4339/task/4344/stat : 4344 (java) S 4336 4336 4292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419042804 27969658880 30865 33554432000 4194304 4196468 140733438336016 140643615009936 140643829487317 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24543232 140733438337771 140733438338198 140733438338198 140733438341071 0
[pid=4339/tid=4345] ppid=4336 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4339/task/4345/stat : 4345 (java) S 4336 4336 4292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419042804 27969658880 30865 33554432000 4194304 4196468 140733438336016 140643613956368 140643829487317 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24543232 140733438337771 140733438338198 140733438338198 140733438341071 0
[pid=4339/tid=4346] ppid=4336 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/4339/task/4346/stat : 4346 (java) S 4336 4336 4292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419042804 27969658880 30865 33554432000 4194304 4196468 140733438336016 140643612903824 140643829487317 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24543232 140733438337771 140733438338198 140733438338198 140733438341071 0
[pid=4339/tid=4347] ppid=4336 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4339/task/4347/stat : 4347 (java) S 4336 4336 4292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419042804 27969658880 30865 33554432000 4194304 4196468 140733438336016 140643611851280 140643829487317 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24543232 140733438337771 140733438338198 140733438338198 140733438341071 0
[pid=4339/tid=4348] ppid=4336 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4339/task/4348/stat : 4348 (java) S 4336 4336 4292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419042804 27969658880 30865 33554432000 4194304 4196468 140733438336016 140643610798736 140643829487317 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24543232 140733438337771 140733438338198 140733438338198 140733438341071 0
[pid=4339/tid=4349] ppid=4336 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4339/task/4349/stat : 4349 (java) S 4336 4336 4292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419042806 27969658880 30865 33554432000 4194304 4196468 140733438336016 140643202488816 140643829488258 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24543232 140733438337771 140733438338198 140733438338198 140733438341071 0
[pid=4339/tid=4350] ppid=4336 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4339/task/4350/stat : 4350 (java) S 4336 4336 4292 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 419042806 27969658880 30865 33554432000 4194304 4196468 140733438336016 140641723999648 140643829487317 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24543232 140733438337771 140733438338198 140733438338198 140733438341071 0
[pid=4339/tid=4351] ppid=4336 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4339/task/4351/stat : 4351 (java) S 4336 4336 4292 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 419042806 27969658880 30865 33554432000 4194304 4196468 140733438336016 140641589777904 140643829487317 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24543232 140733438337771 140733438338198 140733438338198 140733438341071 0
[pid=4339/tid=4352] ppid=4336 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4339/task/4352/stat : 4352 (java) S 4336 4336 4292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419042809 27969658880 30865 33554432000 4194304 4196468 140733438336016 140641215273680 140643829495707 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24543232 140733438337771 140733438338198 140733438338198 140733438341071 0
[pid=4339/tid=4353] ppid=4336 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4339/task/4353/stat : 4353 (java) S 4336 4336 4292 0 -1 1077944384 306 0 0 0 0 0 0 0 20 0 20 0 419042809 27969658880 30865 33554432000 4194304 4196468 140733438336016 140642885822448 140643829488258 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24543232 140733438337771 140733438338198 140733438338198 140733438341071 0
[pid=4339/tid=4354] ppid=4336 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4339/task/4354/stat : 4354 (java) S 4336 4336 4292 0 -1 1077944384 148 0 0 0 0 0 0 0 20 0 20 0 419042809 27969658880 30865 33554432000 4194304 4196468 140733438336016 140642884769904 140643829488258 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24543232 140733438337771 140733438338198 140733438338198 140733438341071 0
[pid=4339/tid=4355] ppid=4336 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/4339/task/4355/stat : 4355 (java) S 4336 4336 4292 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 20 0 419042809 27969658880 30865 33554432000 4194304 4196468 140733438336016 140642883717360 140643829488258 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24543232 140733438337771 140733438338198 140733438338198 140733438341071 0
[pid=4339/tid=4356] ppid=4336 vsize=27314120 memory=-1 CPUtime=0.02 cores=0-7
/proc/4339/task/4356/stat : 4356 (java) S 4336 4336 4292 0 -1 1077944384 462 0 0 0 2 0 0 0 20 0 20 0 419042809 27969658880 30865 33554432000 4194304 4196468 140733438336016 140642882664816 140643829488258 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24543232 140733438337771 140733438338198 140733438338198 140733438341071 0
[pid=4339/tid=4357] ppid=4336 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4339/task/4357/stat : 4357 (java) S 4336 4336 4292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419042809 27969658880 30865 33554432000 4194304 4196468 140733438336016 140640717368032 140643829487317 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24543232 140733438337771 140733438338198 140733438338198 140733438341071 0
[pid=4339/tid=4358] ppid=4336 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/4339/task/4358/stat : 4358 (java) S 4336 4336 4292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419042809 27969658880 30865 33554432000 4194304 4196468 140733438336016 140642881612720 140643829488258 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24543232 140733438337771 140733438338198 140733438338198 140733438341071 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 124856 KiB

[startup+0.31029 s]*
/proc/loadavg: 8.04 7.61 6.12 2/212 4358
/proc/meminfo: memFree=27897740/32770624 swapFree=66999932/67108860
[pid=4336] ppid=4333 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/4336/stat : 4336 (scop.sh) S 4333 4336 4292 0 -1 4202496 557 319 0 0 0 0 0 0 20 0 1 0 419042801 115843072 349 33554432000 4194304 5098028 140721451496320 140721451493576 140581069021820 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 29683712 140721451504420 140721451504748 140721451504748 140721451507661 0
/proc/4336/statm: 28282 349 296 221 0 87 0
[pid=4339] ppid=4336 vsize=27314120 memory=127768 CPUtime=0.42 cores=0-7
/proc/4339/stat : 4339 (java) S 4336 4336 4292 0 -1 1077944320 12337 0 0 0 38 4 0 0 20 0 20 0 419042802 27969658880 31942 33554432000 4194304 4196468 140733438336016 140733438318560 140643829477111 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 24543232 140733438337771 140733438338198 140733438338198 140733438341071 0
/proc/4339/statm: 6828530 31942 3046 1 0 6790935 0
[pid=4339/tid=4340] ppid=4336 vsize=27314120 memory=1398722017469774279 CPUtime=0.29 cores=0-7
/proc/4339/task/4340/stat : 4340 (java) R 4336 4336 4292 0 -1 4202560 9796 0 0 0 26 3 0 0 20 0 20 0 419042802 27969658880 31942 33554432000 4194304 4196468 140733438336016 140643801267760 140643809752871 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24543232 140733438337771 140733438338198 140733438338198 140733438341071 0
[pid=4339/tid=4341] ppid=4336 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4339/task/4341/stat : 4341 (java) S 4336 4336 4292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419042804 27969658880 31942 33554432000 4194304 4196468 140733438336016 140643833719568 140643829487317 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24543232 140733438337771 140733438338198 140733438338198 140733438341071 0
[pid=4339/tid=4342] ppid=4336 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4339/task/4342/stat : 4342 (java) S 4336 4336 4292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419042804 27969658880 31942 33554432000 4194304 4196468 140733438336016 140643617115024 140643829487317 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24543232 140733438337771 140733438338198 140733438338198 140733438341071 0
[pid=4339/tid=4343] ppid=4336 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4339/task/4343/stat : 4343 (java) S 4336 4336 4292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419042804 27969658880 31942 33554432000 4194304 4196468 140733438336016 140643616062480 140643829487317 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24543232 140733438337771 140733438338198 140733438338198 140733438341071 0
[pid=4339/tid=4344] ppid=4336 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4339/task/4344/stat : 4344 (java) S 4336 4336 4292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419042804 27969658880 31942 33554432000 4194304 4196468 140733438336016 140643615009936 140643829487317 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24543232 140733438337771 140733438338198 140733438338198 140733438341071 0
[pid=4339/tid=4345] ppid=4336 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4339/task/4345/stat : 4345 (java) S 4336 4336 4292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419042804 27969658880 31942 33554432000 4194304 4196468 140733438336016 140643613956368 140643829487317 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24543232 140733438337771 140733438338198 140733438338198 140733438341071 0
[pid=4339/tid=4346] ppid=4336 vsize=27314120 memory=140206187571887 CPUtime=0 cores=0-7
/proc/4339/task/4346/stat : 4346 (java) S 4336 4336 4292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419042804 27969658880 31942 33554432000 4194304 4196468 140733438336016 140643612903824 140643829487317 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24543232 140733438337771 140733438338198 140733438338198 140733438341071 0
[pid=4339/tid=4347] ppid=4336 vsize=27314120 memory=140206187574192 CPUtime=0 cores=0-7
/proc/4339/task/4347/stat : 4347 (java) S 4336 4336 4292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419042804 27969658880 31942 33554432000 4194304 4196468 140733438336016 140643611851280 140643829487317 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24543232 140733438337771 140733438338198 140733438338198 140733438341071 0
[pid=4339/tid=4348] ppid=4336 vsize=27314120 memory=140206187576496 CPUtime=0 cores=0-7
/proc/4339/task/4348/stat : 4348 (java) S 4336 4336 4292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419042804 27969658880 31942 33554432000 4194304 4196468 140733438336016 140643610798736 140643829487317 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24543232 140733438337771 140733438338198 140733438338198 140733438341071 0
[pid=4339/tid=4349] ppid=4336 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4339/task/4349/stat : 4349 (java) S 4336 4336 4292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419042806 27969658880 31942 33554432000 4194304 4196468 140733438336016 140643202488816 140643829488258 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24543232 140733438337771 140733438338198 140733438338198 140733438341071 0
[pid=4339/tid=4350] ppid=4336 vsize=27314120 memory=280412375166864 CPUtime=0 cores=0-7
/proc/4339/task/4350/stat : 4350 (java) S 4336 4336 4292 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 419042806 27969658880 31942 33554432000 4194304 4196468 140733438336016 140641723999648 140643829487317 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24543232 140733438337771 140733438338198 140733438338198 140733438341071 0
[pid=4339/tid=4351] ppid=4336 vsize=27314120 memory=280412375164560 CPUtime=0 cores=0-7
/proc/4339/task/4351/stat : 4351 (java) S 4336 4336 4292 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 419042806 27969658880 31942 33554432000 4194304 4196468 140733438336016 140641589777904 140643829487317 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24543232 140733438337771 140733438338198 140733438338198 140733438341071 0
[pid=4339/tid=4352] ppid=4336 vsize=27314120 memory=280412375171472 CPUtime=0 cores=0-7
/proc/4339/task/4352/stat : 4352 (java) S 4336 4336 4292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419042809 27969658880 31942 33554432000 4194304 4196468 140733438336016 140641215273680 140643829495707 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24543232 140733438337771 140733438338198 140733438338198 140733438341071 0
[pid=4339/tid=4353] ppid=4336 vsize=27314120 memory=280412375112752 CPUtime=0.01 cores=0-7
/proc/4339/task/4353/stat : 4353 (java) S 4336 4336 4292 0 -1 1077944384 350 0 0 0 1 0 0 0 20 0 20 0 419042809 27969658880 31942 33554432000 4194304 4196468 140733438336016 140642885822448 140643829488258 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24543232 140733438337771 140733438338198 140733438338198 140733438341071 0
[pid=4339/tid=4354] ppid=4336 vsize=27314120 memory=280412375185296 CPUtime=0.01 cores=0-7
/proc/4339/task/4354/stat : 4354 (java) S 4336 4336 4292 0 -1 1077944384 188 0 0 0 1 0 0 0 20 0 20 0 419042809 27969658880 31942 33554432000 4194304 4196468 140733438336016 140642884769904 140643829488258 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24543232 140733438337771 140733438338198 140733438338198 140733438341071 0
[pid=4339/tid=4355] ppid=4336 vsize=27314120 memory=280412375192208 CPUtime=0.02 cores=0-7
/proc/4339/task/4355/stat : 4355 (java) S 4336 4336 4292 0 -1 1077944384 136 0 0 0 2 0 0 0 20 0 20 0 419042809 27969658880 31942 33554432000 4194304 4196468 140733438336016 140642883717360 140643829488258 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24543232 140733438337771 140733438338198 140733438338198 140733438341071 0
[pid=4339/tid=4356] ppid=4336 vsize=27314120 memory=280412375189904 CPUtime=0.07 cores=0-7
/proc/4339/task/4356/stat : 4356 (java) S 4336 4336 4292 0 -1 1077944384 507 0 0 0 7 0 0 0 20 0 20 0 419042809 27969658880 31942 33554432000 4194304 4196468 140733438336016 140642882664816 140643829488258 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24543232 140733438337771 140733438338198 140733438338198 140733438341071 0
[pid=4339/tid=4357] ppid=4336 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4339/task/4357/stat : 4357 (java) S 4336 4336 4292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419042809 27969658880 31942 33554432000 4194304 4196468 140733438336016 140640717368032 140643829487317 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24543232 140733438337771 140733438338198 140733438338198 140733438341071 0
[pid=4339/tid=4358] ppid=4336 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/4339/task/4358/stat : 4358 (java) S 4336 4336 4292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419042809 27969658880 31942 33554432000 4194304 4196468 140733438336016 140642881612720 140643829488258 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24543232 140733438337771 140733438338198 140733438338198 140733438341071 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 129164 KiB

[startup+0.700941 s]
/proc/loadavg: 8.04 7.61 6.12 3/212 4358
/proc/meminfo: memFree=27876148/32770624 swapFree=66999932/67108860
[pid=4336] ppid=4333 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/4336/stat : 4336 (scop.sh) S 4333 4336 4292 0 -1 4202496 557 319 0 0 0 0 0 0 20 0 1 0 419042801 115843072 349 33554432000 4194304 5098028 140721451496320 140721451493576 140581069021820 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 29683712 140721451504420 140721451504748 140721451504748 140721451507661 0
/proc/4336/statm: 28282 349 296 221 0 87 0
[pid=4339] ppid=4336 vsize=27320392 memory=163492 CPUtime=1.01 cores=0-7
/proc/4339/stat : 4339 (java) S 4336 4336 4292 0 -1 1077944320 20044 0 0 0 94 7 0 0 20 0 20 0 419042802 27976081408 40873 33554432000 4194304 4196468 140733438336016 140733438318560 140643829477111 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 24543232 140733438337771 140733438338198 140733438338198 140733438341071 0
/proc/4339/statm: 6830098 40873 3184 1 0 6791447 0
[pid=4339/tid=4340] ppid=4336 vsize=27320392 memory=0 CPUtime=0.67 cores=0-7
/proc/4339/task/4340/stat : 4340 (java) R 4336 4336 4292 0 -1 4202560 16855 0 0 0 62 5 0 0 20 0 20 0 419042802 27976081408 40873 33554432000 4194304 4196468 140733438336016 140643801312608 140643284364516 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24543232 140733438337771 140733438338198 140733438338198 140733438341071 0
[pid=4339/tid=4341] ppid=4336 vsize=27320392 memory=140206187783024 CPUtime=0 cores=0-7
/proc/4339/task/4341/stat : 4341 (java) S 4336 4336 4292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419042804 27976081408 40873 33554432000 4194304 4196468 140733438336016 140643833719568 140643829487317 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24543232 140733438337771 140733438338198 140733438338198 140733438341071 0
[pid=4339/tid=4342] ppid=4336 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/4339/task/4342/stat : 4342 (java) S 4336 4336 4292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419042804 27976081408 40873 33554432000 4194304 4196468 140733438336016 140643617115024 140643829487317 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24543232 140733438337771 140733438338198 140733438338198 140733438341071 0
[pid=4339/tid=4343] ppid=4336 vsize=27320392 memory=776 CPUtime=0 cores=0-7
/proc/4339/task/4343/stat : 4343 (java) S 4336 4336 4292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419042804 27976081408 40873 33554432000 4194304 4196468 140733438336016 140643616062480 140643829487317 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24543232 140733438337771 140733438338198 140733438338198 140733438341071 0

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

/proc/4421/task/4427/stat : 4427 (java) S 4336 4336 4292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419129224 8616062976 30380 33554432000 4194304 4196468 140727858031168 140595566722064 140596084405973 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8736768 140727858037752 140727858037910 140727858037910 140727858040783 0
[pid=4421/tid=4428] ppid=4336 vsize=8414124 memory=4104 CPUtime=0 cores=0-7
/proc/4421/task/4428/stat : 4428 (java) S 4336 4336 4292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419129224 8616062976 30380 33554432000 4194304 4196468 140727858031168 140595565669520 140596084405973 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8736768 140727858037752 140727858037910 140727858037910 140727858040783 0
[pid=4421/tid=4429] ppid=4336 vsize=8414124 memory=1808 CPUtime=0 cores=0-7
/proc/4421/task/4429/stat : 4429 (java) S 4336 4336 4292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419129224 8616062976 30380 33554432000 4194304 4196468 140727858031168 140595564616464 140596084405973 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8736768 140727858037752 140727858037910 140727858037910 140727858040783 0
[pid=4421/tid=4430] ppid=4336 vsize=8414124 memory=924 CPUtime=0 cores=0-7
/proc/4421/task/4430/stat : 4430 (java) S 4336 4336 4292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419129224 8616062976 30380 33554432000 4194304 4196468 140727858031168 140595563563920 140596084405973 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8736768 140727858037752 140727858037910 140727858037910 140727858040783 0
[pid=4421/tid=4431] ppid=4336 vsize=8414124 memory=3908 CPUtime=0 cores=0-7
/proc/4421/task/4431/stat : 4431 (java) S 4336 4336 4292 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 419129225 8616062976 30380 33554432000 4194304 4196468 140727858031168 140595177863408 140596084406914 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8736768 140727858037752 140727858037910 140727858037910 140727858040783 0
[pid=4421/tid=4432] ppid=4336 vsize=8414124 memory=1412 CPUtime=0 cores=0-7
/proc/4421/task/4432/stat : 4432 (java) S 4336 4336 4292 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 419129225 8616062976 30380 33554432000 4194304 4196468 140727858031168 140594546468000 140596084405973 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8736768 140727858037752 140727858037910 140727858037910 140727858040783 0
[pid=4421/tid=4433] ppid=4336 vsize=8414124 memory=3464 CPUtime=0 cores=0-7
/proc/4421/task/4433/stat : 4433 (java) S 4336 4336 4292 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 419129226 8616062976 30380 33554432000 4194304 4196468 140727858031168 140594412245744 140596084405973 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8736768 140727858037752 140727858037910 140727858037910 140727858040783 0
[pid=4421/tid=4434] ppid=4336 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/4421/task/4434/stat : 4434 (java) S 4336 4336 4292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419129228 8616062976 30380 33554432000 4194304 4196468 140727858031168 140594037741520 140596084414363 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8736768 140727858037752 140727858037910 140727858037910 140727858040783 0
[pid=4421/tid=4435] ppid=4336 vsize=8414124 memory=121212 CPUtime=0.07 cores=0-7
/proc/4421/task/4435/stat : 4435 (java) S 4336 4336 4292 0 -1 1077944384 454 0 0 0 7 0 0 0 20 0 24 0 419129228 8616062976 30380 33554432000 4194304 4196468 140727858031168 140595176811248 140596084406914 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8736768 140727858037752 140727858037910 140727858037910 140727858040783 0
[pid=4421/tid=4436] ppid=4336 vsize=8414124 memory=17216 CPUtime=0.16 cores=0-7
/proc/4421/task/4436/stat : 4436 (java) S 4336 4336 4292 0 -1 1077944384 654 0 0 0 16 0 0 0 20 0 24 0 419129228 8616062976 30380 33554432000 4194304 4196468 140727858031168 140595175758704 140596084406914 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8736768 140727858037752 140727858037910 140727858037910 140727858040783 0
[pid=4421/tid=4437] ppid=4336 vsize=8414124 memory=1660 CPUtime=0.1 cores=0-7
/proc/4421/task/4437/stat : 4437 (java) S 4336 4336 4292 0 -1 1077944384 346 0 0 0 10 0 0 0 20 0 24 0 419129229 8616062976 30380 33554432000 4194304 4196468 140727858031168 140595174705648 140596084406914 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8736768 140727858037752 140727858037910 140727858037910 140727858040783 0
[pid=4421/tid=4438] ppid=4336 vsize=8414124 memory=1398722017469774279 CPUtime=0.22 cores=0-7
/proc/4421/task/4438/stat : 4438 (java) S 4336 4336 4292 0 -1 1077944384 573 0 0 0 22 0 0 0 20 0 24 0 419129229 8616062976 30380 33554432000 4194304 4196468 140727858031168 140595173653104 140596084406914 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8736768 140727858037752 140727858037910 140727858037910 140727858040783 0
[pid=4421/tid=4439] ppid=4336 vsize=8414124 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/4421/task/4439/stat : 4439 (java) S 4336 4336 4292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419129229 8616062976 30380 33554432000 4194304 4196468 140727858031168 140593539836384 140596084405973 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8736768 140727858037752 140727858037910 140727858037910 140727858040783 0
[pid=4421/tid=4440] ppid=4336 vsize=8414124 memory=17027924 CPUtime=0 cores=0-7
/proc/4421/task/4440/stat : 4440 (java) S 4336 4336 4292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419129229 8616062976 30380 33554432000 4194304 4196468 140727858031168 140595172600496 140596084406914 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8736768 140727858037752 140727858037910 140727858037910 140727858040783 0
[pid=4421/tid=4442] ppid=4336 vsize=8414124 memory=1660 CPUtime=0 cores=0-7
/proc/4421/task/4442/stat : 4442 (java) S 4336 4336 4292 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 419129300 8616062976 30380 33554432000 4194304 4196468 140727858031168 140595164566464 140596084420377 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 8736768 140727858037752 140727858037910 140727858037910 140727858040783 0
[pid=4421/tid=4444] ppid=4336 vsize=8414124 memory=496 CPUtime=0 cores=0-7
/proc/4421/task/4444/stat : 4444 (java) S 4336 4336 4292 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 24 0 419129300 8616062976 30380 33554432000 4194304 4196468 140727858031168 140592868737040 140596084417693 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 8736768 140727858037752 140727858037910 140727858037910 140727858040783 0
[pid=4421/tid=4445] ppid=4336 vsize=8414124 memory=1560 CPUtime=0 cores=0-7
/proc/4421/task/4445/stat : 4445 (java) S 4336 4336 4292 0 -1 4202560 23 0 0 0 0 0 0 0 20 0 24 0 419129300 8616062976 30380 33554432000 4194304 4196468 140727858031168 140593137172624 140596084417693 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 8736768 140727858037752 140727858037910 140727858037910 140727858040783 0
[pid=4421/tid=4446] ppid=4336 vsize=8414124 memory=8112282956445269571 CPUtime=0 cores=0-7
/proc/4421/task/4446/stat : 4446 (java) S 4336 4336 4292 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 419129302 8616062976 30380 33554432000 4194304 4196468 140727858031168 140592600309168 140596084405973 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8736768 140727858037752 140727858037910 140727858037910 140727858040783 0
Current children cumulated CPU time: 1038.62 s
Current children cumulated vsize: 8885832 KiB
Current children cumulated memory: 461476 KiB

[startup+866.601 s]
/proc/loadavg: 1.54 1.58 3.15 2/216 4446
/proc/meminfo: memFree=27784920/32770624 swapFree=66999932/67108860
[pid=4336] ppid=4333 vsize=113128 memory=1476 CPUtime=1035.81 cores=0-7
/proc/4336/stat : 4336 (scop.sh) S 4333 4336 4292 0 -1 4202496 583 276520 0 0 0 0 100632 2949 20 0 1 0 419042801 115843072 369 33554432000 4194304 5098028 140721451496320 140721451493064 140581069021820 0 65536 4100 81923 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 29683712 140721451504420 140721451504748 140721451504748 140721451507661 0
/proc/4336/statm: 28282 369 311 221 0 87 0
[pid=4421] ppid=4336 vsize=8414124 memory=121520 CPUtime=1.4 cores=0-7
/proc/4421/stat : 4421 (java) S 4336 4336 4292 0 -1 1077944320 20362 0 0 0 131 9 0 0 20 0 24 0 419129221 8616062976 30380 33554432000 4194304 4196468 140727858031168 140727858013712 140596084395767 0 0 2 25189581 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 8736768 140727858037752 140727858037910 140727858037910 140727858040783 0
/proc/4421/statm: 2103531 30380 3213 1 0 2064875 0
[pid=4441] ppid=4421 vsize=565624 memory=545504 CPUtime=1.61 cores=0-7
/proc/4441/stat : 4441 (manyglucose-4.1) R 4421 4336 4292 0 -1 4202496 93823 0 0 0 147 14 0 0 20 0 1 0 419129299 579198976 136376 33554432000 4194304 4454172 140728235800960 140728235798584 139919763237861 0 4 0 8388610 0 0 0 17 3 0 0 0 0 0 6552832 6554400 8925184 140728235807594 140728235807792 140728235807792 140728235810746 0
/proc/4441/statm: 141439 136376 378 64 0 137107 0
[pid=4421/tid=4422] ppid=4336 vsize=8414124 memory=111632 CPUtime=0.79 cores=0-7
/proc/4421/task/4422/stat : 4422 (java) S 4336 4336 4292 0 -1 1077944384 16913 0 0 0 73 6 0 0 20 0 24 0 419129222 8616062976 30380 33554432000 4194304 4196468 140727858031168 140596056235936 140596084405973 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8736768 140727858037752 140727858037910 140727858037910 140727858040783 0
[pid=4421/tid=4423] ppid=4336 vsize=8414124 memory=800 CPUtime=0 cores=0-7
/proc/4421/task/4423/stat : 4423 (java) S 4336 4336 4292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419129223 8616062976 30380 33554432000 4194304 4196468 140727858031168 140596088637968 140596084405973 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8736768 140727858037752 140727858037910 140727858037910 140727858040783 0
[pid=4421/tid=4424] ppid=4336 vsize=8414124 memory=4104 CPUtime=0 cores=0-7
/proc/4421/task/4424/stat : 4424 (java) S 4336 4336 4292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419129223 8616062976 30380 33554432000 4194304 4196468 140727858031168 140595569879696 140596084405973 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8736768 140727858037752 140727858037910 140727858037910 140727858040783 0
[pid=4421/tid=4425] ppid=4336 vsize=8414124 memory=1808 CPUtime=0 cores=0-7
/proc/4421/task/4425/stat : 4425 (java) S 4336 4336 4292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419129224 8616062976 30380 33554432000 4194304 4196468 140727858031168 140595568826640 140596084405973 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8736768 140727858037752 140727858037910 140727858037910 140727858040783 0
[pid=4421/tid=4426] ppid=4336 vsize=8414124 memory=924 CPUtime=0 cores=0-7
/proc/4421/task/4426/stat : 4426 (java) S 4336 4336 4292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419129224 8616062976 30380 33554432000 4194304 4196468 140727858031168 140595567774096 140596084405973 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8736768 140727858037752 140727858037910 140727858037910 140727858040783 0
[pid=4421/tid=4427] ppid=4336 vsize=8414124 memory=1396 CPUtime=0 cores=0-7
/proc/4421/task/4427/stat : 4427 (java) S 4336 4336 4292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419129224 8616062976 30380 33554432000 4194304 4196468 140727858031168 140595566722064 140596084405973 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8736768 140727858037752 140727858037910 140727858037910 140727858040783 0
[pid=4421/tid=4428] ppid=4336 vsize=8414124 memory=1760 CPUtime=0 cores=0-7
/proc/4421/task/4428/stat : 4428 (java) S 4336 4336 4292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419129224 8616062976 30380 33554432000 4194304 4196468 140727858031168 140595565669520 140596084405973 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8736768 140727858037752 140727858037910 140727858037910 140727858040783 0
[pid=4421/tid=4429] ppid=4336 vsize=8414124 memory=121520 CPUtime=0 cores=0-7
/proc/4421/task/4429/stat : 4429 (java) S 4336 4336 4292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419129224 8616062976 30380 33554432000 4194304 4196468 140727858031168 140595564616464 140596084405973 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8736768 140727858037752 140727858037910 140727858037910 140727858040783 0
[pid=4421/tid=4430] ppid=4336 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/4421/task/4430/stat : 4430 (java) S 4336 4336 4292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419129224 8616062976 30380 33554432000 4194304 4196468 140727858031168 140595563563920 140596084405973 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8736768 140727858037752 140727858037910 140727858037910 140727858040783 0
[pid=4421/tid=4431] ppid=4336 vsize=8414124 memory=121520 CPUtime=0 cores=0-7
/proc/4421/task/4431/stat : 4431 (java) S 4336 4336 4292 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 419129225 8616062976 30380 33554432000 4194304 4196468 140727858031168 140595177863408 140596084406914 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8736768 140727858037752 140727858037910 140727858037910 140727858040783 0
[pid=4421/tid=4432] ppid=4336 vsize=8414124 memory=77156 CPUtime=0 cores=0-7
/proc/4421/task/4432/stat : 4432 (java) S 4336 4336 4292 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 419129225 8616062976 30380 33554432000 4194304 4196468 140727858031168 140594546468000 140596084405973 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8736768 140727858037752 140727858037910 140727858037910 140727858040783 0
[pid=4421/tid=4433] ppid=4336 vsize=8414124 memory=55 CPUtime=0 cores=0-7
/proc/4421/task/4433/stat : 4433 (java) S 4336 4336 4292 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 419129226 8616062976 30380 33554432000 4194304 4196468 140727858031168 140594412245744 140596084405973 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8736768 140727858037752 140727858037910 140727858037910 140727858040783 0
[pid=4421/tid=4434] ppid=4336 vsize=8414124 memory=9980 CPUtime=0 cores=0-7
/proc/4421/task/4434/stat : 4434 (java) S 4336 4336 4292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419129228 8616062976 30380 33554432000 4194304 4196468 140727858031168 140594037741520 140596084414363 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8736768 140727858037752 140727858037910 140727858037910 140727858040783 0
[pid=4421/tid=4435] ppid=4336 vsize=8414124 memory=22665 CPUtime=0.07 cores=0-7
/proc/4421/task/4435/stat : 4435 (java) S 4336 4336 4292 0 -1 1077944384 454 0 0 0 7 0 0 0 20 0 24 0 419129228 8616062976 30380 33554432000 4194304 4196468 140727858031168 140595176811248 140596084406914 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8736768 140727858037752 140727858037910 140727858037910 140727858040783 0
[pid=4421/tid=4436] ppid=4336 vsize=8414124 memory=591379430248115459 CPUtime=0.16 cores=0-7
/proc/4421/task/4436/stat : 4436 (java) S 4336 4336 4292 0 -1 1077944384 654 0 0 0 16 0 0 0 20 0 24 0 419129228 8616062976 30380 33554432000 4194304 4196468 140727858031168 140595175758704 140596084406914 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8736768 140727858037752 140727858037910 140727858037910 140727858040783 0
[pid=4421/tid=4437] ppid=4336 vsize=8414124 memory=19566 CPUtime=0.1 cores=0-7
/proc/4421/task/4437/stat : 4437 (java) S 4336 4336 4292 0 -1 1077944384 346 0 0 0 10 0 0 0 20 0 24 0 419129229 8616062976 30380 33554432000 4194304 4196468 140727858031168 140595174705648 140596084406914 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8736768 140727858037752 140727858037910 140727858037910 140727858040783 0
[pid=4421/tid=4438] ppid=4336 vsize=8414124 memory=3084103 CPUtime=0.22 cores=0-7
/proc/4421/task/4438/stat : 4438 (java) S 4336 4336 4292 0 -1 1077944384 573 0 0 0 22 0 0 0 20 0 24 0 419129229 8616062976 30380 33554432000 4194304 4196468 140727858031168 140595173653104 140596084406914 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8736768 140727858037752 140727858037910 140727858037910 140727858040783 0
[pid=4421/tid=4439] ppid=4336 vsize=8414124 memory=5864064282465419368 CPUtime=0 cores=0-7
/proc/4421/task/4439/stat : 4439 (java) S 4336 4336 4292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419129229 8616062976 30380 33554432000 4194304 4196468 140727858031168 140593539836384 140596084405973 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8736768 140727858037752 140727858037910 140727858037910 140727858040783 0
[pid=4421/tid=4440] ppid=4336 vsize=8414124 memory=7084820200048181348 CPUtime=0 cores=0-7
/proc/4421/task/4440/stat : 4440 (java) S 4336 4336 4292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419129229 8616062976 30380 33554432000 4194304 4196468 140727858031168 140595172600496 140596084406914 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8736768 140727858037752 140727858037910 140727858037910 140727858040783 0
[pid=4421/tid=4442] ppid=4336 vsize=8414124 memory=8171313584581922903 CPUtime=0 cores=0-7
/proc/4421/task/4442/stat : 4442 (java) S 4336 4336 4292 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 419129300 8616062976 30380 33554432000 4194304 4196468 140727858031168 140595164566464 140596084420377 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 8736768 140727858037752 140727858037910 140727858037910 140727858040783 0
[pid=4421/tid=4444] ppid=4336 vsize=8414124 memory=590535005317983491 CPUtime=0 cores=0-7
/proc/4421/task/4444/stat : 4444 (java) S 4336 4336 4292 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 24 0 419129300 8616062976 30380 33554432000 4194304 4196468 140727858031168 140592868737040 140596084417693 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 8736768 140727858037752 140727858037910 140727858037910 140727858040783 0
[pid=4421/tid=4445] ppid=4336 vsize=8414124 memory=19566 CPUtime=0 cores=0-7
/proc/4421/task/4445/stat : 4445 (java) S 4336 4336 4292 0 -1 4202560 23 0 0 0 0 0 0 0 20 0 24 0 419129300 8616062976 30380 33554432000 4194304 4196468 140727858031168 140593137172624 140596084417693 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 8736768 140727858037752 140727858037910 140727858037910 140727858040783 0
[pid=4421/tid=4446] ppid=4336 vsize=8414124 memory=3053811428158493008 CPUtime=0 cores=0-7
/proc/4421/task/4446/stat : 4446 (java) S 4336 4336 4292 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 419129302 8616062976 30380 33554432000 4194304 4196468 140727858031168 140592600309168 140596084405973 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8736768 140727858037752 140727858037910 140727858037910 140727858040783 0
Current children cumulated CPU time: 1038.82 s
Current children cumulated vsize: 9092876 KiB
Current children cumulated memory: 668500 KiB

[startup+866.711 s]
/proc/loadavg: 1.54 1.58 3.15 2/216 4446
/proc/meminfo: memFree=27784920/32770624 swapFree=66999932/67108860
[pid=4336] ppid=4333 vsize=113128 memory=1476 CPUtime=1035.81 cores=0-7
/proc/4336/stat : 4336 (scop.sh) S 4333 4336 4292 0 -1 4202496 583 276520 0 0 0 0 100632 2949 20 0 1 0 419042801 115843072 369 33554432000 4194304 5098028 140721451496320 140721451493064 140581069021820 0 65536 4100 81923 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 29683712 140721451504420 140721451504748 140721451504748 140721451507661 0
/proc/4336/statm: 28282 369 311 221 0 87 0
[pid=4421] ppid=4336 vsize=8414124 memory=121636 CPUtime=1.44 cores=0-7
/proc/4421/stat : 4421 (java) S 4336 4336 4292 0 -1 1077944320 20406 0 0 0 135 9 0 0 20 0 24 0 419129221 8616062976 30409 33554432000 4194304 4196468 140727858031168 140727858013712 140596084395767 0 0 2 25189581 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 8736768 140727858037752 140727858037910 140727858037910 140727858040783 0
/proc/4421/statm: 2103531 30409 3213 1 0 2064875 0
[pid=4421/tid=4422] ppid=4336 vsize=8414124 memory=121520 CPUtime=0.79 cores=0-7
/proc/4421/task/4422/stat : 4422 (java) S 4336 4336 4292 0 -1 1077944384 16913 0 0 0 73 6 0 0 20 0 24 0 419129222 8616062976 30409 33554432000 4194304 4196468 140727858031168 140596056235936 140596084405973 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8736768 140727858037752 140727858037910 140727858037910 140727858040783 0
[pid=4421/tid=4423] ppid=4336 vsize=8414124 memory=121520 CPUtime=0 cores=0-7
/proc/4421/task/4423/stat : 4423 (java) S 4336 4336 4292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419129223 8616062976 30409 33554432000 4194304 4196468 140727858031168 140596088637968 140596084405973 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8736768 140727858037752 140727858037910 140727858037910 140727858040783 0
[pid=4421/tid=4424] ppid=4336 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/4421/task/4424/stat : 4424 (java) S 4336 4336 4292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419129223 8616062976 30409 33554432000 4194304 4196468 140727858031168 140595569879696 140596084405973 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8736768 140727858037752 140727858037910 140727858037910 140727858040783 0
[pid=4421/tid=4425] ppid=4336 vsize=8414124 memory=3580 CPUtime=0 cores=0-7
/proc/4421/task/4425/stat : 4425 (java) S 4336 4336 4292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419129224 8616062976 30409 33554432000 4194304 4196468 140727858031168 140595568826640 140596084405973 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8736768 140727858037752 140727858037910 140727858037910 140727858040783 0
[pid=4421/tid=4426] ppid=4336 vsize=8414124 memory=2832 CPUtime=0 cores=0-7
/proc/4421/task/4426/stat : 4426 (java) S 4336 4336 4292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419129224 8616062976 30409 33554432000 4194304 4196468 140727858031168 140595567774096 140596084405973 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8736768 140727858037752 140727858037910 140727858037910 140727858040783 0
[pid=4421/tid=4427] ppid=4336 vsize=8414124 memory=1712 CPUtime=0 cores=0-7
/proc/4421/task/4427/stat : 4427 (java) S 4336 4336 4292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419129224 8616062976 30409 33554432000 4194304 4196468 140727858031168 140595566722064 140596084405973 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8736768 140727858037752 140727858037910 140727858037910 140727858040783 0
[pid=4421/tid=4428] ppid=4336 vsize=8414124 memory=1220 CPUtime=0 cores=0-7
/proc/4421/task/4428/stat : 4428 (java) S 4336 4336 4292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419129224 8616062976 30409 33554432000 4194304 4196468 140727858031168 140595565669520 140596084405973 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8736768 140727858037752 140727858037910 140727858037910 140727858040783 0
[pid=4421/tid=4429] ppid=4336 vsize=8414124 memory=992 CPUtime=0 cores=0-7
/proc/4421/task/4429/stat : 4429 (java) S 4336 4336 4292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419129224 8616062976 30409 33554432000 4194304 4196468 140727858031168 140595564616464 140596084405973 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8736768 140727858037752 140727858037910 140727858037910 140727858040783 0
[pid=4421/tid=4430] ppid=4336 vsize=8414124 memory=8112282956445269571 CPUtime=0 cores=0-7
/proc/4421/task/4430/stat : 4430 (java) S 4336 4336 4292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419129224 8616062976 30409 33554432000 4194304 4196468 140727858031168 140595563563920 140596084405973 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8736768 140727858037752 140727858037910 140727858037910 140727858040783 0
[pid=4421/tid=4431] ppid=4336 vsize=8414124 memory=1412 CPUtime=0 cores=0-7
/proc/4421/task/4431/stat : 4431 (java) S 4336 4336 4292 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 419129225 8616062976 30409 33554432000 4194304 4196468 140727858031168 140595177863408 140596084406914 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8736768 140727858037752 140727858037910 140727858037910 140727858040783 0
[pid=4421/tid=4432] ppid=4336 vsize=8414124 memory=1432 CPUtime=0 cores=0-7
/proc/4421/task/4432/stat : 4432 (java) S 4336 4336 4292 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 419129225 8616062976 30409 33554432000 4194304 4196468 140727858031168 140594546468000 140596084405973 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8736768 140727858037752 140727858037910 140727858037910 140727858040783 0
[pid=4421/tid=4433] ppid=4336 vsize=8414124 memory=9536 CPUtime=0 cores=0-7
/proc/4421/task/4433/stat : 4433 (java) S 4336 4336 4292 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 419129226 8616062976 30409 33554432000 4194304 4196468 140727858031168 140594412245744 140596084405973 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8736768 140727858037752 140727858037910 140727858037910 140727858040783 0
[pid=4421/tid=4434] ppid=4336 vsize=8414124 memory=692 CPUtime=0 cores=0-7
/proc/4421/task/4434/stat : 4434 (java) S 4336 4336 4292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419129228 8616062976 30409 33554432000 4194304 4196468 140727858031168 140594037741520 140596084414363 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8736768 140727858037752 140727858037910 140727858037910 140727858040783 0
[pid=4421/tid=4435] ppid=4336 vsize=8414124 memory=4128 CPUtime=0.08 cores=0-7
/proc/4421/task/4435/stat : 4435 (java) S 4336 4336 4292 0 -1 1077944384 458 0 0 0 8 0 0 0 20 0 24 0 419129228 8616062976 30409 33554432000 4194304 4196468 140727858031168 140595176811248 140596084406914 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8736768 140727858037752 140727858037910 140727858037910 140727858040783 0
[pid=4421/tid=4436] ppid=4336 vsize=8414124 memory=5988 CPUtime=0.17 cores=0-7
/proc/4421/task/4436/stat : 4436 (java) R 4336 4336 4292 0 -1 4202560 655 0 0 0 17 0 0 0 20 0 24 0 419129228 8616062976 30409 33554432000 4194304 4196468 140727858031168 140595175758704 140596069314666 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8736768 140727858037752 140727858037910 140727858037910 140727858040783 0
[pid=4421/tid=4437] ppid=4336 vsize=8414060 memory=1544 CPUtime=0.1 cores=0-7
/proc/4421/task/4437/stat : 4437 (java) S 4336 4336 4292 0 -1 1077944384 348 0 0 0 10 0 0 0 20 0 24 0 419129229 8615997440 30417 33554432000 4194304 4196468 140727858031168 140595174705648 140596084406914 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8736768 140727858037752 140727858037910 140727858037910 140727858040783 0
[pid=4421/tid=4438] ppid=4336 vsize=8414124 memory=776 CPUtime=0.23 cores=0-7
/proc/4421/task/4438/stat : 4438 (java) R 4336 4336 4292 0 -1 4202560 603 0 0 0 23 0 0 0 20 0 24 0 419129229 8616062976 30417 33554432000 4194304 4196468 140727858031168 140595173653104 140596063017712 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8736768 140727858037752 140727858037910 140727858037910 140727858040783 0
[pid=4421/tid=4439] ppid=4336 vsize=8414124 memory=1056 CPUtime=0 cores=0-7
/proc/4421/task/4439/stat : 4439 (java) S 4336 4336 4292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419129229 8616062976 30417 33554432000 4194304 4196468 140727858031168 140593539836384 140596084405973 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8736768 140727858037752 140727858037910 140727858037910 140727858040783 0
[pid=4421/tid=4440] ppid=4336 vsize=8414124 memory=908 CPUtime=0 cores=0-7
/proc/4421/task/4440/stat : 4440 (java) S 4336 4336 4292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419129229 8616062976 30417 33554432000 4194304 4196468 140727858031168 140595172600496 140596084406914 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8736768 140727858037752 140727858037910 140727858037910 140727858040783 0
[pid=4421/tid=4442] ppid=4336 vsize=8414124 memory=1440 CPUtime=0 cores=0-7
/proc/4421/task/4442/stat : 4442 (java) S 4336 4336 4292 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 419129300 8616062976 30417 33554432000 4194304 4196468 140727858031168 140595164566464 140596084420377 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 8736768 140727858037752 140727858037910 140727858037910 140727858040783 0
[pid=4421/tid=4444] ppid=4336 vsize=8414124 memory=1476 CPUtime=0.01 cores=0-7
/proc/4421/task/4444/stat : 4444 (java) R 4336 4336 4292 0 -1 4202560 12 0 0 0 1 0 0 0 20 0 24 0 419129300 8616062976 30417 33554432000 4194304 4196468 140727858031168 140592868743632 140727858186178 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8736768 140727858037752 140727858037910 140727858037910 140727858040783 0
[pid=4421/tid=4445] ppid=4336 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/4421/task/4445/stat : 4445 (java) S 4336 4336 4292 0 -1 4202560 23 0 0 0 0 0 0 0 20 0 24 0 419129300 8616062976 30417 33554432000 4194304 4196468 140727858031168 140593137172624 140596084417693 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 8736768 140727858037752 140727858037910 140727858037910 140727858040783 0
[pid=4421/tid=4446] ppid=4336 vsize=8414124 memory=121520 CPUtime=0 cores=0-7
/proc/4421/task/4446/stat : 4446 (java) S 4336 4336 4292 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 419129302 8616062976 30417 33554432000 4194304 4196468 140727858031168 140592600309168 140596084405973 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8736768 140727858037752 140727858037910 140727858037910 140727858040783 0
Current children cumulated CPU time: 1037.25 s
Current children cumulated vsize: 8527252 KiB
Current children cumulated memory: 123112 KiB

Child status: 0
Real time (s): 866.743
CPU time (s): 1039.25
CPU user time (s): 1009.46
CPU system time (s): 29.7906
CPU usage (%): 119.903
Max. virtual memory (cumulated for all children) (KiB): 27443924
Max. memory (cumulated for all children) (KiB): 17030980

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1009.46
system time used= 29.7906
maximum resident set size= 17030136
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 401827
page faults= 0
swaps= 0
block input operations= 0
block output operations= 25400
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 37392
involuntary context switches= 2391


# summary of solver processes directly reported to runsolver:
#   pid: 4336
#   total CPU time (s): 1039.25
#   total CPU user time (s): 1009.46
#   total CPU system time (s): 29.7906

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.09106 second user time and 10.0311 second system time

The end

Launcher Data 

Begin job on node123 at 2019-09-14 04:22:20
IDJOB=4392771
IDBENCH=126900
IDSOLVER=2839
FILE ID=node123/4392771-1568427778
RUNJOBID= node123-1568427739-4319
PBS_JOBID= 21702298
Free space on /tmp= 59100 MiB

SOLVER NAME= Fun-sCOP hybrid+ManyGlucose (2019-06-15)
BENCH NAME= XCSP17/RoomMate/RoomMate-int-s1/RoomMate-sr1000b-int.xml
COMMAND LINE= DIR/scop.sh 22g DIR/scop.jar -hybrid DIR/manyglucose-4.1-27_release -model:-nthreads=NBCORE:-maxmemory=20000:-lit-scans=6000000 TMPDIR BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4392771-1568427778/watcher-4392771-1568427778 -o /tmp/evaluation-result-4392771-1568427778/solver-4392771-1568427778 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node123-1568427739-4319 --watchdog 2580  HOME/scop.sh 22g HOME/scop.jar -hybrid HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4392771-1568427778.xml

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

MD5SUM BENCH= fdcb353b2918313db809b139313e7b9f
RANDOM SEED=362062568

node123.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.49
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.49
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.49
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.49
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:        28014948 kB
MemAvailable:   31873444 kB
Buffers:          147348 kB
Cached:          3976456 kB
SwapCached:         7380 kB
Active:          1321624 kB
Inactive:        2813104 kB
Active(anon):       2932 kB
Inactive(anon):    49320 kB
Active(file):    1318692 kB
Inactive(file):  2763784 kB
Unevictable:      107504 kB
Mlocked:          107504 kB
SwapTotal:      67108860 kB
SwapFree:       66999932 kB
Dirty:            103632 kB
Writeback:             0 kB
AnonPages:        111884 kB
Mapped:            44456 kB
Shmem:             32684 kB
Slab:             213400 kB
SReclaimable:     183712 kB
SUnreclaim:        29688 kB
KernelStack:        3376 kB
PageTables:         5068 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     497432 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     67584 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      105856 kB
DirectMap2M:    33439744 kB

Free space on /tmp at the end= 59080 MiB
End job on node123 at 2019-09-14 04:36:47