Trace number 4405139

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Fun-sCOP order+ManyGlucose (2019-09-22)SAT 51.2773 11.4843

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-28199-serial-file.bin HOME/instance-4405139-1569239409.xml
0.65/0.55	
0.65/0.55	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
0.65/0.55	
0.65/0.57	c BEGIN-Prog: Mon Sep 23 12:39:47 CEST 2019
0.65/0.57	c PID: 28202
0.65/0.57	c IP: 172.20.3.104
0.65/0.57	c HOST: node104.alineos.net
0.65/0.58	c (0,0) Parsing Begin
2.44/1.12	c (0,0) Parsing End
2.44/1.13	c (0,0) CSP: 40 int (0 aux), 0 bool (0 aux), 180 ctr, max domain size 25
2.44/1.13	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB)
2.44/1.13	c (0,0) Constraint Name Generate Begin
2.44/1.14	c (0,0) Ctr:HOME/instance-4405139-1569239409.xml,ExtensionConflict:ExtensionSupport:Var
2.44/1.14	c (0,0) Constraint Name Generate End
2.44/1.14	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB)
2.44/1.14	c (0,0) CSP to CSPinCNF Begin
5.47/2.06	c (1,1) translated 18 (10%) constraints
7.05/2.40	c (1,1) translated 36 (20%) constraints
7.86/2.68	c (2,2) translated 54 (30%) constraints
9.07/2.94	c (2,2) translated 72 (40%) constraints
10.27/3.22	c (2,2) translated 90 (50%) constraints
11.48/3.53	c (2,2) translated 108 (60%) constraints
12.28/3.75	c (3,3) translated 126 (70%) constraints
13.08/3.96	c (3,3) translated 144 (80%) constraints
13.87/4.23	c (3,3) translated 162 (90%) constraints
14.33/4.49	c (3,3) translated 180 (100%) constraints
14.33/4.50	c (3,3) ===========================================
14.53/4.50	c (3,3) Order
14.53/4.50	c (3,3) ===========================================
14.92/4.64	c (4,4) translated 4470 (10%) constraints
15.25/4.74	c (4,4) translated 8940 (20%) constraints
15.56/4.84	c (4,4) translated 13410 (30%) constraints
15.77/4.94	c (4,4) translated 17880 (40%) constraints
15.98/5.04	c (4,4) translated 22349 (50%) constraints
16.19/5.12	c (4,4) translated 26819 (60%) constraints
16.34/5.23	c (4,4) translated 31289 (70%) constraints
16.44/5.33	c (4,4) translated 35759 (80%) constraints
16.57/5.42	c (4,4) translated 40229 (90%) constraints
16.72/5.52	c (4,4) translated 44698 (100%) constraints
16.72/5.52	c (4,4) CSP to CSPinCNF End
16.72/5.52	c (4,4) CSP: 40 int (0 aux), 2050 bool (2050 aux), 44698 ctr, max domain size 25
16.72/5.52	c (4,4) Heap : 1576 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB)
16.72/5.52	c (4,4) CSPinCNF Propagation Begin
17.81/5.84	c (5,5) 0 values, 1915 unsatisfiable literals, and 0 valid clauses are removed
17.81/5.84	c (5,5) CSPinCNF Propagation End
17.81/5.84	c (5,5) CSP: 40 int (0 aux), 2050 bool (2050 aux), 44698 ctr, max domain size 25
17.81/5.84	c (5,5) Heap : 1689 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB)
17.81/5.84	c (5,5) Simplify CSPinCNF Begin
18.20/5.97	c (5,5) Simplify CSPinCNF End
18.20/5.97	c (5,5) CSP: 40 int (0 aux), 2050 bool (2050 aux), 44698 ctr, max domain size 25
18.20/5.97	c (5,5) Heap : 1802 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB)
18.20/5.97	c (5,5) Calculate Precise Domain Begin
18.20/5.97	c (5,5) 0 values are removed by re-calculation
18.20/5.97	c (5,5) Calculate Precise Domain End
18.20/5.97	c (5,5) CSP: 40 int (0 aux), 2050 bool (2050 aux), 44698 ctr, max domain size 25
18.20/5.97	c (5,5) Heap : 1802 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB)
18.20/5.97	c (5,5) CSPinCNF to SatSolver Begin
19.11/6.21	c (5,5) 4470 (10 %) CSP clauses are encoded (0 SAT variables, 5389 SAT clauses)
19.51/6.30	c (5,5) 8940 (20 %) CSP clauses are encoded (0 SAT variables, 9859 SAT clauses)
19.51/6.35	c (5,5) 13410 (30 %) CSP clauses are encoded (0 SAT variables, 14329 SAT clauses)
19.71/6.40	c (5,5) 17880 (40 %) CSP clauses are encoded (0 SAT variables, 18799 SAT clauses)
19.71/6.45	c (5,5) 22349 (50 %) CSP clauses are encoded (0 SAT variables, 23268 SAT clauses)
19.71/6.49	c (5,5) 26819 (60 %) CSP clauses are encoded (0 SAT variables, 27738 SAT clauses)
19.82/6.55	c (5,5) 31289 (70 %) CSP clauses are encoded (0 SAT variables, 32208 SAT clauses)
19.82/6.60	c (6,6) 35759 (80 %) CSP clauses are encoded (0 SAT variables, 36678 SAT clauses)
19.94/6.64	c (6,6) 40229 (90 %) CSP clauses are encoded (0 SAT variables, 41148 SAT clauses)
19.94/6.69	c (6,6) 44698 (100 %) CSP clauses are encoded (0 SAT variables, 45617 SAT clauses)
19.94/6.69	c (6,6) CSPinCNF to SatSolver End
19.94/6.69	c (6,6) Heap : 2140 MiB used (max 21589 MiB), NonHeap : 32 MiB used (max 0 MiB)
19.94/6.69	c (6,6) 3010 bool, 45618 clause
19.94/6.69	c (6,6) Export Begin
20.04/6.78	c (6,6) Export to HOME/scop-28199-serial-file.bin
20.04/6.78	c (6,6) Export End
20.04/6.78	c (6,6) Export File Size: 0.01 MB
20.04/6.78	c (6,6) 0,0,4,5,5,5,6,STOP-AFTER(DIMACS)
20.04/6.78	c END-Prog: Mon Sep 23 12:39:54 CEST 2019
0.00/6.80	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-28199-serial-file.bin
20.75/7.26	c (0,0) Read Serial File Begin
20.75/7.26	c (0,0) HOME/scop-28199-serial-file.bin
21.04/7.47	c (0,0) Read Serial File End
21.04/7.48	
21.04/7.48	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
21.04/7.48	(Solving Process)
21.04/7.48	
21.18/7.50	c BEGIN-Prog: Mon Sep 23 12:39:54 CEST 2019
21.18/7.50	c PID: 28222
21.18/7.50	c IP: 172.20.3.104
21.18/7.50	c HOST: node104.alineos.net
21.18/7.51	c (0,0) SatSolver.solve Begin
21.18/7.51	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4405139-1569239409.xml-scop-28202.cnf
21.18/7.54	c (0,0) c
21.18/7.54	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)
21.18/7.54	c (0,0) c
21.18/7.54	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
21.18/7.54	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
21.18/7.54	c (0,0) c ========================================[ Problem Statistics ]===========================================
21.18/7.54	c (0,0) c |                                                                                                       |
21.18/7.55	c (0,0) c |  Number of variables:          3010                                                                   |
21.18/7.55	c (0,0) c |  Number of clauses:           45618                                                                   |
21.18/7.55	c (0,0) c |  Parse time:                   0.01 s                                                                 |
21.18/7.55	c (0,0) c |                                                                                                       |
21.18/7.57	c (0,0) c |  Simplification time:          0.02 s                                                                 |
21.18/7.57	c (0,0) c |                                                                                                       |
21.18/7.57	c (0,0) c |  Generating clones                                                                                    |
21.18/7.58	c (0,0) c |  all clones generated. Memory =    45.38Mb.                                                           |
21.18/7.58	c (0,0) c ========================================================================================================|
21.18/7.58	c (0,0) c
21.18/7.58	c (0,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
21.18/7.58	c (0,0) c
21.18/7.58	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
21.18/7.58	c (0,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
21.18/7.58	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
21.18/7.58	c (0,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
21.18/7.58	c (0,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
21.18/7.58	c (0,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
21.18/7.58	c (0,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
21.18/7.58	c (0,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
21.18/7.58	c (0,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
21.18/7.58	c (0,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
21.18/7.58	c (0,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
21.18/7.58	c (0,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
21.18/7.58	c (0,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
21.18/7.58	c (0,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
21.18/7.58	c (0,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
21.18/7.58	c (0,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
21.18/7.58	c (0,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
21.18/7.58	c (0,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
21.18/7.58	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
50.89/11.35	c (4,0) c
50.89/11.35	c (4,0) c real time : 3.82214 s
50.89/11.35	c (4,0) c cpu time  : 29.4718 s
50.89/11.35	c (4,0) c
50.89/11.35	c (4,0) c
50.89/11.35	c (4,0) c
50.89/11.35	c (4,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
50.89/11.35	c (4,0) c
50.89/11.35	c (4,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
50.89/11.35	c (4,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
50.89/11.35	c (4,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
50.89/11.36	c (4,0) c | Conflicts     |          322268 |      40547 |      39542 |      40155 |      40339 |      40425 |      39787 |      40542 |      40931 |
50.89/11.36	c (4,0) c | Decisions     |          451758 |      56611 |      55115 |      56467 |      56895 |      56288 |      55316 |      57458 |      57608 |
50.89/11.36	c (4,0) c | Propagations  |       104689485 |   12962679 |   13151039 |   12954781 |   13252245 |   13041850 |   12778725 |   13351427 |   13196739 |
50.89/11.36	c (4,0) c | ReduceDBs     |              40 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
50.89/11.36	c (4,0) c | SimpDBs       |               8 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |
50.89/11.36	c (4,0) c | Restarts      |             235 |         24 |         29 |         40 |         29 |         15 |         24 |         32 |         42 |
50.89/11.36	c (4,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
50.89/11.36	c (4,0) c | PropBinClauses|       118640429 |   14709330 |   14914944 |   14698918 |   15013491 |   14751604 |   14534614 |   15125713 |   14891815 |
50.89/11.36	c (4,0) c | PropPreBlocker|      1354267393 |  167940082 |  166906429 |  167320471 |  170960025 |  170779750 |  168104087 |  170558418 |  171698131 |
50.89/11.36	c (4,0) c | PropNotBlocker|       466976574 |   57675422 |   58315199 |   58375961 |   60060830 |   56858242 |   57904337 |   59230657 |   58555926 |
50.89/11.36	c (4,0) c | LitFullScans  |      2229527252 |  276021150 |  276018155 |  276020529 |  282016579 |  279388206 |  276018824 |  282014458 |  282029351 |
50.89/11.36	c (4,0) c | LitScanFracts |           57974 |       7854 |       8285 |       9097 |       6075 |       5198 |       6971 |       6039 |       8455 |
50.89/11.36	c (4,0) c | DecisionLevel0|             235 |         24 |         29 |         40 |         29 |         15 |         24 |         32 |         42 |
50.89/11.36	c (4,0) c | Periods       |             371 |         46 |         46 |         46 |         47 |         46 |         46 |         47 |         47 |
50.89/11.36	c (4,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
50.89/11.36	c (4,0) c | Avg_Trail     |                 |       1068 |       1080 |       1093 |       1091 |       1120 |       1092 |       1118 |       1079 |
50.89/11.36	c (4,0) c | Avg_DL        |                 |         13 |         13 |         14 |         14 |         14 |         13 |         14 |         14 |
50.89/11.36	c (4,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
50.89/11.36	c (4,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
50.89/11.36	c (4,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
50.89/11.36	c (4,0) c | Exported      |           64323 |       7910 |       7778 |       7656 |       8429 |       8556 |       8220 |       7898 |       7876 |
50.89/11.36	c (4,0) c | Imported      |          266643 |      30765 |      33739 |      27935 |      35038 |      35013 |      33644 |      36530 |      33979 |
50.89/11.36	c (4,0) c | Good          |             380 |         47 |         49 |         45 |         52 |         50 |         41 |         49 |         47 |
50.89/11.36	c (4,0) c | Purge         |          266263 |      30718 |      33690 |      27890 |      34986 |      34963 |      33603 |      36481 |      33932 |
50.89/11.36	c (4,0) c | Promoted      |            8839 |       1057 |       1079 |       1044 |       1160 |        771 |       1157 |       1034 |       1537 |
50.89/11.36	c (4,0) c | Remove_Imp    |           51187 |       7928 |       6464 |       4853 |       6340 |       2953 |       7855 |       6602 |       8192 |
50.89/11.36	c (4,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
50.89/11.36	c (4,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
50.89/11.36	c (4,0) c | Unaries       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
50.89/11.36	c (4,0) c | Binaries      |                 |         10 |          8 |          5 |          8 |          7 |         18 |         11 |          9 |
50.89/11.36	c (4,0) c | Glues         |                 |        460 |        459 |        481 |        506 |        441 |        454 |        493 |        505 |
50.89/11.36	c (4,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
50.89/11.36	c (4,0) c | Orig_Seen     |            68 % |      30293 |      31379 |      31306 |      31214 |      30742 |      30993 |      32163 |      31496 |
50.89/11.36	c (4,0) c | Diff Orig seen|                 | -      449 |        637 |        564 |        472 |      X     |        251 |       1421 |        754 |
50.89/11.36	c (4,0) c | Hamming       |            41 % |       1293 |       1233 |       1266 |       1190 |      X     |       1224 |       1283 |       1250 |
50.89/11.36	c (4,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
50.89/11.36	c (4,0) c | RunningTime   |                 |    3.7 100%|    3.7 100%|    3.7 100%|    3.7 100%|    3.6 100%|    3.8 100%|    3.7 100%|    3.7 100%|
50.89/11.36	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%|
50.89/11.36	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%|
50.89/11.36	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%|
50.89/11.36	c (4,0) c | SolvingTime   |                 |    3.7     |    3.7     |    3.7     |    3.7     |    3.7     |    3.8     |    3.7     |    3.7     |
50.89/11.36	c (4,0) c | PropagationTim|                 |    3.2  87%|    3.3  87%|    3.3  87%|    3.2  87%|    3.2  86%|    3.3  87%|    3.2  87%|    3.2  87%|
50.89/11.36	c (4,0) c | AnalysisTime  |                 |    0.3   9%|    0.3   8%|    0.3   8%|    0.3   8%|    0.3   9%|    0.3   9%|    0.3   9%|    0.3   9%|
50.89/11.36	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%|
50.89/11.36	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%|
50.89/11.36	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%|
50.89/11.36	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%|
50.89/11.36	c (4,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
50.89/11.36	c (4,0) c
50.89/11.36	c (4,0) c
50.89/11.36	c (4,0) c Threads : 8
50.89/11.36	c (4,0) c Winner : 4
50.89/11.36	c (4,0) c Conflicts_0 : 40547
50.89/11.36	c (4,0) c Conflicts_1 : 39542
50.89/11.36	c (4,0) c Conflicts_2 : 40155
50.89/11.36	c (4,0) c Conflicts_3 : 40339
50.89/11.36	c (4,0) c Conflicts_4 : 40425
50.89/11.36	c (4,0) c Conflicts_5 : 39787
50.89/11.36	c (4,0) c Conflicts_6 : 40542
50.89/11.36	c (4,0) c Conflicts_7 : 40931
50.89/11.36	c (4,0) c Conflicts_total : 322268
50.89/11.36	c (4,0) c Conflicts_winner : 40425
50.89/11.36	c (4,0) c Decisions_0 : 56611
50.89/11.36	c (4,0) c Decisions_1 : 55115
50.89/11.36	c (4,0) c Decisions_2 : 56467
50.89/11.36	c (4,0) c Decisions_3 : 56895
50.89/11.36	c (4,0) c Decisions_4 : 56288
50.89/11.36	c (4,0) c Decisions_5 : 55316
50.89/11.36	c (4,0) c Decisions_6 : 57458
50.89/11.36	c (4,0) c Decisions_7 : 57608
50.89/11.36	c (4,0) c Decisions_total : 451758
50.89/11.36	c (4,0) c Decisions_winner : 56288
50.89/11.36	c (4,0) c Propagations_0 : 12962679
50.89/11.36	c (4,0) c Propagations_1 : 13151039
50.89/11.36	c (4,0) c Propagations_2 : 12954781
50.89/11.36	c (4,0) c Propagations_3 : 13252245
50.89/11.36	c (4,0) c Propagations_4 : 13041850
50.89/11.36	c (4,0) c Propagations_5 : 12778725
50.89/11.36	c (4,0) c Propagations_6 : 13351427
50.89/11.36	c (4,0) c Propagations_7 : 13196739
50.89/11.36	c (4,0) c Propagations_total : 104689485
50.89/11.36	c (4,0) c Propagations_winner : 13041850
50.89/11.36	c (4,0) c ReduceDBs_0 : 5
50.89/11.36	c (4,0) c ReduceDBs_1 : 5
50.89/11.36	c (4,0) c ReduceDBs_2 : 5
50.89/11.36	c (4,0) c ReduceDBs_3 : 5
50.89/11.36	c (4,0) c ReduceDBs_4 : 5
50.89/11.36	c (4,0) c ReduceDBs_5 : 5
50.89/11.36	c (4,0) c ReduceDBs_6 : 5
50.89/11.36	c (4,0) c ReduceDBs_7 : 5
50.89/11.36	c (4,0) c ReduceDBs_total : 40
50.89/11.36	c (4,0) c ReduceDBs_winner : 5
50.89/11.36	c (4,0) c SimpDBs_0 : 1
50.89/11.36	c (4,0) c SimpDBs_1 : 1
50.89/11.36	c (4,0) c SimpDBs_2 : 1
50.89/11.36	c (4,0) c SimpDBs_3 : 1
50.89/11.36	c (4,0) c SimpDBs_4 : 1
50.89/11.36	c (4,0) c SimpDBs_5 : 1
50.89/11.36	c (4,0) c SimpDBs_6 : 1
50.89/11.36	c (4,0) c SimpDBs_7 : 1
50.89/11.36	c (4,0) c SimpDBs_total : 8
50.89/11.36	c (4,0) c SimpDBs_winner : 1
50.89/11.36	c (4,0) c Restarts_0 : 24
50.89/11.36	c (4,0) c Restarts_1 : 29
50.89/11.36	c (4,0) c Restarts_2 : 40
50.89/11.36	c (4,0) c Restarts_3 : 29
50.89/11.36	c (4,0) c Restarts_4 : 15
50.89/11.36	c (4,0) c Restarts_5 : 24
50.89/11.36	c (4,0) c Restarts_6 : 32
50.89/11.36	c (4,0) c Restarts_7 : 42
50.89/11.36	c (4,0) c Restarts_total : 235
50.89/11.36	c (4,0) c Restarts_winner : 15
50.89/11.36	c (4,0) c ForcedImports_0 : 0
50.89/11.36	c (4,0) c ForcedImports_1 : 0
50.89/11.36	c (4,0) c ForcedImports_2 : 0
50.89/11.36	c (4,0) c ForcedImports_3 : 0
50.89/11.36	c (4,0) c ForcedImports_4 : 0
50.89/11.36	c (4,0) c ForcedImports_5 : 0
50.89/11.36	c (4,0) c ForcedImports_6 : 0
50.89/11.36	c (4,0) c ForcedImports_7 : 0
50.89/11.36	c (4,0) c ForcedImports_total : 0
50.89/11.36	c (4,0) c ForcedImports_winner : 0
50.89/11.36	c (4,0) c PropsBinClauses_0 : 14709330
50.89/11.36	c (4,0) c PropsBinClauses_1 : 14914944
50.89/11.36	c (4,0) c PropsBinClauses_2 : 14698918
50.89/11.36	c (4,0) c PropsBinClauses_3 : 15013491
50.89/11.36	c (4,0) c PropsBinClauses_4 : 14751604
50.89/11.36	c (4,0) c PropsBinClauses_5 : 14534614
50.89/11.36	c (4,0) c PropsBinClauses_6 : 15125713
50.89/11.36	c (4,0) c PropsBinClauses_7 : 14891815
50.89/11.36	c (4,0) c PropsBinClauses_total : 118640429
50.89/11.36	c (4,0) c PropsBinClauses_winner : 14751604
50.89/11.36	c (4,0) c PropsPreBlocker_0 : 167940082
50.89/11.36	c (4,0) c PropsPreBlocker_1 : 166906429
50.89/11.36	c (4,0) c PropsPreBlocker_2 : 167320471
50.89/11.36	c (4,0) c PropsPreBlocker_3 : 170960025
50.89/11.36	c (4,0) c PropsPreBlocker_4 : 170779750
50.89/11.36	c (4,0) c PropsPreBlocker_5 : 168104087
50.89/11.36	c (4,0) c PropsPreBlocker_6 : 170558418
50.89/11.36	c (4,0) c PropsPreBlocker_7 : 171698131
50.89/11.36	c (4,0) c PropsPreBlocker_total : 1354267393
50.89/11.36	c (4,0) c PropsPreBlocker_winner : 170779750
50.89/11.36	c (4,0) c PropsNotBlocker_0 : 57675422
50.89/11.36	c (4,0) c PropsNotBlocker_1 : 58315199
50.89/11.36	c (4,0) c PropsNotBlocker_2 : 58375961
50.89/11.36	c (4,0) c PropsNotBlocker_3 : 60060830
50.89/11.36	c (4,0) c PropsNotBlocker_4 : 56858242
50.89/11.36	c (4,0) c PropsNotBlocker_5 : 57904337
50.89/11.36	c (4,0) c PropsNotBlocker_6 : 59230657
50.89/11.36	c (4,0) c PropsNotBlocker_7 : 58555926
50.89/11.36	c (4,0) c PropsNotBlocker_total : 466976574
50.89/11.36	c (4,0) c PropsNotBlocker_winner : 56858242
50.89/11.36	c (4,0) c PropsLitFullScans_0 : 276021150
50.89/11.36	c (4,0) c PropsLitFullScans_1 : 276018155
50.89/11.36	c (4,0) c PropsLitFullScans_2 : 276020529
50.89/11.36	c (4,0) c PropsLitFullScans_3 : 282016579
50.89/11.36	c (4,0) c PropsLitFullScans_4 : 279388206
50.89/11.36	c (4,0) c PropsLitFullScans_5 : 276018824
50.89/11.36	c (4,0) c PropsLitFullScans_6 : 282014458
50.89/11.36	c (4,0) c PropsLitFullScans_7 : 282029351
50.89/11.36	c (4,0) c PropsLitFullScans_total : 2229527252
50.89/11.36	c (4,0) c PropsLitFullScans_winner : 279388206
50.89/11.36	c (4,0) c LitScanFractions_0 : 7854
50.89/11.36	c (4,0) c LitScanFractions_1 : 8285
50.89/11.36	c (4,0) c LitScanFractions_2 : 9097
50.89/11.36	c (4,0) c LitScanFractions_3 : 6075
50.89/11.36	c (4,0) c LitScanFractions_4 : 5198
50.89/11.36	c (4,0) c LitScanFractions_5 : 6971
50.89/11.36	c (4,0) c LitScanFractions_6 : 6039
50.89/11.36	c (4,0) c LitScanFractions_7 : 8455
50.89/11.36	c (4,0) c LitScanFractions_total : 57974
50.89/11.36	c (4,0) c LitScanFractions_winner : 5198
50.89/11.36	c (4,0) c DecisionLevel0_0 : 24
50.89/11.36	c (4,0) c DecisionLevel0_1 : 29
50.89/11.36	c (4,0) c DecisionLevel0_2 : 40
50.89/11.36	c (4,0) c DecisionLevel0_3 : 29
50.89/11.36	c (4,0) c DecisionLevel0_4 : 15
50.89/11.36	c (4,0) c DecisionLevel0_5 : 24
50.89/11.36	c (4,0) c DecisionLevel0_6 : 32
50.89/11.36	c (4,0) c DecisionLevel0_7 : 42
50.89/11.36	c (4,0) c DecisionLevel0_total : 235
50.89/11.36	c (4,0) c DecisionLevel0_winner : 15
50.89/11.36	c (4,0) c Periods_0 : 46
50.89/11.36	c (4,0) c Periods_1 : 46
50.89/11.36	c (4,0) c Periods_2 : 46
50.89/11.36	c (4,0) c Periods_3 : 47
50.89/11.36	c (4,0) c Periods_4 : 46
50.89/11.36	c (4,0) c Periods_5 : 46
50.89/11.36	c (4,0) c Periods_6 : 47
50.89/11.36	c (4,0) c Periods_7 : 47
50.89/11.36	c (4,0) c Periods_total : 371
50.89/11.36	c (4,0) c Periods_winner : 46
50.89/11.36	c (4,0) c Margin_0 : 20
50.89/11.36	c (4,0) c Margin_1 : 20
50.89/11.36	c (4,0) c Margin_2 : 20
50.89/11.36	c (4,0) c Margin_3 : 20
50.89/11.36	c (4,0) c Margin_4 : 20
50.89/11.36	c (4,0) c Margin_5 : 20
50.89/11.36	c (4,0) c Margin_6 : 20
50.89/11.36	c (4,0) c Margin_7 : 20
50.89/11.36	c (4,0) c Margin_total : 160
50.89/11.36	c (4,0) c Margin_winner : 20
50.89/11.36	c (4,0) c Exported_0 : 7910
50.89/11.36	c (4,0) c Exported_1 : 7778
50.89/11.36	c (4,0) c Exported_2 : 7656
50.89/11.36	c (4,0) c Exported_3 : 8429
50.89/11.36	c (4,0) c Exported_4 : 8556
50.89/11.36	c (4,0) c Exported_5 : 8220
50.89/11.36	c (4,0) c Exported_6 : 7898
50.89/11.36	c (4,0) c Exported_7 : 7876
50.89/11.36	c (4,0) c Exported_total : 64323
50.89/11.36	c (4,0) c Exported_winner : 8556
50.89/11.36	c (4,0) c Imported_0 : 30765
50.89/11.36	c (4,0) c Imported_1 : 33739
50.89/11.36	c (4,0) c Imported_2 : 27935
50.89/11.36	c (4,0) c Imported_3 : 35038
50.89/11.36	c (4,0) c Imported_4 : 35013
50.89/11.36	c (4,0) c Imported_5 : 33644
50.89/11.36	c (4,0) c Imported_6 : 36530
50.89/11.36	c (4,0) c Imported_7 : 33979
50.89/11.36	c (4,0) c Imported_total : 266643
50.89/11.36	c (4,0) c Imported_winner : 35013
50.89/11.36	c (4,0) c Good_0 : 47
50.89/11.36	c (4,0) c Good_1 : 49
50.89/11.36	c (4,0) c Good_2 : 45
50.89/11.36	c (4,0) c Good_3 : 52
50.89/11.36	c (4,0) c Good_4 : 50
50.89/11.36	c (4,0) c Good_5 : 41
50.89/11.36	c (4,0) c Good_6 : 49
50.89/11.36	c (4,0) c Good_7 : 47
50.89/11.36	c (4,0) c Good_total : 380
50.89/11.36	c (4,0) c Good_winner : 50
50.89/11.36	c (4,0) c Purge_0 : 30718
50.89/11.36	c (4,0) c Purge_1 : 33690
50.89/11.36	c (4,0) c Purge_2 : 27890
50.89/11.36	c (4,0) c Purge_3 : 34986
50.89/11.36	c (4,0) c Purge_4 : 34963
50.89/11.36	c (4,0) c Purge_5 : 33603
50.89/11.37	c (4,0) c Purge_6 : 36481
50.89/11.37	c (4,0) c Purge_7 : 33932
50.89/11.37	c (4,0) c Purge_total : 266263
50.89/11.37	c (4,0) c Purge_winner : 34963
50.89/11.37	c (4,0) c Promoted_0 : 1057
50.89/11.37	c (4,0) c Promoted_1 : 1079
50.89/11.37	c (4,0) c Promoted_2 : 1044
50.89/11.37	c (4,0) c Promoted_3 : 1160
50.89/11.37	c (4,0) c Promoted_4 : 771
50.89/11.37	c (4,0) c Promoted_5 : 1157
50.89/11.37	c (4,0) c Promoted_6 : 1034
50.89/11.37	c (4,0) c Promoted_7 : 1537
50.89/11.37	c (4,0) c Promoted_total : 8839
50.89/11.37	c (4,0) c Promoted_winner : 771
50.89/11.37	c (4,0) c Remove_Imp_0 : 7928
50.89/11.37	c (4,0) c Remove_Imp_1 : 6464
50.89/11.37	c (4,0) c Remove_Imp_2 : 4853
50.89/11.37	c (4,0) c Remove_Imp_3 : 6340
50.89/11.37	c (4,0) c Remove_Imp_4 : 2953
50.89/11.37	c (4,0) c Remove_Imp_5 : 7855
50.89/11.37	c (4,0) c Remove_Imp_6 : 6602
50.89/11.37	c (4,0) c Remove_Imp_7 : 8192
50.89/11.37	c (4,0) c Remove_Imp_total : 51187
50.89/11.37	c (4,0) c Remove_Imp_winner : 2953
50.89/11.37	c (4,0) c Blocked_Reuse_0 : 0
50.89/11.37	c (4,0) c Blocked_Reuse_1 : 0
50.89/11.37	c (4,0) c Blocked_Reuse_2 : 0
50.89/11.37	c (4,0) c Blocked_Reuse_3 : 0
50.89/11.37	c (4,0) c Blocked_Reuse_4 : 0
50.89/11.37	c (4,0) c Blocked_Reuse_5 : 0
50.89/11.37	c (4,0) c Blocked_Reuse_6 : 0
50.89/11.37	c (4,0) c Blocked_Reuse_7 : 0
50.89/11.37	c (4,0) c Blocked_Reuse_total : 0
50.89/11.37	c (4,0) c Blocked_Reuse_winner : 0
50.89/11.37	c (4,0) c Unaries_0 : 0
50.89/11.37	c (4,0) c Unaries_1 : 0
50.89/11.37	c (4,0) c Unaries_2 : 0
50.89/11.37	c (4,0) c Unaries_3 : 0
50.89/11.37	c (4,0) c Unaries_4 : 0
50.89/11.37	c (4,0) c Unaries_5 : 0
50.89/11.37	c (4,0) c Unaries_6 : 0
50.89/11.37	c (4,0) c Unaries_7 : 0
50.89/11.37	c (4,0) c Unaries_total : 0
50.89/11.37	c (4,0) c Unaries_winner : 0
50.89/11.37	c (4,0) c Binaries_0 : 10
50.89/11.37	c (4,0) c Binaries_1 : 8
50.89/11.37	c (4,0) c Binaries_2 : 5
50.89/11.37	c (4,0) c Binaries_3 : 8
50.89/11.37	c (4,0) c Binaries_4 : 7
50.89/11.37	c (4,0) c Binaries_5 : 18
50.89/11.37	c (4,0) c Binaries_6 : 11
50.89/11.37	c (4,0) c Binaries_7 : 9
50.89/11.37	c (4,0) c Binaries_total : 76
50.89/11.37	c (4,0) c Binaries_winner : 7
50.89/11.37	c (4,0) c Glues_0 : 460
50.89/11.37	c (4,0) c Glues_1 : 459
50.89/11.37	c (4,0) c Glues_2 : 481
50.89/11.37	c (4,0) c Glues_3 : 506
50.89/11.37	c (4,0) c Glues_4 : 441
50.89/11.37	c (4,0) c Glues_5 : 454
50.89/11.37	c (4,0) c Glues_6 : 493
50.89/11.37	c (4,0) c Glues_7 : 505
50.89/11.37	c (4,0) c Glues_total : 3799
50.89/11.37	c (4,0) c Glues_winner : 441
50.89/11.37	c (4,0) c RunningTime_0 : 3.695944
50.89/11.37	c (4,0) c RunningTime_1 : 3.727449
50.89/11.37	c (4,0) c RunningTime_2 : 3.720652
50.89/11.37	c (4,0) c RunningTime_3 : 3.701660
50.89/11.37	c (4,0) c RunningTime_4 : 3.643728
50.89/11.37	c (4,0) c RunningTime_5 : 3.755341
50.89/11.37	c (4,0) c RunningTime_6 : 3.660707
50.89/11.37	c (4,0) c RunningTime_7 : 3.662760
50.89/11.37	c (4,0) c RunningTime_total : 29.568242
50.89/11.37	c (4,0) c RunningTime_winner : 3.643728
50.89/11.37	c (4,0) c WaitingTime_0 : 0.000030
50.89/11.37	c (4,0) c WaitingTime_1 : 0.000019
50.89/11.37	c (4,0) c WaitingTime_2 : 0.000026
50.89/11.37	c (4,0) c WaitingTime_3 : 0.000033
50.89/11.37	c (4,0) c WaitingTime_4 : 0.000041
50.89/11.37	c (4,0) c WaitingTime_5 : 0.000026
50.89/11.37	c (4,0) c WaitingTime_6 : 0.000028
50.89/11.37	c (4,0) c WaitingTime_7 : 0.000029
50.89/11.37	c (4,0) c WaitingTime_total : 0.000230
50.89/11.37	c (4,0) c WaitingTime_winner : 0.000041
50.89/11.37	c (4,0) c ExchangingTime_0 : 0.009874
50.89/11.37	c (4,0) c ExchangingTime_1 : 0.010335
50.89/11.37	c (4,0) c ExchangingTime_2 : 0.009888
50.89/11.37	c (4,0) c ExchangingTime_3 : 0.010494
50.89/11.37	c (4,0) c ExchangingTime_4 : 0.010990
50.89/11.37	c (4,0) c ExchangingTime_5 : 0.009902
50.89/11.37	c (4,0) c ExchangingTime_6 : 0.011089
50.89/11.37	c (4,0) c ExchangingTime_7 : 0.010172
50.89/11.37	c (4,0) c ExchangingTime_total : 0.082745
50.89/11.37	c (4,0) c ExchangingTime_winner : 0.010990
50.89/11.37	c (4,0) c PeriodProcTime_0 : 0.000307
50.89/11.37	c (4,0) c PeriodProcTime_1 : 0.000320
50.89/11.37	c (4,0) c PeriodProcTime_2 : 0.000351
50.89/11.37	c (4,0) c PeriodProcTime_3 : 0.000331
50.89/11.37	c (4,0) c PeriodProcTime_4 : 0.000375
50.89/11.37	c (4,0) c PeriodProcTime_5 : 0.000341
50.89/11.37	c (4,0) c PeriodProcTime_6 : 0.000288
50.89/11.37	c (4,0) c PeriodProcTime_7 : 0.000316
50.89/11.37	c (4,0) c PeriodProcTime_total : 0.002629
50.89/11.37	c (4,0) c PeriodProcTime_winner : 0.000375
50.89/11.37	c (4,0) c SolvingTime_0 : 3.706155
50.89/11.37	c (4,0) c SolvingTime_1 : 3.738124
50.89/11.37	c (4,0) c SolvingTime_2 : 3.730916
50.89/11.37	c (4,0) c SolvingTime_3 : 3.712518
50.89/11.37	c (4,0) c SolvingTime_4 : 3.655133
50.89/11.37	c (4,0) c SolvingTime_5 : 3.765610
50.89/11.37	c (4,0) c SolvingTime_6 : 3.672113
50.89/11.37	c (4,0) c SolvingTime_7 : 3.673277
50.89/11.37	c (4,0) c SolvingTime_total : 29.653845
50.89/11.37	c (4,0) c SolvingTime_winner : 3.655133
50.89/11.37	c (4,0) c PropagationTime_0 : 3.221418
50.89/11.37	c (4,0) c PropagationTime_1 : 3.259716
50.89/11.37	c (4,0) c PropagationTime_2 : 3.251188
50.89/11.37	c (4,0) c PropagationTime_3 : 3.235350
50.89/11.37	c (4,0) c PropagationTime_4 : 3.158340
50.89/11.37	c (4,0) c PropagationTime_5 : 3.278458
50.89/11.37	c (4,0) c PropagationTime_6 : 3.187819
50.89/11.37	c (4,0) c PropagationTime_7 : 3.194911
50.89/11.37	c (4,0) c PropagationTime_total : 25.787199
50.89/11.37	c (4,0) c PropagationTime_winner : 3.158340
50.89/11.37	c (4,0) c AnalysisTime_0 : 0.320009
50.89/11.37	c (4,0) c AnalysisTime_1 : 0.310402
50.89/11.37	c (4,0) c AnalysisTime_2 : 0.316129
50.89/11.37	c (4,0) c AnalysisTime_3 : 0.314592
50.89/11.37	c (4,0) c AnalysisTime_4 : 0.331106
50.89/11.37	c (4,0) c AnalysisTime_5 : 0.322920
50.89/11.37	c (4,0) c AnalysisTime_6 : 0.319626
50.89/11.37	c (4,0) c AnalysisTime_7 : 0.315224
50.89/11.37	c (4,0) c AnalysisTime_total : 2.550009
50.89/11.37	c (4,0) c AnalysisTime_winner : 0.331106
50.89/11.37	c (4,0) c ReductionTime_0 : 0.039320
50.89/11.37	c (4,0) c ReductionTime_1 : 0.041476
50.89/11.37	c (4,0) c ReductionTime_2 : 0.041116
50.89/11.37	c (4,0) c ReductionTime_3 : 0.040153
50.89/11.37	c (4,0) c ReductionTime_4 : 0.041656
50.89/11.37	c (4,0) c ReductionTime_5 : 0.041317
50.89/11.37	c (4,0) c ReductionTime_6 : 0.040834
50.89/11.37	c (4,0) c ReductionTime_7 : 0.041600
50.89/11.37	c (4,0) c ReductionTime_total : 0.327472
50.89/11.37	c (4,0) c ReductionTime_winner : 0.041656
50.89/11.37	c (4,0) c SimplifyTime_0 : 0.000001
50.89/11.37	c (4,0) c SimplifyTime_1 : 0.000003
50.89/11.37	c (4,0) c SimplifyTime_2 : 0.000002
50.89/11.37	c (4,0) c SimplifyTime_3 : 0.000003
50.89/11.37	c (4,0) c SimplifyTime_4 : 0.000003
50.89/11.37	c (4,0) c SimplifyTime_5 : 0.000003
50.89/11.37	c (4,0) c SimplifyTime_6 : 0.000001
50.89/11.37	c (4,0) c SimplifyTime_7 : 0.000002
50.89/11.37	c (4,0) c SimplifyTime_total : 0.000018
50.89/11.37	c (4,0) c SimplifyTime_winner : 0.000003
50.89/11.37	c (4,0) c UsedRateTime_0 : 0.000000
50.89/11.37	c (4,0) c UsedRateTime_1 : 0.000000
50.89/11.37	c (4,0) c UsedRateTime_2 : 0.000000
50.89/11.37	c (4,0) c UsedRateTime_3 : 0.000000
50.89/11.37	c (4,0) c UsedRateTime_4 : 0.000000
50.89/11.37	c (4,0) c UsedRateTime_5 : 0.000000
50.89/11.37	c (4,0) c UsedRateTime_6 : 0.000000
50.89/11.37	c (4,0) c UsedRateTime_7 : 0.000000
50.89/11.37	c (4,0) c UsedRateTime_total : 0.000000
50.89/11.37	c (4,0) c UsedRateTime_winner : 0.000000
50.89/11.37	c (4,0) c OverlapRateTime_0 : 0.000000
50.89/11.37	c (4,0) c OverlapRateTime_1 : 0.000000
50.89/11.37	c (4,0) c OverlapRateTime_2 : 0.000000
50.89/11.37	c (4,0) c OverlapRateTime_3 : 0.000000
50.89/11.37	c (4,0) c OverlapRateTime_4 : 0.000000
50.89/11.37	c (4,0) c OverlapRateTime_5 : 0.000000
50.89/11.37	c (4,0) c OverlapRateTime_6 : 0.000000
50.89/11.37	c (4,0) c OverlapRateTime_7 : 0.000000
50.89/11.37	c (4,0) c OverlapRateTime_total : 0.000000
50.89/11.37	c (4,0) c OverlapRateTime_winner : 0.000000
50.89/11.37	c (4,0) c
50.89/11.37	c (4,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
50.89/11.37	c (4,0) c
50.89/11.37	c (4,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
50.89/11.37	c (4,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
50.89/11.37	c (4,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
50.89/11.37	c (4,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
50.89/11.37	c (4,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
50.89/11.37	c (4,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
50.89/11.37	c (4,0) c | Initial random_seed   |  173657604 |  123513871 |  104721304 |  167414620 |   14521069 |  726241711 | 1114894388 |  202229923 |
50.89/11.37	c (4,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
50.89/11.37	c (4,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
50.89/11.37	c (4,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
50.89/11.37	c (4,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
50.89/11.37	c (4,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
50.89/11.37	c (4,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
50.89/11.37	c (4,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
50.89/11.37	c (4,0) c | var_decay             |     0.8800 |     0.8700 |     0.8800 |     0.8800 |     0.8800 |     0.8700 |     0.8800 |     0.8800 |
50.89/11.37	c (4,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
50.89/11.37	c (4,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
50.89/11.37	c (4,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
50.89/11.37	c (4,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
50.89/11.37	c (4,0) 
50.89/11.37	c (4,0) s SATISFIABLE
50.89/11.39	c (4,0) SatSolver.solve End
50.89/11.39	c (4,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
50.89/11.39	c (4,0) Show results Begin
51.11/11.47	c (4,0) x[0] = 10
51.11/11.47	c (4,0) x[1] = 7
51.11/11.47	c (4,0) x[2] = 18
51.11/11.47	c (4,0) x[3] = 16
51.11/11.47	c (4,0) x[4] = 2
51.11/11.47	c (4,0) x[5] = 20
51.11/11.47	c (4,0) x[6] = 19
51.11/11.47	c (4,0) x[7] = 20
51.11/11.47	c (4,0) x[8] = 8
51.11/11.47	c (4,0) x[9] = 20
51.11/11.47	c (4,0) x[10] = 21
51.11/11.47	c (4,0) x[11] = 11
51.11/11.47	c (4,0) x[12] = 1
51.11/11.47	c (4,0) x[13] = 24
51.11/11.47	c (4,0) x[14] = 3
51.11/11.47	c (4,0) x[15] = 11
51.11/11.47	c (4,0) x[16] = 21
51.11/11.47	c (4,0) x[17] = 5
51.11/11.47	c (4,0) x[18] = 10
51.11/11.47	c (4,0) x[19] = 16
51.11/11.47	c (4,0) x[20] = 14
51.11/11.47	c (4,0) x[21] = 14
51.11/11.47	c (4,0) x[22] = 6
51.11/11.47	c (4,0) x[23] = 4
51.11/11.47	c (4,0) x[24] = 10
51.11/11.47	c (4,0) x[25] = 12
51.11/11.47	c (4,0) x[26] = 7
51.11/11.47	c (4,0) x[27] = 12
51.11/11.47	c (4,0) x[28] = 11
51.11/11.47	c (4,0) x[29] = 9
51.11/11.47	c (4,0) x[30] = 0
51.11/11.47	c (4,0) x[31] = 16
51.11/11.47	c (4,0) x[32] = 7
51.11/11.47	c (4,0) x[33] = 17
51.11/11.47	c (4,0) x[34] = 21
51.11/11.47	c (4,0) x[35] = 4
51.11/11.47	c (4,0) x[36] = 16
51.11/11.47	c (4,0) x[37] = 12
51.11/11.47	c (4,0) x[38] = 7
51.11/11.47	c (4,0) x[39] = 11
51.11/11.47	s SATISFIABLE
51.11/11.47	v <instantiation>
51.11/11.47	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>
51.11/11.47	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>
51.11/11.47	v </instantiation>
51.11/11.47	c (4,0) Show results End
51.11/11.47	c (4,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 17 MiB used (max 0 MiB)
51.11/11.47	c (4,0) 4,4,STOP-AFTER(ALL)
51.11/11.47	c END-Prog: Mon Sep 23 12:39:58 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 (13160 MiB free)
  memory of node 1: 16384 MiB (11753 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4405139-1569239409/watcher-4405139-1569239409 -o /tmp/evaluation-result-4405139-1569239409/solver-4405139-1569239409 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node104-1569234408-27761 --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-4405139-1569239409.xml 

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

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


[startup+0.100113 s]*
/proc/loadavg: 4.65 2.20 1.12 2/210 28221
/proc/meminfo: memFree=25421816/32770624 swapFree=66986356/67108860
[pid=28199] ppid=28196 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/28199/stat : 28199 (scop.sh) S 28196 28199 27734 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 500197644 115843072 349 33554432000 4194304 5098028 140727421062816 140727421060072 140392573514364 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 40173568 140727421068069 140727421068396 140727421068396 140727421071309 0
/proc/28199/statm: 28282 349 296 221 0 87 0
[pid=28202] ppid=28199 vsize=27314120 memory=104596 CPUtime=0.11 cores=0-7
/proc/28202/stat : 28202 (java) S 28199 28199 27734 0 -1 1077944320 6695 0 0 0 9 2 0 0 20 0 20 0 500197645 27969658880 26149 33554432000 4194304 4196468 140736048012112 140736047994656 139925500227319 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 19492864 140736048018155 140736048018582 140736048018582 140736048021455 0
/proc/28202/statm: 6828530 26149 2812 1 0 6790935 0
[pid=28202/tid=28203] ppid=28199 vsize=27314120 memory=576460756329955445 CPUtime=0.09 cores=0-7
/proc/28202/task/28203/stat : 28203 (java) R 28199 28199 27734 0 -1 4202560 4771 0 0 0 7 2 0 0 20 0 20 0 500197645 27969658880 26149 33554432000 4194304 4196468 140736048012112 139925472053648 139925500239254 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19492864 140736048018155 140736048018582 140736048018582 140736048021455 0
[pid=28202/tid=28204] ppid=28199 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28202/task/28204/stat : 28204 (java) S 28199 28199 27734 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500197647 27969658880 26149 33554432000 4194304 4196468 140736048012112 139925504469904 139925500237525 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19492864 140736048018155 140736048018582 140736048018582 140736048021455 0
[pid=28202/tid=28205] ppid=28199 vsize=27314120 memory=140016306536415 CPUtime=0 cores=0-7
/proc/28202/task/28205/stat : 28205 (java) S 28199 28199 27734 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500197647 27969658880 26149 33554432000 4194304 4196468 140736048012112 139924921985808 139925500237525 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19492864 140736048018155 140736048018582 140736048018582 140736048021455 0
[pid=28202/tid=28206] ppid=28199 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28202/task/28206/stat : 28206 (java) S 28199 28199 27734 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500197647 27969658880 26149 33554432000 4194304 4196468 140736048012112 139924920933520 139925500237525 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19492864 140736048018155 140736048018582 140736048018582 140736048021455 0
[pid=28202/tid=28207] ppid=28199 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28202/task/28207/stat : 28207 (java) S 28199 28199 27734 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 500197647 27969658880 26149 33554432000 4194304 4196468 140736048012112 139924919880720 139925500237525 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19492864 140736048018155 140736048018582 140736048018582 140736048021455 0
[pid=28202/tid=28208] ppid=28199 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28202/task/28208/stat : 28208 (java) S 28199 28199 27734 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500197647 27969658880 26149 33554432000 4194304 4196468 140736048012112 139924918827408 139925500237525 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19492864 140736048018155 140736048018582 140736048018582 140736048021455 0
[pid=28202/tid=28209] ppid=28199 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/28202/task/28209/stat : 28209 (java) S 28199 28199 27734 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500197647 27969658880 26149 33554432000 4194304 4196468 140736048012112 139924917774608 139925500237525 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19492864 140736048018155 140736048018582 140736048018582 140736048021455 0
[pid=28202/tid=28210] ppid=28199 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28202/task/28210/stat : 28210 (java) S 28199 28199 27734 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500197647 27969658880 26149 33554432000 4194304 4196468 140736048012112 139924916722320 139925500237525 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19492864 140736048018155 140736048018582 140736048018582 140736048021455 0
[pid=28202/tid=28211] ppid=28199 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28202/task/28211/stat : 28211 (java) S 28199 28199 27734 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500197647 27969658880 26149 33554432000 4194304 4196468 140736048012112 139924915669520 139925500237525 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19492864 140736048018155 140736048018582 140736048018582 140736048021455 0
[pid=28202/tid=28212] ppid=28199 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28202/task/28212/stat : 28212 (java) S 28199 28199 27734 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500197649 27969658880 26149 33554432000 4194304 4196468 140736048012112 139924135058032 139925500238466 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19492864 140736048018155 140736048018582 140736048018582 140736048021455 0
[pid=28202/tid=28213] ppid=28199 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28202/task/28213/stat : 28213 (java) S 28199 28199 27734 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 500197649 27969658880 26149 33554432000 4194304 4196468 140736048012112 139923457828128 139925500237525 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19492864 140736048018155 140736048018582 140736048018582 140736048021455 0
[pid=28202/tid=28214] ppid=28199 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28202/task/28214/stat : 28214 (java) S 28199 28199 27734 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500197650 27969658880 26149 33554432000 4194304 4196468 140736048012112 139923189393008 139925500237525 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19492864 140736048018155 140736048018582 140736048018582 140736048021455 0
[pid=28202/tid=28215] ppid=28199 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28202/task/28215/stat : 28215 (java) S 28199 28199 27734 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500197652 27969658880 26149 33554432000 4194304 4196468 140736048012112 139922814884432 139925500245915 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19492864 140736048018155 140736048018582 140736048018582 140736048021455 0
[pid=28202/tid=28216] ppid=28199 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28202/task/28216/stat : 28216 (java) S 28199 28199 27734 0 -1 1077944384 307 0 0 0 0 0 0 0 20 0 20 0 500197652 27969658880 26149 33554432000 4194304 4196468 140736048012112 139924134004848 139925500238466 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19492864 140736048018155 140736048018582 140736048018582 140736048021455 0
[pid=28202/tid=28217] ppid=28199 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28202/task/28217/stat : 28217 (java) S 28199 28199 27734 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500197652 27969658880 26149 33554432000 4194304 4196468 140736048012112 139924132952048 139925500238466 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19492864 140736048018155 140736048018582 140736048018582 140736048021455 0
[pid=28202/tid=28218] ppid=28199 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28202/task/28218/stat : 28218 (java) S 28199 28199 27734 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 500197652 27969658880 26149 33554432000 4194304 4196468 140736048012112 139924131899760 139925500238466 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19492864 140736048018155 140736048018582 140736048018582 140736048021455 0
[pid=28202/tid=28219] ppid=28199 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28202/task/28219/stat : 28219 (java) R 28199 28199 27734 0 -1 1077944384 282 0 0 0 0 0 0 0 20 0 20 0 500197652 27969658880 26149 33554432000 4194304 4196468 140736048012112 139924130846960 139925500238466 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19492864 140736048018155 140736048018582 140736048018582 140736048021455 0
[pid=28202/tid=28220] ppid=28199 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28202/task/28220/stat : 28220 (java) S 28199 28199 27734 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 500197652 27969658880 26149 33554432000 4194304 4196468 140736048012112 139922316979040 139925500237525 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19492864 140736048018155 140736048018582 140736048018582 140736048021455 0
[pid=28202/tid=28221] ppid=28199 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/28202/task/28221/stat : 28221 (java) S 28199 28199 27734 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500197653 27969658880 26149 33554432000 4194304 4196468 140736048012112 139923747236656 139925500238466 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19492864 140736048018155 140736048018582 140736048018582 140736048021455 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 105992 KiB

[startup+0.210567 s]*
/proc/loadavg: 4.65 2.20 1.12 3/210 28221
/proc/meminfo: memFree=25400532/32770624 swapFree=66986356/67108860
[pid=28199] ppid=28196 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/28199/stat : 28199 (scop.sh) S 28196 28199 27734 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 500197644 115843072 349 33554432000 4194304 5098028 140727421062816 140727421060072 140392573514364 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 40173568 140727421068069 140727421068396 140727421068396 140727421071309 0
/proc/28199/statm: 28282 349 296 221 0 87 0
[pid=28202] ppid=28199 vsize=27314120 memory=123920 CPUtime=0.25 cores=0-7
/proc/28202/stat : 28202 (java) S 28199 28199 27734 0 -1 1077944320 12365 0 0 0 21 4 0 0 20 0 20 0 500197645 27969658880 30980 33554432000 4194304 4196468 140736048012112 140736047994656 139925500227319 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 19492864 140736048018155 140736048018582 140736048018582 140736048021455 0
/proc/28202/statm: 6828530 30980 2937 1 0 6790935 0
[pid=28202/tid=28203] ppid=28199 vsize=27314120 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/28202/task/28203/stat : 28203 (java) R 28199 28199 27734 0 -1 4202560 9993 0 0 0 16 3 0 0 20 0 20 0 500197645 27969658880 30980 33554432000 4194304 4196468 140736048012112 139925472046560 139925480502699 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19492864 140736048018155 140736048018582 140736048018582 140736048021455 0
[pid=28202/tid=28204] ppid=28199 vsize=27314120 memory=288230604707987820 CPUtime=0 cores=0-7
/proc/28202/task/28204/stat : 28204 (java) S 28199 28199 27734 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500197647 27969658880 30980 33554432000 4194304 4196468 140736048012112 139925504469904 139925500237525 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19492864 140736048018155 140736048018582 140736048018582 140736048021455 0
[pid=28202/tid=28205] ppid=28199 vsize=27314120 memory=288370392458221184 CPUtime=0 cores=0-7
/proc/28202/task/28205/stat : 28205 (java) S 28199 28199 27734 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500197647 27969658880 30980 33554432000 4194304 4196468 140736048012112 139924921985808 139925500237525 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19492864 140736048018155 140736048018582 140736048018582 140736048021455 0
[pid=28202/tid=28206] ppid=28199 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/28202/task/28206/stat : 28206 (java) S 28199 28199 27734 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500197647 27969658880 30980 33554432000 4194304 4196468 140736048012112 139924920933520 139925500237525 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19492864 140736048018155 140736048018582 140736048018582 140736048021455 0
[pid=28202/tid=28207] ppid=28199 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28202/task/28207/stat : 28207 (java) S 28199 28199 27734 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 500197647 27969658880 30980 33554432000 4194304 4196468 140736048012112 139924919880720 139925500237525 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19492864 140736048018155 140736048018582 140736048018582 140736048021455 0
[pid=28202/tid=28208] ppid=28199 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28202/task/28208/stat : 28208 (java) S 28199 28199 27734 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500197647 27969658880 30980 33554432000 4194304 4196468 140736048012112 139924918827408 139925500237525 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19492864 140736048018155 140736048018582 140736048018582 140736048021455 0
[pid=28202/tid=28209] ppid=28199 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/28202/task/28209/stat : 28209 (java) S 28199 28199 27734 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500197647 27969658880 30980 33554432000 4194304 4196468 140736048012112 139924917774608 139925500237525 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19492864 140736048018155 140736048018582 140736048018582 140736048021455 0
[pid=28202/tid=28210] ppid=28199 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28202/task/28210/stat : 28210 (java) S 28199 28199 27734 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500197647 27969658880 30980 33554432000 4194304 4196468 140736048012112 139924916722320 139925500237525 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19492864 140736048018155 140736048018582 140736048018582 140736048021455 0
[pid=28202/tid=28211] ppid=28199 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28202/task/28211/stat : 28211 (java) S 28199 28199 27734 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500197647 27969658880 30980 33554432000 4194304 4196468 140736048012112 139924915669520 139925500237525 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19492864 140736048018155 140736048018582 140736048018582 140736048021455 0
[pid=28202/tid=28212] ppid=28199 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28202/task/28212/stat : 28212 (java) S 28199 28199 27734 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500197649 27969658880 30980 33554432000 4194304 4196468 140736048012112 139924135058032 139925500238466 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19492864 140736048018155 140736048018582 140736048018582 140736048021455 0
[pid=28202/tid=28213] ppid=28199 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28202/task/28213/stat : 28213 (java) S 28199 28199 27734 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 500197649 27969658880 30980 33554432000 4194304 4196468 140736048012112 139923457828128 139925500237525 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19492864 140736048018155 140736048018582 140736048018582 140736048021455 0
[pid=28202/tid=28214] ppid=28199 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28202/task/28214/stat : 28214 (java) S 28199 28199 27734 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500197650 27969658880 30980 33554432000 4194304 4196468 140736048012112 139923189393008 139925500237525 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19492864 140736048018155 140736048018582 140736048018582 140736048021455 0
[pid=28202/tid=28215] ppid=28199 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28202/task/28215/stat : 28215 (java) S 28199 28199 27734 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500197652 27969658880 30980 33554432000 4194304 4196468 140736048012112 139922814884432 139925500245915 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19492864 140736048018155 140736048018582 140736048018582 140736048021455 0
[pid=28202/tid=28216] ppid=28199 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28202/task/28216/stat : 28216 (java) S 28199 28199 27734 0 -1 1077944384 320 0 0 0 0 0 0 0 20 0 20 0 500197652 27969658880 30980 33554432000 4194304 4196468 140736048012112 139924134004848 139925500238466 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19492864 140736048018155 140736048018582 140736048018582 140736048021455 0
[pid=28202/tid=28217] ppid=28199 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28202/task/28217/stat : 28217 (java) S 28199 28199 27734 0 -1 1077944384 178 0 0 0 0 0 0 0 20 0 20 0 500197652 27969658880 30980 33554432000 4194304 4196468 140736048012112 139924132952048 139925500238466 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19492864 140736048018155 140736048018582 140736048018582 140736048021455 0
[pid=28202/tid=28218] ppid=28199 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/28202/task/28218/stat : 28218 (java) S 28199 28199 27734 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 500197652 27969658880 30980 33554432000 4194304 4196468 140736048012112 139924131899760 139925500238466 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19492864 140736048018155 140736048018582 140736048018582 140736048021455 0
[pid=28202/tid=28219] ppid=28199 vsize=27314120 memory=0 CPUtime=0.02 cores=0-7
/proc/28202/task/28219/stat : 28219 (java) S 28199 28199 27734 0 -1 1077944384 530 0 0 0 2 0 0 0 20 0 20 0 500197652 27969658880 30980 33554432000 4194304 4196468 140736048012112 139924130846960 139925500238466 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19492864 140736048018155 140736048018582 140736048018582 140736048021455 0
[pid=28202/tid=28220] ppid=28199 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28202/task/28220/stat : 28220 (java) S 28199 28199 27734 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 500197652 27969658880 30980 33554432000 4194304 4196468 140736048012112 139922316979040 139925500237525 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19492864 140736048018155 140736048018582 140736048018582 140736048021455 0
[pid=28202/tid=28221] ppid=28199 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/28202/task/28221/stat : 28221 (java) S 28199 28199 27734 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500197653 27969658880 30980 33554432000 4194304 4196468 140736048012112 139923747236656 139925500238466 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19492864 140736048018155 140736048018582 140736048018582 140736048021455 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 125316 KiB

[startup+0.309619 s]*
/proc/loadavg: 4.65 2.20 1.12 2/210 28221
/proc/meminfo: memFree=25397784/32770624 swapFree=66986356/67108860
[pid=28199] ppid=28196 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/28199/stat : 28199 (scop.sh) S 28196 28199 27734 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 500197644 115843072 349 33554432000 4194304 5098028 140727421062816 140727421060072 140392573514364 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 40173568 140727421068069 140727421068396 140727421068396 140727421071309 0
/proc/28199/statm: 28282 349 296 221 0 87 0
[pid=28202] ppid=28199 vsize=27314120 memory=128740 CPUtime=0.42 cores=0-7
/proc/28202/stat : 28202 (java) S 28199 28199 27734 0 -1 1077944320 13023 0 0 0 38 4 0 0 20 0 20 0 500197645 27969658880 32185 33554432000 4194304 4196468 140736048012112 140736047994656 139925500227319 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 19492864 140736048018155 140736048018582 140736048018582 140736048021455 0
/proc/28202/statm: 6828530 32185 3046 1 0 6790935 0
[pid=28202/tid=28203] ppid=28199 vsize=27314120 memory=8317482817917895235 CPUtime=0.29 cores=0-7
/proc/28202/task/28203/stat : 28203 (java) R 28199 28199 27734 0 -1 4202560 10340 0 0 0 26 3 0 0 20 0 20 0 500197645 27969658880 32185 33554432000 4194304 4196468 140736048012112 139925472012304 139925480503200 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19492864 140736048018155 140736048018582 140736048018582 140736048021455 0
[pid=28202/tid=28204] ppid=28199 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28202/task/28204/stat : 28204 (java) S 28199 28199 27734 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500197647 27969658880 32185 33554432000 4194304 4196468 140736048012112 139925504469904 139925500237525 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19492864 140736048018155 140736048018582 140736048018582 140736048021455 0
[pid=28202/tid=28205] ppid=28199 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28202/task/28205/stat : 28205 (java) S 28199 28199 27734 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500197647 27969658880 32185 33554432000 4194304 4196468 140736048012112 139924921985808 139925500237525 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19492864 140736048018155 140736048018582 140736048018582 140736048021455 0
[pid=28202/tid=28206] ppid=28199 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28202/task/28206/stat : 28206 (java) S 28199 28199 27734 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500197647 27969658880 32185 33554432000 4194304 4196468 140736048012112 139924920933520 139925500237525 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19492864 140736048018155 140736048018582 140736048018582 140736048021455 0
[pid=28202/tid=28207] ppid=28199 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28202/task/28207/stat : 28207 (java) S 28199 28199 27734 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 500197647 27969658880 32185 33554432000 4194304 4196468 140736048012112 139924919880720 139925500237525 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19492864 140736048018155 140736048018582 140736048018582 140736048021455 0
[pid=28202/tid=28208] ppid=28199 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28202/task/28208/stat : 28208 (java) S 28199 28199 27734 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500197647 27969658880 32185 33554432000 4194304 4196468 140736048012112 139924918827408 139925500237525 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19492864 140736048018155 140736048018582 140736048018582 140736048021455 0
[pid=28202/tid=28209] ppid=28199 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28202/task/28209/stat : 28209 (java) S 28199 28199 27734 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500197647 27969658880 32185 33554432000 4194304 4196468 140736048012112 139924917774608 139925500237525 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19492864 140736048018155 140736048018582 140736048018582 140736048021455 0
[pid=28202/tid=28210] ppid=28199 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28202/task/28210/stat : 28210 (java) S 28199 28199 27734 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500197647 27969658880 32185 33554432000 4194304 4196468 140736048012112 139924916722320 139925500237525 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19492864 140736048018155 140736048018582 140736048018582 140736048021455 0
[pid=28202/tid=28211] ppid=28199 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28202/task/28211/stat : 28211 (java) S 28199 28199 27734 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500197647 27969658880 32185 33554432000 4194304 4196468 140736048012112 139924915669520 139925500237525 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19492864 140736048018155 140736048018582 140736048018582 140736048021455 0
[pid=28202/tid=28212] ppid=28199 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28202/task/28212/stat : 28212 (java) S 28199 28199 27734 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500197649 27969658880 32185 33554432000 4194304 4196468 140736048012112 139924135058032 139925500238466 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19492864 140736048018155 140736048018582 140736048018582 140736048021455 0
[pid=28202/tid=28213] ppid=28199 vsize=27314120 memory=280032404774272 CPUtime=0 cores=0-7
/proc/28202/task/28213/stat : 28213 (java) S 28199 28199 27734 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 500197649 27969658880 32185 33554432000 4194304 4196468 140736048012112 139923457828128 139925500237525 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19492864 140736048018155 140736048018582 140736048018582 140736048021455 0
[pid=28202/tid=28214] ppid=28199 vsize=27314120 memory=280032404778880 CPUtime=0 cores=0-7
/proc/28202/task/28214/stat : 28214 (java) S 28199 28199 27734 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500197650 27969658880 32185 33554432000 4194304 4196468 140736048012112 139923189393008 139925500237525 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19492864 140736048018155 140736048018582 140736048018582 140736048021455 0
[pid=28202/tid=28215] ppid=28199 vsize=27314120 memory=280032404783488 CPUtime=0 cores=0-7
/proc/28202/task/28215/stat : 28215 (java) S 28199 28199 27734 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500197652 27969658880 32185 33554432000 4194304 4196468 140736048012112 139922814884432 139925500245915 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19492864 140736048018155 140736048018582 140736048018582 140736048021455 0
[pid=28202/tid=28216] ppid=28199 vsize=27314120 memory=280032404788096 CPUtime=0.01 cores=0-7
/proc/28202/task/28216/stat : 28216 (java) S 28199 28199 27734 0 -1 1077944384 403 0 0 0 1 0 0 0 20 0 20 0 500197652 27969658880 32185 33554432000 4194304 4196468 140736048012112 139924134004848 139925500238466 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19492864 140736048018155 140736048018582 140736048018582 140736048021455 0
[pid=28202/tid=28217] ppid=28199 vsize=27314120 memory=280032404792704 CPUtime=0.01 cores=0-7
/proc/28202/task/28217/stat : 28217 (java) S 28199 28199 27734 0 -1 1077944384 219 0 0 0 1 0 0 0 20 0 20 0 500197652 27969658880 32185 33554432000 4194304 4196468 140736048012112 139924132952048 139925500238466 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19492864 140736048018155 140736048018582 140736048018582 140736048021455 0
[pid=28202/tid=28218] ppid=28199 vsize=27314120 memory=280032404797312 CPUtime=0.01 cores=0-7
/proc/28202/task/28218/stat : 28218 (java) S 28199 28199 27734 0 -1 1077944384 61 0 0 0 1 0 0 0 20 0 20 0 500197652 27969658880 32185 33554432000 4194304 4196468 140736048012112 139924131899760 139925500238466 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19492864 140736048018155 140736048018582 140736048018582 140736048021455 0
[pid=28202/tid=28219] ppid=28199 vsize=27314120 memory=280032404801920 CPUtime=0.07 cores=0-7
/proc/28202/task/28219/stat : 28219 (java) S 28199 28199 27734 0 -1 1077944384 661 0 0 0 7 0 0 0 20 0 20 0 500197652 27969658880 32185 33554432000 4194304 4196468 140736048012112 139924130846960 139925500238466 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19492864 140736048018155 140736048018582 140736048018582 140736048021455 0
[pid=28202/tid=28220] ppid=28199 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28202/task/28220/stat : 28220 (java) S 28199 28199 27734 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 500197652 27969658880 32185 33554432000 4194304 4196468 140736048012112 139922316979040 139925500237525 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19492864 140736048018155 140736048018582 140736048018582 140736048021455 0
[pid=28202/tid=28221] ppid=28199 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/28202/task/28221/stat : 28221 (java) S 28199 28199 27734 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500197653 27969658880 32185 33554432000 4194304 4196468 140736048012112 139923747236656 139925500238466 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19492864 140736048018155 140736048018582 140736048018582 140736048021455 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 130136 KiB

[startup+0.700957 s]
/proc/loadavg: 4.65 2.20 1.12 2/210 28221
/proc/meminfo: memFree=25375808/32770624 swapFree=66986356/67108860
[pid=28199] ppid=28196 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/28199/stat : 28199 (scop.sh) S 28196 28199 27734 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 500197644 115843072 349 33554432000 4194304 5098028 140727421062816 140727421060072 140392573514364 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 40173568 140727421068069 140727421068396 140727421068396 140727421071309 0
/proc/28199/statm: 28282 349 296 221 0 87 0
[pid=28202] ppid=28199 vsize=27320392 memory=164488 CPUtime=0.97 cores=0-7
/proc/28202/stat : 28202 (java) S 28199 28199 27734 0 -1 1077944320 20714 0 0 0 90 7 0 0 20 0 20 0 500197645 27976081408 41122 33554432000 4194304 4196468 140736048012112 140736047994656 139925500227319 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 19492864 140736048018155 140736048018582 140736048018582 140736048021455 0
/proc/28202/statm: 6830098 41122 3162 1 0 6791447 0
[pid=28202/tid=28203] ppid=28199 vsize=27320392 memory=4580 CPUtime=0.68 cores=0-7
/proc/28202/task/28203/stat : 28203 (java) R 28199 28199 27734 0 -1 4202560 17406 0 0 0 62 6 0 0 20 0 20 0 500197645 27976081408 41122 33554432000 4194304 4196468 140736048012112 139925472063056 139925002976260 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19492864 140736048018155 140736048018582 140736048018582 140736048021455 0
[pid=28202/tid=28204] ppid=28199 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/28202/task/28204/stat : 28204 (java) S 28199 28199 27734 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500197647 27976081408 41122 33554432000 4194304 4196468 140736048012112 139925504469904 139925500237525 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19492864 140736048018155 140736048018582 140736048018582 140736048021455 0
[pid=28202/tid=28205] ppid=28199 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/28202/task/28205/stat : 28205 (java) S 28199 28199 27734 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500197647 27976081408 41122 33554432000 4194304 4196468 140736048012112 139924921985808 139925500237525 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19492864 140736048018155 140736048018582 140736048018582 140736048021455 0
[pid=28202/tid=28206] ppid=28199 vsize=27320392 memory=1056 CPUtime=0 cores=0-7
/proc/28202/task/28206/stat : 28206 (java) S 28199 28199 27734 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500197647 27976081408 41122 33554432000 4194304 4196468 140736048012112 139924920933520 139925500237525 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19492864 140736048018155 140736048018582 140736048018582 140736048021455 0

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

/proc/28222/task/28234/stat : 28234 (java) S 28199 28199 27734 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500198329 8616062976 30047 33554432000 4194304 4196468 140733154137952 139894802343024 139896494814933 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15716352 140733154141175 140733154141334 140733154141334 140733154144207 0
[pid=28222/tid=28235] ppid=28199 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/28222/task/28235/stat : 28235 (java) S 28199 28199 27734 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500198331 8616062976 30047 33554432000 4194304 4196468 140733154137952 139894427834448 139896494823323 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15716352 140733154141175 140733154141334 140733154141334 140733154144207 0
[pid=28222/tid=28236] ppid=28199 vsize=8414124 memory=0 CPUtime=0.05 cores=0-7
/proc/28222/task/28236/stat : 28236 (java) S 28199 28199 27734 0 -1 1077944384 739 0 0 0 5 0 0 0 20 0 24 0 500198331 8616062976 30047 33554432000 4194304 4196468 140733154137952 139895586597488 139896494815874 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15716352 140733154141175 140733154141334 140733154141334 140733154144207 0
[pid=28222/tid=28237] ppid=28199 vsize=8414124 memory=0 CPUtime=0.07 cores=0-7
/proc/28222/task/28237/stat : 28237 (java) S 28199 28199 27734 0 -1 1077944384 164 0 0 0 7 0 0 0 20 0 24 0 500198331 8616062976 30047 33554432000 4194304 4196468 140733154137952 139895585544688 139896494815874 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15716352 140733154141175 140733154141334 140733154141334 140733154144207 0
[pid=28222/tid=28238] ppid=28199 vsize=8414124 memory=0 CPUtime=0.06 cores=0-7
/proc/28222/task/28238/stat : 28238 (java) S 28199 28199 27734 0 -1 1077944384 254 0 0 0 6 0 0 0 20 0 24 0 500198331 8616062976 30047 33554432000 4194304 4196468 140733154137952 139895584492400 139896494815874 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15716352 140733154141175 140733154141334 140733154141334 140733154144207 0
[pid=28222/tid=28239] ppid=28199 vsize=8414124 memory=0 CPUtime=0.19 cores=0-7
/proc/28222/task/28239/stat : 28239 (java) S 28199 28199 27734 0 -1 1077944384 537 0 0 0 19 0 0 0 20 0 24 0 500198331 8616062976 30047 33554432000 4194304 4196468 140733154137952 139895583439600 139896494815874 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15716352 140733154141175 140733154141334 140733154141334 140733154144207 0
[pid=28222/tid=28240] ppid=28199 vsize=8414124 memory=8243114992657236051 CPUtime=0 cores=0-7
/proc/28222/task/28240/stat : 28240 (java) S 28199 28199 27734 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 500198331 8616062976 30047 33554432000 4194304 4196468 140733154137952 139893929929056 139896494814933 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15716352 140733154141175 140733154141334 140733154141334 140733154144207 0
[pid=28222/tid=28241] ppid=28199 vsize=8414124 memory=288283394117469022 CPUtime=0 cores=0-7
/proc/28222/task/28241/stat : 28241 (java) S 28199 28199 27734 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 500198331 8616062976 30047 33554432000 4194304 4196468 140733154137952 139895582386480 139896494815874 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15716352 140733154141175 140733154141334 140733154141334 140733154144207 0
[pid=28222/tid=28243] ppid=28199 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/28222/task/28243/stat : 28243 (java) S 28199 28199 27734 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 500198398 8616062976 30047 33554432000 4194304 4196468 140733154137952 139895574910272 139896494829337 0 4 2 25189581 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 15716352 140733154141175 140733154141334 140733154141334 140733154144207 0
[pid=28222/tid=28245] ppid=28199 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/28222/task/28245/stat : 28245 (java) S 28199 28199 27734 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 24 0 500198398 8616062976 30047 33554432000 4194304 4196468 140733154137952 139893258829712 139896494826653 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 15716352 140733154141175 140733154141334 140733154141334 140733154144207 0
[pid=28222/tid=28246] ppid=28199 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/28222/task/28246/stat : 28246 (java) S 28199 28199 27734 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 500198398 8616062976 30047 33554432000 4194304 4196468 140733154137952 139893527265040 139896494826653 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 15716352 140733154141175 140733154141334 140733154141334 140733154144207 0
[pid=28222/tid=28247] ppid=28199 vsize=8414124 memory=6944656592387989600 CPUtime=0 cores=0-7
/proc/28222/task/28247/stat : 28247 (java) S 28199 28199 27734 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 500198400 8616062976 30047 33554432000 4194304 4196468 140733154137952 139892990402352 139896494814933 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15716352 140733154141175 140733154141334 140733154141334 140733154144207 0
Current children cumulated CPU time: 43.85 s
Current children cumulated vsize: 9167004 KiB
Current children cumulated memory: 232172 KiB

[startup+11.2021 s]
/proc/loadavg: 4.65 2.27 1.16 9/223 28255
/proc/meminfo: memFree=25279400/32770624 swapFree=66986356/67108860
[pid=28199] ppid=28196 vsize=113128 memory=1476 CPUtime=20.23 cores=0-7
/proc/28199/stat : 28199 (scop.sh) S 28196 28199 27734 0 -1 4202496 583 37685 0 0 0 0 1975 48 20 0 1 0 500197644 115843072 369 33554432000 4194304 5098028 140727421062816 140727421059560 140392573514364 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 40173568 140727421068069 140727421068396 140727421068396 140727421071309 0
/proc/28199/statm: 28282 369 311 221 0 87 0
[pid=28222] ppid=28199 vsize=8414124 memory=120188 CPUtime=1.18 cores=0-7
/proc/28222/stat : 28222 (java) S 28199 28199 27734 0 -1 1077944320 20036 0 0 0 110 8 0 0 20 0 24 0 500198325 8616062976 30047 33554432000 4194304 4196468 140733154137952 140733154120496 139896494804727 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 15716352 140733154141175 140733154141334 140733154141334 140733154144207 0
/proc/28222/statm: 2103531 30047 3207 1 0 2064875 0
[pid=28242] ppid=28222 vsize=639752 memory=131064 CPUtime=28.81 cores=0-7
/proc/28242/stat : 28242 (manyglucose-4.1) S 28222 28199 27734 0 -1 1077944320 55573 0 0 0 2869 12 0 0 20 0 9 0 500198398 655106048 32766 33554432000 4194304 4454172 140733655118128 140733655116528 139677738445442 0 4 0 8388610 18446744073709551615 0 0 17 2 0 0 0 0 0 6552832 6554400 38412288 140733655126889 140733655127088 140733655127088 140733655130042 0
/proc/28242/statm: 159938 32766 403 64 0 155606 0
[pid=28242/tid=28248] ppid=28222 vsize=639752 memory=1728 CPUtime=3.59 cores=0-7
/proc/28242/task/28248/stat : 28248 (manyglucose-4.1) R 28222 28199 27734 0 -1 4202560 7562 0 0 0 358 1 0 0 20 0 9 0 500198403 655106048 32766 33554432000 4194304 4454172 140733655118128 139677717064808 4351215 0 4 0 8388610 0 0 0 -1 2 0 0 0 0 0 6552832 6554400 38412288 140733655126889 140733655127088 140733655127088 140733655130042 0
[pid=28242/tid=28249] ppid=28222 vsize=639752 memory=692 CPUtime=3.6 cores=0-7
/proc/28242/task/28249/stat : 28249 (manyglucose-4.1) R 28222 28199 27734 0 -1 4202560 5979 0 0 0 359 1 0 0 20 0 9 0 500198403 655106048 32766 33554432000 4194304 4454172 140733655118128 139677708671848 4332996 0 4 0 8388610 0 0 0 -1 1 0 0 0 0 0 6552832 6554400 38412288 140733655126889 140733655127088 140733655127088 140733655130042 0
[pid=28242/tid=28250] ppid=28222 vsize=639752 memory=1056 CPUtime=3.59 cores=0-7
/proc/28242/task/28250/stat : 28250 (manyglucose-4.1) R 28222 28199 27734 0 -1 4202560 6062 0 0 0 358 1 0 0 20 0 9 0 500198403 655106048 32766 33554432000 4194304 4454172 140733655118128 139677700279400 4367136 0 4 0 8388610 0 0 0 -1 5 0 0 0 0 0 6552832 6554400 38412288 140733655126889 140733655127088 140733655127088 140733655130042 0
[pid=28242/tid=28251] ppid=28222 vsize=639752 memory=0 CPUtime=3.6 cores=0-7
/proc/28242/task/28251/stat : 28251 (manyglucose-4.1) R 28222 28199 27734 0 -1 4202560 5732 0 0 0 359 1 0 0 20 0 9 0 500198403 655106048 32766 33554432000 4194304 4454172 140733655118128 139677691886440 4351381 0 4 0 8388610 0 0 0 -1 0 0 0 0 0 0 6552832 6554400 38412288 140733655126889 140733655127088 140733655127088 140733655130042 0
[pid=28242/tid=28252] ppid=28222 vsize=639752 memory=1056 CPUtime=3.59 cores=0-7
/proc/28242/task/28252/stat : 28252 (manyglucose-4.1) R 28222 28199 27734 0 -1 4202560 6095 0 0 0 358 1 0 0 20 0 9 0 500198403 655106048 32766 33554432000 4194304 4454172 140733655118128 139677683493992 4332841 0 4 0 8388610 0 0 0 -1 3 0 0 0 0 0 6552832 6554400 38412288 140733655126889 140733655127088 140733655127088 140733655130042 0
[pid=28242/tid=28253] ppid=28222 vsize=639752 memory=1556 CPUtime=3.51 cores=0-7
/proc/28242/task/28253/stat : 28253 (manyglucose-4.1) R 28222 28199 27734 0 -1 4202560 6069 0 0 0 350 1 0 0 20 0 9 0 500198403 655106048 32766 33554432000 4194304 4454172 140733655118128 139677570952296 4349976 0 4 0 8388610 0 0 0 -1 7 0 0 0 0 0 6552832 6554400 38412288 140733655126889 140733655127088 140733655127088 140733655130042 0
[pid=28242/tid=28254] ppid=28222 vsize=639752 memory=780 CPUtime=3.6 cores=0-7
/proc/28242/task/28254/stat : 28254 (manyglucose-4.1) R 28222 28199 27734 0 -1 4202560 6521 0 0 0 359 1 0 0 20 0 9 0 500198403 655106048 32766 33554432000 4194304 4454172 140733655118128 139677675101112 4332706 0 4 0 8388610 0 0 0 -1 6 0 0 0 0 0 6552832 6554400 38412288 140733655126889 140733655127088 140733655127088 140733655130042 0
[pid=28242/tid=28255] ppid=28222 vsize=639752 memory=215418616 CPUtime=3.6 cores=0-7
/proc/28242/task/28255/stat : 28255 (manyglucose-4.1) R 28222 28199 27734 0 -1 4202560 6081 0 0 0 359 1 0 0 20 0 9 0 500198403 655106048 32766 33554432000 4194304 4454172 140733655118128 139677666708328 4350320 0 4 0 8388610 0 0 0 -1 4 0 0 0 0 0 6552832 6554400 38412288 140733655126889 140733655127088 140733655127088 140733655130042 0
[pid=28222/tid=28223] ppid=28199 vsize=8414124 memory=206042873 CPUtime=0.76 cores=0-7
/proc/28222/task/28223/stat : 28223 (java) S 28199 28199 27734 0 -1 1077944384 16943 0 0 0 70 6 0 0 20 0 24 0 500198325 8616062976 30047 33554432000 4194304 4196468 140733154137952 139896466644896 139896494814933 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15716352 140733154141175 140733154141334 140733154141334 140733154144207 0
[pid=28222/tid=28224] ppid=28199 vsize=8414124 memory=115591445 CPUtime=0 cores=0-7
/proc/28222/task/28224/stat : 28224 (java) S 28199 28199 27734 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500198326 8616062976 30047 33554432000 4194304 4196468 140733154137952 139896499046800 139896494814933 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15716352 140733154141175 140733154141334 140733154141334 140733154144207 0
[pid=28222/tid=28225] ppid=28199 vsize=8414124 memory=566438715 CPUtime=0 cores=0-7
/proc/28222/task/28225/stat : 28225 (java) S 28199 28199 27734 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500198326 8616062976 30047 33554432000 4194304 4196468 140733154137952 139896299215120 139896494814933 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15716352 140733154141175 140733154141334 140733154141334 140733154144207 0
[pid=28222/tid=28226] ppid=28199 vsize=8414124 memory=56 CPUtime=0 cores=0-7
/proc/28222/task/28226/stat : 28226 (java) S 28199 28199 27734 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 500198326 8616062976 30047 33554432000 4194304 4196468 140733154137952 139896298162832 139896494814933 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15716352 140733154141175 140733154141334 140733154141334 140733154144207 0
[pid=28222/tid=28227] ppid=28199 vsize=8414124 memory=280032405522432 CPUtime=0 cores=0-7
/proc/28222/task/28227/stat : 28227 (java) S 28199 28199 27734 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 500198326 8616062976 30047 33554432000 4194304 4196468 140733154137952 139896297110032 139896494814933 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15716352 140733154141175 140733154141334 140733154141334 140733154144207 0
[pid=28222/tid=28228] ppid=28199 vsize=8414124 memory=1396 CPUtime=0 cores=0-7
/proc/28222/task/28228/stat : 28228 (java) S 28199 28199 27734 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 500198326 8616062976 30047 33554432000 4194304 4196468 140733154137952 139896296057744 139896494814933 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15716352 140733154141175 140733154141334 140733154141334 140733154144207 0
[pid=28222/tid=28229] ppid=28199 vsize=8414124 memory=1725480 CPUtime=0 cores=0-7
/proc/28222/task/28229/stat : 28229 (java) S 28199 28199 27734 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500198326 8616062976 30047 33554432000 4194304 4196468 140733154137952 139896295004944 139896494814933 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15716352 140733154141175 140733154141334 140733154141334 140733154144207 0
[pid=28222/tid=28230] ppid=28199 vsize=8414124 memory=1164 CPUtime=0 cores=0-7
/proc/28222/task/28230/stat : 28230 (java) S 28199 28199 27734 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500198326 8616062976 30047 33554432000 4194304 4196468 140733154137952 139896293952656 139896494814933 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15716352 140733154141175 140733154141334 140733154141334 140733154144207 0
[pid=28222/tid=28231] ppid=28199 vsize=8414124 memory=8317482817917895235 CPUtime=0 cores=0-7
/proc/28222/task/28231/stat : 28231 (java) S 28199 28199 27734 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500198326 8616062976 30047 33554432000 4194304 4196468 140733154137952 139896292899856 139896494814933 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15716352 140733154141175 140733154141334 140733154141334 140733154144207 0
[pid=28222/tid=28232] ppid=28199 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/28222/task/28232/stat : 28232 (java) S 28199 28199 27734 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 500198328 8616062976 30047 33554432000 4194304 4196468 140733154137952 139895587649648 139896494815874 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15716352 140733154141175 140733154141334 140733154141334 140733154144207 0
[pid=28222/tid=28233] ppid=28199 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/28222/task/28233/stat : 28233 (java) S 28199 28199 27734 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 500198328 8616062976 30047 33554432000 4194304 4196468 140733154137952 139895070778144 139896494814933 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15716352 140733154141175 140733154141334 140733154141334 140733154144207 0
[pid=28222/tid=28234] ppid=28199 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/28222/task/28234/stat : 28234 (java) S 28199 28199 27734 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500198329 8616062976 30047 33554432000 4194304 4196468 140733154137952 139894802343024 139896494814933 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15716352 140733154141175 140733154141334 140733154141334 140733154144207 0
[pid=28222/tid=28235] ppid=28199 vsize=8414124 memory=9201 CPUtime=0 cores=0-7
/proc/28222/task/28235/stat : 28235 (java) S 28199 28199 27734 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500198331 8616062976 30047 33554432000 4194304 4196468 140733154137952 139894427834448 139896494823323 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15716352 140733154141175 140733154141334 140733154141334 140733154144207 0
[pid=28222/tid=28236] ppid=28199 vsize=8414124 memory=0 CPUtime=0.05 cores=0-7
/proc/28222/task/28236/stat : 28236 (java) S 28199 28199 27734 0 -1 1077944384 739 0 0 0 5 0 0 0 20 0 24 0 500198331 8616062976 30047 33554432000 4194304 4196468 140733154137952 139895586597488 139896494815874 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15716352 140733154141175 140733154141334 140733154141334 140733154144207 0
[pid=28222/tid=28237] ppid=28199 vsize=8414124 memory=140020601476735 CPUtime=0.07 cores=0-7
/proc/28222/task/28237/stat : 28237 (java) S 28199 28199 27734 0 -1 1077944384 164 0 0 0 7 0 0 0 20 0 24 0 500198331 8616062976 30047 33554432000 4194304 4196468 140733154137952 139895585544688 139896494815874 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15716352 140733154141175 140733154141334 140733154141334 140733154144207 0
[pid=28222/tid=28238] ppid=28199 vsize=8414124 memory=7740962534463787370 CPUtime=0.06 cores=0-7
/proc/28222/task/28238/stat : 28238 (java) S 28199 28199 27734 0 -1 1077944384 254 0 0 0 6 0 0 0 20 0 24 0 500198331 8616062976 30047 33554432000 4194304 4196468 140733154137952 139895584492400 139896494815874 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15716352 140733154141175 140733154141334 140733154141334 140733154144207 0
[pid=28222/tid=28239] ppid=28199 vsize=8414124 memory=7884792935807543893 CPUtime=0.19 cores=0-7
/proc/28222/task/28239/stat : 28239 (java) S 28199 28199 27734 0 -1 1077944384 537 0 0 0 19 0 0 0 20 0 24 0 500198331 8616062976 30047 33554432000 4194304 4196468 140733154137952 139895583439600 139896494815874 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15716352 140733154141175 140733154141334 140733154141334 140733154144207 0
[pid=28222/tid=28240] ppid=28199 vsize=8414124 memory=7309178837960058450 CPUtime=0 cores=0-7
/proc/28222/task/28240/stat : 28240 (java) S 28199 28199 27734 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 500198331 8616062976 30047 33554432000 4194304 4196468 140733154137952 139893929929056 139896494814933 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15716352 140733154141175 140733154141334 140733154141334 140733154144207 0
[pid=28222/tid=28241] ppid=28199 vsize=8414124 memory=56 CPUtime=0 cores=0-7
/proc/28222/task/28241/stat : 28241 (java) S 28199 28199 27734 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 500198331 8616062976 30047 33554432000 4194304 4196468 140733154137952 139895582386480 139896494815874 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15716352 140733154141175 140733154141334 140733154141334 140733154144207 0
[pid=28222/tid=28243] ppid=28199 vsize=8414124 memory=10 CPUtime=0 cores=0-7
/proc/28222/task/28243/stat : 28243 (java) S 28199 28199 27734 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 500198398 8616062976 30047 33554432000 4194304 4196468 140733154137952 139895574910272 139896494829337 0 4 2 25189581 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 15716352 140733154141175 140733154141334 140733154141334 140733154144207 0
[pid=28222/tid=28245] ppid=28199 vsize=8414124 memory=10 CPUtime=0 cores=0-7
/proc/28222/task/28245/stat : 28245 (java) S 28199 28199 27734 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 24 0 500198398 8616062976 30047 33554432000 4194304 4196468 140733154137952 139893258829712 139896494826653 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 15716352 140733154141175 140733154141334 140733154141334 140733154144207 0
[pid=28222/tid=28246] ppid=28199 vsize=8414124 memory=10 CPUtime=0 cores=0-7
/proc/28222/task/28246/stat : 28246 (java) S 28199 28199 27734 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 500198398 8616062976 30047 33554432000 4194304 4196468 140733154137952 139893527265040 139896494826653 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 15716352 140733154141175 140733154141334 140733154141334 140733154144207 0
[pid=28222/tid=28247] ppid=28199 vsize=8414124 memory=2867664606213941 CPUtime=0 cores=0-7
/proc/28222/task/28247/stat : 28247 (java) S 28199 28199 27734 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 500198400 8616062976 30047 33554432000 4194304 4196468 140733154137952 139892990402352 139896494814933 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15716352 140733154141175 140733154141334 140733154141334 140733154144207 0
Current children cumulated CPU time: 50.22 s
Current children cumulated vsize: 9167004 KiB
Current children cumulated memory: 252728 KiB

[startup+11.4013 s]
/proc/loadavg: 4.65 2.27 1.16 9/223 28255
/proc/meminfo: memFree=25279400/32770624 swapFree=66986356/67108860
[pid=28199] ppid=28196 vsize=113128 memory=1476 CPUtime=20.23 cores=0-7
/proc/28199/stat : 28199 (scop.sh) S 28196 28199 27734 0 -1 4202496 583 37685 0 0 0 0 1975 48 20 0 1 0 500197644 115843072 369 33554432000 4194304 5098028 140727421062816 140727421059560 140392573514364 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 40173568 140727421068069 140727421068396 140727421068396 140727421071309 0
/proc/28199/statm: 28282 369 311 221 0 87 0
[pid=28222] ppid=28199 vsize=8283048 memory=121172 CPUtime=30.88 cores=0-7
/proc/28222/stat : 28222 (java) S 28199 28199 27734 0 -1 1077944320 20236 55917 0 0 119 9 2947 13 20 0 22 0 500198325 8481841152 30293 33554432000 4194304 4196468 140733154137952 140733154120496 139896494804727 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 15716352 140733154141175 140733154141334 140733154141334 140733154144207 0
/proc/28222/statm: 2070762 30293 3211 1 0 2032106 0
[pid=28222/tid=28223] ppid=28199 vsize=8283048 memory=16104783857584314 CPUtime=30.37 cores=0-7
/proc/28222/task/28223/stat : 28223 (java) R 28199 28199 27734 0 -1 4202560 16995 55917 0 0 71 6 2947 13 20 0 22 0 500198325 8481841152 30293 33554432000 4194304 4196468 140733154137952 139896466644896 139896494826653 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15716352 140733154141175 140733154141334 140733154141334 140733154144207 0
[pid=28222/tid=28224] ppid=28199 vsize=8283048 memory=0 CPUtime=29.6 cores=0-7
/proc/28222/task/28224/stat : 28224 (java) S 28199 28199 27734 0 -1 1077944384 1 55917 0 0 0 0 2947 13 20 0 22 0 500198326 8481841152 30293 33554432000 4194304 4196468 140733154137952 139896499046800 139896494814933 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15716352 140733154141175 140733154141334 140733154141334 140733154144207 0
[pid=28222/tid=28225] ppid=28199 vsize=8283048 memory=0 CPUtime=29.6 cores=0-7
/proc/28222/task/28225/stat : 28225 (java) S 28199 28199 27734 0 -1 1077944384 1 55917 0 0 0 0 2947 13 20 0 22 0 500198326 8481841152 30293 33554432000 4194304 4196468 140733154137952 139896299215120 139896494814933 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15716352 140733154141175 140733154141334 140733154141334 140733154144207 0
[pid=28222/tid=28226] ppid=28199 vsize=8283048 memory=0 CPUtime=29.6 cores=0-7
/proc/28222/task/28226/stat : 28226 (java) S 28199 28199 27734 0 -1 1077944384 3 55917 0 0 0 0 2947 13 20 0 22 0 500198326 8481841152 30293 33554432000 4194304 4196468 140733154137952 139896298162832 139896494814933 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15716352 140733154141175 140733154141334 140733154141334 140733154144207 0
[pid=28222/tid=28227] ppid=28199 vsize=8283048 memory=0 CPUtime=29.6 cores=0-7
/proc/28222/task/28227/stat : 28227 (java) S 28199 28199 27734 0 -1 1077944384 2 55917 0 0 0 0 2947 13 20 0 22 0 500198326 8481841152 30293 33554432000 4194304 4196468 140733154137952 139896297110032 139896494814933 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15716352 140733154141175 140733154141334 140733154141334 140733154144207 0
[pid=28222/tid=28228] ppid=28199 vsize=8283048 memory=0 CPUtime=29.6 cores=0-7
/proc/28222/task/28228/stat : 28228 (java) S 28199 28199 27734 0 -1 1077944384 2 55917 0 0 0 0 2947 13 20 0 22 0 500198326 8481841152 30293 33554432000 4194304 4196468 140733154137952 139896296057744 139896494814933 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15716352 140733154141175 140733154141334 140733154141334 140733154144207 0
[pid=28222/tid=28229] ppid=28199 vsize=8283048 memory=0 CPUtime=29.6 cores=0-7
/proc/28222/task/28229/stat : 28229 (java) S 28199 28199 27734 0 -1 1077944384 1 55917 0 0 0 0 2947 13 20 0 22 0 500198326 8481841152 30293 33554432000 4194304 4196468 140733154137952 139896295004944 139896494814933 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15716352 140733154141175 140733154141334 140733154141334 140733154144207 0
[pid=28222/tid=28230] ppid=28199 vsize=8283048 memory=0 CPUtime=29.6 cores=0-7
/proc/28222/task/28230/stat : 28230 (java) S 28199 28199 27734 0 -1 1077944384 1 55917 0 0 0 0 2947 13 20 0 22 0 500198326 8481841152 30293 33554432000 4194304 4196468 140733154137952 139896293952656 139896494814933 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15716352 140733154141175 140733154141334 140733154141334 140733154144207 0
[pid=28222/tid=28231] ppid=28199 vsize=8283048 memory=0 CPUtime=29.6 cores=0-7
/proc/28222/task/28231/stat : 28231 (java) S 28199 28199 27734 0 -1 1077944384 1 55917 0 0 0 0 2947 13 20 0 22 0 500198326 8481841152 30293 33554432000 4194304 4196468 140733154137952 139896292899856 139896494814933 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15716352 140733154141175 140733154141334 140733154141334 140733154144207 0
[pid=28222/tid=28232] ppid=28199 vsize=8283048 memory=0 CPUtime=29.6 cores=0-7
/proc/28222/task/28232/stat : 28232 (java) S 28199 28199 27734 0 -1 1077944384 7 55917 0 0 0 0 2947 13 20 0 22 0 500198328 8481841152 30293 33554432000 4194304 4196468 140733154137952 139895587649648 139896494815874 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15716352 140733154141175 140733154141334 140733154141334 140733154144207 0
[pid=28222/tid=28233] ppid=28199 vsize=8283048 memory=0 CPUtime=29.6 cores=0-7
/proc/28222/task/28233/stat : 28233 (java) S 28199 28199 27734 0 -1 1077944384 13 55917 0 0 0 0 2947 13 20 0 22 0 500198328 8481841152 30293 33554432000 4194304 4196468 140733154137952 139895070778144 139896494814933 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15716352 140733154141175 140733154141334 140733154141334 140733154144207 0
[pid=28222/tid=28234] ppid=28199 vsize=8283048 memory=0 CPUtime=29.6 cores=0-7
/proc/28222/task/28234/stat : 28234 (java) S 28199 28199 27734 0 -1 1077944384 1 55917 0 0 0 0 2947 13 20 0 22 0 500198329 8481841152 30293 33554432000 4194304 4196468 140733154137952 139894802343024 139896494814933 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15716352 140733154141175 140733154141334 140733154141334 140733154144207 0
[pid=28222/tid=28235] ppid=28199 vsize=8283048 memory=120188 CPUtime=29.6 cores=0-7
/proc/28222/task/28235/stat : 28235 (java) S 28199 28199 27734 0 -1 1077944384 1 55917 0 0 0 0 2947 13 20 0 22 0 500198331 8481841152 30293 33554432000 4194304 4196468 140733154137952 139894427834448 139896494823323 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15716352 140733154141175 140733154141334 140733154141334 140733154144207 0
[pid=28222/tid=28236] ppid=28199 vsize=8283048 memory=50196 CPUtime=29.67 cores=0-7
/proc/28222/task/28236/stat : 28236 (java) S 28199 28199 27734 0 -1 1077944384 747 55917 0 0 7 0 2947 13 20 0 22 0 500198331 8481841152 30293 33554432000 4194304 4196468 140733154137952 139895586597488 139896494815874 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15716352 140733154141175 140733154141334 140733154141334 140733154144207 0
[pid=28222/tid=28237] ppid=28199 vsize=8283048 memory=123386088917738 CPUtime=29.68 cores=0-7
/proc/28222/task/28237/stat : 28237 (java) S 28199 28199 27734 0 -1 1077944384 173 55917 0 0 8 0 2947 13 20 0 22 0 500198331 8481841152 30293 33554432000 4194304 4196468 140733154137952 139895585544688 139896494815874 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15716352 140733154141175 140733154141334 140733154141334 140733154144207 0
[pid=28222/tid=28238] ppid=28199 vsize=8283048 memory=7552 CPUtime=29.67 cores=0-7
/proc/28222/task/28238/stat : 28238 (java) S 28199 28199 27734 0 -1 1077944384 259 55917 0 0 7 0 2947 13 20 0 22 0 500198331 8481841152 30293 33554432000 4194304 4196468 140733154137952 139895584492400 139896494815874 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15716352 140733154141175 140733154141334 140733154141334 140733154144207 0
[pid=28222/tid=28239] ppid=28199 vsize=8283048 memory=2832 CPUtime=29.82 cores=0-7
/proc/28222/task/28239/stat : 28239 (java) S 28199 28199 27734 0 -1 1077944384 604 55917 0 0 22 0 2947 13 20 0 22 0 500198331 8481841152 30293 33554432000 4194304 4196468 140733154137952 139895583439600 139896494815874 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15716352 140733154141175 140733154141334 140733154141334 140733154144207 0
[pid=28222/tid=28240] ppid=28199 vsize=8283048 memory=2241 CPUtime=29.6 cores=0-7
/proc/28222/task/28240/stat : 28240 (java) S 28199 28199 27734 0 -1 1077944384 3 55917 0 0 0 0 2947 13 20 0 22 0 500198331 8481841152 30293 33554432000 4194304 4196468 140733154137952 139893929929056 139896494814933 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15716352 140733154141175 140733154141334 140733154141334 140733154144207 0
[pid=28222/tid=28241] ppid=28199 vsize=8283048 memory=2244 CPUtime=29.6 cores=0-7
/proc/28222/task/28241/stat : 28241 (java) S 28199 28199 27734 0 -1 1077944384 3 55917 0 0 0 0 2947 13 20 0 22 0 500198331 8481841152 30293 33554432000 4194304 4196468 140733154137952 139895582386480 139896494815874 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15716352 140733154141175 140733154141334 140733154141334 140733154144207 0
[pid=28222/tid=28243] ppid=28199 vsize=8283048 memory=-3833726747341067623 CPUtime=29.6 cores=0-7
/proc/28222/task/28243/stat : 28243 (java) S 28199 28199 27734 0 -1 1077944384 28 55917 0 0 0 0 2947 13 20 0 22 0 500198398 8481841152 30293 33554432000 4194304 4196468 140733154137952 139895574909456 139896494815874 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15716352 140733154141175 140733154141334 140733154141334 140733154144207 0
[pid=28222/tid=28247] ppid=28199 vsize=8283048 memory=912 CPUtime=29.6 cores=0-7
/proc/28222/task/28247/stat : 28247 (java) S 28199 28199 27734 0 -1 1077944384 12 55917 0 0 0 0 2947 13 20 0 22 0 500198400 8481841152 30293 33554432000 4194304 4196468 140733154137952 139892990404144 139896494815874 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15716352 140733154141175 140733154141334 140733154141334 140733154144207 0
Current children cumulated CPU time: 51.11 s
Current children cumulated vsize: 8396176 KiB
Current children cumulated memory: 122648 KiB

Child status: 0
Real time (s): 11.4843
CPU time (s): 51.2773
CPU user time (s): 50.5471
CPU system time (s): 0.730223
CPU usage (%): 446.5
Max. virtual memory (cumulated for all children) (KiB): 27441856
Max. memory (cumulated for all children) (KiB): 2103108

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 50.5471
system time used= 0.730223
maximum resident set size= 2109960
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 114801
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1824
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 10624
involuntary context switches= 353


# summary of solver processes directly reported to runsolver:
#   pid: 28199
#   total CPU time (s): 51.2773
#   total CPU user time (s): 50.5471
#   total CPU system time (s): 0.730223

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.088718 second user time and 0.201162 second system time

The end

Launcher Data 

Begin job on node104 at 2019-09-23 12:39:47
IDJOB=4405139
IDBENCH=122262
IDSOLVER=2867
FILE ID=node104/4405139-1569239409
RUNJOBID= node104-1569234408-27761
PBS_JOBID= 21704916
Free space on /tmp= 9832 MiB

SOLVER NAME= Fun-sCOP order+ManyGlucose (2019-09-22)
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-4405139-1569239409/watcher-4405139-1569239409 -o /tmp/evaluation-result-4405139-1569239409/solver-4405139-1569239409 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node104-1569234408-27761 --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-4405139-1569239409.xml

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

MD5SUM BENCH= 2b23d7f384de8bee09908163d3005f80
RANDOM SEED=2008324969

node104.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	: 5334.09
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	: 5334.09
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	: 5334.09
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	: 5334.09
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:        25512408 kB
MemAvailable:   31816360 kB
Buffers:           85524 kB
Cached:          6283104 kB
SwapCached:        22652 kB
Active:          3174256 kB
Inactive:        3221684 kB
Active(anon):       4544 kB
Inactive(anon):    80080 kB
Active(file):    3169712 kB
Inactive(file):  3141604 kB
Unevictable:      109544 kB
Mlocked:          109544 kB
SwapTotal:      67108860 kB
SwapFree:       66986356 kB
Dirty:             20984 kB
Writeback:             0 kB
AnonPages:        115192 kB
Mapped:            55128 kB
Shmem:             49004 kB
Slab:             450368 kB
SReclaimable:     421096 kB
SUnreclaim:        29272 kB
KernelStack:        3712 kB
PageTables:         5308 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     505724 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     69632 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      124288 kB
DirectMap2M:    33421312 kB

Free space on /tmp at the end= 9812 MiB
End job on node104 at 2019-09-23 12:39:58