Trace number 4405332

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Fun-sCOP order+ManyGlucose (2019-09-22)UNSAT 1516.87 1334.67

General information on the benchmark

NameRoomMate/
RoomMate-int-s1/RoomMate-sr1000-int.xml
MD5SUM281fe5e81d871c4f2ceaf1755ecf4117
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark492.618
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 -order -solver HOME/manyglucose-4.1-27_release -solverOption -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 -tmp HOME -serialFile HOME/scop-18984-serial-file.bin HOME/instance-4405332-1569337109.xml
0.66/0.54	
0.66/0.54	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
0.66/0.54	
0.66/0.57	c BEGIN-Prog: Tue Sep 24 16:57:50 CEST 2019
0.66/0.57	c PID: 18987
0.66/0.57	c IP: 172.20.3.146
0.66/0.57	c HOST: node146.alineos.net
0.66/0.58	c (0,0) Parsing Begin
147.79/96.40	c (95,89) Parsing End
147.89/96.41	c (95,89) CSP: 1000 int (0 aux), 0 bool (0 aux), 1998000 ctr, max domain size 999
147.89/96.41	c (95,89) Heap : 3567 MiB used (max 20025 MiB), NonHeap : 22 MiB used (max 0 MiB)
147.89/96.41	c (95,89) Constraint Name Generate Begin
152.99/101.37	c (100,94) Ctr:HOME/instance-4405332-1569337109.xml,Eq:Imp:Le:Num:Var
152.99/101.37	c (100,94) Constraint Name Generate End
152.99/101.37	c (100,94) Heap : 4913 MiB used (max 20025 MiB), NonHeap : 22 MiB used (max 0 MiB)
152.99/101.37	c (100,94) CSP to CSPinCNF Begin
160.40/107.86	c (107,100) translated 199800 (10%) constraints
172.14/114.69	c (114,107) translated 399600 (20%) constraints
178.24/120.77	c (120,113) translated 599400 (30%) constraints
184.35/126.86	c (126,119) translated 799200 (40%) constraints
202.16/134.48	c (133,125) translated 999000 (50%) constraints
208.71/140.73	c (140,131) translated 1198800 (60%) constraints
214.82/146.86	c (146,137) translated 1398600 (70%) constraints
225.08/153.53	c (152,143) translated 1598400 (80%) constraints
231.19/159.68	c (159,149) translated 1798200 (90%) constraints
237.49/165.85	c (165,156) translated 1998000 (100%) constraints
237.49/165.85	c (165,156) ===========================================
237.49/165.85	c (165,156) Order
237.49/165.85	c (165,156) ===========================================
241.23/168.96	c (168,159) translated 199800 (10%) constraints
244.33/172.04	c (171,162) translated 399600 (20%) constraints
252.37/175.72	c (175,165) translated 599400 (30%) constraints
255.37/178.76	c (178,168) translated 799200 (40%) constraints
258.48/181.83	c (181,171) translated 999000 (50%) constraints
277.69/195.86	c (195,184) translated 1198800 (60%) constraints
296.48/209.73	c (209,198) translated 1398600 (70%) constraints
315.35/223.48	c (222,211) translated 1598400 (80%) constraints
335.36/238.00	c (237,224) translated 1798200 (90%) constraints
354.60/251.79	c (251,237) translated 1998000 (100%) constraints
354.60/251.80	c (251,237) CSP to CSPinCNF End
354.91/252.08	c (251,238) CSP: 1000 int (0 aux), 999000 bool (999000 aux), 3996000 ctr, max domain size 999
354.91/252.08	c (251,238) Heap : 8804 MiB used (max 21412 MiB), NonHeap : 27 MiB used (max 0 MiB)
354.91/252.08	c (251,238) CSPinCNF Propagation Begin
1496.31/1325.55	c (1325,1302) 1784456 values, 2694951 unsatisfiable literals, and 3665387 valid clauses are removed
1496.31/1325.55	c (1325,1302) CSPinCNF Propagation End
1496.71/1325.95	c (1325,1302) CSP: 984 int (0 aux), 999016 bool (999000 aux), 330613 ctr, max domain size 691
1496.71/1325.95	c (1325,1302) Heap : 11665 MiB used (max 21677 MiB), NonHeap : 26 MiB used (max 0 MiB)
1496.82/1326.03	c (1325,1302) Simplify CSPinCNF Begin
1497.64/1326.61	c (1326,1303) Simplify CSPinCNF End
1498.05/1327.00	c (1326,1303) CSP: 984 int (0 aux), 999016 bool (999000 aux), 330613 ctr, max domain size 691
1498.05/1327.00	c (1326,1303) Heap : 11897 MiB used (max 21677 MiB), NonHeap : 26 MiB used (max 0 MiB)
1498.05/1327.00	c (1326,1303) Calculate Precise Domain Begin
1498.05/1327.00	c (1326,1303) 0 values are removed by re-calculation
1498.05/1327.00	c (1326,1303) Calculate Precise Domain End
1498.45/1327.40	c (1326,1303) CSP: 984 int (0 aux), 999016 bool (999000 aux), 330613 ctr, max domain size 691
1498.45/1327.40	c (1326,1303) Heap : 11897 MiB used (max 21677 MiB), NonHeap : 26 MiB used (max 0 MiB)
1498.45/1327.40	c (1326,1303) CSPinCNF to SatSolver Begin
1501.81/1329.13	c (1328,1305) 33062 (10 %) CSP clauses are encoded (0 SAT variables, 137932 SAT clauses)
1502.08/1329.36	c (1328,1305) 66123 (20 %) CSP clauses are encoded (0 SAT variables, 170993 SAT clauses)
1502.27/1329.59	c (1329,1306) 99184 (30 %) CSP clauses are encoded (0 SAT variables, 204054 SAT clauses)
1502.57/1329.80	c (1329,1306) 132246 (40 %) CSP clauses are encoded (0 SAT variables, 237116 SAT clauses)
1502.77/1330.01	c (1329,1306) 165307 (50 %) CSP clauses are encoded (0 SAT variables, 270177 SAT clauses)
1502.98/1330.23	c (1329,1306) 198368 (60 %) CSP clauses are encoded (0 SAT variables, 303238 SAT clauses)
1503.17/1330.44	c (1329,1307) 231430 (70 %) CSP clauses are encoded (0 SAT variables, 336300 SAT clauses)
1503.37/1330.66	c (1330,1307) 264491 (80 %) CSP clauses are encoded (0 SAT variables, 369361 SAT clauses)
1503.57/1330.87	c (1330,1307) 297552 (90 %) CSP clauses are encoded (0 SAT variables, 402422 SAT clauses)
1503.77/1331.08	c (1330,1307) 330613 (100 %) CSP clauses are encoded (0 SAT variables, 435483 SAT clauses)
1503.77/1331.08	c (1330,1307) CSPinCNF to SatSolver End
1503.77/1331.08	c (1330,1307) Heap : 15027 MiB used (max 21677 MiB), NonHeap : 29 MiB used (max 0 MiB)
1503.77/1331.09	c (1330,1307) 212544 bool, 435484 clause
1503.77/1331.09	c (1330,1307) Export Begin
1504.13/1331.24	c (1330,1307) Export to HOME/scop-18984-serial-file.bin
1504.13/1331.24	c (1330,1307) Export End
1504.13/1331.24	c (1330,1307) Export File Size: 0.16 MB
1504.13/1331.24	c (1330,1307) 95,100,251,1325,1326,1326,1330,STOP-AFTER(DIMACS)
1504.13/1331.24	c END-Prog: Tue Sep 24 17:20:00 CEST 2019
0.00/1332.56	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-18984-serial-file.bin
1513.94/1333.03	c (0,0) Read Serial File Begin
1513.94/1333.03	c (0,0) HOME/scop-18984-serial-file.bin
1514.78/1333.30	c (0,0) Read Serial File End
1515.14/1333.31	
1515.14/1333.31	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
1515.14/1333.31	(Solving Process)
1515.14/1333.31	
1515.14/1333.33	c BEGIN-Prog: Tue Sep 24 17:20:02 CEST 2019
1515.14/1333.33	c PID: 19133
1515.14/1333.33	c IP: 172.20.3.146
1515.14/1333.33	c HOST: node146.alineos.net
1515.14/1333.34	c (0,0) SatSolver.solve Begin
1515.14/1333.34	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4405332-1569337109.xml-scop-18987.cnf
1515.14/1333.36	c (0,0) c
1515.14/1333.36	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)
1515.14/1333.36	c (0,0) c
1515.14/1333.36	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
1515.14/1333.36	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
1515.14/1333.36	c (0,0) c ========================================[ Problem Statistics ]===========================================
1515.14/1333.36	c (0,0) c |                                                                                                       |
1515.40/1333.60	c (0,0) c |  Number of variables:        212544                                                                   |
1515.40/1333.60	c (0,0) c |  Number of clauses:          435484                                                                   |
1515.40/1333.60	c (0,0) c |  Parse time:                   0.20 s                                                                 |
1515.40/1333.60	c (0,0) c |                                                                                                       |
1515.40/1334.19	c (1,0) c |  Simplification time:          0.59 s                                                                 |
1515.40/1334.19	c (1,0) c |                                                                                                       |
1515.40/1334.19	c (1,0) c |  Generating clones                                                                                    |
1516.63/1334.61	c (1,0) c |  all clones generated. Memory =   485.47Mb.                                                           |
1516.63/1334.61	c (1,0) c ========================================================================================================|
1516.63/1334.61	c (1,0) c
1516.63/1334.61	c (1,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
1516.63/1334.61	c (1,0) c
1516.63/1334.61	c (1,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
1516.63/1334.61	c (1,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
1516.63/1334.61	c (1,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
1516.63/1334.61	c (1,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
1516.63/1334.61	c (1,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
1516.63/1334.61	c (1,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
1516.63/1334.61	c (1,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
1516.63/1334.61	c (1,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
1516.63/1334.61	c (1,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
1516.63/1334.61	c (1,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
1516.63/1334.61	c (1,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
1516.63/1334.61	c (1,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
1516.63/1334.61	c (1,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
1516.63/1334.61	c (1,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
1516.63/1334.61	c (1,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
1516.63/1334.61	c (1,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
1516.63/1334.61	c (1,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
1516.63/1334.61	c (1,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
1516.63/1334.61	c (1,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
1516.63/1334.62	c (1,0) c
1516.63/1334.62	c (1,0) c real time : 1.26312 s
1516.63/1334.62	c (1,0) c cpu time  : 1.18119 s
1516.63/1334.62	c (1,0) c
1516.63/1334.62	c (1,0) c
1516.63/1334.62	c (1,0) c
1516.63/1334.62	c (1,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
1516.63/1334.62	c (1,0) c
1516.63/1334.62	c (1,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1516.63/1334.62	c (1,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
1516.63/1334.62	c (1,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1516.63/1334.62	c (1,0) c | Conflicts     |              50 |          5 |         10 |          8 |          4 |          5 |          5 |          6 |          7 |
1516.63/1334.62	c (1,0) c | Decisions     |              52 |          6 |         13 |          7 |          3 |          6 |          6 |          5 |          6 |
1516.63/1334.62	c (1,0) c | Propagations  |           79168 |      12537 |      12122 |       9889 |      10918 |       7559 |       7559 |      10139 |       8445 |
1516.63/1334.62	c (1,0) c | ReduceDBs     |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1516.63/1334.62	c (1,0) c | SimpDBs       |               8 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |
1516.63/1334.62	c (1,0) c | Restarts      |               8 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |
1516.63/1334.62	c (1,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1516.63/1334.62	c (1,0) c | PropBinClauses|          149402 |      18939 |      20864 |      17458 |      18069 |      19035 |      19495 |      18343 |      17199 |
1516.63/1334.62	c (1,0) c | PropPreBlocker|          167914 |      20992 |      23037 |      19907 |      20170 |      21404 |      21841 |      20781 |      19782 |
1516.63/1334.62	c (1,0) c | PropNotBlocker|           75372 |       9134 |      10042 |       9310 |       8912 |       9506 |       9684 |       9447 |       9337 |
1516.63/1334.62	c (1,0) c | LitFullScans  |          650920 |      58952 |      85826 |     105411 |      68243 |      80779 |      81776 |      92724 |      77209 |
1516.63/1334.62	c (1,0) c | LitScanFracts |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1516.63/1334.62	c (1,0) c | DecisionLevel0|              20 |          4 |          3 |          2 |          2 |          2 |          2 |          2 |          3 |
1516.63/1334.62	c (1,0) c | Periods       |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1516.63/1334.62	c (1,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
1516.63/1334.62	c (1,0) c | Avg_Trail     |                 |       6959 |       6365 |       6439 |       7019 |       6537 |       6588 |       6232 |       6079 |
1516.63/1334.62	c (1,0) c | Avg_DL        |                 |          1 |          2 |          2 |          1 |          1 |          1 |          1 |          2 |
1516.63/1334.62	c (1,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1516.63/1334.62	c (1,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1516.63/1334.62	c (1,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1516.63/1334.62	c (1,0) c | Exported      |              14 |          0 |          3 |          1 |          1 |          3 |          3 |          2 |          1 |
1516.63/1334.62	c (1,0) c | Imported      |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1516.63/1334.62	c (1,0) c | Good          |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1516.63/1334.62	c (1,0) c | Purge         |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1516.63/1334.62	c (1,0) c | Promoted      |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1516.63/1334.62	c (1,0) c | Remove_Imp    |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1516.63/1334.62	c (1,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1516.63/1334.62	c (1,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1516.63/1334.62	c (1,0) c | Unaries       |                 |          3 |          2 |          1 |          1 |          1 |          1 |          1 |          2 |
1516.63/1334.62	c (1,0) c | Binaries      |                 |          0 |          1 |          1 |          0 |          0 |          0 |          1 |          0 |
1516.63/1334.62	c (1,0) c | Glues         |                 |          0 |          3 |          1 |          1 |          3 |          3 |          2 |          1 |
1516.63/1334.62	c (1,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1516.63/1334.62	c (1,0) c | Orig_Seen     |            21 % |       4728 |       5432 |       5151 |       5287 |       5533 |       5537 |       5741 |       3970 |
1516.63/1334.62	c (1,0) c | Diff Orig seen|                 |      X     |        704 |        423 |        559 |        805 |        809 |       1013 | -      758 |
1516.63/1334.62	c (1,0) c | Hamming       |             0 % |      X     |        425 |        313 |        219 |        166 |        166 |        276 |        515 |
1516.63/1334.62	c (1,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1516.63/1334.62	c (1,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%|
1516.63/1334.62	c (1,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%|
1516.63/1334.62	c (1,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%|
1516.63/1334.62	c (1,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%|
1516.63/1334.62	c (1,0) c | SolvingTime   |                 |    0.0     |    0.0     |    0.0     |    0.0     |    0.0     |    0.0     |    0.0     |    0.0     |
1516.63/1334.62	c (1,0) c | PropagationTim|                 |    0.0  78%|    0.0  72%|    0.0  59%|    0.0  77%|    0.0  64%|    0.0  69%|    0.0  69%|    0.0  72%|
1516.63/1334.62	c (1,0) c | AnalysisTime  |                 |    0.0  14%|    0.0  22%|    0.0  36%|    0.0  20%|    0.0  28%|    0.0  25%|    0.0  27%|    0.0  25%|
1516.63/1334.62	c (1,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%|
1516.63/1334.62	c (1,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%|
1516.63/1334.62	c (1,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%|
1516.63/1334.62	c (1,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%|
1516.63/1334.62	c (1,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1516.63/1334.62	c (1,0) c
1516.63/1334.62	c (1,0) c
1516.63/1334.63	c (1,0) c Threads : 8
1516.63/1334.63	c (1,0) c Winner : 0
1516.63/1334.63	c (1,0) c Conflicts_0 : 5
1516.63/1334.63	c (1,0) c Conflicts_1 : 10
1516.63/1334.63	c (1,0) c Conflicts_2 : 8
1516.63/1334.63	c (1,0) c Conflicts_3 : 4
1516.63/1334.63	c (1,0) c Conflicts_4 : 5
1516.63/1334.63	c (1,0) c Conflicts_5 : 5
1516.63/1334.63	c (1,0) c Conflicts_6 : 6
1516.63/1334.63	c (1,0) c Conflicts_7 : 7
1516.63/1334.63	c (1,0) c Conflicts_total : 50
1516.63/1334.63	c (1,0) c Conflicts_winner : 5
1516.63/1334.63	c (1,0) c Decisions_0 : 6
1516.63/1334.63	c (1,0) c Decisions_1 : 13
1516.63/1334.63	c (1,0) c Decisions_2 : 7
1516.63/1334.63	c (1,0) c Decisions_3 : 3
1516.63/1334.63	c (1,0) c Decisions_4 : 6
1516.63/1334.63	c (1,0) c Decisions_5 : 6
1516.63/1334.63	c (1,0) c Decisions_6 : 5
1516.63/1334.63	c (1,0) c Decisions_7 : 6
1516.63/1334.63	c (1,0) c Decisions_total : 52
1516.63/1334.63	c (1,0) c Decisions_winner : 6
1516.63/1334.63	c (1,0) c Propagations_0 : 12537
1516.63/1334.63	c (1,0) c Propagations_1 : 12122
1516.63/1334.63	c (1,0) c Propagations_2 : 9889
1516.63/1334.63	c (1,0) c Propagations_3 : 10918
1516.63/1334.63	c (1,0) c Propagations_4 : 7559
1516.63/1334.63	c (1,0) c Propagations_5 : 7559
1516.63/1334.63	c (1,0) c Propagations_6 : 10139
1516.63/1334.63	c (1,0) c Propagations_7 : 8445
1516.63/1334.63	c (1,0) c Propagations_total : 79168
1516.63/1334.63	c (1,0) c Propagations_winner : 12537
1516.63/1334.63	c (1,0) c ReduceDBs_0 : 0
1516.63/1334.63	c (1,0) c ReduceDBs_1 : 0
1516.63/1334.63	c (1,0) c ReduceDBs_2 : 0
1516.63/1334.63	c (1,0) c ReduceDBs_3 : 0
1516.63/1334.63	c (1,0) c ReduceDBs_4 : 0
1516.63/1334.63	c (1,0) c ReduceDBs_5 : 0
1516.63/1334.63	c (1,0) c ReduceDBs_6 : 0
1516.63/1334.63	c (1,0) c ReduceDBs_7 : 0
1516.63/1334.63	c (1,0) c ReduceDBs_total : 0
1516.63/1334.63	c (1,0) c ReduceDBs_winner : 0
1516.63/1334.63	c (1,0) c SimpDBs_0 : 1
1516.63/1334.63	c (1,0) c SimpDBs_1 : 1
1516.63/1334.63	c (1,0) c SimpDBs_2 : 1
1516.63/1334.63	c (1,0) c SimpDBs_3 : 1
1516.63/1334.63	c (1,0) c SimpDBs_4 : 1
1516.63/1334.63	c (1,0) c SimpDBs_5 : 1
1516.63/1334.63	c (1,0) c SimpDBs_6 : 1
1516.63/1334.63	c (1,0) c SimpDBs_7 : 1
1516.63/1334.63	c (1,0) c SimpDBs_total : 8
1516.63/1334.63	c (1,0) c SimpDBs_winner : 1
1516.63/1334.63	c (1,0) c Restarts_0 : 1
1516.63/1334.63	c (1,0) c Restarts_1 : 1
1516.63/1334.63	c (1,0) c Restarts_2 : 1
1516.63/1334.63	c (1,0) c Restarts_3 : 1
1516.63/1334.63	c (1,0) c Restarts_4 : 1
1516.63/1334.63	c (1,0) c Restarts_5 : 1
1516.63/1334.63	c (1,0) c Restarts_6 : 1
1516.63/1334.63	c (1,0) c Restarts_7 : 1
1516.63/1334.63	c (1,0) c Restarts_total : 8
1516.63/1334.63	c (1,0) c Restarts_winner : 1
1516.63/1334.63	c (1,0) c ForcedImports_0 : 0
1516.63/1334.63	c (1,0) c ForcedImports_1 : 0
1516.63/1334.63	c (1,0) c ForcedImports_2 : 0
1516.63/1334.63	c (1,0) c ForcedImports_3 : 0
1516.63/1334.63	c (1,0) c ForcedImports_4 : 0
1516.63/1334.63	c (1,0) c ForcedImports_5 : 0
1516.63/1334.63	c (1,0) c ForcedImports_6 : 0
1516.63/1334.63	c (1,0) c ForcedImports_7 : 0
1516.63/1334.63	c (1,0) c ForcedImports_total : 0
1516.63/1334.63	c (1,0) c ForcedImports_winner : 0
1516.63/1334.63	c (1,0) c PropsBinClauses_0 : 18939
1516.63/1334.63	c (1,0) c PropsBinClauses_1 : 20864
1516.63/1334.63	c (1,0) c PropsBinClauses_2 : 17458
1516.63/1334.63	c (1,0) c PropsBinClauses_3 : 18069
1516.63/1334.63	c (1,0) c PropsBinClauses_4 : 19035
1516.63/1334.63	c (1,0) c PropsBinClauses_5 : 19495
1516.63/1334.63	c (1,0) c PropsBinClauses_6 : 18343
1516.63/1334.63	c (1,0) c PropsBinClauses_7 : 17199
1516.63/1334.63	c (1,0) c PropsBinClauses_total : 149402
1516.63/1334.63	c (1,0) c PropsBinClauses_winner : 18939
1516.63/1334.63	c (1,0) c PropsPreBlocker_0 : 20992
1516.63/1334.63	c (1,0) c PropsPreBlocker_1 : 23037
1516.63/1334.63	c (1,0) c PropsPreBlocker_2 : 19907
1516.63/1334.63	c (1,0) c PropsPreBlocker_3 : 20170
1516.63/1334.63	c (1,0) c PropsPreBlocker_4 : 21404
1516.63/1334.63	c (1,0) c PropsPreBlocker_5 : 21841
1516.63/1334.63	c (1,0) c PropsPreBlocker_6 : 20781
1516.63/1334.63	c (1,0) c PropsPreBlocker_7 : 19782
1516.63/1334.63	c (1,0) c PropsPreBlocker_total : 167914
1516.63/1334.63	c (1,0) c PropsPreBlocker_winner : 20992
1516.63/1334.63	c (1,0) c PropsNotBlocker_0 : 9134
1516.63/1334.63	c (1,0) c PropsNotBlocker_1 : 10042
1516.63/1334.63	c (1,0) c PropsNotBlocker_2 : 9310
1516.63/1334.63	c (1,0) c PropsNotBlocker_3 : 8912
1516.63/1334.63	c (1,0) c PropsNotBlocker_4 : 9506
1516.63/1334.63	c (1,0) c PropsNotBlocker_5 : 9684
1516.63/1334.63	c (1,0) c PropsNotBlocker_6 : 9447
1516.63/1334.63	c (1,0) c PropsNotBlocker_7 : 9337
1516.63/1334.63	c (1,0) c PropsNotBlocker_total : 75372
1516.63/1334.63	c (1,0) c PropsNotBlocker_winner : 9134
1516.63/1334.63	c (1,0) c PropsLitFullScans_0 : 58952
1516.63/1334.63	c (1,0) c PropsLitFullScans_1 : 85826
1516.63/1334.63	c (1,0) c PropsLitFullScans_2 : 105411
1516.63/1334.63	c (1,0) c PropsLitFullScans_3 : 68243
1516.63/1334.63	c (1,0) c PropsLitFullScans_4 : 80779
1516.63/1334.63	c (1,0) c PropsLitFullScans_5 : 81776
1516.63/1334.63	c (1,0) c PropsLitFullScans_6 : 92724
1516.63/1334.63	c (1,0) c PropsLitFullScans_7 : 77209
1516.63/1334.63	c (1,0) c PropsLitFullScans_total : 650920
1516.63/1334.63	c (1,0) c PropsLitFullScans_winner : 58952
1516.63/1334.63	c (1,0) c LitScanFractions_0 : 0
1516.63/1334.63	c (1,0) c LitScanFractions_1 : 0
1516.63/1334.63	c (1,0) c LitScanFractions_2 : 0
1516.63/1334.63	c (1,0) c LitScanFractions_3 : 0
1516.63/1334.63	c (1,0) c LitScanFractions_4 : 0
1516.63/1334.63	c (1,0) c LitScanFractions_5 : 0
1516.63/1334.63	c (1,0) c LitScanFractions_6 : 0
1516.63/1334.63	c (1,0) c LitScanFractions_7 : 0
1516.63/1334.63	c (1,0) c LitScanFractions_total : 0
1516.63/1334.63	c (1,0) c LitScanFractions_winner : 0
1516.63/1334.63	c (1,0) c DecisionLevel0_0 : 4
1516.63/1334.63	c (1,0) c DecisionLevel0_1 : 3
1516.63/1334.63	c (1,0) c DecisionLevel0_2 : 2
1516.63/1334.63	c (1,0) c DecisionLevel0_3 : 2
1516.63/1334.63	c (1,0) c DecisionLevel0_4 : 2
1516.63/1334.63	c (1,0) c DecisionLevel0_5 : 2
1516.63/1334.63	c (1,0) c DecisionLevel0_6 : 2
1516.63/1334.63	c (1,0) c DecisionLevel0_7 : 3
1516.63/1334.63	c (1,0) c DecisionLevel0_total : 20
1516.63/1334.63	c (1,0) c DecisionLevel0_winner : 4
1516.63/1334.63	c (1,0) c Periods_0 : 0
1516.63/1334.63	c (1,0) c Periods_1 : 0
1516.63/1334.63	c (1,0) c Periods_2 : 0
1516.63/1334.63	c (1,0) c Periods_3 : 0
1516.63/1334.63	c (1,0) c Periods_4 : 0
1516.63/1334.63	c (1,0) c Periods_5 : 0
1516.63/1334.63	c (1,0) c Periods_6 : 0
1516.63/1334.63	c (1,0) c Periods_7 : 0
1516.63/1334.63	c (1,0) c Periods_total : 0
1516.63/1334.63	c (1,0) c Periods_winner : 0
1516.63/1334.63	c (1,0) c Margin_0 : 20
1516.63/1334.63	c (1,0) c Margin_1 : 20
1516.63/1334.63	c (1,0) c Margin_2 : 20
1516.63/1334.63	c (1,0) c Margin_3 : 20
1516.63/1334.63	c (1,0) c Margin_4 : 20
1516.63/1334.63	c (1,0) c Margin_5 : 20
1516.63/1334.63	c (1,0) c Margin_6 : 20
1516.63/1334.63	c (1,0) c Margin_7 : 20
1516.63/1334.63	c (1,0) c Margin_total : 160
1516.63/1334.63	c (1,0) c Margin_winner : 20
1516.63/1334.63	c (1,0) c Exported_0 : 0
1516.63/1334.63	c (1,0) c Exported_1 : 3
1516.63/1334.63	c (1,0) c Exported_2 : 1
1516.63/1334.63	c (1,0) c Exported_3 : 1
1516.63/1334.63	c (1,0) c Exported_4 : 3
1516.63/1334.63	c (1,0) c Exported_5 : 3
1516.63/1334.63	c (1,0) c Exported_6 : 2
1516.63/1334.63	c (1,0) c Exported_7 : 1
1516.63/1334.63	c (1,0) c Exported_total : 14
1516.63/1334.63	c (1,0) c Exported_winner : 0
1516.63/1334.63	c (1,0) c Imported_0 : 0
1516.63/1334.63	c (1,0) c Imported_1 : 0
1516.63/1334.63	c (1,0) c Imported_2 : 0
1516.63/1334.63	c (1,0) c Imported_3 : 0
1516.63/1334.63	c (1,0) c Imported_4 : 0
1516.63/1334.63	c (1,0) c Imported_5 : 0
1516.63/1334.63	c (1,0) c Imported_6 : 0
1516.63/1334.63	c (1,0) c Imported_7 : 0
1516.63/1334.63	c (1,0) c Imported_total : 0
1516.63/1334.63	c (1,0) c Imported_winner : 0
1516.63/1334.63	c (1,0) c Good_0 : 0
1516.63/1334.63	c (1,0) c Good_1 : 0
1516.63/1334.63	c (1,0) c Good_2 : 0
1516.63/1334.63	c (1,0) c Good_3 : 0
1516.63/1334.63	c (1,0) c Good_4 : 0
1516.63/1334.63	c (1,0) c Good_5 : 0
1516.63/1334.63	c (1,0) c Good_6 : 0
1516.63/1334.63	c (1,0) c Good_7 : 0
1516.63/1334.63	c (1,0) c Good_total : 0
1516.63/1334.63	c (1,0) c Good_winner : 0
1516.63/1334.63	c (1,0) c Purge_0 : 0
1516.63/1334.63	c (1,0) c Purge_1 : 0
1516.63/1334.63	c (1,0) c Purge_2 : 0
1516.63/1334.63	c (1,0) c Purge_3 : 0
1516.63/1334.63	c (1,0) c Purge_4 : 0
1516.63/1334.63	c (1,0) c Purge_5 : 0
1516.63/1334.63	c (1,0) c Purge_6 : 0
1516.63/1334.63	c (1,0) c Purge_7 : 0
1516.63/1334.63	c (1,0) c Purge_total : 0
1516.63/1334.63	c (1,0) c Purge_winner : 0
1516.63/1334.63	c (1,0) c Promoted_0 : 0
1516.63/1334.63	c (1,0) c Promoted_1 : 0
1516.63/1334.63	c (1,0) c Promoted_2 : 0
1516.63/1334.63	c (1,0) c Promoted_3 : 0
1516.63/1334.63	c (1,0) c Promoted_4 : 0
1516.63/1334.63	c (1,0) c Promoted_5 : 0
1516.63/1334.63	c (1,0) c Promoted_6 : 0
1516.63/1334.63	c (1,0) c Promoted_7 : 0
1516.63/1334.63	c (1,0) c Promoted_total : 0
1516.63/1334.63	c (1,0) c Promoted_winner : 0
1516.63/1334.63	c (1,0) c Remove_Imp_0 : 0
1516.63/1334.63	c (1,0) c Remove_Imp_1 : 0
1516.63/1334.63	c (1,0) c Remove_Imp_2 : 0
1516.63/1334.63	c (1,0) c Remove_Imp_3 : 0
1516.63/1334.63	c (1,0) c Remove_Imp_4 : 0
1516.63/1334.63	c (1,0) c Remove_Imp_5 : 0
1516.63/1334.63	c (1,0) c Remove_Imp_6 : 0
1516.63/1334.63	c (1,0) c Remove_Imp_7 : 0
1516.63/1334.63	c (1,0) c Remove_Imp_total : 0
1516.63/1334.63	c (1,0) c Remove_Imp_winner : 0
1516.63/1334.63	c (1,0) c Blocked_Reuse_0 : 0
1516.63/1334.63	c (1,0) c Blocked_Reuse_1 : 0
1516.63/1334.63	c (1,0) c Blocked_Reuse_2 : 0
1516.63/1334.63	c (1,0) c Blocked_Reuse_3 : 0
1516.63/1334.63	c (1,0) c Blocked_Reuse_4 : 0
1516.63/1334.63	c (1,0) c Blocked_Reuse_5 : 0
1516.63/1334.63	c (1,0) c Blocked_Reuse_6 : 0
1516.63/1334.63	c (1,0) c Blocked_Reuse_7 : 0
1516.63/1334.63	c (1,0) c Blocked_Reuse_total : 0
1516.63/1334.63	c (1,0) c Blocked_Reuse_winner : 0
1516.63/1334.63	c (1,0) c Unaries_0 : 3
1516.63/1334.63	c (1,0) c Unaries_1 : 2
1516.63/1334.63	c (1,0) c Unaries_2 : 1
1516.63/1334.63	c (1,0) c Unaries_3 : 1
1516.63/1334.63	c (1,0) c Unaries_4 : 1
1516.63/1334.63	c (1,0) c Unaries_5 : 1
1516.63/1334.63	c (1,0) c Unaries_6 : 1
1516.63/1334.63	c (1,0) c Unaries_7 : 2
1516.63/1334.63	c (1,0) c Unaries_total : 12
1516.63/1334.63	c (1,0) c Unaries_winner : 3
1516.63/1334.63	c (1,0) c Binaries_0 : 0
1516.63/1334.63	c (1,0) c Binaries_1 : 1
1516.63/1334.63	c (1,0) c Binaries_2 : 1
1516.63/1334.63	c (1,0) c Binaries_3 : 0
1516.63/1334.63	c (1,0) c Binaries_4 : 0
1516.63/1334.63	c (1,0) c Binaries_5 : 0
1516.63/1334.63	c (1,0) c Binaries_6 : 1
1516.63/1334.63	c (1,0) c Binaries_7 : 0
1516.63/1334.63	c (1,0) c Binaries_total : 3
1516.63/1334.63	c (1,0) c Binaries_winner : 0
1516.63/1334.63	c (1,0) c Glues_0 : 0
1516.63/1334.63	c (1,0) c Glues_1 : 3
1516.63/1334.63	c (1,0) c Glues_2 : 1
1516.63/1334.63	c (1,0) c Glues_3 : 1
1516.63/1334.63	c (1,0) c Glues_4 : 3
1516.63/1334.63	c (1,0) c Glues_5 : 3
1516.63/1334.63	c (1,0) c Glues_6 : 2
1516.63/1334.63	c (1,0) c Glues_7 : 1
1516.63/1334.63	c (1,0) c Glues_total : 14
1516.63/1334.63	c (1,0) c Glues_winner : 0
1516.63/1334.63	c (1,0) c RunningTime_0 : 0.009599
1516.63/1334.63	c (1,0) c RunningTime_1 : 0.008895
1516.63/1334.63	c (1,0) c RunningTime_2 : 0.008225
1516.63/1334.63	c (1,0) c RunningTime_3 : 0.009264
1516.63/1334.63	c (1,0) c RunningTime_4 : 0.007542
1516.63/1334.63	c (1,0) c RunningTime_5 : 0.010754
1516.63/1334.63	c (1,0) c RunningTime_6 : 0.009316
1516.63/1334.63	c (1,0) c RunningTime_7 : 0.008301
1516.63/1334.63	c (1,0) c RunningTime_total : 0.071897
1516.63/1334.63	c (1,0) c RunningTime_winner : 0.009599
1516.63/1334.63	c (1,0) c WaitingTime_0 : 0.000000
1516.63/1334.63	c (1,0) c WaitingTime_1 : 0.000000
1516.63/1334.63	c (1,0) c WaitingTime_2 : 0.000000
1516.63/1334.63	c (1,0) c WaitingTime_3 : 0.000000
1516.63/1334.63	c (1,0) c WaitingTime_4 : 0.000000
1516.63/1334.63	c (1,0) c WaitingTime_5 : 0.000000
1516.63/1334.63	c (1,0) c WaitingTime_6 : 0.000000
1516.63/1334.63	c (1,0) c WaitingTime_7 : 0.000000
1516.63/1334.63	c (1,0) c WaitingTime_total : 0.000000
1516.63/1334.63	c (1,0) c WaitingTime_winner : 0.000000
1516.63/1334.63	c (1,0) c ExchangingTime_0 : 0.000001
1516.63/1334.63	c (1,0) c ExchangingTime_1 : 0.000009
1516.63/1334.63	c (1,0) c ExchangingTime_2 : 0.000006
1516.63/1334.63	c (1,0) c ExchangingTime_3 : 0.000004
1516.63/1334.64	c (1,0) c ExchangingTime_4 : 0.000011
1516.63/1334.64	c (1,0) c ExchangingTime_5 : 0.000011
1516.63/1334.64	c (1,0) c ExchangingTime_6 : 0.000011
1516.63/1334.64	c (1,0) c ExchangingTime_7 : 0.000002
1516.63/1334.64	c (1,0) c ExchangingTime_total : 0.000055
1516.63/1334.64	c (1,0) c ExchangingTime_winner : 0.000001
1516.63/1334.64	c (1,0) c PeriodProcTime_0 : 0.000000
1516.63/1334.64	c (1,0) c PeriodProcTime_1 : 0.000000
1516.63/1334.64	c (1,0) c PeriodProcTime_2 : 0.000000
1516.63/1334.64	c (1,0) c PeriodProcTime_3 : 0.000000
1516.63/1334.64	c (1,0) c PeriodProcTime_4 : 0.000000
1516.63/1334.64	c (1,0) c PeriodProcTime_5 : 0.000000
1516.63/1334.64	c (1,0) c PeriodProcTime_6 : 0.000000
1516.63/1334.64	c (1,0) c PeriodProcTime_7 : 0.000000
1516.63/1334.64	c (1,0) c PeriodProcTime_total : 0.000000
1516.63/1334.64	c (1,0) c PeriodProcTime_winner : 0.000000
1516.63/1334.64	c (1,0) c SolvingTime_0 : 0.009600
1516.63/1334.64	c (1,0) c SolvingTime_1 : 0.008904
1516.63/1334.64	c (1,0) c SolvingTime_2 : 0.008231
1516.63/1334.64	c (1,0) c SolvingTime_3 : 0.009268
1516.63/1334.64	c (1,0) c SolvingTime_4 : 0.007553
1516.63/1334.64	c (1,0) c SolvingTime_5 : 0.010765
1516.63/1334.64	c (1,0) c SolvingTime_6 : 0.009327
1516.63/1334.64	c (1,0) c SolvingTime_7 : 0.008303
1516.63/1334.64	c (1,0) c SolvingTime_total : 0.071952
1516.63/1334.64	c (1,0) c SolvingTime_winner : 0.009600
1516.63/1334.64	c (1,0) c PropagationTime_0 : 0.007517
1516.63/1334.64	c (1,0) c PropagationTime_1 : 0.006394
1516.63/1334.64	c (1,0) c PropagationTime_2 : 0.004879
1516.63/1334.64	c (1,0) c PropagationTime_3 : 0.007154
1516.63/1334.64	c (1,0) c PropagationTime_4 : 0.004838
1516.63/1334.64	c (1,0) c PropagationTime_5 : 0.007393
1516.63/1334.64	c (1,0) c PropagationTime_6 : 0.006467
1516.63/1334.64	c (1,0) c PropagationTime_7 : 0.005959
1516.63/1334.64	c (1,0) c PropagationTime_total : 0.050600
1516.63/1334.64	c (1,0) c PropagationTime_winner : 0.007517
1516.63/1334.64	c (1,0) c AnalysisTime_0 : 0.001331
1516.63/1334.64	c (1,0) c AnalysisTime_1 : 0.001949
1516.63/1334.64	c (1,0) c AnalysisTime_2 : 0.002999
1516.63/1334.64	c (1,0) c AnalysisTime_3 : 0.001864
1516.63/1334.64	c (1,0) c AnalysisTime_4 : 0.002089
1516.63/1334.64	c (1,0) c AnalysisTime_5 : 0.002662
1516.63/1334.64	c (1,0) c AnalysisTime_6 : 0.002506
1516.63/1334.64	c (1,0) c AnalysisTime_7 : 0.002039
1516.63/1334.64	c (1,0) c AnalysisTime_total : 0.017440
1516.63/1334.64	c (1,0) c AnalysisTime_winner : 0.001331
1516.63/1334.64	c (1,0) c ReductionTime_0 : 0.000000
1516.63/1334.64	c (1,0) c ReductionTime_1 : 0.000000
1516.63/1334.64	c (1,0) c ReductionTime_2 : 0.000000
1516.63/1334.64	c (1,0) c ReductionTime_3 : 0.000000
1516.63/1334.64	c (1,0) c ReductionTime_4 : 0.000000
1516.63/1334.64	c (1,0) c ReductionTime_5 : 0.000000
1516.63/1334.64	c (1,0) c ReductionTime_6 : 0.000000
1516.63/1334.64	c (1,0) c ReductionTime_7 : 0.000000
1516.63/1334.64	c (1,0) c ReductionTime_total : 0.000000
1516.63/1334.64	c (1,0) c ReductionTime_winner : 0.000000
1516.63/1334.64	c (1,0) c SimplifyTime_0 : 0.000000
1516.63/1334.64	c (1,0) c SimplifyTime_1 : 0.000000
1516.63/1334.64	c (1,0) c SimplifyTime_2 : 0.000001
1516.63/1334.64	c (1,0) c SimplifyTime_3 : 0.000000
1516.63/1334.64	c (1,0) c SimplifyTime_4 : 0.000001
1516.63/1334.64	c (1,0) c SimplifyTime_5 : 0.000000
1516.63/1334.64	c (1,0) c SimplifyTime_6 : 0.000000
1516.63/1334.64	c (1,0) c SimplifyTime_7 : 0.000000
1516.63/1334.64	c (1,0) c SimplifyTime_total : 0.000002
1516.63/1334.64	c (1,0) c SimplifyTime_winner : 0.000000
1516.63/1334.64	c (1,0) c UsedRateTime_0 : 0.000000
1516.63/1334.64	c (1,0) c UsedRateTime_1 : 0.000000
1516.63/1334.64	c (1,0) c UsedRateTime_2 : 0.000000
1516.63/1334.64	c (1,0) c UsedRateTime_3 : 0.000000
1516.63/1334.64	c (1,0) c UsedRateTime_4 : 0.000000
1516.63/1334.64	c (1,0) c UsedRateTime_5 : 0.000000
1516.63/1334.64	c (1,0) c UsedRateTime_6 : 0.000000
1516.63/1334.64	c (1,0) c UsedRateTime_7 : 0.000000
1516.63/1334.64	c (1,0) c UsedRateTime_total : 0.000000
1516.63/1334.64	c (1,0) c UsedRateTime_winner : 0.000000
1516.63/1334.64	c (1,0) c OverlapRateTime_0 : 0.000000
1516.63/1334.64	c (1,0) c OverlapRateTime_1 : 0.000000
1516.63/1334.64	c (1,0) c OverlapRateTime_2 : 0.000000
1516.63/1334.64	c (1,0) c OverlapRateTime_3 : 0.000000
1516.63/1334.64	c (1,0) c OverlapRateTime_4 : 0.000000
1516.63/1334.64	c (1,0) c OverlapRateTime_5 : 0.000000
1516.63/1334.64	c (1,0) c OverlapRateTime_6 : 0.000000
1516.63/1334.64	c (1,0) c OverlapRateTime_7 : 0.000000
1516.63/1334.64	c (1,0) c OverlapRateTime_total : 0.000000
1516.63/1334.64	c (1,0) c OverlapRateTime_winner : 0.000000
1516.63/1334.64	c (1,0) c
1516.63/1334.64	c (1,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
1516.63/1334.64	c (1,0) c
1516.63/1334.64	c (1,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
1516.63/1334.64	c (1,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
1516.63/1334.64	c (1,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
1516.63/1334.64	c (1,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
1516.63/1334.64	c (1,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
1516.63/1334.64	c (1,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
1516.63/1334.64	c (1,0) c | Initial random_seed   |  196714717 | 1973736792 | 1063923598 |  627802954 | 1207681500 |  923552284 |   70139227 |  355293852 |
1516.63/1334.64	c (1,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
1516.63/1334.64	c (1,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
1516.63/1334.64	c (1,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
1516.63/1334.64	c (1,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
1516.63/1334.64	c (1,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
1516.63/1334.64	c (1,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
1516.63/1334.64	c (1,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
1516.63/1334.64	c (1,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
1516.63/1334.64	c (1,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
1516.63/1334.64	c (1,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
1516.63/1334.64	c (1,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
1516.63/1334.64	c (1,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
1516.63/1334.64	c (1,0) 
1516.63/1334.64	c (1,0) s UNSATISFIABLE
1516.63/1334.65	c (1,0) SatSolver.solve End
1516.63/1334.65	c (1,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
1516.63/1334.65	c (1,0) Show results Begin
1516.63/1334.65	s UNSATISFIABLE
1516.63/1334.65	c (1,0) Show results End
1516.63/1334.65	c (1,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
1516.63/1334.65	c (1,0) 1,1,STOP-AFTER(ALL)
1516.63/1334.65	c END-Prog: Tue Sep 24 17:20:04 CEST 2019

Verifier Data


Watcher Data 

runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 16374 MiB (11800 MiB free)
  memory of node 1: 16384 MiB (9758 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4405332-1569337109/watcher-4405332-1569337109 -o /var/tmp/evaluation-result-4405332-1569337109/solver-4405332-1569337109 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node146-1569335937-18517 --watchdog 2580 HOME/scop.sh 22g HOME/scop.jar -order HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4405332-1569337109.xml 

running on 8 cores: 0,2,4,6,1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=18984, runsolver pid=18981
Current StackSize limit: 8192 KiB


[startup+0.100112 s]*
/proc/loadavg: 6.89 7.52 5.39 2/211 19006
/proc/meminfo: memFree=21980500/32770624 swapFree=67002364/67108860
[pid=18984] ppid=18981 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/18984/stat : 18984 (scop.sh) S 18981 18984 18490 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 509624967 115843072 349 33554432000 4194304 5098028 140728450273008 140728450270264 139788580684412 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 28180480 140728450278141 140728450278488 140728450278488 140728450281417 0
/proc/18984/statm: 28282 349 296 221 0 87 0
[pid=18987] ppid=18984 vsize=27314120 memory=107620 CPUtime=0.11 cores=0-7
/proc/18987/stat : 18987 (java) S 18984 18984 18490 0 -1 1077944320 6507 0 0 0 8 3 0 0 20 0 20 0 509624968 27969658880 26905 33554432000 4194304 4196468 140724995335088 140724995317632 139962549858039 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 28975104 140724995338951 140724995339398 140724995339398 140724995342287 0
/proc/18987/statm: 6828530 26905 2772 1 0 6790935 0
[pid=18987/tid=18988] ppid=18984 vsize=27314120 memory=1398722017469774279 CPUtime=0.08 cores=0-7
/proc/18987/task/18988/stat : 18988 (java) R 18984 18984 18490 0 -1 4202560 4614 0 0 0 6 2 0 0 20 0 20 0 509624968 27969658880 26905 33554432000 4194304 4196468 140724995335088 139962521682896 139962533938526 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28975104 140724995338951 140724995339398 140724995339398 140724995342287 0
[pid=18987/tid=18989] ppid=18984 vsize=27314120 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/18987/task/18989/stat : 18989 (java) S 18984 18984 18490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509624970 27969658880 26905 33554432000 4194304 4196468 140724995335088 139962554100496 139962549868245 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28975104 140724995338951 140724995339398 140724995339398 140724995342287 0
[pid=18987/tid=18990] ppid=18984 vsize=27314120 memory=140052451186304 CPUtime=0 cores=0-7
/proc/18987/task/18990/stat : 18990 (java) S 18984 18984 18490 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509624971 27969658880 26905 33554432000 4194304 4196468 140724995335088 139961972538256 139962549868245 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28975104 140724995338951 140724995339398 140724995339398 140724995342287 0
[pid=18987/tid=18991] ppid=18984 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18987/task/18991/stat : 18991 (java) S 18984 18984 18490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509624971 27969658880 26905 33554432000 4194304 4196468 140724995335088 139961971485712 139962549868245 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28975104 140724995338951 140724995339398 140724995339398 140724995342287 0
[pid=18987/tid=18992] ppid=18984 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18987/task/18992/stat : 18992 (java) S 18984 18984 18490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509624971 27969658880 26905 33554432000 4194304 4196468 140724995335088 139961970433168 139962549868245 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28975104 140724995338951 140724995339398 140724995339398 140724995342287 0
[pid=18987/tid=18993] ppid=18984 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18987/task/18993/stat : 18993 (java) S 18984 18984 18490 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509624971 27969658880 26905 33554432000 4194304 4196468 140724995335088 139961969379600 139962549868245 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28975104 140724995338951 140724995339398 140724995339398 140724995342287 0
[pid=18987/tid=18994] ppid=18984 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/18987/task/18994/stat : 18994 (java) S 18984 18984 18490 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509624971 27969658880 26905 33554432000 4194304 4196468 140724995335088 139961968327056 139962549868245 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28975104 140724995338951 140724995339398 140724995339398 140724995342287 0
[pid=18987/tid=18995] ppid=18984 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18987/task/18995/stat : 18995 (java) S 18984 18984 18490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509624971 27969658880 26905 33554432000 4194304 4196468 140724995335088 139961967274512 139962549868245 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28975104 140724995338951 140724995339398 140724995339398 140724995342287 0
[pid=18987/tid=18996] ppid=18984 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18987/task/18996/stat : 18996 (java) S 18984 18984 18490 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509624971 27969658880 26905 33554432000 4194304 4196468 140724995335088 139961966221968 139962549868245 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28975104 140724995338951 140724995339398 140724995339398 140724995342287 0
[pid=18987/tid=18997] ppid=18984 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18987/task/18997/stat : 18997 (java) S 18984 18984 18490 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509624972 27969658880 26905 33554432000 4194304 4196468 140724995335088 139961675418096 139962549869186 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28975104 140724995338951 140724995339398 140724995339398 140724995342287 0
[pid=18987/tid=18998] ppid=18984 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18987/task/18998/stat : 18998 (java) S 18984 18984 18490 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 509624973 27969658880 26905 33554432000 4194304 4196468 140724995335088 139960434812320 139962549868245 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28975104 140724995338951 140724995339398 140724995339398 140724995342287 0
[pid=18987/tid=18999] ppid=18984 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18987/task/18999/stat : 18999 (java) S 18984 18984 18490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509624973 27969658880 26905 33554432000 4194304 4196468 140724995335088 139960166376944 139962549868245 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28975104 140724995338951 140724995339398 140724995339398 140724995342287 0
[pid=18987/tid=19000] ppid=18984 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18987/task/19000/stat : 19000 (java) S 18984 18984 18490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509624975 27969658880 26905 33554432000 4194304 4196468 140724995335088 139959791868624 139962549876635 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28975104 140724995338951 140724995339398 140724995339398 140724995342287 0
[pid=18987/tid=19001] ppid=18984 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18987/task/19001/stat : 19001 (java) S 18984 18984 18490 0 -1 1077944384 305 0 0 0 0 0 0 0 20 0 20 0 509624975 27969658880 26905 33554432000 4194304 4196468 140724995335088 139961674364912 139962549869186 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28975104 140724995338951 140724995339398 140724995339398 140724995342287 0
[pid=18987/tid=19002] ppid=18984 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18987/task/19002/stat : 19002 (java) S 18984 18984 18490 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509624975 27969658880 26905 33554432000 4194304 4196468 140724995335088 139961673312368 139962549869186 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28975104 140724995338951 140724995339398 140724995339398 140724995342287 0
[pid=18987/tid=19003] ppid=18984 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18987/task/19003/stat : 19003 (java) S 18984 18984 18490 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509624975 27969658880 26905 33554432000 4194304 4196468 140724995335088 139961672259824 139962549869186 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28975104 140724995338951 140724995339398 140724995339398 140724995342287 0
[pid=18987/tid=19004] ppid=18984 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18987/task/19004/stat : 19004 (java) S 18984 18984 18490 0 -1 1077944384 259 0 0 0 0 0 0 0 20 0 20 0 509624975 27969658880 26905 33554432000 4194304 4196468 140724995335088 139961671207280 139962549869186 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28975104 140724995338951 140724995339398 140724995339398 140724995342287 0
[pid=18987/tid=19005] ppid=18984 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18987/task/19005/stat : 19005 (java) S 18984 18984 18490 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509624975 27969658880 26905 33554432000 4194304 4196468 140724995335088 139959293962976 139962549868245 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28975104 140724995338951 140724995339398 140724995339398 140724995342287 0
[pid=18987/tid=19006] ppid=18984 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/18987/task/19006/stat : 19006 (java) S 18984 18984 18490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509624976 27969658880 26905 33554432000 4194304 4196468 140724995335088 139961670155184 139962549869186 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28975104 140724995338951 140724995339398 140724995339398 140724995342287 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 109016 KiB

[startup+0.210114 s]*
/proc/loadavg: 6.89 7.52 5.39 4/211 19006
/proc/meminfo: memFree=21959156/32770624 swapFree=67002364/67108860
[pid=18984] ppid=18981 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/18984/stat : 18984 (scop.sh) S 18981 18984 18490 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 509624967 115843072 349 33554432000 4194304 5098028 140728450273008 140728450270264 139788580684412 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 28180480 140728450278141 140728450278488 140728450278488 140728450281417 0
/proc/18984/statm: 28282 349 296 221 0 87 0
[pid=18987] ppid=18984 vsize=27314120 memory=127172 CPUtime=0.24 cores=0-7
/proc/18987/stat : 18987 (java) S 18984 18984 18490 0 -1 1077944320 12149 0 0 0 20 4 0 0 20 0 20 0 509624968 27969658880 31793 33554432000 4194304 4196468 140724995335088 140724995317632 139962549858039 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 28975104 140724995338951 140724995339398 140724995339398 140724995342287 0
/proc/18987/statm: 6828530 31793 2942 1 0 6790935 0
[pid=18987/tid=18988] ppid=18984 vsize=27314120 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/18987/task/18988/stat : 18988 (java) R 18984 18984 18490 0 -1 4202560 9850 0 0 0 16 3 0 0 20 0 20 0 509624968 27969658880 31793 33554432000 4194304 4196468 140724995335088 139962521657424 139962530133799 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28975104 140724995338951 140724995339398 140724995339398 140724995342287 0
[pid=18987/tid=18989] ppid=18984 vsize=27314120 memory=339 CPUtime=0 cores=0-7
/proc/18987/task/18989/stat : 18989 (java) S 18984 18984 18490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509624970 27969658880 31793 33554432000 4194304 4196468 140724995335088 139962554100496 139962549868245 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28975104 140724995338951 140724995339398 140724995339398 140724995342287 0
[pid=18987/tid=18990] ppid=18984 vsize=27314120 memory=288370428602898048 CPUtime=0 cores=0-7
/proc/18987/task/18990/stat : 18990 (java) S 18984 18984 18490 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509624971 27969658880 31793 33554432000 4194304 4196468 140724995335088 139961972538256 139962549868245 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28975104 140724995338951 140724995339398 140724995339398 140724995342287 0
[pid=18987/tid=18991] ppid=18984 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/18987/task/18991/stat : 18991 (java) S 18984 18984 18490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509624971 27969658880 31793 33554432000 4194304 4196468 140724995335088 139961971485712 139962549868245 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28975104 140724995338951 140724995339398 140724995339398 140724995342287 0
[pid=18987/tid=18992] ppid=18984 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18987/task/18992/stat : 18992 (java) S 18984 18984 18490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509624971 27969658880 31793 33554432000 4194304 4196468 140724995335088 139961970433168 139962549868245 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28975104 140724995338951 140724995339398 140724995339398 140724995342287 0
[pid=18987/tid=18993] ppid=18984 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18987/task/18993/stat : 18993 (java) S 18984 18984 18490 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509624971 27969658880 31793 33554432000 4194304 4196468 140724995335088 139961969379600 139962549868245 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28975104 140724995338951 140724995339398 140724995339398 140724995342287 0
[pid=18987/tid=18994] ppid=18984 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/18987/task/18994/stat : 18994 (java) S 18984 18984 18490 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509624971 27969658880 31793 33554432000 4194304 4196468 140724995335088 139961968327056 139962549868245 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28975104 140724995338951 140724995339398 140724995339398 140724995342287 0
[pid=18987/tid=18995] ppid=18984 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18987/task/18995/stat : 18995 (java) S 18984 18984 18490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509624971 27969658880 31793 33554432000 4194304 4196468 140724995335088 139961967274512 139962549868245 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28975104 140724995338951 140724995339398 140724995339398 140724995342287 0
[pid=18987/tid=18996] ppid=18984 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18987/task/18996/stat : 18996 (java) S 18984 18984 18490 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509624971 27969658880 31793 33554432000 4194304 4196468 140724995335088 139961966221968 139962549868245 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28975104 140724995338951 140724995339398 140724995339398 140724995342287 0
[pid=18987/tid=18997] ppid=18984 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18987/task/18997/stat : 18997 (java) S 18984 18984 18490 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509624972 27969658880 31793 33554432000 4194304 4196468 140724995335088 139961675418096 139962549869186 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28975104 140724995338951 140724995339398 140724995339398 140724995342287 0
[pid=18987/tid=18998] ppid=18984 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18987/task/18998/stat : 18998 (java) S 18984 18984 18490 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 509624973 27969658880 31793 33554432000 4194304 4196468 140724995335088 139960434812320 139962549868245 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28975104 140724995338951 140724995339398 140724995339398 140724995342287 0
[pid=18987/tid=18999] ppid=18984 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18987/task/18999/stat : 18999 (java) S 18984 18984 18490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509624973 27969658880 31793 33554432000 4194304 4196468 140724995335088 139960166376944 139962549868245 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28975104 140724995338951 140724995339398 140724995339398 140724995342287 0
[pid=18987/tid=19000] ppid=18984 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18987/task/19000/stat : 19000 (java) S 18984 18984 18490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509624975 27969658880 31793 33554432000 4194304 4196468 140724995335088 139959791868624 139962549876635 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28975104 140724995338951 140724995339398 140724995339398 140724995342287 0
[pid=18987/tid=19001] ppid=18984 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18987/task/19001/stat : 19001 (java) S 18984 18984 18490 0 -1 1077944384 318 0 0 0 0 0 0 0 20 0 20 0 509624975 27969658880 31793 33554432000 4194304 4196468 140724995335088 139961674364912 139962549869186 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28975104 140724995338951 140724995339398 140724995339398 140724995342287 0
[pid=18987/tid=19002] ppid=18984 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18987/task/19002/stat : 19002 (java) S 18984 18984 18490 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 20 0 509624975 27969658880 31793 33554432000 4194304 4196468 140724995335088 139961673312368 139962549869186 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28975104 140724995338951 140724995339398 140724995339398 140724995342287 0
[pid=18987/tid=19003] ppid=18984 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/18987/task/19003/stat : 19003 (java) S 18984 18984 18490 0 -1 1077944384 134 0 0 0 0 0 0 0 20 0 20 0 509624975 27969658880 31793 33554432000 4194304 4196468 140724995335088 139961672259824 139962549869186 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28975104 140724995338951 140724995339398 140724995339398 140724995342287 0
[pid=18987/tid=19004] ppid=18984 vsize=27314120 memory=-1 CPUtime=0.02 cores=0-7
/proc/18987/task/19004/stat : 19004 (java) S 18984 18984 18490 0 -1 1077944384 467 0 0 0 2 0 0 0 20 0 20 0 509624975 27969658880 31793 33554432000 4194304 4196468 140724995335088 139961671207280 139962549869186 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28975104 140724995338951 140724995339398 140724995339398 140724995342287 0
[pid=18987/tid=19005] ppid=18984 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18987/task/19005/stat : 19005 (java) S 18984 18984 18490 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509624975 27969658880 31793 33554432000 4194304 4196468 140724995335088 139959293962976 139962549868245 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28975104 140724995338951 140724995339398 140724995339398 140724995342287 0
[pid=18987/tid=19006] ppid=18984 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/18987/task/19006/stat : 19006 (java) S 18984 18984 18490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509624976 27969658880 31793 33554432000 4194304 4196468 140724995335088 139961670155184 139962549869186 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28975104 140724995338951 140724995339398 140724995339398 140724995342287 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 128568 KiB

[startup+0.309367 s]*
/proc/loadavg: 6.89 7.52 5.39 2/211 19006
/proc/meminfo: memFree=21956976/32770624 swapFree=67002364/67108860
[pid=18984] ppid=18981 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/18984/stat : 18984 (scop.sh) S 18981 18984 18490 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 509624967 115843072 349 33554432000 4194304 5098028 140728450273008 140728450270264 139788580684412 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 28180480 140728450278141 140728450278488 140728450278488 140728450281417 0
/proc/18984/statm: 28282 349 296 221 0 87 0
[pid=18987] ppid=18984 vsize=27314120 memory=130776 CPUtime=0.42 cores=0-7
/proc/18987/stat : 18987 (java) S 18984 18984 18490 0 -1 1077944320 12492 0 0 0 37 5 0 0 20 0 20 0 509624968 27969658880 32694 33554432000 4194304 4196468 140724995335088 140724995317632 139962549858039 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 28975104 140724995338951 140724995339398 140724995339398 140724995342287 0
/proc/18987/statm: 6828530 32694 3060 1 0 6790935 0
[pid=18987/tid=18988] ppid=18984 vsize=27314120 memory=1398722017469774279 CPUtime=0.3 cores=0-7
/proc/18987/task/18988/stat : 18988 (java) R 18984 18984 18490 0 -1 4202560 10028 0 0 0 26 4 0 0 20 0 20 0 509624968 27969658880 32694 33554432000 4194304 4196468 140724995335088 139962521685056 139962535023678 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28975104 140724995338951 140724995339398 140724995339398 140724995342287 0
[pid=18987/tid=18989] ppid=18984 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18987/task/18989/stat : 18989 (java) S 18984 18984 18490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509624970 27969658880 32694 33554432000 4194304 4196468 140724995335088 139962554100496 139962549868245 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28975104 140724995338951 140724995339398 140724995339398 140724995342287 0
[pid=18987/tid=18990] ppid=18984 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18987/task/18990/stat : 18990 (java) S 18984 18984 18490 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509624971 27969658880 32694 33554432000 4194304 4196468 140724995335088 139961972538256 139962549868245 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28975104 140724995338951 140724995339398 140724995339398 140724995342287 0
[pid=18987/tid=18991] ppid=18984 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18987/task/18991/stat : 18991 (java) S 18984 18984 18490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509624971 27969658880 32694 33554432000 4194304 4196468 140724995335088 139961971485712 139962549868245 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28975104 140724995338951 140724995339398 140724995339398 140724995342287 0
[pid=18987/tid=18992] ppid=18984 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18987/task/18992/stat : 18992 (java) S 18984 18984 18490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509624971 27969658880 32694 33554432000 4194304 4196468 140724995335088 139961970433168 139962549868245 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28975104 140724995338951 140724995339398 140724995339398 140724995342287 0
[pid=18987/tid=18993] ppid=18984 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18987/task/18993/stat : 18993 (java) S 18984 18984 18490 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509624971 27969658880 32694 33554432000 4194304 4196468 140724995335088 139961969379600 139962549868245 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28975104 140724995338951 140724995339398 140724995339398 140724995342287 0
[pid=18987/tid=18994] ppid=18984 vsize=27314120 memory=140052306946735 CPUtime=0 cores=0-7
/proc/18987/task/18994/stat : 18994 (java) S 18984 18984 18490 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509624971 27969658880 32694 33554432000 4194304 4196468 140724995335088 139961968327056 139962549868245 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28975104 140724995338951 140724995339398 140724995339398 140724995342287 0
[pid=18987/tid=18995] ppid=18984 vsize=27314120 memory=140052306949040 CPUtime=0 cores=0-7
/proc/18987/task/18995/stat : 18995 (java) S 18984 18984 18490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509624971 27969658880 32694 33554432000 4194304 4196468 140724995335088 139961967274512 139962549868245 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28975104 140724995338951 140724995339398 140724995339398 140724995342287 0
[pid=18987/tid=18996] ppid=18984 vsize=27314120 memory=140052306951344 CPUtime=0 cores=0-7
/proc/18987/task/18996/stat : 18996 (java) S 18984 18984 18490 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509624971 27969658880 32694 33554432000 4194304 4196468 140724995335088 139961966221968 139962549868245 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28975104 140724995338951 140724995339398 140724995339398 140724995342287 0
[pid=18987/tid=18997] ppid=18984 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18987/task/18997/stat : 18997 (java) S 18984 18984 18490 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509624972 27969658880 32694 33554432000 4194304 4196468 140724995335088 139961675418096 139962549869186 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28975104 140724995338951 140724995339398 140724995339398 140724995342287 0
[pid=18987/tid=18998] ppid=18984 vsize=27314120 memory=280104613916560 CPUtime=0 cores=0-7
/proc/18987/task/18998/stat : 18998 (java) S 18984 18984 18490 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 509624973 27969658880 32694 33554432000 4194304 4196468 140724995335088 139960434812320 139962549868245 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28975104 140724995338951 140724995339398 140724995339398 140724995342287 0
[pid=18987/tid=18999] ppid=18984 vsize=27314120 memory=280104613914256 CPUtime=0 cores=0-7
/proc/18987/task/18999/stat : 18999 (java) S 18984 18984 18490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509624973 27969658880 32694 33554432000 4194304 4196468 140724995335088 139960166376944 139962549868245 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28975104 140724995338951 140724995339398 140724995339398 140724995342287 0
[pid=18987/tid=19000] ppid=18984 vsize=27314120 memory=280104613921168 CPUtime=0 cores=0-7
/proc/18987/task/19000/stat : 19000 (java) S 18984 18984 18490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509624975 27969658880 32694 33554432000 4194304 4196468 140724995335088 139959791868624 139962549876635 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28975104 140724995338951 140724995339398 140724995339398 140724995342287 0
[pid=18987/tid=19001] ppid=18984 vsize=27314120 memory=280104613862448 CPUtime=0.01 cores=0-7
/proc/18987/task/19001/stat : 19001 (java) S 18984 18984 18490 0 -1 1077944384 410 0 0 0 1 0 0 0 20 0 20 0 509624975 27969658880 32694 33554432000 4194304 4196468 140724995335088 139961674364912 139962549869186 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28975104 140724995338951 140724995339398 140724995339398 140724995342287 0
[pid=18987/tid=19002] ppid=18984 vsize=27314120 memory=280104613934992 CPUtime=0.01 cores=0-7
/proc/18987/task/19002/stat : 19002 (java) S 18984 18984 18490 0 -1 1077944384 88 0 0 0 1 0 0 0 20 0 20 0 509624975 27969658880 32694 33554432000 4194304 4196468 140724995335088 139961673312368 139962549869186 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28975104 140724995338951 140724995339398 140724995339398 140724995342287 0
[pid=18987/tid=19003] ppid=18984 vsize=27314120 memory=280104613941904 CPUtime=0 cores=0-7
/proc/18987/task/19003/stat : 19003 (java) S 18984 18984 18490 0 -1 1077944384 140 0 0 0 0 0 0 0 20 0 20 0 509624975 27969658880 32694 33554432000 4194304 4196468 140724995335088 139961672259824 139962549869186 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28975104 140724995338951 140724995339398 140724995339398 140724995342287 0
[pid=18987/tid=19004] ppid=18984 vsize=27314120 memory=280104613939600 CPUtime=0.07 cores=0-7
/proc/18987/task/19004/stat : 19004 (java) S 18984 18984 18490 0 -1 1077944384 489 0 0 0 7 0 0 0 20 0 20 0 509624975 27969658880 32694 33554432000 4194304 4196468 140724995335088 139961671207280 139962549869186 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28975104 140724995338951 140724995339398 140724995339398 140724995342287 0
[pid=18987/tid=19005] ppid=18984 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18987/task/19005/stat : 19005 (java) S 18984 18984 18490 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509624975 27969658880 32694 33554432000 4194304 4196468 140724995335088 139959293962976 139962549868245 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28975104 140724995338951 140724995339398 140724995339398 140724995342287 0
[pid=18987/tid=19006] ppid=18984 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/18987/task/19006/stat : 19006 (java) S 18984 18984 18490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509624976 27969658880 32694 33554432000 4194304 4196468 140724995335088 139961670155184 139962549869186 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28975104 140724995338951 140724995339398 140724995339398 140724995342287 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 132172 KiB

[startup+0.700865 s]
/proc/loadavg: 6.89 7.52 5.39 3/211 19006
/proc/meminfo: memFree=21935880/32770624 swapFree=67002364/67108860
[pid=18984] ppid=18981 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/18984/stat : 18984 (scop.sh) S 18981 18984 18490 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 509624967 115843072 349 33554432000 4194304 5098028 140728450273008 140728450270264 139788580684412 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 28180480 140728450278141 140728450278488 140728450278488 140728450281417 0
/proc/18984/statm: 28282 349 296 221 0 87 0
[pid=18987] ppid=18984 vsize=27320392 memory=164888 CPUtime=0.99 cores=0-7
/proc/18987/stat : 18987 (java) S 18984 18984 18490 0 -1 1077944320 19817 0 0 0 92 7 0 0 20 0 20 0 509624968 27976081408 41222 33554432000 4194304 4196468 140724995335088 140724995317632 139962549858039 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 28975104 140724995338951 140724995339398 140724995339398 140724995342287 0
/proc/18987/statm: 6830098 41222 3170 1 0 6791447 0
[pid=18987/tid=18988] ppid=18984 vsize=27320392 memory=0 CPUtime=0.67 cores=0-7
/proc/18987/task/18988/stat : 18988 (java) R 18984 18984 18490 0 -1 4202560 16949 0 0 0 62 5 0 0 20 0 20 0 509624968 27976081408 41222 33554432000 4194304 4196468 140724995335088 139962521696896 139962549879965 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28975104 140724995338951 140724995339398 140724995339398 140724995342287 0
[pid=18987/tid=18989] ppid=18984 vsize=27320392 memory=140052307157872 CPUtime=0 cores=0-7
/proc/18987/task/18989/stat : 18989 (java) S 18984 18984 18490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509624970 27976081408 41222 33554432000 4194304 4196468 140724995335088 139962554100496 139962549868245 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28975104 140724995338951 140724995339398 140724995339398 140724995342287 0
[pid=18987/tid=18990] ppid=18984 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/18987/task/18990/stat : 18990 (java) S 18984 18984 18490 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509624971 27976081408 41222 33554432000 4194304 4196468 140724995335088 139961972538256 139962549868245 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28975104 140724995338951 140724995339398 140724995339398 140724995342287 0
[pid=18987/tid=18991] ppid=18984 vsize=27320392 memory=1056 CPUtime=0 cores=0-7
/proc/18987/task/18991/stat : 18991 (java) S 18984 18984 18490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509624971 27976081408 41222 33554432000 4194304 4196468 140724995335088 139961971485712 139962549868245 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28975104 140724995338951 140724995339398 140724995339398 140724995342287 0

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

[pid=19133/tid=19137] ppid=18984 vsize=8414124 memory=2648 CPUtime=0 cores=0-7
/proc/19133/task/19137/stat : 19137 (java) S 18984 18984 18490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509758226 8616062976 31122 33554432000 4194304 4196468 140736598043296 140393296304400 140393492956885 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35573760 140736598049759 140736598049926 140736598049926 140736598052815 0
[pid=19133/tid=19138] ppid=18984 vsize=8414124 memory=884 CPUtime=0 cores=0-7
/proc/19133/task/19138/stat : 19138 (java) S 18984 18984 18490 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 509758226 8616062976 31122 33554432000 4194304 4196468 140736598043296 140393295251856 140393492956885 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35573760 140736598049759 140736598049926 140736598049926 140736598052815 0
[pid=19133/tid=19139] ppid=18984 vsize=8414124 memory=1440 CPUtime=0 cores=0-7
/proc/19133/task/19139/stat : 19139 (java) S 18984 18984 18490 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 509758226 8616062976 31122 33554432000 4194304 4196468 140736598043296 140393294199824 140393492956885 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35573760 140736598049759 140736598049926 140736598049926 140736598052815 0
[pid=19133/tid=19140] ppid=18984 vsize=8414124 memory=920 CPUtime=0 cores=0-7
/proc/19133/task/19140/stat : 19140 (java) S 18984 18984 18490 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 509758226 8616062976 31122 33554432000 4194304 4196468 140736598043296 140393293147280 140393492956885 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35573760 140736598049759 140736598049926 140736598049926 140736598052815 0
[pid=19133/tid=19141] ppid=18984 vsize=8414124 memory=4248 CPUtime=0 cores=0-7
/proc/19133/task/19141/stat : 19141 (java) S 18984 18984 18490 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 509758226 8616062976 31122 33554432000 4194304 4196468 140736598043296 140393292094224 140393492956885 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35573760 140736598049759 140736598049926 140736598049926 140736598052815 0
[pid=19133/tid=19142] ppid=18984 vsize=8414124 memory=1412 CPUtime=0 cores=0-7
/proc/19133/task/19142/stat : 19142 (java) S 18984 18984 18490 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 509758226 8616062976 31122 33554432000 4194304 4196468 140736598043296 140393291041680 140393492956885 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35573760 140736598049759 140736598049926 140736598049926 140736598052815 0
[pid=19133/tid=19143] ppid=18984 vsize=8414124 memory=3392 CPUtime=0 cores=0-7
/proc/19133/task/19143/stat : 19143 (java) S 18984 18984 18490 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 509758228 8616062976 31122 33554432000 4194304 4196468 140736598043296 140392586393840 140393492957826 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35573760 140736598049759 140736598049926 140736598049926 140736598052815 0
[pid=19133/tid=19144] ppid=18984 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/19133/task/19144/stat : 19144 (java) S 18984 18984 18490 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 509758228 8616062976 31122 33554432000 4194304 4196468 140736598043296 140392146134176 140393492956885 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35573760 140736598049759 140736598049926 140736598049926 140736598052815 0
[pid=19133/tid=19145] ppid=18984 vsize=8414124 memory=97392 CPUtime=0 cores=0-7
/proc/19133/task/19145/stat : 19145 (java) S 18984 18984 18490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509758229 8616062976 31122 33554432000 4194304 4196468 140736598043296 140391877698288 140393492956885 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35573760 140736598049759 140736598049926 140736598049926 140736598052815 0
[pid=19133/tid=19146] ppid=18984 vsize=8414124 memory=1720 CPUtime=0 cores=0-7
/proc/19133/task/19146/stat : 19146 (java) S 18984 18984 18490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509758231 8616062976 31122 33554432000 4194304 4196468 140736598043296 140391503189968 140393492965275 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35573760 140736598049759 140736598049926 140736598049926 140736598052815 0
[pid=19133/tid=19147] ppid=18984 vsize=8414124 memory=1224 CPUtime=0.1 cores=0-7
/proc/19133/task/19147/stat : 19147 (java) S 18984 18984 18490 0 -1 1077944384 771 0 0 0 10 0 0 0 20 0 24 0 509758231 8616062976 31122 33554432000 4194304 4196468 140736598043296 140392585341680 140393492957826 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35573760 140736598049759 140736598049926 140736598049926 140736598052815 0
[pid=19133/tid=19148] ppid=18984 vsize=8414124 memory=6164 CPUtime=0.11 cores=0-7
/proc/19133/task/19148/stat : 19148 (java) S 18984 18984 18490 0 -1 1077944384 271 0 0 0 11 0 0 0 20 0 24 0 509758231 8616062976 31122 33554432000 4194304 4196468 140736598043296 140392584289136 140393492957826 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35573760 140736598049759 140736598049926 140736598049926 140736598052815 0
[pid=19133/tid=19149] ppid=18984 vsize=8414124 memory=772 CPUtime=0.17 cores=0-7
/proc/19133/task/19149/stat : 19149 (java) S 18984 18984 18490 0 -1 1077944384 713 0 0 0 17 0 0 0 20 0 24 0 509758231 8616062976 31122 33554432000 4194304 4196468 140736598043296 140392583236080 140393492957826 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35573760 140736598049759 140736598049926 140736598049926 140736598052815 0
[pid=19133/tid=19150] ppid=18984 vsize=8414124 memory=1768 CPUtime=0.22 cores=0-7
/proc/19133/task/19150/stat : 19150 (java) S 18984 18984 18490 0 -1 1077944384 584 0 0 0 22 0 0 0 20 0 24 0 509758231 8616062976 31122 33554432000 4194304 4196468 140736598043296 140392582183536 140393492957826 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35573760 140736598049759 140736598049926 140736598049926 140736598052815 0
[pid=19133/tid=19151] ppid=18984 vsize=8414124 memory=111636 CPUtime=0 cores=0-7
/proc/19133/task/19151/stat : 19151 (java) S 18984 18984 18490 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 509758232 8616062976 31122 33554432000 4194304 4196468 140736598043296 140391005284832 140393492956885 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35573760 140736598049759 140736598049926 140736598049926 140736598052815 0
[pid=19133/tid=19152] ppid=18984 vsize=8414124 memory=808 CPUtime=0 cores=0-7
/proc/19133/task/19152/stat : 19152 (java) S 18984 18984 18490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509758232 8616062976 31122 33554432000 4194304 4196468 140736598043296 140392581130928 140393492957826 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35573760 140736598049759 140736598049926 140736598049926 140736598052815 0
Current children cumulated CPU time: 1515.4 s
Current children cumulated vsize: 8527252 KiB
Current children cumulated memory: 125964 KiB

[startup+1334.2 s]*
/proc/loadavg: 0.90 1.07 2.08 2/216 19158
/proc/meminfo: memFree=21876684/32770624 swapFree=67002364/67108860
[pid=18984] ppid=18981 vsize=113128 memory=1476 CPUtime=1513.94 cores=0-7
/proc/18984/stat : 18984 (scop.sh) S 18981 18984 18490 0 -1 4202496 582 899330 0 0 0 0 148244 3150 20 0 1 0 509624967 115843072 369 33554432000 4194304 5098028 140728450273008 140728450269752 139788580684412 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 28180480 140728450278141 140728450278488 140728450278488 140728450281417 0
/proc/18984/statm: 28282 369 311 221 0 87 0
[pid=19133] ppid=18984 vsize=8414124 memory=124488 CPUtime=1.46 cores=0-7
/proc/19133/stat : 19133 (java) S 18984 18984 18490 0 -1 1077944320 20138 0 0 0 139 7 0 0 20 0 24 0 509758224 8616062976 31122 33554432000 4194304 4196468 140736598043296 140736598025840 140393492946679 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 35573760 140736598049759 140736598049926 140736598049926 140736598052815 0
/proc/19133/statm: 2103531 31122 3211 1 0 2064875 0
[pid=19153] ppid=19133 vsize=116272 memory=85856 CPUtime=0.84 cores=0-7
/proc/19153/stat : 19153 (manyglucose-4.1) R 19133 18984 18490 0 -1 4202496 21321 0 0 0 80 4 0 0 20 0 1 0 509758303 119062528 21464 33554432000 4194304 4454172 140733233069360 140733233066840 140502998775340 0 4 0 8388610 0 0 0 17 2 0 0 0 0 0 6552832 6554400 21671936 140733233070925 140733233071132 140733233071132 140733233074102 0
/proc/19153/statm: 29068 21464 378 64 0 24736 0
[pid=19133/tid=19134] ppid=18984 vsize=8414124 memory=1398722017469774279 CPUtime=0.81 cores=0-7
/proc/19133/task/19134/stat : 19134 (java) S 18984 18984 18490 0 -1 1077944384 16402 0 0 0 75 6 0 0 20 0 24 0 509758225 8616062976 31122 33554432000 4194304 4196468 140736598043296 140393464786848 140393492956885 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35573760 140736598049759 140736598049926 140736598049926 140736598052815 0
[pid=19133/tid=19135] ppid=18984 vsize=8414124 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/19133/task/19135/stat : 19135 (java) S 18984 18984 18490 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 509758226 8616062976 31122 33554432000 4194304 4196468 140736598043296 140393497188880 140393492956885 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35573760 140736598049759 140736598049926 140736598049926 140736598052815 0
[pid=19133/tid=19136] ppid=18984 vsize=8414124 memory=6944656592455359580 CPUtime=0 cores=0-7
/proc/19133/task/19136/stat : 19136 (java) S 18984 18984 18490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509758226 8616062976 31122 33554432000 4194304 4196468 140736598043296 140393297357456 140393492956885 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35573760 140736598049759 140736598049926 140736598049926 140736598052815 0
[pid=19133/tid=19137] ppid=18984 vsize=8414124 memory=6944656575208382560 CPUtime=0 cores=0-7
/proc/19133/task/19137/stat : 19137 (java) S 18984 18984 18490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509758226 8616062976 31122 33554432000 4194304 4196468 140736598043296 140393296304400 140393492956885 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35573760 140736598049759 140736598049926 140736598049926 140736598052815 0
[pid=19133/tid=19138] ppid=18984 vsize=8414124 memory=6655300316396806240 CPUtime=0 cores=0-7
/proc/19133/task/19138/stat : 19138 (java) S 18984 18984 18490 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 509758226 8616062976 31122 33554432000 4194304 4196468 140736598043296 140393295251856 140393492956885 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35573760 140736598049759 140736598049926 140736598049926 140736598052815 0
[pid=19133/tid=19139] ppid=18984 vsize=8414124 memory=6944652177228980320 CPUtime=0 cores=0-7
/proc/19133/task/19139/stat : 19139 (java) S 18984 18984 18490 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 509758226 8616062976 31122 33554432000 4194304 4196468 140736598043296 140393294199824 140393492956885 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35573760 140736598049759 140736598049926 140736598049926 140736598052815 0
[pid=19133/tid=19140] ppid=18984 vsize=8414124 memory=6944652177228980320 CPUtime=0 cores=0-7
/proc/19133/task/19140/stat : 19140 (java) S 18984 18984 18490 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 509758226 8616062976 31122 33554432000 4194304 4196468 140736598043296 140393293147280 140393492956885 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35573760 140736598049759 140736598049926 140736598049926 140736598052815 0
[pid=19133/tid=19141] ppid=18984 vsize=8414124 memory=288370015068225826 CPUtime=0 cores=0-7
/proc/19133/task/19141/stat : 19141 (java) S 18984 18984 18490 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 509758226 8616062976 31122 33554432000 4194304 4196468 140736598043296 140393292094224 140393492956885 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35573760 140736598049759 140736598049926 140736598049926 140736598052815 0
[pid=19133/tid=19142] ppid=18984 vsize=8414124 memory=303489399461773602 CPUtime=0 cores=0-7
/proc/19133/task/19142/stat : 19142 (java) S 18984 18984 18490 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 509758226 8616062976 31122 33554432000 4194304 4196468 140736598043296 140393291041680 140393492956885 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35573760 140736598049759 140736598049926 140736598049926 140736598052815 0
[pid=19133/tid=19143] ppid=18984 vsize=8414124 memory=15259229351052612 CPUtime=0 cores=0-7
/proc/19133/task/19143/stat : 19143 (java) S 18984 18984 18490 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 509758228 8616062976 31122 33554432000 4194304 4196468 140736598043296 140392586393840 140393492957826 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35573760 140736598049759 140736598049926 140736598049926 140736598052815 0
[pid=19133/tid=19144] ppid=18984 vsize=8414124 memory=6943526294502006880 CPUtime=0 cores=0-7
/proc/19133/task/19144/stat : 19144 (java) S 18984 18984 18490 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 509758228 8616062976 31122 33554432000 4194304 4196468 140736598043296 140392146134176 140393492956885 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35573760 140736598049759 140736598049926 140736598049926 140736598052815 0
[pid=19133/tid=19145] ppid=18984 vsize=8414124 memory=-8172468297011507069 CPUtime=0 cores=0-7
/proc/19133/task/19145/stat : 19145 (java) S 18984 18984 18490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509758229 8616062976 31122 33554432000 4194304 4196468 140736598043296 140391877698288 140393492956885 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35573760 140736598049759 140736598049926 140736598049926 140736598052815 0
[pid=19133/tid=19146] ppid=18984 vsize=8414124 memory=212 CPUtime=0 cores=0-7
/proc/19133/task/19146/stat : 19146 (java) S 18984 18984 18490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509758231 8616062976 31122 33554432000 4194304 4196468 140736598043296 140391503189968 140393492965275 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35573760 140736598049759 140736598049926 140736598049926 140736598052815 0
[pid=19133/tid=19147] ppid=18984 vsize=8414124 memory=33 CPUtime=0.1 cores=0-7
/proc/19133/task/19147/stat : 19147 (java) S 18984 18984 18490 0 -1 1077944384 771 0 0 0 10 0 0 0 20 0 24 0 509758231 8616062976 31122 33554432000 4194304 4196468 140736598043296 140392585341680 140393492957826 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35573760 140736598049759 140736598049926 140736598049926 140736598052815 0
[pid=19133/tid=19148] ppid=18984 vsize=8414124 memory=6082200732567818320 CPUtime=0.11 cores=0-7
/proc/19133/task/19148/stat : 19148 (java) S 18984 18984 18490 0 -1 1077944384 271 0 0 0 11 0 0 0 20 0 24 0 509758231 8616062976 31122 33554432000 4194304 4196468 140736598043296 140392584289136 140393492957826 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35573760 140736598049759 140736598049926 140736598049926 140736598052815 0
[pid=19133/tid=19149] ppid=18984 vsize=8414124 memory=404 CPUtime=0.17 cores=0-7
/proc/19133/task/19149/stat : 19149 (java) S 18984 18984 18490 0 -1 1077944384 713 0 0 0 17 0 0 0 20 0 24 0 509758231 8616062976 31122 33554432000 4194304 4196468 140736598043296 140392583236080 140393492957826 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35573760 140736598049759 140736598049926 140736598049926 140736598052815 0
[pid=19133/tid=19150] ppid=18984 vsize=8414124 memory=6944656592455097440 CPUtime=0.22 cores=0-7
/proc/19133/task/19150/stat : 19150 (java) S 18984 18984 18490 0 -1 1077944384 585 0 0 0 22 0 0 0 20 0 24 0 509758231 8616062976 31122 33554432000 4194304 4196468 140736598043296 140392582183536 140393492957826 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35573760 140736598049759 140736598049926 140736598049926 140736598052815 0
[pid=19133/tid=19151] ppid=18984 vsize=8414124 memory=6656426216303648864 CPUtime=0 cores=0-7
/proc/19133/task/19151/stat : 19151 (java) S 18984 18984 18490 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 509758232 8616062976 31122 33554432000 4194304 4196468 140736598043296 140391005284832 140393492956885 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35573760 140736598049759 140736598049926 140736598049926 140736598052815 0
[pid=19133/tid=19152] ppid=18984 vsize=8414124 memory=6944656592455359580 CPUtime=0 cores=0-7
/proc/19133/task/19152/stat : 19152 (java) S 18984 18984 18490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509758232 8616062976 31122 33554432000 4194304 4196468 140736598043296 140392581130928 140393492957826 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35573760 140736598049759 140736598049926 140736598049926 140736598052815 0
[pid=19133/tid=19154] ppid=18984 vsize=8414124 memory=6944656592455359580 CPUtime=0 cores=0-7
/proc/19133/task/19154/stat : 19154 (java) S 18984 18984 18490 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 509758304 8616062976 31122 33554432000 4194304 4196468 140736598043296 140392573096896 140393492971289 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 35573760 140736598049759 140736598049926 140736598049926 140736598052815 0
[pid=19133/tid=19156] ppid=18984 vsize=8414124 memory=6944652177228980320 CPUtime=0 cores=0-7
/proc/19133/task/19156/stat : 19156 (java) S 18984 18984 18490 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 24 0 509758304 8616062976 31122 33554432000 4194304 4196468 140736598043296 140390334185520 140393492968605 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 35573760 140736598049759 140736598049926 140736598049926 140736598052815 0
[pid=19133/tid=19157] ppid=18984 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/19133/task/19157/stat : 19157 (java) S 18984 18984 18490 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 24 0 509758304 8616062976 31122 33554432000 4194304 4196468 140736598043296 140390602621104 140393492968605 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 35573760 140736598049759 140736598049926 140736598049926 140736598052815 0
[pid=19133/tid=19158] ppid=18984 vsize=8414124 memory=288230377007612191 CPUtime=0 cores=0-7
/proc/19133/task/19158/stat : 19158 (java) S 18984 18984 18490 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 509758306 8616062976 31122 33554432000 4194304 4196468 140736598043296 140390065757616 140393492956885 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35573760 140736598049759 140736598049926 140736598049926 140736598052815 0
Current children cumulated CPU time: 1516.24 s
Current children cumulated vsize: 8643524 KiB
Current children cumulated memory: 211820 KiB

[startup+1334.6 s]
/proc/loadavg: 0.90 1.07 2.08 2/216 19158
/proc/meminfo: memFree=21876684/32770624 swapFree=67002364/67108860
[pid=18984] ppid=18981 vsize=113128 memory=1476 CPUtime=1513.94 cores=0-7
/proc/18984/stat : 18984 (scop.sh) S 18981 18984 18490 0 -1 4202496 582 899330 0 0 0 0 148244 3150 20 0 1 0 509624967 115843072 369 33554432000 4194304 5098028 140728450273008 140728450269752 139788580684412 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 28180480 140728450278141 140728450278488 140728450278488 140728450281417 0
/proc/18984/statm: 28282 369 311 221 0 87 0
[pid=19133] ppid=18984 vsize=8414124 memory=124488 CPUtime=1.46 cores=0-7
/proc/19133/stat : 19133 (java) S 18984 18984 18490 0 -1 1077944320 20138 0 0 0 139 7 0 0 20 0 24 0 509758224 8616062976 31122 33554432000 4194304 4196468 140736598043296 140736598025840 140393492946679 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 35573760 140736598049759 140736598049926 140736598049926 140736598052815 0
/proc/19133/statm: 2103531 31122 3211 1 0 2064875 0
[pid=19153] ppid=19133 vsize=478600 memory=446428 CPUtime=1.23 cores=0-7
/proc/19153/stat : 19153 (manyglucose-4.1) R 19133 18984 18490 0 -1 4202496 86800 0 0 0 110 13 0 0 20 0 1 0 509758303 490086400 111607 33554432000 4194304 4454172 140733233069360 140733233066792 4370421 0 4 0 8388610 0 0 0 17 2 0 0 0 0 0 6552832 6554400 21671936 140733233070925 140733233071132 140733233071132 140733233074102 0
/proc/19153/statm: 119650 111607 378 64 0 115318 0
[pid=19133/tid=19134] ppid=18984 vsize=8414124 memory=1692 CPUtime=0.81 cores=0-7
/proc/19133/task/19134/stat : 19134 (java) S 18984 18984 18490 0 -1 1077944384 16402 0 0 0 75 6 0 0 20 0 24 0 509758225 8616062976 31122 33554432000 4194304 4196468 140736598043296 140393464786848 140393492956885 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35573760 140736598049759 140736598049926 140736598049926 140736598052815 0
[pid=19133/tid=19135] ppid=18984 vsize=8414124 memory=165212 CPUtime=0 cores=0-7
/proc/19133/task/19135/stat : 19135 (java) S 18984 18984 18490 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 509758226 8616062976 31122 33554432000 4194304 4196468 140736598043296 140393497188880 140393492956885 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35573760 140736598049759 140736598049926 140736598049926 140736598052815 0
[pid=19133/tid=19136] ppid=18984 vsize=8414124 memory=988 CPUtime=0 cores=0-7
/proc/19133/task/19136/stat : 19136 (java) S 18984 18984 18490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509758226 8616062976 31122 33554432000 4194304 4196468 140736598043296 140393297357456 140393492956885 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35573760 140736598049759 140736598049926 140736598049926 140736598052815 0
[pid=19133/tid=19137] ppid=18984 vsize=8414124 memory=2012 CPUtime=0 cores=0-7
/proc/19133/task/19137/stat : 19137 (java) S 18984 18984 18490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509758226 8616062976 31122 33554432000 4194304 4196468 140736598043296 140393296304400 140393492956885 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35573760 140736598049759 140736598049926 140736598049926 140736598052815 0
[pid=19133/tid=19138] ppid=18984 vsize=8414124 memory=1424 CPUtime=0 cores=0-7
/proc/19133/task/19138/stat : 19138 (java) S 18984 18984 18490 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 509758226 8616062976 31122 33554432000 4194304 4196468 140736598043296 140393295251856 140393492956885 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35573760 140736598049759 140736598049926 140736598049926 140736598052815 0
[pid=19133/tid=19139] ppid=18984 vsize=8414124 memory=2488 CPUtime=0 cores=0-7
/proc/19133/task/19139/stat : 19139 (java) S 18984 18984 18490 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 509758226 8616062976 31122 33554432000 4194304 4196468 140736598043296 140393294199824 140393492956885 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35573760 140736598049759 140736598049926 140736598049926 140736598052815 0
[pid=19133/tid=19140] ppid=18984 vsize=8414124 memory=17822 CPUtime=0 cores=0-7
/proc/19133/task/19140/stat : 19140 (java) S 18984 18984 18490 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 509758226 8616062976 31122 33554432000 4194304 4196468 140736598043296 140393293147280 140393492956885 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35573760 140736598049759 140736598049926 140736598049926 140736598052815 0
[pid=19133/tid=19141] ppid=18984 vsize=8414124 memory=385 CPUtime=0 cores=0-7
/proc/19133/task/19141/stat : 19141 (java) S 18984 18984 18490 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 509758226 8616062976 31122 33554432000 4194304 4196468 140736598043296 140393292094224 140393492956885 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35573760 140736598049759 140736598049926 140736598049926 140736598052815 0
[pid=19133/tid=19142] ppid=18984 vsize=8414124 memory=13 CPUtime=0 cores=0-7
/proc/19133/task/19142/stat : 19142 (java) S 18984 18984 18490 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 509758226 8616062976 31122 33554432000 4194304 4196468 140736598043296 140393291041680 140393492956885 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35573760 140736598049759 140736598049926 140736598049926 140736598052815 0
[pid=19133/tid=19143] ppid=18984 vsize=8414124 memory=2116 CPUtime=0 cores=0-7
/proc/19133/task/19143/stat : 19143 (java) S 18984 18984 18490 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 509758228 8616062976 31122 33554432000 4194304 4196468 140736598043296 140392586393840 140393492957826 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35573760 140736598049759 140736598049926 140736598049926 140736598052815 0
[pid=19133/tid=19144] ppid=18984 vsize=8414124 memory=34452 CPUtime=0 cores=0-7
/proc/19133/task/19144/stat : 19144 (java) S 18984 18984 18490 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 509758228 8616062976 31122 33554432000 4194304 4196468 140736598043296 140392146134176 140393492956885 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35573760 140736598049759 140736598049926 140736598049926 140736598052815 0
[pid=19133/tid=19145] ppid=18984 vsize=8414124 memory=12028 CPUtime=0 cores=0-7
/proc/19133/task/19145/stat : 19145 (java) S 18984 18984 18490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509758229 8616062976 31122 33554432000 4194304 4196468 140736598043296 140391877698288 140393492956885 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35573760 140736598049759 140736598049926 140736598049926 140736598052815 0
[pid=19133/tid=19146] ppid=18984 vsize=8414124 memory=532 CPUtime=0 cores=0-7
/proc/19133/task/19146/stat : 19146 (java) S 18984 18984 18490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509758231 8616062976 31122 33554432000 4194304 4196468 140736598043296 140391503189968 140393492965275 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35573760 140736598049759 140736598049926 140736598049926 140736598052815 0
[pid=19133/tid=19147] ppid=18984 vsize=8414124 memory=0 CPUtime=0.1 cores=0-7
/proc/19133/task/19147/stat : 19147 (java) S 18984 18984 18490 0 -1 1077944384 771 0 0 0 10 0 0 0 20 0 24 0 509758231 8616062976 31122 33554432000 4194304 4196468 140736598043296 140392585341680 140393492957826 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35573760 140736598049759 140736598049926 140736598049926 140736598052815 0
[pid=19133/tid=19148] ppid=18984 vsize=8414124 memory=6944656592455360604 CPUtime=0.11 cores=0-7
/proc/19133/task/19148/stat : 19148 (java) S 18984 18984 18490 0 -1 1077944384 271 0 0 0 11 0 0 0 20 0 24 0 509758231 8616062976 31122 33554432000 4194304 4196468 140736598043296 140392584289136 140393492957826 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35573760 140736598049759 140736598049926 140736598049926 140736598052815 0
[pid=19133/tid=19149] ppid=18984 vsize=8414124 memory=6944656575208382560 CPUtime=0.17 cores=0-7
/proc/19133/task/19149/stat : 19149 (java) S 18984 18984 18490 0 -1 1077944384 713 0 0 0 17 0 0 0 20 0 24 0 509758231 8616062976 31122 33554432000 4194304 4196468 140736598043296 140392583236080 140393492957826 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35573760 140736598049759 140736598049926 140736598049926 140736598052815 0
[pid=19133/tid=19150] ppid=18984 vsize=8414124 memory=280104613708016 CPUtime=0.22 cores=0-7
/proc/19133/task/19150/stat : 19150 (java) S 18984 18984 18490 0 -1 1077944384 585 0 0 0 22 0 0 0 20 0 24 0 509758231 8616062976 31122 33554432000 4194304 4196468 140736598043296 140392582183536 140393492957826 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35573760 140736598049759 140736598049926 140736598049926 140736598052815 0
[pid=19133/tid=19151] ppid=18984 vsize=8414124 memory=280104613708016 CPUtime=0 cores=0-7
/proc/19133/task/19151/stat : 19151 (java) S 18984 18984 18490 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 509758232 8616062976 31122 33554432000 4194304 4196468 140736598043296 140391005284832 140393492956885 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35573760 140736598049759 140736598049926 140736598049926 140736598052815 0
[pid=19133/tid=19152] ppid=18984 vsize=8414124 memory=303430223234596890 CPUtime=0 cores=0-7
/proc/19133/task/19152/stat : 19152 (java) S 18984 18984 18490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509758232 8616062976 31122 33554432000 4194304 4196468 140736598043296 140392581130928 140393492957826 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35573760 140736598049759 140736598049926 140736598049926 140736598052815 0
[pid=19133/tid=19154] ppid=18984 vsize=8414124 memory=288230596050944315 CPUtime=0 cores=0-7
/proc/19133/task/19154/stat : 19154 (java) S 18984 18984 18490 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 509758304 8616062976 31122 33554432000 4194304 4196468 140736598043296 140392573096896 140393492971289 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 35573760 140736598049759 140736598049926 140736598049926 140736598052815 0
[pid=19133/tid=19156] ppid=18984 vsize=8414124 memory=15816698942984824 CPUtime=0 cores=0-7
/proc/19133/task/19156/stat : 19156 (java) S 18984 18984 18490 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 24 0 509758304 8616062976 31122 33554432000 4194304 4196468 140736598043296 140390334185520 140393492968605 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 35573760 140736598049759 140736598049926 140736598049926 140736598052815 0
[pid=19133/tid=19157] ppid=18984 vsize=8414124 memory=2250 CPUtime=0 cores=0-7
/proc/19133/task/19157/stat : 19157 (java) S 18984 18984 18490 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 24 0 509758304 8616062976 31122 33554432000 4194304 4196468 140736598043296 140390602621104 140393492968605 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 35573760 140736598049759 140736598049926 140736598049926 140736598052815 0
[pid=19133/tid=19158] ppid=18984 vsize=8414124 memory=2248 CPUtime=0 cores=0-7
/proc/19133/task/19158/stat : 19158 (java) S 18984 18984 18490 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 509758306 8616062976 31122 33554432000 4194304 4196468 140736598043296 140390065757616 140393492956885 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35573760 140736598049759 140736598049926 140736598049926 140736598052815 0
Current children cumulated CPU time: 1516.63 s
Current children cumulated vsize: 9005852 KiB
Current children cumulated memory: 572392 KiB

Child status: 0
Real time (s): 1334.67
CPU time (s): 1516.87
CPU user time (s): 1485.1
CPU system time (s): 31.7621
CPU usage (%): 113.651
Max. virtual memory (cumulated for all children) (KiB): 27443924
Max. memory (cumulated for all children) (KiB): 17250132

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1485.1
system time used= 31.7621
maximum resident set size= 17251468
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1011124
page faults= 0
swaps= 0
block input operations= 0
block output operations= 19888
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 48147
involuntary context switches= 3109


# summary of solver processes directly reported to runsolver:
#   pid: 18984
#   total CPU time (s): 1516.87
#   total CPU user time (s): 1485.1
#   total CPU system time (s): 31.7621

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 11.9228 second user time and 9.98352 second system time

The end

Launcher Data 

Begin job on node146 at 2019-09-24 16:57:49
IDJOB=4405332
IDBENCH=126919
IDSOLVER=2867
FILE ID=node146/4405332-1569337109
RUNJOBID= node146-1569335937-18517
PBS_JOBID= 21705051
Free space on /var/tmp= 13428 MiB

SOLVER NAME= Fun-sCOP order+ManyGlucose (2019-09-22)
BENCH NAME= XCSP17/RoomMate/RoomMate-int-s1/RoomMate-sr1000-int.xml
COMMAND LINE= DIR/scop.sh 22g DIR/scop.jar -order DIR/manyglucose-4.1-27_release -model:-nthreads=NBCORE:-maxmemory=20000:-lit-scans=6000000 TMPDIR BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4405332-1569337109/watcher-4405332-1569337109 -o /var/tmp/evaluation-result-4405332-1569337109/solver-4405332-1569337109 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node146-1569335937-18517 --watchdog 2580  HOME/scop.sh 22g HOME/scop.jar -order HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4405332-1569337109.xml

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

MD5SUM BENCH= 281fe5e81d871c4f2ceaf1755ecf4117
RANDOM SEED=693132921

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        22076260 kB
MemAvailable:   31842628 kB
Buffers:          138852 kB
Cached:          9666128 kB
SwapCached:         3568 kB
Active:          4902200 kB
Inactive:        4905972 kB
Active(anon):       3304 kB
Inactive(anon):    56464 kB
Active(file):    4898896 kB
Inactive(file):  4849508 kB
Unevictable:      110892 kB
Mlocked:          110892 kB
SwapTotal:      67108860 kB
SwapFree:       67002364 kB
Dirty:            103680 kB
Writeback:             0 kB
AnonPages:        118636 kB
Mapped:            56704 kB
Shmem:             47620 kB
Slab:             474888 kB
SReclaimable:     446424 kB
SUnreclaim:        28464 kB
KernelStack:        3360 kB
PageTables:         5380 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     515672 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     73728 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      109952 kB
DirectMap2M:    33435648 kB

Free space on /var/tmp at the end= 13408 MiB
End job on node146 at 2019-09-24 17:20:04