Trace number 4392604

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 159.21 60.1443

General information on the benchmark

NameRandom/Random-D-t090/
rand-2-40-180-84-090-90.xml
MD5SUMb787e2fb655876ad1ad352aa15cc79d3
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 benchmark0.914535
Satisfiable
(Un)Satisfiability was proved
Number of variables40
Number of constraints84
Number of domains1
Minimum domain size180
Maximum domain size180
Distribution of domain sizes[{"size":180,"count":40}]
Minimum variable degree1
Maximum variable degree8
Distribution of variable degrees[{"degree":1,"count":2},{"degree":2,"count":8},{"degree":3,"count":6},{"degree":4,"count":5},{"degree":5,"count":8},{"degree":6,"count":6},{"degree":7,"count":4},{"degree":8,"count":1}]
Minimum constraint arity2
Maximum constraint arity2
Distribution of constraint arities[{"arity":2,"count":84}]
Number of extensional constraints84
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":84}]
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-19692-serial-file.bin HOME/instance-4392604-1568420374.xml
0.65/0.54	
0.65/0.54	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
0.65/0.54	
0.65/0.56	c BEGIN-Prog: Sat Sep 14 01:17:38 CEST 2019
0.65/0.56	c PID: 19695
0.65/0.56	c IP: 172.20.3.107
0.65/0.56	c HOST: node107.alineos.net
0.65/0.57	c (0,0) Parsing Begin
2.70/1.36	c (0,0) Parsing End
2.70/1.37	c (0,0) CSP: 40 int (0 aux), 0 bool (0 aux), 84 ctr, max domain size 180
2.70/1.37	c (0,0) Heap : 563 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB)
2.70/1.37	c (0,0) Constraint Name Generate Begin
2.70/1.38	c (0,0) Ctr:HOME/instance-4392604-1568420374.xml,ExtensionSupport:Var
2.70/1.38	c (0,0) Constraint Name Generate End
2.70/1.38	c (0,0) Heap : 563 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB)
2.70/1.38	c (0,0) CSP to CSPinCNF Begin
14.43/5.09	c (4,4) translated 9 (10%) constraints
18.24/7.79	c (7,7) translated 17 (20%) constraints
22.08/10.83	c (10,10) translated 26 (30%) constraints
24.95/13.46	c (12,12) translated 34 (40%) constraints
29.49/16.34	c (15,15) translated 42 (50%) constraints
32.31/19.19	c (18,18) translated 51 (60%) constraints
34.86/21.66	c (21,20) translated 59 (70%) constraints
37.69/24.46	c (23,23) translated 68 (80%) constraints
40.21/26.96	c (26,26) translated 76 (90%) constraints
42.79/29.49	c (28,28) translated 84 (100%) constraints
43.21/29.80	c (29,28) ===========================================
43.33/29.98	c (29,29) Hybrid: #OE=15160, #LE=0
43.33/29.98	c (29,29) Hybrid
43.33/29.98	c (29,29) ===========================================
47.99/31.31	c (30,30) translated 51534 (10%) constraints
48.98/32.22	c (31,30) translated 103068 (20%) constraints
49.89/33.13	c (32,31) translated 154601 (30%) constraints
50.81/34.04	c (33,32) translated 206135 (40%) constraints
51.70/34.95	c (34,33) translated 257668 (50%) constraints
52.60/35.86	c (35,34) translated 309202 (60%) constraints
53.50/36.77	c (36,35) translated 360736 (70%) constraints
54.40/37.68	c (37,36) translated 412269 (80%) constraints
55.30/38.59	c (38,37) translated 463803 (90%) constraints
56.37/39.51	c (38,38) translated 515336 (100%) constraints
56.37/39.51	c (38,38) CSP to CSPinCNF End
56.37/39.52	c (38,38) CSP: 40 int (0 aux), 15120 bool (15120 aux), 515336 ctr, max domain size 180
56.37/39.52	c (38,38) Heap : 2925 MiB used (max 21589 MiB), NonHeap : 27 MiB used (max 0 MiB)
56.37/39.52	c (38,38) CSPinCNF Propagation Begin
58.89/41.51	c (40,40) 0 values, 84 unsatisfiable literals, and 0 valid clauses are removed
58.89/41.51	c (40,40) CSPinCNF Propagation End
58.89/41.52	c (40,40) CSP: 40 int (0 aux), 15120 bool (15120 aux), 515336 ctr, max domain size 180
58.89/41.52	c (40,40) Heap : 5288 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB)
59.24/41.73	c (41,40) Hybrid: #OE=15160, #LE=0
59.24/41.73	c (41,40) Simplify CSPinCNF Begin
60.17/42.50	c (41,41) Simplify CSPinCNF End
60.17/42.51	c (41,41) CSP: 40 int (0 aux), 15120 bool (15120 aux), 515336 ctr, max domain size 180
60.17/42.51	c (41,41) Heap : 5731 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB)
60.17/42.51	c (41,41) Calculate Precise Domain Begin
60.17/42.51	c (41,41) 0 values are removed by re-calculation
60.17/42.51	c (41,41) Calculate Precise Domain End
60.17/42.51	c (41,41) CSP: 40 int (0 aux), 15120 bool (15120 aux), 515336 ctr, max domain size 180
60.17/42.51	c (41,41) Heap : 5731 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB)
60.17/42.51	c (41,41) CSPinCNF to SatSolver Begin
65.32/43.64	c (43,42) 51534 (10 %) CSP clauses are encoded (0 SAT variables, 58653 SAT clauses)
65.76/44.04	c (43,42) 103068 (20 %) CSP clauses are encoded (0 SAT variables, 110187 SAT clauses)
66.17/44.42	c (43,42) 154601 (30 %) CSP clauses are encoded (0 SAT variables, 161720 SAT clauses)
66.59/44.80	c (44,43) 206135 (40 %) CSP clauses are encoded (0 SAT variables, 213254 SAT clauses)
66.90/45.19	c (44,43) 257668 (50 %) CSP clauses are encoded (0 SAT variables, 264787 SAT clauses)
67.30/45.57	c (45,43) 309202 (60 %) CSP clauses are encoded (0 SAT variables, 316321 SAT clauses)
67.70/45.96	c (45,44) 360736 (70 %) CSP clauses are encoded (0 SAT variables, 367855 SAT clauses)
68.10/46.35	c (45,44) 412269 (80 %) CSP clauses are encoded (0 SAT variables, 419388 SAT clauses)
68.50/46.74	c (46,45) 463803 (90 %) CSP clauses are encoded (0 SAT variables, 470922 SAT clauses)
68.90/47.13	c (46,45) 515336 (100 %) CSP clauses are encoded (0 SAT variables, 522455 SAT clauses)
68.90/47.13	c (46,45) CSPinCNF to SatSolver End
68.90/47.13	c (46,45) Heap : 3962 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB)
68.90/47.13	c (46,45) 22280 bool, 522456 clause
68.90/47.13	c (46,45) Export Begin
69.05/47.22	c (46,45) Export to HOME/scop-19692-serial-file.bin
69.05/47.22	c (46,45) Export End
69.05/47.22	c (46,45) Export File Size: 0.01 MB
69.05/47.22	c (46,45) 0,0,38,40,41,41,46,STOP-AFTER(DIMACS)
69.05/47.22	c END-Prog: Sat Sep 14 01:18:25 CEST 2019
69.05/47.25	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-19692-serial-file.bin
69.15/47.71	c (0,0) Read Serial File Begin
69.15/47.71	c (0,0) HOME/scop-19692-serial-file.bin
69.96/48.07	c (0,0) Read Serial File End
69.96/48.08	
69.96/48.08	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
69.96/48.08	(Solving Process)
69.96/48.08	
69.96/48.10	c BEGIN-Prog: Sat Sep 14 01:18:25 CEST 2019
69.96/48.10	c PID: 19718
69.96/48.10	c IP: 172.20.3.107
69.96/48.10	c HOST: node107.alineos.net
70.11/48.11	c (0,0) SatSolver.solve Begin
70.11/48.11	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4392604-1568420374.xml-scop-19695.cnf
70.11/48.13	c (0,0) c
70.11/48.13	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)
70.11/48.13	c (0,0) c
70.11/48.14	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
70.11/48.14	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
70.11/48.14	c (0,0) c ========================================[ Problem Statistics ]===========================================
70.11/48.14	c (0,0) c |                                                                                                       |
70.32/48.29	c (0,0) c |  Number of variables:         22280                                                                   |
70.32/48.29	c (0,0) c |  Number of clauses:          522456                                                                   |
70.32/48.29	c (0,0) c |  Parse time:                   0.15 s                                                                 |
70.32/48.29	c (0,0) c |                                                                                                       |
70.32/48.59	c (0,0) c |  Simplification time:          0.29 s                                                                 |
70.32/48.59	c (0,0) c |                                                                                                       |
70.32/48.59	c (0,0) c |  Generating clones                                                                                    |
70.32/48.70	c (1,0) c |  all clones generated. Memory =   295.93Mb.                                                           |
70.32/48.70	c (1,0) c ========================================================================================================|
70.32/48.70	c (1,0) c
70.32/48.70	c (1,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
70.32/48.70	c (1,0) c
70.32/48.70	c (1,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
70.32/48.70	c (1,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
70.32/48.70	c (1,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
70.32/48.70	c (1,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
70.32/48.70	c (1,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
70.32/48.70	c (1,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
70.32/48.70	c (1,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
70.32/48.70	c (1,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
70.32/48.70	c (1,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
70.32/48.70	c (1,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
70.32/48.70	c (1,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
70.32/48.70	c (1,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
70.32/48.70	c (1,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
70.32/48.70	c (1,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
70.32/48.70	c (1,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
70.32/48.70	c (1,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
70.32/48.70	c (1,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
70.32/48.70	c (1,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
70.32/48.70	c (1,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
159.09/60.11	c (12,0) c
159.09/60.11	c (12,0) c real time : 11.9778 s
159.09/60.11	c (12,0) c cpu time  : 88.2261 s
159.09/60.11	c (12,0) c
159.09/60.11	c (12,0) c
159.09/60.11	c (12,0) c
159.09/60.11	c (12,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
159.09/60.11	c (12,0) c
159.09/60.11	c (12,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
159.09/60.11	c (12,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
159.09/60.11	c (12,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
159.09/60.11	c (12,0) c | Conflicts     |          174441 |      21717 |      22137 |      21785 |      21295 |      22425 |      21476 |      21752 |      21854 |
159.09/60.11	c (12,0) c | Decisions     |          380432 |      44418 |      49339 |      48134 |      48388 |      48447 |      47795 |      46728 |      47183 |
159.09/60.11	c (12,0) c | Propagations  |       204814270 |   26221788 |   24773596 |   25792059 |   25290149 |   26278120 |   25327018 |   25719180 |   25412360 |
159.09/60.11	c (12,0) c | ReduceDBs     |              24 |          3 |          3 |          3 |          3 |          3 |          3 |          3 |          3 |
159.09/60.11	c (12,0) c | SimpDBs       |              44 |          5 |          6 |          5 |          6 |          5 |          6 |          5 |          6 |
159.09/60.11	c (12,0) c | Restarts      |             531 |         61 |         65 |         61 |         82 |         49 |         72 |         65 |         76 |
159.09/60.11	c (12,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
159.09/60.11	c (12,0) c | PropBinClauses|       121641050 |   15350615 |   14645293 |   15380275 |   14992551 |   15830927 |   15229784 |   15365417 |   14846188 |
159.09/60.11	c (12,0) c | PropPreBlocker|      3631005427 |  459176966 |  442236859 |  456049807 |  453958118 |  453606143 |  455926158 |  454033918 |  456017458 |
159.09/60.11	c (12,0) c | PropNotBlocker|      1129493724 |  143674490 |  137938464 |  140105338 |  141222351 |  140327118 |  142643016 |  141407503 |  142175444 |
159.09/60.11	c (12,0) c | LitFullScans  |      5666192172 |  708047914 |  708128139 |  708560900 |  708677869 |  708568568 |  708062312 |  708078740 |  708067730 |
159.09/60.11	c (12,0) c | LitScanFracts |         1594746 |      32936 |     118347 |     553700 |     671023 |      55088 |      55886 |      60522 |      47244 |
159.09/60.11	c (12,0) c | DecisionLevel0|             597 |         65 |         69 |         70 |         95 |         58 |         81 |         71 |         88 |
159.09/60.11	c (12,0) c | Periods       |             944 |        118 |        118 |        118 |        118 |        118 |        118 |        118 |        118 |
159.09/60.11	c (12,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
159.09/60.11	c (12,0) c | Avg_Trail     |                 |       4413 |       4526 |       4694 |       4390 |       4978 |       4841 |       4698 |       4351 |
159.09/60.11	c (12,0) c | Avg_DL        |                 |         19 |         25 |         25 |         26 |         23 |         23 |         23 |         21 |
159.09/60.11	c (12,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
159.09/60.11	c (12,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
159.09/60.11	c (12,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
159.09/60.11	c (12,0) c | Exported      |           33087 |       4051 |       4303 |       3925 |       4410 |       4203 |       3916 |       4071 |       4208 |
159.09/60.11	c (12,0) c | Imported      |          180675 |      22555 |      22148 |      22549 |      22518 |      22820 |      22937 |      22788 |      22360 |
159.09/60.11	c (12,0) c | Good          |           11436 |       1422 |       1446 |       1430 |       1417 |       1427 |       1427 |       1436 |       1431 |
159.09/60.11	c (12,0) c | Purge         |          169239 |      21133 |      20702 |      21119 |      21101 |      21393 |      21510 |      21352 |      20929 |
159.09/60.11	c (12,0) c | Promoted      |            8301 |       1044 |       1072 |       1046 |       1109 |        940 |       1059 |       1018 |       1013 |
159.09/60.11	c (12,0) c | Remove_Imp    |            3601 |        223 |         14 |        945 |       1076 |          0 |       1199 |          0 |        144 |
159.09/60.11	c (12,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
159.09/60.11	c (12,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
159.09/60.11	c (12,0) c | Unaries       |                 |          4 |          4 |          9 |         13 |          9 |          9 |          6 |         12 |
159.09/60.11	c (12,0) c | Binaries      |                 |        247 |        220 |        255 |        288 |        283 |        272 |        252 |        273 |
159.09/60.11	c (12,0) c | Glues         |                 |       1172 |       1174 |       1210 |       1249 |       1215 |       1212 |       1070 |       1269 |
159.09/60.11	c (12,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
159.09/60.11	c (12,0) c | Orig_Seen     |            37 % |     194467 |     195076 |     194530 |     193979 |     199474 |     196263 |     194365 |     191210 |
159.09/60.11	c (12,0) c | Diff Orig seen|                 | -     5007 | -     4398 | -     4944 | -     5495 |      X     | -     3211 | -     5109 | -     8264 |
159.09/60.11	c (12,0) c | Hamming       |            19 % |       4504 |       4393 |       4454 |       4847 |      X     |       4059 |       4587 |       4092 |
159.09/60.11	c (12,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
159.09/60.11	c (12,0) c | RunningTime   |                 |   11.2 100%|   11.4 100%|   11.0 100%|   11.1 100%|   11.0 100%|   11.0 100%|   11.1 100%|   11.1 100%|
159.09/60.11	c (12,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%|
159.09/60.11	c (12,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%|
159.09/60.11	c (12,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%|
159.09/60.11	c (12,0) c | SolvingTime   |                 |   11.2     |   11.4     |   11.0     |   11.1     |   11.0     |   11.0     |   11.1     |   11.1     |
159.09/60.11	c (12,0) c | PropagationTim|                 |   10.0  89%|   10.0  87%|    9.7  88%|    9.8  88%|    9.7  88%|    9.7  88%|    9.8  88%|    9.8  88%|
159.09/60.11	c (12,0) c | AnalysisTime  |                 |    0.8   7%|    0.9   8%|    0.9   8%|    0.8   8%|    0.9   8%|    0.8   7%|    0.9   8%|    0.8   7%|
159.09/60.11	c (12,0) c | ReductionTime |                 |    0.1   0%|    0.1   1%|    0.1   1%|    0.1   1%|    0.1   1%|    0.1   1%|    0.1   1%|    0.1   1%|
159.09/60.11	c (12,0) c | SimplifyTime  |                 |    0.1   1%|    0.1   1%|    0.1   1%|    0.1   1%|    0.1   1%|    0.1   1%|    0.1   1%|    0.1   1%|
159.09/60.11	c (12,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%|
159.09/60.11	c (12,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%|
159.09/60.11	c (12,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
159.09/60.11	c (12,0) c
159.09/60.11	c (12,0) c
159.09/60.11	c (12,0) c Threads : 8
159.09/60.11	c (12,0) c Winner : 4
159.09/60.11	c (12,0) c Conflicts_0 : 21717
159.09/60.11	c (12,0) c Conflicts_1 : 22137
159.09/60.11	c (12,0) c Conflicts_2 : 21785
159.09/60.11	c (12,0) c Conflicts_3 : 21295
159.09/60.11	c (12,0) c Conflicts_4 : 22425
159.09/60.11	c (12,0) c Conflicts_5 : 21476
159.09/60.11	c (12,0) c Conflicts_6 : 21752
159.09/60.11	c (12,0) c Conflicts_7 : 21854
159.09/60.11	c (12,0) c Conflicts_total : 174441
159.09/60.11	c (12,0) c Conflicts_winner : 22425
159.09/60.11	c (12,0) c Decisions_0 : 44418
159.09/60.11	c (12,0) c Decisions_1 : 49339
159.09/60.11	c (12,0) c Decisions_2 : 48134
159.09/60.11	c (12,0) c Decisions_3 : 48388
159.09/60.11	c (12,0) c Decisions_4 : 48447
159.09/60.11	c (12,0) c Decisions_5 : 47795
159.09/60.11	c (12,0) c Decisions_6 : 46728
159.09/60.11	c (12,0) c Decisions_7 : 47183
159.09/60.11	c (12,0) c Decisions_total : 380432
159.09/60.11	c (12,0) c Decisions_winner : 48447
159.09/60.11	c (12,0) c Propagations_0 : 26221788
159.09/60.11	c (12,0) c Propagations_1 : 24773596
159.09/60.11	c (12,0) c Propagations_2 : 25792059
159.09/60.11	c (12,0) c Propagations_3 : 25290149
159.09/60.11	c (12,0) c Propagations_4 : 26278120
159.09/60.11	c (12,0) c Propagations_5 : 25327018
159.09/60.11	c (12,0) c Propagations_6 : 25719180
159.09/60.11	c (12,0) c Propagations_7 : 25412360
159.09/60.11	c (12,0) c Propagations_total : 204814270
159.09/60.11	c (12,0) c Propagations_winner : 26278120
159.09/60.11	c (12,0) c ReduceDBs_0 : 3
159.09/60.11	c (12,0) c ReduceDBs_1 : 3
159.09/60.11	c (12,0) c ReduceDBs_2 : 3
159.09/60.11	c (12,0) c ReduceDBs_3 : 3
159.09/60.11	c (12,0) c ReduceDBs_4 : 3
159.09/60.11	c (12,0) c ReduceDBs_5 : 3
159.09/60.11	c (12,0) c ReduceDBs_6 : 3
159.09/60.11	c (12,0) c ReduceDBs_7 : 3
159.09/60.11	c (12,0) c ReduceDBs_total : 24
159.09/60.11	c (12,0) c ReduceDBs_winner : 3
159.09/60.11	c (12,0) c SimpDBs_0 : 5
159.09/60.11	c (12,0) c SimpDBs_1 : 6
159.09/60.11	c (12,0) c SimpDBs_2 : 5
159.09/60.11	c (12,0) c SimpDBs_3 : 6
159.09/60.11	c (12,0) c SimpDBs_4 : 5
159.09/60.11	c (12,0) c SimpDBs_5 : 6
159.09/60.11	c (12,0) c SimpDBs_6 : 5
159.09/60.11	c (12,0) c SimpDBs_7 : 6
159.09/60.11	c (12,0) c SimpDBs_total : 44
159.09/60.11	c (12,0) c SimpDBs_winner : 5
159.09/60.11	c (12,0) c Restarts_0 : 61
159.09/60.11	c (12,0) c Restarts_1 : 65
159.09/60.11	c (12,0) c Restarts_2 : 61
159.09/60.11	c (12,0) c Restarts_3 : 82
159.09/60.11	c (12,0) c Restarts_4 : 49
159.09/60.11	c (12,0) c Restarts_5 : 72
159.09/60.11	c (12,0) c Restarts_6 : 65
159.09/60.11	c (12,0) c Restarts_7 : 76
159.09/60.11	c (12,0) c Restarts_total : 531
159.09/60.11	c (12,0) c Restarts_winner : 49
159.09/60.11	c (12,0) c ForcedImports_0 : 0
159.09/60.11	c (12,0) c ForcedImports_1 : 0
159.09/60.11	c (12,0) c ForcedImports_2 : 0
159.09/60.11	c (12,0) c ForcedImports_3 : 0
159.09/60.11	c (12,0) c ForcedImports_4 : 0
159.09/60.11	c (12,0) c ForcedImports_5 : 0
159.09/60.11	c (12,0) c ForcedImports_6 : 0
159.09/60.11	c (12,0) c ForcedImports_7 : 0
159.09/60.11	c (12,0) c ForcedImports_total : 0
159.09/60.11	c (12,0) c ForcedImports_winner : 0
159.09/60.11	c (12,0) c PropsBinClauses_0 : 15350615
159.09/60.11	c (12,0) c PropsBinClauses_1 : 14645293
159.09/60.11	c (12,0) c PropsBinClauses_2 : 15380275
159.09/60.11	c (12,0) c PropsBinClauses_3 : 14992551
159.09/60.11	c (12,0) c PropsBinClauses_4 : 15830927
159.09/60.11	c (12,0) c PropsBinClauses_5 : 15229784
159.09/60.11	c (12,0) c PropsBinClauses_6 : 15365417
159.09/60.11	c (12,0) c PropsBinClauses_7 : 14846188
159.09/60.12	c (12,0) c PropsBinClauses_total : 121641050
159.09/60.12	c (12,0) c PropsBinClauses_winner : 15830927
159.09/60.12	c (12,0) c PropsPreBlocker_0 : 459176966
159.09/60.12	c (12,0) c PropsPreBlocker_1 : 442236859
159.09/60.12	c (12,0) c PropsPreBlocker_2 : 456049807
159.09/60.12	c (12,0) c PropsPreBlocker_3 : 453958118
159.09/60.12	c (12,0) c PropsPreBlocker_4 : 453606143
159.09/60.12	c (12,0) c PropsPreBlocker_5 : 455926158
159.09/60.12	c (12,0) c PropsPreBlocker_6 : 454033918
159.09/60.12	c (12,0) c PropsPreBlocker_7 : 456017458
159.09/60.12	c (12,0) c PropsPreBlocker_total : 3631005427
159.09/60.12	c (12,0) c PropsPreBlocker_winner : 453606143
159.09/60.12	c (12,0) c PropsNotBlocker_0 : 143674490
159.09/60.12	c (12,0) c PropsNotBlocker_1 : 137938464
159.09/60.12	c (12,0) c PropsNotBlocker_2 : 140105338
159.09/60.12	c (12,0) c PropsNotBlocker_3 : 141222351
159.09/60.12	c (12,0) c PropsNotBlocker_4 : 140327118
159.09/60.12	c (12,0) c PropsNotBlocker_5 : 142643016
159.09/60.12	c (12,0) c PropsNotBlocker_6 : 141407503
159.09/60.12	c (12,0) c PropsNotBlocker_7 : 142175444
159.09/60.12	c (12,0) c PropsNotBlocker_total : 1129493724
159.09/60.12	c (12,0) c PropsNotBlocker_winner : 140327118
159.09/60.12	c (12,0) c PropsLitFullScans_0 : 708047914
159.09/60.12	c (12,0) c PropsLitFullScans_1 : 708128139
159.09/60.12	c (12,0) c PropsLitFullScans_2 : 708560900
159.09/60.12	c (12,0) c PropsLitFullScans_3 : 708677869
159.09/60.12	c (12,0) c PropsLitFullScans_4 : 708568568
159.09/60.12	c (12,0) c PropsLitFullScans_5 : 708062312
159.09/60.12	c (12,0) c PropsLitFullScans_6 : 708078740
159.09/60.12	c (12,0) c PropsLitFullScans_7 : 708067730
159.09/60.12	c (12,0) c PropsLitFullScans_total : 5666192172
159.09/60.12	c (12,0) c PropsLitFullScans_winner : 708568568
159.09/60.12	c (12,0) c LitScanFractions_0 : 32936
159.09/60.12	c (12,0) c LitScanFractions_1 : 118347
159.09/60.12	c (12,0) c LitScanFractions_2 : 553700
159.09/60.12	c (12,0) c LitScanFractions_3 : 671023
159.09/60.12	c (12,0) c LitScanFractions_4 : 55088
159.09/60.12	c (12,0) c LitScanFractions_5 : 55886
159.09/60.12	c (12,0) c LitScanFractions_6 : 60522
159.09/60.12	c (12,0) c LitScanFractions_7 : 47244
159.09/60.12	c (12,0) c LitScanFractions_total : 1594746
159.09/60.12	c (12,0) c LitScanFractions_winner : 55088
159.09/60.12	c (12,0) c DecisionLevel0_0 : 65
159.09/60.12	c (12,0) c DecisionLevel0_1 : 69
159.09/60.12	c (12,0) c DecisionLevel0_2 : 70
159.09/60.12	c (12,0) c DecisionLevel0_3 : 95
159.09/60.12	c (12,0) c DecisionLevel0_4 : 58
159.09/60.12	c (12,0) c DecisionLevel0_5 : 81
159.09/60.12	c (12,0) c DecisionLevel0_6 : 71
159.09/60.12	c (12,0) c DecisionLevel0_7 : 88
159.09/60.12	c (12,0) c DecisionLevel0_total : 597
159.09/60.12	c (12,0) c DecisionLevel0_winner : 58
159.09/60.12	c (12,0) c Periods_0 : 118
159.09/60.12	c (12,0) c Periods_1 : 118
159.09/60.12	c (12,0) c Periods_2 : 118
159.09/60.12	c (12,0) c Periods_3 : 118
159.09/60.12	c (12,0) c Periods_4 : 118
159.09/60.12	c (12,0) c Periods_5 : 118
159.09/60.12	c (12,0) c Periods_6 : 118
159.09/60.12	c (12,0) c Periods_7 : 118
159.09/60.12	c (12,0) c Periods_total : 944
159.09/60.12	c (12,0) c Periods_winner : 118
159.09/60.12	c (12,0) c Margin_0 : 20
159.09/60.12	c (12,0) c Margin_1 : 20
159.09/60.12	c (12,0) c Margin_2 : 20
159.09/60.12	c (12,0) c Margin_3 : 20
159.09/60.12	c (12,0) c Margin_4 : 20
159.09/60.12	c (12,0) c Margin_5 : 20
159.09/60.12	c (12,0) c Margin_6 : 20
159.09/60.12	c (12,0) c Margin_7 : 20
159.09/60.12	c (12,0) c Margin_total : 160
159.09/60.12	c (12,0) c Margin_winner : 20
159.09/60.12	c (12,0) c Exported_0 : 4051
159.09/60.12	c (12,0) c Exported_1 : 4303
159.09/60.12	c (12,0) c Exported_2 : 3925
159.09/60.12	c (12,0) c Exported_3 : 4410
159.09/60.12	c (12,0) c Exported_4 : 4203
159.09/60.12	c (12,0) c Exported_5 : 3916
159.09/60.12	c (12,0) c Exported_6 : 4071
159.09/60.12	c (12,0) c Exported_7 : 4208
159.09/60.12	c (12,0) c Exported_total : 33087
159.09/60.12	c (12,0) c Exported_winner : 4203
159.09/60.12	c (12,0) c Imported_0 : 22555
159.09/60.12	c (12,0) c Imported_1 : 22148
159.09/60.12	c (12,0) c Imported_2 : 22549
159.09/60.12	c (12,0) c Imported_3 : 22518
159.09/60.12	c (12,0) c Imported_4 : 22820
159.09/60.12	c (12,0) c Imported_5 : 22937
159.09/60.12	c (12,0) c Imported_6 : 22788
159.09/60.12	c (12,0) c Imported_7 : 22360
159.09/60.12	c (12,0) c Imported_total : 180675
159.09/60.12	c (12,0) c Imported_winner : 22820
159.09/60.12	c (12,0) c Good_0 : 1422
159.09/60.12	c (12,0) c Good_1 : 1446
159.09/60.12	c (12,0) c Good_2 : 1430
159.09/60.12	c (12,0) c Good_3 : 1417
159.09/60.12	c (12,0) c Good_4 : 1427
159.09/60.12	c (12,0) c Good_5 : 1427
159.09/60.12	c (12,0) c Good_6 : 1436
159.09/60.12	c (12,0) c Good_7 : 1431
159.09/60.12	c (12,0) c Good_total : 11436
159.09/60.12	c (12,0) c Good_winner : 1427
159.09/60.12	c (12,0) c Purge_0 : 21133
159.09/60.12	c (12,0) c Purge_1 : 20702
159.09/60.12	c (12,0) c Purge_2 : 21119
159.09/60.12	c (12,0) c Purge_3 : 21101
159.09/60.12	c (12,0) c Purge_4 : 21393
159.09/60.12	c (12,0) c Purge_5 : 21510
159.09/60.12	c (12,0) c Purge_6 : 21352
159.09/60.12	c (12,0) c Purge_7 : 20929
159.09/60.12	c (12,0) c Purge_total : 169239
159.09/60.12	c (12,0) c Purge_winner : 21393
159.09/60.12	c (12,0) c Promoted_0 : 1044
159.09/60.12	c (12,0) c Promoted_1 : 1072
159.09/60.12	c (12,0) c Promoted_2 : 1046
159.09/60.12	c (12,0) c Promoted_3 : 1109
159.09/60.12	c (12,0) c Promoted_4 : 940
159.09/60.12	c (12,0) c Promoted_5 : 1059
159.09/60.12	c (12,0) c Promoted_6 : 1018
159.09/60.12	c (12,0) c Promoted_7 : 1013
159.09/60.12	c (12,0) c Promoted_total : 8301
159.09/60.12	c (12,0) c Promoted_winner : 940
159.09/60.12	c (12,0) c Remove_Imp_0 : 223
159.09/60.12	c (12,0) c Remove_Imp_1 : 14
159.09/60.12	c (12,0) c Remove_Imp_2 : 945
159.09/60.12	c (12,0) c Remove_Imp_3 : 1076
159.09/60.12	c (12,0) c Remove_Imp_4 : 0
159.09/60.12	c (12,0) c Remove_Imp_5 : 1199
159.09/60.12	c (12,0) c Remove_Imp_6 : 0
159.09/60.12	c (12,0) c Remove_Imp_7 : 144
159.09/60.12	c (12,0) c Remove_Imp_total : 3601
159.09/60.12	c (12,0) c Remove_Imp_winner : 0
159.09/60.12	c (12,0) c Blocked_Reuse_0 : 0
159.09/60.12	c (12,0) c Blocked_Reuse_1 : 0
159.09/60.12	c (12,0) c Blocked_Reuse_2 : 0
159.09/60.12	c (12,0) c Blocked_Reuse_3 : 0
159.09/60.12	c (12,0) c Blocked_Reuse_4 : 0
159.09/60.12	c (12,0) c Blocked_Reuse_5 : 0
159.09/60.12	c (12,0) c Blocked_Reuse_6 : 0
159.09/60.12	c (12,0) c Blocked_Reuse_7 : 0
159.09/60.12	c (12,0) c Blocked_Reuse_total : 0
159.09/60.12	c (12,0) c Blocked_Reuse_winner : 0
159.09/60.12	c (12,0) c Unaries_0 : 4
159.09/60.12	c (12,0) c Unaries_1 : 4
159.09/60.12	c (12,0) c Unaries_2 : 9
159.09/60.12	c (12,0) c Unaries_3 : 13
159.09/60.12	c (12,0) c Unaries_4 : 9
159.09/60.12	c (12,0) c Unaries_5 : 9
159.09/60.12	c (12,0) c Unaries_6 : 6
159.09/60.12	c (12,0) c Unaries_7 : 12
159.09/60.12	c (12,0) c Unaries_total : 66
159.09/60.12	c (12,0) c Unaries_winner : 9
159.09/60.12	c (12,0) c Binaries_0 : 247
159.09/60.12	c (12,0) c Binaries_1 : 220
159.09/60.12	c (12,0) c Binaries_2 : 255
159.09/60.12	c (12,0) c Binaries_3 : 288
159.09/60.12	c (12,0) c Binaries_4 : 283
159.09/60.12	c (12,0) c Binaries_5 : 272
159.09/60.12	c (12,0) c Binaries_6 : 252
159.09/60.12	c (12,0) c Binaries_7 : 273
159.09/60.12	c (12,0) c Binaries_total : 2090
159.09/60.12	c (12,0) c Binaries_winner : 283
159.09/60.12	c (12,0) c Glues_0 : 1172
159.09/60.12	c (12,0) c Glues_1 : 1174
159.09/60.12	c (12,0) c Glues_2 : 1210
159.09/60.12	c (12,0) c Glues_3 : 1249
159.09/60.12	c (12,0) c Glues_4 : 1215
159.09/60.12	c (12,0) c Glues_5 : 1212
159.09/60.12	c (12,0) c Glues_6 : 1070
159.09/60.12	c (12,0) c Glues_7 : 1269
159.09/60.12	c (12,0) c Glues_total : 9571
159.09/60.12	c (12,0) c Glues_winner : 1215
159.09/60.12	c (12,0) c RunningTime_0 : 11.230892
159.09/60.12	c (12,0) c RunningTime_1 : 11.373821
159.09/60.12	c (12,0) c RunningTime_2 : 11.012307
159.09/60.12	c (12,0) c RunningTime_3 : 11.056587
159.09/60.12	c (12,0) c RunningTime_4 : 11.012731
159.09/60.12	c (12,0) c RunningTime_5 : 11.012542
159.09/60.12	c (12,0) c RunningTime_6 : 11.058518
159.09/60.12	c (12,0) c RunningTime_7 : 11.072880
159.09/60.12	c (12,0) c RunningTime_total : 88.830278
159.09/60.12	c (12,0) c RunningTime_winner : 11.012731
159.09/60.12	c (12,0) c WaitingTime_0 : 0.000155
159.09/60.12	c (12,0) c WaitingTime_1 : 0.000119
159.09/60.12	c (12,0) c WaitingTime_2 : 0.000164
159.09/60.12	c (12,0) c WaitingTime_3 : 0.000150
159.09/60.12	c (12,0) c WaitingTime_4 : 0.000154
159.09/60.12	c (12,0) c WaitingTime_5 : 0.000172
159.09/60.12	c (12,0) c WaitingTime_6 : 0.000160
159.09/60.12	c (12,0) c WaitingTime_7 : 0.000167
159.09/60.12	c (12,0) c WaitingTime_total : 0.001241
159.09/60.12	c (12,0) c WaitingTime_winner : 0.000154
159.09/60.12	c (12,0) c ExchangingTime_0 : 0.017153
159.09/60.12	c (12,0) c ExchangingTime_1 : 0.025475
159.09/60.12	c (12,0) c ExchangingTime_2 : 0.017376
159.09/60.12	c (12,0) c ExchangingTime_3 : 0.016677
159.09/60.12	c (12,0) c ExchangingTime_4 : 0.017034
159.09/60.12	c (12,0) c ExchangingTime_5 : 0.024842
159.09/60.12	c (12,0) c ExchangingTime_6 : 0.030946
159.09/60.12	c (12,0) c ExchangingTime_7 : 0.018210
159.09/60.12	c (12,0) c ExchangingTime_total : 0.167713
159.09/60.12	c (12,0) c ExchangingTime_winner : 0.017034
159.09/60.12	c (12,0) c PeriodProcTime_0 : 0.000986
159.09/60.12	c (12,0) c PeriodProcTime_1 : 0.000834
159.09/60.12	c (12,0) c PeriodProcTime_2 : 0.001022
159.09/60.12	c (12,0) c PeriodProcTime_3 : 0.000866
159.09/60.12	c (12,0) c PeriodProcTime_4 : 0.000996
159.09/60.12	c (12,0) c PeriodProcTime_5 : 0.000820
159.09/60.12	c (12,0) c PeriodProcTime_6 : 0.000838
159.09/60.12	c (12,0) c PeriodProcTime_7 : 0.001127
159.09/60.12	c (12,0) c PeriodProcTime_total : 0.007489
159.09/60.12	c (12,0) c PeriodProcTime_winner : 0.000996
159.09/60.12	c (12,0) c SolvingTime_0 : 11.249187
159.09/60.12	c (12,0) c SolvingTime_1 : 11.400248
159.09/60.12	c (12,0) c SolvingTime_2 : 11.030868
159.09/60.12	c (12,0) c SolvingTime_3 : 11.074279
159.09/60.12	c (12,0) c SolvingTime_4 : 11.030916
159.09/60.12	c (12,0) c SolvingTime_5 : 11.038376
159.09/60.12	c (12,0) c SolvingTime_6 : 11.090461
159.09/60.12	c (12,0) c SolvingTime_7 : 11.092385
159.09/60.12	c (12,0) c SolvingTime_total : 89.006721
159.09/60.12	c (12,0) c SolvingTime_winner : 11.030916
159.09/60.12	c (12,0) c PropagationTime_0 : 9.997674
159.09/60.12	c (12,0) c PropagationTime_1 : 9.964804
159.09/60.12	c (12,0) c PropagationTime_2 : 9.670901
159.09/60.12	c (12,0) c PropagationTime_3 : 9.761287
159.09/60.12	c (12,0) c PropagationTime_4 : 9.658813
159.09/60.12	c (12,0) c PropagationTime_5 : 9.710373
159.09/60.12	c (12,0) c PropagationTime_6 : 9.760667
159.09/60.12	c (12,0) c PropagationTime_7 : 9.792993
159.09/60.12	c (12,0) c PropagationTime_total : 78.317513
159.09/60.12	c (12,0) c PropagationTime_winner : 9.658813
159.09/60.12	c (12,0) c AnalysisTime_0 : 0.802082
159.09/60.12	c (12,0) c AnalysisTime_1 : 0.932612
159.09/60.12	c (12,0) c AnalysisTime_2 : 0.887290
159.09/60.12	c (12,0) c AnalysisTime_3 : 0.834019
159.09/60.12	c (12,0) c AnalysisTime_4 : 0.890783
159.09/60.12	c (12,0) c AnalysisTime_5 : 0.827561
159.09/60.12	c (12,0) c AnalysisTime_6 : 0.853739
159.09/60.12	c (12,0) c AnalysisTime_7 : 0.822173
159.09/60.12	c (12,0) c AnalysisTime_total : 6.850258
159.09/60.12	c (12,0) c AnalysisTime_winner : 0.890783
159.09/60.12	c (12,0) c ReductionTime_0 : 0.055674
159.09/60.12	c (12,0) c ReductionTime_1 : 0.064692
159.09/60.12	c (12,0) c ReductionTime_2 : 0.057293
159.09/60.12	c (12,0) c ReductionTime_3 : 0.060068
159.09/60.12	c (12,0) c ReductionTime_4 : 0.057873
159.09/60.12	c (12,0) c ReductionTime_5 : 0.058962
159.09/60.12	c (12,0) c ReductionTime_6 : 0.057900
159.09/60.12	c (12,0) c ReductionTime_7 : 0.058700
159.09/60.12	c (12,0) c ReductionTime_total : 0.471161
159.09/60.12	c (12,0) c ReductionTime_winner : 0.057873
159.09/60.12	c (12,0) c SimplifyTime_0 : 0.064219
159.09/60.12	c (12,0) c SimplifyTime_1 : 0.089086
159.09/60.12	c (12,0) c SimplifyTime_2 : 0.060708
159.09/60.12	c (12,0) c SimplifyTime_3 : 0.089518
159.09/60.12	c (12,0) c SimplifyTime_4 : 0.068834
159.09/60.12	c (12,0) c SimplifyTime_5 : 0.088906
159.09/60.12	c (12,0) c SimplifyTime_6 : 0.070417
159.09/60.12	c (12,0) c SimplifyTime_7 : 0.086536
159.09/60.12	c (12,0) c SimplifyTime_total : 0.618224
159.09/60.12	c (12,0) c SimplifyTime_winner : 0.068834
159.09/60.12	c (12,0) c UsedRateTime_0 : 0.000000
159.09/60.12	c (12,0) c UsedRateTime_1 : 0.000000
159.09/60.12	c (12,0) c UsedRateTime_2 : 0.000000
159.09/60.12	c (12,0) c UsedRateTime_3 : 0.000000
159.09/60.12	c (12,0) c UsedRateTime_4 : 0.000000
159.09/60.12	c (12,0) c UsedRateTime_5 : 0.000000
159.09/60.12	c (12,0) c UsedRateTime_6 : 0.000000
159.09/60.12	c (12,0) c UsedRateTime_7 : 0.000000
159.09/60.12	c (12,0) c UsedRateTime_total : 0.000000
159.09/60.12	c (12,0) c UsedRateTime_winner : 0.000000
159.09/60.12	c (12,0) c OverlapRateTime_0 : 0.000000
159.09/60.12	c (12,0) c OverlapRateTime_1 : 0.000000
159.09/60.12	c (12,0) c OverlapRateTime_2 : 0.000000
159.09/60.12	c (12,0) c OverlapRateTime_3 : 0.000000
159.09/60.12	c (12,0) c OverlapRateTime_4 : 0.000000
159.09/60.12	c (12,0) c OverlapRateTime_5 : 0.000000
159.09/60.12	c (12,0) c OverlapRateTime_6 : 0.000000
159.09/60.12	c (12,0) c OverlapRateTime_7 : 0.000000
159.09/60.12	c (12,0) c OverlapRateTime_total : 0.000000
159.09/60.12	c (12,0) c OverlapRateTime_winner : 0.000000
159.09/60.12	c (12,0) c
159.09/60.12	c (12,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
159.09/60.12	c (12,0) c
159.09/60.12	c (12,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
159.09/60.12	c (12,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
159.09/60.12	c (12,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
159.09/60.12	c (12,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
159.09/60.12	c (12,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
159.09/60.12	c (12,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
159.09/60.12	c (12,0) c | Initial random_seed   | 1571603568 |  862053678 | 1594908935 | 1446645107 | 1675950023 | 1136861433 |  507956806 | 1378105599 |
159.09/60.12	c (12,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
159.09/60.12	c (12,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
159.09/60.12	c (12,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
159.09/60.12	c (12,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
159.09/60.12	c (12,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
159.09/60.12	c (12,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
159.09/60.12	c (12,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
159.09/60.12	c (12,0) c | var_decay             |     0.8400 |     0.8400 |     0.8400 |     0.8400 |     0.8400 |     0.8400 |     0.8400 |     0.8400 |
159.09/60.12	c (12,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
159.09/60.12	c (12,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
159.09/60.12	c (12,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
159.09/60.12	c (12,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
159.09/60.12	c (12,0) 
159.09/60.13	c (12,0) s UNSATISFIABLE
159.09/60.13	c (12,0) SatSolver.solve End
159.09/60.13	c (12,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
159.09/60.13	c (12,0) Show results Begin
159.09/60.13	s UNSATISFIABLE
159.09/60.13	c (12,0) Show results End
159.09/60.13	c (12,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
159.09/60.13	c (12,0) 12,12,STOP-AFTER(ALL)
159.09/60.13	c END-Prog: Sat Sep 14 01:18:37 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 (14966 MiB free)
  memory of node 1: 16384 MiB (15382 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4392604-1568420374/watcher-4392604-1568420374 -o /tmp/evaluation-result-4392604-1568420374/solver-4392604-1568420374 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node107-1568413377-19188 --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-4392604-1568420374.xml 

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

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

solver pid=19692, runsolver pid=19689

[startup+0.100142 s]*
/proc/loadavg: 8.17 8.13 7.85 3/210 19714
/proc/meminfo: memFree=30980580/32770624 swapFree=66922776/67108860
[pid=19692] ppid=19689 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/19692/stat : 19692 (scop.sh) S 19689 19692 19161 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 418293397 115843072 349 33554432000 4194304 5098028 140733789144832 140733789142088 140397261865596 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 13557760 140733789152036 140733789152364 140733789152364 140733789155277 0
/proc/19692/statm: 28282 349 296 221 0 87 0
[pid=19695] ppid=19692 vsize=27314120 memory=107624 CPUtime=0.11 cores=0-7
/proc/19695/stat : 19695 (java) S 19692 19692 19161 0 -1 1077944320 6483 0 0 0 8 3 0 0 20 0 20 0 418293397 27969658880 26906 33554432000 4194304 4196468 140724795330992 140724795313536 140556548374263 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 29171712 140724795335402 140724795335830 140724795335830 140724795338703 0
/proc/19695/statm: 6828530 26906 2797 1 0 6790935 0
[pid=19695/tid=19696] ppid=19692 vsize=27314120 memory=576460756329955445 CPUtime=0.08 cores=0-7
/proc/19695/task/19696/stat : 19696 (java) R 19692 19692 19161 0 -1 4202560 4570 0 0 0 6 2 0 0 20 0 20 0 418293397 27969658880 26906 33554432000 4194304 4196468 140724795330992 140556520187504 140556548396189 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29171712 140724795335402 140724795335830 140724795335830 140724795338703 0
[pid=19695/tid=19697] ppid=19692 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19695/task/19697/stat : 19697 (java) S 19692 19692 19161 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418293400 27969658880 26906 33554432000 4194304 4196468 140724795330992 140556552616208 140556548384469 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29171712 140724795335402 140724795335830 140724795335830 140724795338703 0
[pid=19695/tid=19698] ppid=19692 vsize=27314120 memory=4049776519866504864 CPUtime=0 cores=0-7
/proc/19695/task/19698/stat : 19698 (java) S 19692 19692 19161 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418293400 27969658880 26906 33554432000 4194304 4196468 140724795330992 140556366772624 140556548384469 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29171712 140724795335402 140724795335830 140724795335830 140724795338703 0
[pid=19695/tid=19699] ppid=19692 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19695/task/19699/stat : 19699 (java) S 19692 19692 19161 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418293400 27969658880 26906 33554432000 4194304 4196468 140724795330992 140556365720080 140556548384469 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29171712 140724795335402 140724795335830 140724795335830 140724795338703 0
[pid=19695/tid=19700] ppid=19692 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19695/task/19700/stat : 19700 (java) S 19692 19692 19161 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418293400 27969658880 26906 33554432000 4194304 4196468 140724795330992 140556364667536 140556548384469 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29171712 140724795335402 140724795335830 140724795335830 140724795338703 0
[pid=19695/tid=19701] ppid=19692 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19695/task/19701/stat : 19701 (java) S 19692 19692 19161 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418293400 27969658880 26906 33554432000 4194304 4196468 140724795330992 140556363614992 140556548384469 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29171712 140724795335402 140724795335830 140724795335830 140724795338703 0
[pid=19695/tid=19702] ppid=19692 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/19695/task/19702/stat : 19702 (java) S 19692 19692 19161 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418293400 27969658880 26906 33554432000 4194304 4196468 140724795330992 140555965856656 140556548384469 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29171712 140724795335402 140724795335830 140724795335830 140724795338703 0
[pid=19695/tid=19703] ppid=19692 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19695/task/19703/stat : 19703 (java) S 19692 19692 19161 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418293400 27969658880 26906 33554432000 4194304 4196468 140724795330992 140555964804112 140556548384469 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29171712 140724795335402 140724795335830 140724795335830 140724795338703 0
[pid=19695/tid=19704] ppid=19692 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19695/task/19704/stat : 19704 (java) S 19692 19692 19161 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418293400 27969658880 26906 33554432000 4194304 4196468 140724795330992 140555963751568 140556548384469 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29171712 140724795335402 140724795335830 140724795335830 140724795338703 0
[pid=19695/tid=19705] ppid=19692 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19695/task/19705/stat : 19705 (java) S 19692 19692 19161 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418293401 27969658880 26906 33554432000 4194304 4196468 140724795330992 140554868287472 140556548385410 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29171712 140724795335402 140724795335830 140724795335830 140724795338703 0
[pid=19695/tid=19706] ppid=19692 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19695/task/19706/stat : 19706 (java) S 19692 19692 19161 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 418293402 27969658880 26906 33554432000 4194304 4196468 140724795330992 140554482475936 140556548384469 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29171712 140724795335402 140724795335830 140724795335830 140724795338703 0
[pid=19695/tid=19707] ppid=19692 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19695/task/19707/stat : 19707 (java) S 19692 19692 19161 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418293402 27969658880 26906 33554432000 4194304 4196468 140724795330992 140554214040560 140556548384469 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29171712 140724795335402 140724795335830 140724795335830 140724795338703 0
[pid=19695/tid=19708] ppid=19692 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19695/task/19708/stat : 19708 (java) S 19692 19692 19161 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418293404 27969658880 26906 33554432000 4194304 4196468 140724795330992 140553839532240 140556548392859 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29171712 140724795335402 140724795335830 140724795335830 140724795338703 0
[pid=19695/tid=19709] ppid=19692 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19695/task/19709/stat : 19709 (java) S 19692 19692 19161 0 -1 1077944384 304 0 0 0 0 0 0 0 20 0 20 0 418293404 27969658880 26906 33554432000 4194304 4196468 140724795330992 140554867235312 140556548385410 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29171712 140724795335402 140724795335830 140724795335830 140724795338703 0
[pid=19695/tid=19710] ppid=19692 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19695/task/19710/stat : 19710 (java) S 19692 19692 19161 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418293404 27969658880 26906 33554432000 4194304 4196468 140724795330992 140554866182768 140556548385410 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29171712 140724795335402 140724795335830 140724795335830 140724795338703 0
[pid=19695/tid=19711] ppid=19692 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19695/task/19711/stat : 19711 (java) S 19692 19692 19161 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 418293405 27969658880 26906 33554432000 4194304 4196468 140724795330992 140554865130224 140556548385410 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29171712 140724795335402 140724795335830 140724795335830 140724795338703 0
[pid=19695/tid=19712] ppid=19692 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19695/task/19712/stat : 19712 (java) S 19692 19692 19161 0 -1 1077944384 262 0 0 0 0 0 0 0 20 0 20 0 418293405 27969658880 26906 33554432000 4194304 4196468 140724795330992 140554864077680 140556548385410 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29171712 140724795335402 140724795335830 140724795335830 140724795338703 0
[pid=19695/tid=19713] ppid=19692 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19695/task/19713/stat : 19713 (java) S 19692 19692 19161 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418293405 27969658880 26906 33554432000 4194304 4196468 140724795330992 140553341626592 140556548384469 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29171712 140724795335402 140724795335830 140724795335830 140724795338703 0
[pid=19695/tid=19714] ppid=19692 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/19695/task/19714/stat : 19714 (java) S 19692 19692 19161 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418293405 27969658880 26906 33554432000 4194304 4196468 140724795330992 140554863024560 140556548385410 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29171712 140724795335402 140724795335830 140724795335830 140724795338703 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 109020 KiB

[startup+0.210314 s]*
/proc/loadavg: 8.17 8.13 7.85 3/210 19714
/proc/meminfo: memFree=30958516/32770624 swapFree=66922776/67108860
[pid=19692] ppid=19689 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/19692/stat : 19692 (scop.sh) S 19689 19692 19161 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 418293397 115843072 349 33554432000 4194304 5098028 140733789144832 140733789142088 140397261865596 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 13557760 140733789152036 140733789152364 140733789152364 140733789155277 0
/proc/19692/statm: 28282 349 296 221 0 87 0
[pid=19695] ppid=19692 vsize=27314120 memory=126724 CPUtime=0.24 cores=0-7
/proc/19695/stat : 19695 (java) S 19692 19692 19161 0 -1 1077944320 12088 0 0 0 20 4 0 0 20 0 20 0 418293397 27969658880 31681 33554432000 4194304 4196468 140724795330992 140724795313536 140556548374263 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 29171712 140724795335402 140724795335830 140724795335830 140724795338703 0
/proc/19695/statm: 6828530 31681 2941 1 0 6790935 0
[pid=19695/tid=19696] ppid=19692 vsize=27314120 memory=8316850467074736180 CPUtime=0.19 cores=0-7
/proc/19695/task/19696/stat : 19696 (java) R 19692 19692 19161 0 -1 4202560 9804 0 0 0 16 3 0 0 20 0 20 0 418293397 27969658880 31681 33554432000 4194304 4196468 140724795330992 140556520181632 140556528650023 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29171712 140724795335402 140724795335830 140724795335830 140724795338703 0
[pid=19695/tid=19697] ppid=19692 vsize=27314120 memory=10923 CPUtime=0 cores=0-7
/proc/19695/task/19697/stat : 19697 (java) S 19692 19692 19161 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418293400 27969658880 31681 33554432000 4194304 4196468 140724795330992 140556552616208 140556548384469 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29171712 140724795335402 140724795335830 140724795335830 140724795338703 0
[pid=19695/tid=19698] ppid=19692 vsize=27314120 memory=139717794696418 CPUtime=0 cores=0-7
/proc/19695/task/19698/stat : 19698 (java) S 19692 19692 19161 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418293400 27969658880 31681 33554432000 4194304 4196468 140724795330992 140556366772624 140556548384469 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29171712 140724795335402 140724795335830 140724795335830 140724795338703 0
[pid=19695/tid=19699] ppid=19692 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/19695/task/19699/stat : 19699 (java) S 19692 19692 19161 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418293400 27969658880 31681 33554432000 4194304 4196468 140724795330992 140556365720080 140556548384469 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29171712 140724795335402 140724795335830 140724795335830 140724795338703 0
[pid=19695/tid=19700] ppid=19692 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19695/task/19700/stat : 19700 (java) S 19692 19692 19161 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418293400 27969658880 31681 33554432000 4194304 4196468 140724795330992 140556364667536 140556548384469 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29171712 140724795335402 140724795335830 140724795335830 140724795338703 0
[pid=19695/tid=19701] ppid=19692 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19695/task/19701/stat : 19701 (java) S 19692 19692 19161 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418293400 27969658880 31681 33554432000 4194304 4196468 140724795330992 140556363614992 140556548384469 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29171712 140724795335402 140724795335830 140724795335830 140724795338703 0
[pid=19695/tid=19702] ppid=19692 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/19695/task/19702/stat : 19702 (java) S 19692 19692 19161 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418293400 27969658880 31681 33554432000 4194304 4196468 140724795330992 140555965856656 140556548384469 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29171712 140724795335402 140724795335830 140724795335830 140724795338703 0
[pid=19695/tid=19703] ppid=19692 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19695/task/19703/stat : 19703 (java) S 19692 19692 19161 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418293400 27969658880 31681 33554432000 4194304 4196468 140724795330992 140555964804112 140556548384469 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29171712 140724795335402 140724795335830 140724795335830 140724795338703 0
[pid=19695/tid=19704] ppid=19692 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19695/task/19704/stat : 19704 (java) S 19692 19692 19161 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418293400 27969658880 31681 33554432000 4194304 4196468 140724795330992 140555963751568 140556548384469 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29171712 140724795335402 140724795335830 140724795335830 140724795338703 0
[pid=19695/tid=19705] ppid=19692 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19695/task/19705/stat : 19705 (java) S 19692 19692 19161 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418293401 27969658880 31681 33554432000 4194304 4196468 140724795330992 140554868287472 140556548385410 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29171712 140724795335402 140724795335830 140724795335830 140724795338703 0
[pid=19695/tid=19706] ppid=19692 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19695/task/19706/stat : 19706 (java) S 19692 19692 19161 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 418293402 27969658880 31681 33554432000 4194304 4196468 140724795330992 140554482475936 140556548384469 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29171712 140724795335402 140724795335830 140724795335830 140724795338703 0
[pid=19695/tid=19707] ppid=19692 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19695/task/19707/stat : 19707 (java) S 19692 19692 19161 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418293402 27969658880 31681 33554432000 4194304 4196468 140724795330992 140554214040560 140556548384469 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29171712 140724795335402 140724795335830 140724795335830 140724795338703 0
[pid=19695/tid=19708] ppid=19692 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19695/task/19708/stat : 19708 (java) S 19692 19692 19161 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418293404 27969658880 31681 33554432000 4194304 4196468 140724795330992 140553839532240 140556548392859 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29171712 140724795335402 140724795335830 140724795335830 140724795338703 0
[pid=19695/tid=19709] ppid=19692 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19695/task/19709/stat : 19709 (java) S 19692 19692 19161 0 -1 1077944384 304 0 0 0 0 0 0 0 20 0 20 0 418293404 27969658880 31681 33554432000 4194304 4196468 140724795330992 140554867235312 140556548385410 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29171712 140724795335402 140724795335830 140724795335830 140724795338703 0
[pid=19695/tid=19710] ppid=19692 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19695/task/19710/stat : 19710 (java) S 19692 19692 19161 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 20 0 418293404 27969658880 31681 33554432000 4194304 4196468 140724795330992 140554866182768 140556548385410 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29171712 140724795335402 140724795335830 140724795335830 140724795338703 0
[pid=19695/tid=19711] ppid=19692 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/19695/task/19711/stat : 19711 (java) S 19692 19692 19161 0 -1 1077944384 145 0 0 0 0 0 0 0 20 0 20 0 418293405 27969658880 31681 33554432000 4194304 4196468 140724795330992 140554865130224 140556548385410 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29171712 140724795335402 140724795335830 140724795335830 140724795338703 0
[pid=19695/tid=19712] ppid=19692 vsize=27314120 memory=-1 CPUtime=0.02 cores=0-7
/proc/19695/task/19712/stat : 19712 (java) S 19692 19692 19161 0 -1 1077944384 454 0 0 0 2 0 0 0 20 0 20 0 418293405 27969658880 31681 33554432000 4194304 4196468 140724795330992 140554864077680 140556548385410 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29171712 140724795335402 140724795335830 140724795335830 140724795338703 0
[pid=19695/tid=19713] ppid=19692 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19695/task/19713/stat : 19713 (java) S 19692 19692 19161 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418293405 27969658880 31681 33554432000 4194304 4196468 140724795330992 140553341626592 140556548384469 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29171712 140724795335402 140724795335830 140724795335830 140724795338703 0
[pid=19695/tid=19714] ppid=19692 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/19695/task/19714/stat : 19714 (java) S 19692 19692 19161 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418293405 27969658880 31681 33554432000 4194304 4196468 140724795330992 140554863024560 140556548385410 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29171712 140724795335402 140724795335830 140724795335830 140724795338703 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 128120 KiB

[startup+0.309546 s]*
/proc/loadavg: 8.17 8.13 7.85 2/210 19714
/proc/meminfo: memFree=30956220/32770624 swapFree=66922776/67108860
[pid=19692] ppid=19689 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/19692/stat : 19692 (scop.sh) S 19689 19692 19161 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 418293397 115843072 349 33554432000 4194304 5098028 140733789144832 140733789142088 140397261865596 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 13557760 140733789152036 140733789152364 140733789152364 140733789155277 0
/proc/19692/statm: 28282 349 296 221 0 87 0
[pid=19695] ppid=19692 vsize=27314120 memory=130592 CPUtime=0.41 cores=0-7
/proc/19695/stat : 19695 (java) S 19692 19692 19161 0 -1 1077944320 12458 0 0 0 37 4 0 0 20 0 20 0 418293397 27969658880 32648 33554432000 4194304 4196468 140724795330992 140724795313536 140556548374263 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 29171712 140724795335402 140724795335830 140724795335830 140724795338703 0
/proc/19695/statm: 6828530 32648 3055 1 0 6790935 0
[pid=19695/tid=19696] ppid=19692 vsize=27314120 memory=8317482817917895235 CPUtime=0.29 cores=0-7
/proc/19695/task/19696/stat : 19696 (java) R 19692 19692 19161 0 -1 4202560 9991 0 0 0 26 3 0 0 20 0 20 0 418293397 27969658880 32648 33554432000 4194304 4196468 140724795330992 140556520159248 140556529937807 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29171712 140724795335402 140724795335830 140724795335830 140724795338703 0
[pid=19695/tid=19697] ppid=19692 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19695/task/19697/stat : 19697 (java) S 19692 19692 19161 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418293400 27969658880 32648 33554432000 4194304 4196468 140724795330992 140556552616208 140556548384469 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29171712 140724795335402 140724795335830 140724795335830 140724795338703 0
[pid=19695/tid=19698] ppid=19692 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19695/task/19698/stat : 19698 (java) S 19692 19692 19161 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418293400 27969658880 32648 33554432000 4194304 4196468 140724795330992 140556366772624 140556548384469 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29171712 140724795335402 140724795335830 140724795335830 140724795338703 0
[pid=19695/tid=19699] ppid=19692 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19695/task/19699/stat : 19699 (java) S 19692 19692 19161 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418293400 27969658880 32648 33554432000 4194304 4196468 140724795330992 140556365720080 140556548384469 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29171712 140724795335402 140724795335830 140724795335830 140724795338703 0
[pid=19695/tid=19700] ppid=19692 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19695/task/19700/stat : 19700 (java) S 19692 19692 19161 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418293400 27969658880 32648 33554432000 4194304 4196468 140724795330992 140556364667536 140556548384469 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29171712 140724795335402 140724795335830 140724795335830 140724795338703 0
[pid=19695/tid=19701] ppid=19692 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19695/task/19701/stat : 19701 (java) S 19692 19692 19161 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418293400 27969658880 32648 33554432000 4194304 4196468 140724795330992 140556363614992 140556548384469 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29171712 140724795335402 140724795335830 140724795335830 140724795338703 0
[pid=19695/tid=19702] ppid=19692 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19695/task/19702/stat : 19702 (java) S 19692 19692 19161 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418293400 27969658880 32648 33554432000 4194304 4196468 140724795330992 140555965856656 140556548384469 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29171712 140724795335402 140724795335830 140724795335830 140724795338703 0
[pid=19695/tid=19703] ppid=19692 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19695/task/19703/stat : 19703 (java) S 19692 19692 19161 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418293400 27969658880 32648 33554432000 4194304 4196468 140724795330992 140555964804112 140556548384469 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29171712 140724795335402 140724795335830 140724795335830 140724795338703 0
[pid=19695/tid=19704] ppid=19692 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19695/task/19704/stat : 19704 (java) S 19692 19692 19161 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418293400 27969658880 32648 33554432000 4194304 4196468 140724795330992 140555963751568 140556548384469 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29171712 140724795335402 140724795335830 140724795335830 140724795338703 0
[pid=19695/tid=19705] ppid=19692 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19695/task/19705/stat : 19705 (java) S 19692 19692 19161 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418293401 27969658880 32648 33554432000 4194304 4196468 140724795330992 140554868287472 140556548385410 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29171712 140724795335402 140724795335830 140724795335830 140724795338703 0
[pid=19695/tid=19706] ppid=19692 vsize=27314120 memory=279435270102400 CPUtime=0 cores=0-7
/proc/19695/task/19706/stat : 19706 (java) S 19692 19692 19161 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 418293402 27969658880 32648 33554432000 4194304 4196468 140724795330992 140554482475936 140556548384469 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29171712 140724795335402 140724795335830 140724795335830 140724795338703 0
[pid=19695/tid=19707] ppid=19692 vsize=27314120 memory=279435270107008 CPUtime=0 cores=0-7
/proc/19695/task/19707/stat : 19707 (java) S 19692 19692 19161 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418293402 27969658880 32648 33554432000 4194304 4196468 140724795330992 140554214040560 140556548384469 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29171712 140724795335402 140724795335830 140724795335830 140724795338703 0
[pid=19695/tid=19708] ppid=19692 vsize=27314120 memory=279435270111616 CPUtime=0 cores=0-7
/proc/19695/task/19708/stat : 19708 (java) S 19692 19692 19161 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418293404 27969658880 32648 33554432000 4194304 4196468 140724795330992 140553839532240 140556548392859 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29171712 140724795335402 140724795335830 140724795335830 140724795338703 0
[pid=19695/tid=19709] ppid=19692 vsize=27314120 memory=279435270116224 CPUtime=0.01 cores=0-7
/proc/19695/task/19709/stat : 19709 (java) S 19692 19692 19161 0 -1 1077944384 348 0 0 0 1 0 0 0 20 0 20 0 418293404 27969658880 32648 33554432000 4194304 4196468 140724795330992 140554867235312 140556548385410 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29171712 140724795335402 140724795335830 140724795335830 140724795338703 0
[pid=19695/tid=19710] ppid=19692 vsize=27314120 memory=279435270120832 CPUtime=0.01 cores=0-7
/proc/19695/task/19710/stat : 19710 (java) S 19692 19692 19161 0 -1 1077944384 133 0 0 0 1 0 0 0 20 0 20 0 418293404 27969658880 32648 33554432000 4194304 4196468 140724795330992 140554866182768 140556548385410 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29171712 140724795335402 140724795335830 140724795335830 140724795338703 0
[pid=19695/tid=19711] ppid=19692 vsize=27314120 memory=279435270125440 CPUtime=0.01 cores=0-7
/proc/19695/task/19711/stat : 19711 (java) S 19692 19692 19161 0 -1 1077944384 172 0 0 0 1 0 0 0 20 0 20 0 418293405 27969658880 32648 33554432000 4194304 4196468 140724795330992 140554865130224 140556548385410 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29171712 140724795335402 140724795335830 140724795335830 140724795338703 0
[pid=19695/tid=19712] ppid=19692 vsize=27314120 memory=279435270130048 CPUtime=0.07 cores=0-7
/proc/19695/task/19712/stat : 19712 (java) S 19692 19692 19161 0 -1 1077944384 475 0 0 0 7 0 0 0 20 0 20 0 418293405 27969658880 32648 33554432000 4194304 4196468 140724795330992 140554864077680 140556548385410 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29171712 140724795335402 140724795335830 140724795335830 140724795338703 0
[pid=19695/tid=19713] ppid=19692 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19695/task/19713/stat : 19713 (java) S 19692 19692 19161 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418293405 27969658880 32648 33554432000 4194304 4196468 140724795330992 140553341626592 140556548384469 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29171712 140724795335402 140724795335830 140724795335830 140724795338703 0
[pid=19695/tid=19714] ppid=19692 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/19695/task/19714/stat : 19714 (java) S 19692 19692 19161 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418293405 27969658880 32648 33554432000 4194304 4196468 140724795330992 140554863024560 140556548385410 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29171712 140724795335402 140724795335830 140724795335830 140724795338703 0
Current children cumulated CPU time: 0.41 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 131988 KiB

[startup+0.700989 s]
/proc/loadavg: 8.17 8.13 7.85 2/210 19714
/proc/meminfo: memFree=30935012/32770624 swapFree=66922776/67108860
[pid=19692] ppid=19689 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/19692/stat : 19692 (scop.sh) S 19689 19692 19161 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 418293397 115843072 349 33554432000 4194304 5098028 140733789144832 140733789142088 140397261865596 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 13557760 140733789152036 140733789152364 140733789152364 140733789155277 0
/proc/19692/statm: 28282 349 296 221 0 87 0
[pid=19695] ppid=19692 vsize=27320392 memory=167268 CPUtime=0.99 cores=0-7
/proc/19695/stat : 19695 (java) S 19692 19692 19161 0 -1 1077944320 19881 0 0 0 92 7 0 0 20 0 20 0 418293397 27976081408 41817 33554432000 4194304 4196468 140724795330992 140724795313536 140556548374263 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 29171712 140724795335402 140724795335830 140724795335830 140724795338703 0
/proc/19695/statm: 6830098 41817 3175 1 0 6791447 0
[pid=19695/tid=19696] ppid=19692 vsize=27320392 memory=0 CPUtime=0.67 cores=0-7
/proc/19695/task/19696/stat : 19696 (java) R 19692 19692 19161 0 -1 4202560 16900 0 0 0 62 5 0 0 20 0 20 0 418293397 27976081408 41817 33554432000 4194304 4196468 140724795330992 140556520208912 140556548396189 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29171712 140724795335402 140724795335830 140724795335830 140724795338703 0
[pid=19695/tid=19697] ppid=19692 vsize=27320392 memory=139717635253120 CPUtime=0 cores=0-7
/proc/19695/task/19697/stat : 19697 (java) S 19692 19692 19161 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418293400 27976081408 41817 33554432000 4194304 4196468 140724795330992 140556552616208 140556548384469 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29171712 140724795335402 140724795335830 140724795335830 140724795338703 0
[pid=19695/tid=19698] ppid=19692 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/19695/task/19698/stat : 19698 (java) S 19692 19692 19161 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418293400 27976081408 41817 33554432000 4194304 4196468 140724795330992 140556366772624 140556548384469 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29171712 140724795335402 140724795335830 140724795335830 140724795338703 0
[pid=19695/tid=19699] ppid=19692 vsize=27320392 memory=9364 CPUtime=0 cores=0-7
/proc/19695/task/19699/stat : 19699 (java) S 19692 19692 19161 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418293400 27976081408 41817 33554432000 4194304 4196468 140724795330992 140556365720080 140556548384469 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29171712 140724795335402 140724795335830 140724795335830 140724795338703 0

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

[pid=19718/tid=19728] ppid=19692 vsize=8414124 memory=322500 CPUtime=0 cores=0-7
/proc/19718/task/19728/stat : 19728 (java) S 19692 19692 19161 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 418298126 8616062976 29548 33554432000 4194304 4196468 140724884830400 139781041240176 139781679344258 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6623232 140724884833271 140724884833430 140724884833430 140724884836303 0
[pid=19718/tid=19729] ppid=19692 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/19718/task/19729/stat : 19729 (java) S 19692 19692 19161 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 418298126 8616062976 29548 33554432000 4194304 4196468 140724884830400 139779979076384 139781679343317 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6623232 140724884833271 140724884833430 140724884833430 140724884836303 0
[pid=19718/tid=19730] ppid=19692 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/19718/task/19730/stat : 19730 (java) S 19692 19692 19161 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 418298126 8616062976 29548 33554432000 4194304 4196468 140724884830400 139779844854896 139781679343317 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6623232 140724884833271 140724884833430 140724884833430 140724884836303 0
[pid=19718/tid=19731] ppid=19692 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/19718/task/19731/stat : 19731 (java) S 19692 19692 19161 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418298129 8616062976 29548 33554432000 4194304 4196468 140724884830400 139779470350416 139781679351707 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6623232 140724884833271 140724884833430 140724884833430 140724884836303 0
[pid=19718/tid=19732] ppid=19692 vsize=8414124 memory=118192 CPUtime=0.06 cores=0-7
/proc/19718/task/19732/stat : 19732 (java) S 19692 19692 19161 0 -1 1077944384 489 0 0 0 6 0 0 0 20 0 24 0 418298129 8616062976 29548 33554432000 4194304 4196468 140724884830400 139781040188016 139781679344258 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6623232 140724884833271 140724884833430 140724884833430 140724884836303 0
[pid=19718/tid=19733] ppid=19692 vsize=8414124 memory=464512 CPUtime=0.06 cores=0-7
/proc/19718/task/19733/stat : 19733 (java) S 19692 19692 19161 0 -1 1077944384 311 0 0 0 6 0 0 0 20 0 24 0 418298129 8616062976 29548 33554432000 4194304 4196468 140724884830400 139781039135216 139781679344258 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6623232 140724884833271 140724884833430 140724884833430 140724884836303 0
[pid=19718/tid=19734] ppid=19692 vsize=8414124 memory=1984 CPUtime=0.06 cores=0-7
/proc/19718/task/19734/stat : 19734 (java) S 19692 19692 19161 0 -1 1077944384 361 0 0 0 6 0 0 0 20 0 24 0 418298129 8616062976 29548 33554432000 4194304 4196468 140724884830400 139781038082928 139781679344258 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6623232 140724884833271 140724884833430 140724884833430 140724884836303 0
[pid=19718/tid=19735] ppid=19692 vsize=8414124 memory=2552 CPUtime=0.19 cores=0-7
/proc/19718/task/19735/stat : 19735 (java) S 19692 19692 19161 0 -1 1077944384 590 0 0 0 19 0 0 0 20 0 24 0 418298129 8616062976 29548 33554432000 4194304 4196468 140724884830400 139781037030128 139781679344258 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6623232 140724884833271 140724884833430 140724884833430 140724884836303 0
[pid=19718/tid=19736] ppid=19692 vsize=8414124 memory=1760 CPUtime=0 cores=0-7
/proc/19718/task/19736/stat : 19736 (java) S 19692 19692 19161 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 418298129 8616062976 29548 33554432000 4194304 4196468 140724884830400 139778972445024 139781679343317 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6623232 140724884833271 140724884833430 140724884833430 140724884836303 0
[pid=19718/tid=19737] ppid=19692 vsize=8414124 memory=111632 CPUtime=0 cores=0-7
/proc/19718/task/19737/stat : 19737 (java) S 19692 19692 19161 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 418298129 8616062976 29548 33554432000 4194304 4196468 140724884830400 139781035977008 139781679344258 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6623232 140724884833271 140724884833430 140724884833430 140724884836303 0
[pid=19718/tid=19739] ppid=19692 vsize=8414124 memory=804 CPUtime=0 cores=0-7
/proc/19718/task/19739/stat : 19739 (java) S 19692 19692 19161 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 418298210 8616062976 29548 33554432000 4194304 4196468 140724884830400 139781027943744 139781679357721 0 4 2 25189581 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 6623232 140724884833271 140724884833430 140724884833430 140724884836303 0
[pid=19718/tid=19741] ppid=19692 vsize=8414124 memory=4100 CPUtime=0 cores=0-7
/proc/19718/task/19741/stat : 19741 (java) S 19692 19692 19161 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 24 0 418298211 8616062976 29548 33554432000 4194304 4196468 140724884830400 139778301345680 139781679355037 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 6623232 140724884833271 140724884833430 140724884833430 140724884836303 0
[pid=19718/tid=19742] ppid=19692 vsize=8414124 memory=1808 CPUtime=0 cores=0-7
/proc/19718/task/19742/stat : 19742 (java) S 19692 19692 19161 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 418298211 8616062976 29548 33554432000 4194304 4196468 140724884830400 139778569781008 139781679355037 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 6623232 140724884833271 140724884833430 140724884833430 140724884836303 0
[pid=19718/tid=19743] ppid=19692 vsize=8414124 memory=776 CPUtime=0 cores=0-7
/proc/19718/task/19743/stat : 19743 (java) S 19692 19692 19161 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 24 0 418298213 8616062976 29548 33554432000 4194304 4196468 140724884830400 139778032918320 139781679343317 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6623232 140724884833271 140724884833430 140724884833430 140724884836303 0
Current children cumulated CPU time: 157.29 s
Current children cumulated vsize: 9403104 KiB
Current children cumulated memory: 737816 KiB

[startup+60.0012 s]*
/proc/loadavg: 4.72 7.09 7.51 2/216 19751
/proc/meminfo: memFree=30336872/32770624 swapFree=66922776/67108860
[pid=19692] ppid=19689 vsize=113128 memory=1476 CPUtime=69.15 cores=0-7
/proc/19692/stat : 19692 (scop.sh) S 19689 19692 19161 0 -1 4202496 583 60847 0 0 0 0 6558 357 20 0 1 0 418293397 115843072 369 33554432000 4194304 5098028 140733789144832 140733789141576 140397261865596 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 13557760 140733789152036 140733789152364 140733789152364 140733789155277 0
/proc/19692/statm: 28282 369 311 221 0 87 0
[pid=19718] ppid=19692 vsize=8414124 memory=118192 CPUtime=1.18 cores=0-7
/proc/19718/stat : 19718 (java) S 19692 19692 19161 0 -1 1077944320 20566 0 0 0 110 8 0 0 20 0 24 0 418298122 8616062976 29548 33554432000 4194304 4196468 140724884830400 140724884812944 139781679333111 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 6623232 140724884833271 140724884833430 140724884833430 140724884836303 0
/proc/19718/statm: 2103531 29548 3201 1 0 2064875 0
[pid=19738] ppid=19718 vsize=875852 memory=622452 CPUtime=88.66 cores=0-7
/proc/19738/stat : 19738 (manyglucose-4.1) S 19718 19692 19161 0 -1 1077944320 255197 0 0 0 8812 54 0 0 20 0 2 0 418298210 896872448 155613 33554432000 4194304 4454172 140722811959232 140722811957616 140047258517239 0 4 0 8388610 18446744073709551615 0 0 17 5 0 0 0 0 0 6552832 6554400 14376960 140722811962217 140722811962416 140722811962416 140722811965370 0
/proc/19738/statm: 218963 155613 420 64 0 214631 0
[pid=19738/tid=19745] ppid=19718 vsize=875852 memory=7378981312089253969 CPUtime=11.22 cores=0-7
/proc/19738/task/19745/stat : 19745 (manyglucose-4.1) R 19718 19692 19161 0 -1 4202560 26866 0 0 0 1114 8 0 0 20 0 2 0 418298268 896872448 155613 33554432000 4194304 4454172 140722811959232 140047225506920 4351678 0 4 0 8388610 0 0 0 -1 6 0 0 0 0 0 6552832 6554400 14376960 140722811962217 140722811962416 140722811962416 140722811965370 0
[pid=19718/tid=19719] ppid=19692 vsize=8414124 memory=2832 CPUtime=0.76 cores=0-7
/proc/19718/task/19719/stat : 19719 (java) S 19692 19692 19161 0 -1 1077944384 17404 0 0 0 70 6 0 0 20 0 24 0 418298123 8616062976 29548 33554432000 4194304 4196468 140724884830400 139781651173280 139781679343317 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 14 0 0 6293624 6294260 6623232 140724884833271 140724884833430 140724884833430 140724884836303 0
[pid=19718/tid=19720] ppid=19692 vsize=8414124 memory=984 CPUtime=0 cores=0-7
/proc/19718/task/19720/stat : 19720 (java) S 19692 19692 19161 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418298124 8616062976 29548 33554432000 4194304 4196468 140724884830400 139781683575184 139781679343317 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6623232 140724884833271 140724884833430 140724884833430 140724884836303 0
[pid=19718/tid=19721] ppid=19692 vsize=8414124 memory=8317482817917895235 CPUtime=0 cores=0-7
/proc/19718/task/19721/stat : 19721 (java) S 19692 19692 19161 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418298124 8616062976 29548 33554432000 4194304 4196468 140724884830400 139781483743504 139781679343317 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6623232 140724884833271 140724884833430 140724884833430 140724884836303 0
[pid=19718/tid=19722] ppid=19692 vsize=8414124 memory=1560 CPUtime=0 cores=0-7
/proc/19718/task/19722/stat : 19722 (java) S 19692 19692 19161 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418298124 8616062976 29548 33554432000 4194304 4196468 140724884830400 139781482691216 139781679343317 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6623232 140724884833271 140724884833430 140724884833430 140724884836303 0
[pid=19718/tid=19723] ppid=19692 vsize=8414124 memory=928 CPUtime=0 cores=0-7
/proc/19718/task/19723/stat : 19723 (java) S 19692 19692 19161 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 418298124 8616062976 29548 33554432000 4194304 4196468 140724884830400 139781481638416 139781679343317 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6623232 140724884833271 140724884833430 140724884833430 140724884836303 0
[pid=19718/tid=19724] ppid=19692 vsize=8414124 memory=1680 CPUtime=0 cores=0-7
/proc/19718/task/19724/stat : 19724 (java) S 19692 19692 19161 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 418298124 8616062976 29548 33554432000 4194304 4196468 140724884830400 139781480586128 139781679343317 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6623232 140724884833271 140724884833430 140724884833430 140724884836303 0
[pid=19718/tid=19725] ppid=19692 vsize=8414124 memory=1444 CPUtime=0 cores=0-7
/proc/19718/task/19725/stat : 19725 (java) S 19692 19692 19161 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418298124 8616062976 29548 33554432000 4194304 4196468 140724884830400 139781479533328 139781679343317 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6623232 140724884833271 140724884833430 140724884833430 140724884836303 0
[pid=19718/tid=19726] ppid=19692 vsize=8414124 memory=888 CPUtime=0 cores=0-7
/proc/19718/task/19726/stat : 19726 (java) S 19692 19692 19161 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418298124 8616062976 29548 33554432000 4194304 4196468 140724884830400 139781478481040 139781679343317 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6623232 140724884833271 140724884833430 140724884833430 140724884836303 0
[pid=19718/tid=19727] ppid=19692 vsize=8414124 memory=1984 CPUtime=0 cores=0-7
/proc/19718/task/19727/stat : 19727 (java) S 19692 19692 19161 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418298124 8616062976 29548 33554432000 4194304 4196468 140724884830400 139781477428240 139781679343317 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6623232 140724884833271 140724884833430 140724884833430 140724884836303 0
[pid=19718/tid=19728] ppid=19692 vsize=8414124 memory=2552 CPUtime=0 cores=0-7
/proc/19718/task/19728/stat : 19728 (java) S 19692 19692 19161 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 418298126 8616062976 29548 33554432000 4194304 4196468 140724884830400 139781041240176 139781679344258 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6623232 140724884833271 140724884833430 140724884833430 140724884836303 0
[pid=19718/tid=19729] ppid=19692 vsize=8414124 memory=288230591722422566 CPUtime=0 cores=0-7
/proc/19718/task/19729/stat : 19729 (java) S 19692 19692 19161 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 418298126 8616062976 29548 33554432000 4194304 4196468 140724884830400 139779979076384 139781679343317 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6623232 140724884833271 140724884833430 140724884833430 140724884836303 0
[pid=19718/tid=19730] ppid=19692 vsize=8414124 memory=-8962577592309039039 CPUtime=0 cores=0-7
/proc/19718/task/19730/stat : 19730 (java) S 19692 19692 19161 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 418298126 8616062976 29548 33554432000 4194304 4196468 140724884830400 139779844854896 139781679343317 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6623232 140724884833271 140724884833430 140724884833430 140724884836303 0
[pid=19718/tid=19731] ppid=19692 vsize=8414124 memory=11164 CPUtime=0 cores=0-7
/proc/19718/task/19731/stat : 19731 (java) S 19692 19692 19161 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418298129 8616062976 29548 33554432000 4194304 4196468 140724884830400 139779470350416 139781679351707 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6623232 140724884833271 140724884833430 140724884833430 140724884836303 0
[pid=19718/tid=19732] ppid=19692 vsize=8414124 memory=2987820 CPUtime=0.06 cores=0-7
/proc/19718/task/19732/stat : 19732 (java) S 19692 19692 19161 0 -1 1077944384 489 0 0 0 6 0 0 0 20 0 24 0 418298129 8616062976 29548 33554432000 4194304 4196468 140724884830400 139781040188016 139781679344258 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6623232 140724884833271 140724884833430 140724884833430 140724884836303 0
[pid=19718/tid=19733] ppid=19692 vsize=8414124 memory=6656426216303648864 CPUtime=0.06 cores=0-7
/proc/19718/task/19733/stat : 19733 (java) S 19692 19692 19161 0 -1 1077944384 311 0 0 0 6 0 0 0 20 0 24 0 418298129 8616062976 29548 33554432000 4194304 4196468 140724884830400 139781039135216 139781679344258 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6623232 140724884833271 140724884833430 140724884833430 140724884836303 0
[pid=19718/tid=19734] ppid=19692 vsize=8414124 memory=6944656575208382560 CPUtime=0.06 cores=0-7
/proc/19718/task/19734/stat : 19734 (java) S 19692 19692 19161 0 -1 1077944384 361 0 0 0 6 0 0 0 20 0 24 0 418298129 8616062976 29548 33554432000 4194304 4196468 140724884830400 139781038082928 139781679344258 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6623232 140724884833271 140724884833430 140724884833430 140724884836303 0
[pid=19718/tid=19735] ppid=19692 vsize=8414124 memory=6944656592455360604 CPUtime=0.19 cores=0-7
/proc/19718/task/19735/stat : 19735 (java) S 19692 19692 19161 0 -1 1077944384 590 0 0 0 19 0 0 0 20 0 24 0 418298129 8616062976 29548 33554432000 4194304 4196468 140724884830400 139781037030128 139781679344258 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6623232 140724884833271 140724884833430 140724884833430 140724884836303 0
[pid=19718/tid=19736] ppid=19692 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/19718/task/19736/stat : 19736 (java) S 19692 19692 19161 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 418298129 8616062976 29548 33554432000 4194304 4196468 140724884830400 139778972445024 139781679343317 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6623232 140724884833271 140724884833430 140724884833430 140724884836303 0
[pid=19718/tid=19737] ppid=19692 vsize=8414124 memory=224291782171137 CPUtime=0 cores=0-7
/proc/19718/task/19737/stat : 19737 (java) S 19692 19692 19161 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 418298129 8616062976 29548 33554432000 4194304 4196468 140724884830400 139781035977008 139781679344258 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6623232 140724884833271 140724884833430 140724884833430 140724884836303 0
[pid=19718/tid=19739] ppid=19692 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/19718/task/19739/stat : 19739 (java) S 19692 19692 19161 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 418298210 8616062976 29548 33554432000 4194304 4196468 140724884830400 139781027943744 139781679357721 0 4 2 25189581 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 6623232 140724884833271 140724884833430 140724884833430 140724884836303 0
[pid=19718/tid=19741] ppid=19692 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/19718/task/19741/stat : 19741 (java) S 19692 19692 19161 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 24 0 418298211 8616062976 29548 33554432000 4194304 4196468 140724884830400 139778301345680 139781679355037 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 6623232 140724884833271 140724884833430 140724884833430 140724884836303 0
[pid=19718/tid=19742] ppid=19692 vsize=8414124 memory=139717636113136 CPUtime=0 cores=0-7
/proc/19718/task/19742/stat : 19742 (java) S 19692 19692 19161 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 418298211 8616062976 29548 33554432000 4194304 4196468 140724884830400 139778569781008 139781679355037 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 6623232 140724884833271 140724884833430 140724884833430 140724884836303 0
[pid=19718/tid=19743] ppid=19692 vsize=8414124 memory=6083354206233319521 CPUtime=0 cores=0-7
/proc/19718/task/19743/stat : 19743 (java) S 19692 19692 19161 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 24 0 418298213 8616062976 29548 33554432000 4194304 4196468 140724884830400 139778032918320 139781679343317 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6623232 140724884833271 140724884833430 140724884833430 140724884836303 0
Current children cumulated CPU time: 158.99 s
Current children cumulated vsize: 9403104 KiB
Current children cumulated memory: 742120 KiB

[startup+60.1102 s]
/proc/loadavg: 4.72 7.09 7.51 2/216 19751
/proc/meminfo: memFree=30336872/32770624 swapFree=66922776/67108860
[pid=19692] ppid=19689 vsize=113128 memory=1476 CPUtime=69.15 cores=0-7
/proc/19692/stat : 19692 (scop.sh) S 19689 19692 19161 0 -1 4202496 583 60847 0 0 0 0 6558 357 20 0 1 0 418293397 115843072 369 33554432000 4194304 5098028 140733789144832 140733789141576 140397261865596 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 13557760 140733789152036 140733789152364 140733789152364 140733789155277 0
/proc/19692/statm: 28282 369 311 221 0 87 0
[pid=19718] ppid=19692 vsize=8414124 memory=118192 CPUtime=1.18 cores=0-7
/proc/19718/stat : 19718 (java) S 19692 19692 19161 0 -1 1077944320 20566 0 0 0 110 8 0 0 20 0 24 0 418298122 8616062976 29548 33554432000 4194304 4196468 140724884830400 140724884812944 139781679333111 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 6623232 140724884833271 140724884833430 140724884833430 140724884836303 0
/proc/19718/statm: 2103531 29548 3201 1 0 2064875 0
[pid=19738] ppid=19718 vsize=875852 memory=622452 CPUtime=88.76 cores=0-7
/proc/19738/stat : 19738 (manyglucose-4.1) S 19718 19692 19161 0 -1 1077944320 255197 0 0 0 8822 54 0 0 20 0 2 0 418298210 896872448 155613 33554432000 4194304 4454172 140722811959232 140722811957616 140047258517239 0 4 0 8388610 18446744073709551615 0 0 17 5 0 0 0 0 0 6552832 6554400 14376960 140722811962217 140722811962416 140722811962416 140722811965370 0
/proc/19738/statm: 218963 155613 420 64 0 214631 0
[pid=19738/tid=19745] ppid=19718 vsize=875852 memory=622328 CPUtime=11.32 cores=0-7
/proc/19738/task/19745/stat : 19745 (manyglucose-4.1) R 19718 19692 19161 0 -1 4202560 26866 0 0 0 1124 8 0 0 20 0 2 0 418298268 896872448 155613 33554432000 4194304 4454172 140722811959232 140047225506920 4350933 0 4 0 8388610 0 0 0 -1 6 0 0 0 0 0 6552832 6554400 14376960 140722811962217 140722811962416 140722811962416 140722811965370 0
[pid=19718/tid=19719] ppid=19692 vsize=8414124 memory=279435270742880 CPUtime=0.76 cores=0-7
/proc/19718/task/19719/stat : 19719 (java) S 19692 19692 19161 0 -1 1077944384 17404 0 0 0 70 6 0 0 20 0 24 0 418298123 8616062976 29548 33554432000 4194304 4196468 140724884830400 139781651173280 139781679343317 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 14 0 0 6293624 6294260 6623232 140724884833271 140724884833430 140724884833430 140724884836303 0
[pid=19718/tid=19720] ppid=19692 vsize=8414124 memory=7595973234275930985 CPUtime=0 cores=0-7
/proc/19718/task/19720/stat : 19720 (java) S 19692 19692 19161 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418298124 8616062976 29548 33554432000 4194304 4196468 140724884830400 139781683575184 139781679343317 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6623232 140724884833271 140724884833430 140724884833430 140724884836303 0
[pid=19718/tid=19721] ppid=19692 vsize=8414124 memory=612004 CPUtime=0 cores=0-7
/proc/19718/task/19721/stat : 19721 (java) S 19692 19692 19161 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418298124 8616062976 29548 33554432000 4194304 4196468 140724884830400 139781483743504 139781679343317 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6623232 140724884833271 140724884833430 140724884833430 140724884836303 0
[pid=19718/tid=19722] ppid=19692 vsize=8414124 memory=3580 CPUtime=0 cores=0-7
/proc/19718/task/19722/stat : 19722 (java) S 19692 19692 19161 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418298124 8616062976 29548 33554432000 4194304 4196468 140724884830400 139781482691216 139781679343317 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6623232 140724884833271 140724884833430 140724884833430 140724884836303 0
[pid=19718/tid=19723] ppid=19692 vsize=8414124 memory=14012 CPUtime=0 cores=0-7
/proc/19718/task/19723/stat : 19723 (java) S 19692 19692 19161 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 418298124 8616062976 29548 33554432000 4194304 4196468 140724884830400 139781481638416 139781679343317 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6623232 140724884833271 140724884833430 140724884833430 140724884836303 0
[pid=19718/tid=19724] ppid=19692 vsize=8414124 memory=6748 CPUtime=0 cores=0-7
/proc/19718/task/19724/stat : 19724 (java) S 19692 19692 19161 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 418298124 8616062976 29548 33554432000 4194304 4196468 140724884830400 139781480586128 139781679343317 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6623232 140724884833271 140724884833430 140724884833430 140724884836303 0
[pid=19718/tid=19725] ppid=19692 vsize=8414124 memory=1560 CPUtime=0 cores=0-7
/proc/19718/task/19725/stat : 19725 (java) S 19692 19692 19161 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418298124 8616062976 29548 33554432000 4194304 4196468 140724884830400 139781479533328 139781679343317 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6623232 140724884833271 140724884833430 140724884833430 140724884836303 0
[pid=19718/tid=19726] ppid=19692 vsize=8414124 memory=928 CPUtime=0 cores=0-7
/proc/19718/task/19726/stat : 19726 (java) S 19692 19692 19161 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418298124 8616062976 29548 33554432000 4194304 4196468 140724884830400 139781478481040 139781679343317 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6623232 140724884833271 140724884833430 140724884833430 140724884836303 0
[pid=19718/tid=19727] ppid=19692 vsize=8414124 memory=988 CPUtime=0 cores=0-7
/proc/19718/task/19727/stat : 19727 (java) S 19692 19692 19161 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418298124 8616062976 29548 33554432000 4194304 4196468 140724884830400 139781477428240 139781679343317 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6623232 140724884833271 140724884833430 140724884833430 140724884836303 0
[pid=19718/tid=19728] ppid=19692 vsize=8414124 memory=2016 CPUtime=0 cores=0-7
/proc/19718/task/19728/stat : 19728 (java) S 19692 19692 19161 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 418298126 8616062976 29548 33554432000 4194304 4196468 140724884830400 139781041240176 139781679344258 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6623232 140724884833271 140724884833430 140724884833430 140724884836303 0
[pid=19718/tid=19729] ppid=19692 vsize=8414124 memory=466776 CPUtime=0 cores=0-7
/proc/19718/task/19729/stat : 19729 (java) S 19692 19692 19161 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 418298126 8616062976 29548 33554432000 4194304 4196468 140724884830400 139779979076384 139781679343317 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6623232 140724884833271 140724884833430 140724884833430 140724884836303 0
[pid=19718/tid=19730] ppid=19692 vsize=8414124 memory=732 CPUtime=0 cores=0-7
/proc/19718/task/19730/stat : 19730 (java) S 19692 19692 19161 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 418298126 8616062976 29548 33554432000 4194304 4196468 140724884830400 139779844854896 139781679343317 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6623232 140724884833271 140724884833430 140724884833430 140724884836303 0
[pid=19718/tid=19731] ppid=19692 vsize=8414124 memory=708 CPUtime=0 cores=0-7
/proc/19718/task/19731/stat : 19731 (java) S 19692 19692 19161 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418298129 8616062976 29548 33554432000 4194304 4196468 140724884830400 139779470350416 139781679351707 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6623232 140724884833271 140724884833430 140724884833430 140724884836303 0
[pid=19718/tid=19732] ppid=19692 vsize=8414124 memory=9364 CPUtime=0.06 cores=0-7
/proc/19718/task/19732/stat : 19732 (java) S 19692 19692 19161 0 -1 1077944384 489 0 0 0 6 0 0 0 20 0 24 0 418298129 8616062976 29548 33554432000 4194304 4196468 140724884830400 139781040188016 139781679344258 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6623232 140724884833271 140724884833430 140724884833430 140724884836303 0
[pid=19718/tid=19733] ppid=19692 vsize=8414124 memory=0 CPUtime=0.06 cores=0-7
/proc/19718/task/19733/stat : 19733 (java) S 19692 19692 19161 0 -1 1077944384 311 0 0 0 6 0 0 0 20 0 24 0 418298129 8616062976 29548 33554432000 4194304 4196468 140724884830400 139781039135216 139781679344258 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6623232 140724884833271 140724884833430 140724884833430 140724884836303 0
[pid=19718/tid=19734] ppid=19692 vsize=8414124 memory=224291782171129 CPUtime=0.06 cores=0-7
/proc/19718/task/19734/stat : 19734 (java) S 19692 19692 19161 0 -1 1077944384 361 0 0 0 6 0 0 0 20 0 24 0 418298129 8616062976 29548 33554432000 4194304 4196468 140724884830400 139781038082928 139781679344258 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6623232 140724884833271 140724884833430 140724884833430 140724884836303 0
[pid=19718/tid=19735] ppid=19692 vsize=8414124 memory=3444 CPUtime=0.19 cores=0-7
/proc/19718/task/19735/stat : 19735 (java) S 19692 19692 19161 0 -1 1077944384 590 0 0 0 19 0 0 0 20 0 24 0 418298129 8616062976 29548 33554432000 4194304 4196468 140724884830400 139781037030128 139781679344258 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6623232 140724884833271 140724884833430 140724884833430 140724884836303 0
[pid=19718/tid=19736] ppid=19692 vsize=8414124 memory=1556 CPUtime=0 cores=0-7
/proc/19718/task/19736/stat : 19736 (java) S 19692 19692 19161 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 418298129 8616062976 29548 33554432000 4194304 4196468 140724884830400 139778972445024 139781679343317 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6623232 140724884833271 140724884833430 140724884833430 140724884836303 0
[pid=19718/tid=19737] ppid=19692 vsize=8414124 memory=3580 CPUtime=0 cores=0-7
/proc/19718/task/19737/stat : 19737 (java) S 19692 19692 19161 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 418298129 8616062976 29548 33554432000 4194304 4196468 140724884830400 139781035977008 139781679344258 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6623232 140724884833271 140724884833430 140724884833430 140724884836303 0
[pid=19718/tid=19739] ppid=19692 vsize=8414124 memory=2372 CPUtime=0 cores=0-7
/proc/19718/task/19739/stat : 19739 (java) S 19692 19692 19161 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 418298210 8616062976 29548 33554432000 4194304 4196468 140724884830400 139781027943744 139781679357721 0 4 2 25189581 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 6623232 140724884833271 140724884833430 140724884833430 140724884836303 0
[pid=19718/tid=19741] ppid=19692 vsize=8414124 memory=6656426216303648864 CPUtime=0 cores=0-7
/proc/19718/task/19741/stat : 19741 (java) S 19692 19692 19161 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 24 0 418298211 8616062976 29548 33554432000 4194304 4196468 140724884830400 139778301345680 139781679355037 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 6623232 140724884833271 140724884833430 140724884833430 140724884836303 0
[pid=19718/tid=19742] ppid=19692 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/19718/task/19742/stat : 19742 (java) S 19692 19692 19161 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 418298211 8616062976 29548 33554432000 4194304 4196468 140724884830400 139778569781008 139781679355037 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 6623232 140724884833271 140724884833430 140724884833430 140724884836303 0
[pid=19718/tid=19743] ppid=19692 vsize=8414124 memory=68 CPUtime=0 cores=0-7
/proc/19718/task/19743/stat : 19743 (java) S 19692 19692 19161 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 24 0 418298213 8616062976 29548 33554432000 4194304 4196468 140724884830400 139778032918320 139781679343317 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6623232 140724884833271 140724884833430 140724884833430 140724884836303 0
Current children cumulated CPU time: 159.09 s
Current children cumulated vsize: 9403104 KiB
Current children cumulated memory: 742120 KiB

Child status: 0
Real time (s): 60.1443
CPU time (s): 159.21
CPU user time (s): 154.972
CPU system time (s): 4.23798
CPU usage (%): 264.712
Max. virtual memory (cumulated for all children) (KiB): 27443924
Max. memory (cumulated for all children) (KiB): 6796776

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 154.972
system time used= 4.23798
maximum resident set size= 6795888
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 337582
page faults= 0
swaps= 0
block input operations= 0
block output operations= 20344
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 17572
involuntary context switches= 1025


# summary of solver processes directly reported to runsolver:
#   pid: 19692
#   total CPU time (s): 159.21
#   total CPU user time (s): 154.972
#   total CPU system time (s): 4.23798

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.436385 second user time and 0.678819 second system time

The end

Launcher Data 

Begin job on node107 at 2019-09-14 01:17:37
IDJOB=4392604
IDBENCH=122716
IDSOLVER=2839
FILE ID=node107/4392604-1568420374
RUNJOBID= node107-1568413377-19188
PBS_JOBID= 21702267
Free space on /tmp= 59036 MiB

SOLVER NAME= Fun-sCOP hybrid+ManyGlucose (2019-06-15)
BENCH NAME= XCSP17/Random/Random-D-t090/rand-2-40-180-84-090-90.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-4392604-1568420374/watcher-4392604-1568420374 -o /tmp/evaluation-result-4392604-1568420374/solver-4392604-1568420374 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node107-1568413377-19188 --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-4392604-1568420374.xml

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

MD5SUM BENCH= b787e2fb655876ad1ad352aa15cc79d3
RANDOM SEED=466122556

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        31076656 kB
MemAvailable:   31832104 kB
Buffers:          169248 kB
Cached:           858572 kB
SwapCached:        79184 kB
Active:           562656 kB
Inactive:         545916 kB
Active(anon):      10568 kB
Inactive(anon):   101076 kB
Active(file):     552088 kB
Inactive(file):   444840 kB
Unevictable:      109964 kB
Mlocked:          109964 kB
SwapTotal:      67108860 kB
SwapFree:       66922776 kB
Dirty:             22676 kB
Writeback:             4 kB
AnonPages:        112012 kB
Mapped:            34696 kB
Shmem:             22508 kB
Slab:             177424 kB
SReclaimable:     148708 kB
SUnreclaim:        28716 kB
KernelStack:        3392 kB
PageTables:         5052 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     489008 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     67584 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      101760 kB
DirectMap2M:    33443840 kB

Free space on /tmp at the end= 59016 MiB
End job on node107 at 2019-09-14 01:18:38