Trace number 4392304

Some explanations

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

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

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

Solver answer on this benchmark

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

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 -order -solver HOME/manyglucose-4.1-27_release -solverOption -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 -tmp HOME -serialFile HOME/scop-16204-serial-file.bin HOME/instance-4392304-1568420350.xml
0.65/0.54	
0.65/0.54	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
0.65/0.54	
0.65/0.56	c BEGIN-Prog: Sat Sep 14 01:17:53 CEST 2019
0.65/0.56	c PID: 16207
0.65/0.56	c IP: 172.20.3.106
0.65/0.56	c HOST: node106.alineos.net
0.65/0.57	c (0,0) Parsing Begin
2.67/1.39	c (0,0) Parsing End
3.00/1.40	c (0,0) CSP: 40 int (0 aux), 0 bool (0 aux), 84 ctr, max domain size 180
3.00/1.40	c (0,0) Heap : 563 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB)
3.00/1.40	c (0,0) Constraint Name Generate Begin
3.00/1.40	c (0,0) Ctr:HOME/instance-4392304-1568420350.xml,ExtensionSupport:Var
3.00/1.40	c (0,0) Constraint Name Generate End
3.00/1.40	c (0,0) Heap : 563 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB)
3.00/1.40	c (0,0) CSP to CSPinCNF Begin
14.55/5.13	c (4,4) translated 9 (10%) constraints
17.35/7.96	c (7,7) translated 17 (20%) constraints
20.88/10.99	c (10,10) translated 26 (30%) constraints
23.69/13.61	c (13,12) translated 34 (40%) constraints
28.36/16.51	c (15,15) translated 42 (50%) constraints
31.18/19.39	c (18,18) translated 51 (60%) constraints
33.72/21.87	c (21,20) translated 59 (70%) constraints
36.55/24.66	c (24,23) translated 68 (80%) constraints
39.07/27.17	c (26,26) translated 76 (90%) constraints
41.71/29.70	c (29,28) translated 84 (100%) constraints
42.02/30.02	c (29,29) ===========================================
42.02/30.02	c (29,29) Order
42.02/30.02	c (29,29) ===========================================
46.30/31.27	c (30,29) translated 51534 (10%) constraints
47.21/32.10	c (31,30) translated 103068 (20%) constraints
48.11/32.92	c (32,31) translated 154601 (30%) constraints
48.93/33.73	c (33,32) translated 206135 (40%) constraints
49.73/34.55	c (34,33) translated 257668 (50%) constraints
50.53/35.38	c (34,34) translated 309202 (60%) constraints
51.43/36.20	c (35,34) translated 360736 (70%) constraints
52.25/37.02	c (36,35) translated 412269 (80%) constraints
53.04/37.84	c (37,36) translated 463803 (90%) constraints
53.91/38.66	c (38,37) translated 515336 (100%) constraints
53.91/38.66	c (38,37) CSP to CSPinCNF End
53.91/38.68	c (38,37) CSP: 40 int (0 aux), 15120 bool (15120 aux), 515336 ctr, max domain size 180
53.91/38.68	c (38,37) Heap : 2795 MiB used (max 21589 MiB), NonHeap : 27 MiB used (max 0 MiB)
53.91/38.68	c (38,37) CSPinCNF Propagation Begin
56.67/40.77	c (40,39) 0 values, 84 unsatisfiable literals, and 0 valid clauses are removed
56.67/40.77	c (40,39) CSPinCNF Propagation End
56.67/40.78	c (40,39) CSP: 40 int (0 aux), 15120 bool (15120 aux), 515336 ctr, max domain size 180
56.67/40.78	c (40,39) Heap : 5142 MiB used (max 21589 MiB), NonHeap : 27 MiB used (max 0 MiB)
56.67/40.78	c (40,39) Simplify CSPinCNF Begin
57.49/41.48	c (40,40) Simplify CSPinCNF End
57.49/41.48	c (40,40) CSP: 40 int (0 aux), 15120 bool (15120 aux), 515336 ctr, max domain size 180
57.49/41.48	c (40,40) Heap : 5583 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB)
57.49/41.48	c (40,40) Calculate Precise Domain Begin
57.49/41.48	c (40,40) 0 values are removed by re-calculation
57.49/41.48	c (40,40) Calculate Precise Domain End
57.49/41.49	c (40,40) CSP: 40 int (0 aux), 15120 bool (15120 aux), 515336 ctr, max domain size 180
57.49/41.49	c (40,40) Heap : 5583 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB)
57.49/41.49	c (40,40) CSPinCNF to SatSolver Begin
59.60/42.22	c (41,40) 51534 (10 %) CSP clauses are encoded (0 SAT variables, 58653 SAT clauses)
62.63/42.97	c (42,41) 103068 (20 %) CSP clauses are encoded (0 SAT variables, 110187 SAT clauses)
63.04/43.37	c (42,41) 154601 (30 %) CSP clauses are encoded (0 SAT variables, 161720 SAT clauses)
63.44/43.77	c (43,42) 206135 (40 %) CSP clauses are encoded (0 SAT variables, 213254 SAT clauses)
63.86/44.17	c (43,42) 257668 (50 %) CSP clauses are encoded (0 SAT variables, 264787 SAT clauses)
64.25/44.57	c (44,42) 309202 (60 %) CSP clauses are encoded (0 SAT variables, 316321 SAT clauses)
64.65/44.97	c (44,43) 360736 (70 %) CSP clauses are encoded (0 SAT variables, 367855 SAT clauses)
65.05/45.37	c (44,43) 412269 (80 %) CSP clauses are encoded (0 SAT variables, 419388 SAT clauses)
65.45/45.77	c (45,44) 463803 (90 %) CSP clauses are encoded (0 SAT variables, 470922 SAT clauses)
65.87/46.18	c (45,44) 515336 (100 %) CSP clauses are encoded (0 SAT variables, 522455 SAT clauses)
65.87/46.18	c (45,44) CSPinCNF to SatSolver End
65.87/46.18	c (45,44) Heap : 3837 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB)
65.87/46.18	c (45,44) 22280 bool, 522456 clause
65.87/46.18	c (45,44) Export Begin
65.97/46.27	c (45,44) Export to HOME/scop-16204-serial-file.bin
65.97/46.27	c (45,44) Export End
65.97/46.27	c (45,44) Export File Size: 0.01 MB
65.97/46.27	c (45,44) 0,0,38,40,40,40,45,STOP-AFTER(DIMACS)
65.97/46.27	c END-Prog: Sat Sep 14 01:18:39 CEST 2019
0.00/46.31	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-16204-serial-file.bin
66.15/46.77	c (0,0) Read Serial File Begin
66.15/46.77	c (0,0) HOME/scop-16204-serial-file.bin
66.15/46.98	c (0,0) Read Serial File End
66.15/47.00	
66.15/47.00	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
66.15/47.00	(Solving Process)
66.15/47.00	
67.09/47.02	c BEGIN-Prog: Sat Sep 14 01:18:40 CEST 2019
67.09/47.02	c PID: 16230
67.09/47.02	c IP: 172.20.3.106
67.09/47.02	c HOST: node106.alineos.net
67.09/47.02	c (0,0) SatSolver.solve Begin
67.09/47.02	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4392304-1568420350.xml-scop-16207.cnf
67.09/47.05	c (0,0) c
67.09/47.05	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)
67.09/47.05	c (0,0) c
67.09/47.05	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
67.09/47.05	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
67.09/47.05	c (0,0) c ========================================[ Problem Statistics ]===========================================
67.09/47.05	c (0,0) c |                                                                                                       |
67.32/47.21	c (0,0) c |  Number of variables:         22280                                                                   |
67.32/47.21	c (0,0) c |  Number of clauses:          522456                                                                   |
67.32/47.21	c (0,0) c |  Parse time:                   0.15 s                                                                 |
67.32/47.21	c (0,0) c |                                                                                                       |
67.32/47.51	c (0,0) c |  Simplification time:          0.29 s                                                                 |
67.32/47.51	c (0,0) c |                                                                                                       |
67.32/47.51	c (0,0) c |  Generating clones                                                                                    |
67.32/47.62	c (0,0) c |  all clones generated. Memory =   295.93Mb.                                                           |
67.32/47.62	c (0,0) c ========================================================================================================|
67.32/47.62	c (0,0) c
67.32/47.62	c (0,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
67.32/47.62	c (0,0) c
67.32/47.62	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
67.32/47.62	c (0,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
67.32/47.62	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
67.32/47.62	c (0,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
67.32/47.62	c (0,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
67.32/47.62	c (0,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
67.32/47.62	c (0,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
67.32/47.62	c (0,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
67.32/47.62	c (0,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
67.32/47.62	c (0,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
67.32/47.62	c (0,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
67.32/47.62	c (0,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
67.32/47.62	c (0,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
67.32/47.62	c (0,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
67.32/47.62	c (0,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
67.32/47.62	c (0,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
67.32/47.62	c (0,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
67.32/47.62	c (0,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
67.32/47.62	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
156.15/59.20	c (12,0) c
156.15/59.20	c (12,0) c real time : 12.1514 s
156.15/59.20	c (12,0) c cpu time  : 88.4056 s
156.15/59.20	c (12,0) c
156.15/59.20	c (12,0) c
156.15/59.20	c (12,0) c
156.15/59.20	c (12,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
156.15/59.20	c (12,0) c
156.15/59.20	c (12,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
156.15/59.20	c (12,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
156.15/59.20	c (12,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
156.15/59.20	c (12,0) c | Conflicts     |          174710 |      21717 |      22137 |      21785 |      21413 |      22425 |      21476 |      21888 |      21869 |
156.15/59.20	c (12,0) c | Decisions     |          380912 |      44418 |      49339 |      48134 |      48567 |      48447 |      47795 |      47002 |      47210 |
156.15/59.20	c (12,0) c | Propagations  |       205083704 |   26221788 |   24773596 |   25792059 |   25408117 |   26278120 |   25327018 |   25857518 |   25425488 |
156.15/59.20	c (12,0) c | ReduceDBs     |              24 |          3 |          3 |          3 |          3 |          3 |          3 |          3 |          3 |
156.15/59.20	c (12,0) c | SimpDBs       |              44 |          5 |          6 |          5 |          6 |          5 |          6 |          5 |          6 |
156.15/59.20	c (12,0) c | Restarts      |             531 |         61 |         65 |         61 |         82 |         49 |         72 |         65 |         76 |
156.15/59.20	c (12,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
156.15/59.20	c (12,0) c | PropBinClauses|       121807299 |   15350615 |   14645293 |   15380275 |   15077442 |   15830927 |   15229784 |   15437912 |   14855051 |
156.15/59.20	c (12,0) c | PropPreBlocker|      3636131423 |  459176966 |  442236859 |  456049807 |  456330373 |  453606143 |  455926158 |  456531364 |  456273753 |
67.33/59.20	c (12,0) c | PropNotBlocker|      1131072512 |  143674490 |  137938464 |  140105338 |  141968849 |  140327118 |  142643016 |  142170577 |  142244660 |
67.33/59.20	c (12,0) c | LitFullScans  |      5674408632 |  708047914 |  708128139 |  708560900 |  712620253 |  708568568 |  708062312 |  711978687 |  708441859 |
67.33/59.20	c (12,0) c | LitScanFracts |         1594746 |      32936 |     118347 |     553700 |     671023 |      55088 |      55886 |      60522 |      47244 |
67.33/59.20	c (12,0) c | DecisionLevel0|             603 |         65 |         69 |         70 |         97 |         58 |         81 |         75 |         88 |
67.33/59.20	c (12,0) c | Periods       |             944 |        118 |        118 |        118 |        118 |        118 |        118 |        118 |        118 |
67.33/59.20	c (12,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
67.33/59.20	c (12,0) c | Avg_Trail     |                 |       4413 |       4526 |       4694 |       4408 |       4978 |       4841 |       4697 |       4352 |
67.33/59.20	c (12,0) c | Avg_DL        |                 |         19 |         25 |         25 |         26 |         23 |         23 |         23 |         21 |
67.33/59.20	c (12,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
67.33/59.20	c (12,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
67.33/59.20	c (12,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
67.33/59.20	c (12,0) c | Exported      |           33183 |       4051 |       4303 |       3925 |       4457 |       4203 |       3916 |       4120 |       4208 |
67.33/59.20	c (12,0) c | Imported      |          181219 |      22555 |      22148 |      22549 |      22779 |      22820 |      22937 |      23071 |      22360 |
67.33/59.20	c (12,0) c | Good          |           11452 |       1422 |       1446 |       1430 |       1425 |       1427 |       1427 |       1444 |       1431 |
67.33/59.20	c (12,0) c | Purge         |          169767 |      21133 |      20702 |      21119 |      21354 |      21393 |      21510 |      21627 |      20929 |
67.33/59.20	c (12,0) c | Promoted      |            8318 |       1044 |       1072 |       1046 |       1114 |        940 |       1059 |       1030 |       1013 |
67.33/59.20	c (12,0) c | Remove_Imp    |            3601 |        223 |         14 |        945 |       1076 |          0 |       1199 |          0 |        144 |
67.33/59.20	c (12,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
67.33/59.20	c (12,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
67.33/59.20	c (12,0) c | Unaries       |                 |          4 |          4 |          9 |         15 |          9 |          9 |         10 |         12 |
67.33/59.20	c (12,0) c | Binaries      |                 |        247 |        220 |        255 |        292 |        283 |        272 |        256 |        273 |
67.33/59.20	c (12,0) c | Glues         |                 |       1172 |       1174 |       1210 |       1258 |       1215 |       1212 |       1083 |       1269 |
67.33/59.20	c (12,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
67.33/59.20	c (12,0) c | Orig_Seen     |            37 % |     194467 |     195076 |     194530 |     194385 |     199474 |     196263 |     194973 |     191278 |
67.33/59.20	c (12,0) c | Diff Orig seen|                 |         82 |        691 |        145 |      X     |       5089 |       1878 |        588 | -     3107 |
67.33/59.20	c (12,0) c | Hamming       |            19 % |       4369 |       3968 |       4543 |      X     |       4755 |       4310 |       4589 |       4303 |
67.33/59.20	c (12,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
67.33/59.20	c (12,0) c | RunningTime   |                 |   11.6 100%|   11.2 100%|   11.0 100%|   11.0 100%|   11.0 100%|   11.5 100%|   11.0 100%|   11.0 100%|
67.33/59.20	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%|
67.33/59.20	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%|
67.33/59.20	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%|
67.33/59.20	c (12,0) c | SolvingTime   |                 |   11.6     |   11.2     |   11.0     |   11.0     |   11.0     |   11.5     |   11.1     |   11.0     |
67.33/59.20	c (12,0) c | PropagationTim|                 |   10.3  89%|    9.8  87%|    9.7  88%|    9.7  88%|    9.7  88%|   10.1  88%|    9.7  88%|    9.7  88%|
67.33/59.20	c (12,0) c | AnalysisTime  |                 |    0.8   7%|    0.9   8%|    0.9   8%|    0.9   8%|    0.9   8%|    0.9   8%|    0.9   8%|    0.8   7%|
67.33/59.20	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%|
67.33/59.20	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%|
67.33/59.20	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%|
67.33/59.20	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%|
67.33/59.20	c (12,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
67.33/59.20	c (12,0) c
67.33/59.20	c (12,0) c
67.33/59.20	c (12,0) c Threads : 8
67.33/59.20	c (12,0) c Winner : 3
67.33/59.20	c (12,0) c Conflicts_0 : 21717
67.33/59.20	c (12,0) c Conflicts_1 : 22137
67.33/59.20	c (12,0) c Conflicts_2 : 21785
67.33/59.20	c (12,0) c Conflicts_3 : 21413
67.33/59.20	c (12,0) c Conflicts_4 : 22425
67.33/59.20	c (12,0) c Conflicts_5 : 21476
67.33/59.20	c (12,0) c Conflicts_6 : 21888
67.33/59.20	c (12,0) c Conflicts_7 : 21869
67.33/59.20	c (12,0) c Conflicts_total : 174710
67.33/59.20	c (12,0) c Conflicts_winner : 21413
67.33/59.20	c (12,0) c Decisions_0 : 44418
67.33/59.20	c (12,0) c Decisions_1 : 49339
67.33/59.20	c (12,0) c Decisions_2 : 48134
67.33/59.20	c (12,0) c Decisions_3 : 48567
67.33/59.20	c (12,0) c Decisions_4 : 48447
67.33/59.20	c (12,0) c Decisions_5 : 47795
67.33/59.20	c (12,0) c Decisions_6 : 47002
67.33/59.20	c (12,0) c Decisions_7 : 47210
67.33/59.20	c (12,0) c Decisions_total : 380912
67.33/59.20	c (12,0) c Decisions_winner : 48567
67.33/59.20	c (12,0) c Propagations_0 : 26221788
67.33/59.20	c (12,0) c Propagations_1 : 24773596
67.33/59.20	c (12,0) c Propagations_2 : 25792059
67.33/59.20	c (12,0) c Propagations_3 : 25408117
67.33/59.20	c (12,0) c Propagations_4 : 26278120
67.33/59.20	c (12,0) c Propagations_5 : 25327018
67.33/59.20	c (12,0) c Propagations_6 : 25857518
67.33/59.20	c (12,0) c Propagations_7 : 25425488
67.33/59.20	c (12,0) c Propagations_total : 205083704
67.33/59.20	c (12,0) c Propagations_winner : 25408117
67.33/59.20	c (12,0) c ReduceDBs_0 : 3
67.33/59.20	c (12,0) c ReduceDBs_1 : 3
67.33/59.20	c (12,0) c ReduceDBs_2 : 3
67.33/59.20	c (12,0) c ReduceDBs_3 : 3
67.33/59.20	c (12,0) c ReduceDBs_4 : 3
67.33/59.20	c (12,0) c ReduceDBs_5 : 3
67.33/59.20	c (12,0) c ReduceDBs_6 : 3
67.33/59.20	c (12,0) c ReduceDBs_7 : 3
67.33/59.20	c (12,0) c ReduceDBs_total : 24
67.33/59.20	c (12,0) c ReduceDBs_winner : 3
67.33/59.20	c (12,0) c SimpDBs_0 : 5
67.33/59.20	c (12,0) c SimpDBs_1 : 6
67.33/59.20	c (12,0) c SimpDBs_2 : 5
67.33/59.20	c (12,0) c SimpDBs_3 : 6
67.33/59.20	c (12,0) c SimpDBs_4 : 5
67.33/59.20	c (12,0) c SimpDBs_5 : 6
67.33/59.20	c (12,0) c SimpDBs_6 : 5
67.33/59.20	c (12,0) c SimpDBs_7 : 6
67.33/59.20	c (12,0) c SimpDBs_total : 44
67.33/59.20	c (12,0) c SimpDBs_winner : 6
67.33/59.20	c (12,0) c Restarts_0 : 61
67.33/59.20	c (12,0) c Restarts_1 : 65
67.33/59.20	c (12,0) c Restarts_2 : 61
67.33/59.20	c (12,0) c Restarts_3 : 82
67.33/59.20	c (12,0) c Restarts_4 : 49
67.33/59.20	c (12,0) c Restarts_5 : 72
67.33/59.20	c (12,0) c Restarts_6 : 65
67.33/59.20	c (12,0) c Restarts_7 : 76
67.33/59.20	c (12,0) c Restarts_total : 531
67.33/59.20	c (12,0) c Restarts_winner : 82
67.33/59.20	c (12,0) c ForcedImports_0 : 0
67.33/59.20	c (12,0) c ForcedImports_1 : 0
67.33/59.20	c (12,0) c ForcedImports_2 : 0
67.33/59.20	c (12,0) c ForcedImports_3 : 0
67.33/59.20	c (12,0) c ForcedImports_4 : 0
67.33/59.20	c (12,0) c ForcedImports_5 : 0
67.33/59.20	c (12,0) c ForcedImports_6 : 0
67.33/59.20	c (12,0) c ForcedImports_7 : 0
67.33/59.20	c (12,0) c ForcedImports_total : 0
67.33/59.20	c (12,0) c ForcedImports_winner : 0
67.33/59.20	c (12,0) c PropsBinClauses_0 : 15350615
67.33/59.20	c (12,0) c PropsBinClauses_1 : 14645293
67.33/59.20	c (12,0) c PropsBinClauses_2 : 15380275
67.33/59.20	c (12,0) c PropsBinClauses_3 : 15077442
67.33/59.20	c (12,0) c PropsBinClauses_4 : 15830927
67.33/59.20	c (12,0) c PropsBinClauses_5 : 15229784
67.33/59.20	c (12,0) c PropsBinClauses_6 : 15437912
67.33/59.20	c (12,0) c PropsBinClauses_7 : 14855051
67.33/59.20	c (12,0) c PropsBinClauses_total : 121807299
67.33/59.20	c (12,0) c PropsBinClauses_winner : 15077442
67.33/59.20	c (12,0) c PropsPreBlocker_0 : 459176966
67.33/59.20	c (12,0) c PropsPreBlocker_1 : 442236859
67.33/59.20	c (12,0) c PropsPreBlocker_2 : 456049807
67.33/59.20	c (12,0) c PropsPreBlocker_3 : 456330373
67.33/59.20	c (12,0) c PropsPreBlocker_4 : 453606143
67.33/59.20	c (12,0) c PropsPreBlocker_5 : 455926158
67.33/59.20	c (12,0) c PropsPreBlocker_6 : 456531364
67.33/59.20	c (12,0) c PropsPreBlocker_7 : 456273753
67.33/59.20	c (12,0) c PropsPreBlocker_total : 3636131423
67.33/59.20	c (12,0) c PropsPreBlocker_winner : 456330373
67.33/59.20	c (12,0) c PropsNotBlocker_0 : 143674490
67.33/59.20	c (12,0) c PropsNotBlocker_1 : 137938464
67.33/59.20	c (12,0) c PropsNotBlocker_2 : 140105338
67.33/59.20	c (12,0) c PropsNotBlocker_3 : 141968849
67.33/59.20	c (12,0) c PropsNotBlocker_4 : 140327118
67.33/59.20	c (12,0) c PropsNotBlocker_5 : 142643016
67.33/59.20	c (12,0) c PropsNotBlocker_6 : 142170577
67.33/59.20	c (12,0) c PropsNotBlocker_7 : 142244660
67.33/59.20	c (12,0) c PropsNotBlocker_total : 1131072512
67.33/59.20	c (12,0) c PropsNotBlocker_winner : 141968849
67.33/59.20	c (12,0) c PropsLitFullScans_0 : 708047914
67.33/59.20	c (12,0) c PropsLitFullScans_1 : 708128139
67.33/59.20	c (12,0) c PropsLitFullScans_2 : 708560900
67.33/59.20	c (12,0) c PropsLitFullScans_3 : 712620253
67.33/59.20	c (12,0) c PropsLitFullScans_4 : 708568568
67.33/59.20	c (12,0) c PropsLitFullScans_5 : 708062312
67.33/59.21	c (12,0) c PropsLitFullScans_6 : 711978687
67.33/59.21	c (12,0) c PropsLitFullScans_7 : 708441859
67.33/59.21	c (12,0) c PropsLitFullScans_total : 5674408632
67.33/59.21	c (12,0) c PropsLitFullScans_winner : 712620253
67.33/59.21	c (12,0) c LitScanFractions_0 : 32936
67.33/59.21	c (12,0) c LitScanFractions_1 : 118347
67.33/59.21	c (12,0) c LitScanFractions_2 : 553700
67.33/59.21	c (12,0) c LitScanFractions_3 : 671023
67.33/59.21	c (12,0) c LitScanFractions_4 : 55088
67.33/59.21	c (12,0) c LitScanFractions_5 : 55886
67.33/59.21	c (12,0) c LitScanFractions_6 : 60522
67.33/59.21	c (12,0) c LitScanFractions_7 : 47244
67.33/59.21	c (12,0) c LitScanFractions_total : 1594746
67.33/59.21	c (12,0) c LitScanFractions_winner : 671023
67.33/59.21	c (12,0) c DecisionLevel0_0 : 65
67.33/59.21	c (12,0) c DecisionLevel0_1 : 69
67.33/59.21	c (12,0) c DecisionLevel0_2 : 70
67.33/59.21	c (12,0) c DecisionLevel0_3 : 97
67.33/59.21	c (12,0) c DecisionLevel0_4 : 58
67.33/59.21	c (12,0) c DecisionLevel0_5 : 81
67.33/59.21	c (12,0) c DecisionLevel0_6 : 75
67.33/59.21	c (12,0) c DecisionLevel0_7 : 88
67.33/59.21	c (12,0) c DecisionLevel0_total : 603
67.33/59.21	c (12,0) c DecisionLevel0_winner : 97
67.33/59.21	c (12,0) c Periods_0 : 118
67.33/59.21	c (12,0) c Periods_1 : 118
67.33/59.21	c (12,0) c Periods_2 : 118
67.33/59.21	c (12,0) c Periods_3 : 118
67.33/59.21	c (12,0) c Periods_4 : 118
67.33/59.21	c (12,0) c Periods_5 : 118
67.33/59.21	c (12,0) c Periods_6 : 118
67.33/59.21	c (12,0) c Periods_7 : 118
67.33/59.21	c (12,0) c Periods_total : 944
67.33/59.21	c (12,0) c Periods_winner : 118
67.33/59.21	c (12,0) c Margin_0 : 20
67.33/59.21	c (12,0) c Margin_1 : 20
67.33/59.21	c (12,0) c Margin_2 : 20
67.33/59.21	c (12,0) c Margin_3 : 20
67.33/59.21	c (12,0) c Margin_4 : 20
67.33/59.21	c (12,0) c Margin_5 : 20
67.33/59.21	c (12,0) c Margin_6 : 20
67.33/59.21	c (12,0) c Margin_7 : 20
67.33/59.21	c (12,0) c Margin_total : 160
67.33/59.21	c (12,0) c Margin_winner : 20
67.33/59.21	c (12,0) c Exported_0 : 4051
67.33/59.21	c (12,0) c Exported_1 : 4303
67.33/59.21	c (12,0) c Exported_2 : 3925
67.33/59.21	c (12,0) c Exported_3 : 4457
67.33/59.21	c (12,0) c Exported_4 : 4203
67.33/59.21	c (12,0) c Exported_5 : 3916
67.33/59.21	c (12,0) c Exported_6 : 4120
67.33/59.21	c (12,0) c Exported_7 : 4208
67.33/59.21	c (12,0) c Exported_total : 33183
67.33/59.21	c (12,0) c Exported_winner : 4457
67.33/59.21	c (12,0) c Imported_0 : 22555
67.33/59.21	c (12,0) c Imported_1 : 22148
67.33/59.21	c (12,0) c Imported_2 : 22549
67.33/59.21	c (12,0) c Imported_3 : 22779
67.33/59.21	c (12,0) c Imported_4 : 22820
67.33/59.21	c (12,0) c Imported_5 : 22937
67.33/59.21	c (12,0) c Imported_6 : 23071
67.33/59.21	c (12,0) c Imported_7 : 22360
67.33/59.21	c (12,0) c Imported_total : 181219
67.33/59.21	c (12,0) c Imported_winner : 22779
67.33/59.21	c (12,0) c Good_0 : 1422
67.33/59.21	c (12,0) c Good_1 : 1446
67.33/59.21	c (12,0) c Good_2 : 1430
67.33/59.21	c (12,0) c Good_3 : 1425
67.33/59.21	c (12,0) c Good_4 : 1427
67.33/59.21	c (12,0) c Good_5 : 1427
67.33/59.21	c (12,0) c Good_6 : 1444
67.33/59.21	c (12,0) c Good_7 : 1431
67.33/59.21	c (12,0) c Good_total : 11452
67.33/59.21	c (12,0) c Good_winner : 1425
67.33/59.21	c (12,0) c Purge_0 : 21133
67.33/59.21	c (12,0) c Purge_1 : 20702
67.33/59.21	c (12,0) c Purge_2 : 21119
67.33/59.21	c (12,0) c Purge_3 : 21354
67.33/59.21	c (12,0) c Purge_4 : 21393
67.33/59.21	c (12,0) c Purge_5 : 21510
67.33/59.21	c (12,0) c Purge_6 : 21627
67.33/59.21	c (12,0) c Purge_7 : 20929
67.33/59.21	c (12,0) c Purge_total : 169767
67.33/59.21	c (12,0) c Purge_winner : 21354
67.33/59.21	c (12,0) c Promoted_0 : 1044
67.33/59.21	c (12,0) c Promoted_1 : 1072
67.33/59.21	c (12,0) c Promoted_2 : 1046
67.33/59.21	c (12,0) c Promoted_3 : 1114
67.33/59.21	c (12,0) c Promoted_4 : 940
67.33/59.21	c (12,0) c Promoted_5 : 1059
67.33/59.21	c (12,0) c Promoted_6 : 1030
67.33/59.21	c (12,0) c Promoted_7 : 1013
67.33/59.21	c (12,0) c Promoted_total : 8318
67.33/59.21	c (12,0) c Promoted_winner : 1114
67.33/59.21	c (12,0) c Remove_Imp_0 : 223
67.33/59.21	c (12,0) c Remove_Imp_1 : 14
67.33/59.21	c (12,0) c Remove_Imp_2 : 945
67.33/59.21	c (12,0) c Remove_Imp_3 : 1076
67.33/59.21	c (12,0) c Remove_Imp_4 : 0
67.33/59.21	c (12,0) c Remove_Imp_5 : 1199
67.33/59.21	c (12,0) c Remove_Imp_6 : 0
67.33/59.21	c (12,0) c Remove_Imp_7 : 144
67.33/59.21	c (12,0) c Remove_Imp_total : 3601
67.33/59.21	c (12,0) c Remove_Imp_winner : 1076
67.33/59.21	c (12,0) c Blocked_Reuse_0 : 0
67.33/59.21	c (12,0) c Blocked_Reuse_1 : 0
67.33/59.21	c (12,0) c Blocked_Reuse_2 : 0
67.33/59.21	c (12,0) c Blocked_Reuse_3 : 0
67.33/59.21	c (12,0) c Blocked_Reuse_4 : 0
67.33/59.21	c (12,0) c Blocked_Reuse_5 : 0
67.33/59.21	c (12,0) c Blocked_Reuse_6 : 0
67.33/59.21	c (12,0) c Blocked_Reuse_7 : 0
67.33/59.21	c (12,0) c Blocked_Reuse_total : 0
67.33/59.21	c (12,0) c Blocked_Reuse_winner : 0
67.33/59.21	c (12,0) c Unaries_0 : 4
67.33/59.21	c (12,0) c Unaries_1 : 4
67.33/59.21	c (12,0) c Unaries_2 : 9
67.33/59.21	c (12,0) c Unaries_3 : 15
67.33/59.21	c (12,0) c Unaries_4 : 9
67.33/59.21	c (12,0) c Unaries_5 : 9
67.33/59.21	c (12,0) c Unaries_6 : 10
67.33/59.21	c (12,0) c Unaries_7 : 12
67.33/59.21	c (12,0) c Unaries_total : 72
67.33/59.21	c (12,0) c Unaries_winner : 15
67.33/59.21	c (12,0) c Binaries_0 : 247
67.33/59.21	c (12,0) c Binaries_1 : 220
67.33/59.21	c (12,0) c Binaries_2 : 255
67.33/59.21	c (12,0) c Binaries_3 : 292
67.33/59.21	c (12,0) c Binaries_4 : 283
67.33/59.21	c (12,0) c Binaries_5 : 272
67.33/59.21	c (12,0) c Binaries_6 : 256
67.33/59.21	c (12,0) c Binaries_7 : 273
67.33/59.21	c (12,0) c Binaries_total : 2098
67.33/59.21	c (12,0) c Binaries_winner : 292
67.33/59.21	c (12,0) c Glues_0 : 1172
67.33/59.21	c (12,0) c Glues_1 : 1174
67.33/59.21	c (12,0) c Glues_2 : 1210
67.33/59.21	c (12,0) c Glues_3 : 1258
67.33/59.21	c (12,0) c Glues_4 : 1215
67.33/59.21	c (12,0) c Glues_5 : 1212
67.33/59.21	c (12,0) c Glues_6 : 1083
67.33/59.21	c (12,0) c Glues_7 : 1269
67.33/59.21	c (12,0) c Glues_total : 9593
67.33/59.21	c (12,0) c Glues_winner : 1258
67.33/59.21	c (12,0) c RunningTime_0 : 11.550778
67.33/59.21	c (12,0) c RunningTime_1 : 11.164256
67.33/59.21	c (12,0) c RunningTime_2 : 11.012759
67.33/59.21	c (12,0) c RunningTime_3 : 10.999248
67.33/59.21	c (12,0) c RunningTime_4 : 11.000721
67.33/59.21	c (12,0) c RunningTime_5 : 11.522480
67.33/59.21	c (12,0) c RunningTime_6 : 11.027108
67.33/59.21	c (12,0) c RunningTime_7 : 10.999441
67.33/59.21	c (12,0) c RunningTime_total : 89.276792
67.33/59.21	c (12,0) c RunningTime_winner : 10.999248
67.33/59.21	c (12,0) c WaitingTime_0 : 0.000124
67.33/59.21	c (12,0) c WaitingTime_1 : 0.000152
67.33/59.21	c (12,0) c WaitingTime_2 : 0.000160
67.33/59.21	c (12,0) c WaitingTime_3 : 0.000155
67.33/59.21	c (12,0) c WaitingTime_4 : 0.000162
67.33/59.21	c (12,0) c WaitingTime_5 : 0.000164
67.33/59.21	c (12,0) c WaitingTime_6 : 0.000153
67.33/59.21	c (12,0) c WaitingTime_7 : 0.000208
67.33/59.21	c (12,0) c WaitingTime_total : 0.001279
67.33/59.21	c (12,0) c WaitingTime_winner : 0.000155
67.33/59.21	c (12,0) c ExchangingTime_0 : 0.016997
67.33/59.21	c (12,0) c ExchangingTime_1 : 0.026237
67.33/59.21	c (12,0) c ExchangingTime_2 : 0.016675
67.33/59.21	c (12,0) c ExchangingTime_3 : 0.017452
67.33/59.21	c (12,0) c ExchangingTime_4 : 0.016870
67.33/59.21	c (12,0) c ExchangingTime_5 : 0.023293
67.33/59.21	c (12,0) c ExchangingTime_6 : 0.032079
67.33/59.21	c (12,0) c ExchangingTime_7 : 0.017273
67.33/59.21	c (12,0) c ExchangingTime_total : 0.166876
67.33/59.21	c (12,0) c ExchangingTime_winner : 0.017452
67.33/59.21	c (12,0) c PeriodProcTime_0 : 0.000975
67.33/59.21	c (12,0) c PeriodProcTime_1 : 0.000914
67.33/59.21	c (12,0) c PeriodProcTime_2 : 0.000897
67.33/59.21	c (12,0) c PeriodProcTime_3 : 0.002767
67.33/59.21	c (12,0) c PeriodProcTime_4 : 0.000982
67.33/59.21	c (12,0) c PeriodProcTime_5 : 0.001112
67.33/59.21	c (12,0) c PeriodProcTime_6 : 0.000967
67.33/59.21	c (12,0) c PeriodProcTime_7 : 0.001124
67.33/59.21	c (12,0) c PeriodProcTime_total : 0.009736
67.33/59.21	c (12,0) c PeriodProcTime_winner : 0.002767
67.33/59.21	c (12,0) c SolvingTime_0 : 11.568874
67.33/59.21	c (12,0) c SolvingTime_1 : 11.191560
67.33/59.21	c (12,0) c SolvingTime_2 : 11.030491
67.33/59.21	c (12,0) c SolvingTime_3 : 11.019621
67.33/59.21	c (12,0) c SolvingTime_4 : 11.018735
67.33/59.21	c (12,0) c SolvingTime_5 : 11.547050
67.33/59.21	c (12,0) c SolvingTime_6 : 11.060307
67.33/59.21	c (12,0) c SolvingTime_7 : 11.018046
67.33/59.21	c (12,0) c SolvingTime_total : 89.454683
67.33/59.21	c (12,0) c SolvingTime_winner : 11.019621
67.33/59.21	c (12,0) c PropagationTime_0 : 10.288252
67.33/59.21	c (12,0) c PropagationTime_1 : 9.752883
67.33/59.21	c (12,0) c PropagationTime_2 : 9.687029
67.33/59.21	c (12,0) c PropagationTime_3 : 9.685324
67.33/59.21	c (12,0) c PropagationTime_4 : 9.652413
67.33/59.21	c (12,0) c PropagationTime_5 : 10.131503
67.33/59.21	c (12,0) c PropagationTime_6 : 9.727357
67.33/59.21	c (12,0) c PropagationTime_7 : 9.734362
67.33/59.21	c (12,0) c PropagationTime_total : 78.659123
67.33/59.21	c (12,0) c PropagationTime_winner : 9.685324
67.33/59.21	c (12,0) c AnalysisTime_0 : 0.820720
67.33/59.21	c (12,0) c AnalysisTime_1 : 0.937755
67.33/59.21	c (12,0) c AnalysisTime_2 : 0.874879
67.33/59.21	c (12,0) c AnalysisTime_3 : 0.852465
67.33/59.21	c (12,0) c AnalysisTime_4 : 0.882447
67.33/59.21	c (12,0) c AnalysisTime_5 : 0.884501
67.33/59.21	c (12,0) c AnalysisTime_6 : 0.861262
67.33/59.21	c (12,0) c AnalysisTime_7 : 0.805073
67.33/59.21	c (12,0) c AnalysisTime_total : 6.919102
67.33/59.21	c (12,0) c AnalysisTime_winner : 0.852465
67.33/59.21	c (12,0) c ReductionTime_0 : 0.055623
67.33/59.21	c (12,0) c ReductionTime_1 : 0.060726
67.33/59.21	c (12,0) c ReductionTime_2 : 0.057095
67.33/59.21	c (12,0) c ReductionTime_3 : 0.058331
67.33/59.21	c (12,0) c ReductionTime_4 : 0.057420
67.33/59.21	c (12,0) c ReductionTime_5 : 0.070932
67.33/59.21	c (12,0) c ReductionTime_6 : 0.057557
67.33/59.21	c (12,0) c ReductionTime_7 : 0.058964
67.33/59.21	c (12,0) c ReductionTime_total : 0.476648
67.33/59.21	c (12,0) c ReductionTime_winner : 0.058331
67.33/59.21	c (12,0) c SimplifyTime_0 : 0.068865
67.33/59.21	c (12,0) c SimplifyTime_1 : 0.090376
67.33/59.21	c (12,0) c SimplifyTime_2 : 0.060127
67.33/59.21	c (12,0) c SimplifyTime_3 : 0.086580
67.33/59.21	c (12,0) c SimplifyTime_4 : 0.068949
67.33/59.21	c (12,0) c SimplifyTime_5 : 0.091645
67.33/59.21	c (12,0) c SimplifyTime_6 : 0.071952
67.33/59.21	c (12,0) c SimplifyTime_7 : 0.090795
67.33/59.21	c (12,0) c SimplifyTime_total : 0.629290
67.33/59.21	c (12,0) c SimplifyTime_winner : 0.086580
67.33/59.21	c (12,0) c UsedRateTime_0 : 0.000000
67.33/59.21	c (12,0) c UsedRateTime_1 : 0.000000
67.33/59.21	c (12,0) c UsedRateTime_2 : 0.000000
67.33/59.21	c (12,0) c UsedRateTime_3 : 0.000000
67.33/59.21	c (12,0) c UsedRateTime_4 : 0.000000
67.33/59.21	c (12,0) c UsedRateTime_5 : 0.000000
67.33/59.21	c (12,0) c UsedRateTime_6 : 0.000000
67.33/59.21	c (12,0) c UsedRateTime_7 : 0.000000
67.33/59.21	c (12,0) c UsedRateTime_total : 0.000000
67.33/59.21	c (12,0) c UsedRateTime_winner : 0.000000
67.33/59.21	c (12,0) c OverlapRateTime_0 : 0.000000
67.33/59.21	c (12,0) c OverlapRateTime_1 : 0.000000
67.33/59.21	c (12,0) c OverlapRateTime_2 : 0.000000
67.33/59.21	c (12,0) c OverlapRateTime_3 : 0.000000
67.33/59.21	c (12,0) c OverlapRateTime_4 : 0.000000
67.33/59.21	c (12,0) c OverlapRateTime_5 : 0.000000
67.33/59.21	c (12,0) c OverlapRateTime_6 : 0.000000
67.33/59.21	c (12,0) c OverlapRateTime_7 : 0.000000
67.33/59.21	c (12,0) c OverlapRateTime_total : 0.000000
67.33/59.21	c (12,0) c OverlapRateTime_winner : 0.000000
67.33/59.21	c (12,0) c
67.33/59.21	c (12,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
67.33/59.21	c (12,0) c
67.33/59.21	c (12,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
67.33/59.21	c (12,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
67.33/59.21	c (12,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
67.33/59.21	c (12,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
67.33/59.21	c (12,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
67.33/59.21	c (12,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
67.33/59.21	c (12,0) c | Initial random_seed   | 1571603568 |  862053678 | 1594908935 |  944087817 | 1675950023 | 1136861433 | 1010699743 |  454033325 |
67.33/59.21	c (12,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
67.33/59.21	c (12,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
67.33/59.21	c (12,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
67.33/59.21	c (12,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
67.33/59.21	c (12,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
67.33/59.21	c (12,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
67.33/59.21	c (12,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
67.33/59.21	c (12,0) c | var_decay             |     0.8400 |     0.8400 |     0.8400 |     0.8400 |     0.8400 |     0.8400 |     0.8400 |     0.8400 |
67.33/59.21	c (12,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
67.33/59.21	c (12,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
67.33/59.21	c (12,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
67.33/59.21	c (12,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
67.33/59.21	c (12,0) 
67.33/59.22	c (12,0) s UNSATISFIABLE
67.33/59.22	c (12,0) SatSolver.solve End
67.33/59.22	c (12,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
67.33/59.22	c (12,0) Show results Begin
67.33/59.22	s UNSATISFIABLE
67.33/59.22	c (12,0) Show results End
67.33/59.22	c (12,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
67.33/59.22	c (12,0) 12,12,STOP-AFTER(ALL)
67.33/59.22	c END-Prog: Sat Sep 14 01:18:52 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 (14743 MiB free)
  memory of node 1: 16384 MiB (15175 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4392304-1568420350/watcher-4392304-1568420350 -o /tmp/evaluation-result-4392304-1568420350/solver-4392304-1568420350 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node106-1568413091-12776 --watchdog 2580 HOME/scop.sh 22g HOME/scop.jar -order HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4392304-1568420350.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=16204, runsolver pid=16201

[startup+0.100157 s]*
/proc/loadavg: 7.35 7.27 6.88 2/210 16226
/proc/meminfo: memFree=30544524/32770624 swapFree=66997544/67108860
[pid=16204] ppid=16201 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/16204/stat : 16204 (scop.sh) S 16201 16204 12749 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 418289650 115843072 349 33554432000 4194304 5098028 140730767532032 140730767529288 139934157296252 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 23834624 140730767536933 140730767537260 140730767537260 140730767540173 0
/proc/16204/statm: 28282 349 296 221 0 87 0
[pid=16207] ppid=16204 vsize=27314120 memory=104080 CPUtime=0.1 cores=0-7
/proc/16207/stat : 16207 (java) S 16204 16204 12749 0 -1 1077944320 6633 0 0 0 8 2 0 0 20 0 20 0 418289651 27969658880 26020 33554432000 4194304 4196468 140724356907904 140724356890448 140185942281975 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 13332480 140724356915947 140724356916374 140724356916374 140724356919247 0
/proc/16207/statm: 6828530 26020 2799 1 0 6790935 0
[pid=16207/tid=16208] ppid=16204 vsize=27314120 memory=576460756329955445 CPUtime=0.09 cores=0-7
/proc/16207/task/16208/stat : 16208 (java) R 16204 16204 12749 0 -1 4202560 4715 0 0 0 7 2 0 0 20 0 20 0 418289651 27969658880 26020 33554432000 4194304 4196468 140724356907904 140185914104256 140185928350094 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13332480 140724356915947 140724356916374 140724356916374 140724356919247 0
[pid=16207/tid=16209] ppid=16204 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16207/task/16209/stat : 16209 (java) S 16204 16204 12749 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418289653 27969658880 26020 33554432000 4194304 4196468 140724356907904 140185946523920 140185942292181 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13332480 140724356915947 140724356916374 140724356916374 140724356919247 0
[pid=16207/tid=16210] ppid=16204 vsize=27314120 memory=3906792092286264992 CPUtime=0 cores=0-7
/proc/16207/task/16210/stat : 16210 (java) S 16204 16204 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418289653 27969658880 26020 33554432000 4194304 4196468 140724356907904 140185729919376 140185942292181 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13332480 140724356915947 140724356916374 140724356916374 140724356919247 0
[pid=16207/tid=16211] ppid=16204 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16207/task/16211/stat : 16211 (java) S 16204 16204 12749 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418289653 27969658880 26020 33554432000 4194304 4196468 140724356907904 140185728866832 140185942292181 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13332480 140724356915947 140724356916374 140724356916374 140724356919247 0
[pid=16207/tid=16212] ppid=16204 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16207/task/16212/stat : 16212 (java) S 16204 16204 12749 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418289653 27969658880 26020 33554432000 4194304 4196468 140724356907904 140185727814288 140185942292181 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13332480 140724356915947 140724356916374 140724356916374 140724356919247 0
[pid=16207/tid=16213] ppid=16204 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16207/task/16213/stat : 16213 (java) S 16204 16204 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418289653 27969658880 26020 33554432000 4194304 4196468 140724356907904 140185726761744 140185942292181 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13332480 140724356915947 140724356916374 140724356916374 140724356919247 0
[pid=16207/tid=16214] ppid=16204 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/16207/task/16214/stat : 16214 (java) S 16204 16204 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418289653 27969658880 26532 33554432000 4194304 4196468 140724356907904 140185725709200 140185942292181 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13332480 140724356915947 140724356916374 140724356916374 140724356919247 0
[pid=16207/tid=16215] ppid=16204 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16207/task/16215/stat : 16215 (java) S 16204 16204 12749 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418289653 27969658880 26532 33554432000 4194304 4196468 140724356907904 140185724656656 140185942292181 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13332480 140724356915947 140724356916374 140724356916374 140724356919247 0
[pid=16207/tid=16216] ppid=16204 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16207/task/16216/stat : 16216 (java) S 16204 16204 12749 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418289653 27969658880 26532 33554432000 4194304 4196468 140724356907904 140185723604112 140185942292181 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13332480 140724356915947 140724356916374 140724356916374 140724356919247 0
[pid=16207/tid=16217] ppid=16204 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16207/task/16217/stat : 16217 (java) S 16204 16204 12749 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418289655 27969658880 26532 33554432000 4194304 4196468 140724356907904 140184463067120 140185942293122 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13332480 140724356915947 140724356916374 140724356916374 140724356919247 0
[pid=16207/tid=16218] ppid=16204 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16207/task/16218/stat : 16218 (java) S 16204 16204 12749 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 418289655 27969658880 26532 33554432000 4194304 4196468 140724356907904 140183571784608 140185942292181 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13332480 140724356915947 140724356916374 140724356916374 140724356919247 0
[pid=16207/tid=16219] ppid=16204 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16207/task/16219/stat : 16219 (java) S 16204 16204 12749 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 418289656 27969658880 26532 33554432000 4194304 4196468 140724356907904 140183437562864 140185942292181 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13332480 140724356915947 140724356916374 140724356916374 140724356919247 0
[pid=16207/tid=16220] ppid=16204 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16207/task/16220/stat : 16220 (java) S 16204 16204 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418289658 27969658880 26532 33554432000 4194304 4196468 140724356907904 140183063058640 140185942300571 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13332480 140724356915947 140724356916374 140724356916374 140724356919247 0
[pid=16207/tid=16221] ppid=16204 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16207/task/16221/stat : 16221 (java) S 16204 16204 12749 0 -1 1077944384 310 0 0 0 0 0 0 0 20 0 20 0 418289658 27969658880 26532 33554432000 4194304 4196468 140724356907904 140184462014960 140185942293122 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13332480 140724356915947 140724356916374 140724356916374 140724356919247 0
[pid=16207/tid=16222] ppid=16204 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16207/task/16222/stat : 16222 (java) S 16204 16204 12749 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418289658 27969658880 26532 33554432000 4194304 4196468 140724356907904 140184460962416 140185942293122 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13332480 140724356915947 140724356916374 140724356916374 140724356919247 0
[pid=16207/tid=16223] ppid=16204 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16207/task/16223/stat : 16223 (java) S 16204 16204 12749 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418289658 27969658880 26532 33554432000 4194304 4196468 140724356907904 140184459909872 140185942293122 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13332480 140724356915947 140724356916374 140724356916374 140724356919247 0
[pid=16207/tid=16224] ppid=16204 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16207/task/16224/stat : 16224 (java) S 16204 16204 12749 0 -1 1077944384 246 0 0 0 0 0 0 0 20 0 20 0 418289658 27969658880 26532 33554432000 4194304 4196468 140724356907904 140184458857328 140185942293122 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13332480 140724356915947 140724356916374 140724356916374 140724356919247 0
[pid=16207/tid=16225] ppid=16204 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16207/task/16225/stat : 16225 (java) S 16204 16204 12749 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418289658 27969658880 26532 33554432000 4194304 4196468 140724356907904 140182565152992 140185942292181 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13332480 140724356915947 140724356916374 140724356916374 140724356919247 0
[pid=16207/tid=16226] ppid=16204 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/16207/task/16226/stat : 16226 (java) S 16204 16204 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418289659 27969658880 26532 33554432000 4194304 4196468 140724356907904 140184457804208 140185942293122 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13332480 140724356915947 140724356916374 140724356916374 140724356919247 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 105476 KiB

[startup+0.210047 s]*
/proc/loadavg: 7.35 7.27 6.88 3/210 16226
/proc/meminfo: memFree=30527424/32770624 swapFree=66997544/67108860
[pid=16204] ppid=16201 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/16204/stat : 16204 (scop.sh) S 16201 16204 12749 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 418289650 115843072 349 33554432000 4194304 5098028 140730767532032 140730767529288 139934157296252 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 23834624 140730767536933 140730767537260 140730767537260 140730767540173 0
/proc/16204/statm: 28282 349 296 221 0 87 0
[pid=16207] ppid=16204 vsize=27314120 memory=120968 CPUtime=0.24 cores=0-7
/proc/16207/stat : 16207 (java) S 16204 16204 12749 0 -1 1077944320 11649 0 0 0 20 4 0 0 20 0 20 0 418289651 27969658880 30242 33554432000 4194304 4196468 140724356907904 140724356890448 140185942281975 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 13332480 140724356915947 140724356916374 140724356916374 140724356919247 0
/proc/16207/statm: 6828530 30242 2918 1 0 6790935 0
[pid=16207/tid=16208] ppid=16204 vsize=27314120 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/16207/task/16208/stat : 16208 (java) R 16204 16204 12749 0 -1 4202560 9326 0 0 0 16 4 0 0 20 0 20 0 418289651 27969658880 30242 33554432000 4194304 4196468 140724356907904 140185914081360 140185923845535 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13332480 140724356915947 140724356916374 140724356916374 140724356919247 0
[pid=16207/tid=16209] ppid=16204 vsize=27314120 memory=288230591823085922 CPUtime=0 cores=0-7
/proc/16207/task/16209/stat : 16209 (java) S 16204 16204 12749 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418289653 27969658880 30242 33554432000 4194304 4196468 140724356907904 140185946523920 140185942292181 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13332480 140724356915947 140724356916374 140724356916374 140724356919247 0
[pid=16207/tid=16210] ppid=16204 vsize=27314120 memory=140201811671783 CPUtime=0 cores=0-7
/proc/16207/task/16210/stat : 16210 (java) S 16204 16204 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418289653 27969658880 30242 33554432000 4194304 4196468 140724356907904 140185729919376 140185942292181 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13332480 140724356915947 140724356916374 140724356916374 140724356919247 0
[pid=16207/tid=16211] ppid=16204 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/16207/task/16211/stat : 16211 (java) S 16204 16204 12749 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418289653 27969658880 30242 33554432000 4194304 4196468 140724356907904 140185728866832 140185942292181 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13332480 140724356915947 140724356916374 140724356916374 140724356919247 0
[pid=16207/tid=16212] ppid=16204 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16207/task/16212/stat : 16212 (java) S 16204 16204 12749 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418289653 27969658880 30242 33554432000 4194304 4196468 140724356907904 140185727814288 140185942292181 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13332480 140724356915947 140724356916374 140724356916374 140724356919247 0
[pid=16207/tid=16213] ppid=16204 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16207/task/16213/stat : 16213 (java) S 16204 16204 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418289653 27969658880 30242 33554432000 4194304 4196468 140724356907904 140185726761744 140185942292181 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13332480 140724356915947 140724356916374 140724356916374 140724356919247 0
[pid=16207/tid=16214] ppid=16204 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/16207/task/16214/stat : 16214 (java) S 16204 16204 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418289653 27969658880 30242 33554432000 4194304 4196468 140724356907904 140185725709200 140185942292181 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13332480 140724356915947 140724356916374 140724356916374 140724356919247 0
[pid=16207/tid=16215] ppid=16204 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16207/task/16215/stat : 16215 (java) S 16204 16204 12749 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418289653 27969658880 30242 33554432000 4194304 4196468 140724356907904 140185724656656 140185942292181 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13332480 140724356915947 140724356916374 140724356916374 140724356919247 0
[pid=16207/tid=16216] ppid=16204 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16207/task/16216/stat : 16216 (java) S 16204 16204 12749 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418289653 27969658880 30242 33554432000 4194304 4196468 140724356907904 140185723604112 140185942292181 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13332480 140724356915947 140724356916374 140724356916374 140724356919247 0
[pid=16207/tid=16217] ppid=16204 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16207/task/16217/stat : 16217 (java) S 16204 16204 12749 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418289655 27969658880 30242 33554432000 4194304 4196468 140724356907904 140184463067120 140185942293122 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13332480 140724356915947 140724356916374 140724356916374 140724356919247 0
[pid=16207/tid=16218] ppid=16204 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16207/task/16218/stat : 16218 (java) S 16204 16204 12749 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 418289655 27969658880 30242 33554432000 4194304 4196468 140724356907904 140183571784608 140185942292181 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13332480 140724356915947 140724356916374 140724356916374 140724356919247 0
[pid=16207/tid=16219] ppid=16204 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16207/task/16219/stat : 16219 (java) S 16204 16204 12749 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 418289656 27969658880 30242 33554432000 4194304 4196468 140724356907904 140183437562864 140185942292181 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13332480 140724356915947 140724356916374 140724356916374 140724356919247 0
[pid=16207/tid=16220] ppid=16204 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16207/task/16220/stat : 16220 (java) S 16204 16204 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418289658 27969658880 30242 33554432000 4194304 4196468 140724356907904 140183063058640 140185942300571 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13332480 140724356915947 140724356916374 140724356916374 140724356919247 0
[pid=16207/tid=16221] ppid=16204 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16207/task/16221/stat : 16221 (java) S 16204 16204 12749 0 -1 1077944384 425 0 0 0 0 0 0 0 20 0 20 0 418289658 27969658880 30242 33554432000 4194304 4196468 140724356907904 140184462014960 140185942293122 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13332480 140724356915947 140724356916374 140724356916374 140724356919247 0
[pid=16207/tid=16222] ppid=16204 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16207/task/16222/stat : 16222 (java) S 16204 16204 12749 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 20 0 418289658 27969658880 30242 33554432000 4194304 4196468 140724356907904 140184460962416 140185942293122 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13332480 140724356915947 140724356916374 140724356916374 140724356919247 0
[pid=16207/tid=16223] ppid=16204 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/16207/task/16223/stat : 16223 (java) S 16204 16204 12749 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 20 0 418289658 27969658880 30242 33554432000 4194304 4196468 140724356907904 140184459909872 140185942293122 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13332480 140724356915947 140724356916374 140724356916374 140724356919247 0
[pid=16207/tid=16224] ppid=16204 vsize=27314120 memory=0 CPUtime=0.02 cores=0-7
/proc/16207/task/16224/stat : 16224 (java) S 16204 16204 12749 0 -1 1077944384 478 0 0 0 2 0 0 0 20 0 20 0 418289658 27969658880 30242 33554432000 4194304 4196468 140724356907904 140184458857328 140185942293122 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13332480 140724356915947 140724356916374 140724356916374 140724356919247 0
[pid=16207/tid=16225] ppid=16204 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16207/task/16225/stat : 16225 (java) S 16204 16204 12749 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418289658 27969658880 30242 33554432000 4194304 4196468 140724356907904 140182565152992 140185942292181 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13332480 140724356915947 140724356916374 140724356916374 140724356919247 0
[pid=16207/tid=16226] ppid=16204 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/16207/task/16226/stat : 16226 (java) S 16204 16204 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418289659 27969658880 30242 33554432000 4194304 4196468 140724356907904 140184457804208 140185942293122 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13332480 140724356915947 140724356916374 140724356916374 140724356919247 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 122364 KiB

[startup+0.3094 s]*
/proc/loadavg: 7.35 7.27 6.88 2/210 16226
/proc/meminfo: memFree=30524012/32770624 swapFree=66997544/67108860
[pid=16204] ppid=16201 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/16204/stat : 16204 (scop.sh) S 16201 16204 12749 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 418289650 115843072 349 33554432000 4194304 5098028 140730767532032 140730767529288 139934157296252 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 23834624 140730767536933 140730767537260 140730767537260 140730767540173 0
/proc/16204/statm: 28282 349 296 221 0 87 0
[pid=16207] ppid=16204 vsize=27314120 memory=125592 CPUtime=0.42 cores=0-7
/proc/16207/stat : 16207 (java) S 16204 16204 12749 0 -1 1077944320 12786 0 0 0 37 5 0 0 20 0 20 0 418289651 27969658880 31398 33554432000 4194304 4196468 140724356907904 140724356890448 140185942281975 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 13332480 140724356915947 140724356916374 140724356916374 140724356919247 0
/proc/16207/statm: 6828530 31398 3048 1 0 6790935 0
[pid=16207/tid=16208] ppid=16204 vsize=27314120 memory=8317482817917895235 CPUtime=0.3 cores=0-7
/proc/16207/task/16208/stat : 16208 (java) R 16204 16204 12749 0 -1 4202560 10264 0 0 0 26 4 0 0 20 0 20 0 418289651 27969658880 31398 33554432000 4194304 4196468 140724356907904 140185914064992 140185923675709 0 4 2 16800973 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 13332480 140724356915947 140724356916374 140724356916374 140724356919247 0
[pid=16207/tid=16209] ppid=16204 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16207/task/16209/stat : 16209 (java) S 16204 16204 12749 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418289653 27969658880 31398 33554432000 4194304 4196468 140724356907904 140185946523920 140185942292181 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13332480 140724356915947 140724356916374 140724356916374 140724356919247 0
[pid=16207/tid=16210] ppid=16204 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16207/task/16210/stat : 16210 (java) S 16204 16204 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418289653 27969658880 31398 33554432000 4194304 4196468 140724356907904 140185729919376 140185942292181 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13332480 140724356915947 140724356916374 140724356916374 140724356919247 0
[pid=16207/tid=16211] ppid=16204 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16207/task/16211/stat : 16211 (java) S 16204 16204 12749 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418289653 27969658880 31398 33554432000 4194304 4196468 140724356907904 140185728866832 140185942292181 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13332480 140724356915947 140724356916374 140724356916374 140724356919247 0
[pid=16207/tid=16212] ppid=16204 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16207/task/16212/stat : 16212 (java) S 16204 16204 12749 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418289653 27969658880 31398 33554432000 4194304 4196468 140724356907904 140185727814288 140185942292181 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13332480 140724356915947 140724356916374 140724356916374 140724356919247 0
[pid=16207/tid=16213] ppid=16204 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16207/task/16213/stat : 16213 (java) S 16204 16204 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418289653 27969658880 31398 33554432000 4194304 4196468 140724356907904 140185726761744 140185942292181 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13332480 140724356915947 140724356916374 140724356916374 140724356919247 0
[pid=16207/tid=16214] ppid=16204 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16207/task/16214/stat : 16214 (java) S 16204 16204 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418289653 27969658880 31398 33554432000 4194304 4196468 140724356907904 140185725709200 140185942292181 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13332480 140724356915947 140724356916374 140724356916374 140724356919247 0
[pid=16207/tid=16215] ppid=16204 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16207/task/16215/stat : 16215 (java) S 16204 16204 12749 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418289653 27969658880 31398 33554432000 4194304 4196468 140724356907904 140185724656656 140185942292181 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13332480 140724356915947 140724356916374 140724356916374 140724356919247 0
[pid=16207/tid=16216] ppid=16204 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16207/task/16216/stat : 16216 (java) S 16204 16204 12749 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418289653 27969658880 31398 33554432000 4194304 4196468 140724356907904 140185723604112 140185942292181 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13332480 140724356915947 140724356916374 140724356916374 140724356919247 0
[pid=16207/tid=16217] ppid=16204 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16207/task/16217/stat : 16217 (java) S 16204 16204 12749 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418289655 27969658880 31398 33554432000 4194304 4196468 140724356907904 140184463067120 140185942293122 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13332480 140724356915947 140724356916374 140724356916374 140724356919247 0
[pid=16207/tid=16218] ppid=16204 vsize=27314120 memory=280403382574464 CPUtime=0 cores=0-7
/proc/16207/task/16218/stat : 16218 (java) S 16204 16204 12749 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 418289655 27969658880 31398 33554432000 4194304 4196468 140724356907904 140183571784608 140185942292181 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13332480 140724356915947 140724356916374 140724356916374 140724356919247 0
[pid=16207/tid=16219] ppid=16204 vsize=27314120 memory=280403382579072 CPUtime=0 cores=0-7
/proc/16207/task/16219/stat : 16219 (java) S 16204 16204 12749 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 418289656 27969658880 31398 33554432000 4194304 4196468 140724356907904 140183437562864 140185942292181 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13332480 140724356915947 140724356916374 140724356916374 140724356919247 0
[pid=16207/tid=16220] ppid=16204 vsize=27314120 memory=280403382583680 CPUtime=0 cores=0-7
/proc/16207/task/16220/stat : 16220 (java) S 16204 16204 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418289658 27969658880 31398 33554432000 4194304 4196468 140724356907904 140183063058640 140185942300571 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13332480 140724356915947 140724356916374 140724356916374 140724356919247 0
[pid=16207/tid=16221] ppid=16204 vsize=27314120 memory=280403382588288 CPUtime=0.01 cores=0-7
/proc/16207/task/16221/stat : 16221 (java) S 16204 16204 12749 0 -1 1077944384 470 0 0 0 1 0 0 0 20 0 20 0 418289658 27969658880 31398 33554432000 4194304 4196468 140724356907904 140184462014960 140185942293122 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13332480 140724356915947 140724356916374 140724356916374 140724356919247 0
[pid=16207/tid=16222] ppid=16204 vsize=27314120 memory=280403382592896 CPUtime=0.02 cores=0-7
/proc/16207/task/16222/stat : 16222 (java) S 16204 16204 12749 0 -1 1077944384 102 0 0 0 2 0 0 0 20 0 20 0 418289658 27969658880 31398 33554432000 4194304 4196468 140724356907904 140184460962416 140185942293122 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13332480 140724356915947 140724356916374 140724356916374 140724356919247 0
[pid=16207/tid=16223] ppid=16204 vsize=27314120 memory=280403382597504 CPUtime=0 cores=0-7
/proc/16207/task/16223/stat : 16223 (java) R 16204 16204 12749 0 -1 4202560 70 0 0 0 0 0 0 0 20 0 20 0 418289658 27969658880 31398 33554432000 4194304 4196468 140724356907904 140184459909872 140185922982272 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13332480 140724356915947 140724356916374 140724356916374 140724356919247 0
[pid=16207/tid=16224] ppid=16204 vsize=27314120 memory=280403382602112 CPUtime=0.07 cores=0-7
/proc/16207/task/16224/stat : 16224 (java) S 16204 16204 12749 0 -1 1077944384 525 0 0 0 7 0 0 0 20 0 20 0 418289658 27969658880 31398 33554432000 4194304 4196468 140724356907904 140184458857328 140185942293122 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13332480 140724356915947 140724356916374 140724356916374 140724356919247 0
[pid=16207/tid=16225] ppid=16204 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16207/task/16225/stat : 16225 (java) S 16204 16204 12749 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418289658 27969658880 31398 33554432000 4194304 4196468 140724356907904 140182565152992 140185942292181 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13332480 140724356915947 140724356916374 140724356916374 140724356919247 0
[pid=16207/tid=16226] ppid=16204 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/16207/task/16226/stat : 16226 (java) S 16204 16204 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418289659 27969658880 31398 33554432000 4194304 4196468 140724356907904 140184457804208 140185942293122 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13332480 140724356915947 140724356916374 140724356916374 140724356919247 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 126988 KiB

[startup+0.700875 s]
/proc/loadavg: 7.35 7.27 6.88 4/210 16226
/proc/meminfo: memFree=30501192/32770624 swapFree=66997544/67108860
[pid=16204] ppid=16201 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/16204/stat : 16204 (scop.sh) S 16201 16204 12749 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 418289650 115843072 349 33554432000 4194304 5098028 140730767532032 140730767529288 139934157296252 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 23834624 140730767536933 140730767537260 140730767537260 140730767540173 0
/proc/16204/statm: 28282 349 296 221 0 87 0
[pid=16207] ppid=16204 vsize=27320392 memory=165516 CPUtime=1.01 cores=0-7
/proc/16207/stat : 16207 (java) S 16204 16204 12749 0 -1 1077944320 20503 0 0 0 94 7 0 0 20 0 20 0 418289651 27976081408 41379 33554432000 4194304 4196468 140724356907904 140724356890448 140185942281975 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 13332480 140724356915947 140724356916374 140724356916374 140724356919247 0
/proc/16207/statm: 6830098 41379 3182 1 0 6791447 0
[pid=16207/tid=16208] ppid=16204 vsize=27320392 memory=4580 CPUtime=0.68 cores=0-7
/proc/16207/task/16208/stat : 16208 (java) R 16204 16204 12749 0 -1 4202560 17348 0 0 0 62 6 0 0 20 0 20 0 418289651 27976081408 41379 33554432000 4194304 4196468 140724356907904 140185914119488 140185402834320 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 13332480 140724356915947 140724356916374 140724356916374 140724356919247 0
[pid=16207/tid=16209] ppid=16204 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/16207/task/16209/stat : 16209 (java) S 16204 16204 12749 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418289653 27976081408 41379 33554432000 4194304 4196468 140724356907904 140185946523920 140185942292181 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13332480 140724356915947 140724356916374 140724356916374 140724356919247 0
[pid=16207/tid=16210] ppid=16204 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/16207/task/16210/stat : 16210 (java) S 16204 16204 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418289653 27976081408 41379 33554432000 4194304 4196468 140724356907904 140185729919376 140185942292181 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13332480 140724356915947 140724356916374 140724356916374 140724356919247 0
[pid=16207/tid=16211] ppid=16204 vsize=27320392 memory=4008 CPUtime=0 cores=0-7
/proc/16207/task/16211/stat : 16211 (java) S 16204 16204 12749 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418289653 27976081408 41379 33554432000 4194304 4196468 140724356907904 140185728866832 140185942292181 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13332480 140724356915947 140724356916374 140724356916374 140724356919247 0

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

/proc/16230/task/16240/stat : 16240 (java) S 16204 16204 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418294283 8616062976 29880 33554432000 4194304 4196468 140727667383504 139719560481808 139720081970901 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31625216 140727667385335 140727667385494 140727667385494 140727667388367 0
[pid=16230/tid=16241] ppid=16204 vsize=8414124 memory=5793997900076574055 CPUtime=0 cores=0-7
/proc/16230/task/16241/stat : 16241 (java) S 16204 16204 12749 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 418294285 8616062976 29880 33554432000 4194304 4196468 140727667383504 139719041071216 139720081971842 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31625216 140727667385335 140727667385494 140727667385494 140727667388367 0
[pid=16230/tid=16242] ppid=16204 vsize=8414124 memory=5793997900076574055 CPUtime=0 cores=0-7
/proc/16230/task/16242/stat : 16242 (java) S 16204 16204 12749 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 418294285 8616062976 29880 33554432000 4194304 4196468 140727667383504 139718641574688 139720081970901 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31625216 140727667385335 140727667385494 140727667385494 140727667388367 0
[pid=16230/tid=16243] ppid=16204 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/16230/task/16243/stat : 16243 (java) S 16204 16204 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418294286 8616062976 29880 33554432000 4194304 4196468 140727667383504 139718373139568 139720081970901 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31625216 140727667385335 140727667385494 140727667385494 140727667388367 0
[pid=16230/tid=16244] ppid=16204 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/16230/task/16244/stat : 16244 (java) S 16204 16204 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418294288 8616062976 29880 33554432000 4194304 4196468 140727667383504 139717998630992 139720081979291 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31625216 140727667385335 140727667385494 140727667385494 140727667388367 0
[pid=16230/tid=16245] ppid=16204 vsize=8414124 memory=0 CPUtime=0.06 cores=0-7
/proc/16230/task/16245/stat : 16245 (java) S 16204 16204 12749 0 -1 1077944384 739 0 0 0 6 0 0 0 20 0 24 0 418294288 8616062976 29880 33554432000 4194304 4196468 140727667383504 139719040019056 139720081971842 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31625216 140727667385335 140727667385494 140727667385494 140727667388367 0
[pid=16230/tid=16246] ppid=16204 vsize=8414124 memory=0 CPUtime=0.06 cores=0-7
/proc/16230/task/16246/stat : 16246 (java) S 16204 16204 12749 0 -1 1077944384 289 0 0 0 6 0 0 0 20 0 24 0 418294288 8616062976 29880 33554432000 4194304 4196468 140727667383504 139719038966256 139720081971842 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31625216 140727667385335 140727667385494 140727667385494 140727667388367 0
[pid=16230/tid=16247] ppid=16204 vsize=8414124 memory=1476 CPUtime=0.05 cores=0-7
/proc/16230/task/16247/stat : 16247 (java) S 16204 16204 12749 0 -1 1077944384 172 0 0 0 5 0 0 0 20 0 24 0 418294288 8616062976 29880 33554432000 4194304 4196468 140727667383504 139719037913968 139720081971842 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31625216 140727667385335 140727667385494 140727667385494 140727667388367 0
[pid=16230/tid=16248] ppid=16204 vsize=8414124 memory=119520 CPUtime=0.19 cores=0-7
/proc/16230/task/16248/stat : 16248 (java) S 16204 16204 12749 0 -1 1077944384 759 0 0 0 19 0 0 0 20 0 24 0 418294288 8616062976 29880 33554432000 4194304 4196468 140727667383504 139719036861168 139720081971842 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31625216 140727667385335 140727667385494 140727667385494 140727667388367 0
[pid=16230/tid=16249] ppid=16204 vsize=8414124 memory=486548 CPUtime=0 cores=0-7
/proc/16230/task/16249/stat : 16249 (java) S 16204 16204 12749 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 418294288 8616062976 29880 33554432000 4194304 4196468 140727667383504 139717500725600 139720081970901 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31625216 140727667385335 140727667385494 140727667385494 140727667388367 0
[pid=16230/tid=16250] ppid=16204 vsize=8414124 memory=381304 CPUtime=0 cores=0-7
/proc/16230/task/16250/stat : 16250 (java) S 16204 16204 12749 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 418294289 8616062976 29880 33554432000 4194304 4196468 140727667383504 139719035808048 139720081971842 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31625216 140727667385335 140727667385494 140727667385494 140727667388367 0
[pid=16230/tid=16252] ppid=16204 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/16230/task/16252/stat : 16252 (java) S 16204 16204 12749 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 418294355 8616062976 29880 33554432000 4194304 4196468 140727667383504 139719380014400 139720081985305 0 4 2 25189581 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 31625216 140727667385335 140727667385494 140727667385494 140727667388367 0
[pid=16230/tid=16254] ppid=16204 vsize=8414124 memory=1128 CPUtime=0 cores=0-7
/proc/16230/task/16254/stat : 16254 (java) S 16204 16204 12749 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 24 0 418294356 8616062976 29880 33554432000 4194304 4196468 140727667383504 139716829626256 139720081982621 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 31625216 140727667385335 140727667385494 140727667385494 140727667388367 0
[pid=16230/tid=16255] ppid=16204 vsize=8414124 memory=772 CPUtime=0 cores=0-7
/proc/16230/task/16255/stat : 16255 (java) S 16204 16204 12749 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 418294356 8616062976 29880 33554432000 4194304 4196468 140727667383504 139717098061584 139720081982621 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 31625216 140727667385335 140727667385494 140727667385494 140727667388367 0
[pid=16230/tid=16256] ppid=16204 vsize=8414124 memory=4008 CPUtime=0 cores=0-7
/proc/16230/task/16256/stat : 16256 (java) S 16204 16204 12749 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 418294358 8616062976 29880 33554432000 4194304 4196468 140727667383504 139716561198896 139720081970901 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31625216 140727667385335 140727667385494 140727667385494 140727667388367 0
Current children cumulated CPU time: 153.03 s
Current children cumulated vsize: 9433444 KiB
Current children cumulated memory: 757832 KiB

[startup+58.8013 s]
/proc/loadavg: 4.66 6.46 6.62 9/223 16264
/proc/meminfo: memFree=29888180/32770624 swapFree=66997544/67108860
[pid=16204] ppid=16201 vsize=113128 memory=1476 CPUtime=66.15 cores=0-7
/proc/16204/stat : 16204 (scop.sh) S 16201 16204 12749 0 -1 4202496 582 62471 0 0 0 0 6257 358 20 0 1 0 418289650 115843072 369 33554432000 4194304 5098028 140730767532032 140730767528776 139934157296252 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 23834624 140730767536933 140730767537260 140730767537260 140730767540173 0
/proc/16204/statm: 28282 369 311 221 0 87 0
[pid=16230] ppid=16204 vsize=8414124 memory=119520 CPUtime=1.18 cores=0-7
/proc/16230/stat : 16230 (java) S 16204 16204 12749 0 -1 1077944320 21375 0 0 0 111 7 0 0 20 0 24 0 418294282 8616062976 29880 33554432000 4194304 4196468 140727667383504 140727667366048 139720081960695 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 31625216 140727667385335 140727667385494 140727667385494 140727667388367 0
/proc/16230/statm: 2103531 29880 3205 1 0 2064875 0
[pid=16251] ppid=16230 vsize=906192 memory=639044 CPUtime=88.18 cores=0-7
/proc/16251/stat : 16251 (manyglucose-4.1) S 16230 16204 12749 0 -1 1077944320 268148 0 0 0 8760 58 0 0 20 0 4 0 418294355 927940608 159761 33554432000 4194304 4454172 140736158704720 140736158703104 140549324226295 0 4 0 8388610 18446744073709551615 0 0 17 2 0 0 0 0 0 6552832 6554400 9764864 140736158712681 140736158712880 140736158712880 140736158715834 0
/proc/16251/statm: 226548 159761 420 64 0 222216 0
[pid=16251/tid=16257] ppid=16230 vsize=906192 memory=7686721470233679769 CPUtime=11.06 cores=0-7
/proc/16251/task/16257/stat : 16257 (manyglucose-4.1) R 16230 16204 12749 0 -1 4202560 28695 0 0 0 1098 8 0 0 20 0 4 0 418294413 927940608 159761 33554432000 4194304 4454172 140736158704720 140549299608744 4351334 0 4 0 8388610 0 0 0 -1 5 0 0 0 0 0 6552832 6554400 9764864 140736158712681 140736158712880 140736158712880 140736158715834 0
[pid=16251/tid=16258] ppid=16230 vsize=906192 memory=119520 CPUtime=11.06 cores=0-7
/proc/16251/task/16258/stat : 16258 (manyglucose-4.1) R 16230 16204 12749 0 -1 4202560 29346 0 0 0 1100 6 0 0 20 0 4 0 418294413 927940608 159761 33554432000 4194304 4454172 140736158704720 140549291215720 4349922 0 4 0 8388610 0 0 0 -1 4 0 0 0 0 0 6552832 6554400 9764864 140736158712681 140736158712880 140736158712880 140736158715834 0
[pid=16251/tid=16262] ppid=16230 vsize=906192 memory=634788 CPUtime=10.84 cores=0-7
/proc/16251/task/16262/stat : 16262 (manyglucose-4.1) R 16230 16204 12749 0 -1 4202560 28466 0 0 0 1077 7 0 0 20 0 4 0 418294413 927940608 159761 33554432000 4194304 4454172 140736158704720 140549236439992 4351334 0 4 0 8388610 0 0 0 -1 3 0 0 0 0 0 6552832 6554400 9764864 140736158712681 140736158712880 140736158712880 140736158715834 0
[pid=16230/tid=16231] ppid=16204 vsize=8414124 memory=1808 CPUtime=0.76 cores=0-7
/proc/16230/task/16231/stat : 16231 (java) S 16204 16204 12749 0 -1 1077944384 18018 0 0 0 71 5 0 0 20 0 24 0 418294282 8616062976 29880 33554432000 4194304 4196468 140727667383504 139720053800864 139720081970901 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31625216 140727667385335 140727667385494 140727667385494 140727667388367 0
[pid=16230/tid=16232] ppid=16204 vsize=8414124 memory=920 CPUtime=0 cores=0-7
/proc/16230/task/16232/stat : 16232 (java) S 16204 16204 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418294283 8616062976 29880 33554432000 4194304 4196468 140727667383504 139720086202768 139720081970901 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31625216 140727667385335 140727667385494 140727667385494 140727667388367 0
[pid=16230/tid=16233] ppid=16204 vsize=8414124 memory=4768 CPUtime=0 cores=0-7
/proc/16230/task/16233/stat : 16233 (java) S 16204 16204 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418294283 8616062976 29880 33554432000 4194304 4196468 140727667383504 139719566797072 139720081970901 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31625216 140727667385335 140727667385494 140727667385494 140727667388367 0
[pid=16230/tid=16234] ppid=16204 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/16230/task/16234/stat : 16234 (java) S 16204 16204 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418294283 8616062976 29880 33554432000 4194304 4196468 140727667383504 139719565744784 139720081970901 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31625216 140727667385335 140727667385494 140727667385494 140727667388367 0
[pid=16230/tid=16235] ppid=16204 vsize=8414124 memory=1808 CPUtime=0 cores=0-7
/proc/16230/task/16235/stat : 16235 (java) S 16204 16204 12749 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 418294283 8616062976 29880 33554432000 4194304 4196468 140727667383504 139719564691984 139720081970901 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31625216 140727667385335 140727667385494 140727667385494 140727667388367 0
[pid=16230/tid=16236] ppid=16204 vsize=8414124 memory=920 CPUtime=0 cores=0-7
/proc/16230/task/16236/stat : 16236 (java) S 16204 16204 12749 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 418294283 8616062976 29880 33554432000 4194304 4196468 140727667383504 139719563639696 139720081970901 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31625216 140727667385335 140727667385494 140727667385494 140727667388367 0
[pid=16230/tid=16237] ppid=16204 vsize=8414124 memory=4768 CPUtime=0 cores=0-7
/proc/16230/task/16237/stat : 16237 (java) S 16204 16204 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418294283 8616062976 29880 33554432000 4194304 4196468 140727667383504 139719562586896 139720081970901 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31625216 140727667385335 140727667385494 140727667385494 140727667388367 0
[pid=16230/tid=16238] ppid=16204 vsize=8414124 memory=4104 CPUtime=0 cores=0-7
/proc/16230/task/16238/stat : 16238 (java) S 16204 16204 12749 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 418294283 8616062976 29880 33554432000 4194304 4196468 140727667383504 139719561534608 139720081970901 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31625216 140727667385335 140727667385494 140727667385494 140727667388367 0
[pid=16230/tid=16240] ppid=16204 vsize=8414124 memory=1412 CPUtime=0 cores=0-7
/proc/16230/task/16240/stat : 16240 (java) S 16204 16204 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418294283 8616062976 29880 33554432000 4194304 4196468 140727667383504 139719560481808 139720081970901 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31625216 140727667385335 140727667385494 140727667385494 140727667388367 0
[pid=16230/tid=16241] ppid=16204 vsize=8414124 memory=3004 CPUtime=0 cores=0-7
/proc/16230/task/16241/stat : 16241 (java) S 16204 16204 12749 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 418294285 8616062976 29880 33554432000 4194304 4196468 140727667383504 139719041071216 139720081971842 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31625216 140727667385335 140727667385494 140727667385494 140727667388367 0
[pid=16230/tid=16242] ppid=16204 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/16230/task/16242/stat : 16242 (java) S 16204 16204 12749 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 418294285 8616062976 29880 33554432000 4194304 4196468 140727667383504 139718641574688 139720081970901 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31625216 140727667385335 140727667385494 140727667385494 140727667388367 0
[pid=16230/tid=16243] ppid=16204 vsize=8414124 memory=119520 CPUtime=0 cores=0-7
/proc/16230/task/16243/stat : 16243 (java) S 16204 16204 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418294286 8616062976 29880 33554432000 4194304 4196468 140727667383504 139718373139568 139720081970901 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31625216 140727667385335 140727667385494 140727667385494 140727667388367 0
[pid=16230/tid=16244] ppid=16204 vsize=8414124 memory=119520 CPUtime=0 cores=0-7
/proc/16230/task/16244/stat : 16244 (java) S 16204 16204 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418294288 8616062976 29880 33554432000 4194304 4196468 140727667383504 139717998630992 139720081979291 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31625216 140727667385335 140727667385494 140727667385494 140727667388367 0
[pid=16230/tid=16245] ppid=16204 vsize=8414124 memory=327152 CPUtime=0.06 cores=0-7
/proc/16230/task/16245/stat : 16245 (java) S 16204 16204 12749 0 -1 1077944384 739 0 0 0 6 0 0 0 20 0 24 0 418294288 8616062976 29880 33554432000 4194304 4196468 140727667383504 139719040019056 139720081971842 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31625216 140727667385335 140727667385494 140727667385494 140727667388367 0
[pid=16230/tid=16246] ppid=16204 vsize=8414124 memory=6944656592455097440 CPUtime=0.06 cores=0-7
/proc/16230/task/16246/stat : 16246 (java) S 16204 16204 12749 0 -1 1077944384 289 0 0 0 6 0 0 0 20 0 24 0 418294288 8616062976 29880 33554432000 4194304 4196468 140727667383504 139719038966256 139720081971842 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31625216 140727667385335 140727667385494 140727667385494 140727667388367 0
[pid=16230/tid=16247] ppid=16204 vsize=8414124 memory=1476 CPUtime=0.05 cores=0-7
/proc/16230/task/16247/stat : 16247 (java) S 16204 16204 12749 0 -1 1077944384 172 0 0 0 5 0 0 0 20 0 24 0 418294288 8616062976 29880 33554432000 4194304 4196468 140727667383504 139719037913968 139720081971842 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31625216 140727667385335 140727667385494 140727667385494 140727667388367 0
[pid=16230/tid=16248] ppid=16204 vsize=8414124 memory=119520 CPUtime=0.19 cores=0-7
/proc/16230/task/16248/stat : 16248 (java) S 16204 16204 12749 0 -1 1077944384 759 0 0 0 19 0 0 0 20 0 24 0 418294288 8616062976 29880 33554432000 4194304 4196468 140727667383504 139719036861168 139720081971842 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31625216 140727667385335 140727667385494 140727667385494 140727667388367 0
[pid=16230/tid=16249] ppid=16204 vsize=8414124 memory=288230574492221466 CPUtime=0 cores=0-7
/proc/16230/task/16249/stat : 16249 (java) S 16204 16204 12749 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 418294288 8616062976 29880 33554432000 4194304 4196468 140727667383504 139717500725600 139720081970901 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31625216 140727667385335 140727667385494 140727667385494 140727667388367 0
[pid=16230/tid=16250] ppid=16204 vsize=8414124 memory=288230617509003574 CPUtime=0 cores=0-7
/proc/16230/task/16250/stat : 16250 (java) S 16204 16204 12749 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 418294289 8616062976 29880 33554432000 4194304 4196468 140727667383504 139719035808048 139720081971842 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31625216 140727667385335 140727667385494 140727667385494 140727667388367 0
[pid=16230/tid=16252] ppid=16204 vsize=8414124 memory=15252636593031516 CPUtime=0 cores=0-7
/proc/16230/task/16252/stat : 16252 (java) S 16204 16204 12749 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 418294355 8616062976 29880 33554432000 4194304 4196468 140727667383504 139719380014400 139720081985305 0 4 2 25189581 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 31625216 140727667385335 140727667385494 140727667385494 140727667388367 0
[pid=16230/tid=16254] ppid=16204 vsize=8414124 memory=500 CPUtime=0 cores=0-7
/proc/16230/task/16254/stat : 16254 (java) S 16204 16204 12749 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 24 0 418294356 8616062976 29880 33554432000 4194304 4196468 140727667383504 139716829626256 139720081982621 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 31625216 140727667385335 140727667385494 140727667385494 140727667388367 0
[pid=16230/tid=16255] ppid=16204 vsize=8414124 memory=928 CPUtime=0 cores=0-7
/proc/16230/task/16255/stat : 16255 (java) S 16204 16204 12749 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 418294356 8616062976 29880 33554432000 4194304 4196468 140727667383504 139717098061584 139720081982621 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 31625216 140727667385335 140727667385494 140727667385494 140727667388367 0
[pid=16230/tid=16256] ppid=16204 vsize=8414124 memory=1528 CPUtime=0 cores=0-7
/proc/16230/task/16256/stat : 16256 (java) S 16204 16204 12749 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 418294358 8616062976 29880 33554432000 4194304 4196468 140727667383504 139716561198896 139720081970901 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31625216 140727667385335 140727667385494 140727667385494 140727667388367 0
Current children cumulated CPU time: 155.51 s
Current children cumulated vsize: 9433444 KiB
Current children cumulated memory: 760040 KiB

[startup+59.2012 s]
/proc/loadavg: 4.66 6.46 6.62 3/217 16264
/proc/meminfo: memFree=29880664/32770624 swapFree=66997544/67108860
[pid=16204] ppid=16201 vsize=113128 memory=1476 CPUtime=66.15 cores=0-7
/proc/16204/stat : 16204 (scop.sh) S 16201 16204 12749 0 -1 4202496 582 62471 0 0 0 0 6257 358 20 0 1 0 418289650 115843072 369 33554432000 4194304 5098028 140730767532032 140730767528776 139934157296252 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 23834624 140730767536933 140730767537260 140730767537260 140730767540173 0
/proc/16204/statm: 28282 369 311 221 0 87 0
[pid=16230] ppid=16204 vsize=8414124 memory=119520 CPUtime=1.18 cores=0-7
/proc/16230/stat : 16230 (java) S 16204 16204 12749 0 -1 1077944320 21375 0 0 0 111 7 0 0 20 0 24 0 418294282 8616062976 29880 33554432000 4194304 4196468 140727667383504 140727667366048 139720081960695 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 31625216 140727667385335 140727667385494 140727667385494 140727667388367 0
/proc/16230/statm: 2103531 29880 3205 1 0 2064875 0
[pid=16230/tid=16231] ppid=16204 vsize=8414124 memory=638884 CPUtime=0.76 cores=0-7
/proc/16230/task/16231/stat : 16231 (java) S 16204 16204 12749 0 -1 1077944384 18018 0 0 0 71 5 0 0 20 0 24 0 418294282 8616062976 29880 33554432000 4194304 4196468 140727667383504 139720053800864 139720081970901 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31625216 140727667385335 140727667385494 140727667385494 140727667388367 0
[pid=16230/tid=16232] ppid=16204 vsize=8414124 memory=71971840723690 CPUtime=0 cores=0-7
/proc/16230/task/16232/stat : 16232 (java) S 16204 16204 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418294283 8616062976 29880 33554432000 4194304 4196468 140727667383504 139720086202768 139720081970901 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31625216 140727667385335 140727667385494 140727667385494 140727667388367 0
[pid=16230/tid=16233] ppid=16204 vsize=8414124 memory=280403384015360 CPUtime=0 cores=0-7
/proc/16230/task/16233/stat : 16233 (java) S 16204 16204 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418294283 8616062976 29880 33554432000 4194304 4196468 140727667383504 139719566797072 139720081970901 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31625216 140727667385335 140727667385494 140727667385494 140727667388367 0
[pid=16230/tid=16234] ppid=16204 vsize=8414124 memory=71881646410474 CPUtime=0 cores=0-7
/proc/16230/task/16234/stat : 16234 (java) S 16204 16204 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418294283 8616062976 29880 33554432000 4194304 4196468 140727667383504 139719565744784 139720081970901 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31625216 140727667385335 140727667385494 140727667385494 140727667388367 0
[pid=16230/tid=16235] ppid=16204 vsize=8414124 memory=71881646410474 CPUtime=0 cores=0-7
/proc/16230/task/16235/stat : 16235 (java) S 16204 16204 12749 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 418294283 8616062976 29880 33554432000 4194304 4196468 140727667383504 139719564691984 139720081970901 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31625216 140727667385335 140727667385494 140727667385494 140727667388367 0
[pid=16230/tid=16236] ppid=16204 vsize=8414124 memory=71881646410474 CPUtime=0 cores=0-7
/proc/16230/task/16236/stat : 16236 (java) S 16204 16204 12749 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 418294283 8616062976 29880 33554432000 4194304 4196468 140727667383504 139719563639696 139720081970901 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31625216 140727667385335 140727667385494 140727667385494 140727667388367 0
[pid=16230/tid=16237] ppid=16204 vsize=8414124 memory=71881646410474 CPUtime=0 cores=0-7
/proc/16230/task/16237/stat : 16237 (java) S 16204 16204 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418294283 8616062976 29880 33554432000 4194304 4196468 140727667383504 139719562586896 139720081970901 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31625216 140727667385335 140727667385494 140727667385494 140727667388367 0
[pid=16230/tid=16238] ppid=16204 vsize=8414124 memory=71881646410218 CPUtime=0 cores=0-7
/proc/16230/task/16238/stat : 16238 (java) S 16204 16204 12749 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 418294283 8616062976 29880 33554432000 4194304 4196468 140727667383504 139719561534608 139720081970901 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31625216 140727667385335 140727667385494 140727667385494 140727667388367 0
[pid=16230/tid=16240] ppid=16204 vsize=8414124 memory=71881646410218 CPUtime=0 cores=0-7
/proc/16230/task/16240/stat : 16240 (java) S 16204 16204 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418294283 8616062976 29880 33554432000 4194304 4196468 140727667383504 139719560481808 139720081970901 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31625216 140727667385335 140727667385494 140727667385494 140727667388367 0
[pid=16230/tid=16241] ppid=16204 vsize=8414124 memory=71881646409962 CPUtime=0 cores=0-7
/proc/16230/task/16241/stat : 16241 (java) S 16204 16204 12749 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 418294285 8616062976 29880 33554432000 4194304 4196468 140727667383504 139719041071216 139720081971842 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31625216 140727667385335 140727667385494 140727667385494 140727667388367 0
[pid=16230/tid=16242] ppid=16204 vsize=8414124 memory=2116 CPUtime=0 cores=0-7
/proc/16230/task/16242/stat : 16242 (java) S 16204 16204 12749 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 418294285 8616062976 29880 33554432000 4194304 4196468 140727667383504 139718641574688 139720081970901 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31625216 140727667385335 140727667385494 140727667385494 140727667388367 0
[pid=16230/tid=16243] ppid=16204 vsize=8414124 memory=10404 CPUtime=0 cores=0-7
/proc/16230/task/16243/stat : 16243 (java) S 16204 16204 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418294286 8616062976 29880 33554432000 4194304 4196468 140727667383504 139718373139568 139720081970901 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31625216 140727667385335 140727667385494 140727667385494 140727667388367 0
[pid=16230/tid=16244] ppid=16204 vsize=8414124 memory=12024 CPUtime=0 cores=0-7
/proc/16230/task/16244/stat : 16244 (java) S 16204 16204 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418294288 8616062976 29880 33554432000 4194304 4196468 140727667383504 139717998630992 139720081979291 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31625216 140727667385335 140727667385494 140727667385494 140727667388367 0
[pid=16230/tid=16245] ppid=16204 vsize=8414124 memory=1556 CPUtime=0.06 cores=0-7
/proc/16230/task/16245/stat : 16245 (java) R 16204 16204 12749 0 -1 1077944384 739 0 0 0 6 0 0 0 20 0 24 0 418294288 8616062976 29880 33554432000 4194304 4196468 140727667383504 139719040019056 139720081971842 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31625216 140727667385335 140727667385494 140727667385494 140727667388367 0
[pid=16230/tid=16246] ppid=16204 vsize=8414124 memory=500 CPUtime=0.06 cores=0-7
/proc/16230/task/16246/stat : 16246 (java) S 16204 16204 12749 0 -1 1077944384 289 0 0 0 6 0 0 0 20 0 24 0 418294288 8616062976 29880 33554432000 4194304 4196468 140727667383504 139719038966256 139720081971842 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31625216 140727667385335 140727667385494 140727667385494 140727667388367 0
[pid=16230/tid=16247] ppid=16204 vsize=8414124 memory=928 CPUtime=0.05 cores=0-7
/proc/16230/task/16247/stat : 16247 (java) R 16204 16204 12749 0 -1 1077944384 172 0 0 0 5 0 0 0 20 0 24 0 418294288 8616062976 29880 33554432000 4194304 4196468 140727667383504 139719037913968 139720081971842 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31625216 140727667385335 140727667385494 140727667385494 140727667388367 0
[pid=16230/tid=16248] ppid=16204 vsize=8414124 memory=1528 CPUtime=0.19 cores=0-7
/proc/16230/task/16248/stat : 16248 (java) S 16204 16204 12749 0 -1 1077944384 760 0 0 0 19 0 0 0 20 0 24 0 418294288 8616062976 29880 33554432000 4194304 4196468 140727667383504 139719036861168 139720081971842 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31625216 140727667385335 140727667385494 140727667385494 140727667388367 0
[pid=16230/tid=16249] ppid=16204 vsize=8414124 memory=1448 CPUtime=0 cores=0-7
/proc/16230/task/16249/stat : 16249 (java) S 16204 16204 12749 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 418294288 8616062976 29880 33554432000 4194304 4196468 140727667383504 139717500725600 139720081970901 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31625216 140727667385335 140727667385494 140727667385494 140727667388367 0
[pid=16230/tid=16250] ppid=16204 vsize=8414124 memory=876 CPUtime=0 cores=0-7
/proc/16230/task/16250/stat : 16250 (java) S 16204 16204 12749 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 418294289 8616062976 29880 33554432000 4194304 4196468 140727667383504 139719035808048 139720081971842 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31625216 140727667385335 140727667385494 140727667385494 140727667388367 0
[pid=16230/tid=16252] ppid=16204 vsize=8414124 memory=1980 CPUtime=0 cores=0-7
/proc/16230/task/16252/stat : 16252 (java) S 16204 16204 12749 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 418294355 8616062976 29880 33554432000 4194304 4196468 140727667383504 139719380014400 139720081985305 0 4 2 25189581 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 31625216 140727667385335 140727667385494 140727667385494 140727667388367 0
[pid=16230/tid=16254] ppid=16204 vsize=8414124 memory=2552 CPUtime=0 cores=0-7
/proc/16230/task/16254/stat : 16254 (java) R 16204 16204 12749 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 24 0 418294356 8616062976 29880 33554432000 4194304 4196468 140727667383504 139716829626256 140727668385730 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31625216 140727667385335 140727667385494 140727667385494 140727667388367 0
[pid=16230/tid=16255] ppid=16204 vsize=8414124 memory=1760 CPUtime=0 cores=0-7
/proc/16230/task/16255/stat : 16255 (java) S 16204 16204 12749 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 418294356 8616062976 29880 33554432000 4194304 4196468 140727667383504 139717098061584 139720081982621 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 31625216 140727667385335 140727667385494 140727667385494 140727667388367 0
[pid=16230/tid=16256] ppid=16204 vsize=8414124 memory=111632 CPUtime=0 cores=0-7
/proc/16230/task/16256/stat : 16256 (java) S 16204 16204 12749 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 418294358 8616062976 29880 33554432000 4194304 4196468 140727667383504 139716561198896 139720081970901 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31625216 140727667385335 140727667385494 140727667385494 140727667388367 0
Current children cumulated CPU time: 67.33 s
Current children cumulated vsize: 8527252 KiB
Current children cumulated memory: 120996 KiB

Child status: 0
Real time (s): 59.2347
CPU time (s): 156.432
CPU user time (s): 152.161
CPU system time (s): 4.2705
CPU usage (%): 264.088
Max. virtual memory (cumulated for all children) (KiB): 27441876
Max. memory (cumulated for all children) (KiB): 6788884

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 152.161
system time used= 4.2705
maximum resident set size= 6788632
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 352948
page faults= 0
swaps= 0
block input operations= 0
block output operations= 20328
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 19125
involuntary context switches= 1093


# summary of solver processes directly reported to runsolver:
#   pid: 16204
#   total CPU time (s): 156.432
#   total CPU user time (s): 152.161
#   total CPU system time (s): 4.2705

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.415719 second user time and 0.679915 second system time

The end

Launcher Data 

Begin job on node106 at 2019-09-14 01:17:53
IDJOB=4392304
IDBENCH=122716
IDSOLVER=2838
FILE ID=node106/4392304-1568420350
RUNJOBID= node106-1568413091-12776
PBS_JOBID= 21702261
Free space on /tmp= 59112 MiB

SOLVER NAME= Fun-sCOP order+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 -order DIR/manyglucose-4.1-27_release -model:-nthreads=NBCORE:-maxmemory=20000:-lit-scans=6000000 TMPDIR BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4392304-1568420350/watcher-4392304-1568420350 -o /tmp/evaluation-result-4392304-1568420350/solver-4392304-1568420350 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node106-1568413091-12776 --watchdog 2580  HOME/scop.sh 22g HOME/scop.jar -order HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4392304-1568420350.xml

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

MD5SUM BENCH= b787e2fb655876ad1ad352aa15cc79d3
RANDOM SEED=1665783746

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

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.79
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	: 5333.79
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	: 5333.79
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	: 5333.79
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:        30636700 kB
MemAvailable:   31900532 kB
Buffers:          178120 kB
Cached:          1367056 kB
SwapCached:         9396 kB
Active:           481784 kB
Inactive:        1078572 kB
Active(anon):      15272 kB
Inactive(anon):    33832 kB
Active(file):     466512 kB
Inactive(file):  1044740 kB
Unevictable:      107756 kB
Mlocked:          107756 kB
SwapTotal:      67108860 kB
SwapFree:       66997544 kB
Dirty:             22544 kB
Writeback:             0 kB
AnonPages:        123572 kB
Mapped:            37784 kB
Shmem:             25160 kB
Slab:             166604 kB
SReclaimable:     136828 kB
SUnreclaim:        29776 kB
KernelStack:        3856 kB
PageTables:         5552 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     490328 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     79872 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      107904 kB
DirectMap2M:    33437696 kB

Free space on /tmp at the end= 59092 MiB
End job on node106 at 2019-09-14 01:18:52