Trace number 4405658

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Fun-sCOP hybrid+ManyGlucose (2019-09-22)UNSAT 1088.7 912.653

General information on the benchmark

NameRoomMate/
RoomMate-int-s1/RoomMate-sr1000e-int.xml
MD5SUM080ba949cb23e1dea8bc7836215d1d0d
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 benchmark490.68
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-4989-serial-file.bin HOME/instance-4405658-1569336373.xml
0.66/0.60	
0.66/0.60	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
0.66/0.60	
0.77/0.63	c BEGIN-Prog: Tue Sep 24 16:45:33 CEST 2019
0.77/0.63	c PID: 4992
0.77/0.63	c IP: 172.20.3.116
0.77/0.63	c HOST: node116.alineos.net
0.77/0.64	c (0,0) Parsing Begin
160.39/107.07	c (106,99) Parsing End
160.39/107.08	c (106,99) CSP: 1000 int (0 aux), 0 bool (0 aux), 1998000 ctr, max domain size 999
160.39/107.08	c (106,99) Heap : 3482 MiB used (max 20025 MiB), NonHeap : 24 MiB used (max 0 MiB)
160.39/107.08	c (106,99) Constraint Name Generate Begin
166.39/112.88	c (112,105) Ctr:HOME/instance-4405658-1569336373.xml,Eq:Imp:Le:Num:Var
166.39/112.88	c (112,105) Constraint Name Generate End
166.39/112.88	c (112,105) Heap : 4917 MiB used (max 20025 MiB), NonHeap : 23 MiB used (max 0 MiB)
166.39/112.88	c (112,105) CSP to CSPinCNF Begin
174.73/120.19	c (119,113) translated 199800 (10%) constraints
187.03/127.70	c (127,119) translated 399600 (20%) constraints
193.80/134.48	c (133,126) translated 599400 (30%) constraints
200.61/141.29	c (140,133) translated 799200 (40%) constraints
219.85/149.66	c (149,140) translated 999000 (50%) constraints
227.08/156.65	c (156,147) translated 1198800 (60%) constraints
234.09/163.61	c (163,154) translated 1398600 (70%) constraints
245.30/171.07	c (170,161) translated 1598400 (80%) constraints
252.30/178.04	c (177,168) translated 1798200 (90%) constraints
259.26/185.00	c (184,175) translated 1998000 (100%) constraints
259.26/185.00	c (184,175) ===========================================
259.82/185.43	c (184,175) Hybrid: #OE=1000, #LE=0
259.82/185.43	c (184,175) Hybrid
259.82/185.43	c (184,175) ===========================================
264.19/189.09	c (188,179) translated 199800 (10%) constraints
267.88/192.71	c (192,182) translated 399600 (20%) constraints
276.18/196.93	c (196,186) translated 599400 (30%) constraints
279.69/200.49	c (199,190) translated 799200 (40%) constraints
283.30/204.01	c (203,193) translated 999000 (50%) constraints
304.71/220.03	c (219,208) translated 1198800 (60%) constraints
324.92/235.86	c (235,224) translated 1398600 (70%) constraints
345.71/251.52	c (250,238) translated 1598400 (80%) constraints
367.84/267.91	c (267,254) translated 1798200 (90%) constraints
389.27/283.69	c (283,269) translated 1998000 (100%) constraints
389.27/283.69	c (283,269) CSP to CSPinCNF End
389.58/283.97	c (283,269) CSP: 1000 int (0 aux), 999000 bool (999000 aux), 3996000 ctr, max domain size 999
389.58/283.97	c (283,269) Heap : 9379 MiB used (max 21412 MiB), NonHeap : 27 MiB used (max 0 MiB)
389.58/283.97	c (283,269) CSPinCNF Propagation Begin
1075.35/902.70	c (902,879) 1719216 values, 2594122 unsatisfiable literals, and 3559806 valid clauses are removed
1075.35/902.70	c (902,879) CSPinCNF Propagation End
1075.76/903.06	c (902,879) CSP: 987 int (0 aux), 999013 bool (999000 aux), 436194 ctr, max domain size 955
1075.76/903.06	c (902,879) Heap : 10412 MiB used (max 21649 MiB), NonHeap : 26 MiB used (max 0 MiB)
1075.97/903.23	c (902,879) Hybrid: #OE=1000000, #LE=0
1075.97/903.23	c (902,879) Simplify CSPinCNF Begin
1077.03/904.07	c (903,880) Simplify CSPinCNF End
1077.43/904.44	c (903,880) CSP: 987 int (0 aux), 999013 bool (999000 aux), 436194 ctr, max domain size 955
1077.43/904.44	c (903,880) Heap : 10758 MiB used (max 21649 MiB), NonHeap : 26 MiB used (max 0 MiB)
1077.43/904.44	c (903,880) Calculate Precise Domain Begin
1077.43/904.44	c (903,880) 0 values are removed by re-calculation
1077.43/904.44	c (903,880) Calculate Precise Domain End
1077.83/904.80	c (904,881) CSP: 987 int (0 aux), 999013 bool (999000 aux), 436194 ctr, max domain size 955
1077.83/904.80	c (904,881) Heap : 10873 MiB used (max 21649 MiB), NonHeap : 26 MiB used (max 0 MiB)
1077.83/904.80	c (904,881) CSPinCNF to SatSolver Begin
1081.46/906.71	c (906,883) 43620 (10 %) CSP clauses are encoded (0 SAT variables, 181101 SAT clauses)
1081.82/907.05	c (906,883) 87239 (20 %) CSP clauses are encoded (0 SAT variables, 224720 SAT clauses)
1082.11/907.36	c (906,883) 130859 (30 %) CSP clauses are encoded (0 SAT variables, 268340 SAT clauses)
1082.41/907.67	c (907,884) 174478 (40 %) CSP clauses are encoded (0 SAT variables, 311959 SAT clauses)
1082.71/907.99	c (907,884) 218097 (50 %) CSP clauses are encoded (0 SAT variables, 355578 SAT clauses)
1083.12/908.30	c (907,884) 261717 (60 %) CSP clauses are encoded (0 SAT variables, 399198 SAT clauses)
1083.42/908.62	c (908,884) 305336 (70 %) CSP clauses are encoded (0 SAT variables, 442817 SAT clauses)
1083.72/908.93	c (908,885) 348956 (80 %) CSP clauses are encoded (0 SAT variables, 486437 SAT clauses)
1084.02/909.25	c (908,885) 392575 (90 %) CSP clauses are encoded (0 SAT variables, 530056 SAT clauses)
1084.31/909.56	c (908,885) 436194 (100 %) CSP clauses are encoded (0 SAT variables, 573675 SAT clauses)
1084.31/909.56	c (908,885) CSPinCNF to SatSolver End
1084.31/909.56	c (908,885) Heap : 14566 MiB used (max 21649 MiB), NonHeap : 29 MiB used (max 0 MiB)
1084.31/909.56	c (908,885) 277784 bool, 573676 clause
1084.31/909.56	c (908,885) Export Begin
1084.70/909.72	c (909,886) Export to HOME/scop-4989-serial-file.bin
1084.70/909.72	c (909,886) Export End
1084.70/909.72	c (909,886) Export File Size: 0.16 MB
1084.70/909.72	c (909,886) 106,112,283,902,903,904,908,STOP-AFTER(DIMACS)
1084.70/909.72	c END-Prog: Tue Sep 24 17:00:43 CEST 2019
0.00/909.81	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-4989-serial-file.bin
1085.52/910.33	c (0,0) Read Serial File Begin
1085.52/910.33	c (0,0) HOME/scop-4989-serial-file.bin
1086.10/910.62	c (0,0) Read Serial File End
1086.10/910.64	
1086.10/910.64	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
1086.10/910.64	(Solving Process)
1086.10/910.64	
1086.10/910.66	c BEGIN-Prog: Tue Sep 24 17:00:43 CEST 2019
1086.10/910.66	c PID: 5087
1086.10/910.66	c IP: 172.20.3.116
1086.10/910.66	c HOST: node116.alineos.net
1086.10/910.66	c (0,0) SatSolver.solve Begin
1086.10/910.66	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4405658-1569336373.xml-scop-4992.cnf
1086.10/910.69	c (0,0) c
1086.10/910.69	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)
1086.10/910.69	c (0,0) c
1086.10/910.69	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
1086.10/910.69	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
1086.10/910.69	c (0,0) c ========================================[ Problem Statistics ]===========================================
1086.10/910.69	c (0,0) c |                                                                                                       |
1086.80/911.05	c (0,0) c |  Number of variables:        277784                                                                   |
1086.80/911.05	c (0,0) c |  Number of clauses:          573676                                                                   |
1086.80/911.05	c (0,0) c |  Parse time:                   0.32 s                                                                 |
1086.80/911.05	c (0,0) c |                                                                                                       |
1087.69/911.95	c (1,0) c |  Simplification time:          0.89 s                                                                 |
1087.69/911.95	c (1,0) c |                                                                                                       |
1087.69/911.95	c (1,0) c |  Generating clones                                                                                    |
1088.29/912.56	c (2,0) c |  all clones generated. Memory =   646.73Mb.                                                           |
1088.29/912.56	c (2,0) c ========================================================================================================|
1088.29/912.56	c (2,0) c
1088.29/912.56	c (2,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
1088.29/912.56	c (2,0) c
1088.29/912.56	c (2,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
1088.29/912.56	c (2,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
1088.29/912.56	c (2,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
1088.29/912.56	c (2,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
1088.29/912.56	c (2,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
1088.29/912.56	c (2,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
1088.29/912.56	c (2,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
1088.29/912.56	c (2,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
1088.29/912.56	c (2,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
1088.29/912.56	c (2,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
1088.29/912.56	c (2,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
1088.29/912.56	c (2,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
1088.29/912.56	c (2,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
1088.29/912.56	c (2,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
1088.29/912.56	c (2,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
1088.29/912.56	c (2,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
1088.29/912.56	c (2,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
1088.29/912.56	c (2,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
1088.29/912.56	c (2,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
1088.55/912.60	c (2,0) c
1088.55/912.60	c (2,0) c real time : 1.91029 s
1088.55/912.60	c (2,0) c cpu time  : 1.88585 s
1088.55/912.60	c (2,0) c
1088.55/912.60	c (2,0) c
1088.55/912.60	c (2,0) c
1088.55/912.60	c (2,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
1088.55/912.60	c (2,0) c
1088.55/912.60	c (2,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1088.55/912.60	c (2,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
1088.55/912.60	c (2,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1088.55/912.60	c (2,0) c | Conflicts     |              59 |          8 |          8 |          7 |          4 |          7 |          7 |          9 |          9 |
1088.55/912.60	c (2,0) c | Decisions     |              56 |          8 |          8 |          7 |          3 |          6 |          7 |          9 |          8 |
1088.55/912.60	c (2,0) c | Propagations  |          137449 |      15193 |      17605 |      22234 |      24280 |      13413 |      15250 |      15239 |      14235 |
1088.55/912.60	c (2,0) c | ReduceDBs     |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1088.55/912.60	c (2,0) c | SimpDBs       |               8 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |
1088.55/912.60	c (2,0) c | Restarts      |               8 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |
1088.55/912.60	c (2,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1088.55/912.60	c (2,0) c | PropBinClauses|          306555 |      40148 |      36693 |      38920 |      39933 |      36616 |      39750 |      37170 |      37325 |
1088.55/912.60	c (2,0) c | PropPreBlocker|          374484 |      48153 |      45777 |      46186 |      49416 |      45736 |      47613 |      45365 |      46238 |
1088.55/912.60	c (2,0) c | PropNotBlocker|          139920 |      17638 |      17821 |      16390 |      18209 |      17799 |      17202 |      17746 |      17115 |
1088.55/912.60	c (2,0) c | LitFullScans  |         1867854 |     216095 |     251963 |     227629 |     148157 |     177516 |     280856 |     307794 |     257844 |
1088.55/912.60	c (2,0) c | LitScanFracts |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1088.55/912.60	c (2,0) c | DecisionLevel0|              16 |          2 |          2 |          2 |          2 |          2 |          2 |          2 |          2 |
1088.55/912.60	c (2,0) c | Periods       |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1088.55/912.60	c (2,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
1088.55/912.60	c (2,0) c | Avg_Trail     |                 |      12049 |      11199 |      11970 |       9187 |       9350 |      12508 |      11448 |      11099 |
1088.55/912.60	c (2,0) c | Avg_DL        |                 |          3 |          3 |          2 |          1 |          2 |          2 |          3 |          3 |
1088.55/912.60	c (2,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1088.55/912.60	c (2,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1088.55/912.60	c (2,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1088.55/912.60	c (2,0) c | Exported      |               8 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |
1088.55/912.60	c (2,0) c | Imported      |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1088.55/912.60	c (2,0) c | Good          |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1088.55/912.60	c (2,0) c | Purge         |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1088.55/912.60	c (2,0) c | Promoted      |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1088.55/912.60	c (2,0) c | Remove_Imp    |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1088.55/912.60	c (2,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1088.55/912.60	c (2,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1088.55/912.60	c (2,0) c | Unaries       |                 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |
1088.55/912.60	c (2,0) c | Binaries      |                 |          0 |          1 |          0 |          1 |          1 |          0 |          1 |          1 |
1088.55/912.60	c (2,0) c | Glues         |                 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |
1088.55/912.60	c (2,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1088.55/912.60	c (2,0) c | Orig_Seen     |            21 % |      13354 |      13542 |       6980 |      12973 |      13000 |      11755 |      12430 |      13622 |
1088.55/912.60	c (2,0) c | Diff Orig seen|                 |      X     |        188 | -     6374 | -      381 | -      354 | -     1599 | -      924 |        268 |
1088.55/912.60	c (2,0) c | Hamming       |             0 % |      X     |        417 |        264 |        405 |        461 |        166 |        577 |        751 |
1088.55/912.60	c (2,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1088.55/912.60	c (2,0) c | RunningTime   |                 |    0.0 100%|    0.0 100%|    0.0 100%|    0.0 100%|    0.0 100%|    0.0 100%|    0.0 100%|    0.0 100%|
1088.55/912.60	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%|
1088.55/912.60	c (2,0) c | ExchangingTime|                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
1088.55/912.60	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%|
1088.55/912.60	c (2,0) c | SolvingTime   |                 |    0.0     |    0.0     |    0.0     |    0.0     |    0.0     |    0.0     |    0.0     |    0.0     |
1088.55/912.60	c (2,0) c | PropagationTim|                 |    0.0  69%|    0.0  56%|    0.0  65%|    0.0  70%|    0.0  58%|    0.0  56%|    0.0  76%|    0.0  49%|
1088.55/912.60	c (2,0) c | AnalysisTime  |                 |    0.0  29%|    0.0  41%|    0.0  31%|    0.0  27%|    0.0  35%|    0.0  41%|    0.0  23%|    0.0  46%|
1088.55/912.60	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%|
1088.55/912.60	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%|
1088.55/912.60	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%|
1088.55/912.60	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%|
1088.55/912.60	c (2,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1088.55/912.60	c (2,0) c
1088.55/912.60	c (2,0) c
1088.55/912.60	c (2,0) c Threads : 8
1088.55/912.60	c (2,0) c Winner : 0
1088.55/912.60	c (2,0) c Conflicts_0 : 8
1088.55/912.60	c (2,0) c Conflicts_1 : 8
1088.55/912.60	c (2,0) c Conflicts_2 : 7
1088.55/912.60	c (2,0) c Conflicts_3 : 4
1088.55/912.60	c (2,0) c Conflicts_4 : 7
1088.55/912.60	c (2,0) c Conflicts_5 : 7
1088.55/912.60	c (2,0) c Conflicts_6 : 9
1088.55/912.60	c (2,0) c Conflicts_7 : 9
1088.55/912.60	c (2,0) c Conflicts_total : 59
1088.55/912.60	c (2,0) c Conflicts_winner : 8
1088.55/912.60	c (2,0) c Decisions_0 : 8
1088.55/912.60	c (2,0) c Decisions_1 : 8
1088.55/912.60	c (2,0) c Decisions_2 : 7
1088.55/912.60	c (2,0) c Decisions_3 : 3
1088.55/912.60	c (2,0) c Decisions_4 : 6
1088.55/912.60	c (2,0) c Decisions_5 : 7
1088.55/912.60	c (2,0) c Decisions_6 : 9
1088.55/912.60	c (2,0) c Decisions_7 : 8
1088.55/912.60	c (2,0) c Decisions_total : 56
1088.55/912.60	c (2,0) c Decisions_winner : 8
1088.55/912.60	c (2,0) c Propagations_0 : 15193
1088.55/912.60	c (2,0) c Propagations_1 : 17605
1088.55/912.60	c (2,0) c Propagations_2 : 22234
1088.55/912.60	c (2,0) c Propagations_3 : 24280
1088.55/912.60	c (2,0) c Propagations_4 : 13413
1088.55/912.60	c (2,0) c Propagations_5 : 15250
1088.55/912.60	c (2,0) c Propagations_6 : 15239
1088.55/912.60	c (2,0) c Propagations_7 : 14235
1088.55/912.60	c (2,0) c Propagations_total : 137449
1088.55/912.60	c (2,0) c Propagations_winner : 15193
1088.55/912.61	c (2,0) c ReduceDBs_0 : 0
1088.55/912.61	c (2,0) c ReduceDBs_1 : 0
1088.55/912.61	c (2,0) c ReduceDBs_2 : 0
1088.55/912.61	c (2,0) c ReduceDBs_3 : 0
1088.55/912.61	c (2,0) c ReduceDBs_4 : 0
1088.55/912.61	c (2,0) c ReduceDBs_5 : 0
1088.55/912.61	c (2,0) c ReduceDBs_6 : 0
1088.55/912.61	c (2,0) c ReduceDBs_7 : 0
1088.55/912.61	c (2,0) c ReduceDBs_total : 0
1088.55/912.61	c (2,0) c ReduceDBs_winner : 0
1088.55/912.61	c (2,0) c SimpDBs_0 : 1
1088.55/912.61	c (2,0) c SimpDBs_1 : 1
1088.55/912.61	c (2,0) c SimpDBs_2 : 1
1088.55/912.61	c (2,0) c SimpDBs_3 : 1
1088.55/912.61	c (2,0) c SimpDBs_4 : 1
1088.55/912.61	c (2,0) c SimpDBs_5 : 1
1088.55/912.61	c (2,0) c SimpDBs_6 : 1
1088.55/912.61	c (2,0) c SimpDBs_7 : 1
1088.55/912.61	c (2,0) c SimpDBs_total : 8
1088.55/912.61	c (2,0) c SimpDBs_winner : 1
1088.55/912.61	c (2,0) c Restarts_0 : 1
1088.55/912.61	c (2,0) c Restarts_1 : 1
1088.55/912.61	c (2,0) c Restarts_2 : 1
1088.55/912.61	c (2,0) c Restarts_3 : 1
1088.55/912.61	c (2,0) c Restarts_4 : 1
1088.55/912.61	c (2,0) c Restarts_5 : 1
1088.55/912.61	c (2,0) c Restarts_6 : 1
1088.55/912.61	c (2,0) c Restarts_7 : 1
1088.55/912.61	c (2,0) c Restarts_total : 8
1088.55/912.61	c (2,0) c Restarts_winner : 1
1088.55/912.61	c (2,0) c ForcedImports_0 : 0
1088.55/912.61	c (2,0) c ForcedImports_1 : 0
1088.55/912.61	c (2,0) c ForcedImports_2 : 0
1088.55/912.61	c (2,0) c ForcedImports_3 : 0
1088.55/912.61	c (2,0) c ForcedImports_4 : 0
1088.55/912.61	c (2,0) c ForcedImports_5 : 0
1088.55/912.61	c (2,0) c ForcedImports_6 : 0
1088.55/912.61	c (2,0) c ForcedImports_7 : 0
1088.55/912.61	c (2,0) c ForcedImports_total : 0
1088.55/912.61	c (2,0) c ForcedImports_winner : 0
1088.55/912.61	c (2,0) c PropsBinClauses_0 : 40148
1088.55/912.61	c (2,0) c PropsBinClauses_1 : 36693
1088.55/912.61	c (2,0) c PropsBinClauses_2 : 38920
1088.55/912.61	c (2,0) c PropsBinClauses_3 : 39933
1088.55/912.61	c (2,0) c PropsBinClauses_4 : 36616
1088.55/912.61	c (2,0) c PropsBinClauses_5 : 39750
1088.55/912.61	c (2,0) c PropsBinClauses_6 : 37170
1088.55/912.61	c (2,0) c PropsBinClauses_7 : 37325
1088.55/912.61	c (2,0) c PropsBinClauses_total : 306555
1088.55/912.61	c (2,0) c PropsBinClauses_winner : 40148
1088.55/912.61	c (2,0) c PropsPreBlocker_0 : 48153
1088.55/912.61	c (2,0) c PropsPreBlocker_1 : 45777
1088.55/912.61	c (2,0) c PropsPreBlocker_2 : 46186
1088.55/912.61	c (2,0) c PropsPreBlocker_3 : 49416
1088.55/912.61	c (2,0) c PropsPreBlocker_4 : 45736
1088.55/912.61	c (2,0) c PropsPreBlocker_5 : 47613
1088.55/912.61	c (2,0) c PropsPreBlocker_6 : 45365
1088.55/912.61	c (2,0) c PropsPreBlocker_7 : 46238
1088.55/912.61	c (2,0) c PropsPreBlocker_total : 374484
1088.55/912.61	c (2,0) c PropsPreBlocker_winner : 48153
1088.55/912.61	c (2,0) c PropsNotBlocker_0 : 17638
1088.55/912.61	c (2,0) c PropsNotBlocker_1 : 17821
1088.55/912.61	c (2,0) c PropsNotBlocker_2 : 16390
1088.55/912.61	c (2,0) c PropsNotBlocker_3 : 18209
1088.55/912.61	c (2,0) c PropsNotBlocker_4 : 17799
1088.55/912.61	c (2,0) c PropsNotBlocker_5 : 17202
1088.55/912.61	c (2,0) c PropsNotBlocker_6 : 17746
1088.55/912.61	c (2,0) c PropsNotBlocker_7 : 17115
1088.55/912.61	c (2,0) c PropsNotBlocker_total : 139920
1088.55/912.61	c (2,0) c PropsNotBlocker_winner : 17638
1088.55/912.61	c (2,0) c PropsLitFullScans_0 : 216095
1088.55/912.61	c (2,0) c PropsLitFullScans_1 : 251963
1088.55/912.61	c (2,0) c PropsLitFullScans_2 : 227629
1088.55/912.61	c (2,0) c PropsLitFullScans_3 : 148157
1088.55/912.61	c (2,0) c PropsLitFullScans_4 : 177516
1088.55/912.61	c (2,0) c PropsLitFullScans_5 : 280856
1088.55/912.61	c (2,0) c PropsLitFullScans_6 : 307794
1088.55/912.61	c (2,0) c PropsLitFullScans_7 : 257844
1088.55/912.61	c (2,0) c PropsLitFullScans_total : 1867854
1088.55/912.61	c (2,0) c PropsLitFullScans_winner : 216095
1088.55/912.61	c (2,0) c LitScanFractions_0 : 0
1088.55/912.61	c (2,0) c LitScanFractions_1 : 0
1088.55/912.61	c (2,0) c LitScanFractions_2 : 0
1088.55/912.61	c (2,0) c LitScanFractions_3 : 0
1088.55/912.61	c (2,0) c LitScanFractions_4 : 0
1088.55/912.61	c (2,0) c LitScanFractions_5 : 0
1088.55/912.61	c (2,0) c LitScanFractions_6 : 0
1088.55/912.61	c (2,0) c LitScanFractions_7 : 0
1088.55/912.61	c (2,0) c LitScanFractions_total : 0
1088.55/912.61	c (2,0) c LitScanFractions_winner : 0
1088.55/912.61	c (2,0) c DecisionLevel0_0 : 2
1088.55/912.61	c (2,0) c DecisionLevel0_1 : 2
1088.55/912.61	c (2,0) c DecisionLevel0_2 : 2
1088.55/912.61	c (2,0) c DecisionLevel0_3 : 2
1088.55/912.61	c (2,0) c DecisionLevel0_4 : 2
1088.55/912.61	c (2,0) c DecisionLevel0_5 : 2
1088.55/912.61	c (2,0) c DecisionLevel0_6 : 2
1088.55/912.61	c (2,0) c DecisionLevel0_7 : 2
1088.55/912.61	c (2,0) c DecisionLevel0_total : 16
1088.55/912.61	c (2,0) c DecisionLevel0_winner : 2
1088.55/912.61	c (2,0) c Periods_0 : 0
1088.55/912.61	c (2,0) c Periods_1 : 0
1088.55/912.61	c (2,0) c Periods_2 : 0
1088.55/912.61	c (2,0) c Periods_3 : 0
1088.55/912.61	c (2,0) c Periods_4 : 0
1088.55/912.61	c (2,0) c Periods_5 : 0
1088.55/912.61	c (2,0) c Periods_6 : 0
1088.55/912.61	c (2,0) c Periods_7 : 0
1088.55/912.61	c (2,0) c Periods_total : 0
1088.55/912.61	c (2,0) c Periods_winner : 0
1088.55/912.61	c (2,0) c Margin_0 : 20
1088.55/912.61	c (2,0) c Margin_1 : 20
1088.55/912.61	c (2,0) c Margin_2 : 20
1088.55/912.61	c (2,0) c Margin_3 : 20
1088.55/912.61	c (2,0) c Margin_4 : 20
1088.55/912.61	c (2,0) c Margin_5 : 20
1088.55/912.61	c (2,0) c Margin_6 : 20
1088.55/912.61	c (2,0) c Margin_7 : 20
1088.55/912.61	c (2,0) c Margin_total : 160
1088.55/912.61	c (2,0) c Margin_winner : 20
1088.55/912.61	c (2,0) c Exported_0 : 1
1088.55/912.61	c (2,0) c Exported_1 : 1
1088.55/912.61	c (2,0) c Exported_2 : 1
1088.55/912.61	c (2,0) c Exported_3 : 1
1088.55/912.61	c (2,0) c Exported_4 : 1
1088.55/912.61	c (2,0) c Exported_5 : 1
1088.55/912.61	c (2,0) c Exported_6 : 1
1088.55/912.61	c (2,0) c Exported_7 : 1
1088.55/912.61	c (2,0) c Exported_total : 8
1088.55/912.61	c (2,0) c Exported_winner : 1
1088.55/912.61	c (2,0) c Imported_0 : 0
1088.55/912.61	c (2,0) c Imported_1 : 0
1088.55/912.61	c (2,0) c Imported_2 : 0
1088.55/912.61	c (2,0) c Imported_3 : 0
1088.55/912.61	c (2,0) c Imported_4 : 0
1088.55/912.61	c (2,0) c Imported_5 : 0
1088.55/912.61	c (2,0) c Imported_6 : 0
1088.55/912.61	c (2,0) c Imported_7 : 0
1088.55/912.61	c (2,0) c Imported_total : 0
1088.55/912.61	c (2,0) c Imported_winner : 0
1088.55/912.61	c (2,0) c Good_0 : 0
1088.55/912.61	c (2,0) c Good_1 : 0
1088.55/912.61	c (2,0) c Good_2 : 0
1088.55/912.61	c (2,0) c Good_3 : 0
1088.55/912.61	c (2,0) c Good_4 : 0
1088.55/912.61	c (2,0) c Good_5 : 0
1088.55/912.61	c (2,0) c Good_6 : 0
1088.55/912.61	c (2,0) c Good_7 : 0
1088.55/912.61	c (2,0) c Good_total : 0
1088.55/912.61	c (2,0) c Good_winner : 0
1088.55/912.61	c (2,0) c Purge_0 : 0
1088.55/912.61	c (2,0) c Purge_1 : 0
1088.55/912.61	c (2,0) c Purge_2 : 0
1088.55/912.61	c (2,0) c Purge_3 : 0
1088.55/912.61	c (2,0) c Purge_4 : 0
1088.55/912.61	c (2,0) c Purge_5 : 0
1088.55/912.61	c (2,0) c Purge_6 : 0
1088.55/912.61	c (2,0) c Purge_7 : 0
1088.55/912.61	c (2,0) c Purge_total : 0
1088.55/912.61	c (2,0) c Purge_winner : 0
1088.55/912.61	c (2,0) c Promoted_0 : 0
1088.55/912.61	c (2,0) c Promoted_1 : 0
1088.55/912.61	c (2,0) c Promoted_2 : 0
1088.55/912.61	c (2,0) c Promoted_3 : 0
1088.55/912.61	c (2,0) c Promoted_4 : 0
1088.55/912.61	c (2,0) c Promoted_5 : 0
1088.55/912.61	c (2,0) c Promoted_6 : 0
1088.55/912.61	c (2,0) c Promoted_7 : 0
1088.55/912.61	c (2,0) c Promoted_total : 0
1088.55/912.61	c (2,0) c Promoted_winner : 0
1088.55/912.61	c (2,0) c Remove_Imp_0 : 0
1088.55/912.61	c (2,0) c Remove_Imp_1 : 0
1088.55/912.61	c (2,0) c Remove_Imp_2 : 0
1088.55/912.61	c (2,0) c Remove_Imp_3 : 0
1088.55/912.61	c (2,0) c Remove_Imp_4 : 0
1088.55/912.62	c (2,0) c Remove_Imp_5 : 0
1088.55/912.62	c (2,0) c Remove_Imp_6 : 0
1088.55/912.62	c (2,0) c Remove_Imp_7 : 0
1088.55/912.62	c (2,0) c Remove_Imp_total : 0
1088.55/912.62	c (2,0) c Remove_Imp_winner : 0
1088.55/912.62	c (2,0) c Blocked_Reuse_0 : 0
1088.55/912.62	c (2,0) c Blocked_Reuse_1 : 0
1088.55/912.62	c (2,0) c Blocked_Reuse_2 : 0
1088.55/912.62	c (2,0) c Blocked_Reuse_3 : 0
1088.55/912.62	c (2,0) c Blocked_Reuse_4 : 0
1088.55/912.62	c (2,0) c Blocked_Reuse_5 : 0
1088.55/912.62	c (2,0) c Blocked_Reuse_6 : 0
1088.55/912.62	c (2,0) c Blocked_Reuse_7 : 0
1088.55/912.62	c (2,0) c Blocked_Reuse_total : 0
1088.55/912.62	c (2,0) c Blocked_Reuse_winner : 0
1088.55/912.62	c (2,0) c Unaries_0 : 1
1088.55/912.62	c (2,0) c Unaries_1 : 1
1088.55/912.62	c (2,0) c Unaries_2 : 1
1088.55/912.62	c (2,0) c Unaries_3 : 1
1088.55/912.62	c (2,0) c Unaries_4 : 1
1088.55/912.62	c (2,0) c Unaries_5 : 1
1088.55/912.62	c (2,0) c Unaries_6 : 1
1088.55/912.62	c (2,0) c Unaries_7 : 1
1088.55/912.62	c (2,0) c Unaries_total : 8
1088.55/912.62	c (2,0) c Unaries_winner : 1
1088.55/912.62	c (2,0) c Binaries_0 : 0
1088.55/912.62	c (2,0) c Binaries_1 : 1
1088.55/912.62	c (2,0) c Binaries_2 : 0
1088.55/912.62	c (2,0) c Binaries_3 : 1
1088.55/912.62	c (2,0) c Binaries_4 : 1
1088.55/912.62	c (2,0) c Binaries_5 : 0
1088.55/912.62	c (2,0) c Binaries_6 : 1
1088.55/912.62	c (2,0) c Binaries_7 : 1
1088.55/912.62	c (2,0) c Binaries_total : 5
1088.55/912.62	c (2,0) c Binaries_winner : 0
1088.55/912.62	c (2,0) c Glues_0 : 1
1088.55/912.62	c (2,0) c Glues_1 : 1
1088.55/912.62	c (2,0) c Glues_2 : 1
1088.55/912.62	c (2,0) c Glues_3 : 1
1088.55/912.62	c (2,0) c Glues_4 : 1
1088.55/912.62	c (2,0) c Glues_5 : 1
1088.55/912.62	c (2,0) c Glues_6 : 1
1088.55/912.62	c (2,0) c Glues_7 : 1
1088.55/912.62	c (2,0) c Glues_total : 8
1088.55/912.62	c (2,0) c Glues_winner : 1
1088.55/912.62	c (2,0) c RunningTime_0 : 0.034895
1088.55/912.62	c (2,0) c RunningTime_1 : 0.029673
1088.55/912.62	c (2,0) c RunningTime_2 : 0.019155
1088.55/912.62	c (2,0) c RunningTime_3 : 0.024967
1088.55/912.62	c (2,0) c RunningTime_4 : 0.020213
1088.55/912.62	c (2,0) c RunningTime_5 : 0.028029
1088.55/912.62	c (2,0) c RunningTime_6 : 0.031813
1088.55/912.62	c (2,0) c RunningTime_7 : 0.023263
1088.55/912.62	c (2,0) c RunningTime_total : 0.212008
1088.55/912.62	c (2,0) c RunningTime_winner : 0.034895
1088.55/912.62	c (2,0) c WaitingTime_0 : 0.000000
1088.55/912.62	c (2,0) c WaitingTime_1 : 0.000000
1088.55/912.62	c (2,0) c WaitingTime_2 : 0.000000
1088.55/912.62	c (2,0) c WaitingTime_3 : 0.000000
1088.55/912.62	c (2,0) c WaitingTime_4 : 0.000000
1088.55/912.62	c (2,0) c WaitingTime_5 : 0.000000
1088.55/912.62	c (2,0) c WaitingTime_6 : 0.000000
1088.55/912.62	c (2,0) c WaitingTime_7 : 0.000000
1088.55/912.62	c (2,0) c WaitingTime_total : 0.000000
1088.55/912.62	c (2,0) c WaitingTime_winner : 0.000000
1088.55/912.62	c (2,0) c ExchangingTime_0 : 0.000005
1088.55/912.62	c (2,0) c ExchangingTime_1 : 0.000006
1088.55/912.62	c (2,0) c ExchangingTime_2 : 0.000004
1088.55/912.62	c (2,0) c ExchangingTime_3 : 0.000005
1088.55/912.62	c (2,0) c ExchangingTime_4 : 0.000005
1088.55/912.62	c (2,0) c ExchangingTime_5 : 0.000008
1088.55/912.62	c (2,0) c ExchangingTime_6 : 0.000003
1088.55/912.62	c (2,0) c ExchangingTime_7 : 0.000009
1088.55/912.62	c (2,0) c ExchangingTime_total : 0.000045
1088.55/912.62	c (2,0) c ExchangingTime_winner : 0.000005
1088.55/912.62	c (2,0) c PeriodProcTime_0 : 0.000000
1088.55/912.62	c (2,0) c PeriodProcTime_1 : 0.000000
1088.55/912.62	c (2,0) c PeriodProcTime_2 : 0.000000
1088.55/912.62	c (2,0) c PeriodProcTime_3 : 0.000000
1088.55/912.62	c (2,0) c PeriodProcTime_4 : 0.000000
1088.55/912.62	c (2,0) c PeriodProcTime_5 : 0.000000
1088.55/912.62	c (2,0) c PeriodProcTime_6 : 0.000000
1088.55/912.62	c (2,0) c PeriodProcTime_7 : 0.000000
1088.55/912.62	c (2,0) c PeriodProcTime_total : 0.000000
1088.55/912.62	c (2,0) c PeriodProcTime_winner : 0.000000
1088.55/912.62	c (2,0) c SolvingTime_0 : 0.034900
1088.55/912.62	c (2,0) c SolvingTime_1 : 0.029679
1088.55/912.62	c (2,0) c SolvingTime_2 : 0.019159
1088.55/912.62	c (2,0) c SolvingTime_3 : 0.024972
1088.55/912.62	c (2,0) c SolvingTime_4 : 0.020218
1088.55/912.62	c (2,0) c SolvingTime_5 : 0.028037
1088.55/912.62	c (2,0) c SolvingTime_6 : 0.031816
1088.55/912.62	c (2,0) c SolvingTime_7 : 0.023272
1088.55/912.62	c (2,0) c SolvingTime_total : 0.212053
1088.55/912.62	c (2,0) c SolvingTime_winner : 0.034900
1088.55/912.62	c (2,0) c PropagationTime_0 : 0.024177
1088.55/912.62	c (2,0) c PropagationTime_1 : 0.016643
1088.55/912.62	c (2,0) c PropagationTime_2 : 0.012543
1088.55/912.62	c (2,0) c PropagationTime_3 : 0.017417
1088.55/912.62	c (2,0) c PropagationTime_4 : 0.011752
1088.55/912.62	c (2,0) c PropagationTime_5 : 0.015695
1088.55/912.62	c (2,0) c PropagationTime_6 : 0.024254
1088.55/912.62	c (2,0) c PropagationTime_7 : 0.011367
1088.55/912.62	c (2,0) c PropagationTime_total : 0.133848
1088.55/912.62	c (2,0) c PropagationTime_winner : 0.024177
1088.55/912.62	c (2,0) c AnalysisTime_0 : 0.010015
1088.55/912.62	c (2,0) c AnalysisTime_1 : 0.012195
1088.55/912.62	c (2,0) c AnalysisTime_2 : 0.006029
1088.55/912.62	c (2,0) c AnalysisTime_3 : 0.006807
1088.55/912.62	c (2,0) c AnalysisTime_4 : 0.007175
1088.55/912.62	c (2,0) c AnalysisTime_5 : 0.011583
1088.55/912.62	c (2,0) c AnalysisTime_6 : 0.007231
1088.55/912.62	c (2,0) c AnalysisTime_7 : 0.010695
1088.55/912.62	c (2,0) c AnalysisTime_total : 0.071729
1088.55/912.62	c (2,0) c AnalysisTime_winner : 0.010015
1088.55/912.62	c (2,0) c ReductionTime_0 : 0.000000
1088.55/912.62	c (2,0) c ReductionTime_1 : 0.000000
1088.55/912.62	c (2,0) c ReductionTime_2 : 0.000000
1088.55/912.62	c (2,0) c ReductionTime_3 : 0.000000
1088.55/912.62	c (2,0) c ReductionTime_4 : 0.000000
1088.55/912.62	c (2,0) c ReductionTime_5 : 0.000000
1088.55/912.62	c (2,0) c ReductionTime_6 : 0.000000
1088.55/912.62	c (2,0) c ReductionTime_7 : 0.000000
1088.55/912.62	c (2,0) c ReductionTime_total : 0.000000
1088.55/912.62	c (2,0) c ReductionTime_winner : 0.000000
1088.55/912.62	c (2,0) c SimplifyTime_0 : 0.000000
1088.55/912.62	c (2,0) c SimplifyTime_1 : 0.000000
1088.55/912.62	c (2,0) c SimplifyTime_2 : 0.000001
1088.55/912.62	c (2,0) c SimplifyTime_3 : 0.000000
1088.55/912.62	c (2,0) c SimplifyTime_4 : 0.000000
1088.55/912.62	c (2,0) c SimplifyTime_5 : 0.000000
1088.55/912.62	c (2,0) c SimplifyTime_6 : 0.000000
1088.55/912.62	c (2,0) c SimplifyTime_7 : 0.000000
1088.55/912.62	c (2,0) c SimplifyTime_total : 0.000001
1088.55/912.62	c (2,0) c SimplifyTime_winner : 0.000000
1088.55/912.62	c (2,0) c UsedRateTime_0 : 0.000000
1088.55/912.62	c (2,0) c UsedRateTime_1 : 0.000000
1088.55/912.62	c (2,0) c UsedRateTime_2 : 0.000000
1088.55/912.62	c (2,0) c UsedRateTime_3 : 0.000000
1088.55/912.62	c (2,0) c UsedRateTime_4 : 0.000000
1088.55/912.62	c (2,0) c UsedRateTime_5 : 0.000000
1088.55/912.62	c (2,0) c UsedRateTime_6 : 0.000000
1088.55/912.62	c (2,0) c UsedRateTime_7 : 0.000000
1088.55/912.62	c (2,0) c UsedRateTime_total : 0.000000
1088.55/912.62	c (2,0) c UsedRateTime_winner : 0.000000
1088.55/912.62	c (2,0) c OverlapRateTime_0 : 0.000000
1088.55/912.62	c (2,0) c OverlapRateTime_1 : 0.000000
1088.55/912.62	c (2,0) c OverlapRateTime_2 : 0.000000
1088.55/912.62	c (2,0) c OverlapRateTime_3 : 0.000000
1088.55/912.62	c (2,0) c OverlapRateTime_4 : 0.000000
1088.55/912.62	c (2,0) c OverlapRateTime_5 : 0.000000
1088.55/912.62	c (2,0) c OverlapRateTime_6 : 0.000000
1088.55/912.62	c (2,0) c OverlapRateTime_7 : 0.000000
1088.55/912.62	c (2,0) c OverlapRateTime_total : 0.000000
1088.55/912.62	c (2,0) c OverlapRateTime_winner : 0.000000
1088.55/912.62	c (2,0) c
1088.55/912.62	c (2,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
1088.55/912.62	c (2,0) c
1088.55/912.62	c (2,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
1088.55/912.62	c (2,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
1088.55/912.62	c (2,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
1088.55/912.62	c (2,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
1088.55/912.62	c (2,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
1088.55/912.62	c (2,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
1088.55/912.62	c (2,0) c | Initial random_seed   | 1161846445 | 1544948066 | 1063923598 |  627802954 | 1207681500 |  441765811 | 2009952617 | 1696074145 |
1088.55/912.62	c (2,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
1088.55/912.62	c (2,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
1088.55/912.62	c (2,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
1088.55/912.62	c (2,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
1088.55/912.62	c (2,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
1088.55/912.62	c (2,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
1088.55/912.62	c (2,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
1088.55/912.62	c (2,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
1088.55/912.62	c (2,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
1088.55/912.62	c (2,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
1088.55/912.62	c (2,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
1088.55/912.62	c (2,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
1088.55/912.62	c (2,0) 
1088.55/912.62	c (2,0) s UNSATISFIABLE
1088.55/912.63	c (2,0) SatSolver.solve End
1088.55/912.64	c (2,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
1088.55/912.64	c (2,0) Show results Begin
1088.55/912.64	s UNSATISFIABLE
1088.55/912.64	c (2,0) Show results End
1088.55/912.64	c (2,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
1088.55/912.64	c (2,0) 2,2,STOP-AFTER(ALL)
1088.55/912.64	c END-Prog: Tue Sep 24 17:00:45 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: 16375 MiB (15416 MiB free)
  memory of node 1: 16384 MiB (9242 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4405658-1569336373/watcher-4405658-1569336373 -o /tmp/evaluation-result-4405658-1569336373/solver-4405658-1569336373 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node116-1569335937-4697 --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-4405658-1569336373.xml 

running on 8 cores: 0-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
Current StackSize limit: 8192 KiB

solver pid=4989, runsolver pid=4986

[startup+0.100114 s]*
/proc/loadavg: 2.74 3.76 1.90 2/211 5011
/proc/meminfo: memFree=25155424/32770688 swapFree=67001272/67108860
[pid=4989] ppid=4986 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/4989/stat : 4989 (scop.sh) S 4986 4989 4670 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 509579041 115843072 349 33554432000 4194304 5098028 140729516017360 140729516014616 140529519563388 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 20996096 140729516024612 140729516024940 140729516024940 140729516027853 0
/proc/4989/statm: 28282 349 296 221 0 87 0
[pid=4992] ppid=4989 vsize=27314120 memory=106392 CPUtime=0.1 cores=0-7
/proc/4992/stat : 4992 (java) S 4989 4989 4670 0 -1 1077944320 6663 0 0 0 7 3 0 0 20 0 20 0 509579041 27969658880 26598 33554432000 4194304 4196468 140731472488576 140731472471120 140286689668855 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 9646080 140731472491243 140731472491670 140731472491670 140731472494543 0
/proc/4992/statm: 6828530 26598 2754 1 0 6790935 0
[pid=4992/tid=4993] ppid=4989 vsize=27314120 memory=1398722017469774279 CPUtime=0.09 cores=0-7
/proc/4992/task/4993/stat : 4993 (java) R 4989 4989 4670 0 -1 4202560 4772 0 0 0 7 2 0 0 20 0 20 0 509579042 27969658880 26598 33554432000 4194304 4196468 140731472488576 140286661495184 140286671064061 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9646080 140731472491243 140731472491670 140731472491670 140731472494543 0
[pid=4992/tid=4994] ppid=4989 vsize=27314120 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/4992/task/4994/stat : 4994 (java) S 4989 4989 4670 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509579044 27969658880 26598 33554432000 4194304 4196468 140731472488576 140286693911696 140286689679061 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9646080 140731472491243 140731472491670 140731472491670 140731472494543 0
[pid=4992/tid=4995] ppid=4989 vsize=27314120 memory=140621119743616 CPUtime=0 cores=0-7
/proc/4992/task/4995/stat : 4995 (java) S 4989 4989 4670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509579044 27969658880 26598 33554432000 4194304 4196468 140731472488576 140286518553616 140286689679061 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9646080 140731472491243 140731472491670 140731472491670 140731472494543 0
[pid=4992/tid=4996] ppid=4989 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4992/task/4996/stat : 4996 (java) S 4989 4989 4670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509579044 27969658880 26598 33554432000 4194304 4196468 140731472488576 140286110628752 140286689679061 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9646080 140731472491243 140731472491670 140731472491670 140731472494543 0
[pid=4992/tid=4997] ppid=4989 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4992/task/4997/stat : 4997 (java) S 4989 4989 4670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509579044 27969658880 26598 33554432000 4194304 4196468 140731472488576 140286109575952 140286689679061 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9646080 140731472491243 140731472491670 140731472491670 140731472494543 0
[pid=4992/tid=4998] ppid=4989 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4992/task/4998/stat : 4998 (java) S 4989 4989 4670 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509579044 27969658880 26598 33554432000 4194304 4196468 140731472488576 140286108523152 140286689679061 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9646080 140731472491243 140731472491670 140731472491670 140731472494543 0
[pid=4992/tid=4999] ppid=4989 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/4992/task/4999/stat : 4999 (java) S 4989 4989 4670 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509579044 27969658880 26598 33554432000 4194304 4196468 140731472488576 140286107470352 140286689679061 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9646080 140731472491243 140731472491670 140731472491670 140731472494543 0
[pid=4992/tid=5000] ppid=4989 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4992/task/5000/stat : 5000 (java) S 4989 4989 4670 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509579044 27969658880 26598 33554432000 4194304 4196468 140731472488576 140286106417552 140286689679061 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9646080 140731472491243 140731472491670 140731472491670 140731472494543 0
[pid=4992/tid=5001] ppid=4989 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4992/task/5001/stat : 5001 (java) S 4989 4989 4670 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509579044 27969658880 26598 33554432000 4194304 4196468 140731472488576 140286105364752 140286689679061 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9646080 140731472491243 140731472491670 140731472491670 140731472494543 0
[pid=4992/tid=5002] ppid=4989 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4992/task/5002/stat : 5002 (java) S 4989 4989 4670 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509579046 27969658880 26598 33554432000 4194304 4196468 140731472488576 140285211220848 140286689680002 0 0 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9646080 140731472491243 140731472491670 140731472491670 140731472494543 0
[pid=4992/tid=5003] ppid=4989 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4992/task/5003/stat : 5003 (java) S 4989 4989 4670 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 509579046 27969658880 26598 33554432000 4194304 4196468 140731472488576 140284436407840 140286689679061 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9646080 140731472491243 140731472491670 140731472491670 140731472494543 0
[pid=4992/tid=5004] ppid=4989 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4992/task/5004/stat : 5004 (java) S 4989 4989 4670 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 509579047 27969658880 26598 33554432000 4194304 4196468 140731472488576 140284302185840 140286689679061 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9646080 140731472491243 140731472491670 140731472491670 140731472494543 0
[pid=4992/tid=5005] ppid=4989 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4992/task/5005/stat : 5005 (java) S 4989 4989 4670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509579049 27969658880 26598 33554432000 4194304 4196468 140731472488576 140283927681360 140286689687451 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9646080 140731472491243 140731472491670 140731472491670 140731472494543 0
[pid=4992/tid=5006] ppid=4989 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4992/task/5006/stat : 5006 (java) S 4989 4989 4670 0 -1 1077944384 29 0 0 0 0 0 0 0 20 0 20 0 509579049 27969658880 26598 33554432000 4194304 4196468 140731472488576 140285210167664 140286689680002 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9646080 140731472491243 140731472491670 140731472491670 140731472494543 0
[pid=4992/tid=5007] ppid=4989 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4992/task/5007/stat : 5007 (java) S 4989 4989 4670 0 -1 1077944384 275 0 0 0 0 0 0 0 20 0 20 0 509579049 27969658880 26598 33554432000 4194304 4196468 140731472488576 140285209114864 140286689680002 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9646080 140731472491243 140731472491670 140731472491670 140731472494543 0
[pid=4992/tid=5008] ppid=4989 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4992/task/5008/stat : 5008 (java) S 4989 4989 4670 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 20 0 509579049 27969658880 26598 33554432000 4194304 4196468 140731472488576 140285208062064 140286689680002 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9646080 140731472491243 140731472491670 140731472491670 140731472494543 0
[pid=4992/tid=5009] ppid=4989 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4992/task/5009/stat : 5009 (java) S 4989 4989 4670 0 -1 1077944384 237 0 0 0 0 0 0 0 20 0 20 0 509579049 27969658880 26598 33554432000 4194304 4196468 140731472488576 140285207009264 140286689680002 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9646080 140731472491243 140731472491670 140731472491670 140731472494543 0
[pid=4992/tid=5010] ppid=4989 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4992/task/5010/stat : 5010 (java) S 4989 4989 4670 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509579050 27969658880 26598 33554432000 4194304 4196468 140731472488576 140283429776480 140286689679061 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9646080 140731472491243 140731472491670 140731472491670 140731472494543 0
[pid=4992/tid=5011] ppid=4989 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/4992/task/5011/stat : 5011 (java) S 4989 4989 4670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509579050 27969658880 26598 33554432000 4194304 4196468 140731472488576 140285205957680 140286689680002 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9646080 140731472491243 140731472491670 140731472491670 140731472494543 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 107788 KiB

[startup+0.211486 s]*
/proc/loadavg: 2.74 3.76 1.90 2/211 5011
/proc/meminfo: memFree=25136572/32770688 swapFree=67001272/67108860
[pid=4989] ppid=4986 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/4989/stat : 4989 (scop.sh) S 4986 4989 4670 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 509579041 115843072 349 33554432000 4194304 5098028 140729516017360 140729516014616 140529519563388 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 20996096 140729516024612 140729516024940 140729516024940 140729516027853 0
/proc/4989/statm: 28282 349 296 221 0 87 0
[pid=4992] ppid=4989 vsize=27314120 memory=125928 CPUtime=0.23 cores=0-7
/proc/4992/stat : 4992 (java) S 4989 4989 4670 0 -1 1077944320 12163 0 0 0 19 4 0 0 20 0 20 0 509579041 27969658880 31482 33554432000 4194304 4196468 140731472488576 140731472471120 140286689668855 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 9646080 140731472491243 140731472491670 140731472491670 140731472494543 0
/proc/4992/statm: 6828530 31482 2916 1 0 6790935 0
[pid=4992/tid=4993] ppid=4989 vsize=27314120 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/4992/task/4993/stat : 4993 (java) R 4989 4989 4670 0 -1 4202560 9906 0 0 0 16 3 0 0 20 0 20 0 509579042 27969658880 31486 33554432000 4194304 4196468 140731472488576 140286661501056 140286689690781 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9646080 140731472491243 140731472491670 140731472491670 140731472494543 0
[pid=4992/tid=4994] ppid=4989 vsize=27314120 memory=342 CPUtime=0 cores=0-7
/proc/4992/task/4994/stat : 4994 (java) S 4989 4989 4670 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509579044 27969658880 31486 33554432000 4194304 4196468 140731472488576 140286693911696 140286689679061 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9646080 140731472491243 140731472491670 140731472491670 140731472494543 0
[pid=4992/tid=4995] ppid=4989 vsize=27314120 memory=140621119762018 CPUtime=0 cores=0-7
/proc/4992/task/4995/stat : 4995 (java) S 4989 4989 4670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509579044 27969658880 31486 33554432000 4194304 4196468 140731472488576 140286518553616 140286689679061 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9646080 140731472491243 140731472491670 140731472491670 140731472494543 0
[pid=4992/tid=4996] ppid=4989 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/4992/task/4996/stat : 4996 (java) S 4989 4989 4670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509579044 27969658880 31486 33554432000 4194304 4196468 140731472488576 140286110628752 140286689679061 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9646080 140731472491243 140731472491670 140731472491670 140731472494543 0
[pid=4992/tid=4997] ppid=4989 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4992/task/4997/stat : 4997 (java) S 4989 4989 4670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509579044 27969658880 31486 33554432000 4194304 4196468 140731472488576 140286109575952 140286689679061 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9646080 140731472491243 140731472491670 140731472491670 140731472494543 0
[pid=4992/tid=4998] ppid=4989 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4992/task/4998/stat : 4998 (java) S 4989 4989 4670 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509579044 27969658880 31486 33554432000 4194304 4196468 140731472488576 140286108523152 140286689679061 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9646080 140731472491243 140731472491670 140731472491670 140731472494543 0
[pid=4992/tid=4999] ppid=4989 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/4992/task/4999/stat : 4999 (java) S 4989 4989 4670 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509579044 27969658880 31486 33554432000 4194304 4196468 140731472488576 140286107470352 140286689679061 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9646080 140731472491243 140731472491670 140731472491670 140731472494543 0
[pid=4992/tid=5000] ppid=4989 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4992/task/5000/stat : 5000 (java) S 4989 4989 4670 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509579044 27969658880 31486 33554432000 4194304 4196468 140731472488576 140286106417552 140286689679061 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9646080 140731472491243 140731472491670 140731472491670 140731472494543 0
[pid=4992/tid=5001] ppid=4989 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4992/task/5001/stat : 5001 (java) S 4989 4989 4670 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509579044 27969658880 31486 33554432000 4194304 4196468 140731472488576 140286105364752 140286689679061 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9646080 140731472491243 140731472491670 140731472491670 140731472494543 0
[pid=4992/tid=5002] ppid=4989 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4992/task/5002/stat : 5002 (java) S 4989 4989 4670 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509579046 27969658880 31486 33554432000 4194304 4196468 140731472488576 140285211220848 140286689680002 0 0 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9646080 140731472491243 140731472491670 140731472491670 140731472494543 0
[pid=4992/tid=5003] ppid=4989 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4992/task/5003/stat : 5003 (java) S 4989 4989 4670 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 509579046 27969658880 31486 33554432000 4194304 4196468 140731472488576 140284436407840 140286689679061 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9646080 140731472491243 140731472491670 140731472491670 140731472494543 0
[pid=4992/tid=5004] ppid=4989 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4992/task/5004/stat : 5004 (java) S 4989 4989 4670 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 509579047 27969658880 31486 33554432000 4194304 4196468 140731472488576 140284302185840 140286689679061 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9646080 140731472491243 140731472491670 140731472491670 140731472494543 0
[pid=4992/tid=5005] ppid=4989 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4992/task/5005/stat : 5005 (java) S 4989 4989 4670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509579049 27969658880 31486 33554432000 4194304 4196468 140731472488576 140283927681360 140286689687451 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9646080 140731472491243 140731472491670 140731472491670 140731472494543 0
[pid=4992/tid=5006] ppid=4989 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4992/task/5006/stat : 5006 (java) S 4989 4989 4670 0 -1 1077944384 29 0 0 0 0 0 0 0 20 0 20 0 509579049 27969658880 31486 33554432000 4194304 4196468 140731472488576 140285210167664 140286689680002 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9646080 140731472491243 140731472491670 140731472491670 140731472494543 0
[pid=4992/tid=5007] ppid=4989 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4992/task/5007/stat : 5007 (java) S 4989 4989 4670 0 -1 1077944384 275 0 0 0 0 0 0 0 20 0 20 0 509579049 27969658880 31486 33554432000 4194304 4196468 140731472488576 140285209114864 140286689680002 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9646080 140731472491243 140731472491670 140731472491670 140731472494543 0
[pid=4992/tid=5008] ppid=4989 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/4992/task/5008/stat : 5008 (java) S 4989 4989 4670 0 -1 1077944384 139 0 0 0 0 0 0 0 20 0 20 0 509579049 27969658880 31486 33554432000 4194304 4196468 140731472488576 140285208062064 140286689680002 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9646080 140731472491243 140731472491670 140731472491670 140731472494543 0
[pid=4992/tid=5009] ppid=4989 vsize=27314120 memory=-1 CPUtime=0.02 cores=0-7
/proc/4992/task/5009/stat : 5009 (java) R 4989 4989 4670 0 -1 4202560 462 0 0 0 2 0 0 0 20 0 20 0 509579049 27969658880 31486 33554432000 4194304 4196468 140731472488576 140285207009264 140286689690202 0 4 2 16800973 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 9646080 140731472491243 140731472491670 140731472491670 140731472494543 0
[pid=4992/tid=5010] ppid=4989 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4992/task/5010/stat : 5010 (java) S 4989 4989 4670 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509579050 27969658880 31486 33554432000 4194304 4196468 140731472488576 140283429776480 140286689679061 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9646080 140731472491243 140731472491670 140731472491670 140731472494543 0
[pid=4992/tid=5011] ppid=4989 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/4992/task/5011/stat : 5011 (java) S 4989 4989 4670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509579050 27969658880 31486 33554432000 4194304 4196468 140731472488576 140285205957680 140286689680002 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9646080 140731472491243 140731472491670 140731472491670 140731472494543 0
Current children cumulated CPU time: 0.23 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 127324 KiB

[startup+0.310834 s]*
/proc/loadavg: 2.74 3.76 1.90 3/211 5011
/proc/meminfo: memFree=25131540/32770688 swapFree=67001272/67108860
[pid=4989] ppid=4986 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/4989/stat : 4989 (scop.sh) S 4986 4989 4670 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 509579041 115843072 349 33554432000 4194304 5098028 140729516017360 140729516014616 140529519563388 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 20996096 140729516024612 140729516024940 140729516024940 140729516027853 0
/proc/4989/statm: 28282 349 296 221 0 87 0
[pid=4992] ppid=4989 vsize=27314120 memory=129276 CPUtime=0.42 cores=0-7
/proc/4992/stat : 4992 (java) S 4989 4989 4670 0 -1 1077944320 12738 0 0 0 37 5 0 0 20 0 20 0 509579041 27969658880 32319 33554432000 4194304 4196468 140731472488576 140731472471120 140286689668855 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 9646080 140731472491243 140731472491670 140731472491670 140731472494543 0
/proc/4992/statm: 6828530 32319 3011 1 0 6790935 0
[pid=4992/tid=4993] ppid=4989 vsize=27314120 memory=1398722017469774279 CPUtime=0.29 cores=0-7
/proc/4992/task/4993/stat : 4993 (java) R 4989 4989 4670 0 -1 4202560 10233 0 0 0 25 4 0 0 20 0 20 0 509579042 27969658880 32333 33554432000 4194304 4196468 140731472488576 140286661497640 140286673749342 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9646080 140731472491243 140731472491670 140731472491670 140731472494543 0
[pid=4992/tid=4994] ppid=4989 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4992/task/4994/stat : 4994 (java) S 4989 4989 4670 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509579044 27969658880 32333 33554432000 4194304 4196468 140731472488576 140286693911696 140286689679061 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9646080 140731472491243 140731472491670 140731472491670 140731472494543 0
[pid=4992/tid=4995] ppid=4989 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4992/task/4995/stat : 4995 (java) S 4989 4989 4670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509579044 27969658880 32333 33554432000 4194304 4196468 140731472488576 140286518553616 140286689679061 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9646080 140731472491243 140731472491670 140731472491670 140731472494543 0
[pid=4992/tid=4996] ppid=4989 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4992/task/4996/stat : 4996 (java) S 4989 4989 4670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509579044 27969658880 32333 33554432000 4194304 4196468 140731472488576 140286110628752 140286689679061 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9646080 140731472491243 140731472491670 140731472491670 140731472494543 0
[pid=4992/tid=4997] ppid=4989 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4992/task/4997/stat : 4997 (java) S 4989 4989 4670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509579044 27969658880 32333 33554432000 4194304 4196468 140731472488576 140286109575952 140286689679061 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9646080 140731472491243 140731472491670 140731472491670 140731472494543 0
[pid=4992/tid=4998] ppid=4989 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4992/task/4998/stat : 4998 (java) S 4989 4989 4670 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509579044 27969658880 32333 33554432000 4194304 4196468 140731472488576 140286108523152 140286689679061 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9646080 140731472491243 140731472491670 140731472491670 140731472494543 0
[pid=4992/tid=4999] ppid=4989 vsize=27314120 memory=140620987460271 CPUtime=0 cores=0-7
/proc/4992/task/4999/stat : 4999 (java) S 4989 4989 4670 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509579044 27969658880 32333 33554432000 4194304 4196468 140731472488576 140286107470352 140286689679061 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9646080 140731472491243 140731472491670 140731472491670 140731472494543 0
[pid=4992/tid=5000] ppid=4989 vsize=27314120 memory=140620987462576 CPUtime=0 cores=0-7
/proc/4992/task/5000/stat : 5000 (java) S 4989 4989 4670 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509579044 27969658880 32333 33554432000 4194304 4196468 140731472488576 140286106417552 140286689679061 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9646080 140731472491243 140731472491670 140731472491670 140731472494543 0
[pid=4992/tid=5001] ppid=4989 vsize=27314120 memory=140620987464880 CPUtime=0 cores=0-7
/proc/4992/task/5001/stat : 5001 (java) S 4989 4989 4670 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509579044 27969658880 32333 33554432000 4194304 4196468 140731472488576 140286105364752 140286689679061 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9646080 140731472491243 140731472491670 140731472491670 140731472494543 0
[pid=4992/tid=5002] ppid=4989 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4992/task/5002/stat : 5002 (java) S 4989 4989 4670 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509579046 27969658880 32333 33554432000 4194304 4196468 140731472488576 140285211220848 140286689680002 0 0 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9646080 140731472491243 140731472491670 140731472491670 140731472494543 0
[pid=4992/tid=5003] ppid=4989 vsize=27314120 memory=281241974943632 CPUtime=0 cores=0-7
/proc/4992/task/5003/stat : 5003 (java) S 4989 4989 4670 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 509579046 27969658880 32333 33554432000 4194304 4196468 140731472488576 140284436407840 140286689679061 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9646080 140731472491243 140731472491670 140731472491670 140731472494543 0
[pid=4992/tid=5004] ppid=4989 vsize=27314120 memory=281241974941328 CPUtime=0 cores=0-7
/proc/4992/task/5004/stat : 5004 (java) S 4989 4989 4670 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 509579047 27969658880 32333 33554432000 4194304 4196468 140731472488576 140284302185840 140286689679061 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9646080 140731472491243 140731472491670 140731472491670 140731472494543 0
[pid=4992/tid=5005] ppid=4989 vsize=27314120 memory=281241974948240 CPUtime=0 cores=0-7
/proc/4992/task/5005/stat : 5005 (java) S 4989 4989 4670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509579049 27969658880 32333 33554432000 4194304 4196468 140731472488576 140283927681360 140286689687451 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9646080 140731472491243 140731472491670 140731472491670 140731472494543 0
[pid=4992/tid=5006] ppid=4989 vsize=27314120 memory=281241974889488 CPUtime=0 cores=0-7
/proc/4992/task/5006/stat : 5006 (java) S 4989 4989 4670 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 20 0 509579049 27969658880 32333 33554432000 4194304 4196468 140731472488576 140285210167664 140286689680002 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9646080 140731472491243 140731472491670 140731472491670 140731472494543 0
[pid=4992/tid=5007] ppid=4989 vsize=27314120 memory=281241974962064 CPUtime=0.02 cores=0-7
/proc/4992/task/5007/stat : 5007 (java) S 4989 4989 4670 0 -1 1077944384 341 0 0 0 2 0 0 0 20 0 20 0 509579049 27969658880 32333 33554432000 4194304 4196468 140731472488576 140285209114864 140286689680002 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9646080 140731472491243 140731472491670 140731472491670 140731472494543 0
[pid=4992/tid=5008] ppid=4989 vsize=27314120 memory=281241974968976 CPUtime=0.01 cores=0-7
/proc/4992/task/5008/stat : 5008 (java) S 4989 4989 4670 0 -1 1077944384 253 0 0 0 1 0 0 0 20 0 20 0 509579049 27969658880 32333 33554432000 4194304 4196468 140731472488576 140285208062064 140286689680002 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9646080 140731472491243 140731472491670 140731472491670 140731472494543 0
[pid=4992/tid=5009] ppid=4989 vsize=27314120 memory=281241974966672 CPUtime=0.07 cores=0-7
/proc/4992/task/5009/stat : 5009 (java) S 4989 4989 4670 0 -1 1077944384 505 0 0 0 7 0 0 0 20 0 20 0 509579049 27969658880 32333 33554432000 4194304 4196468 140731472488576 140285207009264 140286689680002 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9646080 140731472491243 140731472491670 140731472491670 140731472494543 0
[pid=4992/tid=5010] ppid=4989 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4992/task/5010/stat : 5010 (java) S 4989 4989 4670 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509579050 27969658880 32333 33554432000 4194304 4196468 140731472488576 140283429776480 140286689679061 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9646080 140731472491243 140731472491670 140731472491670 140731472494543 0
[pid=4992/tid=5011] ppid=4989 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/4992/task/5011/stat : 5011 (java) S 4989 4989 4670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509579050 27969658880 32333 33554432000 4194304 4196468 140731472488576 140285205957680 140286689680002 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9646080 140731472491243 140731472491670 140731472491670 140731472494543 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 130672 KiB

[startup+0.70095 s]
/proc/loadavg: 2.74 3.76 1.90 2/211 5011
/proc/meminfo: memFree=25121556/32770688 swapFree=67001272/67108860
[pid=4989] ppid=4986 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/4989/stat : 4989 (scop.sh) S 4986 4989 4670 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 509579041 115843072 349 33554432000 4194304 5098028 140729516017360 140729516014616 140529519563388 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 20996096 140729516024612 140729516024940 140729516024940 140729516027853 0
/proc/4989/statm: 28282 349 296 221 0 87 0
[pid=4992] ppid=4989 vsize=27320392 memory=159384 CPUtime=0.9 cores=0-7
/proc/4992/stat : 4992 (java) S 4989 4989 4670 0 -1 1077944320 19480 0 0 0 83 7 0 0 20 0 20 0 509579041 27976081408 39846 33554432000 4194304 4196468 140731472488576 140731472471120 140286689668855 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 9646080 140731472491243 140731472491670 140731472491670 140731472494543 0
/proc/4992/statm: 6830098 39846 3113 1 0 6791447 0
[pid=4992/tid=4993] ppid=4989 vsize=27320392 memory=0 CPUtime=0.67 cores=0-7
/proc/4992/task/4993/stat : 4993 (java) R 4989 4989 4670 0 -1 4202560 16884 0 0 0 61 6 0 0 20 0 20 0 509579042 27976081408 39846 33554432000 4194304 4196468 140731472488576 140286661487792 140286689690781 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9646080 140731472491243 140731472491670 140731472491670 140731472494543 0
[pid=4992/tid=4994] ppid=4989 vsize=27320392 memory=140620987671408 CPUtime=0 cores=0-7
/proc/4992/task/4994/stat : 4994 (java) S 4989 4989 4670 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509579044 27976081408 39846 33554432000 4194304 4196468 140731472488576 140286693911696 140286689679061 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9646080 140731472491243 140731472491670 140731472491670 140731472494543 0
[pid=4992/tid=4995] ppid=4989 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/4992/task/4995/stat : 4995 (java) S 4989 4989 4670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509579044 27976081408 39846 33554432000 4194304 4196468 140731472488576 140286518553616 140286689679061 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9646080 140731472491243 140731472491670 140731472491670 140731472494543 0
[pid=4992/tid=4996] ppid=4989 vsize=27320392 memory=1564 CPUtime=0 cores=0-7
/proc/4992/task/4996/stat : 4996 (java) S 4989 4989 4670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509579044 27976081408 39846 33554432000 4194304 4196468 140731472488576 140286110628752 140286689679061 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9646080 140731472491243 140731472491670 140731472491670 140731472494543 0

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

[pid=5087/tid=5095] ppid=4989 vsize=8414124 memory=122720 CPUtime=0 cores=0-7
/proc/5087/task/5095/stat : 5095 (java) S 4989 4989 4670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509670025 8616062976 30680 33554432000 4194304 4196468 140723687697520 140424030870544 140424551069397 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30642176 140723687703544 140723687703702 140723687703702 140723687706575 0
[pid=5087/tid=5096] ppid=4989 vsize=8414124 memory=1228 CPUtime=0 cores=0-7
/proc/5087/task/5096/stat : 5096 (java) S 4989 4989 4670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509670025 8616062976 30680 33554432000 4194304 4196468 140723687697520 140424029818000 140424551069397 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30642176 140723687703544 140723687703702 140723687703702 140723687706575 0
[pid=5087/tid=5097] ppid=4989 vsize=8414124 memory=6124 CPUtime=0 cores=0-7
/proc/5087/task/5097/stat : 5097 (java) S 4989 4989 4670 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 509670026 8616062976 30680 33554432000 4194304 4196468 140723687697520 140423912884208 140424551070338 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30642176 140723687703544 140723687703702 140723687703702 140723687706575 0
[pid=5087/tid=5098] ppid=4989 vsize=8414124 memory=1396 CPUtime=0 cores=0-7
/proc/5087/task/5098/stat : 5098 (java) S 4989 4989 4670 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 509670027 8616062976 30680 33554432000 4194304 4196468 140723687697520 140422881993632 140424551069397 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30642176 140723687703544 140723687703702 140723687703702 140723687706575 0
[pid=5087/tid=5099] ppid=4989 vsize=8414124 memory=16918980 CPUtime=0 cores=0-7
/proc/5087/task/5099/stat : 5099 (java) S 4989 4989 4670 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 509670027 8616062976 30680 33554432000 4194304 4196468 140723687697520 140422747771888 140424551069397 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30642176 140723687703544 140723687703702 140723687703702 140723687706575 0
[pid=5087/tid=5100] ppid=4989 vsize=8414124 memory=1556 CPUtime=0 cores=0-7
/proc/5087/task/5100/stat : 5100 (java) S 4989 4989 4670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509670030 8616062976 30680 33554432000 4194304 4196468 140723687697520 140422373267664 140424551077787 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30642176 140723687703544 140723687703702 140723687703702 140723687706575 0
[pid=5087/tid=5101] ppid=4989 vsize=8414124 memory=928 CPUtime=0.07 cores=0-7
/proc/5087/task/5101/stat : 5101 (java) S 4989 4989 4670 0 -1 1077944384 644 0 0 0 7 0 0 0 20 0 24 0 509670030 8616062976 30680 33554432000 4194304 4196468 140723687697520 140423911832048 140424551070338 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30642176 140723687703544 140723687703702 140723687703702 140723687706575 0
[pid=5087/tid=5102] ppid=4989 vsize=8414124 memory=2120 CPUtime=0.19 cores=0-7
/proc/5087/task/5102/stat : 5102 (java) S 4989 4989 4670 0 -1 1077944384 446 0 0 0 19 0 0 0 20 0 24 0 509670030 8616062976 30680 33554432000 4194304 4196468 140723687697520 140423910779504 140424551070338 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30642176 140723687703544 140723687703702 140723687703702 140723687706575 0
[pid=5087/tid=5103] ppid=4989 vsize=8414124 memory=496 CPUtime=0.14 cores=0-7
/proc/5087/task/5103/stat : 5103 (java) S 4989 4989 4670 0 -1 1077944384 682 0 0 0 14 0 0 0 20 0 24 0 509670030 8616062976 30680 33554432000 4194304 4196468 140723687697520 140423909726960 140424551070338 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30642176 140723687703544 140723687703702 140723687703702 140723687706575 0
[pid=5087/tid=5104] ppid=4989 vsize=8414124 memory=1556 CPUtime=0.24 cores=0-7
/proc/5087/task/5104/stat : 5104 (java) S 4989 4989 4670 0 -1 1077944384 578 0 0 0 24 0 0 0 20 0 24 0 509670030 8616062976 30680 33554432000 4194304 4196468 140723687697520 140423908674416 140424551070338 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30642176 140723687703544 140723687703702 140723687703702 140723687706575 0
[pid=5087/tid=5105] ppid=4989 vsize=8414124 memory=928 CPUtime=0 cores=0-7
/proc/5087/task/5105/stat : 5105 (java) S 4989 4989 4670 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 509670030 8616062976 30680 33554432000 4194304 4196468 140723687697520 140421875362016 140424551069397 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30642176 140723687703544 140723687703702 140723687703702 140723687706575 0
[pid=5087/tid=5106] ppid=4989 vsize=8414124 memory=1620 CPUtime=0 cores=0-7
/proc/5087/task/5106/stat : 5106 (java) S 4989 4989 4670 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 509670031 8616062976 30680 33554432000 4194304 4196468 140723687697520 140423907621296 140424551070338 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 9 0 0 6293624 6294260 30642176 140723687703544 140723687703702 140723687703702 140723687706575 0
[pid=5087/tid=5108] ppid=4989 vsize=8414124 memory=780 CPUtime=0 cores=0-7
/proc/5087/task/5108/stat : 5108 (java) S 4989 4989 4670 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 509670110 8616062976 30680 33554432000 4194304 4196468 140723687697520 140423899587776 140424551083801 0 4 2 25189581 18446744071579417331 0 0 -1 6 0 0 0 0 0 6293624 6294260 30642176 140723687703544 140723687703702 140723687703702 140723687706575 0
[pid=5087/tid=5110] ppid=4989 vsize=8414124 memory=1444 CPUtime=0 cores=0-7
/proc/5087/task/5110/stat : 5110 (java) S 4989 4989 4670 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 24 0 509670111 8616062976 30680 33554432000 4194304 4196468 140723687697520 140421204262672 140424551081117 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 30642176 140723687703544 140723687703702 140723687703702 140723687706575 0
[pid=5087/tid=5111] ppid=4989 vsize=8414124 memory=1984 CPUtime=0 cores=0-7
/proc/5087/task/5111/stat : 5111 (java) S 4989 4989 4670 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 509670111 8616062976 30680 33554432000 4194304 4196468 140723687697520 140421472698256 140424551081117 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 30642176 140723687703544 140723687703702 140723687703702 140723687706575 0
[pid=5087/tid=5112] ppid=4989 vsize=8414124 memory=2524 CPUtime=0 cores=0-7
/proc/5087/task/5112/stat : 5112 (java) S 4989 4989 4670 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 509670113 8616062976 30680 33554432000 4194304 4196468 140723687697520 140420935835312 140424551069397 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30642176 140723687703544 140723687703702 140723687703702 140723687706575 0
Current children cumulated CPU time: 1087.79 s
Current children cumulated vsize: 8673472 KiB
Current children cumulated memory: 245476 KiB

[startup+912.401 s]
/proc/loadavg: 0.94 1.16 1.40 2/216 5112
/proc/meminfo: memFree=25010684/32770688 swapFree=67001276/67108860
[pid=4989] ppid=4986 vsize=113128 memory=1476 CPUtime=1084.89 cores=0-7
/proc/4989/stat : 4989 (scop.sh) S 4986 4989 4670 0 -1 4202496 583 278896 0 0 0 0 105531 2958 20 0 1 0 509579041 115843072 369 33554432000 4194304 5098028 140729516017360 140729516014104 140529519563388 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 20996096 140729516024612 140729516024940 140729516024940 140729516027853 0
/proc/4989/statm: 28282 369 311 221 0 87 0
[pid=5087] ppid=4989 vsize=8414124 memory=122720 CPUtime=1.6 cores=0-7
/proc/5087/stat : 5087 (java) S 4989 4989 4670 0 -1 1077944320 20179 0 0 0 150 10 0 0 20 0 24 0 509670022 8616062976 30680 33554432000 4194304 4196468 140723687697520 140723687680064 140424551059191 0 0 2 25189581 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 30642176 140723687703544 140723687703702 140723687703702 140723687706575 0
/proc/5087/statm: 2103531 30680 3209 1 0 2064875 0
[pid=5107] ppid=5087 vsize=515784 memory=490888 CPUtime=1.7 cores=0-7
/proc/5107/stat : 5107 (manyglucose-4.1) R 5087 4989 4670 0 -1 4202496 87057 0 0 0 156 14 0 0 20 0 1 0 509670110 528162816 122722 33554432000 4194304 4454172 140729127634928 140729127632840 140249102011365 0 4 0 8388610 0 0 0 17 1 0 0 0 0 0 6552832 6554400 30515200 140729127641962 140729127642160 140729127642160 140729127645114 0
/proc/5107/statm: 128946 122722 378 64 0 124614 0
[pid=5087/tid=5088] ppid=4989 vsize=8414124 memory=56044 CPUtime=0.9 cores=0-7
/proc/5087/task/5088/stat : 5088 (java) S 4989 4989 4670 0 -1 1077944384 16411 0 0 0 83 7 0 0 20 0 24 0 509670023 8616062976 30680 33554432000 4194304 4196468 140723687697520 140424522899360 140424551069397 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30642176 140723687703544 140723687703702 140723687703702 140723687706575 0
[pid=5087/tid=5089] ppid=4989 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/5087/task/5089/stat : 5089 (java) S 4989 4989 4670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509670025 8616062976 30680 33554432000 4194304 4196468 140723687697520 140424555301136 140424551069397 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30642176 140723687703544 140723687703702 140723687703702 140723687706575 0
[pid=5087/tid=5090] ppid=4989 vsize=8414124 memory=122720 CPUtime=0 cores=0-7
/proc/5087/task/5090/stat : 5090 (java) S 4989 4989 4670 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 509670025 8616062976 30680 33554432000 4194304 4196468 140723687697520 140424361064848 140424551069397 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30642176 140723687703544 140723687703702 140723687703702 140723687706575 0
[pid=5087/tid=5091] ppid=4989 vsize=8414124 memory=113592 CPUtime=0 cores=0-7
/proc/5087/task/5091/stat : 5091 (java) S 4989 4989 4670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509670025 8616062976 30680 33554432000 4194304 4196468 140723687697520 140424360012304 140424551069397 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30642176 140723687703544 140723687703702 140723687703702 140723687706575 0
[pid=5087/tid=5092] ppid=4989 vsize=8414124 memory=2044 CPUtime=0 cores=0-7
/proc/5087/task/5092/stat : 5092 (java) S 4989 4989 4670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509670025 8616062976 30680 33554432000 4194304 4196468 140723687697520 140424034028176 140424551069397 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30642176 140723687703544 140723687703702 140723687703702 140723687706575 0
[pid=5087/tid=5093] ppid=4989 vsize=8414124 memory=1368 CPUtime=0 cores=0-7
/proc/5087/task/5093/stat : 5093 (java) S 4989 4989 4670 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 509670025 8616062976 30680 33554432000 4194304 4196468 140723687697520 140424032975632 140424551069397 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30642176 140723687703544 140723687703702 140723687703702 140723687706575 0
[pid=5087/tid=5094] ppid=4989 vsize=8414124 memory=1056 CPUtime=0 cores=0-7
/proc/5087/task/5094/stat : 5094 (java) S 4989 4989 4670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509670025 8616062976 30680 33554432000 4194304 4196468 140723687697520 140424031923088 140424551069397 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30642176 140723687703544 140723687703702 140723687703702 140723687706575 0
[pid=5087/tid=5095] ppid=4989 vsize=8414124 memory=772 CPUtime=0 cores=0-7
/proc/5087/task/5095/stat : 5095 (java) S 4989 4989 4670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509670025 8616062976 30680 33554432000 4194304 4196468 140723687697520 140424030870544 140424551069397 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30642176 140723687703544 140723687703702 140723687703702 140723687706575 0
[pid=5087/tid=5096] ppid=4989 vsize=8414124 memory=288230574492221466 CPUtime=0 cores=0-7
/proc/5087/task/5096/stat : 5096 (java) S 4989 4989 4670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509670025 8616062976 30680 33554432000 4194304 4196468 140723687697520 140424029818000 140424551069397 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30642176 140723687703544 140723687703702 140723687703702 140723687706575 0
[pid=5087/tid=5097] ppid=4989 vsize=8414124 memory=301741394933055803 CPUtime=0 cores=0-7
/proc/5087/task/5097/stat : 5097 (java) S 4989 4989 4670 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 509670026 8616062976 30680 33554432000 4194304 4196468 140723687697520 140423912884208 140424551070338 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30642176 140723687703544 140723687703702 140723687703702 140723687706575 0
[pid=5087/tid=5098] ppid=4989 vsize=8414124 memory=13569280012717590 CPUtime=0 cores=0-7
/proc/5087/task/5098/stat : 5098 (java) S 4989 4989 4670 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 509670027 8616062976 30680 33554432000 4194304 4196468 140723687697520 140422881993632 140424551069397 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30642176 140723687703544 140723687703702 140723687703702 140723687706575 0
[pid=5087/tid=5099] ppid=4989 vsize=8414124 memory=1808 CPUtime=0 cores=0-7
/proc/5087/task/5099/stat : 5099 (java) S 4989 4989 4670 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 509670027 8616062976 30680 33554432000 4194304 4196468 140723687697520 140422747771888 140424551069397 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30642176 140723687703544 140723687703702 140723687703702 140723687706575 0
[pid=5087/tid=5100] ppid=4989 vsize=8414124 memory=920 CPUtime=0 cores=0-7
/proc/5087/task/5100/stat : 5100 (java) S 4989 4989 4670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509670030 8616062976 30680 33554432000 4194304 4196468 140723687697520 140422373267664 140424551077787 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30642176 140723687703544 140723687703702 140723687703702 140723687706575 0
[pid=5087/tid=5101] ppid=4989 vsize=8414124 memory=4428 CPUtime=0.07 cores=0-7
/proc/5087/task/5101/stat : 5101 (java) S 4989 4989 4670 0 -1 1077944384 644 0 0 0 7 0 0 0 20 0 24 0 509670030 8616062976 30680 33554432000 4194304 4196468 140723687697520 140423911832048 140424551070338 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30642176 140723687703544 140723687703702 140723687703702 140723687706575 0
[pid=5087/tid=5102] ppid=4989 vsize=8414124 memory=1396 CPUtime=0.19 cores=0-7
/proc/5087/task/5102/stat : 5102 (java) S 4989 4989 4670 0 -1 1077944384 446 0 0 0 19 0 0 0 20 0 24 0 509670030 8616062976 30680 33554432000 4194304 4196468 140723687697520 140423910779504 140424551070338 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30642176 140723687703544 140723687703702 140723687703702 140723687706575 0
[pid=5087/tid=5103] ppid=4989 vsize=8414124 memory=17051328 CPUtime=0.14 cores=0-7
/proc/5087/task/5103/stat : 5103 (java) S 4989 4989 4670 0 -1 1077944384 682 0 0 0 14 0 0 0 20 0 24 0 509670030 8616062976 30680 33554432000 4194304 4196468 140723687697520 140423909726960 140424551070338 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30642176 140723687703544 140723687703702 140723687703702 140723687706575 0
[pid=5087/tid=5104] ppid=4989 vsize=8414124 memory=1396 CPUtime=0.24 cores=0-7
/proc/5087/task/5104/stat : 5104 (java) S 4989 4989 4670 0 -1 1077944384 578 0 0 0 24 0 0 0 20 0 24 0 509670030 8616062976 30680 33554432000 4194304 4196468 140723687697520 140423908674416 140424551070338 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30642176 140723687703544 140723687703702 140723687703702 140723687706575 0
[pid=5087/tid=5105] ppid=4989 vsize=8414124 memory=17049104 CPUtime=0 cores=0-7
/proc/5087/task/5105/stat : 5105 (java) S 4989 4989 4670 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 509670030 8616062976 30680 33554432000 4194304 4196468 140723687697520 140421875362016 140424551069397 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30642176 140723687703544 140723687703702 140723687703702 140723687706575 0
[pid=5087/tid=5106] ppid=4989 vsize=8414124 memory=1728 CPUtime=0 cores=0-7
/proc/5087/task/5106/stat : 5106 (java) S 4989 4989 4670 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 509670031 8616062976 30680 33554432000 4194304 4196468 140723687697520 140423907621296 140424551070338 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 9 0 0 6293624 6294260 30642176 140723687703544 140723687703702 140723687703702 140723687706575 0
[pid=5087/tid=5108] ppid=4989 vsize=8414124 memory=1398722017469774279 CPUtime=0 cores=0-7
/proc/5087/task/5108/stat : 5108 (java) S 4989 4989 4670 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 509670110 8616062976 30680 33554432000 4194304 4196468 140723687697520 140423899587776 140424551083801 0 4 2 25189581 18446744071579417331 0 0 -1 6 0 0 0 0 0 6293624 6294260 30642176 140723687703544 140723687703702 140723687703702 140723687706575 0
[pid=5087/tid=5110] ppid=4989 vsize=8414124 memory=496 CPUtime=0 cores=0-7
/proc/5087/task/5110/stat : 5110 (java) S 4989 4989 4670 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 24 0 509670111 8616062976 30680 33554432000 4194304 4196468 140723687697520 140421204262672 140424551081117 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 30642176 140723687703544 140723687703702 140723687703702 140723687706575 0
[pid=5087/tid=5111] ppid=4989 vsize=8414124 memory=1556 CPUtime=0 cores=0-7
/proc/5087/task/5111/stat : 5111 (java) S 4989 4989 4670 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 509670111 8616062976 30680 33554432000 4194304 4196468 140723687697520 140421472698256 140424551081117 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 30642176 140723687703544 140723687703702 140723687703702 140723687706575 0
[pid=5087/tid=5112] ppid=4989 vsize=8414124 memory=3612 CPUtime=0 cores=0-7
/proc/5087/task/5112/stat : 5112 (java) S 4989 4989 4670 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 509670113 8616062976 30680 33554432000 4194304 4196468 140723687697520 140420935835312 140424551069397 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30642176 140723687703544 140723687703702 140723687703702 140723687706575 0
Current children cumulated CPU time: 1088.19 s
Current children cumulated vsize: 9043036 KiB
Current children cumulated memory: 615084 KiB

[startup+912.601 s]
/proc/loadavg: 0.94 1.16 1.40 2/216 5112
/proc/meminfo: memFree=25010684/32770688 swapFree=67001276/67108860
[pid=4989] ppid=4986 vsize=113128 memory=1476 CPUtime=1084.89 cores=0-7
/proc/4989/stat : 4989 (scop.sh) S 4986 4989 4670 0 -1 4202496 583 278896 0 0 0 0 105531 2958 20 0 1 0 509579041 115843072 369 33554432000 4194304 5098028 140729516017360 140729516014104 140529519563388 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 20996096 140729516024612 140729516024940 140729516024940 140729516027853 0
/proc/4989/statm: 28282 369 311 221 0 87 0
[pid=5087] ppid=4989 vsize=8414124 memory=122720 CPUtime=1.6 cores=0-7
/proc/5087/stat : 5087 (java) S 4989 4989 4670 0 -1 1077944320 20179 0 0 0 150 10 0 0 20 0 24 0 509670022 8616062976 30680 33554432000 4194304 4196468 140723687697520 140723687680064 140424551059191 0 0 2 25189581 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 30642176 140723687703544 140723687703702 140723687703702 140723687706575 0
/proc/5087/statm: 2103531 30680 3209 1 0 2064875 0
[pid=5107] ppid=5087 vsize=1252232 memory=638384 CPUtime=2.06 cores=0-7
/proc/5107/stat : 5107 (manyglucose-4.1) S 5087 4989 4670 0 -1 1077944320 111665 0 0 0 188 18 0 0 20 0 2 0 509670110 1282285568 159596 33554432000 4194304 4454172 140729127634928 140729127633312 140249116708599 0 4 0 8388610 18446744073709551615 0 0 17 2 0 0 0 0 0 6552832 6554400 30515200 140729127641962 140729127642160 140729127642160 140729127645114 0
/proc/5107/statm: 313058 159596 402 64 0 308726 0
[pid=5087/tid=5088] ppid=4989 vsize=8414124 memory=1398722017469774279 CPUtime=0.9 cores=0-7
/proc/5087/task/5088/stat : 5088 (java) S 4989 4989 4670 0 -1 1077944384 16411 0 0 0 83 7 0 0 20 0 24 0 509670023 8616062976 30680 33554432000 4194304 4196468 140723687697520 140424522899360 140424551069397 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30642176 140723687703544 140723687703702 140723687703702 140723687706575 0
[pid=5087/tid=5089] ppid=4989 vsize=8414124 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/5087/task/5089/stat : 5089 (java) S 4989 4989 4670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509670025 8616062976 30680 33554432000 4194304 4196468 140723687697520 140424555301136 140424551069397 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30642176 140723687703544 140723687703702 140723687703702 140723687706575 0
[pid=5087/tid=5090] ppid=4989 vsize=8414124 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/5087/task/5090/stat : 5090 (java) S 4989 4989 4670 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 509670025 8616062976 30680 33554432000 4194304 4196468 140723687697520 140424361064848 140424551069397 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30642176 140723687703544 140723687703702 140723687703702 140723687706575 0
[pid=5087/tid=5091] ppid=4989 vsize=8414124 memory=1556 CPUtime=0 cores=0-7
/proc/5087/task/5091/stat : 5091 (java) S 4989 4989 4670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509670025 8616062976 30680 33554432000 4194304 4196468 140723687697520 140424360012304 140424551069397 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30642176 140723687703544 140723687703702 140723687703702 140723687706575 0
[pid=5087/tid=5092] ppid=4989 vsize=8414124 memory=928 CPUtime=0 cores=0-7
/proc/5087/task/5092/stat : 5092 (java) S 4989 4989 4670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509670025 8616062976 30680 33554432000 4194304 4196468 140723687697520 140424034028176 140424551069397 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30642176 140723687703544 140723687703702 140723687703702 140723687706575 0
[pid=5087/tid=5093] ppid=4989 vsize=8414124 memory=1620 CPUtime=0 cores=0-7
/proc/5087/task/5093/stat : 5093 (java) S 4989 4989 4670 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 509670025 8616062976 30680 33554432000 4194304 4196468 140723687697520 140424032975632 140424551069397 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30642176 140723687703544 140723687703702 140723687703702 140723687706575 0
[pid=5087/tid=5094] ppid=4989 vsize=8414124 memory=780 CPUtime=0 cores=0-7
/proc/5087/task/5094/stat : 5094 (java) S 4989 4989 4670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509670025 8616062976 30680 33554432000 4194304 4196468 140723687697520 140424031923088 140424551069397 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30642176 140723687703544 140723687703702 140723687703702 140723687706575 0
[pid=5087/tid=5095] ppid=4989 vsize=8414124 memory=1444 CPUtime=0 cores=0-7
/proc/5087/task/5095/stat : 5095 (java) S 4989 4989 4670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509670025 8616062976 30680 33554432000 4194304 4196468 140723687697520 140424030870544 140424551069397 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30642176 140723687703544 140723687703702 140723687703702 140723687706575 0
[pid=5087/tid=5096] ppid=4989 vsize=8414124 memory=1984 CPUtime=0 cores=0-7
/proc/5087/task/5096/stat : 5096 (java) S 4989 4989 4670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509670025 8616062976 30680 33554432000 4194304 4196468 140723687697520 140424029818000 140424551069397 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30642176 140723687703544 140723687703702 140723687703702 140723687706575 0
[pid=5087/tid=5097] ppid=4989 vsize=8414124 memory=2524 CPUtime=0 cores=0-7
/proc/5087/task/5097/stat : 5097 (java) S 4989 4989 4670 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 509670026 8616062976 30680 33554432000 4194304 4196468 140723687697520 140423912884208 140424551070338 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30642176 140723687703544 140723687703702 140723687703702 140723687706575 0
[pid=5087/tid=5098] ppid=4989 vsize=8414124 memory=1760 CPUtime=0 cores=0-7
/proc/5087/task/5098/stat : 5098 (java) S 4989 4989 4670 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 509670027 8616062976 30680 33554432000 4194304 4196468 140723687697520 140422881993632 140424551069397 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30642176 140723687703544 140723687703702 140723687703702 140723687706575 0
[pid=5087/tid=5099] ppid=4989 vsize=8414124 memory=111636 CPUtime=0 cores=0-7
/proc/5087/task/5099/stat : 5099 (java) S 4989 4989 4670 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 509670027 8616062976 30680 33554432000 4194304 4196468 140723687697520 140422747771888 140424551069397 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30642176 140723687703544 140723687703702 140723687703702 140723687706575 0
[pid=5087/tid=5100] ppid=4989 vsize=8414124 memory=800 CPUtime=0 cores=0-7
/proc/5087/task/5100/stat : 5100 (java) S 4989 4989 4670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509670030 8616062976 30680 33554432000 4194304 4196468 140723687697520 140422373267664 140424551077787 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30642176 140723687703544 140723687703702 140723687703702 140723687706575 0
[pid=5087/tid=5101] ppid=4989 vsize=8414124 memory=4096 CPUtime=0.07 cores=0-7
/proc/5087/task/5101/stat : 5101 (java) S 4989 4989 4670 0 -1 1077944384 644 0 0 0 7 0 0 0 20 0 24 0 509670030 8616062976 30680 33554432000 4194304 4196468 140723687697520 140423911832048 140424551070338 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30642176 140723687703544 140723687703702 140723687703702 140723687706575 0
[pid=5087/tid=5102] ppid=4989 vsize=8414124 memory=1808 CPUtime=0.19 cores=0-7
/proc/5087/task/5102/stat : 5102 (java) S 4989 4989 4670 0 -1 1077944384 446 0 0 0 19 0 0 0 20 0 24 0 509670030 8616062976 30680 33554432000 4194304 4196468 140723687697520 140423910779504 140424551070338 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30642176 140723687703544 140723687703702 140723687703702 140723687706575 0
[pid=5087/tid=5103] ppid=4989 vsize=8414124 memory=920 CPUtime=0.14 cores=0-7
/proc/5087/task/5103/stat : 5103 (java) S 4989 4989 4670 0 -1 1077944384 682 0 0 0 14 0 0 0 20 0 24 0 509670030 8616062976 30680 33554432000 4194304 4196468 140723687697520 140423909726960 140424551070338 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30642176 140723687703544 140723687703702 140723687703702 140723687706575 0
[pid=5087/tid=5104] ppid=4989 vsize=8414124 memory=4428 CPUtime=0.25 cores=0-7
/proc/5087/task/5104/stat : 5104 (java) S 4989 4989 4670 0 -1 1077944384 578 0 0 0 25 0 0 0 20 0 24 0 509670030 8616062976 30680 33554432000 4194304 4196468 140723687697520 140423908674416 140424551070338 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30642176 140723687703544 140723687703702 140723687703702 140723687706575 0
[pid=5087/tid=5105] ppid=4989 vsize=8414124 memory=1412 CPUtime=0 cores=0-7
/proc/5087/task/5105/stat : 5105 (java) S 4989 4989 4670 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 509670030 8616062976 30680 33554432000 4194304 4196468 140723687697520 140421875362016 140424551069397 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30642176 140723687703544 140723687703702 140723687703702 140723687706575 0
[pid=5087/tid=5106] ppid=4989 vsize=8414124 memory=3464 CPUtime=0 cores=0-7
/proc/5087/task/5106/stat : 5106 (java) S 4989 4989 4670 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 509670031 8616062976 30680 33554432000 4194304 4196468 140723687697520 140423907621296 140424551070338 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 9 0 0 6293624 6294260 30642176 140723687703544 140723687703702 140723687703702 140723687706575 0
[pid=5087/tid=5108] ppid=4989 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/5087/task/5108/stat : 5108 (java) S 4989 4989 4670 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 509670110 8616062976 30680 33554432000 4194304 4196468 140723687697520 140423899587776 140424551083801 0 4 2 25189581 18446744071579417331 0 0 -1 6 0 0 0 0 0 6293624 6294260 30642176 140723687703544 140723687703702 140723687703702 140723687706575 0
[pid=5087/tid=5110] ppid=4989 vsize=8414124 memory=122720 CPUtime=0 cores=0-7
/proc/5087/task/5110/stat : 5110 (java) S 4989 4989 4670 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 24 0 509670111 8616062976 30680 33554432000 4194304 4196468 140723687697520 140421204262672 140424551081117 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 30642176 140723687703544 140723687703702 140723687703702 140723687706575 0
[pid=5087/tid=5111] ppid=4989 vsize=8414124 memory=91580 CPUtime=0 cores=0-7
/proc/5087/task/5111/stat : 5111 (java) S 4989 4989 4670 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 509670111 8616062976 30680 33554432000 4194304 4196468 140723687697520 140421472698256 140424551081117 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 30642176 140723687703544 140723687703702 140723687703702 140723687706575 0
[pid=5087/tid=5112] ppid=4989 vsize=8414124 memory=1728 CPUtime=0 cores=0-7
/proc/5087/task/5112/stat : 5112 (java) S 4989 4989 4670 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 509670113 8616062976 30680 33554432000 4194304 4196468 140723687697520 140420935835312 140424551069397 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30642176 140723687703544 140723687703702 140723687703702 140723687706575 0
Current children cumulated CPU time: 1088.55 s
Current children cumulated vsize: 9779484 KiB
Current children cumulated memory: 762580 KiB

Child status: 0
Real time (s): 912.653
CPU time (s): 1088.7
CPU user time (s): 1058.79
CPU system time (s): 29.9148
CPU usage (%): 119.29
Max. virtual memory (cumulated for all children) (KiB): 27443924
Max. memory (cumulated for all children) (KiB): 17054424

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1058.79
system time used= 29.9148
maximum resident set size= 17053264
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 411829
page faults= 0
swaps= 0
block input operations= 0
block output operations= 25752
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 37932
involuntary context switches= 2492


# summary of solver processes directly reported to runsolver:
#   pid: 4989
#   total CPU time (s): 1088.7
#   total CPU user time (s): 1058.79
#   total CPU system time (s): 29.9148

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.96928 second user time and 10.2239 second system time

The end

Launcher Data 

Begin job on node116 at 2019-09-24 16:45:33
IDJOB=4405658
IDBENCH=126895
IDSOLVER=2868
FILE ID=node116/4405658-1569336373
RUNJOBID= node116-1569335937-4697
PBS_JOBID= 21705067
Free space on /tmp= 6448 MiB

SOLVER NAME= Fun-sCOP hybrid+ManyGlucose (2019-09-22)
BENCH NAME= XCSP17/RoomMate/RoomMate-int-s1/RoomMate-sr1000e-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-4405658-1569336373/watcher-4405658-1569336373 -o /tmp/evaluation-result-4405658-1569336373/solver-4405658-1569336373 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node116-1569335937-4697 --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-4405658-1569336373.xml

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

MD5SUM BENCH= 080ba949cb23e1dea8bc7836215d1d0d
RANDOM SEED=1849938884

node116.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		: 2667.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.12
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		: 2667.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.12
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		: 2667.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.12
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		: 2667.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.12
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		: 2667.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	: 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		: 2667.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	: 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		: 2667.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	: 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		: 2667.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:       32770688 kB
MemFree:        25251264 kB
MemAvailable:   31842304 kB
Buffers:           94360 kB
Cached:          6661220 kB
SwapCached:         3388 kB
Active:          3393428 kB
Inactive:        3366528 kB
Active(anon):       6872 kB
Inactive(anon):    54044 kB
Active(file):    3386556 kB
Inactive(file):  3312484 kB
Unevictable:      109496 kB
Mlocked:          109496 kB
SwapTotal:      67108860 kB
SwapFree:       67001272 kB
Dirty:            103244 kB
Writeback:             0 kB
AnonPages:        112180 kB
Mapped:            56392 kB
Shmem:             47768 kB
Slab:             349256 kB
SReclaimable:     320460 kB
SUnreclaim:        28796 kB
KernelStack:        3344 kB
PageTables:         5304 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494204 kB
Committed_AS:     514468 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350212 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:      116160 kB
DirectMap2M:    33429504 kB

Free space on /tmp at the end= 6428 MiB
End job on node116 at 2019-09-24 17:00:46