Trace number 4392404

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Fun-sCOP order+ManyGlucose (2019-06-15)UNSAT 5806.39 1730.6

General information on the benchmark

NameRandom/Random-m1-5-12-12t/
rand-5-12-12-200-t85-8.xml
MD5SUM99ba47a6bc0c62f84cd44bdd38bc871f
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 benchmark12.7157
Satisfiable
(Un)Satisfiability was proved
Number of variables12
Number of constraints200
Number of domains1
Minimum domain size12
Maximum domain size12
Distribution of domain sizes[{"size":12,"count":12}]
Minimum variable degree74
Maximum variable degree95
Distribution of variable degrees[{"degree":74,"count":1},{"degree":75,"count":1},{"degree":78,"count":1},{"degree":79,"count":1},{"degree":81,"count":1},{"degree":82,"count":1},{"degree":85,"count":2},{"degree":86,"count":1},{"degree":90,"count":2},{"degree":95,"count":1}]
Minimum constraint arity5
Maximum constraint arity5
Distribution of constraint arities[{"arity":5,"count":200}]
Number of extensional constraints200
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":200}]
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-16252-serial-file.bin HOME/instance-4392404-1568416916.xml
0.65/0.54	
0.65/0.54	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
0.65/0.54	
0.65/0.57	c BEGIN-Prog: Sat Sep 14 01:21:19 CEST 2019
0.65/0.57	c PID: 16255
0.65/0.57	c IP: 172.20.3.151
0.65/0.57	c HOST: node151.alineos.net
0.65/0.58	c (0,0) Parsing Begin
19.37/12.22	c (11,10) Parsing End
19.37/12.23	c (11,10) CSP: 12 int (0 aux), 0 bool (0 aux), 200 ctr, max domain size 12
19.37/12.23	c (11,10) Heap : 1456 MiB used (max 21589 MiB), NonHeap : 20 MiB used (max 0 MiB)
19.37/12.23	c (11,10) Constraint Name Generate Begin
19.37/12.24	c (11,10) Ctr:HOME/instance-4392404-1568416916.xml,ExtensionSupport:Var
19.37/12.24	c (11,10) Constraint Name Generate End
19.37/12.24	c (11,10) Heap : 1493 MiB used (max 21589 MiB), NonHeap : 20 MiB used (max 0 MiB)
19.37/12.24	c (11,10) CSP to CSPinCNF Begin
115.62/82.98	c (82,79) translated 20 (10%) constraints
208.52/154.75	c (154,148) translated 40 (20%) constraints
290.73/224.73	c (224,216) translated 60 (30%) constraints
373.18/294.42	c (293,284) translated 80 (40%) constraints
453.89/363.89	c (363,351) translated 100 (50%) constraints
538.18/433.82	c (433,419) translated 120 (60%) constraints
619.89/503.55	c (503,487) translated 140 (70%) constraints
701.93/573.34	c (572,555) translated 160 (80%) constraints
781.17/642.75	c (642,623) translated 180 (90%) constraints
864.36/712.77	c (712,691) translated 200 (100%) constraints
867.77/716.20	c (715,695) ===========================================
867.86/716.24	c (715,695) Order
867.86/716.24	c (715,695) ===========================================
895.65/739.59	c (739,717) translated 1022787 (10%) constraints
924.74/762.89	c (762,740) translated 2045574 (20%) constraints
954.29/786.28	c (785,762) translated 3068361 (30%) constraints
983.05/809.61	c (809,785) translated 4091147 (40%) constraints
1012.02/832.97	c (832,807) translated 5113934 (50%) constraints
1040.92/856.25	c (855,830) translated 6136721 (60%) constraints
1069.91/879.73	c (879,853) translated 7159507 (70%) constraints
1099.21/903.29	c (902,875) translated 8182294 (80%) constraints
1128.54/926.87	c (926,898) translated 9205081 (90%) constraints
1158.40/950.52	c (949,921) translated 10227867 (100%) constraints
1158.40/950.52	c (949,921) CSP to CSPinCNF End
1158.65/950.74	c (950,921) CSP: 12 int (0 aux), 610781 bool (610781 aux), 10227867 ctr, max domain size 12
1158.65/950.74	c (950,921) Heap : 20300 MiB used (max 21828 MiB), NonHeap : 26 MiB used (max 0 MiB)
1158.65/950.74	c (950,921) CSPinCNF Propagation Begin
1568.68/1051.78	c (1051,977) 0 values, 200 unsatisfiable literals, and 0 valid clauses are removed
1568.68/1051.78	c (1051,977) CSPinCNF Propagation End
1569.00/1052.02	c (1051,977) CSP: 12 int (0 aux), 610781 bool (610781 aux), 10227867 ctr, max domain size 12
1569.00/1052.02	c (1051,977) Heap : 15637 MiB used (max 21617 MiB), NonHeap : 27 MiB used (max 0 MiB)
1569.00/1052.07	c (1051,977) Simplify CSPinCNF Begin
2014.03/1128.13	c (1127,998) Simplify CSPinCNF End
2014.22/1128.37	c (1127,998) CSP: 12 int (0 aux), 610781 bool (610781 aux), 10227867 ctr, max domain size 12
2014.22/1128.37	c (1127,998) Heap : 16395 MiB used (max 21242 MiB), NonHeap : 27 MiB used (max 0 MiB)
2014.22/1128.37	c (1127,998) Calculate Precise Domain Begin
2014.22/1128.37	c (1127,998) 0 values are removed by re-calculation
2014.22/1128.37	c (1127,998) Calculate Precise Domain End
2014.52/1128.60	c (1128,998) CSP: 12 int (0 aux), 610781 bool (610781 aux), 10227867 ctr, max domain size 12
2014.52/1128.60	c (1128,998) Heap : 16395 MiB used (max 21242 MiB), NonHeap : 27 MiB used (max 0 MiB)
2014.52/1128.60	c (1128,998) CSPinCNF to SatSolver Begin
2032.03/1141.26	c (1140,1011) 1022787 (10 %) CSP clauses are encoded (0 SAT variables, 1022906 SAT clauses)
2049.71/1152.95	c (1152,1021) 2045574 (20 %) CSP clauses are encoded (0 SAT variables, 2045693 SAT clauses)
2072.69/1165.34	c (1164,1032) 3068361 (30 %) CSP clauses are encoded (0 SAT variables, 3068480 SAT clauses)
2099.01/1178.13	c (1177,1043) 4091147 (40 %) CSP clauses are encoded (0 SAT variables, 4091266 SAT clauses)
2136.72/1192.32	c (1191,1054) 5113934 (50 %) CSP clauses are encoded (0 SAT variables, 5114053 SAT clauses)
2176.42/1206.78	c (1206,1065) 6136721 (60 %) CSP clauses are encoded (0 SAT variables, 6136840 SAT clauses)
2225.91/1222.46	c (1221,1076) 7159507 (70 %) CSP clauses are encoded (0 SAT variables, 7159626 SAT clauses)
2256.66/1235.78	c (1235,1086) 8182294 (80 %) CSP clauses are encoded (0 SAT variables, 8182413 SAT clauses)
2286.08/1249.00	c (1248,1097) 9205081 (90 %) CSP clauses are encoded (0 SAT variables, 9205200 SAT clauses)
2393.16/1271.98	c (1271,1108) 10227867 (100 %) CSP clauses are encoded (0 SAT variables, 10227986 SAT clauses)
2393.16/1271.98	c (1271,1108) CSPinCNF to SatSolver End
2393.16/1271.98	c (1271,1108) Heap : 12462 MiB used (max 20735 MiB), NonHeap : 29 MiB used (max 0 MiB)
2393.16/1271.98	c (1271,1108) 610913 bool, 10227987 clause
2393.16/1271.98	c (1271,1108) Export Begin
2393.26/1272.07	c (1271,1108) Export to HOME/scop-16252-serial-file.bin
2393.26/1272.07	c (1271,1108) Export End
2393.26/1272.07	c (1271,1108) Export File Size: 0.00 MB
2393.26/1272.07	c (1271,1108) 11,11,950,1051,1127,1128,1271,STOP-AFTER(DIMACS)
2393.26/1272.07	c END-Prog: Sat Sep 14 01:42:30 CEST 2019
0.00/1272.21	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-16252-serial-file.bin
2393.56/1272.69	c (0,0) Read Serial File Begin
2393.56/1272.69	c (0,0) HOME/scop-16252-serial-file.bin
2393.56/1272.89	c (0,0) Read Serial File End
2393.56/1272.91	
2393.56/1272.91	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
2393.56/1272.91	(Solving Process)
2393.56/1272.91	
2393.56/1272.93	c BEGIN-Prog: Sat Sep 14 01:42:31 CEST 2019
2393.56/1272.93	c PID: 16369
2393.56/1272.93	c IP: 172.20.3.151
2393.56/1272.93	c HOST: node151.alineos.net
2393.56/1272.93	c (0,0) SatSolver.solve Begin
2393.56/1272.93	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4392404-1568416916.xml-scop-16255.cnf
2393.56/1272.96	c (0,0) c
2393.56/1272.96	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)
2393.56/1272.96	c (0,0) c
2393.56/1272.96	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
2393.56/1272.96	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
2393.56/1272.96	c (0,0) c ========================================[ Problem Statistics ]===========================================
2393.56/1272.96	c (0,0) c |                                                                                                       |
2398.45/1276.80	c (4,0) c |  Number of variables:        610913                                                                   |
2398.45/1276.80	c (4,0) c |  Number of clauses:        10227987                                                                   |
2398.45/1276.80	c (4,0) c |  Parse time:                   3.52 s                                                                 |
2398.45/1276.80	c (4,0) c |                                                                                                       |
2399.56/1277.84	c (5,0) c | Too many clauses... No preprocessing                                                                  |
2399.56/1277.84	c (5,0) c |  Simplification time:          0.95 s                                                                 |
2399.56/1277.84	c (5,0) c |                                                                                                       |
2399.56/1277.85	c (5,0) c |  Generating clones                                                                                    |
2401.86/1280.18	c (7,0) c |  all clones generated. Memory =  5460.22Mb.                                                           |
2401.86/1280.18	c (7,0) c ========================================================================================================|
2401.86/1280.18	c (7,0) c
2401.86/1280.18	c (7,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
2401.86/1280.18	c (7,0) c
2401.86/1280.18	c (7,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
2401.86/1280.18	c (7,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
2401.86/1280.18	c (7,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
2401.86/1280.18	c (7,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
2401.86/1280.18	c (7,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
2401.86/1280.19	c (7,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
2401.86/1280.19	c (7,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
2401.86/1280.19	c (7,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
2401.86/1280.19	c (7,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
2401.86/1280.19	c (7,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
2401.86/1280.19	c (7,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
2401.86/1280.19	c (7,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
2401.86/1280.19	c (7,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
2401.86/1280.19	c (7,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
2401.86/1280.19	c (7,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
2401.86/1280.19	c (7,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
2401.86/1280.19	c (7,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
2401.86/1280.19	c (7,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
2401.86/1280.19	c (7,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
2615.92/1309.31	c (36,0) c
2615.92/1309.31	c (36,0) c |------------------------------------------------------------------------------------------------------------------------|
2615.92/1309.31	c (36,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
2615.92/1309.31	c (36,0) c |------------------------------------------------------------------------------------------------------------------------|
2615.92/1309.31	c (36,0) c |  0 |      2 |       3581 |       2374 |    51242 |     1384 |       17 |       14 |        0 |       91 |  20 |  0.000 |
2615.92/1309.31	c (36,0) c |  1 |      1 |        796 |        444 |    34093 |      444 |       13 |        0 |        0 |      111 |  20 |  0.000 |
2615.92/1309.31	c (36,0) c |  2 |      2 |        426 |        219 |    24781 |      219 |       19 |       60 |        0 |       94 |  20 |  0.000 |
2615.92/1309.31	c (36,0) c |  3 |      3 |        727 |        422 |    26043 |      422 |        7 |       84 |        0 |      111 |  20 |  0.000 |
2615.92/1309.31	c (36,0) c |  4 |      1 |        399 |        260 |    10888 |      260 |        8 |        0 |        0 |       98 |  20 |  0.000 |
2615.92/1309.31	c (36,0) c |  5 |      2 |        508 |        304 |    15143 |      304 |       23 |       27 |        1 |      109 |  20 |  0.000 |
2615.92/1309.31	c (36,0) c |  6 |      2 |        555 |        367 |    16679 |      367 |        8 |       49 |        0 |      111 |  20 |  0.000 |
2615.92/1309.31	c (36,0) c |  7 |      2 |        778 |        462 |    22802 |      462 |        9 |       84 |        1 |      111 |  20 |  0.000 |
2615.92/1309.31	c (36,0) c 
2615.92/1309.31	c (36,0) c synthesis        4852 conflicts   258968166 propagations       26 conflicts/sec  1367771 propagations/sec
2615.92/1309.31	c (36,0) c real: 36.3462 s, cpu: 189.336 s, memory: 6994.50 Mb
2845.13/1339.30	c (66,0) c
2845.13/1339.30	c (66,0) c |------------------------------------------------------------------------------------------------------------------------|
2845.13/1339.30	c (66,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
2845.13/1339.30	c (66,0) c |------------------------------------------------------------------------------------------------------------------------|
2845.13/1339.30	c (66,0) c |  0 |      4 |       6200 |       4338 |    65008 |     3348 |       44 |      180 |        0 |      213 |  20 |  0.000 |
2845.13/1339.30	c (66,0) c |  1 |      1 |       1330 |        832 |    46559 |      832 |       20 |        0 |        0 |      232 |  20 |  0.000 |
2845.13/1339.30	c (66,0) c |  2 |      2 |       1548 |        966 |    39899 |      966 |       34 |       60 |        0 |      216 |  20 |  0.000 |
2845.13/1339.30	c (66,0) c |  3 |      3 |       2697 |       1766 |    50624 |     1766 |       49 |       84 |        0 |      233 |  20 |  0.000 |
2845.13/1339.30	c (66,0) c |  4 |      2 |       1459 |        995 |    31012 |      995 |       24 |      107 |        7 |      231 |  20 |  0.000 |
2845.13/1339.30	c (66,0) c |  5 |      2 |       1592 |        935 |    26149 |      935 |       36 |       27 |        1 |      222 |  20 |  0.000 |
2845.13/1339.30	c (66,0) c |  6 |      2 |       2337 |       1639 |    33341 |     1639 |       26 |       49 |        0 |      227 |  20 |  0.000 |
2845.13/1339.30	c (66,0) c |  7 |      2 |       1531 |        915 |    44727 |      915 |       26 |       84 |        3 |      233 |  20 |  0.000 |
2845.13/1339.30	c (66,0) c 
2845.13/1339.30	c (66,0) c synthesis       12386 conflicts   598658042 propagations       30 conflicts/sec  1438019 propagations/sec
2845.13/1339.30	c (66,0) c real: 66.3452 s, cpu: 416.307 s, memory: 7111.11 Mb
3084.34/1369.30	c (96,0) c
3084.34/1369.30	c (96,0) c |------------------------------------------------------------------------------------------------------------------------|
3084.34/1369.30	c (96,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
3084.34/1369.30	c (96,0) c |------------------------------------------------------------------------------------------------------------------------|
3084.34/1369.30	c (96,0) c |  0 |      6 |       7981 |       5653 |    79543 |     4663 |      174 |      229 |        0 |      335 |  20 |  0.000 |
3084.34/1369.30	c (96,0) c |  1 |      1 |       1798 |       1192 |    53948 |     1192 |       22 |        0 |        0 |      351 |  20 |  0.000 |
3084.34/1369.30	c (96,0) c |  2 |      2 |       2531 |       1646 |    57987 |     1646 |       46 |       60 |        2 |      345 |  20 |  0.000 |
3084.34/1369.30	c (96,0) c |  3 |      5 |       3794 |       2587 |    61580 |     1593 |       67 |      221 |        0 |      338 |  20 |  0.000 |
3084.34/1369.30	c (96,0) c |  4 |      2 |       2626 |       1770 |    55657 |     1770 |       35 |      107 |        9 |      343 |  20 |  0.000 |
3084.34/1369.30	c (96,0) c |  5 |      2 |       2256 |       1481 |    32342 |     1481 |       51 |       27 |        1 |      334 |  20 |  0.000 |
3084.34/1369.30	c (96,0) c |  6 |      2 |       3943 |       2937 |    44191 |     1936 |       37 |       49 |        0 |      354 |  20 |  0.000 |
3084.34/1369.30	c (96,0) c |  7 |      2 |       2244 |       1401 |    62972 |     1401 |       34 |       84 |        3 |      354 |  20 |  0.000 |
3084.34/1369.30	c (96,0) c 
3084.34/1369.30	c (96,0) c synthesis       18667 conflicts   916512839 propagations       29 conflicts/sec  1402511 propagations/sec
3084.34/1369.30	c (96,0) c real: 96.3452 s, cpu: 653.48 s, memory: 7129.44 Mb
3305.68/1399.30	c (126,0) c
3305.68/1399.30	c (126,0) c |------------------------------------------------------------------------------------------------------------------------|
3305.68/1399.30	c (126,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
3305.68/1399.30	c (126,0) c |------------------------------------------------------------------------------------------------------------------------|
3305.68/1399.30	c (126,0) c |  0 |      6 |       8557 |       6163 |    87407 |     5173 |      231 |      229 |        0 |      437 |  20 |  0.000 |
3305.68/1399.30	c (126,0) c |  1 |      2 |       3359 |       2223 |    66333 |     1227 |       39 |      464 |        4 |      445 |  20 |  0.000 |
3305.68/1399.30	c (126,0) c |  2 |      2 |       3260 |       2160 |    69925 |     1167 |       60 |       60 |        5 |      457 |  20 |  0.000 |
3305.68/1399.30	c (126,0) c |  3 |      5 |       6348 |       4565 |    80315 |     3571 |      105 |      221 |        1 |      448 |  20 |  0.000 |
3305.68/1399.30	c (126,0) c |  4 |      2 |       3440 |       2344 |    72286 |     1348 |       45 |      107 |       10 |      446 |  20 |  0.000 |
3305.68/1399.30	c (126,0) c |  5 |      2 |       2807 |       1952 |    41385 |     1951 |       57 |       27 |        1 |      445 |  20 |  0.000 |
3305.68/1399.30	c (126,0) c |  6 |      2 |       5562 |       4171 |    52132 |     3170 |       71 |       49 |        0 |      457 |  20 |  0.000 |
3305.68/1399.30	c (126,0) c |  7 |      2 |       3153 |       2017 |    73616 |     1018 |       47 |       84 |        3 |      457 |  20 |  0.000 |
3305.68/1399.30	c (126,0) c 
3305.68/1399.30	c (126,0) c synthesis       25595 conflicts  1204861805 propagations       29 conflicts/sec  1383331 propagations/sec
3305.68/1399.30	c (126,0) c real: 126.345 s, cpu: 870.986 s, memory: 7140.82 Mb
3528.06/1428.31	c (155,0) c
3528.06/1428.31	c (155,0) c |------------------------------------------------------------------------------------------------------------------------|
3528.06/1428.31	c (155,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
3528.06/1428.31	c (155,0) c |------------------------------------------------------------------------------------------------------------------------|
3528.06/1428.31	c (155,0) c |  0 |      6 |       9405 |       6868 |    96486 |     3075 |      327 |      229 |        0 |      545 |  20 |  0.000 |
3528.06/1428.31	c (155,0) c |  1 |      2 |       5364 |       3652 |    81288 |     2656 |       49 |      464 |        4 |      556 |  20 |  0.000 |
3528.06/1428.31	c (155,0) c |  2 |      2 |       3957 |       2671 |    76455 |     1678 |       74 |       60 |        5 |      565 |  20 |  0.000 |
3528.06/1428.31	c (155,0) c |  3 |      8 |      10057 |       7049 |   102351 |     3254 |      500 |      645 |        4 |      565 |  20 |  0.000 |
3528.06/1428.31	c (155,0) c |  4 |      2 |       4144 |       2857 |    83362 |     1861 |       53 |      107 |       10 |      565 |  20 |  0.000 |
3528.06/1428.31	c (155,0) c |  5 |      3 |       3648 |       2587 |    50462 |     1591 |       67 |      976 |        3 |      565 |  20 |  0.000 |
3528.06/1428.31	c (155,0) c |  6 |      2 |       6648 |       5049 |    58033 |     4048 |      113 |       49 |        0 |      565 |  20 |  0.000 |
3528.06/1428.31	c (155,0) c |  7 |      5 |       3881 |       2487 |    81066 |     1488 |       53 |     1081 |        4 |      565 |  20 |  0.000 |
3528.06/1428.31	c (155,0) c 
3528.06/1428.31	c (155,0) c synthesis       33220 conflicts  1491378599 propagations       30 conflicts/sec  1367709 propagations/sec
3528.06/1428.31	c (155,0) c real: 155.353 s, cpu: 1090.42 s, memory: 7158.02 Mb
3729.34/1458.31	c (185,0) c
3729.34/1458.31	c (185,0) c |------------------------------------------------------------------------------------------------------------------------|
3729.34/1458.31	c (185,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
3729.34/1458.31	c (185,0) c |------------------------------------------------------------------------------------------------------------------------|
3729.34/1458.31	c (185,0) c |  0 |      6 |      10211 |       7553 |   103235 |     3759 |      417 |      229 |        0 |      651 |  20 |  0.000 |
3729.34/1458.31	c (185,0) c |  1 |      2 |       8625 |       6066 |   105240 |     5070 |      297 |      464 |        4 |      668 |  20 |  0.000 |
3729.34/1458.31	c (185,0) c |  2 |      4 |       4882 |       3270 |    91822 |     2277 |       92 |     1306 |        9 |      671 |  20 |  0.000 |
3729.34/1458.31	c (185,0) c |  3 |      8 |      11613 |       8261 |   110643 |     4466 |      712 |      645 |        4 |      671 |  20 |  0.000 |
3729.34/1458.31	c (185,0) c |  4 |      2 |       4927 |       3408 |    93942 |     2412 |       62 |      107 |       13 |      669 |  20 |  0.000 |
3729.34/1458.31	c (185,0) c |  5 |      4 |       4226 |       3069 |    58482 |     2073 |       77 |     1150 |        4 |      671 |  20 |  0.000 |
3729.34/1458.31	c (185,0) c |  6 |      4 |       8720 |       6594 |    72495 |     5593 |      497 |     1193 |        1 |      671 |  20 |  0.000 |
3729.34/1458.31	c (185,0) c |  7 |      5 |       4877 |       3112 |    92077 |     2113 |       64 |     1081 |        5 |      671 |  20 |  0.000 |
3729.34/1458.31	c (185,0) c 
3729.34/1458.31	c (185,0) c synthesis       41333 conflicts  1760272170 propagations       32 conflicts/sec  1365672 propagations/sec
3729.34/1458.31	c (185,0) c real: 185.353 s, cpu: 1288.94 s, memory: 7169.00 Mb
3954.13/1488.30	c (215,0) c
3954.13/1488.30	c (215,0) c |------------------------------------------------------------------------------------------------------------------------|
3954.13/1488.30	c (215,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
3954.13/1488.30	c (215,0) c |------------------------------------------------------------------------------------------------------------------------|
3954.13/1488.30	c (215,0) c |  0 |      6 |      11914 |       8929 |   112226 |     5136 |      551 |      229 |        0 |      769 |  20 |  0.000 |
3954.13/1488.30	c (215,0) c |  1 |      3 |      11085 |       7820 |   120645 |     4029 |      678 |     2237 |        4 |      783 |  20 |  0.000 |
3954.13/1488.30	c (215,0) c |  2 |      6 |       6728 |       4303 |   112157 |     3309 |      111 |     3039 |       11 |      788 |  20 |  0.000 |
3954.13/1488.30	c (215,0) c |  3 |      9 |      13358 |       9575 |   118819 |     5780 |      872 |     2157 |        9 |      768 |  20 |  0.000 |
3954.13/1488.30	c (215,0) c |  4 |      2 |       5729 |       4002 |   101700 |     3006 |       78 |      107 |       14 |      773 |  20 |  0.000 |
3954.13/1488.30	c (215,0) c |  5 |      4 |       5272 |       3785 |    71628 |     2789 |      105 |     1150 |        6 |      784 |  20 |  0.000 |
3954.13/1488.30	c (215,0) c |  6 |      4 |      11369 |       8652 |    87054 |     4855 |      916 |     1193 |        1 |      788 |  20 |  0.000 |
3954.13/1488.30	c (215,0) c |  7 |      7 |       6135 |       4055 |   102814 |     3056 |       79 |     2658 |        6 |      788 |  20 |  0.000 |
3954.13/1488.30	c (215,0) c 
3954.13/1488.30	c (215,0) c synthesis       51121 conflicts  2014189567 propagations       34 conflicts/sec  1332790 propagations/sec
3954.13/1488.30	c (215,0) c real: 215.345 s, cpu: 1511.26 s, memory: 7186.21 Mb
4174.78/1517.31	c (244,0) c
4174.78/1517.31	c (244,0) c |------------------------------------------------------------------------------------------------------------------------|
4174.78/1517.31	c (244,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
4174.78/1517.31	c (244,0) c |------------------------------------------------------------------------------------------------------------------------|
4174.78/1517.31	c (244,0) c |  0 |      8 |      14212 |      10772 |   125404 |     6903 |      756 |     3342 |        2 |      882 |  20 |  0.006 |
4174.78/1517.31	c (244,0) c |  1 |      3 |      12928 |       9319 |   128775 |     5527 |      795 |     2918 |        5 |      893 |  20 |  0.006 |
4174.78/1517.31	c (244,0) c |  2 |      7 |       7657 |       4826 |   122736 |     3819 |      136 |     4022 |       13 |      896 |  20 |  0.006 |
4174.78/1517.31	c (244,0) c |  3 |      9 |      15968 |      11700 |   135119 |     7905 |     1129 |     2157 |       13 |      876 |  20 |  0.000 |
4174.78/1517.31	c (244,0) c |  4 |      2 |       6752 |       4721 |   116323 |     3725 |       94 |      107 |       16 |      886 |  20 |  0.000 |
4174.78/1517.31	c (244,0) c |  5 |      4 |       5939 |       4286 |    81084 |     3290 |      116 |     1150 |       10 |      881 |  20 |  0.000 |
4174.78/1517.31	c (244,0) c |  6 |      4 |      12337 |       9409 |    92343 |     4765 |     1079 |     2498 |        2 |      895 |  20 |  0.006 |
4174.78/1517.31	c (244,0) c |  7 |      7 |       6936 |       4736 |   108480 |     3737 |      105 |     2658 |        6 |      895 |  20 |  0.000 |
4174.78/1517.31	c (244,0) c 
4174.78/1517.31	c (244,0) c synthesis       59769 conflicts  2249851974 propagations       35 conflicts/sec  1302924 propagations/sec
4174.78/1517.31	c (244,0) c real: 244.349 s, cpu: 1726.77 s, memory: 7196.57 Mb
4413.51/1547.30	c (274,0) c
4413.51/1547.30	c (274,0) c |------------------------------------------------------------------------------------------------------------------------|
4413.51/1547.30	c (274,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
4413.51/1547.30	c (274,0) c |------------------------------------------------------------------------------------------------------------------------|
4413.51/1547.30	c (274,0) c |  0 |      9 |      18698 |      14408 |   142475 |     5578 |     1222 |     3630 |       52 |     1001 |  20 |  0.006 |
4413.51/1547.30	c (274,0) c |  1 |      3 |      16177 |      11822 |   147391 |     8030 |     1185 |     2918 |       15 |     1001 |  20 |  0.006 |
4413.51/1547.30	c (274,0) c |  2 |      7 |       8564 |       5390 |   133694 |     4383 |      256 |     4022 |       16 |     1016 |  20 |  0.006 |
4413.51/1547.30	c (274,0) c |  3 |     10 |      18796 |      14000 |   148935 |     5202 |     1487 |     3612 |       26 |     1007 |  20 |  0.006 |
4413.51/1547.30	c (274,0) c |  4 |      2 |       7790 |       5504 |   128479 |     4508 |      198 |      107 |       16 |     1008 |  20 |  0.000 |
4413.51/1547.30	c (274,0) c |  5 |      4 |       7532 |       5481 |    96970 |     4485 |      251 |     1150 |       10 |     1007 |  20 |  0.000 |
4413.51/1547.30	c (274,0) c |  6 |      4 |      13925 |      10642 |    99356 |     5998 |     1254 |     2498 |        2 |     1013 |  20 |  0.006 |
4413.51/1547.30	c (274,0) c |  7 |      8 |       8107 |       5643 |   116431 |     4642 |      199 |     5262 |        6 |     1021 |  20 |  0.006 |
4413.51/1547.30	c (274,0) c 
4413.51/1547.30	c (274,0) c synthesis       72890 conflicts  2515654821 propagations       37 conflicts/sec  1281155 propagations/sec
4413.51/1547.30	c (274,0) c real: 274.345 s, cpu: 1963.58 s, memory: 7202.14 Mb
4638.16/1577.31	c (304,0) c
4638.16/1577.31	c (304,0) c |------------------------------------------------------------------------------------------------------------------------|
4638.16/1577.31	c (304,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
4638.16/1577.31	c (304,0) c |------------------------------------------------------------------------------------------------------------------------|
4638.16/1577.31	c (304,0) c |  0 |      9 |      22288 |      17326 |   154101 |     8496 |     1594 |     3630 |       64 |     1126 |  20 |  0.006 |
4638.16/1577.31	c (304,0) c |  1 |      3 |      19241 |      14369 |   159807 |     5574 |     1513 |     2918 |       21 |     1108 |  20 |  0.006 |
4638.16/1577.31	c (304,0) c |  2 |      8 |       9918 |       6306 |   149358 |     5299 |      493 |     6188 |       22 |     1128 |  20 |  0.006 |
4638.16/1577.31	c (304,0) c |  3 |     13 |      22955 |      17302 |   168235 |     8504 |     1903 |     5449 |      108 |     1127 |  20 |  0.006 |
4638.16/1577.31	c (304,0) c |  4 |      2 |       8989 |       6389 |   140087 |     5393 |      337 |      107 |       16 |     1128 |  20 |  0.000 |
4638.16/1577.31	c (304,0) c |  5 |      4 |       9019 |       6722 |   110569 |     2931 |      490 |     1150 |       10 |     1128 |  20 |  0.000 |
4638.16/1577.31	c (304,0) c |  6 |      4 |      16643 |      12708 |   110382 |     8063 |     1540 |     4664 |       21 |     1128 |  20 |  0.006 |
4638.16/1577.31	c (304,0) c |  7 |      8 |       8747 |       6172 |   126282 |     5172 |      247 |     5262 |       13 |     1128 |  20 |  0.006 |
4638.16/1577.31	c (304,0) c 
4638.16/1577.31	c (304,0) c synthesis       87294 conflicts  2767418848 propagations       40 conflicts/sec  1265593 propagations/sec
4638.16/1577.31	c (304,0) c real: 304.345 s, cpu: 2186.66 s, memory: 7206.83 Mb
4863.37/1607.31	c (334,0) c
4863.37/1607.31	c (334,0) c |------------------------------------------------------------------------------------------------------------------------|
4863.37/1607.31	c (334,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
4863.37/1607.31	c (334,0) c |------------------------------------------------------------------------------------------------------------------------|
4863.37/1607.39	c (334,0) c |  0 |      9 |      24384 |      18994 |   160898 |    10164 |     1861 |     3630 |       72 |     1241 |  20 |  0.006 |
4863.37/1607.39	c (334,0) c |  1 |      3 |      22485 |      17081 |   170088 |     8286 |     1885 |     2918 |       27 |     1221 |  20 |  0.006 |
4863.37/1607.39	c (334,0) c |  2 |      9 |      11659 |       7565 |   167636 |     3766 |      731 |     8941 |       38 |     1241 |  20 |  0.006 |
4863.37/1607.39	c (334,0) c |  3 |     13 |      26243 |      20023 |   182701 |    11225 |     2196 |     5449 |      139 |     1241 |  20 |  0.006 |
4863.37/1607.39	c (334,0) c |  4 |      2 |      10519 |       7531 |   151307 |     3739 |      588 |      107 |       17 |     1235 |  20 |  0.000 |
4863.37/1607.39	c (334,0) c |  5 |      4 |      10298 |       7779 |   121420 |     3988 |      711 |     1150 |       10 |     1241 |  20 |  0.000 |
4863.37/1607.39	c (334,0) c |  6 |      5 |      20832 |      16141 |   127520 |     6920 |     2056 |     7810 |       25 |     1241 |  20 |  0.007 |
4863.37/1607.39	c (334,0) c |  7 |      8 |       9496 |       6743 |   135735 |     2948 |      325 |     5262 |       26 |     1234 |  20 |  0.006 |
4863.37/1607.39	c (334,0) c 
4863.37/1607.39	c (334,0) c synthesis      101857 conflicts  3012010439 propagations       42 conflicts/sec  1250055 propagations/sec
4863.37/1607.39	c (334,0) c real: 334.345 s, cpu: 2409.5 s, memory: 7210.85 Mb
5096.89/1637.30	c (364,0) c
5096.89/1637.30	c (364,0) c |------------------------------------------------------------------------------------------------------------------------|
5096.89/1637.30	c (364,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
5096.89/1637.30	c (364,0) c |------------------------------------------------------------------------------------------------------------------------|
5096.89/1637.30	c (364,0) c |  0 |     10 |      27374 |      21421 |   172450 |    12272 |     2233 |     9483 |      165 |     1364 |  20 |  0.007 |
5096.89/1637.30	c (364,0) c |  1 |      4 |      25032 |      19188 |   179277 |    10392 |     2121 |     8536 |       39 |     1345 |  20 |  0.007 |
5096.89/1637.30	c (364,0) c |  2 |     11 |      13518 |       8951 |   179949 |     5152 |      881 |    10090 |      114 |     1360 |  20 |  0.007 |
5096.89/1637.30	c (364,0) c |  3 |     15 |      28590 |      21929 |   192709 |    13130 |     2453 |     9320 |      157 |     1362 |  20 |  0.007 |
5096.89/1637.30	c (364,0) c |  4 |      4 |      11681 |       8249 |   164163 |     4425 |      768 |    10540 |       25 |     1357 |  20 |  0.007 |
5096.89/1637.30	c (364,0) c |  5 |      4 |      11949 |       9094 |   135185 |     5303 |      882 |     1150 |       10 |     1360 |  20 |  0.000 |
5096.89/1637.30	c (364,0) c |  6 |      5 |      24513 |      19199 |   140172 |     9978 |     2471 |     7810 |       28 |     1362 |  20 |  0.007 |
5096.89/1637.30	c (364,0) c |  7 |      8 |      10333 |       7393 |   143492 |     3598 |      444 |     5262 |       34 |     1350 |  20 |  0.006 |
5096.89/1637.30	c (364,0) c 
5096.89/1637.30	c (364,0) c synthesis      115424 conflicts  3249989960 propagations       44 conflicts/sec  1230832 propagations/sec
5096.89/1637.30	c (364,0) c real: 364.345 s, cpu: 2640.48 s, memory: 7215.66 Mb
5335.12/1667.30	c (394,0) c
5335.12/1667.30	c (394,0) c |------------------------------------------------------------------------------------------------------------------------|
5335.12/1667.30	c (394,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
5335.12/1667.30	c (394,0) c |------------------------------------------------------------------------------------------------------------------------|
5335.12/1667.30	c (394,0) c |  0 |     11 |      30141 |      23757 |   183649 |     7382 |     2506 |    11314 |      237 |     1479 |  20 |  0.007 |
5335.12/1667.30	c (394,0) c |  1 |      4 |      28434 |      21919 |   195478 |    13122 |     2421 |     9757 |      132 |     1469 |  20 |  0.007 |
5335.12/1667.30	c (394,0) c |  2 |     11 |      16643 |      11475 |   194793 |     7676 |     1198 |    10090 |      207 |     1485 |  20 |  0.007 |
5335.12/1667.30	c (394,0) c |  3 |     15 |      29582 |      22793 |   201851 |    13994 |     2538 |     9320 |      172 |     1480 |  20 |  0.007 |
5335.12/1667.30	c (394,0) c |  4 |      4 |      12679 |       8901 |   177282 |     5077 |      948 |    10540 |       32 |     1479 |  20 |  0.007 |
5335.12/1667.30	c (394,0) c |  5 |      5 |      13194 |      10050 |   149956 |     6236 |     1044 |    11565 |       49 |     1483 |  20 |  0.007 |
5335.12/1667.30	c (394,0) c |  6 |      5 |      27933 |      21830 |   151455 |     6100 |     2873 |    10897 |       48 |     1486 |  20 |  0.008 |
5335.12/1667.30	c (394,0) c |  7 |      9 |      12010 |       8635 |   158382 |     4755 |      617 |    11388 |      123 |     1475 |  20 |  0.007 |
5335.12/1667.30	c (394,0) c 
5335.12/1667.30	c (394,0) c synthesis      129360 conflicts  3482151479 propagations       45 conflicts/sec  1210024 propagations/sec
5335.12/1667.30	c (394,0) c real: 394.345 s, cpu: 2877.75 s, memory: 7219.19 Mb
5568.90/1697.30	c (424,0) c
5568.90/1697.30	c (424,0) c |------------------------------------------------------------------------------------------------------------------------|
5568.90/1697.30	c (424,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
5568.90/1697.30	c (424,0) c |------------------------------------------------------------------------------------------------------------------------|
5568.90/1697.30	c (424,0) c |  0 |     11 |      32649 |      25870 |   191161 |     8757 |     2748 |    13072 |      303 |     1590 |  20 |  0.008 |
5568.90/1697.30	c (424,0) c |  1 |      4 |      32171 |      25134 |   212213 |     8938 |     2751 |     9757 |      233 |     1589 |  20 |  0.007 |
5568.90/1697.30	c (424,0) c |  2 |     12 |      20605 |      14679 |   215468 |     5744 |     1623 |    14116 |      394 |     1603 |  20 |  0.008 |
5568.90/1697.30	c (424,0) c |  3 |     16 |      32029 |      24693 |   215483 |     8139 |     2770 |    11484 |      263 |     1603 |  20 |  0.007 |
5568.90/1697.30	c (424,0) c |  4 |      5 |      14178 |       9948 |   187483 |     6095 |     1134 |    13083 |       51 |     1592 |  20 |  0.007 |
5568.90/1697.30	c (424,0) c |  5 |      5 |      15230 |      11627 |   160495 |     7813 |     1263 |    11565 |      122 |     1603 |  20 |  0.007 |
5568.90/1697.30	c (424,0) c |  6 |      5 |      30029 |      23648 |   161311 |     3988 |     3035 |    10897 |       96 |     1583 |  20 |  0.008 |
5568.90/1697.30	c (424,0) c |  7 |      9 |      16264 |      12040 |   182858 |     8160 |     1192 |    11388 |      300 |     1603 |  20 |  0.007 |
5568.90/1697.30	c (424,0) c 
5568.90/1697.30	c (424,0) c synthesis      147639 conflicts  3701285058 propagations       47 conflicts/sec  1190312 propagations/sec
5568.90/1697.30	c (424,0) c real: 424.345 s, cpu: 3109.51 s, memory: 7221.27 Mb
5805.83/1730.15	c (457,0) c
5805.83/1730.15	c (457,0) c real time : 457.193 s
5805.83/1730.15	c (457,0) c cpu time  : 3343.05 s
5805.83/1730.15	c (457,0) c
5805.83/1730.15	c (457,0) c
5805.83/1730.15	c (457,0) c
5805.83/1730.15	c (457,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
5805.83/1730.15	c (457,0) c
5805.83/1730.15	c (457,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
5805.83/1730.15	c (457,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
5805.83/1730.15	c (457,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
5805.83/1730.15	c (457,0) c | Conflicts     |          169762 |      29159 |      28082 |      17732 |      26748 |      12465 |      14421 |      25316 |      15839 |
5805.83/1730.15	c (457,0) c | Decisions     |          219976 |      36733 |      35614 |      24237 |      34513 |      17323 |      18570 |      32100 |      20886 |
5805.83/1730.15	c (457,0) c | Propagations  |      3942511440 |  409168963 |  482737157 |  501695828 |  457610506 |  617234742 |  520040000 |  431848859 |  522175385 |
5805.83/1730.15	c (457,0) c | ReduceDBs     |              27 |          4 |          4 |          3 |          4 |          2 |          3 |          4 |          3 |
5805.83/1730.15	c (457,0) c | SimpDBs       |              38 |          4 |          3 |          7 |          5 |          4 |          4 |          6 |          5 |
5805.83/1730.15	c (457,0) c | Restarts      |              71 |         13 |          4 |         12 |         17 |          5 |          6 |          5 |          9 |
5805.83/1730.15	c (457,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
5805.83/1730.15	c (457,0) c | PropBinClauses|      2432285607 |  304844664 |  344545589 |  246213830 |  328893715 |  329361138 |  286464662 |  299614647 |  292347362 |
5805.83/1730.15	c (457,0) c | PropPreBlocker|     42435736445 | 5020469216 | 5262112169 | 5458288716 | 5154770603 | 5526204192 | 5474158739 | 5142036506 | 5397696304 |
5805.83/1730.15	c (457,0) c | PropNotBlocker|     23105250435 | 3327577348 | 2935807002 | 2821940099 | 3056013852 | 2392533434 | 2760973767 | 3093995721 | 2716409212 |
5805.83/1730.15	c (457,0) c | LitFullScans  |     82975715509 |10362081832 |10374148551 |10402295848 |10364222291 |10370342701 |10367961134 |10359964617 |10374698535 |
5805.83/1730.15	c (457,0) c | LitScanFracts |       470048836 |   53972116 |   64634867 |   64891772 |   56034865 |   62263802 |   53825528 |   51786993 |   62638893 |
5805.83/1730.15	c (457,0) c | DecisionLevel0|             106 |         17 |          6 |         18 |         19 |          6 |          8 |         11 |         21 |
5805.83/1730.15	c (457,0) c | Periods       |           13749 |       1718 |       1718 |       1722 |       1718 |       1718 |       1719 |       1718 |       1718 |
5805.83/1730.15	c (457,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
5805.83/1730.15	c (457,0) c | Avg_Trail     |                 |      50350 |      67925 |      92066 |      64935 |     163085 |     104928 |      60334 |     111058 |
5805.83/1730.15	c (457,0) c | Avg_DL        |                 |         10 |         11 |         12 |         12 |         11 |         12 |          9 |         11 |
5805.83/1730.15	c (457,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
5805.83/1730.15	c (457,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
5805.83/1730.15	c (457,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
5805.83/1730.15	c (457,0) c | Exported      |           19436 |       3123 |       3177 |       2017 |       3045 |       1539 |       1620 |       3164 |       1751 |
5805.83/1730.15	c (457,0) c | Imported      |          117232 |      14300 |       9757 |      16925 |      13632 |      15646 |      16751 |      12882 |      17339 |
5805.83/1730.15	c (457,0) c | Good          |            4065 |        462 |        367 |        590 |        473 |        572 |        580 |        426 |        595 |
5805.83/1730.15	c (457,0) c | Purge         |          113167 |      13838 |       9390 |      16335 |      13159 |      15074 |      16171 |      12456 |      16744 |
5805.83/1730.15	c (457,0) c | Promoted      |            3036 |        476 |        275 |        533 |        370 |        307 |        409 |        105 |        561 |
5805.83/1730.15	c (457,0) c | Remove_Imp    |           13000 |          0 |          0 |       3569 |          0 |          0 |       5615 |       2674 |       1142 |
5805.83/1730.15	c (457,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
5805.83/1730.15	c (457,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
5805.83/1730.15	c (457,0) c | Unaries       |                 |          4 |          2 |          6 |          2 |          1 |          2 |          6 |         12 |
5805.83/1730.15	c (457,0) c | Binaries      |                 |        144 |         92 |         62 |        113 |         18 |         52 |        133 |         78 |
5805.83/1730.15	c (457,0) c | Glues         |                 |        667 |        474 |        414 |        543 |        256 |        357 |        400 |        338 |
5805.83/1730.15	c (457,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
5805.83/1730.15	c (457,0) c | Orig_Seen     |             2 % |     207234 |     226169 |     229968 |     225499 |     207267 |     179389 |     173296 |     205408 |
5805.83/1730.15	c (457,0) c | Diff Orig seen|                 |       1826 |      20761 |      24560 |      20091 |       1859 | -    26019 | -    32112 |      X     |
5805.83/1730.15	c (457,0) c | Hamming       |            25 % |     167996 |     167744 |     132380 |     146752 |     150463 |     153859 |     160343 |      X     |
5805.83/1730.15	c (457,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
5805.83/1730.15	c (457,0) c | RunningTime   |                 |  445.8  99%|  440.8  98%|  412.4  92%|  432.8  97%|  443.1  98%|  430.0  96%|  418.0  93%|  414.0  93%|
5805.83/1730.15	c (457,0) c | WaitingTime   |                 |    2.7   1%|    7.3   2%|   34.9   8%|   13.8   3%|    6.8   2%|   16.1   4%|   31.8   7%|   32.1   7%|
5805.83/1730.15	c (457,0) c | ExchangingTime|                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.1   0%|    0.0   0%|
5805.83/1730.15	c (457,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%|
5805.83/1730.15	c (457,0) c | SolvingTime   |                 |  448.6     |  448.2     |  447.3     |  446.6     |  450.0     |  446.2     |  449.9     |  446.1     |
5805.83/1730.15	c (457,0) c | PropagationTim|                 |  433.9  97%|  433.0  97%|  426.9  95%|  429.4  96%|  435.3  97%|  429.3  96%|  430.4  96%|  431.4  97%|
5805.83/1730.15	c (457,0) c | AnalysisTime  |                 |    3.5   1%|    3.7   1%|    3.1   1%|    3.6   1%|    3.4   1%|    3.1   1%|    3.3   1%|    3.0   1%|
5805.83/1730.15	c (457,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%|
5805.83/1730.15	c (457,0) c | SimplifyTime  |                 |    0.8   0%|    0.4   0%|    8.0   2%|    3.1   1%|    0.6   0%|    3.7   1%|    5.9   1%|    2.3   1%|
5805.83/1730.15	c (457,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%|
5805.83/1730.15	c (457,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%|
5805.83/1730.15	c (457,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
5805.83/1730.15	c (457,0) c
5805.83/1730.15	c (457,0) c
5805.83/1730.15	c (457,0) c Threads : 8
5805.83/1730.15	c (457,0) c Winner : 7
5805.83/1730.15	c (457,0) c Conflicts_0 : 29159
5805.83/1730.15	c (457,0) c Conflicts_1 : 28082
5805.83/1730.15	c (457,0) c Conflicts_2 : 17732
5805.83/1730.15	c (457,0) c Conflicts_3 : 26748
5805.83/1730.15	c (457,0) c Conflicts_4 : 12465
5805.83/1730.15	c (457,0) c Conflicts_5 : 14421
5805.83/1730.15	c (457,0) c Conflicts_6 : 25316
5805.83/1730.15	c (457,0) c Conflicts_7 : 15839
5805.83/1730.15	c (457,0) c Conflicts_total : 169762
5805.83/1730.15	c (457,0) c Conflicts_winner : 15839
5805.83/1730.15	c (457,0) c Decisions_0 : 36733
5805.83/1730.15	c (457,0) c Decisions_1 : 35614
5805.83/1730.15	c (457,0) c Decisions_2 : 24237
5805.83/1730.15	c (457,0) c Decisions_3 : 34513
5805.83/1730.15	c (457,0) c Decisions_4 : 17323
5805.83/1730.15	c (457,0) c Decisions_5 : 18570
5805.83/1730.15	c (457,0) c Decisions_6 : 32100
5805.83/1730.15	c (457,0) c Decisions_7 : 20886
5805.83/1730.15	c (457,0) c Decisions_total : 219976
5805.83/1730.15	c (457,0) c Decisions_winner : 20886
5805.83/1730.15	c (457,0) c Propagations_0 : 409168963
5805.83/1730.15	c (457,0) c Propagations_1 : 482737157
5805.83/1730.15	c (457,0) c Propagations_2 : 501695828
5805.83/1730.15	c (457,0) c Propagations_3 : 457610506
5805.83/1730.15	c (457,0) c Propagations_4 : 617234742
5805.83/1730.15	c (457,0) c Propagations_5 : 520040000
5805.83/1730.15	c (457,0) c Propagations_6 : 431848859
5805.83/1730.15	c (457,0) c Propagations_7 : 522175385
5805.83/1730.15	c (457,0) c Propagations_total : 3942511440
5805.83/1730.15	c (457,0) c Propagations_winner : 522175385
5805.83/1730.15	c (457,0) c ReduceDBs_0 : 4
5805.83/1730.15	c (457,0) c ReduceDBs_1 : 4
5805.83/1730.15	c (457,0) c ReduceDBs_2 : 3
5805.83/1730.15	c (457,0) c ReduceDBs_3 : 4
5805.83/1730.15	c (457,0) c ReduceDBs_4 : 2
5805.83/1730.15	c (457,0) c ReduceDBs_5 : 3
5805.83/1730.15	c (457,0) c ReduceDBs_6 : 4
5805.83/1730.15	c (457,0) c ReduceDBs_7 : 3
5805.83/1730.15	c (457,0) c ReduceDBs_total : 27
5805.83/1730.15	c (457,0) c ReduceDBs_winner : 3
5805.83/1730.15	c (457,0) c SimpDBs_0 : 4
5805.83/1730.15	c (457,0) c SimpDBs_1 : 3
5805.83/1730.15	c (457,0) c SimpDBs_2 : 7
5805.83/1730.15	c (457,0) c SimpDBs_3 : 5
5805.83/1730.15	c (457,0) c SimpDBs_4 : 4
5805.83/1730.15	c (457,0) c SimpDBs_5 : 4
5805.83/1730.15	c (457,0) c SimpDBs_6 : 6
5805.83/1730.15	c (457,0) c SimpDBs_7 : 5
5805.83/1730.15	c (457,0) c SimpDBs_total : 38
5805.83/1730.15	c (457,0) c SimpDBs_winner : 5
5805.83/1730.15	c (457,0) c Restarts_0 : 13
5805.83/1730.15	c (457,0) c Restarts_1 : 4
5805.83/1730.15	c (457,0) c Restarts_2 : 12
5805.83/1730.15	c (457,0) c Restarts_3 : 17
5805.83/1730.15	c (457,0) c Restarts_4 : 5
5805.83/1730.15	c (457,0) c Restarts_5 : 6
5805.83/1730.15	c (457,0) c Restarts_6 : 5
5805.83/1730.15	c (457,0) c Restarts_7 : 9
5805.83/1730.15	c (457,0) c Restarts_total : 71
5805.83/1730.15	c (457,0) c Restarts_winner : 9
5805.83/1730.15	c (457,0) c ForcedImports_0 : 0
5805.83/1730.15	c (457,0) c ForcedImports_1 : 0
5805.83/1730.15	c (457,0) c ForcedImports_2 : 0
5805.83/1730.15	c (457,0) c ForcedImports_3 : 0
5805.83/1730.15	c (457,0) c ForcedImports_4 : 0
5805.83/1730.15	c (457,0) c ForcedImports_5 : 0
5805.83/1730.15	c (457,0) c ForcedImports_6 : 0
5805.83/1730.15	c (457,0) c ForcedImports_7 : 0
5805.83/1730.15	c (457,0) c ForcedImports_total : 0
5805.83/1730.15	c (457,0) c ForcedImports_winner : 0
5805.83/1730.15	c (457,0) c PropsBinClauses_0 : 304844664
5805.83/1730.15	c (457,0) c PropsBinClauses_1 : 344545589
5805.83/1730.15	c (457,0) c PropsBinClauses_2 : 246213830
5805.83/1730.15	c (457,0) c PropsBinClauses_3 : 328893715
5805.83/1730.15	c (457,0) c PropsBinClauses_4 : 329361138
5805.83/1730.15	c (457,0) c PropsBinClauses_5 : 286464662
5805.83/1730.15	c (457,0) c PropsBinClauses_6 : 299614647
5805.83/1730.15	c (457,0) c PropsBinClauses_7 : 292347362
5805.83/1730.15	c (457,0) c PropsBinClauses_total : 2432285607
5805.83/1730.15	c (457,0) c PropsBinClauses_winner : 292347362
5805.83/1730.15	c (457,0) c PropsPreBlocker_0 : 5020469216
5805.83/1730.15	c (457,0) c PropsPreBlocker_1 : 5262112169
5805.83/1730.15	c (457,0) c PropsPreBlocker_2 : 5458288716
5805.83/1730.15	c (457,0) c PropsPreBlocker_3 : 5154770603
5805.83/1730.15	c (457,0) c PropsPreBlocker_4 : 5526204192
5805.83/1730.15	c (457,0) c PropsPreBlocker_5 : 5474158739
5805.83/1730.15	c (457,0) c PropsPreBlocker_6 : 5142036506
5805.83/1730.15	c (457,0) c PropsPreBlocker_7 : 5397696304
5805.83/1730.15	c (457,0) c PropsPreBlocker_total : 42435736445
5805.83/1730.15	c (457,0) c PropsPreBlocker_winner : 5397696304
5805.83/1730.15	c (457,0) c PropsNotBlocker_0 : 3327577348
5805.83/1730.15	c (457,0) c PropsNotBlocker_1 : 2935807002
5805.83/1730.15	c (457,0) c PropsNotBlocker_2 : 2821940099
5805.83/1730.15	c (457,0) c PropsNotBlocker_3 : 3056013852
5805.83/1730.15	c (457,0) c PropsNotBlocker_4 : 2392533434
5805.83/1730.15	c (457,0) c PropsNotBlocker_5 : 2760973767
5805.83/1730.15	c (457,0) c PropsNotBlocker_6 : 3093995721
5805.83/1730.15	c (457,0) c PropsNotBlocker_7 : 2716409212
5805.83/1730.15	c (457,0) c PropsNotBlocker_total : 23105250435
5805.83/1730.15	c (457,0) c PropsNotBlocker_winner : 2716409212
5805.83/1730.15	c (457,0) c PropsLitFullScans_0 : 10362081832
5805.83/1730.15	c (457,0) c PropsLitFullScans_1 : 10374148551
5805.83/1730.15	c (457,0) c PropsLitFullScans_2 : 10402295848
5805.83/1730.15	c (457,0) c PropsLitFullScans_3 : 10364222291
5805.83/1730.15	c (457,0) c PropsLitFullScans_4 : 10370342701
5805.83/1730.15	c (457,0) c PropsLitFullScans_5 : 10367961134
5805.83/1730.15	c (457,0) c PropsLitFullScans_6 : 10359964617
5805.83/1730.15	c (457,0) c PropsLitFullScans_7 : 10374698535
5805.83/1730.15	c (457,0) c PropsLitFullScans_total : 82975715509
5805.83/1730.15	c (457,0) c PropsLitFullScans_winner : 10374698535
5805.83/1730.15	c (457,0) c LitScanFractions_0 : 53972116
5805.83/1730.15	c (457,0) c LitScanFractions_1 : 64634867
5805.83/1730.15	c (457,0) c LitScanFractions_2 : 64891772
5805.83/1730.15	c (457,0) c LitScanFractions_3 : 56034865
5805.83/1730.16	c (457,0) c LitScanFractions_4 : 62263802
5805.83/1730.16	c (457,0) c LitScanFractions_5 : 53825528
5805.83/1730.16	c (457,0) c LitScanFractions_6 : 51786993
5805.83/1730.16	c (457,0) c LitScanFractions_7 : 62638893
5805.83/1730.16	c (457,0) c LitScanFractions_total : 470048836
5805.83/1730.16	c (457,0) c LitScanFractions_winner : 62638893
5805.83/1730.16	c (457,0) c DecisionLevel0_0 : 17
5805.83/1730.16	c (457,0) c DecisionLevel0_1 : 6
5805.83/1730.16	c (457,0) c DecisionLevel0_2 : 18
5805.83/1730.16	c (457,0) c DecisionLevel0_3 : 19
5805.83/1730.16	c (457,0) c DecisionLevel0_4 : 6
5805.83/1730.16	c (457,0) c DecisionLevel0_5 : 8
5805.83/1730.16	c (457,0) c DecisionLevel0_6 : 11
5805.83/1730.16	c (457,0) c DecisionLevel0_7 : 21
5805.83/1730.16	c (457,0) c DecisionLevel0_total : 106
5805.83/1730.16	c (457,0) c DecisionLevel0_winner : 21
5805.83/1730.16	c (457,0) c Periods_0 : 1718
5805.83/1730.16	c (457,0) c Periods_1 : 1718
5805.83/1730.16	c (457,0) c Periods_2 : 1722
5805.83/1730.16	c (457,0) c Periods_3 : 1718
5805.83/1730.16	c (457,0) c Periods_4 : 1718
5805.83/1730.16	c (457,0) c Periods_5 : 1719
5805.83/1730.16	c (457,0) c Periods_6 : 1718
5805.83/1730.16	c (457,0) c Periods_7 : 1718
5805.83/1730.16	c (457,0) c Periods_total : 13749
5805.83/1730.16	c (457,0) c Periods_winner : 1718
5805.83/1730.16	c (457,0) c Margin_0 : 20
5805.83/1730.16	c (457,0) c Margin_1 : 20
5805.83/1730.16	c (457,0) c Margin_2 : 20
5805.83/1730.16	c (457,0) c Margin_3 : 20
5805.83/1730.16	c (457,0) c Margin_4 : 20
5805.83/1730.16	c (457,0) c Margin_5 : 20
5805.83/1730.16	c (457,0) c Margin_6 : 20
5805.83/1730.16	c (457,0) c Margin_7 : 20
5805.83/1730.16	c (457,0) c Margin_total : 160
5805.83/1730.16	c (457,0) c Margin_winner : 20
5805.83/1730.16	c (457,0) c Exported_0 : 3123
5805.83/1730.16	c (457,0) c Exported_1 : 3177
5805.83/1730.16	c (457,0) c Exported_2 : 2017
5805.83/1730.16	c (457,0) c Exported_3 : 3045
5805.83/1730.16	c (457,0) c Exported_4 : 1539
5805.83/1730.16	c (457,0) c Exported_5 : 1620
5805.83/1730.16	c (457,0) c Exported_6 : 3164
5805.83/1730.16	c (457,0) c Exported_7 : 1751
5805.83/1730.16	c (457,0) c Exported_total : 19436
5805.83/1730.16	c (457,0) c Exported_winner : 1751
5805.83/1730.16	c (457,0) c Imported_0 : 14300
5805.83/1730.16	c (457,0) c Imported_1 : 9757
5805.83/1730.16	c (457,0) c Imported_2 : 16925
5805.83/1730.16	c (457,0) c Imported_3 : 13632
5805.83/1730.16	c (457,0) c Imported_4 : 15646
5805.83/1730.16	c (457,0) c Imported_5 : 16751
5805.83/1730.16	c (457,0) c Imported_6 : 12882
5805.83/1730.16	c (457,0) c Imported_7 : 17339
5805.83/1730.16	c (457,0) c Imported_total : 117232
5805.83/1730.16	c (457,0) c Imported_winner : 17339
5805.83/1730.16	c (457,0) c Good_0 : 462
5805.83/1730.16	c (457,0) c Good_1 : 367
5805.83/1730.16	c (457,0) c Good_2 : 590
5805.83/1730.16	c (457,0) c Good_3 : 473
5805.83/1730.16	c (457,0) c Good_4 : 572
5805.83/1730.16	c (457,0) c Good_5 : 580
5805.83/1730.16	c (457,0) c Good_6 : 426
5805.83/1730.16	c (457,0) c Good_7 : 595
5805.83/1730.16	c (457,0) c Good_total : 4065
5805.83/1730.16	c (457,0) c Good_winner : 595
5805.83/1730.16	c (457,0) c Purge_0 : 13838
5805.83/1730.16	c (457,0) c Purge_1 : 9390
5805.83/1730.16	c (457,0) c Purge_2 : 16335
5805.83/1730.16	c (457,0) c Purge_3 : 13159
5805.83/1730.16	c (457,0) c Purge_4 : 15074
5805.83/1730.16	c (457,0) c Purge_5 : 16171
5805.83/1730.16	c (457,0) c Purge_6 : 12456
5805.83/1730.16	c (457,0) c Purge_7 : 16744
5805.83/1730.16	c (457,0) c Purge_total : 113167
5805.83/1730.16	c (457,0) c Purge_winner : 16744
5805.83/1730.16	c (457,0) c Promoted_0 : 476
5805.83/1730.16	c (457,0) c Promoted_1 : 275
5805.83/1730.16	c (457,0) c Promoted_2 : 533
5805.83/1730.16	c (457,0) c Promoted_3 : 370
5805.83/1730.16	c (457,0) c Promoted_4 : 307
5805.83/1730.16	c (457,0) c Promoted_5 : 409
5805.83/1730.16	c (457,0) c Promoted_6 : 105
5805.83/1730.16	c (457,0) c Promoted_7 : 561
5805.83/1730.16	c (457,0) c Promoted_total : 3036
5805.83/1730.16	c (457,0) c Promoted_winner : 561
5805.83/1730.16	c (457,0) c Remove_Imp_0 : 0
5805.83/1730.16	c (457,0) c Remove_Imp_1 : 0
5805.83/1730.16	c (457,0) c Remove_Imp_2 : 3569
5805.83/1730.16	c (457,0) c Remove_Imp_3 : 0
5805.83/1730.16	c (457,0) c Remove_Imp_4 : 0
5805.83/1730.16	c (457,0) c Remove_Imp_5 : 5615
5805.83/1730.16	c (457,0) c Remove_Imp_6 : 2674
5805.83/1730.16	c (457,0) c Remove_Imp_7 : 1142
5805.83/1730.16	c (457,0) c Remove_Imp_total : 13000
5805.83/1730.16	c (457,0) c Remove_Imp_winner : 1142
5805.83/1730.16	c (457,0) c Blocked_Reuse_0 : 0
5805.83/1730.16	c (457,0) c Blocked_Reuse_1 : 0
5805.83/1730.16	c (457,0) c Blocked_Reuse_2 : 0
5805.83/1730.16	c (457,0) c Blocked_Reuse_3 : 0
5805.83/1730.16	c (457,0) c Blocked_Reuse_4 : 0
5805.83/1730.16	c (457,0) c Blocked_Reuse_5 : 0
5805.83/1730.16	c (457,0) c Blocked_Reuse_6 : 0
5805.83/1730.16	c (457,0) c Blocked_Reuse_7 : 0
5805.83/1730.16	c (457,0) c Blocked_Reuse_total : 0
5805.83/1730.16	c (457,0) c Blocked_Reuse_winner : 0
5805.83/1730.16	c (457,0) c Unaries_0 : 4
5805.83/1730.16	c (457,0) c Unaries_1 : 2
5805.83/1730.16	c (457,0) c Unaries_2 : 6
5805.83/1730.16	c (457,0) c Unaries_3 : 2
5805.83/1730.16	c (457,0) c Unaries_4 : 1
5805.83/1730.16	c (457,0) c Unaries_5 : 2
5805.83/1730.16	c (457,0) c Unaries_6 : 6
5805.83/1730.16	c (457,0) c Unaries_7 : 12
5805.83/1730.16	c (457,0) c Unaries_total : 35
5805.83/1730.16	c (457,0) c Unaries_winner : 12
5805.83/1730.16	c (457,0) c Binaries_0 : 144
5805.83/1730.16	c (457,0) c Binaries_1 : 92
5805.83/1730.16	c (457,0) c Binaries_2 : 62
5805.83/1730.16	c (457,0) c Binaries_3 : 113
5805.83/1730.16	c (457,0) c Binaries_4 : 18
5805.83/1730.16	c (457,0) c Binaries_5 : 52
5805.83/1730.16	c (457,0) c Binaries_6 : 133
5805.83/1730.16	c (457,0) c Binaries_7 : 78
5805.83/1730.16	c (457,0) c Binaries_total : 692
5805.83/1730.16	c (457,0) c Binaries_winner : 78
5805.83/1730.16	c (457,0) c Glues_0 : 667
5805.83/1730.16	c (457,0) c Glues_1 : 474
5805.83/1730.16	c (457,0) c Glues_2 : 414
5805.83/1730.16	c (457,0) c Glues_3 : 543
5805.83/1730.16	c (457,0) c Glues_4 : 256
5805.83/1730.16	c (457,0) c Glues_5 : 357
5805.83/1730.16	c (457,0) c Glues_6 : 400
5805.83/1730.16	c (457,0) c Glues_7 : 338
5805.83/1730.16	c (457,0) c Glues_total : 3449
5805.83/1730.16	c (457,0) c Glues_winner : 338
5805.83/1730.16	c (457,0) c RunningTime_0 : 445.796648
5805.83/1730.16	c (457,0) c RunningTime_1 : 440.813746
5805.83/1730.16	c (457,0) c RunningTime_2 : 412.410890
5805.83/1730.16	c (457,0) c RunningTime_3 : 432.755216
5805.83/1730.16	c (457,0) c RunningTime_4 : 443.128259
5805.83/1730.16	c (457,0) c RunningTime_5 : 429.998962
5805.83/1730.16	c (457,0) c RunningTime_6 : 417.983850
5805.83/1730.16	c (457,0) c RunningTime_7 : 413.996831
5805.83/1730.16	c (457,0) c RunningTime_total : 3436.884402
5805.83/1730.16	c (457,0) c RunningTime_winner : 413.996831
5805.83/1730.16	c (457,0) c WaitingTime_0 : 2.720972
5805.83/1730.16	c (457,0) c WaitingTime_1 : 7.312608
5805.83/1730.16	c (457,0) c WaitingTime_2 : 34.850118
5805.83/1730.16	c (457,0) c WaitingTime_3 : 13.753719
5805.83/1730.16	c (457,0) c WaitingTime_4 : 6.764975
5805.83/1730.16	c (457,0) c WaitingTime_5 : 16.147667
5805.83/1730.16	c (457,0) c WaitingTime_6 : 31.842292
5805.83/1730.16	c (457,0) c WaitingTime_7 : 32.084824
5805.83/1730.16	c (457,0) c WaitingTime_total : 145.477174
5805.83/1730.16	c (457,0) c WaitingTime_winner : 32.084824
5805.83/1730.16	c (457,0) c ExchangingTime_0 : 0.031541
5805.83/1730.16	c (457,0) c ExchangingTime_1 : 0.044538
5805.83/1730.16	c (457,0) c ExchangingTime_2 : 0.042453
5805.83/1730.16	c (457,0) c ExchangingTime_3 : 0.047333
5805.83/1730.16	c (457,0) c ExchangingTime_4 : 0.035948
5805.83/1730.16	c (457,0) c ExchangingTime_5 : 0.040743
5805.83/1730.16	c (457,0) c ExchangingTime_6 : 0.052378
5805.83/1730.16	c (457,0) c ExchangingTime_7 : 0.038498
5805.83/1730.16	c (457,0) c ExchangingTime_total : 0.333433
5805.83/1730.16	c (457,0) c ExchangingTime_winner : 0.038498
5805.83/1730.16	c (457,0) c PeriodProcTime_0 : 0.025184
5805.83/1730.16	c (457,0) c PeriodProcTime_1 : 0.025646
5805.83/1730.16	c (457,0) c PeriodProcTime_2 : 0.024197
5805.83/1730.16	c (457,0) c PeriodProcTime_3 : 0.022889
5805.83/1730.16	c (457,0) c PeriodProcTime_4 : 0.022753
5805.83/1730.16	c (457,0) c PeriodProcTime_5 : 0.025799
5805.83/1730.16	c (457,0) c PeriodProcTime_6 : 0.024469
5805.83/1730.16	c (457,0) c PeriodProcTime_7 : 0.024487
5805.83/1730.16	c (457,0) c PeriodProcTime_total : 0.195424
5805.83/1730.16	c (457,0) c PeriodProcTime_winner : 0.024487
5805.83/1730.16	c (457,0) c SolvingTime_0 : 448.574345
5805.83/1730.16	c (457,0) c SolvingTime_1 : 448.196538
5805.83/1730.16	c (457,0) c SolvingTime_2 : 447.327658
5805.83/1730.16	c (457,0) c SolvingTime_3 : 446.579157
5805.83/1730.16	c (457,0) c SolvingTime_4 : 449.951934
5805.83/1730.16	c (457,0) c SolvingTime_5 : 446.213171
5805.83/1730.16	c (457,0) c SolvingTime_6 : 449.902989
5805.83/1730.16	c (457,0) c SolvingTime_7 : 446.144639
5805.83/1730.16	c (457,0) c SolvingTime_total : 3582.890431
5805.83/1730.16	c (457,0) c SolvingTime_winner : 446.144639
5805.83/1730.16	c (457,0) c PropagationTime_0 : 433.920630
5805.83/1730.16	c (457,0) c PropagationTime_1 : 433.012919
5805.83/1730.16	c (457,0) c PropagationTime_2 : 426.900505
5805.83/1730.16	c (457,0) c PropagationTime_3 : 429.365755
5805.83/1730.16	c (457,0) c PropagationTime_4 : 435.341341
5805.83/1730.16	c (457,0) c PropagationTime_5 : 429.335975
5805.83/1730.16	c (457,0) c PropagationTime_6 : 430.362150
5805.83/1730.16	c (457,0) c PropagationTime_7 : 431.428429
5805.83/1730.16	c (457,0) c PropagationTime_total : 3449.667704
5805.83/1730.16	c (457,0) c PropagationTime_winner : 431.428429
5805.83/1730.16	c (457,0) c AnalysisTime_0 : 3.463642
5805.83/1730.16	c (457,0) c AnalysisTime_1 : 3.660867
5805.83/1730.16	c (457,0) c AnalysisTime_2 : 3.066908
5805.83/1730.16	c (457,0) c AnalysisTime_3 : 3.569180
5805.83/1730.16	c (457,0) c AnalysisTime_4 : 3.412812
5805.83/1730.16	c (457,0) c AnalysisTime_5 : 3.053027
5805.83/1730.16	c (457,0) c AnalysisTime_6 : 3.317188
5805.83/1730.16	c (457,0) c AnalysisTime_7 : 2.951887
5805.83/1730.16	c (457,0) c AnalysisTime_total : 26.495511
5805.83/1730.16	c (457,0) c AnalysisTime_winner : 2.951887
5805.83/1730.16	c (457,0) c ReductionTime_0 : 0.009040
5805.83/1730.16	c (457,0) c ReductionTime_1 : 0.007447
5805.83/1730.16	c (457,0) c ReductionTime_2 : 0.008990
5805.83/1730.16	c (457,0) c ReductionTime_3 : 0.007378
5805.83/1730.16	c (457,0) c ReductionTime_4 : 0.001833
5805.83/1730.16	c (457,0) c ReductionTime_5 : 0.008307
5805.83/1730.16	c (457,0) c ReductionTime_6 : 0.010415
5805.83/1730.16	c (457,0) c ReductionTime_7 : 0.007399
5805.83/1730.16	c (457,0) c ReductionTime_total : 0.060809
5805.83/1730.16	c (457,0) c ReductionTime_winner : 0.007399
5805.83/1730.16	c (457,0) c SimplifyTime_0 : 0.788355
5805.83/1730.16	c (457,0) c SimplifyTime_1 : 0.410165
5805.83/1730.16	c (457,0) c SimplifyTime_2 : 7.999922
5805.83/1730.16	c (457,0) c SimplifyTime_3 : 3.118938
5805.83/1730.16	c (457,0) c SimplifyTime_4 : 0.614283
5805.83/1730.16	c (457,0) c SimplifyTime_5 : 3.678902
5805.83/1730.16	c (457,0) c SimplifyTime_6 : 5.940675
5805.83/1730.16	c (457,0) c SimplifyTime_7 : 2.326845
5805.83/1730.16	c (457,0) c SimplifyTime_total : 24.878085
5805.83/1730.16	c (457,0) c SimplifyTime_winner : 2.326845
5805.83/1730.16	c (457,0) c UsedRateTime_0 : 0.000000
5805.83/1730.16	c (457,0) c UsedRateTime_1 : 0.000000
5805.83/1730.16	c (457,0) c UsedRateTime_2 : 0.000000
5805.83/1730.16	c (457,0) c UsedRateTime_3 : 0.000000
5805.83/1730.16	c (457,0) c UsedRateTime_4 : 0.000000
5805.83/1730.16	c (457,0) c UsedRateTime_5 : 0.000000
5805.83/1730.16	c (457,0) c UsedRateTime_6 : 0.000000
5805.83/1730.16	c (457,0) c UsedRateTime_7 : 0.000000
5805.83/1730.16	c (457,0) c UsedRateTime_total : 0.000000
5805.83/1730.16	c (457,0) c UsedRateTime_winner : 0.000000
5805.83/1730.16	c (457,0) c OverlapRateTime_0 : 0.000000
5805.83/1730.16	c (457,0) c OverlapRateTime_1 : 0.000000
5805.83/1730.16	c (457,0) c OverlapRateTime_2 : 0.000000
5805.83/1730.16	c (457,0) c OverlapRateTime_3 : 0.000000
5805.83/1730.16	c (457,0) c OverlapRateTime_4 : 0.000000
5805.83/1730.16	c (457,0) c OverlapRateTime_5 : 0.000000
5805.83/1730.16	c (457,0) c OverlapRateTime_6 : 0.000000
5805.83/1730.16	c (457,0) c OverlapRateTime_7 : 0.000000
5805.83/1730.16	c (457,0) c OverlapRateTime_total : 0.000000
5805.83/1730.16	c (457,0) c OverlapRateTime_winner : 0.000000
5805.83/1730.16	c (457,0) c
5805.83/1730.16	c (457,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
5805.83/1730.16	c (457,0) c
5805.83/1730.16	c (457,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
5805.83/1730.16	c (457,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
5805.83/1730.16	c (457,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
5805.83/1730.16	c (457,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
5805.83/1730.16	c (457,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
5805.83/1730.16	c (457,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
5805.83/1730.16	c (457,0) c | Initial random_seed   | 1523175083 | 1366514103 |  613805152 | 1991304281 | 1945230896 | 1504479681 |  258129166 |  826224692 |
5805.83/1730.16	c (457,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
5805.83/1730.16	c (457,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
5805.83/1730.16	c (457,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
5805.83/1730.16	c (457,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
5805.83/1730.16	c (457,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
5805.83/1730.16	c (457,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
5805.83/1730.16	c (457,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
5805.83/1730.16	c (457,0) c | var_decay             |     0.8500 |     0.8500 |     0.8300 |     0.8500 |     0.8200 |     0.8200 |     0.8500 |     0.8300 |
5805.83/1730.16	c (457,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
5805.83/1730.16	c (457,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
5805.83/1730.16	c (457,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
5805.83/1730.16	c (457,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
5805.83/1730.16	c (457,0) 
5805.83/1730.16	c (457,0) s UNSATISFIABLE
2395.13/1730.54	c (457,0) SatSolver.solve End
2395.13/1730.54	c (457,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
2395.13/1730.54	c (457,0) Show results Begin
2395.13/1730.54	s UNSATISFIABLE
2395.13/1730.54	c (457,0) Show results End
2395.13/1730.54	c (457,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
2395.13/1730.54	c (457,0) 457,457,STOP-AFTER(ALL)
2395.13/1730.54	c END-Prog: Sat Sep 14 01:50:09 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 (14796 MiB free)
  memory of node 1: 16384 MiB (15384 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4392404-1568416916/watcher-4392404-1568416916 -o /tmp/evaluation-result-4392404-1568416916/solver-4392404-1568416916 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node151-1568416728-14741 --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-4392404-1568416916.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=16252, runsolver pid=16249
Current StackSize limit: 8192 KiB


[startup+0.100161 s]*
/proc/loadavg: 2.43 1.28 1.06 2/213 16274
/proc/meminfo: memFree=30811944/32770624 swapFree=66935028/67108860
[pid=16252] ppid=16249 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/16252/stat : 16252 (scop.sh) S 16249 16252 14714 0 -1 4202496 554 319 0 0 0 0 0 0 20 0 1 0 417963184 115843072 348 33554432000 4194304 5098028 140720595229648 140720595226904 140102271369852 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 28377088 140720595231525 140720595231852 140720595231852 140720595234765 0
/proc/16252/statm: 28282 348 296 221 0 87 0
[pid=16255] ppid=16252 vsize=27314120 memory=107516 CPUtime=0.1 cores=0-7
/proc/16255/stat : 16255 (java) S 16252 16252 14714 0 -1 1077944320 6476 0 0 0 8 2 0 0 20 0 20 0 417963184 27969658880 26879 33554432000 4194304 4196468 140727351747584 140727351730128 140682427756279 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 36970496 140727351751403 140727351751830 140727351751830 140727351754703 0
/proc/16255/statm: 6828530 26879 2778 1 0 6790935 0
[pid=16255/tid=16256] ppid=16252 vsize=27314120 memory=7825737110625623708 CPUtime=0.09 cores=0-7
/proc/16255/task/16256/stat : 16256 (java) R 16252 16252 14714 0 -1 4202560 4586 0 0 0 7 2 0 0 20 0 20 0 417963185 27969658880 26879 33554432000 4194304 4196468 140727351747584 140682399582608 140682427778205 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36970496 140727351751403 140727351751830 140727351751830 140727351754703 0
[pid=16255/tid=16257] ppid=16252 vsize=27314120 memory=732370501155797989 CPUtime=0 cores=0-7
/proc/16255/task/16257/stat : 16257 (java) S 16252 16252 14714 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417963187 27969658880 26879 33554432000 4194304 4196468 140727351747584 140682431998224 140682427766485 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36970496 140727351751403 140727351751830 140727351751830 140727351754703 0
[pid=16255/tid=16258] ppid=16252 vsize=27314120 memory=140362818344576 CPUtime=0 cores=0-7
/proc/16255/task/16258/stat : 16258 (java) S 16252 16252 14714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417963187 27969658880 26879 33554432000 4194304 4196468 140727351747584 140682258815376 140682427766485 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36970496 140727351751403 140727351751830 140727351751830 140727351754703 0
[pid=16255/tid=16259] ppid=16252 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16255/task/16259/stat : 16259 (java) S 16252 16252 14714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417963187 27969658880 26879 33554432000 4194304 4196468 140727351747584 140681849424400 140682427766485 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36970496 140727351751403 140727351751830 140727351751830 140727351754703 0
[pid=16255/tid=16260] ppid=16252 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16255/task/16260/stat : 16260 (java) S 16252 16252 14714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417963187 27969658880 26879 33554432000 4194304 4196468 140727351747584 140681848371856 140682427766485 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36970496 140727351751403 140727351751830 140727351751830 140727351754703 0
[pid=16255/tid=16261] ppid=16252 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16255/task/16261/stat : 16261 (java) S 16252 16252 14714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417963187 27969658880 26879 33554432000 4194304 4196468 140727351747584 140681847319312 140682427766485 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36970496 140727351751403 140727351751830 140727351751830 140727351754703 0
[pid=16255/tid=16262] ppid=16252 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/16255/task/16262/stat : 16262 (java) S 16252 16252 14714 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417963187 27969658880 26879 33554432000 4194304 4196468 140727351747584 140681846266768 140682427766485 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36970496 140727351751403 140727351751830 140727351751830 140727351754703 0
[pid=16255/tid=16263] ppid=16252 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16255/task/16263/stat : 16263 (java) S 16252 16252 14714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417963187 27969658880 26879 33554432000 4194304 4196468 140727351747584 140681845214224 140682427766485 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36970496 140727351751403 140727351751830 140727351751830 140727351754703 0
[pid=16255/tid=16264] ppid=16252 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16255/task/16264/stat : 16264 (java) S 16252 16252 14714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417963187 27969658880 26879 33554432000 4194304 4196468 140727351747584 140681844161680 140682427766485 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36970496 140727351751403 140727351751830 140727351751830 140727351754703 0
[pid=16255/tid=16265] ppid=16252 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16255/task/16265/stat : 16265 (java) S 16252 16252 14714 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417963189 27969658880 26879 33554432000 4194304 4196468 140727351747584 140680546756592 140682427767426 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36970496 140727351751403 140727351751830 140727351751830 140727351754703 0
[pid=16255/tid=16266] ppid=16252 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16255/task/16266/stat : 16266 (java) S 16252 16252 14714 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 417963189 27969658880 26879 33554432000 4194304 4196468 140727351747584 140680378704800 140682427766485 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36970496 140727351751403 140727351751830 140727351751830 140727351754703 0
[pid=16255/tid=16267] ppid=16252 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16255/task/16267/stat : 16267 (java) S 16252 16252 14714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417963189 27969658880 26879 33554432000 4194304 4196468 140727351747584 140680110269424 140682427766485 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36970496 140727351751403 140727351751830 140727351751830 140727351754703 0
[pid=16255/tid=16268] ppid=16252 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16255/task/16268/stat : 16268 (java) S 16252 16252 14714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417963192 27969658880 26879 33554432000 4194304 4196468 140727351747584 140679735761104 140682427774875 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36970496 140727351751403 140727351751830 140727351751830 140727351754703 0
[pid=16255/tid=16269] ppid=16252 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16255/task/16269/stat : 16269 (java) S 16252 16252 14714 0 -1 1077944384 330 0 0 0 0 0 0 0 20 0 20 0 417963192 27969658880 26879 33554432000 4194304 4196468 140727351747584 140680545704432 140682427767426 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36970496 140727351751403 140727351751830 140727351751830 140727351754703 0
[pid=16255/tid=16270] ppid=16252 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16255/task/16270/stat : 16270 (java) S 16252 16252 14714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417963192 27969658880 26879 33554432000 4194304 4196468 140727351747584 140680544651888 140682427767426 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36970496 140727351751403 140727351751830 140727351751830 140727351754703 0
[pid=16255/tid=16271] ppid=16252 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16255/task/16271/stat : 16271 (java) S 16252 16252 14714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417963192 27969658880 26879 33554432000 4194304 4196468 140727351747584 140680543599344 140682427767426 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36970496 140727351751403 140727351751830 140727351751830 140727351754703 0
[pid=16255/tid=16272] ppid=16252 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16255/task/16272/stat : 16272 (java) S 16252 16252 14714 0 -1 1077944384 223 0 0 0 0 0 0 0 20 0 20 0 417963192 27969658880 26879 33554432000 4194304 4196468 140727351747584 140680542546800 140682427767426 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36970496 140727351751403 140727351751830 140727351751830 140727351754703 0
[pid=16255/tid=16273] ppid=16252 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16255/task/16273/stat : 16273 (java) S 16252 16252 14714 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417963192 27969658880 26879 33554432000 4194304 4196468 140727351747584 140679237855456 140682427766485 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36970496 140727351751403 140727351751830 140727351751830 140727351754703 0
[pid=16255/tid=16274] ppid=16252 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/16255/task/16274/stat : 16274 (java) S 16252 16252 14714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417963193 27969658880 26879 33554432000 4194304 4196468 140727351747584 140680541493680 140682427767426 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36970496 140727351751403 140727351751830 140727351751830 140727351754703 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 108908 KiB

[startup+0.210327 s]*
/proc/loadavg: 2.43 1.28 1.06 3/212 16274
/proc/meminfo: memFree=30789056/32770624 swapFree=66935028/67108860
[pid=16252] ppid=16249 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/16252/stat : 16252 (scop.sh) S 16249 16252 14714 0 -1 4202496 554 319 0 0 0 0 0 0 20 0 1 0 417963184 115843072 348 33554432000 4194304 5098028 140720595229648 140720595226904 140102271369852 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 28377088 140720595231525 140720595231852 140720595231852 140720595234765 0
/proc/16252/statm: 28282 348 296 221 0 87 0
[pid=16255] ppid=16252 vsize=27314120 memory=126872 CPUtime=0.24 cores=0-7
/proc/16255/stat : 16255 (java) S 16252 16252 14714 0 -1 1077944320 12125 0 0 0 20 4 0 0 20 0 20 0 417963184 27969658880 31718 33554432000 4194304 4196468 140727351747584 140727351730128 140682427756279 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 36970496 140727351751403 140727351751830 140727351751830 140727351754703 0
/proc/16255/statm: 6828530 31718 2938 1 0 6790935 0
[pid=16255/tid=16256] ppid=16252 vsize=27314120 memory=0 CPUtime=0.2 cores=0-7
/proc/16255/task/16256/stat : 16256 (java) R 16252 16252 14714 0 -1 4202560 9839 0 0 0 16 4 0 0 20 0 20 0 417963185 27969658880 31718 33554432000 4194304 4196468 140727351747584 140682399555664 140682411836766 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36970496 140727351751403 140727351751830 140727351751830 140727351754703 0
[pid=16255/tid=16257] ppid=16252 vsize=27314120 memory=732370501155797989 CPUtime=0 cores=0-7
/proc/16255/task/16257/stat : 16257 (java) S 16252 16252 14714 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417963187 27969658880 31718 33554432000 4194304 4196468 140727351747584 140682431998224 140682427766485 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36970496 140727351751403 140727351751830 140727351751830 140727351754703 0
[pid=16255/tid=16258] ppid=16252 vsize=27314120 memory=140362818344576 CPUtime=0 cores=0-7
/proc/16255/task/16258/stat : 16258 (java) S 16252 16252 14714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417963187 27969658880 31718 33554432000 4194304 4196468 140727351747584 140682258815376 140682427766485 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36970496 140727351751403 140727351751830 140727351751830 140727351754703 0
[pid=16255/tid=16259] ppid=16252 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16255/task/16259/stat : 16259 (java) S 16252 16252 14714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417963187 27969658880 31718 33554432000 4194304 4196468 140727351747584 140681849424400 140682427766485 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36970496 140727351751403 140727351751830 140727351751830 140727351754703 0
[pid=16255/tid=16260] ppid=16252 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16255/task/16260/stat : 16260 (java) S 16252 16252 14714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417963187 27969658880 31718 33554432000 4194304 4196468 140727351747584 140681848371856 140682427766485 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36970496 140727351751403 140727351751830 140727351751830 140727351754703 0
[pid=16255/tid=16261] ppid=16252 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16255/task/16261/stat : 16261 (java) S 16252 16252 14714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417963187 27969658880 31718 33554432000 4194304 4196468 140727351747584 140681847319312 140682427766485 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36970496 140727351751403 140727351751830 140727351751830 140727351754703 0
[pid=16255/tid=16262] ppid=16252 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/16255/task/16262/stat : 16262 (java) S 16252 16252 14714 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417963187 27969658880 31718 33554432000 4194304 4196468 140727351747584 140681846266768 140682427766485 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36970496 140727351751403 140727351751830 140727351751830 140727351754703 0
[pid=16255/tid=16263] ppid=16252 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16255/task/16263/stat : 16263 (java) S 16252 16252 14714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417963187 27969658880 31718 33554432000 4194304 4196468 140727351747584 140681845214224 140682427766485 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36970496 140727351751403 140727351751830 140727351751830 140727351754703 0
[pid=16255/tid=16264] ppid=16252 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16255/task/16264/stat : 16264 (java) S 16252 16252 14714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417963187 27969658880 31718 33554432000 4194304 4196468 140727351747584 140681844161680 140682427766485 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36970496 140727351751403 140727351751830 140727351751830 140727351754703 0
[pid=16255/tid=16265] ppid=16252 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16255/task/16265/stat : 16265 (java) S 16252 16252 14714 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417963189 27969658880 31718 33554432000 4194304 4196468 140727351747584 140680546756592 140682427767426 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36970496 140727351751403 140727351751830 140727351751830 140727351754703 0
[pid=16255/tid=16266] ppid=16252 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16255/task/16266/stat : 16266 (java) S 16252 16252 14714 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 417963189 27969658880 31718 33554432000 4194304 4196468 140727351747584 140680378704800 140682427766485 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36970496 140727351751403 140727351751830 140727351751830 140727351754703 0
[pid=16255/tid=16267] ppid=16252 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16255/task/16267/stat : 16267 (java) S 16252 16252 14714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417963189 27969658880 31718 33554432000 4194304 4196468 140727351747584 140680110269424 140682427766485 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36970496 140727351751403 140727351751830 140727351751830 140727351754703 0
[pid=16255/tid=16268] ppid=16252 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16255/task/16268/stat : 16268 (java) S 16252 16252 14714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417963192 27969658880 31718 33554432000 4194304 4196468 140727351747584 140679735761104 140682427774875 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36970496 140727351751403 140727351751830 140727351751830 140727351754703 0
[pid=16255/tid=16269] ppid=16252 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16255/task/16269/stat : 16269 (java) S 16252 16252 14714 0 -1 1077944384 330 0 0 0 0 0 0 0 20 0 20 0 417963192 27969658880 31718 33554432000 4194304 4196468 140727351747584 140680545704432 140682427767426 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36970496 140727351751403 140727351751830 140727351751830 140727351754703 0
[pid=16255/tid=16270] ppid=16252 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16255/task/16270/stat : 16270 (java) S 16252 16252 14714 0 -1 1077944384 148 0 0 0 0 0 0 0 20 0 20 0 417963192 27969658880 31718 33554432000 4194304 4196468 140727351747584 140680544651888 140682427767426 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36970496 140727351751403 140727351751830 140727351751830 140727351754703 0
[pid=16255/tid=16271] ppid=16252 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16255/task/16271/stat : 16271 (java) S 16252 16252 14714 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 20 0 417963192 27969658880 31718 33554432000 4194304 4196468 140727351747584 140680543599344 140682427767426 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36970496 140727351751403 140727351751830 140727351751830 140727351754703 0
[pid=16255/tid=16272] ppid=16252 vsize=27314120 memory=0 CPUtime=0.02 cores=0-7
/proc/16255/task/16272/stat : 16272 (java) S 16252 16252 14714 0 -1 1077944384 432 0 0 0 2 0 0 0 20 0 20 0 417963192 27969658880 31718 33554432000 4194304 4196468 140727351747584 140680542546800 140682427767426 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36970496 140727351751403 140727351751830 140727351751830 140727351754703 0
[pid=16255/tid=16273] ppid=16252 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16255/task/16273/stat : 16273 (java) S 16252 16252 14714 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417963192 27969658880 31718 33554432000 4194304 4196468 140727351747584 140679237855456 140682427766485 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36970496 140727351751403 140727351751830 140727351751830 140727351754703 0
[pid=16255/tid=16274] ppid=16252 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/16255/task/16274/stat : 16274 (java) S 16252 16252 14714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417963193 27969658880 31718 33554432000 4194304 4196468 140727351747584 140680541493680 140682427767426 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36970496 140727351751403 140727351751830 140727351751830 140727351754703 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 128264 KiB

[startup+0.309585 s]*
/proc/loadavg: 2.43 1.28 1.06 2/212 16274
/proc/meminfo: memFree=30787136/32770624 swapFree=66935028/67108860
[pid=16252] ppid=16249 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/16252/stat : 16252 (scop.sh) S 16249 16252 14714 0 -1 4202496 554 319 0 0 0 0 0 0 20 0 1 0 417963184 115843072 348 33554432000 4194304 5098028 140720595229648 140720595226904 140102271369852 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 28377088 140720595231525 140720595231852 140720595231852 140720595234765 0
/proc/16252/statm: 28282 348 296 221 0 87 0
[pid=16255] ppid=16252 vsize=27314120 memory=130216 CPUtime=0.41 cores=0-7
/proc/16255/stat : 16255 (java) S 16252 16252 14714 0 -1 1077944320 12452 0 0 0 36 5 0 0 20 0 20 0 417963184 27969658880 32554 33554432000 4194304 4196468 140727351747584 140727351730128 140682427756279 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 36970496 140727351751403 140727351751830 140727351751830 140727351754703 0
/proc/16255/statm: 6828530 32554 2999 1 0 6790935 0
[pid=16255/tid=16256] ppid=16252 vsize=27314120 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/16255/task/16256/stat : 16256 (java) R 16252 16252 14714 0 -1 4202560 10017 0 0 0 25 4 0 0 20 0 20 0 417963185 27969658880 32554 33554432000 4194304 4196468 140727351747584 140682399550384 140682427770143 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36970496 140727351751403 140727351751830 140727351751830 140727351754703 0
[pid=16255/tid=16257] ppid=16252 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16255/task/16257/stat : 16257 (java) S 16252 16252 14714 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417963187 27969658880 32554 33554432000 4194304 4196468 140727351747584 140682431998224 140682427766485 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36970496 140727351751403 140727351751830 140727351751830 140727351754703 0
[pid=16255/tid=16258] ppid=16252 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16255/task/16258/stat : 16258 (java) S 16252 16252 14714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417963187 27969658880 32554 33554432000 4194304 4196468 140727351747584 140682258815376 140682427766485 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36970496 140727351751403 140727351751830 140727351751830 140727351754703 0
[pid=16255/tid=16259] ppid=16252 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16255/task/16259/stat : 16259 (java) S 16252 16252 14714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417963187 27969658880 32554 33554432000 4194304 4196468 140727351747584 140681849424400 140682427766485 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36970496 140727351751403 140727351751830 140727351751830 140727351754703 0
[pid=16255/tid=16260] ppid=16252 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16255/task/16260/stat : 16260 (java) S 16252 16252 14714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417963187 27969658880 32554 33554432000 4194304 4196468 140727351747584 140681848371856 140682427766485 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36970496 140727351751403 140727351751830 140727351751830 140727351754703 0
[pid=16255/tid=16261] ppid=16252 vsize=27314120 memory=2244 CPUtime=0 cores=0-7
/proc/16255/task/16261/stat : 16261 (java) S 16252 16252 14714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417963187 27969658880 32554 33554432000 4194304 4196468 140727351747584 140681847319312 140682427766485 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36970496 140727351751403 140727351751830 140727351751830 140727351754703 0
[pid=16255/tid=16262] ppid=16252 vsize=27314120 memory=140362685445039 CPUtime=0 cores=0-7
/proc/16255/task/16262/stat : 16262 (java) S 16252 16252 14714 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417963187 27969658880 32554 33554432000 4194304 4196468 140727351747584 140681846266768 140682427766485 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36970496 140727351751403 140727351751830 140727351751830 140727351754703 0
[pid=16255/tid=16263] ppid=16252 vsize=27314120 memory=140362685447344 CPUtime=0 cores=0-7
/proc/16255/task/16263/stat : 16263 (java) S 16252 16252 14714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417963187 27969658880 32554 33554432000 4194304 4196468 140727351747584 140681845214224 140682427766485 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36970496 140727351751403 140727351751830 140727351751830 140727351754703 0
[pid=16255/tid=16264] ppid=16252 vsize=27314120 memory=140362685449648 CPUtime=0 cores=0-7
/proc/16255/task/16264/stat : 16264 (java) S 16252 16252 14714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417963187 27969658880 32554 33554432000 4194304 4196468 140727351747584 140681844161680 140682427766485 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36970496 140727351751403 140727351751830 140727351751830 140727351754703 0
[pid=16255/tid=16265] ppid=16252 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16255/task/16265/stat : 16265 (java) S 16252 16252 14714 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417963189 27969658880 32554 33554432000 4194304 4196468 140727351747584 140680546756592 140682427767426 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36970496 140727351751403 140727351751830 140727351751830 140727351754703 0
[pid=16255/tid=16266] ppid=16252 vsize=27314120 memory=280725370906256 CPUtime=0 cores=0-7
/proc/16255/task/16266/stat : 16266 (java) S 16252 16252 14714 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 417963189 27969658880 32554 33554432000 4194304 4196468 140727351747584 140680378704800 140682427766485 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36970496 140727351751403 140727351751830 140727351751830 140727351754703 0
[pid=16255/tid=16267] ppid=16252 vsize=27314120 memory=280725370913168 CPUtime=0 cores=0-7
/proc/16255/task/16267/stat : 16267 (java) S 16252 16252 14714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417963189 27969658880 32554 33554432000 4194304 4196468 140727351747584 140680110269424 140682427766485 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36970496 140727351751403 140727351751830 140727351751830 140727351754703 0
[pid=16255/tid=16268] ppid=16252 vsize=27314120 memory=280725370854448 CPUtime=0 cores=0-7
/proc/16255/task/16268/stat : 16268 (java) S 16252 16252 14714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417963192 27969658880 32554 33554432000 4194304 4196468 140727351747584 140679735761104 140682427774875 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36970496 140727351751403 140727351751830 140727351751830 140727351754703 0
[pid=16255/tid=16269] ppid=16252 vsize=27314120 memory=280725370926992 CPUtime=0.02 cores=0-7
/proc/16255/task/16269/stat : 16269 (java) S 16252 16252 14714 0 -1 1077944384 450 0 0 0 2 0 0 0 20 0 20 0 417963192 27969658880 32554 33554432000 4194304 4196468 140727351747584 140680545704432 140682427767426 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36970496 140727351751403 140727351751830 140727351751830 140727351754703 0
[pid=16255/tid=16270] ppid=16252 vsize=27314120 memory=280725370933904 CPUtime=0 cores=0-7
/proc/16255/task/16270/stat : 16270 (java) S 16252 16252 14714 0 -1 1077944384 148 0 0 0 0 0 0 0 20 0 20 0 417963192 27969658880 32554 33554432000 4194304 4196468 140727351747584 140680544651888 140682427767426 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36970496 140727351751403 140727351751830 140727351751830 140727351754703 0
[pid=16255/tid=16271] ppid=16252 vsize=27314120 memory=280725370931600 CPUtime=0 cores=0-7
/proc/16255/task/16271/stat : 16271 (java) S 16252 16252 14714 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 20 0 417963192 27969658880 32554 33554432000 4194304 4196468 140727351747584 140680543599344 140682427767426 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36970496 140727351751403 140727351751830 140727351751830 140727351754703 0
[pid=16255/tid=16272] ppid=16252 vsize=27314120 memory=280725370947760 CPUtime=0.07 cores=0-7
/proc/16255/task/16272/stat : 16272 (java) S 16252 16252 14714 0 -1 1077944384 454 0 0 0 7 0 0 0 20 0 20 0 417963192 27969658880 32554 33554432000 4194304 4196468 140727351747584 140680542546800 140682427767426 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36970496 140727351751403 140727351751830 140727351751830 140727351754703 0
[pid=16255/tid=16273] ppid=16252 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16255/task/16273/stat : 16273 (java) S 16252 16252 14714 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417963192 27969658880 32554 33554432000 4194304 4196468 140727351747584 140679237855456 140682427766485 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36970496 140727351751403 140727351751830 140727351751830 140727351754703 0
[pid=16255/tid=16274] ppid=16252 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/16255/task/16274/stat : 16274 (java) S 16252 16252 14714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417963193 27969658880 32554 33554432000 4194304 4196468 140727351747584 140680541493680 140682427767426 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36970496 140727351751403 140727351751830 140727351751830 140727351754703 0
Current children cumulated CPU time: 0.41 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 131608 KiB

[startup+0.70091 s]
/proc/loadavg: 2.43 1.28 1.06 2/212 16274
/proc/meminfo: memFree=30766280/32770624 swapFree=66935028/67108860
[pid=16252] ppid=16249 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/16252/stat : 16252 (scop.sh) S 16249 16252 14714 0 -1 4202496 554 319 0 0 0 0 0 0 20 0 1 0 417963184 115843072 348 33554432000 4194304 5098028 140720595229648 140720595226904 140102271369852 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 28377088 140720595231525 140720595231852 140720595231852 140720595234765 0
/proc/16252/statm: 28282 348 296 221 0 87 0
[pid=16255] ppid=16252 vsize=27320392 memory=165116 CPUtime=0.97 cores=0-7
/proc/16255/stat : 16255 (java) S 16252 16252 14714 0 -1 1077944320 19870 0 0 0 90 7 0 0 20 0 20 0 417963184 27976081408 41279 33554432000 4194304 4196468 140727351747584 140727351730128 140682427756279 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 36970496 140727351751403 140727351751830 140727351751830 140727351754703 0
/proc/16255/statm: 6830098 41279 3165 1 0 6791447 0
[pid=16255/tid=16256] ppid=16252 vsize=27320392 memory=280725371242688 CPUtime=0.68 cores=0-7
/proc/16255/task/16256/stat : 16256 (java) R 16252 16252 14714 0 -1 4202560 16935 0 0 0 62 6 0 0 20 0 20 0 417963185 27976081408 41279 33554432000 4194304 4196468 140727351747584 140682399590408 140681932499007 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36970496 140727351751403 140727351751830 140727351751830 140727351754703 0
[pid=16255/tid=16257] ppid=16252 vsize=27320392 memory=5076651345044 CPUtime=0 cores=0-7
/proc/16255/task/16257/stat : 16257 (java) S 16252 16252 14714 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417963187 27976081408 41279 33554432000 4194304 4196468 140727351747584 140682431998224 140682427766485 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36970496 140727351751403 140727351751830 140727351751830 140727351754703 0
[pid=16255/tid=16258] ppid=16252 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/16255/task/16258/stat : 16258 (java) S 16252 16252 14714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417963187 27976081408 41279 33554432000 4194304 4196468 140727351747584 140682258815376 140682427766485 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36970496 140727351751403 140727351751830 140727351751830 140727351754703 0
[pid=16255/tid=16259] ppid=16252 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/16255/task/16259/stat : 16259 (java) S 16252 16252 14714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417963187 27976081408 41279 33554432000 4194304 4196468 140727351747584 140681849424400 140682427766485 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36970496 140727351751403 140727351751830 140727351751830 140727351754703 0

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

/proc/16369/task/16376/stat : 16376 (java) S 16252 16252 14714 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 418090407 8616062976 30462 33554432000 4194304 4196468 140725744791616 140298794457744 140299313776341 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24240128 140725744796663 140725744796822 140725744796822 140725744799695 0
[pid=16369/tid=16377] ppid=16252 vsize=8414124 memory=4108 CPUtime=0 cores=0-7
/proc/16369/task/16377/stat : 16377 (java) S 16252 16252 14714 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 418090407 8616062976 30462 33554432000 4194304 4196468 140725744791616 140298793404688 140299313776341 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24240128 140725744796663 140725744796822 140725744796822 140725744799695 0
[pid=16369/tid=16378] ppid=16252 vsize=8414124 memory=2832 CPUtime=0 cores=0-7
/proc/16369/task/16378/stat : 16378 (java) S 16252 16252 14714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418090407 8616062976 30462 33554432000 4194304 4196468 140725744791616 140298792352144 140299313776341 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24240128 140725744796663 140725744796822 140725744796822 140725744799695 0
[pid=16369/tid=16379] ppid=16252 vsize=8414124 memory=1548 CPUtime=0.01 cores=0-7
/proc/16369/task/16379/stat : 16379 (java) S 16252 16252 14714 0 -1 1077944384 10 0 0 0 0 1 0 0 20 0 24 0 418090409 8616062976 30462 33554432000 4194304 4196468 140725744791616 140298608540400 140299313777282 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24240128 140725744796663 140725744796822 140725744796822 140725744799695 0
[pid=16369/tid=16380] ppid=16252 vsize=8414124 memory=1056 CPUtime=0 cores=0-7
/proc/16369/task/16380/stat : 16380 (java) S 16252 16252 14714 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 418090409 8616062976 30462 33554432000 4194304 4196468 140725744791616 140297589745312 140299313776341 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24240128 140725744796663 140725744796822 140725744796822 140725744799695 0
[pid=16369/tid=16381] ppid=16252 vsize=8414124 memory=744 CPUtime=0 cores=0-7
/proc/16369/task/16381/stat : 16381 (java) S 16252 16252 14714 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 418090409 8616062976 30462 33554432000 4194304 4196468 140725744791616 140297455523056 140299313776341 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24240128 140725744796663 140725744796822 140725744796822 140725744799695 0
[pid=16369/tid=16382] ppid=16252 vsize=8414124 memory=-8527398109071045010 CPUtime=0 cores=0-7
/proc/16369/task/16382/stat : 16382 (java) S 16252 16252 14714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418090412 8616062976 30462 33554432000 4194304 4196468 140725744791616 140297081018832 140299313784731 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24240128 140725744796663 140725744796822 140725744796822 140725744799695 0
[pid=16369/tid=16383] ppid=16252 vsize=8414124 memory=5960 CPUtime=0.05 cores=0-7
/proc/16369/task/16383/stat : 16383 (java) S 16252 16252 14714 0 -1 1077944384 500 0 0 0 5 0 0 0 20 0 24 0 418090413 8616062976 30462 33554432000 4194304 4196468 140725744791616 140298607487216 140299313777282 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24240128 140725744796663 140725744796822 140725744796822 140725744799695 0
[pid=16369/tid=16384] ppid=16252 vsize=8414124 memory=1124 CPUtime=0.06 cores=0-7
/proc/16369/task/16384/stat : 16384 (java) S 16252 16252 14714 0 -1 1077944384 273 0 0 0 6 0 0 0 20 0 24 0 418090413 8616062976 30462 33554432000 4194304 4196468 140725744791616 140298606434672 140299313777282 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24240128 140725744796663 140725744796822 140725744796822 140725744799695 0
[pid=16369/tid=16385] ppid=16252 vsize=8414124 memory=14008 CPUtime=0.06 cores=0-7
/proc/16369/task/16385/stat : 16385 (java) S 16252 16252 14714 0 -1 1077944384 401 0 0 0 6 0 0 0 20 0 24 0 418090413 8616062976 30462 33554432000 4194304 4196468 140725744791616 140298605381616 140299313777282 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24240128 140725744796663 140725744796822 140725744796822 140725744799695 0
[pid=16369/tid=16386] ppid=16252 vsize=8414124 memory=12024 CPUtime=0.21 cores=0-7
/proc/16369/task/16386/stat : 16386 (java) S 16252 16252 14714 0 -1 1077944384 837 0 0 0 21 0 0 0 20 0 24 0 418090413 8616062976 30462 33554432000 4194304 4196468 140725744791616 140298604329072 140299313777282 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24240128 140725744796663 140725744796822 140725744796822 140725744799695 0
[pid=16369/tid=16387] ppid=16252 vsize=8414124 memory=-8527398109071045010 CPUtime=0 cores=0-7
/proc/16369/task/16387/stat : 16387 (java) S 16252 16252 14714 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 418090413 8616062976 30462 33554432000 4194304 4196468 140725744791616 140296583113696 140299313776341 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24240128 140725744796663 140725744796822 140725744796822 140725744799695 0
[pid=16369/tid=16388] ppid=16252 vsize=8414124 memory=920 CPUtime=0.29 cores=0-7
/proc/16369/task/16388/stat : 16388 (java) S 16252 16252 14714 0 -1 1077944384 32 0 0 0 19 10 0 0 20 0 24 0 418090414 8616062976 30462 33554432000 4194304 4196468 140725744791616 140298603277488 140299313777282 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24240128 140725744796663 140725744796822 140725744796822 140725744799695 0
[pid=16369/tid=16390] ppid=16252 vsize=8414124 memory=4252 CPUtime=0 cores=0-7
/proc/16369/task/16390/stat : 16390 (java) S 16252 16252 14714 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 418090480 8616062976 30462 33554432000 4194304 4196468 140725744791616 140298597434816 140299313790745 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 24240128 140725744796663 140725744796822 140725744796822 140725744799695 0
[pid=16369/tid=16392] ppid=16252 vsize=8414124 memory=-8527398109071045010 CPUtime=0.03 cores=0-7
/proc/16369/task/16392/stat : 16392 (java) S 16252 16252 14714 0 -1 4202560 1684 0 0 0 1 2 0 0 20 0 24 0 418090480 8616062976 30462 33554432000 4194304 4196468 140725744791616 140295912013328 140299313788061 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 24240128 140725744796663 140725744796822 140725744796822 140725744799695 0
[pid=16369/tid=16393] ppid=16252 vsize=8414124 memory=3880 CPUtime=0 cores=0-7
/proc/16369/task/16393/stat : 16393 (java) S 16252 16252 14714 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 418090481 8616062976 30462 33554432000 4194304 4196468 140725744791616 140296180448912 140299313788061 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 24240128 140725744796663 140725744796822 140725744796822 140725744799695 0
[pid=16369/tid=16394] ppid=16252 vsize=8414124 memory=1472 CPUtime=0 cores=0-7
/proc/16369/task/16394/stat : 16394 (java) S 16252 16252 14714 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 418090483 8616062976 30462 33554432000 4194304 4196468 140725744791616 140295643585456 140299313776341 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24240128 140725744796663 140725744796822 140725744796822 140725744799695 0
Current children cumulated CPU time: 5805.03 s
Current children cumulated vsize: 15924888 KiB
Current children cumulated memory: 7124588 KiB

[startup+1730.1 s]*
/proc/loadavg: 7.55 6.67 4.17 3/219 16438
/proc/meminfo: memFree=23510820/32770624 swapFree=66935036/67108860
[pid=16252] ppid=16249 vsize=113128 memory=1472 CPUtime=2393.56 cores=0-7
/proc/16252/stat : 16252 (scop.sh) S 16249 16252 14714 0 -1 4202496 581 669791 0 0 0 0 234753 4603 20 0 1 0 417963184 115843072 368 33554432000 4194304 5098028 140720595229648 140720595226392 140102271369852 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 28377088 140720595231525 140720595231852 140720595231852 140720595234765 0
/proc/16252/statm: 28282 368 311 221 0 87 0
[pid=16369] ppid=16252 vsize=8414124 memory=121848 CPUtime=1.53 cores=0-7
/proc/16369/stat : 16369 (java) S 16252 16252 14714 0 -1 1077944320 22524 0 0 0 139 14 0 0 20 0 24 0 418090405 8616062976 30462 33554432000 4194304 4196468 140725744791616 140725744774160 140299313766135 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 24240128 140725744796663 140725744796822 140725744796822 140725744799695 0
/proc/16369/statm: 2103531 30462 3207 1 0 2064875 0
[pid=16389] ppid=16369 vsize=7397636 memory=7001276 CPUtime=3410.74 cores=0-7
/proc/16389/stat : 16389 (manyglucose-4.1) S 16369 16252 14714 0 -1 1077944320 28177977 0 0 0 334300 6774 0 0 20 0 2 0 418090480 7575179264 1750319 33554432000 4194304 4454172 140721366300816 140721366299200 140477146042103 0 4 0 8388610 18446744073709551615 0 0 17 6 0 0 0 0 0 6552832 6554400 10469376 140721366307689 140721366307888 140721366307888 140721366310842 0
/proc/16389/statm: 1849409 1750319 420 64 0 1845077 0
[pid=16389/tid=16400] ppid=16369 vsize=7397636 memory=976 CPUtime=439.72 cores=0-7
/proc/16389/task/16400/stat : 16400 (manyglucose-4.1) R 16369 16252 14714 0 -1 4202560 3194150 0 0 0 42979 993 0 0 20 0 2 0 418091203 7575179264 1750319 33554432000 4194304 4454172 140721366300816 140476854004472 4351769 0 4 0 8388610 0 0 0 -1 1 0 0 0 0 0 6552832 6554400 10469376 140721366307689 140721366307888 140721366307888 140721366310842 0
[pid=16369/tid=16370] ppid=16252 vsize=8414124 memory=-8527398109071045010 CPUtime=0.76 cores=0-7
/proc/16369/task/16370/stat : 16370 (java) S 16252 16252 14714 0 -1 1077944384 17385 0 0 0 70 6 0 0 20 0 24 0 418090406 8616062976 30462 33554432000 4194304 4196468 140725744791616 140299285606304 140299313776341 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24240128 140725744796663 140725744796822 140725744796822 140725744799695 0
[pid=16369/tid=16371] ppid=16252 vsize=8414124 memory=-7003737579269690708 CPUtime=0 cores=0-7
/proc/16369/task/16371/stat : 16371 (java) S 16252 16252 14714 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 418090407 8616062976 30462 33554432000 4194304 4196468 140725744791616 140299318008848 140299313776341 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24240128 140725744796663 140725744796822 140725744796822 140725744799695 0
[pid=16369/tid=16372] ppid=16252 vsize=8414124 memory=744 CPUtime=0 cores=0-7
/proc/16369/task/16372/stat : 16372 (java) S 16252 16252 14714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418090407 8616062976 30462 33554432000 4194304 4196468 140725744791616 140299136097424 140299313776341 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24240128 140725744796663 140725744796822 140725744796822 140725744799695 0
[pid=16369/tid=16373] ppid=16252 vsize=8414124 memory=8296 CPUtime=0 cores=0-7
/proc/16369/task/16373/stat : 16373 (java) S 16252 16252 14714 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 418090407 8616062976 30462 33554432000 4194304 4196468 140725744791616 140299135044368 140299313776341 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24240128 140725744796663 140725744796822 140725744796822 140725744799695 0
[pid=16369/tid=16374] ppid=16252 vsize=8414124 memory=5960 CPUtime=0 cores=0-7
/proc/16369/task/16374/stat : 16374 (java) S 16252 16252 14714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418090407 8616062976 30462 33554432000 4194304 4196468 140725744791616 140298796563344 140299313776341 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24240128 140725744796663 140725744796822 140725744796822 140725744799695 0
[pid=16369/tid=16375] ppid=16252 vsize=8414124 memory=1124 CPUtime=0 cores=0-7
/proc/16369/task/16375/stat : 16375 (java) S 16252 16252 14714 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 418090407 8616062976 30462 33554432000 4194304 4196468 140725744791616 140298795510288 140299313776341 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24240128 140725744796663 140725744796822 140725744796822 140725744799695 0
[pid=16369/tid=16376] ppid=16252 vsize=8414124 memory=14008 CPUtime=0 cores=0-7
/proc/16369/task/16376/stat : 16376 (java) S 16252 16252 14714 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 418090407 8616062976 30462 33554432000 4194304 4196468 140725744791616 140298794457744 140299313776341 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24240128 140725744796663 140725744796822 140725744796822 140725744799695 0
[pid=16369/tid=16377] ppid=16252 vsize=8414124 memory=12024 CPUtime=0 cores=0-7
/proc/16369/task/16377/stat : 16377 (java) S 16252 16252 14714 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 418090407 8616062976 30462 33554432000 4194304 4196468 140725744791616 140298793404688 140299313776341 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24240128 140725744796663 140725744796822 140725744796822 140725744799695 0
[pid=16369/tid=16378] ppid=16252 vsize=8414124 memory=1472 CPUtime=0 cores=0-7
/proc/16369/task/16378/stat : 16378 (java) S 16252 16252 14714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418090407 8616062976 30462 33554432000 4194304 4196468 140725744791616 140298792352144 140299313776341 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24240128 140725744796663 140725744796822 140725744796822 140725744799695 0
[pid=16369/tid=16379] ppid=16252 vsize=8414124 memory=-8527398109071045010 CPUtime=0.01 cores=0-7
/proc/16369/task/16379/stat : 16379 (java) S 16252 16252 14714 0 -1 1077944384 10 0 0 0 0 1 0 0 20 0 24 0 418090409 8616062976 30462 33554432000 4194304 4196468 140725744791616 140298608540400 140299313777282 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24240128 140725744796663 140725744796822 140725744796822 140725744799695 0
[pid=16369/tid=16380] ppid=16252 vsize=8414124 memory=-7003737579269690708 CPUtime=0 cores=0-7
/proc/16369/task/16380/stat : 16380 (java) S 16252 16252 14714 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 418090409 8616062976 30462 33554432000 4194304 4196468 140725744791616 140297589745312 140299313776341 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24240128 140725744796663 140725744796822 140725744796822 140725744799695 0
[pid=16369/tid=16381] ppid=16252 vsize=8414124 memory=6990508 CPUtime=0 cores=0-7
/proc/16369/task/16381/stat : 16381 (java) S 16252 16252 14714 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 418090409 8616062976 30462 33554432000 4194304 4196468 140725744791616 140297455523056 140299313776341 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24240128 140725744796663 140725744796822 140725744796822 140725744799695 0
[pid=16369/tid=16382] ppid=16252 vsize=8414124 memory=121848 CPUtime=0 cores=0-7
/proc/16369/task/16382/stat : 16382 (java) S 16252 16252 14714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418090412 8616062976 30462 33554432000 4194304 4196468 140725744791616 140297081018832 140299313784731 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24240128 140725744796663 140725744796822 140725744796822 140725744799695 0
[pid=16369/tid=16383] ppid=16252 vsize=8414124 memory=1440 CPUtime=0.05 cores=0-7
/proc/16369/task/16383/stat : 16383 (java) S 16252 16252 14714 0 -1 1077944384 500 0 0 0 5 0 0 0 20 0 24 0 418090413 8616062976 30462 33554432000 4194304 4196468 140725744791616 140298607487216 140299313777282 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24240128 140725744796663 140725744796822 140725744796822 140725744799695 0
[pid=16369/tid=16384] ppid=16252 vsize=8414124 memory=808 CPUtime=0.06 cores=0-7
/proc/16369/task/16384/stat : 16384 (java) S 16252 16252 14714 0 -1 1077944384 273 0 0 0 6 0 0 0 20 0 24 0 418090413 8616062976 30462 33554432000 4194304 4196468 140725744791616 140298606434672 140299313777282 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24240128 140725744796663 140725744796822 140725744796822 140725744799695 0
[pid=16369/tid=16385] ppid=16252 vsize=8414124 memory=6996516 CPUtime=0.06 cores=0-7
/proc/16369/task/16385/stat : 16385 (java) S 16252 16252 14714 0 -1 1077944384 401 0 0 0 6 0 0 0 20 0 24 0 418090413 8616062976 30462 33554432000 4194304 4196468 140725744791616 140298605381616 140299313777282 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24240128 140725744796663 140725744796822 140725744796822 140725744799695 0
[pid=16369/tid=16386] ppid=16252 vsize=8414124 memory=1332 CPUtime=0.21 cores=0-7
/proc/16369/task/16386/stat : 16386 (java) S 16252 16252 14714 0 -1 1077944384 837 0 0 0 21 0 0 0 20 0 24 0 418090413 8616062976 30462 33554432000 4194304 4196468 140725744791616 140298604329072 140299313777282 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24240128 140725744796663 140725744796822 140725744796822 140725744799695 0
[pid=16369/tid=16387] ppid=16252 vsize=8414124 memory=1472 CPUtime=0 cores=0-7
/proc/16369/task/16387/stat : 16387 (java) S 16252 16252 14714 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 418090413 8616062976 30462 33554432000 4194304 4196468 140725744791616 140296583113696 140299313776341 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24240128 140725744796663 140725744796822 140725744796822 140725744799695 0
[pid=16369/tid=16388] ppid=16252 vsize=8414124 memory=121848 CPUtime=0.29 cores=0-7
/proc/16369/task/16388/stat : 16388 (java) S 16252 16252 14714 0 -1 1077944384 32 0 0 0 19 10 0 0 20 0 24 0 418090414 8616062976 30462 33554432000 4194304 4196468 140725744791616 140298603277488 140299313777282 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24240128 140725744796663 140725744796822 140725744796822 140725744799695 0
[pid=16369/tid=16390] ppid=16252 vsize=8414124 memory=6996872 CPUtime=0 cores=0-7
/proc/16369/task/16390/stat : 16390 (java) S 16252 16252 14714 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 418090480 8616062976 30462 33554432000 4194304 4196468 140725744791616 140298597434816 140299313790745 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 24240128 140725744796663 140725744796822 140725744796822 140725744799695 0
[pid=16369/tid=16392] ppid=16252 vsize=8414124 memory=1472 CPUtime=0.03 cores=0-7
/proc/16369/task/16392/stat : 16392 (java) S 16252 16252 14714 0 -1 4202560 1684 0 0 0 1 2 0 0 20 0 24 0 418090480 8616062976 30462 33554432000 4194304 4196468 140725744791616 140295912013328 140299313788061 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 24240128 140725744796663 140725744796822 140725744796822 140725744799695 0
[pid=16369/tid=16393] ppid=16252 vsize=8414124 memory=121848 CPUtime=0 cores=0-7
/proc/16369/task/16393/stat : 16393 (java) S 16252 16252 14714 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 418090481 8616062976 30462 33554432000 4194304 4196468 140725744791616 140296180448912 140299313788061 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 24240128 140725744796663 140725744796822 140725744796822 140725744799695 0
[pid=16369/tid=16394] ppid=16252 vsize=8414124 memory=6996820 CPUtime=0 cores=0-7
/proc/16369/task/16394/stat : 16394 (java) S 16252 16252 14714 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 418090483 8616062976 30462 33554432000 4194304 4196468 140725744791616 140295643585456 140299313776341 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24240128 140725744796663 140725744796822 140725744796822 140725744799695 0
Current children cumulated CPU time: 5805.83 s
Current children cumulated vsize: 15924888 KiB
Current children cumulated memory: 7124596 KiB

[startup+1730.5 s]
/proc/loadavg: 7.55 6.67 4.17 3/219 16438
/proc/meminfo: memFree=23510820/32770624 swapFree=66935036/67108860
[pid=16252] ppid=16249 vsize=113128 memory=1472 CPUtime=2393.56 cores=0-7
/proc/16252/stat : 16252 (scop.sh) S 16249 16252 14714 0 -1 4202496 581 669791 0 0 0 0 234753 4603 20 0 1 0 417963184 115843072 368 33554432000 4194304 5098028 140720595229648 140720595226392 140102271369852 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 28377088 140720595231525 140720595231852 140720595231852 140720595234765 0
/proc/16252/statm: 28282 368 311 221 0 87 0
[pid=16369] ppid=16252 vsize=8414124 memory=121928 CPUtime=1.57 cores=0-7
/proc/16369/stat : 16369 (java) S 16252 16252 14714 0 -1 1077944320 22559 0 0 0 143 14 0 0 20 0 24 0 418090405 8616062976 30482 33554432000 4194304 4196468 140725744791616 140725744774160 140299313766135 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 24240128 140725744796663 140725744796822 140725744796822 140725744799695 0
/proc/16369/statm: 2103531 30482 3207 1 0 2064875 0
[pid=16369/tid=16370] ppid=16252 vsize=8414124 memory=6791534058613427641 CPUtime=0.76 cores=0-7
/proc/16369/task/16370/stat : 16370 (java) S 16252 16252 14714 0 -1 1077944384 17385 0 0 0 70 6 0 0 20 0 24 0 418090406 8616062976 30482 33554432000 4194304 4196468 140725744791616 140299285606304 140299313776341 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24240128 140725744796663 140725744796822 140725744796822 140725744799695 0
[pid=16369/tid=16371] ppid=16252 vsize=8414124 memory=121848 CPUtime=0 cores=0-7
/proc/16369/task/16371/stat : 16371 (java) S 16252 16252 14714 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 418090407 8616062976 30482 33554432000 4194304 4196468 140725744791616 140299318008848 140299313776341 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24240128 140725744796663 140725744796822 140725744796822 140725744799695 0
[pid=16369/tid=16372] ppid=16252 vsize=8414124 memory=7001272 CPUtime=0 cores=0-7
/proc/16369/task/16372/stat : 16372 (java) S 16252 16252 14714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418090407 8616062976 30482 33554432000 4194304 4196468 140725744791616 140299136097424 140299313776341 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24240128 140725744796663 140725744796822 140725744796822 140725744799695 0
[pid=16369/tid=16373] ppid=16252 vsize=8414124 memory=14008 CPUtime=0 cores=0-7
/proc/16369/task/16373/stat : 16373 (java) S 16252 16252 14714 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 418090407 8616062976 30482 33554432000 4194304 4196468 140725744791616 140299135044368 140299313776341 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24240128 140725744796663 140725744796822 140725744796822 140725744799695 0
[pid=16369/tid=16374] ppid=16252 vsize=8414124 memory=1472 CPUtime=0 cores=0-7
/proc/16369/task/16374/stat : 16374 (java) S 16252 16252 14714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418090407 8616062976 30482 33554432000 4194304 4196468 140725744791616 140298796563344 140299313776341 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24240128 140725744796663 140725744796822 140725744796822 140725744799695 0
[pid=16369/tid=16375] ppid=16252 vsize=8414124 memory=121848 CPUtime=0 cores=0-7
/proc/16369/task/16375/stat : 16375 (java) S 16252 16252 14714 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 418090407 8616062976 30482 33554432000 4194304 4196468 140725744791616 140298795510288 140299313776341 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24240128 140725744796663 140725744796822 140725744796822 140725744799695 0
[pid=16369/tid=16376] ppid=16252 vsize=8414124 memory=7001244 CPUtime=0 cores=0-7
/proc/16369/task/16376/stat : 16376 (java) S 16252 16252 14714 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 418090407 8616062976 30482 33554432000 4194304 4196468 140725744791616 140298794457744 140299313776341 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24240128 140725744796663 140725744796822 140725744796822 140725744799695 0
[pid=16369/tid=16377] ppid=16252 vsize=8414124 memory=6656426216303648864 CPUtime=0 cores=0-7
/proc/16369/task/16377/stat : 16377 (java) S 16252 16252 14714 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 418090407 8616062976 30482 33554432000 4194304 4196468 140725744791616 140298793404688 140299313776341 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24240128 140725744796663 140725744796822 140725744796822 140725744799695 0
[pid=16369/tid=16378] ppid=16252 vsize=8414124 memory=6944656592387989600 CPUtime=0 cores=0-7
/proc/16369/task/16378/stat : 16378 (java) S 16252 16252 14714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418090407 8616062976 30482 33554432000 4194304 4196468 140725744791616 140298792352144 140299313776341 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24240128 140725744796663 140725744796822 140725744796822 140725744799695 0
[pid=16369/tid=16379] ppid=16252 vsize=8414124 memory=4206186544037388384 CPUtime=0.01 cores=0-7
/proc/16369/task/16379/stat : 16379 (java) S 16252 16252 14714 0 -1 1077944384 10 0 0 0 0 1 0 0 20 0 24 0 418090409 8616062976 30482 33554432000 4194304 4196468 140725744791616 140298608540400 140299313777282 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24240128 140725744796663 140725744796822 140725744796822 140725744799695 0
[pid=16369/tid=16380] ppid=16252 vsize=8414124 memory=6655300316396806240 CPUtime=0 cores=0-7
/proc/16369/task/16380/stat : 16380 (java) S 16252 16252 14714 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 418090409 8616062976 30482 33554432000 4194304 4196468 140725744791616 140297589745312 140299313776341 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24240128 140725744796663 140725744796822 140725744796822 140725744799695 0
[pid=16369/tid=16381] ppid=16252 vsize=8414124 memory=6791534058613427641 CPUtime=0 cores=0-7
/proc/16369/task/16381/stat : 16381 (java) S 16252 16252 14714 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 418090409 8616062976 30482 33554432000 4194304 4196468 140725744791616 140297455523056 140299313776341 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24240128 140725744796663 140725744796822 140725744796822 140725744799695 0
[pid=16369/tid=16382] ppid=16252 vsize=8414124 memory=1056 CPUtime=0 cores=0-7
/proc/16369/task/16382/stat : 16382 (java) S 16252 16252 14714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418090412 8616062976 30482 33554432000 4194304 4196468 140725744791616 140297081018832 140299313784731 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24240128 140725744796663 140725744796822 140725744796822 140725744799695 0
[pid=16369/tid=16383] ppid=16252 vsize=8414124 memory=7001232 CPUtime=0.07 cores=0-7
/proc/16369/task/16383/stat : 16383 (java) S 16252 16252 14714 0 -1 1077944384 520 0 0 0 7 0 0 0 20 0 24 0 418090413 8616062976 30482 33554432000 4194304 4196468 140725744791616 140298607487216 140299313777282 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24240128 140725744796663 140725744796822 140725744796822 140725744799695 0
[pid=16369/tid=16384] ppid=16252 vsize=8414124 memory=121848 CPUtime=0.06 cores=0-7
/proc/16369/task/16384/stat : 16384 (java) S 16252 16252 14714 0 -1 1077944384 274 0 0 0 6 0 0 0 20 0 24 0 418090413 8616062976 30482 33554432000 4194304 4196468 140725744791616 140298606434672 140299313777282 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24240128 140725744796663 140725744796822 140725744796822 140725744799695 0
[pid=16369/tid=16385] ppid=16252 vsize=8414124 memory=7001092 CPUtime=0.06 cores=0-7
/proc/16369/task/16385/stat : 16385 (java) S 16252 16252 14714 0 -1 1077944384 401 0 0 0 6 0 0 0 20 0 24 0 418090413 8616062976 30482 33554432000 4194304 4196468 140725744791616 140298605381616 140299313777282 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24240128 140725744796663 140725744796822 140725744796822 140725744799695 0
[pid=16369/tid=16386] ppid=16252 vsize=8414124 memory=1472 CPUtime=0.22 cores=0-7
/proc/16369/task/16386/stat : 16386 (java) S 16252 16252 14714 0 -1 1077944384 846 0 0 0 22 0 0 0 20 0 24 0 418090413 8616062976 30482 33554432000 4194304 4196468 140725744791616 140298604329072 140299313777282 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24240128 140725744796663 140725744796822 140725744796822 140725744799695 0
[pid=16369/tid=16387] ppid=16252 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/16369/task/16387/stat : 16387 (java) S 16252 16252 14714 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 418090413 8616062976 30482 33554432000 4194304 4196468 140725744791616 140296583113696 140299313776341 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24240128 140725744796663 140725744796822 140725744796822 140725744799695 0
[pid=16369/tid=16388] ppid=16252 vsize=8414124 memory=7234581255761848162 CPUtime=0.29 cores=0-7
/proc/16369/task/16388/stat : 16388 (java) S 16252 16252 14714 0 -1 1077944384 32 0 0 0 19 10 0 0 20 0 24 0 418090414 8616062976 30482 33554432000 4194304 4196468 140725744791616 140298603277488 140299313777282 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24240128 140725744796663 140725744796822 140725744796822 140725744799695 0
[pid=16369/tid=16390] ppid=16252 vsize=8414124 memory=7449911889513239128 CPUtime=0 cores=0-7
/proc/16369/task/16390/stat : 16390 (java) S 16252 16252 14714 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 418090480 8616062976 30482 33554432000 4194304 4196468 140725744791616 140298597434816 140299313790745 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 24240128 140725744796663 140725744796822 140725744796822 140725744799695 0
[pid=16369/tid=16392] ppid=16252 vsize=8414124 memory=-7003737579269690708 CPUtime=0.04 cores=0-7
/proc/16369/task/16392/stat : 16392 (java) S 16252 16252 14714 0 -1 4202560 1689 0 0 0 2 2 0 0 20 0 24 0 418090480 8616062976 30482 33554432000 4194304 4196468 140725744791616 140295912013328 140299313788061 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 24240128 140725744796663 140725744796822 140725744796822 140725744799695 0
[pid=16369/tid=16393] ppid=16252 vsize=8414124 memory=-8527398109071045010 CPUtime=0 cores=0-7
/proc/16369/task/16393/stat : 16393 (java) S 16252 16252 14714 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 418090481 8616062976 30482 33554432000 4194304 4196468 140725744791616 140296180448912 140299313788061 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 24240128 140725744796663 140725744796822 140725744796822 140725744799695 0
[pid=16369/tid=16394] ppid=16252 vsize=8414124 memory=1124 CPUtime=0 cores=0-7
/proc/16369/task/16394/stat : 16394 (java) S 16252 16252 14714 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 418090483 8616062976 30482 33554432000 4194304 4196468 140725744791616 140295643585456 140299313776341 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24240128 140725744796663 140725744796822 140725744796822 140725744799695 0
Current children cumulated CPU time: 2395.13 s
Current children cumulated vsize: 8527252 KiB
Current children cumulated memory: 123400 KiB

Child status: 0
Real time (s): 1730.6
CPU time (s): 5806.39
CPU user time (s): 5692.01
CPU system time (s): 114.379
CPU usage (%): 335.513
Max. virtual memory (cumulated for all children) (KiB): 27441876
Max. memory (cumulated for all children) (KiB): 23647408

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 5692.01
system time used= 114.379
maximum resident set size= 23646896
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 28873164
page faults= 0
swaps= 0
block input operations= 24
block output operations= 526096
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2724796
involuntary context switches= 106745


# summary of solver processes directly reported to runsolver:
#   pid: 16252
#   total CPU time (s): 5806.39
#   total CPU user time (s): 5692.01
#   total CPU system time (s): 114.379

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 11.9354 second user time and 21.2439 second system time

The end

Launcher Data 

Begin job on node151 at 2019-09-14 01:21:18
IDJOB=4392404
IDBENCH=121040
IDSOLVER=2838
FILE ID=node151/4392404-1568416916
RUNJOBID= node151-1568416728-14741
PBS_JOBID= 21702250
Free space on /tmp= 59224 MiB

SOLVER NAME= Fun-sCOP order+ManyGlucose (2019-06-15)
BENCH NAME= XCSP17/Random/Random-m1-5-12-12t/rand-5-12-12-200-t85-8.xml
COMMAND LINE= DIR/scop.sh 22g DIR/scop.jar -order DIR/manyglucose-4.1-27_release -model:-nthreads=NBCORE:-maxmemory=20000:-lit-scans=6000000 TMPDIR BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4392404-1568416916/watcher-4392404-1568416916 -o /tmp/evaluation-result-4392404-1568416916/solver-4392404-1568416916 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node151-1568416728-14741 --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-4392404-1568416916.xml

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

MD5SUM BENCH= 99ba47a6bc0c62f84cd44bdd38bc871f
RANDOM SEED=1078332659

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        30906864 kB
MemAvailable:   31853984 kB
Buffers:          177520 kB
Cached:          1062204 kB
SwapCached:        71232 kB
Active:           711540 kB
Inactive:         599400 kB
Active(anon):       7764 kB
Inactive(anon):    96880 kB
Active(file):     703776 kB
Inactive(file):   502520 kB
Unevictable:      110856 kB
Mlocked:          110856 kB
SwapTotal:      67108860 kB
SwapFree:       66935028 kB
Dirty:            106876 kB
Writeback:             0 kB
AnonPages:        112136 kB
Mapped:            36928 kB
Shmem:             24264 kB
Slab:             142124 kB
SReclaimable:     113320 kB
SUnreclaim:        28804 kB
KernelStack:        3376 kB
PageTables:         5148 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     498228 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     69632 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      138624 kB
DirectMap2M:    33406976 kB

Free space on /tmp at the end= 59204 MiB
End job on node151 at 2019-09-14 01:50:09