Trace number 4392279

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

NameRandom/Random-D-t050/
rand-2-40-25-180-050-34.xml
MD5SUM2b23d7f384de8bee09908163d3005f80
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark1.27106
Satisfiable
(Un)Satisfiability was proved
Number of variables40
Number of constraints180
Number of domains1
Minimum domain size25
Maximum domain size25
Distribution of domain sizes[{"size":25,"count":40}]
Minimum variable degree4
Maximum variable degree14
Distribution of variable degrees[{"degree":4,"count":1},{"degree":5,"count":2},{"degree":6,"count":3},{"degree":7,"count":1},{"degree":8,"count":9},{"degree":9,"count":10},{"degree":10,"count":6},{"degree":11,"count":3},{"degree":13,"count":4},{"degree":14,"count":1}]
Minimum constraint arity2
Maximum constraint arity2
Distribution of constraint arities[{"arity":2,"count":180}]
Number of extensional constraints180
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":180}]
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-3649-serial-file.bin HOME/instance-4392279-1568420285.xml
0.66/0.54	
0.66/0.54	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
0.66/0.54	
0.66/0.57	c BEGIN-Prog: Sat Sep 14 02:17:24 CEST 2019
0.66/0.57	c PID: 3652
0.66/0.57	c IP: 172.20.3.141
0.66/0.57	c HOST: node141.alineos.net
0.66/0.57	c (0,0) Parsing Begin
2.53/1.11	c (0,0) Parsing End
2.53/1.12	c (0,0) CSP: 40 int (0 aux), 0 bool (0 aux), 180 ctr, max domain size 25
2.53/1.12	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB)
2.53/1.12	c (0,0) Constraint Name Generate Begin
2.53/1.12	c (0,0) Ctr:HOME/instance-4392279-1568420285.xml,ExtensionConflict:ExtensionSupport:Var
2.53/1.12	c (0,0) Constraint Name Generate End
2.53/1.12	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB)
2.53/1.12	c (0,0) CSP to CSPinCNF Begin
5.63/2.04	c (1,1) translated 18 (10%) constraints
6.82/2.37	c (1,1) translated 36 (20%) constraints
8.04/2.64	c (2,2) translated 54 (30%) constraints
9.25/2.90	c (2,2) translated 72 (40%) constraints
10.09/3.18	c (2,2) translated 90 (50%) constraints
11.26/3.48	c (2,2) translated 108 (60%) constraints
12.02/3.67	c (3,3) translated 126 (70%) constraints
12.75/3.88	c (3,3) translated 144 (80%) constraints
13.54/4.14	c (3,3) translated 162 (90%) constraints
13.93/4.39	c (3,3) translated 180 (100%) constraints
14.14/4.40	c (3,3) ===========================================
14.14/4.40	c (3,3) Order
14.14/4.40	c (3,3) ===========================================
14.51/4.54	c (3,3) translated 4470 (10%) constraints
14.90/4.65	c (4,4) translated 8940 (20%) constraints
15.21/4.74	c (4,4) translated 13410 (30%) constraints
15.41/4.83	c (4,4) translated 17880 (40%) constraints
15.61/4.92	c (4,4) translated 22349 (50%) constraints
15.83/5.01	c (4,4) translated 26819 (60%) constraints
15.83/5.11	c (4,4) translated 31289 (70%) constraints
16.09/5.20	c (4,4) translated 35759 (80%) constraints
16.09/5.29	c (4,4) translated 40229 (90%) constraints
16.26/5.38	c (4,4) translated 44698 (100%) constraints
16.26/5.38	c (4,4) CSP to CSPinCNF End
16.26/5.39	c (4,4) CSP: 40 int (0 aux), 2050 bool (2050 aux), 44698 ctr, max domain size 25
16.26/5.39	c (4,4) Heap : 1576 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB)
16.26/5.39	c (4,4) CSPinCNF Propagation Begin
17.50/5.70	c (5,5) 0 values, 1915 unsatisfiable literals, and 0 valid clauses are removed
17.50/5.70	c (5,5) CSPinCNF Propagation End
17.50/5.70	c (5,5) CSP: 40 int (0 aux), 2050 bool (2050 aux), 44698 ctr, max domain size 25
17.50/5.70	c (5,5) Heap : 1689 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB)
17.50/5.70	c (5,5) Simplify CSPinCNF Begin
17.85/5.82	c (5,5) Simplify CSPinCNF End
17.85/5.82	c (5,5) CSP: 40 int (0 aux), 2050 bool (2050 aux), 44698 ctr, max domain size 25
17.85/5.82	c (5,5) Heap : 1802 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB)
17.85/5.82	c (5,5) Calculate Precise Domain Begin
17.85/5.83	c (5,5) 0 values are removed by re-calculation
17.85/5.83	c (5,5) Calculate Precise Domain End
17.85/5.83	c (5,5) CSP: 40 int (0 aux), 2050 bool (2050 aux), 44698 ctr, max domain size 25
17.85/5.83	c (5,5) Heap : 1802 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB)
17.85/5.83	c (5,5) CSPinCNF to SatSolver Begin
18.50/6.05	c (5,5) 4470 (10 %) CSP clauses are encoded (0 SAT variables, 5389 SAT clauses)
18.90/6.14	c (5,5) 8940 (20 %) CSP clauses are encoded (0 SAT variables, 9859 SAT clauses)
18.90/6.19	c (5,5) 13410 (30 %) CSP clauses are encoded (0 SAT variables, 14329 SAT clauses)
19.19/6.24	c (5,5) 17880 (40 %) CSP clauses are encoded (0 SAT variables, 18799 SAT clauses)
19.19/6.29	c (5,5) 22349 (50 %) CSP clauses are encoded (0 SAT variables, 23268 SAT clauses)
19.30/6.33	c (5,5) 26819 (60 %) CSP clauses are encoded (0 SAT variables, 27738 SAT clauses)
19.30/6.38	c (5,5) 31289 (70 %) CSP clauses are encoded (0 SAT variables, 32208 SAT clauses)
19.41/6.42	c (5,5) 35759 (80 %) CSP clauses are encoded (0 SAT variables, 36678 SAT clauses)
19.41/6.47	c (5,5) 40229 (90 %) CSP clauses are encoded (0 SAT variables, 41148 SAT clauses)
19.51/6.51	c (5,5) 44698 (100 %) CSP clauses are encoded (0 SAT variables, 45617 SAT clauses)
19.51/6.51	c (5,5) CSPinCNF to SatSolver End
19.51/6.51	c (5,5) Heap : 2140 MiB used (max 21589 MiB), NonHeap : 32 MiB used (max 0 MiB)
19.51/6.51	c (5,5) 3010 bool, 45618 clause
19.51/6.51	c (5,5) Export Begin
19.68/6.60	c (6,6) Export to HOME/scop-3649-serial-file.bin
19.68/6.60	c (6,6) Export End
19.68/6.60	c (6,6) Export File Size: 0.01 MB
19.68/6.60	c (6,6) 0,0,4,5,5,5,5,STOP-AFTER(DIMACS)
19.68/6.60	c END-Prog: Sat Sep 14 02:17:30 CEST 2019
19.68/6.62	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-3649-serial-file.bin
20.21/7.08	c (0,0) Read Serial File Begin
20.21/7.08	c (0,0) HOME/scop-3649-serial-file.bin
20.48/7.29	c (0,0) Read Serial File End
20.63/7.30	
20.63/7.30	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
20.63/7.30	(Solving Process)
20.63/7.30	
20.63/7.32	c BEGIN-Prog: Sat Sep 14 02:17:31 CEST 2019
20.63/7.32	c PID: 3672
20.63/7.32	c IP: 172.20.3.141
20.63/7.32	c HOST: node141.alineos.net
20.63/7.33	c (0,0) SatSolver.solve Begin
20.63/7.33	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4392279-1568420285.xml-scop-3652.cnf
20.63/7.35	c (0,0) c
20.63/7.35	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)
20.63/7.35	c (0,0) c
20.63/7.35	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
20.63/7.35	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
20.63/7.35	c (0,0) c ========================================[ Problem Statistics ]===========================================
20.63/7.35	c (0,0) c |                                                                                                       |
20.63/7.36	c (0,0) c |  Number of variables:          3010                                                                   |
20.63/7.36	c (0,0) c |  Number of clauses:           45618                                                                   |
20.63/7.36	c (0,0) c |  Parse time:                   0.01 s                                                                 |
20.63/7.36	c (0,0) c |                                                                                                       |
20.63/7.39	c (0,0) c |  Simplification time:          0.02 s                                                                 |
20.63/7.39	c (0,0) c |                                                                                                       |
20.63/7.39	c (0,0) c |  Generating clones                                                                                    |
20.86/7.40	c (0,0) c |  all clones generated. Memory =    45.38Mb.                                                           |
20.86/7.40	c (0,0) c ========================================================================================================|
20.86/7.40	c (0,0) c
20.86/7.40	c (0,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
20.86/7.40	c (0,0) c
20.86/7.40	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
20.86/7.40	c (0,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
20.86/7.40	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
20.86/7.40	c (0,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
20.86/7.40	c (0,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
20.86/7.40	c (0,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
20.86/7.40	c (0,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
20.86/7.40	c (0,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
20.86/7.40	c (0,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
20.86/7.40	c (0,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
20.86/7.40	c (0,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
20.86/7.40	c (0,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
20.86/7.40	c (0,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
20.86/7.40	c (0,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
20.86/7.40	c (0,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
20.86/7.40	c (0,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
20.86/7.40	c (0,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
20.86/7.40	c (0,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
20.86/7.40	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
49.99/11.18	c (4,0) c
49.99/11.18	c (4,0) c real time : 3.83077 s
49.99/11.18	c (4,0) c cpu time  : 29.1078 s
49.99/11.18	c (4,0) c
49.99/11.18	c (4,0) c
49.99/11.18	c (4,0) c
49.99/11.18	c (4,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
49.99/11.18	c (4,0) c
49.99/11.18	c (4,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
49.99/11.18	c (4,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
49.99/11.18	c (4,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
49.99/11.18	c (4,0) c | Conflicts     |          319950 |      40547 |      39542 |      40155 |      39584 |      40425 |      39787 |      39787 |      40123 |
49.99/11.18	c (4,0) c | Decisions     |          448583 |      56611 |      55115 |      56467 |      55882 |      56288 |      55316 |      56329 |      56575 |
49.99/11.18	c (4,0) c | Propagations  |       103979715 |   12962679 |   13151039 |   12954781 |   13021537 |   13041850 |   12778725 |   13107954 |   12961150 |
49.99/11.18	c (4,0) c | ReduceDBs     |              40 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
49.99/11.18	c (4,0) c | SimpDBs       |               8 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |
49.99/11.18	c (4,0) c | Restarts      |             232 |         24 |         29 |         40 |         29 |         15 |         24 |         29 |         42 |
49.99/11.18	c (4,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
49.99/11.18	c (4,0) c | PropBinClauses|       117833326 |   14709330 |   14914944 |   14698918 |   14745900 |   14751604 |   14534614 |   14851511 |   14626505 |
49.99/11.18	c (4,0) c | PropPreBlocker|      1343746227 |  167940082 |  166906429 |  167320471 |  167480985 |  170779750 |  168104087 |  167049923 |  168164500 |
49.99/11.18	c (4,0) c | PropNotBlocker|       463294445 |   57675422 |   58315199 |   58375961 |   58815088 |   56858242 |   57904337 |   58056213 |   57293983 |
49.99/11.18	c (4,0) c | LitFullScans  |      2211522268 |  276021150 |  276018155 |  276020529 |  276017034 |  279388206 |  276018824 |  276015911 |  276022459 |
49.99/11.18	c (4,0) c | LitScanFracts |           57712 |       7854 |       8285 |       9097 |       6055 |       5198 |       6971 |       5901 |       8351 |
49.99/11.18	c (4,0) c | DecisionLevel0|             232 |         24 |         29 |         40 |         29 |         15 |         24 |         29 |         42 |
49.99/11.18	c (4,0) c | Periods       |             368 |         46 |         46 |         46 |         46 |         46 |         46 |         46 |         46 |
49.99/11.18	c (4,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
49.99/11.18	c (4,0) c | Avg_Trail     |                 |       1068 |       1080 |       1093 |       1092 |       1120 |       1092 |       1118 |       1083 |
49.99/11.18	c (4,0) c | Avg_DL        |                 |         13 |         13 |         14 |         15 |         14 |         13 |         14 |         14 |
49.99/11.18	c (4,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
49.99/11.18	c (4,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
49.99/11.18	c (4,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
49.99/11.18	c (4,0) c | Exported      |           63981 |       7910 |       7778 |       7656 |       8324 |       8556 |       8220 |       7792 |       7745 |
49.99/11.18	c (4,0) c | Imported      |          264046 |      30765 |      33739 |      27935 |      35038 |      35013 |      33644 |      33933 |      33979 |
49.99/11.18	c (4,0) c | Good          |             379 |         47 |         49 |         45 |         52 |         50 |         41 |         48 |         47 |
49.99/11.18	c (4,0) c | Purge         |          263667 |      30718 |      33690 |      27890 |      34986 |      34963 |      33603 |      33885 |      33932 |
49.99/11.18	c (4,0) c | Promoted      |            8535 |       1057 |       1079 |       1044 |       1069 |        771 |       1157 |        934 |       1424 |
49.99/11.18	c (4,0) c | Remove_Imp    |           51187 |       7928 |       6464 |       4853 |       6340 |       2953 |       7855 |       6602 |       8192 |
49.99/11.18	c (4,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
49.99/11.18	c (4,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
49.99/11.18	c (4,0) c | Unaries       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
49.99/11.18	c (4,0) c | Binaries      |                 |         10 |          8 |          5 |          8 |          7 |         18 |         11 |          9 |
49.99/11.18	c (4,0) c | Glues         |                 |        460 |        459 |        481 |        491 |        441 |        454 |        488 |        498 |
49.99/11.18	c (4,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
49.99/11.18	c (4,0) c | Orig_Seen     |            68 % |      30293 |      31379 |      31306 |      31137 |      30742 |      30993 |      32070 |      31430 |
49.99/11.18	c (4,0) c | Diff Orig seen|                 | -      449 |        637 |        564 |        395 |      X     |        251 |       1328 |        688 |
49.99/11.18	c (4,0) c | Hamming       |            41 % |       1293 |       1233 |       1266 |       1213 |      X     |       1224 |       1214 |       1223 |
49.99/11.18	c (4,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
49.99/11.18	c (4,0) c | RunningTime   |                 |    3.7 100%|    3.8 100%|    3.6 100%|    3.7 100%|    3.5 100%|    3.7 100%|    3.6 100%|    3.6 100%|
49.99/11.18	c (4,0) c | WaitingTime   |                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
49.99/11.18	c (4,0) c | ExchangingTime|                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
49.99/11.18	c (4,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%|
49.99/11.18	c (4,0) c | SolvingTime   |                 |    3.7     |    3.8     |    3.6     |    3.7     |    3.5     |    3.7     |    3.7     |    3.6     |
49.99/11.18	c (4,0) c | PropagationTim|                 |    3.3  87%|    3.3  87%|    3.2  87%|    3.2  87%|    3.0  86%|    3.2  87%|    3.2  87%|    3.1  87%|
49.99/11.18	c (4,0) c | AnalysisTime  |                 |    0.3   9%|    0.3   8%|    0.3   9%|    0.3   8%|    0.3   9%|    0.3   9%|    0.3   9%|    0.3   9%|
49.99/11.18	c (4,0) c | ReductionTime |                 |    0.0   1%|    0.0   1%|    0.0   1%|    0.0   1%|    0.0   1%|    0.0   1%|    0.0   1%|    0.0   1%|
49.99/11.18	c (4,0) c | SimplifyTime  |                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
49.99/11.18	c (4,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%|
49.99/11.18	c (4,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%|
49.99/11.18	c (4,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
49.99/11.18	c (4,0) c
49.99/11.18	c (4,0) c
49.99/11.18	c (4,0) c Threads : 8
49.99/11.18	c (4,0) c Winner : 4
49.99/11.18	c (4,0) c Conflicts_0 : 40547
49.99/11.18	c (4,0) c Conflicts_1 : 39542
49.99/11.18	c (4,0) c Conflicts_2 : 40155
49.99/11.18	c (4,0) c Conflicts_3 : 39584
49.99/11.18	c (4,0) c Conflicts_4 : 40425
49.99/11.18	c (4,0) c Conflicts_5 : 39787
49.99/11.18	c (4,0) c Conflicts_6 : 39787
49.99/11.18	c (4,0) c Conflicts_7 : 40123
49.99/11.18	c (4,0) c Conflicts_total : 319950
49.99/11.18	c (4,0) c Conflicts_winner : 40425
49.99/11.18	c (4,0) c Decisions_0 : 56611
49.99/11.18	c (4,0) c Decisions_1 : 55115
49.99/11.18	c (4,0) c Decisions_2 : 56467
49.99/11.18	c (4,0) c Decisions_3 : 55882
49.99/11.18	c (4,0) c Decisions_4 : 56288
49.99/11.18	c (4,0) c Decisions_5 : 55316
49.99/11.18	c (4,0) c Decisions_6 : 56329
49.99/11.18	c (4,0) c Decisions_7 : 56575
49.99/11.18	c (4,0) c Decisions_total : 448583
49.99/11.18	c (4,0) c Decisions_winner : 56288
49.99/11.18	c (4,0) c Propagations_0 : 12962679
49.99/11.18	c (4,0) c Propagations_1 : 13151039
49.99/11.18	c (4,0) c Propagations_2 : 12954781
49.99/11.18	c (4,0) c Propagations_3 : 13021537
49.99/11.18	c (4,0) c Propagations_4 : 13041850
49.99/11.18	c (4,0) c Propagations_5 : 12778725
49.99/11.18	c (4,0) c Propagations_6 : 13107954
49.99/11.18	c (4,0) c Propagations_7 : 12961150
49.99/11.18	c (4,0) c Propagations_total : 103979715
49.99/11.18	c (4,0) c Propagations_winner : 13041850
49.99/11.18	c (4,0) c ReduceDBs_0 : 5
49.99/11.18	c (4,0) c ReduceDBs_1 : 5
49.99/11.18	c (4,0) c ReduceDBs_2 : 5
49.99/11.18	c (4,0) c ReduceDBs_3 : 5
49.99/11.18	c (4,0) c ReduceDBs_4 : 5
49.99/11.18	c (4,0) c ReduceDBs_5 : 5
49.99/11.18	c (4,0) c ReduceDBs_6 : 5
49.99/11.18	c (4,0) c ReduceDBs_7 : 5
49.99/11.18	c (4,0) c ReduceDBs_total : 40
49.99/11.18	c (4,0) c ReduceDBs_winner : 5
49.99/11.18	c (4,0) c SimpDBs_0 : 1
49.99/11.19	c (4,0) c SimpDBs_1 : 1
49.99/11.19	c (4,0) c SimpDBs_2 : 1
49.99/11.19	c (4,0) c SimpDBs_3 : 1
49.99/11.19	c (4,0) c SimpDBs_4 : 1
49.99/11.19	c (4,0) c SimpDBs_5 : 1
49.99/11.19	c (4,0) c SimpDBs_6 : 1
49.99/11.19	c (4,0) c SimpDBs_7 : 1
49.99/11.19	c (4,0) c SimpDBs_total : 8
49.99/11.19	c (4,0) c SimpDBs_winner : 1
49.99/11.19	c (4,0) c Restarts_0 : 24
49.99/11.19	c (4,0) c Restarts_1 : 29
49.99/11.19	c (4,0) c Restarts_2 : 40
49.99/11.19	c (4,0) c Restarts_3 : 29
49.99/11.19	c (4,0) c Restarts_4 : 15
49.99/11.19	c (4,0) c Restarts_5 : 24
49.99/11.19	c (4,0) c Restarts_6 : 29
49.99/11.19	c (4,0) c Restarts_7 : 42
49.99/11.19	c (4,0) c Restarts_total : 232
49.99/11.19	c (4,0) c Restarts_winner : 15
49.99/11.19	c (4,0) c ForcedImports_0 : 0
49.99/11.19	c (4,0) c ForcedImports_1 : 0
49.99/11.19	c (4,0) c ForcedImports_2 : 0
49.99/11.19	c (4,0) c ForcedImports_3 : 0
49.99/11.19	c (4,0) c ForcedImports_4 : 0
49.99/11.19	c (4,0) c ForcedImports_5 : 0
49.99/11.19	c (4,0) c ForcedImports_6 : 0
49.99/11.19	c (4,0) c ForcedImports_7 : 0
49.99/11.19	c (4,0) c ForcedImports_total : 0
49.99/11.19	c (4,0) c ForcedImports_winner : 0
49.99/11.19	c (4,0) c PropsBinClauses_0 : 14709330
49.99/11.19	c (4,0) c PropsBinClauses_1 : 14914944
49.99/11.19	c (4,0) c PropsBinClauses_2 : 14698918
49.99/11.19	c (4,0) c PropsBinClauses_3 : 14745900
49.99/11.19	c (4,0) c PropsBinClauses_4 : 14751604
49.99/11.19	c (4,0) c PropsBinClauses_5 : 14534614
49.99/11.19	c (4,0) c PropsBinClauses_6 : 14851511
49.99/11.19	c (4,0) c PropsBinClauses_7 : 14626505
49.99/11.19	c (4,0) c PropsBinClauses_total : 117833326
49.99/11.19	c (4,0) c PropsBinClauses_winner : 14751604
49.99/11.19	c (4,0) c PropsPreBlocker_0 : 167940082
49.99/11.19	c (4,0) c PropsPreBlocker_1 : 166906429
49.99/11.19	c (4,0) c PropsPreBlocker_2 : 167320471
49.99/11.19	c (4,0) c PropsPreBlocker_3 : 167480985
49.99/11.19	c (4,0) c PropsPreBlocker_4 : 170779750
49.99/11.19	c (4,0) c PropsPreBlocker_5 : 168104087
49.99/11.19	c (4,0) c PropsPreBlocker_6 : 167049923
49.99/11.19	c (4,0) c PropsPreBlocker_7 : 168164500
49.99/11.19	c (4,0) c PropsPreBlocker_total : 1343746227
49.99/11.19	c (4,0) c PropsPreBlocker_winner : 170779750
49.99/11.19	c (4,0) c PropsNotBlocker_0 : 57675422
49.99/11.19	c (4,0) c PropsNotBlocker_1 : 58315199
49.99/11.19	c (4,0) c PropsNotBlocker_2 : 58375961
49.99/11.19	c (4,0) c PropsNotBlocker_3 : 58815088
49.99/11.19	c (4,0) c PropsNotBlocker_4 : 56858242
49.99/11.19	c (4,0) c PropsNotBlocker_5 : 57904337
49.99/11.19	c (4,0) c PropsNotBlocker_6 : 58056213
49.99/11.19	c (4,0) c PropsNotBlocker_7 : 57293983
49.99/11.19	c (4,0) c PropsNotBlocker_total : 463294445
49.99/11.19	c (4,0) c PropsNotBlocker_winner : 56858242
49.99/11.19	c (4,0) c PropsLitFullScans_0 : 276021150
49.99/11.19	c (4,0) c PropsLitFullScans_1 : 276018155
49.99/11.19	c (4,0) c PropsLitFullScans_2 : 276020529
49.99/11.19	c (4,0) c PropsLitFullScans_3 : 276017034
49.99/11.19	c (4,0) c PropsLitFullScans_4 : 279388206
49.99/11.19	c (4,0) c PropsLitFullScans_5 : 276018824
49.99/11.19	c (4,0) c PropsLitFullScans_6 : 276015911
49.99/11.19	c (4,0) c PropsLitFullScans_7 : 276022459
49.99/11.19	c (4,0) c PropsLitFullScans_total : 2211522268
49.99/11.19	c (4,0) c PropsLitFullScans_winner : 279388206
49.99/11.19	c (4,0) c LitScanFractions_0 : 7854
49.99/11.19	c (4,0) c LitScanFractions_1 : 8285
49.99/11.19	c (4,0) c LitScanFractions_2 : 9097
49.99/11.19	c (4,0) c LitScanFractions_3 : 6055
49.99/11.19	c (4,0) c LitScanFractions_4 : 5198
49.99/11.19	c (4,0) c LitScanFractions_5 : 6971
49.99/11.19	c (4,0) c LitScanFractions_6 : 5901
49.99/11.19	c (4,0) c LitScanFractions_7 : 8351
49.99/11.19	c (4,0) c LitScanFractions_total : 57712
49.99/11.19	c (4,0) c LitScanFractions_winner : 5198
49.99/11.19	c (4,0) c DecisionLevel0_0 : 24
49.99/11.19	c (4,0) c DecisionLevel0_1 : 29
49.99/11.19	c (4,0) c DecisionLevel0_2 : 40
49.99/11.19	c (4,0) c DecisionLevel0_3 : 29
49.99/11.19	c (4,0) c DecisionLevel0_4 : 15
49.99/11.19	c (4,0) c DecisionLevel0_5 : 24
49.99/11.19	c (4,0) c DecisionLevel0_6 : 29
49.99/11.19	c (4,0) c DecisionLevel0_7 : 42
49.99/11.19	c (4,0) c DecisionLevel0_total : 232
49.99/11.19	c (4,0) c DecisionLevel0_winner : 15
49.99/11.19	c (4,0) c Periods_0 : 46
49.99/11.19	c (4,0) c Periods_1 : 46
49.99/11.19	c (4,0) c Periods_2 : 46
49.99/11.19	c (4,0) c Periods_3 : 46
49.99/11.19	c (4,0) c Periods_4 : 46
49.99/11.19	c (4,0) c Periods_5 : 46
49.99/11.19	c (4,0) c Periods_6 : 46
49.99/11.19	c (4,0) c Periods_7 : 46
49.99/11.19	c (4,0) c Periods_total : 368
49.99/11.19	c (4,0) c Periods_winner : 46
49.99/11.19	c (4,0) c Margin_0 : 20
49.99/11.19	c (4,0) c Margin_1 : 20
49.99/11.19	c (4,0) c Margin_2 : 20
49.99/11.19	c (4,0) c Margin_3 : 20
49.99/11.19	c (4,0) c Margin_4 : 20
49.99/11.19	c (4,0) c Margin_5 : 20
49.99/11.19	c (4,0) c Margin_6 : 20
49.99/11.19	c (4,0) c Margin_7 : 20
49.99/11.19	c (4,0) c Margin_total : 160
49.99/11.19	c (4,0) c Margin_winner : 20
49.99/11.19	c (4,0) c Exported_0 : 7910
49.99/11.19	c (4,0) c Exported_1 : 7778
49.99/11.19	c (4,0) c Exported_2 : 7656
49.99/11.19	c (4,0) c Exported_3 : 8324
49.99/11.19	c (4,0) c Exported_4 : 8556
49.99/11.19	c (4,0) c Exported_5 : 8220
49.99/11.19	c (4,0) c Exported_6 : 7792
49.99/11.19	c (4,0) c Exported_7 : 7745
49.99/11.19	c (4,0) c Exported_total : 63981
49.99/11.19	c (4,0) c Exported_winner : 8556
49.99/11.19	c (4,0) c Imported_0 : 30765
49.99/11.19	c (4,0) c Imported_1 : 33739
49.99/11.19	c (4,0) c Imported_2 : 27935
49.99/11.19	c (4,0) c Imported_3 : 35038
49.99/11.19	c (4,0) c Imported_4 : 35013
49.99/11.19	c (4,0) c Imported_5 : 33644
49.99/11.19	c (4,0) c Imported_6 : 33933
49.99/11.19	c (4,0) c Imported_7 : 33979
49.99/11.19	c (4,0) c Imported_total : 264046
49.99/11.19	c (4,0) c Imported_winner : 35013
49.99/11.19	c (4,0) c Good_0 : 47
49.99/11.19	c (4,0) c Good_1 : 49
49.99/11.19	c (4,0) c Good_2 : 45
49.99/11.19	c (4,0) c Good_3 : 52
49.99/11.19	c (4,0) c Good_4 : 50
49.99/11.19	c (4,0) c Good_5 : 41
49.99/11.19	c (4,0) c Good_6 : 48
49.99/11.19	c (4,0) c Good_7 : 47
49.99/11.19	c (4,0) c Good_total : 379
49.99/11.19	c (4,0) c Good_winner : 50
49.99/11.19	c (4,0) c Purge_0 : 30718
49.99/11.19	c (4,0) c Purge_1 : 33690
49.99/11.19	c (4,0) c Purge_2 : 27890
49.99/11.19	c (4,0) c Purge_3 : 34986
49.99/11.19	c (4,0) c Purge_4 : 34963
49.99/11.19	c (4,0) c Purge_5 : 33603
49.99/11.19	c (4,0) c Purge_6 : 33885
49.99/11.19	c (4,0) c Purge_7 : 33932
49.99/11.19	c (4,0) c Purge_total : 263667
49.99/11.19	c (4,0) c Purge_winner : 34963
49.99/11.19	c (4,0) c Promoted_0 : 1057
49.99/11.19	c (4,0) c Promoted_1 : 1079
49.99/11.19	c (4,0) c Promoted_2 : 1044
49.99/11.19	c (4,0) c Promoted_3 : 1069
49.99/11.19	c (4,0) c Promoted_4 : 771
49.99/11.19	c (4,0) c Promoted_5 : 1157
49.99/11.19	c (4,0) c Promoted_6 : 934
49.99/11.19	c (4,0) c Promoted_7 : 1424
49.99/11.19	c (4,0) c Promoted_total : 8535
49.99/11.19	c (4,0) c Promoted_winner : 771
49.99/11.19	c (4,0) c Remove_Imp_0 : 7928
49.99/11.19	c (4,0) c Remove_Imp_1 : 6464
49.99/11.19	c (4,0) c Remove_Imp_2 : 4853
49.99/11.19	c (4,0) c Remove_Imp_3 : 6340
49.99/11.19	c (4,0) c Remove_Imp_4 : 2953
49.99/11.19	c (4,0) c Remove_Imp_5 : 7855
49.99/11.19	c (4,0) c Remove_Imp_6 : 6602
49.99/11.19	c (4,0) c Remove_Imp_7 : 8192
49.99/11.19	c (4,0) c Remove_Imp_total : 51187
49.99/11.19	c (4,0) c Remove_Imp_winner : 2953
49.99/11.19	c (4,0) c Blocked_Reuse_0 : 0
49.99/11.19	c (4,0) c Blocked_Reuse_1 : 0
49.99/11.19	c (4,0) c Blocked_Reuse_2 : 0
49.99/11.19	c (4,0) c Blocked_Reuse_3 : 0
49.99/11.19	c (4,0) c Blocked_Reuse_4 : 0
49.99/11.19	c (4,0) c Blocked_Reuse_5 : 0
49.99/11.19	c (4,0) c Blocked_Reuse_6 : 0
49.99/11.19	c (4,0) c Blocked_Reuse_7 : 0
49.99/11.19	c (4,0) c Blocked_Reuse_total : 0
49.99/11.19	c (4,0) c Blocked_Reuse_winner : 0
49.99/11.19	c (4,0) c Unaries_0 : 0
49.99/11.19	c (4,0) c Unaries_1 : 0
49.99/11.19	c (4,0) c Unaries_2 : 0
49.99/11.19	c (4,0) c Unaries_3 : 0
49.99/11.19	c (4,0) c Unaries_4 : 0
49.99/11.19	c (4,0) c Unaries_5 : 0
49.99/11.19	c (4,0) c Unaries_6 : 0
49.99/11.19	c (4,0) c Unaries_7 : 0
49.99/11.19	c (4,0) c Unaries_total : 0
49.99/11.19	c (4,0) c Unaries_winner : 0
49.99/11.19	c (4,0) c Binaries_0 : 10
49.99/11.19	c (4,0) c Binaries_1 : 8
49.99/11.19	c (4,0) c Binaries_2 : 5
49.99/11.19	c (4,0) c Binaries_3 : 8
49.99/11.19	c (4,0) c Binaries_4 : 7
49.99/11.19	c (4,0) c Binaries_5 : 18
49.99/11.19	c (4,0) c Binaries_6 : 11
49.99/11.19	c (4,0) c Binaries_7 : 9
49.99/11.19	c (4,0) c Binaries_total : 76
49.99/11.19	c (4,0) c Binaries_winner : 7
49.99/11.19	c (4,0) c Glues_0 : 460
49.99/11.19	c (4,0) c Glues_1 : 459
49.99/11.19	c (4,0) c Glues_2 : 481
49.99/11.19	c (4,0) c Glues_3 : 491
49.99/11.19	c (4,0) c Glues_4 : 441
49.99/11.19	c (4,0) c Glues_5 : 454
49.99/11.19	c (4,0) c Glues_6 : 488
49.99/11.19	c (4,0) c Glues_7 : 498
49.99/11.19	c (4,0) c Glues_total : 3772
49.99/11.19	c (4,0) c Glues_winner : 441
49.99/11.19	c (4,0) c RunningTime_0 : 3.729586
49.99/11.19	c (4,0) c RunningTime_1 : 3.765938
49.99/11.19	c (4,0) c RunningTime_2 : 3.632436
49.99/11.19	c (4,0) c RunningTime_3 : 3.677559
49.99/11.19	c (4,0) c RunningTime_4 : 3.483173
49.99/11.19	c (4,0) c RunningTime_5 : 3.708262
49.99/11.19	c (4,0) c RunningTime_6 : 3.646419
49.99/11.19	c (4,0) c RunningTime_7 : 3.574708
49.99/11.19	c (4,0) c RunningTime_total : 29.218080
49.99/11.19	c (4,0) c RunningTime_winner : 3.483173
49.99/11.19	c (4,0) c WaitingTime_0 : 0.000026
49.99/11.19	c (4,0) c WaitingTime_1 : 0.000031
49.99/11.19	c (4,0) c WaitingTime_2 : 0.000041
49.99/11.19	c (4,0) c WaitingTime_3 : 0.000041
49.99/11.19	c (4,0) c WaitingTime_4 : 0.000042
49.99/11.19	c (4,0) c WaitingTime_5 : 0.000029
49.99/11.19	c (4,0) c WaitingTime_6 : 0.000026
49.99/11.19	c (4,0) c WaitingTime_7 : 0.000042
49.99/11.19	c (4,0) c WaitingTime_total : 0.000279
49.99/11.19	c (4,0) c WaitingTime_winner : 0.000042
49.99/11.19	c (4,0) c ExchangingTime_0 : 0.009736
49.99/11.19	c (4,0) c ExchangingTime_1 : 0.010166
49.99/11.19	c (4,0) c ExchangingTime_2 : 0.009674
49.99/11.19	c (4,0) c ExchangingTime_3 : 0.010287
49.99/11.19	c (4,0) c ExchangingTime_4 : 0.011880
49.99/11.19	c (4,0) c ExchangingTime_5 : 0.009917
49.99/11.19	c (4,0) c ExchangingTime_6 : 0.009753
49.99/11.19	c (4,0) c ExchangingTime_7 : 0.010590
49.99/11.19	c (4,0) c ExchangingTime_total : 0.082002
49.99/11.19	c (4,0) c ExchangingTime_winner : 0.011880
49.99/11.19	c (4,0) c PeriodProcTime_0 : 0.000344
49.99/11.19	c (4,0) c PeriodProcTime_1 : 0.000307
49.99/11.19	c (4,0) c PeriodProcTime_2 : 0.000330
49.99/11.19	c (4,0) c PeriodProcTime_3 : 0.000323
49.99/11.19	c (4,0) c PeriodProcTime_4 : 0.000353
49.99/11.19	c (4,0) c PeriodProcTime_5 : 0.000391
49.99/11.19	c (4,0) c PeriodProcTime_6 : 0.000322
49.99/11.19	c (4,0) c PeriodProcTime_7 : 0.000321
49.99/11.19	c (4,0) c PeriodProcTime_total : 0.002689
49.99/11.19	c (4,0) c PeriodProcTime_winner : 0.000353
49.99/11.19	c (4,0) c SolvingTime_0 : 3.739692
49.99/11.19	c (4,0) c SolvingTime_1 : 3.776442
49.99/11.19	c (4,0) c SolvingTime_2 : 3.642482
49.99/11.19	c (4,0) c SolvingTime_3 : 3.688210
49.99/11.19	c (4,0) c SolvingTime_4 : 3.495447
49.99/11.19	c (4,0) c SolvingTime_5 : 3.718598
49.99/11.19	c (4,0) c SolvingTime_6 : 3.656520
49.99/11.19	c (4,0) c SolvingTime_7 : 3.585660
49.99/11.19	c (4,0) c SolvingTime_total : 29.303051
49.99/11.19	c (4,0) c SolvingTime_winner : 3.495447
49.99/11.19	c (4,0) c PropagationTime_0 : 3.250273
49.99/11.19	c (4,0) c PropagationTime_1 : 3.298814
49.99/11.19	c (4,0) c PropagationTime_2 : 3.165333
49.99/11.19	c (4,0) c PropagationTime_3 : 3.220623
49.99/11.19	c (4,0) c PropagationTime_4 : 3.010560
49.99/11.19	c (4,0) c PropagationTime_5 : 3.221545
49.99/11.19	c (4,0) c PropagationTime_6 : 3.178357
49.99/11.19	c (4,0) c PropagationTime_7 : 3.115858
49.99/11.19	c (4,0) c PropagationTime_total : 25.461363
49.99/11.19	c (4,0) c PropagationTime_winner : 3.010560
49.99/11.19	c (4,0) c AnalysisTime_0 : 0.323471
49.99/11.19	c (4,0) c AnalysisTime_1 : 0.311484
49.99/11.19	c (4,0) c AnalysisTime_2 : 0.314802
49.99/11.19	c (4,0) c AnalysisTime_3 : 0.307811
49.99/11.19	c (4,0) c AnalysisTime_4 : 0.325051
49.99/11.19	c (4,0) c AnalysisTime_5 : 0.329674
49.99/11.19	c (4,0) c AnalysisTime_6 : 0.316189
49.99/11.19	c (4,0) c AnalysisTime_7 : 0.309712
49.99/11.19	c (4,0) c AnalysisTime_total : 2.538194
49.99/11.19	c (4,0) c AnalysisTime_winner : 0.325051
49.99/11.19	c (4,0) c ReductionTime_0 : 0.039913
49.99/11.19	c (4,0) c ReductionTime_1 : 0.040202
49.99/11.19	c (4,0) c ReductionTime_2 : 0.041602
49.99/11.19	c (4,0) c ReductionTime_3 : 0.040279
49.99/11.19	c (4,0) c ReductionTime_4 : 0.038187
49.99/11.19	c (4,0) c ReductionTime_5 : 0.043397
49.99/11.19	c (4,0) c ReductionTime_6 : 0.039733
49.99/11.19	c (4,0) c ReductionTime_7 : 0.040309
49.99/11.19	c (4,0) c ReductionTime_total : 0.323623
49.99/11.19	c (4,0) c ReductionTime_winner : 0.038187
49.99/11.19	c (4,0) c SimplifyTime_0 : 0.000001
49.99/11.19	c (4,0) c SimplifyTime_1 : 0.000002
49.99/11.19	c (4,0) c SimplifyTime_2 : 0.000004
49.99/11.19	c (4,0) c SimplifyTime_3 : 0.000003
49.99/11.19	c (4,0) c SimplifyTime_4 : 0.000001
49.99/11.19	c (4,0) c SimplifyTime_5 : 0.000001
49.99/11.19	c (4,0) c SimplifyTime_6 : 0.000004
49.99/11.19	c (4,0) c SimplifyTime_7 : 0.000001
49.99/11.19	c (4,0) c SimplifyTime_total : 0.000017
49.99/11.19	c (4,0) c SimplifyTime_winner : 0.000001
49.99/11.19	c (4,0) c UsedRateTime_0 : 0.000000
49.99/11.19	c (4,0) c UsedRateTime_1 : 0.000000
49.99/11.19	c (4,0) c UsedRateTime_2 : 0.000000
49.99/11.19	c (4,0) c UsedRateTime_3 : 0.000000
49.99/11.19	c (4,0) c UsedRateTime_4 : 0.000000
49.99/11.19	c (4,0) c UsedRateTime_5 : 0.000000
49.99/11.19	c (4,0) c UsedRateTime_6 : 0.000000
49.99/11.19	c (4,0) c UsedRateTime_7 : 0.000000
49.99/11.19	c (4,0) c UsedRateTime_total : 0.000000
49.99/11.19	c (4,0) c UsedRateTime_winner : 0.000000
49.99/11.19	c (4,0) c OverlapRateTime_0 : 0.000000
49.99/11.20	c (4,0) c OverlapRateTime_1 : 0.000000
49.99/11.20	c (4,0) c OverlapRateTime_2 : 0.000000
49.99/11.20	c (4,0) c OverlapRateTime_3 : 0.000000
49.99/11.20	c (4,0) c OverlapRateTime_4 : 0.000000
49.99/11.20	c (4,0) c OverlapRateTime_5 : 0.000000
49.99/11.20	c (4,0) c OverlapRateTime_6 : 0.000000
49.99/11.20	c (4,0) c OverlapRateTime_7 : 0.000000
49.99/11.20	c (4,0) c OverlapRateTime_total : 0.000000
49.99/11.20	c (4,0) c OverlapRateTime_winner : 0.000000
49.99/11.20	c (4,0) c
49.99/11.20	c (4,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
49.99/11.20	c (4,0) c
49.99/11.20	c (4,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
49.99/11.20	c (4,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
49.99/11.20	c (4,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
49.99/11.20	c (4,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
49.99/11.20	c (4,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
49.99/11.20	c (4,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
50.17/11.20	c (4,0) c | Initial random_seed   |  173657604 |  123513871 |  104721304 | 2072412908 |   14521069 |  726241711 | 1161679808 | 1661529510 |
50.17/11.20	c (4,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
50.17/11.20	c (4,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
50.17/11.20	c (4,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
50.17/11.20	c (4,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
50.17/11.20	c (4,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
50.17/11.20	c (4,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
50.17/11.20	c (4,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
50.17/11.20	c (4,0) c | var_decay             |     0.8800 |     0.8700 |     0.8800 |     0.8700 |     0.8800 |     0.8700 |     0.8700 |     0.8800 |
50.17/11.20	c (4,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
50.17/11.20	c (4,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
50.17/11.20	c (4,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
50.17/11.20	c (4,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
50.17/11.20	c (4,0) 
50.17/11.20	c (4,0) s SATISFIABLE
50.17/11.21	c (4,0) SatSolver.solve End
50.17/11.21	c (4,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
50.17/11.21	c (4,0) Show results Begin
50.17/11.29	c (4,0) x[0] = 10
50.17/11.29	c (4,0) x[1] = 7
50.17/11.29	c (4,0) x[2] = 18
50.17/11.29	c (4,0) x[3] = 16
50.17/11.29	c (4,0) x[4] = 2
50.17/11.29	c (4,0) x[5] = 20
50.17/11.29	c (4,0) x[6] = 19
50.17/11.29	c (4,0) x[7] = 20
50.17/11.29	c (4,0) x[8] = 8
50.17/11.29	c (4,0) x[9] = 20
50.17/11.29	c (4,0) x[10] = 21
50.17/11.29	c (4,0) x[11] = 11
50.17/11.29	c (4,0) x[12] = 1
50.17/11.29	c (4,0) x[13] = 24
50.17/11.29	c (4,0) x[14] = 3
50.17/11.29	c (4,0) x[15] = 11
50.17/11.29	c (4,0) x[16] = 21
50.17/11.29	c (4,0) x[17] = 5
50.17/11.29	c (4,0) x[18] = 10
50.17/11.29	c (4,0) x[19] = 16
50.17/11.29	c (4,0) x[20] = 14
50.17/11.29	c (4,0) x[21] = 14
50.17/11.29	c (4,0) x[22] = 6
50.17/11.29	c (4,0) x[23] = 4
50.17/11.29	c (4,0) x[24] = 10
50.17/11.29	c (4,0) x[25] = 12
50.17/11.29	c (4,0) x[26] = 7
50.17/11.29	c (4,0) x[27] = 12
50.17/11.29	c (4,0) x[28] = 11
50.17/11.29	c (4,0) x[29] = 9
50.17/11.29	c (4,0) x[30] = 0
50.17/11.29	c (4,0) x[31] = 16
50.17/11.29	c (4,0) x[32] = 7
50.17/11.29	c (4,0) x[33] = 17
50.17/11.29	c (4,0) x[34] = 21
50.17/11.29	c (4,0) x[35] = 4
50.17/11.29	c (4,0) x[36] = 16
50.17/11.29	c (4,0) x[37] = 12
50.17/11.29	c (4,0) x[38] = 7
50.17/11.29	c (4,0) x[39] = 11
50.17/11.29	s SATISFIABLE
50.35/11.30	v <instantiation>
50.35/11.30	v     <list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39]</list>
50.35/11.30	v     <values>10 7 18 16 2 20 19 20 8 20 21 11 1 24 3 11 21 5 10 16 14 14 6 4 10 12 7 12 11 9 0 16 7 17 21 4 16 12 7 11</values>
50.35/11.30	v </instantiation>
50.35/11.30	c (4,0) Show results End
50.35/11.30	c (4,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 17 MiB used (max 0 MiB)
50.35/11.30	c (4,0) 4,4,STOP-AFTER(ALL)
50.35/11.30	c END-Prog: Sat Sep 14 02:17:35 CEST 2019

Verifier Data 

OK

Watcher Data 

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

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

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4392279-1568420285/watcher-4392279-1568420285 -o /tmp/evaluation-result-4392279-1568420285/solver-4392279-1568420285 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node141-1568417565-3025 --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-4392279-1568420285.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
Current StackSize limit: 8192 KiB

solver pid=3649, runsolver pid=3646

[startup+0.100172 s]*
/proc/loadavg: 7.21 7.54 7.63 3/212 3671
/proc/meminfo: memFree=31223220/32770624 swapFree=66919100/67108860
[pid=3649] ppid=3646 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/3649/stat : 3649 (scop.sh) S 3646 3649 2998 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 417966449 115843072 348 33554432000 4194304 5098028 140722546728608 140722546725864 140706166071932 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 8863744 140722546729765 140722546730092 140722546730092 140722546733005 0
/proc/3649/statm: 28282 348 296 221 0 87 0
[pid=3652] ppid=3649 vsize=27314120 memory=105764 CPUtime=0.11 cores=0-7
/proc/3652/stat : 3652 (java) S 3649 3649 2998 0 -1 1077944320 6524 0 0 0 8 3 0 0 20 0 20 0 417966449 27969658880 26376 33554432000 4194304 4196468 140721786617424 140721786599968 140370035683063 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 39165952 140721786618604 140721786619030 140721786619030 140721786621903 0
/proc/3652/statm: 6828530 26441 2797 1 0 6790935 0
[pid=3652/tid=3653] ppid=3649 vsize=27314120 memory=8317482817917895235 CPUtime=0.08 cores=0-7
/proc/3652/task/3653/stat : 3653 (java) R 3649 3649 2998 0 -1 4202560 4617 0 0 0 6 2 0 0 20 0 20 0 417966450 27969658880 26441 33554432000 4194304 4196468 140721786617424 140370007518192 140370019763550 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 39165952 140721786618604 140721786619030 140721786619030 140721786621903 0
[pid=3652/tid=3654] ppid=3649 vsize=27314120 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/3652/task/3654/stat : 3654 (java) S 3649 3649 2998 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417966452 27969658880 26441 33554432000 4194304 4196468 140721786617424 140370039925392 140370035693269 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39165952 140721786618604 140721786619030 140721786619030 140721786621903 0
[pid=3652/tid=3655] ppid=3649 vsize=27314120 memory=139856419923584 CPUtime=0 cores=0-7
/proc/3652/task/3655/stat : 3655 (java) S 3649 3649 2998 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417966452 27969658880 26441 33554432000 4194304 4196468 140721786617424 140369457662480 140370035693269 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39165952 140721786618604 140721786619030 140721786619030 140721786621903 0
[pid=3652/tid=3656] ppid=3649 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3652/task/3656/stat : 3656 (java) S 3649 3649 2998 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417966452 27969658880 26441 33554432000 4194304 4196468 140721786617424 140369456609680 140370035693269 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39165952 140721786618604 140721786619030 140721786619030 140721786621903 0
[pid=3652/tid=3657] ppid=3649 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3652/task/3657/stat : 3657 (java) S 3649 3649 2998 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417966452 27969658880 26441 33554432000 4194304 4196468 140721786617424 140369455556880 140370035693269 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39165952 140721786618604 140721786619030 140721786619030 140721786621903 0
[pid=3652/tid=3658] ppid=3649 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3652/task/3658/stat : 3658 (java) S 3649 3649 2998 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417966452 27969658880 26441 33554432000 4194304 4196468 140721786617424 140369454505104 140370035693269 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39165952 140721786618604 140721786619030 140721786619030 140721786621903 0
[pid=3652/tid=3659] ppid=3649 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/3652/task/3659/stat : 3659 (java) S 3649 3649 2998 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417966452 27969658880 26441 33554432000 4194304 4196468 140721786617424 140369453452304 140370035693269 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39165952 140721786618604 140721786619030 140721786619030 140721786621903 0
[pid=3652/tid=3660] ppid=3649 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3652/task/3660/stat : 3660 (java) S 3649 3649 2998 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417966452 27969658880 26441 33554432000 4194304 4196468 140721786617424 140369452399504 140370035693269 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39165952 140721786618604 140721786619030 140721786619030 140721786621903 0
[pid=3652/tid=3661] ppid=3649 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3652/task/3661/stat : 3661 (java) S 3649 3649 2998 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417966452 27969658880 26441 33554432000 4194304 4196468 140721786617424 140369451346704 140370035693269 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39165952 140721786618604 140721786619030 140721786619030 140721786621903 0
[pid=3652/tid=3662] ppid=3649 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3652/task/3662/stat : 3662 (java) S 3649 3649 2998 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417966454 27969658880 26441 33554432000 4194304 4196468 140721786617424 140369295333744 140370035694210 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39165952 140721786618604 140721786619030 140721786619030 140721786621903 0
[pid=3652/tid=3663] ppid=3649 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3652/task/3663/stat : 3663 (java) S 3649 3649 2998 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 417966454 27969658880 26441 33554432000 4194304 4196468 140721786617424 140367785616416 140370035693269 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39165952 140721786618604 140721786619030 140721786619030 140721786621903 0
[pid=3652/tid=3664] ppid=3649 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3652/task/3664/stat : 3664 (java) S 3649 3649 2998 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 417966454 27969658880 26441 33554432000 4194304 4196468 140721786617424 140367651394416 140370035693269 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39165952 140721786618604 140721786619030 140721786619030 140721786621903 0
[pid=3652/tid=3665] ppid=3649 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3652/task/3665/stat : 3665 (java) S 3649 3649 2998 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417966457 27969658880 26441 33554432000 4194304 4196468 140721786617424 140367276889936 140370035701659 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39165952 140721786618604 140721786619030 140721786619030 140721786621903 0
[pid=3652/tid=3666] ppid=3649 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3652/task/3666/stat : 3666 (java) S 3649 3649 2998 0 -1 1077944384 307 0 0 0 0 0 0 0 20 0 20 0 417966457 27969658880 26441 33554432000 4194304 4196468 140721786617424 140369294281584 140370035694210 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39165952 140721786618604 140721786619030 140721786619030 140721786621903 0
[pid=3652/tid=3667] ppid=3649 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3652/task/3667/stat : 3667 (java) S 3649 3649 2998 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417966457 27969658880 26441 33554432000 4194304 4196468 140721786617424 140369293228784 140370035694210 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39165952 140721786618604 140721786619030 140721786619030 140721786621903 0
[pid=3652/tid=3668] ppid=3649 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3652/task/3668/stat : 3668 (java) S 3649 3649 2998 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417966457 27969658880 26441 33554432000 4194304 4196468 140721786617424 140369292175984 140370035694210 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39165952 140721786618604 140721786619030 140721786619030 140721786621903 0
[pid=3652/tid=3669] ppid=3649 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3652/task/3669/stat : 3669 (java) S 3649 3649 2998 0 -1 1077944384 256 0 0 0 0 0 0 0 20 0 20 0 417966457 27969658880 26441 33554432000 4194304 4196468 140721786617424 140369291123184 140370035694210 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39165952 140721786618604 140721786619030 140721786619030 140721786621903 0
[pid=3652/tid=3670] ppid=3649 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3652/task/3670/stat : 3670 (java) S 3649 3649 2998 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417966457 27969658880 26441 33554432000 4194304 4196468 140721786617424 140366778985056 140370035693269 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39165952 140721786618604 140721786619030 140721786619030 140721786621903 0
[pid=3652/tid=3671] ppid=3649 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/3652/task/3671/stat : 3671 (java) S 3649 3649 2998 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417966457 27969658880 26441 33554432000 4194304 4196468 140721786617424 140369290070576 140370035694210 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39165952 140721786618604 140721786619030 140721786619030 140721786621903 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 107156 KiB

[startup+0.210159 s]*
/proc/loadavg: 7.21 7.54 7.63 3/212 3671
/proc/meminfo: memFree=31204428/32770624 swapFree=66919100/67108860
[pid=3649] ppid=3646 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/3649/stat : 3649 (scop.sh) S 3646 3649 2998 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 417966449 115843072 348 33554432000 4194304 5098028 140722546728608 140722546725864 140706166071932 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 8863744 140722546729765 140722546730092 140722546730092 140722546733005 0
/proc/3649/statm: 28282 348 296 221 0 87 0
[pid=3652] ppid=3649 vsize=27314120 memory=122700 CPUtime=0.25 cores=0-7
/proc/3652/stat : 3652 (java) S 3649 3649 2998 0 -1 1077944320 11412 0 0 0 20 5 0 0 20 0 20 0 417966449 27969658880 30675 33554432000 4194304 4196468 140721786617424 140721786599968 140370035683063 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 39165952 140721786618604 140721786619030 140721786619030 140721786621903 0
/proc/3652/statm: 6828530 30675 2918 1 0 6790935 0
[pid=3652/tid=3653] ppid=3649 vsize=27314120 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/3652/task/3653/stat : 3653 (java) R 3649 3649 2998 0 -1 4202560 9092 0 0 0 16 4 0 0 20 0 20 0 417966450 27969658880 30675 33554432000 4194304 4196468 140721786617424 140370007466624 140370017246615 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 39165952 140721786618604 140721786619030 140721786619030 140721786621903 0
[pid=3652/tid=3654] ppid=3649 vsize=27314120 memory=331 CPUtime=0 cores=0-7
/proc/3652/task/3654/stat : 3654 (java) S 3649 3649 2998 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417966452 27969658880 30675 33554432000 4194304 4196468 140721786617424 140370039925392 140370035693269 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39165952 140721786618604 140721786619030 140721786619030 140721786621903 0
[pid=3652/tid=3655] ppid=3649 vsize=27314120 memory=139856422881877 CPUtime=0 cores=0-7
/proc/3652/task/3655/stat : 3655 (java) S 3649 3649 2998 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417966452 27969658880 30675 33554432000 4194304 4196468 140721786617424 140369457662480 140370035693269 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39165952 140721786618604 140721786619030 140721786619030 140721786621903 0
[pid=3652/tid=3656] ppid=3649 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/3652/task/3656/stat : 3656 (java) S 3649 3649 2998 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417966452 27969658880 30675 33554432000 4194304 4196468 140721786617424 140369456609680 140370035693269 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39165952 140721786618604 140721786619030 140721786619030 140721786621903 0
[pid=3652/tid=3657] ppid=3649 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3652/task/3657/stat : 3657 (java) S 3649 3649 2998 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417966452 27969658880 30675 33554432000 4194304 4196468 140721786617424 140369455556880 140370035693269 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39165952 140721786618604 140721786619030 140721786619030 140721786621903 0
[pid=3652/tid=3658] ppid=3649 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3652/task/3658/stat : 3658 (java) S 3649 3649 2998 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417966452 27969658880 30675 33554432000 4194304 4196468 140721786617424 140369454505104 140370035693269 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39165952 140721786618604 140721786619030 140721786619030 140721786621903 0
[pid=3652/tid=3659] ppid=3649 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/3652/task/3659/stat : 3659 (java) S 3649 3649 2998 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417966452 27969658880 30675 33554432000 4194304 4196468 140721786617424 140369453452304 140370035693269 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39165952 140721786618604 140721786619030 140721786619030 140721786621903 0
[pid=3652/tid=3660] ppid=3649 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3652/task/3660/stat : 3660 (java) S 3649 3649 2998 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417966452 27969658880 30675 33554432000 4194304 4196468 140721786617424 140369452399504 140370035693269 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39165952 140721786618604 140721786619030 140721786619030 140721786621903 0
[pid=3652/tid=3661] ppid=3649 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3652/task/3661/stat : 3661 (java) S 3649 3649 2998 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417966452 27969658880 30675 33554432000 4194304 4196468 140721786617424 140369451346704 140370035693269 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39165952 140721786618604 140721786619030 140721786619030 140721786621903 0
[pid=3652/tid=3662] ppid=3649 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3652/task/3662/stat : 3662 (java) S 3649 3649 2998 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417966454 27969658880 30675 33554432000 4194304 4196468 140721786617424 140369295333744 140370035694210 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39165952 140721786618604 140721786619030 140721786619030 140721786621903 0
[pid=3652/tid=3663] ppid=3649 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3652/task/3663/stat : 3663 (java) S 3649 3649 2998 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 417966454 27969658880 30675 33554432000 4194304 4196468 140721786617424 140367785616416 140370035693269 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39165952 140721786618604 140721786619030 140721786619030 140721786621903 0
[pid=3652/tid=3664] ppid=3649 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3652/task/3664/stat : 3664 (java) S 3649 3649 2998 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 417966454 27969658880 30675 33554432000 4194304 4196468 140721786617424 140367651394416 140370035693269 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39165952 140721786618604 140721786619030 140721786619030 140721786621903 0
[pid=3652/tid=3665] ppid=3649 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3652/task/3665/stat : 3665 (java) S 3649 3649 2998 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417966457 27969658880 30675 33554432000 4194304 4196468 140721786617424 140367276889936 140370035701659 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39165952 140721786618604 140721786619030 140721786619030 140721786621903 0
[pid=3652/tid=3666] ppid=3649 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3652/task/3666/stat : 3666 (java) S 3649 3649 2998 0 -1 1077944384 434 0 0 0 0 0 0 0 20 0 20 0 417966457 27969658880 30675 33554432000 4194304 4196468 140721786617424 140369294281584 140370035694210 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39165952 140721786618604 140721786619030 140721786619030 140721786621903 0
[pid=3652/tid=3667] ppid=3649 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3652/task/3667/stat : 3667 (java) S 3649 3649 2998 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417966457 27969658880 30675 33554432000 4194304 4196468 140721786617424 140369293228784 140370035694210 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39165952 140721786618604 140721786619030 140721786619030 140721786621903 0
[pid=3652/tid=3668] ppid=3649 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/3652/task/3668/stat : 3668 (java) S 3649 3649 2998 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 20 0 417966457 27969658880 30675 33554432000 4194304 4196468 140721786617424 140369292175984 140370035694210 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39165952 140721786618604 140721786619030 140721786619030 140721786621903 0
[pid=3652/tid=3669] ppid=3649 vsize=27314120 memory=-1 CPUtime=0.02 cores=0-7
/proc/3652/task/3669/stat : 3669 (java) S 3649 3649 2998 0 -1 1077944384 482 0 0 0 2 0 0 0 20 0 20 0 417966457 27969658880 30675 33554432000 4194304 4196468 140721786617424 140369291123184 140370035694210 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39165952 140721786618604 140721786619030 140721786619030 140721786621903 0
[pid=3652/tid=3670] ppid=3649 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3652/task/3670/stat : 3670 (java) S 3649 3649 2998 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417966457 27969658880 30675 33554432000 4194304 4196468 140721786617424 140366778985056 140370035693269 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39165952 140721786618604 140721786619030 140721786619030 140721786621903 0
[pid=3652/tid=3671] ppid=3649 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/3652/task/3671/stat : 3671 (java) S 3649 3649 2998 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417966457 27969658880 30675 33554432000 4194304 4196468 140721786617424 140369290070576 140370035694210 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39165952 140721786618604 140721786619030 140721786619030 140721786621903 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 124092 KiB

[startup+0.309629 s]*
/proc/loadavg: 7.21 7.54 7.63 3/212 3671
/proc/meminfo: memFree=31201632/32770624 swapFree=66919100/67108860
[pid=3649] ppid=3646 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/3649/stat : 3649 (scop.sh) S 3646 3649 2998 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 417966449 115843072 348 33554432000 4194304 5098028 140722546728608 140722546725864 140706166071932 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 8863744 140722546729765 140722546730092 140722546730092 140722546733005 0
/proc/3649/statm: 28282 348 296 221 0 87 0
[pid=3652] ppid=3649 vsize=27314120 memory=125980 CPUtime=0.42 cores=0-7
/proc/3652/stat : 3652 (java) S 3649 3649 2998 0 -1 1077944320 12475 0 0 0 37 5 0 0 20 0 20 0 417966449 27969658880 31495 33554432000 4194304 4196468 140721786617424 140721786599968 140370035683063 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 39165952 140721786618604 140721786619030 140721786619030 140721786621903 0
/proc/3652/statm: 6828530 31495 2976 1 0 6790935 0
[pid=3652/tid=3653] ppid=3649 vsize=27314120 memory=8317482817917895235 CPUtime=0.29 cores=0-7
/proc/3652/task/3653/stat : 3653 (java) R 3649 3649 2998 0 -1 4202560 9970 0 0 0 25 4 0 0 20 0 20 0 417966450 27969658880 31495 33554432000 4194304 4196468 140721786617424 140370007513136 140370017246619 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 39165952 140721786618604 140721786619030 140721786619030 140721786621903 0
[pid=3652/tid=3654] ppid=3649 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3652/task/3654/stat : 3654 (java) S 3649 3649 2998 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417966452 27969658880 31495 33554432000 4194304 4196468 140721786617424 140370039925392 140370035693269 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39165952 140721786618604 140721786619030 140721786619030 140721786621903 0
[pid=3652/tid=3655] ppid=3649 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3652/task/3655/stat : 3655 (java) S 3649 3649 2998 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417966452 27969658880 31495 33554432000 4194304 4196468 140721786617424 140369457662480 140370035693269 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39165952 140721786618604 140721786619030 140721786619030 140721786621903 0
[pid=3652/tid=3656] ppid=3649 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3652/task/3656/stat : 3656 (java) S 3649 3649 2998 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417966452 27969658880 31495 33554432000 4194304 4196468 140721786617424 140369456609680 140370035693269 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39165952 140721786618604 140721786619030 140721786619030 140721786621903 0
[pid=3652/tid=3657] ppid=3649 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3652/task/3657/stat : 3657 (java) S 3649 3649 2998 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417966452 27969658880 31495 33554432000 4194304 4196468 140721786617424 140369455556880 140370035693269 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39165952 140721786618604 140721786619030 140721786619030 140721786621903 0
[pid=3652/tid=3658] ppid=3649 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3652/task/3658/stat : 3658 (java) S 3649 3649 2998 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417966452 27969658880 31495 33554432000 4194304 4196468 140721786617424 140369454505104 140370035693269 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39165952 140721786618604 140721786619030 140721786619030 140721786621903 0
[pid=3652/tid=3659] ppid=3649 vsize=27314120 memory=139856281954991 CPUtime=0 cores=0-7
/proc/3652/task/3659/stat : 3659 (java) S 3649 3649 2998 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417966452 27969658880 31495 33554432000 4194304 4196468 140721786617424 140369453452304 140370035693269 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39165952 140721786618604 140721786619030 140721786619030 140721786621903 0
[pid=3652/tid=3660] ppid=3649 vsize=27314120 memory=139856281957296 CPUtime=0 cores=0-7
/proc/3652/task/3660/stat : 3660 (java) S 3649 3649 2998 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417966452 27969658880 31495 33554432000 4194304 4196468 140721786617424 140369452399504 140370035693269 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39165952 140721786618604 140721786619030 140721786619030 140721786621903 0
[pid=3652/tid=3661] ppid=3649 vsize=27314120 memory=139856281959600 CPUtime=0 cores=0-7
/proc/3652/task/3661/stat : 3661 (java) S 3649 3649 2998 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417966452 27969658880 31495 33554432000 4194304 4196468 140721786617424 140369451346704 140370035693269 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39165952 140721786618604 140721786619030 140721786619030 140721786621903 0
[pid=3652/tid=3662] ppid=3649 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3652/task/3662/stat : 3662 (java) S 3649 3649 2998 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417966454 27969658880 31495 33554432000 4194304 4196468 140721786617424 140369295333744 140370035694210 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39165952 140721786618604 140721786619030 140721786619030 140721786621903 0
[pid=3652/tid=3663] ppid=3649 vsize=27314120 memory=279712563933072 CPUtime=0 cores=0-7
/proc/3652/task/3663/stat : 3663 (java) S 3649 3649 2998 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 417966454 27969658880 31495 33554432000 4194304 4196468 140721786617424 140367785616416 140370035693269 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39165952 140721786618604 140721786619030 140721786619030 140721786621903 0
[pid=3652/tid=3664] ppid=3649 vsize=27314120 memory=279712563930768 CPUtime=0 cores=0-7
/proc/3652/task/3664/stat : 3664 (java) S 3649 3649 2998 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 417966454 27969658880 31495 33554432000 4194304 4196468 140721786617424 140367651394416 140370035693269 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39165952 140721786618604 140721786619030 140721786619030 140721786621903 0
[pid=3652/tid=3665] ppid=3649 vsize=27314120 memory=279712563937680 CPUtime=0 cores=0-7
/proc/3652/task/3665/stat : 3665 (java) S 3649 3649 2998 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417966457 27969658880 31495 33554432000 4194304 4196468 140721786617424 140367276889936 140370035701659 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39165952 140721786618604 140721786619030 140721786619030 140721786621903 0
[pid=3652/tid=3666] ppid=3649 vsize=27314120 memory=279712563878960 CPUtime=0.01 cores=0-7
/proc/3652/task/3666/stat : 3666 (java) S 3649 3649 2998 0 -1 1077944384 460 0 0 0 1 0 0 0 20 0 20 0 417966457 27969658880 31495 33554432000 4194304 4196468 140721786617424 140369294281584 140370035694210 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39165952 140721786618604 140721786619030 140721786619030 140721786621903 0
[pid=3652/tid=3667] ppid=3649 vsize=27314120 memory=279712563951504 CPUtime=0.01 cores=0-7
/proc/3652/task/3667/stat : 3667 (java) S 3649 3649 2998 0 -1 1077944384 54 0 0 0 1 0 0 0 20 0 20 0 417966457 27969658880 31495 33554432000 4194304 4196468 140721786617424 140369293228784 140370035694210 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39165952 140721786618604 140721786619030 140721786619030 140721786621903 0
[pid=3652/tid=3668] ppid=3649 vsize=27314120 memory=279712563958416 CPUtime=0.01 cores=0-7
/proc/3652/task/3668/stat : 3668 (java) S 3649 3649 2998 0 -1 1077944384 128 0 0 0 1 0 0 0 20 0 20 0 417966457 27969658880 31495 33554432000 4194304 4196468 140721786617424 140369292175984 140370035694210 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39165952 140721786618604 140721786619030 140721786619030 140721786621903 0
[pid=3652/tid=3669] ppid=3649 vsize=27314120 memory=279712563956112 CPUtime=0.07 cores=0-7
/proc/3652/task/3669/stat : 3669 (java) S 3649 3649 2998 0 -1 1077944384 504 0 0 0 7 0 0 0 20 0 20 0 417966457 27969658880 31495 33554432000 4194304 4196468 140721786617424 140369291123184 140370035694210 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39165952 140721786618604 140721786619030 140721786619030 140721786621903 0
[pid=3652/tid=3670] ppid=3649 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3652/task/3670/stat : 3670 (java) S 3649 3649 2998 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417966457 27969658880 31495 33554432000 4194304 4196468 140721786617424 140366778985056 140370035693269 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39165952 140721786618604 140721786619030 140721786619030 140721786621903 0
[pid=3652/tid=3671] ppid=3649 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/3652/task/3671/stat : 3671 (java) S 3649 3649 2998 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417966457 27969658880 31495 33554432000 4194304 4196468 140721786617424 140369290070576 140370035694210 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39165952 140721786618604 140721786619030 140721786619030 140721786621903 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 127372 KiB

[startup+0.700874 s]
/proc/loadavg: 7.21 7.54 7.63 2/212 3671
/proc/meminfo: memFree=31178564/32770624 swapFree=66919100/67108860
[pid=3649] ppid=3646 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/3649/stat : 3649 (scop.sh) S 3646 3649 2998 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 417966449 115843072 348 33554432000 4194304 5098028 140722546728608 140722546725864 140706166071932 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 8863744 140722546729765 140722546730092 140722546730092 140722546733005 0
/proc/3649/statm: 28282 348 296 221 0 87 0
[pid=3652] ppid=3649 vsize=27320392 memory=163004 CPUtime=1.01 cores=0-7
/proc/3652/stat : 3652 (java) S 3649 3649 2998 0 -1 1077944320 19907 0 0 0 94 7 0 0 20 0 20 0 417966449 27976081408 40751 33554432000 4194304 4196468 140721786617424 140721786599968 140370035683063 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 39165952 140721786618604 140721786619030 140721786619030 140721786621903 0
/proc/3652/statm: 6830098 40751 3180 1 0 6791447 0
[pid=3652/tid=3653] ppid=3649 vsize=27320392 memory=0 CPUtime=0.67 cores=0-7
/proc/3652/task/3653/stat : 3653 (java) R 3649 3649 2998 0 -1 4202560 16923 0 0 0 61 6 0 0 20 0 20 0 417966450 27976081408 40751 33554432000 4194304 4196468 140721786617424 140370007518752 140370035704989 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 39165952 140721786618604 140721786619030 140721786619030 140721786621903 0
[pid=3652/tid=3654] ppid=3649 vsize=27320392 memory=139856282166128 CPUtime=0 cores=0-7
/proc/3652/task/3654/stat : 3654 (java) S 3649 3649 2998 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417966452 27976081408 40751 33554432000 4194304 4196468 140721786617424 140370039925392 140370035693269 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39165952 140721786618604 140721786619030 140721786619030 140721786621903 0
[pid=3652/tid=3655] ppid=3649 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/3652/task/3655/stat : 3655 (java) S 3649 3649 2998 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417966452 27976081408 40751 33554432000 4194304 4196468 140721786617424 140369457662480 140370035693269 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39165952 140721786618604 140721786619030 140721786619030 140721786621903 0
[pid=3652/tid=3656] ppid=3649 vsize=27320392 memory=1560 CPUtime=0 cores=0-7
/proc/3652/task/3656/stat : 3656 (java) S 3649 3649 2998 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417966452 27976081408 40751 33554432000 4194304 4196468 140721786617424 140369456609680 140370035693269 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39165952 140721786618604 140721786619030 140721786619030 140721786621903 0

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

[pid=3672/tid=3674] ppid=3649 vsize=8414124 memory=279712563779080 CPUtime=0 cores=0-7
/proc/3672/task/3674/stat : 3674 (java) S 3649 3649 2998 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 417967113 8616062976 30074 33554432000 4194304 4196468 140733709219008 140390321613968 140390317381333 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6582272 140733709227000 140733709227158 140733709227158 140733709230031 0
[pid=3672/tid=3675] ppid=3649 vsize=8414124 memory=279712564587496 CPUtime=0 cores=0-7
/proc/3672/task/3675/stat : 3675 (java) S 3649 3649 2998 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 417967113 8616062976 30074 33554432000 4194304 4196468 140733709219008 140390135770128 140390317381333 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6582272 140733709227000 140733709227158 140733709227158 140733709230031 0
[pid=3672/tid=3676] ppid=3649 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/3672/task/3676/stat : 3676 (java) S 3649 3649 2998 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 417967113 8616062976 30074 33554432000 4194304 4196468 140733709219008 140390134717328 140390317381333 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6582272 140733709227000 140733709227158 140733709227158 140733709230031 0
[pid=3672/tid=3677] ppid=3649 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/3672/task/3677/stat : 3677 (java) S 3649 3649 2998 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 417967113 8616062976 30074 33554432000 4194304 4196468 140733709219008 140389800114960 140390317381333 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6582272 140733709227000 140733709227158 140733709227158 140733709230031 0
[pid=3672/tid=3678] ppid=3649 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/3672/task/3678/stat : 3678 (java) S 3649 3649 2998 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 417967113 8616062976 30074 33554432000 4194304 4196468 140733709219008 140389799062160 140390317381333 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6582272 140733709227000 140733709227158 140733709227158 140733709230031 0
[pid=3672/tid=3679] ppid=3649 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/3672/task/3679/stat : 3679 (java) S 3649 3649 2998 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 417967113 8616062976 30074 33554432000 4194304 4196468 140733709219008 140389798009360 140390317381333 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6582272 140733709227000 140733709227158 140733709227158 140733709230031 0
[pid=3672/tid=3680] ppid=3649 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/3672/task/3680/stat : 3680 (java) S 3649 3649 2998 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 417967113 8616062976 30074 33554432000 4194304 4196468 140733709219008 140389796956560 140390317381333 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6582272 140733709227000 140733709227158 140733709227158 140733709230031 0
[pid=3672/tid=3681] ppid=3649 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/3672/task/3681/stat : 3681 (java) S 3649 3649 2998 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 417967113 8616062976 30074 33554432000 4194304 4196468 140733709219008 140389795903760 140390317381333 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6582272 140733709227000 140733709227158 140733709227158 140733709230031 0
[pid=3672/tid=3682] ppid=3649 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/3672/task/3682/stat : 3682 (java) S 3649 3649 2998 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 417967114 8616062976 30074 33554432000 4194304 4196468 140733709219008 140389612227440 140390317382274 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6582272 140733709227000 140733709227158 140733709227158 140733709230031 0
[pid=3672/tid=3683] ppid=3649 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/3672/task/3683/stat : 3683 (java) S 3649 3649 2998 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 417967115 8616062976 30074 33554432000 4194304 4196468 140733709219008 140388992017952 140390317381333 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6582272 140733709227000 140733709227158 140733709227158 140733709230031 0
[pid=3672/tid=3684] ppid=3649 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/3672/task/3684/stat : 3684 (java) S 3649 3649 2998 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 417967115 8616062976 30074 33554432000 4194304 4196468 140733709219008 140388723582320 140390317381333 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6582272 140733709227000 140733709227158 140733709227158 140733709230031 0
[pid=3672/tid=3685] ppid=3649 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/3672/task/3685/stat : 3685 (java) S 3649 3649 2998 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 417967117 8616062976 30074 33554432000 4194304 4196468 140733709219008 140388349073744 140390317389723 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6582272 140733709227000 140733709227158 140733709227158 140733709230031 0
[pid=3672/tid=3686] ppid=3649 vsize=8414124 memory=0 CPUtime=0.05 cores=0-7
/proc/3672/task/3686/stat : 3686 (java) S 3649 3649 2998 0 -1 1077944384 678 0 0 0 5 0 0 0 20 0 24 0 417967117 8616062976 30074 33554432000 4194304 4196468 140733709219008 140389611174256 140390317382274 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6582272 140733709227000 140733709227158 140733709227158 140733709230031 0
[pid=3672/tid=3687] ppid=3649 vsize=8414124 memory=0 CPUtime=0.05 cores=0-7
/proc/3672/task/3687/stat : 3687 (java) S 3649 3649 2998 0 -1 1077944384 283 0 0 0 5 0 0 0 20 0 24 0 417967118 8616062976 30074 33554432000 4194304 4196468 140733709219008 140389610121456 140390317382274 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6582272 140733709227000 140733709227158 140733709227158 140733709230031 0
[pid=3672/tid=3688] ppid=3649 vsize=8414124 memory=0 CPUtime=0.06 cores=0-7
/proc/3672/task/3688/stat : 3688 (java) S 3649 3649 2998 0 -1 1077944384 203 0 0 0 6 0 0 0 20 0 24 0 417967118 8616062976 30074 33554432000 4194304 4196468 140733709219008 140389609068656 140390317382274 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6582272 140733709227000 140733709227158 140733709227158 140733709230031 0
[pid=3672/tid=3689] ppid=3649 vsize=8414124 memory=0 CPUtime=0.19 cores=0-7
/proc/3672/task/3689/stat : 3689 (java) S 3649 3649 2998 0 -1 1077944384 588 0 0 0 19 0 0 0 20 0 24 0 417967118 8616062976 30074 33554432000 4194304 4196468 140733709219008 140389608015856 140390317382274 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6582272 140733709227000 140733709227158 140733709227158 140733709230031 0
[pid=3672/tid=3690] ppid=3649 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/3672/task/3690/stat : 3690 (java) S 3649 3649 2998 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 417967118 8616062976 30074 33554432000 4194304 4196468 140733709219008 140387851168864 140390317381333 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6582272 140733709227000 140733709227158 140733709227158 140733709230031 0
[pid=3672/tid=3691] ppid=3649 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/3672/task/3691/stat : 3691 (java) S 3649 3649 2998 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 417967118 8616062976 30074 33554432000 4194304 4196468 140733709219008 140389606964272 140390317382274 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6582272 140733709227000 140733709227158 140733709227158 140733709230031 0
[pid=3672/tid=3693] ppid=3649 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/3672/task/3693/stat : 3693 (java) S 3649 3649 2998 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 417967184 8616062976 30074 33554432000 4194304 4196468 140733709219008 140389598930496 140390317395737 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 6582272 140733709227000 140733709227158 140733709227158 140733709230031 0
[pid=3672/tid=3695] ppid=3649 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/3672/task/3695/stat : 3695 (java) S 3649 3649 2998 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 417967185 8616062976 30074 33554432000 4194304 4196468 140733709219008 140387448503952 140390317393053 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 6582272 140733709227000 140733709227158 140733709227158 140733709230031 0
[pid=3672/tid=3696] ppid=3649 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/3672/task/3696/stat : 3696 (java) S 3649 3649 2998 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 24 0 417967185 8616062976 30074 33554432000 4194304 4196468 140733709219008 140387180068368 140390317393053 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 6582272 140733709227000 140733709227158 140733709227158 140733709230031 0
[pid=3672/tid=3697] ppid=3649 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/3672/task/3697/stat : 3697 (java) S 3649 3649 2998 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 24 0 417967187 8616062976 30074 33554432000 4194304 4196468 140733709219008 140386911640624 140390317381333 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6582272 140733709227000 140733709227158 140733709227158 140733709230031 0
Current children cumulated CPU time: 47.97 s
Current children cumulated vsize: 9166856 KiB
Current children cumulated memory: 248636 KiB

[startup+11.2012 s]
/proc/loadavg: 6.41 7.36 7.57 7/222 3705
/proc/meminfo: memFree=31080068/32770624 swapFree=66919100/67108860
[pid=3649] ppid=3646 vsize=113128 memory=1472 CPUtime=19.71 cores=0-7
/proc/3649/stat : 3649 (scop.sh) S 3646 3649 2998 0 -1 4202496 582 41924 0 0 0 0 1925 46 20 0 1 0 417966449 115843072 368 33554432000 4194304 5098028 140722546728608 140722546725352 140706166071932 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 8863744 140722546729765 140722546730092 140722546730092 140722546733005 0
/proc/3649/statm: 28282 368 311 221 0 87 0
[pid=3672] ppid=3649 vsize=8414124 memory=120572 CPUtime=30.46 cores=0-7
/proc/3672/stat : 3672 (java) S 3649 3649 2998 0 -1 1077944320 21110 55756 0 0 115 7 2910 14 20 0 23 0 417967111 8616062976 30143 33554432000 4194304 4196468 140733709219008 140733709201552 140390317371127 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 6582272 140733709227000 140733709227158 140733709227158 140733709230031 0
/proc/3672/statm: 2103531 30143 3200 1 0 2064875 0
[pid=3672/tid=3673] ppid=3649 vsize=8414124 memory=1704 CPUtime=29.99 cores=0-7
/proc/3672/task/3673/stat : 3673 (java) S 3649 3649 2998 0 -1 1077944384 17892 55756 0 0 71 4 2910 14 20 0 23 0 417967112 8616062976 30143 33554432000 4194304 4196468 140733709219008 140390289211296 140390317381333 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6582272 140733709227000 140733709227158 140733709227158 140733709230031 0
[pid=3672/tid=3674] ppid=3649 vsize=8414124 memory=5936 CPUtime=29.24 cores=0-7
/proc/3672/task/3674/stat : 3674 (java) S 3649 3649 2998 0 -1 1077944384 2 55756 0 0 0 0 2910 14 20 0 23 0 417967113 8616062976 30143 33554432000 4194304 4196468 140733709219008 140390321613968 140390317381333 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6582272 140733709227000 140733709227158 140733709227158 140733709230031 0
[pid=3672/tid=3675] ppid=3649 vsize=8414124 memory=588 CPUtime=29.24 cores=0-7
/proc/3672/task/3675/stat : 3675 (java) S 3649 3649 2998 0 -1 1077944384 2 55756 0 0 0 0 2910 14 20 0 23 0 417967113 8616062976 30143 33554432000 4194304 4196468 140733709219008 140390135770128 140390317381333 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6582272 140733709227000 140733709227158 140733709227158 140733709230031 0
[pid=3672/tid=3676] ppid=3649 vsize=8414124 memory=780 CPUtime=29.24 cores=0-7
/proc/3672/task/3676/stat : 3676 (java) S 3649 3649 2998 0 -1 1077944384 3 55756 0 0 0 0 2910 14 20 0 23 0 417967113 8616062976 30143 33554432000 4194304 4196468 140733709219008 140390134717328 140390317381333 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6582272 140733709227000 140733709227158 140733709227158 140733709230031 0
[pid=3672/tid=3677] ppid=3649 vsize=8414124 memory=1056 CPUtime=29.24 cores=0-7
/proc/3672/task/3677/stat : 3677 (java) S 3649 3649 2998 0 -1 1077944384 1 55756 0 0 0 0 2910 14 20 0 23 0 417967113 8616062976 30143 33554432000 4194304 4196468 140733709219008 140389800114960 140390317381333 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6582272 140733709227000 140733709227158 140733709227158 140733709230031 0
[pid=3672/tid=3678] ppid=3649 vsize=8414124 memory=33 CPUtime=29.24 cores=0-7
/proc/3672/task/3678/stat : 3678 (java) S 3649 3649 2998 0 -1 1077944384 2 55756 0 0 0 0 2910 14 20 0 23 0 417967113 8616062976 30143 33554432000 4194304 4196468 140733709219008 140389799062160 140390317381333 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6582272 140733709227000 140733709227158 140733709227158 140733709230031 0
[pid=3672/tid=3679] ppid=3649 vsize=8414124 memory=0 CPUtime=29.24 cores=0-7
/proc/3672/task/3679/stat : 3679 (java) S 3649 3649 2998 0 -1 1077944384 2 55756 0 0 0 0 2910 14 20 0 23 0 417967113 8616062976 30143 33554432000 4194304 4196468 140733709219008 140389798009360 140390317381333 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6582272 140733709227000 140733709227158 140733709227158 140733709230031 0
[pid=3672/tid=3680] ppid=3649 vsize=8414124 memory=0 CPUtime=29.24 cores=0-7
/proc/3672/task/3680/stat : 3680 (java) S 3649 3649 2998 0 -1 1077944384 2 55756 0 0 0 0 2910 14 20 0 23 0 417967113 8616062976 30143 33554432000 4194304 4196468 140733709219008 140389796956560 140390317381333 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6582272 140733709227000 140733709227158 140733709227158 140733709230031 0
[pid=3672/tid=3681] ppid=3649 vsize=8414124 memory=0 CPUtime=29.24 cores=0-7
/proc/3672/task/3681/stat : 3681 (java) S 3649 3649 2998 0 -1 1077944384 2 55756 0 0 0 0 2910 14 20 0 23 0 417967113 8616062976 30143 33554432000 4194304 4196468 140733709219008 140389795903760 140390317381333 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6582272 140733709227000 140733709227158 140733709227158 140733709230031 0
[pid=3672/tid=3682] ppid=3649 vsize=8414124 memory=0 CPUtime=29.24 cores=0-7
/proc/3672/task/3682/stat : 3682 (java) S 3649 3649 2998 0 -1 1077944384 7 55756 0 0 0 0 2910 14 20 0 23 0 417967114 8616062976 30143 33554432000 4194304 4196468 140733709219008 140389612227440 140390317382274 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6582272 140733709227000 140733709227158 140733709227158 140733709230031 0
[pid=3672/tid=3683] ppid=3649 vsize=8414124 memory=0 CPUtime=29.24 cores=0-7
/proc/3672/task/3683/stat : 3683 (java) S 3649 3649 2998 0 -1 1077944384 13 55756 0 0 0 0 2910 14 20 0 23 0 417967115 8616062976 30143 33554432000 4194304 4196468 140733709219008 140388992017952 140390317381333 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6582272 140733709227000 140733709227158 140733709227158 140733709230031 0
[pid=3672/tid=3684] ppid=3649 vsize=8414124 memory=0 CPUtime=29.24 cores=0-7
/proc/3672/task/3684/stat : 3684 (java) S 3649 3649 2998 0 -1 1077944384 1 55756 0 0 0 0 2910 14 20 0 23 0 417967115 8616062976 30143 33554432000 4194304 4196468 140733709219008 140388723582320 140390317381333 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6582272 140733709227000 140733709227158 140733709227158 140733709230031 0
[pid=3672/tid=3685] ppid=3649 vsize=8414124 memory=0 CPUtime=29.24 cores=0-7
/proc/3672/task/3685/stat : 3685 (java) S 3649 3649 2998 0 -1 1077944384 1 55756 0 0 0 0 2910 14 20 0 23 0 417967117 8616062976 30143 33554432000 4194304 4196468 140733709219008 140388349073744 140390317389723 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6582272 140733709227000 140733709227158 140733709227158 140733709230031 0
[pid=3672/tid=3686] ppid=3649 vsize=8414124 memory=0 CPUtime=29.29 cores=0-7
/proc/3672/task/3686/stat : 3686 (java) S 3649 3649 2998 0 -1 1077944384 681 55756 0 0 5 0 2910 14 20 0 23 0 417967117 8616062976 30143 33554432000 4194304 4196468 140733709219008 140389611174256 140390317382274 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6582272 140733709227000 140733709227158 140733709227158 140733709230031 0
[pid=3672/tid=3687] ppid=3649 vsize=8414124 memory=0 CPUtime=29.3 cores=0-7
/proc/3672/task/3687/stat : 3687 (java) R 3649 3649 2998 0 -1 4202560 284 55756 0 0 6 0 2910 14 20 0 23 0 417967118 8616062976 30143 33554432000 4194304 4196468 140733709219008 140389610112960 140390298892341 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 6582272 140733709227000 140733709227158 140733709227158 140733709230031 0
[pid=3672/tid=3688] ppid=3649 vsize=8414124 memory=0 CPUtime=29.31 cores=0-7
/proc/3672/task/3688/stat : 3688 (java) R 3649 3649 2998 0 -1 4202560 207 55756 0 0 7 0 2910 14 20 0 23 0 417967118 8616062976 30143 33554432000 4194304 4196468 140733709219008 140389609059984 140390310477747 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 6582272 140733709227000 140733709227158 140733709227158 140733709230031 0
[pid=3672/tid=3689] ppid=3649 vsize=8414124 memory=8112282956445269571 CPUtime=29.45 cores=0-7
/proc/3672/task/3689/stat : 3689 (java) R 3649 3649 2998 0 -1 4202560 624 55756 0 0 21 0 2910 14 20 0 23 0 417967118 8616062976 30143 33554432000 4194304 4196468 140733709219008 140389608010896 140390296289617 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 6582272 140733709227000 140733709227158 140733709227158 140733709230031 0
[pid=3672/tid=3690] ppid=3649 vsize=8414124 memory=276 CPUtime=29.24 cores=0-7
/proc/3672/task/3690/stat : 3690 (java) S 3649 3649 2998 0 -1 1077944384 3 55756 0 0 0 0 2910 14 20 0 23 0 417967118 8616062976 30143 33554432000 4194304 4196468 140733709219008 140387851168864 140390317381333 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6582272 140733709227000 140733709227158 140733709227158 140733709230031 0
[pid=3672/tid=3691] ppid=3649 vsize=8414124 memory=283 CPUtime=29.24 cores=0-7
/proc/3672/task/3691/stat : 3691 (java) S 3649 3649 2998 0 -1 1077944384 3 55756 0 0 0 0 2910 14 20 0 23 0 417967118 8616062976 30143 33554432000 4194304 4196468 140733709219008 140389606964272 140390317382274 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6582272 140733709227000 140733709227158 140733709227158 140733709230031 0
[pid=3672/tid=3693] ppid=3649 vsize=8414124 memory=280 CPUtime=29.24 cores=0-7
/proc/3672/task/3693/stat : 3693 (java) S 3649 3649 2998 0 -1 1077944384 30 55756 0 0 0 0 2910 14 20 0 23 0 417967184 8616062976 30143 33554432000 4194304 4196468 140733709219008 140389598929680 140390317382274 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6582272 140733709227000 140733709227158 140733709227158 140733709230031 0
[pid=3672/tid=3695] ppid=3649 vsize=8414124 memory=89 CPUtime=29.25 cores=0-7
/proc/3672/task/3695/stat : 3695 (java) R 3649 3649 2998 0 -1 4202560 36 55756 0 0 1 0 2910 14 20 0 23 0 417967185 8616062976 30143 33554432000 4194304 4196468 140733709219008 140387448507088 140390317392957 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 6582272 140733709227000 140733709227158 140733709227158 140733709230031 0
[pid=3672/tid=3697] ppid=3649 vsize=8414124 memory=0 CPUtime=29.24 cores=0-7
/proc/3672/task/3697/stat : 3697 (java) S 3649 3649 2998 0 -1 1077944384 4 55756 0 0 0 0 2910 14 20 0 23 0 417967187 8616062976 30143 33554432000 4194304 4196468 140733709219008 140386911640384 140390317381333 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6582272 140733709227000 140733709227158 140733709227158 140733709230031 0
Current children cumulated CPU time: 50.17 s
Current children cumulated vsize: 8527252 KiB
Current children cumulated memory: 122044 KiB

[startup+11.3009 s]
/proc/loadavg: 6.41 7.36 7.57 7/222 3705
/proc/meminfo: memFree=31080068/32770624 swapFree=66919100/67108860
[pid=3649] ppid=3646 vsize=113128 memory=1472 CPUtime=19.71 cores=0-7
/proc/3649/stat : 3649 (scop.sh) S 3646 3649 2998 0 -1 4202496 582 41924 0 0 0 0 1925 46 20 0 1 0 417966449 115843072 368 33554432000 4194304 5098028 140722546728608 140722546725352 140706166071932 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 8863744 140722546729765 140722546730092 140722546730092 140722546733005 0
/proc/3649/statm: 28282 368 311 221 0 87 0
[pid=3672] ppid=3649 vsize=8283048 memory=126596 CPUtime=30.64 cores=0-7
/proc/3672/stat : 3672 (java) S 3649 3649 2998 0 -1 1077944320 21587 55756 0 0 133 7 2910 14 20 0 22 0 417967111 8481841152 31649 33554432000 4194304 4196468 140733709219008 140733709201552 140390317371127 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 6582272 140733709227000 140733709227158 140733709227158 140733709230031 0
/proc/3672/statm: 2070762 31649 3212 1 0 2032106 0
[pid=3672/tid=3673] ppid=3649 vsize=8283048 memory=1472 CPUtime=30.08 cores=0-7
/proc/3672/task/3673/stat : 3673 (java) R 3649 3649 2998 0 -1 4202560 18184 55756 0 0 80 4 2910 14 20 0 22 0 417967112 8481841152 31649 33554432000 4194304 4196468 140733709219008 140390289209184 140389816759272 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 6582272 140733709227000 140733709227158 140733709227158 140733709230031 0
[pid=3672/tid=3674] ppid=3649 vsize=8283048 memory=120296 CPUtime=29.24 cores=0-7
/proc/3672/task/3674/stat : 3674 (java) S 3649 3649 2998 0 -1 1077944384 2 55756 0 0 0 0 2910 14 20 0 22 0 417967113 8481841152 31649 33554432000 4194304 4196468 140733709219008 140390321613968 140390317381333 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6582272 140733709227000 140733709227158 140733709227158 140733709230031 0
[pid=3672/tid=3675] ppid=3649 vsize=8283048 memory=130096 CPUtime=29.24 cores=0-7
/proc/3672/task/3675/stat : 3675 (java) S 3649 3649 2998 0 -1 1077944384 2 55756 0 0 0 0 2910 14 20 0 22 0 417967113 8481841152 31649 33554432000 4194304 4196468 140733709219008 140390135770128 140390317381333 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6582272 140733709227000 140733709227158 140733709227158 140733709230031 0
[pid=3672/tid=3676] ppid=3649 vsize=8283048 memory=33 CPUtime=29.24 cores=0-7
/proc/3672/task/3676/stat : 3676 (java) S 3649 3649 2998 0 -1 1077944384 3 55756 0 0 0 0 2910 14 20 0 22 0 417967113 8481841152 31649 33554432000 4194304 4196468 140733709219008 140390134717328 140390317381333 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6582272 140733709227000 140733709227158 140733709227158 140733709230031 0
[pid=3672/tid=3677] ppid=3649 vsize=8283048 memory=1330 CPUtime=29.24 cores=0-7
/proc/3672/task/3677/stat : 3677 (java) S 3649 3649 2998 0 -1 1077944384 1 55756 0 0 0 0 2910 14 20 0 22 0 417967113 8481841152 31649 33554432000 4194304 4196468 140733709219008 140389800114960 140390317381333 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6582272 140733709227000 140733709227158 140733709227158 140733709230031 0
[pid=3672/tid=3678] ppid=3649 vsize=8283048 memory=30245 CPUtime=29.24 cores=0-7
/proc/3672/task/3678/stat : 3678 (java) S 3649 3649 2998 0 -1 1077944384 2 55756 0 0 0 0 2910 14 20 0 22 0 417967113 8481841152 31649 33554432000 4194304 4196468 140733709219008 140389799062160 140390317381333 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6582272 140733709227000 140733709227158 140733709227158 140733709230031 0
[pid=3672/tid=3679] ppid=3649 vsize=8283048 memory=988 CPUtime=29.24 cores=0-7
/proc/3672/task/3679/stat : 3679 (java) S 3649 3649 2998 0 -1 1077944384 2 55756 0 0 0 0 2910 14 20 0 22 0 417967113 8481841152 31649 33554432000 4194304 4196468 140733709219008 140389798009360 140390317381333 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6582272 140733709227000 140733709227158 140733709227158 140733709230031 0
[pid=3672/tid=3680] ppid=3649 vsize=8283048 memory=2012 CPUtime=29.24 cores=0-7
/proc/3672/task/3680/stat : 3680 (java) S 3649 3649 2998 0 -1 1077944384 2 55756 0 0 0 0 2910 14 20 0 22 0 417967113 8481841152 31649 33554432000 4194304 4196468 140733709219008 140389796956560 140390317381333 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6582272 140733709227000 140733709227158 140733709227158 140733709230031 0
[pid=3672/tid=3681] ppid=3649 vsize=8283048 memory=1324 CPUtime=29.24 cores=0-7
/proc/3672/task/3681/stat : 3681 (java) S 3649 3649 2998 0 -1 1077944384 2 55756 0 0 0 0 2910 14 20 0 22 0 417967113 8481841152 31649 33554432000 4194304 4196468 140733709219008 140389795903760 140390317381333 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6582272 140733709227000 140733709227158 140733709227158 140733709230031 0
[pid=3672/tid=3682] ppid=3649 vsize=8283048 memory=3616 CPUtime=29.24 cores=0-7
/proc/3672/task/3682/stat : 3682 (java) S 3649 3649 2998 0 -1 1077944384 7 55756 0 0 0 0 2910 14 20 0 22 0 417967114 8481841152 31649 33554432000 4194304 4196468 140733709219008 140389612227440 140390317382274 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6582272 140733709227000 140733709227158 140733709227158 140733709230031 0
[pid=3672/tid=3683] ppid=3649 vsize=8283048 memory=0 CPUtime=29.24 cores=0-7
/proc/3672/task/3683/stat : 3683 (java) S 3649 3649 2998 0 -1 1077944384 13 55756 0 0 0 0 2910 14 20 0 22 0 417967115 8481841152 31649 33554432000 4194304 4196468 140733709219008 140388992017952 140390317381333 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6582272 140733709227000 140733709227158 140733709227158 140733709230031 0
[pid=3672/tid=3684] ppid=3649 vsize=8283048 memory=139856281883972 CPUtime=29.24 cores=0-7
/proc/3672/task/3684/stat : 3684 (java) S 3649 3649 2998 0 -1 1077944384 1 55756 0 0 0 0 2910 14 20 0 22 0 417967115 8481841152 31649 33554432000 4194304 4196468 140733709219008 140388723582320 140390317381333 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6582272 140733709227000 140733709227158 140733709227158 140733709230031 0
[pid=3672/tid=3685] ppid=3649 vsize=8283048 memory=1172 CPUtime=29.24 cores=0-7
/proc/3672/task/3685/stat : 3685 (java) S 3649 3649 2998 0 -1 1077944384 1 55756 0 0 0 0 2910 14 20 0 22 0 417967117 8481841152 31649 33554432000 4194304 4196468 140733709219008 140388349073744 140390317389723 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6582272 140733709227000 140733709227158 140733709227158 140733709230031 0
[pid=3672/tid=3686] ppid=3649 vsize=8283048 memory=14008 CPUtime=29.31 cores=0-7
/proc/3672/task/3686/stat : 3686 (java) S 3649 3649 2998 0 -1 1077944384 693 55756 0 0 7 0 2910 14 20 0 22 0 417967117 8481841152 31649 33554432000 4194304 4196468 140733709219008 140389611174256 140390317382274 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6582272 140733709227000 140733709227158 140733709227158 140733709230031 0
[pid=3672/tid=3687] ppid=3649 vsize=8283048 memory=14072 CPUtime=29.3 cores=0-7
/proc/3672/task/3687/stat : 3687 (java) S 3649 3649 2998 0 -1 1077944384 295 55756 0 0 6 0 2910 14 20 0 22 0 417967118 8481841152 31649 33554432000 4194304 4196468 140733709219008 140389610121456 140390317382274 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6582272 140733709227000 140733709227158 140733709227158 140733709230031 0
[pid=3672/tid=3688] ppid=3649 vsize=8283048 memory=2116 CPUtime=29.32 cores=0-7
/proc/3672/task/3688/stat : 3688 (java) S 3649 3649 2998 0 -1 1077944384 212 55756 0 0 8 0 2910 14 20 0 22 0 417967118 8481841152 31649 33554432000 4194304 4196468 140733709219008 140389609068656 140390317382274 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6582272 140733709227000 140733709227158 140733709227158 140733709230031 0
[pid=3672/tid=3689] ppid=3649 vsize=8283048 memory=8664 CPUtime=29.5 cores=0-7
/proc/3672/task/3689/stat : 3689 (java) R 3649 3649 2998 0 -1 4202560 742 55756 0 0 26 0 2910 14 20 0 22 0 417967118 8481841152 31649 33554432000 4194304 4196468 140733709219008 140389608015856 140390296318625 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 6582272 140733709227000 140733709227158 140733709227158 140733709230031 0
[pid=3672/tid=3690] ppid=3649 vsize=8283048 memory=-4075877051373423742 CPUtime=29.24 cores=0-7
/proc/3672/task/3690/stat : 3690 (java) S 3649 3649 2998 0 -1 1077944384 3 55756 0 0 0 0 2910 14 20 0 22 0 417967118 8481841152 31649 33554432000 4194304 4196468 140733709219008 140387851168864 140390317381333 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6582272 140733709227000 140733709227158 140733709227158 140733709230031 0
[pid=3672/tid=3691] ppid=3649 vsize=8283048 memory=800 CPUtime=29.24 cores=0-7
/proc/3672/task/3691/stat : 3691 (java) S 3649 3649 2998 0 -1 1077944384 3 55756 0 0 0 0 2910 14 20 0 22 0 417967118 8481841152 31649 33554432000 4194304 4196468 140733709219008 140389606964272 140390317382274 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6582272 140733709227000 140733709227158 140733709227158 140733709230031 0
[pid=3672/tid=3693] ppid=3649 vsize=8283048 memory=1804 CPUtime=29.24 cores=0-7
/proc/3672/task/3693/stat : 3693 (java) S 3649 3649 2998 0 -1 1077944384 30 55756 0 0 0 0 2910 14 20 0 22 0 417967184 8481841152 31649 33554432000 4194304 4196468 140733709219008 140389598929680 140390317382274 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6582272 140733709227000 140733709227158 140733709227158 140733709230031 0
[pid=3672/tid=3697] ppid=3649 vsize=8283048 memory=8112282956445269571 CPUtime=29.24 cores=0-7
/proc/3672/task/3697/stat : 3697 (java) S 3649 3649 2998 0 -1 1077944384 7 55756 0 0 0 0 2910 14 20 0 22 0 417967187 8481841152 31649 33554432000 4194304 4196468 140733709219008 140386911642416 140390317382274 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6582272 140733709227000 140733709227158 140733709227158 140733709230031 0
Current children cumulated CPU time: 50.35 s
Current children cumulated vsize: 8396176 KiB
Current children cumulated memory: 128068 KiB

Child status: 0
Real time (s): 11.3201
CPU time (s): 50.3919
CPU user time (s): 49.6984
CPU system time (s): 0.693568
CPU usage (%): 445.156
Max. virtual memory (cumulated for all children) (KiB): 27443924
Max. memory (cumulated for all children) (KiB): 2101836

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 49.6984
system time used= 0.693568
maximum resident set size= 2103220
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 119880
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1864
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 10637
involuntary context switches= 337


# summary of solver processes directly reported to runsolver:
#   pid: 3649
#   total CPU time (s): 50.3919
#   total CPU user time (s): 49.6984
#   total CPU system time (s): 0.693568

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.129193 second user time and 0.155972 second system time

The end

Launcher Data 

Begin job on node141 at 2019-09-14 02:17:24
IDJOB=4392279
IDBENCH=122262
IDSOLVER=2838
FILE ID=node141/4392279-1568420285
RUNJOBID= node141-1568417565-3025
PBS_JOBID= 21702276
Free space on /tmp= 58540 MiB

SOLVER NAME= Fun-sCOP order+ManyGlucose (2019-06-15)
BENCH NAME= XCSP17/Random/Random-D-t050/rand-2-40-25-180-050-34.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-4392279-1568420285/watcher-4392279-1568420285 -o /tmp/evaluation-result-4392279-1568420285/solver-4392279-1568420285 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node141-1568417565-3025 --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-4392279-1568420285.xml

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

MD5SUM BENCH= 2b23d7f384de8bee09908163d3005f80
RANDOM SEED=529764742

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        31316912 kB
MemAvailable:   31842624 kB
Buffers:          173896 kB
Cached:           639688 kB
SwapCached:        80512 kB
Active:           415696 kB
Inactive:         482756 kB
Active(anon):       9924 kB
Inactive(anon):   106128 kB
Active(file):     405772 kB
Inactive(file):   376628 kB
Unevictable:      109460 kB
Mlocked:          109460 kB
SwapTotal:      67108860 kB
SwapFree:       66919100 kB
Dirty:             20984 kB
Writeback:             0 kB
AnonPages:        113516 kB
Mapped:            35840 kB
Shmem:             23132 kB
Slab:             148104 kB
SReclaimable:     118292 kB
SUnreclaim:        29812 kB
KernelStack:        3440 kB
PageTables:         6280 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     498564 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     67584 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      128384 kB
DirectMap2M:    33417216 kB

Free space on /tmp at the end= 58520 MiB
End job on node141 at 2019-09-14 02:17:35