Trace number 4392668

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Fun-sCOP hybrid+ManyGlucose (2019-06-15)UNSAT 198.465 45.4095

General information on the benchmark

NameSuperSolutions/SuperSolutions-Taillard-os10/
SuperTaillard-os-10-06.xml
MD5SUM6b3d88799df56964f86d557249875b85
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark56.1836
Satisfiable
(Un)Satisfiability was proved
Number of variables200
Number of constraints2800
Number of domains64
Minimum domain size440
Maximum domain size538
Distribution of domain sizes[{"size":440,"count":2},{"size":441,"count":2},{"size":442,"count":2},{"size":444,"count":2},{"size":445,"count":4},{"size":447,"count":2},{"size":448,"count":4},{"size":449,"count":4},{"size":450,"count":2},{"size":452,"count":2},{"size":455,"count":4},{"size":457,"count":4},{"size":459,"count":2},{"size":461,"count":2},{"size":462,"count":2},{"size":464,"count":4},{"size":466,"count":2},{"size":467,"count":2},{"size":470,"count":4},{"size":472,"count":8},{"size":474,"count":2},{"size":475,"count":2},{"size":477,"count":2},{"size":480,"count":6},{"size":483,"count":2},"...",{"size":505,"count":2}, {"size":506,"count":2}, {"size":508,"count":10}, {"size":509,"count":2}, {"size":511,"count":2}, {"size":512,"count":2}, {"size":513,"count":6}, {"size":514,"count":2}, {"size":515,"count":2}, {"size":516,"count":2}, {"size":517,"count":4}, {"size":518,"count":4}, {"size":519,"count":4}, {"size":520,"count":2}, {"size":521,"count":2}, {"size":522,"count":4}, {"size":523,"count":4}, {"size":524,"count":2}, {"size":526,"count":4}, {"size":528,"count":2}, {"size":529,"count":4}, {"size":530,"count":8}, {"size":531,"count":4}, {"size":534,"count":2}, {"size":538,"count":4}]
Minimum variable degree19
Maximum variable degree37
Distribution of variable degrees[{"degree":19,"count":100},{"degree":37,"count":100}]
Minimum constraint arity2
Maximum constraint arity2
Distribution of constraint arities[{"arity":2,"count":2800}]
Number of extensional constraints0
Number of intensional constraints2800
Distribution of constraint types[{"type":"intension","count":2800}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c (scop.sh) java -Xms22g -Xmx22g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Encode -hybrid -solver HOME/manyglucose-4.1-27_release -solverOption -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 -tmp HOME -serialFile HOME/scop-16121-serial-file.bin HOME/instance-4392668-1568441922.xml
0.66/0.54	
0.66/0.54	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
0.66/0.54	
0.66/0.57	c BEGIN-Prog: Sat Sep 14 08:17:58 CEST 2019
0.66/0.57	c PID: 16124
0.66/0.57	c IP: 172.20.3.136
0.66/0.57	c HOST: node136.alineos.net
0.66/0.57	c (0,0) Parsing Begin
4.42/1.60	c (1,1) Parsing End
4.82/1.60	c (1,1) CSP: 200 int (0 aux), 0 bool (0 aux), 2800 ctr, max domain size 538
4.82/1.60	c (1,1) Heap : 563 MiB used (max 21589 MiB), NonHeap : 22 MiB used (max 0 MiB)
4.82/1.60	c (1,1) Constraint Name Generate Begin
4.82/1.63	c (1,1) Ctr:HOME/instance-4392668-1568441922.xml,Add:Le:Ne:Num:Or:Var
4.82/1.63	c (1,1) Constraint Name Generate End
4.82/1.63	c (1,1) Heap : 563 MiB used (max 21589 MiB), NonHeap : 22 MiB used (max 0 MiB)
4.82/1.63	c (1,1) CSP to CSPinCNF Begin
5.49/1.85	c (1,1) translated 280 (10%) constraints
5.78/1.90	c (1,1) translated 560 (20%) constraints
5.78/1.94	c (1,1) translated 840 (30%) constraints
5.78/1.97	c (1,1) translated 1120 (40%) constraints
5.78/1.99	c (1,1) translated 1400 (50%) constraints
6.19/2.01	c (1,1) translated 1680 (60%) constraints
6.19/2.04	c (1,1) translated 1960 (70%) constraints
6.19/2.06	c (1,1) translated 2240 (80%) constraints
6.19/2.08	c (1,1) translated 2520 (90%) constraints
6.19/2.10	c (1,1) translated 2800 (100%) constraints
6.19/2.10	c (1,1) ===========================================
6.59/2.12	c (1,1) Hybrid: #OE=200, #LE=0
6.59/2.12	c (1,1) Hybrid
6.59/2.12	c (1,1) ===========================================
6.59/2.15	c (1,1) translated 280 (10%) constraints
6.59/2.17	c (1,1) translated 560 (20%) constraints
6.59/2.18	c (1,1) translated 840 (30%) constraints
6.59/2.20	c (1,1) translated 1120 (40%) constraints
6.98/2.21	c (1,1) translated 1400 (50%) constraints
6.98/2.22	c (1,1) translated 1680 (60%) constraints
6.98/2.23	c (1,1) translated 1960 (70%) constraints
6.98/2.24	c (1,1) translated 2240 (80%) constraints
6.98/2.25	c (1,1) translated 2520 (90%) constraints
6.98/2.27	c (1,1) translated 2800 (100%) constraints
6.98/2.27	c (1,1) CSP to CSPinCNF End
6.98/2.27	c (1,1) CSP: 200 int (0 aux), 0 bool (0 aux), 2800 ctr, max domain size 538
6.98/2.27	c (1,1) Heap : 563 MiB used (max 21589 MiB), NonHeap : 26 MiB used (max 0 MiB)
6.98/2.27	c (1,1) CSPinCNF Propagation Begin
7.38/2.33	c (1,1) 0 values, 0 unsatisfiable literals, and 0 valid clauses are removed
7.38/2.33	c (1,1) CSPinCNF Propagation End
7.38/2.33	c (1,1) CSP: 200 int (0 aux), 0 bool (0 aux), 2800 ctr, max domain size 538
7.38/2.33	c (1,1) Heap : 563 MiB used (max 21589 MiB), NonHeap : 27 MiB used (max 0 MiB)
7.38/2.35	c (1,1) Hybrid: #OE=200, #LE=0
7.38/2.35	c (1,1) Simplify CSPinCNF Begin
8.03/2.53	c (1,1) Simplify CSPinCNF End
8.03/2.53	c (1,1) CSP: 200 int (0 aux), 5600 bool (5600 aux), 8400 ctr, max domain size 538
8.03/2.53	c (1,1) Heap : 675 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB)
8.03/2.53	c (1,1) Calculate Precise Domain Begin
8.03/2.54	c (1,1) 0 values are removed by re-calculation
8.03/2.54	c (1,1) Calculate Precise Domain End
8.03/2.54	c (1,1) CSP: 200 int (0 aux), 5600 bool (5600 aux), 8400 ctr, max domain size 538
8.03/2.54	c (1,1) Heap : 675 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB)
8.03/2.54	c (1,1) CSPinCNF to SatSolver Begin
11.40/4.27	c (3,3) 840 (10 %) CSP clauses are encoded (0 SAT variables, 350597 SAT clauses)
12.84/5.60	c (5,5) 1680 (20 %) CSP clauses are encoded (0 SAT variables, 602843 SAT clauses)
14.20/6.91	c (6,6) 2520 (30 %) CSP clauses are encoded (0 SAT variables, 853595 SAT clauses)
15.51/8.22	c (7,7) 3360 (40 %) CSP clauses are encoded (0 SAT variables, 1103069 SAT clauses)
16.82/9.54	c (8,8) 4200 (50 %) CSP clauses are encoded (0 SAT variables, 1355459 SAT clauses)
18.26/10.89	c (10,10) 5040 (60 %) CSP clauses are encoded (0 SAT variables, 1608144 SAT clauses)
19.60/12.11	c (11,11) 5880 (70 %) CSP clauses are encoded (0 SAT variables, 1857511 SAT clauses)
20.75/13.28	c (12,12) 6720 (80 %) CSP clauses are encoded (0 SAT variables, 2105987 SAT clauses)
21.95/14.46	c (13,13) 7560 (90 %) CSP clauses are encoded (0 SAT variables, 2357105 SAT clauses)
23.26/15.68	c (15,15) 8400 (100 %) CSP clauses are encoded (0 SAT variables, 2617437 SAT clauses)
23.26/15.69	c (15,15) CSPinCNF to SatSolver End
23.26/15.69	c (15,15) Heap : 4124 MiB used (max 21589 MiB), NonHeap : 31 MiB used (max 0 MiB)
23.26/15.69	c (15,15) 103984 bool, 2617904 clause
23.26/15.69	c (15,15) Export Begin
23.36/15.78	c (15,15) Export to HOME/scop-16121-serial-file.bin
23.36/15.78	c (15,15) Export End
23.36/15.79	c (15,15) Export File Size: 0.03 MB
23.36/15.79	c (15,15) 1,1,1,1,1,1,15,STOP-AFTER(DIMACS)
23.36/15.79	c END-Prog: Sat Sep 14 08:18:14 CEST 2019
23.54/15.84	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-16121-serial-file.bin
24.19/16.30	c (0,0) Read Serial File Begin
24.19/16.30	c (0,0) HOME/scop-16121-serial-file.bin
24.49/16.52	c (0,0) Read Serial File End
24.49/16.54	
24.49/16.54	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
24.49/16.54	(Solving Process)
24.49/16.54	
24.49/16.56	c BEGIN-Prog: Sat Sep 14 08:18:14 CEST 2019
24.49/16.56	c PID: 16144
24.49/16.56	c IP: 172.20.3.136
24.49/16.56	c HOST: node136.alineos.net
24.49/16.56	c (0,0) SatSolver.solve Begin
24.49/16.56	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4392668-1568441922.xml-scop-16124.cnf
24.49/16.59	c (0,0) c
24.49/16.59	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)
24.49/16.59	c (0,0) c
24.49/16.59	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
24.49/16.59	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
24.49/16.59	c (0,0) c ========================================[ Problem Statistics ]===========================================
24.49/16.59	c (0,0) c |                                                                                                       |
25.75/17.51	c (1,0) c |  Number of variables:        103984                                                                   |
25.75/17.51	c (1,0) c |  Number of clauses:         2617904                                                                   |
25.75/17.51	c (1,0) c |  Parse time:                   0.84 s                                                                 |
25.75/17.51	c (1,0) c |                                                                                                       |
31.06/22.80	c (6,0) c |  Simplification time:          5.22 s                                                                 |
31.06/22.80	c (6,0) c |                                                                                                       |
31.06/22.80	c (6,0) c |  Generating clones                                                                                    |
31.66/23.48	c (7,0) c |  all clones generated. Memory =  1585.61Mb.                                                           |
31.66/23.48	c (7,0) c ========================================================================================================|
31.66/23.48	c (7,0) c
31.66/23.48	c (7,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
31.66/23.48	c (7,0) c
31.66/23.48	c (7,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
31.66/23.48	c (7,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
31.66/23.48	c (7,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
31.66/23.48	c (7,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
31.66/23.48	c (7,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
31.66/23.48	c (7,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
31.66/23.48	c (7,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
31.66/23.48	c (7,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
31.66/23.48	c (7,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
31.66/23.48	c (7,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
31.66/23.48	c (7,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
31.66/23.48	c (7,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
31.66/23.48	c (7,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
31.66/23.48	c (7,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
31.66/23.48	c (7,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
31.66/23.48	c (7,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
31.66/23.48	c (7,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
31.66/23.48	c (7,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
31.66/23.48	c (7,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
198.26/45.31	c (29,0) c
198.26/45.31	c (29,0) c real time : 28.7194 s
198.26/45.31	c (29,0) c cpu time  : 170.81 s
198.26/45.31	c (29,0) c
198.26/45.31	c (29,0) c
198.26/45.31	c (29,0) c
198.26/45.31	c (29,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
198.26/45.31	c (29,0) c
198.26/45.31	c (29,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
198.26/45.31	c (29,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
198.26/45.31	c (29,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
198.26/45.31	c (29,0) c | Conflicts     |          267670 |      33292 |      34255 |      33670 |      33470 |      34434 |      32317 |      32951 |      33281 |
198.26/45.31	c (29,0) c | Decisions     |          371357 |      45439 |      53166 |      45637 |      45582 |      47018 |      44469 |      44795 |      45251 |
198.26/45.31	c (29,0) c | Propagations  |       358212951 |   44544823 |   44017242 |   45971003 |   44815519 |   44181609 |   45217685 |   44687923 |   44777147 |
198.26/45.31	c (29,0) c | ReduceDBs     |              32 |          4 |          4 |          4 |          4 |          4 |          4 |          4 |          4 |
198.26/45.31	c (29,0) c | SimpDBs       |              15 |          2 |          2 |          1 |          2 |          2 |          2 |          2 |          2 |
198.26/45.31	c (29,0) c | Restarts      |             337 |         37 |         63 |         40 |         18 |         64 |         20 |         34 |         61 |
198.26/45.31	c (29,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
198.26/45.31	c (29,0) c | PropBinClauses|       382132525 |   47738568 |   46970540 |   48968478 |   47735786 |   47018942 |   48085062 |   47738972 |   47876177 |
198.26/45.31	c (29,0) c | PropPreBlocker|      4674145671 |  579226902 |  580120436 |  586949175 |  589984015 |  580712904 |  593377180 |  584363816 |  579411243 |
198.26/45.31	c (29,0) c | PropNotBlocker|      1288374855 |  162995987 |  156472707 |  163872203 |  154579345 |  164158404 |  156517382 |  159958245 |  169820582 |
198.26/45.31	c (29,0) c | LitFullScans  |      6870659075 |  858078311 |  849478040 |  858063290 |  858059241 |  860681932 |  864087253 |  858077089 |  864133919 |
198.26/45.31	c (29,0) c | LitScanFracts |          507826 |      72042 |      56242 |      58834 |      51775 |      47520 |      65635 |      67541 |      88237 |
198.26/45.31	c (29,0) c | DecisionLevel0|             365 |         38 |         73 |         40 |         21 |         71 |         21 |         39 |         62 |
198.26/45.31	c (29,0) c | Periods       |            1144 |        143 |        141 |        143 |        143 |        143 |        144 |        143 |        144 |
198.26/45.31	c (29,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
198.26/45.31	c (29,0) c | Avg_Trail     |                 |       8753 |       8137 |       8111 |       8577 |       7891 |       9235 |       7867 |       8042 |
198.26/45.31	c (29,0) c | Avg_DL        |                 |         16 |         15 |         13 |         14 |         12 |         17 |         13 |         13 |
198.26/45.31	c (29,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
198.26/45.31	c (29,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
198.26/45.31	c (29,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
198.26/45.31	c (29,0) c | Exported      |           52626 |       6099 |       6511 |       6834 |       6722 |       6512 |       6712 |       6499 |       6737 |
198.26/45.31	c (29,0) c | Imported      |          324404 |      40226 |      40770 |      39068 |      40885 |      41294 |      40406 |      41166 |      40589 |
198.26/45.31	c (29,0) c | Good          |              53 |          5 |          7 |          4 |          7 |          8 |          6 |          9 |          7 |
198.26/45.31	c (29,0) c | Purge         |          324351 |      40221 |      40763 |      39064 |      40878 |      41286 |      40400 |      41157 |      40582 |
198.26/45.31	c (29,0) c | Promoted      |           34303 |       4261 |       4609 |       3748 |       4504 |       4614 |       3976 |       4129 |       4462 |
198.26/45.31	c (29,0) c | Remove_Imp    |           97064 |      13109 |      10594 |      12987 |       9534 |      11267 |      13585 |      13011 |      12977 |
198.26/45.31	c (29,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
198.26/45.31	c (29,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
198.26/45.31	c (29,0) c | Unaries       |                 |          1 |         10 |          0 |          3 |          7 |          1 |          5 |          1 |
198.26/45.31	c (29,0) c | Binaries      |                 |         13 |         27 |          4 |         25 |         36 |          8 |         23 |         12 |
198.26/45.31	c (29,0) c | Glues         |                 |        957 |       1066 |        936 |        970 |       1000 |        892 |        897 |        969 |
198.26/45.31	c (29,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
198.26/45.31	c (29,0) c | Orig_Seen     |             2 % |      65463 |      66757 |      60927 |      70672 |      60804 |      64934 |      63375 |      61981 |
198.26/45.31	c (29,0) c | Diff Orig seen|                 | -     1294 |      X     | -     5830 |       3915 | -     5953 | -     1823 | -     3382 | -     4776 |
198.26/45.31	c (29,0) c | Hamming       |            22 % |      22151 |      X     |      22839 |      23369 |      23517 |      21237 |      25022 |      22551 |
198.26/45.31	c (29,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
198.26/45.31	c (29,0) c | RunningTime   |                 |   21.5 100%|   21.8 100%|   20.5 100%|   20.5 100%|   20.5 100%|   20.6 100%|   21.3 100%|   20.6 100%|
198.26/45.31	c (29,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%|
198.26/45.31	c (29,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%|
198.26/45.31	c (29,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%|
198.26/45.31	c (29,0) c | SolvingTime   |                 |   21.6     |   21.8     |   20.6     |   20.6     |   20.5     |   20.7     |   21.3     |   20.6     |
198.26/45.31	c (29,0) c | PropagationTim|                 |   20.2  94%|   20.5  94%|   19.3  94%|   19.2  94%|   19.2  94%|   19.3  94%|   20.0  94%|   19.4  94%|
198.26/45.31	c (29,0) c | AnalysisTime  |                 |    0.8   4%|    0.7   3%|    0.8   4%|    0.8   4%|    0.8   4%|    0.8   4%|    0.8   4%|    0.7   4%|
198.26/45.31	c (29,0) c | ReductionTime |                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
198.26/45.31	c (29,0) c | SimplifyTime  |                 |    0.1   0%|    0.1   0%|    0.0   0%|    0.1   0%|    0.1   0%|    0.1   0%|    0.1   0%|    0.1   0%|
198.26/45.31	c (29,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%|
198.26/45.31	c (29,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%|
198.26/45.31	c (29,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
198.26/45.31	c (29,0) c
198.26/45.31	c (29,0) c
198.26/45.31	c (29,0) c Threads : 8
198.26/45.31	c (29,0) c Winner : 1
198.26/45.31	c (29,0) c Conflicts_0 : 33292
198.26/45.31	c (29,0) c Conflicts_1 : 34255
198.26/45.31	c (29,0) c Conflicts_2 : 33670
198.26/45.31	c (29,0) c Conflicts_3 : 33470
198.26/45.31	c (29,0) c Conflicts_4 : 34434
198.26/45.31	c (29,0) c Conflicts_5 : 32317
198.26/45.31	c (29,0) c Conflicts_6 : 32951
198.26/45.31	c (29,0) c Conflicts_7 : 33281
198.26/45.31	c (29,0) c Conflicts_total : 267670
198.26/45.31	c (29,0) c Conflicts_winner : 34255
198.26/45.31	c (29,0) c Decisions_0 : 45439
198.26/45.31	c (29,0) c Decisions_1 : 53166
198.26/45.31	c (29,0) c Decisions_2 : 45637
198.26/45.31	c (29,0) c Decisions_3 : 45582
198.26/45.31	c (29,0) c Decisions_4 : 47018
198.26/45.31	c (29,0) c Decisions_5 : 44469
198.26/45.31	c (29,0) c Decisions_6 : 44795
198.26/45.31	c (29,0) c Decisions_7 : 45251
198.26/45.31	c (29,0) c Decisions_total : 371357
198.26/45.31	c (29,0) c Decisions_winner : 53166
198.26/45.31	c (29,0) c Propagations_0 : 44544823
198.26/45.31	c (29,0) c Propagations_1 : 44017242
198.26/45.31	c (29,0) c Propagations_2 : 45971003
198.26/45.31	c (29,0) c Propagations_3 : 44815519
198.26/45.31	c (29,0) c Propagations_4 : 44181609
198.26/45.31	c (29,0) c Propagations_5 : 45217685
198.26/45.31	c (29,0) c Propagations_6 : 44687923
198.26/45.31	c (29,0) c Propagations_7 : 44777147
198.26/45.31	c (29,0) c Propagations_total : 358212951
198.26/45.31	c (29,0) c Propagations_winner : 44017242
198.26/45.31	c (29,0) c ReduceDBs_0 : 4
198.26/45.31	c (29,0) c ReduceDBs_1 : 4
198.26/45.31	c (29,0) c ReduceDBs_2 : 4
198.26/45.31	c (29,0) c ReduceDBs_3 : 4
198.26/45.31	c (29,0) c ReduceDBs_4 : 4
198.26/45.31	c (29,0) c ReduceDBs_5 : 4
198.26/45.31	c (29,0) c ReduceDBs_6 : 4
198.26/45.31	c (29,0) c ReduceDBs_7 : 4
198.26/45.31	c (29,0) c ReduceDBs_total : 32
198.26/45.31	c (29,0) c ReduceDBs_winner : 4
198.26/45.31	c (29,0) c SimpDBs_0 : 2
198.26/45.31	c (29,0) c SimpDBs_1 : 2
198.26/45.31	c (29,0) c SimpDBs_2 : 1
198.26/45.31	c (29,0) c SimpDBs_3 : 2
198.26/45.31	c (29,0) c SimpDBs_4 : 2
198.26/45.31	c (29,0) c SimpDBs_5 : 2
198.26/45.31	c (29,0) c SimpDBs_6 : 2
198.26/45.31	c (29,0) c SimpDBs_7 : 2
198.26/45.31	c (29,0) c SimpDBs_total : 15
198.26/45.31	c (29,0) c SimpDBs_winner : 2
198.26/45.31	c (29,0) c Restarts_0 : 37
198.26/45.31	c (29,0) c Restarts_1 : 63
198.26/45.31	c (29,0) c Restarts_2 : 40
198.26/45.31	c (29,0) c Restarts_3 : 18
198.26/45.31	c (29,0) c Restarts_4 : 64
198.26/45.31	c (29,0) c Restarts_5 : 20
198.26/45.31	c (29,0) c Restarts_6 : 34
198.26/45.31	c (29,0) c Restarts_7 : 61
198.26/45.31	c (29,0) c Restarts_total : 337
198.26/45.31	c (29,0) c Restarts_winner : 63
198.26/45.31	c (29,0) c ForcedImports_0 : 0
198.26/45.31	c (29,0) c ForcedImports_1 : 0
198.26/45.31	c (29,0) c ForcedImports_2 : 0
198.26/45.31	c (29,0) c ForcedImports_3 : 0
198.26/45.31	c (29,0) c ForcedImports_4 : 0
198.26/45.31	c (29,0) c ForcedImports_5 : 0
198.26/45.31	c (29,0) c ForcedImports_6 : 0
198.26/45.31	c (29,0) c ForcedImports_7 : 0
198.26/45.31	c (29,0) c ForcedImports_total : 0
198.26/45.31	c (29,0) c ForcedImports_winner : 0
198.26/45.31	c (29,0) c PropsBinClauses_0 : 47738568
198.26/45.31	c (29,0) c PropsBinClauses_1 : 46970540
198.26/45.31	c (29,0) c PropsBinClauses_2 : 48968478
198.26/45.31	c (29,0) c PropsBinClauses_3 : 47735786
198.26/45.31	c (29,0) c PropsBinClauses_4 : 47018942
198.26/45.31	c (29,0) c PropsBinClauses_5 : 48085062
198.26/45.31	c (29,0) c PropsBinClauses_6 : 47738972
198.26/45.31	c (29,0) c PropsBinClauses_7 : 47876177
198.26/45.31	c (29,0) c PropsBinClauses_total : 382132525
198.26/45.31	c (29,0) c PropsBinClauses_winner : 46970540
198.26/45.31	c (29,0) c PropsPreBlocker_0 : 579226902
198.26/45.31	c (29,0) c PropsPreBlocker_1 : 580120436
198.26/45.31	c (29,0) c PropsPreBlocker_2 : 586949175
198.26/45.31	c (29,0) c PropsPreBlocker_3 : 589984015
198.26/45.31	c (29,0) c PropsPreBlocker_4 : 580712904
198.26/45.31	c (29,0) c PropsPreBlocker_5 : 593377180
198.26/45.31	c (29,0) c PropsPreBlocker_6 : 584363816
198.26/45.31	c (29,0) c PropsPreBlocker_7 : 579411243
198.26/45.31	c (29,0) c PropsPreBlocker_total : 4674145671
198.26/45.31	c (29,0) c PropsPreBlocker_winner : 580120436
198.26/45.31	c (29,0) c PropsNotBlocker_0 : 162995987
198.26/45.31	c (29,0) c PropsNotBlocker_1 : 156472707
198.26/45.31	c (29,0) c PropsNotBlocker_2 : 163872203
198.26/45.31	c (29,0) c PropsNotBlocker_3 : 154579345
198.26/45.31	c (29,0) c PropsNotBlocker_4 : 164158404
198.26/45.31	c (29,0) c PropsNotBlocker_5 : 156517382
198.26/45.31	c (29,0) c PropsNotBlocker_6 : 159958245
198.26/45.31	c (29,0) c PropsNotBlocker_7 : 169820582
198.26/45.31	c (29,0) c PropsNotBlocker_total : 1288374855
198.26/45.31	c (29,0) c PropsNotBlocker_winner : 156472707
198.26/45.31	c (29,0) c PropsLitFullScans_0 : 858078311
198.26/45.31	c (29,0) c PropsLitFullScans_1 : 849478040
198.26/45.31	c (29,0) c PropsLitFullScans_2 : 858063290
198.26/45.31	c (29,0) c PropsLitFullScans_3 : 858059241
198.26/45.31	c (29,0) c PropsLitFullScans_4 : 860681932
198.26/45.31	c (29,0) c PropsLitFullScans_5 : 864087253
198.26/45.31	c (29,0) c PropsLitFullScans_6 : 858077089
198.26/45.31	c (29,0) c PropsLitFullScans_7 : 864133919
198.26/45.31	c (29,0) c PropsLitFullScans_total : 6870659075
198.26/45.31	c (29,0) c PropsLitFullScans_winner : 849478040
198.26/45.31	c (29,0) c LitScanFractions_0 : 72042
198.26/45.31	c (29,0) c LitScanFractions_1 : 56242
198.26/45.31	c (29,0) c LitScanFractions_2 : 58834
198.26/45.31	c (29,0) c LitScanFractions_3 : 51775
198.26/45.31	c (29,0) c LitScanFractions_4 : 47520
198.26/45.31	c (29,0) c LitScanFractions_5 : 65635
198.26/45.31	c (29,0) c LitScanFractions_6 : 67541
198.26/45.31	c (29,0) c LitScanFractions_7 : 88237
198.26/45.31	c (29,0) c LitScanFractions_total : 507826
198.26/45.31	c (29,0) c LitScanFractions_winner : 56242
198.26/45.31	c (29,0) c DecisionLevel0_0 : 38
198.26/45.31	c (29,0) c DecisionLevel0_1 : 73
198.26/45.31	c (29,0) c DecisionLevel0_2 : 40
198.26/45.31	c (29,0) c DecisionLevel0_3 : 21
198.26/45.31	c (29,0) c DecisionLevel0_4 : 71
198.26/45.31	c (29,0) c DecisionLevel0_5 : 21
198.26/45.31	c (29,0) c DecisionLevel0_6 : 39
198.26/45.31	c (29,0) c DecisionLevel0_7 : 62
198.26/45.31	c (29,0) c DecisionLevel0_total : 365
198.26/45.31	c (29,0) c DecisionLevel0_winner : 73
198.26/45.31	c (29,0) c Periods_0 : 143
198.26/45.31	c (29,0) c Periods_1 : 141
198.26/45.31	c (29,0) c Periods_2 : 143
198.26/45.31	c (29,0) c Periods_3 : 143
198.26/45.31	c (29,0) c Periods_4 : 143
198.26/45.31	c (29,0) c Periods_5 : 144
198.26/45.31	c (29,0) c Periods_6 : 143
198.26/45.31	c (29,0) c Periods_7 : 144
198.26/45.31	c (29,0) c Periods_total : 1144
198.26/45.31	c (29,0) c Periods_winner : 141
198.26/45.31	c (29,0) c Margin_0 : 20
198.26/45.31	c (29,0) c Margin_1 : 20
198.26/45.31	c (29,0) c Margin_2 : 20
198.26/45.31	c (29,0) c Margin_3 : 20
198.26/45.31	c (29,0) c Margin_4 : 20
198.26/45.31	c (29,0) c Margin_5 : 20
198.26/45.31	c (29,0) c Margin_6 : 20
198.26/45.31	c (29,0) c Margin_7 : 20
198.26/45.31	c (29,0) c Margin_total : 160
198.26/45.31	c (29,0) c Margin_winner : 20
198.26/45.31	c (29,0) c Exported_0 : 6099
198.26/45.31	c (29,0) c Exported_1 : 6511
198.26/45.31	c (29,0) c Exported_2 : 6834
198.26/45.31	c (29,0) c Exported_3 : 6722
198.26/45.31	c (29,0) c Exported_4 : 6512
198.26/45.31	c (29,0) c Exported_5 : 6712
198.26/45.31	c (29,0) c Exported_6 : 6499
198.26/45.31	c (29,0) c Exported_7 : 6737
198.26/45.31	c (29,0) c Exported_total : 52626
198.26/45.31	c (29,0) c Exported_winner : 6511
198.26/45.31	c (29,0) c Imported_0 : 40226
198.26/45.31	c (29,0) c Imported_1 : 40770
198.26/45.31	c (29,0) c Imported_2 : 39068
198.26/45.31	c (29,0) c Imported_3 : 40885
198.26/45.31	c (29,0) c Imported_4 : 41294
198.26/45.31	c (29,0) c Imported_5 : 40406
198.26/45.31	c (29,0) c Imported_6 : 41166
198.26/45.31	c (29,0) c Imported_7 : 40589
198.26/45.31	c (29,0) c Imported_total : 324404
198.26/45.31	c (29,0) c Imported_winner : 40770
198.26/45.31	c (29,0) c Good_0 : 5
198.26/45.31	c (29,0) c Good_1 : 7
198.26/45.31	c (29,0) c Good_2 : 4
198.26/45.31	c (29,0) c Good_3 : 7
198.26/45.31	c (29,0) c Good_4 : 8
198.26/45.31	c (29,0) c Good_5 : 6
198.26/45.31	c (29,0) c Good_6 : 9
198.26/45.31	c (29,0) c Good_7 : 7
198.26/45.31	c (29,0) c Good_total : 53
198.26/45.31	c (29,0) c Good_winner : 7
198.26/45.32	c (29,0) c Purge_0 : 40221
198.26/45.32	c (29,0) c Purge_1 : 40763
198.26/45.32	c (29,0) c Purge_2 : 39064
198.26/45.32	c (29,0) c Purge_3 : 40878
198.26/45.32	c (29,0) c Purge_4 : 41286
198.26/45.32	c (29,0) c Purge_5 : 40400
198.26/45.32	c (29,0) c Purge_6 : 41157
198.26/45.32	c (29,0) c Purge_7 : 40582
198.26/45.32	c (29,0) c Purge_total : 324351
198.26/45.32	c (29,0) c Purge_winner : 40763
198.26/45.32	c (29,0) c Promoted_0 : 4261
198.26/45.32	c (29,0) c Promoted_1 : 4609
198.26/45.32	c (29,0) c Promoted_2 : 3748
198.26/45.32	c (29,0) c Promoted_3 : 4504
198.26/45.32	c (29,0) c Promoted_4 : 4614
198.26/45.32	c (29,0) c Promoted_5 : 3976
198.26/45.32	c (29,0) c Promoted_6 : 4129
198.26/45.32	c (29,0) c Promoted_7 : 4462
198.26/45.32	c (29,0) c Promoted_total : 34303
198.26/45.32	c (29,0) c Promoted_winner : 4609
198.26/45.32	c (29,0) c Remove_Imp_0 : 13109
198.26/45.32	c (29,0) c Remove_Imp_1 : 10594
198.26/45.32	c (29,0) c Remove_Imp_2 : 12987
198.26/45.32	c (29,0) c Remove_Imp_3 : 9534
198.26/45.32	c (29,0) c Remove_Imp_4 : 11267
198.26/45.32	c (29,0) c Remove_Imp_5 : 13585
198.26/45.32	c (29,0) c Remove_Imp_6 : 13011
198.26/45.32	c (29,0) c Remove_Imp_7 : 12977
198.26/45.32	c (29,0) c Remove_Imp_total : 97064
198.26/45.32	c (29,0) c Remove_Imp_winner : 10594
198.26/45.32	c (29,0) c Blocked_Reuse_0 : 0
198.26/45.32	c (29,0) c Blocked_Reuse_1 : 0
198.26/45.32	c (29,0) c Blocked_Reuse_2 : 0
198.26/45.32	c (29,0) c Blocked_Reuse_3 : 0
198.26/45.32	c (29,0) c Blocked_Reuse_4 : 0
198.26/45.32	c (29,0) c Blocked_Reuse_5 : 0
198.26/45.32	c (29,0) c Blocked_Reuse_6 : 0
198.26/45.32	c (29,0) c Blocked_Reuse_7 : 0
198.26/45.32	c (29,0) c Blocked_Reuse_total : 0
198.26/45.32	c (29,0) c Blocked_Reuse_winner : 0
198.26/45.32	c (29,0) c Unaries_0 : 1
198.26/45.32	c (29,0) c Unaries_1 : 10
198.26/45.32	c (29,0) c Unaries_2 : 0
198.26/45.32	c (29,0) c Unaries_3 : 3
198.26/45.32	c (29,0) c Unaries_4 : 7
198.26/45.32	c (29,0) c Unaries_5 : 1
198.26/45.32	c (29,0) c Unaries_6 : 5
198.26/45.32	c (29,0) c Unaries_7 : 1
198.26/45.32	c (29,0) c Unaries_total : 28
198.26/45.32	c (29,0) c Unaries_winner : 10
198.26/45.32	c (29,0) c Binaries_0 : 13
198.26/45.32	c (29,0) c Binaries_1 : 27
198.26/45.32	c (29,0) c Binaries_2 : 4
198.26/45.32	c (29,0) c Binaries_3 : 25
198.26/45.32	c (29,0) c Binaries_4 : 36
198.26/45.32	c (29,0) c Binaries_5 : 8
198.26/45.32	c (29,0) c Binaries_6 : 23
198.26/45.32	c (29,0) c Binaries_7 : 12
198.26/45.32	c (29,0) c Binaries_total : 148
198.26/45.32	c (29,0) c Binaries_winner : 27
198.26/45.32	c (29,0) c Glues_0 : 957
198.26/45.32	c (29,0) c Glues_1 : 1066
198.26/45.32	c (29,0) c Glues_2 : 936
198.26/45.32	c (29,0) c Glues_3 : 970
198.26/45.32	c (29,0) c Glues_4 : 1000
198.26/45.32	c (29,0) c Glues_5 : 892
198.26/45.32	c (29,0) c Glues_6 : 897
198.26/45.32	c (29,0) c Glues_7 : 969
198.26/45.32	c (29,0) c Glues_total : 7687
198.26/45.32	c (29,0) c Glues_winner : 1066
198.26/45.32	c (29,0) c RunningTime_0 : 21.544428
198.26/45.32	c (29,0) c RunningTime_1 : 21.800136
198.26/45.32	c (29,0) c RunningTime_2 : 20.537730
198.26/45.32	c (29,0) c RunningTime_3 : 20.544255
198.26/45.32	c (29,0) c RunningTime_4 : 20.519586
198.26/45.32	c (29,0) c RunningTime_5 : 20.637621
198.26/45.32	c (29,0) c RunningTime_6 : 21.292951
198.26/45.32	c (29,0) c RunningTime_7 : 20.608071
198.26/45.32	c (29,0) c RunningTime_total : 167.484779
198.26/45.32	c (29,0) c RunningTime_winner : 21.800136
198.26/45.32	c (29,0) c WaitingTime_0 : 0.000270
198.26/45.32	c (29,0) c WaitingTime_1 : 0.000214
198.26/45.32	c (29,0) c WaitingTime_2 : 0.000239
198.26/45.32	c (29,0) c WaitingTime_3 : 0.000242
198.26/45.32	c (29,0) c WaitingTime_4 : 0.000262
198.26/45.32	c (29,0) c WaitingTime_5 : 0.000396
198.26/45.32	c (29,0) c WaitingTime_6 : 0.000195
198.26/45.32	c (29,0) c WaitingTime_7 : 0.000275
198.26/45.32	c (29,0) c WaitingTime_total : 0.002093
198.26/45.32	c (29,0) c WaitingTime_winner : 0.000214
198.26/45.32	c (29,0) c ExchangingTime_0 : 0.018048
198.26/45.32	c (29,0) c ExchangingTime_1 : 0.017618
198.26/45.32	c (29,0) c ExchangingTime_2 : 0.022252
198.26/45.32	c (29,0) c ExchangingTime_3 : 0.019555
198.26/45.32	c (29,0) c ExchangingTime_4 : 0.018460
198.26/45.32	c (29,0) c ExchangingTime_5 : 0.018040
198.26/45.32	c (29,0) c ExchangingTime_6 : 0.018796
198.26/45.32	c (29,0) c ExchangingTime_7 : 0.019182
198.26/45.32	c (29,0) c ExchangingTime_total : 0.151951
198.26/45.32	c (29,0) c ExchangingTime_winner : 0.017618
198.26/45.32	c (29,0) c PeriodProcTime_0 : 0.002646
198.26/45.32	c (29,0) c PeriodProcTime_1 : 0.001696
198.26/45.32	c (29,0) c PeriodProcTime_2 : 0.002112
198.26/45.32	c (29,0) c PeriodProcTime_3 : 0.002609
198.26/45.32	c (29,0) c PeriodProcTime_4 : 0.002125
198.26/45.32	c (29,0) c PeriodProcTime_5 : 0.001947
198.26/45.32	c (29,0) c PeriodProcTime_6 : 0.002500
198.26/45.32	c (29,0) c PeriodProcTime_7 : 0.001852
198.26/45.32	c (29,0) c PeriodProcTime_total : 0.017488
198.26/45.32	c (29,0) c PeriodProcTime_winner : 0.001696
198.26/45.32	c (29,0) c SolvingTime_0 : 21.565392
198.26/45.32	c (29,0) c SolvingTime_1 : 21.819665
198.26/45.32	c (29,0) c SolvingTime_2 : 20.562333
198.26/45.32	c (29,0) c SolvingTime_3 : 20.566660
198.26/45.32	c (29,0) c SolvingTime_4 : 20.540433
198.26/45.32	c (29,0) c SolvingTime_5 : 20.658005
198.26/45.32	c (29,0) c SolvingTime_6 : 21.314441
198.26/45.32	c (29,0) c SolvingTime_7 : 20.629381
198.26/45.32	c (29,0) c SolvingTime_total : 167.656311
198.26/45.32	c (29,0) c SolvingTime_winner : 21.819665
198.26/45.32	c (29,0) c PropagationTime_0 : 20.246249
198.26/45.32	c (29,0) c PropagationTime_1 : 20.545628
198.26/45.32	c (29,0) c PropagationTime_2 : 19.330420
198.26/45.32	c (29,0) c PropagationTime_3 : 19.239058
198.26/45.32	c (29,0) c PropagationTime_4 : 19.212222
198.26/45.32	c (29,0) c PropagationTime_5 : 19.327684
198.26/45.32	c (29,0) c PropagationTime_6 : 19.977240
198.26/45.32	c (29,0) c PropagationTime_7 : 19.354516
198.26/45.32	c (29,0) c PropagationTime_total : 157.233018
198.26/45.32	c (29,0) c PropagationTime_winner : 20.545628
198.26/45.32	c (29,0) c AnalysisTime_0 : 0.780814
198.26/45.32	c (29,0) c AnalysisTime_1 : 0.741508
198.26/45.32	c (29,0) c AnalysisTime_2 : 0.769368
198.26/45.32	c (29,0) c AnalysisTime_3 : 0.771311
198.26/45.32	c (29,0) c AnalysisTime_4 : 0.790472
198.26/45.32	c (29,0) c AnalysisTime_5 : 0.779245
198.26/45.32	c (29,0) c AnalysisTime_6 : 0.781249
198.26/45.32	c (29,0) c AnalysisTime_7 : 0.734268
198.26/45.32	c (29,0) c AnalysisTime_total : 6.148236
198.26/45.32	c (29,0) c AnalysisTime_winner : 0.741508
198.26/45.32	c (29,0) c ReductionTime_0 : 0.016535
198.26/45.32	c (29,0) c ReductionTime_1 : 0.012212
198.26/45.32	c (29,0) c ReductionTime_2 : 0.013171
198.26/45.32	c (29,0) c ReductionTime_3 : 0.012088
198.26/45.32	c (29,0) c ReductionTime_4 : 0.012075
198.26/45.32	c (29,0) c ReductionTime_5 : 0.012580
198.26/45.32	c (29,0) c ReductionTime_6 : 0.012650
198.26/45.32	c (29,0) c ReductionTime_7 : 0.012538
198.26/45.32	c (29,0) c ReductionTime_total : 0.103849
198.26/45.32	c (29,0) c ReductionTime_winner : 0.012212
198.26/45.32	c (29,0) c SimplifyTime_0 : 0.070157
198.26/45.32	c (29,0) c SimplifyTime_1 : 0.065133
198.26/45.32	c (29,0) c SimplifyTime_2 : 0.000005
198.26/45.32	c (29,0) c SimplifyTime_3 : 0.084971
198.26/45.32	c (29,0) c SimplifyTime_4 : 0.085446
198.26/45.32	c (29,0) c SimplifyTime_5 : 0.088361
198.26/45.32	c (29,0) c SimplifyTime_6 : 0.087961
198.26/45.32	c (29,0) c SimplifyTime_7 : 0.088051
198.26/45.32	c (29,0) c SimplifyTime_total : 0.570084
198.26/45.32	c (29,0) c SimplifyTime_winner : 0.065133
198.26/45.32	c (29,0) c UsedRateTime_0 : 0.000000
198.26/45.32	c (29,0) c UsedRateTime_1 : 0.000000
198.26/45.32	c (29,0) c UsedRateTime_2 : 0.000000
198.26/45.32	c (29,0) c UsedRateTime_3 : 0.000000
198.26/45.32	c (29,0) c UsedRateTime_4 : 0.000000
198.26/45.32	c (29,0) c UsedRateTime_5 : 0.000000
198.26/45.32	c (29,0) c UsedRateTime_6 : 0.000000
198.26/45.32	c (29,0) c UsedRateTime_7 : 0.000000
198.26/45.32	c (29,0) c UsedRateTime_total : 0.000000
198.26/45.32	c (29,0) c UsedRateTime_winner : 0.000000
198.26/45.32	c (29,0) c OverlapRateTime_0 : 0.000000
198.26/45.32	c (29,0) c OverlapRateTime_1 : 0.000000
198.26/45.32	c (29,0) c OverlapRateTime_2 : 0.000000
198.26/45.32	c (29,0) c OverlapRateTime_3 : 0.000000
198.26/45.32	c (29,0) c OverlapRateTime_4 : 0.000000
198.26/45.32	c (29,0) c OverlapRateTime_5 : 0.000000
198.26/45.32	c (29,0) c OverlapRateTime_6 : 0.000000
198.26/45.32	c (29,0) c OverlapRateTime_7 : 0.000000
198.26/45.32	c (29,0) c OverlapRateTime_total : 0.000000
198.26/45.32	c (29,0) c OverlapRateTime_winner : 0.000000
198.26/45.32	c (29,0) c
198.26/45.32	c (29,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
198.26/45.32	c (29,0) c
198.26/45.32	c (29,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
198.26/45.32	c (29,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
198.26/45.32	c (29,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
198.26/45.32	c (29,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
198.26/45.32	c (29,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
198.26/45.32	c (29,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
198.26/45.32	c (29,0) c | Initial random_seed   |  484505852 | 2086675944 | 1841599909 | 1736710991 | 1456348879 |  335234431 | 1533855306 |  149349421 |
198.26/45.32	c (29,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
198.26/45.32	c (29,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
198.26/45.32	c (29,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
198.26/45.32	c (29,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
198.26/45.32	c (29,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
198.26/45.32	c (29,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
198.26/45.32	c (29,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
198.26/45.32	c (29,0) c | var_decay             |     0.8600 |     0.8600 |     0.8600 |     0.8600 |     0.8600 |     0.8600 |     0.8600 |     0.8600 |
198.26/45.32	c (29,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
198.26/45.32	c (29,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
198.26/45.32	c (29,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
198.26/45.32	c (29,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
198.26/45.32	c (29,0) 
198.26/45.32	c (29,0) s UNSATISFIABLE
198.26/45.38	c (29,0) SatSolver.solve End
198.26/45.38	c (29,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
198.26/45.38	c (29,0) Show results Begin
198.26/45.38	s UNSATISFIABLE
198.26/45.38	c (29,0) Show results End
198.26/45.38	c (29,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
198.26/45.39	c (29,0) 29,29,STOP-AFTER(ALL)
198.26/45.39	c END-Prog: Sat Sep 14 08:18:43 CEST 2019

Verifier Data


Watcher Data 

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

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

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4392668-1568441922/watcher-4392668-1568441922 -o /tmp/evaluation-result-4392668-1568441922/solver-4392668-1568441922 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node136-1568439334-14507 --watchdog 2580 HOME/scop.sh 22g HOME/scop.jar -hybrid HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4392668-1568441922.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=16121, runsolver pid=16118
Current StackSize limit: 8192 KiB


[startup+0.100155 s]*
/proc/loadavg: 8.20 8.37 8.35 2/213 16143
/proc/meminfo: memFree=25735832/32770624 swapFree=67002168/67108860
[pid=16121] ppid=16118 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/16121/stat : 16121 (scop.sh) S 16118 16121 14480 0 -1 4202496 554 319 0 0 0 0 0 0 20 0 1 0 420440853 115843072 348 33554432000 4194304 5098028 140732977532048 140732977529304 140481470952060 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 37711872 140732977533732 140732977534060 140732977534060 140732977536973 0
/proc/16121/statm: 28282 348 296 221 0 87 0
[pid=16124] ppid=16121 vsize=27314120 memory=107460 CPUtime=0.1 cores=0-7
/proc/16124/stat : 16124 (java) S 16121 16121 14480 0 -1 1077944320 6428 0 0 0 7 3 0 0 20 0 20 0 420440853 27969658880 26865 33554432000 4194304 4196468 140724016111888 140724016094432 140233882603255 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 24944640 140724016116458 140724016116886 140724016116886 140724016119759 0
/proc/16124/statm: 6828530 26865 2799 1 0 6790935 0
[pid=16124/tid=16125] ppid=16121 vsize=27314120 memory=4134930498285298233 CPUtime=0.08 cores=0-7
/proc/16124/task/16125/stat : 16125 (java) R 16121 16121 14480 0 -1 4202560 4530 0 0 0 6 2 0 0 20 0 20 0 420440854 27969658880 26865 33554432000 4194304 4196468 140724016111888 140233854425536 140233866683742 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24944640 140724016116458 140724016116886 140724016116886 140724016119759 0
[pid=16124/tid=16126] ppid=16121 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16124/task/16126/stat : 16126 (java) S 16121 16121 14480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420440856 27969658880 26865 33554432000 4194304 4196468 140724016111888 140233886845584 140233882613461 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24944640 140724016116458 140724016116886 140724016116886 140724016119759 0
[pid=16124/tid=16127] ppid=16121 vsize=27314120 memory=140358266660480 CPUtime=0 cores=0-7
/proc/16124/task/16127/stat : 16127 (java) S 16121 16121 14480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420440856 27969658880 26865 33554432000 4194304 4196468 140724016111888 140233704933904 140233882613461 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24944640 140724016116458 140724016116886 140724016116886 140724016119759 0
[pid=16124/tid=16128] ppid=16121 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16124/task/16128/stat : 16128 (java) S 16121 16121 14480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420440856 27969658880 26865 33554432000 4194304 4196468 140724016111888 140233703881104 140233882613461 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24944640 140724016116458 140724016116886 140724016116886 140724016119759 0
[pid=16124/tid=16129] ppid=16121 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16124/task/16129/stat : 16129 (java) S 16121 16121 14480 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420440856 27969658880 26865 33554432000 4194304 4196468 140724016111888 140233302505744 140233882613461 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24944640 140724016116458 140724016116886 140724016116886 140724016119759 0
[pid=16124/tid=16130] ppid=16121 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16124/task/16130/stat : 16130 (java) S 16121 16121 14480 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420440856 27969658880 26865 33554432000 4194304 4196468 140724016111888 140233301453968 140233882613461 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24944640 140724016116458 140724016116886 140724016116886 140724016119759 0
[pid=16124/tid=16131] ppid=16121 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/16124/task/16131/stat : 16131 (java) S 16121 16121 14480 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420440856 27969658880 26865 33554432000 4194304 4196468 140724016111888 140233300401168 140233882613461 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24944640 140724016116458 140724016116886 140724016116886 140724016119759 0
[pid=16124/tid=16132] ppid=16121 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16124/task/16132/stat : 16132 (java) S 16121 16121 14480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420440856 27969658880 26865 33554432000 4194304 4196468 140724016111888 140233299348368 140233882613461 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24944640 140724016116458 140724016116886 140724016116886 140724016119759 0
[pid=16124/tid=16133] ppid=16121 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16124/task/16133/stat : 16133 (java) S 16121 16121 14480 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420440856 27969658880 26865 33554432000 4194304 4196468 140724016111888 140233298295568 140233882613461 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24944640 140724016116458 140724016116886 140724016116886 140724016119759 0
[pid=16124/tid=16134] ppid=16121 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16124/task/16134/stat : 16134 (java) S 16121 16121 14480 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420440857 27969658880 26865 33554432000 4194304 4196468 140724016111888 140232806775152 140233882614402 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24944640 140724016116458 140724016116886 140724016116886 140724016119759 0
[pid=16124/tid=16135] ppid=16121 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16124/task/16135/stat : 16135 (java) S 16121 16121 14480 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 420440858 27969658880 26865 33554432000 4194304 4196468 140724016111888 140231823057952 140233882613461 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24944640 140724016116458 140724016116886 140724016116886 140724016119759 0
[pid=16124/tid=16136] ppid=16121 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16124/task/16136/stat : 16136 (java) S 16121 16121 14480 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420440858 27969658880 26865 33554432000 4194304 4196468 140724016111888 140231554622320 140233882613461 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24944640 140724016116458 140724016116886 140724016116886 140724016119759 0
[pid=16124/tid=16137] ppid=16121 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16124/task/16137/stat : 16137 (java) S 16121 16121 14480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420440861 27969658880 26865 33554432000 4194304 4196468 140724016111888 140231180113744 140233882621851 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24944640 140724016116458 140724016116886 140724016116886 140724016119759 0
[pid=16124/tid=16138] ppid=16121 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16124/task/16138/stat : 16138 (java) S 16121 16121 14480 0 -1 1077944384 299 0 0 0 0 0 0 0 20 0 20 0 420440861 27969658880 26865 33554432000 4194304 4196468 140724016111888 140232805722992 140233882614402 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24944640 140724016116458 140724016116886 140724016116886 140724016119759 0
[pid=16124/tid=16139] ppid=16121 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16124/task/16139/stat : 16139 (java) S 16121 16121 14480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420440861 27969658880 26865 33554432000 4194304 4196468 140724016111888 140232804670192 140233882614402 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24944640 140724016116458 140724016116886 140724016116886 140724016119759 0
[pid=16124/tid=16140] ppid=16121 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16124/task/16140/stat : 16140 (java) S 16121 16121 14480 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420440861 27969658880 26865 33554432000 4194304 4196468 140724016111888 140232803617392 140233882614402 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24944640 140724016116458 140724016116886 140724016116886 140724016119759 0
[pid=16124/tid=16141] ppid=16121 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16124/task/16141/stat : 16141 (java) S 16121 16121 14480 0 -1 1077944384 259 0 0 0 0 0 0 0 20 0 20 0 420440861 27969658880 26865 33554432000 4194304 4196468 140724016111888 140232802564592 140233882614402 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24944640 140724016116458 140724016116886 140724016116886 140724016119759 0
[pid=16124/tid=16142] ppid=16121 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16124/task/16142/stat : 16142 (java) S 16121 16121 14480 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420440861 27969658880 26865 33554432000 4194304 4196468 140724016111888 140230682208864 140233882613461 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24944640 140724016116458 140724016116886 140724016116886 140724016119759 0
[pid=16124/tid=16143] ppid=16121 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/16124/task/16143/stat : 16143 (java) S 16121 16121 14480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420440861 27969658880 26865 33554432000 4194304 4196468 140724016111888 140232801511984 140233882614402 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24944640 140724016116458 140724016116886 140724016116886 140724016119759 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 108852 KiB

[startup+0.210583 s]*
/proc/loadavg: 8.20 8.37 8.35 4/213 16143
/proc/meminfo: memFree=25714852/32770624 swapFree=67002168/67108860
[pid=16121] ppid=16118 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/16121/stat : 16121 (scop.sh) S 16118 16121 14480 0 -1 4202496 554 319 0 0 0 0 0 0 20 0 1 0 420440853 115843072 348 33554432000 4194304 5098028 140732977532048 140732977529304 140481470952060 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 37711872 140732977533732 140732977534060 140732977534060 140732977536973 0
/proc/16121/statm: 28282 348 296 221 0 87 0
[pid=16124] ppid=16121 vsize=27314120 memory=126528 CPUtime=0.24 cores=0-7
/proc/16124/stat : 16124 (java) S 16121 16121 14480 0 -1 1077944320 11915 0 0 0 19 5 0 0 20 0 20 0 420440853 27969658880 31632 33554432000 4194304 4196468 140724016111888 140724016094432 140233882603255 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 24944640 140724016116458 140724016116886 140724016116886 140724016119759 0
/proc/16124/statm: 6828530 31632 2940 1 0 6790935 0
[pid=16124/tid=16125] ppid=16121 vsize=27314120 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/16124/task/16125/stat : 16125 (java) R 16121 16121 14480 0 -1 4202560 9646 0 0 0 16 4 0 0 20 0 20 0 420440854 27969658880 31632 33554432000 4194304 4196468 140724016111888 140233854410816 140233864166830 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24944640 140724016116458 140724016116886 140724016116886 140724016119759 0
[pid=16124/tid=16126] ppid=16121 vsize=27314120 memory=330 CPUtime=0 cores=0-7
/proc/16124/task/16126/stat : 16126 (java) S 16121 16121 14480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420440856 27969658880 31632 33554432000 4194304 4196468 140724016111888 140233886845584 140233882613461 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24944640 140724016116458 140724016116886 140724016116886 140724016119759 0
[pid=16124/tid=16127] ppid=16121 vsize=27314120 memory=140358269762569 CPUtime=0 cores=0-7
/proc/16124/task/16127/stat : 16127 (java) S 16121 16121 14480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420440856 27969658880 31632 33554432000 4194304 4196468 140724016111888 140233704933904 140233882613461 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24944640 140724016116458 140724016116886 140724016116886 140724016119759 0
[pid=16124/tid=16128] ppid=16121 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/16124/task/16128/stat : 16128 (java) S 16121 16121 14480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420440856 27969658880 31632 33554432000 4194304 4196468 140724016111888 140233703881104 140233882613461 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24944640 140724016116458 140724016116886 140724016116886 140724016119759 0
[pid=16124/tid=16129] ppid=16121 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16124/task/16129/stat : 16129 (java) S 16121 16121 14480 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420440856 27969658880 31632 33554432000 4194304 4196468 140724016111888 140233302505744 140233882613461 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24944640 140724016116458 140724016116886 140724016116886 140724016119759 0
[pid=16124/tid=16130] ppid=16121 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16124/task/16130/stat : 16130 (java) S 16121 16121 14480 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420440856 27969658880 31632 33554432000 4194304 4196468 140724016111888 140233301453968 140233882613461 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24944640 140724016116458 140724016116886 140724016116886 140724016119759 0
[pid=16124/tid=16131] ppid=16121 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/16124/task/16131/stat : 16131 (java) S 16121 16121 14480 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420440856 27969658880 31632 33554432000 4194304 4196468 140724016111888 140233300401168 140233882613461 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24944640 140724016116458 140724016116886 140724016116886 140724016119759 0
[pid=16124/tid=16132] ppid=16121 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16124/task/16132/stat : 16132 (java) S 16121 16121 14480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420440856 27969658880 31632 33554432000 4194304 4196468 140724016111888 140233299348368 140233882613461 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24944640 140724016116458 140724016116886 140724016116886 140724016119759 0
[pid=16124/tid=16133] ppid=16121 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16124/task/16133/stat : 16133 (java) S 16121 16121 14480 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420440856 27969658880 31632 33554432000 4194304 4196468 140724016111888 140233298295568 140233882613461 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24944640 140724016116458 140724016116886 140724016116886 140724016119759 0
[pid=16124/tid=16134] ppid=16121 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16124/task/16134/stat : 16134 (java) S 16121 16121 14480 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420440857 27969658880 31632 33554432000 4194304 4196468 140724016111888 140232806775152 140233882614402 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24944640 140724016116458 140724016116886 140724016116886 140724016119759 0
[pid=16124/tid=16135] ppid=16121 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16124/task/16135/stat : 16135 (java) S 16121 16121 14480 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 420440858 27969658880 31632 33554432000 4194304 4196468 140724016111888 140231823057952 140233882613461 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24944640 140724016116458 140724016116886 140724016116886 140724016119759 0
[pid=16124/tid=16136] ppid=16121 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16124/task/16136/stat : 16136 (java) S 16121 16121 14480 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420440858 27969658880 31632 33554432000 4194304 4196468 140724016111888 140231554622320 140233882613461 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24944640 140724016116458 140724016116886 140724016116886 140724016119759 0
[pid=16124/tid=16137] ppid=16121 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16124/task/16137/stat : 16137 (java) S 16121 16121 14480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420440861 27969658880 31632 33554432000 4194304 4196468 140724016111888 140231180113744 140233882621851 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24944640 140724016116458 140724016116886 140724016116886 140724016119759 0
[pid=16124/tid=16138] ppid=16121 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16124/task/16138/stat : 16138 (java) S 16121 16121 14480 0 -1 1077944384 299 0 0 0 0 0 0 0 20 0 20 0 420440861 27969658880 31632 33554432000 4194304 4196468 140724016111888 140232805722992 140233882614402 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24944640 140724016116458 140724016116886 140724016116886 140724016119759 0
[pid=16124/tid=16139] ppid=16121 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16124/task/16139/stat : 16139 (java) S 16121 16121 14480 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 20 0 420440861 27969658880 31632 33554432000 4194304 4196468 140724016111888 140232804670192 140233882614402 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24944640 140724016116458 140724016116886 140724016116886 140724016119759 0
[pid=16124/tid=16140] ppid=16121 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/16124/task/16140/stat : 16140 (java) S 16121 16121 14480 0 -1 1077944384 169 0 0 0 0 0 0 0 20 0 20 0 420440861 27969658880 31632 33554432000 4194304 4196468 140724016111888 140232803617392 140233882614402 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24944640 140724016116458 140724016116886 140724016116886 140724016119759 0
[pid=16124/tid=16141] ppid=16121 vsize=27314120 memory=-1 CPUtime=0.02 cores=0-7
/proc/16124/task/16141/stat : 16141 (java) S 16121 16121 14480 0 -1 1077944384 445 0 0 0 2 0 0 0 20 0 20 0 420440861 27969658880 31632 33554432000 4194304 4196468 140724016111888 140232802564592 140233882614402 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24944640 140724016116458 140724016116886 140724016116886 140724016119759 0
[pid=16124/tid=16142] ppid=16121 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16124/task/16142/stat : 16142 (java) S 16121 16121 14480 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420440861 27969658880 31632 33554432000 4194304 4196468 140724016111888 140230682208864 140233882613461 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24944640 140724016116458 140724016116886 140724016116886 140724016119759 0
[pid=16124/tid=16143] ppid=16121 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/16124/task/16143/stat : 16143 (java) S 16121 16121 14480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420440861 27969658880 31632 33554432000 4194304 4196468 140724016111888 140232801511984 140233882614402 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24944640 140724016116458 140724016116886 140724016116886 140724016119759 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 127920 KiB

[startup+0.310433 s]*
/proc/loadavg: 8.20 8.37 8.35 2/213 16143
/proc/meminfo: memFree=25704952/32770624 swapFree=67002168/67108860
[pid=16121] ppid=16118 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/16121/stat : 16121 (scop.sh) S 16118 16121 14480 0 -1 4202496 554 319 0 0 0 0 0 0 20 0 1 0 420440853 115843072 348 33554432000 4194304 5098028 140732977532048 140732977529304 140481470952060 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 37711872 140732977533732 140732977534060 140732977534060 140732977536973 0
/proc/16121/statm: 28282 348 296 221 0 87 0
[pid=16124] ppid=16121 vsize=27314120 memory=130200 CPUtime=0.42 cores=0-7
/proc/16124/stat : 16124 (java) S 16121 16121 14480 0 -1 1077944320 12903 0 0 0 36 6 0 0 20 0 20 0 420440853 27969658880 32550 33554432000 4194304 4196468 140724016111888 140724016094432 140233882603255 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 24944640 140724016116458 140724016116886 140724016116886 140724016119759 0
/proc/16124/statm: 6828530 32550 3031 1 0 6790935 0
[pid=16124/tid=16125] ppid=16121 vsize=27314120 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/16124/task/16125/stat : 16125 (java) R 16121 16121 14480 0 -1 4202560 10450 0 0 0 25 4 0 0 20 0 20 0 420440854 27969658880 32550 33554432000 4194304 4196468 140724016111888 140233854386272 140233882625181 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24944640 140724016116458 140724016116886 140724016116886 140724016119759 0
[pid=16124/tid=16126] ppid=16121 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16124/task/16126/stat : 16126 (java) S 16121 16121 14480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420440856 27969658880 32550 33554432000 4194304 4196468 140724016111888 140233886845584 140233882613461 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24944640 140724016116458 140724016116886 140724016116886 140724016119759 0
[pid=16124/tid=16127] ppid=16121 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16124/task/16127/stat : 16127 (java) S 16121 16121 14480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420440856 27969658880 32550 33554432000 4194304 4196468 140724016111888 140233704933904 140233882613461 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24944640 140724016116458 140724016116886 140724016116886 140724016119759 0
[pid=16124/tid=16128] ppid=16121 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16124/task/16128/stat : 16128 (java) S 16121 16121 14480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420440856 27969658880 32550 33554432000 4194304 4196468 140724016111888 140233703881104 140233882613461 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24944640 140724016116458 140724016116886 140724016116886 140724016119759 0
[pid=16124/tid=16129] ppid=16121 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16124/task/16129/stat : 16129 (java) S 16121 16121 14480 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420440856 27969658880 32550 33554432000 4194304 4196468 140724016111888 140233302505744 140233882613461 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24944640 140724016116458 140724016116886 140724016116886 140724016119759 0
[pid=16124/tid=16130] ppid=16121 vsize=27314120 memory=2244 CPUtime=0 cores=0-7
/proc/16124/task/16130/stat : 16130 (java) S 16121 16121 14480 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420440856 27969658880 32550 33554432000 4194304 4196468 140724016111888 140233301453968 140233882613461 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24944640 140724016116458 140724016116886 140724016116886 140724016119759 0
[pid=16124/tid=16131] ppid=16121 vsize=27314120 memory=140358122042287 CPUtime=0 cores=0-7
/proc/16124/task/16131/stat : 16131 (java) S 16121 16121 14480 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420440856 27969658880 32550 33554432000 4194304 4196468 140724016111888 140233300401168 140233882613461 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24944640 140724016116458 140724016116886 140724016116886 140724016119759 0
[pid=16124/tid=16132] ppid=16121 vsize=27314120 memory=140358122044592 CPUtime=0 cores=0-7
/proc/16124/task/16132/stat : 16132 (java) S 16121 16121 14480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420440856 27969658880 32550 33554432000 4194304 4196468 140724016111888 140233299348368 140233882613461 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24944640 140724016116458 140724016116886 140724016116886 140724016119759 0
[pid=16124/tid=16133] ppid=16121 vsize=27314120 memory=140358122046896 CPUtime=0 cores=0-7
/proc/16124/task/16133/stat : 16133 (java) S 16121 16121 14480 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420440856 27969658880 32550 33554432000 4194304 4196468 140724016111888 140233298295568 140233882613461 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24944640 140724016116458 140724016116886 140724016116886 140724016119759 0
[pid=16124/tid=16134] ppid=16121 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16124/task/16134/stat : 16134 (java) S 16121 16121 14480 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420440857 27969658880 32550 33554432000 4194304 4196468 140724016111888 140232806775152 140233882614402 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24944640 140724016116458 140724016116886 140724016116886 140724016119759 0
[pid=16124/tid=16135] ppid=16121 vsize=27314120 memory=280716244100752 CPUtime=0 cores=0-7
/proc/16124/task/16135/stat : 16135 (java) S 16121 16121 14480 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 420440858 27969658880 32550 33554432000 4194304 4196468 140724016111888 140231823057952 140233882613461 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24944640 140724016116458 140724016116886 140724016116886 140724016119759 0
[pid=16124/tid=16136] ppid=16121 vsize=27314120 memory=280716244107664 CPUtime=0 cores=0-7
/proc/16124/task/16136/stat : 16136 (java) S 16121 16121 14480 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420440858 27969658880 32550 33554432000 4194304 4196468 140724016111888 140231554622320 140233882613461 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24944640 140724016116458 140724016116886 140724016116886 140724016119759 0
[pid=16124/tid=16137] ppid=16121 vsize=27314120 memory=280716244048944 CPUtime=0 cores=0-7
/proc/16124/task/16137/stat : 16137 (java) S 16121 16121 14480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420440861 27969658880 32550 33554432000 4194304 4196468 140724016111888 140231180113744 140233882621851 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24944640 140724016116458 140724016116886 140724016116886 140724016119759 0
[pid=16124/tid=16138] ppid=16121 vsize=27314120 memory=280716244121488 CPUtime=0.01 cores=0-7
/proc/16124/task/16138/stat : 16138 (java) S 16121 16121 14480 0 -1 1077944384 347 0 0 0 1 0 0 0 20 0 20 0 420440861 27969658880 32550 33554432000 4194304 4196468 140724016111888 140232805722992 140233882614402 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24944640 140724016116458 140724016116886 140724016116886 140724016119759 0
[pid=16124/tid=16139] ppid=16121 vsize=27314120 memory=280716244128400 CPUtime=0.01 cores=0-7
/proc/16124/task/16139/stat : 16139 (java) R 16121 16121 14480 0 -1 4202560 40 0 0 0 1 0 0 0 20 0 20 0 420440861 27969658880 32550 33554432000 4194304 4196468 140724016111888 140232804670192 140233882624602 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24944640 140724016116458 140724016116886 140724016116886 140724016119759 0
[pid=16124/tid=16140] ppid=16121 vsize=27314120 memory=280716244126096 CPUtime=0.01 cores=0-7
/proc/16124/task/16140/stat : 16140 (java) S 16121 16121 14480 0 -1 1077944384 258 0 0 0 1 0 0 0 20 0 20 0 420440861 27969658880 32550 33554432000 4194304 4196468 140724016111888 140232803617392 140233882614402 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24944640 140724016116458 140724016116886 140724016116886 140724016119759 0
[pid=16124/tid=16141] ppid=16121 vsize=27314120 memory=280716244142256 CPUtime=0.07 cores=0-7
/proc/16124/task/16141/stat : 16141 (java) S 16121 16121 14480 0 -1 1077944384 468 0 0 0 7 0 0 0 20 0 20 0 420440861 27969658880 32550 33554432000 4194304 4196468 140724016111888 140232802564592 140233882614402 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24944640 140724016116458 140724016116886 140724016116886 140724016119759 0
[pid=16124/tid=16142] ppid=16121 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16124/task/16142/stat : 16142 (java) S 16121 16121 14480 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420440861 27969658880 32550 33554432000 4194304 4196468 140724016111888 140230682208864 140233882613461 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24944640 140724016116458 140724016116886 140724016116886 140724016119759 0
[pid=16124/tid=16143] ppid=16121 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/16124/task/16143/stat : 16143 (java) S 16121 16121 14480 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420440861 27969658880 32550 33554432000 4194304 4196468 140724016111888 140232801511984 140233882614402 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24944640 140724016116458 140724016116886 140724016116886 140724016119759 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 131592 KiB

[startup+0.701077 s]
/proc/loadavg: 8.20 8.37 8.35 2/213 16143
/proc/meminfo: memFree=25688968/32770624 swapFree=67002168/67108860
[pid=16121] ppid=16118 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/16121/stat : 16121 (scop.sh) S 16118 16121 14480 0 -1 4202496 554 319 0 0 0 0 0 0 20 0 1 0 420440853 115843072 348 33554432000 4194304 5098028 140732977532048 140732977529304 140481470952060 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 37711872 140732977533732 140732977534060 140732977534060 140732977536973 0
/proc/16121/statm: 28282 348 296 221 0 87 0
[pid=16124] ppid=16121 vsize=27320392 memory=167148 CPUtime=0.99 cores=0-7
/proc/16124/stat : 16124 (java) S 16121 16121 14480 0 -1 1077944320 19876 0 0 0 91 8 0 0 20 0 20 0 420440853 27976081408 41787 33554432000 4194304 4196468 140724016111888 140724016094432 140233882603255 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 24944640 140724016116458 140724016116886 140724016116886 140724016119759 0
/proc/16124/statm: 6830098 41787 3174 1 0 6791447 0
[pid=16124/tid=16125] ppid=16121 vsize=27320392 memory=280716244500144 CPUtime=0.67 cores=0-7
/proc/16124/task/16125/stat : 16125 (java) R 16121 16121 14480 0 -1 4202560 16877 0 0 0 61 6 0 0 20 0 20 0 420440854 27976081408 41787 33554432000 4194304 4196468 140724016111888 140233854438696 140233383482802 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24944640 140724016116458 140724016116886 140724016116886 140724016119759 0
[pid=16124/tid=16126] ppid=16121 vsize=27320392 memory=140358122251120 CPUtime=0 cores=0-7
/proc/16124/task/16126/stat : 16126 (java) S 16121 16121 14480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420440856 27976081408 41787 33554432000 4194304 4196468 140724016111888 140233886845584 140233882613461 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24944640 140724016116458 140724016116886 140724016116886 140724016119759 0
[pid=16124/tid=16127] ppid=16121 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/16124/task/16127/stat : 16127 (java) S 16121 16121 14480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420440856 27976081408 41787 33554432000 4194304 4196468 140724016111888 140233704933904 140233882613461 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24944640 140724016116458 140724016116886 140724016116886 140724016119759 0
[pid=16124/tid=16128] ppid=16121 vsize=27320392 memory=1056 CPUtime=0 cores=0-7
/proc/16124/task/16128/stat : 16128 (java) S 16121 16121 14480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420440856 27976081408 41787 33554432000 4194304 4196468 140724016111888 140233703881104 140233882613461 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24944640 140724016116458 140724016116886 140724016116886 140724016119759 0

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

/proc/16164/task/16176/stat : 16176 (manyglucose-4.1) R 16144 16121 14480 0 -1 4202560 103464 0 0 0 2084 40 0 0 20 0 4 0 420443201 2267320320 443005 33554432000 4194304 4454172 140733780728352 140303448980264 4351286 0 4 0 8388610 0 0 0 -1 5 0 0 0 0 0 6552832 6554400 35938304 140733780730729 140733780730928 140733780730928 140733780733882 0
[pid=16144/tid=16145] ppid=16121 vsize=8414124 memory=39868 CPUtime=0.77 cores=0-7
/proc/16144/task/16145/stat : 16145 (java) S 16121 16121 14480 0 -1 1077944384 17807 0 0 0 72 5 0 0 20 0 24 0 420442438 8616062976 30338 33554432000 4194304 4196468 140722879151152 139993261318048 139993289488085 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8024064 140722879153143 140722879153302 140722879153302 140722879156175 0
[pid=16144/tid=16146] ppid=16121 vsize=8414124 memory=988 CPUtime=0 cores=0-7
/proc/16144/task/16146/stat : 16146 (java) S 16121 16121 14480 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 420442439 8616062976 30338 33554432000 4194304 4196468 140722879151152 139993293720720 139993289488085 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8024064 140722879153143 140722879153302 140722879153302 140722879156175 0
[pid=16144/tid=16147] ppid=16121 vsize=8414124 memory=2024 CPUtime=0 cores=0-7
/proc/16144/task/16147/stat : 16147 (java) S 16121 16121 14480 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 420442439 8616062976 30338 33554432000 4194304 4196468 140722879151152 139993118362640 139993289488085 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8024064 140722879153143 140722879153302 140722879153302 140722879156175 0
[pid=16144/tid=16148] ppid=16121 vsize=8414124 memory=1428 CPUtime=0 cores=0-7
/proc/16144/task/16148/stat : 16148 (java) S 16121 16121 14480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420442439 8616062976 30338 33554432000 4194304 4196468 140722879151152 139992773589904 139993289488085 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8024064 140722879153143 140722879153302 140722879153302 140722879156175 0
[pid=16144/tid=16149] ppid=16121 vsize=8414124 memory=56 CPUtime=0 cores=0-7
/proc/16144/task/16149/stat : 16149 (java) S 16121 16121 14480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420442439 8616062976 30338 33554432000 4194304 4196468 140722879151152 139992772537104 139993289488085 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8024064 140722879153143 140722879153302 140722879153302 140722879156175 0
[pid=16144/tid=16150] ppid=16121 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/16144/task/16150/stat : 16150 (java) S 16121 16121 14480 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 420442439 8616062976 30338 33554432000 4194304 4196468 140722879151152 139992771484304 139993289488085 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8024064 140722879153143 140722879153302 140722879153302 140722879156175 0
[pid=16144/tid=16151] ppid=16121 vsize=8414124 memory=7669183125408798317 CPUtime=0 cores=0-7
/proc/16144/task/16151/stat : 16151 (java) S 16121 16121 14480 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 420442439 8616062976 30338 33554432000 4194304 4196468 140722879151152 139992770431504 139993289488085 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8024064 140722879153143 140722879153302 140722879153302 140722879156175 0
[pid=16144/tid=16152] ppid=16121 vsize=8414124 memory=7597972172554130534 CPUtime=0 cores=0-7
/proc/16144/task/16152/stat : 16152 (java) S 16121 16121 14480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420442439 8616062976 30338 33554432000 4194304 4196468 140722879151152 139992769378704 139993289488085 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8024064 140722879153143 140722879153302 140722879153302 140722879156175 0
[pid=16144/tid=16153] ppid=16121 vsize=8414124 memory=6371022723504367206 CPUtime=0 cores=0-7
/proc/16144/task/16153/stat : 16153 (java) S 16121 16121 14480 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 420442439 8616062976 30338 33554432000 4194304 4196468 140722879151152 139992768325904 139993289488085 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8024064 140722879153143 140722879153302 140722879153302 140722879156175 0
[pid=16144/tid=16154] ppid=16121 vsize=8414124 memory=1762840 CPUtime=0 cores=0-7
/proc/16144/task/16154/stat : 16154 (java) S 16121 16121 14480 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 420442441 8616062976 30338 33554432000 4194304 4196468 140722879151152 139992584354672 139993289489026 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8024064 140722879153143 140722879153302 140722879153302 140722879156175 0
[pid=16144/tid=16155] ppid=16121 vsize=8414124 memory=1472 CPUtime=0 cores=0-7
/proc/16144/task/16155/stat : 16155 (java) S 16121 16121 14480 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 420442441 8616062976 30338 33554432000 4194304 4196468 140722879151152 139991908869664 139993289488085 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8024064 140722879153143 140722879153302 140722879153302 140722879156175 0
[pid=16144/tid=16156] ppid=16121 vsize=8414124 memory=1472 CPUtime=0 cores=0-7
/proc/16144/task/16156/stat : 16156 (java) S 16121 16121 14480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420442441 8616062976 30338 33554432000 4194304 4196468 140722879151152 139991640434032 139993289488085 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8024064 140722879153143 140722879153302 140722879153302 140722879156175 0
[pid=16144/tid=16157] ppid=16121 vsize=8414124 memory=121352 CPUtime=0 cores=0-7
/proc/16144/task/16157/stat : 16157 (java) S 16121 16121 14480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420442444 8616062976 30338 33554432000 4194304 4196468 140722879151152 139991265925456 139993289496475 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8024064 140722879153143 140722879153302 140722879153302 140722879156175 0
[pid=16144/tid=16158] ppid=16121 vsize=8414124 memory=1757476 CPUtime=0.05 cores=0-7
/proc/16144/task/16158/stat : 16158 (java) S 16121 16121 14480 0 -1 1077944384 667 0 0 0 5 0 0 0 20 0 24 0 420442444 8616062976 30338 33554432000 4194304 4196468 140722879151152 139992583301488 139993289489026 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8024064 140722879153143 140722879153302 140722879153302 140722879156175 0
[pid=16144/tid=16159] ppid=16121 vsize=8414124 memory=3616 CPUtime=0.14 cores=0-7
/proc/16144/task/16159/stat : 16159 (java) S 16121 16121 14480 0 -1 1077944384 628 0 0 0 14 0 0 0 20 0 24 0 420442444 8616062976 30338 33554432000 4194304 4196468 140722879151152 139992582248688 139993289489026 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8024064 140722879153143 140722879153302 140722879153302 140722879156175 0
[pid=16144/tid=16160] ppid=16121 vsize=8414124 memory=121352 CPUtime=0.04 cores=0-7
/proc/16144/task/16160/stat : 16160 (java) S 16121 16121 14480 0 -1 1077944384 138 0 0 0 4 0 0 0 20 0 24 0 420442444 8616062976 30338 33554432000 4194304 4196468 140722879151152 139992581195888 139993289489026 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8024064 140722879153143 140722879153302 140722879153302 140722879156175 0
[pid=16144/tid=16161] ppid=16121 vsize=8414124 memory=1760444 CPUtime=0.21 cores=0-7
/proc/16144/task/16161/stat : 16161 (java) S 16121 16121 14480 0 -1 1077944384 520 0 0 0 21 0 0 0 20 0 24 0 420442444 8616062976 30338 33554432000 4194304 4196468 140722879151152 139992244414448 139993289489026 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8024064 140722879153143 140722879153302 140722879153302 140722879156175 0
[pid=16144/tid=16162] ppid=16121 vsize=8414124 memory=988 CPUtime=0 cores=0-7
/proc/16144/task/16162/stat : 16162 (java) S 16121 16121 14480 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 420442444 8616062976 30338 33554432000 4194304 4196468 140722879151152 139990768020576 139993289488085 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8024064 140722879153143 140722879153302 140722879153302 140722879156175 0
[pid=16144/tid=16163] ppid=16121 vsize=8414124 memory=2024 CPUtime=0.01 cores=0-7
/proc/16144/task/16163/stat : 16163 (java) S 16121 16121 14480 0 -1 1077944384 3 0 0 0 1 0 0 0 20 0 24 0 420442444 8616062976 30338 33554432000 4194304 4196468 140722879151152 139992243362864 139993289489026 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8024064 140722879153143 140722879153302 140722879153302 140722879156175 0
[pid=16144/tid=16165] ppid=16121 vsize=8414124 memory=1428 CPUtime=0 cores=0-7
/proc/16144/task/16165/stat : 16165 (java) S 16121 16121 14480 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 420442512 8616062976 30338 33554432000 4194304 4196468 140722879151152 139992235329088 139993289502489 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 8024064 140722879153143 140722879153302 140722879153302 140722879156175 0
[pid=16144/tid=16167] ppid=16121 vsize=8414124 memory=776 CPUtime=0 cores=0-7
/proc/16144/task/16167/stat : 16167 (java) S 16121 16121 14480 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 24 0 420442512 8616062976 30338 33554432000 4194304 4196468 140722879151152 139990096920208 139993289499805 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 8024064 140722879153143 140722879153302 140722879153302 140722879156175 0
[pid=16144/tid=16168] ppid=16121 vsize=8414124 memory=1472 CPUtime=0 cores=0-7
/proc/16144/task/16168/stat : 16168 (java) S 16121 16121 14480 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 420442512 8616062976 30338 33554432000 4194304 4196468 140722879151152 139990365355536 139993289499805 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 8024064 140722879153143 140722879153302 140722879153302 140722879156175 0
[pid=16144/tid=16169] ppid=16121 vsize=8414124 memory=121352 CPUtime=0 cores=0-7
/proc/16144/task/16169/stat : 16169 (java) S 16121 16121 14480 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 420442514 8616062976 30338 33554432000 4194304 4196468 140722879151152 139989828492336 139993289488085 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8024064 140722879153143 140722879153302 140722879153302 140722879156175 0
Current children cumulated CPU time: 197.5 s
Current children cumulated vsize: 10741432 KiB
Current children cumulated memory: 1894844 KiB

[startup+45.2012 s]
/proc/loadavg: 6.50 7.84 8.17 3/220 16180
/proc/meminfo: memFree=23895616/32770624 swapFree=67002168/67108860
[pid=16121] ppid=16118 vsize=113128 memory=1472 CPUtime=23.59 cores=0-7
/proc/16121/stat : 16121 (scop.sh) S 16118 16121 14480 0 -1 4202496 581 34071 0 0 0 0 2237 122 20 0 1 0 420440853 115843072 368 33554432000 4194304 5098028 140732977532048 140732977528792 140481470952060 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 37711872 140732977533732 140732977534060 140732977534060 140732977536973 0
/proc/16121/statm: 28282 368 311 221 0 87 0
[pid=16144] ppid=16121 vsize=8414124 memory=121352 CPUtime=1.27 cores=0-7
/proc/16144/stat : 16144 (java) S 16121 16121 14480 0 -1 1077944320 21163 0 0 0 120 7 0 0 20 0 24 0 420442437 8616062976 30338 33554432000 4194304 4196468 140722879151152 140722879133696 139993289477879 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 8024064 140722879153143 140722879153302 140722879153302 140722879156175 0
/proc/16144/statm: 2103531 30338 3205 1 0 2064875 0
[pid=16164] ppid=16144 vsize=2214180 memory=1772028 CPUtime=173.3 cores=0-7
/proc/16164/stat : 16164 (manyglucose-4.1) S 16144 16121 14480 0 -1 1077944320 1178857 0 0 0 17070 260 0 0 20 0 2 0 420442512 2267320320 443007 33554432000 4194304 4454172 140733780728352 140733780726736 140304358874871 0 4 0 8388610 18446744073709551615 0 0 17 5 0 0 0 0 0 6552832 6554400 35938304 140733780730729 140733780730928 140733780730928 140733780733882 0
/proc/16164/statm: 553545 443007 420 64 0 549213 0
[pid=16164/tid=16171] ppid=16144 vsize=2214180 memory=1764 CPUtime=21.59 cores=0-7
/proc/16164/task/16171/stat : 16171 (manyglucose-4.1) R 16144 16121 14480 0 -1 4202560 147392 0 0 0 2113 46 0 0 20 0 2 0 420443201 2267320320 443007 33554432000 4194304 4454172 140733780728352 140303490943736 4351797 0 4 0 8388610 0 0 0 -1 0 0 0 0 0 0 6552832 6554400 35938304 140733780730729 140733780730928 140733780730928 140733780733882 0
[pid=16144/tid=16145] ppid=16121 vsize=8414124 memory=111632 CPUtime=0.77 cores=0-7
/proc/16144/task/16145/stat : 16145 (java) S 16121 16121 14480 0 -1 1077944384 17807 0 0 0 72 5 0 0 20 0 24 0 420442438 8616062976 30338 33554432000 4194304 4196468 140722879151152 139993261318048 139993289488085 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8024064 140722879153143 140722879153302 140722879153302 140722879156175 0
[pid=16144/tid=16146] ppid=16121 vsize=8414124 memory=796 CPUtime=0 cores=0-7
/proc/16144/task/16146/stat : 16146 (java) S 16121 16121 14480 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 420442439 8616062976 30338 33554432000 4194304 4196468 140722879151152 139993293720720 139993289488085 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8024064 140722879153143 140722879153302 140722879153302 140722879156175 0
[pid=16144/tid=16147] ppid=16121 vsize=8414124 memory=1808 CPUtime=0 cores=0-7
/proc/16144/task/16147/stat : 16147 (java) S 16121 16121 14480 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 420442439 8616062976 30338 33554432000 4194304 4196468 140722879151152 139993118362640 139993289488085 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8024064 140722879153143 140722879153302 140722879153302 140722879156175 0
[pid=16144/tid=16148] ppid=16121 vsize=8414124 memory=920 CPUtime=0 cores=0-7
/proc/16144/task/16148/stat : 16148 (java) S 16121 16121 14480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420442439 8616062976 30338 33554432000 4194304 4196468 140722879151152 139992773589904 139993289488085 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8024064 140722879153143 140722879153302 140722879153302 140722879156175 0
[pid=16144/tid=16149] ppid=16121 vsize=8414124 memory=4256 CPUtime=0 cores=0-7
/proc/16144/task/16149/stat : 16149 (java) S 16121 16121 14480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420442439 8616062976 30338 33554432000 4194304 4196468 140722879151152 139992772537104 139993289488085 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8024064 140722879153143 140722879153302 140722879153302 140722879156175 0
[pid=16144/tid=16150] ppid=16121 vsize=8414124 memory=4104 CPUtime=0 cores=0-7
/proc/16144/task/16150/stat : 16150 (java) S 16121 16121 14480 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 420442439 8616062976 30338 33554432000 4194304 4196468 140722879151152 139992771484304 139993289488085 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8024064 140722879153143 140722879153302 140722879153302 140722879156175 0
[pid=16144/tid=16151] ppid=16121 vsize=8414124 memory=1412 CPUtime=0 cores=0-7
/proc/16144/task/16151/stat : 16151 (java) S 16121 16121 14480 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 420442439 8616062976 30338 33554432000 4194304 4196468 140722879151152 139992770431504 139993289488085 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8024064 140722879153143 140722879153302 140722879153302 140722879156175 0
[pid=16144/tid=16152] ppid=16121 vsize=8414124 memory=636 CPUtime=0 cores=0-7
/proc/16144/task/16152/stat : 16152 (java) S 16121 16121 14480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420442439 8616062976 30338 33554432000 4194304 4196468 140722879151152 139992769378704 139993289488085 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8024064 140722879153143 140722879153302 140722879153302 140722879156175 0
[pid=16144/tid=16153] ppid=16121 vsize=8414124 memory=2832 CPUtime=0 cores=0-7
/proc/16144/task/16153/stat : 16153 (java) S 16121 16121 14480 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 420442439 8616062976 30338 33554432000 4194304 4196468 140722879151152 139992768325904 139993289488085 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8024064 140722879153143 140722879153302 140722879153302 140722879156175 0
[pid=16144/tid=16154] ppid=16121 vsize=8414124 memory=1056 CPUtime=0 cores=0-7
/proc/16144/task/16154/stat : 16154 (java) S 16121 16121 14480 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 420442441 8616062976 30338 33554432000 4194304 4196468 140722879151152 139992584354672 139993289489026 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8024064 140722879153143 140722879153302 140722879153302 140722879156175 0
[pid=16144/tid=16155] ppid=16121 vsize=8414124 memory=1568 CPUtime=0 cores=0-7
/proc/16144/task/16155/stat : 16155 (java) S 16121 16121 14480 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 420442441 8616062976 30338 33554432000 4194304 4196468 140722879151152 139991908869664 139993289488085 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8024064 140722879153143 140722879153302 140722879153302 140722879156175 0
[pid=16144/tid=16156] ppid=16121 vsize=8414124 memory=1040 CPUtime=0 cores=0-7
/proc/16144/task/16156/stat : 16156 (java) S 16121 16121 14480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420442441 8616062976 30338 33554432000 4194304 4196468 140722879151152 139991640434032 139993289488085 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8024064 140722879153143 140722879153302 140722879153302 140722879156175 0
[pid=16144/tid=16157] ppid=16121 vsize=8414124 memory=14008 CPUtime=0 cores=0-7
/proc/16144/task/16157/stat : 16157 (java) S 16121 16121 14480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420442444 8616062976 30338 33554432000 4194304 4196468 140722879151152 139991265925456 139993289496475 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8024064 140722879153143 140722879153302 140722879153302 140722879156175 0
[pid=16144/tid=16158] ppid=16121 vsize=8414124 memory=12040 CPUtime=0.05 cores=0-7
/proc/16144/task/16158/stat : 16158 (java) S 16121 16121 14480 0 -1 1077944384 667 0 0 0 5 0 0 0 20 0 24 0 420442444 8616062976 30338 33554432000 4194304 4196468 140722879151152 139992583301488 139993289489026 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8024064 140722879153143 140722879153302 140722879153302 140722879156175 0
[pid=16144/tid=16159] ppid=16121 vsize=8414124 memory=2120 CPUtime=0.14 cores=0-7
/proc/16144/task/16159/stat : 16159 (java) S 16121 16121 14480 0 -1 1077944384 628 0 0 0 14 0 0 0 20 0 24 0 420442444 8616062976 30338 33554432000 4194304 4196468 140722879151152 139992582248688 139993289489026 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8024064 140722879153143 140722879153302 140722879153302 140722879156175 0
[pid=16144/tid=16160] ppid=16121 vsize=8414124 memory=21764 CPUtime=0.04 cores=0-7
/proc/16144/task/16160/stat : 16160 (java) S 16121 16121 14480 0 -1 1077944384 138 0 0 0 4 0 0 0 20 0 24 0 420442444 8616062976 30338 33554432000 4194304 4196468 140722879151152 139992581195888 139993289489026 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8024064 140722879153143 140722879153302 140722879153302 140722879156175 0
[pid=16144/tid=16161] ppid=16121 vsize=8414124 memory=1556 CPUtime=0.21 cores=0-7
/proc/16144/task/16161/stat : 16161 (java) S 16121 16121 14480 0 -1 1077944384 520 0 0 0 21 0 0 0 20 0 24 0 420442444 8616062976 30338 33554432000 4194304 4196468 140722879151152 139992244414448 139993289489026 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8024064 140722879153143 140722879153302 140722879153302 140722879156175 0
[pid=16144/tid=16162] ppid=16121 vsize=8414124 memory=500 CPUtime=0 cores=0-7
/proc/16144/task/16162/stat : 16162 (java) S 16121 16121 14480 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 420442444 8616062976 30338 33554432000 4194304 4196468 140722879151152 139990768020576 139993289488085 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8024064 140722879153143 140722879153302 140722879153302 140722879156175 0
[pid=16144/tid=16163] ppid=16121 vsize=8414124 memory=932 CPUtime=0.01 cores=0-7
/proc/16144/task/16163/stat : 16163 (java) S 16121 16121 14480 0 -1 1077944384 3 0 0 0 1 0 0 0 20 0 24 0 420442444 8616062976 30338 33554432000 4194304 4196468 140722879151152 139992243362864 139993289489026 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8024064 140722879153143 140722879153302 140722879153302 140722879156175 0
[pid=16144/tid=16165] ppid=16121 vsize=8414124 memory=1768 CPUtime=0 cores=0-7
/proc/16144/task/16165/stat : 16165 (java) S 16121 16121 14480 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 420442512 8616062976 30338 33554432000 4194304 4196468 140722879151152 139992235329088 139993289502489 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 8024064 140722879153143 140722879153302 140722879153302 140722879156175 0
[pid=16144/tid=16167] ppid=16121 vsize=8414124 memory=1656 CPUtime=0 cores=0-7
/proc/16144/task/16167/stat : 16167 (java) S 16121 16121 14480 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 24 0 420442512 8616062976 30338 33554432000 4194304 4196468 140722879151152 139990096920208 139993289499805 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 8024064 140722879153143 140722879153302 140722879153302 140722879156175 0
[pid=16144/tid=16168] ppid=16121 vsize=8414124 memory=288230574492221466 CPUtime=0 cores=0-7
/proc/16144/task/16168/stat : 16168 (java) S 16121 16121 14480 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 420442512 8616062976 30338 33554432000 4194304 4196468 140722879151152 139990365355536 139993289499805 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 8024064 140722879153143 140722879153302 140722879153302 140722879156175 0
[pid=16144/tid=16169] ppid=16121 vsize=8414124 memory=288230621803970871 CPUtime=0 cores=0-7
/proc/16144/task/16169/stat : 16169 (java) S 16121 16121 14480 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 420442514 8616062976 30338 33554432000 4194304 4196468 140722879151152 139989828492336 139993289488085 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8024064 140722879153143 140722879153302 140722879153302 140722879156175 0
Current children cumulated CPU time: 198.16 s
Current children cumulated vsize: 10741432 KiB
Current children cumulated memory: 1894852 KiB

[startup+45.4022 s]
/proc/loadavg: 6.50 7.84 8.17 3/220 16180
/proc/meminfo: memFree=23895616/32770624 swapFree=67002168/67108860
[pid=16121] ppid=16118 vsize=113128 memory=1472 CPUtime=23.59 cores=0-7
/proc/16121/stat : 16121 (scop.sh) S 16118 16121 14480 0 -1 4202496 581 34071 0 0 0 0 2237 122 20 0 1 0 420440853 115843072 368 33554432000 4194304 5098028 140732977532048 140732977528792 140481470952060 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 37711872 140732977533732 140732977534060 140732977534060 140732977536973 0
/proc/16121/statm: 28282 368 311 221 0 87 0
[pid=16144] ppid=16121 vsize=8151972 memory=124532 CPUtime=174.85 cores=0-7
/proc/16144/stat : 16144 (java) S 16121 16121 14480 0 -1 1077944320 21531 1178951 0 0 127 9 17081 268 20 0 21 0 420442437 8347619328 31133 33554432000 4194304 4196468 140722879151152 140722879133696 139993289477879 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 8024064 140722879153143 140722879153302 140722879153302 140722879156175 0
/proc/16144/statm: 2037993 31133 3208 1 0 1999337 0
[pid=16144/tid=16145] ppid=16121 vsize=8151972 memory=7522820527009120364 CPUtime=174.27 cores=0-7
/proc/16144/task/16145/stat : 16145 (java) R 16121 16121 14480 0 -1 1077944384 17819 1178951 0 0 72 6 17081 268 20 0 21 0 420442438 8347619328 31138 33554432000 4194304 4196468 140722879151152 139993261321360 139993289488085 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8024064 140722879153143 140722879153302 140722879153302 140722879156175 0
[pid=16144/tid=16146] ppid=16121 vsize=8151972 memory=6947176694545408338 CPUtime=173.49 cores=0-7
/proc/16144/task/16146/stat : 16146 (java) S 16121 16121 14480 0 -1 1077944384 2 1178951 0 0 0 0 17081 268 20 0 20 0 420442439 8347619328 31138 33554432000 4194304 4196468 140722879151152 139993293720720 139993289488085 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8024064 140722879153143 140722879153302 140722879153302 140722879156175 0
[pid=16144/tid=16147] ppid=16121 vsize=8151972 memory=0 CPUtime=173.49 cores=0-7
/proc/16144/task/16147/stat : 16147 (java) S 16121 16121 14480 0 -1 1077944384 3 1178951 0 0 0 0 17081 268 20 0 20 0 420442439 8347619328 31138 33554432000 4194304 4196468 140722879151152 139993118362640 139993289488085 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8024064 140722879153143 140722879153302 140722879153302 140722879156175 0
[pid=16144/tid=16148] ppid=16121 vsize=8151972 memory=280716246324480 CPUtime=173.49 cores=0-7
/proc/16144/task/16148/stat : 16148 (java) S 16121 16121 14480 0 -1 1077944384 1 1178951 0 0 0 0 17081 268 20 0 20 0 420442439 8347619328 31138 33554432000 4194304 4196468 140722879151152 139992773589904 139993289488085 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8024064 140722879153143 140722879153302 140722879153302 140722879156175 0
[pid=16144/tid=16149] ppid=16121 vsize=8151972 memory=0 CPUtime=173.49 cores=0-7
/proc/16144/task/16149/stat : 16149 (java) S 16121 16121 14480 0 -1 1077944384 1 1178951 0 0 0 0 17081 268 20 0 20 0 420442439 8347619328 31138 33554432000 4194304 4196468 140722879151152 139992772537104 139993289488085 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8024064 140722879153143 140722879153302 140722879153302 140722879156175 0
[pid=16144/tid=16150] ppid=16121 vsize=8151972 memory=0 CPUtime=173.49 cores=0-7
/proc/16144/task/16150/stat : 16150 (java) S 16121 16121 14480 0 -1 1077944384 3 1178951 0 0 0 0 17081 268 20 0 20 0 420442439 8347619328 31104 33554432000 4194304 4196468 140722879151152 139992771484304 139993289488085 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8024064 140722879153143 140722879153302 140722879153302 140722879156175 0
[pid=16144/tid=16151] ppid=16121 vsize=8151972 memory=140358123181216 CPUtime=173.49 cores=0-7
/proc/16144/task/16151/stat : 16151 (java) S 16121 16121 14480 0 -1 1077944384 2 1178951 0 0 0 0 17081 268 20 0 19 0 420442439 8347619328 31104 33554432000 4194304 4196468 140722879151152 139992770431504 139993289488085 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8024064 140722879153143 140722879153302 140722879153302 140722879156175 0
[pid=16144/tid=16152] ppid=16121 vsize=8151972 memory=0 CPUtime=173.49 cores=0-7
/proc/16144/task/16152/stat : 16152 (java) S 16121 16121 14480 0 -1 1077944384 1 1178951 0 0 0 0 17081 268 20 0 19 0 420442439 8347619328 31104 33554432000 4194304 4196468 140722879151152 139992769378704 139993289488085 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8024064 140722879153143 140722879153302 140722879153302 140722879156175 0
[pid=16144/tid=16153] ppid=16121 vsize=8149916 memory=3148 CPUtime=173.49 cores=0-7
/proc/16144/task/16153/stat : 16153 (java) S 16121 16121 14480 0 -1 1077944384 2 1178951 0 0 0 0 17081 268 20 0 19 0 420442439 8345513984 31122 33554432000 4194304 4196468 140722879151152 139992768325904 139993289488085 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8024064 140722879153143 140722879153302 140722879153302 140722879156175 0
[pid=16144/tid=16155] ppid=16121 vsize=8018840 memory=121352 CPUtime=173.49 cores=0-7
/proc/16144/task/16155/stat : 16155 (java) S 16121 16121 14480 0 -1 1077944384 13 1178951 0 0 0 0 17081 268 20 0 19 0 420442441 8211292160 31116 33554432000 4194304 4196468 140722879151152 139991908869664 139993289488085 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8024064 140722879153143 140722879153302 140722879153302 140722879156175 0
[pid=16144/tid=16156] ppid=16121 vsize=8018840 memory=1754172 CPUtime=173.49 cores=0-7
/proc/16144/task/16156/stat : 16156 (java) S 16121 16121 14480 0 -1 1077944384 1 1178951 0 0 0 0 17081 268 20 0 19 0 420442441 8211292160 31116 33554432000 4194304 4196468 140722879151152 139991640434032 139993289488085 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8024064 140722879153143 140722879153302 140722879153302 140722879156175 0
[pid=16144/tid=16157] ppid=16121 vsize=8018840 memory=7686721470300853913 CPUtime=173.49 cores=0-7
/proc/16144/task/16157/stat : 16157 (java) S 16121 16121 14480 0 -1 1077944384 22 1178951 0 0 0 0 17081 268 20 0 19 0 420442444 8211292160 31116 33554432000 4194304 4196468 140722879151152 139991265925168 139993289488085 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8024064 140722879153143 140722879153302 140722879153302 140722879156175 0
[pid=16144/tid=16158] ppid=16121 vsize=8018840 memory=1751800 CPUtime=173.56 cores=0-7
/proc/16144/task/16158/stat : 16158 (java) S 16121 16121 14480 0 -1 1077944384 677 1178951 0 0 7 0 17081 268 20 0 19 0 420442444 8211292160 31120 33554432000 4194304 4196468 140722879151152 139992583301488 139993289489026 256 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8024064 140722879153143 140722879153302 140722879153302 140722879156175 0
[pid=16144/tid=16159] ppid=16121 vsize=8018840 memory=280716245836160 CPUtime=173.64 cores=0-7
/proc/16144/task/16159/stat : 16159 (java) R 16121 16121 14480 0 -1 1077944384 631 1178951 0 0 15 0 17081 268 20 0 19 0 420442444 8211292160 31124 33554432000 4194304 4196468 140722879151152 139992582248688 139993289489026 256 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 8024064 140722879153143 140722879153302 140722879153302 140722879156175 0
[pid=16144/tid=16160] ppid=16121 vsize=8018840 memory=140358122980848 CPUtime=173.54 cores=0-7
/proc/16144/task/16160/stat : 16160 (java) R 16121 16121 14480 0 -1 1077944384 183 1178951 0 0 5 0 17081 268 20 0 17 0 420442444 8211292160 31151 33554432000 4194304 4196468 140722879151152 139992581195888 139993289489026 256 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8024064 140722879153143 140722879153302 140722879153302 140722879156175 0
[pid=16144/tid=16161] ppid=16121 vsize=0 memory=1556 CPUtime=173.72 cores=0-7
/proc/16144/task/16161/stat : 16161 (java) R 16121 16121 14480 0 -1 4195396 778 1178951 0 0 23 0 17081 268 20 0 9 0 420442444 0 0 33554432000 0 0 0 0 0 0 4 2 25189581 18446744073709551615 0 0 -1 5 0 0 0 0 0 0 0 0 0 0 0 0 0
Current children cumulated CPU time: 198.44 s
Current children cumulated vsize: 8265100 KiB
Current children cumulated memory: 126004 KiB

Child status: 0
Real time (s): 45.4095
CPU time (s): 198.465
CPU user time (s): 194.461
CPU system time (s): 4.00385
CPU usage (%): 437.057
Max. virtual memory (cumulated for all children) (KiB): 27443924
Max. memory (cumulated for all children) (KiB): 5925816

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 194.461
system time used= 4.00385
maximum resident set size= 5925020
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1235152
page faults= 0
swaps= 0
block input operations= 0
block output operations= 113864
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 37352
involuntary context switches= 1812


# summary of solver processes directly reported to runsolver:
#   pid: 16121
#   total CPU time (s): 198.465
#   total CPU user time (s): 194.461
#   total CPU system time (s): 4.00385

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.382605 second user time and 0.624077 second system time

The end

Launcher Data 

Begin job on node136 at 2019-09-14 08:17:58
IDJOB=4392668
IDBENCH=138444
IDSOLVER=2839
FILE ID=node136/4392668-1568441922
RUNJOBID= node136-1568439334-14507
PBS_JOBID= 21702333
Free space on /tmp= 61168 MiB

SOLVER NAME= Fun-sCOP hybrid+ManyGlucose (2019-06-15)
BENCH NAME= XCSP17/SuperSolutions/SuperSolutions-Taillard-os10/SuperTaillard-os-10-06.xml
COMMAND LINE= DIR/scop.sh 22g DIR/scop.jar -hybrid DIR/manyglucose-4.1-27_release -model:-nthreads=NBCORE:-maxmemory=20000:-lit-scans=6000000 TMPDIR BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4392668-1568441922/watcher-4392668-1568441922 -o /tmp/evaluation-result-4392668-1568441922/solver-4392668-1568441922 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node136-1568439334-14507 --watchdog 2580  HOME/scop.sh 22g HOME/scop.jar -hybrid HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4392668-1568441922.xml

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

MD5SUM BENCH= 6b3d88799df56964f86d557249875b85
RANDOM SEED=657906258

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        25831356 kB
MemAvailable:   31887520 kB
Buffers:           86204 kB
Cached:          6246224 kB
SwapCached:         3100 kB
Active:          2034756 kB
Inactive:        4305644 kB
Active(anon):       6432 kB
Inactive(anon):    42124 kB
Active(file):    2028324 kB
Inactive(file):  4263520 kB
Unevictable:      107800 kB
Mlocked:          107800 kB
SwapTotal:      67108860 kB
SwapFree:       67002168 kB
Dirty:             20940 kB
Writeback:             0 kB
AnonPages:         82616 kB
Mapped:            43884 kB
Shmem:             31940 kB
Slab:             189988 kB
SReclaimable:     160308 kB
SUnreclaim:        29680 kB
KernelStack:        3856 kB
PageTables:         6460 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     497988 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     36864 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      120192 kB
DirectMap2M:    33425408 kB

Free space on /tmp at the end= 61148 MiB
End job on node136 at 2019-09-14 08:18:43